[Cbc-tickets] [COIN-OR Branch-and-Cut MIP Solver] #93: failure in CGL probing when using cutoff

[COIN-OR Branch-and-Cut MIP Solver]

#93: failure in CGL probing when using cutoff
--------------------+-------------------------------------------------------
Reporter:  mgalati  |       Type:  defect
  Status:  new      |   Priority:  major 
 Version:  2.4.1    |   Keywords:        
--------------------+-------------------------------------------------------
 {{{
 [magala at orclus71 bin]$ ./cbc -log 2 -cutoff 70212.5 -import
 ../Dip/examples/MILPBlock/PRICE_AND_CUT_masterProbRootIP.n1.c2.p1.mps
 -solve

 Coin Cbc and Clp Solver version 2.4.1, build May 10 2010
 command line - ./cbc -log 2 -cutoff 70212.5 -import
 ../Dip/examples/MILPBlock/PRICE_AND_CUT_masterProbRootIP.n1.c2.p1.mps
 -solve (default strategy 1)
 logLevel was changed from 1 to 2
 cutoff was changed from 1e+100 to 70212.5
 At line 1 NAME          BLANK     FREE
 At line 2 ROWS
 At line 19 COLUMNS
 At line 105 RHS
 At line 114 BOUNDS
 At line 146 ENDATA
 Problem BLANK has 15 rows, 31 columns and 132 elements
 Coin0008I BLANK read with 0 errors
 Continuous objective value is 59775.3 - 0.00 seconds
 Cgl0009I 3 elements changed
 cbc: ../../../../Cgl/src/CglProbing/CglProbing.cpp:1918: int
 CglProbing::gutsOfGenerateCuts(const OsiSolverInterface&, OsiCuts&,
 double*, double*, double*, double*, CglTreeInfo*) const: Assertion
 `!info->strengthenRow[i]' failed.
 Aborted
 }}}

-- 
Ticket URL: <https://projects.coin-or.org/Cbc/ticket/93>
COIN-OR Branch-and-Cut MIP Solver <http://projects.coin-or.org/Cbc>
An LP-based branch-and-cut MIP solver.