RS01176: CPO PRESOLVE SOMETIMES CRASHES WHEN AN INFEASIBLE CONSTRAINT APPEARS TWICE

Subscribe

You can track all active APARs for this component.

APAR status

  • Closed as program error.

Error description

  • CPO presolve sometimes crashes when an infeasible constraint
    appears twice
    
    The model below is an example
    
    using CP;
    
    dvar int x[0..2] in 1..2;
    
    minimize 5;
    
    subject to {
    
    count( all(j in {2,2,2,2,2,2}) x[j], 0 ) == 1 ;
    count( all(j in {2,2,2,2,2,2}) x[j], 0 ) == 1 ;
    
    }
    

Local fix

  • Turn off CPO presolve
    

Problem summary

  • CP Optimizer presolve may crash when an infeasible constraint
    appears twice.
    

Problem conclusion

  • This issue has been resolved and fix will be available in CPLEX
    Optimization Studio 12.5.0.1 fix pack.
    

Temporary fix

Comments

APAR Information

  • APAR number

    RS01176

  • Reported component name

    ILOG CPLEX

  • Reported component ID

    5724Y4800

  • Reported release

    C50

  • Status

    CLOSED PER

  • PE

    NoPE

  • HIPER

    NoHIPER

  • Special Attention

    NoSpecatt

  • Submitted date

    2012-12-10

  • Closed date

    2013-01-08

  • Last modified date

    2013-01-08

  • APAR is sysrouted FROM one or more of the following:

  • APAR is sysrouted TO one or more of the following:

Fix information

  • Fixed component name

    ILOG CPLEX

  • Fixed component ID

    5724Y4800

Applicable component levels

  • RC50 PSY

       UP



Rate this page:

(0 users)Average rating

Add comments

Document information


More support for:

IBM ILOG CPLEX Optimization Studio

Software version:

C50

Reference #:

RS01176

Modified date:

2013-01-08

Translate my page

Machine Translation

Content navigation