133 lines
9.0 KiB
Plaintext
133 lines
9.0 KiB
Plaintext
Solver command line: ['/usr/bin/cbc', '-seconds', '10200', '-allow', '2000', '-printingOptions', 'all', '-import', '/tmp/tmp5quhw7d5.pyomo.lp', '-stat=1', '-solve', '-solu', '/tmp/tmp5quhw7d5.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/tmp5quhw7d5.pyomo.lp -stat=1 -solve -solu /tmp/tmp5quhw7d5.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 7827 (-24838) rows, 10352 (-66841) columns and 55572 (-385029) elements
|
|
Statistics for presolved model
|
|
Original problem has 76376 integers (76128 of which binary)
|
|
Presolved problem has 10160 integers (10116 of which binary)
|
|
==== 9075 zero objective 3 different
|
|
9075 variables have objective of 0
|
|
1233 variables have objective of 1
|
|
44 variables have objective of 1000
|
|
==== absolute objective values 3 different
|
|
9075 variables have objective of 0
|
|
1233 variables have objective of 1
|
|
44 variables have objective of 1000
|
|
==== for integers 8979 zero objective 3 different
|
|
8979 variables have objective of 0
|
|
1137 variables have objective of 1
|
|
44 variables have objective of 1000
|
|
==== for integers absolute objective values 3 different
|
|
8979 variables have objective of 0
|
|
1137 variables have objective of 1
|
|
44 variables have objective of 1000
|
|
===== end objective counts
|
|
|
|
|
|
Problem has 7827 rows, 10352 columns (1277 with objective) and 55572 elements
|
|
There are 1234 singletons with objective
|
|
Column breakdown:
|
|
236 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, 10116 of type 0.0->1.0
|
|
Row breakdown:
|
|
0 of type E 0.0, 676 of type E 1.0, 0 of type E -1.0,
|
|
148 of type E other, 0 of type G 0.0, 0 of type G 1.0,
|
|
74 of type G other, 3411 of type L 0.0, 1089 of type L 1.0,
|
|
2429 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 24512.5 - 0.21 seconds
|
|
Cgl0002I 62046 variables fixed
|
|
Cgl0003I 0 fixed, 44 tightened bounds, 2204 strengthened rows, 4 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 355 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 355 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 355 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 355 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 355 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 355 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 355 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 355 strengthened rows, 0 substitutions
|
|
Cgl0004I processed model has 7749 rows, 10350 columns (10158 integer (10114 of which binary)) and 53656 elements
|
|
Cbc0038I Initial state - 575 integers unsatisfied sum - 217.378
|
|
Cbc0038I Pass 1: (1.62 seconds) suminf. 154.59951 (343) obj. 27638.4 iterations 1610
|
|
Cbc0038I Pass 2: (1.64 seconds) suminf. 150.30245 (326) obj. 27640.2 iterations 273
|
|
Cbc0038I Pass 3: (1.66 seconds) suminf. 147.69308 (319) obj. 27641.4 iterations 22
|
|
Cbc0038I Pass 4: (1.67 seconds) suminf. 147.19308 (318) obj. 27641.9 iterations 11
|
|
Cbc0038I Pass 5: (1.69 seconds) suminf. 147.19308 (318) obj. 27641.9 iterations 10
|
|
Cbc0038I Pass 6: (1.70 seconds) suminf. 147.19308 (318) obj. 27641.9 iterations 13
|
|
Cbc0038I Pass 7: (1.71 seconds) suminf. 147.19308 (318) obj. 27641.9 iterations 7
|
|
Cbc0038I Pass 8: (1.74 seconds) suminf. 67.43186 (154) obj. 27736.3 iterations 621
|
|
Cbc0038I Pass 9: (1.76 seconds) suminf. 64.57084 (150) obj. 27736.3 iterations 285
|
|
Cbc0038I Pass 10: (1.77 seconds) suminf. 64.07084 (149) obj. 27736.8 iterations 20
|
|
Cbc0038I Pass 11: (1.79 seconds) suminf. 64.07084 (149) obj. 27736.8 iterations 17
|
|
Cbc0038I Pass 12: (1.81 seconds) suminf. 40.43564 (93) obj. 30810 iterations 662
|
|
Cbc0038I Pass 13: (1.83 seconds) suminf. 35.97334 (79) obj. 30809.1 iterations 310
|
|
Cbc0038I Pass 14: (1.85 seconds) suminf. 35.32090 (77) obj. 30808.5 iterations 115
|
|
Cbc0038I Pass 15: (1.86 seconds) suminf. 35.32090 (77) obj. 30808.5 iterations 13
|
|
Cbc0038I Pass 16: (1.89 seconds) suminf. 31.10628 (71) obj. 30831.4 iterations 436
|
|
Cbc0038I Pass 17: (1.91 seconds) suminf. 28.38627 (63) obj. 30831.7 iterations 264
|
|
Cbc0038I Pass 18: (1.92 seconds) suminf. 28.38627 (63) obj. 30831.7 iterations 10
|
|
Cbc0038I Pass 19: (1.95 seconds) suminf. 27.68563 (67) obj. 33850.2 iterations 499
|
|
Cbc0038I Pass 20: (1.97 seconds) suminf. 24.38695 (61) obj. 33848.9 iterations 353
|
|
Cbc0038I Pass 21: (1.98 seconds) suminf. 24.38695 (61) obj. 33848.9 iterations 15
|
|
Cbc0038I Pass 22: (2.01 seconds) suminf. 30.48628 (81) obj. 30869.8 iterations 508
|
|
Cbc0038I Pass 23: (2.03 seconds) suminf. 24.30037 (63) obj. 30868.6 iterations 402
|
|
Cbc0038I Pass 24: (2.04 seconds) suminf. 23.64792 (61) obj. 30868.6 iterations 106
|
|
Cbc0038I Pass 25: (2.06 seconds) suminf. 23.64792 (61) obj. 30868.6 iterations 11
|
|
Cbc0038I Pass 26: (2.07 seconds) suminf. 23.64792 (61) obj. 30868.6 iterations 7
|
|
Cbc0038I Pass 27: (2.09 seconds) suminf. 23.64792 (61) obj. 30868.6 iterations 7
|
|
Cbc0038I Pass 28: (2.10 seconds) suminf. 23.64792 (61) obj. 30868.6 iterations 8
|
|
Cbc0038I Pass 29: (2.13 seconds) suminf. 26.92915 (69) obj. 30885.7 iterations 500
|
|
Cbc0038I Pass 30: (2.15 seconds) suminf. 22.98162 (57) obj. 30883.7 iterations 358
|
|
Cbc0038I No solution found this major pass
|
|
Cbc0038I Before mini branch and bound, 8851 integers at bound fixed and 52 continuous of which 1 were internal integer and 0 internal continuous
|
|
Cbc0038I Mini branch and bound did not improve solution (2.16 seconds)
|
|
Cbc0038I After 2.16 seconds - Feasibility pump exiting - took 0.63 seconds
|
|
Cbc0031I 286 added rows had average density of 62.944056
|
|
Cbc0013I At root node, 286 cuts changed objective from 24610 to 24622.081 in 10 passes
|
|
Cbc0014I Cut generator 0 (Probing) - 1922 row cuts average 2.0 elements, 0 column cuts (159 active) in 2.822 seconds - new frequency is 1
|
|
Cbc0014I Cut generator 1 (Gomory) - 1274 row cuts average 400.3 elements, 0 column cuts (0 active) in 0.708 seconds - new frequency is 1
|
|
Cbc0014I Cut generator 2 (Knapsack) - 886 row cuts average 2.0 elements, 0 column cuts (0 active) in 0.092 seconds - new frequency is 1
|
|
Cbc0014I Cut generator 3 (Clique) - 0 row cuts average 0.0 elements, 0 column cuts (0 active) in 0.008 seconds - new frequency is -100
|
|
Cbc0014I Cut generator 4 (MixedIntegerRounding2) - 853 row cuts average 18.3 elements, 0 column cuts (0 active) in 0.120 seconds - new frequency is 1
|
|
Cbc0014I Cut generator 5 (FlowCover) - 0 row cuts average 0.0 elements, 0 column cuts (0 active) in 0.035 seconds - new frequency is -100
|
|
Cbc0014I Cut generator 6 (TwoMirCuts) - 1710 row cuts average 55.1 elements, 0 column cuts (0 active) in 0.606 seconds - new frequency is -100
|
|
Cbc0010I After 0 nodes, 1 on tree, 1e+50 best solution, best possible 24622.081 (9.22 seconds)
|
|
Cbc0012I Integer solution of 24635.948 found by DiveCoefficient after 7043 iterations and 2 nodes (10.11 seconds)
|
|
Cbc0038I Full problem 7749 rows 10350 columns, reduced to 97 rows 104 columns
|
|
Cbc0012I Integer solution of 24631.88 found by RINS after 7043 iterations and 2 nodes (10.21 seconds)
|
|
Cbc0011I Exiting as integer gap of 9.7989071 less than 2000 or 0%%
|
|
Cbc0001I Search completed - best objective 24631.87982535435, took 7429 iterations and 3 nodes (11.05 seconds)
|
|
Cbc0032I Strong branching done 46 times (885 iterations), fathomed 0 nodes and fixed 0 variables
|
|
Cbc0035I Maximum depth 3, 0 variables fixed on reduced cost
|
|
Cuts at root node changed objective from 24610 to 24622.1
|
|
Probing was tried 16 times and created 2343 cuts of which 159 were active after adding rounds of cuts (2.857 seconds)
|
|
Gomory was tried 16 times and created 1308 cuts of which 0 were active after adding rounds of cuts (0.774 seconds)
|
|
Knapsack was tried 16 times and created 1113 cuts of which 0 were active after adding rounds of cuts (0.136 seconds)
|
|
Clique was tried 10 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.008 seconds)
|
|
MixedIntegerRounding2 was tried 16 times and created 1038 cuts of which 0 were active after adding rounds of cuts (0.188 seconds)
|
|
FlowCover was tried 10 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.035 seconds)
|
|
TwoMirCuts was tried 10 times and created 1710 cuts of which 0 were active after adding rounds of cuts (0.606 seconds)
|
|
ImplicationCuts was tried 6 times and created 898 cuts of which 0 were active after adding rounds of cuts (0.009 seconds)
|
|
|
|
Result - Optimal solution found (within gap tolerance)
|
|
|
|
Objective value: 24631.87982535
|
|
Lower bound: 24622.081
|
|
Gap: 0.00
|
|
Enumerated nodes: 3
|
|
Total iterations: 7429
|
|
Time (CPU seconds): 11.34
|
|
Time (Wallclock seconds): 11.52
|
|
|
|
Total time (CPU seconds): 12.37 (Wallclock seconds): 12.60
|
|
|
|
|