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

Subscribe to this APAR

By subscribing, you receive periodic emails alerting you to the status of the APAR, along with a link to the fix after it becomes available. You can track this item individually or track all items by product.

Notify me when this APAR changes.

Notify me when an APAR for this component changes.

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

Software version:

C50

Reference #:

RS01176

Modified date:

2013-01-08

Translate my page

Machine Translation

Content navigation