Files
proc-rota/no nights.log
T
Ross 1d3801c69e .
2021-01-12 20:47:09 +00:00

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