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

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 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