141 lines
9.6 KiB
Plaintext
141 lines
9.6 KiB
Plaintext
Solver command line: ['/usr/bin/cbc', '-seconds', '3200', '-allow', '2200', '-printingOptions', 'all', '-import', '/tmp/tmpgzf8zbpg.pyomo.lp', '-stat=1', '-solve', '-solu', '/tmp/tmpgzf8zbpg.pyomo.soln']
|
|
|
|
Welcome to the CBC MILP Solver
|
|
Version: 2.9.9
|
|
Build Date: Aug 7 2019
|
|
|
|
command line - /usr/bin/cbc -seconds 3200 -allow 2200 -printingOptions all -import /tmp/tmpgzf8zbpg.pyomo.lp -stat=1 -solve -solu /tmp/tmpgzf8zbpg.pyomo.soln (default strategy 1)
|
|
seconds was changed from 1e+100 to 3200
|
|
allowableGap was changed from 1e-10 to 2200
|
|
Option for printingOptions changed from normal to all
|
|
Presolve 63617 (-74184) rows, 25986 (-83735) columns and 256502 (-851515) elements
|
|
Statistics for presolved model
|
|
Original problem has 109096 integers (108160 of which binary)
|
|
Presolved problem has 25896 integers (25688 of which binary)
|
|
==== 21788 zero objective 4 different
|
|
21788 variables have objective of 0
|
|
208 variables have objective of 20
|
|
1352 variables have objective of 100
|
|
2638 variables have objective of 1000
|
|
==== absolute objective values 4 different
|
|
21788 variables have objective of 0
|
|
208 variables have objective of 20
|
|
1352 variables have objective of 100
|
|
2638 variables have objective of 1000
|
|
==== for integers 21788 zero objective 4 different
|
|
21788 variables have objective of 0
|
|
208 variables have objective of 20
|
|
1352 variables have objective of 100
|
|
2548 variables have objective of 1000
|
|
==== for integers absolute objective values 4 different
|
|
21788 variables have objective of 0
|
|
208 variables have objective of 20
|
|
1352 variables have objective of 100
|
|
2548 variables have objective of 1000
|
|
===== end objective counts
|
|
|
|
|
|
Problem has 63617 rows, 25986 columns (4198 with objective) and 256502 elements
|
|
There are 1650 singletons with objective
|
|
Column breakdown:
|
|
298 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, 25688 of type 0.0->1.0
|
|
Row breakdown:
|
|
2704 of type E 0.0, 676 of type E 1.0, 0 of type E -1.0,
|
|
279 of type E other, 0 of type G 0.0, 0 of type G 1.0,
|
|
418 of type G other, 5408 of type L 0.0, 49868 of type L 1.0,
|
|
1560 of type L other, 0 of type Range 0.0->1.0, 2704 of type Range other,
|
|
0 of type Free
|
|
Continuous objective value is 178488 - 30.16 seconds
|
|
Cgl0002I 75712 variables fixed
|
|
Cgl0003I 0 fixed, 208 tightened bounds, 37490 strengthened rows, 47518 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 1438 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 5 strengthened rows, 0 substitutions
|
|
Cgl0004I processed model has 24041 rows, 16522 columns (16432 integer (16224 of which binary)) and 124218 elements
|
|
Cbc0038I Initial state - 1405 integers unsatisfied sum - 471.24
|
|
Cbc0038I Pass 1: (45.34 seconds) suminf. 304.35185 (762) obj. 223295 iterations 6320
|
|
Cbc0038I Pass 2: (45.54 seconds) suminf. 259.90250 (677) obj. 229665 iterations 1456
|
|
Cbc0038I Pass 3: (45.71 seconds) suminf. 237.42785 (612) obj. 231568 iterations 757
|
|
Cbc0038I Pass 4: (45.76 seconds) suminf. 234.36193 (605) obj. 231838 iterations 256
|
|
Cbc0038I Pass 5: (45.80 seconds) suminf. 233.19893 (597) obj. 232546 iterations 202
|
|
Cbc0038I Pass 6: (45.83 seconds) suminf. 232.04656 (590) obj. 233310 iterations 71
|
|
Cbc0038I Pass 7: (45.86 seconds) suminf. 231.54656 (589) obj. 233360 iterations 8
|
|
Cbc0038I Pass 8: (45.89 seconds) suminf. 231.31610 (590) obj. 233360 iterations 40
|
|
Cbc0038I Pass 9: (45.92 seconds) suminf. 229.14180 (587) obj. 233352 iterations 22
|
|
Cbc0038I Pass 10: (45.94 seconds) suminf. 229.14180 (587) obj. 233352 iterations 1
|
|
Cbc0038I Pass 11: (45.98 seconds) suminf. 219.44422 (557) obj. 231301 iterations 113
|
|
Cbc0038I Pass 12: (46.02 seconds) suminf. 212.43029 (535) obj. 229437 iterations 116
|
|
Cbc0038I Pass 13: (46.03 seconds) suminf. 212.43029 (535) obj. 229437 iterations 0
|
|
Cbc0038I Pass 14: (46.06 seconds) suminf. 208.43029 (527) obj. 229837 iterations 31
|
|
Cbc0038I Pass 15: (46.08 seconds) suminf. 208.43029 (527) obj. 229837 iterations 1
|
|
Cbc0038I Pass 16: (46.11 seconds) suminf. 204.43029 (519) obj. 230237 iterations 18
|
|
Cbc0038I Pass 17: (46.14 seconds) suminf. 204.43029 (519) obj. 230237 iterations 3
|
|
Cbc0038I Pass 18: (46.17 seconds) suminf. 196.93029 (504) obj. 230987 iterations 35
|
|
Cbc0038I Pass 19: (46.19 seconds) suminf. 196.93029 (504) obj. 230987 iterations 2
|
|
Cbc0038I Pass 20: (46.22 seconds) suminf. 189.43029 (489) obj. 231737 iterations 25
|
|
Cbc0038I Pass 21: (46.25 seconds) suminf. 189.43029 (489) obj. 231737 iterations 6
|
|
Cbc0038I Pass 22: (46.27 seconds) suminf. 184.43029 (479) obj. 232237 iterations 25
|
|
Cbc0038I Pass 23: (46.30 seconds) suminf. 184.43029 (479) obj. 232237 iterations 4
|
|
Cbc0038I Pass 24: (46.33 seconds) suminf. 178.43029 (467) obj. 232837 iterations 25
|
|
Cbc0038I Pass 25: (46.36 seconds) suminf. 178.43029 (467) obj. 232837 iterations 3
|
|
Cbc0038I Pass 26: (46.38 seconds) suminf. 175.93029 (462) obj. 233087 iterations 16
|
|
Cbc0038I Pass 27: (46.41 seconds) suminf. 175.93029 (462) obj. 233087 iterations 5
|
|
Cbc0038I Pass 28: (46.44 seconds) suminf. 174.93029 (460) obj. 233187 iterations 7
|
|
Cbc0038I Pass 29: (46.46 seconds) suminf. 174.93029 (460) obj. 233187 iterations 1
|
|
Cbc0038I Pass 30: (46.49 seconds) suminf. 173.43029 (457) obj. 233337 iterations 6
|
|
Cbc0038I No solution found this major pass
|
|
Cbc0038I Before mini branch and bound, 14611 integers at bound fixed and 43 continuous
|
|
Cbc0038I Mini branch and bound did not improve solution (46.52 seconds)
|
|
Cbc0038I After 46.52 seconds - Feasibility pump exiting - took 3.36 seconds
|
|
Cbc0031I 552 added rows had average density of 29.197464
|
|
Cbc0013I At root node, 552 cuts changed objective from 188237.94 to 222332.75 in 10 passes
|
|
Cbc0014I Cut generator 0 (Probing) - 3440 row cuts average 3.4 elements, 0 column cuts (0 active) in 3.913 seconds - new frequency is 1
|
|
Cbc0014I Cut generator 1 (Gomory) - 2373 row cuts average 245.7 elements, 0 column cuts (0 active) in 7.187 seconds - new frequency is 1
|
|
Cbc0014I Cut generator 2 (Knapsack) - 1879 row cuts average 2.3 elements, 0 column cuts (0 active) in 0.268 seconds - new frequency is 1
|
|
Cbc0014I Cut generator 3 (Clique) - 0 row cuts average 0.0 elements, 0 column cuts (0 active) in 0.095 seconds - new frequency is -100
|
|
Cbc0014I Cut generator 4 (MixedIntegerRounding2) - 1177 row cuts average 13.5 elements, 0 column cuts (0 active) in 0.242 seconds - new frequency is 1
|
|
Cbc0014I Cut generator 5 (FlowCover) - 0 row cuts average 0.0 elements, 0 column cuts (0 active) in 0.039 seconds - new frequency is -100
|
|
Cbc0014I Cut generator 6 (TwoMirCuts) - 3221 row cuts average 43.5 elements, 0 column cuts (0 active) in 4.283 seconds - new frequency is 1
|
|
Cbc0010I After 0 nodes, 1 on tree, 1e+50 best solution, best possible 222332.75 (95.56 seconds)
|
|
Cbc0010I After 100 nodes, 58 on tree, 1e+50 best solution, best possible 222332.75 (140.65 seconds)
|
|
Cbc0010I After 200 nodes, 109 on tree, 1e+50 best solution, best possible 222332.75 (153.72 seconds)
|
|
Cbc0010I After 300 nodes, 159 on tree, 1e+50 best solution, best possible 222332.75 (166.84 seconds)
|
|
Cbc0010I After 400 nodes, 211 on tree, 1e+50 best solution, best possible 222332.75 (180.19 seconds)
|
|
Cbc0010I After 500 nodes, 260 on tree, 1e+50 best solution, best possible 222332.75 (194.37 seconds)
|
|
Cbc0010I After 600 nodes, 312 on tree, 1e+50 best solution, best possible 222332.75 (208.13 seconds)
|
|
Cbc0010I After 700 nodes, 363 on tree, 1e+50 best solution, best possible 222332.75 (223.59 seconds)
|
|
Cbc0010I After 800 nodes, 412 on tree, 1e+50 best solution, best possible 222332.75 (239.21 seconds)
|
|
Cbc0012I Integer solution of 225548.92 found by rounding after 83817 iterations and 877 nodes (249.96 seconds)
|
|
Cbc0038I Full problem 24041 rows 16522 columns, reduced to 0 rows 0 columns
|
|
Cbc0038I Full problem 24041 rows 16522 columns, reduced to 716 rows 543 columns
|
|
Cbc0012I Integer solution of 224493.06 found by RINS after 85051 iterations and 900 nodes (257.47 seconds)
|
|
Cbc0010I After 900 nodes, 38 on tree, 224493.06 best solution, best possible 222332.75 (257.55 seconds)
|
|
Cbc0011I Exiting as integer gap of 2160.3118 less than 2200 or 0%%
|
|
Cbc0001I Search completed - best objective 224493.0622792392, took 85147 iterations and 901 nodes (257.69 seconds)
|
|
Cbc0032I Strong branching done 3076 times (85272 iterations), fathomed 0 nodes and fixed 0 variables
|
|
Cbc0035I Maximum depth 178, 1114 variables fixed on reduced cost
|
|
Cuts at root node changed objective from 188238 to 222333
|
|
Probing was tried 920 times and created 13923 cuts of which 0 were active after adding rounds of cuts (10.780 seconds)
|
|
Gomory was tried 920 times and created 4524 cuts of which 0 were active after adding rounds of cuts (24.789 seconds)
|
|
Knapsack was tried 920 times and created 9817 cuts of which 0 were active after adding rounds of cuts (12.716 seconds)
|
|
Clique was tried 10 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.095 seconds)
|
|
MixedIntegerRounding2 was tried 920 times and created 5513 cuts of which 0 were active after adding rounds of cuts (16.556 seconds)
|
|
FlowCover was tried 10 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.039 seconds)
|
|
TwoMirCuts was tried 920 times and created 9162 cuts of which 0 were active after adding rounds of cuts (11.763 seconds)
|
|
ImplicationCuts was tried 20 times and created 2198 cuts of which 0 were active after adding rounds of cuts (0.049 seconds)
|
|
|
|
Result - Optimal solution found (within gap tolerance)
|
|
|
|
Objective value: 224493.06227924
|
|
Lower bound: 222332.750
|
|
Gap: 0.01
|
|
Enumerated nodes: 901
|
|
Total iterations: 85147
|
|
Time (CPU seconds): 258.90
|
|
Time (Wallclock seconds): 259.64
|
|
|
|
Total time (CPU seconds): 261.09 (Wallclock seconds): 262.01
|
|
|
|
|