[Cbc] CBC misses optimal solution on eilB101

[Haroldo Gambini Santos]

Hi,

As part of my automated tests with CBC I discovered that in the last CBC 
revisions (2105 and 2106) CBC misses the optimal solution in a set 
partitioning instance from MIPLIB,   eilB101.

The optimal is 1216.920174 (http://miplib.zib.de/miplib2010/eilB101.php)

But CBC finds  1236.45472500.

Follows attached the execution log.

Cheers,

-- 
==================================================
Haroldo Gambini Santos
D.Sc, Computer Science
Universidade Federal de Ouro Preto
http://www.decom.ufop.br/haroldo/

-------------- next part --------------
Welcome to the CBC MILP Solver 
Version: Trunk (unstable) 
Build Date: Jan  6 2015 
Revision Number: 2105 

command line - cbc /home/haroldo/Dropbox/inst/cbcbench/eilB101.mps.gz seconds 3258 solve solu r2105/eilB101.sol (default strategy 1)
At line 1 NAME           eilB101
At line 2 ROWS
At line 104 COLUMNS
At line 14268 RHS
At line 14319 ENDATA
Problem eilB101 has 100 rows, 2818 columns and 24120 elements
Coin0008I eilB101 read with 0 errors
seconds was changed from 1e+100 to 3258
Continuous objective value is 1075.25 - 0.04 seconds
Cgl0004I processed model has 100 rows, 2815 columns (2815 integer (2815 of which binary)) and 24098 elements
Cbc0038I Initial state - 89 integers unsatisfied sum - 12.807
Cbc0038I Pass   1: suminf.    9.57792 (78) obj. 1139.6 iterations 232
Cbc0038I Pass   2: suminf.    9.91280 (96) obj. 1163.04 iterations 212
Cbc0038I Pass   3: suminf.    9.10814 (97) obj. 1138.99 iterations 170
Cbc0038I Pass   4: suminf.    8.68271 (97) obj. 1134.38 iterations 89
Cbc0038I Pass   5: suminf.    9.92572 (98) obj. 1131.38 iterations 178
Cbc0038I Pass   6: suminf.    8.59282 (99) obj. 1131.55 iterations 162
Cbc0038I Pass   7: suminf.   10.15708 (98) obj. 1151.79 iterations 216
Cbc0038I Pass   8: suminf.    8.38673 (100) obj. 1145.63 iterations 193
Cbc0038I Pass   9: suminf.    9.09844 (97) obj. 1146.56 iterations 122
Cbc0038I Pass  10: suminf.   16.31479 (100) obj. 1377.24 iterations 252
Cbc0038I Pass  11: suminf.    8.98294 (86) obj. 1325.59 iterations 252
Cbc0038I Pass  12: suminf.    9.65631 (91) obj. 1314.44 iterations 162
Cbc0038I Pass  13: suminf.   17.52734 (99) obj. 1572.99 iterations 255
Cbc0038I Pass  14: suminf.   10.69942 (91) obj. 1614.15 iterations 190
Cbc0038I Pass  15: suminf.   10.34980 (94) obj. 1600 iterations 57
Cbc0038I Pass  16: suminf.   11.59549 (91) obj. 1603 iterations 184
Cbc0038I Pass  17: suminf.    9.01580 (77) obj. 1613.99 iterations 207
Cbc0038I Pass  18: suminf.    8.64790 (68) obj. 1619.91 iterations 28
Cbc0038I Pass  19: suminf.    8.96811 (94) obj. 1654.1 iterations 201
Cbc0038I Pass  20: suminf.    7.84916 (76) obj. 1664.64 iterations 133
Cbc0038I Pass  21: suminf.    8.55487 (67) obj. 1700.41 iterations 273
Cbc0038I Pass  22: suminf.    7.25152 (66) obj. 1699.33 iterations 160
Cbc0038I Pass  23: suminf.    7.73511 (89) obj. 1720.41 iterations 180
Cbc0038I Pass  24: suminf.    6.76797 (77) obj. 1715.28 iterations 128
Cbc0038I Pass  25: suminf.    8.53387 (82) obj. 1735.46 iterations 183
Cbc0038I Pass  26: suminf.    6.54068 (88) obj. 1708.75 iterations 169
Cbc0038I Pass  27: suminf.    7.35485 (84) obj. 1712.05 iterations 137
Cbc0038I Pass  28: suminf.    6.78757 (75) obj. 1700.99 iterations 138
Cbc0038I Pass  29: suminf.    8.09049 (63) obj. 1707.24 iterations 154
Cbc0038I Pass  30: suminf.    6.75655 (64) obj. 1700.11 iterations 158
Cbc0038I No solution found this major pass
Cbc0038I Before mini branch and bound, 1963 integers at bound fixed and 0 continuous
Cbc0038I Full problem 100 rows 2815 columns, reduced to 100 rows 852 columns
Cbc0038I Mini branch and bound did not improve solution (1.18 seconds)
Cbc0038I Full problem 101 rows 2815 columns, reduced to 101 rows 2815 columns - too large
Cbc0038I After 1.30 seconds - Feasibility pump exiting - took 1.23 seconds
Cbc0038I Full problem 100 rows 2815 columns, reduced to 60 rows 245 columns
Cbc0012I Integer solution of 1529.8892 found by greedy equality after 0 iterations and 0 nodes (1.42 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 89 rows 103 columns
Cbc0031I 340 added rows had average density of 43.852941
Cbc0013I At root node, 340 cuts changed objective from 1075.2477 to 1108.8324 in 100 passes
Cbc0014I Cut generator 0 (Probing) - 0 row cuts average 0.0 elements, 0 column cuts (115 active)  in 3.503 seconds - new frequency is -100
Cbc0014I Cut generator 1 (Gomory) - 0 row cuts average 0.0 elements, 0 column cuts (0 active)  in 1.249 seconds - new frequency is -100
Cbc0014I Cut generator 2 (Knapsack) - 0 row cuts average 0.0 elements, 0 column cuts (0 active)  in 0.096 seconds - new frequency is -100
Cbc0014I Cut generator 3 (Clique) - 10257 row cuts average 36.3 elements, 0 column cuts (0 active)  in 1.140 seconds - new frequency is 1
Cbc0014I Cut generator 4 (MixedIntegerRounding2) - 0 row cuts average 0.0 elements, 0 column cuts (0 active)  in 0.104 seconds - new frequency is -100
Cbc0014I Cut generator 5 (FlowCover) - 0 row cuts average 0.0 elements, 0 column cuts (0 active)  in 0.017 seconds - new frequency is -100
Cbc0010I After 0 nodes, 1 on tree, 1529.8892 best solution, best possible 1109.5795 (26.81 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 95 rows 270 columns
Cbc0012I Integer solution of 1326.5465 found by RINS after 128952 iterations and 41 nodes (52.84 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 70 rows 129 columns
Cbc0010I After 100 nodes, 35 on tree, 1326.5465 best solution, best possible 1109.5795 (64.94 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 64 rows 114 columns
Cbc0010I After 200 nodes, 67 on tree, 1326.5465 best solution, best possible 1109.5795 (70.02 seconds)
Cbc0010I After 300 nodes, 89 on tree, 1326.5465 best solution, best possible 1109.5795 (74.90 seconds)
Cbc0004I Integer solution of 1315.7788 found after 270426 iterations and 366 nodes (78.04 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 57 rows 123 columns
Cbc0010I After 400 nodes, 114 on tree, 1315.7788 best solution, best possible 1109.5795 (79.06 seconds)
Cbc0010I After 500 nodes, 136 on tree, 1315.7788 best solution, best possible 1109.5795 (83.60 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 60 rows 98 columns
Cbc0010I After 600 nodes, 156 on tree, 1315.7788 best solution, best possible 1109.5795 (88.12 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 87 rows 175 columns
Cbc0010I After 700 nodes, 180 on tree, 1315.7788 best solution, best possible 1109.5795 (96.77 seconds)
Cbc0010I After 800 nodes, 208 on tree, 1315.7788 best solution, best possible 1109.5795 (105.78 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 78 rows 163 columns
Cbc0010I After 900 nodes, 233 on tree, 1315.7788 best solution, best possible 1109.5795 (111.28 seconds)
Cbc0010I After 1000 nodes, 244 on tree, 1315.7788 best solution, best possible 1109.5795 (116.80 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 100 rows 325 columns
Cbc0010I After 1100 nodes, 344 on tree, 1315.7788 best solution, best possible 1109.5795 (161.47 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 99 rows 207 columns
Cbc0010I After 1200 nodes, 424 on tree, 1315.7788 best solution, best possible 1109.5795 (187.90 seconds)
Cbc0010I After 1300 nodes, 432 on tree, 1315.7788 best solution, best possible 1109.5795 (199.50 seconds)
Cbc0010I After 1400 nodes, 414 on tree, 1315.7788 best solution, best possible 1109.5795 (207.15 seconds)
Cbc0010I After 1500 nodes, 399 on tree, 1315.7788 best solution, best possible 1109.5795 (212.48 seconds)
Cbc0010I After 1600 nodes, 380 on tree, 1315.7788 best solution, best possible 1109.5795 (218.63 seconds)
Cbc0010I After 1700 nodes, 394 on tree, 1315.7788 best solution, best possible 1109.5795 (226.33 seconds)
Cbc0010I After 1800 nodes, 375 on tree, 1315.7788 best solution, best possible 1109.5795 (229.55 seconds)
Cbc0010I After 1900 nodes, 390 on tree, 1315.7788 best solution, best possible 1109.5795 (236.45 seconds)
Cbc0010I After 2000 nodes, 367 on tree, 1315.7788 best solution, best possible 1109.5795 (240.43 seconds)
Cbc0010I After 2100 nodes, 355 on tree, 1315.7788 best solution, best possible 1109.5795 (244.36 seconds)
Cbc0010I After 2200 nodes, 429 on tree, 1315.7788 best solution, best possible 1109.5795 (256.09 seconds)
Cbc0010I After 2300 nodes, 403 on tree, 1315.7788 best solution, best possible 1109.5795 (260.06 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 54 rows 115 columns
Cbc0010I After 2400 nodes, 450 on tree, 1315.7788 best solution, best possible 1109.5795 (265.85 seconds)
Cbc0010I After 2500 nodes, 462 on tree, 1315.7788 best solution, best possible 1109.5795 (267.54 seconds)
Cbc0010I After 2600 nodes, 451 on tree, 1315.7788 best solution, best possible 1109.5795 (268.90 seconds)
Cbc0010I After 2700 nodes, 430 on tree, 1315.7788 best solution, best possible 1109.5795 (270.96 seconds)
Cbc0010I After 2800 nodes, 474 on tree, 1315.7788 best solution, best possible 1109.5795 (274.70 seconds)
Cbc0010I After 2900 nodes, 463 on tree, 1315.7788 best solution, best possible 1109.5795 (276.23 seconds)
Cbc0010I After 3000 nodes, 431 on tree, 1315.7788 best solution, best possible 1109.5795 (278.19 seconds)
Cbc0010I After 3100 nodes, 425 on tree, 1315.7788 best solution, best possible 1109.5795 (282.29 seconds)
Cbc0010I After 3200 nodes, 407 on tree, 1315.7788 best solution, best possible 1109.5795 (284.99 seconds)
Cbc0010I After 3300 nodes, 448 on tree, 1315.7788 best solution, best possible 1109.5795 (294.19 seconds)
Cbc0010I After 3400 nodes, 439 on tree, 1315.7788 best solution, best possible 1109.5795 (298.36 seconds)
Cbc0010I After 3500 nodes, 441 on tree, 1315.7788 best solution, best possible 1109.5795 (303.31 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 83 rows 201 columns
Cbc0010I After 3600 nodes, 454 on tree, 1315.7788 best solution, best possible 1109.5795 (306.54 seconds)
Cbc0010I After 3700 nodes, 452 on tree, 1315.7788 best solution, best possible 1109.5795 (310.83 seconds)
Cbc0010I After 3800 nodes, 424 on tree, 1315.7788 best solution, best possible 1109.5795 (314.91 seconds)
Cbc0010I After 3900 nodes, 491 on tree, 1315.7788 best solution, best possible 1109.5795 (322.30 seconds)
Cbc0010I After 4000 nodes, 485 on tree, 1315.7788 best solution, best possible 1109.5795 (325.70 seconds)
Cbc0010I After 4100 nodes, 483 on tree, 1315.7788 best solution, best possible 1109.5795 (328.63 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 90 rows 189 columns
Cbc0010I After 4200 nodes, 468 on tree, 1315.7788 best solution, best possible 1109.5795 (331.79 seconds)
Cbc0010I After 4300 nodes, 463 on tree, 1315.7788 best solution, best possible 1109.5795 (333.77 seconds)
Cbc0010I After 4400 nodes, 457 on tree, 1315.7788 best solution, best possible 1109.5795 (335.93 seconds)
Cbc0010I After 4500 nodes, 476 on tree, 1315.7788 best solution, best possible 1109.5795 (338.52 seconds)
Cbc0010I After 4600 nodes, 461 on tree, 1315.7788 best solution, best possible 1109.5795 (340.13 seconds)
Cbc0010I After 4700 nodes, 476 on tree, 1315.7788 best solution, best possible 1109.5795 (342.41 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 79 rows 203 columns
Cbc0010I After 4800 nodes, 474 on tree, 1315.7788 best solution, best possible 1109.5795 (344.42 seconds)
Cbc0010I After 4900 nodes, 438 on tree, 1315.7788 best solution, best possible 1109.5795 (346.58 seconds)
Cbc0010I After 5000 nodes, 431 on tree, 1315.7788 best solution, best possible 1109.5795 (348.23 seconds)
Cbc0010I After 5100 nodes, 455 on tree, 1315.7788 best solution, best possible 1109.5795 (350.47 seconds)
Cbc0010I After 5200 nodes, 508 on tree, 1315.7788 best solution, best possible 1109.5795 (355.97 seconds)
Cbc0010I After 5300 nodes, 548 on tree, 1315.7788 best solution, best possible 1109.5795 (360.27 seconds)
Cbc0010I After 5400 nodes, 529 on tree, 1315.7788 best solution, best possible 1109.5795 (362.46 seconds)
Cbc0010I After 5500 nodes, 520 on tree, 1315.7788 best solution, best possible 1109.5795 (364.71 seconds)
Cbc0010I After 5600 nodes, 516 on tree, 1315.7788 best solution, best possible 1109.5795 (366.51 seconds)
Cbc0010I After 5700 nodes, 512 on tree, 1315.7788 best solution, best possible 1109.5795 (369.04 seconds)
Cbc0010I After 5800 nodes, 498 on tree, 1315.7788 best solution, best possible 1109.5795 (371.22 seconds)
Cbc0010I After 5900 nodes, 486 on tree, 1315.7788 best solution, best possible 1109.5795 (373.36 seconds)
Cbc0010I After 6000 nodes, 521 on tree, 1315.7788 best solution, best possible 1109.5795 (376.80 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 57 rows 111 columns
Cbc0010I After 6100 nodes, 491 on tree, 1315.7788 best solution, best possible 1109.5795 (378.36 seconds)
Cbc0010I After 6200 nodes, 502 on tree, 1315.7788 best solution, best possible 1109.5795 (380.50 seconds)
Cbc0010I After 6300 nodes, 484 on tree, 1315.7788 best solution, best possible 1109.5795 (382.10 seconds)
Cbc0010I After 6400 nodes, 512 on tree, 1315.7788 best solution, best possible 1109.5795 (383.87 seconds)
Cbc0010I After 6500 nodes, 502 on tree, 1315.7788 best solution, best possible 1109.5795 (385.15 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 86 rows 173 columns
Cbc0010I After 6600 nodes, 464 on tree, 1315.7788 best solution, best possible 1109.5795 (386.38 seconds)
Cbc0010I After 6700 nodes, 469 on tree, 1315.7788 best solution, best possible 1109.5795 (388.13 seconds)
Cbc0010I After 6800 nodes, 485 on tree, 1315.7788 best solution, best possible 1109.5795 (390.01 seconds)
Cbc0010I After 6900 nodes, 487 on tree, 1315.7788 best solution, best possible 1109.5795 (391.95 seconds)
Cbc0010I After 7000 nodes, 498 on tree, 1315.7788 best solution, best possible 1109.5795 (393.94 seconds)
Cbc0010I After 7100 nodes, 481 on tree, 1315.7788 best solution, best possible 1109.5795 (395.16 seconds)
Cbc0010I After 7200 nodes, 457 on tree, 1315.7788 best solution, best possible 1109.5795 (396.32 seconds)
Cbc0010I After 7300 nodes, 511 on tree, 1315.7788 best solution, best possible 1109.5795 (397.76 seconds)
Cbc0010I After 7400 nodes, 469 on tree, 1315.7788 best solution, best possible 1109.5795 (398.61 seconds)
Cbc0010I After 7500 nodes, 476 on tree, 1315.7788 best solution, best possible 1109.5795 (400.79 seconds)
Cbc0010I After 7600 nodes, 442 on tree, 1315.7788 best solution, best possible 1109.5795 (402.45 seconds)
Cbc0010I After 7700 nodes, 439 on tree, 1315.7788 best solution, best possible 1109.5795 (404.31 seconds)
Cbc0010I After 7800 nodes, 431 on tree, 1315.7788 best solution, best possible 1109.5795 (405.74 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 76 rows 104 columns
Cbc0010I After 7900 nodes, 410 on tree, 1315.7788 best solution, best possible 1109.5795 (408.31 seconds)
Cbc0010I After 8000 nodes, 411 on tree, 1315.7788 best solution, best possible 1109.5795 (409.20 seconds)
Cbc0010I After 8100 nodes, 406 on tree, 1315.7788 best solution, best possible 1109.5795 (410.57 seconds)
Cbc0010I After 8200 nodes, 401 on tree, 1315.7788 best solution, best possible 1109.5795 (412.32 seconds)
Cbc0010I After 8300 nodes, 403 on tree, 1315.7788 best solution, best possible 1109.5795 (414.60 seconds)
Cbc0010I After 8400 nodes, 395 on tree, 1315.7788 best solution, best possible 1109.5795 (416.25 seconds)
Cbc0010I After 8500 nodes, 402 on tree, 1315.7788 best solution, best possible 1109.5795 (418.35 seconds)
Cbc0010I After 8600 nodes, 391 on tree, 1315.7788 best solution, best possible 1109.5795 (419.82 seconds)
Cbc0010I After 8700 nodes, 415 on tree, 1315.7788 best solution, best possible 1109.5795 (422.04 seconds)
Cbc0010I After 8800 nodes, 384 on tree, 1315.7788 best solution, best possible 1109.5795 (424.18 seconds)
Cbc0010I After 8900 nodes, 408 on tree, 1315.7788 best solution, best possible 1109.5795 (425.92 seconds)
Cbc0010I After 9000 nodes, 383 on tree, 1315.7788 best solution, best possible 1109.5795 (427.28 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 86 rows 212 columns
Cbc0010I After 9100 nodes, 457 on tree, 1315.7788 best solution, best possible 1109.5795 (432.12 seconds)
Cbc0010I After 9200 nodes, 413 on tree, 1315.7788 best solution, best possible 1109.5795 (434.19 seconds)
Cbc0010I After 9300 nodes, 400 on tree, 1315.7788 best solution, best possible 1109.5795 (435.94 seconds)
Cbc0010I After 9400 nodes, 468 on tree, 1315.7788 best solution, best possible 1109.5795 (439.70 seconds)
Cbc0010I After 9500 nodes, 495 on tree, 1315.7788 best solution, best possible 1109.5795 (442.38 seconds)
Cbc0010I After 9600 nodes, 489 on tree, 1315.7788 best solution, best possible 1109.5795 (444.20 seconds)
Cbc0010I After 9700 nodes, 475 on tree, 1315.7788 best solution, best possible 1109.5795 (445.44 seconds)
Cbc0010I After 9800 nodes, 454 on tree, 1315.7788 best solution, best possible 1109.5795 (447.24 seconds)
Cbc0010I After 9900 nodes, 451 on tree, 1315.7788 best solution, best possible 1109.5795 (449.13 seconds)
Cbc0010I After 10000 nodes, 448 on tree, 1315.7788 best solution, best possible 1109.5795 (450.62 seconds)
Cbc0010I After 10100 nodes, 462 on tree, 1315.7788 best solution, best possible 1109.5795 (452.54 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 52 rows 93 columns
Cbc0010I After 10200 nodes, 498 on tree, 1315.7788 best solution, best possible 1109.5795 (454.17 seconds)
Cbc0010I After 10300 nodes, 489 on tree, 1315.7788 best solution, best possible 1109.5795 (455.30 seconds)
Cbc0010I After 10400 nodes, 450 on tree, 1315.7788 best solution, best possible 1109.5795 (456.48 seconds)
Cbc0010I After 10500 nodes, 437 on tree, 1315.7788 best solution, best possible 1109.5795 (457.50 seconds)
Cbc0010I After 10600 nodes, 431 on tree, 1315.7788 best solution, best possible 1109.5795 (458.99 seconds)
Cbc0010I After 10700 nodes, 417 on tree, 1315.7788 best solution, best possible 1109.5795 (460.41 seconds)
Cbc0010I After 10800 nodes, 417 on tree, 1315.7788 best solution, best possible 1109.5795 (462.00 seconds)
Cbc0010I After 10900 nodes, 459 on tree, 1315.7788 best solution, best possible 1109.5795 (463.60 seconds)
Cbc0010I After 11000 nodes, 423 on tree, 1315.7788 best solution, best possible 1109.5795 (464.61 seconds)
Cbc0010I After 11100 nodes, 435 on tree, 1315.7788 best solution, best possible 1148.0996 (485.76 seconds)
Cbc0010I After 11200 nodes, 471 on tree, 1315.7788 best solution, best possible 1154.8104 (495.92 seconds)
Cbc0010I After 11300 nodes, 512 on tree, 1315.7788 best solution, best possible 1159.247 (506.28 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 80 rows 112 columns
Cbc0010I After 11400 nodes, 553 on tree, 1315.7788 best solution, best possible 1161.8849 (516.39 seconds)
Cbc0010I After 11500 nodes, 600 on tree, 1315.7788 best solution, best possible 1164.197 (526.31 seconds)
Cbc0010I After 11600 nodes, 642 on tree, 1315.7788 best solution, best possible 1167.0642 (534.81 seconds)
Cbc0010I After 11700 nodes, 682 on tree, 1315.7788 best solution, best possible 1168.6218 (542.60 seconds)
Cbc0010I After 11800 nodes, 720 on tree, 1315.7788 best solution, best possible 1170.3969 (549.97 seconds)
Cbc0010I After 11900 nodes, 761 on tree, 1315.7788 best solution, best possible 1171.8982 (557.82 seconds)
Cbc0010I After 12000 nodes, 795 on tree, 1315.7788 best solution, best possible 1173.1579 (565.15 seconds)
Cbc0010I After 12100 nodes, 835 on tree, 1315.7788 best solution, best possible 1174.8064 (572.24 seconds)
Cbc0010I After 12200 nodes, 876 on tree, 1315.7788 best solution, best possible 1176.4695 (579.01 seconds)
Cbc0010I After 12300 nodes, 914 on tree, 1315.7788 best solution, best possible 1177.7165 (585.10 seconds)
Cbc0010I After 12400 nodes, 951 on tree, 1315.7788 best solution, best possible 1179.0575 (590.07 seconds)
Cbc0010I After 12500 nodes, 987 on tree, 1315.7788 best solution, best possible 1180.3876 (597.38 seconds)
Cbc0010I After 12600 nodes, 1027 on tree, 1315.7788 best solution, best possible 1181.4881 (603.74 seconds)
Cbc0010I After 12700 nodes, 1066 on tree, 1315.7788 best solution, best possible 1182.272 (609.44 seconds)
Cbc0010I After 12800 nodes, 1099 on tree, 1315.7788 best solution, best possible 1183.3437 (615.83 seconds)
Cbc0010I After 12900 nodes, 1133 on tree, 1315.7788 best solution, best possible 1184.0461 (622.18 seconds)
Cbc0010I After 13000 nodes, 1166 on tree, 1315.7788 best solution, best possible 1185.1663 (628.05 seconds)
Cbc0010I After 13100 nodes, 1216 on tree, 1315.7788 best solution, best possible 1185.1663 (629.96 seconds)
Cbc0010I After 13200 nodes, 1215 on tree, 1315.7788 best solution, best possible 1185.1663 (631.38 seconds)
Cbc0010I After 13300 nodes, 1180 on tree, 1315.7788 best solution, best possible 1185.1663 (632.39 seconds)
Cbc0010I After 13400 nodes, 1191 on tree, 1315.7788 best solution, best possible 1185.1663 (633.22 seconds)
Cbc0010I After 13500 nodes, 1193 on tree, 1315.7788 best solution, best possible 1185.1663 (634.45 seconds)
Cbc0010I After 13600 nodes, 1177 on tree, 1315.7788 best solution, best possible 1185.1663 (635.86 seconds)
Cbc0010I After 13700 nodes, 1176 on tree, 1315.7788 best solution, best possible 1185.1663 (637.98 seconds)
Cbc0010I After 13800 nodes, 1155 on tree, 1315.7788 best solution, best possible 1185.1663 (640.06 seconds)
Cbc0010I After 13900 nodes, 1174 on tree, 1315.7788 best solution, best possible 1185.1663 (642.79 seconds)
Cbc0010I After 14000 nodes, 1175 on tree, 1315.7788 best solution, best possible 1185.1663 (644.16 seconds)
Cbc0010I After 14100 nodes, 1211 on tree, 1315.7788 best solution, best possible 1186.0237 (650.05 seconds)
Cbc0010I After 14200 nodes, 1244 on tree, 1315.7788 best solution, best possible 1187.1401 (655.92 seconds)
Cbc0010I After 14300 nodes, 1281 on tree, 1315.7788 best solution, best possible 1187.7324 (661.56 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 94 rows 228 columns
Cbc0010I After 14400 nodes, 1314 on tree, 1315.7788 best solution, best possible 1188.5086 (667.26 seconds)
Cbc0010I After 14500 nodes, 1342 on tree, 1315.7788 best solution, best possible 1189.5347 (673.88 seconds)
Cbc0010I After 14600 nodes, 1376 on tree, 1315.7788 best solution, best possible 1190.2267 (678.81 seconds)
Cbc0010I After 14700 nodes, 1406 on tree, 1315.7788 best solution, best possible 1190.741 (684.56 seconds)
Cbc0010I After 14800 nodes, 1442 on tree, 1315.7788 best solution, best possible 1191.5853 (689.25 seconds)
Cbc0010I After 14900 nodes, 1466 on tree, 1315.7788 best solution, best possible 1192.234 (694.51 seconds)
Cbc0010I After 15000 nodes, 1500 on tree, 1315.7788 best solution, best possible 1192.6241 (700.66 seconds)
Cbc0010I After 15100 nodes, 1529 on tree, 1315.7788 best solution, best possible 1193.3266 (706.22 seconds)
Cbc0010I After 15200 nodes, 1561 on tree, 1315.7788 best solution, best possible 1193.8859 (711.93 seconds)
Cbc0010I After 15300 nodes, 1593 on tree, 1315.7788 best solution, best possible 1194.7743 (716.34 seconds)
Cbc0010I After 15400 nodes, 1628 on tree, 1315.7788 best solution, best possible 1195.4009 (723.40 seconds)
Cbc0010I After 15500 nodes, 1658 on tree, 1315.7788 best solution, best possible 1196.1303 (729.49 seconds)
Cbc0010I After 15600 nodes, 1689 on tree, 1315.7788 best solution, best possible 1196.7209 (734.00 seconds)
Cbc0010I After 15700 nodes, 1716 on tree, 1315.7788 best solution, best possible 1197.3466 (739.49 seconds)
Cbc0010I After 15800 nodes, 1747 on tree, 1315.7788 best solution, best possible 1197.805 (743.68 seconds)
Cbc0010I After 15900 nodes, 1779 on tree, 1315.7788 best solution, best possible 1198.4425 (748.84 seconds)
Cbc0010I After 16000 nodes, 1811 on tree, 1315.7788 best solution, best possible 1199.0034 (754.79 seconds)
Cbc0010I After 16100 nodes, 1847 on tree, 1315.7788 best solution, best possible 1199.3792 (760.22 seconds)
Cbc0010I After 16200 nodes, 1875 on tree, 1315.7788 best solution, best possible 1199.7769 (765.47 seconds)
Cbc0010I After 16300 nodes, 1899 on tree, 1315.7788 best solution, best possible 1200.3565 (769.26 seconds)
Cbc0010I After 16400 nodes, 1921 on tree, 1315.7788 best solution, best possible 1200.691 (774.05 seconds)
Cbc0010I After 16500 nodes, 1951 on tree, 1315.7788 best solution, best possible 1201.2256 (779.43 seconds)
Cbc0010I After 16600 nodes, 1978 on tree, 1315.7788 best solution, best possible 1201.6029 (783.51 seconds)
Cbc0010I After 16700 nodes, 2002 on tree, 1315.7788 best solution, best possible 1201.9587 (787.88 seconds)
Cbc0010I After 16800 nodes, 2025 on tree, 1315.7788 best solution, best possible 1202.2437 (792.54 seconds)
Cbc0010I After 16900 nodes, 2050 on tree, 1315.7788 best solution, best possible 1202.6758 (797.88 seconds)
Cbc0010I After 17000 nodes, 2077 on tree, 1315.7788 best solution, best possible 1202.964 (802.35 seconds)
Cbc0010I After 17100 nodes, 2175 on tree, 1315.7788 best solution, best possible 1202.964 (807.45 seconds)
Cbc0010I After 17200 nodes, 2160 on tree, 1315.7788 best solution, best possible 1202.964 (809.59 seconds)
Cbc0010I After 17300 nodes, 2162 on tree, 1315.7788 best solution, best possible 1202.964 (811.48 seconds)
Cbc0010I After 17400 nodes, 2149 on tree, 1315.7788 best solution, best possible 1202.964 (813.42 seconds)
Cbc0010I After 17500 nodes, 2147 on tree, 1315.7788 best solution, best possible 1202.964 (815.45 seconds)
Cbc0010I After 17600 nodes, 2148 on tree, 1315.7788 best solution, best possible 1202.964 (817.47 seconds)
Cbc0010I After 17700 nodes, 2178 on tree, 1315.7788 best solution, best possible 1202.964 (819.91 seconds)
Cbc0010I After 17800 nodes, 2136 on tree, 1315.7788 best solution, best possible 1202.964 (821.45 seconds)
Cbc0010I After 17900 nodes, 2141 on tree, 1315.7788 best solution, best possible 1202.964 (823.37 seconds)
Cbc0010I After 18000 nodes, 2144 on tree, 1315.7788 best solution, best possible 1202.964 (825.06 seconds)
Cbc0010I After 18100 nodes, 2170 on tree, 1315.7788 best solution, best possible 1203.4907 (830.51 seconds)
Cbc0010I After 18200 nodes, 2201 on tree, 1315.7788 best solution, best possible 1203.8454 (836.40 seconds)
Cbc0010I After 18300 nodes, 2228 on tree, 1315.7788 best solution, best possible 1204.1443 (840.71 seconds)
Cbc0010I After 18400 nodes, 2254 on tree, 1315.7788 best solution, best possible 1204.4917 (845.32 seconds)
Cbc0010I After 18500 nodes, 2282 on tree, 1315.7788 best solution, best possible 1205.1017 (849.24 seconds)
Cbc0010I After 18600 nodes, 2310 on tree, 1315.7788 best solution, best possible 1205.4175 (853.22 seconds)
Cbc0010I After 18700 nodes, 2341 on tree, 1315.7788 best solution, best possible 1205.7599 (858.28 seconds)
Cbc0010I After 18800 nodes, 2369 on tree, 1315.7788 best solution, best possible 1206.218 (862.60 seconds)
Cbc0010I After 18900 nodes, 2395 on tree, 1315.7788 best solution, best possible 1206.53 (867.14 seconds)
Cbc0010I After 19000 nodes, 2424 on tree, 1315.7788 best solution, best possible 1207.0383 (871.69 seconds)
Cbc0010I After 19100 nodes, 2444 on tree, 1315.7788 best solution, best possible 1207.5348 (875.35 seconds)
Cbc0010I After 19200 nodes, 2467 on tree, 1315.7788 best solution, best possible 1207.9891 (879.61 seconds)
Cbc0010I After 19300 nodes, 2495 on tree, 1315.7788 best solution, best possible 1208.2749 (883.51 seconds)
Cbc0010I After 19400 nodes, 2525 on tree, 1315.7788 best solution, best possible 1208.6095 (887.96 seconds)
Cbc0010I After 19500 nodes, 2552 on tree, 1315.7788 best solution, best possible 1208.9322 (891.20 seconds)
Cbc0010I After 19600 nodes, 2574 on tree, 1315.7788 best solution, best possible 1209.3451 (895.31 seconds)
Cbc0010I After 19700 nodes, 2599 on tree, 1315.7788 best solution, best possible 1209.5491 (898.99 seconds)
Cbc0010I After 19800 nodes, 2625 on tree, 1315.7788 best solution, best possible 1209.7925 (903.72 seconds)
Cbc0010I After 19900 nodes, 2651 on tree, 1315.7788 best solution, best possible 1210.1542 (907.35 seconds)
Cbc0010I After 20000 nodes, 2677 on tree, 1315.7788 best solution, best possible 1210.4101 (911.87 seconds)
Cbc0010I After 20100 nodes, 2691 on tree, 1315.7788 best solution, best possible 1210.6829 (916.35 seconds)
Cbc0010I After 20200 nodes, 2715 on tree, 1315.7788 best solution, best possible 1211.0314 (920.97 seconds)
Cbc0010I After 20300 nodes, 2742 on tree, 1315.7788 best solution, best possible 1211.2936 (924.69 seconds)
Cbc0010I After 20400 nodes, 2766 on tree, 1315.7788 best solution, best possible 1211.5487 (927.85 seconds)
Cbc0010I After 20500 nodes, 2779 on tree, 1315.7788 best solution, best possible 1211.8369 (932.63 seconds)
Cbc0010I After 20600 nodes, 2808 on tree, 1315.7788 best solution, best possible 1212.1554 (936.81 seconds)
Cbc0010I After 20700 nodes, 2830 on tree, 1315.7788 best solution, best possible 1212.4973 (939.78 seconds)
Cbc0010I After 20800 nodes, 2846 on tree, 1315.7788 best solution, best possible 1212.7888 (943.19 seconds)
Cbc0010I After 20900 nodes, 2868 on tree, 1315.7788 best solution, best possible 1213.1193 (946.92 seconds)
Cbc0010I After 21000 nodes, 2895 on tree, 1315.7788 best solution, best possible 1213.3867 (950.85 seconds)
Cbc0010I After 21100 nodes, 2904 on tree, 1315.7788 best solution, best possible 1213.3867 (951.65 seconds)
Cbc0010I After 21200 nodes, 2869 on tree, 1315.7788 best solution, best possible 1213.3867 (952.85 seconds)
Cbc0010I After 21300 nodes, 2863 on tree, 1315.7788 best solution, best possible 1213.3867 (954.60 seconds)
Cbc0010I After 21400 nodes, 2872 on tree, 1315.7788 best solution, best possible 1213.3867 (956.71 seconds)
Cbc0010I After 21500 nodes, 2871 on tree, 1315.7788 best solution, best possible 1213.3867 (958.57 seconds)
Cbc0010I After 21600 nodes, 2856 on tree, 1315.7788 best solution, best possible 1213.3867 (960.30 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 54 rows 68 columns
Cbc0010I After 21700 nodes, 2850 on tree, 1315.7788 best solution, best possible 1213.3867 (962.43 seconds)
Cbc0010I After 21800 nodes, 2927 on tree, 1315.7788 best solution, best possible 1213.3867 (965.11 seconds)
Cbc0010I After 21900 nodes, 2878 on tree, 1315.7788 best solution, best possible 1213.3867 (966.68 seconds)
Cbc0010I After 22000 nodes, 2859 on tree, 1315.7788 best solution, best possible 1213.3867 (968.55 seconds)
Cbc0010I After 22100 nodes, 2892 on tree, 1315.7788 best solution, best possible 1213.7298 (971.29 seconds)
Cbc0010I After 22200 nodes, 2923 on tree, 1315.7788 best solution, best possible 1213.9479 (976.00 seconds)
Cbc0010I After 22300 nodes, 2940 on tree, 1315.7788 best solution, best possible 1214.1775 (979.05 seconds)
Cbc0010I After 22400 nodes, 2966 on tree, 1315.7788 best solution, best possible 1214.3539 (986.04 seconds)
Cbc0010I After 22500 nodes, 2991 on tree, 1315.7788 best solution, best possible 1214.571 (990.33 seconds)
Cbc0010I After 22600 nodes, 3016 on tree, 1315.7788 best solution, best possible 1214.8026 (994.24 seconds)
Cbc0010I After 22700 nodes, 3041 on tree, 1315.7788 best solution, best possible 1215.0888 (997.87 seconds)
Cbc0010I After 22800 nodes, 3071 on tree, 1315.7788 best solution, best possible 1215.3339 (1001.33 seconds)
Cbc0010I After 22900 nodes, 3092 on tree, 1315.7788 best solution, best possible 1215.6761 (1004.43 seconds)
Cbc0010I After 23000 nodes, 3118 on tree, 1315.7788 best solution, best possible 1215.9338 (1007.94 seconds)
Cbc0010I After 23100 nodes, 3145 on tree, 1315.7788 best solution, best possible 1216.2255 (1012.04 seconds)
Cbc0010I After 23200 nodes, 3171 on tree, 1315.7788 best solution, best possible 1216.4354 (1015.70 seconds)
Cbc0010I After 23300 nodes, 3185 on tree, 1315.7788 best solution, best possible 1216.6356 (1019.07 seconds)
Cbc0010I After 23400 nodes, 3209 on tree, 1315.7788 best solution, best possible 1216.9297 (1024.21 seconds)
Cbc0010I After 23500 nodes, 3230 on tree, 1315.7788 best solution, best possible 1217.2737 (1027.23 seconds)
Cbc0010I After 23600 nodes, 3253 on tree, 1315.7788 best solution, best possible 1217.5106 (1029.99 seconds)
Cbc0010I After 23700 nodes, 3279 on tree, 1315.7788 best solution, best possible 1217.7509 (1033.35 seconds)
Cbc0010I After 23800 nodes, 3307 on tree, 1315.7788 best solution, best possible 1217.938 (1036.91 seconds)
Cbc0010I After 23900 nodes, 3329 on tree, 1315.7788 best solution, best possible 1218.119 (1040.66 seconds)
Cbc0010I After 24000 nodes, 3352 on tree, 1315.7788 best solution, best possible 1218.4123 (1044.63 seconds)
Cbc0010I After 24100 nodes, 3376 on tree, 1315.7788 best solution, best possible 1218.6085 (1047.94 seconds)
Cbc0010I After 24200 nodes, 3399 on tree, 1315.7788 best solution, best possible 1218.7917 (1051.32 seconds)
Cbc0010I After 24300 nodes, 3423 on tree, 1315.7788 best solution, best possible 1219.0011 (1055.09 seconds)
Cbc0010I After 24400 nodes, 3445 on tree, 1315.7788 best solution, best possible 1219.1752 (1059.21 seconds)
Cbc0010I After 24500 nodes, 3473 on tree, 1315.7788 best solution, best possible 1219.4115 (1063.32 seconds)
Cbc0010I After 24600 nodes, 3498 on tree, 1315.7788 best solution, best possible 1219.629 (1067.16 seconds)
Cbc0010I After 24700 nodes, 3523 on tree, 1315.7788 best solution, best possible 1219.812 (1070.42 seconds)
Cbc0010I After 24800 nodes, 3548 on tree, 1315.7788 best solution, best possible 1219.9978 (1073.49 seconds)
Cbc0010I After 24900 nodes, 3570 on tree, 1315.7788 best solution, best possible 1220.1541 (1077.04 seconds)
Cbc0010I After 25000 nodes, 3587 on tree, 1315.7788 best solution, best possible 1220.3315 (1081.49 seconds)
Cbc0016I Integer solution of 1301.1282 found by strong branching after 9330679 iterations and 25012 nodes (1081.53 seconds)
Cbc0010I After 25100 nodes, 3290 on tree, 1301.1282 best solution, best possible 1220.3315 (1082.31 seconds)
Cbc0010I After 25200 nodes, 3301 on tree, 1301.1282 best solution, best possible 1220.3315 (1083.36 seconds)
Cbc0010I After 25300 nodes, 3313 on tree, 1301.1282 best solution, best possible 1220.3315 (1084.77 seconds)
Cbc0010I After 25400 nodes, 3326 on tree, 1301.1282 best solution, best possible 1220.3315 (1085.94 seconds)
Cbc0010I After 25500 nodes, 3332 on tree, 1301.1282 best solution, best possible 1220.3315 (1087.33 seconds)
Cbc0010I After 25600 nodes, 3349 on tree, 1301.1282 best solution, best possible 1220.3315 (1088.65 seconds)
Cbc0010I After 25700 nodes, 3364 on tree, 1301.1282 best solution, best possible 1220.3315 (1089.76 seconds)
Cbc0010I After 25800 nodes, 3379 on tree, 1301.1282 best solution, best possible 1220.3315 (1091.00 seconds)
Cbc0010I After 25900 nodes, 3389 on tree, 1301.1282 best solution, best possible 1220.3315 (1092.21 seconds)
Cbc0010I After 26000 nodes, 3407 on tree, 1301.1282 best solution, best possible 1220.3315 (1093.63 seconds)
Cbc0010I After 26100 nodes, 3425 on tree, 1301.1282 best solution, best possible 1220.6059 (1097.78 seconds)
Cbc0010I After 26200 nodes, 3445 on tree, 1301.1282 best solution, best possible 1220.8852 (1100.82 seconds)
Cbc0010I After 26300 nodes, 3466 on tree, 1301.1282 best solution, best possible 1221.1562 (1103.54 seconds)
Cbc0010I After 26400 nodes, 3482 on tree, 1301.1282 best solution, best possible 1221.319 (1106.77 seconds)
Cbc0010I After 26500 nodes, 3494 on tree, 1301.1282 best solution, best possible 1221.4846 (1110.24 seconds)
Cbc0010I After 26600 nodes, 3509 on tree, 1301.1282 best solution, best possible 1221.6413 (1114.25 seconds)
Cbc0010I After 26700 nodes, 3532 on tree, 1301.1282 best solution, best possible 1221.8467 (1117.69 seconds)
Cbc0010I After 26800 nodes, 3561 on tree, 1301.1282 best solution, best possible 1222.0337 (1121.24 seconds)
Cbc0010I After 26900 nodes, 3583 on tree, 1301.1282 best solution, best possible 1222.1793 (1126.81 seconds)
Cbc0010I After 27000 nodes, 3595 on tree, 1301.1282 best solution, best possible 1222.3517 (1131.52 seconds)
Cbc0010I After 27100 nodes, 3611 on tree, 1301.1282 best solution, best possible 1222.5993 (1135.31 seconds)
Cbc0010I After 27200 nodes, 3630 on tree, 1301.1282 best solution, best possible 1222.9302 (1139.56 seconds)
Cbc0010I After 27300 nodes, 3652 on tree, 1301.1282 best solution, best possible 1223.1569 (1143.91 seconds)
Cbc0010I After 27400 nodes, 3670 on tree, 1301.1282 best solution, best possible 1223.3491 (1147.01 seconds)
Cbc0010I After 27500 nodes, 3683 on tree, 1301.1282 best solution, best possible 1223.5562 (1150.23 seconds)
Cbc0010I After 27600 nodes, 3696 on tree, 1301.1282 best solution, best possible 1223.7455 (1154.61 seconds)
Cbc0010I After 27700 nodes, 3711 on tree, 1301.1282 best solution, best possible 1223.9437 (1158.99 seconds)
Cbc0010I After 27800 nodes, 3724 on tree, 1301.1282 best solution, best possible 1224.1166 (1161.89 seconds)
Cbc0010I After 27900 nodes, 3741 on tree, 1301.1282 best solution, best possible 1224.3237 (1165.74 seconds)
Cbc0010I After 28000 nodes, 3757 on tree, 1301.1282 best solution, best possible 1224.612 (1168.88 seconds)
Cbc0010I After 28100 nodes, 3773 on tree, 1301.1282 best solution, best possible 1224.9459 (1172.73 seconds)
Cbc0010I After 28200 nodes, 3788 on tree, 1301.1282 best solution, best possible 1225.1422 (1176.43 seconds)
Cbc0010I After 28300 nodes, 3803 on tree, 1301.1282 best solution, best possible 1225.2703 (1180.41 seconds)
Cbc0010I After 28400 nodes, 3815 on tree, 1301.1282 best solution, best possible 1225.4786 (1184.83 seconds)
Cbc0010I After 28500 nodes, 3833 on tree, 1301.1282 best solution, best possible 1225.7313 (1187.90 seconds)
Cbc0010I After 28600 nodes, 3851 on tree, 1301.1282 best solution, best possible 1225.8917 (1190.99 seconds)
Cbc0010I After 28700 nodes, 3866 on tree, 1301.1282 best solution, best possible 1226.03 (1195.17 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 89 rows 176 columns
Cbc0010I After 28800 nodes, 3887 on tree, 1301.1282 best solution, best possible 1226.212 (1198.89 seconds)
Cbc0010I After 28900 nodes, 3904 on tree, 1301.1282 best solution, best possible 1226.3669 (1201.98 seconds)
Cbc0010I After 29000 nodes, 3922 on tree, 1301.1282 best solution, best possible 1226.5208 (1206.18 seconds)
Cbc0010I After 29100 nodes, 3919 on tree, 1301.1282 best solution, best possible 1226.5208 (1207.29 seconds)
Cbc0010I After 29200 nodes, 3931 on tree, 1301.1282 best solution, best possible 1226.5208 (1209.29 seconds)
Cbc0010I After 29300 nodes, 3941 on tree, 1301.1282 best solution, best possible 1226.5208 (1210.89 seconds)
Cbc0010I After 29400 nodes, 3913 on tree, 1301.1282 best solution, best possible 1226.5208 (1212.65 seconds)
Cbc0010I After 29500 nodes, 3910 on tree, 1301.1282 best solution, best possible 1226.5208 (1214.74 seconds)
Cbc0010I After 29600 nodes, 3921 on tree, 1301.1282 best solution, best possible 1226.5208 (1216.74 seconds)
Cbc0010I After 29700 nodes, 3911 on tree, 1301.1282 best solution, best possible 1226.5208 (1218.65 seconds)
Cbc0010I After 29800 nodes, 3927 on tree, 1301.1282 best solution, best possible 1226.5208 (1219.50 seconds)
Cbc0010I After 29900 nodes, 3907 on tree, 1301.1282 best solution, best possible 1226.5208 (1220.31 seconds)
Cbc0010I After 30000 nodes, 3947 on tree, 1301.1282 best solution, best possible 1226.5208 (1225.67 seconds)
Cbc0010I After 30100 nodes, 3962 on tree, 1301.1282 best solution, best possible 1226.7046 (1228.85 seconds)
Cbc0010I After 30200 nodes, 3977 on tree, 1301.1282 best solution, best possible 1226.887 (1231.60 seconds)
Cbc0010I After 30300 nodes, 3987 on tree, 1301.1282 best solution, best possible 1227.051 (1235.09 seconds)
Cbc0010I After 30400 nodes, 4007 on tree, 1301.1282 best solution, best possible 1227.2427 (1238.68 seconds)
Cbc0010I After 30500 nodes, 4026 on tree, 1301.1282 best solution, best possible 1227.3863 (1242.53 seconds)
Cbc0010I After 30600 nodes, 4045 on tree, 1301.1282 best solution, best possible 1227.5983 (1245.92 seconds)
Cbc0010I After 30700 nodes, 4063 on tree, 1301.1282 best solution, best possible 1227.7767 (1248.83 seconds)
Cbc0010I After 30800 nodes, 4076 on tree, 1301.1282 best solution, best possible 1227.9068 (1252.24 seconds)
Cbc0010I After 30900 nodes, 4089 on tree, 1301.1282 best solution, best possible 1228.0332 (1255.60 seconds)
Cbc0010I After 31000 nodes, 4103 on tree, 1301.1282 best solution, best possible 1228.1607 (1258.73 seconds)
Cbc0010I After 31100 nodes, 4116 on tree, 1301.1282 best solution, best possible 1228.2918 (1260.96 seconds)
Cbc0010I After 31200 nodes, 4127 on tree, 1301.1282 best solution, best possible 1228.4231 (1264.25 seconds)
Cbc0010I After 31300 nodes, 4142 on tree, 1301.1282 best solution, best possible 1228.5852 (1267.57 seconds)
Cbc0010I After 31400 nodes, 4162 on tree, 1301.1282 best solution, best possible 1228.7404 (1270.80 seconds)
Cbc0010I After 31500 nodes, 4177 on tree, 1301.1282 best solution, best possible 1228.8593 (1274.25 seconds)
Cbc0010I After 31600 nodes, 4189 on tree, 1301.1282 best solution, best possible 1228.9971 (1277.38 seconds)
Cbc0010I After 31700 nodes, 4202 on tree, 1301.1282 best solution, best possible 1229.1591 (1280.76 seconds)
Cbc0010I After 31800 nodes, 4222 on tree, 1301.1282 best solution, best possible 1229.2849 (1283.82 seconds)
Cbc0010I After 31900 nodes, 4242 on tree, 1301.1282 best solution, best possible 1229.4098 (1286.14 seconds)
Cbc0010I After 32000 nodes, 4261 on tree, 1301.1282 best solution, best possible 1229.5577 (1288.97 seconds)
Cbc0010I After 32100 nodes, 4270 on tree, 1301.1282 best solution, best possible 1229.7272 (1293.06 seconds)
Cbc0010I After 32200 nodes, 4279 on tree, 1301.1282 best solution, best possible 1229.8258 (1295.79 seconds)
Cbc0010I After 32300 nodes, 4293 on tree, 1301.1282 best solution, best possible 1229.978 (1299.56 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 72 rows 129 columns
Cbc0010I After 32400 nodes, 4305 on tree, 1301.1282 best solution, best possible 1230.1508 (1302.86 seconds)
Cbc0010I After 32500 nodes, 4323 on tree, 1301.1282 best solution, best possible 1230.2716 (1306.10 seconds)
Cbc0010I After 32600 nodes, 4336 on tree, 1301.1282 best solution, best possible 1230.385 (1309.35 seconds)
Cbc0010I After 32700 nodes, 4354 on tree, 1301.1282 best solution, best possible 1230.5058 (1312.83 seconds)
Cbc0010I After 32800 nodes, 4367 on tree, 1301.1282 best solution, best possible 1230.6884 (1315.33 seconds)
Cbc0010I After 32900 nodes, 4374 on tree, 1301.1282 best solution, best possible 1230.854 (1317.97 seconds)
Cbc0010I After 33000 nodes, 4383 on tree, 1301.1282 best solution, best possible 1230.963 (1320.82 seconds)
Cbc0010I After 33100 nodes, 4383 on tree, 1301.1282 best solution, best possible 1230.963 (1324.69 seconds)
Cbc0010I After 33200 nodes, 4353 on tree, 1301.1282 best solution, best possible 1230.963 (1328.14 seconds)
Cbc0010I After 33300 nodes, 4370 on tree, 1301.1282 best solution, best possible 1230.963 (1331.90 seconds)
Cbc0010I After 33400 nodes, 4344 on tree, 1301.1282 best solution, best possible 1230.963 (1335.43 seconds)
Cbc0010I After 33500 nodes, 4352 on tree, 1301.1282 best solution, best possible 1230.963 (1338.43 seconds)
Cbc0010I After 33600 nodes, 4393 on tree, 1301.1282 best solution, best possible 1230.963 (1341.27 seconds)
Cbc0010I After 33700 nodes, 4388 on tree, 1301.1282 best solution, best possible 1230.963 (1343.73 seconds)
Cbc0010I After 33800 nodes, 4385 on tree, 1301.1282 best solution, best possible 1230.963 (1346.13 seconds)
Cbc0010I After 33900 nodes, 4366 on tree, 1301.1282 best solution, best possible 1230.963 (1349.10 seconds)
Cbc0010I After 34000 nodes, 4360 on tree, 1301.1282 best solution, best possible 1230.963 (1352.96 seconds)
Cbc0010I After 34100 nodes, 4375 on tree, 1301.1282 best solution, best possible 1231.096 (1355.97 seconds)
Cbc0010I After 34200 nodes, 4390 on tree, 1301.1282 best solution, best possible 1231.186 (1359.82 seconds)
Cbc0010I After 34300 nodes, 4402 on tree, 1301.1282 best solution, best possible 1231.3231 (1362.56 seconds)
Cbc0010I After 34400 nodes, 4412 on tree, 1301.1282 best solution, best possible 1231.4659 (1365.25 seconds)
Cbc0010I After 34500 nodes, 4425 on tree, 1301.1282 best solution, best possible 1231.5949 (1368.55 seconds)
Cbc0010I After 34600 nodes, 4441 on tree, 1301.1282 best solution, best possible 1231.7078 (1372.04 seconds)
Cbc0010I After 34700 nodes, 4456 on tree, 1301.1282 best solution, best possible 1231.8373 (1375.50 seconds)
Cbc0010I After 34800 nodes, 4473 on tree, 1301.1282 best solution, best possible 1231.9601 (1378.00 seconds)
Cbc0010I After 34900 nodes, 4481 on tree, 1301.1282 best solution, best possible 1232.0903 (1381.04 seconds)
Cbc0010I After 35000 nodes, 4488 on tree, 1301.1282 best solution, best possible 1232.2658 (1383.94 seconds)
Cbc0010I After 35100 nodes, 4498 on tree, 1301.1282 best solution, best possible 1232.3865 (1386.61 seconds)
Cbc0010I After 35200 nodes, 4512 on tree, 1301.1282 best solution, best possible 1232.4704 (1390.04 seconds)
Cbc0010I After 35300 nodes, 4519 on tree, 1301.1282 best solution, best possible 1232.6255 (1393.72 seconds)
Cbc0010I After 35400 nodes, 4536 on tree, 1301.1282 best solution, best possible 1232.7753 (1397.01 seconds)
Cbc0010I After 35500 nodes, 4550 on tree, 1301.1282 best solution, best possible 1232.909 (1398.98 seconds)
Cbc0010I After 35600 nodes, 4562 on tree, 1301.1282 best solution, best possible 1233.0145 (1401.92 seconds)
Cbc0010I After 35700 nodes, 4580 on tree, 1301.1282 best solution, best possible 1233.1473 (1404.80 seconds)
Cbc0010I After 35800 nodes, 4590 on tree, 1301.1282 best solution, best possible 1233.2719 (1407.63 seconds)
Cbc0010I After 35900 nodes, 4601 on tree, 1301.1282 best solution, best possible 1233.3966 (1410.88 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 78 rows 226 columns
Cbc0010I After 36000 nodes, 4615 on tree, 1301.1282 best solution, best possible 1233.5321 (1414.41 seconds)
Cbc0010I After 36100 nodes, 4626 on tree, 1301.1282 best solution, best possible 1233.6765 (1416.51 seconds)
Cbc0010I After 36200 nodes, 4639 on tree, 1301.1282 best solution, best possible 1233.8235 (1419.13 seconds)
Cbc0010I After 36300 nodes, 4654 on tree, 1301.1282 best solution, best possible 1233.9244 (1422.41 seconds)
Cbc0010I After 36400 nodes, 4659 on tree, 1301.1282 best solution, best possible 1234.0379 (1424.81 seconds)
Cbc0010I After 36500 nodes, 4667 on tree, 1301.1282 best solution, best possible 1234.1327 (1427.70 seconds)
Cbc0010I After 36600 nodes, 4677 on tree, 1301.1282 best solution, best possible 1234.2733 (1430.24 seconds)
Cbc0010I After 36700 nodes, 4684 on tree, 1301.1282 best solution, best possible 1234.3852 (1433.03 seconds)
Cbc0010I After 36800 nodes, 4694 on tree, 1301.1282 best solution, best possible 1234.497 (1435.06 seconds)
Cbc0010I After 36900 nodes, 4701 on tree, 1301.1282 best solution, best possible 1234.6109 (1438.90 seconds)
Cbc0010I After 37000 nodes, 4714 on tree, 1301.1282 best solution, best possible 1234.7152 (1442.20 seconds)
Cbc0010I After 37100 nodes, 4698 on tree, 1301.1282 best solution, best possible 1234.7152 (1444.19 seconds)
Cbc0010I After 37200 nodes, 4713 on tree, 1301.1282 best solution, best possible 1234.7152 (1446.83 seconds)
Cbc0010I After 37300 nodes, 4728 on tree, 1301.1282 best solution, best possible 1234.7152 (1449.34 seconds)
Cbc0010I After 37400 nodes, 4700 on tree, 1301.1282 best solution, best possible 1234.7152 (1451.40 seconds)
Cbc0010I After 37500 nodes, 4704 on tree, 1301.1282 best solution, best possible 1234.7152 (1453.75 seconds)
Cbc0010I After 37600 nodes, 4716 on tree, 1301.1282 best solution, best possible 1234.7152 (1456.21 seconds)
Cbc0010I After 37700 nodes, 4718 on tree, 1301.1282 best solution, best possible 1234.7152 (1458.32 seconds)
Cbc0010I After 37800 nodes, 4693 on tree, 1301.1282 best solution, best possible 1234.7152 (1460.51 seconds)
Cbc0010I After 37900 nodes, 4698 on tree, 1301.1282 best solution, best possible 1234.7152 (1463.02 seconds)
Cbc0010I After 38000 nodes, 4708 on tree, 1301.1282 best solution, best possible 1234.7152 (1466.68 seconds)
Cbc0010I After 38100 nodes, 4718 on tree, 1301.1282 best solution, best possible 1234.8649 (1469.91 seconds)
Cbc0010I After 38200 nodes, 4729 on tree, 1301.1282 best solution, best possible 1234.9852 (1472.25 seconds)
Cbc0010I After 38300 nodes, 4737 on tree, 1301.1282 best solution, best possible 1235.1284 (1475.11 seconds)
Cbc0010I After 38400 nodes, 4747 on tree, 1301.1282 best solution, best possible 1235.2581 (1477.79 seconds)
Cbc0010I After 38500 nodes, 4759 on tree, 1301.1282 best solution, best possible 1235.4269 (1481.77 seconds)
Cbc0010I After 38600 nodes, 4770 on tree, 1301.1282 best solution, best possible 1235.5341 (1484.76 seconds)
Cbc0010I After 38700 nodes, 4781 on tree, 1301.1282 best solution, best possible 1235.6569 (1487.71 seconds)
Cbc0010I After 38800 nodes, 4796 on tree, 1301.1282 best solution, best possible 1235.7473 (1491.11 seconds)
Cbc0010I After 38900 nodes, 4808 on tree, 1301.1282 best solution, best possible 1235.8843 (1493.70 seconds)
Cbc0010I After 39000 nodes, 4816 on tree, 1301.1282 best solution, best possible 1235.9726 (1496.31 seconds)
Cbc0010I After 39100 nodes, 4822 on tree, 1301.1282 best solution, best possible 1236.0699 (1498.99 seconds)
Cbc0010I After 39200 nodes, 4837 on tree, 1301.1282 best solution, best possible 1236.1501 (1501.47 seconds)
Cbc0010I After 39300 nodes, 4855 on tree, 1301.1282 best solution, best possible 1236.2357 (1504.00 seconds)
Cbc0010I After 39400 nodes, 4864 on tree, 1301.1282 best solution, best possible 1236.3187 (1506.80 seconds)
Cbc0010I After 39500 nodes, 4873 on tree, 1301.1282 best solution, best possible 1236.4096 (1509.10 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 71 rows 110 columns
Cbc0010I After 39600 nodes, 4883 on tree, 1301.1282 best solution, best possible 1236.4926 (1511.96 seconds)
Cbc0010I After 39700 nodes, 4899 on tree, 1301.1282 best solution, best possible 1236.5788 (1515.66 seconds)
Cbc0010I After 39800 nodes, 4911 on tree, 1301.1282 best solution, best possible 1236.6943 (1518.16 seconds)
Cbc0010I After 39900 nodes, 4926 on tree, 1301.1282 best solution, best possible 1236.8079 (1521.52 seconds)
Cbc0010I After 40000 nodes, 4938 on tree, 1301.1282 best solution, best possible 1236.9042 (1524.54 seconds)
Cbc0010I After 40100 nodes, 4946 on tree, 1301.1282 best solution, best possible 1237.0105 (1527.31 seconds)
Cbc0010I After 40200 nodes, 4962 on tree, 1301.1282 best solution, best possible 1237.1238 (1530.84 seconds)
Cbc0010I After 40300 nodes, 4973 on tree, 1301.1282 best solution, best possible 1237.207 (1533.18 seconds)
Cbc0010I After 40400 nodes, 4985 on tree, 1301.1282 best solution, best possible 1237.3384 (1537.10 seconds)
Cbc0010I After 40500 nodes, 4995 on tree, 1301.1282 best solution, best possible 1237.4954 (1539.34 seconds)
Cbc0010I After 40600 nodes, 5007 on tree, 1301.1282 best solution, best possible 1237.6359 (1541.95 seconds)
Cbc0010I After 40700 nodes, 5022 on tree, 1301.1282 best solution, best possible 1237.738 (1544.87 seconds)
Cbc0010I After 40800 nodes, 5029 on tree, 1301.1282 best solution, best possible 1237.8522 (1547.61 seconds)
Cbc0010I After 40900 nodes, 5042 on tree, 1301.1282 best solution, best possible 1237.9512 (1550.04 seconds)
Cbc0010I After 41000 nodes, 5053 on tree, 1301.1282 best solution, best possible 1238.0496 (1552.87 seconds)
Cbc0010I After 41100 nodes, 5053 on tree, 1301.1282 best solution, best possible 1238.0496 (1554.65 seconds)
Cbc0010I After 41200 nodes, 5025 on tree, 1301.1282 best solution, best possible 1238.0496 (1557.96 seconds)
Cbc0010I After 41300 nodes, 5053 on tree, 1301.1282 best solution, best possible 1238.0496 (1563.23 seconds)
Cbc0010I After 41400 nodes, 5040 on tree, 1301.1282 best solution, best possible 1238.0496 (1566.35 seconds)
Cbc0010I After 41500 nodes, 5022 on tree, 1301.1282 best solution, best possible 1238.0496 (1569.13 seconds)
Cbc0010I After 41600 nodes, 5040 on tree, 1301.1282 best solution, best possible 1238.0496 (1571.67 seconds)
Cbc0010I After 41700 nodes, 5060 on tree, 1301.1282 best solution, best possible 1238.0496 (1574.24 seconds)
Cbc0010I After 41800 nodes, 5069 on tree, 1301.1282 best solution, best possible 1238.0496 (1577.07 seconds)
Cbc0010I After 41900 nodes, 5040 on tree, 1301.1282 best solution, best possible 1238.0496 (1579.16 seconds)
Cbc0010I After 42000 nodes, 5049 on tree, 1301.1282 best solution, best possible 1238.0496 (1581.85 seconds)
Cbc0010I After 42100 nodes, 5058 on tree, 1301.1282 best solution, best possible 1238.1424 (1584.35 seconds)
Cbc0010I After 42200 nodes, 5069 on tree, 1301.1282 best solution, best possible 1238.2362 (1586.80 seconds)
Cbc0010I After 42300 nodes, 5077 on tree, 1301.1282 best solution, best possible 1238.3168 (1589.61 seconds)
Cbc0010I After 42400 nodes, 5085 on tree, 1301.1282 best solution, best possible 1238.3936 (1592.46 seconds)
Cbc0010I After 42500 nodes, 5097 on tree, 1301.1282 best solution, best possible 1238.4893 (1595.12 seconds)
Cbc0010I After 42600 nodes, 5104 on tree, 1301.1282 best solution, best possible 1238.5703 (1597.22 seconds)
Cbc0010I After 42700 nodes, 5118 on tree, 1301.1282 best solution, best possible 1238.6698 (1599.85 seconds)
Cbc0010I After 42800 nodes, 5131 on tree, 1301.1282 best solution, best possible 1238.7718 (1602.55 seconds)
Cbc0010I After 42900 nodes, 5140 on tree, 1301.1282 best solution, best possible 1238.8517 (1605.35 seconds)
Cbc0010I After 43000 nodes, 5150 on tree, 1301.1282 best solution, best possible 1238.9563 (1608.38 seconds)
Cbc0010I After 43100 nodes, 5157 on tree, 1301.1282 best solution, best possible 1239.0429 (1611.10 seconds)
Cbc0010I After 43200 nodes, 5164 on tree, 1301.1282 best solution, best possible 1239.1419 (1613.55 seconds)
Cbc0010I After 43300 nodes, 5174 on tree, 1301.1282 best solution, best possible 1239.2323 (1615.81 seconds)
Cbc0010I After 43400 nodes, 5183 on tree, 1301.1282 best solution, best possible 1239.3256 (1618.17 seconds)
Cbc0010I After 43500 nodes, 5193 on tree, 1301.1282 best solution, best possible 1239.4031 (1620.39 seconds)
Cbc0010I After 43600 nodes, 5205 on tree, 1301.1282 best solution, best possible 1239.4979 (1622.69 seconds)
Cbc0010I After 43700 nodes, 5218 on tree, 1301.1282 best solution, best possible 1239.5985 (1625.84 seconds)
Cbc0010I After 43800 nodes, 5226 on tree, 1301.1282 best solution, best possible 1239.6916 (1628.84 seconds)
Cbc0010I After 43900 nodes, 5241 on tree, 1301.1282 best solution, best possible 1239.7818 (1631.05 seconds)
Cbc0010I After 44000 nodes, 5254 on tree, 1301.1282 best solution, best possible 1239.8831 (1633.80 seconds)
Cbc0010I After 44100 nodes, 5260 on tree, 1301.1282 best solution, best possible 1239.9697 (1636.36 seconds)
Cbc0010I After 44200 nodes, 5269 on tree, 1301.1282 best solution, best possible 1240.0388 (1638.69 seconds)
Cbc0010I After 44300 nodes, 5276 on tree, 1301.1282 best solution, best possible 1240.1249 (1641.47 seconds)
Cbc0010I After 44400 nodes, 5280 on tree, 1301.1282 best solution, best possible 1240.2012 (1644.75 seconds)
Cbc0010I After 44500 nodes, 5295 on tree, 1301.1282 best solution, best possible 1240.3004 (1647.34 seconds)
Cbc0010I After 44600 nodes, 5304 on tree, 1301.1282 best solution, best possible 1240.4257 (1649.67 seconds)
Cbc0010I After 44700 nodes, 5313 on tree, 1301.1282 best solution, best possible 1240.5414 (1652.86 seconds)
Cbc0010I After 44800 nodes, 5324 on tree, 1301.1282 best solution, best possible 1240.62 (1655.35 seconds)
Cbc0010I After 44900 nodes, 5336 on tree, 1301.1282 best solution, best possible 1240.733 (1657.85 seconds)
Cbc0010I After 45000 nodes, 5346 on tree, 1301.1282 best solution, best possible 1240.8281 (1659.89 seconds)
Cbc0010I After 45100 nodes, 5335 on tree, 1301.1282 best solution, best possible 1240.8281 (1661.78 seconds)
Cbc0010I After 45200 nodes, 5323 on tree, 1301.1282 best solution, best possible 1240.8281 (1664.02 seconds)
Cbc0010I After 45300 nodes, 5335 on tree, 1301.1282 best solution, best possible 1240.8281 (1666.10 seconds)
Cbc0010I After 45400 nodes, 5329 on tree, 1301.1282 best solution, best possible 1240.8281 (1667.84 seconds)
Cbc0010I After 45500 nodes, 5332 on tree, 1301.1282 best solution, best possible 1240.8281 (1670.13 seconds)
Cbc0010I After 45600 nodes, 5382 on tree, 1301.1282 best solution, best possible 1240.8281 (1675.28 seconds)
Cbc0010I After 45700 nodes, 5358 on tree, 1301.1282 best solution, best possible 1240.8281 (1679.75 seconds)
Cbc0010I After 45800 nodes, 5335 on tree, 1301.1282 best solution, best possible 1240.8281 (1684.10 seconds)
Cbc0010I After 45900 nodes, 5317 on tree, 1301.1282 best solution, best possible 1240.8281 (1687.44 seconds)
Cbc0010I After 46000 nodes, 5314 on tree, 1301.1282 best solution, best possible 1240.8281 (1689.56 seconds)
Cbc0010I After 46100 nodes, 5322 on tree, 1301.1282 best solution, best possible 1240.9116 (1691.85 seconds)
Cbc0010I After 46200 nodes, 5329 on tree, 1301.1282 best solution, best possible 1241.0042 (1694.07 seconds)
Cbc0010I After 46300 nodes, 5339 on tree, 1301.1282 best solution, best possible 1241.0983 (1697.53 seconds)
Cbc0010I After 46400 nodes, 5351 on tree, 1301.1282 best solution, best possible 1241.176 (1700.82 seconds)
Cbc0010I After 46500 nodes, 5361 on tree, 1301.1282 best solution, best possible 1241.2777 (1703.36 seconds)
Cbc0010I After 46600 nodes, 5375 on tree, 1301.1282 best solution, best possible 1241.393 (1705.97 seconds)
Cbc0010I After 46700 nodes, 5384 on tree, 1301.1282 best solution, best possible 1241.5019 (1708.32 seconds)
Cbc0010I After 46800 nodes, 5399 on tree, 1301.1282 best solution, best possible 1241.6332 (1711.14 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 75 rows 178 columns
Cbc0010I After 46900 nodes, 5410 on tree, 1301.1282 best solution, best possible 1241.7327 (1713.56 seconds)
Cbc0010I After 47000 nodes, 5415 on tree, 1301.1282 best solution, best possible 1241.8327 (1716.98 seconds)
Cbc0010I After 47100 nodes, 5423 on tree, 1301.1282 best solution, best possible 1241.9266 (1719.39 seconds)
Cbc0010I After 47200 nodes, 5436 on tree, 1301.1282 best solution, best possible 1242.0004 (1721.89 seconds)
Cbc0010I After 47300 nodes, 5446 on tree, 1301.1282 best solution, best possible 1242.1106 (1725.35 seconds)
Cbc0010I After 47400 nodes, 5454 on tree, 1301.1282 best solution, best possible 1242.2013 (1727.86 seconds)
Cbc0010I After 47500 nodes, 5470 on tree, 1301.1282 best solution, best possible 1242.3094 (1730.50 seconds)
Cbc0010I After 47600 nodes, 5480 on tree, 1301.1282 best solution, best possible 1242.4181 (1733.05 seconds)
Cbc0010I After 47700 nodes, 5491 on tree, 1301.1282 best solution, best possible 1242.52 (1735.20 seconds)
Cbc0010I After 47800 nodes, 5499 on tree, 1301.1282 best solution, best possible 1242.6243 (1737.63 seconds)
Cbc0010I After 47900 nodes, 5511 on tree, 1301.1282 best solution, best possible 1242.733 (1740.19 seconds)
Cbc0010I After 48000 nodes, 5517 on tree, 1301.1282 best solution, best possible 1242.799 (1742.80 seconds)
Cbc0010I After 48100 nodes, 5519 on tree, 1301.1282 best solution, best possible 1242.875 (1744.96 seconds)
Cbc0010I After 48200 nodes, 5527 on tree, 1301.1282 best solution, best possible 1242.9798 (1747.55 seconds)
Cbc0010I After 48300 nodes, 5536 on tree, 1301.1282 best solution, best possible 1243.0575 (1749.81 seconds)
Cbc0010I After 48400 nodes, 5548 on tree, 1301.1282 best solution, best possible 1243.1524 (1752.27 seconds)
Cbc0010I After 48500 nodes, 5557 on tree, 1301.1282 best solution, best possible 1243.243 (1754.37 seconds)
Cbc0010I After 48600 nodes, 5565 on tree, 1301.1282 best solution, best possible 1243.3114 (1756.90 seconds)
Cbc0010I After 48700 nodes, 5582 on tree, 1301.1282 best solution, best possible 1243.3952 (1758.80 seconds)
Cbc0010I After 48800 nodes, 5590 on tree, 1301.1282 best solution, best possible 1243.4499 (1761.38 seconds)
Cbc0010I After 48900 nodes, 5595 on tree, 1301.1282 best solution, best possible 1243.5365 (1763.48 seconds)
Cbc0010I After 49000 nodes, 5602 on tree, 1301.1282 best solution, best possible 1243.6205 (1766.22 seconds)
Cbc0010I After 49100 nodes, 5601 on tree, 1301.1282 best solution, best possible 1243.6205 (1767.83 seconds)
Cbc0010I After 49200 nodes, 5629 on tree, 1301.1282 best solution, best possible 1243.6205 (1771.38 seconds)
Cbc0010I After 49300 nodes, 5611 on tree, 1301.1282 best solution, best possible 1243.6205 (1774.61 seconds)
Cbc0010I After 49400 nodes, 5590 on tree, 1301.1282 best solution, best possible 1243.6205 (1777.16 seconds)
Cbc0010I After 49500 nodes, 5581 on tree, 1301.1282 best solution, best possible 1243.6205 (1778.39 seconds)
Cbc0010I After 49600 nodes, 5582 on tree, 1301.1282 best solution, best possible 1243.6205 (1780.75 seconds)
Cbc0010I After 49700 nodes, 5600 on tree, 1301.1282 best solution, best possible 1243.6205 (1783.15 seconds)
Cbc0010I After 49800 nodes, 5589 on tree, 1301.1282 best solution, best possible 1243.6205 (1785.33 seconds)
Cbc0010I After 49900 nodes, 5585 on tree, 1301.1282 best solution, best possible 1243.6205 (1787.60 seconds)
Cbc0010I After 50000 nodes, 5580 on tree, 1301.1282 best solution, best possible 1243.6205 (1790.42 seconds)
Cbc0010I After 50100 nodes, 5590 on tree, 1301.1282 best solution, best possible 1243.6906 (1792.67 seconds)
Cbc0010I After 50200 nodes, 5603 on tree, 1301.1282 best solution, best possible 1243.7593 (1796.07 seconds)
Cbc0010I After 50300 nodes, 5614 on tree, 1301.1282 best solution, best possible 1243.8278 (1798.37 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 89 rows 263 columns
Cbc0010I After 50400 nodes, 5628 on tree, 1301.1282 best solution, best possible 1243.919 (1801.01 seconds)
Cbc0010I After 50500 nodes, 5639 on tree, 1301.1282 best solution, best possible 1244.0033 (1803.35 seconds)
Cbc0010I After 50600 nodes, 5645 on tree, 1301.1282 best solution, best possible 1244.1124 (1805.79 seconds)
Cbc0010I After 50700 nodes, 5650 on tree, 1301.1282 best solution, best possible 1244.1906 (1808.01 seconds)
Cbc0010I After 50800 nodes, 5658 on tree, 1301.1282 best solution, best possible 1244.2842 (1810.26 seconds)
Cbc0010I After 50900 nodes, 5664 on tree, 1301.1282 best solution, best possible 1244.3718 (1812.53 seconds)
Cbc0010I After 51000 nodes, 5668 on tree, 1301.1282 best solution, best possible 1244.4478 (1815.00 seconds)
Cbc0010I After 51100 nodes, 5673 on tree, 1301.1282 best solution, best possible 1244.5114 (1818.03 seconds)
Cbc0010I After 51200 nodes, 5689 on tree, 1301.1282 best solution, best possible 1244.5903 (1820.57 seconds)
Cbc0010I After 51300 nodes, 5694 on tree, 1301.1282 best solution, best possible 1244.6753 (1823.03 seconds)
Cbc0010I After 51400 nodes, 5697 on tree, 1301.1282 best solution, best possible 1244.7676 (1826.28 seconds)
Cbc0010I After 51500 nodes, 5707 on tree, 1301.1282 best solution, best possible 1244.842 (1829.01 seconds)
Cbc0010I After 51600 nodes, 5714 on tree, 1301.1282 best solution, best possible 1244.948 (1831.67 seconds)
Cbc0010I After 51700 nodes, 5726 on tree, 1301.1282 best solution, best possible 1245.0562 (1833.73 seconds)
Cbc0010I After 51800 nodes, 5729 on tree, 1301.1282 best solution, best possible 1245.1303 (1836.04 seconds)
Cbc0010I After 51900 nodes, 5736 on tree, 1301.1282 best solution, best possible 1245.2296 (1839.03 seconds)
Cbc0010I After 52000 nodes, 5745 on tree, 1301.1282 best solution, best possible 1245.3255 (1841.41 seconds)
Cbc0010I After 52100 nodes, 5754 on tree, 1301.1282 best solution, best possible 1245.4374 (1843.77 seconds)
Cbc0010I After 52200 nodes, 5761 on tree, 1301.1282 best solution, best possible 1245.5101 (1845.92 seconds)
Cbc0010I After 52300 nodes, 5772 on tree, 1301.1282 best solution, best possible 1245.5839 (1848.32 seconds)
Cbc0010I After 52400 nodes, 5787 on tree, 1301.1282 best solution, best possible 1245.6832 (1851.13 seconds)
Cbc0010I After 52500 nodes, 5795 on tree, 1301.1282 best solution, best possible 1245.7878 (1853.25 seconds)
Cbc0010I After 52600 nodes, 5803 on tree, 1301.1282 best solution, best possible 1245.8905 (1855.82 seconds)
Cbc0010I After 52700 nodes, 5810 on tree, 1301.1282 best solution, best possible 1245.9638 (1858.48 seconds)
Cbc0010I After 52800 nodes, 5814 on tree, 1301.1282 best solution, best possible 1246.064 (1861.11 seconds)
Cbc0010I After 52900 nodes, 5823 on tree, 1301.1282 best solution, best possible 1246.1514 (1863.02 seconds)
Cbc0010I After 53000 nodes, 5831 on tree, 1301.1282 best solution, best possible 1246.2266 (1865.32 seconds)
Cbc0010I After 53100 nodes, 5827 on tree, 1301.1282 best solution, best possible 1246.2266 (1867.47 seconds)
Cbc0010I After 53200 nodes, 5840 on tree, 1301.1282 best solution, best possible 1246.2266 (1870.81 seconds)
Cbc0010I After 53300 nodes, 5824 on tree, 1301.1282 best solution, best possible 1246.2266 (1874.24 seconds)
Cbc0010I After 53400 nodes, 5816 on tree, 1301.1282 best solution, best possible 1246.2266 (1877.01 seconds)
Cbc0010I After 53500 nodes, 5830 on tree, 1301.1282 best solution, best possible 1246.2266 (1879.00 seconds)
Cbc0010I After 53600 nodes, 5796 on tree, 1301.1282 best solution, best possible 1246.2266 (1881.01 seconds)
Cbc0010I After 53700 nodes, 5794 on tree, 1301.1282 best solution, best possible 1246.2266 (1883.59 seconds)
Cbc0010I After 53800 nodes, 5788 on tree, 1301.1282 best solution, best possible 1246.2266 (1885.70 seconds)
Cbc0010I After 53900 nodes, 5799 on tree, 1301.1282 best solution, best possible 1246.2266 (1887.34 seconds)
Cbc0010I After 54000 nodes, 5821 on tree, 1301.1282 best solution, best possible 1246.2266 (1889.04 seconds)
Cbc0010I After 54100 nodes, 5832 on tree, 1301.1282 best solution, best possible 1246.3034 (1891.84 seconds)
Cbc0010I After 54200 nodes, 5840 on tree, 1301.1282 best solution, best possible 1246.3969 (1893.84 seconds)
Cbc0010I After 54300 nodes, 5847 on tree, 1301.1282 best solution, best possible 1246.4929 (1895.74 seconds)
Cbc0010I After 54400 nodes, 5854 on tree, 1301.1282 best solution, best possible 1246.5736 (1897.72 seconds)
Cbc0010I After 54500 nodes, 5860 on tree, 1301.1282 best solution, best possible 1246.6787 (1899.89 seconds)
Cbc0010I After 54600 nodes, 5867 on tree, 1301.1282 best solution, best possible 1246.7697 (1902.32 seconds)
Cbc0010I After 54700 nodes, 5880 on tree, 1301.1282 best solution, best possible 1246.8583 (1904.54 seconds)
Cbc0010I After 54800 nodes, 5885 on tree, 1301.1282 best solution, best possible 1246.9571 (1906.98 seconds)
Cbc0010I After 54900 nodes, 5892 on tree, 1301.1282 best solution, best possible 1247.0485 (1909.15 seconds)
Cbc0010I After 55000 nodes, 5900 on tree, 1301.1282 best solution, best possible 1247.1148 (1910.87 seconds)
Cbc0010I After 55100 nodes, 5905 on tree, 1301.1282 best solution, best possible 1247.1812 (1912.77 seconds)
Cbc0010I After 55200 nodes, 5911 on tree, 1301.1282 best solution, best possible 1247.2413 (1915.06 seconds)
Cbc0010I After 55300 nodes, 5922 on tree, 1301.1282 best solution, best possible 1247.3292 (1917.11 seconds)
Cbc0010I After 55400 nodes, 5933 on tree, 1301.1282 best solution, best possible 1247.3996 (1920.06 seconds)
Cbc0010I After 55500 nodes, 5945 on tree, 1301.1282 best solution, best possible 1247.4668 (1923.66 seconds)
Cbc0010I After 55600 nodes, 5954 on tree, 1301.1282 best solution, best possible 1247.5412 (1926.66 seconds)
Cbc0010I After 55700 nodes, 5961 on tree, 1301.1282 best solution, best possible 1247.6199 (1928.57 seconds)
Cbc0010I After 55800 nodes, 5968 on tree, 1301.1282 best solution, best possible 1247.7108 (1930.95 seconds)
Cbc0010I After 55900 nodes, 5976 on tree, 1301.1282 best solution, best possible 1247.7949 (1933.23 seconds)
Cbc0010I After 56000 nodes, 5988 on tree, 1301.1282 best solution, best possible 1247.8686 (1935.41 seconds)
Cbc0010I After 56100 nodes, 5996 on tree, 1301.1282 best solution, best possible 1247.9418 (1937.37 seconds)
Cbc0010I After 56200 nodes, 6004 on tree, 1301.1282 best solution, best possible 1247.9896 (1939.57 seconds)
Cbc0010I After 56300 nodes, 6013 on tree, 1301.1282 best solution, best possible 1248.0519 (1941.89 seconds)
Cbc0010I After 56400 nodes, 6020 on tree, 1301.1282 best solution, best possible 1248.1118 (1944.10 seconds)
Cbc0010I After 56500 nodes, 6029 on tree, 1301.1282 best solution, best possible 1248.165 (1946.42 seconds)
Cbc0010I After 56600 nodes, 6037 on tree, 1301.1282 best solution, best possible 1248.2258 (1948.88 seconds)
Cbc0010I After 56700 nodes, 6048 on tree, 1301.1282 best solution, best possible 1248.2807 (1951.47 seconds)
Cbc0010I After 56800 nodes, 6054 on tree, 1301.1282 best solution, best possible 1248.3317 (1953.62 seconds)
Cbc0010I After 56900 nodes, 6062 on tree, 1301.1282 best solution, best possible 1248.3865 (1956.43 seconds)
Cbc0010I After 57000 nodes, 6072 on tree, 1301.1282 best solution, best possible 1248.4806 (1959.22 seconds)
Cbc0010I After 57100 nodes, 6064 on tree, 1301.1282 best solution, best possible 1248.4806 (1960.69 seconds)
Cbc0010I After 57200 nodes, 6035 on tree, 1301.1282 best solution, best possible 1248.4806 (1962.60 seconds)
Cbc0010I After 57300 nodes, 6046 on tree, 1301.1282 best solution, best possible 1248.4806 (1963.84 seconds)
Cbc0010I After 57400 nodes, 6080 on tree, 1301.1282 best solution, best possible 1248.4806 (1966.09 seconds)
Cbc0010I After 57500 nodes, 6037 on tree, 1301.1282 best solution, best possible 1248.4806 (1967.90 seconds)
Cbc0010I After 57600 nodes, 6033 on tree, 1301.1282 best solution, best possible 1248.4806 (1969.15 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 84 rows 175 columns
Cbc0010I After 57700 nodes, 6043 on tree, 1301.1282 best solution, best possible 1248.4806 (1971.07 seconds)
Cbc0010I After 57800 nodes, 6039 on tree, 1301.1282 best solution, best possible 1248.4806 (1973.22 seconds)
Cbc0010I After 57900 nodes, 6063 on tree, 1301.1282 best solution, best possible 1248.4806 (1976.08 seconds)
Cbc0010I After 58000 nodes, 6041 on tree, 1301.1282 best solution, best possible 1248.4806 (1978.96 seconds)
Cbc0010I After 58100 nodes, 6051 on tree, 1301.1282 best solution, best possible 1248.5376 (1981.20 seconds)
Cbc0010I After 58200 nodes, 6058 on tree, 1301.1282 best solution, best possible 1248.5989 (1984.20 seconds)
Cbc0010I After 58300 nodes, 6064 on tree, 1301.1282 best solution, best possible 1248.6685 (1986.15 seconds)
Cbc0010I After 58400 nodes, 6071 on tree, 1301.1282 best solution, best possible 1248.7459 (1988.75 seconds)
Cbc0010I After 58500 nodes, 6081 on tree, 1301.1282 best solution, best possible 1248.8331 (1990.93 seconds)
Cbc0010I After 58600 nodes, 6088 on tree, 1301.1282 best solution, best possible 1248.9135 (1993.13 seconds)
Cbc0010I After 58700 nodes, 6092 on tree, 1301.1282 best solution, best possible 1248.9924 (1995.54 seconds)
Cbc0010I After 58800 nodes, 6095 on tree, 1301.1282 best solution, best possible 1249.0751 (1998.12 seconds)
Cbc0010I After 58900 nodes, 6103 on tree, 1301.1282 best solution, best possible 1249.1454 (2000.71 seconds)
Cbc0010I After 59000 nodes, 6110 on tree, 1301.1282 best solution, best possible 1249.2407 (2003.15 seconds)
Cbc0010I After 59100 nodes, 6115 on tree, 1301.1282 best solution, best possible 1249.3268 (2005.13 seconds)
Cbc0010I After 59200 nodes, 6120 on tree, 1301.1282 best solution, best possible 1249.3959 (2007.02 seconds)
Cbc0010I After 59300 nodes, 6125 on tree, 1301.1282 best solution, best possible 1249.4739 (2009.66 seconds)
Cbc0010I After 59400 nodes, 6135 on tree, 1301.1282 best solution, best possible 1249.5463 (2012.39 seconds)
Cbc0010I After 59500 nodes, 6144 on tree, 1301.1282 best solution, best possible 1249.622 (2014.18 seconds)
Cbc0010I After 59600 nodes, 6151 on tree, 1301.1282 best solution, best possible 1249.7122 (2016.48 seconds)
Cbc0010I After 59700 nodes, 6158 on tree, 1301.1282 best solution, best possible 1249.7867 (2018.76 seconds)
Cbc0010I After 59800 nodes, 6169 on tree, 1301.1282 best solution, best possible 1249.8538 (2021.43 seconds)
Cbc0010I After 59900 nodes, 6180 on tree, 1301.1282 best solution, best possible 1249.9288 (2024.09 seconds)
Cbc0010I After 60000 nodes, 6189 on tree, 1301.1282 best solution, best possible 1250.0294 (2026.31 seconds)
Cbc0010I After 60100 nodes, 6194 on tree, 1301.1282 best solution, best possible 1250.1091 (2028.85 seconds)
Cbc0010I After 60200 nodes, 6197 on tree, 1301.1282 best solution, best possible 1250.1755 (2031.18 seconds)
Cbc0010I After 60300 nodes, 6203 on tree, 1301.1282 best solution, best possible 1250.2424 (2033.09 seconds)
Cbc0010I After 60400 nodes, 6209 on tree, 1301.1282 best solution, best possible 1250.3255 (2035.69 seconds)
Cbc0010I After 60500 nodes, 6214 on tree, 1301.1282 best solution, best possible 1250.3969 (2037.94 seconds)
Cbc0010I After 60600 nodes, 6223 on tree, 1301.1282 best solution, best possible 1250.4733 (2040.33 seconds)
Cbc0010I After 60700 nodes, 6227 on tree, 1301.1282 best solution, best possible 1250.5485 (2042.19 seconds)
Cbc0010I After 60800 nodes, 6233 on tree, 1301.1282 best solution, best possible 1250.6298 (2044.40 seconds)
Cbc0010I After 60900 nodes, 6236 on tree, 1301.1282 best solution, best possible 1250.7206 (2046.51 seconds)
Cbc0010I After 61000 nodes, 6240 on tree, 1301.1282 best solution, best possible 1250.7935 (2048.55 seconds)
Cbc0010I After 61100 nodes, 6232 on tree, 1301.1282 best solution, best possible 1250.7935 (2050.96 seconds)
Cbc0010I After 61200 nodes, 6217 on tree, 1301.1282 best solution, best possible 1250.7935 (2053.08 seconds)
Cbc0010I After 61300 nodes, 6235 on tree, 1301.1282 best solution, best possible 1250.7935 (2056.17 seconds)
Cbc0010I After 61400 nodes, 6228 on tree, 1301.1282 best solution, best possible 1250.7935 (2059.11 seconds)
Cbc0010I After 61500 nodes, 6234 on tree, 1301.1282 best solution, best possible 1250.7935 (2061.70 seconds)
Cbc0010I After 61600 nodes, 6219 on tree, 1301.1282 best solution, best possible 1250.7935 (2064.39 seconds)
Cbc0010I After 61700 nodes, 6203 on tree, 1301.1282 best solution, best possible 1250.7935 (2066.43 seconds)
Cbc0010I After 61800 nodes, 6196 on tree, 1301.1282 best solution, best possible 1250.7935 (2068.86 seconds)
Cbc0010I After 61900 nodes, 6191 on tree, 1301.1282 best solution, best possible 1250.7935 (2069.83 seconds)
Cbc0010I After 62000 nodes, 6193 on tree, 1301.1282 best solution, best possible 1250.7935 (2070.94 seconds)
Cbc0010I After 62100 nodes, 6200 on tree, 1301.1282 best solution, best possible 1250.8835 (2072.92 seconds)
Cbc0010I After 62200 nodes, 6205 on tree, 1301.1282 best solution, best possible 1250.958 (2075.15 seconds)
Cbc0010I After 62300 nodes, 6219 on tree, 1301.1282 best solution, best possible 1251.0139 (2077.60 seconds)
Cbc0010I After 62400 nodes, 6224 on tree, 1301.1282 best solution, best possible 1251.075 (2079.13 seconds)
Cbc0010I After 62500 nodes, 6234 on tree, 1301.1282 best solution, best possible 1251.1345 (2081.12 seconds)
Cbc0010I After 62600 nodes, 6240 on tree, 1301.1282 best solution, best possible 1251.2115 (2084.13 seconds)
Cbc0010I After 62700 nodes, 6248 on tree, 1301.1282 best solution, best possible 1251.2853 (2086.01 seconds)
Cbc0010I After 62800 nodes, 6259 on tree, 1301.1282 best solution, best possible 1251.3502 (2087.89 seconds)
Cbc0010I After 62900 nodes, 6268 on tree, 1301.1282 best solution, best possible 1251.4187 (2090.82 seconds)
Cbc0010I After 63000 nodes, 6274 on tree, 1301.1282 best solution, best possible 1251.4925 (2092.35 seconds)
Cbc0010I After 63100 nodes, 6283 on tree, 1301.1282 best solution, best possible 1251.5529 (2094.31 seconds)
Cbc0010I After 63200 nodes, 6288 on tree, 1301.1282 best solution, best possible 1251.6193 (2096.40 seconds)
Cbc0010I After 63300 nodes, 6303 on tree, 1301.1282 best solution, best possible 1251.683 (2098.42 seconds)
Cbc0010I After 63400 nodes, 6308 on tree, 1301.1282 best solution, best possible 1251.7461 (2100.59 seconds)
Cbc0010I After 63500 nodes, 6316 on tree, 1301.1282 best solution, best possible 1251.8042 (2102.77 seconds)
Cbc0010I After 63600 nodes, 6321 on tree, 1301.1282 best solution, best possible 1251.8658 (2105.95 seconds)
Cbc0010I After 63700 nodes, 6332 on tree, 1301.1282 best solution, best possible 1251.9374 (2108.66 seconds)
Cbc0010I After 63800 nodes, 6340 on tree, 1301.1282 best solution, best possible 1252.016 (2110.48 seconds)
Cbc0010I After 63900 nodes, 6345 on tree, 1301.1282 best solution, best possible 1252.0931 (2111.78 seconds)
Cbc0010I After 64000 nodes, 6350 on tree, 1301.1282 best solution, best possible 1252.1741 (2114.06 seconds)
Cbc0010I After 64100 nodes, 6356 on tree, 1301.1282 best solution, best possible 1252.2377 (2116.12 seconds)
Cbc0010I After 64200 nodes, 6362 on tree, 1301.1282 best solution, best possible 1252.2913 (2118.42 seconds)
Cbc0010I After 64300 nodes, 6372 on tree, 1301.1282 best solution, best possible 1252.3578 (2120.95 seconds)
Cbc0010I After 64400 nodes, 6380 on tree, 1301.1282 best solution, best possible 1252.4116 (2123.09 seconds)
Cbc0010I After 64500 nodes, 6385 on tree, 1301.1282 best solution, best possible 1252.483 (2125.12 seconds)
Cbc0010I After 64600 nodes, 6391 on tree, 1301.1282 best solution, best possible 1252.5408 (2127.31 seconds)
Cbc0010I After 64700 nodes, 6395 on tree, 1301.1282 best solution, best possible 1252.5993 (2129.10 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 73 rows 154 columns
Cbc0010I After 64800 nodes, 6405 on tree, 1301.1282 best solution, best possible 1252.6682 (2131.54 seconds)
Cbc0010I After 64900 nodes, 6411 on tree, 1301.1282 best solution, best possible 1252.7349 (2134.19 seconds)
Cbc0010I After 65000 nodes, 6415 on tree, 1301.1282 best solution, best possible 1252.7829 (2136.16 seconds)
Cbc0010I After 65100 nodes, 6416 on tree, 1301.1282 best solution, best possible 1252.7829 (2137.15 seconds)
Cbc0010I After 65200 nodes, 6410 on tree, 1301.1282 best solution, best possible 1252.7829 (2138.04 seconds)
Cbc0010I After 65300 nodes, 6423 on tree, 1301.1282 best solution, best possible 1252.7829 (2140.45 seconds)
Cbc0010I After 65400 nodes, 6417 on tree, 1301.1282 best solution, best possible 1252.7829 (2141.73 seconds)
Cbc0010I After 65500 nodes, 6409 on tree, 1301.1282 best solution, best possible 1252.7829 (2142.80 seconds)
Cbc0010I After 65600 nodes, 6399 on tree, 1301.1282 best solution, best possible 1252.7829 (2144.04 seconds)
Cbc0010I After 65700 nodes, 6434 on tree, 1301.1282 best solution, best possible 1252.7829 (2146.48 seconds)
Cbc0010I After 65800 nodes, 6417 on tree, 1301.1282 best solution, best possible 1252.7829 (2148.11 seconds)
Cbc0010I After 65900 nodes, 6408 on tree, 1301.1282 best solution, best possible 1252.7829 (2149.32 seconds)
Cbc0010I After 66000 nodes, 6396 on tree, 1301.1282 best solution, best possible 1252.7829 (2150.78 seconds)
Cbc0010I After 66100 nodes, 6405 on tree, 1301.1282 best solution, best possible 1252.8621 (2153.19 seconds)
Cbc0010I After 66200 nodes, 6414 on tree, 1301.1282 best solution, best possible 1252.9175 (2155.30 seconds)
Cbc0010I After 66300 nodes, 6421 on tree, 1301.1282 best solution, best possible 1252.9783 (2157.70 seconds)
Cbc0010I After 66400 nodes, 6433 on tree, 1301.1282 best solution, best possible 1253.032 (2159.51 seconds)
Cbc0010I After 66500 nodes, 6437 on tree, 1301.1282 best solution, best possible 1253.0924 (2162.10 seconds)
Cbc0010I After 66600 nodes, 6445 on tree, 1301.1282 best solution, best possible 1253.1419 (2164.04 seconds)
Cbc0010I After 66700 nodes, 6448 on tree, 1301.1282 best solution, best possible 1253.192 (2165.93 seconds)
Cbc0010I After 66800 nodes, 6454 on tree, 1301.1282 best solution, best possible 1253.2521 (2168.27 seconds)
Cbc0010I After 66900 nodes, 6460 on tree, 1301.1282 best solution, best possible 1253.317 (2170.85 seconds)
Cbc0010I After 67000 nodes, 6465 on tree, 1301.1282 best solution, best possible 1253.3836 (2172.90 seconds)
Cbc0010I After 67100 nodes, 6476 on tree, 1301.1282 best solution, best possible 1253.4502 (2174.89 seconds)
Cbc0010I After 67200 nodes, 6482 on tree, 1301.1282 best solution, best possible 1253.5022 (2177.03 seconds)
Cbc0010I After 67300 nodes, 6492 on tree, 1301.1282 best solution, best possible 1253.5648 (2179.32 seconds)
Cbc0010I After 67400 nodes, 6502 on tree, 1301.1282 best solution, best possible 1253.6344 (2181.84 seconds)
Cbc0010I After 67500 nodes, 6517 on tree, 1301.1282 best solution, best possible 1253.696 (2183.62 seconds)
Cbc0010I After 67600 nodes, 6524 on tree, 1301.1282 best solution, best possible 1253.7652 (2185.99 seconds)
Cbc0010I After 67700 nodes, 6528 on tree, 1301.1282 best solution, best possible 1253.8435 (2188.25 seconds)
Cbc0010I After 67800 nodes, 6533 on tree, 1301.1282 best solution, best possible 1253.9101 (2190.34 seconds)
Cbc0010I After 67900 nodes, 6537 on tree, 1301.1282 best solution, best possible 1253.9859 (2192.41 seconds)
Cbc0010I After 68000 nodes, 6543 on tree, 1301.1282 best solution, best possible 1254.0492 (2194.52 seconds)
Cbc0010I After 68100 nodes, 6558 on tree, 1301.1282 best solution, best possible 1254.105 (2196.65 seconds)
Cbc0010I After 68200 nodes, 6566 on tree, 1301.1282 best solution, best possible 1254.1618 (2198.72 seconds)
Cbc0010I After 68300 nodes, 6574 on tree, 1301.1282 best solution, best possible 1254.2219 (2200.80 seconds)
Cbc0010I After 68400 nodes, 6580 on tree, 1301.1282 best solution, best possible 1254.2831 (2202.81 seconds)
Cbc0010I After 68500 nodes, 6588 on tree, 1301.1282 best solution, best possible 1254.3489 (2204.53 seconds)
Cbc0010I After 68600 nodes, 6595 on tree, 1301.1282 best solution, best possible 1254.4223 (2207.03 seconds)
Cbc0010I After 68700 nodes, 6596 on tree, 1301.1282 best solution, best possible 1254.4915 (2209.43 seconds)
Cbc0010I After 68800 nodes, 6603 on tree, 1301.1282 best solution, best possible 1254.5576 (2211.87 seconds)
Cbc0010I After 68900 nodes, 6606 on tree, 1301.1282 best solution, best possible 1254.6248 (2214.49 seconds)
Cbc0010I After 69000 nodes, 6612 on tree, 1301.1282 best solution, best possible 1254.6923 (2216.13 seconds)
Cbc0010I After 69100 nodes, 6614 on tree, 1301.1282 best solution, best possible 1254.6923 (2218.35 seconds)
Cbc0010I After 69200 nodes, 6633 on tree, 1301.1282 best solution, best possible 1254.6923 (2221.47 seconds)
Cbc0010I After 69300 nodes, 6621 on tree, 1301.1282 best solution, best possible 1254.6923 (2225.00 seconds)
Cbc0010I After 69400 nodes, 6626 on tree, 1301.1282 best solution, best possible 1254.6923 (2226.83 seconds)
Cbc0010I After 69500 nodes, 6607 on tree, 1301.1282 best solution, best possible 1254.6923 (2230.07 seconds)
Cbc0010I After 69600 nodes, 6618 on tree, 1301.1282 best solution, best possible 1254.6923 (2233.72 seconds)
Cbc0010I After 69700 nodes, 6601 on tree, 1301.1282 best solution, best possible 1254.6923 (2236.96 seconds)
Cbc0010I After 69800 nodes, 6591 on tree, 1301.1282 best solution, best possible 1254.6923 (2239.60 seconds)
Cbc0010I After 69900 nodes, 6583 on tree, 1301.1282 best solution, best possible 1254.6923 (2242.28 seconds)
Cbc0010I After 70000 nodes, 6610 on tree, 1301.1282 best solution, best possible 1254.6923 (2245.24 seconds)
Cbc0010I After 70100 nodes, 6619 on tree, 1301.1282 best solution, best possible 1254.7603 (2247.72 seconds)
Cbc0010I After 70200 nodes, 6624 on tree, 1301.1282 best solution, best possible 1254.8279 (2250.41 seconds)
Cbc0010I After 70300 nodes, 6632 on tree, 1301.1282 best solution, best possible 1254.8982 (2252.49 seconds)
Cbc0010I After 70400 nodes, 6641 on tree, 1301.1282 best solution, best possible 1254.9747 (2255.15 seconds)
Cbc0010I After 70500 nodes, 6646 on tree, 1301.1282 best solution, best possible 1255.0582 (2256.76 seconds)
Cbc0010I After 70600 nodes, 6654 on tree, 1301.1282 best solution, best possible 1255.1238 (2259.00 seconds)
Cbc0010I After 70700 nodes, 6664 on tree, 1301.1282 best solution, best possible 1255.195 (2260.47 seconds)
Cbc0010I After 70800 nodes, 6670 on tree, 1301.1282 best solution, best possible 1255.279 (2262.03 seconds)
Cbc0010I After 70900 nodes, 6677 on tree, 1301.1282 best solution, best possible 1255.3319 (2264.29 seconds)
Cbc0010I After 71000 nodes, 6685 on tree, 1301.1282 best solution, best possible 1255.3993 (2266.99 seconds)
Cbc0010I After 71100 nodes, 6693 on tree, 1301.1282 best solution, best possible 1255.455 (2269.15 seconds)
Cbc0010I After 71200 nodes, 6700 on tree, 1301.1282 best solution, best possible 1255.4965 (2271.25 seconds)
Cbc0010I After 71300 nodes, 6708 on tree, 1301.1282 best solution, best possible 1255.549 (2273.64 seconds)
Cbc0010I After 71400 nodes, 6716 on tree, 1301.1282 best solution, best possible 1255.6064 (2275.57 seconds)
Cbc0010I After 71500 nodes, 6720 on tree, 1301.1282 best solution, best possible 1255.6595 (2277.96 seconds)
Cbc0010I After 71600 nodes, 6722 on tree, 1301.1282 best solution, best possible 1255.7229 (2280.44 seconds)
Cbc0010I After 71700 nodes, 6727 on tree, 1301.1282 best solution, best possible 1255.7905 (2282.50 seconds)
Cbc0010I After 71800 nodes, 6733 on tree, 1301.1282 best solution, best possible 1255.8574 (2284.40 seconds)
Cbc0010I After 71900 nodes, 6736 on tree, 1301.1282 best solution, best possible 1255.9135 (2287.12 seconds)
Cbc0010I After 72000 nodes, 6740 on tree, 1301.1282 best solution, best possible 1255.9849 (2289.14 seconds)
Cbc0010I After 72100 nodes, 6743 on tree, 1301.1282 best solution, best possible 1256.0554 (2291.25 seconds)
Cbc0010I After 72200 nodes, 6749 on tree, 1301.1282 best solution, best possible 1256.1137 (2292.76 seconds)
Cbc0010I After 72300 nodes, 6754 on tree, 1301.1282 best solution, best possible 1256.1561 (2294.63 seconds)
Cbc0010I After 72400 nodes, 6757 on tree, 1301.1282 best solution, best possible 1256.2133 (2296.32 seconds)
Cbc0010I After 72500 nodes, 6763 on tree, 1301.1282 best solution, best possible 1256.2663 (2298.84 seconds)
Cbc0010I After 72600 nodes, 6766 on tree, 1301.1282 best solution, best possible 1256.3157 (2301.05 seconds)
Cbc0010I After 72700 nodes, 6770 on tree, 1301.1282 best solution, best possible 1256.3658 (2303.59 seconds)
Cbc0010I After 72800 nodes, 6775 on tree, 1301.1282 best solution, best possible 1256.4444 (2305.43 seconds)
Cbc0010I After 72900 nodes, 6784 on tree, 1301.1282 best solution, best possible 1256.512 (2308.23 seconds)
Cbc0010I After 73000 nodes, 6788 on tree, 1301.1282 best solution, best possible 1256.5588 (2309.89 seconds)
Cbc0010I After 73100 nodes, 6752 on tree, 1301.1282 best solution, best possible 1256.5588 (2311.78 seconds)
Cbc0010I After 73200 nodes, 6741 on tree, 1301.1282 best solution, best possible 1256.5588 (2312.91 seconds)
Cbc0010I After 73300 nodes, 6744 on tree, 1301.1282 best solution, best possible 1256.5588 (2314.16 seconds)
Cbc0010I After 73400 nodes, 6734 on tree, 1301.1282 best solution, best possible 1256.5588 (2315.72 seconds)
Cbc0010I After 73500 nodes, 6759 on tree, 1301.1282 best solution, best possible 1256.5588 (2318.34 seconds)
Cbc0010I After 73600 nodes, 6735 on tree, 1301.1282 best solution, best possible 1256.5588 (2320.33 seconds)
Cbc0010I After 73700 nodes, 6742 on tree, 1301.1282 best solution, best possible 1256.5588 (2322.59 seconds)
Cbc0010I After 73800 nodes, 6733 on tree, 1301.1282 best solution, best possible 1256.5588 (2325.74 seconds)
Cbc0010I After 73900 nodes, 6749 on tree, 1301.1282 best solution, best possible 1256.5588 (2328.63 seconds)
Cbc0010I After 74000 nodes, 6716 on tree, 1301.1282 best solution, best possible 1256.5588 (2329.94 seconds)
Cbc0010I After 74100 nodes, 6722 on tree, 1301.1282 best solution, best possible 1256.6038 (2332.05 seconds)
Cbc0010I After 74200 nodes, 6727 on tree, 1301.1282 best solution, best possible 1256.6484 (2333.99 seconds)
Cbc0010I After 74300 nodes, 6730 on tree, 1301.1282 best solution, best possible 1256.7148 (2336.48 seconds)
Cbc0010I After 74400 nodes, 6731 on tree, 1301.1282 best solution, best possible 1256.7785 (2337.94 seconds)
Cbc0010I After 74500 nodes, 6737 on tree, 1301.1282 best solution, best possible 1256.835 (2339.75 seconds)
Cbc0010I After 74600 nodes, 6744 on tree, 1301.1282 best solution, best possible 1256.913 (2342.15 seconds)
Cbc0010I After 74700 nodes, 6749 on tree, 1301.1282 best solution, best possible 1256.9712 (2343.76 seconds)
Cbc0010I After 74800 nodes, 6757 on tree, 1301.1282 best solution, best possible 1257.0385 (2346.04 seconds)
Cbc0010I After 74900 nodes, 6762 on tree, 1301.1282 best solution, best possible 1257.1103 (2347.74 seconds)
Cbc0010I After 75000 nodes, 6767 on tree, 1301.1282 best solution, best possible 1257.1655 (2349.44 seconds)
Cbc0010I After 75100 nodes, 6776 on tree, 1301.1282 best solution, best possible 1257.2444 (2351.98 seconds)
Cbc0010I After 75200 nodes, 6783 on tree, 1301.1282 best solution, best possible 1257.3188 (2353.83 seconds)
Cbc0010I After 75300 nodes, 6790 on tree, 1301.1282 best solution, best possible 1257.3854 (2355.65 seconds)
Cbc0010I After 75400 nodes, 6799 on tree, 1301.1282 best solution, best possible 1257.4468 (2357.70 seconds)
Cbc0010I After 75500 nodes, 6807 on tree, 1301.1282 best solution, best possible 1257.5125 (2359.64 seconds)
Cbc0010I After 75600 nodes, 6814 on tree, 1301.1282 best solution, best possible 1257.5765 (2361.28 seconds)
Cbc0010I After 75700 nodes, 6818 on tree, 1301.1282 best solution, best possible 1257.6287 (2363.12 seconds)
Cbc0010I After 75800 nodes, 6826 on tree, 1301.1282 best solution, best possible 1257.6839 (2364.93 seconds)
Cbc0010I After 75900 nodes, 6831 on tree, 1301.1282 best solution, best possible 1257.7485 (2367.00 seconds)
Cbc0010I After 76000 nodes, 6834 on tree, 1301.1282 best solution, best possible 1257.8175 (2369.27 seconds)
Cbc0010I After 76100 nodes, 6841 on tree, 1301.1282 best solution, best possible 1257.8695 (2371.18 seconds)
Cbc0010I After 76200 nodes, 6851 on tree, 1301.1282 best solution, best possible 1257.9337 (2372.85 seconds)
Cbc0010I After 76300 nodes, 6856 on tree, 1301.1282 best solution, best possible 1257.9937 (2374.39 seconds)
Cbc0010I After 76400 nodes, 6860 on tree, 1301.1282 best solution, best possible 1258.0428 (2376.11 seconds)
Cbc0010I After 76500 nodes, 6863 on tree, 1301.1282 best solution, best possible 1258.0966 (2378.55 seconds)
Cbc0010I After 76600 nodes, 6867 on tree, 1301.1282 best solution, best possible 1258.1485 (2380.95 seconds)
Cbc0010I After 76700 nodes, 6869 on tree, 1301.1282 best solution, best possible 1258.2041 (2383.04 seconds)
Cbc0010I After 76800 nodes, 6872 on tree, 1301.1282 best solution, best possible 1258.2707 (2385.40 seconds)
Cbc0010I After 76900 nodes, 6875 on tree, 1301.1282 best solution, best possible 1258.3153 (2387.63 seconds)
Cbc0010I After 77000 nodes, 6886 on tree, 1301.1282 best solution, best possible 1258.3788 (2389.57 seconds)
Cbc0010I After 77100 nodes, 6895 on tree, 1301.1282 best solution, best possible 1258.3788 (2391.23 seconds)
Cbc0010I After 77200 nodes, 6913 on tree, 1301.1282 best solution, best possible 1258.3788 (2393.83 seconds)
Cbc0010I After 77300 nodes, 6894 on tree, 1301.1282 best solution, best possible 1258.3788 (2395.66 seconds)
Cbc0010I After 77400 nodes, 6903 on tree, 1301.1282 best solution, best possible 1258.3788 (2397.86 seconds)
Cbc0010I After 77500 nodes, 6937 on tree, 1301.1282 best solution, best possible 1258.3788 (2400.64 seconds)
Cbc0010I After 77600 nodes, 6885 on tree, 1301.1282 best solution, best possible 1258.3788 (2402.63 seconds)
Cbc0010I After 77700 nodes, 6874 on tree, 1301.1282 best solution, best possible 1258.3788 (2404.22 seconds)
Cbc0010I After 77800 nodes, 6880 on tree, 1301.1282 best solution, best possible 1258.3788 (2405.69 seconds)
Cbc0010I After 77900 nodes, 6881 on tree, 1301.1282 best solution, best possible 1258.3788 (2407.53 seconds)
Cbc0010I After 78000 nodes, 6852 on tree, 1301.1282 best solution, best possible 1258.3788 (2408.97 seconds)
Cbc0010I After 78100 nodes, 6854 on tree, 1301.1282 best solution, best possible 1258.4264 (2411.17 seconds)
Cbc0010I After 78200 nodes, 6856 on tree, 1301.1282 best solution, best possible 1258.4895 (2413.13 seconds)
Cbc0010I After 78300 nodes, 6861 on tree, 1301.1282 best solution, best possible 1258.5483 (2414.98 seconds)
Cbc0010I After 78400 nodes, 6866 on tree, 1301.1282 best solution, best possible 1258.5977 (2417.17 seconds)
Cbc0010I After 78500 nodes, 6873 on tree, 1301.1282 best solution, best possible 1258.6576 (2419.30 seconds)
Cbc0010I After 78600 nodes, 6875 on tree, 1301.1282 best solution, best possible 1258.7087 (2421.59 seconds)
Cbc0010I After 78700 nodes, 6882 on tree, 1301.1282 best solution, best possible 1258.7613 (2423.42 seconds)
Cbc0010I After 78800 nodes, 6884 on tree, 1301.1282 best solution, best possible 1258.814 (2425.63 seconds)
Cbc0010I After 78900 nodes, 6893 on tree, 1301.1282 best solution, best possible 1258.8709 (2427.67 seconds)
Cbc0010I After 79000 nodes, 6899 on tree, 1301.1282 best solution, best possible 1258.9277 (2429.50 seconds)
Cbc0010I After 79100 nodes, 6903 on tree, 1301.1282 best solution, best possible 1258.9866 (2431.45 seconds)
Cbc0010I After 79200 nodes, 6912 on tree, 1301.1282 best solution, best possible 1259.046 (2433.61 seconds)
Cbc0010I After 79300 nodes, 6919 on tree, 1301.1282 best solution, best possible 1259.1172 (2436.43 seconds)
Cbc0010I After 79400 nodes, 6921 on tree, 1301.1282 best solution, best possible 1259.1851 (2438.08 seconds)
Cbc0010I After 79500 nodes, 6930 on tree, 1301.1282 best solution, best possible 1259.239 (2440.02 seconds)
Cbc0010I After 79600 nodes, 6931 on tree, 1301.1282 best solution, best possible 1259.297 (2442.00 seconds)
Cbc0010I After 79700 nodes, 6934 on tree, 1301.1282 best solution, best possible 1259.3526 (2443.73 seconds)
Cbc0010I After 79800 nodes, 6939 on tree, 1301.1282 best solution, best possible 1259.4115 (2445.26 seconds)
Cbc0010I After 79900 nodes, 6945 on tree, 1301.1282 best solution, best possible 1259.4654 (2447.37 seconds)
Cbc0010I After 80000 nodes, 6953 on tree, 1301.1282 best solution, best possible 1259.5085 (2449.70 seconds)
Cbc0010I After 80100 nodes, 6958 on tree, 1301.1282 best solution, best possible 1259.5675 (2451.36 seconds)
Cbc0010I After 80200 nodes, 6960 on tree, 1301.1282 best solution, best possible 1259.63 (2453.69 seconds)
Cbc0010I After 80300 nodes, 6963 on tree, 1301.1282 best solution, best possible 1259.6944 (2455.98 seconds)
Cbc0010I After 80400 nodes, 6969 on tree, 1301.1282 best solution, best possible 1259.7507 (2457.70 seconds)
Cbc0010I After 80500 nodes, 6969 on tree, 1301.1282 best solution, best possible 1259.8211 (2459.47 seconds)
Cbc0010I After 80600 nodes, 6976 on tree, 1301.1282 best solution, best possible 1259.8703 (2461.62 seconds)
Cbc0010I After 80700 nodes, 6982 on tree, 1301.1282 best solution, best possible 1259.9426 (2463.58 seconds)
Cbc0010I After 80800 nodes, 6986 on tree, 1301.1282 best solution, best possible 1259.983 (2465.95 seconds)
Cbc0010I After 80900 nodes, 6996 on tree, 1301.1282 best solution, best possible 1260.0257 (2468.15 seconds)
Cbc0010I After 81000 nodes, 7002 on tree, 1301.1282 best solution, best possible 1260.0753 (2469.97 seconds)
Cbc0010I After 81100 nodes, 7022 on tree, 1301.1282 best solution, best possible 1260.0753 (2471.74 seconds)
Cbc0010I After 81200 nodes, 7002 on tree, 1301.1282 best solution, best possible 1260.0753 (2473.85 seconds)
Cbc0010I After 81300 nodes, 7002 on tree, 1301.1282 best solution, best possible 1260.0753 (2476.24 seconds)
Cbc0010I After 81400 nodes, 7007 on tree, 1301.1282 best solution, best possible 1260.0753 (2479.00 seconds)
Cbc0010I After 81500 nodes, 7019 on tree, 1301.1282 best solution, best possible 1260.0753 (2481.60 seconds)
Cbc0010I After 81600 nodes, 7007 on tree, 1301.1282 best solution, best possible 1260.0753 (2483.00 seconds)
Cbc0010I After 81700 nodes, 6995 on tree, 1301.1282 best solution, best possible 1260.0753 (2483.86 seconds)
Cbc0010I After 81800 nodes, 7003 on tree, 1301.1282 best solution, best possible 1260.0753 (2484.73 seconds)
Cbc0010I After 81900 nodes, 6987 on tree, 1301.1282 best solution, best possible 1260.0753 (2485.57 seconds)
Cbc0010I After 82000 nodes, 6982 on tree, 1301.1282 best solution, best possible 1260.0753 (2486.51 seconds)
Cbc0010I After 82100 nodes, 6987 on tree, 1301.1282 best solution, best possible 1260.1429 (2489.04 seconds)
Cbc0010I After 82200 nodes, 6997 on tree, 1301.1282 best solution, best possible 1260.2166 (2491.13 seconds)
Cbc0010I After 82300 nodes, 7002 on tree, 1301.1282 best solution, best possible 1260.2816 (2492.67 seconds)
Cbc0010I After 82400 nodes, 7010 on tree, 1301.1282 best solution, best possible 1260.3346 (2494.25 seconds)
Cbc0010I After 82500 nodes, 7018 on tree, 1301.1282 best solution, best possible 1260.3989 (2496.03 seconds)
Cbc0010I After 82600 nodes, 7023 on tree, 1301.1282 best solution, best possible 1260.4594 (2498.59 seconds)
Cbc0010I After 82700 nodes, 7029 on tree, 1301.1282 best solution, best possible 1260.5117 (2500.41 seconds)
Cbc0010I After 82800 nodes, 7034 on tree, 1301.1282 best solution, best possible 1260.5656 (2502.36 seconds)
Cbc0010I After 82900 nodes, 7041 on tree, 1301.1282 best solution, best possible 1260.6323 (2504.50 seconds)
Cbc0010I After 83000 nodes, 7050 on tree, 1301.1282 best solution, best possible 1260.6706 (2505.99 seconds)
Cbc0010I After 83100 nodes, 7054 on tree, 1301.1282 best solution, best possible 1260.7233 (2507.47 seconds)
Cbc0010I After 83200 nodes, 7060 on tree, 1301.1282 best solution, best possible 1260.7782 (2508.98 seconds)
Cbc0010I After 83300 nodes, 7061 on tree, 1301.1282 best solution, best possible 1260.8284 (2511.35 seconds)
Cbc0010I After 83400 nodes, 7063 on tree, 1301.1282 best solution, best possible 1260.8815 (2512.87 seconds)
Cbc0010I After 83500 nodes, 7065 on tree, 1301.1282 best solution, best possible 1260.9305 (2514.73 seconds)
Cbc0010I After 83600 nodes, 7068 on tree, 1301.1282 best solution, best possible 1260.9765 (2516.50 seconds)
Cbc0010I After 83700 nodes, 7075 on tree, 1301.1282 best solution, best possible 1261.0175 (2518.75 seconds)
Cbc0010I After 83800 nodes, 7080 on tree, 1301.1282 best solution, best possible 1261.0577 (2521.08 seconds)
Cbc0010I After 83900 nodes, 7086 on tree, 1301.1282 best solution, best possible 1261.1131 (2522.86 seconds)
Cbc0010I After 84000 nodes, 7091 on tree, 1301.1282 best solution, best possible 1261.1524 (2524.71 seconds)
Cbc0010I After 84100 nodes, 7095 on tree, 1301.1282 best solution, best possible 1261.1859 (2526.70 seconds)
Cbc0010I After 84200 nodes, 7095 on tree, 1301.1282 best solution, best possible 1261.2419 (2528.59 seconds)
Cbc0010I After 84300 nodes, 7096 on tree, 1301.1282 best solution, best possible 1261.2949 (2529.99 seconds)
Cbc0010I After 84400 nodes, 7098 on tree, 1301.1282 best solution, best possible 1261.3627 (2532.06 seconds)
Cbc0010I After 84500 nodes, 7102 on tree, 1301.1282 best solution, best possible 1261.4173 (2534.37 seconds)
Cbc0010I After 84600 nodes, 7102 on tree, 1301.1282 best solution, best possible 1261.4746 (2536.28 seconds)
Cbc0010I After 84700 nodes, 7107 on tree, 1301.1282 best solution, best possible 1261.5203 (2538.38 seconds)
Cbc0010I After 84800 nodes, 7111 on tree, 1301.1282 best solution, best possible 1261.588 (2540.74 seconds)
Cbc0010I After 84900 nodes, 7117 on tree, 1301.1282 best solution, best possible 1261.6411 (2542.51 seconds)
Cbc0010I After 85000 nodes, 7123 on tree, 1301.1282 best solution, best possible 1261.682 (2544.44 seconds)
Cbc0010I After 85100 nodes, 7134 on tree, 1301.1282 best solution, best possible 1261.682 (2546.76 seconds)
Cbc0010I After 85200 nodes, 7123 on tree, 1301.1282 best solution, best possible 1261.682 (2548.01 seconds)
Cbc0010I After 85300 nodes, 7128 on tree, 1301.1282 best solution, best possible 1261.682 (2549.23 seconds)
Cbc0010I After 85400 nodes, 7112 on tree, 1301.1282 best solution, best possible 1261.682 (2550.60 seconds)
Cbc0010I After 85500 nodes, 7115 on tree, 1301.1282 best solution, best possible 1261.682 (2552.29 seconds)
Cbc0010I After 85600 nodes, 7105 on tree, 1301.1282 best solution, best possible 1261.682 (2554.23 seconds)
Cbc0010I After 85700 nodes, 7104 on tree, 1301.1282 best solution, best possible 1261.682 (2556.01 seconds)
Cbc0010I After 85800 nodes, 7113 on tree, 1301.1282 best solution, best possible 1261.682 (2558.92 seconds)
Cbc0010I After 85900 nodes, 7134 on tree, 1301.1282 best solution, best possible 1261.682 (2561.10 seconds)
Cbc0010I After 86000 nodes, 7099 on tree, 1301.1282 best solution, best possible 1261.682 (2563.27 seconds)
Cbc0010I After 86100 nodes, 7103 on tree, 1301.1282 best solution, best possible 1261.7466 (2565.04 seconds)
Cbc0010I After 86200 nodes, 7109 on tree, 1301.1282 best solution, best possible 1261.8082 (2566.36 seconds)
Cbc0010I After 86300 nodes, 7114 on tree, 1301.1282 best solution, best possible 1261.859 (2567.97 seconds)
Cbc0010I After 86400 nodes, 7117 on tree, 1301.1282 best solution, best possible 1261.9057 (2569.82 seconds)
Cbc0010I After 86500 nodes, 7125 on tree, 1301.1282 best solution, best possible 1261.9545 (2571.57 seconds)
Cbc0010I After 86600 nodes, 7131 on tree, 1301.1282 best solution, best possible 1262.0052 (2572.92 seconds)
Cbc0010I After 86700 nodes, 7130 on tree, 1301.1282 best solution, best possible 1262.0471 (2574.78 seconds)
Cbc0010I After 86800 nodes, 7133 on tree, 1301.1282 best solution, best possible 1262.0864 (2576.71 seconds)
Cbc0010I After 86900 nodes, 7135 on tree, 1301.1282 best solution, best possible 1262.127 (2578.28 seconds)
Cbc0010I After 87000 nodes, 7139 on tree, 1301.1282 best solution, best possible 1262.1737 (2580.53 seconds)
Cbc0010I After 87100 nodes, 7148 on tree, 1301.1282 best solution, best possible 1262.2208 (2582.00 seconds)
Cbc0010I After 87200 nodes, 7154 on tree, 1301.1282 best solution, best possible 1262.264 (2583.94 seconds)
Cbc0010I After 87300 nodes, 7159 on tree, 1301.1282 best solution, best possible 1262.3103 (2585.87 seconds)
Cbc0010I After 87400 nodes, 7164 on tree, 1301.1282 best solution, best possible 1262.3468 (2587.93 seconds)
Cbc0010I After 87500 nodes, 7164 on tree, 1301.1282 best solution, best possible 1262.3994 (2589.93 seconds)
Cbc0010I After 87600 nodes, 7166 on tree, 1301.1282 best solution, best possible 1262.4468 (2591.93 seconds)
Cbc0010I After 87700 nodes, 7166 on tree, 1301.1282 best solution, best possible 1262.4844 (2593.87 seconds)
Cbc0010I After 87800 nodes, 7172 on tree, 1301.1282 best solution, best possible 1262.5278 (2595.72 seconds)
Cbc0010I After 87900 nodes, 7176 on tree, 1301.1282 best solution, best possible 1262.5782 (2598.29 seconds)
Cbc0010I After 88000 nodes, 7179 on tree, 1301.1282 best solution, best possible 1262.6307 (2600.24 seconds)
Cbc0010I After 88100 nodes, 7183 on tree, 1301.1282 best solution, best possible 1262.6843 (2602.13 seconds)
Cbc0010I After 88200 nodes, 7186 on tree, 1301.1282 best solution, best possible 1262.7296 (2603.61 seconds)
Cbc0010I After 88300 nodes, 7189 on tree, 1301.1282 best solution, best possible 1262.7681 (2605.26 seconds)
Cbc0010I After 88400 nodes, 7191 on tree, 1301.1282 best solution, best possible 1262.816 (2607.53 seconds)
Cbc0010I After 88500 nodes, 7197 on tree, 1301.1282 best solution, best possible 1262.8702 (2609.22 seconds)
Cbc0010I After 88600 nodes, 7209 on tree, 1301.1282 best solution, best possible 1262.9206 (2611.15 seconds)
Cbc0010I After 88700 nodes, 7208 on tree, 1301.1282 best solution, best possible 1262.9987 (2612.58 seconds)
Cbc0010I After 88800 nodes, 7212 on tree, 1301.1282 best solution, best possible 1263.0369 (2614.38 seconds)
Cbc0010I After 88900 nodes, 7217 on tree, 1301.1282 best solution, best possible 1263.0813 (2616.27 seconds)
Cbc0010I After 89000 nodes, 7218 on tree, 1301.1282 best solution, best possible 1263.1264 (2618.03 seconds)
Cbc0010I After 89100 nodes, 7215 on tree, 1301.1282 best solution, best possible 1263.1264 (2619.11 seconds)
Cbc0010I After 89200 nodes, 7223 on tree, 1301.1282 best solution, best possible 1263.1264 (2621.17 seconds)
Cbc0010I After 89300 nodes, 7227 on tree, 1301.1282 best solution, best possible 1263.1264 (2624.32 seconds)
Cbc0010I After 89400 nodes, 7207 on tree, 1301.1282 best solution, best possible 1263.1264 (2626.10 seconds)
Cbc0010I After 89500 nodes, 7208 on tree, 1301.1282 best solution, best possible 1263.1264 (2626.97 seconds)
Cbc0010I After 89600 nodes, 7197 on tree, 1301.1282 best solution, best possible 1263.1264 (2628.72 seconds)
Cbc0010I After 89700 nodes, 7178 on tree, 1301.1282 best solution, best possible 1263.1264 (2630.13 seconds)
Cbc0010I After 89800 nodes, 7166 on tree, 1301.1282 best solution, best possible 1263.1264 (2631.26 seconds)
Cbc0010I After 89900 nodes, 7150 on tree, 1301.1282 best solution, best possible 1263.1264 (2631.95 seconds)
Cbc0010I After 90000 nodes, 7146 on tree, 1301.1282 best solution, best possible 1263.1264 (2632.99 seconds)
Cbc0010I After 90100 nodes, 7150 on tree, 1301.1282 best solution, best possible 1263.1708 (2635.45 seconds)
Cbc0010I After 90200 nodes, 7155 on tree, 1301.1282 best solution, best possible 1263.2395 (2637.20 seconds)
Cbc0010I After 90300 nodes, 7158 on tree, 1301.1282 best solution, best possible 1263.2851 (2639.14 seconds)
Cbc0010I After 90400 nodes, 7160 on tree, 1301.1282 best solution, best possible 1263.3382 (2641.35 seconds)
Cbc0010I After 90500 nodes, 7165 on tree, 1301.1282 best solution, best possible 1263.3957 (2643.48 seconds)
Cbc0010I After 90600 nodes, 7168 on tree, 1301.1282 best solution, best possible 1263.4538 (2645.58 seconds)
Cbc0010I After 90700 nodes, 7173 on tree, 1301.1282 best solution, best possible 1263.5125 (2647.29 seconds)
Cbc0010I After 90800 nodes, 7175 on tree, 1301.1282 best solution, best possible 1263.5613 (2648.69 seconds)
Cbc0010I After 90900 nodes, 7180 on tree, 1301.1282 best solution, best possible 1263.6124 (2650.16 seconds)
Cbc0010I After 91000 nodes, 7182 on tree, 1301.1282 best solution, best possible 1263.6576 (2651.58 seconds)
Cbc0010I After 91100 nodes, 7185 on tree, 1301.1282 best solution, best possible 1263.7068 (2653.34 seconds)
Cbc0010I After 91200 nodes, 7185 on tree, 1301.1282 best solution, best possible 1263.748 (2655.19 seconds)
Cbc0010I After 91300 nodes, 7188 on tree, 1301.1282 best solution, best possible 1263.7923 (2657.45 seconds)
Cbc0010I After 91400 nodes, 7195 on tree, 1301.1282 best solution, best possible 1263.8475 (2659.21 seconds)
Cbc0010I After 91500 nodes, 7198 on tree, 1301.1282 best solution, best possible 1263.9046 (2660.88 seconds)
Cbc0010I After 91600 nodes, 7200 on tree, 1301.1282 best solution, best possible 1263.9422 (2662.42 seconds)
Cbc0010I After 91700 nodes, 7206 on tree, 1301.1282 best solution, best possible 1263.9843 (2663.69 seconds)
Cbc0010I After 91800 nodes, 7207 on tree, 1301.1282 best solution, best possible 1264.0344 (2665.81 seconds)
Cbc0010I After 91900 nodes, 7213 on tree, 1301.1282 best solution, best possible 1264.0797 (2667.34 seconds)
Cbc0010I After 92000 nodes, 7215 on tree, 1301.1282 best solution, best possible 1264.1251 (2669.87 seconds)
Cbc0010I After 92100 nodes, 7221 on tree, 1301.1282 best solution, best possible 1264.1707 (2671.91 seconds)
Cbc0010I After 92200 nodes, 7224 on tree, 1301.1282 best solution, best possible 1264.2275 (2673.11 seconds)
Cbc0010I After 92300 nodes, 7228 on tree, 1301.1282 best solution, best possible 1264.2659 (2674.66 seconds)
Cbc0010I After 92400 nodes, 7233 on tree, 1301.1282 best solution, best possible 1264.3065 (2676.57 seconds)
Cbc0010I After 92500 nodes, 7232 on tree, 1301.1282 best solution, best possible 1264.35 (2678.27 seconds)
Cbc0010I After 92600 nodes, 7233 on tree, 1301.1282 best solution, best possible 1264.3903 (2679.75 seconds)
Cbc0010I After 92700 nodes, 7233 on tree, 1301.1282 best solution, best possible 1264.4288 (2681.41 seconds)
Cbc0010I After 92800 nodes, 7237 on tree, 1301.1282 best solution, best possible 1264.4711 (2683.56 seconds)
Cbc0010I After 92900 nodes, 7240 on tree, 1301.1282 best solution, best possible 1264.5256 (2685.48 seconds)
Cbc0010I After 93000 nodes, 7243 on tree, 1301.1282 best solution, best possible 1264.5684 (2687.47 seconds)
Cbc0010I After 93100 nodes, 7258 on tree, 1301.1282 best solution, best possible 1264.5684 (2689.76 seconds)
Cbc0010I After 93200 nodes, 7260 on tree, 1301.1282 best solution, best possible 1264.5684 (2693.18 seconds)
Cbc0010I After 93300 nodes, 7245 on tree, 1301.1282 best solution, best possible 1264.5684 (2696.48 seconds)
Cbc0010I After 93400 nodes, 7240 on tree, 1301.1282 best solution, best possible 1264.5684 (2697.37 seconds)
Cbc0010I After 93500 nodes, 7228 on tree, 1301.1282 best solution, best possible 1264.5684 (2698.31 seconds)
Cbc0010I After 93600 nodes, 7224 on tree, 1301.1282 best solution, best possible 1264.5684 (2699.53 seconds)
Cbc0010I After 93700 nodes, 7220 on tree, 1301.1282 best solution, best possible 1264.5684 (2700.73 seconds)
Cbc0010I After 93800 nodes, 7219 on tree, 1301.1282 best solution, best possible 1264.5684 (2701.88 seconds)
Cbc0010I After 93900 nodes, 7220 on tree, 1301.1282 best solution, best possible 1264.5684 (2703.36 seconds)
Cbc0010I After 94000 nodes, 7217 on tree, 1301.1282 best solution, best possible 1264.5684 (2704.86 seconds)
Cbc0010I After 94100 nodes, 7223 on tree, 1301.1282 best solution, best possible 1264.61 (2706.94 seconds)
Cbc0010I After 94200 nodes, 7225 on tree, 1301.1282 best solution, best possible 1264.647 (2708.61 seconds)
Cbc0010I After 94300 nodes, 7228 on tree, 1301.1282 best solution, best possible 1264.6851 (2710.31 seconds)
Cbc0010I After 94400 nodes, 7229 on tree, 1301.1282 best solution, best possible 1264.7276 (2711.53 seconds)
Cbc0010I After 94500 nodes, 7237 on tree, 1301.1282 best solution, best possible 1264.7773 (2713.29 seconds)
Cbc0010I After 94600 nodes, 7244 on tree, 1301.1282 best solution, best possible 1264.8268 (2715.03 seconds)
Cbc0010I After 94700 nodes, 7248 on tree, 1301.1282 best solution, best possible 1264.8811 (2716.68 seconds)
Cbc0010I After 94800 nodes, 7254 on tree, 1301.1282 best solution, best possible 1264.9374 (2718.40 seconds)
Cbc0010I After 94900 nodes, 7253 on tree, 1301.1282 best solution, best possible 1264.9932 (2719.71 seconds)
Cbc0010I After 95000 nodes, 7256 on tree, 1301.1282 best solution, best possible 1265.0267 (2721.52 seconds)
Cbc0010I After 95100 nodes, 7257 on tree, 1301.1282 best solution, best possible 1265.0696 (2723.05 seconds)
Cbc0010I After 95200 nodes, 7260 on tree, 1301.1282 best solution, best possible 1265.1122 (2724.86 seconds)
Cbc0010I After 95300 nodes, 7263 on tree, 1301.1282 best solution, best possible 1265.1684 (2726.60 seconds)
Cbc0010I After 95400 nodes, 7269 on tree, 1301.1282 best solution, best possible 1265.2105 (2728.11 seconds)
Cbc0010I After 95500 nodes, 7277 on tree, 1301.1282 best solution, best possible 1265.2612 (2729.79 seconds)
Cbc0010I After 95600 nodes, 7278 on tree, 1301.1282 best solution, best possible 1265.3058 (2731.42 seconds)
Cbc0010I After 95700 nodes, 7284 on tree, 1301.1282 best solution, best possible 1265.3463 (2733.03 seconds)
Cbc0010I After 95800 nodes, 7286 on tree, 1301.1282 best solution, best possible 1265.3869 (2734.74 seconds)
Cbc0010I After 95900 nodes, 7289 on tree, 1301.1282 best solution, best possible 1265.4312 (2736.40 seconds)
Cbc0010I After 96000 nodes, 7292 on tree, 1301.1282 best solution, best possible 1265.4806 (2738.30 seconds)
Cbc0010I After 96100 nodes, 7295 on tree, 1301.1282 best solution, best possible 1265.5241 (2739.94 seconds)
Cbc0010I After 96200 nodes, 7300 on tree, 1301.1282 best solution, best possible 1265.5753 (2741.81 seconds)
Cbc0010I After 96300 nodes, 7303 on tree, 1301.1282 best solution, best possible 1265.6128 (2743.81 seconds)
Cbc0010I After 96400 nodes, 7304 on tree, 1301.1282 best solution, best possible 1265.6525 (2745.62 seconds)
Cbc0010I After 96500 nodes, 7307 on tree, 1301.1282 best solution, best possible 1265.6873 (2747.11 seconds)
Cbc0010I After 96600 nodes, 7312 on tree, 1301.1282 best solution, best possible 1265.7277 (2749.17 seconds)
Cbc0010I After 96700 nodes, 7312 on tree, 1301.1282 best solution, best possible 1265.7707 (2750.65 seconds)
Cbc0010I After 96800 nodes, 7317 on tree, 1301.1282 best solution, best possible 1265.8245 (2752.05 seconds)
Cbc0010I After 96900 nodes, 7317 on tree, 1301.1282 best solution, best possible 1265.8811 (2753.58 seconds)
Cbc0010I After 97000 nodes, 7320 on tree, 1301.1282 best solution, best possible 1265.9294 (2755.12 seconds)
Cbc0010I After 97100 nodes, 7320 on tree, 1301.1282 best solution, best possible 1265.9294 (2756.64 seconds)
Cbc0010I After 97200 nodes, 7310 on tree, 1301.1282 best solution, best possible 1265.9294 (2758.60 seconds)
Cbc0010I After 97300 nodes, 7309 on tree, 1301.1282 best solution, best possible 1265.9294 (2759.66 seconds)
Cbc0010I After 97400 nodes, 7300 on tree, 1301.1282 best solution, best possible 1265.9294 (2760.82 seconds)
Cbc0010I After 97500 nodes, 7303 on tree, 1301.1282 best solution, best possible 1265.9294 (2762.87 seconds)
Cbc0010I After 97600 nodes, 7313 on tree, 1301.1282 best solution, best possible 1265.9294 (2764.99 seconds)
Cbc0010I After 97700 nodes, 7306 on tree, 1301.1282 best solution, best possible 1265.9294 (2766.87 seconds)
Cbc0010I After 97800 nodes, 7301 on tree, 1301.1282 best solution, best possible 1265.9294 (2769.35 seconds)
Cbc0010I After 97900 nodes, 7288 on tree, 1301.1282 best solution, best possible 1265.9294 (2771.24 seconds)
Cbc0010I After 98000 nodes, 7290 on tree, 1301.1282 best solution, best possible 1265.9294 (2773.90 seconds)
Cbc0010I After 98100 nodes, 7292 on tree, 1301.1282 best solution, best possible 1265.9788 (2775.49 seconds)
Cbc0010I After 98200 nodes, 7297 on tree, 1301.1282 best solution, best possible 1266.0075 (2777.29 seconds)
Cbc0010I After 98300 nodes, 7303 on tree, 1301.1282 best solution, best possible 1266.0615 (2779.24 seconds)
Cbc0010I After 98400 nodes, 7305 on tree, 1301.1282 best solution, best possible 1266.0987 (2780.67 seconds)
Cbc0010I After 98500 nodes, 7309 on tree, 1301.1282 best solution, best possible 1266.1434 (2782.66 seconds)
Cbc0010I After 98600 nodes, 7312 on tree, 1301.1282 best solution, best possible 1266.1885 (2784.13 seconds)
Cbc0010I After 98700 nodes, 7319 on tree, 1301.1282 best solution, best possible 1266.2322 (2785.92 seconds)
Cbc0010I After 98800 nodes, 7322 on tree, 1301.1282 best solution, best possible 1266.291 (2787.73 seconds)
Cbc0010I After 98900 nodes, 7325 on tree, 1301.1282 best solution, best possible 1266.3343 (2790.03 seconds)
Cbc0010I After 99000 nodes, 7331 on tree, 1301.1282 best solution, best possible 1266.3819 (2791.75 seconds)
Cbc0010I After 99100 nodes, 7336 on tree, 1301.1282 best solution, best possible 1266.4304 (2793.24 seconds)
Cbc0010I After 99200 nodes, 7335 on tree, 1301.1282 best solution, best possible 1266.4729 (2794.83 seconds)
Cbc0010I After 99300 nodes, 7339 on tree, 1301.1282 best solution, best possible 1266.5215 (2796.47 seconds)
Cbc0010I After 99400 nodes, 7350 on tree, 1301.1282 best solution, best possible 1266.5855 (2798.30 seconds)
Cbc0010I After 99500 nodes, 7354 on tree, 1301.1282 best solution, best possible 1266.6311 (2799.91 seconds)
Cbc0010I After 99600 nodes, 7356 on tree, 1301.1282 best solution, best possible 1266.6767 (2801.86 seconds)
Cbc0010I After 99700 nodes, 7359 on tree, 1301.1282 best solution, best possible 1266.723 (2803.55 seconds)
Cbc0010I After 99800 nodes, 7361 on tree, 1301.1282 best solution, best possible 1266.7659 (2804.70 seconds)
Cbc0010I After 99900 nodes, 7363 on tree, 1301.1282 best solution, best possible 1266.8032 (2806.47 seconds)
Cbc0010I After 100000 nodes, 7365 on tree, 1301.1282 best solution, best possible 1266.8353 (2808.62 seconds)
Cbc0010I After 100100 nodes, 7364 on tree, 1301.1282 best solution, best possible 1266.8745 (2810.58 seconds)
Cbc0010I After 100200 nodes, 7366 on tree, 1301.1282 best solution, best possible 1266.9086 (2812.68 seconds)
Cbc0010I After 100300 nodes, 7369 on tree, 1301.1282 best solution, best possible 1266.9554 (2814.43 seconds)
Cbc0010I After 100400 nodes, 7369 on tree, 1301.1282 best solution, best possible 1266.9964 (2816.20 seconds)
Cbc0010I After 100500 nodes, 7370 on tree, 1301.1282 best solution, best possible 1267.0484 (2818.22 seconds)
Cbc0010I After 100600 nodes, 7372 on tree, 1301.1282 best solution, best possible 1267.0929 (2819.80 seconds)
Cbc0004I Integer solution of 1295.927 found after 29987836 iterations and 100686 nodes (2821.05 seconds)
Cbc0010I After 100700 nodes, 6646 on tree, 1295.927 best solution, best possible 1267.1407 (2821.14 seconds)
Cbc0010I After 100800 nodes, 6642 on tree, 1295.927 best solution, best possible 1267.1407 (2821.57 seconds)
Cbc0010I After 100900 nodes, 6628 on tree, 1295.927 best solution, best possible 1267.1407 (2822.05 seconds)
Cbc0010I After 101000 nodes, 6617 on tree, 1295.927 best solution, best possible 1267.1407 (2822.46 seconds)
Cbc0010I After 101100 nodes, 6612 on tree, 1295.927 best solution, best possible 1267.1407 (2822.86 seconds)
Cbc0010I After 101200 nodes, 6596 on tree, 1295.927 best solution, best possible 1267.1407 (2823.29 seconds)
Cbc0010I After 101300 nodes, 6581 on tree, 1295.927 best solution, best possible 1267.1407 (2823.74 seconds)
Cbc0010I After 101400 nodes, 6570 on tree, 1295.927 best solution, best possible 1267.1407 (2824.35 seconds)
Cbc0010I After 101500 nodes, 6558 on tree, 1295.927 best solution, best possible 1267.1407 (2824.86 seconds)
Cbc0010I After 101600 nodes, 6545 on tree, 1295.927 best solution, best possible 1267.1407 (2825.36 seconds)
Cbc0010I After 101700 nodes, 6532 on tree, 1295.927 best solution, best possible 1267.1407 (2825.90 seconds)
Cbc0010I After 101800 nodes, 6520 on tree, 1295.927 best solution, best possible 1267.1407 (2826.43 seconds)
Cbc0010I After 101900 nodes, 6518 on tree, 1295.927 best solution, best possible 1267.1407 (2827.14 seconds)
Cbc0010I After 102000 nodes, 6510 on tree, 1295.927 best solution, best possible 1267.1407 (2827.76 seconds)
Cbc0010I After 102100 nodes, 6510 on tree, 1295.927 best solution, best possible 1267.2019 (2829.27 seconds)
Cbc0010I After 102200 nodes, 6516 on tree, 1295.927 best solution, best possible 1267.2575 (2830.90 seconds)
Cbc0010I After 102300 nodes, 6521 on tree, 1295.927 best solution, best possible 1267.3039 (2832.62 seconds)
Cbc0010I After 102400 nodes, 6521 on tree, 1295.927 best solution, best possible 1267.356 (2834.30 seconds)
Cbc0010I After 102500 nodes, 6519 on tree, 1295.927 best solution, best possible 1267.4007 (2836.11 seconds)
Cbc0010I After 102600 nodes, 6520 on tree, 1295.927 best solution, best possible 1267.4513 (2837.54 seconds)
Cbc0010I After 102700 nodes, 6520 on tree, 1295.927 best solution, best possible 1267.507 (2839.02 seconds)
Cbc0010I After 102800 nodes, 6523 on tree, 1295.927 best solution, best possible 1267.5589 (2840.61 seconds)
Cbc0010I After 102900 nodes, 6530 on tree, 1295.927 best solution, best possible 1267.6134 (2842.62 seconds)
Cbc0010I After 103000 nodes, 6535 on tree, 1295.927 best solution, best possible 1267.6685 (2844.06 seconds)
Cbc0010I After 103100 nodes, 6538 on tree, 1295.927 best solution, best possible 1267.7293 (2845.54 seconds)
Cbc0010I After 103200 nodes, 6539 on tree, 1295.927 best solution, best possible 1267.7742 (2847.49 seconds)
Cbc0010I After 103300 nodes, 6545 on tree, 1295.927 best solution, best possible 1267.8253 (2849.19 seconds)
Cbc0010I After 103400 nodes, 6545 on tree, 1295.927 best solution, best possible 1267.8868 (2850.79 seconds)
Cbc0010I After 103500 nodes, 6544 on tree, 1295.927 best solution, best possible 1267.9291 (2852.20 seconds)
Cbc0010I After 103600 nodes, 6545 on tree, 1295.927 best solution, best possible 1267.9761 (2853.97 seconds)
Cbc0010I After 103700 nodes, 6543 on tree, 1295.927 best solution, best possible 1268.0239 (2855.91 seconds)
Cbc0010I After 103800 nodes, 6546 on tree, 1295.927 best solution, best possible 1268.0667 (2857.80 seconds)
Cbc0010I After 103900 nodes, 6544 on tree, 1295.927 best solution, best possible 1268.1218 (2859.39 seconds)
Cbc0010I After 104000 nodes, 6542 on tree, 1295.927 best solution, best possible 1268.1694 (2860.84 seconds)
Cbc0010I After 104100 nodes, 6542 on tree, 1295.927 best solution, best possible 1268.2157 (2862.08 seconds)
Cbc0010I After 104200 nodes, 6542 on tree, 1295.927 best solution, best possible 1268.2637 (2863.60 seconds)
Cbc0010I After 104300 nodes, 6541 on tree, 1295.927 best solution, best possible 1268.3053 (2865.28 seconds)
Cbc0010I After 104400 nodes, 6539 on tree, 1295.927 best solution, best possible 1268.3399 (2866.68 seconds)
Cbc0010I After 104500 nodes, 6540 on tree, 1295.927 best solution, best possible 1268.3863 (2868.28 seconds)
Cbc0010I After 104600 nodes, 6542 on tree, 1295.927 best solution, best possible 1268.4347 (2869.84 seconds)
Cbc0010I After 104700 nodes, 6542 on tree, 1295.927 best solution, best possible 1268.4697 (2871.79 seconds)
Cbc0010I After 104800 nodes, 6544 on tree, 1295.927 best solution, best possible 1268.5044 (2873.31 seconds)
Cbc0010I After 104900 nodes, 6543 on tree, 1295.927 best solution, best possible 1268.5435 (2874.92 seconds)
Cbc0010I After 105000 nodes, 6540 on tree, 1295.927 best solution, best possible 1268.595 (2876.66 seconds)
Cbc0004I Integer solution of 1294.4444 found after 30761016 iterations and 105074 nodes (2877.08 seconds)
Cbc0010I After 105100 nodes, 6297 on tree, 1294.4444 best solution, best possible 1268.595 (2877.17 seconds)
Cbc0010I After 105200 nodes, 6288 on tree, 1294.4444 best solution, best possible 1268.595 (2877.60 seconds)
Cbc0010I After 105300 nodes, 6271 on tree, 1294.4444 best solution, best possible 1268.595 (2878.10 seconds)
Cbc0010I After 105400 nodes, 6255 on tree, 1294.4444 best solution, best possible 1268.595 (2878.57 seconds)
Cbc0010I After 105500 nodes, 6240 on tree, 1294.4444 best solution, best possible 1268.595 (2879.22 seconds)
Cbc0010I After 105600 nodes, 6230 on tree, 1294.4444 best solution, best possible 1268.595 (2879.69 seconds)
Cbc0010I After 105700 nodes, 6217 on tree, 1294.4444 best solution, best possible 1268.595 (2880.21 seconds)
Cbc0010I After 105800 nodes, 6207 on tree, 1294.4444 best solution, best possible 1268.595 (2880.78 seconds)
Cbc0010I After 105900 nodes, 6196 on tree, 1294.4444 best solution, best possible 1268.595 (2881.29 seconds)
Cbc0010I After 106000 nodes, 6186 on tree, 1294.4444 best solution, best possible 1268.595 (2881.88 seconds)
Cbc0010I After 106100 nodes, 6188 on tree, 1294.4444 best solution, best possible 1268.6347 (2883.37 seconds)
Cbc0010I After 106200 nodes, 6189 on tree, 1294.4444 best solution, best possible 1268.6702 (2885.14 seconds)
Cbc0010I After 106300 nodes, 6190 on tree, 1294.4444 best solution, best possible 1268.7172 (2886.34 seconds)
Cbc0010I After 106400 nodes, 6190 on tree, 1294.4444 best solution, best possible 1268.7546 (2888.30 seconds)
Cbc0010I After 106500 nodes, 6192 on tree, 1294.4444 best solution, best possible 1268.8032 (2890.28 seconds)
Cbc0010I After 106600 nodes, 6191 on tree, 1294.4444 best solution, best possible 1268.8739 (2891.91 seconds)
Cbc0010I After 106700 nodes, 6194 on tree, 1294.4444 best solution, best possible 1268.9144 (2893.97 seconds)
Cbc0010I After 106800 nodes, 6191 on tree, 1294.4444 best solution, best possible 1268.9654 (2895.47 seconds)
Cbc0010I After 106900 nodes, 6194 on tree, 1294.4444 best solution, best possible 1269.0134 (2897.73 seconds)
Cbc0010I After 107000 nodes, 6198 on tree, 1294.4444 best solution, best possible 1269.0532 (2899.24 seconds)
Cbc0010I After 107100 nodes, 6199 on tree, 1294.4444 best solution, best possible 1269.0921 (2900.67 seconds)
Cbc0010I After 107200 nodes, 6200 on tree, 1294.4444 best solution, best possible 1269.129 (2901.98 seconds)
Cbc0010I After 107300 nodes, 6201 on tree, 1294.4444 best solution, best possible 1269.1676 (2903.56 seconds)
Cbc0010I After 107400 nodes, 6203 on tree, 1294.4444 best solution, best possible 1269.2217 (2905.33 seconds)
Cbc0010I After 107500 nodes, 6205 on tree, 1294.4444 best solution, best possible 1269.281 (2906.73 seconds)
Cbc0010I After 107600 nodes, 6204 on tree, 1294.4444 best solution, best possible 1269.3308 (2908.36 seconds)
Cbc0010I After 107700 nodes, 6207 on tree, 1294.4444 best solution, best possible 1269.3864 (2910.22 seconds)
Cbc0010I After 107800 nodes, 6210 on tree, 1294.4444 best solution, best possible 1269.4341 (2911.67 seconds)
Cbc0010I After 107900 nodes, 6213 on tree, 1294.4444 best solution, best possible 1269.4911 (2913.00 seconds)
Cbc0038I Full problem 100 rows 2815 columns, reduced to 72 rows 175 columns
Cbc0010I After 108000 nodes, 6213 on tree, 1294.4444 best solution, best possible 1269.5301 (2914.77 seconds)
Cbc0010I After 108100 nodes, 6216 on tree, 1294.4444 best solution, best possible 1269.5769 (2916.49 seconds)
Cbc0010I After 108200 nodes, 6216 on tree, 1294.4444 best solution, best possible 1269.6263 (2918.03 seconds)
Cbc0010I After 108300 nodes, 6221 on tree, 1294.4444 best solution, best possible 1269.6771 (2919.70 seconds)
Cbc0010I After 108400 nodes, 6220 on tree, 1294.4444 best solution, best possible 1269.7154 (2920.84 seconds)
Cbc0010I After 108500 nodes, 6222 on tree, 1294.4444 best solution, best possible 1269.765 (2922.52 seconds)
Cbc0010I After 108600 nodes, 6223 on tree, 1294.4444 best solution, best possible 1269.8142 (2923.96 seconds)
Cbc0010I After 108700 nodes, 6225 on tree, 1294.4444 best solution, best possible 1269.8574 (2925.67 seconds)
Cbc0010I After 108800 nodes, 6228 on tree, 1294.4444 best solution, best possible 1269.9092 (2927.38 seconds)
Cbc0010I After 108900 nodes, 6229 on tree, 1294.4444 best solution, best possible 1269.9492 (2928.60 seconds)
Cbc0010I After 109000 nodes, 6229 on tree, 1294.4444 best solution, best possible 1269.9938 (2930.39 seconds)
Cbc0010I After 109100 nodes, 6224 on tree, 1294.4444 best solution, best possible 1269.9938 (2931.07 seconds)
Cbc0010I After 109200 nodes, 6219 on tree, 1294.4444 best solution, best possible 1269.9938 (2931.57 seconds)
Cbc0010I After 109300 nodes, 6200 on tree, 1294.4444 best solution, best possible 1269.9938 (2932.12 seconds)
Cbc0010I After 109400 nodes, 6177 on tree, 1294.4444 best solution, best possible 1269.9938 (2932.62 seconds)
Cbc0010I After 109500 nodes, 6163 on tree, 1294.4444 best solution, best possible 1269.9938 (2933.16 seconds)
Cbc0010I After 109600 nodes, 6157 on tree, 1294.4444 best solution, best possible 1269.9938 (2933.73 seconds)
Cbc0010I After 109700 nodes, 6141 on tree, 1294.4444 best solution, best possible 1269.9938 (2934.34 seconds)
Cbc0010I After 109800 nodes, 6128 on tree, 1294.4444 best solution, best possible 1269.9938 (2934.86 seconds)
Cbc0010I After 109900 nodes, 6113 on tree, 1294.4444 best solution, best possible 1269.9938 (2935.47 seconds)
Cbc0010I After 110000 nodes, 6106 on tree, 1294.4444 best solution, best possible 1269.9938 (2935.91 seconds)
Cbc0010I After 110100 nodes, 6109 on tree, 1294.4444 best solution, best possible 1270.0426 (2937.42 seconds)
Cbc0010I After 110200 nodes, 6110 on tree, 1294.4444 best solution, best possible 1270.0814 (2939.20 seconds)
Cbc0010I After 110300 nodes, 6109 on tree, 1294.4444 best solution, best possible 1270.1206 (2940.40 seconds)
Cbc0010I After 110400 nodes, 6108 on tree, 1294.4444 best solution, best possible 1270.159 (2941.92 seconds)
Cbc0010I After 110500 nodes, 6106 on tree, 1294.4444 best solution, best possible 1270.2033 (2943.43 seconds)
Cbc0010I After 110600 nodes, 6103 on tree, 1294.4444 best solution, best possible 1270.2458 (2944.96 seconds)
Cbc0010I After 110700 nodes, 6106 on tree, 1294.4444 best solution, best possible 1270.2889 (2946.82 seconds)
Cbc0010I After 110800 nodes, 6105 on tree, 1294.4444 best solution, best possible 1270.3437 (2948.37 seconds)
Cbc0010I After 110900 nodes, 6106 on tree, 1294.4444 best solution, best possible 1270.3903 (2950.10 seconds)
Cbc0010I After 111000 nodes, 6104 on tree, 1294.4444 best solution, best possible 1270.4407 (2951.99 seconds)
Cbc0010I After 111100 nodes, 6105 on tree, 1294.4444 best solution, best possible 1270.4852 (2953.42 seconds)
Cbc0010I After 111200 nodes, 6109 on tree, 1294.4444 best solution, best possible 1270.5214 (2954.94 seconds)
Cbc0010I After 111300 nodes, 6114 on tree, 1294.4444 best solution, best possible 1270.5647 (2956.67 seconds)
Cbc0010I After 111400 nodes, 6115 on tree, 1294.4444 best solution, best possible 1270.6073 (2957.86 seconds)
Cbc0010I After 111500 nodes, 6118 on tree, 1294.4444 best solution, best possible 1270.6566 (2959.26 seconds)
Cbc0010I After 111600 nodes, 6117 on tree, 1294.4444 best solution, best possible 1270.6947 (2961.16 seconds)
Cbc0010I After 111700 nodes, 6118 on tree, 1294.4444 best solution, best possible 1270.7305 (2962.68 seconds)
Cbc0010I After 111800 nodes, 6122 on tree, 1294.4444 best solution, best possible 1270.7777 (2964.31 seconds)
Cbc0010I After 111900 nodes, 6126 on tree, 1294.4444 best solution, best possible 1270.8136 (2965.66 seconds)
Cbc0010I After 112000 nodes, 6126 on tree, 1294.4444 best solution, best possible 1270.8473 (2967.43 seconds)
Cbc0010I After 112100 nodes, 6126 on tree, 1294.4444 best solution, best possible 1270.8875 (2968.98 seconds)
Cbc0010I After 112200 nodes, 6130 on tree, 1294.4444 best solution, best possible 1270.9323 (2970.58 seconds)
Cbc0010I After 112300 nodes, 6134 on tree, 1294.4444 best solution, best possible 1270.9698 (2972.21 seconds)
Cbc0010I After 112400 nodes, 6135 on tree, 1294.4444 best solution, best possible 1271.0164 (2974.07 seconds)
Cbc0010I After 112500 nodes, 6135 on tree, 1294.4444 best solution, best possible 1271.0571 (2975.53 seconds)
Cbc0010I After 112600 nodes, 6135 on tree, 1294.4444 best solution, best possible 1271.1024 (2977.22 seconds)
Cbc0010I After 112700 nodes, 6135 on tree, 1294.4444 best solution, best possible 1271.1442 (2978.99 seconds)
Cbc0010I After 112800 nodes, 6137 on tree, 1294.4444 best solution, best possible 1271.195 (2980.94 seconds)
Cbc0010I After 112900 nodes, 6136 on tree, 1294.4444 best solution, best possible 1271.2285 (2982.56 seconds)
Cbc0010I After 113000 nodes, 6135 on tree, 1294.4444 best solution, best possible 1271.2677 (2984.14 seconds)
Cbc0010I After 113100 nodes, 6126 on tree, 1294.4444 best solution, best possible 1271.2677 (2984.83 seconds)
Cbc0010I After 113200 nodes, 6110 on tree, 1294.4444 best solution, best possible 1271.2677 (2985.27 seconds)
Cbc0010I After 113300 nodes, 6096 on tree, 1294.4444 best solution, best possible 1271.2677 (2985.68 seconds)
Cbc0010I After 113400 nodes, 6083 on tree, 1294.4444 best solution, best possible 1271.2677 (2986.27 seconds)
Cbc0010I After 113500 nodes, 6068 on tree, 1294.4444 best solution, best possible 1271.2677 (2986.82 seconds)
Cbc0010I After 113600 nodes, 6057 on tree, 1294.4444 best solution, best possible 1271.2677 (2987.35 seconds)
Cbc0010I After 113700 nodes, 6040 on tree, 1294.4444 best solution, best possible 1271.2677 (2987.83 seconds)
Cbc0010I After 113800 nodes, 6023 on tree, 1294.4444 best solution, best possible 1271.2677 (2988.38 seconds)
Cbc0010I After 113900 nodes, 6008 on tree, 1294.4444 best solution, best possible 1271.2677 (2989.02 seconds)
Cbc0010I After 114000 nodes, 5997 on tree, 1294.4444 best solution, best possible 1271.2677 (2989.56 seconds)
Cbc0010I After 114100 nodes, 6000 on tree, 1294.4444 best solution, best possible 1271.3039 (2991.34 seconds)
Cbc0010I After 114200 nodes, 6002 on tree, 1294.4444 best solution, best possible 1271.3544 (2993.16 seconds)
Cbc0010I After 114300 nodes, 6000 on tree, 1294.4444 best solution, best possible 1271.4057 (2994.65 seconds)
Cbc0010I After 114400 nodes, 6004 on tree, 1294.4444 best solution, best possible 1271.4613 (2996.19 seconds)
Cbc0010I After 114500 nodes, 6006 on tree, 1294.4444 best solution, best possible 1271.5159 (2997.56 seconds)
Cbc0010I After 114600 nodes, 6006 on tree, 1294.4444 best solution, best possible 1271.5584 (2998.91 seconds)
Cbc0010I After 114700 nodes, 6005 on tree, 1294.4444 best solution, best possible 1271.6135 (3000.57 seconds)
Cbc0010I After 114800 nodes, 6005 on tree, 1294.4444 best solution, best possible 1271.6672 (3001.85 seconds)
Cbc0010I After 114900 nodes, 6004 on tree, 1294.4444 best solution, best possible 1271.7177 (3003.26 seconds)
Cbc0010I After 115000 nodes, 6003 on tree, 1294.4444 best solution, best possible 1271.7541 (3004.80 seconds)
Cbc0010I After 115100 nodes, 6003 on tree, 1294.4444 best solution, best possible 1271.8008 (3006.23 seconds)
Cbc0010I After 115200 nodes, 6001 on tree, 1294.4444 best solution, best possible 1271.8399 (3008.10 seconds)
Cbc0010I After 115300 nodes, 6003 on tree, 1294.4444 best solution, best possible 1271.8935 (3009.81 seconds)
Cbc0010I After 115400 nodes, 6005 on tree, 1294.4444 best solution, best possible 1271.9367 (3011.68 seconds)
Cbc0010I After 115500 nodes, 6008 on tree, 1294.4444 best solution, best possible 1271.9828 (3013.58 seconds)
Cbc0010I After 115600 nodes, 6003 on tree, 1294.4444 best solution, best possible 1272.0263 (3015.25 seconds)
Cbc0010I After 115700 nodes, 6003 on tree, 1294.4444 best solution, best possible 1272.0674 (3016.47 seconds)
Cbc0010I After 115800 nodes, 6002 on tree, 1294.4444 best solution, best possible 1272.1105 (3018.14 seconds)
Cbc0010I After 115900 nodes, 6000 on tree, 1294.4444 best solution, best possible 1272.1461 (3019.68 seconds)
Cbc0010I After 116000 nodes, 5999 on tree, 1294.4444 best solution, best possible 1272.1899 (3021.23 seconds)
Cbc0010I After 116100 nodes, 6000 on tree, 1294.4444 best solution, best possible 1272.246 (3022.97 seconds)
Cbc0010I After 116200 nodes, 5999 on tree, 1294.4444 best solution, best possible 1272.2816 (3024.36 seconds)
Cbc0010I After 116300 nodes, 6000 on tree, 1294.4444 best solution, best possible 1272.3294 (3025.84 seconds)
Cbc0010I After 116400 nodes, 6001 on tree, 1294.4444 best solution, best possible 1272.3758 (3027.51 seconds)
Cbc0010I After 116500 nodes, 5999 on tree, 1294.4444 best solution, best possible 1272.4251 (3029.36 seconds)
Cbc0010I After 116600 nodes, 6001 on tree, 1294.4444 best solution, best possible 1272.4584 (3030.83 seconds)
Cbc0010I After 116700 nodes, 6001 on tree, 1294.4444 best solution, best possible 1272.4976 (3032.32 seconds)
Cbc0010I After 116800 nodes, 6002 on tree, 1294.4444 best solution, best possible 1272.5378 (3034.35 seconds)
Cbc0010I After 116900 nodes, 6004 on tree, 1294.4444 best solution, best possible 1272.5767 (3035.92 seconds)
Cbc0010I After 117000 nodes, 6002 on tree, 1294.4444 best solution, best possible 1272.617 (3037.79 seconds)
Cbc0010I After 117100 nodes, 5990 on tree, 1294.4444 best solution, best possible 1272.617 (3038.51 seconds)
Cbc0010I After 117200 nodes, 5975 on tree, 1294.4444 best solution, best possible 1272.617 (3038.95 seconds)
Cbc0010I After 117300 nodes, 5957 on tree, 1294.4444 best solution, best possible 1272.617 (3039.62 seconds)
Cbc0010I After 117400 nodes, 5937 on tree, 1294.4444 best solution, best possible 1272.617 (3040.12 seconds)
Cbc0010I After 117500 nodes, 5921 on tree, 1294.4444 best solution, best possible 1272.617 (3040.63 seconds)
Cbc0010I After 117600 nodes, 5906 on tree, 1294.4444 best solution, best possible 1272.617 (3041.18 seconds)
Cbc0010I After 117700 nodes, 5892 on tree, 1294.4444 best solution, best possible 1272.617 (3041.76 seconds)
Cbc0010I After 117800 nodes, 5883 on tree, 1294.4444 best solution, best possible 1272.617 (3042.31 seconds)
Cbc0010I After 117900 nodes, 5870 on tree, 1294.4444 best solution, best possible 1272.617 (3042.81 seconds)
Cbc0010I After 118000 nodes, 5856 on tree, 1294.4444 best solution, best possible 1272.617 (3043.46 seconds)
Cbc0010I After 118100 nodes, 5856 on tree, 1294.4444 best solution, best possible 1272.6836 (3044.94 seconds)
Cbc0010I After 118200 nodes, 5854 on tree, 1294.4444 best solution, best possible 1272.7352 (3047.03 seconds)
Cbc0010I After 118300 nodes, 5854 on tree, 1294.4444 best solution, best possible 1272.7945 (3049.11 seconds)
Cbc0010I After 118400 nodes, 5850 on tree, 1294.4444 best solution, best possible 1272.8501 (3050.92 seconds)
Cbc0010I After 118500 nodes, 5850 on tree, 1294.4444 best solution, best possible 1272.8992 (3052.26 seconds)
Cbc0010I After 118600 nodes, 5847 on tree, 1294.4444 best solution, best possible 1272.9496 (3053.56 seconds)
Cbc0010I After 118700 nodes, 5845 on tree, 1294.4444 best solution, best possible 1272.9872 (3055.14 seconds)
Cbc0010I After 118800 nodes, 5845 on tree, 1294.4444 best solution, best possible 1273.0354 (3056.82 seconds)
Cbc0010I After 118900 nodes, 5845 on tree, 1294.4444 best solution, best possible 1273.0834 (3058.18 seconds)
Cbc0010I After 119000 nodes, 5843 on tree, 1294.4444 best solution, best possible 1273.134 (3059.83 seconds)
Cbc0010I After 119100 nodes, 5843 on tree, 1294.4444 best solution, best possible 1273.1825 (3061.35 seconds)
Cbc0010I After 119200 nodes, 5843 on tree, 1294.4444 best solution, best possible 1273.2254 (3062.77 seconds)
Cbc0010I After 119300 nodes, 5846 on tree, 1294.4444 best solution, best possible 1273.2702 (3064.62 seconds)
Cbc0010I After 119400 nodes, 5848 on tree, 1294.4444 best solution, best possible 1273.3208 (3066.34 seconds)
Cbc0010I After 119500 nodes, 5849 on tree, 1294.4444 best solution, best possible 1273.378 (3067.96 seconds)
Cbc0010I After 119600 nodes, 5848 on tree, 1294.4444 best solution, best possible 1273.423 (3069.87 seconds)
Cbc0010I After 119700 nodes, 5845 on tree, 1294.4444 best solution, best possible 1273.4756 (3071.25 seconds)
Cbc0010I After 119800 nodes, 5838 on tree, 1294.4444 best solution, best possible 1273.5218 (3072.95 seconds)
Cbc0010I After 119900 nodes, 5840 on tree, 1294.4444 best solution, best possible 1273.5675 (3074.14 seconds)
Cbc0010I After 120000 nodes, 5841 on tree, 1294.4444 best solution, best possible 1273.6095 (3075.34 seconds)
Cbc0010I After 120100 nodes, 5842 on tree, 1294.4444 best solution, best possible 1273.663 (3076.59 seconds)
Cbc0010I After 120200 nodes, 5841 on tree, 1294.4444 best solution, best possible 1273.7135 (3078.11 seconds)
Cbc0010I After 120300 nodes, 5839 on tree, 1294.4444 best solution, best possible 1273.7634 (3079.57 seconds)
Cbc0010I After 120400 nodes, 5834 on tree, 1294.4444 best solution, best possible 1273.8026 (3081.00 seconds)
Cbc0010I After 120500 nodes, 5832 on tree, 1294.4444 best solution, best possible 1273.8605 (3082.28 seconds)
Cbc0010I After 120600 nodes, 5827 on tree, 1294.4444 best solution, best possible 1273.9009 (3083.46 seconds)
Cbc0010I After 120700 nodes, 5829 on tree, 1294.4444 best solution, best possible 1273.9472 (3085.19 seconds)
Cbc0010I After 120800 nodes, 5831 on tree, 1294.4444 best solution, best possible 1273.9855 (3086.67 seconds)
Cbc0010I After 120900 nodes, 5830 on tree, 1294.4444 best solution, best possible 1274.0289 (3088.30 seconds)
Cbc0010I After 121000 nodes, 5826 on tree, 1294.4444 best solution, best possible 1274.0703 (3089.60 seconds)
Cbc0010I After 121100 nodes, 5815 on tree, 1294.4444 best solution, best possible 1274.0703 (3090.42 seconds)
Cbc0010I After 121200 nodes, 5805 on tree, 1294.4444 best solution, best possible 1274.0703 (3090.93 seconds)
Cbc0010I After 121300 nodes, 5789 on tree, 1294.4444 best solution, best possible 1274.0703 (3091.52 seconds)
Cbc0010I After 121400 nodes, 5777 on tree, 1294.4444 best solution, best possible 1274.0703 (3092.10 seconds)
Cbc0010I After 121500 nodes, 5765 on tree, 1294.4444 best solution, best possible 1274.0703 (3092.59 seconds)
Cbc0010I After 121600 nodes, 5754 on tree, 1294.4444 best solution, best possible 1274.0703 (3093.04 seconds)
Cbc0010I After 121700 nodes, 5736 on tree, 1294.4444 best solution, best possible 1274.0703 (3093.61 seconds)
Cbc0010I After 121800 nodes, 5714 on tree, 1294.4444 best solution, best possible 1274.0703 (3094.26 seconds)
Cbc0010I After 121900 nodes, 5697 on tree, 1294.4444 best solution, best possible 1274.0703 (3094.70 seconds)
Cbc0010I After 122000 nodes, 5683 on tree, 1294.4444 best solution, best possible 1274.0703 (3095.32 seconds)
Cbc0010I After 122100 nodes, 5680 on tree, 1294.4444 best solution, best possible 1274.1101 (3097.34 seconds)
Cbc0010I After 122200 nodes, 5679 on tree, 1294.4444 best solution, best possible 1274.1546 (3098.88 seconds)
Cbc0010I After 122300 nodes, 5679 on tree, 1294.4444 best solution, best possible 1274.19 (3100.44 seconds)
Cbc0010I After 122400 nodes, 5680 on tree, 1294.4444 best solution, best possible 1274.2338 (3102.14 seconds)
Cbc0010I After 122500 nodes, 5682 on tree, 1294.4444 best solution, best possible 1274.2792 (3103.68 seconds)
Cbc0010I After 122600 nodes, 5678 on tree, 1294.4444 best solution, best possible 1274.3263 (3105.43 seconds)
Cbc0010I After 122700 nodes, 5681 on tree, 1294.4444 best solution, best possible 1274.368 (3106.46 seconds)
Cbc0010I After 122800 nodes, 5675 on tree, 1294.4444 best solution, best possible 1274.4077 (3107.97 seconds)
Cbc0010I After 122900 nodes, 5675 on tree, 1294.4444 best solution, best possible 1274.457 (3109.46 seconds)
Cbc0010I After 123000 nodes, 5675 on tree, 1294.4444 best solution, best possible 1274.4912 (3110.83 seconds)
Cbc0010I After 123100 nodes, 5674 on tree, 1294.4444 best solution, best possible 1274.536 (3111.99 seconds)
Cbc0010I After 123200 nodes, 5675 on tree, 1294.4444 best solution, best possible 1274.5685 (3113.56 seconds)
Cbc0010I After 123300 nodes, 5675 on tree, 1294.4444 best solution, best possible 1274.6091 (3115.33 seconds)
Cbc0010I After 123400 nodes, 5676 on tree, 1294.4444 best solution, best possible 1274.6566 (3116.99 seconds)
Cbc0010I After 123500 nodes, 5674 on tree, 1294.4444 best solution, best possible 1274.6923 (3118.39 seconds)
Cbc0010I After 123600 nodes, 5676 on tree, 1294.4444 best solution, best possible 1274.731 (3120.15 seconds)
Cbc0010I After 123700 nodes, 5679 on tree, 1294.4444 best solution, best possible 1274.7771 (3121.81 seconds)
Cbc0010I After 123800 nodes, 5679 on tree, 1294.4444 best solution, best possible 1274.8174 (3123.20 seconds)
Cbc0010I After 123900 nodes, 5675 on tree, 1294.4444 best solution, best possible 1274.8643 (3124.89 seconds)
Cbc0010I After 124000 nodes, 5676 on tree, 1294.4444 best solution, best possible 1274.9061 (3126.29 seconds)
Cbc0010I After 124100 nodes, 5673 on tree, 1294.4444 best solution, best possible 1274.9437 (3127.43 seconds)
Cbc0010I After 124200 nodes, 5669 on tree, 1294.4444 best solution, best possible 1274.9847 (3129.16 seconds)
Cbc0010I After 124300 nodes, 5669 on tree, 1294.4444 best solution, best possible 1275.022 (3130.77 seconds)
Cbc0010I After 124400 nodes, 5667 on tree, 1294.4444 best solution, best possible 1275.062 (3132.55 seconds)
Cbc0010I After 124500 nodes, 5666 on tree, 1294.4444 best solution, best possible 1275.1012 (3134.28 seconds)
Cbc0010I After 124600 nodes, 5663 on tree, 1294.4444 best solution, best possible 1275.1416 (3135.51 seconds)
Cbc0010I After 124700 nodes, 5663 on tree, 1294.4444 best solution, best possible 1275.1714 (3136.86 seconds)
Cbc0010I After 124800 nodes, 5660 on tree, 1294.4444 best solution, best possible 1275.2093 (3138.55 seconds)
Cbc0010I After 124900 nodes, 5659 on tree, 1294.4444 best solution, best possible 1275.2541 (3140.03 seconds)
Cbc0010I After 125000 nodes, 5658 on tree, 1294.4444 best solution, best possible 1275.2923 (3141.60 seconds)
Cbc0010I After 125100 nodes, 5644 on tree, 1294.4444 best solution, best possible 1275.2923 (3142.34 seconds)
Cbc0010I After 125200 nodes, 5630 on tree, 1294.4444 best solution, best possible 1275.2923 (3142.90 seconds)
Cbc0010I After 125300 nodes, 5619 on tree, 1294.4444 best solution, best possible 1275.2923 (3143.41 seconds)
Cbc0010I After 125400 nodes, 5597 on tree, 1294.4444 best solution, best possible 1275.2923 (3143.83 seconds)
Cbc0010I After 125500 nodes, 5578 on tree, 1294.4444 best solution, best possible 1275.2923 (3144.33 seconds)
Cbc0010I After 125600 nodes, 5560 on tree, 1294.4444 best solution, best possible 1275.2923 (3144.85 seconds)
Cbc0010I After 125700 nodes, 5546 on tree, 1294.4444 best solution, best possible 1275.2923 (3145.49 seconds)
Cbc0010I After 125800 nodes, 5528 on tree, 1294.4444 best solution, best possible 1275.2923 (3146.01 seconds)
Cbc0010I After 125900 nodes, 5516 on tree, 1294.4444 best solution, best possible 1275.2923 (3146.59 seconds)
Cbc0010I After 126000 nodes, 5499 on tree, 1294.4444 best solution, best possible 1275.2923 (3147.15 seconds)
Cbc0010I After 126100 nodes, 5500 on tree, 1294.4444 best solution, best possible 1275.3364 (3148.76 seconds)
Cbc0010I After 126200 nodes, 5499 on tree, 1294.4444 best solution, best possible 1275.3802 (3150.24 seconds)
Cbc0010I After 126300 nodes, 5499 on tree, 1294.4444 best solution, best possible 1275.4115 (3152.05 seconds)
Cbc0010I After 126400 nodes, 5497 on tree, 1294.4444 best solution, best possible 1275.453 (3153.73 seconds)
Cbc0010I After 126500 nodes, 5495 on tree, 1294.4444 best solution, best possible 1275.5006 (3155.32 seconds)
Cbc0010I After 126600 nodes, 5495 on tree, 1294.4444 best solution, best possible 1275.5484 (3156.96 seconds)
Cbc0010I After 126700 nodes, 5496 on tree, 1294.4444 best solution, best possible 1275.5945 (3158.52 seconds)
Cbc0010I After 126800 nodes, 5495 on tree, 1294.4444 best solution, best possible 1275.632 (3160.24 seconds)
Cbc0010I After 126900 nodes, 5496 on tree, 1294.4444 best solution, best possible 1275.6742 (3161.67 seconds)
Cbc0010I After 127000 nodes, 5495 on tree, 1294.4444 best solution, best possible 1275.7281 (3163.08 seconds)
Cbc0010I After 127100 nodes, 5492 on tree, 1294.4444 best solution, best possible 1275.7635 (3164.61 seconds)
Cbc0010I After 127200 nodes, 5490 on tree, 1294.4444 best solution, best possible 1275.8007 (3166.62 seconds)
Cbc0010I After 127300 nodes, 5488 on tree, 1294.4444 best solution, best possible 1275.8399 (3168.19 seconds)
Cbc0010I After 127400 nodes, 5487 on tree, 1294.4444 best solution, best possible 1275.8731 (3169.49 seconds)
Cbc0010I After 127500 nodes, 5488 on tree, 1294.4444 best solution, best possible 1275.912 (3170.84 seconds)
Cbc0010I After 127600 nodes, 5487 on tree, 1294.4444 best solution, best possible 1275.9529 (3172.46 seconds)
Cbc0010I After 127700 nodes, 5487 on tree, 1294.4444 best solution, best possible 1275.9915 (3173.96 seconds)
Cbc0010I After 127800 nodes, 5486 on tree, 1294.4444 best solution, best possible 1276.0284 (3175.48 seconds)
Cbc0010I After 127900 nodes, 5488 on tree, 1294.4444 best solution, best possible 1276.0722 (3177.18 seconds)
Cbc0010I After 128000 nodes, 5488 on tree, 1294.4444 best solution, best possible 1276.1223 (3178.45 seconds)
Cbc0010I After 128100 nodes, 5490 on tree, 1294.4444 best solution, best possible 1276.1574 (3180.19 seconds)
Cbc0010I After 128200 nodes, 5486 on tree, 1294.4444 best solution, best possible 1276.194 (3181.61 seconds)
Cbc0010I After 128300 nodes, 5486 on tree, 1294.4444 best solution, best possible 1276.2311 (3183.20 seconds)
Cbc0010I After 128400 nodes, 5484 on tree, 1294.4444 best solution, best possible 1276.2721 (3184.36 seconds)
Cbc0010I After 128500 nodes, 5483 on tree, 1294.4444 best solution, best possible 1276.3068 (3186.38 seconds)
Cbc0010I After 128600 nodes, 5482 on tree, 1294.4444 best solution, best possible 1276.3421 (3187.93 seconds)
Cbc0010I After 128700 nodes, 5481 on tree, 1294.4444 best solution, best possible 1276.3838 (3189.62 seconds)
Cbc0010I After 128800 nodes, 5480 on tree, 1294.4444 best solution, best possible 1276.4179 (3191.05 seconds)
Cbc0010I After 128900 nodes, 5475 on tree, 1294.4444 best solution, best possible 1276.4553 (3192.41 seconds)
Cbc0010I After 129000 nodes, 5474 on tree, 1294.4444 best solution, best possible 1276.5061 (3193.93 seconds)
Cbc0010I After 129100 nodes, 5457 on tree, 1294.4444 best solution, best possible 1276.5061 (3194.50 seconds)
Cbc0010I After 129200 nodes, 5434 on tree, 1294.4444 best solution, best possible 1276.5061 (3194.92 seconds)
Cbc0004I Integer solution of 1280.5293 found after 35125262 iterations and 129231 nodes (3195.05 seconds)
Cbc0010I After 129300 nodes, 1663 on tree, 1280.5293 best solution, best possible 1276.5061 (3195.77 seconds)
Cbc0010I After 129400 nodes, 1637 on tree, 1280.5293 best solution, best possible 1276.5061 (3196.19 seconds)
Cbc0010I After 129500 nodes, 1615 on tree, 1280.5293 best solution, best possible 1276.5061 (3196.58 seconds)
Cbc0010I After 129600 nodes, 1589 on tree, 1280.5293 best solution, best possible 1276.5061 (3197.00 seconds)
Cbc0010I After 129700 nodes, 1562 on tree, 1280.5293 best solution, best possible 1276.5061 (3197.42 seconds)
Cbc0010I After 129800 nodes, 1539 on tree, 1280.5293 best solution, best possible 1276.5061 (3197.80 seconds)
Cbc0010I After 129900 nodes, 1511 on tree, 1280.5293 best solution, best possible 1276.5061 (3198.16 seconds)
Cbc0010I After 130000 nodes, 1484 on tree, 1280.5293 best solution, best possible 1276.5061 (3198.59 seconds)
Cbc0010I After 130100 nodes, 1477 on tree, 1280.5293 best solution, best possible 1276.5553 (3199.57 seconds)
Cbc0010I After 130200 nodes, 1464 on tree, 1280.5293 best solution, best possible 1276.5945 (3200.67 seconds)
Cbc0010I After 130300 nodes, 1448 on tree, 1280.5293 best solution, best possible 1276.6481 (3201.71 seconds)
Cbc0010I After 130400 nodes, 1436 on tree, 1280.5293 best solution, best possible 1276.698 (3202.63 seconds)
Cbc0010I After 130500 nodes, 1426 on tree, 1280.5293 best solution, best possible 1276.7611 (3203.71 seconds)
Cbc0010I After 130600 nodes, 1418 on tree, 1280.5293 best solution, best possible 1276.8025 (3204.56 seconds)
Cbc0010I After 130700 nodes, 1408 on tree, 1280.5293 best solution, best possible 1276.8407 (3205.64 seconds)
Cbc0010I After 130800 nodes, 1399 on tree, 1280.5293 best solution, best possible 1276.8773 (3206.47 seconds)
Cbc0010I After 130900 nodes, 1387 on tree, 1280.5293 best solution, best possible 1276.9147 (3207.50 seconds)
Cbc0010I After 131000 nodes, 1372 on tree, 1280.5293 best solution, best possible 1276.9574 (3208.32 seconds)
Cbc0010I After 131100 nodes, 1362 on tree, 1280.5293 best solution, best possible 1276.9966 (3209.14 seconds)
Cbc0010I After 131200 nodes, 1353 on tree, 1280.5293 best solution, best possible 1277.0467 (3209.99 seconds)
Cbc0010I After 131300 nodes, 1345 on tree, 1280.5293 best solution, best possible 1277.091 (3210.99 seconds)
Cbc0010I After 131400 nodes, 1338 on tree, 1280.5293 best solution, best possible 1277.1274 (3211.92 seconds)
Cbc0010I After 131500 nodes, 1324 on tree, 1280.5293 best solution, best possible 1277.1649 (3213.01 seconds)
Cbc0010I After 131600 nodes, 1315 on tree, 1280.5293 best solution, best possible 1277.2145 (3213.84 seconds)
Cbc0010I After 131700 nodes, 1308 on tree, 1280.5293 best solution, best possible 1277.247 (3214.76 seconds)
Cbc0010I After 131800 nodes, 1294 on tree, 1280.5293 best solution, best possible 1277.2885 (3215.64 seconds)
Cbc0010I After 131900 nodes, 1282 on tree, 1280.5293 best solution, best possible 1277.3191 (3216.56 seconds)
Cbc0010I After 132000 nodes, 1272 on tree, 1280.5293 best solution, best possible 1277.3688 (3217.51 seconds)
Cbc0010I After 132100 nodes, 1261 on tree, 1280.5293 best solution, best possible 1277.4113 (3218.28 seconds)
Cbc0010I After 132200 nodes, 1248 on tree, 1280.5293 best solution, best possible 1277.4486 (3219.04 seconds)
Cbc0010I After 132300 nodes, 1231 on tree, 1280.5293 best solution, best possible 1277.4939 (3219.81 seconds)
Cbc0010I After 132400 nodes, 1214 on tree, 1280.5293 best solution, best possible 1277.5358 (3220.73 seconds)
Cbc0010I After 132500 nodes, 1196 on tree, 1280.5293 best solution, best possible 1277.5854 (3221.54 seconds)
Cbc0010I After 132600 nodes, 1186 on tree, 1280.5293 best solution, best possible 1277.6363 (3222.26 seconds)
Cbc0010I After 132700 nodes, 1170 on tree, 1280.5293 best solution, best possible 1277.678 (3223.07 seconds)
Cbc0010I After 132800 nodes, 1154 on tree, 1280.5293 best solution, best possible 1277.7325 (3224.14 seconds)
Cbc0010I After 132900 nodes, 1142 on tree, 1280.5293 best solution, best possible 1277.7826 (3224.87 seconds)
Cbc0010I After 133000 nodes, 1127 on tree, 1280.5293 best solution, best possible 1277.8373 (3225.72 seconds)
Cbc0010I After 133100 nodes, 1098 on tree, 1280.5293 best solution, best possible 1277.8373 (3226.04 seconds)
Cbc0010I After 133200 nodes, 1061 on tree, 1280.5293 best solution, best possible 1277.8373 (3226.39 seconds)
Cbc0010I After 133300 nodes, 1029 on tree, 1280.5293 best solution, best possible 1277.8373 (3226.72 seconds)
Cbc0010I After 133400 nodes, 1005 on tree, 1280.5293 best solution, best possible 1277.8373 (3227.15 seconds)
Cbc0010I After 133500 nodes, 973 on tree, 1280.5293 best solution, best possible 1277.8373 (3227.54 seconds)
Cbc0010I After 133600 nodes, 938 on tree, 1280.5293 best solution, best possible 1277.8373 (3227.94 seconds)
Cbc0010I After 133700 nodes, 912 on tree, 1280.5293 best solution, best possible 1277.8373 (3228.37 seconds)
Cbc0010I After 133800 nodes, 887 on tree, 1280.5293 best solution, best possible 1277.8373 (3228.81 seconds)
Cbc0010I After 133900 nodes, 863 on tree, 1280.5293 best solution, best possible 1277.8373 (3229.24 seconds)
Cbc0010I After 134000 nodes, 833 on tree, 1280.5293 best solution, best possible 1277.8373 (3229.66 seconds)
Cbc0010I After 134100 nodes, 820 on tree, 1280.5293 best solution, best possible 1277.8975 (3230.65 seconds)
Cbc0010I After 134200 nodes, 809 on tree, 1280.5293 best solution, best possible 1277.9518 (3231.41 seconds)
Cbc0010I After 134300 nodes, 802 on tree, 1280.5293 best solution, best possible 1278.0141 (3232.35 seconds)
Cbc0010I After 134400 nodes, 787 on tree, 1280.5293 best solution, best possible 1278.0943 (3233.21 seconds)
Cbc0010I After 134500 nodes, 773 on tree, 1280.5293 best solution, best possible 1278.1533 (3233.97 seconds)
Cbc0010I After 134600 nodes, 755 on tree, 1280.5293 best solution, best possible 1278.1931 (3234.86 seconds)
Cbc0010I After 134700 nodes, 743 on tree, 1280.5293 best solution, best possible 1278.2399 (3235.88 seconds)
Cbc0010I After 134800 nodes, 733 on tree, 1280.5293 best solution, best possible 1278.2888 (3236.81 seconds)
Cbc0010I After 134900 nodes, 715 on tree, 1280.5293 best solution, best possible 1278.3369 (3237.61 seconds)
Cbc0010I After 135000 nodes, 699 on tree, 1280.5293 best solution, best possible 1278.399 (3238.40 seconds)
Cbc0010I After 135100 nodes, 685 on tree, 1280.5293 best solution, best possible 1278.4688 (3239.26 seconds)
Cbc0010I After 135200 nodes, 670 on tree, 1280.5293 best solution, best possible 1278.5255 (3240.07 seconds)
Cbc0010I After 135300 nodes, 658 on tree, 1280.5293 best solution, best possible 1278.584 (3240.76 seconds)
Cbc0010I After 135400 nodes, 645 on tree, 1280.5293 best solution, best possible 1278.6387 (3241.51 seconds)
Cbc0010I After 135500 nodes, 630 on tree, 1280.5293 best solution, best possible 1278.7038 (3242.23 seconds)
Cbc0010I After 135600 nodes, 617 on tree, 1280.5293 best solution, best possible 1278.7528 (3243.06 seconds)
Cbc0010I After 135700 nodes, 605 on tree, 1280.5293 best solution, best possible 1278.818 (3243.77 seconds)
Cbc0010I After 135800 nodes, 585 on tree, 1280.5293 best solution, best possible 1278.8892 (3244.54 seconds)
Cbc0010I After 135900 nodes, 576 on tree, 1280.5293 best solution, best possible 1278.9535 (3245.33 seconds)
Cbc0010I After 136000 nodes, 564 on tree, 1280.5293 best solution, best possible 1279.0162 (3246.20 seconds)
Cbc0010I After 136100 nodes, 546 on tree, 1280.5293 best solution, best possible 1279.0715 (3246.96 seconds)
Cbc0010I After 136200 nodes, 534 on tree, 1280.5293 best solution, best possible 1279.1211 (3247.64 seconds)
Cbc0010I After 136300 nodes, 518 on tree, 1280.5293 best solution, best possible 1279.1809 (3248.40 seconds)
Cbc0010I After 136400 nodes, 502 on tree, 1280.5293 best solution, best possible 1279.2281 (3249.07 seconds)
Cbc0010I After 136500 nodes, 482 on tree, 1280.5293 best solution, best possible 1279.2744 (3249.94 seconds)
Cbc0010I After 136600 nodes, 467 on tree, 1280.5293 best solution, best possible 1279.3227 (3250.69 seconds)
Cbc0010I After 136700 nodes, 455 on tree, 1280.5293 best solution, best possible 1279.3724 (3251.49 seconds)
Cbc0010I After 136800 nodes, 429 on tree, 1280.5293 best solution, best possible 1279.416 (3252.14 seconds)
Cbc0010I After 136900 nodes, 401 on tree, 1280.5293 best solution, best possible 1279.49 (3252.83 seconds)
Cbc0010I After 137000 nodes, 382 on tree, 1280.5293 best solution, best possible 1279.5622 (3253.55 seconds)
Cbc0010I After 137100 nodes, 346 on tree, 1280.5293 best solution, best possible 1279.5622 (3253.89 seconds)
Cbc0010I After 137200 nodes, 311 on tree, 1280.5293 best solution, best possible 1279.5622 (3254.25 seconds)
Cbc0010I After 137300 nodes, 274 on tree, 1280.5293 best solution, best possible 1279.5622 (3254.68 seconds)
Cbc0010I After 137400 nodes, 235 on tree, 1280.5293 best solution, best possible 1279.5622 (3255.12 seconds)
Cbc0010I After 137500 nodes, 201 on tree, 1280.5293 best solution, best possible 1279.5622 (3255.58 seconds)
Cbc0010I After 137600 nodes, 168 on tree, 1280.5293 best solution, best possible 1279.5622 (3256.08 seconds)
Cbc0010I After 137700 nodes, 135 on tree, 1280.5293 best solution, best possible 1279.5622 (3256.61 seconds)
Cbc0010I After 137800 nodes, 96 on tree, 1280.5293 best solution, best possible 1279.5622 (3257.18 seconds)
Cbc0010I After 137900 nodes, 67 on tree, 1280.5293 best solution, best possible 1279.5622 (3257.87 seconds)
Cbc0020I Exiting on maximum time
Cbc0005I Partial search - best objective 1280.5293 (best possible 1279.5622), took 35824714 iterations and 137915 nodes (3258.03 seconds)
Cbc0032I Strong branching done 139538 times (6470095 iterations), fathomed 627 nodes and fixed 1725 variables
Cbc0035I Maximum depth 300, 7623443 variables fixed on reduced cost
Cuts at root node changed objective from 1075.25 to 1109.58
Probing was tried 100 times and created 0 cuts of which 115 were active after adding rounds of cuts (3.503 seconds)
Gomory was tried 100 times and created 0 cuts of which 0 were active after adding rounds of cuts (1.249 seconds)
Knapsack was tried 100 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.096 seconds)
Clique was tried 63940 times and created 2613019 cuts of which 1104 were active after adding rounds of cuts (83.241 seconds)
MixedIntegerRounding2 was tried 100 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.104 seconds)
FlowCover was tried 100 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.017 seconds)
TwoMirCuts was tried 1 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.005 seconds)

Result - Stopped on time limit

Objective value:                1280.52927000
Lower bound:                    1279.562
Gap:                            0.00
Enumerated nodes:               137915
Total iterations:               35824714
Time (CPU seconds):             3258.05
Time (Wallclock seconds):       3261.24

Total time (CPU seconds):       3258.06   (Wallclock seconds):       3261.28