Coin Cbc and Clp Solver version 2.20.00, build Aug 5 2008 command line - cbc done/neos5.mps At line 1 NAME neos5 At line 2 ROWS At line 67 COLUMNS At line 1141 RHS At line 1174 BOUNDS At line 1238 ENDATA Problem neos5 has 63 rows, 63 columns and 2016 elements Coin0008I neos5 read with 0 errors Continuous objective value is 13 - 0.00 seconds Optimal - objective value 13 Cgl0004I processed model has 63 rows, 63 columns (53 integer) and 2016 elements Cbc0038I Pass 1: suminf. 7.72222 (25) obj. 14 iterations 24 Cbc0038I Pass 2: suminf. 1.00000 (4) obj. 15.75 iterations 37 Cbc0038I Pass 3: suminf. 1.00000 (4) obj. 15.75 iterations 2 Cbc0038I Solution found of 18.75 Cbc0038I Before mini branch and bound, 13 integers at bound fixed and 5 continuous Cbc0038I Full problem 63 rows 63 columns, reduced to 63 rows 45 columns Cbc0038I Mini branch and bound improved solution from 18.75 to 17 (0.13 seconds) Cbc0038I Round again with cutoff of 16.6 Cbc0038I Pass 4: suminf. 7.72222 (25) obj. 14 iterations 24 Cbc0038I Pass 5: suminf. 1.00000 (4) obj. 15.75 iterations 37 Cbc0038I Pass 6: suminf. 1.00000 (4) obj. 15.75 iterations 2 Cbc0038I Pass 7: suminf. 0.40001 (1) obj. 16.6 iterations 17 Cbc0038I Pass 8: suminf. 0.00000 (0) obj. 16.6 iterations 1 Cbc0038I Solution found of 16.6 Cbc0038I Before mini branch and bound, 13 integers at bound fixed and 4 continuous Cbc0038I Full problem 63 rows 63 columns, reduced to 63 rows 46 columns Cbc0038I Mini branch and bound improved solution from 16.6 to 16.5 (0.25 seconds) Cbc0038I After 0.26 seconds - Feasibility pump exiting with objective of 16.5 - took 0.26 seconds Cbc0012I Integer solution of 16.5 found by feasibility pump after 0 iterations and 0 nodes (0.26 seconds) Cbc0038I Full problem 63 rows 63 columns, reduced to 63 rows 24 columns Cbc0012I Integer solution of 16 found by combine solutions after 0 iterations and 0 nodes (0.26 seconds) Cbc0031I 9 added rows had average density of 63 Cbc0013I At root node, 9 cuts changed objective from 13 to 13.6032 in 100 passes Cbc0014I Cut generator 0 (Probing) - 0 row cuts, 0 column cuts (0 active) in 0.368 seconds - new frequency is 1000 Cbc0014I Cut generator 1 (Gomory) - 3039 row cuts, 0 column cuts (9 active) in 0.128 seconds - new frequency is 1 Cbc0014I Cut generator 2 (Knapsack) - 0 row cuts, 0 column cuts (0 active) in 0.032 seconds - new frequency is -100 Cbc0014I Cut generator 3 (Clique) - 0 row cuts, 0 column cuts (0 active) in 0.000 seconds - new frequency is -100 Cbc0014I Cut generator 4 (MixedIntegerRounding2) - 0 row cuts, 0 column cuts (0 active) in 0.104 seconds - new frequency is -100 Cbc0014I Cut generator 5 (FlowCover) - 0 row cuts, 0 column cuts (0 active) in 0.044 seconds - new frequency is -100 Cbc0014I Cut generator 6 (TwoMirCuts) - 267 row cuts, 0 column cuts (0 active) in 0.036 seconds - new frequency is -100 Optimal - objective value 13.6032 Optimal - objective value 13.6032 Cbc0010I After 0 nodes, 1 on tree, 16 best solution, best possible 13.6032 (1.30 seconds) Cbc0016I Integer solution of 15.5 found by strong branching after 5894 iterations and 173 nodes (2.48 seconds) Cbc0038I Full problem 63 rows 63 columns, reduced to 63 rows 35 columns Cbc0012I Integer solution of 15 found by combine solutions after 5904 iterations and 174 nodes (2.77 seconds) Cbc3008W Strong branching is fixing too many variables, too expensively! Cbc0010I After 1000 nodes, 449 on tree, 15 best solution, best possible 13.616 (5.20 seconds) Cbc0010I After 2000 nodes, 903 on tree, 15 best solution, best possible 13.616 (6.44 seconds) Cbc0010I After 3000 nodes, 1364 on tree, 15 best solution, best possible 13.616 (7.53 seconds) Cbc0010I After 4000 nodes, 1799 on tree, 15 best solution, best possible 13.616 (8.50 seconds) Cbc0010I After 5000 nodes, 2181 on tree, 15 best solution, best possible 13.6503 (9.34 seconds) Cbc0010I After 6000 nodes, 2614 on tree, 15 best solution, best possible 13.6503 (10.24 seconds) Cbc0010I After 7000 nodes, 2986 on tree, 15 best solution, best possible 13.6503 (11.18 seconds) Cbc0010I After 8000 nodes, 3374 on tree, 15 best solution, best possible 13.6503 (12.04 seconds) Cbc0010I After 9000 nodes, 3733 on tree, 15 best solution, best possible 13.6503 (12.87 seconds) Cbc0010I After 10000 nodes, 4067 on tree, 15 best solution, best possible 13.6503 (13.61 seconds) Cbc0010I After 11000 nodes, 4390 on tree, 15 best solution, best possible 13.875 (14.41 seconds) Cbc0010I After 12000 nodes, 4902 on tree, 15 best solution, best possible 14 (15.34 seconds) Cbc0010I After 13000 nodes, 5379 on tree, 15 best solution, best possible 14 (16.32 seconds) Cbc0010I After 14000 nodes, 5831 on tree, 15 best solution, best possible 14 (17.43 seconds) Cbc0010I After 15000 nodes, 6312 on tree, 15 best solution, best possible 14 (18.39 seconds) Cbc0010I After 16000 nodes, 6786 on tree, 15 best solution, best possible 14 (19.42 seconds) Cbc0010I After 17000 nodes, 7220 on tree, 15 best solution, best possible 14 (20.46 seconds) Cbc0010I After 18000 nodes, 7594 on tree, 15 best solution, best possible 14 (21.43 seconds) Cbc0010I After 19000 nodes, 8038 on tree, 15 best solution, best possible 14.012 (22.36 seconds) Cbc0010I After 20000 nodes, 8385 on tree, 15 best solution, best possible 14.0357 (23.30 seconds) Cbc0010I After 21000 nodes, 8719 on tree, 15 best solution, best possible 14.05 (24.23 seconds) Cbc0010I After 22000 nodes, 9055 on tree, 15 best solution, best possible 14.05 (25.06 seconds) Cbc0010I After 23000 nodes, 9396 on tree, 15 best solution, best possible 14.0625 (25.93 seconds) Cbc0010I After 24000 nodes, 9743 on tree, 15 best solution, best possible 14.0714 (26.82 seconds) Cbc0010I After 25000 nodes, 10073 on tree, 15 best solution, best possible 14.0803 (27.64 seconds) Cbc0010I After 26000 nodes, 10400 on tree, 15 best solution, best possible 14.0862 (28.51 seconds) Cbc0010I After 27000 nodes, 10737 on tree, 15 best solution, best possible 14.0862 (29.37 seconds) Cbc0010I After 28000 nodes, 11058 on tree, 15 best solution, best possible 14.0862 (30.13 seconds) Cbc0010I After 29000 nodes, 11088 on tree, 15 best solution, best possible 14.0862 (30.55 seconds) Cbc0010I After 30000 nodes, 11465 on tree, 15 best solution, best possible 14.0937 (31.35 seconds) Cbc0010I After 31000 nodes, 11793 on tree, 15 best solution, best possible 14.0937 (32.17 seconds) Cbc0010I After 32000 nodes, 12108 on tree, 15 best solution, best possible 14.0937 (32.93 seconds) Cbc0010I After 33000 nodes, 12145 on tree, 15 best solution, best possible 14.0937 (33.32 seconds) Cbc0010I After 34000 nodes, 12463 on tree, 15 best solution, best possible 14.1 (34.12 seconds) Cbc0010I After 35000 nodes, 12817 on tree, 15 best solution, best possible 14.1 (34.96 seconds) Cbc0010I After 36000 nodes, 13098 on tree, 15 best solution, best possible 14.1 (35.71 seconds) Cbc0010I After 37000 nodes, 13110 on tree, 15 best solution, best possible 14.1 (36.12 seconds) Cbc0010I After 38000 nodes, 13455 on tree, 15 best solution, best possible 14.1071 (36.99 seconds) Cbc0010I After 39000 nodes, 13768 on tree, 15 best solution, best possible 14.1071 (37.81 seconds) Cbc0010I After 40000 nodes, 14060 on tree, 15 best solution, best possible 14.1071 (38.62 seconds) Cbc0010I After 41000 nodes, 14077 on tree, 15 best solution, best possible 14.1071 (39.07 seconds) Cbc0010I After 42000 nodes, 14373 on tree, 15 best solution, best possible 14.1135 (39.83 seconds) Cbc0010I After 43000 nodes, 14692 on tree, 15 best solution, best possible 14.1135 (40.65 seconds) Cbc0010I After 44000 nodes, 15008 on tree, 15 best solution, best possible 14.1135 (41.46 seconds) Cbc0010I After 45000 nodes, 15070 on tree, 15 best solution, best possible 14.1135 (41.87 seconds) Cbc0010I After 46000 nodes, 15390 on tree, 15 best solution, best possible 14.1233 (42.68 seconds) Cbc0010I After 47000 nodes, 15698 on tree, 15 best solution, best possible 14.1233 (43.50 seconds) Cbc0010I After 48000 nodes, 15995 on tree, 15 best solution, best possible 14.1233 (44.25 seconds) Cbc0010I After 49000 nodes, 16008 on tree, 15 best solution, best possible 14.1233 (44.73 seconds) Cbc0010I After 50000 nodes, 16314 on tree, 15 best solution, best possible 14.126 (45.55 seconds) Cbc0010I After 51000 nodes, 16612 on tree, 15 best solution, best possible 14.1261 (46.32 seconds) Cbc0010I After 52000 nodes, 16907 on tree, 15 best solution, best possible 14.1261 (47.05 seconds) Cbc0010I After 53000 nodes, 16805 on tree, 15 best solution, best possible 14.1261 (47.43 seconds) Cbc0010I After 54000 nodes, 17121 on tree, 15 best solution, best possible 14.1353 (48.26 seconds) Cbc0010I After 55000 nodes, 17389 on tree, 15 best solution, best possible 14.1353 (49.03 seconds) Cbc0010I After 56000 nodes, 17657 on tree, 15 best solution, best possible 14.1353 (49.74 seconds) Cbc0010I After 57000 nodes, 17606 on tree, 15 best solution, best possible 14.1353 (50.10 seconds) Cbc0010I After 58000 nodes, 17900 on tree, 15 best solution, best possible 14.1409 (50.95 seconds) Cbc0010I After 59000 nodes, 18191 on tree, 15 best solution, best possible 14.1409 (51.76 seconds) Cbc0010I After 60000 nodes, 18424 on tree, 15 best solution, best possible 14.1409 (52.42 seconds) Cbc0010I After 61000 nodes, 18352 on tree, 15 best solution, best possible 14.1409 (52.79 seconds) Cbc0010I After 62000 nodes, 18630 on tree, 15 best solution, best possible 14.1497 (53.58 seconds) Cbc0010I After 63000 nodes, 18909 on tree, 15 best solution, best possible 14.1497 (54.34 seconds) Cbc0010I After 64000 nodes, 19139 on tree, 15 best solution, best possible 14.1497 (55.04 seconds) Cbc0010I After 65000 nodes, 19081 on tree, 15 best solution, best possible 14.1497 (55.39 seconds) Cbc0010I After 66000 nodes, 19336 on tree, 15 best solution, best possible 14.1569 (56.19 seconds) Cbc0010I After 67000 nodes, 19618 on tree, 15 best solution, best possible 14.1569 (56.96 seconds) Cbc0010I After 68000 nodes, 19859 on tree, 15 best solution, best possible 14.1569 (57.64 seconds) Cbc0010I After 69000 nodes, 19806 on tree, 15 best solution, best possible 14.1569 (58.00 seconds) Cbc0010I After 70000 nodes, 20073 on tree, 15 best solution, best possible 14.1646 (58.78 seconds) Cbc0010I After 71000 nodes, 20331 on tree, 15 best solution, best possible 14.1646 (59.52 seconds) Cbc0010I After 72000 nodes, 20554 on tree, 15 best solution, best possible 14.1646 (60.21 seconds) Cbc0010I After 73000 nodes, 20502 on tree, 15 best solution, best possible 14.1646 (60.56 seconds) Cbc0010I After 74000 nodes, 20771 on tree, 15 best solution, best possible 14.1705 (61.36 seconds) Cbc0010I After 75000 nodes, 21031 on tree, 15 best solution, best possible 14.1705 (62.10 seconds) Cbc0010I After 76000 nodes, 21223 on tree, 15 best solution, best possible 14.1705 (62.71 seconds) Cbc0010I After 77000 nodes, 21152 on tree, 15 best solution, best possible 14.1705 (63.07 seconds) Cbc0010I After 78000 nodes, 21366 on tree, 15 best solution, best possible 14.1798 (63.85 seconds) Cbc0010I After 79000 nodes, 21596 on tree, 15 best solution, best possible 14.1798 (64.59 seconds) Cbc0010I After 80000 nodes, 21747 on tree, 15 best solution, best possible 14.1798 (65.25 seconds) Cbc0010I After 81000 nodes, 21618 on tree, 15 best solution, best possible 14.1798 (65.59 seconds) Cbc0010I After 82000 nodes, 21838 on tree, 15 best solution, best possible 14.1875 (66.36 seconds) Cbc0010I After 83000 nodes, 22075 on tree, 15 best solution, best possible 14.1875 (67.08 seconds) Cbc0010I After 84000 nodes, 22327 on tree, 15 best solution, best possible 14.1875 (67.79 seconds) Cbc0010I After 85000 nodes, 22258 on tree, 15 best solution, best possible 14.1875 (68.17 seconds) Cbc0010I After 86000 nodes, 22498 on tree, 15 best solution, best possible 14.1935 (68.91 seconds) Cbc0010I After 87000 nodes, 22743 on tree, 15 best solution, best possible 14.1935 (69.66 seconds) Cbc0010I After 88000 nodes, 22939 on tree, 15 best solution, best possible 14.1935 (70.31 seconds) Cbc0010I After 89000 nodes, 22874 on tree, 15 best solution, best possible 14.1935 (70.67 seconds) Cbc0010I After 90000 nodes, 23116 on tree, 15 best solution, best possible 14.2 (71.42 seconds) Cbc0010I After 91000 nodes, 23334 on tree, 15 best solution, best possible 14.2 (72.15 seconds) Cbc0010I After 92000 nodes, 23548 on tree, 15 best solution, best possible 14.2 (72.78 seconds) Cbc0010I After 93000 nodes, 23398 on tree, 15 best solution, best possible 14.2 (73.14 seconds) Cbc0010I After 94000 nodes, 23628 on tree, 15 best solution, best possible 14.2059 (73.86 seconds) Cbc0010I After 95000 nodes, 23852 on tree, 15 best solution, best possible 14.2059 (74.58 seconds) Cbc0010I After 96000 nodes, 24046 on tree, 15 best solution, best possible 14.2059 (75.21 seconds) Cbc0010I After 97000 nodes, 23888 on tree, 15 best solution, best possible 14.2059 (75.60 seconds) Cbc0010I After 98000 nodes, 24119 on tree, 15 best solution, best possible 14.2136 (76.38 seconds) Cbc0010I After 99000 nodes, 24354 on tree, 15 best solution, best possible 14.2136 (77.08 seconds) Cbc0010I After 100000 nodes, 24552 on tree, 15 best solution, best possible 14.2136 (77.71 seconds) Cbc0010I After 101000 nodes, 24442 on tree, 15 best solution, best possible 14.2136 (78.03 seconds) Cbc0010I After 102000 nodes, 24680 on tree, 15 best solution, best possible 14.2192 (78.77 seconds) Cbc0010I After 103000 nodes, 24903 on tree, 15 best solution, best possible 14.2192 (79.50 seconds) Cbc0010I After 104000 nodes, 25088 on tree, 15 best solution, best possible 14.2192 (80.22 seconds) Cbc0010I After 105000 nodes, 24971 on tree, 15 best solution, best possible 14.2192 (80.58 seconds) Cbc0010I After 106000 nodes, 25196 on tree, 15 best solution, best possible 14.227 (81.34 seconds) Cbc0010I After 107000 nodes, 25430 on tree, 15 best solution, best possible 14.227 (82.11 seconds) Cbc0010I After 108000 nodes, 25632 on tree, 15 best solution, best possible 14.227 (82.81 seconds) Cbc0010I After 109000 nodes, 25578 on tree, 15 best solution, best possible 14.227 (83.20 seconds) Cbc0010I After 110000 nodes, 25797 on tree, 15 best solution, best possible 14.2353 (83.98 seconds) Cbc0010I After 111000 nodes, 26029 on tree, 15 best solution, best possible 14.2353 (84.74 seconds) Cbc0010I After 112000 nodes, 26227 on tree, 15 best solution, best possible 14.2353 (85.39 seconds) Cbc0010I After 113000 nodes, 26117 on tree, 15 best solution, best possible 14.2353 (85.78 seconds) Cbc0010I After 114000 nodes, 26338 on tree, 15 best solution, best possible 14.2453 (86.57 seconds) Cbc0010I After 115000 nodes, 26523 on tree, 15 best solution, best possible 14.2453 (87.30 seconds) Cbc0010I After 116000 nodes, 26754 on tree, 15 best solution, best possible 14.2453 (88.01 seconds) Cbc0010I After 117000 nodes, 26668 on tree, 15 best solution, best possible 14.2453 (88.45 seconds) Cbc0010I After 118000 nodes, 27002 on tree, 15 best solution, best possible 14.25 (89.20 seconds) Cbc0010I After 119000 nodes, 27231 on tree, 15 best solution, best possible 14.25 (89.91 seconds) Cbc0010I After 120000 nodes, 27391 on tree, 15 best solution, best possible 14.25 (90.58 seconds) Cbc0010I After 121000 nodes, 27269 on tree, 15 best solution, best possible 14.25 (90.99 seconds) Cbc0010I After 122000 nodes, 27474 on tree, 15 best solution, best possible 14.2548 (91.77 seconds) Cbc0010I After 123000 nodes, 27675 on tree, 15 best solution, best possible 14.2548 (92.42 seconds) Cbc0010I After 124000 nodes, 27895 on tree, 15 best solution, best possible 14.2548 (93.10 seconds) Cbc0010I After 125000 nodes, 27749 on tree, 15 best solution, best possible 14.2548 (93.46 seconds) Cbc0010I After 126000 nodes, 27982 on tree, 15 best solution, best possible 14.2632 (94.24 seconds) Cbc0010I After 127000 nodes, 28185 on tree, 15 best solution, best possible 14.2632 (94.99 seconds) Cbc0010I After 128000 nodes, 28384 on tree, 15 best solution, best possible 14.2632 (95.68 seconds) Cbc0010I After 129000 nodes, 28346 on tree, 15 best solution, best possible 14.2632 (96.06 seconds) Cbc0010I After 130000 nodes, 28590 on tree, 15 best solution, best possible 14.2697 (96.79 seconds) Cbc0010I After 131000 nodes, 28801 on tree, 15 best solution, best possible 14.2697 (97.50 seconds) Cbc0010I After 132000 nodes, 28992 on tree, 15 best solution, best possible 14.2697 (98.12 seconds) Cbc0010I After 133000 nodes, 28872 on tree, 15 best solution, best possible 14.2697 (98.49 seconds) Cbc0010I After 134000 nodes, 29115 on tree, 15 best solution, best possible 14.2767 (99.25 seconds) Cbc0010I After 135000 nodes, 29351 on tree, 15 best solution, best possible 14.2767 (100.02 seconds) Cbc0010I After 136000 nodes, 29519 on tree, 15 best solution, best possible 14.2767 (100.70 seconds) Cbc0010I After 137000 nodes, 29423 on tree, 15 best solution, best possible 14.2767 (101.06 seconds) Cbc0010I After 138000 nodes, 29654 on tree, 15 best solution, best possible 14.2843 (101.81 seconds) Cbc0010I After 139000 nodes, 29855 on tree, 15 best solution, best possible 14.2843 (102.54 seconds) Cbc0010I After 140000 nodes, 30034 on tree, 15 best solution, best possible 14.2843 (103.06 seconds) Cbc0010I After 141000 nodes, 29919 on tree, 15 best solution, best possible 14.2843 (103.42 seconds) Cbc0010I After 142000 nodes, 30145 on tree, 15 best solution, best possible 14.2926 (104.16 seconds) Cbc0010I After 143000 nodes, 30420 on tree, 15 best solution, best possible 14.2926 (104.81 seconds) Cbc0010I After 144000 nodes, 30525 on tree, 15 best solution, best possible 14.2926 (105.31 seconds) Cbc0010I After 145000 nodes, 30379 on tree, 15 best solution, best possible 14.2926 (105.67 seconds) Cbc0010I After 146000 nodes, 30618 on tree, 15 best solution, best possible 14.3 (106.38 seconds) Cbc0010I After 147000 nodes, 30723 on tree, 15 best solution, best possible 14.3 (107.08 seconds) Cbc0010I After 148000 nodes, 30900 on tree, 15 best solution, best possible 14.3 (107.66 seconds) Cbc0010I After 149000 nodes, 30759 on tree, 15 best solution, best possible 14.3 (108.02 seconds) Cbc0010I After 150000 nodes, 30982 on tree, 15 best solution, best possible 14.3047 (108.75 seconds) Cbc0010I After 151000 nodes, 31179 on tree, 15 best solution, best possible 14.3047 (109.45 seconds) Cbc0010I After 152000 nodes, 31342 on tree, 15 best solution, best possible 14.3047 (110.05 seconds) Cbc0010I After 153000 nodes, 31228 on tree, 15 best solution, best possible 14.3047 (110.41 seconds) Cbc0010I After 154000 nodes, 31450 on tree, 15 best solution, best possible 14.3125 (111.16 seconds) Cbc0010I After 155000 nodes, 31643 on tree, 15 best solution, best possible 14.3125 (111.80 seconds) Cbc0010I After 156000 nodes, 31850 on tree, 15 best solution, best possible 14.3125 (112.50 seconds) Cbc0010I After 157000 nodes, 31699 on tree, 15 best solution, best possible 14.3125 (112.85 seconds) Cbc0010I After 158000 nodes, 31910 on tree, 15 best solution, best possible 14.3185 (113.54 seconds) Cbc0010I After 159000 nodes, 32097 on tree, 15 best solution, best possible 14.3185 (114.23 seconds) Cbc0010I After 160000 nodes, 32280 on tree, 15 best solution, best possible 14.3185 (114.88 seconds) Cbc0010I After 161000 nodes, 32173 on tree, 15 best solution, best possible 14.3185 (115.25 seconds) Cbc0010I After 162000 nodes, 32415 on tree, 15 best solution, best possible 14.3261 (115.96 seconds) Cbc0010I After 163000 nodes, 32577 on tree, 15 best solution, best possible 14.3261 (116.62 seconds) Cbc0010I After 164000 nodes, 32724 on tree, 15 best solution, best possible 14.3261 (117.20 seconds) Cbc0010I After 165000 nodes, 32586 on tree, 15 best solution, best possible 14.3261 (117.56 seconds) Cbc0010I After 166000 nodes, 32821 on tree, 15 best solution, best possible 14.3333 (118.25 seconds) Cbc0010I After 167000 nodes, 32993 on tree, 15 best solution, best possible 14.3333 (118.92 seconds) Cbc0010I After 168000 nodes, 33162 on tree, 15 best solution, best possible 14.3333 (119.52 seconds) Cbc0010I After 169000 nodes, 33016 on tree, 15 best solution, best possible 14.3333 (119.87 seconds) Cbc0010I After 170000 nodes, 33224 on tree, 15 best solution, best possible 14.3354 (120.54 seconds) Cbc0010I After 171000 nodes, 33405 on tree, 15 best solution, best possible 14.3354 (121.18 seconds) Cbc0010I After 172000 nodes, 33675 on tree, 15 best solution, best possible 14.3354 (121.81 seconds) Cbc0010I After 173000 nodes, 33632 on tree, 15 best solution, best possible 14.3354 (122.18 seconds) Cbc0010I After 174000 nodes, 33860 on tree, 15 best solution, best possible 14.3429 (122.91 seconds) Cbc0010I After 175000 nodes, 33943 on tree, 15 best solution, best possible 14.3429 (123.57 seconds) Cbc0010I After 176000 nodes, 34133 on tree, 15 best solution, best possible 14.3429 (124.18 seconds) Cbc0010I After 177000 nodes, 34030 on tree, 15 best solution, best possible 14.3429 (124.53 seconds) Cbc0010I After 178000 nodes, 34286 on tree, 15 best solution, best possible 14.349 (125.24 seconds) Cbc0010I After 179000 nodes, 34444 on tree, 15 best solution, best possible 14.349 (125.86 seconds) Cbc0010I After 180000 nodes, 34625 on tree, 15 best solution, best possible 14.349 (126.42 seconds) Cbc0010I After 181000 nodes, 34507 on tree, 15 best solution, best possible 14.349 (126.76 seconds) Cbc0010I After 182000 nodes, 34715 on tree, 15 best solution, best possible 14.3562 (127.46 seconds) Cbc0010I After 183000 nodes, 34911 on tree, 15 best solution, best possible 14.3562 (128.02 seconds) Cbc0010I After 184000 nodes, 35154 on tree, 15 best solution, best possible 14.3562 (128.56 seconds) Cbc0010I After 185000 nodes, 35038 on tree, 15 best solution, best possible 14.3562 (128.92 seconds) Cbc0010I After 186000 nodes, 35256 on tree, 15 best solution, best possible 14.3636 (129.64 seconds) Cbc0010I After 187000 nodes, 35509 on tree, 15 best solution, best possible 14.3636 (130.20 seconds) Cbc0010I After 188000 nodes, 35532 on tree, 15 best solution, best possible 14.3636 (130.72 seconds) Cbc0010I After 189000 nodes, 35404 on tree, 15 best solution, best possible 14.3636 (131.08 seconds) Cbc0010I After 190000 nodes, 35631 on tree, 15 best solution, best possible 14.3728 (131.73 seconds) Cbc0010I After 191000 nodes, 35632 on tree, 15 best solution, best possible 14.3728 (132.34 seconds) Cbc0010I After 192000 nodes, 35783 on tree, 15 best solution, best possible 14.3728 (132.89 seconds) Cbc0010I After 193000 nodes, 35618 on tree, 15 best solution, best possible 14.3728 (133.26 seconds) Cbc0010I After 194000 nodes, 35931 on tree, 15 best solution, best possible 14.375 (133.94 seconds) Cbc0010I After 195000 nodes, 36103 on tree, 15 best solution, best possible 14.375 (134.58 seconds) Cbc0010I After 196000 nodes, 36265 on tree, 15 best solution, best possible 14.375 (135.16 seconds) Cbc0010I After 197000 nodes, 36153 on tree, 15 best solution, best possible 14.375 (135.55 seconds) Cbc0010I After 198000 nodes, 36524 on tree, 15 best solution, best possible 14.375 (136.21 seconds) Cbc0010I After 199000 nodes, 36659 on tree, 15 best solution, best possible 14.375 (136.84 seconds) Cbc0010I After 200000 nodes, 36787 on tree, 15 best solution, best possible 14.375 (137.38 seconds) Cbc0010I After 201000 nodes, 36667 on tree, 15 best solution, best possible 14.375 (137.76 seconds) Cbc0010I After 202000 nodes, 36623 on tree, 15 best solution, best possible 14.375 (138.44 seconds) Cbc0010I After 203000 nodes, 36750 on tree, 15 best solution, best possible 14.375 (139.02 seconds) Cbc0010I After 204000 nodes, 36911 on tree, 15 best solution, best possible 14.375 (139.61 seconds) Cbc0010I After 205000 nodes, 36807 on tree, 15 best solution, best possible 14.375 (139.99 seconds) Cbc0010I After 206000 nodes, 37018 on tree, 15 best solution, best possible 14.3803 (140.64 seconds) Cbc0010I After 207000 nodes, 37173 on tree, 15 best solution, best possible 14.3803 (141.22 seconds) Cbc0010I After 208000 nodes, 37319 on tree, 15 best solution, best possible 14.3803 (141.79 seconds) Cbc0010I After 209000 nodes, 37179 on tree, 15 best solution, best possible 14.3803 (142.14 seconds) Cbc0010I After 210000 nodes, 37394 on tree, 15 best solution, best possible 14.3883 (142.85 seconds) Cbc0010I After 211000 nodes, 37536 on tree, 15 best solution, best possible 14.3883 (143.46 seconds) Cbc0010I After 212000 nodes, 37648 on tree, 15 best solution, best possible 14.3883 (144.01 seconds) Cbc0010I After 213000 nodes, 37505 on tree, 15 best solution, best possible 14.3883 (144.37 seconds) Cbc0010I After 214000 nodes, 37691 on tree, 15 best solution, best possible 14.3953 (145.03 seconds) Cbc0010I After 215000 nodes, 37833 on tree, 15 best solution, best possible 14.3953 (145.64 seconds) Cbc0010I After 216000 nodes, 37968 on tree, 15 best solution, best possible 14.3953 (146.21 seconds) Cbc0010I After 217000 nodes, 37839 on tree, 15 best solution, best possible 14.3953 (146.56 seconds) Cbc0010I After 218000 nodes, 38030 on tree, 15 best solution, best possible 14.4 (147.23 seconds) Cbc0010I After 219000 nodes, 38171 on tree, 15 best solution, best possible 14.4 (147.81 seconds) Cbc0010I After 220000 nodes, 38367 on tree, 15 best solution, best possible 14.4 (148.34 seconds) Cbc0010I After 221000 nodes, 38257 on tree, 15 best solution, best possible 14.4 (148.68 seconds) Cbc0010I After 222000 nodes, 38475 on tree, 15 best solution, best possible 14.4083 (149.33 seconds) Cbc0010I After 223000 nodes, 38667 on tree, 15 best solution, best possible 14.4083 (149.90 seconds) Cbc0010I After 224000 nodes, 38903 on tree, 15 best solution, best possible 14.4083 (150.49 seconds) Cbc0010I After 225000 nodes, 38824 on tree, 15 best solution, best possible 14.4083 (150.82 seconds) Cbc0010I After 226000 nodes, 39000 on tree, 15 best solution, best possible 14.4167 (151.51 seconds) Cbc0010I After 227000 nodes, 39247 on tree, 15 best solution, best possible 14.4167 (152.07 seconds) Cbc0010I After 228000 nodes, 39503 on tree, 15 best solution, best possible 14.4167 (152.63 seconds) Cbc0010I After 229000 nodes, 39454 on tree, 15 best solution, best possible 14.4167 (153.00 seconds) Cbc0010I After 230000 nodes, 39664 on tree, 15 best solution, best possible 14.4231 (153.63 seconds) Cbc0010I After 231000 nodes, 39597 on tree, 15 best solution, best possible 14.4231 (154.17 seconds) Cbc0010I After 232000 nodes, 39593 on tree, 15 best solution, best possible 14.4231 (154.73 seconds) Cbc0010I After 233000 nodes, 39490 on tree, 15 best solution, best possible 14.4231 (155.07 seconds) Cbc0010I After 234000 nodes, 39683 on tree, 15 best solution, best possible 14.4286 (155.71 seconds) Cbc0010I After 235000 nodes, 39801 on tree, 15 best solution, best possible 14.4286 (156.25 seconds) Cbc0010I After 236000 nodes, 39947 on tree, 15 best solution, best possible 14.4286 (156.79 seconds) Cbc0010I After 237000 nodes, 39797 on tree, 15 best solution, best possible 14.4286 (157.12 seconds) Cbc0010I After 238000 nodes, 39990 on tree, 15 best solution, best possible 14.4331 (157.79 seconds) Cbc0010I After 239000 nodes, 40094 on tree, 15 best solution, best possible 14.4331 (158.33 seconds) Cbc0010I After 240000 nodes, 40194 on tree, 15 best solution, best possible 14.4331 (158.87 seconds) Cbc0010I After 241000 nodes, 40057 on tree, 15 best solution, best possible 14.4331 (159.23 seconds) Cbc0010I After 242000 nodes, 40258 on tree, 15 best solution, best possible 14.438 (159.87 seconds) Cbc0010I After 243000 nodes, 40387 on tree, 15 best solution, best possible 14.438 (160.48 seconds) Cbc0010I After 244000 nodes, 40517 on tree, 15 best solution, best possible 14.438 (161.02 seconds) Cbc0010I After 245000 nodes, 40367 on tree, 15 best solution, best possible 14.438 (161.35 seconds) Cbc0010I After 246000 nodes, 40563 on tree, 15 best solution, best possible 14.4444 (162.02 seconds) Cbc0010I After 247000 nodes, 40695 on tree, 15 best solution, best possible 14.4444 (162.55 seconds) Cbc0010I After 248000 nodes, 40788 on tree, 15 best solution, best possible 14.4444 (163.03 seconds) Cbc0010I After 249000 nodes, 40635 on tree, 15 best solution, best possible 14.4444 (163.40 seconds) Cbc0010I After 250000 nodes, 40844 on tree, 15 best solution, best possible 14.45 (164.02 seconds) Cbc0010I After 251000 nodes, 40974 on tree, 15 best solution, best possible 14.45 (164.61 seconds) Cbc0010I After 252000 nodes, 41096 on tree, 15 best solution, best possible 14.45 (165.15 seconds) Cbc0010I After 253000 nodes, 40926 on tree, 15 best solution, best possible 14.45 (165.51 seconds) Cbc0010I After 254000 nodes, 41117 on tree, 15 best solution, best possible 14.4565 (166.13 seconds) Cbc0010I After 255000 nodes, 41245 on tree, 15 best solution, best possible 14.4565 (166.64 seconds) Cbc0010I After 256000 nodes, 41356 on tree, 15 best solution, best possible 14.4565 (167.17 seconds) Cbc0010I After 257000 nodes, 41195 on tree, 15 best solution, best possible 14.4565 (167.53 seconds) Cbc0010I After 258000 nodes, 41374 on tree, 15 best solution, best possible 14.4643 (168.13 seconds) Cbc0010I After 259000 nodes, 41517 on tree, 15 best solution, best possible 14.4643 (168.70 seconds) Cbc0010I After 260000 nodes, 41660 on tree, 15 best solution, best possible 14.4643 (169.17 seconds) Cbc0010I After 261000 nodes, 41513 on tree, 15 best solution, best possible 14.4643 (169.53 seconds) Cbc0010I After 262000 nodes, 41699 on tree, 15 best solution, best possible 14.4711 (170.12 seconds) Cbc0010I After 263000 nodes, 41843 on tree, 15 best solution, best possible 14.4711 (170.69 seconds) Cbc0010I After 264000 nodes, 42065 on tree, 15 best solution, best possible 14.4711 (171.23 seconds) Cbc0010I After 265000 nodes, 41926 on tree, 15 best solution, best possible 14.4711 (171.59 seconds) Cbc0010I After 266000 nodes, 42111 on tree, 15 best solution, best possible 14.4784 (172.17 seconds) Cbc0010I After 267000 nodes, 42285 on tree, 15 best solution, best possible 14.4784 (172.73 seconds) Cbc0010I After 268000 nodes, 42630 on tree, 15 best solution, best possible 14.4784 (173.26 seconds) Cbc0010I After 269000 nodes, 42516 on tree, 15 best solution, best possible 14.4784 (173.59 seconds) Cbc0010I After 270000 nodes, 42699 on tree, 15 best solution, best possible 14.487 (174.20 seconds) Cbc0010I After 271000 nodes, 42937 on tree, 15 best solution, best possible 14.487 (174.75 seconds) Cbc0010I After 272000 nodes, 42752 on tree, 15 best solution, best possible 14.487 (175.28 seconds) Cbc0010I After 273000 nodes, 42615 on tree, 15 best solution, best possible 14.487 (175.65 seconds) Cbc0010I After 274000 nodes, 42793 on tree, 15 best solution, best possible 14.4975 (176.25 seconds) Cbc0010I After 275000 nodes, 42896 on tree, 15 best solution, best possible 14.4975 (176.83 seconds) Cbc0010I After 276000 nodes, 43078 on tree, 15 best solution, best possible 14.4975 (177.38 seconds) Cbc0010I After 277000 nodes, 43008 on tree, 15 best solution, best possible 14.4975 (177.71 seconds) Cbc0010I After 278000 nodes, 43259 on tree, 15 best solution, best possible 14.5 (178.33 seconds) Cbc0010I After 279000 nodes, 43416 on tree, 15 best solution, best possible 14.5 (178.87 seconds) Cbc0010I After 280000 nodes, 43535 on tree, 15 best solution, best possible 14.5 (179.41 seconds) Cbc0010I After 281000 nodes, 43437 on tree, 15 best solution, best possible 14.5 (179.77 seconds) Cbc0010I After 282000 nodes, 43681 on tree, 15 best solution, best possible 14.5 (180.34 seconds) Cbc0010I After 283000 nodes, 43751 on tree, 15 best solution, best possible 14.5 (180.85 seconds) Cbc0010I After 284000 nodes, 43851 on tree, 15 best solution, best possible 14.5 (181.35 seconds) Cbc0010I After 285000 nodes, 43713 on tree, 15 best solution, best possible 14.5 (181.73 seconds) Cbc0010I After 286000 nodes, 43903 on tree, 15 best solution, best possible 14.5 (182.30 seconds) Cbc0010I After 287000 nodes, 44115 on tree, 15 best solution, best possible 14.5 (182.88 seconds) Cbc0010I After 288000 nodes, 44091 on tree, 15 best solution, best possible 14.5 (183.41 seconds) Cbc0010I After 289000 nodes, 43963 on tree, 15 best solution, best possible 14.5 (183.77 seconds) Cbc0010I After 290000 nodes, 44610 on tree, 15 best solution, best possible 14.5 (184.29 seconds) Cbc0010I After 291000 nodes, 44793 on tree, 15 best solution, best possible 14.5 (184.86 seconds) Cbc0010I After 292000 nodes, 44962 on tree, 15 best solution, best possible 14.5 (185.45 seconds) Cbc0010I After 293000 nodes, 44811 on tree, 15 best solution, best possible 14.5 (185.78 seconds) Cbc0010I After 294000 nodes, 44477 on tree, 15 best solution, best possible 14.5 (186.32 seconds) Cbc0010I After 295000 nodes, 44637 on tree, 15 best solution, best possible 14.5 (186.89 seconds) Cbc0010I After 296000 nodes, 44698 on tree, 15 best solution, best possible 14.5 (187.40 seconds) Cbc0010I After 297000 nodes, 44566 on tree, 15 best solution, best possible 14.5 (187.74 seconds) Cbc0010I After 298000 nodes, 44707 on tree, 15 best solution, best possible 14.5 (188.38 seconds) Cbc0010I After 299000 nodes, 44859 on tree, 15 best solution, best possible 14.5 (188.94 seconds) Cbc0010I After 300000 nodes, 44942 on tree, 15 best solution, best possible 14.5 (189.44 seconds) Cbc0010I After 301000 nodes, 44773 on tree, 15 best solution, best possible 14.5 (189.80 seconds) Cbc0010I After 302000 nodes, 45067 on tree, 15 best solution, best possible 14.5 (190.37 seconds) Cbc0010I After 303000 nodes, 45235 on tree, 15 best solution, best possible 14.5 (190.96 seconds) Cbc0010I After 304000 nodes, 45375 on tree, 15 best solution, best possible 14.5 (191.50 seconds) Cbc0010I After 305000 nodes, 45378 on tree, 15 best solution, best possible 14.5 (191.94 seconds) Cbc0010I After 306000 nodes, 45667 on tree, 15 best solution, best possible 14.5 (192.58 seconds) Cbc0010I After 307000 nodes, 45813 on tree, 15 best solution, best possible 14.5 (193.12 seconds) Cbc0010I After 308000 nodes, 45841 on tree, 15 best solution, best possible 14.5 (193.61 seconds) Cbc0010I After 309000 nodes, 45672 on tree, 15 best solution, best possible 14.5 (194.06 seconds) Cbc0010I After 310000 nodes, 45934 on tree, 15 best solution, best possible 14.5 (194.67 seconds) Cbc0010I After 311000 nodes, 46082 on tree, 15 best solution, best possible 14.5 (195.21 seconds) Cbc0010I After 312000 nodes, 46142 on tree, 15 best solution, best possible 14.5 (195.71 seconds) Cbc0010I After 313000 nodes, 45784 on tree, 15 best solution, best possible 14.5 (196.12 seconds) Cbc0010I After 314000 nodes, 46021 on tree, 15 best solution, best possible 14.5 (196.70 seconds) Cbc0010I After 315000 nodes, 46081 on tree, 15 best solution, best possible 14.5 (197.21 seconds) Cbc0010I After 316000 nodes, 46146 on tree, 15 best solution, best possible 14.5 (197.71 seconds) Cbc0010I After 317000 nodes, 45887 on tree, 15 best solution, best possible 14.5 (198.11 seconds) Cbc0010I After 318000 nodes, 46073 on tree, 15 best solution, best possible 14.5043 (198.71 seconds) Cbc0010I After 319000 nodes, 46122 on tree, 15 best solution, best possible 14.5043 (199.20 seconds) Cbc0010I After 320000 nodes, 46202 on tree, 15 best solution, best possible 14.5043 (199.70 seconds) Cbc0010I After 321000 nodes, 46061 on tree, 15 best solution, best possible 14.5043 (200.05 seconds) Cbc0010I After 322000 nodes, 46217 on tree, 15 best solution, best possible 14.5135 (200.64 seconds) Cbc0010I After 323000 nodes, 46268 on tree, 15 best solution, best possible 14.5135 (201.16 seconds) Cbc0010I After 324000 nodes, 46338 on tree, 15 best solution, best possible 14.5135 (201.65 seconds) Cbc0010I After 325000 nodes, 46201 on tree, 15 best solution, best possible 14.5135 (202.02 seconds) Cbc0010I After 326000 nodes, 46347 on tree, 15 best solution, best possible 14.5208 (202.62 seconds) Cbc0010I After 327000 nodes, 46408 on tree, 15 best solution, best possible 14.5208 (203.18 seconds) Cbc0010I After 328000 nodes, 46498 on tree, 15 best solution, best possible 14.5208 (203.70 seconds) Cbc0010I After 329000 nodes, 46344 on tree, 15 best solution, best possible 14.5208 (204.02 seconds) Cbc0010I After 330000 nodes, 46476 on tree, 15 best solution, best possible 14.5279 (204.58 seconds) Cbc0010I After 331000 nodes, 46467 on tree, 15 best solution, best possible 14.5279 (205.13 seconds) Cbc0010I After 332000 nodes, 46494 on tree, 15 best solution, best possible 14.5279 (205.54 seconds) Cbc0010I After 333000 nodes, 46386 on tree, 15 best solution, best possible 14.5279 (205.90 seconds) Cbc0010I After 334000 nodes, 46522 on tree, 15 best solution, best possible 14.535 (206.44 seconds) Cbc0010I After 335000 nodes, 46554 on tree, 15 best solution, best possible 14.535 (206.95 seconds) Cbc0010I After 336000 nodes, 46351 on tree, 15 best solution, best possible 14.535 (207.41 seconds) Cbc0010I After 337000 nodes, 46191 on tree, 15 best solution, best possible 14.535 (207.76 seconds) Cbc0010I After 338000 nodes, 46336 on tree, 15 best solution, best possible 14.5417 (208.35 seconds) Cbc0010I After 339000 nodes, 46392 on tree, 15 best solution, best possible 14.5417 (208.87 seconds) Cbc0010I After 340000 nodes, 46431 on tree, 15 best solution, best possible 14.5417 (209.38 seconds) Cbc0010I After 341000 nodes, 46212 on tree, 15 best solution, best possible 14.5417 (209.75 seconds) Cbc0010I After 342000 nodes, 46382 on tree, 15 best solution, best possible 14.5483 (210.30 seconds) Cbc0010I After 343000 nodes, 46431 on tree, 15 best solution, best possible 14.5483 (210.75 seconds) Cbc0010I After 344000 nodes, 46497 on tree, 15 best solution, best possible 14.5483 (211.25 seconds) Cbc0010I After 345000 nodes, 46202 on tree, 15 best solution, best possible 14.5483 (211.61 seconds) Cbc0010I After 346000 nodes, 46331 on tree, 15 best solution, best possible 14.5556 (212.17 seconds) Cbc0010I After 347000 nodes, 46368 on tree, 15 best solution, best possible 14.5556 (212.63 seconds) Cbc0010I After 348000 nodes, 46381 on tree, 15 best solution, best possible 14.5556 (213.07 seconds) Cbc0010I After 349000 nodes, 46289 on tree, 15 best solution, best possible 14.5556 (213.46 seconds) Cbc0010I After 350000 nodes, 46436 on tree, 15 best solution, best possible 14.5625 (214.02 seconds) Cbc0010I After 351000 nodes, 46455 on tree, 15 best solution, best possible 14.5625 (214.54 seconds) Cbc0010I After 352000 nodes, 46472 on tree, 15 best solution, best possible 14.5625 (215.03 seconds) Cbc0010I After 353000 nodes, 46345 on tree, 15 best solution, best possible 14.5625 (215.36 seconds) Cbc0010I After 354000 nodes, 46435 on tree, 15 best solution, best possible 14.5693 (215.95 seconds) Cbc0010I After 355000 nodes, 46474 on tree, 15 best solution, best possible 14.5693 (216.41 seconds) Cbc0010I After 356000 nodes, 46511 on tree, 15 best solution, best possible 14.5693 (216.89 seconds) Cbc0010I After 357000 nodes, 46399 on tree, 15 best solution, best possible 14.5693 (217.22 seconds) Cbc0010I After 358000 nodes, 46486 on tree, 15 best solution, best possible 14.5749 (217.78 seconds) Cbc0010I After 359000 nodes, 46487 on tree, 15 best solution, best possible 14.5749 (218.23 seconds) Cbc0010I After 360000 nodes, 46504 on tree, 15 best solution, best possible 14.5749 (218.71 seconds) Cbc0010I After 361000 nodes, 46412 on tree, 15 best solution, best possible 14.5749 (219.04 seconds) Cbc0010I After 362000 nodes, 46530 on tree, 15 best solution, best possible 14.5828 (219.59 seconds) Cbc0010I After 363000 nodes, 46536 on tree, 15 best solution, best possible 14.5828 (220.05 seconds) Cbc0010I After 364000 nodes, 46548 on tree, 15 best solution, best possible 14.5829 (220.44 seconds) Cbc0010I After 365000 nodes, 46353 on tree, 15 best solution, best possible 14.5829 (220.79 seconds) Cbc0010I After 366000 nodes, 46516 on tree, 15 best solution, best possible 14.5833 (221.35 seconds) Cbc0010I After 367000 nodes, 46496 on tree, 15 best solution, best possible 14.5833 (221.86 seconds) Cbc0010I After 368000 nodes, 46575 on tree, 15 best solution, best possible 14.5833 (222.37 seconds) Cbc0010I After 369000 nodes, 46389 on tree, 15 best solution, best possible 14.5833 (222.72 seconds) Cbc0010I After 370000 nodes, 46423 on tree, 15 best solution, best possible 14.5882 (223.31 seconds) Cbc0010I After 371000 nodes, 46538 on tree, 15 best solution, best possible 14.5882 (223.77 seconds) Cbc0010I After 372000 nodes, 46434 on tree, 15 best solution, best possible 14.5882 (224.21 seconds) Cbc0010I After 373000 nodes, 46151 on tree, 15 best solution, best possible 14.5882 (224.53 seconds) Cbc0010I After 374000 nodes, 46278 on tree, 15 best solution, best possible 14.5937 (225.05 seconds) Cbc0010I After 375000 nodes, 46310 on tree, 15 best solution, best possible 14.5937 (225.52 seconds) Cbc0010I After 376000 nodes, 46289 on tree, 15 best solution, best possible 14.5937 (225.91 seconds) Cbc0010I After 377000 nodes, 46146 on tree, 15 best solution, best possible 14.5937 (226.26 seconds) Cbc0010I After 378000 nodes, 46292 on tree, 15 best solution, best possible 14.6 (226.79 seconds) Cbc0010I After 379000 nodes, 46249 on tree, 15 best solution, best possible 14.6 (227.26 seconds) Cbc0010I After 380000 nodes, 46064 on tree, 15 best solution, best possible 14.6 (227.71 seconds) Cbc0010I After 381000 nodes, 45952 on tree, 15 best solution, best possible 14.6 (228.07 seconds) Cbc0010I After 382000 nodes, 46073 on tree, 15 best solution, best possible 14.6 (228.59 seconds) Cbc0010I After 383000 nodes, 46153 on tree, 15 best solution, best possible 14.6 (229.04 seconds) Cbc0010I After 384000 nodes, 46214 on tree, 15 best solution, best possible 14.6 (229.49 seconds) Cbc0010I After 385000 nodes, 46178 on tree, 15 best solution, best possible 14.6 (229.83 seconds) Cbc0010I After 386000 nodes, 46206 on tree, 15 best solution, best possible 14.6044 (230.33 seconds) Cbc0010I After 387000 nodes, 46230 on tree, 15 best solution, best possible 14.6044 (230.79 seconds) Cbc0010I After 388000 nodes, 46619 on tree, 15 best solution, best possible 14.6044 (231.29 seconds) Cbc0010I After 389000 nodes, 46439 on tree, 15 best solution, best possible 14.6044 (231.68 seconds) Cbc0010I After 390000 nodes, 46566 on tree, 15 best solution, best possible 14.6111 (232.23 seconds) Cbc0010I After 391000 nodes, 46739 on tree, 15 best solution, best possible 14.6111 (232.70 seconds) Cbc0010I After 392000 nodes, 46856 on tree, 15 best solution, best possible 14.6111 (233.16 seconds) Cbc0010I After 393000 nodes, 46767 on tree, 15 best solution, best possible 14.6111 (233.49 seconds) Cbc0010I After 394000 nodes, 46857 on tree, 15 best solution, best possible 14.6179 (234.06 seconds) Cbc0010I After 395000 nodes, 46661 on tree, 15 best solution, best possible 14.6179 (234.53 seconds) Cbc0010I After 396000 nodes, 46123 on tree, 15 best solution, best possible 14.6179 (234.97 seconds) Cbc0010I After 397000 nodes, 46123 on tree, 15 best solution, best possible 14.6179 (235.30 seconds) Cbc0010I After 398000 nodes, 46285 on tree, 15 best solution, best possible 14.625 (235.84 seconds) Cbc0010I After 399000 nodes, 46061 on tree, 15 best solution, best possible 14.625 (236.29 seconds) Cbc0010I After 400000 nodes, 45944 on tree, 15 best solution, best possible 14.625 (236.76 seconds) Cbc0010I After 401000 nodes, 45735 on tree, 15 best solution, best possible 14.625 (237.11 seconds) Cbc0010I After 402000 nodes, 45855 on tree, 15 best solution, best possible 14.625 (237.61 seconds) Cbc0010I After 403000 nodes, 45779 on tree, 15 best solution, best possible 14.625 (238.07 seconds) Cbc0010I After 404000 nodes, 45789 on tree, 15 best solution, best possible 14.625 (238.49 seconds) Cbc0010I After 405000 nodes, 45573 on tree, 15 best solution, best possible 14.625 (238.87 seconds) Cbc0010I After 406000 nodes, 45543 on tree, 15 best solution, best possible 14.6293 (239.40 seconds) Cbc0010I After 407000 nodes, 45517 on tree, 15 best solution, best possible 14.6293 (239.85 seconds) Cbc0010I After 408000 nodes, 45523 on tree, 15 best solution, best possible 14.6293 (240.28 seconds) Cbc0010I After 409000 nodes, 45340 on tree, 15 best solution, best possible 14.6293 (240.61 seconds) Cbc0010I After 410000 nodes, 45443 on tree, 15 best solution, best possible 14.6365 (241.16 seconds) Cbc0010I After 411000 nodes, 45427 on tree, 15 best solution, best possible 14.6365 (241.63 seconds) Cbc0010I After 412000 nodes, 45414 on tree, 15 best solution, best possible 14.6365 (242.07 seconds) Cbc0010I After 413000 nodes, 45206 on tree, 15 best solution, best possible 14.6365 (242.41 seconds) Cbc0010I After 414000 nodes, 45306 on tree, 15 best solution, best possible 14.6429 (242.89 seconds) Cbc0010I After 415000 nodes, 45269 on tree, 15 best solution, best possible 14.6429 (243.34 seconds) Cbc0010I After 416000 nodes, 45255 on tree, 15 best solution, best possible 14.6429 (243.80 seconds) Cbc0010I After 417000 nodes, 44994 on tree, 15 best solution, best possible 14.6429 (244.09 seconds) Cbc0010I After 418000 nodes, 45090 on tree, 15 best solution, best possible 14.6516 (244.62 seconds) Cbc0010I After 419000 nodes, 45050 on tree, 15 best solution, best possible 14.6516 (245.06 seconds) Cbc0010I After 420000 nodes, 45079 on tree, 15 best solution, best possible 14.6516 (245.48 seconds) Cbc0010I After 421000 nodes, 44921 on tree, 15 best solution, best possible 14.6516 (245.82 seconds) Cbc0010I After 422000 nodes, 45041 on tree, 15 best solution, best possible 14.66 (246.36 seconds) Cbc0010I After 423000 nodes, 45043 on tree, 15 best solution, best possible 14.66 (246.78 seconds) Cbc0010I After 424000 nodes, 44991 on tree, 15 best solution, best possible 14.66 (247.22 seconds) Cbc0010I After 425000 nodes, 44731 on tree, 15 best solution, best possible 14.66 (247.54 seconds) Cbc0010I After 426000 nodes, 44811 on tree, 15 best solution, best possible 14.6667 (248.02 seconds) Cbc0010I After 427000 nodes, 44791 on tree, 15 best solution, best possible 14.6667 (248.42 seconds) Cbc0010I After 428000 nodes, 44780 on tree, 15 best solution, best possible 14.6667 (248.84 seconds) Cbc0010I After 429000 nodes, 44452 on tree, 15 best solution, best possible 14.6667 (249.18 seconds) Cbc0010I After 430000 nodes, 44501 on tree, 15 best solution, best possible 14.6667 (249.64 seconds) Cbc0010I After 431000 nodes, 44415 on tree, 15 best solution, best possible 14.6667 (250.09 seconds) Cbc0010I After 432000 nodes, 44270 on tree, 15 best solution, best possible 14.6667 (250.56 seconds) Cbc0010I After 433000 nodes, 44187 on tree, 15 best solution, best possible 14.6667 (250.91 seconds) Cbc0010I After 434000 nodes, 44042 on tree, 15 best solution, best possible 14.6667 (251.34 seconds) Cbc0010I After 435000 nodes, 44048 on tree, 15 best solution, best possible 14.6667 (251.82 seconds) Cbc0010I After 436000 nodes, 44216 on tree, 15 best solution, best possible 14.6667 (252.38 seconds) Cbc0010I After 437000 nodes, 44125 on tree, 15 best solution, best possible 14.6667 (252.73 seconds) Cbc0010I After 438000 nodes, 43969 on tree, 15 best solution, best possible 14.6684 (253.18 seconds) Cbc0010I After 439000 nodes, 44023 on tree, 15 best solution, best possible 14.6684 (253.62 seconds) Cbc0010I After 440000 nodes, 44037 on tree, 15 best solution, best possible 14.6684 (254.03 seconds) Cbc0010I After 441000 nodes, 43929 on tree, 15 best solution, best possible 14.6684 (254.36 seconds) Cbc0010I After 442000 nodes, 44015 on tree, 15 best solution, best possible 14.6765 (254.85 seconds) Cbc0010I After 443000 nodes, 43980 on tree, 15 best solution, best possible 14.6765 (255.28 seconds) Cbc0010I After 444000 nodes, 43964 on tree, 15 best solution, best possible 14.6765 (255.74 seconds) Cbc0010I After 445000 nodes, 43860 on tree, 15 best solution, best possible 14.6765 (256.10 seconds) Cbc0010I After 446000 nodes, 43926 on tree, 15 best solution, best possible 14.6818 (256.60 seconds) Cbc0010I After 447000 nodes, 44019 on tree, 15 best solution, best possible 14.6818 (257.03 seconds) Cbc0010I After 448000 nodes, 43952 on tree, 15 best solution, best possible 14.6818 (257.44 seconds) Cbc0010I After 449000 nodes, 43846 on tree, 15 best solution, best possible 14.6818 (257.78 seconds) Cbc0010I After 450000 nodes, 43898 on tree, 15 best solution, best possible 14.6875 (258.29 seconds) Cbc0010I After 451000 nodes, 43921 on tree, 15 best solution, best possible 14.6875 (258.76 seconds) Cbc0010I After 452000 nodes, 44199 on tree, 15 best solution, best possible 14.6875 (259.21 seconds) Cbc0010I After 453000 nodes, 44044 on tree, 15 best solution, best possible 14.6875 (259.54 seconds) Cbc0010I After 454000 nodes, 44082 on tree, 15 best solution, best possible 14.6923 (260.01 seconds) Cbc0010I After 455000 nodes, 44199 on tree, 15 best solution, best possible 14.6923 (260.49 seconds) Cbc0010I After 456000 nodes, 44414 on tree, 15 best solution, best possible 14.6923 (260.96 seconds) Cbc0010I After 457000 nodes, 44048 on tree, 15 best solution, best possible 14.6923 (261.28 seconds) Cbc0010I After 458000 nodes, 44112 on tree, 15 best solution, best possible 14.6987 (261.78 seconds) Cbc0010I After 459000 nodes, 44230 on tree, 15 best solution, best possible 14.6987 (262.21 seconds) Cbc0010I After 460000 nodes, 44475 on tree, 15 best solution, best possible 14.6987 (262.68 seconds) Cbc0010I After 461000 nodes, 44080 on tree, 15 best solution, best possible 14.6987 (263.01 seconds) Cbc0010I After 462000 nodes, 44084 on tree, 15 best solution, best possible 14.7 (263.49 seconds) Cbc0010I After 463000 nodes, 44218 on tree, 15 best solution, best possible 14.7 (263.93 seconds) Cbc0010I After 464000 nodes, 44445 on tree, 15 best solution, best possible 14.7 (264.38 seconds) Cbc0010I After 465000 nodes, 44099 on tree, 15 best solution, best possible 14.7 (264.74 seconds) Cbc0010I After 466000 nodes, 44139 on tree, 15 best solution, best possible 14.7059 (265.24 seconds) Cbc0010I After 467000 nodes, 44315 on tree, 15 best solution, best possible 14.7059 (265.66 seconds) Cbc0010I After 468000 nodes, 44555 on tree, 15 best solution, best possible 14.7059 (266.12 seconds) Cbc0010I After 469000 nodes, 44269 on tree, 15 best solution, best possible 14.7059 (266.46 seconds) Cbc0010I After 470000 nodes, 44330 on tree, 15 best solution, best possible 14.712 (266.97 seconds) Cbc0010I After 471000 nodes, 44511 on tree, 15 best solution, best possible 14.712 (267.41 seconds) Cbc0010I After 472000 nodes, 44512 on tree, 15 best solution, best possible 14.712 (267.90 seconds) Cbc0010I After 473000 nodes, 44367 on tree, 15 best solution, best possible 14.712 (268.33 seconds) Cbc0010I After 474000 nodes, 44390 on tree, 15 best solution, best possible 14.7143 (268.79 seconds) Cbc0010I After 475000 nodes, 44188 on tree, 15 best solution, best possible 14.7143 (269.28 seconds) Cbc0010I After 476000 nodes, 43867 on tree, 15 best solution, best possible 14.7143 (269.77 seconds) Cbc0010I After 477000 nodes, 43739 on tree, 15 best solution, best possible 14.7143 (270.19 seconds) Cbc0010I After 478000 nodes, 43755 on tree, 15 best solution, best possible 14.7185 (270.69 seconds) Cbc0010I After 479000 nodes, 43451 on tree, 15 best solution, best possible 14.7185 (271.17 seconds) Cbc0010I After 480000 nodes, 43105 on tree, 15 best solution, best possible 14.7185 (271.63 seconds) Cbc0010I After 481000 nodes, 42640 on tree, 15 best solution, best possible 14.7185 (272.06 seconds) Cbc0010I After 482000 nodes, 42734 on tree, 15 best solution, best possible 14.7222 (272.54 seconds) Cbc0010I After 483000 nodes, 42433 on tree, 15 best solution, best possible 14.7222 (272.98 seconds) Cbc0010I After 484000 nodes, 42044 on tree, 15 best solution, best possible 14.7222 (273.38 seconds) Cbc0010I After 485000 nodes, 41456 on tree, 15 best solution, best possible 14.7222 (273.73 seconds) Cbc0010I After 486000 nodes, 41482 on tree, 15 best solution, best possible 14.7273 (274.20 seconds) Cbc0010I After 487000 nodes, 41127 on tree, 15 best solution, best possible 14.7273 (274.60 seconds) Cbc0010I After 488000 nodes, 40766 on tree, 15 best solution, best possible 14.7273 (275.06 seconds) Cbc0010I After 489000 nodes, 40326 on tree, 15 best solution, best possible 14.7273 (275.46 seconds) Cbc0010I After 490000 nodes, 40366 on tree, 15 best solution, best possible 14.7308 (275.96 seconds) Cbc0010I After 491000 nodes, 40020 on tree, 15 best solution, best possible 14.7308 (276.37 seconds) Cbc0010I After 492000 nodes, 39844 on tree, 15 best solution, best possible 14.7308 (276.87 seconds) Cbc0010I After 493000 nodes, 39660 on tree, 15 best solution, best possible 14.7308 (277.23 seconds) Cbc0010I After 494000 nodes, 39733 on tree, 15 best solution, best possible 14.7357 (277.75 seconds) Cbc0010I After 495000 nodes, 39544 on tree, 15 best solution, best possible 14.7357 (278.21 seconds) Cbc0010I After 496000 nodes, 39357 on tree, 15 best solution, best possible 14.7357 (278.71 seconds) Cbc0010I After 497000 nodes, 39186 on tree, 15 best solution, best possible 14.7357 (279.10 seconds) Cbc0010I After 498000 nodes, 39224 on tree, 15 best solution, best possible 14.7412 (279.60 seconds) Cbc0010I After 499000 nodes, 39344 on tree, 15 best solution, best possible 14.7412 (280.03 seconds) Cbc0010I After 500000 nodes, 39259 on tree, 15 best solution, best possible 14.7412 (280.51 seconds) Cbc0010I After 501000 nodes, 39094 on tree, 15 best solution, best possible 14.7412 (280.89 seconds) Cbc0010I After 502000 nodes, 39166 on tree, 15 best solution, best possible 14.7476 (281.36 seconds) Cbc0010I After 503000 nodes, 38944 on tree, 15 best solution, best possible 14.7476 (281.85 seconds) Cbc0010I After 504000 nodes, 38976 on tree, 15 best solution, best possible 14.7476 (282.32 seconds) Cbc0010I After 505000 nodes, 38802 on tree, 15 best solution, best possible 14.7476 (282.71 seconds) Cbc0010I After 506000 nodes, 38974 on tree, 15 best solution, best possible 14.75 (283.25 seconds) Cbc0010I After 507000 nodes, 38924 on tree, 15 best solution, best possible 14.75 (283.73 seconds) Cbc0010I After 508000 nodes, 38888 on tree, 15 best solution, best possible 14.75 (284.22 seconds) Cbc0010I After 509000 nodes, 38696 on tree, 15 best solution, best possible 14.75 (284.61 seconds) Cbc0010I After 510000 nodes, 38878 on tree, 15 best solution, best possible 14.75 (285.16 seconds) Cbc0010I After 511000 nodes, 38846 on tree, 15 best solution, best possible 14.75 (285.63 seconds) Cbc0010I After 512000 nodes, 38794 on tree, 15 best solution, best possible 14.75 (286.07 seconds) Cbc0010I After 513000 nodes, 38399 on tree, 15 best solution, best possible 14.75 (286.42 seconds) Cbc0010I After 514000 nodes, 38642 on tree, 15 best solution, best possible 14.75 (287.05 seconds) Cbc0010I After 515000 nodes, 38615 on tree, 15 best solution, best possible 14.75 (287.53 seconds) Cbc0010I After 516000 nodes, 38548 on tree, 15 best solution, best possible 14.75 (287.97 seconds) Cbc0010I After 517000 nodes, 38158 on tree, 15 best solution, best possible 14.75 (288.32 seconds) Cbc0010I After 518000 nodes, 38411 on tree, 15 best solution, best possible 14.75 (288.96 seconds) Cbc0010I After 519000 nodes, 38387 on tree, 15 best solution, best possible 14.75 (289.49 seconds) Cbc0010I After 520000 nodes, 38463 on tree, 15 best solution, best possible 14.75 (289.94 seconds) Cbc0010I After 521000 nodes, 38114 on tree, 15 best solution, best possible 14.75 (290.29 seconds) Cbc0010I After 522000 nodes, 38249 on tree, 15 best solution, best possible 14.75 (290.81 seconds) Cbc0010I After 523000 nodes, 38232 on tree, 15 best solution, best possible 14.75 (291.26 seconds) Cbc0010I After 524000 nodes, 38231 on tree, 15 best solution, best possible 14.75 (291.75 seconds) Cbc0010I After 525000 nodes, 38129 on tree, 15 best solution, best possible 14.75 (292.11 seconds) Cbc0010I After 526000 nodes, 38164 on tree, 15 best solution, best possible 14.75 (292.59 seconds) Cbc0010I After 527000 nodes, 38186 on tree, 15 best solution, best possible 14.75 (293.07 seconds) Cbc0010I After 528000 nodes, 38256 on tree, 15 best solution, best possible 14.75 (293.54 seconds) Cbc0010I After 529000 nodes, 38191 on tree, 15 best solution, best possible 14.75 (293.87 seconds) Cbc0010I After 530000 nodes, 38265 on tree, 15 best solution, best possible 14.75 (294.39 seconds) Cbc0010I After 531000 nodes, 38282 on tree, 15 best solution, best possible 14.75 (294.85 seconds) Cbc0010I After 532000 nodes, 38097 on tree, 15 best solution, best possible 14.75 (295.31 seconds) Cbc0010I After 533000 nodes, 37702 on tree, 15 best solution, best possible 14.75 (295.68 seconds) Cbc0010I After 534000 nodes, 38008 on tree, 15 best solution, best possible 14.75 (296.21 seconds) Cbc0010I After 535000 nodes, 38031 on tree, 15 best solution, best possible 14.75 (296.69 seconds) Cbc0010I After 536000 nodes, 38263 on tree, 15 best solution, best possible 14.75 (297.23 seconds) Cbc0010I After 537000 nodes, 37967 on tree, 15 best solution, best possible 14.75 (297.56 seconds) Cbc0010I After 538000 nodes, 38004 on tree, 15 best solution, best possible 14.75 (298.06 seconds) Cbc0010I After 539000 nodes, 38027 on tree, 15 best solution, best possible 14.75 (298.57 seconds) Cbc0010I After 540000 nodes, 38217 on tree, 15 best solution, best possible 14.75 (299.06 seconds) Cbc0010I After 541000 nodes, 38202 on tree, 15 best solution, best possible 14.75 (299.37 seconds) Cbc0010I After 542000 nodes, 38251 on tree, 15 best solution, best possible 14.75 (299.93 seconds) Cbc0010I After 543000 nodes, 38286 on tree, 15 best solution, best possible 14.75 (300.41 seconds) Cbc0010I After 544000 nodes, 38493 on tree, 15 best solution, best possible 14.75 (300.86 seconds) Cbc0010I After 545000 nodes, 38454 on tree, 15 best solution, best possible 14.75 (301.21 seconds) Cbc0010I After 546000 nodes, 39149 on tree, 15 best solution, best possible 14.75 (301.73 seconds) Cbc0010I After 547000 nodes, 39217 on tree, 15 best solution, best possible 14.75 (302.16 seconds) Cbc0010I After 548000 nodes, 39417 on tree, 15 best solution, best possible 14.75 (302.65 seconds) Cbc0010I After 549000 nodes, 39076 on tree, 15 best solution, best possible 14.75 (303.00 seconds) Cbc0010I After 550000 nodes, 39688 on tree, 15 best solution, best possible 14.75 (303.48 seconds) Cbc0010I After 551000 nodes, 39693 on tree, 15 best solution, best possible 14.75 (303.95 seconds) Cbc0010I After 552000 nodes, 39861 on tree, 15 best solution, best possible 14.75 (304.41 seconds) Cbc0010I After 553000 nodes, 39513 on tree, 15 best solution, best possible 14.75 (304.77 seconds) Cbc0010I After 554000 nodes, 40048 on tree, 15 best solution, best possible 14.75 (305.24 seconds) Cbc0010I After 555000 nodes, 40087 on tree, 15 best solution, best possible 14.75 (305.73 seconds) Cbc0010I After 556000 nodes, 40271 on tree, 15 best solution, best possible 14.75 (306.21 seconds) Cbc0010I After 557000 nodes, 40240 on tree, 15 best solution, best possible 14.75 (306.58 seconds) Cbc0010I After 558000 nodes, 40779 on tree, 15 best solution, best possible 14.75 (307.06 seconds) Cbc0010I After 559000 nodes, 40813 on tree, 15 best solution, best possible 14.75 (307.53 seconds) Cbc0010I After 560000 nodes, 41023 on tree, 15 best solution, best possible 14.75 (308.00 seconds) Cbc0010I After 561000 nodes, 40976 on tree, 15 best solution, best possible 14.75 (308.38 seconds) Cbc0010I After 562000 nodes, 41502 on tree, 15 best solution, best possible 14.75 (308.88 seconds) Cbc0010I After 563000 nodes, 41499 on tree, 15 best solution, best possible 14.75 (309.32 seconds) Cbc0010I After 564000 nodes, 41709 on tree, 15 best solution, best possible 14.75 (309.82 seconds) Cbc0010I After 565000 nodes, 41655 on tree, 15 best solution, best possible 14.75 (310.19 seconds) Cbc0010I After 566000 nodes, 42187 on tree, 15 best solution, best possible 14.75 (310.67 seconds) Cbc0010I After 567000 nodes, 42192 on tree, 15 best solution, best possible 14.75 (311.15 seconds) Cbc0010I After 568000 nodes, 42368 on tree, 15 best solution, best possible 14.75 (311.66 seconds) Cbc0010I After 569000 nodes, 42334 on tree, 15 best solution, best possible 14.75 (312.00 seconds) Cbc0010I After 570000 nodes, 42898 on tree, 15 best solution, best possible 14.75 (312.52 seconds) Cbc0010I After 571000 nodes, 42853 on tree, 15 best solution, best possible 14.75 (313.02 seconds) Cbc0010I After 572000 nodes, 42719 on tree, 15 best solution, best possible 14.75 (313.58 seconds) Cbc0010I After 573000 nodes, 42707 on tree, 15 best solution, best possible 14.75 (313.90 seconds) Cbc0010I After 574000 nodes, 42832 on tree, 15 best solution, best possible 14.75 (314.46 seconds) Cbc0010I After 575000 nodes, 42744 on tree, 15 best solution, best possible 14.75 (314.94 seconds) Cbc0010I After 576000 nodes, 42618 on tree, 15 best solution, best possible 14.75 (315.40 seconds) Cbc0010I After 577000 nodes, 42592 on tree, 15 best solution, best possible 14.75 (315.78 seconds) Cbc0010I After 578000 nodes, 42536 on tree, 15 best solution, best possible 14.75 (316.34 seconds) Cbc0010I After 579000 nodes, 42557 on tree, 15 best solution, best possible 14.75 (316.85 seconds) Cbc0010I After 580000 nodes, 42383 on tree, 15 best solution, best possible 14.75 (317.32 seconds) Cbc0010I After 581000 nodes, 42327 on tree, 15 best solution, best possible 14.75 (317.69 seconds) Cbc0010I After 582000 nodes, 42168 on tree, 15 best solution, best possible 14.75 (318.21 seconds) Cbc0010I After 583000 nodes, 42037 on tree, 15 best solution, best possible 14.75 (318.71 seconds) Cbc0010I After 584000 nodes, 41826 on tree, 15 best solution, best possible 14.75 (319.15 seconds) Cbc0010I After 585000 nodes, 41575 on tree, 15 best solution, best possible 14.75 (319.53 seconds) Cbc0010I After 586000 nodes, 41376 on tree, 15 best solution, best possible 14.75 (320.05 seconds) Cbc0010I After 587000 nodes, 41179 on tree, 15 best solution, best possible 14.75 (320.50 seconds) Cbc0010I After 588000 nodes, 40891 on tree, 15 best solution, best possible 14.75 (320.94 seconds) Cbc0010I After 589000 nodes, 40617 on tree, 15 best solution, best possible 14.75 (321.29 seconds) Cbc0010I After 590000 nodes, 40329 on tree, 15 best solution, best possible 14.75 (321.78 seconds) Cbc0010I After 591000 nodes, 40173 on tree, 15 best solution, best possible 14.75 (322.24 seconds) Cbc0010I After 592000 nodes, 39914 on tree, 15 best solution, best possible 14.75 (322.71 seconds) Cbc0010I After 593000 nodes, 39542 on tree, 15 best solution, best possible 14.75 (323.07 seconds) Cbc0010I After 594000 nodes, 39193 on tree, 15 best solution, best possible 14.75 (323.57 seconds) Cbc0010I After 595000 nodes, 38997 on tree, 15 best solution, best possible 14.75 (324.05 seconds) Cbc0010I After 596000 nodes, 38743 on tree, 15 best solution, best possible 14.75 (324.50 seconds) Cbc0010I After 597000 nodes, 38391 on tree, 15 best solution, best possible 14.75 (324.87 seconds) Cbc0010I After 598000 nodes, 37961 on tree, 15 best solution, best possible 14.75 (325.34 seconds) Cbc0010I After 599000 nodes, 37827 on tree, 15 best solution, best possible 14.75 (325.83 seconds) Cbc0010I After 600000 nodes, 37471 on tree, 15 best solution, best possible 14.75 (326.35 seconds) Cbc0010I After 601000 nodes, 37182 on tree, 15 best solution, best possible 14.75 (326.69 seconds) Cbc0010I After 602000 nodes, 36761 on tree, 15 best solution, best possible 14.75 (327.18 seconds) Cbc0010I After 603000 nodes, 36711 on tree, 15 best solution, best possible 14.75 (327.67 seconds) Cbc0010I After 604000 nodes, 36553 on tree, 15 best solution, best possible 14.75 (328.22 seconds) Cbc0010I After 605000 nodes, 36456 on tree, 15 best solution, best possible 14.75 (328.70 seconds) Cbc0010I After 606000 nodes, 35975 on tree, 15 best solution, best possible 14.75 (329.16 seconds) Cbc0010I After 607000 nodes, 35941 on tree, 15 best solution, best possible 14.75 (329.68 seconds) Cbc0010I After 608000 nodes, 35872 on tree, 15 best solution, best possible 14.75 (330.15 seconds) Cbc0010I After 609000 nodes, 35337 on tree, 15 best solution, best possible 14.75 (330.57 seconds) Cbc0010I After 610000 nodes, 34893 on tree, 15 best solution, best possible 14.75 (331.04 seconds) Cbc0010I After 611000 nodes, 34746 on tree, 15 best solution, best possible 14.75 (331.52 seconds) Cbc0010I After 612000 nodes, 34610 on tree, 15 best solution, best possible 14.75 (332.03 seconds) Cbc0010I After 613000 nodes, 34468 on tree, 15 best solution, best possible 14.75 (332.42 seconds) Cbc0010I After 614000 nodes, 34115 on tree, 15 best solution, best possible 14.75 (332.98 seconds) Cbc0010I After 615000 nodes, 34009 on tree, 15 best solution, best possible 14.75 (333.50 seconds) Cbc0010I After 616000 nodes, 33826 on tree, 15 best solution, best possible 14.75 (334.01 seconds) Cbc0010I After 617000 nodes, 33448 on tree, 15 best solution, best possible 14.75 (334.39 seconds) Cbc0010I After 618000 nodes, 33300 on tree, 15 best solution, best possible 14.75 (334.96 seconds) Cbc0010I After 619000 nodes, 33308 on tree, 15 best solution, best possible 14.75 (335.48 seconds) Cbc0010I After 620000 nodes, 33118 on tree, 15 best solution, best possible 14.75 (335.96 seconds) Cbc0010I After 621000 nodes, 33072 on tree, 15 best solution, best possible 14.75 (336.33 seconds) Cbc0010I After 622000 nodes, 33110 on tree, 15 best solution, best possible 14.75 (336.91 seconds) Cbc0010I After 623000 nodes, 32968 on tree, 15 best solution, best possible 14.75 (337.46 seconds) Cbc0010I After 624000 nodes, 32695 on tree, 15 best solution, best possible 14.75 (337.97 seconds) Cbc0010I After 625000 nodes, 32345 on tree, 15 best solution, best possible 14.75 (338.35 seconds) Cbc0010I After 626000 nodes, 32247 on tree, 15 best solution, best possible 14.75 (338.87 seconds) Cbc0010I After 627000 nodes, 32222 on tree, 15 best solution, best possible 14.75 (339.39 seconds) Cbc0010I After 628000 nodes, 32109 on tree, 15 best solution, best possible 14.75 (339.91 seconds) Cbc0010I After 629000 nodes, 32085 on tree, 15 best solution, best possible 14.75 (340.30 seconds) Cbc0010I After 630000 nodes, 31994 on tree, 15 best solution, best possible 14.75 (340.84 seconds) Cbc0010I After 631000 nodes, 31871 on tree, 15 best solution, best possible 14.75 (341.34 seconds) Cbc0010I After 632000 nodes, 31699 on tree, 15 best solution, best possible 14.75 (341.90 seconds) Cbc0010I After 633000 nodes, 31381 on tree, 15 best solution, best possible 14.75 (342.27 seconds) Cbc0010I After 634000 nodes, 31240 on tree, 15 best solution, best possible 14.75 (342.85 seconds) Cbc0010I After 635000 nodes, 31218 on tree, 15 best solution, best possible 14.75 (343.36 seconds) Cbc0010I After 636000 nodes, 31410 on tree, 15 best solution, best possible 14.75 (343.82 seconds) Cbc0010I After 637000 nodes, 31382 on tree, 15 best solution, best possible 14.75 (344.21 seconds) Cbc0010I After 638000 nodes, 31323 on tree, 15 best solution, best possible 14.75 (344.78 seconds) Cbc0010I After 639000 nodes, 31364 on tree, 15 best solution, best possible 14.75 (345.32 seconds) Cbc0010I After 640000 nodes, 31495 on tree, 15 best solution, best possible 14.75 (345.85 seconds) Cbc0010I After 641000 nodes, 31490 on tree, 15 best solution, best possible 14.75 (346.19 seconds) Cbc0010I After 642000 nodes, 31209 on tree, 15 best solution, best possible 14.75 (346.75 seconds) Cbc0010I After 643000 nodes, 31214 on tree, 15 best solution, best possible 14.75 (347.27 seconds) Cbc0010I After 644000 nodes, 31154 on tree, 15 best solution, best possible 14.75 (347.77 seconds) Cbc0010I After 645000 nodes, 31154 on tree, 15 best solution, best possible 14.75 (348.16 seconds) Cbc0010I After 646000 nodes, 30868 on tree, 15 best solution, best possible 14.75 (348.69 seconds) Cbc0010I After 647000 nodes, 30742 on tree, 15 best solution, best possible 14.75 (349.20 seconds) Cbc0010I After 648000 nodes, 30507 on tree, 15 best solution, best possible 14.75 (349.70 seconds) Cbc0010I After 649000 nodes, 30250 on tree, 15 best solution, best possible 14.75 (350.10 seconds) Cbc0010I After 650000 nodes, 30055 on tree, 15 best solution, best possible 14.75 (350.73 seconds) Cbc0010I After 651000 nodes, 29962 on tree, 15 best solution, best possible 14.75 (351.27 seconds) Cbc0010I After 652000 nodes, 29773 on tree, 15 best solution, best possible 14.75 (351.79 seconds) Cbc0010I After 653000 nodes, 29413 on tree, 15 best solution, best possible 14.75 (352.20 seconds) Cbc0010I After 654000 nodes, 29068 on tree, 15 best solution, best possible 14.75 (352.75 seconds) Cbc0010I After 655000 nodes, 29003 on tree, 15 best solution, best possible 14.75 (353.29 seconds) Cbc0010I After 656000 nodes, 29167 on tree, 15 best solution, best possible 14.75 (353.80 seconds) Cbc0010I After 657000 nodes, 28844 on tree, 15 best solution, best possible 14.75 (354.23 seconds) Cbc0010I After 658000 nodes, 28626 on tree, 15 best solution, best possible 14.75 (354.88 seconds) Cbc0010I After 659000 nodes, 28487 on tree, 15 best solution, best possible 14.75 (355.41 seconds) Cbc0010I After 660000 nodes, 28422 on tree, 15 best solution, best possible 14.75 (355.90 seconds) Cbc0010I After 661000 nodes, 28189 on tree, 15 best solution, best possible 14.75 (356.29 seconds) Cbc0010I After 662000 nodes, 28060 on tree, 15 best solution, best possible 14.75 (356.89 seconds) Cbc0010I After 663000 nodes, 28021 on tree, 15 best solution, best possible 14.75 (357.40 seconds) Cbc0010I After 664000 nodes, 27923 on tree, 15 best solution, best possible 14.75 (357.88 seconds) Cbc0010I After 665000 nodes, 27736 on tree, 15 best solution, best possible 14.75 (358.29 seconds) Cbc0010I After 666000 nodes, 28287 on tree, 15 best solution, best possible 14.75 (358.82 seconds) Cbc0010I After 667000 nodes, 28323 on tree, 15 best solution, best possible 14.75 (359.30 seconds) Cbc0010I After 668000 nodes, 28278 on tree, 15 best solution, best possible 14.75 (359.85 seconds) Cbc0010I After 669000 nodes, 28094 on tree, 15 best solution, best possible 14.75 (360.18 seconds) Cbc0010I After 670000 nodes, 28740 on tree, 15 best solution, best possible 14.75 (360.71 seconds) Cbc0010I After 671000 nodes, 28714 on tree, 15 best solution, best possible 14.75 (361.18 seconds) Cbc0010I After 672000 nodes, 28680 on tree, 15 best solution, best possible 14.75 (361.73 seconds) Cbc0010I After 673000 nodes, 28672 on tree, 15 best solution, best possible 14.75 (362.09 seconds) Cbc0010I After 674000 nodes, 28783 on tree, 15 best solution, best possible 14.75 (362.70 seconds) Cbc0010I After 675000 nodes, 28823 on tree, 15 best solution, best possible 14.75 (363.18 seconds) Cbc0010I After 676000 nodes, 28757 on tree, 15 best solution, best possible 14.75 (363.69 seconds) Cbc0010I After 677000 nodes, 28569 on tree, 15 best solution, best possible 14.75 (364.09 seconds) Cbc0010I After 678000 nodes, 28316 on tree, 15 best solution, best possible 14.75 (364.59 seconds) Cbc0010I After 679000 nodes, 28309 on tree, 15 best solution, best possible 14.75 (365.08 seconds) Cbc0010I After 680000 nodes, 28194 on tree, 15 best solution, best possible 14.75 (365.52 seconds) Cbc0010I After 681000 nodes, 27924 on tree, 15 best solution, best possible 14.75 (365.91 seconds) Cbc0010I After 682000 nodes, 27677 on tree, 15 best solution, best possible 14.75 (366.47 seconds) Cbc0010I After 683000 nodes, 27733 on tree, 15 best solution, best possible 14.75 (367.00 seconds) Cbc0010I After 684000 nodes, 27642 on tree, 15 best solution, best possible 14.75 (367.53 seconds) Cbc0010I After 685000 nodes, 27456 on tree, 15 best solution, best possible 14.75 (367.91 seconds) Cbc0010I After 686000 nodes, 27317 on tree, 15 best solution, best possible 14.75 (368.49 seconds) Cbc0010I After 687000 nodes, 27349 on tree, 15 best solution, best possible 14.75 (369.04 seconds) Cbc0010I After 688000 nodes, 27264 on tree, 15 best solution, best possible 14.75 (369.50 seconds) Cbc0010I After 689000 nodes, 27058 on tree, 15 best solution, best possible 14.75 (369.88 seconds) Cbc0010I After 690000 nodes, 27037 on tree, 15 best solution, best possible 14.75 (370.43 seconds) Cbc0010I After 691000 nodes, 27024 on tree, 15 best solution, best possible 14.75 (370.98 seconds) Cbc0010I After 692000 nodes, 26952 on tree, 15 best solution, best possible 14.75 (371.46 seconds) Cbc0010I After 693000 nodes, 26693 on tree, 15 best solution, best possible 14.75 (371.80 seconds) Cbc0010I After 694000 nodes, 26520 on tree, 15 best solution, best possible 14.75 (372.40 seconds) Cbc0010I After 695000 nodes, 26534 on tree, 15 best solution, best possible 14.75 (372.96 seconds) Cbc0010I After 696000 nodes, 26473 on tree, 15 best solution, best possible 14.75 (373.43 seconds) Cbc0010I After 697000 nodes, 26310 on tree, 15 best solution, best possible 14.75 (373.81 seconds) Cbc0010I After 698000 nodes, 26297 on tree, 15 best solution, best possible 14.75 (374.41 seconds) Cbc0010I After 699000 nodes, 26234 on tree, 15 best solution, best possible 14.75 (374.97 seconds) Cbc0010I After 700000 nodes, 26130 on tree, 15 best solution, best possible 14.75 (375.40 seconds) Cbc0010I After 701000 nodes, 26003 on tree, 15 best solution, best possible 14.75 (375.77 seconds) Cbc0010I After 702000 nodes, 26026 on tree, 15 best solution, best possible 14.75 (376.41 seconds) Cbc0010I After 703000 nodes, 25938 on tree, 15 best solution, best possible 14.75 (376.94 seconds) Cbc0010I After 704000 nodes, 25829 on tree, 15 best solution, best possible 14.75 (377.36 seconds) Cbc0010I After 705000 nodes, 25710 on tree, 15 best solution, best possible 14.75 (377.73 seconds) Cbc0010I After 706000 nodes, 25764 on tree, 15 best solution, best possible 14.75 (378.34 seconds) Cbc0010I After 707000 nodes, 25769 on tree, 15 best solution, best possible 14.75 (378.78 seconds) Cbc0010I After 708000 nodes, 25957 on tree, 15 best solution, best possible 14.75 (379.33 seconds) Cbc0010I After 709000 nodes, 25870 on tree, 15 best solution, best possible 14.75 (379.70 seconds) Cbc0010I After 710000 nodes, 25911 on tree, 15 best solution, best possible 14.75 (380.24 seconds) Cbc0010I After 711000 nodes, 25970 on tree, 15 best solution, best possible 14.75 (380.72 seconds) Cbc0010I After 712000 nodes, 25922 on tree, 15 best solution, best possible 14.75 (381.26 seconds) Cbc0010I After 713000 nodes, 25731 on tree, 15 best solution, best possible 14.75 (381.62 seconds) Cbc0010I After 714000 nodes, 25679 on tree, 15 best solution, best possible 14.75 (382.20 seconds) Cbc0010I After 715000 nodes, 25563 on tree, 15 best solution, best possible 14.75 (382.72 seconds) Cbc0010I After 716000 nodes, 25584 on tree, 15 best solution, best possible 14.75 (383.25 seconds) Cbc0010I After 717000 nodes, 25211 on tree, 15 best solution, best possible 14.75 (383.63 seconds) Cbc0010I After 718000 nodes, 25202 on tree, 15 best solution, best possible 14.75 (384.22 seconds) Cbc0010I After 719000 nodes, 25108 on tree, 15 best solution, best possible 14.75 (384.78 seconds) Cbc0010I After 720000 nodes, 25050 on tree, 15 best solution, best possible 14.75 (385.28 seconds) Cbc0010I After 721000 nodes, 24630 on tree, 15 best solution, best possible 14.75 (385.65 seconds) Cbc0010I After 722000 nodes, 24704 on tree, 15 best solution, best possible 14.75 (386.24 seconds) Cbc0010I After 723000 nodes, 24603 on tree, 15 best solution, best possible 14.75 (386.75 seconds) Cbc0010I After 724000 nodes, 24580 on tree, 15 best solution, best possible 14.75 (387.24 seconds) Cbc0010I After 725000 nodes, 24511 on tree, 15 best solution, best possible 14.75 (387.70 seconds) Cbc0010I After 726000 nodes, 24562 on tree, 15 best solution, best possible 14.75 (388.27 seconds) Cbc0010I After 727000 nodes, 24487 on tree, 15 best solution, best possible 14.75 (388.79 seconds) Cbc0010I After 728000 nodes, 24450 on tree, 15 best solution, best possible 14.75 (389.25 seconds) Cbc0010I After 729000 nodes, 23982 on tree, 15 best solution, best possible 14.75 (389.63 seconds) Cbc0010I After 730000 nodes, 24016 on tree, 15 best solution, best possible 14.75 (390.22 seconds) Cbc0010I After 731000 nodes, 23969 on tree, 15 best solution, best possible 14.75 (390.71 seconds) Cbc0010I After 732000 nodes, 23974 on tree, 15 best solution, best possible 14.75 (391.17 seconds) Cbc0010I After 733000 nodes, 23603 on tree, 15 best solution, best possible 14.75 (391.57 seconds) Cbc0010I After 734000 nodes, 23600 on tree, 15 best solution, best possible 14.75 (392.12 seconds) Cbc0010I After 735000 nodes, 23533 on tree, 15 best solution, best possible 14.75 (392.58 seconds) Cbc0010I After 736000 nodes, 23482 on tree, 15 best solution, best possible 14.75 (393.02 seconds) Cbc0010I After 737000 nodes, 23380 on tree, 15 best solution, best possible 14.75 (393.39 seconds) Cbc0010I After 738000 nodes, 23388 on tree, 15 best solution, best possible 14.75 (393.91 seconds) Cbc0010I After 739000 nodes, 23180 on tree, 15 best solution, best possible 14.75 (394.31 seconds) Cbc0010I After 740000 nodes, 23123 on tree, 15 best solution, best possible 14.75 (394.78 seconds) Cbc0010I After 741000 nodes, 22926 on tree, 15 best solution, best possible 14.75 (395.17 seconds) Cbc0010I After 742000 nodes, 22924 on tree, 15 best solution, best possible 14.75 (395.73 seconds) Cbc0010I After 743000 nodes, 22863 on tree, 15 best solution, best possible 14.75 (396.18 seconds) Cbc0010I After 744000 nodes, 22774 on tree, 15 best solution, best possible 14.75 (396.62 seconds) Cbc0010I After 745000 nodes, 22331 on tree, 15 best solution, best possible 14.75 (397.00 seconds) Cbc0010I After 746000 nodes, 22375 on tree, 15 best solution, best possible 14.7589 (397.52 seconds) Cbc0010I After 747000 nodes, 22305 on tree, 15 best solution, best possible 14.7589 (397.98 seconds) Cbc0010I After 748000 nodes, 22170 on tree, 15 best solution, best possible 14.7589 (398.43 seconds) Cbc0010I After 749000 nodes, 21815 on tree, 15 best solution, best possible 14.7589 (398.83 seconds) Cbc0010I After 750000 nodes, 21870 on tree, 15 best solution, best possible 14.7667 (399.36 seconds) Cbc0010I After 751000 nodes, 21780 on tree, 15 best solution, best possible 14.7667 (399.82 seconds) Cbc0010I After 752000 nodes, 21722 on tree, 15 best solution, best possible 14.7667 (400.25 seconds) Cbc0010I After 753000 nodes, 21543 on tree, 15 best solution, best possible 14.7667 (400.63 seconds) Cbc0010I After 754000 nodes, 21588 on tree, 15 best solution, best possible 14.7727 (401.17 seconds) Cbc0010I After 755000 nodes, 21453 on tree, 15 best solution, best possible 14.7727 (401.60 seconds) Cbc0010I After 756000 nodes, 21356 on tree, 15 best solution, best possible 14.7727 (402.04 seconds) Cbc0010I After 757000 nodes, 21212 on tree, 15 best solution, best possible 14.7727 (402.38 seconds) Cbc0010I After 758000 nodes, 21235 on tree, 15 best solution, best possible 14.7778 (402.91 seconds) Cbc0010I After 759000 nodes, 21133 on tree, 15 best solution, best possible 14.7778 (403.34 seconds) Cbc0010I After 760000 nodes, 21021 on tree, 15 best solution, best possible 14.7778 (403.78 seconds) Cbc0010I After 761000 nodes, 20838 on tree, 15 best solution, best possible 14.7778 (404.16 seconds) Cbc0010I After 762000 nodes, 20867 on tree, 15 best solution, best possible 14.7857 (404.69 seconds) Cbc0010I After 763000 nodes, 20742 on tree, 15 best solution, best possible 14.7857 (405.12 seconds) Cbc0010I After 764000 nodes, 20692 on tree, 15 best solution, best possible 14.7857 (405.58 seconds) Cbc0010I After 765000 nodes, 20295 on tree, 15 best solution, best possible 14.7857 (405.95 seconds) Cbc0010I After 766000 nodes, 20260 on tree, 15 best solution, best possible 14.7895 (406.46 seconds) Cbc0010I After 767000 nodes, 20152 on tree, 15 best solution, best possible 14.7895 (406.91 seconds) Cbc0010I After 768000 nodes, 20073 on tree, 15 best solution, best possible 14.7895 (407.32 seconds) Cbc0010I After 769000 nodes, 19689 on tree, 15 best solution, best possible 14.7895 (407.69 seconds) Cbc0010I After 770000 nodes, 19698 on tree, 15 best solution, best possible 14.7941 (408.18 seconds) Cbc0010I After 771000 nodes, 19541 on tree, 15 best solution, best possible 14.7941 (408.62 seconds) Cbc0010I After 772000 nodes, 19295 on tree, 15 best solution, best possible 14.7941 (409.01 seconds) Cbc0010I After 773000 nodes, 19180 on tree, 15 best solution, best possible 14.7941 (409.36 seconds) Cbc0010I After 774000 nodes, 19181 on tree, 15 best solution, best possible 14.7969 (409.89 seconds) Cbc0010I After 775000 nodes, 18919 on tree, 15 best solution, best possible 14.7969 (410.31 seconds) Cbc0010I After 776000 nodes, 18888 on tree, 15 best solution, best possible 14.7969 (410.75 seconds) Cbc0010I After 777000 nodes, 18774 on tree, 15 best solution, best possible 14.7969 (411.12 seconds) Cbc0010I After 778000 nodes, 18801 on tree, 15 best solution, best possible 14.8 (411.60 seconds) Cbc0010I After 779000 nodes, 18702 on tree, 15 best solution, best possible 14.8 (412.03 seconds) Cbc0010I After 780000 nodes, 18610 on tree, 15 best solution, best possible 14.8 (412.46 seconds) Cbc0010I After 781000 nodes, 18463 on tree, 15 best solution, best possible 14.8 (412.82 seconds) Cbc0010I After 782000 nodes, 18455 on tree, 15 best solution, best possible 14.8 (413.30 seconds) Cbc0010I After 783000 nodes, 18233 on tree, 15 best solution, best possible 14.8 (413.74 seconds) Cbc0010I After 784000 nodes, 18129 on tree, 15 best solution, best possible 14.8 (414.19 seconds) Cbc0010I After 785000 nodes, 17736 on tree, 15 best solution, best possible 14.8 (414.55 seconds) Cbc0010I After 786000 nodes, 17730 on tree, 15 best solution, best possible 14.8 (415.05 seconds) Cbc0010I After 787000 nodes, 17592 on tree, 15 best solution, best possible 14.8 (415.47 seconds) Cbc0010I After 788000 nodes, 17500 on tree, 15 best solution, best possible 14.8 (415.90 seconds) Cbc0010I After 789000 nodes, 17254 on tree, 15 best solution, best possible 14.8 (416.25 seconds) Cbc0010I After 790000 nodes, 17115 on tree, 15 best solution, best possible 14.8041 (416.75 seconds) Cbc0010I After 791000 nodes, 16982 on tree, 15 best solution, best possible 14.8041 (417.19 seconds) Cbc0010I After 792000 nodes, 16843 on tree, 15 best solution, best possible 14.8041 (417.63 seconds) Cbc0010I After 793000 nodes, 16740 on tree, 15 best solution, best possible 14.8041 (417.97 seconds) Cbc0010I After 794000 nodes, 16739 on tree, 15 best solution, best possible 14.8115 (418.50 seconds) Cbc0010I After 795000 nodes, 16630 on tree, 15 best solution, best possible 14.8115 (418.95 seconds) Cbc0010I After 796000 nodes, 16540 on tree, 15 best solution, best possible 14.8115 (419.42 seconds) Cbc0010I After 797000 nodes, 16437 on tree, 15 best solution, best possible 14.8115 (419.79 seconds) Cbc0010I After 798000 nodes, 16373 on tree, 15 best solution, best possible 14.8181 (420.31 seconds) Cbc0010I After 799000 nodes, 16198 on tree, 15 best solution, best possible 14.8181 (420.74 seconds) Cbc0010I After 800000 nodes, 16016 on tree, 15 best solution, best possible 14.8181 (421.16 seconds) Cbc0010I After 801000 nodes, 15920 on tree, 15 best solution, best possible 14.8181 (421.56 seconds) Cbc0010I After 802000 nodes, 15871 on tree, 15 best solution, best possible 14.8183 (422.01 seconds) Cbc0010I After 803000 nodes, 15695 on tree, 15 best solution, best possible 14.8183 (422.41 seconds) Cbc0010I After 804000 nodes, 15554 on tree, 15 best solution, best possible 14.8183 (422.84 seconds) Cbc0010I After 805000 nodes, 15449 on tree, 15 best solution, best possible 14.8183 (423.20 seconds) Cbc0010I After 806000 nodes, 15388 on tree, 15 best solution, best possible 14.8261 (423.70 seconds) Cbc0010I After 807000 nodes, 15207 on tree, 15 best solution, best possible 14.8261 (424.13 seconds) Cbc0010I After 808000 nodes, 15080 on tree, 15 best solution, best possible 14.8261 (424.56 seconds) Cbc0010I After 809000 nodes, 14986 on tree, 15 best solution, best possible 14.8261 (424.89 seconds) Cbc0010I After 810000 nodes, 14931 on tree, 15 best solution, best possible 14.8333 (425.33 seconds) Cbc0010I After 811000 nodes, 14760 on tree, 15 best solution, best possible 14.8333 (425.76 seconds) Cbc0010I After 812000 nodes, 14517 on tree, 15 best solution, best possible 14.8333 (426.17 seconds) Cbc0010I After 813000 nodes, 14441 on tree, 15 best solution, best possible 14.8333 (426.55 seconds) Cbc0010I After 814000 nodes, 14358 on tree, 15 best solution, best possible 14.8333 (426.99 seconds) Cbc0010I After 815000 nodes, 14061 on tree, 15 best solution, best possible 14.8333 (427.39 seconds) Cbc0010I After 816000 nodes, 13944 on tree, 15 best solution, best possible 14.8333 (427.78 seconds) Cbc0010I After 817000 nodes, 13614 on tree, 15 best solution, best possible 14.8333 (428.16 seconds) Cbc0010I After 818000 nodes, 13305 on tree, 15 best solution, best possible 14.8366 (428.61 seconds) Cbc0010I After 819000 nodes, 12956 on tree, 15 best solution, best possible 14.8366 (429.00 seconds) Cbc0010I After 820000 nodes, 12571 on tree, 15 best solution, best possible 14.8366 (429.42 seconds) Cbc0010I After 821000 nodes, 12133 on tree, 15 best solution, best possible 14.8366 (429.81 seconds) Cbc0010I After 822000 nodes, 12088 on tree, 15 best solution, best possible 14.8437 (430.27 seconds) Cbc0010I After 823000 nodes, 11880 on tree, 15 best solution, best possible 14.8437 (430.69 seconds) Cbc0010I After 824000 nodes, 11736 on tree, 15 best solution, best possible 14.8437 (431.12 seconds) Cbc0010I After 825000 nodes, 11375 on tree, 15 best solution, best possible 14.8437 (431.55 seconds) Cbc0010I After 826000 nodes, 11288 on tree, 15 best solution, best possible 14.85 (432.02 seconds) Cbc0010I After 827000 nodes, 11097 on tree, 15 best solution, best possible 14.85 (432.43 seconds) Cbc0010I After 828000 nodes, 10987 on tree, 15 best solution, best possible 14.85 (432.85 seconds) Cbc0010I After 829000 nodes, 10655 on tree, 15 best solution, best possible 14.85 (433.29 seconds) Cbc0010I After 830000 nodes, 10646 on tree, 15 best solution, best possible 14.8571 (433.77 seconds) Cbc0010I After 831000 nodes, 10525 on tree, 15 best solution, best possible 14.8571 (434.23 seconds) Cbc0010I After 832000 nodes, 10409 on tree, 15 best solution, best possible 14.8571 (434.64 seconds) Cbc0010I After 833000 nodes, 10129 on tree, 15 best solution, best possible 14.8571 (435.03 seconds) Cbc0010I After 834000 nodes, 10077 on tree, 15 best solution, best possible 14.8571 (435.53 seconds) Cbc0010I After 835000 nodes, 9889 on tree, 15 best solution, best possible 14.8571 (435.92 seconds) Cbc0010I After 836000 nodes, 9787 on tree, 15 best solution, best possible 14.8571 (436.41 seconds) Cbc0010I After 837000 nodes, 9684 on tree, 15 best solution, best possible 14.8571 (436.88 seconds) Cbc0010I After 838000 nodes, 9525 on tree, 15 best solution, best possible 14.8571 (437.28 seconds) Cbc0010I After 839000 nodes, 9434 on tree, 15 best solution, best possible 14.8636 (437.72 seconds) Cbc0010I After 840000 nodes, 9347 on tree, 15 best solution, best possible 14.8694 (438.16 seconds) Cbc0010I After 841000 nodes, 9286 on tree, 15 best solution, best possible 14.875 (438.59 seconds) Cbc0010I After 842000 nodes, 9044 on tree, 15 best solution, best possible 14.875 (439.00 seconds) Cbc0010I After 843000 nodes, 8911 on tree, 15 best solution, best possible 14.875 (439.44 seconds) Cbc0010I After 844000 nodes, 9041 on tree, 15 best solution, best possible 14.875 (439.83 seconds) Cbc0010I After 845000 nodes, 8789 on tree, 15 best solution, best possible 14.875 (440.24 seconds) Cbc0010I After 846000 nodes, 8503 on tree, 15 best solution, best possible 14.875 (440.60 seconds) Cbc0010I After 847000 nodes, 7739 on tree, 15 best solution, best possible 14.875 (441.00 seconds) Cbc0010I After 848000 nodes, 7360 on tree, 15 best solution, best possible 14.875 (441.49 seconds) Cbc0010I After 849000 nodes, 7263 on tree, 15 best solution, best possible 14.8818 (441.92 seconds) Cbc0010I After 850000 nodes, 7072 on tree, 15 best solution, best possible 14.8818 (442.32 seconds) Cbc0010I After 851000 nodes, 6970 on tree, 15 best solution, best possible 14.8864 (442.76 seconds) Cbc0010I After 852000 nodes, 6832 on tree, 15 best solution, best possible 14.8906 (443.20 seconds) Cbc0010I After 853000 nodes, 6716 on tree, 15 best solution, best possible 14.8963 (443.66 seconds) Cbc0010I After 854000 nodes, 6440 on tree, 15 best solution, best possible 14.8963 (444.04 seconds) Cbc0010I After 855000 nodes, 6357 on tree, 15 best solution, best possible 14.9 (444.46 seconds) Cbc0010I After 856000 nodes, 6183 on tree, 15 best solution, best possible 14.9 (444.90 seconds) Cbc0010I After 857000 nodes, 6098 on tree, 15 best solution, best possible 14.9 (445.35 seconds) Cbc0010I After 858000 nodes, 5910 on tree, 15 best solution, best possible 14.9 (445.76 seconds) Cbc0010I After 859000 nodes, 5643 on tree, 15 best solution, best possible 14.9 (446.18 seconds) Cbc0010I After 860000 nodes, 5498 on tree, 15 best solution, best possible 14.9067 (446.63 seconds) Cbc0010I After 861000 nodes, 5342 on tree, 15 best solution, best possible 14.9118 (447.09 seconds) Cbc0010I After 862000 nodes, 5106 on tree, 15 best solution, best possible 14.9118 (447.49 seconds) Cbc0010I After 863000 nodes, 4993 on tree, 15 best solution, best possible 14.9143 (447.92 seconds) Cbc0010I After 864000 nodes, 4764 on tree, 15 best solution, best possible 14.9167 (448.34 seconds) Cbc0010I After 865000 nodes, 4489 on tree, 15 best solution, best possible 14.9211 (448.76 seconds) Cbc0010I After 866000 nodes, 4210 on tree, 15 best solution, best possible 14.9211 (449.13 seconds) Cbc0010I After 867000 nodes, 4040 on tree, 15 best solution, best possible 14.926 (449.60 seconds) Cbc0010I After 868000 nodes, 3804 on tree, 15 best solution, best possible 14.9286 (449.97 seconds) Cbc0010I After 869000 nodes, 3655 on tree, 15 best solution, best possible 14.9348 (450.40 seconds) Cbc0010I After 870000 nodes, 3413 on tree, 15 best solution, best possible 14.9348 (450.83 seconds) Cbc0010I After 871000 nodes, 3298 on tree, 15 best solution, best possible 14.9375 (451.30 seconds) Cbc0010I After 872000 nodes, 3110 on tree, 15 best solution, best possible 14.9375 (451.75 seconds) Cbc0010I After 873000 nodes, 2946 on tree, 15 best solution, best possible 14.9375 (452.19 seconds) Cbc0010I After 874000 nodes, 2717 on tree, 15 best solution, best possible 14.9375 (452.61 seconds) Cbc0010I After 875000 nodes, 2523 on tree, 15 best solution, best possible 14.9397 (453.06 seconds) Cbc0010I After 876000 nodes, 2359 on tree, 15 best solution, best possible 14.9452 (453.50 seconds) Cbc0010I After 877000 nodes, 2149 on tree, 15 best solution, best possible 14.95 (453.91 seconds) Cbc0010I After 878000 nodes, 1839 on tree, 15 best solution, best possible 14.95 (454.31 seconds) Cbc0010I After 879000 nodes, 1592 on tree, 15 best solution, best possible 14.956 (454.74 seconds) Cbc0010I After 880000 nodes, 1361 on tree, 15 best solution, best possible 14.9615 (455.16 seconds) Cbc0010I After 881000 nodes, 1104 on tree, 15 best solution, best possible 14.9664 (455.57 seconds) Cbc0010I After 882000 nodes, 826 on tree, 15 best solution, best possible 14.9664 (455.96 seconds) Cbc0010I After 883000 nodes, 580 on tree, 15 best solution, best possible 14.9752 (456.38 seconds) Cbc0010I After 884000 nodes, 322 on tree, 15 best solution, best possible 14.9857 (456.84 seconds) Cbc0010I After 885000 nodes, 223 on tree, 15 best solution, best possible 14.9906 (457.28 seconds) Cbc0001I Search completed - best objective 15, took 9185354 iterations and 885673 nodes (457.54 seconds) Cbc0032I Strong branching done 9914 times (126878 iterations), fathomed 13 nodes and fixed 135 variables Cbc0035I Maximum depth 45, 307547 variables fixed on reduced cost Cuts at root node changed objective from 13 to 13.6032 Probing was tried 991 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.792 seconds) Gomory was tried 197451 times and created 2220315 cuts of which 158686 were active after adding rounds of cuts (42.175 seconds) Knapsack was tried 100 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.032 seconds) Clique was tried 100 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 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.044 seconds) TwoMirCuts was tried 100 times and created 267 cuts of which 0 were active after adding rounds of cuts (0.036 seconds) Result - Finished objective 15 after 885673 nodes and 9185354 iterations - took 457.54 seconds (total time 457.55) Total time 457.56 457.56user 25.50system 8:03.08elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+0outputs (0major+12613757minor)pagefaults 0swaps