CBC example

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 constructor
from optiwindnet.MILP import solver_factory, ModelOptions

Initialize Walney Extension

locations = load_repository()

L = locations.walneyext
capacity = 5

svgplot(L)

Optimize Walney Extension

P, A = make_planar_embedding(L)

Initial heuristic solution to warm-start the solver:

Sʹ = constructor(A, capacity=capacity)
Gʹ = G_from_S(Sʹ, A)
svgplot(Gʹ)

solver = solver_factory('cbc')

solver.set_problem(
    P, A,
    capacity=Sʹ.graph['capacity'],
    model_options=ModelOptions(
        topology="branched",
        feeder_route="segmented",
        feeder_limit="unlimited",
    ),
    warmstart=Sʹ,
)

solver.solve(
    mip_gap=0.005,
    time_limit=150,
    verbose=True,
)

Welcome to the CBC MILP Solver
Version: 2.10.12
Build Date: Jan 19 2026

command line - /usr/bin/cbc -threads 8 -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 /tmp/tmpk_gynwoz.pyomo.lp -mipstart /tmp/tmpbw_1pngm.cbc.soln -stat=1 -solve -solu /tmp/tmpk_gynwoz.pyomo.soln (default strategy 1)
threads was changed from 0 to 8
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 /tmp/tmpbw_1pngm.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, 119 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 79 strengthened rows, 0 substitutions
Cgl0004I processed model has 2580 rows, 1924 columns (1924 integer (962 of which binary)) and 10269 elements
Cbc0045I MIPStart provided solution with cost 136145
Cbc0012I Integer solution of 136145.2 found by Reduced search after 0 iterations and 0 nodes (0.14 seconds)
Cbc0038I Reduced cost fixing fixed 33 variables
Cbc0038I Full problem 2581 rows 1924 columns, reduced to 146 rows 80 columns
Cbc0038I Full problem 2581 rows 1924 columns, reduced to 146 rows 80 columns
Cbc0038I Full problem 2581 rows 1924 columns, reduced to 146 rows 80 columns
Cbc0038I Full problem 2580 rows 1924 columns, reduced to 350 rows 191 columns
Cbc0038I Full problem 2581 rows 1924 columns, reduced to 152 rows 96 columns
Cbc0038I Full problem 2581 rows 1924 columns, reduced to 152 rows 96 columns
Cbc0038I Full problem 2581 rows 1924 columns, reduced to 152 rows 96 columns
Cbc0031I 79 added rows had average density of 67.936709
Cbc0013I At root node, 79 cuts changed objective from 122832.77 to 125930.9 in 17 passes
Cbc0014I Cut generator 0 (Gomory) - 249 row cuts average 176.4 elements, 0 column cuts (0 active)  in 0.229 seconds - new frequency is 1
Cbc0014I Cut generator 1 (MixedIntegerRounding2) - 0 row cuts average 0.0 elements, 0 column cuts (0 active)  in 0.026 seconds - new frequency is 1000
Cbc0014I Cut generator 2 (FlowCover) - 128 row cuts average 19.0 elements, 0 column cuts (0 active)  in 0.016 seconds - new frequency is 1
Cbc0010I After 0 nodes, 1 on tree, 136145.2 best solution, best possible 125930.9 (0.86 seconds)
Cbc0010I After 100 nodes, 61 on tree, 136145.2 best solution, best possible 125956.55 (3.24 seconds)
Cbc0010I After 200 nodes, 116 on tree, 136145.2 best solution, best possible 125956.55 (3.66 seconds)
Cbc0010I After 300 nodes, 174 on tree, 136145.2 best solution, best possible 125956.55 (4.02 seconds)
Cbc0010I After 400 nodes, 201 on tree, 136145.2 best solution, best possible 125956.55 (4.28 seconds)
Cbc0010I After 500 nodes, 213 on tree, 136145.2 best solution, best possible 125956.55 (4.49 seconds)
Cbc0010I After 600 nodes, 240 on tree, 136145.2 best solution, best possible 125956.55 (4.72 seconds)
Cbc0010I After 700 nodes, 256 on tree, 136145.2 best solution, best possible 125956.55 (4.89 seconds)
Cbc0010I After 800 nodes, 278 on tree, 136145.2 best solution, best possible 125956.55 (5.10 seconds)
Cbc0010I After 900 nodes, 278 on tree, 136145.2 best solution, best possible 125956.55 (5.23 seconds)
Cbc0010I After 1000 nodes, 297 on tree, 136145.2 best solution, best possible 125956.55 (5.40 seconds)
Cbc0010I After 1100 nodes, 304 on tree, 136145.2 best solution, best possible 125956.55 (5.50 seconds)
Cbc0010I After 1200 nodes, 305 on tree, 136145.2 best solution, best possible 125956.55 (5.59 seconds)
Cbc0010I After 1300 nodes, 303 on tree, 136145.2 best solution, best possible 125956.55 (5.67 seconds)
Cbc0010I After 1400 nodes, 304 on tree, 136145.2 best solution, best possible 125956.55 (5.76 seconds)
Cbc0010I After 1500 nodes, 294 on tree, 136145.2 best solution, best possible 125956.55 (5.85 seconds)
Cbc0010I After 1600 nodes, 298 on tree, 136145.2 best solution, best possible 125956.55 (5.98 seconds)
Cbc0010I After 1700 nodes, 300 on tree, 136145.2 best solution, best possible 125956.55 (6.10 seconds)
Cbc0010I After 1800 nodes, 317 on tree, 136145.2 best solution, best possible 125956.55 (6.24 seconds)
Cbc0010I After 1900 nodes, 322 on tree, 136145.2 best solution, best possible 125956.55 (6.31 seconds)
Cbc0010I After 2000 nodes, 313 on tree, 136145.2 best solution, best possible 125956.55 (6.39 seconds)
Cbc0010I After 2100 nodes, 312 on tree, 136145.2 best solution, best possible 125956.55 (6.48 seconds)
Cbc0010I After 2200 nodes, 311 on tree, 136145.2 best solution, best possible 125956.55 (6.59 seconds)
Cbc0010I After 2300 nodes, 332 on tree, 136145.2 best solution, best possible 125956.55 (6.73 seconds)
Cbc0010I After 2400 nodes, 338 on tree, 136145.2 best solution, best possible 125956.55 (6.81 seconds)
Cbc0010I After 2500 nodes, 353 on tree, 136145.2 best solution, best possible 125956.55 (6.90 seconds)
Cbc0010I After 2600 nodes, 362 on tree, 136145.2 best solution, best possible 125956.55 (6.97 seconds)
Cbc0010I After 2700 nodes, 356 on tree, 136145.2 best solution, best possible 125956.55 (7.05 seconds)
Cbc0010I After 2800 nodes, 359 on tree, 136145.2 best solution, best possible 125956.55 (7.13 seconds)
Cbc0010I After 2900 nodes, 353 on tree, 136145.2 best solution, best possible 125956.55 (7.21 seconds)
Cbc0010I After 3000 nodes, 361 on tree, 136145.2 best solution, best possible 125956.55 (7.28 seconds)
Cbc0010I After 3100 nodes, 363 on tree, 136145.2 best solution, best possible 125956.55 (7.35 seconds)
Cbc0010I After 3200 nodes, 358 on tree, 136145.2 best solution, best possible 125956.55 (7.41 seconds)
Cbc0010I After 3300 nodes, 345 on tree, 136145.2 best solution, best possible 125956.55 (7.47 seconds)
Cbc0010I After 3400 nodes, 331 on tree, 136145.2 best solution, best possible 125956.55 (7.56 seconds)
Cbc0010I After 3500 nodes, 328 on tree, 136145.2 best solution, best possible 125956.55 (7.67 seconds)
Cbc0010I After 3600 nodes, 347 on tree, 136145.2 best solution, best possible 125956.55 (7.84 seconds)
Cbc0010I After 3700 nodes, 350 on tree, 136145.2 best solution, best possible 125956.55 (7.96 seconds)
Cbc0010I After 3800 nodes, 363 on tree, 136145.2 best solution, best possible 125956.55 (8.06 seconds)
Cbc0010I After 3900 nodes, 377 on tree, 136145.2 best solution, best possible 125956.55 (8.14 seconds)
Cbc0010I After 4000 nodes, 371 on tree, 136145.2 best solution, best possible 125956.55 (8.21 seconds)
Cbc0010I After 4100 nodes, 359 on tree, 136145.2 best solution, best possible 125956.55 (8.27 seconds)
Cbc0010I After 4200 nodes, 365 on tree, 136145.2 best solution, best possible 125956.55 (8.34 seconds)
Cbc0010I After 4300 nodes, 369 on tree, 136145.2 best solution, best possible 125956.55 (8.42 seconds)
Cbc0010I After 4400 nodes, 362 on tree, 136145.2 best solution, best possible 125956.55 (8.48 seconds)
Cbc0010I After 4500 nodes, 362 on tree, 136145.2 best solution, best possible 125956.55 (8.56 seconds)
Cbc0010I After 4600 nodes, 363 on tree, 136145.2 best solution, best possible 125956.55 (8.63 seconds)
Cbc0010I After 4700 nodes, 354 on tree, 136145.2 best solution, best possible 125956.55 (8.72 seconds)
Cbc0010I After 4800 nodes, 370 on tree, 136145.2 best solution, best possible 125956.55 (8.80 seconds)
Cbc0010I After 4900 nodes, 373 on tree, 136145.2 best solution, best possible 125956.55 (8.87 seconds)
Cbc0010I After 5000 nodes, 365 on tree, 136145.2 best solution, best possible 125956.55 (8.92 seconds)
Cbc0010I After 5100 nodes, 367 on tree, 136145.2 best solution, best possible 125956.55 (8.97 seconds)
Cbc0010I After 5200 nodes, 355 on tree, 136145.2 best solution, best possible 125956.55 (9.06 seconds)
Cbc0010I After 5300 nodes, 376 on tree, 136145.2 best solution, best possible 125956.55 (9.20 seconds)
Cbc0010I After 5400 nodes, 419 on tree, 136145.2 best solution, best possible 5.5065791e-311 (9.31 seconds)
Cbc0010I After 5500 nodes, 424 on tree, 136145.2 best solution, best possible 125956.55 (9.40 seconds)
Cbc0010I After 5600 nodes, 446 on tree, 136145.2 best solution, best possible 125956.55 (9.54 seconds)
Cbc0010I After 5700 nodes, 469 on tree, 136145.2 best solution, best possible 125956.55 (9.62 seconds)
Cbc0010I After 5800 nodes, 460 on tree, 136145.2 best solution, best possible 125956.55 (9.69 seconds)
Cbc0010I After 5900 nodes, 454 on tree, 136145.2 best solution, best possible 125956.55 (9.76 seconds)
Cbc0010I After 6000 nodes, 443 on tree, 136145.2 best solution, best possible 125956.55 (9.82 seconds)
Cbc0010I After 6100 nodes, 460 on tree, 136145.2 best solution, best possible 125956.55 (9.90 seconds)
Cbc0010I After 6200 nodes, 465 on tree, 136145.2 best solution, best possible 125956.55 (9.96 seconds)
Cbc0010I After 6300 nodes, 460 on tree, 136145.2 best solution, best possible 125956.55 (10.02 seconds)
Cbc0010I After 6400 nodes, 464 on tree, 136145.2 best solution, best possible 125956.55 (10.09 seconds)
Cbc0010I After 6500 nodes, 457 on tree, 136145.2 best solution, best possible 125956.55 (10.18 seconds)
Cbc0010I After 6600 nodes, 453 on tree, 136145.2 best solution, best possible 125956.55 (10.25 seconds)
Cbc0010I After 6700 nodes, 460 on tree, 136145.2 best solution, best possible 125956.55 (10.34 seconds)
Cbc0010I After 6800 nodes, 456 on tree, 136145.2 best solution, best possible 125956.55 (10.41 seconds)
Cbc0010I After 6900 nodes, 443 on tree, 136145.2 best solution, best possible 125956.55 (10.50 seconds)
Cbc0010I After 7000 nodes, 452 on tree, 136145.2 best solution, best possible 125956.55 (10.63 seconds)
Cbc0010I After 7100 nodes, 464 on tree, 136145.2 best solution, best possible 125956.55 (10.74 seconds)
Cbc0010I After 7200 nodes, 458 on tree, 136145.2 best solution, best possible 125956.55 (10.82 seconds)
Cbc0010I After 7300 nodes, 461 on tree, 136145.2 best solution, best possible 125956.55 (10.91 seconds)
Cbc0010I After 7400 nodes, 477 on tree, 136145.2 best solution, best possible 125956.55 (11.03 seconds)
Cbc0010I After 7500 nodes, 480 on tree, 136145.2 best solution, best possible 125956.55 (11.11 seconds)
Cbc0010I After 7600 nodes, 480 on tree, 136145.2 best solution, best possible 125956.55 (11.16 seconds)
Cbc0010I After 7700 nodes, 475 on tree, 136145.2 best solution, best possible 125956.55 (11.28 seconds)
Cbc0010I After 7800 nodes, 492 on tree, 136145.2 best solution, best possible 125956.55 (11.37 seconds)
Cbc0010I After 7900 nodes, 482 on tree, 136145.2 best solution, best possible 125956.55 (11.44 seconds)
Cbc0010I After 8000 nodes, 484 on tree, 136145.2 best solution, best possible 125956.55 (11.50 seconds)
Cbc0010I After 8100 nodes, 482 on tree, 136145.2 best solution, best possible 125956.55 (11.56 seconds)
Cbc0010I After 8200 nodes, 475 on tree, 136145.2 best solution, best possible 125956.55 (11.64 seconds)
Cbc0010I After 8300 nodes, 482 on tree, 136145.2 best solution, best possible 125956.55 (11.72 seconds)
Cbc0010I After 8400 nodes, 474 on tree, 136145.2 best solution, best possible 125956.55 (11.76 seconds)
Cbc0010I After 8500 nodes, 474 on tree, 136145.2 best solution, best possible 125956.55 (11.83 seconds)
Cbc0010I After 8600 nodes, 484 on tree, 136145.2 best solution, best possible 125956.55 (11.92 seconds)
Cbc0010I After 8700 nodes, 478 on tree, 136145.2 best solution, best possible 125956.55 (12.03 seconds)
Cbc0010I After 8800 nodes, 476 on tree, 136145.2 best solution, best possible 125956.55 (12.15 seconds)
Cbc0010I After 8900 nodes, 514 on tree, 136145.2 best solution, best possible 125956.55 (12.23 seconds)
Cbc0010I After 9000 nodes, 518 on tree, 136145.2 best solution, best possible 125956.55 (12.29 seconds)
Cbc0010I After 9100 nodes, 524 on tree, 136145.2 best solution, best possible 125956.55 (12.38 seconds)
Cbc0010I After 9200 nodes, 524 on tree, 136145.2 best solution, best possible 125956.55 (12.44 seconds)
Cbc0010I After 9300 nodes, 514 on tree, 136145.2 best solution, best possible 125956.55 (12.49 seconds)
Cbc0010I After 9400 nodes, 509 on tree, 136145.2 best solution, best possible 125956.55 (12.55 seconds)
Cbc0010I After 9500 nodes, 514 on tree, 136145.2 best solution, best possible 125956.55 (12.60 seconds)
Cbc0010I After 9600 nodes, 524 on tree, 136145.2 best solution, best possible 125956.55 (12.65 seconds)
Cbc0010I After 9700 nodes, 524 on tree, 136145.2 best solution, best possible 125956.55 (12.70 seconds)
Cbc0010I After 9800 nodes, 518 on tree, 136145.2 best solution, best possible 125956.55 (12.76 seconds)
Cbc0010I After 9900 nodes, 531 on tree, 136145.2 best solution, best possible 125956.55 (12.82 seconds)
Cbc0010I After 10000 nodes, 532 on tree, 136145.2 best solution, best possible 125956.55 (12.88 seconds)
Cbc0010I After 10100 nodes, 516 on tree, 136145.2 best solution, best possible 125956.55 (12.94 seconds)
Cbc0010I After 10200 nodes, 520 on tree, 136145.2 best solution, best possible 125956.55 (13.02 seconds)
Cbc0010I After 10300 nodes, 510 on tree, 136145.2 best solution, best possible 125956.55 (13.08 seconds)
Cbc0010I After 10400 nodes, 508 on tree, 136145.2 best solution, best possible 125956.55 (13.15 seconds)
Cbc0010I After 10500 nodes, 483 on tree, 136145.2 best solution, best possible 125956.55 (13.22 seconds)
Cbc0010I After 10600 nodes, 474 on tree, 136145.2 best solution, best possible 125956.55 (13.31 seconds)
Cbc0010I After 10700 nodes, 496 on tree, 136145.2 best solution, best possible 125956.55 (13.43 seconds)
Cbc0010I After 10800 nodes, 488 on tree, 136145.2 best solution, best possible 125956.55 (13.50 seconds)
Cbc0010I After 10900 nodes, 500 on tree, 136145.2 best solution, best possible 125956.55 (13.58 seconds)
Cbc0010I After 11000 nodes, 500 on tree, 136145.2 best solution, best possible 125956.55 (13.66 seconds)
Cbc0010I After 11100 nodes, 547 on tree, 136145.2 best solution, best possible 125982.72 (15.20 seconds)
Cbc0010I After 11200 nodes, 596 on tree, 136145.2 best solution, best possible 126052.91 (15.87 seconds)
Cbc0010I After 11300 nodes, 645 on tree, 136145.2 best solution, best possible 126147.34 (16.46 seconds)
Cbc0010I After 11400 nodes, 695 on tree, 136145.2 best solution, best possible 126304.27 (16.98 seconds)
Cbc0010I After 11500 nodes, 746 on tree, 136145.2 best solution, best possible 126315.99 (17.40 seconds)
Cbc0010I After 11600 nodes, 795 on tree, 136145.2 best solution, best possible 126324.04 (17.77 seconds)
Cbc0012I Integer solution of 135926.87 found by heuristic after 349450 iterations and 11649 nodes (17.97 seconds)
Cbc0012I Integer solution of 135010.35 found by heuristic after 349869 iterations and 11656 nodes (18.01 seconds)
Cbc0010I After 11700 nodes, 621 on tree, 135010.35 best solution, best possible 126324.04 (18.11 seconds)
Cbc0010I After 11800 nodes, 670 on tree, 135010.35 best solution, best possible 126348.97 (18.32 seconds)
Cbc0010I After 11900 nodes, 721 on tree, 135010.35 best solution, best possible 126348.97 (18.49 seconds)
Cbc0010I After 12000 nodes, 772 on tree, 135010.35 best solution, best possible 126348.97 (18.64 seconds)
Cbc0010I After 12100 nodes, 821 on tree, 135010.35 best solution, best possible 126351.56 (19.00 seconds)
Cbc0010I After 12200 nodes, 870 on tree, 135010.35 best solution, best possible 126351.56 (19.32 seconds)
Cbc0010I After 12300 nodes, 921 on tree, 135010.35 best solution, best possible 126351.56 (19.62 seconds)
Cbc0010I After 12400 nodes, 972 on tree, 135010.35 best solution, best possible 126396 (19.88 seconds)
Cbc0010I After 12500 nodes, 1022 on tree, 135010.35 best solution, best possible 126402.36 (20.21 seconds)
Cbc0010I After 12600 nodes, 1072 on tree, 135010.35 best solution, best possible 126408.04 (20.53 seconds)
Cbc0010I After 12700 nodes, 1120 on tree, 135010.35 best solution, best possible 126420.81 (20.85 seconds)
Cbc0010I After 12800 nodes, 1171 on tree, 135010.35 best solution, best possible 126428.94 (21.08 seconds)
Cbc0010I After 12900 nodes, 1221 on tree, 135010.35 best solution, best possible 126434.06 (21.34 seconds)
Cbc0010I After 13000 nodes, 1271 on tree, 135010.35 best solution, best possible 126440.52 (21.61 seconds)
Cbc0010I After 13100 nodes, 1322 on tree, 135010.35 best solution, best possible 126440.52 (21.81 seconds)
Cbc0010I After 13200 nodes, 1371 on tree, 135010.35 best solution, best possible 126440.52 (21.96 seconds)
Cbc0010I After 13300 nodes, 1421 on tree, 135010.35 best solution, best possible 126440.52 (22.13 seconds)
Cbc0010I After 13400 nodes, 1473 on tree, 135010.35 best solution, best possible 126440.52 (22.32 seconds)
Cbc0010I After 13500 nodes, 1522 on tree, 135010.35 best solution, best possible 126440.52 (22.47 seconds)
Cbc0010I After 13600 nodes, 1572 on tree, 135010.35 best solution, best possible 126440.52 (22.64 seconds)
Cbc0010I After 13700 nodes, 1622 on tree, 135010.35 best solution, best possible 126440.52 (22.79 seconds)
Cbc0010I After 13800 nodes, 1672 on tree, 135010.35 best solution, best possible 126440.52 (22.95 seconds)
Cbc0010I After 13900 nodes, 1721 on tree, 135010.35 best solution, best possible 126440.52 (23.10 seconds)
Cbc0010I After 14000 nodes, 1770 on tree, 135010.35 best solution, best possible 126440.52 (23.26 seconds)
Cbc0010I After 14100 nodes, 1819 on tree, 135010.35 best solution, best possible 126448.21 (23.49 seconds)
Cbc0010I After 14200 nodes, 1870 on tree, 135010.35 best solution, best possible 126453.32 (23.73 seconds)
Cbc0010I After 14300 nodes, 1918 on tree, 135010.35 best solution, best possible 126457.49 (24.01 seconds)
Cbc0010I After 14400 nodes, 1969 on tree, 135010.35 best solution, best possible 126457.49 (24.30 seconds)
Cbc0010I After 14500 nodes, 2018 on tree, 135010.35 best solution, best possible 126469.7 (24.51 seconds)
Cbc0010I After 14600 nodes, 2069 on tree, 135010.35 best solution, best possible 126475.16 (24.70 seconds)
Cbc0010I After 14700 nodes, 2119 on tree, 135010.35 best solution, best possible 126479.97 (24.86 seconds)
Cbc0010I After 14800 nodes, 2169 on tree, 135010.35 best solution, best possible 126482.98 (25.07 seconds)
Cbc0010I After 14900 nodes, 2218 on tree, 135010.35 best solution, best possible 126484.01 (25.33 seconds)
Cbc0010I After 15000 nodes, 2269 on tree, 135010.35 best solution, best possible 126491.76 (25.53 seconds)
Cbc0010I After 15100 nodes, 2318 on tree, 135010.35 best solution, best possible 126495.44 (25.73 seconds)
Cbc0010I After 15200 nodes, 2368 on tree, 135010.35 best solution, best possible 126498.64 (25.91 seconds)
Cbc0010I After 15300 nodes, 2418 on tree, 135010.35 best solution, best possible 126501.71 (26.15 seconds)
Cbc0010I After 15400 nodes, 2468 on tree, 135010.35 best solution, best possible 126504.91 (26.38 seconds)
Cbc0010I After 15500 nodes, 2518 on tree, 135010.35 best solution, best possible 126507.73 (26.57 seconds)
Cbc0010I After 15600 nodes, 2569 on tree, 135010.35 best solution, best possible 126509.7 (26.77 seconds)
Cbc0010I After 15700 nodes, 2618 on tree, 135010.35 best solution, best possible 126512.5 (26.95 seconds)
Cbc0010I After 15800 nodes, 2668 on tree, 135010.35 best solution, best possible 126517.34 (27.14 seconds)
Cbc0010I After 15900 nodes, 2718 on tree, 135010.35 best solution, best possible 126521.49 (27.34 seconds)
Cbc0010I After 16000 nodes, 2769 on tree, 135010.35 best solution, best possible 126522.91 (27.50 seconds)
Cbc0010I After 16100 nodes, 2816 on tree, 135010.35 best solution, best possible 126527.44 (27.67 seconds)
Cbc0010I After 16200 nodes, 2869 on tree, 135010.35 best solution, best possible 126530.85 (27.83 seconds)
Cbc0010I After 16300 nodes, 2917 on tree, 135010.35 best solution, best possible 126532.77 (28.04 seconds)
Cbc0010I After 16400 nodes, 2968 on tree, 135010.35 best solution, best possible 126535.28 (28.24 seconds)
Cbc0010I After 16500 nodes, 3017 on tree, 135010.35 best solution, best possible 126537.5 (28.42 seconds)
Cbc0010I After 16600 nodes, 3066 on tree, 135010.35 best solution, best possible 126539.76 (28.59 seconds)
Cbc0010I After 16700 nodes, 3117 on tree, 135010.35 best solution, best possible 126540.39 (28.81 seconds)
Cbc0010I After 16800 nodes, 3166 on tree, 135010.35 best solution, best possible 126545 (28.98 seconds)
Cbc0010I After 16900 nodes, 3217 on tree, 135010.35 best solution, best possible 126547.32 (29.18 seconds)
Cbc0010I After 17000 nodes, 3267 on tree, 135010.35 best solution, best possible 126549.81 (29.34 seconds)
Cbc0010I After 17100 nodes, 3322 on tree, 135010.35 best solution, best possible 126550.39 (29.48 seconds)
Cbc0010I After 17200 nodes, 3368 on tree, 135010.35 best solution, best possible 126550.39 (29.62 seconds)
Cbc0010I After 17300 nodes, 3420 on tree, 135010.35 best solution, best possible 126550.39 (29.77 seconds)
Cbc0010I After 17400 nodes, 3470 on tree, 135010.35 best solution, best possible 126550.39 (29.88 seconds)
Cbc0010I After 17500 nodes, 3520 on tree, 135010.35 best solution, best possible 126550.39 (30.02 seconds)
Cbc0010I After 17600 nodes, 3569 on tree, 135010.35 best solution, best possible 126550.39 (30.14 seconds)
Cbc0010I After 17700 nodes, 3621 on tree, 135010.35 best solution, best possible 126550.39 (30.25 seconds)
Cbc0010I After 17800 nodes, 3672 on tree, 135010.35 best solution, best possible 126550.39 (30.37 seconds)
Cbc0010I After 17900 nodes, 3721 on tree, 135010.35 best solution, best possible 126550.39 (30.51 seconds)
Cbc0010I After 18000 nodes, 3770 on tree, 135010.35 best solution, best possible 126550.39 (30.66 seconds)
Cbc0010I After 18100 nodes, 3821 on tree, 135010.35 best solution, best possible 126550.64 (30.81 seconds)
Cbc0010I After 18200 nodes, 3873 on tree, 135010.35 best solution, best possible 126553.38 (31.01 seconds)
Cbc0010I After 18300 nodes, 3922 on tree, 135010.35 best solution, best possible 126556.22 (31.19 seconds)
Cbc0010I After 18400 nodes, 3971 on tree, 135010.35 best solution, best possible 126557.87 (31.38 seconds)
Cbc0010I After 18500 nodes, 4020 on tree, 135010.35 best solution, best possible 126560.44 (31.59 seconds)
Cbc0010I After 18600 nodes, 4071 on tree, 135010.35 best solution, best possible 126560.44 (31.77 seconds)
Cbc0010I After 18700 nodes, 4121 on tree, 135010.35 best solution, best possible 126564.1 (31.94 seconds)
Cbc0010I After 18800 nodes, 4170 on tree, 135010.35 best solution, best possible 126566.11 (32.10 seconds)
Cbc0010I After 18900 nodes, 4220 on tree, 135010.35 best solution, best possible 126568.91 (32.29 seconds)
Cbc0010I After 19000 nodes, 4272 on tree, 135010.35 best solution, best possible 126570.56 (32.47 seconds)
Cbc0010I After 19100 nodes, 4320 on tree, 135010.35 best solution, best possible 126572.8 (32.64 seconds)
Cbc0010I After 19200 nodes, 4371 on tree, 135010.35 best solution, best possible 126574.43 (32.82 seconds)
Cbc0010I After 19300 nodes, 4421 on tree, 135010.35 best solution, best possible 126575.74 (33.01 seconds)
Cbc0010I After 19400 nodes, 4471 on tree, 135010.35 best solution, best possible 126576.77 (33.18 seconds)
Cbc0010I After 19500 nodes, 4521 on tree, 135010.35 best solution, best possible 126578.76 (33.33 seconds)
Cbc0010I After 19600 nodes, 4570 on tree, 135010.35 best solution, best possible 126580.56 (33.53 seconds)
Cbc0010I After 19700 nodes, 4621 on tree, 135010.35 best solution, best possible 126582.65 (33.68 seconds)
Cbc0010I After 19800 nodes, 4671 on tree, 135010.35 best solution, best possible 126584.31 (33.83 seconds)
Cbc0010I After 19900 nodes, 4721 on tree, 135010.35 best solution, best possible 126586.3 (34.00 seconds)
Cbc0010I After 20000 nodes, 4772 on tree, 135010.35 best solution, best possible 126587.71 (34.18 seconds)
Cbc0010I After 20100 nodes, 4823 on tree, 135010.35 best solution, best possible 126588.75 (34.34 seconds)
Cbc0010I After 20200 nodes, 4871 on tree, 135010.35 best solution, best possible 126590.05 (34.53 seconds)
Cbc0010I After 20300 nodes, 4921 on tree, 135010.35 best solution, best possible 126590.62 (34.69 seconds)
Cbc0010I After 20400 nodes, 4972 on tree, 135010.35 best solution, best possible 126592.6 (34.87 seconds)
Cbc0010I After 20500 nodes, 5021 on tree, 135010.35 best solution, best possible 126593.52 (35.04 seconds)
Cbc0010I After 20600 nodes, 5071 on tree, 135010.35 best solution, best possible 126595.15 (35.20 seconds)
Cbc0010I After 20700 nodes, 5122 on tree, 135010.35 best solution, best possible 126596.58 (35.41 seconds)
Cbc0010I After 20800 nodes, 5171 on tree, 135010.35 best solution, best possible 126598.65 (35.60 seconds)
Cbc0010I After 20900 nodes, 5220 on tree, 135010.35 best solution, best possible 126600.14 (35.76 seconds)
Cbc0010I After 21000 nodes, 5272 on tree, 135010.35 best solution, best possible 126601.26 (35.94 seconds)
Cbc0010I After 21100 nodes, 5317 on tree, 135010.35 best solution, best possible 126601.48 (36.07 seconds)
Cbc0010I After 21200 nodes, 5366 on tree, 135010.35 best solution, best possible 126601.48 (36.21 seconds)
Cbc0010I After 21300 nodes, 5417 on tree, 135010.35 best solution, best possible 126601.48 (36.37 seconds)
Cbc0010I After 21400 nodes, 5469 on tree, 135010.35 best solution, best possible 126601.48 (36.50 seconds)
Cbc0010I After 21500 nodes, 5515 on tree, 135010.35 best solution, best possible 126601.48 (36.61 seconds)
Cbc0010I After 21600 nodes, 5568 on tree, 135010.35 best solution, best possible 126601.48 (36.73 seconds)
Cbc0010I After 21700 nodes, 5616 on tree, 135010.35 best solution, best possible 126601.48 (36.84 seconds)
Cbc0010I After 21800 nodes, 5667 on tree, 135010.35 best solution, best possible 126601.48 (36.94 seconds)
Cbc0010I After 21900 nodes, 5717 on tree, 135010.35 best solution, best possible 126601.48 (37.05 seconds)
Cbc0010I After 22000 nodes, 5769 on tree, 135010.35 best solution, best possible 126601.48 (37.14 seconds)
Cbc0010I After 22100 nodes, 5821 on tree, 135010.35 best solution, best possible 126602.49 (37.33 seconds)
Cbc0010I After 22200 nodes, 5871 on tree, 135010.35 best solution, best possible 126603.6 (37.51 seconds)
Cbc0010I After 22300 nodes, 5922 on tree, 135010.35 best solution, best possible 126605.11 (37.68 seconds)
Cbc0010I After 22400 nodes, 5970 on tree, 135010.35 best solution, best possible 126606.57 (37.83 seconds)
Cbc0010I After 22500 nodes, 6021 on tree, 135010.35 best solution, best possible 126607.58 (38.00 seconds)
Cbc0010I After 22600 nodes, 6071 on tree, 135010.35 best solution, best possible 126609.04 (38.17 seconds)
Cbc0010I After 22700 nodes, 6122 on tree, 135010.35 best solution, best possible 126610.45 (38.34 seconds)
Cbc0010I After 22800 nodes, 6172 on tree, 135010.35 best solution, best possible 126611.49 (38.52 seconds)
Cbc0010I After 22900 nodes, 6221 on tree, 135010.35 best solution, best possible 126612.54 (38.70 seconds)
Cbc0010I After 23000 nodes, 6271 on tree, 135010.35 best solution, best possible 126613.67 (38.85 seconds)
Cbc0010I After 23100 nodes, 6321 on tree, 135010.35 best solution, best possible 126614.82 (38.98 seconds)
Cbc0010I After 23200 nodes, 6370 on tree, 135010.35 best solution, best possible 126615.59 (39.16 seconds)
Cbc0010I After 23300 nodes, 6419 on tree, 135010.35 best solution, best possible 126616.68 (39.33 seconds)
Cbc0010I After 23400 nodes, 6471 on tree, 135010.35 best solution, best possible 126617.46 (39.48 seconds)
Cbc0010I After 23500 nodes, 6520 on tree, 135010.35 best solution, best possible 126618.73 (39.66 seconds)
Cbc0010I After 23600 nodes, 6570 on tree, 135010.35 best solution, best possible 126619.18 (39.82 seconds)
Cbc0010I After 23700 nodes, 6621 on tree, 135010.35 best solution, best possible 126621.1 (40.03 seconds)
Cbc0010I After 23800 nodes, 6669 on tree, 135010.35 best solution, best possible 126622.05 (40.21 seconds)
Cbc0010I After 23900 nodes, 6720 on tree, 135010.35 best solution, best possible 126623.7 (40.38 seconds)
Cbc0010I After 24000 nodes, 6770 on tree, 135010.35 best solution, best possible 126624.45 (40.51 seconds)
Cbc0010I After 24100 nodes, 6820 on tree, 135010.35 best solution, best possible 126625.43 (40.69 seconds)
Cbc0010I After 24200 nodes, 6870 on tree, 135010.35 best solution, best possible 126626.02 (40.85 seconds)
Cbc0010I After 24300 nodes, 6920 on tree, 135010.35 best solution, best possible 126626.26 (41.03 seconds)
Cbc0010I After 24400 nodes, 6969 on tree, 135010.35 best solution, best possible 126626.26 (41.20 seconds)
Cbc0010I After 24500 nodes, 7020 on tree, 135010.35 best solution, best possible 126629.14 (41.38 seconds)
Cbc0010I After 24600 nodes, 7070 on tree, 135010.35 best solution, best possible 126629.52 (41.58 seconds)
Cbc0010I After 24700 nodes, 7121 on tree, 135010.35 best solution, best possible 126630.54 (41.76 seconds)
Cbc0010I After 24800 nodes, 7171 on tree, 135010.35 best solution, best possible 126631.46 (41.92 seconds)
Cbc0010I After 24900 nodes, 7220 on tree, 135010.35 best solution, best possible 126632.58 (42.08 seconds)
Cbc0010I After 25000 nodes, 7270 on tree, 135010.35 best solution, best possible 126633.34 (42.27 seconds)
Cbc0010I After 25100 nodes, 7320 on tree, 135010.35 best solution, best possible 126633.81 (42.40 seconds)
Cbc0010I After 25200 nodes, 7368 on tree, 135010.35 best solution, best possible 126633.81 (42.51 seconds)
Cbc0010I After 25300 nodes, 7414 on tree, 135010.35 best solution, best possible 126633.81 (42.62 seconds)
Cbc0010I After 25400 nodes, 7461 on tree, 135010.35 best solution, best possible 126633.81 (42.73 seconds)
Cbc0010I After 25500 nodes, 7513 on tree, 135010.35 best solution, best possible 126633.81 (42.82 seconds)
Cbc0010I After 25600 nodes, 7562 on tree, 135010.35 best solution, best possible 126633.81 (42.93 seconds)
Cbc0010I After 25700 nodes, 7611 on tree, 135010.35 best solution, best possible 126633.81 (43.03 seconds)
Cbc0010I After 25800 nodes, 7661 on tree, 135010.35 best solution, best possible 126633.81 (43.14 seconds)
Cbc0010I After 25900 nodes, 7711 on tree, 135010.35 best solution, best possible 126633.81 (43.23 seconds)
Cbc0010I After 26000 nodes, 7758 on tree, 135010.35 best solution, best possible 126633.81 (43.32 seconds)
Cbc0010I After 26100 nodes, 7811 on tree, 135010.35 best solution, best possible 126634.43 (43.49 seconds)
Cbc0010I After 26200 nodes, 7861 on tree, 135010.35 best solution, best possible 126635.34 (43.65 seconds)
Cbc0010I After 26300 nodes, 7911 on tree, 135010.35 best solution, best possible 126636.09 (43.80 seconds)
Cbc0010I After 26400 nodes, 7960 on tree, 135010.35 best solution, best possible 126637.12 (43.97 seconds)
Cbc0010I After 26500 nodes, 8011 on tree, 135010.35 best solution, best possible 126637.95 (44.12 seconds)
Cbc0010I After 26600 nodes, 8061 on tree, 135010.35 best solution, best possible 126638.64 (44.28 seconds)
Cbc0010I After 26700 nodes, 8111 on tree, 135010.35 best solution, best possible 126639.43 (44.43 seconds)
Cbc0010I After 26800 nodes, 8161 on tree, 135010.35 best solution, best possible 126640.16 (44.59 seconds)
Cbc0010I After 26900 nodes, 8212 on tree, 135010.35 best solution, best possible 126641.01 (44.78 seconds)
Cbc0010I After 27000 nodes, 8262 on tree, 135010.35 best solution, best possible 126641.86 (44.94 seconds)
Cbc0010I After 27100 nodes, 8310 on tree, 135010.35 best solution, best possible 126642.82 (45.07 seconds)
Cbc0010I After 27200 nodes, 8359 on tree, 135010.35 best solution, best possible 126643.54 (45.23 seconds)
Cbc0010I After 27300 nodes, 8409 on tree, 135010.35 best solution, best possible 126644.29 (45.38 seconds)
Cbc0010I After 27400 nodes, 8458 on tree, 135010.35 best solution, best possible 126645.14 (45.54 seconds)
Cbc0010I After 27500 nodes, 8510 on tree, 135010.35 best solution, best possible 126645.91 (45.68 seconds)
Cbc0010I After 27600 nodes, 8559 on tree, 135010.35 best solution, best possible 126646.68 (45.84 seconds)
Cbc0010I After 27700 nodes, 8610 on tree, 135010.35 best solution, best possible 126647.39 (45.97 seconds)
Cbc0010I After 27800 nodes, 8660 on tree, 135010.35 best solution, best possible 126648.08 (46.16 seconds)
Cbc0010I After 27900 nodes, 8711 on tree, 135010.35 best solution, best possible 126649.22 (46.33 seconds)
Cbc0010I After 28000 nodes, 8759 on tree, 135010.35 best solution, best possible 126650.02 (46.52 seconds)
Cbc0010I After 28100 nodes, 8810 on tree, 135010.35 best solution, best possible 126650.77 (46.67 seconds)
Cbc0010I After 28200 nodes, 8860 on tree, 135010.35 best solution, best possible 126650.79 (46.82 seconds)
Cbc0010I After 28300 nodes, 8909 on tree, 135010.35 best solution, best possible 126652.17 (46.99 seconds)
Cbc0010I After 28400 nodes, 8959 on tree, 135010.35 best solution, best possible 126652.78 (47.15 seconds)
Cbc0010I After 28500 nodes, 9009 on tree, 135010.35 best solution, best possible 126653.5 (47.31 seconds)
Cbc0010I After 28600 nodes, 9060 on tree, 135010.35 best solution, best possible 126654.32 (47.46 seconds)
Cbc0010I After 28700 nodes, 9109 on tree, 135010.35 best solution, best possible 126655.13 (47.63 seconds)
Cbc0010I After 28800 nodes, 9159 on tree, 135010.35 best solution, best possible 126655.87 (47.78 seconds)
Cbc0010I After 28900 nodes, 9209 on tree, 135010.35 best solution, best possible 126656.41 (47.91 seconds)
Cbc0010I After 29000 nodes, 9260 on tree, 135010.35 best solution, best possible 126657.14 (48.08 seconds)
Cbc0010I After 29100 nodes, 9308 on tree, 135010.35 best solution, best possible 126657.14 (48.18 seconds)
Cbc0010I After 29200 nodes, 9358 on tree, 135010.35 best solution, best possible 126657.14 (48.28 seconds)
Cbc0010I After 29300 nodes, 9406 on tree, 135010.35 best solution, best possible 126657.14 (48.38 seconds)
Cbc0010I After 29400 nodes, 9456 on tree, 135010.35 best solution, best possible 126657.14 (48.50 seconds)
Cbc0010I After 29500 nodes, 9505 on tree, 135010.35 best solution, best possible 126657.14 (48.61 seconds)
Cbc0010I After 29600 nodes, 9558 on tree, 135010.35 best solution, best possible 126657.14 (48.70 seconds)
Cbc0010I After 29700 nodes, 9606 on tree, 135010.35 best solution, best possible 126657.14 (48.79 seconds)
Cbc0010I After 29800 nodes, 9657 on tree, 135010.35 best solution, best possible 126657.14 (48.90 seconds)
Cbc0010I After 29900 nodes, 9708 on tree, 135010.35 best solution, best possible 126657.14 (49.00 seconds)
Cbc0010I After 30000 nodes, 9756 on tree, 135010.35 best solution, best possible 126657.14 (49.08 seconds)
Cbc0010I After 30100 nodes, 9807 on tree, 135010.35 best solution, best possible 126657.86 (49.23 seconds)
Cbc0010I After 30200 nodes, 9856 on tree, 135010.35 best solution, best possible 126658.37 (49.38 seconds)
Cbc0010I After 30300 nodes, 9906 on tree, 135010.35 best solution, best possible 126659.24 (49.51 seconds)
Cbc0010I After 30400 nodes, 9957 on tree, 135010.35 best solution, best possible 126659.9 (49.65 seconds)
Cbc0010I After 30500 nodes, 10006 on tree, 135010.35 best solution, best possible 126660.4 (49.80 seconds)
Cbc0010I After 30600 nodes, 10057 on tree, 135010.35 best solution, best possible 126661.21 (49.95 seconds)
Cbc0010I After 30700 nodes, 10106 on tree, 135010.35 best solution, best possible 126662.05 (50.11 seconds)
Cbc0010I After 30800 nodes, 10155 on tree, 135010.35 best solution, best possible 126662.8 (50.26 seconds)
Cbc0010I After 30900 nodes, 10206 on tree, 135010.35 best solution, best possible 126663.32 (50.41 seconds)
Cbc0010I After 31000 nodes, 10257 on tree, 135010.35 best solution, best possible 126663.97 (50.56 seconds)
Cbc0010I After 31100 nodes, 10307 on tree, 135010.35 best solution, best possible 126664.18 (50.66 seconds)
Cbc0010I After 31200 nodes, 10356 on tree, 135010.35 best solution, best possible 126664.18 (50.76 seconds)
Cbc0010I After 31300 nodes, 10403 on tree, 135010.35 best solution, best possible 126664.18 (50.85 seconds)
Cbc0010I After 31400 nodes, 10453 on tree, 135010.35 best solution, best possible 126664.18 (50.95 seconds)
Cbc0010I After 31500 nodes, 10503 on tree, 135010.35 best solution, best possible 126664.18 (51.03 seconds)
Cbc0010I After 31600 nodes, 10550 on tree, 135010.35 best solution, best possible 126664.18 (51.13 seconds)
Cbc0010I After 31700 nodes, 10597 on tree, 135010.35 best solution, best possible 126664.18 (51.22 seconds)
Cbc0010I After 31800 nodes, 10640 on tree, 135010.35 best solution, best possible 126664.18 (51.32 seconds)
Cbc0010I After 31900 nodes, 10689 on tree, 135010.35 best solution, best possible 126664.18 (51.42 seconds)
Cbc0010I After 32000 nodes, 10740 on tree, 135010.35 best solution, best possible 126664.18 (51.53 seconds)
Cbc0010I After 32100 nodes, 10794 on tree, 135010.35 best solution, best possible 126664.18 (51.61 seconds)
Cbc0010I After 32200 nodes, 10812 on tree, 135010.35 best solution, best possible 126664.18 (51.69 seconds)
Cbc0012I Integer solution of 134891.11 found by heuristic after 1624993 iterations and 32205 nodes (51.69 seconds)
Cbc0010I After 32300 nodes, 10838 on tree, 134891.11 best solution, best possible 126664.18 (51.79 seconds)
Cbc0010I After 32400 nodes, 10884 on tree, 134891.11 best solution, best possible 126664.18 (51.88 seconds)
Cbc0010I After 32500 nodes, 10935 on tree, 134891.11 best solution, best possible 126664.18 (51.99 seconds)
Cbc0010I After 32600 nodes, 10981 on tree, 134891.11 best solution, best possible 126664.18 (52.08 seconds)
Cbc0010I After 32700 nodes, 11033 on tree, 134891.11 best solution, best possible 126664.18 (52.18 seconds)
Cbc0010I After 32800 nodes, 11076 on tree, 134891.11 best solution, best possible 126664.18 (52.29 seconds)
Cbc0010I After 32900 nodes, 11125 on tree, 134891.11 best solution, best possible 126664.18 (52.38 seconds)
Cbc0010I After 33000 nodes, 11174 on tree, 134891.11 best solution, best possible 126664.18 (52.51 seconds)
Cbc0010I After 33100 nodes, 11223 on tree, 134891.11 best solution, best possible 126664.67 (52.65 seconds)
Cbc0010I After 33200 nodes, 11274 on tree, 134891.11 best solution, best possible 126665.35 (52.82 seconds)
Cbc0010I After 33300 nodes, 11324 on tree, 134891.11 best solution, best possible 126666.03 (52.99 seconds)
Cbc0010I After 33400 nodes, 11374 on tree, 134891.11 best solution, best possible 126666.73 (53.12 seconds)
Cbc0010I After 33500 nodes, 11424 on tree, 134891.11 best solution, best possible 126667.29 (53.24 seconds)
Cbc0010I After 33600 nodes, 11474 on tree, 134891.11 best solution, best possible 126667.9 (53.37 seconds)
Cbc0010I After 33700 nodes, 11525 on tree, 134891.11 best solution, best possible 126668.48 (53.49 seconds)
Cbc0010I After 33800 nodes, 11575 on tree, 134891.11 best solution, best possible 126669.13 (53.62 seconds)
Cbc0010I After 33900 nodes, 11624 on tree, 134891.11 best solution, best possible 126669.84 (53.75 seconds)
Cbc0010I After 34000 nodes, 11674 on tree, 134891.11 best solution, best possible 126670.38 (53.92 seconds)
Cbc0010I After 34100 nodes, 11684 on tree, 134891.11 best solution, best possible 126670.49 (53.97 seconds)
Cbc0010I After 34200 nodes, 11677 on tree, 134891.11 best solution, best possible 126670.49 (54.02 seconds)
Cbc0012I Integer solution of 134639.59 found by heuristic after 1727590 iterations and 34296 nodes (54.07 seconds)
Cbc0010I After 34300 nodes, 11654 on tree, 134639.59 best solution, best possible 126670.49 (54.08 seconds)
Cbc0010I After 34400 nodes, 11706 on tree, 134639.59 best solution, best possible 126670.49 (54.18 seconds)
Cbc0010I After 34500 nodes, 11754 on tree, 134639.59 best solution, best possible 126670.49 (54.30 seconds)
Cbc0010I After 34600 nodes, 11803 on tree, 134639.59 best solution, best possible 126670.49 (54.43 seconds)
Cbc0010I After 34700 nodes, 11853 on tree, 134639.59 best solution, best possible 126670.49 (54.52 seconds)
Cbc0010I After 34800 nodes, 11902 on tree, 134639.59 best solution, best possible 126670.49 (54.62 seconds)
Cbc0010I After 34900 nodes, 11954 on tree, 134639.59 best solution, best possible 126670.49 (54.72 seconds)
Cbc0010I After 35000 nodes, 12001 on tree, 134639.59 best solution, best possible 126670.49 (54.82 seconds)
Cbc0010I After 35100 nodes, 11990 on tree, 134639.59 best solution, best possible 126670.49 (54.87 seconds)
Cbc0010I After 35200 nodes, 11986 on tree, 134639.59 best solution, best possible 126670.49 (54.93 seconds)
Cbc0012I Integer solution of 134621.79 found by heuristic after 1767356 iterations and 35225 nodes (54.94 seconds)
Cbc0010I After 35300 nodes, 12016 on tree, 134621.79 best solution, best possible 126670.49 (55.02 seconds)
Cbc0010I After 35400 nodes, 12065 on tree, 134621.79 best solution, best possible 126670.49 (55.13 seconds)
Cbc0010I After 35500 nodes, 12111 on tree, 134621.79 best solution, best possible 126670.49 (55.23 seconds)
Cbc0010I After 35600 nodes, 12160 on tree, 134621.79 best solution, best possible 126670.49 (55.32 seconds)
Cbc0010I After 35700 nodes, 12208 on tree, 134621.79 best solution, best possible 126670.49 (55.41 seconds)
Cbc0010I After 35800 nodes, 12259 on tree, 134621.79 best solution, best possible 126670.49 (55.53 seconds)
Cbc0010I After 35900 nodes, 12309 on tree, 134621.79 best solution, best possible 126670.49 (55.64 seconds)
Cbc0010I After 36000 nodes, 12359 on tree, 134621.79 best solution, best possible 126670.49 (55.73 seconds)
Cbc0010I After 36100 nodes, 12397 on tree, 134621.79 best solution, best possible 126670.49 (55.82 seconds)
Cbc0010I After 36200 nodes, 12452 on tree, 134621.79 best solution, best possible 126670.49 (55.90 seconds)
Cbc0010I After 36300 nodes, 12444 on tree, 134621.79 best solution, best possible 126670.49 (55.97 seconds)
Cbc0010I After 36400 nodes, 12445 on tree, 134621.79 best solution, best possible 126670.49 (56.06 seconds)
Cbc0010I After 36500 nodes, 12439 on tree, 134621.79 best solution, best possible 126670.49 (56.15 seconds)
Cbc0010I After 36600 nodes, 12435 on tree, 134621.79 best solution, best possible 126670.49 (56.25 seconds)
Cbc0010I After 36700 nodes, 12431 on tree, 134621.79 best solution, best possible 126670.49 (56.33 seconds)
Cbc0010I After 36800 nodes, 12429 on tree, 134621.79 best solution, best possible 126670.49 (56.43 seconds)
Cbc0010I After 36900 nodes, 12421 on tree, 134621.79 best solution, best possible 126670.49 (56.52 seconds)
Cbc0010I After 37000 nodes, 12438 on tree, 134621.79 best solution, best possible 126670.49 (56.62 seconds)
Cbc0010I After 37100 nodes, 12427 on tree, 134621.79 best solution, best possible 126670.49 (56.70 seconds)
Cbc0010I After 37200 nodes, 12428 on tree, 134621.79 best solution, best possible 126670.49 (56.79 seconds)
Cbc0010I After 37300 nodes, 12420 on tree, 134621.79 best solution, best possible 126670.49 (56.88 seconds)
Cbc0010I After 37400 nodes, 12443 on tree, 134621.79 best solution, best possible 126670.49 (56.97 seconds)
Cbc0010I After 37500 nodes, 12438 on tree, 134621.79 best solution, best possible 126670.49 (57.04 seconds)
Cbc0010I After 37600 nodes, 12421 on tree, 134621.79 best solution, best possible 126670.49 (57.12 seconds)
Cbc0010I After 37700 nodes, 12416 on tree, 134621.79 best solution, best possible 126670.49 (57.22 seconds)
Cbc0010I After 37800 nodes, 12415 on tree, 134621.79 best solution, best possible 126670.49 (57.31 seconds)
Cbc0010I After 37900 nodes, 12425 on tree, 134621.79 best solution, best possible 126670.49 (57.40 seconds)
Cbc0010I After 38000 nodes, 12417 on tree, 134621.79 best solution, best possible 126670.49 (57.49 seconds)
Cbc0010I After 38100 nodes, 12410 on tree, 134621.79 best solution, best possible 126670.49 (57.56 seconds)
Cbc0010I After 38200 nodes, 12444 on tree, 134621.79 best solution, best possible 126670.49 (57.66 seconds)
Cbc0010I After 38300 nodes, 12451 on tree, 134621.79 best solution, best possible 126670.49 (57.74 seconds)
Cbc0010I After 38400 nodes, 12445 on tree, 134621.79 best solution, best possible 126670.49 (57.80 seconds)
Cbc0010I After 38500 nodes, 12436 on tree, 134621.79 best solution, best possible 126670.49 (57.86 seconds)
Cbc0010I After 38600 nodes, 12443 on tree, 134621.79 best solution, best possible 126670.49 (57.94 seconds)
Cbc0010I After 38700 nodes, 12478 on tree, 134621.79 best solution, best possible 126670.49 (58.00 seconds)
Cbc0010I After 38800 nodes, 12473 on tree, 134621.79 best solution, best possible 126670.49 (58.04 seconds)
Cbc0010I After 38900 nodes, 12466 on tree, 134621.79 best solution, best possible 126670.49 (58.09 seconds)
Cbc0010I After 39000 nodes, 12455 on tree, 134621.79 best solution, best possible 126670.49 (58.14 seconds)
Cbc0010I After 39100 nodes, 12451 on tree, 134621.79 best solution, best possible 126670.49 (58.19 seconds)
Cbc0010I After 39200 nodes, 12453 on tree, 134621.79 best solution, best possible 126670.49 (58.24 seconds)
Cbc0010I After 39300 nodes, 12451 on tree, 134621.79 best solution, best possible 126670.49 (58.30 seconds)
Cbc0010I After 39400 nodes, 12460 on tree, 134621.79 best solution, best possible 126670.49 (58.36 seconds)
Cbc0010I After 39500 nodes, 12451 on tree, 134621.79 best solution, best possible 126670.49 (58.40 seconds)
Cbc0010I After 39600 nodes, 12439 on tree, 134621.79 best solution, best possible 126670.49 (58.45 seconds)
Cbc0010I After 39700 nodes, 12442 on tree, 134621.79 best solution, best possible 126670.49 (58.52 seconds)
Cbc0010I After 39800 nodes, 12439 on tree, 134621.79 best solution, best possible 126670.49 (58.59 seconds)
Cbc0010I After 39900 nodes, 12436 on tree, 134621.79 best solution, best possible 126670.49 (58.65 seconds)
Cbc0010I After 40000 nodes, 12437 on tree, 134621.79 best solution, best possible 126670.49 (58.74 seconds)
Cbc0010I After 40100 nodes, 12434 on tree, 134621.79 best solution, best possible 126670.49 (58.80 seconds)
Cbc0010I After 40200 nodes, 12432 on tree, 134621.79 best solution, best possible 126670.49 (58.86 seconds)
Cbc0010I After 40300 nodes, 12432 on tree, 134621.79 best solution, best possible 126670.49 (58.92 seconds)
Cbc0010I After 40400 nodes, 12423 on tree, 134621.79 best solution, best possible 126670.49 (58.99 seconds)
Cbc0010I After 40500 nodes, 12445 on tree, 134621.79 best solution, best possible 126670.49 (59.06 seconds)
Cbc0010I After 40600 nodes, 12439 on tree, 134621.79 best solution, best possible 126670.49 (59.14 seconds)
Cbc0010I After 40700 nodes, 12434 on tree, 134621.79 best solution, best possible 126670.49 (59.20 seconds)
Cbc0010I After 40800 nodes, 12421 on tree, 134621.79 best solution, best possible 126670.49 (59.26 seconds)
Cbc0010I After 40900 nodes, 12417 on tree, 134621.79 best solution, best possible 126670.49 (59.33 seconds)
Cbc0010I After 41000 nodes, 12441 on tree, 134621.79 best solution, best possible 126670.49 (59.43 seconds)
Cbc0010I After 41100 nodes, 12440 on tree, 134621.79 best solution, best possible 126670.49 (59.50 seconds)
Cbc0010I After 41200 nodes, 12430 on tree, 134621.79 best solution, best possible 126670.49 (59.56 seconds)
Cbc0010I After 41300 nodes, 12432 on tree, 134621.79 best solution, best possible 126670.49 (59.64 seconds)
Cbc0010I After 41400 nodes, 12426 on tree, 134621.79 best solution, best possible 126670.49 (59.70 seconds)
Cbc0010I After 41500 nodes, 12423 on tree, 134621.79 best solution, best possible 126670.49 (59.78 seconds)
Cbc0010I After 41600 nodes, 12429 on tree, 134621.79 best solution, best possible 126670.49 (59.85 seconds)
Cbc0010I After 41700 nodes, 12421 on tree, 134621.79 best solution, best possible 126670.49 (59.92 seconds)
Cbc0010I After 41800 nodes, 12431 on tree, 134621.79 best solution, best possible 126670.49 (60.01 seconds)
Cbc0010I After 41900 nodes, 12423 on tree, 134621.79 best solution, best possible 126670.49 (60.09 seconds)
Cbc0010I After 42000 nodes, 12410 on tree, 134621.79 best solution, best possible 126670.49 (60.16 seconds)
Cbc0010I After 42100 nodes, 12408 on tree, 134621.79 best solution, best possible 126670.49 (60.25 seconds)
Cbc0010I After 42200 nodes, 12429 on tree, 134621.79 best solution, best possible 126670.49 (60.32 seconds)
Cbc0010I After 42300 nodes, 12410 on tree, 134621.79 best solution, best possible 126670.49 (60.38 seconds)
Cbc0010I After 42400 nodes, 12409 on tree, 134621.79 best solution, best possible 126670.49 (60.45 seconds)
Cbc0010I After 42500 nodes, 12402 on tree, 134621.79 best solution, best possible 126670.49 (60.52 seconds)
Cbc0010I After 42600 nodes, 12414 on tree, 134621.79 best solution, best possible 126670.49 (60.62 seconds)
Cbc0010I After 42700 nodes, 12416 on tree, 134621.79 best solution, best possible 126670.49 (60.70 seconds)
Cbc0010I After 42800 nodes, 12413 on tree, 134621.79 best solution, best possible 126670.49 (60.80 seconds)
Cbc0010I After 42900 nodes, 12418 on tree, 134621.79 best solution, best possible 126670.49 (60.90 seconds)
Cbc0010I After 43000 nodes, 12407 on tree, 134621.79 best solution, best possible 126670.49 (61.00 seconds)
Cbc0010I After 43100 nodes, 12419 on tree, 134621.79 best solution, best possible 126670.49 (61.09 seconds)
Cbc0010I After 43200 nodes, 12415 on tree, 134621.79 best solution, best possible 126670.49 (61.15 seconds)
Cbc0010I After 43300 nodes, 12409 on tree, 134621.79 best solution, best possible 126670.49 (61.22 seconds)
Cbc0010I After 43400 nodes, 12406 on tree, 134621.79 best solution, best possible 126670.49 (61.30 seconds)
Cbc0010I After 43500 nodes, 12405 on tree, 134621.79 best solution, best possible 126670.49 (61.41 seconds)
Cbc0010I After 43600 nodes, 12419 on tree, 134621.79 best solution, best possible 126670.49 (61.54 seconds)
Cbc0010I After 43700 nodes, 12417 on tree, 134621.79 best solution, best possible 126670.49 (61.64 seconds)
Cbc0010I After 43800 nodes, 12409 on tree, 134621.79 best solution, best possible 126670.49 (61.76 seconds)
Cbc0010I After 43900 nodes, 12409 on tree, 134621.79 best solution, best possible 126670.49 (61.85 seconds)
Cbc0010I After 44000 nodes, 12412 on tree, 134621.79 best solution, best possible 126670.49 (61.93 seconds)
Cbc0010I After 44100 nodes, 12411 on tree, 134621.79 best solution, best possible 126670.49 (62.04 seconds)
Cbc0010I After 44200 nodes, 12416 on tree, 134621.79 best solution, best possible 126670.49 (62.14 seconds)
Cbc0010I After 44300 nodes, 12405 on tree, 134621.79 best solution, best possible 126670.49 (62.23 seconds)
Cbc0010I After 44400 nodes, 12401 on tree, 134621.79 best solution, best possible 126670.49 (62.33 seconds)
Cbc0010I After 44500 nodes, 12409 on tree, 134621.79 best solution, best possible 126670.49 (62.42 seconds)
Cbc0010I After 44600 nodes, 12390 on tree, 134621.79 best solution, best possible 126670.49 (62.51 seconds)
Cbc0010I After 44700 nodes, 12414 on tree, 134621.79 best solution, best possible 126670.49 (62.61 seconds)
Cbc0010I After 44800 nodes, 12416 on tree, 134621.79 best solution, best possible 126670.49 (62.70 seconds)
Cbc0010I After 44900 nodes, 12417 on tree, 134621.79 best solution, best possible 126670.49 (62.81 seconds)
Cbc0010I After 45000 nodes, 12419 on tree, 134621.79 best solution, best possible 126670.49 (62.92 seconds)
Cbc0010I After 45100 nodes, 12439 on tree, 134621.79 best solution, best possible 126670.49 (62.98 seconds)
Cbc0010I After 45200 nodes, 12420 on tree, 134621.79 best solution, best possible 126670.49 (63.05 seconds)
Cbc0010I After 45300 nodes, 12413 on tree, 134621.79 best solution, best possible 126670.49 (63.14 seconds)
Cbc0010I After 45400 nodes, 12407 on tree, 134621.79 best solution, best possible 126670.49 (63.25 seconds)
Cbc0010I After 45500 nodes, 12397 on tree, 134621.79 best solution, best possible 126670.49 (63.34 seconds)
Cbc0010I After 45600 nodes, 12415 on tree, 134621.79 best solution, best possible 126670.49 (63.43 seconds)
Cbc0010I After 45700 nodes, 12402 on tree, 134621.79 best solution, best possible 126670.49 (63.50 seconds)
Cbc0010I After 45800 nodes, 12411 on tree, 134621.79 best solution, best possible 126670.49 (63.61 seconds)
Cbc0010I After 45900 nodes, 12438 on tree, 134621.79 best solution, best possible 126670.49 (63.74 seconds)
Cbc0010I After 46000 nodes, 12421 on tree, 134621.79 best solution, best possible 126670.49 (63.82 seconds)
Cbc0010I After 46100 nodes, 12420 on tree, 134621.79 best solution, best possible 126670.49 (63.90 seconds)
Cbc0010I After 46200 nodes, 12411 on tree, 134621.79 best solution, best possible 126670.49 (63.98 seconds)
Cbc0010I After 46300 nodes, 12419 on tree, 134621.79 best solution, best possible 126670.49 (64.07 seconds)
Cbc0010I After 46400 nodes, 12414 on tree, 134621.79 best solution, best possible 126670.49 (64.15 seconds)
Cbc0010I After 46500 nodes, 12400 on tree, 134621.79 best solution, best possible 126670.49 (64.20 seconds)
Cbc0010I After 46600 nodes, 12418 on tree, 134621.79 best solution, best possible 126670.49 (64.32 seconds)
Cbc0010I After 46700 nodes, 12423 on tree, 134621.79 best solution, best possible 126670.49 (64.42 seconds)
Cbc0010I After 46800 nodes, 12431 on tree, 134621.79 best solution, best possible 126670.49 (64.51 seconds)
Cbc0010I After 46900 nodes, 12421 on tree, 134621.79 best solution, best possible 126670.49 (64.60 seconds)
Cbc0010I After 47000 nodes, 12404 on tree, 134621.79 best solution, best possible 126670.49 (64.68 seconds)
Cbc0010I After 47100 nodes, 12423 on tree, 134621.79 best solution, best possible 126670.49 (64.78 seconds)
Cbc0010I After 47200 nodes, 12407 on tree, 134621.79 best solution, best possible 126670.49 (64.89 seconds)
Cbc0010I After 47300 nodes, 12409 on tree, 134621.79 best solution, best possible 126670.49 (64.98 seconds)
Cbc0010I After 47400 nodes, 12411 on tree, 134621.79 best solution, best possible 126670.49 (65.09 seconds)
Cbc0010I After 47500 nodes, 12413 on tree, 134621.79 best solution, best possible 126670.49 (65.20 seconds)
Cbc0010I After 47600 nodes, 12420 on tree, 134621.79 best solution, best possible 126670.49 (65.27 seconds)
Cbc0010I After 47700 nodes, 12408 on tree, 134621.79 best solution, best possible 126670.49 (65.35 seconds)
Cbc0010I After 47800 nodes, 12396 on tree, 134621.79 best solution, best possible 126670.49 (65.43 seconds)
Cbc0010I After 47900 nodes, 12394 on tree, 134621.79 best solution, best possible 126670.49 (65.55 seconds)
Cbc0010I After 48000 nodes, 12399 on tree, 134621.79 best solution, best possible 126670.49 (65.67 seconds)
Cbc0010I After 48100 nodes, 12405 on tree, 134621.79 best solution, best possible 126670.49 (65.79 seconds)
Cbc0010I After 48200 nodes, 12402 on tree, 134621.79 best solution, best possible 126670.49 (65.89 seconds)
Cbc0010I After 48300 nodes, 12391 on tree, 134621.79 best solution, best possible 126670.49 (65.98 seconds)
Cbc0010I After 48400 nodes, 12429 on tree, 134621.79 best solution, best possible 126670.49 (66.10 seconds)
Cbc0010I After 48500 nodes, 12429 on tree, 134621.79 best solution, best possible 126670.49 (66.20 seconds)
Cbc0010I After 48600 nodes, 12415 on tree, 134621.79 best solution, best possible 126670.49 (66.29 seconds)
Cbc0010I After 48700 nodes, 12419 on tree, 134621.79 best solution, best possible 126670.49 (66.40 seconds)
Cbc0010I After 48800 nodes, 12411 on tree, 134621.79 best solution, best possible 126670.49 (66.50 seconds)
Cbc0010I After 48900 nodes, 12412 on tree, 134621.79 best solution, best possible 126670.49 (66.62 seconds)
Cbc0010I After 49000 nodes, 12406 on tree, 134621.79 best solution, best possible 126670.49 (66.73 seconds)
Cbc0010I After 49100 nodes, 12428 on tree, 134621.79 best solution, best possible 126670.49 (66.83 seconds)
Cbc0010I After 49200 nodes, 12421 on tree, 134621.79 best solution, best possible 126670.49 (66.93 seconds)
Cbc0010I After 49300 nodes, 12410 on tree, 134621.79 best solution, best possible 126670.49 (67.01 seconds)
Cbc0010I After 49400 nodes, 12413 on tree, 134621.79 best solution, best possible 126670.49 (67.09 seconds)
Cbc0010I After 49500 nodes, 12415 on tree, 134621.79 best solution, best possible 126670.49 (67.16 seconds)
Cbc0010I After 49600 nodes, 12397 on tree, 134621.79 best solution, best possible 126670.49 (67.23 seconds)
Cbc0010I After 49700 nodes, 12414 on tree, 134621.79 best solution, best possible 126670.49 (67.35 seconds)
Cbc0010I After 49800 nodes, 12409 on tree, 134621.79 best solution, best possible 126670.49 (67.45 seconds)
Cbc0010I After 49900 nodes, 12403 on tree, 134621.79 best solution, best possible 126670.49 (67.53 seconds)
Cbc0010I After 50000 nodes, 12386 on tree, 134621.79 best solution, best possible 126670.49 (67.61 seconds)
Cbc0010I After 50100 nodes, 12420 on tree, 134621.79 best solution, best possible 126670.49 (67.74 seconds)
Cbc0010I After 50200 nodes, 12422 on tree, 134621.79 best solution, best possible 126670.49 (67.86 seconds)
Cbc0010I After 50300 nodes, 12422 on tree, 134621.79 best solution, best possible 126670.49 (67.96 seconds)
Cbc0010I After 50400 nodes, 12409 on tree, 134621.79 best solution, best possible 126670.49 (68.06 seconds)
Cbc0010I After 50500 nodes, 12407 on tree, 134621.79 best solution, best possible 126670.49 (68.17 seconds)
Cbc0010I After 50600 nodes, 12406 on tree, 134621.79 best solution, best possible 126670.49 (68.28 seconds)
Cbc0010I After 50700 nodes, 12406 on tree, 134621.79 best solution, best possible 126670.49 (68.35 seconds)
Cbc0010I After 50800 nodes, 12402 on tree, 134621.79 best solution, best possible 126670.49 (68.44 seconds)
Cbc0010I After 50900 nodes, 12417 on tree, 134621.79 best solution, best possible 126670.49 (68.55 seconds)
Cbc0010I After 51000 nodes, 12406 on tree, 134621.79 best solution, best possible 126670.49 (68.65 seconds)
Cbc0010I After 51100 nodes, 12395 on tree, 134621.79 best solution, best possible 126670.49 (68.74 seconds)
Cbc0010I After 51200 nodes, 12394 on tree, 134621.79 best solution, best possible 126670.49 (68.86 seconds)
Cbc0010I After 51300 nodes, 12393 on tree, 134621.79 best solution, best possible 126670.49 (68.99 seconds)
Cbc0010I After 51400 nodes, 12390 on tree, 134621.79 best solution, best possible 126670.49 (69.09 seconds)
Cbc0010I After 51500 nodes, 12413 on tree, 134621.79 best solution, best possible 126670.49 (69.24 seconds)
Cbc0010I After 51600 nodes, 12411 on tree, 134621.79 best solution, best possible 126670.49 (69.35 seconds)
Cbc0010I After 51700 nodes, 12402 on tree, 134621.79 best solution, best possible 126670.49 (69.46 seconds)
Cbc0010I After 51800 nodes, 12405 on tree, 134621.79 best solution, best possible 126670.49 (69.57 seconds)
Cbc0010I After 51900 nodes, 12404 on tree, 134621.79 best solution, best possible 126670.49 (69.69 seconds)
Cbc0010I After 52000 nodes, 12400 on tree, 134621.79 best solution, best possible 126670.49 (69.80 seconds)
Cbc0010I After 52100 nodes, 12399 on tree, 134621.79 best solution, best possible 126670.49 (69.94 seconds)
Cbc0010I After 52200 nodes, 12389 on tree, 134621.79 best solution, best possible 126670.49 (70.04 seconds)
Cbc0010I After 52300 nodes, 12394 on tree, 134621.79 best solution, best possible 126670.49 (70.15 seconds)
Cbc0010I After 52400 nodes, 12390 on tree, 134621.79 best solution, best possible 126670.49 (70.26 seconds)
Cbc0010I After 52500 nodes, 12390 on tree, 134621.79 best solution, best possible 126670.49 (70.36 seconds)
Cbc0010I After 52600 nodes, 12389 on tree, 134621.79 best solution, best possible 126670.49 (70.46 seconds)
Cbc0010I After 52700 nodes, 12403 on tree, 134621.79 best solution, best possible 126670.49 (70.53 seconds)
Cbc0010I After 52800 nodes, 12409 on tree, 134621.79 best solution, best possible 126670.49 (70.62 seconds)
Cbc0010I After 52900 nodes, 12406 on tree, 134621.79 best solution, best possible 126670.49 (70.67 seconds)
Cbc0010I After 53000 nodes, 12410 on tree, 134621.79 best solution, best possible 126670.49 (70.76 seconds)
Cbc0010I After 53100 nodes, 12402 on tree, 134621.79 best solution, best possible 126670.49 (70.83 seconds)
Cbc0010I After 53200 nodes, 12391 on tree, 134621.79 best solution, best possible 126670.49 (70.90 seconds)
Cbc0010I After 53300 nodes, 12399 on tree, 134621.79 best solution, best possible 126670.49 (70.96 seconds)
Cbc0010I After 53400 nodes, 12399 on tree, 134621.79 best solution, best possible 126670.49 (71.02 seconds)
Cbc0010I After 53500 nodes, 12401 on tree, 134621.79 best solution, best possible 126670.49 (71.08 seconds)
Cbc0010I After 53600 nodes, 12398 on tree, 134621.79 best solution, best possible 126670.49 (71.14 seconds)
Cbc0010I After 53700 nodes, 12385 on tree, 134621.79 best solution, best possible 126670.49 (71.21 seconds)
Cbc0010I After 53800 nodes, 12392 on tree, 134621.79 best solution, best possible 126670.49 (71.28 seconds)
Cbc0010I After 53900 nodes, 12383 on tree, 134621.79 best solution, best possible 126670.49 (71.34 seconds)
Cbc0010I After 54000 nodes, 12398 on tree, 134621.79 best solution, best possible 126670.49 (71.48 seconds)
Cbc0010I After 54100 nodes, 12385 on tree, 134621.79 best solution, best possible 126670.49 (71.60 seconds)
Cbc0010I After 54200 nodes, 12394 on tree, 134621.79 best solution, best possible 126670.49 (71.72 seconds)
Cbc0010I After 54300 nodes, 12403 on tree, 134621.79 best solution, best possible 126670.49 (71.82 seconds)
Cbc0010I After 54400 nodes, 12391 on tree, 134621.79 best solution, best possible 126670.49 (71.91 seconds)
Cbc0010I After 54500 nodes, 12388 on tree, 134621.79 best solution, best possible 126670.49 (71.99 seconds)
Cbc0010I After 54600 nodes, 12400 on tree, 134621.79 best solution, best possible 126670.49 (72.14 seconds)
Cbc0010I After 54700 nodes, 12389 on tree, 134621.79 best solution, best possible 126670.49 (72.23 seconds)
Cbc0010I After 54800 nodes, 12383 on tree, 134621.79 best solution, best possible 126670.49 (72.34 seconds)
Cbc0010I After 54900 nodes, 12394 on tree, 134621.79 best solution, best possible 126670.49 (72.45 seconds)
Cbc0010I After 55000 nodes, 12389 on tree, 134621.79 best solution, best possible 126670.49 (72.55 seconds)
Cbc0010I After 55100 nodes, 12389 on tree, 134621.79 best solution, best possible 126670.49 (72.68 seconds)
Cbc0010I After 55200 nodes, 12382 on tree, 134621.79 best solution, best possible 126670.49 (72.78 seconds)
Cbc0010I After 55300 nodes, 12411 on tree, 134621.79 best solution, best possible 126670.49 (72.91 seconds)
Cbc0010I After 55400 nodes, 12392 on tree, 134621.79 best solution, best possible 126670.49 (73.03 seconds)
Cbc0010I After 55500 nodes, 12384 on tree, 134621.79 best solution, best possible 126670.49 (73.13 seconds)
Cbc0010I After 55600 nodes, 12386 on tree, 134621.79 best solution, best possible 126670.49 (73.23 seconds)
Cbc0010I After 55700 nodes, 12380 on tree, 134621.79 best solution, best possible 126670.49 (73.31 seconds)
Cbc0010I After 55800 nodes, 12390 on tree, 134621.79 best solution, best possible 126670.49 (73.43 seconds)
Cbc0010I After 55900 nodes, 12375 on tree, 134621.79 best solution, best possible 126670.49 (73.53 seconds)
Cbc0010I After 56000 nodes, 12417 on tree, 134621.79 best solution, best possible 126670.49 (73.68 seconds)
Cbc0010I After 56100 nodes, 12416 on tree, 134621.79 best solution, best possible 126670.49 (73.79 seconds)
Cbc0010I After 56200 nodes, 12405 on tree, 134621.79 best solution, best possible 126670.49 (73.90 seconds)
Cbc0010I After 56300 nodes, 12406 on tree, 134621.79 best solution, best possible 126670.49 (74.02 seconds)
Cbc0010I After 56400 nodes, 12402 on tree, 134621.79 best solution, best possible 126670.49 (74.13 seconds)
Cbc0010I After 56500 nodes, 12402 on tree, 134621.79 best solution, best possible 126670.49 (74.24 seconds)
Cbc0010I After 56600 nodes, 12408 on tree, 134621.79 best solution, best possible 126670.49 (74.35 seconds)
Cbc0010I After 56700 nodes, 12411 on tree, 134621.79 best solution, best possible 126670.49 (74.46 seconds)
Cbc0010I After 56800 nodes, 12397 on tree, 134621.79 best solution, best possible 126670.49 (74.54 seconds)
Cbc0010I After 56900 nodes, 12394 on tree, 134621.79 best solution, best possible 126670.49 (74.67 seconds)
Cbc0010I After 57000 nodes, 12401 on tree, 134621.79 best solution, best possible 126670.49 (74.80 seconds)
Cbc0010I After 57100 nodes, 12410 on tree, 134621.79 best solution, best possible 126670.49 (74.91 seconds)
Cbc0010I After 57200 nodes, 12403 on tree, 134621.79 best solution, best possible 126670.49 (75.01 seconds)
Cbc0010I After 57300 nodes, 12405 on tree, 134621.79 best solution, best possible 126670.49 (75.10 seconds)
Cbc0010I After 57400 nodes, 12396 on tree, 134621.79 best solution, best possible 126670.49 (75.23 seconds)
Cbc0010I After 57500 nodes, 12407 on tree, 134621.79 best solution, best possible 126670.49 (75.35 seconds)
Cbc0010I After 57600 nodes, 12398 on tree, 134621.79 best solution, best possible 126670.49 (75.47 seconds)
Cbc0010I After 57700 nodes, 12394 on tree, 134621.79 best solution, best possible 126670.49 (75.58 seconds)
Cbc0010I After 57800 nodes, 12387 on tree, 134621.79 best solution, best possible 126670.49 (75.70 seconds)
Cbc0010I After 57900 nodes, 12395 on tree, 134621.79 best solution, best possible 126670.49 (75.83 seconds)
Cbc0010I After 58000 nodes, 12392 on tree, 134621.79 best solution, best possible 126670.49 (75.95 seconds)
Cbc0010I After 58100 nodes, 12402 on tree, 134621.79 best solution, best possible 126670.49 (76.07 seconds)
Cbc0010I After 58200 nodes, 12398 on tree, 134621.79 best solution, best possible 126670.49 (76.17 seconds)
Cbc0010I After 58300 nodes, 12401 on tree, 134621.79 best solution, best possible 126670.49 (76.29 seconds)
Cbc0010I After 58400 nodes, 12398 on tree, 134621.79 best solution, best possible 126670.49 (76.40 seconds)
Cbc0010I After 58500 nodes, 12395 on tree, 134621.79 best solution, best possible 126670.49 (76.52 seconds)
Cbc0010I After 58600 nodes, 12389 on tree, 134621.79 best solution, best possible 126670.49 (76.67 seconds)
Cbc0010I After 58700 nodes, 12395 on tree, 134621.79 best solution, best possible 126670.49 (76.84 seconds)
Cbc0010I After 58800 nodes, 12384 on tree, 134621.79 best solution, best possible 126670.49 (76.96 seconds)
Cbc0010I After 58900 nodes, 12395 on tree, 134621.79 best solution, best possible 126670.49 (77.06 seconds)
Cbc0010I After 59000 nodes, 12401 on tree, 134621.79 best solution, best possible 126670.49 (77.16 seconds)
Cbc0010I After 59100 nodes, 12392 on tree, 134621.79 best solution, best possible 126670.49 (77.27 seconds)
Cbc0010I After 59200 nodes, 12387 on tree, 134621.79 best solution, best possible 126670.49 (77.36 seconds)
Cbc0010I After 59300 nodes, 12397 on tree, 134621.79 best solution, best possible 126670.49 (77.48 seconds)
Cbc0010I After 59400 nodes, 12391 on tree, 134621.79 best solution, best possible 126670.49 (77.59 seconds)
Cbc0010I After 59500 nodes, 12395 on tree, 134621.79 best solution, best possible 126670.49 (77.71 seconds)
Cbc0010I After 59600 nodes, 12393 on tree, 134621.79 best solution, best possible 126670.49 (77.80 seconds)
Cbc0010I After 59700 nodes, 12385 on tree, 134621.79 best solution, best possible 126670.49 (77.91 seconds)
Cbc0010I After 59800 nodes, 12390 on tree, 134621.79 best solution, best possible 126670.49 (78.02 seconds)
Cbc0010I After 59900 nodes, 12384 on tree, 134621.79 best solution, best possible 126670.49 (78.13 seconds)
Cbc0010I After 60000 nodes, 12387 on tree, 134621.79 best solution, best possible 126670.49 (78.22 seconds)
Cbc0010I After 60100 nodes, 12395 on tree, 134621.79 best solution, best possible 126670.49 (78.34 seconds)
Cbc0010I After 60200 nodes, 12384 on tree, 134621.79 best solution, best possible 126670.49 (78.45 seconds)
Cbc0010I After 60300 nodes, 12390 on tree, 134621.79 best solution, best possible 126670.49 (78.58 seconds)
Cbc0010I After 60400 nodes, 12380 on tree, 134621.79 best solution, best possible 126670.49 (78.70 seconds)
Cbc0010I After 60500 nodes, 12393 on tree, 134621.79 best solution, best possible 126670.49 (78.83 seconds)
Cbc0010I After 60600 nodes, 12383 on tree, 134621.79 best solution, best possible 126670.49 (78.94 seconds)
Cbc0010I After 60700 nodes, 12398 on tree, 134621.79 best solution, best possible 126670.49 (79.06 seconds)
Cbc0010I After 60800 nodes, 12383 on tree, 134621.79 best solution, best possible 126670.49 (79.15 seconds)
Cbc0010I After 60900 nodes, 12383 on tree, 134621.79 best solution, best possible 126670.49 (79.24 seconds)
Cbc0010I After 61000 nodes, 12388 on tree, 134621.79 best solution, best possible 126670.49 (79.36 seconds)
Cbc0010I After 61100 nodes, 12390 on tree, 134621.79 best solution, best possible 126670.49 (79.46 seconds)
Cbc0010I After 61200 nodes, 12405 on tree, 134621.79 best solution, best possible 126670.49 (79.57 seconds)
Cbc0010I After 61300 nodes, 12396 on tree, 134621.79 best solution, best possible 126670.49 (79.69 seconds)
Cbc0010I After 61400 nodes, 12404 on tree, 134621.79 best solution, best possible 126670.49 (79.83 seconds)
Cbc0010I After 61500 nodes, 12398 on tree, 134621.79 best solution, best possible 126670.49 (79.97 seconds)
Cbc0010I After 61600 nodes, 12394 on tree, 134621.79 best solution, best possible 126670.49 (80.09 seconds)
Cbc0010I After 61700 nodes, 12398 on tree, 134621.79 best solution, best possible 126670.49 (80.22 seconds)
Cbc0010I After 61800 nodes, 12402 on tree, 134621.79 best solution, best possible 126670.49 (80.37 seconds)
Cbc0010I After 61900 nodes, 12387 on tree, 134621.79 best solution, best possible 126670.49 (80.51 seconds)
Cbc0010I After 62000 nodes, 12406 on tree, 134621.79 best solution, best possible 126670.49 (80.67 seconds)
Cbc0010I After 62100 nodes, 12386 on tree, 134621.79 best solution, best possible 126670.49 (80.77 seconds)
Cbc0010I After 62200 nodes, 12391 on tree, 134621.79 best solution, best possible 126670.49 (80.90 seconds)
Cbc0010I After 62300 nodes, 12383 on tree, 134621.79 best solution, best possible 126670.49 (81.01 seconds)
Cbc0010I After 62400 nodes, 12393 on tree, 134621.79 best solution, best possible 126670.49 (81.13 seconds)
Cbc0010I After 62500 nodes, 12392 on tree, 134621.79 best solution, best possible 126670.49 (81.26 seconds)
Cbc0010I After 62600 nodes, 12393 on tree, 134621.79 best solution, best possible 126670.49 (81.37 seconds)
Cbc0010I After 62700 nodes, 12390 on tree, 134621.79 best solution, best possible 126670.49 (81.47 seconds)
Cbc0010I After 62800 nodes, 12391 on tree, 134621.79 best solution, best possible 126670.49 (81.54 seconds)
Cbc0010I After 62900 nodes, 12389 on tree, 134621.79 best solution, best possible 126670.49 (81.62 seconds)
Cbc0010I After 63000 nodes, 12387 on tree, 134621.79 best solution, best possible 126670.49 (81.72 seconds)
Cbc0010I After 63100 nodes, 12411 on tree, 134621.79 best solution, best possible 126670.49 (81.83 seconds)
Cbc0010I After 63200 nodes, 12436 on tree, 134621.79 best solution, best possible 126670.49 (81.89 seconds)
Cbc0010I After 63300 nodes, 12417 on tree, 134621.79 best solution, best possible 126670.49 (81.93 seconds)
Cbc0010I After 63400 nodes, 12398 on tree, 134621.79 best solution, best possible 126670.49 (82.01 seconds)
Cbc0010I After 63500 nodes, 12393 on tree, 134621.79 best solution, best possible 126670.49 (82.11 seconds)
Cbc0010I After 63600 nodes, 12394 on tree, 134621.79 best solution, best possible 126670.49 (82.19 seconds)
Cbc0010I After 63700 nodes, 12394 on tree, 134621.79 best solution, best possible 126670.49 (82.27 seconds)
Cbc0010I After 63800 nodes, 12396 on tree, 134621.79 best solution, best possible 126670.49 (82.34 seconds)
Cbc0010I After 63900 nodes, 12395 on tree, 134621.79 best solution, best possible 126670.49 (82.40 seconds)
Cbc0010I After 64000 nodes, 12390 on tree, 134621.79 best solution, best possible 126670.49 (82.45 seconds)
Cbc0010I After 64100 nodes, 12396 on tree, 134621.79 best solution, best possible 126670.49 (82.53 seconds)
Cbc0010I After 64200 nodes, 12385 on tree, 134621.79 best solution, best possible 126670.49 (82.58 seconds)
Cbc0010I After 64300 nodes, 12382 on tree, 134621.79 best solution, best possible 126670.49 (82.65 seconds)
Cbc0010I After 64400 nodes, 12417 on tree, 134621.79 best solution, best possible 126670.49 (82.74 seconds)
Cbc0010I After 64500 nodes, 12406 on tree, 134621.79 best solution, best possible 126670.49 (82.80 seconds)
Cbc0010I After 64600 nodes, 12404 on tree, 134621.79 best solution, best possible 126670.49 (82.86 seconds)
Cbc0010I After 64700 nodes, 12400 on tree, 134621.79 best solution, best possible 126670.49 (82.92 seconds)
Cbc0010I After 64800 nodes, 12394 on tree, 134621.79 best solution, best possible 126670.49 (82.97 seconds)
Cbc0010I After 64900 nodes, 12384 on tree, 134621.79 best solution, best possible 126670.49 (83.04 seconds)
Cbc0010I After 65000 nodes, 12392 on tree, 134621.79 best solution, best possible 126670.49 (83.10 seconds)
Cbc0010I After 65100 nodes, 12389 on tree, 134621.79 best solution, best possible 126670.49 (83.16 seconds)
Cbc0010I After 65200 nodes, 12381 on tree, 134621.79 best solution, best possible 126670.49 (83.21 seconds)
Cbc0010I After 65300 nodes, 12390 on tree, 134621.79 best solution, best possible 126670.49 (83.28 seconds)
Cbc0010I After 65400 nodes, 12383 on tree, 134621.79 best solution, best possible 126670.49 (83.34 seconds)
Cbc0010I After 65500 nodes, 12383 on tree, 134621.79 best solution, best possible 126670.49 (83.41 seconds)
Cbc0010I After 65600 nodes, 12396 on tree, 134621.79 best solution, best possible 126670.49 (83.47 seconds)
Cbc0010I After 65700 nodes, 12393 on tree, 134621.79 best solution, best possible 126670.49 (83.55 seconds)
Cbc0010I After 65800 nodes, 12389 on tree, 134621.79 best solution, best possible 126670.49 (83.64 seconds)
Cbc0010I After 65900 nodes, 12385 on tree, 134621.79 best solution, best possible 126670.49 (83.70 seconds)
Cbc0010I After 66000 nodes, 12402 on tree, 134621.79 best solution, best possible 126670.49 (83.75 seconds)
Cbc0010I After 66100 nodes, 12382 on tree, 134621.79 best solution, best possible 126670.49 (83.80 seconds)
Cbc0010I After 66200 nodes, 12385 on tree, 134621.79 best solution, best possible 126670.49 (83.87 seconds)
Cbc0010I After 66300 nodes, 12426 on tree, 134621.79 best solution, best possible 126670.49 (83.98 seconds)
Cbc0010I After 66400 nodes, 12418 on tree, 134621.79 best solution, best possible 126670.49 (84.09 seconds)
Cbc0010I After 66500 nodes, 12402 on tree, 134621.79 best solution, best possible 126670.49 (84.21 seconds)
Cbc0010I After 66600 nodes, 12406 on tree, 134621.79 best solution, best possible 126670.49 (84.34 seconds)
Cbc0010I After 66700 nodes, 12406 on tree, 134621.79 best solution, best possible 126670.49 (84.48 seconds)
Cbc0010I After 66800 nodes, 12407 on tree, 134621.79 best solution, best possible 126670.49 (84.61 seconds)
Cbc0010I After 66900 nodes, 12396 on tree, 134621.79 best solution, best possible 126670.49 (84.70 seconds)
Cbc0010I After 67000 nodes, 12401 on tree, 134621.79 best solution, best possible 126670.49 (84.81 seconds)
Cbc0010I After 67100 nodes, 12392 on tree, 134621.79 best solution, best possible 126670.49 (84.92 seconds)
Cbc0010I After 67200 nodes, 12401 on tree, 134621.79 best solution, best possible 126670.49 (85.00 seconds)
Cbc0010I After 67300 nodes, 12396 on tree, 134621.79 best solution, best possible 126670.49 (85.12 seconds)
Cbc0010I After 67400 nodes, 12393 on tree, 134621.79 best solution, best possible 126670.49 (85.23 seconds)
Cbc0010I After 67500 nodes, 12392 on tree, 134621.79 best solution, best possible 126670.49 (85.34 seconds)
Cbc0010I After 67600 nodes, 12387 on tree, 134621.79 best solution, best possible 126670.49 (85.43 seconds)
Cbc0010I After 67700 nodes, 12387 on tree, 134621.79 best solution, best possible 126670.49 (85.54 seconds)
Cbc0010I After 67800 nodes, 12381 on tree, 134621.79 best solution, best possible 126670.49 (85.63 seconds)
Cbc0010I After 67900 nodes, 12397 on tree, 134621.79 best solution, best possible 126670.49 (85.72 seconds)
Cbc0010I After 68000 nodes, 12379 on tree, 134621.79 best solution, best possible 126670.49 (85.82 seconds)
Cbc0010I After 68100 nodes, 12407 on tree, 134621.79 best solution, best possible 126670.49 (85.90 seconds)
Cbc0010I After 68200 nodes, 12391 on tree, 134621.79 best solution, best possible 126670.49 (86.00 seconds)
Cbc0010I After 68300 nodes, 12380 on tree, 134621.79 best solution, best possible 126670.49 (86.11 seconds)
Cbc0010I After 68400 nodes, 12379 on tree, 134621.79 best solution, best possible 126670.49 (86.23 seconds)
Cbc0010I After 68500 nodes, 12390 on tree, 134621.79 best solution, best possible 126670.49 (86.35 seconds)
Cbc0010I After 68600 nodes, 12382 on tree, 134621.79 best solution, best possible 126670.49 (86.46 seconds)
Cbc0010I After 68700 nodes, 12383 on tree, 134621.79 best solution, best possible 126670.49 (86.57 seconds)
Cbc0010I After 68800 nodes, 12394 on tree, 134621.79 best solution, best possible 126670.49 (86.67 seconds)
Cbc0010I After 68900 nodes, 12392 on tree, 134621.79 best solution, best possible 126670.49 (86.79 seconds)
Cbc0010I After 69000 nodes, 12384 on tree, 134621.79 best solution, best possible 126670.49 (86.89 seconds)
Cbc0010I After 69100 nodes, 12381 on tree, 134621.79 best solution, best possible 126670.49 (86.95 seconds)
Cbc0010I After 69200 nodes, 12397 on tree, 134621.79 best solution, best possible 126670.49 (87.04 seconds)
Cbc0010I After 69300 nodes, 12389 on tree, 134621.79 best solution, best possible 126670.49 (87.08 seconds)
Cbc0010I After 69400 nodes, 12387 on tree, 134621.79 best solution, best possible 126670.49 (87.15 seconds)
Cbc0010I After 69500 nodes, 12382 on tree, 134621.79 best solution, best possible 126670.49 (87.21 seconds)
Cbc0010I After 69600 nodes, 12378 on tree, 134621.79 best solution, best possible 126670.49 (87.27 seconds)
Cbc0010I After 69700 nodes, 12384 on tree, 134621.79 best solution, best possible 126670.49 (87.34 seconds)
Cbc0010I After 69800 nodes, 12385 on tree, 134621.79 best solution, best possible 126670.49 (87.41 seconds)
Cbc0010I After 69900 nodes, 12382 on tree, 134621.79 best solution, best possible 126670.49 (87.49 seconds)
Cbc0010I After 70000 nodes, 12406 on tree, 134621.79 best solution, best possible 126670.49 (87.58 seconds)
Cbc0010I After 70100 nodes, 12398 on tree, 134621.79 best solution, best possible 126670.49 (87.72 seconds)
Cbc0010I After 70200 nodes, 12387 on tree, 134621.79 best solution, best possible 126670.49 (87.83 seconds)
Cbc0010I After 70300 nodes, 12381 on tree, 134621.79 best solution, best possible 126670.49 (87.93 seconds)
Cbc0010I After 70400 nodes, 12424 on tree, 134621.79 best solution, best possible 126670.49 (88.04 seconds)
Cbc0010I After 70500 nodes, 12444 on tree, 134621.79 best solution, best possible 126670.49 (88.14 seconds)
Cbc0010I After 70600 nodes, 12430 on tree, 134621.79 best solution, best possible 126670.49 (88.20 seconds)
Cbc0010I After 70700 nodes, 12417 on tree, 134621.79 best solution, best possible 126670.49 (88.26 seconds)
Cbc0010I After 70800 nodes, 12426 on tree, 134621.79 best solution, best possible 126670.49 (88.36 seconds)
Cbc0010I After 70900 nodes, 12419 on tree, 134621.79 best solution, best possible 126670.49 (88.42 seconds)
Cbc0010I After 71000 nodes, 12422 on tree, 134621.79 best solution, best possible 126670.49 (88.52 seconds)
Cbc0010I After 71100 nodes, 12434 on tree, 134621.79 best solution, best possible 126670.49 (88.60 seconds)
Cbc0012I Integer solution of 134447.85 found by heuristic after 3081797 iterations and 71102 nodes (88.61 seconds)
Cbc0010I After 71200 nodes, 12469 on tree, 134447.85 best solution, best possible 126670.49 (88.73 seconds)
Cbc0010I After 71300 nodes, 12517 on tree, 134447.85 best solution, best possible 126670.49 (88.85 seconds)
Cbc0010I After 71400 nodes, 12567 on tree, 134447.85 best solution, best possible 126670.49 (88.95 seconds)
Cbc0010I After 71500 nodes, 12618 on tree, 134447.85 best solution, best possible 126670.49 (89.09 seconds)
Cbc0010I After 71600 nodes, 12667 on tree, 134447.85 best solution, best possible 126670.49 (89.21 seconds)
Cbc0010I After 71700 nodes, 12719 on tree, 134447.85 best solution, best possible 126670.49 (89.34 seconds)
Cbc0010I After 71800 nodes, 12767 on tree, 134447.85 best solution, best possible 126670.49 (89.46 seconds)
Cbc0010I After 71900 nodes, 12817 on tree, 134447.85 best solution, best possible 126670.49 (89.56 seconds)
Cbc0010I After 72000 nodes, 12867 on tree, 134447.85 best solution, best possible 126670.49 (89.68 seconds)
Cbc0010I After 72100 nodes, 12847 on tree, 134447.85 best solution, best possible 126670.49 (89.73 seconds)
Cbc0010I After 72200 nodes, 12851 on tree, 134447.85 best solution, best possible 126670.49 (89.80 seconds)
Cbc0010I After 72300 nodes, 12847 on tree, 134447.85 best solution, best possible 126670.49 (89.87 seconds)
Cbc0010I After 72400 nodes, 12846 on tree, 134447.85 best solution, best possible 126670.49 (89.96 seconds)
Cbc0010I After 72500 nodes, 12846 on tree, 134447.85 best solution, best possible 126670.49 (90.04 seconds)
Cbc0010I After 72600 nodes, 12844 on tree, 134447.85 best solution, best possible 126670.49 (90.13 seconds)
Cbc0010I After 72700 nodes, 12839 on tree, 134447.85 best solution, best possible 126670.49 (90.22 seconds)
Cbc0010I After 72800 nodes, 12839 on tree, 134447.85 best solution, best possible 126670.49 (90.30 seconds)
Cbc0010I After 72900 nodes, 12846 on tree, 134447.85 best solution, best possible 126670.49 (90.37 seconds)
Cbc0010I After 73000 nodes, 12837 on tree, 134447.85 best solution, best possible 126670.49 (90.46 seconds)
Cbc0010I After 73100 nodes, 12841 on tree, 134447.85 best solution, best possible 126670.49 (90.53 seconds)
Cbc0010I After 73200 nodes, 12838 on tree, 134447.85 best solution, best possible 126670.49 (90.60 seconds)
Cbc0010I After 73300 nodes, 12834 on tree, 134447.85 best solution, best possible 126670.49 (90.69 seconds)
Cbc0010I After 73400 nodes, 12843 on tree, 134447.85 best solution, best possible 126670.49 (90.76 seconds)
Cbc0010I After 73500 nodes, 12832 on tree, 134447.85 best solution, best possible 126670.49 (90.82 seconds)
Cbc0010I After 73600 nodes, 12841 on tree, 134447.85 best solution, best possible 126670.49 (90.92 seconds)
Cbc0010I After 73700 nodes, 12843 on tree, 134447.85 best solution, best possible 126670.49 (91.00 seconds)
Cbc0010I After 73800 nodes, 12834 on tree, 134447.85 best solution, best possible 126670.49 (91.08 seconds)
Cbc0010I After 73900 nodes, 12832 on tree, 134447.85 best solution, best possible 126670.49 (91.16 seconds)
Cbc0010I After 74000 nodes, 12842 on tree, 134447.85 best solution, best possible 126670.49 (91.24 seconds)
Cbc0010I After 74100 nodes, 12836 on tree, 134447.85 best solution, best possible 126670.49 (91.32 seconds)
Cbc0010I After 74200 nodes, 12826 on tree, 134447.85 best solution, best possible 126670.49 (91.42 seconds)
Cbc0010I After 74300 nodes, 12825 on tree, 134447.85 best solution, best possible 126670.49 (91.50 seconds)
Cbc0010I After 74400 nodes, 12829 on tree, 134447.85 best solution, best possible 126670.49 (91.59 seconds)
Cbc0010I After 74500 nodes, 12827 on tree, 134447.85 best solution, best possible 126670.49 (91.66 seconds)
Cbc0010I After 74600 nodes, 12822 on tree, 134447.85 best solution, best possible 126670.49 (91.73 seconds)
Cbc0010I After 74700 nodes, 12831 on tree, 134447.85 best solution, best possible 126670.49 (91.81 seconds)
Cbc0010I After 74800 nodes, 12826 on tree, 134447.85 best solution, best possible 126670.49 (91.86 seconds)
Cbc0010I After 74900 nodes, 12828 on tree, 134447.85 best solution, best possible 126670.49 (91.95 seconds)
Cbc0010I After 75000 nodes, 12819 on tree, 134447.85 best solution, best possible 126670.49 (92.03 seconds)
Cbc0010I After 75100 nodes, 12823 on tree, 134447.85 best solution, best possible 126670.49 (92.11 seconds)
Cbc0010I After 75200 nodes, 12823 on tree, 134447.85 best solution, best possible 126670.49 (92.19 seconds)
Cbc0010I After 75300 nodes, 12821 on tree, 134447.85 best solution, best possible 126670.49 (92.27 seconds)
Cbc0010I After 75400 nodes, 12847 on tree, 134447.85 best solution, best possible 126670.49 (92.37 seconds)
Cbc0010I After 75500 nodes, 12861 on tree, 134447.85 best solution, best possible 126670.49 (92.48 seconds)
Cbc0010I After 75600 nodes, 12857 on tree, 134447.85 best solution, best possible 126670.49 (92.61 seconds)
Cbc0010I After 75700 nodes, 12874 on tree, 134447.85 best solution, best possible 126670.49 (92.74 seconds)
Cbc0010I After 75800 nodes, 12864 on tree, 134447.85 best solution, best possible 126670.49 (92.83 seconds)
Cbc0010I After 75900 nodes, 12840 on tree, 134447.85 best solution, best possible 126670.49 (92.92 seconds)
Cbc0010I After 76000 nodes, 12848 on tree, 134447.85 best solution, best possible 126670.49 (93.05 seconds)
Cbc0010I After 76100 nodes, 12853 on tree, 134447.85 best solution, best possible 126670.49 (93.14 seconds)
Cbc0010I After 76200 nodes, 12846 on tree, 134447.85 best solution, best possible 126670.49 (93.25 seconds)
Cbc0010I After 76300 nodes, 12836 on tree, 134447.85 best solution, best possible 126670.49 (93.37 seconds)
Cbc0010I After 76400 nodes, 12844 on tree, 134447.85 best solution, best possible 126670.49 (93.51 seconds)
Cbc0010I After 76500 nodes, 12872 on tree, 134447.85 best solution, best possible 126670.49 (93.61 seconds)
Cbc0010I After 76600 nodes, 12850 on tree, 134447.85 best solution, best possible 126670.49 (93.72 seconds)
Cbc0010I After 76700 nodes, 12868 on tree, 134447.85 best solution, best possible 126670.49 (93.87 seconds)
Cbc0010I After 76800 nodes, 12857 on tree, 134447.85 best solution, best possible 126670.49 (93.98 seconds)
Cbc0010I After 76900 nodes, 12847 on tree, 134447.85 best solution, best possible 126670.49 (94.08 seconds)
Cbc0010I After 77000 nodes, 12842 on tree, 134447.85 best solution, best possible 126670.49 (94.20 seconds)
Cbc0010I After 77100 nodes, 12851 on tree, 134447.85 best solution, best possible 126670.49 (94.32 seconds)
Cbc0010I After 77200 nodes, 12848 on tree, 134447.85 best solution, best possible 126670.49 (94.42 seconds)
Cbc0010I After 77300 nodes, 12845 on tree, 134447.85 best solution, best possible 126670.49 (94.53 seconds)
Cbc0010I After 77400 nodes, 12838 on tree, 134447.85 best solution, best possible 126670.49 (94.63 seconds)
Cbc0010I After 77500 nodes, 12841 on tree, 134447.85 best solution, best possible 126670.49 (94.77 seconds)
Cbc0010I After 77600 nodes, 12841 on tree, 134447.85 best solution, best possible 126670.49 (94.87 seconds)
Cbc0010I After 77700 nodes, 12834 on tree, 134447.85 best solution, best possible 126670.49 (95.00 seconds)
Cbc0010I After 77800 nodes, 12842 on tree, 134447.85 best solution, best possible 126670.49 (95.11 seconds)
Cbc0010I After 77900 nodes, 12847 on tree, 134447.85 best solution, best possible 126670.49 (95.21 seconds)
Cbc0010I After 78000 nodes, 12858 on tree, 134447.85 best solution, best possible 126670.49 (95.29 seconds)
Cbc0010I After 78100 nodes, 12852 on tree, 134447.85 best solution, best possible 126670.49 (95.36 seconds)
Cbc0010I After 78200 nodes, 12852 on tree, 134447.85 best solution, best possible 126670.49 (95.44 seconds)
Cbc0010I After 78300 nodes, 12845 on tree, 134447.85 best solution, best possible 126670.49 (95.54 seconds)
Cbc0010I After 78400 nodes, 12833 on tree, 134447.85 best solution, best possible 126670.49 (95.63 seconds)
Cbc0010I After 78500 nodes, 12843 on tree, 134447.85 best solution, best possible 126670.49 (95.74 seconds)
Cbc0010I After 78600 nodes, 12843 on tree, 134447.85 best solution, best possible 126670.49 (95.84 seconds)
Cbc0010I After 78700 nodes, 12836 on tree, 134447.85 best solution, best possible 126670.49 (95.93 seconds)
Cbc0010I After 78800 nodes, 12833 on tree, 134447.85 best solution, best possible 126670.49 (96.02 seconds)
Cbc0010I After 78900 nodes, 12828 on tree, 134447.85 best solution, best possible 126670.49 (96.11 seconds)
Cbc0010I After 79000 nodes, 12830 on tree, 134447.85 best solution, best possible 126670.49 (96.23 seconds)
Cbc0010I After 79100 nodes, 12842 on tree, 134447.85 best solution, best possible 126670.49 (96.35 seconds)
Cbc0010I After 79200 nodes, 12826 on tree, 134447.85 best solution, best possible 126670.49 (96.46 seconds)
Cbc0010I After 79300 nodes, 12827 on tree, 134447.85 best solution, best possible 126670.49 (96.59 seconds)
Cbc0010I After 79400 nodes, 12835 on tree, 134447.85 best solution, best possible 126670.49 (96.70 seconds)
Cbc0010I After 79500 nodes, 12825 on tree, 134447.85 best solution, best possible 126670.49 (96.81 seconds)
Cbc0010I After 79600 nodes, 12825 on tree, 134447.85 best solution, best possible 126670.49 (96.93 seconds)
Cbc0010I After 79700 nodes, 12853 on tree, 134447.85 best solution, best possible 126670.49 (97.08 seconds)
Cbc0010I After 79800 nodes, 12846 on tree, 134447.85 best solution, best possible 126670.49 (97.19 seconds)
Cbc0010I After 79900 nodes, 12858 on tree, 134447.85 best solution, best possible 126670.49 (97.33 seconds)
Cbc0010I After 80000 nodes, 12845 on tree, 134447.85 best solution, best possible 126670.49 (97.44 seconds)
Cbc0010I After 80100 nodes, 12841 on tree, 134447.85 best solution, best possible 126670.49 (97.56 seconds)
Cbc0010I After 80200 nodes, 12858 on tree, 134447.85 best solution, best possible 126670.49 (97.70 seconds)
Cbc0010I After 80300 nodes, 12838 on tree, 134447.85 best solution, best possible 126670.49 (97.81 seconds)
Cbc0010I After 80400 nodes, 12836 on tree, 134447.85 best solution, best possible 126670.49 (97.96 seconds)
Cbc0010I After 80500 nodes, 12831 on tree, 134447.85 best solution, best possible 126670.49 (98.08 seconds)
Cbc0010I After 80600 nodes, 12845 on tree, 134447.85 best solution, best possible 126670.49 (98.21 seconds)
Cbc0010I After 80700 nodes, 12830 on tree, 134447.85 best solution, best possible 126670.49 (98.33 seconds)
Cbc0010I After 80800 nodes, 12834 on tree, 134447.85 best solution, best possible 126670.49 (98.45 seconds)
Cbc0010I After 80900 nodes, 12836 on tree, 134447.85 best solution, best possible 126670.49 (98.57 seconds)
Cbc0010I After 81000 nodes, 12829 on tree, 134447.85 best solution, best possible 126670.49 (98.68 seconds)
Cbc0010I After 81100 nodes, 12828 on tree, 134447.85 best solution, best possible 126670.49 (98.80 seconds)
Cbc0010I After 81200 nodes, 12829 on tree, 134447.85 best solution, best possible 126670.49 (98.95 seconds)
Cbc0010I After 81300 nodes, 12828 on tree, 134447.85 best solution, best possible 126670.49 (99.06 seconds)
Cbc0010I After 81400 nodes, 12829 on tree, 134447.85 best solution, best possible 126670.49 (99.19 seconds)
Cbc0010I After 81500 nodes, 12828 on tree, 134447.85 best solution, best possible 126670.49 (99.32 seconds)
Cbc0010I After 81600 nodes, 12839 on tree, 134447.85 best solution, best possible 126670.49 (99.46 seconds)
Cbc0010I After 81700 nodes, 12848 on tree, 134447.85 best solution, best possible 126670.49 (99.59 seconds)
Cbc0010I After 81800 nodes, 12844 on tree, 134447.85 best solution, best possible 126670.49 (99.70 seconds)
Cbc0010I After 81900 nodes, 12829 on tree, 134447.85 best solution, best possible 126670.49 (99.83 seconds)
Cbc0010I After 82000 nodes, 12825 on tree, 134447.85 best solution, best possible 126670.49 (99.96 seconds)
Cbc0010I After 82100 nodes, 12824 on tree, 134447.85 best solution, best possible 126670.49 (100.10 seconds)
Cbc0010I After 82200 nodes, 12823 on tree, 134447.85 best solution, best possible 126670.49 (100.22 seconds)
Cbc0010I After 82300 nodes, 12824 on tree, 134447.85 best solution, best possible 126670.49 (100.39 seconds)
Cbc0010I After 82400 nodes, 12840 on tree, 134447.85 best solution, best possible 126670.49 (100.53 seconds)
Cbc0010I After 82500 nodes, 12831 on tree, 134447.85 best solution, best possible 126670.49 (100.67 seconds)
Cbc0010I After 82600 nodes, 12825 on tree, 134447.85 best solution, best possible 126670.49 (100.79 seconds)
Cbc0010I After 82700 nodes, 12821 on tree, 134447.85 best solution, best possible 126670.49 (100.91 seconds)
Cbc0010I After 82800 nodes, 12830 on tree, 134447.85 best solution, best possible 126670.49 (101.04 seconds)
Cbc0010I After 82900 nodes, 12874 on tree, 134447.85 best solution, best possible 126670.49 (101.17 seconds)
Cbc0010I After 83000 nodes, 12865 on tree, 134447.85 best solution, best possible 126670.49 (101.32 seconds)
Cbc0010I After 83100 nodes, 12864 on tree, 134447.85 best solution, best possible 126670.49 (101.42 seconds)
Cbc0010I After 83200 nodes, 12861 on tree, 134447.85 best solution, best possible 126670.49 (101.52 seconds)
Cbc0010I After 83300 nodes, 12858 on tree, 134447.85 best solution, best possible 126670.49 (101.62 seconds)
Cbc0010I After 83400 nodes, 12859 on tree, 134447.85 best solution, best possible 126670.49 (101.72 seconds)
Cbc0010I After 83500 nodes, 12862 on tree, 134447.85 best solution, best possible 126670.49 (101.83 seconds)
Cbc0010I After 83600 nodes, 12852 on tree, 134447.85 best solution, best possible 126670.49 (101.93 seconds)
Cbc0010I After 83700 nodes, 12844 on tree, 134447.85 best solution, best possible 126670.49 (102.02 seconds)
Cbc0010I After 83800 nodes, 12842 on tree, 134447.85 best solution, best possible 126670.49 (102.13 seconds)
Cbc0010I After 83900 nodes, 12839 on tree, 134447.85 best solution, best possible 126670.49 (102.23 seconds)
Cbc0010I After 84000 nodes, 12854 on tree, 134447.85 best solution, best possible 126670.49 (102.35 seconds)
Cbc0010I After 84100 nodes, 12847 on tree, 134447.85 best solution, best possible 126670.49 (102.46 seconds)
Cbc0010I After 84200 nodes, 12834 on tree, 134447.85 best solution, best possible 126670.49 (102.55 seconds)
Cbc0010I After 84300 nodes, 12834 on tree, 134447.85 best solution, best possible 126670.49 (102.66 seconds)
Cbc0010I After 84400 nodes, 12857 on tree, 134447.85 best solution, best possible 126670.49 (102.78 seconds)
Cbc0010I After 84500 nodes, 12858 on tree, 134447.85 best solution, best possible 126670.49 (102.88 seconds)
Cbc0010I After 84600 nodes, 12838 on tree, 134447.85 best solution, best possible 126670.49 (102.99 seconds)
Cbc0010I After 84700 nodes, 12847 on tree, 134447.85 best solution, best possible 126670.49 (103.11 seconds)
Cbc0010I After 84800 nodes, 12827 on tree, 134447.85 best solution, best possible 126670.49 (103.22 seconds)
Cbc0010I After 84900 nodes, 12851 on tree, 134447.85 best solution, best possible 126670.49 (103.36 seconds)
Cbc0010I After 85000 nodes, 12847 on tree, 134447.85 best solution, best possible 126670.49 (103.48 seconds)
Cbc0010I After 85100 nodes, 12849 on tree, 134447.85 best solution, best possible 126670.49 (103.60 seconds)
Cbc0010I After 85200 nodes, 12839 on tree, 134447.85 best solution, best possible 126670.49 (103.71 seconds)
Cbc0010I After 85300 nodes, 12835 on tree, 134447.85 best solution, best possible 126670.49 (103.84 seconds)
Cbc0010I After 85400 nodes, 12834 on tree, 134447.85 best solution, best possible 126670.49 (103.96 seconds)
Cbc0010I After 85500 nodes, 12826 on tree, 134447.85 best solution, best possible 126670.49 (104.10 seconds)
Cbc0010I After 85600 nodes, 12865 on tree, 134447.85 best solution, best possible 126670.49 (104.25 seconds)
Cbc0010I After 85700 nodes, 12865 on tree, 134447.85 best solution, best possible 126670.49 (104.40 seconds)
Cbc0010I After 85800 nodes, 12860 on tree, 134447.85 best solution, best possible 126670.49 (104.55 seconds)
Cbc0010I After 85900 nodes, 12854 on tree, 134447.85 best solution, best possible 126670.49 (104.67 seconds)
Cbc0010I After 86000 nodes, 12848 on tree, 134447.85 best solution, best possible 126670.49 (104.78 seconds)
Cbc0010I After 86100 nodes, 12837 on tree, 134447.85 best solution, best possible 126670.49 (104.88 seconds)
Cbc0010I After 86200 nodes, 12828 on tree, 134447.85 best solution, best possible 126670.49 (104.96 seconds)
Cbc0010I After 86300 nodes, 12826 on tree, 134447.85 best solution, best possible 126670.49 (105.09 seconds)
Cbc0010I After 86400 nodes, 12821 on tree, 134447.85 best solution, best possible 126670.49 (105.22 seconds)
Cbc0010I After 86500 nodes, 12834 on tree, 134447.85 best solution, best possible 126670.49 (105.36 seconds)
Cbc0010I After 86600 nodes, 12836 on tree, 134447.85 best solution, best possible 126670.49 (105.48 seconds)
Cbc0010I After 86700 nodes, 12834 on tree, 134447.85 best solution, best possible 126670.49 (105.60 seconds)
Cbc0010I After 86800 nodes, 12837 on tree, 134447.85 best solution, best possible 126670.49 (105.73 seconds)
Cbc0010I After 86900 nodes, 12824 on tree, 134447.85 best solution, best possible 126670.49 (105.82 seconds)
Cbc0010I After 87000 nodes, 12829 on tree, 134447.85 best solution, best possible 126670.49 (105.96 seconds)
Cbc0010I After 87100 nodes, 12825 on tree, 134447.85 best solution, best possible 126670.49 (106.07 seconds)
Cbc0010I After 87200 nodes, 12839 on tree, 134447.85 best solution, best possible 126670.49 (106.18 seconds)
Cbc0010I After 87300 nodes, 12825 on tree, 134447.85 best solution, best possible 126670.49 (106.27 seconds)
Cbc0010I After 87400 nodes, 12829 on tree, 134447.85 best solution, best possible 126670.49 (106.38 seconds)
Cbc0010I After 87500 nodes, 12830 on tree, 134447.85 best solution, best possible 126670.49 (106.49 seconds)
Cbc0010I After 87600 nodes, 12847 on tree, 134447.85 best solution, best possible 126670.49 (106.63 seconds)
Cbc0010I After 87700 nodes, 12849 on tree, 134447.85 best solution, best possible 126670.49 (106.74 seconds)
Cbc0010I After 87800 nodes, 12837 on tree, 134447.85 best solution, best possible 126670.49 (106.85 seconds)
Cbc0010I After 87900 nodes, 12830 on tree, 134447.85 best solution, best possible 126670.49 (106.96 seconds)
Cbc0010I After 88000 nodes, 12832 on tree, 134447.85 best solution, best possible 126670.49 (107.07 seconds)
Cbc0010I After 88100 nodes, 12823 on tree, 134447.85 best solution, best possible 126670.49 (107.17 seconds)
Cbc0010I After 88200 nodes, 12840 on tree, 134447.85 best solution, best possible 126670.49 (107.28 seconds)
Cbc0010I After 88300 nodes, 12826 on tree, 134447.85 best solution, best possible 126670.49 (107.36 seconds)
Cbc0010I After 88400 nodes, 12835 on tree, 134447.85 best solution, best possible 126670.49 (107.46 seconds)
Cbc0010I After 88500 nodes, 12820 on tree, 134447.85 best solution, best possible 126670.49 (107.58 seconds)
Cbc0010I After 88600 nodes, 12833 on tree, 134447.85 best solution, best possible 126670.49 (107.72 seconds)
Cbc0010I After 88700 nodes, 12823 on tree, 134447.85 best solution, best possible 126670.49 (107.81 seconds)
Cbc0010I After 88800 nodes, 12826 on tree, 134447.85 best solution, best possible 126670.49 (107.92 seconds)
Cbc0010I After 88900 nodes, 12820 on tree, 134447.85 best solution, best possible 126670.49 (108.03 seconds)
Cbc0010I After 89000 nodes, 12824 on tree, 134447.85 best solution, best possible 126670.49 (108.18 seconds)
Cbc0010I After 89100 nodes, 12819 on tree, 134447.85 best solution, best possible 126670.49 (108.33 seconds)
Cbc0010I After 89200 nodes, 12825 on tree, 134447.85 best solution, best possible 126670.49 (108.47 seconds)
Cbc0010I After 89300 nodes, 12832 on tree, 134447.85 best solution, best possible 126670.49 (108.57 seconds)
Cbc0010I After 89400 nodes, 12848 on tree, 134447.85 best solution, best possible 126670.49 (108.68 seconds)
Cbc0010I After 89500 nodes, 12835 on tree, 134447.85 best solution, best possible 126670.49 (108.78 seconds)
Cbc0010I After 89600 nodes, 12833 on tree, 134447.85 best solution, best possible 126670.49 (108.88 seconds)
Cbc0010I After 89700 nodes, 12838 on tree, 134447.85 best solution, best possible 126670.49 (108.98 seconds)
Cbc0010I After 89800 nodes, 12834 on tree, 134447.85 best solution, best possible 126670.49 (109.05 seconds)
Cbc0010I After 89900 nodes, 12832 on tree, 134447.85 best solution, best possible 126670.49 (109.13 seconds)
Cbc0010I After 90000 nodes, 12824 on tree, 134447.85 best solution, best possible 126670.49 (109.20 seconds)
Cbc0010I After 90100 nodes, 12834 on tree, 134447.85 best solution, best possible 126670.49 (109.29 seconds)
Cbc0010I After 90200 nodes, 12822 on tree, 134447.85 best solution, best possible 126670.49 (109.37 seconds)
Cbc0010I After 90300 nodes, 12823 on tree, 134447.85 best solution, best possible 126670.49 (109.45 seconds)
Cbc0010I After 90400 nodes, 12821 on tree, 134447.85 best solution, best possible 126670.49 (109.53 seconds)
Cbc0010I After 90500 nodes, 12823 on tree, 134447.85 best solution, best possible 126670.49 (109.62 seconds)
Cbc0010I After 90600 nodes, 12822 on tree, 134447.85 best solution, best possible 126670.49 (109.72 seconds)
Cbc0010I After 90700 nodes, 12814 on tree, 134447.85 best solution, best possible 126670.49 (109.83 seconds)
Cbc0010I After 90800 nodes, 12820 on tree, 134447.85 best solution, best possible 126670.49 (109.95 seconds)
Cbc0010I After 90900 nodes, 12820 on tree, 134447.85 best solution, best possible 126670.49 (110.08 seconds)
Cbc0010I After 91000 nodes, 12834 on tree, 134447.85 best solution, best possible 126670.49 (110.21 seconds)
Cbc0010I After 91100 nodes, 12830 on tree, 134447.85 best solution, best possible 126670.49 (110.33 seconds)
Cbc0010I After 91200 nodes, 12825 on tree, 134447.85 best solution, best possible 126670.49 (110.44 seconds)
Cbc0010I After 91300 nodes, 12834 on tree, 134447.85 best solution, best possible 126670.49 (110.57 seconds)
Cbc0010I After 91400 nodes, 12822 on tree, 134447.85 best solution, best possible 126670.49 (110.68 seconds)
Cbc0010I After 91500 nodes, 12823 on tree, 134447.85 best solution, best possible 126670.49 (110.78 seconds)
Cbc0010I After 91600 nodes, 12822 on tree, 134447.85 best solution, best possible 126670.49 (110.89 seconds)
Cbc0010I After 91700 nodes, 12829 on tree, 134447.85 best solution, best possible 126670.49 (110.97 seconds)
Cbc0010I After 91800 nodes, 12840 on tree, 134447.85 best solution, best possible 126670.49 (111.05 seconds)
Cbc0010I After 91900 nodes, 12840 on tree, 134447.85 best solution, best possible 126670.49 (111.15 seconds)
Cbc0010I After 92000 nodes, 12818 on tree, 134447.85 best solution, best possible 126670.49 (111.23 seconds)
Cbc0010I After 92100 nodes, 12837 on tree, 134447.85 best solution, best possible 126670.49 (111.37 seconds)
Cbc0010I After 92200 nodes, 12876 on tree, 134447.85 best solution, best possible 126670.49 (111.48 seconds)
Cbc0010I After 92300 nodes, 12865 on tree, 134447.85 best solution, best possible 126670.49 (111.56 seconds)
Cbc0010I After 92400 nodes, 12866 on tree, 134447.85 best solution, best possible 126670.49 (111.67 seconds)
Cbc0010I After 92500 nodes, 12860 on tree, 134447.85 best solution, best possible 126670.49 (111.77 seconds)
Cbc0010I After 92600 nodes, 12859 on tree, 134447.85 best solution, best possible 126670.49 (111.87 seconds)
Cbc0010I After 92700 nodes, 12849 on tree, 134447.85 best solution, best possible 126670.49 (111.94 seconds)
Cbc0010I After 92800 nodes, 12850 on tree, 134447.85 best solution, best possible 126670.49 (112.01 seconds)
Cbc0010I After 92900 nodes, 12852 on tree, 134447.85 best solution, best possible 126670.49 (112.11 seconds)
Cbc0010I After 93000 nodes, 12849 on tree, 134447.85 best solution, best possible 126670.49 (112.21 seconds)
Cbc0010I After 93100 nodes, 12832 on tree, 134447.85 best solution, best possible 126670.49 (112.30 seconds)
Cbc0010I After 93200 nodes, 12830 on tree, 134447.85 best solution, best possible 126670.49 (112.42 seconds)
Cbc0010I After 93300 nodes, 12825 on tree, 134447.85 best solution, best possible 126670.49 (112.55 seconds)
Cbc0010I After 93400 nodes, 12843 on tree, 134447.85 best solution, best possible 126670.49 (112.67 seconds)
Cbc0010I After 93500 nodes, 12862 on tree, 134447.85 best solution, best possible 126670.49 (112.79 seconds)
Cbc0010I After 93600 nodes, 12844 on tree, 134447.85 best solution, best possible 126670.49 (112.90 seconds)
Cbc0010I After 93700 nodes, 12838 on tree, 134447.85 best solution, best possible 126670.49 (113.01 seconds)
Cbc0010I After 93800 nodes, 12830 on tree, 134447.85 best solution, best possible 126670.49 (113.10 seconds)
Cbc0010I After 93900 nodes, 12821 on tree, 134447.85 best solution, best possible 126670.49 (113.22 seconds)
Cbc0010I After 94000 nodes, 12836 on tree, 134447.85 best solution, best possible 126670.49 (113.34 seconds)
Cbc0010I After 94100 nodes, 12823 on tree, 134447.85 best solution, best possible 126670.49 (113.45 seconds)
Cbc0010I After 94200 nodes, 12847 on tree, 134447.85 best solution, best possible 126670.49 (113.58 seconds)
Cbc0010I After 94300 nodes, 12871 on tree, 134447.85 best solution, best possible 126670.49 (113.73 seconds)
Cbc0010I After 94400 nodes, 12874 on tree, 134447.85 best solution, best possible 126670.49 (113.88 seconds)
Cbc0010I After 94500 nodes, 12873 on tree, 134447.85 best solution, best possible 126670.49 (114.04 seconds)
Cbc0010I After 94600 nodes, 12858 on tree, 134447.85 best solution, best possible 126670.49 (114.21 seconds)
Cbc0010I After 94700 nodes, 12854 on tree, 134447.85 best solution, best possible 126670.49 (114.32 seconds)
Cbc0010I After 94800 nodes, 12847 on tree, 134447.85 best solution, best possible 126670.49 (114.44 seconds)
Cbc0010I After 94900 nodes, 12837 on tree, 134447.85 best solution, best possible 126670.49 (114.58 seconds)
Cbc0010I After 95000 nodes, 12852 on tree, 134447.85 best solution, best possible 126670.49 (114.70 seconds)
Cbc0010I After 95100 nodes, 12850 on tree, 134447.85 best solution, best possible 126670.49 (114.81 seconds)
Cbc0010I After 95200 nodes, 12842 on tree, 134447.85 best solution, best possible 126670.49 (114.92 seconds)
Cbc0010I After 95300 nodes, 12847 on tree, 134447.85 best solution, best possible 126670.49 (115.02 seconds)
Cbc0010I After 95400 nodes, 12834 on tree, 134447.85 best solution, best possible 126670.49 (115.16 seconds)
Cbc0010I After 95500 nodes, 12839 on tree, 134447.85 best solution, best possible 126670.49 (115.28 seconds)
Cbc0010I After 95600 nodes, 12833 on tree, 134447.85 best solution, best possible 126670.49 (115.38 seconds)
Cbc0010I After 95700 nodes, 12862 on tree, 134447.85 best solution, best possible 126670.49 (115.52 seconds)
Cbc0010I After 95800 nodes, 12851 on tree, 134447.85 best solution, best possible 126670.49 (115.62 seconds)
Cbc0010I After 95900 nodes, 12849 on tree, 134447.85 best solution, best possible 126670.49 (115.74 seconds)
Cbc0010I After 96000 nodes, 12835 on tree, 134447.85 best solution, best possible 126670.49 (115.82 seconds)
Cbc0010I After 96100 nodes, 12838 on tree, 134447.85 best solution, best possible 126670.49 (115.94 seconds)
Cbc0010I After 96200 nodes, 12828 on tree, 134447.85 best solution, best possible 126670.49 (116.04 seconds)
Cbc0010I After 96300 nodes, 12830 on tree, 134447.85 best solution, best possible 126670.49 (116.17 seconds)
Cbc0010I After 96400 nodes, 12837 on tree, 134447.85 best solution, best possible 126670.49 (116.28 seconds)
Cbc0010I After 96500 nodes, 12831 on tree, 134447.85 best solution, best possible 126670.49 (116.39 seconds)
Cbc0010I After 96600 nodes, 12821 on tree, 134447.85 best solution, best possible 126670.49 (116.50 seconds)
Cbc0010I After 96700 nodes, 12824 on tree, 134447.85 best solution, best possible 126670.49 (116.60 seconds)
Cbc0010I After 96800 nodes, 12819 on tree, 134447.85 best solution, best possible 126670.49 (116.69 seconds)
Cbc0010I After 96900 nodes, 12839 on tree, 134447.85 best solution, best possible 126670.49 (116.83 seconds)
Cbc0010I After 97000 nodes, 12820 on tree, 134447.85 best solution, best possible 126670.49 (116.94 seconds)
Cbc0010I After 97100 nodes, 12832 on tree, 134447.85 best solution, best possible 126670.49 (117.09 seconds)
Cbc0010I After 97200 nodes, 12839 on tree, 134447.85 best solution, best possible 126670.49 (117.22 seconds)
Cbc0010I After 97300 nodes, 12832 on tree, 134447.85 best solution, best possible 126670.49 (117.35 seconds)
Cbc0010I After 97400 nodes, 12832 on tree, 134447.85 best solution, best possible 126670.49 (117.49 seconds)
Cbc0010I After 97500 nodes, 12837 on tree, 134447.85 best solution, best possible 126670.49 (117.62 seconds)
Cbc0010I After 97600 nodes, 12829 on tree, 134447.85 best solution, best possible 126670.49 (117.73 seconds)
Cbc0010I After 97700 nodes, 12834 on tree, 134447.85 best solution, best possible 126670.49 (117.83 seconds)
Cbc0010I After 97800 nodes, 12832 on tree, 134447.85 best solution, best possible 126670.49 (117.94 seconds)
Cbc0010I After 97900 nodes, 12841 on tree, 134447.85 best solution, best possible 126670.49 (118.04 seconds)
Cbc0010I After 98000 nodes, 12831 on tree, 134447.85 best solution, best possible 126670.49 (118.13 seconds)
Cbc0010I After 98100 nodes, 12829 on tree, 134447.85 best solution, best possible 126670.49 (118.24 seconds)
Cbc0010I After 98200 nodes, 12820 on tree, 134447.85 best solution, best possible 126670.49 (118.35 seconds)
Cbc0010I After 98300 nodes, 12818 on tree, 134447.85 best solution, best possible 126670.49 (118.46 seconds)
Cbc0010I After 98400 nodes, 12822 on tree, 134447.85 best solution, best possible 126670.49 (118.59 seconds)
Cbc0010I After 98500 nodes, 12828 on tree, 134447.85 best solution, best possible 126670.49 (118.73 seconds)
Cbc0010I After 98600 nodes, 12815 on tree, 134447.85 best solution, best possible 126670.49 (118.86 seconds)
Cbc0010I After 98700 nodes, 12816 on tree, 134447.85 best solution, best possible 126670.49 (118.99 seconds)
Cbc0010I After 98800 nodes, 12812 on tree, 134447.85 best solution, best possible 126670.49 (119.11 seconds)
Cbc0010I After 98900 nodes, 12809 on tree, 134447.85 best solution, best possible 126670.49 (119.22 seconds)
Cbc0010I After 99000 nodes, 12848 on tree, 134447.85 best solution, best possible 126670.49 (119.37 seconds)
Cbc0010I After 99100 nodes, 12853 on tree, 134447.85 best solution, best possible 126670.49 (119.51 seconds)
Cbc0010I After 99200 nodes, 12839 on tree, 134447.85 best solution, best possible 126670.49 (119.63 seconds)
Cbc0010I After 99300 nodes, 12848 on tree, 134447.85 best solution, best possible 126670.49 (119.73 seconds)
Cbc0010I After 99400 nodes, 12848 on tree, 134447.85 best solution, best possible 126670.49 (119.84 seconds)
Cbc0010I After 99500 nodes, 12839 on tree, 134447.85 best solution, best possible 126670.49 (119.94 seconds)
Cbc0010I After 99600 nodes, 12839 on tree, 134447.85 best solution, best possible 126670.49 (120.01 seconds)
Cbc0010I After 99700 nodes, 12831 on tree, 134447.85 best solution, best possible 126670.49 (120.08 seconds)
Cbc0010I After 99800 nodes, 12847 on tree, 134447.85 best solution, best possible 126670.49 (120.22 seconds)
Cbc0010I After 99900 nodes, 12835 on tree, 134447.85 best solution, best possible 126670.49 (120.33 seconds)
Cbc0010I After 100000 nodes, 12843 on tree, 134447.85 best solution, best possible 126670.49 (120.45 seconds)
Cbc0010I After 100100 nodes, 12837 on tree, 134447.85 best solution, best possible 126670.49 (120.57 seconds)
Cbc0010I After 100200 nodes, 12840 on tree, 134447.85 best solution, best possible 126670.49 (120.69 seconds)
Cbc0010I After 100300 nodes, 12840 on tree, 134447.85 best solution, best possible 126670.49 (120.81 seconds)
Cbc0010I After 100400 nodes, 12842 on tree, 134447.85 best solution, best possible 126670.49 (120.92 seconds)
Cbc0010I After 100500 nodes, 12831 on tree, 134447.85 best solution, best possible 126670.49 (121.02 seconds)
Cbc0010I After 100600 nodes, 12830 on tree, 134447.85 best solution, best possible 126670.49 (121.11 seconds)
Cbc0010I After 100700 nodes, 12822 on tree, 134447.85 best solution, best possible 126670.49 (121.23 seconds)
Cbc0010I After 100800 nodes, 12827 on tree, 134447.85 best solution, best possible 126670.49 (121.32 seconds)
Cbc0010I After 100900 nodes, 12826 on tree, 134447.85 best solution, best possible 126670.49 (121.44 seconds)
Cbc0010I After 101000 nodes, 12831 on tree, 134447.85 best solution, best possible 126670.49 (121.54 seconds)
Cbc0010I After 101100 nodes, 12817 on tree, 134447.85 best solution, best possible 126670.49 (121.64 seconds)
Cbc0010I After 101200 nodes, 12822 on tree, 134447.85 best solution, best possible 126670.49 (121.77 seconds)
Cbc0010I After 101300 nodes, 12831 on tree, 134447.85 best solution, best possible 126670.49 (121.88 seconds)
Cbc0010I After 101400 nodes, 12833 on tree, 134447.85 best solution, best possible 126670.49 (121.97 seconds)
Cbc0010I After 101500 nodes, 12816 on tree, 134447.85 best solution, best possible 126670.49 (122.06 seconds)
Cbc0010I After 101600 nodes, 12823 on tree, 134447.85 best solution, best possible 126670.49 (122.16 seconds)
Cbc0010I After 101700 nodes, 12822 on tree, 134447.85 best solution, best possible 126670.49 (122.25 seconds)
Cbc0010I After 101800 nodes, 12820 on tree, 134447.85 best solution, best possible 126670.49 (122.37 seconds)
Cbc0010I After 101900 nodes, 12822 on tree, 134447.85 best solution, best possible 126670.49 (122.48 seconds)
Cbc0010I After 102000 nodes, 12814 on tree, 134447.85 best solution, best possible 126670.49 (122.57 seconds)
Cbc0010I After 102100 nodes, 12814 on tree, 134447.85 best solution, best possible 126670.49 (122.66 seconds)
Cbc0010I After 102200 nodes, 12820 on tree, 134447.85 best solution, best possible 126670.49 (122.77 seconds)
Cbc0010I After 102300 nodes, 12811 on tree, 134447.85 best solution, best possible 126670.49 (122.86 seconds)
Cbc0010I After 102400 nodes, 12812 on tree, 134447.85 best solution, best possible 126670.49 (122.97 seconds)
Cbc0010I After 102500 nodes, 12827 on tree, 134447.85 best solution, best possible 126670.49 (123.10 seconds)
Cbc0010I After 102600 nodes, 12824 on tree, 134447.85 best solution, best possible 126670.49 (123.21 seconds)
Cbc0010I After 102700 nodes, 12823 on tree, 134447.85 best solution, best possible 126670.49 (123.33 seconds)
Cbc0010I After 102800 nodes, 12827 on tree, 134447.85 best solution, best possible 126670.49 (123.43 seconds)
Cbc0010I After 102900 nodes, 12816 on tree, 134447.85 best solution, best possible 126670.49 (123.54 seconds)
Cbc0010I After 103000 nodes, 12813 on tree, 134447.85 best solution, best possible 126670.49 (123.64 seconds)
Cbc0010I After 103100 nodes, 12813 on tree, 134447.85 best solution, best possible 126670.49 (123.73 seconds)
Cbc0010I After 103200 nodes, 12804 on tree, 134447.85 best solution, best possible 126670.49 (123.80 seconds)
Cbc0010I After 103300 nodes, 12835 on tree, 134447.85 best solution, best possible 126670.49 (123.90 seconds)
Cbc0010I After 103400 nodes, 12827 on tree, 134447.85 best solution, best possible 126670.49 (123.97 seconds)
Cbc0010I After 103500 nodes, 12823 on tree, 134447.85 best solution, best possible 126670.49 (124.04 seconds)
Cbc0010I After 103600 nodes, 12814 on tree, 134447.85 best solution, best possible 126670.49 (124.13 seconds)
Cbc0010I After 103700 nodes, 12810 on tree, 134447.85 best solution, best possible 126670.49 (124.23 seconds)
Cbc0010I After 103800 nodes, 12818 on tree, 134447.85 best solution, best possible 126670.49 (124.36 seconds)
Cbc0010I After 103900 nodes, 12809 on tree, 134447.85 best solution, best possible 126670.49 (124.49 seconds)
Cbc0010I After 104000 nodes, 12815 on tree, 134447.85 best solution, best possible 126670.49 (124.61 seconds)
Cbc0010I After 104100 nodes, 12810 on tree, 134447.85 best solution, best possible 126670.49 (124.74 seconds)
Cbc0010I After 104200 nodes, 12802 on tree, 134447.85 best solution, best possible 126670.49 (124.84 seconds)
Cbc0010I After 104300 nodes, 12831 on tree, 134447.85 best solution, best possible 126670.49 (124.96 seconds)
Cbc0010I After 104400 nodes, 12823 on tree, 134447.85 best solution, best possible 126670.49 (125.08 seconds)
Cbc0010I After 104500 nodes, 12821 on tree, 134447.85 best solution, best possible 126670.49 (125.22 seconds)
Cbc0010I After 104600 nodes, 12829 on tree, 134447.85 best solution, best possible 126670.49 (125.35 seconds)
Cbc0010I After 104700 nodes, 12825 on tree, 134447.85 best solution, best possible 126670.49 (125.48 seconds)
Cbc0010I After 104800 nodes, 12817 on tree, 134447.85 best solution, best possible 126670.49 (125.60 seconds)
Cbc0010I After 104900 nodes, 12814 on tree, 134447.85 best solution, best possible 126670.49 (125.71 seconds)
Cbc0010I After 105000 nodes, 12808 on tree, 134447.85 best solution, best possible 126670.49 (125.81 seconds)
Cbc0010I After 105100 nodes, 12799 on tree, 134447.85 best solution, best possible 126670.49 (125.91 seconds)
Cbc0010I After 105200 nodes, 12822 on tree, 134447.85 best solution, best possible 126670.49 (126.00 seconds)
Cbc0010I After 105300 nodes, 12813 on tree, 134447.85 best solution, best possible 126670.49 (126.07 seconds)
Cbc0010I After 105400 nodes, 12804 on tree, 134447.85 best solution, best possible 126670.49 (126.17 seconds)
Cbc0010I After 105500 nodes, 12806 on tree, 134447.85 best solution, best possible 126670.49 (126.31 seconds)
Cbc0010I After 105600 nodes, 12803 on tree, 134447.85 best solution, best possible 126670.49 (126.44 seconds)
Cbc0010I After 105700 nodes, 12806 on tree, 134447.85 best solution, best possible 126670.49 (126.56 seconds)
Cbc0010I After 105800 nodes, 12845 on tree, 134447.85 best solution, best possible 126670.49 (126.78 seconds)
Cbc0010I After 105900 nodes, 12850 on tree, 134447.85 best solution, best possible 126670.49 (126.93 seconds)
Cbc0010I After 106000 nodes, 12847 on tree, 134447.85 best solution, best possible 126670.49 (127.07 seconds)
Cbc0010I After 106100 nodes, 12834 on tree, 134447.85 best solution, best possible 126670.49 (127.22 seconds)
Cbc0010I After 106200 nodes, 12840 on tree, 134447.85 best solution, best possible 126670.49 (127.44 seconds)
Cbc0010I After 106300 nodes, 12833 on tree, 134447.85 best solution, best possible 126670.49 (127.62 seconds)
Cbc0010I After 106400 nodes, 12831 on tree, 134447.85 best solution, best possible 126670.49 (127.80 seconds)
Cbc0010I After 106500 nodes, 12827 on tree, 134447.85 best solution, best possible 126670.49 (127.97 seconds)
Cbc0010I After 106600 nodes, 12834 on tree, 134447.85 best solution, best possible 126670.49 (128.13 seconds)
Cbc0010I After 106700 nodes, 12841 on tree, 134447.85 best solution, best possible 126670.49 (128.30 seconds)
Cbc0010I After 106800 nodes, 12841 on tree, 134447.85 best solution, best possible 126670.49 (128.44 seconds)
Cbc0010I After 106900 nodes, 12831 on tree, 134447.85 best solution, best possible 126670.49 (128.60 seconds)
Cbc0010I After 107000 nodes, 12823 on tree, 134447.85 best solution, best possible 126670.49 (128.78 seconds)
Cbc0010I After 107100 nodes, 12828 on tree, 134447.85 best solution, best possible 126670.49 (128.94 seconds)
Cbc0010I After 107200 nodes, 12822 on tree, 134447.85 best solution, best possible 126670.49 (129.10 seconds)
Cbc0010I After 107300 nodes, 12825 on tree, 134447.85 best solution, best possible 126670.49 (129.25 seconds)
Cbc0010I After 107400 nodes, 12828 on tree, 134447.85 best solution, best possible 126670.49 (129.44 seconds)
Cbc0010I After 107500 nodes, 12817 on tree, 134447.85 best solution, best possible 126670.49 (129.60 seconds)
Cbc0010I After 107600 nodes, 12820 on tree, 134447.85 best solution, best possible 126670.49 (129.75 seconds)
Cbc0010I After 107700 nodes, 12833 on tree, 134447.85 best solution, best possible 126670.49 (129.91 seconds)
Cbc0010I After 107800 nodes, 12822 on tree, 134447.85 best solution, best possible 126670.49 (130.05 seconds)
Cbc0010I After 107900 nodes, 12824 on tree, 134447.85 best solution, best possible 126670.49 (130.18 seconds)
Cbc0010I After 108000 nodes, 12824 on tree, 134447.85 best solution, best possible 126670.49 (130.33 seconds)
Cbc0010I After 108100 nodes, 12815 on tree, 134447.85 best solution, best possible 126670.49 (130.48 seconds)
Cbc0010I After 108200 nodes, 12846 on tree, 134447.85 best solution, best possible 126670.49 (130.64 seconds)
Cbc0010I After 108300 nodes, 12839 on tree, 134447.85 best solution, best possible 126670.49 (130.76 seconds)
Cbc0010I After 108400 nodes, 12838 on tree, 134447.85 best solution, best possible 126670.49 (130.89 seconds)
Cbc0010I After 108500 nodes, 12820 on tree, 134447.85 best solution, best possible 126670.49 (130.99 seconds)
Cbc0010I After 108600 nodes, 12832 on tree, 134447.85 best solution, best possible 126670.49 (131.16 seconds)
Cbc0010I After 108700 nodes, 12838 on tree, 134447.85 best solution, best possible 126670.49 (131.29 seconds)
Cbc0010I After 108800 nodes, 12825 on tree, 134447.85 best solution, best possible 126670.49 (131.41 seconds)
Cbc0010I After 108900 nodes, 12825 on tree, 134447.85 best solution, best possible 126670.49 (131.55 seconds)
Cbc0010I After 109000 nodes, 12815 on tree, 134447.85 best solution, best possible 126670.49 (131.68 seconds)
Cbc0010I After 109100 nodes, 12816 on tree, 134447.85 best solution, best possible 126670.49 (131.81 seconds)
Cbc0010I After 109200 nodes, 12819 on tree, 134447.85 best solution, best possible 126670.49 (131.95 seconds)
Cbc0010I After 109300 nodes, 12814 on tree, 134447.85 best solution, best possible 126670.49 (132.09 seconds)
Cbc0010I After 109400 nodes, 12811 on tree, 134447.85 best solution, best possible 126670.49 (132.23 seconds)
Cbc0010I After 109500 nodes, 12830 on tree, 134447.85 best solution, best possible 126670.49 (132.39 seconds)
Cbc0010I After 109600 nodes, 12815 on tree, 134447.85 best solution, best possible 126670.49 (132.53 seconds)
Cbc0010I After 109700 nodes, 12816 on tree, 134447.85 best solution, best possible 126670.49 (132.69 seconds)
Cbc0010I After 109800 nodes, 12811 on tree, 134447.85 best solution, best possible 126670.49 (132.82 seconds)
Cbc0010I After 109900 nodes, 12805 on tree, 134447.85 best solution, best possible 126670.49 (132.98 seconds)
Cbc0010I After 110000 nodes, 12814 on tree, 134447.85 best solution, best possible 126670.49 (133.12 seconds)
Cbc0010I After 110100 nodes, 12818 on tree, 134447.85 best solution, best possible 126670.49 (133.27 seconds)
Cbc0010I After 110200 nodes, 12815 on tree, 134447.85 best solution, best possible 126670.49 (133.42 seconds)
Cbc0010I After 110300 nodes, 12808 on tree, 134447.85 best solution, best possible 126670.49 (133.55 seconds)
Cbc0010I After 110400 nodes, 12816 on tree, 134447.85 best solution, best possible 126670.49 (133.72 seconds)
Cbc0010I After 110500 nodes, 12838 on tree, 134447.85 best solution, best possible 126670.49 (133.90 seconds)
Cbc0010I After 110600 nodes, 12825 on tree, 134447.85 best solution, best possible 126670.49 (134.02 seconds)
Cbc0010I After 110700 nodes, 12833 on tree, 134447.85 best solution, best possible 126670.49 (134.19 seconds)
Cbc0010I After 110800 nodes, 12850 on tree, 134447.85 best solution, best possible 126670.49 (134.38 seconds)
Cbc0010I After 110900 nodes, 12842 on tree, 134447.85 best solution, best possible 126670.49 (134.48 seconds)
Cbc0010I After 111000 nodes, 12843 on tree, 134447.85 best solution, best possible 126670.49 (134.62 seconds)
Cbc0010I After 111100 nodes, 12834 on tree, 134447.85 best solution, best possible 126670.49 (134.73 seconds)
Cbc0010I After 111200 nodes, 12836 on tree, 134447.85 best solution, best possible 126670.49 (134.85 seconds)
Cbc0010I After 111300 nodes, 12832 on tree, 134447.85 best solution, best possible 126670.49 (134.96 seconds)
Cbc0010I After 111400 nodes, 12821 on tree, 134447.85 best solution, best possible 126670.49 (135.06 seconds)
Cbc0010I After 111500 nodes, 12832 on tree, 134447.85 best solution, best possible 126670.49 (135.21 seconds)
Cbc0010I After 111600 nodes, 12826 on tree, 134447.85 best solution, best possible 126670.49 (135.34 seconds)
Cbc0010I After 111700 nodes, 12824 on tree, 134447.85 best solution, best possible 126670.49 (135.47 seconds)
Cbc0010I After 111800 nodes, 12813 on tree, 134447.85 best solution, best possible 126670.49 (135.58 seconds)
Cbc0010I After 111900 nodes, 12819 on tree, 134447.85 best solution, best possible 126670.49 (135.70 seconds)
Cbc0010I After 112000 nodes, 12817 on tree, 134447.85 best solution, best possible 126670.49 (135.83 seconds)
Cbc0010I After 112100 nodes, 12819 on tree, 134447.85 best solution, best possible 126670.49 (135.97 seconds)
Cbc0010I After 112200 nodes, 12810 on tree, 134447.85 best solution, best possible 126670.49 (136.11 seconds)
Cbc0010I After 112300 nodes, 12842 on tree, 134447.85 best solution, best possible 126670.49 (136.26 seconds)
Cbc0010I After 112400 nodes, 12832 on tree, 134447.85 best solution, best possible 126670.49 (136.38 seconds)
Cbc0010I After 112500 nodes, 12820 on tree, 134447.85 best solution, best possible 126670.49 (136.51 seconds)
Cbc0010I After 112600 nodes, 12807 on tree, 134447.85 best solution, best possible 126670.49 (136.67 seconds)
Cbc0010I After 112700 nodes, 12811 on tree, 134447.85 best solution, best possible 126670.49 (136.83 seconds)
Cbc0010I After 112800 nodes, 12817 on tree, 134447.85 best solution, best possible 126670.49 (136.98 seconds)
Cbc0010I After 112900 nodes, 12825 on tree, 134447.85 best solution, best possible 126670.49 (137.10 seconds)
Cbc0010I After 113000 nodes, 12822 on tree, 134447.85 best solution, best possible 126670.49 (137.20 seconds)
Cbc0010I After 113100 nodes, 12818 on tree, 134447.85 best solution, best possible 126670.49 (137.34 seconds)
Cbc0010I After 113200 nodes, 12810 on tree, 134447.85 best solution, best possible 126670.49 (137.45 seconds)
Cbc0010I After 113300 nodes, 12811 on tree, 134447.85 best solution, best possible 126670.49 (137.60 seconds)
Cbc0010I After 113400 nodes, 12818 on tree, 134447.85 best solution, best possible 126670.49 (137.76 seconds)
Cbc0010I After 113500 nodes, 12809 on tree, 134447.85 best solution, best possible 126670.49 (137.90 seconds)
Cbc0010I After 113600 nodes, 12809 on tree, 134447.85 best solution, best possible 126670.49 (138.05 seconds)
Cbc0010I After 113700 nodes, 12873 on tree, 134447.85 best solution, best possible 126670.49 (138.22 seconds)
Cbc0010I After 113800 nodes, 12874 on tree, 134447.85 best solution, best possible 126670.49 (138.36 seconds)
Cbc0010I After 113900 nodes, 12868 on tree, 134447.85 best solution, best possible 126670.49 (138.47 seconds)
Cbc0010I After 114000 nodes, 12865 on tree, 134447.85 best solution, best possible 126670.49 (138.60 seconds)
Cbc0010I After 114100 nodes, 12864 on tree, 134447.85 best solution, best possible 126670.49 (138.72 seconds)
Cbc0010I After 114200 nodes, 12851 on tree, 134447.85 best solution, best possible 126670.49 (138.82 seconds)
Cbc0010I After 114300 nodes, 12862 on tree, 134447.85 best solution, best possible 126670.49 (138.94 seconds)
Cbc0010I After 114400 nodes, 12865 on tree, 134447.85 best solution, best possible 126670.49 (139.05 seconds)
Cbc0010I After 114500 nodes, 12851 on tree, 134447.85 best solution, best possible 126670.49 (139.17 seconds)
Cbc0010I After 114600 nodes, 12850 on tree, 134447.85 best solution, best possible 126670.49 (139.29 seconds)
Cbc0010I After 114700 nodes, 12845 on tree, 134447.85 best solution, best possible 126670.49 (139.42 seconds)
Cbc0010I After 114800 nodes, 12856 on tree, 134447.85 best solution, best possible 126670.49 (139.56 seconds)
Cbc0010I After 114900 nodes, 12862 on tree, 134447.85 best solution, best possible 126670.49 (139.66 seconds)
Cbc0010I After 115000 nodes, 12848 on tree, 134447.85 best solution, best possible 126670.49 (139.78 seconds)
Cbc0010I After 115100 nodes, 12852 on tree, 134447.85 best solution, best possible 126670.49 (139.93 seconds)
Cbc0010I After 115200 nodes, 12844 on tree, 134447.85 best solution, best possible 126670.49 (140.09 seconds)
Cbc0010I After 115300 nodes, 12847 on tree, 134447.85 best solution, best possible 126670.49 (140.23 seconds)
Cbc0010I After 115400 nodes, 12838 on tree, 134447.85 best solution, best possible 126670.49 (140.31 seconds)
Cbc0010I After 115500 nodes, 12834 on tree, 134447.85 best solution, best possible 126670.49 (140.40 seconds)
Cbc0010I After 115600 nodes, 12837 on tree, 134447.85 best solution, best possible 126670.49 (140.60 seconds)
Cbc0010I After 115700 nodes, 12842 on tree, 134447.85 best solution, best possible 126670.49 (140.70 seconds)
Cbc0010I After 115800 nodes, 12837 on tree, 134447.85 best solution, best possible 126670.49 (140.79 seconds)
Cbc0010I After 115900 nodes, 12836 on tree, 134447.85 best solution, best possible 126670.49 (140.92 seconds)
Cbc0010I After 116000 nodes, 12844 on tree, 134447.85 best solution, best possible 126670.49 (141.02 seconds)
Cbc0010I After 116100 nodes, 12834 on tree, 134447.85 best solution, best possible 126670.49 (141.11 seconds)
Cbc0010I After 116200 nodes, 12858 on tree, 134447.85 best solution, best possible 126670.49 (141.30 seconds)
Cbc0010I After 116300 nodes, 12850 on tree, 134447.85 best solution, best possible 126670.49 (141.46 seconds)
Cbc0010I After 116400 nodes, 12840 on tree, 134447.85 best solution, best possible 126670.49 (141.62 seconds)
Cbc0010I After 116500 nodes, 12837 on tree, 134447.85 best solution, best possible 126670.49 (141.78 seconds)
Cbc0010I After 116600 nodes, 12828 on tree, 134447.85 best solution, best possible 126670.49 (141.94 seconds)
Cbc0010I After 116700 nodes, 12833 on tree, 134447.85 best solution, best possible 126670.49 (142.08 seconds)
Cbc0010I After 116800 nodes, 12835 on tree, 134447.85 best solution, best possible 126670.49 (142.24 seconds)
Cbc0010I After 116900 nodes, 12826 on tree, 134447.85 best solution, best possible 126670.49 (142.42 seconds)
Cbc0010I After 117000 nodes, 12850 on tree, 134447.85 best solution, best possible 126670.49 (142.61 seconds)
Cbc0010I After 117100 nodes, 12841 on tree, 134447.85 best solution, best possible 126670.49 (142.79 seconds)
Cbc0010I After 117200 nodes, 12835 on tree, 134447.85 best solution, best possible 126670.49 (142.93 seconds)
Cbc0010I After 117300 nodes, 12840 on tree, 134447.85 best solution, best possible 126670.49 (143.12 seconds)
Cbc0010I After 117400 nodes, 12839 on tree, 134447.85 best solution, best possible 126670.49 (143.28 seconds)
Cbc0010I After 117500 nodes, 12826 on tree, 134447.85 best solution, best possible 126670.49 (143.41 seconds)
Cbc0010I After 117600 nodes, 12840 on tree, 134447.85 best solution, best possible 126670.49 (143.59 seconds)
Cbc0010I After 117700 nodes, 12847 on tree, 134447.85 best solution, best possible 126670.49 (143.75 seconds)
Cbc0010I After 117800 nodes, 12834 on tree, 134447.85 best solution, best possible 126670.49 (143.90 seconds)
Cbc0010I After 117900 nodes, 12834 on tree, 134447.85 best solution, best possible 126670.49 (144.02 seconds)
Cbc0010I After 118000 nodes, 12826 on tree, 134447.85 best solution, best possible 126670.49 (144.14 seconds)
Cbc0010I After 118100 nodes, 12844 on tree, 134447.85 best solution, best possible 126670.49 (144.33 seconds)
Cbc0010I After 118200 nodes, 12829 on tree, 134447.85 best solution, best possible 126670.49 (144.48 seconds)
Cbc0010I After 118300 nodes, 12841 on tree, 134447.85 best solution, best possible 126670.49 (144.64 seconds)
Cbc0010I After 118400 nodes, 12838 on tree, 134447.85 best solution, best possible 126670.49 (144.79 seconds)
Cbc0010I After 118500 nodes, 12835 on tree, 134447.85 best solution, best possible 126670.49 (144.89 seconds)
Cbc0010I After 118600 nodes, 12824 on tree, 134447.85 best solution, best possible 126670.49 (144.98 seconds)
Cbc0010I After 118700 nodes, 12858 on tree, 134447.85 best solution, best possible 126670.49 (145.12 seconds)
Cbc0010I After 118800 nodes, 12853 on tree, 134447.85 best solution, best possible 126670.49 (145.27 seconds)
Cbc0010I After 118900 nodes, 12844 on tree, 134447.85 best solution, best possible 126670.49 (145.43 seconds)
Cbc0010I After 119000 nodes, 12833 on tree, 134447.85 best solution, best possible 126670.49 (145.56 seconds)
Cbc0010I After 119100 nodes, 12827 on tree, 134447.85 best solution, best possible 126670.49 (145.70 seconds)
Cbc0010I After 119200 nodes, 12828 on tree, 134447.85 best solution, best possible 126670.49 (145.82 seconds)
Cbc0010I After 119300 nodes, 12824 on tree, 134447.85 best solution, best possible 126670.49 (145.95 seconds)
Cbc0010I After 119400 nodes, 12827 on tree, 134447.85 best solution, best possible 126670.49 (146.13 seconds)
Cbc0010I After 119500 nodes, 12835 on tree, 134447.85 best solution, best possible 126670.49 (146.33 seconds)
Cbc0010I After 119600 nodes, 12819 on tree, 134447.85 best solution, best possible 126670.49 (146.48 seconds)
Cbc0010I After 119700 nodes, 12841 on tree, 134447.85 best solution, best possible 126670.49 (146.63 seconds)
Cbc0010I After 119800 nodes, 12853 on tree, 134447.85 best solution, best possible 126670.49 (146.81 seconds)
Cbc0010I After 119900 nodes, 12842 on tree, 134447.85 best solution, best possible 126670.49 (146.96 seconds)
Cbc0010I After 120000 nodes, 12837 on tree, 134447.85 best solution, best possible 126670.49 (147.11 seconds)
Cbc0010I After 120100 nodes, 12847 on tree, 134447.85 best solution, best possible 126670.49 (147.26 seconds)
Cbc0010I After 120200 nodes, 12871 on tree, 134447.85 best solution, best possible 126670.49 (147.42 seconds)
Cbc0010I After 120300 nodes, 12849 on tree, 134447.85 best solution, best possible 126670.49 (147.54 seconds)
Cbc0010I After 120400 nodes, 12843 on tree, 134447.85 best solution, best possible 126670.49 (147.67 seconds)
Cbc0010I After 120500 nodes, 12843 on tree, 134447.85 best solution, best possible 126670.49 (147.85 seconds)
Cbc0010I After 120600 nodes, 12835 on tree, 134447.85 best solution, best possible 126670.49 (147.99 seconds)
Cbc0010I After 120700 nodes, 12824 on tree, 134447.85 best solution, best possible 126670.49 (148.14 seconds)
Cbc0010I After 120800 nodes, 12828 on tree, 134447.85 best solution, best possible 126670.49 (148.28 seconds)
Cbc0010I After 120900 nodes, 12829 on tree, 134447.85 best solution, best possible 126670.49 (148.43 seconds)
Cbc0010I After 121000 nodes, 12825 on tree, 134447.85 best solution, best possible 126670.49 (148.57 seconds)
Cbc0010I After 121100 nodes, 12816 on tree, 134447.85 best solution, best possible 126670.49 (148.71 seconds)
Cbc0010I After 121200 nodes, 12827 on tree, 134447.85 best solution, best possible 126670.49 (148.87 seconds)
Cbc0010I After 121300 nodes, 12825 on tree, 134447.85 best solution, best possible 126670.49 (149.02 seconds)
Cbc0010I After 121400 nodes, 12820 on tree, 134447.85 best solution, best possible 126670.49 (149.18 seconds)
Cbc0010I After 121500 nodes, 12839 on tree, 134447.85 best solution, best possible 126670.49 (149.35 seconds)
Cbc0010I After 121600 nodes, 12830 on tree, 134447.85 best solution, best possible 126670.49 (149.47 seconds)
Cbc0010I After 121700 nodes, 12838 on tree, 134447.85 best solution, best possible 126670.49 (149.65 seconds)
Cbc0010I After 121800 nodes, 12835 on tree, 134447.85 best solution, best possible 126670.49 (149.82 seconds)
Cbc0030I Thread 0 used 15190 times,  waiting to start 1.687501,  84919 locks, 1.9618216 locked, 0.42989755 waiting for locks
Cbc0030I Thread 1 used 15373 times,  waiting to start 2.0566676,  85609 locks, 2.0243144 locked, 0.43901801 waiting for locks
Cbc0030I Thread 2 used 15267 times,  waiting to start 2.2376196,  85247 locks, 2.0452199 locked, 0.42997241 waiting for locks
Cbc0030I Thread 3 used 15413 times,  waiting to start 2.4225893,  85982 locks, 2.0102785 locked, 0.44001532 waiting for locks
Cbc0030I Thread 4 used 15429 times,  waiting to start 2.7338612,  86056 locks, 2.0047369 locked, 0.45392013 waiting for locks
Cbc0030I Thread 5 used 15000 times,  waiting to start 2.582751,  83948 locks, 1.9955602 locked, 0.43640971 waiting for locks
Cbc0030I Thread 6 used 15156 times,  waiting to start 2.7644076,  84377 locks, 1.9811816 locked, 0.4330368 waiting for locks
Cbc0030I Thread 7 used 15043 times,  waiting to start 2.9683566,  83612 locks, 1.9579155 locked, 0.4251852 waiting for locks
Cbc0030I Main thread 137.10344 waiting for threads,  245098 locks, 0.37256479 locked, 0.98573685 waiting for locks
Cbc0020I Exiting on maximum time
Cbc0005I Partial search - best objective 134447.85 (best possible 126670.49), took 5041217 iterations and 121864 nodes (150.25 seconds)
Cbc0032I Strong branching done 238326 times (5685031 iterations), fathomed 17737 nodes and fixed 58196 variables
Cbc0035I Maximum depth 124, 3071291 variables fixed on reduced cost
Cuts at root node changed objective from 122833 to 125931
Gomory was tried 38514 times and created 21304 cuts of which 0 were active after adding rounds of cuts (73.610 seconds)
MixedIntegerRounding2 was tried 337 times and created 182 cuts of which 0 were active after adding rounds of cuts (0.192 seconds)
FlowCover was tried 38546 times and created 172430 cuts of which 0 were active after adding rounds of cuts (20.765 seconds)

Result - Stopped on time limit

Objective value:                134447.84740911
Lower bound:                    126670.488
Gap:                            0.06
Enumerated nodes:               121864
Total iterations:               5041217
Time (CPU seconds):             1165.20
Time (Wallclock seconds):       150.26

Total time (CPU seconds):       1165.21   (Wallclock seconds):       150.27

SolutionInfo(runtime=150.27, bound=126670.49, objective=134447.84740911, relgap=0.05784664878601098, termination='maxTimeLimit')

S, G = solver.get_solution()

svgplot(G)