--- Job mkc1 Start 08/21/08 22:28:07 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 --- mkc1.gms(106) 2 Mb --- GDXin=/home/stefan/work/gams/models/LINlib/mkc1.gdx --- mkc1.gms(148) 4 Mb --- Starting execution: elapsed 0:00:00.031 --- mkc1.gms(123) 5 Mb --- Generating MIP model m --- mkc1.gms(124) 6 Mb --- 3,412 rows 5,326 columns 19,985 non-zeroes --- 3,087 discrete-columns --- mkc1.gms(124) 6 Mb --- Executing COINCBC: elapsed 0:00:00.117 GAMS/CoinCbc 2.1 LP/MIP Solver written by J. Forrest Problem statistics: 5325 columns and 3411 rows. 3087 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 5 fixed, 0 tightened bounds, 60 strengthened rows, 0 substitutions 5 fixed, 0 tightened bounds, 60 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 41 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 41 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 41 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 41 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 41 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 41 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 41 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 41 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 41 strengthened rows, 0 substitutions processed model has 3273 rows, 5293 columns (3056 integer) and 16853 elements Pass 1: (0.06 seconds) suminf. 0.35447 obj. -570.03 iterations 410 Pass 2: (0.06 seconds) suminf. 0.05505 obj. -564.79 iterations 2 Pass 3: (0.08 seconds) suminf. 0.00000 obj. -554.49 iterations 1 Solution found of -554.49 Before mini branch and bound, 3014 integers at bound fixed and 2176 continuous Full problem 3273 rows 5293 columns, reduced to 58 rows 75 columns Mini branch and bound improved solution from -554.49 to -573.18 (0.17 seconds) Round again with cutoff of -577.047 Pass 4: (0.24 seconds) suminf. 0.50396 obj. -577.047 iterations 722 Pass 5: (0.26 seconds) suminf. 0.32098 obj. -577.047 iterations 4 Pass 6: (0.28 seconds) suminf. 0.34720 obj. -577.047 iterations 222 Pass 7: (0.30 seconds) suminf. 0.78443 obj. -586.71 iterations 147 Pass 8: (0.31 seconds) suminf. 0.48500 obj. -581.47 iterations 1 Pass 9: (0.32 seconds) suminf. 0.29385 obj. -577.047 iterations 2 Pass 10: (0.34 seconds) suminf. 2.09654 obj. -577.047 iterations 161 Pass 11: (0.35 seconds) suminf. 0.73752 obj. -577.047 iterations 92 Pass 12: (0.36 seconds) suminf. 0.00000 obj. -578.07 iterations 8 Solution found of -578.07 Before mini branch and bound, 2980 integers at bound fixed and 2156 continuous Full problem 3273 rows 5293 columns, reduced to 105 rows 118 columns Mini branch and bound improved solution from -578.07 to -599.27 (0.52 seconds) After 0.53 seconds - Feasibility pump exiting with objective of -599.27 - took 0.52 seconds Integer solution of -599.27 found by feasibility pump after 0 iterations and 0 nodes (0.54 seconds) Full problem 3273 rows 5293 columns, reduced to 42 rows 110 columns 32 added rows had average density of 111.875 At root node, 32 cuts changed objective from -611.85 to -611.85 in 3 passes Cut generator 0 (Probing) - 0 row cuts (0 active), 0 column cuts in 0.136 seconds - new frequency is 10 Cut generator 1 (Gomory) - 4 row cuts (0 active), 0 column cuts in 0.024 seconds - new frequency is -100 Cut generator 2 (Knapsack) - 0 row cuts (0 active), 0 column cuts in 0.012 seconds - new frequency is -100 Cut generator 3 (Clique) - 0 row cuts (0 active), 0 column cuts in 0.004 seconds - new frequency is -100 Cut generator 4 (MixedIntegerRounding2) - 27 row cuts (11 active), 0 column cuts in 0.028 seconds - new frequency is -100 Cut generator 5 (FlowCover) - 29 row cuts (12 active), 0 column cuts in 0.128 seconds - new frequency is 1 Cut generator 6 (TwoMirCuts) - 76 row cuts (9 active), 0 column cuts in 0.036 seconds - new frequency is -100 After 0 nodes, 1 on tree, -599.27 best solution, best possible -611.85 (1.13 seconds) After 100 nodes, 53 on tree, -599.27 best solution, best possible -607.21 (12.39 seconds) Integer solution of -599.4 found after 8002 iterations and 147 nodes (15.91 seconds) Full problem 3273 rows 5293 columns, reduced to 125 rows 178 columns Integer solution of -605.17 found by combine solutions after 8017 iterations and 148 nodes (16.09 seconds) After 200 nodes, 34 on tree, -605.17 best solution, best possible -607.21 (18.72 seconds) After 300 nodes, 37 on tree, -605.17 best solution, best possible -607.21 (22.63 seconds) Integer solution of -605.582 found after 12532 iterations and 335 nodes (23.84 seconds) Full problem 3273 rows 5293 columns, reduced to 139 rows 195 columns Integer solution of -606.11 found by combine solutions after 12539 iterations and 337 nodes (24.04 seconds) After 400 nodes, 34 on tree, -606.11 best solution, best possible -607.21 (26.27 seconds) After 500 nodes, 32 on tree, -606.11 best solution, best possible -607.21 (28.93 seconds) After 600 nodes, 34 on tree, -606.11 best solution, best possible -607.21 (33.53 seconds) After 700 nodes, 34 on tree, -606.11 best solution, best possible -607.21 (38.03 seconds) After 800 nodes, 35 on tree, -606.11 best solution, best possible -607.21 (43.36 seconds) After 900 nodes, 42 on tree, -606.11 best solution, best possible -607.21 (48.15 seconds) After 1000 nodes, 42 on tree, -606.11 best solution, best possible -607.21 (52.76 seconds) After 1100 nodes, 45 on tree, -606.11 best solution, best possible -607.21 (56.69 seconds) After 1200 nodes, 45 on tree, -606.11 best solution, best possible -607.21 (59.44 seconds) After 1300 nodes, 44 on tree, -606.11 best solution, best possible -607.21 (62.83 seconds) After 1400 nodes, 43 on tree, -606.11 best solution, best possible -607.21 (65.41 seconds) After 1500 nodes, 44 on tree, -606.11 best solution, best possible -607.21 (69.38 seconds) After 1600 nodes, 42 on tree, -606.11 best solution, best possible -607.21 (72.46 seconds) After 1700 nodes, 45 on tree, -606.11 best solution, best possible -607.21 (75.24 seconds) After 1800 nodes, 51 on tree, -606.11 best solution, best possible -607.21 (78.98 seconds) After 1900 nodes, 47 on tree, -606.11 best solution, best possible -607.21 (81.44 seconds) After 2000 nodes, 46 on tree, -606.11 best solution, best possible -607.21 (83.87 seconds) After 2100 nodes, 50 on tree, -606.11 best solution, best possible -607.21 (86.37 seconds) After 2200 nodes, 46 on tree, -606.11 best solution, best possible -607.21 (88.49 seconds) After 2300 nodes, 45 on tree, -606.11 best solution, best possible -607.21 (91.27 seconds) After 2400 nodes, 41 on tree, -606.11 best solution, best possible -607.21 (93.83 seconds) After 2500 nodes, 45 on tree, -606.11 best solution, best possible -607.21 (96.94 seconds) After 2600 nodes, 46 on tree, -606.11 best solution, best possible -607.21 (99.82 seconds) After 2700 nodes, 49 on tree, -606.11 best solution, best possible -607.21 (104.14 seconds) After 2800 nodes, 62 on tree, -606.11 best solution, best possible -607.21 (107.68 seconds) After 2900 nodes, 64 on tree, -606.11 best solution, best possible -607.21 (110.31 seconds) After 3000 nodes, 69 on tree, -606.11 best solution, best possible -607.21 (112.88 seconds) After 3100 nodes, 72 on tree, -606.11 best solution, best possible -607.21 (116.47 seconds) After 3200 nodes, 84 on tree, -606.11 best solution, best possible -607.21 (119.41 seconds) After 3300 nodes, 76 on tree, -606.11 best solution, best possible -607.21 (123.48 seconds) After 3400 nodes, 78 on tree, -606.11 best solution, best possible -607.21 (127.07 seconds) After 3500 nodes, 79 on tree, -606.11 best solution, best possible -607.21 (129.76 seconds) After 3600 nodes, 80 on tree, -606.11 best solution, best possible -607.21 (132.28 seconds) After 3700 nodes, 84 on tree, -606.11 best solution, best possible -607.21 (135.58 seconds) Full problem 3273 rows 5293 columns, reduced to 158 rows 215 columns After 3800 nodes, 79 on tree, -606.154 best solution, best possible -607.21 (138.83 seconds) After 3900 nodes, 80 on tree, -606.154 best solution, best possible -607.21 (141.25 seconds) After 4000 nodes, 78 on tree, -606.154 best solution, best possible -607.21 (143.15 seconds) After 4100 nodes, 83 on tree, -606.154 best solution, best possible -607.21 (145.56 seconds) After 4200 nodes, 85 on tree, -606.154 best solution, best possible -607.21 (148.25 seconds) After 4300 nodes, 83 on tree, -606.154 best solution, best possible -607.21 (150.52 seconds) After 4400 nodes, 87 on tree, -606.154 best solution, best possible -607.21 (152.41 seconds) After 4500 nodes, 110 on tree, -606.154 best solution, best possible -607.21 (156.03 seconds) After 4600 nodes, 115 on tree, -606.154 best solution, best possible -607.21 (157.74 seconds) After 4700 nodes, 103 on tree, -606.154 best solution, best possible -607.21 (159.76 seconds) After 4800 nodes, 100 on tree, -606.154 best solution, best possible -607.21 (161.96 seconds) After 4900 nodes, 96 on tree, -606.154 best solution, best possible -607.21 (164.36 seconds) After 5000 nodes, 99 on tree, -606.154 best solution, best possible -607.21 (166.57 seconds) After 5100 nodes, 99 on tree, -606.154 best solution, best possible -607.21 (168.95 seconds) After 5200 nodes, 98 on tree, -606.154 best solution, best possible -607.21 (171.09 seconds) After 5300 nodes, 96 on tree, -606.154 best solution, best possible -607.21 (173.40 seconds) After 5400 nodes, 101 on tree, -606.154 best solution, best possible -607.21 (175.28 seconds) After 5500 nodes, 97 on tree, -606.154 best solution, best possible -607.21 (177.16 seconds) After 5600 nodes, 102 on tree, -606.154 best solution, best possible -607.21 (179.16 seconds) After 5700 nodes, 104 on tree, -606.154 best solution, best possible -607.21 (180.92 seconds) After 5800 nodes, 104 on tree, -606.154 best solution, best possible -607.21 (182.86 seconds) After 5900 nodes, 102 on tree, -606.154 best solution, best possible -607.21 (184.68 seconds) After 6000 nodes, 102 on tree, -606.154 best solution, best possible -607.21 (186.71 seconds) After 6100 nodes, 104 on tree, -606.154 best solution, best possible -607.21 (188.79 seconds) After 6200 nodes, 109 on tree, -606.154 best solution, best possible -607.21 (190.74 seconds) After 6300 nodes, 104 on tree, -606.154 best solution, best possible -607.21 (192.72 seconds) After 6400 nodes, 110 on tree, -606.154 best solution, best possible -607.21 (194.98 seconds) After 6500 nodes, 109 on tree, -606.154 best solution, best possible -607.21 (197.37 seconds) After 6600 nodes, 99 on tree, -606.154 best solution, best possible -607.21 (199.24 seconds) After 6700 nodes, 102 on tree, -606.154 best solution, best possible -607.21 (200.93 seconds) After 6800 nodes, 106 on tree, -606.154 best solution, best possible -607.21 (202.73 seconds) After 6900 nodes, 101 on tree, -606.154 best solution, best possible -607.21 (204.59 seconds) After 7000 nodes, 107 on tree, -606.154 best solution, best possible -607.21 (206.40 seconds) After 7100 nodes, 103 on tree, -606.154 best solution, best possible -607.21 (208.57 seconds) After 7200 nodes, 103 on tree, -606.154 best solution, best possible -607.21 (210.69 seconds) After 7300 nodes, 104 on tree, -606.154 best solution, best possible -607.21 (212.85 seconds) After 7400 nodes, 98 on tree, -606.154 best solution, best possible -607.21 (214.76 seconds) After 7500 nodes, 96 on tree, -606.154 best solution, best possible -607.21 (216.50 seconds) After 7600 nodes, 99 on tree, -606.154 best solution, best possible -607.21 (218.87 seconds) After 7700 nodes, 103 on tree, -606.154 best solution, best possible -607.21 (220.73 seconds) After 7800 nodes, 105 on tree, -606.154 best solution, best possible -607.21 (222.84 seconds) After 7900 nodes, 110 on tree, -606.154 best solution, best possible -607.21 (224.72 seconds) After 8000 nodes, 112 on tree, -606.154 best solution, best possible -607.21 (227.38 seconds) After 8100 nodes, 117 on tree, -606.154 best solution, best possible -607.21 (229.30 seconds) After 8200 nodes, 118 on tree, -606.154 best solution, best possible -607.21 (231.07 seconds) After 8300 nodes, 121 on tree, -606.154 best solution, best possible -607.21 (232.97 seconds) After 8400 nodes, 112 on tree, -606.154 best solution, best possible -607.21 (234.79 seconds) After 8500 nodes, 114 on tree, -606.154 best solution, best possible -607.21 (237.08 seconds) After 8600 nodes, 115 on tree, -606.154 best solution, best possible -607.21 (239.21 seconds) After 8700 nodes, 114 on tree, -606.154 best solution, best possible -607.21 (241.13 seconds) After 8800 nodes, 111 on tree, -606.154 best solution, best possible -607.21 (243.15 seconds) After 8900 nodes, 115 on tree, -606.154 best solution, best possible -607.21 (245.02 seconds) After 9000 nodes, 115 on tree, -606.154 best solution, best possible -607.21 (247.06 seconds) After 9100 nodes, 117 on tree, -606.154 best solution, best possible -607.21 (248.93 seconds) After 9200 nodes, 118 on tree, -606.154 best solution, best possible -607.21 (251.00 seconds) After 9300 nodes, 122 on tree, -606.154 best solution, best possible -607.21 (252.80 seconds) After 9400 nodes, 119 on tree, -606.154 best solution, best possible -607.21 (254.96 seconds) After 9500 nodes, 116 on tree, -606.154 best solution, best possible -607.21 (256.68 seconds) After 9600 nodes, 122 on tree, -606.154 best solution, best possible -607.21 (259.38 seconds) After 9700 nodes, 118 on tree, -606.154 best solution, best possible -607.21 (261.24 seconds) After 9800 nodes, 121 on tree, -606.154 best solution, best possible -607.21 (263.53 seconds) After 9900 nodes, 124 on tree, -606.154 best solution, best possible -607.21 (265.50 seconds) After 10000 nodes, 122 on tree, -606.154 best solution, best possible -607.21 (267.32 seconds) After 10100 nodes, 122 on tree, -606.154 best solution, best possible -607.21 (269.14 seconds) After 10200 nodes, 111 on tree, -606.154 best solution, best possible -607.21 (271.24 seconds) After 10300 nodes, 111 on tree, -606.154 best solution, best possible -607.21 (272.85 seconds) After 10400 nodes, 112 on tree, -606.154 best solution, best possible -607.21 (273.94 seconds) After 10500 nodes, 117 on tree, -606.154 best solution, best possible -607.21 (275.06 seconds) After 10600 nodes, 117 on tree, -606.154 best solution, best possible -607.21 (276.27 seconds) After 10700 nodes, 116 on tree, -606.154 best solution, best possible -607.21 (277.58 seconds) After 10800 nodes, 117 on tree, -606.154 best solution, best possible -607.21 (278.71 seconds) After 10900 nodes, 113 on tree, -606.154 best solution, best possible -607.21 (280.01 seconds) After 11000 nodes, 110 on tree, -606.154 best solution, best possible -607.21 (281.20 seconds) After 11100 nodes, 160 on tree, -606.154 best solution, best possible -607.21 (283.31 seconds) After 11200 nodes, 210 on tree, -606.154 best solution, best possible -607.21 (285.51 seconds) After 11300 nodes, 244 on tree, -606.154 best solution, best possible -607.21 (287.61 seconds) After 11400 nodes, 267 on tree, -606.154 best solution, best possible -607.21 (289.43 seconds) After 11500 nodes, 269 on tree, -606.154 best solution, best possible -607.21 (290.93 seconds) After 11600 nodes, 282 on tree, -606.154 best solution, best possible -607.21 (292.57 seconds) After 11700 nodes, 305 on tree, -606.154 best solution, best possible -607.21 (294.47 seconds) After 11800 nodes, 335 on tree, -606.154 best solution, best possible -607.21 (296.23 seconds) After 11900 nodes, 358 on tree, -606.154 best solution, best possible -607.21 (297.96 seconds) After 12000 nodes, 377 on tree, -606.154 best solution, best possible -607.21 (299.49 seconds) After 12100 nodes, 401 on tree, -606.154 best solution, best possible -607.21 (301.08 seconds) After 12200 nodes, 406 on tree, -606.154 best solution, best possible -607.21 (302.45 seconds) After 12300 nodes, 414 on tree, -606.154 best solution, best possible -607.21 (304.01 seconds) After 12400 nodes, 413 on tree, -606.154 best solution, best possible -607.21 (305.32 seconds) After 12500 nodes, 419 on tree, -606.154 best solution, best possible -607.21 (306.75 seconds) After 12600 nodes, 428 on tree, -606.154 best solution, best possible -607.21 (308.15 seconds) After 12700 nodes, 438 on tree, -606.154 best solution, best possible -607.21 (309.68 seconds) After 12800 nodes, 464 on tree, -606.154 best solution, best possible -607.21 (311.41 seconds) After 12900 nodes, 481 on tree, -606.154 best solution, best possible -607.21 (313.00 seconds) After 13000 nodes, 512 on tree, -606.154 best solution, best possible -607.21 (314.86 seconds) After 13100 nodes, 488 on tree, -606.154 best solution, best possible -607.21 (316.02 seconds) Full problem 3273 rows 5293 columns, reduced to 163 rows 222 columns Integer solution of -606.57 found by combine solutions after 342199 iterations and 13173 nodes (317.05 seconds) After 13200 nodes, 397 on tree, -606.57 best solution, best possible -607.21 (317.66 seconds) After 13300 nodes, 399 on tree, -606.57 best solution, best possible -607.21 (319.05 seconds) After 13400 nodes, 428 on tree, -606.57 best solution, best possible -607.21 (320.83 seconds) After 13500 nodes, 436 on tree, -606.57 best solution, best possible -607.21 (322.32 seconds) After 13600 nodes, 450 on tree, -606.57 best solution, best possible -607.21 (323.79 seconds) After 13700 nodes, 455 on tree, -606.57 best solution, best possible -607.21 (325.34 seconds) After 13800 nodes, 456 on tree, -606.57 best solution, best possible -607.21 (326.68 seconds) After 13900 nodes, 474 on tree, -606.57 best solution, best possible -607.21 (328.31 seconds) After 14000 nodes, 483 on tree, -606.57 best solution, best possible -607.21 (329.97 seconds) After 14100 nodes, 495 on tree, -606.57 best solution, best possible -607.21 (331.45 seconds) After 14200 nodes, 516 on tree, -606.57 best solution, best possible -607.21 (333.08 seconds) After 14300 nodes, 527 on tree, -606.57 best solution, best possible -607.21 (334.66 seconds) After 14400 nodes, 546 on tree, -606.57 best solution, best possible -607.21 (336.29 seconds) After 14500 nodes, 560 on tree, -606.57 best solution, best possible -607.21 (337.84 seconds) After 14600 nodes, 563 on tree, -606.57 best solution, best possible -607.21 (339.33 seconds) After 14700 nodes, 573 on tree, -606.57 best solution, best possible -607.21 (340.86 seconds) After 14800 nodes, 575 on tree, -606.57 best solution, best possible -607.21 (342.22 seconds) After 14900 nodes, 591 on tree, -606.57 best solution, best possible -607.21 (344.01 seconds) After 15000 nodes, 596 on tree, -606.57 best solution, best possible -607.21 (345.54 seconds) After 15100 nodes, 592 on tree, -606.57 best solution, best possible -607.21 (346.85 seconds) After 15200 nodes, 606 on tree, -606.57 best solution, best possible -607.21 (348.75 seconds) After 15300 nodes, 636 on tree, -606.57 best solution, best possible -607.21 (350.53 seconds) After 15400 nodes, 632 on tree, -606.57 best solution, best possible -607.21 (351.92 seconds) After 15500 nodes, 626 on tree, -606.57 best solution, best possible -607.21 (353.39 seconds) After 15600 nodes, 642 on tree, -606.57 best solution, best possible -607.21 (355.13 seconds) After 15700 nodes, 653 on tree, -606.57 best solution, best possible -607.21 (356.80 seconds) After 15800 nodes, 667 on tree, -606.57 best solution, best possible -607.21 (358.31 seconds) After 15900 nodes, 676 on tree, -606.57 best solution, best possible -607.21 (360.00 seconds) After 16000 nodes, 665 on tree, -606.57 best solution, best possible -607.21 (361.34 seconds) After 16100 nodes, 667 on tree, -606.57 best solution, best possible -607.21 (362.89 seconds) After 16200 nodes, 681 on tree, -606.57 best solution, best possible -607.21 (364.34 seconds) After 16300 nodes, 687 on tree, -606.57 best solution, best possible -607.21 (366.02 seconds) After 16400 nodes, 690 on tree, -606.57 best solution, best possible -607.21 (367.45 seconds) After 16500 nodes, 682 on tree, -606.57 best solution, best possible -607.21 (368.81 seconds) After 16600 nodes, 688 on tree, -606.57 best solution, best possible -607.21 (370.54 seconds) After 16700 nodes, 711 on tree, -606.57 best solution, best possible -607.21 (372.58 seconds) After 16800 nodes, 708 on tree, -606.57 best solution, best possible -607.21 (373.94 seconds) After 16900 nodes, 720 on tree, -606.57 best solution, best possible -607.21 (375.51 seconds) After 17000 nodes, 737 on tree, -606.57 best solution, best possible -607.21 (377.31 seconds) After 17100 nodes, 727 on tree, -606.57 best solution, best possible -607.21 (379.10 seconds) After 17200 nodes, 723 on tree, -606.57 best solution, best possible -607.21 (381.10 seconds) After 17300 nodes, 731 on tree, -606.57 best solution, best possible -607.21 (382.59 seconds) After 17400 nodes, 738 on tree, -606.57 best solution, best possible -607.21 (383.88 seconds) After 17500 nodes, 737 on tree, -606.57 best solution, best possible -607.21 (385.85 seconds) After 17600 nodes, 734 on tree, -606.57 best solution, best possible -607.21 (387.59 seconds) After 17700 nodes, 736 on tree, -606.57 best solution, best possible -607.21 (389.22 seconds) After 17800 nodes, 742 on tree, -606.57 best solution, best possible -607.21 (391.12 seconds) After 17900 nodes, 744 on tree, -606.57 best solution, best possible -607.21 (392.43 seconds) After 18000 nodes, 776 on tree, -606.57 best solution, best possible -607.21 (395.04 seconds) After 18100 nodes, 791 on tree, -606.57 best solution, best possible -607.21 (396.30 seconds) After 18200 nodes, 817 on tree, -606.57 best solution, best possible -607.21 (398.19 seconds) After 18300 nodes, 842 on tree, -606.57 best solution, best possible -607.21 (399.81 seconds) After 18400 nodes, 849 on tree, -606.57 best solution, best possible -607.21 (400.99 seconds) After 18500 nodes, 876 on tree, -606.57 best solution, best possible -607.21 (402.83 seconds) After 18600 nodes, 881 on tree, -606.57 best solution, best possible -607.21 (404.01 seconds) After 18700 nodes, 884 on tree, -606.57 best solution, best possible -607.21 (405.35 seconds) After 18800 nodes, 898 on tree, -606.57 best solution, best possible -607.21 (406.73 seconds) After 18900 nodes, 906 on tree, -606.57 best solution, best possible -607.21 (408.50 seconds) After 19000 nodes, 928 on tree, -606.57 best solution, best possible -607.21 (410.00 seconds) After 19100 nodes, 938 on tree, -606.57 best solution, best possible -607.21 (411.23 seconds) After 19200 nodes, 956 on tree, -606.57 best solution, best possible -607.21 (412.95 seconds) After 19300 nodes, 975 on tree, -606.57 best solution, best possible -607.21 (414.47 seconds) After 19400 nodes, 980 on tree, -606.57 best solution, best possible -607.21 (415.87 seconds) After 19500 nodes, 989 on tree, -606.57 best solution, best possible -607.21 (416.98 seconds) After 19600 nodes, 1016 on tree, -606.57 best solution, best possible -607.21 (418.73 seconds) After 19700 nodes, 1038 on tree, -606.57 best solution, best possible -607.21 (420.17 seconds) After 19800 nodes, 1038 on tree, -606.57 best solution, best possible -607.21 (421.38 seconds) After 19900 nodes, 1045 on tree, -606.57 best solution, best possible -607.21 (422.45 seconds) After 20000 nodes, 1074 on tree, -606.57 best solution, best possible -607.21 (424.11 seconds) After 20100 nodes, 1094 on tree, -606.57 best solution, best possible -607.21 (425.49 seconds) After 20200 nodes, 1110 on tree, -606.57 best solution, best possible -607.21 (427.11 seconds) After 20300 nodes, 1126 on tree, -606.57 best solution, best possible -607.21 (428.33 seconds) After 20400 nodes, 1140 on tree, -606.57 best solution, best possible -607.21 (429.67 seconds) After 20500 nodes, 1139 on tree, -606.57 best solution, best possible -607.21 (431.08 seconds) After 20600 nodes, 1155 on tree, -606.57 best solution, best possible -607.21 (432.69 seconds) After 20700 nodes, 1171 on tree, -606.57 best solution, best possible -607.21 (433.97 seconds) After 20800 nodes, 1177 on tree, -606.57 best solution, best possible -607.21 (435.10 seconds) After 20900 nodes, 1176 on tree, -606.57 best solution, best possible -607.21 (436.57 seconds) After 21000 nodes, 1167 on tree, -606.57 best solution, best possible -607.21 (437.93 seconds) Integer solution of -606.81 found after 498444 iterations and 21007 nodes (438.03 seconds) Full problem 3273 rows 5293 columns, reduced to 173 rows 235 columns Integer solution of -607.07 found by combine solutions after 498450 iterations and 21008 nodes (438.23 seconds) After 21100 nodes, 878 on tree, -607.07 best solution, best possible -607.21 (439.67 seconds) After 21200 nodes, 885 on tree, -607.07 best solution, best possible -607.21 (440.84 seconds) After 21300 nodes, 900 on tree, -607.07 best solution, best possible -607.21 (442.00 seconds) After 21400 nodes, 893 on tree, -607.07 best solution, best possible -607.21 (443.42 seconds) After 21500 nodes, 904 on tree, -607.07 best solution, best possible -607.21 (445.19 seconds) After 21600 nodes, 927 on tree, -607.07 best solution, best possible -607.21 (446.89 seconds) After 21700 nodes, 928 on tree, -607.07 best solution, best possible -607.21 (448.40 seconds) After 21800 nodes, 945 on tree, -607.07 best solution, best possible -607.21 (449.68 seconds) After 21900 nodes, 951 on tree, -607.07 best solution, best possible -607.21 (451.17 seconds) After 22000 nodes, 980 on tree, -607.07 best solution, best possible -607.21 (452.80 seconds) After 22100 nodes, 1001 on tree, -607.07 best solution, best possible -607.21 (454.36 seconds) After 22200 nodes, 1009 on tree, -607.07 best solution, best possible -607.21 (455.68 seconds) After 22300 nodes, 1025 on tree, -607.07 best solution, best possible -607.21 (456.82 seconds) After 22400 nodes, 1030 on tree, -607.07 best solution, best possible -607.21 (458.19 seconds) After 22500 nodes, 1040 on tree, -607.07 best solution, best possible -607.21 (459.79 seconds) After 22600 nodes, 1054 on tree, -607.07 best solution, best possible -607.21 (461.24 seconds) After 22700 nodes, 1047 on tree, -607.07 best solution, best possible -607.21 (462.60 seconds) After 22800 nodes, 1050 on tree, -607.07 best solution, best possible -607.21 (463.84 seconds) After 22900 nodes, 1056 on tree, -607.07 best solution, best possible -607.21 (464.99 seconds) After 23000 nodes, 1062 on tree, -607.07 best solution, best possible -607.21 (466.59 seconds) After 23100 nodes, 1060 on tree, -607.07 best solution, best possible -607.21 (468.06 seconds) After 23200 nodes, 1069 on tree, -607.07 best solution, best possible -607.21 (469.43 seconds) After 23300 nodes, 1068 on tree, -607.07 best solution, best possible -607.21 (470.83 seconds) After 23400 nodes, 1073 on tree, -607.07 best solution, best possible -607.21 (472.08 seconds) After 23500 nodes, 1072 on tree, -607.07 best solution, best possible -607.21 (473.17 seconds) After 23600 nodes, 1078 on tree, -607.07 best solution, best possible -607.21 (474.75 seconds) After 23700 nodes, 1093 on tree, -607.07 best solution, best possible -607.21 (476.37 seconds) After 23800 nodes, 1103 on tree, -607.07 best solution, best possible -607.21 (477.94 seconds) After 23900 nodes, 1112 on tree, -607.07 best solution, best possible -607.21 (479.46 seconds) After 24000 nodes, 1119 on tree, -607.07 best solution, best possible -607.21 (480.65 seconds) After 24100 nodes, 1119 on tree, -607.07 best solution, best possible -607.21 (481.93 seconds) After 24200 nodes, 1129 on tree, -607.07 best solution, best possible -607.21 (483.48 seconds) After 24300 nodes, 1146 on tree, -607.07 best solution, best possible -607.21 (485.01 seconds) After 24400 nodes, 1160 on tree, -607.07 best solution, best possible -607.21 (486.69 seconds) After 24500 nodes, 1162 on tree, -607.07 best solution, best possible -607.21 (487.99 seconds) After 24600 nodes, 1151 on tree, -607.07 best solution, best possible -607.21 (488.87 seconds) After 24700 nodes, 1155 on tree, -607.07 best solution, best possible -607.21 (490.30 seconds) After 24800 nodes, 1165 on tree, -607.07 best solution, best possible -607.21 (491.90 seconds) After 24900 nodes, 1177 on tree, -607.07 best solution, best possible -607.21 (493.37 seconds) After 25000 nodes, 1192 on tree, -607.07 best solution, best possible -607.21 (494.97 seconds) After 25100 nodes, 1162 on tree, -607.07 best solution, best possible -607.21 (496.16 seconds) After 25200 nodes, 1149 on tree, -607.07 best solution, best possible -607.21 (497.59 seconds) After 25300 nodes, 1149 on tree, -607.07 best solution, best possible -607.21 (498.88 seconds) After 25400 nodes, 1139 on tree, -607.07 best solution, best possible -607.21 (500.12 seconds) After 25500 nodes, 1120 on tree, -607.07 best solution, best possible -607.21 (501.29 seconds) After 25600 nodes, 1118 on tree, -607.07 best solution, best possible -607.21 (502.60 seconds) After 25700 nodes, 1108 on tree, -607.07 best solution, best possible -607.21 (503.84 seconds) After 25800 nodes, 1116 on tree, -607.07 best solution, best possible -607.21 (504.92 seconds) After 25900 nodes, 1109 on tree, -607.07 best solution, best possible -607.21 (505.98 seconds) After 26000 nodes, 1096 on tree, -607.07 best solution, best possible -607.21 (507.11 seconds) After 26100 nodes, 1103 on tree, -607.07 best solution, best possible -607.21 (508.22 seconds) After 26200 nodes, 1104 on tree, -607.07 best solution, best possible -607.21 (509.66 seconds) After 26300 nodes, 1115 on tree, -607.07 best solution, best possible -607.21 (511.08 seconds) After 26400 nodes, 1126 on tree, -607.07 best solution, best possible -607.21 (512.48 seconds) After 26500 nodes, 1154 on tree, -607.07 best solution, best possible -607.21 (513.88 seconds) After 26600 nodes, 1178 on tree, -607.07 best solution, best possible -607.21 (515.09 seconds) After 26700 nodes, 1191 on tree, -607.07 best solution, best possible -607.21 (516.56 seconds) After 26800 nodes, 1198 on tree, -607.07 best solution, best possible -607.21 (517.78 seconds) After 26900 nodes, 1222 on tree, -607.07 best solution, best possible -607.21 (519.34 seconds) After 27000 nodes, 1225 on tree, -607.07 best solution, best possible -607.21 (520.73 seconds) After 27100 nodes, 1232 on tree, -607.07 best solution, best possible -607.21 (522.06 seconds) After 27200 nodes, 1237 on tree, -607.07 best solution, best possible -607.21 (523.26 seconds) After 27300 nodes, 1247 on tree, -607.07 best solution, best possible -607.21 (524.75 seconds) After 27400 nodes, 1267 on tree, -607.07 best solution, best possible -607.21 (526.20 seconds) After 27500 nodes, 1279 on tree, -607.07 best solution, best possible -607.21 (527.75 seconds) After 27600 nodes, 1291 on tree, -607.07 best solution, best possible -607.21 (529.22 seconds) After 27700 nodes, 1301 on tree, -607.07 best solution, best possible -607.21 (530.54 seconds) After 27800 nodes, 1305 on tree, -607.07 best solution, best possible -607.21 (531.75 seconds) After 27900 nodes, 1307 on tree, -607.07 best solution, best possible -607.21 (533.08 seconds) After 28000 nodes, 1321 on tree, -607.07 best solution, best possible -607.21 (534.53 seconds) After 28100 nodes, 1331 on tree, -607.07 best solution, best possible -607.21 (535.95 seconds) After 28200 nodes, 1337 on tree, -607.07 best solution, best possible -607.21 (537.41 seconds) After 28300 nodes, 1332 on tree, -607.07 best solution, best possible -607.21 (538.65 seconds) After 28400 nodes, 1330 on tree, -607.07 best solution, best possible -607.21 (539.75 seconds) After 28500 nodes, 1323 on tree, -607.07 best solution, best possible -607.21 (541.20 seconds) After 28600 nodes, 1324 on tree, -607.07 best solution, best possible -607.21 (542.64 seconds) After 28700 nodes, 1333 on tree, -607.07 best solution, best possible -607.21 (543.88 seconds) After 28800 nodes, 1333 on tree, -607.07 best solution, best possible -607.21 (545.32 seconds) After 28900 nodes, 1331 on tree, -607.07 best solution, best possible -607.21 (546.70 seconds) After 29000 nodes, 1329 on tree, -607.07 best solution, best possible -607.21 (547.82 seconds) After 29100 nodes, 1300 on tree, -607.07 best solution, best possible -607.21 (548.86 seconds) After 29200 nodes, 1301 on tree, -607.07 best solution, best possible -607.21 (550.01 seconds) After 29300 nodes, 1290 on tree, -607.07 best solution, best possible -607.21 (550.96 seconds) After 29400 nodes, 1289 on tree, -607.07 best solution, best possible -607.21 (552.33 seconds) After 29500 nodes, 1269 on tree, -607.07 best solution, best possible -607.21 (553.61 seconds) After 29600 nodes, 1265 on tree, -607.07 best solution, best possible -607.21 (554.75 seconds) After 29700 nodes, 1284 on tree, -607.07 best solution, best possible -607.21 (555.95 seconds) After 29800 nodes, 1274 on tree, -607.07 best solution, best possible -607.21 (557.07 seconds) After 29900 nodes, 1265 on tree, -607.07 best solution, best possible -607.21 (558.25 seconds) After 30000 nodes, 1246 on tree, -607.07 best solution, best possible -607.21 (559.72 seconds) After 30100 nodes, 1251 on tree, -607.07 best solution, best possible -607.21 (561.15 seconds) After 30200 nodes, 1252 on tree, -607.07 best solution, best possible -607.21 (562.55 seconds) After 30300 nodes, 1259 on tree, -607.07 best solution, best possible -607.21 (563.84 seconds) After 30400 nodes, 1269 on tree, -607.07 best solution, best possible -607.21 (565.39 seconds) After 30500 nodes, 1303 on tree, -607.07 best solution, best possible -607.21 (566.66 seconds) After 30600 nodes, 1324 on tree, -607.07 best solution, best possible -607.21 (568.20 seconds) After 30700 nodes, 1325 on tree, -607.07 best solution, best possible -607.21 (569.46 seconds) After 30800 nodes, 1333 on tree, -607.07 best solution, best possible -607.21 (570.64 seconds) After 30900 nodes, 1344 on tree, -607.07 best solution, best possible -607.21 (572.26 seconds) After 31000 nodes, 1351 on tree, -607.07 best solution, best possible -607.21 (573.48 seconds) After 31100 nodes, 1358 on tree, -607.07 best solution, best possible -607.21 (575.02 seconds) After 31200 nodes, 1368 on tree, -607.07 best solution, best possible -607.21 (576.49 seconds) After 31300 nodes, 1362 on tree, -607.07 best solution, best possible -607.21 (577.61 seconds) After 31400 nodes, 1364 on tree, -607.07 best solution, best possible -607.21 (579.02 seconds) After 31500 nodes, 1381 on tree, -607.07 best solution, best possible -607.21 (580.54 seconds) After 31600 nodes, 1399 on tree, -607.07 best solution, best possible -607.21 (581.83 seconds) After 31700 nodes, 1405 on tree, -607.07 best solution, best possible -607.21 (583.13 seconds) After 31800 nodes, 1422 on tree, -607.07 best solution, best possible -607.21 (584.97 seconds) After 31900 nodes, 1426 on tree, -607.07 best solution, best possible -607.21 (586.27 seconds) After 32000 nodes, 1437 on tree, -607.07 best solution, best possible -607.21 (587.94 seconds) After 32100 nodes, 1454 on tree, -607.07 best solution, best possible -607.21 (589.28 seconds) After 32200 nodes, 1463 on tree, -607.07 best solution, best possible -607.21 (590.52 seconds) After 32300 nodes, 1463 on tree, -607.07 best solution, best possible -607.21 (591.76 seconds) After 32400 nodes, 1477 on tree, -607.07 best solution, best possible -607.21 (593.39 seconds) After 32500 nodes, 1482 on tree, -607.07 best solution, best possible -607.21 (594.66 seconds) After 32600 nodes, 1485 on tree, -607.07 best solution, best possible -607.21 (596.06 seconds) After 32700 nodes, 1492 on tree, -607.07 best solution, best possible -607.21 (597.47 seconds) After 32800 nodes, 1480 on tree, -607.07 best solution, best possible -607.21 (598.57 seconds) After 32900 nodes, 1491 on tree, -607.07 best solution, best possible -607.21 (599.90 seconds) After 33000 nodes, 1485 on tree, -607.07 best solution, best possible -607.21 (601.32 seconds) After 33100 nodes, 1463 on tree, -607.07 best solution, best possible -607.21 (602.90 seconds) After 33200 nodes, 1457 on tree, -607.07 best solution, best possible -607.21 (604.05 seconds) After 33300 nodes, 1451 on tree, -607.07 best solution, best possible -607.21 (605.48 seconds) After 33400 nodes, 1456 on tree, -607.07 best solution, best possible -607.21 (607.72 seconds) After 33500 nodes, 1462 on tree, -607.07 best solution, best possible -607.21 (609.13 seconds) Integer solution of -607.141 found after 714877 iterations and 33588 nodes (610.19 seconds) Full problem 3273 rows 5293 columns, reduced to 182 rows 247 columns After 33600 nodes, 1444 on tree, -607.141 best solution, best possible -607.21 (610.57 seconds) After 33700 nodes, 1451 on tree, -607.141 best solution, best possible -607.21 (611.81 seconds) After 33800 nodes, 1453 on tree, -607.141 best solution, best possible -607.21 (613.24 seconds) After 33900 nodes, 1462 on tree, -607.141 best solution, best possible -607.21 (614.74 seconds) After 34000 nodes, 1481 on tree, -607.141 best solution, best possible -607.21 (616.03 seconds) After 34100 nodes, 1491 on tree, -607.141 best solution, best possible -607.21 (617.65 seconds) After 34200 nodes, 1503 on tree, -607.141 best solution, best possible -607.21 (618.90 seconds) After 34300 nodes, 1509 on tree, -607.141 best solution, best possible -607.21 (620.23 seconds) After 34400 nodes, 1512 on tree, -607.141 best solution, best possible -607.21 (621.68 seconds) After 34500 nodes, 1521 on tree, -607.141 best solution, best possible -607.21 (623.01 seconds) After 34600 nodes, 1523 on tree, -607.141 best solution, best possible -607.21 (624.20 seconds) After 34700 nodes, 1532 on tree, -607.141 best solution, best possible -607.21 (625.94 seconds) After 34800 nodes, 1531 on tree, -607.141 best solution, best possible -607.21 (627.19 seconds) After 34900 nodes, 1532 on tree, -607.141 best solution, best possible -607.21 (628.56 seconds) After 35000 nodes, 1541 on tree, -607.141 best solution, best possible -607.21 (630.18 seconds) After 35100 nodes, 1553 on tree, -607.141 best solution, best possible -607.21 (631.56 seconds) After 35200 nodes, 1552 on tree, -607.141 best solution, best possible -607.21 (632.76 seconds) After 35300 nodes, 1549 on tree, -607.141 best solution, best possible -607.21 (634.33 seconds) After 35400 nodes, 1564 on tree, -607.141 best solution, best possible -607.21 (635.72 seconds) After 35500 nodes, 1575 on tree, -607.141 best solution, best possible -607.21 (637.07 seconds) After 35600 nodes, 1577 on tree, -607.141 best solution, best possible -607.21 (638.36 seconds) After 35700 nodes, 1588 on tree, -607.141 best solution, best possible -607.21 (639.78 seconds) After 35800 nodes, 1595 on tree, -607.141 best solution, best possible -607.21 (640.93 seconds) After 35900 nodes, 1599 on tree, -607.141 best solution, best possible -607.21 (642.48 seconds) After 36000 nodes, 1612 on tree, -607.141 best solution, best possible -607.21 (643.77 seconds) After 36100 nodes, 1614 on tree, -607.141 best solution, best possible -607.21 (645.13 seconds) After 36200 nodes, 1604 on tree, -607.141 best solution, best possible -607.21 (646.43 seconds) After 36300 nodes, 1605 on tree, -607.141 best solution, best possible -607.21 (647.76 seconds) After 36400 nodes, 1609 on tree, -607.141 best solution, best possible -607.21 (649.02 seconds) After 36500 nodes, 1616 on tree, -607.141 best solution, best possible -607.21 (650.51 seconds) After 36600 nodes, 1618 on tree, -607.141 best solution, best possible -607.21 (651.80 seconds) After 36700 nodes, 1617 on tree, -607.141 best solution, best possible -607.21 (653.01 seconds) After 36800 nodes, 1618 on tree, -607.141 best solution, best possible -607.21 (654.52 seconds) After 36900 nodes, 1622 on tree, -607.141 best solution, best possible -607.21 (655.86 seconds) After 37000 nodes, 1615 on tree, -607.141 best solution, best possible -607.21 (656.97 seconds) After 37100 nodes, 1596 on tree, -607.141 best solution, best possible -607.21 (658.28 seconds) After 37200 nodes, 1592 on tree, -607.141 best solution, best possible -607.21 (659.75 seconds) After 37300 nodes, 1598 on tree, -607.141 best solution, best possible -607.21 (661.37 seconds) After 37400 nodes, 1623 on tree, -607.141 best solution, best possible -607.21 (663.21 seconds) After 37500 nodes, 1645 on tree, -607.141 best solution, best possible -607.21 (664.61 seconds) After 37600 nodes, 1656 on tree, -607.141 best solution, best possible -607.21 (666.17 seconds) After 37700 nodes, 1663 on tree, -607.141 best solution, best possible -607.21 (667.73 seconds) After 37800 nodes, 1665 on tree, -607.141 best solution, best possible -607.21 (669.08 seconds) After 37900 nodes, 1666 on tree, -607.141 best solution, best possible -607.21 (670.77 seconds) After 38000 nodes, 1698 on tree, -607.141 best solution, best possible -607.21 (672.57 seconds) After 38100 nodes, 1696 on tree, -607.141 best solution, best possible -607.21 (673.89 seconds) After 38200 nodes, 1709 on tree, -607.141 best solution, best possible -607.21 (675.26 seconds) After 38300 nodes, 1705 on tree, -607.141 best solution, best possible -607.21 (676.58 seconds) After 38400 nodes, 1720 on tree, -607.141 best solution, best possible -607.21 (678.04 seconds) After 38500 nodes, 1717 on tree, -607.141 best solution, best possible -607.21 (679.49 seconds) After 38600 nodes, 1735 on tree, -607.141 best solution, best possible -607.21 (680.82 seconds) After 38700 nodes, 1741 on tree, -607.141 best solution, best possible -607.21 (682.31 seconds) After 38800 nodes, 1754 on tree, -607.141 best solution, best possible -607.21 (683.68 seconds) After 38900 nodes, 1756 on tree, -607.141 best solution, best possible -607.21 (685.15 seconds) After 39000 nodes, 1768 on tree, -607.141 best solution, best possible -607.21 (686.64 seconds) After 39100 nodes, 1780 on tree, -607.141 best solution, best possible -607.21 (687.95 seconds) After 39200 nodes, 1786 on tree, -607.141 best solution, best possible -607.21 (689.42 seconds) After 39300 nodes, 1792 on tree, -607.141 best solution, best possible -607.21 (690.74 seconds) After 39400 nodes, 1793 on tree, -607.141 best solution, best possible -607.21 (691.99 seconds) After 39500 nodes, 1797 on tree, -607.141 best solution, best possible -607.21 (693.35 seconds) After 39600 nodes, 1801 on tree, -607.141 best solution, best possible -607.21 (694.81 seconds) After 39700 nodes, 1811 on tree, -607.141 best solution, best possible -607.21 (696.00 seconds) After 39800 nodes, 1820 on tree, -607.141 best solution, best possible -607.21 (697.52 seconds) After 39900 nodes, 1817 on tree, -607.141 best solution, best possible -607.21 (698.76 seconds) After 40000 nodes, 1814 on tree, -607.141 best solution, best possible -607.21 (700.08 seconds) After 40100 nodes, 1815 on tree, -607.141 best solution, best possible -607.21 (701.49 seconds) After 40200 nodes, 1811 on tree, -607.141 best solution, best possible -607.21 (702.80 seconds) After 40300 nodes, 1817 on tree, -607.141 best solution, best possible -607.21 (703.91 seconds) After 40400 nodes, 1828 on tree, -607.141 best solution, best possible -607.21 (705.33 seconds) After 40500 nodes, 1840 on tree, -607.141 best solution, best possible -607.21 (706.66 seconds) After 40600 nodes, 1837 on tree, -607.141 best solution, best possible -607.21 (707.98 seconds) After 40700 nodes, 1841 on tree, -607.141 best solution, best possible -607.21 (709.38 seconds) After 40800 nodes, 1849 on tree, -607.141 best solution, best possible -607.21 (710.66 seconds) After 40900 nodes, 1839 on tree, -607.141 best solution, best possible -607.21 (711.87 seconds) After 41000 nodes, 1844 on tree, -607.141 best solution, best possible -607.21 (713.34 seconds) After 41100 nodes, 1846 on tree, -607.141 best solution, best possible -607.21 (714.65 seconds) After 41200 nodes, 1847 on tree, -607.141 best solution, best possible -607.21 (715.53 seconds) After 41300 nodes, 1856 on tree, -607.141 best solution, best possible -607.21 (716.96 seconds) After 41400 nodes, 1876 on tree, -607.141 best solution, best possible -607.21 (718.40 seconds) After 41500 nodes, 1880 on tree, -607.141 best solution, best possible -607.21 (719.44 seconds) After 41600 nodes, 1886 on tree, -607.141 best solution, best possible -607.21 (720.52 seconds) After 41700 nodes, 1908 on tree, -607.141 best solution, best possible -607.21 (722.10 seconds) After 41800 nodes, 1935 on tree, -607.141 best solution, best possible -607.21 (723.61 seconds) After 41900 nodes, 1971 on tree, -607.141 best solution, best possible -607.21 (725.45 seconds) After 42000 nodes, 1985 on tree, -607.141 best solution, best possible -607.21 (727.17 seconds) After 42100 nodes, 1992 on tree, -607.141 best solution, best possible -607.21 (728.58 seconds) After 42200 nodes, 1991 on tree, -607.141 best solution, best possible -607.21 (729.84 seconds) After 42300 nodes, 2007 on tree, -607.141 best solution, best possible -607.21 (731.42 seconds) After 42400 nodes, 1999 on tree, -607.141 best solution, best possible -607.21 (732.51 seconds) After 42500 nodes, 1998 on tree, -607.141 best solution, best possible -607.21 (733.82 seconds) After 42600 nodes, 2010 on tree, -607.141 best solution, best possible -607.21 (735.24 seconds) After 42700 nodes, 2005 on tree, -607.141 best solution, best possible -607.21 (736.50 seconds) After 42800 nodes, 2021 on tree, -607.141 best solution, best possible -607.21 (737.87 seconds) After 42900 nodes, 2015 on tree, -607.141 best solution, best possible -607.21 (739.08 seconds) After 43000 nodes, 2019 on tree, -607.141 best solution, best possible -607.21 (740.36 seconds) After 43100 nodes, 2020 on tree, -607.141 best solution, best possible -607.21 (741.48 seconds) After 43200 nodes, 2023 on tree, -607.141 best solution, best possible -607.21 (742.80 seconds) After 43300 nodes, 2017 on tree, -607.141 best solution, best possible -607.21 (743.98 seconds) After 43400 nodes, 2032 on tree, -607.141 best solution, best possible -607.21 (745.39 seconds) After 43500 nodes, 2029 on tree, -607.141 best solution, best possible -607.21 (746.58 seconds) After 43600 nodes, 2036 on tree, -607.141 best solution, best possible -607.21 (748.03 seconds) After 43700 nodes, 2050 on tree, -607.141 best solution, best possible -607.21 (749.41 seconds) After 43800 nodes, 2068 on tree, -607.141 best solution, best possible -607.21 (750.61 seconds) After 43900 nodes, 2081 on tree, -607.141 best solution, best possible -607.21 (751.82 seconds) After 44000 nodes, 2080 on tree, -607.141 best solution, best possible -607.21 (753.01 seconds) After 44100 nodes, 2079 on tree, -607.141 best solution, best possible -607.21 (754.25 seconds) After 44200 nodes, 2089 on tree, -607.141 best solution, best possible -607.21 (755.52 seconds) After 44300 nodes, 2098 on tree, -607.141 best solution, best possible -607.21 (756.85 seconds) After 44400 nodes, 2113 on tree, -607.141 best solution, best possible -607.21 (758.09 seconds) After 44500 nodes, 2122 on tree, -607.141 best solution, best possible -607.21 (759.32 seconds) After 44600 nodes, 2118 on tree, -607.141 best solution, best possible -607.21 (760.40 seconds) After 44700 nodes, 2108 on tree, -607.141 best solution, best possible -607.21 (761.60 seconds) After 44800 nodes, 2099 on tree, -607.141 best solution, best possible -607.21 (762.67 seconds) After 44900 nodes, 2095 on tree, -607.141 best solution, best possible -607.21 (763.99 seconds) After 45000 nodes, 2099 on tree, -607.141 best solution, best possible -607.21 (765.05 seconds) After 45100 nodes, 2099 on tree, -607.141 best solution, best possible -607.21 (766.24 seconds) After 45200 nodes, 2087 on tree, -607.141 best solution, best possible -607.21 (767.24 seconds) After 45300 nodes, 2051 on tree, -607.141 best solution, best possible -607.21 (768.14 seconds) After 45400 nodes, 2028 on tree, -607.141 best solution, best possible -607.21 (769.30 seconds) After 45500 nodes, 2021 on tree, -607.141 best solution, best possible -607.21 (770.44 seconds) After 45600 nodes, 2023 on tree, -607.141 best solution, best possible -607.21 (771.68 seconds) After 45700 nodes, 2042 on tree, -607.141 best solution, best possible -607.21 (773.15 seconds) After 45800 nodes, 2045 on tree, -607.141 best solution, best possible -607.21 (774.34 seconds) After 45900 nodes, 2060 on tree, -607.141 best solution, best possible -607.21 (776.20 seconds) After 46000 nodes, 2092 on tree, -607.141 best solution, best possible -607.21 (777.96 seconds) After 46100 nodes, 2107 on tree, -607.141 best solution, best possible -607.21 (779.26 seconds) After 46200 nodes, 2111 on tree, -607.141 best solution, best possible -607.21 (780.38 seconds) After 46300 nodes, 2106 on tree, -607.141 best solution, best possible -607.21 (781.72 seconds) After 46400 nodes, 2099 on tree, -607.141 best solution, best possible -607.21 (783.08 seconds) After 46500 nodes, 2112 on tree, -607.141 best solution, best possible -607.21 (784.21 seconds) After 46600 nodes, 2128 on tree, -607.141 best solution, best possible -607.21 (785.48 seconds) After 46700 nodes, 2131 on tree, -607.141 best solution, best possible -607.21 (786.81 seconds) After 46800 nodes, 2150 on tree, -607.141 best solution, best possible -607.21 (788.17 seconds) After 46900 nodes, 2154 on tree, -607.141 best solution, best possible -607.21 (789.35 seconds) After 47000 nodes, 2165 on tree, -607.141 best solution, best possible -607.21 (790.44 seconds) After 47100 nodes, 2182 on tree, -607.141 best solution, best possible -607.21 (791.45 seconds) After 47200 nodes, 2177 on tree, -607.141 best solution, best possible -607.21 (792.67 seconds) After 47300 nodes, 2170 on tree, -607.141 best solution, best possible -607.21 (793.80 seconds) After 47400 nodes, 2184 on tree, -607.141 best solution, best possible -607.21 (795.24 seconds) After 47500 nodes, 2190 on tree, -607.141 best solution, best possible -607.21 (796.56 seconds) After 47600 nodes, 2198 on tree, -607.141 best solution, best possible -607.21 (797.62 seconds) After 47700 nodes, 2200 on tree, -607.141 best solution, best possible -607.21 (798.68 seconds) After 47800 nodes, 2192 on tree, -607.141 best solution, best possible -607.21 (799.75 seconds) After 47900 nodes, 2196 on tree, -607.141 best solution, best possible -607.21 (801.00 seconds) After 48000 nodes, 2208 on tree, -607.141 best solution, best possible -607.21 (802.29 seconds) After 48100 nodes, 2214 on tree, -607.141 best solution, best possible -607.21 (803.43 seconds) After 48200 nodes, 2214 on tree, -607.141 best solution, best possible -607.21 (804.42 seconds) After 48300 nodes, 2216 on tree, -607.141 best solution, best possible -607.21 (805.54 seconds) After 48400 nodes, 2230 on tree, -607.141 best solution, best possible -607.21 (806.95 seconds) After 48500 nodes, 2235 on tree, -607.141 best solution, best possible -607.21 (808.28 seconds) After 48600 nodes, 2234 on tree, -607.141 best solution, best possible -607.21 (809.41 seconds) After 48700 nodes, 2237 on tree, -607.141 best solution, best possible -607.21 (810.48 seconds) After 48800 nodes, 2258 on tree, -607.141 best solution, best possible -607.21 (811.53 seconds) After 48900 nodes, 2270 on tree, -607.141 best solution, best possible -607.21 (812.75 seconds) After 49000 nodes, 2288 on tree, -607.141 best solution, best possible -607.21 (814.12 seconds) After 49100 nodes, 2319 on tree, -607.141 best solution, best possible -607.21 (815.61 seconds) After 49200 nodes, 2346 on tree, -607.141 best solution, best possible -607.21 (816.96 seconds) After 49300 nodes, 2381 on tree, -607.141 best solution, best possible -607.21 (818.34 seconds) After 49400 nodes, 2395 on tree, -607.141 best solution, best possible -607.21 (819.57 seconds) After 49500 nodes, 2428 on tree, -607.141 best solution, best possible -607.21 (820.91 seconds) After 49600 nodes, 2464 on tree, -607.141 best solution, best possible -607.21 (822.54 seconds) After 49700 nodes, 2485 on tree, -607.141 best solution, best possible -607.21 (823.71 seconds) After 49800 nodes, 2490 on tree, -607.141 best solution, best possible -607.21 (824.62 seconds) After 49900 nodes, 2432 on tree, -607.141 best solution, best possible -607.21 (825.51 seconds) After 50000 nodes, 2399 on tree, -607.141 best solution, best possible -607.21 (826.70 seconds) After 50100 nodes, 2397 on tree, -607.141 best solution, best possible -607.21 (827.90 seconds) After 50200 nodes, 2406 on tree, -607.141 best solution, best possible -607.21 (829.12 seconds) After 50300 nodes, 2415 on tree, -607.141 best solution, best possible -607.21 (830.18 seconds) After 50400 nodes, 2437 on tree, -607.141 best solution, best possible -607.21 (831.29 seconds) After 50500 nodes, 2441 on tree, -607.141 best solution, best possible -607.21 (832.41 seconds) After 50600 nodes, 2439 on tree, -607.141 best solution, best possible -607.21 (833.66 seconds) After 50700 nodes, 2433 on tree, -607.141 best solution, best possible -607.21 (834.88 seconds) After 50800 nodes, 2441 on tree, -607.141 best solution, best possible -607.21 (836.02 seconds) After 50900 nodes, 2440 on tree, -607.141 best solution, best possible -607.21 (837.09 seconds) After 51000 nodes, 2443 on tree, -607.141 best solution, best possible -607.21 (838.15 seconds) After 51100 nodes, 2447 on tree, -607.141 best solution, best possible -607.21 (839.36 seconds) After 51200 nodes, 2441 on tree, -607.141 best solution, best possible -607.21 (840.56 seconds) After 51300 nodes, 2443 on tree, -607.141 best solution, best possible -607.21 (841.75 seconds) After 51400 nodes, 2440 on tree, -607.141 best solution, best possible -607.21 (842.86 seconds) After 51500 nodes, 2450 on tree, -607.141 best solution, best possible -607.21 (844.03 seconds) After 51600 nodes, 2461 on tree, -607.141 best solution, best possible -607.21 (845.14 seconds) After 51700 nodes, 2457 on tree, -607.141 best solution, best possible -607.21 (846.25 seconds) After 51800 nodes, 2456 on tree, -607.141 best solution, best possible -607.21 (847.38 seconds) After 51900 nodes, 2457 on tree, -607.141 best solution, best possible -607.21 (848.47 seconds) After 52000 nodes, 2469 on tree, -607.141 best solution, best possible -607.21 (849.68 seconds) After 52100 nodes, 2482 on tree, -607.141 best solution, best possible -607.21 (850.83 seconds) After 52200 nodes, 2494 on tree, -607.141 best solution, best possible -607.21 (851.93 seconds) After 52300 nodes, 2501 on tree, -607.141 best solution, best possible -607.21 (853.11 seconds) After 52400 nodes, 2496 on tree, -607.141 best solution, best possible -607.21 (854.31 seconds) After 52500 nodes, 2506 on tree, -607.141 best solution, best possible -607.21 (855.57 seconds) After 52600 nodes, 2506 on tree, -607.141 best solution, best possible -607.21 (856.73 seconds) After 52700 nodes, 2505 on tree, -607.141 best solution, best possible -607.21 (857.83 seconds) After 52800 nodes, 2520 on tree, -607.141 best solution, best possible -607.21 (859.10 seconds) After 52900 nodes, 2526 on tree, -607.141 best solution, best possible -607.21 (860.27 seconds) After 53000 nodes, 2531 on tree, -607.141 best solution, best possible -607.21 (861.56 seconds) After 53100 nodes, 2520 on tree, -607.141 best solution, best possible -607.21 (862.73 seconds) After 53200 nodes, 2511 on tree, -607.141 best solution, best possible -607.21 (863.73 seconds) After 53300 nodes, 2491 on tree, -607.141 best solution, best possible -607.21 (864.60 seconds) After 53400 nodes, 2496 on tree, -607.141 best solution, best possible -607.21 (865.51 seconds) After 53500 nodes, 2509 on tree, -607.141 best solution, best possible -607.21 (866.71 seconds) After 53600 nodes, 2511 on tree, -607.141 best solution, best possible -607.21 (868.01 seconds) After 53700 nodes, 2520 on tree, -607.141 best solution, best possible -607.21 (869.09 seconds) After 53800 nodes, 2531 on tree, -607.141 best solution, best possible -607.21 (870.09 seconds) After 53900 nodes, 2505 on tree, -607.141 best solution, best possible -607.21 (870.99 seconds) After 54000 nodes, 2517 on tree, -607.141 best solution, best possible -607.21 (872.23 seconds) After 54100 nodes, 2512 on tree, -607.141 best solution, best possible -607.21 (873.31 seconds) After 54200 nodes, 2523 on tree, -607.141 best solution, best possible -607.21 (874.51 seconds) After 54300 nodes, 2527 on tree, -607.141 best solution, best possible -607.21 (875.60 seconds) After 54400 nodes, 2540 on tree, -607.141 best solution, best possible -607.21 (876.89 seconds) After 54500 nodes, 2547 on tree, -607.141 best solution, best possible -607.21 (878.08 seconds) After 54600 nodes, 2584 on tree, -607.141 best solution, best possible -607.21 (879.27 seconds) After 54700 nodes, 2592 on tree, -607.141 best solution, best possible -607.21 (880.44 seconds) After 54800 nodes, 2591 on tree, -607.141 best solution, best possible -607.21 (881.48 seconds) After 54900 nodes, 2600 on tree, -607.141 best solution, best possible -607.21 (882.60 seconds) After 55000 nodes, 2617 on tree, -607.141 best solution, best possible -607.21 (883.91 seconds) After 55100 nodes, 2611 on tree, -607.141 best solution, best possible -607.21 (885.04 seconds) After 55200 nodes, 2601 on tree, -607.141 best solution, best possible -607.21 (886.06 seconds) After 55300 nodes, 2609 on tree, -607.141 best solution, best possible -607.21 (887.21 seconds) After 55400 nodes, 2615 on tree, -607.141 best solution, best possible -607.21 (888.37 seconds) After 55500 nodes, 2632 on tree, -607.141 best solution, best possible -607.21 (889.57 seconds) After 55600 nodes, 2648 on tree, -607.141 best solution, best possible -607.21 (890.89 seconds) After 55700 nodes, 2658 on tree, -607.141 best solution, best possible -607.21 (892.08 seconds) After 55800 nodes, 2668 on tree, -607.141 best solution, best possible -607.21 (893.36 seconds) After 55900 nodes, 2673 on tree, -607.141 best solution, best possible -607.21 (894.50 seconds) After 56000 nodes, 2676 on tree, -607.141 best solution, best possible -607.21 (895.57 seconds) After 56100 nodes, 2698 on tree, -607.141 best solution, best possible -607.21 (896.80 seconds) After 56200 nodes, 2712 on tree, -607.141 best solution, best possible -607.21 (898.06 seconds) After 56300 nodes, 2718 on tree, -607.141 best solution, best possible -607.21 (899.34 seconds) After 56400 nodes, 2719 on tree, -607.141 best solution, best possible -607.21 (900.43 seconds) After 56500 nodes, 2724 on tree, -607.141 best solution, best possible -607.21 (901.54 seconds) After 56600 nodes, 2723 on tree, -607.141 best solution, best possible -607.21 (902.60 seconds) After 56700 nodes, 2730 on tree, -607.141 best solution, best possible -607.21 (903.78 seconds) After 56800 nodes, 2741 on tree, -607.141 best solution, best possible -607.21 (904.95 seconds) After 56900 nodes, 2742 on tree, -607.141 best solution, best possible -607.21 (906.20 seconds) After 57000 nodes, 2732 on tree, -607.141 best solution, best possible -607.21 (907.23 seconds) After 57100 nodes, 2709 on tree, -607.141 best solution, best possible -607.21 (908.26 seconds) After 57200 nodes, 2709 on tree, -607.141 best solution, best possible -607.21 (909.51 seconds) After 57300 nodes, 2728 on tree, -607.141 best solution, best possible -607.21 (911.44 seconds) After 57400 nodes, 2727 on tree, -607.141 best solution, best possible -607.21 (912.99 seconds) After 57500 nodes, 2711 on tree, -607.141 best solution, best possible -607.21 (913.98 seconds) After 57600 nodes, 2707 on tree, -607.141 best solution, best possible -607.21 (915.03 seconds) After 57700 nodes, 2710 on tree, -607.141 best solution, best possible -607.21 (915.99 seconds) After 57800 nodes, 2707 on tree, -607.141 best solution, best possible -607.21 (917.05 seconds) After 57900 nodes, 2712 on tree, -607.141 best solution, best possible -607.21 (918.05 seconds) After 58000 nodes, 2712 on tree, -607.141 best solution, best possible -607.21 (919.09 seconds) After 58100 nodes, 2714 on tree, -607.141 best solution, best possible -607.21 (920.14 seconds) After 58200 nodes, 2729 on tree, -607.141 best solution, best possible -607.21 (921.33 seconds) After 58300 nodes, 2724 on tree, -607.141 best solution, best possible -607.21 (922.43 seconds) After 58400 nodes, 2742 on tree, -607.141 best solution, best possible -607.21 (923.69 seconds) After 58500 nodes, 2746 on tree, -607.141 best solution, best possible -607.21 (924.80 seconds) After 58600 nodes, 2793 on tree, -607.141 best solution, best possible -607.21 (925.89 seconds) After 58700 nodes, 2798 on tree, -607.141 best solution, best possible -607.21 (926.98 seconds) After 58800 nodes, 2804 on tree, -607.141 best solution, best possible -607.21 (927.98 seconds) After 58900 nodes, 2804 on tree, -607.141 best solution, best possible -607.21 (929.09 seconds) After 59000 nodes, 2832 on tree, -607.141 best solution, best possible -607.21 (930.42 seconds) After 59100 nodes, 2847 on tree, -607.141 best solution, best possible -607.21 (931.49 seconds) After 59200 nodes, 2856 on tree, -607.141 best solution, best possible -607.21 (932.49 seconds) After 59300 nodes, 2868 on tree, -607.141 best solution, best possible -607.21 (933.67 seconds) After 59400 nodes, 2867 on tree, -607.141 best solution, best possible -607.21 (934.70 seconds) After 59500 nodes, 2873 on tree, -607.141 best solution, best possible -607.21 (935.77 seconds) After 59600 nodes, 2875 on tree, -607.141 best solution, best possible -607.21 (936.88 seconds) After 59700 nodes, 2876 on tree, -607.141 best solution, best possible -607.21 (937.93 seconds) After 59800 nodes, 2893 on tree, -607.141 best solution, best possible -607.21 (939.01 seconds) After 59900 nodes, 2905 on tree, -607.141 best solution, best possible -607.21 (940.04 seconds) After 60000 nodes, 2907 on tree, -607.141 best solution, best possible -607.21 (941.13 seconds) After 60100 nodes, 2918 on tree, -607.141 best solution, best possible -607.21 (942.15 seconds) After 60200 nodes, 2920 on tree, -607.141 best solution, best possible -607.21 (943.33 seconds) After 60300 nodes, 2914 on tree, -607.141 best solution, best possible -607.21 (944.56 seconds) After 60400 nodes, 2916 on tree, -607.141 best solution, best possible -607.21 (945.57 seconds) After 60500 nodes, 2915 on tree, -607.141 best solution, best possible -607.21 (946.49 seconds) After 60600 nodes, 2928 on tree, -607.141 best solution, best possible -607.21 (947.60 seconds) After 60700 nodes, 2926 on tree, -607.141 best solution, best possible -607.21 (948.81 seconds) After 60800 nodes, 2937 on tree, -607.141 best solution, best possible -607.21 (949.90 seconds) After 60900 nodes, 2947 on tree, -607.141 best solution, best possible -607.21 (950.94 seconds) After 61000 nodes, 2955 on tree, -607.141 best solution, best possible -607.21 (952.12 seconds) After 61100 nodes, 2928 on tree, -607.141 best solution, best possible -607.21 (953.10 seconds) After 61200 nodes, 2904 on tree, -607.141 best solution, best possible -607.21 (954.13 seconds) After 61300 nodes, 2902 on tree, -607.141 best solution, best possible -607.21 (955.13 seconds) After 61400 nodes, 2906 on tree, -607.141 best solution, best possible -607.21 (956.08 seconds) After 61500 nodes, 2898 on tree, -607.141 best solution, best possible -607.21 (957.04 seconds) After 61600 nodes, 2880 on tree, -607.141 best solution, best possible -607.21 (958.05 seconds) After 61700 nodes, 2880 on tree, -607.141 best solution, best possible -607.21 (959.02 seconds) After 61800 nodes, 2884 on tree, -607.141 best solution, best possible -607.21 (960.00 seconds) After 61900 nodes, 2885 on tree, -607.141 best solution, best possible -607.21 (961.01 seconds) After 62000 nodes, 2882 on tree, -607.141 best solution, best possible -607.21 (961.97 seconds) After 62100 nodes, 2894 on tree, -607.141 best solution, best possible -607.21 (963.10 seconds) After 62200 nodes, 2905 on tree, -607.141 best solution, best possible -607.21 (964.12 seconds) After 62300 nodes, 2922 on tree, -607.141 best solution, best possible -607.21 (965.22 seconds) After 62400 nodes, 2930 on tree, -607.141 best solution, best possible -607.21 (966.28 seconds) After 62500 nodes, 2937 on tree, -607.141 best solution, best possible -607.21 (967.37 seconds) After 62600 nodes, 2947 on tree, -607.141 best solution, best possible -607.21 (968.61 seconds) After 62700 nodes, 2997 on tree, -607.141 best solution, best possible -607.21 (969.84 seconds) After 62800 nodes, 3014 on tree, -607.141 best solution, best possible -607.21 (970.89 seconds) After 62900 nodes, 3013 on tree, -607.141 best solution, best possible -607.21 (971.89 seconds) After 63000 nodes, 3014 on tree, -607.141 best solution, best possible -607.21 (972.99 seconds) After 63100 nodes, 3027 on tree, -607.141 best solution, best possible -607.21 (974.07 seconds) After 63200 nodes, 3031 on tree, -607.141 best solution, best possible -607.21 (975.14 seconds) After 63300 nodes, 3043 on tree, -607.141 best solution, best possible -607.21 (976.29 seconds) After 63400 nodes, 3042 on tree, -607.141 best solution, best possible -607.21 (977.46 seconds) After 63500 nodes, 3057 on tree, -607.141 best solution, best possible -607.21 (978.53 seconds) After 63600 nodes, 3054 on tree, -607.141 best solution, best possible -607.21 (979.46 seconds) After 63700 nodes, 3064 on tree, -607.141 best solution, best possible -607.21 (980.63 seconds) After 63800 nodes, 3063 on tree, -607.141 best solution, best possible -607.21 (981.71 seconds) After 63900 nodes, 3064 on tree, -607.141 best solution, best possible -607.21 (982.81 seconds) After 64000 nodes, 3066 on tree, -607.141 best solution, best possible -607.21 (983.91 seconds) After 64100 nodes, 3064 on tree, -607.141 best solution, best possible -607.21 (985.07 seconds) After 64200 nodes, 3086 on tree, -607.141 best solution, best possible -607.21 (986.15 seconds) After 64300 nodes, 3087 on tree, -607.141 best solution, best possible -607.21 (987.25 seconds) After 64400 nodes, 3079 on tree, -607.141 best solution, best possible -607.21 (988.20 seconds) After 64500 nodes, 3077 on tree, -607.141 best solution, best possible -607.21 (989.31 seconds) After 64600 nodes, 3080 on tree, -607.141 best solution, best possible -607.21 (990.34 seconds) After 64700 nodes, 3079 on tree, -607.141 best solution, best possible -607.21 (991.53 seconds) After 64800 nodes, 3071 on tree, -607.141 best solution, best possible -607.21 (992.71 seconds) After 64900 nodes, 3075 on tree, -607.141 best solution, best possible -607.21 (993.90 seconds) After 65000 nodes, 3087 on tree, -607.141 best solution, best possible -607.21 (995.03 seconds) After 65100 nodes, 3037 on tree, -607.141 best solution, best possible -607.21 (995.92 seconds) After 65200 nodes, 3025 on tree, -607.141 best solution, best possible -607.21 (996.81 seconds) After 65300 nodes, 3011 on tree, -607.141 best solution, best possible -607.21 (997.75 seconds) After 65400 nodes, 3018 on tree, -607.141 best solution, best possible -607.21 (998.83 seconds) After 65500 nodes, 2997 on tree, -607.141 best solution, best possible -607.21 (999.75 seconds) After 65600 nodes, 2998 on tree, -607.141 best solution, best possible -607.21 (1000.72 seconds) After 65700 nodes, 2996 on tree, -607.141 best solution, best possible -607.21 (1001.61 seconds) After 65800 nodes, 2996 on tree, -607.141 best solution, best possible -607.21 (1002.63 seconds) After 65900 nodes, 2993 on tree, -607.141 best solution, best possible -607.21 (1003.49 seconds) After 66000 nodes, 2994 on tree, -607.141 best solution, best possible -607.21 (1004.37 seconds) After 66100 nodes, 2990 on tree, -607.141 best solution, best possible -607.21 (1005.37 seconds) After 66200 nodes, 2984 on tree, -607.141 best solution, best possible -607.21 (1006.48 seconds) After 66300 nodes, 2986 on tree, -607.141 best solution, best possible -607.21 (1007.43 seconds) After 66400 nodes, 2991 on tree, -607.141 best solution, best possible -607.21 (1008.58 seconds) After 66500 nodes, 3006 on tree, -607.141 best solution, best possible -607.21 (1009.83 seconds) After 66600 nodes, 3016 on tree, -607.141 best solution, best possible -607.21 (1010.96 seconds) After 66700 nodes, 3066 on tree, -607.141 best solution, best possible -607.21 (1012.07 seconds) After 66800 nodes, 3062 on tree, -607.141 best solution, best possible -607.21 (1013.12 seconds) After 66900 nodes, 3068 on tree, -607.141 best solution, best possible -607.21 (1014.26 seconds) After 67000 nodes, 3077 on tree, -607.141 best solution, best possible -607.21 (1015.28 seconds) After 67100 nodes, 3078 on tree, -607.141 best solution, best possible -607.21 (1016.35 seconds) After 67200 nodes, 3085 on tree, -607.141 best solution, best possible -607.21 (1017.56 seconds) After 67300 nodes, 3098 on tree, -607.141 best solution, best possible -607.21 (1018.76 seconds) After 67400 nodes, 3114 on tree, -607.141 best solution, best possible -607.21 (1019.93 seconds) After 67500 nodes, 3115 on tree, -607.141 best solution, best possible -607.21 (1021.00 seconds) After 67600 nodes, 3134 on tree, -607.141 best solution, best possible -607.21 (1022.04 seconds) After 67700 nodes, 3143 on tree, -607.141 best solution, best possible -607.21 (1023.12 seconds) After 67800 nodes, 3136 on tree, -607.141 best solution, best possible -607.21 (1024.35 seconds) After 67900 nodes, 3134 on tree, -607.141 best solution, best possible -607.21 (1025.55 seconds) After 68000 nodes, 3138 on tree, -607.141 best solution, best possible -607.21 (1026.63 seconds) After 68100 nodes, 3156 on tree, -607.141 best solution, best possible -607.21 (1027.79 seconds) After 68200 nodes, 3166 on tree, -607.141 best solution, best possible -607.21 (1028.87 seconds) After 68300 nodes, 3165 on tree, -607.141 best solution, best possible -607.21 (1029.95 seconds) After 68400 nodes, 3166 on tree, -607.141 best solution, best possible -607.21 (1030.95 seconds) After 68500 nodes, 3169 on tree, -607.141 best solution, best possible -607.21 (1032.03 seconds) After 68600 nodes, 3165 on tree, -607.141 best solution, best possible -607.21 (1033.21 seconds) After 68700 nodes, 3163 on tree, -607.141 best solution, best possible -607.21 (1034.31 seconds) After 68800 nodes, 3171 on tree, -607.141 best solution, best possible -607.21 (1035.47 seconds) After 68900 nodes, 3170 on tree, -607.141 best solution, best possible -607.21 (1036.49 seconds) After 69000 nodes, 3159 on tree, -607.141 best solution, best possible -607.21 (1037.48 seconds) After 69100 nodes, 3173 on tree, -607.141 best solution, best possible -607.21 (1038.74 seconds) After 69200 nodes, 3181 on tree, -607.141 best solution, best possible -607.21 (1039.87 seconds) After 69300 nodes, 3190 on tree, -607.141 best solution, best possible -607.21 (1041.09 seconds) After 69400 nodes, 3184 on tree, -607.141 best solution, best possible -607.21 (1042.17 seconds) After 69500 nodes, 3168 on tree, -607.141 best solution, best possible -607.21 (1043.46 seconds) After 69600 nodes, 3161 on tree, -607.141 best solution, best possible -607.21 (1044.48 seconds) After 69700 nodes, 3189 on tree, -607.141 best solution, best possible -607.21 (1045.69 seconds) Integer solution of -607.167 found after 1315075 iterations and 69760 nodes (1046.35 seconds) Full problem 3273 rows 5293 columns, reduced to 193 rows 258 columns After 69800 nodes, 3127 on tree, -607.167 best solution, best possible -607.21 (1047.06 seconds) After 69900 nodes, 3119 on tree, -607.167 best solution, best possible -607.21 (1048.14 seconds) After 70000 nodes, 3111 on tree, -607.167 best solution, best possible -607.21 (1049.05 seconds) After 70100 nodes, 3117 on tree, -607.167 best solution, best possible -607.21 (1050.29 seconds) After 70200 nodes, 3124 on tree, -607.167 best solution, best possible -607.21 (1051.35 seconds) After 70300 nodes, 3138 on tree, -607.167 best solution, best possible -607.21 (1052.50 seconds) After 70400 nodes, 3146 on tree, -607.167 best solution, best possible -607.21 (1053.58 seconds) After 70500 nodes, 3157 on tree, -607.167 best solution, best possible -607.21 (1054.63 seconds) After 70600 nodes, 3158 on tree, -607.167 best solution, best possible -607.21 (1055.73 seconds) After 70700 nodes, 3150 on tree, -607.167 best solution, best possible -607.21 (1056.75 seconds) After 70800 nodes, 3161 on tree, -607.167 best solution, best possible -607.21 (1057.95 seconds) After 70900 nodes, 3162 on tree, -607.167 best solution, best possible -607.21 (1059.08 seconds) After 71000 nodes, 3173 on tree, -607.167 best solution, best possible -607.21 (1060.13 seconds) After 71100 nodes, 3191 on tree, -607.167 best solution, best possible -607.21 (1061.27 seconds) After 71200 nodes, 3180 on tree, -607.167 best solution, best possible -607.21 (1062.23 seconds) After 71300 nodes, 3175 on tree, -607.167 best solution, best possible -607.21 (1063.33 seconds) After 71400 nodes, 3184 on tree, -607.167 best solution, best possible -607.21 (1064.39 seconds) After 71500 nodes, 3191 on tree, -607.167 best solution, best possible -607.21 (1065.49 seconds) After 71600 nodes, 3204 on tree, -607.167 best solution, best possible -607.21 (1066.71 seconds) After 71700 nodes, 3214 on tree, -607.167 best solution, best possible -607.21 (1067.89 seconds) After 71800 nodes, 3214 on tree, -607.167 best solution, best possible -607.21 (1068.96 seconds) After 71900 nodes, 3222 on tree, -607.167 best solution, best possible -607.21 (1070.07 seconds) After 72000 nodes, 3220 on tree, -607.167 best solution, best possible -607.21 (1071.11 seconds) After 72100 nodes, 3224 on tree, -607.167 best solution, best possible -607.21 (1072.15 seconds) After 72200 nodes, 3241 on tree, -607.167 best solution, best possible -607.21 (1073.34 seconds) After 72300 nodes, 3241 on tree, -607.167 best solution, best possible -607.21 (1074.46 seconds) After 72400 nodes, 3261 on tree, -607.167 best solution, best possible -607.21 (1075.61 seconds) After 72500 nodes, 3252 on tree, -607.167 best solution, best possible -607.21 (1076.58 seconds) After 72600 nodes, 3246 on tree, -607.167 best solution, best possible -607.21 (1077.56 seconds) After 72700 nodes, 3252 on tree, -607.167 best solution, best possible -607.21 (1078.72 seconds) After 72800 nodes, 3258 on tree, -607.167 best solution, best possible -607.21 (1079.72 seconds) After 72900 nodes, 3263 on tree, -607.167 best solution, best possible -607.21 (1080.80 seconds) After 73000 nodes, 3258 on tree, -607.167 best solution, best possible -607.21 (1081.87 seconds) After 73100 nodes, 3242 on tree, -607.167 best solution, best possible -607.21 (1082.81 seconds) After 73200 nodes, 3208 on tree, -607.167 best solution, best possible -607.21 (1083.75 seconds) After 73300 nodes, 3209 on tree, -607.167 best solution, best possible -607.21 (1084.84 seconds) After 73400 nodes, 3210 on tree, -607.167 best solution, best possible -607.21 (1085.83 seconds) After 73500 nodes, 3189 on tree, -607.167 best solution, best possible -607.21 (1086.69 seconds) After 73600 nodes, 3185 on tree, -607.167 best solution, best possible -607.21 (1087.58 seconds) After 73700 nodes, 3180 on tree, -607.167 best solution, best possible -607.21 (1088.48 seconds) After 73800 nodes, 3175 on tree, -607.167 best solution, best possible -607.21 (1089.29 seconds) After 73900 nodes, 3176 on tree, -607.167 best solution, best possible -607.21 (1090.12 seconds) After 74000 nodes, 3174 on tree, -607.167 best solution, best possible -607.21 (1090.90 seconds) After 74100 nodes, 3184 on tree, -607.167 best solution, best possible -607.21 (1092.04 seconds) After 74200 nodes, 3186 on tree, -607.167 best solution, best possible -607.21 (1093.10 seconds) After 74300 nodes, 3183 on tree, -607.167 best solution, best possible -607.21 (1094.15 seconds) After 74400 nodes, 3186 on tree, -607.167 best solution, best possible -607.21 (1095.18 seconds) After 74500 nodes, 3184 on tree, -607.167 best solution, best possible -607.21 (1096.24 seconds) After 74600 nodes, 3184 on tree, -607.167 best solution, best possible -607.21 (1097.38 seconds) After 74700 nodes, 3215 on tree, -607.167 best solution, best possible -607.21 (1098.53 seconds) After 74800 nodes, 3233 on tree, -607.167 best solution, best possible -607.21 (1099.70 seconds) After 74900 nodes, 3232 on tree, -607.167 best solution, best possible -607.21 (1100.71 seconds) After 75000 nodes, 3236 on tree, -607.167 best solution, best possible -607.21 (1101.73 seconds) After 75100 nodes, 3240 on tree, -607.167 best solution, best possible -607.21 (1102.90 seconds) After 75200 nodes, 3237 on tree, -607.167 best solution, best possible -607.21 (1103.90 seconds) After 75300 nodes, 3247 on tree, -607.167 best solution, best possible -607.21 (1105.03 seconds) After 75400 nodes, 3244 on tree, -607.167 best solution, best possible -607.21 (1106.22 seconds) After 75500 nodes, 3252 on tree, -607.167 best solution, best possible -607.21 (1107.33 seconds) After 75600 nodes, 3240 on tree, -607.167 best solution, best possible -607.21 (1108.29 seconds) After 75700 nodes, 3233 on tree, -607.167 best solution, best possible -607.21 (1109.34 seconds) After 75800 nodes, 3233 on tree, -607.167 best solution, best possible -607.21 (1110.47 seconds) After 75900 nodes, 3235 on tree, -607.167 best solution, best possible -607.21 (1111.47 seconds) After 76000 nodes, 3241 on tree, -607.167 best solution, best possible -607.21 (1112.80 seconds) After 76100 nodes, 3252 on tree, -607.167 best solution, best possible -607.21 (1113.92 seconds) After 76200 nodes, 3270 on tree, -607.167 best solution, best possible -607.21 (1115.09 seconds) After 76300 nodes, 3264 on tree, -607.167 best solution, best possible -607.21 (1116.13 seconds) After 76400 nodes, 3259 on tree, -607.167 best solution, best possible -607.21 (1117.16 seconds) After 76500 nodes, 3257 on tree, -607.167 best solution, best possible -607.21 (1118.22 seconds) After 76600 nodes, 3262 on tree, -607.167 best solution, best possible -607.21 (1119.29 seconds) After 76700 nodes, 3278 on tree, -607.167 best solution, best possible -607.21 (1120.53 seconds) After 76800 nodes, 3277 on tree, -607.167 best solution, best possible -607.21 (1121.66 seconds) After 76900 nodes, 3289 on tree, -607.167 best solution, best possible -607.21 (1122.79 seconds) After 77000 nodes, 3281 on tree, -607.167 best solution, best possible -607.21 (1123.83 seconds) After 77100 nodes, 3293 on tree, -607.167 best solution, best possible -607.21 (1124.99 seconds) After 77200 nodes, 3319 on tree, -607.167 best solution, best possible -607.21 (1126.15 seconds) After 77300 nodes, 3322 on tree, -607.167 best solution, best possible -607.21 (1127.39 seconds) After 77400 nodes, 3347 on tree, -607.167 best solution, best possible -607.21 (1129.14 seconds) After 77500 nodes, 3378 on tree, -607.167 best solution, best possible -607.21 (1130.56 seconds) After 77600 nodes, 3389 on tree, -607.167 best solution, best possible -607.21 (1131.75 seconds) After 77700 nodes, 3403 on tree, -607.167 best solution, best possible -607.21 (1132.63 seconds) After 77800 nodes, 3405 on tree, -607.167 best solution, best possible -607.21 (1133.70 seconds) After 77900 nodes, 3399 on tree, -607.167 best solution, best possible -607.21 (1134.63 seconds) After 78000 nodes, 3394 on tree, -607.167 best solution, best possible -607.21 (1135.54 seconds) After 78100 nodes, 3397 on tree, -607.167 best solution, best possible -607.21 (1136.59 seconds) After 78200 nodes, 3392 on tree, -607.167 best solution, best possible -607.21 (1137.70 seconds) After 78300 nodes, 3385 on tree, -607.167 best solution, best possible -607.21 (1138.71 seconds) After 78400 nodes, 3382 on tree, -607.167 best solution, best possible -607.21 (1139.76 seconds) After 78500 nodes, 3384 on tree, -607.167 best solution, best possible -607.21 (1140.79 seconds) After 78600 nodes, 3389 on tree, -607.167 best solution, best possible -607.21 (1142.06 seconds) After 78700 nodes, 3405 on tree, -607.167 best solution, best possible -607.21 (1143.21 seconds) After 78800 nodes, 3397 on tree, -607.167 best solution, best possible -607.21 (1144.19 seconds) After 78900 nodes, 3403 on tree, -607.167 best solution, best possible -607.21 (1145.31 seconds) After 79000 nodes, 3403 on tree, -607.167 best solution, best possible -607.21 (1146.46 seconds) After 79100 nodes, 3396 on tree, -607.167 best solution, best possible -607.21 (1147.51 seconds) After 79200 nodes, 3407 on tree, -607.167 best solution, best possible -607.21 (1148.60 seconds) After 79300 nodes, 3406 on tree, -607.167 best solution, best possible -607.21 (1149.74 seconds) After 79400 nodes, 3403 on tree, -607.167 best solution, best possible -607.21 (1150.88 seconds) After 79500 nodes, 3409 on tree, -607.167 best solution, best possible -607.21 (1151.92 seconds) After 79600 nodes, 3418 on tree, -607.167 best solution, best possible -607.21 (1153.06 seconds) After 79700 nodes, 3422 on tree, -607.167 best solution, best possible -607.21 (1154.36 seconds) After 79800 nodes, 3418 on tree, -607.167 best solution, best possible -607.21 (1155.42 seconds) After 79900 nodes, 3419 on tree, -607.167 best solution, best possible -607.21 (1156.48 seconds) After 80000 nodes, 3433 on tree, -607.167 best solution, best possible -607.21 (1157.69 seconds) After 80100 nodes, 3437 on tree, -607.167 best solution, best possible -607.21 (1158.82 seconds) After 80200 nodes, 3441 on tree, -607.167 best solution, best possible -607.21 (1160.02 seconds) After 80300 nodes, 3441 on tree, -607.167 best solution, best possible -607.21 (1161.09 seconds) After 80400 nodes, 3442 on tree, -607.167 best solution, best possible -607.21 (1162.30 seconds) After 80500 nodes, 3446 on tree, -607.167 best solution, best possible -607.21 (1163.44 seconds) After 80600 nodes, 3444 on tree, -607.167 best solution, best possible -607.21 (1164.52 seconds) After 80700 nodes, 3455 on tree, -607.167 best solution, best possible -607.21 (1165.58 seconds) After 80800 nodes, 3464 on tree, -607.167 best solution, best possible -607.21 (1166.64 seconds) After 80900 nodes, 3459 on tree, -607.167 best solution, best possible -607.21 (1167.71 seconds) After 81000 nodes, 3469 on tree, -607.167 best solution, best possible -607.21 (1168.87 seconds) After 81100 nodes, 3484 on tree, -607.167 best solution, best possible -607.21 (1169.99 seconds) After 81200 nodes, 3495 on tree, -607.167 best solution, best possible -607.21 (1171.25 seconds) After 81300 nodes, 3528 on tree, -607.167 best solution, best possible -607.21 (1172.64 seconds) After 81400 nodes, 3558 on tree, -607.167 best solution, best possible -607.21 (1173.92 seconds) After 81500 nodes, 3569 on tree, -607.167 best solution, best possible -607.21 (1175.21 seconds) After 81600 nodes, 3574 on tree, -607.167 best solution, best possible -607.21 (1176.39 seconds) After 81700 nodes, 3592 on tree, -607.167 best solution, best possible -607.21 (1177.81 seconds) After 81800 nodes, 3616 on tree, -607.167 best solution, best possible -607.21 (1179.38 seconds) After 81900 nodes, 3627 on tree, -607.167 best solution, best possible -607.21 (1180.66 seconds) After 82000 nodes, 3660 on tree, -607.167 best solution, best possible -607.21 (1182.30 seconds) After 82100 nodes, 3661 on tree, -607.167 best solution, best possible -607.21 (1183.58 seconds) After 82200 nodes, 3664 on tree, -607.167 best solution, best possible -607.21 (1184.62 seconds) After 82300 nodes, 3676 on tree, -607.167 best solution, best possible -607.21 (1185.65 seconds) After 82400 nodes, 3677 on tree, -607.167 best solution, best possible -607.21 (1186.75 seconds) After 82500 nodes, 3679 on tree, -607.167 best solution, best possible -607.21 (1187.75 seconds) After 82600 nodes, 3686 on tree, -607.167 best solution, best possible -607.21 (1188.93 seconds) After 82700 nodes, 3713 on tree, -607.167 best solution, best possible -607.21 (1190.27 seconds) After 82800 nodes, 3717 on tree, -607.167 best solution, best possible -607.21 (1191.47 seconds) After 82900 nodes, 3729 on tree, -607.167 best solution, best possible -607.21 (1192.51 seconds) After 83000 nodes, 3732 on tree, -607.167 best solution, best possible -607.21 (1193.62 seconds) After 83100 nodes, 3746 on tree, -607.167 best solution, best possible -607.21 (1194.63 seconds) After 83200 nodes, 3756 on tree, -607.167 best solution, best possible -607.21 (1195.76 seconds) After 83300 nodes, 3751 on tree, -607.167 best solution, best possible -607.21 (1196.85 seconds) After 83400 nodes, 3759 on tree, -607.167 best solution, best possible -607.21 (1198.15 seconds) After 83500 nodes, 3767 on tree, -607.167 best solution, best possible -607.21 (1199.27 seconds) After 83600 nodes, 3765 on tree, -607.167 best solution, best possible -607.21 (1200.38 seconds) After 83700 nodes, 3761 on tree, -607.167 best solution, best possible -607.21 (1201.37 seconds) After 83800 nodes, 3775 on tree, -607.167 best solution, best possible -607.21 (1202.40 seconds) After 83900 nodes, 3774 on tree, -607.167 best solution, best possible -607.21 (1203.47 seconds) After 84000 nodes, 3774 on tree, -607.167 best solution, best possible -607.21 (1204.51 seconds) After 84100 nodes, 3787 on tree, -607.167 best solution, best possible -607.21 (1205.70 seconds) After 84200 nodes, 3787 on tree, -607.167 best solution, best possible -607.21 (1206.78 seconds) After 84300 nodes, 3782 on tree, -607.167 best solution, best possible -607.21 (1207.87 seconds) After 84400 nodes, 3780 on tree, -607.167 best solution, best possible -607.21 (1208.83 seconds) After 84500 nodes, 3781 on tree, -607.167 best solution, best possible -607.21 (1209.84 seconds) After 84600 nodes, 3776 on tree, -607.167 best solution, best possible -607.21 (1210.99 seconds) After 84700 nodes, 3775 on tree, -607.167 best solution, best possible -607.21 (1212.13 seconds) After 84800 nodes, 3783 on tree, -607.167 best solution, best possible -607.21 (1213.24 seconds) After 84900 nodes, 3782 on tree, -607.167 best solution, best possible -607.21 (1214.28 seconds) After 85000 nodes, 3778 on tree, -607.167 best solution, best possible -607.21 (1215.37 seconds) Integer solution of -607.207 found after 1566570 iterations and 85082 nodes (1216.15 seconds) Full problem 3273 rows 5293 columns, reduced to 201 rows 270 columns After 85100 nodes, 1830 on tree, -607.207 best solution, best possible -607.21 (1216.81 seconds) After 85200 nodes, 1845 on tree, -607.207 best solution, best possible -607.21 (1217.89 seconds) After 85300 nodes, 1843 on tree, -607.207 best solution, best possible -607.21 (1218.85 seconds) After 85400 nodes, 1835 on tree, -607.207 best solution, best possible -607.21 (1219.91 seconds) After 85500 nodes, 1841 on tree, -607.207 best solution, best possible -607.21 (1221.22 seconds) After 85600 nodes, 1846 on tree, -607.207 best solution, best possible -607.21 (1222.36 seconds) After 85700 nodes, 1856 on tree, -607.207 best solution, best possible -607.21 (1223.47 seconds) After 85800 nodes, 1859 on tree, -607.207 best solution, best possible -607.21 (1224.59 seconds) After 85900 nodes, 1861 on tree, -607.207 best solution, best possible -607.21 (1225.63 seconds) After 86000 nodes, 1860 on tree, -607.207 best solution, best possible -607.21 (1226.57 seconds) After 86100 nodes, 1863 on tree, -607.207 best solution, best possible -607.21 (1227.72 seconds) After 86200 nodes, 1855 on tree, -607.207 best solution, best possible -607.21 (1228.91 seconds) After 86300 nodes, 1858 on tree, -607.207 best solution, best possible -607.21 (1229.98 seconds) After 86400 nodes, 1863 on tree, -607.207 best solution, best possible -607.21 (1231.03 seconds) After 86500 nodes, 1862 on tree, -607.207 best solution, best possible -607.21 (1232.19 seconds) After 86600 nodes, 1855 on tree, -607.207 best solution, best possible -607.21 (1233.23 seconds) After 86700 nodes, 1849 on tree, -607.207 best solution, best possible -607.21 (1234.21 seconds) After 86800 nodes, 1850 on tree, -607.207 best solution, best possible -607.21 (1235.31 seconds) After 86900 nodes, 1839 on tree, -607.207 best solution, best possible -607.21 (1236.43 seconds) After 87000 nodes, 1824 on tree, -607.207 best solution, best possible -607.21 (1237.45 seconds) After 87100 nodes, 1823 on tree, -607.207 best solution, best possible -607.21 (1238.58 seconds) After 87200 nodes, 1821 on tree, -607.207 best solution, best possible -607.21 (1239.64 seconds) After 87300 nodes, 1822 on tree, -607.207 best solution, best possible -607.21 (1240.73 seconds) After 87400 nodes, 1815 on tree, -607.207 best solution, best possible -607.21 (1241.73 seconds) After 87500 nodes, 1811 on tree, -607.207 best solution, best possible -607.21 (1242.88 seconds) After 87600 nodes, 1801 on tree, -607.207 best solution, best possible -607.21 (1244.09 seconds) After 87700 nodes, 1801 on tree, -607.207 best solution, best possible -607.21 (1245.16 seconds) After 87800 nodes, 1797 on tree, -607.207 best solution, best possible -607.21 (1246.35 seconds) After 87900 nodes, 1812 on tree, -607.207 best solution, best possible -607.21 (1247.54 seconds) After 88000 nodes, 1815 on tree, -607.207 best solution, best possible -607.21 (1248.61 seconds) After 88100 nodes, 1815 on tree, -607.207 best solution, best possible -607.21 (1249.73 seconds) After 88200 nodes, 1820 on tree, -607.207 best solution, best possible -607.21 (1250.95 seconds) After 88300 nodes, 1821 on tree, -607.207 best solution, best possible -607.21 (1252.08 seconds) After 88400 nodes, 1826 on tree, -607.207 best solution, best possible -607.21 (1253.21 seconds) After 88500 nodes, 1833 on tree, -607.207 best solution, best possible -607.21 (1254.36 seconds) After 88600 nodes, 1826 on tree, -607.207 best solution, best possible -607.21 (1255.36 seconds) After 88700 nodes, 1830 on tree, -607.207 best solution, best possible -607.21 (1256.40 seconds) After 88800 nodes, 1826 on tree, -607.207 best solution, best possible -607.21 (1257.44 seconds) After 88900 nodes, 1831 on tree, -607.207 best solution, best possible -607.21 (1258.66 seconds) After 89000 nodes, 1830 on tree, -607.207 best solution, best possible -607.21 (1259.73 seconds) After 89100 nodes, 1834 on tree, -607.207 best solution, best possible -607.21 (1260.91 seconds) After 89200 nodes, 1839 on tree, -607.207 best solution, best possible -607.21 (1261.99 seconds) After 89300 nodes, 1841 on tree, -607.207 best solution, best possible -607.21 (1262.97 seconds) After 89400 nodes, 1851 on tree, -607.207 best solution, best possible -607.21 (1264.19 seconds) After 89500 nodes, 1852 on tree, -607.207 best solution, best possible -607.21 (1265.34 seconds) After 89600 nodes, 1858 on tree, -607.207 best solution, best possible -607.21 (1266.51 seconds) After 89700 nodes, 1863 on tree, -607.207 best solution, best possible -607.21 (1267.78 seconds) After 89800 nodes, 1850 on tree, -607.207 best solution, best possible -607.21 (1268.89 seconds) After 89900 nodes, 1859 on tree, -607.207 best solution, best possible -607.21 (1269.94 seconds) After 90000 nodes, 1862 on tree, -607.207 best solution, best possible -607.21 (1271.18 seconds) After 90100 nodes, 1860 on tree, -607.207 best solution, best possible -607.21 (1272.30 seconds) After 90200 nodes, 1855 on tree, -607.207 best solution, best possible -607.21 (1273.44 seconds) After 90300 nodes, 1854 on tree, -607.207 best solution, best possible -607.21 (1274.44 seconds) After 90400 nodes, 1853 on tree, -607.207 best solution, best possible -607.21 (1275.52 seconds) After 90500 nodes, 1849 on tree, -607.207 best solution, best possible -607.21 (1276.62 seconds) After 90600 nodes, 1851 on tree, -607.207 best solution, best possible -607.21 (1277.65 seconds) After 90700 nodes, 1897 on tree, -607.207 best solution, best possible -607.21 (1278.92 seconds) After 90800 nodes, 1892 on tree, -607.207 best solution, best possible -607.21 (1280.03 seconds) After 90900 nodes, 1887 on tree, -607.207 best solution, best possible -607.21 (1280.98 seconds) After 91000 nodes, 1890 on tree, -607.207 best solution, best possible -607.21 (1282.02 seconds) After 91100 nodes, 1900 on tree, -607.207 best solution, best possible -607.21 (1283.18 seconds) After 91200 nodes, 1910 on tree, -607.207 best solution, best possible -607.21 (1284.47 seconds) After 91300 nodes, 1915 on tree, -607.207 best solution, best possible -607.21 (1285.54 seconds) After 91400 nodes, 1913 on tree, -607.207 best solution, best possible -607.21 (1286.78 seconds) After 91500 nodes, 1913 on tree, -607.207 best solution, best possible -607.21 (1287.85 seconds) After 91600 nodes, 1914 on tree, -607.207 best solution, best possible -607.21 (1288.90 seconds) After 91700 nodes, 1922 on tree, -607.207 best solution, best possible -607.21 (1289.99 seconds) After 91800 nodes, 1925 on tree, -607.207 best solution, best possible -607.21 (1291.09 seconds) After 91900 nodes, 1937 on tree, -607.207 best solution, best possible -607.21 (1292.27 seconds) After 92000 nodes, 1946 on tree, -607.207 best solution, best possible -607.21 (1293.42 seconds) After 92100 nodes, 1947 on tree, -607.207 best solution, best possible -607.21 (1294.43 seconds) After 92200 nodes, 1951 on tree, -607.207 best solution, best possible -607.21 (1295.48 seconds) After 92300 nodes, 1968 on tree, -607.207 best solution, best possible -607.21 (1296.60 seconds) After 92400 nodes, 1962 on tree, -607.207 best solution, best possible -607.21 (1297.67 seconds) After 92500 nodes, 1952 on tree, -607.207 best solution, best possible -607.21 (1298.80 seconds) After 92600 nodes, 1960 on tree, -607.207 best solution, best possible -607.21 (1299.98 seconds) After 92700 nodes, 1957 on tree, -607.207 best solution, best possible -607.21 (1301.15 seconds) After 92800 nodes, 1952 on tree, -607.207 best solution, best possible -607.21 (1302.14 seconds) After 92900 nodes, 1958 on tree, -607.207 best solution, best possible -607.21 (1303.25 seconds) After 93000 nodes, 1967 on tree, -607.207 best solution, best possible -607.21 (1304.32 seconds) After 93100 nodes, 1945 on tree, -607.207 best solution, best possible -607.21 (1305.25 seconds) After 93200 nodes, 1954 on tree, -607.207 best solution, best possible -607.21 (1306.28 seconds) After 93300 nodes, 1962 on tree, -607.207 best solution, best possible -607.21 (1307.33 seconds) After 93400 nodes, 1966 on tree, -607.207 best solution, best possible -607.21 (1308.47 seconds) After 93500 nodes, 1963 on tree, -607.207 best solution, best possible -607.21 (1309.57 seconds) After 93600 nodes, 1954 on tree, -607.207 best solution, best possible -607.21 (1310.73 seconds) After 93700 nodes, 1956 on tree, -607.207 best solution, best possible -607.21 (1311.86 seconds) After 93800 nodes, 1962 on tree, -607.207 best solution, best possible -607.21 (1312.97 seconds) After 93900 nodes, 1964 on tree, -607.207 best solution, best possible -607.21 (1313.93 seconds) After 94000 nodes, 1968 on tree, -607.207 best solution, best possible -607.21 (1314.87 seconds) After 94100 nodes, 1978 on tree, -607.207 best solution, best possible -607.21 (1316.00 seconds) After 94200 nodes, 1968 on tree, -607.207 best solution, best possible -607.21 (1317.06 seconds) After 94300 nodes, 1978 on tree, -607.207 best solution, best possible -607.21 (1318.48 seconds) After 94400 nodes, 1976 on tree, -607.207 best solution, best possible -607.21 (1319.58 seconds) After 94500 nodes, 1985 on tree, -607.207 best solution, best possible -607.21 (1320.81 seconds) After 94600 nodes, 2005 on tree, -607.207 best solution, best possible -607.21 (1322.05 seconds) After 94700 nodes, 2029 on tree, -607.207 best solution, best possible -607.21 (1323.15 seconds) After 94800 nodes, 2018 on tree, -607.207 best solution, best possible -607.21 (1324.24 seconds) After 94900 nodes, 2030 on tree, -607.207 best solution, best possible -607.21 (1325.27 seconds) After 95000 nodes, 2027 on tree, -607.207 best solution, best possible -607.21 (1326.33 seconds) After 95100 nodes, 2033 on tree, -607.207 best solution, best possible -607.21 (1327.42 seconds) After 95200 nodes, 2042 on tree, -607.207 best solution, best possible -607.21 (1328.68 seconds) After 95300 nodes, 2057 on tree, -607.207 best solution, best possible -607.21 (1329.80 seconds) After 95400 nodes, 2057 on tree, -607.207 best solution, best possible -607.21 (1330.83 seconds) After 95500 nodes, 2059 on tree, -607.207 best solution, best possible -607.21 (1331.82 seconds) After 95600 nodes, 2060 on tree, -607.207 best solution, best possible -607.21 (1332.89 seconds) After 95700 nodes, 2074 on tree, -607.207 best solution, best possible -607.21 (1333.98 seconds) After 95800 nodes, 2078 on tree, -607.207 best solution, best possible -607.21 (1335.04 seconds) After 95900 nodes, 2079 on tree, -607.207 best solution, best possible -607.21 (1336.18 seconds) After 96000 nodes, 2085 on tree, -607.207 best solution, best possible -607.21 (1337.41 seconds) After 96100 nodes, 2088 on tree, -607.207 best solution, best possible -607.21 (1338.47 seconds) After 96200 nodes, 2086 on tree, -607.207 best solution, best possible -607.21 (1339.52 seconds) After 96300 nodes, 2088 on tree, -607.207 best solution, best possible -607.21 (1340.52 seconds) After 96400 nodes, 2101 on tree, -607.207 best solution, best possible -607.21 (1341.51 seconds) After 96500 nodes, 2100 on tree, -607.207 best solution, best possible -607.21 (1342.48 seconds) After 96600 nodes, 2098 on tree, -607.207 best solution, best possible -607.21 (1343.62 seconds) After 96700 nodes, 2109 on tree, -607.207 best solution, best possible -607.21 (1344.71 seconds) After 96800 nodes, 2102 on tree, -607.207 best solution, best possible -607.21 (1345.84 seconds) After 96900 nodes, 2101 on tree, -607.207 best solution, best possible -607.21 (1346.90 seconds) After 97000 nodes, 2114 on tree, -607.207 best solution, best possible -607.21 (1348.02 seconds) After 97100 nodes, 2074 on tree, -607.207 best solution, best possible -607.21 (1348.88 seconds) After 97200 nodes, 2077 on tree, -607.207 best solution, best possible -607.21 (1349.93 seconds) After 97300 nodes, 2087 on tree, -607.207 best solution, best possible -607.21 (1351.00 seconds) After 97400 nodes, 2090 on tree, -607.207 best solution, best possible -607.21 (1352.02 seconds) After 97500 nodes, 2095 on tree, -607.207 best solution, best possible -607.21 (1353.07 seconds) After 97600 nodes, 2119 on tree, -607.207 best solution, best possible -607.21 (1354.26 seconds) After 97700 nodes, 2122 on tree, -607.207 best solution, best possible -607.21 (1355.46 seconds) After 97800 nodes, 2126 on tree, -607.207 best solution, best possible -607.21 (1356.52 seconds) After 97900 nodes, 2139 on tree, -607.207 best solution, best possible -607.21 (1357.47 seconds) After 98000 nodes, 2134 on tree, -607.207 best solution, best possible -607.21 (1358.53 seconds) After 98100 nodes, 2144 on tree, -607.207 best solution, best possible -607.21 (1359.55 seconds) After 98200 nodes, 2163 on tree, -607.207 best solution, best possible -607.21 (1360.59 seconds) After 98300 nodes, 2159 on tree, -607.207 best solution, best possible -607.21 (1361.66 seconds) After 98400 nodes, 2162 on tree, -607.207 best solution, best possible -607.21 (1362.86 seconds) After 98500 nodes, 2167 on tree, -607.207 best solution, best possible -607.21 (1363.94 seconds) After 98600 nodes, 2163 on tree, -607.207 best solution, best possible -607.21 (1365.11 seconds) After 98700 nodes, 2181 on tree, -607.207 best solution, best possible -607.21 (1366.25 seconds) After 98800 nodes, 2256 on tree, -607.207 best solution, best possible -607.21 (1367.29 seconds) After 98900 nodes, 2270 on tree, -607.207 best solution, best possible -607.21 (1368.51 seconds) After 99000 nodes, 2280 on tree, -607.207 best solution, best possible -607.21 (1369.69 seconds) After 99100 nodes, 2275 on tree, -607.207 best solution, best possible -607.21 (1370.68 seconds) After 99200 nodes, 2272 on tree, -607.207 best solution, best possible -607.21 (1371.76 seconds) After 99300 nodes, 2272 on tree, -607.207 best solution, best possible -607.21 (1372.91 seconds) After 99400 nodes, 2270 on tree, -607.207 best solution, best possible -607.21 (1373.98 seconds) After 99500 nodes, 2273 on tree, -607.207 best solution, best possible -607.21 (1375.07 seconds) After 99600 nodes, 2286 on tree, -607.207 best solution, best possible -607.21 (1376.29 seconds) After 99700 nodes, 2296 on tree, -607.207 best solution, best possible -607.21 (1377.41 seconds) After 99800 nodes, 2303 on tree, -607.207 best solution, best possible -607.21 (1378.50 seconds) After 99900 nodes, 2313 on tree, -607.207 best solution, best possible -607.21 (1379.61 seconds) After 100000 nodes, 2303 on tree, -607.207 best solution, best possible -607.21 (1380.53 seconds) After 100100 nodes, 2305 on tree, -607.207 best solution, best possible -607.21 (1381.59 seconds) After 100200 nodes, 2306 on tree, -607.207 best solution, best possible -607.21 (1382.80 seconds) After 100300 nodes, 2294 on tree, -607.207 best solution, best possible -607.21 (1383.95 seconds) After 100400 nodes, 2304 on tree, -607.207 best solution, best possible -607.21 (1385.06 seconds) After 100500 nodes, 2299 on tree, -607.207 best solution, best possible -607.21 (1386.19 seconds) After 100600 nodes, 2311 on tree, -607.207 best solution, best possible -607.21 (1387.48 seconds) After 100700 nodes, 2324 on tree, -607.207 best solution, best possible -607.21 (1388.51 seconds) After 100800 nodes, 2347 on tree, -607.207 best solution, best possible -607.21 (1389.73 seconds) After 100900 nodes, 2365 on tree, -607.207 best solution, best possible -607.21 (1390.76 seconds) After 101000 nodes, 2355 on tree, -607.207 best solution, best possible -607.21 (1391.84 seconds) After 101100 nodes, 2313 on tree, -607.207 best solution, best possible -607.21 (1392.73 seconds) After 101200 nodes, 2291 on tree, -607.207 best solution, best possible -607.21 (1393.87 seconds) After 101300 nodes, 2286 on tree, -607.207 best solution, best possible -607.21 (1394.88 seconds) After 101400 nodes, 2288 on tree, -607.207 best solution, best possible -607.21 (1396.12 seconds) After 101500 nodes, 2298 on tree, -607.207 best solution, best possible -607.21 (1397.29 seconds) After 101600 nodes, 2311 on tree, -607.207 best solution, best possible -607.21 (1398.58 seconds) After 101700 nodes, 2322 on tree, -607.207 best solution, best possible -607.21 (1399.69 seconds) After 101800 nodes, 2329 on tree, -607.207 best solution, best possible -607.21 (1400.84 seconds) After 101900 nodes, 2331 on tree, -607.207 best solution, best possible -607.21 (1401.89 seconds) After 102000 nodes, 2324 on tree, -607.207 best solution, best possible -607.21 (1403.00 seconds) After 102100 nodes, 2338 on tree, -607.207 best solution, best possible -607.21 (1404.10 seconds) After 102200 nodes, 2350 on tree, -607.207 best solution, best possible -607.21 (1405.33 seconds) After 102300 nodes, 2343 on tree, -607.207 best solution, best possible -607.21 (1406.38 seconds) After 102400 nodes, 2349 on tree, -607.207 best solution, best possible -607.21 (1407.47 seconds) After 102500 nodes, 2356 on tree, -607.207 best solution, best possible -607.21 (1408.64 seconds) After 102600 nodes, 2377 on tree, -607.207 best solution, best possible -607.21 (1409.68 seconds) After 102700 nodes, 2406 on tree, -607.207 best solution, best possible -607.21 (1410.92 seconds) After 102800 nodes, 2417 on tree, -607.207 best solution, best possible -607.21 (1411.98 seconds) After 102900 nodes, 2468 on tree, -607.207 best solution, best possible -607.21 (1412.96 seconds) After 103000 nodes, 2496 on tree, -607.207 best solution, best possible -607.21 (1414.06 seconds) After 103100 nodes, 2494 on tree, -607.207 best solution, best possible -607.21 (1415.16 seconds) After 103200 nodes, 2489 on tree, -607.207 best solution, best possible -607.21 (1416.23 seconds) After 103300 nodes, 2494 on tree, -607.207 best solution, best possible -607.21 (1417.36 seconds) After 103400 nodes, 2495 on tree, -607.207 best solution, best possible -607.21 (1418.36 seconds) After 103500 nodes, 2490 on tree, -607.207 best solution, best possible -607.21 (1419.38 seconds) After 103600 nodes, 2519 on tree, -607.207 best solution, best possible -607.21 (1420.68 seconds) After 103700 nodes, 2536 on tree, -607.207 best solution, best possible -607.21 (1421.79 seconds) After 103800 nodes, 2539 on tree, -607.207 best solution, best possible -607.21 (1422.85 seconds) After 103900 nodes, 2540 on tree, -607.207 best solution, best possible -607.21 (1423.98 seconds) After 104000 nodes, 2546 on tree, -607.207 best solution, best possible -607.21 (1424.99 seconds) After 104100 nodes, 2550 on tree, -607.207 best solution, best possible -607.21 (1426.07 seconds) After 104200 nodes, 2568 on tree, -607.207 best solution, best possible -607.21 (1427.10 seconds) After 104300 nodes, 2563 on tree, -607.207 best solution, best possible -607.21 (1428.07 seconds) After 104400 nodes, 2555 on tree, -607.207 best solution, best possible -607.21 (1429.01 seconds) After 104500 nodes, 2565 on tree, -607.207 best solution, best possible -607.21 (1430.17 seconds) After 104600 nodes, 2561 on tree, -607.207 best solution, best possible -607.21 (1431.13 seconds) After 104700 nodes, 2556 on tree, -607.207 best solution, best possible -607.21 (1432.10 seconds) After 104800 nodes, 2576 on tree, -607.207 best solution, best possible -607.21 (1433.36 seconds) After 104900 nodes, 2581 on tree, -607.207 best solution, best possible -607.21 (1434.45 seconds) After 105000 nodes, 2584 on tree, -607.207 best solution, best possible -607.21 (1435.53 seconds) After 105100 nodes, 2545 on tree, -607.207 best solution, best possible -607.21 (1436.37 seconds) After 105200 nodes, 2520 on tree, -607.207 best solution, best possible -607.21 (1437.28 seconds) After 105300 nodes, 2509 on tree, -607.207 best solution, best possible -607.21 (1438.31 seconds) After 105400 nodes, 2495 on tree, -607.207 best solution, best possible -607.21 (1439.43 seconds) After 105500 nodes, 2510 on tree, -607.207 best solution, best possible -607.21 (1440.50 seconds) After 105600 nodes, 2527 on tree, -607.207 best solution, best possible -607.21 (1441.52 seconds) After 105700 nodes, 2519 on tree, -607.207 best solution, best possible -607.21 (1442.45 seconds) After 105800 nodes, 2508 on tree, -607.207 best solution, best possible -607.21 (1443.47 seconds) After 105900 nodes, 2525 on tree, -607.207 best solution, best possible -607.21 (1444.50 seconds) After 106000 nodes, 2550 on tree, -607.207 best solution, best possible -607.21 (1445.46 seconds) After 106100 nodes, 2559 on tree, -607.207 best solution, best possible -607.21 (1446.60 seconds) After 106200 nodes, 2574 on tree, -607.207 best solution, best possible -607.21 (1447.59 seconds) After 106300 nodes, 2587 on tree, -607.207 best solution, best possible -607.21 (1448.57 seconds) After 106400 nodes, 2591 on tree, -607.207 best solution, best possible -607.21 (1449.51 seconds) After 106500 nodes, 2596 on tree, -607.207 best solution, best possible -607.21 (1450.55 seconds) After 106600 nodes, 2603 on tree, -607.207 best solution, best possible -607.21 (1451.66 seconds) After 106700 nodes, 2613 on tree, -607.207 best solution, best possible -607.21 (1452.77 seconds) After 106800 nodes, 2612 on tree, -607.207 best solution, best possible -607.21 (1453.84 seconds) After 106900 nodes, 2622 on tree, -607.207 best solution, best possible -607.21 (1455.17 seconds) After 107000 nodes, 2641 on tree, -607.207 best solution, best possible -607.21 (1456.33 seconds) After 107100 nodes, 2715 on tree, -607.207 best solution, best possible -607.21 (1457.44 seconds) After 107200 nodes, 2790 on tree, -607.207 best solution, best possible -607.21 (1458.49 seconds) After 107300 nodes, 2794 on tree, -607.207 best solution, best possible -607.21 (1459.70 seconds) After 107400 nodes, 2806 on tree, -607.207 best solution, best possible -607.21 (1460.81 seconds) After 107500 nodes, 2827 on tree, -607.207 best solution, best possible -607.21 (1461.83 seconds) After 107600 nodes, 2844 on tree, -607.207 best solution, best possible -607.21 (1462.86 seconds) After 107700 nodes, 2859 on tree, -607.207 best solution, best possible -607.21 (1464.10 seconds) After 107800 nodes, 2864 on tree, -607.207 best solution, best possible -607.21 (1465.33 seconds) After 107900 nodes, 2879 on tree, -607.207 best solution, best possible -607.21 (1466.34 seconds) After 108000 nodes, 2878 on tree, -607.207 best solution, best possible -607.21 (1467.46 seconds) After 108100 nodes, 2894 on tree, -607.207 best solution, best possible -607.21 (1468.57 seconds) After 108200 nodes, 2897 on tree, -607.207 best solution, best possible -607.21 (1469.60 seconds) After 108300 nodes, 2899 on tree, -607.207 best solution, best possible -607.21 (1470.67 seconds) After 108400 nodes, 2907 on tree, -607.207 best solution, best possible -607.21 (1471.68 seconds) After 108500 nodes, 2913 on tree, -607.207 best solution, best possible -607.21 (1472.57 seconds) After 108600 nodes, 2929 on tree, -607.207 best solution, best possible -607.21 (1473.67 seconds) After 108700 nodes, 2921 on tree, -607.207 best solution, best possible -607.21 (1474.72 seconds) After 108800 nodes, 2907 on tree, -607.207 best solution, best possible -607.21 (1475.65 seconds) After 108900 nodes, 2901 on tree, -607.207 best solution, best possible -607.21 (1476.58 seconds) After 109000 nodes, 2919 on tree, -607.207 best solution, best possible -607.21 (1477.66 seconds) After 109100 nodes, 2879 on tree, -607.207 best solution, best possible -607.21 (1478.46 seconds) After 109200 nodes, 2860 on tree, -607.207 best solution, best possible -607.21 (1479.38 seconds) After 109300 nodes, 2836 on tree, -607.207 best solution, best possible -607.21 (1480.23 seconds) After 109400 nodes, 2825 on tree, -607.207 best solution, best possible -607.21 (1481.21 seconds) After 109500 nodes, 2824 on tree, -607.207 best solution, best possible -607.21 (1482.07 seconds) After 109600 nodes, 2822 on tree, -607.207 best solution, best possible -607.21 (1483.02 seconds) After 109700 nodes, 2797 on tree, -607.207 best solution, best possible -607.21 (1483.91 seconds) After 109800 nodes, 2802 on tree, -607.207 best solution, best possible -607.21 (1484.86 seconds) After 109900 nodes, 2814 on tree, -607.207 best solution, best possible -607.21 (1485.70 seconds) After 110000 nodes, 2835 on tree, -607.207 best solution, best possible -607.21 (1486.72 seconds) After 110100 nodes, 2838 on tree, -607.207 best solution, best possible -607.21 (1487.82 seconds) After 110200 nodes, 2837 on tree, -607.207 best solution, best possible -607.21 (1488.91 seconds) After 110300 nodes, 2839 on tree, -607.207 best solution, best possible -607.21 (1489.99 seconds) After 110400 nodes, 2836 on tree, -607.207 best solution, best possible -607.21 (1490.95 seconds) After 110500 nodes, 2841 on tree, -607.207 best solution, best possible -607.21 (1491.98 seconds) After 110600 nodes, 2852 on tree, -607.207 best solution, best possible -607.21 (1493.09 seconds) After 110700 nodes, 2852 on tree, -607.207 best solution, best possible -607.21 (1494.11 seconds) After 110800 nodes, 2878 on tree, -607.207 best solution, best possible -607.21 (1495.25 seconds) After 110900 nodes, 2903 on tree, -607.207 best solution, best possible -607.21 (1496.28 seconds) After 111000 nodes, 2942 on tree, -607.207 best solution, best possible -607.21 (1497.41 seconds) After 111100 nodes, 2928 on tree, -607.207 best solution, best possible -607.21 (1498.47 seconds) After 111200 nodes, 2917 on tree, -607.207 best solution, best possible -607.21 (1499.44 seconds) After 111300 nodes, 2913 on tree, -607.207 best solution, best possible -607.21 (1500.48 seconds) After 111400 nodes, 2973 on tree, -607.207 best solution, best possible -607.21 (1501.47 seconds) After 111500 nodes, 2979 on tree, -607.207 best solution, best possible -607.21 (1502.42 seconds) After 111600 nodes, 2961 on tree, -607.207 best solution, best possible -607.21 (1503.44 seconds) After 111700 nodes, 2970 on tree, -607.207 best solution, best possible -607.21 (1504.57 seconds) After 111800 nodes, 2958 on tree, -607.207 best solution, best possible -607.21 (1505.51 seconds) After 111900 nodes, 2960 on tree, -607.207 best solution, best possible -607.21 (1506.65 seconds) After 112000 nodes, 2990 on tree, -607.207 best solution, best possible -607.21 (1508.04 seconds) After 112100 nodes, 3004 on tree, -607.207 best solution, best possible -607.21 (1509.19 seconds) After 112200 nodes, 3015 on tree, -607.207 best solution, best possible -607.21 (1510.21 seconds) After 112300 nodes, 3035 on tree, -607.207 best solution, best possible -607.21 (1511.33 seconds) After 112400 nodes, 3056 on tree, -607.207 best solution, best possible -607.21 (1512.47 seconds) After 112500 nodes, 3064 on tree, -607.207 best solution, best possible -607.21 (1513.50 seconds) After 112600 nodes, 3065 on tree, -607.207 best solution, best possible -607.21 (1514.51 seconds) After 112700 nodes, 3065 on tree, -607.207 best solution, best possible -607.21 (1515.53 seconds) After 112800 nodes, 3061 on tree, -607.207 best solution, best possible -607.21 (1516.51 seconds) After 112900 nodes, 3071 on tree, -607.207 best solution, best possible -607.21 (1517.56 seconds) After 113000 nodes, 3068 on tree, -607.207 best solution, best possible -607.21 (1518.55 seconds) After 113100 nodes, 3028 on tree, -607.207 best solution, best possible -607.21 (1519.43 seconds) After 113200 nodes, 2988 on tree, -607.207 best solution, best possible -607.21 (1520.22 seconds) After 113300 nodes, 2954 on tree, -607.207 best solution, best possible -607.21 (1521.00 seconds) After 113400 nodes, 2946 on tree, -607.207 best solution, best possible -607.21 (1521.92 seconds) After 113500 nodes, 2974 on tree, -607.207 best solution, best possible -607.21 (1522.96 seconds) After 113600 nodes, 2976 on tree, -607.207 best solution, best possible -607.21 (1523.95 seconds) After 113700 nodes, 2950 on tree, -607.207 best solution, best possible -607.21 (1524.83 seconds) After 113800 nodes, 2945 on tree, -607.207 best solution, best possible -607.21 (1525.80 seconds) After 113900 nodes, 2964 on tree, -607.207 best solution, best possible -607.21 (1526.85 seconds) After 114000 nodes, 2970 on tree, -607.207 best solution, best possible -607.21 (1527.86 seconds) After 114100 nodes, 2966 on tree, -607.207 best solution, best possible -607.21 (1528.89 seconds) After 114200 nodes, 2967 on tree, -607.207 best solution, best possible -607.21 (1530.01 seconds) After 114300 nodes, 2976 on tree, -607.207 best solution, best possible -607.21 (1531.07 seconds) After 114400 nodes, 2978 on tree, -607.207 best solution, best possible -607.21 (1532.08 seconds) After 114500 nodes, 3006 on tree, -607.207 best solution, best possible -607.21 (1533.32 seconds) After 114600 nodes, 3014 on tree, -607.207 best solution, best possible -607.21 (1534.52 seconds) After 114700 nodes, 3001 on tree, -607.207 best solution, best possible -607.21 (1535.56 seconds) After 114800 nodes, 3008 on tree, -607.207 best solution, best possible -607.21 (1536.54 seconds) After 114900 nodes, 3017 on tree, -607.207 best solution, best possible -607.21 (1537.64 seconds) After 115000 nodes, 3022 on tree, -607.207 best solution, best possible -607.21 (1538.72 seconds) After 115100 nodes, 3034 on tree, -607.207 best solution, best possible -607.21 (1539.73 seconds) After 115200 nodes, 3056 on tree, -607.207 best solution, best possible -607.21 (1540.75 seconds) After 115300 nodes, 3074 on tree, -607.207 best solution, best possible -607.21 (1541.72 seconds) After 115400 nodes, 3159 on tree, -607.207 best solution, best possible -607.21 (1542.68 seconds) After 115500 nodes, 3206 on tree, -607.207 best solution, best possible -607.21 (1543.71 seconds) After 115600 nodes, 3215 on tree, -607.207 best solution, best possible -607.21 (1544.77 seconds) After 115700 nodes, 3213 on tree, -607.207 best solution, best possible -607.21 (1546.16 seconds) After 115800 nodes, 3229 on tree, -607.207 best solution, best possible -607.21 (1547.21 seconds) After 115900 nodes, 3228 on tree, -607.207 best solution, best possible -607.21 (1548.32 seconds) After 116000 nodes, 3254 on tree, -607.207 best solution, best possible -607.21 (1549.41 seconds) After 116100 nodes, 3247 on tree, -607.207 best solution, best possible -607.21 (1550.46 seconds) After 116200 nodes, 3249 on tree, -607.207 best solution, best possible -607.21 (1551.43 seconds) After 116300 nodes, 3235 on tree, -607.207 best solution, best possible -607.21 (1552.28 seconds) After 116400 nodes, 3241 on tree, -607.207 best solution, best possible -607.21 (1553.33 seconds) After 116500 nodes, 3246 on tree, -607.207 best solution, best possible -607.21 (1554.40 seconds) After 116600 nodes, 3257 on tree, -607.207 best solution, best possible -607.21 (1555.39 seconds) After 116700 nodes, 3274 on tree, -607.207 best solution, best possible -607.21 (1556.53 seconds) After 116800 nodes, 3288 on tree, -607.207 best solution, best possible -607.21 (1557.52 seconds) After 116900 nodes, 3294 on tree, -607.207 best solution, best possible -607.21 (1558.64 seconds) After 117000 nodes, 3308 on tree, -607.207 best solution, best possible -607.21 (1559.55 seconds) After 117100 nodes, 3262 on tree, -607.207 best solution, best possible -607.21 (1560.38 seconds) After 117200 nodes, 3213 on tree, -607.207 best solution, best possible -607.21 (1561.17 seconds) After 117300 nodes, 3199 on tree, -607.207 best solution, best possible -607.21 (1562.11 seconds) After 117400 nodes, 3206 on tree, -607.207 best solution, best possible -607.21 (1563.09 seconds) After 117500 nodes, 3194 on tree, -607.207 best solution, best possible -607.21 (1564.01 seconds) After 117600 nodes, 3174 on tree, -607.207 best solution, best possible -607.21 (1564.91 seconds) After 117700 nodes, 3185 on tree, -607.207 best solution, best possible -607.21 (1565.90 seconds) After 117800 nodes, 3188 on tree, -607.207 best solution, best possible -607.21 (1566.76 seconds) After 117900 nodes, 3160 on tree, -607.207 best solution, best possible -607.21 (1567.66 seconds) After 118000 nodes, 3162 on tree, -607.207 best solution, best possible -607.21 (1568.64 seconds) After 118100 nodes, 3173 on tree, -607.207 best solution, best possible -607.21 (1569.66 seconds) After 118200 nodes, 3179 on tree, -607.207 best solution, best possible -607.21 (1570.67 seconds) After 118300 nodes, 3182 on tree, -607.207 best solution, best possible -607.21 (1571.81 seconds) After 118400 nodes, 3185 on tree, -607.207 best solution, best possible -607.21 (1572.97 seconds) After 118500 nodes, 3196 on tree, -607.207 best solution, best possible -607.21 (1574.05 seconds) After 118600 nodes, 3208 on tree, -607.207 best solution, best possible -607.21 (1575.12 seconds) After 118700 nodes, 3224 on tree, -607.207 best solution, best possible -607.21 (1576.21 seconds) After 118800 nodes, 3230 on tree, -607.207 best solution, best possible -607.21 (1577.27 seconds) After 118900 nodes, 3237 on tree, -607.207 best solution, best possible -607.21 (1578.27 seconds) After 119000 nodes, 3249 on tree, -607.207 best solution, best possible -607.21 (1579.40 seconds) After 119100 nodes, 3241 on tree, -607.207 best solution, best possible -607.21 (1580.43 seconds) After 119200 nodes, 3253 on tree, -607.207 best solution, best possible -607.21 (1581.54 seconds) After 119300 nodes, 3255 on tree, -607.207 best solution, best possible -607.21 (1582.42 seconds) After 119400 nodes, 3268 on tree, -607.207 best solution, best possible -607.21 (1583.38 seconds) After 119500 nodes, 3317 on tree, -607.207 best solution, best possible -607.21 (1584.44 seconds) After 119600 nodes, 3377 on tree, -607.207 best solution, best possible -607.21 (1585.48 seconds) After 119700 nodes, 3376 on tree, -607.207 best solution, best possible -607.21 (1586.40 seconds) After 119800 nodes, 3402 on tree, -607.207 best solution, best possible -607.21 (1587.54 seconds) After 119900 nodes, 3423 on tree, -607.207 best solution, best possible -607.21 (1588.55 seconds) After 120000 nodes, 3423 on tree, -607.207 best solution, best possible -607.21 (1589.54 seconds) After 120100 nodes, 3418 on tree, -607.207 best solution, best possible -607.21 (1590.66 seconds) After 120200 nodes, 3421 on tree, -607.207 best solution, best possible -607.21 (1591.67 seconds) After 120300 nodes, 3433 on tree, -607.207 best solution, best possible -607.21 (1592.69 seconds) After 120400 nodes, 3439 on tree, -607.207 best solution, best possible -607.21 (1593.71 seconds) After 120500 nodes, 3449 on tree, -607.207 best solution, best possible -607.21 (1594.89 seconds) After 120600 nodes, 3463 on tree, -607.207 best solution, best possible -607.21 (1595.98 seconds) After 120700 nodes, 3486 on tree, -607.207 best solution, best possible -607.21 (1597.18 seconds) After 120800 nodes, 3488 on tree, -607.207 best solution, best possible -607.21 (1598.30 seconds) After 120900 nodes, 3490 on tree, -607.207 best solution, best possible -607.21 (1599.48 seconds) After 121000 nodes, 3489 on tree, -607.207 best solution, best possible -607.21 (1600.80 seconds) After 121100 nodes, 3443 on tree, -607.207 best solution, best possible -607.21 (1601.67 seconds) After 121200 nodes, 3426 on tree, -607.207 best solution, best possible -607.21 (1602.70 seconds) After 121300 nodes, 3372 on tree, -607.207 best solution, best possible -607.21 (1603.68 seconds) After 121400 nodes, 3392 on tree, -607.207 best solution, best possible -607.21 (1605.00 seconds) After 121500 nodes, 3369 on tree, -607.207 best solution, best possible -607.21 (1606.25 seconds) After 121600 nodes, 3341 on tree, -607.207 best solution, best possible -607.21 (1607.34 seconds) After 121700 nodes, 3341 on tree, -607.207 best solution, best possible -607.21 (1608.59 seconds) After 121800 nodes, 3363 on tree, -607.207 best solution, best possible -607.21 (1610.03 seconds) After 121900 nodes, 3387 on tree, -607.207 best solution, best possible -607.21 (1611.46 seconds) After 122000 nodes, 3396 on tree, -607.207 best solution, best possible -607.21 (1612.84 seconds) After 122100 nodes, 3382 on tree, -607.207 best solution, best possible -607.21 (1614.02 seconds) After 122200 nodes, 3385 on tree, -607.207 best solution, best possible -607.21 (1615.38 seconds) After 122300 nodes, 3381 on tree, -607.207 best solution, best possible -607.21 (1616.70 seconds) After 122400 nodes, 3382 on tree, -607.207 best solution, best possible -607.21 (1618.06 seconds) After 122500 nodes, 3394 on tree, -607.207 best solution, best possible -607.21 (1619.51 seconds) After 122600 nodes, 3412 on tree, -607.207 best solution, best possible -607.21 (1620.93 seconds) After 122700 nodes, 3415 on tree, -607.207 best solution, best possible -607.21 (1622.25 seconds) After 122800 nodes, 3413 on tree, -607.207 best solution, best possible -607.21 (1623.71 seconds) After 122900 nodes, 3419 on tree, -607.207 best solution, best possible -607.21 (1625.30 seconds) After 123000 nodes, 3421 on tree, -607.207 best solution, best possible -607.21 (1626.65 seconds) After 123100 nodes, 3431 on tree, -607.207 best solution, best possible -607.21 (1627.99 seconds) After 123200 nodes, 3433 on tree, -607.207 best solution, best possible -607.21 (1629.23 seconds) After 123300 nodes, 3438 on tree, -607.207 best solution, best possible -607.21 (1630.69 seconds) After 123400 nodes, 3460 on tree, -607.207 best solution, best possible -607.21 (1632.11 seconds) After 123500 nodes, 3476 on tree, -607.207 best solution, best possible -607.21 (1633.60 seconds) After 123600 nodes, 3481 on tree, -607.207 best solution, best possible -607.21 (1635.03 seconds) After 123700 nodes, 3489 on tree, -607.207 best solution, best possible -607.21 (1636.36 seconds) After 123800 nodes, 3576 on tree, -607.207 best solution, best possible -607.21 (1637.91 seconds) After 123900 nodes, 3590 on tree, -607.207 best solution, best possible -607.21 (1639.28 seconds) After 124000 nodes, 3580 on tree, -607.207 best solution, best possible -607.21 (1640.41 seconds) After 124100 nodes, 3579 on tree, -607.207 best solution, best possible -607.21 (1641.65 seconds) After 124200 nodes, 3602 on tree, -607.207 best solution, best possible -607.21 (1643.09 seconds) After 124300 nodes, 3609 on tree, -607.207 best solution, best possible -607.21 (1644.37 seconds) After 124400 nodes, 3609 on tree, -607.207 best solution, best possible -607.21 (1645.50 seconds) After 124500 nodes, 3598 on tree, -607.207 best solution, best possible -607.21 (1646.60 seconds) After 124600 nodes, 3597 on tree, -607.207 best solution, best possible -607.21 (1647.95 seconds) After 124700 nodes, 3599 on tree, -607.207 best solution, best possible -607.21 (1649.28 seconds) After 124800 nodes, 3599 on tree, -607.207 best solution, best possible -607.21 (1650.54 seconds) After 124900 nodes, 3608 on tree, -607.207 best solution, best possible -607.21 (1651.88 seconds) After 125000 nodes, 3612 on tree, -607.207 best solution, best possible -607.21 (1653.18 seconds) After 125100 nodes, 3556 on tree, -607.207 best solution, best possible -607.21 (1654.01 seconds) After 125200 nodes, 3521 on tree, -607.207 best solution, best possible -607.21 (1654.94 seconds) After 125300 nodes, 3476 on tree, -607.207 best solution, best possible -607.21 (1655.98 seconds) After 125400 nodes, 3468 on tree, -607.207 best solution, best possible -607.21 (1657.21 seconds) After 125500 nodes, 3476 on tree, -607.207 best solution, best possible -607.21 (1658.37 seconds) After 125600 nodes, 3438 on tree, -607.207 best solution, best possible -607.21 (1659.34 seconds) After 125700 nodes, 3446 on tree, -607.207 best solution, best possible -607.21 (1660.70 seconds) After 125800 nodes, 3462 on tree, -607.207 best solution, best possible -607.21 (1662.09 seconds) After 125900 nodes, 3467 on tree, -607.207 best solution, best possible -607.21 (1663.40 seconds) After 126000 nodes, 3473 on tree, -607.207 best solution, best possible -607.21 (1664.69 seconds) After 126100 nodes, 3484 on tree, -607.207 best solution, best possible -607.21 (1666.21 seconds) After 126200 nodes, 3506 on tree, -607.207 best solution, best possible -607.21 (1667.79 seconds) After 126300 nodes, 3515 on tree, -607.207 best solution, best possible -607.21 (1669.14 seconds) After 126400 nodes, 3513 on tree, -607.207 best solution, best possible -607.21 (1670.47 seconds) After 126500 nodes, 3522 on tree, -607.207 best solution, best possible -607.21 (1671.88 seconds) After 126600 nodes, 3529 on tree, -607.207 best solution, best possible -607.21 (1673.25 seconds) After 126700 nodes, 3538 on tree, -607.207 best solution, best possible -607.21 (1674.58 seconds) After 126800 nodes, 3546 on tree, -607.207 best solution, best possible -607.21 (1675.96 seconds) After 126900 nodes, 3534 on tree, -607.207 best solution, best possible -607.21 (1677.22 seconds) After 127000 nodes, 3545 on tree, -607.207 best solution, best possible -607.21 (1678.67 seconds) After 127100 nodes, 3558 on tree, -607.207 best solution, best possible -607.21 (1680.05 seconds) After 127200 nodes, 3548 on tree, -607.207 best solution, best possible -607.21 (1681.30 seconds) After 127300 nodes, 3556 on tree, -607.207 best solution, best possible -607.21 (1682.61 seconds) After 127400 nodes, 3543 on tree, -607.207 best solution, best possible -607.21 (1683.95 seconds) After 127500 nodes, 3548 on tree, -607.207 best solution, best possible -607.21 (1685.44 seconds) After 127600 nodes, 3547 on tree, -607.207 best solution, best possible -607.21 (1686.74 seconds) After 127700 nodes, 3544 on tree, -607.207 best solution, best possible -607.21 (1687.93 seconds) After 127800 nodes, 3580 on tree, -607.207 best solution, best possible -607.21 (1689.32 seconds) After 127900 nodes, 3620 on tree, -607.207 best solution, best possible -607.21 (1690.69 seconds) After 128000 nodes, 3629 on tree, -607.207 best solution, best possible -607.21 (1692.10 seconds) After 128100 nodes, 3640 on tree, -607.207 best solution, best possible -607.21 (1693.57 seconds) After 128200 nodes, 3657 on tree, -607.207 best solution, best possible -607.21 (1694.99 seconds) After 128300 nodes, 3654 on tree, -607.207 best solution, best possible -607.21 (1696.29 seconds) After 128400 nodes, 3654 on tree, -607.207 best solution, best possible -607.21 (1697.59 seconds) After 128500 nodes, 3664 on tree, -607.207 best solution, best possible -607.21 (1698.85 seconds) After 128600 nodes, 3687 on tree, -607.207 best solution, best possible -607.21 (1700.23 seconds) After 128700 nodes, 3713 on tree, -607.207 best solution, best possible -607.21 (1701.67 seconds) After 128800 nodes, 3729 on tree, -607.207 best solution, best possible -607.21 (1703.17 seconds) After 128900 nodes, 3716 on tree, -607.207 best solution, best possible -607.21 (1704.25 seconds) After 129000 nodes, 3714 on tree, -607.207 best solution, best possible -607.21 (1705.47 seconds) After 129100 nodes, 3665 on tree, -607.207 best solution, best possible -607.21 (1706.31 seconds) After 129200 nodes, 3649 on tree, -607.207 best solution, best possible -607.21 (1707.33 seconds) After 129300 nodes, 3582 on tree, -607.207 best solution, best possible -607.21 (1708.23 seconds) After 129400 nodes, 3558 on tree, -607.207 best solution, best possible -607.21 (1709.28 seconds) After 129500 nodes, 3546 on tree, -607.207 best solution, best possible -607.21 (1710.41 seconds) After 129600 nodes, 3507 on tree, -607.207 best solution, best possible -607.21 (1711.44 seconds) After 129700 nodes, 3511 on tree, -607.207 best solution, best possible -607.21 (1712.67 seconds) After 129800 nodes, 3499 on tree, -607.207 best solution, best possible -607.21 (1713.80 seconds) After 129900 nodes, 3492 on tree, -607.207 best solution, best possible -607.21 (1714.99 seconds) After 130000 nodes, 3506 on tree, -607.207 best solution, best possible -607.21 (1716.32 seconds) After 130100 nodes, 3507 on tree, -607.207 best solution, best possible -607.21 (1717.68 seconds) After 130200 nodes, 3509 on tree, -607.207 best solution, best possible -607.21 (1719.13 seconds) After 130300 nodes, 3510 on tree, -607.207 best solution, best possible -607.21 (1720.60 seconds) After 130400 nodes, 3524 on tree, -607.207 best solution, best possible -607.21 (1722.03 seconds) After 130500 nodes, 3531 on tree, -607.207 best solution, best possible -607.21 (1723.48 seconds) After 130600 nodes, 3540 on tree, -607.207 best solution, best possible -607.21 (1724.86 seconds) After 130700 nodes, 3551 on tree, -607.207 best solution, best possible -607.21 (1726.30 seconds) After 130800 nodes, 3556 on tree, -607.207 best solution, best possible -607.21 (1727.60 seconds) After 130900 nodes, 3561 on tree, -607.207 best solution, best possible -607.21 (1728.93 seconds) After 131000 nodes, 3577 on tree, -607.207 best solution, best possible -607.21 (1730.48 seconds) After 131100 nodes, 3589 on tree, -607.207 best solution, best possible -607.21 (1731.95 seconds) After 131200 nodes, 3602 on tree, -607.207 best solution, best possible -607.21 (1733.48 seconds) After 131300 nodes, 3603 on tree, -607.207 best solution, best possible -607.21 (1734.83 seconds) After 131400 nodes, 3608 on tree, -607.207 best solution, best possible -607.21 (1736.24 seconds) After 131500 nodes, 3637 on tree, -607.207 best solution, best possible -607.21 (1737.89 seconds) After 131600 nodes, 3629 on tree, -607.207 best solution, best possible -607.21 (1739.21 seconds) After 131700 nodes, 3651 on tree, -607.207 best solution, best possible -607.21 (1740.59 seconds) After 131800 nodes, 3660 on tree, -607.207 best solution, best possible -607.21 (1741.92 seconds) After 131900 nodes, 3667 on tree, -607.207 best solution, best possible -607.21 (1743.18 seconds) After 132000 nodes, 3659 on tree, -607.207 best solution, best possible -607.21 (1744.29 seconds) After 132100 nodes, 3659 on tree, -607.207 best solution, best possible -607.21 (1745.67 seconds) After 132200 nodes, 3657 on tree, -607.207 best solution, best possible -607.21 (1747.06 seconds) After 132300 nodes, 3669 on tree, -607.207 best solution, best possible -607.21 (1748.39 seconds) After 132400 nodes, 3669 on tree, -607.207 best solution, best possible -607.21 (1749.71 seconds) After 132500 nodes, 3674 on tree, -607.207 best solution, best possible -607.21 (1751.05 seconds) After 132600 nodes, 3688 on tree, -607.207 best solution, best possible -607.21 (1752.37 seconds) After 132700 nodes, 3706 on tree, -607.207 best solution, best possible -607.21 (1753.72 seconds) After 132800 nodes, 3712 on tree, -607.207 best solution, best possible -607.21 (1755.03 seconds) After 132900 nodes, 3730 on tree, -607.207 best solution, best possible -607.21 (1756.53 seconds) After 133000 nodes, 3754 on tree, -607.207 best solution, best possible -607.21 (1758.01 seconds) After 133100 nodes, 3712 on tree, -607.207 best solution, best possible -607.21 (1758.75 seconds) After 133200 nodes, 3648 on tree, -607.207 best solution, best possible -607.21 (1759.53 seconds) After 133300 nodes, 3626 on tree, -607.207 best solution, best possible -607.21 (1760.53 seconds) After 133400 nodes, 3581 on tree, -607.207 best solution, best possible -607.21 (1761.47 seconds) After 133500 nodes, 3606 on tree, -607.207 best solution, best possible -607.21 (1762.92 seconds) After 133600 nodes, 3619 on tree, -607.207 best solution, best possible -607.21 (1764.21 seconds) After 133700 nodes, 3630 on tree, -607.207 best solution, best possible -607.21 (1765.46 seconds) After 133800 nodes, 3613 on tree, -607.207 best solution, best possible -607.21 (1766.44 seconds) After 133900 nodes, 3604 on tree, -607.207 best solution, best possible -607.21 (1767.61 seconds) After 134000 nodes, 3610 on tree, -607.207 best solution, best possible -607.21 (1768.97 seconds) After 134100 nodes, 3621 on tree, -607.207 best solution, best possible -607.21 (1770.57 seconds) After 134200 nodes, 3625 on tree, -607.207 best solution, best possible -607.21 (1771.92 seconds) After 134300 nodes, 3611 on tree, -607.207 best solution, best possible -607.21 (1773.09 seconds) After 134400 nodes, 3619 on tree, -607.207 best solution, best possible -607.21 (1774.42 seconds) After 134500 nodes, 3614 on tree, -607.207 best solution, best possible -607.21 (1775.73 seconds) After 134600 nodes, 3615 on tree, -607.207 best solution, best possible -607.21 (1777.12 seconds) After 134700 nodes, 3626 on tree, -607.207 best solution, best possible -607.21 (1778.50 seconds) After 134800 nodes, 3616 on tree, -607.207 best solution, best possible -607.21 (1779.85 seconds) After 134900 nodes, 3614 on tree, -607.207 best solution, best possible -607.21 (1781.11 seconds) After 135000 nodes, 3619 on tree, -607.207 best solution, best possible -607.21 (1782.67 seconds) After 135100 nodes, 3623 on tree, -607.207 best solution, best possible -607.21 (1784.04 seconds) After 135200 nodes, 3623 on tree, -607.207 best solution, best possible -607.21 (1785.48 seconds) After 135300 nodes, 3625 on tree, -607.207 best solution, best possible -607.21 (1786.80 seconds) After 135400 nodes, 3629 on tree, -607.207 best solution, best possible -607.21 (1788.11 seconds) After 135500 nodes, 3632 on tree, -607.207 best solution, best possible -607.21 (1789.41 seconds) After 135600 nodes, 3643 on tree, -607.207 best solution, best possible -607.21 (1790.86 seconds) After 135700 nodes, 3654 on tree, -607.207 best solution, best possible -607.21 (1792.23 seconds) After 135800 nodes, 3718 on tree, -607.207 best solution, best possible -607.21 (1793.64 seconds) After 135900 nodes, 3726 on tree, -607.207 best solution, best possible -607.21 (1794.88 seconds) After 136000 nodes, 3741 on tree, -607.207 best solution, best possible -607.21 (1796.21 seconds) After 136100 nodes, 3743 on tree, -607.207 best solution, best possible -607.21 (1797.62 seconds) Exiting on maximum time Partial search - best objective -607.207 (best possible -607.21), took 2331365 iterations and 136188 nodes (1799.50 seconds) Strong branching done 30276 times (534657 iterations), fathomed 123 nodes and fixed 2921 variables Maximum depth 246, 43338 variables fixed on reduced cost Cuts at root node changed objective from -611.85 to -611.85 Probing was tried 7486 times and created 4295 cuts of which 2581 were active after adding rounds of cuts (17.277 seconds) Gomory was tried 3 times and created 4 cuts of which 0 were active after adding rounds of cuts (0.024 seconds) Knapsack was tried 3 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.012 seconds) Clique was tried 3 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.004 seconds) MixedIntegerRounding2 was tried 3 times and created 27 cuts of which 11 were active after adding rounds of cuts (0.028 seconds) FlowCover was tried 15988 times and created 1982 cuts of which 1265 were active after adding rounds of cuts (59.024 seconds) TwoMirCuts was tried 3 times and created 76 cuts of which 9 were active after adding rounds of cuts (0.036 seconds) Result - Stopped on time objective -607.207 after 136188 nodes and 2331365 iterations - took 1800.73 seconds (total time 1800.79) Total time 1801.18 Time limit reached. Have feasible solution. MIP solution: -607.207 (136188 nodes, 1801.18 seconds) Best possible: -607.21 Absolute gap: 0.003 (absolute tolerance optca: 0) Relative gap: 4.9406e-06 (relative tolerance optcr: 0) --- Restarting execution --- mkc1.gms(124) 0 Mb --- Reading solution for model m --- mkc1.gms(124) 4 Mb *** Status: Normal completion --- Job mkc1.gms Stop 08/21/08 22:58:58 elapsed 0:30:51.516