[Cbc] CBC solving MIP model Using FreeMPS, MPS and CPLEX format
Noli Sicad
nsicad at gmail.com
Mon Nov 19 22:38:22 EST 2012
Hi.
Answering my own question.
Compiled cbc in Mac OS X and running.
It seems that CBC only accepts MPS (i.e. Fixed MPS and Free MPS) formats.
The MIP Model was solved, 17.8 minutes (see the logs below).
It seems that cbc has undocumented -max option for maximize problem.
I don't yet how to get the solution to output into text file (e.g.
solution.txt) or on screen.
I think no documentation on CBS CLI solver.
One posting last October in this ML about documentation of CBC solver
was not answered. I hope so see some documentation / wiki how to use
this solver.
Thanks.
Regards,
Noli
###############
Last login: Mon Nov 19 23:07:43 on ttys015
Nolis-MacBook-Pro:Case_Studies nsicad$ ls *.mps
MIP_hard.mps TimberHarvestModel_0025p_freemps.mps
Timber-cplex_mps.mps TimberHarvestModel_0025p_mps.mps
Nolis-MacBook-Pro:Case_Studies nsicad$ cbc
TimberHarvestModel_0025p_mps.mps -max -solve -solution
Welcome to the CBC MILP Solver
Version: 2.7.7
Build Date: Nov 19 2012
command line - cbc TimberHarvestModel_0025p_mps.mps -max -solve
-solution (default strategy 1)
At line 8 NAME TimberHa
At line 9 ROWS
At line 474 COLUMNS
At line 1252 RHS
At line 1477 BOUNDS
At line 1727 ENDATA
Problem TimberHa has 463 rows, 255 columns and 1181 elements
Coin0008I TimberHa read with 0 errors
Continuous objective value is 350195 - 0.01 seconds
Cgl0003I 0 fixed, 0 tightened bounds, 116 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 16 strengthened rows, 0 substitutions
Cgl0004I processed model has 258 rows, 232 columns (228 integer) and
1044 elements
Cbc0038I Pass 1: suminf. 1.42641 (6) obj. -338645 iterations 65
Cbc0038I Pass 2: suminf. 0.82768 (4) obj. -320258 iterations 11
Cbc0038I Pass 3: suminf. 0.82768 (4) obj. -320258 iterations 0
Cbc0038I Pass 4: suminf. 4.39163 (13) obj. -298649 iterations 64
Cbc0038I Pass 5: suminf. 1.07166 (5) obj. -300682 iterations 44
Cbc0038I Pass 6: suminf. 1.07166 (5) obj. -300682 iterations 0
Cbc0038I Pass 7: suminf. 2.41432 (9) obj. -306109 iterations 79
Cbc0038I Pass 8: suminf. 1.43824 (5) obj. -307654 iterations 35
Cbc0038I Pass 9: suminf. 1.43824 (5) obj. -307654 iterations 0
Cbc0038I Pass 10: suminf. 3.44537 (10) obj. -268085 iterations 68
Cbc0038I Pass 11: suminf. 1.45640 (6) obj. -257898 iterations 30
Cbc0038I Pass 12: suminf. 0.71466 (4) obj. -240348 iterations 12
Cbc0038I Pass 13: suminf. 0.71466 (4) obj. -240348 iterations 0
Cbc0038I Pass 14: suminf. 2.63764 (10) obj. -259140 iterations 64
Cbc0038I Pass 15: suminf. 1.01755 (5) obj. -261736 iterations 28
Cbc0038I Pass 16: suminf. 1.01755 (5) obj. -261736 iterations 0
Cbc0038I Pass 17: suminf. 3.45377 (12) obj. -255854 iterations 54
Cbc0038I Pass 18: suminf. 1.55837 (5) obj. -251959 iterations 27
Cbc0038I Pass 19: suminf. 1.55837 (5) obj. -251959 iterations 0
Cbc0038I Pass 20: suminf. 2.85175 (13) obj. -245557 iterations 63
Cbc0038I Pass 21: suminf. 0.73747 (6) obj. -247158 iterations 31
Cbc0038I Pass 22: suminf. 0.73747 (6) obj. -247158 iterations 0
Cbc0038I Pass 23: suminf. 2.86130 (11) obj. -251553 iterations 45
Cbc0038I Pass 24: suminf. 0.87944 (4) obj. -250146 iterations 28
Cbc0038I Pass 25: suminf. 0.87944 (4) obj. -250146 iterations 0
Cbc0038I Pass 26: suminf. 5.73582 (18) obj. -243947 iterations 70
Cbc0038I Pass 27: suminf. 1.52846 (8) obj. -252208 iterations 31
Cbc0038I Pass 28: suminf. 1.52846 (8) obj. -252208 iterations 0
Cbc0038I Pass 29: suminf. 2.16661 (6) obj. -282709 iterations 54
Cbc0038I Pass 30: suminf. 1.20528 (5) obj. -262737 iterations 30
Cbc0038I No solution found this major pass
Cbc0038I Before mini branch and bound, 80 integers at bound fixed and
0 continuous
Cbc0038I Full problem 258 rows 232 columns, reduced to 150 rows 152
columns - too large
Cbc0038I Mini branch and bound did not improve solution (0.15 seconds)
Cbc0038I After 0.17 seconds - Feasibility pump exiting - took 0.11 seconds
Cbc0031I 15 added rows had average density of 196.2
Cbc0013I At root node, 15 cuts changed objective from -350191.79 to
-348816.26 in 100 passes
Cbc0014I Cut generator 0 (Probing) - 0 row cuts average 0.0 elements,
0 column cuts (0 active) in 0.331 seconds - new frequency is 1
Cbc0014I Cut generator 1 (Gomory) - 453 row cuts average 202.3
elements, 0 column cuts (15 active) in 0.496 seconds - new frequency
is -100
Cbc0014I Cut generator 2 (Knapsack) - 0 row cuts average 0.0 elements,
0 column cuts (0 active) in 0.113 seconds - new frequency is -100
Cbc0014I Cut generator 3 (Clique) - 0 row cuts average 0.0 elements, 0
column cuts (0 active) in 0.017 seconds - new frequency is -100
Cbc0014I Cut generator 4 (MixedIntegerRounding2) - 0 row cuts average
0.0 elements, 0 column cuts (0 active) in 0.041 seconds - new
frequency is -100
Cbc0014I Cut generator 5 (FlowCover) - 0 row cuts average 0.0
elements, 0 column cuts (0 active) in 0.085 seconds - new frequency
is -100
Cbc0014I Cut generator 6 (TwoMirCuts) - 82 row cuts average 186.8
elements, 0 column cuts (0 active) in 0.117 seconds - new frequency
is -100
Cbc0010I After 0 nodes, 1 on tree, 1e+50 best solution, best possible
-348816.26 (2.12 seconds)
Cbc0016I Integer solution of -304949.14 found by strong branching
after 30930 iterations and 504 nodes (16.52 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 23 rows 24 columns
Cbc0038I Full problem 258 rows 232 columns, reduced to 31 rows 36 columns
Cbc0038I Full problem 258 rows 232 columns, reduced to 43 rows 49 columns
Cbc0012I Integer solution of -327616.05 found by rounding after 60810
iterations and 877 nodes (98.19 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 14 rows 36 columns
Cbc0016I Integer solution of -328752.84 found by strong branching
after 62122 iterations and 892 nodes (98.28 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 5 rows 4 columns
Cbc0038I Full problem 258 rows 232 columns, reduced to 17 rows 16 columns
Cbc0016I Integer solution of -330145.19 found by strong branching
after 71078 iterations and 985 nodes (98.84 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 26 rows 34 columns
Cbc0016I Integer solution of -330518.52 found by strong branching
after 72392 iterations and 999 nodes (98.92 seconds)
Cbc0010I After 1000 nodes, 227 on tree, -330518.52 best solution, best
possible -348816.26 (98.93 seconds)
Cbc0016I Integer solution of -332105.19 found by strong branching
after 72394 iterations and 1001 nodes (98.93 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 34 rows 41 columns
Cbc0038I Full problem 258 rows 232 columns, reduced to 26 rows 26 columns
Cbc0038I Full problem 258 rows 232 columns, reduced to 48 rows 50 columns
Cbc0038I Full problem 258 rows 232 columns, reduced to 50 rows 51 columns
Cbc0038I Full problem 258 rows 232 columns, reduced to 49 rows 50 columns
Cbc0038I Full problem 258 rows 232 columns, reduced to 48 rows 47 columns
Cbc0038I Full problem 258 rows 232 columns, reduced to 51 rows 52 columns
Cbc0010I After 2000 nodes, 358 on tree, -332105.19 best solution, best
possible -348816.26 (107.39 seconds)
Cbc0016I Integer solution of -332133.21 found by strong branching
after 193719 iterations and 2110 nodes (108.45 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 56 rows 70 columns
Cbc0010I After 3000 nodes, 425 on tree, -332133.21 best solution, best
possible -348816.26 (115.06 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 28 rows 30 columns
Cbc0016I Integer solution of -333403.33 found by strong branching
after 315584 iterations and 3239 nodes (116.97 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 59 rows 73 columns
Cbc0038I Full problem 258 rows 232 columns, reduced to 26 rows 30 columns
Cbc0004I Integer solution of -335404.81 found after 355511 iterations
and 3666 nodes (119.85 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 64 rows 78 columns
Cbc0016I Integer solution of -335513.46 found by strong branching
after 362362 iterations and 3744 nodes (120.59 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 64 rows 78 columns
Cbc0016I Integer solution of -335988.52 found by strong branching
after 367960 iterations and 3822 nodes (121.26 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 65 rows 79 columns
Cbc0012I Integer solution of -336451.11 found by combine solutions
after 368102 iterations and 3824 nodes (121.56 seconds)
Cbc0010I After 4000 nodes, 237 on tree, -336451.11 best solution, best
possible -348816.26 (122.48 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 41 rows 45 columns
Cbc0016I Integer solution of -336976.54 found by strong branching
after 478812 iterations and 4876 nodes (129.15 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 77 rows 91 columns
Cbc0010I After 5000 nodes, 280 on tree, -336976.54 best solution, best
possible -348816.26 (130.41 seconds)
Cbc0016I Integer solution of -337926.67 found by strong branching
after 523716 iterations and 5344 nodes (132.50 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 84 rows 97 columns
Cbc0038I Full problem 258 rows 232 columns, reduced to 31 rows 31 columns
Cbc0010I After 6000 nodes, 343 on tree, -337926.67 best solution, best
possible -348816.26 (138.93 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 44 rows 49 columns
Cbc0010I After 7000 nodes, 486 on tree, -337926.67 best solution, best
possible -348816.26 (147.49 seconds)
Cbc0016I Integer solution of -338411.48 found by strong branching
after 737545 iterations and 7100 nodes (148.16 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 88 rows 100 columns
Cbc0012I Integer solution of -338643.83 found by rounding after 742085
iterations and 7139 nodes (148.89 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 92 rows 105 columns
Cbc0038I Full problem 258 rows 232 columns, reduced to 49 rows 47 columns
Cbc0038I Full problem 258 rows 232 columns, reduced to 40 rows 41 columns
Cbc0010I After 8000 nodes, 599 on tree, -338643.83 best solution, best
possible -348816.26 (157.01 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 35 rows 35 columns
Cbc0010I After 9000 nodes, 694 on tree, -338643.83 best solution, best
possible -348816.26 (165.20 seconds)
Cbc0016I Integer solution of -338828.52 found by strong branching
after 997219 iterations and 9436 nodes (167.84 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 93 rows 107 columns
Cbc0038I Full problem 258 rows 232 columns, reduced to 31 rows 35 columns
Cbc0010I After 10000 nodes, 592 on tree, -338828.52 best solution,
best possible -348816.26 (171.89 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 49 rows 50 columns
Cbc0004I Integer solution of -339847.78 found after 1093512 iterations
and 10441 nodes (174.88 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 95 rows 108 columns
Cbc0016I Integer solution of -339859.63 found by strong branching
after 1135500 iterations and 10934 nodes (178.38 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 95 rows 109 columns
Cbc0010I After 11000 nodes, 492 on tree, -339859.63 best solution,
best possible -348816.26 (179.11 seconds)
Cbc0010I After 12000 nodes, 989 on tree, -339859.63 best solution,
best possible -348257.15 (192.23 seconds)
Cbc0010I After 13000 nodes, 1480 on tree, -339859.63 best solution,
best possible -348026.33 (203.68 seconds)
Cbc0010I After 14000 nodes, 1483 on tree, -339859.63 best solution,
best possible -348026.33 (230.94 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 53 rows 47 columns
Cbc0010I After 15000 nodes, 1966 on tree, -339859.63 best solution,
best possible -347866.53 (242.02 seconds)
Cbc0010I After 16000 nodes, 2449 on tree, -339859.63 best solution,
best possible -347758.46 (252.36 seconds)
Cbc0010I After 17000 nodes, 2938 on tree, -339859.63 best solution,
best possible -347676.6 (262.92 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 40 rows 41 columns
Cbc0010I After 18000 nodes, 2939 on tree, -339859.63 best solution,
best possible -347676.6 (279.18 seconds)
Cbc0010I After 19000 nodes, 3423 on tree, -339859.63 best solution,
best possible -347602.88 (289.85 seconds)
Cbc0010I After 20000 nodes, 3907 on tree, -339859.63 best solution,
best possible -347539.18 (300.45 seconds)
Cbc0010I After 21000 nodes, 4390 on tree, -339859.63 best solution,
best possible -347478.14 (310.95 seconds)
Cbc0016I Integer solution of -340451.85 found by strong branching
after 1899079 iterations and 21361 nodes (314.34 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 104 rows 119 columns
Cbc0038I Full problem 258 rows 232 columns, reduced to 30 rows 30 columns
Cbc0010I After 22000 nodes, 4570 on tree, -340451.85 best solution,
best possible -347478.14 (321.08 seconds)
Cbc0010I After 23000 nodes, 5051 on tree, -340451.85 best solution,
best possible -347419 (331.36 seconds)
Cbc0010I After 24000 nodes, 5533 on tree, -340451.85 best solution,
best possible -347364.99 (342.26 seconds)
Cbc0010I After 25000 nodes, 6014 on tree, -340451.85 best solution,
best possible -347319.14 (353.01 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 46 rows 47 columns
Cbc0016I Integer solution of -340816.3 found by strong branching after
2228981 iterations and 25487 nodes (356.42 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 105 rows 120 columns
Cbc0010I After 26000 nodes, 6164 on tree, -340816.3 best solution,
best possible -347319.14 (361.97 seconds)
Cbc0010I After 27000 nodes, 6636 on tree, -340816.3 best solution,
best possible -347270.88 (372.87 seconds)
Cbc0010I After 28000 nodes, 7113 on tree, -340816.3 best solution,
best possible -347228.93 (383.93 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 46 rows 50 columns
Cbc0010I After 29000 nodes, 7590 on tree, -340816.3 best solution,
best possible -347189.38 (394.70 seconds)
Cbc0012I Integer solution of -341635.31 found by rounding after
2537149 iterations and 29085 nodes (395.26 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 108 rows 122 columns
Cbc0010I After 30000 nodes, 7778 on tree, -341635.31 best solution,
best possible -347189.38 (405.08 seconds)
Cbc0010I After 31000 nodes, 8243 on tree, -341635.31 best solution,
best possible -347153.92 (415.79 seconds)
Cbc0010I After 32000 nodes, 8705 on tree, -341635.31 best solution,
best possible -347119.65 (426.83 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 57 rows 55 columns
Cbc0010I After 33000 nodes, 9170 on tree, -341635.31 best solution,
best possible -347087.04 (437.74 seconds)
Cbc0016I Integer solution of -342406.3 found by strong branching after
2923458 iterations and 33212 nodes (441.00 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 110 rows 122 columns
Cbc0010I After 34000 nodes, 9170 on tree, -342406.3 best solution,
best possible -347087.04 (448.92 seconds)
Cbc0010I After 35000 nodes, 9613 on tree, -342406.3 best solution,
best possible -347054.27 (460.13 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 34 rows 29 columns
Cbc0010I After 36000 nodes, 10066 on tree, -342406.3 best solution,
best possible -347024.55 (471.42 seconds)
Cbc0016I Integer solution of -342840.86 found by strong branching
after 3251972 iterations and 36351 nodes (474.39 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 121 rows 129 columns
Cbc0012I Integer solution of -343949.75 found by combine solutions
after 3252062 iterations and 36352 nodes (474.89 seconds)
Cbc0016I Integer solution of -344222.59 found by strong branching
after 3252229 iterations and 36358 nodes (474.93 seconds)
Cbc0010I After 37000 nodes, 9120 on tree, -344222.59 best solution,
best possible -347024.55 (481.51 seconds)
Cbc0016I Integer solution of -344444.81 found by strong branching
after 3343282 iterations and 37147 nodes (482.66 seconds)
Cbc0010I After 38000 nodes, 8977 on tree, -344444.81 best solution,
best possible -347024.55 (491.43 seconds)
Cbc0010I After 39000 nodes, 9280 on tree, -344444.81 best solution,
best possible -346993.76 (503.49 seconds)
Cbc0010I After 40000 nodes, 9593 on tree, -344444.81 best solution,
best possible -346964.11 (516.16 seconds)
Cbc0010I After 41000 nodes, 9910 on tree, -344444.81 best solution,
best possible -346936.28 (528.77 seconds)
Cbc0016I Integer solution of -345331.48 found by strong branching
after 3921012 iterations and 41205 nodes (529.96 seconds)
Cbc0010I After 42000 nodes, 8167 on tree, -345331.48 best solution,
best possible -346936.28 (536.98 seconds)
Cbc0010I After 43000 nodes, 8343 on tree, -345331.48 best solution,
best possible -346908.84 (549.69 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 51 rows 51 columns
Cbc0010I After 44000 nodes, 8566 on tree, -345331.48 best solution,
best possible -346878.92 (561.84 seconds)
Cbc0010I After 45000 nodes, 8792 on tree, -345331.48 best solution,
best possible -346851.17 (573.40 seconds)
Cbc0016I Integer solution of -345553.7 found by strong branching after
4497025 iterations and 45029 nodes (573.60 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 137 rows 133
columns - 11 fixed gives 71, 83 - ok now
Cbc0038I Full problem 258 rows 232 columns, reduced to 58 rows 70 columns
Cbc0010I After 46000 nodes, 8232 on tree, -345553.7 best solution,
best possible -346851.17 (582.91 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 52 rows 52 columns
Cbc0010I After 47000 nodes, 8406 on tree, -345553.7 best solution,
best possible -346822.18 (594.12 seconds)
Cbc0010I After 48000 nodes, 8569 on tree, -345553.7 best solution,
best possible -346792.56 (605.39 seconds)
Cbc0010I After 49000 nodes, 8740 on tree, -345553.7 best solution,
best possible -346766.88 (617.86 seconds)
Cbc0010I After 50000 nodes, 8552 on tree, -345553.7 best solution,
best possible -346766.86 (624.76 seconds)
Cbc0010I After 51000 nodes, 8703 on tree, -345553.7 best solution,
best possible -346738.77 (635.99 seconds)
Cbc0010I After 52000 nodes, 8882 on tree, -345553.7 best solution,
best possible -346711.33 (647.51 seconds)
Cbc0010I After 53000 nodes, 9026 on tree, -345553.7 best solution,
best possible -346686.03 (658.44 seconds)
Cbc0010I After 54000 nodes, 8840 on tree, -345553.7 best solution,
best possible -346686.03 (665.32 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 50 rows 48 columns
Cbc0010I After 55000 nodes, 8990 on tree, -345553.7 best solution,
best possible -346659.09 (676.88 seconds)
Cbc0010I After 56000 nodes, 9116 on tree, -345553.7 best solution,
best possible -346633.73 (688.65 seconds)
Cbc0010I After 57000 nodes, 9248 on tree, -345553.7 best solution,
best possible -346611.89 (700.21 seconds)
Cbc0010I After 58000 nodes, 9067 on tree, -345553.7 best solution,
best possible -346611.89 (706.98 seconds)
Cbc0010I After 59000 nodes, 9187 on tree, -345553.7 best solution,
best possible -346585.57 (717.78 seconds)
Cbc0010I After 60000 nodes, 9297 on tree, -345553.7 best solution,
best possible -346561.57 (729.40 seconds)
Cbc0010I After 61000 nodes, 9380 on tree, -345553.7 best solution,
best possible -346539.8 (740.50 seconds)
Cbc0010I After 62000 nodes, 9173 on tree, -345553.7 best solution,
best possible -346539.8 (747.43 seconds)
Cbc0010I After 63000 nodes, 9271 on tree, -345553.7 best solution,
best possible -346515.43 (758.94 seconds)
Cbc0010I After 64000 nodes, 9333 on tree, -345553.7 best solution,
best possible -346492.16 (769.88 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 44 rows 41 columns
Cbc0010I After 65000 nodes, 9417 on tree, -345553.7 best solution,
best possible -346469.37 (780.37 seconds)
Cbc0010I After 66000 nodes, 9181 on tree, -345553.7 best solution,
best possible -346469.37 (787.20 seconds)
Cbc0010I After 67000 nodes, 9225 on tree, -345553.7 best solution,
best possible -346448.56 (798.39 seconds)
Cbc0010I After 68000 nodes, 9248 on tree, -345553.7 best solution,
best possible -346426.8 (808.96 seconds)
Cbc0010I After 69000 nodes, 9251 on tree, -345553.7 best solution,
best possible -346406.48 (819.51 seconds)
Cbc0010I After 70000 nodes, 8995 on tree, -345553.7 best solution,
best possible -346406.48 (825.81 seconds)
Cbc0010I After 71000 nodes, 9005 on tree, -345553.7 best solution,
best possible -346383.92 (835.80 seconds)
Cbc0010I After 72000 nodes, 9000 on tree, -345553.7 best solution,
best possible -346362.35 (846.18 seconds)
Cbc0010I After 73000 nodes, 8973 on tree, -345553.7 best solution,
best possible -346341.14 (856.01 seconds)
Cbc0010I After 74000 nodes, 8684 on tree, -345553.7 best solution,
best possible -346341.14 (862.33 seconds)
Cbc0010I After 75000 nodes, 8676 on tree, -345553.7 best solution,
best possible -346319.43 (872.27 seconds)
Cbc0010I After 76000 nodes, 8635 on tree, -345553.7 best solution,
best possible -346296.25 (882.00 seconds)
Cbc0010I After 77000 nodes, 8584 on tree, -345553.7 best solution,
best possible -346275.14 (892.03 seconds)
Cbc0010I After 78000 nodes, 8273 on tree, -345553.7 best solution,
best possible -346275.14 (897.96 seconds)
Cbc0010I After 79000 nodes, 8147 on tree, -345553.7 best solution,
best possible -346252.15 (907.00 seconds)
Cbc0010I After 80000 nodes, 8050 on tree, -345553.7 best solution,
best possible -346230.14 (915.92 seconds)
Cbc0010I After 81000 nodes, 7945 on tree, -345553.7 best solution,
best possible -346207.9 (925.45 seconds)
Cbc0010I After 82000 nodes, 7615 on tree, -345553.7 best solution,
best possible -346207.9 (931.36 seconds)
Cbc0010I After 83000 nodes, 7481 on tree, -345553.7 best solution,
best possible -346185.53 (940.73 seconds)
Cbc0010I After 84000 nodes, 7334 on tree, -345553.7 best solution,
best possible -346162.15 (949.00 seconds)
Cbc0010I After 85000 nodes, 7170 on tree, -345553.7 best solution,
best possible -346139.72 (957.64 seconds)
Cbc0016I Integer solution of -345556.67 found by strong branching
after 10011872 iterations and 85049 nodes (958.00 seconds)
Cbc0038I Full problem 258 rows 232 columns, reduced to 118 rows 127 columns
Cbc0010I After 86000 nodes, 6842 on tree, -345556.67 best solution,
best possible -346139.72 (964.67 seconds)
Cbc0010I After 87000 nodes, 6637 on tree, -345556.67 best solution,
best possible -346113.92 (973.64 seconds)
Cbc0010I After 88000 nodes, 6417 on tree, -345556.67 best solution,
best possible -346087.18 (982.27 seconds)
Cbc0010I After 89000 nodes, 6172 on tree, -345556.67 best solution,
best possible -346062.4 (990.47 seconds)
Cbc0010I After 90000 nodes, 5764 on tree, -345556.67 best solution,
best possible -346062.4 (995.27 seconds)
Cbc0010I After 91000 nodes, 5500 on tree, -345556.67 best solution,
best possible -346032.45 (1002.61 seconds)
Cbc0010I After 92000 nodes, 5199 on tree, -345556.67 best solution,
best possible -346004.65 (1009.59 seconds)
Cbc0010I After 93000 nodes, 4893 on tree, -345556.67 best solution,
best possible -345978.53 (1016.50 seconds)
Cbc0010I After 94000 nodes, 4460 on tree, -345556.67 best solution,
best possible -345978.53 (1020.59 seconds)
Cbc0010I After 95000 nodes, 4101 on tree, -345556.67 best solution,
best possible -345949.21 (1027.70 seconds)
Cbc0010I After 96000 nodes, 3735 on tree, -345556.67 best solution,
best possible -345920.4 (1034.45 seconds)
Cbc0010I After 97000 nodes, 3352 on tree, -345556.67 best solution,
best possible -345889.87 (1040.46 seconds)
Cbc0010I After 98000 nodes, 2895 on tree, -345556.67 best solution,
best possible -345889.87 (1044.07 seconds)
Cbc0010I After 99000 nodes, 2483 on tree, -345556.67 best solution,
best possible -345853.57 (1049.56 seconds)
Cbc0010I After 100000 nodes, 2056 on tree, -345556.67 best solution,
best possible -345814.78 (1054.69 seconds)
Cbc0010I After 101000 nodes, 1595 on tree, -345556.67 best solution,
best possible -345770.32 (1059.26 seconds)
Cbc0010I After 102000 nodes, 1105 on tree, -345556.67 best solution,
best possible -345770.32 (1061.59 seconds)
Cbc0010I After 103000 nodes, 621 on tree, -345556.67 best solution,
best possible -345698.49 (1065.26 seconds)
Cbc0010I After 104000 nodes, 123 on tree, -345556.67 best solution,
best possible -345591.85 (1067.57 seconds)
Cbc0001I Search completed - best objective -345556.6666668299, took
14627711 iterations and 532807 nodes (1068.00 seconds)
Cbc0032I Strong branching done 1148280 times (6925301 iterations),
fathomed 35748 nodes and fixed 51466 variables
Cbc0041I Maximum depth 49, 992812 variables fixed on reduced cost
(428562 nodes in complete fathoming taking 2951533 iterations)
Cuts at root node changed objective from -350192 to -348816
Probing was tried 95711 times and created 19467 cuts of which 1385
were active after adding rounds of cuts (7.126 seconds)
Gomory was tried 100 times and created 453 cuts of which 15 were
active after adding rounds of cuts (0.496 seconds)
Knapsack was tried 100 times and created 0 cuts of which 0 were active
after adding rounds of cuts (0.113 seconds)
Clique was tried 100 times and created 0 cuts of which 0 were active
after adding rounds of cuts (0.017 seconds)
MixedIntegerRounding2 was tried 100 times and created 0 cuts of which
0 were active after adding rounds of cuts (0.041 seconds)
FlowCover was tried 100 times and created 0 cuts of which 0 were
active after adding rounds of cuts (0.085 seconds)
TwoMirCuts was tried 100 times and created 82 cuts of which 0 were
active after adding rounds of cuts (0.117 seconds)
Result - Optimal solution found
Objective value: 345556.66666683
Enumerated nodes: 532807
Total iterations: 14627711
Time (CPU seconds): 1068.01
Time (Wallclock seconds): 1072.15
Current default (if $ as parameter) for solution is stdout
Total time (CPU seconds): 1068.01 (Wallclock seconds): 1072.15
Nolis-MacBook-Pro:Case_Studies nsicad$
###################################
FreeMPS
command line - cbc TimberHarvestModel_0025p_freemps.mps -max -solve
-solution (default strategy 1)
At line 8 NAME TimberHarvestModel_0025p
At line 9 ROWS
At line 474 COLUMNS
At line 1252 RHS
At line 1477 BOUNDS
At line 1727 ENDATA
Problem TimberHarvestModel_0025p has 463 rows, 255 columns and 1181 elements
Coin0008I TimberHarvestModel_0025p read with 0 errors
Continuous objective value is 350195 - 0.01 seconds
Cgl0003I 0 fixed, 0 tightened bounds, 116 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 16 strengthened rows, 0 substitutions
Cgl0004I processed model has 258 rows, 232 columns (228 integer) and
1044 elements
Cbc0038I Pass 1: suminf. 1.42641 (6) obj. -338645 iterations 65
Cbc0038I Pass 2: suminf. 0.82768 (4) obj. -320258 iterations 11
Cbc0038I Pass 3: suminf. 0.82768 (4) obj. -320258 iterations 0
Cbc0038I Pass 4: suminf. 4.39163 (13) obj. -298649 iterations 64
Cbc0038I Pass 5: suminf. 1.07166 (5) obj. -300682 iterations 44
On 11/19/12, Noli Sicad <nsicad at gmail.com> wrote:
> Hi,
>
> I manage to compile ( not install properly) and able to run CBC in Mac
> OS X 10.8.2. However, it seems that CBC is not able to read or solve
> this model properly.
>
>
> Here's the link of the log / result of running the CBC with this model .
> http://lists.gnu.org/archive/html/help-glpk/2012-11/msg00066.html
>
>
> The model is solved usng GLPK/MathProg in 37 minutes.
> http://lists.gnu.org/archive/html/help-glpk/2012-11/msg00067.html
>
> How do you solve this model properly in CBC?
>
> Here are the links of the model to download it in various format.
>
> MPS
> https://gist.github.com/4108017
>
> Free MPS
> https://gist.github.com/4108024
>
> CPLEX format
> https://gist.github.com/4108883
>
> I like to see a real benchmark of CBC in solving this MIP problem with
> a real result, not zero objective function.
>
> Hope to hear from you how do you solve this model in CBC?
>
> Thanks.
>
> Regards,
>
> Noli
>
More information about the Cbc
mailing list