Open s-c-e opened 5 years ago
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
http://coral.ie.lehigh.edu/~magh/tmp/subProbN_MC2KP02.n21.c2.p4.b0.lp