Ross
134 lines
8.7 KiB
Plaintext
134 lines
8.7 KiB
Plaintext
Solver command line: ['/usr/bin/cbc', '-seconds', '10200', '-allow', '2000', '-printingOptions', 'all', '-import', '/tmp/tmp4622w1mq.pyomo.lp', '-stat=1', '-solve', '-solu', '/tmp/tmp4622w1mq.pyomo.soln']
|
|
|
|
Welcome to the CBC MILP Solver
|
|
Version: 2.9.9
|
|
Build Date: Aug 7 2019
|
|
|
|
command line - /usr/bin/cbc -seconds 10200 -allow 2000 -printingOptions all -import /tmp/tmp4622w1mq.pyomo.lp -stat=1 -solve -solu /tmp/tmp4622w1mq.pyomo.soln (default strategy 1)
|
|
seconds was changed from 1e+100 to 10200
|
|
allowableGap was changed from 1e-10 to 2000
|
|
Option for printingOptions changed from normal to all
|
|
Presolve 28387 (-94874) rows, 15575 (-47326) columns and 134926 (-433703) elements
|
|
Statistics for presolved model
|
|
Original problem has 62180 integers (61152 of which binary)
|
|
Presolved problem has 15239 integers (14771 of which binary)
|
|
==== 13834 zero objective 5 different
|
|
13834 variables have objective of 0
|
|
1233 variables have objective of 1
|
|
48 variables have objective of 10
|
|
416 variables have objective of 20
|
|
44 variables have objective of 1000
|
|
==== absolute objective values 5 different
|
|
13834 variables have objective of 0
|
|
1233 variables have objective of 1
|
|
48 variables have objective of 10
|
|
416 variables have objective of 20
|
|
44 variables have objective of 1000
|
|
==== for integers 13642 zero objective 4 different
|
|
13642 variables have objective of 0
|
|
1137 variables have objective of 1
|
|
416 variables have objective of 20
|
|
44 variables have objective of 1000
|
|
==== for integers absolute objective values 4 different
|
|
13642 variables have objective of 0
|
|
1137 variables have objective of 1
|
|
416 variables have objective of 20
|
|
44 variables have objective of 1000
|
|
===== end objective counts
|
|
|
|
|
|
Problem has 28387 rows, 15575 columns (1741 with objective) and 134926 elements
|
|
There are 1649 singletons with objective
|
|
Column breakdown:
|
|
804 of type 0.0->inf, 0 of type 0.0->up, 0 of type lo->inf,
|
|
0 of type lo->up, 0 of type free, 0 of type fixed,
|
|
0 of type -inf->0.0, 0 of type -inf->up, 14771 of type 0.0->1.0
|
|
Row breakdown:
|
|
2281 of type E 0.0, 156 of type E 1.0, 208 of type E -1.0,
|
|
378 of type E other, 0 of type G 0.0, 52 of type G 1.0,
|
|
99 of type G other, 3411 of type L 0.0, 20252 of type L 1.0,
|
|
1550 of type L other, 0 of type Range 0.0->1.0, 0 of type Range other,
|
|
0 of type Free
|
|
Continuous objective value is 20592.5 - 24.71 seconds
|
|
Cgl0002I 42189 variables fixed
|
|
Cgl0003I 0 fixed, 460 tightened bounds, 21305 strengthened rows, 39902 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 7082 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 3236 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 1799 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 554 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 182 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 58 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 8 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 1 strengthened rows, 0 substitutions
|
|
Cgl0004I processed model has 11176 rows, 7630 columns (7294 integer (6834 of which binary)) and 65662 elements
|
|
Cbc0038I Initial state - 1272 integers unsatisfied sum - 345.392
|
|
Cbc0038I Pass 1: (35.73 seconds) suminf. 113.12521 (252) obj. 23011.9 iterations 5369
|
|
Cbc0038I Pass 2: (35.85 seconds) suminf. 97.50022 (201) obj. 23201.6 iterations 870
|
|
Cbc0038I Pass 3: (35.87 seconds) suminf. 95.58058 (197) obj. 23202.6 iterations 25
|
|
Cbc0038I Pass 4: (35.89 seconds) suminf. 85.08058 (176) obj. 23213.1 iterations 57
|
|
Cbc0038I Pass 5: (35.92 seconds) suminf. 78.58058 (163) obj. 23219.6 iterations 36
|
|
Cbc0038I Pass 6: (35.94 seconds) suminf. 64.58058 (135) obj. 23233.6 iterations 97
|
|
Cbc0038I Pass 7: (35.96 seconds) suminf. 64.58058 (135) obj. 23233.6 iterations 6
|
|
Cbc0038I Pass 8: (36.08 seconds) suminf. 34.06646 (85) obj. 24847.8 iterations 1105
|
|
Cbc0038I Pass 9: (36.15 seconds) suminf. 26.58390 (62) obj. 24673.7 iterations 546
|
|
Cbc0038I Pass 10: (36.18 seconds) suminf. 26.58390 (62) obj. 24673.7 iterations 5
|
|
Cbc0038I Pass 11: (36.29 seconds) suminf. 16.54140 (51) obj. 25574.8 iterations 909
|
|
Cbc0038I Pass 12: (36.41 seconds) suminf. 10.80399 (31) obj. 25515.6 iterations 770
|
|
Cbc0038I Pass 13: (36.43 seconds) suminf. 10.80399 (31) obj. 25515.6 iterations 3
|
|
Cbc0038I Pass 14: (36.57 seconds) suminf. 19.12809 (55) obj. 26023.3 iterations 1016
|
|
Cbc0038I Pass 15: (36.66 seconds) suminf. 10.94444 (31) obj. 25923.3 iterations 649
|
|
Cbc0038I Pass 16: (36.68 seconds) suminf. 10.44444 (30) obj. 25923.8 iterations 1
|
|
Cbc0038I Pass 17: (36.70 seconds) suminf. 5.44444 (20) obj. 25926.3 iterations 31
|
|
Cbc0038I Pass 18: (36.73 seconds) suminf. 5.44444 (20) obj. 25926.3 iterations 7
|
|
Cbc0038I Pass 19: (36.78 seconds) suminf. 4.17600 (12) obj. 26246.2 iterations 331
|
|
Cbc0038I Pass 20: (36.81 seconds) suminf. 2.66667 (6) obj. 26350.4 iterations 105
|
|
Cbc0038I Pass 21: (36.83 seconds) suminf. 2.66667 (6) obj. 26350.4 iterations 16
|
|
Cbc0038I Pass 22: (36.86 seconds) suminf. 2.66667 (6) obj. 26350.4 iterations 3
|
|
Cbc0038I Pass 23: (36.88 seconds) suminf. 2.66667 (6) obj. 26350.4 iterations 7
|
|
Cbc0038I Pass 24: (37.01 seconds) suminf. 16.76409 (51) obj. 28258.2 iterations 1003
|
|
Cbc0038I Pass 25: (37.12 seconds) suminf. 13.24188 (36) obj. 28181.6 iterations 787
|
|
Cbc0038I Pass 26: (37.15 seconds) suminf. 6.74188 (23) obj. 28185.6 iterations 37
|
|
Cbc0038I Pass 27: (37.20 seconds) suminf. 6.74844 (20) obj. 28510 iterations 249
|
|
Cbc0038I Pass 28: (37.25 seconds) suminf. 4.15076 (14) obj. 28507.6 iterations 169
|
|
Cbc0038I Pass 29: (37.29 seconds) suminf. 4.09423 (10) obj. 28559.1 iterations 216
|
|
Cbc0038I Pass 30: (37.32 seconds) suminf. 4.09423 (10) obj. 28559.1 iterations 2
|
|
Cbc0038I No solution found this major pass
|
|
Cbc0038I Before mini branch and bound, 5714 integers at bound fixed and 81 continuous of which 13 were internal integer and 0 internal continuous
|
|
Cbc0038I Mini branch and bound did not improve solution (37.33 seconds)
|
|
Cbc0038I After 37.33 seconds - Feasibility pump exiting - took 3.14 seconds
|
|
Cbc0012I Integer solution of 21710.37 found by DiveCoefficient after 96696 iterations and 0 nodes (139.21 seconds)
|
|
Cbc0031I 493 added rows had average density of 27.168357
|
|
Cbc0013I At root node, 493 cuts changed objective from 20690 to 21122.861 in 20 passes
|
|
Cbc0014I Cut generator 0 (Probing) - 5984 row cuts average 2.2 elements, 0 column cuts (1 active) in 2.579 seconds - new frequency is 1
|
|
Cbc0014I Cut generator 1 (Gomory) - 2351 row cuts average 148.1 elements, 0 column cuts (0 active) in 5.389 seconds - new frequency is 1
|
|
Cbc0014I Cut generator 2 (Knapsack) - 4692 row cuts average 2.3 elements, 0 column cuts (0 active) in 0.332 seconds - new frequency is 1
|
|
Cbc0014I Cut generator 3 (Clique) - 0 row cuts average 0.0 elements, 0 column cuts (0 active) in 0.328 seconds - new frequency is -100
|
|
Cbc0014I Cut generator 4 (MixedIntegerRounding2) - 2821 row cuts average 21.4 elements, 0 column cuts (0 active) in 0.354 seconds - new frequency is 1
|
|
Cbc0014I Cut generator 5 (FlowCover) - 0 row cuts average 0.0 elements, 0 column cuts (0 active) in 0.074 seconds - new frequency is -100
|
|
Cbc0014I Cut generator 6 (TwoMirCuts) - 2740 row cuts average 32.6 elements, 0 column cuts (0 active) in 2.648 seconds - new frequency is 1
|
|
Cbc0011I Exiting as integer gap of 587.50832 less than 2000 or 0%%
|
|
Cbc0001I Search completed - best objective 21710.36981896341, took 96696 iterations and 0 nodes (139.23 seconds)
|
|
Cbc0035I Maximum depth 0, 0 variables fixed on reduced cost
|
|
Cuts at root node changed objective from 20690 to 21122.9
|
|
Probing was tried 20 times and created 5984 cuts of which 1 were active after adding rounds of cuts (2.579 seconds)
|
|
Gomory was tried 20 times and created 2351 cuts of which 0 were active after adding rounds of cuts (5.389 seconds)
|
|
Knapsack was tried 20 times and created 4692 cuts of which 0 were active after adding rounds of cuts (0.332 seconds)
|
|
Clique was tried 20 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.328 seconds)
|
|
MixedIntegerRounding2 was tried 20 times and created 2821 cuts of which 0 were active after adding rounds of cuts (0.354 seconds)
|
|
FlowCover was tried 20 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.074 seconds)
|
|
TwoMirCuts was tried 20 times and created 2740 cuts of which 0 were active after adding rounds of cuts (2.648 seconds)
|
|
|
|
Result - Optimal solution found (within gap tolerance)
|
|
|
|
Objective value: 21710.36981896
|
|
Lower bound: 21122.861
|
|
Gap: 0.03
|
|
Enumerated nodes: 0
|
|
Total iterations: 96696
|
|
Time (CPU seconds): 140.60
|
|
Time (Wallclock seconds): 140.91
|
|
|
|
Total time (CPU seconds): 142.01 (Wallclock seconds): 142.41
|
|
|
|
|