[Cbc] assertion failure CBC releases 2.3.0 on tiny IP

Matthew Galati magh at lehigh.edu
Tue Sep 15 12:27:11 EDT 2009 

John, are your changes just to CBC or also to CGL?

I was using CBC 2.3.0 and CGL 0.54.0. I tried switching to CBC 2.3 but I get
the same error.





> I have modified code in 2.3 and trunk. Does it fix problem?
>
> John
>
> [image: Inactive hide details for Matthew Galati ---09/14/2009 02:57:51
> PM---http://coral.ie.lehigh.edu/~magh/tmp/subProbN_MC2KP02.n21.]Matthew
> Galati ---09/14/2009 02:57:51 PM---
> http://coral.ie.lehigh.edu/~magh/tmp/subProbN_MC2KP02.n21.c2.p4.b0.lp<http://coral.ie.lehigh.edu/%7Emagh/tmp/subProbN_MC2KP02.n21.c2.p4.b0.lp>
> https://projects.coin-or.org/C
>
>
> 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<http://coral.ie.lehigh.edu/%7Emagh/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
>
>
>
> _______________________________________________
> Cbc mailing list
> Cbc at list.coin-or.org
> http://list.coin-or.org/mailman/listinfo/cbc
>
> Matt,
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://list.coin-or.org/pipermail/cbc/attachments/20090915/62730713/attachment-0001.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/gif
Size: 105 bytes
Desc: not available
Url : http://list.coin-or.org/pipermail/cbc/attachments/20090915/62730713/attachment-0002.gif 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/gif
Size: 45 bytes
Desc: not available
Url : http://list.coin-or.org/pipermail/cbc/attachments/20090915/62730713/attachment-0003.gif

More information about the Cbc mailing list