Opened 10 years ago

Closed 7 weeks ago

#80 closed defect (migrated)

assertion failure CBC releases 2.3.0 on tiny IP

Reported by: mgalati Owned by: somebody
Priority: major Component: component1
Version: Keywords:
Cc: magh@…

Description

http://coral.ie.lehigh.edu/~magh/tmp/subProbN_MC2KP02.n21.c2.p4.b0.lp

decomp_mmkp: ../../../../Cgl/src/CglPreProcess/CglPreProcess.cpp:3731: OsiSolverInterface* CglPreProcess::modified(OsiSolverInterface*, bool, int&, int, int): Assertion `newValue' failed.
Aborted

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

Change History (1)

comment:1 Changed 7 weeks ago by stefan

  • Resolution set to migrated
  • Status changed from new to closed

This ticket has been migrated to GitHub and will be resolved there: https://github.com/coin-or/Cbc/issues/80

Note: See TracTickets for help on using tickets.