--- Job mkc Start 08/21/08 22:58:58 GAMS Rev 228 Copyright (C) 1987-2008 GAMS Development. All rights reserved Licensee: Stefan Vigerske G071106/0001CB-LNX Humboldt University Berlin, Numerical Mathematics DC5918 --- Starting compilation --- mkc.gms(106) 2 Mb --- GDXin=/home/stefan/work/gams/models/LINlib/mkc.gdx --- mkc.gms(148) 4 Mb --- Starting execution: elapsed 0:00:00.028 --- mkc.gms(123) 5 Mb --- Generating MIP model m --- mkc.gms(124) 6 Mb --- 3,412 rows 5,326 columns 19,985 non-zeroes --- 5,323 discrete-columns --- mkc.gms(124) 6 Mb --- Executing COINCBC: elapsed 0:00:00.109 GAMS/CoinCbc 2.1 LP/MIP Solver written by J. Forrest Problem statistics: 5325 columns and 3411 rows. 5323 variables have integrality restrictions. Calling CBC main solution routine... Coin Cbc and Clp Solver version 2.10.00, build Jun 21 2008 command line - GAMS/CBC -solve -quit Continuous objective value is -611.85 - 0.05 seconds 61 fixed, 0 tightened bounds, 22 strengthened rows, 0 substitutions 61 fixed, 0 tightened bounds, 22 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 22 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 19 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 19 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 19 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 19 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 19 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 19 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 19 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 19 strengthened rows, 0 substitutions processed model has 3217 rows, 5209 columns (5208 integer) and 16549 elements Objective coefficients multiple of 0.002 Cutoff increment increased from 1e-05 to 0.001998 Pass 1: (0.06 seconds) suminf. 2.69201 obj. -467.13 iterations 674 Pass 2: (0.06 seconds) suminf. 1.34206 obj. -429.73 iterations 6 Pass 3: (0.07 seconds) suminf. 0.00000 obj. -196.55 iterations 15 Solution found of -196.55 Before mini branch and bound, 5102 integers at bound fixed and 0 continuous Full problem 3217 rows 5209 columns, reduced to 71 rows 77 columns Mini branch and bound improved solution from -196.55 to -251.35 (0.21 seconds) Freeing continuous variables gives a solution of -251.35 Round again with cutoff of -287.4 Pass 4: (0.26 seconds) suminf. 2.69201 obj. -467.13 iterations 674 Pass 5: (0.26 seconds) suminf. 1.34206 obj. -429.73 iterations 5 Pass 6: (0.28 seconds) suminf. 1.70000 obj. -287.4 iterations 135 Pass 7: (0.28 seconds) suminf. 1.70000 obj. -287.4 iterations 0 Pass 8: (0.29 seconds) suminf. 2.19823 obj. -287.4 iterations 42 Pass 9: (0.30 seconds) suminf. 1.98488 obj. -287.4 iterations 4 Pass 10: (0.31 seconds) suminf. 1.39298 obj. -287.4 iterations 113 Pass 11: (0.32 seconds) suminf. 1.70000 obj. -287.4 iterations 56 Pass 12: (0.33 seconds) suminf. 1.70000 obj. -287.4 iterations 0 Pass 13: (0.34 seconds) suminf. 2.19823 obj. -287.4 iterations 43 Pass 14: (0.34 seconds) suminf. 1.98488 obj. -287.4 iterations 4 Pass 15: (0.36 seconds) suminf. 1.39298 obj. -287.4 iterations 113 Pass 16: (0.36 seconds) suminf. 1.70000 obj. -287.4 iterations 54 Pass 17: (0.37 seconds) suminf. 1.70000 obj. -287.4 iterations 0 Pass 18: (0.38 seconds) suminf. 2.19823 obj. -287.4 iterations 41 Pass 19: (0.39 seconds) suminf. 1.98488 obj. -287.4 iterations 4 Pass 20: (0.40 seconds) suminf. 1.39298 obj. -287.4 iterations 113 Pass 21: (0.41 seconds) suminf. 1.70000 obj. -287.4 iterations 54 Pass 22: (0.42 seconds) suminf. 1.70000 obj. -287.4 iterations 0 Pass 23: (0.42 seconds) suminf. 2.19823 obj. -287.4 iterations 41 No solution found this major pass Before mini branch and bound, 5100 integers at bound fixed and 0 continuous Full problem 3217 rows 5209 columns, reduced to 71 rows 79 columns Mini branch and bound did not improve solution (0.55 seconds) After 0.55 seconds - Feasibility pump exiting with objective of -251.35 - took 0.53 seconds Integer solution of -251.35 found by feasibility pump after 0 iterations and 0 nodes (0.55 seconds) Full problem 3217 rows 5209 columns, reduced to 25 rows 54 columns Integer solution of -252.43 found by combine solutions after 0 iterations and 0 nodes (0.90 seconds) 31 added rows had average density of 95.9032 At root node, 31 cuts changed objective from -611.85 to -604.163 in 3 passes Cut generator 0 (Probing) - 10 row cuts (1 active), 0 column cuts in 0.128 seconds - new frequency is 2 Cut generator 1 (Gomory) - 236 row cuts (2 active), 0 column cuts in 0.056 seconds - new frequency is 1 Cut generator 2 (Knapsack) - 40 row cuts (2 active), 0 column cuts in 0.016 seconds - new frequency is -100 Cut generator 3 (Clique) - 0 row cuts (0 active), 0 column cuts in 0.000 seconds - new frequency is -100 Cut generator 4 (MixedIntegerRounding2) - 10 row cuts (0 active), 0 column cuts in 0.020 seconds - new frequency is -100 Cut generator 5 (FlowCover) - 0 row cuts (0 active), 0 column cuts in 0.120 seconds - new frequency is -100 Cut generator 6 (TwoMirCuts) - 264 row cuts (26 active), 0 column cuts in 0.080 seconds - new frequency is -100 After 0 nodes, 1 on tree, -252.43 best solution, best possible -604.163 (2.04 seconds) After 100 nodes, 53 on tree, -252.43 best solution, best possible -581.196 (12.14 seconds) After 200 nodes, 114 on tree, -252.43 best solution, best possible -581.196 (19.05 seconds) After 300 nodes, 166 on tree, -252.43 best solution, best possible -581.196 (22.85 seconds) Full problem 3217 rows 5209 columns, reduced to 92 rows 132 columns Integer solution of -463.93 found by combine solutions after 18580 iterations and 308 nodes (23.59 seconds) After 400 nodes, 180 on tree, -463.93 best solution, best possible -581.196 (28.23 seconds) After 500 nodes, 229 on tree, -463.93 best solution, best possible -581.196 (32.23 seconds) After 600 nodes, 277 on tree, -463.93 best solution, best possible -581.196 (35.98 seconds) After 700 nodes, 326 on tree, -463.93 best solution, best possible -581.196 (37.71 seconds) After 800 nodes, 395 on tree, -463.93 best solution, best possible -581.196 (40.01 seconds) After 900 nodes, 419 on tree, -463.93 best solution, best possible -581.196 (41.61 seconds) After 1000 nodes, 461 on tree, -463.93 best solution, best possible -581.196 (43.09 seconds) After 1100 nodes, 498 on tree, -463.93 best solution, best possible -581.196 (44.09 seconds) After 1200 nodes, 545 on tree, -463.93 best solution, best possible -581.196 (45.59 seconds) After 1300 nodes, 590 on tree, -463.93 best solution, best possible -581.196 (47.19 seconds) After 1400 nodes, 632 on tree, -463.93 best solution, best possible -581.196 (48.42 seconds) After 1500 nodes, 676 on tree, -463.93 best solution, best possible -581.196 (49.49 seconds) After 1600 nodes, 718 on tree, -463.93 best solution, best possible -581.196 (50.58 seconds) After 1700 nodes, 762 on tree, -463.93 best solution, best possible -581.196 (51.62 seconds) After 1800 nodes, 804 on tree, -463.93 best solution, best possible -581.196 (52.80 seconds) After 1900 nodes, 850 on tree, -463.93 best solution, best possible -581.196 (54.19 seconds) After 2000 nodes, 898 on tree, -463.93 best solution, best possible -581.196 (55.88 seconds) After 2100 nodes, 948 on tree, -463.93 best solution, best possible -581.196 (57.27 seconds) After 2200 nodes, 1012 on tree, -463.93 best solution, best possible -581.196 (58.22 seconds) Integer solution of -527.942 found after 75374 iterations and 2238 nodes (58.54 seconds) Full problem 3217 rows 5209 columns, reduced to 159 rows 204 columns After 2300 nodes, 974 on tree, -527.942 best solution, best possible -581.196 (61.12 seconds) After 2400 nodes, 1010 on tree, -527.942 best solution, best possible -581.196 (63.78 seconds) After 2500 nodes, 1031 on tree, -527.942 best solution, best possible -581.196 (65.90 seconds) After 2600 nodes, 1080 on tree, -527.942 best solution, best possible -581.196 (68.09 seconds) After 2700 nodes, 1118 on tree, -527.942 best solution, best possible -581.196 (70.10 seconds) Integer solution of -540.142 found after 102120 iterations and 2708 nodes (70.15 seconds) Full problem 3217 rows 5209 columns, reduced to 162 rows 208 columns After 2800 nodes, 770 on tree, -540.142 best solution, best possible -581.196 (74.84 seconds) After 2900 nodes, 803 on tree, -540.142 best solution, best possible -581.196 (78.32 seconds) After 3000 nodes, 848 on tree, -540.142 best solution, best possible -581.196 (80.99 seconds) After 3100 nodes, 895 on tree, -540.142 best solution, best possible -581.196 (83.03 seconds) After 3200 nodes, 924 on tree, -540.142 best solution, best possible -581.196 (84.98 seconds) After 3300 nodes, 939 on tree, -540.142 best solution, best possible -581.196 (86.59 seconds) After 3400 nodes, 969 on tree, -540.142 best solution, best possible -581.196 (88.29 seconds) After 3500 nodes, 1007 on tree, -540.142 best solution, best possible -581.196 (89.81 seconds) After 3600 nodes, 1047 on tree, -540.142 best solution, best possible -581.196 (91.15 seconds) After 3700 nodes, 1080 on tree, -540.142 best solution, best possible -581.196 (92.28 seconds) After 3800 nodes, 1111 on tree, -540.142 best solution, best possible -581.196 (93.27 seconds) After 3900 nodes, 1127 on tree, -540.142 best solution, best possible -581.196 (94.20 seconds) After 4000 nodes, 1147 on tree, -540.142 best solution, best possible -581.196 (95.17 seconds) After 4100 nodes, 1178 on tree, -540.142 best solution, best possible -581.196 (96.16 seconds) After 4200 nodes, 1180 on tree, -540.142 best solution, best possible -581.196 (96.92 seconds) After 4300 nodes, 1201 on tree, -540.142 best solution, best possible -581.196 (97.89 seconds) After 4400 nodes, 1220 on tree, -540.142 best solution, best possible -581.196 (98.82 seconds) After 4500 nodes, 1231 on tree, -540.142 best solution, best possible -581.196 (99.61 seconds) After 4600 nodes, 1253 on tree, -540.142 best solution, best possible -581.196 (100.59 seconds) After 4700 nodes, 1261 on tree, -540.142 best solution, best possible -581.196 (101.25 seconds) After 4800 nodes, 1294 on tree, -540.142 best solution, best possible -581.196 (102.31 seconds) After 4900 nodes, 1328 on tree, -540.142 best solution, best possible -581.196 (103.50 seconds) After 5000 nodes, 1369 on tree, -540.142 best solution, best possible -581.196 (104.75 seconds) After 5100 nodes, 1398 on tree, -540.142 best solution, best possible -581.196 (105.57 seconds) Integer solution of -544.732 found after 139757 iterations and 5151 nodes (106.05 seconds) Full problem 3217 rows 5209 columns, reduced to 175 rows 227 columns After 5200 nodes, 760 on tree, -544.732 best solution, best possible -581.196 (107.25 seconds) After 5300 nodes, 763 on tree, -544.732 best solution, best possible -581.196 (108.08 seconds) After 5400 nodes, 765 on tree, -544.732 best solution, best possible -581.196 (108.75 seconds) After 5500 nodes, 765 on tree, -544.732 best solution, best possible -581.196 (109.48 seconds) After 5600 nodes, 769 on tree, -544.732 best solution, best possible -581.196 (110.22 seconds) After 5700 nodes, 775 on tree, -544.732 best solution, best possible -581.196 (111.01 seconds) After 5800 nodes, 778 on tree, -544.732 best solution, best possible -581.196 (111.62 seconds) After 5900 nodes, 782 on tree, -544.732 best solution, best possible -581.196 (112.44 seconds) After 6000 nodes, 784 on tree, -544.732 best solution, best possible -581.196 (113.12 seconds) After 6100 nodes, 786 on tree, -544.732 best solution, best possible -581.196 (113.82 seconds) After 6200 nodes, 791 on tree, -544.732 best solution, best possible -581.196 (114.89 seconds) After 6300 nodes, 805 on tree, -544.732 best solution, best possible -581.196 (115.71 seconds) After 6400 nodes, 836 on tree, -544.732 best solution, best possible -581.196 (116.50 seconds) Integer solution of -545.732 found after 150504 iterations and 6484 nodes (117.10 seconds) Full problem 3217 rows 5209 columns, reduced to 186 rows 235 columns After 6500 nodes, 826 on tree, -545.732 best solution, best possible -580.992 (118.97 seconds) After 6600 nodes, 874 on tree, -545.732 best solution, best possible -576.743 (123.44 seconds) After 6700 nodes, 926 on tree, -545.732 best solution, best possible -573.517 (127.78 seconds) After 6800 nodes, 976 on tree, -545.732 best solution, best possible -573.448 (130.93 seconds) After 6900 nodes, 1025 on tree, -545.732 best solution, best possible -573.321 (134.14 seconds) After 7000 nodes, 1072 on tree, -545.732 best solution, best possible -572.7 (137.03 seconds) After 7100 nodes, 1130 on tree, -545.732 best solution, best possible -572.29 (140.69 seconds) After 7200 nodes, 1184 on tree, -545.732 best solution, best possible -572.29 (143.81 seconds) After 7300 nodes, 1221 on tree, -545.732 best solution, best possible -572.29 (147.24 seconds) After 7400 nodes, 1276 on tree, -545.732 best solution, best possible -572.29 (151.03 seconds) After 7500 nodes, 1320 on tree, -545.732 best solution, best possible -572.088 (154.00 seconds) After 7600 nodes, 1375 on tree, -545.732 best solution, best possible -571.95 (156.81 seconds) After 7700 nodes, 1429 on tree, -545.732 best solution, best possible -571.95 (160.07 seconds) After 7800 nodes, 1479 on tree, -545.732 best solution, best possible -571.95 (163.37 seconds) After 7900 nodes, 1535 on tree, -545.732 best solution, best possible -571.95 (166.36 seconds) After 8000 nodes, 1590 on tree, -545.732 best solution, best possible -571.95 (169.25 seconds) After 8100 nodes, 1642 on tree, -545.732 best solution, best possible -571.95 (172.09 seconds) After 8200 nodes, 1699 on tree, -545.732 best solution, best possible -571.95 (175.06 seconds) After 8300 nodes, 1749 on tree, -545.732 best solution, best possible -571.95 (178.28 seconds) After 8400 nodes, 1805 on tree, -545.732 best solution, best possible -571.95 (181.20 seconds) After 8500 nodes, 1853 on tree, -545.732 best solution, best possible -571.95 (184.36 seconds) After 8600 nodes, 1903 on tree, -545.732 best solution, best possible -571.95 (187.30 seconds) After 8700 nodes, 1952 on tree, -545.732 best solution, best possible -571.95 (190.51 seconds) After 8800 nodes, 2002 on tree, -545.732 best solution, best possible -571.95 (193.62 seconds) After 8900 nodes, 2056 on tree, -545.732 best solution, best possible -571.95 (196.37 seconds) After 9000 nodes, 2109 on tree, -545.732 best solution, best possible -571.95 (199.26 seconds) After 9100 nodes, 2154 on tree, -545.732 best solution, best possible -571.95 (201.95 seconds) After 9200 nodes, 2210 on tree, -545.732 best solution, best possible -571.95 (204.56 seconds) After 9300 nodes, 2259 on tree, -545.732 best solution, best possible -571.95 (207.60 seconds) After 9400 nodes, 2311 on tree, -545.732 best solution, best possible -571.95 (210.33 seconds) After 9500 nodes, 2363 on tree, -545.732 best solution, best possible -571.95 (213.30 seconds) After 9600 nodes, 2416 on tree, -545.732 best solution, best possible -571.95 (216.02 seconds) After 9700 nodes, 2472 on tree, -545.732 best solution, best possible -571.95 (218.93 seconds) After 9800 nodes, 2530 on tree, -545.732 best solution, best possible -571.95 (221.85 seconds) After 9900 nodes, 2581 on tree, -545.732 best solution, best possible -571.95 (224.65 seconds) After 10000 nodes, 2628 on tree, -545.732 best solution, best possible -571.95 (227.40 seconds) After 10100 nodes, 2681 on tree, -545.732 best solution, best possible -571.95 (230.29 seconds) After 10200 nodes, 2734 on tree, -545.732 best solution, best possible -571.95 (233.24 seconds) After 10300 nodes, 2786 on tree, -545.732 best solution, best possible -571.95 (236.15 seconds) After 10400 nodes, 2831 on tree, -545.732 best solution, best possible -571.95 (239.10 seconds) After 10500 nodes, 2881 on tree, -545.732 best solution, best possible -571.95 (241.74 seconds) After 10600 nodes, 2933 on tree, -545.732 best solution, best possible -571.95 (244.14 seconds) After 10700 nodes, 2983 on tree, -545.732 best solution, best possible -571.95 (247.25 seconds) After 10800 nodes, 3030 on tree, -545.732 best solution, best possible -571.95 (250.46 seconds) After 10900 nodes, 3079 on tree, -545.732 best solution, best possible -571.95 (253.18 seconds) After 11000 nodes, 3134 on tree, -545.732 best solution, best possible -571.95 (255.52 seconds) After 11100 nodes, 3188 on tree, -545.732 best solution, best possible -571.95 (257.86 seconds) After 11200 nodes, 3239 on tree, -545.732 best solution, best possible -571.95 (260.65 seconds) After 11300 nodes, 3286 on tree, -545.732 best solution, best possible -571.95 (263.61 seconds) After 11400 nodes, 3336 on tree, -545.732 best solution, best possible -571.95 (266.06 seconds) After 11500 nodes, 3384 on tree, -545.732 best solution, best possible -571.95 (268.39 seconds) After 11600 nodes, 3435 on tree, -545.732 best solution, best possible -571.95 (270.61 seconds) After 11700 nodes, 3487 on tree, -545.732 best solution, best possible -571.95 (273.37 seconds) After 11800 nodes, 3535 on tree, -545.732 best solution, best possible -571.95 (276.34 seconds) After 11900 nodes, 3584 on tree, -545.732 best solution, best possible -571.95 (278.81 seconds) After 12000 nodes, 3641 on tree, -545.732 best solution, best possible -571.95 (281.45 seconds) After 12100 nodes, 3689 on tree, -545.732 best solution, best possible -571.95 (283.71 seconds) After 12200 nodes, 3739 on tree, -545.732 best solution, best possible -571.95 (286.23 seconds) After 12300 nodes, 3791 on tree, -545.732 best solution, best possible -571.95 (289.01 seconds) After 12400 nodes, 3836 on tree, -545.732 best solution, best possible -571.95 (291.83 seconds) After 12500 nodes, 3891 on tree, -545.732 best solution, best possible -571.95 (294.38 seconds) After 12600 nodes, 3946 on tree, -545.732 best solution, best possible -571.95 (297.19 seconds) After 12700 nodes, 3999 on tree, -545.732 best solution, best possible -571.95 (299.65 seconds) After 12800 nodes, 4051 on tree, -545.732 best solution, best possible -571.95 (302.13 seconds) After 12900 nodes, 4102 on tree, -545.732 best solution, best possible -571.95 (304.79 seconds) After 13000 nodes, 4152 on tree, -545.732 best solution, best possible -571.95 (307.96 seconds) After 13100 nodes, 4199 on tree, -545.732 best solution, best possible -571.95 (310.67 seconds) After 13200 nodes, 4245 on tree, -545.732 best solution, best possible -571.95 (313.13 seconds) After 13300 nodes, 4296 on tree, -545.732 best solution, best possible -571.95 (315.72 seconds) After 13400 nodes, 4336 on tree, -545.732 best solution, best possible -571.95 (317.95 seconds) After 13500 nodes, 4385 on tree, -545.732 best solution, best possible -571.95 (320.47 seconds) After 13600 nodes, 4430 on tree, -545.732 best solution, best possible -571.95 (322.82 seconds) After 13700 nodes, 4472 on tree, -545.732 best solution, best possible -571.95 (325.02 seconds) After 13800 nodes, 4519 on tree, -545.732 best solution, best possible -571.95 (327.30 seconds) After 13900 nodes, 4563 on tree, -545.732 best solution, best possible -571.95 (329.46 seconds) After 14000 nodes, 4612 on tree, -545.732 best solution, best possible -571.95 (332.08 seconds) After 14100 nodes, 4661 on tree, -545.732 best solution, best possible -571.95 (334.69 seconds) After 14200 nodes, 4713 on tree, -545.732 best solution, best possible -571.95 (337.30 seconds) After 14300 nodes, 4765 on tree, -545.732 best solution, best possible -571.95 (340.04 seconds) After 14400 nodes, 4817 on tree, -545.732 best solution, best possible -571.95 (342.65 seconds) After 14500 nodes, 4867 on tree, -545.732 best solution, best possible -571.95 (345.32 seconds) After 14600 nodes, 4922 on tree, -545.732 best solution, best possible -571.95 (347.84 seconds) After 14700 nodes, 4966 on tree, -545.732 best solution, best possible -571.95 (350.93 seconds) After 14800 nodes, 5020 on tree, -545.732 best solution, best possible -571.95 (353.50 seconds) After 14900 nodes, 5070 on tree, -545.732 best solution, best possible -571.95 (356.35 seconds) After 15000 nodes, 5126 on tree, -545.732 best solution, best possible -571.95 (358.98 seconds) After 15100 nodes, 5179 on tree, -545.732 best solution, best possible -571.95 (361.77 seconds) After 15200 nodes, 5236 on tree, -545.732 best solution, best possible -571.95 (364.35 seconds) After 15300 nodes, 5291 on tree, -545.732 best solution, best possible -571.95 (367.09 seconds) After 15400 nodes, 5340 on tree, -545.732 best solution, best possible -571.95 (369.46 seconds) After 15500 nodes, 5385 on tree, -545.732 best solution, best possible -571.95 (372.56 seconds) After 15600 nodes, 5437 on tree, -545.732 best solution, best possible -571.95 (375.14 seconds) After 15700 nodes, 5487 on tree, -545.732 best solution, best possible -571.95 (378.12 seconds) After 15800 nodes, 5540 on tree, -545.732 best solution, best possible -571.95 (380.73 seconds) After 15900 nodes, 5591 on tree, -545.732 best solution, best possible -571.95 (383.43 seconds) After 16000 nodes, 5644 on tree, -545.732 best solution, best possible -571.95 (386.10 seconds) After 16100 nodes, 5698 on tree, -545.732 best solution, best possible -571.95 (388.62 seconds) After 16200 nodes, 5745 on tree, -545.732 best solution, best possible -571.95 (391.02 seconds) After 16300 nodes, 5796 on tree, -545.732 best solution, best possible -571.95 (393.26 seconds) After 16400 nodes, 5841 on tree, -545.732 best solution, best possible -571.95 (396.07 seconds) After 16500 nodes, 5900 on tree, -545.732 best solution, best possible -571.95 (398.79 seconds) After 16600 nodes, 5951 on tree, -545.732 best solution, best possible -571.95 (401.73 seconds) After 16700 nodes, 6006 on tree, -545.732 best solution, best possible -571.95 (404.40 seconds) After 16800 nodes, 6059 on tree, -545.732 best solution, best possible -571.95 (406.78 seconds) After 16900 nodes, 6109 on tree, -545.732 best solution, best possible -571.95 (409.19 seconds) After 17000 nodes, 6166 on tree, -545.732 best solution, best possible -571.95 (411.59 seconds) After 17100 nodes, 6211 on tree, -545.732 best solution, best possible -571.95 (414.01 seconds) After 17200 nodes, 6256 on tree, -545.732 best solution, best possible -571.95 (416.11 seconds) After 17300 nodes, 6302 on tree, -545.732 best solution, best possible -571.95 (418.28 seconds) After 17400 nodes, 6348 on tree, -545.732 best solution, best possible -571.95 (420.70 seconds) After 17500 nodes, 6390 on tree, -545.732 best solution, best possible -571.95 (422.89 seconds) After 17600 nodes, 6436 on tree, -545.732 best solution, best possible -571.95 (425.01 seconds) After 17700 nodes, 6486 on tree, -545.732 best solution, best possible -571.95 (427.77 seconds) After 17800 nodes, 6530 on tree, -545.732 best solution, best possible -571.95 (429.61 seconds) After 17900 nodes, 6574 on tree, -545.732 best solution, best possible -571.95 (431.25 seconds) After 18000 nodes, 6616 on tree, -545.732 best solution, best possible -571.95 (432.66 seconds) After 18100 nodes, 6664 on tree, -545.732 best solution, best possible -571.95 (435.13 seconds) After 18200 nodes, 6717 on tree, -545.732 best solution, best possible -571.95 (437.44 seconds) After 18300 nodes, 6768 on tree, -545.732 best solution, best possible -571.95 (440.05 seconds) After 18400 nodes, 6821 on tree, -545.732 best solution, best possible -571.95 (442.76 seconds) After 18500 nodes, 6877 on tree, -545.732 best solution, best possible -571.95 (445.42 seconds) After 18600 nodes, 6934 on tree, -545.732 best solution, best possible -571.95 (448.45 seconds) After 18700 nodes, 6977 on tree, -545.732 best solution, best possible -571.95 (450.82 seconds) After 18800 nodes, 7025 on tree, -545.732 best solution, best possible -571.95 (453.31 seconds) After 18900 nodes, 7078 on tree, -545.732 best solution, best possible -571.95 (455.70 seconds) After 19000 nodes, 7131 on tree, -545.732 best solution, best possible -571.95 (458.16 seconds) After 19100 nodes, 7182 on tree, -545.732 best solution, best possible -571.95 (460.55 seconds) After 19200 nodes, 7234 on tree, -545.732 best solution, best possible -571.95 (462.79 seconds) After 19300 nodes, 7289 on tree, -545.732 best solution, best possible -571.95 (464.95 seconds) After 19400 nodes, 7336 on tree, -545.732 best solution, best possible -571.95 (467.27 seconds) After 19500 nodes, 7380 on tree, -545.732 best solution, best possible -571.95 (469.84 seconds) After 19600 nodes, 7432 on tree, -545.732 best solution, best possible -571.95 (472.51 seconds) After 19700 nodes, 7483 on tree, -545.732 best solution, best possible -571.95 (475.77 seconds) After 19800 nodes, 7528 on tree, -545.732 best solution, best possible -571.95 (478.68 seconds) After 19900 nodes, 7579 on tree, -545.732 best solution, best possible -571.95 (480.98 seconds) After 20000 nodes, 7628 on tree, -545.732 best solution, best possible -571.95 (483.40 seconds) After 20100 nodes, 7674 on tree, -545.732 best solution, best possible -571.95 (485.66 seconds) After 20200 nodes, 7724 on tree, -545.732 best solution, best possible -571.95 (488.12 seconds) After 20300 nodes, 7768 on tree, -545.732 best solution, best possible -571.95 (490.53 seconds) After 20400 nodes, 7824 on tree, -545.732 best solution, best possible -571.95 (492.81 seconds) After 20500 nodes, 7883 on tree, -545.732 best solution, best possible -571.95 (495.08 seconds) After 20600 nodes, 7938 on tree, -545.732 best solution, best possible -571.95 (497.61 seconds) After 20700 nodes, 7993 on tree, -545.732 best solution, best possible -571.95 (500.22 seconds) After 20800 nodes, 8043 on tree, -545.732 best solution, best possible -571.95 (503.04 seconds) After 20900 nodes, 8100 on tree, -545.732 best solution, best possible -571.95 (505.62 seconds) After 21000 nodes, 8152 on tree, -545.732 best solution, best possible -571.95 (508.94 seconds) After 21100 nodes, 8202 on tree, -545.732 best solution, best possible -571.95 (510.75 seconds) After 21200 nodes, 8245 on tree, -545.732 best solution, best possible -571.95 (512.21 seconds) After 21300 nodes, 8286 on tree, -545.732 best solution, best possible -571.95 (513.88 seconds) After 21400 nodes, 8328 on tree, -545.732 best solution, best possible -571.95 (515.60 seconds) After 21500 nodes, 8372 on tree, -545.732 best solution, best possible -571.95 (517.13 seconds) After 21600 nodes, 8414 on tree, -545.732 best solution, best possible -571.95 (518.88 seconds) After 21700 nodes, 8460 on tree, -545.732 best solution, best possible -571.95 (520.89 seconds) After 21800 nodes, 8504 on tree, -545.732 best solution, best possible -571.95 (522.71 seconds) After 21900 nodes, 8542 on tree, -545.732 best solution, best possible -571.95 (524.12 seconds) After 22000 nodes, 8585 on tree, -545.732 best solution, best possible -571.95 (525.78 seconds) After 22100 nodes, 8635 on tree, -545.732 best solution, best possible -571.95 (528.61 seconds) After 22200 nodes, 8687 on tree, -545.732 best solution, best possible -571.95 (531.12 seconds) After 22300 nodes, 8736 on tree, -545.732 best solution, best possible -571.95 (533.69 seconds) After 22400 nodes, 8790 on tree, -545.732 best solution, best possible -571.95 (536.34 seconds) After 22500 nodes, 8844 on tree, -545.732 best solution, best possible -571.95 (539.08 seconds) After 22600 nodes, 8897 on tree, -545.732 best solution, best possible -571.95 (541.82 seconds) After 22700 nodes, 8955 on tree, -545.732 best solution, best possible -571.95 (544.18 seconds) After 22800 nodes, 9015 on tree, -545.732 best solution, best possible -571.95 (546.52 seconds) After 22900 nodes, 9075 on tree, -545.732 best solution, best possible -571.95 (549.05 seconds) After 23000 nodes, 9130 on tree, -545.732 best solution, best possible -571.95 (551.58 seconds) After 23100 nodes, 9187 on tree, -545.732 best solution, best possible -571.95 (554.25 seconds) After 23200 nodes, 9239 on tree, -545.732 best solution, best possible -571.95 (557.08 seconds) After 23300 nodes, 9294 on tree, -545.732 best solution, best possible -571.95 (559.79 seconds) After 23400 nodes, 9350 on tree, -545.732 best solution, best possible -571.95 (562.46 seconds) After 23500 nodes, 9405 on tree, -545.732 best solution, best possible -571.95 (565.14 seconds) After 23600 nodes, 9465 on tree, -545.732 best solution, best possible -571.95 (567.78 seconds) After 23700 nodes, 9521 on tree, -545.732 best solution, best possible -571.95 (570.45 seconds) After 23800 nodes, 9577 on tree, -545.732 best solution, best possible -571.95 (572.88 seconds) After 23900 nodes, 9636 on tree, -545.732 best solution, best possible -571.95 (575.46 seconds) After 24000 nodes, 9692 on tree, -545.732 best solution, best possible -571.95 (578.10 seconds) After 24100 nodes, 9740 on tree, -545.732 best solution, best possible -571.95 (580.87 seconds) After 24200 nodes, 9801 on tree, -545.732 best solution, best possible -571.95 (583.37 seconds) After 24300 nodes, 9858 on tree, -545.732 best solution, best possible -571.95 (586.02 seconds) After 24400 nodes, 9915 on tree, -545.732 best solution, best possible -571.95 (588.70 seconds) After 24500 nodes, 9974 on tree, -545.732 best solution, best possible -571.95 (591.34 seconds) After 24600 nodes, 10035 on tree, -545.732 best solution, best possible -571.95 (594.07 seconds) After 24700 nodes, 10093 on tree, -545.732 best solution, best possible -571.95 (596.76 seconds) After 24800 nodes, 10148 on tree, -545.732 best solution, best possible -571.95 (599.41 seconds) After 24900 nodes, 10202 on tree, -545.732 best solution, best possible -571.95 (602.22 seconds) After 25000 nodes, 10261 on tree, -545.732 best solution, best possible -571.95 (604.90 seconds) After 25100 nodes, 10267 on tree, -545.732 best solution, best possible -571.95 (605.67 seconds) After 25200 nodes, 10275 on tree, -545.732 best solution, best possible -571.95 (606.38 seconds) After 25300 nodes, 10271 on tree, -545.732 best solution, best possible -571.95 (607.03 seconds) After 25400 nodes, 10279 on tree, -545.732 best solution, best possible -571.95 (607.76 seconds) After 25500 nodes, 10266 on tree, -545.732 best solution, best possible -571.95 (608.43 seconds) After 25600 nodes, 10271 on tree, -545.732 best solution, best possible -571.95 (609.29 seconds) After 25700 nodes, 10274 on tree, -545.732 best solution, best possible -571.95 (609.95 seconds) After 25800 nodes, 10264 on tree, -545.732 best solution, best possible -571.95 (610.89 seconds) After 25900 nodes, 10267 on tree, -545.732 best solution, best possible -571.95 (611.97 seconds) After 26000 nodes, 10268 on tree, -545.732 best solution, best possible -571.95 (612.90 seconds) After 26100 nodes, 10276 on tree, -545.732 best solution, best possible -571.95 (613.87 seconds) After 26200 nodes, 10277 on tree, -545.732 best solution, best possible -571.95 (614.84 seconds) After 26300 nodes, 10279 on tree, -545.732 best solution, best possible -571.95 (616.28 seconds) After 26400 nodes, 10280 on tree, -545.732 best solution, best possible -571.95 (617.37 seconds) After 26500 nodes, 10271 on tree, -545.732 best solution, best possible -571.95 (618.02 seconds) After 26600 nodes, 10270 on tree, -545.732 best solution, best possible -571.95 (618.72 seconds) After 26700 nodes, 10274 on tree, -545.732 best solution, best possible -571.95 (619.49 seconds) After 26800 nodes, 10273 on tree, -545.732 best solution, best possible -571.95 (620.03 seconds) After 26900 nodes, 10278 on tree, -545.732 best solution, best possible -571.95 (620.67 seconds) After 27000 nodes, 10267 on tree, -545.732 best solution, best possible -571.95 (621.37 seconds) After 27100 nodes, 10267 on tree, -545.732 best solution, best possible -571.95 (621.91 seconds) After 27200 nodes, 10267 on tree, -545.732 best solution, best possible -571.95 (622.63 seconds) After 27300 nodes, 10266 on tree, -545.732 best solution, best possible -571.95 (623.32 seconds) After 27400 nodes, 10266 on tree, -545.732 best solution, best possible -571.95 (624.10 seconds) After 27500 nodes, 10267 on tree, -545.732 best solution, best possible -571.95 (624.78 seconds) After 27600 nodes, 10269 on tree, -545.732 best solution, best possible -571.95 (625.46 seconds) After 27700 nodes, 10268 on tree, -545.732 best solution, best possible -571.95 (626.09 seconds) After 27800 nodes, 10278 on tree, -545.732 best solution, best possible -571.95 (626.78 seconds) After 27900 nodes, 10285 on tree, -545.732 best solution, best possible -571.95 (627.73 seconds) After 28000 nodes, 10287 on tree, -545.732 best solution, best possible -571.95 (628.60 seconds) After 28100 nodes, 10282 on tree, -545.732 best solution, best possible -571.95 (629.51 seconds) After 28200 nodes, 10280 on tree, -545.732 best solution, best possible -571.95 (630.32 seconds) After 28300 nodes, 10274 on tree, -545.732 best solution, best possible -571.95 (630.95 seconds) After 28400 nodes, 10270 on tree, -545.732 best solution, best possible -571.95 (631.49 seconds) After 28500 nodes, 10290 on tree, -545.732 best solution, best possible -571.95 (632.08 seconds) After 28600 nodes, 10284 on tree, -545.732 best solution, best possible -571.95 (632.73 seconds) After 28700 nodes, 10266 on tree, -545.732 best solution, best possible -571.95 (633.25 seconds) After 28800 nodes, 10277 on tree, -545.732 best solution, best possible -571.95 (633.91 seconds) After 28900 nodes, 10272 on tree, -545.732 best solution, best possible -571.95 (634.50 seconds) After 29000 nodes, 10263 on tree, -545.732 best solution, best possible -571.95 (635.16 seconds) After 29100 nodes, 10266 on tree, -545.732 best solution, best possible -571.95 (635.70 seconds) After 29200 nodes, 10260 on tree, -545.732 best solution, best possible -571.95 (636.29 seconds) After 29300 nodes, 10264 on tree, -545.732 best solution, best possible -571.95 (636.88 seconds) After 29400 nodes, 10266 on tree, -545.732 best solution, best possible -571.95 (637.55 seconds) After 29500 nodes, 10266 on tree, -545.732 best solution, best possible -571.95 (638.19 seconds) After 29600 nodes, 10263 on tree, -545.732 best solution, best possible -571.95 (638.83 seconds) After 29700 nodes, 10261 on tree, -545.732 best solution, best possible -571.95 (639.47 seconds) After 29800 nodes, 10262 on tree, -545.732 best solution, best possible -571.95 (640.04 seconds) After 29900 nodes, 10267 on tree, -545.732 best solution, best possible -571.95 (640.72 seconds) After 30000 nodes, 10283 on tree, -545.732 best solution, best possible -571.95 (641.40 seconds) After 30100 nodes, 10283 on tree, -545.732 best solution, best possible -571.95 (642.02 seconds) After 30200 nodes, 10274 on tree, -545.732 best solution, best possible -571.95 (642.60 seconds) After 30300 nodes, 10273 on tree, -545.732 best solution, best possible -571.95 (643.24 seconds) After 30400 nodes, 10280 on tree, -545.732 best solution, best possible -571.95 (643.88 seconds) After 30500 nodes, 10281 on tree, -545.732 best solution, best possible -571.95 (644.54 seconds) After 30600 nodes, 10295 on tree, -545.732 best solution, best possible -571.95 (645.38 seconds) After 30700 nodes, 10284 on tree, -545.732 best solution, best possible -571.95 (646.10 seconds) After 30800 nodes, 10276 on tree, -545.732 best solution, best possible -571.95 (646.60 seconds) After 30900 nodes, 10265 on tree, -545.732 best solution, best possible -571.95 (647.23 seconds) After 31000 nodes, 10294 on tree, -545.732 best solution, best possible -571.95 (647.86 seconds) After 31100 nodes, 10275 on tree, -545.732 best solution, best possible -571.95 (648.44 seconds) After 31200 nodes, 10261 on tree, -545.732 best solution, best possible -571.95 (648.90 seconds) After 31300 nodes, 10263 on tree, -545.732 best solution, best possible -571.95 (649.41 seconds) After 31400 nodes, 10257 on tree, -545.732 best solution, best possible -571.95 (649.95 seconds) After 31500 nodes, 10261 on tree, -545.732 best solution, best possible -571.95 (650.52 seconds) After 31600 nodes, 10263 on tree, -545.732 best solution, best possible -571.95 (651.07 seconds) After 31700 nodes, 10259 on tree, -545.732 best solution, best possible -571.95 (651.62 seconds) After 31800 nodes, 10261 on tree, -545.732 best solution, best possible -571.95 (652.34 seconds) After 31900 nodes, 10256 on tree, -545.732 best solution, best possible -571.95 (653.04 seconds) After 32000 nodes, 10255 on tree, -545.732 best solution, best possible -571.95 (653.74 seconds) After 32100 nodes, 10260 on tree, -545.732 best solution, best possible -571.95 (654.32 seconds) After 32200 nodes, 10294 on tree, -545.732 best solution, best possible -571.95 (655.03 seconds) After 32300 nodes, 10271 on tree, -545.732 best solution, best possible -571.95 (655.60 seconds) After 32400 nodes, 10269 on tree, -545.732 best solution, best possible -571.95 (656.29 seconds) After 32500 nodes, 10294 on tree, -545.732 best solution, best possible -571.95 (657.11 seconds) After 32600 nodes, 10281 on tree, -545.732 best solution, best possible -571.95 (657.77 seconds) After 32700 nodes, 10265 on tree, -545.732 best solution, best possible -571.95 (658.46 seconds) After 32800 nodes, 10261 on tree, -545.732 best solution, best possible -571.95 (659.06 seconds) After 32900 nodes, 10291 on tree, -545.732 best solution, best possible -571.95 (659.67 seconds) After 33000 nodes, 10271 on tree, -545.732 best solution, best possible -571.95 (660.22 seconds) After 33100 nodes, 10250 on tree, -545.732 best solution, best possible -571.95 (660.69 seconds) After 33200 nodes, 10266 on tree, -545.732 best solution, best possible -571.95 (661.38 seconds) After 33300 nodes, 10263 on tree, -545.732 best solution, best possible -571.95 (662.02 seconds) After 33400 nodes, 10258 on tree, -545.732 best solution, best possible -571.95 (662.59 seconds) After 33500 nodes, 10268 on tree, -545.732 best solution, best possible -571.95 (663.18 seconds) After 33600 nodes, 10267 on tree, -545.732 best solution, best possible -571.95 (663.77 seconds) After 33700 nodes, 10267 on tree, -545.732 best solution, best possible -571.95 (664.34 seconds) After 33800 nodes, 10266 on tree, -545.732 best solution, best possible -571.95 (664.93 seconds) After 33900 nodes, 10275 on tree, -545.732 best solution, best possible -571.95 (665.55 seconds) After 34000 nodes, 10275 on tree, -545.732 best solution, best possible -571.95 (666.13 seconds) After 34100 nodes, 10290 on tree, -545.732 best solution, best possible -571.95 (666.74 seconds) After 34200 nodes, 10281 on tree, -545.732 best solution, best possible -571.95 (667.21 seconds) After 34300 nodes, 10281 on tree, -545.732 best solution, best possible -571.95 (667.78 seconds) After 34400 nodes, 10308 on tree, -545.732 best solution, best possible -571.95 (668.37 seconds) After 34500 nodes, 10291 on tree, -545.732 best solution, best possible -571.95 (668.94 seconds) After 34600 nodes, 10315 on tree, -545.732 best solution, best possible -571.95 (669.56 seconds) After 34700 nodes, 10298 on tree, -545.732 best solution, best possible -571.95 (670.08 seconds) After 34800 nodes, 10278 on tree, -545.732 best solution, best possible -571.95 (670.61 seconds) After 34900 nodes, 10268 on tree, -545.732 best solution, best possible -571.95 (671.16 seconds) After 35000 nodes, 10263 on tree, -545.732 best solution, best possible -571.95 (671.72 seconds) After 35100 nodes, 10260 on tree, -545.732 best solution, best possible -571.95 (672.31 seconds) After 35200 nodes, 10256 on tree, -545.732 best solution, best possible -571.95 (672.87 seconds) After 35300 nodes, 10255 on tree, -545.732 best solution, best possible -571.95 (673.44 seconds) After 35400 nodes, 10262 on tree, -545.732 best solution, best possible -571.95 (673.99 seconds) After 35500 nodes, 10263 on tree, -545.732 best solution, best possible -571.95 (674.52 seconds) After 35600 nodes, 10257 on tree, -545.732 best solution, best possible -571.95 (675.06 seconds) After 35700 nodes, 10253 on tree, -545.732 best solution, best possible -571.95 (675.63 seconds) After 35800 nodes, 10252 on tree, -545.732 best solution, best possible -571.95 (676.28 seconds) After 35900 nodes, 10253 on tree, -545.732 best solution, best possible -571.95 (676.89 seconds) After 36000 nodes, 10260 on tree, -545.732 best solution, best possible -571.95 (677.47 seconds) After 36100 nodes, 10263 on tree, -545.732 best solution, best possible -571.95 (678.05 seconds) After 36200 nodes, 10253 on tree, -545.732 best solution, best possible -571.95 (678.61 seconds) After 36300 nodes, 10260 on tree, -545.732 best solution, best possible -571.95 (679.17 seconds) After 36400 nodes, 10259 on tree, -545.732 best solution, best possible -571.95 (679.73 seconds) After 36500 nodes, 10293 on tree, -545.732 best solution, best possible -571.95 (680.32 seconds) After 36600 nodes, 10272 on tree, -545.732 best solution, best possible -571.95 (680.80 seconds) After 36700 nodes, 10266 on tree, -545.732 best solution, best possible -571.95 (681.34 seconds) After 36800 nodes, 10271 on tree, -545.732 best solution, best possible -571.95 (681.89 seconds) After 36900 nodes, 10300 on tree, -545.732 best solution, best possible -571.95 (682.49 seconds) After 37000 nodes, 10283 on tree, -545.732 best solution, best possible -571.95 (683.03 seconds) After 37100 nodes, 10269 on tree, -545.732 best solution, best possible -571.95 (683.55 seconds) After 37200 nodes, 10273 on tree, -545.732 best solution, best possible -571.95 (684.11 seconds) After 37300 nodes, 10299 on tree, -545.732 best solution, best possible -571.95 (684.68 seconds) After 37400 nodes, 10276 on tree, -545.732 best solution, best possible -571.95 (685.18 seconds) After 37500 nodes, 10264 on tree, -545.732 best solution, best possible -571.95 (685.72 seconds) After 37600 nodes, 10258 on tree, -545.732 best solution, best possible -571.95 (686.25 seconds) After 37700 nodes, 10261 on tree, -545.732 best solution, best possible -571.95 (686.83 seconds) After 37800 nodes, 10249 on tree, -545.732 best solution, best possible -571.95 (687.43 seconds) After 37900 nodes, 10263 on tree, -545.732 best solution, best possible -571.95 (688.00 seconds) After 38000 nodes, 10258 on tree, -545.732 best solution, best possible -571.95 (688.59 seconds) After 38100 nodes, 10256 on tree, -545.732 best solution, best possible -571.95 (689.15 seconds) After 38200 nodes, 10253 on tree, -545.732 best solution, best possible -571.95 (689.75 seconds) After 38300 nodes, 10256 on tree, -545.732 best solution, best possible -571.95 (690.31 seconds) After 38400 nodes, 10262 on tree, -545.732 best solution, best possible -571.95 (690.90 seconds) After 38500 nodes, 10264 on tree, -545.732 best solution, best possible -571.95 (691.49 seconds) After 38600 nodes, 10269 on tree, -545.732 best solution, best possible -571.95 (692.08 seconds) After 38700 nodes, 10287 on tree, -545.732 best solution, best possible -571.95 (692.68 seconds) After 38800 nodes, 10284 on tree, -545.732 best solution, best possible -571.95 (693.32 seconds) After 38900 nodes, 10266 on tree, -545.732 best solution, best possible -571.95 (693.83 seconds) After 39000 nodes, 10278 on tree, -545.732 best solution, best possible -571.95 (694.39 seconds) After 39100 nodes, 10296 on tree, -545.732 best solution, best possible -571.95 (694.92 seconds) After 39200 nodes, 10284 on tree, -545.732 best solution, best possible -571.95 (695.44 seconds) After 39300 nodes, 10275 on tree, -545.732 best solution, best possible -571.95 (695.98 seconds) After 39400 nodes, 10262 on tree, -545.732 best solution, best possible -571.95 (696.48 seconds) After 39500 nodes, 10290 on tree, -545.732 best solution, best possible -571.95 (697.03 seconds) After 39600 nodes, 10292 on tree, -545.732 best solution, best possible -571.95 (697.53 seconds) After 39700 nodes, 10263 on tree, -545.732 best solution, best possible -571.95 (697.95 seconds) After 39800 nodes, 10258 on tree, -545.732 best solution, best possible -571.95 (698.51 seconds) After 39900 nodes, 10257 on tree, -545.732 best solution, best possible -571.95 (699.10 seconds) After 40000 nodes, 10260 on tree, -545.732 best solution, best possible -571.95 (699.68 seconds) After 40100 nodes, 10266 on tree, -545.732 best solution, best possible -571.95 (700.28 seconds) After 40200 nodes, 10262 on tree, -545.732 best solution, best possible -571.95 (700.84 seconds) After 40300 nodes, 10268 on tree, -545.732 best solution, best possible -571.95 (701.42 seconds) After 40400 nodes, 10269 on tree, -545.732 best solution, best possible -571.95 (702.00 seconds) After 40500 nodes, 10315 on tree, -545.732 best solution, best possible -571.95 (702.62 seconds) After 40600 nodes, 10270 on tree, -545.732 best solution, best possible -571.95 (703.04 seconds) After 40700 nodes, 10280 on tree, -545.732 best solution, best possible -571.95 (703.59 seconds) After 40800 nodes, 10291 on tree, -545.732 best solution, best possible -571.95 (704.16 seconds) After 40900 nodes, 10301 on tree, -545.732 best solution, best possible -571.95 (704.67 seconds) After 41000 nodes, 10290 on tree, -545.732 best solution, best possible -571.95 (705.16 seconds) After 41100 nodes, 10277 on tree, -545.732 best solution, best possible -571.95 (705.67 seconds) After 41200 nodes, 10271 on tree, -545.732 best solution, best possible -571.95 (706.24 seconds) After 41300 nodes, 10262 on tree, -545.732 best solution, best possible -571.95 (706.78 seconds) After 41400 nodes, 10336 on tree, -545.732 best solution, best possible -571.95 (707.40 seconds) After 41500 nodes, 10280 on tree, -545.732 best solution, best possible -571.95 (707.81 seconds) After 41600 nodes, 10264 on tree, -545.732 best solution, best possible -571.95 (708.29 seconds) After 41700 nodes, 10258 on tree, -545.732 best solution, best possible -571.95 (708.85 seconds) After 41800 nodes, 10280 on tree, -545.732 best solution, best possible -571.95 (709.37 seconds) After 41900 nodes, 10288 on tree, -545.732 best solution, best possible -571.95 (709.89 seconds) After 42000 nodes, 10254 on tree, -545.732 best solution, best possible -571.95 (710.40 seconds) After 42100 nodes, 10254 on tree, -545.732 best solution, best possible -571.95 (710.97 seconds) After 42200 nodes, 10258 on tree, -545.732 best solution, best possible -571.95 (711.51 seconds) After 42300 nodes, 10323 on tree, -545.732 best solution, best possible -571.95 (712.12 seconds) After 42400 nodes, 10268 on tree, -545.732 best solution, best possible -571.95 (712.52 seconds) After 42500 nodes, 10286 on tree, -545.732 best solution, best possible -571.95 (713.02 seconds) After 42600 nodes, 10299 on tree, -545.732 best solution, best possible -571.95 (713.56 seconds) After 42700 nodes, 10282 on tree, -545.732 best solution, best possible -571.95 (714.05 seconds) After 42800 nodes, 10280 on tree, -545.732 best solution, best possible -571.95 (714.59 seconds) After 42900 nodes, 10268 on tree, -545.732 best solution, best possible -571.95 (715.08 seconds) After 43000 nodes, 10305 on tree, -545.732 best solution, best possible -571.95 (715.62 seconds) After 43100 nodes, 10294 on tree, -545.732 best solution, best possible -571.95 (716.08 seconds) After 43200 nodes, 10267 on tree, -545.732 best solution, best possible -571.95 (716.51 seconds) After 43300 nodes, 10250 on tree, -545.732 best solution, best possible -571.95 (717.06 seconds) After 43400 nodes, 10254 on tree, -545.732 best solution, best possible -571.95 (717.64 seconds) After 43500 nodes, 10263 on tree, -545.732 best solution, best possible -571.95 (718.19 seconds) After 43600 nodes, 10274 on tree, -545.732 best solution, best possible -571.95 (718.72 seconds) After 43700 nodes, 10295 on tree, -545.732 best solution, best possible -571.95 (719.28 seconds) After 43800 nodes, 10277 on tree, -545.732 best solution, best possible -571.95 (719.78 seconds) After 43900 nodes, 10297 on tree, -545.732 best solution, best possible -571.95 (720.30 seconds) After 44000 nodes, 10294 on tree, -545.732 best solution, best possible -571.95 (720.80 seconds) After 44100 nodes, 10264 on tree, -545.732 best solution, best possible -571.95 (721.26 seconds) After 44200 nodes, 10257 on tree, -545.732 best solution, best possible -571.95 (721.75 seconds) After 44300 nodes, 10253 on tree, -545.732 best solution, best possible -571.95 (722.28 seconds) After 44400 nodes, 10298 on tree, -545.732 best solution, best possible -571.95 (722.79 seconds) After 44500 nodes, 10250 on tree, -545.732 best solution, best possible -571.95 (723.20 seconds) After 44600 nodes, 10252 on tree, -545.732 best solution, best possible -571.95 (723.73 seconds) After 44700 nodes, 10251 on tree, -545.732 best solution, best possible -571.95 (724.31 seconds) After 44800 nodes, 10253 on tree, -545.732 best solution, best possible -571.95 (724.83 seconds) After 44900 nodes, 10254 on tree, -545.732 best solution, best possible -571.95 (725.41 seconds) After 45000 nodes, 10243 on tree, -545.732 best solution, best possible -571.95 (725.95 seconds) After 45100 nodes, 10250 on tree, -545.732 best solution, best possible -571.95 (726.53 seconds) After 45200 nodes, 10253 on tree, -545.732 best solution, best possible -571.95 (727.03 seconds) After 45300 nodes, 10256 on tree, -545.732 best solution, best possible -571.95 (727.55 seconds) After 45400 nodes, 10266 on tree, -545.732 best solution, best possible -571.95 (728.09 seconds) After 45500 nodes, 10291 on tree, -545.732 best solution, best possible -571.95 (728.63 seconds) After 45600 nodes, 10278 on tree, -545.732 best solution, best possible -571.95 (729.14 seconds) After 45700 nodes, 10270 on tree, -545.732 best solution, best possible -571.95 (729.65 seconds) After 45800 nodes, 10311 on tree, -545.732 best solution, best possible -571.95 (730.19 seconds) After 45900 nodes, 10261 on tree, -545.732 best solution, best possible -571.95 (730.74 seconds) After 46000 nodes, 10257 on tree, -545.732 best solution, best possible -571.95 (731.22 seconds) After 46100 nodes, 10251 on tree, -545.732 best solution, best possible -571.95 (731.74 seconds) After 46200 nodes, 10247 on tree, -545.732 best solution, best possible -571.95 (732.28 seconds) After 46300 nodes, 10307 on tree, -545.732 best solution, best possible -571.95 (732.81 seconds) After 46400 nodes, 10255 on tree, -545.732 best solution, best possible -571.95 (733.19 seconds) After 46500 nodes, 10246 on tree, -545.732 best solution, best possible -571.95 (733.65 seconds) After 46600 nodes, 10251 on tree, -545.732 best solution, best possible -571.95 (734.20 seconds) After 46700 nodes, 10258 on tree, -545.732 best solution, best possible -571.95 (734.71 seconds) After 46800 nodes, 10274 on tree, -545.732 best solution, best possible -571.95 (735.25 seconds) After 46900 nodes, 10336 on tree, -545.732 best solution, best possible -571.95 (735.78 seconds) After 47000 nodes, 10299 on tree, -545.732 best solution, best possible -571.95 (736.24 seconds) After 47100 nodes, 10308 on tree, -545.732 best solution, best possible -571.95 (736.74 seconds) After 47200 nodes, 10305 on tree, -545.732 best solution, best possible -571.95 (737.19 seconds) After 47300 nodes, 10295 on tree, -545.732 best solution, best possible -571.95 (737.66 seconds) After 47400 nodes, 10335 on tree, -545.732 best solution, best possible -571.95 (738.15 seconds) After 47500 nodes, 10289 on tree, -545.732 best solution, best possible -571.95 (738.59 seconds) After 47600 nodes, 10344 on tree, -545.732 best solution, best possible -571.95 (739.13 seconds) After 47700 nodes, 10303 on tree, -545.732 best solution, best possible -571.95 (739.55 seconds) After 47800 nodes, 10275 on tree, -545.732 best solution, best possible -571.95 (740.03 seconds) After 47900 nodes, 10266 on tree, -545.732 best solution, best possible -571.95 (740.54 seconds) After 48000 nodes, 10316 on tree, -545.732 best solution, best possible -571.95 (741.10 seconds) After 48100 nodes, 10265 on tree, -545.732 best solution, best possible -571.95 (741.52 seconds) After 48200 nodes, 10324 on tree, -545.732 best solution, best possible -571.95 (742.03 seconds) After 48300 nodes, 10291 on tree, -545.732 best solution, best possible -571.95 (742.50 seconds) After 48400 nodes, 10253 on tree, -545.732 best solution, best possible -571.95 (742.91 seconds) After 48500 nodes, 10247 on tree, -545.732 best solution, best possible -571.95 (743.47 seconds) After 48600 nodes, 10247 on tree, -545.732 best solution, best possible -571.95 (744.00 seconds) After 48700 nodes, 10260 on tree, -545.732 best solution, best possible -571.95 (744.53 seconds) After 48800 nodes, 10306 on tree, -545.732 best solution, best possible -571.95 (745.10 seconds) After 48900 nodes, 10297 on tree, -545.732 best solution, best possible -571.95 (745.56 seconds) After 49000 nodes, 10268 on tree, -545.732 best solution, best possible -571.95 (746.03 seconds) After 49100 nodes, 10295 on tree, -545.732 best solution, best possible -571.95 (746.56 seconds) After 49200 nodes, 10277 on tree, -545.732 best solution, best possible -571.95 (747.08 seconds) After 49300 nodes, 10266 on tree, -545.732 best solution, best possible -571.95 (747.59 seconds) After 49400 nodes, 10268 on tree, -545.732 best solution, best possible -571.95 (748.11 seconds) After 49500 nodes, 10297 on tree, -545.732 best solution, best possible -571.95 (748.59 seconds) After 49600 nodes, 10258 on tree, -545.732 best solution, best possible -571.95 (749.01 seconds) After 49700 nodes, 10256 on tree, -545.732 best solution, best possible -571.95 (749.55 seconds) After 49800 nodes, 10243 on tree, -545.732 best solution, best possible -571.95 (750.09 seconds) After 49900 nodes, 10287 on tree, -545.732 best solution, best possible -571.95 (750.64 seconds) After 50000 nodes, 10248 on tree, -545.732 best solution, best possible -571.95 (751.06 seconds) After 50100 nodes, 10248 on tree, -545.732 best solution, best possible -571.95 (751.57 seconds) After 50200 nodes, 10249 on tree, -545.732 best solution, best possible -571.95 (752.09 seconds) After 50300 nodes, 10292 on tree, -545.732 best solution, best possible -571.95 (752.65 seconds) After 50400 nodes, 10285 on tree, -545.732 best solution, best possible -571.95 (753.16 seconds) After 50500 nodes, 10268 on tree, -545.732 best solution, best possible -571.95 (753.66 seconds) After 50600 nodes, 10258 on tree, -545.732 best solution, best possible -571.95 (754.19 seconds) After 50700 nodes, 10315 on tree, -545.732 best solution, best possible -571.95 (754.73 seconds) After 50800 nodes, 10266 on tree, -545.732 best solution, best possible -571.95 (755.17 seconds) After 50900 nodes, 10249 on tree, -545.732 best solution, best possible -571.95 (755.68 seconds) After 51000 nodes, 10248 on tree, -545.732 best solution, best possible -571.95 (756.24 seconds) After 51100 nodes, 10240 on tree, -545.732 best solution, best possible -571.95 (756.80 seconds) After 51200 nodes, 10245 on tree, -545.732 best solution, best possible -571.95 (757.32 seconds) After 51300 nodes, 10292 on tree, -545.732 best solution, best possible -571.95 (757.85 seconds) After 51400 nodes, 10293 on tree, -545.732 best solution, best possible -571.95 (758.33 seconds) After 51500 nodes, 10292 on tree, -545.732 best solution, best possible -571.95 (758.84 seconds) After 51600 nodes, 10283 on tree, -545.732 best solution, best possible -571.95 (759.37 seconds) After 51700 nodes, 10269 on tree, -545.732 best solution, best possible -571.95 (759.88 seconds) After 51800 nodes, 10267 on tree, -545.732 best solution, best possible -571.95 (760.36 seconds) After 51900 nodes, 10256 on tree, -545.732 best solution, best possible -571.95 (760.88 seconds) After 52000 nodes, 10248 on tree, -545.732 best solution, best possible -571.95 (761.37 seconds) After 52100 nodes, 10245 on tree, -545.732 best solution, best possible -571.95 (761.88 seconds) After 52200 nodes, 10284 on tree, -545.732 best solution, best possible -571.95 (762.44 seconds) After 52300 nodes, 10269 on tree, -545.732 best solution, best possible -571.95 (762.90 seconds) After 52400 nodes, 10241 on tree, -545.732 best solution, best possible -571.95 (763.32 seconds) After 52500 nodes, 10241 on tree, -545.732 best solution, best possible -571.95 (763.85 seconds) After 52600 nodes, 10235 on tree, -545.732 best solution, best possible -571.95 (764.37 seconds) After 52700 nodes, 10240 on tree, -545.732 best solution, best possible -571.95 (764.98 seconds) After 52800 nodes, 10235 on tree, -545.732 best solution, best possible -571.95 (765.54 seconds) After 52900 nodes, 10257 on tree, -545.732 best solution, best possible -571.95 (766.10 seconds) After 53000 nodes, 10300 on tree, -545.732 best solution, best possible -571.95 (766.62 seconds) After 53100 nodes, 10259 on tree, -545.732 best solution, best possible -571.95 (767.14 seconds) After 53200 nodes, 10286 on tree, -545.732 best solution, best possible -571.95 (767.67 seconds) After 53300 nodes, 10275 on tree, -545.732 best solution, best possible -571.95 (768.17 seconds) After 53400 nodes, 10270 on tree, -545.732 best solution, best possible -571.95 (768.70 seconds) After 53500 nodes, 10261 on tree, -545.732 best solution, best possible -571.95 (769.23 seconds) After 53600 nodes, 10247 on tree, -545.732 best solution, best possible -571.95 (769.75 seconds) After 53700 nodes, 10293 on tree, -545.732 best solution, best possible -571.95 (770.30 seconds) After 53800 nodes, 10280 on tree, -545.732 best solution, best possible -571.95 (770.81 seconds) After 53900 nodes, 10238 on tree, -545.732 best solution, best possible -571.95 (771.25 seconds) After 54000 nodes, 10238 on tree, -545.732 best solution, best possible -571.95 (771.77 seconds) After 54100 nodes, 10240 on tree, -545.732 best solution, best possible -571.95 (772.35 seconds) After 54200 nodes, 10244 on tree, -545.732 best solution, best possible -571.95 (772.96 seconds) After 54300 nodes, 10298 on tree, -545.732 best solution, best possible -571.95 (773.50 seconds) After 54400 nodes, 10265 on tree, -545.732 best solution, best possible -571.95 (773.92 seconds) After 54500 nodes, 10250 on tree, -545.732 best solution, best possible -571.95 (774.37 seconds) After 54600 nodes, 10281 on tree, -545.732 best solution, best possible -571.95 (774.94 seconds) After 54700 nodes, 10282 on tree, -545.732 best solution, best possible -571.95 (775.46 seconds) After 54800 nodes, 10267 on tree, -545.732 best solution, best possible -571.95 (776.01 seconds) After 54900 nodes, 10254 on tree, -545.732 best solution, best possible -571.95 (776.54 seconds) After 55000 nodes, 10316 on tree, -545.732 best solution, best possible -571.95 (777.08 seconds) After 55100 nodes, 10287 on tree, -545.732 best solution, best possible -571.95 (777.55 seconds) After 55200 nodes, 10257 on tree, -545.732 best solution, best possible -571.95 (778.08 seconds) After 55300 nodes, 10251 on tree, -545.732 best solution, best possible -571.95 (778.62 seconds) After 55400 nodes, 10233 on tree, -545.732 best solution, best possible -571.95 (779.17 seconds) After 55500 nodes, 10242 on tree, -545.732 best solution, best possible -571.95 (779.68 seconds) After 55600 nodes, 10305 on tree, -545.732 best solution, best possible -571.95 (780.20 seconds) After 55700 nodes, 10251 on tree, -545.732 best solution, best possible -571.95 (780.58 seconds) After 55800 nodes, 10282 on tree, -545.732 best solution, best possible -571.95 (781.10 seconds) After 55900 nodes, 10272 on tree, -545.732 best solution, best possible -571.95 (781.60 seconds) After 56000 nodes, 10263 on tree, -545.732 best solution, best possible -571.95 (782.11 seconds) After 56100 nodes, 10253 on tree, -545.732 best solution, best possible -571.95 (782.60 seconds) After 56200 nodes, 10260 on tree, -545.732 best solution, best possible -571.95 (783.12 seconds) After 56300 nodes, 10297 on tree, -545.732 best solution, best possible -571.95 (783.61 seconds) After 56400 nodes, 10251 on tree, -545.732 best solution, best possible -571.95 (783.99 seconds) After 56500 nodes, 10239 on tree, -545.732 best solution, best possible -571.95 (784.53 seconds) After 56600 nodes, 10237 on tree, -545.732 best solution, best possible -571.95 (785.13 seconds) After 56700 nodes, 10234 on tree, -545.732 best solution, best possible -571.95 (785.66 seconds) After 56800 nodes, 10293 on tree, -545.732 best solution, best possible -571.95 (786.20 seconds) After 56900 nodes, 10239 on tree, -545.732 best solution, best possible -571.95 (786.61 seconds) After 57000 nodes, 10247 on tree, -545.732 best solution, best possible -571.95 (787.14 seconds) After 57100 nodes, 10276 on tree, -545.732 best solution, best possible -571.95 (787.71 seconds) After 57200 nodes, 10275 on tree, -545.732 best solution, best possible -571.95 (788.26 seconds) After 57300 nodes, 10332 on tree, -545.732 best solution, best possible -571.95 (788.82 seconds) After 57400 nodes, 10309 on tree, -545.732 best solution, best possible -571.95 (789.34 seconds) After 57500 nodes, 10265 on tree, -545.732 best solution, best possible -571.95 (789.85 seconds) After 57600 nodes, 10257 on tree, -545.732 best solution, best possible -571.95 (790.42 seconds) After 57700 nodes, 10243 on tree, -545.732 best solution, best possible -571.95 (790.97 seconds) After 57800 nodes, 10241 on tree, -545.732 best solution, best possible -571.95 (791.53 seconds) After 57900 nodes, 10237 on tree, -545.732 best solution, best possible -571.95 (792.07 seconds) After 58000 nodes, 10235 on tree, -545.732 best solution, best possible -571.95 (792.62 seconds) After 58100 nodes, 10235 on tree, -545.732 best solution, best possible -571.95 (793.13 seconds) After 58200 nodes, 10260 on tree, -545.732 best solution, best possible -571.95 (793.65 seconds) After 58300 nodes, 10283 on tree, -545.732 best solution, best possible -571.95 (794.18 seconds) After 58400 nodes, 10270 on tree, -545.732 best solution, best possible -571.95 (794.69 seconds) After 58500 nodes, 10254 on tree, -545.732 best solution, best possible -571.95 (795.18 seconds) After 58600 nodes, 10275 on tree, -545.732 best solution, best possible -571.95 (795.71 seconds) After 58700 nodes, 10258 on tree, -545.732 best solution, best possible -571.95 (796.15 seconds) After 58800 nodes, 10305 on tree, -545.732 best solution, best possible -571.95 (796.67 seconds) After 58900 nodes, 10262 on tree, -545.732 best solution, best possible -571.95 (797.08 seconds) After 59000 nodes, 10239 on tree, -545.732 best solution, best possible -571.95 (797.54 seconds) After 59100 nodes, 10242 on tree, -545.732 best solution, best possible -571.95 (798.10 seconds) After 59200 nodes, 10233 on tree, -545.732 best solution, best possible -571.95 (798.63 seconds) After 59300 nodes, 10236 on tree, -545.732 best solution, best possible -571.95 (799.17 seconds) After 59400 nodes, 10231 on tree, -545.732 best solution, best possible -571.95 (799.83 seconds) After 59500 nodes, 10229 on tree, -545.732 best solution, best possible -571.95 (800.47 seconds) After 59600 nodes, 10258 on tree, -545.732 best solution, best possible -571.95 (801.22 seconds) Integer solution of -545.87 found after 1106453 iterations and 59611 nodes (801.31 seconds) Full problem 3217 rows 5209 columns, reduced to 197 rows 250 columns After 59700 nodes, 10303 on tree, -545.87 best solution, best possible -571.95 (804.77 seconds) After 59800 nodes, 10352 on tree, -545.87 best solution, best possible -571.95 (807.48 seconds) After 59900 nodes, 10407 on tree, -545.87 best solution, best possible -571.95 (809.98 seconds) After 60000 nodes, 10466 on tree, -545.87 best solution, best possible -571.95 (812.55 seconds) After 60100 nodes, 10469 on tree, -545.87 best solution, best possible -571.95 (813.25 seconds) After 60200 nodes, 10467 on tree, -545.87 best solution, best possible -571.95 (814.06 seconds) After 60300 nodes, 10468 on tree, -545.87 best solution, best possible -571.95 (814.72 seconds) After 60400 nodes, 10462 on tree, -545.87 best solution, best possible -571.95 (815.30 seconds) After 60500 nodes, 10458 on tree, -545.87 best solution, best possible -571.95 (815.92 seconds) After 60600 nodes, 10446 on tree, -545.87 best solution, best possible -571.95 (816.44 seconds) After 60700 nodes, 10445 on tree, -545.87 best solution, best possible -571.95 (817.17 seconds) After 60800 nodes, 10464 on tree, -545.87 best solution, best possible -571.95 (817.76 seconds) After 60900 nodes, 10454 on tree, -545.87 best solution, best possible -571.95 (818.34 seconds) After 61000 nodes, 10476 on tree, -545.87 best solution, best possible -571.95 (819.02 seconds) After 61100 nodes, 10456 on tree, -545.87 best solution, best possible -571.95 (819.57 seconds) After 61200 nodes, 10454 on tree, -545.87 best solution, best possible -571.95 (820.12 seconds) After 61300 nodes, 10454 on tree, -545.87 best solution, best possible -571.95 (820.71 seconds) After 61400 nodes, 10466 on tree, -545.87 best solution, best possible -571.95 (821.34 seconds) After 61500 nodes, 10478 on tree, -545.87 best solution, best possible -571.95 (821.90 seconds) After 61600 nodes, 10462 on tree, -545.87 best solution, best possible -571.95 (822.45 seconds) After 61700 nodes, 10469 on tree, -545.87 best solution, best possible -571.95 (823.07 seconds) After 61800 nodes, 10459 on tree, -545.87 best solution, best possible -571.95 (823.68 seconds) Integer solution of -546.07 found after 1138386 iterations and 61868 nodes (824.15 seconds) Full problem 3217 rows 5209 columns, reduced to 201 rows 254 columns After 61900 nodes, 10478 on tree, -546.07 best solution, best possible -571.95 (825.54 seconds) After 62000 nodes, 10536 on tree, -546.07 best solution, best possible -571.95 (828.03 seconds) After 62100 nodes, 10518 on tree, -546.07 best solution, best possible -571.95 (828.60 seconds) After 62200 nodes, 10518 on tree, -546.07 best solution, best possible -571.95 (829.21 seconds) After 62300 nodes, 10508 on tree, -546.07 best solution, best possible -571.95 (829.79 seconds) After 62400 nodes, 10507 on tree, -546.07 best solution, best possible -571.95 (830.36 seconds) After 62500 nodes, 10498 on tree, -546.07 best solution, best possible -571.95 (830.95 seconds) After 62600 nodes, 10514 on tree, -546.07 best solution, best possible -571.95 (831.69 seconds) After 62700 nodes, 10525 on tree, -546.07 best solution, best possible -571.95 (832.27 seconds) After 62800 nodes, 10550 on tree, -546.07 best solution, best possible -571.95 (832.94 seconds) After 62900 nodes, 10540 on tree, -546.07 best solution, best possible -571.95 (833.54 seconds) After 63000 nodes, 10540 on tree, -546.07 best solution, best possible -571.95 (834.22 seconds) After 63100 nodes, 10587 on tree, -546.07 best solution, best possible -571.95 (834.85 seconds) After 63200 nodes, 10570 on tree, -546.07 best solution, best possible -571.95 (835.58 seconds) After 63300 nodes, 10567 on tree, -546.07 best solution, best possible -571.95 (836.17 seconds) After 63400 nodes, 10544 on tree, -546.07 best solution, best possible -571.95 (836.74 seconds) After 63500 nodes, 10547 on tree, -546.07 best solution, best possible -571.95 (837.28 seconds) After 63600 nodes, 10538 on tree, -546.07 best solution, best possible -571.95 (837.84 seconds) After 63700 nodes, 10539 on tree, -546.07 best solution, best possible -571.95 (838.52 seconds) After 63800 nodes, 10543 on tree, -546.07 best solution, best possible -571.95 (839.15 seconds) After 63900 nodes, 10536 on tree, -546.07 best solution, best possible -571.95 (839.79 seconds) After 64000 nodes, 10536 on tree, -546.07 best solution, best possible -571.95 (840.38 seconds) After 64100 nodes, 10525 on tree, -546.07 best solution, best possible -571.95 (840.97 seconds) After 64200 nodes, 10526 on tree, -546.07 best solution, best possible -571.95 (841.55 seconds) After 64300 nodes, 10543 on tree, -546.07 best solution, best possible -571.95 (842.12 seconds) After 64400 nodes, 10601 on tree, -546.07 best solution, best possible -571.95 (842.71 seconds) After 64500 nodes, 10562 on tree, -546.07 best solution, best possible -571.95 (843.21 seconds) After 64600 nodes, 10536 on tree, -546.07 best solution, best possible -571.95 (843.72 seconds) After 64700 nodes, 10523 on tree, -546.07 best solution, best possible -571.95 (844.28 seconds) After 64800 nodes, 10527 on tree, -546.07 best solution, best possible -571.95 (844.84 seconds) After 64900 nodes, 10538 on tree, -546.07 best solution, best possible -571.95 (845.38 seconds) After 65000 nodes, 10530 on tree, -546.07 best solution, best possible -571.95 (845.91 seconds) After 65100 nodes, 10569 on tree, -546.07 best solution, best possible -571.95 (846.46 seconds) After 65200 nodes, 10564 on tree, -546.07 best solution, best possible -571.95 (847.00 seconds) After 65300 nodes, 10540 on tree, -546.07 best solution, best possible -571.95 (847.52 seconds) After 65400 nodes, 10519 on tree, -546.07 best solution, best possible -571.95 (848.06 seconds) After 65500 nodes, 10518 on tree, -546.07 best solution, best possible -571.95 (848.61 seconds) After 65600 nodes, 10538 on tree, -546.07 best solution, best possible -571.95 (849.18 seconds) After 65700 nodes, 10523 on tree, -546.07 best solution, best possible -571.95 (849.70 seconds) After 65800 nodes, 10563 on tree, -546.07 best solution, best possible -571.95 (850.26 seconds) After 65900 nodes, 10562 on tree, -546.07 best solution, best possible -571.95 (850.79 seconds) After 66000 nodes, 10546 on tree, -546.07 best solution, best possible -571.95 (851.31 seconds) After 66100 nodes, 10514 on tree, -546.07 best solution, best possible -571.95 (851.84 seconds) After 66200 nodes, 10523 on tree, -546.07 best solution, best possible -571.95 (852.41 seconds) After 66300 nodes, 10532 on tree, -546.07 best solution, best possible -571.95 (852.95 seconds) After 66400 nodes, 10523 on tree, -546.07 best solution, best possible -571.95 (853.50 seconds) After 66500 nodes, 10563 on tree, -546.07 best solution, best possible -571.95 (854.06 seconds) After 66600 nodes, 10556 on tree, -546.07 best solution, best possible -571.95 (854.57 seconds) After 66700 nodes, 10517 on tree, -546.07 best solution, best possible -571.95 (855.10 seconds) After 66800 nodes, 10514 on tree, -546.07 best solution, best possible -571.95 (855.66 seconds) After 66900 nodes, 10525 on tree, -546.07 best solution, best possible -571.95 (856.31 seconds) After 67000 nodes, 10534 on tree, -546.07 best solution, best possible -571.95 (856.93 seconds) After 67100 nodes, 10505 on tree, -546.07 best solution, best possible -571.95 (857.53 seconds) After 67200 nodes, 10557 on tree, -546.07 best solution, best possible -571.95 (858.13 seconds) After 67300 nodes, 10569 on tree, -546.07 best solution, best possible -571.95 (858.67 seconds) After 67400 nodes, 10567 on tree, -546.07 best solution, best possible -571.95 (859.15 seconds) After 67500 nodes, 10538 on tree, -546.07 best solution, best possible -571.95 (859.61 seconds) After 67600 nodes, 10513 on tree, -546.07 best solution, best possible -571.95 (860.12 seconds) After 67700 nodes, 10504 on tree, -546.07 best solution, best possible -571.95 (860.76 seconds) After 67800 nodes, 10538 on tree, -546.07 best solution, best possible -571.95 (861.46 seconds) After 67900 nodes, 10504 on tree, -546.07 best solution, best possible -571.95 (862.03 seconds) After 68000 nodes, 10506 on tree, -546.07 best solution, best possible -571.95 (862.67 seconds) After 68100 nodes, 10501 on tree, -546.07 best solution, best possible -571.95 (863.33 seconds) After 68200 nodes, 10517 on tree, -546.07 best solution, best possible -571.95 (864.05 seconds) After 68300 nodes, 10497 on tree, -546.07 best solution, best possible -571.95 (864.71 seconds) After 68400 nodes, 10502 on tree, -546.07 best solution, best possible -571.95 (865.37 seconds) After 68500 nodes, 10496 on tree, -546.07 best solution, best possible -571.95 (866.00 seconds) After 68600 nodes, 10522 on tree, -546.07 best solution, best possible -571.95 (866.68 seconds) After 68700 nodes, 10531 on tree, -546.07 best solution, best possible -571.95 (867.33 seconds) After 68800 nodes, 10510 on tree, -546.07 best solution, best possible -571.95 (867.93 seconds) After 68900 nodes, 10498 on tree, -546.07 best solution, best possible -571.95 (868.56 seconds) After 69000 nodes, 10500 on tree, -546.07 best solution, best possible -571.95 (869.20 seconds) After 69100 nodes, 10492 on tree, -546.07 best solution, best possible -571.95 (869.88 seconds) After 69200 nodes, 10494 on tree, -546.07 best solution, best possible -571.95 (870.53 seconds) After 69300 nodes, 10490 on tree, -546.07 best solution, best possible -571.95 (871.13 seconds) After 69400 nodes, 10485 on tree, -546.07 best solution, best possible -571.95 (871.80 seconds) After 69500 nodes, 10495 on tree, -546.07 best solution, best possible -571.95 (872.47 seconds) After 69600 nodes, 10494 on tree, -546.07 best solution, best possible -571.95 (873.04 seconds) After 69700 nodes, 10495 on tree, -546.07 best solution, best possible -571.95 (873.71 seconds) After 69800 nodes, 10502 on tree, -546.07 best solution, best possible -571.95 (874.33 seconds) After 69900 nodes, 10494 on tree, -546.07 best solution, best possible -571.95 (874.97 seconds) After 70000 nodes, 10494 on tree, -546.07 best solution, best possible -571.95 (875.55 seconds) After 70100 nodes, 10488 on tree, -546.07 best solution, best possible -571.95 (876.11 seconds) After 70200 nodes, 10494 on tree, -546.07 best solution, best possible -571.95 (876.75 seconds) After 70300 nodes, 10522 on tree, -546.07 best solution, best possible -571.95 (877.37 seconds) After 70400 nodes, 10535 on tree, -546.07 best solution, best possible -571.95 (877.93 seconds) After 70500 nodes, 10562 on tree, -546.07 best solution, best possible -571.95 (878.51 seconds) After 70600 nodes, 10585 on tree, -546.07 best solution, best possible -571.95 (879.06 seconds) After 70700 nodes, 10552 on tree, -546.07 best solution, best possible -571.95 (879.56 seconds) After 70800 nodes, 10543 on tree, -546.07 best solution, best possible -571.95 (880.10 seconds) After 70900 nodes, 10538 on tree, -546.07 best solution, best possible -571.95 (880.67 seconds) After 71000 nodes, 10536 on tree, -546.07 best solution, best possible -571.95 (881.24 seconds) After 71100 nodes, 10569 on tree, -546.07 best solution, best possible -571.95 (881.78 seconds) After 71200 nodes, 10525 on tree, -546.07 best solution, best possible -571.95 (882.24 seconds) After 71300 nodes, 10519 on tree, -546.07 best solution, best possible -571.95 (882.85 seconds) After 71400 nodes, 10518 on tree, -546.07 best solution, best possible -571.95 (883.46 seconds) After 71500 nodes, 10526 on tree, -546.07 best solution, best possible -571.95 (884.04 seconds) After 71600 nodes, 10535 on tree, -546.07 best solution, best possible -571.95 (884.66 seconds) After 71700 nodes, 10550 on tree, -546.07 best solution, best possible -571.95 (885.23 seconds) After 71800 nodes, 10583 on tree, -546.07 best solution, best possible -571.95 (885.78 seconds) After 71900 nodes, 10553 on tree, -546.07 best solution, best possible -571.95 (886.28 seconds) After 72000 nodes, 10545 on tree, -546.07 best solution, best possible -571.95 (886.82 seconds) After 72100 nodes, 10537 on tree, -546.07 best solution, best possible -571.95 (887.35 seconds) After 72200 nodes, 10538 on tree, -546.07 best solution, best possible -571.95 (887.91 seconds) After 72300 nodes, 10595 on tree, -546.07 best solution, best possible -571.95 (888.46 seconds) After 72400 nodes, 10545 on tree, -546.07 best solution, best possible -571.95 (888.92 seconds) After 72500 nodes, 10523 on tree, -546.07 best solution, best possible -571.95 (889.44 seconds) After 72600 nodes, 10518 on tree, -546.07 best solution, best possible -571.95 (890.06 seconds) After 72700 nodes, 10517 on tree, -546.07 best solution, best possible -571.95 (890.69 seconds) After 72800 nodes, 10530 on tree, -546.07 best solution, best possible -571.95 (891.28 seconds) After 72900 nodes, 10553 on tree, -546.07 best solution, best possible -571.95 (891.84 seconds) After 73000 nodes, 10567 on tree, -546.07 best solution, best possible -571.95 (892.42 seconds) After 73100 nodes, 10549 on tree, -546.07 best solution, best possible -571.95 (892.96 seconds) After 73200 nodes, 10603 on tree, -546.07 best solution, best possible -571.95 (893.51 seconds) After 73300 nodes, 10549 on tree, -546.07 best solution, best possible -571.95 (894.03 seconds) After 73400 nodes, 10547 on tree, -546.07 best solution, best possible -571.95 (894.58 seconds) After 73500 nodes, 10530 on tree, -546.07 best solution, best possible -571.95 (895.10 seconds) After 73600 nodes, 10530 on tree, -546.07 best solution, best possible -571.95 (895.68 seconds) After 73700 nodes, 10585 on tree, -546.07 best solution, best possible -571.95 (896.23 seconds) After 73800 nodes, 10537 on tree, -546.07 best solution, best possible -571.95 (896.69 seconds) After 73900 nodes, 10522 on tree, -546.07 best solution, best possible -571.95 (897.19 seconds) After 74000 nodes, 10517 on tree, -546.07 best solution, best possible -571.95 (897.74 seconds) After 74100 nodes, 10548 on tree, -546.07 best solution, best possible -571.95 (898.32 seconds) After 74200 nodes, 10558 on tree, -546.07 best solution, best possible -571.95 (898.91 seconds) After 74300 nodes, 10559 on tree, -546.07 best solution, best possible -571.95 (899.45 seconds) After 74400 nodes, 10545 on tree, -546.07 best solution, best possible -571.95 (900.01 seconds) After 74500 nodes, 10532 on tree, -546.07 best solution, best possible -571.95 (900.65 seconds) After 74600 nodes, 10574 on tree, -546.07 best solution, best possible -571.95 (901.21 seconds) After 74700 nodes, 10555 on tree, -546.07 best solution, best possible -571.95 (901.74 seconds) After 74800 nodes, 10570 on tree, -546.07 best solution, best possible -571.95 (902.29 seconds) After 74900 nodes, 10555 on tree, -546.07 best solution, best possible -571.95 (902.78 seconds) After 75000 nodes, 10530 on tree, -546.07 best solution, best possible -571.95 (903.24 seconds) After 75100 nodes, 10527 on tree, -546.07 best solution, best possible -571.95 (903.81 seconds) After 75200 nodes, 10523 on tree, -546.07 best solution, best possible -571.95 (904.38 seconds) After 75300 nodes, 10523 on tree, -546.07 best solution, best possible -571.95 (904.94 seconds) After 75400 nodes, 10549 on tree, -546.07 best solution, best possible -571.95 (905.52 seconds) After 75500 nodes, 10563 on tree, -546.07 best solution, best possible -571.95 (906.10 seconds) After 75600 nodes, 10558 on tree, -546.07 best solution, best possible -571.95 (906.65 seconds) After 75700 nodes, 10543 on tree, -546.07 best solution, best possible -571.95 (907.19 seconds) After 75800 nodes, 10529 on tree, -546.07 best solution, best possible -571.95 (907.76 seconds) After 75900 nodes, 10587 on tree, -546.07 best solution, best possible -571.95 (908.32 seconds) After 76000 nodes, 10533 on tree, -546.07 best solution, best possible -571.95 (908.90 seconds) After 76100 nodes, 10589 on tree, -546.07 best solution, best possible -571.95 (909.47 seconds) After 76200 nodes, 10539 on tree, -546.07 best solution, best possible -571.95 (909.91 seconds) After 76300 nodes, 10525 on tree, -546.07 best solution, best possible -571.95 (910.44 seconds) After 76400 nodes, 10521 on tree, -546.07 best solution, best possible -571.95 (911.01 seconds) After 76500 nodes, 10519 on tree, -546.07 best solution, best possible -571.95 (911.60 seconds) After 76600 nodes, 10551 on tree, -546.07 best solution, best possible -571.95 (912.20 seconds) After 76700 nodes, 10552 on tree, -546.07 best solution, best possible -571.95 (912.78 seconds) After 76800 nodes, 10563 on tree, -546.07 best solution, best possible -571.95 (913.34 seconds) After 76900 nodes, 10547 on tree, -546.07 best solution, best possible -571.95 (913.90 seconds) After 77000 nodes, 10537 on tree, -546.07 best solution, best possible -571.95 (914.47 seconds) After 77100 nodes, 10564 on tree, -546.07 best solution, best possible -571.95 (915.05 seconds) After 77200 nodes, 10569 on tree, -546.07 best solution, best possible -571.95 (915.61 seconds) After 77300 nodes, 10548 on tree, -546.07 best solution, best possible -571.95 (916.23 seconds) After 77400 nodes, 10577 on tree, -546.07 best solution, best possible -571.95 (916.78 seconds) After 77500 nodes, 10535 on tree, -546.07 best solution, best possible -571.95 (917.22 seconds) After 77600 nodes, 10530 on tree, -546.07 best solution, best possible -571.95 (917.77 seconds) After 77700 nodes, 10547 on tree, -546.07 best solution, best possible -571.95 (918.36 seconds) After 77800 nodes, 10550 on tree, -546.07 best solution, best possible -571.95 (918.91 seconds) After 77900 nodes, 10559 on tree, -546.07 best solution, best possible -571.95 (919.47 seconds) After 78000 nodes, 10543 on tree, -546.07 best solution, best possible -571.95 (920.00 seconds) After 78100 nodes, 10533 on tree, -546.07 best solution, best possible -571.95 (920.58 seconds) After 78200 nodes, 10584 on tree, -546.07 best solution, best possible -571.95 (921.15 seconds) After 78300 nodes, 10547 on tree, -546.07 best solution, best possible -571.95 (921.68 seconds) After 78400 nodes, 10578 on tree, -546.07 best solution, best possible -571.95 (922.25 seconds) After 78500 nodes, 10547 on tree, -546.07 best solution, best possible -571.95 (922.70 seconds) After 78600 nodes, 10526 on tree, -546.07 best solution, best possible -571.95 (923.21 seconds) After 78700 nodes, 10532 on tree, -546.07 best solution, best possible -571.95 (923.77 seconds) After 78800 nodes, 10524 on tree, -546.07 best solution, best possible -571.95 (924.38 seconds) After 78900 nodes, 10520 on tree, -546.07 best solution, best possible -571.95 (924.97 seconds) After 79000 nodes, 10527 on tree, -546.07 best solution, best possible -571.95 (925.61 seconds) After 79100 nodes, 10531 on tree, -546.07 best solution, best possible -571.95 (926.26 seconds) After 79200 nodes, 10580 on tree, -546.07 best solution, best possible -571.95 (926.95 seconds) After 79300 nodes, 10561 on tree, -546.07 best solution, best possible -571.95 (927.53 seconds) After 79400 nodes, 10555 on tree, -546.07 best solution, best possible -571.95 (928.18 seconds) After 79500 nodes, 10551 on tree, -546.07 best solution, best possible -571.95 (928.81 seconds) After 79600 nodes, 10535 on tree, -546.07 best solution, best possible -571.95 (929.41 seconds) After 79700 nodes, 10526 on tree, -546.07 best solution, best possible -571.95 (930.02 seconds) After 79800 nodes, 10525 on tree, -546.07 best solution, best possible -571.95 (930.69 seconds) After 79900 nodes, 10568 on tree, -546.07 best solution, best possible -571.95 (931.39 seconds) After 80000 nodes, 10557 on tree, -546.07 best solution, best possible -571.95 (931.98 seconds) After 80100 nodes, 10519 on tree, -546.07 best solution, best possible -571.95 (932.47 seconds) After 80200 nodes, 10517 on tree, -546.07 best solution, best possible -571.95 (933.13 seconds) After 80300 nodes, 10483 on tree, -546.07 best solution, best possible -571.95 (933.73 seconds) After 80400 nodes, 10503 on tree, -546.07 best solution, best possible -571.95 (934.42 seconds) After 80500 nodes, 10481 on tree, -546.07 best solution, best possible -571.95 (935.02 seconds) After 80600 nodes, 10522 on tree, -546.07 best solution, best possible -571.95 (936.14 seconds) After 80700 nodes, 10577 on tree, -546.07 best solution, best possible -571.95 (937.50 seconds) After 80800 nodes, 10564 on tree, -546.07 best solution, best possible -571.95 (938.83 seconds) After 80900 nodes, 10569 on tree, -546.07 best solution, best possible -571.95 (939.71 seconds) After 81000 nodes, 10563 on tree, -546.07 best solution, best possible -571.95 (940.51 seconds) After 81100 nodes, 10553 on tree, -546.07 best solution, best possible -571.95 (941.29 seconds) After 81200 nodes, 10539 on tree, -546.07 best solution, best possible -571.95 (941.94 seconds) After 81300 nodes, 10538 on tree, -546.07 best solution, best possible -571.95 (942.72 seconds) After 81400 nodes, 10529 on tree, -546.07 best solution, best possible -571.95 (943.53 seconds) After 81500 nodes, 10527 on tree, -546.07 best solution, best possible -571.95 (944.31 seconds) After 81600 nodes, 10525 on tree, -546.07 best solution, best possible -571.95 (945.09 seconds) After 81700 nodes, 10521 on tree, -546.07 best solution, best possible -571.95 (945.82 seconds) After 81800 nodes, 10513 on tree, -546.07 best solution, best possible -571.95 (946.57 seconds) After 81900 nodes, 10478 on tree, -546.07 best solution, best possible -571.95 (947.25 seconds) After 82000 nodes, 10477 on tree, -546.07 best solution, best possible -571.95 (948.05 seconds) After 82100 nodes, 10475 on tree, -546.07 best solution, best possible -571.95 (948.99 seconds) After 82200 nodes, 10484 on tree, -546.07 best solution, best possible -571.95 (949.86 seconds) After 82300 nodes, 10492 on tree, -546.07 best solution, best possible -571.95 (950.69 seconds) After 82400 nodes, 10500 on tree, -546.07 best solution, best possible -571.95 (951.40 seconds) After 82500 nodes, 10483 on tree, -546.07 best solution, best possible -571.95 (952.01 seconds) After 82600 nodes, 10485 on tree, -546.07 best solution, best possible -571.95 (952.91 seconds) After 82700 nodes, 10486 on tree, -546.07 best solution, best possible -571.95 (953.82 seconds) After 82800 nodes, 10498 on tree, -546.07 best solution, best possible -571.95 (954.64 seconds) After 82900 nodes, 10500 on tree, -546.07 best solution, best possible -571.95 (955.64 seconds) After 83000 nodes, 10492 on tree, -546.07 best solution, best possible -571.95 (956.48 seconds) After 83100 nodes, 10488 on tree, -546.07 best solution, best possible -571.95 (957.23 seconds) After 83200 nodes, 10486 on tree, -546.07 best solution, best possible -571.95 (958.04 seconds) After 83300 nodes, 10483 on tree, -546.07 best solution, best possible -571.95 (958.79 seconds) After 83400 nodes, 10479 on tree, -546.07 best solution, best possible -571.95 (959.52 seconds) After 83500 nodes, 10485 on tree, -546.07 best solution, best possible -571.95 (960.26 seconds) After 83600 nodes, 10499 on tree, -546.07 best solution, best possible -571.95 (960.94 seconds) After 83700 nodes, 10482 on tree, -546.07 best solution, best possible -571.95 (961.60 seconds) After 83800 nodes, 10480 on tree, -546.07 best solution, best possible -571.95 (962.31 seconds) After 83900 nodes, 10478 on tree, -546.07 best solution, best possible -571.95 (963.10 seconds) After 84000 nodes, 10486 on tree, -546.07 best solution, best possible -571.95 (963.84 seconds) After 84100 nodes, 10488 on tree, -546.07 best solution, best possible -571.95 (964.56 seconds) After 84200 nodes, 10488 on tree, -546.07 best solution, best possible -571.95 (965.48 seconds) After 84300 nodes, 10494 on tree, -546.07 best solution, best possible -571.95 (966.29 seconds) After 84400 nodes, 10494 on tree, -546.07 best solution, best possible -571.95 (967.04 seconds) After 84500 nodes, 10489 on tree, -546.07 best solution, best possible -571.95 (967.90 seconds) After 84600 nodes, 10494 on tree, -546.07 best solution, best possible -571.95 (968.77 seconds) After 84700 nodes, 10492 on tree, -546.07 best solution, best possible -571.95 (969.51 seconds) After 84800 nodes, 10486 on tree, -546.07 best solution, best possible -571.95 (970.20 seconds) After 84900 nodes, 10482 on tree, -546.07 best solution, best possible -571.95 (970.91 seconds) After 85000 nodes, 10480 on tree, -546.07 best solution, best possible -571.95 (971.55 seconds) After 85100 nodes, 10482 on tree, -546.07 best solution, best possible -571.95 (972.30 seconds) After 85200 nodes, 10483 on tree, -546.07 best solution, best possible -571.95 (972.96 seconds) After 85300 nodes, 10486 on tree, -546.07 best solution, best possible -571.95 (973.63 seconds) After 85400 nodes, 10486 on tree, -546.07 best solution, best possible -571.95 (974.40 seconds) After 85500 nodes, 10492 on tree, -546.07 best solution, best possible -571.95 (975.08 seconds) After 85600 nodes, 10490 on tree, -546.07 best solution, best possible -571.95 (975.79 seconds) After 85700 nodes, 10489 on tree, -546.07 best solution, best possible -571.95 (976.54 seconds) After 85800 nodes, 10494 on tree, -546.07 best solution, best possible -571.95 (977.31 seconds) After 85900 nodes, 10494 on tree, -546.07 best solution, best possible -571.95 (978.10 seconds) After 86000 nodes, 10495 on tree, -546.07 best solution, best possible -571.95 (978.93 seconds) After 86100 nodes, 10485 on tree, -546.07 best solution, best possible -571.95 (979.67 seconds) After 86200 nodes, 10486 on tree, -546.07 best solution, best possible -571.95 (980.41 seconds) After 86300 nodes, 10485 on tree, -546.07 best solution, best possible -571.95 (981.19 seconds) After 86400 nodes, 10482 on tree, -546.07 best solution, best possible -571.95 (981.95 seconds) After 86500 nodes, 10481 on tree, -546.07 best solution, best possible -571.95 (982.70 seconds) After 86600 nodes, 10477 on tree, -546.07 best solution, best possible -571.95 (983.50 seconds) After 86700 nodes, 10487 on tree, -546.07 best solution, best possible -571.95 (984.31 seconds) After 86800 nodes, 10501 on tree, -546.07 best solution, best possible -571.95 (985.04 seconds) After 86900 nodes, 10511 on tree, -546.07 best solution, best possible -571.95 (985.75 seconds) After 87000 nodes, 10502 on tree, -546.07 best solution, best possible -571.95 (986.45 seconds) After 87100 nodes, 10499 on tree, -546.07 best solution, best possible -571.95 (987.09 seconds) After 87200 nodes, 10514 on tree, -546.07 best solution, best possible -571.95 (987.82 seconds) After 87300 nodes, 10529 on tree, -546.07 best solution, best possible -571.95 (988.56 seconds) After 87400 nodes, 10539 on tree, -546.07 best solution, best possible -571.95 (989.31 seconds) After 87500 nodes, 10514 on tree, -546.07 best solution, best possible -571.95 (989.91 seconds) After 87600 nodes, 10502 on tree, -546.07 best solution, best possible -571.95 (990.53 seconds) After 87700 nodes, 10512 on tree, -546.07 best solution, best possible -571.95 (991.27 seconds) After 87800 nodes, 10503 on tree, -546.07 best solution, best possible -571.95 (991.89 seconds) After 87900 nodes, 10514 on tree, -546.07 best solution, best possible -571.95 (992.60 seconds) After 88000 nodes, 10524 on tree, -546.07 best solution, best possible -571.95 (993.39 seconds) After 88100 nodes, 10538 on tree, -546.07 best solution, best possible -571.95 (994.17 seconds) After 88200 nodes, 10496 on tree, -546.07 best solution, best possible -571.95 (994.74 seconds) After 88300 nodes, 10512 on tree, -546.07 best solution, best possible -571.95 (995.41 seconds) After 88400 nodes, 10525 on tree, -546.07 best solution, best possible -571.95 (996.16 seconds) After 88500 nodes, 10504 on tree, -546.07 best solution, best possible -571.95 (996.77 seconds) After 88600 nodes, 10515 on tree, -546.07 best solution, best possible -571.95 (997.41 seconds) After 88700 nodes, 10537 on tree, -546.07 best solution, best possible -571.95 (998.18 seconds) After 88800 nodes, 10546 on tree, -546.07 best solution, best possible -571.95 (998.99 seconds) After 88900 nodes, 10506 on tree, -546.07 best solution, best possible -571.95 (999.62 seconds) After 89000 nodes, 10515 on tree, -546.07 best solution, best possible -571.95 (1000.23 seconds) After 89100 nodes, 10506 on tree, -546.07 best solution, best possible -571.95 (1000.82 seconds) After 89200 nodes, 10513 on tree, -546.07 best solution, best possible -571.95 (1001.41 seconds) After 89300 nodes, 10536 on tree, -546.07 best solution, best possible -571.95 (1002.13 seconds) After 89400 nodes, 10552 on tree, -546.07 best solution, best possible -571.95 (1002.86 seconds) After 89500 nodes, 10560 on tree, -546.07 best solution, best possible -571.95 (1003.62 seconds) After 89600 nodes, 10514 on tree, -546.07 best solution, best possible -571.95 (1004.19 seconds) After 89700 nodes, 10513 on tree, -546.07 best solution, best possible -571.95 (1004.80 seconds) After 89800 nodes, 10504 on tree, -546.07 best solution, best possible -571.95 (1005.40 seconds) After 89900 nodes, 10517 on tree, -546.07 best solution, best possible -571.95 (1006.00 seconds) After 90000 nodes, 10537 on tree, -546.07 best solution, best possible -571.95 (1006.71 seconds) After 90100 nodes, 10548 on tree, -546.07 best solution, best possible -571.95 (1007.42 seconds) After 90200 nodes, 10500 on tree, -546.07 best solution, best possible -571.95 (1007.95 seconds) After 90300 nodes, 10519 on tree, -546.07 best solution, best possible -571.95 (1008.58 seconds) After 90400 nodes, 10495 on tree, -546.07 best solution, best possible -571.95 (1009.16 seconds) After 90500 nodes, 10528 on tree, -546.07 best solution, best possible -571.95 (1009.84 seconds) After 90600 nodes, 10554 on tree, -546.07 best solution, best possible -571.95 (1010.58 seconds) After 90700 nodes, 10570 on tree, -546.07 best solution, best possible -571.95 (1011.34 seconds) After 90800 nodes, 10536 on tree, -546.07 best solution, best possible -571.95 (1011.94 seconds) After 90900 nodes, 10494 on tree, -546.07 best solution, best possible -571.95 (1012.49 seconds) After 91000 nodes, 10529 on tree, -546.07 best solution, best possible -571.95 (1013.18 seconds) After 91100 nodes, 10492 on tree, -546.07 best solution, best possible -571.95 (1013.76 seconds) After 91200 nodes, 10527 on tree, -546.07 best solution, best possible -571.95 (1014.44 seconds) After 91300 nodes, 10494 on tree, -546.07 best solution, best possible -571.95 (1015.02 seconds) After 91400 nodes, 10506 on tree, -546.07 best solution, best possible -571.95 (1015.69 seconds) Integer solution of -546.17 found after 1508138 iterations and 91411 nodes (1015.76 seconds) Full problem 3217 rows 5209 columns, reduced to 207 rows 263 columns Integer solution of -547.67 found by combine solutions after 1508139 iterations and 91412 nodes (1016.52 seconds) After 91500 nodes, 10388 on tree, -547.67 best solution, best possible -571.95 (1018.94 seconds) After 91600 nodes, 10444 on tree, -547.67 best solution, best possible -571.95 (1021.48 seconds) After 91700 nodes, 10498 on tree, -547.67 best solution, best possible -571.95 (1024.00 seconds) After 91800 nodes, 10550 on tree, -547.67 best solution, best possible -571.95 (1026.50 seconds) After 91900 nodes, 10609 on tree, -547.67 best solution, best possible -571.95 (1028.95 seconds) After 92000 nodes, 10665 on tree, -547.67 best solution, best possible -571.95 (1031.51 seconds) After 92100 nodes, 10671 on tree, -547.67 best solution, best possible -571.95 (1032.37 seconds) After 92200 nodes, 10663 on tree, -547.67 best solution, best possible -571.95 (1033.16 seconds) After 92300 nodes, 10665 on tree, -547.67 best solution, best possible -571.95 (1034.00 seconds) After 92400 nodes, 10661 on tree, -547.67 best solution, best possible -571.95 (1034.79 seconds) After 92500 nodes, 10662 on tree, -547.67 best solution, best possible -571.95 (1035.56 seconds) After 92600 nodes, 10664 on tree, -547.67 best solution, best possible -571.95 (1036.46 seconds) After 92700 nodes, 10664 on tree, -547.67 best solution, best possible -571.95 (1037.37 seconds) After 92800 nodes, 10670 on tree, -547.67 best solution, best possible -571.95 (1038.20 seconds) After 92900 nodes, 10663 on tree, -547.67 best solution, best possible -571.95 (1039.03 seconds) After 93000 nodes, 10660 on tree, -547.67 best solution, best possible -571.95 (1040.09 seconds) After 93100 nodes, 10660 on tree, -547.67 best solution, best possible -571.95 (1040.99 seconds) After 93200 nodes, 10653 on tree, -547.67 best solution, best possible -571.95 (1041.79 seconds) After 93300 nodes, 10663 on tree, -547.67 best solution, best possible -571.95 (1042.63 seconds) After 93400 nodes, 10667 on tree, -547.67 best solution, best possible -571.95 (1043.50 seconds) After 93500 nodes, 10651 on tree, -547.67 best solution, best possible -571.95 (1044.20 seconds) After 93600 nodes, 10667 on tree, -547.67 best solution, best possible -571.95 (1044.98 seconds) After 93700 nodes, 10641 on tree, -547.67 best solution, best possible -571.95 (1045.72 seconds) After 93800 nodes, 10666 on tree, -547.67 best solution, best possible -571.95 (1046.85 seconds) After 93900 nodes, 10664 on tree, -547.67 best solution, best possible -571.95 (1047.85 seconds) After 94000 nodes, 10660 on tree, -547.67 best solution, best possible -571.95 (1048.85 seconds) After 94100 nodes, 10672 on tree, -547.67 best solution, best possible -571.95 (1049.90 seconds) After 94200 nodes, 10675 on tree, -547.67 best solution, best possible -571.95 (1050.83 seconds) After 94300 nodes, 10658 on tree, -547.67 best solution, best possible -571.95 (1051.72 seconds) After 94400 nodes, 10724 on tree, -547.67 best solution, best possible -571.95 (1052.78 seconds) After 94500 nodes, 10721 on tree, -547.67 best solution, best possible -571.95 (1053.55 seconds) After 94600 nodes, 10714 on tree, -547.67 best solution, best possible -571.95 (1054.51 seconds) After 94700 nodes, 10718 on tree, -547.67 best solution, best possible -571.95 (1055.55 seconds) After 94800 nodes, 10716 on tree, -547.67 best solution, best possible -571.95 (1056.66 seconds) After 94900 nodes, 10722 on tree, -547.67 best solution, best possible -571.95 (1057.58 seconds) After 95000 nodes, 10747 on tree, -547.67 best solution, best possible -571.95 (1058.57 seconds) After 95100 nodes, 10753 on tree, -547.67 best solution, best possible -571.95 (1060.00 seconds) After 95200 nodes, 10734 on tree, -547.67 best solution, best possible -571.95 (1060.91 seconds) After 95300 nodes, 10722 on tree, -547.67 best solution, best possible -571.95 (1062.13 seconds) After 95400 nodes, 10715 on tree, -547.67 best solution, best possible -571.95 (1063.05 seconds) After 95500 nodes, 10713 on tree, -547.67 best solution, best possible -571.95 (1064.07 seconds) After 95600 nodes, 10733 on tree, -547.67 best solution, best possible -571.95 (1064.95 seconds) After 95700 nodes, 10729 on tree, -547.67 best solution, best possible -571.95 (1065.81 seconds) After 95800 nodes, 10713 on tree, -547.67 best solution, best possible -571.95 (1066.64 seconds) After 95900 nodes, 10722 on tree, -547.67 best solution, best possible -571.95 (1067.59 seconds) After 96000 nodes, 10713 on tree, -547.67 best solution, best possible -571.95 (1068.58 seconds) After 96100 nodes, 10717 on tree, -547.67 best solution, best possible -571.95 (1069.52 seconds) After 96200 nodes, 10671 on tree, -547.67 best solution, best possible -571.95 (1070.25 seconds) After 96300 nodes, 10687 on tree, -547.67 best solution, best possible -571.95 (1071.24 seconds) After 96400 nodes, 10681 on tree, -547.67 best solution, best possible -571.95 (1072.17 seconds) After 96500 nodes, 10680 on tree, -547.67 best solution, best possible -571.95 (1073.13 seconds) After 96600 nodes, 10683 on tree, -547.67 best solution, best possible -571.95 (1074.14 seconds) After 96700 nodes, 10689 on tree, -547.67 best solution, best possible -571.95 (1075.06 seconds) After 96800 nodes, 10726 on tree, -547.67 best solution, best possible -571.95 (1075.94 seconds) After 96900 nodes, 10747 on tree, -547.67 best solution, best possible -571.95 (1076.98 seconds) After 97000 nodes, 10762 on tree, -547.67 best solution, best possible -571.95 (1077.81 seconds) After 97100 nodes, 10775 on tree, -547.67 best solution, best possible -571.95 (1078.80 seconds) After 97200 nodes, 10757 on tree, -547.67 best solution, best possible -571.95 (1079.63 seconds) After 97300 nodes, 10747 on tree, -547.67 best solution, best possible -571.95 (1080.36 seconds) After 97400 nodes, 10747 on tree, -547.67 best solution, best possible -571.95 (1081.21 seconds) After 97500 nodes, 10729 on tree, -547.67 best solution, best possible -571.95 (1082.02 seconds) After 97600 nodes, 10732 on tree, -547.67 best solution, best possible -571.95 (1082.78 seconds) After 97700 nodes, 10719 on tree, -547.67 best solution, best possible -571.95 (1083.55 seconds) After 97800 nodes, 10733 on tree, -547.67 best solution, best possible -571.95 (1084.47 seconds) After 97900 nodes, 10707 on tree, -547.67 best solution, best possible -571.95 (1085.28 seconds) After 98000 nodes, 10718 on tree, -547.67 best solution, best possible -571.95 (1086.11 seconds) After 98100 nodes, 10709 on tree, -547.67 best solution, best possible -571.95 (1086.96 seconds) After 98200 nodes, 10695 on tree, -547.67 best solution, best possible -571.95 (1087.73 seconds) After 98300 nodes, 10687 on tree, -547.67 best solution, best possible -571.95 (1088.47 seconds) After 98400 nodes, 10695 on tree, -547.67 best solution, best possible -571.95 (1089.36 seconds) After 98500 nodes, 10705 on tree, -547.67 best solution, best possible -571.95 (1090.25 seconds) After 98600 nodes, 10691 on tree, -547.67 best solution, best possible -571.95 (1091.11 seconds) After 98700 nodes, 10677 on tree, -547.67 best solution, best possible -571.95 (1091.94 seconds) After 98800 nodes, 10683 on tree, -547.67 best solution, best possible -571.95 (1092.96 seconds) After 98900 nodes, 10681 on tree, -547.67 best solution, best possible -571.95 (1093.81 seconds) After 99000 nodes, 10704 on tree, -547.67 best solution, best possible -571.95 (1094.84 seconds) After 99100 nodes, 10711 on tree, -547.67 best solution, best possible -571.95 (1095.88 seconds) After 99200 nodes, 10709 on tree, -547.67 best solution, best possible -571.95 (1096.80 seconds) After 99300 nodes, 10691 on tree, -547.67 best solution, best possible -571.95 (1097.65 seconds) After 99400 nodes, 10692 on tree, -547.67 best solution, best possible -571.95 (1098.76 seconds) After 99500 nodes, 10676 on tree, -547.67 best solution, best possible -571.95 (1099.68 seconds) After 99600 nodes, 10690 on tree, -547.67 best solution, best possible -571.95 (1100.66 seconds) After 99700 nodes, 10679 on tree, -547.67 best solution, best possible -571.95 (1101.54 seconds) After 99800 nodes, 10689 on tree, -547.67 best solution, best possible -571.95 (1102.49 seconds) After 99900 nodes, 10686 on tree, -547.67 best solution, best possible -571.95 (1103.38 seconds) After 100000 nodes, 10675 on tree, -547.67 best solution, best possible -571.95 (1104.31 seconds) After 100100 nodes, 10680 on tree, -547.67 best solution, best possible -571.95 (1105.29 seconds) After 100200 nodes, 10691 on tree, -547.67 best solution, best possible -571.95 (1106.28 seconds) After 100300 nodes, 10691 on tree, -547.67 best solution, best possible -571.95 (1107.30 seconds) After 100400 nodes, 10677 on tree, -547.67 best solution, best possible -571.95 (1108.27 seconds) After 100500 nodes, 10687 on tree, -547.67 best solution, best possible -571.95 (1109.13 seconds) After 100600 nodes, 10675 on tree, -547.67 best solution, best possible -571.95 (1110.00 seconds) After 100700 nodes, 10685 on tree, -547.67 best solution, best possible -571.95 (1110.99 seconds) After 100800 nodes, 10677 on tree, -547.67 best solution, best possible -571.95 (1111.87 seconds) After 100900 nodes, 10666 on tree, -547.67 best solution, best possible -571.95 (1112.89 seconds) After 101000 nodes, 10674 on tree, -547.67 best solution, best possible -571.95 (1113.81 seconds) After 101100 nodes, 10671 on tree, -547.67 best solution, best possible -571.95 (1114.77 seconds) After 101200 nodes, 10670 on tree, -547.67 best solution, best possible -571.95 (1115.77 seconds) After 101300 nodes, 10674 on tree, -547.67 best solution, best possible -571.95 (1116.69 seconds) After 101400 nodes, 10669 on tree, -547.67 best solution, best possible -571.95 (1117.74 seconds) After 101500 nodes, 10671 on tree, -547.67 best solution, best possible -571.95 (1118.68 seconds) After 101600 nodes, 10669 on tree, -547.67 best solution, best possible -571.95 (1119.61 seconds) After 101700 nodes, 10659 on tree, -547.67 best solution, best possible -571.95 (1120.63 seconds) After 101800 nodes, 10656 on tree, -547.67 best solution, best possible -571.95 (1121.58 seconds) After 101900 nodes, 10692 on tree, -547.67 best solution, best possible -571.95 (1122.64 seconds) After 102000 nodes, 10676 on tree, -547.67 best solution, best possible -571.95 (1123.59 seconds) After 102100 nodes, 10670 on tree, -547.67 best solution, best possible -571.95 (1124.59 seconds) After 102200 nodes, 10666 on tree, -547.67 best solution, best possible -571.95 (1125.56 seconds) After 102300 nodes, 10669 on tree, -547.67 best solution, best possible -571.95 (1126.58 seconds) After 102400 nodes, 10687 on tree, -547.67 best solution, best possible -571.95 (1127.54 seconds) After 102500 nodes, 10678 on tree, -547.67 best solution, best possible -571.95 (1128.46 seconds) After 102600 nodes, 10663 on tree, -547.67 best solution, best possible -571.95 (1129.37 seconds) After 102700 nodes, 10670 on tree, -547.67 best solution, best possible -571.95 (1130.40 seconds) After 102800 nodes, 10675 on tree, -547.67 best solution, best possible -571.95 (1131.31 seconds) After 102900 nodes, 10678 on tree, -547.67 best solution, best possible -571.95 (1132.19 seconds) After 103000 nodes, 10669 on tree, -547.67 best solution, best possible -571.95 (1133.19 seconds) After 103100 nodes, 10658 on tree, -547.67 best solution, best possible -571.95 (1134.09 seconds) After 103200 nodes, 10664 on tree, -547.67 best solution, best possible -571.95 (1135.14 seconds) After 103300 nodes, 10682 on tree, -547.67 best solution, best possible -571.95 (1136.20 seconds) After 103400 nodes, 10673 on tree, -547.67 best solution, best possible -571.95 (1137.16 seconds) After 103500 nodes, 10669 on tree, -547.67 best solution, best possible -571.95 (1138.22 seconds) After 103600 nodes, 10659 on tree, -547.67 best solution, best possible -571.95 (1139.19 seconds) After 103700 nodes, 10655 on tree, -547.67 best solution, best possible -571.95 (1140.26 seconds) After 103800 nodes, 10665 on tree, -547.67 best solution, best possible -571.95 (1141.30 seconds) After 103900 nodes, 10651 on tree, -547.67 best solution, best possible -571.95 (1142.32 seconds) After 104000 nodes, 10663 on tree, -547.67 best solution, best possible -571.95 (1143.39 seconds) After 104100 nodes, 10663 on tree, -547.67 best solution, best possible -571.95 (1144.33 seconds) After 104200 nodes, 10662 on tree, -547.67 best solution, best possible -571.95 (1145.38 seconds) After 104300 nodes, 10657 on tree, -547.67 best solution, best possible -571.95 (1146.33 seconds) After 104400 nodes, 10651 on tree, -547.67 best solution, best possible -571.95 (1147.17 seconds) After 104500 nodes, 10648 on tree, -547.67 best solution, best possible -571.95 (1148.07 seconds) After 104600 nodes, 10670 on tree, -547.67 best solution, best possible -571.95 (1149.05 seconds) After 104700 nodes, 10684 on tree, -547.67 best solution, best possible -571.95 (1149.92 seconds) After 104800 nodes, 10674 on tree, -547.67 best solution, best possible -571.95 (1150.85 seconds) After 104900 nodes, 10663 on tree, -547.67 best solution, best possible -571.95 (1151.72 seconds) After 105000 nodes, 10659 on tree, -547.67 best solution, best possible -571.95 (1152.59 seconds) After 105100 nodes, 10681 on tree, -547.67 best solution, best possible -571.95 (1153.62 seconds) After 105200 nodes, 10670 on tree, -547.67 best solution, best possible -571.95 (1154.56 seconds) After 105300 nodes, 10681 on tree, -547.67 best solution, best possible -571.95 (1155.55 seconds) After 105400 nodes, 10668 on tree, -547.67 best solution, best possible -571.95 (1156.48 seconds) After 105500 nodes, 10651 on tree, -547.67 best solution, best possible -571.95 (1157.34 seconds) After 105600 nodes, 10655 on tree, -547.67 best solution, best possible -571.95 (1158.38 seconds) After 105700 nodes, 10659 on tree, -547.67 best solution, best possible -571.95 (1159.29 seconds) After 105800 nodes, 10648 on tree, -547.67 best solution, best possible -571.95 (1160.21 seconds) After 105900 nodes, 10655 on tree, -547.67 best solution, best possible -571.95 (1161.28 seconds) After 106000 nodes, 10674 on tree, -547.67 best solution, best possible -571.95 (1162.34 seconds) After 106100 nodes, 10674 on tree, -547.67 best solution, best possible -571.95 (1163.28 seconds) After 106200 nodes, 10649 on tree, -547.67 best solution, best possible -571.95 (1164.21 seconds) After 106300 nodes, 10667 on tree, -547.67 best solution, best possible -571.95 (1165.33 seconds) After 106400 nodes, 10659 on tree, -547.67 best solution, best possible -571.95 (1166.23 seconds) After 106500 nodes, 10657 on tree, -547.67 best solution, best possible -571.95 (1167.14 seconds) After 106600 nodes, 10656 on tree, -547.67 best solution, best possible -571.95 (1168.13 seconds) After 106700 nodes, 10655 on tree, -547.67 best solution, best possible -571.95 (1169.16 seconds) After 106800 nodes, 10659 on tree, -547.67 best solution, best possible -571.95 (1170.06 seconds) After 106900 nodes, 10652 on tree, -547.67 best solution, best possible -571.95 (1170.99 seconds) After 107000 nodes, 10661 on tree, -547.67 best solution, best possible -571.95 (1171.90 seconds) After 107100 nodes, 10656 on tree, -547.67 best solution, best possible -571.95 (1172.91 seconds) After 107200 nodes, 10659 on tree, -547.67 best solution, best possible -571.95 (1173.73 seconds) After 107300 nodes, 10661 on tree, -547.67 best solution, best possible -571.95 (1174.67 seconds) After 107400 nodes, 10647 on tree, -547.67 best solution, best possible -571.95 (1175.61 seconds) After 107500 nodes, 10656 on tree, -547.67 best solution, best possible -571.95 (1176.56 seconds) After 107600 nodes, 10672 on tree, -547.67 best solution, best possible -571.95 (1177.53 seconds) After 107700 nodes, 10672 on tree, -547.67 best solution, best possible -571.95 (1178.47 seconds) After 107800 nodes, 10668 on tree, -547.67 best solution, best possible -571.95 (1179.39 seconds) After 107900 nodes, 10658 on tree, -547.67 best solution, best possible -571.95 (1180.32 seconds) After 108000 nodes, 10655 on tree, -547.67 best solution, best possible -571.95 (1181.25 seconds) After 108100 nodes, 10668 on tree, -547.67 best solution, best possible -571.95 (1182.16 seconds) After 108200 nodes, 10660 on tree, -547.67 best solution, best possible -571.95 (1183.12 seconds) After 108300 nodes, 10661 on tree, -547.67 best solution, best possible -571.95 (1184.05 seconds) After 108400 nodes, 10651 on tree, -547.67 best solution, best possible -571.95 (1185.07 seconds) After 108500 nodes, 10695 on tree, -547.67 best solution, best possible -571.95 (1186.12 seconds) After 108600 nodes, 10685 on tree, -547.67 best solution, best possible -571.95 (1187.08 seconds) After 108700 nodes, 10670 on tree, -547.67 best solution, best possible -571.95 (1187.96 seconds) After 108800 nodes, 10662 on tree, -547.67 best solution, best possible -571.95 (1188.86 seconds) After 108900 nodes, 10678 on tree, -547.67 best solution, best possible -571.95 (1189.70 seconds) After 109000 nodes, 10655 on tree, -547.67 best solution, best possible -571.95 (1190.70 seconds) After 109100 nodes, 10666 on tree, -547.67 best solution, best possible -571.95 (1191.75 seconds) After 109200 nodes, 10647 on tree, -547.67 best solution, best possible -571.95 (1192.68 seconds) After 109300 nodes, 10650 on tree, -547.67 best solution, best possible -571.95 (1193.57 seconds) After 109400 nodes, 10648 on tree, -547.67 best solution, best possible -571.95 (1194.59 seconds) After 109500 nodes, 10636 on tree, -547.67 best solution, best possible -571.95 (1195.63 seconds) After 109600 nodes, 10657 on tree, -547.67 best solution, best possible -571.95 (1196.93 seconds) After 109700 nodes, 10636 on tree, -547.67 best solution, best possible -571.95 (1197.81 seconds) After 109800 nodes, 10670 on tree, -547.67 best solution, best possible -571.95 (1198.92 seconds) After 109900 nodes, 10694 on tree, -547.67 best solution, best possible -571.95 (1199.94 seconds) After 110000 nodes, 10733 on tree, -547.67 best solution, best possible -571.95 (1200.81 seconds) After 110100 nodes, 10739 on tree, -547.67 best solution, best possible -571.95 (1201.62 seconds) After 110200 nodes, 10718 on tree, -547.67 best solution, best possible -571.95 (1202.36 seconds) After 110300 nodes, 10701 on tree, -547.67 best solution, best possible -571.95 (1203.13 seconds) After 110400 nodes, 10725 on tree, -547.67 best solution, best possible -571.95 (1203.93 seconds) After 110500 nodes, 10698 on tree, -547.67 best solution, best possible -571.95 (1204.67 seconds) After 110600 nodes, 10667 on tree, -547.67 best solution, best possible -571.95 (1205.55 seconds) After 110700 nodes, 10656 on tree, -547.67 best solution, best possible -571.95 (1206.54 seconds) After 110800 nodes, 10668 on tree, -547.67 best solution, best possible -571.95 (1207.41 seconds) After 110900 nodes, 10675 on tree, -547.67 best solution, best possible -571.95 (1208.35 seconds) After 111000 nodes, 10669 on tree, -547.67 best solution, best possible -571.95 (1209.23 seconds) After 111100 nodes, 10660 on tree, -547.67 best solution, best possible -571.95 (1210.12 seconds) After 111200 nodes, 10647 on tree, -547.67 best solution, best possible -571.95 (1211.16 seconds) After 111300 nodes, 10669 on tree, -547.67 best solution, best possible -571.95 (1212.29 seconds) After 111400 nodes, 10686 on tree, -547.67 best solution, best possible -571.95 (1213.26 seconds) After 111500 nodes, 10682 on tree, -547.67 best solution, best possible -571.95 (1214.23 seconds) After 111600 nodes, 10681 on tree, -547.67 best solution, best possible -571.95 (1215.19 seconds) After 111700 nodes, 10677 on tree, -547.67 best solution, best possible -571.95 (1216.03 seconds) After 111800 nodes, 10687 on tree, -547.67 best solution, best possible -571.95 (1217.03 seconds) After 111900 nodes, 10672 on tree, -547.67 best solution, best possible -571.95 (1217.88 seconds) After 112000 nodes, 10654 on tree, -547.67 best solution, best possible -571.95 (1218.85 seconds) After 112100 nodes, 10636 on tree, -547.67 best solution, best possible -571.95 (1219.81 seconds) After 112200 nodes, 10659 on tree, -547.67 best solution, best possible -571.95 (1220.88 seconds) After 112300 nodes, 10666 on tree, -547.67 best solution, best possible -571.95 (1221.67 seconds) After 112400 nodes, 10646 on tree, -547.67 best solution, best possible -571.95 (1222.75 seconds) After 112500 nodes, 10651 on tree, -547.67 best solution, best possible -571.95 (1223.82 seconds) After 112600 nodes, 10662 on tree, -547.67 best solution, best possible -571.95 (1224.86 seconds) After 112700 nodes, 10652 on tree, -547.67 best solution, best possible -571.95 (1225.81 seconds) After 112800 nodes, 10647 on tree, -547.67 best solution, best possible -571.95 (1226.80 seconds) After 112900 nodes, 10660 on tree, -547.67 best solution, best possible -571.95 (1228.04 seconds) After 113000 nodes, 10651 on tree, -547.67 best solution, best possible -571.95 (1228.97 seconds) After 113100 nodes, 10659 on tree, -547.67 best solution, best possible -571.95 (1230.01 seconds) After 113200 nodes, 10648 on tree, -547.67 best solution, best possible -571.95 (1231.02 seconds) After 113300 nodes, 10659 on tree, -547.67 best solution, best possible -571.95 (1232.04 seconds) After 113400 nodes, 10664 on tree, -547.67 best solution, best possible -571.95 (1233.04 seconds) After 113500 nodes, 10653 on tree, -547.67 best solution, best possible -571.95 (1233.90 seconds) After 113600 nodes, 10636 on tree, -547.67 best solution, best possible -571.95 (1234.89 seconds) After 113700 nodes, 10665 on tree, -547.67 best solution, best possible -571.95 (1236.07 seconds) After 113800 nodes, 10664 on tree, -547.67 best solution, best possible -571.95 (1237.05 seconds) After 113900 nodes, 10651 on tree, -547.67 best solution, best possible -571.95 (1237.99 seconds) After 114000 nodes, 10661 on tree, -547.67 best solution, best possible -571.95 (1239.04 seconds) After 114100 nodes, 10662 on tree, -547.67 best solution, best possible -571.95 (1239.91 seconds) After 114200 nodes, 10672 on tree, -547.67 best solution, best possible -571.95 (1240.78 seconds) After 114300 nodes, 10672 on tree, -547.67 best solution, best possible -571.95 (1241.58 seconds) After 114400 nodes, 10652 on tree, -547.67 best solution, best possible -571.95 (1242.50 seconds) After 114500 nodes, 10685 on tree, -547.67 best solution, best possible -571.95 (1243.52 seconds) After 114600 nodes, 10672 on tree, -547.67 best solution, best possible -571.95 (1244.33 seconds) After 114700 nodes, 10686 on tree, -547.67 best solution, best possible -571.95 (1245.13 seconds) After 114800 nodes, 10657 on tree, -547.67 best solution, best possible -571.95 (1245.92 seconds) After 114900 nodes, 10637 on tree, -547.67 best solution, best possible -571.95 (1246.81 seconds) After 115000 nodes, 10676 on tree, -547.67 best solution, best possible -571.95 (1247.93 seconds) After 115100 nodes, 10659 on tree, -547.67 best solution, best possible -571.95 (1248.87 seconds) After 115200 nodes, 10660 on tree, -547.67 best solution, best possible -571.95 (1249.81 seconds) After 115300 nodes, 10673 on tree, -547.67 best solution, best possible -571.95 (1250.71 seconds) After 115400 nodes, 10659 on tree, -547.67 best solution, best possible -571.95 (1251.60 seconds) After 115500 nodes, 10666 on tree, -547.67 best solution, best possible -571.95 (1252.56 seconds) After 115600 nodes, 10664 on tree, -547.67 best solution, best possible -571.95 (1253.43 seconds) After 115700 nodes, 10647 on tree, -547.67 best solution, best possible -571.95 (1254.41 seconds) After 115800 nodes, 10656 on tree, -547.67 best solution, best possible -571.95 (1255.38 seconds) After 115900 nodes, 10659 on tree, -547.67 best solution, best possible -571.95 (1256.28 seconds) After 116000 nodes, 10660 on tree, -547.67 best solution, best possible -571.95 (1257.27 seconds) After 116100 nodes, 10633 on tree, -547.67 best solution, best possible -571.95 (1258.13 seconds) After 116200 nodes, 10654 on tree, -547.67 best solution, best possible -571.95 (1259.22 seconds) After 116300 nodes, 10673 on tree, -547.67 best solution, best possible -571.95 (1260.17 seconds) After 116400 nodes, 10662 on tree, -547.67 best solution, best possible -571.95 (1261.16 seconds) After 116500 nodes, 10660 on tree, -547.67 best solution, best possible -571.95 (1262.11 seconds) After 116600 nodes, 10650 on tree, -547.67 best solution, best possible -571.95 (1263.01 seconds) After 116700 nodes, 10652 on tree, -547.67 best solution, best possible -571.95 (1263.95 seconds) After 116800 nodes, 10646 on tree, -547.67 best solution, best possible -571.95 (1264.93 seconds) After 116900 nodes, 10663 on tree, -547.67 best solution, best possible -571.95 (1266.03 seconds) After 117000 nodes, 10652 on tree, -547.67 best solution, best possible -571.95 (1266.98 seconds) After 117100 nodes, 10642 on tree, -547.67 best solution, best possible -571.95 (1267.89 seconds) After 117200 nodes, 10660 on tree, -547.67 best solution, best possible -571.95 (1268.94 seconds) After 117300 nodes, 10673 on tree, -547.67 best solution, best possible -571.95 (1269.85 seconds) After 117400 nodes, 10663 on tree, -547.67 best solution, best possible -571.95 (1270.67 seconds) After 117500 nodes, 10670 on tree, -547.67 best solution, best possible -571.95 (1271.51 seconds) After 117600 nodes, 10658 on tree, -547.67 best solution, best possible -571.95 (1272.36 seconds) After 117700 nodes, 10680 on tree, -547.67 best solution, best possible -571.95 (1273.27 seconds) After 117800 nodes, 10671 on tree, -547.67 best solution, best possible -571.95 (1274.09 seconds) After 117900 nodes, 10671 on tree, -547.67 best solution, best possible -571.95 (1274.90 seconds) After 118000 nodes, 10675 on tree, -547.67 best solution, best possible -571.95 (1275.88 seconds) After 118100 nodes, 10673 on tree, -547.67 best solution, best possible -571.95 (1276.73 seconds) After 118200 nodes, 10669 on tree, -547.67 best solution, best possible -571.95 (1277.62 seconds) After 118300 nodes, 10670 on tree, -547.67 best solution, best possible -571.95 (1278.46 seconds) After 118400 nodes, 10674 on tree, -547.67 best solution, best possible -571.95 (1279.39 seconds) After 118500 nodes, 10677 on tree, -547.67 best solution, best possible -571.95 (1280.29 seconds) After 118600 nodes, 10668 on tree, -547.67 best solution, best possible -571.95 (1281.15 seconds) After 118700 nodes, 10676 on tree, -547.67 best solution, best possible -571.95 (1282.11 seconds) After 118800 nodes, 10659 on tree, -547.67 best solution, best possible -571.95 (1282.98 seconds) After 118900 nodes, 10648 on tree, -547.67 best solution, best possible -571.95 (1283.96 seconds) After 119000 nodes, 10664 on tree, -547.67 best solution, best possible -571.95 (1284.92 seconds) After 119100 nodes, 10660 on tree, -547.67 best solution, best possible -571.95 (1285.77 seconds) After 119200 nodes, 10648 on tree, -547.67 best solution, best possible -571.95 (1286.61 seconds) After 119300 nodes, 10633 on tree, -547.67 best solution, best possible -571.95 (1287.53 seconds) After 119400 nodes, 10671 on tree, -547.67 best solution, best possible -571.95 (1288.60 seconds) After 119500 nodes, 10665 on tree, -547.67 best solution, best possible -571.95 (1289.44 seconds) After 119600 nodes, 10667 on tree, -547.67 best solution, best possible -571.95 (1290.34 seconds) After 119700 nodes, 10670 on tree, -547.67 best solution, best possible -571.95 (1291.31 seconds) After 119800 nodes, 10665 on tree, -547.67 best solution, best possible -571.95 (1292.30 seconds) After 119900 nodes, 10652 on tree, -547.67 best solution, best possible -571.95 (1293.12 seconds) After 120000 nodes, 10665 on tree, -547.67 best solution, best possible -571.95 (1294.17 seconds) After 120100 nodes, 10654 on tree, -547.67 best solution, best possible -571.95 (1295.03 seconds) After 120200 nodes, 10672 on tree, -547.67 best solution, best possible -571.95 (1295.97 seconds) After 120300 nodes, 10659 on tree, -547.67 best solution, best possible -571.95 (1296.85 seconds) After 120400 nodes, 10633 on tree, -547.67 best solution, best possible -571.95 (1297.75 seconds) After 120500 nodes, 10633 on tree, -547.67 best solution, best possible -571.95 (1298.65 seconds) After 120600 nodes, 10665 on tree, -547.67 best solution, best possible -571.95 (1299.67 seconds) After 120700 nodes, 10663 on tree, -547.67 best solution, best possible -571.95 (1300.55 seconds) After 120800 nodes, 10659 on tree, -547.67 best solution, best possible -571.95 (1301.43 seconds) After 120900 nodes, 10673 on tree, -547.67 best solution, best possible -571.95 (1302.46 seconds) After 121000 nodes, 10663 on tree, -547.67 best solution, best possible -571.95 (1303.32 seconds) After 121100 nodes, 10680 on tree, -547.67 best solution, best possible -571.95 (1304.32 seconds) After 121200 nodes, 10679 on tree, -547.67 best solution, best possible -571.95 (1305.23 seconds) After 121300 nodes, 10679 on tree, -547.67 best solution, best possible -571.95 (1306.15 seconds) After 121400 nodes, 10662 on tree, -547.67 best solution, best possible -571.95 (1307.10 seconds) After 121500 nodes, 10670 on tree, -547.67 best solution, best possible -571.95 (1308.08 seconds) After 121600 nodes, 10662 on tree, -547.67 best solution, best possible -571.95 (1308.90 seconds) After 121700 nodes, 10662 on tree, -547.67 best solution, best possible -571.95 (1309.80 seconds) After 121800 nodes, 10664 on tree, -547.67 best solution, best possible -571.95 (1310.75 seconds) After 121900 nodes, 10656 on tree, -547.67 best solution, best possible -571.95 (1311.64 seconds) After 122000 nodes, 10659 on tree, -547.67 best solution, best possible -571.95 (1312.59 seconds) After 122100 nodes, 10713 on tree, -547.67 best solution, best possible -571.95 (1313.55 seconds) After 122200 nodes, 10714 on tree, -547.67 best solution, best possible -571.95 (1314.46 seconds) After 122300 nodes, 10692 on tree, -547.67 best solution, best possible -571.95 (1315.29 seconds) After 122400 nodes, 10698 on tree, -547.67 best solution, best possible -571.95 (1316.27 seconds) After 122500 nodes, 10680 on tree, -547.67 best solution, best possible -571.95 (1317.05 seconds) After 122600 nodes, 10669 on tree, -547.67 best solution, best possible -571.95 (1317.85 seconds) After 122700 nodes, 10653 on tree, -547.67 best solution, best possible -571.95 (1318.73 seconds) After 122800 nodes, 10657 on tree, -547.67 best solution, best possible -571.95 (1319.69 seconds) After 122900 nodes, 10660 on tree, -547.67 best solution, best possible -571.95 (1320.49 seconds) After 123000 nodes, 10661 on tree, -547.67 best solution, best possible -571.95 (1321.35 seconds) After 123100 nodes, 10658 on tree, -547.67 best solution, best possible -571.95 (1322.15 seconds) After 123200 nodes, 10647 on tree, -547.67 best solution, best possible -571.95 (1323.05 seconds) After 123300 nodes, 10668 on tree, -547.67 best solution, best possible -571.95 (1323.99 seconds) After 123400 nodes, 10658 on tree, -547.67 best solution, best possible -571.95 (1324.81 seconds) After 123500 nodes, 10633 on tree, -547.67 best solution, best possible -571.95 (1325.75 seconds) After 123600 nodes, 10647 on tree, -547.67 best solution, best possible -571.95 (1326.57 seconds) After 123700 nodes, 10650 on tree, -547.67 best solution, best possible -571.95 (1327.28 seconds) After 123800 nodes, 10666 on tree, -547.67 best solution, best possible -571.95 (1328.04 seconds) After 123900 nodes, 10652 on tree, -547.67 best solution, best possible -571.95 (1328.73 seconds) After 124000 nodes, 10641 on tree, -547.67 best solution, best possible -571.95 (1329.46 seconds) After 124100 nodes, 10650 on tree, -547.67 best solution, best possible -571.95 (1330.16 seconds) After 124200 nodes, 10648 on tree, -547.67 best solution, best possible -571.95 (1330.88 seconds) After 124300 nodes, 10660 on tree, -547.67 best solution, best possible -571.95 (1331.60 seconds) After 124400 nodes, 10666 on tree, -547.67 best solution, best possible -571.95 (1332.28 seconds) After 124500 nodes, 10646 on tree, -547.67 best solution, best possible -571.95 (1332.99 seconds) After 124600 nodes, 10663 on tree, -547.67 best solution, best possible -571.95 (1333.73 seconds) After 124700 nodes, 10648 on tree, -547.67 best solution, best possible -571.95 (1334.44 seconds) After 124800 nodes, 10646 on tree, -547.67 best solution, best possible -571.95 (1335.18 seconds) After 124900 nodes, 10642 on tree, -547.67 best solution, best possible -571.95 (1335.93 seconds) Integer solution of -547.812 found after 2018992 iterations and 124986 nodes (1336.61 seconds) Full problem 3217 rows 5209 columns, reduced to 216 rows 274 columns After 125000 nodes, 10662 on tree, -547.812 best solution, best possible -571.95 (1337.53 seconds) Integer solution of -548.012 found after 2019841 iterations and 125054 nodes (1337.90 seconds) Full problem 3217 rows 5209 columns, reduced to 219 rows 278 columns After 125100 nodes, 10686 on tree, -548.012 best solution, best possible -571.95 (1339.64 seconds) After 125200 nodes, 10736 on tree, -548.012 best solution, best possible -571.95 (1342.52 seconds) After 125300 nodes, 10793 on tree, -548.012 best solution, best possible -571.95 (1344.96 seconds) After 125400 nodes, 10843 on tree, -548.012 best solution, best possible -571.95 (1347.60 seconds) After 125500 nodes, 10900 on tree, -548.012 best solution, best possible -571.95 (1350.02 seconds) After 125600 nodes, 10956 on tree, -548.012 best solution, best possible -571.95 (1352.46 seconds) After 125700 nodes, 11013 on tree, -548.012 best solution, best possible -571.95 (1355.23 seconds) After 125800 nodes, 11070 on tree, -548.012 best solution, best possible -571.95 (1358.02 seconds) After 125900 nodes, 11124 on tree, -548.012 best solution, best possible -571.95 (1360.79 seconds) After 126000 nodes, 11180 on tree, -548.012 best solution, best possible -571.95 (1363.57 seconds) After 126100 nodes, 11214 on tree, -548.012 best solution, best possible -571.95 (1364.27 seconds) After 126200 nodes, 11198 on tree, -548.012 best solution, best possible -571.95 (1364.86 seconds) After 126300 nodes, 11185 on tree, -548.012 best solution, best possible -571.95 (1365.48 seconds) After 126400 nodes, 11188 on tree, -548.012 best solution, best possible -571.95 (1366.15 seconds) After 126500 nodes, 11221 on tree, -548.012 best solution, best possible -571.95 (1366.81 seconds) After 126600 nodes, 11186 on tree, -548.012 best solution, best possible -571.95 (1367.32 seconds) After 126700 nodes, 11177 on tree, -548.012 best solution, best possible -571.95 (1367.94 seconds) After 126800 nodes, 11152 on tree, -548.012 best solution, best possible -571.95 (1368.57 seconds) After 126900 nodes, 11146 on tree, -548.012 best solution, best possible -571.95 (1369.30 seconds) After 127000 nodes, 11142 on tree, -548.012 best solution, best possible -571.95 (1369.99 seconds) After 127100 nodes, 11163 on tree, -548.012 best solution, best possible -571.95 (1370.75 seconds) After 127200 nodes, 11224 on tree, -548.012 best solution, best possible -571.95 (1371.46 seconds) After 127300 nodes, 11172 on tree, -548.012 best solution, best possible -571.95 (1371.91 seconds) After 127400 nodes, 11216 on tree, -548.012 best solution, best possible -571.95 (1372.56 seconds) After 127500 nodes, 11164 on tree, -548.012 best solution, best possible -571.95 (1373.03 seconds) After 127600 nodes, 11136 on tree, -548.012 best solution, best possible -571.95 (1373.64 seconds) After 127700 nodes, 11145 on tree, -548.012 best solution, best possible -571.95 (1374.43 seconds) After 127800 nodes, 11153 on tree, -548.012 best solution, best possible -571.95 (1375.24 seconds) After 127900 nodes, 11144 on tree, -548.012 best solution, best possible -571.95 (1375.97 seconds) After 128000 nodes, 11128 on tree, -548.012 best solution, best possible -571.95 (1376.76 seconds) After 128100 nodes, 11148 on tree, -548.012 best solution, best possible -571.95 (1377.50 seconds) After 128200 nodes, 11166 on tree, -548.012 best solution, best possible -571.95 (1378.24 seconds) After 128300 nodes, 11164 on tree, -548.012 best solution, best possible -571.95 (1378.93 seconds) After 128400 nodes, 11160 on tree, -548.012 best solution, best possible -571.95 (1379.57 seconds) After 128500 nodes, 11206 on tree, -548.012 best solution, best possible -571.95 (1380.32 seconds) After 128600 nodes, 11164 on tree, -548.012 best solution, best possible -571.95 (1380.88 seconds) After 128700 nodes, 11212 on tree, -548.012 best solution, best possible -571.95 (1381.67 seconds) After 128800 nodes, 11207 on tree, -548.012 best solution, best possible -571.95 (1382.33 seconds) After 128900 nodes, 11193 on tree, -548.012 best solution, best possible -571.95 (1383.06 seconds) After 129000 nodes, 11164 on tree, -548.012 best solution, best possible -571.95 (1383.74 seconds) After 129100 nodes, 11154 on tree, -548.012 best solution, best possible -571.95 (1384.41 seconds) After 129200 nodes, 11151 on tree, -548.012 best solution, best possible -571.95 (1385.07 seconds) After 129300 nodes, 11208 on tree, -548.012 best solution, best possible -571.95 (1385.87 seconds) After 129400 nodes, 11195 on tree, -548.012 best solution, best possible -571.95 (1386.55 seconds) After 129500 nodes, 11196 on tree, -548.012 best solution, best possible -571.95 (1387.27 seconds) After 129600 nodes, 11160 on tree, -548.012 best solution, best possible -571.95 (1387.87 seconds) After 129700 nodes, 11138 on tree, -548.012 best solution, best possible -571.95 (1388.50 seconds) After 129800 nodes, 11132 on tree, -548.012 best solution, best possible -571.95 (1389.15 seconds) After 129900 nodes, 11137 on tree, -548.012 best solution, best possible -571.95 (1389.86 seconds) After 130000 nodes, 11133 on tree, -548.012 best solution, best possible -571.95 (1390.63 seconds) After 130100 nodes, 11151 on tree, -548.012 best solution, best possible -571.95 (1391.65 seconds) After 130200 nodes, 11162 on tree, -548.012 best solution, best possible -571.95 (1392.63 seconds) After 130300 nodes, 11163 on tree, -548.012 best solution, best possible -571.95 (1393.57 seconds) After 130400 nodes, 11169 on tree, -548.012 best solution, best possible -571.95 (1394.50 seconds) After 130500 nodes, 11163 on tree, -548.012 best solution, best possible -571.95 (1395.36 seconds) After 130600 nodes, 11159 on tree, -548.012 best solution, best possible -571.95 (1396.28 seconds) After 130700 nodes, 11151 on tree, -548.012 best solution, best possible -571.95 (1397.18 seconds) After 130800 nodes, 11147 on tree, -548.012 best solution, best possible -571.95 (1398.14 seconds) After 130900 nodes, 11148 on tree, -548.012 best solution, best possible -571.95 (1399.08 seconds) After 131000 nodes, 11172 on tree, -548.012 best solution, best possible -571.95 (1400.04 seconds) After 131100 nodes, 11184 on tree, -548.012 best solution, best possible -571.95 (1401.02 seconds) After 131200 nodes, 11178 on tree, -548.012 best solution, best possible -571.95 (1401.83 seconds) After 131300 nodes, 11169 on tree, -548.012 best solution, best possible -571.95 (1402.66 seconds) After 131400 nodes, 11163 on tree, -548.012 best solution, best possible -571.95 (1403.47 seconds) After 131500 nodes, 11154 on tree, -548.012 best solution, best possible -571.95 (1404.29 seconds) After 131600 nodes, 11175 on tree, -548.012 best solution, best possible -571.95 (1405.18 seconds) After 131700 nodes, 11150 on tree, -548.012 best solution, best possible -571.95 (1406.04 seconds) After 131800 nodes, 11133 on tree, -548.012 best solution, best possible -571.95 (1406.86 seconds) After 131900 nodes, 11128 on tree, -548.012 best solution, best possible -571.95 (1407.64 seconds) After 132000 nodes, 11135 on tree, -548.012 best solution, best possible -571.95 (1408.48 seconds) After 132100 nodes, 11130 on tree, -548.012 best solution, best possible -571.95 (1409.24 seconds) After 132200 nodes, 11131 on tree, -548.012 best solution, best possible -571.95 (1409.99 seconds) After 132300 nodes, 11140 on tree, -548.012 best solution, best possible -571.95 (1410.72 seconds) After 132400 nodes, 11122 on tree, -548.012 best solution, best possible -571.95 (1411.40 seconds) After 132500 nodes, 11133 on tree, -548.012 best solution, best possible -571.95 (1412.24 seconds) After 132600 nodes, 11132 on tree, -548.012 best solution, best possible -571.95 (1412.99 seconds) After 132700 nodes, 11118 on tree, -548.012 best solution, best possible -571.95 (1413.66 seconds) After 132800 nodes, 11135 on tree, -548.012 best solution, best possible -571.95 (1414.48 seconds) After 132900 nodes, 11135 on tree, -548.012 best solution, best possible -571.95 (1415.18 seconds) After 133000 nodes, 11195 on tree, -548.012 best solution, best possible -571.95 (1415.87 seconds) After 133100 nodes, 11143 on tree, -548.012 best solution, best possible -571.95 (1416.35 seconds) After 133200 nodes, 11141 on tree, -548.012 best solution, best possible -571.95 (1416.93 seconds) After 133300 nodes, 11173 on tree, -548.012 best solution, best possible -571.95 (1417.59 seconds) After 133400 nodes, 11150 on tree, -548.012 best solution, best possible -571.95 (1418.22 seconds) After 133500 nodes, 11188 on tree, -548.012 best solution, best possible -571.95 (1418.89 seconds) After 133600 nodes, 11171 on tree, -548.012 best solution, best possible -571.95 (1419.44 seconds) After 133700 nodes, 11147 on tree, -548.012 best solution, best possible -571.95 (1420.06 seconds) After 133800 nodes, 11134 on tree, -548.012 best solution, best possible -571.95 (1420.70 seconds) After 133900 nodes, 11134 on tree, -548.012 best solution, best possible -571.95 (1421.47 seconds) After 134000 nodes, 11130 on tree, -548.012 best solution, best possible -571.95 (1422.40 seconds) After 134100 nodes, 11146 on tree, -548.012 best solution, best possible -571.95 (1423.45 seconds) After 134200 nodes, 11144 on tree, -548.012 best solution, best possible -571.95 (1424.42 seconds) After 134300 nodes, 11132 on tree, -548.012 best solution, best possible -571.95 (1425.39 seconds) After 134400 nodes, 11148 on tree, -548.012 best solution, best possible -571.95 (1426.45 seconds) After 134500 nodes, 11141 on tree, -548.012 best solution, best possible -571.95 (1427.58 seconds) After 134600 nodes, 11160 on tree, -548.012 best solution, best possible -571.95 (1428.59 seconds) After 134700 nodes, 11140 on tree, -548.012 best solution, best possible -571.95 (1429.59 seconds) After 134800 nodes, 11155 on tree, -548.012 best solution, best possible -571.95 (1430.61 seconds) After 134900 nodes, 11157 on tree, -548.012 best solution, best possible -571.95 (1431.51 seconds) After 135000 nodes, 11123 on tree, -548.012 best solution, best possible -571.95 (1432.39 seconds) After 135100 nodes, 11154 on tree, -548.012 best solution, best possible -571.95 (1433.41 seconds) After 135200 nodes, 11172 on tree, -548.012 best solution, best possible -571.95 (1434.35 seconds) After 135300 nodes, 11145 on tree, -548.012 best solution, best possible -571.95 (1435.26 seconds) After 135400 nodes, 11123 on tree, -548.012 best solution, best possible -571.95 (1436.18 seconds) After 135500 nodes, 11121 on tree, -548.012 best solution, best possible -571.95 (1437.15 seconds) After 135600 nodes, 11129 on tree, -548.012 best solution, best possible -571.95 (1438.01 seconds) After 135700 nodes, 11130 on tree, -548.012 best solution, best possible -571.95 (1438.69 seconds) After 135800 nodes, 11123 on tree, -548.012 best solution, best possible -571.95 (1439.38 seconds) After 135900 nodes, 11148 on tree, -548.012 best solution, best possible -571.95 (1440.07 seconds) After 136000 nodes, 11145 on tree, -548.012 best solution, best possible -571.95 (1440.65 seconds) After 136100 nodes, 11165 on tree, -548.012 best solution, best possible -571.95 (1441.34 seconds) After 136200 nodes, 11173 on tree, -548.012 best solution, best possible -571.95 (1442.03 seconds) After 136300 nodes, 11166 on tree, -548.012 best solution, best possible -571.95 (1442.71 seconds) After 136400 nodes, 11156 on tree, -548.012 best solution, best possible -571.95 (1443.39 seconds) After 136500 nodes, 11156 on tree, -548.012 best solution, best possible -571.95 (1444.03 seconds) After 136600 nodes, 11151 on tree, -548.012 best solution, best possible -571.95 (1444.67 seconds) After 136700 nodes, 11135 on tree, -548.012 best solution, best possible -571.95 (1445.27 seconds) After 136800 nodes, 11133 on tree, -548.012 best solution, best possible -571.95 (1445.93 seconds) After 136900 nodes, 11148 on tree, -548.012 best solution, best possible -571.95 (1446.60 seconds) After 137000 nodes, 11143 on tree, -548.012 best solution, best possible -571.95 (1447.26 seconds) After 137100 nodes, 11123 on tree, -548.012 best solution, best possible -571.95 (1447.89 seconds) After 137200 nodes, 11119 on tree, -548.012 best solution, best possible -571.95 (1448.57 seconds) After 137300 nodes, 11133 on tree, -548.012 best solution, best possible -571.95 (1449.28 seconds) After 137400 nodes, 11113 on tree, -548.012 best solution, best possible -571.95 (1449.98 seconds) After 137500 nodes, 11144 on tree, -548.012 best solution, best possible -571.95 (1451.00 seconds) After 137600 nodes, 11152 on tree, -548.012 best solution, best possible -571.95 (1451.96 seconds) After 137700 nodes, 11164 on tree, -548.012 best solution, best possible -571.95 (1452.89 seconds) After 137800 nodes, 11140 on tree, -548.012 best solution, best possible -571.95 (1453.73 seconds) After 137900 nodes, 11152 on tree, -548.012 best solution, best possible -571.95 (1454.69 seconds) After 138000 nodes, 11152 on tree, -548.012 best solution, best possible -571.95 (1455.63 seconds) After 138100 nodes, 11144 on tree, -548.012 best solution, best possible -571.95 (1456.51 seconds) After 138200 nodes, 11136 on tree, -548.012 best solution, best possible -571.95 (1457.32 seconds) After 138300 nodes, 11144 on tree, -548.012 best solution, best possible -571.95 (1458.30 seconds) After 138400 nodes, 11144 on tree, -548.012 best solution, best possible -571.95 (1459.28 seconds) After 138500 nodes, 11122 on tree, -548.012 best solution, best possible -571.95 (1460.20 seconds) After 138600 nodes, 11149 on tree, -548.012 best solution, best possible -571.95 (1461.30 seconds) After 138700 nodes, 11150 on tree, -548.012 best solution, best possible -571.95 (1462.30 seconds) After 138800 nodes, 11154 on tree, -548.012 best solution, best possible -571.95 (1463.19 seconds) After 138900 nodes, 11159 on tree, -548.012 best solution, best possible -571.95 (1464.18 seconds) After 139000 nodes, 11163 on tree, -548.012 best solution, best possible -571.95 (1465.17 seconds) After 139100 nodes, 11160 on tree, -548.012 best solution, best possible -571.95 (1466.13 seconds) After 139200 nodes, 11165 on tree, -548.012 best solution, best possible -571.95 (1467.12 seconds) After 139300 nodes, 11158 on tree, -548.012 best solution, best possible -571.95 (1468.04 seconds) After 139400 nodes, 11155 on tree, -548.012 best solution, best possible -571.95 (1468.97 seconds) After 139500 nodes, 11157 on tree, -548.012 best solution, best possible -571.95 (1469.90 seconds) After 139600 nodes, 11146 on tree, -548.012 best solution, best possible -571.95 (1470.83 seconds) After 139700 nodes, 11157 on tree, -548.012 best solution, best possible -571.95 (1471.76 seconds) After 139800 nodes, 11134 on tree, -548.012 best solution, best possible -571.95 (1472.61 seconds) After 139900 nodes, 11145 on tree, -548.012 best solution, best possible -571.95 (1473.58 seconds) After 140000 nodes, 11143 on tree, -548.012 best solution, best possible -571.95 (1474.50 seconds) After 140100 nodes, 11143 on tree, -548.012 best solution, best possible -571.95 (1475.41 seconds) After 140200 nodes, 11132 on tree, -548.012 best solution, best possible -571.95 (1476.41 seconds) After 140300 nodes, 11139 on tree, -548.012 best solution, best possible -571.95 (1477.33 seconds) After 140400 nodes, 11137 on tree, -548.012 best solution, best possible -571.95 (1478.22 seconds) After 140500 nodes, 11135 on tree, -548.012 best solution, best possible -571.95 (1479.16 seconds) After 140600 nodes, 11149 on tree, -548.012 best solution, best possible -571.95 (1480.06 seconds) After 140700 nodes, 11136 on tree, -548.012 best solution, best possible -571.95 (1481.05 seconds) After 140800 nodes, 11125 on tree, -548.012 best solution, best possible -571.95 (1481.98 seconds) After 140900 nodes, 11135 on tree, -548.012 best solution, best possible -571.95 (1482.82 seconds) After 141000 nodes, 11151 on tree, -548.012 best solution, best possible -571.95 (1483.90 seconds) After 141100 nodes, 11137 on tree, -548.012 best solution, best possible -571.95 (1484.80 seconds) After 141200 nodes, 11141 on tree, -548.012 best solution, best possible -571.95 (1485.74 seconds) After 141300 nodes, 11168 on tree, -548.012 best solution, best possible -571.95 (1486.88 seconds) After 141400 nodes, 11141 on tree, -548.012 best solution, best possible -571.95 (1487.74 seconds) After 141500 nodes, 11152 on tree, -548.012 best solution, best possible -571.95 (1488.67 seconds) After 141600 nodes, 11135 on tree, -548.012 best solution, best possible -571.95 (1489.49 seconds) After 141700 nodes, 11138 on tree, -548.012 best solution, best possible -571.95 (1490.38 seconds) After 141800 nodes, 11143 on tree, -548.012 best solution, best possible -571.95 (1491.37 seconds) After 141900 nodes, 11141 on tree, -548.012 best solution, best possible -571.95 (1492.29 seconds) After 142000 nodes, 11131 on tree, -548.012 best solution, best possible -571.95 (1493.19 seconds) After 142100 nodes, 11121 on tree, -548.012 best solution, best possible -571.95 (1494.17 seconds) After 142200 nodes, 11145 on tree, -548.012 best solution, best possible -571.95 (1495.18 seconds) After 142300 nodes, 11144 on tree, -548.012 best solution, best possible -571.95 (1496.25 seconds) After 142400 nodes, 11135 on tree, -548.012 best solution, best possible -571.95 (1497.16 seconds) After 142500 nodes, 11138 on tree, -548.012 best solution, best possible -571.95 (1498.11 seconds) After 142600 nodes, 11129 on tree, -548.012 best solution, best possible -571.95 (1498.95 seconds) After 142700 nodes, 11145 on tree, -548.012 best solution, best possible -571.95 (1499.99 seconds) After 142800 nodes, 11155 on tree, -548.012 best solution, best possible -571.95 (1500.92 seconds) After 142900 nodes, 11132 on tree, -548.012 best solution, best possible -571.95 (1501.76 seconds) After 143000 nodes, 11150 on tree, -548.012 best solution, best possible -571.95 (1502.74 seconds) After 143100 nodes, 11127 on tree, -548.012 best solution, best possible -571.95 (1503.58 seconds) After 143200 nodes, 11137 on tree, -548.012 best solution, best possible -571.95 (1504.64 seconds) After 143300 nodes, 11128 on tree, -548.012 best solution, best possible -571.95 (1505.66 seconds) After 143400 nodes, 11177 on tree, -548.012 best solution, best possible -571.95 (1506.69 seconds) After 143500 nodes, 11191 on tree, -548.012 best solution, best possible -571.95 (1507.62 seconds) After 143600 nodes, 11214 on tree, -548.012 best solution, best possible -571.95 (1508.55 seconds) After 143700 nodes, 11227 on tree, -548.012 best solution, best possible -571.95 (1509.49 seconds) After 143800 nodes, 11237 on tree, -548.012 best solution, best possible -571.95 (1510.40 seconds) After 143900 nodes, 11281 on tree, -548.012 best solution, best possible -571.95 (1511.41 seconds) After 144000 nodes, 11289 on tree, -548.012 best solution, best possible -571.95 (1512.38 seconds) After 144100 nodes, 11289 on tree, -548.012 best solution, best possible -571.95 (1513.27 seconds) After 144200 nodes, 11283 on tree, -548.012 best solution, best possible -571.95 (1514.21 seconds) After 144300 nodes, 11267 on tree, -548.012 best solution, best possible -571.95 (1515.22 seconds) After 144400 nodes, 11268 on tree, -548.012 best solution, best possible -571.95 (1516.11 seconds) After 144500 nodes, 11270 on tree, -548.012 best solution, best possible -571.95 (1517.07 seconds) After 144600 nodes, 11266 on tree, -548.012 best solution, best possible -571.95 (1517.94 seconds) After 144700 nodes, 11288 on tree, -548.012 best solution, best possible -571.95 (1518.89 seconds) After 144800 nodes, 11263 on tree, -548.012 best solution, best possible -571.95 (1519.73 seconds) After 144900 nodes, 11261 on tree, -548.012 best solution, best possible -571.95 (1520.60 seconds) After 145000 nodes, 11261 on tree, -548.012 best solution, best possible -571.95 (1521.52 seconds) After 145100 nodes, 11264 on tree, -548.012 best solution, best possible -571.95 (1522.45 seconds) After 145200 nodes, 11262 on tree, -548.012 best solution, best possible -571.95 (1523.33 seconds) After 145300 nodes, 11258 on tree, -548.012 best solution, best possible -571.95 (1524.27 seconds) After 145400 nodes, 11265 on tree, -548.012 best solution, best possible -571.95 (1525.25 seconds) After 145500 nodes, 11257 on tree, -548.012 best solution, best possible -571.95 (1526.11 seconds) After 145600 nodes, 11256 on tree, -548.012 best solution, best possible -571.95 (1527.11 seconds) After 145700 nodes, 11252 on tree, -548.012 best solution, best possible -571.95 (1528.18 seconds) After 145800 nodes, 11253 on tree, -548.012 best solution, best possible -571.95 (1529.18 seconds) After 145900 nodes, 11256 on tree, -548.012 best solution, best possible -571.95 (1530.12 seconds) After 146000 nodes, 11246 on tree, -548.012 best solution, best possible -571.95 (1531.05 seconds) After 146100 nodes, 11244 on tree, -548.012 best solution, best possible -571.95 (1531.99 seconds) After 146200 nodes, 11264 on tree, -548.012 best solution, best possible -571.95 (1533.15 seconds) After 146300 nodes, 11257 on tree, -548.012 best solution, best possible -571.95 (1534.24 seconds) After 146400 nodes, 11259 on tree, -548.012 best solution, best possible -571.95 (1535.16 seconds) After 146500 nodes, 11250 on tree, -548.012 best solution, best possible -571.95 (1536.10 seconds) After 146600 nodes, 11240 on tree, -548.012 best solution, best possible -571.95 (1536.98 seconds) After 146700 nodes, 11236 on tree, -548.012 best solution, best possible -571.95 (1538.00 seconds) After 146800 nodes, 11236 on tree, -548.012 best solution, best possible -571.95 (1538.95 seconds) After 146900 nodes, 11235 on tree, -548.012 best solution, best possible -571.95 (1539.90 seconds) After 147000 nodes, 11245 on tree, -548.012 best solution, best possible -571.95 (1540.92 seconds) After 147100 nodes, 11254 on tree, -548.012 best solution, best possible -571.95 (1541.98 seconds) After 147200 nodes, 11246 on tree, -548.012 best solution, best possible -571.95 (1542.88 seconds) After 147300 nodes, 11230 on tree, -548.012 best solution, best possible -571.95 (1543.69 seconds) After 147400 nodes, 11236 on tree, -548.012 best solution, best possible -571.95 (1544.64 seconds) After 147500 nodes, 11244 on tree, -548.012 best solution, best possible -571.95 (1545.58 seconds) After 147600 nodes, 11231 on tree, -548.012 best solution, best possible -571.95 (1546.44 seconds) After 147700 nodes, 11229 on tree, -548.012 best solution, best possible -571.95 (1547.38 seconds) After 147800 nodes, 11229 on tree, -548.012 best solution, best possible -571.95 (1548.30 seconds) After 147900 nodes, 11226 on tree, -548.012 best solution, best possible -571.95 (1549.20 seconds) After 148000 nodes, 11226 on tree, -548.012 best solution, best possible -571.95 (1550.16 seconds) After 148100 nodes, 11236 on tree, -548.012 best solution, best possible -571.95 (1551.08 seconds) After 148200 nodes, 11222 on tree, -548.012 best solution, best possible -571.95 (1551.92 seconds) After 148300 nodes, 11216 on tree, -548.012 best solution, best possible -571.95 (1552.81 seconds) After 148400 nodes, 11228 on tree, -548.012 best solution, best possible -571.95 (1553.82 seconds) After 148500 nodes, 11222 on tree, -548.012 best solution, best possible -571.95 (1554.71 seconds) After 148600 nodes, 11226 on tree, -548.012 best solution, best possible -571.95 (1555.72 seconds) After 148700 nodes, 11212 on tree, -548.012 best solution, best possible -571.95 (1556.68 seconds) After 148800 nodes, 11212 on tree, -548.012 best solution, best possible -571.95 (1557.72 seconds) After 148900 nodes, 11204 on tree, -548.012 best solution, best possible -571.95 (1558.60 seconds) After 149000 nodes, 11204 on tree, -548.012 best solution, best possible -571.95 (1559.47 seconds) After 149100 nodes, 11208 on tree, -548.012 best solution, best possible -571.95 (1560.39 seconds) After 149200 nodes, 11224 on tree, -548.012 best solution, best possible -571.95 (1561.25 seconds) After 149300 nodes, 11210 on tree, -548.012 best solution, best possible -571.95 (1562.11 seconds) After 149400 nodes, 11209 on tree, -548.012 best solution, best possible -571.95 (1562.97 seconds) After 149500 nodes, 11212 on tree, -548.012 best solution, best possible -571.95 (1563.95 seconds) After 149600 nodes, 11208 on tree, -548.012 best solution, best possible -571.95 (1564.87 seconds) After 149700 nodes, 11206 on tree, -548.012 best solution, best possible -571.95 (1565.77 seconds) After 149800 nodes, 11199 on tree, -548.012 best solution, best possible -571.95 (1566.61 seconds) After 149900 nodes, 11219 on tree, -548.012 best solution, best possible -571.95 (1567.55 seconds) After 150000 nodes, 11215 on tree, -548.012 best solution, best possible -571.95 (1568.45 seconds) After 150100 nodes, 11196 on tree, -548.012 best solution, best possible -571.95 (1569.27 seconds) After 150200 nodes, 11201 on tree, -548.012 best solution, best possible -571.95 (1570.11 seconds) After 150300 nodes, 11188 on tree, -548.012 best solution, best possible -571.95 (1570.94 seconds) After 150400 nodes, 11198 on tree, -548.012 best solution, best possible -571.95 (1572.03 seconds) After 150500 nodes, 11216 on tree, -548.012 best solution, best possible -571.95 (1572.92 seconds) After 150600 nodes, 11196 on tree, -548.012 best solution, best possible -571.95 (1573.74 seconds) After 150700 nodes, 11199 on tree, -548.012 best solution, best possible -571.95 (1574.61 seconds) After 150800 nodes, 11186 on tree, -548.012 best solution, best possible -571.95 (1575.41 seconds) After 150900 nodes, 11192 on tree, -548.012 best solution, best possible -571.95 (1576.38 seconds) After 151000 nodes, 11203 on tree, -548.012 best solution, best possible -571.95 (1577.38 seconds) After 151100 nodes, 11198 on tree, -548.012 best solution, best possible -571.95 (1578.22 seconds) After 151200 nodes, 11204 on tree, -548.012 best solution, best possible -571.95 (1579.11 seconds) After 151300 nodes, 11203 on tree, -548.012 best solution, best possible -571.95 (1579.95 seconds) After 151400 nodes, 11216 on tree, -548.012 best solution, best possible -571.95 (1580.84 seconds) After 151500 nodes, 11199 on tree, -548.012 best solution, best possible -571.95 (1581.68 seconds) After 151600 nodes, 11197 on tree, -548.012 best solution, best possible -571.95 (1582.58 seconds) After 151700 nodes, 11198 on tree, -548.012 best solution, best possible -571.95 (1583.46 seconds) After 151800 nodes, 11204 on tree, -548.012 best solution, best possible -571.95 (1584.32 seconds) After 151900 nodes, 11199 on tree, -548.012 best solution, best possible -571.95 (1585.16 seconds) After 152000 nodes, 11180 on tree, -548.012 best solution, best possible -571.95 (1586.02 seconds) After 152100 nodes, 11197 on tree, -548.012 best solution, best possible -571.95 (1587.01 seconds) After 152200 nodes, 11200 on tree, -548.012 best solution, best possible -571.95 (1587.92 seconds) After 152300 nodes, 11198 on tree, -548.012 best solution, best possible -571.95 (1588.84 seconds) After 152400 nodes, 11175 on tree, -548.012 best solution, best possible -571.95 (1589.72 seconds) After 152500 nodes, 11183 on tree, -548.012 best solution, best possible -571.95 (1590.70 seconds) After 152600 nodes, 11184 on tree, -548.012 best solution, best possible -571.95 (1591.66 seconds) After 152700 nodes, 11173 on tree, -548.012 best solution, best possible -571.95 (1592.54 seconds) After 152800 nodes, 11194 on tree, -548.012 best solution, best possible -571.95 (1593.48 seconds) After 152900 nodes, 11174 on tree, -548.012 best solution, best possible -571.95 (1594.40 seconds) After 153000 nodes, 11171 on tree, -548.012 best solution, best possible -571.95 (1595.34 seconds) After 153100 nodes, 11162 on tree, -548.012 best solution, best possible -571.95 (1596.22 seconds) After 153200 nodes, 11163 on tree, -548.012 best solution, best possible -571.95 (1597.14 seconds) After 153300 nodes, 11154 on tree, -548.012 best solution, best possible -571.95 (1597.98 seconds) After 153400 nodes, 11161 on tree, -548.012 best solution, best possible -571.95 (1598.90 seconds) After 153500 nodes, 11149 on tree, -548.012 best solution, best possible -571.95 (1599.80 seconds) After 153600 nodes, 11146 on tree, -548.012 best solution, best possible -571.95 (1600.78 seconds) After 153700 nodes, 11141 on tree, -548.012 best solution, best possible -571.95 (1601.69 seconds) After 153800 nodes, 11170 on tree, -548.012 best solution, best possible -571.95 (1602.66 seconds) After 153900 nodes, 11164 on tree, -548.012 best solution, best possible -571.95 (1603.52 seconds) After 154000 nodes, 11138 on tree, -548.012 best solution, best possible -571.95 (1604.40 seconds) After 154100 nodes, 11142 on tree, -548.012 best solution, best possible -571.95 (1605.36 seconds) After 154200 nodes, 11158 on tree, -548.012 best solution, best possible -571.95 (1606.31 seconds) After 154300 nodes, 11150 on tree, -548.012 best solution, best possible -571.95 (1607.18 seconds) After 154400 nodes, 11139 on tree, -548.012 best solution, best possible -571.95 (1608.15 seconds) After 154500 nodes, 11163 on tree, -548.012 best solution, best possible -571.95 (1609.09 seconds) After 154600 nodes, 11154 on tree, -548.012 best solution, best possible -571.95 (1609.99 seconds) After 154700 nodes, 11147 on tree, -548.012 best solution, best possible -571.95 (1610.87 seconds) After 154800 nodes, 11131 on tree, -548.012 best solution, best possible -571.95 (1611.78 seconds) After 154900 nodes, 11140 on tree, -548.012 best solution, best possible -571.95 (1612.74 seconds) After 155000 nodes, 11164 on tree, -548.012 best solution, best possible -571.95 (1613.68 seconds) After 155100 nodes, 11157 on tree, -548.012 best solution, best possible -571.95 (1614.56 seconds) After 155200 nodes, 11145 on tree, -548.012 best solution, best possible -571.95 (1615.46 seconds) After 155300 nodes, 11130 on tree, -548.012 best solution, best possible -571.95 (1616.40 seconds) After 155400 nodes, 11134 on tree, -548.012 best solution, best possible -571.95 (1617.40 seconds) After 155500 nodes, 11130 on tree, -548.012 best solution, best possible -571.95 (1618.42 seconds) After 155600 nodes, 11153 on tree, -548.012 best solution, best possible -571.95 (1619.56 seconds) After 155700 nodes, 11155 on tree, -548.012 best solution, best possible -571.95 (1620.56 seconds) After 155800 nodes, 11161 on tree, -548.012 best solution, best possible -571.95 (1621.54 seconds) After 155900 nodes, 11137 on tree, -548.012 best solution, best possible -571.95 (1622.43 seconds) After 156000 nodes, 11152 on tree, -548.012 best solution, best possible -571.95 (1623.45 seconds) After 156100 nodes, 11147 on tree, -548.012 best solution, best possible -571.95 (1624.46 seconds) After 156200 nodes, 11162 on tree, -548.012 best solution, best possible -571.95 (1625.41 seconds) After 156300 nodes, 11158 on tree, -548.012 best solution, best possible -571.95 (1626.26 seconds) After 156400 nodes, 11152 on tree, -548.012 best solution, best possible -571.95 (1627.12 seconds) After 156500 nodes, 11165 on tree, -548.012 best solution, best possible -571.95 (1628.03 seconds) After 156600 nodes, 11146 on tree, -548.012 best solution, best possible -571.95 (1628.89 seconds) After 156700 nodes, 11145 on tree, -548.012 best solution, best possible -571.95 (1629.81 seconds) After 156800 nodes, 11160 on tree, -548.012 best solution, best possible -571.95 (1630.88 seconds) After 156900 nodes, 11145 on tree, -548.012 best solution, best possible -571.95 (1631.82 seconds) After 157000 nodes, 11148 on tree, -548.012 best solution, best possible -571.95 (1632.83 seconds) After 157100 nodes, 11143 on tree, -548.012 best solution, best possible -571.95 (1633.89 seconds) After 157200 nodes, 11149 on tree, -548.012 best solution, best possible -571.95 (1634.92 seconds) After 157300 nodes, 11146 on tree, -548.012 best solution, best possible -571.95 (1635.94 seconds) After 157400 nodes, 11133 on tree, -548.012 best solution, best possible -571.95 (1636.92 seconds) After 157500 nodes, 11142 on tree, -548.012 best solution, best possible -571.95 (1637.86 seconds) After 157600 nodes, 11136 on tree, -548.012 best solution, best possible -571.95 (1638.77 seconds) After 157700 nodes, 11135 on tree, -548.012 best solution, best possible -571.95 (1639.71 seconds) After 157800 nodes, 11132 on tree, -548.012 best solution, best possible -571.95 (1640.59 seconds) After 157900 nodes, 11143 on tree, -548.012 best solution, best possible -571.95 (1641.57 seconds) After 158000 nodes, 11178 on tree, -548.012 best solution, best possible -571.95 (1642.61 seconds) After 158100 nodes, 11173 on tree, -548.012 best solution, best possible -571.95 (1643.54 seconds) After 158200 nodes, 11177 on tree, -548.012 best solution, best possible -571.95 (1644.56 seconds) After 158300 nodes, 11184 on tree, -548.012 best solution, best possible -571.95 (1645.55 seconds) After 158400 nodes, 11162 on tree, -548.012 best solution, best possible -571.95 (1646.47 seconds) After 158500 nodes, 11153 on tree, -548.012 best solution, best possible -571.95 (1647.29 seconds) After 158600 nodes, 11171 on tree, -548.012 best solution, best possible -571.95 (1648.24 seconds) After 158700 nodes, 11236 on tree, -548.012 best solution, best possible -571.95 (1649.21 seconds) After 158800 nodes, 11278 on tree, -548.012 best solution, best possible -571.95 (1650.15 seconds) After 158900 nodes, 11315 on tree, -548.012 best solution, best possible -571.95 (1651.25 seconds) After 159000 nodes, 11314 on tree, -548.012 best solution, best possible -571.95 (1652.16 seconds) After 159100 nodes, 11298 on tree, -548.012 best solution, best possible -571.95 (1653.19 seconds) After 159200 nodes, 11306 on tree, -548.012 best solution, best possible -571.95 (1654.24 seconds) After 159300 nodes, 11308 on tree, -548.012 best solution, best possible -571.95 (1655.19 seconds) After 159400 nodes, 11291 on tree, -548.012 best solution, best possible -571.95 (1656.17 seconds) After 159500 nodes, 11302 on tree, -548.012 best solution, best possible -571.95 (1657.15 seconds) After 159600 nodes, 11291 on tree, -548.012 best solution, best possible -571.95 (1658.01 seconds) After 159700 nodes, 11278 on tree, -548.012 best solution, best possible -571.95 (1659.00 seconds) After 159800 nodes, 11291 on tree, -548.012 best solution, best possible -571.95 (1659.98 seconds) After 159900 nodes, 11303 on tree, -548.012 best solution, best possible -571.95 (1660.88 seconds) After 160000 nodes, 11288 on tree, -548.012 best solution, best possible -571.95 (1661.74 seconds) After 160100 nodes, 11297 on tree, -548.012 best solution, best possible -571.95 (1662.62 seconds) After 160200 nodes, 11276 on tree, -548.012 best solution, best possible -571.95 (1663.46 seconds) After 160300 nodes, 11259 on tree, -548.012 best solution, best possible -571.95 (1664.36 seconds) After 160400 nodes, 11251 on tree, -548.012 best solution, best possible -571.95 (1665.24 seconds) After 160500 nodes, 11243 on tree, -548.012 best solution, best possible -571.95 (1666.19 seconds) After 160600 nodes, 11240 on tree, -548.012 best solution, best possible -571.95 (1667.06 seconds) After 160700 nodes, 11241 on tree, -548.012 best solution, best possible -571.95 (1667.96 seconds) After 160800 nodes, 11231 on tree, -548.012 best solution, best possible -571.95 (1668.87 seconds) After 160900 nodes, 11225 on tree, -548.012 best solution, best possible -571.95 (1669.68 seconds) After 161000 nodes, 11225 on tree, -548.012 best solution, best possible -571.95 (1670.55 seconds) After 161100 nodes, 11218 on tree, -548.012 best solution, best possible -571.95 (1671.40 seconds) After 161200 nodes, 11211 on tree, -548.012 best solution, best possible -571.95 (1672.27 seconds) After 161300 nodes, 11206 on tree, -548.012 best solution, best possible -571.95 (1673.08 seconds) After 161400 nodes, 11207 on tree, -548.012 best solution, best possible -571.95 (1673.92 seconds) After 161500 nodes, 11200 on tree, -548.012 best solution, best possible -571.95 (1674.82 seconds) After 161600 nodes, 11194 on tree, -548.012 best solution, best possible -571.95 (1675.62 seconds) After 161700 nodes, 11195 on tree, -548.012 best solution, best possible -571.95 (1676.53 seconds) After 161800 nodes, 11186 on tree, -548.012 best solution, best possible -571.95 (1677.33 seconds) After 161900 nodes, 11188 on tree, -548.012 best solution, best possible -571.95 (1678.18 seconds) After 162000 nodes, 11185 on tree, -548.012 best solution, best possible -571.95 (1679.02 seconds) After 162100 nodes, 11198 on tree, -548.012 best solution, best possible -571.95 (1679.96 seconds) After 162200 nodes, 11182 on tree, -548.012 best solution, best possible -571.95 (1680.84 seconds) After 162300 nodes, 11234 on tree, -548.012 best solution, best possible -571.95 (1681.79 seconds) After 162400 nodes, 11241 on tree, -548.012 best solution, best possible -571.95 (1682.61 seconds) After 162500 nodes, 11270 on tree, -548.012 best solution, best possible -571.95 (1683.53 seconds) After 162600 nodes, 11263 on tree, -548.012 best solution, best possible -571.95 (1684.33 seconds) After 162700 nodes, 11224 on tree, -548.012 best solution, best possible -571.95 (1685.09 seconds) After 162800 nodes, 11210 on tree, -548.012 best solution, best possible -571.95 (1685.89 seconds) After 162900 nodes, 11205 on tree, -548.012 best solution, best possible -571.95 (1686.77 seconds) After 163000 nodes, 11195 on tree, -548.012 best solution, best possible -571.95 (1687.65 seconds) After 163100 nodes, 11190 on tree, -548.012 best solution, best possible -571.95 (1688.45 seconds) After 163200 nodes, 11184 on tree, -548.012 best solution, best possible -571.95 (1689.34 seconds) After 163300 nodes, 11181 on tree, -548.012 best solution, best possible -571.95 (1690.28 seconds) After 163400 nodes, 11179 on tree, -548.012 best solution, best possible -571.95 (1691.27 seconds) After 163500 nodes, 11182 on tree, -548.012 best solution, best possible -571.95 (1692.24 seconds) After 163600 nodes, 11185 on tree, -548.012 best solution, best possible -571.95 (1693.22 seconds) After 163700 nodes, 11190 on tree, -548.012 best solution, best possible -571.95 (1694.23 seconds) After 163800 nodes, 11187 on tree, -548.012 best solution, best possible -571.95 (1695.22 seconds) After 163900 nodes, 11184 on tree, -548.012 best solution, best possible -571.95 (1696.16 seconds) After 164000 nodes, 11173 on tree, -548.012 best solution, best possible -571.95 (1697.10 seconds) After 164100 nodes, 11171 on tree, -548.012 best solution, best possible -571.95 (1698.05 seconds) After 164200 nodes, 11171 on tree, -548.012 best solution, best possible -571.95 (1698.98 seconds) After 164300 nodes, 11168 on tree, -548.012 best solution, best possible -571.95 (1699.97 seconds) After 164400 nodes, 11166 on tree, -548.012 best solution, best possible -571.95 (1700.85 seconds) After 164500 nodes, 11158 on tree, -548.012 best solution, best possible -571.95 (1701.74 seconds) After 164600 nodes, 11144 on tree, -548.012 best solution, best possible -571.95 (1702.72 seconds) After 164700 nodes, 11149 on tree, -548.012 best solution, best possible -571.95 (1703.75 seconds) After 164800 nodes, 11139 on tree, -548.012 best solution, best possible -571.95 (1704.68 seconds) After 164900 nodes, 11157 on tree, -548.012 best solution, best possible -571.95 (1705.56 seconds) After 165000 nodes, 11175 on tree, -548.012 best solution, best possible -571.95 (1706.48 seconds) After 165100 nodes, 11152 on tree, -548.012 best solution, best possible -571.95 (1707.35 seconds) After 165200 nodes, 11154 on tree, -548.012 best solution, best possible -571.95 (1708.33 seconds) After 165300 nodes, 11184 on tree, -548.012 best solution, best possible -571.95 (1709.26 seconds) After 165400 nodes, 11183 on tree, -548.012 best solution, best possible -571.95 (1710.09 seconds) After 165500 nodes, 11168 on tree, -548.012 best solution, best possible -571.95 (1710.84 seconds) After 165600 nodes, 11181 on tree, -548.012 best solution, best possible -571.95 (1711.72 seconds) After 165700 nodes, 11180 on tree, -548.012 best solution, best possible -571.95 (1712.57 seconds) After 165800 nodes, 11161 on tree, -548.012 best solution, best possible -571.95 (1713.48 seconds) After 165900 nodes, 11160 on tree, -548.012 best solution, best possible -571.95 (1714.48 seconds) After 166000 nodes, 11175 on tree, -548.012 best solution, best possible -571.95 (1715.50 seconds) After 166100 nodes, 11184 on tree, -548.012 best solution, best possible -571.95 (1716.42 seconds) After 166200 nodes, 11181 on tree, -548.012 best solution, best possible -571.95 (1717.53 seconds) After 166300 nodes, 11154 on tree, -548.012 best solution, best possible -571.95 (1718.40 seconds) After 166400 nodes, 11194 on tree, -548.012 best solution, best possible -571.95 (1719.42 seconds) After 166500 nodes, 11160 on tree, -548.012 best solution, best possible -571.95 (1720.25 seconds) After 166600 nodes, 11173 on tree, -548.012 best solution, best possible -571.95 (1721.18 seconds) After 166700 nodes, 11202 on tree, -548.012 best solution, best possible -571.95 (1722.12 seconds) After 166800 nodes, 11184 on tree, -548.012 best solution, best possible -571.95 (1722.91 seconds) After 166900 nodes, 11176 on tree, -548.012 best solution, best possible -571.95 (1723.73 seconds) After 167000 nodes, 11168 on tree, -548.012 best solution, best possible -571.95 (1724.60 seconds) After 167100 nodes, 11165 on tree, -548.012 best solution, best possible -571.95 (1725.58 seconds) After 167200 nodes, 11190 on tree, -548.012 best solution, best possible -571.95 (1726.54 seconds) After 167300 nodes, 11163 on tree, -548.012 best solution, best possible -571.95 (1727.34 seconds) After 167400 nodes, 11185 on tree, -548.012 best solution, best possible -571.95 (1728.30 seconds) After 167500 nodes, 11183 on tree, -548.012 best solution, best possible -571.95 (1729.24 seconds) After 167600 nodes, 11163 on tree, -548.012 best solution, best possible -571.95 (1730.08 seconds) After 167700 nodes, 11184 on tree, -548.012 best solution, best possible -571.95 (1731.09 seconds) After 167800 nodes, 11156 on tree, -548.012 best solution, best possible -571.95 (1731.92 seconds) After 167900 nodes, 11141 on tree, -548.012 best solution, best possible -571.95 (1732.88 seconds) After 168000 nodes, 11160 on tree, -548.012 best solution, best possible -571.95 (1733.82 seconds) After 168100 nodes, 11169 on tree, -548.012 best solution, best possible -571.95 (1734.71 seconds) After 168200 nodes, 11162 on tree, -548.012 best solution, best possible -571.95 (1735.51 seconds) After 168300 nodes, 11155 on tree, -548.012 best solution, best possible -571.95 (1736.39 seconds) After 168400 nodes, 11150 on tree, -548.012 best solution, best possible -571.95 (1737.19 seconds) After 168500 nodes, 11146 on tree, -548.012 best solution, best possible -571.95 (1738.02 seconds) After 168600 nodes, 11141 on tree, -548.012 best solution, best possible -571.95 (1738.97 seconds) After 168700 nodes, 11172 on tree, -548.012 best solution, best possible -571.95 (1739.96 seconds) After 168800 nodes, 11176 on tree, -548.012 best solution, best possible -571.95 (1740.84 seconds) After 168900 nodes, 11173 on tree, -548.012 best solution, best possible -571.95 (1741.71 seconds) After 169000 nodes, 11179 on tree, -548.012 best solution, best possible -571.95 (1742.64 seconds) After 169100 nodes, 11168 on tree, -548.012 best solution, best possible -571.95 (1743.54 seconds) After 169200 nodes, 11180 on tree, -548.012 best solution, best possible -571.95 (1744.44 seconds) After 169300 nodes, 11178 on tree, -548.012 best solution, best possible -571.95 (1745.34 seconds) After 169400 nodes, 11176 on tree, -548.012 best solution, best possible -571.95 (1746.26 seconds) After 169500 nodes, 11178 on tree, -548.012 best solution, best possible -571.95 (1747.18 seconds) After 169600 nodes, 11166 on tree, -548.012 best solution, best possible -571.95 (1748.01 seconds) After 169700 nodes, 11179 on tree, -548.012 best solution, best possible -571.95 (1748.90 seconds) After 169800 nodes, 11194 on tree, -548.012 best solution, best possible -571.95 (1749.88 seconds) After 169900 nodes, 11178 on tree, -548.012 best solution, best possible -571.95 (1750.85 seconds) After 170000 nodes, 11165 on tree, -548.012 best solution, best possible -571.95 (1751.71 seconds) After 170100 nodes, 11176 on tree, -548.012 best solution, best possible -571.95 (1752.61 seconds) After 170200 nodes, 11168 on tree, -548.012 best solution, best possible -571.95 (1753.43 seconds) After 170300 nodes, 11177 on tree, -548.012 best solution, best possible -571.95 (1754.30 seconds) After 170400 nodes, 11160 on tree, -548.012 best solution, best possible -571.95 (1755.13 seconds) After 170500 nodes, 11166 on tree, -548.012 best solution, best possible -571.95 (1756.03 seconds) After 170600 nodes, 11186 on tree, -548.012 best solution, best possible -571.95 (1756.96 seconds) After 170700 nodes, 11169 on tree, -548.012 best solution, best possible -571.95 (1757.84 seconds) After 170800 nodes, 11174 on tree, -548.012 best solution, best possible -571.95 (1758.75 seconds) After 170900 nodes, 11156 on tree, -548.012 best solution, best possible -571.95 (1759.59 seconds) After 171000 nodes, 11162 on tree, -548.012 best solution, best possible -571.95 (1760.53 seconds) After 171100 nodes, 11156 on tree, -548.012 best solution, best possible -571.95 (1761.36 seconds) After 171200 nodes, 11146 on tree, -548.012 best solution, best possible -571.95 (1762.19 seconds) After 171300 nodes, 11130 on tree, -548.012 best solution, best possible -571.95 (1763.06 seconds) After 171400 nodes, 11162 on tree, -548.012 best solution, best possible -571.95 (1764.09 seconds) After 171500 nodes, 11157 on tree, -548.012 best solution, best possible -571.95 (1765.01 seconds) After 171600 nodes, 11220 on tree, -548.012 best solution, best possible -571.95 (1766.00 seconds) After 171700 nodes, 11225 on tree, -548.012 best solution, best possible -571.95 (1766.98 seconds) After 171800 nodes, 11247 on tree, -548.012 best solution, best possible -571.95 (1768.00 seconds) After 171900 nodes, 11240 on tree, -548.012 best solution, best possible -571.95 (1768.85 seconds) After 172000 nodes, 11232 on tree, -548.012 best solution, best possible -571.95 (1769.71 seconds) After 172100 nodes, 11225 on tree, -548.012 best solution, best possible -571.95 (1770.61 seconds) After 172200 nodes, 11222 on tree, -548.012 best solution, best possible -571.95 (1771.43 seconds) After 172300 nodes, 11220 on tree, -548.012 best solution, best possible -571.95 (1772.29 seconds) After 172400 nodes, 11218 on tree, -548.012 best solution, best possible -571.95 (1773.09 seconds) After 172500 nodes, 11206 on tree, -548.012 best solution, best possible -571.95 (1773.89 seconds) After 172600 nodes, 11210 on tree, -548.012 best solution, best possible -571.95 (1774.71 seconds) After 172700 nodes, 11207 on tree, -548.012 best solution, best possible -571.95 (1775.56 seconds) After 172800 nodes, 11204 on tree, -548.012 best solution, best possible -571.95 (1776.43 seconds) After 172900 nodes, 11207 on tree, -548.012 best solution, best possible -571.95 (1777.30 seconds) After 173000 nodes, 11192 on tree, -548.012 best solution, best possible -571.95 (1778.09 seconds) After 173100 nodes, 11187 on tree, -548.012 best solution, best possible -571.95 (1778.98 seconds) After 173200 nodes, 11225 on tree, -548.012 best solution, best possible -571.95 (1779.92 seconds) After 173300 nodes, 11214 on tree, -548.012 best solution, best possible -571.95 (1780.77 seconds) After 173400 nodes, 11209 on tree, -548.012 best solution, best possible -571.95 (1781.59 seconds) After 173500 nodes, 11226 on tree, -548.012 best solution, best possible -571.95 (1782.52 seconds) After 173600 nodes, 11210 on tree, -548.012 best solution, best possible -571.95 (1783.31 seconds) After 173700 nodes, 11199 on tree, -548.012 best solution, best possible -571.95 (1784.14 seconds) After 173800 nodes, 11204 on tree, -548.012 best solution, best possible -571.95 (1785.00 seconds) After 173900 nodes, 11193 on tree, -548.012 best solution, best possible -571.95 (1785.93 seconds) After 174000 nodes, 11189 on tree, -548.012 best solution, best possible -571.95 (1786.85 seconds) After 174100 nodes, 11202 on tree, -548.012 best solution, best possible -571.95 (1787.82 seconds) After 174200 nodes, 11175 on tree, -548.012 best solution, best possible -571.95 (1788.76 seconds) After 174300 nodes, 11151 on tree, -548.012 best solution, best possible -571.95 (1789.62 seconds) After 174400 nodes, 11139 on tree, -548.012 best solution, best possible -571.95 (1790.47 seconds) After 174500 nodes, 11168 on tree, -548.012 best solution, best possible -571.95 (1791.37 seconds) After 174600 nodes, 11152 on tree, -548.012 best solution, best possible -571.95 (1792.19 seconds) After 174700 nodes, 11158 on tree, -548.012 best solution, best possible -571.95 (1793.08 seconds) After 174800 nodes, 11150 on tree, -548.012 best solution, best possible -571.95 (1793.90 seconds) After 174900 nodes, 11136 on tree, -548.012 best solution, best possible -571.95 (1794.78 seconds) After 175000 nodes, 11177 on tree, -548.012 best solution, best possible -571.95 (1795.70 seconds) After 175100 nodes, 11180 on tree, -548.012 best solution, best possible -571.95 (1796.59 seconds) Exiting on maximum time Partial search - best objective -548.012 (best possible -571.95), took 2759047 iterations and 175182 nodes (1798.52 seconds) Strong branching done 40848 times (437490 iterations), fathomed 382 nodes and fixed 1830 variables Maximum depth 385, 216982 variables fixed on reduced cost Cuts at root node changed objective from -611.85 to -604.163 Probing was tried 54765 times and created 40185 cuts of which 18161 were active after adding rounds of cuts (100.438 seconds) Gomory was tried 24100 times and created 28531 cuts of which 9523 were active after adding rounds of cuts (71.636 seconds) Knapsack was tried 3 times and created 40 cuts of which 2 were active after adding rounds of cuts (0.016 seconds) Clique was tried 3 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds) MixedIntegerRounding2 was tried 3 times and created 10 cuts of which 0 were active after adding rounds of cuts (0.020 seconds) FlowCover was tried 3 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.120 seconds) TwoMirCuts was tried 3 times and created 264 cuts of which 26 were active after adding rounds of cuts (0.080 seconds) Result - Stopped on time objective -548.0120000000001 after 175182 nodes and 2759047 iterations - took 1801.20 seconds (total time 1801.26) Total time 1801.38 Time limit reached. Have feasible solution. MIP solution: -548.012 (175182 nodes, 1801.4 seconds) Best possible: -571.9500014 Absolute gap: 23.938 (absolute tolerance optca: 0) Relative gap: 0.041853 (relative tolerance optcr: 0) --- Restarting execution --- mkc.gms(124) 0 Mb --- Reading solution for model m --- mkc.gms(124) 4 Mb *** Status: Normal completion --- Job mkc.gms Stop 08/21/08 23:29:05 elapsed 0:30:06.998