--- Job noswot Start 07/18/08 14:47:29
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.005
--- 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.010

GAMS/Cbc 2.1 LP/MIP Solver
written by J. Forrest
Reading parameter(s) from "/home/stefan/work/gams/benchmarks/LINLib.MIP/cbc.op2"
>>  threads 2
Finished reading from "/home/stefan/work/gams/benchmarks/LINLib.MIP/cbc.op2"
Problem statistics: 128 columns and 182 rows.
                    100 variables have integrality restrictions.

Calling CBC main solution routine...
Coin Cbc and Clp Solver version 2.10.00, build Jul 15 2008
command line - GAMS/CBC -threads 2 -solve -quit
threads was changed from 0 to 2
Continuous objective value is -43 - 0.00 seconds
0 fixed, 50 tightened bounds, 41 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.    1.53704 obj. -37.139 iterations 38
Pass   2: suminf.    0.91869 obj. -35 iterations 17
Solution found of -35
Full problem 173 rows 120 columns, reduced to 21 rows 14 columns
Cleaned solution of -39
Before mini branch and bound, 64 integers at bound fixed and 19 continuous
Full problem 172 rows 120 columns, reduced to 49 rows 29 columns
Mini branch and bound improved solution from -39 to -40 (0.07 seconds)
Round again with cutoff of -40.3
Pass   3: suminf.    2.28875 obj. -40.3 iterations 55
Pass   4: suminf.    0.35976 obj. -40.3 iterations 22
Pass   5: suminf.    0.37961 obj. -40.3 iterations 3
Pass   6: suminf.    2.77689 obj. -40.3 iterations 54
Pass   7: suminf.    0.77270 obj. -40.3 iterations 15
Pass   8: suminf.    0.97764 obj. -40.3 iterations 10
Pass   9: suminf.    1.64864 obj. -40.3 iterations 9
Pass  10: suminf.    1.55979 obj. -40.3 iterations 20
Pass  11: suminf.    1.55582 obj. -40.3 iterations 3
Pass  12: suminf.    2.48390 obj. -40.3 iterations 41
Pass  13: suminf.    2.48390 obj. -40.3 iterations 4
Pass  14: suminf.    1.36069 obj. -40.3 iterations 30
Solution found of -40.3
Mini branch and bound could not fix general integers
No solution found this major pass
Before mini branch and bound, 40 integers at bound fixed and 12 continuous
Full problem 172 rows 120 columns, reduced to 86 rows 53 columns
Mini branch and bound did not improve solution (0.18 seconds)
After 0.18 seconds - Feasibility pump exiting with objective of -40 - took 0.18 seconds
Integer solution of -40 found by feasibility pump after 0 iterations and 0 nodes (0.18 seconds)
Full problem 172 rows 120 columns, reduced to 38 rows 22 columns
Integer solution of -41 found by combine solutions after 0 iterations and 0 nodes (0.20 seconds)
20 added rows had average density of 8.55
At root node, 20 cuts changed objective from -43 to -43 in 69 passes
Cut generator 0 (Probing) - 15 row cuts (0 active), 0 column cuts  in 0.592 seconds - new frequency is 2
Cut generator 1 (Gomory) - 195 row cuts (5 active), 0 column cuts  in 0.012 seconds - new frequency is 1
Cut generator 2 (Knapsack) - 54 row cuts (1 active), 0 column cuts  in 0.032 seconds - new frequency is -100
Cut generator 3 (Clique) - 0 row cuts (0 active), 0 column cuts  in -0.000 seconds - new frequency is -100
Cut generator 4 (MixedIntegerRounding2) - 143 row cuts (7 active), 0 column cuts  in 0.032 seconds - new frequency is -100
Cut generator 5 (FlowCover) - 35 row cuts (1 active), 0 column cuts  in 0.036 seconds - new frequency is -100
Cut generator 6 (TwoMirCuts) - 363 row cuts (3 active), 0 column cuts  in 0.024 seconds - new frequency is -100
After 0 nodes, 1 on tree, -41 best solution, best possible -43 (1.04 seconds)
After 1000 nodes, 354 on tree, -41 best solution, best possible -43 (5.48 seconds)
After 2000 nodes, 553 on tree, -41 best solution, best possible -43 (7.40 seconds)
After 3000 nodes, 647 on tree, -41 best solution, best possible -43 (8.68 seconds)
After 4000 nodes, 826 on tree, -41 best solution, best possible -43 (10.16 seconds)
After 5000 nodes, 1006 on tree, -41 best solution, best possible -43 (11.75 seconds)
After 6000 nodes, 1245 on tree, -41 best solution, best possible -43 (13.32 seconds)
After 7000 nodes, 1525 on tree, -41 best solution, best possible -43 (15.02 seconds)
After 8000 nodes, 1528 on tree, -41 best solution, best possible -43 (16.22 seconds)
After 9000 nodes, 1664 on tree, -41 best solution, best possible -43 (17.79 seconds)
After 10000 nodes, 1848 on tree, -41 best solution, best possible -43 (19.15 seconds)
After 11000 nodes, 2013 on tree, -41 best solution, best possible -43 (20.49 seconds)
After 12000 nodes, 2950 on tree, -41 best solution, best possible -43 (22.02 seconds)
After 13000 nodes, 3597 on tree, -41 best solution, best possible -43 (23.57 seconds)
After 14000 nodes, 3922 on tree, -41 best solution, best possible -43 (25.14 seconds)
After 15000 nodes, 4201 on tree, -41 best solution, best possible -43 (26.72 seconds)
After 16000 nodes, 4697 on tree, -41 best solution, best possible -43 (28.32 seconds)
After 17000 nodes, 5195 on tree, -41 best solution, best possible -43 (29.95 seconds)
After 18000 nodes, 5686 on tree, -41 best solution, best possible -43 (31.57 seconds)
After 19000 nodes, 6165 on tree, -41 best solution, best possible -43 (33.16 seconds)
After 20000 nodes, 6608 on tree, -41 best solution, best possible -43 (35.06 seconds)
After 21000 nodes, 6963 on tree, -41 best solution, best possible -43 (37.32 seconds)
After 22000 nodes, 7342 on tree, -41 best solution, best possible -43 (39.53 seconds)
After 23000 nodes, 7703 on tree, -41 best solution, best possible -43 (41.75 seconds)
After 24000 nodes, 8212 on tree, -41 best solution, best possible -43 (43.97 seconds)
After 25000 nodes, 8637 on tree, -41 best solution, best possible -43 (46.04 seconds)
After 26000 nodes, 9001 on tree, -41 best solution, best possible -43 (48.08 seconds)
After 27000 nodes, 9443 on tree, -41 best solution, best possible -43 (50.07 seconds)
After 28000 nodes, 9773 on tree, -41 best solution, best possible -43 (52.11 seconds)
After 29000 nodes, 10243 on tree, -41 best solution, best possible -43 (54.26 seconds)
After 30000 nodes, 10698 on tree, -41 best solution, best possible -43 (56.38 seconds)
After 31000 nodes, 11120 on tree, -41 best solution, best possible -43 (58.42 seconds)
After 32000 nodes, 11460 on tree, -41 best solution, best possible -43 (60.45 seconds)
After 33000 nodes, 11516 on tree, -41 best solution, best possible -43 (61.94 seconds)
After 34000 nodes, 11900 on tree, -41 best solution, best possible -43 (64.04 seconds)
After 35000 nodes, 12261 on tree, -41 best solution, best possible -43 (65.99 seconds)
After 36000 nodes, 12598 on tree, -41 best solution, best possible -43 (68.04 seconds)
After 37000 nodes, 12673 on tree, -41 best solution, best possible -43 (69.56 seconds)
After 38000 nodes, 13110 on tree, -41 best solution, best possible -43 (71.72 seconds)
After 39000 nodes, 13575 on tree, -41 best solution, best possible -43 (73.72 seconds)
After 40000 nodes, 13979 on tree, -41 best solution, best possible -43 (75.85 seconds)
After 41000 nodes, 14003 on tree, -41 best solution, best possible -43 (77.34 seconds)
After 42000 nodes, 14368 on tree, -41 best solution, best possible -43 (79.38 seconds)
After 43000 nodes, 14875 on tree, -41 best solution, best possible -43 (81.41 seconds)
After 44000 nodes, 15231 on tree, -41 best solution, best possible -43 (83.56 seconds)
After 45000 nodes, 15318 on tree, -41 best solution, best possible -43 (85.12 seconds)
After 46000 nodes, 15735 on tree, -41 best solution, best possible -43 (87.18 seconds)
After 47000 nodes, 16010 on tree, -41 best solution, best possible -43 (89.22 seconds)
After 48000 nodes, 16427 on tree, -41 best solution, best possible -43 (91.38 seconds)
After 49000 nodes, 16536 on tree, -41 best solution, best possible -43 (92.99 seconds)
After 50000 nodes, 17022 on tree, -41 best solution, best possible -43 (95.07 seconds)
After 51000 nodes, 17449 on tree, -41 best solution, best possible -43 (97.06 seconds)
After 52000 nodes, 17828 on tree, -41 best solution, best possible -43 (99.12 seconds)
After 53000 nodes, 17916 on tree, -41 best solution, best possible -43 (100.68 seconds)
After 54000 nodes, 18382 on tree, -41 best solution, best possible -43 (102.73 seconds)
After 55000 nodes, 18707 on tree, -41 best solution, best possible -43 (104.86 seconds)
After 56000 nodes, 19056 on tree, -41 best solution, best possible -43 (106.89 seconds)
After 57000 nodes, 19109 on tree, -41 best solution, best possible -43 (108.37 seconds)
After 58000 nodes, 19420 on tree, -41 best solution, best possible -43 (110.50 seconds)
After 59000 nodes, 19942 on tree, -41 best solution, best possible -43 (112.53 seconds)
After 60000 nodes, 20188 on tree, -41 best solution, best possible -43 (114.64 seconds)
After 61000 nodes, 20241 on tree, -41 best solution, best possible -43 (116.12 seconds)
After 62000 nodes, 20560 on tree, -41 best solution, best possible -43 (118.15 seconds)
After 63000 nodes, 21020 on tree, -41 best solution, best possible -43 (120.19 seconds)
After 64000 nodes, 21505 on tree, -41 best solution, best possible -43 (122.30 seconds)
After 65000 nodes, 21614 on tree, -41 best solution, best possible -43 (123.84 seconds)
After 66000 nodes, 22014 on tree, -41 best solution, best possible -43 (125.81 seconds)
After 67000 nodes, 22409 on tree, -41 best solution, best possible -43 (127.86 seconds)
After 68000 nodes, 22907 on tree, -41 best solution, best possible -43 (129.91 seconds)
After 69000 nodes, 22942 on tree, -41 best solution, best possible -43 (131.39 seconds)
After 70000 nodes, 23262 on tree, -41 best solution, best possible -43 (133.38 seconds)
After 71000 nodes, 23564 on tree, -41 best solution, best possible -43 (135.40 seconds)
After 72000 nodes, 23957 on tree, -41 best solution, best possible -43 (137.46 seconds)
After 73000 nodes, 24033 on tree, -41 best solution, best possible -43 (138.79 seconds)
After 74000 nodes, 24501 on tree, -41 best solution, best possible -43 (140.42 seconds)
After 75000 nodes, 24777 on tree, -41 best solution, best possible -43 (142.02 seconds)
After 76000 nodes, 25136 on tree, -41 best solution, best possible -43 (143.52 seconds)
After 77000 nodes, 25208 on tree, -41 best solution, best possible -43 (144.67 seconds)
After 78000 nodes, 25463 on tree, -41 best solution, best possible -43 (146.15 seconds)
After 79000 nodes, 25882 on tree, -41 best solution, best possible -43 (147.67 seconds)
After 80000 nodes, 26214 on tree, -41 best solution, best possible -43 (149.18 seconds)
After 81000 nodes, 26289 on tree, -41 best solution, best possible -43 (150.29 seconds)
After 82000 nodes, 26696 on tree, -41 best solution, best possible -43 (151.75 seconds)
After 83000 nodes, 27229 on tree, -41 best solution, best possible -43 (153.27 seconds)
After 84000 nodes, 27638 on tree, -41 best solution, best possible -43 (154.78 seconds)
After 85000 nodes, 27755 on tree, -41 best solution, best possible -43 (155.98 seconds)
After 86000 nodes, 28176 on tree, -41 best solution, best possible -43 (157.47 seconds)
After 87000 nodes, 28521 on tree, -41 best solution, best possible -43 (158.98 seconds)
After 88000 nodes, 28957 on tree, -41 best solution, best possible -43 (160.56 seconds)
After 89000 nodes, 28998 on tree, -41 best solution, best possible -43 (161.69 seconds)
After 90000 nodes, 29353 on tree, -41 best solution, best possible -43 (163.19 seconds)
After 91000 nodes, 29650 on tree, -41 best solution, best possible -43 (164.76 seconds)
After 92000 nodes, 29994 on tree, -41 best solution, best possible -43 (166.35 seconds)
After 93000 nodes, 30034 on tree, -41 best solution, best possible -43 (167.49 seconds)
After 94000 nodes, 30562 on tree, -41 best solution, best possible -43 (169.00 seconds)
After 95000 nodes, 30808 on tree, -41 best solution, best possible -43 (170.62 seconds)
After 96000 nodes, 31175 on tree, -41 best solution, best possible -43 (172.16 seconds)
After 97000 nodes, 31284 on tree, -41 best solution, best possible -43 (173.34 seconds)
After 98000 nodes, 31712 on tree, -41 best solution, best possible -43 (174.77 seconds)
After 99000 nodes, 31985 on tree, -41 best solution, best possible -43 (176.20 seconds)
After 100000 nodes, 32261 on tree, -41 best solution, best possible -43 (177.75 seconds)
After 101000 nodes, 32319 on tree, -41 best solution, best possible -43 (178.82 seconds)
After 102000 nodes, 32631 on tree, -41 best solution, best possible -43 (180.27 seconds)
After 103000 nodes, 33118 on tree, -41 best solution, best possible -43 (181.76 seconds)
After 104000 nodes, 33667 on tree, -41 best solution, best possible -43 (183.34 seconds)
After 105000 nodes, 33718 on tree, -41 best solution, best possible -43 (184.47 seconds)
After 106000 nodes, 34053 on tree, -41 best solution, best possible -43 (186.00 seconds)
After 107000 nodes, 34395 on tree, -41 best solution, best possible -43 (187.50 seconds)
After 108000 nodes, 34851 on tree, -41 best solution, best possible -43 (188.96 seconds)
After 109000 nodes, 34902 on tree, -41 best solution, best possible -43 (190.00 seconds)
After 110000 nodes, 35261 on tree, -41 best solution, best possible -43 (191.58 seconds)
After 111000 nodes, 35581 on tree, -41 best solution, best possible -43 (193.09 seconds)
After 112000 nodes, 36013 on tree, -41 best solution, best possible -43 (194.63 seconds)
After 113000 nodes, 36097 on tree, -41 best solution, best possible -43 (195.78 seconds)
After 114000 nodes, 36522 on tree, -41 best solution, best possible -43 (197.29 seconds)
After 115000 nodes, 36830 on tree, -41 best solution, best possible -43 (198.91 seconds)
After 116000 nodes, 37096 on tree, -41 best solution, best possible -43 (200.44 seconds)
After 117000 nodes, 37152 on tree, -41 best solution, best possible -43 (201.48 seconds)
After 118000 nodes, 37591 on tree, -41 best solution, best possible -43 (203.04 seconds)
After 119000 nodes, 37959 on tree, -41 best solution, best possible -43 (204.62 seconds)
After 120000 nodes, 38205 on tree, -41 best solution, best possible -43 (206.17 seconds)
After 121000 nodes, 38330 on tree, -41 best solution, best possible -43 (207.30 seconds)
After 122000 nodes, 38627 on tree, -41 best solution, best possible -43 (208.77 seconds)
After 123000 nodes, 39017 on tree, -41 best solution, best possible -43 (210.23 seconds)
After 124000 nodes, 39253 on tree, -41 best solution, best possible -43 (211.63 seconds)
After 125000 nodes, 39313 on tree, -41 best solution, best possible -43 (212.71 seconds)
After 126000 nodes, 39541 on tree, -41 best solution, best possible -43 (214.22 seconds)
After 127000 nodes, 39929 on tree, -41 best solution, best possible -43 (215.76 seconds)
After 128000 nodes, 40216 on tree, -41 best solution, best possible -43 (217.28 seconds)
After 129000 nodes, 40273 on tree, -41 best solution, best possible -43 (218.41 seconds)
After 130000 nodes, 40703 on tree, -41 best solution, best possible -43 (219.98 seconds)
After 131000 nodes, 41218 on tree, -41 best solution, best possible -43 (221.62 seconds)
After 132000 nodes, 41746 on tree, -41 best solution, best possible -43 (223.21 seconds)
After 133000 nodes, 41852 on tree, -41 best solution, best possible -43 (224.37 seconds)
After 134000 nodes, 42210 on tree, -41 best solution, best possible -43 (225.91 seconds)
After 135000 nodes, 42510 on tree, -41 best solution, best possible -43 (227.46 seconds)
After 136000 nodes, 42915 on tree, -41 best solution, best possible -43 (228.96 seconds)
After 137000 nodes, 42983 on tree, -41 best solution, best possible -43 (230.06 seconds)
After 138000 nodes, 43325 on tree, -41 best solution, best possible -43 (231.66 seconds)
After 139000 nodes, 43650 on tree, -41 best solution, best possible -43 (233.21 seconds)
After 140000 nodes, 44029 on tree, -41 best solution, best possible -43 (234.80 seconds)
After 141000 nodes, 44075 on tree, -41 best solution, best possible -43 (235.95 seconds)
After 142000 nodes, 44512 on tree, -41 best solution, best possible -43 (237.44 seconds)
After 143000 nodes, 44825 on tree, -41 best solution, best possible -43 (238.98 seconds)
After 144000 nodes, 45053 on tree, -41 best solution, best possible -43 (240.54 seconds)
After 145000 nodes, 45053 on tree, -41 best solution, best possible -43 (241.62 seconds)
After 146000 nodes, 45435 on tree, -41 best solution, best possible -43 (243.20 seconds)
After 147000 nodes, 45703 on tree, -41 best solution, best possible -43 (244.81 seconds)
After 148000 nodes, 46112 on tree, -41 best solution, best possible -43 (246.36 seconds)
After 149000 nodes, 46167 on tree, -41 best solution, best possible -43 (247.42 seconds)
After 150000 nodes, 46478 on tree, -41 best solution, best possible -43 (249.00 seconds)
After 151000 nodes, 46875 on tree, -41 best solution, best possible -43 (250.59 seconds)
After 152000 nodes, 47166 on tree, -41 best solution, best possible -43 (252.12 seconds)
After 153000 nodes, 47207 on tree, -41 best solution, best possible -43 (253.20 seconds)
After 154000 nodes, 47495 on tree, -41 best solution, best possible -43 (254.67 seconds)
After 155000 nodes, 47813 on tree, -41 best solution, best possible -43 (256.08 seconds)
After 156000 nodes, 48086 on tree, -41 best solution, best possible -43 (257.81 seconds)
After 157000 nodes, 48052 on tree, -41 best solution, best possible -43 (258.73 seconds)
After 158000 nodes, 48361 on tree, -41 best solution, best possible -43 (260.29 seconds)
After 159000 nodes, 48770 on tree, -41 best solution, best possible -43 (261.81 seconds)
After 160000 nodes, 49178 on tree, -41 best solution, best possible -43 (263.45 seconds)
After 161000 nodes, 49217 on tree, -41 best solution, best possible -43 (264.58 seconds)
After 162000 nodes, 49718 on tree, -41 best solution, best possible -43 (266.20 seconds)
After 163000 nodes, 50171 on tree, -41 best solution, best possible -43 (267.74 seconds)
After 164000 nodes, 50560 on tree, -41 best solution, best possible -43 (269.34 seconds)
After 165000 nodes, 50712 on tree, -41 best solution, best possible -43 (270.52 seconds)
After 166000 nodes, 51062 on tree, -41 best solution, best possible -43 (272.04 seconds)
After 167000 nodes, 51396 on tree, -41 best solution, best possible -43 (273.55 seconds)
After 168000 nodes, 51734 on tree, -41 best solution, best possible -43 (275.09 seconds)
After 169000 nodes, 51810 on tree, -41 best solution, best possible -43 (276.18 seconds)
After 170000 nodes, 52242 on tree, -41 best solution, best possible -43 (277.73 seconds)
After 171000 nodes, 52562 on tree, -41 best solution, best possible -43 (279.26 seconds)
After 172000 nodes, 52861 on tree, -41 best solution, best possible -43 (280.79 seconds)
After 173000 nodes, 52897 on tree, -41 best solution, best possible -43 (281.83 seconds)
After 174000 nodes, 53338 on tree, -41 best solution, best possible -43 (283.39 seconds)
After 175000 nodes, 53741 on tree, -41 best solution, best possible -43 (284.94 seconds)
After 176000 nodes, 54068 on tree, -41 best solution, best possible -43 (286.56 seconds)
After 177000 nodes, 54083 on tree, -41 best solution, best possible -43 (287.65 seconds)
After 178000 nodes, 54348 on tree, -41 best solution, best possible -43 (289.25 seconds)
After 179000 nodes, 54648 on tree, -41 best solution, best possible -43 (290.81 seconds)
After 180000 nodes, 54890 on tree, -41 best solution, best possible -43 (292.30 seconds)
After 181000 nodes, 54889 on tree, -41 best solution, best possible -43 (293.29 seconds)
After 182000 nodes, 55241 on tree, -41 best solution, best possible -43 (294.86 seconds)
After 183000 nodes, 55767 on tree, -41 best solution, best possible -43 (296.35 seconds)
After 184000 nodes, 56062 on tree, -41 best solution, best possible -43 (297.88 seconds)
After 185000 nodes, 56116 on tree, -41 best solution, best possible -43 (298.93 seconds)
After 186000 nodes, 56381 on tree, -41 best solution, best possible -43 (300.43 seconds)
After 187000 nodes, 56745 on tree, -41 best solution, best possible -43 (301.92 seconds)
After 188000 nodes, 57141 on tree, -41 best solution, best possible -43 (303.45 seconds)
After 189000 nodes, 57172 on tree, -41 best solution, best possible -43 (304.49 seconds)
After 190000 nodes, 57423 on tree, -41 best solution, best possible -43 (306.02 seconds)
After 191000 nodes, 57661 on tree, -41 best solution, best possible -43 (307.65 seconds)
After 192000 nodes, 58009 on tree, -41 best solution, best possible -43 (309.31 seconds)
After 193000 nodes, 58035 on tree, -41 best solution, best possible -43 (310.39 seconds)
After 194000 nodes, 58297 on tree, -41 best solution, best possible -43 (311.93 seconds)
After 195000 nodes, 58558 on tree, -41 best solution, best possible -43 (313.46 seconds)
After 196000 nodes, 59104 on tree, -41 best solution, best possible -43 (315.13 seconds)
After 197000 nodes, 59205 on tree, -41 best solution, best possible -43 (316.28 seconds)
After 198000 nodes, 59695 on tree, -41 best solution, best possible -43 (317.87 seconds)
After 199000 nodes, 60122 on tree, -41 best solution, best possible -43 (319.50 seconds)
After 200000 nodes, 60580 on tree, -41 best solution, best possible -43 (320.99 seconds)
After 201000 nodes, 60616 on tree, -41 best solution, best possible -43 (322.22 seconds)
After 202000 nodes, 61024 on tree, -41 best solution, best possible -43 (323.74 seconds)
After 203000 nodes, 61346 on tree, -41 best solution, best possible -43 (325.30 seconds)
After 204000 nodes, 61721 on tree, -41 best solution, best possible -43 (326.82 seconds)
After 205000 nodes, 61775 on tree, -41 best solution, best possible -43 (327.97 seconds)
After 206000 nodes, 62055 on tree, -41 best solution, best possible -43 (329.59 seconds)
After 207000 nodes, 62488 on tree, -41 best solution, best possible -43 (331.05 seconds)
After 208000 nodes, 62877 on tree, -41 best solution, best possible -43 (332.69 seconds)
After 209000 nodes, 62971 on tree, -41 best solution, best possible -43 (333.80 seconds)
After 210000 nodes, 63208 on tree, -41 best solution, best possible -43 (335.39 seconds)
After 211000 nodes, 63682 on tree, -41 best solution, best possible -43 (336.97 seconds)
After 212000 nodes, 64058 on tree, -41 best solution, best possible -43 (338.55 seconds)
After 213000 nodes, 64000 on tree, -41 best solution, best possible -43 (339.67 seconds)
After 214000 nodes, 64357 on tree, -41 best solution, best possible -43 (341.21 seconds)
After 215000 nodes, 64722 on tree, -41 best solution, best possible -43 (342.83 seconds)
After 216000 nodes, 65080 on tree, -41 best solution, best possible -43 (344.39 seconds)
After 217000 nodes, 65093 on tree, -41 best solution, best possible -43 (345.45 seconds)
After 218000 nodes, 65300 on tree, -41 best solution, best possible -43 (347.01 seconds)
After 219000 nodes, 65602 on tree, -41 best solution, best possible -43 (348.51 seconds)
After 220000 nodes, 65925 on tree, -41 best solution, best possible -43 (350.03 seconds)
After 221000 nodes, 65937 on tree, -41 best solution, best possible -43 (351.04 seconds)
After 222000 nodes, 66312 on tree, -41 best solution, best possible -43 (352.55 seconds)
After 223000 nodes, 66749 on tree, -41 best solution, best possible -43 (354.05 seconds)
After 224000 nodes, 67092 on tree, -41 best solution, best possible -43 (355.61 seconds)
After 225000 nodes, 67179 on tree, -41 best solution, best possible -43 (356.71 seconds)
After 226000 nodes, 67491 on tree, -41 best solution, best possible -43 (358.30 seconds)
After 227000 nodes, 67842 on tree, -41 best solution, best possible -43 (359.78 seconds)
After 228000 nodes, 68089 on tree, -41 best solution, best possible -43 (361.30 seconds)
After 229000 nodes, 68120 on tree, -41 best solution, best possible -43 (362.26 seconds)
After 230000 nodes, 68488 on tree, -41 best solution, best possible -43 (363.80 seconds)
After 231000 nodes, 68717 on tree, -41 best solution, best possible -43 (365.36 seconds)
After 232000 nodes, 68952 on tree, -41 best solution, best possible -43 (366.95 seconds)
After 233000 nodes, 68981 on tree, -41 best solution, best possible -43 (368.08 seconds)
After 234000 nodes, 69344 on tree, -41 best solution, best possible -43 (369.62 seconds)
After 235000 nodes, 69652 on tree, -41 best solution, best possible -43 (371.18 seconds)
After 236000 nodes, 70080 on tree, -41 best solution, best possible -43 (372.78 seconds)
After 237000 nodes, 70148 on tree, -41 best solution, best possible -43 (373.80 seconds)
After 238000 nodes, 70656 on tree, -41 best solution, best possible -43 (375.24 seconds)
After 239000 nodes, 71136 on tree, -41 best solution, best possible -43 (376.76 seconds)
After 240000 nodes, 71552 on tree, -41 best solution, best possible -43 (378.39 seconds)
After 241000 nodes, 71674 on tree, -41 best solution, best possible -43 (379.62 seconds)
After 242000 nodes, 72118 on tree, -41 best solution, best possible -43 (381.18 seconds)
After 243000 nodes, 72608 on tree, -41 best solution, best possible -43 (382.74 seconds)
After 244000 nodes, 72917 on tree, -41 best solution, best possible -43 (384.27 seconds)
After 245000 nodes, 72923 on tree, -41 best solution, best possible -43 (385.42 seconds)
After 246000 nodes, 73220 on tree, -41 best solution, best possible -43 (387.05 seconds)
After 247000 nodes, 73627 on tree, -41 best solution, best possible -43 (388.55 seconds)
After 248000 nodes, 73988 on tree, -41 best solution, best possible -43 (390.09 seconds)
After 249000 nodes, 74040 on tree, -41 best solution, best possible -43 (391.20 seconds)
After 250000 nodes, 74344 on tree, -41 best solution, best possible -43 (392.77 seconds)
After 251000 nodes, 74756 on tree, -41 best solution, best possible -43 (394.35 seconds)
After 252000 nodes, 75204 on tree, -41 best solution, best possible -43 (395.89 seconds)
After 253000 nodes, 75225 on tree, -41 best solution, best possible -43 (396.98 seconds)
After 254000 nodes, 75484 on tree, -41 best solution, best possible -43 (398.56 seconds)
After 255000 nodes, 75796 on tree, -41 best solution, best possible -43 (400.11 seconds)
After 256000 nodes, 76168 on tree, -41 best solution, best possible -43 (401.68 seconds)
After 257000 nodes, 76169 on tree, -41 best solution, best possible -43 (402.79 seconds)
After 258000 nodes, 76632 on tree, -41 best solution, best possible -43 (404.32 seconds)
After 259000 nodes, 76949 on tree, -41 best solution, best possible -43 (405.97 seconds)
After 260000 nodes, 77187 on tree, -41 best solution, best possible -43 (407.59 seconds)
After 261000 nodes, 77191 on tree, -41 best solution, best possible -43 (408.70 seconds)
After 262000 nodes, 77565 on tree, -41 best solution, best possible -43 (410.35 seconds)
After 263000 nodes, 77863 on tree, -41 best solution, best possible -43 (411.94 seconds)
After 264000 nodes, 78085 on tree, -41 best solution, best possible -43 (413.44 seconds)
After 265000 nodes, 78065 on tree, -41 best solution, best possible -43 (414.46 seconds)
After 266000 nodes, 78386 on tree, -41 best solution, best possible -43 (415.93 seconds)
After 267000 nodes, 78834 on tree, -41 best solution, best possible -43 (417.48 seconds)
After 268000 nodes, 79327 on tree, -41 best solution, best possible -43 (419.06 seconds)
After 269000 nodes, 79419 on tree, -41 best solution, best possible -43 (420.23 seconds)
After 270000 nodes, 79685 on tree, -41 best solution, best possible -43 (421.79 seconds)
After 271000 nodes, 80066 on tree, -41 best solution, best possible -43 (423.37 seconds)
After 272000 nodes, 80336 on tree, -41 best solution, best possible -43 (424.83 seconds)
After 273000 nodes, 80377 on tree, -41 best solution, best possible -43 (425.88 seconds)
After 274000 nodes, 80732 on tree, -41 best solution, best possible -43 (427.37 seconds)
After 275000 nodes, 81082 on tree, -41 best solution, best possible -43 (428.81 seconds)
After 276000 nodes, 81353 on tree, -41 best solution, best possible -43 (430.39 seconds)
After 277000 nodes, 81359 on tree, -41 best solution, best possible -43 (431.33 seconds)
After 278000 nodes, 81614 on tree, -41 best solution, best possible -43 (432.91 seconds)
After 279000 nodes, 81933 on tree, -41 best solution, best possible -43 (434.40 seconds)
After 280000 nodes, 82201 on tree, -41 best solution, best possible -43 (435.98 seconds)
After 281000 nodes, 82252 on tree, -41 best solution, best possible -43 (436.98 seconds)
After 282000 nodes, 82587 on tree, -41 best solution, best possible -43 (438.57 seconds)
After 283000 nodes, 83102 on tree, -41 best solution, best possible -43 (440.13 seconds)
After 284000 nodes, 83477 on tree, -41 best solution, best possible -43 (441.60 seconds)
After 285000 nodes, 83568 on tree, -41 best solution, best possible -43 (442.86 seconds)
After 286000 nodes, 84085 on tree, -41 best solution, best possible -43 (444.39 seconds)
After 287000 nodes, 84481 on tree, -41 best solution, best possible -43 (446.00 seconds)
After 288000 nodes, 84977 on tree, -41 best solution, best possible -43 (447.74 seconds)
After 289000 nodes, 85143 on tree, -41 best solution, best possible -43 (448.85 seconds)
After 290000 nodes, 85653 on tree, -41 best solution, best possible -43 (450.52 seconds)
After 291000 nodes, 86064 on tree, -41 best solution, best possible -43 (452.13 seconds)
After 292000 nodes, 86361 on tree, -41 best solution, best possible -43 (453.72 seconds)
After 293000 nodes, 86461 on tree, -41 best solution, best possible -43 (454.80 seconds)
After 294000 nodes, 86929 on tree, -41 best solution, best possible -43 (456.35 seconds)
After 295000 nodes, 87251 on tree, -41 best solution, best possible -43 (457.93 seconds)
After 296000 nodes, 87669 on tree, -41 best solution, best possible -43 (459.49 seconds)
After 297000 nodes, 87730 on tree, -41 best solution, best possible -43 (460.64 seconds)
After 298000 nodes, 87996 on tree, -41 best solution, best possible -43 (462.14 seconds)
After 299000 nodes, 88349 on tree, -41 best solution, best possible -43 (463.66 seconds)
After 300000 nodes, 88722 on tree, -41 best solution, best possible -43 (465.18 seconds)
After 301000 nodes, 88792 on tree, -41 best solution, best possible -43 (466.32 seconds)
After 302000 nodes, 89209 on tree, -41 best solution, best possible -43 (467.94 seconds)
After 303000 nodes, 89488 on tree, -41 best solution, best possible -43 (469.54 seconds)
After 304000 nodes, 89805 on tree, -41 best solution, best possible -43 (471.17 seconds)
After 305000 nodes, 89826 on tree, -41 best solution, best possible -43 (472.27 seconds)
After 306000 nodes, 90184 on tree, -41 best solution, best possible -43 (473.84 seconds)
After 307000 nodes, 90578 on tree, -41 best solution, best possible -43 (475.39 seconds)
After 308000 nodes, 90931 on tree, -41 best solution, best possible -43 (476.91 seconds)
After 309000 nodes, 90901 on tree, -41 best solution, best possible -43 (477.99 seconds)
After 310000 nodes, 91210 on tree, -41 best solution, best possible -43 (479.62 seconds)
After 311000 nodes, 91526 on tree, -41 best solution, best possible -43 (481.25 seconds)
After 312000 nodes, 91847 on tree, -41 best solution, best possible -43 (482.83 seconds)
After 313000 nodes, 91775 on tree, -41 best solution, best possible -43 (483.91 seconds)
After 314000 nodes, 91992 on tree, -41 best solution, best possible -43 (485.51 seconds)
After 315000 nodes, 92337 on tree, -41 best solution, best possible -43 (487.02 seconds)
After 316000 nodes, 92654 on tree, -41 best solution, best possible -43 (488.59 seconds)
After 317000 nodes, 92664 on tree, -41 best solution, best possible -43 (489.67 seconds)
After 318000 nodes, 92977 on tree, -41 best solution, best possible -43 (491.17 seconds)
After 319000 nodes, 93420 on tree, -41 best solution, best possible -43 (492.81 seconds)
After 320000 nodes, 93838 on tree, -41 best solution, best possible -43 (494.43 seconds)
After 321000 nodes, 93944 on tree, -41 best solution, best possible -43 (495.63 seconds)
After 322000 nodes, 94309 on tree, -41 best solution, best possible -43 (497.24 seconds)
After 323000 nodes, 94603 on tree, -41 best solution, best possible -43 (498.79 seconds)
After 324000 nodes, 94890 on tree, -41 best solution, best possible -43 (500.35 seconds)
After 325000 nodes, 94978 on tree, -41 best solution, best possible -43 (501.52 seconds)
After 326000 nodes, 95415 on tree, -41 best solution, best possible -43 (502.96 seconds)
After 327000 nodes, 95662 on tree, -41 best solution, best possible -43 (504.50 seconds)
After 328000 nodes, 95948 on tree, -41 best solution, best possible -43 (506.02 seconds)
After 329000 nodes, 96022 on tree, -41 best solution, best possible -43 (507.15 seconds)
After 330000 nodes, 96333 on tree, -41 best solution, best possible -43 (508.65 seconds)
After 331000 nodes, 96604 on tree, -41 best solution, best possible -43 (510.14 seconds)
After 332000 nodes, 96938 on tree, -41 best solution, best possible -43 (511.69 seconds)
After 333000 nodes, 96978 on tree, -41 best solution, best possible -43 (512.80 seconds)
After 334000 nodes, 97309 on tree, -41 best solution, best possible -43 (514.34 seconds)
After 335000 nodes, 97728 on tree, -41 best solution, best possible -43 (515.86 seconds)
After 336000 nodes, 98104 on tree, -41 best solution, best possible -43 (517.41 seconds)
After 337000 nodes, 98150 on tree, -41 best solution, best possible -43 (518.56 seconds)
After 338000 nodes, 98603 on tree, -41 best solution, best possible -43 (520.09 seconds)
After 339000 nodes, 99201 on tree, -41 best solution, best possible -43 (521.63 seconds)
After 340000 nodes, 99673 on tree, -41 best solution, best possible -43 (523.21 seconds)
After 341000 nodes, 99753 on tree, -41 best solution, best possible -43 (524.39 seconds)
After 342000 nodes, 100114 on tree, -41 best solution, best possible -43 (526.06 seconds)
After 343000 nodes, 100516 on tree, -41 best solution, best possible -43 (527.76 seconds)
After 344000 nodes, 100983 on tree, -41 best solution, best possible -43 (529.33 seconds)
After 345000 nodes, 101133 on tree, -41 best solution, best possible -43 (530.46 seconds)
After 346000 nodes, 101545 on tree, -41 best solution, best possible -43 (532.14 seconds)
After 347000 nodes, 101933 on tree, -41 best solution, best possible -43 (533.73 seconds)
After 348000 nodes, 102343 on tree, -41 best solution, best possible -43 (535.32 seconds)
After 349000 nodes, 102490 on tree, -41 best solution, best possible -43 (536.39 seconds)
After 350000 nodes, 102899 on tree, -41 best solution, best possible -43 (537.94 seconds)
After 351000 nodes, 103219 on tree, -41 best solution, best possible -43 (539.52 seconds)
After 352000 nodes, 103621 on tree, -41 best solution, best possible -43 (541.05 seconds)
After 353000 nodes, 103702 on tree, -41 best solution, best possible -43 (542.26 seconds)
After 354000 nodes, 104069 on tree, -41 best solution, best possible -43 (543.79 seconds)
After 355000 nodes, 104376 on tree, -41 best solution, best possible -43 (545.29 seconds)
After 356000 nodes, 104721 on tree, -41 best solution, best possible -43 (546.84 seconds)
After 357000 nodes, 104788 on tree, -41 best solution, best possible -43 (548.01 seconds)
After 358000 nodes, 105222 on tree, -41 best solution, best possible -43 (549.55 seconds)
After 359000 nodes, 105621 on tree, -41 best solution, best possible -43 (551.12 seconds)
After 360000 nodes, 105917 on tree, -41 best solution, best possible -43 (552.74 seconds)
After 361000 nodes, 105979 on tree, -41 best solution, best possible -43 (553.90 seconds)
After 362000 nodes, 106240 on tree, -41 best solution, best possible -43 (555.39 seconds)
After 363000 nodes, 106643 on tree, -41 best solution, best possible -43 (556.91 seconds)
After 364000 nodes, 107031 on tree, -41 best solution, best possible -43 (558.49 seconds)
After 365000 nodes, 107039 on tree, -41 best solution, best possible -43 (559.60 seconds)
After 366000 nodes, 107355 on tree, -41 best solution, best possible -43 (561.18 seconds)
After 367000 nodes, 107772 on tree, -41 best solution, best possible -43 (562.77 seconds)
After 368000 nodes, 108061 on tree, -41 best solution, best possible -43 (564.40 seconds)
After 369000 nodes, 107982 on tree, -41 best solution, best possible -43 (565.50 seconds)
After 370000 nodes, 108314 on tree, -41 best solution, best possible -43 (567.12 seconds)
After 371000 nodes, 108528 on tree, -41 best solution, best possible -43 (568.64 seconds)
After 372000 nodes, 108847 on tree, -41 best solution, best possible -43 (570.20 seconds)
After 373000 nodes, 108851 on tree, -41 best solution, best possible -43 (571.32 seconds)
After 374000 nodes, 109172 on tree, -41 best solution, best possible -43 (572.79 seconds)
After 375000 nodes, 109415 on tree, -41 best solution, best possible -43 (574.33 seconds)
After 376000 nodes, 109818 on tree, -41 best solution, best possible -43 (575.83 seconds)
After 377000 nodes, 109867 on tree, -41 best solution, best possible -43 (576.91 seconds)
After 378000 nodes, 110264 on tree, -41 best solution, best possible -43 (578.54 seconds)
After 379000 nodes, 110693 on tree, -41 best solution, best possible -43 (580.14 seconds)
After 380000 nodes, 111217 on tree, -41 best solution, best possible -43 (581.78 seconds)
After 381000 nodes, 111279 on tree, -41 best solution, best possible -43 (582.96 seconds)
After 382000 nodes, 111538 on tree, -41 best solution, best possible -43 (584.52 seconds)
After 383000 nodes, 111855 on tree, -41 best solution, best possible -43 (586.00 seconds)
After 384000 nodes, 112159 on tree, -41 best solution, best possible -43 (587.54 seconds)
After 385000 nodes, 112194 on tree, -41 best solution, best possible -43 (588.63 seconds)
After 386000 nodes, 112599 on tree, -41 best solution, best possible -43 (590.10 seconds)
After 387000 nodes, 112922 on tree, -41 best solution, best possible -43 (591.61 seconds)
After 388000 nodes, 113271 on tree, -41 best solution, best possible -43 (593.18 seconds)
After 389000 nodes, 113308 on tree, -41 best solution, best possible -43 (594.23 seconds)
After 390000 nodes, 113646 on tree, -41 best solution, best possible -43 (595.75 seconds)
After 391000 nodes, 113913 on tree, -41 best solution, best possible -43 (597.31 seconds)
After 392000 nodes, 114269 on tree, -41 best solution, best possible -43 (598.85 seconds)
After 393000 nodes, 114337 on tree, -41 best solution, best possible -43 (599.99 seconds)
After 394000 nodes, 114694 on tree, -41 best solution, best possible -43 (601.47 seconds)
After 395000 nodes, 114995 on tree, -41 best solution, best possible -43 (603.08 seconds)
After 396000 nodes, 115479 on tree, -41 best solution, best possible -43 (604.57 seconds)
After 397000 nodes, 115529 on tree, -41 best solution, best possible -43 (605.71 seconds)
After 398000 nodes, 115960 on tree, -41 best solution, best possible -43 (607.27 seconds)
After 399000 nodes, 116505 on tree, -41 best solution, best possible -43 (608.83 seconds)
After 400000 nodes, 116812 on tree, -41 best solution, best possible -43 (610.44 seconds)
After 401000 nodes, 116928 on tree, -41 best solution, best possible -43 (611.70 seconds)
After 402000 nodes, 117427 on tree, -41 best solution, best possible -43 (613.24 seconds)
After 403000 nodes, 117901 on tree, -41 best solution, best possible -43 (614.82 seconds)
After 404000 nodes, 118398 on tree, -41 best solution, best possible -43 (616.60 seconds)
After 405000 nodes, 118536 on tree, -41 best solution, best possible -43 (617.71 seconds)
After 406000 nodes, 118853 on tree, -41 best solution, best possible -43 (619.37 seconds)
After 407000 nodes, 119295 on tree, -41 best solution, best possible -43 (620.95 seconds)
After 408000 nodes, 119723 on tree, -41 best solution, best possible -43 (622.58 seconds)
After 409000 nodes, 119877 on tree, -41 best solution, best possible -43 (623.85 seconds)
After 410000 nodes, 120363 on tree, -41 best solution, best possible -43 (625.57 seconds)
After 411000 nodes, 120746 on tree, -41 best solution, best possible -43 (627.14 seconds)
After 412000 nodes, 121115 on tree, -41 best solution, best possible -43 (628.74 seconds)
After 413000 nodes, 121239 on tree, -41 best solution, best possible -43 (629.82 seconds)
After 414000 nodes, 121594 on tree, -41 best solution, best possible -43 (631.40 seconds)
After 415000 nodes, 122017 on tree, -41 best solution, best possible -43 (632.99 seconds)
After 416000 nodes, 122328 on tree, -41 best solution, best possible -43 (634.60 seconds)
After 417000 nodes, 122352 on tree, -41 best solution, best possible -43 (635.72 seconds)
After 418000 nodes, 122716 on tree, -41 best solution, best possible -43 (637.18 seconds)
After 419000 nodes, 123078 on tree, -41 best solution, best possible -43 (638.68 seconds)
After 420000 nodes, 123441 on tree, -41 best solution, best possible -43 (640.22 seconds)
After 421000 nodes, 123482 on tree, -41 best solution, best possible -43 (641.33 seconds)
After 422000 nodes, 123773 on tree, -41 best solution, best possible -43 (642.88 seconds)
After 423000 nodes, 124218 on tree, -41 best solution, best possible -43 (644.32 seconds)
After 424000 nodes, 124471 on tree, -41 best solution, best possible -43 (645.85 seconds)
After 425000 nodes, 124514 on tree, -41 best solution, best possible -43 (646.96 seconds)
After 426000 nodes, 124876 on tree, -41 best solution, best possible -43 (648.57 seconds)
After 427000 nodes, 125208 on tree, -41 best solution, best possible -43 (650.22 seconds)
After 428000 nodes, 125600 on tree, -41 best solution, best possible -43 (651.74 seconds)
After 429000 nodes, 125671 on tree, -41 best solution, best possible -43 (652.92 seconds)
After 430000 nodes, 125981 on tree, -41 best solution, best possible -43 (654.52 seconds)
After 431000 nodes, 126330 on tree, -41 best solution, best possible -43 (656.11 seconds)
After 432000 nodes, 126777 on tree, -41 best solution, best possible -43 (657.69 seconds)
After 433000 nodes, 126820 on tree, -41 best solution, best possible -43 (658.86 seconds)
After 434000 nodes, 127189 on tree, -41 best solution, best possible -43 (660.44 seconds)
After 435000 nodes, 127498 on tree, -41 best solution, best possible -43 (662.13 seconds)
After 436000 nodes, 127822 on tree, -41 best solution, best possible -43 (663.80 seconds)
After 437000 nodes, 127767 on tree, -41 best solution, best possible -43 (664.91 seconds)
After 438000 nodes, 128157 on tree, -41 best solution, best possible -43 (666.57 seconds)
After 439000 nodes, 128382 on tree, -41 best solution, best possible -43 (668.12 seconds)
After 440000 nodes, 128564 on tree, -41 best solution, best possible -43 (669.69 seconds)
After 441000 nodes, 128422 on tree, -41 best solution, best possible -43 (670.71 seconds)
After 442000 nodes, 128826 on tree, -41 best solution, best possible -43 (672.21 seconds)
After 443000 nodes, 129045 on tree, -41 best solution, best possible -43 (673.83 seconds)
After 444000 nodes, 129278 on tree, -41 best solution, best possible -43 (675.39 seconds)
After 445000 nodes, 129268 on tree, -41 best solution, best possible -43 (676.51 seconds)
After 446000 nodes, 129677 on tree, -41 best solution, best possible -43 (678.07 seconds)
After 447000 nodes, 130108 on tree, -41 best solution, best possible -43 (679.59 seconds)
After 448000 nodes, 130497 on tree, -41 best solution, best possible -43 (681.19 seconds)
After 449000 nodes, 130557 on tree, -41 best solution, best possible -43 (682.33 seconds)
After 450000 nodes, 130914 on tree, -41 best solution, best possible -43 (683.85 seconds)
After 451000 nodes, 131338 on tree, -41 best solution, best possible -43 (685.40 seconds)
After 452000 nodes, 131622 on tree, -41 best solution, best possible -43 (686.94 seconds)
After 453000 nodes, 131666 on tree, -41 best solution, best possible -43 (688.09 seconds)
After 454000 nodes, 131923 on tree, -41 best solution, best possible -43 (689.60 seconds)
After 455000 nodes, 132310 on tree, -41 best solution, best possible -43 (691.14 seconds)
After 456000 nodes, 132619 on tree, -41 best solution, best possible -43 (692.77 seconds)
After 457000 nodes, 132624 on tree, -41 best solution, best possible -43 (693.91 seconds)
After 458000 nodes, 132951 on tree, -41 best solution, best possible -43 (695.44 seconds)
After 459000 nodes, 133299 on tree, -41 best solution, best possible -43 (696.90 seconds)
After 460000 nodes, 133548 on tree, -41 best solution, best possible -43 (698.44 seconds)
After 461000 nodes, 133570 on tree, -41 best solution, best possible -43 (699.56 seconds)
After 462000 nodes, 133910 on tree, -41 best solution, best possible -43 (701.16 seconds)
After 463000 nodes, 134354 on tree, -41 best solution, best possible -43 (702.64 seconds)
After 464000 nodes, 134631 on tree, -41 best solution, best possible -43 (704.17 seconds)
After 465000 nodes, 134680 on tree, -41 best solution, best possible -43 (705.39 seconds)
After 466000 nodes, 134990 on tree, -41 best solution, best possible -43 (706.96 seconds)
After 467000 nodes, 135424 on tree, -41 best solution, best possible -43 (708.49 seconds)
After 468000 nodes, 135936 on tree, -41 best solution, best possible -43 (710.08 seconds)
After 469000 nodes, 136022 on tree, -41 best solution, best possible -43 (711.37 seconds)
After 470000 nodes, 136344 on tree, -41 best solution, best possible -43 (712.92 seconds)
After 471000 nodes, 136780 on tree, -41 best solution, best possible -43 (714.56 seconds)
After 472000 nodes, 137162 on tree, -41 best solution, best possible -43 (716.18 seconds)
After 473000 nodes, 137238 on tree, -41 best solution, best possible -43 (717.33 seconds)
After 474000 nodes, 137818 on tree, -41 best solution, best possible -43 (718.93 seconds)
After 475000 nodes, 138329 on tree, -41 best solution, best possible -43 (720.54 seconds)
After 476000 nodes, 138737 on tree, -41 best solution, best possible -43 (722.21 seconds)
After 477000 nodes, 138914 on tree, -41 best solution, best possible -43 (723.69 seconds)
After 478000 nodes, 139256 on tree, -41 best solution, best possible -43 (725.38 seconds)
After 479000 nodes, 139695 on tree, -41 best solution, best possible -43 (726.93 seconds)
After 480000 nodes, 140085 on tree, -41 best solution, best possible -43 (728.51 seconds)
After 481000 nodes, 140060 on tree, -41 best solution, best possible -43 (729.72 seconds)
After 482000 nodes, 140466 on tree, -41 best solution, best possible -43 (731.26 seconds)
After 483000 nodes, 140966 on tree, -41 best solution, best possible -43 (732.83 seconds)
After 484000 nodes, 141306 on tree, -41 best solution, best possible -43 (734.53 seconds)
After 485000 nodes, 141400 on tree, -41 best solution, best possible -43 (735.69 seconds)
After 486000 nodes, 141798 on tree, -41 best solution, best possible -43 (737.28 seconds)
After 487000 nodes, 142167 on tree, -41 best solution, best possible -43 (738.83 seconds)
After 488000 nodes, 142555 on tree, -41 best solution, best possible -43 (740.42 seconds)
After 489000 nodes, 142496 on tree, -41 best solution, best possible -43 (741.58 seconds)
After 490000 nodes, 142836 on tree, -41 best solution, best possible -43 (743.19 seconds)
After 491000 nodes, 143211 on tree, -41 best solution, best possible -43 (744.75 seconds)
After 492000 nodes, 143541 on tree, -41 best solution, best possible -43 (746.28 seconds)
After 493000 nodes, 143507 on tree, -41 best solution, best possible -43 (747.43 seconds)
After 494000 nodes, 143902 on tree, -41 best solution, best possible -43 (748.90 seconds)
After 495000 nodes, 144145 on tree, -41 best solution, best possible -43 (750.43 seconds)
After 496000 nodes, 144527 on tree, -41 best solution, best possible -43 (751.96 seconds)
After 497000 nodes, 144531 on tree, -41 best solution, best possible -43 (753.14 seconds)
After 498000 nodes, 144894 on tree, -41 best solution, best possible -43 (754.66 seconds)
After 499000 nodes, 145218 on tree, -41 best solution, best possible -43 (756.15 seconds)
After 500000 nodes, 145461 on tree, -41 best solution, best possible -43 (757.70 seconds)
After 501000 nodes, 145537 on tree, -41 best solution, best possible -43 (758.83 seconds)
After 502000 nodes, 145921 on tree, -41 best solution, best possible -43 (760.44 seconds)
After 503000 nodes, 146255 on tree, -41 best solution, best possible -43 (762.08 seconds)
After 504000 nodes, 146566 on tree, -41 best solution, best possible -43 (763.68 seconds)
After 505000 nodes, 146586 on tree, -41 best solution, best possible -43 (764.92 seconds)
After 506000 nodes, 146859 on tree, -41 best solution, best possible -43 (766.38 seconds)
After 507000 nodes, 147278 on tree, -41 best solution, best possible -43 (767.97 seconds)
After 508000 nodes, 147638 on tree, -41 best solution, best possible -43 (769.54 seconds)
After 509000 nodes, 147698 on tree, -41 best solution, best possible -43 (770.64 seconds)
After 510000 nodes, 148017 on tree, -41 best solution, best possible -43 (772.25 seconds)
After 511000 nodes, 148480 on tree, -41 best solution, best possible -43 (773.74 seconds)
After 512000 nodes, 148830 on tree, -41 best solution, best possible -43 (775.38 seconds)
After 513000 nodes, 148947 on tree, -41 best solution, best possible -43 (776.68 seconds)
After 514000 nodes, 149303 on tree, -41 best solution, best possible -43 (778.29 seconds)
After 515000 nodes, 149655 on tree, -41 best solution, best possible -43 (779.90 seconds)
After 516000 nodes, 149939 on tree, -41 best solution, best possible -43 (781.72 seconds)
After 517000 nodes, 149948 on tree, -41 best solution, best possible -43 (782.93 seconds)
After 518000 nodes, 150144 on tree, -41 best solution, best possible -43 (784.51 seconds)
After 519000 nodes, 150451 on tree, -41 best solution, best possible -43 (786.06 seconds)
After 520000 nodes, 150727 on tree, -41 best solution, best possible -43 (787.71 seconds)
After 521000 nodes, 150728 on tree, -41 best solution, best possible -43 (788.79 seconds)
After 522000 nodes, 150916 on tree, -41 best solution, best possible -43 (790.38 seconds)
After 523000 nodes, 151246 on tree, -41 best solution, best possible -43 (791.91 seconds)
After 524000 nodes, 151524 on tree, -41 best solution, best possible -43 (793.57 seconds)
After 525000 nodes, 151394 on tree, -41 best solution, best possible -43 (794.67 seconds)
After 526000 nodes, 151819 on tree, -41 best solution, best possible -43 (796.28 seconds)
After 527000 nodes, 152196 on tree, -41 best solution, best possible -43 (797.83 seconds)
After 528000 nodes, 152748 on tree, -41 best solution, best possible -43 (799.32 seconds)
After 529000 nodes, 152860 on tree, -41 best solution, best possible -43 (800.54 seconds)
After 530000 nodes, 153197 on tree, -41 best solution, best possible -43 (802.13 seconds)
After 531000 nodes, 153454 on tree, -41 best solution, best possible -43 (803.65 seconds)
After 532000 nodes, 153897 on tree, -41 best solution, best possible -43 (805.25 seconds)
After 533000 nodes, 153980 on tree, -41 best solution, best possible -43 (806.43 seconds)
After 534000 nodes, 154266 on tree, -41 best solution, best possible -43 (807.96 seconds)
After 535000 nodes, 154572 on tree, -41 best solution, best possible -43 (809.51 seconds)
After 536000 nodes, 154879 on tree, -41 best solution, best possible -43 (811.19 seconds)
After 537000 nodes, 154866 on tree, -41 best solution, best possible -43 (812.26 seconds)
After 538000 nodes, 155229 on tree, -41 best solution, best possible -43 (813.88 seconds)
After 539000 nodes, 155513 on tree, -41 best solution, best possible -43 (815.40 seconds)
After 540000 nodes, 155798 on tree, -41 best solution, best possible -43 (816.99 seconds)
After 541000 nodes, 155697 on tree, -41 best solution, best possible -43 (817.97 seconds)
After 542000 nodes, 155528 on tree, -41 best solution, best possible -43 (819.11 seconds)
After 543000 nodes, 155872 on tree, -41 best solution, best possible -43 (820.76 seconds)
After 544000 nodes, 155752 on tree, -41 best solution, best possible -43 (821.87 seconds)
After 545000 nodes, 155699 on tree, -41 best solution, best possible -43 (822.97 seconds)
After 546000 nodes, 155549 on tree, -41 best solution, best possible -43 (824.10 seconds)
After 547000 nodes, 155898 on tree, -41 best solution, best possible -43 (825.68 seconds)
After 548000 nodes, 155789 on tree, -41 best solution, best possible -43 (826.67 seconds)
After 549000 nodes, 155777 on tree, -41 best solution, best possible -43 (827.68 seconds)
After 550000 nodes, 155752 on tree, -41 best solution, best possible -43 (828.78 seconds)
After 551000 nodes, 155709 on tree, -41 best solution, best possible -43 (829.79 seconds)
After 552000 nodes, 155418 on tree, -41 best solution, best possible -43 (830.78 seconds)
After 553000 nodes, 155434 on tree, -41 best solution, best possible -43 (831.94 seconds)
After 554000 nodes, 155728 on tree, -41 best solution, best possible -43 (833.54 seconds)
After 555000 nodes, 155626 on tree, -41 best solution, best possible -43 (834.64 seconds)
After 556000 nodes, 156020 on tree, -41 best solution, best possible -43 (836.18 seconds)
After 557000 nodes, 155983 on tree, -41 best solution, best possible -43 (837.14 seconds)
After 558000 nodes, 155985 on tree, -41 best solution, best possible -43 (838.02 seconds)
After 559000 nodes, 155983 on tree, -41 best solution, best possible -43 (838.91 seconds)
After 560000 nodes, 155971 on tree, -41 best solution, best possible -43 (839.96 seconds)
After 561000 nodes, 155957 on tree, -41 best solution, best possible -43 (841.14 seconds)
After 562000 nodes, 155933 on tree, -41 best solution, best possible -43 (842.23 seconds)
After 563000 nodes, 155920 on tree, -41 best solution, best possible -43 (843.24 seconds)
After 564000 nodes, 155908 on tree, -41 best solution, best possible -43 (844.20 seconds)
After 565000 nodes, 155882 on tree, -41 best solution, best possible -43 (845.23 seconds)
After 566000 nodes, 155862 on tree, -41 best solution, best possible -43 (846.30 seconds)
After 567000 nodes, 155848 on tree, -41 best solution, best possible -43 (847.34 seconds)
After 568000 nodes, 155701 on tree, -41 best solution, best possible -43 (848.35 seconds)
After 569000 nodes, 155332 on tree, -41 best solution, best possible -43 (849.27 seconds)
After 570000 nodes, 155637 on tree, -41 best solution, best possible -43 (850.94 seconds)
After 571000 nodes, 156054 on tree, -41 best solution, best possible -43 (852.59 seconds)
After 572000 nodes, 155916 on tree, -41 best solution, best possible -43 (853.63 seconds)
After 573000 nodes, 155782 on tree, -41 best solution, best possible -43 (854.67 seconds)
After 574000 nodes, 155639 on tree, -41 best solution, best possible -43 (855.81 seconds)
After 575000 nodes, 155983 on tree, -41 best solution, best possible -43 (857.60 seconds)
After 576000 nodes, 155860 on tree, -41 best solution, best possible -43 (858.71 seconds)
After 577000 nodes, 155847 on tree, -41 best solution, best possible -43 (859.75 seconds)
After 578000 nodes, 155848 on tree, -41 best solution, best possible -43 (860.89 seconds)
After 579000 nodes, 155815 on tree, -41 best solution, best possible -43 (862.03 seconds)
After 580000 nodes, 155800 on tree, -41 best solution, best possible -43 (863.17 seconds)
After 581000 nodes, 155776 on tree, -41 best solution, best possible -43 (864.26 seconds)
After 582000 nodes, 155769 on tree, -41 best solution, best possible -43 (865.49 seconds)
After 583000 nodes, 155752 on tree, -41 best solution, best possible -43 (866.55 seconds)
After 584000 nodes, 155747 on tree, -41 best solution, best possible -43 (867.65 seconds)
After 585000 nodes, 155726 on tree, -41 best solution, best possible -43 (868.88 seconds)
After 586000 nodes, 155698 on tree, -41 best solution, best possible -43 (870.09 seconds)
After 587000 nodes, 155663 on tree, -41 best solution, best possible -43 (871.32 seconds)
After 588000 nodes, 156148 on tree, -41 best solution, best possible -43 (872.97 seconds)
After 589000 nodes, 156132 on tree, -41 best solution, best possible -43 (874.12 seconds)
After 590000 nodes, 156121 on tree, -41 best solution, best possible -43 (875.18 seconds)
After 591000 nodes, 156079 on tree, -41 best solution, best possible -43 (876.35 seconds)
After 592000 nodes, 156055 on tree, -41 best solution, best possible -43 (877.45 seconds)
After 593000 nodes, 156038 on tree, -41 best solution, best possible -43 (878.59 seconds)
After 594000 nodes, 156012 on tree, -41 best solution, best possible -43 (879.71 seconds)
After 595000 nodes, 155980 on tree, -41 best solution, best possible -43 (880.90 seconds)
After 596000 nodes, 155955 on tree, -41 best solution, best possible -43 (882.04 seconds)
After 597000 nodes, 155928 on tree, -41 best solution, best possible -43 (883.10 seconds)
After 598000 nodes, 155839 on tree, -41 best solution, best possible -43 (884.23 seconds)
After 599000 nodes, 155216 on tree, -41 best solution, best possible -43 (885.27 seconds)
After 600000 nodes, 155588 on tree, -41 best solution, best possible -43 (886.97 seconds)
After 601000 nodes, 155640 on tree, -41 best solution, best possible -43 (888.18 seconds)
After 602000 nodes, 156029 on tree, -41 best solution, best possible -43 (889.89 seconds)
After 603000 nodes, 155659 on tree, -41 best solution, best possible -43 (890.98 seconds)
After 604000 nodes, 156010 on tree, -41 best solution, best possible -43 (892.54 seconds)
After 605000 nodes, 155900 on tree, -41 best solution, best possible -43 (893.79 seconds)
After 606000 nodes, 155806 on tree, -41 best solution, best possible -43 (894.87 seconds)
After 607000 nodes, 155806 on tree, -41 best solution, best possible -43 (895.96 seconds)
After 608000 nodes, 155681 on tree, -41 best solution, best possible -43 (897.14 seconds)
After 609000 nodes, 155609 on tree, -41 best solution, best possible -43 (898.33 seconds)
After 610000 nodes, 156018 on tree, -41 best solution, best possible -43 (900.15 seconds)
After 611000 nodes, 155922 on tree, -41 best solution, best possible -43 (901.29 seconds)
After 612000 nodes, 155760 on tree, -41 best solution, best possible -43 (902.46 seconds)
After 613000 nodes, 155689 on tree, -41 best solution, best possible -43 (903.58 seconds)
After 614000 nodes, 155530 on tree, -41 best solution, best possible -43 (904.78 seconds)
After 615000 nodes, 156000 on tree, -41 best solution, best possible -43 (906.45 seconds)
After 616000 nodes, 155862 on tree, -41 best solution, best possible -43 (907.50 seconds)
After 617000 nodes, 155801 on tree, -41 best solution, best possible -43 (908.52 seconds)
After 618000 nodes, 155803 on tree, -41 best solution, best possible -43 (909.48 seconds)
After 619000 nodes, 155801 on tree, -41 best solution, best possible -43 (910.52 seconds)
After 620000 nodes, 155801 on tree, -41 best solution, best possible -43 (911.55 seconds)
After 621000 nodes, 155800 on tree, -41 best solution, best possible -43 (912.55 seconds)
After 622000 nodes, 155803 on tree, -41 best solution, best possible -43 (913.63 seconds)
After 623000 nodes, 155800 on tree, -41 best solution, best possible -43 (914.68 seconds)
After 624000 nodes, 155786 on tree, -41 best solution, best possible -43 (915.74 seconds)
After 625000 nodes, 155761 on tree, -41 best solution, best possible -43 (916.87 seconds)
After 626000 nodes, 155737 on tree, -41 best solution, best possible -43 (918.01 seconds)
After 627000 nodes, 155724 on tree, -41 best solution, best possible -43 (919.11 seconds)
After 628000 nodes, 155728 on tree, -41 best solution, best possible -43 (920.17 seconds)
After 629000 nodes, 155712 on tree, -41 best solution, best possible -43 (921.39 seconds)
After 630000 nodes, 155697 on tree, -41 best solution, best possible -43 (922.59 seconds)
After 631000 nodes, 155671 on tree, -41 best solution, best possible -43 (923.71 seconds)
After 632000 nodes, 155663 on tree, -41 best solution, best possible -43 (924.97 seconds)
After 633000 nodes, 155752 on tree, -41 best solution, best possible -43 (926.15 seconds)
After 634000 nodes, 155700 on tree, -41 best solution, best possible -43 (927.33 seconds)
After 635000 nodes, 155684 on tree, -41 best solution, best possible -43 (928.47 seconds)
After 636000 nodes, 155679 on tree, -41 best solution, best possible -43 (929.56 seconds)
After 637000 nodes, 155661 on tree, -41 best solution, best possible -43 (930.88 seconds)
After 638000 nodes, 156143 on tree, -41 best solution, best possible -43 (932.67 seconds)
After 639000 nodes, 156128 on tree, -41 best solution, best possible -43 (933.78 seconds)
After 640000 nodes, 156088 on tree, -41 best solution, best possible -43 (934.87 seconds)
After 641000 nodes, 156084 on tree, -41 best solution, best possible -43 (935.88 seconds)
After 642000 nodes, 156078 on tree, -41 best solution, best possible -43 (937.06 seconds)
After 643000 nodes, 156063 on tree, -41 best solution, best possible -43 (938.23 seconds)
After 644000 nodes, 156036 on tree, -41 best solution, best possible -43 (939.40 seconds)
After 645000 nodes, 156017 on tree, -41 best solution, best possible -43 (940.58 seconds)
After 646000 nodes, 156002 on tree, -41 best solution, best possible -43 (941.67 seconds)
After 647000 nodes, 155973 on tree, -41 best solution, best possible -43 (942.83 seconds)
After 648000 nodes, 155960 on tree, -41 best solution, best possible -43 (943.89 seconds)
After 649000 nodes, 155955 on tree, -41 best solution, best possible -43 (944.90 seconds)
After 650000 nodes, 155938 on tree, -41 best solution, best possible -43 (946.04 seconds)
After 651000 nodes, 155913 on tree, -41 best solution, best possible -43 (947.17 seconds)
After 652000 nodes, 155900 on tree, -41 best solution, best possible -43 (948.32 seconds)
After 653000 nodes, 155879 on tree, -41 best solution, best possible -43 (949.33 seconds)
After 654000 nodes, 155867 on tree, -41 best solution, best possible -43 (950.48 seconds)
After 655000 nodes, 155842 on tree, -41 best solution, best possible -43 (951.64 seconds)
After 656000 nodes, 155820 on tree, -41 best solution, best possible -43 (952.74 seconds)
After 657000 nodes, 155801 on tree, -41 best solution, best possible -43 (953.86 seconds)
After 658000 nodes, 155789 on tree, -41 best solution, best possible -43 (955.00 seconds)
After 659000 nodes, 155754 on tree, -41 best solution, best possible -43 (956.16 seconds)
After 660000 nodes, 155728 on tree, -41 best solution, best possible -43 (957.41 seconds)
After 661000 nodes, 155703 on tree, -41 best solution, best possible -43 (958.60 seconds)
After 662000 nodes, 155682 on tree, -41 best solution, best possible -43 (959.74 seconds)
After 663000 nodes, 155678 on tree, -41 best solution, best possible -43 (960.81 seconds)
After 664000 nodes, 155657 on tree, -41 best solution, best possible -43 (962.00 seconds)
After 665000 nodes, 155751 on tree, -41 best solution, best possible -43 (963.18 seconds)
After 666000 nodes, 155707 on tree, -41 best solution, best possible -43 (964.27 seconds)
After 667000 nodes, 155688 on tree, -41 best solution, best possible -43 (965.32 seconds)
After 668000 nodes, 155464 on tree, -41 best solution, best possible -43 (966.37 seconds)
After 669000 nodes, 155605 on tree, -41 best solution, best possible -43 (967.74 seconds)
After 670000 nodes, 156094 on tree, -41 best solution, best possible -43 (969.33 seconds)
After 671000 nodes, 155739 on tree, -41 best solution, best possible -43 (970.30 seconds)
After 672000 nodes, 155345 on tree, -41 best solution, best possible -43 (971.37 seconds)
After 673000 nodes, 155471 on tree, -41 best solution, best possible -43 (972.52 seconds)
After 674000 nodes, 155887 on tree, -41 best solution, best possible -43 (974.24 seconds)
After 675000 nodes, 155449 on tree, -41 best solution, best possible -43 (975.21 seconds)
After 676000 nodes, 155779 on tree, -41 best solution, best possible -43 (976.82 seconds)
After 677000 nodes, 155600 on tree, -41 best solution, best possible -43 (977.97 seconds)
After 678000 nodes, 155977 on tree, -41 best solution, best possible -43 (979.54 seconds)
After 679000 nodes, 155862 on tree, -41 best solution, best possible -43 (980.71 seconds)
After 680000 nodes, 155816 on tree, -41 best solution, best possible -43 (981.82 seconds)
After 681000 nodes, 155777 on tree, -41 best solution, best possible -43 (982.97 seconds)
After 682000 nodes, 155668 on tree, -41 best solution, best possible -43 (984.09 seconds)
After 683000 nodes, 155627 on tree, -41 best solution, best possible -43 (985.25 seconds)
After 684000 nodes, 156156 on tree, -41 best solution, best possible -43 (986.86 seconds)
After 685000 nodes, 156087 on tree, -41 best solution, best possible -43 (988.07 seconds)
After 686000 nodes, 156024 on tree, -41 best solution, best possible -43 (989.24 seconds)
After 687000 nodes, 155908 on tree, -41 best solution, best possible -43 (990.38 seconds)
After 688000 nodes, 155846 on tree, -41 best solution, best possible -43 (991.58 seconds)
After 689000 nodes, 155740 on tree, -41 best solution, best possible -43 (992.71 seconds)
After 690000 nodes, 155674 on tree, -41 best solution, best possible -43 (993.79 seconds)
After 691000 nodes, 155593 on tree, -41 best solution, best possible -43 (994.96 seconds)
After 692000 nodes, 155961 on tree, -41 best solution, best possible -43 (996.60 seconds)
After 693000 nodes, 155821 on tree, -41 best solution, best possible -43 (997.74 seconds)
After 694000 nodes, 155754 on tree, -41 best solution, best possible -43 (998.79 seconds)
After 695000 nodes, 155682 on tree, -41 best solution, best possible -43 (999.92 seconds)
After 696000 nodes, 155581 on tree, -41 best solution, best possible -43 (1001.08 seconds)
After 697000 nodes, 155674 on tree, -41 best solution, best possible -43 (1002.36 seconds)
After 698000 nodes, 155608 on tree, -41 best solution, best possible -43 (1003.51 seconds)
After 699000 nodes, 155906 on tree, -41 best solution, best possible -43 (1005.09 seconds)
After 700000 nodes, 155828 on tree, -41 best solution, best possible -43 (1006.25 seconds)
After 701000 nodes, 155727 on tree, -41 best solution, best possible -43 (1007.37 seconds)
After 702000 nodes, 155613 on tree, -41 best solution, best possible -43 (1008.49 seconds)
After 703000 nodes, 156081 on tree, -41 best solution, best possible -43 (1010.08 seconds)
After 704000 nodes, 155978 on tree, -41 best solution, best possible -43 (1011.18 seconds)
After 705000 nodes, 155884 on tree, -41 best solution, best possible -43 (1012.24 seconds)
After 706000 nodes, 155870 on tree, -41 best solution, best possible -43 (1013.40 seconds)
After 707000 nodes, 155805 on tree, -41 best solution, best possible -43 (1014.52 seconds)
After 708000 nodes, 155799 on tree, -41 best solution, best possible -43 (1015.53 seconds)
After 709000 nodes, 155799 on tree, -41 best solution, best possible -43 (1016.51 seconds)
After 710000 nodes, 155798 on tree, -41 best solution, best possible -43 (1017.50 seconds)
After 711000 nodes, 155800 on tree, -41 best solution, best possible -43 (1018.55 seconds)
After 712000 nodes, 155799 on tree, -41 best solution, best possible -43 (1019.62 seconds)
After 713000 nodes, 155800 on tree, -41 best solution, best possible -43 (1020.70 seconds)
After 714000 nodes, 155808 on tree, -41 best solution, best possible -43 (1021.73 seconds)
After 715000 nodes, 155800 on tree, -41 best solution, best possible -43 (1022.73 seconds)
After 716000 nodes, 155799 on tree, -41 best solution, best possible -43 (1023.73 seconds)
After 717000 nodes, 155801 on tree, -41 best solution, best possible -43 (1024.72 seconds)
After 718000 nodes, 155800 on tree, -41 best solution, best possible -43 (1025.70 seconds)
After 719000 nodes, 155801 on tree, -41 best solution, best possible -43 (1026.76 seconds)
After 720000 nodes, 155797 on tree, -41 best solution, best possible -43 (1027.82 seconds)
After 721000 nodes, 155780 on tree, -41 best solution, best possible -43 (1028.93 seconds)
After 722000 nodes, 155756 on tree, -41 best solution, best possible -43 (1030.11 seconds)
After 723000 nodes, 155741 on tree, -41 best solution, best possible -43 (1031.29 seconds)
After 724000 nodes, 155732 on tree, -41 best solution, best possible -43 (1032.44 seconds)
After 725000 nodes, 155700 on tree, -41 best solution, best possible -43 (1033.45 seconds)
After 726000 nodes, 155691 on tree, -41 best solution, best possible -43 (1034.64 seconds)
After 727000 nodes, 155679 on tree, -41 best solution, best possible -43 (1035.83 seconds)
After 728000 nodes, 155645 on tree, -41 best solution, best possible -43 (1037.08 seconds)
After 729000 nodes, 155734 on tree, -41 best solution, best possible -43 (1038.29 seconds)
After 730000 nodes, 155706 on tree, -41 best solution, best possible -43 (1039.38 seconds)
After 731000 nodes, 155702 on tree, -41 best solution, best possible -43 (1040.63 seconds)
After 732000 nodes, 155695 on tree, -41 best solution, best possible -43 (1041.96 seconds)
After 733000 nodes, 155689 on tree, -41 best solution, best possible -43 (1043.16 seconds)
After 734000 nodes, 155673 on tree, -41 best solution, best possible -43 (1044.22 seconds)
After 735000 nodes, 155662 on tree, -41 best solution, best possible -43 (1045.30 seconds)
After 736000 nodes, 156057 on tree, -41 best solution, best possible -43 (1046.99 seconds)
After 737000 nodes, 156044 on tree, -41 best solution, best possible -43 (1048.18 seconds)
After 738000 nodes, 156047 on tree, -41 best solution, best possible -43 (1049.38 seconds)
After 739000 nodes, 156044 on tree, -41 best solution, best possible -43 (1050.58 seconds)
After 740000 nodes, 156049 on tree, -41 best solution, best possible -43 (1051.80 seconds)
After 741000 nodes, 156040 on tree, -41 best solution, best possible -43 (1052.93 seconds)
After 742000 nodes, 156022 on tree, -41 best solution, best possible -43 (1054.04 seconds)
After 743000 nodes, 156018 on tree, -41 best solution, best possible -43 (1055.21 seconds)
After 744000 nodes, 156014 on tree, -41 best solution, best possible -43 (1056.42 seconds)
After 745000 nodes, 156006 on tree, -41 best solution, best possible -43 (1057.69 seconds)
After 746000 nodes, 155987 on tree, -41 best solution, best possible -43 (1058.91 seconds)
After 747000 nodes, 155948 on tree, -41 best solution, best possible -43 (1060.07 seconds)
After 748000 nodes, 155917 on tree, -41 best solution, best possible -43 (1061.16 seconds)
After 749000 nodes, 155894 on tree, -41 best solution, best possible -43 (1062.31 seconds)
After 750000 nodes, 155886 on tree, -41 best solution, best possible -43 (1063.36 seconds)
After 751000 nodes, 155881 on tree, -41 best solution, best possible -43 (1064.37 seconds)
After 752000 nodes, 155884 on tree, -41 best solution, best possible -43 (1065.42 seconds)
After 753000 nodes, 155874 on tree, -41 best solution, best possible -43 (1066.52 seconds)
After 754000 nodes, 155870 on tree, -41 best solution, best possible -43 (1067.65 seconds)
After 755000 nodes, 155855 on tree, -41 best solution, best possible -43 (1068.78 seconds)
After 756000 nodes, 155839 on tree, -41 best solution, best possible -43 (1069.92 seconds)
After 757000 nodes, 155808 on tree, -41 best solution, best possible -43 (1071.09 seconds)
After 758000 nodes, 155782 on tree, -41 best solution, best possible -43 (1072.23 seconds)
After 759000 nodes, 155777 on tree, -41 best solution, best possible -43 (1073.38 seconds)
After 760000 nodes, 155758 on tree, -41 best solution, best possible -43 (1074.46 seconds)
After 761000 nodes, 155745 on tree, -41 best solution, best possible -43 (1075.60 seconds)
After 762000 nodes, 155740 on tree, -41 best solution, best possible -43 (1076.75 seconds)
After 763000 nodes, 155731 on tree, -41 best solution, best possible -43 (1077.86 seconds)
After 764000 nodes, 155729 on tree, -41 best solution, best possible -43 (1078.93 seconds)
After 765000 nodes, 155733 on tree, -41 best solution, best possible -43 (1079.97 seconds)
After 766000 nodes, 155724 on tree, -41 best solution, best possible -43 (1081.07 seconds)
After 767000 nodes, 155711 on tree, -41 best solution, best possible -43 (1082.27 seconds)
After 768000 nodes, 155707 on tree, -41 best solution, best possible -43 (1083.45 seconds)
After 769000 nodes, 155704 on tree, -41 best solution, best possible -43 (1084.53 seconds)
After 770000 nodes, 155696 on tree, -41 best solution, best possible -43 (1085.65 seconds)
After 771000 nodes, 155662 on tree, -41 best solution, best possible -43 (1086.91 seconds)
After 772000 nodes, 156010 on tree, -41 best solution, best possible -43 (1088.51 seconds)
After 773000 nodes, 155998 on tree, -41 best solution, best possible -43 (1089.64 seconds)
After 774000 nodes, 155999 on tree, -41 best solution, best possible -43 (1090.79 seconds)
After 775000 nodes, 155993 on tree, -41 best solution, best possible -43 (1091.89 seconds)
After 776000 nodes, 155980 on tree, -41 best solution, best possible -43 (1093.21 seconds)
After 777000 nodes, 155964 on tree, -41 best solution, best possible -43 (1094.36 seconds)
After 778000 nodes, 155957 on tree, -41 best solution, best possible -43 (1095.34 seconds)
After 779000 nodes, 155941 on tree, -41 best solution, best possible -43 (1096.45 seconds)
After 780000 nodes, 155915 on tree, -41 best solution, best possible -43 (1097.51 seconds)
After 781000 nodes, 155898 on tree, -41 best solution, best possible -43 (1098.70 seconds)
After 782000 nodes, 155894 on tree, -41 best solution, best possible -43 (1099.83 seconds)
After 783000 nodes, 155886 on tree, -41 best solution, best possible -43 (1100.96 seconds)
After 784000 nodes, 155876 on tree, -41 best solution, best possible -43 (1102.05 seconds)
After 785000 nodes, 155870 on tree, -41 best solution, best possible -43 (1103.12 seconds)
After 786000 nodes, 155868 on tree, -41 best solution, best possible -43 (1104.21 seconds)
After 787000 nodes, 155819 on tree, -41 best solution, best possible -43 (1105.33 seconds)
After 788000 nodes, 155798 on tree, -41 best solution, best possible -43 (1106.51 seconds)
After 789000 nodes, 155777 on tree, -41 best solution, best possible -43 (1107.62 seconds)
After 790000 nodes, 155762 on tree, -41 best solution, best possible -43 (1108.79 seconds)
After 791000 nodes, 155743 on tree, -41 best solution, best possible -43 (1109.91 seconds)
After 792000 nodes, 155714 on tree, -41 best solution, best possible -43 (1111.07 seconds)
After 793000 nodes, 155690 on tree, -41 best solution, best possible -43 (1112.24 seconds)
After 794000 nodes, 155680 on tree, -41 best solution, best possible -43 (1113.40 seconds)
After 795000 nodes, 155658 on tree, -41 best solution, best possible -43 (1114.66 seconds)
After 796000 nodes, 155960 on tree, -41 best solution, best possible -43 (1116.26 seconds)
After 797000 nodes, 155929 on tree, -41 best solution, best possible -43 (1117.37 seconds)
After 798000 nodes, 155918 on tree, -41 best solution, best possible -43 (1118.45 seconds)
After 799000 nodes, 155907 on tree, -41 best solution, best possible -43 (1119.61 seconds)
After 800000 nodes, 155891 on tree, -41 best solution, best possible -43 (1120.75 seconds)
After 801000 nodes, 155883 on tree, -41 best solution, best possible -43 (1121.80 seconds)
After 802000 nodes, 155856 on tree, -41 best solution, best possible -43 (1122.96 seconds)
After 803000 nodes, 155843 on tree, -41 best solution, best possible -43 (1124.08 seconds)
After 804000 nodes, 155831 on tree, -41 best solution, best possible -43 (1125.29 seconds)
After 805000 nodes, 155822 on tree, -41 best solution, best possible -43 (1126.44 seconds)
After 806000 nodes, 155808 on tree, -41 best solution, best possible -43 (1127.46 seconds)
After 807000 nodes, 155786 on tree, -41 best solution, best possible -43 (1128.54 seconds)
After 808000 nodes, 155768 on tree, -41 best solution, best possible -43 (1129.69 seconds)
After 809000 nodes, 155749 on tree, -41 best solution, best possible -43 (1130.81 seconds)
After 810000 nodes, 155745 on tree, -41 best solution, best possible -43 (1131.91 seconds)
After 811000 nodes, 155727 on tree, -41 best solution, best possible -43 (1133.09 seconds)
After 812000 nodes, 155703 on tree, -41 best solution, best possible -43 (1134.26 seconds)
After 813000 nodes, 155698 on tree, -41 best solution, best possible -43 (1135.39 seconds)
After 814000 nodes, 155688 on tree, -41 best solution, best possible -43 (1136.44 seconds)
After 815000 nodes, 155677 on tree, -41 best solution, best possible -43 (1137.58 seconds)
After 816000 nodes, 155561 on tree, -41 best solution, best possible -43 (1138.72 seconds)
After 817000 nodes, 155668 on tree, -41 best solution, best possible -43 (1139.98 seconds)
After 818000 nodes, 155315 on tree, -41 best solution, best possible -43 (1140.90 seconds)
After 819000 nodes, 155781 on tree, -41 best solution, best possible -43 (1142.48 seconds)
After 820000 nodes, 155518 on tree, -41 best solution, best possible -43 (1143.51 seconds)
After 821000 nodes, 155492 on tree, -41 best solution, best possible -43 (1144.62 seconds)
After 822000 nodes, 155870 on tree, -41 best solution, best possible -43 (1146.36 seconds)
After 823000 nodes, 155635 on tree, -41 best solution, best possible -43 (1147.41 seconds)
After 824000 nodes, 155981 on tree, -41 best solution, best possible -43 (1148.98 seconds)
After 825000 nodes, 155645 on tree, -41 best solution, best possible -43 (1150.01 seconds)
After 826000 nodes, 155990 on tree, -41 best solution, best possible -43 (1151.56 seconds)
After 827000 nodes, 155660 on tree, -41 best solution, best possible -43 (1152.53 seconds)
After 828000 nodes, 155989 on tree, -41 best solution, best possible -43 (1154.15 seconds)
After 829000 nodes, 155611 on tree, -41 best solution, best possible -43 (1155.12 seconds)
After 830000 nodes, 155862 on tree, -41 best solution, best possible -43 (1156.75 seconds)
After 831000 nodes, 155580 on tree, -41 best solution, best possible -43 (1157.80 seconds)
After 832000 nodes, 156051 on tree, -41 best solution, best possible -43 (1159.42 seconds)
After 833000 nodes, 155967 on tree, -41 best solution, best possible -43 (1160.58 seconds)
After 834000 nodes, 155864 on tree, -41 best solution, best possible -43 (1161.76 seconds)
After 835000 nodes, 155788 on tree, -41 best solution, best possible -43 (1162.86 seconds)
After 836000 nodes, 155704 on tree, -41 best solution, best possible -43 (1164.06 seconds)
After 837000 nodes, 155668 on tree, -41 best solution, best possible -43 (1165.22 seconds)
After 838000 nodes, 155673 on tree, -41 best solution, best possible -43 (1166.56 seconds)
After 839000 nodes, 155594 on tree, -41 best solution, best possible -43 (1167.77 seconds)
After 840000 nodes, 155864 on tree, -41 best solution, best possible -43 (1169.42 seconds)
After 841000 nodes, 155825 on tree, -41 best solution, best possible -43 (1170.56 seconds)
After 842000 nodes, 155782 on tree, -41 best solution, best possible -43 (1171.87 seconds)
After 843000 nodes, 155789 on tree, -41 best solution, best possible -43 (1173.21 seconds)
After 844000 nodes, 155781 on tree, -41 best solution, best possible -43 (1174.58 seconds)
After 845000 nodes, 155716 on tree, -41 best solution, best possible -43 (1175.79 seconds)
After 846000 nodes, 155613 on tree, -41 best solution, best possible -43 (1177.03 seconds)
After 847000 nodes, 155939 on tree, -41 best solution, best possible -43 (1178.59 seconds)
After 848000 nodes, 155830 on tree, -41 best solution, best possible -43 (1179.69 seconds)
After 849000 nodes, 155757 on tree, -41 best solution, best possible -43 (1180.84 seconds)
After 850000 nodes, 155737 on tree, -41 best solution, best possible -43 (1181.99 seconds)
After 851000 nodes, 155720 on tree, -41 best solution, best possible -43 (1183.21 seconds)
After 852000 nodes, 155650 on tree, -41 best solution, best possible -43 (1184.43 seconds)
After 853000 nodes, 155745 on tree, -41 best solution, best possible -43 (1185.57 seconds)
After 854000 nodes, 155678 on tree, -41 best solution, best possible -43 (1186.71 seconds)
After 855000 nodes, 155557 on tree, -41 best solution, best possible -43 (1187.97 seconds)
After 856000 nodes, 155932 on tree, -41 best solution, best possible -43 (1189.61 seconds)
After 857000 nodes, 155838 on tree, -41 best solution, best possible -43 (1190.79 seconds)
After 858000 nodes, 155798 on tree, -41 best solution, best possible -43 (1191.92 seconds)
After 859000 nodes, 155787 on tree, -41 best solution, best possible -43 (1193.01 seconds)
After 860000 nodes, 155754 on tree, -41 best solution, best possible -43 (1194.16 seconds)
After 861000 nodes, 155715 on tree, -41 best solution, best possible -43 (1195.33 seconds)
After 862000 nodes, 155646 on tree, -41 best solution, best possible -43 (1196.54 seconds)
After 863000 nodes, 155849 on tree, -41 best solution, best possible -43 (1198.30 seconds)
After 864000 nodes, 155783 on tree, -41 best solution, best possible -43 (1199.42 seconds)
After 865000 nodes, 155739 on tree, -41 best solution, best possible -43 (1200.55 seconds)
After 866000 nodes, 155686 on tree, -41 best solution, best possible -43 (1201.77 seconds)
After 867000 nodes, 155601 on tree, -41 best solution, best possible -43 (1202.86 seconds)
After 868000 nodes, 155918 on tree, -41 best solution, best possible -43 (1204.57 seconds)
After 869000 nodes, 155875 on tree, -41 best solution, best possible -43 (1205.69 seconds)
After 870000 nodes, 155865 on tree, -41 best solution, best possible -43 (1206.87 seconds)
After 871000 nodes, 155847 on tree, -41 best solution, best possible -43 (1208.12 seconds)
After 872000 nodes, 155787 on tree, -41 best solution, best possible -43 (1209.30 seconds)
After 873000 nodes, 155748 on tree, -41 best solution, best possible -43 (1210.50 seconds)
After 874000 nodes, 155658 on tree, -41 best solution, best possible -43 (1211.69 seconds)
After 875000 nodes, 156081 on tree, -41 best solution, best possible -43 (1213.32 seconds)
After 876000 nodes, 156016 on tree, -41 best solution, best possible -43 (1214.47 seconds)
After 877000 nodes, 155924 on tree, -41 best solution, best possible -43 (1215.63 seconds)
After 878000 nodes, 155870 on tree, -41 best solution, best possible -43 (1216.91 seconds)
After 879000 nodes, 155818 on tree, -41 best solution, best possible -43 (1218.14 seconds)
After 880000 nodes, 155756 on tree, -41 best solution, best possible -43 (1219.22 seconds)
After 881000 nodes, 155706 on tree, -41 best solution, best possible -43 (1220.38 seconds)
After 882000 nodes, 155654 on tree, -41 best solution, best possible -43 (1221.56 seconds)
After 883000 nodes, 155874 on tree, -41 best solution, best possible -43 (1223.15 seconds)
After 884000 nodes, 155779 on tree, -41 best solution, best possible -43 (1224.26 seconds)
After 885000 nodes, 155718 on tree, -41 best solution, best possible -43 (1225.35 seconds)
After 886000 nodes, 155639 on tree, -41 best solution, best possible -43 (1226.55 seconds)
After 887000 nodes, 155955 on tree, -41 best solution, best possible -43 (1228.24 seconds)
After 888000 nodes, 155941 on tree, -41 best solution, best possible -43 (1229.40 seconds)
After 889000 nodes, 155941 on tree, -41 best solution, best possible -43 (1230.60 seconds)
After 890000 nodes, 155906 on tree, -41 best solution, best possible -43 (1231.76 seconds)
After 891000 nodes, 155842 on tree, -41 best solution, best possible -43 (1232.93 seconds)
After 892000 nodes, 155758 on tree, -41 best solution, best possible -43 (1234.01 seconds)
After 893000 nodes, 155752 on tree, -41 best solution, best possible -43 (1235.11 seconds)
After 894000 nodes, 155722 on tree, -41 best solution, best possible -43 (1236.26 seconds)
After 895000 nodes, 155708 on tree, -41 best solution, best possible -43 (1237.27 seconds)
After 896000 nodes, 155697 on tree, -41 best solution, best possible -43 (1238.37 seconds)
After 897000 nodes, 155692 on tree, -41 best solution, best possible -43 (1239.48 seconds)
After 898000 nodes, 155689 on tree, -41 best solution, best possible -43 (1240.67 seconds)
After 899000 nodes, 155689 on tree, -41 best solution, best possible -43 (1241.81 seconds)
After 900000 nodes, 155698 on tree, -41 best solution, best possible -43 (1242.97 seconds)
After 901000 nodes, 155688 on tree, -41 best solution, best possible -43 (1244.08 seconds)
After 902000 nodes, 155689 on tree, -41 best solution, best possible -43 (1245.28 seconds)
After 903000 nodes, 155693 on tree, -41 best solution, best possible -43 (1246.48 seconds)
After 904000 nodes, 155693 on tree, -41 best solution, best possible -43 (1247.75 seconds)
After 905000 nodes, 155693 on tree, -41 best solution, best possible -43 (1248.88 seconds)
After 906000 nodes, 155651 on tree, -41 best solution, best possible -43 (1250.07 seconds)
After 907000 nodes, 156043 on tree, -41 best solution, best possible -43 (1251.76 seconds)
After 908000 nodes, 156046 on tree, -41 best solution, best possible -43 (1252.86 seconds)
After 909000 nodes, 156049 on tree, -41 best solution, best possible -43 (1254.09 seconds)
After 910000 nodes, 156046 on tree, -41 best solution, best possible -43 (1255.23 seconds)
After 911000 nodes, 156048 on tree, -41 best solution, best possible -43 (1256.35 seconds)
After 912000 nodes, 156046 on tree, -41 best solution, best possible -43 (1257.43 seconds)
After 913000 nodes, 156050 on tree, -41 best solution, best possible -43 (1258.70 seconds)
After 914000 nodes, 156045 on tree, -41 best solution, best possible -43 (1259.83 seconds)
After 915000 nodes, 156039 on tree, -41 best solution, best possible -43 (1261.00 seconds)
After 916000 nodes, 156038 on tree, -41 best solution, best possible -43 (1262.31 seconds)
After 917000 nodes, 156044 on tree, -41 best solution, best possible -43 (1263.47 seconds)
After 918000 nodes, 156022 on tree, -41 best solution, best possible -43 (1264.58 seconds)
After 919000 nodes, 156028 on tree, -41 best solution, best possible -43 (1265.66 seconds)
After 920000 nodes, 156036 on tree, -41 best solution, best possible -43 (1266.85 seconds)
After 921000 nodes, 155996 on tree, -41 best solution, best possible -43 (1268.04 seconds)
After 922000 nodes, 155919 on tree, -41 best solution, best possible -43 (1269.17 seconds)
After 923000 nodes, 155803 on tree, -41 best solution, best possible -43 (1270.33 seconds)
After 924000 nodes, 155768 on tree, -41 best solution, best possible -43 (1271.43 seconds)
After 925000 nodes, 155733 on tree, -41 best solution, best possible -43 (1272.55 seconds)
After 926000 nodes, 155676 on tree, -41 best solution, best possible -43 (1273.73 seconds)
After 927000 nodes, 155642 on tree, -41 best solution, best possible -43 (1274.93 seconds)
After 928000 nodes, 156056 on tree, -41 best solution, best possible -43 (1276.61 seconds)
After 929000 nodes, 155987 on tree, -41 best solution, best possible -43 (1277.66 seconds)
After 930000 nodes, 155948 on tree, -41 best solution, best possible -43 (1278.81 seconds)
After 931000 nodes, 155898 on tree, -41 best solution, best possible -43 (1279.99 seconds)
After 932000 nodes, 155875 on tree, -41 best solution, best possible -43 (1281.14 seconds)
After 933000 nodes, 155855 on tree, -41 best solution, best possible -43 (1282.30 seconds)
After 934000 nodes, 155778 on tree, -41 best solution, best possible -43 (1283.51 seconds)
After 935000 nodes, 155699 on tree, -41 best solution, best possible -43 (1284.59 seconds)
After 936000 nodes, 155658 on tree, -41 best solution, best possible -43 (1285.86 seconds)
After 937000 nodes, 155716 on tree, -41 best solution, best possible -43 (1287.08 seconds)
After 938000 nodes, 155701 on tree, -41 best solution, best possible -43 (1288.18 seconds)
After 939000 nodes, 155658 on tree, -41 best solution, best possible -43 (1289.32 seconds)
After 940000 nodes, 155983 on tree, -41 best solution, best possible -43 (1290.89 seconds)
After 941000 nodes, 155925 on tree, -41 best solution, best possible -43 (1292.18 seconds)
After 942000 nodes, 155912 on tree, -41 best solution, best possible -43 (1293.32 seconds)
After 943000 nodes, 155911 on tree, -41 best solution, best possible -43 (1294.39 seconds)
After 944000 nodes, 155911 on tree, -41 best solution, best possible -43 (1295.52 seconds)
After 945000 nodes, 155909 on tree, -41 best solution, best possible -43 (1296.85 seconds)
After 946000 nodes, 155881 on tree, -41 best solution, best possible -43 (1297.96 seconds)
After 947000 nodes, 155852 on tree, -41 best solution, best possible -43 (1298.98 seconds)
After 948000 nodes, 155761 on tree, -41 best solution, best possible -43 (1300.12 seconds)
After 949000 nodes, 155748 on tree, -41 best solution, best possible -43 (1301.08 seconds)
After 950000 nodes, 155752 on tree, -41 best solution, best possible -43 (1302.00 seconds)
After 951000 nodes, 155750 on tree, -41 best solution, best possible -43 (1303.03 seconds)
After 952000 nodes, 155750 on tree, -41 best solution, best possible -43 (1304.06 seconds)
After 953000 nodes, 155748 on tree, -41 best solution, best possible -43 (1305.10 seconds)
After 954000 nodes, 155749 on tree, -41 best solution, best possible -43 (1306.15 seconds)
After 955000 nodes, 155750 on tree, -41 best solution, best possible -43 (1307.15 seconds)
After 956000 nodes, 155749 on tree, -41 best solution, best possible -43 (1308.23 seconds)
After 957000 nodes, 155750 on tree, -41 best solution, best possible -43 (1309.27 seconds)
After 958000 nodes, 155750 on tree, -41 best solution, best possible -43 (1310.27 seconds)
After 959000 nodes, 155753 on tree, -41 best solution, best possible -43 (1311.35 seconds)
After 960000 nodes, 155750 on tree, -41 best solution, best possible -43 (1312.34 seconds)
After 961000 nodes, 155751 on tree, -41 best solution, best possible -43 (1313.41 seconds)
After 962000 nodes, 155750 on tree, -41 best solution, best possible -43 (1314.41 seconds)
After 963000 nodes, 155748 on tree, -41 best solution, best possible -43 (1315.41 seconds)
After 964000 nodes, 155750 on tree, -41 best solution, best possible -43 (1316.45 seconds)
After 965000 nodes, 155749 on tree, -41 best solution, best possible -43 (1317.55 seconds)
After 966000 nodes, 155748 on tree, -41 best solution, best possible -43 (1318.55 seconds)
After 967000 nodes, 155750 on tree, -41 best solution, best possible -43 (1319.62 seconds)
After 968000 nodes, 155753 on tree, -41 best solution, best possible -43 (1320.55 seconds)
After 969000 nodes, 155751 on tree, -41 best solution, best possible -43 (1321.57 seconds)
After 970000 nodes, 155749 on tree, -41 best solution, best possible -43 (1322.58 seconds)
After 971000 nodes, 155748 on tree, -41 best solution, best possible -43 (1323.66 seconds)
After 972000 nodes, 155752 on tree, -41 best solution, best possible -43 (1324.73 seconds)
After 973000 nodes, 155751 on tree, -41 best solution, best possible -43 (1325.78 seconds)
After 974000 nodes, 155751 on tree, -41 best solution, best possible -43 (1326.77 seconds)
After 975000 nodes, 155739 on tree, -41 best solution, best possible -43 (1328.01 seconds)
After 976000 nodes, 155733 on tree, -41 best solution, best possible -43 (1329.25 seconds)
After 977000 nodes, 155722 on tree, -41 best solution, best possible -43 (1330.45 seconds)
After 978000 nodes, 155709 on tree, -41 best solution, best possible -43 (1331.65 seconds)
After 979000 nodes, 155704 on tree, -41 best solution, best possible -43 (1332.83 seconds)
After 980000 nodes, 155694 on tree, -41 best solution, best possible -43 (1334.05 seconds)
After 981000 nodes, 155668 on tree, -41 best solution, best possible -43 (1335.23 seconds)
After 982000 nodes, 155654 on tree, -41 best solution, best possible -43 (1336.60 seconds)
After 983000 nodes, 155997 on tree, -41 best solution, best possible -43 (1338.37 seconds)
After 984000 nodes, 155999 on tree, -41 best solution, best possible -43 (1339.50 seconds)
After 985000 nodes, 155988 on tree, -41 best solution, best possible -43 (1340.76 seconds)
After 986000 nodes, 155977 on tree, -41 best solution, best possible -43 (1341.90 seconds)
After 987000 nodes, 155955 on tree, -41 best solution, best possible -43 (1342.97 seconds)
After 988000 nodes, 155932 on tree, -41 best solution, best possible -43 (1344.14 seconds)
After 989000 nodes, 155920 on tree, -41 best solution, best possible -43 (1345.24 seconds)
After 990000 nodes, 155905 on tree, -41 best solution, best possible -43 (1346.32 seconds)
After 991000 nodes, 155898 on tree, -41 best solution, best possible -43 (1347.41 seconds)
After 992000 nodes, 155890 on tree, -41 best solution, best possible -43 (1348.56 seconds)
After 993000 nodes, 155898 on tree, -41 best solution, best possible -43 (1349.73 seconds)
After 994000 nodes, 155887 on tree, -41 best solution, best possible -43 (1350.81 seconds)
After 995000 nodes, 155875 on tree, -41 best solution, best possible -43 (1351.91 seconds)
After 996000 nodes, 155869 on tree, -41 best solution, best possible -43 (1353.10 seconds)
After 997000 nodes, 155858 on tree, -41 best solution, best possible -43 (1354.26 seconds)
After 998000 nodes, 155842 on tree, -41 best solution, best possible -43 (1355.36 seconds)
After 999000 nodes, 155836 on tree, -41 best solution, best possible -43 (1356.53 seconds)
Thread 0 used 504665 times,  waiting to start 24.3819,  3148998 locks, 28.3108 locked, 12.2002 waiting for locks
Thread 1 used 495335 times,  waiting to start 39.2393,  3092760 locks, 27.6533 locked, 12.2097 waiting for locks
Main thread 721.174 waiting for threads,  2002003 locks, 16.8804 locked, 3.8463 waiting for locks
Exiting on maximum nodes
Partial search - best objective -41 (best possible -43), took 14849969 iterations and 999999 nodes (1361.99 seconds)
Strong branching done 12326 times (111918 iterations), fathomed 113 nodes and fixed 1402 variables
Maximum depth 50, 600502 variables fixed on reduced cost
Cuts at root node changed objective from -43 to -43
Probing was tried 384504 times and created 3119033 cuts of which 924689 were active after adding rounds of cuts (259.792 seconds)
Gomory was tried 168527 times and created 1467890 cuts of which 452922 were active after adding rounds of cuts (82.057 seconds)
Knapsack was tried 207 times and created 162 cuts of which 3 were active after adding rounds of cuts (0.096 seconds)
Clique was tried 207 times and created 0 cuts of which 0 were active after adding rounds of cuts (-0.000 seconds)
MixedIntegerRounding2 was tried 207 times and created 429 cuts of which 21 were active after adding rounds of cuts (0.096 seconds)
FlowCover was tried 207 times and created 105 cuts of which 3 were active after adding rounds of cuts (0.108 seconds)
TwoMirCuts was tried 207 times and created 1089 cuts of which 9 were active after adding rounds of cuts (0.072 seconds)
25 bounds tightened after postprocessing
Result - Stopped on nodes objective -41 after 999999 nodes and 14849969 iterations - took 1362.42 seconds (total time 1362.43)
Total time 1362.43

Node limit reached. Have feasible solution.
wallclocktime:  772.78 	 used seconds:  1362.44
MIP solution:                   -41   (999999 nodes, 1362.44 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 07/18/08 15:00:22 elapsed 0:12:52.831