--- Job noswot Start 08/24/08 22:45:05
GAMS Rev 228  Copyright (C) 1987-2008 GAMS Development. All rights reserved
Licensee: Stefan Vigerske                                G071106/0001CB-LNX
          Humboldt University Berlin, Numerical Mathematics          DC5918
--- Starting compilation
--- 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.018
--- noswot.gms(123) 4 Mb
--- Generating MIP model m
--- noswot.gms(124) 4 Mb
---   183 rows  129 columns  761 non-zeroes
---   100 discrete-columns
--- Executing COINCBC: elapsed 0:00:00.024

GAMS/CoinCbc 2.1 LP/MIP Solver
written by J. Forrest
Problem statistics: 128 columns and 182 rows.
                    100 variables have integrality restrictions.

Calling CBC main solution routine...
Coin Cbc and Clp Solver version 2.10.00, build Jun 21 2008
command line - GAMS/CBC -solve -quit
Continuous objective value is -43 - 0.00 seconds
0 fixed, 50 tightened bounds, 39 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.05 seconds)
Round again with cutoff of -40.3
Pass   3: suminf.    2.28875 obj. -40.3 iterations 56
Pass   4: suminf.    0.35976 obj. -40.3 iterations 23
Pass   5: suminf.    0.37961 obj. -40.3 iterations 4
Pass   6: suminf.    2.77689 obj. -40.3 iterations 63
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 12
Pass  10: suminf.    1.55979 obj. -40.3 iterations 19
Pass  11: suminf.    1.55582 obj. -40.3 iterations 3
Pass  12: suminf.    2.48390 obj. -40.3 iterations 49
Pass  13: suminf.    2.48390 obj. -40.3 iterations 1
Pass  14: suminf.    2.06529 obj. -40.3 iterations 29
Pass  15: suminf.    1.49283 obj. -40.3 iterations 5
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, 39 integers at bound fixed and 12 continuous
Full problem 172 rows 120 columns, reduced to 86 rows 54 columns
Mini branch and bound did not improve solution (0.16 seconds)
After 0.16 seconds - Feasibility pump exiting with objective of -40 - took 0.16 seconds
Integer solution of -40 found by feasibility pump after 0 iterations and 0 nodes (0.16 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.16 seconds)
19 added rows had average density of 11.0526
At root node, 19 cuts changed objective from -43 to -43 in 43 passes
Cut generator 0 (Probing) - 22 row cuts (1 active), 0 column cuts  in 0.244 seconds - new frequency is 1
Cut generator 1 (Gomory) - 164 row cuts (5 active), 0 column cuts  in 0.036 seconds - new frequency is 1
Cut generator 2 (Knapsack) - 8 row cuts (1 active), 0 column cuts  in 0.008 seconds - new frequency is -100
Cut generator 3 (Clique) - 0 row cuts (0 active), 0 column cuts  in 0.004 seconds - new frequency is -100
Cut generator 4 (MixedIntegerRounding2) - 95 row cuts (7 active), 0 column cuts  in 0.028 seconds - new frequency is -100
Cut generator 5 (FlowCover) - 24 row cuts (0 active), 0 column cuts  in 0.016 seconds - new frequency is -100
Cut generator 6 (TwoMirCuts) - 277 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 (0.60 seconds)
After 1000 nodes, 260 on tree, -41 best solution, best possible -43 (5.54 seconds)
After 2000 nodes, 361 on tree, -41 best solution, best possible -43 (7.49 seconds)
After 3000 nodes, 443 on tree, -41 best solution, best possible -43 (9.19 seconds)
After 4000 nodes, 521 on tree, -41 best solution, best possible -43 (10.74 seconds)
After 5000 nodes, 627 on tree, -41 best solution, best possible -43 (12.00 seconds)
After 6000 nodes, 747 on tree, -41 best solution, best possible -43 (13.22 seconds)
After 7000 nodes, 778 on tree, -41 best solution, best possible -43 (14.42 seconds)
After 8000 nodes, 777 on tree, -41 best solution, best possible -43 (15.55 seconds)
After 9000 nodes, 763 on tree, -41 best solution, best possible -43 (16.73 seconds)
After 10000 nodes, 774 on tree, -41 best solution, best possible -43 (17.93 seconds)
After 11000 nodes, 808 on tree, -41 best solution, best possible -43 (19.23 seconds)
After 12000 nodes, 1442 on tree, -41 best solution, best possible -43 (20.95 seconds)
After 13000 nodes, 1779 on tree, -41 best solution, best possible -43 (22.61 seconds)
After 14000 nodes, 2243 on tree, -41 best solution, best possible -43 (24.25 seconds)
After 15000 nodes, 2642 on tree, -41 best solution, best possible -43 (25.90 seconds)
After 16000 nodes, 3087 on tree, -41 best solution, best possible -43 (27.60 seconds)
After 17000 nodes, 3539 on tree, -41 best solution, best possible -43 (29.30 seconds)
After 18000 nodes, 3909 on tree, -41 best solution, best possible -43 (31.05 seconds)
After 19000 nodes, 4347 on tree, -41 best solution, best possible -43 (32.77 seconds)
After 20000 nodes, 4773 on tree, -41 best solution, best possible -43 (34.41 seconds)
After 21000 nodes, 5189 on tree, -41 best solution, best possible -43 (36.12 seconds)
After 22000 nodes, 5648 on tree, -41 best solution, best possible -43 (37.83 seconds)
After 23000 nodes, 6063 on tree, -41 best solution, best possible -43 (39.54 seconds)
After 24000 nodes, 6428 on tree, -41 best solution, best possible -43 (41.21 seconds)
After 25000 nodes, 6866 on tree, -41 best solution, best possible -43 (42.88 seconds)
After 26000 nodes, 7407 on tree, -41 best solution, best possible -43 (44.54 seconds)
After 27000 nodes, 7809 on tree, -41 best solution, best possible -43 (46.28 seconds)
After 28000 nodes, 8150 on tree, -41 best solution, best possible -43 (47.96 seconds)
After 29000 nodes, 8587 on tree, -41 best solution, best possible -43 (49.66 seconds)
After 30000 nodes, 9084 on tree, -41 best solution, best possible -43 (51.24 seconds)
After 31000 nodes, 9578 on tree, -41 best solution, best possible -43 (52.86 seconds)
After 32000 nodes, 9991 on tree, -41 best solution, best possible -43 (54.59 seconds)
After 33000 nodes, 10279 on tree, -41 best solution, best possible -43 (56.26 seconds)
After 34000 nodes, 10680 on tree, -41 best solution, best possible -43 (57.97 seconds)
After 35000 nodes, 11116 on tree, -41 best solution, best possible -43 (59.58 seconds)
After 36000 nodes, 11597 on tree, -41 best solution, best possible -43 (61.16 seconds)
After 37000 nodes, 11533 on tree, -41 best solution, best possible -43 (62.23 seconds)
After 38000 nodes, 12046 on tree, -41 best solution, best possible -43 (63.78 seconds)
After 39000 nodes, 12467 on tree, -41 best solution, best possible -43 (65.36 seconds)
After 40000 nodes, 12764 on tree, -41 best solution, best possible -43 (66.98 seconds)
After 41000 nodes, 12831 on tree, -41 best solution, best possible -43 (68.17 seconds)
After 42000 nodes, 13086 on tree, -41 best solution, best possible -43 (69.79 seconds)
After 43000 nodes, 13513 on tree, -41 best solution, best possible -43 (71.48 seconds)
After 44000 nodes, 13888 on tree, -41 best solution, best possible -43 (73.16 seconds)
After 45000 nodes, 13951 on tree, -41 best solution, best possible -43 (74.34 seconds)
After 46000 nodes, 14422 on tree, -41 best solution, best possible -43 (76.01 seconds)
After 47000 nodes, 14960 on tree, -41 best solution, best possible -43 (77.65 seconds)
After 48000 nodes, 15416 on tree, -41 best solution, best possible -43 (79.30 seconds)
After 49000 nodes, 15525 on tree, -41 best solution, best possible -43 (80.65 seconds)
After 50000 nodes, 15938 on tree, -41 best solution, best possible -43 (82.22 seconds)
After 51000 nodes, 16196 on tree, -41 best solution, best possible -43 (83.87 seconds)
After 52000 nodes, 16576 on tree, -41 best solution, best possible -43 (85.51 seconds)
After 53000 nodes, 16667 on tree, -41 best solution, best possible -43 (86.76 seconds)
After 54000 nodes, 17042 on tree, -41 best solution, best possible -43 (88.41 seconds)
After 55000 nodes, 17378 on tree, -41 best solution, best possible -43 (90.13 seconds)
After 56000 nodes, 17875 on tree, -41 best solution, best possible -43 (91.87 seconds)
After 57000 nodes, 17970 on tree, -41 best solution, best possible -43 (93.09 seconds)
After 58000 nodes, 18382 on tree, -41 best solution, best possible -43 (94.84 seconds)
After 59000 nodes, 18769 on tree, -41 best solution, best possible -43 (96.65 seconds)
After 60000 nodes, 19293 on tree, -41 best solution, best possible -43 (98.35 seconds)
After 61000 nodes, 19338 on tree, -41 best solution, best possible -43 (99.57 seconds)
After 62000 nodes, 19876 on tree, -41 best solution, best possible -43 (101.23 seconds)
After 63000 nodes, 20237 on tree, -41 best solution, best possible -43 (102.81 seconds)
After 64000 nodes, 20513 on tree, -41 best solution, best possible -43 (104.43 seconds)
After 65000 nodes, 20639 on tree, -41 best solution, best possible -43 (105.74 seconds)
After 66000 nodes, 20886 on tree, -41 best solution, best possible -43 (107.40 seconds)
After 67000 nodes, 21322 on tree, -41 best solution, best possible -43 (108.97 seconds)
After 68000 nodes, 21690 on tree, -41 best solution, best possible -43 (110.69 seconds)
After 69000 nodes, 21788 on tree, -41 best solution, best possible -43 (111.95 seconds)
After 70000 nodes, 22063 on tree, -41 best solution, best possible -43 (113.74 seconds)
After 71000 nodes, 22464 on tree, -41 best solution, best possible -43 (115.49 seconds)
After 72000 nodes, 22873 on tree, -41 best solution, best possible -43 (117.31 seconds)
After 73000 nodes, 22927 on tree, -41 best solution, best possible -43 (118.50 seconds)
After 74000 nodes, 23308 on tree, -41 best solution, best possible -43 (120.31 seconds)
After 75000 nodes, 23781 on tree, -41 best solution, best possible -43 (122.12 seconds)
After 76000 nodes, 24350 on tree, -41 best solution, best possible -43 (123.80 seconds)
After 77000 nodes, 24533 on tree, -41 best solution, best possible -43 (125.12 seconds)
After 78000 nodes, 24911 on tree, -41 best solution, best possible -43 (126.78 seconds)
After 79000 nodes, 25246 on tree, -41 best solution, best possible -43 (128.41 seconds)
After 80000 nodes, 25605 on tree, -41 best solution, best possible -43 (130.06 seconds)
After 81000 nodes, 25690 on tree, -41 best solution, best possible -43 (131.26 seconds)
After 82000 nodes, 26114 on tree, -41 best solution, best possible -43 (132.91 seconds)
After 83000 nodes, 26316 on tree, -41 best solution, best possible -43 (134.52 seconds)
After 84000 nodes, 26621 on tree, -41 best solution, best possible -43 (136.16 seconds)
After 85000 nodes, 26666 on tree, -41 best solution, best possible -43 (137.32 seconds)
After 86000 nodes, 27091 on tree, -41 best solution, best possible -43 (138.97 seconds)
After 87000 nodes, 27342 on tree, -41 best solution, best possible -43 (140.66 seconds)
After 88000 nodes, 27709 on tree, -41 best solution, best possible -43 (142.35 seconds)
After 89000 nodes, 27757 on tree, -41 best solution, best possible -43 (143.60 seconds)
After 90000 nodes, 28108 on tree, -41 best solution, best possible -43 (145.19 seconds)
After 91000 nodes, 28540 on tree, -41 best solution, best possible -43 (146.91 seconds)
After 92000 nodes, 28892 on tree, -41 best solution, best possible -43 (148.71 seconds)
After 93000 nodes, 28968 on tree, -41 best solution, best possible -43 (149.91 seconds)
After 94000 nodes, 29484 on tree, -41 best solution, best possible -43 (151.67 seconds)
After 95000 nodes, 29989 on tree, -41 best solution, best possible -43 (153.37 seconds)
After 96000 nodes, 30458 on tree, -41 best solution, best possible -43 (155.05 seconds)
After 97000 nodes, 30605 on tree, -41 best solution, best possible -43 (156.41 seconds)
After 98000 nodes, 30975 on tree, -41 best solution, best possible -43 (158.04 seconds)
After 99000 nodes, 31352 on tree, -41 best solution, best possible -43 (159.66 seconds)
After 100000 nodes, 31715 on tree, -41 best solution, best possible -43 (161.35 seconds)
After 101000 nodes, 31799 on tree, -41 best solution, best possible -43 (162.56 seconds)
After 102000 nodes, 32063 on tree, -41 best solution, best possible -43 (164.23 seconds)
After 103000 nodes, 32387 on tree, -41 best solution, best possible -43 (165.82 seconds)
After 104000 nodes, 32649 on tree, -41 best solution, best possible -43 (167.44 seconds)
After 105000 nodes, 32697 on tree, -41 best solution, best possible -43 (168.56 seconds)
After 106000 nodes, 33109 on tree, -41 best solution, best possible -43 (170.28 seconds)
After 107000 nodes, 33348 on tree, -41 best solution, best possible -43 (171.92 seconds)
After 108000 nodes, 33723 on tree, -41 best solution, best possible -43 (173.59 seconds)
After 109000 nodes, 33773 on tree, -41 best solution, best possible -43 (174.83 seconds)
After 110000 nodes, 34258 on tree, -41 best solution, best possible -43 (176.49 seconds)
After 111000 nodes, 34666 on tree, -41 best solution, best possible -43 (178.18 seconds)
After 112000 nodes, 34961 on tree, -41 best solution, best possible -43 (179.81 seconds)
After 113000 nodes, 35011 on tree, -41 best solution, best possible -43 (180.97 seconds)
After 114000 nodes, 35357 on tree, -41 best solution, best possible -43 (182.71 seconds)
After 115000 nodes, 35933 on tree, -41 best solution, best possible -43 (184.31 seconds)
After 116000 nodes, 36431 on tree, -41 best solution, best possible -43 (185.95 seconds)
After 117000 nodes, 36479 on tree, -41 best solution, best possible -43 (187.13 seconds)
After 118000 nodes, 36922 on tree, -41 best solution, best possible -43 (188.72 seconds)
After 119000 nodes, 37292 on tree, -41 best solution, best possible -43 (190.31 seconds)
After 120000 nodes, 37811 on tree, -41 best solution, best possible -43 (191.96 seconds)
After 121000 nodes, 37944 on tree, -41 best solution, best possible -43 (193.30 seconds)
After 122000 nodes, 38297 on tree, -41 best solution, best possible -43 (194.93 seconds)
After 123000 nodes, 38650 on tree, -41 best solution, best possible -43 (196.61 seconds)
After 124000 nodes, 38920 on tree, -41 best solution, best possible -43 (198.32 seconds)
After 125000 nodes, 38978 on tree, -41 best solution, best possible -43 (199.43 seconds)
After 126000 nodes, 39324 on tree, -41 best solution, best possible -43 (201.08 seconds)
After 127000 nodes, 39653 on tree, -41 best solution, best possible -43 (202.75 seconds)
After 128000 nodes, 39872 on tree, -41 best solution, best possible -43 (204.43 seconds)
After 129000 nodes, 39906 on tree, -41 best solution, best possible -43 (205.53 seconds)
After 130000 nodes, 40146 on tree, -41 best solution, best possible -43 (207.24 seconds)
After 131000 nodes, 40454 on tree, -41 best solution, best possible -43 (208.89 seconds)
After 132000 nodes, 40787 on tree, -41 best solution, best possible -43 (210.55 seconds)
After 133000 nodes, 40779 on tree, -41 best solution, best possible -43 (211.72 seconds)
After 134000 nodes, 41206 on tree, -41 best solution, best possible -43 (213.34 seconds)
After 135000 nodes, 41535 on tree, -41 best solution, best possible -43 (214.95 seconds)
After 136000 nodes, 41969 on tree, -41 best solution, best possible -43 (216.57 seconds)
After 137000 nodes, 42080 on tree, -41 best solution, best possible -43 (217.87 seconds)
After 138000 nodes, 42489 on tree, -41 best solution, best possible -43 (219.52 seconds)
After 139000 nodes, 42887 on tree, -41 best solution, best possible -43 (221.23 seconds)
After 140000 nodes, 43260 on tree, -41 best solution, best possible -43 (222.88 seconds)
After 141000 nodes, 43282 on tree, -41 best solution, best possible -43 (224.08 seconds)
After 142000 nodes, 43769 on tree, -41 best solution, best possible -43 (225.82 seconds)
After 143000 nodes, 44272 on tree, -41 best solution, best possible -43 (227.41 seconds)
After 144000 nodes, 44785 on tree, -41 best solution, best possible -43 (229.07 seconds)
After 145000 nodes, 44829 on tree, -41 best solution, best possible -43 (230.29 seconds)
After 146000 nodes, 45279 on tree, -41 best solution, best possible -43 (231.95 seconds)
After 147000 nodes, 45653 on tree, -41 best solution, best possible -43 (233.61 seconds)
After 148000 nodes, 46004 on tree, -41 best solution, best possible -43 (235.21 seconds)
After 149000 nodes, 46203 on tree, -41 best solution, best possible -43 (236.58 seconds)
After 150000 nodes, 46627 on tree, -41 best solution, best possible -43 (238.26 seconds)
After 151000 nodes, 46972 on tree, -41 best solution, best possible -43 (240.03 seconds)
After 152000 nodes, 47251 on tree, -41 best solution, best possible -43 (241.76 seconds)
After 153000 nodes, 47354 on tree, -41 best solution, best possible -43 (242.90 seconds)
After 154000 nodes, 47617 on tree, -41 best solution, best possible -43 (244.58 seconds)
After 155000 nodes, 47974 on tree, -41 best solution, best possible -43 (246.24 seconds)
After 156000 nodes, 48141 on tree, -41 best solution, best possible -43 (247.90 seconds)
After 157000 nodes, 48136 on tree, -41 best solution, best possible -43 (249.04 seconds)
After 158000 nodes, 48347 on tree, -41 best solution, best possible -43 (250.74 seconds)
After 159000 nodes, 48644 on tree, -41 best solution, best possible -43 (252.42 seconds)
After 160000 nodes, 48942 on tree, -41 best solution, best possible -43 (254.12 seconds)
After 161000 nodes, 48963 on tree, -41 best solution, best possible -43 (255.30 seconds)
After 162000 nodes, 49391 on tree, -41 best solution, best possible -43 (256.94 seconds)
After 163000 nodes, 49737 on tree, -41 best solution, best possible -43 (258.55 seconds)
After 164000 nodes, 50135 on tree, -41 best solution, best possible -43 (260.14 seconds)
After 165000 nodes, 50163 on tree, -41 best solution, best possible -43 (261.36 seconds)
After 166000 nodes, 50625 on tree, -41 best solution, best possible -43 (262.96 seconds)
After 167000 nodes, 51136 on tree, -41 best solution, best possible -43 (264.66 seconds)
After 168000 nodes, 51442 on tree, -41 best solution, best possible -43 (266.27 seconds)
After 169000 nodes, 51438 on tree, -41 best solution, best possible -43 (267.44 seconds)
After 170000 nodes, 51834 on tree, -41 best solution, best possible -43 (269.15 seconds)
After 171000 nodes, 52387 on tree, -41 best solution, best possible -43 (270.86 seconds)
After 172000 nodes, 52890 on tree, -41 best solution, best possible -43 (272.50 seconds)
After 173000 nodes, 52926 on tree, -41 best solution, best possible -43 (273.77 seconds)
After 174000 nodes, 53427 on tree, -41 best solution, best possible -43 (275.37 seconds)
After 175000 nodes, 53832 on tree, -41 best solution, best possible -43 (276.98 seconds)
After 176000 nodes, 54319 on tree, -41 best solution, best possible -43 (278.59 seconds)
After 177000 nodes, 54418 on tree, -41 best solution, best possible -43 (279.92 seconds)
After 178000 nodes, 54954 on tree, -41 best solution, best possible -43 (281.61 seconds)
After 179000 nodes, 55352 on tree, -41 best solution, best possible -43 (283.27 seconds)
After 180000 nodes, 55739 on tree, -41 best solution, best possible -43 (284.98 seconds)
After 181000 nodes, 55912 on tree, -41 best solution, best possible -43 (286.39 seconds)
After 182000 nodes, 56357 on tree, -41 best solution, best possible -43 (287.97 seconds)
After 183000 nodes, 56752 on tree, -41 best solution, best possible -43 (289.69 seconds)
After 184000 nodes, 57123 on tree, -41 best solution, best possible -43 (291.43 seconds)
After 185000 nodes, 57226 on tree, -41 best solution, best possible -43 (292.72 seconds)
After 186000 nodes, 57559 on tree, -41 best solution, best possible -43 (294.36 seconds)
After 187000 nodes, 57833 on tree, -41 best solution, best possible -43 (295.98 seconds)
After 188000 nodes, 58175 on tree, -41 best solution, best possible -43 (297.59 seconds)
After 189000 nodes, 58231 on tree, -41 best solution, best possible -43 (298.79 seconds)
After 190000 nodes, 58444 on tree, -41 best solution, best possible -43 (300.43 seconds)
After 191000 nodes, 58713 on tree, -41 best solution, best possible -43 (302.03 seconds)
After 192000 nodes, 58924 on tree, -41 best solution, best possible -43 (303.73 seconds)
After 193000 nodes, 58920 on tree, -41 best solution, best possible -43 (304.89 seconds)
After 194000 nodes, 59137 on tree, -41 best solution, best possible -43 (306.58 seconds)
After 195000 nodes, 59477 on tree, -41 best solution, best possible -43 (308.27 seconds)
After 196000 nodes, 59857 on tree, -41 best solution, best possible -43 (309.93 seconds)
After 197000 nodes, 59863 on tree, -41 best solution, best possible -43 (311.12 seconds)
After 198000 nodes, 60273 on tree, -41 best solution, best possible -43 (312.76 seconds)
After 199000 nodes, 60713 on tree, -41 best solution, best possible -43 (314.38 seconds)
After 200000 nodes, 61152 on tree, -41 best solution, best possible -43 (316.10 seconds)
After 201000 nodes, 61206 on tree, -41 best solution, best possible -43 (317.25 seconds)
After 202000 nodes, 61508 on tree, -41 best solution, best possible -43 (318.94 seconds)
After 203000 nodes, 61876 on tree, -41 best solution, best possible -43 (320.59 seconds)
After 204000 nodes, 62257 on tree, -41 best solution, best possible -43 (322.34 seconds)
After 205000 nodes, 62262 on tree, -41 best solution, best possible -43 (323.53 seconds)
After 206000 nodes, 62662 on tree, -41 best solution, best possible -43 (325.25 seconds)
After 207000 nodes, 63049 on tree, -41 best solution, best possible -43 (327.00 seconds)
After 208000 nodes, 63505 on tree, -41 best solution, best possible -43 (328.68 seconds)
After 209000 nodes, 63627 on tree, -41 best solution, best possible -43 (329.97 seconds)
After 210000 nodes, 64173 on tree, -41 best solution, best possible -43 (331.73 seconds)
After 211000 nodes, 64628 on tree, -41 best solution, best possible -43 (333.46 seconds)
After 212000 nodes, 65113 on tree, -41 best solution, best possible -43 (335.15 seconds)
After 213000 nodes, 65227 on tree, -41 best solution, best possible -43 (336.43 seconds)
After 214000 nodes, 65613 on tree, -41 best solution, best possible -43 (338.08 seconds)
After 215000 nodes, 66092 on tree, -41 best solution, best possible -43 (339.77 seconds)
After 216000 nodes, 66556 on tree, -41 best solution, best possible -43 (341.51 seconds)
After 217000 nodes, 66560 on tree, -41 best solution, best possible -43 (342.76 seconds)
After 218000 nodes, 66933 on tree, -41 best solution, best possible -43 (344.50 seconds)
After 219000 nodes, 67217 on tree, -41 best solution, best possible -43 (346.17 seconds)
After 220000 nodes, 67711 on tree, -41 best solution, best possible -43 (347.77 seconds)
After 221000 nodes, 67763 on tree, -41 best solution, best possible -43 (349.07 seconds)
After 222000 nodes, 68078 on tree, -41 best solution, best possible -43 (350.68 seconds)
After 223000 nodes, 68423 on tree, -41 best solution, best possible -43 (352.41 seconds)
After 224000 nodes, 68805 on tree, -41 best solution, best possible -43 (354.16 seconds)
After 225000 nodes, 68887 on tree, -41 best solution, best possible -43 (355.46 seconds)
After 226000 nodes, 69269 on tree, -41 best solution, best possible -43 (357.11 seconds)
After 227000 nodes, 69538 on tree, -41 best solution, best possible -43 (358.72 seconds)
After 228000 nodes, 69809 on tree, -41 best solution, best possible -43 (360.36 seconds)
After 229000 nodes, 69805 on tree, -41 best solution, best possible -43 (361.49 seconds)
After 230000 nodes, 70119 on tree, -41 best solution, best possible -43 (363.15 seconds)
After 231000 nodes, 70370 on tree, -41 best solution, best possible -43 (364.73 seconds)
After 232000 nodes, 70506 on tree, -41 best solution, best possible -43 (366.41 seconds)
After 233000 nodes, 70475 on tree, -41 best solution, best possible -43 (367.58 seconds)
After 234000 nodes, 70702 on tree, -41 best solution, best possible -43 (369.28 seconds)
After 235000 nodes, 70932 on tree, -41 best solution, best possible -43 (371.06 seconds)
After 236000 nodes, 71299 on tree, -41 best solution, best possible -43 (372.79 seconds)
After 237000 nodes, 71324 on tree, -41 best solution, best possible -43 (373.93 seconds)
After 238000 nodes, 71749 on tree, -41 best solution, best possible -43 (375.70 seconds)
After 239000 nodes, 72149 on tree, -41 best solution, best possible -43 (377.32 seconds)
After 240000 nodes, 72417 on tree, -41 best solution, best possible -43 (378.99 seconds)
After 241000 nodes, 72413 on tree, -41 best solution, best possible -43 (380.19 seconds)
After 242000 nodes, 72775 on tree, -41 best solution, best possible -43 (381.96 seconds)
After 243000 nodes, 73191 on tree, -41 best solution, best possible -43 (383.68 seconds)
After 244000 nodes, 73485 on tree, -41 best solution, best possible -43 (385.38 seconds)
After 245000 nodes, 73488 on tree, -41 best solution, best possible -43 (386.57 seconds)
After 246000 nodes, 73782 on tree, -41 best solution, best possible -43 (388.38 seconds)
After 247000 nodes, 74179 on tree, -41 best solution, best possible -43 (390.13 seconds)
After 248000 nodes, 74558 on tree, -41 best solution, best possible -43 (391.94 seconds)
After 249000 nodes, 74633 on tree, -41 best solution, best possible -43 (393.19 seconds)
After 250000 nodes, 75060 on tree, -41 best solution, best possible -43 (394.98 seconds)
After 251000 nodes, 75502 on tree, -41 best solution, best possible -43 (396.75 seconds)
After 252000 nodes, 75987 on tree, -41 best solution, best possible -43 (398.57 seconds)
After 253000 nodes, 76061 on tree, -41 best solution, best possible -43 (399.86 seconds)
After 254000 nodes, 76449 on tree, -41 best solution, best possible -43 (401.62 seconds)
After 255000 nodes, 76859 on tree, -41 best solution, best possible -43 (403.32 seconds)
After 256000 nodes, 77274 on tree, -41 best solution, best possible -43 (405.11 seconds)
After 257000 nodes, 77428 on tree, -41 best solution, best possible -43 (406.34 seconds)
After 258000 nodes, 77871 on tree, -41 best solution, best possible -43 (408.04 seconds)
After 259000 nodes, 78230 on tree, -41 best solution, best possible -43 (409.73 seconds)
After 260000 nodes, 78532 on tree, -41 best solution, best possible -43 (411.51 seconds)
After 261000 nodes, 78642 on tree, -41 best solution, best possible -43 (412.77 seconds)
After 262000 nodes, 79063 on tree, -41 best solution, best possible -43 (414.56 seconds)
After 263000 nodes, 79494 on tree, -41 best solution, best possible -43 (416.27 seconds)
After 264000 nodes, 79757 on tree, -41 best solution, best possible -43 (417.93 seconds)
After 265000 nodes, 79893 on tree, -41 best solution, best possible -43 (419.22 seconds)
After 266000 nodes, 80184 on tree, -41 best solution, best possible -43 (420.89 seconds)
After 267000 nodes, 80589 on tree, -41 best solution, best possible -43 (422.48 seconds)
After 268000 nodes, 80894 on tree, -41 best solution, best possible -43 (424.21 seconds)
After 269000 nodes, 80811 on tree, -41 best solution, best possible -43 (425.38 seconds)
After 270000 nodes, 81170 on tree, -41 best solution, best possible -43 (427.15 seconds)
After 271000 nodes, 81530 on tree, -41 best solution, best possible -43 (428.82 seconds)
After 272000 nodes, 81874 on tree, -41 best solution, best possible -43 (430.43 seconds)
After 273000 nodes, 81963 on tree, -41 best solution, best possible -43 (431.71 seconds)
After 274000 nodes, 82235 on tree, -41 best solution, best possible -43 (433.37 seconds)
After 275000 nodes, 82500 on tree, -41 best solution, best possible -43 (435.00 seconds)
After 276000 nodes, 82736 on tree, -41 best solution, best possible -43 (436.69 seconds)
After 277000 nodes, 82737 on tree, -41 best solution, best possible -43 (437.86 seconds)
After 278000 nodes, 82972 on tree, -41 best solution, best possible -43 (439.48 seconds)
After 279000 nodes, 83203 on tree, -41 best solution, best possible -43 (441.13 seconds)
After 280000 nodes, 83401 on tree, -41 best solution, best possible -43 (442.89 seconds)
After 281000 nodes, 83366 on tree, -41 best solution, best possible -43 (444.05 seconds)
After 282000 nodes, 83624 on tree, -41 best solution, best possible -43 (445.80 seconds)
After 283000 nodes, 83987 on tree, -41 best solution, best possible -43 (447.56 seconds)
After 284000 nodes, 84289 on tree, -41 best solution, best possible -43 (449.28 seconds)
After 285000 nodes, 84355 on tree, -41 best solution, best possible -43 (450.52 seconds)
After 286000 nodes, 84700 on tree, -41 best solution, best possible -43 (452.24 seconds)
After 287000 nodes, 85019 on tree, -41 best solution, best possible -43 (453.92 seconds)
After 288000 nodes, 85455 on tree, -41 best solution, best possible -43 (455.67 seconds)
After 289000 nodes, 85461 on tree, -41 best solution, best possible -43 (456.79 seconds)
After 290000 nodes, 85792 on tree, -41 best solution, best possible -43 (458.52 seconds)
After 291000 nodes, 86099 on tree, -41 best solution, best possible -43 (460.27 seconds)
After 292000 nodes, 86397 on tree, -41 best solution, best possible -43 (461.95 seconds)
After 293000 nodes, 86378 on tree, -41 best solution, best possible -43 (463.08 seconds)
After 294000 nodes, 86676 on tree, -41 best solution, best possible -43 (464.87 seconds)
After 295000 nodes, 87015 on tree, -41 best solution, best possible -43 (466.66 seconds)
After 296000 nodes, 87396 on tree, -41 best solution, best possible -43 (468.51 seconds)
After 297000 nodes, 87432 on tree, -41 best solution, best possible -43 (469.82 seconds)
After 298000 nodes, 87854 on tree, -41 best solution, best possible -43 (471.63 seconds)
After 299000 nodes, 88308 on tree, -41 best solution, best possible -43 (473.40 seconds)
After 300000 nodes, 88647 on tree, -41 best solution, best possible -43 (475.15 seconds)
After 301000 nodes, 88704 on tree, -41 best solution, best possible -43 (476.43 seconds)
After 302000 nodes, 89227 on tree, -41 best solution, best possible -43 (478.19 seconds)
After 303000 nodes, 89603 on tree, -41 best solution, best possible -43 (480.03 seconds)
After 304000 nodes, 89941 on tree, -41 best solution, best possible -43 (481.88 seconds)
After 305000 nodes, 89918 on tree, -41 best solution, best possible -43 (483.10 seconds)
After 306000 nodes, 90289 on tree, -41 best solution, best possible -43 (484.92 seconds)
After 307000 nodes, 90739 on tree, -41 best solution, best possible -43 (486.59 seconds)
After 308000 nodes, 90961 on tree, -41 best solution, best possible -43 (488.31 seconds)
After 309000 nodes, 90984 on tree, -41 best solution, best possible -43 (489.60 seconds)
After 310000 nodes, 91331 on tree, -41 best solution, best possible -43 (491.35 seconds)
After 311000 nodes, 91682 on tree, -41 best solution, best possible -43 (493.15 seconds)
After 312000 nodes, 92131 on tree, -41 best solution, best possible -43 (494.93 seconds)
After 313000 nodes, 92301 on tree, -41 best solution, best possible -43 (496.22 seconds)
After 314000 nodes, 92606 on tree, -41 best solution, best possible -43 (497.90 seconds)
After 315000 nodes, 92932 on tree, -41 best solution, best possible -43 (499.65 seconds)
After 316000 nodes, 93303 on tree, -41 best solution, best possible -43 (501.32 seconds)
After 317000 nodes, 93344 on tree, -41 best solution, best possible -43 (502.61 seconds)
After 318000 nodes, 93701 on tree, -41 best solution, best possible -43 (504.29 seconds)
After 319000 nodes, 93925 on tree, -41 best solution, best possible -43 (505.94 seconds)
After 320000 nodes, 94270 on tree, -41 best solution, best possible -43 (507.61 seconds)
After 321000 nodes, 94292 on tree, -41 best solution, best possible -43 (508.93 seconds)
After 322000 nodes, 94666 on tree, -41 best solution, best possible -43 (510.64 seconds)
After 323000 nodes, 95024 on tree, -41 best solution, best possible -43 (512.34 seconds)
After 324000 nodes, 95278 on tree, -41 best solution, best possible -43 (513.97 seconds)
After 325000 nodes, 95381 on tree, -41 best solution, best possible -43 (515.28 seconds)
After 326000 nodes, 95779 on tree, -41 best solution, best possible -43 (516.98 seconds)
After 327000 nodes, 96031 on tree, -41 best solution, best possible -43 (518.73 seconds)
After 328000 nodes, 96339 on tree, -41 best solution, best possible -43 (520.42 seconds)
After 329000 nodes, 96337 on tree, -41 best solution, best possible -43 (521.56 seconds)
After 330000 nodes, 96588 on tree, -41 best solution, best possible -43 (523.15 seconds)
After 331000 nodes, 96778 on tree, -41 best solution, best possible -43 (524.81 seconds)
After 332000 nodes, 97000 on tree, -41 best solution, best possible -43 (526.61 seconds)
After 333000 nodes, 96949 on tree, -41 best solution, best possible -43 (527.76 seconds)
After 334000 nodes, 97193 on tree, -41 best solution, best possible -43 (529.45 seconds)
After 335000 nodes, 97507 on tree, -41 best solution, best possible -43 (531.15 seconds)
After 336000 nodes, 97773 on tree, -41 best solution, best possible -43 (532.87 seconds)
After 337000 nodes, 97803 on tree, -41 best solution, best possible -43 (534.11 seconds)
After 338000 nodes, 98196 on tree, -41 best solution, best possible -43 (535.82 seconds)
After 339000 nodes, 98546 on tree, -41 best solution, best possible -43 (537.52 seconds)
After 340000 nodes, 98807 on tree, -41 best solution, best possible -43 (539.20 seconds)
After 341000 nodes, 98844 on tree, -41 best solution, best possible -43 (540.44 seconds)
After 342000 nodes, 99217 on tree, -41 best solution, best possible -43 (542.12 seconds)
After 343000 nodes, 99557 on tree, -41 best solution, best possible -43 (543.87 seconds)
After 344000 nodes, 99851 on tree, -41 best solution, best possible -43 (545.57 seconds)
After 345000 nodes, 99839 on tree, -41 best solution, best possible -43 (546.65 seconds)
After 346000 nodes, 100164 on tree, -41 best solution, best possible -43 (548.33 seconds)
After 347000 nodes, 100452 on tree, -41 best solution, best possible -43 (550.01 seconds)
After 348000 nodes, 100739 on tree, -41 best solution, best possible -43 (551.86 seconds)
After 349000 nodes, 100752 on tree, -41 best solution, best possible -43 (553.07 seconds)
After 350000 nodes, 101180 on tree, -41 best solution, best possible -43 (554.74 seconds)
After 351000 nodes, 101577 on tree, -41 best solution, best possible -43 (556.47 seconds)
After 352000 nodes, 101994 on tree, -41 best solution, best possible -43 (558.21 seconds)
After 353000 nodes, 102074 on tree, -41 best solution, best possible -43 (559.52 seconds)
After 354000 nodes, 102425 on tree, -41 best solution, best possible -43 (561.28 seconds)
After 355000 nodes, 102958 on tree, -41 best solution, best possible -43 (562.99 seconds)
After 356000 nodes, 103236 on tree, -41 best solution, best possible -43 (564.66 seconds)
After 357000 nodes, 103293 on tree, -41 best solution, best possible -43 (565.97 seconds)
After 358000 nodes, 103617 on tree, -41 best solution, best possible -43 (567.74 seconds)
After 359000 nodes, 103907 on tree, -41 best solution, best possible -43 (569.44 seconds)
After 360000 nodes, 104305 on tree, -41 best solution, best possible -43 (571.15 seconds)
After 361000 nodes, 104366 on tree, -41 best solution, best possible -43 (572.39 seconds)
After 362000 nodes, 104764 on tree, -41 best solution, best possible -43 (574.06 seconds)
After 363000 nodes, 105035 on tree, -41 best solution, best possible -43 (575.72 seconds)
After 364000 nodes, 105452 on tree, -41 best solution, best possible -43 (577.37 seconds)
After 365000 nodes, 105532 on tree, -41 best solution, best possible -43 (578.62 seconds)
After 366000 nodes, 105828 on tree, -41 best solution, best possible -43 (580.28 seconds)
After 367000 nodes, 106066 on tree, -41 best solution, best possible -43 (582.01 seconds)
After 368000 nodes, 106459 on tree, -41 best solution, best possible -43 (583.68 seconds)
After 369000 nodes, 106524 on tree, -41 best solution, best possible -43 (584.91 seconds)
After 370000 nodes, 107040 on tree, -41 best solution, best possible -43 (586.55 seconds)
After 371000 nodes, 107390 on tree, -41 best solution, best possible -43 (588.16 seconds)
After 372000 nodes, 107623 on tree, -41 best solution, best possible -43 (589.88 seconds)
After 373000 nodes, 107655 on tree, -41 best solution, best possible -43 (591.17 seconds)
After 374000 nodes, 108083 on tree, -41 best solution, best possible -43 (592.82 seconds)
After 375000 nodes, 108360 on tree, -41 best solution, best possible -43 (594.45 seconds)
After 376000 nodes, 108636 on tree, -41 best solution, best possible -43 (596.09 seconds)
After 377000 nodes, 108629 on tree, -41 best solution, best possible -43 (597.34 seconds)
After 378000 nodes, 108989 on tree, -41 best solution, best possible -43 (598.93 seconds)
After 379000 nodes, 109354 on tree, -41 best solution, best possible -43 (600.62 seconds)
After 380000 nodes, 109742 on tree, -41 best solution, best possible -43 (602.33 seconds)
After 381000 nodes, 109815 on tree, -41 best solution, best possible -43 (603.60 seconds)
After 382000 nodes, 110143 on tree, -41 best solution, best possible -43 (605.27 seconds)
After 383000 nodes, 110503 on tree, -41 best solution, best possible -43 (606.94 seconds)
After 384000 nodes, 110717 on tree, -41 best solution, best possible -43 (608.69 seconds)
After 385000 nodes, 110758 on tree, -41 best solution, best possible -43 (609.85 seconds)
After 386000 nodes, 111093 on tree, -41 best solution, best possible -43 (611.53 seconds)
After 387000 nodes, 111375 on tree, -41 best solution, best possible -43 (613.13 seconds)
After 388000 nodes, 111615 on tree, -41 best solution, best possible -43 (614.85 seconds)
After 389000 nodes, 111565 on tree, -41 best solution, best possible -43 (616.01 seconds)
After 390000 nodes, 111727 on tree, -41 best solution, best possible -43 (617.59 seconds)
After 391000 nodes, 111975 on tree, -41 best solution, best possible -43 (619.21 seconds)
After 392000 nodes, 112333 on tree, -41 best solution, best possible -43 (620.96 seconds)
After 393000 nodes, 112396 on tree, -41 best solution, best possible -43 (622.23 seconds)
After 394000 nodes, 112738 on tree, -41 best solution, best possible -43 (623.85 seconds)
After 395000 nodes, 112987 on tree, -41 best solution, best possible -43 (625.47 seconds)
After 396000 nodes, 113292 on tree, -41 best solution, best possible -43 (627.10 seconds)
After 397000 nodes, 113252 on tree, -41 best solution, best possible -43 (628.23 seconds)
After 398000 nodes, 113636 on tree, -41 best solution, best possible -43 (629.86 seconds)
After 399000 nodes, 114039 on tree, -41 best solution, best possible -43 (631.46 seconds)
After 400000 nodes, 114336 on tree, -41 best solution, best possible -43 (633.12 seconds)
After 401000 nodes, 114324 on tree, -41 best solution, best possible -43 (634.19 seconds)
After 402000 nodes, 114686 on tree, -41 best solution, best possible -43 (635.85 seconds)
After 403000 nodes, 115029 on tree, -41 best solution, best possible -43 (637.41 seconds)
After 404000 nodes, 115352 on tree, -41 best solution, best possible -43 (639.05 seconds)
After 405000 nodes, 115392 on tree, -41 best solution, best possible -43 (640.26 seconds)
After 406000 nodes, 115676 on tree, -41 best solution, best possible -43 (642.00 seconds)
After 407000 nodes, 116065 on tree, -41 best solution, best possible -43 (643.69 seconds)
After 408000 nodes, 116401 on tree, -41 best solution, best possible -43 (645.35 seconds)
After 409000 nodes, 116392 on tree, -41 best solution, best possible -43 (646.58 seconds)
After 410000 nodes, 116781 on tree, -41 best solution, best possible -43 (648.26 seconds)
After 411000 nodes, 117199 on tree, -41 best solution, best possible -43 (650.03 seconds)
After 412000 nodes, 117622 on tree, -41 best solution, best possible -43 (651.72 seconds)
After 413000 nodes, 117742 on tree, -41 best solution, best possible -43 (653.00 seconds)
After 414000 nodes, 118053 on tree, -41 best solution, best possible -43 (654.72 seconds)
After 415000 nodes, 118452 on tree, -41 best solution, best possible -43 (656.41 seconds)
After 416000 nodes, 118924 on tree, -41 best solution, best possible -43 (658.13 seconds)
After 417000 nodes, 119032 on tree, -41 best solution, best possible -43 (659.40 seconds)
After 418000 nodes, 119344 on tree, -41 best solution, best possible -43 (661.11 seconds)
After 419000 nodes, 119643 on tree, -41 best solution, best possible -43 (662.73 seconds)
After 420000 nodes, 119884 on tree, -41 best solution, best possible -43 (664.39 seconds)
After 421000 nodes, 119895 on tree, -41 best solution, best possible -43 (665.63 seconds)
After 422000 nodes, 120408 on tree, -41 best solution, best possible -43 (667.23 seconds)
After 423000 nodes, 120692 on tree, -41 best solution, best possible -43 (668.91 seconds)
After 424000 nodes, 120897 on tree, -41 best solution, best possible -43 (670.59 seconds)
After 425000 nodes, 120719 on tree, -41 best solution, best possible -43 (671.76 seconds)
After 426000 nodes, 121106 on tree, -41 best solution, best possible -43 (673.35 seconds)
After 427000 nodes, 121410 on tree, -41 best solution, best possible -43 (674.99 seconds)
After 428000 nodes, 121720 on tree, -41 best solution, best possible -43 (676.68 seconds)
After 429000 nodes, 121579 on tree, -41 best solution, best possible -43 (677.87 seconds)
After 430000 nodes, 122027 on tree, -41 best solution, best possible -43 (679.51 seconds)
After 431000 nodes, 122348 on tree, -41 best solution, best possible -43 (681.14 seconds)
After 432000 nodes, 122689 on tree, -41 best solution, best possible -43 (682.77 seconds)
After 433000 nodes, 122772 on tree, -41 best solution, best possible -43 (684.12 seconds)
After 434000 nodes, 123034 on tree, -41 best solution, best possible -43 (685.81 seconds)
After 435000 nodes, 123357 on tree, -41 best solution, best possible -43 (687.49 seconds)
After 436000 nodes, 123667 on tree, -41 best solution, best possible -43 (689.17 seconds)
After 437000 nodes, 123704 on tree, -41 best solution, best possible -43 (690.45 seconds)
After 438000 nodes, 123942 on tree, -41 best solution, best possible -43 (692.10 seconds)
After 439000 nodes, 124290 on tree, -41 best solution, best possible -43 (693.76 seconds)
After 440000 nodes, 124594 on tree, -41 best solution, best possible -43 (695.52 seconds)
After 441000 nodes, 124646 on tree, -41 best solution, best possible -43 (696.71 seconds)
After 442000 nodes, 125050 on tree, -41 best solution, best possible -43 (698.36 seconds)
After 443000 nodes, 125457 on tree, -41 best solution, best possible -43 (699.99 seconds)
After 444000 nodes, 125790 on tree, -41 best solution, best possible -43 (701.70 seconds)
After 445000 nodes, 125855 on tree, -41 best solution, best possible -43 (702.98 seconds)
After 446000 nodes, 126152 on tree, -41 best solution, best possible -43 (704.64 seconds)
After 447000 nodes, 126504 on tree, -41 best solution, best possible -43 (706.32 seconds)
After 448000 nodes, 126816 on tree, -41 best solution, best possible -43 (708.00 seconds)
After 449000 nodes, 126839 on tree, -41 best solution, best possible -43 (709.21 seconds)
After 450000 nodes, 127078 on tree, -41 best solution, best possible -43 (710.88 seconds)
After 451000 nodes, 127299 on tree, -41 best solution, best possible -43 (712.52 seconds)
After 452000 nodes, 127491 on tree, -41 best solution, best possible -43 (714.19 seconds)
After 453000 nodes, 127439 on tree, -41 best solution, best possible -43 (715.36 seconds)
After 454000 nodes, 127754 on tree, -41 best solution, best possible -43 (717.04 seconds)
After 455000 nodes, 128120 on tree, -41 best solution, best possible -43 (718.71 seconds)
After 456000 nodes, 128402 on tree, -41 best solution, best possible -43 (720.39 seconds)
After 457000 nodes, 128394 on tree, -41 best solution, best possible -43 (721.59 seconds)
After 458000 nodes, 128708 on tree, -41 best solution, best possible -43 (723.20 seconds)
After 459000 nodes, 129117 on tree, -41 best solution, best possible -43 (724.78 seconds)
After 460000 nodes, 129470 on tree, -41 best solution, best possible -43 (726.39 seconds)
After 461000 nodes, 129401 on tree, -41 best solution, best possible -43 (727.54 seconds)
After 462000 nodes, 129694 on tree, -41 best solution, best possible -43 (729.13 seconds)
After 463000 nodes, 130019 on tree, -41 best solution, best possible -43 (730.79 seconds)
After 464000 nodes, 130371 on tree, -41 best solution, best possible -43 (732.44 seconds)
After 465000 nodes, 130350 on tree, -41 best solution, best possible -43 (733.56 seconds)
After 466000 nodes, 130633 on tree, -41 best solution, best possible -43 (735.21 seconds)
After 467000 nodes, 130943 on tree, -41 best solution, best possible -43 (736.86 seconds)
After 468000 nodes, 131366 on tree, -41 best solution, best possible -43 (738.59 seconds)
After 469000 nodes, 131353 on tree, -41 best solution, best possible -43 (739.77 seconds)
After 470000 nodes, 131574 on tree, -41 best solution, best possible -43 (741.40 seconds)
After 471000 nodes, 131908 on tree, -41 best solution, best possible -43 (743.08 seconds)
After 472000 nodes, 132413 on tree, -41 best solution, best possible -43 (744.75 seconds)
After 473000 nodes, 132403 on tree, -41 best solution, best possible -43 (746.03 seconds)
After 474000 nodes, 132742 on tree, -41 best solution, best possible -43 (747.71 seconds)
After 475000 nodes, 133021 on tree, -41 best solution, best possible -43 (749.45 seconds)
After 476000 nodes, 133355 on tree, -41 best solution, best possible -43 (751.13 seconds)
After 477000 nodes, 133246 on tree, -41 best solution, best possible -43 (752.25 seconds)
After 478000 nodes, 133707 on tree, -41 best solution, best possible -43 (753.94 seconds)
After 479000 nodes, 134082 on tree, -41 best solution, best possible -43 (755.62 seconds)
After 480000 nodes, 134381 on tree, -41 best solution, best possible -43 (757.32 seconds)
After 481000 nodes, 134459 on tree, -41 best solution, best possible -43 (758.54 seconds)
After 482000 nodes, 134834 on tree, -41 best solution, best possible -43 (760.18 seconds)
After 483000 nodes, 135142 on tree, -41 best solution, best possible -43 (761.80 seconds)
After 484000 nodes, 135420 on tree, -41 best solution, best possible -43 (763.44 seconds)
After 485000 nodes, 135326 on tree, -41 best solution, best possible -43 (764.58 seconds)
After 486000 nodes, 135656 on tree, -41 best solution, best possible -43 (766.21 seconds)
After 487000 nodes, 136012 on tree, -41 best solution, best possible -43 (767.83 seconds)
After 488000 nodes, 136256 on tree, -41 best solution, best possible -43 (769.47 seconds)
After 489000 nodes, 136269 on tree, -41 best solution, best possible -43 (770.67 seconds)
After 490000 nodes, 136498 on tree, -41 best solution, best possible -43 (772.29 seconds)
After 491000 nodes, 136803 on tree, -41 best solution, best possible -43 (773.87 seconds)
After 492000 nodes, 137070 on tree, -41 best solution, best possible -43 (775.54 seconds)
After 493000 nodes, 136974 on tree, -41 best solution, best possible -43 (776.64 seconds)
After 494000 nodes, 137269 on tree, -41 best solution, best possible -43 (778.30 seconds)
After 495000 nodes, 137755 on tree, -41 best solution, best possible -43 (779.94 seconds)
After 496000 nodes, 138090 on tree, -41 best solution, best possible -43 (781.63 seconds)
After 497000 nodes, 138021 on tree, -41 best solution, best possible -43 (782.84 seconds)
After 498000 nodes, 138320 on tree, -41 best solution, best possible -43 (784.50 seconds)
After 499000 nodes, 138759 on tree, -41 best solution, best possible -43 (786.18 seconds)
After 500000 nodes, 138908 on tree, -41 best solution, best possible -43 (787.90 seconds)
After 501000 nodes, 138888 on tree, -41 best solution, best possible -43 (789.04 seconds)
After 502000 nodes, 139172 on tree, -41 best solution, best possible -43 (790.82 seconds)
After 503000 nodes, 139512 on tree, -41 best solution, best possible -43 (792.47 seconds)
After 504000 nodes, 139789 on tree, -41 best solution, best possible -43 (794.17 seconds)
After 505000 nodes, 139801 on tree, -41 best solution, best possible -43 (795.36 seconds)
After 506000 nodes, 140033 on tree, -41 best solution, best possible -43 (797.02 seconds)
After 507000 nodes, 140472 on tree, -41 best solution, best possible -43 (798.75 seconds)
After 508000 nodes, 140897 on tree, -41 best solution, best possible -43 (800.47 seconds)
After 509000 nodes, 140842 on tree, -41 best solution, best possible -43 (801.66 seconds)
After 510000 nodes, 141147 on tree, -41 best solution, best possible -43 (803.33 seconds)
After 511000 nodes, 141465 on tree, -41 best solution, best possible -43 (805.00 seconds)
After 512000 nodes, 141908 on tree, -41 best solution, best possible -43 (806.73 seconds)
After 513000 nodes, 141897 on tree, -41 best solution, best possible -43 (807.84 seconds)
After 514000 nodes, 142182 on tree, -41 best solution, best possible -43 (809.55 seconds)
After 515000 nodes, 142525 on tree, -41 best solution, best possible -43 (811.20 seconds)
After 516000 nodes, 142872 on tree, -41 best solution, best possible -43 (812.92 seconds)
After 517000 nodes, 142852 on tree, -41 best solution, best possible -43 (814.05 seconds)
After 518000 nodes, 143054 on tree, -41 best solution, best possible -43 (815.83 seconds)
After 519000 nodes, 143233 on tree, -41 best solution, best possible -43 (817.45 seconds)
After 520000 nodes, 143599 on tree, -41 best solution, best possible -43 (819.15 seconds)
After 521000 nodes, 143526 on tree, -41 best solution, best possible -43 (820.32 seconds)
After 522000 nodes, 143805 on tree, -41 best solution, best possible -43 (822.02 seconds)
After 523000 nodes, 144085 on tree, -41 best solution, best possible -43 (823.70 seconds)
After 524000 nodes, 144488 on tree, -41 best solution, best possible -43 (825.34 seconds)
After 525000 nodes, 144477 on tree, -41 best solution, best possible -43 (826.55 seconds)
After 526000 nodes, 144836 on tree, -41 best solution, best possible -43 (828.18 seconds)
After 527000 nodes, 145181 on tree, -41 best solution, best possible -43 (829.75 seconds)
After 528000 nodes, 145564 on tree, -41 best solution, best possible -43 (831.44 seconds)
After 529000 nodes, 145549 on tree, -41 best solution, best possible -43 (832.60 seconds)
After 530000 nodes, 145885 on tree, -41 best solution, best possible -43 (834.25 seconds)
After 531000 nodes, 146157 on tree, -41 best solution, best possible -43 (835.93 seconds)
After 532000 nodes, 146484 on tree, -41 best solution, best possible -43 (837.67 seconds)
After 533000 nodes, 146432 on tree, -41 best solution, best possible -43 (838.81 seconds)
After 534000 nodes, 146741 on tree, -41 best solution, best possible -43 (840.54 seconds)
After 535000 nodes, 147015 on tree, -41 best solution, best possible -43 (842.23 seconds)
After 536000 nodes, 147386 on tree, -41 best solution, best possible -43 (843.92 seconds)
After 537000 nodes, 147367 on tree, -41 best solution, best possible -43 (845.08 seconds)
After 538000 nodes, 147634 on tree, -41 best solution, best possible -43 (846.75 seconds)
After 539000 nodes, 147969 on tree, -41 best solution, best possible -43 (848.39 seconds)
After 540000 nodes, 148345 on tree, -41 best solution, best possible -43 (850.13 seconds)
After 541000 nodes, 148384 on tree, -41 best solution, best possible -43 (851.35 seconds)
After 542000 nodes, 148828 on tree, -41 best solution, best possible -43 (853.06 seconds)
After 543000 nodes, 149212 on tree, -41 best solution, best possible -43 (859.51 seconds)
After 544000 nodes, 149548 on tree, -41 best solution, best possible -43 (865.00 seconds)
After 545000 nodes, 149582 on tree, -41 best solution, best possible -43 (868.58 seconds)
After 546000 nodes, 149923 on tree, -41 best solution, best possible -43 (870.33 seconds)
After 547000 nodes, 150274 on tree, -41 best solution, best possible -43 (872.00 seconds)
After 548000 nodes, 150650 on tree, -41 best solution, best possible -43 (873.75 seconds)
After 549000 nodes, 150711 on tree, -41 best solution, best possible -43 (874.95 seconds)
After 550000 nodes, 151122 on tree, -41 best solution, best possible -43 (876.65 seconds)
After 551000 nodes, 151427 on tree, -41 best solution, best possible -43 (878.29 seconds)
After 552000 nodes, 151721 on tree, -41 best solution, best possible -43 (879.96 seconds)
After 553000 nodes, 151652 on tree, -41 best solution, best possible -43 (881.10 seconds)
After 554000 nodes, 151959 on tree, -41 best solution, best possible -43 (882.78 seconds)
After 555000 nodes, 152229 on tree, -41 best solution, best possible -43 (884.41 seconds)
After 556000 nodes, 152537 on tree, -41 best solution, best possible -43 (886.07 seconds)
After 557000 nodes, 152501 on tree, -41 best solution, best possible -43 (887.28 seconds)
After 558000 nodes, 152841 on tree, -41 best solution, best possible -43 (888.95 seconds)
After 559000 nodes, 153067 on tree, -41 best solution, best possible -43 (890.60 seconds)
After 560000 nodes, 153268 on tree, -41 best solution, best possible -43 (892.26 seconds)
After 561000 nodes, 153283 on tree, -41 best solution, best possible -43 (893.44 seconds)
After 562000 nodes, 153549 on tree, -41 best solution, best possible -43 (895.05 seconds)
After 563000 nodes, 153868 on tree, -41 best solution, best possible -43 (896.78 seconds)
After 564000 nodes, 154205 on tree, -41 best solution, best possible -43 (898.44 seconds)
After 565000 nodes, 154251 on tree, -41 best solution, best possible -43 (899.73 seconds)
After 566000 nodes, 154631 on tree, -41 best solution, best possible -43 (901.42 seconds)
After 567000 nodes, 155058 on tree, -41 best solution, best possible -43 (903.14 seconds)
After 568000 nodes, 155340 on tree, -41 best solution, best possible -43 (904.86 seconds)
After 569000 nodes, 155228 on tree, -41 best solution, best possible -43 (906.04 seconds)
After 570000 nodes, 155502 on tree, -41 best solution, best possible -43 (907.74 seconds)
After 571000 nodes, 155856 on tree, -41 best solution, best possible -43 (909.44 seconds)
After 572000 nodes, 156179 on tree, -41 best solution, best possible -43 (911.25 seconds)
After 573000 nodes, 156162 on tree, -41 best solution, best possible -43 (912.48 seconds)
After 574000 nodes, 156383 on tree, -41 best solution, best possible -43 (914.13 seconds)
After 575000 nodes, 156726 on tree, -41 best solution, best possible -43 (915.86 seconds)
After 576000 nodes, 156645 on tree, -41 best solution, best possible -43 (916.80 seconds)
After 577000 nodes, 156590 on tree, -41 best solution, best possible -43 (917.91 seconds)
After 578000 nodes, 156887 on tree, -41 best solution, best possible -43 (919.64 seconds)
After 579000 nodes, 156816 on tree, -41 best solution, best possible -43 (920.79 seconds)
After 580000 nodes, 156748 on tree, -41 best solution, best possible -43 (921.91 seconds)
After 581000 nodes, 156725 on tree, -41 best solution, best possible -43 (923.00 seconds)
After 582000 nodes, 156701 on tree, -41 best solution, best possible -43 (924.03 seconds)
After 583000 nodes, 156460 on tree, -41 best solution, best possible -43 (925.12 seconds)
After 584000 nodes, 156740 on tree, -41 best solution, best possible -43 (926.98 seconds)
After 585000 nodes, 156713 on tree, -41 best solution, best possible -43 (928.03 seconds)
After 586000 nodes, 156693 on tree, -41 best solution, best possible -43 (929.04 seconds)
After 587000 nodes, 156674 on tree, -41 best solution, best possible -43 (930.11 seconds)
After 588000 nodes, 156668 on tree, -41 best solution, best possible -43 (931.11 seconds)
After 589000 nodes, 156602 on tree, -41 best solution, best possible -43 (932.25 seconds)
After 590000 nodes, 157006 on tree, -41 best solution, best possible -43 (934.09 seconds)
After 591000 nodes, 156816 on tree, -41 best solution, best possible -43 (935.16 seconds)
After 592000 nodes, 156688 on tree, -41 best solution, best possible -43 (936.25 seconds)
After 593000 nodes, 156678 on tree, -41 best solution, best possible -43 (937.27 seconds)
After 594000 nodes, 156676 on tree, -41 best solution, best possible -43 (938.33 seconds)
After 595000 nodes, 156668 on tree, -41 best solution, best possible -43 (939.33 seconds)
After 596000 nodes, 156653 on tree, -41 best solution, best possible -43 (940.35 seconds)
After 597000 nodes, 156635 on tree, -41 best solution, best possible -43 (941.50 seconds)
After 598000 nodes, 157040 on tree, -41 best solution, best possible -43 (943.31 seconds)
After 599000 nodes, 157026 on tree, -41 best solution, best possible -43 (944.36 seconds)
After 600000 nodes, 157011 on tree, -41 best solution, best possible -43 (945.37 seconds)
After 601000 nodes, 157003 on tree, -41 best solution, best possible -43 (946.46 seconds)
After 602000 nodes, 156987 on tree, -41 best solution, best possible -43 (947.56 seconds)
After 603000 nodes, 156827 on tree, -41 best solution, best possible -43 (948.56 seconds)
After 604000 nodes, 156662 on tree, -41 best solution, best possible -43 (949.55 seconds)
After 605000 nodes, 156514 on tree, -41 best solution, best possible -43 (950.71 seconds)
After 606000 nodes, 156828 on tree, -41 best solution, best possible -43 (952.50 seconds)
After 607000 nodes, 156693 on tree, -41 best solution, best possible -43 (953.58 seconds)
After 608000 nodes, 156674 on tree, -41 best solution, best possible -43 (954.64 seconds)
After 609000 nodes, 156674 on tree, -41 best solution, best possible -43 (955.70 seconds)
After 610000 nodes, 156674 on tree, -41 best solution, best possible -43 (956.78 seconds)
After 611000 nodes, 156678 on tree, -41 best solution, best possible -43 (957.81 seconds)
After 612000 nodes, 156673 on tree, -41 best solution, best possible -43 (958.98 seconds)
After 613000 nodes, 156673 on tree, -41 best solution, best possible -43 (960.07 seconds)
After 614000 nodes, 156666 on tree, -41 best solution, best possible -43 (961.13 seconds)
After 615000 nodes, 156665 on tree, -41 best solution, best possible -43 (962.19 seconds)
After 616000 nodes, 156655 on tree, -41 best solution, best possible -43 (963.23 seconds)
After 617000 nodes, 156646 on tree, -41 best solution, best possible -43 (964.34 seconds)
After 618000 nodes, 156636 on tree, -41 best solution, best possible -43 (965.44 seconds)
After 619000 nodes, 156946 on tree, -41 best solution, best possible -43 (967.17 seconds)
After 620000 nodes, 156939 on tree, -41 best solution, best possible -43 (968.18 seconds)
After 621000 nodes, 156923 on tree, -41 best solution, best possible -43 (969.28 seconds)
After 622000 nodes, 156915 on tree, -41 best solution, best possible -43 (970.39 seconds)
After 623000 nodes, 156910 on tree, -41 best solution, best possible -43 (971.48 seconds)
After 624000 nodes, 156892 on tree, -41 best solution, best possible -43 (972.62 seconds)
After 625000 nodes, 156876 on tree, -41 best solution, best possible -43 (973.64 seconds)
After 626000 nodes, 156873 on tree, -41 best solution, best possible -43 (974.65 seconds)
After 627000 nodes, 156870 on tree, -41 best solution, best possible -43 (975.70 seconds)
After 628000 nodes, 156857 on tree, -41 best solution, best possible -43 (976.88 seconds)
After 629000 nodes, 156852 on tree, -41 best solution, best possible -43 (978.02 seconds)
After 630000 nodes, 156849 on tree, -41 best solution, best possible -43 (979.11 seconds)
After 631000 nodes, 156840 on tree, -41 best solution, best possible -43 (980.15 seconds)
After 632000 nodes, 156837 on tree, -41 best solution, best possible -43 (981.27 seconds)
After 633000 nodes, 156832 on tree, -41 best solution, best possible -43 (982.59 seconds)
After 634000 nodes, 156820 on tree, -41 best solution, best possible -43 (983.76 seconds)
After 635000 nodes, 156826 on tree, -41 best solution, best possible -43 (984.99 seconds)
After 636000 nodes, 156810 on tree, -41 best solution, best possible -43 (986.03 seconds)
After 637000 nodes, 156685 on tree, -41 best solution, best possible -43 (987.08 seconds)
After 638000 nodes, 156382 on tree, -41 best solution, best possible -43 (988.15 seconds)
After 639000 nodes, 156695 on tree, -41 best solution, best possible -43 (989.92 seconds)
After 640000 nodes, 156463 on tree, -41 best solution, best possible -43 (990.94 seconds)
After 641000 nodes, 156449 on tree, -41 best solution, best possible -43 (992.09 seconds)
After 642000 nodes, 156823 on tree, -41 best solution, best possible -43 (993.89 seconds)
After 643000 nodes, 156733 on tree, -41 best solution, best possible -43 (994.91 seconds)
After 644000 nodes, 156652 on tree, -41 best solution, best possible -43 (995.93 seconds)
After 645000 nodes, 156634 on tree, -41 best solution, best possible -43 (997.09 seconds)
After 646000 nodes, 156897 on tree, -41 best solution, best possible -43 (998.91 seconds)
After 647000 nodes, 156745 on tree, -41 best solution, best possible -43 (1000.03 seconds)
After 648000 nodes, 156618 on tree, -41 best solution, best possible -43 (1001.39 seconds)
After 649000 nodes, 156697 on tree, -41 best solution, best possible -43 (1002.76 seconds)
After 650000 nodes, 156627 on tree, -41 best solution, best possible -43 (1004.02 seconds)
After 651000 nodes, 156828 on tree, -41 best solution, best possible -43 (1005.93 seconds)
After 652000 nodes, 156694 on tree, -41 best solution, best possible -43 (1007.12 seconds)
After 653000 nodes, 156606 on tree, -41 best solution, best possible -43 (1008.54 seconds)
After 654000 nodes, 156753 on tree, -41 best solution, best possible -43 (1010.58 seconds)
After 655000 nodes, 156615 on tree, -41 best solution, best possible -43 (1011.96 seconds)
After 656000 nodes, 156932 on tree, -41 best solution, best possible -43 (1013.80 seconds)
After 657000 nodes, 156895 on tree, -41 best solution, best possible -43 (1014.92 seconds)
After 658000 nodes, 156846 on tree, -41 best solution, best possible -43 (1016.03 seconds)
After 659000 nodes, 156846 on tree, -41 best solution, best possible -43 (1017.13 seconds)
After 660000 nodes, 156846 on tree, -41 best solution, best possible -43 (1018.28 seconds)
After 661000 nodes, 156803 on tree, -41 best solution, best possible -43 (1019.33 seconds)
After 662000 nodes, 156800 on tree, -41 best solution, best possible -43 (1020.36 seconds)
After 663000 nodes, 156803 on tree, -41 best solution, best possible -43 (1021.47 seconds)
After 664000 nodes, 156805 on tree, -41 best solution, best possible -43 (1022.57 seconds)
After 665000 nodes, 156801 on tree, -41 best solution, best possible -43 (1023.65 seconds)
After 666000 nodes, 156707 on tree, -41 best solution, best possible -43 (1024.80 seconds)
After 667000 nodes, 156647 on tree, -41 best solution, best possible -43 (1025.99 seconds)
After 668000 nodes, 156533 on tree, -41 best solution, best possible -43 (1027.06 seconds)
After 669000 nodes, 156514 on tree, -41 best solution, best possible -43 (1028.32 seconds)
After 670000 nodes, 156824 on tree, -41 best solution, best possible -43 (1030.15 seconds)
After 671000 nodes, 156744 on tree, -41 best solution, best possible -43 (1031.21 seconds)
After 672000 nodes, 156712 on tree, -41 best solution, best possible -43 (1032.30 seconds)
After 673000 nodes, 156692 on tree, -41 best solution, best possible -43 (1033.33 seconds)
After 674000 nodes, 156690 on tree, -41 best solution, best possible -43 (1034.40 seconds)
After 675000 nodes, 156690 on tree, -41 best solution, best possible -43 (1035.44 seconds)
After 676000 nodes, 156692 on tree, -41 best solution, best possible -43 (1036.52 seconds)
After 677000 nodes, 156690 on tree, -41 best solution, best possible -43 (1037.52 seconds)
After 678000 nodes, 156692 on tree, -41 best solution, best possible -43 (1038.59 seconds)
After 679000 nodes, 156685 on tree, -41 best solution, best possible -43 (1039.66 seconds)
After 680000 nodes, 156665 on tree, -41 best solution, best possible -43 (1040.85 seconds)
After 681000 nodes, 156640 on tree, -41 best solution, best possible -43 (1042.01 seconds)
After 682000 nodes, 156935 on tree, -41 best solution, best possible -43 (1043.80 seconds)
After 683000 nodes, 156918 on tree, -41 best solution, best possible -43 (1044.94 seconds)
After 684000 nodes, 156888 on tree, -41 best solution, best possible -43 (1046.12 seconds)
After 685000 nodes, 156864 on tree, -41 best solution, best possible -43 (1047.25 seconds)
After 686000 nodes, 156857 on tree, -41 best solution, best possible -43 (1048.31 seconds)
After 687000 nodes, 156841 on tree, -41 best solution, best possible -43 (1049.33 seconds)
After 688000 nodes, 156835 on tree, -41 best solution, best possible -43 (1050.40 seconds)
After 689000 nodes, 156827 on tree, -41 best solution, best possible -43 (1051.43 seconds)
After 690000 nodes, 156807 on tree, -41 best solution, best possible -43 (1052.49 seconds)
After 691000 nodes, 156805 on tree, -41 best solution, best possible -43 (1053.55 seconds)
After 692000 nodes, 156797 on tree, -41 best solution, best possible -43 (1054.70 seconds)
After 693000 nodes, 156786 on tree, -41 best solution, best possible -43 (1055.73 seconds)
After 694000 nodes, 156770 on tree, -41 best solution, best possible -43 (1056.86 seconds)
After 695000 nodes, 156764 on tree, -41 best solution, best possible -43 (1057.97 seconds)
After 696000 nodes, 156761 on tree, -41 best solution, best possible -43 (1058.99 seconds)
After 697000 nodes, 156754 on tree, -41 best solution, best possible -43 (1060.14 seconds)
After 698000 nodes, 156726 on tree, -41 best solution, best possible -43 (1061.28 seconds)
After 699000 nodes, 156722 on tree, -41 best solution, best possible -43 (1062.53 seconds)
After 700000 nodes, 156722 on tree, -41 best solution, best possible -43 (1063.63 seconds)
After 701000 nodes, 156711 on tree, -41 best solution, best possible -43 (1064.85 seconds)
After 702000 nodes, 156687 on tree, -41 best solution, best possible -43 (1066.08 seconds)
After 703000 nodes, 156653 on tree, -41 best solution, best possible -43 (1067.31 seconds)
After 704000 nodes, 156639 on tree, -41 best solution, best possible -43 (1068.55 seconds)
After 705000 nodes, 156713 on tree, -41 best solution, best possible -43 (1069.88 seconds)
After 706000 nodes, 156688 on tree, -41 best solution, best possible -43 (1071.00 seconds)
After 707000 nodes, 156656 on tree, -41 best solution, best possible -43 (1072.24 seconds)
After 708000 nodes, 156653 on tree, -41 best solution, best possible -43 (1073.53 seconds)
After 709000 nodes, 156635 on tree, -41 best solution, best possible -43 (1074.69 seconds)
After 710000 nodes, 156974 on tree, -41 best solution, best possible -43 (1076.44 seconds)
After 711000 nodes, 156954 on tree, -41 best solution, best possible -43 (1077.49 seconds)
After 712000 nodes, 156944 on tree, -41 best solution, best possible -43 (1078.63 seconds)
After 713000 nodes, 156943 on tree, -41 best solution, best possible -43 (1079.68 seconds)
After 714000 nodes, 156934 on tree, -41 best solution, best possible -43 (1080.85 seconds)
After 715000 nodes, 156927 on tree, -41 best solution, best possible -43 (1082.00 seconds)
After 716000 nodes, 156924 on tree, -41 best solution, best possible -43 (1083.08 seconds)
After 717000 nodes, 156904 on tree, -41 best solution, best possible -43 (1084.31 seconds)
After 718000 nodes, 156899 on tree, -41 best solution, best possible -43 (1085.57 seconds)
After 719000 nodes, 156885 on tree, -41 best solution, best possible -43 (1086.82 seconds)
After 720000 nodes, 156868 on tree, -41 best solution, best possible -43 (1088.25 seconds)
After 721000 nodes, 156850 on tree, -41 best solution, best possible -43 (1089.47 seconds)
After 722000 nodes, 156823 on tree, -41 best solution, best possible -43 (1090.80 seconds)
After 723000 nodes, 156816 on tree, -41 best solution, best possible -43 (1092.02 seconds)
After 724000 nodes, 156805 on tree, -41 best solution, best possible -43 (1093.22 seconds)
After 725000 nodes, 156783 on tree, -41 best solution, best possible -43 (1094.31 seconds)
After 726000 nodes, 156762 on tree, -41 best solution, best possible -43 (1095.45 seconds)
After 727000 nodes, 156761 on tree, -41 best solution, best possible -43 (1096.65 seconds)
After 728000 nodes, 156739 on tree, -41 best solution, best possible -43 (1097.96 seconds)
After 729000 nodes, 156721 on tree, -41 best solution, best possible -43 (1099.22 seconds)
After 730000 nodes, 156699 on tree, -41 best solution, best possible -43 (1100.55 seconds)
After 731000 nodes, 156672 on tree, -41 best solution, best possible -43 (1101.78 seconds)
After 732000 nodes, 156442 on tree, -41 best solution, best possible -43 (1102.86 seconds)
After 733000 nodes, 156546 on tree, -41 best solution, best possible -43 (1104.16 seconds)
After 734000 nodes, 156937 on tree, -41 best solution, best possible -43 (1105.95 seconds)
After 735000 nodes, 156884 on tree, -41 best solution, best possible -43 (1106.99 seconds)
After 736000 nodes, 156412 on tree, -41 best solution, best possible -43 (1108.04 seconds)
After 737000 nodes, 156516 on tree, -41 best solution, best possible -43 (1109.42 seconds)
After 738000 nodes, 156865 on tree, -41 best solution, best possible -43 (1111.33 seconds)
After 739000 nodes, 156842 on tree, -41 best solution, best possible -43 (1112.65 seconds)
After 740000 nodes, 156442 on tree, -41 best solution, best possible -43 (1113.98 seconds)
After 741000 nodes, 156508 on tree, -41 best solution, best possible -43 (1115.57 seconds)
After 742000 nodes, 156797 on tree, -41 best solution, best possible -43 (1117.49 seconds)
After 743000 nodes, 156770 on tree, -41 best solution, best possible -43 (1118.59 seconds)
After 744000 nodes, 156686 on tree, -41 best solution, best possible -43 (1119.65 seconds)
After 745000 nodes, 156609 on tree, -41 best solution, best possible -43 (1120.89 seconds)
After 746000 nodes, 156969 on tree, -41 best solution, best possible -43 (1122.71 seconds)
After 747000 nodes, 156816 on tree, -41 best solution, best possible -43 (1123.93 seconds)
After 748000 nodes, 156741 on tree, -41 best solution, best possible -43 (1125.05 seconds)
After 749000 nodes, 156673 on tree, -41 best solution, best possible -43 (1126.16 seconds)
After 750000 nodes, 156543 on tree, -41 best solution, best possible -43 (1127.63 seconds)
After 751000 nodes, 156840 on tree, -41 best solution, best possible -43 (1129.54 seconds)
After 752000 nodes, 156716 on tree, -41 best solution, best possible -43 (1130.69 seconds)
After 753000 nodes, 156578 on tree, -41 best solution, best possible -43 (1131.91 seconds)
After 754000 nodes, 156873 on tree, -41 best solution, best possible -43 (1133.77 seconds)
After 755000 nodes, 156737 on tree, -41 best solution, best possible -43 (1135.05 seconds)
After 756000 nodes, 156634 on tree, -41 best solution, best possible -43 (1136.41 seconds)
After 757000 nodes, 156643 on tree, -41 best solution, best possible -43 (1137.60 seconds)
After 758000 nodes, 156600 on tree, -41 best solution, best possible -43 (1138.82 seconds)
After 759000 nodes, 156871 on tree, -41 best solution, best possible -43 (1140.78 seconds)
After 760000 nodes, 156866 on tree, -41 best solution, best possible -43 (1141.95 seconds)
After 761000 nodes, 156853 on tree, -41 best solution, best possible -43 (1143.28 seconds)
After 762000 nodes, 156845 on tree, -41 best solution, best possible -43 (1144.48 seconds)
After 763000 nodes, 156768 on tree, -41 best solution, best possible -43 (1145.64 seconds)
After 764000 nodes, 156750 on tree, -41 best solution, best possible -43 (1146.71 seconds)
After 765000 nodes, 156744 on tree, -41 best solution, best possible -43 (1147.70 seconds)
After 766000 nodes, 156705 on tree, -41 best solution, best possible -43 (1148.84 seconds)
After 767000 nodes, 156654 on tree, -41 best solution, best possible -43 (1149.92 seconds)
After 768000 nodes, 156556 on tree, -41 best solution, best possible -43 (1151.12 seconds)
After 769000 nodes, 156557 on tree, -41 best solution, best possible -43 (1152.27 seconds)
After 770000 nodes, 156850 on tree, -41 best solution, best possible -43 (1153.98 seconds)
After 771000 nodes, 156767 on tree, -41 best solution, best possible -43 (1155.06 seconds)
After 772000 nodes, 156734 on tree, -41 best solution, best possible -43 (1156.26 seconds)
After 773000 nodes, 156658 on tree, -41 best solution, best possible -43 (1157.52 seconds)
After 774000 nodes, 156581 on tree, -41 best solution, best possible -43 (1158.69 seconds)
After 775000 nodes, 156920 on tree, -41 best solution, best possible -43 (1160.54 seconds)
After 776000 nodes, 156876 on tree, -41 best solution, best possible -43 (1161.75 seconds)
After 777000 nodes, 156787 on tree, -41 best solution, best possible -43 (1162.92 seconds)
After 778000 nodes, 156749 on tree, -41 best solution, best possible -43 (1164.05 seconds)
After 779000 nodes, 156743 on tree, -41 best solution, best possible -43 (1165.14 seconds)
After 780000 nodes, 156743 on tree, -41 best solution, best possible -43 (1166.27 seconds)
After 781000 nodes, 156743 on tree, -41 best solution, best possible -43 (1167.45 seconds)
After 782000 nodes, 156742 on tree, -41 best solution, best possible -43 (1168.75 seconds)
After 783000 nodes, 156721 on tree, -41 best solution, best possible -43 (1169.93 seconds)
After 784000 nodes, 156716 on tree, -41 best solution, best possible -43 (1171.13 seconds)
After 785000 nodes, 156711 on tree, -41 best solution, best possible -43 (1172.30 seconds)
After 786000 nodes, 156669 on tree, -41 best solution, best possible -43 (1173.49 seconds)
After 787000 nodes, 156651 on tree, -41 best solution, best possible -43 (1174.73 seconds)
After 788000 nodes, 156585 on tree, -41 best solution, best possible -43 (1175.91 seconds)
After 789000 nodes, 156583 on tree, -41 best solution, best possible -43 (1177.09 seconds)
After 790000 nodes, 156862 on tree, -41 best solution, best possible -43 (1178.88 seconds)
After 791000 nodes, 156792 on tree, -41 best solution, best possible -43 (1180.00 seconds)
After 792000 nodes, 156727 on tree, -41 best solution, best possible -43 (1181.11 seconds)
After 793000 nodes, 156725 on tree, -41 best solution, best possible -43 (1182.39 seconds)
After 794000 nodes, 156653 on tree, -41 best solution, best possible -43 (1183.63 seconds)
After 795000 nodes, 156520 on tree, -41 best solution, best possible -43 (1184.82 seconds)
After 796000 nodes, 156849 on tree, -41 best solution, best possible -43 (1186.60 seconds)
After 797000 nodes, 156818 on tree, -41 best solution, best possible -43 (1187.74 seconds)
After 798000 nodes, 156810 on tree, -41 best solution, best possible -43 (1188.83 seconds)
After 799000 nodes, 156728 on tree, -41 best solution, best possible -43 (1189.96 seconds)
After 800000 nodes, 156723 on tree, -41 best solution, best possible -43 (1191.00 seconds)
After 801000 nodes, 156724 on tree, -41 best solution, best possible -43 (1192.10 seconds)
After 802000 nodes, 156724 on tree, -41 best solution, best possible -43 (1193.26 seconds)
After 803000 nodes, 156726 on tree, -41 best solution, best possible -43 (1194.33 seconds)
After 804000 nodes, 156726 on tree, -41 best solution, best possible -43 (1195.39 seconds)
After 805000 nodes, 156724 on tree, -41 best solution, best possible -43 (1196.40 seconds)
After 806000 nodes, 156729 on tree, -41 best solution, best possible -43 (1197.44 seconds)
After 807000 nodes, 156725 on tree, -41 best solution, best possible -43 (1198.41 seconds)
After 808000 nodes, 156723 on tree, -41 best solution, best possible -43 (1199.44 seconds)
After 809000 nodes, 156723 on tree, -41 best solution, best possible -43 (1200.46 seconds)
After 810000 nodes, 156724 on tree, -41 best solution, best possible -43 (1201.60 seconds)
After 811000 nodes, 156723 on tree, -41 best solution, best possible -43 (1202.61 seconds)
After 812000 nodes, 156723 on tree, -41 best solution, best possible -43 (1203.70 seconds)
After 813000 nodes, 156731 on tree, -41 best solution, best possible -43 (1204.80 seconds)
After 814000 nodes, 156719 on tree, -41 best solution, best possible -43 (1205.92 seconds)
After 815000 nodes, 156713 on tree, -41 best solution, best possible -43 (1207.03 seconds)
After 816000 nodes, 156701 on tree, -41 best solution, best possible -43 (1208.23 seconds)
After 817000 nodes, 156691 on tree, -41 best solution, best possible -43 (1209.36 seconds)
After 818000 nodes, 156677 on tree, -41 best solution, best possible -43 (1210.36 seconds)
After 819000 nodes, 156660 on tree, -41 best solution, best possible -43 (1211.58 seconds)
After 820000 nodes, 156656 on tree, -41 best solution, best possible -43 (1212.76 seconds)
After 821000 nodes, 156656 on tree, -41 best solution, best possible -43 (1213.94 seconds)
After 822000 nodes, 156652 on tree, -41 best solution, best possible -43 (1215.18 seconds)
After 823000 nodes, 156638 on tree, -41 best solution, best possible -43 (1216.31 seconds)
After 824000 nodes, 157053 on tree, -41 best solution, best possible -43 (1218.18 seconds)
After 825000 nodes, 157046 on tree, -41 best solution, best possible -43 (1219.45 seconds)
After 826000 nodes, 157029 on tree, -41 best solution, best possible -43 (1220.56 seconds)
After 827000 nodes, 157021 on tree, -41 best solution, best possible -43 (1221.71 seconds)
After 828000 nodes, 157011 on tree, -41 best solution, best possible -43 (1222.77 seconds)
After 829000 nodes, 157004 on tree, -41 best solution, best possible -43 (1223.96 seconds)
After 830000 nodes, 156984 on tree, -41 best solution, best possible -43 (1225.09 seconds)
After 831000 nodes, 156974 on tree, -41 best solution, best possible -43 (1226.35 seconds)
After 832000 nodes, 156953 on tree, -41 best solution, best possible -43 (1227.62 seconds)
After 833000 nodes, 156937 on tree, -41 best solution, best possible -43 (1228.72 seconds)
After 834000 nodes, 156925 on tree, -41 best solution, best possible -43 (1229.80 seconds)
After 835000 nodes, 156925 on tree, -41 best solution, best possible -43 (1231.08 seconds)
After 836000 nodes, 156922 on tree, -41 best solution, best possible -43 (1232.30 seconds)
After 837000 nodes, 156917 on tree, -41 best solution, best possible -43 (1233.75 seconds)
After 838000 nodes, 156916 on tree, -41 best solution, best possible -43 (1235.17 seconds)
After 839000 nodes, 156897 on tree, -41 best solution, best possible -43 (1236.37 seconds)
After 840000 nodes, 156892 on tree, -41 best solution, best possible -43 (1237.46 seconds)
After 841000 nodes, 156886 on tree, -41 best solution, best possible -43 (1238.75 seconds)
After 842000 nodes, 156876 on tree, -41 best solution, best possible -43 (1240.06 seconds)
After 843000 nodes, 156864 on tree, -41 best solution, best possible -43 (1241.29 seconds)
After 844000 nodes, 156845 on tree, -41 best solution, best possible -43 (1242.51 seconds)
After 845000 nodes, 156816 on tree, -41 best solution, best possible -43 (1243.73 seconds)
After 846000 nodes, 156800 on tree, -41 best solution, best possible -43 (1244.89 seconds)
After 847000 nodes, 156795 on tree, -41 best solution, best possible -43 (1246.19 seconds)
After 848000 nodes, 156788 on tree, -41 best solution, best possible -43 (1247.55 seconds)
After 849000 nodes, 156767 on tree, -41 best solution, best possible -43 (1248.85 seconds)
After 850000 nodes, 156749 on tree, -41 best solution, best possible -43 (1250.05 seconds)
After 851000 nodes, 156744 on tree, -41 best solution, best possible -43 (1251.27 seconds)
After 852000 nodes, 156731 on tree, -41 best solution, best possible -43 (1252.54 seconds)
After 853000 nodes, 156724 on tree, -41 best solution, best possible -43 (1253.77 seconds)
After 854000 nodes, 156723 on tree, -41 best solution, best possible -43 (1254.87 seconds)
After 855000 nodes, 156721 on tree, -41 best solution, best possible -43 (1256.05 seconds)
After 856000 nodes, 156718 on tree, -41 best solution, best possible -43 (1257.30 seconds)
After 857000 nodes, 156708 on tree, -41 best solution, best possible -43 (1258.59 seconds)
After 858000 nodes, 156702 on tree, -41 best solution, best possible -43 (1259.67 seconds)
After 859000 nodes, 156686 on tree, -41 best solution, best possible -43 (1260.95 seconds)
After 860000 nodes, 156685 on tree, -41 best solution, best possible -43 (1261.98 seconds)
After 861000 nodes, 156685 on tree, -41 best solution, best possible -43 (1263.00 seconds)
After 862000 nodes, 156675 on tree, -41 best solution, best possible -43 (1264.09 seconds)
After 863000 nodes, 156664 on tree, -41 best solution, best possible -43 (1265.36 seconds)
After 864000 nodes, 156662 on tree, -41 best solution, best possible -43 (1266.56 seconds)
After 865000 nodes, 156656 on tree, -41 best solution, best possible -43 (1267.72 seconds)
After 866000 nodes, 156664 on tree, -41 best solution, best possible -43 (1268.84 seconds)
After 867000 nodes, 156662 on tree, -41 best solution, best possible -43 (1269.88 seconds)
After 868000 nodes, 156660 on tree, -41 best solution, best possible -43 (1270.95 seconds)
After 869000 nodes, 156655 on tree, -41 best solution, best possible -43 (1272.20 seconds)
After 870000 nodes, 156643 on tree, -41 best solution, best possible -43 (1273.37 seconds)
After 871000 nodes, 156623 on tree, -41 best solution, best possible -43 (1274.58 seconds)
After 872000 nodes, 156885 on tree, -41 best solution, best possible -43 (1276.43 seconds)
After 873000 nodes, 156872 on tree, -41 best solution, best possible -43 (1277.55 seconds)
After 874000 nodes, 156874 on tree, -41 best solution, best possible -43 (1278.58 seconds)
After 875000 nodes, 156862 on tree, -41 best solution, best possible -43 (1279.70 seconds)
After 876000 nodes, 156838 on tree, -41 best solution, best possible -43 (1280.82 seconds)
After 877000 nodes, 156816 on tree, -41 best solution, best possible -43 (1282.07 seconds)
After 878000 nodes, 156801 on tree, -41 best solution, best possible -43 (1283.22 seconds)
After 879000 nodes, 156779 on tree, -41 best solution, best possible -43 (1284.48 seconds)
After 880000 nodes, 156762 on tree, -41 best solution, best possible -43 (1285.62 seconds)
After 881000 nodes, 156732 on tree, -41 best solution, best possible -43 (1286.80 seconds)
After 882000 nodes, 156728 on tree, -41 best solution, best possible -43 (1288.04 seconds)
After 883000 nodes, 156728 on tree, -41 best solution, best possible -43 (1289.25 seconds)
After 884000 nodes, 156714 on tree, -41 best solution, best possible -43 (1290.40 seconds)
After 885000 nodes, 156710 on tree, -41 best solution, best possible -43 (1291.54 seconds)
After 886000 nodes, 156697 on tree, -41 best solution, best possible -43 (1292.76 seconds)
After 887000 nodes, 156687 on tree, -41 best solution, best possible -43 (1294.07 seconds)
After 888000 nodes, 156671 on tree, -41 best solution, best possible -43 (1295.26 seconds)
After 889000 nodes, 156653 on tree, -41 best solution, best possible -43 (1296.35 seconds)
After 890000 nodes, 156642 on tree, -41 best solution, best possible -43 (1297.41 seconds)
After 891000 nodes, 156627 on tree, -41 best solution, best possible -43 (1298.63 seconds)
After 892000 nodes, 156974 on tree, -41 best solution, best possible -43 (1300.37 seconds)
After 893000 nodes, 156966 on tree, -41 best solution, best possible -43 (1301.50 seconds)
After 894000 nodes, 156941 on tree, -41 best solution, best possible -43 (1302.61 seconds)
After 895000 nodes, 156941 on tree, -41 best solution, best possible -43 (1303.88 seconds)
After 896000 nodes, 156949 on tree, -41 best solution, best possible -43 (1305.24 seconds)
After 897000 nodes, 156928 on tree, -41 best solution, best possible -43 (1306.47 seconds)
After 898000 nodes, 156922 on tree, -41 best solution, best possible -43 (1307.58 seconds)
After 899000 nodes, 156903 on tree, -41 best solution, best possible -43 (1308.73 seconds)
After 900000 nodes, 156884 on tree, -41 best solution, best possible -43 (1309.91 seconds)
After 901000 nodes, 156847 on tree, -41 best solution, best possible -43 (1311.13 seconds)
After 902000 nodes, 156832 on tree, -41 best solution, best possible -43 (1312.51 seconds)
After 903000 nodes, 156809 on tree, -41 best solution, best possible -43 (1313.68 seconds)
After 904000 nodes, 156799 on tree, -41 best solution, best possible -43 (1314.85 seconds)
After 905000 nodes, 156785 on tree, -41 best solution, best possible -43 (1316.14 seconds)
After 906000 nodes, 156786 on tree, -41 best solution, best possible -43 (1317.32 seconds)
After 907000 nodes, 156777 on tree, -41 best solution, best possible -43 (1318.41 seconds)
After 908000 nodes, 156756 on tree, -41 best solution, best possible -43 (1319.52 seconds)
After 909000 nodes, 156746 on tree, -41 best solution, best possible -43 (1320.66 seconds)
After 910000 nodes, 156750 on tree, -41 best solution, best possible -43 (1321.89 seconds)
After 911000 nodes, 156738 on tree, -41 best solution, best possible -43 (1323.04 seconds)
After 912000 nodes, 156690 on tree, -41 best solution, best possible -43 (1324.16 seconds)
After 913000 nodes, 156675 on tree, -41 best solution, best possible -43 (1325.33 seconds)
After 914000 nodes, 156639 on tree, -41 best solution, best possible -43 (1326.67 seconds)
After 915000 nodes, 156962 on tree, -41 best solution, best possible -43 (1328.48 seconds)
After 916000 nodes, 156959 on tree, -41 best solution, best possible -43 (1329.99 seconds)
After 917000 nodes, 156944 on tree, -41 best solution, best possible -43 (1331.24 seconds)
After 918000 nodes, 156927 on tree, -41 best solution, best possible -43 (1332.52 seconds)
After 919000 nodes, 156903 on tree, -41 best solution, best possible -43 (1333.71 seconds)
After 920000 nodes, 156890 on tree, -41 best solution, best possible -43 (1334.96 seconds)
After 921000 nodes, 156871 on tree, -41 best solution, best possible -43 (1336.14 seconds)
After 922000 nodes, 156850 on tree, -41 best solution, best possible -43 (1337.37 seconds)
After 923000 nodes, 156844 on tree, -41 best solution, best possible -43 (1338.49 seconds)
After 924000 nodes, 156828 on tree, -41 best solution, best possible -43 (1339.76 seconds)
After 925000 nodes, 156815 on tree, -41 best solution, best possible -43 (1341.00 seconds)
After 926000 nodes, 156800 on tree, -41 best solution, best possible -43 (1342.25 seconds)
After 927000 nodes, 156783 on tree, -41 best solution, best possible -43 (1343.49 seconds)
After 928000 nodes, 156772 on tree, -41 best solution, best possible -43 (1344.68 seconds)
After 929000 nodes, 156707 on tree, -41 best solution, best possible -43 (1345.80 seconds)
After 930000 nodes, 156385 on tree, -41 best solution, best possible -43 (1346.92 seconds)
After 931000 nodes, 156772 on tree, -41 best solution, best possible -43 (1348.74 seconds)
After 932000 nodes, 156510 on tree, -41 best solution, best possible -43 (1349.78 seconds)
After 933000 nodes, 156565 on tree, -41 best solution, best possible -43 (1351.05 seconds)
After 934000 nodes, 156896 on tree, -41 best solution, best possible -43 (1352.80 seconds)
After 935000 nodes, 156843 on tree, -41 best solution, best possible -43 (1353.76 seconds)
After 936000 nodes, 156442 on tree, -41 best solution, best possible -43 (1354.76 seconds)
After 937000 nodes, 156536 on tree, -41 best solution, best possible -43 (1356.12 seconds)
After 938000 nodes, 156894 on tree, -41 best solution, best possible -43 (1358.03 seconds)
After 939000 nodes, 156867 on tree, -41 best solution, best possible -43 (1359.26 seconds)
After 940000 nodes, 156781 on tree, -41 best solution, best possible -43 (1360.29 seconds)
After 941000 nodes, 156370 on tree, -41 best solution, best possible -43 (1361.42 seconds)
After 942000 nodes, 156746 on tree, -41 best solution, best possible -43 (1363.40 seconds)
After 943000 nodes, 156352 on tree, -41 best solution, best possible -43 (1364.47 seconds)
After 944000 nodes, 156661 on tree, -41 best solution, best possible -43 (1366.23 seconds)
After 945000 nodes, 156604 on tree, -41 best solution, best possible -43 (1367.47 seconds)
After 946000 nodes, 156921 on tree, -41 best solution, best possible -43 (1369.49 seconds)
After 947000 nodes, 156837 on tree, -41 best solution, best possible -43 (1370.88 seconds)
After 948000 nodes, 156756 on tree, -41 best solution, best possible -43 (1372.23 seconds)
After 949000 nodes, 156706 on tree, -41 best solution, best possible -43 (1373.73 seconds)
After 950000 nodes, 156705 on tree, -41 best solution, best possible -43 (1375.09 seconds)
After 951000 nodes, 156675 on tree, -41 best solution, best possible -43 (1376.47 seconds)
After 952000 nodes, 156582 on tree, -41 best solution, best possible -43 (1377.81 seconds)
After 953000 nodes, 156662 on tree, -41 best solution, best possible -43 (1379.28 seconds)
After 954000 nodes, 156628 on tree, -41 best solution, best possible -43 (1380.71 seconds)
After 955000 nodes, 156942 on tree, -41 best solution, best possible -43 (1382.78 seconds)
After 956000 nodes, 156858 on tree, -41 best solution, best possible -43 (1384.10 seconds)
After 957000 nodes, 156747 on tree, -41 best solution, best possible -43 (1385.66 seconds)
After 958000 nodes, 156686 on tree, -41 best solution, best possible -43 (1387.07 seconds)
After 959000 nodes, 156588 on tree, -41 best solution, best possible -43 (1388.33 seconds)
After 960000 nodes, 156771 on tree, -41 best solution, best possible -43 (1390.13 seconds)
After 961000 nodes, 156671 on tree, -41 best solution, best possible -43 (1391.41 seconds)
After 962000 nodes, 156583 on tree, -41 best solution, best possible -43 (1392.67 seconds)
After 963000 nodes, 156897 on tree, -41 best solution, best possible -43 (1394.45 seconds)
After 964000 nodes, 156839 on tree, -41 best solution, best possible -43 (1395.74 seconds)
After 965000 nodes, 156802 on tree, -41 best solution, best possible -43 (1396.98 seconds)
After 966000 nodes, 156778 on tree, -41 best solution, best possible -43 (1398.10 seconds)
After 967000 nodes, 156746 on tree, -41 best solution, best possible -43 (1399.30 seconds)
After 968000 nodes, 156660 on tree, -41 best solution, best possible -43 (1400.42 seconds)
After 969000 nodes, 156609 on tree, -41 best solution, best possible -43 (1401.68 seconds)
After 970000 nodes, 157004 on tree, -41 best solution, best possible -43 (1403.45 seconds)
After 971000 nodes, 156976 on tree, -41 best solution, best possible -43 (1404.64 seconds)
After 972000 nodes, 156935 on tree, -41 best solution, best possible -43 (1405.74 seconds)
After 973000 nodes, 156933 on tree, -41 best solution, best possible -43 (1406.88 seconds)
After 974000 nodes, 156904 on tree, -41 best solution, best possible -43 (1408.01 seconds)
After 975000 nodes, 156852 on tree, -41 best solution, best possible -43 (1409.17 seconds)
After 976000 nodes, 156793 on tree, -41 best solution, best possible -43 (1410.30 seconds)
After 977000 nodes, 156704 on tree, -41 best solution, best possible -43 (1411.47 seconds)
After 978000 nodes, 156621 on tree, -41 best solution, best possible -43 (1412.73 seconds)
After 979000 nodes, 156809 on tree, -41 best solution, best possible -43 (1414.53 seconds)
After 980000 nodes, 156745 on tree, -41 best solution, best possible -43 (1415.72 seconds)
After 981000 nodes, 156668 on tree, -41 best solution, best possible -43 (1416.81 seconds)
After 982000 nodes, 156589 on tree, -41 best solution, best possible -43 (1418.00 seconds)
After 983000 nodes, 156760 on tree, -41 best solution, best possible -43 (1419.76 seconds)
After 984000 nodes, 156757 on tree, -41 best solution, best possible -43 (1421.14 seconds)
After 985000 nodes, 156735 on tree, -41 best solution, best possible -43 (1422.28 seconds)
After 986000 nodes, 156650 on tree, -41 best solution, best possible -43 (1423.45 seconds)
After 987000 nodes, 156549 on tree, -41 best solution, best possible -43 (1424.75 seconds)
After 988000 nodes, 156901 on tree, -41 best solution, best possible -43 (1426.59 seconds)
After 989000 nodes, 156837 on tree, -41 best solution, best possible -43 (1427.81 seconds)
After 990000 nodes, 156760 on tree, -41 best solution, best possible -43 (1429.01 seconds)
After 991000 nodes, 156682 on tree, -41 best solution, best possible -43 (1430.22 seconds)
After 992000 nodes, 156619 on tree, -41 best solution, best possible -43 (1431.47 seconds)
After 993000 nodes, 156641 on tree, -41 best solution, best possible -43 (1432.73 seconds)
After 994000 nodes, 156876 on tree, -41 best solution, best possible -43 (1434.55 seconds)
After 995000 nodes, 156819 on tree, -41 best solution, best possible -43 (1435.68 seconds)
After 996000 nodes, 156819 on tree, -41 best solution, best possible -43 (1436.81 seconds)
After 997000 nodes, 156813 on tree, -41 best solution, best possible -43 (1438.11 seconds)
After 998000 nodes, 156732 on tree, -41 best solution, best possible -43 (1439.28 seconds)
After 999000 nodes, 156639 on tree, -41 best solution, best possible -43 (1440.59 seconds)
After 1000000 nodes, 157020 on tree, -41 best solution, best possible -43 (1442.41 seconds)
After 1001000 nodes, 156901 on tree, -41 best solution, best possible -43 (1443.67 seconds)
After 1002000 nodes, 156842 on tree, -41 best solution, best possible -43 (1444.88 seconds)
After 1003000 nodes, 156758 on tree, -41 best solution, best possible -43 (1446.07 seconds)
After 1004000 nodes, 156708 on tree, -41 best solution, best possible -43 (1447.24 seconds)
After 1005000 nodes, 156708 on tree, -41 best solution, best possible -43 (1448.46 seconds)
After 1006000 nodes, 156711 on tree, -41 best solution, best possible -43 (1449.69 seconds)
After 1007000 nodes, 156715 on tree, -41 best solution, best possible -43 (1450.99 seconds)
After 1008000 nodes, 156707 on tree, -41 best solution, best possible -43 (1452.28 seconds)
After 1009000 nodes, 156717 on tree, -41 best solution, best possible -43 (1453.52 seconds)
After 1010000 nodes, 156708 on tree, -41 best solution, best possible -43 (1454.76 seconds)
After 1011000 nodes, 156708 on tree, -41 best solution, best possible -43 (1455.93 seconds)
After 1012000 nodes, 156713 on tree, -41 best solution, best possible -43 (1457.16 seconds)
After 1013000 nodes, 156712 on tree, -41 best solution, best possible -43 (1458.40 seconds)
After 1014000 nodes, 156712 on tree, -41 best solution, best possible -43 (1459.55 seconds)
After 1015000 nodes, 156695 on tree, -41 best solution, best possible -43 (1460.78 seconds)
After 1016000 nodes, 156682 on tree, -41 best solution, best possible -43 (1461.98 seconds)
After 1017000 nodes, 156670 on tree, -41 best solution, best possible -43 (1463.15 seconds)
After 1018000 nodes, 156673 on tree, -41 best solution, best possible -43 (1464.24 seconds)
After 1019000 nodes, 156671 on tree, -41 best solution, best possible -43 (1465.50 seconds)
After 1020000 nodes, 156647 on tree, -41 best solution, best possible -43 (1466.75 seconds)
After 1021000 nodes, 156619 on tree, -41 best solution, best possible -43 (1468.05 seconds)
After 1022000 nodes, 157035 on tree, -41 best solution, best possible -43 (1469.99 seconds)
After 1023000 nodes, 157030 on tree, -41 best solution, best possible -43 (1471.18 seconds)
After 1024000 nodes, 157023 on tree, -41 best solution, best possible -43 (1472.32 seconds)
After 1025000 nodes, 157017 on tree, -41 best solution, best possible -43 (1473.51 seconds)
After 1026000 nodes, 156964 on tree, -41 best solution, best possible -43 (1474.66 seconds)
After 1027000 nodes, 156851 on tree, -41 best solution, best possible -43 (1475.79 seconds)
After 1028000 nodes, 156843 on tree, -41 best solution, best possible -43 (1477.08 seconds)
After 1029000 nodes, 156785 on tree, -41 best solution, best possible -43 (1478.37 seconds)
After 1030000 nodes, 156736 on tree, -41 best solution, best possible -43 (1479.56 seconds)
After 1031000 nodes, 156662 on tree, -41 best solution, best possible -43 (1480.70 seconds)
After 1032000 nodes, 156569 on tree, -41 best solution, best possible -43 (1481.93 seconds)
After 1033000 nodes, 156617 on tree, -41 best solution, best possible -43 (1483.32 seconds)
After 1034000 nodes, 156941 on tree, -41 best solution, best possible -43 (1485.25 seconds)
After 1035000 nodes, 156879 on tree, -41 best solution, best possible -43 (1486.32 seconds)
After 1036000 nodes, 156798 on tree, -41 best solution, best possible -43 (1487.52 seconds)
After 1037000 nodes, 156722 on tree, -41 best solution, best possible -43 (1488.64 seconds)
After 1038000 nodes, 156608 on tree, -41 best solution, best possible -43 (1489.89 seconds)
After 1039000 nodes, 156847 on tree, -41 best solution, best possible -43 (1491.71 seconds)
After 1040000 nodes, 156851 on tree, -41 best solution, best possible -43 (1492.95 seconds)
After 1041000 nodes, 156846 on tree, -41 best solution, best possible -43 (1494.12 seconds)
After 1042000 nodes, 156833 on tree, -41 best solution, best possible -43 (1495.40 seconds)
After 1043000 nodes, 156828 on tree, -41 best solution, best possible -43 (1496.71 seconds)
After 1044000 nodes, 156759 on tree, -41 best solution, best possible -43 (1497.94 seconds)
After 1045000 nodes, 156695 on tree, -41 best solution, best possible -43 (1499.20 seconds)
After 1046000 nodes, 156690 on tree, -41 best solution, best possible -43 (1500.24 seconds)
After 1047000 nodes, 156689 on tree, -41 best solution, best possible -43 (1501.31 seconds)
After 1048000 nodes, 156691 on tree, -41 best solution, best possible -43 (1502.38 seconds)
After 1049000 nodes, 156691 on tree, -41 best solution, best possible -43 (1503.45 seconds)
After 1050000 nodes, 156690 on tree, -41 best solution, best possible -43 (1504.51 seconds)
After 1051000 nodes, 156690 on tree, -41 best solution, best possible -43 (1505.57 seconds)
After 1052000 nodes, 156690 on tree, -41 best solution, best possible -43 (1506.63 seconds)
After 1053000 nodes, 156690 on tree, -41 best solution, best possible -43 (1507.72 seconds)
After 1054000 nodes, 156694 on tree, -41 best solution, best possible -43 (1508.82 seconds)
After 1055000 nodes, 156689 on tree, -41 best solution, best possible -43 (1509.87 seconds)
After 1056000 nodes, 156692 on tree, -41 best solution, best possible -43 (1510.91 seconds)
After 1057000 nodes, 156693 on tree, -41 best solution, best possible -43 (1511.97 seconds)
After 1058000 nodes, 156690 on tree, -41 best solution, best possible -43 (1513.06 seconds)
After 1059000 nodes, 156697 on tree, -41 best solution, best possible -43 (1514.13 seconds)
After 1060000 nodes, 156690 on tree, -41 best solution, best possible -43 (1515.18 seconds)
After 1061000 nodes, 156690 on tree, -41 best solution, best possible -43 (1516.26 seconds)
After 1062000 nodes, 156693 on tree, -41 best solution, best possible -43 (1517.34 seconds)
After 1063000 nodes, 156691 on tree, -41 best solution, best possible -43 (1518.41 seconds)
After 1064000 nodes, 156692 on tree, -41 best solution, best possible -43 (1519.57 seconds)
After 1065000 nodes, 156688 on tree, -41 best solution, best possible -43 (1520.66 seconds)
After 1066000 nodes, 156692 on tree, -41 best solution, best possible -43 (1521.75 seconds)
After 1067000 nodes, 156691 on tree, -41 best solution, best possible -43 (1522.80 seconds)
After 1068000 nodes, 156691 on tree, -41 best solution, best possible -43 (1523.83 seconds)
After 1069000 nodes, 156692 on tree, -41 best solution, best possible -43 (1524.98 seconds)
After 1070000 nodes, 156689 on tree, -41 best solution, best possible -43 (1526.12 seconds)
After 1071000 nodes, 156695 on tree, -41 best solution, best possible -43 (1527.27 seconds)
After 1072000 nodes, 156691 on tree, -41 best solution, best possible -43 (1528.38 seconds)
After 1073000 nodes, 156689 on tree, -41 best solution, best possible -43 (1529.56 seconds)
After 1074000 nodes, 156678 on tree, -41 best solution, best possible -43 (1530.83 seconds)
After 1075000 nodes, 156675 on tree, -41 best solution, best possible -43 (1531.99 seconds)
After 1076000 nodes, 156679 on tree, -41 best solution, best possible -43 (1533.12 seconds)
After 1077000 nodes, 156674 on tree, -41 best solution, best possible -43 (1534.26 seconds)
After 1078000 nodes, 156671 on tree, -41 best solution, best possible -43 (1535.61 seconds)
After 1079000 nodes, 156639 on tree, -41 best solution, best possible -43 (1536.97 seconds)
After 1080000 nodes, 156975 on tree, -41 best solution, best possible -43 (1538.86 seconds)
After 1081000 nodes, 156961 on tree, -41 best solution, best possible -43 (1540.15 seconds)
After 1082000 nodes, 156959 on tree, -41 best solution, best possible -43 (1541.37 seconds)
After 1083000 nodes, 156952 on tree, -41 best solution, best possible -43 (1542.78 seconds)
After 1084000 nodes, 156955 on tree, -41 best solution, best possible -43 (1544.09 seconds)
After 1085000 nodes, 156955 on tree, -41 best solution, best possible -43 (1545.36 seconds)
After 1086000 nodes, 156945 on tree, -41 best solution, best possible -43 (1546.67 seconds)
After 1087000 nodes, 156925 on tree, -41 best solution, best possible -43 (1547.87 seconds)
After 1088000 nodes, 156914 on tree, -41 best solution, best possible -43 (1549.09 seconds)
After 1089000 nodes, 156907 on tree, -41 best solution, best possible -43 (1550.18 seconds)
After 1090000 nodes, 156899 on tree, -41 best solution, best possible -43 (1551.34 seconds)
After 1091000 nodes, 156870 on tree, -41 best solution, best possible -43 (1552.57 seconds)
After 1092000 nodes, 156868 on tree, -41 best solution, best possible -43 (1553.88 seconds)
After 1093000 nodes, 156860 on tree, -41 best solution, best possible -43 (1555.13 seconds)
After 1094000 nodes, 156848 on tree, -41 best solution, best possible -43 (1556.31 seconds)
After 1095000 nodes, 156843 on tree, -41 best solution, best possible -43 (1557.48 seconds)
After 1096000 nodes, 156820 on tree, -41 best solution, best possible -43 (1558.67 seconds)
After 1097000 nodes, 156798 on tree, -41 best solution, best possible -43 (1560.00 seconds)
After 1098000 nodes, 156765 on tree, -41 best solution, best possible -43 (1561.29 seconds)
After 1099000 nodes, 156750 on tree, -41 best solution, best possible -43 (1562.68 seconds)
After 1100000 nodes, 156741 on tree, -41 best solution, best possible -43 (1563.98 seconds)
After 1101000 nodes, 156740 on tree, -41 best solution, best possible -43 (1565.21 seconds)
After 1102000 nodes, 156728 on tree, -41 best solution, best possible -43 (1566.51 seconds)
After 1103000 nodes, 156720 on tree, -41 best solution, best possible -43 (1567.84 seconds)
After 1104000 nodes, 156705 on tree, -41 best solution, best possible -43 (1569.13 seconds)
After 1105000 nodes, 156707 on tree, -41 best solution, best possible -43 (1570.31 seconds)
After 1106000 nodes, 156693 on tree, -41 best solution, best possible -43 (1571.68 seconds)
After 1107000 nodes, 156675 on tree, -41 best solution, best possible -43 (1572.99 seconds)
After 1108000 nodes, 156668 on tree, -41 best solution, best possible -43 (1574.22 seconds)
After 1109000 nodes, 156657 on tree, -41 best solution, best possible -43 (1575.52 seconds)
After 1110000 nodes, 156658 on tree, -41 best solution, best possible -43 (1576.65 seconds)
After 1111000 nodes, 156650 on tree, -41 best solution, best possible -43 (1577.96 seconds)
After 1112000 nodes, 156648 on tree, -41 best solution, best possible -43 (1579.17 seconds)
After 1113000 nodes, 156645 on tree, -41 best solution, best possible -43 (1580.29 seconds)
After 1114000 nodes, 156637 on tree, -41 best solution, best possible -43 (1581.65 seconds)
After 1115000 nodes, 156821 on tree, -41 best solution, best possible -43 (1583.47 seconds)
After 1116000 nodes, 156819 on tree, -41 best solution, best possible -43 (1584.72 seconds)
After 1117000 nodes, 156822 on tree, -41 best solution, best possible -43 (1585.85 seconds)
After 1118000 nodes, 156811 on tree, -41 best solution, best possible -43 (1587.00 seconds)
After 1119000 nodes, 156797 on tree, -41 best solution, best possible -43 (1588.14 seconds)
After 1120000 nodes, 156788 on tree, -41 best solution, best possible -43 (1589.23 seconds)
After 1121000 nodes, 156764 on tree, -41 best solution, best possible -43 (1590.62 seconds)
After 1122000 nodes, 156761 on tree, -41 best solution, best possible -43 (1592.02 seconds)
After 1123000 nodes, 156741 on tree, -41 best solution, best possible -43 (1593.19 seconds)
After 1124000 nodes, 156741 on tree, -41 best solution, best possible -43 (1594.27 seconds)
After 1125000 nodes, 156731 on tree, -41 best solution, best possible -43 (1595.54 seconds)
After 1126000 nodes, 156726 on tree, -41 best solution, best possible -43 (1596.94 seconds)
After 1127000 nodes, 156712 on tree, -41 best solution, best possible -43 (1598.15 seconds)
After 1128000 nodes, 156707 on tree, -41 best solution, best possible -43 (1599.39 seconds)
After 1129000 nodes, 156706 on tree, -41 best solution, best possible -43 (1600.42 seconds)
After 1130000 nodes, 156708 on tree, -41 best solution, best possible -43 (1601.58 seconds)
After 1131000 nodes, 156704 on tree, -41 best solution, best possible -43 (1602.75 seconds)
After 1132000 nodes, 156701 on tree, -41 best solution, best possible -43 (1604.06 seconds)
After 1133000 nodes, 156703 on tree, -41 best solution, best possible -43 (1605.34 seconds)
After 1134000 nodes, 156702 on tree, -41 best solution, best possible -43 (1606.38 seconds)
After 1135000 nodes, 156706 on tree, -41 best solution, best possible -43 (1607.49 seconds)
After 1136000 nodes, 156698 on tree, -41 best solution, best possible -43 (1608.54 seconds)
After 1137000 nodes, 156695 on tree, -41 best solution, best possible -43 (1609.76 seconds)
After 1138000 nodes, 156697 on tree, -41 best solution, best possible -43 (1611.00 seconds)
After 1139000 nodes, 156694 on tree, -41 best solution, best possible -43 (1612.17 seconds)
After 1140000 nodes, 156688 on tree, -41 best solution, best possible -43 (1613.41 seconds)
After 1141000 nodes, 156686 on tree, -41 best solution, best possible -43 (1614.62 seconds)
After 1142000 nodes, 156682 on tree, -41 best solution, best possible -43 (1615.69 seconds)
After 1143000 nodes, 156677 on tree, -41 best solution, best possible -43 (1616.76 seconds)
After 1144000 nodes, 156652 on tree, -41 best solution, best possible -43 (1617.93 seconds)
After 1145000 nodes, 156634 on tree, -41 best solution, best possible -43 (1619.14 seconds)
After 1146000 nodes, 156966 on tree, -41 best solution, best possible -43 (1621.11 seconds)
After 1147000 nodes, 156955 on tree, -41 best solution, best possible -43 (1622.24 seconds)
After 1148000 nodes, 156959 on tree, -41 best solution, best possible -43 (1623.42 seconds)
After 1149000 nodes, 156945 on tree, -41 best solution, best possible -43 (1624.65 seconds)
After 1150000 nodes, 156921 on tree, -41 best solution, best possible -43 (1625.82 seconds)
After 1151000 nodes, 156912 on tree, -41 best solution, best possible -43 (1626.95 seconds)
After 1152000 nodes, 156886 on tree, -41 best solution, best possible -43 (1628.12 seconds)
After 1153000 nodes, 156879 on tree, -41 best solution, best possible -43 (1629.29 seconds)
After 1154000 nodes, 156862 on tree, -41 best solution, best possible -43 (1630.46 seconds)
After 1155000 nodes, 156840 on tree, -41 best solution, best possible -43 (1631.65 seconds)
After 1156000 nodes, 156810 on tree, -41 best solution, best possible -43 (1632.78 seconds)
After 1157000 nodes, 156809 on tree, -41 best solution, best possible -43 (1633.96 seconds)
After 1158000 nodes, 156795 on tree, -41 best solution, best possible -43 (1635.13 seconds)
After 1159000 nodes, 156792 on tree, -41 best solution, best possible -43 (1636.23 seconds)
After 1160000 nodes, 156787 on tree, -41 best solution, best possible -43 (1637.37 seconds)
After 1161000 nodes, 156783 on tree, -41 best solution, best possible -43 (1638.52 seconds)
After 1162000 nodes, 156778 on tree, -41 best solution, best possible -43 (1639.93 seconds)
After 1163000 nodes, 156764 on tree, -41 best solution, best possible -43 (1641.08 seconds)
After 1164000 nodes, 156755 on tree, -41 best solution, best possible -43 (1642.10 seconds)
After 1165000 nodes, 156739 on tree, -41 best solution, best possible -43 (1643.29 seconds)
After 1166000 nodes, 156729 on tree, -41 best solution, best possible -43 (1644.42 seconds)
After 1167000 nodes, 156711 on tree, -41 best solution, best possible -43 (1645.62 seconds)
After 1168000 nodes, 156691 on tree, -41 best solution, best possible -43 (1646.86 seconds)
After 1169000 nodes, 156667 on tree, -41 best solution, best possible -43 (1647.97 seconds)
After 1170000 nodes, 156668 on tree, -41 best solution, best possible -43 (1648.94 seconds)
After 1171000 nodes, 156655 on tree, -41 best solution, best possible -43 (1650.07 seconds)
After 1172000 nodes, 156659 on tree, -41 best solution, best possible -43 (1651.22 seconds)
After 1173000 nodes, 156645 on tree, -41 best solution, best possible -43 (1652.35 seconds)
After 1174000 nodes, 156649 on tree, -41 best solution, best possible -43 (1653.72 seconds)
After 1175000 nodes, 156645 on tree, -41 best solution, best possible -43 (1655.06 seconds)
After 1176000 nodes, 156642 on tree, -41 best solution, best possible -43 (1656.25 seconds)
After 1177000 nodes, 156635 on tree, -41 best solution, best possible -43 (1657.48 seconds)
After 1178000 nodes, 156773 on tree, -41 best solution, best possible -43 (1659.41 seconds)
After 1179000 nodes, 156756 on tree, -41 best solution, best possible -43 (1660.64 seconds)
After 1180000 nodes, 156751 on tree, -41 best solution, best possible -43 (1661.85 seconds)
After 1181000 nodes, 156732 on tree, -41 best solution, best possible -43 (1663.18 seconds)
After 1182000 nodes, 156713 on tree, -41 best solution, best possible -43 (1664.44 seconds)
After 1183000 nodes, 156669 on tree, -41 best solution, best possible -43 (1665.78 seconds)
After 1184000 nodes, 156645 on tree, -41 best solution, best possible -43 (1667.12 seconds)
After 1185000 nodes, 156625 on tree, -41 best solution, best possible -43 (1668.50 seconds)
After 1186000 nodes, 156844 on tree, -41 best solution, best possible -43 (1670.75 seconds)
After 1187000 nodes, 156846 on tree, -41 best solution, best possible -43 (1672.10 seconds)
After 1188000 nodes, 156835 on tree, -41 best solution, best possible -43 (1673.28 seconds)
After 1189000 nodes, 156828 on tree, -41 best solution, best possible -43 (1674.46 seconds)
After 1190000 nodes, 156811 on tree, -41 best solution, best possible -43 (1675.70 seconds)
After 1191000 nodes, 156801 on tree, -41 best solution, best possible -43 (1676.88 seconds)
After 1192000 nodes, 156793 on tree, -41 best solution, best possible -43 (1678.14 seconds)
After 1193000 nodes, 156785 on tree, -41 best solution, best possible -43 (1679.22 seconds)
After 1194000 nodes, 156770 on tree, -41 best solution, best possible -43 (1680.42 seconds)
After 1195000 nodes, 156749 on tree, -41 best solution, best possible -43 (1681.52 seconds)
After 1196000 nodes, 156747 on tree, -41 best solution, best possible -43 (1682.76 seconds)
After 1197000 nodes, 156740 on tree, -41 best solution, best possible -43 (1684.02 seconds)
After 1198000 nodes, 156736 on tree, -41 best solution, best possible -43 (1685.13 seconds)
After 1199000 nodes, 156726 on tree, -41 best solution, best possible -43 (1686.39 seconds)
After 1200000 nodes, 156719 on tree, -41 best solution, best possible -43 (1687.74 seconds)
After 1201000 nodes, 156704 on tree, -41 best solution, best possible -43 (1689.15 seconds)
After 1202000 nodes, 156697 on tree, -41 best solution, best possible -43 (1690.46 seconds)
After 1203000 nodes, 156686 on tree, -41 best solution, best possible -43 (1691.88 seconds)
After 1204000 nodes, 156667 on tree, -41 best solution, best possible -43 (1693.10 seconds)
After 1205000 nodes, 156652 on tree, -41 best solution, best possible -43 (1694.32 seconds)
After 1206000 nodes, 156640 on tree, -41 best solution, best possible -43 (1695.71 seconds)
After 1207000 nodes, 156992 on tree, -41 best solution, best possible -43 (1697.61 seconds)
After 1208000 nodes, 156989 on tree, -41 best solution, best possible -43 (1698.99 seconds)
After 1209000 nodes, 156972 on tree, -41 best solution, best possible -43 (1700.40 seconds)
After 1210000 nodes, 156958 on tree, -41 best solution, best possible -43 (1701.62 seconds)
After 1211000 nodes, 156938 on tree, -41 best solution, best possible -43 (1702.92 seconds)
After 1212000 nodes, 156918 on tree, -41 best solution, best possible -43 (1704.11 seconds)
After 1213000 nodes, 156910 on tree, -41 best solution, best possible -43 (1705.40 seconds)
After 1214000 nodes, 156908 on tree, -41 best solution, best possible -43 (1706.87 seconds)
After 1215000 nodes, 156899 on tree, -41 best solution, best possible -43 (1708.20 seconds)
After 1216000 nodes, 156882 on tree, -41 best solution, best possible -43 (1709.33 seconds)
After 1217000 nodes, 156865 on tree, -41 best solution, best possible -43 (1710.74 seconds)
After 1218000 nodes, 156839 on tree, -41 best solution, best possible -43 (1711.97 seconds)
After 1219000 nodes, 156839 on tree, -41 best solution, best possible -43 (1713.12 seconds)
After 1220000 nodes, 156834 on tree, -41 best solution, best possible -43 (1714.33 seconds)
After 1221000 nodes, 156837 on tree, -41 best solution, best possible -43 (1715.55 seconds)
After 1222000 nodes, 156840 on tree, -41 best solution, best possible -43 (1716.82 seconds)
After 1223000 nodes, 156820 on tree, -41 best solution, best possible -43 (1717.98 seconds)
After 1224000 nodes, 156811 on tree, -41 best solution, best possible -43 (1719.12 seconds)
After 1225000 nodes, 156794 on tree, -41 best solution, best possible -43 (1720.28 seconds)
After 1226000 nodes, 156786 on tree, -41 best solution, best possible -43 (1721.49 seconds)
After 1227000 nodes, 156773 on tree, -41 best solution, best possible -43 (1722.64 seconds)
After 1228000 nodes, 156773 on tree, -41 best solution, best possible -43 (1723.83 seconds)
After 1229000 nodes, 156774 on tree, -41 best solution, best possible -43 (1725.01 seconds)
After 1230000 nodes, 156777 on tree, -41 best solution, best possible -43 (1726.09 seconds)
After 1231000 nodes, 156775 on tree, -41 best solution, best possible -43 (1727.29 seconds)
After 1232000 nodes, 156768 on tree, -41 best solution, best possible -43 (1728.46 seconds)
After 1233000 nodes, 156753 on tree, -41 best solution, best possible -43 (1729.83 seconds)
After 1234000 nodes, 156743 on tree, -41 best solution, best possible -43 (1731.07 seconds)
After 1235000 nodes, 156731 on tree, -41 best solution, best possible -43 (1732.16 seconds)
After 1236000 nodes, 156728 on tree, -41 best solution, best possible -43 (1733.45 seconds)
After 1237000 nodes, 156719 on tree, -41 best solution, best possible -43 (1734.79 seconds)
After 1238000 nodes, 156687 on tree, -41 best solution, best possible -43 (1736.01 seconds)
After 1239000 nodes, 156681 on tree, -41 best solution, best possible -43 (1737.20 seconds)
After 1240000 nodes, 156668 on tree, -41 best solution, best possible -43 (1738.53 seconds)
After 1241000 nodes, 156666 on tree, -41 best solution, best possible -43 (1739.95 seconds)
After 1242000 nodes, 156657 on tree, -41 best solution, best possible -43 (1741.21 seconds)
After 1243000 nodes, 156649 on tree, -41 best solution, best possible -43 (1742.36 seconds)
After 1244000 nodes, 156645 on tree, -41 best solution, best possible -43 (1743.50 seconds)
After 1245000 nodes, 156633 on tree, -41 best solution, best possible -43 (1744.71 seconds)
After 1246000 nodes, 156920 on tree, -41 best solution, best possible -43 (1746.61 seconds)
After 1247000 nodes, 156910 on tree, -41 best solution, best possible -43 (1747.89 seconds)
After 1248000 nodes, 156892 on tree, -41 best solution, best possible -43 (1749.16 seconds)
After 1249000 nodes, 156890 on tree, -41 best solution, best possible -43 (1750.31 seconds)
After 1250000 nodes, 156880 on tree, -41 best solution, best possible -43 (1751.62 seconds)
After 1251000 nodes, 156880 on tree, -41 best solution, best possible -43 (1752.84 seconds)
After 1252000 nodes, 156872 on tree, -41 best solution, best possible -43 (1754.13 seconds)
After 1253000 nodes, 156867 on tree, -41 best solution, best possible -43 (1755.38 seconds)
After 1254000 nodes, 156865 on tree, -41 best solution, best possible -43 (1756.51 seconds)
After 1255000 nodes, 156841 on tree, -41 best solution, best possible -43 (1757.71 seconds)
After 1256000 nodes, 156845 on tree, -41 best solution, best possible -43 (1759.01 seconds)
After 1257000 nodes, 156820 on tree, -41 best solution, best possible -43 (1760.26 seconds)
After 1258000 nodes, 156804 on tree, -41 best solution, best possible -43 (1761.43 seconds)
After 1259000 nodes, 156794 on tree, -41 best solution, best possible -43 (1762.68 seconds)
After 1260000 nodes, 156790 on tree, -41 best solution, best possible -43 (1763.79 seconds)
After 1261000 nodes, 156781 on tree, -41 best solution, best possible -43 (1764.87 seconds)
After 1262000 nodes, 156776 on tree, -41 best solution, best possible -43 (1766.05 seconds)
After 1263000 nodes, 156773 on tree, -41 best solution, best possible -43 (1767.06 seconds)
After 1264000 nodes, 156767 on tree, -41 best solution, best possible -43 (1768.34 seconds)
After 1265000 nodes, 156747 on tree, -41 best solution, best possible -43 (1769.49 seconds)
After 1266000 nodes, 156725 on tree, -41 best solution, best possible -43 (1770.61 seconds)
After 1267000 nodes, 156720 on tree, -41 best solution, best possible -43 (1771.76 seconds)
After 1268000 nodes, 156702 on tree, -41 best solution, best possible -43 (1773.05 seconds)
After 1269000 nodes, 156691 on tree, -41 best solution, best possible -43 (1774.21 seconds)
After 1270000 nodes, 156679 on tree, -41 best solution, best possible -43 (1775.29 seconds)
After 1271000 nodes, 156676 on tree, -41 best solution, best possible -43 (1776.37 seconds)
After 1272000 nodes, 156668 on tree, -41 best solution, best possible -43 (1777.55 seconds)
After 1273000 nodes, 156661 on tree, -41 best solution, best possible -43 (1778.66 seconds)
After 1274000 nodes, 156642 on tree, -41 best solution, best possible -43 (1779.83 seconds)
After 1275000 nodes, 156614 on tree, -41 best solution, best possible -43 (1780.98 seconds)
After 1276000 nodes, 156865 on tree, -41 best solution, best possible -43 (1782.78 seconds)
After 1277000 nodes, 156855 on tree, -41 best solution, best possible -43 (1784.01 seconds)
After 1278000 nodes, 156836 on tree, -41 best solution, best possible -43 (1785.28 seconds)
After 1279000 nodes, 156822 on tree, -41 best solution, best possible -43 (1786.43 seconds)
After 1280000 nodes, 156820 on tree, -41 best solution, best possible -43 (1787.61 seconds)
After 1281000 nodes, 156807 on tree, -41 best solution, best possible -43 (1788.78 seconds)
After 1282000 nodes, 156803 on tree, -41 best solution, best possible -43 (1790.09 seconds)
After 1283000 nodes, 156785 on tree, -41 best solution, best possible -43 (1791.28 seconds)
After 1284000 nodes, 156782 on tree, -41 best solution, best possible -43 (1792.70 seconds)
After 1285000 nodes, 156782 on tree, -41 best solution, best possible -43 (1793.98 seconds)
After 1286000 nodes, 156781 on tree, -41 best solution, best possible -43 (1795.32 seconds)
After 1287000 nodes, 156779 on tree, -41 best solution, best possible -43 (1796.62 seconds)
After 1288000 nodes, 156774 on tree, -41 best solution, best possible -43 (1798.10 seconds)
After 1289000 nodes, 156766 on tree, -41 best solution, best possible -43 (1799.42 seconds)
Exiting on maximum time
Partial search - best objective -41 (best possible -43), took 20752164 iterations and 1289344 nodes (1804.21 seconds)
Strong branching done 10552 times (114113 iterations), fathomed 50 nodes and fixed 622 variables
Maximum depth 50, 856985 variables fixed on reduced cost
Cuts at root node changed objective from -43 to -43
Probing was tried 984792 times and created 6297973 cuts of which 1935316 were active after adding rounds of cuts (287.766 seconds)
Gomory was tried 203138 times and created 1873212 cuts of which 482476 were active after adding rounds of cuts (43.819 seconds)
Knapsack was tried 43 times and created 8 cuts of which 1 were active after adding rounds of cuts (0.008 seconds)
Clique was tried 43 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.004 seconds)
MixedIntegerRounding2 was tried 43 times and created 95 cuts of which 7 were active after adding rounds of cuts (0.028 seconds)
FlowCover was tried 43 times and created 24 cuts of which 0 were active after adding rounds of cuts (0.016 seconds)
TwoMirCuts was tried 43 times and created 277 cuts of which 3 were active after adding rounds of cuts (0.024 seconds)
25 bounds tightened after postprocessing
Result - Stopped on time objective -41 after 1289344 nodes and 20752164 iterations - took 1806.01 seconds (total time 1806.01)
Total time 1806.02

Time limit reached. Have feasible solution.
MIP solution:                   -41   (1289344 nodes, 1806.02 seconds)
Best possible:                  -43
Absolute gap:                     2   (absolute tolerance optca: 0)
Relative gap:              0.046512   (relative tolerance optcr: 0)
--- Restarting execution
--- noswot.gms(124) 0 Mb
--- Reading solution for model m
*** Status: Normal completion
--- Job noswot.gms Stop 08/24/08 23:16:25 elapsed 0:31:19.957