--- Job noswot Start 08/24/08 04:49:00
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.006
--- 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 Cbc: elapsed 0:00:00.011

GAMS/Cbc 2.1 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.20.00, build Aug 23 2008
command line - GAMS/CBC -solve -quit
Continuous objective value is -43 - 0.00 seconds
Optimal - objective value -43
0 fixed, 50 tightened bounds, 44 strengthened rows, 10 substitutions
0 fixed, 0 tightened bounds, 15 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
Pass   1: suminf.    0.00000 (0) obj. -40 iterations 36
Solution found of -40
Cleaned solution of -40
Before mini branch and bound, 72 integers at bound fixed and 23 continuous
Full problem 172 rows 120 columns, reduced to 36 rows 19 columns
Mini branch and bound did not improve solution (0.01 seconds)
Round again with cutoff of -42
Pass   2: suminf.    1.30039 (8) obj. -42 iterations 59
Pass   3: suminf.    0.77209 (5) obj. -42 iterations 24
Pass   4: suminf.    0.77606 (5) obj. -42 iterations 6
Pass   5: suminf.    3.29539 (23) obj. -42 iterations 60
Pass   6: suminf.    1.30798 (16) obj. -42 iterations 18
Pass   7: suminf.    1.42817 (5) obj. -42.4177 iterations 38
Solution found of -42.4177
Branch and bound needed to clear up 5 general integers
Mini branch and bound could not fix general integers
No solution found this major pass
Before mini branch and bound, 48 integers at bound fixed and 13 continuous
Full problem 172 rows 120 columns, reduced to 84 rows 50 columns
Mini branch and bound did not improve solution (0.09 seconds)
After 0.09 seconds - Feasibility pump exiting with objective of -40 - took 0.09 seconds
Integer solution of -40 found by feasibility pump after 0 iterations and 0 nodes (0.09 seconds)
Full problem 172 rows 120 columns, reduced to 12 rows 8 columns
19 added rows had average density of 35.9474
At root node, 19 cuts changed objective from -43 to -43 in 100 passes
Cut generator 0 (Probing) - 37 row cuts, 0 column cuts (6 active)  in 0.800 seconds - new frequency is 1
Cut generator 1 (Gomory) - 1031 row cuts, 0 column cuts (13 active)  in 0.044 seconds - new frequency is 1
Cut generator 2 (Knapsack) - 25 row cuts, 0 column cuts (0 active)  in 0.028 seconds - new frequency is 1
Cut generator 3 (Clique) - 0 row cuts, 0 column cuts (0 active)  in 0.004 seconds - new frequency is -100
Cut generator 4 (MixedIntegerRounding2) - 151 row cuts, 0 column cuts (0 active)  in 0.012 seconds - new frequency is 1
Cut generator 5 (FlowCover) - 36 row cuts, 0 column cuts (0 active)  in 0.024 seconds - new frequency is -100
Cut generator 6 (TwoMirCuts) - 272 row cuts, 0 column cuts (0 active)  in 0.024 seconds - new frequency is -100
Optimal - objective value -43
Optimal - objective value -43
After 0 nodes, 1 on tree, -40 best solution, best possible -43 (1.26 seconds)
Integer solution of -41 found after 13015 iterations and 351 nodes (4.17 seconds)
Full problem 172 rows 120 columns, reduced to 41 rows 24 columns
After 1000 nodes, 287 on tree, -41 best solution, best possible -43 (5.72 seconds)
After 2000 nodes, 574 on tree, -41 best solution, best possible -43 (8.07 seconds)
After 3000 nodes, 865 on tree, -41 best solution, best possible -43 (10.50 seconds)
After 4000 nodes, 1218 on tree, -41 best solution, best possible -43 (12.82 seconds)
After 5000 nodes, 1480 on tree, -41 best solution, best possible -43 (15.27 seconds)
After 6000 nodes, 1670 on tree, -41 best solution, best possible -43 (17.24 seconds)
After 7000 nodes, 2004 on tree, -41 best solution, best possible -43 (19.48 seconds)
After 8000 nodes, 2284 on tree, -41 best solution, best possible -43 (21.62 seconds)
After 9000 nodes, 2466 on tree, -41 best solution, best possible -43 (23.83 seconds)
After 10000 nodes, 2678 on tree, -41 best solution, best possible -43 (26.05 seconds)
After 11000 nodes, 2947 on tree, -41 best solution, best possible -43 (28.43 seconds)
After 12000 nodes, 3399 on tree, -41 best solution, best possible -43 (30.64 seconds)
After 13000 nodes, 3705 on tree, -41 best solution, best possible -43 (33.29 seconds)
After 14000 nodes, 3901 on tree, -41 best solution, best possible -43 (35.15 seconds)
After 15000 nodes, 4231 on tree, -41 best solution, best possible -43 (37.96 seconds)
After 16000 nodes, 4542 on tree, -41 best solution, best possible -43 (40.72 seconds)
After 17000 nodes, 4898 on tree, -41 best solution, best possible -43 (43.78 seconds)
After 18000 nodes, 4981 on tree, -41 best solution, best possible -43 (45.71 seconds)
After 19000 nodes, 5359 on tree, -41 best solution, best possible -43 (49.11 seconds)
After 20000 nodes, 5716 on tree, -41 best solution, best possible -43 (52.62 seconds)
After 21000 nodes, 6096 on tree, -41 best solution, best possible -43 (55.84 seconds)
After 22000 nodes, 6224 on tree, -41 best solution, best possible -43 (58.02 seconds)
After 23000 nodes, 6680 on tree, -41 best solution, best possible -43 (60.96 seconds)
After 24000 nodes, 7040 on tree, -41 best solution, best possible -43 (64.00 seconds)
After 25000 nodes, 7439 on tree, -41 best solution, best possible -43 (67.38 seconds)
After 26000 nodes, 7568 on tree, -41 best solution, best possible -43 (69.78 seconds)
After 27000 nodes, 7928 on tree, -41 best solution, best possible -43 (73.27 seconds)
After 28000 nodes, 8341 on tree, -41 best solution, best possible -43 (76.83 seconds)
After 29000 nodes, 8646 on tree, -41 best solution, best possible -43 (80.43 seconds)
After 30000 nodes, 8765 on tree, -41 best solution, best possible -43 (82.78 seconds)
After 31000 nodes, 9148 on tree, -41 best solution, best possible -43 (86.19 seconds)
After 32000 nodes, 9505 on tree, -41 best solution, best possible -43 (89.75 seconds)
After 33000 nodes, 9825 on tree, -41 best solution, best possible -43 (92.83 seconds)
After 34000 nodes, 9913 on tree, -41 best solution, best possible -43 (95.14 seconds)
After 35000 nodes, 10081 on tree, -41 best solution, best possible -43 (98.40 seconds)
After 36000 nodes, 9984 on tree, -41 best solution, best possible -43 (99.89 seconds)
After 37000 nodes, 10247 on tree, -41 best solution, best possible -43 (102.99 seconds)
After 38000 nodes, 10400 on tree, -41 best solution, best possible -43 (106.10 seconds)
After 39000 nodes, 10385 on tree, -41 best solution, best possible -43 (108.05 seconds)
After 40000 nodes, 10690 on tree, -41 best solution, best possible -43 (110.23 seconds)
After 41000 nodes, 10422 on tree, -41 best solution, best possible -43 (111.01 seconds)
After 42000 nodes, 10545 on tree, -41 best solution, best possible -43 (114.34 seconds)
After 43000 nodes, 10874 on tree, -41 best solution, best possible -43 (116.72 seconds)
After 44000 nodes, 11037 on tree, -41 best solution, best possible -43 (118.88 seconds)
After 45000 nodes, 10764 on tree, -41 best solution, best possible -43 (119.75 seconds)
After 46000 nodes, 10933 on tree, -41 best solution, best possible -43 (123.15 seconds)
After 47000 nodes, 10999 on tree, -41 best solution, best possible -43 (125.59 seconds)
After 48000 nodes, 11214 on tree, -41 best solution, best possible -43 (127.80 seconds)
After 49000 nodes, 10995 on tree, -41 best solution, best possible -43 (128.76 seconds)
After 50000 nodes, 11151 on tree, -41 best solution, best possible -43 (132.26 seconds)
After 51000 nodes, 11356 on tree, -41 best solution, best possible -43 (134.66 seconds)
After 52000 nodes, 11419 on tree, -41 best solution, best possible -43 (136.66 seconds)
After 53000 nodes, 11209 on tree, -41 best solution, best possible -43 (137.70 seconds)
After 54000 nodes, 11358 on tree, -41 best solution, best possible -43 (141.26 seconds)
After 55000 nodes, 11369 on tree, -41 best solution, best possible -43 (142.96 seconds)
After 56000 nodes, 11652 on tree, -41 best solution, best possible -43 (145.15 seconds)
After 57000 nodes, 11457 on tree, -41 best solution, best possible -43 (146.12 seconds)
After 58000 nodes, 11635 on tree, -41 best solution, best possible -43 (149.33 seconds)
After 59000 nodes, 11930 on tree, -41 best solution, best possible -43 (151.54 seconds)
After 60000 nodes, 12217 on tree, -41 best solution, best possible -43 (153.71 seconds)
After 61000 nodes, 11951 on tree, -41 best solution, best possible -43 (154.72 seconds)
After 62000 nodes, 12648 on tree, -41 best solution, best possible -43 (157.39 seconds)
After 63000 nodes, 12925 on tree, -41 best solution, best possible -43 (159.45 seconds)
After 64000 nodes, 13122 on tree, -41 best solution, best possible -43 (161.57 seconds)
After 65000 nodes, 12943 on tree, -41 best solution, best possible -43 (162.56 seconds)
After 66000 nodes, 13859 on tree, -41 best solution, best possible -43 (165.73 seconds)
After 67000 nodes, 13994 on tree, -41 best solution, best possible -43 (167.95 seconds)
After 68000 nodes, 14279 on tree, -41 best solution, best possible -43 (170.17 seconds)
After 69000 nodes, 14046 on tree, -41 best solution, best possible -43 (171.26 seconds)
After 70000 nodes, 14933 on tree, -41 best solution, best possible -43 (174.29 seconds)
After 71000 nodes, 15080 on tree, -41 best solution, best possible -43 (176.37 seconds)
After 72000 nodes, 15245 on tree, -41 best solution, best possible -43 (178.81 seconds)
After 73000 nodes, 15039 on tree, -41 best solution, best possible -43 (179.85 seconds)
After 74000 nodes, 15621 on tree, -41 best solution, best possible -43 (182.58 seconds)
After 75000 nodes, 15863 on tree, -41 best solution, best possible -43 (184.57 seconds)
After 76000 nodes, 16067 on tree, -41 best solution, best possible -43 (186.57 seconds)
After 77000 nodes, 15858 on tree, -41 best solution, best possible -43 (187.54 seconds)
After 78000 nodes, 16095 on tree, -41 best solution, best possible -43 (190.01 seconds)
After 79000 nodes, 16340 on tree, -41 best solution, best possible -43 (192.29 seconds)
After 80000 nodes, 16566 on tree, -41 best solution, best possible -43 (194.52 seconds)
After 81000 nodes, 16382 on tree, -41 best solution, best possible -43 (195.59 seconds)
After 82000 nodes, 16742 on tree, -41 best solution, best possible -43 (198.66 seconds)
After 83000 nodes, 16942 on tree, -41 best solution, best possible -43 (201.15 seconds)
After 84000 nodes, 17015 on tree, -41 best solution, best possible -43 (203.50 seconds)
After 85000 nodes, 16805 on tree, -41 best solution, best possible -43 (204.57 seconds)
After 86000 nodes, 17081 on tree, -41 best solution, best possible -43 (208.03 seconds)
After 87000 nodes, 17260 on tree, -41 best solution, best possible -43 (210.26 seconds)
After 88000 nodes, 17490 on tree, -41 best solution, best possible -43 (212.55 seconds)
After 89000 nodes, 17233 on tree, -41 best solution, best possible -43 (213.69 seconds)
After 90000 nodes, 17316 on tree, -41 best solution, best possible -43 (216.54 seconds)
After 91000 nodes, 17475 on tree, -41 best solution, best possible -43 (218.70 seconds)
After 92000 nodes, 17707 on tree, -41 best solution, best possible -43 (220.98 seconds)
After 93000 nodes, 17495 on tree, -41 best solution, best possible -43 (222.01 seconds)
After 94000 nodes, 17767 on tree, -41 best solution, best possible -43 (224.95 seconds)
After 95000 nodes, 17931 on tree, -41 best solution, best possible -43 (227.14 seconds)
After 96000 nodes, 17984 on tree, -41 best solution, best possible -43 (229.23 seconds)
After 97000 nodes, 17819 on tree, -41 best solution, best possible -43 (230.31 seconds)
After 98000 nodes, 18104 on tree, -41 best solution, best possible -43 (232.75 seconds)
After 99000 nodes, 18280 on tree, -41 best solution, best possible -43 (234.75 seconds)
After 100000 nodes, 18384 on tree, -41 best solution, best possible -43 (236.83 seconds)
After 101000 nodes, 18155 on tree, -41 best solution, best possible -43 (237.93 seconds)
After 102000 nodes, 18664 on tree, -41 best solution, best possible -43 (240.46 seconds)
After 103000 nodes, 18832 on tree, -41 best solution, best possible -43 (242.57 seconds)
After 104000 nodes, 18969 on tree, -41 best solution, best possible -43 (244.88 seconds)
After 105000 nodes, 18763 on tree, -41 best solution, best possible -43 (246.01 seconds)
After 106000 nodes, 19181 on tree, -41 best solution, best possible -43 (249.03 seconds)
After 107000 nodes, 19416 on tree, -41 best solution, best possible -43 (251.54 seconds)
After 108000 nodes, 19617 on tree, -41 best solution, best possible -43 (253.70 seconds)
After 109000 nodes, 19441 on tree, -41 best solution, best possible -43 (254.77 seconds)
After 110000 nodes, 20001 on tree, -41 best solution, best possible -43 (258.01 seconds)
After 111000 nodes, 20247 on tree, -41 best solution, best possible -43 (260.44 seconds)
After 112000 nodes, 20414 on tree, -41 best solution, best possible -43 (262.79 seconds)
After 113000 nodes, 20235 on tree, -41 best solution, best possible -43 (263.90 seconds)
After 114000 nodes, 20664 on tree, -41 best solution, best possible -43 (266.86 seconds)
After 115000 nodes, 20842 on tree, -41 best solution, best possible -43 (269.03 seconds)
After 116000 nodes, 21036 on tree, -41 best solution, best possible -43 (271.70 seconds)
After 117000 nodes, 20839 on tree, -41 best solution, best possible -43 (272.86 seconds)
After 118000 nodes, 21357 on tree, -41 best solution, best possible -43 (275.69 seconds)
After 119000 nodes, 21475 on tree, -41 best solution, best possible -43 (277.79 seconds)
After 120000 nodes, 21623 on tree, -41 best solution, best possible -43 (280.22 seconds)
After 121000 nodes, 21421 on tree, -41 best solution, best possible -43 (281.35 seconds)
After 122000 nodes, 21734 on tree, -41 best solution, best possible -43 (283.99 seconds)
After 123000 nodes, 21884 on tree, -41 best solution, best possible -43 (286.11 seconds)
After 124000 nodes, 22090 on tree, -41 best solution, best possible -43 (288.41 seconds)
After 125000 nodes, 21885 on tree, -41 best solution, best possible -43 (289.51 seconds)
After 126000 nodes, 22259 on tree, -41 best solution, best possible -43 (292.10 seconds)
After 127000 nodes, 22462 on tree, -41 best solution, best possible -43 (294.20 seconds)
After 128000 nodes, 22660 on tree, -41 best solution, best possible -43 (296.27 seconds)
After 129000 nodes, 22546 on tree, -41 best solution, best possible -43 (297.39 seconds)
After 130000 nodes, 22787 on tree, -41 best solution, best possible -43 (299.94 seconds)
After 131000 nodes, 22962 on tree, -41 best solution, best possible -43 (302.35 seconds)
After 132000 nodes, 23127 on tree, -41 best solution, best possible -43 (304.76 seconds)
After 133000 nodes, 22905 on tree, -41 best solution, best possible -43 (305.82 seconds)
After 134000 nodes, 23348 on tree, -41 best solution, best possible -43 (308.85 seconds)
After 135000 nodes, 23582 on tree, -41 best solution, best possible -43 (311.38 seconds)
After 136000 nodes, 23798 on tree, -41 best solution, best possible -43 (313.85 seconds)
After 137000 nodes, 23558 on tree, -41 best solution, best possible -43 (315.20 seconds)
After 138000 nodes, 23966 on tree, -41 best solution, best possible -43 (318.30 seconds)
After 139000 nodes, 24212 on tree, -41 best solution, best possible -43 (320.78 seconds)
After 140000 nodes, 24364 on tree, -41 best solution, best possible -43 (323.20 seconds)
After 141000 nodes, 24158 on tree, -41 best solution, best possible -43 (324.40 seconds)
After 142000 nodes, 24580 on tree, -41 best solution, best possible -43 (327.64 seconds)
After 143000 nodes, 24623 on tree, -41 best solution, best possible -43 (329.62 seconds)
After 144000 nodes, 24659 on tree, -41 best solution, best possible -43 (331.40 seconds)
After 145000 nodes, 24487 on tree, -41 best solution, best possible -43 (332.57 seconds)
After 146000 nodes, 24731 on tree, -41 best solution, best possible -43 (335.48 seconds)
After 147000 nodes, 24901 on tree, -41 best solution, best possible -43 (337.75 seconds)
After 148000 nodes, 25110 on tree, -41 best solution, best possible -43 (340.14 seconds)
After 149000 nodes, 24934 on tree, -41 best solution, best possible -43 (341.27 seconds)
After 150000 nodes, 25348 on tree, -41 best solution, best possible -43 (344.26 seconds)
After 151000 nodes, 25547 on tree, -41 best solution, best possible -43 (346.66 seconds)
After 152000 nodes, 25736 on tree, -41 best solution, best possible -43 (348.99 seconds)
After 153000 nodes, 25602 on tree, -41 best solution, best possible -43 (350.15 seconds)
After 154000 nodes, 25993 on tree, -41 best solution, best possible -43 (352.97 seconds)
After 155000 nodes, 26148 on tree, -41 best solution, best possible -43 (355.17 seconds)
After 156000 nodes, 26365 on tree, -41 best solution, best possible -43 (357.63 seconds)
After 157000 nodes, 26117 on tree, -41 best solution, best possible -43 (358.93 seconds)
After 158000 nodes, 26526 on tree, -41 best solution, best possible -43 (361.63 seconds)
After 159000 nodes, 26695 on tree, -41 best solution, best possible -43 (363.84 seconds)
After 160000 nodes, 26879 on tree, -41 best solution, best possible -43 (366.23 seconds)
After 161000 nodes, 26673 on tree, -41 best solution, best possible -43 (367.33 seconds)
After 162000 nodes, 27097 on tree, -41 best solution, best possible -43 (370.07 seconds)
After 163000 nodes, 27281 on tree, -41 best solution, best possible -43 (372.28 seconds)
After 164000 nodes, 27404 on tree, -41 best solution, best possible -43 (374.75 seconds)
After 165000 nodes, 27296 on tree, -41 best solution, best possible -43 (375.86 seconds)
After 166000 nodes, 27703 on tree, -41 best solution, best possible -43 (378.83 seconds)
After 167000 nodes, 27920 on tree, -41 best solution, best possible -43 (381.16 seconds)
After 168000 nodes, 28051 on tree, -41 best solution, best possible -43 (383.52 seconds)
After 169000 nodes, 27842 on tree, -41 best solution, best possible -43 (384.70 seconds)
After 170000 nodes, 28291 on tree, -41 best solution, best possible -43 (388.05 seconds)
After 171000 nodes, 28446 on tree, -41 best solution, best possible -43 (390.51 seconds)
After 172000 nodes, 28638 on tree, -41 best solution, best possible -43 (392.94 seconds)
After 173000 nodes, 28495 on tree, -41 best solution, best possible -43 (394.03 seconds)
After 174000 nodes, 28907 on tree, -41 best solution, best possible -43 (397.14 seconds)
After 175000 nodes, 29085 on tree, -41 best solution, best possible -43 (399.79 seconds)
After 176000 nodes, 29418 on tree, -41 best solution, best possible -43 (402.63 seconds)
After 177000 nodes, 29210 on tree, -41 best solution, best possible -43 (403.97 seconds)
After 178000 nodes, 29481 on tree, -41 best solution, best possible -43 (407.09 seconds)
After 179000 nodes, 29653 on tree, -41 best solution, best possible -43 (409.65 seconds)
After 180000 nodes, 29904 on tree, -41 best solution, best possible -43 (412.19 seconds)
After 181000 nodes, 29707 on tree, -41 best solution, best possible -43 (413.33 seconds)
After 182000 nodes, 30069 on tree, -41 best solution, best possible -43 (416.25 seconds)
After 183000 nodes, 30212 on tree, -41 best solution, best possible -43 (418.75 seconds)
After 184000 nodes, 30399 on tree, -41 best solution, best possible -43 (421.22 seconds)
After 185000 nodes, 30239 on tree, -41 best solution, best possible -43 (422.46 seconds)
After 186000 nodes, 30584 on tree, -41 best solution, best possible -43 (425.39 seconds)
After 187000 nodes, 30831 on tree, -41 best solution, best possible -43 (427.74 seconds)
After 188000 nodes, 30947 on tree, -41 best solution, best possible -43 (430.17 seconds)
After 189000 nodes, 30798 on tree, -41 best solution, best possible -43 (431.35 seconds)
After 190000 nodes, 31246 on tree, -41 best solution, best possible -43 (434.28 seconds)
After 191000 nodes, 31399 on tree, -41 best solution, best possible -43 (436.53 seconds)
After 192000 nodes, 31543 on tree, -41 best solution, best possible -43 (439.11 seconds)
After 193000 nodes, 31432 on tree, -41 best solution, best possible -43 (440.28 seconds)
After 194000 nodes, 31865 on tree, -41 best solution, best possible -43 (443.08 seconds)
After 195000 nodes, 31996 on tree, -41 best solution, best possible -43 (445.21 seconds)
After 196000 nodes, 32161 on tree, -41 best solution, best possible -43 (447.84 seconds)
After 197000 nodes, 31899 on tree, -41 best solution, best possible -43 (449.03 seconds)
After 198000 nodes, 32289 on tree, -41 best solution, best possible -43 (451.88 seconds)
After 199000 nodes, 32505 on tree, -41 best solution, best possible -43 (454.31 seconds)
After 200000 nodes, 32719 on tree, -41 best solution, best possible -43 (456.94 seconds)
After 201000 nodes, 32494 on tree, -41 best solution, best possible -43 (458.24 seconds)
After 202000 nodes, 32777 on tree, -41 best solution, best possible -43 (461.25 seconds)
After 203000 nodes, 33016 on tree, -41 best solution, best possible -43 (463.76 seconds)
After 204000 nodes, 33123 on tree, -41 best solution, best possible -43 (466.16 seconds)
After 205000 nodes, 32947 on tree, -41 best solution, best possible -43 (467.44 seconds)
After 206000 nodes, 33345 on tree, -41 best solution, best possible -43 (470.36 seconds)
After 207000 nodes, 33592 on tree, -41 best solution, best possible -43 (472.69 seconds)
After 208000 nodes, 33819 on tree, -41 best solution, best possible -43 (475.11 seconds)
After 209000 nodes, 33706 on tree, -41 best solution, best possible -43 (476.29 seconds)
After 210000 nodes, 34256 on tree, -41 best solution, best possible -43 (479.61 seconds)
After 211000 nodes, 34521 on tree, -41 best solution, best possible -43 (482.31 seconds)
After 212000 nodes, 34781 on tree, -41 best solution, best possible -43 (485.05 seconds)
After 213000 nodes, 34545 on tree, -41 best solution, best possible -43 (486.29 seconds)
After 214000 nodes, 34920 on tree, -41 best solution, best possible -43 (489.85 seconds)
After 215000 nodes, 35189 on tree, -41 best solution, best possible -43 (492.65 seconds)
After 216000 nodes, 35396 on tree, -41 best solution, best possible -43 (495.49 seconds)
After 217000 nodes, 35246 on tree, -41 best solution, best possible -43 (496.76 seconds)
After 218000 nodes, 35667 on tree, -41 best solution, best possible -43 (499.77 seconds)
After 219000 nodes, 35923 on tree, -41 best solution, best possible -43 (502.48 seconds)
After 220000 nodes, 36145 on tree, -41 best solution, best possible -43 (505.37 seconds)
After 221000 nodes, 36055 on tree, -41 best solution, best possible -43 (506.58 seconds)
After 222000 nodes, 36593 on tree, -41 best solution, best possible -43 (509.90 seconds)
After 223000 nodes, 36814 on tree, -41 best solution, best possible -43 (512.51 seconds)
After 224000 nodes, 37056 on tree, -41 best solution, best possible -43 (515.14 seconds)
After 225000 nodes, 36879 on tree, -41 best solution, best possible -43 (516.32 seconds)
After 226000 nodes, 37371 on tree, -41 best solution, best possible -43 (519.46 seconds)
After 227000 nodes, 37607 on tree, -41 best solution, best possible -43 (521.99 seconds)
After 228000 nodes, 37837 on tree, -41 best solution, best possible -43 (524.62 seconds)
After 229000 nodes, 37741 on tree, -41 best solution, best possible -43 (525.82 seconds)
After 230000 nodes, 38002 on tree, -41 best solution, best possible -43 (528.79 seconds)
After 231000 nodes, 38200 on tree, -41 best solution, best possible -43 (531.26 seconds)
After 232000 nodes, 38341 on tree, -41 best solution, best possible -43 (533.81 seconds)
After 233000 nodes, 38185 on tree, -41 best solution, best possible -43 (535.00 seconds)
After 234000 nodes, 38632 on tree, -41 best solution, best possible -43 (538.00 seconds)
After 235000 nodes, 38834 on tree, -41 best solution, best possible -43 (540.36 seconds)
After 236000 nodes, 39020 on tree, -41 best solution, best possible -43 (543.01 seconds)
After 237000 nodes, 38794 on tree, -41 best solution, best possible -43 (544.20 seconds)
After 238000 nodes, 39199 on tree, -41 best solution, best possible -43 (547.13 seconds)
After 239000 nodes, 39403 on tree, -41 best solution, best possible -43 (549.64 seconds)
After 240000 nodes, 39480 on tree, -41 best solution, best possible -43 (551.71 seconds)
After 241000 nodes, 39331 on tree, -41 best solution, best possible -43 (552.99 seconds)
After 242000 nodes, 39809 on tree, -41 best solution, best possible -43 (555.97 seconds)
After 243000 nodes, 40002 on tree, -41 best solution, best possible -43 (558.30 seconds)
After 244000 nodes, 39979 on tree, -41 best solution, best possible -43 (559.96 seconds)
After 245000 nodes, 39825 on tree, -41 best solution, best possible -43 (561.14 seconds)
After 246000 nodes, 40130 on tree, -41 best solution, best possible -43 (564.16 seconds)
After 247000 nodes, 40293 on tree, -41 best solution, best possible -43 (566.71 seconds)
After 248000 nodes, 40361 on tree, -41 best solution, best possible -43 (568.78 seconds)
After 249000 nodes, 40129 on tree, -41 best solution, best possible -43 (570.05 seconds)
After 250000 nodes, 40535 on tree, -41 best solution, best possible -43 (573.29 seconds)
After 251000 nodes, 40718 on tree, -41 best solution, best possible -43 (575.58 seconds)
After 252000 nodes, 40934 on tree, -41 best solution, best possible -43 (578.15 seconds)
After 253000 nodes, 40765 on tree, -41 best solution, best possible -43 (579.32 seconds)
After 254000 nodes, 41265 on tree, -41 best solution, best possible -43 (582.57 seconds)
After 255000 nodes, 41475 on tree, -41 best solution, best possible -43 (584.98 seconds)
After 256000 nodes, 41668 on tree, -41 best solution, best possible -43 (587.38 seconds)
After 257000 nodes, 41492 on tree, -41 best solution, best possible -43 (588.57 seconds)
After 258000 nodes, 41973 on tree, -41 best solution, best possible -43 (591.76 seconds)
After 259000 nodes, 42246 on tree, -41 best solution, best possible -43 (594.34 seconds)
After 260000 nodes, 42601 on tree, -41 best solution, best possible -43 (597.20 seconds)
After 261000 nodes, 42590 on tree, -41 best solution, best possible -43 (598.75 seconds)
After 262000 nodes, 43140 on tree, -41 best solution, best possible -43 (601.75 seconds)
After 263000 nodes, 43397 on tree, -41 best solution, best possible -43 (604.40 seconds)
After 264000 nodes, 43818 on tree, -41 best solution, best possible -43 (607.25 seconds)
After 265000 nodes, 43643 on tree, -41 best solution, best possible -43 (608.52 seconds)
After 266000 nodes, 43931 on tree, -41 best solution, best possible -43 (611.73 seconds)
After 267000 nodes, 44127 on tree, -41 best solution, best possible -43 (614.39 seconds)
After 268000 nodes, 44361 on tree, -41 best solution, best possible -43 (617.13 seconds)
After 269000 nodes, 44202 on tree, -41 best solution, best possible -43 (618.37 seconds)
After 270000 nodes, 44798 on tree, -41 best solution, best possible -43 (622.08 seconds)
After 271000 nodes, 45034 on tree, -41 best solution, best possible -43 (624.83 seconds)
After 272000 nodes, 45259 on tree, -41 best solution, best possible -43 (627.62 seconds)
After 273000 nodes, 45106 on tree, -41 best solution, best possible -43 (628.80 seconds)
After 274000 nodes, 45551 on tree, -41 best solution, best possible -43 (632.08 seconds)
After 275000 nodes, 45801 on tree, -41 best solution, best possible -43 (634.92 seconds)
After 276000 nodes, 46005 on tree, -41 best solution, best possible -43 (637.40 seconds)
After 277000 nodes, 45913 on tree, -41 best solution, best possible -43 (638.53 seconds)
After 278000 nodes, 46311 on tree, -41 best solution, best possible -43 (641.56 seconds)
After 279000 nodes, 46550 on tree, -41 best solution, best possible -43 (644.30 seconds)
After 280000 nodes, 46873 on tree, -41 best solution, best possible -43 (647.04 seconds)
After 281000 nodes, 46715 on tree, -41 best solution, best possible -43 (648.38 seconds)
After 282000 nodes, 47264 on tree, -41 best solution, best possible -43 (651.61 seconds)
After 283000 nodes, 47539 on tree, -41 best solution, best possible -43 (654.40 seconds)
After 284000 nodes, 47702 on tree, -41 best solution, best possible -43 (657.20 seconds)
After 285000 nodes, 47459 on tree, -41 best solution, best possible -43 (658.65 seconds)
After 286000 nodes, 47907 on tree, -41 best solution, best possible -43 (662.24 seconds)
After 287000 nodes, 48103 on tree, -41 best solution, best possible -43 (665.09 seconds)
After 288000 nodes, 48348 on tree, -41 best solution, best possible -43 (667.80 seconds)
After 289000 nodes, 48215 on tree, -41 best solution, best possible -43 (669.11 seconds)
After 290000 nodes, 48554 on tree, -41 best solution, best possible -43 (672.21 seconds)
After 291000 nodes, 48785 on tree, -41 best solution, best possible -43 (674.90 seconds)
After 292000 nodes, 48969 on tree, -41 best solution, best possible -43 (677.65 seconds)
After 293000 nodes, 48802 on tree, -41 best solution, best possible -43 (679.01 seconds)
After 294000 nodes, 49219 on tree, -41 best solution, best possible -43 (682.16 seconds)
After 295000 nodes, 49394 on tree, -41 best solution, best possible -43 (684.57 seconds)
After 296000 nodes, 49666 on tree, -41 best solution, best possible -43 (687.41 seconds)
After 297000 nodes, 49452 on tree, -41 best solution, best possible -43 (688.68 seconds)
After 298000 nodes, 49786 on tree, -41 best solution, best possible -43 (691.69 seconds)
After 299000 nodes, 50043 on tree, -41 best solution, best possible -43 (694.30 seconds)
After 300000 nodes, 50249 on tree, -41 best solution, best possible -43 (697.07 seconds)
After 301000 nodes, 50162 on tree, -41 best solution, best possible -43 (698.28 seconds)
After 302000 nodes, 50511 on tree, -41 best solution, best possible -43 (701.38 seconds)
After 303000 nodes, 50683 on tree, -41 best solution, best possible -43 (703.88 seconds)
After 304000 nodes, 51041 on tree, -41 best solution, best possible -43 (706.82 seconds)
After 305000 nodes, 50834 on tree, -41 best solution, best possible -43 (708.05 seconds)
After 306000 nodes, 51178 on tree, -41 best solution, best possible -43 (711.16 seconds)
After 307000 nodes, 51367 on tree, -41 best solution, best possible -43 (713.65 seconds)
After 308000 nodes, 51563 on tree, -41 best solution, best possible -43 (716.13 seconds)
After 309000 nodes, 51476 on tree, -41 best solution, best possible -43 (717.37 seconds)
After 310000 nodes, 51926 on tree, -41 best solution, best possible -43 (720.74 seconds)
After 311000 nodes, 52137 on tree, -41 best solution, best possible -43 (723.18 seconds)
After 312000 nodes, 52429 on tree, -41 best solution, best possible -43 (725.96 seconds)
After 313000 nodes, 52339 on tree, -41 best solution, best possible -43 (727.27 seconds)
After 314000 nodes, 52731 on tree, -41 best solution, best possible -43 (730.58 seconds)
After 315000 nodes, 52914 on tree, -41 best solution, best possible -43 (733.19 seconds)
After 316000 nodes, 53182 on tree, -41 best solution, best possible -43 (735.91 seconds)
After 317000 nodes, 52956 on tree, -41 best solution, best possible -43 (737.15 seconds)
After 318000 nodes, 53492 on tree, -41 best solution, best possible -43 (740.31 seconds)
After 319000 nodes, 53715 on tree, -41 best solution, best possible -43 (742.85 seconds)
After 320000 nodes, 53940 on tree, -41 best solution, best possible -43 (745.53 seconds)
After 321000 nodes, 53760 on tree, -41 best solution, best possible -43 (746.83 seconds)
After 322000 nodes, 54192 on tree, -41 best solution, best possible -43 (750.01 seconds)
After 323000 nodes, 54381 on tree, -41 best solution, best possible -43 (752.52 seconds)
After 324000 nodes, 54637 on tree, -41 best solution, best possible -43 (755.14 seconds)
After 325000 nodes, 54590 on tree, -41 best solution, best possible -43 (756.72 seconds)
After 326000 nodes, 54891 on tree, -41 best solution, best possible -43 (759.92 seconds)
After 327000 nodes, 55167 on tree, -41 best solution, best possible -43 (762.38 seconds)
After 328000 nodes, 55462 on tree, -41 best solution, best possible -43 (765.27 seconds)
After 329000 nodes, 55408 on tree, -41 best solution, best possible -43 (766.88 seconds)
After 330000 nodes, 56027 on tree, -41 best solution, best possible -43 (770.02 seconds)
After 331000 nodes, 56319 on tree, -41 best solution, best possible -43 (772.77 seconds)
After 332000 nodes, 56583 on tree, -41 best solution, best possible -43 (775.66 seconds)
After 333000 nodes, 56358 on tree, -41 best solution, best possible -43 (777.22 seconds)
After 334000 nodes, 56886 on tree, -41 best solution, best possible -43 (780.46 seconds)
After 335000 nodes, 57142 on tree, -41 best solution, best possible -43 (783.06 seconds)
After 336000 nodes, 57385 on tree, -41 best solution, best possible -43 (785.67 seconds)
After 337000 nodes, 57120 on tree, -41 best solution, best possible -43 (787.05 seconds)
After 338000 nodes, 57656 on tree, -41 best solution, best possible -43 (790.39 seconds)
After 339000 nodes, 57860 on tree, -41 best solution, best possible -43 (793.20 seconds)
After 340000 nodes, 58100 on tree, -41 best solution, best possible -43 (796.16 seconds)
After 341000 nodes, 58035 on tree, -41 best solution, best possible -43 (797.52 seconds)
After 342000 nodes, 58406 on tree, -41 best solution, best possible -43 (800.95 seconds)
After 343000 nodes, 58731 on tree, -41 best solution, best possible -43 (804.03 seconds)
After 344000 nodes, 58884 on tree, -41 best solution, best possible -43 (806.71 seconds)
After 345000 nodes, 58609 on tree, -41 best solution, best possible -43 (808.03 seconds)
After 346000 nodes, 59180 on tree, -41 best solution, best possible -43 (811.47 seconds)
After 347000 nodes, 59405 on tree, -41 best solution, best possible -43 (814.26 seconds)
After 348000 nodes, 59584 on tree, -41 best solution, best possible -43 (816.78 seconds)
After 349000 nodes, 59464 on tree, -41 best solution, best possible -43 (818.02 seconds)
After 350000 nodes, 59905 on tree, -41 best solution, best possible -43 (821.50 seconds)
After 351000 nodes, 60157 on tree, -41 best solution, best possible -43 (824.21 seconds)
After 352000 nodes, 60380 on tree, -41 best solution, best possible -43 (827.11 seconds)
After 353000 nodes, 60300 on tree, -41 best solution, best possible -43 (828.56 seconds)
After 354000 nodes, 60727 on tree, -41 best solution, best possible -43 (831.77 seconds)
After 355000 nodes, 60983 on tree, -41 best solution, best possible -43 (834.40 seconds)
After 356000 nodes, 61220 on tree, -41 best solution, best possible -43 (836.90 seconds)
After 357000 nodes, 61163 on tree, -41 best solution, best possible -43 (838.46 seconds)
After 358000 nodes, 61730 on tree, -41 best solution, best possible -43 (841.81 seconds)
After 359000 nodes, 62001 on tree, -41 best solution, best possible -43 (844.61 seconds)
After 360000 nodes, 62247 on tree, -41 best solution, best possible -43 (847.42 seconds)
After 361000 nodes, 62003 on tree, -41 best solution, best possible -43 (848.71 seconds)
After 362000 nodes, 62429 on tree, -41 best solution, best possible -43 (851.95 seconds)
After 363000 nodes, 62709 on tree, -41 best solution, best possible -43 (854.71 seconds)
After 364000 nodes, 62929 on tree, -41 best solution, best possible -43 (857.23 seconds)
After 365000 nodes, 62873 on tree, -41 best solution, best possible -43 (858.62 seconds)
After 366000 nodes, 63288 on tree, -41 best solution, best possible -43 (862.02 seconds)
After 367000 nodes, 63487 on tree, -41 best solution, best possible -43 (864.73 seconds)
After 368000 nodes, 63739 on tree, -41 best solution, best possible -43 (867.59 seconds)
After 369000 nodes, 63568 on tree, -41 best solution, best possible -43 (868.88 seconds)
After 370000 nodes, 64090 on tree, -41 best solution, best possible -43 (872.10 seconds)
After 371000 nodes, 64298 on tree, -41 best solution, best possible -43 (874.75 seconds)
After 372000 nodes, 64583 on tree, -41 best solution, best possible -43 (877.63 seconds)
After 373000 nodes, 64462 on tree, -41 best solution, best possible -43 (878.98 seconds)
After 374000 nodes, 64954 on tree, -41 best solution, best possible -43 (882.33 seconds)
After 375000 nodes, 65179 on tree, -41 best solution, best possible -43 (885.00 seconds)
After 376000 nodes, 65415 on tree, -41 best solution, best possible -43 (887.86 seconds)
After 377000 nodes, 65343 on tree, -41 best solution, best possible -43 (889.15 seconds)
After 378000 nodes, 65594 on tree, -41 best solution, best possible -43 (892.62 seconds)
After 379000 nodes, 65799 on tree, -41 best solution, best possible -43 (895.28 seconds)
After 380000 nodes, 66119 on tree, -41 best solution, best possible -43 (898.22 seconds)
After 381000 nodes, 65996 on tree, -41 best solution, best possible -43 (899.47 seconds)
After 382000 nodes, 66558 on tree, -41 best solution, best possible -43 (902.63 seconds)
After 383000 nodes, 66778 on tree, -41 best solution, best possible -43 (905.04 seconds)
After 384000 nodes, 67055 on tree, -41 best solution, best possible -43 (907.77 seconds)
After 385000 nodes, 66814 on tree, -41 best solution, best possible -43 (909.02 seconds)
After 386000 nodes, 67253 on tree, -41 best solution, best possible -43 (912.22 seconds)
After 387000 nodes, 67451 on tree, -41 best solution, best possible -43 (914.88 seconds)
After 388000 nodes, 67752 on tree, -41 best solution, best possible -43 (917.81 seconds)
After 389000 nodes, 67563 on tree, -41 best solution, best possible -43 (919.09 seconds)
After 390000 nodes, 68116 on tree, -41 best solution, best possible -43 (922.33 seconds)
After 391000 nodes, 68342 on tree, -41 best solution, best possible -43 (925.00 seconds)
After 392000 nodes, 68597 on tree, -41 best solution, best possible -43 (927.67 seconds)
After 393000 nodes, 68403 on tree, -41 best solution, best possible -43 (929.11 seconds)
After 394000 nodes, 68705 on tree, -41 best solution, best possible -43 (932.41 seconds)
After 395000 nodes, 68902 on tree, -41 best solution, best possible -43 (935.04 seconds)
After 396000 nodes, 69043 on tree, -41 best solution, best possible -43 (937.72 seconds)
After 397000 nodes, 68897 on tree, -41 best solution, best possible -43 (939.10 seconds)
After 398000 nodes, 69308 on tree, -41 best solution, best possible -43 (942.43 seconds)
After 399000 nodes, 69497 on tree, -41 best solution, best possible -43 (944.88 seconds)
After 400000 nodes, 69734 on tree, -41 best solution, best possible -43 (947.72 seconds)
After 401000 nodes, 69508 on tree, -41 best solution, best possible -43 (949.00 seconds)
After 402000 nodes, 69992 on tree, -41 best solution, best possible -43 (952.34 seconds)
After 403000 nodes, 70247 on tree, -41 best solution, best possible -43 (954.96 seconds)
After 404000 nodes, 70515 on tree, -41 best solution, best possible -43 (957.77 seconds)
After 405000 nodes, 70408 on tree, -41 best solution, best possible -43 (959.09 seconds)
After 406000 nodes, 70922 on tree, -41 best solution, best possible -43 (962.33 seconds)
After 407000 nodes, 71177 on tree, -41 best solution, best possible -43 (965.02 seconds)
After 408000 nodes, 71398 on tree, -41 best solution, best possible -43 (967.82 seconds)
After 409000 nodes, 71221 on tree, -41 best solution, best possible -43 (969.09 seconds)
After 410000 nodes, 71483 on tree, -41 best solution, best possible -43 (972.20 seconds)
After 411000 nodes, 71730 on tree, -41 best solution, best possible -43 (974.98 seconds)
After 412000 nodes, 71910 on tree, -41 best solution, best possible -43 (977.53 seconds)
After 413000 nodes, 71749 on tree, -41 best solution, best possible -43 (978.79 seconds)
After 414000 nodes, 72370 on tree, -41 best solution, best possible -43 (982.07 seconds)
After 415000 nodes, 72584 on tree, -41 best solution, best possible -43 (984.61 seconds)
After 416000 nodes, 72805 on tree, -41 best solution, best possible -43 (987.45 seconds)
After 417000 nodes, 72657 on tree, -41 best solution, best possible -43 (988.69 seconds)
After 418000 nodes, 73138 on tree, -41 best solution, best possible -43 (991.93 seconds)
After 419000 nodes, 73329 on tree, -41 best solution, best possible -43 (994.60 seconds)
After 420000 nodes, 73562 on tree, -41 best solution, best possible -43 (997.42 seconds)
After 421000 nodes, 73385 on tree, -41 best solution, best possible -43 (998.85 seconds)
After 422000 nodes, 73836 on tree, -41 best solution, best possible -43 (1002.10 seconds)
After 423000 nodes, 74123 on tree, -41 best solution, best possible -43 (1005.01 seconds)
After 424000 nodes, 74312 on tree, -41 best solution, best possible -43 (1007.62 seconds)
After 425000 nodes, 74170 on tree, -41 best solution, best possible -43 (1008.90 seconds)
After 426000 nodes, 74628 on tree, -41 best solution, best possible -43 (1011.98 seconds)
After 427000 nodes, 74938 on tree, -41 best solution, best possible -43 (1014.73 seconds)
After 428000 nodes, 75123 on tree, -41 best solution, best possible -43 (1017.30 seconds)
After 429000 nodes, 74991 on tree, -41 best solution, best possible -43 (1018.76 seconds)
After 430000 nodes, 75608 on tree, -41 best solution, best possible -43 (1022.07 seconds)
After 431000 nodes, 75852 on tree, -41 best solution, best possible -43 (1024.94 seconds)
After 432000 nodes, 76086 on tree, -41 best solution, best possible -43 (1027.78 seconds)
After 433000 nodes, 75895 on tree, -41 best solution, best possible -43 (1029.22 seconds)
After 434000 nodes, 76170 on tree, -41 best solution, best possible -43 (1032.31 seconds)
After 435000 nodes, 76436 on tree, -41 best solution, best possible -43 (1035.10 seconds)
After 436000 nodes, 76655 on tree, -41 best solution, best possible -43 (1037.99 seconds)
After 437000 nodes, 76520 on tree, -41 best solution, best possible -43 (1039.52 seconds)
After 438000 nodes, 77096 on tree, -41 best solution, best possible -43 (1042.88 seconds)
After 439000 nodes, 77323 on tree, -41 best solution, best possible -43 (1045.75 seconds)
After 440000 nodes, 77578 on tree, -41 best solution, best possible -43 (1048.59 seconds)
After 441000 nodes, 77493 on tree, -41 best solution, best possible -43 (1050.04 seconds)
After 442000 nodes, 77900 on tree, -41 best solution, best possible -43 (1053.32 seconds)
After 443000 nodes, 78095 on tree, -41 best solution, best possible -43 (1056.10 seconds)
After 444000 nodes, 78325 on tree, -41 best solution, best possible -43 (1059.09 seconds)
After 445000 nodes, 78239 on tree, -41 best solution, best possible -43 (1060.61 seconds)
After 446000 nodes, 78677 on tree, -41 best solution, best possible -43 (1064.04 seconds)
After 447000 nodes, 78978 on tree, -41 best solution, best possible -43 (1066.79 seconds)
After 448000 nodes, 79166 on tree, -41 best solution, best possible -43 (1069.61 seconds)
After 449000 nodes, 78968 on tree, -41 best solution, best possible -43 (1071.09 seconds)
After 450000 nodes, 79619 on tree, -41 best solution, best possible -43 (1074.50 seconds)
After 451000 nodes, 79805 on tree, -41 best solution, best possible -43 (1077.17 seconds)
After 452000 nodes, 80025 on tree, -41 best solution, best possible -43 (1080.11 seconds)
After 453000 nodes, 79921 on tree, -41 best solution, best possible -43 (1081.36 seconds)
After 454000 nodes, 80223 on tree, -41 best solution, best possible -43 (1084.63 seconds)
After 455000 nodes, 80449 on tree, -41 best solution, best possible -43 (1087.44 seconds)
After 456000 nodes, 80673 on tree, -41 best solution, best possible -43 (1090.34 seconds)
After 457000 nodes, 80598 on tree, -41 best solution, best possible -43 (1091.85 seconds)
After 458000 nodes, 81128 on tree, -41 best solution, best possible -43 (1095.22 seconds)
After 459000 nodes, 81340 on tree, -41 best solution, best possible -43 (1098.01 seconds)
After 460000 nodes, 81693 on tree, -41 best solution, best possible -43 (1100.90 seconds)
After 461000 nodes, 81550 on tree, -41 best solution, best possible -43 (1102.32 seconds)
After 462000 nodes, 82013 on tree, -41 best solution, best possible -43 (1105.63 seconds)
After 463000 nodes, 82235 on tree, -41 best solution, best possible -43 (1108.17 seconds)
After 464000 nodes, 82386 on tree, -41 best solution, best possible -43 (1110.81 seconds)
After 465000 nodes, 82313 on tree, -41 best solution, best possible -43 (1112.21 seconds)
After 466000 nodes, 82809 on tree, -41 best solution, best possible -43 (1115.67 seconds)
After 467000 nodes, 83068 on tree, -41 best solution, best possible -43 (1118.43 seconds)
After 468000 nodes, 83260 on tree, -41 best solution, best possible -43 (1121.18 seconds)
After 469000 nodes, 83124 on tree, -41 best solution, best possible -43 (1122.65 seconds)
After 470000 nodes, 83559 on tree, -41 best solution, best possible -43 (1125.99 seconds)
After 471000 nodes, 83830 on tree, -41 best solution, best possible -43 (1128.65 seconds)
After 472000 nodes, 84003 on tree, -41 best solution, best possible -43 (1131.27 seconds)
After 473000 nodes, 83914 on tree, -41 best solution, best possible -43 (1132.78 seconds)
After 474000 nodes, 84526 on tree, -41 best solution, best possible -43 (1136.12 seconds)
After 475000 nodes, 84802 on tree, -41 best solution, best possible -43 (1138.92 seconds)
After 476000 nodes, 84997 on tree, -41 best solution, best possible -43 (1141.75 seconds)
After 477000 nodes, 84931 on tree, -41 best solution, best possible -43 (1143.36 seconds)
After 478000 nodes, 85274 on tree, -41 best solution, best possible -43 (1146.66 seconds)
After 479000 nodes, 85491 on tree, -41 best solution, best possible -43 (1149.42 seconds)
After 480000 nodes, 85704 on tree, -41 best solution, best possible -43 (1152.49 seconds)
After 481000 nodes, 85625 on tree, -41 best solution, best possible -43 (1153.90 seconds)
After 482000 nodes, 86099 on tree, -41 best solution, best possible -43 (1157.04 seconds)
After 483000 nodes, 86284 on tree, -41 best solution, best possible -43 (1159.74 seconds)
After 484000 nodes, 86608 on tree, -41 best solution, best possible -43 (1162.73 seconds)
After 485000 nodes, 86503 on tree, -41 best solution, best possible -43 (1164.18 seconds)
After 486000 nodes, 87075 on tree, -41 best solution, best possible -43 (1167.69 seconds)
After 487000 nodes, 87286 on tree, -41 best solution, best possible -43 (1170.50 seconds)
After 488000 nodes, 87511 on tree, -41 best solution, best possible -43 (1173.21 seconds)
After 489000 nodes, 87417 on tree, -41 best solution, best possible -43 (1174.65 seconds)
After 490000 nodes, 87651 on tree, -41 best solution, best possible -43 (1177.81 seconds)
After 491000 nodes, 87842 on tree, -41 best solution, best possible -43 (1180.59 seconds)
After 492000 nodes, 88063 on tree, -41 best solution, best possible -43 (1183.60 seconds)
After 493000 nodes, 87959 on tree, -41 best solution, best possible -43 (1185.00 seconds)
After 494000 nodes, 88485 on tree, -41 best solution, best possible -43 (1188.36 seconds)
After 495000 nodes, 88722 on tree, -41 best solution, best possible -43 (1191.33 seconds)
After 496000 nodes, 88923 on tree, -41 best solution, best possible -43 (1194.32 seconds)
After 497000 nodes, 88820 on tree, -41 best solution, best possible -43 (1195.63 seconds)
After 498000 nodes, 89236 on tree, -41 best solution, best possible -43 (1198.95 seconds)
After 499000 nodes, 89448 on tree, -41 best solution, best possible -43 (1201.68 seconds)
After 500000 nodes, 89644 on tree, -41 best solution, best possible -43 (1204.87 seconds)
After 501000 nodes, 89584 on tree, -41 best solution, best possible -43 (1206.31 seconds)
After 502000 nodes, 90084 on tree, -41 best solution, best possible -43 (1209.86 seconds)
After 503000 nodes, 90300 on tree, -41 best solution, best possible -43 (1212.52 seconds)
After 504000 nodes, 90489 on tree, -41 best solution, best possible -43 (1215.34 seconds)
After 505000 nodes, 90326 on tree, -41 best solution, best possible -43 (1216.68 seconds)
After 506000 nodes, 90626 on tree, -41 best solution, best possible -43 (1219.84 seconds)
After 507000 nodes, 90865 on tree, -41 best solution, best possible -43 (1222.52 seconds)
After 508000 nodes, 91058 on tree, -41 best solution, best possible -43 (1225.45 seconds)
After 509000 nodes, 90927 on tree, -41 best solution, best possible -43 (1226.82 seconds)
After 510000 nodes, 91504 on tree, -41 best solution, best possible -43 (1230.20 seconds)
After 511000 nodes, 91720 on tree, -41 best solution, best possible -43 (1232.89 seconds)
After 512000 nodes, 91881 on tree, -41 best solution, best possible -43 (1235.82 seconds)
After 513000 nodes, 91757 on tree, -41 best solution, best possible -43 (1237.23 seconds)
After 514000 nodes, 92184 on tree, -41 best solution, best possible -43 (1240.58 seconds)
After 515000 nodes, 92419 on tree, -41 best solution, best possible -43 (1243.13 seconds)
After 516000 nodes, 92621 on tree, -41 best solution, best possible -43 (1245.93 seconds)
After 517000 nodes, 92481 on tree, -41 best solution, best possible -43 (1247.32 seconds)
After 518000 nodes, 92795 on tree, -41 best solution, best possible -43 (1250.67 seconds)
After 519000 nodes, 93000 on tree, -41 best solution, best possible -43 (1253.23 seconds)
After 520000 nodes, 93268 on tree, -41 best solution, best possible -43 (1256.11 seconds)
After 521000 nodes, 93128 on tree, -41 best solution, best possible -43 (1257.47 seconds)
After 522000 nodes, 93665 on tree, -41 best solution, best possible -43 (1260.89 seconds)
After 523000 nodes, 93885 on tree, -41 best solution, best possible -43 (1263.53 seconds)
After 524000 nodes, 94109 on tree, -41 best solution, best possible -43 (1266.68 seconds)
After 525000 nodes, 93963 on tree, -41 best solution, best possible -43 (1268.12 seconds)
After 526000 nodes, 94452 on tree, -41 best solution, best possible -43 (1271.31 seconds)
After 527000 nodes, 94710 on tree, -41 best solution, best possible -43 (1274.06 seconds)
After 528000 nodes, 94955 on tree, -41 best solution, best possible -43 (1277.04 seconds)
After 529000 nodes, 94838 on tree, -41 best solution, best possible -43 (1278.48 seconds)
After 530000 nodes, 95157 on tree, -41 best solution, best possible -43 (1281.82 seconds)
After 531000 nodes, 95335 on tree, -41 best solution, best possible -43 (1284.33 seconds)
After 532000 nodes, 95574 on tree, -41 best solution, best possible -43 (1287.41 seconds)
After 533000 nodes, 95470 on tree, -41 best solution, best possible -43 (1288.88 seconds)
After 534000 nodes, 95906 on tree, -41 best solution, best possible -43 (1292.33 seconds)
After 535000 nodes, 96170 on tree, -41 best solution, best possible -43 (1295.07 seconds)
After 536000 nodes, 96378 on tree, -41 best solution, best possible -43 (1297.96 seconds)
After 537000 nodes, 96283 on tree, -41 best solution, best possible -43 (1299.50 seconds)
After 538000 nodes, 96853 on tree, -41 best solution, best possible -43 (1302.65 seconds)
After 539000 nodes, 97066 on tree, -41 best solution, best possible -43 (1305.23 seconds)
After 540000 nodes, 97242 on tree, -41 best solution, best possible -43 (1308.19 seconds)
After 541000 nodes, 97068 on tree, -41 best solution, best possible -43 (1309.63 seconds)
After 542000 nodes, 97299 on tree, -41 best solution, best possible -43 (1312.67 seconds)
After 543000 nodes, 97479 on tree, -41 best solution, best possible -43 (1315.07 seconds)
After 544000 nodes, 97687 on tree, -41 best solution, best possible -43 (1317.63 seconds)
After 545000 nodes, 97324 on tree, -41 best solution, best possible -43 (1319.06 seconds)
After 546000 nodes, 97910 on tree, -41 best solution, best possible -43 (1322.33 seconds)
After 547000 nodes, 98147 on tree, -41 best solution, best possible -43 (1325.05 seconds)
After 548000 nodes, 98382 on tree, -41 best solution, best possible -43 (1327.71 seconds)
After 549000 nodes, 98202 on tree, -41 best solution, best possible -43 (1329.14 seconds)
After 550000 nodes, 98765 on tree, -41 best solution, best possible -43 (1332.54 seconds)
After 551000 nodes, 99020 on tree, -41 best solution, best possible -43 (1335.32 seconds)
After 552000 nodes, 99301 on tree, -41 best solution, best possible -43 (1337.96 seconds)
After 553000 nodes, 99180 on tree, -41 best solution, best possible -43 (1339.27 seconds)
After 554000 nodes, 99494 on tree, -41 best solution, best possible -43 (1342.66 seconds)
After 555000 nodes, 99719 on tree, -41 best solution, best possible -43 (1345.40 seconds)
After 556000 nodes, 99942 on tree, -41 best solution, best possible -43 (1348.04 seconds)
After 557000 nodes, 99849 on tree, -41 best solution, best possible -43 (1349.45 seconds)
After 558000 nodes, 100369 on tree, -41 best solution, best possible -43 (1352.64 seconds)
After 559000 nodes, 100587 on tree, -41 best solution, best possible -43 (1355.18 seconds)
After 560000 nodes, 100849 on tree, -41 best solution, best possible -43 (1357.95 seconds)
After 561000 nodes, 100738 on tree, -41 best solution, best possible -43 (1359.42 seconds)
After 562000 nodes, 101277 on tree, -41 best solution, best possible -43 (1362.93 seconds)
After 563000 nodes, 101505 on tree, -41 best solution, best possible -43 (1365.49 seconds)
After 564000 nodes, 101730 on tree, -41 best solution, best possible -43 (1368.45 seconds)
After 565000 nodes, 101631 on tree, -41 best solution, best possible -43 (1369.89 seconds)
After 566000 nodes, 102057 on tree, -41 best solution, best possible -43 (1373.07 seconds)
After 567000 nodes, 102381 on tree, -41 best solution, best possible -43 (1376.04 seconds)
After 568000 nodes, 102621 on tree, -41 best solution, best possible -43 (1378.97 seconds)
After 569000 nodes, 102400 on tree, -41 best solution, best possible -43 (1380.43 seconds)
After 570000 nodes, 102884 on tree, -41 best solution, best possible -43 (1383.70 seconds)
After 571000 nodes, 103213 on tree, -41 best solution, best possible -43 (1386.56 seconds)
After 572000 nodes, 103426 on tree, -41 best solution, best possible -43 (1389.29 seconds)
After 573000 nodes, 103328 on tree, -41 best solution, best possible -43 (1391.03 seconds)
After 574000 nodes, 103973 on tree, -41 best solution, best possible -43 (1394.36 seconds)
After 575000 nodes, 104227 on tree, -41 best solution, best possible -43 (1397.16 seconds)
After 576000 nodes, 104536 on tree, -41 best solution, best possible -43 (1399.95 seconds)
After 577000 nodes, 104299 on tree, -41 best solution, best possible -43 (1401.54 seconds)
After 578000 nodes, 104557 on tree, -41 best solution, best possible -43 (1404.84 seconds)
After 579000 nodes, 104801 on tree, -41 best solution, best possible -43 (1407.80 seconds)
After 580000 nodes, 105100 on tree, -41 best solution, best possible -43 (1410.86 seconds)
After 581000 nodes, 104978 on tree, -41 best solution, best possible -43 (1412.56 seconds)
After 582000 nodes, 105530 on tree, -41 best solution, best possible -43 (1415.92 seconds)
After 583000 nodes, 105808 on tree, -41 best solution, best possible -43 (1418.70 seconds)
After 584000 nodes, 106064 on tree, -41 best solution, best possible -43 (1421.54 seconds)
After 585000 nodes, 105948 on tree, -41 best solution, best possible -43 (1423.19 seconds)
After 586000 nodes, 106650 on tree, -41 best solution, best possible -43 (1426.38 seconds)
After 587000 nodes, 106965 on tree, -41 best solution, best possible -43 (1429.19 seconds)
After 588000 nodes, 107193 on tree, -41 best solution, best possible -43 (1432.14 seconds)
After 589000 nodes, 107095 on tree, -41 best solution, best possible -43 (1433.72 seconds)
After 590000 nodes, 107356 on tree, -41 best solution, best possible -43 (1437.15 seconds)
After 591000 nodes, 107600 on tree, -41 best solution, best possible -43 (1439.79 seconds)
After 592000 nodes, 107834 on tree, -41 best solution, best possible -43 (1442.81 seconds)
After 593000 nodes, 107742 on tree, -41 best solution, best possible -43 (1444.23 seconds)
After 594000 nodes, 108361 on tree, -41 best solution, best possible -43 (1447.61 seconds)
After 595000 nodes, 108616 on tree, -41 best solution, best possible -43 (1450.43 seconds)
After 596000 nodes, 108727 on tree, -41 best solution, best possible -43 (1453.07 seconds)
After 597000 nodes, 108654 on tree, -41 best solution, best possible -43 (1454.45 seconds)
After 598000 nodes, 109071 on tree, -41 best solution, best possible -43 (1457.78 seconds)
After 599000 nodes, 109326 on tree, -41 best solution, best possible -43 (1460.40 seconds)
After 600000 nodes, 109491 on tree, -41 best solution, best possible -43 (1463.26 seconds)
After 601000 nodes, 109308 on tree, -41 best solution, best possible -43 (1464.73 seconds)
After 602000 nodes, 109775 on tree, -41 best solution, best possible -43 (1468.15 seconds)
After 603000 nodes, 110049 on tree, -41 best solution, best possible -43 (1470.92 seconds)
After 604000 nodes, 110350 on tree, -41 best solution, best possible -43 (1473.88 seconds)
After 605000 nodes, 110138 on tree, -41 best solution, best possible -43 (1475.27 seconds)
After 606000 nodes, 110738 on tree, -41 best solution, best possible -43 (1478.43 seconds)
After 607000 nodes, 110972 on tree, -41 best solution, best possible -43 (1481.11 seconds)
After 608000 nodes, 111171 on tree, -41 best solution, best possible -43 (1483.94 seconds)
After 609000 nodes, 110961 on tree, -41 best solution, best possible -43 (1485.33 seconds)
After 610000 nodes, 111175 on tree, -41 best solution, best possible -43 (1488.57 seconds)
After 611000 nodes, 111375 on tree, -41 best solution, best possible -43 (1491.52 seconds)
After 612000 nodes, 111557 on tree, -41 best solution, best possible -43 (1493.98 seconds)
After 613000 nodes, 111400 on tree, -41 best solution, best possible -43 (1495.37 seconds)
After 614000 nodes, 111967 on tree, -41 best solution, best possible -43 (1498.71 seconds)
After 615000 nodes, 112203 on tree, -41 best solution, best possible -43 (1501.39 seconds)
After 616000 nodes, 112384 on tree, -41 best solution, best possible -43 (1504.05 seconds)
After 617000 nodes, 112289 on tree, -41 best solution, best possible -43 (1505.35 seconds)
After 618000 nodes, 112806 on tree, -41 best solution, best possible -43 (1508.75 seconds)
After 619000 nodes, 113036 on tree, -41 best solution, best possible -43 (1511.66 seconds)
After 620000 nodes, 113211 on tree, -41 best solution, best possible -43 (1514.20 seconds)
After 621000 nodes, 113118 on tree, -41 best solution, best possible -43 (1515.49 seconds)
After 622000 nodes, 113417 on tree, -41 best solution, best possible -43 (1518.79 seconds)
After 623000 nodes, 113667 on tree, -41 best solution, best possible -43 (1521.70 seconds)
After 624000 nodes, 113674 on tree, -41 best solution, best possible -43 (1523.80 seconds)
After 625000 nodes, 113579 on tree, -41 best solution, best possible -43 (1525.24 seconds)
After 626000 nodes, 114102 on tree, -41 best solution, best possible -43 (1528.52 seconds)
After 627000 nodes, 114385 on tree, -41 best solution, best possible -43 (1531.36 seconds)
After 628000 nodes, 114392 on tree, -41 best solution, best possible -43 (1533.44 seconds)
After 629000 nodes, 114224 on tree, -41 best solution, best possible -43 (1534.72 seconds)
After 630000 nodes, 114724 on tree, -41 best solution, best possible -43 (1538.05 seconds)
After 631000 nodes, 114993 on tree, -41 best solution, best possible -43 (1540.68 seconds)
After 632000 nodes, 115108 on tree, -41 best solution, best possible -43 (1543.14 seconds)
After 633000 nodes, 114967 on tree, -41 best solution, best possible -43 (1544.49 seconds)
After 634000 nodes, 115372 on tree, -41 best solution, best possible -43 (1548.37 seconds)
After 635000 nodes, 115687 on tree, -41 best solution, best possible -43 (1551.22 seconds)
After 636000 nodes, 115882 on tree, -41 best solution, best possible -43 (1553.92 seconds)
After 637000 nodes, 115682 on tree, -41 best solution, best possible -43 (1555.23 seconds)
After 638000 nodes, 116202 on tree, -41 best solution, best possible -43 (1558.65 seconds)
After 639000 nodes, 116445 on tree, -41 best solution, best possible -43 (1561.07 seconds)
After 640000 nodes, 116630 on tree, -41 best solution, best possible -43 (1563.70 seconds)
After 641000 nodes, 116477 on tree, -41 best solution, best possible -43 (1565.00 seconds)
After 642000 nodes, 117129 on tree, -41 best solution, best possible -43 (1568.31 seconds)
After 643000 nodes, 117422 on tree, -41 best solution, best possible -43 (1571.23 seconds)
After 644000 nodes, 117636 on tree, -41 best solution, best possible -43 (1574.17 seconds)
After 645000 nodes, 117538 on tree, -41 best solution, best possible -43 (1575.49 seconds)
After 646000 nodes, 117797 on tree, -41 best solution, best possible -43 (1578.82 seconds)
After 647000 nodes, 118066 on tree, -41 best solution, best possible -43 (1581.62 seconds)
After 648000 nodes, 118344 on tree, -41 best solution, best possible -43 (1584.42 seconds)
After 649000 nodes, 118251 on tree, -41 best solution, best possible -43 (1585.76 seconds)
After 650000 nodes, 118878 on tree, -41 best solution, best possible -43 (1589.31 seconds)
After 651000 nodes, 119130 on tree, -41 best solution, best possible -43 (1592.13 seconds)
After 652000 nodes, 119374 on tree, -41 best solution, best possible -43 (1594.91 seconds)
After 653000 nodes, 119294 on tree, -41 best solution, best possible -43 (1596.31 seconds)
After 654000 nodes, 119864 on tree, -41 best solution, best possible -43 (1599.80 seconds)
After 655000 nodes, 120129 on tree, -41 best solution, best possible -43 (1602.49 seconds)
After 656000 nodes, 120317 on tree, -41 best solution, best possible -43 (1605.17 seconds)
After 657000 nodes, 120228 on tree, -41 best solution, best possible -43 (1606.44 seconds)
After 658000 nodes, 120730 on tree, -41 best solution, best possible -43 (1609.75 seconds)
After 659000 nodes, 120928 on tree, -41 best solution, best possible -43 (1612.38 seconds)
After 660000 nodes, 121135 on tree, -41 best solution, best possible -43 (1615.07 seconds)
After 661000 nodes, 121069 on tree, -41 best solution, best possible -43 (1616.46 seconds)
After 662000 nodes, 121370 on tree, -41 best solution, best possible -43 (1619.96 seconds)
After 663000 nodes, 121586 on tree, -41 best solution, best possible -43 (1622.45 seconds)
After 664000 nodes, 121811 on tree, -41 best solution, best possible -43 (1625.35 seconds)
After 665000 nodes, 121736 on tree, -41 best solution, best possible -43 (1626.71 seconds)
After 666000 nodes, 122270 on tree, -41 best solution, best possible -43 (1629.91 seconds)
After 667000 nodes, 122484 on tree, -41 best solution, best possible -43 (1632.58 seconds)
After 668000 nodes, 122653 on tree, -41 best solution, best possible -43 (1635.34 seconds)
After 669000 nodes, 122595 on tree, -41 best solution, best possible -43 (1636.71 seconds)
After 670000 nodes, 123036 on tree, -41 best solution, best possible -43 (1640.25 seconds)
After 671000 nodes, 123251 on tree, -41 best solution, best possible -43 (1642.90 seconds)
After 672000 nodes, 123502 on tree, -41 best solution, best possible -43 (1645.82 seconds)
After 673000 nodes, 123355 on tree, -41 best solution, best possible -43 (1647.24 seconds)
After 674000 nodes, 123869 on tree, -41 best solution, best possible -43 (1650.65 seconds)
After 675000 nodes, 124062 on tree, -41 best solution, best possible -43 (1653.50 seconds)
After 676000 nodes, 124351 on tree, -41 best solution, best possible -43 (1656.43 seconds)
After 677000 nodes, 124145 on tree, -41 best solution, best possible -43 (1657.78 seconds)
After 678000 nodes, 124450 on tree, -41 best solution, best possible -43 (1661.15 seconds)
After 679000 nodes, 124699 on tree, -41 best solution, best possible -43 (1663.74 seconds)
After 680000 nodes, 124922 on tree, -41 best solution, best possible -43 (1666.49 seconds)
After 681000 nodes, 124725 on tree, -41 best solution, best possible -43 (1667.74 seconds)
After 682000 nodes, 125225 on tree, -41 best solution, best possible -43 (1671.45 seconds)
After 683000 nodes, 125423 on tree, -41 best solution, best possible -43 (1674.10 seconds)
After 684000 nodes, 125659 on tree, -41 best solution, best possible -43 (1676.84 seconds)
After 685000 nodes, 125451 on tree, -41 best solution, best possible -43 (1678.17 seconds)
After 686000 nodes, 125928 on tree, -41 best solution, best possible -43 (1681.58 seconds)
After 687000 nodes, 126255 on tree, -41 best solution, best possible -43 (1684.53 seconds)
After 688000 nodes, 126435 on tree, -41 best solution, best possible -43 (1687.37 seconds)
After 689000 nodes, 126191 on tree, -41 best solution, best possible -43 (1688.77 seconds)
After 690000 nodes, 126770 on tree, -41 best solution, best possible -43 (1692.31 seconds)
After 691000 nodes, 127022 on tree, -41 best solution, best possible -43 (1695.04 seconds)
After 692000 nodes, 127247 on tree, -41 best solution, best possible -43 (1698.02 seconds)
After 693000 nodes, 127101 on tree, -41 best solution, best possible -43 (1699.43 seconds)
After 694000 nodes, 127427 on tree, -41 best solution, best possible -43 (1703.04 seconds)
After 695000 nodes, 127667 on tree, -41 best solution, best possible -43 (1705.88 seconds)
After 696000 nodes, 127888 on tree, -41 best solution, best possible -43 (1708.89 seconds)
After 697000 nodes, 127806 on tree, -41 best solution, best possible -43 (1710.47 seconds)
After 698000 nodes, 128387 on tree, -41 best solution, best possible -43 (1713.84 seconds)
After 699000 nodes, 128635 on tree, -41 best solution, best possible -43 (1716.52 seconds)
After 700000 nodes, 128828 on tree, -41 best solution, best possible -43 (1719.08 seconds)
After 701000 nodes, 128673 on tree, -41 best solution, best possible -43 (1720.65 seconds)
After 702000 nodes, 129118 on tree, -41 best solution, best possible -43 (1724.13 seconds)
After 703000 nodes, 129292 on tree, -41 best solution, best possible -43 (1726.66 seconds)
After 704000 nodes, 129520 on tree, -41 best solution, best possible -43 (1729.39 seconds)
After 705000 nodes, 129296 on tree, -41 best solution, best possible -43 (1730.82 seconds)
After 706000 nodes, 129857 on tree, -41 best solution, best possible -43 (1734.40 seconds)
After 707000 nodes, 130089 on tree, -41 best solution, best possible -43 (1737.06 seconds)
After 708000 nodes, 130304 on tree, -41 best solution, best possible -43 (1739.81 seconds)
After 709000 nodes, 129931 on tree, -41 best solution, best possible -43 (1741.27 seconds)
After 710000 nodes, 130292 on tree, -41 best solution, best possible -43 (1744.75 seconds)
After 711000 nodes, 130522 on tree, -41 best solution, best possible -43 (1747.27 seconds)
After 712000 nodes, 130727 on tree, -41 best solution, best possible -43 (1750.02 seconds)
After 713000 nodes, 130489 on tree, -41 best solution, best possible -43 (1751.45 seconds)
After 714000 nodes, 130871 on tree, -41 best solution, best possible -43 (1754.84 seconds)
After 715000 nodes, 131067 on tree, -41 best solution, best possible -43 (1757.53 seconds)
After 716000 nodes, 131261 on tree, -41 best solution, best possible -43 (1760.14 seconds)
After 717000 nodes, 131150 on tree, -41 best solution, best possible -43 (1761.46 seconds)
After 718000 nodes, 131741 on tree, -41 best solution, best possible -43 (1764.97 seconds)
After 719000 nodes, 131967 on tree, -41 best solution, best possible -43 (1767.74 seconds)
After 720000 nodes, 132179 on tree, -41 best solution, best possible -43 (1770.27 seconds)
After 721000 nodes, 132091 on tree, -41 best solution, best possible -43 (1771.68 seconds)
After 722000 nodes, 132585 on tree, -41 best solution, best possible -43 (1775.05 seconds)
After 723000 nodes, 132821 on tree, -41 best solution, best possible -43 (1777.76 seconds)
After 724000 nodes, 133044 on tree, -41 best solution, best possible -43 (1780.79 seconds)
After 725000 nodes, 132866 on tree, -41 best solution, best possible -43 (1782.19 seconds)
After 726000 nodes, 133335 on tree, -41 best solution, best possible -43 (1785.66 seconds)
After 727000 nodes, 133565 on tree, -41 best solution, best possible -43 (1788.46 seconds)
After 728000 nodes, 133760 on tree, -41 best solution, best possible -43 (1791.23 seconds)
After 729000 nodes, 133443 on tree, -41 best solution, best possible -43 (1792.62 seconds)
After 730000 nodes, 133838 on tree, -41 best solution, best possible -43 (1795.93 seconds)
After 731000 nodes, 133987 on tree, -41 best solution, best possible -43 (1798.64 seconds)
Exiting on maximum time
Partial search - best objective -41 (best possible -43), took 18961668 iterations and 731438 nodes (1804.99 seconds)
Strong branching done 12798 times (154828 iterations), fathomed 59 nodes and fixed 1790 variables
Maximum depth 49, 363799 variables fixed on reduced cost
Cuts at root node changed objective from -43 to -43
Probing was tried 1035153 times and created 7019844 cuts of which 1750458 were active after adding rounds of cuts (432.451 seconds)
Gomory was tried 244403 times and created 3271775 cuts of which 335174 were active after adding rounds of cuts (61.084 seconds)
Knapsack was tried 260191 times and created 149098 cuts of which 1603 were active after adding rounds of cuts (35.074 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 260191 times and created 735901 cuts of which 4626 were active after adding rounds of cuts (66.668 seconds)
FlowCover was tried 100 times and created 36 cuts of which 0 were active after adding rounds of cuts (0.024 seconds)
TwoMirCuts was tried 100 times and created 272 cuts of which 0 were active after adding rounds of cuts (0.024 seconds)
implication was tried 1026268 times and created 0 cuts of which 0 were active after adding rounds of cuts
25 bounds tightened after postprocessing
Result - Stopped on time objective -41 after 731438 nodes and 18961668 iterations - took 1805.70 seconds (total time 1805.70)
Total time 1805.71

Time limit reached. Have feasible solution.
MIP solution:                   -41   (731438 nodes, 1805.71 seconds)
Best possible:                  -43
Absolute gap:                     2   (absolute tolerance optca: 0)
Relative gap:              0.046512   (relative tolerance optcr: 0)
--- Restarting execution
--- noswot.gms(124) 0 Mb
--- Reading solution for model m
*** Status: Normal completion
--- Job noswot.gms Stop 08/24/08 05:19:36 elapsed 0:30:36.266