[Cbc] assertion failure CBC releases 2.3.0 on tiny IP
John J Forrest
jjforre at us.ibm.com
Tue Sep 15 12:04:02 EDT 2009
Matt,
I have modified code in 2.3 and trunk. Does it fix problem?
John
From: Matthew Galati <Matthew.Galati at sas.com>
To: "cbc at list.coin-or.org" <cbc at list.coin-or.org>
Date: 09/14/2009 02:57 PM
Subject: [Cbc] assertion failure CBC releases 2.3.0 on tiny IP
Sent by: cbc-bounces at list.coin-or.org
http://coral.ie.lehigh.edu/~magh/tmp/subProbN_MC2KP02.n21.c2.p4.b0.lp
https://projects.coin-or.org/Cbc/ticket/80
decomp_mmkp: ../../../../Cgl/src/CglPreProcess/CglPreProcess.cpp:3731:
OsiSolverInterface* CglPreProcess::modified(OsiSolverInterface*, bool,
int&, int, int): Assertion `newValue' failed.
Aborted
[magala at orclus71 src]$ ./cbc
~/COIN/coin-Decomp/build-g/Decomp/examples/MMKP/subProbN_MC2KP02.n21.c2.p4.b0.lp
Coin Cbc and Clp Solver version 2.3.0, build Sep 10 2009
command line
- ./cbc /users/magala/COIN/coin-Decomp/build-g/Decomp/examples/MMKP/subProbN_MC2KP02.n21.c2.p4.b0.lp
(default strategy 1)
Continuous objective value is -651.24 - 0.00 seconds
Cgl0003I 64 fixed, 0 tightened bounds, 0 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 0 strengthened rows, 2 substitutions
Cgl0004I processed model has 16 rows, 78 columns (78 integer) and 211
elements
Cbc0038I Pass 1: suminf. 0.44444 (2) obj. -643.471 iterations 12
Cbc0038I Pass 2: suminf. 0.44444 (2) obj. -643.471 iterations 1
Cbc0038I Solution found of -591.576
Cbc0038I Before mini branch and bound, 74 integers at bound fixed and 0
continuous
Cbc0038I Full problem 16 rows 78 columns, reduced to 1 rows 2 columns
Cbc0038I Mini branch and bound improved solution from -591.576 to -637.123
(0.01 seconds)
Cbc0038I Round again with cutoff of -638.535
Cbc0038I Reduced cost fixing fixed 24 variables on major pass 2
Cbc0038I Pass 3: suminf. 0.44444 (2) obj. -648.259 iterations 1
Cbc0038I Pass 4: suminf. 0.44444 (2) obj. -648.259 iterations 1
Cbc0038I Pass 5: suminf. 0.87489 (2) obj. -638.535 iterations 12
Cbc0038I Pass 6: suminf. 0.66667 (2) obj. -651.24 iterations 5
Cbc0038I Pass 7: suminf. 1.48822 (4) obj. -638.535 iterations 12
Cbc0038I Pass 8: suminf. 0.88889 (2) obj. -643.717 iterations 10
Cbc0038I Pass 9: suminf. 0.13333 (2) obj. -638.535 iterations 12
Cbc0038I Pass 10: suminf. 0.13333 (2) obj. -638.535 iterations 1
Cbc0038I Pass 11: suminf. 0.44444 (2) obj. -648.259 iterations 11
Cbc0038I Pass 12: suminf. 0.44444 (2) obj. -648.259 iterations 1
Cbc0038I Pass 13: suminf. 0.87489 (2) obj. -638.535 iterations 9
Cbc0038I Pass 14: suminf. 1.38192 (4) obj. -638.535 iterations 11
Cbc0038I Solution found of -642.492
Cbc0038I Before mini branch and bound, 64 integers at bound fixed and 0
continuous
Cbc0038I Full problem 16 rows 78 columns, reduced to 3 rows 10 columns
Cbc0038I Mini branch and bound improved solution from -642.492 to -650.822
(0.02 seconds)
Cbc0038I Round again with cutoff of -650.906
Cbc0038I Reduced cost fixing fixed 62 variables on major pass 3
Cbc0038I Pass 15: suminf. 0.66667 (2) obj. -651.24 iterations 1
Cbc0038I Pass 16: suminf. 0.66667 (2) obj. -651.24 iterations 1
Cbc0038I Pass 17: suminf. 0.69823 (2) obj. -650.906 iterations 11
Cbc0038I Pass 18: suminf. 0.66667 (2) obj. -651.24 iterations 2
Cbc0038I Pass 19: suminf. 0.69823 (2) obj. -650.906 iterations 2
Cbc0038I Pass 20: suminf. 0.66667 (2) obj. -651.24 iterations 2
Cbc0038I Pass 21: suminf. 0.66667 (2) obj. -651.24 iterations 0
Cbc0038I Pass 22: suminf. 0.66667 (2) obj. -651.24 iterations 1
Cbc0038I Pass 23: suminf. 0.66667 (2) obj. -651.24 iterations 0
Cbc0038I Pass 24: suminf. 0.66667 (2) obj. -651.24 iterations 1
Cbc0038I Pass 25: suminf. 0.66667 (2) obj. -651.24 iterations 0
Cbc0038I Pass 26: suminf. 0.66667 (2) obj. -651.24 iterations 1
Cbc0038I Pass 27: suminf. 0.69823 (2) obj. -650.906 iterations 2
Cbc0038I Pass 28: suminf. 0.66667 (2) obj. -651.24 iterations 2
Cbc0038I Pass 29: suminf. 0.66667 (2) obj. -651.24 iterations 0
Cbc0038I Pass 30: suminf. 0.66667 (2) obj. -651.24 iterations 2
Cbc0038I Pass 31: suminf. 0.69823 (2) obj. -650.906 iterations 2
Cbc0038I Pass 32: suminf. 0.66667 (2) obj. -651.24 iterations 2
Cbc0038I Pass 33: suminf. 0.66667 (2) obj. -651.24 iterations 0
Cbc0038I Pass 34: suminf. 0.66667 (2) obj. -651.24 iterations 1
Cbc0038I Pass 35: suminf. 0.69823 (2) obj. -650.906 iterations 2
Cbc0038I Pass 36: suminf. 0.66667 (2) obj. -651.24 iterations 1
Cbc0038I Pass 37: suminf. 0.69823 (2) obj. -650.906 iterations 1
Cbc0038I Pass 38: suminf. 0.69823 (2) obj. -650.906 iterations 2
Cbc0038I Pass 39: suminf. 0.69823 (2) obj. -650.906 iterations 0
Cbc0038I Pass 40: suminf. 0.66667 (2) obj. -651.24 iterations 2
Cbc0038I Pass 41: suminf. 0.66667 (2) obj. -651.24 iterations 0
Cbc0038I Pass 42: suminf. 0.66667 (2) obj. -651.24 iterations 1
Cbc0038I Pass 43: suminf. 0.66667 (2) obj. -651.24 iterations 0
Cbc0038I Pass 44: suminf. 0.66667 (2) obj. -651.24 iterations 1
Cbc0038I No solution found this major pass
Cbc0038I Before mini branch and bound, 76 integers at bound fixed and 0
continuous
Cbc0038I Full problem 16 rows 78 columns, reduced to 0 rows 0 columns
Cbc0038I Mini branch and bound did not improve solution (0.04 seconds)
Cbc0038I After 0.04 seconds - Feasibility pump exiting with objective of
-650.822 - took 0.04 seconds
Cbc0012I Integer solution of -650.822 found by feasibility pump after 0
iterations and 0 nodes (0.04 seconds)
cbc: ../../../../Cgl/src/CglPreProcess/CglPreProcess.cpp:3731:
OsiSolverInterface* CglPreProcess::modified(OsiSolverInterface*, bool,
int&, int, int): Assertion `newValue' failed.
Aborted
_______________________________________________
Cbc mailing list
Cbc at list.coin-or.org
http://list.coin-or.org/mailman/listinfo/cbc
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://list.coin-or.org/pipermail/cbc/attachments/20090915/85e6331a/attachment.html
-------------- next part --------------
A non-text attachment was scrubbed...
Name: graycol.gif
Type: image/gif
Size: 105 bytes
Desc: not available
Url : http://list.coin-or.org/pipermail/cbc/attachments/20090915/85e6331a/attachment.gif
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ecblank.gif
Type: image/gif
Size: 45 bytes
Desc: not available
Url : http://list.coin-or.org/pipermail/cbc/attachments/20090915/85e6331a/attachment-0001.gif
More information about the Cbc
mailing list