--- Job noswot Start 08/21/08 11:02:19 GAMS Rev 227 Copyright (C) 1987-2008 GAMS Development. All rights reserved Licensee: Stefan Vigerske G071106/0001CB-LNX Humboldt University Berlin, Numerical Mathematics DC5918 --- Starting compilation --- noswot.gms(106) 2 Mb --- GDXin=/home/stefan/work/gams/models/LINlib/noswot.gdx --- noswot.gms(148) 3 Mb --- Starting execution: elapsed 0:00:00.010 --- noswot.gms(123) 4 Mb --- Generating MIP model m --- noswot.gms(124) 4 Mb --- 183 rows 129 columns 761 non-zeroes --- 100 discrete-columns --- Executing COINCBC: elapsed 0:00:00.016 GAMS/CoinCbc 2.0 LP/MIP Solver written by J. Forrest Problem statistics: 128 columns and 182 rows. 100 variables have integrality restrictions. Calling CBC main solution routine... Coin Cbc and Clp Solver version 2.00.00, build Mar 20 2008 command line - GAMS/CBC -solve -quit Continuous objective value is -43 - 0.00 seconds 0 fixed, 25 tightened bounds, 26 strengthened rows, 25 substitutions 0 fixed, 0 tightened bounds, 10 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 1 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 1 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 1 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 1 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 1 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 1 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 1 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 1 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 1 strengthened rows, 0 substitutions processed model has 172 rows, 120 columns (95 integer) and 685 elements Objective coefficients multiple of 1 Cutoff increment increased from 1e-05 to 0.999 Full problem 173 rows 120 columns, reduced to 4 rows 3 columns Pass 1: obj. 0.67761 --> up = 0 , down = 0 -- rand = 5 ( 24) - solution found of -41.1729 - cleaned solution of -41 Before mini branch and bound, 66 integers at bound fixed and 23 continuous Full problem 172 rows 120 columns, reduced to 29 rows 17 columns Mini branch and bound did not improve solution (0.01 seconds) Round again with cutoff of -41.2 Pass 2: obj. 0.68040 --> up = 0 , down = 0 -- rand = 6 ( 20) Pass 3: obj. -0.00000 --> up = 0 , down = 0 -- rand = 0 ( 13) - solution found of -41.2 - mini branch and bound could not fix general integers No solution found this major pass Before mini branch and bound, 66 integers at bound fixed and 21 continuous Full problem 172 rows 120 columns, reduced to 33 rows 21 columns Mini branch and bound did not improve solution (0.02 seconds) After 0.02 seconds - Feasibility pump exiting - took 0.02 seconds Integer solution of -41 found by feasibility pump after 0 iterations and 0 nodes (0.02 seconds) Full problem 172 rows 120 columns, reduced to 25 rows 16 columns 23 added rows had average density of 32.913 At root node, 23 cuts changed objective from -43 to -43 in 100 passes Cut generator 0 (Probing) - 49 row cuts (1 active), 0 column cuts in 0.632 seconds - new frequency is 1 Cut generator 1 (Gomory) - 1141 row cuts (9 active), 0 column cuts in 0.028 seconds - new frequency is -100 Cut generator 2 (Knapsack) - 50 row cuts (1 active), 0 column cuts in 0.016 seconds - new frequency is -100 Cut generator 3 (Clique) - 0 row cuts (0 active), 0 column cuts in 0.004 seconds - new frequency is -100 Cut generator 4 (MixedIntegerRounding2) - 162 row cuts (4 active), 0 column cuts in 0.028 seconds - new frequency is -100 Cut generator 5 (FlowCover) - 114 row cuts (4 active), 0 column cuts in 0.084 seconds - new frequency is -100 Cut generator 6 (TwoMirCuts) - 274 row cuts (4 active), 0 column cuts in 0.020 seconds - new frequency is -100 After 0 nodes, 1 on tree, -41 best solution, best possible -43 (1.10 seconds) After 1000 nodes, 426 on tree, -41 best solution, best possible -43 (6.09 seconds) After 2000 nodes, 671 on tree, -41 best solution, best possible -43 (8.30 seconds) After 3000 nodes, 820 on tree, -41 best solution, best possible -43 (10.16 seconds) After 4000 nodes, 927 on tree, -41 best solution, best possible -43 (11.75 seconds) After 5000 nodes, 1109 on tree, -41 best solution, best possible -43 (13.38 seconds) After 6000 nodes, 1231 on tree, -41 best solution, best possible -43 (15.11 seconds) After 7000 nodes, 1435 on tree, -41 best solution, best possible -43 (16.96 seconds) After 8000 nodes, 1527 on tree, -41 best solution, best possible -43 (18.54 seconds) After 9000 nodes, 1560 on tree, -41 best solution, best possible -43 (19.86 seconds) After 10000 nodes, 1703 on tree, -41 best solution, best possible -43 (21.36 seconds) After 11000 nodes, 1879 on tree, -41 best solution, best possible -43 (22.87 seconds) After 12000 nodes, 2661 on tree, -41 best solution, best possible -43 (24.93 seconds) After 13000 nodes, 2975 on tree, -41 best solution, best possible -43 (26.89 seconds) After 14000 nodes, 3370 on tree, -41 best solution, best possible -43 (28.85 seconds) After 15000 nodes, 3825 on tree, -41 best solution, best possible -43 (30.75 seconds) After 16000 nodes, 4226 on tree, -41 best solution, best possible -43 (32.64 seconds) After 17000 nodes, 4589 on tree, -41 best solution, best possible -43 (34.48 seconds) After 18000 nodes, 4924 on tree, -41 best solution, best possible -43 (36.25 seconds) After 19000 nodes, 5420 on tree, -41 best solution, best possible -43 (38.20 seconds) After 20000 nodes, 5804 on tree, -41 best solution, best possible -43 (40.00 seconds) After 21000 nodes, 6198 on tree, -41 best solution, best possible -43 (41.75 seconds) After 22000 nodes, 6707 on tree, -41 best solution, best possible -43 (43.60 seconds) After 23000 nodes, 7164 on tree, -41 best solution, best possible -43 (45.49 seconds) After 24000 nodes, 7537 on tree, -41 best solution, best possible -43 (47.33 seconds) After 25000 nodes, 7979 on tree, -41 best solution, best possible -43 (49.14 seconds) After 26000 nodes, 8393 on tree, -41 best solution, best possible -43 (50.97 seconds) After 27000 nodes, 8868 on tree, -41 best solution, best possible -43 (52.90 seconds) After 28000 nodes, 9288 on tree, -41 best solution, best possible -43 (54.74 seconds) After 29000 nodes, 9680 on tree, -41 best solution, best possible -43 (56.52 seconds) After 30000 nodes, 10109 on tree, -41 best solution, best possible -43 (58.23 seconds) After 31000 nodes, 10445 on tree, -41 best solution, best possible -43 (60.01 seconds) After 32000 nodes, 10875 on tree, -41 best solution, best possible -43 (61.86 seconds) After 33000 nodes, 10938 on tree, -41 best solution, best possible -43 (63.42 seconds) After 34000 nodes, 11379 on tree, -41 best solution, best possible -43 (65.27 seconds) After 35000 nodes, 11799 on tree, -41 best solution, best possible -43 (67.20 seconds) After 36000 nodes, 12197 on tree, -41 best solution, best possible -43 (69.03 seconds) After 37000 nodes, 12276 on tree, -41 best solution, best possible -43 (70.49 seconds) After 38000 nodes, 12564 on tree, -41 best solution, best possible -43 (72.26 seconds) After 39000 nodes, 12997 on tree, -41 best solution, best possible -43 (74.03 seconds) After 40000 nodes, 13379 on tree, -41 best solution, best possible -43 (75.85 seconds) After 41000 nodes, 13443 on tree, -41 best solution, best possible -43 (77.29 seconds) After 42000 nodes, 13833 on tree, -41 best solution, best possible -43 (79.13 seconds) After 43000 nodes, 14360 on tree, -41 best solution, best possible -43 (81.07 seconds) After 44000 nodes, 14811 on tree, -41 best solution, best possible -43 (83.09 seconds) After 45000 nodes, 14914 on tree, -41 best solution, best possible -43 (84.56 seconds) After 46000 nodes, 15300 on tree, -41 best solution, best possible -43 (86.48 seconds) After 47000 nodes, 15680 on tree, -41 best solution, best possible -43 (88.34 seconds) After 48000 nodes, 16192 on tree, -41 best solution, best possible -43 (90.30 seconds) After 49000 nodes, 16305 on tree, -41 best solution, best possible -43 (91.79 seconds) After 50000 nodes, 16648 on tree, -41 best solution, best possible -43 (93.63 seconds) After 51000 nodes, 16993 on tree, -41 best solution, best possible -43 (95.45 seconds) After 52000 nodes, 17351 on tree, -41 best solution, best possible -43 (97.30 seconds) After 53000 nodes, 17335 on tree, -41 best solution, best possible -43 (98.81 seconds) After 54000 nodes, 17871 on tree, -41 best solution, best possible -43 (100.67 seconds) After 55000 nodes, 18140 on tree, -41 best solution, best possible -43 (102.65 seconds) After 56000 nodes, 18493 on tree, -41 best solution, best possible -43 (104.57 seconds) After 57000 nodes, 18570 on tree, -41 best solution, best possible -43 (106.15 seconds) After 58000 nodes, 18961 on tree, -41 best solution, best possible -43 (108.12 seconds) After 59000 nodes, 19480 on tree, -41 best solution, best possible -43 (110.08 seconds) After 60000 nodes, 19838 on tree, -41 best solution, best possible -43 (112.08 seconds) After 61000 nodes, 19825 on tree, -41 best solution, best possible -43 (113.66 seconds) After 62000 nodes, 20163 on tree, -41 best solution, best possible -43 (115.55 seconds) After 63000 nodes, 20441 on tree, -41 best solution, best possible -43 (117.41 seconds) After 64000 nodes, 20918 on tree, -41 best solution, best possible -43 (119.35 seconds) After 65000 nodes, 21000 on tree, -41 best solution, best possible -43 (120.83 seconds) After 66000 nodes, 21355 on tree, -41 best solution, best possible -43 (122.63 seconds) After 67000 nodes, 21606 on tree, -41 best solution, best possible -43 (124.44 seconds) After 68000 nodes, 22078 on tree, -41 best solution, best possible -43 (126.32 seconds) After 69000 nodes, 22063 on tree, -41 best solution, best possible -43 (127.72 seconds) After 70000 nodes, 22455 on tree, -41 best solution, best possible -43 (129.58 seconds) After 71000 nodes, 22787 on tree, -41 best solution, best possible -43 (131.58 seconds) After 72000 nodes, 23175 on tree, -41 best solution, best possible -43 (133.49 seconds) After 73000 nodes, 23195 on tree, -41 best solution, best possible -43 (135.05 seconds) After 74000 nodes, 23716 on tree, -41 best solution, best possible -43 (137.02 seconds) After 75000 nodes, 24078 on tree, -41 best solution, best possible -43 (138.95 seconds) After 76000 nodes, 24384 on tree, -41 best solution, best possible -43 (140.94 seconds) After 77000 nodes, 24523 on tree, -41 best solution, best possible -43 (142.48 seconds) After 78000 nodes, 24855 on tree, -41 best solution, best possible -43 (144.42 seconds) After 79000 nodes, 25315 on tree, -41 best solution, best possible -43 (146.31 seconds) After 80000 nodes, 25687 on tree, -41 best solution, best possible -43 (148.16 seconds) After 81000 nodes, 25777 on tree, -41 best solution, best possible -43 (149.61 seconds) After 82000 nodes, 26048 on tree, -41 best solution, best possible -43 (151.39 seconds) After 83000 nodes, 26414 on tree, -41 best solution, best possible -43 (153.15 seconds) After 84000 nodes, 26836 on tree, -41 best solution, best possible -43 (154.97 seconds) After 85000 nodes, 26927 on tree, -41 best solution, best possible -43 (156.40 seconds) After 86000 nodes, 27179 on tree, -41 best solution, best possible -43 (158.21 seconds) After 87000 nodes, 27532 on tree, -41 best solution, best possible -43 (160.02 seconds) After 88000 nodes, 27917 on tree, -41 best solution, best possible -43 (161.90 seconds) After 89000 nodes, 27860 on tree, -41 best solution, best possible -43 (163.37 seconds) After 90000 nodes, 28336 on tree, -41 best solution, best possible -43 (165.33 seconds) After 91000 nodes, 28664 on tree, -41 best solution, best possible -43 (167.20 seconds) After 92000 nodes, 28982 on tree, -41 best solution, best possible -43 (169.09 seconds) After 93000 nodes, 28997 on tree, -41 best solution, best possible -43 (170.64 seconds) After 94000 nodes, 29437 on tree, -41 best solution, best possible -43 (172.50 seconds) After 95000 nodes, 29716 on tree, -41 best solution, best possible -43 (174.33 seconds) After 96000 nodes, 30074 on tree, -41 best solution, best possible -43 (176.28 seconds) After 97000 nodes, 30175 on tree, -41 best solution, best possible -43 (177.75 seconds) After 98000 nodes, 30520 on tree, -41 best solution, best possible -43 (179.62 seconds) After 99000 nodes, 31017 on tree, -41 best solution, best possible -43 (181.53 seconds) After 100000 nodes, 31365 on tree, -41 best solution, best possible -43 (183.49 seconds) After 101000 nodes, 31431 on tree, -41 best solution, best possible -43 (185.03 seconds) After 102000 nodes, 31744 on tree, -41 best solution, best possible -43 (186.89 seconds) After 103000 nodes, 32164 on tree, -41 best solution, best possible -43 (188.69 seconds) After 104000 nodes, 32507 on tree, -41 best solution, best possible -43 (190.52 seconds) After 105000 nodes, 32619 on tree, -41 best solution, best possible -43 (191.98 seconds) After 106000 nodes, 32982 on tree, -41 best solution, best possible -43 (193.80 seconds) After 107000 nodes, 33246 on tree, -41 best solution, best possible -43 (195.65 seconds) After 108000 nodes, 33681 on tree, -41 best solution, best possible -43 (197.56 seconds) After 109000 nodes, 33713 on tree, -41 best solution, best possible -43 (198.93 seconds) After 110000 nodes, 33939 on tree, -41 best solution, best possible -43 (200.70 seconds) After 111000 nodes, 34324 on tree, -41 best solution, best possible -43 (202.58 seconds) After 112000 nodes, 34622 on tree, -41 best solution, best possible -43 (204.42 seconds) After 113000 nodes, 34600 on tree, -41 best solution, best possible -43 (205.80 seconds) After 114000 nodes, 35061 on tree, -41 best solution, best possible -43 (207.65 seconds) After 115000 nodes, 35559 on tree, -41 best solution, best possible -43 (209.59 seconds) After 116000 nodes, 35869 on tree, -41 best solution, best possible -43 (211.50 seconds) After 117000 nodes, 35860 on tree, -41 best solution, best possible -43 (213.05 seconds) After 118000 nodes, 36258 on tree, -41 best solution, best possible -43 (214.99 seconds) After 119000 nodes, 36575 on tree, -41 best solution, best possible -43 (216.89 seconds) After 120000 nodes, 36996 on tree, -41 best solution, best possible -43 (218.84 seconds) After 121000 nodes, 37080 on tree, -41 best solution, best possible -43 (220.41 seconds) After 122000 nodes, 37400 on tree, -41 best solution, best possible -43 (222.35 seconds) After 123000 nodes, 37825 on tree, -41 best solution, best possible -43 (224.23 seconds) After 124000 nodes, 38157 on tree, -41 best solution, best possible -43 (226.14 seconds) After 125000 nodes, 38217 on tree, -41 best solution, best possible -43 (227.62 seconds) After 126000 nodes, 38482 on tree, -41 best solution, best possible -43 (229.53 seconds) After 127000 nodes, 38843 on tree, -41 best solution, best possible -43 (231.53 seconds) After 128000 nodes, 39285 on tree, -41 best solution, best possible -43 (233.33 seconds) After 129000 nodes, 39352 on tree, -41 best solution, best possible -43 (234.77 seconds) After 130000 nodes, 39693 on tree, -41 best solution, best possible -43 (236.70 seconds) After 131000 nodes, 39976 on tree, -41 best solution, best possible -43 (238.53 seconds) After 132000 nodes, 40406 on tree, -41 best solution, best possible -43 (240.33 seconds) After 133000 nodes, 40462 on tree, -41 best solution, best possible -43 (241.82 seconds) After 134000 nodes, 40795 on tree, -41 best solution, best possible -43 (243.61 seconds) After 135000 nodes, 41113 on tree, -41 best solution, best possible -43 (245.49 seconds) After 136000 nodes, 41435 on tree, -41 best solution, best possible -43 (247.29 seconds) After 137000 nodes, 41509 on tree, -41 best solution, best possible -43 (248.75 seconds) After 138000 nodes, 41773 on tree, -41 best solution, best possible -43 (250.56 seconds) After 139000 nodes, 42005 on tree, -41 best solution, best possible -43 (252.36 seconds) After 140000 nodes, 42486 on tree, -41 best solution, best possible -43 (254.33 seconds) After 141000 nodes, 42461 on tree, -41 best solution, best possible -43 (255.67 seconds) After 142000 nodes, 42822 on tree, -41 best solution, best possible -43 (257.59 seconds) After 143000 nodes, 43220 on tree, -41 best solution, best possible -43 (259.47 seconds) After 144000 nodes, 43702 on tree, -41 best solution, best possible -43 (261.38 seconds) After 145000 nodes, 43799 on tree, -41 best solution, best possible -43 (262.90 seconds) After 146000 nodes, 44244 on tree, -41 best solution, best possible -43 (264.91 seconds) After 147000 nodes, 44545 on tree, -41 best solution, best possible -43 (266.86 seconds) After 148000 nodes, 44997 on tree, -41 best solution, best possible -43 (268.76 seconds) After 149000 nodes, 45023 on tree, -41 best solution, best possible -43 (270.26 seconds) After 150000 nodes, 45294 on tree, -41 best solution, best possible -43 (272.18 seconds) After 151000 nodes, 45703 on tree, -41 best solution, best possible -43 (274.08 seconds) After 152000 nodes, 46139 on tree, -41 best solution, best possible -43 (275.98 seconds) After 153000 nodes, 46204 on tree, -41 best solution, best possible -43 (277.51 seconds) After 154000 nodes, 46530 on tree, -41 best solution, best possible -43 (279.46 seconds) After 155000 nodes, 46812 on tree, -41 best solution, best possible -43 (281.43 seconds) After 156000 nodes, 47185 on tree, -41 best solution, best possible -43 (283.32 seconds) After 157000 nodes, 47236 on tree, -41 best solution, best possible -43 (284.94 seconds) After 158000 nodes, 47679 on tree, -41 best solution, best possible -43 (286.81 seconds) After 159000 nodes, 48013 on tree, -41 best solution, best possible -43 (288.61 seconds) After 160000 nodes, 48359 on tree, -41 best solution, best possible -43 (290.55 seconds) After 161000 nodes, 48408 on tree, -41 best solution, best possible -43 (291.97 seconds) After 162000 nodes, 48694 on tree, -41 best solution, best possible -43 (293.79 seconds) After 163000 nodes, 48990 on tree, -41 best solution, best possible -43 (295.64 seconds) After 164000 nodes, 49348 on tree, -41 best solution, best possible -43 (297.41 seconds) After 165000 nodes, 49373 on tree, -41 best solution, best possible -43 (298.87 seconds) After 166000 nodes, 49714 on tree, -41 best solution, best possible -43 (300.68 seconds) After 167000 nodes, 50108 on tree, -41 best solution, best possible -43 (302.47 seconds) After 168000 nodes, 50366 on tree, -41 best solution, best possible -43 (304.29 seconds) After 169000 nodes, 50430 on tree, -41 best solution, best possible -43 (305.69 seconds) After 170000 nodes, 50734 on tree, -41 best solution, best possible -43 (307.45 seconds) After 171000 nodes, 51088 on tree, -41 best solution, best possible -43 (309.32 seconds) After 172000 nodes, 51396 on tree, -41 best solution, best possible -43 (311.16 seconds) After 173000 nodes, 51428 on tree, -41 best solution, best possible -43 (312.57 seconds) After 174000 nodes, 51613 on tree, -41 best solution, best possible -43 (314.43 seconds) After 175000 nodes, 51973 on tree, -41 best solution, best possible -43 (316.40 seconds) After 176000 nodes, 52463 on tree, -41 best solution, best possible -43 (318.49 seconds) After 177000 nodes, 52482 on tree, -41 best solution, best possible -43 (319.92 seconds) After 178000 nodes, 52791 on tree, -41 best solution, best possible -43 (321.69 seconds) After 179000 nodes, 53158 on tree, -41 best solution, best possible -43 (323.62 seconds) After 180000 nodes, 53603 on tree, -41 best solution, best possible -43 (325.59 seconds) After 181000 nodes, 53669 on tree, -41 best solution, best possible -43 (327.15 seconds) After 182000 nodes, 54204 on tree, -41 best solution, best possible -43 (329.03 seconds) After 183000 nodes, 54588 on tree, -41 best solution, best possible -43 (330.92 seconds) After 184000 nodes, 54868 on tree, -41 best solution, best possible -43 (332.86 seconds) After 185000 nodes, 54912 on tree, -41 best solution, best possible -43 (334.44 seconds) After 186000 nodes, 55216 on tree, -41 best solution, best possible -43 (336.35 seconds) After 187000 nodes, 55602 on tree, -41 best solution, best possible -43 (338.23 seconds) After 188000 nodes, 55941 on tree, -41 best solution, best possible -43 (340.15 seconds) After 189000 nodes, 55992 on tree, -41 best solution, best possible -43 (341.60 seconds) After 190000 nodes, 56429 on tree, -41 best solution, best possible -43 (343.53 seconds) After 191000 nodes, 56777 on tree, -41 best solution, best possible -43 (345.36 seconds) After 192000 nodes, 57156 on tree, -41 best solution, best possible -43 (347.36 seconds) After 193000 nodes, 57194 on tree, -41 best solution, best possible -43 (348.91 seconds) After 194000 nodes, 57516 on tree, -41 best solution, best possible -43 (350.88 seconds) After 195000 nodes, 57906 on tree, -41 best solution, best possible -43 (352.86 seconds) After 196000 nodes, 58251 on tree, -41 best solution, best possible -43 (354.77 seconds) After 197000 nodes, 58289 on tree, -41 best solution, best possible -43 (356.28 seconds) After 198000 nodes, 58597 on tree, -41 best solution, best possible -43 (358.25 seconds) After 199000 nodes, 58974 on tree, -41 best solution, best possible -43 (360.22 seconds) After 200000 nodes, 59386 on tree, -41 best solution, best possible -43 (362.16 seconds) After 201000 nodes, 59412 on tree, -41 best solution, best possible -43 (363.75 seconds) After 202000 nodes, 59786 on tree, -41 best solution, best possible -43 (365.59 seconds) After 203000 nodes, 60028 on tree, -41 best solution, best possible -43 (367.41 seconds) After 204000 nodes, 60372 on tree, -41 best solution, best possible -43 (369.27 seconds) After 205000 nodes, 60400 on tree, -41 best solution, best possible -43 (370.70 seconds) After 206000 nodes, 60794 on tree, -41 best solution, best possible -43 (372.56 seconds) After 207000 nodes, 61082 on tree, -41 best solution, best possible -43 (374.42 seconds) After 208000 nodes, 61375 on tree, -41 best solution, best possible -43 (376.26 seconds) After 209000 nodes, 61414 on tree, -41 best solution, best possible -43 (377.68 seconds) After 210000 nodes, 61807 on tree, -41 best solution, best possible -43 (379.48 seconds) After 211000 nodes, 62109 on tree, -41 best solution, best possible -43 (381.36 seconds) After 212000 nodes, 62408 on tree, -41 best solution, best possible -43 (383.29 seconds) After 213000 nodes, 62463 on tree, -41 best solution, best possible -43 (384.68 seconds) After 214000 nodes, 62630 on tree, -41 best solution, best possible -43 (386.54 seconds) After 215000 nodes, 62950 on tree, -41 best solution, best possible -43 (388.46 seconds) After 216000 nodes, 63223 on tree, -41 best solution, best possible -43 (390.36 seconds) After 217000 nodes, 63233 on tree, -41 best solution, best possible -43 (391.73 seconds) After 218000 nodes, 63677 on tree, -41 best solution, best possible -43 (393.64 seconds) After 219000 nodes, 64039 on tree, -41 best solution, best possible -43 (395.55 seconds) After 220000 nodes, 64388 on tree, -41 best solution, best possible -43 (397.30 seconds) After 221000 nodes, 64404 on tree, -41 best solution, best possible -43 (398.66 seconds) After 222000 nodes, 64751 on tree, -41 best solution, best possible -43 (400.56 seconds) After 223000 nodes, 65149 on tree, -41 best solution, best possible -43 (402.37 seconds) After 224000 nodes, 65672 on tree, -41 best solution, best possible -43 (404.22 seconds) After 225000 nodes, 65719 on tree, -41 best solution, best possible -43 (405.65 seconds) After 226000 nodes, 66055 on tree, -41 best solution, best possible -43 (407.50 seconds) After 227000 nodes, 66502 on tree, -41 best solution, best possible -43 (409.32 seconds) After 228000 nodes, 66787 on tree, -41 best solution, best possible -43 (411.17 seconds) After 229000 nodes, 66806 on tree, -41 best solution, best possible -43 (412.61 seconds) After 230000 nodes, 67214 on tree, -41 best solution, best possible -43 (414.52 seconds) After 231000 nodes, 67571 on tree, -41 best solution, best possible -43 (416.41 seconds) After 232000 nodes, 67816 on tree, -41 best solution, best possible -43 (418.29 seconds) After 233000 nodes, 67856 on tree, -41 best solution, best possible -43 (419.68 seconds) After 234000 nodes, 68195 on tree, -41 best solution, best possible -43 (421.55 seconds) After 235000 nodes, 68682 on tree, -41 best solution, best possible -43 (423.39 seconds) After 236000 nodes, 69074 on tree, -41 best solution, best possible -43 (425.38 seconds) After 237000 nodes, 69102 on tree, -41 best solution, best possible -43 (426.90 seconds) After 238000 nodes, 69416 on tree, -41 best solution, best possible -43 (428.76 seconds) After 239000 nodes, 69788 on tree, -41 best solution, best possible -43 (430.79 seconds) After 240000 nodes, 70079 on tree, -41 best solution, best possible -43 (432.72 seconds) After 241000 nodes, 70074 on tree, -41 best solution, best possible -43 (434.10 seconds) After 242000 nodes, 70438 on tree, -41 best solution, best possible -43 (436.04 seconds) After 243000 nodes, 70661 on tree, -41 best solution, best possible -43 (437.86 seconds) After 244000 nodes, 71034 on tree, -41 best solution, best possible -43 (439.82 seconds) After 245000 nodes, 71034 on tree, -41 best solution, best possible -43 (441.33 seconds) After 246000 nodes, 71363 on tree, -41 best solution, best possible -43 (443.26 seconds) After 247000 nodes, 71729 on tree, -41 best solution, best possible -43 (445.24 seconds) After 248000 nodes, 72054 on tree, -41 best solution, best possible -43 (447.08 seconds) After 249000 nodes, 72086 on tree, -41 best solution, best possible -43 (448.61 seconds) After 250000 nodes, 72339 on tree, -41 best solution, best possible -43 (450.39 seconds) After 251000 nodes, 72609 on tree, -41 best solution, best possible -43 (452.24 seconds) After 252000 nodes, 72976 on tree, -41 best solution, best possible -43 (454.10 seconds) After 253000 nodes, 72984 on tree, -41 best solution, best possible -43 (455.54 seconds) After 254000 nodes, 73245 on tree, -41 best solution, best possible -43 (457.31 seconds) After 255000 nodes, 73546 on tree, -41 best solution, best possible -43 (459.11 seconds) After 256000 nodes, 73908 on tree, -41 best solution, best possible -43 (460.90 seconds) After 257000 nodes, 73958 on tree, -41 best solution, best possible -43 (462.42 seconds) After 258000 nodes, 74281 on tree, -41 best solution, best possible -43 (464.18 seconds) After 259000 nodes, 74520 on tree, -41 best solution, best possible -43 (465.95 seconds) After 260000 nodes, 74734 on tree, -41 best solution, best possible -43 (467.72 seconds) After 261000 nodes, 74748 on tree, -41 best solution, best possible -43 (469.04 seconds) After 262000 nodes, 75089 on tree, -41 best solution, best possible -43 (470.85 seconds) After 263000 nodes, 75364 on tree, -41 best solution, best possible -43 (472.71 seconds) After 264000 nodes, 75496 on tree, -41 best solution, best possible -43 (474.47 seconds) After 265000 nodes, 75506 on tree, -41 best solution, best possible -43 (475.95 seconds) After 266000 nodes, 75765 on tree, -41 best solution, best possible -43 (477.74 seconds) After 267000 nodes, 76238 on tree, -41 best solution, best possible -43 (479.69 seconds) After 268000 nodes, 76626 on tree, -41 best solution, best possible -43 (481.63 seconds) After 269000 nodes, 76605 on tree, -41 best solution, best possible -43 (483.06 seconds) After 270000 nodes, 76934 on tree, -41 best solution, best possible -43 (484.87 seconds) After 271000 nodes, 77253 on tree, -41 best solution, best possible -43 (486.62 seconds) After 272000 nodes, 77640 on tree, -41 best solution, best possible -43 (488.49 seconds) After 273000 nodes, 77662 on tree, -41 best solution, best possible -43 (489.89 seconds) After 274000 nodes, 78060 on tree, -41 best solution, best possible -43 (491.78 seconds) After 275000 nodes, 78449 on tree, -41 best solution, best possible -43 (493.66 seconds) After 276000 nodes, 78883 on tree, -41 best solution, best possible -43 (495.57 seconds) After 277000 nodes, 78923 on tree, -41 best solution, best possible -43 (497.00 seconds) After 278000 nodes, 79326 on tree, -41 best solution, best possible -43 (498.97 seconds) After 279000 nodes, 79753 on tree, -41 best solution, best possible -43 (500.88 seconds) After 280000 nodes, 80040 on tree, -41 best solution, best possible -43 (502.74 seconds) After 281000 nodes, 80096 on tree, -41 best solution, best possible -43 (504.25 seconds) After 282000 nodes, 80400 on tree, -41 best solution, best possible -43 (506.10 seconds) After 283000 nodes, 80692 on tree, -41 best solution, best possible -43 (507.89 seconds) After 284000 nodes, 81050 on tree, -41 best solution, best possible -43 (509.85 seconds) After 285000 nodes, 81056 on tree, -41 best solution, best possible -43 (511.26 seconds) After 286000 nodes, 81452 on tree, -41 best solution, best possible -43 (513.11 seconds) After 287000 nodes, 81744 on tree, -41 best solution, best possible -43 (514.96 seconds) After 288000 nodes, 82030 on tree, -41 best solution, best possible -43 (516.83 seconds) After 289000 nodes, 82001 on tree, -41 best solution, best possible -43 (518.25 seconds) After 290000 nodes, 82382 on tree, -41 best solution, best possible -43 (520.26 seconds) After 291000 nodes, 82832 on tree, -41 best solution, best possible -43 (522.17 seconds) After 292000 nodes, 83177 on tree, -41 best solution, best possible -43 (524.12 seconds) After 293000 nodes, 83230 on tree, -41 best solution, best possible -43 (525.54 seconds) After 294000 nodes, 83430 on tree, -41 best solution, best possible -43 (527.45 seconds) After 295000 nodes, 83755 on tree, -41 best solution, best possible -43 (529.42 seconds) After 296000 nodes, 84124 on tree, -41 best solution, best possible -43 (531.37 seconds) After 297000 nodes, 84093 on tree, -41 best solution, best possible -43 (532.80 seconds) After 298000 nodes, 84370 on tree, -41 best solution, best possible -43 (534.65 seconds) After 299000 nodes, 84546 on tree, -41 best solution, best possible -43 (536.45 seconds) After 300000 nodes, 84864 on tree, -41 best solution, best possible -43 (538.30 seconds) After 301000 nodes, 84943 on tree, -41 best solution, best possible -43 (539.89 seconds) After 302000 nodes, 85220 on tree, -41 best solution, best possible -43 (541.91 seconds) After 303000 nodes, 85558 on tree, -41 best solution, best possible -43 (543.84 seconds) After 304000 nodes, 85832 on tree, -41 best solution, best possible -43 (545.64 seconds) After 305000 nodes, 85833 on tree, -41 best solution, best possible -43 (547.15 seconds) After 306000 nodes, 86062 on tree, -41 best solution, best possible -43 (548.95 seconds) After 307000 nodes, 86290 on tree, -41 best solution, best possible -43 (550.82 seconds) After 308000 nodes, 86535 on tree, -41 best solution, best possible -43 (552.55 seconds) After 309000 nodes, 86495 on tree, -41 best solution, best possible -43 (553.95 seconds) After 310000 nodes, 86814 on tree, -41 best solution, best possible -43 (555.69 seconds) After 311000 nodes, 87062 on tree, -41 best solution, best possible -43 (557.38 seconds) After 312000 nodes, 87369 on tree, -41 best solution, best possible -43 (559.22 seconds) After 313000 nodes, 87417 on tree, -41 best solution, best possible -43 (560.60 seconds) After 314000 nodes, 87710 on tree, -41 best solution, best possible -43 (562.33 seconds) After 315000 nodes, 87949 on tree, -41 best solution, best possible -43 (564.13 seconds) After 316000 nodes, 88203 on tree, -41 best solution, best possible -43 (565.99 seconds) After 317000 nodes, 88252 on tree, -41 best solution, best possible -43 (567.36 seconds) After 318000 nodes, 88519 on tree, -41 best solution, best possible -43 (569.24 seconds) After 319000 nodes, 88654 on tree, -41 best solution, best possible -43 (571.08 seconds) After 320000 nodes, 88855 on tree, -41 best solution, best possible -43 (572.90 seconds) After 321000 nodes, 88823 on tree, -41 best solution, best possible -43 (574.31 seconds) After 322000 nodes, 89057 on tree, -41 best solution, best possible -43 (576.08 seconds) After 323000 nodes, 89317 on tree, -41 best solution, best possible -43 (577.94 seconds) After 324000 nodes, 89621 on tree, -41 best solution, best possible -43 (579.88 seconds) After 325000 nodes, 89564 on tree, -41 best solution, best possible -43 (581.26 seconds) After 326000 nodes, 89899 on tree, -41 best solution, best possible -43 (583.27 seconds) After 327000 nodes, 90227 on tree, -41 best solution, best possible -43 (585.07 seconds) After 328000 nodes, 90669 on tree, -41 best solution, best possible -43 (586.90 seconds) After 329000 nodes, 90642 on tree, -41 best solution, best possible -43 (588.23 seconds) After 330000 nodes, 90821 on tree, -41 best solution, best possible -43 (590.11 seconds) After 331000 nodes, 91322 on tree, -41 best solution, best possible -43 (591.97 seconds) After 332000 nodes, 91741 on tree, -41 best solution, best possible -43 (593.89 seconds) After 333000 nodes, 91784 on tree, -41 best solution, best possible -43 (595.32 seconds) After 334000 nodes, 92089 on tree, -41 best solution, best possible -43 (597.33 seconds) After 335000 nodes, 92459 on tree, -41 best solution, best possible -43 (599.22 seconds) After 336000 nodes, 92850 on tree, -41 best solution, best possible -43 (601.17 seconds) After 337000 nodes, 92874 on tree, -41 best solution, best possible -43 (602.55 seconds) After 338000 nodes, 93210 on tree, -41 best solution, best possible -43 (604.48 seconds) After 339000 nodes, 93633 on tree, -41 best solution, best possible -43 (606.40 seconds) After 340000 nodes, 93946 on tree, -41 best solution, best possible -43 (608.25 seconds) After 341000 nodes, 93949 on tree, -41 best solution, best possible -43 (609.72 seconds) After 342000 nodes, 94291 on tree, -41 best solution, best possible -43 (611.50 seconds) After 343000 nodes, 94551 on tree, -41 best solution, best possible -43 (613.34 seconds) After 344000 nodes, 94905 on tree, -41 best solution, best possible -43 (615.21 seconds) After 345000 nodes, 94911 on tree, -41 best solution, best possible -43 (616.60 seconds) After 346000 nodes, 95277 on tree, -41 best solution, best possible -43 (618.43 seconds) After 347000 nodes, 95494 on tree, -41 best solution, best possible -43 (620.31 seconds) After 348000 nodes, 95843 on tree, -41 best solution, best possible -43 (622.20 seconds) After 349000 nodes, 95894 on tree, -41 best solution, best possible -43 (623.65 seconds) After 350000 nodes, 96257 on tree, -41 best solution, best possible -43 (625.49 seconds) After 351000 nodes, 96714 on tree, -41 best solution, best possible -43 (627.36 seconds) After 352000 nodes, 97051 on tree, -41 best solution, best possible -43 (629.29 seconds) After 353000 nodes, 97125 on tree, -41 best solution, best possible -43 (630.77 seconds) After 354000 nodes, 97413 on tree, -41 best solution, best possible -43 (632.59 seconds) After 355000 nodes, 97766 on tree, -41 best solution, best possible -43 (634.44 seconds) After 356000 nodes, 98004 on tree, -41 best solution, best possible -43 (636.36 seconds) After 357000 nodes, 97980 on tree, -41 best solution, best possible -43 (637.84 seconds) After 358000 nodes, 98224 on tree, -41 best solution, best possible -43 (639.68 seconds) After 359000 nodes, 98546 on tree, -41 best solution, best possible -43 (641.59 seconds) After 360000 nodes, 98844 on tree, -41 best solution, best possible -43 (643.47 seconds) After 361000 nodes, 98810 on tree, -41 best solution, best possible -43 (644.86 seconds) After 362000 nodes, 99066 on tree, -41 best solution, best possible -43 (646.70 seconds) After 363000 nodes, 99231 on tree, -41 best solution, best possible -43 (648.56 seconds) After 364000 nodes, 99530 on tree, -41 best solution, best possible -43 (650.52 seconds) After 365000 nodes, 99509 on tree, -41 best solution, best possible -43 (652.02 seconds) After 366000 nodes, 99818 on tree, -41 best solution, best possible -43 (654.08 seconds) After 367000 nodes, 100110 on tree, -41 best solution, best possible -43 (655.90 seconds) After 368000 nodes, 100329 on tree, -41 best solution, best possible -43 (657.65 seconds) After 369000 nodes, 100301 on tree, -41 best solution, best possible -43 (659.02 seconds) After 370000 nodes, 100490 on tree, -41 best solution, best possible -43 (660.78 seconds) After 371000 nodes, 100747 on tree, -41 best solution, best possible -43 (662.66 seconds) After 372000 nodes, 101055 on tree, -41 best solution, best possible -43 (664.42 seconds) After 373000 nodes, 101053 on tree, -41 best solution, best possible -43 (665.82 seconds) After 374000 nodes, 101352 on tree, -41 best solution, best possible -43 (667.58 seconds) After 375000 nodes, 101613 on tree, -41 best solution, best possible -43 (669.37 seconds) After 376000 nodes, 102033 on tree, -41 best solution, best possible -43 (671.16 seconds) After 377000 nodes, 102079 on tree, -41 best solution, best possible -43 (672.62 seconds) After 378000 nodes, 102336 on tree, -41 best solution, best possible -43 (674.34 seconds) After 379000 nodes, 102549 on tree, -41 best solution, best possible -43 (676.13 seconds) After 380000 nodes, 102773 on tree, -41 best solution, best possible -43 (678.01 seconds) After 381000 nodes, 102763 on tree, -41 best solution, best possible -43 (679.36 seconds) After 382000 nodes, 102991 on tree, -41 best solution, best possible -43 (681.19 seconds) After 383000 nodes, 103205 on tree, -41 best solution, best possible -43 (683.07 seconds) After 384000 nodes, 103434 on tree, -41 best solution, best possible -43 (684.83 seconds) After 385000 nodes, 103385 on tree, -41 best solution, best possible -43 (686.23 seconds) After 386000 nodes, 103529 on tree, -41 best solution, best possible -43 (688.02 seconds) After 387000 nodes, 103733 on tree, -41 best solution, best possible -43 (689.88 seconds) After 388000 nodes, 104060 on tree, -41 best solution, best possible -43 (691.89 seconds) After 389000 nodes, 103956 on tree, -41 best solution, best possible -43 (693.22 seconds) After 390000 nodes, 104299 on tree, -41 best solution, best possible -43 (695.22 seconds) After 391000 nodes, 104504 on tree, -41 best solution, best possible -43 (697.16 seconds) After 392000 nodes, 104844 on tree, -41 best solution, best possible -43 (699.00 seconds) After 393000 nodes, 104783 on tree, -41 best solution, best possible -43 (700.33 seconds) After 394000 nodes, 105171 on tree, -41 best solution, best possible -43 (702.18 seconds) After 395000 nodes, 105457 on tree, -41 best solution, best possible -43 (703.97 seconds) After 396000 nodes, 105824 on tree, -41 best solution, best possible -43 (705.85 seconds) After 397000 nodes, 105879 on tree, -41 best solution, best possible -43 (707.21 seconds) After 398000 nodes, 106191 on tree, -41 best solution, best possible -43 (709.04 seconds) After 399000 nodes, 106648 on tree, -41 best solution, best possible -43 (710.83 seconds) After 400000 nodes, 107004 on tree, -41 best solution, best possible -43 (712.85 seconds) After 401000 nodes, 107011 on tree, -41 best solution, best possible -43 (714.28 seconds) After 402000 nodes, 107308 on tree, -41 best solution, best possible -43 (716.18 seconds) After 403000 nodes, 107601 on tree, -41 best solution, best possible -43 (718.12 seconds) After 404000 nodes, 107989 on tree, -41 best solution, best possible -43 (720.07 seconds) After 405000 nodes, 108017 on tree, -41 best solution, best possible -43 (721.60 seconds) After 406000 nodes, 108401 on tree, -41 best solution, best possible -43 (723.62 seconds) After 407000 nodes, 108802 on tree, -41 best solution, best possible -43 (725.56 seconds) After 408000 nodes, 109163 on tree, -41 best solution, best possible -43 (727.40 seconds) After 409000 nodes, 109281 on tree, -41 best solution, best possible -43 (728.89 seconds) After 410000 nodes, 109548 on tree, -41 best solution, best possible -43 (730.69 seconds) After 411000 nodes, 109794 on tree, -41 best solution, best possible -43 (732.53 seconds) After 412000 nodes, 110190 on tree, -41 best solution, best possible -43 (734.33 seconds) After 413000 nodes, 110203 on tree, -41 best solution, best possible -43 (735.77 seconds) After 414000 nodes, 110661 on tree, -41 best solution, best possible -43 (737.69 seconds) After 415000 nodes, 110884 on tree, -41 best solution, best possible -43 (739.60 seconds) After 416000 nodes, 111261 on tree, -41 best solution, best possible -43 (741.59 seconds) After 417000 nodes, 111272 on tree, -41 best solution, best possible -43 (743.03 seconds) After 418000 nodes, 111717 on tree, -41 best solution, best possible -43 (744.81 seconds) After 419000 nodes, 112051 on tree, -41 best solution, best possible -43 (746.59 seconds) After 420000 nodes, 112321 on tree, -41 best solution, best possible -43 (748.69 seconds) After 421000 nodes, 112364 on tree, -41 best solution, best possible -43 (750.19 seconds) After 422000 nodes, 112691 on tree, -41 best solution, best possible -43 (752.13 seconds) After 423000 nodes, 113119 on tree, -41 best solution, best possible -43 (754.05 seconds) After 424000 nodes, 113455 on tree, -41 best solution, best possible -43 (755.92 seconds) After 425000 nodes, 113460 on tree, -41 best solution, best possible -43 (757.38 seconds) After 426000 nodes, 113636 on tree, -41 best solution, best possible -43 (759.26 seconds) After 427000 nodes, 113924 on tree, -41 best solution, best possible -43 (761.10 seconds) After 428000 nodes, 114319 on tree, -41 best solution, best possible -43 (762.99 seconds) After 429000 nodes, 114254 on tree, -41 best solution, best possible -43 (764.34 seconds) After 430000 nodes, 114436 on tree, -41 best solution, best possible -43 (766.22 seconds) After 431000 nodes, 114766 on tree, -41 best solution, best possible -43 (768.10 seconds) After 432000 nodes, 114948 on tree, -41 best solution, best possible -43 (770.06 seconds) After 433000 nodes, 114881 on tree, -41 best solution, best possible -43 (771.50 seconds) After 434000 nodes, 115096 on tree, -41 best solution, best possible -43 (773.31 seconds) After 435000 nodes, 115339 on tree, -41 best solution, best possible -43 (775.32 seconds) After 436000 nodes, 115580 on tree, -41 best solution, best possible -43 (777.42 seconds) After 437000 nodes, 115564 on tree, -41 best solution, best possible -43 (778.99 seconds) After 438000 nodes, 115871 on tree, -41 best solution, best possible -43 (780.84 seconds) After 439000 nodes, 116094 on tree, -41 best solution, best possible -43 (782.60 seconds) After 440000 nodes, 116254 on tree, -41 best solution, best possible -43 (784.41 seconds) After 441000 nodes, 116176 on tree, -41 best solution, best possible -43 (785.71 seconds) After 442000 nodes, 116385 on tree, -41 best solution, best possible -43 (787.64 seconds) After 443000 nodes, 116662 on tree, -41 best solution, best possible -43 (789.42 seconds) After 444000 nodes, 117009 on tree, -41 best solution, best possible -43 (791.33 seconds) After 445000 nodes, 116971 on tree, -41 best solution, best possible -43 (792.76 seconds) After 446000 nodes, 117200 on tree, -41 best solution, best possible -43 (794.56 seconds) After 447000 nodes, 117524 on tree, -41 best solution, best possible -43 (796.45 seconds) After 448000 nodes, 117910 on tree, -41 best solution, best possible -43 (798.37 seconds) After 449000 nodes, 117882 on tree, -41 best solution, best possible -43 (799.75 seconds) After 450000 nodes, 118128 on tree, -41 best solution, best possible -43 (801.60 seconds) After 451000 nodes, 118362 on tree, -41 best solution, best possible -43 (803.50 seconds) After 452000 nodes, 118625 on tree, -41 best solution, best possible -43 (805.39 seconds) After 453000 nodes, 118600 on tree, -41 best solution, best possible -43 (806.87 seconds) After 454000 nodes, 118744 on tree, -41 best solution, best possible -43 (808.74 seconds) After 455000 nodes, 118922 on tree, -41 best solution, best possible -43 (810.60 seconds) After 456000 nodes, 119151 on tree, -41 best solution, best possible -43 (812.47 seconds) After 457000 nodes, 119116 on tree, -41 best solution, best possible -43 (813.93 seconds) After 458000 nodes, 119220 on tree, -41 best solution, best possible -43 (815.77 seconds) After 459000 nodes, 119528 on tree, -41 best solution, best possible -43 (817.71 seconds) After 460000 nodes, 119815 on tree, -41 best solution, best possible -43 (819.65 seconds) After 461000 nodes, 119706 on tree, -41 best solution, best possible -43 (821.06 seconds) After 462000 nodes, 119910 on tree, -41 best solution, best possible -43 (822.98 seconds) After 463000 nodes, 120133 on tree, -41 best solution, best possible -43 (824.85 seconds) After 464000 nodes, 120610 on tree, -41 best solution, best possible -43 (826.70 seconds) After 465000 nodes, 120585 on tree, -41 best solution, best possible -43 (828.11 seconds) After 466000 nodes, 120801 on tree, -41 best solution, best possible -43 (829.99 seconds) After 467000 nodes, 121028 on tree, -41 best solution, best possible -43 (831.84 seconds) After 468000 nodes, 121474 on tree, -41 best solution, best possible -43 (833.76 seconds) After 469000 nodes, 121570 on tree, -41 best solution, best possible -43 (835.27 seconds) After 470000 nodes, 121903 on tree, -41 best solution, best possible -43 (837.13 seconds) After 471000 nodes, 122343 on tree, -41 best solution, best possible -43 (839.02 seconds) After 472000 nodes, 122528 on tree, -41 best solution, best possible -43 (840.98 seconds) After 473000 nodes, 122471 on tree, -41 best solution, best possible -43 (842.49 seconds) After 474000 nodes, 122796 on tree, -41 best solution, best possible -43 (844.54 seconds) After 475000 nodes, 123161 on tree, -41 best solution, best possible -43 (846.49 seconds) After 476000 nodes, 123482 on tree, -41 best solution, best possible -43 (848.53 seconds) After 477000 nodes, 123494 on tree, -41 best solution, best possible -43 (850.05 seconds) After 478000 nodes, 123708 on tree, -41 best solution, best possible -43 (851.99 seconds) After 479000 nodes, 124087 on tree, -41 best solution, best possible -43 (854.04 seconds) After 480000 nodes, 124466 on tree, -41 best solution, best possible -43 (856.08 seconds) After 481000 nodes, 124458 on tree, -41 best solution, best possible -43 (857.54 seconds) After 482000 nodes, 124779 on tree, -41 best solution, best possible -43 (859.53 seconds) After 483000 nodes, 124999 on tree, -41 best solution, best possible -43 (861.46 seconds) After 484000 nodes, 125381 on tree, -41 best solution, best possible -43 (863.38 seconds) After 485000 nodes, 125343 on tree, -41 best solution, best possible -43 (864.81 seconds) After 486000 nodes, 125572 on tree, -41 best solution, best possible -43 (866.71 seconds) After 487000 nodes, 125948 on tree, -41 best solution, best possible -43 (868.67 seconds) After 488000 nodes, 126358 on tree, -41 best solution, best possible -43 (870.61 seconds) After 489000 nodes, 126323 on tree, -41 best solution, best possible -43 (872.05 seconds) After 490000 nodes, 126654 on tree, -41 best solution, best possible -43 (874.03 seconds) After 491000 nodes, 126915 on tree, -41 best solution, best possible -43 (876.02 seconds) After 492000 nodes, 127246 on tree, -41 best solution, best possible -43 (877.93 seconds) After 493000 nodes, 127256 on tree, -41 best solution, best possible -43 (879.41 seconds) After 494000 nodes, 127577 on tree, -41 best solution, best possible -43 (881.26 seconds) After 495000 nodes, 127944 on tree, -41 best solution, best possible -43 (883.11 seconds) After 496000 nodes, 128195 on tree, -41 best solution, best possible -43 (884.95 seconds) After 497000 nodes, 128223 on tree, -41 best solution, best possible -43 (886.52 seconds) After 498000 nodes, 128542 on tree, -41 best solution, best possible -43 (888.48 seconds) After 499000 nodes, 128851 on tree, -41 best solution, best possible -43 (890.41 seconds) After 500000 nodes, 129114 on tree, -41 best solution, best possible -43 (892.36 seconds) After 501000 nodes, 129119 on tree, -41 best solution, best possible -43 (893.88 seconds) After 502000 nodes, 129383 on tree, -41 best solution, best possible -43 (895.83 seconds) After 503000 nodes, 129655 on tree, -41 best solution, best possible -43 (897.79 seconds) After 504000 nodes, 129789 on tree, -41 best solution, best possible -43 (899.68 seconds) After 505000 nodes, 129703 on tree, -41 best solution, best possible -43 (901.04 seconds) After 506000 nodes, 130078 on tree, -41 best solution, best possible -43 (903.03 seconds) After 507000 nodes, 130346 on tree, -41 best solution, best possible -43 (904.86 seconds) After 508000 nodes, 130445 on tree, -41 best solution, best possible -43 (906.72 seconds) After 509000 nodes, 130394 on tree, -41 best solution, best possible -43 (908.11 seconds) After 510000 nodes, 130621 on tree, -41 best solution, best possible -43 (909.95 seconds) After 511000 nodes, 130864 on tree, -41 best solution, best possible -43 (911.88 seconds) After 512000 nodes, 130982 on tree, -41 best solution, best possible -43 (913.78 seconds) After 513000 nodes, 130962 on tree, -41 best solution, best possible -43 (915.36 seconds) After 514000 nodes, 131123 on tree, -41 best solution, best possible -43 (917.31 seconds) After 515000 nodes, 131490 on tree, -41 best solution, best possible -43 (919.26 seconds) After 516000 nodes, 131670 on tree, -41 best solution, best possible -43 (921.11 seconds) After 517000 nodes, 131640 on tree, -41 best solution, best possible -43 (922.54 seconds) After 518000 nodes, 131812 on tree, -41 best solution, best possible -43 (924.36 seconds) After 519000 nodes, 132042 on tree, -41 best solution, best possible -43 (926.26 seconds) After 520000 nodes, 132250 on tree, -41 best solution, best possible -43 (928.03 seconds) After 521000 nodes, 132169 on tree, -41 best solution, best possible -43 (929.38 seconds) After 522000 nodes, 132430 on tree, -41 best solution, best possible -43 (931.24 seconds) After 523000 nodes, 132721 on tree, -41 best solution, best possible -43 (933.01 seconds) After 524000 nodes, 132982 on tree, -41 best solution, best possible -43 (934.85 seconds) After 525000 nodes, 132976 on tree, -41 best solution, best possible -43 (936.30 seconds) After 526000 nodes, 133281 on tree, -41 best solution, best possible -43 (938.29 seconds) After 527000 nodes, 133639 on tree, -41 best solution, best possible -43 (940.15 seconds) After 528000 nodes, 133822 on tree, -41 best solution, best possible -43 (942.13 seconds) After 529000 nodes, 133827 on tree, -41 best solution, best possible -43 (943.60 seconds) After 530000 nodes, 134002 on tree, -41 best solution, best possible -43 (945.50 seconds) After 531000 nodes, 134182 on tree, -41 best solution, best possible -43 (947.32 seconds) After 532000 nodes, 134288 on tree, -41 best solution, best possible -43 (949.13 seconds) After 533000 nodes, 134257 on tree, -41 best solution, best possible -43 (950.56 seconds) After 534000 nodes, 134422 on tree, -41 best solution, best possible -43 (952.37 seconds) After 535000 nodes, 134647 on tree, -41 best solution, best possible -43 (954.22 seconds) After 536000 nodes, 134714 on tree, -41 best solution, best possible -43 (956.11 seconds) After 537000 nodes, 134644 on tree, -41 best solution, best possible -43 (957.56 seconds) After 538000 nodes, 134901 on tree, -41 best solution, best possible -43 (959.51 seconds) After 539000 nodes, 135056 on tree, -41 best solution, best possible -43 (961.41 seconds) After 540000 nodes, 135204 on tree, -41 best solution, best possible -43 (963.41 seconds) After 541000 nodes, 135105 on tree, -41 best solution, best possible -43 (964.80 seconds) After 542000 nodes, 135283 on tree, -41 best solution, best possible -43 (966.73 seconds) After 543000 nodes, 135618 on tree, -41 best solution, best possible -43 (968.58 seconds) After 544000 nodes, 135884 on tree, -41 best solution, best possible -43 (970.55 seconds) After 545000 nodes, 135817 on tree, -41 best solution, best possible -43 (971.93 seconds) After 546000 nodes, 136075 on tree, -41 best solution, best possible -43 (973.82 seconds) After 547000 nodes, 136505 on tree, -41 best solution, best possible -43 (975.80 seconds) After 548000 nodes, 136879 on tree, -41 best solution, best possible -43 (977.73 seconds) After 549000 nodes, 136906 on tree, -41 best solution, best possible -43 (979.25 seconds) After 550000 nodes, 137073 on tree, -41 best solution, best possible -43 (981.11 seconds) After 551000 nodes, 137539 on tree, -41 best solution, best possible -43 (983.11 seconds) After 552000 nodes, 137841 on tree, -41 best solution, best possible -43 (985.09 seconds) After 553000 nodes, 137919 on tree, -41 best solution, best possible -43 (986.65 seconds) After 554000 nodes, 138192 on tree, -41 best solution, best possible -43 (988.71 seconds) After 555000 nodes, 138362 on tree, -41 best solution, best possible -43 (990.62 seconds) After 556000 nodes, 138621 on tree, -41 best solution, best possible -43 (992.68 seconds) After 557000 nodes, 138621 on tree, -41 best solution, best possible -43 (994.17 seconds) After 558000 nodes, 138961 on tree, -41 best solution, best possible -43 (996.15 seconds) After 559000 nodes, 139104 on tree, -41 best solution, best possible -43 (998.21 seconds) After 560000 nodes, 139395 on tree, -41 best solution, best possible -43 (1000.35 seconds) After 561000 nodes, 139322 on tree, -41 best solution, best possible -43 (1001.81 seconds) After 562000 nodes, 139694 on tree, -41 best solution, best possible -43 (1003.80 seconds) After 563000 nodes, 139931 on tree, -41 best solution, best possible -43 (1005.72 seconds) After 564000 nodes, 140172 on tree, -41 best solution, best possible -43 (1007.83 seconds) After 565000 nodes, 140162 on tree, -41 best solution, best possible -43 (1009.40 seconds) After 566000 nodes, 140339 on tree, -41 best solution, best possible -43 (1011.30 seconds) After 567000 nodes, 140560 on tree, -41 best solution, best possible -43 (1013.37 seconds) After 568000 nodes, 140907 on tree, -41 best solution, best possible -43 (1015.26 seconds) After 569000 nodes, 140839 on tree, -41 best solution, best possible -43 (1016.73 seconds) After 570000 nodes, 141224 on tree, -41 best solution, best possible -43 (1018.68 seconds) After 571000 nodes, 141622 on tree, -41 best solution, best possible -43 (1020.64 seconds) After 572000 nodes, 141815 on tree, -41 best solution, best possible -43 (1022.62 seconds) After 573000 nodes, 141752 on tree, -41 best solution, best possible -43 (1024.01 seconds) After 574000 nodes, 141929 on tree, -41 best solution, best possible -43 (1025.88 seconds) After 575000 nodes, 142265 on tree, -41 best solution, best possible -43 (1027.74 seconds) After 576000 nodes, 142575 on tree, -41 best solution, best possible -43 (1029.58 seconds) After 577000 nodes, 142542 on tree, -41 best solution, best possible -43 (1031.00 seconds) After 578000 nodes, 142879 on tree, -41 best solution, best possible -43 (1032.82 seconds) After 579000 nodes, 143130 on tree, -41 best solution, best possible -43 (1034.55 seconds) After 580000 nodes, 143410 on tree, -41 best solution, best possible -43 (1036.56 seconds) After 581000 nodes, 143413 on tree, -41 best solution, best possible -43 (1038.03 seconds) After 582000 nodes, 143647 on tree, -41 best solution, best possible -43 (1039.90 seconds) After 583000 nodes, 143961 on tree, -41 best solution, best possible -43 (1041.85 seconds) After 584000 nodes, 144273 on tree, -41 best solution, best possible -43 (1043.76 seconds) After 585000 nodes, 144237 on tree, -41 best solution, best possible -43 (1045.22 seconds) After 586000 nodes, 144358 on tree, -41 best solution, best possible -43 (1047.01 seconds) After 587000 nodes, 144467 on tree, -41 best solution, best possible -43 (1048.84 seconds) After 588000 nodes, 144831 on tree, -41 best solution, best possible -43 (1050.70 seconds) After 589000 nodes, 144753 on tree, -41 best solution, best possible -43 (1052.04 seconds) After 590000 nodes, 144996 on tree, -41 best solution, best possible -43 (1053.89 seconds) After 591000 nodes, 145128 on tree, -41 best solution, best possible -43 (1055.68 seconds) After 592000 nodes, 145366 on tree, -41 best solution, best possible -43 (1057.57 seconds) After 593000 nodes, 145260 on tree, -41 best solution, best possible -43 (1058.99 seconds) After 594000 nodes, 145391 on tree, -41 best solution, best possible -43 (1060.86 seconds) After 595000 nodes, 145513 on tree, -41 best solution, best possible -43 (1062.63 seconds) After 596000 nodes, 145726 on tree, -41 best solution, best possible -43 (1064.57 seconds) After 597000 nodes, 145652 on tree, -41 best solution, best possible -43 (1066.02 seconds) After 598000 nodes, 145854 on tree, -41 best solution, best possible -43 (1067.87 seconds) After 599000 nodes, 146024 on tree, -41 best solution, best possible -43 (1069.66 seconds) After 600000 nodes, 146293 on tree, -41 best solution, best possible -43 (1071.43 seconds) After 601000 nodes, 146205 on tree, -41 best solution, best possible -43 (1072.79 seconds) After 602000 nodes, 146330 on tree, -41 best solution, best possible -43 (1074.63 seconds) After 603000 nodes, 146505 on tree, -41 best solution, best possible -43 (1076.47 seconds) After 604000 nodes, 146896 on tree, -41 best solution, best possible -43 (1078.35 seconds) After 605000 nodes, 146761 on tree, -41 best solution, best possible -43 (1079.69 seconds) After 606000 nodes, 146987 on tree, -41 best solution, best possible -43 (1081.50 seconds) After 607000 nodes, 147165 on tree, -41 best solution, best possible -43 (1083.24 seconds) After 608000 nodes, 147492 on tree, -41 best solution, best possible -43 (1085.17 seconds) After 609000 nodes, 147460 on tree, -41 best solution, best possible -43 (1086.66 seconds) After 610000 nodes, 147847 on tree, -41 best solution, best possible -43 (1088.67 seconds) After 611000 nodes, 148048 on tree, -41 best solution, best possible -43 (1090.56 seconds) After 612000 nodes, 148226 on tree, -41 best solution, best possible -43 (1092.53 seconds) After 613000 nodes, 148229 on tree, -41 best solution, best possible -43 (1094.01 seconds) After 614000 nodes, 148419 on tree, -41 best solution, best possible -43 (1096.10 seconds) After 615000 nodes, 148558 on tree, -41 best solution, best possible -43 (1098.01 seconds) After 616000 nodes, 148702 on tree, -41 best solution, best possible -43 (1099.77 seconds) After 617000 nodes, 148632 on tree, -41 best solution, best possible -43 (1101.18 seconds) After 618000 nodes, 148864 on tree, -41 best solution, best possible -43 (1103.05 seconds) After 619000 nodes, 148952 on tree, -41 best solution, best possible -43 (1105.04 seconds) After 620000 nodes, 149140 on tree, -41 best solution, best possible -43 (1107.02 seconds) After 621000 nodes, 149045 on tree, -41 best solution, best possible -43 (1108.38 seconds) After 622000 nodes, 149204 on tree, -41 best solution, best possible -43 (1110.36 seconds) After 623000 nodes, 149239 on tree, -41 best solution, best possible -43 (1112.24 seconds) After 624000 nodes, 149426 on tree, -41 best solution, best possible -43 (1114.16 seconds) After 625000 nodes, 149320 on tree, -41 best solution, best possible -43 (1115.55 seconds) After 626000 nodes, 149693 on tree, -41 best solution, best possible -43 (1117.47 seconds) After 627000 nodes, 149888 on tree, -41 best solution, best possible -43 (1119.38 seconds) After 628000 nodes, 150078 on tree, -41 best solution, best possible -43 (1121.33 seconds) After 629000 nodes, 150022 on tree, -41 best solution, best possible -43 (1122.79 seconds) After 630000 nodes, 150426 on tree, -41 best solution, best possible -43 (1124.73 seconds) After 631000 nodes, 150848 on tree, -41 best solution, best possible -43 (1126.67 seconds) After 632000 nodes, 151162 on tree, -41 best solution, best possible -43 (1128.63 seconds) After 633000 nodes, 151246 on tree, -41 best solution, best possible -43 (1130.24 seconds) After 634000 nodes, 151540 on tree, -41 best solution, best possible -43 (1132.15 seconds) After 635000 nodes, 151963 on tree, -41 best solution, best possible -43 (1134.01 seconds) After 636000 nodes, 152117 on tree, -41 best solution, best possible -43 (1135.82 seconds) After 637000 nodes, 152077 on tree, -41 best solution, best possible -43 (1137.31 seconds) After 638000 nodes, 152374 on tree, -41 best solution, best possible -43 (1139.25 seconds) After 639000 nodes, 152630 on tree, -41 best solution, best possible -43 (1141.22 seconds) After 640000 nodes, 152790 on tree, -41 best solution, best possible -43 (1143.22 seconds) After 641000 nodes, 152788 on tree, -41 best solution, best possible -43 (1144.54 seconds) After 642000 nodes, 153071 on tree, -41 best solution, best possible -43 (1146.40 seconds) After 643000 nodes, 153220 on tree, -41 best solution, best possible -43 (1148.28 seconds) After 644000 nodes, 153428 on tree, -41 best solution, best possible -43 (1150.34 seconds) After 645000 nodes, 153437 on tree, -41 best solution, best possible -43 (1151.73 seconds) After 646000 nodes, 153764 on tree, -41 best solution, best possible -43 (1153.71 seconds) After 647000 nodes, 153986 on tree, -41 best solution, best possible -43 (1155.58 seconds) After 648000 nodes, 154179 on tree, -41 best solution, best possible -43 (1157.45 seconds) After 649000 nodes, 154117 on tree, -41 best solution, best possible -43 (1158.80 seconds) After 650000 nodes, 154375 on tree, -41 best solution, best possible -43 (1160.60 seconds) After 651000 nodes, 154500 on tree, -41 best solution, best possible -43 (1162.50 seconds) After 652000 nodes, 154729 on tree, -41 best solution, best possible -43 (1164.28 seconds) After 653000 nodes, 154684 on tree, -41 best solution, best possible -43 (1165.65 seconds) After 654000 nodes, 155088 on tree, -41 best solution, best possible -43 (1167.52 seconds) After 655000 nodes, 155458 on tree, -41 best solution, best possible -43 (1169.60 seconds) After 656000 nodes, 155737 on tree, -41 best solution, best possible -43 (1171.56 seconds) After 657000 nodes, 155696 on tree, -41 best solution, best possible -43 (1172.94 seconds) After 658000 nodes, 155941 on tree, -41 best solution, best possible -43 (1174.77 seconds) After 659000 nodes, 156166 on tree, -41 best solution, best possible -43 (1176.67 seconds) After 660000 nodes, 156475 on tree, -41 best solution, best possible -43 (1178.63 seconds) After 661000 nodes, 156461 on tree, -41 best solution, best possible -43 (1180.05 seconds) After 662000 nodes, 156734 on tree, -41 best solution, best possible -43 (1181.83 seconds) After 663000 nodes, 157131 on tree, -41 best solution, best possible -43 (1183.74 seconds) After 664000 nodes, 157424 on tree, -41 best solution, best possible -43 (1185.57 seconds) After 665000 nodes, 157420 on tree, -41 best solution, best possible -43 (1187.04 seconds) After 666000 nodes, 157638 on tree, -41 best solution, best possible -43 (1188.91 seconds) After 667000 nodes, 157951 on tree, -41 best solution, best possible -43 (1190.80 seconds) After 668000 nodes, 158223 on tree, -41 best solution, best possible -43 (1192.66 seconds) After 669000 nodes, 158190 on tree, -41 best solution, best possible -43 (1194.07 seconds) After 670000 nodes, 158455 on tree, -41 best solution, best possible -43 (1195.87 seconds) After 671000 nodes, 158731 on tree, -41 best solution, best possible -43 (1197.69 seconds) After 672000 nodes, 158924 on tree, -41 best solution, best possible -43 (1199.53 seconds) After 673000 nodes, 158862 on tree, -41 best solution, best possible -43 (1200.88 seconds) After 674000 nodes, 158980 on tree, -41 best solution, best possible -43 (1202.69 seconds) After 675000 nodes, 159334 on tree, -41 best solution, best possible -43 (1204.57 seconds) After 676000 nodes, 159517 on tree, -41 best solution, best possible -43 (1206.39 seconds) After 677000 nodes, 159428 on tree, -41 best solution, best possible -43 (1207.76 seconds) After 678000 nodes, 159541 on tree, -41 best solution, best possible -43 (1209.54 seconds) After 679000 nodes, 159725 on tree, -41 best solution, best possible -43 (1211.35 seconds) After 680000 nodes, 159888 on tree, -41 best solution, best possible -43 (1213.16 seconds) After 681000 nodes, 159766 on tree, -41 best solution, best possible -43 (1214.48 seconds) After 682000 nodes, 159820 on tree, -41 best solution, best possible -43 (1216.33 seconds) After 683000 nodes, 160054 on tree, -41 best solution, best possible -43 (1218.17 seconds) After 684000 nodes, 160308 on tree, -41 best solution, best possible -43 (1220.00 seconds) After 685000 nodes, 160240 on tree, -41 best solution, best possible -43 (1221.40 seconds) After 686000 nodes, 160385 on tree, -41 best solution, best possible -43 (1223.16 seconds) After 687000 nodes, 160556 on tree, -41 best solution, best possible -43 (1224.93 seconds) After 688000 nodes, 160717 on tree, -41 best solution, best possible -43 (1226.76 seconds) After 689000 nodes, 160546 on tree, -41 best solution, best possible -43 (1228.04 seconds) After 690000 nodes, 160824 on tree, -41 best solution, best possible -43 (1229.86 seconds) After 691000 nodes, 161103 on tree, -41 best solution, best possible -43 (1231.56 seconds) After 692000 nodes, 161261 on tree, -41 best solution, best possible -43 (1233.22 seconds) After 693000 nodes, 161195 on tree, -41 best solution, best possible -43 (1234.59 seconds) After 694000 nodes, 161345 on tree, -41 best solution, best possible -43 (1236.35 seconds) After 695000 nodes, 161710 on tree, -41 best solution, best possible -43 (1238.20 seconds) After 696000 nodes, 162030 on tree, -41 best solution, best possible -43 (1240.01 seconds) After 697000 nodes, 162006 on tree, -41 best solution, best possible -43 (1241.36 seconds) After 698000 nodes, 162154 on tree, -41 best solution, best possible -43 (1243.20 seconds) After 699000 nodes, 162366 on tree, -41 best solution, best possible -43 (1244.99 seconds) After 700000 nodes, 162520 on tree, -41 best solution, best possible -43 (1246.92 seconds) After 701000 nodes, 162450 on tree, -41 best solution, best possible -43 (1248.23 seconds) After 702000 nodes, 162486 on tree, -41 best solution, best possible -43 (1249.96 seconds) After 703000 nodes, 162751 on tree, -41 best solution, best possible -43 (1251.77 seconds) After 704000 nodes, 162847 on tree, -41 best solution, best possible -43 (1253.59 seconds) After 705000 nodes, 162775 on tree, -41 best solution, best possible -43 (1254.99 seconds) After 706000 nodes, 162917 on tree, -41 best solution, best possible -43 (1256.79 seconds) After 707000 nodes, 163021 on tree, -41 best solution, best possible -43 (1258.63 seconds) After 708000 nodes, 163087 on tree, -41 best solution, best possible -43 (1260.44 seconds) After 709000 nodes, 162935 on tree, -41 best solution, best possible -43 (1261.73 seconds) After 710000 nodes, 163136 on tree, -41 best solution, best possible -43 (1263.45 seconds) After 711000 nodes, 163465 on tree, -41 best solution, best possible -43 (1265.20 seconds) After 712000 nodes, 163582 on tree, -41 best solution, best possible -43 (1266.95 seconds) After 713000 nodes, 163558 on tree, -41 best solution, best possible -43 (1268.22 seconds) After 714000 nodes, 163900 on tree, -41 best solution, best possible -43 (1270.09 seconds) After 715000 nodes, 164293 on tree, -41 best solution, best possible -43 (1271.90 seconds) After 716000 nodes, 164682 on tree, -41 best solution, best possible -43 (1273.73 seconds) After 717000 nodes, 164735 on tree, -41 best solution, best possible -43 (1275.34 seconds) After 718000 nodes, 164924 on tree, -41 best solution, best possible -43 (1277.17 seconds) After 719000 nodes, 165271 on tree, -41 best solution, best possible -43 (1279.07 seconds) After 720000 nodes, 165656 on tree, -41 best solution, best possible -43 (1281.04 seconds) After 721000 nodes, 165664 on tree, -41 best solution, best possible -43 (1282.50 seconds) After 722000 nodes, 166019 on tree, -41 best solution, best possible -43 (1284.33 seconds) After 723000 nodes, 166205 on tree, -41 best solution, best possible -43 (1286.11 seconds) After 724000 nodes, 166364 on tree, -41 best solution, best possible -43 (1288.09 seconds) After 725000 nodes, 166240 on tree, -41 best solution, best possible -43 (1289.52 seconds) After 726000 nodes, 166396 on tree, -41 best solution, best possible -43 (1291.36 seconds) After 727000 nodes, 166607 on tree, -41 best solution, best possible -43 (1293.25 seconds) After 728000 nodes, 166774 on tree, -41 best solution, best possible -43 (1295.09 seconds) After 729000 nodes, 166765 on tree, -41 best solution, best possible -43 (1296.47 seconds) After 730000 nodes, 166887 on tree, -41 best solution, best possible -43 (1298.45 seconds) After 731000 nodes, 167121 on tree, -41 best solution, best possible -43 (1300.33 seconds) After 732000 nodes, 167384 on tree, -41 best solution, best possible -43 (1302.30 seconds) After 733000 nodes, 167353 on tree, -41 best solution, best possible -43 (1303.67 seconds) After 734000 nodes, 167568 on tree, -41 best solution, best possible -43 (1305.47 seconds) After 735000 nodes, 167787 on tree, -41 best solution, best possible -43 (1307.29 seconds) After 736000 nodes, 167919 on tree, -41 best solution, best possible -43 (1309.07 seconds) After 737000 nodes, 167818 on tree, -41 best solution, best possible -43 (1310.46 seconds) After 738000 nodes, 167966 on tree, -41 best solution, best possible -43 (1312.20 seconds) After 739000 nodes, 168308 on tree, -41 best solution, best possible -43 (1314.00 seconds) After 740000 nodes, 168683 on tree, -41 best solution, best possible -43 (1315.97 seconds) After 741000 nodes, 168646 on tree, -41 best solution, best possible -43 (1317.35 seconds) After 742000 nodes, 169016 on tree, -41 best solution, best possible -43 (1319.25 seconds) After 743000 nodes, 169443 on tree, -41 best solution, best possible -43 (1321.11 seconds) After 744000 nodes, 169561 on tree, -41 best solution, best possible -43 (1322.93 seconds) After 745000 nodes, 169580 on tree, -41 best solution, best possible -43 (1324.40 seconds) After 746000 nodes, 169775 on tree, -41 best solution, best possible -43 (1326.23 seconds) After 747000 nodes, 170101 on tree, -41 best solution, best possible -43 (1328.08 seconds) After 748000 nodes, 170385 on tree, -41 best solution, best possible -43 (1329.89 seconds) After 749000 nodes, 170329 on tree, -41 best solution, best possible -43 (1331.25 seconds) After 750000 nodes, 170619 on tree, -41 best solution, best possible -43 (1333.07 seconds) After 751000 nodes, 170873 on tree, -41 best solution, best possible -43 (1334.84 seconds) After 752000 nodes, 171177 on tree, -41 best solution, best possible -43 (1336.67 seconds) After 753000 nodes, 171118 on tree, -41 best solution, best possible -43 (1338.03 seconds) After 754000 nodes, 171265 on tree, -41 best solution, best possible -43 (1339.90 seconds) After 755000 nodes, 171612 on tree, -41 best solution, best possible -43 (1341.72 seconds) After 756000 nodes, 171930 on tree, -41 best solution, best possible -43 (1343.51 seconds) After 757000 nodes, 171886 on tree, -41 best solution, best possible -43 (1344.88 seconds) After 758000 nodes, 172144 on tree, -41 best solution, best possible -43 (1346.68 seconds) After 759000 nodes, 172287 on tree, -41 best solution, best possible -43 (1348.44 seconds) After 760000 nodes, 172466 on tree, -41 best solution, best possible -43 (1350.12 seconds) After 761000 nodes, 172374 on tree, -41 best solution, best possible -43 (1351.36 seconds) After 762000 nodes, 172650 on tree, -41 best solution, best possible -43 (1353.16 seconds) After 763000 nodes, 172859 on tree, -41 best solution, best possible -43 (1354.88 seconds) After 764000 nodes, 173012 on tree, -41 best solution, best possible -43 (1356.61 seconds) After 765000 nodes, 172922 on tree, -41 best solution, best possible -43 (1357.89 seconds) After 766000 nodes, 173042 on tree, -41 best solution, best possible -43 (1359.59 seconds) After 767000 nodes, 173223 on tree, -41 best solution, best possible -43 (1361.32 seconds) After 768000 nodes, 173280 on tree, -41 best solution, best possible -43 (1363.09 seconds) After 769000 nodes, 173160 on tree, -41 best solution, best possible -43 (1364.42 seconds) After 770000 nodes, 173350 on tree, -41 best solution, best possible -43 (1366.17 seconds) After 771000 nodes, 173589 on tree, -41 best solution, best possible -43 (1367.88 seconds) After 772000 nodes, 173753 on tree, -41 best solution, best possible -43 (1369.60 seconds) After 773000 nodes, 173709 on tree, -41 best solution, best possible -43 (1370.93 seconds) After 774000 nodes, 173839 on tree, -41 best solution, best possible -43 (1372.61 seconds) After 775000 nodes, 174120 on tree, -41 best solution, best possible -43 (1374.31 seconds) After 776000 nodes, 174378 on tree, -41 best solution, best possible -43 (1376.11 seconds) After 777000 nodes, 174259 on tree, -41 best solution, best possible -43 (1377.39 seconds) After 778000 nodes, 174388 on tree, -41 best solution, best possible -43 (1379.00 seconds) After 779000 nodes, 174616 on tree, -41 best solution, best possible -43 (1380.63 seconds) After 780000 nodes, 174785 on tree, -41 best solution, best possible -43 (1382.47 seconds) After 781000 nodes, 174789 on tree, -41 best solution, best possible -43 (1383.87 seconds) After 782000 nodes, 175094 on tree, -41 best solution, best possible -43 (1385.71 seconds) After 783000 nodes, 175407 on tree, -41 best solution, best possible -43 (1387.47 seconds) After 784000 nodes, 175482 on tree, -41 best solution, best possible -43 (1389.23 seconds) After 785000 nodes, 175413 on tree, -41 best solution, best possible -43 (1390.52 seconds) After 786000 nodes, 175547 on tree, -41 best solution, best possible -43 (1392.37 seconds) After 787000 nodes, 175668 on tree, -41 best solution, best possible -43 (1394.05 seconds) After 788000 nodes, 175792 on tree, -41 best solution, best possible -43 (1395.79 seconds) After 789000 nodes, 175692 on tree, -41 best solution, best possible -43 (1397.05 seconds) After 790000 nodes, 175850 on tree, -41 best solution, best possible -43 (1398.70 seconds) After 791000 nodes, 175939 on tree, -41 best solution, best possible -43 (1400.53 seconds) After 792000 nodes, 176008 on tree, -41 best solution, best possible -43 (1402.33 seconds) After 793000 nodes, 175861 on tree, -41 best solution, best possible -43 (1403.62 seconds) After 794000 nodes, 176008 on tree, -41 best solution, best possible -43 (1405.34 seconds) After 795000 nodes, 176207 on tree, -41 best solution, best possible -43 (1407.06 seconds) After 796000 nodes, 176455 on tree, -41 best solution, best possible -43 (1408.86 seconds) After 797000 nodes, 176336 on tree, -41 best solution, best possible -43 (1410.06 seconds) After 798000 nodes, 176456 on tree, -41 best solution, best possible -43 (1411.75 seconds) After 799000 nodes, 176721 on tree, -41 best solution, best possible -43 (1413.62 seconds) After 800000 nodes, 177035 on tree, -41 best solution, best possible -43 (1415.48 seconds) After 801000 nodes, 176998 on tree, -41 best solution, best possible -43 (1416.88 seconds) After 802000 nodes, 177380 on tree, -41 best solution, best possible -43 (1418.72 seconds) After 803000 nodes, 177697 on tree, -41 best solution, best possible -43 (1420.54 seconds) After 804000 nodes, 177901 on tree, -41 best solution, best possible -43 (1422.45 seconds) After 805000 nodes, 177881 on tree, -41 best solution, best possible -43 (1423.86 seconds) After 806000 nodes, 178369 on tree, -41 best solution, best possible -43 (1425.77 seconds) After 807000 nodes, 178729 on tree, -41 best solution, best possible -43 (1427.64 seconds) After 808000 nodes, 178879 on tree, -41 best solution, best possible -43 (1429.38 seconds) After 809000 nodes, 178850 on tree, -41 best solution, best possible -43 (1430.81 seconds) After 810000 nodes, 178976 on tree, -41 best solution, best possible -43 (1432.66 seconds) After 811000 nodes, 179224 on tree, -41 best solution, best possible -43 (1434.52 seconds) After 812000 nodes, 179359 on tree, -41 best solution, best possible -43 (1436.45 seconds) After 813000 nodes, 179283 on tree, -41 best solution, best possible -43 (1437.89 seconds) After 814000 nodes, 179433 on tree, -41 best solution, best possible -43 (1439.64 seconds) After 815000 nodes, 179566 on tree, -41 best solution, best possible -43 (1441.54 seconds) After 816000 nodes, 179666 on tree, -41 best solution, best possible -43 (1443.43 seconds) After 817000 nodes, 179544 on tree, -41 best solution, best possible -43 (1444.73 seconds) After 818000 nodes, 179716 on tree, -41 best solution, best possible -43 (1446.67 seconds) After 819000 nodes, 179989 on tree, -41 best solution, best possible -43 (1448.44 seconds) After 820000 nodes, 180183 on tree, -41 best solution, best possible -43 (1450.25 seconds) After 821000 nodes, 180151 on tree, -41 best solution, best possible -43 (1451.68 seconds) After 822000 nodes, 180307 on tree, -41 best solution, best possible -43 (1453.41 seconds) After 823000 nodes, 180472 on tree, -41 best solution, best possible -43 (1455.09 seconds) After 824000 nodes, 180742 on tree, -41 best solution, best possible -43 (1456.88 seconds) After 825000 nodes, 180626 on tree, -41 best solution, best possible -43 (1458.17 seconds) After 826000 nodes, 180998 on tree, -41 best solution, best possible -43 (1460.04 seconds) After 827000 nodes, 181421 on tree, -41 best solution, best possible -43 (1461.90 seconds) After 828000 nodes, 181709 on tree, -41 best solution, best possible -43 (1463.77 seconds) After 829000 nodes, 181729 on tree, -41 best solution, best possible -43 (1465.18 seconds) After 830000 nodes, 181948 on tree, -41 best solution, best possible -43 (1467.01 seconds) After 831000 nodes, 182193 on tree, -41 best solution, best possible -43 (1468.81 seconds) After 832000 nodes, 182493 on tree, -41 best solution, best possible -43 (1470.74 seconds) After 833000 nodes, 182485 on tree, -41 best solution, best possible -43 (1472.16 seconds) After 834000 nodes, 182698 on tree, -41 best solution, best possible -43 (1473.93 seconds) After 835000 nodes, 183014 on tree, -41 best solution, best possible -43 (1475.73 seconds) After 836000 nodes, 183329 on tree, -41 best solution, best possible -43 (1477.65 seconds) After 837000 nodes, 183237 on tree, -41 best solution, best possible -43 (1478.98 seconds) After 838000 nodes, 183354 on tree, -41 best solution, best possible -43 (1480.66 seconds) After 839000 nodes, 183637 on tree, -41 best solution, best possible -43 (1482.42 seconds) After 840000 nodes, 183873 on tree, -41 best solution, best possible -43 (1484.30 seconds) After 841000 nodes, 183819 on tree, -41 best solution, best possible -43 (1485.65 seconds) After 842000 nodes, 184084 on tree, -41 best solution, best possible -43 (1487.40 seconds) After 843000 nodes, 184388 on tree, -41 best solution, best possible -43 (1489.19 seconds) After 844000 nodes, 184610 on tree, -41 best solution, best possible -43 (1490.97 seconds) After 845000 nodes, 184515 on tree, -41 best solution, best possible -43 (1492.26 seconds) After 846000 nodes, 184666 on tree, -41 best solution, best possible -43 (1494.01 seconds) After 847000 nodes, 184857 on tree, -41 best solution, best possible -43 (1495.75 seconds) After 848000 nodes, 185144 on tree, -41 best solution, best possible -43 (1497.62 seconds) After 849000 nodes, 185003 on tree, -41 best solution, best possible -43 (1498.92 seconds) After 850000 nodes, 185092 on tree, -41 best solution, best possible -43 (1500.61 seconds) After 851000 nodes, 185257 on tree, -41 best solution, best possible -43 (1502.32 seconds) After 852000 nodes, 185358 on tree, -41 best solution, best possible -43 (1504.09 seconds) After 853000 nodes, 185243 on tree, -41 best solution, best possible -43 (1505.37 seconds) After 854000 nodes, 185292 on tree, -41 best solution, best possible -43 (1507.06 seconds) After 855000 nodes, 185523 on tree, -41 best solution, best possible -43 (1508.87 seconds) After 856000 nodes, 185694 on tree, -41 best solution, best possible -43 (1510.59 seconds) After 857000 nodes, 185606 on tree, -41 best solution, best possible -43 (1511.94 seconds) After 858000 nodes, 185775 on tree, -41 best solution, best possible -43 (1513.63 seconds) After 859000 nodes, 185940 on tree, -41 best solution, best possible -43 (1515.27 seconds) After 860000 nodes, 186102 on tree, -41 best solution, best possible -43 (1517.02 seconds) After 861000 nodes, 186018 on tree, -41 best solution, best possible -43 (1518.38 seconds) After 862000 nodes, 186308 on tree, -41 best solution, best possible -43 (1520.20 seconds) After 863000 nodes, 186445 on tree, -41 best solution, best possible -43 (1521.74 seconds) After 864000 nodes, 186588 on tree, -41 best solution, best possible -43 (1523.43 seconds) After 865000 nodes, 186538 on tree, -41 best solution, best possible -43 (1524.80 seconds) After 866000 nodes, 186814 on tree, -41 best solution, best possible -43 (1526.61 seconds) After 867000 nodes, 187092 on tree, -41 best solution, best possible -43 (1528.44 seconds) After 868000 nodes, 187289 on tree, -41 best solution, best possible -43 (1530.28 seconds) After 869000 nodes, 187239 on tree, -41 best solution, best possible -43 (1531.62 seconds) After 870000 nodes, 187357 on tree, -41 best solution, best possible -43 (1533.31 seconds) After 871000 nodes, 187531 on tree, -41 best solution, best possible -43 (1535.16 seconds) After 872000 nodes, 187517 on tree, -41 best solution, best possible -43 (1536.83 seconds) After 873000 nodes, 187442 on tree, -41 best solution, best possible -43 (1538.10 seconds) After 874000 nodes, 187698 on tree, -41 best solution, best possible -43 (1539.82 seconds) After 875000 nodes, 187718 on tree, -41 best solution, best possible -43 (1541.53 seconds) After 876000 nodes, 187812 on tree, -41 best solution, best possible -43 (1543.35 seconds) After 877000 nodes, 187730 on tree, -41 best solution, best possible -43 (1544.72 seconds) After 878000 nodes, 187817 on tree, -41 best solution, best possible -43 (1546.44 seconds) After 879000 nodes, 187955 on tree, -41 best solution, best possible -43 (1548.16 seconds) After 880000 nodes, 188223 on tree, -41 best solution, best possible -43 (1549.97 seconds) After 881000 nodes, 188095 on tree, -41 best solution, best possible -43 (1551.17 seconds) After 882000 nodes, 188155 on tree, -41 best solution, best possible -43 (1552.87 seconds) After 883000 nodes, 188427 on tree, -41 best solution, best possible -43 (1554.79 seconds) After 884000 nodes, 188750 on tree, -41 best solution, best possible -43 (1556.64 seconds) After 885000 nodes, 188606 on tree, -41 best solution, best possible -43 (1558.00 seconds) After 886000 nodes, 188992 on tree, -41 best solution, best possible -43 (1559.87 seconds) After 887000 nodes, 189193 on tree, -41 best solution, best possible -43 (1561.65 seconds) After 888000 nodes, 189388 on tree, -41 best solution, best possible -43 (1563.46 seconds) After 889000 nodes, 189345 on tree, -41 best solution, best possible -43 (1564.87 seconds) After 890000 nodes, 189850 on tree, -41 best solution, best possible -43 (1566.74 seconds) After 891000 nodes, 190210 on tree, -41 best solution, best possible -43 (1568.64 seconds) After 892000 nodes, 190497 on tree, -41 best solution, best possible -43 (1570.45 seconds) After 893000 nodes, 190506 on tree, -41 best solution, best possible -43 (1571.92 seconds) After 894000 nodes, 190725 on tree, -41 best solution, best possible -43 (1573.65 seconds) After 895000 nodes, 190775 on tree, -41 best solution, best possible -43 (1575.50 seconds) After 896000 nodes, 190885 on tree, -41 best solution, best possible -43 (1577.43 seconds) After 897000 nodes, 190829 on tree, -41 best solution, best possible -43 (1578.79 seconds) After 898000 nodes, 191063 on tree, -41 best solution, best possible -43 (1580.62 seconds) After 899000 nodes, 191049 on tree, -41 best solution, best possible -43 (1582.43 seconds) After 900000 nodes, 191141 on tree, -41 best solution, best possible -43 (1584.49 seconds) After 901000 nodes, 191056 on tree, -41 best solution, best possible -43 (1585.75 seconds) After 902000 nodes, 191182 on tree, -41 best solution, best possible -43 (1587.70 seconds) After 903000 nodes, 191332 on tree, -41 best solution, best possible -43 (1589.46 seconds) After 904000 nodes, 191494 on tree, -41 best solution, best possible -43 (1591.24 seconds) After 905000 nodes, 191412 on tree, -41 best solution, best possible -43 (1592.60 seconds) After 906000 nodes, 191516 on tree, -41 best solution, best possible -43 (1594.35 seconds) After 907000 nodes, 191638 on tree, -41 best solution, best possible -43 (1596.12 seconds) After 908000 nodes, 192006 on tree, -41 best solution, best possible -43 (1598.00 seconds) After 909000 nodes, 191850 on tree, -41 best solution, best possible -43 (1599.34 seconds) After 910000 nodes, 192201 on tree, -41 best solution, best possible -43 (1601.22 seconds) After 911000 nodes, 192581 on tree, -41 best solution, best possible -43 (1603.19 seconds) After 912000 nodes, 192884 on tree, -41 best solution, best possible -43 (1605.06 seconds) After 913000 nodes, 192882 on tree, -41 best solution, best possible -43 (1606.51 seconds) After 914000 nodes, 193230 on tree, -41 best solution, best possible -43 (1608.34 seconds) After 915000 nodes, 193339 on tree, -41 best solution, best possible -43 (1610.10 seconds) After 916000 nodes, 193581 on tree, -41 best solution, best possible -43 (1612.07 seconds) After 917000 nodes, 193494 on tree, -41 best solution, best possible -43 (1613.48 seconds) After 918000 nodes, 193803 on tree, -41 best solution, best possible -43 (1615.29 seconds) After 919000 nodes, 193960 on tree, -41 best solution, best possible -43 (1617.07 seconds) After 920000 nodes, 194278 on tree, -41 best solution, best possible -43 (1619.01 seconds) After 921000 nodes, 194228 on tree, -41 best solution, best possible -43 (1620.41 seconds) After 922000 nodes, 194455 on tree, -41 best solution, best possible -43 (1622.24 seconds) After 923000 nodes, 194638 on tree, -41 best solution, best possible -43 (1624.01 seconds) After 924000 nodes, 194864 on tree, -41 best solution, best possible -43 (1625.94 seconds) After 925000 nodes, 194768 on tree, -41 best solution, best possible -43 (1627.30 seconds) After 926000 nodes, 195100 on tree, -41 best solution, best possible -43 (1629.13 seconds) After 927000 nodes, 195335 on tree, -41 best solution, best possible -43 (1630.91 seconds) After 928000 nodes, 195474 on tree, -41 best solution, best possible -43 (1632.67 seconds) After 929000 nodes, 195349 on tree, -41 best solution, best possible -43 (1633.91 seconds) After 930000 nodes, 195610 on tree, -41 best solution, best possible -43 (1635.73 seconds) After 931000 nodes, 195747 on tree, -41 best solution, best possible -43 (1637.45 seconds) After 932000 nodes, 196063 on tree, -41 best solution, best possible -43 (1639.28 seconds) After 933000 nodes, 195947 on tree, -41 best solution, best possible -43 (1640.53 seconds) After 934000 nodes, 196156 on tree, -41 best solution, best possible -43 (1642.27 seconds) After 935000 nodes, 196181 on tree, -41 best solution, best possible -43 (1643.92 seconds) After 936000 nodes, 196312 on tree, -41 best solution, best possible -43 (1645.60 seconds) After 937000 nodes, 196165 on tree, -41 best solution, best possible -43 (1646.87 seconds) After 938000 nodes, 196236 on tree, -41 best solution, best possible -43 (1648.62 seconds) After 939000 nodes, 196457 on tree, -41 best solution, best possible -43 (1650.39 seconds) After 940000 nodes, 196707 on tree, -41 best solution, best possible -43 (1652.20 seconds) After 941000 nodes, 196588 on tree, -41 best solution, best possible -43 (1653.46 seconds) After 942000 nodes, 196675 on tree, -41 best solution, best possible -43 (1655.14 seconds) After 943000 nodes, 196801 on tree, -41 best solution, best possible -43 (1656.80 seconds) After 944000 nodes, 197074 on tree, -41 best solution, best possible -43 (1658.61 seconds) After 945000 nodes, 196907 on tree, -41 best solution, best possible -43 (1659.89 seconds) After 946000 nodes, 196983 on tree, -41 best solution, best possible -43 (1661.56 seconds) After 947000 nodes, 197160 on tree, -41 best solution, best possible -43 (1663.17 seconds) After 948000 nodes, 197372 on tree, -41 best solution, best possible -43 (1664.95 seconds) After 949000 nodes, 197274 on tree, -41 best solution, best possible -43 (1666.27 seconds) After 950000 nodes, 197402 on tree, -41 best solution, best possible -43 (1668.02 seconds) After 951000 nodes, 197663 on tree, -41 best solution, best possible -43 (1669.84 seconds) After 952000 nodes, 197855 on tree, -41 best solution, best possible -43 (1671.64 seconds) After 953000 nodes, 197784 on tree, -41 best solution, best possible -43 (1672.96 seconds) After 954000 nodes, 197890 on tree, -41 best solution, best possible -43 (1674.69 seconds) After 955000 nodes, 198021 on tree, -41 best solution, best possible -43 (1676.36 seconds) After 956000 nodes, 198152 on tree, -41 best solution, best possible -43 (1678.14 seconds) After 957000 nodes, 198014 on tree, -41 best solution, best possible -43 (1679.46 seconds) After 958000 nodes, 198110 on tree, -41 best solution, best possible -43 (1681.18 seconds) After 959000 nodes, 198156 on tree, -41 best solution, best possible -43 (1682.87 seconds) After 960000 nodes, 198311 on tree, -41 best solution, best possible -43 (1684.61 seconds) After 961000 nodes, 198163 on tree, -41 best solution, best possible -43 (1685.84 seconds) After 962000 nodes, 198325 on tree, -41 best solution, best possible -43 (1687.56 seconds) After 963000 nodes, 198391 on tree, -41 best solution, best possible -43 (1689.21 seconds) After 964000 nodes, 198618 on tree, -41 best solution, best possible -43 (1691.06 seconds) After 965000 nodes, 198549 on tree, -41 best solution, best possible -43 (1692.36 seconds) After 966000 nodes, 198759 on tree, -41 best solution, best possible -43 (1694.11 seconds) After 967000 nodes, 199146 on tree, -41 best solution, best possible -43 (1695.95 seconds) After 968000 nodes, 199447 on tree, -41 best solution, best possible -43 (1697.82 seconds) After 969000 nodes, 199336 on tree, -41 best solution, best possible -43 (1699.23 seconds) After 970000 nodes, 199498 on tree, -41 best solution, best possible -43 (1700.98 seconds) After 971000 nodes, 199913 on tree, -41 best solution, best possible -43 (1702.88 seconds) After 972000 nodes, 200350 on tree, -41 best solution, best possible -43 (1704.87 seconds) After 973000 nodes, 200258 on tree, -41 best solution, best possible -43 (1706.18 seconds) After 974000 nodes, 200586 on tree, -41 best solution, best possible -43 (1708.07 seconds) After 975000 nodes, 200925 on tree, -41 best solution, best possible -43 (1709.81 seconds) After 976000 nodes, 201014 on tree, -41 best solution, best possible -43 (1711.53 seconds) After 977000 nodes, 200896 on tree, -41 best solution, best possible -43 (1712.80 seconds) After 978000 nodes, 200933 on tree, -41 best solution, best possible -43 (1714.55 seconds) After 979000 nodes, 201130 on tree, -41 best solution, best possible -43 (1716.37 seconds) After 980000 nodes, 201234 on tree, -41 best solution, best possible -43 (1718.15 seconds) After 981000 nodes, 201150 on tree, -41 best solution, best possible -43 (1719.45 seconds) After 982000 nodes, 201240 on tree, -41 best solution, best possible -43 (1721.31 seconds) After 983000 nodes, 201346 on tree, -41 best solution, best possible -43 (1723.11 seconds) After 984000 nodes, 201541 on tree, -41 best solution, best possible -43 (1724.96 seconds) After 985000 nodes, 201505 on tree, -41 best solution, best possible -43 (1726.34 seconds) After 986000 nodes, 201655 on tree, -41 best solution, best possible -43 (1728.09 seconds) After 987000 nodes, 201789 on tree, -41 best solution, best possible -43 (1729.81 seconds) After 988000 nodes, 202124 on tree, -41 best solution, best possible -43 (1731.65 seconds) After 989000 nodes, 202039 on tree, -41 best solution, best possible -43 (1732.94 seconds) After 990000 nodes, 202258 on tree, -41 best solution, best possible -43 (1734.73 seconds) After 991000 nodes, 202654 on tree, -41 best solution, best possible -43 (1736.67 seconds) After 992000 nodes, 202929 on tree, -41 best solution, best possible -43 (1738.53 seconds) After 993000 nodes, 202895 on tree, -41 best solution, best possible -43 (1739.97 seconds) After 994000 nodes, 203238 on tree, -41 best solution, best possible -43 (1741.85 seconds) After 995000 nodes, 203465 on tree, -41 best solution, best possible -43 (1743.69 seconds) After 996000 nodes, 203604 on tree, -41 best solution, best possible -43 (1745.55 seconds) After 997000 nodes, 203550 on tree, -41 best solution, best possible -43 (1746.91 seconds) After 998000 nodes, 203768 on tree, -41 best solution, best possible -43 (1748.77 seconds) After 999000 nodes, 203941 on tree, -41 best solution, best possible -43 (1750.58 seconds) Exiting on maximum nodes Partial search - best objective -41 (best possible -43), took 12730887 iterations and 999999 nodes (1756.53 seconds) Strong branching done 23328 times (156117 iterations), fathomed 1022 nodes and fixed 2069 variables Maximum depth 47, 1.02336e+06 variables fixed on reduced cost Cuts at root node changed objective from -43 to -43 Probing was tried 884743 times and created 5316070 cuts of which 1547763 were active after adding rounds of cuts (363.778 seconds) Gomory was tried 100 times and created 1141 cuts of which 9 were active after adding rounds of cuts (0.028 seconds) Knapsack was tried 100 times and created 50 cuts of which 1 were active after adding rounds of cuts (0.016 seconds) Clique was tried 100 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.004 seconds) MixedIntegerRounding2 was tried 100 times and created 162 cuts of which 4 were active after adding rounds of cuts (0.028 seconds) FlowCover was tried 100 times and created 114 cuts of which 4 were active after adding rounds of cuts (0.084 seconds) TwoMirCuts was tried 100 times and created 274 cuts of which 4 were active after adding rounds of cuts (0.020 seconds) Result - Stopped on nodes objective -41 after 999999 nodes and 12730887 iterations - took 1758.76 seconds (total time 1758.76) Total time 1758.77 Node limit reached. Have feasible solution. Writing solution. Objective: -41 Time: 1758.76 s --- Restarting execution --- noswot.gms(124) 0 Mb --- Reading solution for model m *** Status: Normal completion --- Job noswot.gms Stop 08/21/08 11:32:53 elapsed 0:30:33.398