search

coin-or / Cbc.old

This is a mirror of the subversion repository on COIN-OR
https://projects.coin-or.org/Cbc
Other
89 stars 30 forks source link

[Trac #93] failure in CGL probing when using cutoff #108

Open s-c-e opened 5 years ago

s-c-e commented 5 years ago

image

Attachment: https://github.com/s-c-e/cbc-trac-migration-attachments/blob/master/trac-ticket-93.zip

[magala@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