Ross
144 lines
9.8 KiB
Plaintext
144 lines
9.8 KiB
Plaintext
Solver command line: ['/usr/bin/cbc', '-seconds', '10200', '-allow', '2000', '-printingOptions', 'all', '-import', '/tmp/tmpm6w5veoc.pyomo.lp', '-stat=1', '-solve', '-solu', '/tmp/tmpm6w5veoc.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/tmpm6w5veoc.pyomo.lp -stat=1 -solve -solu /tmp/tmpm6w5veoc.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 45 integer bounds and re-presolving
|
|
Presolve 91797 (-157476) rows, 38070 (-156947) columns and 411077 (-1586052) elements
|
|
Statistics for presolved model
|
|
Original problem has 194104 integers (192192 of which binary)
|
|
Presolved problem has 37736 integers (36799 of which binary)
|
|
==== 34972 zero objective 5 different
|
|
34972 variables have objective of 0
|
|
2173 variables have objective of 1
|
|
48 variables have objective of 10
|
|
832 variables have objective of 20
|
|
45 variables have objective of 1000
|
|
==== absolute objective values 5 different
|
|
34972 variables have objective of 0
|
|
2173 variables have objective of 1
|
|
48 variables have objective of 10
|
|
832 variables have objective of 20
|
|
45 variables have objective of 1000
|
|
==== for integers 34782 zero objective 4 different
|
|
34782 variables have objective of 0
|
|
2077 variables have objective of 1
|
|
832 variables have objective of 20
|
|
45 variables have objective of 1000
|
|
==== for integers absolute objective values 4 different
|
|
34782 variables have objective of 0
|
|
2077 variables have objective of 1
|
|
832 variables have objective of 20
|
|
45 variables have objective of 1000
|
|
===== end objective counts
|
|
|
|
|
|
Problem has 91797 rows, 38070 columns (3098 with objective) and 411077 elements
|
|
There are 3003 singletons with objective
|
|
Column breakdown:
|
|
1226 of type 0.0->inf, 45 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, 36799 of type 0.0->1.0
|
|
Row breakdown:
|
|
4203 of type E 0.0, 1352 of type E 1.0, 415 of type E -1.0,
|
|
612 of type E other, 0 of type G 0.0, 104 of type G 1.0,
|
|
147 of type G other, 6233 of type L 0.0, 74257 of type L 1.0,
|
|
4474 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 88705 - 311.62 seconds
|
|
Cgl0002I 146180 variables fixed
|
|
Cgl0003I 0 fixed, 886 tightened bounds, 60816 strengthened rows, 72653 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 12803 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 5063 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 1246 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 124 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 39 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 12 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 11 strengthened rows, 0 substitutions
|
|
Cgl0003I 0 fixed, 0 tightened bounds, 11 strengthened rows, 0 substitutions
|
|
Cgl0004I processed model has 32168 rows, 23613 columns (23279 integer (22357 of which binary)) and 207354 elements
|
|
Cbc0038I Initial state - 2853 integers unsatisfied sum - 812.953
|
|
Cbc0038I Pass 1: (614.50 seconds) suminf. 303.71315 (784) obj. 94457.9 iterations 25547
|
|
Cbc0038I Pass 2: (616.54 seconds) suminf. 246.96572 (624) obj. 94464.9 iterations 5046
|
|
Cbc0038I Pass 3: (617.40 seconds) suminf. 229.71702 (542) obj. 94934.5 iterations 2529
|
|
Cbc0038I Pass 4: (617.60 seconds) suminf. 221.76593 (533) obj. 94952.5 iterations 624
|
|
Cbc0038I Pass 5: (617.66 seconds) suminf. 220.47567 (528) obj. 95079.9 iterations 38
|
|
Cbc0038I Pass 6: (617.74 seconds) suminf. 216.81379 (520) obj. 95225.9 iterations 184
|
|
Cbc0038I Pass 7: (617.78 seconds) suminf. 216.31379 (519) obj. 95226.4 iterations 9
|
|
Cbc0038I Pass 8: (617.83 seconds) suminf. 208.31379 (503) obj. 95234.4 iterations 32
|
|
Cbc0038I Pass 9: (617.88 seconds) suminf. 196.31379 (479) obj. 95246.4 iterations 44
|
|
Cbc0038I Pass 10: (617.93 seconds) suminf. 187.31379 (461) obj. 95255.4 iterations 30
|
|
Cbc0038I Pass 11: (617.98 seconds) suminf. 177.31379 (441) obj. 95265.4 iterations 40
|
|
Cbc0038I Pass 12: (618.03 seconds) suminf. 172.31379 (431) obj. 95270.4 iterations 16
|
|
Cbc0038I Pass 13: (618.08 seconds) suminf. 161.31379 (409) obj. 95281.4 iterations 43
|
|
Cbc0038I Pass 14: (618.12 seconds) suminf. 152.31379 (391) obj. 95290.4 iterations 28
|
|
Cbc0038I Pass 15: (618.17 seconds) suminf. 144.31379 (375) obj. 95298.4 iterations 27
|
|
Cbc0038I Pass 16: (618.22 seconds) suminf. 139.31379 (365) obj. 95303.4 iterations 23
|
|
Cbc0038I Pass 17: (618.27 seconds) suminf. 138.81379 (364) obj. 95303.9 iterations 1
|
|
Cbc0038I Pass 18: (618.32 seconds) suminf. 133.81379 (354) obj. 95308.9 iterations 20
|
|
Cbc0038I Pass 19: (618.37 seconds) suminf. 122.31379 (331) obj. 95316.9 iterations 60
|
|
Cbc0038I Pass 20: (618.42 seconds) suminf. 121.81379 (330) obj. 95317.4 iterations 7
|
|
Cbc0038I Pass 21: (618.51 seconds) suminf. 117.02460 (316) obj. 95348.4 iterations 201
|
|
Cbc0038I Pass 22: (618.57 seconds) suminf. 116.96789 (308) obj. 95347.4 iterations 38
|
|
Cbc0038I Pass 23: (618.79 seconds) suminf. 115.01019 (313) obj. 95358.3 iterations 575
|
|
Cbc0038I Pass 24: (618.88 seconds) suminf. 114.72221 (315) obj. 95351.2 iterations 181
|
|
Cbc0038I Pass 25: (618.93 seconds) suminf. 108.72221 (303) obj. 95357.2 iterations 26
|
|
Cbc0038I Pass 26: (618.98 seconds) suminf. 108.72221 (303) obj. 95357.2 iterations 13
|
|
Cbc0038I Pass 27: (619.03 seconds) suminf. 99.72221 (285) obj. 95366.2 iterations 36
|
|
Cbc0038I Pass 28: (619.07 seconds) suminf. 99.72221 (285) obj. 95366.2 iterations 8
|
|
Cbc0038I Pass 29: (619.13 seconds) suminf. 90.22221 (266) obj. 95375.7 iterations 58
|
|
Cbc0038I Pass 30: (619.18 seconds) suminf. 90.22221 (266) obj. 95375.7 iterations 11
|
|
Cbc0038I No solution found this major pass
|
|
Cbc0038I Before mini branch and bound, 20085 integers at bound fixed and 96 continuous of which 58 were internal integer and 0 internal continuous
|
|
Cbc0038I Mini branch and bound did not improve solution (619.23 seconds)
|
|
Cbc0038I After 619.24 seconds - Feasibility pump exiting - took 27.95 seconds
|
|
Cbc0031I 1749 added rows had average density of 22.426529
|
|
Cbc0013I At root node, 1749 cuts changed objective from 88900 to 89247.95 in 20 passes
|
|
Cbc0014I Cut generator 0 (Probing) - 11218 row cuts average 2.0 elements, 0 column cuts (665 active) in 5.055 seconds - new frequency is 1
|
|
Cbc0014I Cut generator 1 (Gomory) - 7011 row cuts average 41.5 elements, 0 column cuts (0 active) in 33.366 seconds - new frequency is 1
|
|
Cbc0014I Cut generator 2 (Knapsack) - 8333 row cuts average 2.3 elements, 0 column cuts (0 active) in 1.082 seconds - new frequency is 1
|
|
Cbc0014I Cut generator 3 (Clique) - 0 row cuts average 0.0 elements, 0 column cuts (0 active) in 3.225 seconds - new frequency is -100
|
|
Cbc0014I Cut generator 4 (MixedIntegerRounding2) - 4621 row cuts average 19.4 elements, 0 column cuts (0 active) in 1.674 seconds - new frequency is 1
|
|
Cbc0014I Cut generator 5 (FlowCover) - 0 row cuts average 0.0 elements, 0 column cuts (0 active) in 0.253 seconds - new frequency is -100
|
|
Cbc0014I Cut generator 6 (TwoMirCuts) - 6583 row cuts average 23.1 elements, 0 column cuts (0 active) in 28.714 seconds - new frequency is -100
|
|
Cbc0010I After 0 nodes, 1 on tree, 1e+50 best solution, best possible 89247.95 (2119.82 seconds)
|
|
Cbc0010I After 100 nodes, 66 on tree, 1e+50 best solution, best possible 89247.95 (3253.27 seconds)
|
|
Cbc0010I After 200 nodes, 120 on tree, 1e+50 best solution, best possible 89247.95 (4380.79 seconds)
|
|
Cbc0010I After 300 nodes, 171 on tree, 1e+50 best solution, best possible 89247.95 (5166.78 seconds)
|
|
Cbc0010I After 400 nodes, 221 on tree, 1e+50 best solution, best possible 89247.95 (6169.85 seconds)
|
|
Cbc0010I After 500 nodes, 274 on tree, 1e+50 best solution, best possible 89247.95 (7003.81 seconds)
|
|
Cbc0010I After 600 nodes, 323 on tree, 1e+50 best solution, best possible 89247.95 (7792.60 seconds)
|
|
Cbc0010I After 700 nodes, 376 on tree, 1e+50 best solution, best possible 89247.95 (8625.47 seconds)
|
|
Cbc0010I After 800 nodes, 426 on tree, 1e+50 best solution, best possible 89247.95 (9424.74 seconds)
|
|
Cbc0020I Exiting on maximum time
|
|
Cbc0005I Partial search - best objective 1e+50 (best possible 89247.95), took 3002327 iterations and 861 nodes (9924.36 seconds)
|
|
Cbc0032I Strong branching done 18012 times (1649417 iterations), fathomed 0 nodes and fixed 0 variables
|
|
Cbc0035I Maximum depth 151, 0 variables fixed on reduced cost
|
|
Cuts at root node changed objective from 88900 to 89247.9
|
|
Probing was tried 530 times and created 44659 cuts of which 665 were active after adding rounds of cuts (14.113 seconds)
|
|
Gomory was tried 530 times and created 12643 cuts of which 0 were active after adding rounds of cuts (121.794 seconds)
|
|
Knapsack was tried 530 times and created 29869 cuts of which 0 were active after adding rounds of cuts (14.460 seconds)
|
|
Clique was tried 20 times and created 0 cuts of which 0 were active after adding rounds of cuts (3.225 seconds)
|
|
MixedIntegerRounding2 was tried 530 times and created 40532 cuts of which 0 were active after adding rounds of cuts (25.301 seconds)
|
|
FlowCover was tried 20 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.253 seconds)
|
|
TwoMirCuts was tried 20 times and created 6583 cuts of which 0 were active after adding rounds of cuts (28.714 seconds)
|
|
ImplicationCuts was tried 35 times and created 7645 cuts of which 0 were active after adding rounds of cuts (0.112 seconds)
|
|
|
|
Result - Stopped on time limit
|
|
|
|
No feasible solution found
|
|
Lower bound: 89247.950
|
|
Enumerated nodes: 861
|
|
Total iterations: 3002327
|
|
Time (CPU seconds): 9924.39
|
|
Time (Wallclock seconds): 17775.29
|
|
|
|
Total time (CPU seconds): 9933.15 (Wallclock seconds): 17784.41
|
|
|
|
|