--- Job binkar10_1 Start 08/24/08 00:06:51
GAMS Rev 227  Copyright (C) 1987-2008 GAMS Development. All rights reserved
Licensee: Stefan Vigerske                                G071106/0001CB-LNX
          Humboldt University Berlin, Numerical Mathematics          DC5918
--- Starting compilation
--- 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.016
--- 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 Cbc: elapsed 0:00:00.048

GAMS/Cbc 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.20.00, build Aug 23 2008
command line - GAMS/CBC -solve -quit
Continuous objective value is 6637.19 - 0.03 seconds
Optimal - objective value 6637.19
0 fixed, 0 tightened bounds, 0 strengthened rows, 2 substitutions
processed model has 825 rows, 2023 columns (170 integer) and 4019 elements
Pass   1: suminf.    1.21684 (4) obj. 6756.53 iterations 133
Pass   2: suminf.    0.87504 (3) obj. 6771.7 iterations 7
Pass   3: suminf.    0.00000 (0) obj. 7107.88 iterations 14
Solution found of 7107.88
Before mini branch and bound, 130 integers at bound fixed and 1685 continuous
Full problem 825 rows 2023 columns, reduced to 18 rows 21 columns
Mini branch and bound did not improve solution (0.04 seconds)
Round again with cutoff of 7060.81
Pass   4: suminf.    1.21684 (4) obj. 7060.81 iterations 204
Pass   5: suminf.    0.87504 (3) obj. 7060.81 iterations 11
Pass   6: suminf.    0.19182 (2) obj. 7060.81 iterations 61
Pass   7: suminf.    0.23223 (2) obj. 7060.81 iterations 30
Pass   8: suminf.    0.11736 (1) obj. 7060.81 iterations 12
Pass   9: suminf.    0.00000 (0) obj. 7060.81 iterations 9
Solution found of 7060.81
Before mini branch and bound, 129 integers at bound fixed and 1656 continuous
Full problem 825 rows 2023 columns, reduced to 20 rows 26 columns
Mini branch and bound improved solution from 7060.81 to 6929.06 (0.12 seconds)
Freeing continuous variables gives a solution of 6929.06
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.12 seconds)
Full problem 825 rows 2023 columns, reduced to 196 rows 446 columns
22 added rows had average density of 148.864
At root node, 22 cuts changed objective from 6637.19 to 6692.41 in 14 passes
Cut generator 0 (Probing) - 0 row cuts, 0 column cuts (0 active)  in 0.028 seconds - new frequency is 1000
Cut generator 1 (Gomory) - 793 row cuts, 0 column cuts (19 active)  in 0.108 seconds - new frequency is 1
Cut generator 2 (Knapsack) - 122 row cuts, 0 column cuts (2 active)  in 0.036 seconds - new frequency is 1
Cut generator 3 (Clique) - 0 row cuts, 0 column cuts (0 active)  in 0.004 seconds - new frequency is -100
Cut generator 4 (MixedIntegerRounding2) - 0 row cuts, 0 column cuts (0 active)  in 0.004 seconds - new frequency is -100
Cut generator 5 (FlowCover) - 0 row cuts, 0 column cuts (0 active)  in 0.104 seconds - new frequency is -100
Cut generator 6 (TwoMirCuts) - 188 row cuts, 0 column cuts (1 active)  in 0.052 seconds - new frequency is -100
Optimal - objective value 6692.41
Optimal - objective value 6692.41
After 0 nodes, 1 on tree, 6929.06 best solution, best possible 6692.41 (0.80 seconds)
After 100 nodes, 53 on tree, 6929.06 best solution, best possible 6699.83 (6.52 seconds)
After 200 nodes, 105 on tree, 6929.06 best solution, best possible 6699.83 (8.90 seconds)
After 300 nodes, 137 on tree, 6929.06 best solution, best possible 6699.83 (9.62 seconds)
Integer solution of 6922.25 found after 13210 iterations and 370 nodes (9.88 seconds)
Full problem 825 rows 2023 columns, reduced to 331 rows 724 columns
Integer solution of 6811.02 found by combine solutions after 13283 iterations and 371 nodes (15.50 seconds)
After 400 nodes, 114 on tree, 6811.02 best solution, best possible 6699.83 (15.84 seconds)
After 500 nodes, 163 on tree, 6811.02 best solution, best possible 6699.83 (17.17 seconds)
After 600 nodes, 213 on tree, 6811.02 best solution, best possible 6699.83 (18.33 seconds)
After 700 nodes, 265 on tree, 6811.02 best solution, best possible 6699.83 (19.59 seconds)
After 800 nodes, 314 on tree, 6811.02 best solution, best possible 6699.83 (20.77 seconds)
After 900 nodes, 364 on tree, 6811.02 best solution, best possible 6699.83 (21.98 seconds)
After 1000 nodes, 412 on tree, 6811.02 best solution, best possible 6699.83 (23.13 seconds)
After 1100 nodes, 462 on tree, 6811.02 best solution, best possible 6699.83 (24.21 seconds)
After 1200 nodes, 512 on tree, 6811.02 best solution, best possible 6699.83 (25.13 seconds)
After 1300 nodes, 561 on tree, 6811.02 best solution, best possible 6699.83 (26.24 seconds)
After 1400 nodes, 612 on tree, 6811.02 best solution, best possible 6699.83 (27.37 seconds)
After 1500 nodes, 661 on tree, 6811.02 best solution, best possible 6699.83 (28.38 seconds)
After 1600 nodes, 710 on tree, 6811.02 best solution, best possible 6699.83 (29.34 seconds)
After 1700 nodes, 761 on tree, 6811.02 best solution, best possible 6699.83 (30.31 seconds)
After 1800 nodes, 810 on tree, 6811.02 best solution, best possible 6699.83 (31.22 seconds)
After 1900 nodes, 862 on tree, 6811.02 best solution, best possible 6699.83 (32.17 seconds)
After 2000 nodes, 911 on tree, 6811.02 best solution, best possible 6699.83 (33.00 seconds)
After 2100 nodes, 961 on tree, 6811.02 best solution, best possible 6699.83 (33.92 seconds)
After 2200 nodes, 1011 on tree, 6811.02 best solution, best possible 6699.83 (34.82 seconds)
After 2300 nodes, 1061 on tree, 6811.02 best solution, best possible 6699.83 (35.55 seconds)
After 2400 nodes, 1111 on tree, 6811.02 best solution, best possible 6699.83 (36.28 seconds)
Integer solution of 6756.25 found after 90325 iterations and 2452 nodes (36.66 seconds)
Full problem 825 rows 2023 columns, reduced to 370 rows 820 columns
After 2500 nodes, 835 on tree, 6756.25 best solution, best possible 6699.83 (38.83 seconds)
After 2600 nodes, 882 on tree, 6756.25 best solution, best possible 6699.83 (40.13 seconds)
After 2700 nodes, 931 on tree, 6756.25 best solution, best possible 6699.83 (41.39 seconds)
After 2800 nodes, 977 on tree, 6756.25 best solution, best possible 6699.83 (42.71 seconds)
After 2900 nodes, 1025 on tree, 6756.25 best solution, best possible 6699.83 (44.01 seconds)
After 3000 nodes, 1069 on tree, 6756.25 best solution, best possible 6699.83 (45.05 seconds)
After 3100 nodes, 1114 on tree, 6756.25 best solution, best possible 6699.83 (46.20 seconds)
After 3200 nodes, 1158 on tree, 6756.25 best solution, best possible 6699.83 (47.30 seconds)
After 3300 nodes, 1203 on tree, 6756.25 best solution, best possible 6699.83 (48.30 seconds)
After 3400 nodes, 1252 on tree, 6756.25 best solution, best possible 6699.83 (49.27 seconds)
After 3500 nodes, 1300 on tree, 6756.25 best solution, best possible 6699.83 (50.19 seconds)
After 3600 nodes, 1348 on tree, 6756.25 best solution, best possible 6705.48 (51.29 seconds)
After 3700 nodes, 1395 on tree, 6756.25 best solution, best possible 6705.48 (52.44 seconds)
After 3800 nodes, 1443 on tree, 6756.25 best solution, best possible 6705.48 (53.85 seconds)
After 3900 nodes, 1493 on tree, 6756.25 best solution, best possible 6705.48 (54.97 seconds)
After 4000 nodes, 1536 on tree, 6756.25 best solution, best possible 6705.48 (55.96 seconds)
After 4100 nodes, 1577 on tree, 6756.25 best solution, best possible 6705.48 (57.18 seconds)
After 4200 nodes, 1620 on tree, 6756.25 best solution, best possible 6705.48 (58.47 seconds)
After 4300 nodes, 1659 on tree, 6756.25 best solution, best possible 6705.48 (59.53 seconds)
After 4400 nodes, 1705 on tree, 6756.25 best solution, best possible 6705.48 (60.65 seconds)
After 4500 nodes, 1748 on tree, 6756.25 best solution, best possible 6705.48 (61.77 seconds)
After 4600 nodes, 1796 on tree, 6756.25 best solution, best possible 6706.36 (63.09 seconds)
After 4700 nodes, 1834 on tree, 6756.25 best solution, best possible 6706.36 (64.23 seconds)
After 4800 nodes, 1877 on tree, 6756.25 best solution, best possible 6706.36 (65.46 seconds)
After 4900 nodes, 1922 on tree, 6756.25 best solution, best possible 6706.36 (66.73 seconds)
After 5000 nodes, 1969 on tree, 6756.25 best solution, best possible 6706.36 (68.12 seconds)
After 5100 nodes, 2013 on tree, 6756.25 best solution, best possible 6706.36 (69.25 seconds)
After 5200 nodes, 2058 on tree, 6756.25 best solution, best possible 6706.36 (70.39 seconds)
After 5300 nodes, 2105 on tree, 6756.25 best solution, best possible 6706.36 (71.51 seconds)
After 5400 nodes, 2153 on tree, 6756.25 best solution, best possible 6706.36 (72.70 seconds)
After 5500 nodes, 2193 on tree, 6756.25 best solution, best possible 6706.36 (73.93 seconds)
After 5600 nodes, 2239 on tree, 6756.25 best solution, best possible 6706.36 (74.99 seconds)
After 5700 nodes, 2278 on tree, 6756.25 best solution, best possible 6706.36 (76.25 seconds)
After 5800 nodes, 2319 on tree, 6756.25 best solution, best possible 6706.36 (77.54 seconds)
After 5900 nodes, 2361 on tree, 6756.25 best solution, best possible 6706.36 (78.60 seconds)
After 6000 nodes, 2409 on tree, 6756.25 best solution, best possible 6706.36 (79.68 seconds)
After 6100 nodes, 2453 on tree, 6756.25 best solution, best possible 6706.36 (80.85 seconds)
After 6200 nodes, 2494 on tree, 6756.25 best solution, best possible 6706.36 (82.03 seconds)
After 6300 nodes, 2533 on tree, 6756.25 best solution, best possible 6706.36 (83.18 seconds)
After 6400 nodes, 2570 on tree, 6756.25 best solution, best possible 6706.36 (84.45 seconds)
After 6500 nodes, 2608 on tree, 6756.25 best solution, best possible 6706.36 (85.75 seconds)
After 6600 nodes, 2654 on tree, 6756.25 best solution, best possible 6706.36 (86.84 seconds)
After 6700 nodes, 2699 on tree, 6756.25 best solution, best possible 6706.36 (88.27 seconds)
After 6800 nodes, 2746 on tree, 6756.25 best solution, best possible 6706.36 (89.61 seconds)
After 6900 nodes, 2786 on tree, 6756.25 best solution, best possible 6706.36 (90.87 seconds)
After 7000 nodes, 2828 on tree, 6756.25 best solution, best possible 6706.36 (92.01 seconds)
After 7100 nodes, 2869 on tree, 6756.25 best solution, best possible 6706.36 (92.90 seconds)
After 7200 nodes, 2912 on tree, 6756.25 best solution, best possible 6706.36 (94.03 seconds)
After 7300 nodes, 2954 on tree, 6756.25 best solution, best possible 6706.36 (95.27 seconds)
After 7400 nodes, 2993 on tree, 6756.25 best solution, best possible 6706.36 (96.44 seconds)
After 7500 nodes, 3030 on tree, 6756.25 best solution, best possible 6706.36 (97.59 seconds)
After 7600 nodes, 3074 on tree, 6756.25 best solution, best possible 6706.36 (98.81 seconds)
After 7700 nodes, 3116 on tree, 6756.25 best solution, best possible 6706.36 (100.06 seconds)
After 7800 nodes, 3160 on tree, 6756.25 best solution, best possible 6706.36 (101.21 seconds)
After 7900 nodes, 3193 on tree, 6756.25 best solution, best possible 6706.36 (102.34 seconds)
After 8000 nodes, 3235 on tree, 6756.25 best solution, best possible 6706.36 (103.69 seconds)
After 8100 nodes, 3271 on tree, 6756.25 best solution, best possible 6706.36 (104.79 seconds)
After 8200 nodes, 3318 on tree, 6756.25 best solution, best possible 6706.36 (105.97 seconds)
After 8300 nodes, 3360 on tree, 6756.25 best solution, best possible 6707.8 (107.17 seconds)
After 8400 nodes, 3407 on tree, 6756.25 best solution, best possible 6707.8 (108.39 seconds)
After 8500 nodes, 3446 on tree, 6756.25 best solution, best possible 6707.8 (109.67 seconds)
After 8600 nodes, 3491 on tree, 6756.25 best solution, best possible 6707.8 (110.73 seconds)
After 8700 nodes, 3535 on tree, 6756.25 best solution, best possible 6707.8 (112.02 seconds)
After 8800 nodes, 3580 on tree, 6756.25 best solution, best possible 6707.86 (113.42 seconds)
After 8900 nodes, 3630 on tree, 6756.25 best solution, best possible 6707.86 (114.66 seconds)
After 9000 nodes, 3676 on tree, 6756.25 best solution, best possible 6707.86 (116.06 seconds)
After 9100 nodes, 3719 on tree, 6756.25 best solution, best possible 6708.59 (117.39 seconds)
After 9200 nodes, 3762 on tree, 6756.25 best solution, best possible 6709.66 (118.54 seconds)
After 9300 nodes, 3804 on tree, 6756.25 best solution, best possible 6709.66 (119.61 seconds)
After 9400 nodes, 3843 on tree, 6756.25 best solution, best possible 6709.66 (120.89 seconds)
After 9500 nodes, 3876 on tree, 6756.25 best solution, best possible 6709.66 (121.98 seconds)
After 9600 nodes, 3914 on tree, 6756.25 best solution, best possible 6709.66 (123.12 seconds)
After 9700 nodes, 3960 on tree, 6756.25 best solution, best possible 6709.66 (124.34 seconds)
After 9800 nodes, 4002 on tree, 6756.25 best solution, best possible 6709.66 (125.50 seconds)
After 9900 nodes, 4040 on tree, 6756.25 best solution, best possible 6709.66 (126.58 seconds)
After 10000 nodes, 4078 on tree, 6756.25 best solution, best possible 6709.66 (127.58 seconds)
Integer solution of 6747.33 found after 362013 iterations and 10044 nodes (128.22 seconds)
Full problem 825 rows 2023 columns, reduced to 388 rows 867 columns
After 10100 nodes, 3214 on tree, 6747.33 best solution, best possible 6709.66 (129.79 seconds)
After 10200 nodes, 3262 on tree, 6747.33 best solution, best possible 6709.66 (131.14 seconds)
After 10300 nodes, 3300 on tree, 6747.33 best solution, best possible 6709.66 (132.52 seconds)
After 10400 nodes, 3333 on tree, 6747.33 best solution, best possible 6709.66 (133.66 seconds)
After 10500 nodes, 3371 on tree, 6747.33 best solution, best possible 6709.66 (134.87 seconds)
After 10600 nodes, 3411 on tree, 6747.33 best solution, best possible 6709.66 (136.01 seconds)
After 10700 nodes, 3456 on tree, 6747.33 best solution, best possible 6709.66 (137.24 seconds)
After 10800 nodes, 3490 on tree, 6747.33 best solution, best possible 6709.66 (138.52 seconds)
After 10900 nodes, 3523 on tree, 6747.33 best solution, best possible 6709.66 (139.57 seconds)
After 11000 nodes, 3557 on tree, 6747.33 best solution, best possible 6709.66 (140.66 seconds)
After 11100 nodes, 3603 on tree, 6747.33 best solution, best possible 6715.96 (141.82 seconds)
After 11200 nodes, 3651 on tree, 6747.33 best solution, best possible 6717.03 (142.78 seconds)
After 11300 nodes, 3697 on tree, 6747.33 best solution, best possible 6717.99 (143.74 seconds)
After 11400 nodes, 3743 on tree, 6747.33 best solution, best possible 6718.86 (144.97 seconds)
After 11500 nodes, 3790 on tree, 6747.33 best solution, best possible 6719.37 (146.11 seconds)
After 11600 nodes, 3835 on tree, 6747.33 best solution, best possible 6719.81 (147.09 seconds)
After 11700 nodes, 3881 on tree, 6747.33 best solution, best possible 6720.3 (148.39 seconds)
After 11800 nodes, 3925 on tree, 6747.33 best solution, best possible 6720.63 (149.47 seconds)
After 11900 nodes, 3973 on tree, 6747.33 best solution, best possible 6721.04 (150.76 seconds)
After 12000 nodes, 4017 on tree, 6747.33 best solution, best possible 6721.44 (151.67 seconds)
After 12100 nodes, 4063 on tree, 6747.33 best solution, best possible 6721.79 (152.81 seconds)
After 12200 nodes, 4103 on tree, 6747.33 best solution, best possible 6722.09 (153.85 seconds)
After 12300 nodes, 4151 on tree, 6747.33 best solution, best possible 6722.33 (154.80 seconds)
After 12400 nodes, 4196 on tree, 6747.33 best solution, best possible 6722.6 (156.00 seconds)
After 12500 nodes, 4238 on tree, 6747.33 best solution, best possible 6722.83 (156.86 seconds)
After 12600 nodes, 4285 on tree, 6747.33 best solution, best possible 6723.02 (158.05 seconds)
After 12700 nodes, 4333 on tree, 6747.33 best solution, best possible 6723.19 (159.08 seconds)
After 12800 nodes, 4381 on tree, 6747.33 best solution, best possible 6723.38 (160.15 seconds)
After 12900 nodes, 4426 on tree, 6747.33 best solution, best possible 6723.59 (161.14 seconds)
After 13000 nodes, 4473 on tree, 6747.33 best solution, best possible 6723.74 (162.12 seconds)
After 13100 nodes, 4516 on tree, 6747.33 best solution, best possible 6723.74 (163.34 seconds)
After 13200 nodes, 4556 on tree, 6747.33 best solution, best possible 6723.74 (164.74 seconds)
After 13300 nodes, 4601 on tree, 6747.33 best solution, best possible 6723.74 (166.14 seconds)
After 13400 nodes, 4644 on tree, 6747.33 best solution, best possible 6723.74 (167.31 seconds)
After 13500 nodes, 4682 on tree, 6747.33 best solution, best possible 6723.74 (168.62 seconds)
After 13600 nodes, 4718 on tree, 6747.33 best solution, best possible 6723.74 (169.99 seconds)
After 13700 nodes, 4753 on tree, 6747.33 best solution, best possible 6723.74 (171.13 seconds)
After 13800 nodes, 4792 on tree, 6747.33 best solution, best possible 6723.74 (172.35 seconds)
After 13900 nodes, 4820 on tree, 6747.33 best solution, best possible 6723.74 (173.66 seconds)
After 14000 nodes, 4850 on tree, 6747.33 best solution, best possible 6723.74 (174.83 seconds)
After 14100 nodes, 4891 on tree, 6747.33 best solution, best possible 6723.99 (175.87 seconds)
After 14200 nodes, 4935 on tree, 6747.33 best solution, best possible 6724.21 (176.77 seconds)
After 14300 nodes, 4974 on tree, 6747.33 best solution, best possible 6724.44 (177.69 seconds)
After 14400 nodes, 5018 on tree, 6747.33 best solution, best possible 6724.66 (178.65 seconds)
After 14500 nodes, 5061 on tree, 6747.33 best solution, best possible 6724.8 (179.61 seconds)
After 14600 nodes, 5101 on tree, 6747.33 best solution, best possible 6725.01 (180.59 seconds)
After 14700 nodes, 5142 on tree, 6747.33 best solution, best possible 6725.17 (181.50 seconds)
After 14800 nodes, 5185 on tree, 6747.33 best solution, best possible 6725.34 (182.59 seconds)
After 14900 nodes, 5229 on tree, 6747.33 best solution, best possible 6725.48 (183.76 seconds)
After 15000 nodes, 5267 on tree, 6747.33 best solution, best possible 6725.62 (184.83 seconds)
After 15100 nodes, 5308 on tree, 6747.33 best solution, best possible 6725.74 (185.85 seconds)
After 15200 nodes, 5351 on tree, 6747.33 best solution, best possible 6725.83 (187.06 seconds)
After 15300 nodes, 5391 on tree, 6747.33 best solution, best possible 6725.94 (188.10 seconds)
After 15400 nodes, 5435 on tree, 6747.33 best solution, best possible 6726.05 (189.09 seconds)
After 15500 nodes, 5481 on tree, 6747.33 best solution, best possible 6726.16 (190.03 seconds)
After 15600 nodes, 5520 on tree, 6747.33 best solution, best possible 6726.27 (191.08 seconds)
After 15700 nodes, 5558 on tree, 6747.33 best solution, best possible 6726.37 (192.03 seconds)
After 15800 nodes, 5597 on tree, 6747.33 best solution, best possible 6726.47 (193.20 seconds)
After 15900 nodes, 5637 on tree, 6747.33 best solution, best possible 6726.58 (194.20 seconds)
After 16000 nodes, 5673 on tree, 6747.33 best solution, best possible 6726.67 (195.24 seconds)
After 16100 nodes, 5710 on tree, 6747.33 best solution, best possible 6726.75 (196.18 seconds)
After 16200 nodes, 5751 on tree, 6747.33 best solution, best possible 6726.86 (197.20 seconds)
After 16300 nodes, 5791 on tree, 6747.33 best solution, best possible 6726.95 (198.38 seconds)
After 16400 nodes, 5832 on tree, 6747.33 best solution, best possible 6727.03 (199.32 seconds)
After 16500 nodes, 5868 on tree, 6747.33 best solution, best possible 6727.13 (200.26 seconds)
After 16600 nodes, 5906 on tree, 6747.33 best solution, best possible 6727.22 (201.44 seconds)
After 16700 nodes, 5951 on tree, 6747.33 best solution, best possible 6727.3 (202.56 seconds)
After 16800 nodes, 5993 on tree, 6747.33 best solution, best possible 6727.38 (203.66 seconds)
After 16900 nodes, 6035 on tree, 6747.33 best solution, best possible 6727.47 (204.54 seconds)
After 17000 nodes, 6072 on tree, 6747.33 best solution, best possible 6727.53 (205.56 seconds)
After 17100 nodes, 6115 on tree, 6747.33 best solution, best possible 6727.53 (206.86 seconds)
After 17200 nodes, 6150 on tree, 6747.33 best solution, best possible 6727.53 (208.19 seconds)
After 17300 nodes, 6172 on tree, 6747.33 best solution, best possible 6727.53 (209.52 seconds)
After 17400 nodes, 6206 on tree, 6747.33 best solution, best possible 6727.53 (210.73 seconds)
After 17500 nodes, 6242 on tree, 6747.33 best solution, best possible 6727.53 (211.95 seconds)
After 17600 nodes, 6275 on tree, 6747.33 best solution, best possible 6727.53 (213.07 seconds)
After 17700 nodes, 6310 on tree, 6747.33 best solution, best possible 6727.53 (214.10 seconds)
After 17800 nodes, 6345 on tree, 6747.33 best solution, best possible 6727.53 (215.22 seconds)
After 17900 nodes, 6377 on tree, 6747.33 best solution, best possible 6727.53 (216.55 seconds)
After 18000 nodes, 6395 on tree, 6747.33 best solution, best possible 6727.53 (217.70 seconds)
After 18100 nodes, 6438 on tree, 6747.33 best solution, best possible 6727.64 (218.69 seconds)
After 18200 nodes, 6471 on tree, 6747.33 best solution, best possible 6727.71 (219.65 seconds)
After 18300 nodes, 6509 on tree, 6747.33 best solution, best possible 6727.81 (220.55 seconds)
After 18400 nodes, 6545 on tree, 6747.33 best solution, best possible 6727.89 (221.40 seconds)
After 18500 nodes, 6588 on tree, 6747.33 best solution, best possible 6727.95 (222.38 seconds)
After 18600 nodes, 6623 on tree, 6747.33 best solution, best possible 6728.04 (223.43 seconds)
After 18700 nodes, 6664 on tree, 6747.33 best solution, best possible 6728.12 (224.37 seconds)
After 18800 nodes, 6707 on tree, 6747.33 best solution, best possible 6728.18 (225.23 seconds)
After 18900 nodes, 6742 on tree, 6747.33 best solution, best possible 6728.26 (226.25 seconds)
After 19000 nodes, 6786 on tree, 6747.33 best solution, best possible 6728.34 (227.17 seconds)
After 19100 nodes, 6819 on tree, 6747.33 best solution, best possible 6728.4 (228.23 seconds)
After 19200 nodes, 6859 on tree, 6747.33 best solution, best possible 6728.48 (229.25 seconds)
After 19300 nodes, 6895 on tree, 6747.33 best solution, best possible 6728.56 (230.32 seconds)
After 19400 nodes, 6936 on tree, 6747.33 best solution, best possible 6728.63 (231.29 seconds)
After 19500 nodes, 6977 on tree, 6747.33 best solution, best possible 6728.7 (232.25 seconds)
After 19600 nodes, 7019 on tree, 6747.33 best solution, best possible 6728.76 (233.23 seconds)
After 19700 nodes, 7059 on tree, 6747.33 best solution, best possible 6728.84 (234.31 seconds)
After 19800 nodes, 7095 on tree, 6747.33 best solution, best possible 6728.92 (235.20 seconds)
After 19900 nodes, 7133 on tree, 6747.33 best solution, best possible 6728.98 (236.21 seconds)
After 20000 nodes, 7175 on tree, 6747.33 best solution, best possible 6729.03 (237.17 seconds)
After 20100 nodes, 7218 on tree, 6747.33 best solution, best possible 6729.09 (238.19 seconds)
After 20200 nodes, 7254 on tree, 6747.33 best solution, best possible 6729.14 (239.12 seconds)
After 20300 nodes, 7293 on tree, 6747.33 best solution, best possible 6729.21 (240.12 seconds)
After 20400 nodes, 7336 on tree, 6747.33 best solution, best possible 6729.27 (241.06 seconds)
After 20500 nodes, 7372 on tree, 6747.33 best solution, best possible 6729.32 (242.12 seconds)
After 20600 nodes, 7404 on tree, 6747.33 best solution, best possible 6729.37 (243.10 seconds)
After 20700 nodes, 7439 on tree, 6747.33 best solution, best possible 6729.43 (244.17 seconds)
After 20800 nodes, 7479 on tree, 6747.33 best solution, best possible 6729.48 (245.02 seconds)
After 20900 nodes, 7521 on tree, 6747.33 best solution, best possible 6729.53 (245.93 seconds)
After 21000 nodes, 7560 on tree, 6747.33 best solution, best possible 6729.59 (246.96 seconds)
After 21100 nodes, 7596 on tree, 6747.33 best solution, best possible 6729.59 (248.31 seconds)
After 21200 nodes, 7625 on tree, 6747.33 best solution, best possible 6729.59 (249.46 seconds)
After 21300 nodes, 7659 on tree, 6747.33 best solution, best possible 6729.59 (250.46 seconds)
After 21400 nodes, 7690 on tree, 6747.33 best solution, best possible 6729.59 (251.67 seconds)
After 21500 nodes, 7716 on tree, 6747.33 best solution, best possible 6729.59 (252.92 seconds)
After 21600 nodes, 7743 on tree, 6747.33 best solution, best possible 6729.59 (254.07 seconds)
After 21700 nodes, 7762 on tree, 6747.33 best solution, best possible 6729.59 (255.32 seconds)
After 21800 nodes, 7778 on tree, 6747.33 best solution, best possible 6729.59 (256.43 seconds)
After 21900 nodes, 7799 on tree, 6747.33 best solution, best possible 6729.59 (257.43 seconds)
After 22000 nodes, 7823 on tree, 6747.33 best solution, best possible 6729.59 (258.55 seconds)
After 22100 nodes, 7855 on tree, 6747.33 best solution, best possible 6729.65 (259.58 seconds)
After 22200 nodes, 7895 on tree, 6747.33 best solution, best possible 6729.71 (260.53 seconds)
After 22300 nodes, 7930 on tree, 6747.33 best solution, best possible 6729.77 (261.54 seconds)
After 22400 nodes, 7969 on tree, 6747.33 best solution, best possible 6729.83 (262.48 seconds)
After 22500 nodes, 8003 on tree, 6747.33 best solution, best possible 6729.89 (263.62 seconds)
After 22600 nodes, 8040 on tree, 6747.33 best solution, best possible 6729.95 (264.58 seconds)
After 22700 nodes, 8075 on tree, 6747.33 best solution, best possible 6729.99 (265.59 seconds)
After 22800 nodes, 8115 on tree, 6747.33 best solution, best possible 6730.05 (266.61 seconds)
After 22900 nodes, 8155 on tree, 6747.33 best solution, best possible 6730.09 (267.60 seconds)
After 23000 nodes, 8190 on tree, 6747.33 best solution, best possible 6730.14 (268.56 seconds)
After 23100 nodes, 8226 on tree, 6747.33 best solution, best possible 6730.18 (269.44 seconds)
After 23200 nodes, 8263 on tree, 6747.33 best solution, best possible 6730.24 (270.30 seconds)
After 23300 nodes, 8303 on tree, 6747.33 best solution, best possible 6730.28 (271.33 seconds)
After 23400 nodes, 8341 on tree, 6747.33 best solution, best possible 6730.35 (272.31 seconds)
After 23500 nodes, 8382 on tree, 6747.33 best solution, best possible 6730.41 (273.39 seconds)
After 23600 nodes, 8421 on tree, 6747.33 best solution, best possible 6730.45 (274.25 seconds)
After 23700 nodes, 8457 on tree, 6747.33 best solution, best possible 6730.49 (275.13 seconds)
After 23800 nodes, 8493 on tree, 6747.33 best solution, best possible 6730.53 (276.02 seconds)
After 23900 nodes, 8529 on tree, 6747.33 best solution, best possible 6730.57 (277.10 seconds)
After 24000 nodes, 8567 on tree, 6747.33 best solution, best possible 6730.62 (277.95 seconds)
After 24100 nodes, 8600 on tree, 6747.33 best solution, best possible 6730.67 (278.89 seconds)
After 24200 nodes, 8637 on tree, 6747.33 best solution, best possible 6730.71 (279.93 seconds)
After 24300 nodes, 8673 on tree, 6747.33 best solution, best possible 6730.76 (280.80 seconds)
After 24400 nodes, 8713 on tree, 6747.33 best solution, best possible 6730.81 (281.74 seconds)
After 24500 nodes, 8754 on tree, 6747.33 best solution, best possible 6730.85 (282.80 seconds)
After 24600 nodes, 8789 on tree, 6747.33 best solution, best possible 6730.9 (283.71 seconds)
After 24700 nodes, 8824 on tree, 6747.33 best solution, best possible 6730.94 (284.63 seconds)
After 24800 nodes, 8862 on tree, 6747.33 best solution, best possible 6730.98 (285.49 seconds)
After 24900 nodes, 8890 on tree, 6747.33 best solution, best possible 6731.02 (286.41 seconds)
After 25000 nodes, 8928 on tree, 6747.33 best solution, best possible 6731.06 (287.60 seconds)
After 25100 nodes, 8962 on tree, 6747.33 best solution, best possible 6731.06 (288.73 seconds)
After 25200 nodes, 8994 on tree, 6747.33 best solution, best possible 6731.06 (289.80 seconds)
After 25300 nodes, 9018 on tree, 6747.33 best solution, best possible 6731.06 (290.97 seconds)
After 25400 nodes, 9041 on tree, 6747.33 best solution, best possible 6731.06 (292.16 seconds)
After 25500 nodes, 9056 on tree, 6747.33 best solution, best possible 6731.06 (293.30 seconds)
After 25600 nodes, 9083 on tree, 6747.33 best solution, best possible 6731.06 (294.32 seconds)
After 25700 nodes, 9096 on tree, 6747.33 best solution, best possible 6731.06 (295.42 seconds)
After 25800 nodes, 9121 on tree, 6747.33 best solution, best possible 6731.06 (296.59 seconds)
After 25900 nodes, 9152 on tree, 6747.33 best solution, best possible 6731.06 (297.67 seconds)
After 26000 nodes, 9181 on tree, 6747.33 best solution, best possible 6731.06 (298.84 seconds)
After 26100 nodes, 9219 on tree, 6747.33 best solution, best possible 6731.11 (299.75 seconds)
After 26200 nodes, 9256 on tree, 6747.33 best solution, best possible 6731.16 (300.67 seconds)
After 26300 nodes, 9289 on tree, 6747.33 best solution, best possible 6731.19 (301.53 seconds)
After 26400 nodes, 9323 on tree, 6747.33 best solution, best possible 6731.24 (302.57 seconds)
After 26500 nodes, 9361 on tree, 6747.33 best solution, best possible 6731.28 (303.54 seconds)
After 26600 nodes, 9399 on tree, 6747.33 best solution, best possible 6731.32 (304.42 seconds)
After 26700 nodes, 9438 on tree, 6747.33 best solution, best possible 6731.37 (305.40 seconds)
After 26800 nodes, 9473 on tree, 6747.33 best solution, best possible 6731.41 (306.44 seconds)
After 26900 nodes, 9506 on tree, 6747.33 best solution, best possible 6731.45 (307.38 seconds)
After 27000 nodes, 9534 on tree, 6747.33 best solution, best possible 6731.48 (308.38 seconds)
After 27100 nodes, 9568 on tree, 6747.33 best solution, best possible 6731.52 (309.25 seconds)
After 27200 nodes, 9603 on tree, 6747.33 best solution, best possible 6731.56 (310.12 seconds)
After 27300 nodes, 9636 on tree, 6747.33 best solution, best possible 6731.6 (311.00 seconds)
After 27400 nodes, 9679 on tree, 6747.33 best solution, best possible 6731.64 (312.07 seconds)
After 27500 nodes, 9713 on tree, 6747.33 best solution, best possible 6731.67 (312.95 seconds)
After 27600 nodes, 9749 on tree, 6747.33 best solution, best possible 6731.7 (313.89 seconds)
After 27700 nodes, 9783 on tree, 6747.33 best solution, best possible 6731.73 (314.84 seconds)
After 27800 nodes, 9822 on tree, 6747.33 best solution, best possible 6731.76 (315.68 seconds)
After 27900 nodes, 9861 on tree, 6747.33 best solution, best possible 6731.8 (316.56 seconds)
After 28000 nodes, 9901 on tree, 6747.33 best solution, best possible 6731.83 (317.49 seconds)
After 28100 nodes, 9937 on tree, 6747.33 best solution, best possible 6731.86 (318.31 seconds)
After 28200 nodes, 9968 on tree, 6747.33 best solution, best possible 6731.89 (319.23 seconds)
After 28300 nodes, 10001 on tree, 6747.33 best solution, best possible 6731.92 (320.21 seconds)
After 28400 nodes, 10031 on tree, 6747.33 best solution, best possible 6731.96 (321.10 seconds)
After 28500 nodes, 10057 on tree, 6747.33 best solution, best possible 6732 (322.13 seconds)
After 28600 nodes, 10088 on tree, 6747.33 best solution, best possible 6732.03 (323.15 seconds)
After 28700 nodes, 10122 on tree, 6747.33 best solution, best possible 6732.07 (324.09 seconds)
After 28800 nodes, 10161 on tree, 6747.33 best solution, best possible 6732.11 (324.98 seconds)
After 28900 nodes, 10198 on tree, 6747.33 best solution, best possible 6732.14 (326.04 seconds)
After 29000 nodes, 10234 on tree, 6747.33 best solution, best possible 6732.18 (326.90 seconds)
After 29100 nodes, 10270 on tree, 6747.33 best solution, best possible 6732.21 (327.82 seconds)
After 29200 nodes, 10308 on tree, 6747.33 best solution, best possible 6732.24 (328.65 seconds)
After 29300 nodes, 10344 on tree, 6747.33 best solution, best possible 6732.27 (329.61 seconds)
After 29400 nodes, 10376 on tree, 6747.33 best solution, best possible 6732.29 (330.51 seconds)
After 29500 nodes, 10413 on tree, 6747.33 best solution, best possible 6732.33 (331.37 seconds)
After 29600 nodes, 10439 on tree, 6747.33 best solution, best possible 6732.36 (332.35 seconds)
After 29700 nodes, 10470 on tree, 6747.33 best solution, best possible 6732.38 (333.38 seconds)
After 29800 nodes, 10500 on tree, 6747.33 best solution, best possible 6732.41 (334.27 seconds)
After 29900 nodes, 10535 on tree, 6747.33 best solution, best possible 6732.44 (335.25 seconds)
After 30000 nodes, 10564 on tree, 6747.33 best solution, best possible 6732.47 (336.30 seconds)
After 30100 nodes, 10591 on tree, 6747.33 best solution, best possible 6732.47 (337.43 seconds)
After 30200 nodes, 10618 on tree, 6747.33 best solution, best possible 6732.47 (338.53 seconds)
After 30300 nodes, 10639 on tree, 6747.33 best solution, best possible 6732.47 (339.64 seconds)
After 30400 nodes, 10660 on tree, 6747.33 best solution, best possible 6732.47 (340.71 seconds)
After 30500 nodes, 10688 on tree, 6747.33 best solution, best possible 6732.47 (341.68 seconds)
After 30600 nodes, 10708 on tree, 6747.33 best solution, best possible 6732.47 (342.81 seconds)
After 30700 nodes, 10727 on tree, 6747.33 best solution, best possible 6732.47 (344.05 seconds)
After 30800 nodes, 10737 on tree, 6747.33 best solution, best possible 6732.47 (345.25 seconds)
After 30900 nodes, 10752 on tree, 6747.33 best solution, best possible 6732.47 (346.37 seconds)
After 31000 nodes, 10766 on tree, 6747.33 best solution, best possible 6732.47 (347.47 seconds)
After 31100 nodes, 10778 on tree, 6747.33 best solution, best possible 6732.47 (348.59 seconds)
After 31200 nodes, 10796 on tree, 6747.33 best solution, best possible 6732.47 (349.74 seconds)
After 31300 nodes, 10821 on tree, 6747.33 best solution, best possible 6732.47 (350.68 seconds)
After 31400 nodes, 10832 on tree, 6747.33 best solution, best possible 6732.47 (351.76 seconds)
After 31500 nodes, 10849 on tree, 6747.33 best solution, best possible 6732.47 (352.75 seconds)
After 31600 nodes, 10865 on tree, 6747.33 best solution, best possible 6732.47 (353.64 seconds)
After 31700 nodes, 10879 on tree, 6747.33 best solution, best possible 6732.47 (354.89 seconds)
After 31800 nodes, 10891 on tree, 6747.33 best solution, best possible 6732.47 (355.95 seconds)
After 31900 nodes, 10909 on tree, 6747.33 best solution, best possible 6732.47 (357.03 seconds)
After 32000 nodes, 10921 on tree, 6747.33 best solution, best possible 6732.47 (358.03 seconds)
Integer solution of 6746.95 found after 966536 iterations and 32008 nodes (358.05 seconds)
Full problem 825 rows 2023 columns, reduced to 429 rows 963 columns
After 32100 nodes, 10762 on tree, 6746.95 best solution, best possible 6732.47 (359.91 seconds)
After 32200 nodes, 10777 on tree, 6746.95 best solution, best possible 6732.47 (361.01 seconds)
After 32300 nodes, 10775 on tree, 6746.95 best solution, best possible 6732.47 (362.05 seconds)
After 32400 nodes, 10785 on tree, 6746.95 best solution, best possible 6732.47 (363.21 seconds)
After 32500 nodes, 10797 on tree, 6746.95 best solution, best possible 6732.47 (364.13 seconds)
After 32600 nodes, 10810 on tree, 6746.95 best solution, best possible 6732.47 (365.16 seconds)
After 32700 nodes, 10820 on tree, 6746.95 best solution, best possible 6732.47 (366.16 seconds)
After 32800 nodes, 10831 on tree, 6746.95 best solution, best possible 6732.47 (367.28 seconds)
After 32900 nodes, 10840 on tree, 6746.95 best solution, best possible 6732.47 (368.21 seconds)
After 33000 nodes, 10859 on tree, 6746.95 best solution, best possible 6732.47 (369.26 seconds)
After 33100 nodes, 10894 on tree, 6746.95 best solution, best possible 6732.52 (370.10 seconds)
After 33200 nodes, 10931 on tree, 6746.95 best solution, best possible 6732.56 (370.97 seconds)
After 33300 nodes, 10957 on tree, 6746.95 best solution, best possible 6732.61 (371.88 seconds)
After 33400 nodes, 10992 on tree, 6746.95 best solution, best possible 6732.64 (372.79 seconds)
After 33500 nodes, 11028 on tree, 6746.95 best solution, best possible 6732.67 (373.58 seconds)
After 33600 nodes, 11058 on tree, 6746.95 best solution, best possible 6732.71 (374.60 seconds)
After 33700 nodes, 11093 on tree, 6746.95 best solution, best possible 6732.75 (375.53 seconds)
After 33800 nodes, 11126 on tree, 6746.95 best solution, best possible 6732.79 (376.46 seconds)
After 33900 nodes, 11164 on tree, 6746.95 best solution, best possible 6732.82 (377.40 seconds)
After 34000 nodes, 11196 on tree, 6746.95 best solution, best possible 6732.86 (378.47 seconds)
After 34100 nodes, 11221 on tree, 6746.95 best solution, best possible 6732.86 (379.42 seconds)
After 34200 nodes, 11242 on tree, 6746.95 best solution, best possible 6732.86 (380.61 seconds)
After 34300 nodes, 11264 on tree, 6746.95 best solution, best possible 6732.86 (381.56 seconds)
After 34400 nodes, 11294 on tree, 6746.95 best solution, best possible 6732.86 (382.61 seconds)
After 34500 nodes, 11301 on tree, 6746.95 best solution, best possible 6732.86 (383.53 seconds)
After 34600 nodes, 11319 on tree, 6746.95 best solution, best possible 6732.86 (384.47 seconds)
After 34700 nodes, 11337 on tree, 6746.95 best solution, best possible 6732.86 (385.45 seconds)
After 34800 nodes, 11355 on tree, 6746.95 best solution, best possible 6732.86 (386.50 seconds)
After 34900 nodes, 11371 on tree, 6746.95 best solution, best possible 6732.86 (387.26 seconds)
After 35000 nodes, 11381 on tree, 6746.95 best solution, best possible 6732.86 (388.33 seconds)
After 35100 nodes, 11402 on tree, 6746.95 best solution, best possible 6732.86 (389.27 seconds)
After 35200 nodes, 11415 on tree, 6746.95 best solution, best possible 6732.86 (390.18 seconds)
After 35300 nodes, 11429 on tree, 6746.95 best solution, best possible 6732.86 (391.14 seconds)
After 35400 nodes, 11430 on tree, 6746.95 best solution, best possible 6732.86 (392.02 seconds)
After 35500 nodes, 11436 on tree, 6746.95 best solution, best possible 6732.86 (392.87 seconds)
After 35600 nodes, 11443 on tree, 6746.95 best solution, best possible 6732.86 (393.73 seconds)
After 35700 nodes, 11448 on tree, 6746.95 best solution, best possible 6732.86 (394.73 seconds)
After 35800 nodes, 11470 on tree, 6746.95 best solution, best possible 6732.86 (395.52 seconds)
After 35900 nodes, 11488 on tree, 6746.95 best solution, best possible 6732.86 (396.52 seconds)
After 36000 nodes, 11500 on tree, 6746.95 best solution, best possible 6732.86 (397.40 seconds)
After 36100 nodes, 11465 on tree, 6746.95 best solution, best possible 6732.86 (397.84 seconds)
After 36200 nodes, 11428 on tree, 6746.95 best solution, best possible 6732.86 (398.35 seconds)
After 36300 nodes, 11396 on tree, 6746.95 best solution, best possible 6732.86 (398.91 seconds)
After 36400 nodes, 11372 on tree, 6746.95 best solution, best possible 6732.86 (399.52 seconds)
After 36500 nodes, 11348 on tree, 6746.95 best solution, best possible 6732.86 (400.17 seconds)
After 36600 nodes, 11331 on tree, 6746.95 best solution, best possible 6732.86 (400.71 seconds)
After 36700 nodes, 11321 on tree, 6746.95 best solution, best possible 6732.86 (401.31 seconds)
After 36800 nodes, 11292 on tree, 6746.95 best solution, best possible 6732.86 (402.01 seconds)
After 36900 nodes, 11268 on tree, 6746.95 best solution, best possible 6732.86 (402.59 seconds)
After 37000 nodes, 11250 on tree, 6746.95 best solution, best possible 6732.86 (403.19 seconds)
After 37100 nodes, 11287 on tree, 6746.95 best solution, best possible 6732.9 (404.03 seconds)
After 37200 nodes, 11321 on tree, 6746.95 best solution, best possible 6732.94 (404.90 seconds)
After 37300 nodes, 11352 on tree, 6746.95 best solution, best possible 6732.98 (405.78 seconds)
After 37400 nodes, 11379 on tree, 6746.95 best solution, best possible 6733.01 (406.69 seconds)
After 37500 nodes, 11416 on tree, 6746.95 best solution, best possible 6733.05 (407.49 seconds)
After 37600 nodes, 11451 on tree, 6746.95 best solution, best possible 6733.09 (408.50 seconds)
After 37700 nodes, 11487 on tree, 6746.95 best solution, best possible 6733.12 (409.24 seconds)
After 37800 nodes, 11524 on tree, 6746.95 best solution, best possible 6733.16 (410.16 seconds)
After 37900 nodes, 11556 on tree, 6746.95 best solution, best possible 6733.19 (411.04 seconds)
After 38000 nodes, 11591 on tree, 6746.95 best solution, best possible 6733.22 (411.92 seconds)
After 38100 nodes, 11616 on tree, 6746.95 best solution, best possible 6733.22 (412.90 seconds)
After 38200 nodes, 11626 on tree, 6746.95 best solution, best possible 6733.22 (414.10 seconds)
After 38300 nodes, 11644 on tree, 6746.95 best solution, best possible 6733.22 (415.03 seconds)
After 38400 nodes, 11658 on tree, 6746.95 best solution, best possible 6733.22 (415.95 seconds)
After 38500 nodes, 11669 on tree, 6746.95 best solution, best possible 6733.22 (416.86 seconds)
After 38600 nodes, 11685 on tree, 6746.95 best solution, best possible 6733.22 (417.68 seconds)
Integer solution of 6746.76 found after 1126061 iterations and 38608 nodes (417.75 seconds)
Full problem 825 rows 2023 columns, reduced to 437 rows 985 columns - too large
After 38700 nodes, 11616 on tree, 6746.76 best solution, best possible 6733.25 (418.66 seconds)
After 38800 nodes, 11654 on tree, 6746.76 best solution, best possible 6733.29 (419.54 seconds)
After 38900 nodes, 11681 on tree, 6746.76 best solution, best possible 6733.33 (420.37 seconds)
After 39000 nodes, 11707 on tree, 6746.76 best solution, best possible 6733.37 (421.23 seconds)
After 39100 nodes, 11722 on tree, 6746.76 best solution, best possible 6733.37 (422.07 seconds)
After 39200 nodes, 11734 on tree, 6746.76 best solution, best possible 6733.37 (422.95 seconds)
After 39300 nodes, 11742 on tree, 6746.76 best solution, best possible 6733.37 (423.84 seconds)
After 39400 nodes, 11757 on tree, 6746.76 best solution, best possible 6733.37 (424.67 seconds)
After 39500 nodes, 11772 on tree, 6746.76 best solution, best possible 6733.37 (425.75 seconds)
After 39600 nodes, 11777 on tree, 6746.76 best solution, best possible 6733.37 (426.67 seconds)
After 39700 nodes, 11794 on tree, 6746.76 best solution, best possible 6733.37 (427.58 seconds)
After 39800 nodes, 11811 on tree, 6746.76 best solution, best possible 6733.37 (428.42 seconds)
After 39900 nodes, 11830 on tree, 6746.76 best solution, best possible 6733.37 (429.35 seconds)
After 40000 nodes, 11841 on tree, 6746.76 best solution, best possible 6733.37 (430.28 seconds)
After 40100 nodes, 11807 on tree, 6746.76 best solution, best possible 6733.37 (430.77 seconds)
After 40200 nodes, 11776 on tree, 6746.76 best solution, best possible 6733.37 (431.42 seconds)
After 40300 nodes, 11759 on tree, 6746.76 best solution, best possible 6733.37 (431.94 seconds)
After 40400 nodes, 11742 on tree, 6746.76 best solution, best possible 6733.37 (432.38 seconds)
After 40500 nodes, 11740 on tree, 6746.76 best solution, best possible 6733.37 (432.80 seconds)
After 40600 nodes, 11716 on tree, 6746.76 best solution, best possible 6733.37 (433.50 seconds)
After 40700 nodes, 11717 on tree, 6746.76 best solution, best possible 6733.37 (433.93 seconds)
After 40800 nodes, 11683 on tree, 6746.76 best solution, best possible 6733.37 (434.65 seconds)
After 40900 nodes, 11667 on tree, 6746.76 best solution, best possible 6733.37 (435.33 seconds)
After 41000 nodes, 11660 on tree, 6746.76 best solution, best possible 6733.37 (435.80 seconds)
After 41100 nodes, 11698 on tree, 6746.76 best solution, best possible 6733.4 (436.57 seconds)
After 41200 nodes, 11733 on tree, 6746.76 best solution, best possible 6733.43 (437.52 seconds)
After 41300 nodes, 11761 on tree, 6746.76 best solution, best possible 6733.47 (438.44 seconds)
After 41400 nodes, 11791 on tree, 6746.76 best solution, best possible 6733.5 (439.24 seconds)
After 41500 nodes, 11822 on tree, 6746.76 best solution, best possible 6733.53 (440.16 seconds)
After 41600 nodes, 11853 on tree, 6746.76 best solution, best possible 6733.58 (441.10 seconds)
After 41700 nodes, 11884 on tree, 6746.76 best solution, best possible 6733.61 (441.92 seconds)
After 41800 nodes, 11922 on tree, 6746.76 best solution, best possible 6733.64 (442.83 seconds)
After 41900 nodes, 11953 on tree, 6746.76 best solution, best possible 6733.67 (443.65 seconds)
After 42000 nodes, 11985 on tree, 6746.76 best solution, best possible 6733.71 (444.54 seconds)
After 42100 nodes, 12018 on tree, 6746.76 best solution, best possible 6733.71 (445.55 seconds)
After 42200 nodes, 12033 on tree, 6746.76 best solution, best possible 6733.71 (446.58 seconds)
After 42300 nodes, 12050 on tree, 6746.76 best solution, best possible 6733.71 (447.67 seconds)
After 42400 nodes, 12066 on tree, 6746.76 best solution, best possible 6733.71 (448.68 seconds)
After 42500 nodes, 12079 on tree, 6746.76 best solution, best possible 6733.71 (449.61 seconds)
After 42600 nodes, 12093 on tree, 6746.76 best solution, best possible 6733.71 (450.33 seconds)
After 42700 nodes, 12106 on tree, 6746.76 best solution, best possible 6733.71 (451.25 seconds)
After 42800 nodes, 12120 on tree, 6746.76 best solution, best possible 6733.71 (452.12 seconds)
After 42900 nodes, 12135 on tree, 6746.76 best solution, best possible 6733.71 (452.98 seconds)
After 43000 nodes, 12148 on tree, 6746.76 best solution, best possible 6733.71 (453.94 seconds)
After 43100 nodes, 12155 on tree, 6746.76 best solution, best possible 6733.71 (454.85 seconds)
After 43200 nodes, 12161 on tree, 6746.76 best solution, best possible 6733.71 (455.80 seconds)
After 43300 nodes, 12184 on tree, 6746.76 best solution, best possible 6733.71 (456.62 seconds)
After 43400 nodes, 12187 on tree, 6746.76 best solution, best possible 6733.71 (457.40 seconds)
After 43500 nodes, 12193 on tree, 6746.76 best solution, best possible 6733.71 (458.47 seconds)
After 43600 nodes, 12203 on tree, 6746.76 best solution, best possible 6733.71 (459.29 seconds)
After 43700 nodes, 12211 on tree, 6746.76 best solution, best possible 6733.71 (460.06 seconds)
After 43800 nodes, 12233 on tree, 6746.76 best solution, best possible 6733.71 (460.98 seconds)
After 43900 nodes, 12247 on tree, 6746.76 best solution, best possible 6733.71 (461.75 seconds)
After 44000 nodes, 12265 on tree, 6746.76 best solution, best possible 6733.71 (462.67 seconds)
After 44100 nodes, 12230 on tree, 6746.76 best solution, best possible 6733.71 (463.12 seconds)
After 44200 nodes, 12200 on tree, 6746.76 best solution, best possible 6733.71 (463.66 seconds)
After 44300 nodes, 12181 on tree, 6746.76 best solution, best possible 6733.71 (464.25 seconds)
After 44400 nodes, 12182 on tree, 6746.76 best solution, best possible 6733.71 (464.70 seconds)
After 44500 nodes, 12157 on tree, 6746.76 best solution, best possible 6733.71 (465.17 seconds)
After 44600 nodes, 12140 on tree, 6746.76 best solution, best possible 6733.71 (465.69 seconds)
After 44700 nodes, 12141 on tree, 6746.76 best solution, best possible 6733.71 (466.13 seconds)
After 44800 nodes, 12115 on tree, 6746.76 best solution, best possible 6733.71 (466.79 seconds)
After 44900 nodes, 12088 on tree, 6746.76 best solution, best possible 6733.71 (467.42 seconds)
After 45000 nodes, 12073 on tree, 6746.76 best solution, best possible 6733.71 (467.98 seconds)
After 45100 nodes, 12102 on tree, 6746.76 best solution, best possible 6733.75 (468.86 seconds)
After 45200 nodes, 12131 on tree, 6746.76 best solution, best possible 6733.78 (469.72 seconds)
After 45300 nodes, 12161 on tree, 6746.76 best solution, best possible 6733.81 (470.69 seconds)
After 45400 nodes, 12190 on tree, 6746.76 best solution, best possible 6733.84 (471.49 seconds)
After 45500 nodes, 12223 on tree, 6746.76 best solution, best possible 6733.88 (472.41 seconds)
After 45600 nodes, 12254 on tree, 6746.76 best solution, best possible 6733.92 (473.14 seconds)
After 45700 nodes, 12277 on tree, 6746.76 best solution, best possible 6733.95 (474.10 seconds)
After 45800 nodes, 12309 on tree, 6746.76 best solution, best possible 6733.98 (474.85 seconds)
After 45900 nodes, 12340 on tree, 6746.76 best solution, best possible 6734.01 (475.79 seconds)
After 46000 nodes, 12365 on tree, 6746.76 best solution, best possible 6734.04 (476.72 seconds)
After 46100 nodes, 12390 on tree, 6746.76 best solution, best possible 6734.04 (477.55 seconds)
After 46200 nodes, 12409 on tree, 6746.76 best solution, best possible 6734.04 (478.40 seconds)
After 46300 nodes, 12412 on tree, 6746.76 best solution, best possible 6734.04 (479.37 seconds)
After 46400 nodes, 12422 on tree, 6746.76 best solution, best possible 6734.04 (480.22 seconds)
After 46500 nodes, 12438 on tree, 6746.76 best solution, best possible 6734.04 (481.00 seconds)
After 46600 nodes, 12453 on tree, 6746.76 best solution, best possible 6734.04 (481.73 seconds)
After 46700 nodes, 12461 on tree, 6746.76 best solution, best possible 6734.04 (482.51 seconds)
After 46800 nodes, 12477 on tree, 6746.76 best solution, best possible 6734.04 (483.36 seconds)
After 46900 nodes, 12485 on tree, 6746.76 best solution, best possible 6734.04 (484.30 seconds)
After 47000 nodes, 12498 on tree, 6746.76 best solution, best possible 6734.04 (485.07 seconds)
After 47100 nodes, 12511 on tree, 6746.76 best solution, best possible 6734.04 (485.95 seconds)
After 47200 nodes, 12526 on tree, 6746.76 best solution, best possible 6734.04 (486.74 seconds)
After 47300 nodes, 12537 on tree, 6746.76 best solution, best possible 6734.04 (487.51 seconds)
After 47400 nodes, 12559 on tree, 6746.76 best solution, best possible 6734.04 (488.21 seconds)
After 47500 nodes, 12557 on tree, 6746.76 best solution, best possible 6734.04 (489.04 seconds)
After 47600 nodes, 12564 on tree, 6746.76 best solution, best possible 6734.04 (489.93 seconds)
After 47700 nodes, 12568 on tree, 6746.76 best solution, best possible 6734.04 (490.76 seconds)
After 47800 nodes, 12578 on tree, 6746.76 best solution, best possible 6734.04 (491.62 seconds)
After 47900 nodes, 12584 on tree, 6746.76 best solution, best possible 6734.04 (492.37 seconds)
After 48000 nodes, 12589 on tree, 6746.76 best solution, best possible 6734.04 (493.15 seconds)
Integer solution of 6745.91 found after 1331836 iterations and 48038 nodes (493.30 seconds)
Full problem 825 rows 2023 columns, reduced to 444 rows 1004 columns - too large
After 48100 nodes, 11958 on tree, 6745.91 best solution, best possible 6734.06 (493.83 seconds)
After 48200 nodes, 11993 on tree, 6745.91 best solution, best possible 6734.09 (494.56 seconds)
After 48300 nodes, 12023 on tree, 6745.91 best solution, best possible 6734.14 (495.36 seconds)
After 48400 nodes, 12053 on tree, 6745.91 best solution, best possible 6734.17 (496.08 seconds)
After 48500 nodes, 12085 on tree, 6745.91 best solution, best possible 6734.2 (496.86 seconds)
After 48600 nodes, 12119 on tree, 6745.91 best solution, best possible 6734.22 (497.64 seconds)
After 48700 nodes, 12142 on tree, 6745.91 best solution, best possible 6734.26 (498.45 seconds)
After 48800 nodes, 12177 on tree, 6745.91 best solution, best possible 6734.29 (499.20 seconds)
After 48900 nodes, 12207 on tree, 6745.91 best solution, best possible 6734.32 (499.99 seconds)
After 49000 nodes, 12233 on tree, 6745.91 best solution, best possible 6734.35 (500.87 seconds)
After 49100 nodes, 12261 on tree, 6745.91 best solution, best possible 6734.38 (501.76 seconds)
After 49200 nodes, 12287 on tree, 6745.91 best solution, best possible 6734.41 (502.55 seconds)
After 49300 nodes, 12313 on tree, 6745.91 best solution, best possible 6734.44 (503.36 seconds)
After 49400 nodes, 12345 on tree, 6745.91 best solution, best possible 6734.46 (504.09 seconds)
After 49500 nodes, 12370 on tree, 6745.91 best solution, best possible 6734.48 (504.96 seconds)
After 49600 nodes, 12403 on tree, 6745.91 best solution, best possible 6734.51 (505.82 seconds)
After 49700 nodes, 12434 on tree, 6745.91 best solution, best possible 6734.54 (506.61 seconds)
After 49800 nodes, 12461 on tree, 6745.91 best solution, best possible 6734.56 (507.47 seconds)
After 49900 nodes, 12492 on tree, 6745.91 best solution, best possible 6734.59 (508.25 seconds)
After 50000 nodes, 12519 on tree, 6745.91 best solution, best possible 6734.62 (509.20 seconds)
After 50100 nodes, 12544 on tree, 6745.91 best solution, best possible 6734.62 (510.11 seconds)
After 50200 nodes, 12562 on tree, 6745.91 best solution, best possible 6734.62 (511.06 seconds)
After 50300 nodes, 12576 on tree, 6745.91 best solution, best possible 6734.62 (511.95 seconds)
After 50400 nodes, 12586 on tree, 6745.91 best solution, best possible 6734.62 (512.66 seconds)
After 50500 nodes, 12592 on tree, 6745.91 best solution, best possible 6734.62 (513.45 seconds)
After 50600 nodes, 12596 on tree, 6745.91 best solution, best possible 6734.62 (514.23 seconds)
After 50700 nodes, 12596 on tree, 6745.91 best solution, best possible 6734.62 (515.06 seconds)
After 50800 nodes, 12591 on tree, 6745.91 best solution, best possible 6734.62 (515.95 seconds)
After 50900 nodes, 12591 on tree, 6745.91 best solution, best possible 6734.62 (516.82 seconds)
After 51000 nodes, 12588 on tree, 6745.91 best solution, best possible 6734.62 (517.78 seconds)
After 51100 nodes, 12593 on tree, 6745.91 best solution, best possible 6734.62 (518.54 seconds)
After 51200 nodes, 12600 on tree, 6745.91 best solution, best possible 6734.62 (519.34 seconds)
After 51300 nodes, 12601 on tree, 6745.91 best solution, best possible 6734.62 (520.16 seconds)
After 51400 nodes, 12604 on tree, 6745.91 best solution, best possible 6734.62 (520.83 seconds)
After 51500 nodes, 12610 on tree, 6745.91 best solution, best possible 6734.62 (521.70 seconds)
After 51600 nodes, 12614 on tree, 6745.91 best solution, best possible 6734.62 (522.58 seconds)
After 51700 nodes, 12619 on tree, 6745.91 best solution, best possible 6734.62 (523.34 seconds)
After 51800 nodes, 12621 on tree, 6745.91 best solution, best possible 6734.62 (524.04 seconds)
After 51900 nodes, 12630 on tree, 6745.91 best solution, best possible 6734.62 (524.85 seconds)
After 52000 nodes, 12634 on tree, 6745.91 best solution, best possible 6734.62 (525.61 seconds)
After 52100 nodes, 12594 on tree, 6745.91 best solution, best possible 6734.62 (525.99 seconds)
After 52200 nodes, 12570 on tree, 6745.91 best solution, best possible 6734.62 (526.46 seconds)
After 52300 nodes, 12550 on tree, 6745.91 best solution, best possible 6734.62 (526.95 seconds)
After 52400 nodes, 12520 on tree, 6745.91 best solution, best possible 6734.62 (527.42 seconds)
After 52500 nodes, 12487 on tree, 6745.91 best solution, best possible 6734.62 (527.99 seconds)
Integer solution of 6743.58 found after 1429691 iterations and 52548 nodes (528.21 seconds)
Full problem 825 rows 2023 columns, reduced to 444 rows 1004 columns - too large
After 52600 nodes, 10417 on tree, 6743.58 best solution, best possible 6734.64 (528.83 seconds)
After 52700 nodes, 10434 on tree, 6743.58 best solution, best possible 6734.67 (529.63 seconds)
After 52800 nodes, 10464 on tree, 6743.58 best solution, best possible 6734.7 (530.25 seconds)
After 52900 nodes, 10481 on tree, 6743.58 best solution, best possible 6734.74 (531.07 seconds)
After 53000 nodes, 10505 on tree, 6743.58 best solution, best possible 6734.76 (531.83 seconds)
After 53100 nodes, 10533 on tree, 6743.58 best solution, best possible 6734.8 (532.51 seconds)
After 53200 nodes, 10554 on tree, 6743.58 best solution, best possible 6734.84 (533.26 seconds)
After 53300 nodes, 10575 on tree, 6743.58 best solution, best possible 6734.87 (533.97 seconds)
After 53400 nodes, 10596 on tree, 6743.58 best solution, best possible 6734.9 (534.71 seconds)
After 53500 nodes, 10623 on tree, 6743.58 best solution, best possible 6734.93 (535.47 seconds)
After 53600 nodes, 10646 on tree, 6743.58 best solution, best possible 6734.95 (536.24 seconds)
After 53700 nodes, 10671 on tree, 6743.58 best solution, best possible 6734.99 (537.05 seconds)
After 53800 nodes, 10693 on tree, 6743.58 best solution, best possible 6735.02 (537.84 seconds)
After 53900 nodes, 10714 on tree, 6743.58 best solution, best possible 6735.04 (538.67 seconds)
After 54000 nodes, 10738 on tree, 6743.58 best solution, best possible 6735.07 (539.40 seconds)
After 54100 nodes, 10739 on tree, 6743.58 best solution, best possible 6735.07 (540.21 seconds)
After 54200 nodes, 10742 on tree, 6743.58 best solution, best possible 6735.07 (540.91 seconds)
After 54300 nodes, 10736 on tree, 6743.58 best solution, best possible 6735.07 (541.59 seconds)
After 54400 nodes, 10735 on tree, 6743.58 best solution, best possible 6735.07 (542.35 seconds)
After 54500 nodes, 10732 on tree, 6743.58 best solution, best possible 6735.07 (543.03 seconds)
After 54600 nodes, 10734 on tree, 6743.58 best solution, best possible 6735.07 (543.79 seconds)
After 54700 nodes, 10731 on tree, 6743.58 best solution, best possible 6735.07 (544.53 seconds)
After 54800 nodes, 10719 on tree, 6743.58 best solution, best possible 6735.07 (545.28 seconds)
After 54900 nodes, 10719 on tree, 6743.58 best solution, best possible 6735.07 (546.01 seconds)
After 55000 nodes, 10716 on tree, 6743.58 best solution, best possible 6735.07 (546.66 seconds)
After 55100 nodes, 10710 on tree, 6743.58 best solution, best possible 6735.07 (547.39 seconds)
After 55200 nodes, 10707 on tree, 6743.58 best solution, best possible 6735.07 (548.23 seconds)
After 55300 nodes, 10700 on tree, 6743.58 best solution, best possible 6735.07 (548.89 seconds)
After 55400 nodes, 10696 on tree, 6743.58 best solution, best possible 6735.07 (549.63 seconds)
After 55500 nodes, 10684 on tree, 6743.58 best solution, best possible 6735.07 (550.34 seconds)
After 55600 nodes, 10669 on tree, 6743.58 best solution, best possible 6735.07 (551.13 seconds)
After 55700 nodes, 10665 on tree, 6743.58 best solution, best possible 6735.07 (551.79 seconds)
After 55800 nodes, 10658 on tree, 6743.58 best solution, best possible 6735.07 (552.39 seconds)
After 55900 nodes, 10644 on tree, 6743.58 best solution, best possible 6735.07 (553.10 seconds)
After 56000 nodes, 10628 on tree, 6743.58 best solution, best possible 6735.07 (553.81 seconds)
After 56100 nodes, 10589 on tree, 6743.58 best solution, best possible 6735.07 (554.22 seconds)
After 56200 nodes, 10569 on tree, 6743.58 best solution, best possible 6735.07 (554.61 seconds)
After 56300 nodes, 10535 on tree, 6743.58 best solution, best possible 6735.07 (555.05 seconds)
After 56400 nodes, 10500 on tree, 6743.58 best solution, best possible 6735.07 (555.52 seconds)
After 56500 nodes, 10476 on tree, 6743.58 best solution, best possible 6735.07 (555.99 seconds)
After 56600 nodes, 10468 on tree, 6743.58 best solution, best possible 6735.07 (556.38 seconds)
After 56700 nodes, 10427 on tree, 6743.58 best solution, best possible 6735.07 (556.84 seconds)
After 56800 nodes, 10409 on tree, 6743.58 best solution, best possible 6735.07 (557.31 seconds)
After 56900 nodes, 10388 on tree, 6743.58 best solution, best possible 6735.07 (557.72 seconds)
After 57000 nodes, 10337 on tree, 6743.58 best solution, best possible 6735.07 (558.37 seconds)
After 57100 nodes, 10355 on tree, 6743.58 best solution, best possible 6735.09 (559.11 seconds)
After 57200 nodes, 10366 on tree, 6743.58 best solution, best possible 6735.12 (559.89 seconds)
After 57300 nodes, 10393 on tree, 6743.58 best solution, best possible 6735.15 (560.65 seconds)
After 57400 nodes, 10416 on tree, 6743.58 best solution, best possible 6735.18 (561.42 seconds)
After 57500 nodes, 10432 on tree, 6743.58 best solution, best possible 6735.21 (562.18 seconds)
After 57600 nodes, 10456 on tree, 6743.58 best solution, best possible 6735.24 (562.90 seconds)
After 57700 nodes, 10470 on tree, 6743.58 best solution, best possible 6735.27 (563.67 seconds)
After 57800 nodes, 10495 on tree, 6743.58 best solution, best possible 6735.29 (564.44 seconds)
After 57900 nodes, 10517 on tree, 6743.58 best solution, best possible 6735.32 (565.13 seconds)
After 58000 nodes, 10547 on tree, 6743.58 best solution, best possible 6735.35 (565.87 seconds)
After 58100 nodes, 10548 on tree, 6743.58 best solution, best possible 6735.35 (566.64 seconds)
After 58200 nodes, 10543 on tree, 6743.58 best solution, best possible 6735.35 (567.30 seconds)
After 58300 nodes, 10534 on tree, 6743.58 best solution, best possible 6735.35 (567.97 seconds)
Integer solution of 6742.8 found after 1544131 iterations and 58378 nodes (568.48 seconds)
Full problem 825 rows 2023 columns, reduced to 444 rows 1004 columns - too large
After 58400 nodes, 9686 on tree, 6742.8 best solution, best possible 6735.36 (568.72 seconds)
After 58500 nodes, 9707 on tree, 6742.8 best solution, best possible 6735.38 (569.44 seconds)
After 58600 nodes, 9724 on tree, 6742.8 best solution, best possible 6735.41 (570.16 seconds)
After 58700 nodes, 9737 on tree, 6742.8 best solution, best possible 6735.43 (570.93 seconds)
After 58800 nodes, 9764 on tree, 6742.8 best solution, best possible 6735.46 (571.65 seconds)
After 58900 nodes, 9775 on tree, 6742.8 best solution, best possible 6735.49 (572.43 seconds)
After 59000 nodes, 9787 on tree, 6742.8 best solution, best possible 6735.52 (573.20 seconds)
After 59100 nodes, 9807 on tree, 6742.8 best solution, best possible 6735.54 (573.97 seconds)
After 59200 nodes, 9826 on tree, 6742.8 best solution, best possible 6735.57 (574.69 seconds)
After 59300 nodes, 9838 on tree, 6742.8 best solution, best possible 6735.6 (575.50 seconds)
After 59400 nodes, 9857 on tree, 6742.8 best solution, best possible 6735.62 (576.19 seconds)
After 59500 nodes, 9878 on tree, 6742.8 best solution, best possible 6735.65 (576.91 seconds)
After 59600 nodes, 9889 on tree, 6742.8 best solution, best possible 6735.68 (577.68 seconds)
After 59700 nodes, 9906 on tree, 6742.8 best solution, best possible 6735.7 (578.36 seconds)
After 59800 nodes, 9921 on tree, 6742.8 best solution, best possible 6735.72 (579.15 seconds)
After 59900 nodes, 9944 on tree, 6742.8 best solution, best possible 6735.75 (579.80 seconds)
After 60000 nodes, 9963 on tree, 6742.8 best solution, best possible 6735.77 (580.54 seconds)
After 60100 nodes, 9982 on tree, 6742.8 best solution, best possible 6735.79 (581.22 seconds)
After 60200 nodes, 9998 on tree, 6742.8 best solution, best possible 6735.82 (582.00 seconds)
After 60300 nodes, 10022 on tree, 6742.8 best solution, best possible 6735.84 (582.78 seconds)
After 60400 nodes, 10033 on tree, 6742.8 best solution, best possible 6735.86 (583.54 seconds)
After 60500 nodes, 10047 on tree, 6742.8 best solution, best possible 6735.89 (584.29 seconds)
After 60600 nodes, 10061 on tree, 6742.8 best solution, best possible 6735.91 (585.03 seconds)
After 60700 nodes, 10078 on tree, 6742.8 best solution, best possible 6735.94 (585.76 seconds)
After 60800 nodes, 10098 on tree, 6742.8 best solution, best possible 6735.96 (586.52 seconds)
After 60900 nodes, 10116 on tree, 6742.8 best solution, best possible 6735.99 (587.27 seconds)
After 61000 nodes, 10130 on tree, 6742.8 best solution, best possible 6736.01 (587.96 seconds)
After 61100 nodes, 10149 on tree, 6742.8 best solution, best possible 6736.04 (588.68 seconds)
After 61200 nodes, 10168 on tree, 6742.8 best solution, best possible 6736.06 (589.37 seconds)
After 61300 nodes, 10177 on tree, 6742.8 best solution, best possible 6736.09 (590.09 seconds)
After 61400 nodes, 10192 on tree, 6742.8 best solution, best possible 6736.11 (590.80 seconds)
After 61500 nodes, 10198 on tree, 6742.8 best solution, best possible 6736.13 (591.56 seconds)
After 61600 nodes, 10212 on tree, 6742.8 best solution, best possible 6736.15 (592.26 seconds)
After 61700 nodes, 10228 on tree, 6742.8 best solution, best possible 6736.18 (592.94 seconds)
After 61800 nodes, 10240 on tree, 6742.8 best solution, best possible 6736.2 (593.61 seconds)
After 61900 nodes, 10256 on tree, 6742.8 best solution, best possible 6736.23 (594.31 seconds)
After 62000 nodes, 10272 on tree, 6742.8 best solution, best possible 6736.25 (595.00 seconds)
After 62100 nodes, 10267 on tree, 6742.8 best solution, best possible 6736.25 (595.69 seconds)
After 62200 nodes, 10264 on tree, 6742.8 best solution, best possible 6736.25 (596.31 seconds)
After 62300 nodes, 10263 on tree, 6742.8 best solution, best possible 6736.25 (596.93 seconds)
After 62400 nodes, 10252 on tree, 6742.8 best solution, best possible 6736.25 (597.65 seconds)
After 62500 nodes, 10247 on tree, 6742.8 best solution, best possible 6736.25 (598.30 seconds)
After 62600 nodes, 10234 on tree, 6742.8 best solution, best possible 6736.25 (598.96 seconds)
After 62700 nodes, 10227 on tree, 6742.8 best solution, best possible 6736.25 (599.63 seconds)
After 62800 nodes, 10220 on tree, 6742.8 best solution, best possible 6736.25 (600.33 seconds)
After 62900 nodes, 10216 on tree, 6742.8 best solution, best possible 6736.25 (600.92 seconds)
After 63000 nodes, 10200 on tree, 6742.8 best solution, best possible 6736.25 (601.56 seconds)
After 63100 nodes, 10184 on tree, 6742.8 best solution, best possible 6736.25 (602.21 seconds)
After 63200 nodes, 10182 on tree, 6742.8 best solution, best possible 6736.25 (602.89 seconds)
After 63300 nodes, 10175 on tree, 6742.8 best solution, best possible 6736.25 (603.55 seconds)
After 63400 nodes, 10170 on tree, 6742.8 best solution, best possible 6736.25 (604.20 seconds)
After 63500 nodes, 10154 on tree, 6742.8 best solution, best possible 6736.25 (604.78 seconds)
After 63600 nodes, 10137 on tree, 6742.8 best solution, best possible 6736.25 (605.45 seconds)
After 63700 nodes, 10125 on tree, 6742.8 best solution, best possible 6736.25 (606.06 seconds)
After 63800 nodes, 10106 on tree, 6742.8 best solution, best possible 6736.25 (606.77 seconds)
After 63900 nodes, 10093 on tree, 6742.8 best solution, best possible 6736.25 (607.47 seconds)
After 64000 nodes, 10077 on tree, 6742.8 best solution, best possible 6736.25 (608.11 seconds)
After 64100 nodes, 10037 on tree, 6742.8 best solution, best possible 6736.25 (608.50 seconds)
After 64200 nodes, 10002 on tree, 6742.8 best solution, best possible 6736.25 (609.02 seconds)
After 64300 nodes, 9978 on tree, 6742.8 best solution, best possible 6736.25 (609.46 seconds)
After 64400 nodes, 9951 on tree, 6742.8 best solution, best possible 6736.25 (609.89 seconds)
After 64500 nodes, 9943 on tree, 6742.8 best solution, best possible 6736.25 (610.31 seconds)
After 64600 nodes, 9903 on tree, 6742.8 best solution, best possible 6736.25 (610.83 seconds)
After 64700 nodes, 9891 on tree, 6742.8 best solution, best possible 6736.25 (611.23 seconds)
After 64800 nodes, 9864 on tree, 6742.8 best solution, best possible 6736.25 (611.64 seconds)
After 64900 nodes, 9822 on tree, 6742.8 best solution, best possible 6736.25 (612.19 seconds)
After 65000 nodes, 9798 on tree, 6742.8 best solution, best possible 6736.25 (612.70 seconds)
After 65100 nodes, 9795 on tree, 6742.8 best solution, best possible 6736.25 (613.26 seconds)
After 65200 nodes, 9793 on tree, 6742.8 best solution, best possible 6736.25 (613.85 seconds)
After 65300 nodes, 9786 on tree, 6742.8 best solution, best possible 6736.25 (614.52 seconds)
After 65400 nodes, 9779 on tree, 6742.8 best solution, best possible 6736.25 (615.09 seconds)
After 65500 nodes, 9776 on tree, 6742.8 best solution, best possible 6736.25 (615.65 seconds)
After 65600 nodes, 9768 on tree, 6742.8 best solution, best possible 6736.25 (616.23 seconds)
After 65700 nodes, 9760 on tree, 6742.8 best solution, best possible 6736.25 (617.00 seconds)
After 65800 nodes, 9752 on tree, 6742.8 best solution, best possible 6736.25 (617.59 seconds)
After 65900 nodes, 9745 on tree, 6742.8 best solution, best possible 6736.25 (618.22 seconds)
After 66000 nodes, 9737 on tree, 6742.8 best solution, best possible 6736.25 (618.93 seconds)
After 66100 nodes, 9746 on tree, 6742.8 best solution, best possible 6736.27 (619.64 seconds)
After 66200 nodes, 9751 on tree, 6742.8 best solution, best possible 6736.3 (620.43 seconds)
After 66300 nodes, 9771 on tree, 6742.8 best solution, best possible 6736.32 (621.24 seconds)
After 66400 nodes, 9784 on tree, 6742.8 best solution, best possible 6736.33 (621.95 seconds)
After 66500 nodes, 9791 on tree, 6742.8 best solution, best possible 6736.36 (622.77 seconds)
After 66600 nodes, 9806 on tree, 6742.8 best solution, best possible 6736.38 (623.49 seconds)
After 66700 nodes, 9818 on tree, 6742.8 best solution, best possible 6736.4 (624.21 seconds)
After 66800 nodes, 9831 on tree, 6742.8 best solution, best possible 6736.42 (624.86 seconds)
After 66900 nodes, 9841 on tree, 6742.8 best solution, best possible 6736.44 (625.58 seconds)
After 67000 nodes, 9862 on tree, 6742.8 best solution, best possible 6736.47 (626.32 seconds)
After 67100 nodes, 9872 on tree, 6742.8 best solution, best possible 6736.5 (627.06 seconds)
After 67200 nodes, 9881 on tree, 6742.8 best solution, best possible 6736.52 (627.78 seconds)
After 67300 nodes, 9894 on tree, 6742.8 best solution, best possible 6736.53 (628.47 seconds)
After 67400 nodes, 9907 on tree, 6742.8 best solution, best possible 6736.56 (629.20 seconds)
After 67500 nodes, 9915 on tree, 6742.8 best solution, best possible 6736.59 (629.91 seconds)
After 67600 nodes, 9925 on tree, 6742.8 best solution, best possible 6736.6 (630.59 seconds)
After 67700 nodes, 9932 on tree, 6742.8 best solution, best possible 6736.63 (631.30 seconds)
After 67800 nodes, 9943 on tree, 6742.8 best solution, best possible 6736.65 (632.05 seconds)
After 67900 nodes, 9956 on tree, 6742.8 best solution, best possible 6736.68 (632.74 seconds)
After 68000 nodes, 9967 on tree, 6742.8 best solution, best possible 6736.7 (633.49 seconds)
After 68100 nodes, 9982 on tree, 6742.8 best solution, best possible 6736.72 (634.20 seconds)
After 68200 nodes, 10001 on tree, 6742.8 best solution, best possible 6736.74 (634.93 seconds)
After 68300 nodes, 10020 on tree, 6742.8 best solution, best possible 6736.76 (635.54 seconds)
After 68400 nodes, 10030 on tree, 6742.8 best solution, best possible 6736.77 (636.28 seconds)
After 68500 nodes, 10038 on tree, 6742.8 best solution, best possible 6736.79 (636.96 seconds)
After 68600 nodes, 10047 on tree, 6742.8 best solution, best possible 6736.81 (637.68 seconds)
After 68700 nodes, 10050 on tree, 6742.8 best solution, best possible 6736.83 (638.40 seconds)
After 68800 nodes, 10058 on tree, 6742.8 best solution, best possible 6736.85 (639.16 seconds)
After 68900 nodes, 10066 on tree, 6742.8 best solution, best possible 6736.87 (639.85 seconds)
After 69000 nodes, 10072 on tree, 6742.8 best solution, best possible 6736.89 (640.57 seconds)
After 69100 nodes, 10077 on tree, 6742.8 best solution, best possible 6736.9 (641.29 seconds)
After 69200 nodes, 10088 on tree, 6742.8 best solution, best possible 6736.92 (642.02 seconds)
After 69300 nodes, 10089 on tree, 6742.8 best solution, best possible 6736.94 (642.76 seconds)
After 69400 nodes, 10093 on tree, 6742.8 best solution, best possible 6736.96 (643.51 seconds)
After 69500 nodes, 10097 on tree, 6742.8 best solution, best possible 6736.98 (644.17 seconds)
After 69600 nodes, 10109 on tree, 6742.8 best solution, best possible 6737 (644.85 seconds)
After 69700 nodes, 10120 on tree, 6742.8 best solution, best possible 6737.01 (645.50 seconds)
After 69800 nodes, 10135 on tree, 6742.8 best solution, best possible 6737.03 (646.17 seconds)
After 69900 nodes, 10136 on tree, 6742.8 best solution, best possible 6737.05 (646.81 seconds)
After 70000 nodes, 10154 on tree, 6742.8 best solution, best possible 6737.07 (647.50 seconds)
Integer solution of 6742.2 found after 1766705 iterations and 70076 nodes (648.00 seconds)
Full problem 825 rows 2023 columns, reduced to 444 rows 1004 columns - too large
After 70100 nodes, 9295 on tree, 6742.2 best solution, best possible 6737.07 (648.24 seconds)
After 70200 nodes, 9307 on tree, 6742.2 best solution, best possible 6737.09 (648.88 seconds)
After 70300 nodes, 9313 on tree, 6742.2 best solution, best possible 6737.1 (649.54 seconds)
After 70400 nodes, 9326 on tree, 6742.2 best solution, best possible 6737.12 (650.20 seconds)
After 70500 nodes, 9326 on tree, 6742.2 best solution, best possible 6737.15 (650.87 seconds)
After 70600 nodes, 9330 on tree, 6742.2 best solution, best possible 6737.17 (651.53 seconds)
After 70700 nodes, 9328 on tree, 6742.2 best solution, best possible 6737.18 (652.18 seconds)
After 70800 nodes, 9329 on tree, 6742.2 best solution, best possible 6737.2 (652.84 seconds)
After 70900 nodes, 9332 on tree, 6742.2 best solution, best possible 6737.22 (653.57 seconds)
After 71000 nodes, 9342 on tree, 6742.2 best solution, best possible 6737.23 (654.24 seconds)
After 71100 nodes, 9347 on tree, 6742.2 best solution, best possible 6737.25 (654.91 seconds)
After 71200 nodes, 9351 on tree, 6742.2 best solution, best possible 6737.27 (655.56 seconds)
After 71300 nodes, 9351 on tree, 6742.2 best solution, best possible 6737.29 (656.23 seconds)
After 71400 nodes, 9360 on tree, 6742.2 best solution, best possible 6737.3 (656.87 seconds)
After 71500 nodes, 9361 on tree, 6742.2 best solution, best possible 6737.32 (657.59 seconds)
After 71600 nodes, 9363 on tree, 6742.2 best solution, best possible 6737.34 (658.27 seconds)
After 71700 nodes, 9367 on tree, 6742.2 best solution, best possible 6737.36 (658.95 seconds)
After 71800 nodes, 9375 on tree, 6742.2 best solution, best possible 6737.38 (659.65 seconds)
After 71900 nodes, 9381 on tree, 6742.2 best solution, best possible 6737.39 (660.25 seconds)
After 72000 nodes, 9386 on tree, 6742.2 best solution, best possible 6737.41 (660.98 seconds)
After 72100 nodes, 9392 on tree, 6742.2 best solution, best possible 6737.43 (661.59 seconds)
After 72200 nodes, 9398 on tree, 6742.2 best solution, best possible 6737.44 (662.27 seconds)
After 72300 nodes, 9409 on tree, 6742.2 best solution, best possible 6737.46 (662.87 seconds)
After 72400 nodes, 9415 on tree, 6742.2 best solution, best possible 6737.47 (663.55 seconds)
After 72500 nodes, 9420 on tree, 6742.2 best solution, best possible 6737.49 (664.21 seconds)
After 72600 nodes, 9427 on tree, 6742.2 best solution, best possible 6737.51 (664.88 seconds)
After 72700 nodes, 9437 on tree, 6742.2 best solution, best possible 6737.53 (665.50 seconds)
After 72800 nodes, 9434 on tree, 6742.2 best solution, best possible 6737.55 (666.13 seconds)
After 72900 nodes, 9436 on tree, 6742.2 best solution, best possible 6737.57 (666.77 seconds)
After 73000 nodes, 9432 on tree, 6742.2 best solution, best possible 6737.58 (667.45 seconds)
After 73100 nodes, 9415 on tree, 6742.2 best solution, best possible 6737.58 (667.98 seconds)
After 73200 nodes, 9405 on tree, 6742.2 best solution, best possible 6737.58 (668.48 seconds)
After 73300 nodes, 9390 on tree, 6742.2 best solution, best possible 6737.58 (669.07 seconds)
After 73400 nodes, 9370 on tree, 6742.2 best solution, best possible 6737.58 (669.60 seconds)
After 73500 nodes, 9354 on tree, 6742.2 best solution, best possible 6737.58 (670.20 seconds)
After 73600 nodes, 9338 on tree, 6742.2 best solution, best possible 6737.58 (670.73 seconds)
After 73700 nodes, 9323 on tree, 6742.2 best solution, best possible 6737.58 (671.27 seconds)
After 73800 nodes, 9306 on tree, 6742.2 best solution, best possible 6737.58 (671.83 seconds)
After 73900 nodes, 9292 on tree, 6742.2 best solution, best possible 6737.58 (672.39 seconds)
After 74000 nodes, 9264 on tree, 6742.2 best solution, best possible 6737.58 (673.02 seconds)
After 74100 nodes, 9261 on tree, 6742.2 best solution, best possible 6737.6 (673.75 seconds)
After 74200 nodes, 9260 on tree, 6742.2 best solution, best possible 6737.62 (674.47 seconds)
After 74300 nodes, 9267 on tree, 6742.2 best solution, best possible 6737.64 (675.07 seconds)
After 74400 nodes, 9275 on tree, 6742.2 best solution, best possible 6737.66 (675.67 seconds)
After 74500 nodes, 9276 on tree, 6742.2 best solution, best possible 6737.67 (676.35 seconds)
After 74600 nodes, 9278 on tree, 6742.2 best solution, best possible 6737.69 (676.99 seconds)
After 74700 nodes, 9278 on tree, 6742.2 best solution, best possible 6737.7 (677.63 seconds)
After 74800 nodes, 9278 on tree, 6742.2 best solution, best possible 6737.73 (678.28 seconds)
After 74900 nodes, 9283 on tree, 6742.2 best solution, best possible 6737.75 (678.87 seconds)
After 75000 nodes, 9294 on tree, 6742.2 best solution, best possible 6737.76 (679.53 seconds)
After 75100 nodes, 9283 on tree, 6742.2 best solution, best possible 6737.78 (680.21 seconds)
After 75200 nodes, 9298 on tree, 6742.2 best solution, best possible 6737.8 (680.80 seconds)
After 75300 nodes, 9288 on tree, 6742.2 best solution, best possible 6737.81 (681.45 seconds)
After 75400 nodes, 9292 on tree, 6742.2 best solution, best possible 6737.83 (682.11 seconds)
After 75500 nodes, 9292 on tree, 6742.2 best solution, best possible 6737.85 (682.73 seconds)
After 75600 nodes, 9300 on tree, 6742.2 best solution, best possible 6737.87 (683.37 seconds)
After 75700 nodes, 9307 on tree, 6742.2 best solution, best possible 6737.89 (684.05 seconds)
After 75800 nodes, 9311 on tree, 6742.2 best solution, best possible 6737.9 (684.69 seconds)
After 75900 nodes, 9311 on tree, 6742.2 best solution, best possible 6737.92 (685.35 seconds)
After 76000 nodes, 9312 on tree, 6742.2 best solution, best possible 6737.93 (685.95 seconds)
After 76100 nodes, 9312 on tree, 6742.2 best solution, best possible 6737.95 (686.51 seconds)
After 76200 nodes, 9316 on tree, 6742.2 best solution, best possible 6737.96 (687.11 seconds)
After 76300 nodes, 9315 on tree, 6742.2 best solution, best possible 6737.98 (687.73 seconds)
After 76400 nodes, 9312 on tree, 6742.2 best solution, best possible 6737.99 (688.42 seconds)
After 76500 nodes, 9306 on tree, 6742.2 best solution, best possible 6738 (689.09 seconds)
After 76600 nodes, 9309 on tree, 6742.2 best solution, best possible 6738.02 (689.76 seconds)
After 76700 nodes, 9306 on tree, 6742.2 best solution, best possible 6738.04 (690.44 seconds)
After 76800 nodes, 9309 on tree, 6742.2 best solution, best possible 6738.05 (691.06 seconds)
After 76900 nodes, 9318 on tree, 6742.2 best solution, best possible 6738.07 (691.68 seconds)
After 77000 nodes, 9307 on tree, 6742.2 best solution, best possible 6738.08 (692.34 seconds)
After 77100 nodes, 9292 on tree, 6742.2 best solution, best possible 6738.08 (692.90 seconds)
After 77200 nodes, 9275 on tree, 6742.2 best solution, best possible 6738.08 (693.42 seconds)
After 77300 nodes, 9254 on tree, 6742.2 best solution, best possible 6738.08 (694.00 seconds)
After 77400 nodes, 9234 on tree, 6742.2 best solution, best possible 6738.08 (694.46 seconds)
After 77500 nodes, 9209 on tree, 6742.2 best solution, best possible 6738.08 (695.00 seconds)
After 77600 nodes, 9185 on tree, 6742.2 best solution, best possible 6738.08 (695.52 seconds)
After 77700 nodes, 9165 on tree, 6742.2 best solution, best possible 6738.08 (696.05 seconds)
After 77800 nodes, 9142 on tree, 6742.2 best solution, best possible 6738.08 (696.56 seconds)
After 77900 nodes, 9112 on tree, 6742.2 best solution, best possible 6738.08 (697.11 seconds)
After 78000 nodes, 9090 on tree, 6742.2 best solution, best possible 6738.08 (697.64 seconds)
After 78100 nodes, 9091 on tree, 6742.2 best solution, best possible 6738.1 (698.23 seconds)
After 78200 nodes, 9088 on tree, 6742.2 best solution, best possible 6738.12 (698.89 seconds)
After 78300 nodes, 9085 on tree, 6742.2 best solution, best possible 6738.13 (699.54 seconds)
After 78400 nodes, 9085 on tree, 6742.2 best solution, best possible 6738.15 (700.18 seconds)
After 78500 nodes, 9081 on tree, 6742.2 best solution, best possible 6738.16 (700.86 seconds)
After 78600 nodes, 9088 on tree, 6742.2 best solution, best possible 6738.18 (701.48 seconds)
After 78700 nodes, 9082 on tree, 6742.2 best solution, best possible 6738.2 (702.12 seconds)
After 78800 nodes, 9078 on tree, 6742.2 best solution, best possible 6738.22 (702.72 seconds)
After 78900 nodes, 9079 on tree, 6742.2 best solution, best possible 6738.23 (703.33 seconds)
After 79000 nodes, 9078 on tree, 6742.2 best solution, best possible 6738.24 (704.04 seconds)
After 79100 nodes, 9091 on tree, 6742.2 best solution, best possible 6738.26 (704.60 seconds)
After 79200 nodes, 9093 on tree, 6742.2 best solution, best possible 6738.27 (705.22 seconds)
After 79300 nodes, 9097 on tree, 6742.2 best solution, best possible 6738.29 (705.81 seconds)
After 79400 nodes, 9097 on tree, 6742.2 best solution, best possible 6738.3 (706.38 seconds)
After 79500 nodes, 9086 on tree, 6742.2 best solution, best possible 6738.31 (707.06 seconds)
After 79600 nodes, 9087 on tree, 6742.2 best solution, best possible 6738.32 (707.62 seconds)
After 79700 nodes, 9087 on tree, 6742.2 best solution, best possible 6738.33 (708.19 seconds)
After 79800 nodes, 9090 on tree, 6742.2 best solution, best possible 6738.35 (708.79 seconds)
After 79900 nodes, 9090 on tree, 6742.2 best solution, best possible 6738.36 (709.37 seconds)
After 80000 nodes, 9086 on tree, 6742.2 best solution, best possible 6738.38 (710.03 seconds)
After 80100 nodes, 9086 on tree, 6742.2 best solution, best possible 6738.39 (710.62 seconds)
After 80200 nodes, 9092 on tree, 6742.2 best solution, best possible 6738.41 (711.25 seconds)
After 80300 nodes, 9094 on tree, 6742.2 best solution, best possible 6738.43 (711.84 seconds)
After 80400 nodes, 9097 on tree, 6742.2 best solution, best possible 6738.44 (712.42 seconds)
After 80500 nodes, 9088 on tree, 6742.2 best solution, best possible 6738.46 (713.07 seconds)
After 80600 nodes, 9090 on tree, 6742.2 best solution, best possible 6738.47 (713.67 seconds)
After 80700 nodes, 9085 on tree, 6742.2 best solution, best possible 6738.48 (714.30 seconds)
After 80800 nodes, 9086 on tree, 6742.2 best solution, best possible 6738.5 (714.90 seconds)
After 80900 nodes, 9093 on tree, 6742.2 best solution, best possible 6738.51 (715.44 seconds)
After 81000 nodes, 9088 on tree, 6742.2 best solution, best possible 6738.52 (716.08 seconds)
After 81100 nodes, 9076 on tree, 6742.2 best solution, best possible 6738.52 (716.63 seconds)
After 81200 nodes, 9057 on tree, 6742.2 best solution, best possible 6738.52 (717.17 seconds)
After 81300 nodes, 9039 on tree, 6742.2 best solution, best possible 6738.52 (717.64 seconds)
After 81400 nodes, 9018 on tree, 6742.2 best solution, best possible 6738.52 (718.18 seconds)
After 81500 nodes, 9002 on tree, 6742.2 best solution, best possible 6738.52 (718.74 seconds)
After 81600 nodes, 8987 on tree, 6742.2 best solution, best possible 6738.52 (719.24 seconds)
After 81700 nodes, 8964 on tree, 6742.2 best solution, best possible 6738.52 (719.69 seconds)
After 81800 nodes, 8940 on tree, 6742.2 best solution, best possible 6738.52 (720.24 seconds)
After 81900 nodes, 8917 on tree, 6742.2 best solution, best possible 6738.52 (720.82 seconds)
After 82000 nodes, 8895 on tree, 6742.2 best solution, best possible 6738.52 (721.33 seconds)
After 82100 nodes, 8886 on tree, 6742.2 best solution, best possible 6738.54 (721.97 seconds)
After 82200 nodes, 8885 on tree, 6742.2 best solution, best possible 6738.55 (722.59 seconds)
After 82300 nodes, 8882 on tree, 6742.2 best solution, best possible 6738.56 (723.16 seconds)
After 82400 nodes, 8881 on tree, 6742.2 best solution, best possible 6738.58 (723.81 seconds)
After 82500 nodes, 8871 on tree, 6742.2 best solution, best possible 6738.59 (724.38 seconds)
After 82600 nodes, 8868 on tree, 6742.2 best solution, best possible 6738.61 (725.00 seconds)
After 82700 nodes, 8866 on tree, 6742.2 best solution, best possible 6738.62 (725.55 seconds)
After 82800 nodes, 8861 on tree, 6742.2 best solution, best possible 6738.63 (726.19 seconds)
After 82900 nodes, 8857 on tree, 6742.2 best solution, best possible 6738.64 (726.76 seconds)
After 83000 nodes, 8850 on tree, 6742.2 best solution, best possible 6738.66 (727.37 seconds)
After 83100 nodes, 8856 on tree, 6742.2 best solution, best possible 6738.67 (727.94 seconds)
After 83200 nodes, 8860 on tree, 6742.2 best solution, best possible 6738.69 (728.51 seconds)
After 83300 nodes, 8859 on tree, 6742.2 best solution, best possible 6738.7 (729.11 seconds)
After 83400 nodes, 8850 on tree, 6742.2 best solution, best possible 6738.71 (729.67 seconds)
After 83500 nodes, 8845 on tree, 6742.2 best solution, best possible 6738.72 (730.21 seconds)
After 83600 nodes, 8847 on tree, 6742.2 best solution, best possible 6738.74 (730.81 seconds)
After 83700 nodes, 8840 on tree, 6742.2 best solution, best possible 6738.75 (731.38 seconds)
After 83800 nodes, 8848 on tree, 6742.2 best solution, best possible 6738.76 (731.95 seconds)
After 83900 nodes, 8836 on tree, 6742.2 best solution, best possible 6738.78 (732.56 seconds)
After 84000 nodes, 8828 on tree, 6742.2 best solution, best possible 6738.79 (733.14 seconds)
After 84100 nodes, 8822 on tree, 6742.2 best solution, best possible 6738.8 (733.67 seconds)
After 84200 nodes, 8820 on tree, 6742.2 best solution, best possible 6738.82 (734.27 seconds)
After 84300 nodes, 8820 on tree, 6742.2 best solution, best possible 6738.83 (734.91 seconds)
After 84400 nodes, 8814 on tree, 6742.2 best solution, best possible 6738.84 (735.49 seconds)
After 84500 nodes, 8811 on tree, 6742.2 best solution, best possible 6738.86 (736.11 seconds)
After 84600 nodes, 8805 on tree, 6742.2 best solution, best possible 6738.88 (736.65 seconds)
After 84700 nodes, 8803 on tree, 6742.2 best solution, best possible 6738.89 (737.27 seconds)
After 84800 nodes, 8803 on tree, 6742.2 best solution, best possible 6738.9 (737.86 seconds)
After 84900 nodes, 8801 on tree, 6742.2 best solution, best possible 6738.92 (738.38 seconds)
After 85000 nodes, 8798 on tree, 6742.2 best solution, best possible 6738.93 (738.98 seconds)
After 85100 nodes, 8773 on tree, 6742.2 best solution, best possible 6738.93 (739.50 seconds)
After 85200 nodes, 8754 on tree, 6742.2 best solution, best possible 6738.93 (740.00 seconds)
After 85300 nodes, 8733 on tree, 6742.2 best solution, best possible 6738.93 (740.56 seconds)
After 85400 nodes, 8713 on tree, 6742.2 best solution, best possible 6738.93 (741.10 seconds)
After 85500 nodes, 8688 on tree, 6742.2 best solution, best possible 6738.93 (741.59 seconds)
After 85600 nodes, 8664 on tree, 6742.2 best solution, best possible 6738.93 (742.10 seconds)
After 85700 nodes, 8638 on tree, 6742.2 best solution, best possible 6738.93 (742.56 seconds)
After 85800 nodes, 8619 on tree, 6742.2 best solution, best possible 6738.93 (743.00 seconds)
After 85900 nodes, 8591 on tree, 6742.2 best solution, best possible 6738.93 (743.47 seconds)
After 86000 nodes, 8563 on tree, 6742.2 best solution, best possible 6738.93 (743.99 seconds)
After 86100 nodes, 8560 on tree, 6742.2 best solution, best possible 6738.94 (744.55 seconds)
After 86200 nodes, 8552 on tree, 6742.2 best solution, best possible 6738.95 (745.15 seconds)
After 86300 nodes, 8539 on tree, 6742.2 best solution, best possible 6738.96 (745.79 seconds)
After 86400 nodes, 8536 on tree, 6742.2 best solution, best possible 6738.98 (746.40 seconds)
After 86500 nodes, 8532 on tree, 6742.2 best solution, best possible 6739 (746.99 seconds)
After 86600 nodes, 8532 on tree, 6742.2 best solution, best possible 6739.01 (747.57 seconds)
After 86700 nodes, 8525 on tree, 6742.2 best solution, best possible 6739.02 (748.16 seconds)
After 86800 nodes, 8519 on tree, 6742.2 best solution, best possible 6739.04 (748.78 seconds)
After 86900 nodes, 8509 on tree, 6742.2 best solution, best possible 6739.05 (749.38 seconds)
After 87000 nodes, 8493 on tree, 6742.2 best solution, best possible 6739.07 (749.97 seconds)
After 87100 nodes, 8487 on tree, 6742.2 best solution, best possible 6739.08 (750.60 seconds)
After 87200 nodes, 8481 on tree, 6742.2 best solution, best possible 6739.09 (751.15 seconds)
After 87300 nodes, 8480 on tree, 6742.2 best solution, best possible 6739.1 (751.72 seconds)
After 87400 nodes, 8469 on tree, 6742.2 best solution, best possible 6739.12 (752.25 seconds)
After 87500 nodes, 8460 on tree, 6742.2 best solution, best possible 6739.13 (752.89 seconds)
After 87600 nodes, 8451 on tree, 6742.2 best solution, best possible 6739.14 (753.44 seconds)
After 87700 nodes, 8438 on tree, 6742.2 best solution, best possible 6739.16 (754.09 seconds)
After 87800 nodes, 8425 on tree, 6742.2 best solution, best possible 6739.17 (754.70 seconds)
After 87900 nodes, 8422 on tree, 6742.2 best solution, best possible 6739.18 (755.30 seconds)
After 88000 nodes, 8410 on tree, 6742.2 best solution, best possible 6739.2 (755.91 seconds)
After 88100 nodes, 8394 on tree, 6742.2 best solution, best possible 6739.21 (756.57 seconds)
After 88200 nodes, 8394 on tree, 6742.2 best solution, best possible 6739.22 (757.13 seconds)
After 88300 nodes, 8388 on tree, 6742.2 best solution, best possible 6739.23 (757.69 seconds)
After 88400 nodes, 8383 on tree, 6742.2 best solution, best possible 6739.24 (758.30 seconds)
After 88500 nodes, 8377 on tree, 6742.2 best solution, best possible 6739.25 (758.90 seconds)
After 88600 nodes, 8377 on tree, 6742.2 best solution, best possible 6739.26 (759.48 seconds)
After 88700 nodes, 8364 on tree, 6742.2 best solution, best possible 6739.27 (760.11 seconds)
After 88800 nodes, 8362 on tree, 6742.2 best solution, best possible 6739.28 (760.73 seconds)
After 88900 nodes, 8359 on tree, 6742.2 best solution, best possible 6739.29 (761.25 seconds)
After 89000 nodes, 8357 on tree, 6742.2 best solution, best possible 6739.31 (761.82 seconds)
After 89100 nodes, 8330 on tree, 6742.2 best solution, best possible 6739.31 (762.30 seconds)
After 89200 nodes, 8304 on tree, 6742.2 best solution, best possible 6739.31 (762.70 seconds)
After 89300 nodes, 8278 on tree, 6742.2 best solution, best possible 6739.31 (763.13 seconds)
After 89400 nodes, 8258 on tree, 6742.2 best solution, best possible 6739.31 (763.56 seconds)
After 89500 nodes, 8233 on tree, 6742.2 best solution, best possible 6739.31 (764.02 seconds)
After 89600 nodes, 8210 on tree, 6742.2 best solution, best possible 6739.31 (764.54 seconds)
After 89700 nodes, 8179 on tree, 6742.2 best solution, best possible 6739.31 (765.00 seconds)
After 89800 nodes, 8161 on tree, 6742.2 best solution, best possible 6739.31 (765.51 seconds)
After 89900 nodes, 8140 on tree, 6742.2 best solution, best possible 6739.31 (765.99 seconds)
After 90000 nodes, 8118 on tree, 6742.2 best solution, best possible 6739.31 (766.44 seconds)
After 90100 nodes, 8118 on tree, 6742.2 best solution, best possible 6739.32 (767.02 seconds)
After 90200 nodes, 8115 on tree, 6742.2 best solution, best possible 6739.33 (767.58 seconds)
After 90300 nodes, 8104 on tree, 6742.2 best solution, best possible 6739.34 (768.15 seconds)
After 90400 nodes, 8097 on tree, 6742.2 best solution, best possible 6739.35 (768.76 seconds)
After 90500 nodes, 8096 on tree, 6742.2 best solution, best possible 6739.37 (769.31 seconds)
After 90600 nodes, 8089 on tree, 6742.2 best solution, best possible 6739.38 (769.92 seconds)
After 90700 nodes, 8077 on tree, 6742.2 best solution, best possible 6739.39 (770.50 seconds)
After 90800 nodes, 8071 on tree, 6742.2 best solution, best possible 6739.4 (771.02 seconds)
After 90900 nodes, 8063 on tree, 6742.2 best solution, best possible 6739.41 (771.69 seconds)
After 91000 nodes, 8049 on tree, 6742.2 best solution, best possible 6739.43 (772.23 seconds)
After 91100 nodes, 8046 on tree, 6742.2 best solution, best possible 6739.44 (772.82 seconds)
After 91200 nodes, 8038 on tree, 6742.2 best solution, best possible 6739.45 (773.46 seconds)
After 91300 nodes, 8028 on tree, 6742.2 best solution, best possible 6739.47 (774.18 seconds)
After 91400 nodes, 8021 on tree, 6742.2 best solution, best possible 6739.47 (774.79 seconds)
After 91500 nodes, 8011 on tree, 6742.2 best solution, best possible 6739.49 (775.43 seconds)
After 91600 nodes, 8004 on tree, 6742.2 best solution, best possible 6739.5 (776.00 seconds)
After 91700 nodes, 7997 on tree, 6742.2 best solution, best possible 6739.51 (776.55 seconds)
After 91800 nodes, 7989 on tree, 6742.2 best solution, best possible 6739.53 (777.12 seconds)
After 91900 nodes, 7978 on tree, 6742.2 best solution, best possible 6739.54 (777.78 seconds)
After 92000 nodes, 7968 on tree, 6742.2 best solution, best possible 6739.55 (778.40 seconds)
After 92100 nodes, 7954 on tree, 6742.2 best solution, best possible 6739.56 (778.98 seconds)
After 92200 nodes, 7942 on tree, 6742.2 best solution, best possible 6739.57 (779.68 seconds)
After 92300 nodes, 7928 on tree, 6742.2 best solution, best possible 6739.59 (780.26 seconds)
After 92400 nodes, 7917 on tree, 6742.2 best solution, best possible 6739.6 (780.80 seconds)
After 92500 nodes, 7910 on tree, 6742.2 best solution, best possible 6739.61 (781.44 seconds)
After 92600 nodes, 7905 on tree, 6742.2 best solution, best possible 6739.62 (781.96 seconds)
After 92700 nodes, 7894 on tree, 6742.2 best solution, best possible 6739.64 (782.55 seconds)
After 92800 nodes, 7884 on tree, 6742.2 best solution, best possible 6739.65 (783.16 seconds)
After 92900 nodes, 7872 on tree, 6742.2 best solution, best possible 6739.66 (783.77 seconds)
After 93000 nodes, 7861 on tree, 6742.2 best solution, best possible 6739.67 (784.38 seconds)
After 93100 nodes, 7835 on tree, 6742.2 best solution, best possible 6739.67 (784.84 seconds)
After 93200 nodes, 7811 on tree, 6742.2 best solution, best possible 6739.67 (785.23 seconds)
After 93300 nodes, 7788 on tree, 6742.2 best solution, best possible 6739.67 (785.70 seconds)
After 93400 nodes, 7756 on tree, 6742.2 best solution, best possible 6739.67 (786.11 seconds)
After 93500 nodes, 7727 on tree, 6742.2 best solution, best possible 6739.67 (786.55 seconds)
After 93600 nodes, 7700 on tree, 6742.2 best solution, best possible 6739.67 (786.97 seconds)
After 93700 nodes, 7670 on tree, 6742.2 best solution, best possible 6739.67 (787.50 seconds)
After 93800 nodes, 7639 on tree, 6742.2 best solution, best possible 6739.67 (787.96 seconds)
After 93900 nodes, 7612 on tree, 6742.2 best solution, best possible 6739.67 (788.44 seconds)
After 94000 nodes, 7585 on tree, 6742.2 best solution, best possible 6739.67 (788.87 seconds)
After 94100 nodes, 7571 on tree, 6742.2 best solution, best possible 6739.68 (789.49 seconds)
After 94200 nodes, 7566 on tree, 6742.2 best solution, best possible 6739.7 (790.11 seconds)
After 94300 nodes, 7553 on tree, 6742.2 best solution, best possible 6739.71 (790.63 seconds)
After 94400 nodes, 7541 on tree, 6742.2 best solution, best possible 6739.72 (791.28 seconds)
After 94500 nodes, 7536 on tree, 6742.2 best solution, best possible 6739.73 (791.88 seconds)
After 94600 nodes, 7528 on tree, 6742.2 best solution, best possible 6739.75 (792.40 seconds)
After 94700 nodes, 7508 on tree, 6742.2 best solution, best possible 6739.76 (792.94 seconds)
After 94800 nodes, 7492 on tree, 6742.2 best solution, best possible 6739.77 (793.57 seconds)
After 94900 nodes, 7481 on tree, 6742.2 best solution, best possible 6739.78 (794.15 seconds)
After 95000 nodes, 7459 on tree, 6742.2 best solution, best possible 6739.79 (794.73 seconds)
After 95100 nodes, 7450 on tree, 6742.2 best solution, best possible 6739.8 (795.37 seconds)
After 95200 nodes, 7440 on tree, 6742.2 best solution, best possible 6739.81 (795.96 seconds)
After 95300 nodes, 7429 on tree, 6742.2 best solution, best possible 6739.82 (796.47 seconds)
After 95400 nodes, 7416 on tree, 6742.2 best solution, best possible 6739.83 (797.07 seconds)
After 95500 nodes, 7404 on tree, 6742.2 best solution, best possible 6739.85 (797.64 seconds)
After 95600 nodes, 7391 on tree, 6742.2 best solution, best possible 6739.86 (798.17 seconds)
After 95700 nodes, 7377 on tree, 6742.2 best solution, best possible 6739.87 (798.76 seconds)
After 95800 nodes, 7370 on tree, 6742.2 best solution, best possible 6739.88 (799.42 seconds)
After 95900 nodes, 7347 on tree, 6742.2 best solution, best possible 6739.89 (799.95 seconds)
After 96000 nodes, 7341 on tree, 6742.2 best solution, best possible 6739.9 (800.48 seconds)
After 96100 nodes, 7327 on tree, 6742.2 best solution, best possible 6739.92 (801.17 seconds)
After 96200 nodes, 7317 on tree, 6742.2 best solution, best possible 6739.92 (801.65 seconds)
After 96300 nodes, 7302 on tree, 6742.2 best solution, best possible 6739.93 (802.17 seconds)
After 96400 nodes, 7286 on tree, 6742.2 best solution, best possible 6739.94 (802.71 seconds)
After 96500 nodes, 7266 on tree, 6742.2 best solution, best possible 6739.95 (803.34 seconds)
After 96600 nodes, 7255 on tree, 6742.2 best solution, best possible 6739.96 (803.91 seconds)
After 96700 nodes, 7245 on tree, 6742.2 best solution, best possible 6739.98 (804.42 seconds)
After 96800 nodes, 7228 on tree, 6742.2 best solution, best possible 6739.99 (805.06 seconds)
After 96900 nodes, 7216 on tree, 6742.2 best solution, best possible 6740 (805.56 seconds)
After 97000 nodes, 7201 on tree, 6742.2 best solution, best possible 6740.01 (806.08 seconds)
After 97100 nodes, 7175 on tree, 6742.2 best solution, best possible 6740.01 (806.52 seconds)
After 97200 nodes, 7141 on tree, 6742.2 best solution, best possible 6740.01 (807.06 seconds)
After 97300 nodes, 7105 on tree, 6742.2 best solution, best possible 6740.01 (807.45 seconds)
After 97400 nodes, 7077 on tree, 6742.2 best solution, best possible 6740.01 (807.92 seconds)
After 97500 nodes, 7042 on tree, 6742.2 best solution, best possible 6740.01 (808.31 seconds)
After 97600 nodes, 7013 on tree, 6742.2 best solution, best possible 6740.01 (808.77 seconds)
After 97700 nodes, 6979 on tree, 6742.2 best solution, best possible 6740.01 (809.28 seconds)
After 97800 nodes, 6953 on tree, 6742.2 best solution, best possible 6740.01 (809.73 seconds)
After 97900 nodes, 6919 on tree, 6742.2 best solution, best possible 6740.01 (810.19 seconds)
After 98000 nodes, 6895 on tree, 6742.2 best solution, best possible 6740.01 (810.63 seconds)
After 98100 nodes, 6882 on tree, 6742.2 best solution, best possible 6740.02 (811.21 seconds)
After 98200 nodes, 6871 on tree, 6742.2 best solution, best possible 6740.03 (811.71 seconds)
After 98300 nodes, 6854 on tree, 6742.2 best solution, best possible 6740.04 (812.22 seconds)
After 98400 nodes, 6831 on tree, 6742.2 best solution, best possible 6740.05 (812.88 seconds)
After 98500 nodes, 6806 on tree, 6742.2 best solution, best possible 6740.07 (813.39 seconds)
After 98600 nodes, 6787 on tree, 6742.2 best solution, best possible 6740.08 (813.91 seconds)
After 98700 nodes, 6781 on tree, 6742.2 best solution, best possible 6740.1 (814.48 seconds)
After 98800 nodes, 6761 on tree, 6742.2 best solution, best possible 6740.11 (815.13 seconds)
After 98900 nodes, 6750 on tree, 6742.2 best solution, best possible 6740.12 (815.68 seconds)
After 99000 nodes, 6727 on tree, 6742.2 best solution, best possible 6740.13 (816.21 seconds)
After 99100 nodes, 6711 on tree, 6742.2 best solution, best possible 6740.14 (816.83 seconds)
After 99200 nodes, 6699 on tree, 6742.2 best solution, best possible 6740.15 (817.38 seconds)
After 99300 nodes, 6680 on tree, 6742.2 best solution, best possible 6740.16 (817.86 seconds)
After 99400 nodes, 6674 on tree, 6742.2 best solution, best possible 6740.18 (818.40 seconds)
After 99500 nodes, 6659 on tree, 6742.2 best solution, best possible 6740.19 (819.01 seconds)
After 99600 nodes, 6643 on tree, 6742.2 best solution, best possible 6740.2 (819.54 seconds)
After 99700 nodes, 6624 on tree, 6742.2 best solution, best possible 6740.22 (820.07 seconds)
After 99800 nodes, 6605 on tree, 6742.2 best solution, best possible 6740.23 (820.60 seconds)
After 99900 nodes, 6588 on tree, 6742.2 best solution, best possible 6740.24 (821.15 seconds)
After 100000 nodes, 6565 on tree, 6742.2 best solution, best possible 6740.25 (821.63 seconds)
After 100100 nodes, 6550 on tree, 6742.2 best solution, best possible 6740.26 (822.14 seconds)
After 100200 nodes, 6532 on tree, 6742.2 best solution, best possible 6740.28 (822.80 seconds)
After 100300 nodes, 6516 on tree, 6742.2 best solution, best possible 6740.29 (823.29 seconds)
After 100400 nodes, 6495 on tree, 6742.2 best solution, best possible 6740.3 (823.89 seconds)
After 100500 nodes, 6479 on tree, 6742.2 best solution, best possible 6740.31 (824.54 seconds)
After 100600 nodes, 6466 on tree, 6742.2 best solution, best possible 6740.32 (825.14 seconds)
After 100700 nodes, 6441 on tree, 6742.2 best solution, best possible 6740.33 (825.62 seconds)
After 100800 nodes, 6431 on tree, 6742.2 best solution, best possible 6740.34 (826.19 seconds)
After 100900 nodes, 6409 on tree, 6742.2 best solution, best possible 6740.35 (826.78 seconds)
After 101000 nodes, 6390 on tree, 6742.2 best solution, best possible 6740.36 (827.30 seconds)
After 101100 nodes, 6354 on tree, 6742.2 best solution, best possible 6740.36 (827.69 seconds)
After 101200 nodes, 6325 on tree, 6742.2 best solution, best possible 6740.36 (828.13 seconds)
After 101300 nodes, 6291 on tree, 6742.2 best solution, best possible 6740.36 (828.61 seconds)
After 101400 nodes, 6250 on tree, 6742.2 best solution, best possible 6740.36 (829.08 seconds)
After 101500 nodes, 6217 on tree, 6742.2 best solution, best possible 6740.36 (829.49 seconds)
After 101600 nodes, 6183 on tree, 6742.2 best solution, best possible 6740.36 (829.93 seconds)
After 101700 nodes, 6148 on tree, 6742.2 best solution, best possible 6740.36 (830.36 seconds)
After 101800 nodes, 6112 on tree, 6742.2 best solution, best possible 6740.36 (830.81 seconds)
After 101900 nodes, 6078 on tree, 6742.2 best solution, best possible 6740.36 (831.20 seconds)
After 102000 nodes, 6037 on tree, 6742.2 best solution, best possible 6740.36 (831.60 seconds)
After 102100 nodes, 6021 on tree, 6742.2 best solution, best possible 6740.37 (832.12 seconds)
After 102200 nodes, 6007 on tree, 6742.2 best solution, best possible 6740.38 (832.66 seconds)
After 102300 nodes, 5983 on tree, 6742.2 best solution, best possible 6740.4 (833.19 seconds)
After 102400 nodes, 5971 on tree, 6742.2 best solution, best possible 6740.41 (833.70 seconds)
After 102500 nodes, 5953 on tree, 6742.2 best solution, best possible 6740.42 (834.22 seconds)
After 102600 nodes, 5932 on tree, 6742.2 best solution, best possible 6740.43 (834.82 seconds)
After 102700 nodes, 5916 on tree, 6742.2 best solution, best possible 6740.44 (835.29 seconds)
After 102800 nodes, 5902 on tree, 6742.2 best solution, best possible 6740.45 (835.80 seconds)
After 102900 nodes, 5885 on tree, 6742.2 best solution, best possible 6740.46 (836.44 seconds)
After 103000 nodes, 5866 on tree, 6742.2 best solution, best possible 6740.47 (836.94 seconds)
After 103100 nodes, 5843 on tree, 6742.2 best solution, best possible 6740.49 (837.46 seconds)
After 103200 nodes, 5823 on tree, 6742.2 best solution, best possible 6740.5 (837.92 seconds)
After 103300 nodes, 5803 on tree, 6742.2 best solution, best possible 6740.51 (838.54 seconds)
After 103400 nodes, 5792 on tree, 6742.2 best solution, best possible 6740.52 (839.06 seconds)
After 103500 nodes, 5771 on tree, 6742.2 best solution, best possible 6740.53 (839.56 seconds)
After 103600 nodes, 5749 on tree, 6742.2 best solution, best possible 6740.54 (840.13 seconds)
After 103700 nodes, 5736 on tree, 6742.2 best solution, best possible 6740.56 (840.71 seconds)
After 103800 nodes, 5725 on tree, 6742.2 best solution, best possible 6740.57 (841.26 seconds)
After 103900 nodes, 5711 on tree, 6742.2 best solution, best possible 6740.59 (841.74 seconds)
After 104000 nodes, 5687 on tree, 6742.2 best solution, best possible 6740.6 (842.36 seconds)
After 104100 nodes, 5668 on tree, 6742.2 best solution, best possible 6740.61 (842.82 seconds)
After 104200 nodes, 5653 on tree, 6742.2 best solution, best possible 6740.62 (843.32 seconds)
After 104300 nodes, 5635 on tree, 6742.2 best solution, best possible 6740.63 (843.83 seconds)
After 104400 nodes, 5603 on tree, 6742.2 best solution, best possible 6740.64 (844.42 seconds)
After 104500 nodes, 5586 on tree, 6742.2 best solution, best possible 6740.65 (844.90 seconds)
After 104600 nodes, 5568 on tree, 6742.2 best solution, best possible 6740.66 (845.41 seconds)
After 104700 nodes, 5551 on tree, 6742.2 best solution, best possible 6740.67 (845.91 seconds)
After 104800 nodes, 5532 on tree, 6742.2 best solution, best possible 6740.68 (846.50 seconds)
After 104900 nodes, 5515 on tree, 6742.2 best solution, best possible 6740.69 (846.99 seconds)
After 105000 nodes, 5493 on tree, 6742.2 best solution, best possible 6740.7 (847.48 seconds)
After 105100 nodes, 5450 on tree, 6742.2 best solution, best possible 6740.7 (847.86 seconds)
After 105200 nodes, 5413 on tree, 6742.2 best solution, best possible 6740.7 (848.36 seconds)
After 105300 nodes, 5382 on tree, 6742.2 best solution, best possible 6740.7 (848.78 seconds)
After 105400 nodes, 5354 on tree, 6742.2 best solution, best possible 6740.7 (849.19 seconds)
After 105500 nodes, 5315 on tree, 6742.2 best solution, best possible 6740.7 (849.57 seconds)
After 105600 nodes, 5284 on tree, 6742.2 best solution, best possible 6740.7 (850.00 seconds)
After 105700 nodes, 5249 on tree, 6742.2 best solution, best possible 6740.7 (850.43 seconds)
After 105800 nodes, 5222 on tree, 6742.2 best solution, best possible 6740.7 (850.77 seconds)
After 105900 nodes, 5185 on tree, 6742.2 best solution, best possible 6740.7 (851.16 seconds)
After 106000 nodes, 5144 on tree, 6742.2 best solution, best possible 6740.7 (851.59 seconds)
After 106100 nodes, 5130 on tree, 6742.2 best solution, best possible 6740.71 (852.13 seconds)
After 106200 nodes, 5107 on tree, 6742.2 best solution, best possible 6740.73 (852.62 seconds)
After 106300 nodes, 5083 on tree, 6742.2 best solution, best possible 6740.74 (853.13 seconds)
After 106400 nodes, 5061 on tree, 6742.2 best solution, best possible 6740.75 (853.62 seconds)
After 106500 nodes, 5044 on tree, 6742.2 best solution, best possible 6740.76 (854.23 seconds)
After 106600 nodes, 5015 on tree, 6742.2 best solution, best possible 6740.78 (854.67 seconds)
After 106700 nodes, 4992 on tree, 6742.2 best solution, best possible 6740.79 (855.17 seconds)
After 106800 nodes, 4974 on tree, 6742.2 best solution, best possible 6740.8 (855.66 seconds)
After 106900 nodes, 4948 on tree, 6742.2 best solution, best possible 6740.81 (856.27 seconds)
After 107000 nodes, 4920 on tree, 6742.2 best solution, best possible 6740.82 (856.77 seconds)
After 107100 nodes, 4896 on tree, 6742.2 best solution, best possible 6740.84 (857.24 seconds)
After 107200 nodes, 4878 on tree, 6742.2 best solution, best possible 6740.85 (857.70 seconds)
After 107300 nodes, 4856 on tree, 6742.2 best solution, best possible 6740.86 (858.31 seconds)
After 107400 nodes, 4829 on tree, 6742.2 best solution, best possible 6740.87 (858.80 seconds)
After 107500 nodes, 4813 on tree, 6742.2 best solution, best possible 6740.88 (859.26 seconds)
After 107600 nodes, 4788 on tree, 6742.2 best solution, best possible 6740.89 (859.80 seconds)
After 107700 nodes, 4765 on tree, 6742.2 best solution, best possible 6740.9 (860.35 seconds)
After 107800 nodes, 4737 on tree, 6742.2 best solution, best possible 6740.91 (860.88 seconds)
After 107900 nodes, 4713 on tree, 6742.2 best solution, best possible 6740.92 (861.41 seconds)
After 108000 nodes, 4692 on tree, 6742.2 best solution, best possible 6740.93 (861.94 seconds)
After 108100 nodes, 4670 on tree, 6742.2 best solution, best possible 6740.94 (862.52 seconds)
After 108200 nodes, 4654 on tree, 6742.2 best solution, best possible 6740.95 (862.98 seconds)
After 108300 nodes, 4624 on tree, 6742.2 best solution, best possible 6740.96 (863.42 seconds)
After 108400 nodes, 4599 on tree, 6742.2 best solution, best possible 6740.97 (864.02 seconds)
After 108500 nodes, 4570 on tree, 6742.2 best solution, best possible 6740.99 (864.50 seconds)
After 108600 nodes, 4542 on tree, 6742.2 best solution, best possible 6741 (864.99 seconds)
After 108700 nodes, 4519 on tree, 6742.2 best solution, best possible 6741.01 (865.48 seconds)
After 108800 nodes, 4496 on tree, 6742.2 best solution, best possible 6741.02 (866.09 seconds)
After 108900 nodes, 4471 on tree, 6742.2 best solution, best possible 6741.03 (866.62 seconds)
After 109000 nodes, 4446 on tree, 6742.2 best solution, best possible 6741.04 (867.07 seconds)
After 109100 nodes, 4409 on tree, 6742.2 best solution, best possible 6741.04 (867.40 seconds)
After 109200 nodes, 4375 on tree, 6742.2 best solution, best possible 6741.04 (867.88 seconds)
After 109300 nodes, 4337 on tree, 6742.2 best solution, best possible 6741.04 (868.26 seconds)
After 109400 nodes, 4300 on tree, 6742.2 best solution, best possible 6741.04 (868.62 seconds)
After 109500 nodes, 4258 on tree, 6742.2 best solution, best possible 6741.04 (869.03 seconds)
After 109600 nodes, 4220 on tree, 6742.2 best solution, best possible 6741.04 (869.39 seconds)
After 109700 nodes, 4182 on tree, 6742.2 best solution, best possible 6741.04 (869.76 seconds)
After 109800 nodes, 4143 on tree, 6742.2 best solution, best possible 6741.04 (870.17 seconds)
After 109900 nodes, 4105 on tree, 6742.2 best solution, best possible 6741.04 (870.52 seconds)
After 110000 nodes, 4065 on tree, 6742.2 best solution, best possible 6741.04 (870.86 seconds)
After 110100 nodes, 4043 on tree, 6742.2 best solution, best possible 6741.05 (871.38 seconds)
After 110200 nodes, 4013 on tree, 6742.2 best solution, best possible 6741.06 (871.93 seconds)
After 110300 nodes, 3989 on tree, 6742.2 best solution, best possible 6741.08 (872.42 seconds)
After 110400 nodes, 3966 on tree, 6742.2 best solution, best possible 6741.09 (872.89 seconds)
After 110500 nodes, 3945 on tree, 6742.2 best solution, best possible 6741.1 (873.35 seconds)
After 110600 nodes, 3915 on tree, 6742.2 best solution, best possible 6741.11 (873.98 seconds)
After 110700 nodes, 3894 on tree, 6742.2 best solution, best possible 6741.12 (874.47 seconds)
After 110800 nodes, 3864 on tree, 6742.2 best solution, best possible 6741.13 (874.94 seconds)
After 110900 nodes, 3835 on tree, 6742.2 best solution, best possible 6741.15 (875.36 seconds)
After 111000 nodes, 3805 on tree, 6742.2 best solution, best possible 6741.16 (875.93 seconds)
After 111100 nodes, 3771 on tree, 6742.2 best solution, best possible 6741.17 (876.42 seconds)
After 111200 nodes, 3746 on tree, 6742.2 best solution, best possible 6741.18 (876.87 seconds)
After 111300 nodes, 3723 on tree, 6742.2 best solution, best possible 6741.19 (877.31 seconds)
After 111400 nodes, 3686 on tree, 6742.2 best solution, best possible 6741.21 (877.89 seconds)
After 111500 nodes, 3657 on tree, 6742.2 best solution, best possible 6741.22 (878.30 seconds)
After 111600 nodes, 3627 on tree, 6742.2 best solution, best possible 6741.23 (878.75 seconds)
After 111700 nodes, 3597 on tree, 6742.2 best solution, best possible 6741.24 (879.22 seconds)
After 111800 nodes, 3570 on tree, 6742.2 best solution, best possible 6741.25 (879.76 seconds)
After 111900 nodes, 3540 on tree, 6742.2 best solution, best possible 6741.26 (880.27 seconds)
After 112000 nodes, 3509 on tree, 6742.2 best solution, best possible 6741.27 (880.68 seconds)
After 112100 nodes, 3487 on tree, 6742.2 best solution, best possible 6741.28 (881.09 seconds)
After 112200 nodes, 3463 on tree, 6742.2 best solution, best possible 6741.3 (881.58 seconds)
After 112300 nodes, 3434 on tree, 6742.2 best solution, best possible 6741.31 (882.09 seconds)
After 112400 nodes, 3403 on tree, 6742.2 best solution, best possible 6741.32 (882.54 seconds)
After 112500 nodes, 3373 on tree, 6742.2 best solution, best possible 6741.33 (882.98 seconds)
After 112600 nodes, 3343 on tree, 6742.2 best solution, best possible 6741.34 (883.45 seconds)
After 112700 nodes, 3314 on tree, 6742.2 best solution, best possible 6741.36 (883.92 seconds)
After 112800 nodes, 3281 on tree, 6742.2 best solution, best possible 6741.36 (884.39 seconds)
After 112900 nodes, 3247 on tree, 6742.2 best solution, best possible 6741.38 (884.82 seconds)
After 113000 nodes, 3220 on tree, 6742.2 best solution, best possible 6741.39 (885.24 seconds)
After 113100 nodes, 3177 on tree, 6742.2 best solution, best possible 6741.39 (885.65 seconds)
After 113200 nodes, 3133 on tree, 6742.2 best solution, best possible 6741.39 (886.00 seconds)
After 113300 nodes, 3090 on tree, 6742.2 best solution, best possible 6741.39 (886.36 seconds)
After 113400 nodes, 3049 on tree, 6742.2 best solution, best possible 6741.39 (886.78 seconds)
After 113500 nodes, 3005 on tree, 6742.2 best solution, best possible 6741.39 (887.12 seconds)
After 113600 nodes, 2964 on tree, 6742.2 best solution, best possible 6741.39 (887.60 seconds)
After 113700 nodes, 2921 on tree, 6742.2 best solution, best possible 6741.39 (887.93 seconds)
After 113800 nodes, 2878 on tree, 6742.2 best solution, best possible 6741.39 (888.27 seconds)
After 113900 nodes, 2834 on tree, 6742.2 best solution, best possible 6741.39 (888.64 seconds)
After 114000 nodes, 2797 on tree, 6742.2 best solution, best possible 6741.39 (889.02 seconds)
After 114100 nodes, 2768 on tree, 6742.2 best solution, best possible 6741.4 (889.57 seconds)
After 114200 nodes, 2739 on tree, 6742.2 best solution, best possible 6741.41 (890.04 seconds)
After 114300 nodes, 2719 on tree, 6742.2 best solution, best possible 6741.42 (890.48 seconds)
After 114400 nodes, 2689 on tree, 6742.2 best solution, best possible 6741.44 (890.92 seconds)
After 114500 nodes, 2657 on tree, 6742.2 best solution, best possible 6741.45 (891.46 seconds)
After 114600 nodes, 2626 on tree, 6742.2 best solution, best possible 6741.46 (891.84 seconds)
After 114700 nodes, 2599 on tree, 6742.2 best solution, best possible 6741.47 (892.28 seconds)
After 114800 nodes, 2573 on tree, 6742.2 best solution, best possible 6741.48 (892.73 seconds)
After 114900 nodes, 2542 on tree, 6742.2 best solution, best possible 6741.49 (893.20 seconds)
After 115000 nodes, 2507 on tree, 6742.2 best solution, best possible 6741.51 (893.65 seconds)
After 115100 nodes, 2483 on tree, 6742.2 best solution, best possible 6741.52 (894.15 seconds)
After 115200 nodes, 2448 on tree, 6742.2 best solution, best possible 6741.53 (894.59 seconds)
After 115300 nodes, 2418 on tree, 6742.2 best solution, best possible 6741.54 (895.02 seconds)
After 115400 nodes, 2383 on tree, 6742.2 best solution, best possible 6741.56 (895.54 seconds)
After 115500 nodes, 2347 on tree, 6742.2 best solution, best possible 6741.57 (895.99 seconds)
After 115600 nodes, 2318 on tree, 6742.2 best solution, best possible 6741.58 (896.54 seconds)
After 115700 nodes, 2286 on tree, 6742.2 best solution, best possible 6741.59 (897.04 seconds)
After 115800 nodes, 2251 on tree, 6742.2 best solution, best possible 6741.6 (897.44 seconds)
After 115900 nodes, 2214 on tree, 6742.2 best solution, best possible 6741.61 (897.92 seconds)
After 116000 nodes, 2179 on tree, 6742.2 best solution, best possible 6741.62 (898.31 seconds)
After 116100 nodes, 2144 on tree, 6742.2 best solution, best possible 6741.64 (898.72 seconds)
After 116200 nodes, 2115 on tree, 6742.2 best solution, best possible 6741.65 (899.20 seconds)
After 116300 nodes, 2078 on tree, 6742.2 best solution, best possible 6741.66 (899.59 seconds)
After 116400 nodes, 2043 on tree, 6742.2 best solution, best possible 6741.67 (899.95 seconds)
After 116500 nodes, 2008 on tree, 6742.2 best solution, best possible 6741.68 (900.38 seconds)
After 116600 nodes, 1971 on tree, 6742.2 best solution, best possible 6741.7 (900.78 seconds)
After 116700 nodes, 1933 on tree, 6742.2 best solution, best possible 6741.71 (901.29 seconds)
After 116800 nodes, 1896 on tree, 6742.2 best solution, best possible 6741.72 (901.71 seconds)
After 116900 nodes, 1861 on tree, 6742.2 best solution, best possible 6741.73 (902.19 seconds)
After 117000 nodes, 1827 on tree, 6742.2 best solution, best possible 6741.74 (902.62 seconds)
After 117100 nodes, 1787 on tree, 6742.2 best solution, best possible 6741.74 (902.91 seconds)
After 117200 nodes, 1744 on tree, 6742.2 best solution, best possible 6741.74 (903.35 seconds)
After 117300 nodes, 1698 on tree, 6742.2 best solution, best possible 6741.74 (903.66 seconds)
After 117400 nodes, 1653 on tree, 6742.2 best solution, best possible 6741.74 (904.01 seconds)
After 117500 nodes, 1613 on tree, 6742.2 best solution, best possible 6741.74 (904.36 seconds)
After 117600 nodes, 1568 on tree, 6742.2 best solution, best possible 6741.74 (904.66 seconds)
After 117700 nodes, 1527 on tree, 6742.2 best solution, best possible 6741.74 (905.08 seconds)
After 117800 nodes, 1482 on tree, 6742.2 best solution, best possible 6741.74 (905.45 seconds)
After 117900 nodes, 1436 on tree, 6742.2 best solution, best possible 6741.74 (905.75 seconds)
After 118000 nodes, 1399 on tree, 6742.2 best solution, best possible 6741.74 (906.11 seconds)
After 118100 nodes, 1361 on tree, 6742.2 best solution, best possible 6741.76 (906.57 seconds)
After 118200 nodes, 1323 on tree, 6742.2 best solution, best possible 6741.77 (907.00 seconds)
After 118300 nodes, 1288 on tree, 6742.2 best solution, best possible 6741.79 (907.45 seconds)
After 118400 nodes, 1255 on tree, 6742.2 best solution, best possible 6741.8 (907.86 seconds)
After 118500 nodes, 1218 on tree, 6742.2 best solution, best possible 6741.82 (908.27 seconds)
After 118600 nodes, 1183 on tree, 6742.2 best solution, best possible 6741.83 (908.66 seconds)
After 118700 nodes, 1142 on tree, 6742.2 best solution, best possible 6741.85 (909.10 seconds)
After 118800 nodes, 1104 on tree, 6742.2 best solution, best possible 6741.86 (909.51 seconds)
After 118900 nodes, 1069 on tree, 6742.2 best solution, best possible 6741.88 (909.98 seconds)
After 119000 nodes, 1035 on tree, 6742.2 best solution, best possible 6741.89 (910.40 seconds)
After 119100 nodes, 993 on tree, 6742.2 best solution, best possible 6741.9 (910.75 seconds)
After 119200 nodes, 949 on tree, 6742.2 best solution, best possible 6741.92 (911.13 seconds)
After 119300 nodes, 910 on tree, 6742.2 best solution, best possible 6741.93 (911.50 seconds)
After 119400 nodes, 869 on tree, 6742.2 best solution, best possible 6741.95 (911.91 seconds)
After 119500 nodes, 826 on tree, 6742.2 best solution, best possible 6741.96 (912.28 seconds)
After 119600 nodes, 787 on tree, 6742.2 best solution, best possible 6741.98 (912.69 seconds)
After 119700 nodes, 745 on tree, 6742.2 best solution, best possible 6741.99 (913.06 seconds)
After 119800 nodes, 702 on tree, 6742.2 best solution, best possible 6742 (913.39 seconds)
After 119900 nodes, 665 on tree, 6742.2 best solution, best possible 6742.02 (913.74 seconds)
After 120000 nodes, 625 on tree, 6742.2 best solution, best possible 6742.03 (914.19 seconds)
After 120100 nodes, 580 on tree, 6742.2 best solution, best possible 6742.04 (914.54 seconds)
After 120200 nodes, 535 on tree, 6742.2 best solution, best possible 6742.05 (915.01 seconds)
After 120300 nodes, 491 on tree, 6742.2 best solution, best possible 6742.06 (915.39 seconds)
After 120400 nodes, 443 on tree, 6742.2 best solution, best possible 6742.07 (915.75 seconds)
After 120500 nodes, 396 on tree, 6742.2 best solution, best possible 6742.09 (916.12 seconds)
After 120600 nodes, 355 on tree, 6742.2 best solution, best possible 6742.1 (916.51 seconds)
After 120700 nodes, 309 on tree, 6742.2 best solution, best possible 6742.11 (916.90 seconds)
After 120800 nodes, 264 on tree, 6742.2 best solution, best possible 6742.13 (917.25 seconds)
After 120900 nodes, 220 on tree, 6742.2 best solution, best possible 6742.14 (917.61 seconds)
After 121000 nodes, 173 on tree, 6742.2 best solution, best possible 6742.15 (917.98 seconds)
After 121100 nodes, 124 on tree, 6742.2 best solution, best possible 6742.15 (918.27 seconds)
After 121200 nodes, 76 on tree, 6742.2 best solution, best possible 6742.15 (918.61 seconds)
After 121300 nodes, 26 on tree, 6742.2 best solution, best possible 6742.15 (919.02 seconds)
Search completed - best objective 6742.200024, took 2549733 iterations and 121353 nodes (919.29 seconds)
Strong branching done 3244 times (52132 iterations), fathomed 7 nodes and fixed 309 variables
Maximum depth 40, 565273 variables fixed on reduced cost
Cuts at root node changed objective from 6637.19 to 6692.41
Probing was tried 52092 times and created 67071 cuts of which 12781 were active after adding rounds of cuts (39.346 seconds)
Gomory was tried 25411 times and created 20585 cuts of which 3907 were active after adding rounds of cuts (26.978 seconds)
Knapsack was tried 42148 times and created 601192 cuts of which 71826 were active after adding rounds of cuts (64.732 seconds)
Clique was tried 14 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.004 seconds)
MixedIntegerRounding2 was tried 14 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.004 seconds)
FlowCover was tried 14 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.104 seconds)
TwoMirCuts was tried 14 times and created 188 cuts of which 1 were active after adding rounds of cuts (0.052 seconds)
implication was tried 56333 times and created 0 cuts of which 0 were active after adding rounds of cuts
5 bounds tightened after postprocessing
Result - Finished objective 6742.200024 after 121353 nodes and 2549733 iterations - took 919.34 seconds (total time 919.37)
Total time 919.43

Solved to optimality.
MIP solution:           6742.200024   (121353 nodes, 919.44 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/24/08 00:22:30 elapsed 0:15:38.967