--- Job mkc Start 08/21/08 09:01:25 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 --- mkc.gms(106) 2 Mb --- GDXin=/home/stefan/work/gams/models/LINlib/mkc.gdx --- mkc.gms(148) 4 Mb --- Starting execution: elapsed 0:00:00.067 --- mkc.gms(123) 5 Mb --- Generating MIP model m --- mkc.gms(124) 6 Mb --- 3,412 rows 5,326 columns 19,985 non-zeroes --- 5,323 discrete-columns --- mkc.gms(124) 6 Mb --- Executing COINCBC: elapsed 0:00:00.158 GAMS/CoinCbc 2.0 LP/MIP Solver written by J. Forrest Problem statistics: 5325 columns and 3411 rows. 5323 variables have integrality restrictions. Calling CBC main solution routine... Coin Cbc and Clp Solver version 2.00.00, build Mar 20 2008 command line - GAMS/CBC -solve -quit Continuous objective value is -611.85 - 0.07 seconds 0 fixed, 0 tightened bounds, 61 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 61 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 61 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 61 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 61 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 61 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 61 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 61 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 61 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 61 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 61 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 61 strengthened rows, 0 substitutions processed model has 3211 rows, 5198 columns (5197 integer) and 16514 elements Objective coefficients multiple of 0.002 Cutoff increment increased from 1e-05 to 0.001998 Pass 1: (0.07 seconds) obj. 2.12283 --> up = 0 , down = 1 Pass 2: (0.08 seconds) obj. 1.41255 --> up = 0 , down = 0 -- rand = 7 ( 19) Pass 3: (0.08 seconds) obj. 0.00000 --> up = 0 , down = 0 -- rand = 0 ( 26) - solution found of -288.85 Before mini branch and bound, 5111 integers at bound fixed and 0 continuous Full problem 3211 rows 5198 columns, reduced to 30 rows 33 columns Mini branch and bound improved solution from -288.85 to -319.15 (0.20 seconds) Freeing continuous variables gives a solution of -319.15 Round again with cutoff of -348.42 Pass 4: (0.25 seconds) obj. 2.12283 --> up = 0 , down = 1 Pass 5: (0.26 seconds) obj. 1.41255 --> up = 0 , down = 0 -- rand = 7 ( 19) Pass 6: (0.27 seconds) obj. 1.53743 --> up = 1 , down = 0 Pass 7: (0.27 seconds) obj. 1.06643 --> up = 0 , down = 0 -- rand = 4 ( 10) Pass 8: (0.28 seconds) obj. 2.73579 --> up = 4 , down = 0 perturbation applied Pass 9: (0.30 seconds) obj. 341.73705 --> up = 4 , down = 338 Pass 10: (0.31 seconds) obj. 1.20899 --> up = 1 , down = 0 Pass 11: (0.32 seconds) obj. 0.52774 --> up = 0 , down = 0 -- rand = 3 ( 17) Pass 12: (0.33 seconds) obj. 1.42925 --> up = 0 , down = 0 -- rand = 6 ( 28) Pass 13: (0.34 seconds) obj. 4.32875 --> up = 5 , down = 1 perturbation applied Pass 14: (0.35 seconds) obj. 354.19956 --> up = 4 , down = 351 Pass 15: (0.36 seconds) obj. 0.73529 --> up = 0 , down = 0 -- rand = 3 ( 12) Pass 16: (0.37 seconds) obj. 0.97999 --> up = 0 , down = 0 -- rand = 3 ( 19) Pass 17: (0.38 seconds) obj. 1.96428 --> up = 3 , down = 0 perturbation applied Pass 18: (0.39 seconds) obj. 223.62264 --> up = 0 , down = 223 Pass 19: (0.40 seconds) obj. 1.00174 --> up = 0 , down = 0 -- rand = 3 ( 13) Pass 20: (0.41 seconds) obj. 1.36742 --> up = 2 , down = 0 Pass 21: (0.42 seconds) obj. 0.91799 --> up = 0 , down = 0 -- rand = 3 ( 29) Pass 22: (0.43 seconds) obj. 1.71580 --> up = 2 , down = 0 Pass 23: (0.44 seconds) obj. 1.24499 --> No solution found this major pass Before mini branch and bound, 5036 integers at bound fixed and 0 continuous Full problem 3211 rows 5198 columns, reduced to 91 rows 111 columns Mini branch and bound improved solution from -319.15 to -395.15 (0.62 seconds) Freeing continuous variables gives a solution of -395.15 After 0.62 seconds - Feasibility pump exiting - took 0.61 seconds Integer solution of -395.15 found by feasibility pump after 0 iterations and 0 nodes (0.62 seconds) Full problem 3211 rows 5198 columns, reduced to 1 rows 2 columns Integer solution of -396.03 found by combine solutions after 8677 iterations and 0 nodes (3.65 seconds) 50 added rows had average density of 81.36 At root node, 50 cuts changed objective from -611.85 to -591.336 in 20 passes Cut generator 0 (Probing) - 67 row cuts (5 active), 0 column cuts in 0.168 seconds - new frequency is 2 Cut generator 1 (Gomory) - 1740 row cuts (31 active), 0 column cuts in 0.404 seconds - new frequency is 1 Cut generator 2 (Knapsack) - 197 row cuts (4 active), 0 column cuts in 0.100 seconds - new frequency is -100 Cut generator 3 (Clique) - 0 row cuts (0 active), 0 column cuts in 0.000 seconds - new frequency is -100 Cut generator 4 (MixedIntegerRounding2) - 42 row cuts (0 active), 0 column cuts in 0.156 seconds - new frequency is -100 Cut generator 5 (FlowCover) - 0 row cuts (0 active), 0 column cuts in 0.040 seconds - new frequency is -100 Cut generator 6 (TwoMirCuts) - 873 row cuts (10 active), 0 column cuts in 0.300 seconds - new frequency is -100 After 0 nodes, 1 on tree, -396.03 best solution, best possible -591.336 (3.76 seconds) After 100 nodes, 53 on tree, -396.03 best solution, best possible -591.333 (20.53 seconds) Integer solution of -406.756 found by rounding after 20372 iterations and 167 nodes (25.91 seconds) Full problem 3211 rows 5198 columns, reduced to 105 rows 151 columns Integer solution of -508.246 found by combine solutions after 20409 iterations and 168 nodes (26.07 seconds) After 200 nodes, 101 on tree, -508.246 best solution, best possible -591.333 (29.23 seconds) After 300 nodes, 155 on tree, -508.246 best solution, best possible -591.333 (34.29 seconds) After 400 nodes, 206 on tree, -508.246 best solution, best possible -591.333 (37.43 seconds) After 500 nodes, 243 on tree, -508.246 best solution, best possible -591.333 (40.39 seconds) After 600 nodes, 283 on tree, -508.246 best solution, best possible -591.333 (42.91 seconds) After 700 nodes, 328 on tree, -508.246 best solution, best possible -591.333 (45.60 seconds) After 800 nodes, 371 on tree, -508.246 best solution, best possible -591.333 (47.77 seconds) After 900 nodes, 417 on tree, -508.246 best solution, best possible -591.333 (49.90 seconds) After 1000 nodes, 466 on tree, -508.246 best solution, best possible -591.333 (52.28 seconds) After 1100 nodes, 502 on tree, -508.246 best solution, best possible -591.333 (54.22 seconds) After 1200 nodes, 549 on tree, -508.246 best solution, best possible -591.333 (56.41 seconds) After 1300 nodes, 596 on tree, -508.246 best solution, best possible -591.333 (58.50 seconds) After 1400 nodes, 645 on tree, -508.246 best solution, best possible -591.333 (60.49 seconds) After 1500 nodes, 693 on tree, -508.246 best solution, best possible -591.333 (62.30 seconds) After 1600 nodes, 743 on tree, -508.246 best solution, best possible -591.333 (64.09 seconds) After 1700 nodes, 800 on tree, -508.246 best solution, best possible -591.333 (65.94 seconds) After 1800 nodes, 837 on tree, -508.246 best solution, best possible -591.333 (67.80 seconds) After 1900 nodes, 887 on tree, -508.246 best solution, best possible -591.333 (69.83 seconds) After 2000 nodes, 937 on tree, -508.246 best solution, best possible -591.333 (71.54 seconds) After 2100 nodes, 987 on tree, -508.246 best solution, best possible -591.333 (73.18 seconds) After 2200 nodes, 1034 on tree, -508.246 best solution, best possible -591.333 (74.66 seconds) After 2300 nodes, 1076 on tree, -508.246 best solution, best possible -591.333 (76.51 seconds) After 2400 nodes, 1123 on tree, -508.246 best solution, best possible -591.333 (78.22 seconds) After 2500 nodes, 1173 on tree, -508.246 best solution, best possible -591.333 (79.76 seconds) After 2600 nodes, 1219 on tree, -508.246 best solution, best possible -591.333 (81.57 seconds) After 2700 nodes, 1268 on tree, -508.246 best solution, best possible -591.333 (83.36 seconds) After 2800 nodes, 1318 on tree, -508.246 best solution, best possible -591.333 (85.10 seconds) After 2900 nodes, 1367 on tree, -508.246 best solution, best possible -591.333 (86.53 seconds) After 3000 nodes, 1414 on tree, -508.246 best solution, best possible -591.333 (88.26 seconds) After 3100 nodes, 1458 on tree, -508.246 best solution, best possible -591.333 (90.25 seconds) After 3200 nodes, 1505 on tree, -508.246 best solution, best possible -591.333 (92.51 seconds) After 3300 nodes, 1551 on tree, -508.246 best solution, best possible -591.333 (94.31 seconds) After 3400 nodes, 1599 on tree, -508.246 best solution, best possible -591.333 (95.99 seconds) After 3500 nodes, 1649 on tree, -508.246 best solution, best possible -591.333 (97.68 seconds) After 3600 nodes, 1699 on tree, -508.246 best solution, best possible -591.333 (99.21 seconds) After 3700 nodes, 1749 on tree, -508.246 best solution, best possible -591.333 (100.73 seconds) After 3800 nodes, 1799 on tree, -508.246 best solution, best possible -591.333 (102.25 seconds) After 3900 nodes, 1835 on tree, -508.246 best solution, best possible -591.333 (104.28 seconds) After 4000 nodes, 1865 on tree, -508.246 best solution, best possible -591.333 (106.29 seconds) After 4100 nodes, 1901 on tree, -508.246 best solution, best possible -591.333 (108.30 seconds) After 4200 nodes, 1944 on tree, -508.246 best solution, best possible -591.333 (110.07 seconds) After 4300 nodes, 1993 on tree, -508.246 best solution, best possible -591.333 (112.11 seconds) After 4400 nodes, 2039 on tree, -508.246 best solution, best possible -591.333 (114.03 seconds) After 4500 nodes, 2087 on tree, -508.246 best solution, best possible -591.333 (115.91 seconds) After 4600 nodes, 2136 on tree, -508.246 best solution, best possible -591.333 (117.74 seconds) After 4700 nodes, 2186 on tree, -508.246 best solution, best possible -591.333 (119.49 seconds) After 4800 nodes, 2237 on tree, -508.246 best solution, best possible -591.333 (121.17 seconds) After 4900 nodes, 2287 on tree, -508.246 best solution, best possible -591.333 (123.12 seconds) After 5000 nodes, 2334 on tree, -508.246 best solution, best possible -591.333 (125.09 seconds) After 5100 nodes, 2383 on tree, -508.246 best solution, best possible -591.333 (127.11 seconds) After 5200 nodes, 2432 on tree, -508.246 best solution, best possible -591.333 (129.13 seconds) After 5300 nodes, 2479 on tree, -508.246 best solution, best possible -591.333 (131.02 seconds) After 5400 nodes, 2529 on tree, -508.246 best solution, best possible -591.333 (132.66 seconds) After 5500 nodes, 2579 on tree, -508.246 best solution, best possible -591.333 (134.28 seconds) After 5600 nodes, 2630 on tree, -508.246 best solution, best possible -591.333 (135.92 seconds) After 5700 nodes, 2679 on tree, -508.246 best solution, best possible -591.333 (137.71 seconds) After 5800 nodes, 2728 on tree, -508.246 best solution, best possible -591.333 (139.37 seconds) After 5900 nodes, 2770 on tree, -508.246 best solution, best possible -591.333 (141.14 seconds) After 6000 nodes, 2816 on tree, -508.246 best solution, best possible -591.333 (142.93 seconds) After 6100 nodes, 2865 on tree, -508.246 best solution, best possible -591.333 (144.63 seconds) After 6200 nodes, 2913 on tree, -508.246 best solution, best possible -591.333 (146.33 seconds) After 6300 nodes, 2963 on tree, -508.246 best solution, best possible -591.333 (147.82 seconds) After 6400 nodes, 3013 on tree, -508.246 best solution, best possible -591.333 (149.46 seconds) After 6500 nodes, 3060 on tree, -508.246 best solution, best possible -591.333 (151.10 seconds) After 6600 nodes, 3110 on tree, -508.246 best solution, best possible -591.333 (152.86 seconds) After 6700 nodes, 3160 on tree, -508.246 best solution, best possible -591.333 (154.47 seconds) After 6800 nodes, 3206 on tree, -508.246 best solution, best possible -591.333 (156.19 seconds) After 6900 nodes, 3255 on tree, -508.246 best solution, best possible -591.333 (158.01 seconds) After 7000 nodes, 3304 on tree, -508.246 best solution, best possible -591.333 (159.70 seconds) After 7100 nodes, 3353 on tree, -508.246 best solution, best possible -591.333 (161.43 seconds) After 7200 nodes, 3403 on tree, -508.246 best solution, best possible -591.333 (162.93 seconds) After 7300 nodes, 3451 on tree, -508.246 best solution, best possible -591.333 (164.73 seconds) After 7400 nodes, 3487 on tree, -508.246 best solution, best possible -591.333 (166.69 seconds) After 7500 nodes, 3530 on tree, -508.246 best solution, best possible -591.333 (168.30 seconds) After 7600 nodes, 3578 on tree, -508.246 best solution, best possible -591.333 (169.95 seconds) After 7700 nodes, 3621 on tree, -508.246 best solution, best possible -591.333 (171.63 seconds) After 7800 nodes, 3669 on tree, -508.246 best solution, best possible -591.333 (173.42 seconds) After 7900 nodes, 3718 on tree, -508.246 best solution, best possible -591.333 (174.89 seconds) After 8000 nodes, 3769 on tree, -508.246 best solution, best possible -591.333 (176.46 seconds) After 8100 nodes, 3817 on tree, -508.246 best solution, best possible -591.333 (178.06 seconds) After 8200 nodes, 3866 on tree, -508.246 best solution, best possible -591.333 (179.63 seconds) After 8300 nodes, 3916 on tree, -508.246 best solution, best possible -591.333 (181.49 seconds) After 8400 nodes, 3964 on tree, -508.246 best solution, best possible -591.333 (183.10 seconds) After 8500 nodes, 4012 on tree, -508.246 best solution, best possible -591.333 (184.78 seconds) After 8600 nodes, 4059 on tree, -508.246 best solution, best possible -591.333 (186.41 seconds) After 8700 nodes, 4112 on tree, -508.246 best solution, best possible -591.333 (188.31 seconds) After 8800 nodes, 4159 on tree, -508.246 best solution, best possible -591.333 (190.05 seconds) After 8900 nodes, 4206 on tree, -508.246 best solution, best possible -591.333 (191.66 seconds) After 9000 nodes, 4256 on tree, -508.246 best solution, best possible -591.333 (193.11 seconds) After 9100 nodes, 4302 on tree, -508.246 best solution, best possible -591.333 (194.73 seconds) After 9200 nodes, 4352 on tree, -508.246 best solution, best possible -591.333 (196.39 seconds) After 9300 nodes, 4402 on tree, -508.246 best solution, best possible -591.333 (198.08 seconds) After 9400 nodes, 4451 on tree, -508.246 best solution, best possible -591.333 (199.65 seconds) After 9500 nodes, 4500 on tree, -508.246 best solution, best possible -591.333 (201.15 seconds) After 9600 nodes, 4548 on tree, -508.246 best solution, best possible -591.333 (202.74 seconds) After 9700 nodes, 4596 on tree, -508.246 best solution, best possible -591.333 (204.32 seconds) After 9800 nodes, 4647 on tree, -508.246 best solution, best possible -591.333 (205.90 seconds) After 9900 nodes, 4695 on tree, -508.246 best solution, best possible -591.333 (207.50 seconds) After 10000 nodes, 4740 on tree, -508.246 best solution, best possible -591.333 (209.30 seconds) After 10100 nodes, 4789 on tree, -508.246 best solution, best possible -591.333 (211.36 seconds) After 10200 nodes, 4833 on tree, -508.246 best solution, best possible -591.333 (212.87 seconds) After 10300 nodes, 4878 on tree, -508.246 best solution, best possible -591.333 (214.50 seconds) After 10400 nodes, 4928 on tree, -508.246 best solution, best possible -591.333 (216.09 seconds) After 10500 nodes, 4976 on tree, -508.246 best solution, best possible -591.333 (217.80 seconds) After 10600 nodes, 5015 on tree, -508.246 best solution, best possible -591.333 (219.79 seconds) After 10700 nodes, 5042 on tree, -508.246 best solution, best possible -591.333 (222.03 seconds) After 10800 nodes, 5089 on tree, -508.246 best solution, best possible -591.333 (223.69 seconds) After 10900 nodes, 5130 on tree, -508.246 best solution, best possible -591.333 (225.85 seconds) After 11000 nodes, 5172 on tree, -508.246 best solution, best possible -591.333 (227.51 seconds) After 11100 nodes, 5223 on tree, -508.246 best solution, best possible -591.215 (239.22 seconds) After 11200 nodes, 5271 on tree, -508.246 best solution, best possible -591.15 (249.18 seconds) After 11300 nodes, 5322 on tree, -508.246 best solution, best possible -591.071 (255.15 seconds) After 11400 nodes, 5373 on tree, -508.246 best solution, best possible -590.968 (264.65 seconds) After 11500 nodes, 5425 on tree, -508.246 best solution, best possible -590.967 (270.18 seconds) After 11600 nodes, 5472 on tree, -508.246 best solution, best possible -590.944 (278.72 seconds) After 11700 nodes, 5520 on tree, -508.246 best solution, best possible -590.944 (305.70 seconds) After 11800 nodes, 5576 on tree, -508.246 best solution, best possible -590.934 (327.42 seconds) After 11900 nodes, 5619 on tree, -508.246 best solution, best possible -590.934 (348.94 seconds) After 12000 nodes, 5678 on tree, -508.246 best solution, best possible -590.932 (368.40 seconds) After 12100 nodes, 5721 on tree, -508.246 best solution, best possible -590.932 (390.61 seconds) After 12200 nodes, 5787 on tree, -508.246 best solution, best possible -590.932 (411.33 seconds) After 12300 nodes, 5827 on tree, -508.246 best solution, best possible -590.932 (430.33 seconds) After 12400 nodes, 5869 on tree, -508.246 best solution, best possible -590.932 (450.96 seconds) After 12500 nodes, 5937 on tree, -508.246 best solution, best possible -590.927 (463.13 seconds) After 12600 nodes, 5969 on tree, -508.246 best solution, best possible -590.927 (473.20 seconds) After 12700 nodes, 6031 on tree, -508.246 best solution, best possible -590.927 (483.39 seconds) After 12800 nodes, 6077 on tree, -508.246 best solution, best possible -590.927 (494.71 seconds) After 12900 nodes, 6118 on tree, -508.246 best solution, best possible -590.927 (507.17 seconds) After 13000 nodes, 6167 on tree, -508.246 best solution, best possible -590.927 (517.99 seconds) After 13100 nodes, 6216 on tree, -508.246 best solution, best possible -590.927 (521.23 seconds) After 13200 nodes, 6260 on tree, -508.246 best solution, best possible -590.927 (523.56 seconds) After 13300 nodes, 6306 on tree, -508.246 best solution, best possible -590.927 (525.46 seconds) After 13400 nodes, 6346 on tree, -508.246 best solution, best possible -590.927 (527.10 seconds) After 13500 nodes, 6392 on tree, -508.246 best solution, best possible -590.927 (528.98 seconds) After 13600 nodes, 6440 on tree, -508.246 best solution, best possible -590.927 (530.91 seconds) After 13700 nodes, 6482 on tree, -508.246 best solution, best possible -590.927 (532.47 seconds) Integer solution of -509.88 found by rounding after 450267 iterations and 13800 nodes (533.95 seconds) After 13800 nodes, 6515 on tree, -509.88 best solution, best possible -590.927 (533.95 seconds) Full problem 3211 rows 5198 columns, reduced to 157 rows 215 columns Integer solution of -516.072 found by combine solutions after 450279 iterations and 13801 nodes (534.87 seconds) After 13900 nodes, 6529 on tree, -516.072 best solution, best possible -590.927 (536.90 seconds) After 14000 nodes, 6572 on tree, -516.072 best solution, best possible -590.927 (538.93 seconds) After 14100 nodes, 6630 on tree, -516.072 best solution, best possible -590.925 (551.54 seconds) After 14200 nodes, 6671 on tree, -516.072 best solution, best possible -590.925 (560.44 seconds) After 14300 nodes, 6723 on tree, -516.072 best solution, best possible -590.923 (567.88 seconds) After 14400 nodes, 6771 on tree, -516.072 best solution, best possible -590.916 (575.33 seconds) After 14500 nodes, 6844 on tree, -516.072 best solution, best possible -590.916 (581.98 seconds) After 14600 nodes, 6886 on tree, -516.072 best solution, best possible -590.916 (589.72 seconds) After 14700 nodes, 6922 on tree, -516.072 best solution, best possible -590.916 (597.36 seconds) After 14800 nodes, 6977 on tree, -516.072 best solution, best possible -590.905 (603.43 seconds) After 14900 nodes, 7022 on tree, -516.072 best solution, best possible -590.902 (608.77 seconds) After 15000 nodes, 7070 on tree, -516.072 best solution, best possible -590.818 (615.89 seconds) After 15100 nodes, 7119 on tree, -516.072 best solution, best possible -590.809 (622.27 seconds) After 15200 nodes, 7166 on tree, -516.072 best solution, best possible -590.8 (626.35 seconds) After 15300 nodes, 7204 on tree, -516.072 best solution, best possible -590.791 (629.83 seconds) After 15400 nodes, 7249 on tree, -516.072 best solution, best possible -590.789 (634.32 seconds) After 15500 nodes, 7289 on tree, -516.072 best solution, best possible -590.789 (637.68 seconds) After 15600 nodes, 7334 on tree, -516.072 best solution, best possible -590.784 (641.66 seconds) After 15700 nodes, 7380 on tree, -516.072 best solution, best possible -590.77 (646.97 seconds) After 15800 nodes, 7423 on tree, -516.072 best solution, best possible -590.745 (652.28 seconds) After 15900 nodes, 7472 on tree, -516.072 best solution, best possible -590.734 (656.39 seconds) After 16000 nodes, 7513 on tree, -516.072 best solution, best possible -590.733 (659.50 seconds) After 16100 nodes, 7555 on tree, -516.072 best solution, best possible -590.725 (662.63 seconds) After 16200 nodes, 7596 on tree, -516.072 best solution, best possible -590.692 (665.99 seconds) After 16300 nodes, 7644 on tree, -516.072 best solution, best possible -590.652 (670.89 seconds) After 16400 nodes, 7693 on tree, -516.072 best solution, best possible -590.398 (674.95 seconds) After 16500 nodes, 7743 on tree, -516.072 best solution, best possible -590.059 (679.92 seconds) After 16600 nodes, 7792 on tree, -516.072 best solution, best possible -589.787 (687.61 seconds) After 16700 nodes, 7841 on tree, -516.072 best solution, best possible -589.787 (696.86 seconds) After 16800 nodes, 7891 on tree, -516.072 best solution, best possible -589.741 (704.11 seconds) After 16900 nodes, 7941 on tree, -516.072 best solution, best possible -589.678 (710.60 seconds) After 17000 nodes, 7991 on tree, -516.072 best solution, best possible -589.447 (717.97 seconds) After 17100 nodes, 8039 on tree, -516.072 best solution, best possible -589.447 (721.10 seconds) After 17200 nodes, 8087 on tree, -516.072 best solution, best possible -589.447 (724.12 seconds) After 17300 nodes, 8136 on tree, -516.072 best solution, best possible -589.447 (727.29 seconds) After 17400 nodes, 8183 on tree, -516.072 best solution, best possible -589.447 (730.28 seconds) Integer solution of -519.88 found by rounding after 769664 iterations and 17462 nodes (731.31 seconds) Full problem 3211 rows 5198 columns, reduced to 163 rows 223 columns After 17500 nodes, 8156 on tree, -519.88 best solution, best possible -589.447 (732.94 seconds) After 17600 nodes, 8202 on tree, -519.88 best solution, best possible -589.447 (734.99 seconds) After 17700 nodes, 8250 on tree, -519.88 best solution, best possible -589.447 (736.77 seconds) After 17800 nodes, 8288 on tree, -519.88 best solution, best possible -589.447 (738.41 seconds) After 17900 nodes, 8335 on tree, -519.88 best solution, best possible -589.447 (740.01 seconds) After 18000 nodes, 8373 on tree, -519.88 best solution, best possible -589.447 (741.47 seconds) After 18100 nodes, 8429 on tree, -519.88 best solution, best possible -589.434 (752.78 seconds) After 18200 nodes, 8475 on tree, -519.88 best solution, best possible -589.429 (762.13 seconds) After 18300 nodes, 8525 on tree, -519.88 best solution, best possible -589.429 (769.75 seconds) After 18400 nodes, 8572 on tree, -519.88 best solution, best possible -589.427 (776.11 seconds) After 18500 nodes, 8622 on tree, -519.88 best solution, best possible -589.418 (781.49 seconds) After 18600 nodes, 8672 on tree, -519.88 best solution, best possible -589.418 (786.99 seconds) After 18700 nodes, 8723 on tree, -519.88 best solution, best possible -589.385 (791.10 seconds) After 18800 nodes, 8772 on tree, -519.88 best solution, best possible -589.309 (794.50 seconds) After 18900 nodes, 8821 on tree, -519.88 best solution, best possible -589.011 (799.73 seconds) After 19000 nodes, 8871 on tree, -519.88 best solution, best possible -588.697 (805.45 seconds) After 19100 nodes, 8925 on tree, -519.88 best solution, best possible -588.487 (812.13 seconds) After 19200 nodes, 8971 on tree, -519.88 best solution, best possible -588.416 (820.26 seconds) After 19300 nodes, 9020 on tree, -519.88 best solution, best possible -588.344 (826.09 seconds) After 19400 nodes, 9069 on tree, -519.88 best solution, best possible -588.311 (831.84 seconds) After 19500 nodes, 9119 on tree, -519.88 best solution, best possible -588.28 (838.54 seconds) After 19600 nodes, 9166 on tree, -519.88 best solution, best possible -588.229 (841.93 seconds) After 19700 nodes, 9210 on tree, -519.88 best solution, best possible -588.209 (847.78 seconds) After 19800 nodes, 9257 on tree, -519.88 best solution, best possible -588.094 (851.97 seconds) After 19900 nodes, 9305 on tree, -519.88 best solution, best possible -587.914 (856.87 seconds) After 20000 nodes, 9354 on tree, -519.88 best solution, best possible -587.533 (860.83 seconds) After 20100 nodes, 9404 on tree, -519.88 best solution, best possible -587.421 (865.79 seconds) After 20200 nodes, 9454 on tree, -519.88 best solution, best possible -587.229 (871.67 seconds) After 20300 nodes, 9504 on tree, -519.88 best solution, best possible -587.124 (877.33 seconds) After 20400 nodes, 9554 on tree, -519.88 best solution, best possible -586.741 (883.02 seconds) After 20500 nodes, 9604 on tree, -519.88 best solution, best possible -586.614 (887.55 seconds) After 20600 nodes, 9660 on tree, -519.88 best solution, best possible -586.44 (891.71 seconds) After 20700 nodes, 9704 on tree, -519.88 best solution, best possible -586.286 (895.83 seconds) After 20800 nodes, 9754 on tree, -519.88 best solution, best possible -586.266 (899.81 seconds) After 20900 nodes, 9808 on tree, -519.88 best solution, best possible -586.252 (905.61 seconds) After 21000 nodes, 9856 on tree, -519.88 best solution, best possible -586.251 (912.48 seconds) After 21100 nodes, 9906 on tree, -519.88 best solution, best possible -586.251 (915.48 seconds) After 21200 nodes, 9954 on tree, -519.88 best solution, best possible -586.251 (917.02 seconds) After 21300 nodes, 10005 on tree, -519.88 best solution, best possible -586.251 (918.54 seconds) After 21400 nodes, 10052 on tree, -519.88 best solution, best possible -586.251 (920.39 seconds) After 21500 nodes, 10101 on tree, -519.88 best solution, best possible -586.251 (922.18 seconds) After 21600 nodes, 10144 on tree, -519.88 best solution, best possible -586.251 (923.62 seconds) After 21700 nodes, 10192 on tree, -519.88 best solution, best possible -586.251 (924.99 seconds) After 21800 nodes, 10239 on tree, -519.88 best solution, best possible -586.251 (926.47 seconds) After 21900 nodes, 10290 on tree, -519.88 best solution, best possible -586.251 (928.07 seconds) After 22000 nodes, 10340 on tree, -519.88 best solution, best possible -586.251 (929.68 seconds) Integer solution of -520.88 found by rounding after 1097268 iterations and 22032 nodes (930.10 seconds) Full problem 3211 rows 5198 columns, reduced to 168 rows 230 columns After 22100 nodes, 10352 on tree, -520.88 best solution, best possible -586.251 (932.19 seconds) After 22200 nodes, 10397 on tree, -520.88 best solution, best possible -586.251 (933.72 seconds) After 22300 nodes, 10447 on tree, -520.88 best solution, best possible -586.251 (935.33 seconds) After 22400 nodes, 10497 on tree, -520.88 best solution, best possible -586.251 (936.89 seconds) After 22500 nodes, 10547 on tree, -520.88 best solution, best possible -586.251 (938.52 seconds) After 22600 nodes, 10595 on tree, -520.88 best solution, best possible -586.251 (940.00 seconds) After 22700 nodes, 10643 on tree, -520.88 best solution, best possible -586.251 (941.03 seconds) After 22800 nodes, 10693 on tree, -520.88 best solution, best possible -586.251 (942.03 seconds) After 22900 nodes, 10743 on tree, -520.88 best solution, best possible -586.251 (943.30 seconds) After 23000 nodes, 10793 on tree, -520.88 best solution, best possible -586.251 (944.60 seconds) After 23100 nodes, 10807 on tree, -520.88 best solution, best possible -586.251 (945.68 seconds) After 23200 nodes, 10832 on tree, -520.88 best solution, best possible -586.251 (947.02 seconds) After 23300 nodes, 10843 on tree, -520.88 best solution, best possible -586.251 (947.99 seconds) After 23400 nodes, 10855 on tree, -520.88 best solution, best possible -586.251 (949.03 seconds) After 23500 nodes, 10859 on tree, -520.88 best solution, best possible -586.251 (949.90 seconds) Full problem 3211 rows 5198 columns, reduced to 169 rows 232 columns After 23600 nodes, 10807 on tree, -522.298 best solution, best possible -586.251 (952.52 seconds) After 23700 nodes, 10858 on tree, -522.298 best solution, best possible -586.251 (960.85 seconds) After 23800 nodes, 10908 on tree, -522.298 best solution, best possible -586.24 (968.04 seconds) After 23900 nodes, 10958 on tree, -522.298 best solution, best possible -586.233 (980.13 seconds) After 24000 nodes, 11006 on tree, -522.298 best solution, best possible -586.127 (985.97 seconds) After 24100 nodes, 11004 on tree, -522.298 best solution, best possible -586.127 (986.92 seconds) Full problem 3211 rows 5198 columns, reduced to 172 rows 235 columns Integer solution of -529.512 found by combine solutions after 1194961 iterations and 24110 nodes (988.11 seconds) After 24200 nodes, 10589 on tree, -529.512 best solution, best possible -585.971 (992.82 seconds) After 24300 nodes, 10639 on tree, -529.512 best solution, best possible -585.887 (997.79 seconds) After 24400 nodes, 10690 on tree, -529.512 best solution, best possible -585.793 (1003.38 seconds) After 24500 nodes, 10739 on tree, -529.512 best solution, best possible -585.782 (1011.69 seconds) After 24600 nodes, 10789 on tree, -529.512 best solution, best possible -585.659 (1017.96 seconds) After 24700 nodes, 10839 on tree, -529.512 best solution, best possible -585.588 (1021.84 seconds) After 24800 nodes, 10890 on tree, -529.512 best solution, best possible -585.478 (1027.76 seconds) After 24900 nodes, 10938 on tree, -529.512 best solution, best possible -585.297 (1031.64 seconds) After 25000 nodes, 10987 on tree, -529.512 best solution, best possible -585.214 (1035.94 seconds) After 25100 nodes, 10993 on tree, -529.512 best solution, best possible -585.214 (1037.27 seconds) After 25200 nodes, 11011 on tree, -529.512 best solution, best possible -585.214 (1038.62 seconds) After 25300 nodes, 11024 on tree, -529.512 best solution, best possible -585.214 (1039.74 seconds) After 25400 nodes, 11032 on tree, -529.512 best solution, best possible -585.214 (1040.87 seconds) After 25500 nodes, 11033 on tree, -529.512 best solution, best possible -585.214 (1041.88 seconds) After 25600 nodes, 11031 on tree, -529.512 best solution, best possible -585.214 (1042.93 seconds) After 25700 nodes, 11044 on tree, -529.512 best solution, best possible -585.214 (1044.19 seconds) After 25800 nodes, 11054 on tree, -529.512 best solution, best possible -585.214 (1045.26 seconds) Full problem 3211 rows 5198 columns, reduced to 173 rows 237 columns After 25900 nodes, 11057 on tree, -529.698 best solution, best possible -585.191 (1048.17 seconds) After 26000 nodes, 11107 on tree, -529.698 best solution, best possible -585.111 (1052.33 seconds) After 26100 nodes, 11109 on tree, -529.698 best solution, best possible -585.111 (1053.39 seconds) After 26200 nodes, 11114 on tree, -529.698 best solution, best possible -585.111 (1054.48 seconds) Full problem 3211 rows 5198 columns, reduced to 183 rows 249 columns Integer solution of -534.112 found by combine solutions after 1305073 iterations and 26247 nodes (1055.84 seconds) After 26300 nodes, 10792 on tree, -534.112 best solution, best possible -585.106 (1060.51 seconds) After 26400 nodes, 10841 on tree, -534.112 best solution, best possible -585.079 (1067.56 seconds) After 26500 nodes, 10890 on tree, -534.112 best solution, best possible -585.054 (1072.33 seconds) After 26600 nodes, 10939 on tree, -534.112 best solution, best possible -585.017 (1078.75 seconds) After 26700 nodes, 10989 on tree, -534.112 best solution, best possible -584.935 (1085.57 seconds) After 26800 nodes, 11039 on tree, -534.112 best solution, best possible -584.867 (1090.82 seconds) After 26900 nodes, 11089 on tree, -534.112 best solution, best possible -584.772 (1095.53 seconds) After 27000 nodes, 11139 on tree, -534.112 best solution, best possible -584.665 (1101.46 seconds) After 27100 nodes, 11141 on tree, -534.112 best solution, best possible -584.665 (1102.85 seconds) After 27200 nodes, 11161 on tree, -534.112 best solution, best possible -584.665 (1104.19 seconds) After 27300 nodes, 11177 on tree, -534.112 best solution, best possible -584.665 (1105.29 seconds) After 27400 nodes, 11186 on tree, -534.112 best solution, best possible -584.665 (1106.34 seconds) After 27500 nodes, 11190 on tree, -534.112 best solution, best possible -584.665 (1107.92 seconds) After 27600 nodes, 11194 on tree, -534.112 best solution, best possible -584.665 (1108.99 seconds) After 27700 nodes, 11199 on tree, -534.112 best solution, best possible -584.665 (1109.89 seconds) After 27800 nodes, 11195 on tree, -534.112 best solution, best possible -584.665 (1110.71 seconds) After 27900 nodes, 11202 on tree, -534.112 best solution, best possible -584.665 (1111.69 seconds) After 28000 nodes, 11207 on tree, -534.112 best solution, best possible -584.665 (1112.87 seconds) After 28100 nodes, 11215 on tree, -534.112 best solution, best possible -584.665 (1113.88 seconds) After 28200 nodes, 11218 on tree, -534.112 best solution, best possible -584.665 (1115.05 seconds) After 28300 nodes, 11218 on tree, -534.112 best solution, best possible -584.665 (1115.91 seconds) After 28400 nodes, 11219 on tree, -534.112 best solution, best possible -584.665 (1116.95 seconds) After 28500 nodes, 11230 on tree, -534.112 best solution, best possible -584.665 (1118.23 seconds) After 28600 nodes, 11227 on tree, -534.112 best solution, best possible -584.665 (1119.61 seconds) After 28700 nodes, 11231 on tree, -534.112 best solution, best possible -584.665 (1120.80 seconds) After 28800 nodes, 11231 on tree, -534.112 best solution, best possible -584.665 (1121.58 seconds) After 28900 nodes, 11236 on tree, -534.112 best solution, best possible -584.665 (1122.47 seconds) After 29000 nodes, 11237 on tree, -534.112 best solution, best possible -584.665 (1123.47 seconds) After 29100 nodes, 11239 on tree, -534.112 best solution, best possible -584.665 (1124.27 seconds) After 29200 nodes, 11238 on tree, -534.112 best solution, best possible -584.665 (1125.25 seconds) After 29300 nodes, 11247 on tree, -534.112 best solution, best possible -584.665 (1126.19 seconds) After 29400 nodes, 11250 on tree, -534.112 best solution, best possible -584.665 (1127.29 seconds) After 29500 nodes, 11255 on tree, -534.112 best solution, best possible -584.665 (1128.15 seconds) After 29600 nodes, 11256 on tree, -534.112 best solution, best possible -584.665 (1128.93 seconds) After 29700 nodes, 11252 on tree, -534.112 best solution, best possible -584.665 (1129.70 seconds) After 29800 nodes, 11259 on tree, -534.112 best solution, best possible -584.665 (1130.83 seconds) After 29900 nodes, 11267 on tree, -534.112 best solution, best possible -584.665 (1131.96 seconds) After 30000 nodes, 11272 on tree, -534.112 best solution, best possible -584.665 (1133.09 seconds) After 30100 nodes, 11265 on tree, -534.112 best solution, best possible -584.665 (1134.11 seconds) After 30200 nodes, 11267 on tree, -534.112 best solution, best possible -584.665 (1134.87 seconds) After 30300 nodes, 11265 on tree, -534.112 best solution, best possible -584.665 (1135.63 seconds) After 30400 nodes, 11270 on tree, -534.112 best solution, best possible -584.665 (1136.50 seconds) After 30500 nodes, 11274 on tree, -534.112 best solution, best possible -584.665 (1137.50 seconds) After 30600 nodes, 11277 on tree, -534.112 best solution, best possible -584.665 (1138.71 seconds) After 30700 nodes, 11285 on tree, -534.112 best solution, best possible -584.665 (1140.01 seconds) After 30800 nodes, 11280 on tree, -534.112 best solution, best possible -584.665 (1140.90 seconds) After 30900 nodes, 11288 on tree, -534.112 best solution, best possible -584.665 (1141.84 seconds) After 31000 nodes, 11284 on tree, -534.112 best solution, best possible -584.665 (1142.73 seconds) After 31100 nodes, 11296 on tree, -534.112 best solution, best possible -584.665 (1143.64 seconds) After 31200 nodes, 11298 on tree, -534.112 best solution, best possible -584.665 (1144.66 seconds) After 31300 nodes, 11298 on tree, -534.112 best solution, best possible -584.665 (1145.56 seconds) After 31400 nodes, 11299 on tree, -534.112 best solution, best possible -584.665 (1146.34 seconds) After 31500 nodes, 11297 on tree, -534.112 best solution, best possible -584.665 (1147.20 seconds) After 31600 nodes, 11300 on tree, -534.112 best solution, best possible -584.665 (1148.00 seconds) After 31700 nodes, 11305 on tree, -534.112 best solution, best possible -584.665 (1148.91 seconds) After 31800 nodes, 11309 on tree, -534.112 best solution, best possible -584.665 (1149.66 seconds) After 31900 nodes, 11307 on tree, -534.112 best solution, best possible -584.665 (1150.48 seconds) After 32000 nodes, 11310 on tree, -534.112 best solution, best possible -584.665 (1151.36 seconds) After 32100 nodes, 11320 on tree, -534.112 best solution, best possible -584.665 (1152.25 seconds) After 32200 nodes, 11318 on tree, -534.112 best solution, best possible -584.665 (1153.52 seconds) After 32300 nodes, 11329 on tree, -534.112 best solution, best possible -584.665 (1154.44 seconds) After 32400 nodes, 11322 on tree, -534.112 best solution, best possible -584.665 (1155.18 seconds) After 32500 nodes, 11323 on tree, -534.112 best solution, best possible -584.665 (1156.04 seconds) After 32600 nodes, 11331 on tree, -534.112 best solution, best possible -584.665 (1157.07 seconds) After 32700 nodes, 11333 on tree, -534.112 best solution, best possible -584.665 (1158.16 seconds) After 32800 nodes, 11338 on tree, -534.112 best solution, best possible -584.665 (1159.18 seconds) After 32900 nodes, 11344 on tree, -534.112 best solution, best possible -584.665 (1159.93 seconds) After 33000 nodes, 11337 on tree, -534.112 best solution, best possible -584.665 (1160.71 seconds) After 33100 nodes, 11339 on tree, -534.112 best solution, best possible -584.665 (1161.48 seconds) After 33200 nodes, 11342 on tree, -534.112 best solution, best possible -584.665 (1162.28 seconds) After 33300 nodes, 11348 on tree, -534.112 best solution, best possible -584.665 (1163.19 seconds) After 33400 nodes, 11351 on tree, -534.112 best solution, best possible -584.665 (1164.31 seconds) After 33500 nodes, 11353 on tree, -534.112 best solution, best possible -584.665 (1165.22 seconds) After 33600 nodes, 11354 on tree, -534.112 best solution, best possible -584.665 (1166.16 seconds) After 33700 nodes, 11355 on tree, -534.112 best solution, best possible -584.665 (1167.19 seconds) After 33800 nodes, 11355 on tree, -534.112 best solution, best possible -584.665 (1168.15 seconds) After 33900 nodes, 11356 on tree, -534.112 best solution, best possible -584.665 (1169.12 seconds) After 34000 nodes, 11356 on tree, -534.112 best solution, best possible -584.665 (1170.25 seconds) After 34100 nodes, 11355 on tree, -534.112 best solution, best possible -584.665 (1171.05 seconds) After 34200 nodes, 11359 on tree, -534.112 best solution, best possible -584.665 (1171.87 seconds) After 34300 nodes, 11366 on tree, -534.112 best solution, best possible -584.665 (1172.57 seconds) After 34400 nodes, 11359 on tree, -534.112 best solution, best possible -584.665 (1173.23 seconds) After 34500 nodes, 11369 on tree, -534.112 best solution, best possible -584.665 (1174.01 seconds) After 34600 nodes, 11382 on tree, -534.112 best solution, best possible -584.665 (1174.96 seconds) After 34700 nodes, 11375 on tree, -534.112 best solution, best possible -584.665 (1175.63 seconds) After 34800 nodes, 11388 on tree, -534.112 best solution, best possible -584.665 (1176.53 seconds) After 34900 nodes, 11390 on tree, -534.112 best solution, best possible -584.665 (1177.38 seconds) After 35000 nodes, 11414 on tree, -534.112 best solution, best possible -584.665 (1178.44 seconds) After 35100 nodes, 11439 on tree, -534.112 best solution, best possible -584.665 (1179.36 seconds) After 35200 nodes, 11462 on tree, -534.112 best solution, best possible -584.665 (1180.25 seconds) After 35300 nodes, 11482 on tree, -534.112 best solution, best possible -584.665 (1181.17 seconds) After 35400 nodes, 11499 on tree, -534.112 best solution, best possible -584.665 (1182.11 seconds) After 35500 nodes, 11524 on tree, -534.112 best solution, best possible -584.665 (1183.10 seconds) After 35600 nodes, 11540 on tree, -534.112 best solution, best possible -584.665 (1184.13 seconds) After 35700 nodes, 11554 on tree, -534.112 best solution, best possible -584.665 (1185.04 seconds) After 35800 nodes, 11580 on tree, -534.112 best solution, best possible -584.665 (1185.97 seconds) After 35900 nodes, 11593 on tree, -534.112 best solution, best possible -584.665 (1186.85 seconds) After 36000 nodes, 11622 on tree, -534.112 best solution, best possible -584.665 (1187.81 seconds) After 36100 nodes, 11635 on tree, -534.112 best solution, best possible -584.665 (1188.57 seconds) After 36200 nodes, 11658 on tree, -534.112 best solution, best possible -584.665 (1189.39 seconds) After 36300 nodes, 11687 on tree, -534.112 best solution, best possible -584.665 (1190.40 seconds) After 36400 nodes, 11706 on tree, -534.112 best solution, best possible -584.665 (1191.29 seconds) After 36500 nodes, 11726 on tree, -534.112 best solution, best possible -584.665 (1192.20 seconds) After 36600 nodes, 11748 on tree, -534.112 best solution, best possible -584.665 (1193.24 seconds) After 36700 nodes, 11753 on tree, -534.112 best solution, best possible -584.665 (1194.08 seconds) After 36800 nodes, 11755 on tree, -534.112 best solution, best possible -584.665 (1194.93 seconds) After 36900 nodes, 11763 on tree, -534.112 best solution, best possible -584.665 (1195.58 seconds) After 37000 nodes, 11759 on tree, -534.112 best solution, best possible -584.665 (1196.28 seconds) After 37100 nodes, 11766 on tree, -534.112 best solution, best possible -584.665 (1197.03 seconds) After 37200 nodes, 11777 on tree, -534.112 best solution, best possible -584.665 (1197.91 seconds) After 37300 nodes, 11780 on tree, -534.112 best solution, best possible -584.665 (1198.61 seconds) After 37400 nodes, 11781 on tree, -534.112 best solution, best possible -584.665 (1199.32 seconds) After 37500 nodes, 11809 on tree, -534.112 best solution, best possible -584.665 (1200.28 seconds) After 37600 nodes, 11832 on tree, -534.112 best solution, best possible -584.665 (1201.16 seconds) After 37700 nodes, 11863 on tree, -534.112 best solution, best possible -584.665 (1202.08 seconds) After 37800 nodes, 11891 on tree, -534.112 best solution, best possible -584.665 (1203.09 seconds) After 37900 nodes, 11907 on tree, -534.112 best solution, best possible -584.665 (1204.03 seconds) After 38000 nodes, 11931 on tree, -534.112 best solution, best possible -584.665 (1205.00 seconds) After 38100 nodes, 11955 on tree, -534.112 best solution, best possible -584.665 (1205.96 seconds) After 38200 nodes, 11972 on tree, -534.112 best solution, best possible -584.665 (1206.90 seconds) After 38300 nodes, 12001 on tree, -534.112 best solution, best possible -584.665 (1207.78 seconds) After 38400 nodes, 12024 on tree, -534.112 best solution, best possible -584.665 (1208.64 seconds) After 38500 nodes, 12045 on tree, -534.112 best solution, best possible -584.665 (1209.48 seconds) After 38600 nodes, 12075 on tree, -534.112 best solution, best possible -584.665 (1210.42 seconds) After 38700 nodes, 12074 on tree, -534.112 best solution, best possible -584.665 (1211.15 seconds) Integer solution of -534.198 found after 1563632 iterations and 38716 nodes (1211.30 seconds) Full problem 3211 rows 5198 columns, reduced to 195 rows 264 columns After 38800 nodes, 12113 on tree, -534.198 best solution, best possible -584.574 (1216.64 seconds) After 38900 nodes, 12161 on tree, -534.198 best solution, best possible -584.514 (1222.14 seconds) After 39000 nodes, 12211 on tree, -534.198 best solution, best possible -584.477 (1228.22 seconds) After 39100 nodes, 12231 on tree, -534.198 best solution, best possible -584.477 (1229.21 seconds) After 39200 nodes, 12266 on tree, -534.198 best solution, best possible -584.477 (1230.16 seconds) After 39300 nodes, 12291 on tree, -534.198 best solution, best possible -584.477 (1231.12 seconds) After 39400 nodes, 12319 on tree, -534.198 best solution, best possible -584.477 (1232.13 seconds) After 39500 nodes, 12323 on tree, -534.198 best solution, best possible -584.477 (1232.77 seconds) After 39600 nodes, 12354 on tree, -534.198 best solution, best possible -584.477 (1233.82 seconds) After 39700 nodes, 12367 on tree, -534.198 best solution, best possible -584.477 (1234.70 seconds) After 39800 nodes, 12384 on tree, -534.198 best solution, best possible -584.477 (1235.65 seconds) After 39900 nodes, 12417 on tree, -534.198 best solution, best possible -584.477 (1236.59 seconds) After 40000 nodes, 12450 on tree, -534.198 best solution, best possible -584.477 (1237.59 seconds) After 40100 nodes, 12469 on tree, -534.198 best solution, best possible -584.477 (1238.51 seconds) After 40200 nodes, 12475 on tree, -534.198 best solution, best possible -584.477 (1239.27 seconds) After 40300 nodes, 12500 on tree, -534.198 best solution, best possible -584.477 (1240.27 seconds) After 40400 nodes, 12523 on tree, -534.198 best solution, best possible -584.477 (1241.16 seconds) After 40500 nodes, 12548 on tree, -534.198 best solution, best possible -584.477 (1242.21 seconds) After 40600 nodes, 12562 on tree, -534.198 best solution, best possible -584.477 (1243.13 seconds) After 40700 nodes, 12586 on tree, -534.198 best solution, best possible -584.477 (1244.15 seconds) After 40800 nodes, 12605 on tree, -534.198 best solution, best possible -584.477 (1245.04 seconds) After 40900 nodes, 12629 on tree, -534.198 best solution, best possible -584.477 (1245.96 seconds) After 41000 nodes, 12652 on tree, -534.198 best solution, best possible -584.477 (1247.02 seconds) After 41100 nodes, 12674 on tree, -534.198 best solution, best possible -584.477 (1248.01 seconds) After 41200 nodes, 12691 on tree, -534.198 best solution, best possible -584.477 (1248.93 seconds) After 41300 nodes, 12706 on tree, -534.198 best solution, best possible -584.477 (1249.85 seconds) After 41400 nodes, 12731 on tree, -534.198 best solution, best possible -584.477 (1250.86 seconds) After 41500 nodes, 12749 on tree, -534.198 best solution, best possible -584.477 (1251.75 seconds) After 41600 nodes, 12771 on tree, -534.198 best solution, best possible -584.477 (1252.78 seconds) After 41700 nodes, 12789 on tree, -534.198 best solution, best possible -584.477 (1253.68 seconds) After 41800 nodes, 12819 on tree, -534.198 best solution, best possible -584.477 (1254.71 seconds) After 41900 nodes, 12836 on tree, -534.198 best solution, best possible -584.477 (1255.58 seconds) After 42000 nodes, 12853 on tree, -534.198 best solution, best possible -584.477 (1256.51 seconds) After 42100 nodes, 12876 on tree, -534.198 best solution, best possible -584.477 (1257.51 seconds) After 42200 nodes, 12891 on tree, -534.198 best solution, best possible -584.477 (1258.37 seconds) After 42300 nodes, 12915 on tree, -534.198 best solution, best possible -584.477 (1259.29 seconds) After 42400 nodes, 12923 on tree, -534.198 best solution, best possible -584.477 (1260.20 seconds) After 42500 nodes, 12940 on tree, -534.198 best solution, best possible -584.477 (1261.15 seconds) After 42600 nodes, 12967 on tree, -534.198 best solution, best possible -584.477 (1262.13 seconds) After 42700 nodes, 12991 on tree, -534.198 best solution, best possible -584.477 (1263.06 seconds) After 42800 nodes, 13014 on tree, -534.198 best solution, best possible -584.477 (1264.02 seconds) After 42900 nodes, 13020 on tree, -534.198 best solution, best possible -584.477 (1264.65 seconds) After 43000 nodes, 13043 on tree, -534.198 best solution, best possible -584.477 (1265.66 seconds) After 43100 nodes, 13065 on tree, -534.198 best solution, best possible -584.477 (1266.62 seconds) After 43200 nodes, 13088 on tree, -534.198 best solution, best possible -584.477 (1267.53 seconds) After 43300 nodes, 13113 on tree, -534.198 best solution, best possible -584.477 (1268.42 seconds) After 43400 nodes, 13137 on tree, -534.198 best solution, best possible -584.477 (1269.37 seconds) After 43500 nodes, 13152 on tree, -534.198 best solution, best possible -584.477 (1270.39 seconds) After 43600 nodes, 13168 on tree, -534.198 best solution, best possible -584.477 (1271.29 seconds) After 43700 nodes, 13197 on tree, -534.198 best solution, best possible -584.477 (1272.25 seconds) After 43800 nodes, 13218 on tree, -534.198 best solution, best possible -584.477 (1273.12 seconds) After 43900 nodes, 13250 on tree, -534.198 best solution, best possible -584.477 (1274.07 seconds) After 44000 nodes, 13270 on tree, -534.198 best solution, best possible -584.477 (1275.01 seconds) After 44100 nodes, 13294 on tree, -534.198 best solution, best possible -584.477 (1275.97 seconds) After 44200 nodes, 13314 on tree, -534.198 best solution, best possible -584.477 (1276.78 seconds) After 44300 nodes, 13338 on tree, -534.198 best solution, best possible -584.477 (1277.69 seconds) After 44400 nodes, 13345 on tree, -534.198 best solution, best possible -584.477 (1278.44 seconds) After 44500 nodes, 13377 on tree, -534.198 best solution, best possible -584.477 (1279.40 seconds) After 44600 nodes, 13411 on tree, -534.198 best solution, best possible -584.477 (1280.36 seconds) After 44700 nodes, 13421 on tree, -534.198 best solution, best possible -584.477 (1281.26 seconds) After 44800 nodes, 13447 on tree, -534.198 best solution, best possible -584.477 (1282.14 seconds) After 44900 nodes, 13476 on tree, -534.198 best solution, best possible -584.477 (1283.14 seconds) After 45000 nodes, 13492 on tree, -534.198 best solution, best possible -584.477 (1284.09 seconds) After 45100 nodes, 13520 on tree, -534.198 best solution, best possible -584.477 (1285.14 seconds) After 45200 nodes, 13530 on tree, -534.198 best solution, best possible -584.477 (1285.84 seconds) After 45300 nodes, 13555 on tree, -534.198 best solution, best possible -584.477 (1286.84 seconds) After 45400 nodes, 13570 on tree, -534.198 best solution, best possible -584.477 (1287.75 seconds) After 45500 nodes, 13574 on tree, -534.198 best solution, best possible -584.477 (1288.41 seconds) After 45600 nodes, 13583 on tree, -534.198 best solution, best possible -584.477 (1289.09 seconds) After 45700 nodes, 13587 on tree, -534.198 best solution, best possible -584.477 (1289.86 seconds) After 45800 nodes, 13602 on tree, -534.198 best solution, best possible -584.477 (1290.72 seconds) After 45900 nodes, 13612 on tree, -534.198 best solution, best possible -584.477 (1291.40 seconds) After 46000 nodes, 13606 on tree, -534.198 best solution, best possible -584.477 (1292.05 seconds) After 46100 nodes, 13616 on tree, -534.198 best solution, best possible -584.477 (1292.89 seconds) After 46200 nodes, 13611 on tree, -534.198 best solution, best possible -584.477 (1293.58 seconds) After 46300 nodes, 13644 on tree, -534.198 best solution, best possible -584.477 (1294.50 seconds) After 46400 nodes, 13681 on tree, -534.198 best solution, best possible -584.477 (1295.41 seconds) After 46500 nodes, 13710 on tree, -534.198 best solution, best possible -584.477 (1296.36 seconds) After 46600 nodes, 13737 on tree, -534.198 best solution, best possible -584.477 (1297.31 seconds) After 46700 nodes, 13763 on tree, -534.198 best solution, best possible -584.477 (1298.24 seconds) After 46800 nodes, 13785 on tree, -534.198 best solution, best possible -584.477 (1299.17 seconds) After 46900 nodes, 13802 on tree, -534.198 best solution, best possible -584.477 (1300.08 seconds) After 47000 nodes, 13817 on tree, -534.198 best solution, best possible -584.477 (1300.95 seconds) After 47100 nodes, 13834 on tree, -534.198 best solution, best possible -584.477 (1301.92 seconds) After 47200 nodes, 13856 on tree, -534.198 best solution, best possible -584.477 (1302.80 seconds) After 47300 nodes, 13878 on tree, -534.198 best solution, best possible -584.477 (1303.75 seconds) After 47400 nodes, 13898 on tree, -534.198 best solution, best possible -584.477 (1304.63 seconds) After 47500 nodes, 13926 on tree, -534.198 best solution, best possible -584.477 (1305.63 seconds) After 47600 nodes, 13937 on tree, -534.198 best solution, best possible -584.477 (1306.30 seconds) After 47700 nodes, 13964 on tree, -534.198 best solution, best possible -584.477 (1307.27 seconds) After 47800 nodes, 13979 on tree, -534.198 best solution, best possible -584.477 (1308.23 seconds) After 47900 nodes, 13984 on tree, -534.198 best solution, best possible -584.477 (1309.43 seconds) After 48000 nodes, 13991 on tree, -534.198 best solution, best possible -584.477 (1310.46 seconds) After 48100 nodes, 13988 on tree, -534.198 best solution, best possible -584.477 (1311.51 seconds) After 48200 nodes, 13992 on tree, -534.198 best solution, best possible -584.477 (1312.53 seconds) After 48300 nodes, 13991 on tree, -534.198 best solution, best possible -584.477 (1313.60 seconds) After 48400 nodes, 13996 on tree, -534.198 best solution, best possible -584.477 (1314.61 seconds) After 48500 nodes, 13998 on tree, -534.198 best solution, best possible -584.477 (1315.83 seconds) After 48600 nodes, 14000 on tree, -534.198 best solution, best possible -584.477 (1316.83 seconds) After 48700 nodes, 14000 on tree, -534.198 best solution, best possible -584.477 (1317.90 seconds) After 48800 nodes, 13999 on tree, -534.198 best solution, best possible -584.477 (1318.85 seconds) After 48900 nodes, 13999 on tree, -534.198 best solution, best possible -584.477 (1319.85 seconds) After 49000 nodes, 14002 on tree, -534.198 best solution, best possible -584.477 (1320.77 seconds) After 49100 nodes, 14005 on tree, -534.198 best solution, best possible -584.477 (1321.89 seconds) After 49200 nodes, 14005 on tree, -534.198 best solution, best possible -584.477 (1323.03 seconds) After 49300 nodes, 14006 on tree, -534.198 best solution, best possible -584.477 (1324.04 seconds) After 49400 nodes, 14012 on tree, -534.198 best solution, best possible -584.477 (1325.10 seconds) After 49500 nodes, 14010 on tree, -534.198 best solution, best possible -584.477 (1326.26 seconds) After 49600 nodes, 14014 on tree, -534.198 best solution, best possible -584.477 (1327.33 seconds) After 49700 nodes, 14014 on tree, -534.198 best solution, best possible -584.477 (1328.44 seconds) After 49800 nodes, 14019 on tree, -534.198 best solution, best possible -584.477 (1329.56 seconds) After 49900 nodes, 14024 on tree, -534.198 best solution, best possible -584.477 (1330.64 seconds) After 50000 nodes, 14021 on tree, -534.198 best solution, best possible -584.477 (1331.81 seconds) After 50100 nodes, 14024 on tree, -534.198 best solution, best possible -584.477 (1332.81 seconds) After 50200 nodes, 14022 on tree, -534.198 best solution, best possible -584.477 (1334.00 seconds) After 50300 nodes, 14027 on tree, -534.198 best solution, best possible -584.477 (1334.98 seconds) After 50400 nodes, 14023 on tree, -534.198 best solution, best possible -584.477 (1336.00 seconds) After 50500 nodes, 14026 on tree, -534.198 best solution, best possible -584.477 (1336.97 seconds) After 50600 nodes, 14023 on tree, -534.198 best solution, best possible -584.477 (1337.96 seconds) After 50700 nodes, 14027 on tree, -534.198 best solution, best possible -584.477 (1339.00 seconds) After 50800 nodes, 14026 on tree, -534.198 best solution, best possible -584.477 (1340.04 seconds) After 50900 nodes, 14051 on tree, -534.198 best solution, best possible -584.477 (1340.93 seconds) After 51000 nodes, 14087 on tree, -534.198 best solution, best possible -584.477 (1341.80 seconds) After 51100 nodes, 14110 on tree, -534.198 best solution, best possible -584.477 (1342.65 seconds) After 51200 nodes, 14133 on tree, -534.198 best solution, best possible -584.477 (1343.52 seconds) Integer solution of -534.342 found after 1828481 iterations and 51242 nodes (1343.84 seconds) Full problem 3211 rows 5198 columns, reduced to 198 rows 267 columns After 51300 nodes, 14077 on tree, -534.342 best solution, best possible -584.411 (1348.38 seconds) After 51400 nodes, 14125 on tree, -534.342 best solution, best possible -584.313 (1353.43 seconds) After 51500 nodes, 14175 on tree, -534.342 best solution, best possible -584.236 (1360.30 seconds) After 51600 nodes, 14225 on tree, -534.342 best solution, best possible -584.144 (1364.83 seconds) After 51700 nodes, 14273 on tree, -534.342 best solution, best possible -584.096 (1372.44 seconds) After 51800 nodes, 14323 on tree, -534.342 best solution, best possible -583.986 (1376.91 seconds) After 51900 nodes, 14371 on tree, -534.342 best solution, best possible -583.869 (1381.45 seconds) After 52000 nodes, 14422 on tree, -534.342 best solution, best possible -583.786 (1385.54 seconds) After 52100 nodes, 14445 on tree, -534.342 best solution, best possible -583.786 (1386.47 seconds) After 52200 nodes, 14468 on tree, -534.342 best solution, best possible -583.786 (1387.22 seconds) After 52300 nodes, 14492 on tree, -534.342 best solution, best possible -583.786 (1387.99 seconds) After 52400 nodes, 14509 on tree, -534.342 best solution, best possible -583.786 (1388.78 seconds) After 52500 nodes, 14526 on tree, -534.342 best solution, best possible -583.786 (1389.69 seconds) After 52600 nodes, 14550 on tree, -534.342 best solution, best possible -583.786 (1390.51 seconds) After 52700 nodes, 14581 on tree, -534.342 best solution, best possible -583.786 (1391.37 seconds) After 52800 nodes, 14595 on tree, -534.342 best solution, best possible -583.786 (1392.18 seconds) After 52900 nodes, 14624 on tree, -534.342 best solution, best possible -583.786 (1393.02 seconds) After 53000 nodes, 14635 on tree, -534.342 best solution, best possible -583.786 (1393.80 seconds) After 53100 nodes, 14651 on tree, -534.342 best solution, best possible -583.786 (1394.70 seconds) After 53200 nodes, 14671 on tree, -534.342 best solution, best possible -583.786 (1395.76 seconds) After 53300 nodes, 14688 on tree, -534.342 best solution, best possible -583.786 (1396.91 seconds) After 53400 nodes, 14685 on tree, -534.342 best solution, best possible -583.786 (1397.64 seconds) After 53500 nodes, 14692 on tree, -534.342 best solution, best possible -583.786 (1398.63 seconds) After 53600 nodes, 14684 on tree, -534.342 best solution, best possible -583.786 (1399.59 seconds) After 53700 nodes, 14686 on tree, -534.342 best solution, best possible -583.786 (1400.45 seconds) After 53800 nodes, 14681 on tree, -534.342 best solution, best possible -583.786 (1401.52 seconds) After 53900 nodes, 14687 on tree, -534.342 best solution, best possible -583.786 (1402.48 seconds) After 54000 nodes, 14678 on tree, -534.342 best solution, best possible -583.786 (1403.44 seconds) After 54100 nodes, 14683 on tree, -534.342 best solution, best possible -583.786 (1404.34 seconds) After 54200 nodes, 14681 on tree, -534.342 best solution, best possible -583.786 (1405.28 seconds) After 54300 nodes, 14681 on tree, -534.342 best solution, best possible -583.786 (1406.35 seconds) After 54400 nodes, 14683 on tree, -534.342 best solution, best possible -583.786 (1407.21 seconds) After 54500 nodes, 14680 on tree, -534.342 best solution, best possible -583.786 (1408.30 seconds) After 54600 nodes, 14689 on tree, -534.342 best solution, best possible -583.786 (1409.13 seconds) After 54700 nodes, 14680 on tree, -534.342 best solution, best possible -583.786 (1410.10 seconds) After 54800 nodes, 14687 on tree, -534.342 best solution, best possible -583.786 (1411.19 seconds) After 54900 nodes, 14687 on tree, -534.342 best solution, best possible -583.786 (1412.24 seconds) After 55000 nodes, 14689 on tree, -534.342 best solution, best possible -583.786 (1413.32 seconds) After 55100 nodes, 14687 on tree, -534.342 best solution, best possible -583.786 (1414.34 seconds) After 55200 nodes, 14690 on tree, -534.342 best solution, best possible -583.786 (1415.42 seconds) After 55300 nodes, 14691 on tree, -534.342 best solution, best possible -583.786 (1416.44 seconds) After 55400 nodes, 14695 on tree, -534.342 best solution, best possible -583.786 (1417.47 seconds) After 55500 nodes, 14691 on tree, -534.342 best solution, best possible -583.786 (1418.55 seconds) After 55600 nodes, 14694 on tree, -534.342 best solution, best possible -583.786 (1419.63 seconds) After 55700 nodes, 14695 on tree, -534.342 best solution, best possible -583.786 (1420.64 seconds) After 55800 nodes, 14717 on tree, -534.342 best solution, best possible -583.786 (1421.65 seconds) After 55900 nodes, 14730 on tree, -534.342 best solution, best possible -583.786 (1422.74 seconds) After 56000 nodes, 14746 on tree, -534.342 best solution, best possible -583.786 (1423.77 seconds) After 56100 nodes, 14761 on tree, -534.342 best solution, best possible -583.786 (1424.80 seconds) After 56200 nodes, 14771 on tree, -534.342 best solution, best possible -583.786 (1425.69 seconds) After 56300 nodes, 14781 on tree, -534.342 best solution, best possible -583.786 (1426.73 seconds) After 56400 nodes, 14798 on tree, -534.342 best solution, best possible -583.786 (1427.65 seconds) After 56500 nodes, 14811 on tree, -534.342 best solution, best possible -583.786 (1428.60 seconds) After 56600 nodes, 14828 on tree, -534.342 best solution, best possible -583.786 (1429.62 seconds) After 56700 nodes, 14846 on tree, -534.342 best solution, best possible -583.786 (1430.71 seconds) After 56800 nodes, 14854 on tree, -534.342 best solution, best possible -583.786 (1431.79 seconds) After 56900 nodes, 14872 on tree, -534.342 best solution, best possible -583.786 (1432.72 seconds) After 57000 nodes, 14882 on tree, -534.342 best solution, best possible -583.786 (1433.77 seconds) After 57100 nodes, 14897 on tree, -534.342 best solution, best possible -583.786 (1434.68 seconds) After 57200 nodes, 14899 on tree, -534.342 best solution, best possible -583.786 (1435.50 seconds) After 57300 nodes, 14910 on tree, -534.342 best solution, best possible -583.786 (1436.45 seconds) After 57400 nodes, 14926 on tree, -534.342 best solution, best possible -583.786 (1437.42 seconds) After 57500 nodes, 14939 on tree, -534.342 best solution, best possible -583.786 (1438.40 seconds) After 57600 nodes, 14948 on tree, -534.342 best solution, best possible -583.786 (1439.21 seconds) After 57700 nodes, 14957 on tree, -534.342 best solution, best possible -583.786 (1440.15 seconds) After 57800 nodes, 14972 on tree, -534.342 best solution, best possible -583.786 (1441.06 seconds) After 57900 nodes, 14980 on tree, -534.342 best solution, best possible -583.786 (1441.99 seconds) After 58000 nodes, 14994 on tree, -534.342 best solution, best possible -583.786 (1442.84 seconds) After 58100 nodes, 15002 on tree, -534.342 best solution, best possible -583.786 (1443.77 seconds) After 58200 nodes, 15020 on tree, -534.342 best solution, best possible -583.786 (1444.75 seconds) After 58300 nodes, 15032 on tree, -534.342 best solution, best possible -583.786 (1445.75 seconds) After 58400 nodes, 15042 on tree, -534.342 best solution, best possible -583.786 (1446.57 seconds) After 58500 nodes, 15046 on tree, -534.342 best solution, best possible -583.786 (1447.53 seconds) After 58600 nodes, 15051 on tree, -534.342 best solution, best possible -583.786 (1448.49 seconds) After 58700 nodes, 15049 on tree, -534.342 best solution, best possible -583.786 (1449.35 seconds) After 58800 nodes, 15048 on tree, -534.342 best solution, best possible -583.786 (1450.34 seconds) After 58900 nodes, 15057 on tree, -534.342 best solution, best possible -583.786 (1451.32 seconds) After 59000 nodes, 15050 on tree, -534.342 best solution, best possible -583.786 (1452.28 seconds) After 59100 nodes, 15060 on tree, -534.342 best solution, best possible -583.786 (1453.44 seconds) After 59200 nodes, 15065 on tree, -534.342 best solution, best possible -583.786 (1454.11 seconds) After 59300 nodes, 15066 on tree, -534.342 best solution, best possible -583.786 (1454.78 seconds) After 59400 nodes, 15063 on tree, -534.342 best solution, best possible -583.786 (1455.51 seconds) After 59500 nodes, 15078 on tree, -534.342 best solution, best possible -583.786 (1456.37 seconds) After 59600 nodes, 15070 on tree, -534.342 best solution, best possible -583.786 (1457.06 seconds) After 59700 nodes, 15076 on tree, -534.342 best solution, best possible -583.786 (1457.81 seconds) After 59800 nodes, 15083 on tree, -534.342 best solution, best possible -583.786 (1458.49 seconds) After 59900 nodes, 15081 on tree, -534.342 best solution, best possible -583.786 (1459.20 seconds) After 60000 nodes, 15099 on tree, -534.342 best solution, best possible -583.786 (1460.00 seconds) After 60100 nodes, 15099 on tree, -534.342 best solution, best possible -583.786 (1460.79 seconds) After 60200 nodes, 15095 on tree, -534.342 best solution, best possible -583.786 (1461.47 seconds) After 60300 nodes, 15100 on tree, -534.342 best solution, best possible -583.786 (1462.13 seconds) After 60400 nodes, 15106 on tree, -534.342 best solution, best possible -583.786 (1462.77 seconds) After 60500 nodes, 15104 on tree, -534.342 best solution, best possible -583.786 (1463.38 seconds) After 60600 nodes, 15103 on tree, -534.342 best solution, best possible -583.786 (1464.32 seconds) After 60700 nodes, 15114 on tree, -534.342 best solution, best possible -583.786 (1465.07 seconds) After 60800 nodes, 15106 on tree, -534.342 best solution, best possible -583.786 (1465.93 seconds) After 60900 nodes, 15106 on tree, -534.342 best solution, best possible -583.786 (1466.74 seconds) After 61000 nodes, 15115 on tree, -534.342 best solution, best possible -583.786 (1467.55 seconds) After 61100 nodes, 15118 on tree, -534.342 best solution, best possible -583.786 (1468.55 seconds) After 61200 nodes, 15115 on tree, -534.342 best solution, best possible -583.786 (1469.25 seconds) After 61300 nodes, 15114 on tree, -534.342 best solution, best possible -583.786 (1470.15 seconds) After 61400 nodes, 15119 on tree, -534.342 best solution, best possible -583.786 (1470.84 seconds) After 61500 nodes, 15123 on tree, -534.342 best solution, best possible -583.786 (1471.66 seconds) After 61600 nodes, 15115 on tree, -534.342 best solution, best possible -583.786 (1472.48 seconds) After 61700 nodes, 15116 on tree, -534.342 best solution, best possible -583.786 (1473.31 seconds) After 61800 nodes, 15120 on tree, -534.342 best solution, best possible -583.786 (1474.17 seconds) After 61900 nodes, 15122 on tree, -534.342 best solution, best possible -583.786 (1475.02 seconds) After 62000 nodes, 15124 on tree, -534.342 best solution, best possible -583.786 (1475.86 seconds) After 62100 nodes, 15129 on tree, -534.342 best solution, best possible -583.786 (1476.58 seconds) After 62200 nodes, 15124 on tree, -534.342 best solution, best possible -583.786 (1477.37 seconds) After 62300 nodes, 15133 on tree, -534.342 best solution, best possible -583.786 (1478.26 seconds) After 62400 nodes, 15130 on tree, -534.342 best solution, best possible -583.786 (1479.02 seconds) After 62500 nodes, 15127 on tree, -534.342 best solution, best possible -583.786 (1479.79 seconds) After 62600 nodes, 15133 on tree, -534.342 best solution, best possible -583.786 (1480.90 seconds) After 62700 nodes, 15137 on tree, -534.342 best solution, best possible -583.786 (1481.76 seconds) After 62800 nodes, 15136 on tree, -534.342 best solution, best possible -583.786 (1482.52 seconds) After 62900 nodes, 15138 on tree, -534.342 best solution, best possible -583.786 (1483.44 seconds) After 63000 nodes, 15142 on tree, -534.342 best solution, best possible -583.786 (1484.30 seconds) After 63100 nodes, 15144 on tree, -534.342 best solution, best possible -583.786 (1485.08 seconds) After 63200 nodes, 15145 on tree, -534.342 best solution, best possible -583.786 (1485.95 seconds) After 63300 nodes, 15153 on tree, -534.342 best solution, best possible -583.786 (1486.71 seconds) After 63400 nodes, 15153 on tree, -534.342 best solution, best possible -583.786 (1487.36 seconds) After 63500 nodes, 15147 on tree, -534.342 best solution, best possible -583.786 (1488.05 seconds) After 63600 nodes, 15156 on tree, -534.342 best solution, best possible -583.786 (1488.91 seconds) After 63700 nodes, 15162 on tree, -534.342 best solution, best possible -583.786 (1489.66 seconds) After 63800 nodes, 15166 on tree, -534.342 best solution, best possible -583.786 (1490.38 seconds) After 63900 nodes, 15172 on tree, -534.342 best solution, best possible -583.786 (1491.03 seconds) After 64000 nodes, 15171 on tree, -534.342 best solution, best possible -583.786 (1491.72 seconds) After 64100 nodes, 15181 on tree, -534.342 best solution, best possible -583.786 (1492.57 seconds) After 64200 nodes, 15184 on tree, -534.342 best solution, best possible -583.786 (1493.21 seconds) After 64300 nodes, 15187 on tree, -534.342 best solution, best possible -583.786 (1493.93 seconds) After 64400 nodes, 15190 on tree, -534.342 best solution, best possible -583.786 (1494.56 seconds) After 64500 nodes, 15191 on tree, -534.342 best solution, best possible -583.786 (1495.27 seconds) After 64600 nodes, 15196 on tree, -534.342 best solution, best possible -583.786 (1496.10 seconds) After 64700 nodes, 15186 on tree, -534.342 best solution, best possible -583.786 (1497.13 seconds) After 64800 nodes, 15193 on tree, -534.342 best solution, best possible -583.786 (1497.97 seconds) After 64900 nodes, 15197 on tree, -534.342 best solution, best possible -583.786 (1498.93 seconds) After 65000 nodes, 15195 on tree, -534.342 best solution, best possible -583.786 (1499.76 seconds) After 65100 nodes, 15193 on tree, -534.342 best solution, best possible -583.786 (1500.57 seconds) After 65200 nodes, 15200 on tree, -534.342 best solution, best possible -583.786 (1501.46 seconds) After 65300 nodes, 15207 on tree, -534.342 best solution, best possible -583.786 (1502.45 seconds) After 65400 nodes, 15204 on tree, -534.342 best solution, best possible -583.786 (1503.11 seconds) After 65500 nodes, 15204 on tree, -534.342 best solution, best possible -583.786 (1503.99 seconds) After 65600 nodes, 15204 on tree, -534.342 best solution, best possible -583.786 (1504.82 seconds) After 65700 nodes, 15208 on tree, -534.342 best solution, best possible -583.786 (1505.56 seconds) After 65800 nodes, 15209 on tree, -534.342 best solution, best possible -583.786 (1506.44 seconds) After 65900 nodes, 15215 on tree, -534.342 best solution, best possible -583.786 (1507.44 seconds) After 66000 nodes, 15216 on tree, -534.342 best solution, best possible -583.786 (1508.22 seconds) After 66100 nodes, 15213 on tree, -534.342 best solution, best possible -583.786 (1509.07 seconds) After 66200 nodes, 15214 on tree, -534.342 best solution, best possible -583.786 (1509.98 seconds) After 66300 nodes, 15216 on tree, -534.342 best solution, best possible -583.786 (1510.80 seconds) After 66400 nodes, 15218 on tree, -534.342 best solution, best possible -583.786 (1511.78 seconds) After 66500 nodes, 15221 on tree, -534.342 best solution, best possible -583.786 (1512.71 seconds) After 66600 nodes, 15228 on tree, -534.342 best solution, best possible -583.786 (1513.51 seconds) After 66700 nodes, 15236 on tree, -534.342 best solution, best possible -583.786 (1514.52 seconds) After 66800 nodes, 15232 on tree, -534.342 best solution, best possible -583.786 (1515.25 seconds) After 66900 nodes, 15228 on tree, -534.342 best solution, best possible -583.786 (1515.90 seconds) After 67000 nodes, 15231 on tree, -534.342 best solution, best possible -583.786 (1516.60 seconds) After 67100 nodes, 15233 on tree, -534.342 best solution, best possible -583.786 (1517.30 seconds) After 67200 nodes, 15240 on tree, -534.342 best solution, best possible -583.786 (1518.05 seconds) After 67300 nodes, 15237 on tree, -534.342 best solution, best possible -583.786 (1518.75 seconds) After 67400 nodes, 15247 on tree, -534.342 best solution, best possible -583.786 (1519.48 seconds) After 67500 nodes, 15246 on tree, -534.342 best solution, best possible -583.786 (1520.18 seconds) After 67600 nodes, 15252 on tree, -534.342 best solution, best possible -583.786 (1520.92 seconds) After 67700 nodes, 15263 on tree, -534.342 best solution, best possible -583.786 (1521.65 seconds) After 67800 nodes, 15278 on tree, -534.342 best solution, best possible -583.786 (1522.40 seconds) After 67900 nodes, 15270 on tree, -534.342 best solution, best possible -583.786 (1523.08 seconds) After 68000 nodes, 15273 on tree, -534.342 best solution, best possible -583.786 (1523.87 seconds) After 68100 nodes, 15276 on tree, -534.342 best solution, best possible -583.786 (1524.72 seconds) After 68200 nodes, 15283 on tree, -534.342 best solution, best possible -583.786 (1525.46 seconds) After 68300 nodes, 15275 on tree, -534.342 best solution, best possible -583.786 (1526.40 seconds) After 68400 nodes, 15282 on tree, -534.342 best solution, best possible -583.786 (1527.16 seconds) After 68500 nodes, 15281 on tree, -534.342 best solution, best possible -583.786 (1527.83 seconds) After 68600 nodes, 15282 on tree, -534.342 best solution, best possible -583.786 (1528.81 seconds) After 68700 nodes, 15284 on tree, -534.342 best solution, best possible -583.786 (1529.52 seconds) After 68800 nodes, 15290 on tree, -534.342 best solution, best possible -583.786 (1530.37 seconds) After 68900 nodes, 15292 on tree, -534.342 best solution, best possible -583.786 (1531.51 seconds) After 69000 nodes, 15291 on tree, -534.342 best solution, best possible -583.786 (1532.21 seconds) After 69100 nodes, 15293 on tree, -534.342 best solution, best possible -583.786 (1532.85 seconds) After 69200 nodes, 15294 on tree, -534.342 best solution, best possible -583.786 (1533.51 seconds) After 69300 nodes, 15295 on tree, -534.342 best solution, best possible -583.786 (1534.35 seconds) After 69400 nodes, 15302 on tree, -534.342 best solution, best possible -583.786 (1535.10 seconds) After 69500 nodes, 15301 on tree, -534.342 best solution, best possible -583.786 (1535.76 seconds) After 69600 nodes, 15311 on tree, -534.342 best solution, best possible -583.786 (1536.42 seconds) After 69700 nodes, 15310 on tree, -534.342 best solution, best possible -583.786 (1537.10 seconds) After 69800 nodes, 15307 on tree, -534.342 best solution, best possible -583.786 (1537.82 seconds) After 69900 nodes, 15314 on tree, -534.342 best solution, best possible -583.786 (1538.47 seconds) After 70000 nodes, 15317 on tree, -534.342 best solution, best possible -583.786 (1539.14 seconds) After 70100 nodes, 15321 on tree, -534.342 best solution, best possible -583.786 (1540.06 seconds) After 70200 nodes, 15332 on tree, -534.342 best solution, best possible -583.786 (1541.00 seconds) After 70300 nodes, 15341 on tree, -534.342 best solution, best possible -583.786 (1541.86 seconds) After 70400 nodes, 15340 on tree, -534.342 best solution, best possible -583.786 (1542.68 seconds) After 70500 nodes, 15333 on tree, -534.342 best solution, best possible -583.786 (1543.44 seconds) After 70600 nodes, 15333 on tree, -534.342 best solution, best possible -583.786 (1544.40 seconds) After 70700 nodes, 15340 on tree, -534.342 best solution, best possible -583.786 (1545.14 seconds) After 70800 nodes, 15338 on tree, -534.342 best solution, best possible -583.786 (1546.04 seconds) After 70900 nodes, 15349 on tree, -534.342 best solution, best possible -583.786 (1546.79 seconds) After 71000 nodes, 15345 on tree, -534.342 best solution, best possible -583.786 (1547.43 seconds) After 71100 nodes, 15346 on tree, -534.342 best solution, best possible -583.786 (1548.08 seconds) After 71200 nodes, 15352 on tree, -534.342 best solution, best possible -583.786 (1548.92 seconds) After 71300 nodes, 15362 on tree, -534.342 best solution, best possible -583.786 (1549.70 seconds) After 71400 nodes, 15361 on tree, -534.342 best solution, best possible -583.786 (1550.35 seconds) After 71500 nodes, 15357 on tree, -534.342 best solution, best possible -583.786 (1550.98 seconds) After 71600 nodes, 15363 on tree, -534.342 best solution, best possible -583.786 (1551.71 seconds) After 71700 nodes, 15357 on tree, -534.342 best solution, best possible -583.786 (1552.32 seconds) After 71800 nodes, 15360 on tree, -534.342 best solution, best possible -583.786 (1553.27 seconds) After 71900 nodes, 15368 on tree, -534.342 best solution, best possible -583.786 (1554.03 seconds) After 72000 nodes, 15364 on tree, -534.342 best solution, best possible -583.786 (1554.86 seconds) After 72100 nodes, 15364 on tree, -534.342 best solution, best possible -583.786 (1555.77 seconds) After 72200 nodes, 15370 on tree, -534.342 best solution, best possible -583.786 (1556.54 seconds) After 72300 nodes, 15368 on tree, -534.342 best solution, best possible -583.786 (1557.33 seconds) After 72400 nodes, 15373 on tree, -534.342 best solution, best possible -583.786 (1558.26 seconds) After 72500 nodes, 15380 on tree, -534.342 best solution, best possible -583.786 (1559.00 seconds) After 72600 nodes, 15378 on tree, -534.342 best solution, best possible -583.786 (1559.99 seconds) After 72700 nodes, 15384 on tree, -534.342 best solution, best possible -583.786 (1560.83 seconds) After 72800 nodes, 15387 on tree, -534.342 best solution, best possible -583.786 (1561.58 seconds) After 72900 nodes, 15381 on tree, -534.342 best solution, best possible -583.786 (1562.34 seconds) After 73000 nodes, 15390 on tree, -534.342 best solution, best possible -583.786 (1563.50 seconds) After 73100 nodes, 15401 on tree, -534.342 best solution, best possible -583.786 (1564.42 seconds) After 73200 nodes, 15411 on tree, -534.342 best solution, best possible -583.786 (1565.42 seconds) After 73300 nodes, 15412 on tree, -534.342 best solution, best possible -583.786 (1566.23 seconds) After 73400 nodes, 15427 on tree, -534.342 best solution, best possible -583.786 (1567.24 seconds) After 73500 nodes, 15441 on tree, -534.342 best solution, best possible -583.786 (1568.22 seconds) After 73600 nodes, 15450 on tree, -534.342 best solution, best possible -583.786 (1569.15 seconds) After 73700 nodes, 15460 on tree, -534.342 best solution, best possible -583.786 (1570.11 seconds) After 73800 nodes, 15460 on tree, -534.342 best solution, best possible -583.786 (1571.11 seconds) After 73900 nodes, 15463 on tree, -534.342 best solution, best possible -583.786 (1572.07 seconds) After 74000 nodes, 15468 on tree, -534.342 best solution, best possible -583.786 (1572.99 seconds) After 74100 nodes, 15472 on tree, -534.342 best solution, best possible -583.786 (1573.94 seconds) After 74200 nodes, 15473 on tree, -534.342 best solution, best possible -583.786 (1574.93 seconds) After 74300 nodes, 15480 on tree, -534.342 best solution, best possible -583.786 (1575.90 seconds) After 74400 nodes, 15481 on tree, -534.342 best solution, best possible -583.786 (1576.92 seconds) After 74500 nodes, 15488 on tree, -534.342 best solution, best possible -583.786 (1577.87 seconds) After 74600 nodes, 15492 on tree, -534.342 best solution, best possible -583.786 (1578.75 seconds) After 74700 nodes, 15492 on tree, -534.342 best solution, best possible -583.786 (1579.73 seconds) After 74800 nodes, 15500 on tree, -534.342 best solution, best possible -583.786 (1580.68 seconds) After 74900 nodes, 15500 on tree, -534.342 best solution, best possible -583.786 (1581.69 seconds) After 75000 nodes, 15512 on tree, -534.342 best solution, best possible -583.786 (1582.70 seconds) After 75100 nodes, 15512 on tree, -534.342 best solution, best possible -583.786 (1583.62 seconds) After 75200 nodes, 15519 on tree, -534.342 best solution, best possible -583.786 (1584.49 seconds) After 75300 nodes, 15521 on tree, -534.342 best solution, best possible -583.786 (1585.47 seconds) After 75400 nodes, 15521 on tree, -534.342 best solution, best possible -583.786 (1586.48 seconds) After 75500 nodes, 15525 on tree, -534.342 best solution, best possible -583.786 (1587.49 seconds) After 75600 nodes, 15533 on tree, -534.342 best solution, best possible -583.786 (1588.65 seconds) After 75700 nodes, 15537 on tree, -534.342 best solution, best possible -583.786 (1589.64 seconds) After 75800 nodes, 15535 on tree, -534.342 best solution, best possible -583.786 (1590.75 seconds) After 75900 nodes, 15541 on tree, -534.342 best solution, best possible -583.786 (1591.72 seconds) After 76000 nodes, 15539 on tree, -534.342 best solution, best possible -583.786 (1592.88 seconds) After 76100 nodes, 15538 on tree, -534.342 best solution, best possible -583.786 (1593.92 seconds) After 76200 nodes, 15545 on tree, -534.342 best solution, best possible -583.786 (1594.90 seconds) After 76300 nodes, 15540 on tree, -534.342 best solution, best possible -583.786 (1595.95 seconds) After 76400 nodes, 15540 on tree, -534.342 best solution, best possible -583.786 (1596.85 seconds) After 76500 nodes, 15542 on tree, -534.342 best solution, best possible -583.786 (1597.99 seconds) After 76600 nodes, 15556 on tree, -534.342 best solution, best possible -583.786 (1598.98 seconds) After 76700 nodes, 15560 on tree, -534.342 best solution, best possible -583.786 (1599.76 seconds) After 76800 nodes, 15565 on tree, -534.342 best solution, best possible -583.786 (1600.47 seconds) After 76900 nodes, 15567 on tree, -534.342 best solution, best possible -583.786 (1601.20 seconds) After 77000 nodes, 15566 on tree, -534.342 best solution, best possible -583.786 (1601.93 seconds) After 77100 nodes, 15576 on tree, -534.342 best solution, best possible -583.786 (1602.72 seconds) After 77200 nodes, 15577 on tree, -534.342 best solution, best possible -583.786 (1603.44 seconds) After 77300 nodes, 15576 on tree, -534.342 best solution, best possible -583.786 (1604.26 seconds) After 77400 nodes, 15576 on tree, -534.342 best solution, best possible -583.786 (1605.27 seconds) After 77500 nodes, 15576 on tree, -534.342 best solution, best possible -583.786 (1606.31 seconds) After 77600 nodes, 15581 on tree, -534.342 best solution, best possible -583.786 (1607.42 seconds) After 77700 nodes, 15581 on tree, -534.342 best solution, best possible -583.786 (1608.55 seconds) After 77800 nodes, 15581 on tree, -534.342 best solution, best possible -583.786 (1609.68 seconds) After 77900 nodes, 15581 on tree, -534.342 best solution, best possible -583.786 (1610.74 seconds) After 78000 nodes, 15580 on tree, -534.342 best solution, best possible -583.786 (1611.93 seconds) After 78100 nodes, 15587 on tree, -534.342 best solution, best possible -583.786 (1613.00 seconds) After 78200 nodes, 15584 on tree, -534.342 best solution, best possible -583.786 (1614.17 seconds) After 78300 nodes, 15585 on tree, -534.342 best solution, best possible -583.786 (1615.25 seconds) After 78400 nodes, 15585 on tree, -534.342 best solution, best possible -583.786 (1616.51 seconds) After 78500 nodes, 15585 on tree, -534.342 best solution, best possible -583.786 (1617.57 seconds) After 78600 nodes, 15586 on tree, -534.342 best solution, best possible -583.786 (1618.41 seconds) After 78700 nodes, 15592 on tree, -534.342 best solution, best possible -583.786 (1619.31 seconds) After 78800 nodes, 15592 on tree, -534.342 best solution, best possible -583.786 (1620.18 seconds) After 78900 nodes, 15602 on tree, -534.342 best solution, best possible -583.786 (1621.08 seconds) After 79000 nodes, 15598 on tree, -534.342 best solution, best possible -583.786 (1622.19 seconds) After 79100 nodes, 15602 on tree, -534.342 best solution, best possible -583.786 (1623.06 seconds) After 79200 nodes, 15609 on tree, -534.342 best solution, best possible -583.786 (1624.00 seconds) After 79300 nodes, 15615 on tree, -534.342 best solution, best possible -583.786 (1624.81 seconds) After 79400 nodes, 15609 on tree, -534.342 best solution, best possible -583.786 (1625.76 seconds) After 79500 nodes, 15615 on tree, -534.342 best solution, best possible -583.786 (1626.73 seconds) After 79600 nodes, 15618 on tree, -534.342 best solution, best possible -583.786 (1627.71 seconds) After 79700 nodes, 15618 on tree, -534.342 best solution, best possible -583.786 (1628.69 seconds) After 79800 nodes, 15615 on tree, -534.342 best solution, best possible -583.786 (1629.70 seconds) After 79900 nodes, 15621 on tree, -534.342 best solution, best possible -583.786 (1630.95 seconds) After 80000 nodes, 15622 on tree, -534.342 best solution, best possible -583.786 (1632.09 seconds) After 80100 nodes, 15618 on tree, -534.342 best solution, best possible -583.786 (1633.23 seconds) After 80200 nodes, 15626 on tree, -534.342 best solution, best possible -583.786 (1634.01 seconds) After 80300 nodes, 15625 on tree, -534.342 best solution, best possible -583.786 (1634.87 seconds) After 80400 nodes, 15627 on tree, -534.342 best solution, best possible -583.786 (1635.63 seconds) After 80500 nodes, 15630 on tree, -534.342 best solution, best possible -583.786 (1636.59 seconds) After 80600 nodes, 15629 on tree, -534.342 best solution, best possible -583.786 (1637.45 seconds) After 80700 nodes, 15634 on tree, -534.342 best solution, best possible -583.786 (1638.33 seconds) After 80800 nodes, 15638 on tree, -534.342 best solution, best possible -583.786 (1639.33 seconds) After 80900 nodes, 15641 on tree, -534.342 best solution, best possible -583.786 (1640.35 seconds) After 81000 nodes, 15646 on tree, -534.342 best solution, best possible -583.786 (1641.43 seconds) After 81100 nodes, 15650 on tree, -534.342 best solution, best possible -583.786 (1642.10 seconds) After 81200 nodes, 15649 on tree, -534.342 best solution, best possible -583.786 (1642.87 seconds) After 81300 nodes, 15662 on tree, -534.342 best solution, best possible -583.786 (1643.71 seconds) After 81400 nodes, 15662 on tree, -534.342 best solution, best possible -583.786 (1644.69 seconds) After 81500 nodes, 15661 on tree, -534.342 best solution, best possible -583.786 (1645.39 seconds) After 81600 nodes, 15670 on tree, -534.342 best solution, best possible -583.786 (1646.35 seconds) After 81700 nodes, 15667 on tree, -534.342 best solution, best possible -583.786 (1647.60 seconds) After 81800 nodes, 15681 on tree, -534.342 best solution, best possible -583.786 (1648.59 seconds) After 81900 nodes, 15707 on tree, -534.342 best solution, best possible -583.786 (1649.42 seconds) After 82000 nodes, 15719 on tree, -534.342 best solution, best possible -583.786 (1650.18 seconds) After 82100 nodes, 15746 on tree, -534.342 best solution, best possible -583.786 (1651.05 seconds) After 82200 nodes, 15754 on tree, -534.342 best solution, best possible -583.786 (1651.92 seconds) After 82300 nodes, 15762 on tree, -534.342 best solution, best possible -583.786 (1652.61 seconds) After 82400 nodes, 15759 on tree, -534.342 best solution, best possible -583.786 (1653.29 seconds) After 82500 nodes, 15760 on tree, -534.342 best solution, best possible -583.786 (1653.98 seconds) After 82600 nodes, 15781 on tree, -534.342 best solution, best possible -583.786 (1654.74 seconds) After 82700 nodes, 15787 on tree, -534.342 best solution, best possible -583.786 (1655.44 seconds) After 82800 nodes, 15803 on tree, -534.342 best solution, best possible -583.786 (1656.50 seconds) After 82900 nodes, 15822 on tree, -534.342 best solution, best possible -583.786 (1657.29 seconds) After 83000 nodes, 15847 on tree, -534.342 best solution, best possible -583.786 (1658.08 seconds) After 83100 nodes, 15855 on tree, -534.342 best solution, best possible -583.786 (1658.99 seconds) After 83200 nodes, 15874 on tree, -534.342 best solution, best possible -583.786 (1659.88 seconds) After 83300 nodes, 15883 on tree, -534.342 best solution, best possible -583.786 (1660.64 seconds) After 83400 nodes, 15882 on tree, -534.342 best solution, best possible -583.786 (1661.32 seconds) After 83500 nodes, 15891 on tree, -534.342 best solution, best possible -583.786 (1662.06 seconds) After 83600 nodes, 15898 on tree, -534.342 best solution, best possible -583.786 (1662.85 seconds) After 83700 nodes, 15906 on tree, -534.342 best solution, best possible -583.786 (1663.64 seconds) After 83800 nodes, 15918 on tree, -534.342 best solution, best possible -583.786 (1664.45 seconds) After 83900 nodes, 15928 on tree, -534.342 best solution, best possible -583.786 (1665.22 seconds) After 84000 nodes, 15943 on tree, -534.342 best solution, best possible -583.786 (1666.15 seconds) After 84100 nodes, 15969 on tree, -534.342 best solution, best possible -583.786 (1667.07 seconds) After 84200 nodes, 15978 on tree, -534.342 best solution, best possible -583.786 (1667.92 seconds) After 84300 nodes, 16005 on tree, -534.342 best solution, best possible -583.786 (1668.79 seconds) After 84400 nodes, 16003 on tree, -534.342 best solution, best possible -583.786 (1669.51 seconds) After 84500 nodes, 16020 on tree, -534.342 best solution, best possible -583.786 (1670.35 seconds) After 84600 nodes, 16021 on tree, -534.342 best solution, best possible -583.786 (1671.04 seconds) After 84700 nodes, 16031 on tree, -534.342 best solution, best possible -583.786 (1671.79 seconds) After 84800 nodes, 16039 on tree, -534.342 best solution, best possible -583.786 (1672.51 seconds) After 84900 nodes, 16049 on tree, -534.342 best solution, best possible -583.786 (1673.26 seconds) After 85000 nodes, 16058 on tree, -534.342 best solution, best possible -583.786 (1674.02 seconds) After 85100 nodes, 16083 on tree, -534.342 best solution, best possible -583.786 (1674.96 seconds) After 85200 nodes, 16101 on tree, -534.342 best solution, best possible -583.786 (1675.78 seconds) After 85300 nodes, 16117 on tree, -534.342 best solution, best possible -583.786 (1676.61 seconds) After 85400 nodes, 16132 on tree, -534.342 best solution, best possible -583.786 (1677.52 seconds) After 85500 nodes, 16140 on tree, -534.342 best solution, best possible -583.786 (1678.35 seconds) After 85600 nodes, 16142 on tree, -534.342 best solution, best possible -583.786 (1679.08 seconds) After 85700 nodes, 16150 on tree, -534.342 best solution, best possible -583.786 (1679.83 seconds) After 85800 nodes, 16179 on tree, -534.342 best solution, best possible -583.786 (1680.81 seconds) After 85900 nodes, 16189 on tree, -534.342 best solution, best possible -583.786 (1681.53 seconds) After 86000 nodes, 16186 on tree, -534.342 best solution, best possible -583.786 (1682.28 seconds) After 86100 nodes, 16218 on tree, -534.342 best solution, best possible -583.786 (1683.15 seconds) After 86200 nodes, 16230 on tree, -534.342 best solution, best possible -583.786 (1683.93 seconds) After 86300 nodes, 16241 on tree, -534.342 best solution, best possible -583.786 (1684.65 seconds) After 86400 nodes, 16241 on tree, -534.342 best solution, best possible -583.786 (1685.27 seconds) After 86500 nodes, 16250 on tree, -534.342 best solution, best possible -583.786 (1685.97 seconds) After 86600 nodes, 16265 on tree, -534.342 best solution, best possible -583.786 (1686.84 seconds) After 86700 nodes, 16269 on tree, -534.342 best solution, best possible -583.786 (1687.54 seconds) After 86800 nodes, 16285 on tree, -534.342 best solution, best possible -583.786 (1688.41 seconds) After 86900 nodes, 16301 on tree, -534.342 best solution, best possible -583.786 (1689.27 seconds) After 87000 nodes, 16333 on tree, -534.342 best solution, best possible -583.786 (1690.17 seconds) After 87100 nodes, 16351 on tree, -534.342 best solution, best possible -583.786 (1690.93 seconds) After 87200 nodes, 16361 on tree, -534.342 best solution, best possible -583.786 (1691.83 seconds) After 87300 nodes, 16374 on tree, -534.342 best solution, best possible -583.786 (1692.66 seconds) After 87400 nodes, 16376 on tree, -534.342 best solution, best possible -583.786 (1693.38 seconds) After 87500 nodes, 16381 on tree, -534.342 best solution, best possible -583.786 (1694.09 seconds) After 87600 nodes, 16389 on tree, -534.342 best solution, best possible -583.786 (1694.79 seconds) After 87700 nodes, 16409 on tree, -534.342 best solution, best possible -583.786 (1695.57 seconds) After 87800 nodes, 16411 on tree, -534.342 best solution, best possible -583.786 (1696.33 seconds) After 87900 nodes, 16424 on tree, -534.342 best solution, best possible -583.786 (1697.13 seconds) After 88000 nodes, 16442 on tree, -534.342 best solution, best possible -583.786 (1698.02 seconds) After 88100 nodes, 16466 on tree, -534.342 best solution, best possible -583.786 (1698.87 seconds) After 88200 nodes, 16469 on tree, -534.342 best solution, best possible -583.786 (1699.60 seconds) After 88300 nodes, 16469 on tree, -534.342 best solution, best possible -583.786 (1700.38 seconds) After 88400 nodes, 16489 on tree, -534.342 best solution, best possible -583.786 (1701.22 seconds) After 88500 nodes, 16504 on tree, -534.342 best solution, best possible -583.786 (1702.04 seconds) After 88600 nodes, 16516 on tree, -534.342 best solution, best possible -583.786 (1702.83 seconds) After 88700 nodes, 16520 on tree, -534.342 best solution, best possible -583.786 (1703.60 seconds) After 88800 nodes, 16515 on tree, -534.342 best solution, best possible -583.786 (1704.51 seconds) After 88900 nodes, 16518 on tree, -534.342 best solution, best possible -583.786 (1705.32 seconds) After 89000 nodes, 16523 on tree, -534.342 best solution, best possible -583.786 (1706.09 seconds) After 89100 nodes, 16535 on tree, -534.342 best solution, best possible -583.786 (1706.79 seconds) After 89200 nodes, 16548 on tree, -534.342 best solution, best possible -583.786 (1707.69 seconds) After 89300 nodes, 16564 on tree, -534.342 best solution, best possible -583.786 (1708.57 seconds) After 89400 nodes, 16581 on tree, -534.342 best solution, best possible -583.786 (1709.32 seconds) After 89500 nodes, 16579 on tree, -534.342 best solution, best possible -583.786 (1710.07 seconds) After 89600 nodes, 16595 on tree, -534.342 best solution, best possible -583.786 (1711.01 seconds) After 89700 nodes, 16606 on tree, -534.342 best solution, best possible -583.786 (1711.82 seconds) After 89800 nodes, 16618 on tree, -534.342 best solution, best possible -583.786 (1712.70 seconds) After 89900 nodes, 16646 on tree, -534.342 best solution, best possible -583.786 (1713.63 seconds) After 90000 nodes, 16663 on tree, -534.342 best solution, best possible -583.786 (1714.51 seconds) After 90100 nodes, 16673 on tree, -534.342 best solution, best possible -583.786 (1715.30 seconds) After 90200 nodes, 16683 on tree, -534.342 best solution, best possible -583.786 (1716.05 seconds) After 90300 nodes, 16688 on tree, -534.342 best solution, best possible -583.786 (1716.85 seconds) After 90400 nodes, 16706 on tree, -534.342 best solution, best possible -583.786 (1717.72 seconds) After 90500 nodes, 16717 on tree, -534.342 best solution, best possible -583.786 (1718.52 seconds) After 90600 nodes, 16735 on tree, -534.342 best solution, best possible -583.786 (1719.34 seconds) After 90700 nodes, 16766 on tree, -534.342 best solution, best possible -583.786 (1720.31 seconds) After 90800 nodes, 16803 on tree, -534.342 best solution, best possible -583.786 (1721.23 seconds) After 90900 nodes, 16838 on tree, -534.342 best solution, best possible -583.786 (1722.15 seconds) After 91000 nodes, 16868 on tree, -534.342 best solution, best possible -583.786 (1723.09 seconds) After 91100 nodes, 16888 on tree, -534.342 best solution, best possible -583.786 (1723.99 seconds) After 91200 nodes, 16917 on tree, -534.342 best solution, best possible -583.786 (1724.92 seconds) After 91300 nodes, 16947 on tree, -534.342 best solution, best possible -583.786 (1725.91 seconds) After 91400 nodes, 16976 on tree, -534.342 best solution, best possible -583.786 (1726.79 seconds) After 91500 nodes, 17000 on tree, -534.342 best solution, best possible -583.786 (1727.55 seconds) After 91600 nodes, 17009 on tree, -534.342 best solution, best possible -583.786 (1728.21 seconds) After 91700 nodes, 17009 on tree, -534.342 best solution, best possible -583.786 (1728.91 seconds) After 91800 nodes, 17020 on tree, -534.342 best solution, best possible -583.786 (1729.64 seconds) After 91900 nodes, 17042 on tree, -534.342 best solution, best possible -583.786 (1730.50 seconds) After 92000 nodes, 17051 on tree, -534.342 best solution, best possible -583.786 (1731.21 seconds) After 92100 nodes, 17053 on tree, -534.342 best solution, best possible -583.786 (1732.04 seconds) After 92200 nodes, 17051 on tree, -534.342 best solution, best possible -583.786 (1732.83 seconds) After 92300 nodes, 17052 on tree, -534.342 best solution, best possible -583.786 (1733.62 seconds) After 92400 nodes, 17060 on tree, -534.342 best solution, best possible -583.786 (1734.29 seconds) After 92500 nodes, 17077 on tree, -534.342 best solution, best possible -583.786 (1735.18 seconds) After 92600 nodes, 17103 on tree, -534.342 best solution, best possible -583.786 (1736.01 seconds) After 92700 nodes, 17109 on tree, -534.342 best solution, best possible -583.786 (1736.82 seconds) After 92800 nodes, 17110 on tree, -534.342 best solution, best possible -583.786 (1737.59 seconds) After 92900 nodes, 17114 on tree, -534.342 best solution, best possible -583.786 (1738.38 seconds) After 93000 nodes, 17133 on tree, -534.342 best solution, best possible -583.786 (1739.22 seconds) After 93100 nodes, 17158 on tree, -534.342 best solution, best possible -583.786 (1740.06 seconds) After 93200 nodes, 17174 on tree, -534.342 best solution, best possible -583.786 (1740.86 seconds) After 93300 nodes, 17180 on tree, -534.342 best solution, best possible -583.786 (1741.87 seconds) After 93400 nodes, 17204 on tree, -534.342 best solution, best possible -583.786 (1742.89 seconds) After 93500 nodes, 17221 on tree, -534.342 best solution, best possible -583.786 (1743.92 seconds) After 93600 nodes, 17243 on tree, -534.342 best solution, best possible -583.786 (1744.89 seconds) After 93700 nodes, 17263 on tree, -534.342 best solution, best possible -583.786 (1745.89 seconds) After 93800 nodes, 17280 on tree, -534.342 best solution, best possible -583.786 (1746.83 seconds) After 93900 nodes, 17298 on tree, -534.342 best solution, best possible -583.786 (1747.82 seconds) After 94000 nodes, 17318 on tree, -534.342 best solution, best possible -583.786 (1748.88 seconds) After 94100 nodes, 17343 on tree, -534.342 best solution, best possible -583.786 (1749.91 seconds) After 94200 nodes, 17362 on tree, -534.342 best solution, best possible -583.786 (1750.94 seconds) After 94300 nodes, 17379 on tree, -534.342 best solution, best possible -583.786 (1751.95 seconds) After 94400 nodes, 17397 on tree, -534.342 best solution, best possible -583.786 (1752.96 seconds) After 94500 nodes, 17425 on tree, -534.342 best solution, best possible -583.786 (1753.99 seconds) After 94600 nodes, 17443 on tree, -534.342 best solution, best possible -583.786 (1754.90 seconds) After 94700 nodes, 17446 on tree, -534.342 best solution, best possible -583.786 (1755.88 seconds) After 94800 nodes, 17450 on tree, -534.342 best solution, best possible -583.786 (1756.85 seconds) After 94900 nodes, 17458 on tree, -534.342 best solution, best possible -583.786 (1757.95 seconds) After 95000 nodes, 17454 on tree, -534.342 best solution, best possible -583.786 (1758.98 seconds) After 95100 nodes, 17466 on tree, -534.342 best solution, best possible -583.786 (1759.81 seconds) After 95200 nodes, 17466 on tree, -534.342 best solution, best possible -583.786 (1761.03 seconds) After 95300 nodes, 17478 on tree, -534.342 best solution, best possible -583.786 (1762.13 seconds) After 95400 nodes, 17498 on tree, -534.342 best solution, best possible -583.786 (1763.09 seconds) After 95500 nodes, 17517 on tree, -534.342 best solution, best possible -583.786 (1764.11 seconds) After 95600 nodes, 17536 on tree, -534.342 best solution, best possible -583.786 (1765.09 seconds) After 95700 nodes, 17556 on tree, -534.342 best solution, best possible -583.786 (1766.07 seconds) After 95800 nodes, 17578 on tree, -534.342 best solution, best possible -583.786 (1767.01 seconds) After 95900 nodes, 17595 on tree, -534.342 best solution, best possible -583.786 (1767.91 seconds) After 96000 nodes, 17606 on tree, -534.342 best solution, best possible -583.786 (1768.92 seconds) After 96100 nodes, 17609 on tree, -534.342 best solution, best possible -583.786 (1770.05 seconds) After 96200 nodes, 17615 on tree, -534.342 best solution, best possible -583.786 (1771.10 seconds) After 96300 nodes, 17632 on tree, -534.342 best solution, best possible -583.786 (1772.07 seconds) After 96400 nodes, 17650 on tree, -534.342 best solution, best possible -583.786 (1773.10 seconds) After 96500 nodes, 17671 on tree, -534.342 best solution, best possible -583.786 (1774.09 seconds) After 96600 nodes, 17685 on tree, -534.342 best solution, best possible -583.786 (1775.07 seconds) After 96700 nodes, 17700 on tree, -534.342 best solution, best possible -583.786 (1776.07 seconds) After 96800 nodes, 17716 on tree, -534.342 best solution, best possible -583.786 (1777.04 seconds) After 96900 nodes, 17734 on tree, -534.342 best solution, best possible -583.786 (1777.93 seconds) After 97000 nodes, 17751 on tree, -534.342 best solution, best possible -583.786 (1778.95 seconds) After 97100 nodes, 17776 on tree, -534.342 best solution, best possible -583.786 (1780.01 seconds) After 97200 nodes, 17790 on tree, -534.342 best solution, best possible -583.786 (1781.02 seconds) After 97300 nodes, 17805 on tree, -534.342 best solution, best possible -583.786 (1782.10 seconds) After 97400 nodes, 17824 on tree, -534.342 best solution, best possible -583.786 (1783.02 seconds) After 97500 nodes, 17844 on tree, -534.342 best solution, best possible -583.786 (1784.00 seconds) After 97600 nodes, 17857 on tree, -534.342 best solution, best possible -583.786 (1785.06 seconds) After 97700 nodes, 17870 on tree, -534.342 best solution, best possible -583.786 (1786.11 seconds) After 97800 nodes, 17877 on tree, -534.342 best solution, best possible -583.786 (1787.08 seconds) After 97900 nodes, 17878 on tree, -534.342 best solution, best possible -583.786 (1787.99 seconds) After 98000 nodes, 17884 on tree, -534.342 best solution, best possible -583.786 (1788.96 seconds) After 98100 nodes, 17890 on tree, -534.342 best solution, best possible -583.786 (1789.94 seconds) After 98200 nodes, 17893 on tree, -534.342 best solution, best possible -583.786 (1790.93 seconds) After 98300 nodes, 17913 on tree, -534.342 best solution, best possible -583.786 (1791.99 seconds) After 98400 nodes, 17928 on tree, -534.342 best solution, best possible -583.786 (1793.04 seconds) After 98500 nodes, 17949 on tree, -534.342 best solution, best possible -583.786 (1794.07 seconds) After 98600 nodes, 17972 on tree, -534.342 best solution, best possible -583.786 (1795.04 seconds) Exiting on maximum time Partial search - best objective -534.342 (best possible -583.786), took 2948028 iterations and 98612 nodes (1797.12 seconds) Strong branching done 35418 times (1071498 iterations), fathomed 29 nodes and fixed 556 variables Maximum depth 322, 2.05471e+06 variables fixed on reduced cost Cuts at root node changed objective from -611.85 to -591.336 Probing was tried 38296 times and created 44894 cuts of which 10793 were active after adding rounds of cuts (126.636 seconds) Gomory was tried 16180 times and created 51750 cuts of which 10058 were active after adding rounds of cuts (59.584 seconds) Knapsack was tried 20 times and created 197 cuts of which 4 were active after adding rounds of cuts (0.100 seconds) Clique was tried 20 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds) MixedIntegerRounding2 was tried 20 times and created 42 cuts of which 0 were active after adding rounds of cuts (0.156 seconds) FlowCover was tried 1 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.040 seconds) TwoMirCuts was tried 20 times and created 873 cuts of which 10 were active after adding rounds of cuts (0.300 seconds) Result - Stopped on time objective -534.342 after 98612 nodes and 2948028 iterations - took 1801.99 seconds (total time 1802.09) Total time 1802.22 Time limit reached. Have feasible solution. Writing solution. Objective: -534.342 Time: 1802.22 s --- Restarting execution --- mkc.gms(124) 0 Mb --- Reading solution for model m --- mkc.gms(124) 4 Mb *** Status: Normal completion --- Job mkc.gms Stop 08/21/08 09:31:45 elapsed 0:30:20.396