130 lines
8.9 KiB
Plaintext
130 lines
8.9 KiB
Plaintext
Solver command line: ['/usr/bin/cbc', '-seconds', '10200', '-allow', '2000', '-printingOptions', 'all', '-import', '/tmp/tmpahus9y28.pyomo.lp', '-stat=1', '-solve', '-solu', '/tmp/tmpahus9y28.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/tmpahus9y28.pyomo.lp -stat=1 -solve -solu /tmp/tmpahus9y28.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 7772 (-24029) rows, 10426 (-66671) columns and 53720 (-385345) elements
|
|
Statistics for presolved model
|
|
Original problem has 76280 integers (76128 of which binary)
|
|
Presolved problem has 10234 integers (10234 of which binary)
|
|
==== 9193 zero objective 2 different
|
|
9193 variables have objective of 0
|
|
1233 variables have objective of 1
|
|
==== absolute objective values 2 different
|
|
9193 variables have objective of 0
|
|
1233 variables have objective of 1
|
|
==== for integers 9097 zero objective 2 different
|
|
9097 variables have objective of 0
|
|
1137 variables have objective of 1
|
|
==== for integers absolute objective values 2 different
|
|
9097 variables have objective of 0
|
|
1137 variables have objective of 1
|
|
===== end objective counts
|
|
|
|
|
|
Problem has 7772 rows, 10426 columns (1233 with objective) and 53720 elements
|
|
There are 1233 singletons with objective
|
|
Column breakdown:
|
|
192 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, 10234 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,
|
|
43 of type G other, 3411 of type L 0.0, 1089 of type L 1.0,
|
|
2405 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 512.5 - 0.24 seconds
|
|
Cgl0002I 61928 variables fixed
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 2270 strengthened rows, 4 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 320 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 320 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 320 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 320 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 320 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 320 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 320 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 320 strengthened rows, 0 substitutions
|
|
Cgl0004I processed model has 7725 rows, 10424 columns (10232 integer (10232 of which binary)) and 53732 elements
|
|
Cbc0038I Initial state - 529 integers unsatisfied sum - 224.918
|
|
Cbc0038I Pass 1: (1.64 seconds) suminf. 189.00000 (378) obj. 628.389 iterations 1696
|
|
Cbc0038I Pass 2: (1.65 seconds) suminf. 186.00000 (372) obj. 628.389 iterations 82
|
|
Cbc0038I Pass 3: (1.66 seconds) suminf. 186.00000 (372) obj. 628.389 iterations 39
|
|
Cbc0038I Pass 4: (1.68 seconds) suminf. 186.00000 (372) obj. 628.389 iterations 32
|
|
Cbc0038I Pass 5: (1.69 seconds) suminf. 186.00000 (372) obj. 628.389 iterations 38
|
|
Cbc0038I Pass 6: (1.71 seconds) suminf. 186.00000 (372) obj. 628.389 iterations 31
|
|
Cbc0038I Pass 7: (1.73 seconds) suminf. 186.00000 (372) obj. 628.389 iterations 34
|
|
Cbc0038I Pass 8: (1.74 seconds) suminf. 186.00000 (372) obj. 628.389 iterations 39
|
|
Cbc0038I Pass 9: (1.76 seconds) suminf. 185.50000 (371) obj. 628.889 iterations 36
|
|
Cbc0038I Pass 10: (1.77 seconds) suminf. 185.50000 (371) obj. 628.889 iterations 36
|
|
Cbc0038I Pass 11: (1.79 seconds) suminf. 185.50000 (371) obj. 628.889 iterations 40
|
|
Cbc0038I Pass 12: (1.80 seconds) suminf. 185.50000 (371) obj. 628.889 iterations 40
|
|
Cbc0038I Pass 13: (1.82 seconds) suminf. 94.50000 (189) obj. 696.889 iterations 449
|
|
Cbc0038I Pass 14: (1.84 seconds) suminf. 94.50000 (189) obj. 696.889 iterations 77
|
|
Cbc0038I Pass 15: (1.85 seconds) suminf. 94.50000 (189) obj. 696.889 iterations 48
|
|
Cbc0038I Pass 16: (1.87 seconds) suminf. 94.50000 (189) obj. 696.889 iterations 51
|
|
Cbc0038I Pass 17: (1.89 seconds) suminf. 94.50000 (189) obj. 696.889 iterations 48
|
|
Cbc0038I Pass 18: (1.90 seconds) suminf. 94.50000 (189) obj. 696.889 iterations 33
|
|
Cbc0038I Pass 19: (1.93 seconds) suminf. 71.00000 (142) obj. 773.037 iterations 532
|
|
Cbc0038I Pass 20: (1.95 seconds) suminf. 69.50000 (139) obj. 773.537 iterations 252
|
|
Cbc0038I Pass 21: (1.96 seconds) suminf. 69.50000 (139) obj. 773.537 iterations 31
|
|
Cbc0038I Pass 22: (1.98 seconds) suminf. 69.50000 (139) obj. 773.537 iterations 39
|
|
Cbc0038I Pass 23: (1.99 seconds) suminf. 69.50000 (139) obj. 773.537 iterations 47
|
|
Cbc0038I Pass 24: (2.01 seconds) suminf. 69.50000 (139) obj. 773.537 iterations 44
|
|
Cbc0038I Pass 25: (2.02 seconds) suminf. 69.00000 (138) obj. 774.037 iterations 34
|
|
Cbc0038I Pass 26: (2.04 seconds) suminf. 69.00000 (138) obj. 774.037 iterations 24
|
|
Cbc0038I Pass 27: (2.06 seconds) suminf. 61.50000 (123) obj. 809.99 iterations 474
|
|
Cbc0038I Pass 28: (2.08 seconds) suminf. 60.00000 (120) obj. 810.99 iterations 241
|
|
Cbc0038I Pass 29: (2.10 seconds) suminf. 59.50000 (119) obj. 810.99 iterations 42
|
|
Cbc0038I Pass 30: (2.11 seconds) suminf. 59.00000 (118) obj. 811.49 iterations 33
|
|
Cbc0038I No solution found this major pass
|
|
Cbc0038I Before mini branch and bound, 9441 integers at bound fixed and 63 continuous
|
|
Cbc0038I Mini branch and bound did not improve solution (2.13 seconds)
|
|
Cbc0038I After 2.41 seconds - Feasibility pump exiting - took 0.85 seconds
|
|
Cbc0031I 206 added rows had average density of 105.54854
|
|
Cbc0013I At root node, 206 cuts changed objective from 610 to 620.91644 in 10 passes
|
|
Cbc0014I Cut generator 0 (Probing) - 1641 row cuts average 2.0 elements, 0 column cuts (0 active) in 2.903 seconds - new frequency is 1
|
|
Cbc0014I Cut generator 1 (Gomory) - 1003 row cuts average 506.7 elements, 0 column cuts (0 active) in 0.518 seconds - new frequency is 1
|
|
Cbc0014I Cut generator 2 (Knapsack) - 751 row cuts average 2.0 elements, 0 column cuts (0 active) in 0.080 seconds - new frequency is 1
|
|
Cbc0014I Cut generator 3 (Clique) - 0 row cuts average 0.0 elements, 0 column cuts (0 active) in 0.006 seconds - new frequency is -100
|
|
Cbc0014I Cut generator 4 (MixedIntegerRounding2) - 708 row cuts average 17.6 elements, 0 column cuts (0 active) in 0.128 seconds - new frequency is 1
|
|
Cbc0014I Cut generator 5 (FlowCover) - 0 row cuts average 0.0 elements, 0 column cuts (0 active) in 0.046 seconds - new frequency is -100
|
|
Cbc0014I Cut generator 6 (TwoMirCuts) - 1300 row cuts average 46.7 elements, 0 column cuts (0 active) in 0.451 seconds - new frequency is 1
|
|
Cbc0010I After 0 nodes, 1 on tree, 1e+50 best solution, best possible 620.91644 (8.63 seconds)
|
|
Cbc0012I Integer solution of 631.71534 found by DiveCoefficient after 5804 iterations and 2 nodes (9.26 seconds)
|
|
Cbc0012I Integer solution of 625.71534 found by DiveCoefficient after 6183 iterations and 2 nodes (9.57 seconds)
|
|
Cbc0038I Full problem 7725 rows 10424 columns, reduced to 60 rows 66 columns
|
|
Cbc0012I Integer solution of 623.71534 found by RINS after 6183 iterations and 2 nodes (9.65 seconds)
|
|
Cbc0011I Exiting as integer gap of 2.7989071 less than 2000 or 0%%
|
|
Cbc0001I Search completed - best objective 623.7153428828003, took 6473 iterations and 3 nodes (10.15 seconds)
|
|
Cbc0032I Strong branching done 46 times (993 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 610 to 620.916
|
|
Probing was tried 16 times and created 2012 cuts of which 0 were active after adding rounds of cuts (2.933 seconds)
|
|
Gomory was tried 16 times and created 1015 cuts of which 0 were active after adding rounds of cuts (0.573 seconds)
|
|
Knapsack was tried 16 times and created 889 cuts of which 0 were active after adding rounds of cuts (0.120 seconds)
|
|
Clique was tried 10 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.006 seconds)
|
|
MixedIntegerRounding2 was tried 16 times and created 772 cuts of which 0 were active after adding rounds of cuts (0.202 seconds)
|
|
FlowCover was tried 10 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.046 seconds)
|
|
TwoMirCuts was tried 16 times and created 1389 cuts of which 0 were active after adding rounds of cuts (0.575 seconds)
|
|
ImplicationCuts was tried 6 times and created 637 cuts of which 0 were active after adding rounds of cuts (0.008 seconds)
|
|
|
|
Result - Optimal solution found (within gap tolerance)
|
|
|
|
Objective value: 623.71534288
|
|
Lower bound: 620.916
|
|
Gap: 0.00
|
|
Enumerated nodes: 3
|
|
Total iterations: 6473
|
|
Time (CPU seconds): 10.46
|
|
Time (Wallclock seconds): 10.62
|
|
|
|
Total time (CPU seconds): 11.50 (Wallclock seconds): 11.72
|
|
|
|
|