128 lines
8.4 KiB
Plaintext
128 lines
8.4 KiB
Plaintext
Solver command line: ['/usr/bin/cbc', '-seconds', '10200', '-allow', '2000', '-printingOptions', 'all', '-import', '/tmp/tmp30uhrly7.pyomo.lp', '-stat=1', '-solve', '-solu', '/tmp/tmp30uhrly7.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/tmp30uhrly7.pyomo.lp -stat=1 -solve -solu /tmp/tmp30uhrly7.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 is modifying 44 integer bounds and re-presolving
|
|
Presolve 41862 (-76927) rows, 17778 (-40027) columns and 176583 (-540886) elements
|
|
Statistics for presolved model
|
|
Original problem has 57084 integers (56160 of which binary)
|
|
Presolved problem has 17442 integers (16930 of which binary)
|
|
==== 17174 zero objective 5 different
|
|
17174 variables have objective of 0
|
|
96 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
|
|
17174 variables have objective of 0
|
|
96 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 16982 zero objective 3 different
|
|
16982 variables have objective of 0
|
|
416 variables have objective of 20
|
|
44 variables have objective of 1000
|
|
==== for integers absolute objective values 3 different
|
|
16982 variables have objective of 0
|
|
416 variables have objective of 20
|
|
44 variables have objective of 1000
|
|
===== end objective counts
|
|
|
|
|
|
Problem has 41862 rows, 17778 columns (604 with objective) and 176583 elements
|
|
There are 512 singletons with objective
|
|
Column breakdown:
|
|
804 of type 0.0->inf, 44 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, 16930 of type 0.0->1.0
|
|
Row breakdown:
|
|
2325 of type E 0.0, 520 of type E 1.0, 208 of type E -1.0,
|
|
326 of type E other, 0 of type G 0.0, 52 of type G 1.0,
|
|
107 of type G other, 2270 of type L 0.0, 34501 of type L 1.0,
|
|
1553 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 44560 - 27.12 seconds
|
|
Cgl0002I 38891 variables fixed
|
|
Cgl0003I 0 fixed, 460 tightened bounds, 26152 strengthened rows, 48849 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 3518 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 1397 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 605 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 16 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 5 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 3 strengthened rows, 0 substitutions
|
|
Cgl0004I processed model has 9404 rows, 8703 columns (8367 integer (7864 of which binary)) and 64624 elements
|
|
Cbc0038I Initial state - 446 integers unsatisfied sum - 119.977
|
|
Cbc0038I Pass 1: (35.49 seconds) suminf. 10.30843 (35) obj. 58951.9 iterations 2259
|
|
Cbc0038I Pass 2: (35.50 seconds) suminf. 3.00622 (10) obj. 58889.6 iterations 186
|
|
Cbc0038I Pass 3: (35.52 seconds) suminf. 0.66667 (2) obj. 59258.5 iterations 91
|
|
Cbc0038I Solution found of 59258.5
|
|
Cbc0038I Branch and bound needed to clear up 2 general integers
|
|
Cbc0038I Full problem 9404 rows 8703 columns, reduced to 62 rows 120 columns
|
|
Cbc0038I Mini branch and bound could not fix general integers
|
|
Cbc0038I No solution found this major pass
|
|
Cbc0038I Before mini branch and bound, 7881 integers at bound fixed and 132 continuous of which 42 were internal integer and 0 internal continuous
|
|
Cbc0038I Full problem 9404 rows 8703 columns, reduced to 455 rows 386 columns
|
|
Cbc0038I Mini branch and bound did not improve solution (36.38 seconds)
|
|
Cbc0038I After 36.38 seconds - Feasibility pump exiting - took 1.23 seconds
|
|
Cbc0012I Integer solution of 55029.278 found by DiveCoefficient after 0 iterations and 0 nodes (36.89 seconds)
|
|
Cbc0038I Full problem 9404 rows 8703 columns, reduced to 603 rows 567 columns
|
|
Cbc0012I Integer solution of 51918.015 found by RINS after 0 iterations and 0 nodes (37.47 seconds)
|
|
Cbc0031I 187 added rows had average density of 77.86631
|
|
Cbc0013I At root node, 187 cuts changed objective from 44560 to 44980.528 in 20 passes
|
|
Cbc0014I Cut generator 0 (Probing) - 118 row cuts average 13.6 elements, 1 column cuts (50 active) in 0.705 seconds - new frequency is -100
|
|
Cbc0014I Cut generator 1 (Gomory) - 675 row cuts average 183.0 elements, 0 column cuts (0 active) in 2.686 seconds - new frequency is 1
|
|
Cbc0014I Cut generator 2 (Knapsack) - 24 row cuts average 14.4 elements, 0 column cuts (0 active) in 0.127 seconds - new frequency is -100
|
|
Cbc0014I Cut generator 3 (Clique) - 0 row cuts average 0.0 elements, 0 column cuts (0 active) in 0.100 seconds - new frequency is -100
|
|
Cbc0014I Cut generator 4 (MixedIntegerRounding2) - 1276 row cuts average 48.9 elements, 0 column cuts (0 active) in 0.366 seconds - new frequency is 1
|
|
Cbc0014I Cut generator 5 (FlowCover) - 0 row cuts average 0.0 elements, 0 column cuts (0 active) in 0.096 seconds - new frequency is -100
|
|
Cbc0014I Cut generator 6 (TwoMirCuts) - 944 row cuts average 90.7 elements, 0 column cuts (0 active) in 0.978 seconds - new frequency is 1
|
|
Cbc0010I After 0 nodes, 1 on tree, 51918.015 best solution, best possible 44980.528 (60.08 seconds)
|
|
Cbc0038I Full problem 9404 rows 8703 columns, reduced to 1009 rows 1004 columns
|
|
Cbc0038I Full problem 9404 rows 8703 columns, reduced to 926 rows 930 columns
|
|
Cbc0010I After 100 nodes, 63 on tree, 51918.015 best solution, best possible 44980.528 (136.65 seconds)
|
|
Cbc0038I Full problem 9404 rows 8703 columns, reduced to 1016 rows 1009 columns
|
|
Cbc0010I After 200 nodes, 117 on tree, 51918.015 best solution, best possible 44980.528 (156.62 seconds)
|
|
Cbc0038I Full problem 9404 rows 8703 columns, reduced to 935 rows 959 columns
|
|
Cbc0010I After 300 nodes, 165 on tree, 51918.015 best solution, best possible 44980.528 (179.26 seconds)
|
|
Cbc0038I Full problem 9404 rows 8703 columns, reduced to 821 rows 866 columns
|
|
Cbc0010I After 400 nodes, 218 on tree, 51918.015 best solution, best possible 44980.528 (199.05 seconds)
|
|
Cbc0038I Full problem 9404 rows 8703 columns, reduced to 861 rows 909 columns
|
|
Cbc0010I After 500 nodes, 269 on tree, 51918.015 best solution, best possible 44980.528 (219.81 seconds)
|
|
Cbc0038I Full problem 9404 rows 8703 columns, reduced to 842 rows 881 columns
|
|
Cbc0012I Integer solution of 45266.296 found by RINS after 145821 iterations and 600 nodes (242.28 seconds)
|
|
Cbc0010I After 600 nodes, 313 on tree, 45266.296 best solution, best possible 44980.528 (242.28 seconds)
|
|
Cbc0011I Exiting as integer gap of 285.76789 less than 2000 or 0%%
|
|
Cbc0001I Search completed - best objective 45266.29573234134, took 147113 iterations and 601 nodes (243.50 seconds)
|
|
Cbc0032I Strong branching done 3174 times (148138 iterations), fathomed 0 nodes and fixed 0 variables
|
|
Cbc0035I Maximum depth 116, 3 variables fixed on reduced cost
|
|
Cuts at root node changed objective from 44560 to 44980.5
|
|
Probing was tried 20 times and created 119 cuts of which 49 were active after adding rounds of cuts (0.705 seconds)
|
|
Gomory was tried 305 times and created 736 cuts of which 0 were active after adding rounds of cuts (9.070 seconds)
|
|
Knapsack was tried 20 times and created 24 cuts of which 0 were active after adding rounds of cuts (0.127 seconds)
|
|
Clique was tried 20 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.100 seconds)
|
|
MixedIntegerRounding2 was tried 305 times and created 5890 cuts of which 0 were active after adding rounds of cuts (3.934 seconds)
|
|
FlowCover was tried 20 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.096 seconds)
|
|
TwoMirCuts was tried 305 times and created 2080 cuts of which 0 were active after adding rounds of cuts (3.452 seconds)
|
|
ImplicationCuts was tried 30 times and created 15 cuts of which 0 were active after adding rounds of cuts (0.021 seconds)
|
|
|
|
Result - Optimal solution found (within gap tolerance)
|
|
|
|
Objective value: 45266.29573234
|
|
Lower bound: 44980.528
|
|
Gap: 0.01
|
|
Enumerated nodes: 601
|
|
Total iterations: 147113
|
|
Time (CPU seconds): 244.03
|
|
Time (Wallclock seconds): 244.42
|
|
|
|
Total time (CPU seconds): 246.17 (Wallclock seconds): 246.64
|
|
|
|
|