--- Job mas74 Start 08/24/08 19:17:19
GAMS Rev 227  Copyright (C) 1987-2008 GAMS Development. All rights reserved
Licensee: Stefan Vigerske                                G071106/0001CB-LNX
          Humboldt University Berlin, Numerical Mathematics          DC5918
--- Starting compilation
--- mas74.gms(106) 2 Mb
--- GDXin=/home/stefan/work/gams/models/LINlib/mas74.gdx
--- mas74.gms(148) 3 Mb
--- Starting execution: elapsed 0:00:00.009
--- mas74.gms(123) 4 Mb
--- Generating MIP model m
--- mas74.gms(124) 4 Mb
---   14 rows  152 columns  1,858 non-zeroes
---   150 discrete-columns
--- Executing Cbc: elapsed 0:00:00.015

GAMS/Cbc 2.1 LP/MIP Solver
written by J. Forrest
Problem statistics: 151 columns and 13 rows.
                    150 variables have integrality restrictions.

Calling CBC main solution routine...
Coin Cbc and Clp Solver version 2.20.00, build Aug 23 2008
command line - GAMS/CBC -solve -quit
Continuous objective value is 10482.8 - 0.00 seconds
Optimal - objective value 10482.8
processed model has 13 rows, 148 columns (147 integer) and 1682 elements
Pass   1: suminf.    1.05696 (5) obj. 11417.2 iterations 19
Pass   2: suminf.    1.00000 (5) obj. 11447.3 iterations 1
Pass   3: suminf.    0.00000 (0) obj. 38697.3 iterations 10
Solution found of 38697.3
Cleaned solution of 38697.3
Before mini branch and bound, 133 integers at bound fixed and 0 continuous
Full problem 13 rows 148 columns, reduced to 13 rows 15 columns
Mini branch and bound improved solution from 38697.3 to 14372.9 (0.04 seconds)
Round again with cutoff of 13983.9
Reduced cost fixing fixed 6 variables on major pass 2
Pass   4: suminf.    1.52309 (6) obj. 11634.5 iterations 19
Pass   5: suminf.    0.14329 (2) obj. 13983.9 iterations 8
Pass   6: suminf.    1.00000 (6) obj. 13983.9 iterations 5
Pass   7: suminf.    1.00000 (3) obj. 13983.9 iterations 4
Pass   8: suminf.    2.94283 (9) obj. 13983.9 iterations 24
Pass   9: suminf.    2.13106 (10) obj. 13983.9 iterations 6
Pass  10: suminf.    2.00000 (7) obj. 13983.9 iterations 21
Pass  11: suminf.    2.00000 (7) obj. 13983.9 iterations 0
Pass  12: suminf.    0.28225 (4) obj. 13983.9 iterations 5
Pass  13: suminf.    0.30301 (4) obj. 13983.9 iterations 2
Pass  14: suminf.    1.93283 (7) obj. 13983.9 iterations 9
Pass  15: suminf.    0.78280 (5) obj. 13983.9 iterations 10
Pass  16: suminf.    1.61273 (5) obj. 13983.9 iterations 5
Pass  17: suminf.    0.96111 (5) obj. 13983.9 iterations 4
Pass  18: suminf.    2.38159 (8) obj. 13983.9 iterations 12
Pass  19: suminf.    3.25160 (9) obj. 13983.9 iterations 4
Pass  20: suminf.    1.19599 (7) obj. 13983.9 iterations 11
Pass  21: suminf.    0.89578 (5) obj. 13983.9 iterations 4
Pass  22: suminf.    1.50001 (4) obj. 13983.9 iterations 10
Pass  23: suminf.    1.00000 (4) obj. 13983.9 iterations 2
No solution found this major pass
Before mini branch and bound, 105 integers at bound fixed and 0 continuous
Full problem 13 rows 148 columns, reduced to 13 rows 43 columns
Mini branch and bound did not improve solution (0.13 seconds)
After 0.13 seconds - Feasibility pump exiting with objective of 14372.9 - took 0.12 seconds
Integer solution of 14372.9 found by feasibility pump after 0 iterations and 0 nodes (0.13 seconds)
Full problem 13 rows 148 columns, reduced to 12 rows 21 columns
8 added rows had average density of 147.125
At root node, 8 cuts changed objective from 10482.8 to 10591.2 in 100 passes
Cut generator 0 (Probing) - 0 row cuts, 0 column cuts (0 active)  in 3.904 seconds - new frequency is 1000
Cut generator 1 (Gomory) - 1598 row cuts, 0 column cuts (6 active)  in 0.084 seconds - new frequency is 1
Cut generator 2 (Knapsack) - 0 row cuts, 0 column cuts (0 active)  in 0.008 seconds - new frequency is -100
Cut generator 3 (Clique) - 0 row cuts, 0 column cuts (0 active)  in 0.008 seconds - new frequency is -100
Cut generator 4 (MixedIntegerRounding2) - 0 row cuts, 0 column cuts (0 active)  in 0.116 seconds - new frequency is -100
Cut generator 5 (FlowCover) - 0 row cuts, 0 column cuts (0 active)  in 0.032 seconds - new frequency is -100
Cut generator 6 (TwoMirCuts) - 138 row cuts, 0 column cuts (0 active)  in 0.088 seconds - new frequency is -100
0  Obj 10591.2 Dual inf 1.13825e-06 (2)
1  Obj 10591.2
Optimal - objective value 10591.2
Optimal - objective value 10591.2
After 0 nodes, 1 on tree, 14372.9 best solution, best possible 10591.2 (4.51 seconds)
Integer solution of 14312.7 found after 1865 iterations and 183 nodes (5.19 seconds)
Full problem 13 rows 148 columns, reduced to 13 rows 28 columns
Integer solution of 14298.1 found by combine solutions after 1867 iterations and 184 nodes (5.44 seconds)
Integer solution of 12712.5 found after 4345 iterations and 578 nodes (6.08 seconds)
Full problem 13 rows 148 columns, reduced to 13 rows 31 columns
After 1000 nodes, 483 on tree, 12712.5 best solution, best possible 10767.8 (6.77 seconds)
After 2000 nodes, 967 on tree, 12712.5 best solution, best possible 10816.7 (7.48 seconds)
After 3000 nodes, 1446 on tree, 12712.5 best solution, best possible 10843.4 (8.05 seconds)
After 4000 nodes, 1932 on tree, 12712.5 best solution, best possible 10863 (8.56 seconds)
After 5000 nodes, 2420 on tree, 12712.5 best solution, best possible 10879.2 (9.06 seconds)
After 6000 nodes, 2899 on tree, 12712.5 best solution, best possible 10892.3 (9.57 seconds)
After 7000 nodes, 3367 on tree, 12712.5 best solution, best possible 10901.1 (10.08 seconds)
After 8000 nodes, 3851 on tree, 12712.5 best solution, best possible 10913.1 (10.58 seconds)
After 9000 nodes, 4343 on tree, 12712.5 best solution, best possible 10923.1 (11.09 seconds)
After 10000 nodes, 4818 on tree, 12712.5 best solution, best possible 10933.1 (11.58 seconds)
After 11000 nodes, 5300 on tree, 12712.5 best solution, best possible 10941.6 (12.08 seconds)
After 12000 nodes, 5799 on tree, 12712.5 best solution, best possible 10953.8 (12.59 seconds)
After 13000 nodes, 6297 on tree, 12712.5 best solution, best possible 10964.4 (13.12 seconds)
After 14000 nodes, 6765 on tree, 12712.5 best solution, best possible 10964.4 (13.62 seconds)
After 15000 nodes, 7260 on tree, 12712.5 best solution, best possible 10974.3 (14.14 seconds)
After 16000 nodes, 7758 on tree, 12712.5 best solution, best possible 10983.8 (14.64 seconds)
After 17000 nodes, 8255 on tree, 12712.5 best solution, best possible 10992.7 (15.14 seconds)
After 18000 nodes, 8735 on tree, 12712.5 best solution, best possible 10992.7 (15.64 seconds)
After 19000 nodes, 9229 on tree, 12712.5 best solution, best possible 11000.7 (16.13 seconds)
After 20000 nodes, 9724 on tree, 12712.5 best solution, best possible 11007.8 (16.61 seconds)
After 21000 nodes, 10220 on tree, 12712.5 best solution, best possible 11014.5 (17.09 seconds)
After 22000 nodes, 10715 on tree, 12712.5 best solution, best possible 11020.4 (17.58 seconds)
After 23000 nodes, 11183 on tree, 12712.5 best solution, best possible 11020.4 (18.05 seconds)
Integer solution of 11857.4 found after 154899 iterations and 23473 nodes (18.27 seconds)
Full problem 13 rows 148 columns, reduced to 13 rows 35 columns
After 24000 nodes, 10337 on tree, 11857.4 best solution, best possible 11020.4 (18.96 seconds)
After 25000 nodes, 10146 on tree, 11857.4 best solution, best possible 11020.4 (19.31 seconds)
After 26000 nodes, 10625 on tree, 11857.4 best solution, best possible 11027.7 (20.69 seconds)
After 27000 nodes, 11040 on tree, 11857.4 best solution, best possible 11029.8 (21.94 seconds)
After 28000 nodes, 11482 on tree, 11857.4 best solution, best possible 11033.8 (23.22 seconds)
After 29000 nodes, 11353 on tree, 11857.4 best solution, best possible 11033.8 (23.73 seconds)
After 30000 nodes, 11812 on tree, 11857.4 best solution, best possible 11039.5 (25.21 seconds)
After 31000 nodes, 12218 on tree, 11857.4 best solution, best possible 11041.8 (26.56 seconds)
After 32000 nodes, 12650 on tree, 11857.4 best solution, best possible 11045.2 (28.11 seconds)
After 33000 nodes, 12539 on tree, 11857.4 best solution, best possible 11045.2 (28.78 seconds)
After 34000 nodes, 13006 on tree, 11857.4 best solution, best possible 11050.1 (30.27 seconds)
After 35000 nodes, 13427 on tree, 11857.4 best solution, best possible 11051.8 (31.69 seconds)
After 36000 nodes, 13838 on tree, 11857.4 best solution, best possible 11055.4 (33.07 seconds)
After 37000 nodes, 13748 on tree, 11857.4 best solution, best possible 11055.4 (33.72 seconds)
After 38000 nodes, 14208 on tree, 11857.4 best solution, best possible 11060.5 (35.22 seconds)
After 39000 nodes, 14610 on tree, 11857.4 best solution, best possible 11061.8 (36.57 seconds)
After 40000 nodes, 15053 on tree, 11857.4 best solution, best possible 11064.8 (38.09 seconds)
After 41000 nodes, 15013 on tree, 11857.4 best solution, best possible 11064.8 (38.75 seconds)
After 42000 nodes, 15474 on tree, 11857.4 best solution, best possible 11069.8 (40.01 seconds)
After 43000 nodes, 15897 on tree, 11857.4 best solution, best possible 11070.6 (41.16 seconds)
After 44000 nodes, 16328 on tree, 11857.4 best solution, best possible 11073.1 (42.37 seconds)
After 45000 nodes, 16263 on tree, 11857.4 best solution, best possible 11073.1 (42.94 seconds)
After 46000 nodes, 16714 on tree, 11857.4 best solution, best possible 11077.4 (44.21 seconds)
After 47000 nodes, 17109 on tree, 11857.4 best solution, best possible 11078.3 (45.38 seconds)
After 48000 nodes, 17552 on tree, 11857.4 best solution, best possible 11080.8 (46.79 seconds)
After 49000 nodes, 17465 on tree, 11857.4 best solution, best possible 11080.8 (47.41 seconds)
After 50000 nodes, 17924 on tree, 11857.4 best solution, best possible 11084.8 (48.82 seconds)
After 51000 nodes, 18320 on tree, 11857.4 best solution, best possible 11085.7 (50.08 seconds)
After 52000 nodes, 18758 on tree, 11857.4 best solution, best possible 11087.9 (51.42 seconds)
After 53000 nodes, 18687 on tree, 11857.4 best solution, best possible 11087.9 (52.01 seconds)
After 54000 nodes, 19125 on tree, 11857.4 best solution, best possible 11091.6 (53.35 seconds)
After 55000 nodes, 19530 on tree, 11857.4 best solution, best possible 11092.4 (54.55 seconds)
After 56000 nodes, 19948 on tree, 11857.4 best solution, best possible 11094.6 (55.82 seconds)
After 57000 nodes, 19870 on tree, 11857.4 best solution, best possible 11094.6 (56.62 seconds)
After 58000 nodes, 20313 on tree, 11857.4 best solution, best possible 11098.1 (58.06 seconds)
After 59000 nodes, 20720 on tree, 11857.4 best solution, best possible 11098.8 (59.43 seconds)
After 60000 nodes, 21133 on tree, 11857.4 best solution, best possible 11100.8 (60.85 seconds)
After 61000 nodes, 21089 on tree, 11857.4 best solution, best possible 11100.8 (61.55 seconds)
After 62000 nodes, 21517 on tree, 11857.4 best solution, best possible 11104.2 (62.96 seconds)
After 63000 nodes, 21921 on tree, 11857.4 best solution, best possible 11105 (64.20 seconds)
After 64000 nodes, 22354 on tree, 11857.4 best solution, best possible 11107 (65.51 seconds)
After 65000 nodes, 22270 on tree, 11857.4 best solution, best possible 11107 (66.14 seconds)
After 66000 nodes, 22714 on tree, 11857.4 best solution, best possible 11109.7 (67.51 seconds)
After 67000 nodes, 23126 on tree, 11857.4 best solution, best possible 11110.4 (68.77 seconds)
After 68000 nodes, 23529 on tree, 11857.4 best solution, best possible 11112.3 (70.13 seconds)
After 69000 nodes, 23525 on tree, 11857.4 best solution, best possible 11112.3 (70.88 seconds)
After 70000 nodes, 23973 on tree, 11857.4 best solution, best possible 11115.2 (72.26 seconds)
After 71000 nodes, 24385 on tree, 11857.4 best solution, best possible 11115.8 (73.56 seconds)
After 72000 nodes, 24781 on tree, 11857.4 best solution, best possible 11117.6 (74.83 seconds)
After 73000 nodes, 24765 on tree, 11857.4 best solution, best possible 11117.6 (75.49 seconds)
After 74000 nodes, 25206 on tree, 11857.4 best solution, best possible 11120.4 (76.73 seconds)
After 75000 nodes, 25589 on tree, 11857.4 best solution, best possible 11120.9 (77.93 seconds)
After 76000 nodes, 25986 on tree, 11857.4 best solution, best possible 11122.6 (79.15 seconds)
After 77000 nodes, 25894 on tree, 11857.4 best solution, best possible 11122.6 (79.76 seconds)
After 78000 nodes, 26330 on tree, 11857.4 best solution, best possible 11125.2 (81.03 seconds)
After 79000 nodes, 26710 on tree, 11857.4 best solution, best possible 11125.7 (82.17 seconds)
After 80000 nodes, 27127 on tree, 11857.4 best solution, best possible 11127.4 (83.39 seconds)
Integer solution of 11801.2 found after 571587 iterations and 80046 nodes (83.42 seconds)
Full problem 13 rows 148 columns, reduced to 13 rows 38 columns
After 81000 nodes, 26968 on tree, 11801.2 best solution, best possible 11128.6 (84.97 seconds)
After 82000 nodes, 27384 on tree, 11801.2 best solution, best possible 11131.3 (86.21 seconds)
After 83000 nodes, 27798 on tree, 11801.2 best solution, best possible 11132.6 (87.38 seconds)
After 84000 nodes, 28192 on tree, 11801.2 best solution, best possible 11134.3 (88.55 seconds)
After 85000 nodes, 28167 on tree, 11801.2 best solution, best possible 11134.3 (89.25 seconds)
After 86000 nodes, 28609 on tree, 11801.2 best solution, best possible 11137 (90.49 seconds)
After 87000 nodes, 28977 on tree, 11801.2 best solution, best possible 11137.5 (91.71 seconds)
After 88000 nodes, 29370 on tree, 11801.2 best solution, best possible 11139 (92.94 seconds)
After 89000 nodes, 29185 on tree, 11801.2 best solution, best possible 11139 (93.73 seconds)
After 90000 nodes, 29599 on tree, 11801.2 best solution, best possible 11141.3 (95.01 seconds)
After 91000 nodes, 29962 on tree, 11801.2 best solution, best possible 11141.7 (96.23 seconds)
After 92000 nodes, 30370 on tree, 11801.2 best solution, best possible 11143.1 (97.52 seconds)
After 93000 nodes, 30400 on tree, 11801.2 best solution, best possible 11143.1 (98.25 seconds)
After 94000 nodes, 30830 on tree, 11801.2 best solution, best possible 11145.3 (99.54 seconds)
After 95000 nodes, 31196 on tree, 11801.2 best solution, best possible 11145.7 (100.77 seconds)
After 96000 nodes, 31597 on tree, 11801.2 best solution, best possible 11147.1 (102.05 seconds)
After 97000 nodes, 31405 on tree, 11801.2 best solution, best possible 11147.1 (102.67 seconds)
After 98000 nodes, 31828 on tree, 11801.2 best solution, best possible 11149.2 (104.00 seconds)
After 99000 nodes, 32193 on tree, 11801.2 best solution, best possible 11149.6 (105.21 seconds)
After 100000 nodes, 32589 on tree, 11801.2 best solution, best possible 11151.1 (106.48 seconds)
After 101000 nodes, 32604 on tree, 11801.2 best solution, best possible 11151.1 (107.17 seconds)
After 102000 nodes, 33029 on tree, 11801.2 best solution, best possible 11153.2 (108.52 seconds)
After 103000 nodes, 33386 on tree, 11801.2 best solution, best possible 11153.8 (109.73 seconds)
After 104000 nodes, 33786 on tree, 11801.2 best solution, best possible 11155.1 (111.04 seconds)
After 105000 nodes, 33581 on tree, 11801.2 best solution, best possible 11155.1 (111.67 seconds)
After 106000 nodes, 34012 on tree, 11801.2 best solution, best possible 11157.2 (113.04 seconds)
After 107000 nodes, 34382 on tree, 11801.2 best solution, best possible 11157.8 (114.28 seconds)
After 108000 nodes, 34783 on tree, 11801.2 best solution, best possible 11159.1 (115.58 seconds)
After 109000 nodes, 34781 on tree, 11801.2 best solution, best possible 11159.1 (116.20 seconds)
After 110000 nodes, 35201 on tree, 11801.2 best solution, best possible 11161.2 (117.46 seconds)
After 111000 nodes, 35551 on tree, 11801.2 best solution, best possible 11161.8 (118.62 seconds)
After 112000 nodes, 35953 on tree, 11801.2 best solution, best possible 11161.8 (119.88 seconds)
After 113000 nodes, 35845 on tree, 11801.2 best solution, best possible 11161.8 (120.48 seconds)
After 114000 nodes, 36270 on tree, 11801.2 best solution, best possible 11164.8 (121.75 seconds)
After 115000 nodes, 36636 on tree, 11801.2 best solution, best possible 11165.5 (122.91 seconds)
After 116000 nodes, 37025 on tree, 11801.2 best solution, best possible 11166.7 (124.10 seconds)
After 117000 nodes, 36926 on tree, 11801.2 best solution, best possible 11166.7 (124.65 seconds)
After 118000 nodes, 37347 on tree, 11801.2 best solution, best possible 11168.5 (125.86 seconds)
After 119000 nodes, 37694 on tree, 11801.2 best solution, best possible 11169.1 (127.04 seconds)
After 120000 nodes, 38075 on tree, 11801.2 best solution, best possible 11170.2 (128.24 seconds)
After 121000 nodes, 38059 on tree, 11801.2 best solution, best possible 11170.2 (128.87 seconds)
After 122000 nodes, 38482 on tree, 11801.2 best solution, best possible 11172.2 (130.14 seconds)
After 123000 nodes, 38855 on tree, 11801.2 best solution, best possible 11172.7 (131.36 seconds)
After 124000 nodes, 39249 on tree, 11801.2 best solution, best possible 11173.8 (132.63 seconds)
After 125000 nodes, 39247 on tree, 11801.2 best solution, best possible 11173.8 (133.27 seconds)
After 126000 nodes, 39658 on tree, 11801.2 best solution, best possible 11175.7 (134.56 seconds)
After 127000 nodes, 40023 on tree, 11801.2 best solution, best possible 11176.1 (135.80 seconds)
After 128000 nodes, 40411 on tree, 11801.2 best solution, best possible 11176.7 (137.04 seconds)
After 129000 nodes, 40288 on tree, 11801.2 best solution, best possible 11176.7 (137.66 seconds)
After 130000 nodes, 40703 on tree, 11801.2 best solution, best possible 11179 (138.88 seconds)
After 131000 nodes, 41055 on tree, 11801.2 best solution, best possible 11179.3 (140.12 seconds)
After 132000 nodes, 41446 on tree, 11801.2 best solution, best possible 11179.3 (141.36 seconds)
After 133000 nodes, 41328 on tree, 11801.2 best solution, best possible 11179.3 (142.05 seconds)
After 134000 nodes, 41741 on tree, 11801.2 best solution, best possible 11182.3 (143.36 seconds)
After 135000 nodes, 42115 on tree, 11801.2 best solution, best possible 11182.8 (144.56 seconds)
After 136000 nodes, 42506 on tree, 11801.2 best solution, best possible 11183.9 (145.80 seconds)
After 137000 nodes, 42557 on tree, 11801.2 best solution, best possible 11183.9 (146.68 seconds)
After 138000 nodes, 42974 on tree, 11801.2 best solution, best possible 11185.5 (147.98 seconds)
After 139000 nodes, 43312 on tree, 11801.2 best solution, best possible 11186.1 (149.23 seconds)
After 140000 nodes, 43688 on tree, 11801.2 best solution, best possible 11186.2 (150.44 seconds)
After 141000 nodes, 43633 on tree, 11801.2 best solution, best possible 11186.2 (151.31 seconds)
After 142000 nodes, 44052 on tree, 11801.2 best solution, best possible 11188.6 (152.57 seconds)
After 143000 nodes, 44420 on tree, 11801.2 best solution, best possible 11189 (153.77 seconds)
After 144000 nodes, 44797 on tree, 11801.2 best solution, best possible 11190.1 (155.06 seconds)
After 145000 nodes, 44436 on tree, 11801.2 best solution, best possible 11190.1 (155.83 seconds)
After 146000 nodes, 44841 on tree, 11801.2 best solution, best possible 11191.7 (157.04 seconds)
After 147000 nodes, 45197 on tree, 11801.2 best solution, best possible 11192.2 (158.19 seconds)
After 148000 nodes, 45593 on tree, 11801.2 best solution, best possible 11193.1 (159.49 seconds)
After 149000 nodes, 45608 on tree, 11801.2 best solution, best possible 11193.1 (160.21 seconds)
After 150000 nodes, 46014 on tree, 11801.2 best solution, best possible 11194.7 (161.47 seconds)
After 151000 nodes, 46372 on tree, 11801.2 best solution, best possible 11195 (162.73 seconds)
After 152000 nodes, 46752 on tree, 11801.2 best solution, best possible 11196 (163.99 seconds)
After 153000 nodes, 46787 on tree, 11801.2 best solution, best possible 11196 (164.77 seconds)
After 154000 nodes, 47197 on tree, 11801.2 best solution, best possible 11197.7 (166.04 seconds)
After 155000 nodes, 47564 on tree, 11801.2 best solution, best possible 11198.1 (167.26 seconds)
After 156000 nodes, 47958 on tree, 11801.2 best solution, best possible 11199 (168.50 seconds)
After 157000 nodes, 47829 on tree, 11801.2 best solution, best possible 11199 (169.18 seconds)
After 158000 nodes, 48230 on tree, 11801.2 best solution, best possible 11200.6 (170.43 seconds)
After 159000 nodes, 48588 on tree, 11801.2 best solution, best possible 11201.1 (171.68 seconds)
After 160000 nodes, 48966 on tree, 11801.2 best solution, best possible 11201.3 (172.88 seconds)
After 161000 nodes, 48691 on tree, 11801.2 best solution, best possible 11201.3 (173.45 seconds)
After 162000 nodes, 49088 on tree, 11801.2 best solution, best possible 11203.7 (174.66 seconds)
After 163000 nodes, 49441 on tree, 11801.2 best solution, best possible 11204.2 (175.84 seconds)
After 164000 nodes, 49820 on tree, 11801.2 best solution, best possible 11205.3 (177.09 seconds)
After 165000 nodes, 49762 on tree, 11801.2 best solution, best possible 11205.3 (177.75 seconds)
After 166000 nodes, 50157 on tree, 11801.2 best solution, best possible 11206.8 (178.98 seconds)
After 167000 nodes, 50505 on tree, 11801.2 best solution, best possible 11207.3 (180.19 seconds)
After 168000 nodes, 50900 on tree, 11801.2 best solution, best possible 11208.3 (181.41 seconds)
After 169000 nodes, 50885 on tree, 11801.2 best solution, best possible 11208.3 (182.04 seconds)
After 170000 nodes, 51299 on tree, 11801.2 best solution, best possible 11209.8 (183.28 seconds)
After 171000 nodes, 51636 on tree, 11801.2 best solution, best possible 11210.2 (184.47 seconds)
After 172000 nodes, 52021 on tree, 11801.2 best solution, best possible 11211.3 (185.70 seconds)
After 173000 nodes, 52010 on tree, 11801.2 best solution, best possible 11211.3 (186.33 seconds)
After 174000 nodes, 52407 on tree, 11801.2 best solution, best possible 11212.7 (187.56 seconds)
After 175000 nodes, 52738 on tree, 11801.2 best solution, best possible 11213.1 (188.79 seconds)
After 176000 nodes, 53133 on tree, 11801.2 best solution, best possible 11213.9 (190.07 seconds)
After 177000 nodes, 53068 on tree, 11801.2 best solution, best possible 11213.9 (190.75 seconds)
After 178000 nodes, 53462 on tree, 11801.2 best solution, best possible 11215.5 (191.96 seconds)
After 179000 nodes, 53805 on tree, 11801.2 best solution, best possible 11215.9 (193.12 seconds)
After 180000 nodes, 54168 on tree, 11801.2 best solution, best possible 11216.7 (194.39 seconds)
After 181000 nodes, 53923 on tree, 11801.2 best solution, best possible 11216.7 (194.99 seconds)
After 182000 nodes, 54327 on tree, 11801.2 best solution, best possible 11218.2 (196.24 seconds)
After 183000 nodes, 54662 on tree, 11801.2 best solution, best possible 11218.6 (197.48 seconds)
After 184000 nodes, 55043 on tree, 11801.2 best solution, best possible 11218.6 (198.73 seconds)
After 185000 nodes, 54900 on tree, 11801.2 best solution, best possible 11218.6 (199.32 seconds)
After 186000 nodes, 55303 on tree, 11801.2 best solution, best possible 11221.1 (200.56 seconds)
After 187000 nodes, 55675 on tree, 11801.2 best solution, best possible 11221.6 (201.71 seconds)
After 188000 nodes, 56069 on tree, 11801.2 best solution, best possible 11222.3 (202.95 seconds)
After 189000 nodes, 56050 on tree, 11801.2 best solution, best possible 11222.3 (203.57 seconds)
After 190000 nodes, 56449 on tree, 11801.2 best solution, best possible 11224 (204.83 seconds)
After 191000 nodes, 56792 on tree, 11801.2 best solution, best possible 11224.5 (206.11 seconds)
After 192000 nodes, 57192 on tree, 11801.2 best solution, best possible 11224.8 (207.40 seconds)
After 193000 nodes, 57161 on tree, 11801.2 best solution, best possible 11224.8 (208.02 seconds)
After 194000 nodes, 57556 on tree, 11801.2 best solution, best possible 11226.7 (209.27 seconds)
After 195000 nodes, 57917 on tree, 11801.2 best solution, best possible 11227.2 (210.48 seconds)
After 196000 nodes, 58287 on tree, 11801.2 best solution, best possible 11227.2 (211.75 seconds)
After 197000 nodes, 58175 on tree, 11801.2 best solution, best possible 11227.2 (212.32 seconds)
After 198000 nodes, 58579 on tree, 11801.2 best solution, best possible 11229.5 (213.71 seconds)
After 199000 nodes, 58914 on tree, 11801.2 best solution, best possible 11229.8 (214.97 seconds)
After 200000 nodes, 59272 on tree, 11801.2 best solution, best possible 11229.8 (216.30 seconds)
After 201000 nodes, 59078 on tree, 11801.2 best solution, best possible 11229.8 (216.91 seconds)
After 202000 nodes, 59478 on tree, 11801.2 best solution, best possible 11232.1 (218.21 seconds)
After 203000 nodes, 59829 on tree, 11801.2 best solution, best possible 11232.4 (219.56 seconds)
After 204000 nodes, 60201 on tree, 11801.2 best solution, best possible 11232.4 (220.83 seconds)
After 205000 nodes, 60136 on tree, 11801.2 best solution, best possible 11232.4 (221.49 seconds)
After 206000 nodes, 60538 on tree, 11801.2 best solution, best possible 11234.6 (222.80 seconds)
After 207000 nodes, 60892 on tree, 11801.2 best solution, best possible 11235.1 (224.10 seconds)
After 208000 nodes, 61257 on tree, 11801.2 best solution, best possible 11236 (225.46 seconds)
After 209000 nodes, 61218 on tree, 11801.2 best solution, best possible 11236 (226.14 seconds)
After 210000 nodes, 61604 on tree, 11801.2 best solution, best possible 11237.2 (227.41 seconds)
After 211000 nodes, 61946 on tree, 11801.2 best solution, best possible 11237.8 (228.78 seconds)
After 212000 nodes, 62312 on tree, 11801.2 best solution, best possible 11237.8 (229.96 seconds)
After 213000 nodes, 62244 on tree, 11801.2 best solution, best possible 11237.8 (230.56 seconds)
After 214000 nodes, 62632 on tree, 11801.2 best solution, best possible 11239.8 (231.77 seconds)
After 215000 nodes, 62977 on tree, 11801.2 best solution, best possible 11240.3 (233.00 seconds)
After 216000 nodes, 63353 on tree, 11801.2 best solution, best possible 11240.7 (234.31 seconds)
After 217000 nodes, 63267 on tree, 11801.2 best solution, best possible 11240.7 (235.13 seconds)
After 218000 nodes, 63660 on tree, 11801.2 best solution, best possible 11242.4 (236.43 seconds)
After 219000 nodes, 64002 on tree, 11801.2 best solution, best possible 11242.6 (237.65 seconds)
After 220000 nodes, 64366 on tree, 11801.2 best solution, best possible 11242.6 (238.97 seconds)
After 221000 nodes, 64307 on tree, 11801.2 best solution, best possible 11242.6 (239.85 seconds)
After 222000 nodes, 64706 on tree, 11801.2 best solution, best possible 11244.9 (241.16 seconds)
After 223000 nodes, 65048 on tree, 11801.2 best solution, best possible 11245.1 (242.42 seconds)
After 224000 nodes, 65428 on tree, 11801.2 best solution, best possible 11245.1 (243.74 seconds)
After 225000 nodes, 65142 on tree, 11801.2 best solution, best possible 11245.1 (244.48 seconds)
After 226000 nodes, 65535 on tree, 11801.2 best solution, best possible 11247.4 (245.78 seconds)
After 227000 nodes, 65873 on tree, 11801.2 best solution, best possible 11247.5 (247.07 seconds)
After 228000 nodes, 66247 on tree, 11801.2 best solution, best possible 11247.5 (248.35 seconds)
After 229000 nodes, 66221 on tree, 11801.2 best solution, best possible 11247.5 (249.04 seconds)
After 230000 nodes, 66611 on tree, 11801.2 best solution, best possible 11249.9 (250.29 seconds)
After 231000 nodes, 66939 on tree, 11801.2 best solution, best possible 11250.1 (251.55 seconds)
After 232000 nodes, 67290 on tree, 11801.2 best solution, best possible 11250.1 (252.82 seconds)
After 233000 nodes, 67274 on tree, 11801.2 best solution, best possible 11250.1 (253.55 seconds)
After 234000 nodes, 67686 on tree, 11801.2 best solution, best possible 11252.5 (254.82 seconds)
After 235000 nodes, 67998 on tree, 11801.2 best solution, best possible 11252.7 (255.97 seconds)
After 236000 nodes, 68349 on tree, 11801.2 best solution, best possible 11252.7 (257.18 seconds)
After 237000 nodes, 68206 on tree, 11801.2 best solution, best possible 11252.7 (257.82 seconds)
After 238000 nodes, 68585 on tree, 11801.2 best solution, best possible 11254.9 (259.02 seconds)
After 239000 nodes, 68913 on tree, 11801.2 best solution, best possible 11255.3 (260.34 seconds)
After 240000 nodes, 69263 on tree, 11801.2 best solution, best possible 11255.9 (261.56 seconds)
After 241000 nodes, 68989 on tree, 11801.2 best solution, best possible 11255.9 (262.16 seconds)
After 242000 nodes, 69366 on tree, 11801.2 best solution, best possible 11257.3 (263.40 seconds)
After 243000 nodes, 69694 on tree, 11801.2 best solution, best possible 11257.3 (264.70 seconds)
After 244000 nodes, 70062 on tree, 11801.2 best solution, best possible 11257.3 (266.20 seconds)
After 245000 nodes, 70062 on tree, 11801.2 best solution, best possible 11257.3 (266.96 seconds)
After 246000 nodes, 70442 on tree, 11801.2 best solution, best possible 11259.9 (268.32 seconds)
After 247000 nodes, 70741 on tree, 11801.2 best solution, best possible 11260.2 (269.64 seconds)
After 248000 nodes, 71097 on tree, 11801.2 best solution, best possible 11260.3 (270.94 seconds)
After 249000 nodes, 71087 on tree, 11801.2 best solution, best possible 11260.3 (271.74 seconds)
After 250000 nodes, 71474 on tree, 11801.2 best solution, best possible 11262.2 (273.11 seconds)
After 251000 nodes, 71793 on tree, 11801.2 best solution, best possible 11262.4 (274.48 seconds)
After 252000 nodes, 72161 on tree, 11801.2 best solution, best possible 11262.4 (275.89 seconds)
After 253000 nodes, 71901 on tree, 11801.2 best solution, best possible 11262.4 (276.54 seconds)
After 254000 nodes, 72275 on tree, 11801.2 best solution, best possible 11264.6 (277.88 seconds)
After 255000 nodes, 72622 on tree, 11801.2 best solution, best possible 11265 (279.13 seconds)
After 256000 nodes, 72964 on tree, 11801.2 best solution, best possible 11265 (280.37 seconds)
After 257000 nodes, 72911 on tree, 11801.2 best solution, best possible 11265 (281.01 seconds)
After 258000 nodes, 73291 on tree, 11801.2 best solution, best possible 11267.1 (282.24 seconds)
After 259000 nodes, 73623 on tree, 11801.2 best solution, best possible 11267.2 (283.53 seconds)
After 260000 nodes, 73964 on tree, 11801.2 best solution, best possible 11267.2 (284.77 seconds)
After 261000 nodes, 73855 on tree, 11801.2 best solution, best possible 11267.2 (285.37 seconds)
After 262000 nodes, 74234 on tree, 11801.2 best solution, best possible 11269.4 (286.68 seconds)
After 263000 nodes, 74557 on tree, 11801.2 best solution, best possible 11269.4 (288.04 seconds)
After 264000 nodes, 74915 on tree, 11801.2 best solution, best possible 11269.4 (289.31 seconds)
After 265000 nodes, 74810 on tree, 11801.2 best solution, best possible 11269.4 (290.07 seconds)
After 266000 nodes, 75201 on tree, 11801.2 best solution, best possible 11271.7 (291.40 seconds)
After 267000 nodes, 75499 on tree, 11801.2 best solution, best possible 11271.7 (292.62 seconds)
After 268000 nodes, 75836 on tree, 11801.2 best solution, best possible 11271.7 (293.90 seconds)
After 269000 nodes, 75706 on tree, 11801.2 best solution, best possible 11271.7 (294.71 seconds)
After 270000 nodes, 76073 on tree, 11801.2 best solution, best possible 11274 (295.99 seconds)
After 271000 nodes, 76406 on tree, 11801.2 best solution, best possible 11274.1 (297.17 seconds)
After 272000 nodes, 76761 on tree, 11801.2 best solution, best possible 11274.1 (298.42 seconds)
After 273000 nodes, 76670 on tree, 11801.2 best solution, best possible 11274.1 (299.05 seconds)
After 274000 nodes, 77036 on tree, 11801.2 best solution, best possible 11276.2 (300.27 seconds)
After 275000 nodes, 77366 on tree, 11801.2 best solution, best possible 11276.3 (301.48 seconds)
After 276000 nodes, 77723 on tree, 11801.2 best solution, best possible 11276.3 (302.76 seconds)
After 277000 nodes, 77585 on tree, 11801.2 best solution, best possible 11276.3 (303.32 seconds)
After 278000 nodes, 77959 on tree, 11801.2 best solution, best possible 11278.5 (304.53 seconds)
After 279000 nodes, 78277 on tree, 11801.2 best solution, best possible 11278.5 (305.76 seconds)
After 280000 nodes, 78621 on tree, 11801.2 best solution, best possible 11278.5 (307.00 seconds)
After 281000 nodes, 78456 on tree, 11801.2 best solution, best possible 11278.5 (307.60 seconds)
After 282000 nodes, 78823 on tree, 11801.2 best solution, best possible 11280.7 (308.82 seconds)
After 283000 nodes, 79121 on tree, 11801.2 best solution, best possible 11281 (310.04 seconds)
After 284000 nodes, 79461 on tree, 11801.2 best solution, best possible 11281 (311.25 seconds)
After 285000 nodes, 79351 on tree, 11801.2 best solution, best possible 11281 (311.84 seconds)
After 286000 nodes, 79719 on tree, 11801.2 best solution, best possible 11282.9 (313.10 seconds)
After 287000 nodes, 80024 on tree, 11801.2 best solution, best possible 11282.9 (314.28 seconds)
After 288000 nodes, 80367 on tree, 11801.2 best solution, best possible 11282.9 (315.58 seconds)
After 289000 nodes, 80186 on tree, 11801.2 best solution, best possible 11282.9 (316.13 seconds)
After 290000 nodes, 80555 on tree, 11801.2 best solution, best possible 11285.1 (317.30 seconds)
After 291000 nodes, 80877 on tree, 11801.2 best solution, best possible 11285.2 (318.49 seconds)
After 292000 nodes, 81216 on tree, 11801.2 best solution, best possible 11285.2 (319.71 seconds)
After 293000 nodes, 81148 on tree, 11801.2 best solution, best possible 11285.2 (320.30 seconds)
After 294000 nodes, 81528 on tree, 11801.2 best solution, best possible 11287.2 (321.48 seconds)
After 295000 nodes, 81837 on tree, 11801.2 best solution, best possible 11287.3 (322.68 seconds)
After 296000 nodes, 82167 on tree, 11801.2 best solution, best possible 11287.3 (323.88 seconds)
After 297000 nodes, 82021 on tree, 11801.2 best solution, best possible 11287.3 (324.45 seconds)
After 298000 nodes, 82404 on tree, 11801.2 best solution, best possible 11289.4 (325.68 seconds)
After 299000 nodes, 82704 on tree, 11801.2 best solution, best possible 11289.4 (326.80 seconds)
After 300000 nodes, 83048 on tree, 11801.2 best solution, best possible 11289.4 (328.07 seconds)
After 301000 nodes, 82961 on tree, 11801.2 best solution, best possible 11289.4 (328.68 seconds)
After 302000 nodes, 83333 on tree, 11801.2 best solution, best possible 11291.8 (330.03 seconds)
After 303000 nodes, 83643 on tree, 11801.2 best solution, best possible 11291.9 (331.29 seconds)
After 304000 nodes, 83988 on tree, 11801.2 best solution, best possible 11291.9 (332.57 seconds)
After 305000 nodes, 83906 on tree, 11801.2 best solution, best possible 11291.9 (333.20 seconds)
After 306000 nodes, 84253 on tree, 11801.2 best solution, best possible 11294 (334.54 seconds)
After 307000 nodes, 84590 on tree, 11801.2 best solution, best possible 11294.1 (335.90 seconds)
After 308000 nodes, 84923 on tree, 11801.2 best solution, best possible 11294.1 (337.17 seconds)
After 309000 nodes, 84845 on tree, 11801.2 best solution, best possible 11294.1 (337.79 seconds)
After 310000 nodes, 85226 on tree, 11801.2 best solution, best possible 11296.2 (339.11 seconds)
After 311000 nodes, 85527 on tree, 11801.2 best solution, best possible 11296.3 (340.28 seconds)
After 312000 nodes, 85881 on tree, 11801.2 best solution, best possible 11296.3 (341.55 seconds)
After 313000 nodes, 85815 on tree, 11801.2 best solution, best possible 11296.3 (342.20 seconds)
After 314000 nodes, 86175 on tree, 11801.2 best solution, best possible 11298.3 (343.41 seconds)
After 315000 nodes, 86463 on tree, 11801.2 best solution, best possible 11298.4 (344.64 seconds)
After 316000 nodes, 86798 on tree, 11801.2 best solution, best possible 11298.4 (345.97 seconds)
After 317000 nodes, 86721 on tree, 11801.2 best solution, best possible 11298.4 (346.65 seconds)
After 318000 nodes, 87080 on tree, 11801.2 best solution, best possible 11300.4 (348.16 seconds)
After 319000 nodes, 87383 on tree, 11801.2 best solution, best possible 11300.4 (349.50 seconds)
After 320000 nodes, 87737 on tree, 11801.2 best solution, best possible 11300.4 (351.11 seconds)
After 321000 nodes, 87642 on tree, 11801.2 best solution, best possible 11300.4 (351.71 seconds)
After 322000 nodes, 88002 on tree, 11801.2 best solution, best possible 11302.4 (353.17 seconds)
After 323000 nodes, 88307 on tree, 11801.2 best solution, best possible 11302.4 (354.63 seconds)
After 324000 nodes, 88661 on tree, 11801.2 best solution, best possible 11302.4 (356.03 seconds)
After 325000 nodes, 88585 on tree, 11801.2 best solution, best possible 11302.4 (356.69 seconds)
After 326000 nodes, 88939 on tree, 11801.2 best solution, best possible 11304.5 (357.96 seconds)
After 327000 nodes, 89241 on tree, 11801.2 best solution, best possible 11304.5 (359.22 seconds)
After 328000 nodes, 89600 on tree, 11801.2 best solution, best possible 11304.5 (360.72 seconds)
After 329000 nodes, 89521 on tree, 11801.2 best solution, best possible 11304.5 (361.37 seconds)
After 330000 nodes, 89879 on tree, 11801.2 best solution, best possible 11306.6 (362.82 seconds)
After 331000 nodes, 90165 on tree, 11801.2 best solution, best possible 11306.6 (364.19 seconds)
After 332000 nodes, 90512 on tree, 11801.2 best solution, best possible 11306.6 (365.56 seconds)
After 333000 nodes, 90348 on tree, 11801.2 best solution, best possible 11306.6 (366.21 seconds)
After 334000 nodes, 90709 on tree, 11801.2 best solution, best possible 11308.6 (367.52 seconds)
After 335000 nodes, 91003 on tree, 11801.2 best solution, best possible 11308.6 (368.79 seconds)
After 336000 nodes, 91312 on tree, 11801.2 best solution, best possible 11308.6 (370.11 seconds)
After 337000 nodes, 91136 on tree, 11801.2 best solution, best possible 11308.6 (370.73 seconds)
After 338000 nodes, 91483 on tree, 11801.2 best solution, best possible 11310.6 (372.07 seconds)
After 339000 nodes, 91788 on tree, 11801.2 best solution, best possible 11310.6 (373.25 seconds)
After 340000 nodes, 92131 on tree, 11801.2 best solution, best possible 11310.6 (374.46 seconds)
After 341000 nodes, 91948 on tree, 11801.2 best solution, best possible 11310.6 (375.07 seconds)
After 342000 nodes, 92305 on tree, 11801.2 best solution, best possible 11312.5 (376.35 seconds)
After 343000 nodes, 92598 on tree, 11801.2 best solution, best possible 11312.5 (377.56 seconds)
After 344000 nodes, 92918 on tree, 11801.2 best solution, best possible 11312.5 (378.81 seconds)
After 345000 nodes, 92747 on tree, 11801.2 best solution, best possible 11312.5 (379.42 seconds)
After 346000 nodes, 93103 on tree, 11801.2 best solution, best possible 11314.4 (380.69 seconds)
After 347000 nodes, 93410 on tree, 11801.2 best solution, best possible 11314.4 (381.90 seconds)
After 348000 nodes, 93747 on tree, 11801.2 best solution, best possible 11314.4 (383.16 seconds)
After 349000 nodes, 93623 on tree, 11801.2 best solution, best possible 11314.4 (383.82 seconds)
After 350000 nodes, 93985 on tree, 11801.2 best solution, best possible 11316.3 (385.09 seconds)
After 351000 nodes, 94261 on tree, 11801.2 best solution, best possible 11316.4 (386.30 seconds)
After 352000 nodes, 94589 on tree, 11801.2 best solution, best possible 11316.4 (387.58 seconds)
After 353000 nodes, 94535 on tree, 11801.2 best solution, best possible 11316.4 (388.27 seconds)
After 354000 nodes, 94899 on tree, 11801.2 best solution, best possible 11318.3 (389.56 seconds)
After 355000 nodes, 95175 on tree, 11801.2 best solution, best possible 11318.4 (390.76 seconds)
After 356000 nodes, 95509 on tree, 11801.2 best solution, best possible 11318.4 (392.01 seconds)
After 357000 nodes, 95461 on tree, 11801.2 best solution, best possible 11318.4 (392.75 seconds)
After 358000 nodes, 95826 on tree, 11801.2 best solution, best possible 11320.3 (394.01 seconds)
After 359000 nodes, 96120 on tree, 11801.2 best solution, best possible 11320.3 (395.26 seconds)
After 360000 nodes, 96444 on tree, 11801.2 best solution, best possible 11320.3 (396.49 seconds)
After 361000 nodes, 96327 on tree, 11801.2 best solution, best possible 11320.3 (397.18 seconds)
After 362000 nodes, 96691 on tree, 11801.2 best solution, best possible 11322.1 (398.41 seconds)
After 363000 nodes, 96958 on tree, 11801.2 best solution, best possible 11322.2 (399.57 seconds)
After 364000 nodes, 97271 on tree, 11801.2 best solution, best possible 11322.2 (400.78 seconds)
After 365000 nodes, 96979 on tree, 11801.2 best solution, best possible 11322.2 (401.41 seconds)
After 366000 nodes, 97332 on tree, 11801.2 best solution, best possible 11324 (402.70 seconds)
After 367000 nodes, 97625 on tree, 11801.2 best solution, best possible 11324 (403.88 seconds)
After 368000 nodes, 97960 on tree, 11801.2 best solution, best possible 11324 (405.07 seconds)
After 369000 nodes, 97799 on tree, 11801.2 best solution, best possible 11324 (405.73 seconds)
After 370000 nodes, 98172 on tree, 11801.2 best solution, best possible 11326 (407.01 seconds)
After 371000 nodes, 98445 on tree, 11801.2 best solution, best possible 11326.1 (408.20 seconds)
After 372000 nodes, 98767 on tree, 11801.2 best solution, best possible 11326.1 (409.46 seconds)
After 373000 nodes, 98693 on tree, 11801.2 best solution, best possible 11326.1 (410.12 seconds)
After 374000 nodes, 99049 on tree, 11801.2 best solution, best possible 11327.8 (411.37 seconds)
After 375000 nodes, 99355 on tree, 11801.2 best solution, best possible 11327.9 (412.71 seconds)
After 376000 nodes, 99676 on tree, 11801.2 best solution, best possible 11327.9 (413.95 seconds)
After 377000 nodes, 99603 on tree, 11801.2 best solution, best possible 11327.9 (414.57 seconds)
After 378000 nodes, 99957 on tree, 11801.2 best solution, best possible 11329.7 (415.87 seconds)
After 379000 nodes, 100243 on tree, 11801.2 best solution, best possible 11329.7 (416.99 seconds)
After 380000 nodes, 100555 on tree, 11801.2 best solution, best possible 11329.7 (418.38 seconds)
After 381000 nodes, 100471 on tree, 11801.2 best solution, best possible 11329.7 (419.13 seconds)
After 382000 nodes, 100819 on tree, 11801.2 best solution, best possible 11331.4 (420.52 seconds)
After 383000 nodes, 101097 on tree, 11801.2 best solution, best possible 11331.4 (421.81 seconds)
After 384000 nodes, 101412 on tree, 11801.2 best solution, best possible 11331.4 (423.15 seconds)
After 385000 nodes, 101341 on tree, 11801.2 best solution, best possible 11331.4 (423.80 seconds)
After 386000 nodes, 101701 on tree, 11801.2 best solution, best possible 11333.4 (425.15 seconds)
After 387000 nodes, 101988 on tree, 11801.2 best solution, best possible 11333.4 (426.43 seconds)
After 388000 nodes, 102324 on tree, 11801.2 best solution, best possible 11333.4 (427.73 seconds)
After 389000 nodes, 102178 on tree, 11801.2 best solution, best possible 11333.4 (428.51 seconds)
After 390000 nodes, 102531 on tree, 11801.2 best solution, best possible 11335.1 (429.87 seconds)
After 391000 nodes, 102833 on tree, 11801.2 best solution, best possible 11335.1 (431.30 seconds)
After 392000 nodes, 103160 on tree, 11801.2 best solution, best possible 11335.1 (432.70 seconds)
After 393000 nodes, 102881 on tree, 11801.2 best solution, best possible 11335.1 (433.36 seconds)
After 394000 nodes, 103244 on tree, 11801.2 best solution, best possible 11337 (434.80 seconds)
After 395000 nodes, 103506 on tree, 11801.2 best solution, best possible 11337 (436.00 seconds)
After 396000 nodes, 103824 on tree, 11801.2 best solution, best possible 11337 (437.51 seconds)
After 397000 nodes, 103603 on tree, 11801.2 best solution, best possible 11337 (438.16 seconds)
After 398000 nodes, 103970 on tree, 11801.2 best solution, best possible 11338.8 (439.48 seconds)
After 399000 nodes, 104258 on tree, 11801.2 best solution, best possible 11338.8 (440.79 seconds)
After 400000 nodes, 104567 on tree, 11801.2 best solution, best possible 11338.8 (442.04 seconds)
After 401000 nodes, 104475 on tree, 11801.2 best solution, best possible 11338.8 (442.68 seconds)
After 402000 nodes, 104836 on tree, 11801.2 best solution, best possible 11340.5 (444.08 seconds)
After 403000 nodes, 105114 on tree, 11801.2 best solution, best possible 11340.6 (445.30 seconds)
After 404000 nodes, 105433 on tree, 11801.2 best solution, best possible 11340.6 (446.57 seconds)
After 405000 nodes, 105342 on tree, 11801.2 best solution, best possible 11340.6 (447.19 seconds)
After 406000 nodes, 105711 on tree, 11801.2 best solution, best possible 11342.3 (448.47 seconds)
After 407000 nodes, 105989 on tree, 11801.2 best solution, best possible 11342.3 (449.68 seconds)
After 408000 nodes, 106314 on tree, 11801.2 best solution, best possible 11342.3 (450.93 seconds)
After 409000 nodes, 106218 on tree, 11801.2 best solution, best possible 11342.3 (451.66 seconds)
After 410000 nodes, 106575 on tree, 11801.2 best solution, best possible 11344.1 (452.94 seconds)
After 411000 nodes, 106847 on tree, 11801.2 best solution, best possible 11344.1 (454.13 seconds)
After 412000 nodes, 107157 on tree, 11801.2 best solution, best possible 11344.1 (455.40 seconds)
After 413000 nodes, 107064 on tree, 11801.2 best solution, best possible 11344.1 (456.06 seconds)
After 414000 nodes, 107403 on tree, 11801.2 best solution, best possible 11345.9 (457.34 seconds)
After 415000 nodes, 107679 on tree, 11801.2 best solution, best possible 11345.9 (458.57 seconds)
After 416000 nodes, 107988 on tree, 11801.2 best solution, best possible 11345.9 (459.86 seconds)
After 417000 nodes, 107889 on tree, 11801.2 best solution, best possible 11345.9 (460.49 seconds)
After 418000 nodes, 108232 on tree, 11801.2 best solution, best possible 11347.7 (461.86 seconds)
After 419000 nodes, 108528 on tree, 11801.2 best solution, best possible 11347.7 (463.12 seconds)
After 420000 nodes, 108829 on tree, 11801.2 best solution, best possible 11347.7 (464.36 seconds)
After 421000 nodes, 108741 on tree, 11801.2 best solution, best possible 11347.7 (464.98 seconds)
After 422000 nodes, 109098 on tree, 11801.2 best solution, best possible 11349.5 (466.21 seconds)
After 423000 nodes, 109377 on tree, 11801.2 best solution, best possible 11349.5 (467.38 seconds)
After 424000 nodes, 109665 on tree, 11801.2 best solution, best possible 11349.5 (468.56 seconds)
After 425000 nodes, 109526 on tree, 11801.2 best solution, best possible 11349.5 (469.13 seconds)
After 426000 nodes, 109875 on tree, 11801.2 best solution, best possible 11351.2 (470.43 seconds)
After 427000 nodes, 110145 on tree, 11801.2 best solution, best possible 11351.2 (471.70 seconds)
After 428000 nodes, 110453 on tree, 11801.2 best solution, best possible 11351.2 (473.00 seconds)
After 429000 nodes, 110262 on tree, 11801.2 best solution, best possible 11351.2 (473.63 seconds)
After 430000 nodes, 110598 on tree, 11801.2 best solution, best possible 11353 (474.99 seconds)
After 431000 nodes, 110877 on tree, 11801.2 best solution, best possible 11353 (476.25 seconds)
After 432000 nodes, 111170 on tree, 11801.2 best solution, best possible 11353 (477.49 seconds)
After 433000 nodes, 110970 on tree, 11801.2 best solution, best possible 11353 (478.07 seconds)
After 434000 nodes, 111301 on tree, 11801.2 best solution, best possible 11354.7 (479.36 seconds)
After 435000 nodes, 111581 on tree, 11801.2 best solution, best possible 11354.7 (480.57 seconds)
After 436000 nodes, 111869 on tree, 11801.2 best solution, best possible 11354.7 (481.84 seconds)
After 437000 nodes, 111631 on tree, 11801.2 best solution, best possible 11354.7 (482.44 seconds)
After 438000 nodes, 111958 on tree, 11801.2 best solution, best possible 11356.4 (483.66 seconds)
After 439000 nodes, 112205 on tree, 11801.2 best solution, best possible 11356.4 (484.77 seconds)
After 440000 nodes, 112506 on tree, 11801.2 best solution, best possible 11356.4 (486.03 seconds)
After 441000 nodes, 112333 on tree, 11801.2 best solution, best possible 11356.4 (486.65 seconds)
After 442000 nodes, 112670 on tree, 11801.2 best solution, best possible 11358 (488.04 seconds)
After 443000 nodes, 112953 on tree, 11801.2 best solution, best possible 11358 (489.31 seconds)
After 444000 nodes, 113241 on tree, 11801.2 best solution, best possible 11358 (490.56 seconds)
After 445000 nodes, 113108 on tree, 11801.2 best solution, best possible 11358 (491.23 seconds)
After 446000 nodes, 113447 on tree, 11801.2 best solution, best possible 11359.7 (492.69 seconds)
After 447000 nodes, 113725 on tree, 11801.2 best solution, best possible 11359.7 (494.02 seconds)
After 448000 nodes, 114035 on tree, 11801.2 best solution, best possible 11359.7 (495.39 seconds)
After 449000 nodes, 113851 on tree, 11801.2 best solution, best possible 11359.7 (495.99 seconds)
After 450000 nodes, 114181 on tree, 11801.2 best solution, best possible 11361.3 (497.25 seconds)
After 451000 nodes, 114432 on tree, 11801.2 best solution, best possible 11361.3 (498.41 seconds)
After 452000 nodes, 114725 on tree, 11801.2 best solution, best possible 11361.3 (499.63 seconds)
After 453000 nodes, 114608 on tree, 11801.2 best solution, best possible 11361.3 (500.25 seconds)
After 454000 nodes, 114967 on tree, 11801.2 best solution, best possible 11362.9 (501.50 seconds)
After 455000 nodes, 115229 on tree, 11801.2 best solution, best possible 11362.9 (502.66 seconds)
After 456000 nodes, 115510 on tree, 11801.2 best solution, best possible 11362.9 (503.91 seconds)
After 457000 nodes, 115392 on tree, 11801.2 best solution, best possible 11362.9 (504.51 seconds)
After 458000 nodes, 115730 on tree, 11801.2 best solution, best possible 11364.5 (505.84 seconds)
After 459000 nodes, 115974 on tree, 11801.2 best solution, best possible 11364.6 (507.02 seconds)
After 460000 nodes, 116286 on tree, 11801.2 best solution, best possible 11364.6 (508.25 seconds)
After 461000 nodes, 116170 on tree, 11801.2 best solution, best possible 11364.6 (508.84 seconds)
After 462000 nodes, 116517 on tree, 11801.2 best solution, best possible 11366.1 (510.13 seconds)
After 463000 nodes, 116790 on tree, 11801.2 best solution, best possible 11366.2 (511.31 seconds)
After 464000 nodes, 117067 on tree, 11801.2 best solution, best possible 11366.2 (512.58 seconds)
After 465000 nodes, 116946 on tree, 11801.2 best solution, best possible 11366.2 (513.18 seconds)
After 466000 nodes, 117269 on tree, 11801.2 best solution, best possible 11367.7 (514.48 seconds)
After 467000 nodes, 117553 on tree, 11801.2 best solution, best possible 11367.7 (515.71 seconds)
After 468000 nodes, 117834 on tree, 11801.2 best solution, best possible 11367.7 (516.97 seconds)
After 469000 nodes, 117725 on tree, 11801.2 best solution, best possible 11367.7 (517.60 seconds)
After 470000 nodes, 118045 on tree, 11801.2 best solution, best possible 11369.3 (518.90 seconds)
After 471000 nodes, 118310 on tree, 11801.2 best solution, best possible 11369.3 (520.09 seconds)
After 472000 nodes, 118600 on tree, 11801.2 best solution, best possible 11369.3 (521.54 seconds)
After 473000 nodes, 118469 on tree, 11801.2 best solution, best possible 11369.3 (522.26 seconds)
After 474000 nodes, 118806 on tree, 11801.2 best solution, best possible 11370.9 (523.77 seconds)
After 475000 nodes, 119072 on tree, 11801.2 best solution, best possible 11370.9 (525.16 seconds)
After 476000 nodes, 119380 on tree, 11801.2 best solution, best possible 11370.9 (526.70 seconds)
After 477000 nodes, 119266 on tree, 11801.2 best solution, best possible 11370.9 (527.36 seconds)
After 478000 nodes, 119597 on tree, 11801.2 best solution, best possible 11372.4 (528.79 seconds)
After 479000 nodes, 119840 on tree, 11801.2 best solution, best possible 11372.4 (530.12 seconds)
After 480000 nodes, 120136 on tree, 11801.2 best solution, best possible 11372.4 (531.37 seconds)
After 481000 nodes, 120013 on tree, 11801.2 best solution, best possible 11372.4 (532.02 seconds)
After 482000 nodes, 120357 on tree, 11801.2 best solution, best possible 11374 (533.47 seconds)
After 483000 nodes, 120601 on tree, 11801.2 best solution, best possible 11374 (534.85 seconds)
After 484000 nodes, 120884 on tree, 11801.2 best solution, best possible 11374 (536.34 seconds)
After 485000 nodes, 120753 on tree, 11801.2 best solution, best possible 11374 (537.03 seconds)
After 486000 nodes, 121089 on tree, 11801.2 best solution, best possible 11375.5 (538.57 seconds)
After 487000 nodes, 121338 on tree, 11801.2 best solution, best possible 11375.5 (539.94 seconds)
After 488000 nodes, 121636 on tree, 11801.2 best solution, best possible 11375.5 (541.49 seconds)
After 489000 nodes, 121516 on tree, 11801.2 best solution, best possible 11375.5 (542.17 seconds)
After 490000 nodes, 121844 on tree, 11801.2 best solution, best possible 11377.1 (543.72 seconds)
After 491000 nodes, 122101 on tree, 11801.2 best solution, best possible 11377.1 (545.13 seconds)
After 492000 nodes, 122055 on tree, 11801.2 best solution, best possible 11377.1 (545.75 seconds)
After 493000 nodes, 122060 on tree, 11801.2 best solution, best possible 11377.1 (546.46 seconds)
After 494000 nodes, 121949 on tree, 11801.2 best solution, best possible 11377.1 (547.09 seconds)
After 495000 nodes, 121801 on tree, 11801.2 best solution, best possible 11377.1 (547.93 seconds)
After 496000 nodes, 122078 on tree, 11801.2 best solution, best possible 11377.1 (549.42 seconds)
After 497000 nodes, 121997 on tree, 11801.2 best solution, best possible 11377.1 (550.21 seconds)
After 498000 nodes, 121880 on tree, 11801.2 best solution, best possible 11377.1 (550.91 seconds)
After 499000 nodes, 122150 on tree, 11801.2 best solution, best possible 11377.1 (552.33 seconds)
After 500000 nodes, 122149 on tree, 11801.2 best solution, best possible 11377.1 (552.97 seconds)
After 501000 nodes, 121970 on tree, 11801.2 best solution, best possible 11377.1 (553.55 seconds)
After 502000 nodes, 121959 on tree, 11801.2 best solution, best possible 11377.1 (554.16 seconds)
After 503000 nodes, 121965 on tree, 11801.2 best solution, best possible 11377.1 (554.80 seconds)
After 504000 nodes, 121959 on tree, 11801.2 best solution, best possible 11377.1 (555.43 seconds)
After 505000 nodes, 121959 on tree, 11801.2 best solution, best possible 11377.1 (556.10 seconds)
After 506000 nodes, 121958 on tree, 11801.2 best solution, best possible 11377.1 (556.77 seconds)
After 507000 nodes, 121960 on tree, 11801.2 best solution, best possible 11377.1 (557.45 seconds)
After 508000 nodes, 121963 on tree, 11801.2 best solution, best possible 11377.1 (558.21 seconds)
After 509000 nodes, 121959 on tree, 11801.2 best solution, best possible 11377.1 (558.94 seconds)
After 510000 nodes, 121960 on tree, 11801.2 best solution, best possible 11377.1 (559.61 seconds)
After 511000 nodes, 121965 on tree, 11801.2 best solution, best possible 11377.1 (560.28 seconds)
After 512000 nodes, 121966 on tree, 11801.2 best solution, best possible 11377.1 (560.98 seconds)
After 513000 nodes, 121961 on tree, 11801.2 best solution, best possible 11377.1 (561.62 seconds)
After 514000 nodes, 121966 on tree, 11801.2 best solution, best possible 11377.1 (562.23 seconds)
After 515000 nodes, 121961 on tree, 11801.2 best solution, best possible 11377.1 (562.88 seconds)
After 516000 nodes, 121966 on tree, 11801.2 best solution, best possible 11377.1 (563.56 seconds)
After 517000 nodes, 121963 on tree, 11801.2 best solution, best possible 11377.1 (564.24 seconds)
After 518000 nodes, 121959 on tree, 11801.2 best solution, best possible 11377.1 (564.93 seconds)
After 519000 nodes, 121964 on tree, 11801.2 best solution, best possible 11377.1 (565.66 seconds)
After 520000 nodes, 121958 on tree, 11801.2 best solution, best possible 11377.1 (566.40 seconds)
After 521000 nodes, 121963 on tree, 11801.2 best solution, best possible 11377.1 (567.12 seconds)
After 522000 nodes, 121962 on tree, 11801.2 best solution, best possible 11377.1 (567.84 seconds)
After 523000 nodes, 121960 on tree, 11801.2 best solution, best possible 11377.1 (568.59 seconds)
After 524000 nodes, 121960 on tree, 11801.2 best solution, best possible 11377.1 (569.27 seconds)
After 525000 nodes, 121955 on tree, 11801.2 best solution, best possible 11377.1 (569.96 seconds)
After 526000 nodes, 121728 on tree, 11801.2 best solution, best possible 11377.1 (570.59 seconds)
After 527000 nodes, 122021 on tree, 11801.2 best solution, best possible 11377.1 (571.98 seconds)
After 528000 nodes, 121823 on tree, 11801.2 best solution, best possible 11377.1 (572.66 seconds)
After 529000 nodes, 121631 on tree, 11801.2 best solution, best possible 11377.1 (573.34 seconds)
After 530000 nodes, 121986 on tree, 11801.2 best solution, best possible 11379.5 (574.69 seconds)
After 531000 nodes, 121772 on tree, 11801.2 best solution, best possible 11379.5 (575.30 seconds)
After 532000 nodes, 122042 on tree, 11801.2 best solution, best possible 11379.5 (576.60 seconds)
After 533000 nodes, 121784 on tree, 11801.2 best solution, best possible 11379.5 (577.21 seconds)
After 534000 nodes, 122106 on tree, 11801.2 best solution, best possible 11380.5 (578.53 seconds)
After 535000 nodes, 121806 on tree, 11801.2 best solution, best possible 11380.5 (579.12 seconds)
After 536000 nodes, 122063 on tree, 11801.2 best solution, best possible 11380.5 (580.42 seconds)
After 537000 nodes, 121755 on tree, 11801.2 best solution, best possible 11380.5 (581.03 seconds)
After 538000 nodes, 122080 on tree, 11801.2 best solution, best possible 11381.5 (582.34 seconds)
After 539000 nodes, 121930 on tree, 11801.2 best solution, best possible 11381.5 (582.94 seconds)
After 540000 nodes, 121861 on tree, 11801.2 best solution, best possible 11381.5 (583.66 seconds)
After 541000 nodes, 121692 on tree, 11801.2 best solution, best possible 11381.5 (584.29 seconds)
After 542000 nodes, 122028 on tree, 11801.2 best solution, best possible 11382.2 (585.62 seconds)
After 543000 nodes, 122011 on tree, 11801.2 best solution, best possible 11382.2 (586.39 seconds)
After 544000 nodes, 122010 on tree, 11801.2 best solution, best possible 11382.2 (587.12 seconds)
After 545000 nodes, 122012 on tree, 11801.2 best solution, best possible 11382.2 (587.89 seconds)
After 546000 nodes, 122011 on tree, 11801.2 best solution, best possible 11382.2 (588.66 seconds)
After 547000 nodes, 121828 on tree, 11801.2 best solution, best possible 11382.2 (589.44 seconds)
After 548000 nodes, 122030 on tree, 11801.2 best solution, best possible 11382.2 (590.59 seconds)
After 549000 nodes, 121720 on tree, 11801.2 best solution, best possible 11382.2 (591.35 seconds)
After 550000 nodes, 122037 on tree, 11801.2 best solution, best possible 11383 (592.62 seconds)
After 551000 nodes, 121992 on tree, 11801.2 best solution, best possible 11383 (593.37 seconds)
After 552000 nodes, 121990 on tree, 11801.2 best solution, best possible 11383 (594.10 seconds)
After 553000 nodes, 121991 on tree, 11801.2 best solution, best possible 11383 (594.85 seconds)
After 554000 nodes, 121990 on tree, 11801.2 best solution, best possible 11383 (595.62 seconds)
After 555000 nodes, 121993 on tree, 11801.2 best solution, best possible 11383 (596.38 seconds)
After 556000 nodes, 121990 on tree, 11801.2 best solution, best possible 11383 (597.12 seconds)
After 557000 nodes, 121775 on tree, 11801.2 best solution, best possible 11383 (597.85 seconds)
After 558000 nodes, 122102 on tree, 11801.2 best solution, best possible 11383.7 (599.13 seconds)
After 559000 nodes, 121789 on tree, 11801.2 best solution, best possible 11383.7 (599.79 seconds)
After 560000 nodes, 122008 on tree, 11801.2 best solution, best possible 11383.7 (601.01 seconds)
After 561000 nodes, 121933 on tree, 11801.2 best solution, best possible 11383.7 (601.68 seconds)
After 562000 nodes, 121938 on tree, 11801.2 best solution, best possible 11383.7 (602.41 seconds)
After 563000 nodes, 121936 on tree, 11801.2 best solution, best possible 11383.7 (603.13 seconds)
After 564000 nodes, 121934 on tree, 11801.2 best solution, best possible 11383.7 (603.85 seconds)
After 565000 nodes, 121933 on tree, 11801.2 best solution, best possible 11383.7 (604.59 seconds)
After 566000 nodes, 121933 on tree, 11801.2 best solution, best possible 11383.7 (605.35 seconds)
After 567000 nodes, 121936 on tree, 11801.2 best solution, best possible 11383.7 (606.08 seconds)
After 568000 nodes, 121933 on tree, 11801.2 best solution, best possible 11383.7 (606.84 seconds)
After 569000 nodes, 121926 on tree, 11801.2 best solution, best possible 11383.7 (607.56 seconds)
After 570000 nodes, 121865 on tree, 11801.2 best solution, best possible 11383.7 (608.29 seconds)
After 571000 nodes, 122149 on tree, 11801.2 best solution, best possible 11383.7 (609.63 seconds)
After 572000 nodes, 121851 on tree, 11801.2 best solution, best possible 11383.7 (610.27 seconds)
After 573000 nodes, 121669 on tree, 11801.2 best solution, best possible 11383.7 (610.86 seconds)
After 574000 nodes, 122014 on tree, 11801.2 best solution, best possible 11385 (612.22 seconds)
After 575000 nodes, 121810 on tree, 11801.2 best solution, best possible 11385 (612.93 seconds)
After 576000 nodes, 122049 on tree, 11801.2 best solution, best possible 11385 (614.14 seconds)
After 577000 nodes, 121882 on tree, 11801.2 best solution, best possible 11385 (614.84 seconds)
After 578000 nodes, 122226 on tree, 11801.2 best solution, best possible 11386 (616.17 seconds)
After 579000 nodes, 122169 on tree, 11801.2 best solution, best possible 11386 (616.84 seconds)
After 580000 nodes, 122170 on tree, 11801.2 best solution, best possible 11386 (617.46 seconds)
After 581000 nodes, 122166 on tree, 11801.2 best solution, best possible 11386 (618.11 seconds)
After 582000 nodes, 122166 on tree, 11801.2 best solution, best possible 11386 (618.85 seconds)
After 583000 nodes, 122168 on tree, 11801.2 best solution, best possible 11386 (619.50 seconds)
After 584000 nodes, 122170 on tree, 11801.2 best solution, best possible 11386 (620.20 seconds)
After 585000 nodes, 122160 on tree, 11801.2 best solution, best possible 11386 (620.85 seconds)
After 586000 nodes, 122065 on tree, 11801.2 best solution, best possible 11386 (621.53 seconds)
After 587000 nodes, 121988 on tree, 11801.2 best solution, best possible 11386 (622.23 seconds)
After 588000 nodes, 121895 on tree, 11801.2 best solution, best possible 11386 (622.94 seconds)
After 589000 nodes, 121796 on tree, 11801.2 best solution, best possible 11386 (623.53 seconds)
After 590000 nodes, 122109 on tree, 11801.2 best solution, best possible 11386.7 (624.86 seconds)
After 591000 nodes, 122081 on tree, 11801.2 best solution, best possible 11386.7 (625.58 seconds)
After 592000 nodes, 122075 on tree, 11801.2 best solution, best possible 11386.7 (626.34 seconds)
After 593000 nodes, 122077 on tree, 11801.2 best solution, best possible 11386.7 (627.10 seconds)
After 594000 nodes, 121882 on tree, 11801.2 best solution, best possible 11386.7 (627.80 seconds)
After 595000 nodes, 122107 on tree, 11801.2 best solution, best possible 11386.7 (629.08 seconds)
After 596000 nodes, 121834 on tree, 11801.2 best solution, best possible 11386.7 (629.73 seconds)
After 597000 nodes, 121625 on tree, 11801.2 best solution, best possible 11386.7 (630.34 seconds)
After 598000 nodes, 121968 on tree, 11801.2 best solution, best possible 11387.5 (631.79 seconds)
After 599000 nodes, 121779 on tree, 11801.2 best solution, best possible 11387.5 (632.46 seconds)
After 600000 nodes, 122040 on tree, 11801.2 best solution, best possible 11387.5 (633.77 seconds)
After 601000 nodes, 121840 on tree, 11801.2 best solution, best possible 11387.5 (634.50 seconds)
After 602000 nodes, 122181 on tree, 11801.2 best solution, best possible 11388.6 (635.85 seconds)
After 603000 nodes, 122145 on tree, 11801.2 best solution, best possible 11388.6 (636.63 seconds)
After 604000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (637.36 seconds)
After 605000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (638.02 seconds)
After 606000 nodes, 122097 on tree, 11801.2 best solution, best possible 11388.6 (638.66 seconds)
After 607000 nodes, 122094 on tree, 11801.2 best solution, best possible 11388.6 (639.30 seconds)
After 608000 nodes, 122100 on tree, 11801.2 best solution, best possible 11388.6 (639.98 seconds)
After 609000 nodes, 122094 on tree, 11801.2 best solution, best possible 11388.6 (640.66 seconds)
After 610000 nodes, 122093 on tree, 11801.2 best solution, best possible 11388.6 (641.29 seconds)
After 611000 nodes, 122093 on tree, 11801.2 best solution, best possible 11388.6 (641.93 seconds)
After 612000 nodes, 122098 on tree, 11801.2 best solution, best possible 11388.6 (642.59 seconds)
After 613000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (643.24 seconds)
After 614000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (643.92 seconds)
After 615000 nodes, 122094 on tree, 11801.2 best solution, best possible 11388.6 (644.64 seconds)
After 616000 nodes, 122096 on tree, 11801.2 best solution, best possible 11388.6 (645.35 seconds)
After 617000 nodes, 122099 on tree, 11801.2 best solution, best possible 11388.6 (646.03 seconds)
After 618000 nodes, 122096 on tree, 11801.2 best solution, best possible 11388.6 (646.72 seconds)
After 619000 nodes, 122098 on tree, 11801.2 best solution, best possible 11388.6 (647.39 seconds)
After 620000 nodes, 122094 on tree, 11801.2 best solution, best possible 11388.6 (648.07 seconds)
After 621000 nodes, 122098 on tree, 11801.2 best solution, best possible 11388.6 (648.76 seconds)
After 622000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (649.45 seconds)
After 623000 nodes, 122096 on tree, 11801.2 best solution, best possible 11388.6 (650.16 seconds)
After 624000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (650.83 seconds)
After 625000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (651.50 seconds)
After 626000 nodes, 122096 on tree, 11801.2 best solution, best possible 11388.6 (652.22 seconds)
After 627000 nodes, 122094 on tree, 11801.2 best solution, best possible 11388.6 (652.91 seconds)
After 628000 nodes, 122094 on tree, 11801.2 best solution, best possible 11388.6 (653.59 seconds)
After 629000 nodes, 122105 on tree, 11801.2 best solution, best possible 11388.6 (654.30 seconds)
After 630000 nodes, 122096 on tree, 11801.2 best solution, best possible 11388.6 (654.99 seconds)
After 631000 nodes, 122094 on tree, 11801.2 best solution, best possible 11388.6 (655.69 seconds)
After 632000 nodes, 122098 on tree, 11801.2 best solution, best possible 11388.6 (656.42 seconds)
After 633000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (657.09 seconds)
After 634000 nodes, 122097 on tree, 11801.2 best solution, best possible 11388.6 (657.81 seconds)
After 635000 nodes, 122097 on tree, 11801.2 best solution, best possible 11388.6 (658.48 seconds)
After 636000 nodes, 122098 on tree, 11801.2 best solution, best possible 11388.6 (659.25 seconds)
After 637000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (659.94 seconds)
After 638000 nodes, 122094 on tree, 11801.2 best solution, best possible 11388.6 (660.66 seconds)
After 639000 nodes, 122094 on tree, 11801.2 best solution, best possible 11388.6 (661.37 seconds)
After 640000 nodes, 122094 on tree, 11801.2 best solution, best possible 11388.6 (662.10 seconds)
After 641000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (662.99 seconds)
After 642000 nodes, 122099 on tree, 11801.2 best solution, best possible 11388.6 (663.78 seconds)
After 643000 nodes, 122097 on tree, 11801.2 best solution, best possible 11388.6 (664.56 seconds)
After 644000 nodes, 122099 on tree, 11801.2 best solution, best possible 11388.6 (665.33 seconds)
After 645000 nodes, 122098 on tree, 11801.2 best solution, best possible 11388.6 (666.08 seconds)
After 646000 nodes, 122096 on tree, 11801.2 best solution, best possible 11388.6 (666.81 seconds)
After 647000 nodes, 122096 on tree, 11801.2 best solution, best possible 11388.6 (667.53 seconds)
After 648000 nodes, 122093 on tree, 11801.2 best solution, best possible 11388.6 (668.25 seconds)
After 649000 nodes, 122096 on tree, 11801.2 best solution, best possible 11388.6 (668.97 seconds)
After 650000 nodes, 122093 on tree, 11801.2 best solution, best possible 11388.6 (669.77 seconds)
After 651000 nodes, 122098 on tree, 11801.2 best solution, best possible 11388.6 (670.48 seconds)
After 652000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (671.17 seconds)
After 653000 nodes, 122093 on tree, 11801.2 best solution, best possible 11388.6 (671.93 seconds)
After 654000 nodes, 122098 on tree, 11801.2 best solution, best possible 11388.6 (672.67 seconds)
After 655000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (673.43 seconds)
After 656000 nodes, 122103 on tree, 11801.2 best solution, best possible 11388.6 (674.13 seconds)
After 657000 nodes, 122099 on tree, 11801.2 best solution, best possible 11388.6 (674.87 seconds)
After 658000 nodes, 122100 on tree, 11801.2 best solution, best possible 11388.6 (675.61 seconds)
After 659000 nodes, 122096 on tree, 11801.2 best solution, best possible 11388.6 (676.34 seconds)
After 660000 nodes, 122093 on tree, 11801.2 best solution, best possible 11388.6 (677.07 seconds)
After 661000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (677.79 seconds)
After 662000 nodes, 122100 on tree, 11801.2 best solution, best possible 11388.6 (678.48 seconds)
After 663000 nodes, 122099 on tree, 11801.2 best solution, best possible 11388.6 (679.19 seconds)
After 664000 nodes, 122098 on tree, 11801.2 best solution, best possible 11388.6 (679.89 seconds)
After 665000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (680.61 seconds)
After 666000 nodes, 122096 on tree, 11801.2 best solution, best possible 11388.6 (681.33 seconds)
After 667000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (682.06 seconds)
After 668000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (682.73 seconds)
After 669000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (683.40 seconds)
After 670000 nodes, 122100 on tree, 11801.2 best solution, best possible 11388.6 (684.11 seconds)
After 671000 nodes, 122093 on tree, 11801.2 best solution, best possible 11388.6 (684.82 seconds)
After 672000 nodes, 122094 on tree, 11801.2 best solution, best possible 11388.6 (685.55 seconds)
After 673000 nodes, 122094 on tree, 11801.2 best solution, best possible 11388.6 (686.26 seconds)
After 674000 nodes, 122097 on tree, 11801.2 best solution, best possible 11388.6 (686.96 seconds)
After 675000 nodes, 122094 on tree, 11801.2 best solution, best possible 11388.6 (687.69 seconds)
After 676000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (688.37 seconds)
After 677000 nodes, 122100 on tree, 11801.2 best solution, best possible 11388.6 (689.10 seconds)
After 678000 nodes, 122096 on tree, 11801.2 best solution, best possible 11388.6 (689.78 seconds)
After 679000 nodes, 122098 on tree, 11801.2 best solution, best possible 11388.6 (690.49 seconds)
After 680000 nodes, 122098 on tree, 11801.2 best solution, best possible 11388.6 (691.20 seconds)
After 681000 nodes, 122097 on tree, 11801.2 best solution, best possible 11388.6 (691.88 seconds)
After 682000 nodes, 122097 on tree, 11801.2 best solution, best possible 11388.6 (692.59 seconds)
After 683000 nodes, 122094 on tree, 11801.2 best solution, best possible 11388.6 (693.31 seconds)
After 684000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (694.04 seconds)
After 685000 nodes, 122096 on tree, 11801.2 best solution, best possible 11388.6 (694.77 seconds)
After 686000 nodes, 122098 on tree, 11801.2 best solution, best possible 11388.6 (695.48 seconds)
After 687000 nodes, 122094 on tree, 11801.2 best solution, best possible 11388.6 (696.18 seconds)
After 688000 nodes, 122100 on tree, 11801.2 best solution, best possible 11388.6 (696.88 seconds)
After 689000 nodes, 122094 on tree, 11801.2 best solution, best possible 11388.6 (697.59 seconds)
After 690000 nodes, 122094 on tree, 11801.2 best solution, best possible 11388.6 (698.35 seconds)
After 691000 nodes, 122096 on tree, 11801.2 best solution, best possible 11388.6 (699.10 seconds)
After 692000 nodes, 122098 on tree, 11801.2 best solution, best possible 11388.6 (699.82 seconds)
After 693000 nodes, 122094 on tree, 11801.2 best solution, best possible 11388.6 (700.51 seconds)
After 694000 nodes, 122097 on tree, 11801.2 best solution, best possible 11388.6 (701.20 seconds)
After 695000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (701.92 seconds)
After 696000 nodes, 122100 on tree, 11801.2 best solution, best possible 11388.6 (702.65 seconds)
After 697000 nodes, 122093 on tree, 11801.2 best solution, best possible 11388.6 (703.30 seconds)
After 698000 nodes, 122099 on tree, 11801.2 best solution, best possible 11388.6 (704.00 seconds)
After 699000 nodes, 122099 on tree, 11801.2 best solution, best possible 11388.6 (704.74 seconds)
After 700000 nodes, 122096 on tree, 11801.2 best solution, best possible 11388.6 (705.49 seconds)
After 701000 nodes, 122101 on tree, 11801.2 best solution, best possible 11388.6 (706.20 seconds)
After 702000 nodes, 122094 on tree, 11801.2 best solution, best possible 11388.6 (706.90 seconds)
After 703000 nodes, 122096 on tree, 11801.2 best solution, best possible 11388.6 (707.65 seconds)
After 704000 nodes, 122098 on tree, 11801.2 best solution, best possible 11388.6 (708.41 seconds)
After 705000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (709.10 seconds)
After 706000 nodes, 122094 on tree, 11801.2 best solution, best possible 11388.6 (709.82 seconds)
After 707000 nodes, 122096 on tree, 11801.2 best solution, best possible 11388.6 (710.55 seconds)
After 708000 nodes, 122100 on tree, 11801.2 best solution, best possible 11388.6 (711.26 seconds)
After 709000 nodes, 122096 on tree, 11801.2 best solution, best possible 11388.6 (711.95 seconds)
After 710000 nodes, 122098 on tree, 11801.2 best solution, best possible 11388.6 (712.65 seconds)
After 711000 nodes, 122093 on tree, 11801.2 best solution, best possible 11388.6 (713.34 seconds)
After 712000 nodes, 122100 on tree, 11801.2 best solution, best possible 11388.6 (714.04 seconds)
After 713000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (714.74 seconds)
After 714000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (715.46 seconds)
After 715000 nodes, 122097 on tree, 11801.2 best solution, best possible 11388.6 (716.14 seconds)
After 716000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (716.84 seconds)
After 717000 nodes, 122099 on tree, 11801.2 best solution, best possible 11388.6 (717.56 seconds)
After 718000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (718.33 seconds)
After 719000 nodes, 122099 on tree, 11801.2 best solution, best possible 11388.6 (719.14 seconds)
After 720000 nodes, 122093 on tree, 11801.2 best solution, best possible 11388.6 (719.89 seconds)
After 721000 nodes, 122102 on tree, 11801.2 best solution, best possible 11388.6 (720.70 seconds)
After 722000 nodes, 122098 on tree, 11801.2 best solution, best possible 11388.6 (721.46 seconds)
After 723000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (722.32 seconds)
After 724000 nodes, 122094 on tree, 11801.2 best solution, best possible 11388.6 (723.17 seconds)
After 725000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (724.05 seconds)
After 726000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (724.81 seconds)
After 727000 nodes, 122099 on tree, 11801.2 best solution, best possible 11388.6 (725.68 seconds)
After 728000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (726.43 seconds)
After 729000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (727.08 seconds)
After 730000 nodes, 122100 on tree, 11801.2 best solution, best possible 11388.6 (727.75 seconds)
After 731000 nodes, 122094 on tree, 11801.2 best solution, best possible 11388.6 (728.41 seconds)
After 732000 nodes, 122095 on tree, 11801.2 best solution, best possible 11388.6 (729.06 seconds)
After 733000 nodes, 122093 on tree, 11801.2 best solution, best possible 11388.6 (729.73 seconds)
After 734000 nodes, 122100 on tree, 11801.2 best solution, best possible 11388.6 (730.41 seconds)
After 735000 nodes, 122097 on tree, 11801.2 best solution, best possible 11388.6 (731.29 seconds)
After 736000 nodes, 122093 on tree, 11801.2 best solution, best possible 11388.6 (732.07 seconds)
After 737000 nodes, 122099 on tree, 11801.2 best solution, best possible 11388.6 (732.77 seconds)
After 738000 nodes, 122096 on tree, 11801.2 best solution, best possible 11388.6 (733.60 seconds)
After 739000 nodes, 122096 on tree, 11801.2 best solution, best possible 11388.6 (734.44 seconds)
After 740000 nodes, 122097 on tree, 11801.2 best solution, best possible 11388.6 (735.29 seconds)
After 741000 nodes, 122096 on tree, 11801.2 best solution, best possible 11388.6 (736.07 seconds)
After 742000 nodes, 122099 on tree, 11801.2 best solution, best possible 11388.6 (736.91 seconds)
After 743000 nodes, 122100 on tree, 11801.2 best solution, best possible 11388.6 (737.77 seconds)
After 744000 nodes, 122100 on tree, 11801.2 best solution, best possible 11388.6 (738.48 seconds)
After 745000 nodes, 122097 on tree, 11801.2 best solution, best possible 11388.6 (739.25 seconds)
After 746000 nodes, 122099 on tree, 11801.2 best solution, best possible 11388.6 (740.09 seconds)
After 747000 nodes, 122080 on tree, 11801.2 best solution, best possible 11388.6 (740.85 seconds)
After 748000 nodes, 122018 on tree, 11801.2 best solution, best possible 11388.6 (741.60 seconds)
After 749000 nodes, 121752 on tree, 11801.2 best solution, best possible 11388.6 (742.23 seconds)
After 750000 nodes, 122058 on tree, 11801.2 best solution, best possible 11389.3 (743.75 seconds)
After 751000 nodes, 121768 on tree, 11801.2 best solution, best possible 11389.3 (744.39 seconds)
After 752000 nodes, 121980 on tree, 11801.2 best solution, best possible 11389.3 (745.74 seconds)
After 753000 nodes, 121672 on tree, 11801.2 best solution, best possible 11389.3 (746.33 seconds)
After 754000 nodes, 121989 on tree, 11801.2 best solution, best possible 11390.1 (747.73 seconds)
After 755000 nodes, 121720 on tree, 11801.2 best solution, best possible 11390.1 (748.45 seconds)
After 756000 nodes, 121964 on tree, 11801.2 best solution, best possible 11390.1 (749.79 seconds)
After 757000 nodes, 121706 on tree, 11801.2 best solution, best possible 11390.1 (750.47 seconds)
After 758000 nodes, 122021 on tree, 11801.2 best solution, best possible 11391.1 (751.97 seconds)
After 759000 nodes, 121769 on tree, 11801.2 best solution, best possible 11391.1 (752.70 seconds)
After 760000 nodes, 122015 on tree, 11801.2 best solution, best possible 11391.1 (754.01 seconds)
After 761000 nodes, 121756 on tree, 11801.2 best solution, best possible 11391.1 (754.70 seconds)
After 762000 nodes, 122092 on tree, 11801.2 best solution, best possible 11392.1 (756.24 seconds)
After 763000 nodes, 121860 on tree, 11801.2 best solution, best possible 11392.1 (756.94 seconds)
After 764000 nodes, 122101 on tree, 11801.2 best solution, best possible 11392.1 (758.47 seconds)
After 765000 nodes, 121889 on tree, 11801.2 best solution, best possible 11392.1 (759.16 seconds)
After 766000 nodes, 122225 on tree, 11801.2 best solution, best possible 11393.1 (760.78 seconds)
After 767000 nodes, 122045 on tree, 11801.2 best solution, best possible 11393.1 (761.42 seconds)
After 768000 nodes, 121793 on tree, 11801.2 best solution, best possible 11393.1 (762.05 seconds)
After 769000 nodes, 121618 on tree, 11801.2 best solution, best possible 11393.1 (762.74 seconds)
After 770000 nodes, 121962 on tree, 11801.2 best solution, best possible 11393.8 (764.38 seconds)
After 771000 nodes, 121737 on tree, 11801.2 best solution, best possible 11393.8 (765.02 seconds)
After 772000 nodes, 121945 on tree, 11801.2 best solution, best possible 11393.9 (766.27 seconds)
After 773000 nodes, 121753 on tree, 11801.2 best solution, best possible 11393.9 (766.94 seconds)
After 774000 nodes, 122071 on tree, 11801.2 best solution, best possible 11394.7 (768.34 seconds)
After 775000 nodes, 121868 on tree, 11801.2 best solution, best possible 11394.7 (769.07 seconds)
After 776000 nodes, 122101 on tree, 11801.2 best solution, best possible 11394.7 (770.38 seconds)
After 777000 nodes, 121894 on tree, 11801.2 best solution, best possible 11394.7 (771.03 seconds)
After 778000 nodes, 122201 on tree, 11801.2 best solution, best possible 11395.7 (772.44 seconds)
After 779000 nodes, 122023 on tree, 11801.2 best solution, best possible 11395.7 (773.06 seconds)
After 780000 nodes, 121801 on tree, 11801.2 best solution, best possible 11395.7 (773.74 seconds)
After 781000 nodes, 121600 on tree, 11801.2 best solution, best possible 11395.7 (774.42 seconds)
After 782000 nodes, 121921 on tree, 11801.2 best solution, best possible 11396.5 (775.78 seconds)
After 783000 nodes, 122130 on tree, 11801.2 best solution, best possible 11396.5 (777.05 seconds)
After 784000 nodes, 121942 on tree, 11801.2 best solution, best possible 11396.5 (777.68 seconds)
After 785000 nodes, 121772 on tree, 11801.2 best solution, best possible 11396.5 (778.40 seconds)
After 786000 nodes, 122113 on tree, 11801.2 best solution, best possible 11397.3 (779.81 seconds)
After 787000 nodes, 121886 on tree, 11801.2 best solution, best possible 11397.3 (780.49 seconds)
After 788000 nodes, 122102 on tree, 11801.2 best solution, best possible 11397.3 (781.75 seconds)
After 789000 nodes, 121848 on tree, 11801.2 best solution, best possible 11397.3 (782.38 seconds)
After 790000 nodes, 122204 on tree, 11801.2 best solution, best possible 11398.2 (783.74 seconds)
After 791000 nodes, 122030 on tree, 11801.2 best solution, best possible 11398.2 (784.35 seconds)
After 792000 nodes, 121806 on tree, 11801.2 best solution, best possible 11398.2 (785.00 seconds)
After 793000 nodes, 121619 on tree, 11801.2 best solution, best possible 11398.2 (785.57 seconds)
After 794000 nodes, 121924 on tree, 11801.2 best solution, best possible 11398.9 (786.87 seconds)
After 795000 nodes, 121703 on tree, 11801.2 best solution, best possible 11398.9 (787.49 seconds)
After 796000 nodes, 121921 on tree, 11801.2 best solution, best possible 11398.9 (788.65 seconds)
After 797000 nodes, 121625 on tree, 11801.2 best solution, best possible 11398.9 (789.21 seconds)
After 798000 nodes, 121948 on tree, 11801.2 best solution, best possible 11399.7 (790.64 seconds)
After 799000 nodes, 121756 on tree, 11801.2 best solution, best possible 11399.7 (791.28 seconds)
After 800000 nodes, 121985 on tree, 11801.2 best solution, best possible 11399.7 (792.49 seconds)
After 801000 nodes, 121819 on tree, 11801.2 best solution, best possible 11399.7 (793.16 seconds)
After 802000 nodes, 122147 on tree, 11801.2 best solution, best possible 11400.7 (794.52 seconds)
After 803000 nodes, 121974 on tree, 11801.2 best solution, best possible 11400.7 (795.15 seconds)
After 804000 nodes, 121768 on tree, 11801.2 best solution, best possible 11400.7 (795.81 seconds)
After 805000 nodes, 121432 on tree, 11801.2 best solution, best possible 11400.7 (796.39 seconds)
After 806000 nodes, 121774 on tree, 11801.2 best solution, best possible 11401.4 (797.77 seconds)
After 807000 nodes, 121965 on tree, 11801.2 best solution, best possible 11401.4 (798.97 seconds)
After 808000 nodes, 121800 on tree, 11801.2 best solution, best possible 11401.4 (799.64 seconds)
After 809000 nodes, 121527 on tree, 11801.2 best solution, best possible 11401.4 (800.21 seconds)
After 810000 nodes, 121866 on tree, 11801.2 best solution, best possible 11402.2 (801.57 seconds)
After 811000 nodes, 122102 on tree, 11801.2 best solution, best possible 11402.2 (802.89 seconds)
After 812000 nodes, 121935 on tree, 11801.2 best solution, best possible 11402.2 (803.59 seconds)
After 813000 nodes, 121723 on tree, 11801.2 best solution, best possible 11402.2 (804.35 seconds)
After 814000 nodes, 122043 on tree, 11801.2 best solution, best possible 11403.1 (805.85 seconds)
After 815000 nodes, 121857 on tree, 11801.2 best solution, best possible 11403.1 (806.55 seconds)
After 816000 nodes, 122100 on tree, 11801.2 best solution, best possible 11403.1 (807.82 seconds)
After 817000 nodes, 121849 on tree, 11801.2 best solution, best possible 11403.1 (808.46 seconds)
After 818000 nodes, 122168 on tree, 11801.2 best solution, best possible 11404.1 (809.88 seconds)
After 819000 nodes, 121956 on tree, 11801.2 best solution, best possible 11404.1 (810.49 seconds)
After 820000 nodes, 121740 on tree, 11801.2 best solution, best possible 11404.1 (811.16 seconds)
After 821000 nodes, 121645 on tree, 11801.2 best solution, best possible 11404.1 (811.85 seconds)
After 822000 nodes, 121996 on tree, 11801.2 best solution, best possible 11404.8 (813.29 seconds)
After 823000 nodes, 121783 on tree, 11801.2 best solution, best possible 11404.8 (813.96 seconds)
After 824000 nodes, 121957 on tree, 11801.2 best solution, best possible 11404.8 (815.11 seconds)
After 825000 nodes, 121740 on tree, 11801.2 best solution, best possible 11404.8 (815.75 seconds)
After 826000 nodes, 122065 on tree, 11801.2 best solution, best possible 11405.6 (817.08 seconds)
After 827000 nodes, 121841 on tree, 11801.2 best solution, best possible 11405.6 (817.72 seconds)
After 828000 nodes, 122066 on tree, 11801.2 best solution, best possible 11405.6 (818.99 seconds)
After 829000 nodes, 121842 on tree, 11801.2 best solution, best possible 11405.6 (819.68 seconds)
After 830000 nodes, 122160 on tree, 11801.2 best solution, best possible 11406.5 (821.08 seconds)
After 831000 nodes, 122103 on tree, 11801.2 best solution, best possible 11406.5 (821.82 seconds)
After 832000 nodes, 122108 on tree, 11801.2 best solution, best possible 11406.5 (822.62 seconds)
After 833000 nodes, 122102 on tree, 11801.2 best solution, best possible 11406.5 (823.43 seconds)
After 834000 nodes, 122105 on tree, 11801.2 best solution, best possible 11406.5 (824.16 seconds)
After 835000 nodes, 122101 on tree, 11801.2 best solution, best possible 11406.5 (824.86 seconds)
After 836000 nodes, 122102 on tree, 11801.2 best solution, best possible 11406.5 (825.72 seconds)
After 837000 nodes, 122104 on tree, 11801.2 best solution, best possible 11406.5 (826.63 seconds)
After 838000 nodes, 122104 on tree, 11801.2 best solution, best possible 11406.5 (827.46 seconds)
After 839000 nodes, 122101 on tree, 11801.2 best solution, best possible 11406.5 (828.32 seconds)
After 840000 nodes, 122104 on tree, 11801.2 best solution, best possible 11406.5 (829.18 seconds)
After 841000 nodes, 122104 on tree, 11801.2 best solution, best possible 11406.5 (830.08 seconds)
After 842000 nodes, 122068 on tree, 11801.2 best solution, best possible 11406.5 (830.80 seconds)
After 843000 nodes, 122069 on tree, 11801.2 best solution, best possible 11406.5 (831.62 seconds)
After 844000 nodes, 122069 on tree, 11801.2 best solution, best possible 11406.5 (832.35 seconds)
After 845000 nodes, 122000 on tree, 11801.2 best solution, best possible 11406.5 (833.01 seconds)
After 846000 nodes, 122005 on tree, 11801.2 best solution, best possible 11406.5 (833.65 seconds)
After 847000 nodes, 121960 on tree, 11801.2 best solution, best possible 11406.5 (834.31 seconds)
After 848000 nodes, 121726 on tree, 11801.2 best solution, best possible 11406.5 (834.94 seconds)
After 849000 nodes, 121449 on tree, 11801.2 best solution, best possible 11406.5 (835.52 seconds)
After 850000 nodes, 121764 on tree, 11801.2 best solution, best possible 11407.2 (836.88 seconds)
After 851000 nodes, 121980 on tree, 11801.2 best solution, best possible 11407.2 (838.18 seconds)
After 852000 nodes, 121751 on tree, 11801.2 best solution, best possible 11407.2 (838.85 seconds)
After 853000 nodes, 121735 on tree, 11801.2 best solution, best possible 11407.2 (839.73 seconds)
After 854000 nodes, 122078 on tree, 11801.2 best solution, best possible 11407.9 (841.08 seconds)
After 855000 nodes, 121841 on tree, 11801.2 best solution, best possible 11407.9 (841.78 seconds)
After 856000 nodes, 122068 on tree, 11801.2 best solution, best possible 11407.9 (843.12 seconds)
After 857000 nodes, 121802 on tree, 11801.2 best solution, best possible 11407.9 (843.76 seconds)
After 858000 nodes, 122144 on tree, 11801.2 best solution, best possible 11408.9 (845.14 seconds)
After 859000 nodes, 122087 on tree, 11801.2 best solution, best possible 11408.9 (845.86 seconds)
After 860000 nodes, 122086 on tree, 11801.2 best solution, best possible 11408.9 (846.56 seconds)
After 861000 nodes, 122030 on tree, 11801.2 best solution, best possible 11408.9 (847.26 seconds)
After 862000 nodes, 121841 on tree, 11801.2 best solution, best possible 11408.9 (848.04 seconds)
After 863000 nodes, 122100 on tree, 11801.2 best solution, best possible 11408.9 (849.55 seconds)
After 864000 nodes, 122052 on tree, 11801.2 best solution, best possible 11408.9 (850.31 seconds)
After 865000 nodes, 122054 on tree, 11801.2 best solution, best possible 11408.9 (851.14 seconds)
After 866000 nodes, 122051 on tree, 11801.2 best solution, best possible 11408.9 (851.97 seconds)
After 867000 nodes, 122057 on tree, 11801.2 best solution, best possible 11408.9 (852.77 seconds)
After 868000 nodes, 122052 on tree, 11801.2 best solution, best possible 11408.9 (853.58 seconds)
After 869000 nodes, 122053 on tree, 11801.2 best solution, best possible 11408.9 (854.39 seconds)
After 870000 nodes, 122051 on tree, 11801.2 best solution, best possible 11408.9 (855.18 seconds)
After 871000 nodes, 122055 on tree, 11801.2 best solution, best possible 11408.9 (856.03 seconds)
After 872000 nodes, 122053 on tree, 11801.2 best solution, best possible 11408.9 (856.81 seconds)
After 873000 nodes, 122053 on tree, 11801.2 best solution, best possible 11408.9 (857.61 seconds)
After 874000 nodes, 122054 on tree, 11801.2 best solution, best possible 11408.9 (858.43 seconds)
After 875000 nodes, 122051 on tree, 11801.2 best solution, best possible 11408.9 (859.23 seconds)
After 876000 nodes, 122052 on tree, 11801.2 best solution, best possible 11408.9 (860.04 seconds)
After 877000 nodes, 122052 on tree, 11801.2 best solution, best possible 11408.9 (860.82 seconds)
After 878000 nodes, 122055 on tree, 11801.2 best solution, best possible 11408.9 (861.65 seconds)
After 879000 nodes, 122053 on tree, 11801.2 best solution, best possible 11408.9 (862.47 seconds)
After 880000 nodes, 122058 on tree, 11801.2 best solution, best possible 11408.9 (863.24 seconds)
After 881000 nodes, 122051 on tree, 11801.2 best solution, best possible 11408.9 (864.04 seconds)
After 882000 nodes, 122054 on tree, 11801.2 best solution, best possible 11408.9 (864.84 seconds)
After 883000 nodes, 122051 on tree, 11801.2 best solution, best possible 11408.9 (865.68 seconds)
After 884000 nodes, 122055 on tree, 11801.2 best solution, best possible 11408.9 (866.50 seconds)
After 885000 nodes, 122053 on tree, 11801.2 best solution, best possible 11408.9 (867.32 seconds)
After 886000 nodes, 122055 on tree, 11801.2 best solution, best possible 11408.9 (868.14 seconds)
After 887000 nodes, 122052 on tree, 11801.2 best solution, best possible 11408.9 (868.92 seconds)
After 888000 nodes, 122056 on tree, 11801.2 best solution, best possible 11408.9 (869.79 seconds)
After 889000 nodes, 122052 on tree, 11801.2 best solution, best possible 11408.9 (870.58 seconds)
After 890000 nodes, 122056 on tree, 11801.2 best solution, best possible 11408.9 (871.34 seconds)
After 891000 nodes, 122055 on tree, 11801.2 best solution, best possible 11408.9 (872.15 seconds)
After 892000 nodes, 122055 on tree, 11801.2 best solution, best possible 11408.9 (872.97 seconds)
After 893000 nodes, 122051 on tree, 11801.2 best solution, best possible 11408.9 (873.78 seconds)
After 894000 nodes, 122055 on tree, 11801.2 best solution, best possible 11408.9 (874.59 seconds)
After 895000 nodes, 122053 on tree, 11801.2 best solution, best possible 11408.9 (875.41 seconds)
After 896000 nodes, 122053 on tree, 11801.2 best solution, best possible 11408.9 (876.22 seconds)
After 897000 nodes, 122051 on tree, 11801.2 best solution, best possible 11408.9 (877.02 seconds)
After 898000 nodes, 121791 on tree, 11801.2 best solution, best possible 11408.9 (877.77 seconds)
After 899000 nodes, 122021 on tree, 11801.2 best solution, best possible 11408.9 (879.05 seconds)
After 900000 nodes, 122009 on tree, 11801.2 best solution, best possible 11408.9 (879.79 seconds)
After 901000 nodes, 121818 on tree, 11801.2 best solution, best possible 11408.9 (880.58 seconds)
After 902000 nodes, 122133 on tree, 11801.2 best solution, best possible 11410.4 (881.86 seconds)
After 903000 nodes, 121730 on tree, 11801.2 best solution, best possible 11410.4 (882.55 seconds)
After 904000 nodes, 121958 on tree, 11801.2 best solution, best possible 11410.4 (883.78 seconds)
After 905000 nodes, 121517 on tree, 11801.2 best solution, best possible 11410.4 (884.46 seconds)
After 906000 nodes, 121832 on tree, 11801.2 best solution, best possible 11411.3 (885.75 seconds)
After 907000 nodes, 122023 on tree, 11801.2 best solution, best possible 11411.3 (886.94 seconds)
After 908000 nodes, 121731 on tree, 11801.2 best solution, best possible 11411.3 (887.58 seconds)
After 909000 nodes, 121495 on tree, 11801.2 best solution, best possible 11411.3 (888.15 seconds)
After 910000 nodes, 121812 on tree, 11801.2 best solution, best possible 11412.2 (889.44 seconds)
After 911000 nodes, 122054 on tree, 11801.2 best solution, best possible 11412.2 (890.71 seconds)
After 912000 nodes, 121923 on tree, 11801.2 best solution, best possible 11412.2 (891.36 seconds)
After 913000 nodes, 121362 on tree, 11801.2 best solution, best possible 11412.2 (892.05 seconds)
After 914000 nodes, 121688 on tree, 11801.2 best solution, best possible 11413.2 (893.38 seconds)
After 915000 nodes, 121888 on tree, 11801.2 best solution, best possible 11413.2 (894.56 seconds)
After 916000 nodes, 122127 on tree, 11801.2 best solution, best possible 11413.2 (895.90 seconds)
After 917000 nodes, 122125 on tree, 11801.2 best solution, best possible 11413.2 (896.57 seconds)
After 918000 nodes, 121678 on tree, 11801.2 best solution, best possible 11413.2 (897.25 seconds)
After 919000 nodes, 121924 on tree, 11801.2 best solution, best possible 11413.2 (898.47 seconds)
After 920000 nodes, 121487 on tree, 11801.2 best solution, best possible 11413.2 (899.18 seconds)
After 921000 nodes, 121285 on tree, 11801.2 best solution, best possible 11413.2 (899.75 seconds)
After 922000 nodes, 121623 on tree, 11801.2 best solution, best possible 11414.9 (901.03 seconds)
After 923000 nodes, 121859 on tree, 11801.2 best solution, best possible 11414.9 (902.23 seconds)
After 924000 nodes, 122120 on tree, 11801.2 best solution, best possible 11414.9 (903.50 seconds)
After 925000 nodes, 122072 on tree, 11801.2 best solution, best possible 11414.9 (904.14 seconds)
After 926000 nodes, 121566 on tree, 11801.2 best solution, best possible 11414.9 (904.89 seconds)
After 927000 nodes, 121830 on tree, 11801.2 best solution, best possible 11414.9 (906.26 seconds)
After 928000 nodes, 122091 on tree, 11801.2 best solution, best possible 11414.9 (907.55 seconds)
After 929000 nodes, 121838 on tree, 11801.2 best solution, best possible 11414.9 (908.34 seconds)
After 930000 nodes, 122189 on tree, 11801.2 best solution, best possible 11417.2 (909.70 seconds)
After 931000 nodes, 122008 on tree, 11801.2 best solution, best possible 11417.2 (910.50 seconds)
After 932000 nodes, 121625 on tree, 11801.2 best solution, best possible 11417.2 (911.29 seconds)
After 933000 nodes, 121334 on tree, 11801.2 best solution, best possible 11417.2 (911.98 seconds)
After 934000 nodes, 121646 on tree, 11801.2 best solution, best possible 11417.8 (913.41 seconds)
After 935000 nodes, 121863 on tree, 11801.2 best solution, best possible 11417.8 (914.70 seconds)
After 936000 nodes, 122115 on tree, 11801.2 best solution, best possible 11417.8 (915.99 seconds)
After 937000 nodes, 122114 on tree, 11801.2 best solution, best possible 11417.8 (916.67 seconds)
After 938000 nodes, 121879 on tree, 11801.2 best solution, best possible 11417.8 (917.60 seconds)
After 939000 nodes, 122117 on tree, 11801.2 best solution, best possible 11417.8 (919.11 seconds)
After 940000 nodes, 122089 on tree, 11801.2 best solution, best possible 11417.8 (919.83 seconds)
After 941000 nodes, 122082 on tree, 11801.2 best solution, best possible 11417.8 (920.63 seconds)
After 942000 nodes, 122085 on tree, 11801.2 best solution, best possible 11417.8 (921.63 seconds)
After 943000 nodes, 122086 on tree, 11801.2 best solution, best possible 11417.8 (922.52 seconds)
After 944000 nodes, 122071 on tree, 11801.2 best solution, best possible 11417.8 (923.29 seconds)
After 945000 nodes, 121874 on tree, 11801.2 best solution, best possible 11417.8 (924.10 seconds)
After 946000 nodes, 122207 on tree, 11801.2 best solution, best possible 11419.5 (925.37 seconds)
After 947000 nodes, 121909 on tree, 11801.2 best solution, best possible 11419.5 (926.21 seconds)
After 948000 nodes, 122150 on tree, 11801.2 best solution, best possible 11419.5 (927.52 seconds)
After 949000 nodes, 122045 on tree, 11801.2 best solution, best possible 11419.5 (928.23 seconds)
After 950000 nodes, 121964 on tree, 11801.2 best solution, best possible 11419.5 (929.06 seconds)
After 951000 nodes, 121963 on tree, 11801.2 best solution, best possible 11419.5 (929.76 seconds)
After 952000 nodes, 121963 on tree, 11801.2 best solution, best possible 11419.5 (930.49 seconds)
After 953000 nodes, 121965 on tree, 11801.2 best solution, best possible 11419.5 (931.19 seconds)
After 954000 nodes, 121962 on tree, 11801.2 best solution, best possible 11419.5 (931.90 seconds)
After 955000 nodes, 121967 on tree, 11801.2 best solution, best possible 11419.5 (932.60 seconds)
After 956000 nodes, 121965 on tree, 11801.2 best solution, best possible 11419.5 (933.32 seconds)
After 957000 nodes, 121963 on tree, 11801.2 best solution, best possible 11419.5 (934.05 seconds)
After 958000 nodes, 121962 on tree, 11801.2 best solution, best possible 11419.5 (934.77 seconds)
After 959000 nodes, 121964 on tree, 11801.2 best solution, best possible 11419.5 (935.55 seconds)
After 960000 nodes, 121966 on tree, 11801.2 best solution, best possible 11419.5 (936.29 seconds)
After 961000 nodes, 121962 on tree, 11801.2 best solution, best possible 11419.5 (937.18 seconds)
After 962000 nodes, 121963 on tree, 11801.2 best solution, best possible 11419.5 (937.93 seconds)
After 963000 nodes, 121963 on tree, 11801.2 best solution, best possible 11419.5 (938.85 seconds)
After 964000 nodes, 121964 on tree, 11801.2 best solution, best possible 11419.5 (939.61 seconds)
After 965000 nodes, 121963 on tree, 11801.2 best solution, best possible 11419.5 (940.52 seconds)
After 966000 nodes, 121966 on tree, 11801.2 best solution, best possible 11419.5 (941.33 seconds)
After 967000 nodes, 121966 on tree, 11801.2 best solution, best possible 11419.5 (942.19 seconds)
After 968000 nodes, 121964 on tree, 11801.2 best solution, best possible 11419.5 (943.03 seconds)
After 969000 nodes, 121968 on tree, 11801.2 best solution, best possible 11419.5 (943.91 seconds)
After 970000 nodes, 121963 on tree, 11801.2 best solution, best possible 11419.5 (944.66 seconds)
After 971000 nodes, 121967 on tree, 11801.2 best solution, best possible 11419.5 (945.48 seconds)
After 972000 nodes, 121965 on tree, 11801.2 best solution, best possible 11419.5 (946.28 seconds)
After 973000 nodes, 121962 on tree, 11801.2 best solution, best possible 11419.5 (947.09 seconds)
After 974000 nodes, 121963 on tree, 11801.2 best solution, best possible 11419.5 (947.85 seconds)
After 975000 nodes, 121967 on tree, 11801.2 best solution, best possible 11419.5 (948.58 seconds)
After 976000 nodes, 121965 on tree, 11801.2 best solution, best possible 11419.5 (949.34 seconds)
After 977000 nodes, 121962 on tree, 11801.2 best solution, best possible 11419.5 (950.08 seconds)
After 978000 nodes, 121964 on tree, 11801.2 best solution, best possible 11419.5 (950.87 seconds)
After 979000 nodes, 121965 on tree, 11801.2 best solution, best possible 11419.5 (951.66 seconds)
After 980000 nodes, 121963 on tree, 11801.2 best solution, best possible 11419.5 (952.43 seconds)
After 981000 nodes, 121964 on tree, 11801.2 best solution, best possible 11419.5 (953.18 seconds)
After 982000 nodes, 121964 on tree, 11801.2 best solution, best possible 11419.5 (953.96 seconds)
After 983000 nodes, 121965 on tree, 11801.2 best solution, best possible 11419.5 (954.76 seconds)
After 984000 nodes, 121964 on tree, 11801.2 best solution, best possible 11419.5 (955.49 seconds)
After 985000 nodes, 121967 on tree, 11801.2 best solution, best possible 11419.5 (956.26 seconds)
After 986000 nodes, 121963 on tree, 11801.2 best solution, best possible 11419.5 (957.12 seconds)
After 987000 nodes, 121964 on tree, 11801.2 best solution, best possible 11419.5 (957.88 seconds)
After 988000 nodes, 121963 on tree, 11801.2 best solution, best possible 11419.5 (958.67 seconds)
After 989000 nodes, 121623 on tree, 11801.2 best solution, best possible 11419.5 (959.35 seconds)
After 990000 nodes, 121921 on tree, 11801.2 best solution, best possible 11420.5 (960.59 seconds)
After 991000 nodes, 122127 on tree, 11801.2 best solution, best possible 11420.5 (961.78 seconds)
After 992000 nodes, 121870 on tree, 11801.2 best solution, best possible 11420.5 (962.47 seconds)
After 993000 nodes, 121589 on tree, 11801.2 best solution, best possible 11420.5 (963.01 seconds)
After 994000 nodes, 121891 on tree, 11801.2 best solution, best possible 11421.5 (964.28 seconds)
After 995000 nodes, 122117 on tree, 11801.2 best solution, best possible 11421.5 (965.48 seconds)
After 996000 nodes, 121877 on tree, 11801.2 best solution, best possible 11421.5 (966.19 seconds)
After 997000 nodes, 121269 on tree, 11801.2 best solution, best possible 11421.5 (966.68 seconds)
After 998000 nodes, 121590 on tree, 11801.2 best solution, best possible 11422.5 (968.03 seconds)
After 999000 nodes, 121840 on tree, 11801.2 best solution, best possible 11422.5 (969.24 seconds)
After 1000000 nodes, 122089 on tree, 11801.2 best solution, best possible 11422.5 (970.42 seconds)
After 1001000 nodes, 121995 on tree, 11801.2 best solution, best possible 11422.5 (971.11 seconds)
After 1002000 nodes, 121557 on tree, 11801.2 best solution, best possible 11422.5 (971.75 seconds)
After 1003000 nodes, 121819 on tree, 11801.2 best solution, best possible 11422.5 (972.99 seconds)
After 1004000 nodes, 122064 on tree, 11801.2 best solution, best possible 11422.5 (974.26 seconds)
After 1005000 nodes, 121803 on tree, 11801.2 best solution, best possible 11422.5 (974.93 seconds)
After 1006000 nodes, 122143 on tree, 11801.2 best solution, best possible 11424.6 (976.13 seconds)
After 1007000 nodes, 122013 on tree, 11801.2 best solution, best possible 11424.6 (976.87 seconds)
After 1008000 nodes, 121514 on tree, 11801.2 best solution, best possible 11424.6 (977.48 seconds)
After 1009000 nodes, 121203 on tree, 11801.2 best solution, best possible 11424.6 (978.05 seconds)
After 1010000 nodes, 121517 on tree, 11801.2 best solution, best possible 11425.3 (979.33 seconds)
After 1011000 nodes, 121759 on tree, 11801.2 best solution, best possible 11425.3 (980.54 seconds)
After 1012000 nodes, 121999 on tree, 11801.2 best solution, best possible 11425.3 (981.77 seconds)
After 1013000 nodes, 121955 on tree, 11801.2 best solution, best possible 11425.3 (982.46 seconds)
After 1014000 nodes, 121585 on tree, 11801.2 best solution, best possible 11425.3 (983.12 seconds)
After 1015000 nodes, 121836 on tree, 11801.2 best solution, best possible 11425.3 (984.25 seconds)
After 1016000 nodes, 122081 on tree, 11801.2 best solution, best possible 11425.3 (985.47 seconds)
After 1017000 nodes, 121867 on tree, 11801.2 best solution, best possible 11425.3 (986.17 seconds)
After 1018000 nodes, 122189 on tree, 11801.2 best solution, best possible 11427.5 (987.35 seconds)
After 1019000 nodes, 122184 on tree, 11801.2 best solution, best possible 11427.5 (988.16 seconds)
After 1020000 nodes, 121806 on tree, 11801.2 best solution, best possible 11427.5 (988.90 seconds)
After 1021000 nodes, 121433 on tree, 11801.2 best solution, best possible 11427.5 (989.47 seconds)
After 1022000 nodes, 121757 on tree, 11801.2 best solution, best possible 11428.1 (990.80 seconds)
After 1023000 nodes, 121986 on tree, 11801.2 best solution, best possible 11428.1 (992.01 seconds)
After 1024000 nodes, 121869 on tree, 11801.2 best solution, best possible 11428.1 (992.77 seconds)
After 1025000 nodes, 121732 on tree, 11801.2 best solution, best possible 11428.1 (993.44 seconds)
After 1026000 nodes, 122055 on tree, 11801.2 best solution, best possible 11428.9 (994.77 seconds)
After 1027000 nodes, 121951 on tree, 11801.2 best solution, best possible 11428.9 (995.47 seconds)
After 1028000 nodes, 121592 on tree, 11801.2 best solution, best possible 11428.9 (996.15 seconds)
After 1029000 nodes, 121417 on tree, 11801.2 best solution, best possible 11428.9 (996.74 seconds)
After 1030000 nodes, 121729 on tree, 11801.2 best solution, best possible 11429.6 (998.02 seconds)
After 1031000 nodes, 121921 on tree, 11801.2 best solution, best possible 11429.6 (999.08 seconds)
After 1032000 nodes, 122162 on tree, 11801.2 best solution, best possible 11429.6 (1000.40 seconds)
After 1033000 nodes, 122104 on tree, 11801.2 best solution, best possible 11429.6 (1001.08 seconds)
After 1034000 nodes, 121812 on tree, 11801.2 best solution, best possible 11429.6 (1001.79 seconds)
After 1035000 nodes, 122053 on tree, 11801.2 best solution, best possible 11429.6 (1003.05 seconds)
After 1036000 nodes, 121998 on tree, 11801.2 best solution, best possible 11429.6 (1003.79 seconds)
After 1037000 nodes, 122004 on tree, 11801.2 best solution, best possible 11429.6 (1004.58 seconds)
After 1038000 nodes, 122003 on tree, 11801.2 best solution, best possible 11429.6 (1005.36 seconds)
After 1039000 nodes, 122003 on tree, 11801.2 best solution, best possible 11429.6 (1006.12 seconds)
After 1040000 nodes, 122000 on tree, 11801.2 best solution, best possible 11429.6 (1006.91 seconds)
After 1041000 nodes, 122003 on tree, 11801.2 best solution, best possible 11429.6 (1007.72 seconds)
After 1042000 nodes, 122000 on tree, 11801.2 best solution, best possible 11429.6 (1008.55 seconds)
After 1043000 nodes, 121998 on tree, 11801.2 best solution, best possible 11429.6 (1009.43 seconds)
After 1044000 nodes, 121860 on tree, 11801.2 best solution, best possible 11429.6 (1010.24 seconds)
After 1045000 nodes, 121722 on tree, 11801.2 best solution, best possible 11429.6 (1010.80 seconds)
After 1046000 nodes, 122041 on tree, 11801.2 best solution, best possible 11431.2 (1012.08 seconds)
After 1047000 nodes, 121846 on tree, 11801.2 best solution, best possible 11431.2 (1012.82 seconds)
After 1048000 nodes, 122064 on tree, 11801.2 best solution, best possible 11431.2 (1013.97 seconds)
After 1049000 nodes, 121831 on tree, 11801.2 best solution, best possible 11431.2 (1014.69 seconds)
After 1050000 nodes, 122162 on tree, 11801.2 best solution, best possible 11432.2 (1015.96 seconds)
After 1051000 nodes, 122081 on tree, 11801.2 best solution, best possible 11432.2 (1016.77 seconds)
After 1052000 nodes, 122077 on tree, 11801.2 best solution, best possible 11432.2 (1017.50 seconds)
After 1053000 nodes, 121932 on tree, 11801.2 best solution, best possible 11432.2 (1018.22 seconds)
After 1054000 nodes, 121928 on tree, 11801.2 best solution, best possible 11432.2 (1018.87 seconds)
After 1055000 nodes, 121929 on tree, 11801.2 best solution, best possible 11432.2 (1019.54 seconds)
After 1056000 nodes, 121929 on tree, 11801.2 best solution, best possible 11432.2 (1020.21 seconds)
After 1057000 nodes, 121929 on tree, 11801.2 best solution, best possible 11432.2 (1020.83 seconds)
After 1058000 nodes, 121929 on tree, 11801.2 best solution, best possible 11432.2 (1021.49 seconds)
After 1059000 nodes, 121930 on tree, 11801.2 best solution, best possible 11432.2 (1022.15 seconds)
After 1060000 nodes, 121930 on tree, 11801.2 best solution, best possible 11432.2 (1022.82 seconds)
After 1061000 nodes, 121928 on tree, 11801.2 best solution, best possible 11432.2 (1023.44 seconds)
After 1062000 nodes, 121932 on tree, 11801.2 best solution, best possible 11432.2 (1024.14 seconds)
After 1063000 nodes, 121929 on tree, 11801.2 best solution, best possible 11432.2 (1024.79 seconds)
After 1064000 nodes, 121933 on tree, 11801.2 best solution, best possible 11432.2 (1025.45 seconds)
After 1065000 nodes, 121929 on tree, 11801.2 best solution, best possible 11432.2 (1026.12 seconds)
After 1066000 nodes, 121931 on tree, 11801.2 best solution, best possible 11432.2 (1026.80 seconds)
After 1067000 nodes, 121939 on tree, 11801.2 best solution, best possible 11432.2 (1027.46 seconds)
After 1068000 nodes, 121934 on tree, 11801.2 best solution, best possible 11432.2 (1028.17 seconds)
After 1069000 nodes, 121929 on tree, 11801.2 best solution, best possible 11432.2 (1028.88 seconds)
After 1070000 nodes, 121932 on tree, 11801.2 best solution, best possible 11432.2 (1029.56 seconds)
After 1071000 nodes, 121929 on tree, 11801.2 best solution, best possible 11432.2 (1030.23 seconds)
After 1072000 nodes, 121930 on tree, 11801.2 best solution, best possible 11432.2 (1030.93 seconds)
After 1073000 nodes, 121931 on tree, 11801.2 best solution, best possible 11432.2 (1031.60 seconds)
After 1074000 nodes, 121928 on tree, 11801.2 best solution, best possible 11432.2 (1032.27 seconds)
After 1075000 nodes, 121931 on tree, 11801.2 best solution, best possible 11432.2 (1033.00 seconds)
After 1076000 nodes, 121933 on tree, 11801.2 best solution, best possible 11432.2 (1033.72 seconds)
After 1077000 nodes, 121931 on tree, 11801.2 best solution, best possible 11432.2 (1034.45 seconds)
After 1078000 nodes, 121928 on tree, 11801.2 best solution, best possible 11432.2 (1035.19 seconds)
After 1079000 nodes, 121929 on tree, 11801.2 best solution, best possible 11432.2 (1035.94 seconds)
After 1080000 nodes, 121932 on tree, 11801.2 best solution, best possible 11432.2 (1036.69 seconds)
After 1081000 nodes, 121933 on tree, 11801.2 best solution, best possible 11432.2 (1037.43 seconds)
After 1082000 nodes, 121928 on tree, 11801.2 best solution, best possible 11432.2 (1038.18 seconds)
After 1083000 nodes, 121932 on tree, 11801.2 best solution, best possible 11432.2 (1038.96 seconds)
After 1084000 nodes, 121933 on tree, 11801.2 best solution, best possible 11432.2 (1039.73 seconds)
After 1085000 nodes, 121931 on tree, 11801.2 best solution, best possible 11432.2 (1040.51 seconds)
After 1086000 nodes, 121928 on tree, 11801.2 best solution, best possible 11432.2 (1041.26 seconds)
After 1087000 nodes, 121933 on tree, 11801.2 best solution, best possible 11432.2 (1042.04 seconds)
After 1088000 nodes, 121935 on tree, 11801.2 best solution, best possible 11432.2 (1042.81 seconds)
After 1089000 nodes, 121931 on tree, 11801.2 best solution, best possible 11432.2 (1043.56 seconds)
After 1090000 nodes, 121930 on tree, 11801.2 best solution, best possible 11432.2 (1044.37 seconds)
After 1091000 nodes, 121932 on tree, 11801.2 best solution, best possible 11432.2 (1045.18 seconds)
After 1092000 nodes, 121785 on tree, 11801.2 best solution, best possible 11432.2 (1045.92 seconds)
After 1093000 nodes, 121519 on tree, 11801.2 best solution, best possible 11432.2 (1046.50 seconds)
After 1094000 nodes, 121825 on tree, 11801.2 best solution, best possible 11432.9 (1047.76 seconds)
After 1095000 nodes, 121986 on tree, 11801.2 best solution, best possible 11432.9 (1048.89 seconds)
After 1096000 nodes, 121905 on tree, 11801.2 best solution, best possible 11432.9 (1049.64 seconds)
After 1097000 nodes, 121347 on tree, 11801.2 best solution, best possible 11432.9 (1050.09 seconds)
After 1098000 nodes, 121642 on tree, 11801.2 best solution, best possible 11433.6 (1051.45 seconds)
After 1099000 nodes, 121856 on tree, 11801.2 best solution, best possible 11433.6 (1052.65 seconds)
After 1100000 nodes, 122094 on tree, 11801.2 best solution, best possible 11433.6 (1053.96 seconds)
After 1101000 nodes, 122036 on tree, 11801.2 best solution, best possible 11433.6 (1054.68 seconds)
After 1102000 nodes, 121955 on tree, 11801.2 best solution, best possible 11433.6 (1055.44 seconds)
After 1103000 nodes, 121952 on tree, 11801.2 best solution, best possible 11433.6 (1056.29 seconds)
After 1104000 nodes, 121952 on tree, 11801.2 best solution, best possible 11433.6 (1057.10 seconds)
After 1105000 nodes, 121910 on tree, 11801.2 best solution, best possible 11433.6 (1058.01 seconds)
After 1106000 nodes, 122224 on tree, 11801.2 best solution, best possible 11435 (1059.36 seconds)
After 1107000 nodes, 122190 on tree, 11801.2 best solution, best possible 11435 (1060.14 seconds)
After 1108000 nodes, 121810 on tree, 11801.2 best solution, best possible 11435 (1060.72 seconds)
After 1109000 nodes, 121428 on tree, 11801.2 best solution, best possible 11435 (1061.23 seconds)
After 1110000 nodes, 121719 on tree, 11801.2 best solution, best possible 11435.7 (1062.51 seconds)
After 1111000 nodes, 121909 on tree, 11801.2 best solution, best possible 11435.7 (1063.65 seconds)
After 1112000 nodes, 122143 on tree, 11801.2 best solution, best possible 11435.7 (1064.87 seconds)
After 1113000 nodes, 122002 on tree, 11801.2 best solution, best possible 11435.7 (1065.61 seconds)
After 1114000 nodes, 121607 on tree, 11801.2 best solution, best possible 11435.7 (1066.19 seconds)
After 1115000 nodes, 121837 on tree, 11801.2 best solution, best possible 11435.7 (1067.41 seconds)
After 1116000 nodes, 122076 on tree, 11801.2 best solution, best possible 11435.7 (1068.79 seconds)
After 1117000 nodes, 121820 on tree, 11801.2 best solution, best possible 11435.7 (1069.43 seconds)
After 1118000 nodes, 122144 on tree, 11801.2 best solution, best possible 11437.8 (1070.60 seconds)
After 1119000 nodes, 122145 on tree, 11801.2 best solution, best possible 11437.8 (1071.40 seconds)
After 1120000 nodes, 121930 on tree, 11801.2 best solution, best possible 11437.8 (1072.08 seconds)
After 1121000 nodes, 121620 on tree, 11801.2 best solution, best possible 11437.8 (1072.70 seconds)
After 1122000 nodes, 121939 on tree, 11801.2 best solution, best possible 11438.5 (1073.97 seconds)
After 1123000 nodes, 121827 on tree, 11801.2 best solution, best possible 11438.5 (1074.78 seconds)
After 1124000 nodes, 122038 on tree, 11801.2 best solution, best possible 11438.5 (1075.95 seconds)
After 1125000 nodes, 121694 on tree, 11801.2 best solution, best possible 11438.5 (1076.56 seconds)
After 1126000 nodes, 121998 on tree, 11801.2 best solution, best possible 11439.4 (1077.81 seconds)
After 1127000 nodes, 121969 on tree, 11801.2 best solution, best possible 11439.4 (1078.62 seconds)
After 1128000 nodes, 121609 on tree, 11801.2 best solution, best possible 11439.4 (1079.24 seconds)
After 1129000 nodes, 121388 on tree, 11801.2 best solution, best possible 11439.4 (1079.76 seconds)
After 1130000 nodes, 121693 on tree, 11801.2 best solution, best possible 11440.1 (1081.07 seconds)
After 1131000 nodes, 121866 on tree, 11801.2 best solution, best possible 11440.1 (1082.16 seconds)
After 1132000 nodes, 122106 on tree, 11801.2 best solution, best possible 11440.1 (1083.39 seconds)
After 1133000 nodes, 122067 on tree, 11801.2 best solution, best possible 11440.1 (1084.14 seconds)
After 1134000 nodes, 121840 on tree, 11801.2 best solution, best possible 11440.1 (1084.79 seconds)
After 1135000 nodes, 122065 on tree, 11801.2 best solution, best possible 11440.1 (1085.91 seconds)
After 1136000 nodes, 121823 on tree, 11801.2 best solution, best possible 11440.1 (1086.59 seconds)
After 1137000 nodes, 121465 on tree, 11801.2 best solution, best possible 11440.1 (1087.17 seconds)
After 1138000 nodes, 121796 on tree, 11801.2 best solution, best possible 11441.6 (1088.45 seconds)
After 1139000 nodes, 122025 on tree, 11801.2 best solution, best possible 11441.6 (1089.70 seconds)
After 1140000 nodes, 121991 on tree, 11801.2 best solution, best possible 11441.6 (1090.47 seconds)
After 1141000 nodes, 121828 on tree, 11801.2 best solution, best possible 11441.6 (1091.26 seconds)
After 1142000 nodes, 122136 on tree, 11801.2 best solution, best possible 11442.7 (1092.54 seconds)
After 1143000 nodes, 122112 on tree, 11801.2 best solution, best possible 11442.7 (1093.36 seconds)
After 1144000 nodes, 121802 on tree, 11801.2 best solution, best possible 11442.7 (1094.02 seconds)
After 1145000 nodes, 121748 on tree, 11801.2 best solution, best possible 11442.7 (1094.64 seconds)
After 1146000 nodes, 122079 on tree, 11801.2 best solution, best possible 11443.3 (1096.02 seconds)
After 1147000 nodes, 122029 on tree, 11801.2 best solution, best possible 11443.3 (1096.84 seconds)
After 1148000 nodes, 121892 on tree, 11801.2 best solution, best possible 11443.3 (1097.57 seconds)
After 1149000 nodes, 121720 on tree, 11801.2 best solution, best possible 11443.3 (1098.10 seconds)
After 1150000 nodes, 122036 on tree, 11801.2 best solution, best possible 11443.9 (1099.44 seconds)
After 1151000 nodes, 121978 on tree, 11801.2 best solution, best possible 11443.9 (1100.25 seconds)
After 1152000 nodes, 121830 on tree, 11801.2 best solution, best possible 11443.9 (1101.10 seconds)
After 1153000 nodes, 121819 on tree, 11801.2 best solution, best possible 11443.9 (1101.77 seconds)
After 1154000 nodes, 122140 on tree, 11801.2 best solution, best possible 11444.6 (1103.08 seconds)
After 1155000 nodes, 122097 on tree, 11801.2 best solution, best possible 11444.6 (1103.84 seconds)
After 1156000 nodes, 122069 on tree, 11801.2 best solution, best possible 11444.6 (1104.63 seconds)
After 1157000 nodes, 122077 on tree, 11801.2 best solution, best possible 11444.6 (1105.39 seconds)
After 1158000 nodes, 122070 on tree, 11801.2 best solution, best possible 11444.6 (1106.14 seconds)
After 1159000 nodes, 122074 on tree, 11801.2 best solution, best possible 11444.6 (1106.88 seconds)
After 1160000 nodes, 122071 on tree, 11801.2 best solution, best possible 11444.6 (1107.62 seconds)
After 1161000 nodes, 122075 on tree, 11801.2 best solution, best possible 11444.6 (1108.38 seconds)
After 1162000 nodes, 122070 on tree, 11801.2 best solution, best possible 11444.6 (1109.15 seconds)
After 1163000 nodes, 122056 on tree, 11801.2 best solution, best possible 11444.6 (1109.91 seconds)
After 1164000 nodes, 122029 on tree, 11801.2 best solution, best possible 11444.6 (1110.65 seconds)
After 1165000 nodes, 121979 on tree, 11801.2 best solution, best possible 11444.6 (1111.39 seconds)
After 1166000 nodes, 121839 on tree, 11801.2 best solution, best possible 11444.6 (1112.13 seconds)
After 1167000 nodes, 121996 on tree, 11801.2 best solution, best possible 11444.6 (1113.24 seconds)
After 1168000 nodes, 121757 on tree, 11801.2 best solution, best possible 11444.6 (1113.91 seconds)
After 1169000 nodes, 121682 on tree, 11801.2 best solution, best possible 11444.6 (1114.45 seconds)
After 1170000 nodes, 121981 on tree, 11801.2 best solution, best possible 11445.2 (1115.76 seconds)
After 1171000 nodes, 121746 on tree, 11801.2 best solution, best possible 11445.2 (1116.46 seconds)
After 1172000 nodes, 121922 on tree, 11801.2 best solution, best possible 11445.2 (1117.59 seconds)
After 1173000 nodes, 121805 on tree, 11801.2 best solution, best possible 11445.2 (1118.35 seconds)
After 1174000 nodes, 122107 on tree, 11801.2 best solution, best possible 11445.9 (1119.66 seconds)
After 1175000 nodes, 122089 on tree, 11801.2 best solution, best possible 11445.9 (1120.41 seconds)
After 1176000 nodes, 122049 on tree, 11801.2 best solution, best possible 11445.9 (1121.19 seconds)
After 1177000 nodes, 121934 on tree, 11801.2 best solution, best possible 11445.9 (1121.90 seconds)
After 1178000 nodes, 121935 on tree, 11801.2 best solution, best possible 11445.9 (1122.53 seconds)
After 1179000 nodes, 121936 on tree, 11801.2 best solution, best possible 11445.9 (1123.16 seconds)
After 1180000 nodes, 121935 on tree, 11801.2 best solution, best possible 11445.9 (1123.81 seconds)
After 1181000 nodes, 121934 on tree, 11801.2 best solution, best possible 11445.9 (1124.42 seconds)
After 1182000 nodes, 121935 on tree, 11801.2 best solution, best possible 11445.9 (1125.24 seconds)
After 1183000 nodes, 121934 on tree, 11801.2 best solution, best possible 11445.9 (1125.95 seconds)
After 1184000 nodes, 121939 on tree, 11801.2 best solution, best possible 11445.9 (1126.63 seconds)
After 1185000 nodes, 121936 on tree, 11801.2 best solution, best possible 11445.9 (1127.27 seconds)
After 1186000 nodes, 121941 on tree, 11801.2 best solution, best possible 11445.9 (1127.83 seconds)
After 1187000 nodes, 121935 on tree, 11801.2 best solution, best possible 11445.9 (1128.43 seconds)
After 1188000 nodes, 121942 on tree, 11801.2 best solution, best possible 11445.9 (1129.03 seconds)
After 1189000 nodes, 121935 on tree, 11801.2 best solution, best possible 11445.9 (1129.67 seconds)
After 1190000 nodes, 121940 on tree, 11801.2 best solution, best possible 11445.9 (1130.37 seconds)
After 1191000 nodes, 121936 on tree, 11801.2 best solution, best possible 11445.9 (1131.12 seconds)
After 1192000 nodes, 121936 on tree, 11801.2 best solution, best possible 11445.9 (1131.89 seconds)
After 1193000 nodes, 121934 on tree, 11801.2 best solution, best possible 11445.9 (1132.59 seconds)
After 1194000 nodes, 121940 on tree, 11801.2 best solution, best possible 11445.9 (1133.27 seconds)
After 1195000 nodes, 121937 on tree, 11801.2 best solution, best possible 11445.9 (1134.01 seconds)
After 1196000 nodes, 121935 on tree, 11801.2 best solution, best possible 11445.9 (1134.79 seconds)
After 1197000 nodes, 121934 on tree, 11801.2 best solution, best possible 11445.9 (1135.55 seconds)
After 1198000 nodes, 121943 on tree, 11801.2 best solution, best possible 11445.9 (1136.30 seconds)
After 1199000 nodes, 121935 on tree, 11801.2 best solution, best possible 11445.9 (1136.99 seconds)
After 1200000 nodes, 121936 on tree, 11801.2 best solution, best possible 11445.9 (1137.82 seconds)
After 1201000 nodes, 121938 on tree, 11801.2 best solution, best possible 11445.9 (1138.54 seconds)
After 1202000 nodes, 121935 on tree, 11801.2 best solution, best possible 11445.9 (1139.26 seconds)
After 1203000 nodes, 121937 on tree, 11801.2 best solution, best possible 11445.9 (1140.00 seconds)
After 1204000 nodes, 121935 on tree, 11801.2 best solution, best possible 11445.9 (1140.73 seconds)
After 1205000 nodes, 121939 on tree, 11801.2 best solution, best possible 11445.9 (1141.47 seconds)
After 1206000 nodes, 121938 on tree, 11801.2 best solution, best possible 11445.9 (1142.22 seconds)
After 1207000 nodes, 121938 on tree, 11801.2 best solution, best possible 11445.9 (1142.96 seconds)
After 1208000 nodes, 121938 on tree, 11801.2 best solution, best possible 11445.9 (1143.70 seconds)
After 1209000 nodes, 121940 on tree, 11801.2 best solution, best possible 11445.9 (1144.41 seconds)
After 1210000 nodes, 121938 on tree, 11801.2 best solution, best possible 11445.9 (1145.17 seconds)
After 1211000 nodes, 121938 on tree, 11801.2 best solution, best possible 11445.9 (1145.90 seconds)
After 1212000 nodes, 121936 on tree, 11801.2 best solution, best possible 11445.9 (1146.65 seconds)
After 1213000 nodes, 121936 on tree, 11801.2 best solution, best possible 11445.9 (1147.38 seconds)
After 1214000 nodes, 121936 on tree, 11801.2 best solution, best possible 11445.9 (1148.06 seconds)
After 1215000 nodes, 121936 on tree, 11801.2 best solution, best possible 11445.9 (1148.86 seconds)
After 1216000 nodes, 121934 on tree, 11801.2 best solution, best possible 11445.9 (1149.62 seconds)
After 1217000 nodes, 121939 on tree, 11801.2 best solution, best possible 11445.9 (1150.34 seconds)
After 1218000 nodes, 121843 on tree, 11801.2 best solution, best possible 11445.9 (1151.04 seconds)
After 1219000 nodes, 122037 on tree, 11801.2 best solution, best possible 11445.9 (1152.19 seconds)
After 1220000 nodes, 121953 on tree, 11801.2 best solution, best possible 11445.9 (1152.92 seconds)
After 1221000 nodes, 121859 on tree, 11801.2 best solution, best possible 11445.9 (1153.64 seconds)
After 1222000 nodes, 122152 on tree, 11801.2 best solution, best possible 11446.9 (1154.88 seconds)
After 1223000 nodes, 122100 on tree, 11801.2 best solution, best possible 11446.9 (1155.60 seconds)
After 1224000 nodes, 121973 on tree, 11801.2 best solution, best possible 11446.9 (1156.24 seconds)
After 1225000 nodes, 121971 on tree, 11801.2 best solution, best possible 11446.9 (1156.99 seconds)
After 1226000 nodes, 121637 on tree, 11801.2 best solution, best possible 11446.9 (1157.54 seconds)
After 1227000 nodes, 121844 on tree, 11801.2 best solution, best possible 11446.9 (1158.65 seconds)
After 1228000 nodes, 122079 on tree, 11801.2 best solution, best possible 11446.9 (1159.86 seconds)
After 1229000 nodes, 121810 on tree, 11801.2 best solution, best possible 11446.9 (1160.48 seconds)
After 1230000 nodes, 122116 on tree, 11801.2 best solution, best possible 11448.4 (1161.82 seconds)
After 1231000 nodes, 122106 on tree, 11801.2 best solution, best possible 11448.4 (1162.68 seconds)
After 1232000 nodes, 121919 on tree, 11801.2 best solution, best possible 11448.4 (1163.48 seconds)
After 1233000 nodes, 121602 on tree, 11801.2 best solution, best possible 11448.4 (1164.05 seconds)
After 1234000 nodes, 121882 on tree, 11801.2 best solution, best possible 11449 (1165.36 seconds)
After 1235000 nodes, 122071 on tree, 11801.2 best solution, best possible 11449 (1166.76 seconds)
After 1236000 nodes, 122022 on tree, 11801.2 best solution, best possible 11449 (1167.46 seconds)
After 1237000 nodes, 121694 on tree, 11801.2 best solution, best possible 11449 (1168.04 seconds)
After 1238000 nodes, 121974 on tree, 11801.2 best solution, best possible 11449.8 (1169.30 seconds)
After 1239000 nodes, 121925 on tree, 11801.2 best solution, best possible 11449.8 (1170.05 seconds)
After 1240000 nodes, 121533 on tree, 11801.2 best solution, best possible 11449.8 (1170.57 seconds)
After 1241000 nodes, 121070 on tree, 11801.2 best solution, best possible 11449.8 (1171.04 seconds)
After 1242000 nodes, 121342 on tree, 11801.2 best solution, best possible 11450.5 (1172.29 seconds)
After 1243000 nodes, 121488 on tree, 11801.2 best solution, best possible 11450.5 (1173.32 seconds)
After 1244000 nodes, 121714 on tree, 11801.2 best solution, best possible 11450.5 (1174.57 seconds)
After 1245000 nodes, 121355 on tree, 11801.2 best solution, best possible 11450.5 (1175.09 seconds)
After 1246000 nodes, 121642 on tree, 11801.2 best solution, best possible 11451.7 (1176.31 seconds)
After 1247000 nodes, 121870 on tree, 11801.2 best solution, best possible 11451.7 (1177.54 seconds)
After 1248000 nodes, 122098 on tree, 11801.2 best solution, best possible 11451.7 (1178.79 seconds)
After 1249000 nodes, 122057 on tree, 11801.2 best solution, best possible 11451.7 (1179.54 seconds)
After 1250000 nodes, 122016 on tree, 11801.2 best solution, best possible 11451.7 (1180.31 seconds)
After 1251000 nodes, 122011 on tree, 11801.2 best solution, best possible 11451.7 (1181.13 seconds)
After 1252000 nodes, 121770 on tree, 11801.2 best solution, best possible 11451.7 (1181.81 seconds)
After 1253000 nodes, 121619 on tree, 11801.2 best solution, best possible 11451.7 (1182.41 seconds)
After 1254000 nodes, 121942 on tree, 11801.2 best solution, best possible 11453.1 (1183.73 seconds)
After 1255000 nodes, 121913 on tree, 11801.2 best solution, best possible 11453.1 (1184.56 seconds)
After 1256000 nodes, 122141 on tree, 11801.2 best solution, best possible 11453.1 (1185.88 seconds)
After 1257000 nodes, 122070 on tree, 11801.2 best solution, best possible 11453.1 (1186.61 seconds)
After 1258000 nodes, 121799 on tree, 11801.2 best solution, best possible 11453.1 (1187.24 seconds)
After 1259000 nodes, 122012 on tree, 11801.2 best solution, best possible 11453.1 (1188.39 seconds)
After 1260000 nodes, 121802 on tree, 11801.2 best solution, best possible 11453.1 (1189.02 seconds)
After 1261000 nodes, 121694 on tree, 11801.2 best solution, best possible 11453.1 (1189.52 seconds)
After 1262000 nodes, 122014 on tree, 11801.2 best solution, best possible 11454.5 (1190.73 seconds)
After 1263000 nodes, 121985 on tree, 11801.2 best solution, best possible 11454.5 (1191.53 seconds)
After 1264000 nodes, 121915 on tree, 11801.2 best solution, best possible 11454.5 (1192.36 seconds)
After 1265000 nodes, 121909 on tree, 11801.2 best solution, best possible 11454.5 (1193.06 seconds)
After 1266000 nodes, 122204 on tree, 11801.2 best solution, best possible 11455 (1194.53 seconds)
After 1267000 nodes, 122150 on tree, 11801.2 best solution, best possible 11455 (1195.29 seconds)
After 1268000 nodes, 122052 on tree, 11801.2 best solution, best possible 11455 (1196.04 seconds)
After 1269000 nodes, 121802 on tree, 11801.2 best solution, best possible 11455 (1196.67 seconds)
After 1270000 nodes, 122092 on tree, 11801.2 best solution, best possible 11455.7 (1197.97 seconds)
After 1271000 nodes, 122063 on tree, 11801.2 best solution, best possible 11455.7 (1198.74 seconds)
After 1272000 nodes, 121786 on tree, 11801.2 best solution, best possible 11455.7 (1199.39 seconds)
After 1273000 nodes, 121757 on tree, 11801.2 best solution, best possible 11455.7 (1200.01 seconds)
After 1274000 nodes, 122050 on tree, 11801.2 best solution, best possible 11456.3 (1201.33 seconds)
After 1275000 nodes, 121977 on tree, 11801.2 best solution, best possible 11456.3 (1202.10 seconds)
After 1276000 nodes, 121737 on tree, 11801.2 best solution, best possible 11456.3 (1202.76 seconds)
After 1277000 nodes, 121737 on tree, 11801.2 best solution, best possible 11456.3 (1203.34 seconds)
After 1278000 nodes, 122047 on tree, 11801.2 best solution, best possible 11456.8 (1204.66 seconds)
After 1279000 nodes, 121998 on tree, 11801.2 best solution, best possible 11456.8 (1205.40 seconds)
After 1280000 nodes, 121780 on tree, 11801.2 best solution, best possible 11456.8 (1206.07 seconds)
After 1281000 nodes, 121777 on tree, 11801.2 best solution, best possible 11456.8 (1206.65 seconds)
After 1282000 nodes, 122102 on tree, 11801.2 best solution, best possible 11457.5 (1208.02 seconds)
After 1283000 nodes, 122043 on tree, 11801.2 best solution, best possible 11457.5 (1208.75 seconds)
After 1284000 nodes, 121901 on tree, 11801.2 best solution, best possible 11457.5 (1209.46 seconds)
After 1285000 nodes, 121901 on tree, 11801.2 best solution, best possible 11457.5 (1210.07 seconds)
After 1286000 nodes, 122210 on tree, 11801.2 best solution, best possible 11458.1 (1211.42 seconds)
After 1287000 nodes, 122144 on tree, 11801.2 best solution, best possible 11458.1 (1212.14 seconds)
After 1288000 nodes, 122095 on tree, 11801.2 best solution, best possible 11458.1 (1212.85 seconds)
After 1289000 nodes, 122100 on tree, 11801.2 best solution, best possible 11458.1 (1213.64 seconds)
After 1290000 nodes, 122090 on tree, 11801.2 best solution, best possible 11458.1 (1214.36 seconds)
After 1291000 nodes, 122095 on tree, 11801.2 best solution, best possible 11458.1 (1215.13 seconds)
After 1292000 nodes, 122093 on tree, 11801.2 best solution, best possible 11458.1 (1215.86 seconds)
After 1293000 nodes, 122094 on tree, 11801.2 best solution, best possible 11458.1 (1216.62 seconds)
After 1294000 nodes, 122096 on tree, 11801.2 best solution, best possible 11458.1 (1217.39 seconds)
After 1295000 nodes, 122092 on tree, 11801.2 best solution, best possible 11458.1 (1218.19 seconds)
After 1296000 nodes, 122095 on tree, 11801.2 best solution, best possible 11458.1 (1219.00 seconds)
After 1297000 nodes, 122092 on tree, 11801.2 best solution, best possible 11458.1 (1219.78 seconds)
After 1298000 nodes, 122095 on tree, 11801.2 best solution, best possible 11458.1 (1220.56 seconds)
After 1299000 nodes, 122091 on tree, 11801.2 best solution, best possible 11458.1 (1221.32 seconds)
After 1300000 nodes, 122068 on tree, 11801.2 best solution, best possible 11458.1 (1222.06 seconds)
After 1301000 nodes, 121945 on tree, 11801.2 best solution, best possible 11458.1 (1222.72 seconds)
After 1302000 nodes, 121721 on tree, 11801.2 best solution, best possible 11458.1 (1223.40 seconds)
After 1303000 nodes, 121880 on tree, 11801.2 best solution, best possible 11458.1 (1224.52 seconds)
After 1304000 nodes, 121984 on tree, 11801.2 best solution, best possible 11458.1 (1225.72 seconds)
After 1305000 nodes, 121798 on tree, 11801.2 best solution, best possible 11458.1 (1226.52 seconds)
After 1306000 nodes, 122097 on tree, 11801.2 best solution, best possible 11458.7 (1227.86 seconds)
After 1307000 nodes, 121975 on tree, 11801.2 best solution, best possible 11458.7 (1228.67 seconds)
After 1308000 nodes, 121815 on tree, 11801.2 best solution, best possible 11458.7 (1229.44 seconds)
After 1309000 nodes, 121675 on tree, 11801.2 best solution, best possible 11458.7 (1230.11 seconds)
After 1310000 nodes, 121958 on tree, 11801.2 best solution, best possible 11459.4 (1231.44 seconds)
After 1311000 nodes, 121924 on tree, 11801.2 best solution, best possible 11459.4 (1232.25 seconds)
After 1312000 nodes, 121915 on tree, 11801.2 best solution, best possible 11459.4 (1233.14 seconds)
After 1313000 nodes, 121923 on tree, 11801.2 best solution, best possible 11459.4 (1233.83 seconds)
After 1314000 nodes, 121838 on tree, 11801.2 best solution, best possible 11459.4 (1234.59 seconds)
After 1315000 nodes, 121962 on tree, 11801.2 best solution, best possible 11459.4 (1235.67 seconds)
After 1316000 nodes, 121886 on tree, 11801.2 best solution, best possible 11459.4 (1236.39 seconds)
After 1317000 nodes, 121871 on tree, 11801.2 best solution, best possible 11459.4 (1236.98 seconds)
After 1318000 nodes, 122181 on tree, 11801.2 best solution, best possible 11460.2 (1238.34 seconds)
After 1319000 nodes, 122158 on tree, 11801.2 best solution, best possible 11460.2 (1239.05 seconds)
After 1320000 nodes, 122143 on tree, 11801.2 best solution, best possible 11460.2 (1239.79 seconds)
After 1321000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1240.51 seconds)
After 1322000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1241.15 seconds)
After 1323000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1241.83 seconds)
After 1324000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1242.64 seconds)
After 1325000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1243.41 seconds)
After 1326000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1244.15 seconds)
After 1327000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1244.84 seconds)
After 1328000 nodes, 122064 on tree, 11801.2 best solution, best possible 11460.2 (1245.53 seconds)
After 1329000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1246.27 seconds)
After 1330000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1246.96 seconds)
After 1331000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1247.73 seconds)
After 1332000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1248.47 seconds)
After 1333000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1249.14 seconds)
After 1334000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1249.82 seconds)
After 1335000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1250.47 seconds)
After 1336000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1251.14 seconds)
After 1337000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1251.83 seconds)
After 1338000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1252.51 seconds)
After 1339000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1253.23 seconds)
After 1340000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1254.04 seconds)
After 1341000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1254.80 seconds)
After 1342000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1255.51 seconds)
After 1343000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1256.16 seconds)
After 1344000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1256.78 seconds)
After 1345000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1257.48 seconds)
After 1346000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1258.14 seconds)
After 1347000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1258.85 seconds)
After 1348000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1259.58 seconds)
After 1349000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1260.33 seconds)
After 1350000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1261.01 seconds)
After 1351000 nodes, 122064 on tree, 11801.2 best solution, best possible 11460.2 (1261.70 seconds)
After 1352000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1262.43 seconds)
After 1353000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1263.14 seconds)
After 1354000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1263.87 seconds)
After 1355000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1264.53 seconds)
After 1356000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1265.20 seconds)
After 1357000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1265.88 seconds)
After 1358000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1266.53 seconds)
After 1359000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1267.19 seconds)
After 1360000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1267.87 seconds)
After 1361000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1268.52 seconds)
After 1362000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1269.19 seconds)
After 1363000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1269.89 seconds)
After 1364000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1270.62 seconds)
After 1365000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1271.34 seconds)
After 1366000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1272.07 seconds)
After 1367000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1272.85 seconds)
After 1368000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1273.60 seconds)
After 1369000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1274.32 seconds)
After 1370000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1275.04 seconds)
After 1371000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1275.78 seconds)
After 1372000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1276.48 seconds)
After 1373000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1277.21 seconds)
After 1374000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1277.96 seconds)
After 1375000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1278.66 seconds)
After 1376000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1279.40 seconds)
After 1377000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1280.12 seconds)
After 1378000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1280.86 seconds)
After 1379000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1281.65 seconds)
After 1380000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1282.33 seconds)
After 1381000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1283.08 seconds)
After 1382000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1283.80 seconds)
After 1383000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1284.52 seconds)
After 1384000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1285.29 seconds)
After 1385000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1286.02 seconds)
After 1386000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1286.80 seconds)
After 1387000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1287.50 seconds)
After 1388000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1288.35 seconds)
After 1389000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1289.12 seconds)
After 1390000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1289.82 seconds)
After 1391000 nodes, 122066 on tree, 11801.2 best solution, best possible 11460.2 (1290.55 seconds)
After 1392000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1291.22 seconds)
After 1393000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1291.94 seconds)
After 1394000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1292.63 seconds)
After 1395000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1293.30 seconds)
After 1396000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1293.98 seconds)
After 1397000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1294.64 seconds)
After 1398000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1295.32 seconds)
After 1399000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1296.00 seconds)
After 1400000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1296.76 seconds)
After 1401000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1297.44 seconds)
After 1402000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1298.11 seconds)
After 1403000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1298.78 seconds)
After 1404000 nodes, 122063 on tree, 11801.2 best solution, best possible 11460.2 (1299.45 seconds)
After 1405000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1300.10 seconds)
After 1406000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1300.81 seconds)
After 1407000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1301.51 seconds)
After 1408000 nodes, 122065 on tree, 11801.2 best solution, best possible 11460.2 (1302.20 seconds)
After 1409000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1302.87 seconds)
After 1410000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1303.56 seconds)
After 1411000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1304.29 seconds)
After 1412000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1305.01 seconds)
After 1413000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1305.73 seconds)
After 1414000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1306.45 seconds)
After 1415000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1307.17 seconds)
After 1416000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1307.91 seconds)
After 1417000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1308.66 seconds)
After 1418000 nodes, 122063 on tree, 11801.2 best solution, best possible 11460.2 (1309.39 seconds)
After 1419000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1310.15 seconds)
After 1420000 nodes, 122063 on tree, 11801.2 best solution, best possible 11460.2 (1310.95 seconds)
After 1421000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1311.64 seconds)
After 1422000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1312.56 seconds)
After 1423000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1313.20 seconds)
After 1424000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1313.98 seconds)
After 1425000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1314.77 seconds)
After 1426000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1315.54 seconds)
After 1427000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1316.43 seconds)
After 1428000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1317.20 seconds)
After 1429000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1317.96 seconds)
After 1430000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1318.69 seconds)
After 1431000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1319.59 seconds)
After 1432000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1320.44 seconds)
After 1433000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1321.32 seconds)
After 1434000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1322.13 seconds)
After 1435000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1322.95 seconds)
After 1436000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1323.68 seconds)
After 1437000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1324.48 seconds)
After 1438000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1325.31 seconds)
After 1439000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1326.08 seconds)
After 1440000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1326.94 seconds)
After 1441000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1327.79 seconds)
After 1442000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1328.53 seconds)
After 1443000 nodes, 122064 on tree, 11801.2 best solution, best possible 11460.2 (1329.34 seconds)
After 1444000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1330.12 seconds)
After 1445000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1330.81 seconds)
After 1446000 nodes, 122065 on tree, 11801.2 best solution, best possible 11460.2 (1331.59 seconds)
After 1447000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1332.32 seconds)
After 1448000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1333.08 seconds)
After 1449000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1333.82 seconds)
After 1450000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1334.52 seconds)
After 1451000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1335.22 seconds)
After 1452000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1335.97 seconds)
After 1453000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1336.65 seconds)
After 1454000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1337.39 seconds)
After 1455000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1338.19 seconds)
After 1456000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1338.95 seconds)
After 1457000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1339.68 seconds)
After 1458000 nodes, 122065 on tree, 11801.2 best solution, best possible 11460.2 (1340.40 seconds)
After 1459000 nodes, 122068 on tree, 11801.2 best solution, best possible 11460.2 (1341.17 seconds)
After 1460000 nodes, 122063 on tree, 11801.2 best solution, best possible 11460.2 (1341.91 seconds)
After 1461000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1342.61 seconds)
After 1462000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1343.36 seconds)
After 1463000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1344.13 seconds)
After 1464000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1344.89 seconds)
After 1465000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1345.60 seconds)
After 1466000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1346.32 seconds)
After 1467000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1347.04 seconds)
After 1468000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1347.78 seconds)
After 1469000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1348.49 seconds)
After 1470000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1349.22 seconds)
After 1471000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1349.95 seconds)
After 1472000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1350.67 seconds)
After 1473000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1351.40 seconds)
After 1474000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1352.15 seconds)
After 1475000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1352.88 seconds)
After 1476000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1353.56 seconds)
After 1477000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1354.35 seconds)
After 1478000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1355.12 seconds)
After 1479000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1355.86 seconds)
After 1480000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1356.64 seconds)
After 1481000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1357.36 seconds)
After 1482000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1358.12 seconds)
After 1483000 nodes, 122063 on tree, 11801.2 best solution, best possible 11460.2 (1358.82 seconds)
After 1484000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1359.56 seconds)
After 1485000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1360.29 seconds)
After 1486000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1360.98 seconds)
After 1487000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1361.68 seconds)
After 1488000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1362.36 seconds)
After 1489000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1363.09 seconds)
After 1490000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1363.86 seconds)
After 1491000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1364.63 seconds)
After 1492000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1365.37 seconds)
After 1493000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1366.13 seconds)
After 1494000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1366.91 seconds)
After 1495000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1367.67 seconds)
After 1496000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1368.42 seconds)
After 1497000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1369.21 seconds)
After 1498000 nodes, 122063 on tree, 11801.2 best solution, best possible 11460.2 (1369.98 seconds)
After 1499000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1370.73 seconds)
After 1500000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1371.45 seconds)
After 1501000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1372.16 seconds)
After 1502000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1372.93 seconds)
After 1503000 nodes, 122063 on tree, 11801.2 best solution, best possible 11460.2 (1373.67 seconds)
After 1504000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1374.44 seconds)
After 1505000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1375.15 seconds)
After 1506000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1375.97 seconds)
After 1507000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1376.73 seconds)
After 1508000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1377.52 seconds)
After 1509000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1378.42 seconds)
After 1510000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1379.31 seconds)
After 1511000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1380.07 seconds)
After 1512000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1381.00 seconds)
After 1513000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1381.91 seconds)
After 1514000 nodes, 122063 on tree, 11801.2 best solution, best possible 11460.2 (1382.75 seconds)
After 1515000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1383.61 seconds)
After 1516000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1384.36 seconds)
After 1517000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1385.11 seconds)
After 1518000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1385.80 seconds)
After 1519000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1386.59 seconds)
After 1520000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1387.42 seconds)
After 1521000 nodes, 122063 on tree, 11801.2 best solution, best possible 11460.2 (1388.27 seconds)
After 1522000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1389.16 seconds)
After 1523000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1389.98 seconds)
After 1524000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1390.75 seconds)
After 1525000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1391.52 seconds)
After 1526000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1392.24 seconds)
After 1527000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1392.98 seconds)
After 1528000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1393.70 seconds)
After 1529000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1394.47 seconds)
After 1530000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1395.18 seconds)
After 1531000 nodes, 122068 on tree, 11801.2 best solution, best possible 11460.2 (1395.88 seconds)
After 1532000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1396.63 seconds)
After 1533000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1397.32 seconds)
After 1534000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1398.04 seconds)
After 1535000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1398.77 seconds)
After 1536000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1399.50 seconds)
After 1537000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1400.23 seconds)
After 1538000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1400.98 seconds)
After 1539000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1401.74 seconds)
After 1540000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1402.44 seconds)
After 1541000 nodes, 122064 on tree, 11801.2 best solution, best possible 11460.2 (1403.24 seconds)
After 1542000 nodes, 122066 on tree, 11801.2 best solution, best possible 11460.2 (1404.10 seconds)
After 1543000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1404.96 seconds)
After 1544000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1405.68 seconds)
After 1545000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1406.46 seconds)
After 1546000 nodes, 122064 on tree, 11801.2 best solution, best possible 11460.2 (1407.26 seconds)
After 1547000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1408.04 seconds)
After 1548000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1408.81 seconds)
After 1549000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1409.75 seconds)
After 1550000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1410.62 seconds)
After 1551000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1411.37 seconds)
After 1552000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1412.17 seconds)
After 1553000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1412.96 seconds)
After 1554000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1413.76 seconds)
After 1555000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1414.48 seconds)
After 1556000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1415.19 seconds)
After 1557000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1415.92 seconds)
After 1558000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1416.64 seconds)
After 1559000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1417.40 seconds)
After 1560000 nodes, 122063 on tree, 11801.2 best solution, best possible 11460.2 (1418.13 seconds)
After 1561000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1418.84 seconds)
After 1562000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1419.54 seconds)
After 1563000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1420.28 seconds)
After 1564000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1421.02 seconds)
After 1565000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1421.75 seconds)
After 1566000 nodes, 122064 on tree, 11801.2 best solution, best possible 11460.2 (1422.52 seconds)
After 1567000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1423.24 seconds)
After 1568000 nodes, 122065 on tree, 11801.2 best solution, best possible 11460.2 (1423.93 seconds)
After 1569000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1424.73 seconds)
After 1570000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1425.45 seconds)
After 1571000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1426.23 seconds)
After 1572000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1426.96 seconds)
After 1573000 nodes, 122063 on tree, 11801.2 best solution, best possible 11460.2 (1427.73 seconds)
After 1574000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1428.45 seconds)
After 1575000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1429.21 seconds)
After 1576000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1429.91 seconds)
After 1577000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1430.59 seconds)
After 1578000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1431.31 seconds)
After 1579000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1432.04 seconds)
After 1580000 nodes, 122064 on tree, 11801.2 best solution, best possible 11460.2 (1432.80 seconds)
After 1581000 nodes, 122064 on tree, 11801.2 best solution, best possible 11460.2 (1433.56 seconds)
After 1582000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1434.22 seconds)
After 1583000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1434.92 seconds)
After 1584000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1435.61 seconds)
After 1585000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1436.34 seconds)
After 1586000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1437.10 seconds)
After 1587000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1437.79 seconds)
After 1588000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1438.47 seconds)
After 1589000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1439.17 seconds)
After 1590000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1439.87 seconds)
After 1591000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1440.59 seconds)
After 1592000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1441.29 seconds)
After 1593000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1442.03 seconds)
After 1594000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1442.76 seconds)
After 1595000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1443.48 seconds)
After 1596000 nodes, 122063 on tree, 11801.2 best solution, best possible 11460.2 (1444.18 seconds)
After 1597000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1444.89 seconds)
After 1598000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1445.63 seconds)
After 1599000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1446.31 seconds)
After 1600000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1446.95 seconds)
After 1601000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1447.69 seconds)
After 1602000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1448.36 seconds)
After 1603000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1449.03 seconds)
After 1604000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1449.73 seconds)
After 1605000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1450.41 seconds)
After 1606000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1451.09 seconds)
After 1607000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1451.84 seconds)
After 1608000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1452.54 seconds)
After 1609000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1453.24 seconds)
After 1610000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1453.94 seconds)
After 1611000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1454.59 seconds)
After 1612000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1455.35 seconds)
After 1613000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1456.03 seconds)
After 1614000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1456.77 seconds)
After 1615000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1457.46 seconds)
After 1616000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1458.21 seconds)
After 1617000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1458.94 seconds)
After 1618000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1459.70 seconds)
After 1619000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1460.40 seconds)
After 1620000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1461.14 seconds)
After 1621000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1461.88 seconds)
After 1622000 nodes, 122063 on tree, 11801.2 best solution, best possible 11460.2 (1462.62 seconds)
After 1623000 nodes, 122063 on tree, 11801.2 best solution, best possible 11460.2 (1463.34 seconds)
After 1624000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1464.07 seconds)
After 1625000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1464.82 seconds)
After 1626000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1465.53 seconds)
After 1627000 nodes, 122065 on tree, 11801.2 best solution, best possible 11460.2 (1466.23 seconds)
After 1628000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1466.97 seconds)
After 1629000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1467.68 seconds)
After 1630000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1468.38 seconds)
After 1631000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1469.08 seconds)
After 1632000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1469.84 seconds)
After 1633000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1470.58 seconds)
After 1634000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1471.30 seconds)
After 1635000 nodes, 122068 on tree, 11801.2 best solution, best possible 11460.2 (1472.08 seconds)
After 1636000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1472.79 seconds)
After 1637000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1473.53 seconds)
After 1638000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1474.32 seconds)
After 1639000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1475.05 seconds)
After 1640000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1475.75 seconds)
After 1641000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1476.45 seconds)
After 1642000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1477.19 seconds)
After 1643000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1477.94 seconds)
After 1644000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1478.63 seconds)
After 1645000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1479.40 seconds)
After 1646000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1480.17 seconds)
After 1647000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1480.88 seconds)
After 1648000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1481.64 seconds)
After 1649000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1482.35 seconds)
After 1650000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1483.04 seconds)
After 1651000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1483.75 seconds)
After 1652000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1484.48 seconds)
After 1653000 nodes, 122063 on tree, 11801.2 best solution, best possible 11460.2 (1485.17 seconds)
After 1654000 nodes, 122063 on tree, 11801.2 best solution, best possible 11460.2 (1485.80 seconds)
After 1655000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1486.51 seconds)
After 1656000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1487.21 seconds)
After 1657000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1487.88 seconds)
After 1658000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1488.54 seconds)
After 1659000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1489.23 seconds)
After 1660000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1489.93 seconds)
After 1661000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1490.67 seconds)
After 1662000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1491.39 seconds)
After 1663000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1492.12 seconds)
After 1664000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1492.76 seconds)
After 1665000 nodes, 122062 on tree, 11801.2 best solution, best possible 11460.2 (1493.49 seconds)
After 1666000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1494.21 seconds)
After 1667000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1494.92 seconds)
After 1668000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1495.61 seconds)
After 1669000 nodes, 122063 on tree, 11801.2 best solution, best possible 11460.2 (1496.34 seconds)
After 1670000 nodes, 122064 on tree, 11801.2 best solution, best possible 11460.2 (1497.05 seconds)
After 1671000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1497.77 seconds)
After 1672000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1498.54 seconds)
After 1673000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1499.20 seconds)
After 1674000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1499.98 seconds)
After 1675000 nodes, 122056 on tree, 11801.2 best solution, best possible 11460.2 (1500.59 seconds)
After 1676000 nodes, 122063 on tree, 11801.2 best solution, best possible 11460.2 (1501.31 seconds)
After 1677000 nodes, 122064 on tree, 11801.2 best solution, best possible 11460.2 (1502.03 seconds)
After 1678000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1502.77 seconds)
After 1679000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1503.58 seconds)
After 1680000 nodes, 122063 on tree, 11801.2 best solution, best possible 11460.2 (1504.37 seconds)
After 1681000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1505.34 seconds)
After 1682000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1506.39 seconds)
After 1683000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1507.21 seconds)
After 1684000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1508.02 seconds)
After 1685000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1508.85 seconds)
After 1686000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1509.58 seconds)
After 1687000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1510.30 seconds)
After 1688000 nodes, 122061 on tree, 11801.2 best solution, best possible 11460.2 (1510.97 seconds)
After 1689000 nodes, 122057 on tree, 11801.2 best solution, best possible 11460.2 (1511.78 seconds)
After 1690000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1512.46 seconds)
After 1691000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1513.21 seconds)
After 1692000 nodes, 122058 on tree, 11801.2 best solution, best possible 11460.2 (1514.02 seconds)
After 1693000 nodes, 122059 on tree, 11801.2 best solution, best possible 11460.2 (1514.79 seconds)
After 1694000 nodes, 122060 on tree, 11801.2 best solution, best possible 11460.2 (1515.53 seconds)
After 1695000 nodes, 121992 on tree, 11801.2 best solution, best possible 11460.2 (1516.29 seconds)
After 1696000 nodes, 121862 on tree, 11801.2 best solution, best possible 11460.2 (1517.04 seconds)
After 1697000 nodes, 121477 on tree, 11801.2 best solution, best possible 11460.2 (1517.69 seconds)
After 1698000 nodes, 121757 on tree, 11801.2 best solution, best possible 11460.9 (1519.23 seconds)
After 1699000 nodes, 121877 on tree, 11801.2 best solution, best possible 11460.9 (1520.60 seconds)
After 1700000 nodes, 122082 on tree, 11801.2 best solution, best possible 11460.9 (1522.03 seconds)
After 1701000 nodes, 122006 on tree, 11801.2 best solution, best possible 11460.9 (1522.80 seconds)
After 1702000 nodes, 122011 on tree, 11801.2 best solution, best possible 11460.9 (1523.49 seconds)
After 1703000 nodes, 122008 on tree, 11801.2 best solution, best possible 11460.9 (1524.19 seconds)
After 1704000 nodes, 122010 on tree, 11801.2 best solution, best possible 11460.9 (1524.89 seconds)
After 1705000 nodes, 122013 on tree, 11801.2 best solution, best possible 11460.9 (1525.62 seconds)
After 1706000 nodes, 121920 on tree, 11801.2 best solution, best possible 11460.9 (1526.33 seconds)
After 1707000 nodes, 122118 on tree, 11801.2 best solution, best possible 11460.9 (1527.60 seconds)
After 1708000 nodes, 122105 on tree, 11801.2 best solution, best possible 11460.9 (1528.30 seconds)
After 1709000 nodes, 122100 on tree, 11801.2 best solution, best possible 11460.9 (1528.98 seconds)
After 1710000 nodes, 122104 on tree, 11801.2 best solution, best possible 11460.9 (1529.62 seconds)
After 1711000 nodes, 122099 on tree, 11801.2 best solution, best possible 11460.9 (1530.29 seconds)
After 1712000 nodes, 122042 on tree, 11801.2 best solution, best possible 11460.9 (1530.96 seconds)
After 1713000 nodes, 121899 on tree, 11801.2 best solution, best possible 11460.9 (1531.66 seconds)
After 1714000 nodes, 122149 on tree, 11801.2 best solution, best possible 11462.7 (1532.94 seconds)
After 1715000 nodes, 122080 on tree, 11801.2 best solution, best possible 11462.7 (1533.60 seconds)
After 1716000 nodes, 121932 on tree, 11801.2 best solution, best possible 11462.7 (1534.16 seconds)
After 1717000 nodes, 121915 on tree, 11801.2 best solution, best possible 11462.7 (1534.88 seconds)
After 1718000 nodes, 122147 on tree, 11801.2 best solution, best possible 11463.4 (1536.13 seconds)
After 1719000 nodes, 122112 on tree, 11801.2 best solution, best possible 11463.4 (1536.80 seconds)
After 1720000 nodes, 121870 on tree, 11801.2 best solution, best possible 11463.4 (1537.40 seconds)
After 1721000 nodes, 121541 on tree, 11801.2 best solution, best possible 11463.4 (1537.92 seconds)
After 1722000 nodes, 121802 on tree, 11801.2 best solution, best possible 11464.1 (1539.16 seconds)
After 1723000 nodes, 121935 on tree, 11801.2 best solution, best possible 11464.2 (1540.22 seconds)
After 1724000 nodes, 121718 on tree, 11801.2 best solution, best possible 11464.2 (1540.85 seconds)
After 1725000 nodes, 121250 on tree, 11801.2 best solution, best possible 11464.2 (1541.34 seconds)
After 1726000 nodes, 121545 on tree, 11801.2 best solution, best possible 11464.8 (1542.64 seconds)
After 1727000 nodes, 121728 on tree, 11801.2 best solution, best possible 11464.9 (1543.75 seconds)
After 1728000 nodes, 121943 on tree, 11801.2 best solution, best possible 11464.9 (1544.96 seconds)
After 1729000 nodes, 121838 on tree, 11801.2 best solution, best possible 11464.9 (1545.62 seconds)
After 1730000 nodes, 122095 on tree, 11801.2 best solution, best possible 11466.3 (1546.77 seconds)
After 1731000 nodes, 121978 on tree, 11801.2 best solution, best possible 11466.3 (1547.40 seconds)
After 1732000 nodes, 121720 on tree, 11801.2 best solution, best possible 11466.3 (1548.01 seconds)
After 1733000 nodes, 121325 on tree, 11801.2 best solution, best possible 11466.3 (1548.53 seconds)
After 1734000 nodes, 121567 on tree, 11801.2 best solution, best possible 11466.9 (1549.84 seconds)
After 1735000 nodes, 121713 on tree, 11801.2 best solution, best possible 11466.9 (1550.89 seconds)
After 1736000 nodes, 121901 on tree, 11801.2 best solution, best possible 11466.9 (1552.13 seconds)
After 1737000 nodes, 121538 on tree, 11801.2 best solution, best possible 11466.9 (1552.65 seconds)
After 1738000 nodes, 121814 on tree, 11801.2 best solution, best possible 11468.2 (1553.89 seconds)
After 1739000 nodes, 122001 on tree, 11801.2 best solution, best possible 11468.2 (1555.27 seconds)
After 1740000 nodes, 121982 on tree, 11801.2 best solution, best possible 11468.2 (1555.95 seconds)
After 1741000 nodes, 121684 on tree, 11801.2 best solution, best possible 11468.2 (1556.57 seconds)
After 1742000 nodes, 121961 on tree, 11801.2 best solution, best possible 11469.1 (1557.94 seconds)
After 1743000 nodes, 121772 on tree, 11801.2 best solution, best possible 11469.1 (1558.59 seconds)
After 1744000 nodes, 121966 on tree, 11801.2 best solution, best possible 11469.2 (1559.81 seconds)
After 1745000 nodes, 121707 on tree, 11801.2 best solution, best possible 11469.2 (1560.46 seconds)
After 1746000 nodes, 121961 on tree, 11801.2 best solution, best possible 11470.1 (1561.75 seconds)
After 1747000 nodes, 121834 on tree, 11801.2 best solution, best possible 11470.1 (1562.45 seconds)
After 1748000 nodes, 122005 on tree, 11801.2 best solution, best possible 11470.1 (1563.61 seconds)
After 1749000 nodes, 121682 on tree, 11801.2 best solution, best possible 11470.1 (1564.21 seconds)
After 1750000 nodes, 121954 on tree, 11801.2 best solution, best possible 11471.1 (1565.54 seconds)
After 1751000 nodes, 121738 on tree, 11801.2 best solution, best possible 11471.1 (1566.19 seconds)
After 1752000 nodes, 121914 on tree, 11801.2 best solution, best possible 11471.1 (1567.37 seconds)
After 1753000 nodes, 121597 on tree, 11801.2 best solution, best possible 11471.1 (1567.91 seconds)
After 1754000 nodes, 121864 on tree, 11801.2 best solution, best possible 11472 (1569.25 seconds)
After 1755000 nodes, 122040 on tree, 11801.2 best solution, best possible 11472 (1570.32 seconds)
After 1756000 nodes, 121889 on tree, 11801.2 best solution, best possible 11472 (1570.95 seconds)
After 1757000 nodes, 121459 on tree, 11801.2 best solution, best possible 11472 (1571.44 seconds)
After 1758000 nodes, 121691 on tree, 11801.2 best solution, best possible 11473 (1572.72 seconds)
After 1759000 nodes, 121848 on tree, 11801.2 best solution, best possible 11473 (1573.93 seconds)
After 1760000 nodes, 122047 on tree, 11801.2 best solution, best possible 11473 (1575.19 seconds)
After 1761000 nodes, 121983 on tree, 11801.2 best solution, best possible 11473 (1575.83 seconds)
After 1762000 nodes, 121699 on tree, 11801.2 best solution, best possible 11473 (1576.45 seconds)
After 1763000 nodes, 121897 on tree, 11801.2 best solution, best possible 11473 (1577.68 seconds)
After 1764000 nodes, 122094 on tree, 11801.2 best solution, best possible 11473 (1578.87 seconds)
After 1765000 nodes, 121789 on tree, 11801.2 best solution, best possible 11473 (1579.47 seconds)
After 1766000 nodes, 122021 on tree, 11801.2 best solution, best possible 11474.8 (1580.68 seconds)
After 1767000 nodes, 121926 on tree, 11801.2 best solution, best possible 11474.8 (1581.36 seconds)
After 1768000 nodes, 121679 on tree, 11801.2 best solution, best possible 11474.8 (1582.01 seconds)
After 1769000 nodes, 121348 on tree, 11801.2 best solution, best possible 11474.8 (1582.53 seconds)
After 1770000 nodes, 121607 on tree, 11801.2 best solution, best possible 11475.8 (1583.81 seconds)
After 1771000 nodes, 121755 on tree, 11801.2 best solution, best possible 11475.8 (1584.93 seconds)
After 1772000 nodes, 121956 on tree, 11801.2 best solution, best possible 11475.8 (1586.10 seconds)
After 1773000 nodes, 121763 on tree, 11801.2 best solution, best possible 11475.8 (1586.72 seconds)
After 1774000 nodes, 122013 on tree, 11801.2 best solution, best possible 11477.2 (1587.97 seconds)
After 1775000 nodes, 121825 on tree, 11801.2 best solution, best possible 11477.2 (1588.62 seconds)
After 1776000 nodes, 121997 on tree, 11801.2 best solution, best possible 11477.2 (1589.82 seconds)
After 1777000 nodes, 121768 on tree, 11801.2 best solution, best possible 11477.2 (1590.46 seconds)
After 1778000 nodes, 122017 on tree, 11801.2 best solution, best possible 11478.1 (1591.73 seconds)
After 1779000 nodes, 121876 on tree, 11801.2 best solution, best possible 11478.1 (1592.50 seconds)
After 1780000 nodes, 122027 on tree, 11801.2 best solution, best possible 11478.1 (1593.79 seconds)
After 1781000 nodes, 121762 on tree, 11801.2 best solution, best possible 11478.1 (1594.53 seconds)
After 1782000 nodes, 121999 on tree, 11801.2 best solution, best possible 11479.1 (1595.88 seconds)
After 1783000 nodes, 121866 on tree, 11801.2 best solution, best possible 11479.1 (1596.60 seconds)
After 1784000 nodes, 122035 on tree, 11801.2 best solution, best possible 11479.1 (1598.02 seconds)
After 1785000 nodes, 121810 on tree, 11801.2 best solution, best possible 11479.1 (1598.74 seconds)
After 1786000 nodes, 122088 on tree, 11801.2 best solution, best possible 11479.9 (1600.52 seconds)
After 1787000 nodes, 121913 on tree, 11801.2 best solution, best possible 11479.9 (1601.24 seconds)
After 1788000 nodes, 122082 on tree, 11801.2 best solution, best possible 11479.9 (1602.58 seconds)
After 1789000 nodes, 121859 on tree, 11801.2 best solution, best possible 11479.9 (1603.28 seconds)
After 1790000 nodes, 122127 on tree, 11801.2 best solution, best possible 11480.9 (1604.61 seconds)
After 1791000 nodes, 121956 on tree, 11801.2 best solution, best possible 11480.9 (1605.30 seconds)
After 1792000 nodes, 121730 on tree, 11801.2 best solution, best possible 11480.9 (1606.02 seconds)
After 1793000 nodes, 121456 on tree, 11801.2 best solution, best possible 11480.9 (1606.60 seconds)
After 1794000 nodes, 121704 on tree, 11801.2 best solution, best possible 11481.6 (1608.01 seconds)
After 1795000 nodes, 121835 on tree, 11801.2 best solution, best possible 11481.6 (1609.16 seconds)
After 1796000 nodes, 122030 on tree, 11801.2 best solution, best possible 11481.6 (1610.54 seconds)
After 1797000 nodes, 121833 on tree, 11801.2 best solution, best possible 11481.6 (1611.35 seconds)
After 1798000 nodes, 122096 on tree, 11801.2 best solution, best possible 11482.8 (1612.66 seconds)
After 1799000 nodes, 121932 on tree, 11801.2 best solution, best possible 11482.8 (1613.43 seconds)
After 1800000 nodes, 121696 on tree, 11801.2 best solution, best possible 11482.8 (1614.17 seconds)
After 1801000 nodes, 121373 on tree, 11801.2 best solution, best possible 11482.8 (1614.75 seconds)
After 1802000 nodes, 121646 on tree, 11801.2 best solution, best possible 11483.4 (1616.28 seconds)
After 1803000 nodes, 121762 on tree, 11801.2 best solution, best possible 11483.4 (1617.68 seconds)
After 1804000 nodes, 121933 on tree, 11801.2 best solution, best possible 11483.4 (1619.17 seconds)
After 1805000 nodes, 121753 on tree, 11801.2 best solution, best possible 11483.4 (1619.82 seconds)
After 1806000 nodes, 122023 on tree, 11801.2 best solution, best possible 11484.6 (1621.09 seconds)
After 1807000 nodes, 121914 on tree, 11801.2 best solution, best possible 11484.6 (1621.79 seconds)
After 1808000 nodes, 122069 on tree, 11801.2 best solution, best possible 11484.6 (1622.95 seconds)
After 1809000 nodes, 121816 on tree, 11801.2 best solution, best possible 11484.6 (1623.61 seconds)
After 1810000 nodes, 122076 on tree, 11801.2 best solution, best possible 11485.6 (1624.88 seconds)
After 1811000 nodes, 121913 on tree, 11801.2 best solution, best possible 11485.6 (1625.55 seconds)
After 1812000 nodes, 122071 on tree, 11801.2 best solution, best possible 11485.6 (1626.64 seconds)
After 1813000 nodes, 121838 on tree, 11801.2 best solution, best possible 11485.6 (1627.30 seconds)
After 1814000 nodes, 122104 on tree, 11801.2 best solution, best possible 11486.5 (1628.59 seconds)
After 1815000 nodes, 121963 on tree, 11801.2 best solution, best possible 11486.5 (1629.23 seconds)
After 1816000 nodes, 121753 on tree, 11801.2 best solution, best possible 11486.5 (1629.87 seconds)
After 1817000 nodes, 121519 on tree, 11801.2 best solution, best possible 11486.5 (1630.40 seconds)
After 1818000 nodes, 121785 on tree, 11801.2 best solution, best possible 11487.1 (1631.64 seconds)
After 1819000 nodes, 121897 on tree, 11801.2 best solution, best possible 11487.1 (1632.67 seconds)
After 1820000 nodes, 122070 on tree, 11801.2 best solution, best possible 11487.1 (1633.84 seconds)
After 1821000 nodes, 121898 on tree, 11801.2 best solution, best possible 11487.1 (1634.49 seconds)
After 1822000 nodes, 122173 on tree, 11801.2 best solution, best possible 11488.3 (1635.69 seconds)
After 1823000 nodes, 122003 on tree, 11801.2 best solution, best possible 11488.3 (1636.31 seconds)
After 1824000 nodes, 121798 on tree, 11801.2 best solution, best possible 11488.3 (1636.99 seconds)
After 1825000 nodes, 121649 on tree, 11801.2 best solution, best possible 11488.3 (1637.53 seconds)
After 1826000 nodes, 121922 on tree, 11801.2 best solution, best possible 11488.9 (1638.81 seconds)
After 1827000 nodes, 121788 on tree, 11801.2 best solution, best possible 11488.9 (1639.48 seconds)
After 1828000 nodes, 121907 on tree, 11801.2 best solution, best possible 11488.9 (1640.45 seconds)
After 1829000 nodes, 121855 on tree, 11801.2 best solution, best possible 11488.9 (1640.99 seconds)
After 1830000 nodes, 122103 on tree, 11801.2 best solution, best possible 11489.6 (1642.23 seconds)
After 1831000 nodes, 121935 on tree, 11801.2 best solution, best possible 11489.6 (1642.89 seconds)
After 1832000 nodes, 121683 on tree, 11801.2 best solution, best possible 11489.6 (1643.58 seconds)
After 1833000 nodes, 121688 on tree, 11801.2 best solution, best possible 11489.6 (1644.16 seconds)
After 1834000 nodes, 121938 on tree, 11801.2 best solution, best possible 11490.2 (1645.42 seconds)
After 1835000 nodes, 121782 on tree, 11801.2 best solution, best possible 11490.2 (1646.09 seconds)
After 1836000 nodes, 121901 on tree, 11801.2 best solution, best possible 11490.2 (1647.17 seconds)
After 1837000 nodes, 121723 on tree, 11801.2 best solution, best possible 11490.2 (1647.72 seconds)
After 1838000 nodes, 121961 on tree, 11801.2 best solution, best possible 11490.9 (1649.00 seconds)
After 1839000 nodes, 121774 on tree, 11801.2 best solution, best possible 11490.9 (1649.65 seconds)
After 1840000 nodes, 121933 on tree, 11801.2 best solution, best possible 11490.9 (1650.86 seconds)
After 1841000 nodes, 121724 on tree, 11801.2 best solution, best possible 11490.9 (1651.54 seconds)
After 1842000 nodes, 121978 on tree, 11801.2 best solution, best possible 11491.8 (1652.86 seconds)
After 1843000 nodes, 121785 on tree, 11801.2 best solution, best possible 11491.8 (1653.55 seconds)
After 1844000 nodes, 121931 on tree, 11801.2 best solution, best possible 11491.8 (1654.79 seconds)
After 1845000 nodes, 121757 on tree, 11801.2 best solution, best possible 11491.8 (1655.57 seconds)
After 1846000 nodes, 122024 on tree, 11801.2 best solution, best possible 11492.7 (1656.93 seconds)
After 1847000 nodes, 121824 on tree, 11801.2 best solution, best possible 11492.7 (1657.67 seconds)
After 1848000 nodes, 121955 on tree, 11801.2 best solution, best possible 11492.7 (1658.87 seconds)
After 1849000 nodes, 121718 on tree, 11801.2 best solution, best possible 11492.7 (1659.53 seconds)
After 1850000 nodes, 121963 on tree, 11801.2 best solution, best possible 11493.5 (1660.86 seconds)
After 1851000 nodes, 121791 on tree, 11801.2 best solution, best possible 11493.5 (1661.51 seconds)
After 1852000 nodes, 121935 on tree, 11801.2 best solution, best possible 11493.5 (1662.62 seconds)
After 1853000 nodes, 121754 on tree, 11801.2 best solution, best possible 11493.5 (1663.28 seconds)
After 1854000 nodes, 122010 on tree, 11801.2 best solution, best possible 11494.4 (1664.50 seconds)
After 1855000 nodes, 121791 on tree, 11801.2 best solution, best possible 11494.4 (1665.13 seconds)
After 1856000 nodes, 121933 on tree, 11801.2 best solution, best possible 11494.4 (1666.29 seconds)
After 1857000 nodes, 121673 on tree, 11801.2 best solution, best possible 11494.4 (1666.92 seconds)
After 1858000 nodes, 121945 on tree, 11801.2 best solution, best possible 11495.2 (1668.12 seconds)
After 1859000 nodes, 121770 on tree, 11801.2 best solution, best possible 11495.2 (1668.79 seconds)
After 1860000 nodes, 121901 on tree, 11801.2 best solution, best possible 11495.2 (1669.90 seconds)
After 1861000 nodes, 121608 on tree, 11801.2 best solution, best possible 11495.2 (1670.39 seconds)
After 1862000 nodes, 121862 on tree, 11801.2 best solution, best possible 11496 (1671.61 seconds)
After 1863000 nodes, 122008 on tree, 11801.2 best solution, best possible 11496 (1672.79 seconds)
After 1864000 nodes, 121808 on tree, 11801.2 best solution, best possible 11496 (1673.45 seconds)
After 1865000 nodes, 121388 on tree, 11801.2 best solution, best possible 11496 (1673.98 seconds)
After 1866000 nodes, 121646 on tree, 11801.2 best solution, best possible 11496.9 (1675.24 seconds)
After 1867000 nodes, 121772 on tree, 11801.2 best solution, best possible 11496.9 (1676.38 seconds)
After 1868000 nodes, 121926 on tree, 11801.2 best solution, best possible 11496.9 (1677.58 seconds)
After 1869000 nodes, 121753 on tree, 11801.2 best solution, best possible 11496.9 (1678.22 seconds)
After 1870000 nodes, 122033 on tree, 11801.2 best solution, best possible 11498.1 (1679.51 seconds)
After 1871000 nodes, 121812 on tree, 11801.2 best solution, best possible 11498.1 (1680.14 seconds)
After 1872000 nodes, 121962 on tree, 11801.2 best solution, best possible 11498.1 (1681.32 seconds)
After 1873000 nodes, 121741 on tree, 11801.2 best solution, best possible 11498.1 (1682.18 seconds)
After 1874000 nodes, 122006 on tree, 11801.2 best solution, best possible 11499 (1683.66 seconds)
After 1875000 nodes, 121846 on tree, 11801.2 best solution, best possible 11499 (1684.34 seconds)
After 1876000 nodes, 121967 on tree, 11801.2 best solution, best possible 11499 (1685.52 seconds)
After 1877000 nodes, 121722 on tree, 11801.2 best solution, best possible 11499 (1686.17 seconds)
After 1878000 nodes, 121977 on tree, 11801.2 best solution, best possible 11499.8 (1687.46 seconds)
After 1879000 nodes, 121771 on tree, 11801.2 best solution, best possible 11499.8 (1688.07 seconds)
After 1880000 nodes, 121895 on tree, 11801.2 best solution, best possible 11499.8 (1689.14 seconds)
After 1881000 nodes, 121549 on tree, 11801.2 best solution, best possible 11499.8 (1689.62 seconds)
After 1882000 nodes, 121809 on tree, 11801.2 best solution, best possible 11500.6 (1690.88 seconds)
After 1883000 nodes, 121964 on tree, 11801.2 best solution, best possible 11500.6 (1692.03 seconds)
After 1884000 nodes, 121791 on tree, 11801.2 best solution, best possible 11500.6 (1692.75 seconds)
After 1885000 nodes, 121756 on tree, 11801.2 best solution, best possible 11500.6 (1693.35 seconds)
After 1886000 nodes, 122027 on tree, 11801.2 best solution, best possible 11501.4 (1694.65 seconds)
After 1887000 nodes, 121883 on tree, 11801.2 best solution, best possible 11501.4 (1695.35 seconds)
After 1888000 nodes, 122010 on tree, 11801.2 best solution, best possible 11501.4 (1696.58 seconds)
After 1889000 nodes, 121730 on tree, 11801.2 best solution, best possible 11501.4 (1697.23 seconds)
After 1890000 nodes, 121994 on tree, 11801.2 best solution, best possible 11502.2 (1698.47 seconds)
After 1891000 nodes, 121742 on tree, 11801.2 best solution, best possible 11502.2 (1699.13 seconds)
After 1892000 nodes, 121869 on tree, 11801.2 best solution, best possible 11502.2 (1700.29 seconds)
After 1893000 nodes, 121589 on tree, 11801.2 best solution, best possible 11502.2 (1700.85 seconds)
After 1894000 nodes, 121872 on tree, 11801.2 best solution, best possible 11503 (1702.20 seconds)
After 1895000 nodes, 122012 on tree, 11801.2 best solution, best possible 11503 (1703.23 seconds)
After 1896000 nodes, 121832 on tree, 11801.2 best solution, best possible 11503 (1703.87 seconds)
After 1897000 nodes, 121784 on tree, 11801.2 best solution, best possible 11503 (1704.67 seconds)
After 1898000 nodes, 122016 on tree, 11801.2 best solution, best possible 11503.8 (1705.90 seconds)
After 1899000 nodes, 121818 on tree, 11801.2 best solution, best possible 11503.8 (1706.56 seconds)
After 1900000 nodes, 121963 on tree, 11801.2 best solution, best possible 11503.8 (1707.75 seconds)
After 1901000 nodes, 121713 on tree, 11801.2 best solution, best possible 11503.8 (1708.40 seconds)
After 1902000 nodes, 121968 on tree, 11801.2 best solution, best possible 11504.7 (1709.66 seconds)
After 1903000 nodes, 121773 on tree, 11801.2 best solution, best possible 11504.7 (1710.32 seconds)
After 1904000 nodes, 121894 on tree, 11801.2 best solution, best possible 11504.7 (1711.41 seconds)
After 1905000 nodes, 121824 on tree, 11801.2 best solution, best possible 11504.7 (1712.21 seconds)
After 1906000 nodes, 122080 on tree, 11801.2 best solution, best possible 11505.5 (1713.42 seconds)
After 1907000 nodes, 121876 on tree, 11801.2 best solution, best possible 11505.5 (1714.05 seconds)
After 1908000 nodes, 121999 on tree, 11801.2 best solution, best possible 11505.5 (1715.12 seconds)
After 1909000 nodes, 121742 on tree, 11801.2 best solution, best possible 11505.5 (1715.74 seconds)
After 1910000 nodes, 122001 on tree, 11801.2 best solution, best possible 11506.2 (1716.99 seconds)
After 1911000 nodes, 121809 on tree, 11801.2 best solution, best possible 11506.2 (1717.66 seconds)
After 1912000 nodes, 121928 on tree, 11801.2 best solution, best possible 11506.2 (1718.75 seconds)
After 1913000 nodes, 121685 on tree, 11801.2 best solution, best possible 11506.2 (1719.38 seconds)
After 1914000 nodes, 121950 on tree, 11801.2 best solution, best possible 11507 (1720.54 seconds)
After 1915000 nodes, 121728 on tree, 11801.2 best solution, best possible 11507 (1721.19 seconds)
After 1916000 nodes, 121845 on tree, 11801.2 best solution, best possible 11507 (1722.28 seconds)
After 1917000 nodes, 121645 on tree, 11801.2 best solution, best possible 11507 (1722.88 seconds)
After 1918000 nodes, 121894 on tree, 11801.2 best solution, best possible 11507.8 (1724.05 seconds)
After 1919000 nodes, 122001 on tree, 11801.2 best solution, best possible 11507.8 (1725.14 seconds)
After 1920000 nodes, 121805 on tree, 11801.2 best solution, best possible 11507.8 (1725.77 seconds)
After 1921000 nodes, 121851 on tree, 11801.2 best solution, best possible 11507.8 (1726.70 seconds)
After 1922000 nodes, 122105 on tree, 11801.2 best solution, best possible 11508.6 (1727.90 seconds)
After 1923000 nodes, 121882 on tree, 11801.2 best solution, best possible 11508.6 (1728.51 seconds)
After 1924000 nodes, 121982 on tree, 11801.2 best solution, best possible 11508.6 (1729.56 seconds)
After 1925000 nodes, 121691 on tree, 11801.2 best solution, best possible 11508.6 (1730.20 seconds)
After 1926000 nodes, 121964 on tree, 11801.2 best solution, best possible 11509.4 (1731.46 seconds)
After 1927000 nodes, 121751 on tree, 11801.2 best solution, best possible 11509.4 (1732.09 seconds)
After 1928000 nodes, 121858 on tree, 11801.2 best solution, best possible 11509.4 (1733.24 seconds)
After 1929000 nodes, 121761 on tree, 11801.2 best solution, best possible 11509.4 (1733.96 seconds)
After 1930000 nodes, 122031 on tree, 11801.2 best solution, best possible 11510.2 (1735.20 seconds)
After 1931000 nodes, 121856 on tree, 11801.2 best solution, best possible 11510.2 (1735.91 seconds)
After 1932000 nodes, 121965 on tree, 11801.2 best solution, best possible 11510.2 (1737.03 seconds)
After 1933000 nodes, 121708 on tree, 11801.2 best solution, best possible 11510.2 (1737.72 seconds)
After 1934000 nodes, 121958 on tree, 11801.2 best solution, best possible 11511 (1739.01 seconds)
After 1935000 nodes, 121798 on tree, 11801.2 best solution, best possible 11511 (1739.72 seconds)
After 1936000 nodes, 121906 on tree, 11801.2 best solution, best possible 11511 (1740.88 seconds)
After 1937000 nodes, 121882 on tree, 11801.2 best solution, best possible 11511 (1741.74 seconds)
After 1938000 nodes, 122148 on tree, 11801.2 best solution, best possible 11511.8 (1742.98 seconds)
After 1939000 nodes, 121919 on tree, 11801.2 best solution, best possible 11511.8 (1743.64 seconds)
After 1940000 nodes, 122028 on tree, 11801.2 best solution, best possible 11511.8 (1744.73 seconds)
After 1941000 nodes, 121810 on tree, 11801.2 best solution, best possible 11511.8 (1745.38 seconds)
After 1942000 nodes, 122058 on tree, 11801.2 best solution, best possible 11512.5 (1746.65 seconds)
After 1943000 nodes, 121847 on tree, 11801.2 best solution, best possible 11512.5 (1747.33 seconds)
After 1944000 nodes, 121971 on tree, 11801.2 best solution, best possible 11512.5 (1748.48 seconds)
After 1945000 nodes, 121683 on tree, 11801.2 best solution, best possible 11512.5 (1749.09 seconds)
After 1946000 nodes, 121937 on tree, 11801.2 best solution, best possible 11513.3 (1750.35 seconds)
After 1947000 nodes, 121719 on tree, 11801.2 best solution, best possible 11513.3 (1750.99 seconds)
After 1948000 nodes, 121821 on tree, 11801.2 best solution, best possible 11513.3 (1752.13 seconds)
After 1949000 nodes, 121693 on tree, 11801.2 best solution, best possible 11513.3 (1752.88 seconds)
After 1950000 nodes, 121958 on tree, 11801.2 best solution, best possible 11514.1 (1754.14 seconds)
After 1951000 nodes, 121738 on tree, 11801.2 best solution, best possible 11514.1 (1754.78 seconds)
After 1952000 nodes, 121812 on tree, 11801.2 best solution, best possible 11514.1 (1755.80 seconds)
After 1953000 nodes, 121870 on tree, 11801.2 best solution, best possible 11514.1 (1756.79 seconds)
After 1954000 nodes, 122138 on tree, 11801.2 best solution, best possible 11514.8 (1758.04 seconds)
After 1955000 nodes, 121955 on tree, 11801.2 best solution, best possible 11514.8 (1758.66 seconds)
After 1956000 nodes, 121735 on tree, 11801.2 best solution, best possible 11514.8 (1759.32 seconds)
After 1957000 nodes, 121862 on tree, 11801.2 best solution, best possible 11514.8 (1760.42 seconds)
After 1958000 nodes, 122087 on tree, 11801.2 best solution, best possible 11515.3 (1761.65 seconds)
After 1959000 nodes, 121852 on tree, 11801.2 best solution, best possible 11515.3 (1762.29 seconds)
After 1960000 nodes, 121912 on tree, 11801.2 best solution, best possible 11515.3 (1763.29 seconds)
After 1961000 nodes, 121930 on tree, 11801.2 best solution, best possible 11515.3 (1764.14 seconds)
After 1962000 nodes, 121702 on tree, 11801.2 best solution, best possible 11515.3 (1764.81 seconds)
After 1963000 nodes, 121825 on tree, 11801.2 best solution, best possible 11515.3 (1765.96 seconds)
After 1964000 nodes, 121954 on tree, 11801.2 best solution, best possible 11515.3 (1767.09 seconds)
After 1965000 nodes, 121692 on tree, 11801.2 best solution, best possible 11515.3 (1767.72 seconds)
After 1966000 nodes, 121999 on tree, 11801.2 best solution, best possible 11516.5 (1768.92 seconds)
After 1967000 nodes, 121759 on tree, 11801.2 best solution, best possible 11516.5 (1769.52 seconds)
After 1968000 nodes, 121871 on tree, 11801.2 best solution, best possible 11516.5 (1770.65 seconds)
After 1969000 nodes, 121826 on tree, 11801.2 best solution, best possible 11516.5 (1771.45 seconds)
After 1970000 nodes, 122087 on tree, 11801.2 best solution, best possible 11517.4 (1772.64 seconds)
After 1971000 nodes, 121882 on tree, 11801.2 best solution, best possible 11517.4 (1773.31 seconds)
After 1972000 nodes, 121981 on tree, 11801.2 best solution, best possible 11517.4 (1774.38 seconds)
After 1973000 nodes, 121727 on tree, 11801.2 best solution, best possible 11517.4 (1775.01 seconds)
After 1974000 nodes, 121984 on tree, 11801.2 best solution, best possible 11518.2 (1776.19 seconds)
After 1975000 nodes, 121719 on tree, 11801.2 best solution, best possible 11518.2 (1776.80 seconds)
After 1976000 nodes, 121807 on tree, 11801.2 best solution, best possible 11518.2 (1777.86 seconds)
After 1977000 nodes, 121457 on tree, 11801.2 best solution, best possible 11518.2 (1778.47 seconds)
After 1978000 nodes, 121713 on tree, 11801.2 best solution, best possible 11519 (1779.67 seconds)
After 1979000 nodes, 121795 on tree, 11801.2 best solution, best possible 11519 (1780.66 seconds)
After 1980000 nodes, 121914 on tree, 11801.2 best solution, best possible 11519 (1781.80 seconds)
After 1981000 nodes, 121396 on tree, 11801.2 best solution, best possible 11519 (1782.38 seconds)
After 1982000 nodes, 121679 on tree, 11801.2 best solution, best possible 11520.1 (1783.54 seconds)
After 1983000 nodes, 121797 on tree, 11801.2 best solution, best possible 11520.1 (1784.78 seconds)
After 1984000 nodes, 121913 on tree, 11801.2 best solution, best possible 11520.1 (1785.88 seconds)
After 1985000 nodes, 121333 on tree, 11801.2 best solution, best possible 11520.1 (1786.45 seconds)
After 1986000 nodes, 121622 on tree, 11801.2 best solution, best possible 11521.1 (1787.74 seconds)
After 1987000 nodes, 121739 on tree, 11801.2 best solution, best possible 11521.1 (1788.95 seconds)
After 1988000 nodes, 121891 on tree, 11801.2 best solution, best possible 11521.1 (1790.29 seconds)
After 1989000 nodes, 121315 on tree, 11801.2 best solution, best possible 11521.1 (1790.89 seconds)
After 1990000 nodes, 121612 on tree, 11801.2 best solution, best possible 11522.3 (1792.24 seconds)
After 1991000 nodes, 121715 on tree, 11801.2 best solution, best possible 11522.3 (1793.36 seconds)
After 1992000 nodes, 121826 on tree, 11801.2 best solution, best possible 11522.3 (1794.50 seconds)
After 1993000 nodes, 121357 on tree, 11801.2 best solution, best possible 11522.3 (1795.12 seconds)
After 1994000 nodes, 121654 on tree, 11801.2 best solution, best possible 11523.4 (1796.35 seconds)
After 1995000 nodes, 121781 on tree, 11801.2 best solution, best possible 11523.4 (1797.41 seconds)
After 1996000 nodes, 121898 on tree, 11801.2 best solution, best possible 11523.4 (1798.50 seconds)
After 1997000 nodes, 121237 on tree, 11801.2 best solution, best possible 11523.4 (1799.02 seconds)
Exiting on maximum time
Partial search - best objective 11801.2 (best possible 11523.4), took 16567420 iterations and 1997783 nodes (1802.77 seconds)
Strong branching done 7476 times (41249 iterations), fathomed 8 nodes and fixed 188 variables
Maximum depth 56, 7.51666e+06 variables fixed on reduced cost
Cuts at root node changed objective from 10482.8 to 10591.2
Probing was tried 1422003 times and created 102509 cuts of which 6517 were active after adding rounds of cuts (742.635 seconds)
Gomory was tried 486814 times and created 4680684 cuts of which 323643 were active after adding rounds of cuts (147.249 seconds)
Knapsack was tried 100 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.008 seconds)
Clique was tried 100 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.008 seconds)
MixedIntegerRounding2 was tried 100 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.116 seconds)
FlowCover was tried 100 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.032 seconds)
TwoMirCuts was tried 100 times and created 138 cuts of which 0 were active after adding rounds of cuts (0.088 seconds)
Result - Stopped on time objective 11801.185729 after 1997783 nodes and 16567420 iterations - took 1802.85 seconds (total time 1802.85)
Total time 1802.85

Time limit reached. Have feasible solution.
MIP solution:           11801.18573   (1997783 nodes, 1802.86 seconds)
Best possible:          11523.36914
Absolute gap:                277.82   (absolute tolerance optca: 0)
Relative gap:              0.024109   (relative tolerance optcr: 0)
--- Restarting execution
--- mas74.gms(124) 0 Mb
--- Reading solution for model m
*** Status: Normal completion
--- Job mas74.gms Stop 08/24/08 19:49:01 elapsed 0:31:42.163