CBC example¶
[1]:
from optiwindnet.importer import load_repository
from optiwindnet.svg import svgplot
from optiwindnet.mesh import make_planar_embedding
from optiwindnet.interarraylib import G_from_S
from optiwindnet.heuristics import EW_presolver
from optiwindnet.MILP import solver_factory, ModelOptions
Initialize Walney Extension¶
[2]:
locations = load_repository()
[3]:
L = locations.walneyext
capacity = 5
[4]:
svgplot(L)
[4]:
Optimize Walney Extension¶
[5]:
P, A = make_planar_embedding(L)
Initial heuristic solution to warm-start the solver:
[6]:
Sʹ = EW_presolver(A, capacity=capacity)
Gʹ = G_from_S(Sʹ, A)
svgplot(Gʹ)
[6]:
[7]:
solver = solver_factory('cbc')
[8]:
solver.set_problem(
P, A,
capacity=Sʹ.graph['capacity'],
model_options=ModelOptions(
topology="branched",
feeder_route="segmented",
feeder_limit="unlimited",
),
warmstart=Sʹ,
)
[9]:
solver.solve(
mip_gap=0.005,
time_limit=150,
verbose=True,
)
Welcome to the CBC MILP Solver
Version: 2.10.8
Build Date: Jan 1 1970
command line - C:\Users\s213184\programs\cbc_julia_mingw32_2.10.8\bin\cbc.exe -threads 16 -timeMode elapsed -nodeStrategy downFewest -Dins on -VndVariableNeighborhoodSearch on -Rens on -Rins on -pivotAndComplement off -proximitySearch off -gomoryCuts on -mixedIntegerRoundingCuts on -flowCoverCuts on -cliqueCuts off -twoMirCuts off -knapsackCuts off -probingCuts off -zeroHalfCuts off -liftAndProjectCuts off -residualCapacityCuts off -seconds 150 -ratioGap 0.005 -printingOptions all -import C:\Users\s213184\tmp\tmphmzvahi5.pyomo.lp -mipstart \Users\s213184\tmp\tmpz4j7e2wb.cbc.soln -stat=1 -solve -solu C:\Users\s213184\tmp\tmphmzvahi5.pyomo.soln (default strategy 1)
threads was changed from 0 to 16
Option for timeMode changed from cpu to elapsed
Option for nodeStrategy changed from fewest to downfewest
Option for Dins changed from off to on
Option for VndVariableNeighborhoodSearch changed from off to on
Option for Rens changed from off to on
Option for gomoryCuts changed from ifmove to on
Option for mixedIntegerRoundingCuts changed from ifmove to on
Option for flowCoverCuts changed from ifmove to on
Option for cliqueCuts changed from ifmove to off
Option for twoMirCuts changed from root to off
Option for knapsackCuts changed from ifmove to off
Option for probingCuts changed from on to off
Option for zeroHalfCuts changed from ifmove to off
seconds was changed from 1e+100 to 150
ratioGap was changed from 0 to 0.005
Option for printingOptions changed from normal to all
opening mipstart file \Users\s213184\tmp\tmpz4j7e2wb.cbc.soln.
MIPStart values read for 174 variables.
Presolve 2863 (-1) rows, 1924 (0) columns and 9754 (-962) elements
Statistics for presolved model
Original problem has 1924 integers (962 of which binary)
==== 962 zero objective 569 different
==== absolute objective values 569 different
==== for integers 962 zero objective 569 different
==== for integers absolute objective values 569 different
===== end objective counts
Problem has 2863 rows, 1924 columns (962 with objective) and 9754 elements
Column breakdown:
0 of type 0.0->inf, 962 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, 962 of type 0.0->1.0
Row breakdown:
0 of type E 0.0, 174 of type E 1.0, 0 of type E -1.0,
1 of type E other, 0 of type G 0.0, 0 of type G 1.0,
1 of type G other, 1924 of type L 0.0, 676 of type L 1.0,
87 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 122833 - 0.03 seconds
Cgl0003I 0 fixed, 0 tightened bounds, 328 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 328 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 127 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 68 strengthened rows, 0 substitutions
Cgl0004I processed model has 2599 rows, 1924 columns (1924 integer (962 of which binary)) and 10364 elements
Cbc0045I MIPStart provided solution with cost 138619
Cbc0012I Integer solution of 138618.67 found by Reduced search after 0 iterations and 0 nodes (0.16 seconds)
Cbc0038I Reduced cost fixing fixed 4 variables
Cbc0038I Full problem 2600 rows 1924 columns, reduced to 165 rows 96 columns
Cbc0038I Full problem 2600 rows 1924 columns, reduced to 165 rows 96 columns
Cbc0038I Full problem 2600 rows 1924 columns, reduced to 165 rows 96 columns
Cbc0038I Full problem 2599 rows 1924 columns, reduced to 297 rows 166 columns
Cbc0038I Full problem 2600 rows 1924 columns, reduced to 237 rows 152 columns
Cbc0038I Full problem 2600 rows 1924 columns, reduced to 237 rows 152 columns
Cbc0038I Full problem 2600 rows 1924 columns, reduced to 237 rows 152 columns
Cbc0031I 84 added rows had average density of 90.583333
Cbc0013I At root node, 84 cuts changed objective from 122832.77 to 125850.5 in 20 passes
Cbc0014I Cut generator 0 (Gomory) - 303 row cuts average 248.8 elements, 0 column cuts (0 active) in 0.409 seconds - new frequency is 1
Cbc0014I Cut generator 1 (MixedIntegerRounding2) - 0 row cuts average 0.0 elements, 0 column cuts (0 active) in 0.048 seconds - new frequency is 1000
Cbc0014I Cut generator 2 (FlowCover) - 139 row cuts average 22.6 elements, 0 column cuts (0 active) in 0.029 seconds - new frequency is 1
Cbc0010I After 0 nodes, 1 on tree, 138618.67 best solution, best possible 125850.5 (1.46 seconds)
Cbc0012I Integer solution of 136227.63 found by DiveCoefficient after 2384 iterations and 2 nodes (2.07 seconds)
Cbc0012I Integer solution of 136227.63 found by heuristic after 2299 iterations and 2 nodes (2.07 seconds)
Cbc0012I Integer solution of 135674.66 found by DiveCoefficient after 3230 iterations and 8 nodes (2.81 seconds)
Cbc0012I Integer solution of 135674.66 found by heuristic after 4296 iterations and 14 nodes (3.06 seconds)
Cbc0010I After 100 nodes, 51 on tree, 135674.66 best solution, best possible 126002.66 (4.90 seconds)
Cbc0010I After 200 nodes, 102 on tree, 135674.66 best solution, best possible 126002.66 (5.65 seconds)
Cbc0010I After 300 nodes, 154 on tree, 135674.66 best solution, best possible 126002.66 (6.25 seconds)
Cbc0010I After 400 nodes, 210 on tree, 135674.66 best solution, best possible 126002.66 (6.73 seconds)
Cbc0010I After 500 nodes, 263 on tree, 135674.66 best solution, best possible 126002.66 (7.25 seconds)
Cbc0010I After 600 nodes, 316 on tree, 135674.66 best solution, best possible 126002.66 (7.64 seconds)
Cbc0010I After 700 nodes, 367 on tree, 135674.66 best solution, best possible 126002.66 (7.98 seconds)
Cbc0010I After 800 nodes, 417 on tree, 135674.66 best solution, best possible 126002.66 (8.30 seconds)
Cbc0010I After 900 nodes, 467 on tree, 135674.66 best solution, best possible 126002.66 (8.58 seconds)
Cbc0010I After 1000 nodes, 517 on tree, 135674.66 best solution, best possible 126002.66 (8.80 seconds)
Cbc0010I After 1100 nodes, 569 on tree, 135674.66 best solution, best possible 126002.66 (9.00 seconds)
Cbc0010I After 1200 nodes, 622 on tree, 135674.66 best solution, best possible 126002.66 (9.18 seconds)
Cbc0010I After 1300 nodes, 671 on tree, 135674.66 best solution, best possible 126002.66 (9.32 seconds)
Cbc0010I After 1400 nodes, 722 on tree, 135674.66 best solution, best possible 126002.66 (9.50 seconds)
Cbc0010I After 1500 nodes, 771 on tree, 135674.66 best solution, best possible 126002.66 (9.63 seconds)
Cbc0010I After 1600 nodes, 822 on tree, 135674.66 best solution, best possible 126002.66 (9.77 seconds)
Cbc0010I After 1700 nodes, 874 on tree, 135674.66 best solution, best possible 126002.66 (9.88 seconds)
Cbc0010I After 1800 nodes, 923 on tree, 135674.66 best solution, best possible 126002.66 (9.99 seconds)
Cbc0010I After 1900 nodes, 973 on tree, 135674.66 best solution, best possible 126002.66 (10.10 seconds)
Cbc0010I After 2000 nodes, 1023 on tree, 135674.66 best solution, best possible 126002.66 (10.22 seconds)
Cbc0012I Integer solution of 134733.42 found by heuristic after 106862 iterations and 2065 nodes (10.29 seconds)
Cbc0010I After 2100 nodes, 1063 on tree, 134733.42 best solution, best possible 126002.66 (10.32 seconds)
Cbc0010I After 2200 nodes, 1110 on tree, 134733.42 best solution, best possible 126002.66 (10.42 seconds)
Cbc0010I After 2300 nodes, 1161 on tree, 134733.42 best solution, best possible 126002.66 (10.50 seconds)
Cbc0010I After 2400 nodes, 1206 on tree, 134733.42 best solution, best possible 126002.66 (10.61 seconds)
Cbc0010I After 2500 nodes, 1259 on tree, 134733.42 best solution, best possible 126002.66 (10.70 seconds)
Cbc0010I After 2600 nodes, 1307 on tree, 134733.42 best solution, best possible 126002.66 (10.78 seconds)
Cbc0010I After 2700 nodes, 1354 on tree, 134733.42 best solution, best possible 126002.66 (10.87 seconds)
Cbc0010I After 2800 nodes, 1404 on tree, 134733.42 best solution, best possible 126002.66 (10.97 seconds)
Cbc0010I After 2900 nodes, 1455 on tree, 134733.42 best solution, best possible 126002.66 (11.05 seconds)
Cbc0010I After 3000 nodes, 1501 on tree, 134733.42 best solution, best possible 126002.66 (11.13 seconds)
Cbc0010I After 3100 nodes, 1549 on tree, 134733.42 best solution, best possible 126002.66 (11.23 seconds)
Cbc0010I After 3200 nodes, 1600 on tree, 134733.42 best solution, best possible 126002.66 (11.31 seconds)
Cbc0010I After 3300 nodes, 1653 on tree, 134733.42 best solution, best possible 126002.66 (11.38 seconds)
Cbc0010I After 3400 nodes, 1698 on tree, 134733.42 best solution, best possible 126002.66 (11.46 seconds)
Cbc0010I After 3500 nodes, 1748 on tree, 134733.42 best solution, best possible 126002.66 (11.53 seconds)
Cbc0010I After 3600 nodes, 1799 on tree, 134733.42 best solution, best possible 126002.66 (11.61 seconds)
Cbc0010I After 3700 nodes, 1848 on tree, 134733.42 best solution, best possible 126002.66 (11.70 seconds)
Cbc0010I After 3800 nodes, 1898 on tree, 134733.42 best solution, best possible 126002.66 (11.78 seconds)
Cbc0010I After 3900 nodes, 1943 on tree, 134733.42 best solution, best possible 126002.66 (11.88 seconds)
Cbc0012I Integer solution of 134601.18 found by heuristic after 198469 iterations and 3995 nodes (11.97 seconds)
Cbc0010I After 4000 nodes, 1980 on tree, 134601.18 best solution, best possible 126002.66 (11.97 seconds)
Cbc0010I After 4100 nodes, 2032 on tree, 134601.18 best solution, best possible 126002.66 (12.06 seconds)
Cbc0010I After 4200 nodes, 2078 on tree, 134601.18 best solution, best possible 126002.66 (12.14 seconds)
Cbc0010I After 4300 nodes, 2126 on tree, 134601.18 best solution, best possible 126002.66 (12.23 seconds)
Cbc0012I Integer solution of 131874.63 found by heuristic after 216749 iterations and 4398 nodes (12.31 seconds)
Cbc0010I After 4400 nodes, 1237 on tree, 131874.63 best solution, best possible 126002.66 (12.33 seconds)
Cbc0010I After 4500 nodes, 1279 on tree, 131874.63 best solution, best possible 126002.66 (12.53 seconds)
Cbc0010I After 4600 nodes, 1334 on tree, 131874.63 best solution, best possible 126002.66 (12.75 seconds)
Cbc0010I After 4700 nodes, 1381 on tree, 131874.63 best solution, best possible 126002.66 (13.01 seconds)
Cbc0010I After 4800 nodes, 1433 on tree, 131874.63 best solution, best possible 126002.66 (13.18 seconds)
Cbc0010I After 4900 nodes, 1483 on tree, 131874.63 best solution, best possible 126002.66 (13.36 seconds)
Cbc0010I After 5000 nodes, 1537 on tree, 131874.63 best solution, best possible 126002.66 (13.50 seconds)
Cbc0010I After 5100 nodes, 1583 on tree, 131874.63 best solution, best possible 126002.66 (13.65 seconds)
Cbc0010I After 5200 nodes, 1634 on tree, 131874.63 best solution, best possible 126002.66 (13.82 seconds)
Cbc0010I After 5300 nodes, 1683 on tree, 131874.63 best solution, best possible 126002.66 (13.95 seconds)
Cbc0010I After 5400 nodes, 1732 on tree, 131874.63 best solution, best possible 126002.66 (14.08 seconds)
Cbc0010I After 5500 nodes, 1777 on tree, 131874.63 best solution, best possible 126002.66 (14.21 seconds)
Cbc0010I After 5600 nodes, 1824 on tree, 131874.63 best solution, best possible 126002.66 (14.35 seconds)
Cbc0010I After 5700 nodes, 1875 on tree, 131874.63 best solution, best possible 126002.66 (14.49 seconds)
Cbc0010I After 5800 nodes, 1925 on tree, 131874.63 best solution, best possible 126002.66 (14.62 seconds)
Cbc0010I After 5900 nodes, 1974 on tree, 131874.63 best solution, best possible 126002.66 (14.75 seconds)
Cbc0010I After 6000 nodes, 2025 on tree, 131874.63 best solution, best possible 126002.66 (14.88 seconds)
Cbc0010I After 6100 nodes, 2077 on tree, 131874.63 best solution, best possible 126002.66 (15.01 seconds)
Cbc0010I After 6200 nodes, 2122 on tree, 131874.63 best solution, best possible 126002.66 (15.15 seconds)
Cbc0010I After 6300 nodes, 2170 on tree, 131874.63 best solution, best possible 126002.66 (15.28 seconds)
Cbc0010I After 6400 nodes, 2220 on tree, 131874.63 best solution, best possible 126002.66 (15.42 seconds)
Cbc0010I After 6500 nodes, 2268 on tree, 131874.63 best solution, best possible 126002.66 (15.56 seconds)
Cbc0010I After 6600 nodes, 2324 on tree, 131874.63 best solution, best possible 126002.66 (15.68 seconds)
Cbc0010I After 6700 nodes, 2369 on tree, 131874.63 best solution, best possible 126002.66 (15.83 seconds)
Cbc0010I After 6800 nodes, 2422 on tree, 131874.63 best solution, best possible 126002.66 (15.97 seconds)
Cbc0010I After 6900 nodes, 2470 on tree, 131874.63 best solution, best possible 126002.66 (16.11 seconds)
Cbc0010I After 7000 nodes, 2515 on tree, 131874.63 best solution, best possible 126002.66 (16.22 seconds)
Cbc0010I After 7100 nodes, 2569 on tree, 131874.63 best solution, best possible 126002.66 (16.34 seconds)
Cbc0010I After 7200 nodes, 2614 on tree, 131874.63 best solution, best possible 126002.66 (16.45 seconds)
Cbc0010I After 7300 nodes, 2666 on tree, 131874.63 best solution, best possible 126002.66 (16.58 seconds)
Cbc0010I After 7400 nodes, 2714 on tree, 131874.63 best solution, best possible 126002.66 (16.69 seconds)
Cbc0010I After 7500 nodes, 2760 on tree, 131874.63 best solution, best possible 126002.66 (16.82 seconds)
Cbc0010I After 7600 nodes, 2805 on tree, 131874.63 best solution, best possible 126002.66 (16.97 seconds)
Cbc0010I After 7700 nodes, 2853 on tree, 131874.63 best solution, best possible 126002.66 (17.08 seconds)
Cbc0010I After 7800 nodes, 2901 on tree, 131874.63 best solution, best possible 126002.66 (17.19 seconds)
Cbc0010I After 7900 nodes, 2952 on tree, 131874.63 best solution, best possible 126002.66 (17.32 seconds)
Cbc0010I After 8000 nodes, 3003 on tree, 131874.63 best solution, best possible 126002.66 (17.44 seconds)
Cbc0010I After 8100 nodes, 3053 on tree, 131874.63 best solution, best possible 126002.66 (17.56 seconds)
Cbc0010I After 8200 nodes, 3102 on tree, 131874.63 best solution, best possible 126002.66 (17.66 seconds)
Cbc0010I After 8300 nodes, 3151 on tree, 131874.63 best solution, best possible 126002.66 (17.76 seconds)
Cbc0010I After 8400 nodes, 3202 on tree, 131874.63 best solution, best possible 126002.66 (17.87 seconds)
Cbc0010I After 8500 nodes, 3247 on tree, 131874.63 best solution, best possible 126002.66 (18.04 seconds)
Cbc0010I After 8600 nodes, 3293 on tree, 131874.63 best solution, best possible 126002.66 (18.20 seconds)
Cbc0010I After 8700 nodes, 3337 on tree, 131874.63 best solution, best possible 126002.66 (18.33 seconds)
Cbc0010I After 8800 nodes, 3374 on tree, 131874.63 best solution, best possible 126002.66 (18.43 seconds)
Cbc0010I After 8900 nodes, 3416 on tree, 131874.63 best solution, best possible 126002.66 (18.56 seconds)
Cbc0010I After 9000 nodes, 3464 on tree, 131874.63 best solution, best possible 126002.66 (18.69 seconds)
Cbc0010I After 9100 nodes, 3516 on tree, 131874.63 best solution, best possible 126002.66 (18.81 seconds)
Cbc0010I After 9200 nodes, 3565 on tree, 131874.63 best solution, best possible 126002.66 (18.94 seconds)
Cbc0010I After 9300 nodes, 3615 on tree, 131874.63 best solution, best possible 126002.66 (19.06 seconds)
Cbc0010I After 9400 nodes, 3662 on tree, 131874.63 best solution, best possible 126002.66 (19.16 seconds)
Cbc0010I After 9500 nodes, 3711 on tree, 131874.63 best solution, best possible 126002.66 (19.32 seconds)
Cbc0010I After 9600 nodes, 3760 on tree, 131874.63 best solution, best possible 126002.66 (19.47 seconds)
Cbc0010I After 9700 nodes, 3810 on tree, 131874.63 best solution, best possible 126002.66 (19.57 seconds)
Cbc0010I After 9800 nodes, 3860 on tree, 131874.63 best solution, best possible 126002.66 (19.68 seconds)
Cbc0010I After 9900 nodes, 3908 on tree, 131874.63 best solution, best possible 126002.66 (19.81 seconds)
Cbc0010I After 10000 nodes, 3957 on tree, 131874.63 best solution, best possible 126002.66 (19.93 seconds)
Cbc0010I After 10100 nodes, 4009 on tree, 131874.63 best solution, best possible 126002.66 (20.05 seconds)
Cbc0010I After 10200 nodes, 4054 on tree, 131874.63 best solution, best possible 126002.66 (20.17 seconds)
Cbc0010I After 10300 nodes, 4102 on tree, 131874.63 best solution, best possible 126002.66 (20.28 seconds)
Cbc0010I After 10400 nodes, 4150 on tree, 131874.63 best solution, best possible 126002.66 (20.39 seconds)
Cbc0010I After 10500 nodes, 4201 on tree, 131874.63 best solution, best possible 126002.66 (20.54 seconds)
Cbc0010I After 10600 nodes, 4252 on tree, 131874.63 best solution, best possible 126002.66 (20.68 seconds)
Cbc0010I After 10700 nodes, 4301 on tree, 131874.63 best solution, best possible 126002.66 (20.79 seconds)
Cbc0010I After 10800 nodes, 4349 on tree, 131874.63 best solution, best possible 126002.66 (20.90 seconds)
Cbc0010I After 10900 nodes, 4397 on tree, 131874.63 best solution, best possible 126002.66 (21.03 seconds)
Cbc0010I After 11000 nodes, 4448 on tree, 131874.63 best solution, best possible 126002.66 (21.17 seconds)
Cbc0010I After 11100 nodes, 4498 on tree, 131874.63 best solution, best possible 126093.11 (22.49 seconds)
Cbc0010I After 11200 nodes, 4551 on tree, 131874.63 best solution, best possible 126179.38 (23.07 seconds)
Cbc0010I After 11300 nodes, 4600 on tree, 131874.63 best solution, best possible 126280.1 (23.49 seconds)
Cbc0010I After 11400 nodes, 4646 on tree, 131874.63 best solution, best possible 126333.93 (23.77 seconds)
Cbc0010I After 11500 nodes, 4698 on tree, 131874.63 best solution, best possible 126375.12 (24.11 seconds)
Cbc0010I After 11600 nodes, 4748 on tree, 131874.63 best solution, best possible 126596.24 (24.44 seconds)
Cbc0010I After 11700 nodes, 4795 on tree, 131874.63 best solution, best possible 126641.49 (24.71 seconds)
Cbc0010I After 11800 nodes, 4846 on tree, 131874.63 best solution, best possible 126661.76 (25.08 seconds)
Cbc0010I After 11900 nodes, 4895 on tree, 131874.63 best solution, best possible 126706.3 (25.40 seconds)
Cbc0010I After 12000 nodes, 4943 on tree, 131874.63 best solution, best possible 126709.55 (25.86 seconds)
Cbc0010I After 12100 nodes, 4994 on tree, 131874.63 best solution, best possible 126735.65 (26.23 seconds)
Cbc0010I After 12200 nodes, 5040 on tree, 131874.63 best solution, best possible 126735.65 (26.54 seconds)
Cbc0010I After 12300 nodes, 5090 on tree, 131874.63 best solution, best possible 126814.55 (26.94 seconds)
Cbc0010I After 12400 nodes, 5140 on tree, 131874.63 best solution, best possible 126854.29 (27.26 seconds)
Cbc0010I After 12500 nodes, 5188 on tree, 131874.63 best solution, best possible 126874.96 (27.59 seconds)
Cbc0010I After 12600 nodes, 5239 on tree, 131874.63 best solution, best possible 126878.87 (27.83 seconds)
Cbc0010I After 12700 nodes, 5289 on tree, 131874.63 best solution, best possible 126878.87 (28.06 seconds)
Cbc0010I After 12800 nodes, 5336 on tree, 131874.63 best solution, best possible 126915.54 (28.31 seconds)
Cbc0010I After 12900 nodes, 5388 on tree, 131874.63 best solution, best possible 126933.48 (28.56 seconds)
Cbc0010I After 13000 nodes, 5438 on tree, 131874.63 best solution, best possible 126947.71 (28.81 seconds)
Cbc0010I After 13100 nodes, 5493 on tree, 131874.63 best solution, best possible 126962.13 (29.06 seconds)
Cbc0010I After 13200 nodes, 5539 on tree, 131874.63 best solution, best possible 126962.13 (29.31 seconds)
Cbc0010I After 13300 nodes, 5587 on tree, 131874.63 best solution, best possible 126962.13 (29.54 seconds)
Cbc0010I After 13400 nodes, 5638 on tree, 131874.63 best solution, best possible 126962.13 (29.78 seconds)
Cbc0010I After 13500 nodes, 5686 on tree, 131874.63 best solution, best possible 126962.13 (29.97 seconds)
Cbc0010I After 13600 nodes, 5735 on tree, 131874.63 best solution, best possible 126962.13 (30.16 seconds)
Cbc0010I After 13700 nodes, 5785 on tree, 131874.63 best solution, best possible 126962.13 (30.38 seconds)
Cbc0010I After 13800 nodes, 5839 on tree, 131874.63 best solution, best possible 126962.13 (30.60 seconds)
Cbc0010I After 13900 nodes, 5887 on tree, 131874.63 best solution, best possible 126962.13 (30.80 seconds)
Cbc0010I After 14000 nodes, 5939 on tree, 131874.63 best solution, best possible 126962.13 (31.00 seconds)
Cbc0010I After 14100 nodes, 5989 on tree, 131874.63 best solution, best possible 126966.7 (31.35 seconds)
Cbc0010I After 14200 nodes, 6040 on tree, 131874.63 best solution, best possible 126971.63 (31.66 seconds)
Cbc0010I After 14300 nodes, 6091 on tree, 131874.63 best solution, best possible 126991.62 (31.94 seconds)
Cbc0010I After 14400 nodes, 6140 on tree, 131874.63 best solution, best possible 127010.42 (32.25 seconds)
Cbc0010I After 14500 nodes, 6191 on tree, 131874.63 best solution, best possible 127013.04 (32.58 seconds)
Cbc0010I After 14600 nodes, 6240 on tree, 131874.63 best solution, best possible 127013.04 (32.92 seconds)
Cbc0010I After 14700 nodes, 6290 on tree, 131874.63 best solution, best possible 127036.43 (33.20 seconds)
Cbc0010I After 14800 nodes, 6339 on tree, 131874.63 best solution, best possible 127052.2 (33.50 seconds)
Cbc0010I After 14900 nodes, 6390 on tree, 131874.63 best solution, best possible 127052.2 (33.79 seconds)
Cbc0010I After 15000 nodes, 6439 on tree, 131874.63 best solution, best possible 127065.52 (34.08 seconds)
Cbc0010I After 15100 nodes, 6490 on tree, 131874.63 best solution, best possible 127065.52 (34.31 seconds)
Cbc0010I After 15200 nodes, 6539 on tree, 131874.63 best solution, best possible 127084.97 (34.57 seconds)
Cbc0010I After 15300 nodes, 6588 on tree, 131874.63 best solution, best possible 127097.25 (34.82 seconds)
Cbc0010I After 15400 nodes, 6639 on tree, 131874.63 best solution, best possible 127104.93 (35.14 seconds)
Cbc0010I After 15500 nodes, 6687 on tree, 131874.63 best solution, best possible 127110.55 (35.42 seconds)
Cbc0010I After 15600 nodes, 6739 on tree, 131874.63 best solution, best possible 127120.86 (35.73 seconds)
Cbc0010I After 15700 nodes, 6789 on tree, 131874.63 best solution, best possible 127126.58 (36.08 seconds)
Cbc0010I After 15800 nodes, 6839 on tree, 131874.63 best solution, best possible 127130.57 (36.40 seconds)
Cbc0010I After 15900 nodes, 6887 on tree, 131874.63 best solution, best possible 127138.23 (36.68 seconds)
Cbc0010I After 16000 nodes, 6938 on tree, 131874.63 best solution, best possible 127142.83 (37.10 seconds)
Cbc0010I After 16100 nodes, 6987 on tree, 131874.63 best solution, best possible 127146.27 (37.48 seconds)
Cbc0010I After 16200 nodes, 7038 on tree, 131874.63 best solution, best possible 127159.62 (37.82 seconds)
Cbc0010I After 16300 nodes, 7088 on tree, 131874.63 best solution, best possible 127159.62 (38.16 seconds)
Cbc0010I After 16400 nodes, 7138 on tree, 131874.63 best solution, best possible 127167.69 (38.49 seconds)
Cbc0010I After 16500 nodes, 7186 on tree, 131874.63 best solution, best possible 127176.76 (38.80 seconds)
Cbc0010I After 16600 nodes, 7239 on tree, 131874.63 best solution, best possible 127177.21 (39.14 seconds)
Cbc0010I After 16700 nodes, 7288 on tree, 131874.63 best solution, best possible 127185.77 (39.47 seconds)
Cbc0010I After 16800 nodes, 7338 on tree, 131874.63 best solution, best possible 127190.24 (39.79 seconds)
Cbc0010I After 16900 nodes, 7388 on tree, 131874.63 best solution, best possible 127199.24 (40.11 seconds)
Cbc0010I After 17000 nodes, 7435 on tree, 131874.63 best solution, best possible 127204.74 (40.42 seconds)
Cbc0010I After 17100 nodes, 7487 on tree, 131874.63 best solution, best possible 127204.74 (40.84 seconds)
Cbc0010I After 17200 nodes, 7539 on tree, 131874.63 best solution, best possible 127204.74 (41.21 seconds)
Cbc0010I After 17300 nodes, 7587 on tree, 131874.63 best solution, best possible 127204.74 (41.50 seconds)
Cbc0010I After 17400 nodes, 7637 on tree, 131874.63 best solution, best possible 127204.74 (41.79 seconds)
Cbc0010I After 17500 nodes, 7686 on tree, 131874.63 best solution, best possible 127204.74 (42.09 seconds)
Cbc0010I After 17600 nodes, 7732 on tree, 131874.63 best solution, best possible 127204.74 (42.38 seconds)
Cbc0010I After 17700 nodes, 7789 on tree, 131874.63 best solution, best possible 127204.74 (42.66 seconds)
Cbc0010I After 17800 nodes, 7838 on tree, 131874.63 best solution, best possible 127204.74 (43.09 seconds)
Cbc0010I After 17900 nodes, 7884 on tree, 131874.63 best solution, best possible 127204.74 (43.45 seconds)
Cbc0010I After 18000 nodes, 7933 on tree, 131874.63 best solution, best possible 127204.74 (43.85 seconds)
Cbc0010I After 18100 nodes, 7980 on tree, 131874.63 best solution, best possible 127206.24 (44.35 seconds)
Cbc0010I After 18200 nodes, 8029 on tree, 131874.63 best solution, best possible 127216.04 (44.86 seconds)
Cbc0010I After 18300 nodes, 8079 on tree, 131874.63 best solution, best possible 127218.33 (45.37 seconds)
Cbc0010I After 18400 nodes, 8128 on tree, 131874.63 best solution, best possible 127222.99 (45.82 seconds)
Cbc0010I After 18500 nodes, 8178 on tree, 131874.63 best solution, best possible 127230.82 (46.19 seconds)
Cbc0010I After 18600 nodes, 8228 on tree, 131874.63 best solution, best possible 127230.82 (46.57 seconds)
Cbc0010I After 18700 nodes, 8279 on tree, 131874.63 best solution, best possible 127237 (47.01 seconds)
Cbc0010I After 18800 nodes, 8328 on tree, 131874.63 best solution, best possible 127241.58 (47.39 seconds)
Cbc0010I After 18900 nodes, 8375 on tree, 131874.63 best solution, best possible 127247.83 (47.73 seconds)
Cbc0010I After 19000 nodes, 8427 on tree, 131874.63 best solution, best possible 127249.81 (48.16 seconds)
Cbc0010I After 19100 nodes, 8478 on tree, 131874.63 best solution, best possible 127249.89 (48.66 seconds)
Cbc0010I After 19200 nodes, 8528 on tree, 131874.63 best solution, best possible 127258.31 (49.09 seconds)
Cbc0010I After 19300 nodes, 8578 on tree, 131874.63 best solution, best possible 127263.44 (49.59 seconds)
Cbc0010I After 19400 nodes, 8628 on tree, 131874.63 best solution, best possible 127264.31 (49.97 seconds)
Cbc0010I After 19500 nodes, 8678 on tree, 131874.63 best solution, best possible 127270.56 (50.45 seconds)
Cbc0010I After 19600 nodes, 8728 on tree, 131874.63 best solution, best possible 127273.04 (50.90 seconds)
Cbc0010I After 19700 nodes, 8778 on tree, 131874.63 best solution, best possible 127276.38 (51.38 seconds)
Cbc0010I After 19800 nodes, 8827 on tree, 131874.63 best solution, best possible 127281.28 (51.90 seconds)
Cbc0010I After 19900 nodes, 8875 on tree, 131874.63 best solution, best possible 127283.86 (52.41 seconds)
Cbc0010I After 20000 nodes, 8924 on tree, 131874.63 best solution, best possible 127284.56 (52.80 seconds)
Cbc0010I After 20100 nodes, 8975 on tree, 131874.63 best solution, best possible 127292.2 (53.30 seconds)
Cbc0010I After 20200 nodes, 9022 on tree, 131874.63 best solution, best possible 127295.71 (53.87 seconds)
Cbc0010I After 20300 nodes, 9073 on tree, 131874.63 best solution, best possible 127298.87 (54.33 seconds)
Cbc0010I After 20400 nodes, 9124 on tree, 131874.63 best solution, best possible 127301.59 (54.77 seconds)
Cbc0010I After 20500 nodes, 9175 on tree, 131874.63 best solution, best possible 127303.59 (55.27 seconds)
Cbc0010I After 20600 nodes, 9225 on tree, 131874.63 best solution, best possible 127308.71 (55.86 seconds)
Cbc0010I After 20700 nodes, 9275 on tree, 131874.63 best solution, best possible 127313.68 (56.33 seconds)
Cbc0010I After 20800 nodes, 9322 on tree, 131874.63 best solution, best possible 127314.97 (56.82 seconds)
Cbc0010I After 20900 nodes, 9373 on tree, 131874.63 best solution, best possible 127319.12 (57.26 seconds)
Cbc0010I After 21000 nodes, 9422 on tree, 131874.63 best solution, best possible 127322.03 (57.70 seconds)
Cbc0010I After 21100 nodes, 9476 on tree, 131874.63 best solution, best possible 127322.73 (58.15 seconds)
Cbc0010I After 21200 nodes, 9525 on tree, 131874.63 best solution, best possible 127322.73 (58.62 seconds)
Cbc0010I After 21300 nodes, 9573 on tree, 131874.63 best solution, best possible 127322.73 (59.09 seconds)
Cbc0010I After 21400 nodes, 9625 on tree, 131874.63 best solution, best possible 127322.73 (59.62 seconds)
Cbc0010I After 21500 nodes, 9672 on tree, 131874.63 best solution, best possible 127322.73 (60.07 seconds)
Cbc0010I After 21600 nodes, 9724 on tree, 131874.63 best solution, best possible 127322.73 (60.48 seconds)
Cbc0010I After 21700 nodes, 9770 on tree, 131874.63 best solution, best possible 127322.73 (60.97 seconds)
Cbc0010I After 21800 nodes, 9821 on tree, 131874.63 best solution, best possible 127322.73 (61.45 seconds)
Cbc0010I After 21900 nodes, 9867 on tree, 131874.63 best solution, best possible 127322.73 (61.87 seconds)
Cbc0010I After 22000 nodes, 9918 on tree, 131874.63 best solution, best possible 127322.73 (62.33 seconds)
Cbc0010I After 22100 nodes, 9966 on tree, 131874.63 best solution, best possible 127323.97 (62.90 seconds)
Cbc0010I After 22200 nodes, 10016 on tree, 131874.63 best solution, best possible 127325.49 (63.46 seconds)
Cbc0010I After 22300 nodes, 10065 on tree, 131874.63 best solution, best possible 127329.26 (63.93 seconds)
Cbc0010I After 22400 nodes, 10114 on tree, 131874.63 best solution, best possible 127333.93 (64.35 seconds)
Cbc0010I After 22500 nodes, 10163 on tree, 131874.63 best solution, best possible 127337.92 (64.78 seconds)
Cbc0010I After 22600 nodes, 10212 on tree, 131874.63 best solution, best possible 127338.96 (65.30 seconds)
Cbc0010I After 22700 nodes, 10262 on tree, 131874.63 best solution, best possible 127342.67 (65.72 seconds)
Cbc0010I After 22800 nodes, 10311 on tree, 131874.63 best solution, best possible 127346.41 (66.12 seconds)
Cbc0010I After 22900 nodes, 10361 on tree, 131874.63 best solution, best possible 127349.32 (66.54 seconds)
Cbc0010I After 23000 nodes, 10411 on tree, 131874.63 best solution, best possible 127352.02 (66.97 seconds)
Cbc0010I After 23100 nodes, 10464 on tree, 131874.63 best solution, best possible 127353.96 (67.38 seconds)
Cbc0012I Integer solution of 129552.74 found by heuristic after 1539130 iterations and 23102 nodes (67.40 seconds)
Cbc0010I After 23200 nodes, 6425 on tree, 129552.74 best solution, best possible 127353.96 (68.01 seconds)
Cbc0010I After 23300 nodes, 6478 on tree, 129552.74 best solution, best possible 127353.96 (68.54 seconds)
Cbc0010I After 23400 nodes, 6524 on tree, 129552.74 best solution, best possible 127353.96 (69.08 seconds)
Cbc0010I After 23500 nodes, 6572 on tree, 129552.74 best solution, best possible 127353.96 (69.67 seconds)
Cbc0010I After 23600 nodes, 6620 on tree, 129552.74 best solution, best possible 127353.96 (70.25 seconds)
Cbc0010I After 23700 nodes, 6672 on tree, 129552.74 best solution, best possible 127353.96 (70.95 seconds)
Cbc0010I After 23800 nodes, 6724 on tree, 129552.74 best solution, best possible 127353.96 (71.62 seconds)
Cbc0010I After 23900 nodes, 6770 on tree, 129552.74 best solution, best possible 127353.96 (72.29 seconds)
Cbc0010I After 24000 nodes, 6815 on tree, 129552.74 best solution, best possible 127353.96 (72.92 seconds)
Cbc0010I After 24100 nodes, 6870 on tree, 129552.74 best solution, best possible 127356.21 (73.61 seconds)
Cbc0010I After 24200 nodes, 6918 on tree, 129552.74 best solution, best possible 127358.8 (74.26 seconds)
Cbc0010I After 24300 nodes, 6964 on tree, 129552.74 best solution, best possible 127360.18 (74.78 seconds)
Cbc0010I After 24400 nodes, 7012 on tree, 129552.74 best solution, best possible 127364.34 (75.46 seconds)
Cbc0010I After 24500 nodes, 7060 on tree, 129552.74 best solution, best possible 127368.54 (75.93 seconds)
Cbc0010I After 24600 nodes, 7110 on tree, 129552.74 best solution, best possible 127371.61 (76.36 seconds)
Cbc0010I After 24700 nodes, 7154 on tree, 129552.74 best solution, best possible 127373.74 (76.78 seconds)
Cbc0010I After 24800 nodes, 7202 on tree, 129552.74 best solution, best possible 127376.48 (77.31 seconds)
Cbc0010I After 24900 nodes, 7253 on tree, 129552.74 best solution, best possible 127379.65 (77.86 seconds)
Cbc0010I After 25000 nodes, 7299 on tree, 129552.74 best solution, best possible 127381.39 (78.34 seconds)
Cbc0010I After 25100 nodes, 7348 on tree, 129552.74 best solution, best possible 127384.42 (78.80 seconds)
Cbc0010I After 25200 nodes, 7397 on tree, 129552.74 best solution, best possible 127384.42 (79.26 seconds)
Cbc0010I After 25300 nodes, 7447 on tree, 129552.74 best solution, best possible 127384.42 (79.77 seconds)
Cbc0010I After 25400 nodes, 7498 on tree, 129552.74 best solution, best possible 127384.42 (80.20 seconds)
Cbc0010I After 25500 nodes, 7547 on tree, 129552.74 best solution, best possible 127384.42 (80.70 seconds)
Cbc0010I After 25600 nodes, 7595 on tree, 129552.74 best solution, best possible 127384.42 (81.22 seconds)
Cbc0010I After 25700 nodes, 7640 on tree, 129552.74 best solution, best possible 127384.42 (81.77 seconds)
Cbc0010I After 25800 nodes, 7687 on tree, 129552.74 best solution, best possible 127384.42 (82.36 seconds)
Cbc0010I After 25900 nodes, 7733 on tree, 129552.74 best solution, best possible 127384.42 (83.04 seconds)
Cbc0010I After 26000 nodes, 7780 on tree, 129552.74 best solution, best possible 127384.42 (83.57 seconds)
Cbc0010I After 26100 nodes, 7825 on tree, 129552.74 best solution, best possible 127386.6 (84.25 seconds)
Cbc0010I After 26200 nodes, 7874 on tree, 129552.74 best solution, best possible 127387.63 (84.83 seconds)
Cbc0010I After 26300 nodes, 7921 on tree, 129552.74 best solution, best possible 127391.9 (85.43 seconds)
Cbc0010I After 26400 nodes, 7968 on tree, 129552.74 best solution, best possible 127394.18 (85.86 seconds)
Cbc0010I After 26500 nodes, 8019 on tree, 129552.74 best solution, best possible 127397.72 (86.34 seconds)
Cbc0010I After 26600 nodes, 8070 on tree, 129552.74 best solution, best possible 127399.11 (86.76 seconds)
Cbc0010I After 26700 nodes, 8116 on tree, 129552.74 best solution, best possible 127402.99 (87.20 seconds)
Cbc0010I After 26800 nodes, 8164 on tree, 129552.74 best solution, best possible 127404.86 (87.70 seconds)
Cbc0010I After 26900 nodes, 8213 on tree, 129552.74 best solution, best possible 127408.86 (88.09 seconds)
Cbc0010I After 27000 nodes, 8260 on tree, 129552.74 best solution, best possible 127410.75 (88.50 seconds)
Cbc0010I After 27100 nodes, 8310 on tree, 129552.74 best solution, best possible 127412.03 (88.88 seconds)
Cbc0010I After 27200 nodes, 8355 on tree, 129552.74 best solution, best possible 127415.82 (89.28 seconds)
Cbc0010I After 27300 nodes, 8403 on tree, 129552.74 best solution, best possible 127418.41 (89.69 seconds)
Cbc0010I After 27400 nodes, 8453 on tree, 129552.74 best solution, best possible 127420.53 (90.12 seconds)
Cbc0010I After 27500 nodes, 8499 on tree, 129552.74 best solution, best possible 127423.16 (90.48 seconds)
Cbc0010I After 27600 nodes, 8550 on tree, 129552.74 best solution, best possible 127426.42 (91.03 seconds)
Cbc0010I After 27700 nodes, 8596 on tree, 129552.74 best solution, best possible 127427.11 (91.50 seconds)
Cbc0010I After 27800 nodes, 8646 on tree, 129552.74 best solution, best possible 127430.66 (92.06 seconds)
Cbc0010I After 27900 nodes, 8696 on tree, 129552.74 best solution, best possible 127431.85 (92.59 seconds)
Cbc0010I After 28000 nodes, 8745 on tree, 129552.74 best solution, best possible 127431.85 (93.11 seconds)
Cbc0010I After 28100 nodes, 8795 on tree, 129552.74 best solution, best possible 127436.38 (93.60 seconds)
Cbc0010I After 28200 nodes, 8842 on tree, 129552.74 best solution, best possible 127440.22 (94.18 seconds)
Cbc0010I After 28300 nodes, 8892 on tree, 129552.74 best solution, best possible 127440.8 (94.66 seconds)
Cbc0010I After 28400 nodes, 8944 on tree, 129552.74 best solution, best possible 127444.48 (95.15 seconds)
Cbc0010I After 28500 nodes, 8992 on tree, 129552.74 best solution, best possible 127446.68 (95.65 seconds)
Cbc0010I After 28600 nodes, 9039 on tree, 129552.74 best solution, best possible 127448.57 (96.18 seconds)
Cbc0010I After 28700 nodes, 9087 on tree, 129552.74 best solution, best possible 127450.92 (96.61 seconds)
Cbc0010I After 28800 nodes, 9135 on tree, 129552.74 best solution, best possible 127453.79 (97.03 seconds)
Cbc0010I After 28900 nodes, 9182 on tree, 129552.74 best solution, best possible 127456 (97.51 seconds)
Cbc0010I After 29000 nodes, 9230 on tree, 129552.74 best solution, best possible 127458.76 (97.98 seconds)
Cbc0010I After 29100 nodes, 9279 on tree, 129552.74 best solution, best possible 127459.11 (98.43 seconds)
Cbc0010I After 29200 nodes, 9326 on tree, 129552.74 best solution, best possible 127459.11 (98.96 seconds)
Cbc0010I After 29300 nodes, 9375 on tree, 129552.74 best solution, best possible 127459.11 (99.51 seconds)
Cbc0010I After 29400 nodes, 9425 on tree, 129552.74 best solution, best possible 127459.11 (99.94 seconds)
Cbc0010I After 29500 nodes, 9473 on tree, 129552.74 best solution, best possible 127459.11 (100.43 seconds)
Cbc0010I After 29600 nodes, 9521 on tree, 129552.74 best solution, best possible 127459.11 (101.00 seconds)
Cbc0010I After 29700 nodes, 9568 on tree, 129552.74 best solution, best possible 127459.11 (101.54 seconds)
Cbc0010I After 29800 nodes, 9604 on tree, 129552.74 best solution, best possible 127459.11 (102.09 seconds)
Cbc0010I After 29900 nodes, 9640 on tree, 129552.74 best solution, best possible 127459.11 (102.66 seconds)
Cbc0010I After 30000 nodes, 9686 on tree, 129552.74 best solution, best possible 127459.11 (103.15 seconds)
Cbc0010I After 30100 nodes, 9735 on tree, 129552.74 best solution, best possible 127461.02 (103.69 seconds)
Cbc0010I After 30200 nodes, 9782 on tree, 129552.74 best solution, best possible 127462.74 (104.09 seconds)
Cbc0010I After 30300 nodes, 9832 on tree, 129552.74 best solution, best possible 127464.64 (104.50 seconds)
Cbc0010I After 30400 nodes, 9878 on tree, 129552.74 best solution, best possible 127466.51 (104.99 seconds)
Cbc0010I After 30500 nodes, 9927 on tree, 129552.74 best solution, best possible 127470.2 (105.51 seconds)
Cbc0010I After 30600 nodes, 9975 on tree, 129552.74 best solution, best possible 127470.2 (106.04 seconds)
Cbc0010I After 30700 nodes, 10023 on tree, 129552.74 best solution, best possible 127473.64 (106.58 seconds)
Cbc0010I After 30800 nodes, 10072 on tree, 129552.74 best solution, best possible 127475.93 (107.15 seconds)
Cbc0010I After 30900 nodes, 10120 on tree, 129552.74 best solution, best possible 127478.13 (107.62 seconds)
Cbc0010I After 31000 nodes, 10168 on tree, 129552.74 best solution, best possible 127478.37 (108.23 seconds)
Cbc0010I After 31100 nodes, 10213 on tree, 129552.74 best solution, best possible 127479.93 (108.80 seconds)
Cbc0010I After 31200 nodes, 10262 on tree, 129552.74 best solution, best possible 127479.93 (109.36 seconds)
Cbc0010I After 31300 nodes, 10309 on tree, 129552.74 best solution, best possible 127479.93 (109.88 seconds)
Cbc0010I After 31400 nodes, 10361 on tree, 129552.74 best solution, best possible 127479.93 (110.39 seconds)
Cbc0010I After 31500 nodes, 10404 on tree, 129552.74 best solution, best possible 127479.93 (110.94 seconds)
Cbc0010I After 31600 nodes, 10450 on tree, 129552.74 best solution, best possible 127479.93 (111.61 seconds)
Cbc0010I After 31700 nodes, 10500 on tree, 129552.74 best solution, best possible 127479.93 (112.11 seconds)
Cbc0010I After 31800 nodes, 10547 on tree, 129552.74 best solution, best possible 127479.93 (112.64 seconds)
Cbc0010I After 31900 nodes, 10598 on tree, 129552.74 best solution, best possible 127479.93 (113.10 seconds)
Cbc0010I After 32000 nodes, 10642 on tree, 129552.74 best solution, best possible 127479.93 (113.54 seconds)
Cbc0010I After 32100 nodes, 10627 on tree, 129552.74 best solution, best possible 127479.93 (113.87 seconds)
Cbc0010I After 32200 nodes, 10620 on tree, 129552.74 best solution, best possible 127479.93 (114.22 seconds)
Cbc0010I After 32300 nodes, 10603 on tree, 129552.74 best solution, best possible 127479.93 (114.67 seconds)
Cbc0010I After 32400 nodes, 10598 on tree, 129552.74 best solution, best possible 127479.93 (115.20 seconds)
Cbc0010I After 32500 nodes, 10581 on tree, 129552.74 best solution, best possible 127479.93 (115.64 seconds)
Cbc0010I After 32600 nodes, 10581 on tree, 129552.74 best solution, best possible 127479.93 (116.19 seconds)
Cbc0010I After 32700 nodes, 10579 on tree, 129552.74 best solution, best possible 127479.93 (116.67 seconds)
Cbc0010I After 32800 nodes, 10571 on tree, 129552.74 best solution, best possible 127479.93 (117.05 seconds)
Cbc0010I After 32900 nodes, 10572 on tree, 129552.74 best solution, best possible 127479.93 (117.53 seconds)
Cbc0010I After 33000 nodes, 10574 on tree, 129552.74 best solution, best possible 127479.93 (117.98 seconds)
Cbc0010I After 33100 nodes, 10615 on tree, 129552.74 best solution, best possible 127481.16 (118.68 seconds)
Cbc0010I After 33200 nodes, 10667 on tree, 129552.74 best solution, best possible 127483.27 (119.25 seconds)
Cbc0010I After 33300 nodes, 10712 on tree, 129552.74 best solution, best possible 127485.83 (119.73 seconds)
Cbc0010I After 33400 nodes, 10763 on tree, 129552.74 best solution, best possible 127486.61 (120.26 seconds)
Cbc0010I After 33500 nodes, 10813 on tree, 129552.74 best solution, best possible 127488.8 (120.80 seconds)
Cbc0010I After 33600 nodes, 10861 on tree, 129552.74 best solution, best possible 127490.64 (121.36 seconds)
Cbc0010I After 33700 nodes, 10909 on tree, 129552.74 best solution, best possible 127492.77 (121.83 seconds)
Cbc0010I After 33800 nodes, 10959 on tree, 129552.74 best solution, best possible 127495.07 (122.33 seconds)
Cbc0010I After 33900 nodes, 11009 on tree, 129552.74 best solution, best possible 127497.12 (122.79 seconds)
Cbc0010I After 34000 nodes, 11053 on tree, 129552.74 best solution, best possible 127497.9 (123.32 seconds)
Cbc0010I After 34100 nodes, 11108 on tree, 129552.74 best solution, best possible 127497.9 (123.91 seconds)
Cbc0010I After 34200 nodes, 11155 on tree, 129552.74 best solution, best possible 127497.9 (124.48 seconds)
Cbc0010I After 34300 nodes, 11205 on tree, 129552.74 best solution, best possible 127497.9 (125.15 seconds)
Cbc0010I After 34400 nodes, 11252 on tree, 129552.74 best solution, best possible 127497.9 (125.75 seconds)
Cbc0010I After 34500 nodes, 11300 on tree, 129552.74 best solution, best possible 127497.9 (126.34 seconds)
Cbc0010I After 34600 nodes, 11344 on tree, 129552.74 best solution, best possible 127497.9 (126.94 seconds)
Cbc0010I After 34700 nodes, 11394 on tree, 129552.74 best solution, best possible 127497.9 (127.49 seconds)
Cbc0010I After 34800 nodes, 11439 on tree, 129552.74 best solution, best possible 127497.9 (127.98 seconds)
Cbc0010I After 34900 nodes, 11489 on tree, 129552.74 best solution, best possible 127497.9 (128.49 seconds)
Cbc0010I After 35000 nodes, 11539 on tree, 129552.74 best solution, best possible 127497.9 (128.99 seconds)
Cbc0010I After 35100 nodes, 11546 on tree, 129552.74 best solution, best possible 127497.9 (129.43 seconds)
Cbc0010I After 35200 nodes, 11549 on tree, 129552.74 best solution, best possible 127497.9 (129.85 seconds)
Cbc0010I After 35300 nodes, 11546 on tree, 129552.74 best solution, best possible 127497.9 (130.21 seconds)
Cbc0010I After 35400 nodes, 11533 on tree, 129552.74 best solution, best possible 127497.9 (130.62 seconds)
Cbc0010I After 35500 nodes, 11537 on tree, 129552.74 best solution, best possible 127497.9 (131.05 seconds)
Cbc0010I After 35600 nodes, 11527 on tree, 129552.74 best solution, best possible 127497.9 (131.41 seconds)
Cbc0010I After 35700 nodes, 11517 on tree, 129552.74 best solution, best possible 127497.9 (131.85 seconds)
Cbc0010I After 35800 nodes, 11520 on tree, 129552.74 best solution, best possible 127497.9 (132.31 seconds)
Cbc0010I After 35900 nodes, 11527 on tree, 129552.74 best solution, best possible 127497.9 (132.69 seconds)
Cbc0010I After 36000 nodes, 11549 on tree, 129552.74 best solution, best possible 127497.9 (133.09 seconds)
Cbc0010I After 36100 nodes, 11555 on tree, 129552.74 best solution, best possible 127497.9 (133.56 seconds)
Cbc0010I After 36200 nodes, 11536 on tree, 129552.74 best solution, best possible 127497.9 (134.02 seconds)
Cbc0010I After 36300 nodes, 11523 on tree, 129552.74 best solution, best possible 127497.9 (134.49 seconds)
Cbc0010I After 36400 nodes, 11501 on tree, 129552.74 best solution, best possible 127497.9 (134.87 seconds)
Cbc0010I After 36500 nodes, 11497 on tree, 129552.74 best solution, best possible 127497.9 (135.34 seconds)
Cbc0010I After 36600 nodes, 11479 on tree, 129552.74 best solution, best possible 127497.9 (135.72 seconds)
Cbc0010I After 36700 nodes, 11503 on tree, 129552.74 best solution, best possible 127497.9 (136.16 seconds)
Cbc0010I After 36800 nodes, 11475 on tree, 129552.74 best solution, best possible 127497.9 (136.45 seconds)
Cbc0010I After 36900 nodes, 11484 on tree, 129552.74 best solution, best possible 127497.9 (136.86 seconds)
Cbc0010I After 37000 nodes, 11485 on tree, 129552.74 best solution, best possible 127497.9 (137.29 seconds)
Cbc0010I After 37100 nodes, 11469 on tree, 129552.74 best solution, best possible 127497.9 (137.62 seconds)
Cbc0010I After 37200 nodes, 11457 on tree, 129552.74 best solution, best possible 127497.9 (137.93 seconds)
Cbc0010I After 37300 nodes, 11463 on tree, 129552.74 best solution, best possible 127497.9 (138.33 seconds)
Cbc0010I After 37400 nodes, 11457 on tree, 129552.74 best solution, best possible 127497.9 (138.72 seconds)
Cbc0010I After 37500 nodes, 11435 on tree, 129552.74 best solution, best possible 127497.9 (139.09 seconds)
Cbc0010I After 37600 nodes, 11430 on tree, 129552.74 best solution, best possible 127497.9 (139.48 seconds)
Cbc0010I After 37700 nodes, 11435 on tree, 129552.74 best solution, best possible 127497.9 (139.86 seconds)
Cbc0010I After 37800 nodes, 11434 on tree, 129552.74 best solution, best possible 2.906962 (140.27 seconds)
Cbc0010I After 37900 nodes, 11450 on tree, 129552.74 best solution, best possible 127497.9 (140.78 seconds)
Cbc0010I After 38000 nodes, 11444 on tree, 129552.74 best solution, best possible 127497.9 (141.20 seconds)
Cbc0010I After 38100 nodes, 11437 on tree, 129552.74 best solution, best possible 127497.9 (141.60 seconds)
Cbc0010I After 38200 nodes, 11436 on tree, 129552.74 best solution, best possible 127497.9 (142.00 seconds)
Cbc0010I After 38300 nodes, 11431 on tree, 129552.74 best solution, best possible 127497.9 (142.43 seconds)
Cbc0010I After 38400 nodes, 11424 on tree, 129552.74 best solution, best possible 127497.9 (142.79 seconds)
Cbc0010I After 38500 nodes, 11411 on tree, 129552.74 best solution, best possible 127497.9 (143.10 seconds)
Cbc0010I After 38600 nodes, 11400 on tree, 129552.74 best solution, best possible 127497.9 (143.45 seconds)
Cbc0010I After 38700 nodes, 11396 on tree, 129552.74 best solution, best possible 127497.9 (143.81 seconds)
Cbc0010I After 38800 nodes, 11402 on tree, 129552.74 best solution, best possible 127497.9 (144.24 seconds)
Cbc0010I After 38900 nodes, 11390 on tree, 129552.74 best solution, best possible 127497.9 (144.53 seconds)
Cbc0010I After 39000 nodes, 11367 on tree, 129552.74 best solution, best possible 127497.9 (144.91 seconds)
Cbc0010I After 39100 nodes, 11368 on tree, 129552.74 best solution, best possible 127497.9 (145.28 seconds)
Cbc0010I After 39200 nodes, 11389 on tree, 129552.74 best solution, best possible 127497.9 (145.69 seconds)
Cbc0010I After 39300 nodes, 11401 on tree, 129552.74 best solution, best possible 127497.9 (146.09 seconds)
Cbc0010I After 39400 nodes, 11380 on tree, 129552.74 best solution, best possible 127497.9 (146.50 seconds)
Cbc0010I After 39500 nodes, 11372 on tree, 129552.74 best solution, best possible 127497.9 (146.87 seconds)
Cbc0010I After 39600 nodes, 11362 on tree, 129552.74 best solution, best possible 127497.9 (147.20 seconds)
Cbc0010I After 39700 nodes, 11376 on tree, 129552.74 best solution, best possible 127497.9 (147.54 seconds)
Cbc0010I After 39800 nodes, 11367 on tree, 129552.74 best solution, best possible 127497.9 (147.88 seconds)
Cbc0010I After 39900 nodes, 11378 on tree, 129552.74 best solution, best possible 127497.9 (148.41 seconds)
Cbc0010I After 40000 nodes, 11391 on tree, 129552.74 best solution, best possible 127497.9 (148.81 seconds)
Cbc0010I After 40100 nodes, 11382 on tree, 129552.74 best solution, best possible 127497.9 (149.08 seconds)
Cbc0010I After 40200 nodes, 11371 on tree, 129552.74 best solution, best possible 127497.9 (149.40 seconds)
Cbc0010I After 40300 nodes, 11362 on tree, 129552.74 best solution, best possible 127497.9 (149.73 seconds)
Cbc0030I Thread 0 used 2521 times, waiting to start 2.3700504, 15758 locks, 4.2046015 locked, 5.5488665 waiting for locks
Cbc0030I Thread 1 used 2532 times, waiting to start 2.8106449, 15620 locks, 4.3387258 locked, 5.2960763 waiting for locks
Cbc0030I Thread 2 used 2576 times, waiting to start 3.0634208, 15938 locks, 4.2551723 locked, 5.240742 waiting for locks
Cbc0030I Thread 3 used 2564 times, waiting to start 3.5664172, 15755 locks, 4.2487323 locked, 5.2711124 waiting for locks
Cbc0030I Thread 4 used 2516 times, waiting to start 3.3427796, 15520 locks, 4.2107875 locked, 5.0404396 waiting for locks
Cbc0030I Thread 5 used 2568 times, waiting to start 3.7338042, 15758 locks, 4.5259805 locked, 5.5723879 waiting for locks
Cbc0030I Thread 6 used 2479 times, waiting to start 4.0718796, 15269 locks, 4.184531 locked, 5.1697383 waiting for locks
Cbc0030I Thread 7 used 2542 times, waiting to start 4.2071912, 15537 locks, 4.3210771 locked, 5.1662092 waiting for locks
Cbc0030I Thread 8 used 2493 times, waiting to start 4.5123289, 15430 locks, 4.1958115 locked, 4.9687116 waiting for locks
Cbc0030I Thread 9 used 2553 times, waiting to start 4.9396546, 15686 locks, 4.1778283 locked, 5.1190269 waiting for locks
Cbc0030I Thread 10 used 2509 times, waiting to start 4.9388978, 15414 locks, 4.4532492 locked, 5.3074648 waiting for locks
Cbc0030I Thread 11 used 2424 times, waiting to start 5.1580207, 15051 locks, 4.1479018 locked, 5.1651225 waiting for locks
Cbc0030I Thread 12 used 2615 times, waiting to start 5.7403004, 15918 locks, 4.4209874 locked, 5.1173904 waiting for locks
Cbc0030I Thread 13 used 2497 times, waiting to start 6.1103904, 15383 locks, 4.4059715 locked, 4.9570055 waiting for locks
Cbc0030I Thread 14 used 2481 times, waiting to start 6.5978675, 15423 locks, 4.2347386 locked, 5.0495024 waiting for locks
Cbc0030I Thread 15 used 2490 times, waiting to start 7.8926945, 15419 locks, 4.1908765 locked, 4.8992884 waiting for locks
Cbc0030I Main thread 111.24308 waiting for threads, 81178 locks, 0.24938083 locked, 19.69486 waiting for locks
Cbc0020I Exiting on maximum time
Cbc0005I Partial search - best objective 129552.74 (best possible 127497.9), took 2648939 iterations and 40345 nodes (150.85 seconds)
Cbc0032I Strong branching done 86420 times (2122487 iterations), fathomed 483 nodes and fixed 3129 variables
Cbc0035I Maximum depth 115, 1187706 variables fixed on reduced cost
Cuts at root node changed objective from 122833 to 125850
Gomory was tried 17269 times and created 13506 cuts of which 0 were active after adding rounds of cuts (119.758 seconds)
MixedIntegerRounding2 was tried 412 times and created 65 cuts of which 0 were active after adding rounds of cuts (0.422 seconds)
FlowCover was tried 17270 times and created 95413 cuts of which 0 were active after adding rounds of cuts (82.398 seconds)
Result - Stopped on time limit
Objective value: 129552.74141019
Lower bound: 127497.904
Gap: 0.02
Enumerated nodes: 40345
Total iterations: 2648939
Time (CPU seconds): 150.90
Time (Wallclock seconds): 150.90
Total time (CPU seconds): 150.95 (Wallclock seconds): 150.95
WARNING: Loading a SolverResults object with an 'aborted' status, but
containing a solution
[9]:
SolutionInfo(runtime=150.95, bound=127497.9, objective=129552.74141019, relgap=0.015861041517322816, termination='maxTimeLimit')
[10]:
S, G = solver.get_solution()
[11]:
svgplot(G)
[11]: