--- Job binkar10_1 Start 08/21/08 19:35:29
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
--- binkar10_1.gms(106) 2 Mb
--- GDXin=/home/stefan/work/gams/models/LINlib/binkar10_1.gdx
--- binkar10_1.gms(148) 3 Mb
--- Starting execution: elapsed 0:00:00.013
--- binkar10_1.gms(123) 4 Mb
--- Generating MIP model m
--- binkar10_1.gms(124) 4 Mb
---   1,027 rows  2,299 columns  6,239 non-zeroes
---   170 discrete-columns
--- binkar10_1.gms(124) 4 Mb
--- Executing COINCBC: elapsed 0:00:00.042

GAMS/CoinCbc 2.1 LP/MIP Solver
written by J. Forrest
Problem statistics: 2298 columns and 1026 rows.
                    170 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 6637.19 - 0.03 seconds
processed model has 826 rows, 2025 columns (170 integer) and 4023 elements
Pass   1: suminf.    1.21684 obj. 6756.53 iterations 128
Pass   2: suminf.    0.87504 obj. 6771.7 iterations 8
Pass   3: suminf.    0.00000 obj. 7107.88 iterations 12
Solution found of 7107.88
Before mini branch and bound, 130 integers at bound fixed and 1687 continuous
Full problem 826 rows 2025 columns, reduced to 18 rows 21 columns
Mini branch and bound improved solution from 7107.88 to 7107.88 (0.04 seconds)
Round again with cutoff of 7060.81
Pass   4: suminf.    1.21684 obj. 7060.81 iterations 195
Pass   5: suminf.    0.87504 obj. 7060.81 iterations 12
Pass   6: suminf.    0.19182 obj. 7060.81 iterations 79
Pass   7: suminf.    0.23223 obj. 7060.81 iterations 23
Pass   8: suminf.    0.11736 obj. 7060.81 iterations 4
Pass   9: suminf.    0.00000 obj. 7060.81 iterations 10
Solution found of 7060.81
Before mini branch and bound, 129 integers at bound fixed and 1657 continuous
Full problem 826 rows 2025 columns, reduced to 22 rows 30 columns
Mini branch and bound improved solution from 7060.81 to 6929.06 (0.11 seconds)
After 0.12 seconds - Feasibility pump exiting with objective of 6929.06 - took 0.12 seconds
Integer solution of 6929.06 found by feasibility pump after 0 iterations and 0 nodes (0.13 seconds)
Full problem 826 rows 2025 columns, reduced to 195 rows 444 columns
21 added rows had average density of 108.476
At root node, 21 cuts changed objective from 6637.19 to 6695.41 in 19 passes
Cut generator 0 (Probing) - 0 row cuts (0 active), 0 column cuts  in 0.028 seconds - new frequency is 10
Cut generator 1 (Gomory) - 130 row cuts (2 active), 0 column cuts  in 0.168 seconds - new frequency is 1
Cut generator 2 (Knapsack) - 128 row cuts (7 active), 0 column cuts  in 0.060 seconds - new frequency is 1
Cut generator 3 (Clique) - 0 row cuts (0 active), 0 column cuts  in 0.008 seconds - new frequency is -100
Cut generator 4 (MixedIntegerRounding2) - 0 row cuts (0 active), 0 column cuts  in 0.012 seconds - new frequency is -100
Cut generator 5 (FlowCover) - 0 row cuts (0 active), 0 column cuts  in 0.124 seconds - new frequency is -100
Cut generator 6 (TwoMirCuts) - 219 row cuts (12 active), 0 column cuts  in 0.040 seconds - new frequency is -100
After 0 nodes, 1 on tree, 6929.06 best solution, best possible 6695.41 (0.92 seconds)
After 100 nodes, 53 on tree, 6929.06 best solution, best possible 6700.54 (7.34 seconds)
After 200 nodes, 104 on tree, 6929.06 best solution, best possible 6700.54 (10.28 seconds)
Full problem 826 rows 2025 columns, reduced to 337 rows 741 columns
Integer solution of 6793.3 found by combine solutions after 8348 iterations and 225 nodes (15.22 seconds)
After 300 nodes, 126 on tree, 6793.3 best solution, best possible 6700.54 (16.03 seconds)
After 400 nodes, 178 on tree, 6793.3 best solution, best possible 6700.54 (16.85 seconds)
After 500 nodes, 228 on tree, 6793.3 best solution, best possible 6700.54 (17.78 seconds)
After 600 nodes, 277 on tree, 6793.3 best solution, best possible 6700.54 (18.53 seconds)
After 700 nodes, 326 on tree, 6793.3 best solution, best possible 6700.54 (19.35 seconds)
After 800 nodes, 376 on tree, 6793.3 best solution, best possible 6700.54 (20.01 seconds)
After 900 nodes, 425 on tree, 6793.3 best solution, best possible 6700.54 (20.89 seconds)
After 1000 nodes, 472 on tree, 6793.3 best solution, best possible 6700.54 (21.57 seconds)
After 1100 nodes, 522 on tree, 6793.3 best solution, best possible 6700.54 (22.34 seconds)
After 1200 nodes, 572 on tree, 6793.3 best solution, best possible 6700.54 (23.02 seconds)
After 1300 nodes, 621 on tree, 6793.3 best solution, best possible 6700.54 (23.83 seconds)
After 1400 nodes, 671 on tree, 6793.3 best solution, best possible 6700.54 (24.61 seconds)
After 1500 nodes, 722 on tree, 6793.3 best solution, best possible 6700.54 (25.39 seconds)
After 1600 nodes, 771 on tree, 6793.3 best solution, best possible 6700.54 (26.11 seconds)
After 1700 nodes, 822 on tree, 6793.3 best solution, best possible 6700.54 (26.71 seconds)
After 1800 nodes, 871 on tree, 6793.3 best solution, best possible 6700.54 (27.50 seconds)
After 1900 nodes, 921 on tree, 6793.3 best solution, best possible 6700.54 (28.27 seconds)
After 2000 nodes, 971 on tree, 6793.3 best solution, best possible 6700.54 (29.05 seconds)
After 2100 nodes, 1021 on tree, 6793.3 best solution, best possible 6700.54 (29.75 seconds)
After 2200 nodes, 1070 on tree, 6793.3 best solution, best possible 6700.54 (30.58 seconds)
After 2300 nodes, 1120 on tree, 6793.3 best solution, best possible 6700.54 (31.23 seconds)
After 2400 nodes, 1171 on tree, 6793.3 best solution, best possible 6700.54 (31.72 seconds)
After 2500 nodes, 1223 on tree, 6793.3 best solution, best possible 6700.54 (32.39 seconds)
After 2600 nodes, 1270 on tree, 6793.3 best solution, best possible 6700.54 (33.07 seconds)
After 2700 nodes, 1319 on tree, 6793.3 best solution, best possible 6700.54 (33.72 seconds)
After 2800 nodes, 1368 on tree, 6793.3 best solution, best possible 6700.54 (34.43 seconds)
Integer solution of 6751.03 found after 75340 iterations and 2858 nodes (34.73 seconds)
Full problem 826 rows 2025 columns, reduced to 386 rows 856 columns
After 2900 nodes, 981 on tree, 6751.03 best solution, best possible 6700.54 (37.29 seconds)
After 3000 nodes, 1031 on tree, 6751.03 best solution, best possible 6700.54 (38.11 seconds)
After 3100 nodes, 1082 on tree, 6751.03 best solution, best possible 6700.54 (38.85 seconds)
After 3200 nodes, 1131 on tree, 6751.03 best solution, best possible 6700.54 (39.67 seconds)
After 3300 nodes, 1179 on tree, 6751.03 best solution, best possible 6700.54 (40.55 seconds)
After 3400 nodes, 1230 on tree, 6751.03 best solution, best possible 6700.54 (41.32 seconds)
After 3500 nodes, 1280 on tree, 6751.03 best solution, best possible 6700.54 (42.09 seconds)
After 3600 nodes, 1329 on tree, 6751.03 best solution, best possible 6700.54 (42.90 seconds)
After 3700 nodes, 1377 on tree, 6751.03 best solution, best possible 6700.54 (43.61 seconds)
After 3800 nodes, 1425 on tree, 6751.03 best solution, best possible 6700.54 (44.35 seconds)
After 3900 nodes, 1474 on tree, 6751.03 best solution, best possible 6700.54 (45.03 seconds)
After 4000 nodes, 1521 on tree, 6751.03 best solution, best possible 6700.54 (45.71 seconds)
After 4100 nodes, 1567 on tree, 6751.03 best solution, best possible 6700.54 (46.54 seconds)
After 4200 nodes, 1612 on tree, 6751.03 best solution, best possible 6700.54 (47.25 seconds)
After 4300 nodes, 1658 on tree, 6751.03 best solution, best possible 6700.54 (48.28 seconds)
After 4400 nodes, 1706 on tree, 6751.03 best solution, best possible 6700.54 (49.25 seconds)
After 4500 nodes, 1756 on tree, 6751.03 best solution, best possible 6700.73 (50.04 seconds)
After 4600 nodes, 1804 on tree, 6751.03 best solution, best possible 6700.73 (50.84 seconds)
After 4700 nodes, 1846 on tree, 6751.03 best solution, best possible 6700.73 (51.72 seconds)
After 4800 nodes, 1895 on tree, 6751.03 best solution, best possible 6700.73 (52.46 seconds)
After 4900 nodes, 1943 on tree, 6751.03 best solution, best possible 6700.73 (53.31 seconds)
After 5000 nodes, 1989 on tree, 6751.03 best solution, best possible 6700.73 (54.03 seconds)
After 5100 nodes, 2037 on tree, 6751.03 best solution, best possible 6700.73 (54.73 seconds)
After 5200 nodes, 2078 on tree, 6751.03 best solution, best possible 6700.73 (55.44 seconds)
After 5300 nodes, 2125 on tree, 6751.03 best solution, best possible 6700.73 (56.26 seconds)
After 5400 nodes, 2171 on tree, 6751.03 best solution, best possible 6700.73 (57.09 seconds)
After 5500 nodes, 2217 on tree, 6751.03 best solution, best possible 6700.73 (58.03 seconds)
After 5600 nodes, 2260 on tree, 6751.03 best solution, best possible 6700.73 (59.08 seconds)
After 5700 nodes, 2301 on tree, 6751.03 best solution, best possible 6705.11 (59.92 seconds)
After 5800 nodes, 2349 on tree, 6751.03 best solution, best possible 6705.11 (60.62 seconds)
After 5900 nodes, 2390 on tree, 6751.03 best solution, best possible 6705.11 (61.38 seconds)
After 6000 nodes, 2438 on tree, 6751.03 best solution, best possible 6705.11 (62.10 seconds)
After 6100 nodes, 2478 on tree, 6751.03 best solution, best possible 6705.11 (62.91 seconds)
After 6200 nodes, 2524 on tree, 6751.03 best solution, best possible 6705.11 (63.76 seconds)
After 6300 nodes, 2569 on tree, 6751.03 best solution, best possible 6705.11 (64.58 seconds)
After 6400 nodes, 2615 on tree, 6751.03 best solution, best possible 6705.11 (65.32 seconds)
After 6500 nodes, 2664 on tree, 6751.03 best solution, best possible 6705.11 (66.14 seconds)
After 6600 nodes, 2715 on tree, 6751.03 best solution, best possible 6705.11 (66.89 seconds)
After 6700 nodes, 2761 on tree, 6751.03 best solution, best possible 6705.11 (67.82 seconds)
After 6800 nodes, 2808 on tree, 6751.03 best solution, best possible 6705.11 (68.82 seconds)
After 6900 nodes, 2856 on tree, 6751.03 best solution, best possible 6705.11 (69.83 seconds)
After 7000 nodes, 2901 on tree, 6751.03 best solution, best possible 6705.11 (70.91 seconds)
After 7100 nodes, 2944 on tree, 6751.03 best solution, best possible 6705.11 (71.76 seconds)
After 7200 nodes, 2990 on tree, 6751.03 best solution, best possible 6705.11 (72.64 seconds)
After 7300 nodes, 3038 on tree, 6751.03 best solution, best possible 6705.11 (73.59 seconds)
After 7400 nodes, 3079 on tree, 6751.03 best solution, best possible 6705.11 (74.46 seconds)
After 7500 nodes, 3126 on tree, 6751.03 best solution, best possible 6705.11 (75.37 seconds)
After 7600 nodes, 3175 on tree, 6751.03 best solution, best possible 6705.11 (76.31 seconds)
After 7700 nodes, 3218 on tree, 6751.03 best solution, best possible 6705.11 (77.38 seconds)
After 7800 nodes, 3262 on tree, 6751.03 best solution, best possible 6705.11 (78.25 seconds)
After 7900 nodes, 3311 on tree, 6751.03 best solution, best possible 6705.11 (79.30 seconds)
After 8000 nodes, 3353 on tree, 6751.03 best solution, best possible 6705.11 (80.33 seconds)
After 8100 nodes, 3397 on tree, 6751.03 best solution, best possible 6705.11 (81.27 seconds)
After 8200 nodes, 3446 on tree, 6751.03 best solution, best possible 6705.11 (82.15 seconds)
After 8300 nodes, 3487 on tree, 6751.03 best solution, best possible 6705.11 (83.02 seconds)
After 8400 nodes, 3531 on tree, 6751.03 best solution, best possible 6705.11 (83.95 seconds)
After 8500 nodes, 3572 on tree, 6751.03 best solution, best possible 6705.11 (84.99 seconds)
After 8600 nodes, 3618 on tree, 6751.03 best solution, best possible 6705.11 (85.92 seconds)
After 8700 nodes, 3664 on tree, 6751.03 best solution, best possible 6705.11 (86.96 seconds)
After 8800 nodes, 3708 on tree, 6751.03 best solution, best possible 6705.11 (87.85 seconds)
After 8900 nodes, 3752 on tree, 6751.03 best solution, best possible 6705.11 (88.88 seconds)
After 9000 nodes, 3795 on tree, 6751.03 best solution, best possible 6705.11 (89.72 seconds)
After 9100 nodes, 3841 on tree, 6751.03 best solution, best possible 6705.11 (90.58 seconds)
After 9200 nodes, 3884 on tree, 6751.03 best solution, best possible 6705.11 (91.59 seconds)
After 9300 nodes, 3924 on tree, 6751.03 best solution, best possible 6705.11 (92.52 seconds)
After 9400 nodes, 3964 on tree, 6751.03 best solution, best possible 6705.11 (93.44 seconds)
After 9500 nodes, 4008 on tree, 6751.03 best solution, best possible 6705.11 (94.33 seconds)
After 9600 nodes, 4051 on tree, 6751.03 best solution, best possible 6705.11 (95.37 seconds)
After 9700 nodes, 4097 on tree, 6751.03 best solution, best possible 6705.11 (96.27 seconds)
After 9800 nodes, 4140 on tree, 6751.03 best solution, best possible 6705.11 (97.26 seconds)
After 9900 nodes, 4181 on tree, 6751.03 best solution, best possible 6705.11 (98.15 seconds)
After 10000 nodes, 4224 on tree, 6751.03 best solution, best possible 6705.11 (99.07 seconds)
After 10100 nodes, 4260 on tree, 6751.03 best solution, best possible 6705.11 (100.19 seconds)
After 10200 nodes, 4303 on tree, 6751.03 best solution, best possible 6705.11 (101.09 seconds)
After 10300 nodes, 4347 on tree, 6751.03 best solution, best possible 6705.11 (101.98 seconds)
After 10400 nodes, 4391 on tree, 6751.03 best solution, best possible 6705.11 (102.89 seconds)
After 10500 nodes, 4428 on tree, 6751.03 best solution, best possible 6705.11 (103.79 seconds)
After 10600 nodes, 4472 on tree, 6751.03 best solution, best possible 6705.11 (104.63 seconds)
After 10700 nodes, 4516 on tree, 6751.03 best solution, best possible 6705.11 (105.53 seconds)
After 10800 nodes, 4559 on tree, 6751.03 best solution, best possible 6705.11 (106.47 seconds)
After 10900 nodes, 4595 on tree, 6751.03 best solution, best possible 6705.11 (107.24 seconds)
After 11000 nodes, 4634 on tree, 6751.03 best solution, best possible 6705.11 (108.19 seconds)
After 11100 nodes, 4683 on tree, 6751.03 best solution, best possible 6712.57 (109.46 seconds)
After 11200 nodes, 4732 on tree, 6751.03 best solution, best possible 6714.05 (110.42 seconds)
After 11300 nodes, 4782 on tree, 6751.03 best solution, best possible 6715.03 (111.27 seconds)
After 11400 nodes, 4831 on tree, 6751.03 best solution, best possible 6715.62 (112.19 seconds)
After 11500 nodes, 4879 on tree, 6751.03 best solution, best possible 6716.19 (113.08 seconds)
After 11600 nodes, 4928 on tree, 6751.03 best solution, best possible 6716.58 (114.06 seconds)
After 11700 nodes, 4977 on tree, 6751.03 best solution, best possible 6716.97 (114.84 seconds)
After 11800 nodes, 5027 on tree, 6751.03 best solution, best possible 6717.3 (115.75 seconds)
After 11900 nodes, 5077 on tree, 6751.03 best solution, best possible 6717.66 (116.72 seconds)
After 12000 nodes, 5126 on tree, 6751.03 best solution, best possible 6717.91 (117.74 seconds)
After 12100 nodes, 5175 on tree, 6751.03 best solution, best possible 6718.14 (118.74 seconds)
After 12200 nodes, 5225 on tree, 6751.03 best solution, best possible 6718.38 (119.69 seconds)
After 12300 nodes, 5272 on tree, 6751.03 best solution, best possible 6718.61 (120.62 seconds)
After 12400 nodes, 5320 on tree, 6751.03 best solution, best possible 6718.91 (121.57 seconds)
After 12500 nodes, 5370 on tree, 6751.03 best solution, best possible 6719.1 (122.40 seconds)
After 12600 nodes, 5419 on tree, 6751.03 best solution, best possible 6719.31 (123.40 seconds)
After 12700 nodes, 5465 on tree, 6751.03 best solution, best possible 6719.49 (124.40 seconds)
After 12800 nodes, 5512 on tree, 6751.03 best solution, best possible 6719.69 (125.33 seconds)
After 12900 nodes, 5561 on tree, 6751.03 best solution, best possible 6719.85 (126.32 seconds)
After 13000 nodes, 5610 on tree, 6751.03 best solution, best possible 6720.05 (127.19 seconds)
After 13100 nodes, 5652 on tree, 6751.03 best solution, best possible 6720.05 (128.10 seconds)
After 13200 nodes, 5695 on tree, 6751.03 best solution, best possible 6720.05 (129.29 seconds)
After 13300 nodes, 5742 on tree, 6751.03 best solution, best possible 6720.05 (130.54 seconds)
After 13400 nodes, 5788 on tree, 6751.03 best solution, best possible 6720.05 (131.58 seconds)
After 13500 nodes, 5833 on tree, 6751.03 best solution, best possible 6720.06 (132.63 seconds)
After 13600 nodes, 5878 on tree, 6751.03 best solution, best possible 6720.06 (133.62 seconds)
After 13700 nodes, 5920 on tree, 6751.03 best solution, best possible 6720.06 (134.48 seconds)
After 13800 nodes, 5967 on tree, 6751.03 best solution, best possible 6720.06 (135.47 seconds)
After 13900 nodes, 6014 on tree, 6751.03 best solution, best possible 6720.06 (136.38 seconds)
After 14000 nodes, 6059 on tree, 6751.03 best solution, best possible 6720.06 (137.25 seconds)
After 14100 nodes, 6105 on tree, 6751.03 best solution, best possible 6720.29 (138.06 seconds)
After 14200 nodes, 6154 on tree, 6751.03 best solution, best possible 6720.5 (138.82 seconds)
After 14300 nodes, 6202 on tree, 6751.03 best solution, best possible 6720.69 (139.65 seconds)
After 14400 nodes, 6249 on tree, 6751.03 best solution, best possible 6720.86 (140.60 seconds)
After 14500 nodes, 6296 on tree, 6751.03 best solution, best possible 6721.02 (141.45 seconds)
After 14600 nodes, 6346 on tree, 6751.03 best solution, best possible 6721.14 (142.34 seconds)
After 14700 nodes, 6391 on tree, 6751.03 best solution, best possible 6721.28 (143.16 seconds)
After 14800 nodes, 6436 on tree, 6751.03 best solution, best possible 6721.39 (144.10 seconds)
After 14900 nodes, 6483 on tree, 6751.03 best solution, best possible 6721.48 (144.97 seconds)
After 15000 nodes, 6530 on tree, 6751.03 best solution, best possible 6721.61 (145.91 seconds)
After 15100 nodes, 6578 on tree, 6751.03 best solution, best possible 6721.76 (146.71 seconds)
After 15200 nodes, 6627 on tree, 6751.03 best solution, best possible 6721.88 (147.46 seconds)
After 15300 nodes, 6677 on tree, 6751.03 best solution, best possible 6721.98 (148.27 seconds)
After 15400 nodes, 6726 on tree, 6751.03 best solution, best possible 6722.09 (149.07 seconds)
After 15500 nodes, 6774 on tree, 6751.03 best solution, best possible 6722.22 (149.90 seconds)
After 15600 nodes, 6824 on tree, 6751.03 best solution, best possible 6722.31 (150.67 seconds)
After 15700 nodes, 6871 on tree, 6751.03 best solution, best possible 6722.39 (151.44 seconds)
After 15800 nodes, 6920 on tree, 6751.03 best solution, best possible 6722.46 (152.33 seconds)
After 15900 nodes, 6968 on tree, 6751.03 best solution, best possible 6722.55 (153.24 seconds)
After 16000 nodes, 7015 on tree, 6751.03 best solution, best possible 6722.65 (154.03 seconds)
After 16100 nodes, 7061 on tree, 6751.03 best solution, best possible 6722.73 (154.76 seconds)
After 16200 nodes, 7111 on tree, 6751.03 best solution, best possible 6722.85 (155.56 seconds)
After 16300 nodes, 7161 on tree, 6751.03 best solution, best possible 6722.92 (156.43 seconds)
After 16400 nodes, 7206 on tree, 6751.03 best solution, best possible 6722.98 (157.31 seconds)
After 16500 nodes, 7255 on tree, 6751.03 best solution, best possible 6723.07 (158.23 seconds)
After 16600 nodes, 7303 on tree, 6751.03 best solution, best possible 6723.15 (159.05 seconds)
After 16700 nodes, 7351 on tree, 6751.03 best solution, best possible 6723.2 (159.98 seconds)
After 16800 nodes, 7398 on tree, 6751.03 best solution, best possible 6723.26 (160.85 seconds)
After 16900 nodes, 7447 on tree, 6751.03 best solution, best possible 6723.35 (161.68 seconds)
After 17000 nodes, 7493 on tree, 6751.03 best solution, best possible 6723.41 (162.59 seconds)
After 17100 nodes, 7536 on tree, 6751.03 best solution, best possible 6723.41 (163.63 seconds)
After 17200 nodes, 7583 on tree, 6751.03 best solution, best possible 6723.41 (164.61 seconds)
After 17300 nodes, 7628 on tree, 6751.03 best solution, best possible 6723.41 (165.55 seconds)
After 17400 nodes, 7676 on tree, 6751.03 best solution, best possible 6723.41 (166.43 seconds)
After 17500 nodes, 7721 on tree, 6751.03 best solution, best possible 6723.41 (167.29 seconds)
After 17600 nodes, 7763 on tree, 6751.03 best solution, best possible 6723.41 (168.27 seconds)
After 17700 nodes, 7801 on tree, 6751.03 best solution, best possible 6723.41 (169.25 seconds)
After 17800 nodes, 7843 on tree, 6751.03 best solution, best possible 6723.41 (170.18 seconds)
After 17900 nodes, 7884 on tree, 6751.03 best solution, best possible 6723.41 (171.02 seconds)
After 18000 nodes, 7925 on tree, 6751.03 best solution, best possible 6723.41 (171.92 seconds)
After 18100 nodes, 7971 on tree, 6751.03 best solution, best possible 6723.48 (172.80 seconds)
After 18200 nodes, 8017 on tree, 6751.03 best solution, best possible 6723.58 (173.66 seconds)
After 18300 nodes, 8066 on tree, 6751.03 best solution, best possible 6723.66 (174.51 seconds)
After 18400 nodes, 8110 on tree, 6751.03 best solution, best possible 6723.74 (175.41 seconds)
After 18500 nodes, 8157 on tree, 6751.03 best solution, best possible 6723.82 (176.36 seconds)
After 18600 nodes, 8204 on tree, 6751.03 best solution, best possible 6723.89 (177.18 seconds)
After 18700 nodes, 8252 on tree, 6751.03 best solution, best possible 6723.96 (177.97 seconds)
After 18800 nodes, 8296 on tree, 6751.03 best solution, best possible 6724.05 (178.84 seconds)
After 18900 nodes, 8345 on tree, 6751.03 best solution, best possible 6724.11 (179.72 seconds)
After 19000 nodes, 8394 on tree, 6751.03 best solution, best possible 6724.17 (180.44 seconds)
After 19100 nodes, 8443 on tree, 6751.03 best solution, best possible 6724.23 (181.21 seconds)
After 19200 nodes, 8493 on tree, 6751.03 best solution, best possible 6724.29 (182.01 seconds)
After 19300 nodes, 8540 on tree, 6751.03 best solution, best possible 6724.35 (182.84 seconds)
After 19400 nodes, 8582 on tree, 6751.03 best solution, best possible 6724.43 (183.65 seconds)
After 19500 nodes, 8632 on tree, 6751.03 best solution, best possible 6724.48 (184.43 seconds)
After 19600 nodes, 8680 on tree, 6751.03 best solution, best possible 6724.54 (185.29 seconds)
After 19700 nodes, 8728 on tree, 6751.03 best solution, best possible 6724.58 (186.12 seconds)
After 19800 nodes, 8775 on tree, 6751.03 best solution, best possible 6724.63 (186.92 seconds)
After 19900 nodes, 8821 on tree, 6751.03 best solution, best possible 6724.68 (187.73 seconds)
After 20000 nodes, 8867 on tree, 6751.03 best solution, best possible 6724.74 (188.55 seconds)
After 20100 nodes, 8910 on tree, 6751.03 best solution, best possible 6724.79 (189.34 seconds)
After 20200 nodes, 8957 on tree, 6751.03 best solution, best possible 6724.85 (190.14 seconds)
After 20300 nodes, 9003 on tree, 6751.03 best solution, best possible 6724.93 (190.90 seconds)
After 20400 nodes, 9050 on tree, 6751.03 best solution, best possible 6724.97 (191.76 seconds)
After 20500 nodes, 9099 on tree, 6751.03 best solution, best possible 6725.02 (192.58 seconds)
After 20600 nodes, 9148 on tree, 6751.03 best solution, best possible 6725.07 (193.46 seconds)
After 20700 nodes, 9193 on tree, 6751.03 best solution, best possible 6725.1 (194.38 seconds)
After 20800 nodes, 9236 on tree, 6751.03 best solution, best possible 6725.16 (195.17 seconds)
After 20900 nodes, 9282 on tree, 6751.03 best solution, best possible 6725.22 (196.00 seconds)
After 21000 nodes, 9324 on tree, 6751.03 best solution, best possible 6725.27 (196.88 seconds)
After 21100 nodes, 9366 on tree, 6751.03 best solution, best possible 6725.27 (197.87 seconds)
After 21200 nodes, 9410 on tree, 6751.03 best solution, best possible 6725.27 (198.88 seconds)
After 21300 nodes, 9450 on tree, 6751.03 best solution, best possible 6725.27 (199.80 seconds)
After 21400 nodes, 9480 on tree, 6751.03 best solution, best possible 6725.27 (200.75 seconds)
After 21500 nodes, 9523 on tree, 6751.03 best solution, best possible 6725.27 (201.73 seconds)
After 21600 nodes, 9560 on tree, 6751.03 best solution, best possible 6725.27 (202.68 seconds)
After 21700 nodes, 9598 on tree, 6751.03 best solution, best possible 6725.27 (203.56 seconds)
After 21800 nodes, 9639 on tree, 6751.03 best solution, best possible 6725.27 (204.45 seconds)
After 21900 nodes, 9671 on tree, 6751.03 best solution, best possible 6725.27 (205.30 seconds)
After 22000 nodes, 9712 on tree, 6751.03 best solution, best possible 6725.27 (206.18 seconds)
After 22100 nodes, 9758 on tree, 6751.03 best solution, best possible 6725.32 (207.04 seconds)
After 22200 nodes, 9804 on tree, 6751.03 best solution, best possible 6725.37 (207.85 seconds)
After 22300 nodes, 9851 on tree, 6751.03 best solution, best possible 6725.41 (208.64 seconds)
After 22400 nodes, 9897 on tree, 6751.03 best solution, best possible 6725.46 (209.48 seconds)
After 22500 nodes, 9944 on tree, 6751.03 best solution, best possible 6725.5 (210.32 seconds)
After 22600 nodes, 9991 on tree, 6751.03 best solution, best possible 6725.55 (211.15 seconds)
After 22700 nodes, 10039 on tree, 6751.03 best solution, best possible 6725.6 (211.96 seconds)
After 22800 nodes, 10086 on tree, 6751.03 best solution, best possible 6725.66 (212.89 seconds)
After 22900 nodes, 10134 on tree, 6751.03 best solution, best possible 6725.7 (213.76 seconds)
After 23000 nodes, 10184 on tree, 6751.03 best solution, best possible 6725.74 (214.63 seconds)
After 23100 nodes, 10225 on tree, 6751.03 best solution, best possible 6725.74 (215.67 seconds)
After 23200 nodes, 10262 on tree, 6751.03 best solution, best possible 6725.74 (216.65 seconds)
After 23300 nodes, 10303 on tree, 6751.03 best solution, best possible 6725.74 (217.52 seconds)
After 23400 nodes, 10345 on tree, 6751.03 best solution, best possible 6725.74 (218.45 seconds)
After 23500 nodes, 10386 on tree, 6751.03 best solution, best possible 6725.74 (219.43 seconds)
After 23600 nodes, 10425 on tree, 6751.03 best solution, best possible 6725.74 (220.40 seconds)
After 23700 nodes, 10459 on tree, 6751.03 best solution, best possible 6725.74 (221.29 seconds)
After 23800 nodes, 10490 on tree, 6751.03 best solution, best possible 6725.74 (222.14 seconds)
After 23900 nodes, 10528 on tree, 6751.03 best solution, best possible 6725.74 (222.94 seconds)
After 24000 nodes, 10566 on tree, 6751.03 best solution, best possible 6725.74 (223.90 seconds)
Integer solution of 6748.86 found after 670148 iterations and 24015 nodes (223.95 seconds)
Full problem 826 rows 2025 columns, reduced to 404 rows 908 columns
After 24100 nodes, 10255 on tree, 6748.86 best solution, best possible 6725.74 (226.26 seconds)
After 24200 nodes, 10293 on tree, 6748.86 best solution, best possible 6725.74 (227.31 seconds)
After 24300 nodes, 10319 on tree, 6748.86 best solution, best possible 6725.74 (228.17 seconds)
After 24400 nodes, 10355 on tree, 6748.86 best solution, best possible 6725.74 (229.07 seconds)
After 24500 nodes, 10387 on tree, 6748.86 best solution, best possible 6725.74 (229.97 seconds)
After 24600 nodes, 10421 on tree, 6748.86 best solution, best possible 6725.74 (230.81 seconds)
After 24700 nodes, 10452 on tree, 6748.86 best solution, best possible 6725.74 (231.71 seconds)
After 24800 nodes, 10486 on tree, 6748.86 best solution, best possible 6725.74 (232.56 seconds)
After 24900 nodes, 10519 on tree, 6748.86 best solution, best possible 6725.74 (233.45 seconds)
After 25000 nodes, 10553 on tree, 6748.86 best solution, best possible 6725.74 (234.39 seconds)
After 25100 nodes, 10598 on tree, 6748.86 best solution, best possible 6725.79 (235.21 seconds)
After 25200 nodes, 10643 on tree, 6748.86 best solution, best possible 6725.86 (235.96 seconds)
After 25300 nodes, 10692 on tree, 6748.86 best solution, best possible 6725.91 (236.82 seconds)
After 25400 nodes, 10738 on tree, 6748.86 best solution, best possible 6725.96 (237.55 seconds)
After 25500 nodes, 10781 on tree, 6748.86 best solution, best possible 6726 (238.31 seconds)
After 25600 nodes, 10829 on tree, 6748.86 best solution, best possible 6726.06 (239.21 seconds)
After 25700 nodes, 10876 on tree, 6748.86 best solution, best possible 6726.09 (239.96 seconds)
After 25800 nodes, 10919 on tree, 6748.86 best solution, best possible 6726.14 (240.76 seconds)
After 25900 nodes, 10965 on tree, 6748.86 best solution, best possible 6726.18 (241.48 seconds)
After 26000 nodes, 11012 on tree, 6748.86 best solution, best possible 6726.22 (242.28 seconds)
After 26100 nodes, 11053 on tree, 6748.86 best solution, best possible 6726.22 (243.16 seconds)
After 26200 nodes, 11091 on tree, 6748.86 best solution, best possible 6726.22 (244.01 seconds)
After 26300 nodes, 11130 on tree, 6748.86 best solution, best possible 6726.22 (244.88 seconds)
After 26400 nodes, 11168 on tree, 6748.86 best solution, best possible 6726.22 (245.86 seconds)
After 26500 nodes, 11206 on tree, 6748.86 best solution, best possible 6726.22 (246.74 seconds)
After 26600 nodes, 11242 on tree, 6748.86 best solution, best possible 6726.22 (247.70 seconds)
After 26700 nodes, 11282 on tree, 6748.86 best solution, best possible 6726.22 (248.58 seconds)
After 26800 nodes, 11322 on tree, 6748.86 best solution, best possible 6726.22 (249.53 seconds)
After 26900 nodes, 11358 on tree, 6748.86 best solution, best possible 6726.22 (250.44 seconds)
After 27000 nodes, 11382 on tree, 6748.86 best solution, best possible 6726.22 (251.44 seconds)
After 27100 nodes, 11414 on tree, 6748.86 best solution, best possible 6726.22 (252.26 seconds)
After 27200 nodes, 11448 on tree, 6748.86 best solution, best possible 6726.22 (253.16 seconds)
After 27300 nodes, 11487 on tree, 6748.86 best solution, best possible 6726.22 (253.99 seconds)
After 27400 nodes, 11511 on tree, 6748.86 best solution, best possible 6726.22 (254.90 seconds)
After 27500 nodes, 11544 on tree, 6748.86 best solution, best possible 6726.22 (255.73 seconds)
After 27600 nodes, 11576 on tree, 6748.86 best solution, best possible 6726.22 (256.55 seconds)
After 27700 nodes, 11611 on tree, 6748.86 best solution, best possible 6726.22 (257.41 seconds)
After 27800 nodes, 11642 on tree, 6748.86 best solution, best possible 6726.22 (258.24 seconds)
After 27900 nodes, 11677 on tree, 6748.86 best solution, best possible 6726.22 (259.10 seconds)
After 28000 nodes, 11707 on tree, 6748.86 best solution, best possible 6726.22 (260.13 seconds)
Integer solution of 6747.67 found after 779893 iterations and 28024 nodes (260.21 seconds)
Full problem 826 rows 2025 columns, reduced to 422 rows 948 columns
After 28100 nodes, 11450 on tree, 6747.67 best solution, best possible 6726.22 (262.29 seconds)
After 28200 nodes, 11460 on tree, 6747.67 best solution, best possible 6726.22 (263.16 seconds)
After 28300 nodes, 11487 on tree, 6747.67 best solution, best possible 6726.22 (264.10 seconds)
After 28400 nodes, 11522 on tree, 6747.67 best solution, best possible 6726.22 (264.97 seconds)
After 28500 nodes, 11555 on tree, 6747.67 best solution, best possible 6726.22 (265.95 seconds)
After 28600 nodes, 11584 on tree, 6747.67 best solution, best possible 6726.22 (266.86 seconds)
After 28700 nodes, 11605 on tree, 6747.67 best solution, best possible 6726.22 (267.84 seconds)
After 28800 nodes, 11644 on tree, 6747.67 best solution, best possible 6726.22 (268.77 seconds)
After 28900 nodes, 11671 on tree, 6747.67 best solution, best possible 6726.22 (269.56 seconds)
After 29000 nodes, 11703 on tree, 6747.67 best solution, best possible 6726.22 (270.48 seconds)
After 29100 nodes, 11748 on tree, 6747.67 best solution, best possible 6726.27 (271.19 seconds)
After 29200 nodes, 11790 on tree, 6747.67 best solution, best possible 6726.34 (271.97 seconds)
After 29300 nodes, 11829 on tree, 6747.67 best solution, best possible 6726.38 (272.75 seconds)
After 29400 nodes, 11873 on tree, 6747.67 best solution, best possible 6726.43 (273.55 seconds)
After 29500 nodes, 11917 on tree, 6747.67 best solution, best possible 6726.48 (274.27 seconds)
After 29600 nodes, 11966 on tree, 6747.67 best solution, best possible 6726.53 (275.07 seconds)
After 29700 nodes, 12011 on tree, 6747.67 best solution, best possible 6726.58 (275.87 seconds)
After 29800 nodes, 12055 on tree, 6747.67 best solution, best possible 6726.64 (276.61 seconds)
After 29900 nodes, 12101 on tree, 6747.67 best solution, best possible 6726.68 (277.39 seconds)
After 30000 nodes, 12142 on tree, 6747.67 best solution, best possible 6726.73 (278.17 seconds)
After 30100 nodes, 12176 on tree, 6747.67 best solution, best possible 6726.73 (279.18 seconds)
After 30200 nodes, 12210 on tree, 6747.67 best solution, best possible 6726.73 (280.09 seconds)
After 30300 nodes, 12244 on tree, 6747.67 best solution, best possible 6726.73 (281.06 seconds)
After 30400 nodes, 12281 on tree, 6747.67 best solution, best possible 6726.73 (281.87 seconds)
After 30500 nodes, 12304 on tree, 6747.67 best solution, best possible 6726.73 (282.77 seconds)
After 30600 nodes, 12336 on tree, 6747.67 best solution, best possible 6726.73 (283.70 seconds)
After 30700 nodes, 12375 on tree, 6747.67 best solution, best possible 6726.73 (284.61 seconds)
After 30800 nodes, 12407 on tree, 6747.67 best solution, best possible 6726.73 (285.60 seconds)
After 30900 nodes, 12436 on tree, 6747.67 best solution, best possible 6726.73 (286.60 seconds)
After 31000 nodes, 12462 on tree, 6747.67 best solution, best possible 6726.73 (287.60 seconds)
After 31100 nodes, 12487 on tree, 6747.67 best solution, best possible 6726.73 (288.37 seconds)
After 31200 nodes, 12519 on tree, 6747.67 best solution, best possible 6726.73 (289.24 seconds)
After 31300 nodes, 12557 on tree, 6747.67 best solution, best possible 6726.73 (290.07 seconds)
After 31400 nodes, 12583 on tree, 6747.67 best solution, best possible 6726.73 (291.05 seconds)
After 31500 nodes, 12614 on tree, 6747.67 best solution, best possible 6726.73 (291.93 seconds)
After 31600 nodes, 12648 on tree, 6747.67 best solution, best possible 6726.73 (292.75 seconds)
After 31700 nodes, 12672 on tree, 6747.67 best solution, best possible 6726.73 (293.53 seconds)
After 31800 nodes, 12698 on tree, 6747.67 best solution, best possible 6726.73 (294.46 seconds)
After 31900 nodes, 12722 on tree, 6747.67 best solution, best possible 6726.73 (295.31 seconds)
After 32000 nodes, 12746 on tree, 6747.67 best solution, best possible 6726.73 (296.08 seconds)
After 32100 nodes, 12724 on tree, 6747.67 best solution, best possible 6726.73 (296.45 seconds)
After 32200 nodes, 12700 on tree, 6747.67 best solution, best possible 6726.73 (296.84 seconds)
After 32300 nodes, 12681 on tree, 6747.67 best solution, best possible 6726.73 (297.23 seconds)
After 32400 nodes, 12670 on tree, 6747.67 best solution, best possible 6726.73 (297.71 seconds)
After 32500 nodes, 12658 on tree, 6747.67 best solution, best possible 6726.73 (298.13 seconds)
After 32600 nodes, 12640 on tree, 6747.67 best solution, best possible 6726.73 (298.65 seconds)
After 32700 nodes, 12623 on tree, 6747.67 best solution, best possible 6726.73 (299.01 seconds)
After 32800 nodes, 12606 on tree, 6747.67 best solution, best possible 6726.73 (299.51 seconds)
After 32900 nodes, 12584 on tree, 6747.67 best solution, best possible 6726.73 (299.98 seconds)
After 33000 nodes, 12574 on tree, 6747.67 best solution, best possible 6726.73 (300.51 seconds)
After 33100 nodes, 12620 on tree, 6747.67 best solution, best possible 6726.78 (301.24 seconds)
After 33200 nodes, 12667 on tree, 6747.67 best solution, best possible 6726.83 (302.06 seconds)
After 33300 nodes, 12709 on tree, 6747.67 best solution, best possible 6726.88 (302.83 seconds)
After 33400 nodes, 12750 on tree, 6747.67 best solution, best possible 6726.93 (303.70 seconds)
After 33500 nodes, 12795 on tree, 6747.67 best solution, best possible 6726.97 (304.55 seconds)
After 33600 nodes, 12840 on tree, 6747.67 best solution, best possible 6727.01 (305.37 seconds)
After 33700 nodes, 12884 on tree, 6747.67 best solution, best possible 6727.06 (306.10 seconds)
After 33800 nodes, 12923 on tree, 6747.67 best solution, best possible 6727.12 (306.89 seconds)
After 33900 nodes, 12967 on tree, 6747.67 best solution, best possible 6727.17 (307.78 seconds)
After 34000 nodes, 13013 on tree, 6747.67 best solution, best possible 6727.22 (308.55 seconds)
After 34100 nodes, 13051 on tree, 6747.67 best solution, best possible 6727.22 (309.58 seconds)
After 34200 nodes, 13080 on tree, 6747.67 best solution, best possible 6727.22 (310.47 seconds)
After 34300 nodes, 13108 on tree, 6747.67 best solution, best possible 6727.22 (311.45 seconds)
After 34400 nodes, 13136 on tree, 6747.67 best solution, best possible 6727.22 (312.38 seconds)
After 34500 nodes, 13167 on tree, 6747.67 best solution, best possible 6727.22 (313.35 seconds)
After 34600 nodes, 13190 on tree, 6747.67 best solution, best possible 6727.22 (314.12 seconds)
After 34700 nodes, 13224 on tree, 6747.67 best solution, best possible 6727.22 (314.99 seconds)
After 34800 nodes, 13252 on tree, 6747.67 best solution, best possible 6727.22 (315.81 seconds)
After 34900 nodes, 13269 on tree, 6747.67 best solution, best possible 6727.22 (316.60 seconds)
After 35000 nodes, 13297 on tree, 6747.67 best solution, best possible 6727.22 (317.48 seconds)
After 35100 nodes, 13323 on tree, 6747.67 best solution, best possible 6727.22 (318.22 seconds)
After 35200 nodes, 13350 on tree, 6747.67 best solution, best possible 6727.22 (319.06 seconds)
After 35300 nodes, 13374 on tree, 6747.67 best solution, best possible 6727.22 (319.91 seconds)
After 35400 nodes, 13398 on tree, 6747.67 best solution, best possible 6727.22 (320.70 seconds)
After 35500 nodes, 13431 on tree, 6747.67 best solution, best possible 6727.22 (321.53 seconds)
After 35600 nodes, 13463 on tree, 6747.67 best solution, best possible 6727.22 (322.54 seconds)
After 35700 nodes, 13490 on tree, 6747.67 best solution, best possible 6727.22 (323.38 seconds)
After 35800 nodes, 13521 on tree, 6747.67 best solution, best possible 6727.22 (324.33 seconds)
After 35900 nodes, 13542 on tree, 6747.67 best solution, best possible 6727.22 (325.23 seconds)
After 36000 nodes, 13567 on tree, 6747.67 best solution, best possible 6727.22 (326.03 seconds)
After 36100 nodes, 13543 on tree, 6747.67 best solution, best possible 6727.22 (326.41 seconds)
After 36200 nodes, 13527 on tree, 6747.67 best solution, best possible 6727.22 (326.94 seconds)
After 36300 nodes, 13509 on tree, 6747.67 best solution, best possible 6727.22 (327.44 seconds)
After 36400 nodes, 13498 on tree, 6747.67 best solution, best possible 6727.22 (328.00 seconds)
After 36500 nodes, 13468 on tree, 6747.67 best solution, best possible 6727.22 (328.66 seconds)
After 36600 nodes, 13454 on tree, 6747.67 best solution, best possible 6727.22 (329.13 seconds)
After 36700 nodes, 13447 on tree, 6747.67 best solution, best possible 6727.22 (329.64 seconds)
After 36800 nodes, 13433 on tree, 6747.67 best solution, best possible 6727.22 (330.15 seconds)
After 36900 nodes, 13432 on tree, 6747.67 best solution, best possible 6727.22 (330.70 seconds)
After 37000 nodes, 13405 on tree, 6747.67 best solution, best possible 6727.22 (331.33 seconds)
After 37100 nodes, 13449 on tree, 6747.67 best solution, best possible 6727.26 (332.09 seconds)
After 37200 nodes, 13497 on tree, 6747.67 best solution, best possible 6727.3 (332.91 seconds)
After 37300 nodes, 13537 on tree, 6747.67 best solution, best possible 6727.36 (333.74 seconds)
After 37400 nodes, 13580 on tree, 6747.67 best solution, best possible 6727.41 (334.52 seconds)
After 37500 nodes, 13625 on tree, 6747.67 best solution, best possible 6727.45 (335.29 seconds)
After 37600 nodes, 13669 on tree, 6747.67 best solution, best possible 6727.49 (336.07 seconds)
After 37700 nodes, 13713 on tree, 6747.67 best solution, best possible 6727.54 (336.83 seconds)
After 37800 nodes, 13757 on tree, 6747.67 best solution, best possible 6727.59 (337.64 seconds)
After 37900 nodes, 13797 on tree, 6747.67 best solution, best possible 6727.63 (338.41 seconds)
After 38000 nodes, 13838 on tree, 6747.67 best solution, best possible 6727.66 (339.22 seconds)
After 38100 nodes, 13873 on tree, 6747.67 best solution, best possible 6727.66 (340.15 seconds)
After 38200 nodes, 13900 on tree, 6747.67 best solution, best possible 6727.66 (341.01 seconds)
After 38300 nodes, 13935 on tree, 6747.67 best solution, best possible 6727.66 (341.87 seconds)
After 38400 nodes, 13973 on tree, 6747.67 best solution, best possible 6727.66 (342.79 seconds)
After 38500 nodes, 14003 on tree, 6747.67 best solution, best possible 6727.66 (343.68 seconds)
After 38600 nodes, 14031 on tree, 6747.67 best solution, best possible 6727.66 (344.56 seconds)
After 38700 nodes, 14058 on tree, 6747.67 best solution, best possible 6727.66 (345.43 seconds)
After 38800 nodes, 14077 on tree, 6747.67 best solution, best possible 6727.66 (346.41 seconds)
After 38900 nodes, 14103 on tree, 6747.67 best solution, best possible 6727.66 (347.30 seconds)
After 39000 nodes, 14122 on tree, 6747.67 best solution, best possible 6727.66 (348.16 seconds)
After 39100 nodes, 14153 on tree, 6747.67 best solution, best possible 6727.66 (349.01 seconds)
After 39200 nodes, 14179 on tree, 6747.67 best solution, best possible 6727.66 (349.87 seconds)
After 39300 nodes, 14201 on tree, 6747.67 best solution, best possible 6727.66 (350.71 seconds)
After 39400 nodes, 14234 on tree, 6747.67 best solution, best possible 6727.66 (351.57 seconds)
After 39500 nodes, 14260 on tree, 6747.67 best solution, best possible 6727.66 (352.51 seconds)
After 39600 nodes, 14287 on tree, 6747.67 best solution, best possible 6727.66 (353.27 seconds)
After 39700 nodes, 14308 on tree, 6747.67 best solution, best possible 6727.66 (354.07 seconds)
After 39800 nodes, 14338 on tree, 6747.67 best solution, best possible 6727.66 (354.84 seconds)
After 39900 nodes, 14368 on tree, 6747.67 best solution, best possible 6727.66 (355.61 seconds)
After 40000 nodes, 14391 on tree, 6747.67 best solution, best possible 6727.66 (356.39 seconds)
After 40100 nodes, 14368 on tree, 6747.67 best solution, best possible 6727.66 (356.92 seconds)
After 40200 nodes, 14360 on tree, 6747.67 best solution, best possible 6727.66 (357.46 seconds)
After 40300 nodes, 14353 on tree, 6747.67 best solution, best possible 6727.66 (357.89 seconds)
After 40400 nodes, 14342 on tree, 6747.67 best solution, best possible 6727.66 (358.41 seconds)
After 40500 nodes, 14312 on tree, 6747.67 best solution, best possible 6727.66 (359.09 seconds)
After 40600 nodes, 14313 on tree, 6747.67 best solution, best possible 6727.66 (359.56 seconds)
After 40700 nodes, 14302 on tree, 6747.67 best solution, best possible 6727.66 (360.10 seconds)
After 40800 nodes, 14282 on tree, 6747.67 best solution, best possible 6727.66 (360.82 seconds)
After 40900 nodes, 14279 on tree, 6747.67 best solution, best possible 6727.66 (361.21 seconds)
After 41000 nodes, 14290 on tree, 6747.67 best solution, best possible 6727.66 (361.61 seconds)
After 41100 nodes, 14328 on tree, 6747.67 best solution, best possible 6727.71 (362.44 seconds)
After 41200 nodes, 14366 on tree, 6747.67 best solution, best possible 6727.75 (363.34 seconds)
After 41300 nodes, 14410 on tree, 6747.67 best solution, best possible 6727.79 (364.09 seconds)
After 41400 nodes, 14453 on tree, 6747.67 best solution, best possible 6727.85 (364.93 seconds)
After 41500 nodes, 14497 on tree, 6747.67 best solution, best possible 6727.89 (365.75 seconds)
After 41600 nodes, 14536 on tree, 6747.67 best solution, best possible 6727.92 (366.49 seconds)
After 41700 nodes, 14582 on tree, 6747.67 best solution, best possible 6727.96 (367.29 seconds)
After 41800 nodes, 14618 on tree, 6747.67 best solution, best possible 6728 (368.06 seconds)
After 41900 nodes, 14664 on tree, 6747.67 best solution, best possible 6728.05 (368.74 seconds)
After 42000 nodes, 14706 on tree, 6747.67 best solution, best possible 6728.1 (369.48 seconds)
After 42100 nodes, 14740 on tree, 6747.67 best solution, best possible 6728.1 (370.41 seconds)
After 42200 nodes, 14778 on tree, 6747.67 best solution, best possible 6728.1 (371.23 seconds)
After 42300 nodes, 14806 on tree, 6747.67 best solution, best possible 6728.1 (372.13 seconds)
After 42400 nodes, 14835 on tree, 6747.67 best solution, best possible 6728.1 (372.97 seconds)
After 42500 nodes, 14864 on tree, 6747.67 best solution, best possible 6728.1 (373.86 seconds)
After 42600 nodes, 14896 on tree, 6747.67 best solution, best possible 6728.1 (374.66 seconds)
After 42700 nodes, 14914 on tree, 6747.67 best solution, best possible 6728.1 (375.67 seconds)
After 42800 nodes, 14939 on tree, 6747.67 best solution, best possible 6728.1 (376.62 seconds)
After 42900 nodes, 14970 on tree, 6747.67 best solution, best possible 6728.1 (377.46 seconds)
After 43000 nodes, 14986 on tree, 6747.67 best solution, best possible 6728.1 (378.28 seconds)
After 43100 nodes, 15009 on tree, 6747.67 best solution, best possible 6728.1 (379.15 seconds)
After 43200 nodes, 15032 on tree, 6747.67 best solution, best possible 6728.1 (380.00 seconds)
After 43300 nodes, 15059 on tree, 6747.67 best solution, best possible 6728.1 (380.81 seconds)
After 43400 nodes, 15080 on tree, 6747.67 best solution, best possible 6728.1 (381.63 seconds)
After 43500 nodes, 15109 on tree, 6747.67 best solution, best possible 6728.1 (382.50 seconds)
After 43600 nodes, 15139 on tree, 6747.67 best solution, best possible 6728.1 (383.31 seconds)
After 43700 nodes, 15169 on tree, 6747.67 best solution, best possible 6728.1 (384.23 seconds)
After 43800 nodes, 15200 on tree, 6747.67 best solution, best possible 6728.1 (385.12 seconds)
After 43900 nodes, 15229 on tree, 6747.67 best solution, best possible 6728.1 (385.98 seconds)
After 44000 nodes, 15260 on tree, 6747.67 best solution, best possible 6728.1 (386.76 seconds)
After 44100 nodes, 15239 on tree, 6747.67 best solution, best possible 6728.1 (387.19 seconds)
After 44200 nodes, 15217 on tree, 6747.67 best solution, best possible 6728.1 (387.73 seconds)
After 44300 nodes, 15202 on tree, 6747.67 best solution, best possible 6728.1 (388.23 seconds)
After 44400 nodes, 15176 on tree, 6747.67 best solution, best possible 6728.1 (388.93 seconds)
After 44500 nodes, 15147 on tree, 6747.67 best solution, best possible 6728.1 (389.53 seconds)
After 44600 nodes, 15151 on tree, 6747.67 best solution, best possible 6728.1 (389.98 seconds)
After 44700 nodes, 15134 on tree, 6747.67 best solution, best possible 6728.1 (390.54 seconds)
After 44800 nodes, 15138 on tree, 6747.67 best solution, best possible 6728.1 (390.95 seconds)
After 44900 nodes, 15103 on tree, 6747.67 best solution, best possible 6728.1 (391.60 seconds)
After 45000 nodes, 15098 on tree, 6747.67 best solution, best possible 6728.1 (392.14 seconds)
After 45100 nodes, 15138 on tree, 6747.67 best solution, best possible 6728.14 (393.06 seconds)
After 45200 nodes, 15182 on tree, 6747.67 best solution, best possible 6728.18 (393.85 seconds)
After 45300 nodes, 15226 on tree, 6747.67 best solution, best possible 6728.22 (394.64 seconds)
After 45400 nodes, 15267 on tree, 6747.67 best solution, best possible 6728.26 (395.46 seconds)
After 45500 nodes, 15309 on tree, 6747.67 best solution, best possible 6728.31 (396.27 seconds)
After 45600 nodes, 15353 on tree, 6747.67 best solution, best possible 6728.35 (397.04 seconds)
After 45700 nodes, 15396 on tree, 6747.67 best solution, best possible 6728.38 (397.83 seconds)
After 45800 nodes, 15438 on tree, 6747.67 best solution, best possible 6728.43 (398.58 seconds)
After 45900 nodes, 15477 on tree, 6747.67 best solution, best possible 6728.47 (399.38 seconds)
After 46000 nodes, 15523 on tree, 6747.67 best solution, best possible 6728.5 (400.12 seconds)
After 46100 nodes, 15563 on tree, 6747.67 best solution, best possible 6728.5 (400.95 seconds)
After 46200 nodes, 15602 on tree, 6747.67 best solution, best possible 6728.5 (401.75 seconds)
After 46300 nodes, 15632 on tree, 6747.67 best solution, best possible 6728.5 (402.69 seconds)
After 46400 nodes, 15656 on tree, 6747.67 best solution, best possible 6728.5 (403.56 seconds)
After 46500 nodes, 15673 on tree, 6747.67 best solution, best possible 6728.5 (404.42 seconds)
After 46600 nodes, 15697 on tree, 6747.67 best solution, best possible 6728.5 (405.28 seconds)
After 46700 nodes, 15719 on tree, 6747.67 best solution, best possible 6728.5 (406.11 seconds)
After 46800 nodes, 15746 on tree, 6747.67 best solution, best possible 6728.5 (406.95 seconds)
After 46900 nodes, 15780 on tree, 6747.67 best solution, best possible 6728.5 (407.72 seconds)
After 47000 nodes, 15808 on tree, 6747.67 best solution, best possible 6728.5 (408.51 seconds)
After 47100 nodes, 15838 on tree, 6747.67 best solution, best possible 6728.5 (409.28 seconds)
After 47200 nodes, 15862 on tree, 6747.67 best solution, best possible 6728.5 (410.15 seconds)
After 47300 nodes, 15886 on tree, 6747.67 best solution, best possible 6728.5 (410.94 seconds)
After 47400 nodes, 15907 on tree, 6747.67 best solution, best possible 6728.5 (411.61 seconds)
After 47500 nodes, 15923 on tree, 6747.67 best solution, best possible 6728.5 (412.43 seconds)
After 47600 nodes, 15954 on tree, 6747.67 best solution, best possible 6728.5 (413.27 seconds)
After 47700 nodes, 15982 on tree, 6747.67 best solution, best possible 6728.5 (414.08 seconds)
After 47800 nodes, 16009 on tree, 6747.67 best solution, best possible 6728.5 (414.90 seconds)
After 47900 nodes, 16042 on tree, 6747.67 best solution, best possible 6728.5 (415.76 seconds)
After 48000 nodes, 16067 on tree, 6747.67 best solution, best possible 6728.5 (416.51 seconds)
After 48100 nodes, 16043 on tree, 6747.67 best solution, best possible 6728.5 (416.92 seconds)
After 48200 nodes, 16027 on tree, 6747.67 best solution, best possible 6728.5 (417.36 seconds)
After 48300 nodes, 16007 on tree, 6747.67 best solution, best possible 6728.5 (417.93 seconds)
After 48400 nodes, 15996 on tree, 6747.67 best solution, best possible 6728.5 (418.53 seconds)
After 48500 nodes, 15990 on tree, 6747.67 best solution, best possible 6728.5 (418.93 seconds)
After 48600 nodes, 15988 on tree, 6747.67 best solution, best possible 6728.5 (419.35 seconds)
After 48700 nodes, 15995 on tree, 6747.67 best solution, best possible 6728.5 (419.79 seconds)
After 48800 nodes, 15982 on tree, 6747.67 best solution, best possible 6728.5 (420.22 seconds)
After 48900 nodes, 15951 on tree, 6747.67 best solution, best possible 6728.5 (421.04 seconds)
After 49000 nodes, 15922 on tree, 6747.67 best solution, best possible 6728.5 (421.74 seconds)
After 49100 nodes, 15962 on tree, 6747.67 best solution, best possible 6728.54 (422.55 seconds)
After 49200 nodes, 15999 on tree, 6747.67 best solution, best possible 6728.57 (423.43 seconds)
After 49300 nodes, 16047 on tree, 6747.67 best solution, best possible 6728.61 (424.21 seconds)
After 49400 nodes, 16090 on tree, 6747.67 best solution, best possible 6728.65 (425.01 seconds)
After 49500 nodes, 16131 on tree, 6747.67 best solution, best possible 6728.7 (425.85 seconds)
After 49600 nodes, 16173 on tree, 6747.67 best solution, best possible 6728.74 (426.75 seconds)
After 49700 nodes, 16215 on tree, 6747.67 best solution, best possible 6728.78 (427.57 seconds)
After 49800 nodes, 16259 on tree, 6747.67 best solution, best possible 6728.82 (428.35 seconds)
After 49900 nodes, 16298 on tree, 6747.67 best solution, best possible 6728.85 (429.07 seconds)
After 50000 nodes, 16342 on tree, 6747.67 best solution, best possible 6728.88 (429.81 seconds)
After 50100 nodes, 16373 on tree, 6747.67 best solution, best possible 6728.88 (430.71 seconds)
After 50200 nodes, 16410 on tree, 6747.67 best solution, best possible 6728.88 (431.65 seconds)
After 50300 nodes, 16441 on tree, 6747.67 best solution, best possible 6728.88 (432.63 seconds)
After 50400 nodes, 16475 on tree, 6747.67 best solution, best possible 6728.88 (433.39 seconds)
After 50500 nodes, 16504 on tree, 6747.67 best solution, best possible 6728.88 (434.28 seconds)
After 50600 nodes, 16522 on tree, 6747.67 best solution, best possible 6728.88 (435.14 seconds)
After 50700 nodes, 16549 on tree, 6747.67 best solution, best possible 6728.88 (436.01 seconds)
After 50800 nodes, 16571 on tree, 6747.67 best solution, best possible 6728.88 (436.79 seconds)
After 50900 nodes, 16596 on tree, 6747.67 best solution, best possible 6728.88 (437.71 seconds)
After 51000 nodes, 16617 on tree, 6747.67 best solution, best possible 6728.88 (438.56 seconds)
After 51100 nodes, 16643 on tree, 6747.67 best solution, best possible 6728.88 (439.35 seconds)
After 51200 nodes, 16661 on tree, 6747.67 best solution, best possible 6728.88 (440.21 seconds)
After 51300 nodes, 16685 on tree, 6747.67 best solution, best possible 6728.88 (440.96 seconds)
After 51400 nodes, 16712 on tree, 6747.67 best solution, best possible 6728.88 (441.78 seconds)
After 51500 nodes, 16734 on tree, 6747.67 best solution, best possible 6728.88 (442.49 seconds)
After 51600 nodes, 16763 on tree, 6747.67 best solution, best possible 6728.88 (443.35 seconds)
After 51700 nodes, 16785 on tree, 6747.67 best solution, best possible 6728.88 (444.16 seconds)
After 51800 nodes, 16804 on tree, 6747.67 best solution, best possible 6728.88 (444.87 seconds)
After 51900 nodes, 16834 on tree, 6747.67 best solution, best possible 6728.88 (445.75 seconds)
After 52000 nodes, 16854 on tree, 6747.67 best solution, best possible 6728.88 (446.55 seconds)
After 52100 nodes, 16824 on tree, 6747.67 best solution, best possible 6728.88 (447.04 seconds)
After 52200 nodes, 16799 on tree, 6747.67 best solution, best possible 6728.88 (447.58 seconds)
After 52300 nodes, 16787 on tree, 6747.67 best solution, best possible 6728.88 (448.16 seconds)
After 52400 nodes, 16772 on tree, 6747.67 best solution, best possible 6728.88 (448.65 seconds)
After 52500 nodes, 16764 on tree, 6747.67 best solution, best possible 6728.88 (449.17 seconds)
After 52600 nodes, 16741 on tree, 6747.67 best solution, best possible 6728.88 (449.75 seconds)
After 52700 nodes, 16738 on tree, 6747.67 best solution, best possible 6728.88 (450.24 seconds)
After 52800 nodes, 16731 on tree, 6747.67 best solution, best possible 6728.88 (450.65 seconds)
After 52900 nodes, 16713 on tree, 6747.67 best solution, best possible 6728.88 (451.20 seconds)
After 53000 nodes, 16698 on tree, 6747.67 best solution, best possible 6728.88 (451.72 seconds)
After 53100 nodes, 16743 on tree, 6747.67 best solution, best possible 6728.94 (452.60 seconds)
After 53200 nodes, 16785 on tree, 6747.67 best solution, best possible 6728.97 (453.36 seconds)
After 53300 nodes, 16830 on tree, 6747.67 best solution, best possible 6729.02 (454.15 seconds)
After 53400 nodes, 16860 on tree, 6747.67 best solution, best possible 6729.07 (454.91 seconds)
After 53500 nodes, 16898 on tree, 6747.67 best solution, best possible 6729.11 (455.62 seconds)
After 53600 nodes, 16937 on tree, 6747.67 best solution, best possible 6729.14 (456.47 seconds)
After 53700 nodes, 16978 on tree, 6747.67 best solution, best possible 6729.18 (457.24 seconds)
After 53800 nodes, 17016 on tree, 6747.67 best solution, best possible 6729.23 (458.10 seconds)
After 53900 nodes, 17057 on tree, 6747.67 best solution, best possible 6729.27 (458.89 seconds)
After 54000 nodes, 17099 on tree, 6747.67 best solution, best possible 6729.32 (459.73 seconds)
After 54100 nodes, 17132 on tree, 6747.67 best solution, best possible 6729.32 (460.48 seconds)
After 54200 nodes, 17161 on tree, 6747.67 best solution, best possible 6729.32 (461.30 seconds)
After 54300 nodes, 17185 on tree, 6747.67 best solution, best possible 6729.32 (462.20 seconds)
After 54400 nodes, 17210 on tree, 6747.67 best solution, best possible 6729.32 (463.12 seconds)
After 54500 nodes, 17236 on tree, 6747.67 best solution, best possible 6729.32 (464.10 seconds)
After 54600 nodes, 17258 on tree, 6747.67 best solution, best possible 6729.32 (464.91 seconds)
After 54700 nodes, 17286 on tree, 6747.67 best solution, best possible 6729.32 (465.58 seconds)
After 54800 nodes, 17298 on tree, 6747.67 best solution, best possible 6729.32 (466.32 seconds)
After 54900 nodes, 17325 on tree, 6747.67 best solution, best possible 6729.32 (467.10 seconds)
After 55000 nodes, 17346 on tree, 6747.67 best solution, best possible 6729.32 (468.04 seconds)
After 55100 nodes, 17365 on tree, 6747.67 best solution, best possible 6729.32 (468.84 seconds)
After 55200 nodes, 17392 on tree, 6747.67 best solution, best possible 6729.32 (469.71 seconds)
After 55300 nodes, 17405 on tree, 6747.67 best solution, best possible 6729.32 (470.53 seconds)
After 55400 nodes, 17423 on tree, 6747.67 best solution, best possible 6729.32 (471.41 seconds)
After 55500 nodes, 17452 on tree, 6747.67 best solution, best possible 6729.32 (472.28 seconds)
After 55600 nodes, 17480 on tree, 6747.67 best solution, best possible 6729.32 (473.23 seconds)
After 55700 nodes, 17504 on tree, 6747.67 best solution, best possible 6729.32 (474.10 seconds)
After 55800 nodes, 17539 on tree, 6747.67 best solution, best possible 6729.32 (475.01 seconds)
After 55900 nodes, 17555 on tree, 6747.67 best solution, best possible 6729.32 (475.91 seconds)
After 56000 nodes, 17573 on tree, 6747.67 best solution, best possible 6729.32 (476.80 seconds)
After 56100 nodes, 17553 on tree, 6747.67 best solution, best possible 6729.32 (477.33 seconds)
After 56200 nodes, 17534 on tree, 6747.67 best solution, best possible 6729.32 (477.92 seconds)
After 56300 nodes, 17519 on tree, 6747.67 best solution, best possible 6729.32 (478.37 seconds)
After 56400 nodes, 17504 on tree, 6747.67 best solution, best possible 6729.32 (478.89 seconds)
After 56500 nodes, 17491 on tree, 6747.67 best solution, best possible 6729.32 (479.37 seconds)
After 56600 nodes, 17486 on tree, 6747.67 best solution, best possible 6729.32 (479.78 seconds)
After 56700 nodes, 17495 on tree, 6747.67 best solution, best possible 6729.32 (480.15 seconds)
After 56800 nodes, 17470 on tree, 6747.67 best solution, best possible 6729.32 (480.75 seconds)
After 56900 nodes, 17423 on tree, 6747.67 best solution, best possible 6729.32 (481.57 seconds)
After 57000 nodes, 17410 on tree, 6747.67 best solution, best possible 6729.32 (482.19 seconds)
After 57100 nodes, 17452 on tree, 6747.67 best solution, best possible 6729.35 (483.01 seconds)
After 57200 nodes, 17491 on tree, 6747.67 best solution, best possible 6729.38 (484.03 seconds)
After 57300 nodes, 17535 on tree, 6747.67 best solution, best possible 6729.43 (484.71 seconds)
After 57400 nodes, 17578 on tree, 6747.67 best solution, best possible 6729.46 (485.58 seconds)
After 57500 nodes, 17620 on tree, 6747.67 best solution, best possible 6729.51 (486.42 seconds)
After 57600 nodes, 17662 on tree, 6747.67 best solution, best possible 6729.54 (487.25 seconds)
After 57700 nodes, 17705 on tree, 6747.67 best solution, best possible 6729.59 (488.01 seconds)
After 57800 nodes, 17748 on tree, 6747.67 best solution, best possible 6729.63 (488.75 seconds)
After 57900 nodes, 17789 on tree, 6747.67 best solution, best possible 6729.66 (489.59 seconds)
After 58000 nodes, 17827 on tree, 6747.67 best solution, best possible 6729.69 (490.39 seconds)
After 58100 nodes, 17863 on tree, 6747.67 best solution, best possible 6729.69 (491.16 seconds)
After 58200 nodes, 17888 on tree, 6747.67 best solution, best possible 6729.69 (492.05 seconds)
After 58300 nodes, 17920 on tree, 6747.67 best solution, best possible 6729.69 (493.02 seconds)
After 58400 nodes, 17935 on tree, 6747.67 best solution, best possible 6729.69 (493.87 seconds)
After 58500 nodes, 17953 on tree, 6747.67 best solution, best possible 6729.69 (494.78 seconds)
After 58600 nodes, 17981 on tree, 6747.67 best solution, best possible 6729.69 (495.62 seconds)
After 58700 nodes, 18008 on tree, 6747.67 best solution, best possible 6729.69 (496.34 seconds)
After 58800 nodes, 18025 on tree, 6747.67 best solution, best possible 6729.69 (497.06 seconds)
After 58900 nodes, 18043 on tree, 6747.67 best solution, best possible 6729.69 (497.72 seconds)
After 59000 nodes, 18066 on tree, 6747.67 best solution, best possible 6729.69 (498.70 seconds)
After 59100 nodes, 18088 on tree, 6747.67 best solution, best possible 6729.69 (499.63 seconds)
After 59200 nodes, 18108 on tree, 6747.67 best solution, best possible 6729.69 (500.42 seconds)
After 59300 nodes, 18134 on tree, 6747.67 best solution, best possible 6729.69 (501.22 seconds)
After 59400 nodes, 18155 on tree, 6747.67 best solution, best possible 6729.69 (501.92 seconds)
After 59500 nodes, 18181 on tree, 6747.67 best solution, best possible 6729.69 (502.78 seconds)
After 59600 nodes, 18203 on tree, 6747.67 best solution, best possible 6729.69 (503.54 seconds)
After 59700 nodes, 18224 on tree, 6747.67 best solution, best possible 6729.69 (504.47 seconds)
After 59800 nodes, 18243 on tree, 6747.67 best solution, best possible 6729.69 (505.21 seconds)
After 59900 nodes, 18266 on tree, 6747.67 best solution, best possible 6729.69 (506.01 seconds)
After 60000 nodes, 18298 on tree, 6747.67 best solution, best possible 6729.69 (506.93 seconds)
After 60100 nodes, 18274 on tree, 6747.67 best solution, best possible 6729.69 (507.44 seconds)
After 60200 nodes, 18261 on tree, 6747.67 best solution, best possible 6729.69 (508.01 seconds)
After 60300 nodes, 18230 on tree, 6747.67 best solution, best possible 6729.69 (508.65 seconds)
After 60400 nodes, 18222 on tree, 6747.67 best solution, best possible 6729.69 (509.09 seconds)
After 60500 nodes, 18215 on tree, 6747.67 best solution, best possible 6729.69 (509.65 seconds)
After 60600 nodes, 18200 on tree, 6747.67 best solution, best possible 6729.69 (510.16 seconds)
After 60700 nodes, 18191 on tree, 6747.67 best solution, best possible 6729.69 (510.60 seconds)
After 60800 nodes, 18186 on tree, 6747.67 best solution, best possible 6729.69 (511.00 seconds)
After 60900 nodes, 18165 on tree, 6747.67 best solution, best possible 6729.69 (511.80 seconds)
After 61000 nodes, 18156 on tree, 6747.67 best solution, best possible 6729.69 (512.40 seconds)
After 61100 nodes, 18197 on tree, 6747.67 best solution, best possible 6729.72 (513.24 seconds)
After 61200 nodes, 18239 on tree, 6747.67 best solution, best possible 6729.76 (513.99 seconds)
After 61300 nodes, 18277 on tree, 6747.67 best solution, best possible 6729.79 (514.82 seconds)
After 61400 nodes, 18316 on tree, 6747.67 best solution, best possible 6729.83 (515.55 seconds)
After 61500 nodes, 18357 on tree, 6747.67 best solution, best possible 6729.86 (516.32 seconds)
After 61600 nodes, 18399 on tree, 6747.67 best solution, best possible 6729.9 (516.94 seconds)
After 61700 nodes, 18439 on tree, 6747.67 best solution, best possible 6729.93 (517.57 seconds)
After 61800 nodes, 18483 on tree, 6747.67 best solution, best possible 6729.96 (518.32 seconds)
After 61900 nodes, 18520 on tree, 6747.67 best solution, best possible 6729.99 (519.06 seconds)
After 62000 nodes, 18557 on tree, 6747.67 best solution, best possible 6730.03 (519.90 seconds)
After 62100 nodes, 18589 on tree, 6747.67 best solution, best possible 6730.03 (520.79 seconds)
After 62200 nodes, 18608 on tree, 6747.67 best solution, best possible 6730.03 (521.72 seconds)
After 62300 nodes, 18631 on tree, 6747.67 best solution, best possible 6730.03 (522.64 seconds)
After 62400 nodes, 18658 on tree, 6747.67 best solution, best possible 6730.03 (523.47 seconds)
After 62500 nodes, 18692 on tree, 6747.67 best solution, best possible 6730.03 (524.39 seconds)
After 62600 nodes, 18710 on tree, 6747.67 best solution, best possible 6730.03 (525.17 seconds)
After 62700 nodes, 18740 on tree, 6747.67 best solution, best possible 6730.03 (525.96 seconds)
After 62800 nodes, 18759 on tree, 6747.67 best solution, best possible 6730.03 (526.86 seconds)
After 62900 nodes, 18790 on tree, 6747.67 best solution, best possible 6730.03 (527.68 seconds)
After 63000 nodes, 18820 on tree, 6747.67 best solution, best possible 6730.03 (528.49 seconds)
After 63100 nodes, 18846 on tree, 6747.67 best solution, best possible 6730.03 (529.41 seconds)
After 63200 nodes, 18865 on tree, 6747.67 best solution, best possible 6730.03 (530.35 seconds)
After 63300 nodes, 18884 on tree, 6747.67 best solution, best possible 6730.03 (531.19 seconds)
After 63400 nodes, 18907 on tree, 6747.67 best solution, best possible 6730.03 (531.95 seconds)
After 63500 nodes, 18929 on tree, 6747.67 best solution, best possible 6730.03 (532.73 seconds)
After 63600 nodes, 18952 on tree, 6747.67 best solution, best possible 6730.03 (533.46 seconds)
After 63700 nodes, 18974 on tree, 6747.67 best solution, best possible 6730.03 (534.32 seconds)
After 63800 nodes, 18988 on tree, 6747.67 best solution, best possible 6730.03 (535.09 seconds)
After 63900 nodes, 19016 on tree, 6747.67 best solution, best possible 6730.03 (535.88 seconds)
After 64000 nodes, 19036 on tree, 6747.67 best solution, best possible 6730.03 (536.59 seconds)
After 64100 nodes, 19021 on tree, 6747.67 best solution, best possible 6730.03 (537.09 seconds)
After 64200 nodes, 18999 on tree, 6747.67 best solution, best possible 6730.03 (537.65 seconds)
After 64300 nodes, 18981 on tree, 6747.67 best solution, best possible 6730.03 (538.16 seconds)
After 64400 nodes, 18971 on tree, 6747.67 best solution, best possible 6730.03 (538.68 seconds)
After 64500 nodes, 18952 on tree, 6747.67 best solution, best possible 6730.03 (539.14 seconds)
After 64600 nodes, 18937 on tree, 6747.67 best solution, best possible 6730.03 (539.76 seconds)
After 64700 nodes, 18919 on tree, 6747.67 best solution, best possible 6730.03 (540.29 seconds)
After 64800 nodes, 18925 on tree, 6747.67 best solution, best possible 6730.03 (540.71 seconds)
After 64900 nodes, 18903 on tree, 6747.67 best solution, best possible 6730.03 (541.15 seconds)
After 65000 nodes, 18881 on tree, 6747.67 best solution, best possible 6730.03 (541.86 seconds)
After 65100 nodes, 18918 on tree, 6747.67 best solution, best possible 6730.07 (542.61 seconds)
After 65200 nodes, 18958 on tree, 6747.67 best solution, best possible 6730.1 (543.38 seconds)
After 65300 nodes, 18998 on tree, 6747.67 best solution, best possible 6730.14 (544.16 seconds)
After 65400 nodes, 19033 on tree, 6747.67 best solution, best possible 6730.17 (544.92 seconds)
After 65500 nodes, 19070 on tree, 6747.67 best solution, best possible 6730.2 (545.76 seconds)
After 65600 nodes, 19112 on tree, 6747.67 best solution, best possible 6730.24 (546.49 seconds)
After 65700 nodes, 19150 on tree, 6747.67 best solution, best possible 6730.27 (547.24 seconds)
After 65800 nodes, 19195 on tree, 6747.67 best solution, best possible 6730.3 (548.04 seconds)
After 65900 nodes, 19235 on tree, 6747.67 best solution, best possible 6730.33 (548.77 seconds)
After 66000 nodes, 19278 on tree, 6747.67 best solution, best possible 6730.36 (549.59 seconds)
After 66100 nodes, 19304 on tree, 6747.67 best solution, best possible 6730.36 (550.45 seconds)
After 66200 nodes, 19334 on tree, 6747.67 best solution, best possible 6730.36 (551.32 seconds)
After 66300 nodes, 19358 on tree, 6747.67 best solution, best possible 6730.36 (552.13 seconds)
After 66400 nodes, 19376 on tree, 6747.67 best solution, best possible 6730.36 (552.99 seconds)
After 66500 nodes, 19397 on tree, 6747.67 best solution, best possible 6730.36 (553.95 seconds)
After 66600 nodes, 19429 on tree, 6747.67 best solution, best possible 6730.36 (554.74 seconds)
After 66700 nodes, 19446 on tree, 6747.67 best solution, best possible 6730.36 (555.65 seconds)
After 66800 nodes, 19473 on tree, 6747.67 best solution, best possible 6730.36 (556.57 seconds)
After 66900 nodes, 19496 on tree, 6747.67 best solution, best possible 6730.36 (557.33 seconds)
After 67000 nodes, 19515 on tree, 6747.67 best solution, best possible 6730.36 (558.15 seconds)
After 67100 nodes, 19537 on tree, 6747.67 best solution, best possible 6730.36 (558.93 seconds)
After 67200 nodes, 19561 on tree, 6747.67 best solution, best possible 6730.36 (559.68 seconds)
After 67300 nodes, 19592 on tree, 6747.67 best solution, best possible 6730.36 (560.42 seconds)
After 67400 nodes, 19617 on tree, 6747.67 best solution, best possible 6730.36 (561.26 seconds)
After 67500 nodes, 19644 on tree, 6747.67 best solution, best possible 6730.36 (562.12 seconds)
After 67600 nodes, 19661 on tree, 6747.67 best solution, best possible 6730.36 (563.06 seconds)
After 67700 nodes, 19687 on tree, 6747.67 best solution, best possible 6730.36 (563.76 seconds)
After 67800 nodes, 19710 on tree, 6747.67 best solution, best possible 6730.36 (564.56 seconds)
After 67900 nodes, 19736 on tree, 6747.67 best solution, best possible 6730.36 (565.30 seconds)
After 68000 nodes, 19762 on tree, 6747.67 best solution, best possible 6730.36 (566.11 seconds)
After 68100 nodes, 19742 on tree, 6747.67 best solution, best possible 6730.36 (566.54 seconds)
After 68200 nodes, 19715 on tree, 6747.67 best solution, best possible 6730.36 (567.00 seconds)
After 68300 nodes, 19692 on tree, 6747.67 best solution, best possible 6730.36 (567.53 seconds)
After 68400 nodes, 19670 on tree, 6747.67 best solution, best possible 6730.36 (568.07 seconds)
After 68500 nodes, 19659 on tree, 6747.67 best solution, best possible 6730.36 (568.65 seconds)
After 68600 nodes, 19638 on tree, 6747.67 best solution, best possible 6730.36 (569.18 seconds)
After 68700 nodes, 19635 on tree, 6747.67 best solution, best possible 6730.36 (569.61 seconds)
After 68800 nodes, 19618 on tree, 6747.67 best solution, best possible 6730.36 (570.10 seconds)
After 68900 nodes, 19625 on tree, 6747.67 best solution, best possible 6730.36 (570.65 seconds)
After 69000 nodes, 19635 on tree, 6747.67 best solution, best possible 6730.36 (571.05 seconds)
After 69100 nodes, 19669 on tree, 6747.67 best solution, best possible 6730.39 (571.79 seconds)
After 69200 nodes, 19708 on tree, 6747.67 best solution, best possible 6730.42 (572.55 seconds)
After 69300 nodes, 19750 on tree, 6747.67 best solution, best possible 6730.46 (573.31 seconds)
After 69400 nodes, 19787 on tree, 6747.67 best solution, best possible 6730.48 (574.03 seconds)
After 69500 nodes, 19826 on tree, 6747.67 best solution, best possible 6730.52 (574.86 seconds)
After 69600 nodes, 19867 on tree, 6747.67 best solution, best possible 6730.55 (575.66 seconds)
After 69700 nodes, 19904 on tree, 6747.67 best solution, best possible 6730.58 (576.47 seconds)
After 69800 nodes, 19941 on tree, 6747.67 best solution, best possible 6730.6 (577.18 seconds)
After 69900 nodes, 19983 on tree, 6747.67 best solution, best possible 6730.63 (577.96 seconds)
After 70000 nodes, 20021 on tree, 6747.67 best solution, best possible 6730.67 (578.71 seconds)
After 70100 nodes, 20047 on tree, 6747.67 best solution, best possible 6730.67 (579.58 seconds)
After 70200 nodes, 20063 on tree, 6747.67 best solution, best possible 6730.67 (580.49 seconds)
After 70300 nodes, 20088 on tree, 6747.67 best solution, best possible 6730.67 (581.34 seconds)
After 70400 nodes, 20119 on tree, 6747.67 best solution, best possible 6730.67 (582.24 seconds)
After 70500 nodes, 20143 on tree, 6747.67 best solution, best possible 6730.67 (583.08 seconds)
After 70600 nodes, 20162 on tree, 6747.67 best solution, best possible 6730.67 (583.92 seconds)
After 70700 nodes, 20192 on tree, 6747.67 best solution, best possible 6730.67 (584.77 seconds)
After 70800 nodes, 20215 on tree, 6747.67 best solution, best possible 6730.67 (585.52 seconds)
After 70900 nodes, 20236 on tree, 6747.67 best solution, best possible 6730.67 (586.48 seconds)
Integer solution of 6746.77 found after 1811717 iterations and 70989 nodes (587.22 seconds)
Full problem 826 rows 2025 columns, reduced to 423 rows 951 columns
After 71000 nodes, 19554 on tree, 6746.77 best solution, best possible 6730.67 (588.71 seconds)
Integer solution of 6742.2 found after 1812101 iterations and 71025 nodes (588.90 seconds)
Full problem 826 rows 2025 columns, reduced to 423 rows 951 columns
After 71100 nodes, 15145 on tree, 6742.2 best solution, best possible 6730.69 (591.09 seconds)
After 71200 nodes, 15174 on tree, 6742.2 best solution, best possible 6730.72 (591.80 seconds)
After 71300 nodes, 15206 on tree, 6742.2 best solution, best possible 6730.75 (592.61 seconds)
After 71400 nodes, 15232 on tree, 6742.2 best solution, best possible 6730.78 (593.42 seconds)
After 71500 nodes, 15263 on tree, 6742.2 best solution, best possible 6730.81 (594.21 seconds)
After 71600 nodes, 15295 on tree, 6742.2 best solution, best possible 6730.84 (595.09 seconds)
After 71700 nodes, 15331 on tree, 6742.2 best solution, best possible 6730.87 (595.91 seconds)
After 71800 nodes, 15362 on tree, 6742.2 best solution, best possible 6730.89 (596.62 seconds)
After 71900 nodes, 15384 on tree, 6742.2 best solution, best possible 6730.92 (597.41 seconds)
After 72000 nodes, 15411 on tree, 6742.2 best solution, best possible 6730.94 (598.10 seconds)
After 72100 nodes, 15388 on tree, 6742.2 best solution, best possible 6730.94 (598.60 seconds)
After 72200 nodes, 15372 on tree, 6742.2 best solution, best possible 6730.94 (599.21 seconds)
After 72300 nodes, 15332 on tree, 6742.2 best solution, best possible 6730.94 (599.83 seconds)
After 72400 nodes, 15302 on tree, 6742.2 best solution, best possible 6730.94 (600.26 seconds)
After 72500 nodes, 15280 on tree, 6742.2 best solution, best possible 6730.94 (600.75 seconds)
After 72600 nodes, 15263 on tree, 6742.2 best solution, best possible 6730.94 (601.23 seconds)
After 72700 nodes, 15246 on tree, 6742.2 best solution, best possible 6730.94 (601.63 seconds)
After 72800 nodes, 15224 on tree, 6742.2 best solution, best possible 6730.94 (602.21 seconds)
After 72900 nodes, 15204 on tree, 6742.2 best solution, best possible 6730.94 (602.60 seconds)
After 73000 nodes, 15205 on tree, 6742.2 best solution, best possible 6730.94 (603.06 seconds)
After 73100 nodes, 15234 on tree, 6742.2 best solution, best possible 6730.97 (603.78 seconds)
After 73200 nodes, 15261 on tree, 6742.2 best solution, best possible 6730.99 (604.45 seconds)
After 73300 nodes, 15296 on tree, 6742.2 best solution, best possible 6731.01 (605.16 seconds)
After 73400 nodes, 15328 on tree, 6742.2 best solution, best possible 6731.04 (605.92 seconds)
After 73500 nodes, 15361 on tree, 6742.2 best solution, best possible 6731.07 (606.61 seconds)
After 73600 nodes, 15380 on tree, 6742.2 best solution, best possible 6731.09 (607.45 seconds)
After 73700 nodes, 15412 on tree, 6742.2 best solution, best possible 6731.12 (608.26 seconds)
After 73800 nodes, 15444 on tree, 6742.2 best solution, best possible 6731.14 (608.95 seconds)
After 73900 nodes, 15466 on tree, 6742.2 best solution, best possible 6731.17 (609.76 seconds)
After 74000 nodes, 15496 on tree, 6742.2 best solution, best possible 6731.19 (610.55 seconds)
After 74100 nodes, 15505 on tree, 6742.2 best solution, best possible 6731.19 (611.27 seconds)
After 74200 nodes, 15513 on tree, 6742.2 best solution, best possible 6731.19 (612.12 seconds)
After 74300 nodes, 15527 on tree, 6742.2 best solution, best possible 6731.19 (612.80 seconds)
After 74400 nodes, 15522 on tree, 6742.2 best solution, best possible 6731.19 (613.60 seconds)
After 74500 nodes, 15531 on tree, 6742.2 best solution, best possible 6731.19 (614.33 seconds)
After 74600 nodes, 15526 on tree, 6742.2 best solution, best possible 6731.19 (615.00 seconds)
After 74700 nodes, 15533 on tree, 6742.2 best solution, best possible 6731.19 (615.83 seconds)
After 74800 nodes, 15532 on tree, 6742.2 best solution, best possible 6731.19 (616.55 seconds)
After 74900 nodes, 15530 on tree, 6742.2 best solution, best possible 6731.19 (617.33 seconds)
After 75000 nodes, 15551 on tree, 6742.2 best solution, best possible 6731.19 (618.00 seconds)
After 75100 nodes, 15560 on tree, 6742.2 best solution, best possible 6731.19 (618.71 seconds)
After 75200 nodes, 15561 on tree, 6742.2 best solution, best possible 6731.19 (619.55 seconds)
After 75300 nodes, 15569 on tree, 6742.2 best solution, best possible 6731.19 (620.27 seconds)
After 75400 nodes, 15575 on tree, 6742.2 best solution, best possible 6731.19 (620.99 seconds)
After 75500 nodes, 15580 on tree, 6742.2 best solution, best possible 6731.19 (621.83 seconds)
After 75600 nodes, 15587 on tree, 6742.2 best solution, best possible 6731.19 (622.59 seconds)
After 75700 nodes, 15598 on tree, 6742.2 best solution, best possible 6731.19 (623.31 seconds)
After 75800 nodes, 15603 on tree, 6742.2 best solution, best possible 6731.19 (624.06 seconds)
After 75900 nodes, 15615 on tree, 6742.2 best solution, best possible 6731.19 (624.75 seconds)
After 76000 nodes, 15615 on tree, 6742.2 best solution, best possible 6731.19 (625.52 seconds)
After 76100 nodes, 15586 on tree, 6742.2 best solution, best possible 6731.19 (625.96 seconds)
After 76200 nodes, 15556 on tree, 6742.2 best solution, best possible 6731.19 (626.47 seconds)
After 76300 nodes, 15545 on tree, 6742.2 best solution, best possible 6731.19 (627.32 seconds)
After 76400 nodes, 15467 on tree, 6742.2 best solution, best possible 6731.19 (627.90 seconds)
After 76500 nodes, 15452 on tree, 6742.2 best solution, best possible 6731.19 (628.43 seconds)
After 76600 nodes, 15441 on tree, 6742.2 best solution, best possible 6731.19 (628.90 seconds)
After 76700 nodes, 15423 on tree, 6742.2 best solution, best possible 6731.19 (629.34 seconds)
After 76800 nodes, 15398 on tree, 6742.2 best solution, best possible 6731.19 (629.85 seconds)
After 76900 nodes, 15359 on tree, 6742.2 best solution, best possible 6731.19 (630.42 seconds)
After 77000 nodes, 15346 on tree, 6742.2 best solution, best possible 6731.19 (630.86 seconds)
After 77100 nodes, 15370 on tree, 6742.2 best solution, best possible 6731.22 (631.69 seconds)
After 77200 nodes, 15392 on tree, 6742.2 best solution, best possible 6731.26 (632.44 seconds)
After 77300 nodes, 15415 on tree, 6742.2 best solution, best possible 6731.29 (633.22 seconds)
After 77400 nodes, 15440 on tree, 6742.2 best solution, best possible 6731.31 (633.87 seconds)
After 77500 nodes, 15466 on tree, 6742.2 best solution, best possible 6731.34 (634.73 seconds)
After 77600 nodes, 15495 on tree, 6742.2 best solution, best possible 6731.37 (635.54 seconds)
After 77700 nodes, 15515 on tree, 6742.2 best solution, best possible 6731.39 (636.41 seconds)
After 77800 nodes, 15541 on tree, 6742.2 best solution, best possible 6731.42 (637.17 seconds)
After 77900 nodes, 15570 on tree, 6742.2 best solution, best possible 6731.44 (637.84 seconds)
After 78000 nodes, 15598 on tree, 6742.2 best solution, best possible 6731.47 (638.45 seconds)
After 78100 nodes, 15601 on tree, 6742.2 best solution, best possible 6731.47 (639.22 seconds)
After 78200 nodes, 15610 on tree, 6742.2 best solution, best possible 6731.47 (639.92 seconds)
After 78300 nodes, 15614 on tree, 6742.2 best solution, best possible 6731.47 (640.57 seconds)
After 78400 nodes, 15611 on tree, 6742.2 best solution, best possible 6731.47 (641.27 seconds)
After 78500 nodes, 15609 on tree, 6742.2 best solution, best possible 6731.47 (642.01 seconds)
After 78600 nodes, 15612 on tree, 6742.2 best solution, best possible 6731.47 (642.75 seconds)
After 78700 nodes, 15616 on tree, 6742.2 best solution, best possible 6731.47 (643.53 seconds)
After 78800 nodes, 15622 on tree, 6742.2 best solution, best possible 6731.47 (644.33 seconds)
After 78900 nodes, 15633 on tree, 6742.2 best solution, best possible 6731.47 (645.10 seconds)
After 79000 nodes, 15632 on tree, 6742.2 best solution, best possible 6731.47 (645.64 seconds)
After 79100 nodes, 15639 on tree, 6742.2 best solution, best possible 6731.47 (646.39 seconds)
After 79200 nodes, 15646 on tree, 6742.2 best solution, best possible 6731.47 (647.13 seconds)
After 79300 nodes, 15644 on tree, 6742.2 best solution, best possible 6731.47 (647.90 seconds)
After 79400 nodes, 15650 on tree, 6742.2 best solution, best possible 6731.47 (648.62 seconds)
After 79500 nodes, 15654 on tree, 6742.2 best solution, best possible 6731.47 (649.42 seconds)
After 79600 nodes, 15657 on tree, 6742.2 best solution, best possible 6731.47 (650.16 seconds)
After 79700 nodes, 15659 on tree, 6742.2 best solution, best possible 6731.47 (650.88 seconds)
After 79800 nodes, 15658 on tree, 6742.2 best solution, best possible 6731.47 (651.58 seconds)
After 79900 nodes, 15657 on tree, 6742.2 best solution, best possible 6731.47 (652.30 seconds)
After 80000 nodes, 15654 on tree, 6742.2 best solution, best possible 6731.47 (653.12 seconds)
After 80100 nodes, 15620 on tree, 6742.2 best solution, best possible 6731.47 (653.53 seconds)
After 80200 nodes, 15594 on tree, 6742.2 best solution, best possible 6731.47 (654.04 seconds)
After 80300 nodes, 15561 on tree, 6742.2 best solution, best possible 6731.47 (654.70 seconds)
After 80400 nodes, 15547 on tree, 6742.2 best solution, best possible 6731.47 (655.25 seconds)
After 80500 nodes, 15535 on tree, 6742.2 best solution, best possible 6731.47 (655.62 seconds)
After 80600 nodes, 15517 on tree, 6742.2 best solution, best possible 6731.47 (656.14 seconds)
After 80700 nodes, 15479 on tree, 6742.2 best solution, best possible 6731.47 (657.01 seconds)
After 80800 nodes, 15452 on tree, 6742.2 best solution, best possible 6731.47 (657.64 seconds)
After 80900 nodes, 15428 on tree, 6742.2 best solution, best possible 6731.47 (658.06 seconds)
After 81000 nodes, 15410 on tree, 6742.2 best solution, best possible 6731.47 (658.54 seconds)
After 81100 nodes, 15442 on tree, 6742.2 best solution, best possible 6731.5 (659.26 seconds)
After 81200 nodes, 15471 on tree, 6742.2 best solution, best possible 6731.52 (659.99 seconds)
After 81300 nodes, 15500 on tree, 6742.2 best solution, best possible 6731.54 (660.77 seconds)
After 81400 nodes, 15529 on tree, 6742.2 best solution, best possible 6731.57 (661.53 seconds)
After 81500 nodes, 15558 on tree, 6742.2 best solution, best possible 6731.59 (662.30 seconds)
After 81600 nodes, 15587 on tree, 6742.2 best solution, best possible 6731.62 (662.96 seconds)
After 81700 nodes, 15610 on tree, 6742.2 best solution, best possible 6731.64 (663.79 seconds)
After 81800 nodes, 15632 on tree, 6742.2 best solution, best possible 6731.66 (664.61 seconds)
After 81900 nodes, 15663 on tree, 6742.2 best solution, best possible 6731.68 (665.43 seconds)
After 82000 nodes, 15684 on tree, 6742.2 best solution, best possible 6731.7 (666.19 seconds)
After 82100 nodes, 15687 on tree, 6742.2 best solution, best possible 6731.7 (666.96 seconds)
After 82200 nodes, 15697 on tree, 6742.2 best solution, best possible 6731.7 (667.74 seconds)
After 82300 nodes, 15701 on tree, 6742.2 best solution, best possible 6731.7 (668.50 seconds)
After 82400 nodes, 15695 on tree, 6742.2 best solution, best possible 6731.7 (669.33 seconds)
After 82500 nodes, 15700 on tree, 6742.2 best solution, best possible 6731.7 (670.14 seconds)
After 82600 nodes, 15703 on tree, 6742.2 best solution, best possible 6731.7 (670.76 seconds)
After 82700 nodes, 15711 on tree, 6742.2 best solution, best possible 6731.7 (671.37 seconds)
After 82800 nodes, 15726 on tree, 6742.2 best solution, best possible 6731.7 (672.07 seconds)
After 82900 nodes, 15722 on tree, 6742.2 best solution, best possible 6731.7 (672.83 seconds)
After 83000 nodes, 15726 on tree, 6742.2 best solution, best possible 6731.7 (673.53 seconds)
After 83100 nodes, 15731 on tree, 6742.2 best solution, best possible 6731.7 (674.25 seconds)
After 83200 nodes, 15740 on tree, 6742.2 best solution, best possible 6731.7 (674.94 seconds)
After 83300 nodes, 15748 on tree, 6742.2 best solution, best possible 6731.7 (675.59 seconds)
After 83400 nodes, 15754 on tree, 6742.2 best solution, best possible 6731.7 (676.41 seconds)
After 83500 nodes, 15759 on tree, 6742.2 best solution, best possible 6731.7 (677.13 seconds)
After 83600 nodes, 15755 on tree, 6742.2 best solution, best possible 6731.7 (677.83 seconds)
After 83700 nodes, 15758 on tree, 6742.2 best solution, best possible 6731.7 (678.57 seconds)
After 83800 nodes, 15762 on tree, 6742.2 best solution, best possible 6731.7 (679.22 seconds)
After 83900 nodes, 15769 on tree, 6742.2 best solution, best possible 6731.7 (679.96 seconds)
After 84000 nodes, 15775 on tree, 6742.2 best solution, best possible 6731.7 (680.64 seconds)
After 84100 nodes, 15741 on tree, 6742.2 best solution, best possible 6731.7 (681.10 seconds)
After 84200 nodes, 15712 on tree, 6742.2 best solution, best possible 6731.7 (681.64 seconds)
After 84300 nodes, 15682 on tree, 6742.2 best solution, best possible 6731.7 (682.20 seconds)
After 84400 nodes, 15667 on tree, 6742.2 best solution, best possible 6731.7 (682.59 seconds)
After 84500 nodes, 15625 on tree, 6742.2 best solution, best possible 6731.7 (683.31 seconds)
After 84600 nodes, 15604 on tree, 6742.2 best solution, best possible 6731.7 (683.79 seconds)
After 84700 nodes, 15594 on tree, 6742.2 best solution, best possible 6731.7 (684.20 seconds)
After 84800 nodes, 15565 on tree, 6742.2 best solution, best possible 6731.7 (684.81 seconds)
After 84900 nodes, 15548 on tree, 6742.2 best solution, best possible 6731.7 (685.29 seconds)
After 85000 nodes, 15538 on tree, 6742.2 best solution, best possible 6731.7 (685.80 seconds)
After 85100 nodes, 15574 on tree, 6742.2 best solution, best possible 6731.74 (686.49 seconds)
After 85200 nodes, 15601 on tree, 6742.2 best solution, best possible 6731.77 (687.15 seconds)
After 85300 nodes, 15628 on tree, 6742.2 best solution, best possible 6731.79 (687.91 seconds)
After 85400 nodes, 15654 on tree, 6742.2 best solution, best possible 6731.82 (688.59 seconds)
After 85500 nodes, 15670 on tree, 6742.2 best solution, best possible 6731.86 (689.43 seconds)
After 85600 nodes, 15693 on tree, 6742.2 best solution, best possible 6731.89 (690.14 seconds)
After 85700 nodes, 15722 on tree, 6742.2 best solution, best possible 6731.92 (690.78 seconds)
After 85800 nodes, 15751 on tree, 6742.2 best solution, best possible 6731.94 (691.62 seconds)
After 85900 nodes, 15774 on tree, 6742.2 best solution, best possible 6731.97 (692.33 seconds)
After 86000 nodes, 15802 on tree, 6742.2 best solution, best possible 6731.99 (693.04 seconds)
After 86100 nodes, 15805 on tree, 6742.2 best solution, best possible 6731.99 (693.84 seconds)
After 86200 nodes, 15819 on tree, 6742.2 best solution, best possible 6731.99 (694.59 seconds)
After 86300 nodes, 15820 on tree, 6742.2 best solution, best possible 6731.99 (695.40 seconds)
After 86400 nodes, 15825 on tree, 6742.2 best solution, best possible 6731.99 (696.17 seconds)
After 86500 nodes, 15828 on tree, 6742.2 best solution, best possible 6731.99 (696.89 seconds)
After 86600 nodes, 15834 on tree, 6742.2 best solution, best possible 6731.99 (697.68 seconds)
After 86700 nodes, 15836 on tree, 6742.2 best solution, best possible 6731.99 (698.28 seconds)
After 86800 nodes, 15841 on tree, 6742.2 best solution, best possible 6731.99 (699.02 seconds)
After 86900 nodes, 15843 on tree, 6742.2 best solution, best possible 6731.99 (699.74 seconds)
After 87000 nodes, 15841 on tree, 6742.2 best solution, best possible 6731.99 (700.50 seconds)
After 87100 nodes, 15845 on tree, 6742.2 best solution, best possible 6731.99 (701.21 seconds)
After 87200 nodes, 15851 on tree, 6742.2 best solution, best possible 6731.99 (701.98 seconds)
After 87300 nodes, 15850 on tree, 6742.2 best solution, best possible 6731.99 (702.67 seconds)
After 87400 nodes, 15849 on tree, 6742.2 best solution, best possible 6731.99 (703.58 seconds)
After 87500 nodes, 15849 on tree, 6742.2 best solution, best possible 6731.99 (704.24 seconds)
After 87600 nodes, 15860 on tree, 6742.2 best solution, best possible 6731.99 (704.94 seconds)
After 87700 nodes, 15857 on tree, 6742.2 best solution, best possible 6731.99 (705.62 seconds)
After 87800 nodes, 15864 on tree, 6742.2 best solution, best possible 6731.99 (706.38 seconds)
After 87900 nodes, 15867 on tree, 6742.2 best solution, best possible 6731.99 (706.94 seconds)
After 88000 nodes, 15872 on tree, 6742.2 best solution, best possible 6731.99 (707.74 seconds)
After 88100 nodes, 15834 on tree, 6742.2 best solution, best possible 6731.99 (708.20 seconds)
After 88200 nodes, 15809 on tree, 6742.2 best solution, best possible 6731.99 (708.68 seconds)
After 88300 nodes, 15771 on tree, 6742.2 best solution, best possible 6731.99 (709.23 seconds)
After 88400 nodes, 15779 on tree, 6742.2 best solution, best possible 6731.99 (709.61 seconds)
After 88500 nodes, 15770 on tree, 6742.2 best solution, best possible 6731.99 (710.00 seconds)
After 88600 nodes, 15737 on tree, 6742.2 best solution, best possible 6731.99 (710.66 seconds)
After 88700 nodes, 15674 on tree, 6742.2 best solution, best possible 6731.99 (711.40 seconds)
After 88800 nodes, 15657 on tree, 6742.2 best solution, best possible 6731.99 (712.00 seconds)
After 88900 nodes, 15617 on tree, 6742.2 best solution, best possible 6731.99 (712.53 seconds)
After 89000 nodes, 15626 on tree, 6742.2 best solution, best possible 6731.99 (713.01 seconds)
After 89100 nodes, 15652 on tree, 6742.2 best solution, best possible 6732.02 (713.81 seconds)
After 89200 nodes, 15678 on tree, 6742.2 best solution, best possible 6732.04 (714.54 seconds)
After 89300 nodes, 15700 on tree, 6742.2 best solution, best possible 6732.07 (715.27 seconds)
After 89400 nodes, 15723 on tree, 6742.2 best solution, best possible 6732.1 (715.97 seconds)
After 89500 nodes, 15750 on tree, 6742.2 best solution, best possible 6732.12 (716.61 seconds)
After 89600 nodes, 15769 on tree, 6742.2 best solution, best possible 6732.15 (717.42 seconds)
After 89700 nodes, 15799 on tree, 6742.2 best solution, best possible 6732.17 (718.10 seconds)
After 89800 nodes, 15816 on tree, 6742.2 best solution, best possible 6732.2 (718.84 seconds)
After 89900 nodes, 15847 on tree, 6742.2 best solution, best possible 6732.23 (719.58 seconds)
After 90000 nodes, 15877 on tree, 6742.2 best solution, best possible 6732.26 (720.28 seconds)
After 90100 nodes, 15880 on tree, 6742.2 best solution, best possible 6732.26 (720.97 seconds)
After 90200 nodes, 15884 on tree, 6742.2 best solution, best possible 6732.26 (721.67 seconds)
After 90300 nodes, 15885 on tree, 6742.2 best solution, best possible 6732.26 (722.43 seconds)
After 90400 nodes, 15883 on tree, 6742.2 best solution, best possible 6732.26 (723.16 seconds)
After 90500 nodes, 15883 on tree, 6742.2 best solution, best possible 6732.26 (723.89 seconds)
After 90600 nodes, 15900 on tree, 6742.2 best solution, best possible 6732.26 (724.59 seconds)
After 90700 nodes, 15892 on tree, 6742.2 best solution, best possible 6732.26 (725.30 seconds)
After 90800 nodes, 15893 on tree, 6742.2 best solution, best possible 6732.26 (726.07 seconds)
After 90900 nodes, 15894 on tree, 6742.2 best solution, best possible 6732.26 (726.86 seconds)
After 91000 nodes, 15905 on tree, 6742.2 best solution, best possible 6732.26 (727.51 seconds)
After 91100 nodes, 15913 on tree, 6742.2 best solution, best possible 6732.26 (728.19 seconds)
After 91200 nodes, 15914 on tree, 6742.2 best solution, best possible 6732.26 (728.99 seconds)
After 91300 nodes, 15911 on tree, 6742.2 best solution, best possible 6732.26 (729.65 seconds)
After 91400 nodes, 15919 on tree, 6742.2 best solution, best possible 6732.26 (730.27 seconds)
After 91500 nodes, 15914 on tree, 6742.2 best solution, best possible 6732.26 (731.10 seconds)
After 91600 nodes, 15918 on tree, 6742.2 best solution, best possible 6732.26 (731.80 seconds)
After 91700 nodes, 15916 on tree, 6742.2 best solution, best possible 6732.26 (732.37 seconds)
After 91800 nodes, 15920 on tree, 6742.2 best solution, best possible 6732.26 (733.19 seconds)
After 91900 nodes, 15922 on tree, 6742.2 best solution, best possible 6732.26 (733.92 seconds)
After 92000 nodes, 15918 on tree, 6742.2 best solution, best possible 6732.26 (734.67 seconds)
After 92100 nodes, 15886 on tree, 6742.2 best solution, best possible 6732.26 (735.05 seconds)
After 92200 nodes, 15850 on tree, 6742.2 best solution, best possible 6732.26 (735.52 seconds)
After 92300 nodes, 15819 on tree, 6742.2 best solution, best possible 6732.26 (736.00 seconds)
After 92400 nodes, 15787 on tree, 6742.2 best solution, best possible 6732.26 (736.41 seconds)
After 92500 nodes, 15769 on tree, 6742.2 best solution, best possible 6732.26 (736.87 seconds)
After 92600 nodes, 15727 on tree, 6742.2 best solution, best possible 6732.26 (737.66 seconds)
After 92700 nodes, 15706 on tree, 6742.2 best solution, best possible 6732.26 (738.12 seconds)
After 92800 nodes, 15706 on tree, 6742.2 best solution, best possible 6732.26 (738.51 seconds)
After 92900 nodes, 15655 on tree, 6742.2 best solution, best possible 6732.26 (739.26 seconds)
After 93000 nodes, 15641 on tree, 6742.2 best solution, best possible 6732.26 (739.79 seconds)
After 93100 nodes, 15659 on tree, 6742.2 best solution, best possible 6732.28 (740.53 seconds)
After 93200 nodes, 15686 on tree, 6742.2 best solution, best possible 6732.31 (741.26 seconds)
After 93300 nodes, 15712 on tree, 6742.2 best solution, best possible 6732.34 (741.99 seconds)
After 93400 nodes, 15734 on tree, 6742.2 best solution, best possible 6732.36 (742.75 seconds)
After 93500 nodes, 15757 on tree, 6742.2 best solution, best possible 6732.39 (743.42 seconds)
After 93600 nodes, 15773 on tree, 6742.2 best solution, best possible 6732.42 (744.07 seconds)
After 93700 nodes, 15795 on tree, 6742.2 best solution, best possible 6732.44 (744.72 seconds)
After 93800 nodes, 15826 on tree, 6742.2 best solution, best possible 6732.46 (745.37 seconds)
After 93900 nodes, 15851 on tree, 6742.2 best solution, best possible 6732.49 (746.04 seconds)
After 94000 nodes, 15867 on tree, 6742.2 best solution, best possible 6732.51 (746.71 seconds)
After 94100 nodes, 15868 on tree, 6742.2 best solution, best possible 6732.51 (747.53 seconds)
After 94200 nodes, 15863 on tree, 6742.2 best solution, best possible 6732.51 (748.41 seconds)
After 94300 nodes, 15861 on tree, 6742.2 best solution, best possible 6732.51 (749.15 seconds)
After 94400 nodes, 15864 on tree, 6742.2 best solution, best possible 6732.51 (749.78 seconds)
After 94500 nodes, 15860 on tree, 6742.2 best solution, best possible 6732.51 (750.55 seconds)
After 94600 nodes, 15862 on tree, 6742.2 best solution, best possible 6732.51 (751.18 seconds)
After 94700 nodes, 15863 on tree, 6742.2 best solution, best possible 6732.51 (751.72 seconds)
After 94800 nodes, 15869 on tree, 6742.2 best solution, best possible 6732.51 (752.40 seconds)
After 94900 nodes, 15865 on tree, 6742.2 best solution, best possible 6732.51 (753.18 seconds)
After 95000 nodes, 15873 on tree, 6742.2 best solution, best possible 6732.51 (753.91 seconds)
After 95100 nodes, 15875 on tree, 6742.2 best solution, best possible 6732.51 (754.68 seconds)
After 95200 nodes, 15880 on tree, 6742.2 best solution, best possible 6732.51 (755.36 seconds)
After 95300 nodes, 15887 on tree, 6742.2 best solution, best possible 6732.51 (756.03 seconds)
After 95400 nodes, 15889 on tree, 6742.2 best solution, best possible 6732.51 (756.81 seconds)
After 95500 nodes, 15896 on tree, 6742.2 best solution, best possible 6732.51 (757.48 seconds)
After 95600 nodes, 15893 on tree, 6742.2 best solution, best possible 6732.51 (758.24 seconds)
After 95700 nodes, 15901 on tree, 6742.2 best solution, best possible 6732.51 (758.91 seconds)
After 95800 nodes, 15901 on tree, 6742.2 best solution, best possible 6732.51 (759.50 seconds)
After 95900 nodes, 15907 on tree, 6742.2 best solution, best possible 6732.51 (760.23 seconds)
After 96000 nodes, 15901 on tree, 6742.2 best solution, best possible 6732.51 (760.98 seconds)
After 96100 nodes, 15867 on tree, 6742.2 best solution, best possible 6732.51 (761.42 seconds)
After 96200 nodes, 15843 on tree, 6742.2 best solution, best possible 6732.51 (761.86 seconds)
After 96300 nodes, 15823 on tree, 6742.2 best solution, best possible 6732.51 (762.38 seconds)
After 96400 nodes, 15782 on tree, 6742.2 best solution, best possible 6732.51 (762.93 seconds)
After 96500 nodes, 15771 on tree, 6742.2 best solution, best possible 6732.51 (763.43 seconds)
After 96600 nodes, 15753 on tree, 6742.2 best solution, best possible 6732.51 (763.86 seconds)
After 96700 nodes, 15760 on tree, 6742.2 best solution, best possible 6732.51 (764.33 seconds)
After 96800 nodes, 15724 on tree, 6742.2 best solution, best possible 6732.51 (764.70 seconds)
After 96900 nodes, 15715 on tree, 6742.2 best solution, best possible 6732.51 (765.51 seconds)
After 97000 nodes, 15639 on tree, 6742.2 best solution, best possible 6732.51 (766.04 seconds)
After 97100 nodes, 15664 on tree, 6742.2 best solution, best possible 6732.53 (766.82 seconds)
After 97200 nodes, 15689 on tree, 6742.2 best solution, best possible 6732.55 (767.51 seconds)
After 97300 nodes, 15714 on tree, 6742.2 best solution, best possible 6732.58 (768.15 seconds)
After 97400 nodes, 15729 on tree, 6742.2 best solution, best possible 6732.6 (768.93 seconds)
After 97500 nodes, 15758 on tree, 6742.2 best solution, best possible 6732.62 (769.70 seconds)
After 97600 nodes, 15784 on tree, 6742.2 best solution, best possible 6732.64 (770.44 seconds)
After 97700 nodes, 15808 on tree, 6742.2 best solution, best possible 6732.66 (771.13 seconds)
After 97800 nodes, 15824 on tree, 6742.2 best solution, best possible 6732.68 (771.84 seconds)
After 97900 nodes, 15844 on tree, 6742.2 best solution, best possible 6732.7 (772.56 seconds)
After 98000 nodes, 15870 on tree, 6742.2 best solution, best possible 6732.72 (773.25 seconds)
After 98100 nodes, 15876 on tree, 6742.2 best solution, best possible 6732.72 (774.02 seconds)
After 98200 nodes, 15879 on tree, 6742.2 best solution, best possible 6732.72 (774.71 seconds)
After 98300 nodes, 15871 on tree, 6742.2 best solution, best possible 6732.72 (775.39 seconds)
After 98400 nodes, 15867 on tree, 6742.2 best solution, best possible 6732.72 (776.00 seconds)
After 98500 nodes, 15851 on tree, 6742.2 best solution, best possible 6732.72 (776.64 seconds)
After 98600 nodes, 15853 on tree, 6742.2 best solution, best possible 6732.72 (777.40 seconds)
After 98700 nodes, 15859 on tree, 6742.2 best solution, best possible 6732.72 (778.12 seconds)
After 98800 nodes, 15858 on tree, 6742.2 best solution, best possible 6732.72 (778.87 seconds)
After 98900 nodes, 15861 on tree, 6742.2 best solution, best possible 6732.72 (779.51 seconds)
After 99000 nodes, 15863 on tree, 6742.2 best solution, best possible 6732.72 (780.27 seconds)
After 99100 nodes, 15862 on tree, 6742.2 best solution, best possible 6732.72 (780.95 seconds)
After 99200 nodes, 15861 on tree, 6742.2 best solution, best possible 6732.72 (781.75 seconds)
After 99300 nodes, 15869 on tree, 6742.2 best solution, best possible 6732.72 (782.43 seconds)
After 99400 nodes, 15864 on tree, 6742.2 best solution, best possible 6732.72 (783.14 seconds)
After 99500 nodes, 15862 on tree, 6742.2 best solution, best possible 6732.72 (783.90 seconds)
After 99600 nodes, 15853 on tree, 6742.2 best solution, best possible 6732.72 (784.70 seconds)
After 99700 nodes, 15854 on tree, 6742.2 best solution, best possible 6732.72 (785.35 seconds)
After 99800 nodes, 15853 on tree, 6742.2 best solution, best possible 6732.72 (786.07 seconds)
After 99900 nodes, 15849 on tree, 6742.2 best solution, best possible 6732.72 (786.72 seconds)
After 100000 nodes, 15844 on tree, 6742.2 best solution, best possible 6732.72 (787.45 seconds)
After 100100 nodes, 15810 on tree, 6742.2 best solution, best possible 6732.72 (787.97 seconds)
After 100200 nodes, 15782 on tree, 6742.2 best solution, best possible 6732.72 (788.40 seconds)
After 100300 nodes, 15757 on tree, 6742.2 best solution, best possible 6732.72 (788.88 seconds)
After 100400 nodes, 15726 on tree, 6742.2 best solution, best possible 6732.72 (789.47 seconds)
After 100500 nodes, 15729 on tree, 6742.2 best solution, best possible 6732.72 (790.16 seconds)
After 100600 nodes, 15687 on tree, 6742.2 best solution, best possible 6732.72 (790.69 seconds)
After 100700 nodes, 15667 on tree, 6742.2 best solution, best possible 6732.72 (791.15 seconds)
After 100800 nodes, 15639 on tree, 6742.2 best solution, best possible 6732.72 (791.64 seconds)
After 100900 nodes, 15637 on tree, 6742.2 best solution, best possible 6732.72 (792.05 seconds)
After 101000 nodes, 15631 on tree, 6742.2 best solution, best possible 6732.72 (792.45 seconds)
After 101100 nodes, 15655 on tree, 6742.2 best solution, best possible 6732.74 (793.19 seconds)
After 101200 nodes, 15679 on tree, 6742.2 best solution, best possible 6732.77 (794.05 seconds)
After 101300 nodes, 15698 on tree, 6742.2 best solution, best possible 6732.79 (794.73 seconds)
After 101400 nodes, 15715 on tree, 6742.2 best solution, best possible 6732.81 (795.60 seconds)
After 101500 nodes, 15744 on tree, 6742.2 best solution, best possible 6732.84 (796.24 seconds)
After 101600 nodes, 15776 on tree, 6742.2 best solution, best possible 6732.86 (796.83 seconds)
After 101700 nodes, 15797 on tree, 6742.2 best solution, best possible 6732.88 (797.64 seconds)
After 101800 nodes, 15813 on tree, 6742.2 best solution, best possible 6732.9 (798.36 seconds)
After 101900 nodes, 15835 on tree, 6742.2 best solution, best possible 6732.92 (799.05 seconds)
After 102000 nodes, 15851 on tree, 6742.2 best solution, best possible 6732.94 (799.83 seconds)
After 102100 nodes, 15852 on tree, 6742.2 best solution, best possible 6732.94 (800.47 seconds)
After 102200 nodes, 15858 on tree, 6742.2 best solution, best possible 6732.94 (801.16 seconds)
After 102300 nodes, 15860 on tree, 6742.2 best solution, best possible 6732.94 (801.90 seconds)
After 102400 nodes, 15859 on tree, 6742.2 best solution, best possible 6732.94 (802.55 seconds)
After 102500 nodes, 15858 on tree, 6742.2 best solution, best possible 6732.94 (803.34 seconds)
After 102600 nodes, 15851 on tree, 6742.2 best solution, best possible 6732.94 (803.96 seconds)
After 102700 nodes, 15856 on tree, 6742.2 best solution, best possible 6732.94 (804.67 seconds)
After 102800 nodes, 15857 on tree, 6742.2 best solution, best possible 6732.94 (805.42 seconds)
After 102900 nodes, 15865 on tree, 6742.2 best solution, best possible 6732.94 (806.10 seconds)
After 103000 nodes, 15867 on tree, 6742.2 best solution, best possible 6732.94 (806.79 seconds)
After 103100 nodes, 15874 on tree, 6742.2 best solution, best possible 6732.94 (807.51 seconds)
After 103200 nodes, 15877 on tree, 6742.2 best solution, best possible 6732.94 (808.15 seconds)
After 103300 nodes, 15884 on tree, 6742.2 best solution, best possible 6732.94 (808.85 seconds)
After 103400 nodes, 15882 on tree, 6742.2 best solution, best possible 6732.94 (809.47 seconds)
After 103500 nodes, 15872 on tree, 6742.2 best solution, best possible 6732.94 (810.21 seconds)
After 103600 nodes, 15867 on tree, 6742.2 best solution, best possible 6732.94 (810.76 seconds)
After 103700 nodes, 15864 on tree, 6742.2 best solution, best possible 6732.94 (811.47 seconds)
After 103800 nodes, 15865 on tree, 6742.2 best solution, best possible 6732.94 (812.13 seconds)
After 103900 nodes, 15860 on tree, 6742.2 best solution, best possible 6732.94 (812.83 seconds)
After 104000 nodes, 15859 on tree, 6742.2 best solution, best possible 6732.94 (813.53 seconds)
After 104100 nodes, 15822 on tree, 6742.2 best solution, best possible 6732.94 (813.88 seconds)
After 104200 nodes, 15787 on tree, 6742.2 best solution, best possible 6732.94 (814.39 seconds)
After 104300 nodes, 15755 on tree, 6742.2 best solution, best possible 6732.94 (814.89 seconds)
After 104400 nodes, 15733 on tree, 6742.2 best solution, best possible 6732.94 (815.57 seconds)
After 104500 nodes, 15693 on tree, 6742.2 best solution, best possible 6732.94 (816.15 seconds)
After 104600 nodes, 15668 on tree, 6742.2 best solution, best possible 6732.94 (816.62 seconds)
After 104700 nodes, 15663 on tree, 6742.2 best solution, best possible 6732.94 (817.03 seconds)
After 104800 nodes, 15643 on tree, 6742.2 best solution, best possible 6732.94 (817.60 seconds)
After 104900 nodes, 15609 on tree, 6742.2 best solution, best possible 6732.94 (818.16 seconds)
After 105000 nodes, 15576 on tree, 6742.2 best solution, best possible 6732.94 (818.70 seconds)
After 105100 nodes, 15601 on tree, 6742.2 best solution, best possible 6732.96 (819.44 seconds)
After 105200 nodes, 15628 on tree, 6742.2 best solution, best possible 6732.98 (820.13 seconds)
After 105300 nodes, 15647 on tree, 6742.2 best solution, best possible 6733.01 (820.86 seconds)
After 105400 nodes, 15675 on tree, 6742.2 best solution, best possible 6733.04 (821.70 seconds)
After 105500 nodes, 15702 on tree, 6742.2 best solution, best possible 6733.08 (822.40 seconds)
After 105600 nodes, 15718 on tree, 6742.2 best solution, best possible 6733.1 (823.16 seconds)
After 105700 nodes, 15736 on tree, 6742.2 best solution, best possible 6733.13 (823.94 seconds)
After 105800 nodes, 15755 on tree, 6742.2 best solution, best possible 6733.15 (824.70 seconds)
After 105900 nodes, 15780 on tree, 6742.2 best solution, best possible 6733.17 (825.52 seconds)
After 106000 nodes, 15797 on tree, 6742.2 best solution, best possible 6733.19 (826.18 seconds)
After 106100 nodes, 15810 on tree, 6742.2 best solution, best possible 6733.19 (826.90 seconds)
After 106200 nodes, 15808 on tree, 6742.2 best solution, best possible 6733.19 (827.59 seconds)
After 106300 nodes, 15809 on tree, 6742.2 best solution, best possible 6733.19 (828.32 seconds)
After 106400 nodes, 15800 on tree, 6742.2 best solution, best possible 6733.19 (829.05 seconds)
After 106500 nodes, 15788 on tree, 6742.2 best solution, best possible 6733.19 (829.74 seconds)
After 106600 nodes, 15785 on tree, 6742.2 best solution, best possible 6733.19 (830.46 seconds)
After 106700 nodes, 15781 on tree, 6742.2 best solution, best possible 6733.19 (831.14 seconds)
After 106800 nodes, 15787 on tree, 6742.2 best solution, best possible 6733.19 (831.80 seconds)
After 106900 nodes, 15787 on tree, 6742.2 best solution, best possible 6733.19 (832.50 seconds)
After 107000 nodes, 15781 on tree, 6742.2 best solution, best possible 6733.19 (833.22 seconds)
After 107100 nodes, 15772 on tree, 6742.2 best solution, best possible 6733.19 (833.96 seconds)
After 107200 nodes, 15773 on tree, 6742.2 best solution, best possible 6733.19 (834.70 seconds)
After 107300 nodes, 15770 on tree, 6742.2 best solution, best possible 6733.19 (835.34 seconds)
After 107400 nodes, 15773 on tree, 6742.2 best solution, best possible 6733.19 (836.03 seconds)
After 107500 nodes, 15770 on tree, 6742.2 best solution, best possible 6733.19 (836.74 seconds)
After 107600 nodes, 15768 on tree, 6742.2 best solution, best possible 6733.19 (837.37 seconds)
After 107700 nodes, 15769 on tree, 6742.2 best solution, best possible 6733.19 (838.19 seconds)
After 107800 nodes, 15769 on tree, 6742.2 best solution, best possible 6733.19 (838.98 seconds)
After 107900 nodes, 15762 on tree, 6742.2 best solution, best possible 6733.19 (839.63 seconds)
After 108000 nodes, 15765 on tree, 6742.2 best solution, best possible 6733.19 (840.21 seconds)
After 108100 nodes, 15733 on tree, 6742.2 best solution, best possible 6733.19 (840.70 seconds)
After 108200 nodes, 15702 on tree, 6742.2 best solution, best possible 6733.19 (841.21 seconds)
After 108300 nodes, 15672 on tree, 6742.2 best solution, best possible 6733.19 (841.68 seconds)
After 108400 nodes, 15654 on tree, 6742.2 best solution, best possible 6733.19 (842.13 seconds)
After 108500 nodes, 15658 on tree, 6742.2 best solution, best possible 6733.19 (842.62 seconds)
After 108600 nodes, 15627 on tree, 6742.2 best solution, best possible 6733.19 (843.03 seconds)
After 108700 nodes, 15632 on tree, 6742.2 best solution, best possible 6733.19 (843.42 seconds)
After 108800 nodes, 15607 on tree, 6742.2 best solution, best possible 6733.19 (843.82 seconds)
After 108900 nodes, 15589 on tree, 6742.2 best solution, best possible 6733.19 (844.64 seconds)
After 109000 nodes, 15511 on tree, 6742.2 best solution, best possible 6733.19 (845.35 seconds)
After 109100 nodes, 15534 on tree, 6742.2 best solution, best possible 6733.22 (846.07 seconds)
After 109200 nodes, 15558 on tree, 6742.2 best solution, best possible 6733.25 (846.84 seconds)
After 109300 nodes, 15584 on tree, 6742.2 best solution, best possible 6733.27 (847.55 seconds)
After 109400 nodes, 15610 on tree, 6742.2 best solution, best possible 6733.3 (848.25 seconds)
After 109500 nodes, 15637 on tree, 6742.2 best solution, best possible 6733.32 (848.96 seconds)
After 109600 nodes, 15663 on tree, 6742.2 best solution, best possible 6733.34 (849.65 seconds)
After 109700 nodes, 15683 on tree, 6742.2 best solution, best possible 6733.37 (850.34 seconds)
After 109800 nodes, 15711 on tree, 6742.2 best solution, best possible 6733.38 (851.03 seconds)
After 109900 nodes, 15722 on tree, 6742.2 best solution, best possible 6733.4 (851.82 seconds)
After 110000 nodes, 15745 on tree, 6742.2 best solution, best possible 6733.42 (852.51 seconds)
After 110100 nodes, 15753 on tree, 6742.2 best solution, best possible 6733.42 (853.17 seconds)
After 110200 nodes, 15754 on tree, 6742.2 best solution, best possible 6733.42 (853.84 seconds)
After 110300 nodes, 15756 on tree, 6742.2 best solution, best possible 6733.42 (854.51 seconds)
After 110400 nodes, 15753 on tree, 6742.2 best solution, best possible 6733.42 (855.19 seconds)
After 110500 nodes, 15746 on tree, 6742.2 best solution, best possible 6733.42 (855.84 seconds)
After 110600 nodes, 15744 on tree, 6742.2 best solution, best possible 6733.42 (856.52 seconds)
After 110700 nodes, 15737 on tree, 6742.2 best solution, best possible 6733.42 (857.10 seconds)
After 110800 nodes, 15734 on tree, 6742.2 best solution, best possible 6733.42 (857.80 seconds)
After 110900 nodes, 15732 on tree, 6742.2 best solution, best possible 6733.42 (858.56 seconds)
After 111000 nodes, 15733 on tree, 6742.2 best solution, best possible 6733.42 (859.19 seconds)
After 111100 nodes, 15731 on tree, 6742.2 best solution, best possible 6733.42 (859.83 seconds)
After 111200 nodes, 15724 on tree, 6742.2 best solution, best possible 6733.42 (860.52 seconds)
After 111300 nodes, 15714 on tree, 6742.2 best solution, best possible 6733.42 (861.25 seconds)
After 111400 nodes, 15711 on tree, 6742.2 best solution, best possible 6733.42 (861.91 seconds)
After 111500 nodes, 15712 on tree, 6742.2 best solution, best possible 6733.42 (862.61 seconds)
After 111600 nodes, 15706 on tree, 6742.2 best solution, best possible 6733.42 (863.37 seconds)
After 111700 nodes, 15689 on tree, 6742.2 best solution, best possible 6733.42 (864.02 seconds)
After 111800 nodes, 15682 on tree, 6742.2 best solution, best possible 6733.42 (864.73 seconds)
After 111900 nodes, 15678 on tree, 6742.2 best solution, best possible 6733.42 (865.41 seconds)
After 112000 nodes, 15666 on tree, 6742.2 best solution, best possible 6733.42 (866.06 seconds)
After 112100 nodes, 15632 on tree, 6742.2 best solution, best possible 6733.42 (866.50 seconds)
After 112200 nodes, 15602 on tree, 6742.2 best solution, best possible 6733.42 (867.01 seconds)
After 112300 nodes, 15578 on tree, 6742.2 best solution, best possible 6733.42 (867.47 seconds)
After 112400 nodes, 15546 on tree, 6742.2 best solution, best possible 6733.42 (868.03 seconds)
After 112500 nodes, 15552 on tree, 6742.2 best solution, best possible 6733.42 (868.65 seconds)
After 112600 nodes, 15506 on tree, 6742.2 best solution, best possible 6733.42 (869.18 seconds)
After 112700 nodes, 15490 on tree, 6742.2 best solution, best possible 6733.42 (869.64 seconds)
After 112800 nodes, 15482 on tree, 6742.2 best solution, best possible 6733.42 (870.21 seconds)
After 112900 nodes, 15449 on tree, 6742.2 best solution, best possible 6733.42 (870.66 seconds)
After 113000 nodes, 15434 on tree, 6742.2 best solution, best possible 6733.42 (871.07 seconds)
After 113100 nodes, 15454 on tree, 6742.2 best solution, best possible 6733.45 (871.81 seconds)
After 113200 nodes, 15474 on tree, 6742.2 best solution, best possible 6733.46 (872.55 seconds)
After 113300 nodes, 15496 on tree, 6742.2 best solution, best possible 6733.49 (873.19 seconds)
After 113400 nodes, 15523 on tree, 6742.2 best solution, best possible 6733.52 (873.87 seconds)
After 113500 nodes, 15536 on tree, 6742.2 best solution, best possible 6733.54 (874.62 seconds)
After 113600 nodes, 15550 on tree, 6742.2 best solution, best possible 6733.56 (875.33 seconds)
After 113700 nodes, 15577 on tree, 6742.2 best solution, best possible 6733.59 (876.11 seconds)
After 113800 nodes, 15596 on tree, 6742.2 best solution, best possible 6733.61 (876.80 seconds)
After 113900 nodes, 15615 on tree, 6742.2 best solution, best possible 6733.62 (877.53 seconds)
After 114000 nodes, 15633 on tree, 6742.2 best solution, best possible 6733.65 (878.31 seconds)
After 114100 nodes, 15634 on tree, 6742.2 best solution, best possible 6733.65 (878.87 seconds)
After 114200 nodes, 15625 on tree, 6742.2 best solution, best possible 6733.65 (879.53 seconds)
After 114300 nodes, 15619 on tree, 6742.2 best solution, best possible 6733.65 (880.27 seconds)
After 114400 nodes, 15613 on tree, 6742.2 best solution, best possible 6733.65 (880.84 seconds)
After 114500 nodes, 15614 on tree, 6742.2 best solution, best possible 6733.65 (881.48 seconds)
After 114600 nodes, 15614 on tree, 6742.2 best solution, best possible 6733.65 (882.14 seconds)
After 114700 nodes, 15608 on tree, 6742.2 best solution, best possible 6733.65 (882.83 seconds)
After 114800 nodes, 15600 on tree, 6742.2 best solution, best possible 6733.65 (883.40 seconds)
After 114900 nodes, 15597 on tree, 6742.2 best solution, best possible 6733.65 (884.21 seconds)
After 115000 nodes, 15595 on tree, 6742.2 best solution, best possible 6733.65 (884.94 seconds)
After 115100 nodes, 15595 on tree, 6742.2 best solution, best possible 6733.65 (885.60 seconds)
After 115200 nodes, 15597 on tree, 6742.2 best solution, best possible 6733.65 (886.32 seconds)
After 115300 nodes, 15594 on tree, 6742.2 best solution, best possible 6733.65 (886.98 seconds)
After 115400 nodes, 15590 on tree, 6742.2 best solution, best possible 6733.65 (887.64 seconds)
After 115500 nodes, 15581 on tree, 6742.2 best solution, best possible 6733.65 (888.34 seconds)
After 115600 nodes, 15570 on tree, 6742.2 best solution, best possible 6733.65 (888.92 seconds)
After 115700 nodes, 15571 on tree, 6742.2 best solution, best possible 6733.65 (889.54 seconds)
After 115800 nodes, 15563 on tree, 6742.2 best solution, best possible 6733.65 (890.24 seconds)
After 115900 nodes, 15552 on tree, 6742.2 best solution, best possible 6733.65 (890.90 seconds)
After 116000 nodes, 15546 on tree, 6742.2 best solution, best possible 6733.65 (891.52 seconds)
After 116100 nodes, 15511 on tree, 6742.2 best solution, best possible 6733.65 (891.90 seconds)
After 116200 nodes, 15482 on tree, 6742.2 best solution, best possible 6733.65 (892.37 seconds)
After 116300 nodes, 15461 on tree, 6742.2 best solution, best possible 6733.65 (892.84 seconds)
After 116400 nodes, 15429 on tree, 6742.2 best solution, best possible 6733.65 (893.33 seconds)
After 116500 nodes, 15433 on tree, 6742.2 best solution, best possible 6733.65 (893.78 seconds)
After 116600 nodes, 15409 on tree, 6742.2 best solution, best possible 6733.65 (894.30 seconds)
After 116700 nodes, 15361 on tree, 6742.2 best solution, best possible 6733.65 (894.90 seconds)
After 116800 nodes, 15344 on tree, 6742.2 best solution, best possible 6733.65 (895.30 seconds)
After 116900 nodes, 15324 on tree, 6742.2 best solution, best possible 6733.65 (895.80 seconds)
After 117000 nodes, 15304 on tree, 6742.2 best solution, best possible 6733.65 (896.17 seconds)
After 117100 nodes, 15328 on tree, 6742.2 best solution, best possible 6733.67 (896.84 seconds)
After 117200 nodes, 15350 on tree, 6742.2 best solution, best possible 6733.69 (897.47 seconds)
After 117300 nodes, 15369 on tree, 6742.2 best solution, best possible 6733.72 (898.16 seconds)
After 117400 nodes, 15381 on tree, 6742.2 best solution, best possible 6733.74 (898.79 seconds)
After 117500 nodes, 15398 on tree, 6742.2 best solution, best possible 6733.76 (899.58 seconds)
After 117600 nodes, 15419 on tree, 6742.2 best solution, best possible 6733.78 (900.32 seconds)
After 117700 nodes, 15441 on tree, 6742.2 best solution, best possible 6733.81 (901.03 seconds)
After 117800 nodes, 15466 on tree, 6742.2 best solution, best possible 6733.83 (901.70 seconds)
After 117900 nodes, 15485 on tree, 6742.2 best solution, best possible 6733.85 (902.41 seconds)
After 118000 nodes, 15512 on tree, 6742.2 best solution, best possible 6733.87 (903.04 seconds)
After 118100 nodes, 15516 on tree, 6742.2 best solution, best possible 6733.87 (903.78 seconds)
After 118200 nodes, 15507 on tree, 6742.2 best solution, best possible 6733.87 (904.42 seconds)
After 118300 nodes, 15503 on tree, 6742.2 best solution, best possible 6733.87 (905.07 seconds)
After 118400 nodes, 15500 on tree, 6742.2 best solution, best possible 6733.87 (905.74 seconds)
After 118500 nodes, 15492 on tree, 6742.2 best solution, best possible 6733.87 (906.38 seconds)
After 118600 nodes, 15482 on tree, 6742.2 best solution, best possible 6733.87 (907.00 seconds)
After 118700 nodes, 15486 on tree, 6742.2 best solution, best possible 6733.87 (907.66 seconds)
After 118800 nodes, 15482 on tree, 6742.2 best solution, best possible 6733.87 (908.44 seconds)
After 118900 nodes, 15479 on tree, 6742.2 best solution, best possible 6733.87 (908.99 seconds)
After 119000 nodes, 15473 on tree, 6742.2 best solution, best possible 6733.87 (909.64 seconds)
After 119100 nodes, 15472 on tree, 6742.2 best solution, best possible 6733.87 (910.30 seconds)
After 119200 nodes, 15466 on tree, 6742.2 best solution, best possible 6733.87 (910.98 seconds)
After 119300 nodes, 15454 on tree, 6742.2 best solution, best possible 6733.87 (911.70 seconds)
After 119400 nodes, 15449 on tree, 6742.2 best solution, best possible 6733.87 (912.41 seconds)
After 119500 nodes, 15449 on tree, 6742.2 best solution, best possible 6733.87 (913.10 seconds)
After 119600 nodes, 15452 on tree, 6742.2 best solution, best possible 6733.87 (913.79 seconds)
After 119700 nodes, 15444 on tree, 6742.2 best solution, best possible 6733.87 (914.57 seconds)
After 119800 nodes, 15437 on tree, 6742.2 best solution, best possible 6733.87 (915.29 seconds)
After 119900 nodes, 15434 on tree, 6742.2 best solution, best possible 6733.87 (915.94 seconds)
After 120000 nodes, 15425 on tree, 6742.2 best solution, best possible 6733.87 (916.49 seconds)
After 120100 nodes, 15382 on tree, 6742.2 best solution, best possible 6733.87 (916.89 seconds)
After 120200 nodes, 15349 on tree, 6742.2 best solution, best possible 6733.87 (917.50 seconds)
After 120300 nodes, 15318 on tree, 6742.2 best solution, best possible 6733.87 (917.96 seconds)
After 120400 nodes, 15281 on tree, 6742.2 best solution, best possible 6733.87 (918.62 seconds)
After 120500 nodes, 15262 on tree, 6742.2 best solution, best possible 6733.87 (919.19 seconds)
After 120600 nodes, 15254 on tree, 6742.2 best solution, best possible 6733.87 (919.70 seconds)
After 120700 nodes, 15228 on tree, 6742.2 best solution, best possible 6733.87 (920.13 seconds)
After 120800 nodes, 15207 on tree, 6742.2 best solution, best possible 6733.87 (920.55 seconds)
After 120900 nodes, 15203 on tree, 6742.2 best solution, best possible 6733.87 (920.96 seconds)
After 121000 nodes, 15215 on tree, 6742.2 best solution, best possible 6733.87 (921.45 seconds)
After 121100 nodes, 15231 on tree, 6742.2 best solution, best possible 6733.89 (922.14 seconds)
After 121200 nodes, 15251 on tree, 6742.2 best solution, best possible 6733.92 (922.81 seconds)
After 121300 nodes, 15273 on tree, 6742.2 best solution, best possible 6733.94 (923.49 seconds)
After 121400 nodes, 15286 on tree, 6742.2 best solution, best possible 6733.96 (924.21 seconds)
After 121500 nodes, 15310 on tree, 6742.2 best solution, best possible 6733.99 (924.89 seconds)
After 121600 nodes, 15332 on tree, 6742.2 best solution, best possible 6734.02 (925.62 seconds)
After 121700 nodes, 15356 on tree, 6742.2 best solution, best possible 6734.04 (926.33 seconds)
After 121800 nodes, 15374 on tree, 6742.2 best solution, best possible 6734.06 (927.09 seconds)
After 121900 nodes, 15396 on tree, 6742.2 best solution, best possible 6734.08 (927.76 seconds)
After 122000 nodes, 15413 on tree, 6742.2 best solution, best possible 6734.1 (928.43 seconds)
After 122100 nodes, 15412 on tree, 6742.2 best solution, best possible 6734.1 (929.11 seconds)
After 122200 nodes, 15405 on tree, 6742.2 best solution, best possible 6734.1 (929.76 seconds)
After 122300 nodes, 15393 on tree, 6742.2 best solution, best possible 6734.1 (930.33 seconds)
After 122400 nodes, 15386 on tree, 6742.2 best solution, best possible 6734.1 (930.94 seconds)
After 122500 nodes, 15376 on tree, 6742.2 best solution, best possible 6734.1 (931.58 seconds)
After 122600 nodes, 15367 on tree, 6742.2 best solution, best possible 6734.1 (932.31 seconds)
After 122700 nodes, 15364 on tree, 6742.2 best solution, best possible 6734.1 (932.93 seconds)
After 122800 nodes, 15360 on tree, 6742.2 best solution, best possible 6734.1 (933.60 seconds)
After 122900 nodes, 15356 on tree, 6742.2 best solution, best possible 6734.1 (934.20 seconds)
After 123000 nodes, 15348 on tree, 6742.2 best solution, best possible 6734.1 (934.80 seconds)
After 123100 nodes, 15349 on tree, 6742.2 best solution, best possible 6734.1 (935.36 seconds)
After 123200 nodes, 15345 on tree, 6742.2 best solution, best possible 6734.1 (935.97 seconds)
After 123300 nodes, 15344 on tree, 6742.2 best solution, best possible 6734.1 (936.59 seconds)
After 123400 nodes, 15339 on tree, 6742.2 best solution, best possible 6734.1 (937.21 seconds)
After 123500 nodes, 15340 on tree, 6742.2 best solution, best possible 6734.1 (937.89 seconds)
After 123600 nodes, 15343 on tree, 6742.2 best solution, best possible 6734.1 (938.58 seconds)
After 123700 nodes, 15336 on tree, 6742.2 best solution, best possible 6734.1 (939.25 seconds)
After 123800 nodes, 15324 on tree, 6742.2 best solution, best possible 6734.1 (939.85 seconds)
After 123900 nodes, 15320 on tree, 6742.2 best solution, best possible 6734.1 (940.55 seconds)
After 124000 nodes, 15313 on tree, 6742.2 best solution, best possible 6734.1 (941.12 seconds)
After 124100 nodes, 15275 on tree, 6742.2 best solution, best possible 6734.1 (941.47 seconds)
After 124200 nodes, 15253 on tree, 6742.2 best solution, best possible 6734.1 (941.87 seconds)
After 124300 nodes, 15230 on tree, 6742.2 best solution, best possible 6734.1 (942.38 seconds)
After 124400 nodes, 15224 on tree, 6742.2 best solution, best possible 6734.1 (942.78 seconds)
After 124500 nodes, 15170 on tree, 6742.2 best solution, best possible 6734.1 (943.23 seconds)
After 124600 nodes, 15152 on tree, 6742.2 best solution, best possible 6734.1 (944.00 seconds)
After 124700 nodes, 15086 on tree, 6742.2 best solution, best possible 6734.1 (944.72 seconds)
After 124800 nodes, 15049 on tree, 6742.2 best solution, best possible 6734.1 (945.24 seconds)
After 124900 nodes, 15043 on tree, 6742.2 best solution, best possible 6734.1 (945.73 seconds)
After 125000 nodes, 14989 on tree, 6742.2 best solution, best possible 6734.1 (946.18 seconds)
After 125100 nodes, 15013 on tree, 6742.2 best solution, best possible 6734.12 (946.93 seconds)
After 125200 nodes, 15038 on tree, 6742.2 best solution, best possible 6734.15 (947.57 seconds)
After 125300 nodes, 15052 on tree, 6742.2 best solution, best possible 6734.17 (948.30 seconds)
After 125400 nodes, 15073 on tree, 6742.2 best solution, best possible 6734.19 (948.98 seconds)
After 125500 nodes, 15091 on tree, 6742.2 best solution, best possible 6734.21 (949.64 seconds)
After 125600 nodes, 15114 on tree, 6742.2 best solution, best possible 6734.24 (950.38 seconds)
After 125700 nodes, 15138 on tree, 6742.2 best solution, best possible 6734.26 (951.10 seconds)
After 125800 nodes, 15158 on tree, 6742.2 best solution, best possible 6734.28 (951.76 seconds)
After 125900 nodes, 15179 on tree, 6742.2 best solution, best possible 6734.3 (952.45 seconds)
After 126000 nodes, 15196 on tree, 6742.2 best solution, best possible 6734.31 (953.19 seconds)
After 126100 nodes, 15194 on tree, 6742.2 best solution, best possible 6734.31 (953.87 seconds)
After 126200 nodes, 15182 on tree, 6742.2 best solution, best possible 6734.31 (954.58 seconds)
After 126300 nodes, 15168 on tree, 6742.2 best solution, best possible 6734.31 (955.21 seconds)
After 126400 nodes, 15164 on tree, 6742.2 best solution, best possible 6734.31 (955.95 seconds)
After 126500 nodes, 15155 on tree, 6742.2 best solution, best possible 6734.31 (956.58 seconds)
After 126600 nodes, 15150 on tree, 6742.2 best solution, best possible 6734.31 (957.24 seconds)
After 126700 nodes, 15148 on tree, 6742.2 best solution, best possible 6734.31 (957.90 seconds)
After 126800 nodes, 15145 on tree, 6742.2 best solution, best possible 6734.31 (958.55 seconds)
After 126900 nodes, 15131 on tree, 6742.2 best solution, best possible 6734.31 (959.29 seconds)
After 127000 nodes, 15120 on tree, 6742.2 best solution, best possible 6734.31 (959.93 seconds)
After 127100 nodes, 15122 on tree, 6742.2 best solution, best possible 6734.31 (960.58 seconds)
After 127200 nodes, 15118 on tree, 6742.2 best solution, best possible 6734.31 (961.23 seconds)
After 127300 nodes, 15118 on tree, 6742.2 best solution, best possible 6734.31 (961.79 seconds)
After 127400 nodes, 15109 on tree, 6742.2 best solution, best possible 6734.31 (962.52 seconds)
After 127500 nodes, 15107 on tree, 6742.2 best solution, best possible 6734.31 (963.10 seconds)
After 127600 nodes, 15100 on tree, 6742.2 best solution, best possible 6734.31 (963.74 seconds)
After 127700 nodes, 15093 on tree, 6742.2 best solution, best possible 6734.31 (964.43 seconds)
After 127800 nodes, 15088 on tree, 6742.2 best solution, best possible 6734.31 (965.05 seconds)
After 127900 nodes, 15083 on tree, 6742.2 best solution, best possible 6734.31 (965.73 seconds)
After 128000 nodes, 15072 on tree, 6742.2 best solution, best possible 6734.31 (966.50 seconds)
After 128100 nodes, 15035 on tree, 6742.2 best solution, best possible 6734.31 (966.83 seconds)
After 128200 nodes, 15004 on tree, 6742.2 best solution, best possible 6734.31 (967.33 seconds)
After 128300 nodes, 14994 on tree, 6742.2 best solution, best possible 6734.31 (967.86 seconds)
After 128400 nodes, 14988 on tree, 6742.2 best solution, best possible 6734.31 (968.29 seconds)
After 128500 nodes, 14945 on tree, 6742.2 best solution, best possible 6734.31 (968.70 seconds)
After 128600 nodes, 14934 on tree, 6742.2 best solution, best possible 6734.31 (969.10 seconds)
After 128700 nodes, 14928 on tree, 6742.2 best solution, best possible 6734.31 (969.47 seconds)
After 128800 nodes, 14888 on tree, 6742.2 best solution, best possible 6734.31 (970.11 seconds)
After 128900 nodes, 14846 on tree, 6742.2 best solution, best possible 6734.31 (970.67 seconds)
After 129000 nodes, 14831 on tree, 6742.2 best solution, best possible 6734.31 (971.14 seconds)
After 129100 nodes, 14858 on tree, 6742.2 best solution, best possible 6734.34 (971.83 seconds)
After 129200 nodes, 14877 on tree, 6742.2 best solution, best possible 6734.36 (972.55 seconds)
After 129300 nodes, 14892 on tree, 6742.2 best solution, best possible 6734.38 (973.32 seconds)
After 129400 nodes, 14910 on tree, 6742.2 best solution, best possible 6734.41 (973.94 seconds)
After 129500 nodes, 14932 on tree, 6742.2 best solution, best possible 6734.43 (974.58 seconds)
After 129600 nodes, 14951 on tree, 6742.2 best solution, best possible 6734.45 (975.22 seconds)
After 129700 nodes, 14969 on tree, 6742.2 best solution, best possible 6734.47 (975.90 seconds)
After 129800 nodes, 14983 on tree, 6742.2 best solution, best possible 6734.5 (976.65 seconds)
After 129900 nodes, 15012 on tree, 6742.2 best solution, best possible 6734.52 (977.32 seconds)
After 130000 nodes, 15028 on tree, 6742.2 best solution, best possible 6734.53 (978.04 seconds)
After 130100 nodes, 15021 on tree, 6742.2 best solution, best possible 6734.53 (978.73 seconds)
After 130200 nodes, 15015 on tree, 6742.2 best solution, best possible 6734.53 (979.48 seconds)
After 130300 nodes, 15010 on tree, 6742.2 best solution, best possible 6734.53 (980.06 seconds)
After 130400 nodes, 15003 on tree, 6742.2 best solution, best possible 6734.53 (980.60 seconds)
After 130500 nodes, 14994 on tree, 6742.2 best solution, best possible 6734.53 (981.19 seconds)
After 130600 nodes, 14997 on tree, 6742.2 best solution, best possible 6734.53 (981.85 seconds)
After 130700 nodes, 14989 on tree, 6742.2 best solution, best possible 6734.53 (982.51 seconds)
After 130800 nodes, 14986 on tree, 6742.2 best solution, best possible 6734.53 (983.15 seconds)
After 130900 nodes, 14982 on tree, 6742.2 best solution, best possible 6734.53 (983.75 seconds)
After 131000 nodes, 14977 on tree, 6742.2 best solution, best possible 6734.53 (984.37 seconds)
After 131100 nodes, 14971 on tree, 6742.2 best solution, best possible 6734.53 (984.97 seconds)
After 131200 nodes, 14964 on tree, 6742.2 best solution, best possible 6734.53 (985.68 seconds)
After 131300 nodes, 14967 on tree, 6742.2 best solution, best possible 6734.53 (986.24 seconds)
After 131400 nodes, 14966 on tree, 6742.2 best solution, best possible 6734.53 (986.87 seconds)
After 131500 nodes, 14957 on tree, 6742.2 best solution, best possible 6734.53 (987.57 seconds)
After 131600 nodes, 14950 on tree, 6742.2 best solution, best possible 6734.53 (988.24 seconds)
After 131700 nodes, 14944 on tree, 6742.2 best solution, best possible 6734.53 (988.95 seconds)
After 131800 nodes, 14939 on tree, 6742.2 best solution, best possible 6734.53 (989.59 seconds)
After 131900 nodes, 14938 on tree, 6742.2 best solution, best possible 6734.53 (990.20 seconds)
After 132000 nodes, 14926 on tree, 6742.2 best solution, best possible 6734.53 (990.77 seconds)
After 132100 nodes, 14888 on tree, 6742.2 best solution, best possible 6734.53 (991.19 seconds)
After 132200 nodes, 14860 on tree, 6742.2 best solution, best possible 6734.53 (991.63 seconds)
After 132300 nodes, 14832 on tree, 6742.2 best solution, best possible 6734.53 (992.11 seconds)
After 132400 nodes, 14826 on tree, 6742.2 best solution, best possible 6734.53 (992.49 seconds)
After 132500 nodes, 14812 on tree, 6742.2 best solution, best possible 6734.53 (992.88 seconds)
After 132600 nodes, 14770 on tree, 6742.2 best solution, best possible 6734.53 (993.59 seconds)
After 132700 nodes, 14740 on tree, 6742.2 best solution, best possible 6734.53 (994.09 seconds)
After 132800 nodes, 14726 on tree, 6742.2 best solution, best possible 6734.53 (994.49 seconds)
After 132900 nodes, 14712 on tree, 6742.2 best solution, best possible 6734.53 (994.91 seconds)
After 133000 nodes, 14684 on tree, 6742.2 best solution, best possible 6734.53 (995.31 seconds)
After 133100 nodes, 14694 on tree, 6742.2 best solution, best possible 6734.55 (995.99 seconds)
After 133200 nodes, 14712 on tree, 6742.2 best solution, best possible 6734.57 (996.69 seconds)
After 133300 nodes, 14730 on tree, 6742.2 best solution, best possible 6734.6 (997.31 seconds)
After 133400 nodes, 14746 on tree, 6742.2 best solution, best possible 6734.62 (997.99 seconds)
After 133500 nodes, 14760 on tree, 6742.2 best solution, best possible 6734.64 (998.69 seconds)
After 133600 nodes, 14781 on tree, 6742.2 best solution, best possible 6734.67 (999.30 seconds)
After 133700 nodes, 14792 on tree, 6742.2 best solution, best possible 6734.69 (1000.04 seconds)
After 133800 nodes, 14807 on tree, 6742.2 best solution, best possible 6734.71 (1000.71 seconds)
After 133900 nodes, 14828 on tree, 6742.2 best solution, best possible 6734.73 (1001.41 seconds)
After 134000 nodes, 14848 on tree, 6742.2 best solution, best possible 6734.75 (1002.03 seconds)
After 134100 nodes, 14844 on tree, 6742.2 best solution, best possible 6734.75 (1002.60 seconds)
After 134200 nodes, 14836 on tree, 6742.2 best solution, best possible 6734.75 (1003.39 seconds)
After 134300 nodes, 14822 on tree, 6742.2 best solution, best possible 6734.75 (1003.95 seconds)
After 134400 nodes, 14809 on tree, 6742.2 best solution, best possible 6734.75 (1004.60 seconds)
After 134500 nodes, 14800 on tree, 6742.2 best solution, best possible 6734.75 (1005.32 seconds)
After 134600 nodes, 14786 on tree, 6742.2 best solution, best possible 6734.75 (1005.83 seconds)
After 134700 nodes, 14786 on tree, 6742.2 best solution, best possible 6734.75 (1006.51 seconds)
After 134800 nodes, 14780 on tree, 6742.2 best solution, best possible 6734.75 (1007.16 seconds)
After 134900 nodes, 14773 on tree, 6742.2 best solution, best possible 6734.75 (1007.86 seconds)
After 135000 nodes, 14768 on tree, 6742.2 best solution, best possible 6734.75 (1008.48 seconds)
After 135100 nodes, 14759 on tree, 6742.2 best solution, best possible 6734.75 (1009.12 seconds)
After 135200 nodes, 14756 on tree, 6742.2 best solution, best possible 6734.75 (1009.66 seconds)
After 135300 nodes, 14752 on tree, 6742.2 best solution, best possible 6734.75 (1010.34 seconds)
After 135400 nodes, 14742 on tree, 6742.2 best solution, best possible 6734.75 (1011.09 seconds)
After 135500 nodes, 14737 on tree, 6742.2 best solution, best possible 6734.75 (1011.66 seconds)
After 135600 nodes, 14733 on tree, 6742.2 best solution, best possible 6734.75 (1012.25 seconds)
After 135700 nodes, 14730 on tree, 6742.2 best solution, best possible 6734.75 (1012.94 seconds)
After 135800 nodes, 14723 on tree, 6742.2 best solution, best possible 6734.75 (1013.52 seconds)
After 135900 nodes, 14708 on tree, 6742.2 best solution, best possible 6734.75 (1014.14 seconds)
After 136000 nodes, 14696 on tree, 6742.2 best solution, best possible 6734.75 (1014.83 seconds)
After 136100 nodes, 14657 on tree, 6742.2 best solution, best possible 6734.75 (1015.25 seconds)
After 136200 nodes, 14629 on tree, 6742.2 best solution, best possible 6734.75 (1015.71 seconds)
After 136300 nodes, 14614 on tree, 6742.2 best solution, best possible 6734.75 (1016.13 seconds)
After 136400 nodes, 14618 on tree, 6742.2 best solution, best possible 6734.75 (1016.50 seconds)
After 136500 nodes, 14614 on tree, 6742.2 best solution, best possible 6734.75 (1016.87 seconds)
After 136600 nodes, 14548 on tree, 6742.2 best solution, best possible 6734.75 (1017.32 seconds)
After 136700 nodes, 14540 on tree, 6742.2 best solution, best possible 6734.75 (1018.14 seconds)
After 136800 nodes, 14455 on tree, 6742.2 best solution, best possible 6734.75 (1018.76 seconds)
After 136900 nodes, 14437 on tree, 6742.2 best solution, best possible 6734.75 (1019.28 seconds)
After 137000 nodes, 14418 on tree, 6742.2 best solution, best possible 6734.75 (1019.76 seconds)
After 137100 nodes, 14437 on tree, 6742.2 best solution, best possible 6734.77 (1020.45 seconds)
After 137200 nodes, 14453 on tree, 6742.2 best solution, best possible 6734.79 (1021.14 seconds)
After 137300 nodes, 14466 on tree, 6742.2 best solution, best possible 6734.81 (1021.90 seconds)
After 137400 nodes, 14489 on tree, 6742.2 best solution, best possible 6734.83 (1022.55 seconds)
After 137500 nodes, 14502 on tree, 6742.2 best solution, best possible 6734.86 (1023.16 seconds)
After 137600 nodes, 14519 on tree, 6742.2 best solution, best possible 6734.88 (1023.80 seconds)
After 137700 nodes, 14537 on tree, 6742.2 best solution, best possible 6734.89 (1024.48 seconds)
After 137800 nodes, 14549 on tree, 6742.2 best solution, best possible 6734.91 (1025.13 seconds)
After 137900 nodes, 14564 on tree, 6742.2 best solution, best possible 6734.94 (1025.72 seconds)
After 138000 nodes, 14586 on tree, 6742.2 best solution, best possible 6734.96 (1026.47 seconds)
After 138100 nodes, 14585 on tree, 6742.2 best solution, best possible 6734.96 (1027.04 seconds)
After 138200 nodes, 14578 on tree, 6742.2 best solution, best possible 6734.96 (1027.70 seconds)
After 138300 nodes, 14570 on tree, 6742.2 best solution, best possible 6734.96 (1028.36 seconds)
After 138400 nodes, 14558 on tree, 6742.2 best solution, best possible 6734.96 (1028.91 seconds)
After 138500 nodes, 14545 on tree, 6742.2 best solution, best possible 6734.96 (1029.56 seconds)
After 138600 nodes, 14538 on tree, 6742.2 best solution, best possible 6734.96 (1030.18 seconds)
After 138700 nodes, 14528 on tree, 6742.2 best solution, best possible 6734.96 (1030.88 seconds)
After 138800 nodes, 14520 on tree, 6742.2 best solution, best possible 6734.96 (1031.54 seconds)
After 138900 nodes, 14510 on tree, 6742.2 best solution, best possible 6734.96 (1032.07 seconds)
After 139000 nodes, 14505 on tree, 6742.2 best solution, best possible 6734.96 (1032.75 seconds)
After 139100 nodes, 14505 on tree, 6742.2 best solution, best possible 6734.96 (1033.36 seconds)
After 139200 nodes, 14491 on tree, 6742.2 best solution, best possible 6734.96 (1033.95 seconds)
After 139300 nodes, 14496 on tree, 6742.2 best solution, best possible 6734.96 (1034.52 seconds)
After 139400 nodes, 14479 on tree, 6742.2 best solution, best possible 6734.96 (1035.18 seconds)
After 139500 nodes, 14466 on tree, 6742.2 best solution, best possible 6734.96 (1035.90 seconds)
After 139600 nodes, 14457 on tree, 6742.2 best solution, best possible 6734.96 (1036.62 seconds)
After 139700 nodes, 14447 on tree, 6742.2 best solution, best possible 6734.96 (1037.23 seconds)
After 139800 nodes, 14438 on tree, 6742.2 best solution, best possible 6734.96 (1037.87 seconds)
After 139900 nodes, 14428 on tree, 6742.2 best solution, best possible 6734.96 (1038.51 seconds)
After 140000 nodes, 14422 on tree, 6742.2 best solution, best possible 6734.96 (1039.13 seconds)
After 140100 nodes, 14383 on tree, 6742.2 best solution, best possible 6734.96 (1039.51 seconds)
After 140200 nodes, 14362 on tree, 6742.2 best solution, best possible 6734.96 (1039.94 seconds)
After 140300 nodes, 14310 on tree, 6742.2 best solution, best possible 6734.96 (1040.53 seconds)
After 140400 nodes, 14305 on tree, 6742.2 best solution, best possible 6734.96 (1040.99 seconds)
After 140500 nodes, 14260 on tree, 6742.2 best solution, best possible 6734.96 (1041.43 seconds)
After 140600 nodes, 14241 on tree, 6742.2 best solution, best possible 6734.96 (1041.85 seconds)
After 140700 nodes, 14244 on tree, 6742.2 best solution, best possible 6734.96 (1042.23 seconds)
After 140800 nodes, 14209 on tree, 6742.2 best solution, best possible 6734.96 (1042.70 seconds)
After 140900 nodes, 14176 on tree, 6742.2 best solution, best possible 6734.96 (1043.42 seconds)
After 141000 nodes, 14149 on tree, 6742.2 best solution, best possible 6734.96 (1043.81 seconds)
After 141100 nodes, 14169 on tree, 6742.2 best solution, best possible 6734.98 (1044.49 seconds)
After 141200 nodes, 14185 on tree, 6742.2 best solution, best possible 6734.99 (1045.11 seconds)
After 141300 nodes, 14199 on tree, 6742.2 best solution, best possible 6735.01 (1045.80 seconds)
After 141400 nodes, 14214 on tree, 6742.2 best solution, best possible 6735.04 (1046.52 seconds)
After 141500 nodes, 14230 on tree, 6742.2 best solution, best possible 6735.06 (1047.11 seconds)
After 141600 nodes, 14248 on tree, 6742.2 best solution, best possible 6735.08 (1047.73 seconds)
After 141700 nodes, 14267 on tree, 6742.2 best solution, best possible 6735.1 (1048.45 seconds)
After 141800 nodes, 14284 on tree, 6742.2 best solution, best possible 6735.12 (1049.11 seconds)
After 141900 nodes, 14297 on tree, 6742.2 best solution, best possible 6735.14 (1049.73 seconds)
After 142000 nodes, 14317 on tree, 6742.2 best solution, best possible 6735.16 (1050.41 seconds)
After 142100 nodes, 14311 on tree, 6742.2 best solution, best possible 6735.16 (1051.01 seconds)
After 142200 nodes, 14309 on tree, 6742.2 best solution, best possible 6735.16 (1051.69 seconds)
After 142300 nodes, 14305 on tree, 6742.2 best solution, best possible 6735.16 (1052.37 seconds)
After 142400 nodes, 14292 on tree, 6742.2 best solution, best possible 6735.16 (1052.99 seconds)
After 142500 nodes, 14277 on tree, 6742.2 best solution, best possible 6735.16 (1053.64 seconds)
After 142600 nodes, 14271 on tree, 6742.2 best solution, best possible 6735.16 (1054.29 seconds)
After 142700 nodes, 14260 on tree, 6742.2 best solution, best possible 6735.16 (1054.84 seconds)
After 142800 nodes, 14255 on tree, 6742.2 best solution, best possible 6735.16 (1055.37 seconds)
After 142900 nodes, 14247 on tree, 6742.2 best solution, best possible 6735.16 (1056.13 seconds)
After 143000 nodes, 14239 on tree, 6742.2 best solution, best possible 6735.16 (1056.78 seconds)
After 143100 nodes, 14235 on tree, 6742.2 best solution, best possible 6735.16 (1057.47 seconds)
After 143200 nodes, 14223 on tree, 6742.2 best solution, best possible 6735.16 (1058.13 seconds)
After 143300 nodes, 14220 on tree, 6742.2 best solution, best possible 6735.16 (1058.72 seconds)
After 143400 nodes, 14213 on tree, 6742.2 best solution, best possible 6735.16 (1059.37 seconds)
After 143500 nodes, 14206 on tree, 6742.2 best solution, best possible 6735.16 (1059.91 seconds)
After 143600 nodes, 14195 on tree, 6742.2 best solution, best possible 6735.16 (1060.61 seconds)
After 143700 nodes, 14185 on tree, 6742.2 best solution, best possible 6735.16 (1061.29 seconds)
After 143800 nodes, 14170 on tree, 6742.2 best solution, best possible 6735.16 (1061.92 seconds)
After 143900 nodes, 14158 on tree, 6742.2 best solution, best possible 6735.16 (1062.48 seconds)
After 144000 nodes, 14151 on tree, 6742.2 best solution, best possible 6735.16 (1063.13 seconds)
After 144100 nodes, 14110 on tree, 6742.2 best solution, best possible 6735.16 (1063.56 seconds)
After 144200 nodes, 14083 on tree, 6742.2 best solution, best possible 6735.16 (1064.09 seconds)
After 144300 nodes, 14064 on tree, 6742.2 best solution, best possible 6735.16 (1064.60 seconds)
After 144400 nodes, 14050 on tree, 6742.2 best solution, best possible 6735.16 (1064.99 seconds)
After 144500 nodes, 14038 on tree, 6742.2 best solution, best possible 6735.16 (1065.36 seconds)
After 144600 nodes, 13997 on tree, 6742.2 best solution, best possible 6735.16 (1066.03 seconds)
After 144700 nodes, 13972 on tree, 6742.2 best solution, best possible 6735.16 (1066.53 seconds)
After 144800 nodes, 13947 on tree, 6742.2 best solution, best possible 6735.16 (1066.94 seconds)
After 144900 nodes, 13919 on tree, 6742.2 best solution, best possible 6735.16 (1067.35 seconds)
After 145000 nodes, 13920 on tree, 6742.2 best solution, best possible 6735.16 (1067.83 seconds)
After 145100 nodes, 13933 on tree, 6742.2 best solution, best possible 6735.18 (1068.41 seconds)
After 145200 nodes, 13949 on tree, 6742.2 best solution, best possible 6735.2 (1069.01 seconds)
After 145300 nodes, 13970 on tree, 6742.2 best solution, best possible 6735.21 (1069.64 seconds)
After 145400 nodes, 13983 on tree, 6742.2 best solution, best possible 6735.24 (1070.27 seconds)
After 145500 nodes, 14003 on tree, 6742.2 best solution, best possible 6735.26 (1070.89 seconds)
After 145600 nodes, 14029 on tree, 6742.2 best solution, best possible 6735.28 (1071.57 seconds)
After 145700 nodes, 14048 on tree, 6742.2 best solution, best possible 6735.3 (1072.22 seconds)
After 145800 nodes, 14070 on tree, 6742.2 best solution, best possible 6735.32 (1072.82 seconds)
After 145900 nodes, 14095 on tree, 6742.2 best solution, best possible 6735.34 (1073.54 seconds)
After 146000 nodes, 14113 on tree, 6742.2 best solution, best possible 6735.37 (1074.18 seconds)
After 146100 nodes, 14103 on tree, 6742.2 best solution, best possible 6735.37 (1074.76 seconds)
After 146200 nodes, 14094 on tree, 6742.2 best solution, best possible 6735.37 (1075.36 seconds)
After 146300 nodes, 14088 on tree, 6742.2 best solution, best possible 6735.37 (1076.01 seconds)
After 146400 nodes, 14076 on tree, 6742.2 best solution, best possible 6735.37 (1076.62 seconds)
After 146500 nodes, 14056 on tree, 6742.2 best solution, best possible 6735.37 (1077.24 seconds)
After 146600 nodes, 14043 on tree, 6742.2 best solution, best possible 6735.37 (1077.87 seconds)
After 146700 nodes, 14034 on tree, 6742.2 best solution, best possible 6735.37 (1078.45 seconds)
After 146800 nodes, 14028 on tree, 6742.2 best solution, best possible 6735.37 (1079.02 seconds)
After 146900 nodes, 14020 on tree, 6742.2 best solution, best possible 6735.37 (1079.67 seconds)
After 147000 nodes, 14017 on tree, 6742.2 best solution, best possible 6735.37 (1080.34 seconds)
After 147100 nodes, 14011 on tree, 6742.2 best solution, best possible 6735.37 (1080.93 seconds)
After 147200 nodes, 14002 on tree, 6742.2 best solution, best possible 6735.37 (1081.65 seconds)
After 147300 nodes, 13999 on tree, 6742.2 best solution, best possible 6735.37 (1082.20 seconds)
After 147400 nodes, 13988 on tree, 6742.2 best solution, best possible 6735.37 (1082.87 seconds)
After 147500 nodes, 13981 on tree, 6742.2 best solution, best possible 6735.37 (1083.66 seconds)
After 147600 nodes, 13966 on tree, 6742.2 best solution, best possible 6735.37 (1084.22 seconds)
After 147700 nodes, 13963 on tree, 6742.2 best solution, best possible 6735.37 (1084.75 seconds)
After 147800 nodes, 13953 on tree, 6742.2 best solution, best possible 6735.37 (1085.41 seconds)
After 147900 nodes, 13947 on tree, 6742.2 best solution, best possible 6735.37 (1085.98 seconds)
After 148000 nodes, 13944 on tree, 6742.2 best solution, best possible 6735.37 (1086.54 seconds)
After 148100 nodes, 13907 on tree, 6742.2 best solution, best possible 6735.37 (1086.94 seconds)
After 148200 nodes, 13876 on tree, 6742.2 best solution, best possible 6735.37 (1087.42 seconds)
After 148300 nodes, 13848 on tree, 6742.2 best solution, best possible 6735.37 (1087.91 seconds)
After 148400 nodes, 13816 on tree, 6742.2 best solution, best possible 6735.37 (1088.29 seconds)
After 148500 nodes, 13812 on tree, 6742.2 best solution, best possible 6735.37 (1088.69 seconds)
After 148600 nodes, 13817 on tree, 6742.2 best solution, best possible 6735.37 (1089.17 seconds)
After 148700 nodes, 13792 on tree, 6742.2 best solution, best possible 6735.37 (1089.61 seconds)
After 148800 nodes, 13738 on tree, 6742.2 best solution, best possible 6735.37 (1090.09 seconds)
After 148900 nodes, 13715 on tree, 6742.2 best solution, best possible 6735.37 (1090.88 seconds)
After 149000 nodes, 13643 on tree, 6742.2 best solution, best possible 6735.37 (1091.44 seconds)
After 149100 nodes, 13656 on tree, 6742.2 best solution, best possible 6735.38 (1092.08 seconds)
After 149200 nodes, 13668 on tree, 6742.2 best solution, best possible 6735.4 (1092.74 seconds)
After 149300 nodes, 13687 on tree, 6742.2 best solution, best possible 6735.42 (1093.40 seconds)
After 149400 nodes, 13709 on tree, 6742.2 best solution, best possible 6735.43 (1094.02 seconds)
After 149500 nodes, 13721 on tree, 6742.2 best solution, best possible 6735.46 (1094.72 seconds)
After 149600 nodes, 13733 on tree, 6742.2 best solution, best possible 6735.47 (1095.46 seconds)
After 149700 nodes, 13751 on tree, 6742.2 best solution, best possible 6735.49 (1096.12 seconds)
After 149800 nodes, 13766 on tree, 6742.2 best solution, best possible 6735.51 (1096.80 seconds)
After 149900 nodes, 13778 on tree, 6742.2 best solution, best possible 6735.53 (1097.46 seconds)
After 150000 nodes, 13792 on tree, 6742.2 best solution, best possible 6735.55 (1098.11 seconds)
After 150100 nodes, 13787 on tree, 6742.2 best solution, best possible 6735.55 (1098.70 seconds)
After 150200 nodes, 13782 on tree, 6742.2 best solution, best possible 6735.55 (1099.31 seconds)
After 150300 nodes, 13782 on tree, 6742.2 best solution, best possible 6735.55 (1099.99 seconds)
After 150400 nodes, 13765 on tree, 6742.2 best solution, best possible 6735.55 (1100.60 seconds)
After 150500 nodes, 13748 on tree, 6742.2 best solution, best possible 6735.55 (1101.23 seconds)
After 150600 nodes, 13735 on tree, 6742.2 best solution, best possible 6735.55 (1101.78 seconds)
After 150700 nodes, 13727 on tree, 6742.2 best solution, best possible 6735.55 (1102.33 seconds)
After 150800 nodes, 13724 on tree, 6742.2 best solution, best possible 6735.55 (1103.02 seconds)
After 150900 nodes, 13711 on tree, 6742.2 best solution, best possible 6735.55 (1103.59 seconds)
After 151000 nodes, 13703 on tree, 6742.2 best solution, best possible 6735.55 (1104.18 seconds)
After 151100 nodes, 13695 on tree, 6742.2 best solution, best possible 6735.55 (1104.89 seconds)
After 151200 nodes, 13680 on tree, 6742.2 best solution, best possible 6735.55 (1105.43 seconds)
After 151300 nodes, 13673 on tree, 6742.2 best solution, best possible 6735.55 (1106.04 seconds)
After 151400 nodes, 13662 on tree, 6742.2 best solution, best possible 6735.55 (1106.67 seconds)
After 151500 nodes, 13652 on tree, 6742.2 best solution, best possible 6735.55 (1107.29 seconds)
After 151600 nodes, 13643 on tree, 6742.2 best solution, best possible 6735.55 (1107.87 seconds)
After 151700 nodes, 13626 on tree, 6742.2 best solution, best possible 6735.55 (1108.49 seconds)
After 151800 nodes, 13615 on tree, 6742.2 best solution, best possible 6735.55 (1109.11 seconds)
After 151900 nodes, 13603 on tree, 6742.2 best solution, best possible 6735.55 (1109.68 seconds)
After 152000 nodes, 13591 on tree, 6742.2 best solution, best possible 6735.55 (1110.22 seconds)
After 152100 nodes, 13553 on tree, 6742.2 best solution, best possible 6735.55 (1110.70 seconds)
After 152200 nodes, 13521 on tree, 6742.2 best solution, best possible 6735.55 (1111.14 seconds)
After 152300 nodes, 13496 on tree, 6742.2 best solution, best possible 6735.55 (1111.65 seconds)
After 152400 nodes, 13502 on tree, 6742.2 best solution, best possible 6735.55 (1112.17 seconds)
After 152500 nodes, 13440 on tree, 6742.2 best solution, best possible 6735.55 (1112.67 seconds)
After 152600 nodes, 13420 on tree, 6742.2 best solution, best possible 6735.55 (1113.11 seconds)
After 152700 nodes, 13390 on tree, 6742.2 best solution, best possible 6735.55 (1113.53 seconds)
After 152800 nodes, 13388 on tree, 6742.2 best solution, best possible 6735.55 (1113.97 seconds)
After 152900 nodes, 13357 on tree, 6742.2 best solution, best possible 6735.55 (1114.41 seconds)
After 153000 nodes, 13356 on tree, 6742.2 best solution, best possible 6735.55 (1114.84 seconds)
After 153100 nodes, 13373 on tree, 6742.2 best solution, best possible 6735.57 (1115.49 seconds)
After 153200 nodes, 13379 on tree, 6742.2 best solution, best possible 6735.59 (1116.09 seconds)
After 153300 nodes, 13396 on tree, 6742.2 best solution, best possible 6735.62 (1116.84 seconds)
After 153400 nodes, 13416 on tree, 6742.2 best solution, best possible 6735.63 (1117.51 seconds)
After 153500 nodes, 13430 on tree, 6742.2 best solution, best possible 6735.66 (1118.13 seconds)
After 153600 nodes, 13443 on tree, 6742.2 best solution, best possible 6735.68 (1118.77 seconds)
After 153700 nodes, 13461 on tree, 6742.2 best solution, best possible 6735.69 (1119.39 seconds)
After 153800 nodes, 13478 on tree, 6742.2 best solution, best possible 6735.71 (1119.97 seconds)
After 153900 nodes, 13494 on tree, 6742.2 best solution, best possible 6735.73 (1120.73 seconds)
After 154000 nodes, 13510 on tree, 6742.2 best solution, best possible 6735.75 (1121.37 seconds)
After 154100 nodes, 13500 on tree, 6742.2 best solution, best possible 6735.75 (1122.01 seconds)
After 154200 nodes, 13483 on tree, 6742.2 best solution, best possible 6735.75 (1122.62 seconds)
After 154300 nodes, 13475 on tree, 6742.2 best solution, best possible 6735.75 (1123.22 seconds)
After 154400 nodes, 13461 on tree, 6742.2 best solution, best possible 6735.75 (1123.83 seconds)
After 154500 nodes, 13446 on tree, 6742.2 best solution, best possible 6735.75 (1124.44 seconds)
After 154600 nodes, 13429 on tree, 6742.2 best solution, best possible 6735.75 (1125.02 seconds)
After 154700 nodes, 13414 on tree, 6742.2 best solution, best possible 6735.75 (1125.64 seconds)
After 154800 nodes, 13404 on tree, 6742.2 best solution, best possible 6735.75 (1126.33 seconds)
After 154900 nodes, 13401 on tree, 6742.2 best solution, best possible 6735.75 (1126.87 seconds)
After 155000 nodes, 13395 on tree, 6742.2 best solution, best possible 6735.75 (1127.43 seconds)
After 155100 nodes, 13380 on tree, 6742.2 best solution, best possible 6735.75 (1127.99 seconds)
After 155200 nodes, 13377 on tree, 6742.2 best solution, best possible 6735.75 (1128.63 seconds)
After 155300 nodes, 13371 on tree, 6742.2 best solution, best possible 6735.75 (1129.21 seconds)
After 155400 nodes, 13363 on tree, 6742.2 best solution, best possible 6735.75 (1129.83 seconds)
After 155500 nodes, 13363 on tree, 6742.2 best solution, best possible 6735.75 (1130.41 seconds)
After 155600 nodes, 13358 on tree, 6742.2 best solution, best possible 6735.75 (1131.00 seconds)
After 155700 nodes, 13352 on tree, 6742.2 best solution, best possible 6735.75 (1131.54 seconds)
After 155800 nodes, 13346 on tree, 6742.2 best solution, best possible 6735.75 (1132.22 seconds)
After 155900 nodes, 13334 on tree, 6742.2 best solution, best possible 6735.75 (1132.87 seconds)
After 156000 nodes, 13325 on tree, 6742.2 best solution, best possible 6735.75 (1133.47 seconds)
After 156100 nodes, 13288 on tree, 6742.2 best solution, best possible 6735.75 (1133.89 seconds)
After 156200 nodes, 13255 on tree, 6742.2 best solution, best possible 6735.75 (1134.35 seconds)
After 156300 nodes, 13237 on tree, 6742.2 best solution, best possible 6735.75 (1134.77 seconds)
After 156400 nodes, 13177 on tree, 6742.2 best solution, best possible 6735.75 (1135.28 seconds)
After 156500 nodes, 13154 on tree, 6742.2 best solution, best possible 6735.75 (1135.71 seconds)
After 156600 nodes, 13136 on tree, 6742.2 best solution, best possible 6735.75 (1136.28 seconds)
After 156700 nodes, 13133 on tree, 6742.2 best solution, best possible 6735.75 (1136.66 seconds)
After 156800 nodes, 13096 on tree, 6742.2 best solution, best possible 6735.75 (1137.06 seconds)
After 156900 nodes, 13074 on tree, 6742.2 best solution, best possible 6735.75 (1137.65 seconds)
After 157000 nodes, 13039 on tree, 6742.2 best solution, best possible 6735.75 (1138.21 seconds)
After 157100 nodes, 13049 on tree, 6742.2 best solution, best possible 6735.76 (1138.81 seconds)
After 157200 nodes, 13062 on tree, 6742.2 best solution, best possible 6735.78 (1139.40 seconds)
After 157300 nodes, 13069 on tree, 6742.2 best solution, best possible 6735.8 (1140.11 seconds)
After 157400 nodes, 13088 on tree, 6742.2 best solution, best possible 6735.82 (1140.73 seconds)
After 157500 nodes, 13102 on tree, 6742.2 best solution, best possible 6735.84 (1141.37 seconds)
After 157600 nodes, 13113 on tree, 6742.2 best solution, best possible 6735.86 (1141.98 seconds)
After 157700 nodes, 13126 on tree, 6742.2 best solution, best possible 6735.87 (1142.62 seconds)
After 157800 nodes, 13140 on tree, 6742.2 best solution, best possible 6735.89 (1143.27 seconds)
After 157900 nodes, 13154 on tree, 6742.2 best solution, best possible 6735.92 (1143.97 seconds)
After 158000 nodes, 13169 on tree, 6742.2 best solution, best possible 6735.93 (1144.59 seconds)
After 158100 nodes, 13168 on tree, 6742.2 best solution, best possible 6735.93 (1145.14 seconds)
After 158200 nodes, 13153 on tree, 6742.2 best solution, best possible 6735.93 (1145.78 seconds)
After 158300 nodes, 13147 on tree, 6742.2 best solution, best possible 6735.93 (1146.28 seconds)
After 158400 nodes, 13126 on tree, 6742.2 best solution, best possible 6735.93 (1146.90 seconds)
After 158500 nodes, 13108 on tree, 6742.2 best solution, best possible 6735.93 (1147.52 seconds)
After 158600 nodes, 13084 on tree, 6742.2 best solution, best possible 6735.93 (1148.22 seconds)
After 158700 nodes, 13069 on tree, 6742.2 best solution, best possible 6735.93 (1148.76 seconds)
After 158800 nodes, 13057 on tree, 6742.2 best solution, best possible 6735.93 (1149.38 seconds)
After 158900 nodes, 13046 on tree, 6742.2 best solution, best possible 6735.93 (1150.02 seconds)
After 159000 nodes, 13036 on tree, 6742.2 best solution, best possible 6735.93 (1150.64 seconds)
After 159100 nodes, 13024 on tree, 6742.2 best solution, best possible 6735.93 (1151.21 seconds)
After 159200 nodes, 13011 on tree, 6742.2 best solution, best possible 6735.93 (1151.90 seconds)
After 159300 nodes, 13001 on tree, 6742.2 best solution, best possible 6735.93 (1152.48 seconds)
After 159400 nodes, 12991 on tree, 6742.2 best solution, best possible 6735.93 (1153.08 seconds)
After 159500 nodes, 12980 on tree, 6742.2 best solution, best possible 6735.93 (1153.73 seconds)
After 159600 nodes, 12977 on tree, 6742.2 best solution, best possible 6735.93 (1154.35 seconds)
After 159700 nodes, 12964 on tree, 6742.2 best solution, best possible 6735.93 (1155.02 seconds)
After 159800 nodes, 12953 on tree, 6742.2 best solution, best possible 6735.93 (1155.78 seconds)
After 159900 nodes, 12939 on tree, 6742.2 best solution, best possible 6735.93 (1156.37 seconds)
After 160000 nodes, 12936 on tree, 6742.2 best solution, best possible 6735.93 (1156.95 seconds)
After 160100 nodes, 12897 on tree, 6742.2 best solution, best possible 6735.93 (1157.37 seconds)
After 160200 nodes, 12863 on tree, 6742.2 best solution, best possible 6735.93 (1157.92 seconds)
After 160300 nodes, 12859 on tree, 6742.2 best solution, best possible 6735.93 (1158.31 seconds)
After 160400 nodes, 12827 on tree, 6742.2 best solution, best possible 6735.93 (1158.72 seconds)
After 160500 nodes, 12827 on tree, 6742.2 best solution, best possible 6735.93 (1159.10 seconds)
After 160600 nodes, 12781 on tree, 6742.2 best solution, best possible 6735.93 (1159.54 seconds)
After 160700 nodes, 12790 on tree, 6742.2 best solution, best possible 6735.93 (1159.99 seconds)
After 160800 nodes, 12798 on tree, 6742.2 best solution, best possible 6735.93 (1160.43 seconds)
After 160900 nodes, 12730 on tree, 6742.2 best solution, best possible 6735.93 (1160.84 seconds)
After 161000 nodes, 12705 on tree, 6742.2 best solution, best possible 6735.93 (1161.62 seconds)
After 161100 nodes, 12722 on tree, 6742.2 best solution, best possible 6735.96 (1162.22 seconds)
After 161200 nodes, 12737 on tree, 6742.2 best solution, best possible 6735.98 (1162.90 seconds)
After 161300 nodes, 12746 on tree, 6742.2 best solution, best possible 6736 (1163.60 seconds)
After 161400 nodes, 12757 on tree, 6742.2 best solution, best possible 6736.03 (1164.22 seconds)
After 161500 nodes, 12774 on tree, 6742.2 best solution, best possible 6736.05 (1164.76 seconds)
After 161600 nodes, 12788 on tree, 6742.2 best solution, best possible 6736.07 (1165.42 seconds)
After 161700 nodes, 12802 on tree, 6742.2 best solution, best possible 6736.09 (1166.06 seconds)
After 161800 nodes, 12814 on tree, 6742.2 best solution, best possible 6736.11 (1166.70 seconds)
After 161900 nodes, 12828 on tree, 6742.2 best solution, best possible 6736.13 (1167.34 seconds)
After 162000 nodes, 12836 on tree, 6742.2 best solution, best possible 6736.16 (1167.94 seconds)
After 162100 nodes, 12822 on tree, 6742.2 best solution, best possible 6736.16 (1168.48 seconds)
After 162200 nodes, 12811 on tree, 6742.2 best solution, best possible 6736.16 (1169.03 seconds)
After 162300 nodes, 12796 on tree, 6742.2 best solution, best possible 6736.16 (1169.65 seconds)
After 162400 nodes, 12780 on tree, 6742.2 best solution, best possible 6736.16 (1170.22 seconds)
After 162500 nodes, 12767 on tree, 6742.2 best solution, best possible 6736.16 (1170.78 seconds)
After 162600 nodes, 12755 on tree, 6742.2 best solution, best possible 6736.16 (1171.42 seconds)
After 162700 nodes, 12742 on tree, 6742.2 best solution, best possible 6736.16 (1172.03 seconds)
After 162800 nodes, 12731 on tree, 6742.2 best solution, best possible 6736.16 (1172.61 seconds)
After 162900 nodes, 12719 on tree, 6742.2 best solution, best possible 6736.16 (1173.26 seconds)
After 163000 nodes, 12712 on tree, 6742.2 best solution, best possible 6736.16 (1173.89 seconds)
After 163100 nodes, 12704 on tree, 6742.2 best solution, best possible 6736.16 (1174.45 seconds)
After 163200 nodes, 12688 on tree, 6742.2 best solution, best possible 6736.16 (1175.09 seconds)
After 163300 nodes, 12679 on tree, 6742.2 best solution, best possible 6736.16 (1175.65 seconds)
After 163400 nodes, 12669 on tree, 6742.2 best solution, best possible 6736.16 (1176.17 seconds)
After 163500 nodes, 12660 on tree, 6742.2 best solution, best possible 6736.16 (1176.77 seconds)
After 163600 nodes, 12645 on tree, 6742.2 best solution, best possible 6736.16 (1177.41 seconds)
After 163700 nodes, 12632 on tree, 6742.2 best solution, best possible 6736.16 (1178.07 seconds)
After 163800 nodes, 12622 on tree, 6742.2 best solution, best possible 6736.16 (1178.66 seconds)
After 163900 nodes, 12612 on tree, 6742.2 best solution, best possible 6736.16 (1179.36 seconds)
After 164000 nodes, 12598 on tree, 6742.2 best solution, best possible 6736.16 (1179.98 seconds)
After 164100 nodes, 12562 on tree, 6742.2 best solution, best possible 6736.16 (1180.41 seconds)
After 164200 nodes, 12535 on tree, 6742.2 best solution, best possible 6736.16 (1180.90 seconds)
After 164300 nodes, 12490 on tree, 6742.2 best solution, best possible 6736.16 (1181.53 seconds)
After 164400 nodes, 12427 on tree, 6742.2 best solution, best possible 6736.16 (1182.05 seconds)
After 164500 nodes, 12433 on tree, 6742.2 best solution, best possible 6736.16 (1182.56 seconds)
After 164600 nodes, 12378 on tree, 6742.2 best solution, best possible 6736.16 (1183.01 seconds)
After 164700 nodes, 12355 on tree, 6742.2 best solution, best possible 6736.16 (1183.46 seconds)
After 164800 nodes, 12357 on tree, 6742.2 best solution, best possible 6736.16 (1183.88 seconds)
After 164900 nodes, 12295 on tree, 6742.2 best solution, best possible 6736.16 (1184.32 seconds)
After 165000 nodes, 12305 on tree, 6742.2 best solution, best possible 6736.16 (1184.73 seconds)
After 165100 nodes, 12315 on tree, 6742.2 best solution, best possible 6736.17 (1185.39 seconds)
After 165200 nodes, 12329 on tree, 6742.2 best solution, best possible 6736.19 (1185.96 seconds)
After 165300 nodes, 12338 on tree, 6742.2 best solution, best possible 6736.22 (1186.61 seconds)
After 165400 nodes, 12358 on tree, 6742.2 best solution, best possible 6736.24 (1187.25 seconds)
After 165500 nodes, 12372 on tree, 6742.2 best solution, best possible 6736.26 (1187.85 seconds)
After 165600 nodes, 12383 on tree, 6742.2 best solution, best possible 6736.28 (1188.53 seconds)
After 165700 nodes, 12393 on tree, 6742.2 best solution, best possible 6736.3 (1189.17 seconds)
After 165800 nodes, 12403 on tree, 6742.2 best solution, best possible 6736.32 (1189.81 seconds)
After 165900 nodes, 12417 on tree, 6742.2 best solution, best possible 6736.34 (1190.40 seconds)
After 166000 nodes, 12423 on tree, 6742.2 best solution, best possible 6736.36 (1191.07 seconds)
After 166100 nodes, 12414 on tree, 6742.2 best solution, best possible 6736.36 (1191.59 seconds)
After 166200 nodes, 12404 on tree, 6742.2 best solution, best possible 6736.36 (1192.13 seconds)
After 166300 nodes, 12387 on tree, 6742.2 best solution, best possible 6736.36 (1192.83 seconds)
After 166400 nodes, 12374 on tree, 6742.2 best solution, best possible 6736.36 (1193.41 seconds)
After 166500 nodes, 12361 on tree, 6742.2 best solution, best possible 6736.36 (1193.96 seconds)
After 166600 nodes, 12347 on tree, 6742.2 best solution, best possible 6736.36 (1194.52 seconds)
After 166700 nodes, 12334 on tree, 6742.2 best solution, best possible 6736.36 (1195.14 seconds)
After 166800 nodes, 12327 on tree, 6742.2 best solution, best possible 6736.36 (1195.73 seconds)
After 166900 nodes, 12319 on tree, 6742.2 best solution, best possible 6736.36 (1196.34 seconds)
After 167000 nodes, 12310 on tree, 6742.2 best solution, best possible 6736.36 (1196.94 seconds)
After 167100 nodes, 12299 on tree, 6742.2 best solution, best possible 6736.36 (1197.60 seconds)
After 167200 nodes, 12295 on tree, 6742.2 best solution, best possible 6736.36 (1198.15 seconds)
After 167300 nodes, 12280 on tree, 6742.2 best solution, best possible 6736.36 (1198.78 seconds)
After 167400 nodes, 12269 on tree, 6742.2 best solution, best possible 6736.36 (1199.38 seconds)
After 167500 nodes, 12253 on tree, 6742.2 best solution, best possible 6736.36 (1199.96 seconds)
After 167600 nodes, 12244 on tree, 6742.2 best solution, best possible 6736.36 (1200.49 seconds)
After 167700 nodes, 12234 on tree, 6742.2 best solution, best possible 6736.36 (1201.20 seconds)
After 167800 nodes, 12219 on tree, 6742.2 best solution, best possible 6736.36 (1201.77 seconds)
After 167900 nodes, 12202 on tree, 6742.2 best solution, best possible 6736.36 (1202.36 seconds)
After 168000 nodes, 12190 on tree, 6742.2 best solution, best possible 6736.36 (1202.98 seconds)
After 168100 nodes, 12156 on tree, 6742.2 best solution, best possible 6736.36 (1203.37 seconds)
After 168200 nodes, 12129 on tree, 6742.2 best solution, best possible 6736.36 (1203.84 seconds)
After 168300 nodes, 12088 on tree, 6742.2 best solution, best possible 6736.36 (1204.26 seconds)
After 168400 nodes, 12090 on tree, 6742.2 best solution, best possible 6736.36 (1204.72 seconds)
After 168500 nodes, 12061 on tree, 6742.2 best solution, best possible 6736.36 (1205.10 seconds)
After 168600 nodes, 12006 on tree, 6742.2 best solution, best possible 6736.36 (1205.75 seconds)
After 168700 nodes, 11979 on tree, 6742.2 best solution, best possible 6736.36 (1206.20 seconds)
After 168800 nodes, 11956 on tree, 6742.2 best solution, best possible 6736.36 (1206.70 seconds)
After 168900 nodes, 11947 on tree, 6742.2 best solution, best possible 6736.36 (1207.10 seconds)
After 169000 nodes, 11896 on tree, 6742.2 best solution, best possible 6736.36 (1207.67 seconds)
After 169100 nodes, 11909 on tree, 6742.2 best solution, best possible 6736.38 (1208.29 seconds)
After 169200 nodes, 11924 on tree, 6742.2 best solution, best possible 6736.4 (1208.94 seconds)
After 169300 nodes, 11939 on tree, 6742.2 best solution, best possible 6736.42 (1209.56 seconds)
After 169400 nodes, 11950 on tree, 6742.2 best solution, best possible 6736.44 (1210.24 seconds)
After 169500 nodes, 11970 on tree, 6742.2 best solution, best possible 6736.45 (1210.91 seconds)
After 169600 nodes, 11995 on tree, 6742.2 best solution, best possible 6736.47 (1211.54 seconds)
After 169700 nodes, 12001 on tree, 6742.2 best solution, best possible 6736.5 (1212.11 seconds)
After 169800 nodes, 12014 on tree, 6742.2 best solution, best possible 6736.51 (1212.86 seconds)
After 169900 nodes, 12027 on tree, 6742.2 best solution, best possible 6736.53 (1213.44 seconds)
After 170000 nodes, 12037 on tree, 6742.2 best solution, best possible 6736.55 (1214.02 seconds)
After 170100 nodes, 12022 on tree, 6742.2 best solution, best possible 6736.55 (1214.63 seconds)
After 170200 nodes, 12008 on tree, 6742.2 best solution, best possible 6736.55 (1215.16 seconds)
After 170300 nodes, 11989 on tree, 6742.2 best solution, best possible 6736.55 (1215.72 seconds)
After 170400 nodes, 11980 on tree, 6742.2 best solution, best possible 6736.55 (1216.32 seconds)
After 170500 nodes, 11959 on tree, 6742.2 best solution, best possible 6736.55 (1216.87 seconds)
After 170600 nodes, 11944 on tree, 6742.2 best solution, best possible 6736.55 (1217.41 seconds)
After 170700 nodes, 11926 on tree, 6742.2 best solution, best possible 6736.55 (1217.97 seconds)
After 170800 nodes, 11907 on tree, 6742.2 best solution, best possible 6736.55 (1218.72 seconds)
After 170900 nodes, 11894 on tree, 6742.2 best solution, best possible 6736.55 (1219.34 seconds)
After 171000 nodes, 11888 on tree, 6742.2 best solution, best possible 6736.55 (1219.94 seconds)
After 171100 nodes, 11877 on tree, 6742.2 best solution, best possible 6736.55 (1220.56 seconds)
After 171200 nodes, 11867 on tree, 6742.2 best solution, best possible 6736.55 (1221.14 seconds)
After 171300 nodes, 11851 on tree, 6742.2 best solution, best possible 6736.55 (1221.71 seconds)
After 171400 nodes, 11843 on tree, 6742.2 best solution, best possible 6736.55 (1222.27 seconds)
After 171500 nodes, 11833 on tree, 6742.2 best solution, best possible 6736.55 (1222.82 seconds)
After 171600 nodes, 11823 on tree, 6742.2 best solution, best possible 6736.55 (1223.42 seconds)
After 171700 nodes, 11813 on tree, 6742.2 best solution, best possible 6736.55 (1224.00 seconds)
After 171800 nodes, 11802 on tree, 6742.2 best solution, best possible 6736.55 (1224.56 seconds)
After 171900 nodes, 11782 on tree, 6742.2 best solution, best possible 6736.55 (1225.26 seconds)
After 172000 nodes, 11769 on tree, 6742.2 best solution, best possible 6736.55 (1225.92 seconds)
After 172100 nodes, 11739 on tree, 6742.2 best solution, best possible 6736.55 (1226.30 seconds)
After 172200 nodes, 11704 on tree, 6742.2 best solution, best possible 6736.55 (1226.75 seconds)
After 172300 nodes, 11675 on tree, 6742.2 best solution, best possible 6736.55 (1227.21 seconds)
After 172400 nodes, 11663 on tree, 6742.2 best solution, best possible 6736.55 (1227.62 seconds)
After 172500 nodes, 11622 on tree, 6742.2 best solution, best possible 6736.55 (1228.13 seconds)
After 172600 nodes, 11627 on tree, 6742.2 best solution, best possible 6736.55 (1228.52 seconds)
After 172700 nodes, 11585 on tree, 6742.2 best solution, best possible 6736.55 (1228.90 seconds)
After 172800 nodes, 11585 on tree, 6742.2 best solution, best possible 6736.55 (1229.29 seconds)
After 172900 nodes, 11594 on tree, 6742.2 best solution, best possible 6736.55 (1229.69 seconds)
After 173000 nodes, 11594 on tree, 6742.2 best solution, best possible 6736.55 (1230.12 seconds)
After 173100 nodes, 11605 on tree, 6742.2 best solution, best possible 6736.57 (1230.72 seconds)
After 173200 nodes, 11615 on tree, 6742.2 best solution, best possible 6736.59 (1231.32 seconds)
After 173300 nodes, 11632 on tree, 6742.2 best solution, best possible 6736.61 (1231.93 seconds)
After 173400 nodes, 11644 on tree, 6742.2 best solution, best possible 6736.63 (1232.51 seconds)
After 173500 nodes, 11650 on tree, 6742.2 best solution, best possible 6736.65 (1233.14 seconds)
After 173600 nodes, 11660 on tree, 6742.2 best solution, best possible 6736.67 (1233.70 seconds)
After 173700 nodes, 11664 on tree, 6742.2 best solution, best possible 6736.69 (1234.37 seconds)
After 173800 nodes, 11678 on tree, 6742.2 best solution, best possible 6736.71 (1234.97 seconds)
After 173900 nodes, 11681 on tree, 6742.2 best solution, best possible 6736.73 (1235.70 seconds)
After 174000 nodes, 11693 on tree, 6742.2 best solution, best possible 6736.75 (1236.36 seconds)
After 174100 nodes, 11679 on tree, 6742.2 best solution, best possible 6736.75 (1236.96 seconds)
After 174200 nodes, 11657 on tree, 6742.2 best solution, best possible 6736.75 (1237.50 seconds)
After 174300 nodes, 11640 on tree, 6742.2 best solution, best possible 6736.75 (1238.17 seconds)
After 174400 nodes, 11628 on tree, 6742.2 best solution, best possible 6736.75 (1238.73 seconds)
After 174500 nodes, 11615 on tree, 6742.2 best solution, best possible 6736.75 (1239.36 seconds)
After 174600 nodes, 11605 on tree, 6742.2 best solution, best possible 6736.75 (1239.95 seconds)
After 174700 nodes, 11588 on tree, 6742.2 best solution, best possible 6736.75 (1240.46 seconds)
After 174800 nodes, 11578 on tree, 6742.2 best solution, best possible 6736.75 (1241.10 seconds)
After 174900 nodes, 11567 on tree, 6742.2 best solution, best possible 6736.75 (1241.78 seconds)
After 175000 nodes, 11556 on tree, 6742.2 best solution, best possible 6736.75 (1242.34 seconds)
After 175100 nodes, 11547 on tree, 6742.2 best solution, best possible 6736.75 (1242.97 seconds)
After 175200 nodes, 11534 on tree, 6742.2 best solution, best possible 6736.75 (1243.60 seconds)
After 175300 nodes, 11519 on tree, 6742.2 best solution, best possible 6736.75 (1244.23 seconds)
After 175400 nodes, 11513 on tree, 6742.2 best solution, best possible 6736.75 (1244.77 seconds)
After 175500 nodes, 11494 on tree, 6742.2 best solution, best possible 6736.75 (1245.35 seconds)
After 175600 nodes, 11485 on tree, 6742.2 best solution, best possible 6736.75 (1245.99 seconds)
After 175700 nodes, 11466 on tree, 6742.2 best solution, best possible 6736.75 (1246.53 seconds)
After 175800 nodes, 11454 on tree, 6742.2 best solution, best possible 6736.75 (1247.14 seconds)
After 175900 nodes, 11439 on tree, 6742.2 best solution, best possible 6736.75 (1247.72 seconds)
After 176000 nodes, 11422 on tree, 6742.2 best solution, best possible 6736.75 (1248.29 seconds)
After 176100 nodes, 11384 on tree, 6742.2 best solution, best possible 6736.75 (1248.69 seconds)
After 176200 nodes, 11351 on tree, 6742.2 best solution, best possible 6736.75 (1249.18 seconds)
After 176300 nodes, 11293 on tree, 6742.2 best solution, best possible 6736.75 (1249.63 seconds)
After 176400 nodes, 11265 on tree, 6742.2 best solution, best possible 6736.75 (1250.21 seconds)
After 176500 nodes, 11195 on tree, 6742.2 best solution, best possible 6736.75 (1250.76 seconds)
After 176600 nodes, 11171 on tree, 6742.2 best solution, best possible 6736.75 (1251.30 seconds)
After 176700 nodes, 11153 on tree, 6742.2 best solution, best possible 6736.75 (1251.86 seconds)
After 176800 nodes, 11108 on tree, 6742.2 best solution, best possible 6736.75 (1252.30 seconds)
After 176900 nodes, 11097 on tree, 6742.2 best solution, best possible 6736.75 (1252.74 seconds)
After 177000 nodes, 11042 on tree, 6742.2 best solution, best possible 6736.75 (1253.13 seconds)
After 177100 nodes, 11059 on tree, 6742.2 best solution, best possible 6736.78 (1253.77 seconds)
After 177200 nodes, 11069 on tree, 6742.2 best solution, best possible 6736.8 (1254.38 seconds)
After 177300 nodes, 11082 on tree, 6742.2 best solution, best possible 6736.82 (1255.03 seconds)
After 177400 nodes, 11093 on tree, 6742.2 best solution, best possible 6736.84 (1255.67 seconds)
After 177500 nodes, 11102 on tree, 6742.2 best solution, best possible 6736.86 (1256.31 seconds)
After 177600 nodes, 11116 on tree, 6742.2 best solution, best possible 6736.88 (1256.91 seconds)
After 177700 nodes, 11125 on tree, 6742.2 best solution, best possible 6736.9 (1257.54 seconds)
After 177800 nodes, 11136 on tree, 6742.2 best solution, best possible 6736.92 (1258.13 seconds)
After 177900 nodes, 11142 on tree, 6742.2 best solution, best possible 6736.94 (1258.70 seconds)
After 178000 nodes, 11148 on tree, 6742.2 best solution, best possible 6736.96 (1259.29 seconds)
After 178100 nodes, 11135 on tree, 6742.2 best solution, best possible 6736.96 (1259.84 seconds)
After 178200 nodes, 11112 on tree, 6742.2 best solution, best possible 6736.96 (1260.33 seconds)
After 178300 nodes, 11093 on tree, 6742.2 best solution, best possible 6736.96 (1260.95 seconds)
After 178400 nodes, 11075 on tree, 6742.2 best solution, best possible 6736.96 (1261.57 seconds)
After 178500 nodes, 11056 on tree, 6742.2 best solution, best possible 6736.96 (1262.10 seconds)
After 178600 nodes, 11038 on tree, 6742.2 best solution, best possible 6736.96 (1262.63 seconds)
After 178700 nodes, 11026 on tree, 6742.2 best solution, best possible 6736.96 (1263.18 seconds)
After 178800 nodes, 11008 on tree, 6742.2 best solution, best possible 6736.96 (1263.86 seconds)
After 178900 nodes, 10995 on tree, 6742.2 best solution, best possible 6736.96 (1264.39 seconds)
After 179000 nodes, 10989 on tree, 6742.2 best solution, best possible 6736.96 (1265.00 seconds)
After 179100 nodes, 10985 on tree, 6742.2 best solution, best possible 6736.96 (1265.57 seconds)
After 179200 nodes, 10971 on tree, 6742.2 best solution, best possible 6736.96 (1266.09 seconds)
After 179300 nodes, 10954 on tree, 6742.2 best solution, best possible 6736.96 (1266.64 seconds)
After 179400 nodes, 10943 on tree, 6742.2 best solution, best possible 6736.96 (1267.13 seconds)
After 179500 nodes, 10928 on tree, 6742.2 best solution, best possible 6736.96 (1267.78 seconds)
After 179600 nodes, 10916 on tree, 6742.2 best solution, best possible 6736.96 (1268.29 seconds)
After 179700 nodes, 10899 on tree, 6742.2 best solution, best possible 6736.96 (1268.78 seconds)
After 179800 nodes, 10891 on tree, 6742.2 best solution, best possible 6736.96 (1269.38 seconds)
After 179900 nodes, 10884 on tree, 6742.2 best solution, best possible 6736.96 (1269.92 seconds)
After 180000 nodes, 10871 on tree, 6742.2 best solution, best possible 6736.96 (1270.48 seconds)
After 180100 nodes, 10834 on tree, 6742.2 best solution, best possible 6736.96 (1270.88 seconds)
After 180200 nodes, 10802 on tree, 6742.2 best solution, best possible 6736.96 (1271.33 seconds)
After 180300 nodes, 10800 on tree, 6742.2 best solution, best possible 6736.96 (1271.79 seconds)
After 180400 nodes, 10771 on tree, 6742.2 best solution, best possible 6736.96 (1272.20 seconds)
After 180500 nodes, 10760 on tree, 6742.2 best solution, best possible 6736.96 (1272.59 seconds)
After 180600 nodes, 10700 on tree, 6742.2 best solution, best possible 6736.96 (1273.26 seconds)
After 180700 nodes, 10679 on tree, 6742.2 best solution, best possible 6736.96 (1273.71 seconds)
After 180800 nodes, 10656 on tree, 6742.2 best solution, best possible 6736.96 (1274.15 seconds)
After 180900 nodes, 10651 on tree, 6742.2 best solution, best possible 6736.96 (1274.51 seconds)
After 181000 nodes, 10614 on tree, 6742.2 best solution, best possible 6736.96 (1275.15 seconds)
After 181100 nodes, 10629 on tree, 6742.2 best solution, best possible 6736.98 (1275.77 seconds)
After 181200 nodes, 10640 on tree, 6742.2 best solution, best possible 6737.01 (1276.35 seconds)
After 181300 nodes, 10647 on tree, 6742.2 best solution, best possible 6737.03 (1277.06 seconds)
After 181400 nodes, 10648 on tree, 6742.2 best solution, best possible 6737.05 (1277.70 seconds)
After 181500 nodes, 10660 on tree, 6742.2 best solution, best possible 6737.07 (1278.30 seconds)
After 181600 nodes, 10665 on tree, 6742.2 best solution, best possible 6737.09 (1278.91 seconds)
After 181700 nodes, 10668 on tree, 6742.2 best solution, best possible 6737.11 (1279.60 seconds)
After 181800 nodes, 10674 on tree, 6742.2 best solution, best possible 6737.12 (1280.23 seconds)
After 181900 nodes, 10685 on tree, 6742.2 best solution, best possible 6737.14 (1280.84 seconds)
After 182000 nodes, 10689 on tree, 6742.2 best solution, best possible 6737.16 (1281.56 seconds)
After 182100 nodes, 10681 on tree, 6742.2 best solution, best possible 6737.16 (1282.05 seconds)
After 182200 nodes, 10669 on tree, 6742.2 best solution, best possible 6737.16 (1282.64 seconds)
After 182300 nodes, 10654 on tree, 6742.2 best solution, best possible 6737.16 (1283.27 seconds)
After 182400 nodes, 10638 on tree, 6742.2 best solution, best possible 6737.16 (1283.80 seconds)
After 182500 nodes, 10620 on tree, 6742.2 best solution, best possible 6737.16 (1284.28 seconds)
After 182600 nodes, 10599 on tree, 6742.2 best solution, best possible 6737.16 (1284.92 seconds)
After 182700 nodes, 10584 on tree, 6742.2 best solution, best possible 6737.16 (1285.38 seconds)
After 182800 nodes, 10575 on tree, 6742.2 best solution, best possible 6737.16 (1285.90 seconds)
After 182900 nodes, 10560 on tree, 6742.2 best solution, best possible 6737.16 (1286.54 seconds)
After 183000 nodes, 10547 on tree, 6742.2 best solution, best possible 6737.16 (1287.18 seconds)
After 183100 nodes, 10530 on tree, 6742.2 best solution, best possible 6737.16 (1287.71 seconds)
After 183200 nodes, 10515 on tree, 6742.2 best solution, best possible 6737.16 (1288.24 seconds)
After 183300 nodes, 10506 on tree, 6742.2 best solution, best possible 6737.16 (1288.86 seconds)
After 183400 nodes, 10490 on tree, 6742.2 best solution, best possible 6737.16 (1289.42 seconds)
After 183500 nodes, 10481 on tree, 6742.2 best solution, best possible 6737.16 (1289.97 seconds)
After 183600 nodes, 10467 on tree, 6742.2 best solution, best possible 6737.16 (1290.57 seconds)
After 183700 nodes, 10457 on tree, 6742.2 best solution, best possible 6737.16 (1291.23 seconds)
After 183800 nodes, 10446 on tree, 6742.2 best solution, best possible 6737.16 (1291.80 seconds)
After 183900 nodes, 10430 on tree, 6742.2 best solution, best possible 6737.16 (1292.40 seconds)
After 184000 nodes, 10423 on tree, 6742.2 best solution, best possible 6737.16 (1293.04 seconds)
After 184100 nodes, 10384 on tree, 6742.2 best solution, best possible 6737.16 (1293.42 seconds)
After 184200 nodes, 10349 on tree, 6742.2 best solution, best possible 6737.16 (1293.87 seconds)
After 184300 nodes, 10323 on tree, 6742.2 best solution, best possible 6737.16 (1294.36 seconds)
After 184400 nodes, 10280 on tree, 6742.2 best solution, best possible 6737.16 (1294.80 seconds)
After 184500 nodes, 10284 on tree, 6742.2 best solution, best possible 6737.16 (1295.24 seconds)
After 184600 nodes, 10236 on tree, 6742.2 best solution, best possible 6737.16 (1295.68 seconds)
After 184700 nodes, 10228 on tree, 6742.2 best solution, best possible 6737.16 (1296.10 seconds)
After 184800 nodes, 10198 on tree, 6742.2 best solution, best possible 6737.16 (1296.61 seconds)
After 184900 nodes, 10202 on tree, 6742.2 best solution, best possible 6737.16 (1297.06 seconds)
After 185000 nodes, 10207 on tree, 6742.2 best solution, best possible 6737.16 (1297.46 seconds)
After 185100 nodes, 10217 on tree, 6742.2 best solution, best possible 6737.19 (1298.03 seconds)
After 185200 nodes, 10225 on tree, 6742.2 best solution, best possible 6737.21 (1298.70 seconds)
After 185300 nodes, 10235 on tree, 6742.2 best solution, best possible 6737.23 (1299.27 seconds)
After 185400 nodes, 10241 on tree, 6742.2 best solution, best possible 6737.26 (1299.87 seconds)
After 185500 nodes, 10251 on tree, 6742.2 best solution, best possible 6737.28 (1300.61 seconds)
After 185600 nodes, 10265 on tree, 6742.2 best solution, best possible 6737.3 (1301.19 seconds)
After 185700 nodes, 10280 on tree, 6742.2 best solution, best possible 6737.32 (1301.78 seconds)
After 185800 nodes, 10278 on tree, 6742.2 best solution, best possible 6737.35 (1302.53 seconds)
After 185900 nodes, 10292 on tree, 6742.2 best solution, best possible 6737.36 (1303.12 seconds)
After 186000 nodes, 10296 on tree, 6742.2 best solution, best possible 6737.38 (1303.69 seconds)
After 186100 nodes, 10283 on tree, 6742.2 best solution, best possible 6737.38 (1304.25 seconds)
After 186200 nodes, 10265 on tree, 6742.2 best solution, best possible 6737.38 (1304.82 seconds)
After 186300 nodes, 10243 on tree, 6742.2 best solution, best possible 6737.38 (1305.35 seconds)
After 186400 nodes, 10219 on tree, 6742.2 best solution, best possible 6737.38 (1305.85 seconds)
After 186500 nodes, 10198 on tree, 6742.2 best solution, best possible 6737.38 (1306.47 seconds)
After 186600 nodes, 10181 on tree, 6742.2 best solution, best possible 6737.38 (1306.97 seconds)
After 186700 nodes, 10168 on tree, 6742.2 best solution, best possible 6737.38 (1307.50 seconds)
After 186800 nodes, 10152 on tree, 6742.2 best solution, best possible 6737.38 (1308.17 seconds)
After 186900 nodes, 10139 on tree, 6742.2 best solution, best possible 6737.38 (1308.71 seconds)
After 187000 nodes, 10126 on tree, 6742.2 best solution, best possible 6737.38 (1309.26 seconds)
After 187100 nodes, 10113 on tree, 6742.2 best solution, best possible 6737.38 (1309.84 seconds)
After 187200 nodes, 10097 on tree, 6742.2 best solution, best possible 6737.38 (1310.39 seconds)
After 187300 nodes, 10082 on tree, 6742.2 best solution, best possible 6737.38 (1310.97 seconds)
After 187400 nodes, 10070 on tree, 6742.2 best solution, best possible 6737.38 (1311.47 seconds)
After 187500 nodes, 10056 on tree, 6742.2 best solution, best possible 6737.38 (1312.09 seconds)
After 187600 nodes, 10039 on tree, 6742.2 best solution, best possible 6737.38 (1312.68 seconds)
After 187700 nodes, 10025 on tree, 6742.2 best solution, best possible 6737.38 (1313.19 seconds)
After 187800 nodes, 10010 on tree, 6742.2 best solution, best possible 6737.38 (1313.81 seconds)
After 187900 nodes, 9997 on tree, 6742.2 best solution, best possible 6737.38 (1314.40 seconds)
After 188000 nodes, 9986 on tree, 6742.2 best solution, best possible 6737.38 (1314.97 seconds)
After 188100 nodes, 9988 on tree, 6742.2 best solution, best possible 6737.4 (1315.54 seconds)
After 188200 nodes, 9995 on tree, 6742.2 best solution, best possible 6737.42 (1316.21 seconds)
After 188300 nodes, 10007 on tree, 6742.2 best solution, best possible 6737.44 (1316.81 seconds)
After 188400 nodes, 10009 on tree, 6742.2 best solution, best possible 6737.47 (1317.37 seconds)
After 188500 nodes, 10023 on tree, 6742.2 best solution, best possible 6737.49 (1317.99 seconds)
After 188600 nodes, 10029 on tree, 6742.2 best solution, best possible 6737.51 (1318.70 seconds)
After 188700 nodes, 10039 on tree, 6742.2 best solution, best possible 6737.54 (1319.31 seconds)
After 188800 nodes, 10041 on tree, 6742.2 best solution, best possible 6737.56 (1319.92 seconds)
After 188900 nodes, 10047 on tree, 6742.2 best solution, best possible 6737.58 (1320.53 seconds)
After 189000 nodes, 10047 on tree, 6742.2 best solution, best possible 6737.6 (1321.13 seconds)
After 189100 nodes, 10052 on tree, 6742.2 best solution, best possible 6737.63 (1321.69 seconds)
After 189200 nodes, 10053 on tree, 6742.2 best solution, best possible 6737.65 (1322.34 seconds)
After 189300 nodes, 10056 on tree, 6742.2 best solution, best possible 6737.66 (1322.99 seconds)
After 189400 nodes, 10063 on tree, 6742.2 best solution, best possible 6737.68 (1323.62 seconds)
After 189500 nodes, 10064 on tree, 6742.2 best solution, best possible 6737.69 (1324.26 seconds)
After 189600 nodes, 10061 on tree, 6742.2 best solution, best possible 6737.71 (1324.88 seconds)
After 189700 nodes, 10061 on tree, 6742.2 best solution, best possible 6737.73 (1325.53 seconds)
After 189800 nodes, 10070 on tree, 6742.2 best solution, best possible 6737.74 (1326.24 seconds)
After 189900 nodes, 10075 on tree, 6742.2 best solution, best possible 6737.76 (1326.79 seconds)
After 190000 nodes, 10079 on tree, 6742.2 best solution, best possible 6737.78 (1327.41 seconds)
After 190100 nodes, 10060 on tree, 6742.2 best solution, best possible 6737.78 (1327.99 seconds)
After 190200 nodes, 10036 on tree, 6742.2 best solution, best possible 6737.78 (1328.50 seconds)
After 190300 nodes, 10020 on tree, 6742.2 best solution, best possible 6737.78 (1329.00 seconds)
After 190400 nodes, 10001 on tree, 6742.2 best solution, best possible 6737.78 (1329.59 seconds)
After 190500 nodes, 9984 on tree, 6742.2 best solution, best possible 6737.78 (1330.17 seconds)
After 190600 nodes, 9966 on tree, 6742.2 best solution, best possible 6737.78 (1330.73 seconds)
After 190700 nodes, 9947 on tree, 6742.2 best solution, best possible 6737.78 (1331.24 seconds)
After 190800 nodes, 9924 on tree, 6742.2 best solution, best possible 6737.78 (1331.76 seconds)
After 190900 nodes, 9901 on tree, 6742.2 best solution, best possible 6737.78 (1332.27 seconds)
After 191000 nodes, 9877 on tree, 6742.2 best solution, best possible 6737.78 (1332.82 seconds)
After 191100 nodes, 9888 on tree, 6742.2 best solution, best possible 6737.8 (1333.38 seconds)
After 191200 nodes, 9901 on tree, 6742.2 best solution, best possible 6737.82 (1334.04 seconds)
After 191300 nodes, 9899 on tree, 6742.2 best solution, best possible 6737.84 (1334.64 seconds)
After 191400 nodes, 9904 on tree, 6742.2 best solution, best possible 6737.86 (1335.18 seconds)
After 191500 nodes, 9906 on tree, 6742.2 best solution, best possible 6737.87 (1335.90 seconds)
After 191600 nodes, 9912 on tree, 6742.2 best solution, best possible 6737.89 (1336.44 seconds)
After 191700 nodes, 9916 on tree, 6742.2 best solution, best possible 6737.91 (1336.98 seconds)
After 191800 nodes, 9916 on tree, 6742.2 best solution, best possible 6737.93 (1337.58 seconds)
After 191900 nodes, 9916 on tree, 6742.2 best solution, best possible 6737.95 (1338.19 seconds)
After 192000 nodes, 9915 on tree, 6742.2 best solution, best possible 6737.96 (1338.71 seconds)
After 192100 nodes, 9918 on tree, 6742.2 best solution, best possible 6737.99 (1339.35 seconds)
After 192200 nodes, 9918 on tree, 6742.2 best solution, best possible 6738.01 (1340.02 seconds)
After 192300 nodes, 9923 on tree, 6742.2 best solution, best possible 6738.02 (1340.61 seconds)
After 192400 nodes, 9920 on tree, 6742.2 best solution, best possible 6738.05 (1341.22 seconds)
After 192500 nodes, 9924 on tree, 6742.2 best solution, best possible 6738.06 (1341.91 seconds)
After 192600 nodes, 9924 on tree, 6742.2 best solution, best possible 6738.09 (1342.54 seconds)
After 192700 nodes, 9935 on tree, 6742.2 best solution, best possible 6738.1 (1343.10 seconds)
After 192800 nodes, 9936 on tree, 6742.2 best solution, best possible 6738.12 (1343.80 seconds)
After 192900 nodes, 9937 on tree, 6742.2 best solution, best possible 6738.14 (1344.34 seconds)
After 193000 nodes, 9936 on tree, 6742.2 best solution, best possible 6738.15 (1344.90 seconds)
After 193100 nodes, 9913 on tree, 6742.2 best solution, best possible 6738.15 (1345.49 seconds)
After 193200 nodes, 9893 on tree, 6742.2 best solution, best possible 6738.15 (1346.03 seconds)
After 193300 nodes, 9869 on tree, 6742.2 best solution, best possible 6738.15 (1346.54 seconds)
After 193400 nodes, 9845 on tree, 6742.2 best solution, best possible 6738.15 (1347.02 seconds)
After 193500 nodes, 9830 on tree, 6742.2 best solution, best possible 6738.15 (1347.58 seconds)
After 193600 nodes, 9808 on tree, 6742.2 best solution, best possible 6738.15 (1348.04 seconds)
After 193700 nodes, 9785 on tree, 6742.2 best solution, best possible 6738.15 (1348.57 seconds)
After 193800 nodes, 9769 on tree, 6742.2 best solution, best possible 6738.15 (1349.05 seconds)
After 193900 nodes, 9744 on tree, 6742.2 best solution, best possible 6738.15 (1349.61 seconds)
After 194000 nodes, 9720 on tree, 6742.2 best solution, best possible 6738.15 (1350.19 seconds)
After 194100 nodes, 9731 on tree, 6742.2 best solution, best possible 6738.17 (1350.79 seconds)
After 194200 nodes, 9736 on tree, 6742.2 best solution, best possible 6738.18 (1351.35 seconds)
After 194300 nodes, 9737 on tree, 6742.2 best solution, best possible 6738.21 (1351.91 seconds)
After 194400 nodes, 9735 on tree, 6742.2 best solution, best possible 6738.22 (1352.49 seconds)
After 194500 nodes, 9731 on tree, 6742.2 best solution, best possible 6738.24 (1353.16 seconds)
After 194600 nodes, 9719 on tree, 6742.2 best solution, best possible 6738.26 (1353.80 seconds)
After 194700 nodes, 9716 on tree, 6742.2 best solution, best possible 6738.28 (1354.32 seconds)
After 194800 nodes, 9718 on tree, 6742.2 best solution, best possible 6738.29 (1354.86 seconds)
After 194900 nodes, 9713 on tree, 6742.2 best solution, best possible 6738.3 (1355.54 seconds)
After 195000 nodes, 9712 on tree, 6742.2 best solution, best possible 6738.32 (1356.17 seconds)
After 195100 nodes, 9712 on tree, 6742.2 best solution, best possible 6738.33 (1356.77 seconds)
After 195200 nodes, 9703 on tree, 6742.2 best solution, best possible 6738.34 (1357.52 seconds)
After 195300 nodes, 9716 on tree, 6742.2 best solution, best possible 6738.36 (1358.14 seconds)
After 195400 nodes, 9716 on tree, 6742.2 best solution, best possible 6738.37 (1358.69 seconds)
After 195500 nodes, 9716 on tree, 6742.2 best solution, best possible 6738.39 (1359.40 seconds)
After 195600 nodes, 9711 on tree, 6742.2 best solution, best possible 6738.41 (1360.00 seconds)
After 195700 nodes, 9707 on tree, 6742.2 best solution, best possible 6738.43 (1360.59 seconds)
After 195800 nodes, 9707 on tree, 6742.2 best solution, best possible 6738.44 (1361.31 seconds)
After 195900 nodes, 9708 on tree, 6742.2 best solution, best possible 6738.46 (1361.86 seconds)
After 196000 nodes, 9705 on tree, 6742.2 best solution, best possible 6738.47 (1362.49 seconds)
After 196100 nodes, 9706 on tree, 6742.2 best solution, best possible 6738.49 (1363.06 seconds)
After 196200 nodes, 9702 on tree, 6742.2 best solution, best possible 6738.51 (1363.65 seconds)
After 196300 nodes, 9701 on tree, 6742.2 best solution, best possible 6738.52 (1364.20 seconds)
After 196400 nodes, 9703 on tree, 6742.2 best solution, best possible 6738.54 (1364.79 seconds)
After 196500 nodes, 9703 on tree, 6742.2 best solution, best possible 6738.55 (1365.40 seconds)
After 196600 nodes, 9704 on tree, 6742.2 best solution, best possible 6738.57 (1366.00 seconds)
After 196700 nodes, 9705 on tree, 6742.2 best solution, best possible 6738.59 (1366.57 seconds)
After 196800 nodes, 9702 on tree, 6742.2 best solution, best possible 6738.6 (1367.26 seconds)
After 196900 nodes, 9702 on tree, 6742.2 best solution, best possible 6738.62 (1367.82 seconds)
After 197000 nodes, 9701 on tree, 6742.2 best solution, best possible 6738.63 (1368.36 seconds)
After 197100 nodes, 9689 on tree, 6742.2 best solution, best possible 6738.63 (1368.92 seconds)
After 197200 nodes, 9661 on tree, 6742.2 best solution, best possible 6738.63 (1369.41 seconds)
After 197300 nodes, 9644 on tree, 6742.2 best solution, best possible 6738.63 (1369.85 seconds)
After 197400 nodes, 9628 on tree, 6742.2 best solution, best possible 6738.63 (1370.29 seconds)
After 197500 nodes, 9603 on tree, 6742.2 best solution, best possible 6738.63 (1370.82 seconds)
After 197600 nodes, 9580 on tree, 6742.2 best solution, best possible 6738.63 (1371.38 seconds)
After 197700 nodes, 9549 on tree, 6742.2 best solution, best possible 6738.63 (1371.91 seconds)
After 197800 nodes, 9525 on tree, 6742.2 best solution, best possible 6738.63 (1372.45 seconds)
After 197900 nodes, 9495 on tree, 6742.2 best solution, best possible 6738.63 (1373.03 seconds)
After 198000 nodes, 9478 on tree, 6742.2 best solution, best possible 6738.63 (1373.55 seconds)
After 198100 nodes, 9480 on tree, 6742.2 best solution, best possible 6738.65 (1374.15 seconds)
After 198200 nodes, 9481 on tree, 6742.2 best solution, best possible 6738.67 (1374.78 seconds)
After 198300 nodes, 9478 on tree, 6742.2 best solution, best possible 6738.68 (1375.39 seconds)
After 198400 nodes, 9479 on tree, 6742.2 best solution, best possible 6738.69 (1375.97 seconds)
After 198500 nodes, 9478 on tree, 6742.2 best solution, best possible 6738.7 (1376.51 seconds)
After 198600 nodes, 9483 on tree, 6742.2 best solution, best possible 6738.72 (1377.14 seconds)
After 198700 nodes, 9483 on tree, 6742.2 best solution, best possible 6738.73 (1377.67 seconds)
After 198800 nodes, 9479 on tree, 6742.2 best solution, best possible 6738.75 (1378.25 seconds)
After 198900 nodes, 9472 on tree, 6742.2 best solution, best possible 6738.76 (1378.93 seconds)
After 199000 nodes, 9471 on tree, 6742.2 best solution, best possible 6738.77 (1379.49 seconds)
After 199100 nodes, 9460 on tree, 6742.2 best solution, best possible 6738.79 (1380.13 seconds)
After 199200 nodes, 9460 on tree, 6742.2 best solution, best possible 6738.8 (1380.75 seconds)
After 199300 nodes, 9457 on tree, 6742.2 best solution, best possible 6738.82 (1381.34 seconds)
After 199400 nodes, 9450 on tree, 6742.2 best solution, best possible 6738.83 (1381.90 seconds)
After 199500 nodes, 9453 on tree, 6742.2 best solution, best possible 6738.84 (1382.52 seconds)
After 199600 nodes, 9453 on tree, 6742.2 best solution, best possible 6738.85 (1383.14 seconds)
After 199700 nodes, 9445 on tree, 6742.2 best solution, best possible 6738.87 (1383.76 seconds)
After 199800 nodes, 9451 on tree, 6742.2 best solution, best possible 6738.88 (1384.22 seconds)
After 199900 nodes, 9445 on tree, 6742.2 best solution, best possible 6738.89 (1384.87 seconds)
After 200000 nodes, 9443 on tree, 6742.2 best solution, best possible 6738.91 (1385.41 seconds)
After 200100 nodes, 9438 on tree, 6742.2 best solution, best possible 6738.92 (1385.98 seconds)
After 200200 nodes, 9430 on tree, 6742.2 best solution, best possible 6738.93 (1386.56 seconds)
After 200300 nodes, 9423 on tree, 6742.2 best solution, best possible 6738.94 (1387.13 seconds)
After 200400 nodes, 9418 on tree, 6742.2 best solution, best possible 6738.96 (1387.69 seconds)
After 200500 nodes, 9410 on tree, 6742.2 best solution, best possible 6738.97 (1388.33 seconds)
After 200600 nodes, 9403 on tree, 6742.2 best solution, best possible 6738.98 (1388.95 seconds)
After 200700 nodes, 9399 on tree, 6742.2 best solution, best possible 6738.99 (1389.51 seconds)
After 200800 nodes, 9394 on tree, 6742.2 best solution, best possible 6739.01 (1390.09 seconds)
After 200900 nodes, 9392 on tree, 6742.2 best solution, best possible 6739.02 (1390.71 seconds)
After 201000 nodes, 9392 on tree, 6742.2 best solution, best possible 6739.03 (1391.23 seconds)
After 201100 nodes, 9374 on tree, 6742.2 best solution, best possible 6739.03 (1391.63 seconds)
After 201200 nodes, 9354 on tree, 6742.2 best solution, best possible 6739.03 (1392.09 seconds)
After 201300 nodes, 9334 on tree, 6742.2 best solution, best possible 6739.03 (1392.56 seconds)
After 201400 nodes, 9313 on tree, 6742.2 best solution, best possible 6739.03 (1393.03 seconds)
After 201500 nodes, 9284 on tree, 6742.2 best solution, best possible 6739.03 (1393.44 seconds)
After 201600 nodes, 9261 on tree, 6742.2 best solution, best possible 6739.03 (1393.90 seconds)
After 201700 nodes, 9231 on tree, 6742.2 best solution, best possible 6739.03 (1394.41 seconds)
After 201800 nodes, 9205 on tree, 6742.2 best solution, best possible 6739.03 (1394.90 seconds)
After 201900 nodes, 9179 on tree, 6742.2 best solution, best possible 6739.03 (1395.42 seconds)
After 202000 nodes, 9159 on tree, 6742.2 best solution, best possible 6739.03 (1395.85 seconds)
After 202100 nodes, 9155 on tree, 6742.2 best solution, best possible 6739.04 (1396.43 seconds)
After 202200 nodes, 9145 on tree, 6742.2 best solution, best possible 6739.06 (1397.05 seconds)
After 202300 nodes, 9135 on tree, 6742.2 best solution, best possible 6739.07 (1397.62 seconds)
After 202400 nodes, 9133 on tree, 6742.2 best solution, best possible 6739.08 (1398.22 seconds)
After 202500 nodes, 9125 on tree, 6742.2 best solution, best possible 6739.09 (1398.78 seconds)
After 202600 nodes, 9119 on tree, 6742.2 best solution, best possible 6739.1 (1399.38 seconds)
After 202700 nodes, 9114 on tree, 6742.2 best solution, best possible 6739.11 (1399.90 seconds)
After 202800 nodes, 9109 on tree, 6742.2 best solution, best possible 6739.12 (1400.52 seconds)
After 202900 nodes, 9114 on tree, 6742.2 best solution, best possible 6739.13 (1401.04 seconds)
After 203000 nodes, 9112 on tree, 6742.2 best solution, best possible 6739.14 (1401.58 seconds)
After 203100 nodes, 9100 on tree, 6742.2 best solution, best possible 6739.16 (1402.14 seconds)
After 203200 nodes, 9094 on tree, 6742.2 best solution, best possible 6739.17 (1402.72 seconds)
After 203300 nodes, 9084 on tree, 6742.2 best solution, best possible 6739.18 (1403.33 seconds)
After 203400 nodes, 9075 on tree, 6742.2 best solution, best possible 6739.19 (1403.94 seconds)
After 203500 nodes, 9065 on tree, 6742.2 best solution, best possible 6739.21 (1404.52 seconds)
After 203600 nodes, 9057 on tree, 6742.2 best solution, best possible 6739.22 (1405.06 seconds)
After 203700 nodes, 9047 on tree, 6742.2 best solution, best possible 6739.24 (1405.58 seconds)
After 203800 nodes, 9054 on tree, 6742.2 best solution, best possible 6739.25 (1406.24 seconds)
After 203900 nodes, 9039 on tree, 6742.2 best solution, best possible 6739.26 (1406.82 seconds)
After 204000 nodes, 9033 on tree, 6742.2 best solution, best possible 6739.27 (1407.34 seconds)
After 204100 nodes, 9017 on tree, 6742.2 best solution, best possible 6739.28 (1407.93 seconds)
After 204200 nodes, 9013 on tree, 6742.2 best solution, best possible 6739.29 (1408.53 seconds)
After 204300 nodes, 9001 on tree, 6742.2 best solution, best possible 6739.31 (1409.11 seconds)
After 204400 nodes, 8990 on tree, 6742.2 best solution, best possible 6739.32 (1409.64 seconds)
After 204500 nodes, 8979 on tree, 6742.2 best solution, best possible 6739.33 (1410.26 seconds)
After 204600 nodes, 8971 on tree, 6742.2 best solution, best possible 6739.34 (1410.77 seconds)
After 204700 nodes, 8970 on tree, 6742.2 best solution, best possible 6739.35 (1411.37 seconds)
After 204800 nodes, 8968 on tree, 6742.2 best solution, best possible 6739.37 (1411.94 seconds)
After 204900 nodes, 8964 on tree, 6742.2 best solution, best possible 6739.38 (1412.52 seconds)
After 205000 nodes, 8949 on tree, 6742.2 best solution, best possible 6739.39 (1413.04 seconds)
After 205100 nodes, 8920 on tree, 6742.2 best solution, best possible 6739.39 (1413.46 seconds)
After 205200 nodes, 8892 on tree, 6742.2 best solution, best possible 6739.39 (1413.93 seconds)
After 205300 nodes, 8863 on tree, 6742.2 best solution, best possible 6739.39 (1414.40 seconds)
After 205400 nodes, 8841 on tree, 6742.2 best solution, best possible 6739.39 (1414.85 seconds)
After 205500 nodes, 8818 on tree, 6742.2 best solution, best possible 6739.39 (1415.26 seconds)
After 205600 nodes, 8791 on tree, 6742.2 best solution, best possible 6739.39 (1415.81 seconds)
After 205700 nodes, 8770 on tree, 6742.2 best solution, best possible 6739.39 (1416.30 seconds)
After 205800 nodes, 8750 on tree, 6742.2 best solution, best possible 6739.39 (1416.81 seconds)
After 205900 nodes, 8711 on tree, 6742.2 best solution, best possible 6739.39 (1417.30 seconds)
After 206000 nodes, 8683 on tree, 6742.2 best solution, best possible 6739.39 (1417.79 seconds)
After 206100 nodes, 8670 on tree, 6742.2 best solution, best possible 6739.4 (1418.37 seconds)
After 206200 nodes, 8664 on tree, 6742.2 best solution, best possible 6739.42 (1418.96 seconds)
After 206300 nodes, 8659 on tree, 6742.2 best solution, best possible 6739.43 (1419.51 seconds)
After 206400 nodes, 8651 on tree, 6742.2 best solution, best possible 6739.44 (1420.19 seconds)
After 206500 nodes, 8639 on tree, 6742.2 best solution, best possible 6739.45 (1420.77 seconds)
After 206600 nodes, 8637 on tree, 6742.2 best solution, best possible 6739.46 (1421.34 seconds)
After 206700 nodes, 8629 on tree, 6742.2 best solution, best possible 6739.47 (1421.97 seconds)
After 206800 nodes, 8612 on tree, 6742.2 best solution, best possible 6739.48 (1422.46 seconds)
After 206900 nodes, 8597 on tree, 6742.2 best solution, best possible 6739.49 (1422.98 seconds)
After 207000 nodes, 8589 on tree, 6742.2 best solution, best possible 6739.5 (1423.54 seconds)
After 207100 nodes, 8581 on tree, 6742.2 best solution, best possible 6739.51 (1424.11 seconds)
After 207200 nodes, 8567 on tree, 6742.2 best solution, best possible 6739.53 (1424.70 seconds)
After 207300 nodes, 8548 on tree, 6742.2 best solution, best possible 6739.54 (1425.20 seconds)
After 207400 nodes, 8541 on tree, 6742.2 best solution, best possible 6739.55 (1425.71 seconds)
After 207500 nodes, 8536 on tree, 6742.2 best solution, best possible 6739.57 (1426.29 seconds)
After 207600 nodes, 8525 on tree, 6742.2 best solution, best possible 6739.58 (1426.78 seconds)
After 207700 nodes, 8513 on tree, 6742.2 best solution, best possible 6739.59 (1427.27 seconds)
After 207800 nodes, 8498 on tree, 6742.2 best solution, best possible 6739.6 (1427.95 seconds)
After 207900 nodes, 8486 on tree, 6742.2 best solution, best possible 6739.61 (1428.42 seconds)
After 208000 nodes, 8479 on tree, 6742.2 best solution, best possible 6739.62 (1428.94 seconds)
After 208100 nodes, 8467 on tree, 6742.2 best solution, best possible 6739.63 (1429.50 seconds)
After 208200 nodes, 8460 on tree, 6742.2 best solution, best possible 6739.64 (1430.05 seconds)
After 208300 nodes, 8457 on tree, 6742.2 best solution, best possible 6739.65 (1430.54 seconds)
After 208400 nodes, 8445 on tree, 6742.2 best solution, best possible 6739.66 (1431.05 seconds)
After 208500 nodes, 8439 on tree, 6742.2 best solution, best possible 6739.67 (1431.69 seconds)
After 208600 nodes, 8432 on tree, 6742.2 best solution, best possible 6739.68 (1432.20 seconds)
After 208700 nodes, 8421 on tree, 6742.2 best solution, best possible 6739.69 (1432.75 seconds)
After 208800 nodes, 8404 on tree, 6742.2 best solution, best possible 6739.7 (1433.32 seconds)
After 208900 nodes, 8401 on tree, 6742.2 best solution, best possible 6739.71 (1433.83 seconds)
After 209000 nodes, 8389 on tree, 6742.2 best solution, best possible 6739.72 (1434.36 seconds)
After 209100 nodes, 8361 on tree, 6742.2 best solution, best possible 6739.72 (1434.76 seconds)
After 209200 nodes, 8329 on tree, 6742.2 best solution, best possible 6739.72 (1435.16 seconds)
After 209300 nodes, 8295 on tree, 6742.2 best solution, best possible 6739.72 (1435.77 seconds)
After 209400 nodes, 8269 on tree, 6742.2 best solution, best possible 6739.72 (1436.23 seconds)
After 209500 nodes, 8237 on tree, 6742.2 best solution, best possible 6739.72 (1436.73 seconds)
After 209600 nodes, 8205 on tree, 6742.2 best solution, best possible 6739.72 (1437.14 seconds)
After 209700 nodes, 8180 on tree, 6742.2 best solution, best possible 6739.72 (1437.64 seconds)
After 209800 nodes, 8151 on tree, 6742.2 best solution, best possible 6739.72 (1438.21 seconds)
After 209900 nodes, 8118 on tree, 6742.2 best solution, best possible 6739.72 (1438.64 seconds)
After 210000 nodes, 8083 on tree, 6742.2 best solution, best possible 6739.72 (1439.10 seconds)
After 210100 nodes, 8080 on tree, 6742.2 best solution, best possible 6739.73 (1439.77 seconds)
After 210200 nodes, 8068 on tree, 6742.2 best solution, best possible 6739.74 (1440.48 seconds)
After 210300 nodes, 8051 on tree, 6742.2 best solution, best possible 6739.75 (1441.05 seconds)
After 210400 nodes, 8039 on tree, 6742.2 best solution, best possible 6739.76 (1441.74 seconds)
After 210500 nodes, 8027 on tree, 6742.2 best solution, best possible 6739.77 (1442.29 seconds)
After 210600 nodes, 8016 on tree, 6742.2 best solution, best possible 6739.79 (1442.80 seconds)
After 210700 nodes, 8002 on tree, 6742.2 best solution, best possible 6739.8 (1443.32 seconds)
After 210800 nodes, 7991 on tree, 6742.2 best solution, best possible 6739.81 (1443.81 seconds)
After 210900 nodes, 7977 on tree, 6742.2 best solution, best possible 6739.82 (1444.29 seconds)
After 211000 nodes, 7963 on tree, 6742.2 best solution, best possible 6739.83 (1444.79 seconds)
After 211100 nodes, 7950 on tree, 6742.2 best solution, best possible 6739.84 (1445.34 seconds)
After 211200 nodes, 7943 on tree, 6742.2 best solution, best possible 6739.85 (1445.86 seconds)
After 211300 nodes, 7927 on tree, 6742.2 best solution, best possible 6739.86 (1446.45 seconds)
After 211400 nodes, 7909 on tree, 6742.2 best solution, best possible 6739.87 (1447.01 seconds)
After 211500 nodes, 7905 on tree, 6742.2 best solution, best possible 6739.89 (1447.53 seconds)
After 211600 nodes, 7885 on tree, 6742.2 best solution, best possible 6739.9 (1448.05 seconds)
After 211700 nodes, 7868 on tree, 6742.2 best solution, best possible 6739.91 (1448.53 seconds)
After 211800 nodes, 7856 on tree, 6742.2 best solution, best possible 6739.92 (1449.03 seconds)
After 211900 nodes, 7839 on tree, 6742.2 best solution, best possible 6739.93 (1449.57 seconds)
After 212000 nodes, 7827 on tree, 6742.2 best solution, best possible 6739.94 (1450.07 seconds)
After 212100 nodes, 7814 on tree, 6742.2 best solution, best possible 6739.96 (1450.59 seconds)
After 212200 nodes, 7796 on tree, 6742.2 best solution, best possible 6739.97 (1451.06 seconds)
After 212300 nodes, 7773 on tree, 6742.2 best solution, best possible 6739.98 (1451.58 seconds)
After 212400 nodes, 7761 on tree, 6742.2 best solution, best possible 6739.99 (1452.11 seconds)
After 212500 nodes, 7743 on tree, 6742.2 best solution, best possible 6740 (1452.61 seconds)
After 212600 nodes, 7735 on tree, 6742.2 best solution, best possible 6740.01 (1453.11 seconds)
After 212700 nodes, 7722 on tree, 6742.2 best solution, best possible 6740.02 (1453.64 seconds)
After 212800 nodes, 7708 on tree, 6742.2 best solution, best possible 6740.03 (1454.17 seconds)
After 212900 nodes, 7690 on tree, 6742.2 best solution, best possible 6740.05 (1454.72 seconds)
After 213000 nodes, 7676 on tree, 6742.2 best solution, best possible 6740.06 (1455.27 seconds)
After 213100 nodes, 7646 on tree, 6742.2 best solution, best possible 6740.06 (1455.69 seconds)
After 213200 nodes, 7609 on tree, 6742.2 best solution, best possible 6740.06 (1456.08 seconds)
After 213300 nodes, 7582 on tree, 6742.2 best solution, best possible 6740.06 (1456.51 seconds)
After 213400 nodes, 7542 on tree, 6742.2 best solution, best possible 6740.06 (1456.94 seconds)
After 213500 nodes, 7508 on tree, 6742.2 best solution, best possible 6740.06 (1457.43 seconds)
After 213600 nodes, 7471 on tree, 6742.2 best solution, best possible 6740.06 (1457.89 seconds)
After 213700 nodes, 7434 on tree, 6742.2 best solution, best possible 6740.06 (1458.38 seconds)
After 213800 nodes, 7402 on tree, 6742.2 best solution, best possible 6740.06 (1458.82 seconds)
After 213900 nodes, 7369 on tree, 6742.2 best solution, best possible 6740.06 (1459.28 seconds)
After 214000 nodes, 7336 on tree, 6742.2 best solution, best possible 6740.06 (1459.71 seconds)
After 214100 nodes, 7327 on tree, 6742.2 best solution, best possible 6740.07 (1460.20 seconds)
After 214200 nodes, 7309 on tree, 6742.2 best solution, best possible 6740.08 (1460.78 seconds)
After 214300 nodes, 7292 on tree, 6742.2 best solution, best possible 6740.09 (1461.28 seconds)
After 214400 nodes, 7275 on tree, 6742.2 best solution, best possible 6740.1 (1461.76 seconds)
After 214500 nodes, 7263 on tree, 6742.2 best solution, best possible 6740.11 (1462.27 seconds)
After 214600 nodes, 7244 on tree, 6742.2 best solution, best possible 6740.12 (1462.78 seconds)
After 214700 nodes, 7231 on tree, 6742.2 best solution, best possible 6740.13 (1463.27 seconds)
After 214800 nodes, 7219 on tree, 6742.2 best solution, best possible 6740.14 (1463.77 seconds)
After 214900 nodes, 7201 on tree, 6742.2 best solution, best possible 6740.15 (1464.28 seconds)
After 215000 nodes, 7180 on tree, 6742.2 best solution, best possible 6740.16 (1464.79 seconds)
After 215100 nodes, 7166 on tree, 6742.2 best solution, best possible 6740.17 (1465.33 seconds)
After 215200 nodes, 7145 on tree, 6742.2 best solution, best possible 6740.18 (1465.88 seconds)
After 215300 nodes, 7131 on tree, 6742.2 best solution, best possible 6740.19 (1466.38 seconds)
After 215400 nodes, 7121 on tree, 6742.2 best solution, best possible 6740.2 (1466.89 seconds)
After 215500 nodes, 7099 on tree, 6742.2 best solution, best possible 6740.21 (1467.40 seconds)
After 215600 nodes, 7078 on tree, 6742.2 best solution, best possible 6740.22 (1467.96 seconds)
After 215700 nodes, 7063 on tree, 6742.2 best solution, best possible 6740.23 (1468.54 seconds)
After 215800 nodes, 7045 on tree, 6742.2 best solution, best possible 6740.24 (1469.08 seconds)
After 215900 nodes, 7026 on tree, 6742.2 best solution, best possible 6740.25 (1469.63 seconds)
After 216000 nodes, 7013 on tree, 6742.2 best solution, best possible 6740.26 (1470.18 seconds)
After 216100 nodes, 7004 on tree, 6742.2 best solution, best possible 6740.27 (1470.75 seconds)
After 216200 nodes, 6981 on tree, 6742.2 best solution, best possible 6740.28 (1471.31 seconds)
After 216300 nodes, 6969 on tree, 6742.2 best solution, best possible 6740.29 (1471.85 seconds)
After 216400 nodes, 6952 on tree, 6742.2 best solution, best possible 6740.3 (1472.37 seconds)
After 216500 nodes, 6935 on tree, 6742.2 best solution, best possible 6740.31 (1472.88 seconds)
After 216600 nodes, 6919 on tree, 6742.2 best solution, best possible 6740.32 (1473.40 seconds)
After 216700 nodes, 6900 on tree, 6742.2 best solution, best possible 6740.33 (1473.90 seconds)
After 216800 nodes, 6883 on tree, 6742.2 best solution, best possible 6740.34 (1474.45 seconds)
After 216900 nodes, 6862 on tree, 6742.2 best solution, best possible 6740.35 (1474.97 seconds)
After 217000 nodes, 6839 on tree, 6742.2 best solution, best possible 6740.36 (1475.49 seconds)
After 217100 nodes, 6807 on tree, 6742.2 best solution, best possible 6740.36 (1475.89 seconds)
After 217200 nodes, 6779 on tree, 6742.2 best solution, best possible 6740.36 (1476.32 seconds)
After 217300 nodes, 6749 on tree, 6742.2 best solution, best possible 6740.36 (1476.78 seconds)
After 217400 nodes, 6718 on tree, 6742.2 best solution, best possible 6740.36 (1477.18 seconds)
After 217500 nodes, 6681 on tree, 6742.2 best solution, best possible 6740.36 (1477.67 seconds)
After 217600 nodes, 6648 on tree, 6742.2 best solution, best possible 6740.36 (1478.07 seconds)
After 217700 nodes, 6614 on tree, 6742.2 best solution, best possible 6740.36 (1478.49 seconds)
After 217800 nodes, 6582 on tree, 6742.2 best solution, best possible 6740.36 (1478.88 seconds)
After 217900 nodes, 6548 on tree, 6742.2 best solution, best possible 6740.36 (1479.32 seconds)
After 218000 nodes, 6509 on tree, 6742.2 best solution, best possible 6740.36 (1479.74 seconds)
After 218100 nodes, 6500 on tree, 6742.2 best solution, best possible 6740.37 (1480.24 seconds)
After 218200 nodes, 6478 on tree, 6742.2 best solution, best possible 6740.38 (1480.71 seconds)
After 218300 nodes, 6461 on tree, 6742.2 best solution, best possible 6740.39 (1481.24 seconds)
After 218400 nodes, 6439 on tree, 6742.2 best solution, best possible 6740.41 (1481.76 seconds)
After 218500 nodes, 6418 on tree, 6742.2 best solution, best possible 6740.42 (1482.30 seconds)
After 218600 nodes, 6401 on tree, 6742.2 best solution, best possible 6740.42 (1482.84 seconds)
After 218700 nodes, 6384 on tree, 6742.2 best solution, best possible 6740.43 (1483.39 seconds)
After 218800 nodes, 6368 on tree, 6742.2 best solution, best possible 6740.44 (1483.90 seconds)
After 218900 nodes, 6353 on tree, 6742.2 best solution, best possible 6740.45 (1484.42 seconds)
After 219000 nodes, 6339 on tree, 6742.2 best solution, best possible 6740.46 (1484.90 seconds)
After 219100 nodes, 6321 on tree, 6742.2 best solution, best possible 6740.47 (1485.44 seconds)
After 219200 nodes, 6308 on tree, 6742.2 best solution, best possible 6740.49 (1485.99 seconds)
After 219300 nodes, 6293 on tree, 6742.2 best solution, best possible 6740.49 (1486.52 seconds)
After 219400 nodes, 6274 on tree, 6742.2 best solution, best possible 6740.51 (1486.99 seconds)
After 219500 nodes, 6253 on tree, 6742.2 best solution, best possible 6740.52 (1487.48 seconds)
After 219600 nodes, 6233 on tree, 6742.2 best solution, best possible 6740.53 (1487.97 seconds)
After 219700 nodes, 6218 on tree, 6742.2 best solution, best possible 6740.54 (1488.49 seconds)
After 219800 nodes, 6199 on tree, 6742.2 best solution, best possible 6740.55 (1489.00 seconds)
After 219900 nodes, 6181 on tree, 6742.2 best solution, best possible 6740.56 (1489.58 seconds)
After 220000 nodes, 6164 on tree, 6742.2 best solution, best possible 6740.57 (1490.11 seconds)
After 220100 nodes, 6146 on tree, 6742.2 best solution, best possible 6740.58 (1490.61 seconds)
After 220200 nodes, 6123 on tree, 6742.2 best solution, best possible 6740.59 (1491.12 seconds)
After 220300 nodes, 6102 on tree, 6742.2 best solution, best possible 6740.6 (1491.63 seconds)
After 220400 nodes, 6079 on tree, 6742.2 best solution, best possible 6740.61 (1492.12 seconds)
After 220500 nodes, 6058 on tree, 6742.2 best solution, best possible 6740.62 (1492.69 seconds)
After 220600 nodes, 6043 on tree, 6742.2 best solution, best possible 6740.63 (1493.21 seconds)
After 220700 nodes, 6019 on tree, 6742.2 best solution, best possible 6740.64 (1493.77 seconds)
After 220800 nodes, 5998 on tree, 6742.2 best solution, best possible 6740.65 (1494.29 seconds)
After 220900 nodes, 5981 on tree, 6742.2 best solution, best possible 6740.66 (1494.79 seconds)
After 221000 nodes, 5962 on tree, 6742.2 best solution, best possible 6740.67 (1495.29 seconds)
After 221100 nodes, 5928 on tree, 6742.2 best solution, best possible 6740.67 (1495.71 seconds)
After 221200 nodes, 5895 on tree, 6742.2 best solution, best possible 6740.67 (1496.20 seconds)
After 221300 nodes, 5861 on tree, 6742.2 best solution, best possible 6740.67 (1496.66 seconds)
After 221400 nodes, 5833 on tree, 6742.2 best solution, best possible 6740.67 (1497.07 seconds)
After 221500 nodes, 5797 on tree, 6742.2 best solution, best possible 6740.67 (1497.49 seconds)
After 221600 nodes, 5759 on tree, 6742.2 best solution, best possible 6740.67 (1497.91 seconds)
After 221700 nodes, 5729 on tree, 6742.2 best solution, best possible 6740.67 (1498.38 seconds)
After 221800 nodes, 5689 on tree, 6742.2 best solution, best possible 6740.67 (1498.81 seconds)
After 221900 nodes, 5654 on tree, 6742.2 best solution, best possible 6740.67 (1499.24 seconds)
After 222000 nodes, 5619 on tree, 6742.2 best solution, best possible 6740.67 (1499.65 seconds)
After 222100 nodes, 5597 on tree, 6742.2 best solution, best possible 6740.68 (1500.23 seconds)
After 222200 nodes, 5577 on tree, 6742.2 best solution, best possible 6740.69 (1500.71 seconds)
After 222300 nodes, 5561 on tree, 6742.2 best solution, best possible 6740.7 (1501.23 seconds)
After 222400 nodes, 5544 on tree, 6742.2 best solution, best possible 6740.71 (1501.76 seconds)
After 222500 nodes, 5523 on tree, 6742.2 best solution, best possible 6740.72 (1502.27 seconds)
After 222600 nodes, 5500 on tree, 6742.2 best solution, best possible 6740.74 (1502.79 seconds)
After 222700 nodes, 5482 on tree, 6742.2 best solution, best possible 6740.74 (1503.30 seconds)
After 222800 nodes, 5458 on tree, 6742.2 best solution, best possible 6740.76 (1503.81 seconds)
After 222900 nodes, 5441 on tree, 6742.2 best solution, best possible 6740.77 (1504.27 seconds)
After 223000 nodes, 5421 on tree, 6742.2 best solution, best possible 6740.78 (1504.75 seconds)
After 223100 nodes, 5398 on tree, 6742.2 best solution, best possible 6740.79 (1505.22 seconds)
After 223200 nodes, 5376 on tree, 6742.2 best solution, best possible 6740.8 (1505.63 seconds)
After 223300 nodes, 5357 on tree, 6742.2 best solution, best possible 6740.81 (1506.07 seconds)
After 223400 nodes, 5338 on tree, 6742.2 best solution, best possible 6740.82 (1506.53 seconds)
After 223500 nodes, 5317 on tree, 6742.2 best solution, best possible 6740.83 (1507.00 seconds)
After 223600 nodes, 5299 on tree, 6742.2 best solution, best possible 6740.83 (1507.49 seconds)
After 223700 nodes, 5270 on tree, 6742.2 best solution, best possible 6740.84 (1507.93 seconds)
After 223800 nodes, 5250 on tree, 6742.2 best solution, best possible 6740.85 (1508.42 seconds)
After 223900 nodes, 5237 on tree, 6742.2 best solution, best possible 6740.86 (1508.87 seconds)
After 224000 nodes, 5209 on tree, 6742.2 best solution, best possible 6740.87 (1509.37 seconds)
After 224100 nodes, 5192 on tree, 6742.2 best solution, best possible 6740.88 (1509.82 seconds)
After 224200 nodes, 5169 on tree, 6742.2 best solution, best possible 6740.89 (1510.25 seconds)
After 224300 nodes, 5145 on tree, 6742.2 best solution, best possible 6740.9 (1510.69 seconds)
After 224400 nodes, 5117 on tree, 6742.2 best solution, best possible 6740.9 (1511.16 seconds)
After 224500 nodes, 5093 on tree, 6742.2 best solution, best possible 6740.91 (1511.66 seconds)
After 224600 nodes, 5078 on tree, 6742.2 best solution, best possible 6740.93 (1512.11 seconds)
After 224700 nodes, 5048 on tree, 6742.2 best solution, best possible 6740.94 (1512.59 seconds)
After 224800 nodes, 5024 on tree, 6742.2 best solution, best possible 6740.95 (1513.07 seconds)
After 224900 nodes, 4995 on tree, 6742.2 best solution, best possible 6740.95 (1513.49 seconds)
After 225000 nodes, 4971 on tree, 6742.2 best solution, best possible 6740.96 (1513.91 seconds)
After 225100 nodes, 4939 on tree, 6742.2 best solution, best possible 6740.96 (1514.31 seconds)
After 225200 nodes, 4896 on tree, 6742.2 best solution, best possible 6740.96 (1514.65 seconds)
After 225300 nodes, 4863 on tree, 6742.2 best solution, best possible 6740.96 (1515.02 seconds)
After 225400 nodes, 4829 on tree, 6742.2 best solution, best possible 6740.96 (1515.40 seconds)
After 225500 nodes, 4788 on tree, 6742.2 best solution, best possible 6740.96 (1515.81 seconds)
After 225600 nodes, 4747 on tree, 6742.2 best solution, best possible 6740.96 (1516.20 seconds)
After 225700 nodes, 4713 on tree, 6742.2 best solution, best possible 6740.96 (1516.56 seconds)
After 225800 nodes, 4673 on tree, 6742.2 best solution, best possible 6740.96 (1516.94 seconds)
After 225900 nodes, 4632 on tree, 6742.2 best solution, best possible 6740.96 (1517.34 seconds)
After 226000 nodes, 4594 on tree, 6742.2 best solution, best possible 6740.96 (1517.73 seconds)
After 226100 nodes, 4570 on tree, 6742.2 best solution, best possible 6740.97 (1518.17 seconds)
After 226200 nodes, 4549 on tree, 6742.2 best solution, best possible 6740.98 (1518.61 seconds)
After 226300 nodes, 4533 on tree, 6742.2 best solution, best possible 6740.99 (1519.08 seconds)
After 226400 nodes, 4515 on tree, 6742.2 best solution, best possible 6741 (1519.54 seconds)
After 226500 nodes, 4487 on tree, 6742.2 best solution, best possible 6741.01 (1520.00 seconds)
After 226600 nodes, 4464 on tree, 6742.2 best solution, best possible 6741.02 (1520.46 seconds)
After 226700 nodes, 4434 on tree, 6742.2 best solution, best possible 6741.03 (1520.93 seconds)
After 226800 nodes, 4405 on tree, 6742.2 best solution, best possible 6741.04 (1521.37 seconds)
After 226900 nodes, 4380 on tree, 6742.2 best solution, best possible 6741.05 (1521.84 seconds)
After 227000 nodes, 4355 on tree, 6742.2 best solution, best possible 6741.06 (1522.29 seconds)
After 227100 nodes, 4333 on tree, 6742.2 best solution, best possible 6741.07 (1522.76 seconds)
After 227200 nodes, 4307 on tree, 6742.2 best solution, best possible 6741.08 (1523.20 seconds)
After 227300 nodes, 4283 on tree, 6742.2 best solution, best possible 6741.09 (1523.62 seconds)
After 227400 nodes, 4261 on tree, 6742.2 best solution, best possible 6741.1 (1524.07 seconds)
After 227500 nodes, 4239 on tree, 6742.2 best solution, best possible 6741.11 (1524.54 seconds)
After 227600 nodes, 4206 on tree, 6742.2 best solution, best possible 6741.12 (1524.99 seconds)
After 227700 nodes, 4184 on tree, 6742.2 best solution, best possible 6741.13 (1525.44 seconds)
After 227800 nodes, 4149 on tree, 6742.2 best solution, best possible 6741.14 (1525.88 seconds)
After 227900 nodes, 4121 on tree, 6742.2 best solution, best possible 6741.15 (1526.31 seconds)
After 228000 nodes, 4094 on tree, 6742.2 best solution, best possible 6741.16 (1526.76 seconds)
After 228100 nodes, 4068 on tree, 6742.2 best solution, best possible 6741.17 (1527.23 seconds)
After 228200 nodes, 4035 on tree, 6742.2 best solution, best possible 6741.18 (1527.68 seconds)
After 228300 nodes, 4003 on tree, 6742.2 best solution, best possible 6741.19 (1528.14 seconds)
After 228400 nodes, 3976 on tree, 6742.2 best solution, best possible 6741.2 (1528.62 seconds)
After 228500 nodes, 3948 on tree, 6742.2 best solution, best possible 6741.21 (1529.07 seconds)
After 228600 nodes, 3912 on tree, 6742.2 best solution, best possible 6741.22 (1529.50 seconds)
After 228700 nodes, 3881 on tree, 6742.2 best solution, best possible 6741.23 (1529.93 seconds)
After 228800 nodes, 3854 on tree, 6742.2 best solution, best possible 6741.24 (1530.37 seconds)
After 228900 nodes, 3826 on tree, 6742.2 best solution, best possible 6741.25 (1530.79 seconds)
After 229000 nodes, 3801 on tree, 6742.2 best solution, best possible 6741.27 (1531.20 seconds)
After 229100 nodes, 3762 on tree, 6742.2 best solution, best possible 6741.27 (1531.53 seconds)
After 229200 nodes, 3721 on tree, 6742.2 best solution, best possible 6741.27 (1531.90 seconds)
After 229300 nodes, 3682 on tree, 6742.2 best solution, best possible 6741.27 (1532.28 seconds)
After 229400 nodes, 3637 on tree, 6742.2 best solution, best possible 6741.27 (1532.64 seconds)
After 229500 nodes, 3597 on tree, 6742.2 best solution, best possible 6741.27 (1533.02 seconds)
After 229600 nodes, 3555 on tree, 6742.2 best solution, best possible 6741.27 (1533.37 seconds)
After 229700 nodes, 3518 on tree, 6742.2 best solution, best possible 6741.27 (1533.78 seconds)
After 229800 nodes, 3484 on tree, 6742.2 best solution, best possible 6741.27 (1534.19 seconds)
After 229900 nodes, 3441 on tree, 6742.2 best solution, best possible 6741.27 (1534.55 seconds)
After 230000 nodes, 3402 on tree, 6742.2 best solution, best possible 6741.27 (1534.95 seconds)
After 230100 nodes, 3372 on tree, 6742.2 best solution, best possible 6741.28 (1535.37 seconds)
After 230200 nodes, 3338 on tree, 6742.2 best solution, best possible 6741.29 (1535.78 seconds)
After 230300 nodes, 3306 on tree, 6742.2 best solution, best possible 6741.3 (1536.24 seconds)
After 230400 nodes, 3277 on tree, 6742.2 best solution, best possible 6741.32 (1536.64 seconds)
After 230500 nodes, 3251 on tree, 6742.2 best solution, best possible 6741.33 (1537.07 seconds)
After 230600 nodes, 3224 on tree, 6742.2 best solution, best possible 6741.33 (1537.48 seconds)
After 230700 nodes, 3197 on tree, 6742.2 best solution, best possible 6741.34 (1537.93 seconds)
After 230800 nodes, 3172 on tree, 6742.2 best solution, best possible 6741.36 (1538.35 seconds)
After 230900 nodes, 3144 on tree, 6742.2 best solution, best possible 6741.37 (1538.77 seconds)
After 231000 nodes, 3111 on tree, 6742.2 best solution, best possible 6741.38 (1539.19 seconds)
After 231100 nodes, 3081 on tree, 6742.2 best solution, best possible 6741.39 (1539.65 seconds)
After 231200 nodes, 3053 on tree, 6742.2 best solution, best possible 6741.4 (1540.10 seconds)
After 231300 nodes, 3021 on tree, 6742.2 best solution, best possible 6741.41 (1540.52 seconds)
After 231400 nodes, 2990 on tree, 6742.2 best solution, best possible 6741.43 (1540.96 seconds)
After 231500 nodes, 2961 on tree, 6742.2 best solution, best possible 6741.44 (1541.39 seconds)
After 231600 nodes, 2932 on tree, 6742.2 best solution, best possible 6741.45 (1541.83 seconds)
After 231700 nodes, 2900 on tree, 6742.2 best solution, best possible 6741.46 (1542.29 seconds)
After 231800 nodes, 2871 on tree, 6742.2 best solution, best possible 6741.47 (1542.69 seconds)
After 231900 nodes, 2839 on tree, 6742.2 best solution, best possible 6741.48 (1543.10 seconds)
After 232000 nodes, 2808 on tree, 6742.2 best solution, best possible 6741.49 (1543.50 seconds)
After 232100 nodes, 2777 on tree, 6742.2 best solution, best possible 6741.51 (1543.90 seconds)
After 232200 nodes, 2749 on tree, 6742.2 best solution, best possible 6741.52 (1544.32 seconds)
After 232300 nodes, 2708 on tree, 6742.2 best solution, best possible 6741.53 (1544.75 seconds)
After 232400 nodes, 2677 on tree, 6742.2 best solution, best possible 6741.54 (1545.17 seconds)
After 232500 nodes, 2637 on tree, 6742.2 best solution, best possible 6741.55 (1545.62 seconds)
After 232600 nodes, 2604 on tree, 6742.2 best solution, best possible 6741.56 (1546.05 seconds)
After 232700 nodes, 2570 on tree, 6742.2 best solution, best possible 6741.57 (1546.44 seconds)
After 232800 nodes, 2535 on tree, 6742.2 best solution, best possible 6741.58 (1546.87 seconds)
After 232900 nodes, 2502 on tree, 6742.2 best solution, best possible 6741.59 (1547.30 seconds)
After 233000 nodes, 2468 on tree, 6742.2 best solution, best possible 6741.6 (1547.75 seconds)
After 233100 nodes, 2427 on tree, 6742.2 best solution, best possible 6741.6 (1548.11 seconds)
After 233200 nodes, 2388 on tree, 6742.2 best solution, best possible 6741.6 (1548.50 seconds)
After 233300 nodes, 2345 on tree, 6742.2 best solution, best possible 6741.6 (1548.86 seconds)
After 233400 nodes, 2302 on tree, 6742.2 best solution, best possible 6741.6 (1549.24 seconds)
After 233500 nodes, 2256 on tree, 6742.2 best solution, best possible 6741.6 (1549.62 seconds)
After 233600 nodes, 2212 on tree, 6742.2 best solution, best possible 6741.6 (1549.99 seconds)
After 233700 nodes, 2170 on tree, 6742.2 best solution, best possible 6741.6 (1550.33 seconds)
After 233800 nodes, 2124 on tree, 6742.2 best solution, best possible 6741.6 (1550.71 seconds)
After 233900 nodes, 2078 on tree, 6742.2 best solution, best possible 6741.6 (1551.10 seconds)
After 234000 nodes, 2039 on tree, 6742.2 best solution, best possible 6741.6 (1551.52 seconds)
After 234100 nodes, 2005 on tree, 6742.2 best solution, best possible 6741.61 (1551.98 seconds)
After 234200 nodes, 1970 on tree, 6742.2 best solution, best possible 6741.63 (1552.43 seconds)
After 234300 nodes, 1939 on tree, 6742.2 best solution, best possible 6741.64 (1552.89 seconds)
After 234400 nodes, 1904 on tree, 6742.2 best solution, best possible 6741.65 (1553.33 seconds)
After 234500 nodes, 1874 on tree, 6742.2 best solution, best possible 6741.66 (1553.75 seconds)
After 234600 nodes, 1837 on tree, 6742.2 best solution, best possible 6741.67 (1554.17 seconds)
After 234700 nodes, 1795 on tree, 6742.2 best solution, best possible 6741.69 (1554.55 seconds)
After 234800 nodes, 1758 on tree, 6742.2 best solution, best possible 6741.7 (1554.97 seconds)
After 234900 nodes, 1724 on tree, 6742.2 best solution, best possible 6741.71 (1555.37 seconds)
After 235000 nodes, 1690 on tree, 6742.2 best solution, best possible 6741.72 (1555.78 seconds)
After 235100 nodes, 1650 on tree, 6742.2 best solution, best possible 6741.74 (1556.14 seconds)
After 235200 nodes, 1622 on tree, 6742.2 best solution, best possible 6741.75 (1556.59 seconds)
After 235300 nodes, 1587 on tree, 6742.2 best solution, best possible 6741.76 (1556.96 seconds)
After 235400 nodes, 1551 on tree, 6742.2 best solution, best possible 6741.77 (1557.35 seconds)
After 235500 nodes, 1518 on tree, 6742.2 best solution, best possible 6741.78 (1557.78 seconds)
After 235600 nodes, 1484 on tree, 6742.2 best solution, best possible 6741.79 (1558.23 seconds)
After 235700 nodes, 1446 on tree, 6742.2 best solution, best possible 6741.8 (1558.63 seconds)
After 235800 nodes, 1411 on tree, 6742.2 best solution, best possible 6741.82 (1559.05 seconds)
After 235900 nodes, 1373 on tree, 6742.2 best solution, best possible 6741.83 (1559.43 seconds)
After 236000 nodes, 1332 on tree, 6742.2 best solution, best possible 6741.84 (1559.80 seconds)
After 236100 nodes, 1294 on tree, 6742.2 best solution, best possible 6741.85 (1560.21 seconds)
After 236200 nodes, 1255 on tree, 6742.2 best solution, best possible 6741.87 (1560.57 seconds)
After 236300 nodes, 1214 on tree, 6742.2 best solution, best possible 6741.88 (1560.97 seconds)
After 236400 nodes, 1177 on tree, 6742.2 best solution, best possible 6741.89 (1561.35 seconds)
After 236500 nodes, 1137 on tree, 6742.2 best solution, best possible 6741.9 (1561.77 seconds)
After 236600 nodes, 1098 on tree, 6742.2 best solution, best possible 6741.91 (1562.16 seconds)
After 236700 nodes, 1056 on tree, 6742.2 best solution, best possible 6741.92 (1562.54 seconds)
After 236800 nodes, 1011 on tree, 6742.2 best solution, best possible 6741.93 (1562.94 seconds)
After 236900 nodes, 975 on tree, 6742.2 best solution, best possible 6741.95 (1563.37 seconds)
After 237000 nodes, 938 on tree, 6742.2 best solution, best possible 6741.96 (1563.76 seconds)
After 237100 nodes, 891 on tree, 6742.2 best solution, best possible 6741.96 (1564.08 seconds)
After 237200 nodes, 845 on tree, 6742.2 best solution, best possible 6741.96 (1564.42 seconds)
After 237300 nodes, 799 on tree, 6742.2 best solution, best possible 6741.96 (1564.78 seconds)
After 237400 nodes, 760 on tree, 6742.2 best solution, best possible 6741.96 (1565.14 seconds)
After 237500 nodes, 709 on tree, 6742.2 best solution, best possible 6741.96 (1565.52 seconds)
After 237600 nodes, 661 on tree, 6742.2 best solution, best possible 6741.96 (1565.89 seconds)
After 237700 nodes, 617 on tree, 6742.2 best solution, best possible 6741.96 (1566.25 seconds)
After 237800 nodes, 575 on tree, 6742.2 best solution, best possible 6741.96 (1566.61 seconds)
After 237900 nodes, 534 on tree, 6742.2 best solution, best possible 6741.96 (1566.97 seconds)
After 238000 nodes, 485 on tree, 6742.2 best solution, best possible 6741.96 (1567.35 seconds)
After 238100 nodes, 447 on tree, 6742.2 best solution, best possible 6741.97 (1567.77 seconds)
After 238200 nodes, 406 on tree, 6742.2 best solution, best possible 6742 (1568.16 seconds)
After 238300 nodes, 365 on tree, 6742.2 best solution, best possible 6742.02 (1568.59 seconds)
After 238400 nodes, 324 on tree, 6742.2 best solution, best possible 6742.04 (1569.00 seconds)
After 238500 nodes, 279 on tree, 6742.2 best solution, best possible 6742.06 (1569.41 seconds)
After 238600 nodes, 239 on tree, 6742.2 best solution, best possible 6742.08 (1569.82 seconds)
After 238700 nodes, 196 on tree, 6742.2 best solution, best possible 6742.11 (1570.19 seconds)
After 238800 nodes, 151 on tree, 6742.2 best solution, best possible 6742.13 (1570.57 seconds)
After 238900 nodes, 105 on tree, 6742.2 best solution, best possible 6742.15 (1570.94 seconds)
After 239000 nodes, 59 on tree, 6742.2 best solution, best possible 6742.17 (1571.30 seconds)
After 239100 nodes, 11 on tree, 6742.2 best solution, best possible 6742.2 (1571.70 seconds)
Search completed - best objective 6742.200024, took 5091394 iterations and 239122 nodes (1571.78 seconds)
Strong branching done 4186 times (81695 iterations), fathomed 30 nodes and fixed 758 variables
Maximum depth 43, 986135 variables fixed on reduced cost
Cuts at root node changed objective from 6637.19 to 6695.41
Probing was tried 14871 times and created 18834 cuts of which 5082 were active after adding rounds of cuts (10.409 seconds)
Gomory was tried 42265 times and created 59983 cuts of which 4513 were active after adding rounds of cuts (49.531 seconds)
Knapsack was tried 47226 times and created 814867 cuts of which 121295 were active after adding rounds of cuts (130.628 seconds)
Clique was tried 19 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.008 seconds)
MixedIntegerRounding2 was tried 19 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.012 seconds)
FlowCover was tried 19 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.124 seconds)
TwoMirCuts was tried 19 times and created 219 cuts of which 12 were active after adding rounds of cuts (0.040 seconds)
Result - Finished objective 6742.200024 after 239122 nodes and 5091394 iterations - took 1571.80 seconds (total time 1571.83)
Total time 1571.87

Solved to optimality.
MIP solution:           6742.200024   (239122 nodes, 1571.87 seconds)
Best possible:          6742.200024
Absolute gap:                     0   (absolute tolerance optca: 0)
Relative gap:                     0   (relative tolerance optcr: 0)
--- Restarting execution
--- binkar10_1.gms(124) 0 Mb
--- Reading solution for model m
--- binkar10_1.gms(124) 3 Mb
*** Status: Normal completion
--- Job binkar10_1.gms Stop 08/21/08 20:02:18 elapsed 0:26:49.006