--- Job neos3 Start 07/18/08 13:24:03 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 --- neos3.gms(106) 2 Mb --- GDXin=/home/stefan/work/gams/models/LINlib/neos3.gdx --- neos3.gms(148) 4 Mb --- Starting execution: elapsed 0:00:00.051 --- neos3.gms(123) 4 Mb --- Generating MIP model m --- neos3.gms(124) 4 Mb --- 1,443 rows 2,748 columns 9,586 non-zeroes --- 1,360 discrete-columns --- neos3.gms(124) 4 Mb --- Executing Cbc: elapsed 0:00:00.093 GAMS/Cbc 2.1 LP/MIP Solver written by J. Forrest Reading parameter(s) from "/home/stefan/work/gams/benchmarks/LINLib.MIP/cbc.op2" >> threads 2 Finished reading from "/home/stefan/work/gams/benchmarks/LINLib.MIP/cbc.op2" Problem statistics: 2747 columns and 1442 rows. 1360 variables have integrality restrictions. Calling CBC main solution routine... Coin Cbc and Clp Solver version 2.10.00, build Jul 15 2008 command line - GAMS/CBC -threads 2 -solve -quit threads was changed from 0 to 2 Continuous objective value is -6571.63 - 0.02 seconds 0 fixed, 0 tightened bounds, 68 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 54 strengthened rows, 0 substitutions processed model has 1420 rows, 2725 columns (1343 integer) and 10120 elements Pass 1: suminf. 2.76173 obj. -4873.39 iterations 970 Pass 2: suminf. 4.92451 obj. -1986.68 iterations 610 Pass 3: suminf. 3.61425 obj. 422.87 iterations 374 Pass 4: suminf. 3.50976 obj. 315.255 iterations 7 Pass 5: suminf. 4.34833 obj. 252.171 iterations 313 Pass 6: suminf. 3.31475 obj. -392.919 iterations 426 Pass 7: suminf. 1.70290 obj. -421.497 iterations 973 Pass 8: suminf. 1.32765 obj. -440.131 iterations 174 Pass 9: suminf. 5.38758 obj. 91.0856 iterations 118 Pass 10: suminf. 1.83283 obj. 594.452 iterations 674 Pass 11: suminf. 1.78179 obj. 594.452 iterations 10 Pass 12: suminf. 5.35774 obj. 52.1669 iterations 504 Pass 13: suminf. 4.83541 obj. 177.182 iterations 28 Pass 14: suminf. 3.49903 obj. 2185.99 iterations 516 Pass 15: suminf. 3.49903 obj. 2185.99 iterations 0 Pass 16: suminf. 4.51216 obj. 274.099 iterations 501 Pass 17: suminf. 4.44791 obj. 129.97 iterations 4 Pass 18: suminf. 3.48746 obj. 2187.18 iterations 250 Pass 19: suminf. 8.16507 obj. 3976.56 iterations 135 Pass 20: suminf. 4.29035 obj. 1726.56 iterations 341 No solution found this major pass Before mini branch and bound, 1256 integers at bound fixed and 1201 continuous Full problem 1420 rows 2725 columns, reduced to 219 rows 263 columns Mini branch and bound did not improve solution (0.71 seconds) Full problem 1421 rows 2725 columns, reduced to 1421 rows 2725 columns - too large After 0.80 seconds - Feasibility pump exiting - took 0.80 seconds 35 added rows had average density of 420.829 At root node, 35 cuts changed objective from -6361.99 to -5405.66 in 21 passes Cut generator 0 (Probing) - 36 row cuts (0 active), 0 column cuts in 0.604 seconds - new frequency is 1 Cut generator 1 (Gomory) - 534 row cuts (31 active), 0 column cuts in 0.096 seconds - new frequency is 1 Cut generator 2 (Knapsack) - 0 row cuts (0 active), 0 column cuts in 0.044 seconds - new frequency is -100 Cut generator 3 (Clique) - 0 row cuts (0 active), 0 column cuts in 0.016 seconds - new frequency is -100 Cut generator 4 (MixedIntegerRounding2) - 5 row cuts (3 active), 0 column cuts in 0.064 seconds - new frequency is -100 Cut generator 5 (FlowCover) - 5 row cuts (0 active), 0 column cuts in 0.632 seconds - new frequency is -100 Cut generator 6 (TwoMirCuts) - 61 row cuts (1 active), 0 column cuts in 0.064 seconds - new frequency is -100 After 0 nodes, 1 on tree, 1e+50 best solution, best possible -5405.66 (2.94 seconds) After 100 nodes, 11 on tree, 1e+50 best solution, best possible -5404.15 (8.53 seconds) After 200 nodes, 27 on tree, 1e+50 best solution, best possible -5404.15 (11.42 seconds) After 300 nodes, 37 on tree, 1e+50 best solution, best possible -5404.15 (13.40 seconds) After 400 nodes, 34 on tree, 1e+50 best solution, best possible -5404.15 (15.03 seconds) After 500 nodes, 37 on tree, 1e+50 best solution, best possible -5404.15 (16.64 seconds) After 600 nodes, 46 on tree, 1e+50 best solution, best possible -5404.15 (18.49 seconds) After 700 nodes, 47 on tree, 1e+50 best solution, best possible -5404.15 (20.11 seconds) After 800 nodes, 35 on tree, 1e+50 best solution, best possible -5404.15 (21.74 seconds) After 900 nodes, 45 on tree, 1e+50 best solution, best possible -5404.15 (23.39 seconds) After 1000 nodes, 49 on tree, 1e+50 best solution, best possible -5404.15 (24.79 seconds) After 1100 nodes, 53 on tree, 1e+50 best solution, best possible -5404.15 (26.33 seconds) After 1200 nodes, 65 on tree, 1e+50 best solution, best possible -5404.15 (27.68 seconds) After 1300 nodes, 67 on tree, 1e+50 best solution, best possible -5404.15 (28.86 seconds) After 1400 nodes, 65 on tree, 1e+50 best solution, best possible -5404.15 (30.21 seconds) After 1500 nodes, 60 on tree, 1e+50 best solution, best possible -5404.15 (31.50 seconds) After 1600 nodes, 71 on tree, 1e+50 best solution, best possible -5404.15 (32.59 seconds) After 1700 nodes, 49 on tree, 1e+50 best solution, best possible -5404.15 (33.81 seconds) After 1800 nodes, 52 on tree, 1e+50 best solution, best possible -5404.15 (34.91 seconds) After 1900 nodes, 47 on tree, 1e+50 best solution, best possible -5404.15 (36.17 seconds) After 2000 nodes, 54 on tree, 1e+50 best solution, best possible -5404.15 (37.45 seconds) After 2100 nodes, 60 on tree, 1e+50 best solution, best possible -5404.15 (38.69 seconds) After 2200 nodes, 56 on tree, 1e+50 best solution, best possible -5404.15 (39.88 seconds) After 2300 nodes, 48 on tree, 1e+50 best solution, best possible -5404.15 (41.04 seconds) After 2400 nodes, 47 on tree, 1e+50 best solution, best possible -5404.15 (42.15 seconds) After 2500 nodes, 45 on tree, 1e+50 best solution, best possible -5404.15 (43.26 seconds) After 2600 nodes, 42 on tree, 1e+50 best solution, best possible -5404.15 (44.57 seconds) After 2700 nodes, 39 on tree, 1e+50 best solution, best possible -5404.15 (45.77 seconds) After 2800 nodes, 46 on tree, 1e+50 best solution, best possible -5404.15 (46.97 seconds) After 2900 nodes, 37 on tree, 1e+50 best solution, best possible -5404.15 (48.20 seconds) After 3000 nodes, 29 on tree, 1e+50 best solution, best possible -5404.15 (49.74 seconds) After 3100 nodes, 28 on tree, 1e+50 best solution, best possible -5404.15 (51.20 seconds) After 3200 nodes, 37 on tree, 1e+50 best solution, best possible -5404.15 (52.88 seconds) After 3300 nodes, 32 on tree, 1e+50 best solution, best possible -5404.15 (54.41 seconds) After 3400 nodes, 34 on tree, 1e+50 best solution, best possible -5404.15 (55.82 seconds) After 3500 nodes, 35 on tree, 1e+50 best solution, best possible -5404.15 (57.18 seconds) After 3600 nodes, 34 on tree, 1e+50 best solution, best possible -5404.15 (58.73 seconds) After 3700 nodes, 28 on tree, 1e+50 best solution, best possible -5404.15 (60.36 seconds) After 3800 nodes, 40 on tree, 1e+50 best solution, best possible -5404.15 (61.78 seconds) After 3900 nodes, 80 on tree, 1e+50 best solution, best possible -5404.15 (63.31 seconds) After 4000 nodes, 72 on tree, 1e+50 best solution, best possible -5404.15 (64.78 seconds) After 4100 nodes, 50 on tree, 1e+50 best solution, best possible -5404.15 (66.51 seconds) After 4200 nodes, 45 on tree, 1e+50 best solution, best possible -5404.15 (68.01 seconds) After 4300 nodes, 45 on tree, 1e+50 best solution, best possible -5404.15 (69.46 seconds) After 4400 nodes, 33 on tree, 1e+50 best solution, best possible -5404.15 (70.99 seconds) After 4500 nodes, 32 on tree, 1e+50 best solution, best possible -5404.15 (72.69 seconds) After 4600 nodes, 42 on tree, 1e+50 best solution, best possible -5404.15 (74.21 seconds) After 4700 nodes, 26 on tree, 1e+50 best solution, best possible -5404.15 (76.03 seconds) After 4800 nodes, 16 on tree, 1e+50 best solution, best possible -5404.15 (77.71 seconds) After 4900 nodes, 8 on tree, 1e+50 best solution, best possible -5404.15 (79.74 seconds) After 5000 nodes, 21 on tree, 1e+50 best solution, best possible -5404.15 (82.15 seconds) After 5100 nodes, 25 on tree, 1e+50 best solution, best possible -5404.15 (84.23 seconds) After 5200 nodes, 25 on tree, 1e+50 best solution, best possible -5404.15 (86.72 seconds) After 5300 nodes, 46 on tree, 1e+50 best solution, best possible -5404.15 (89.26 seconds) After 5400 nodes, 49 on tree, 1e+50 best solution, best possible -5404.15 (91.34 seconds) After 5500 nodes, 48 on tree, 1e+50 best solution, best possible -5404.15 (93.44 seconds) After 5600 nodes, 53 on tree, 1e+50 best solution, best possible -5404.15 (95.45 seconds) After 5700 nodes, 53 on tree, 1e+50 best solution, best possible -5404.15 (97.24 seconds) After 5800 nodes, 53 on tree, 1e+50 best solution, best possible -5404.15 (99.07 seconds) After 5900 nodes, 47 on tree, 1e+50 best solution, best possible -5404.15 (100.88 seconds) After 6000 nodes, 52 on tree, 1e+50 best solution, best possible -5404.15 (102.87 seconds) After 6100 nodes, 65 on tree, 1e+50 best solution, best possible -5404.15 (104.61 seconds) After 6200 nodes, 69 on tree, 1e+50 best solution, best possible -5404.15 (106.05 seconds) After 6300 nodes, 59 on tree, 1e+50 best solution, best possible -5404.15 (107.60 seconds) After 6400 nodes, 67 on tree, 1e+50 best solution, best possible -5404.15 (109.24 seconds) After 6500 nodes, 59 on tree, 1e+50 best solution, best possible -5404.15 (110.77 seconds) After 6600 nodes, 47 on tree, 1e+50 best solution, best possible -5404.15 (112.37 seconds) After 6700 nodes, 46 on tree, 1e+50 best solution, best possible -5404.15 (113.84 seconds) Cbc0004I Integer solution of 1045.9 found after 133135 iterations and 6770 nodes (115.17 seconds) After 6800 nodes, 60 on tree, 1045.9 best solution, best possible -5404.15 (116.24 seconds) After 6900 nodes, 79 on tree, 1045.9 best solution, best possible -5404.15 (118.76 seconds) After 7000 nodes, 81 on tree, 1045.9 best solution, best possible -5404.15 (120.76 seconds) After 7100 nodes, 87 on tree, 1045.9 best solution, best possible -5404.15 (122.76 seconds) After 7200 nodes, 103 on tree, 1045.9 best solution, best possible -5404.15 (124.72 seconds) After 7300 nodes, 108 on tree, 1045.9 best solution, best possible -5404.15 (126.56 seconds) After 7400 nodes, 111 on tree, 1045.9 best solution, best possible -5404.15 (128.16 seconds) After 7500 nodes, 128 on tree, 1045.9 best solution, best possible -5403.88 (131.17 seconds) After 7600 nodes, 132 on tree, 1045.9 best solution, best possible -5403.88 (133.54 seconds) After 7700 nodes, 142 on tree, 1045.9 best solution, best possible -5403.88 (135.77 seconds) After 7800 nodes, 142 on tree, 1045.9 best solution, best possible -5403.88 (137.38 seconds) After 7900 nodes, 142 on tree, 1045.9 best solution, best possible -5403.88 (139.28 seconds) After 8000 nodes, 152 on tree, 1045.9 best solution, best possible -5403.88 (141.29 seconds) After 8100 nodes, 158 on tree, 1045.9 best solution, best possible -5403.88 (143.10 seconds) After 8200 nodes, 159 on tree, 1045.9 best solution, best possible -5403.88 (144.85 seconds) After 8300 nodes, 165 on tree, 1045.9 best solution, best possible -5403.88 (146.50 seconds) After 8400 nodes, 168 on tree, 1045.9 best solution, best possible -5403.88 (148.02 seconds) After 8500 nodes, 166 on tree, 1045.9 best solution, best possible -5403.88 (149.66 seconds) After 8600 nodes, 165 on tree, 1045.9 best solution, best possible -5403.88 (151.18 seconds) After 8700 nodes, 166 on tree, 1045.9 best solution, best possible -5403.88 (152.69 seconds) After 8800 nodes, 166 on tree, 1045.9 best solution, best possible -5403.88 (154.01 seconds) After 8900 nodes, 173 on tree, 1045.9 best solution, best possible -5403.88 (155.47 seconds) After 9000 nodes, 179 on tree, 1045.9 best solution, best possible -5403.88 (157.00 seconds) After 9100 nodes, 179 on tree, 1045.9 best solution, best possible -5403.88 (158.49 seconds) After 9200 nodes, 178 on tree, 1045.9 best solution, best possible -5403.88 (160.26 seconds) After 9300 nodes, 180 on tree, 1045.9 best solution, best possible -5403.88 (161.97 seconds) After 9400 nodes, 187 on tree, 1045.9 best solution, best possible -5403.88 (163.99 seconds) After 9500 nodes, 188 on tree, 1045.9 best solution, best possible -5403.88 (165.82 seconds) After 9600 nodes, 190 on tree, 1045.9 best solution, best possible -5403.88 (167.64 seconds) After 9700 nodes, 195 on tree, 1045.9 best solution, best possible -5403.88 (169.60 seconds) After 9800 nodes, 201 on tree, 1045.9 best solution, best possible -5403.88 (171.34 seconds) After 9900 nodes, 204 on tree, 1045.9 best solution, best possible -5403.88 (173.03 seconds) After 10000 nodes, 215 on tree, 1045.9 best solution, best possible -5403.88 (175.13 seconds) After 10100 nodes, 221 on tree, 1045.9 best solution, best possible -5403.88 (176.95 seconds) After 10200 nodes, 224 on tree, 1045.9 best solution, best possible -5403.88 (178.84 seconds) After 10300 nodes, 224 on tree, 1045.9 best solution, best possible -5403.88 (180.72 seconds) After 10400 nodes, 235 on tree, 1045.9 best solution, best possible -5403.88 (183.05 seconds) After 10500 nodes, 239 on tree, 1045.9 best solution, best possible -5403.88 (185.06 seconds) After 10600 nodes, 252 on tree, 1045.9 best solution, best possible -5403.88 (188.58 seconds) After 10700 nodes, 256 on tree, 1045.9 best solution, best possible -5403.88 (191.55 seconds) After 10800 nodes, 263 on tree, 1045.9 best solution, best possible -5403.88 (194.05 seconds) After 10900 nodes, 264 on tree, 1045.9 best solution, best possible -5403.88 (196.59 seconds) After 11000 nodes, 273 on tree, 1045.9 best solution, best possible -5403.88 (199.00 seconds) After 11100 nodes, 279 on tree, 1045.9 best solution, best possible -5233.47 (201.93 seconds) After 11200 nodes, 282 on tree, 1045.9 best solution, best possible -4948.13 (204.29 seconds) After 11300 nodes, 290 on tree, 1045.9 best solution, best possible -4684.82 (206.68 seconds) After 11400 nodes, 295 on tree, 1045.9 best solution, best possible -4452.51 (208.93 seconds) After 11500 nodes, 306 on tree, 1045.9 best solution, best possible -4269.6 (211.25 seconds) After 11600 nodes, 319 on tree, 1045.9 best solution, best possible -4095.18 (213.55 seconds) After 11700 nodes, 325 on tree, 1045.9 best solution, best possible -4007.18 (215.54 seconds) After 11800 nodes, 331 on tree, 1045.9 best solution, best possible -3875.68 (217.66 seconds) After 11900 nodes, 340 on tree, 1045.9 best solution, best possible -3746.33 (219.61 seconds) After 12000 nodes, 350 on tree, 1045.9 best solution, best possible -3597.46 (221.89 seconds) After 12100 nodes, 359 on tree, 1045.9 best solution, best possible -3474.58 (224.09 seconds) After 12200 nodes, 365 on tree, 1045.9 best solution, best possible -3386.59 (226.31 seconds) After 12300 nodes, 373 on tree, 1045.9 best solution, best possible -3303.85 (228.34 seconds) After 12400 nodes, 386 on tree, 1045.9 best solution, best possible -3232.26 (230.55 seconds) After 12500 nodes, 406 on tree, 1045.9 best solution, best possible -3173.29 (232.69 seconds) After 12600 nodes, 417 on tree, 1045.9 best solution, best possible -3106.44 (234.73 seconds) After 12700 nodes, 433 on tree, 1045.9 best solution, best possible -3040.44 (236.89 seconds) After 12800 nodes, 440 on tree, 1045.9 best solution, best possible -3003.8 (238.73 seconds) After 12900 nodes, 449 on tree, 1045.9 best solution, best possible -2966.05 (240.60 seconds) After 13000 nodes, 456 on tree, 1045.9 best solution, best possible -2948.48 (242.52 seconds) After 13100 nodes, 460 on tree, 1045.9 best solution, best possible -2948.48 (244.14 seconds) After 13200 nodes, 462 on tree, 1045.9 best solution, best possible -2948.48 (245.79 seconds) After 13300 nodes, 464 on tree, 1045.9 best solution, best possible -2944.83 (247.61 seconds) After 13400 nodes, 473 on tree, 1045.9 best solution, best possible -2944.83 (249.40 seconds) After 13500 nodes, 482 on tree, 1045.9 best solution, best possible -2944.83 (251.17 seconds) After 13600 nodes, 492 on tree, 1045.9 best solution, best possible -2944.83 (252.88 seconds) After 13700 nodes, 506 on tree, 1045.9 best solution, best possible -2944.83 (254.65 seconds) After 13800 nodes, 513 on tree, 1045.9 best solution, best possible -2944.66 (256.53 seconds) After 13900 nodes, 532 on tree, 1045.9 best solution, best possible -2944.66 (258.63 seconds) After 14000 nodes, 542 on tree, 1045.9 best solution, best possible -2944.66 (260.61 seconds) After 14100 nodes, 552 on tree, 1045.9 best solution, best possible -2870.26 (262.98 seconds) After 14200 nodes, 557 on tree, 1045.9 best solution, best possible -2825.78 (265.30 seconds) After 14300 nodes, 559 on tree, 1045.9 best solution, best possible -2777.86 (267.45 seconds) After 14400 nodes, 568 on tree, 1045.9 best solution, best possible -2729.79 (269.70 seconds) After 14500 nodes, 573 on tree, 1045.9 best solution, best possible -2675.17 (271.25 seconds) After 14600 nodes, 576 on tree, 1045.9 best solution, best possible -2642.99 (272.80 seconds) After 14700 nodes, 577 on tree, 1045.9 best solution, best possible -2605.28 (274.20 seconds) After 14800 nodes, 580 on tree, 1045.9 best solution, best possible -2577.59 (275.70 seconds) After 14900 nodes, 584 on tree, 1045.9 best solution, best possible -2556.7 (277.11 seconds) After 15000 nodes, 593 on tree, 1045.9 best solution, best possible -2528.34 (278.60 seconds) After 15100 nodes, 607 on tree, 1045.9 best solution, best possible -2500.84 (280.21 seconds) After 15200 nodes, 613 on tree, 1045.9 best solution, best possible -2477.14 (281.70 seconds) After 15300 nodes, 621 on tree, 1045.9 best solution, best possible -2459.46 (283.12 seconds) After 15400 nodes, 629 on tree, 1045.9 best solution, best possible -2444.49 (284.61 seconds) After 15500 nodes, 633 on tree, 1045.9 best solution, best possible -2430.24 (285.91 seconds) After 15600 nodes, 641 on tree, 1045.9 best solution, best possible -2410.52 (287.45 seconds) After 15700 nodes, 655 on tree, 1045.9 best solution, best possible -2396.5 (288.91 seconds) After 15800 nodes, 655 on tree, 1045.9 best solution, best possible -2385.06 (290.41 seconds) After 15900 nodes, 661 on tree, 1045.9 best solution, best possible -2372.37 (291.89 seconds) After 16000 nodes, 665 on tree, 1045.9 best solution, best possible -2356.97 (293.31 seconds) After 16100 nodes, 678 on tree, 1045.9 best solution, best possible -2344.06 (294.69 seconds) After 16200 nodes, 685 on tree, 1045.9 best solution, best possible -2331.98 (296.00 seconds) After 16300 nodes, 694 on tree, 1045.9 best solution, best possible -2318.74 (297.36 seconds) After 16400 nodes, 701 on tree, 1045.9 best solution, best possible -2308.52 (298.79 seconds) After 16500 nodes, 711 on tree, 1045.9 best solution, best possible -2298.29 (300.21 seconds) After 16600 nodes, 717 on tree, 1045.9 best solution, best possible -2289.1 (301.59 seconds) After 16700 nodes, 724 on tree, 1045.9 best solution, best possible -2282.11 (302.94 seconds) After 16800 nodes, 733 on tree, 1045.9 best solution, best possible -2272 (304.35 seconds) After 16900 nodes, 738 on tree, 1045.9 best solution, best possible -2261.59 (305.69 seconds) After 17000 nodes, 750 on tree, 1045.9 best solution, best possible -2250.26 (307.12 seconds) After 17100 nodes, 757 on tree, 1045.9 best solution, best possible -2250.42 (308.34 seconds) After 17200 nodes, 761 on tree, 1045.9 best solution, best possible -2250.42 (309.63 seconds) After 17300 nodes, 773 on tree, 1045.9 best solution, best possible -2250.42 (310.94 seconds) After 17400 nodes, 787 on tree, 1045.9 best solution, best possible -2250.42 (312.40 seconds) After 17500 nodes, 794 on tree, 1045.9 best solution, best possible -2250.42 (313.65 seconds) After 17600 nodes, 804 on tree, 1045.9 best solution, best possible -2250.42 (314.86 seconds) After 17700 nodes, 804 on tree, 1045.9 best solution, best possible -2250.42 (316.02 seconds) After 17800 nodes, 819 on tree, 1045.9 best solution, best possible -2250.42 (317.32 seconds) After 17900 nodes, 827 on tree, 1045.9 best solution, best possible -2250.42 (318.63 seconds) After 18000 nodes, 832 on tree, 1045.9 best solution, best possible -2250.42 (319.83 seconds) After 18100 nodes, 839 on tree, 1045.9 best solution, best possible -2230.34 (321.12 seconds) After 18200 nodes, 849 on tree, 1045.9 best solution, best possible -2220.96 (322.60 seconds) After 18300 nodes, 854 on tree, 1045.9 best solution, best possible -2206.11 (324.07 seconds) After 18400 nodes, 867 on tree, 1045.9 best solution, best possible -2193.37 (325.40 seconds) After 18500 nodes, 875 on tree, 1045.9 best solution, best possible -2183.8 (326.94 seconds) After 18600 nodes, 887 on tree, 1045.9 best solution, best possible -2171.51 (328.34 seconds) After 18700 nodes, 893 on tree, 1045.9 best solution, best possible -2163.57 (329.56 seconds) After 18800 nodes, 896 on tree, 1045.9 best solution, best possible -2157.43 (330.85 seconds) After 18900 nodes, 901 on tree, 1045.9 best solution, best possible -2149.91 (332.31 seconds) After 19000 nodes, 912 on tree, 1045.9 best solution, best possible -2142.57 (333.63 seconds) After 19100 nodes, 918 on tree, 1045.9 best solution, best possible -2133.11 (335.02 seconds) After 19200 nodes, 922 on tree, 1045.9 best solution, best possible -2124.91 (336.31 seconds) After 19300 nodes, 932 on tree, 1045.9 best solution, best possible -2114 (337.67 seconds) After 19400 nodes, 936 on tree, 1045.9 best solution, best possible -2109.03 (338.97 seconds) After 19500 nodes, 945 on tree, 1045.9 best solution, best possible -2101.02 (340.27 seconds) After 19600 nodes, 948 on tree, 1045.9 best solution, best possible -2089.8 (341.67 seconds) After 19700 nodes, 956 on tree, 1045.9 best solution, best possible -2082.58 (342.95 seconds) After 19800 nodes, 966 on tree, 1045.9 best solution, best possible -2075.98 (344.30 seconds) After 19900 nodes, 980 on tree, 1045.9 best solution, best possible -2070.93 (346.04 seconds) After 20000 nodes, 990 on tree, 1045.9 best solution, best possible -2065.48 (347.43 seconds) After 20100 nodes, 994 on tree, 1045.9 best solution, best possible -2060.06 (348.83 seconds) After 20200 nodes, 1000 on tree, 1045.9 best solution, best possible -2051.55 (350.06 seconds) After 20300 nodes, 1007 on tree, 1045.9 best solution, best possible -2046.42 (351.31 seconds) After 20400 nodes, 1013 on tree, 1045.9 best solution, best possible -2040.58 (352.57 seconds) After 20500 nodes, 1022 on tree, 1045.9 best solution, best possible -2031.84 (353.96 seconds) After 20600 nodes, 1035 on tree, 1045.9 best solution, best possible -2025.84 (355.39 seconds) After 20700 nodes, 1038 on tree, 1045.9 best solution, best possible -2021.28 (356.78 seconds) After 20800 nodes, 1048 on tree, 1045.9 best solution, best possible -2015.42 (357.99 seconds) After 20900 nodes, 1054 on tree, 1045.9 best solution, best possible -2008.65 (359.25 seconds) After 21000 nodes, 1066 on tree, 1045.9 best solution, best possible -2004.99 (360.69 seconds) After 21100 nodes, 1068 on tree, 1045.9 best solution, best possible -2004.99 (361.81 seconds) After 21200 nodes, 1072 on tree, 1045.9 best solution, best possible -2004.99 (362.99 seconds) After 21300 nodes, 1082 on tree, 1045.9 best solution, best possible -2004.99 (364.22 seconds) After 21400 nodes, 1087 on tree, 1045.9 best solution, best possible -2004.99 (365.35 seconds) After 21500 nodes, 1093 on tree, 1045.9 best solution, best possible -2004.99 (366.58 seconds) After 21600 nodes, 1105 on tree, 1045.9 best solution, best possible -2004.99 (367.90 seconds) After 21700 nodes, 1113 on tree, 1045.9 best solution, best possible -2004.99 (369.09 seconds) After 21800 nodes, 1120 on tree, 1045.9 best solution, best possible -2004.99 (370.36 seconds) After 21900 nodes, 1130 on tree, 1045.9 best solution, best possible -2004.99 (371.65 seconds) After 22000 nodes, 1139 on tree, 1045.9 best solution, best possible -2004.99 (372.98 seconds) After 22100 nodes, 1149 on tree, 1045.9 best solution, best possible -1993.78 (374.36 seconds) After 22200 nodes, 1157 on tree, 1045.9 best solution, best possible -1986.22 (375.64 seconds) After 22300 nodes, 1161 on tree, 1045.9 best solution, best possible -1981.87 (376.91 seconds) After 22400 nodes, 1169 on tree, 1045.9 best solution, best possible -1976.4 (378.24 seconds) After 22500 nodes, 1178 on tree, 1045.9 best solution, best possible -1971.63 (379.56 seconds) After 22600 nodes, 1188 on tree, 1045.9 best solution, best possible -1966.82 (380.76 seconds) After 22700 nodes, 1196 on tree, 1045.9 best solution, best possible -1960.75 (382.06 seconds) After 22800 nodes, 1200 on tree, 1045.9 best solution, best possible -1956.1 (383.42 seconds) After 22900 nodes, 1211 on tree, 1045.9 best solution, best possible -1949.61 (384.82 seconds) After 23000 nodes, 1226 on tree, 1045.9 best solution, best possible -1942.33 (386.30 seconds) After 23100 nodes, 1226 on tree, 1045.9 best solution, best possible -1939.67 (387.55 seconds) After 23200 nodes, 1235 on tree, 1045.9 best solution, best possible -1934.45 (388.92 seconds) After 23300 nodes, 1244 on tree, 1045.9 best solution, best possible -1925.62 (390.26 seconds) After 23400 nodes, 1251 on tree, 1045.9 best solution, best possible -1919.49 (391.48 seconds) After 23500 nodes, 1255 on tree, 1045.9 best solution, best possible -1916.57 (393.01 seconds) After 23600 nodes, 1261 on tree, 1045.9 best solution, best possible -1910.88 (394.24 seconds) After 23700 nodes, 1268 on tree, 1045.9 best solution, best possible -1903.62 (395.48 seconds) After 23800 nodes, 1274 on tree, 1045.9 best solution, best possible -1897.7 (396.88 seconds) After 23900 nodes, 1283 on tree, 1045.9 best solution, best possible -1893.8 (397.98 seconds) After 24000 nodes, 1295 on tree, 1045.9 best solution, best possible -1889.84 (399.28 seconds) After 24100 nodes, 1300 on tree, 1045.9 best solution, best possible -1884.97 (400.59 seconds) After 24200 nodes, 1308 on tree, 1045.9 best solution, best possible -1877.19 (401.98 seconds) After 24300 nodes, 1315 on tree, 1045.9 best solution, best possible -1872.73 (403.18 seconds) After 24400 nodes, 1324 on tree, 1045.9 best solution, best possible -1866.09 (404.49 seconds) After 24500 nodes, 1335 on tree, 1045.9 best solution, best possible -1859.73 (405.89 seconds) After 24600 nodes, 1346 on tree, 1045.9 best solution, best possible -1856.34 (407.36 seconds) After 24700 nodes, 1350 on tree, 1045.9 best solution, best possible -1851.79 (408.65 seconds) After 24800 nodes, 1358 on tree, 1045.9 best solution, best possible -1847.55 (410.05 seconds) After 24900 nodes, 1367 on tree, 1045.9 best solution, best possible -1840.88 (411.39 seconds) After 25000 nodes, 1374 on tree, 1045.9 best solution, best possible -1835.15 (412.69 seconds) After 25100 nodes, 1383 on tree, 1045.9 best solution, best possible -1835.21 (413.84 seconds) After 25200 nodes, 1389 on tree, 1045.9 best solution, best possible -1835.21 (415.11 seconds) After 25300 nodes, 1392 on tree, 1045.9 best solution, best possible -1835.21 (416.21 seconds) After 25400 nodes, 1406 on tree, 1045.9 best solution, best possible -1835.21 (417.47 seconds) After 25500 nodes, 1407 on tree, 1045.9 best solution, best possible -1834.47 (418.75 seconds) After 25600 nodes, 1415 on tree, 1045.9 best solution, best possible -1834.47 (419.90 seconds) After 25700 nodes, 1420 on tree, 1045.9 best solution, best possible -1834.47 (421.04 seconds) After 25800 nodes, 1430 on tree, 1045.9 best solution, best possible -1834.47 (422.30 seconds) After 25900 nodes, 1440 on tree, 1045.9 best solution, best possible -1834.47 (423.53 seconds) After 26000 nodes, 1447 on tree, 1045.9 best solution, best possible -1834.47 (424.92 seconds) After 26100 nodes, 1454 on tree, 1045.9 best solution, best possible -1827.88 (426.15 seconds) After 26200 nodes, 1465 on tree, 1045.9 best solution, best possible -1821.61 (427.53 seconds) After 26300 nodes, 1471 on tree, 1045.9 best solution, best possible -1818.71 (428.83 seconds) After 26400 nodes, 1477 on tree, 1045.9 best solution, best possible -1810.78 (430.14 seconds) After 26500 nodes, 1484 on tree, 1045.9 best solution, best possible -1806.41 (431.42 seconds) After 26600 nodes, 1488 on tree, 1045.9 best solution, best possible -1803.51 (432.72 seconds) After 26700 nodes, 1495 on tree, 1045.9 best solution, best possible -1798.56 (434.01 seconds) After 26800 nodes, 1506 on tree, 1045.9 best solution, best possible -1790.07 (435.32 seconds) After 26900 nodes, 1515 on tree, 1045.9 best solution, best possible -1784.19 (436.66 seconds) After 27000 nodes, 1520 on tree, 1045.9 best solution, best possible -1776.72 (437.88 seconds) After 27100 nodes, 1526 on tree, 1045.9 best solution, best possible -1770.15 (439.19 seconds) After 27200 nodes, 1532 on tree, 1045.9 best solution, best possible -1767.12 (440.39 seconds) After 27300 nodes, 1541 on tree, 1045.9 best solution, best possible -1764.12 (441.71 seconds) After 27400 nodes, 1550 on tree, 1045.9 best solution, best possible -1761.64 (442.86 seconds) After 27500 nodes, 1556 on tree, 1045.9 best solution, best possible -1759.56 (444.02 seconds) After 27600 nodes, 1562 on tree, 1045.9 best solution, best possible -1754.27 (445.18 seconds) After 27700 nodes, 1568 on tree, 1045.9 best solution, best possible -1750.01 (446.27 seconds) After 27800 nodes, 1579 on tree, 1045.9 best solution, best possible -1745.37 (447.49 seconds) After 27900 nodes, 1586 on tree, 1045.9 best solution, best possible -1742.68 (448.73 seconds) After 28000 nodes, 1593 on tree, 1045.9 best solution, best possible -1738.72 (450.05 seconds) After 28100 nodes, 1605 on tree, 1045.9 best solution, best possible -1735.13 (451.37 seconds) After 28200 nodes, 1614 on tree, 1045.9 best solution, best possible -1732.18 (452.62 seconds) After 28300 nodes, 1622 on tree, 1045.9 best solution, best possible -1727.42 (453.88 seconds) After 28400 nodes, 1633 on tree, 1045.9 best solution, best possible -1722.5 (455.08 seconds) After 28500 nodes, 1643 on tree, 1045.9 best solution, best possible -1719.27 (456.28 seconds) After 28600 nodes, 1652 on tree, 1045.9 best solution, best possible -1716.52 (457.62 seconds) After 28700 nodes, 1662 on tree, 1045.9 best solution, best possible -1714.41 (458.87 seconds) After 28800 nodes, 1672 on tree, 1045.9 best solution, best possible -1711.01 (460.15 seconds) After 28900 nodes, 1681 on tree, 1045.9 best solution, best possible -1707.05 (461.38 seconds) After 29000 nodes, 1694 on tree, 1045.9 best solution, best possible -1705.02 (462.71 seconds) After 29100 nodes, 1697 on tree, 1045.9 best solution, best possible -1704.48 (463.83 seconds) After 29200 nodes, 1702 on tree, 1045.9 best solution, best possible -1704.48 (464.89 seconds) After 29300 nodes, 1712 on tree, 1045.9 best solution, best possible -1704.48 (466.06 seconds) After 29400 nodes, 1716 on tree, 1045.9 best solution, best possible -1704.48 (467.28 seconds) After 29500 nodes, 1724 on tree, 1045.9 best solution, best possible -1704.48 (468.43 seconds) After 29600 nodes, 1726 on tree, 1045.9 best solution, best possible -1704.14 (469.53 seconds) After 29700 nodes, 1732 on tree, 1045.9 best solution, best possible -1704.14 (470.67 seconds) After 29800 nodes, 1738 on tree, 1045.9 best solution, best possible -1704.14 (471.78 seconds) After 29900 nodes, 1744 on tree, 1045.9 best solution, best possible -1704.14 (472.94 seconds) After 30000 nodes, 1744 on tree, 1045.9 best solution, best possible -1704.14 (474.26 seconds) After 30100 nodes, 1751 on tree, 1045.9 best solution, best possible -1698.2 (475.41 seconds) After 30200 nodes, 1757 on tree, 1045.9 best solution, best possible -1694.59 (476.61 seconds) After 30300 nodes, 1761 on tree, 1045.9 best solution, best possible -1693.24 (477.61 seconds) After 30400 nodes, 1774 on tree, 1045.9 best solution, best possible -1689.74 (478.90 seconds) After 30500 nodes, 1778 on tree, 1045.9 best solution, best possible -1688.34 (480.05 seconds) After 30600 nodes, 1790 on tree, 1045.9 best solution, best possible -1684.19 (481.33 seconds) After 30700 nodes, 1797 on tree, 1045.9 best solution, best possible -1680.25 (482.72 seconds) After 30800 nodes, 1804 on tree, 1045.9 best solution, best possible -1676.32 (483.98 seconds) After 30900 nodes, 1811 on tree, 1045.9 best solution, best possible -1671.97 (485.28 seconds) After 31000 nodes, 1822 on tree, 1045.9 best solution, best possible -1668.96 (486.52 seconds) After 31100 nodes, 1825 on tree, 1045.9 best solution, best possible -1664.73 (487.70 seconds) After 31200 nodes, 1837 on tree, 1045.9 best solution, best possible -1660.39 (488.98 seconds) After 31300 nodes, 1842 on tree, 1045.9 best solution, best possible -1658.46 (490.16 seconds) After 31400 nodes, 1850 on tree, 1045.9 best solution, best possible -1655.47 (491.37 seconds) After 31500 nodes, 1855 on tree, 1045.9 best solution, best possible -1652.37 (492.55 seconds) After 31600 nodes, 1865 on tree, 1045.9 best solution, best possible -1648.56 (493.80 seconds) After 31700 nodes, 1869 on tree, 1045.9 best solution, best possible -1645.95 (495.01 seconds) After 31800 nodes, 1872 on tree, 1045.9 best solution, best possible -1643.85 (496.01 seconds) After 31900 nodes, 1879 on tree, 1045.9 best solution, best possible -1640.1 (497.15 seconds) After 32000 nodes, 1882 on tree, 1045.9 best solution, best possible -1637.89 (498.28 seconds) After 32100 nodes, 1896 on tree, 1045.9 best solution, best possible -1633.56 (499.70 seconds) After 32200 nodes, 1903 on tree, 1045.9 best solution, best possible -1629.82 (501.00 seconds) After 32300 nodes, 1910 on tree, 1045.9 best solution, best possible -1628.39 (502.13 seconds) After 32400 nodes, 1923 on tree, 1045.9 best solution, best possible -1623.28 (503.38 seconds) After 32500 nodes, 1933 on tree, 1045.9 best solution, best possible -1620.75 (504.65 seconds) After 32600 nodes, 1944 on tree, 1045.9 best solution, best possible -1616.21 (505.97 seconds) After 32700 nodes, 1952 on tree, 1045.9 best solution, best possible -1614.18 (507.18 seconds) After 32800 nodes, 1956 on tree, 1045.9 best solution, best possible -1611.31 (508.43 seconds) After 32900 nodes, 1967 on tree, 1045.9 best solution, best possible -1608.43 (509.75 seconds) After 33000 nodes, 1972 on tree, 1045.9 best solution, best possible -1606.11 (510.82 seconds) After 33100 nodes, 1986 on tree, 1045.9 best solution, best possible -1607.26 (512.12 seconds) After 33200 nodes, 1988 on tree, 1045.9 best solution, best possible -1607.26 (513.16 seconds) After 33300 nodes, 1991 on tree, 1045.9 best solution, best possible -1607.26 (514.32 seconds) After 33400 nodes, 2001 on tree, 1045.9 best solution, best possible -1607.26 (515.54 seconds) After 33500 nodes, 2010 on tree, 1045.9 best solution, best possible -1607.26 (516.68 seconds) After 33600 nodes, 2009 on tree, 1045.9 best solution, best possible -1607.26 (517.71 seconds) After 33700 nodes, 2014 on tree, 1045.9 best solution, best possible -1607.26 (518.72 seconds) After 33800 nodes, 2021 on tree, 1045.9 best solution, best possible -1607.26 (519.90 seconds) After 33900 nodes, 2029 on tree, 1045.9 best solution, best possible -1607.26 (521.01 seconds) After 34000 nodes, 2041 on tree, 1045.9 best solution, best possible -1607.26 (522.19 seconds) After 34100 nodes, 2042 on tree, 1045.9 best solution, best possible -1602.03 (523.22 seconds) After 34200 nodes, 2054 on tree, 1045.9 best solution, best possible -1597.51 (524.39 seconds) After 34300 nodes, 2066 on tree, 1045.9 best solution, best possible -1590.47 (525.62 seconds) After 34400 nodes, 2084 on tree, 1045.9 best solution, best possible -1585.31 (526.96 seconds) After 34500 nodes, 2090 on tree, 1045.9 best solution, best possible -1581.56 (528.18 seconds) After 34600 nodes, 2098 on tree, 1045.9 best solution, best possible -1575.75 (529.38 seconds) After 34700 nodes, 2103 on tree, 1045.9 best solution, best possible -1572.94 (530.60 seconds) After 34800 nodes, 2106 on tree, 1045.9 best solution, best possible -1571.39 (531.68 seconds) After 34900 nodes, 2111 on tree, 1045.9 best solution, best possible -1569.2 (532.96 seconds) After 35000 nodes, 2119 on tree, 1045.9 best solution, best possible -1564.98 (534.23 seconds) After 35100 nodes, 2125 on tree, 1045.9 best solution, best possible -1563.57 (535.43 seconds) After 35200 nodes, 2132 on tree, 1045.9 best solution, best possible -1560.97 (536.49 seconds) After 35300 nodes, 2143 on tree, 1045.9 best solution, best possible -1557.13 (537.80 seconds) After 35400 nodes, 2153 on tree, 1045.9 best solution, best possible -1554.08 (538.96 seconds) After 35500 nodes, 2165 on tree, 1045.9 best solution, best possible -1551.1 (540.21 seconds) After 35600 nodes, 2174 on tree, 1045.9 best solution, best possible -1547.46 (541.44 seconds) After 35700 nodes, 2186 on tree, 1045.9 best solution, best possible -1544.96 (542.75 seconds) After 35800 nodes, 2198 on tree, 1045.9 best solution, best possible -1539.85 (543.96 seconds) After 35900 nodes, 2202 on tree, 1045.9 best solution, best possible -1536.83 (545.21 seconds) After 36000 nodes, 2216 on tree, 1045.9 best solution, best possible -1533.31 (546.45 seconds) After 36100 nodes, 2222 on tree, 1045.9 best solution, best possible -1530.79 (547.75 seconds) After 36200 nodes, 2226 on tree, 1045.9 best solution, best possible -1528.04 (548.99 seconds) After 36300 nodes, 2232 on tree, 1045.9 best solution, best possible -1524.58 (550.15 seconds) After 36400 nodes, 2249 on tree, 1045.9 best solution, best possible -1520.21 (551.33 seconds) After 36500 nodes, 2259 on tree, 1045.9 best solution, best possible -1517.01 (552.59 seconds) After 36600 nodes, 2266 on tree, 1045.9 best solution, best possible -1512.8 (553.83 seconds) After 36700 nodes, 2269 on tree, 1045.9 best solution, best possible -1512.63 (554.81 seconds) After 36800 nodes, 2284 on tree, 1045.9 best solution, best possible -1507.42 (556.04 seconds) After 36900 nodes, 2297 on tree, 1045.9 best solution, best possible -1503.81 (557.31 seconds) After 37000 nodes, 2309 on tree, 1045.9 best solution, best possible -1501.56 (558.57 seconds) After 37100 nodes, 2316 on tree, 1045.9 best solution, best possible -1501.56 (559.74 seconds) After 37200 nodes, 2322 on tree, 1045.9 best solution, best possible -1501.56 (560.79 seconds) After 37300 nodes, 2329 on tree, 1045.9 best solution, best possible -1501.56 (561.97 seconds) After 37400 nodes, 2336 on tree, 1045.9 best solution, best possible -1501.56 (563.13 seconds) After 37500 nodes, 2344 on tree, 1045.9 best solution, best possible -1501.56 (564.21 seconds) After 37600 nodes, 2346 on tree, 1045.9 best solution, best possible -1501.56 (565.25 seconds) After 37700 nodes, 2358 on tree, 1045.9 best solution, best possible -1501.56 (566.47 seconds) After 37800 nodes, 2374 on tree, 1045.9 best solution, best possible -1501.56 (567.60 seconds) After 37900 nodes, 2375 on tree, 1045.9 best solution, best possible -1501.56 (568.64 seconds) After 38000 nodes, 2380 on tree, 1045.9 best solution, best possible -1501.56 (569.72 seconds) After 38100 nodes, 2391 on tree, 1045.9 best solution, best possible -1498.47 (571.00 seconds) After 38200 nodes, 2396 on tree, 1045.9 best solution, best possible -1494.66 (572.32 seconds) After 38300 nodes, 2403 on tree, 1045.9 best solution, best possible -1492.3 (573.44 seconds) After 38400 nodes, 2414 on tree, 1045.9 best solution, best possible -1489.35 (574.60 seconds) After 38500 nodes, 2424 on tree, 1045.9 best solution, best possible -1487.71 (575.71 seconds) After 38600 nodes, 2427 on tree, 1045.9 best solution, best possible -1485 (576.81 seconds) After 38700 nodes, 2441 on tree, 1045.9 best solution, best possible -1480.8 (578.01 seconds) After 38800 nodes, 2452 on tree, 1045.9 best solution, best possible -1477.32 (579.20 seconds) After 38900 nodes, 2461 on tree, 1045.9 best solution, best possible -1473.33 (580.46 seconds) After 39000 nodes, 2467 on tree, 1045.9 best solution, best possible -1470.84 (581.64 seconds) After 39100 nodes, 2471 on tree, 1045.9 best solution, best possible -1468.9 (582.86 seconds) After 39200 nodes, 2475 on tree, 1045.9 best solution, best possible -1466.52 (583.87 seconds) After 39300 nodes, 2481 on tree, 1045.9 best solution, best possible -1463.88 (585.03 seconds) After 39400 nodes, 2495 on tree, 1045.9 best solution, best possible -1461.42 (586.19 seconds) After 39500 nodes, 2502 on tree, 1045.9 best solution, best possible -1458.11 (587.28 seconds) After 39600 nodes, 2511 on tree, 1045.9 best solution, best possible -1453.61 (588.40 seconds) After 39700 nodes, 2522 on tree, 1045.9 best solution, best possible -1450.45 (589.50 seconds) After 39800 nodes, 2527 on tree, 1045.9 best solution, best possible -1448.72 (590.72 seconds) After 39900 nodes, 2534 on tree, 1045.9 best solution, best possible -1446.64 (591.97 seconds) After 40000 nodes, 2541 on tree, 1045.9 best solution, best possible -1444.04 (593.13 seconds) After 40100 nodes, 2547 on tree, 1045.9 best solution, best possible -1442.98 (594.23 seconds) After 40200 nodes, 2550 on tree, 1045.9 best solution, best possible -1440.39 (595.34 seconds) After 40300 nodes, 2559 on tree, 1045.9 best solution, best possible -1438.02 (596.55 seconds) After 40400 nodes, 2567 on tree, 1045.9 best solution, best possible -1434.85 (597.77 seconds) After 40500 nodes, 2572 on tree, 1045.9 best solution, best possible -1432.64 (598.90 seconds) After 40600 nodes, 2581 on tree, 1045.9 best solution, best possible -1429.96 (600.25 seconds) After 40700 nodes, 2584 on tree, 1045.9 best solution, best possible -1425.67 (601.45 seconds) After 40800 nodes, 2589 on tree, 1045.9 best solution, best possible -1424.45 (602.60 seconds) After 40900 nodes, 2602 on tree, 1045.9 best solution, best possible -1420.55 (603.84 seconds) After 41000 nodes, 2616 on tree, 1045.9 best solution, best possible -1417.66 (605.03 seconds) After 41100 nodes, 2619 on tree, 1045.9 best solution, best possible -1417.66 (606.17 seconds) After 41200 nodes, 2626 on tree, 1045.9 best solution, best possible -1417.66 (607.32 seconds) After 41300 nodes, 2634 on tree, 1045.9 best solution, best possible -1417.66 (608.45 seconds) After 41400 nodes, 2647 on tree, 1045.9 best solution, best possible -1417.66 (609.63 seconds) After 41500 nodes, 2648 on tree, 1045.9 best solution, best possible -1417.66 (610.66 seconds) After 41600 nodes, 2657 on tree, 1045.9 best solution, best possible -1417.66 (611.79 seconds) After 41700 nodes, 2666 on tree, 1045.9 best solution, best possible -1417.66 (612.92 seconds) After 41800 nodes, 2675 on tree, 1045.9 best solution, best possible -1417.66 (614.03 seconds) After 41900 nodes, 2689 on tree, 1045.9 best solution, best possible -1417.66 (615.31 seconds) After 42000 nodes, 2697 on tree, 1045.9 best solution, best possible -1417.66 (616.39 seconds) After 42100 nodes, 2702 on tree, 1045.9 best solution, best possible -1415.53 (617.54 seconds) After 42200 nodes, 2710 on tree, 1045.9 best solution, best possible -1414.51 (618.64 seconds) After 42300 nodes, 2717 on tree, 1045.9 best solution, best possible -1411.14 (619.87 seconds) After 42400 nodes, 2732 on tree, 1045.9 best solution, best possible -1407.76 (621.05 seconds) After 42500 nodes, 2742 on tree, 1045.9 best solution, best possible -1404.28 (622.19 seconds) After 42600 nodes, 2753 on tree, 1045.9 best solution, best possible -1401.02 (623.31 seconds) After 42700 nodes, 2760 on tree, 1045.9 best solution, best possible -1398.34 (624.47 seconds) After 42800 nodes, 2765 on tree, 1045.9 best solution, best possible -1397.96 (625.50 seconds) After 42900 nodes, 2776 on tree, 1045.9 best solution, best possible -1394.58 (626.72 seconds) After 43000 nodes, 2781 on tree, 1045.9 best solution, best possible -1392.52 (627.90 seconds) After 43100 nodes, 2789 on tree, 1045.9 best solution, best possible -1389.48 (629.10 seconds) After 43200 nodes, 2796 on tree, 1045.9 best solution, best possible -1387.72 (630.19 seconds) After 43300 nodes, 2800 on tree, 1045.9 best solution, best possible -1385.65 (631.24 seconds) After 43400 nodes, 2802 on tree, 1045.9 best solution, best possible -1384.91 (632.20 seconds) After 43500 nodes, 2807 on tree, 1045.9 best solution, best possible -1383.51 (633.32 seconds) After 43600 nodes, 2816 on tree, 1045.9 best solution, best possible -1381.26 (634.63 seconds) After 43700 nodes, 2821 on tree, 1045.9 best solution, best possible -1380.76 (635.85 seconds) After 43800 nodes, 2833 on tree, 1045.9 best solution, best possible -1379.57 (637.14 seconds) After 43900 nodes, 2844 on tree, 1045.9 best solution, best possible -1377.14 (638.29 seconds) After 44000 nodes, 2849 on tree, 1045.9 best solution, best possible -1376.3 (639.46 seconds) After 44100 nodes, 2855 on tree, 1045.9 best solution, best possible -1373.34 (640.62 seconds) After 44200 nodes, 2861 on tree, 1045.9 best solution, best possible -1372.19 (641.72 seconds) After 44300 nodes, 2868 on tree, 1045.9 best solution, best possible -1370.79 (642.86 seconds) After 44400 nodes, 2869 on tree, 1045.9 best solution, best possible -1370.3 (643.90 seconds) After 44500 nodes, 2881 on tree, 1045.9 best solution, best possible -1367.74 (645.06 seconds) After 44600 nodes, 2883 on tree, 1045.9 best solution, best possible -1366.57 (646.16 seconds) After 44700 nodes, 2887 on tree, 1045.9 best solution, best possible -1365.2 (647.30 seconds) After 44800 nodes, 2898 on tree, 1045.9 best solution, best possible -1363.43 (648.48 seconds) After 44900 nodes, 2897 on tree, 1045.9 best solution, best possible -1363.11 (649.65 seconds) After 45000 nodes, 2903 on tree, 1045.9 best solution, best possible -1361.38 (650.78 seconds) After 45100 nodes, 2912 on tree, 1045.9 best solution, best possible -1361.38 (651.96 seconds) After 45200 nodes, 2919 on tree, 1045.9 best solution, best possible -1361.38 (653.08 seconds) After 45300 nodes, 2927 on tree, 1045.9 best solution, best possible -1361.38 (654.23 seconds) After 45400 nodes, 2935 on tree, 1045.9 best solution, best possible -1361.38 (655.34 seconds) After 45500 nodes, 2948 on tree, 1045.9 best solution, best possible -1361.38 (656.50 seconds) After 45600 nodes, 2957 on tree, 1045.9 best solution, best possible -1361.38 (657.87 seconds) After 45700 nodes, 2963 on tree, 1045.9 best solution, best possible -1361.38 (659.36 seconds) After 45800 nodes, 2971 on tree, 1045.9 best solution, best possible -1361.38 (660.87 seconds) After 45900 nodes, 2978 on tree, 1045.9 best solution, best possible -1361.38 (662.40 seconds) After 46000 nodes, 2991 on tree, 1045.9 best solution, best possible -1361.38 (664.02 seconds) After 46100 nodes, 2994 on tree, 1045.9 best solution, best possible -1358.64 (665.45 seconds) After 46200 nodes, 2995 on tree, 1045.9 best solution, best possible -1357.89 (666.85 seconds) After 46300 nodes, 3002 on tree, 1045.9 best solution, best possible -1354.03 (668.45 seconds) After 46400 nodes, 3008 on tree, 1045.9 best solution, best possible -1352.54 (669.97 seconds) After 46500 nodes, 3015 on tree, 1045.9 best solution, best possible -1350.56 (671.52 seconds) After 46600 nodes, 3019 on tree, 1045.9 best solution, best possible -1348.59 (673.00 seconds) After 46700 nodes, 3035 on tree, 1045.9 best solution, best possible -1347.23 (674.68 seconds) After 46800 nodes, 3045 on tree, 1045.9 best solution, best possible -1345.27 (676.24 seconds) After 46900 nodes, 3048 on tree, 1045.9 best solution, best possible -1344.05 (677.64 seconds) After 47000 nodes, 3056 on tree, 1045.9 best solution, best possible -1342.36 (679.14 seconds) After 47100 nodes, 3061 on tree, 1045.9 best solution, best possible -1341.17 (680.58 seconds) After 47200 nodes, 3076 on tree, 1045.9 best solution, best possible -1338.37 (682.03 seconds) After 47300 nodes, 3085 on tree, 1045.9 best solution, best possible -1335.66 (683.57 seconds) After 47400 nodes, 3095 on tree, 1045.9 best solution, best possible -1334.56 (685.22 seconds) After 47500 nodes, 3101 on tree, 1045.9 best solution, best possible -1333.33 (686.63 seconds) After 47600 nodes, 3100 on tree, 1045.9 best solution, best possible -1332.27 (688.19 seconds) After 47700 nodes, 3109 on tree, 1045.9 best solution, best possible -1330.88 (689.78 seconds) After 47800 nodes, 3113 on tree, 1045.9 best solution, best possible -1329.15 (691.56 seconds) After 47900 nodes, 3121 on tree, 1045.9 best solution, best possible -1327.22 (693.15 seconds) After 48000 nodes, 3124 on tree, 1045.9 best solution, best possible -1326.92 (694.52 seconds) After 48100 nodes, 3131 on tree, 1045.9 best solution, best possible -1325.16 (696.14 seconds) After 48200 nodes, 3133 on tree, 1045.9 best solution, best possible -1324.82 (697.42 seconds) After 48300 nodes, 3138 on tree, 1045.9 best solution, best possible -1322.71 (698.81 seconds) After 48400 nodes, 3148 on tree, 1045.9 best solution, best possible -1319.8 (700.34 seconds) After 48500 nodes, 3154 on tree, 1045.9 best solution, best possible -1318.03 (701.96 seconds) After 48600 nodes, 3156 on tree, 1045.9 best solution, best possible -1317.87 (703.50 seconds) After 48700 nodes, 3163 on tree, 1045.9 best solution, best possible -1314.8 (705.08 seconds) After 48800 nodes, 3174 on tree, 1045.9 best solution, best possible -1312.06 (706.74 seconds) After 48900 nodes, 3180 on tree, 1045.9 best solution, best possible -1311.78 (708.14 seconds) After 49000 nodes, 3183 on tree, 1045.9 best solution, best possible -1309.37 (709.68 seconds) After 49100 nodes, 3186 on tree, 1045.9 best solution, best possible -1309.37 (711.18 seconds) After 49200 nodes, 3190 on tree, 1045.9 best solution, best possible -1309.37 (712.52 seconds) After 49300 nodes, 3199 on tree, 1045.9 best solution, best possible -1309.37 (714.03 seconds) After 49400 nodes, 3205 on tree, 1045.9 best solution, best possible -1309.37 (715.44 seconds) After 49500 nodes, 3213 on tree, 1045.9 best solution, best possible -1309.37 (716.96 seconds) After 49600 nodes, 3223 on tree, 1045.9 best solution, best possible -1309.37 (718.47 seconds) After 49700 nodes, 3240 on tree, 1045.9 best solution, best possible -1309.37 (720.07 seconds) After 49800 nodes, 3247 on tree, 1045.9 best solution, best possible -1309.37 (721.61 seconds) After 49900 nodes, 3254 on tree, 1045.9 best solution, best possible -1309.37 (722.99 seconds) After 50000 nodes, 3259 on tree, 1045.9 best solution, best possible -1309.37 (724.46 seconds) After 50100 nodes, 3266 on tree, 1045.9 best solution, best possible -1306.5 (726.16 seconds) After 50200 nodes, 3272 on tree, 1045.9 best solution, best possible -1305.9 (727.58 seconds) After 50300 nodes, 3276 on tree, 1045.9 best solution, best possible -1305.21 (729.01 seconds) After 50400 nodes, 3287 on tree, 1045.9 best solution, best possible -1303.42 (730.62 seconds) After 50500 nodes, 3301 on tree, 1045.9 best solution, best possible -1302.16 (732.05 seconds) After 50600 nodes, 3303 on tree, 1045.9 best solution, best possible -1301.75 (733.48 seconds) After 50700 nodes, 3303 on tree, 1045.9 best solution, best possible -1301.39 (734.70 seconds) After 50800 nodes, 3307 on tree, 1045.9 best solution, best possible -1298.55 (736.12 seconds) After 50900 nodes, 3314 on tree, 1045.9 best solution, best possible -1296.84 (737.57 seconds) After 51000 nodes, 3320 on tree, 1045.9 best solution, best possible -1295.29 (739.04 seconds) After 51100 nodes, 3325 on tree, 1045.9 best solution, best possible -1293.28 (740.58 seconds) After 51200 nodes, 3338 on tree, 1045.9 best solution, best possible -1291.31 (741.98 seconds) After 51300 nodes, 3350 on tree, 1045.9 best solution, best possible -1288.46 (743.49 seconds) After 51400 nodes, 3360 on tree, 1045.9 best solution, best possible -1286.29 (745.10 seconds) After 51500 nodes, 3362 on tree, 1045.9 best solution, best possible -1284.8 (746.46 seconds) After 51600 nodes, 3364 on tree, 1045.9 best solution, best possible -1284.24 (747.70 seconds) After 51700 nodes, 3369 on tree, 1045.9 best solution, best possible -1283.28 (749.29 seconds) After 51800 nodes, 3373 on tree, 1045.9 best solution, best possible -1282.43 (750.80 seconds) After 51900 nodes, 3383 on tree, 1045.9 best solution, best possible -1281.62 (752.44 seconds) After 52000 nodes, 3389 on tree, 1045.9 best solution, best possible -1280.77 (753.76 seconds) After 52100 nodes, 3397 on tree, 1045.9 best solution, best possible -1278.69 (755.19 seconds) After 52200 nodes, 3400 on tree, 1045.9 best solution, best possible -1278.06 (756.67 seconds) After 52300 nodes, 3406 on tree, 1045.9 best solution, best possible -1277.36 (758.00 seconds) After 52400 nodes, 3416 on tree, 1045.9 best solution, best possible -1276.01 (759.47 seconds) After 52500 nodes, 3421 on tree, 1045.9 best solution, best possible -1275 (761.01 seconds) After 52600 nodes, 3428 on tree, 1045.9 best solution, best possible -1273.37 (762.54 seconds) After 52700 nodes, 3435 on tree, 1045.9 best solution, best possible -1270.68 (764.05 seconds) After 52800 nodes, 3439 on tree, 1045.9 best solution, best possible -1268.43 (765.69 seconds) After 52900 nodes, 3446 on tree, 1045.9 best solution, best possible -1266.46 (767.34 seconds) After 53000 nodes, 3452 on tree, 1045.9 best solution, best possible -1265.56 (768.62 seconds) After 53100 nodes, 3466 on tree, 1045.9 best solution, best possible -1265.56 (769.86 seconds) After 53200 nodes, 3471 on tree, 1045.9 best solution, best possible -1265.56 (771.00 seconds) After 53300 nodes, 3478 on tree, 1045.9 best solution, best possible -1265.56 (772.31 seconds) After 53400 nodes, 3489 on tree, 1045.9 best solution, best possible -1265.56 (773.58 seconds) After 53500 nodes, 3500 on tree, 1045.9 best solution, best possible -1265.56 (774.73 seconds) After 53600 nodes, 3502 on tree, 1045.9 best solution, best possible -1265.56 (775.82 seconds) After 53700 nodes, 3515 on tree, 1045.9 best solution, best possible -1265.56 (776.99 seconds) After 53800 nodes, 3521 on tree, 1045.9 best solution, best possible -1265.56 (778.13 seconds) After 53900 nodes, 3530 on tree, 1045.9 best solution, best possible -1265.56 (779.26 seconds) After 54000 nodes, 3532 on tree, 1045.9 best solution, best possible -1265.56 (780.20 seconds) After 54100 nodes, 3541 on tree, 1045.9 best solution, best possible -1264.36 (781.32 seconds) After 54200 nodes, 3547 on tree, 1045.9 best solution, best possible -1261.98 (782.40 seconds) After 54300 nodes, 3555 on tree, 1045.9 best solution, best possible -1260.54 (783.59 seconds) After 54400 nodes, 3562 on tree, 1045.9 best solution, best possible -1259.27 (784.64 seconds) After 54500 nodes, 3563 on tree, 1045.9 best solution, best possible -1257.74 (785.54 seconds) After 54600 nodes, 3572 on tree, 1045.9 best solution, best possible -1256.47 (786.63 seconds) After 54700 nodes, 3584 on tree, 1045.9 best solution, best possible -1253.8 (787.87 seconds) After 54800 nodes, 3589 on tree, 1045.9 best solution, best possible -1253.29 (788.87 seconds) After 54900 nodes, 3596 on tree, 1045.9 best solution, best possible -1251.58 (789.94 seconds) After 55000 nodes, 3602 on tree, 1045.9 best solution, best possible -1251.26 (791.05 seconds) After 55100 nodes, 3609 on tree, 1045.9 best solution, best possible -1250.67 (792.21 seconds) After 55200 nodes, 3620 on tree, 1045.9 best solution, best possible -1249.05 (793.38 seconds) After 55300 nodes, 3624 on tree, 1045.9 best solution, best possible -1247.67 (794.42 seconds) After 55400 nodes, 3629 on tree, 1045.9 best solution, best possible -1246.38 (795.47 seconds) After 55500 nodes, 3640 on tree, 1045.9 best solution, best possible -1245.3 (796.50 seconds) After 55600 nodes, 3645 on tree, 1045.9 best solution, best possible -1243.57 (797.57 seconds) After 55700 nodes, 3657 on tree, 1045.9 best solution, best possible -1241.86 (798.70 seconds) After 55800 nodes, 3670 on tree, 1045.9 best solution, best possible -1240.49 (799.77 seconds) After 55900 nodes, 3681 on tree, 1045.9 best solution, best possible -1238.51 (800.91 seconds) After 56000 nodes, 3687 on tree, 1045.9 best solution, best possible -1236.58 (801.98 seconds) After 56100 nodes, 3696 on tree, 1045.9 best solution, best possible -1235.16 (803.05 seconds) After 56200 nodes, 3705 on tree, 1045.9 best solution, best possible -1232.62 (804.24 seconds) After 56300 nodes, 3717 on tree, 1045.9 best solution, best possible -1229.87 (805.47 seconds) After 56400 nodes, 3724 on tree, 1045.9 best solution, best possible -1228.96 (806.49 seconds) After 56500 nodes, 3732 on tree, 1045.9 best solution, best possible -1228.08 (807.51 seconds) After 56600 nodes, 3738 on tree, 1045.9 best solution, best possible -1227.14 (808.62 seconds) After 56700 nodes, 3750 on tree, 1045.9 best solution, best possible -1225.43 (809.82 seconds) After 56800 nodes, 3759 on tree, 1045.9 best solution, best possible -1223.98 (810.90 seconds) After 56900 nodes, 3770 on tree, 1045.9 best solution, best possible -1222.15 (812.06 seconds) After 57000 nodes, 3777 on tree, 1045.9 best solution, best possible -1220.47 (813.12 seconds) After 57100 nodes, 3782 on tree, 1045.9 best solution, best possible -1220.47 (814.32 seconds) After 57200 nodes, 3787 on tree, 1045.9 best solution, best possible -1220.47 (815.48 seconds) After 57300 nodes, 3794 on tree, 1045.9 best solution, best possible -1220.47 (816.60 seconds) After 57400 nodes, 3805 on tree, 1045.9 best solution, best possible -1220.47 (817.71 seconds) After 57500 nodes, 3808 on tree, 1045.9 best solution, best possible -1220.47 (818.70 seconds) After 57600 nodes, 3821 on tree, 1045.9 best solution, best possible -1220.47 (819.84 seconds) After 57700 nodes, 3828 on tree, 1045.9 best solution, best possible -1220.47 (820.97 seconds) After 57800 nodes, 3834 on tree, 1045.9 best solution, best possible -1220.47 (822.10 seconds) After 57900 nodes, 3842 on tree, 1045.9 best solution, best possible -1220.47 (823.22 seconds) After 58000 nodes, 3853 on tree, 1045.9 best solution, best possible -1220.47 (824.28 seconds) After 58100 nodes, 3857 on tree, 1045.9 best solution, best possible -1219.86 (825.27 seconds) After 58200 nodes, 3862 on tree, 1045.9 best solution, best possible -1218.03 (826.37 seconds) After 58300 nodes, 3867 on tree, 1045.9 best solution, best possible -1217.31 (827.46 seconds) After 58400 nodes, 3875 on tree, 1045.9 best solution, best possible -1216.32 (828.62 seconds) After 58500 nodes, 3884 on tree, 1045.9 best solution, best possible -1215.64 (829.84 seconds) After 58600 nodes, 3889 on tree, 1045.9 best solution, best possible -1214.28 (830.95 seconds) After 58700 nodes, 3900 on tree, 1045.9 best solution, best possible -1212.82 (832.07 seconds) After 58800 nodes, 3901 on tree, 1045.9 best solution, best possible -1212.54 (833.06 seconds) After 58900 nodes, 3909 on tree, 1045.9 best solution, best possible -1211.92 (834.26 seconds) After 59000 nodes, 3914 on tree, 1045.9 best solution, best possible -1210.75 (835.27 seconds) After 59100 nodes, 3916 on tree, 1045.9 best solution, best possible -1209.4 (836.32 seconds) After 59200 nodes, 3926 on tree, 1045.9 best solution, best possible -1208.49 (837.48 seconds) After 59300 nodes, 3929 on tree, 1045.9 best solution, best possible -1207.82 (838.46 seconds) After 59400 nodes, 3938 on tree, 1045.9 best solution, best possible -1206.54 (839.46 seconds) After 59500 nodes, 3946 on tree, 1045.9 best solution, best possible -1205.24 (840.60 seconds) After 59600 nodes, 3957 on tree, 1045.9 best solution, best possible -1204.13 (841.62 seconds) After 59700 nodes, 3965 on tree, 1045.9 best solution, best possible -1203.08 (842.74 seconds) After 59800 nodes, 3968 on tree, 1045.9 best solution, best possible -1202.76 (843.74 seconds) After 59900 nodes, 3973 on tree, 1045.9 best solution, best possible -1202.29 (844.81 seconds) After 60000 nodes, 3981 on tree, 1045.9 best solution, best possible -1200.52 (845.88 seconds) After 60100 nodes, 3989 on tree, 1045.9 best solution, best possible -1198.86 (846.97 seconds) After 60200 nodes, 3998 on tree, 1045.9 best solution, best possible -1198.23 (848.00 seconds) After 60300 nodes, 4001 on tree, 1045.9 best solution, best possible -1197.23 (849.05 seconds) After 60400 nodes, 4008 on tree, 1045.9 best solution, best possible -1195.18 (850.24 seconds) After 60500 nodes, 4010 on tree, 1045.9 best solution, best possible -1194.33 (851.22 seconds) After 60600 nodes, 4014 on tree, 1045.9 best solution, best possible -1193.02 (852.21 seconds) After 60700 nodes, 4021 on tree, 1045.9 best solution, best possible -1190.66 (853.39 seconds) After 60800 nodes, 4032 on tree, 1045.9 best solution, best possible -1188.08 (854.67 seconds) After 60900 nodes, 4044 on tree, 1045.9 best solution, best possible -1186.18 (855.85 seconds) After 61000 nodes, 4053 on tree, 1045.9 best solution, best possible -1185.2 (856.97 seconds) After 61100 nodes, 4056 on tree, 1045.9 best solution, best possible -1185.2 (858.03 seconds) After 61200 nodes, 4064 on tree, 1045.9 best solution, best possible -1185.2 (859.21 seconds) After 61300 nodes, 4069 on tree, 1045.9 best solution, best possible -1185.2 (860.23 seconds) After 61400 nodes, 4077 on tree, 1045.9 best solution, best possible -1185.2 (861.26 seconds) After 61500 nodes, 4086 on tree, 1045.9 best solution, best possible -1185.2 (862.37 seconds) After 61600 nodes, 4095 on tree, 1045.9 best solution, best possible -1185.2 (863.41 seconds) After 61700 nodes, 4106 on tree, 1045.9 best solution, best possible -1185.2 (864.41 seconds) After 61800 nodes, 4111 on tree, 1045.9 best solution, best possible -1185.2 (865.56 seconds) After 61900 nodes, 4118 on tree, 1045.9 best solution, best possible -1185.2 (866.71 seconds) After 62000 nodes, 4129 on tree, 1045.9 best solution, best possible -1185.2 (867.91 seconds) After 62100 nodes, 4141 on tree, 1045.9 best solution, best possible -1183.82 (869.03 seconds) After 62200 nodes, 4152 on tree, 1045.9 best solution, best possible -1182.7 (870.20 seconds) After 62300 nodes, 4160 on tree, 1045.9 best solution, best possible -1181.28 (871.31 seconds) After 62400 nodes, 4162 on tree, 1045.9 best solution, best possible -1180.54 (872.33 seconds) After 62500 nodes, 4171 on tree, 1045.9 best solution, best possible -1179.16 (873.41 seconds) After 62600 nodes, 4182 on tree, 1045.9 best solution, best possible -1178 (874.44 seconds) After 62700 nodes, 4187 on tree, 1045.9 best solution, best possible -1177.3 (875.57 seconds) After 62800 nodes, 4194 on tree, 1045.9 best solution, best possible -1176.37 (876.68 seconds) After 62900 nodes, 4198 on tree, 1045.9 best solution, best possible -1176.39 (877.74 seconds) After 63000 nodes, 4206 on tree, 1045.9 best solution, best possible -1174.11 (878.87 seconds) After 63100 nodes, 4218 on tree, 1045.9 best solution, best possible -1173.49 (880.01 seconds) After 63200 nodes, 4223 on tree, 1045.9 best solution, best possible -1172.44 (881.14 seconds) After 63300 nodes, 4228 on tree, 1045.9 best solution, best possible -1171.25 (882.24 seconds) After 63400 nodes, 4232 on tree, 1045.9 best solution, best possible -1170.45 (883.29 seconds) After 63500 nodes, 4236 on tree, 1045.9 best solution, best possible -1168.66 (884.37 seconds) After 63600 nodes, 4250 on tree, 1045.9 best solution, best possible -1167.99 (885.56 seconds) After 63700 nodes, 4261 on tree, 1045.9 best solution, best possible -1167.19 (886.67 seconds) After 63800 nodes, 4267 on tree, 1045.9 best solution, best possible -1166.01 (887.79 seconds) After 63900 nodes, 4272 on tree, 1045.9 best solution, best possible -1165.51 (888.89 seconds) After 64000 nodes, 4280 on tree, 1045.9 best solution, best possible -1163.79 (890.04 seconds) After 64100 nodes, 4290 on tree, 1045.9 best solution, best possible -1162.4 (891.09 seconds) After 64200 nodes, 4298 on tree, 1045.9 best solution, best possible -1161.79 (892.10 seconds) After 64300 nodes, 4305 on tree, 1045.9 best solution, best possible -1160.72 (893.21 seconds) After 64400 nodes, 4316 on tree, 1045.9 best solution, best possible -1159.65 (894.32 seconds) After 64500 nodes, 4335 on tree, 1045.9 best solution, best possible -1158.41 (895.51 seconds) After 64600 nodes, 4340 on tree, 1045.9 best solution, best possible -1156.5 (896.70 seconds) After 64700 nodes, 4345 on tree, 1045.9 best solution, best possible -1156.17 (897.68 seconds) After 64800 nodes, 4350 on tree, 1045.9 best solution, best possible -1155.29 (898.86 seconds) After 64900 nodes, 4354 on tree, 1045.9 best solution, best possible -1154.65 (899.86 seconds) After 65000 nodes, 4367 on tree, 1045.9 best solution, best possible -1153.55 (900.97 seconds) After 65100 nodes, 4379 on tree, 1045.9 best solution, best possible -1153.55 (902.01 seconds) After 65200 nodes, 4387 on tree, 1045.9 best solution, best possible -1153.55 (903.10 seconds) After 65300 nodes, 4394 on tree, 1045.9 best solution, best possible -1153.55 (904.24 seconds) After 65400 nodes, 4409 on tree, 1045.9 best solution, best possible -1153.55 (905.36 seconds) After 65500 nodes, 4417 on tree, 1045.9 best solution, best possible -1153.55 (906.40 seconds) After 65600 nodes, 4421 on tree, 1045.9 best solution, best possible -1153.55 (907.38 seconds) After 65700 nodes, 4436 on tree, 1045.9 best solution, best possible -1153.55 (908.45 seconds) After 65800 nodes, 4462 on tree, 1045.9 best solution, best possible -1153.55 (909.47 seconds) After 65900 nodes, 4488 on tree, 1045.9 best solution, best possible -1153.55 (910.73 seconds) After 66000 nodes, 4493 on tree, 1045.9 best solution, best possible -1153.55 (911.70 seconds) After 66100 nodes, 4504 on tree, 1045.9 best solution, best possible -1152.15 (912.87 seconds) After 66200 nodes, 4512 on tree, 1045.9 best solution, best possible -1151.09 (913.91 seconds) After 66300 nodes, 4517 on tree, 1045.9 best solution, best possible -1148.99 (914.97 seconds) After 66400 nodes, 4525 on tree, 1045.9 best solution, best possible -1147.46 (916.09 seconds) After 66500 nodes, 4537 on tree, 1045.9 best solution, best possible -1145.81 (917.19 seconds) After 66600 nodes, 4546 on tree, 1045.9 best solution, best possible -1144.43 (918.29 seconds) After 66700 nodes, 4553 on tree, 1045.9 best solution, best possible -1143.22 (919.30 seconds) After 66800 nodes, 4568 on tree, 1045.9 best solution, best possible -1141.55 (920.51 seconds) After 66900 nodes, 4576 on tree, 1045.9 best solution, best possible -1140.8 (921.56 seconds) After 67000 nodes, 4579 on tree, 1045.9 best solution, best possible -1140.26 (922.49 seconds) After 67100 nodes, 4585 on tree, 1045.9 best solution, best possible -1138.79 (923.57 seconds) After 67200 nodes, 4590 on tree, 1045.9 best solution, best possible -1138.42 (924.57 seconds) After 67300 nodes, 4595 on tree, 1045.9 best solution, best possible -1138.03 (925.67 seconds) After 67400 nodes, 4598 on tree, 1045.9 best solution, best possible -1137.41 (926.74 seconds) After 67500 nodes, 4600 on tree, 1045.9 best solution, best possible -1136.95 (927.79 seconds) After 67600 nodes, 4607 on tree, 1045.9 best solution, best possible -1135.86 (928.89 seconds) After 67700 nodes, 4618 on tree, 1045.9 best solution, best possible -1135.23 (930.01 seconds) After 67800 nodes, 4627 on tree, 1045.9 best solution, best possible -1134.38 (931.12 seconds) After 67900 nodes, 4640 on tree, 1045.9 best solution, best possible -1133.63 (932.39 seconds) After 68000 nodes, 4647 on tree, 1045.9 best solution, best possible -1132.91 (933.51 seconds) After 68100 nodes, 4653 on tree, 1045.9 best solution, best possible -1131.72 (934.60 seconds) After 68200 nodes, 4657 on tree, 1045.9 best solution, best possible -1131.29 (935.54 seconds) After 68300 nodes, 4665 on tree, 1045.9 best solution, best possible -1130.66 (936.61 seconds) After 68400 nodes, 4669 on tree, 1045.9 best solution, best possible -1128.75 (937.71 seconds) After 68500 nodes, 4670 on tree, 1045.9 best solution, best possible -1128.22 (938.71 seconds) After 68600 nodes, 4679 on tree, 1045.9 best solution, best possible -1127.26 (939.78 seconds) After 68700 nodes, 4684 on tree, 1045.9 best solution, best possible -1127.26 (940.68 seconds) After 68800 nodes, 4689 on tree, 1045.9 best solution, best possible -1125.96 (941.69 seconds) After 68900 nodes, 4698 on tree, 1045.9 best solution, best possible -1124.36 (942.78 seconds) After 69000 nodes, 4709 on tree, 1045.9 best solution, best possible -1123.48 (943.98 seconds) After 69100 nodes, 4712 on tree, 1045.9 best solution, best possible -1123.48 (945.01 seconds) After 69200 nodes, 4719 on tree, 1045.9 best solution, best possible -1123.48 (946.22 seconds) After 69300 nodes, 4730 on tree, 1045.9 best solution, best possible -1123.48 (947.32 seconds) After 69400 nodes, 4746 on tree, 1045.9 best solution, best possible -1123.48 (948.48 seconds) After 69500 nodes, 4756 on tree, 1045.9 best solution, best possible -1123.48 (949.64 seconds) After 69600 nodes, 4774 on tree, 1045.9 best solution, best possible -1123.48 (950.81 seconds) After 69700 nodes, 4787 on tree, 1045.9 best solution, best possible -1123.48 (951.95 seconds) After 69800 nodes, 4794 on tree, 1045.9 best solution, best possible -1123.48 (953.16 seconds) After 69900 nodes, 4806 on tree, 1045.9 best solution, best possible -1123.48 (954.27 seconds) After 70000 nodes, 4813 on tree, 1045.9 best solution, best possible -1123.48 (955.36 seconds) After 70100 nodes, 4822 on tree, 1045.9 best solution, best possible -1122.37 (956.40 seconds) After 70200 nodes, 4828 on tree, 1045.9 best solution, best possible -1122.37 (957.33 seconds) After 70300 nodes, 4838 on tree, 1045.9 best solution, best possible -1120.17 (958.48 seconds) After 70400 nodes, 4849 on tree, 1045.9 best solution, best possible -1119.47 (959.68 seconds) After 70500 nodes, 4863 on tree, 1045.9 best solution, best possible -1118.05 (960.74 seconds) After 70600 nodes, 4876 on tree, 1045.9 best solution, best possible -1116.58 (961.81 seconds) After 70700 nodes, 4880 on tree, 1045.9 best solution, best possible -1115.65 (962.78 seconds) After 70800 nodes, 4890 on tree, 1045.9 best solution, best possible -1114.59 (963.88 seconds) After 70900 nodes, 4896 on tree, 1045.9 best solution, best possible -1113.26 (964.97 seconds) After 71000 nodes, 4906 on tree, 1045.9 best solution, best possible -1112.12 (966.07 seconds) After 71100 nodes, 4913 on tree, 1045.9 best solution, best possible -1111.15 (967.08 seconds) After 71200 nodes, 4920 on tree, 1045.9 best solution, best possible -1111.27 (968.29 seconds) After 71300 nodes, 4932 on tree, 1045.9 best solution, best possible -1108.61 (969.48 seconds) After 71400 nodes, 4934 on tree, 1045.9 best solution, best possible -1108.1 (970.50 seconds) After 71500 nodes, 4942 on tree, 1045.9 best solution, best possible -1106.63 (971.60 seconds) After 71600 nodes, 4943 on tree, 1045.9 best solution, best possible -1106.3 (972.59 seconds) After 71700 nodes, 4951 on tree, 1045.9 best solution, best possible -1105.38 (973.58 seconds) After 71800 nodes, 4961 on tree, 1045.9 best solution, best possible -1104.03 (974.68 seconds) After 71900 nodes, 4973 on tree, 1045.9 best solution, best possible -1102.94 (975.83 seconds) After 72000 nodes, 4979 on tree, 1045.9 best solution, best possible -1101.91 (976.91 seconds) After 72100 nodes, 4989 on tree, 1045.9 best solution, best possible -1100.8 (978.02 seconds) After 72200 nodes, 4996 on tree, 1045.9 best solution, best possible -1099.43 (979.11 seconds) After 72300 nodes, 4999 on tree, 1045.9 best solution, best possible -1098.46 (980.21 seconds) After 72400 nodes, 5012 on tree, 1045.9 best solution, best possible -1096.89 (981.35 seconds) After 72500 nodes, 5020 on tree, 1045.9 best solution, best possible -1096.36 (982.38 seconds) After 72600 nodes, 5027 on tree, 1045.9 best solution, best possible -1095.34 (983.59 seconds) After 72700 nodes, 5036 on tree, 1045.9 best solution, best possible -1094.42 (984.65 seconds) After 72800 nodes, 5046 on tree, 1045.9 best solution, best possible -1093.48 (985.72 seconds) After 72900 nodes, 5050 on tree, 1045.9 best solution, best possible -1092.81 (986.67 seconds) After 73000 nodes, 5050 on tree, 1045.9 best solution, best possible -1092.68 (987.69 seconds) After 73100 nodes, 5056 on tree, 1045.9 best solution, best possible -1092.68 (988.81 seconds) After 73200 nodes, 5063 on tree, 1045.9 best solution, best possible -1092.68 (989.92 seconds) After 73300 nodes, 5067 on tree, 1045.9 best solution, best possible -1092.68 (991.13 seconds) After 73400 nodes, 5073 on tree, 1045.9 best solution, best possible -1092.68 (992.23 seconds) After 73500 nodes, 5081 on tree, 1045.9 best solution, best possible -1092.68 (993.29 seconds) After 73600 nodes, 5093 on tree, 1045.9 best solution, best possible -1092.68 (994.44 seconds) After 73700 nodes, 5104 on tree, 1045.9 best solution, best possible -1092.68 (995.55 seconds) After 73800 nodes, 5107 on tree, 1045.9 best solution, best possible -1092.68 (996.59 seconds) After 73900 nodes, 5112 on tree, 1045.9 best solution, best possible -1092.68 (997.63 seconds) After 74000 nodes, 5127 on tree, 1045.9 best solution, best possible -1092.68 (998.68 seconds) After 74100 nodes, 5137 on tree, 1045.9 best solution, best possible -1091.73 (999.71 seconds) After 74200 nodes, 5142 on tree, 1045.9 best solution, best possible -1091.52 (1000.85 seconds) After 74300 nodes, 5151 on tree, 1045.9 best solution, best possible -1090.67 (1001.94 seconds) After 74400 nodes, 5153 on tree, 1045.9 best solution, best possible -1089.88 (1003.04 seconds) After 74500 nodes, 5158 on tree, 1045.9 best solution, best possible -1089 (1004.05 seconds) After 74600 nodes, 5167 on tree, 1045.9 best solution, best possible -1088.07 (1005.21 seconds) After 74700 nodes, 5181 on tree, 1045.9 best solution, best possible -1086.96 (1006.36 seconds) After 74800 nodes, 5193 on tree, 1045.9 best solution, best possible -1085.31 (1007.43 seconds) After 74900 nodes, 5200 on tree, 1045.9 best solution, best possible -1084.14 (1008.48 seconds) After 75000 nodes, 5211 on tree, 1045.9 best solution, best possible -1082.6 (1009.64 seconds) After 75100 nodes, 5223 on tree, 1045.9 best solution, best possible -1081.06 (1010.76 seconds) After 75200 nodes, 5237 on tree, 1045.9 best solution, best possible -1079.69 (1011.89 seconds) After 75300 nodes, 5243 on tree, 1045.9 best solution, best possible -1078.77 (1012.87 seconds) After 75400 nodes, 5245 on tree, 1045.9 best solution, best possible -1078.25 (1013.89 seconds) After 75500 nodes, 5251 on tree, 1045.9 best solution, best possible -1077.17 (1014.92 seconds) After 75600 nodes, 5258 on tree, 1045.9 best solution, best possible -1076.08 (1016.05 seconds) After 75700 nodes, 5262 on tree, 1045.9 best solution, best possible -1075.42 (1017.07 seconds) After 75800 nodes, 5271 on tree, 1045.9 best solution, best possible -1074.58 (1018.11 seconds) After 75900 nodes, 5279 on tree, 1045.9 best solution, best possible -1073.34 (1019.22 seconds) After 76000 nodes, 5280 on tree, 1045.9 best solution, best possible -1072.98 (1020.16 seconds) After 76100 nodes, 5287 on tree, 1045.9 best solution, best possible -1071.51 (1021.31 seconds) After 76200 nodes, 5302 on tree, 1045.9 best solution, best possible -1069.75 (1022.35 seconds) After 76300 nodes, 5308 on tree, 1045.9 best solution, best possible -1068.84 (1023.42 seconds) After 76400 nodes, 5316 on tree, 1045.9 best solution, best possible -1068.23 (1024.55 seconds) After 76500 nodes, 5317 on tree, 1045.9 best solution, best possible -1067.78 (1025.69 seconds) After 76600 nodes, 5320 on tree, 1045.9 best solution, best possible -1067.38 (1026.72 seconds) After 76700 nodes, 5325 on tree, 1045.9 best solution, best possible -1066.98 (1027.75 seconds) After 76800 nodes, 5330 on tree, 1045.9 best solution, best possible -1066.07 (1028.62 seconds) After 76900 nodes, 5336 on tree, 1045.9 best solution, best possible -1065.13 (1029.67 seconds) After 77000 nodes, 5341 on tree, 1045.9 best solution, best possible -1063.44 (1030.72 seconds) After 77100 nodes, 5352 on tree, 1045.9 best solution, best possible -1063.44 (1031.91 seconds) After 77200 nodes, 5353 on tree, 1045.9 best solution, best possible -1063.44 (1033.04 seconds) After 77300 nodes, 5357 on tree, 1045.9 best solution, best possible -1063.44 (1034.04 seconds) After 77400 nodes, 5362 on tree, 1045.9 best solution, best possible -1063.44 (1035.10 seconds) After 77500 nodes, 5370 on tree, 1045.9 best solution, best possible -1063.44 (1036.05 seconds) After 77600 nodes, 5374 on tree, 1045.9 best solution, best possible -1063.44 (1037.09 seconds) After 77700 nodes, 5384 on tree, 1045.9 best solution, best possible -1063.44 (1038.23 seconds) After 77800 nodes, 5396 on tree, 1045.9 best solution, best possible -1063.44 (1039.44 seconds) After 77900 nodes, 5406 on tree, 1045.9 best solution, best possible -1063.44 (1040.46 seconds) After 78000 nodes, 5416 on tree, 1045.9 best solution, best possible -1063.44 (1041.57 seconds) After 78100 nodes, 5419 on tree, 1045.9 best solution, best possible -1062.58 (1042.55 seconds) After 78200 nodes, 5427 on tree, 1045.9 best solution, best possible -1062.1 (1043.62 seconds) After 78300 nodes, 5444 on tree, 1045.9 best solution, best possible -1060.58 (1044.81 seconds) After 78400 nodes, 5449 on tree, 1045.9 best solution, best possible -1059.74 (1045.85 seconds) After 78500 nodes, 5458 on tree, 1045.9 best solution, best possible -1059.12 (1046.88 seconds) After 78600 nodes, 5473 on tree, 1045.9 best solution, best possible -1057.84 (1048.05 seconds) After 78700 nodes, 5482 on tree, 1045.9 best solution, best possible -1057.06 (1049.25 seconds) After 78800 nodes, 5487 on tree, 1045.9 best solution, best possible -1056.71 (1050.22 seconds) After 78900 nodes, 5494 on tree, 1045.9 best solution, best possible -1055.64 (1051.22 seconds) After 79000 nodes, 5500 on tree, 1045.9 best solution, best possible -1054.35 (1052.25 seconds) After 79100 nodes, 5507 on tree, 1045.9 best solution, best possible -1053.24 (1053.36 seconds) After 79200 nodes, 5509 on tree, 1045.9 best solution, best possible -1053.01 (1054.27 seconds) After 79300 nodes, 5516 on tree, 1045.9 best solution, best possible -1051.79 (1055.20 seconds) After 79400 nodes, 5520 on tree, 1045.9 best solution, best possible -1050.85 (1056.27 seconds) After 79500 nodes, 5525 on tree, 1045.9 best solution, best possible -1049.23 (1057.35 seconds) After 79600 nodes, 5526 on tree, 1045.9 best solution, best possible -1048.97 (1058.50 seconds) After 79700 nodes, 5528 on tree, 1045.9 best solution, best possible -1048.87 (1059.49 seconds) After 79800 nodes, 5533 on tree, 1045.9 best solution, best possible -1048.33 (1060.58 seconds) After 79900 nodes, 5542 on tree, 1045.9 best solution, best possible -1047.32 (1061.64 seconds) After 80000 nodes, 5549 on tree, 1045.9 best solution, best possible -1046.9 (1062.65 seconds) After 80100 nodes, 5556 on tree, 1045.9 best solution, best possible -1045.79 (1063.70 seconds) After 80200 nodes, 5570 on tree, 1045.9 best solution, best possible -1044.32 (1064.84 seconds) After 80300 nodes, 5574 on tree, 1045.9 best solution, best possible -1043.52 (1065.89 seconds) After 80400 nodes, 5583 on tree, 1045.9 best solution, best possible -1042.37 (1067.03 seconds) After 80500 nodes, 5592 on tree, 1045.9 best solution, best possible -1040.89 (1068.16 seconds) After 80600 nodes, 5599 on tree, 1045.9 best solution, best possible -1039.63 (1069.31 seconds) After 80700 nodes, 5608 on tree, 1045.9 best solution, best possible -1038.81 (1070.38 seconds) After 80800 nodes, 5609 on tree, 1045.9 best solution, best possible -1038.34 (1071.25 seconds) After 80900 nodes, 5615 on tree, 1045.9 best solution, best possible -1037.73 (1072.30 seconds) After 81000 nodes, 5618 on tree, 1045.9 best solution, best possible -1036.97 (1073.36 seconds) After 81100 nodes, 5633 on tree, 1045.9 best solution, best possible -1036.97 (1074.60 seconds) After 81200 nodes, 5641 on tree, 1045.9 best solution, best possible -1036.97 (1075.74 seconds) After 81300 nodes, 5643 on tree, 1045.9 best solution, best possible -1036.97 (1076.89 seconds) After 81400 nodes, 5653 on tree, 1045.9 best solution, best possible -1036.97 (1078.01 seconds) After 81500 nodes, 5656 on tree, 1045.9 best solution, best possible -1036.97 (1079.05 seconds) After 81600 nodes, 5661 on tree, 1045.9 best solution, best possible -1036.97 (1080.15 seconds) After 81700 nodes, 5669 on tree, 1045.9 best solution, best possible -1036.97 (1081.38 seconds) After 81800 nodes, 5679 on tree, 1045.9 best solution, best possible -1036.97 (1082.55 seconds) After 81900 nodes, 5682 on tree, 1045.9 best solution, best possible -1036.97 (1083.50 seconds) After 82000 nodes, 5684 on tree, 1045.9 best solution, best possible -1036.97 (1084.43 seconds) After 82100 nodes, 5692 on tree, 1045.9 best solution, best possible -1036.3 (1085.45 seconds) After 82200 nodes, 5700 on tree, 1045.9 best solution, best possible -1035.75 (1086.40 seconds) After 82300 nodes, 5702 on tree, 1045.9 best solution, best possible -1035.23 (1087.36 seconds) After 82400 nodes, 5706 on tree, 1045.9 best solution, best possible -1034.89 (1088.30 seconds) After 82500 nodes, 5716 on tree, 1045.9 best solution, best possible -1033.66 (1089.41 seconds) After 82600 nodes, 5728 on tree, 1045.9 best solution, best possible -1033.02 (1090.46 seconds) After 82700 nodes, 5730 on tree, 1045.9 best solution, best possible -1032.51 (1091.60 seconds) After 82800 nodes, 5742 on tree, 1045.9 best solution, best possible -1030.84 (1092.73 seconds) After 82900 nodes, 5751 on tree, 1045.9 best solution, best possible -1029.41 (1093.81 seconds) After 83000 nodes, 5761 on tree, 1045.9 best solution, best possible -1028.26 (1094.88 seconds) After 83100 nodes, 5767 on tree, 1045.9 best solution, best possible -1027.6 (1095.89 seconds) After 83200 nodes, 5773 on tree, 1045.9 best solution, best possible -1026.79 (1096.94 seconds) After 83300 nodes, 5783 on tree, 1045.9 best solution, best possible -1025.11 (1098.12 seconds) After 83400 nodes, 5792 on tree, 1045.9 best solution, best possible -1023.39 (1099.26 seconds) After 83500 nodes, 5796 on tree, 1045.9 best solution, best possible -1022.45 (1100.34 seconds) After 83600 nodes, 5801 on tree, 1045.9 best solution, best possible -1022.43 (1101.30 seconds) After 83700 nodes, 5806 on tree, 1045.9 best solution, best possible -1021.49 (1102.30 seconds) After 83800 nodes, 5815 on tree, 1045.9 best solution, best possible -1020.71 (1103.43 seconds) After 83900 nodes, 5822 on tree, 1045.9 best solution, best possible -1019.6 (1104.56 seconds) After 84000 nodes, 5828 on tree, 1045.9 best solution, best possible -1019.39 (1105.56 seconds) After 84100 nodes, 5832 on tree, 1045.9 best solution, best possible -1017.98 (1106.65 seconds) After 84200 nodes, 5839 on tree, 1045.9 best solution, best possible -1016.89 (1107.75 seconds) After 84300 nodes, 5843 on tree, 1045.9 best solution, best possible -1016.57 (1108.79 seconds) After 84400 nodes, 5850 on tree, 1045.9 best solution, best possible -1015.76 (1109.95 seconds) After 84500 nodes, 5860 on tree, 1045.9 best solution, best possible -1014.72 (1111.01 seconds) After 84600 nodes, 5859 on tree, 1045.9 best solution, best possible -1014.43 (1112.00 seconds) After 84700 nodes, 5865 on tree, 1045.9 best solution, best possible -1013.66 (1113.04 seconds) After 84800 nodes, 5876 on tree, 1045.9 best solution, best possible -1013.08 (1114.15 seconds) After 84900 nodes, 5879 on tree, 1045.9 best solution, best possible -1012.1 (1115.19 seconds) After 85000 nodes, 5885 on tree, 1045.9 best solution, best possible -1011.11 (1116.32 seconds) After 85100 nodes, 5902 on tree, 1045.9 best solution, best possible -1011.11 (1117.46 seconds) After 85200 nodes, 5911 on tree, 1045.9 best solution, best possible -1011.11 (1118.56 seconds) After 85300 nodes, 5920 on tree, 1045.9 best solution, best possible -1011.11 (1119.57 seconds) After 85400 nodes, 5922 on tree, 1045.9 best solution, best possible -1011.11 (1120.41 seconds) After 85500 nodes, 5928 on tree, 1045.9 best solution, best possible -1011.11 (1121.49 seconds) After 85600 nodes, 5934 on tree, 1045.9 best solution, best possible -1011.11 (1122.44 seconds) After 85700 nodes, 5943 on tree, 1045.9 best solution, best possible -1011.11 (1123.46 seconds) After 85800 nodes, 5944 on tree, 1045.9 best solution, best possible -1011.11 (1124.50 seconds) After 85900 nodes, 5947 on tree, 1045.9 best solution, best possible -1011.11 (1125.49 seconds) After 86000 nodes, 5954 on tree, 1045.9 best solution, best possible -1011.11 (1126.65 seconds) After 86100 nodes, 5963 on tree, 1045.9 best solution, best possible -1009.68 (1127.79 seconds) After 86200 nodes, 5969 on tree, 1045.9 best solution, best possible -1008.64 (1128.91 seconds) After 86300 nodes, 5976 on tree, 1045.9 best solution, best possible -1007.32 (1130.07 seconds) After 86400 nodes, 5980 on tree, 1045.9 best solution, best possible -1006.91 (1131.04 seconds) After 86500 nodes, 5988 on tree, 1045.9 best solution, best possible -1005.98 (1132.14 seconds) After 86600 nodes, 5995 on tree, 1045.9 best solution, best possible -1004.83 (1133.25 seconds) After 86700 nodes, 6002 on tree, 1045.9 best solution, best possible -1004.4 (1134.24 seconds) After 86800 nodes, 6007 on tree, 1045.9 best solution, best possible -1003.4 (1135.32 seconds) After 86900 nodes, 6016 on tree, 1045.9 best solution, best possible -1002.71 (1136.31 seconds) After 87000 nodes, 6027 on tree, 1045.9 best solution, best possible -1001.52 (1137.43 seconds) After 87100 nodes, 6032 on tree, 1045.9 best solution, best possible -1001.09 (1138.46 seconds) After 87200 nodes, 6036 on tree, 1045.9 best solution, best possible -1000.18 (1139.58 seconds) After 87300 nodes, 6045 on tree, 1045.9 best solution, best possible -999.962 (1140.74 seconds) After 87400 nodes, 6052 on tree, 1045.9 best solution, best possible -999.361 (1141.85 seconds) After 87500 nodes, 6061 on tree, 1045.9 best solution, best possible -998.107 (1142.95 seconds) After 87600 nodes, 6066 on tree, 1045.9 best solution, best possible -997.695 (1143.91 seconds) After 87700 nodes, 6072 on tree, 1045.9 best solution, best possible -997.197 (1144.92 seconds) After 87800 nodes, 6078 on tree, 1045.9 best solution, best possible -996.159 (1146.02 seconds) After 87900 nodes, 6092 on tree, 1045.9 best solution, best possible -995.68 (1147.10 seconds) After 88000 nodes, 6101 on tree, 1045.9 best solution, best possible -994.573 (1148.17 seconds) After 88100 nodes, 6111 on tree, 1045.9 best solution, best possible -993.459 (1149.34 seconds) After 88200 nodes, 6117 on tree, 1045.9 best solution, best possible -992.89 (1150.48 seconds) After 88300 nodes, 6121 on tree, 1045.9 best solution, best possible -992.241 (1151.60 seconds) After 88400 nodes, 6128 on tree, 1045.9 best solution, best possible -991.635 (1152.67 seconds) After 88500 nodes, 6137 on tree, 1045.9 best solution, best possible -990.654 (1154.06 seconds) After 88600 nodes, 6142 on tree, 1045.9 best solution, best possible -990.383 (1155.44 seconds) After 88700 nodes, 6151 on tree, 1045.9 best solution, best possible -989.583 (1156.96 seconds) After 88800 nodes, 6159 on tree, 1045.9 best solution, best possible -989.129 (1158.37 seconds) After 88900 nodes, 6166 on tree, 1045.9 best solution, best possible -988.346 (1159.75 seconds) After 89000 nodes, 6173 on tree, 1045.9 best solution, best possible -987.788 (1161.20 seconds) After 89100 nodes, 6171 on tree, 1045.9 best solution, best possible -987.788 (1162.54 seconds) After 89200 nodes, 6176 on tree, 1045.9 best solution, best possible -987.788 (1164.20 seconds) After 89300 nodes, 6187 on tree, 1045.9 best solution, best possible -987.788 (1165.71 seconds) After 89400 nodes, 6199 on tree, 1045.9 best solution, best possible -987.788 (1167.19 seconds) After 89500 nodes, 6206 on tree, 1045.9 best solution, best possible -987.788 (1168.70 seconds) After 89600 nodes, 6213 on tree, 1045.9 best solution, best possible -987.788 (1170.11 seconds) After 89700 nodes, 6222 on tree, 1045.9 best solution, best possible -987.788 (1171.45 seconds) After 89800 nodes, 6222 on tree, 1045.9 best solution, best possible -987.788 (1172.69 seconds) After 89900 nodes, 6227 on tree, 1045.9 best solution, best possible -987.788 (1173.91 seconds) After 90000 nodes, 6238 on tree, 1045.9 best solution, best possible -987.788 (1175.26 seconds) After 90100 nodes, 6251 on tree, 1045.9 best solution, best possible -986.164 (1177.01 seconds) After 90200 nodes, 6257 on tree, 1045.9 best solution, best possible -985.152 (1178.51 seconds) After 90300 nodes, 6265 on tree, 1045.9 best solution, best possible -984.481 (1179.89 seconds) After 90400 nodes, 6267 on tree, 1045.9 best solution, best possible -983.695 (1181.34 seconds) After 90500 nodes, 6277 on tree, 1045.9 best solution, best possible -982.75 (1182.82 seconds) After 90600 nodes, 6281 on tree, 1045.9 best solution, best possible -981.976 (1184.21 seconds) After 90700 nodes, 6284 on tree, 1045.9 best solution, best possible -981.524 (1185.70 seconds) After 90800 nodes, 6295 on tree, 1045.9 best solution, best possible -980.65 (1187.24 seconds) After 90900 nodes, 6301 on tree, 1045.9 best solution, best possible -980.088 (1188.73 seconds) After 91000 nodes, 6309 on tree, 1045.9 best solution, best possible -979.096 (1190.13 seconds) After 91100 nodes, 6314 on tree, 1045.9 best solution, best possible -977.983 (1191.58 seconds) After 91200 nodes, 6326 on tree, 1045.9 best solution, best possible -977.177 (1193.03 seconds) After 91300 nodes, 6333 on tree, 1045.9 best solution, best possible -976.32 (1194.46 seconds) After 91400 nodes, 6337 on tree, 1045.9 best solution, best possible -975.728 (1195.95 seconds) After 91500 nodes, 6344 on tree, 1045.9 best solution, best possible -975.184 (1197.27 seconds) After 91600 nodes, 6359 on tree, 1045.9 best solution, best possible -973.182 (1198.91 seconds) After 91700 nodes, 6367 on tree, 1045.9 best solution, best possible -972.519 (1200.41 seconds) After 91800 nodes, 6371 on tree, 1045.9 best solution, best possible -972.201 (1201.78 seconds) After 91900 nodes, 6372 on tree, 1045.9 best solution, best possible -971.268 (1203.19 seconds) After 92000 nodes, 6383 on tree, 1045.9 best solution, best possible -970.366 (1204.66 seconds) After 92100 nodes, 6388 on tree, 1045.9 best solution, best possible -969.746 (1206.24 seconds) After 92200 nodes, 6396 on tree, 1045.9 best solution, best possible -968.604 (1207.67 seconds) After 92300 nodes, 6405 on tree, 1045.9 best solution, best possible -967.709 (1209.18 seconds) After 92400 nodes, 6415 on tree, 1045.9 best solution, best possible -966.711 (1210.67 seconds) After 92500 nodes, 6424 on tree, 1045.9 best solution, best possible -965.577 (1212.16 seconds) After 92600 nodes, 6432 on tree, 1045.9 best solution, best possible -964.668 (1213.64 seconds) After 92700 nodes, 6437 on tree, 1045.9 best solution, best possible -964.041 (1215.26 seconds) After 92800 nodes, 6447 on tree, 1045.9 best solution, best possible -963.368 (1216.71 seconds) After 92900 nodes, 6455 on tree, 1045.9 best solution, best possible -962.832 (1218.25 seconds) After 93000 nodes, 6464 on tree, 1045.9 best solution, best possible -962.51 (1219.87 seconds) After 93100 nodes, 6479 on tree, 1045.9 best solution, best possible -962.51 (1221.44 seconds) After 93200 nodes, 6488 on tree, 1045.9 best solution, best possible -962.51 (1223.04 seconds) After 93300 nodes, 6493 on tree, 1045.9 best solution, best possible -962.51 (1224.39 seconds) After 93400 nodes, 6499 on tree, 1045.9 best solution, best possible -962.51 (1225.78 seconds) After 93500 nodes, 6507 on tree, 1045.9 best solution, best possible -962.51 (1227.10 seconds) After 93600 nodes, 6512 on tree, 1045.9 best solution, best possible -962.51 (1228.48 seconds) After 93700 nodes, 6516 on tree, 1045.9 best solution, best possible -962.51 (1229.90 seconds) After 93800 nodes, 6520 on tree, 1045.9 best solution, best possible -962.51 (1231.28 seconds) After 93900 nodes, 6526 on tree, 1045.9 best solution, best possible -962.51 (1232.68 seconds) After 94000 nodes, 6530 on tree, 1045.9 best solution, best possible -962.51 (1234.24 seconds) After 94100 nodes, 6536 on tree, 1045.9 best solution, best possible -961.455 (1235.65 seconds) After 94200 nodes, 6542 on tree, 1045.9 best solution, best possible -960.915 (1237.07 seconds) After 94300 nodes, 6553 on tree, 1045.9 best solution, best possible -959.869 (1238.48 seconds) After 94400 nodes, 6558 on tree, 1045.9 best solution, best possible -959.17 (1239.93 seconds) After 94500 nodes, 6569 on tree, 1045.9 best solution, best possible -957.846 (1241.53 seconds) After 94600 nodes, 6581 on tree, 1045.9 best solution, best possible -956.529 (1243.00 seconds) After 94700 nodes, 6593 on tree, 1045.9 best solution, best possible -955.632 (1244.58 seconds) After 94800 nodes, 6592 on tree, 1045.9 best solution, best possible -954.917 (1246.10 seconds) After 94900 nodes, 6600 on tree, 1045.9 best solution, best possible -953.791 (1247.54 seconds) After 95000 nodes, 6609 on tree, 1045.9 best solution, best possible -953.002 (1249.03 seconds) After 95100 nodes, 6614 on tree, 1045.9 best solution, best possible -952.623 (1250.36 seconds) After 95200 nodes, 6618 on tree, 1045.9 best solution, best possible -951.913 (1251.77 seconds) After 95300 nodes, 6628 on tree, 1045.9 best solution, best possible -951.493 (1253.17 seconds) After 95400 nodes, 6637 on tree, 1045.9 best solution, best possible -950.254 (1254.74 seconds) After 95500 nodes, 6645 on tree, 1045.9 best solution, best possible -949.2 (1256.25 seconds) After 95600 nodes, 6653 on tree, 1045.9 best solution, best possible -948.577 (1257.69 seconds) After 95700 nodes, 6660 on tree, 1045.9 best solution, best possible -947.837 (1259.13 seconds) After 95800 nodes, 6664 on tree, 1045.9 best solution, best possible -947.038 (1260.63 seconds) After 95900 nodes, 6669 on tree, 1045.9 best solution, best possible -946.04 (1262.04 seconds) After 96000 nodes, 6674 on tree, 1045.9 best solution, best possible -945.451 (1263.47 seconds) After 96100 nodes, 6679 on tree, 1045.9 best solution, best possible -944.436 (1264.60 seconds) After 96200 nodes, 6692 on tree, 1045.9 best solution, best possible -943.722 (1265.80 seconds) After 96300 nodes, 6697 on tree, 1045.9 best solution, best possible -942.666 (1266.96 seconds) After 96400 nodes, 6702 on tree, 1045.9 best solution, best possible -941.955 (1267.99 seconds) After 96500 nodes, 6705 on tree, 1045.9 best solution, best possible -941.009 (1269.03 seconds) After 96600 nodes, 6710 on tree, 1045.9 best solution, best possible -940.469 (1270.12 seconds) After 96700 nodes, 6715 on tree, 1045.9 best solution, best possible -939.858 (1271.18 seconds) After 96800 nodes, 6719 on tree, 1045.9 best solution, best possible -939.447 (1272.16 seconds) After 96900 nodes, 6726 on tree, 1045.9 best solution, best possible -939.114 (1273.30 seconds) After 97000 nodes, 6732 on tree, 1045.9 best solution, best possible -938.405 (1274.34 seconds) After 97100 nodes, 6736 on tree, 1045.9 best solution, best possible -938.405 (1275.42 seconds) After 97200 nodes, 6736 on tree, 1045.9 best solution, best possible -938.405 (1276.44 seconds) After 97300 nodes, 6739 on tree, 1045.9 best solution, best possible -938.405 (1277.56 seconds) After 97400 nodes, 6745 on tree, 1045.9 best solution, best possible -938.405 (1278.71 seconds) After 97500 nodes, 6750 on tree, 1045.9 best solution, best possible -938.405 (1279.68 seconds) After 97600 nodes, 6751 on tree, 1045.9 best solution, best possible -938.405 (1280.54 seconds) After 97700 nodes, 6751 on tree, 1045.9 best solution, best possible -938.405 (1281.54 seconds) After 97800 nodes, 6753 on tree, 1045.9 best solution, best possible -938.405 (1282.47 seconds) After 97900 nodes, 6755 on tree, 1045.9 best solution, best possible -938.405 (1283.39 seconds) After 98000 nodes, 6759 on tree, 1045.9 best solution, best possible -938.405 (1284.44 seconds) After 98100 nodes, 6762 on tree, 1045.9 best solution, best possible -937.994 (1285.41 seconds) After 98200 nodes, 6765 on tree, 1045.9 best solution, best possible -937.662 (1286.36 seconds) After 98300 nodes, 6772 on tree, 1045.9 best solution, best possible -937.154 (1287.42 seconds) After 98400 nodes, 6774 on tree, 1045.9 best solution, best possible -936.467 (1288.41 seconds) After 98500 nodes, 6780 on tree, 1045.9 best solution, best possible -935.771 (1289.39 seconds) After 98600 nodes, 6786 on tree, 1045.9 best solution, best possible -935.37 (1290.56 seconds) After 98700 nodes, 6796 on tree, 1045.9 best solution, best possible -934.776 (1291.66 seconds) After 98800 nodes, 6807 on tree, 1045.9 best solution, best possible -933.896 (1292.91 seconds) After 98900 nodes, 6821 on tree, 1045.9 best solution, best possible -932.871 (1294.08 seconds) After 99000 nodes, 6824 on tree, 1045.9 best solution, best possible -932.508 (1295.19 seconds) After 99100 nodes, 6830 on tree, 1045.9 best solution, best possible -931.847 (1296.25 seconds) After 99200 nodes, 6830 on tree, 1045.9 best solution, best possible -931.81 (1297.25 seconds) After 99300 nodes, 6835 on tree, 1045.9 best solution, best possible -931.325 (1298.36 seconds) After 99400 nodes, 6837 on tree, 1045.9 best solution, best possible -930.849 (1299.32 seconds) After 99500 nodes, 6844 on tree, 1045.9 best solution, best possible -930.327 (1300.45 seconds) After 99600 nodes, 6848 on tree, 1045.9 best solution, best possible -930.182 (1301.49 seconds) After 99700 nodes, 6853 on tree, 1045.9 best solution, best possible -929.17 (1302.59 seconds) After 99800 nodes, 6859 on tree, 1045.9 best solution, best possible -928.541 (1303.57 seconds) After 99900 nodes, 6862 on tree, 1045.9 best solution, best possible -927.874 (1304.49 seconds) After 100000 nodes, 6873 on tree, 1045.9 best solution, best possible -927.23 (1305.58 seconds) After 100100 nodes, 6882 on tree, 1045.9 best solution, best possible -926.348 (1306.74 seconds) After 100200 nodes, 6896 on tree, 1045.9 best solution, best possible -925.605 (1307.84 seconds) After 100300 nodes, 6898 on tree, 1045.9 best solution, best possible -925.339 (1308.83 seconds) After 100400 nodes, 6908 on tree, 1045.9 best solution, best possible -924.47 (1309.85 seconds) After 100500 nodes, 6910 on tree, 1045.9 best solution, best possible -924.247 (1310.79 seconds) After 100600 nodes, 6910 on tree, 1045.9 best solution, best possible -923.815 (1311.68 seconds) After 100700 nodes, 6914 on tree, 1045.9 best solution, best possible -923.299 (1312.80 seconds) After 100800 nodes, 6915 on tree, 1045.9 best solution, best possible -923.049 (1313.89 seconds) After 100900 nodes, 6920 on tree, 1045.9 best solution, best possible -922.566 (1314.94 seconds) After 101000 nodes, 6923 on tree, 1045.9 best solution, best possible -921.163 (1316.08 seconds) After 101100 nodes, 6925 on tree, 1045.9 best solution, best possible -921.163 (1317.20 seconds) After 101200 nodes, 6927 on tree, 1045.9 best solution, best possible -921.163 (1318.34 seconds) After 101300 nodes, 6928 on tree, 1045.9 best solution, best possible -921.163 (1319.44 seconds) After 101400 nodes, 6934 on tree, 1045.9 best solution, best possible -921.163 (1320.43 seconds) After 101500 nodes, 6939 on tree, 1045.9 best solution, best possible -921.163 (1321.38 seconds) After 101600 nodes, 6942 on tree, 1045.9 best solution, best possible -921.163 (1322.22 seconds) After 101700 nodes, 6945 on tree, 1045.9 best solution, best possible -921.163 (1323.43 seconds) After 101800 nodes, 6948 on tree, 1045.9 best solution, best possible -921.163 (1324.45 seconds) After 101900 nodes, 6950 on tree, 1045.9 best solution, best possible -921.163 (1325.39 seconds) After 102000 nodes, 6953 on tree, 1045.9 best solution, best possible -921.163 (1326.35 seconds) After 102100 nodes, 6956 on tree, 1045.9 best solution, best possible -920.735 (1327.43 seconds) After 102200 nodes, 6962 on tree, 1045.9 best solution, best possible -919.956 (1328.47 seconds) After 102300 nodes, 6966 on tree, 1045.9 best solution, best possible -919.421 (1329.55 seconds) After 102400 nodes, 6971 on tree, 1045.9 best solution, best possible -919.035 (1330.59 seconds) After 102500 nodes, 6974 on tree, 1045.9 best solution, best possible -918.466 (1331.64 seconds) After 102600 nodes, 6979 on tree, 1045.9 best solution, best possible -918.074 (1332.59 seconds) After 102700 nodes, 6987 on tree, 1045.9 best solution, best possible -917.53 (1333.63 seconds) After 102800 nodes, 6991 on tree, 1045.9 best solution, best possible -917.053 (1334.60 seconds) After 102900 nodes, 6996 on tree, 1045.9 best solution, best possible -916.521 (1335.58 seconds) After 103000 nodes, 7004 on tree, 1045.9 best solution, best possible -915.634 (1336.72 seconds) After 103100 nodes, 7012 on tree, 1045.9 best solution, best possible -914.768 (1337.82 seconds) After 103200 nodes, 7032 on tree, 1045.9 best solution, best possible -914.144 (1338.92 seconds) After 103300 nodes, 7037 on tree, 1045.9 best solution, best possible -913.332 (1339.89 seconds) After 103400 nodes, 7039 on tree, 1045.9 best solution, best possible -912.415 (1340.99 seconds) After 103500 nodes, 7050 on tree, 1045.9 best solution, best possible -911.414 (1342.11 seconds) After 103600 nodes, 7064 on tree, 1045.9 best solution, best possible -911.138 (1343.19 seconds) After 103700 nodes, 7076 on tree, 1045.9 best solution, best possible -910.359 (1344.29 seconds) After 103800 nodes, 7088 on tree, 1045.9 best solution, best possible -909.483 (1345.41 seconds) After 103900 nodes, 7093 on tree, 1045.9 best solution, best possible -908.902 (1346.46 seconds) After 104000 nodes, 7097 on tree, 1045.9 best solution, best possible -908.162 (1347.62 seconds) After 104100 nodes, 7100 on tree, 1045.9 best solution, best possible -907.647 (1348.69 seconds) After 104200 nodes, 7109 on tree, 1045.9 best solution, best possible -906.833 (1349.97 seconds) After 104300 nodes, 7115 on tree, 1045.9 best solution, best possible -905.956 (1351.02 seconds) After 104400 nodes, 7123 on tree, 1045.9 best solution, best possible -905.59 (1352.21 seconds) After 104500 nodes, 7126 on tree, 1045.9 best solution, best possible -904.755 (1353.30 seconds) After 104600 nodes, 7130 on tree, 1045.9 best solution, best possible -904.026 (1354.42 seconds) After 104700 nodes, 7139 on tree, 1045.9 best solution, best possible -903.085 (1355.52 seconds) After 104800 nodes, 7146 on tree, 1045.9 best solution, best possible -902.394 (1356.60 seconds) After 104900 nodes, 7155 on tree, 1045.9 best solution, best possible -901.378 (1357.74 seconds) After 105000 nodes, 7164 on tree, 1045.9 best solution, best possible -900.741 (1358.86 seconds) After 105100 nodes, 7164 on tree, 1045.9 best solution, best possible -900.741 (1359.93 seconds) After 105200 nodes, 7165 on tree, 1045.9 best solution, best possible -900.741 (1360.90 seconds) After 105300 nodes, 7172 on tree, 1045.9 best solution, best possible -900.741 (1362.01 seconds) After 105400 nodes, 7176 on tree, 1045.9 best solution, best possible -900.741 (1362.84 seconds) After 105500 nodes, 7179 on tree, 1045.9 best solution, best possible -900.741 (1363.85 seconds) After 105600 nodes, 7181 on tree, 1045.9 best solution, best possible -900.741 (1364.89 seconds) After 105700 nodes, 7187 on tree, 1045.9 best solution, best possible -900.741 (1365.93 seconds) After 105800 nodes, 7188 on tree, 1045.9 best solution, best possible -900.741 (1366.85 seconds) After 105900 nodes, 7191 on tree, 1045.9 best solution, best possible -900.741 (1367.78 seconds) After 106000 nodes, 7194 on tree, 1045.9 best solution, best possible -900.741 (1368.73 seconds) After 106100 nodes, 7201 on tree, 1045.9 best solution, best possible -900.087 (1369.84 seconds) After 106200 nodes, 7207 on tree, 1045.9 best solution, best possible -899.494 (1370.93 seconds) After 106300 nodes, 7216 on tree, 1045.9 best solution, best possible -898.635 (1372.23 seconds) After 106400 nodes, 7223 on tree, 1045.9 best solution, best possible -898.099 (1373.27 seconds) After 106500 nodes, 7229 on tree, 1045.9 best solution, best possible -897.74 (1374.25 seconds) After 106600 nodes, 7229 on tree, 1045.9 best solution, best possible -897.694 (1375.37 seconds) After 106700 nodes, 7230 on tree, 1045.9 best solution, best possible -897.355 (1376.33 seconds) After 106800 nodes, 7231 on tree, 1045.9 best solution, best possible -897.355 (1377.20 seconds) After 106900 nodes, 7237 on tree, 1045.9 best solution, best possible -896.597 (1378.32 seconds) After 107000 nodes, 7249 on tree, 1045.9 best solution, best possible -895.671 (1379.36 seconds) After 107100 nodes, 7250 on tree, 1045.9 best solution, best possible -895.096 (1380.38 seconds) After 107200 nodes, 7253 on tree, 1045.9 best solution, best possible -894.326 (1381.55 seconds) After 107300 nodes, 7261 on tree, 1045.9 best solution, best possible -893.671 (1382.58 seconds) After 107400 nodes, 7262 on tree, 1045.9 best solution, best possible -893.461 (1383.65 seconds) After 107500 nodes, 7265 on tree, 1045.9 best solution, best possible -892.86 (1384.69 seconds) After 107600 nodes, 7273 on tree, 1045.9 best solution, best possible -892.334 (1385.78 seconds) After 107700 nodes, 7276 on tree, 1045.9 best solution, best possible -891.71 (1386.83 seconds) After 107800 nodes, 7280 on tree, 1045.9 best solution, best possible -891.152 (1387.82 seconds) After 107900 nodes, 7286 on tree, 1045.9 best solution, best possible -890.558 (1388.89 seconds) After 108000 nodes, 7284 on tree, 1045.9 best solution, best possible -889.98 (1389.90 seconds) After 108100 nodes, 7294 on tree, 1045.9 best solution, best possible -889.157 (1391.06 seconds) After 108200 nodes, 7299 on tree, 1045.9 best solution, best possible -888.661 (1392.13 seconds) After 108300 nodes, 7304 on tree, 1045.9 best solution, best possible -888.127 (1393.32 seconds) After 108400 nodes, 7312 on tree, 1045.9 best solution, best possible -887.385 (1394.33 seconds) After 108500 nodes, 7316 on tree, 1045.9 best solution, best possible -886.73 (1395.38 seconds) After 108600 nodes, 7321 on tree, 1045.9 best solution, best possible -885.449 (1396.45 seconds) After 108700 nodes, 7324 on tree, 1045.9 best solution, best possible -884.919 (1397.52 seconds) After 108800 nodes, 7330 on tree, 1045.9 best solution, best possible -883.743 (1398.69 seconds) After 108900 nodes, 7342 on tree, 1045.9 best solution, best possible -883.326 (1399.75 seconds) After 109000 nodes, 7348 on tree, 1045.9 best solution, best possible -882.742 (1400.85 seconds) After 109100 nodes, 7353 on tree, 1045.9 best solution, best possible -882.742 (1401.95 seconds) After 109200 nodes, 7357 on tree, 1045.9 best solution, best possible -882.742 (1402.97 seconds) After 109300 nodes, 7359 on tree, 1045.9 best solution, best possible -882.742 (1404.03 seconds) After 109400 nodes, 7361 on tree, 1045.9 best solution, best possible -882.742 (1405.07 seconds) After 109500 nodes, 7365 on tree, 1045.9 best solution, best possible -882.742 (1406.04 seconds) After 109600 nodes, 7372 on tree, 1045.9 best solution, best possible -882.742 (1407.10 seconds) After 109700 nodes, 7372 on tree, 1045.9 best solution, best possible -882.742 (1408.10 seconds) After 109800 nodes, 7376 on tree, 1045.9 best solution, best possible -882.742 (1409.03 seconds) After 109900 nodes, 7388 on tree, 1045.9 best solution, best possible -882.742 (1410.14 seconds) After 110000 nodes, 7390 on tree, 1045.9 best solution, best possible -882.742 (1411.11 seconds) After 110100 nodes, 7393 on tree, 1045.9 best solution, best possible -881.53 (1412.19 seconds) After 110200 nodes, 7401 on tree, 1045.9 best solution, best possible -880.717 (1413.31 seconds) After 110300 nodes, 7415 on tree, 1045.9 best solution, best possible -879.739 (1414.53 seconds) After 110400 nodes, 7427 on tree, 1045.9 best solution, best possible -878.857 (1415.62 seconds) After 110500 nodes, 7432 on tree, 1045.9 best solution, best possible -878.562 (1416.62 seconds) After 110600 nodes, 7438 on tree, 1045.9 best solution, best possible -877.954 (1417.76 seconds) After 110700 nodes, 7448 on tree, 1045.9 best solution, best possible -877.078 (1418.84 seconds) After 110800 nodes, 7457 on tree, 1045.9 best solution, best possible -876.242 (1419.89 seconds) After 110900 nodes, 7464 on tree, 1045.9 best solution, best possible -875.744 (1420.94 seconds) After 111000 nodes, 7467 on tree, 1045.9 best solution, best possible -875.236 (1422.06 seconds) After 111100 nodes, 7474 on tree, 1045.9 best solution, best possible -874.271 (1423.18 seconds) After 111200 nodes, 7481 on tree, 1045.9 best solution, best possible -873.551 (1424.19 seconds) After 111300 nodes, 7485 on tree, 1045.9 best solution, best possible -872.77 (1425.26 seconds) After 111400 nodes, 7493 on tree, 1045.9 best solution, best possible -872.088 (1426.39 seconds) After 111500 nodes, 7500 on tree, 1045.9 best solution, best possible -871.258 (1427.45 seconds) After 111600 nodes, 7509 on tree, 1045.9 best solution, best possible -869.983 (1428.57 seconds) After 111700 nodes, 7512 on tree, 1045.9 best solution, best possible -869.55 (1429.79 seconds) After 111800 nodes, 7516 on tree, 1045.9 best solution, best possible -868.909 (1430.93 seconds) After 111900 nodes, 7520 on tree, 1045.9 best solution, best possible -868.466 (1432.03 seconds) After 112000 nodes, 7525 on tree, 1045.9 best solution, best possible -867.858 (1433.11 seconds) After 112100 nodes, 7530 on tree, 1045.9 best solution, best possible -867.313 (1434.19 seconds) After 112200 nodes, 7533 on tree, 1045.9 best solution, best possible -866.748 (1435.22 seconds) After 112300 nodes, 7543 on tree, 1045.9 best solution, best possible -865.912 (1436.34 seconds) After 112400 nodes, 7553 on tree, 1045.9 best solution, best possible -865.321 (1437.43 seconds) After 112500 nodes, 7559 on tree, 1045.9 best solution, best possible -864.818 (1438.47 seconds) After 112600 nodes, 7567 on tree, 1045.9 best solution, best possible -864.072 (1439.59 seconds) After 112700 nodes, 7578 on tree, 1045.9 best solution, best possible -863.544 (1440.72 seconds) After 112800 nodes, 7576 on tree, 1045.9 best solution, best possible -863.417 (1441.65 seconds) After 112900 nodes, 7577 on tree, 1045.9 best solution, best possible -863.014 (1442.61 seconds) After 113000 nodes, 7587 on tree, 1045.9 best solution, best possible -861.974 (1443.76 seconds) After 113100 nodes, 7590 on tree, 1045.9 best solution, best possible -861.988 (1444.82 seconds) After 113200 nodes, 7605 on tree, 1045.9 best solution, best possible -861.988 (1446.03 seconds) After 113300 nodes, 7605 on tree, 1045.9 best solution, best possible -861.988 (1447.00 seconds) After 113400 nodes, 7614 on tree, 1045.9 best solution, best possible -861.988 (1448.11 seconds) After 113500 nodes, 7615 on tree, 1045.9 best solution, best possible -861.988 (1448.97 seconds) After 113600 nodes, 7620 on tree, 1045.9 best solution, best possible -861.988 (1450.04 seconds) After 113700 nodes, 7618 on tree, 1045.9 best solution, best possible -861.988 (1451.02 seconds) After 113800 nodes, 7623 on tree, 1045.9 best solution, best possible -861.988 (1452.07 seconds) After 113900 nodes, 7628 on tree, 1045.9 best solution, best possible -861.988 (1453.11 seconds) After 114000 nodes, 7628 on tree, 1045.9 best solution, best possible -861.988 (1454.13 seconds) After 114100 nodes, 7640 on tree, 1045.9 best solution, best possible -861.297 (1455.27 seconds) After 114200 nodes, 7649 on tree, 1045.9 best solution, best possible -860.546 (1456.38 seconds) After 114300 nodes, 7654 on tree, 1045.9 best solution, best possible -860.16 (1457.38 seconds) After 114400 nodes, 7659 on tree, 1045.9 best solution, best possible -859.187 (1458.45 seconds) After 114500 nodes, 7664 on tree, 1045.9 best solution, best possible -858.581 (1459.62 seconds) After 114600 nodes, 7668 on tree, 1045.9 best solution, best possible -858.233 (1460.62 seconds) After 114700 nodes, 7672 on tree, 1045.9 best solution, best possible -857.537 (1461.68 seconds) After 114800 nodes, 7678 on tree, 1045.9 best solution, best possible -857.221 (1462.75 seconds) After 114900 nodes, 7683 on tree, 1045.9 best solution, best possible -857.056 (1463.75 seconds) After 115000 nodes, 7688 on tree, 1045.9 best solution, best possible -856.333 (1464.86 seconds) After 115100 nodes, 7692 on tree, 1045.9 best solution, best possible -855.618 (1465.97 seconds) After 115200 nodes, 7699 on tree, 1045.9 best solution, best possible -854.942 (1467.16 seconds) After 115300 nodes, 7704 on tree, 1045.9 best solution, best possible -854.374 (1468.20 seconds) After 115400 nodes, 7712 on tree, 1045.9 best solution, best possible -853.611 (1469.24 seconds) After 115500 nodes, 7726 on tree, 1045.9 best solution, best possible -852.665 (1470.40 seconds) After 115600 nodes, 7729 on tree, 1045.9 best solution, best possible -851.899 (1471.39 seconds) After 115700 nodes, 7733 on tree, 1045.9 best solution, best possible -851.267 (1472.40 seconds) After 115800 nodes, 7737 on tree, 1045.9 best solution, best possible -850.835 (1473.47 seconds) After 115900 nodes, 7749 on tree, 1045.9 best solution, best possible -850.051 (1474.63 seconds) After 116000 nodes, 7756 on tree, 1045.9 best solution, best possible -849.452 (1475.70 seconds) After 116100 nodes, 7766 on tree, 1045.9 best solution, best possible -848.792 (1476.81 seconds) After 116200 nodes, 7771 on tree, 1045.9 best solution, best possible -848.431 (1477.95 seconds) After 116300 nodes, 7776 on tree, 1045.9 best solution, best possible -847.886 (1479.02 seconds) After 116400 nodes, 7780 on tree, 1045.9 best solution, best possible -847.454 (1480.05 seconds) After 116500 nodes, 7785 on tree, 1045.9 best solution, best possible -847.043 (1481.04 seconds) After 116600 nodes, 7794 on tree, 1045.9 best solution, best possible -846.179 (1482.17 seconds) After 116700 nodes, 7806 on tree, 1045.9 best solution, best possible -845.251 (1483.34 seconds) After 116800 nodes, 7811 on tree, 1045.9 best solution, best possible -844.712 (1484.38 seconds) After 116900 nodes, 7817 on tree, 1045.9 best solution, best possible -844.018 (1485.51 seconds) After 117000 nodes, 7818 on tree, 1045.9 best solution, best possible -843.59 (1486.52 seconds) After 117100 nodes, 7825 on tree, 1045.9 best solution, best possible -843.59 (1487.55 seconds) After 117200 nodes, 7828 on tree, 1045.9 best solution, best possible -843.59 (1488.67 seconds) After 117300 nodes, 7833 on tree, 1045.9 best solution, best possible -843.59 (1489.78 seconds) After 117400 nodes, 7838 on tree, 1045.9 best solution, best possible -843.59 (1490.90 seconds) After 117500 nodes, 7839 on tree, 1045.9 best solution, best possible -843.59 (1491.93 seconds) After 117600 nodes, 7842 on tree, 1045.9 best solution, best possible -843.59 (1492.85 seconds) After 117700 nodes, 7846 on tree, 1045.9 best solution, best possible -843.59 (1493.88 seconds) After 117800 nodes, 7849 on tree, 1045.9 best solution, best possible -843.59 (1494.91 seconds) After 117900 nodes, 7852 on tree, 1045.9 best solution, best possible -843.59 (1495.87 seconds) After 118000 nodes, 7853 on tree, 1045.9 best solution, best possible -843.59 (1496.87 seconds) After 118100 nodes, 7853 on tree, 1045.9 best solution, best possible -843.365 (1497.96 seconds) After 118200 nodes, 7857 on tree, 1045.9 best solution, best possible -843.026 (1499.06 seconds) After 118300 nodes, 7865 on tree, 1045.9 best solution, best possible -842.541 (1500.17 seconds) After 118400 nodes, 7870 on tree, 1045.9 best solution, best possible -841.962 (1501.26 seconds) After 118500 nodes, 7877 on tree, 1045.9 best solution, best possible -841.168 (1502.29 seconds) After 118600 nodes, 7884 on tree, 1045.9 best solution, best possible -840.492 (1503.42 seconds) After 118700 nodes, 7892 on tree, 1045.9 best solution, best possible -839.787 (1504.59 seconds) After 118800 nodes, 7900 on tree, 1045.9 best solution, best possible -839.283 (1505.62 seconds) After 118900 nodes, 7908 on tree, 1045.9 best solution, best possible -838.657 (1506.71 seconds) After 119000 nodes, 7915 on tree, 1045.9 best solution, best possible -838.096 (1507.78 seconds) After 119100 nodes, 7924 on tree, 1045.9 best solution, best possible -837.778 (1508.87 seconds) After 119200 nodes, 7933 on tree, 1045.9 best solution, best possible -837.148 (1509.93 seconds) After 119300 nodes, 7937 on tree, 1045.9 best solution, best possible -836.721 (1511.00 seconds) After 119400 nodes, 7947 on tree, 1045.9 best solution, best possible -835.738 (1512.14 seconds) After 119500 nodes, 7956 on tree, 1045.9 best solution, best possible -835.159 (1513.31 seconds) After 119600 nodes, 7961 on tree, 1045.9 best solution, best possible -834.543 (1514.46 seconds) After 119700 nodes, 7968 on tree, 1045.9 best solution, best possible -833.973 (1515.47 seconds) After 119800 nodes, 7969 on tree, 1045.9 best solution, best possible -833.635 (1516.61 seconds) After 119900 nodes, 7977 on tree, 1045.9 best solution, best possible -832.594 (1517.77 seconds) After 120000 nodes, 7985 on tree, 1045.9 best solution, best possible -832.195 (1518.81 seconds) After 120100 nodes, 7992 on tree, 1045.9 best solution, best possible -831.532 (1519.97 seconds) After 120200 nodes, 7995 on tree, 1045.9 best solution, best possible -831.415 (1520.92 seconds) After 120300 nodes, 7998 on tree, 1045.9 best solution, best possible -830.853 (1521.83 seconds) After 120400 nodes, 8000 on tree, 1045.9 best solution, best possible -830.727 (1522.96 seconds) After 120500 nodes, 8004 on tree, 1045.9 best solution, best possible -830.534 (1523.98 seconds) After 120600 nodes, 8011 on tree, 1045.9 best solution, best possible -829.989 (1525.08 seconds) After 120700 nodes, 8016 on tree, 1045.9 best solution, best possible -829.179 (1526.14 seconds) After 120800 nodes, 8020 on tree, 1045.9 best solution, best possible -828.777 (1527.12 seconds) After 120900 nodes, 8025 on tree, 1045.9 best solution, best possible -828.224 (1528.19 seconds) After 121000 nodes, 8035 on tree, 1045.9 best solution, best possible -827.532 (1529.31 seconds) After 121100 nodes, 8048 on tree, 1045.9 best solution, best possible -827.532 (1530.44 seconds) After 121200 nodes, 8054 on tree, 1045.9 best solution, best possible -827.532 (1531.63 seconds) After 121300 nodes, 8062 on tree, 1045.9 best solution, best possible -827.532 (1532.78 seconds) After 121400 nodes, 8063 on tree, 1045.9 best solution, best possible -827.532 (1533.80 seconds) After 121500 nodes, 8066 on tree, 1045.9 best solution, best possible -827.532 (1534.81 seconds) After 121600 nodes, 8070 on tree, 1045.9 best solution, best possible -827.532 (1535.86 seconds) After 121700 nodes, 8073 on tree, 1045.9 best solution, best possible -827.532 (1536.86 seconds) After 121800 nodes, 8074 on tree, 1045.9 best solution, best possible -827.532 (1537.84 seconds) After 121900 nodes, 8077 on tree, 1045.9 best solution, best possible -827.532 (1538.86 seconds) After 122000 nodes, 8082 on tree, 1045.9 best solution, best possible -827.532 (1539.82 seconds) After 122100 nodes, 8086 on tree, 1045.9 best solution, best possible -826.687 (1540.84 seconds) After 122200 nodes, 8094 on tree, 1045.9 best solution, best possible -825.795 (1541.98 seconds) After 122300 nodes, 8098 on tree, 1045.9 best solution, best possible -825.608 (1542.95 seconds) After 122400 nodes, 8104 on tree, 1045.9 best solution, best possible -825.004 (1544.04 seconds) After 122500 nodes, 8108 on tree, 1045.9 best solution, best possible -824.548 (1545.08 seconds) After 122600 nodes, 8116 on tree, 1045.9 best solution, best possible -823.803 (1546.14 seconds) After 122700 nodes, 8122 on tree, 1045.9 best solution, best possible -823.395 (1547.21 seconds) After 122800 nodes, 8127 on tree, 1045.9 best solution, best possible -822.805 (1548.30 seconds) After 122900 nodes, 8139 on tree, 1045.9 best solution, best possible -822.435 (1549.40 seconds) After 123000 nodes, 8142 on tree, 1045.9 best solution, best possible -822.135 (1550.37 seconds) After 123100 nodes, 8150 on tree, 1045.9 best solution, best possible -821.442 (1551.51 seconds) After 123200 nodes, 8165 on tree, 1045.9 best solution, best possible -820.644 (1552.64 seconds) After 123300 nodes, 8173 on tree, 1045.9 best solution, best possible -819.735 (1553.77 seconds) After 123400 nodes, 8175 on tree, 1045.9 best solution, best possible -819.149 (1554.82 seconds) After 123500 nodes, 8177 on tree, 1045.9 best solution, best possible -819.077 (1555.74 seconds) After 123600 nodes, 8185 on tree, 1045.9 best solution, best possible -818.53 (1556.85 seconds) After 123700 nodes, 8192 on tree, 1045.9 best solution, best possible -817.896 (1558.01 seconds) After 123800 nodes, 8195 on tree, 1045.9 best solution, best possible -817.594 (1559.09 seconds) After 123900 nodes, 8204 on tree, 1045.9 best solution, best possible -816.858 (1560.18 seconds) After 124000 nodes, 8206 on tree, 1045.9 best solution, best possible -816.381 (1561.17 seconds) After 124100 nodes, 8211 on tree, 1045.9 best solution, best possible -815.972 (1562.35 seconds) After 124200 nodes, 8219 on tree, 1045.9 best solution, best possible -815.47 (1563.48 seconds) After 124300 nodes, 8220 on tree, 1045.9 best solution, best possible -815.332 (1564.39 seconds) After 124400 nodes, 8222 on tree, 1045.9 best solution, best possible -814.961 (1565.36 seconds) After 124500 nodes, 8236 on tree, 1045.9 best solution, best possible -814.077 (1566.59 seconds) After 124600 nodes, 8241 on tree, 1045.9 best solution, best possible -813.441 (1567.72 seconds) After 124700 nodes, 8249 on tree, 1045.9 best solution, best possible -812.647 (1568.81 seconds) After 124800 nodes, 8256 on tree, 1045.9 best solution, best possible -811.958 (1569.91 seconds) After 124900 nodes, 8265 on tree, 1045.9 best solution, best possible -810.989 (1571.05 seconds) After 125000 nodes, 8272 on tree, 1045.9 best solution, best possible -809.991 (1572.25 seconds) After 125100 nodes, 8283 on tree, 1045.9 best solution, best possible -809.991 (1573.45 seconds) After 125200 nodes, 8283 on tree, 1045.9 best solution, best possible -809.991 (1574.54 seconds) After 125300 nodes, 8291 on tree, 1045.9 best solution, best possible -809.991 (1575.64 seconds) After 125400 nodes, 8296 on tree, 1045.9 best solution, best possible -809.991 (1576.69 seconds) After 125500 nodes, 8302 on tree, 1045.9 best solution, best possible -809.991 (1577.79 seconds) After 125600 nodes, 8310 on tree, 1045.9 best solution, best possible -809.991 (1578.85 seconds) After 125700 nodes, 8315 on tree, 1045.9 best solution, best possible -809.991 (1579.85 seconds) After 125800 nodes, 8320 on tree, 1045.9 best solution, best possible -809.991 (1580.89 seconds) After 125900 nodes, 8318 on tree, 1045.9 best solution, best possible -809.991 (1581.87 seconds) After 126000 nodes, 8319 on tree, 1045.9 best solution, best possible -809.991 (1582.83 seconds) After 126100 nodes, 8332 on tree, 1045.9 best solution, best possible -808.996 (1583.96 seconds) After 126200 nodes, 8337 on tree, 1045.9 best solution, best possible -808.534 (1585.06 seconds) After 126300 nodes, 8340 on tree, 1045.9 best solution, best possible -808.211 (1586.14 seconds) After 126400 nodes, 8351 on tree, 1045.9 best solution, best possible -807.356 (1587.33 seconds) After 126500 nodes, 8361 on tree, 1045.9 best solution, best possible -806.481 (1588.54 seconds) After 126600 nodes, 8364 on tree, 1045.9 best solution, best possible -806.391 (1589.44 seconds) After 126700 nodes, 8368 on tree, 1045.9 best solution, best possible -805.877 (1590.49 seconds) After 126800 nodes, 8371 on tree, 1045.9 best solution, best possible -805.159 (1591.58 seconds) After 126900 nodes, 8381 on tree, 1045.9 best solution, best possible -804.58 (1592.74 seconds) After 127000 nodes, 8385 on tree, 1045.9 best solution, best possible -804.038 (1593.87 seconds) After 127100 nodes, 8397 on tree, 1045.9 best solution, best possible -803.221 (1595.04 seconds) After 127200 nodes, 8402 on tree, 1045.9 best solution, best possible -802.802 (1596.00 seconds) After 127300 nodes, 8411 on tree, 1045.9 best solution, best possible -801.876 (1597.18 seconds) After 127400 nodes, 8422 on tree, 1045.9 best solution, best possible -801.225 (1598.30 seconds) After 127500 nodes, 8434 on tree, 1045.9 best solution, best possible -800.729 (1599.49 seconds) After 127600 nodes, 8440 on tree, 1045.9 best solution, best possible -800.109 (1600.67 seconds) After 127700 nodes, 8443 on tree, 1045.9 best solution, best possible -799.786 (1601.64 seconds) After 127800 nodes, 8453 on tree, 1045.9 best solution, best possible -799.29 (1602.74 seconds) After 127900 nodes, 8455 on tree, 1045.9 best solution, best possible -798.949 (1603.75 seconds) After 128000 nodes, 8459 on tree, 1045.9 best solution, best possible -798.191 (1604.91 seconds) After 128100 nodes, 8466 on tree, 1045.9 best solution, best possible -797.018 (1606.02 seconds) After 128200 nodes, 8473 on tree, 1045.9 best solution, best possible -796.535 (1607.17 seconds) After 128300 nodes, 8478 on tree, 1045.9 best solution, best possible -796.077 (1608.20 seconds) After 128400 nodes, 8483 on tree, 1045.9 best solution, best possible -795.474 (1609.40 seconds) After 128500 nodes, 8485 on tree, 1045.9 best solution, best possible -795.202 (1610.39 seconds) After 128600 nodes, 8491 on tree, 1045.9 best solution, best possible -794.458 (1611.57 seconds) After 128700 nodes, 8499 on tree, 1045.9 best solution, best possible -793.858 (1612.74 seconds) After 128800 nodes, 8516 on tree, 1045.9 best solution, best possible -793.24 (1613.92 seconds) After 128900 nodes, 8527 on tree, 1045.9 best solution, best possible -792.627 (1615.05 seconds) After 129000 nodes, 8534 on tree, 1045.9 best solution, best possible -791.896 (1616.11 seconds) After 129100 nodes, 8537 on tree, 1045.9 best solution, best possible -791.896 (1617.26 seconds) After 129200 nodes, 8541 on tree, 1045.9 best solution, best possible -791.896 (1618.35 seconds) After 129300 nodes, 8541 on tree, 1045.9 best solution, best possible -791.896 (1619.37 seconds) After 129400 nodes, 8541 on tree, 1045.9 best solution, best possible -791.896 (1620.38 seconds) After 129500 nodes, 8551 on tree, 1045.9 best solution, best possible -791.896 (1621.68 seconds) After 129600 nodes, 8550 on tree, 1045.9 best solution, best possible -791.896 (1622.76 seconds) After 129700 nodes, 8553 on tree, 1045.9 best solution, best possible -791.896 (1623.73 seconds) After 129800 nodes, 8556 on tree, 1045.9 best solution, best possible -791.896 (1624.68 seconds) After 129900 nodes, 8556 on tree, 1045.9 best solution, best possible -791.896 (1625.77 seconds) After 130000 nodes, 8560 on tree, 1045.9 best solution, best possible -791.896 (1626.75 seconds) After 130100 nodes, 8564 on tree, 1045.9 best solution, best possible -791.789 (1627.71 seconds) After 130200 nodes, 8571 on tree, 1045.9 best solution, best possible -791.346 (1628.82 seconds) After 130300 nodes, 8574 on tree, 1045.9 best solution, best possible -790.954 (1629.87 seconds) After 130400 nodes, 8583 on tree, 1045.9 best solution, best possible -790.329 (1631.05 seconds) After 130500 nodes, 8588 on tree, 1045.9 best solution, best possible -789.82 (1632.18 seconds) After 130600 nodes, 8595 on tree, 1045.9 best solution, best possible -789.516 (1633.31 seconds) After 130700 nodes, 8600 on tree, 1045.9 best solution, best possible -788.835 (1634.44 seconds) After 130800 nodes, 8604 on tree, 1045.9 best solution, best possible -788.564 (1635.45 seconds) After 130900 nodes, 8611 on tree, 1045.9 best solution, best possible -787.641 (1636.55 seconds) After 131000 nodes, 8614 on tree, 1045.9 best solution, best possible -787.092 (1637.70 seconds) After 131100 nodes, 8623 on tree, 1045.9 best solution, best possible -786.499 (1638.82 seconds) After 131200 nodes, 8630 on tree, 1045.9 best solution, best possible -785.991 (1639.96 seconds) After 131300 nodes, 8642 on tree, 1045.9 best solution, best possible -785.377 (1641.05 seconds) After 131400 nodes, 8647 on tree, 1045.9 best solution, best possible -785.092 (1642.10 seconds) After 131500 nodes, 8655 on tree, 1045.9 best solution, best possible -784.282 (1643.19 seconds) After 131600 nodes, 8663 on tree, 1045.9 best solution, best possible -783.595 (1644.33 seconds) After 131700 nodes, 8669 on tree, 1045.9 best solution, best possible -782.871 (1645.39 seconds) After 131800 nodes, 8676 on tree, 1045.9 best solution, best possible -782.354 (1646.65 seconds) After 131900 nodes, 8683 on tree, 1045.9 best solution, best possible -781.802 (1647.79 seconds) After 132000 nodes, 8695 on tree, 1045.9 best solution, best possible -781.098 (1649.20 seconds) After 132100 nodes, 8701 on tree, 1045.9 best solution, best possible -781.044 (1650.49 seconds) After 132200 nodes, 8706 on tree, 1045.9 best solution, best possible -780.481 (1652.00 seconds) After 132300 nodes, 8712 on tree, 1045.9 best solution, best possible -779.747 (1653.58 seconds) After 132400 nodes, 8719 on tree, 1045.9 best solution, best possible -779.047 (1655.16 seconds) After 132500 nodes, 8726 on tree, 1045.9 best solution, best possible -778.417 (1656.78 seconds) After 132600 nodes, 8726 on tree, 1045.9 best solution, best possible -778.406 (1658.32 seconds) After 132700 nodes, 8732 on tree, 1045.9 best solution, best possible -777.788 (1659.88 seconds) After 132800 nodes, 8743 on tree, 1045.9 best solution, best possible -776.954 (1661.39 seconds) After 132900 nodes, 8748 on tree, 1045.9 best solution, best possible -776.539 (1662.83 seconds) After 133000 nodes, 8754 on tree, 1045.9 best solution, best possible -775.97 (1664.32 seconds) After 133100 nodes, 8762 on tree, 1045.9 best solution, best possible -775.97 (1665.83 seconds) After 133200 nodes, 8764 on tree, 1045.9 best solution, best possible -775.97 (1667.28 seconds) After 133300 nodes, 8765 on tree, 1045.9 best solution, best possible -775.97 (1668.64 seconds) After 133400 nodes, 8766 on tree, 1045.9 best solution, best possible -775.97 (1670.09 seconds) After 133500 nodes, 8768 on tree, 1045.9 best solution, best possible -775.97 (1671.40 seconds) After 133600 nodes, 8773 on tree, 1045.9 best solution, best possible -775.97 (1672.81 seconds) After 133700 nodes, 8774 on tree, 1045.9 best solution, best possible -775.97 (1674.06 seconds) After 133800 nodes, 8775 on tree, 1045.9 best solution, best possible -775.97 (1675.45 seconds) After 133900 nodes, 8777 on tree, 1045.9 best solution, best possible -775.97 (1676.67 seconds) After 134000 nodes, 8781 on tree, 1045.9 best solution, best possible -775.97 (1677.95 seconds) After 134100 nodes, 8784 on tree, 1045.9 best solution, best possible -775.836 (1679.35 seconds) After 134200 nodes, 8790 on tree, 1045.9 best solution, best possible -775.186 (1680.77 seconds) After 134300 nodes, 8798 on tree, 1045.9 best solution, best possible -774.542 (1682.27 seconds) After 134400 nodes, 8802 on tree, 1045.9 best solution, best possible -774.127 (1683.80 seconds) After 134500 nodes, 8814 on tree, 1045.9 best solution, best possible -773.37 (1685.38 seconds) After 134600 nodes, 8825 on tree, 1045.9 best solution, best possible -772.696 (1686.86 seconds) After 134700 nodes, 8834 on tree, 1045.9 best solution, best possible -772.12 (1688.30 seconds) After 134800 nodes, 8838 on tree, 1045.9 best solution, best possible -772.006 (1689.64 seconds) After 134900 nodes, 8841 on tree, 1045.9 best solution, best possible -771.354 (1691.11 seconds) After 135000 nodes, 8848 on tree, 1045.9 best solution, best possible -771.016 (1692.69 seconds) After 135100 nodes, 8860 on tree, 1045.9 best solution, best possible -770.46 (1694.35 seconds) After 135200 nodes, 8868 on tree, 1045.9 best solution, best possible -769.738 (1695.77 seconds) After 135300 nodes, 8877 on tree, 1045.9 best solution, best possible -769.501 (1697.23 seconds) After 135400 nodes, 8879 on tree, 1045.9 best solution, best possible -769.225 (1698.67 seconds) After 135500 nodes, 8890 on tree, 1045.9 best solution, best possible -768.683 (1700.23 seconds) After 135600 nodes, 8902 on tree, 1045.9 best solution, best possible -768.07 (1701.73 seconds) After 135700 nodes, 8908 on tree, 1045.9 best solution, best possible -767.25 (1703.20 seconds) After 135800 nodes, 8916 on tree, 1045.9 best solution, best possible -766.433 (1704.84 seconds) After 135900 nodes, 8922 on tree, 1045.9 best solution, best possible -765.711 (1706.41 seconds) After 136000 nodes, 8927 on tree, 1045.9 best solution, best possible -764.816 (1708.04 seconds) After 136100 nodes, 8935 on tree, 1045.9 best solution, best possible -764.198 (1709.63 seconds) After 136200 nodes, 8939 on tree, 1045.9 best solution, best possible -763.62 (1711.14 seconds) After 136300 nodes, 8943 on tree, 1045.9 best solution, best possible -763.186 (1712.68 seconds) After 136400 nodes, 8952 on tree, 1045.9 best solution, best possible -762.416 (1714.27 seconds) After 136500 nodes, 8964 on tree, 1045.9 best solution, best possible -761.893 (1715.72 seconds) After 136600 nodes, 8970 on tree, 1045.9 best solution, best possible -761.52 (1717.10 seconds) After 136700 nodes, 8973 on tree, 1045.9 best solution, best possible -761.02 (1718.37 seconds) After 136800 nodes, 8979 on tree, 1045.9 best solution, best possible -760.804 (1719.78 seconds) After 136900 nodes, 8993 on tree, 1045.9 best solution, best possible -760.133 (1721.55 seconds) After 137000 nodes, 9002 on tree, 1045.9 best solution, best possible -759.665 (1723.02 seconds) After 137100 nodes, 9007 on tree, 1045.9 best solution, best possible -759.665 (1724.53 seconds) After 137200 nodes, 9011 on tree, 1045.9 best solution, best possible -759.665 (1726.07 seconds) After 137300 nodes, 9018 on tree, 1045.9 best solution, best possible -759.665 (1727.38 seconds) After 137400 nodes, 9022 on tree, 1045.9 best solution, best possible -759.665 (1728.73 seconds) After 137500 nodes, 9027 on tree, 1045.9 best solution, best possible -759.665 (1729.94 seconds) After 137600 nodes, 9030 on tree, 1045.9 best solution, best possible -759.665 (1731.26 seconds) After 137700 nodes, 9039 on tree, 1045.9 best solution, best possible -759.665 (1732.75 seconds) After 137800 nodes, 9052 on tree, 1045.9 best solution, best possible -759.665 (1734.15 seconds) After 137900 nodes, 9051 on tree, 1045.9 best solution, best possible -759.665 (1735.44 seconds) After 138000 nodes, 9054 on tree, 1045.9 best solution, best possible -759.665 (1736.84 seconds) After 138100 nodes, 9063 on tree, 1045.9 best solution, best possible -758.901 (1738.31 seconds) After 138200 nodes, 9072 on tree, 1045.9 best solution, best possible -758.531 (1739.77 seconds) After 138300 nodes, 9078 on tree, 1045.9 best solution, best possible -758.14 (1741.24 seconds) After 138400 nodes, 9093 on tree, 1045.9 best solution, best possible -757.34 (1742.78 seconds) After 138500 nodes, 9099 on tree, 1045.9 best solution, best possible -756.723 (1744.22 seconds) After 138600 nodes, 9110 on tree, 1045.9 best solution, best possible -755.88 (1745.77 seconds) After 138700 nodes, 9119 on tree, 1045.9 best solution, best possible -755.331 (1747.37 seconds) After 138800 nodes, 9126 on tree, 1045.9 best solution, best possible -754.716 (1748.97 seconds) After 138900 nodes, 9133 on tree, 1045.9 best solution, best possible -754.11 (1750.43 seconds) After 139000 nodes, 9142 on tree, 1045.9 best solution, best possible -753.35 (1752.01 seconds) After 139100 nodes, 9147 on tree, 1045.9 best solution, best possible -752.771 (1753.51 seconds) After 139200 nodes, 9149 on tree, 1045.9 best solution, best possible -752.061 (1754.89 seconds) After 139300 nodes, 9156 on tree, 1045.9 best solution, best possible -751.746 (1756.42 seconds) After 139400 nodes, 9162 on tree, 1045.9 best solution, best possible -751.329 (1757.99 seconds) After 139500 nodes, 9168 on tree, 1045.9 best solution, best possible -751.03 (1759.20 seconds) After 139600 nodes, 9173 on tree, 1045.9 best solution, best possible -750.627 (1760.28 seconds) After 139700 nodes, 9189 on tree, 1045.9 best solution, best possible -749.61 (1761.39 seconds) After 139800 nodes, 9199 on tree, 1045.9 best solution, best possible -748.862 (1762.60 seconds) After 139900 nodes, 9203 on tree, 1045.9 best solution, best possible -748.196 (1763.72 seconds) After 140000 nodes, 9208 on tree, 1045.9 best solution, best possible -748.072 (1764.76 seconds) After 140100 nodes, 9221 on tree, 1045.9 best solution, best possible -747.484 (1765.92 seconds) After 140200 nodes, 9227 on tree, 1045.9 best solution, best possible -747.232 (1766.96 seconds) After 140300 nodes, 9234 on tree, 1045.9 best solution, best possible -746.679 (1768.09 seconds) After 140400 nodes, 9242 on tree, 1045.9 best solution, best possible -745.944 (1769.24 seconds) After 140500 nodes, 9251 on tree, 1045.9 best solution, best possible -745.319 (1770.43 seconds) After 140600 nodes, 9257 on tree, 1045.9 best solution, best possible -744.559 (1771.51 seconds) After 140700 nodes, 9273 on tree, 1045.9 best solution, best possible -744.267 (1772.61 seconds) After 140800 nodes, 9281 on tree, 1045.9 best solution, best possible -743.845 (1773.76 seconds) After 140900 nodes, 9287 on tree, 1045.9 best solution, best possible -743.183 (1774.82 seconds) After 141000 nodes, 9291 on tree, 1045.9 best solution, best possible -742.758 (1775.81 seconds) After 141100 nodes, 9308 on tree, 1045.9 best solution, best possible -742.758 (1777.02 seconds) After 141200 nodes, 9320 on tree, 1045.9 best solution, best possible -742.758 (1778.22 seconds) After 141300 nodes, 9323 on tree, 1045.9 best solution, best possible -742.758 (1779.32 seconds) After 141400 nodes, 9324 on tree, 1045.9 best solution, best possible -742.758 (1780.34 seconds) After 141500 nodes, 9325 on tree, 1045.9 best solution, best possible -742.758 (1781.37 seconds) After 141600 nodes, 9327 on tree, 1045.9 best solution, best possible -742.758 (1782.34 seconds) After 141700 nodes, 9330 on tree, 1045.9 best solution, best possible -742.758 (1783.24 seconds) After 141800 nodes, 9332 on tree, 1045.9 best solution, best possible -742.758 (1784.26 seconds) After 141900 nodes, 9331 on tree, 1045.9 best solution, best possible -742.758 (1785.24 seconds) After 142000 nodes, 9337 on tree, 1045.9 best solution, best possible -742.758 (1786.25 seconds) After 142100 nodes, 9339 on tree, 1045.9 best solution, best possible -742.32 (1787.36 seconds) After 142200 nodes, 9345 on tree, 1045.9 best solution, best possible -742.009 (1788.48 seconds) After 142300 nodes, 9352 on tree, 1045.9 best solution, best possible -741.188 (1789.62 seconds) After 142400 nodes, 9353 on tree, 1045.9 best solution, best possible -740.819 (1790.68 seconds) After 142500 nodes, 9369 on tree, 1045.9 best solution, best possible -740.132 (1791.91 seconds) After 142600 nodes, 9371 on tree, 1045.9 best solution, best possible -739.588 (1793.05 seconds) After 142700 nodes, 9380 on tree, 1045.9 best solution, best possible -739.16 (1794.15 seconds) After 142800 nodes, 9387 on tree, 1045.9 best solution, best possible -738.112 (1795.38 seconds) After 142900 nodes, 9394 on tree, 1045.9 best solution, best possible -737.813 (1796.50 seconds) After 143000 nodes, 9398 on tree, 1045.9 best solution, best possible -737.389 (1797.51 seconds) After 143100 nodes, 9410 on tree, 1045.9 best solution, best possible -736.631 (1798.79 seconds) After 143200 nodes, 9415 on tree, 1045.9 best solution, best possible -735.784 (1799.95 seconds) After 143300 nodes, 9420 on tree, 1045.9 best solution, best possible -735.263 (1801.03 seconds) After 143400 nodes, 9424 on tree, 1045.9 best solution, best possible -734.962 (1802.06 seconds) After 143500 nodes, 9427 on tree, 1045.9 best solution, best possible -734.727 (1803.15 seconds) After 143600 nodes, 9434 on tree, 1045.9 best solution, best possible -734.221 (1804.26 seconds) After 143700 nodes, 9441 on tree, 1045.9 best solution, best possible -733.81 (1805.45 seconds) After 143800 nodes, 9448 on tree, 1045.9 best solution, best possible -733.089 (1806.55 seconds) After 143900 nodes, 9449 on tree, 1045.9 best solution, best possible -732.572 (1807.63 seconds) After 144000 nodes, 9455 on tree, 1045.9 best solution, best possible -732.316 (1808.68 seconds) After 144100 nodes, 9468 on tree, 1045.9 best solution, best possible -731.62 (1809.89 seconds) After 144200 nodes, 9483 on tree, 1045.9 best solution, best possible -730.877 (1811.06 seconds) After 144300 nodes, 9499 on tree, 1045.9 best solution, best possible -730.426 (1812.19 seconds) After 144400 nodes, 9508 on tree, 1045.9 best solution, best possible -729.681 (1813.39 seconds) After 144500 nodes, 9512 on tree, 1045.9 best solution, best possible -729.263 (1814.45 seconds) After 144600 nodes, 9516 on tree, 1045.9 best solution, best possible -729.012 (1815.42 seconds) After 144700 nodes, 9518 on tree, 1045.9 best solution, best possible -728.71 (1816.40 seconds) After 144800 nodes, 9529 on tree, 1045.9 best solution, best possible -728.258 (1817.51 seconds) After 144900 nodes, 9533 on tree, 1045.9 best solution, best possible -728.113 (1818.53 seconds) After 145000 nodes, 9544 on tree, 1045.9 best solution, best possible -727.63 (1819.61 seconds) After 145100 nodes, 9551 on tree, 1045.9 best solution, best possible -727.63 (1820.77 seconds) After 145200 nodes, 9552 on tree, 1045.9 best solution, best possible -727.63 (1821.73 seconds) After 145300 nodes, 9552 on tree, 1045.9 best solution, best possible -727.63 (1822.82 seconds) After 145400 nodes, 9555 on tree, 1045.9 best solution, best possible -727.63 (1823.84 seconds) After 145500 nodes, 9561 on tree, 1045.9 best solution, best possible -727.63 (1824.85 seconds) After 145600 nodes, 9562 on tree, 1045.9 best solution, best possible -727.63 (1825.83 seconds) After 145700 nodes, 9564 on tree, 1045.9 best solution, best possible -727.63 (1826.84 seconds) After 145800 nodes, 9568 on tree, 1045.9 best solution, best possible -727.63 (1827.87 seconds) After 145900 nodes, 9571 on tree, 1045.9 best solution, best possible -727.63 (1828.75 seconds) After 146000 nodes, 9581 on tree, 1045.9 best solution, best possible -727.63 (1830.05 seconds) After 146100 nodes, 9587 on tree, 1045.9 best solution, best possible -727.295 (1831.10 seconds) After 146200 nodes, 9597 on tree, 1045.9 best solution, best possible -726.961 (1832.10 seconds) After 146300 nodes, 9601 on tree, 1045.9 best solution, best possible -726.789 (1833.06 seconds) After 146400 nodes, 9610 on tree, 1045.9 best solution, best possible -726.131 (1834.16 seconds) After 146500 nodes, 9616 on tree, 1045.9 best solution, best possible -725.666 (1835.36 seconds) After 146600 nodes, 9619 on tree, 1045.9 best solution, best possible -725.326 (1836.37 seconds) After 146700 nodes, 9624 on tree, 1045.9 best solution, best possible -724.692 (1837.47 seconds) After 146800 nodes, 9627 on tree, 1045.9 best solution, best possible -724.207 (1838.56 seconds) After 146900 nodes, 9632 on tree, 1045.9 best solution, best possible -723.908 (1839.66 seconds) After 147000 nodes, 9633 on tree, 1045.9 best solution, best possible -723.779 (1840.60 seconds) After 147100 nodes, 9643 on tree, 1045.9 best solution, best possible -723.278 (1841.72 seconds) After 147200 nodes, 9649 on tree, 1045.9 best solution, best possible -722.676 (1842.84 seconds) After 147300 nodes, 9656 on tree, 1045.9 best solution, best possible -722.26 (1843.92 seconds) After 147400 nodes, 9663 on tree, 1045.9 best solution, best possible -721.617 (1845.02 seconds) After 147500 nodes, 9672 on tree, 1045.9 best solution, best possible -721.231 (1846.18 seconds) After 147600 nodes, 9675 on tree, 1045.9 best solution, best possible -720.896 (1847.20 seconds) After 147700 nodes, 9686 on tree, 1045.9 best solution, best possible -720.411 (1848.36 seconds) After 147800 nodes, 9694 on tree, 1045.9 best solution, best possible -720.059 (1849.45 seconds) After 147900 nodes, 9697 on tree, 1045.9 best solution, best possible -719.793 (1850.54 seconds) After 148000 nodes, 9705 on tree, 1045.9 best solution, best possible -719.172 (1851.66 seconds) After 148100 nodes, 9717 on tree, 1045.9 best solution, best possible -718.334 (1852.84 seconds) After 148200 nodes, 9732 on tree, 1045.9 best solution, best possible -717.536 (1854.08 seconds) After 148300 nodes, 9742 on tree, 1045.9 best solution, best possible -716.633 (1855.26 seconds) After 148400 nodes, 9751 on tree, 1045.9 best solution, best possible -716.351 (1856.30 seconds) After 148500 nodes, 9760 on tree, 1045.9 best solution, best possible -715.626 (1857.43 seconds) After 148600 nodes, 9773 on tree, 1045.9 best solution, best possible -714.995 (1858.66 seconds) After 148700 nodes, 9781 on tree, 1045.9 best solution, best possible -714.074 (1859.83 seconds) After 148800 nodes, 9785 on tree, 1045.9 best solution, best possible -713.745 (1860.89 seconds) After 148900 nodes, 9794 on tree, 1045.9 best solution, best possible -713.303 (1862.02 seconds) After 149000 nodes, 9799 on tree, 1045.9 best solution, best possible -712.863 (1863.16 seconds) After 149100 nodes, 9807 on tree, 1045.9 best solution, best possible -712.898 (1864.23 seconds) After 149200 nodes, 9813 on tree, 1045.9 best solution, best possible -712.898 (1865.32 seconds) After 149300 nodes, 9816 on tree, 1045.9 best solution, best possible -712.898 (1866.32 seconds) After 149400 nodes, 9817 on tree, 1045.9 best solution, best possible -712.898 (1867.33 seconds) After 149500 nodes, 9819 on tree, 1045.9 best solution, best possible -712.898 (1868.36 seconds) After 149600 nodes, 9826 on tree, 1045.9 best solution, best possible -712.898 (1869.44 seconds) After 149700 nodes, 9829 on tree, 1045.9 best solution, best possible -712.898 (1870.41 seconds) After 149800 nodes, 9831 on tree, 1045.9 best solution, best possible -712.898 (1871.37 seconds) After 149900 nodes, 9831 on tree, 1045.9 best solution, best possible -712.898 (1872.33 seconds) After 150000 nodes, 9833 on tree, 1045.9 best solution, best possible -712.898 (1873.45 seconds) After 150100 nodes, 9843 on tree, 1045.9 best solution, best possible -712.03 (1874.67 seconds) After 150200 nodes, 9851 on tree, 1045.9 best solution, best possible -711.331 (1875.83 seconds) After 150300 nodes, 9854 on tree, 1045.9 best solution, best possible -710.858 (1876.88 seconds) After 150400 nodes, 9867 on tree, 1045.9 best solution, best possible -710.26 (1878.09 seconds) After 150500 nodes, 9872 on tree, 1045.9 best solution, best possible -709.849 (1879.27 seconds) After 150600 nodes, 9880 on tree, 1045.9 best solution, best possible -709.364 (1880.37 seconds) After 150700 nodes, 9885 on tree, 1045.9 best solution, best possible -708.913 (1881.51 seconds) After 150800 nodes, 9893 on tree, 1045.9 best solution, best possible -708.337 (1882.66 seconds) After 150900 nodes, 9901 on tree, 1045.9 best solution, best possible -707.826 (1883.77 seconds) After 151000 nodes, 9904 on tree, 1045.9 best solution, best possible -707.368 (1884.85 seconds) After 151100 nodes, 9915 on tree, 1045.9 best solution, best possible -706.917 (1886.01 seconds) After 151200 nodes, 9924 on tree, 1045.9 best solution, best possible -706.431 (1887.15 seconds) After 151300 nodes, 9933 on tree, 1045.9 best solution, best possible -705.86 (1888.30 seconds) After 151400 nodes, 9942 on tree, 1045.9 best solution, best possible -705.457 (1889.47 seconds) After 151500 nodes, 9951 on tree, 1045.9 best solution, best possible -704.919 (1890.61 seconds) After 151600 nodes, 9955 on tree, 1045.9 best solution, best possible -704.666 (1891.70 seconds) After 151700 nodes, 9960 on tree, 1045.9 best solution, best possible -704.335 (1892.75 seconds) After 151800 nodes, 9973 on tree, 1045.9 best solution, best possible -703.925 (1893.91 seconds) After 151900 nodes, 9982 on tree, 1045.9 best solution, best possible -703.507 (1894.94 seconds) After 152000 nodes, 9993 on tree, 1045.9 best solution, best possible -702.85 (1896.11 seconds) After 152100 nodes, 10003 on tree, 1045.9 best solution, best possible -702.05 (1897.31 seconds) After 152200 nodes, 10010 on tree, 1045.9 best solution, best possible -701.603 (1898.35 seconds) After 152300 nodes, 10017 on tree, 1045.9 best solution, best possible -700.733 (1899.55 seconds) After 152400 nodes, 10022 on tree, 1045.9 best solution, best possible -700.35 (1900.55 seconds) After 152500 nodes, 10040 on tree, 1045.9 best solution, best possible -699.787 (1901.76 seconds) After 152600 nodes, 10043 on tree, 1045.9 best solution, best possible -699.384 (1902.75 seconds) After 152700 nodes, 10055 on tree, 1045.9 best solution, best possible -698.604 (1903.93 seconds) After 152800 nodes, 10063 on tree, 1045.9 best solution, best possible -697.82 (1905.18 seconds) After 152900 nodes, 10071 on tree, 1045.9 best solution, best possible -697.272 (1906.30 seconds) After 153000 nodes, 10081 on tree, 1045.9 best solution, best possible -696.878 (1907.42 seconds) After 153100 nodes, 10089 on tree, 1045.9 best solution, best possible -696.436 (1908.58 seconds) After 153200 nodes, 10097 on tree, 1045.9 best solution, best possible -696.12 (1909.68 seconds) After 153300 nodes, 10108 on tree, 1045.9 best solution, best possible -695.408 (1910.88 seconds) After 153400 nodes, 10119 on tree, 1045.9 best solution, best possible -695.075 (1912.00 seconds) After 153500 nodes, 10125 on tree, 1045.9 best solution, best possible -694.668 (1913.09 seconds) After 153600 nodes, 10136 on tree, 1045.9 best solution, best possible -694.196 (1914.22 seconds) After 153700 nodes, 10143 on tree, 1045.9 best solution, best possible -693.743 (1915.41 seconds) After 153800 nodes, 10153 on tree, 1045.9 best solution, best possible -693.287 (1916.59 seconds) After 153900 nodes, 10159 on tree, 1045.9 best solution, best possible -692.962 (1917.67 seconds) After 154000 nodes, 10166 on tree, 1045.9 best solution, best possible -692.505 (1918.76 seconds) After 154100 nodes, 10172 on tree, 1045.9 best solution, best possible -692.505 (1919.88 seconds) After 154200 nodes, 10174 on tree, 1045.9 best solution, best possible -692.505 (1920.93 seconds) After 154300 nodes, 10180 on tree, 1045.9 best solution, best possible -692.505 (1921.96 seconds) After 154400 nodes, 10191 on tree, 1045.9 best solution, best possible -692.505 (1923.09 seconds) After 154500 nodes, 10196 on tree, 1045.9 best solution, best possible -692.505 (1924.13 seconds) After 154600 nodes, 10200 on tree, 1045.9 best solution, best possible -692.505 (1925.06 seconds) After 154700 nodes, 10200 on tree, 1045.9 best solution, best possible -692.505 (1925.97 seconds) After 154800 nodes, 10205 on tree, 1045.9 best solution, best possible -692.505 (1926.95 seconds) After 154900 nodes, 10207 on tree, 1045.9 best solution, best possible -692.505 (1927.83 seconds) After 155000 nodes, 10211 on tree, 1045.9 best solution, best possible -692.505 (1928.83 seconds) After 155100 nodes, 10213 on tree, 1045.9 best solution, best possible -692.505 (1929.88 seconds) After 155200 nodes, 10214 on tree, 1045.9 best solution, best possible -692.505 (1930.86 seconds) After 155300 nodes, 10220 on tree, 1045.9 best solution, best possible -692.505 (1931.92 seconds) After 155400 nodes, 10225 on tree, 1045.9 best solution, best possible -692.505 (1932.94 seconds) After 155500 nodes, 10230 on tree, 1045.9 best solution, best possible -692.505 (1933.94 seconds) After 155600 nodes, 10236 on tree, 1045.9 best solution, best possible -692.505 (1935.01 seconds) After 155700 nodes, 10238 on tree, 1045.9 best solution, best possible -692.505 (1936.09 seconds) After 155800 nodes, 10250 on tree, 1045.9 best solution, best possible -692.505 (1937.12 seconds) After 155900 nodes, 10261 on tree, 1045.9 best solution, best possible -692.505 (1938.24 seconds) After 156000 nodes, 10267 on tree, 1045.9 best solution, best possible -692.505 (1939.38 seconds) Cbc0004I Integer solution of 547.533 found after 2756957 iterations and 156094 nodes (1940.28 seconds) Cbc0038I Full problem 1420 rows 2725 columns, reduced to 73 rows 60 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 104 rows 85 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 137 rows 129 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 134 rows 125 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 137 rows 131 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 137 rows 129 columns Cbc0004I Integer solution of 405.334 found after 2994348 iterations and 172102 nodes (2108.19 seconds) Cbc0038I Full problem 1420 rows 2725 columns, reduced to 137 rows 129 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 161 rows 170 columns Cbc0004I Integer solution of 404.065 found after 3445233 iterations and 204429 nodes (2454.92 seconds) Cbc0038I Full problem 1420 rows 2725 columns, reduced to 179 rows 199 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 137 rows 129 columns Cbc0012I Integer solution of 389.423 found by combine solutions after 3445236 iterations and 204431 nodes (2459.51 seconds) Cbc0038I Full problem 1420 rows 2725 columns, reduced to 137 rows 129 columns Cbc0004I Integer solution of 382.905 found after 3656039 iterations and 218153 nodes (2595.75 seconds) Cbc0038I Full problem 1420 rows 2725 columns, reduced to 158 rows 161 columns Cbc0004I Integer solution of 382.642 found after 3689640 iterations and 220196 nodes (2618.80 seconds) Cbc0038I Full problem 1420 rows 2725 columns, reduced to 188 rows 216 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 158 rows 161 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 192 rows 225 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 158 rows 161 columns Cbc0004I Integer solution of 379.335 found after 3830621 iterations and 228462 nodes (2741.88 seconds) Cbc0038I Full problem 1420 rows 2725 columns, reduced to 162 rows 169 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 192 rows 225 columns Cbc0004I Integer solution of 378.019 found after 3899091 iterations and 232689 nodes (2794.51 seconds) Cbc0038I Full problem 1420 rows 2725 columns, reduced to 175 rows 192 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 192 rows 225 columns Cbc0012I Integer solution of 376.599 found by combine solutions after 3899112 iterations and 232693 nodes (2799.90 seconds) Cbc0038I Full problem 1420 rows 2725 columns, reduced to 192 rows 225 columns Cbc0004I Integer solution of 376.498 found after 3962371 iterations and 236443 nodes (2847.28 seconds) Cbc0038I Full problem 1420 rows 2725 columns, reduced to 176 rows 195 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 192 rows 225 columns Cbc0012I Integer solution of 376.16 found by combine solutions after 3962401 iterations and 236446 nodes (2859.19 seconds) Cbc0038I Full problem 1420 rows 2725 columns, reduced to 192 rows 225 columns Cbc0004I Integer solution of 376.068 found after 4029652 iterations and 240447 nodes (2905.28 seconds) Cbc0004I Integer solution of 376.068 found after 4029646 iterations and 240449 nodes (2905.31 seconds) Cbc0038I Full problem 1420 rows 2725 columns, reduced to 200 rows 241 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 178 rows 199 columns Cbc0004I Integer solution of 375.357 found after 5499944 iterations and 387683 nodes (4385.80 seconds) Cbc0038I Full problem 1420 rows 2725 columns, reduced to 178 rows 199 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 219 rows 271 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 203 rows 239 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 219 rows 271 columns Cbc0004I Integer solution of 373.485 found after 5738177 iterations and 414841 nodes (4675.64 seconds) Cbc0038I Full problem 1420 rows 2725 columns, reduced to 231 rows 293 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 203 rows 239 columns Cbc0004I Integer solution of 373.366 found after 5745209 iterations and 415684 nodes (4690.31 seconds) Cbc0038I Full problem 1420 rows 2725 columns, reduced to 210 rows 253 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 231 rows 293 columns Cbc0004I Integer solution of 373.26 found after 5753989 iterations and 416358 nodes (4706.79 seconds) Cbc0038I Full problem 1420 rows 2725 columns, reduced to 232 rows 297 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 210 rows 253 columns Cbc0004I Integer solution of 373.094 found after 5923069 iterations and 434510 nodes (4894.43 seconds) Cbc0038I Full problem 1420 rows 2725 columns, reduced to 210 rows 253 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 232 rows 297 columns Cbc0004I Integer solution of 371.633 found after 5938407 iterations and 435146 nodes (4921.55 seconds) Cbc0038I Full problem 1420 rows 2725 columns, reduced to 210 rows 253 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 232 rows 297 columns Cbc0004I Integer solution of 370.475 found after 6145547 iterations and 457917 nodes (5167.07 seconds) Cbc0038I Full problem 1420 rows 2725 columns, reduced to 210 rows 253 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 233 rows 300 columns Cbc0004I Integer solution of 370.369 found after 6150160 iterations and 458299 nodes (5178.45 seconds) Cbc0038I Full problem 1420 rows 2725 columns, reduced to 212 rows 257 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 233 rows 300 columns Cbc0004I Integer solution of 370.329 found after 6233211 iterations and 465863 nodes (5266.36 seconds) Cbc0004I Integer solution of 370.329 found after 6233270 iterations and 465865 nodes (5266.39 seconds) Cbc0038I Full problem 1420 rows 2725 columns, reduced to 213 rows 260 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 234 rows 303 columns Cbc0004I Integer solution of 370.277 found after 6239450 iterations and 466420 nodes (5284.40 seconds) Cbc0038I Full problem 1420 rows 2725 columns, reduced to 234 rows 303 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 214 rows 262 columns Cbc0004I Integer solution of 369.41 found after 6360058 iterations and 477881 nodes (5403.11 seconds) Cbc0038I Full problem 1420 rows 2725 columns, reduced to 238 rows 310 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 214 rows 262 columns Cbc0004I Integer solution of 369.352 found after 6364685 iterations and 478457 nodes (5429.85 seconds) Cbc0038I Full problem 1420 rows 2725 columns, reduced to 222 rows 277 columns Cbc0038I Full problem 1420 rows 2725 columns, reduced to 238 rows 310 columns --- Restarting execution --- neos3.gms(124) 0 Mb --- Reading solution for model m *** Status: Normal completion --- Job neos3.gms Stop 07/18/08 14:25:11 elapsed 1:01:08.193