--- Job mas76 Start 08/21/08 22:22:54 GAMS Rev 228 Copyright (C) 1987-2008 GAMS Development. All rights reserved Licensee: Stefan Vigerske G071106/0001CB-LNX Humboldt University Berlin, Numerical Mathematics DC5918 --- Starting compilation --- mas76.gms(106) 2 Mb --- GDXin=/home/stefan/work/gams/models/LINlib/mas76.gdx --- mas76.gms(148) 3 Mb --- Starting execution: elapsed 0:00:00.006 --- mas76.gms(123) 4 Mb --- Generating MIP model m --- mas76.gms(124) 4 Mb --- 13 rows 152 columns 1,792 non-zeroes --- 150 discrete-columns --- Executing COINCBC: elapsed 0:00:00.011 GAMS/CoinCbc 2.1 LP/MIP Solver written by J. Forrest Problem statistics: 151 columns and 12 rows. 150 variables have integrality restrictions. Calling CBC main solution routine... Coin Cbc and Clp Solver version 2.10.00, build Jun 21 2008 command line - GAMS/CBC -solve -quit Continuous objective value is 38893.9 - -0.00 seconds processed model has 12 rows, 148 columns (147 integer) and 1615 elements Pass 1: suminf. 0.81725 obj. 41907.2 iterations 14 Pass 2: suminf. 0.00000 obj. 43774.3 iterations 4 Solution found of 43774.3 Cleaned solution of 43774.3 Before mini branch and bound, 135 integers at bound fixed and 0 continuous Full problem 12 rows 148 columns, reduced to 12 rows 13 columns Mini branch and bound improved solution from 43774.3 to 40560.1 (0.02 seconds) Freeing continuous variables gives a solution of 40560.1 Round again with cutoff of 40393.4 Reduced cost fixing fixed 67 variables on major pass 2 Pass 3: suminf. 1.54065 obj. 40393.4 iterations 13 Pass 4: suminf. 1.92031 obj. 40393.4 iterations 14 Pass 5: suminf. 1.92031 obj. 40393.4 iterations 0 Pass 6: suminf. 2.57574 obj. 40393.4 iterations 10 Pass 7: suminf. 1.49972 obj. 40393.4 iterations 15 Pass 8: suminf. 1.97535 obj. 40393.4 iterations 4 Pass 9: suminf. 0.96980 obj. 40393.4 iterations 19 Pass 10: suminf. 0.73203 obj. 40393.4 iterations 9 Pass 11: suminf. 2.23776 obj. 40393.4 iterations 7 Pass 12: suminf. 1.21305 obj. 40393.4 iterations 15 Pass 13: suminf. 1.32931 obj. 40393.4 iterations 7 Pass 14: suminf. 0.40354 obj. 40393.4 iterations 7 Pass 15: suminf. 2.27564 obj. 40393.4 iterations 7 Pass 16: suminf. 0.63766 obj. 40393.4 iterations 7 Pass 17: suminf. 2.49065 obj. 40393.4 iterations 37 Pass 18: suminf. 1.67101 obj. 40393.4 iterations 14 Pass 19: suminf. 1.83368 obj. 40393.4 iterations 22 Pass 20: suminf. 1.40353 obj. 40393.4 iterations 9 Pass 21: suminf. 2.04820 obj. 40393.4 iterations 17 Pass 22: suminf. 1.37350 obj. 40393.4 iterations 7 Before mini branch and bound, 108 integers at bound fixed and 0 continuous Full problem 12 rows 148 columns, reduced to 12 rows 40 columns Mini branch and bound did not improve solution (0.08 seconds) After 0.08 seconds - Feasibility pump exiting with objective of 0 - took 0.08 seconds Integer solution of 43774.3 found by feasibility pump after 0 iterations and 0 nodes (0.08 seconds) Full problem 12 rows 148 columns, reduced to 11 rows 16 columns 9 added rows had average density of 148 At root node, 9 cuts changed objective from 38893.9 to 38974.5 in 9 passes Cut generator 0 (Probing) - 0 row cuts (0 active), 0 column cuts in 0.340 seconds - new frequency is 10 Cut generator 1 (Gomory) - 0 row cuts (0 active), 0 column cuts in 0.008 seconds - new frequency is -100 Cut generator 2 (Knapsack) - 0 row cuts (0 active), 0 column cuts in 0.000 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) - 0 row cuts (0 active), 0 column cuts in 0.020 seconds - new frequency is -100 Cut generator 5 (FlowCover) - 0 row cuts (0 active), 0 column cuts in 0.004 seconds - new frequency is -100 Cut generator 6 (TwoMirCuts) - 135 row cuts (6 active), 0 column cuts in 0.012 seconds - new frequency is -100 After 0 nodes, 1 on tree, 43774.3 best solution, best possible 38974.5 (0.50 seconds) Full problem 12 rows 148 columns, reduced to 12 rows 21 columns Full problem 12 rows 148 columns, reduced to 12 rows 25 columns Integer solution of 41557.5 found by combine solutions after 4883 iterations and 990 nodes (2.06 seconds) After 1000 nodes, 462 on tree, 41557.5 best solution, best possible 38974.9 (2.07 seconds) After 2000 nodes, 949 on tree, 41557.5 best solution, best possible 38974.9 (2.76 seconds) After 3000 nodes, 1429 on tree, 41557.5 best solution, best possible 38974.9 (3.24 seconds) After 4000 nodes, 1886 on tree, 41557.5 best solution, best possible 38974.9 (3.70 seconds) After 5000 nodes, 2351 on tree, 41557.5 best solution, best possible 38974.9 (4.15 seconds) After 6000 nodes, 2820 on tree, 41557.5 best solution, best possible 38974.9 (4.59 seconds) After 7000 nodes, 3280 on tree, 41557.5 best solution, best possible 38974.9 (5.02 seconds) After 8000 nodes, 3738 on tree, 41557.5 best solution, best possible 38974.9 (5.45 seconds) Integer solution of 41043.7 found after 47250 iterations and 8774 nodes (5.76 seconds) Full problem 12 rows 148 columns, reduced to 12 rows 27 columns Integer solution of 40877.6 found after 47260 iterations and 8778 nodes (5.81 seconds) Full problem 12 rows 148 columns, reduced to 12 rows 27 columns Integer solution of 40820.8 found by combine solutions after 47270 iterations and 8780 nodes (5.87 seconds) After 9000 nodes, 3737 on tree, 40820.8 best solution, best possible 38974.9 (5.96 seconds) After 10000 nodes, 4195 on tree, 40820.8 best solution, best possible 38974.9 (6.38 seconds) After 11000 nodes, 4664 on tree, 40820.8 best solution, best possible 38974.9 (6.82 seconds) After 12000 nodes, 5148 on tree, 40820.8 best solution, best possible 39267.1 (7.30 seconds) After 13000 nodes, 5639 on tree, 40820.8 best solution, best possible 39288.7 (7.74 seconds) After 14000 nodes, 6086 on tree, 40820.8 best solution, best possible 39288.7 (8.12 seconds) After 15000 nodes, 6573 on tree, 40820.8 best solution, best possible 39309.1 (8.57 seconds) After 16000 nodes, 7051 on tree, 40820.8 best solution, best possible 39325.1 (9.01 seconds) After 17000 nodes, 7528 on tree, 40820.8 best solution, best possible 39339 (9.46 seconds) Integer solution of 40139.5 found after 97922 iterations and 17320 nodes (9.58 seconds) Full problem 12 rows 148 columns, reduced to 12 rows 29 columns After 18000 nodes, 6588 on tree, 40139.5 best solution, best possible 39347.4 (9.91 seconds) After 19000 nodes, 7027 on tree, 40139.5 best solution, best possible 39357.1 (10.31 seconds) After 20000 nodes, 7432 on tree, 40139.5 best solution, best possible 39366 (10.68 seconds) After 21000 nodes, 7850 on tree, 40139.5 best solution, best possible 39373.4 (11.06 seconds) After 22000 nodes, 8179 on tree, 40139.5 best solution, best possible 39373.4 (11.38 seconds) After 23000 nodes, 8581 on tree, 40139.5 best solution, best possible 39383.6 (11.74 seconds) After 24000 nodes, 8975 on tree, 40139.5 best solution, best possible 39391.1 (12.11 seconds) After 25000 nodes, 9379 on tree, 40139.5 best solution, best possible 39398.5 (12.48 seconds) After 26000 nodes, 9708 on tree, 40139.5 best solution, best possible 39398.5 (12.80 seconds) After 27000 nodes, 10125 on tree, 40139.5 best solution, best possible 39406.8 (13.17 seconds) Integer solution of 40005.1 found after 160504 iterations and 27870 nodes (13.44 seconds) Full problem 12 rows 148 columns, reduced to 12 rows 29 columns After 28000 nodes, 9626 on tree, 40005.1 best solution, best possible 39408 (13.56 seconds) After 29000 nodes, 9991 on tree, 40005.1 best solution, best possible 39416.6 (13.90 seconds) After 30000 nodes, 10284 on tree, 40005.1 best solution, best possible 39416.6 (14.24 seconds) After 31000 nodes, 10583 on tree, 40005.1 best solution, best possible 39416.6 (14.55 seconds) After 32000 nodes, 10857 on tree, 40005.1 best solution, best possible 39416.6 (14.87 seconds) After 33000 nodes, 10674 on tree, 40005.1 best solution, best possible 39416.6 (15.07 seconds) After 34000 nodes, 11051 on tree, 40005.1 best solution, best possible 39427.2 (15.45 seconds) After 35000 nodes, 11371 on tree, 40005.1 best solution, best possible 39427.2 (15.76 seconds) After 36000 nodes, 11683 on tree, 40005.1 best solution, best possible 39427.2 (16.08 seconds) After 37000 nodes, 11532 on tree, 40005.1 best solution, best possible 39427.2 (16.28 seconds) After 38000 nodes, 11925 on tree, 40005.1 best solution, best possible 39437.4 (16.64 seconds) After 39000 nodes, 12228 on tree, 40005.1 best solution, best possible 39437.4 (16.93 seconds) After 40000 nodes, 12545 on tree, 40005.1 best solution, best possible 39437.4 (17.24 seconds) After 41000 nodes, 12439 on tree, 40005.1 best solution, best possible 39437.4 (17.46 seconds) After 42000 nodes, 12834 on tree, 40005.1 best solution, best possible 39446.6 (17.81 seconds) After 43000 nodes, 13139 on tree, 40005.1 best solution, best possible 39446.6 (18.10 seconds) After 44000 nodes, 13444 on tree, 40005.1 best solution, best possible 39446.6 (18.41 seconds) After 45000 nodes, 13289 on tree, 40005.1 best solution, best possible 39446.6 (18.62 seconds) After 46000 nodes, 13675 on tree, 40005.1 best solution, best possible 39455.4 (18.95 seconds) After 47000 nodes, 13987 on tree, 40005.1 best solution, best possible 39455.4 (19.24 seconds) After 48000 nodes, 14289 on tree, 40005.1 best solution, best possible 39455.4 (19.55 seconds) After 49000 nodes, 14139 on tree, 40005.1 best solution, best possible 39455.4 (19.75 seconds) After 50000 nodes, 14528 on tree, 40005.1 best solution, best possible 39463.9 (20.12 seconds) After 51000 nodes, 14831 on tree, 40005.1 best solution, best possible 39463.9 (20.44 seconds) After 52000 nodes, 15128 on tree, 40005.1 best solution, best possible 39463.9 (20.77 seconds) After 53000 nodes, 15021 on tree, 40005.1 best solution, best possible 39463.9 (20.96 seconds) After 54000 nodes, 15414 on tree, 40005.1 best solution, best possible 39472.2 (21.32 seconds) After 55000 nodes, 15704 on tree, 40005.1 best solution, best possible 39472.2 (21.63 seconds) After 56000 nodes, 16001 on tree, 40005.1 best solution, best possible 39472.2 (21.94 seconds) After 57000 nodes, 15822 on tree, 40005.1 best solution, best possible 39472.2 (22.14 seconds) After 58000 nodes, 16222 on tree, 40005.1 best solution, best possible 39480.2 (22.49 seconds) After 59000 nodes, 16543 on tree, 40005.1 best solution, best possible 39480.2 (22.79 seconds) After 60000 nodes, 16840 on tree, 40005.1 best solution, best possible 39480.2 (23.10 seconds) After 61000 nodes, 16714 on tree, 40005.1 best solution, best possible 39480.2 (23.30 seconds) After 62000 nodes, 17106 on tree, 40005.1 best solution, best possible 39487 (23.65 seconds) After 63000 nodes, 17419 on tree, 40005.1 best solution, best possible 39487 (23.96 seconds) After 64000 nodes, 17706 on tree, 40005.1 best solution, best possible 39487 (24.25 seconds) After 65000 nodes, 17592 on tree, 40005.1 best solution, best possible 39487 (24.45 seconds) After 66000 nodes, 17946 on tree, 40005.1 best solution, best possible 39494 (24.80 seconds) After 67000 nodes, 18225 on tree, 40005.1 best solution, best possible 39494 (25.08 seconds) After 68000 nodes, 18492 on tree, 40005.1 best solution, best possible 39494 (25.39 seconds) After 69000 nodes, 18301 on tree, 40005.1 best solution, best possible 39494 (25.60 seconds) After 70000 nodes, 18682 on tree, 40005.1 best solution, best possible 39500.2 (25.95 seconds) After 71000 nodes, 18969 on tree, 40005.1 best solution, best possible 39500.2 (26.25 seconds) After 72000 nodes, 19226 on tree, 40005.1 best solution, best possible 39500.2 (26.55 seconds) After 73000 nodes, 19121 on tree, 40005.1 best solution, best possible 39500.2 (26.75 seconds) After 74000 nodes, 19485 on tree, 40005.1 best solution, best possible 39506.6 (27.10 seconds) After 75000 nodes, 19784 on tree, 40005.1 best solution, best possible 39506.6 (27.40 seconds) After 76000 nodes, 20057 on tree, 40005.1 best solution, best possible 39506.6 (27.69 seconds) After 77000 nodes, 19908 on tree, 40005.1 best solution, best possible 39506.6 (27.89 seconds) After 78000 nodes, 20288 on tree, 40005.1 best solution, best possible 39512.8 (28.25 seconds) After 79000 nodes, 20593 on tree, 40005.1 best solution, best possible 39512.8 (28.55 seconds) After 80000 nodes, 20869 on tree, 40005.1 best solution, best possible 39512.8 (28.86 seconds) After 81000 nodes, 20736 on tree, 40005.1 best solution, best possible 39512.8 (29.08 seconds) After 82000 nodes, 21097 on tree, 40005.1 best solution, best possible 39518.7 (29.42 seconds) After 83000 nodes, 21392 on tree, 40005.1 best solution, best possible 39518.7 (29.73 seconds) After 84000 nodes, 21648 on tree, 40005.1 best solution, best possible 39518.7 (30.05 seconds) After 85000 nodes, 21565 on tree, 40005.1 best solution, best possible 39518.7 (30.26 seconds) After 86000 nodes, 21927 on tree, 40005.1 best solution, best possible 39524.5 (30.61 seconds) After 87000 nodes, 22188 on tree, 40005.1 best solution, best possible 39524.5 (30.92 seconds) After 88000 nodes, 22450 on tree, 40005.1 best solution, best possible 39524.5 (31.22 seconds) After 89000 nodes, 22234 on tree, 40005.1 best solution, best possible 39524.5 (31.43 seconds) After 90000 nodes, 22583 on tree, 40005.1 best solution, best possible 39530.1 (31.78 seconds) After 91000 nodes, 22823 on tree, 40005.1 best solution, best possible 39530.1 (32.08 seconds) After 92000 nodes, 23090 on tree, 40005.1 best solution, best possible 39530.1 (32.39 seconds) After 93000 nodes, 22923 on tree, 40005.1 best solution, best possible 39530.1 (32.60 seconds) After 94000 nodes, 23252 on tree, 40005.1 best solution, best possible 39535.3 (32.93 seconds) After 95000 nodes, 23527 on tree, 40005.1 best solution, best possible 39535.3 (33.22 seconds) After 96000 nodes, 23791 on tree, 40005.1 best solution, best possible 39535.3 (33.51 seconds) After 97000 nodes, 23679 on tree, 40005.1 best solution, best possible 39535.3 (33.72 seconds) After 98000 nodes, 24018 on tree, 40005.1 best solution, best possible 39540.3 (34.06 seconds) After 99000 nodes, 24293 on tree, 40005.1 best solution, best possible 39540.3 (34.34 seconds) After 100000 nodes, 24562 on tree, 40005.1 best solution, best possible 39540.3 (34.64 seconds) After 101000 nodes, 24461 on tree, 40005.1 best solution, best possible 39540.3 (34.85 seconds) After 102000 nodes, 24807 on tree, 40005.1 best solution, best possible 39545 (35.19 seconds) After 103000 nodes, 25076 on tree, 40005.1 best solution, best possible 39545 (35.48 seconds) After 104000 nodes, 25316 on tree, 40005.1 best solution, best possible 39545 (35.79 seconds) After 105000 nodes, 25163 on tree, 40005.1 best solution, best possible 39545 (35.99 seconds) After 106000 nodes, 25492 on tree, 40005.1 best solution, best possible 39549.8 (36.33 seconds) After 107000 nodes, 25729 on tree, 40005.1 best solution, best possible 39549.8 (36.63 seconds) After 108000 nodes, 25969 on tree, 40005.1 best solution, best possible 39549.8 (36.94 seconds) After 109000 nodes, 25708 on tree, 40005.1 best solution, best possible 39549.8 (37.15 seconds) After 110000 nodes, 26056 on tree, 40005.1 best solution, best possible 39554.4 (37.49 seconds) After 111000 nodes, 26299 on tree, 40005.1 best solution, best possible 39554.4 (37.80 seconds) After 112000 nodes, 26515 on tree, 40005.1 best solution, best possible 39554.4 (38.11 seconds) After 113000 nodes, 26372 on tree, 40005.1 best solution, best possible 39554.4 (38.31 seconds) After 114000 nodes, 26718 on tree, 40005.1 best solution, best possible 39558.5 (38.63 seconds) After 115000 nodes, 26951 on tree, 40005.1 best solution, best possible 39558.5 (38.91 seconds) After 116000 nodes, 27197 on tree, 40005.1 best solution, best possible 39558.5 (39.22 seconds) After 117000 nodes, 27082 on tree, 40005.1 best solution, best possible 39558.5 (39.43 seconds) After 118000 nodes, 27413 on tree, 40005.1 best solution, best possible 39563 (39.77 seconds) After 119000 nodes, 27632 on tree, 40005.1 best solution, best possible 39563 (40.05 seconds) After 120000 nodes, 27856 on tree, 40005.1 best solution, best possible 39563 (40.34 seconds) After 121000 nodes, 27760 on tree, 40005.1 best solution, best possible 39563 (40.54 seconds) After 122000 nodes, 28073 on tree, 40005.1 best solution, best possible 39567.4 (40.86 seconds) After 123000 nodes, 28324 on tree, 40005.1 best solution, best possible 39567.4 (41.15 seconds) After 124000 nodes, 28562 on tree, 40005.1 best solution, best possible 39567.4 (41.45 seconds) After 125000 nodes, 28304 on tree, 40005.1 best solution, best possible 39567.4 (41.67 seconds) After 126000 nodes, 28616 on tree, 40005.1 best solution, best possible 39571.8 (42.01 seconds) After 127000 nodes, 28851 on tree, 40005.1 best solution, best possible 39571.8 (42.31 seconds) After 128000 nodes, 29066 on tree, 40005.1 best solution, best possible 39571.8 (42.59 seconds) After 129000 nodes, 28817 on tree, 40005.1 best solution, best possible 39571.8 (42.82 seconds) After 130000 nodes, 29119 on tree, 40005.1 best solution, best possible 39576.1 (43.15 seconds) After 131000 nodes, 29326 on tree, 40005.1 best solution, best possible 39576.1 (43.43 seconds) After 132000 nodes, 29553 on tree, 40005.1 best solution, best possible 39576.1 (43.73 seconds) After 133000 nodes, 29443 on tree, 40005.1 best solution, best possible 39576.1 (43.93 seconds) After 134000 nodes, 29744 on tree, 40005.1 best solution, best possible 39580.5 (44.24 seconds) After 135000 nodes, 29968 on tree, 40005.1 best solution, best possible 39580.5 (44.54 seconds) After 136000 nodes, 30191 on tree, 40005.1 best solution, best possible 39580.5 (44.84 seconds) After 137000 nodes, 30079 on tree, 40005.1 best solution, best possible 39580.5 (45.05 seconds) After 138000 nodes, 30373 on tree, 40005.1 best solution, best possible 39584.6 (45.39 seconds) After 139000 nodes, 30580 on tree, 40005.1 best solution, best possible 39584.6 (45.67 seconds) After 140000 nodes, 30782 on tree, 40005.1 best solution, best possible 39584.6 (45.96 seconds) After 141000 nodes, 30669 on tree, 40005.1 best solution, best possible 39584.6 (46.17 seconds) After 142000 nodes, 30950 on tree, 40005.1 best solution, best possible 39588.3 (46.48 seconds) After 143000 nodes, 31151 on tree, 40005.1 best solution, best possible 39588.3 (46.77 seconds) After 144000 nodes, 31355 on tree, 40005.1 best solution, best possible 39588.3 (47.05 seconds) After 145000 nodes, 31186 on tree, 40005.1 best solution, best possible 39588.3 (47.26 seconds) After 146000 nodes, 31478 on tree, 40005.1 best solution, best possible 39592.1 (47.59 seconds) After 147000 nodes, 31651 on tree, 40005.1 best solution, best possible 39592.1 (47.87 seconds) After 148000 nodes, 31833 on tree, 40005.1 best solution, best possible 39592.1 (48.16 seconds) After 149000 nodes, 31567 on tree, 40005.1 best solution, best possible 39592.1 (48.38 seconds) After 150000 nodes, 31837 on tree, 40005.1 best solution, best possible 39595.4 (48.70 seconds) After 151000 nodes, 32037 on tree, 40005.1 best solution, best possible 39595.4 (48.97 seconds) After 152000 nodes, 32246 on tree, 40005.1 best solution, best possible 39595.4 (49.27 seconds) After 153000 nodes, 32003 on tree, 40005.1 best solution, best possible 39595.4 (49.48 seconds) After 154000 nodes, 32291 on tree, 40005.1 best solution, best possible 39598.6 (49.81 seconds) After 155000 nodes, 32480 on tree, 40005.1 best solution, best possible 39598.6 (50.08 seconds) After 156000 nodes, 32646 on tree, 40005.1 best solution, best possible 39598.6 (50.36 seconds) After 157000 nodes, 32472 on tree, 40005.1 best solution, best possible 39598.6 (50.59 seconds) After 158000 nodes, 32746 on tree, 40005.1 best solution, best possible 39601.8 (50.93 seconds) After 159000 nodes, 32943 on tree, 40005.1 best solution, best possible 39601.8 (51.22 seconds) After 160000 nodes, 33128 on tree, 40005.1 best solution, best possible 39601.8 (51.53 seconds) After 161000 nodes, 33013 on tree, 40005.1 best solution, best possible 39601.8 (51.74 seconds) After 162000 nodes, 33275 on tree, 40005.1 best solution, best possible 39605.2 (52.06 seconds) After 163000 nodes, 33461 on tree, 40005.1 best solution, best possible 39605.2 (52.34 seconds) After 164000 nodes, 33640 on tree, 40005.1 best solution, best possible 39605.2 (52.63 seconds) After 165000 nodes, 33511 on tree, 40005.1 best solution, best possible 39605.2 (52.83 seconds) After 166000 nodes, 33797 on tree, 40005.1 best solution, best possible 39608.4 (53.14 seconds) After 167000 nodes, 33968 on tree, 40005.1 best solution, best possible 39608.4 (53.44 seconds) After 168000 nodes, 34146 on tree, 40005.1 best solution, best possible 39608.4 (53.74 seconds) After 169000 nodes, 34027 on tree, 40005.1 best solution, best possible 39608.4 (53.96 seconds) After 170000 nodes, 34279 on tree, 40005.1 best solution, best possible 39611.5 (54.26 seconds) After 171000 nodes, 34431 on tree, 40005.1 best solution, best possible 39611.5 (54.54 seconds) After 172000 nodes, 34609 on tree, 40005.1 best solution, best possible 39611.5 (54.83 seconds) After 173000 nodes, 34464 on tree, 40005.1 best solution, best possible 39611.5 (55.05 seconds) After 174000 nodes, 34719 on tree, 40005.1 best solution, best possible 39614.6 (55.36 seconds) After 175000 nodes, 34879 on tree, 40005.1 best solution, best possible 39614.6 (55.63 seconds) After 176000 nodes, 35037 on tree, 40005.1 best solution, best possible 39614.6 (55.89 seconds) After 177000 nodes, 34787 on tree, 40005.1 best solution, best possible 39614.6 (56.09 seconds) After 178000 nodes, 35051 on tree, 40005.1 best solution, best possible 39617.5 (56.40 seconds) After 179000 nodes, 35215 on tree, 40005.1 best solution, best possible 39617.5 (56.68 seconds) After 180000 nodes, 35398 on tree, 40005.1 best solution, best possible 39617.5 (56.96 seconds) After 181000 nodes, 35137 on tree, 40005.1 best solution, best possible 39617.5 (57.17 seconds) After 182000 nodes, 35397 on tree, 40005.1 best solution, best possible 39620.4 (57.47 seconds) After 183000 nodes, 35542 on tree, 40005.1 best solution, best possible 39620.4 (57.75 seconds) After 184000 nodes, 35721 on tree, 40005.1 best solution, best possible 39620.4 (58.05 seconds) After 185000 nodes, 35448 on tree, 40005.1 best solution, best possible 39620.4 (58.26 seconds) After 186000 nodes, 35709 on tree, 40005.1 best solution, best possible 39623.4 (58.59 seconds) After 187000 nodes, 35858 on tree, 40005.1 best solution, best possible 39623.4 (58.86 seconds) After 188000 nodes, 36001 on tree, 40005.1 best solution, best possible 39623.4 (59.16 seconds) After 189000 nodes, 35774 on tree, 40005.1 best solution, best possible 39623.4 (59.37 seconds) After 190000 nodes, 36023 on tree, 40005.1 best solution, best possible 39626.3 (59.69 seconds) After 191000 nodes, 36177 on tree, 40005.1 best solution, best possible 39626.3 (59.94 seconds) After 192000 nodes, 36366 on tree, 40005.1 best solution, best possible 39626.3 (60.22 seconds) After 193000 nodes, 36210 on tree, 40005.1 best solution, best possible 39626.3 (60.42 seconds) After 194000 nodes, 36454 on tree, 40005.1 best solution, best possible 39629 (60.76 seconds) After 195000 nodes, 36593 on tree, 40005.1 best solution, best possible 39629 (61.03 seconds) After 196000 nodes, 36753 on tree, 40005.1 best solution, best possible 39629 (61.32 seconds) After 197000 nodes, 36610 on tree, 40005.1 best solution, best possible 39629 (61.53 seconds) After 198000 nodes, 36836 on tree, 40005.1 best solution, best possible 39631.6 (61.86 seconds) After 199000 nodes, 36989 on tree, 40005.1 best solution, best possible 39631.6 (62.13 seconds) After 200000 nodes, 37140 on tree, 40005.1 best solution, best possible 39631.6 (62.41 seconds) After 201000 nodes, 36971 on tree, 40005.1 best solution, best possible 39631.6 (62.63 seconds) After 202000 nodes, 37211 on tree, 40005.1 best solution, best possible 39634.3 (62.94 seconds) After 203000 nodes, 37315 on tree, 40005.1 best solution, best possible 39634.3 (63.20 seconds) After 204000 nodes, 37462 on tree, 40005.1 best solution, best possible 39634.3 (63.49 seconds) After 205000 nodes, 37314 on tree, 40005.1 best solution, best possible 39634.3 (63.70 seconds) After 206000 nodes, 37571 on tree, 40005.1 best solution, best possible 39637.2 (64.02 seconds) After 207000 nodes, 37711 on tree, 40005.1 best solution, best possible 39637.2 (64.28 seconds) After 208000 nodes, 37864 on tree, 40005.1 best solution, best possible 39637.2 (64.58 seconds) After 209000 nodes, 37556 on tree, 40005.1 best solution, best possible 39637.2 (64.78 seconds) After 210000 nodes, 37799 on tree, 40005.1 best solution, best possible 39639.9 (65.11 seconds) After 211000 nodes, 37944 on tree, 40005.1 best solution, best possible 39639.9 (65.38 seconds) After 212000 nodes, 38073 on tree, 40005.1 best solution, best possible 39639.9 (65.66 seconds) After 213000 nodes, 37736 on tree, 40005.1 best solution, best possible 39639.9 (65.86 seconds) After 214000 nodes, 37969 on tree, 40005.1 best solution, best possible 39642.5 (66.18 seconds) After 215000 nodes, 38098 on tree, 40005.1 best solution, best possible 39642.5 (66.46 seconds) After 216000 nodes, 38233 on tree, 40005.1 best solution, best possible 39642.5 (66.74 seconds) After 217000 nodes, 38022 on tree, 40005.1 best solution, best possible 39642.5 (66.96 seconds) After 218000 nodes, 38235 on tree, 40005.1 best solution, best possible 39645.2 (67.28 seconds) After 219000 nodes, 38365 on tree, 40005.1 best solution, best possible 39645.2 (67.54 seconds) After 220000 nodes, 38514 on tree, 40005.1 best solution, best possible 39645.2 (67.82 seconds) After 221000 nodes, 38324 on tree, 40005.1 best solution, best possible 39645.2 (68.02 seconds) After 222000 nodes, 38550 on tree, 40005.1 best solution, best possible 39647.9 (68.34 seconds) After 223000 nodes, 38679 on tree, 40005.1 best solution, best possible 39647.9 (68.62 seconds) After 224000 nodes, 38816 on tree, 40005.1 best solution, best possible 39647.9 (68.90 seconds) After 225000 nodes, 38646 on tree, 40005.1 best solution, best possible 39647.9 (69.11 seconds) After 226000 nodes, 38882 on tree, 40005.1 best solution, best possible 39650.5 (69.46 seconds) After 227000 nodes, 38989 on tree, 40005.1 best solution, best possible 39650.5 (69.72 seconds) After 228000 nodes, 39132 on tree, 40005.1 best solution, best possible 39650.5 (69.98 seconds) After 229000 nodes, 38959 on tree, 40005.1 best solution, best possible 39650.5 (70.20 seconds) After 230000 nodes, 39205 on tree, 40005.1 best solution, best possible 39653.2 (70.52 seconds) After 231000 nodes, 39341 on tree, 40005.1 best solution, best possible 39653.2 (70.78 seconds) After 232000 nodes, 39471 on tree, 40005.1 best solution, best possible 39653.2 (71.06 seconds) After 233000 nodes, 39331 on tree, 40005.1 best solution, best possible 39653.2 (71.26 seconds) After 234000 nodes, 39550 on tree, 40005.1 best solution, best possible 39655.6 (71.58 seconds) After 235000 nodes, 39678 on tree, 40005.1 best solution, best possible 39655.6 (71.87 seconds) After 236000 nodes, 39779 on tree, 40005.1 best solution, best possible 39655.6 (72.14 seconds) After 237000 nodes, 39542 on tree, 40005.1 best solution, best possible 39655.6 (72.34 seconds) After 238000 nodes, 39728 on tree, 40005.1 best solution, best possible 39658.1 (72.67 seconds) After 239000 nodes, 39840 on tree, 40005.1 best solution, best possible 39658.1 (72.94 seconds) After 240000 nodes, 39957 on tree, 40005.1 best solution, best possible 39658.1 (73.22 seconds) After 241000 nodes, 39541 on tree, 40005.1 best solution, best possible 39658.1 (73.43 seconds) After 242000 nodes, 39745 on tree, 40005.1 best solution, best possible 39660.7 (73.76 seconds) After 243000 nodes, 39865 on tree, 40005.1 best solution, best possible 39660.7 (74.02 seconds) After 244000 nodes, 39978 on tree, 40005.1 best solution, best possible 39660.7 (74.29 seconds) After 245000 nodes, 39745 on tree, 40005.1 best solution, best possible 39660.7 (74.49 seconds) After 246000 nodes, 39950 on tree, 40005.1 best solution, best possible 39663.3 (74.82 seconds) After 247000 nodes, 40046 on tree, 40005.1 best solution, best possible 39663.3 (75.08 seconds) After 248000 nodes, 40185 on tree, 40005.1 best solution, best possible 39663.3 (75.38 seconds) After 249000 nodes, 40022 on tree, 40005.1 best solution, best possible 39663.3 (75.58 seconds) After 250000 nodes, 40208 on tree, 40005.1 best solution, best possible 39665.7 (75.89 seconds) After 251000 nodes, 40306 on tree, 40005.1 best solution, best possible 39665.7 (76.15 seconds) After 252000 nodes, 40422 on tree, 40005.1 best solution, best possible 39665.7 (76.42 seconds) After 253000 nodes, 40275 on tree, 40005.1 best solution, best possible 39665.7 (76.64 seconds) After 254000 nodes, 40483 on tree, 40005.1 best solution, best possible 39668 (76.96 seconds) After 255000 nodes, 40569 on tree, 40005.1 best solution, best possible 39668 (77.22 seconds) After 256000 nodes, 40696 on tree, 40005.1 best solution, best possible 39668 (77.51 seconds) After 257000 nodes, 40529 on tree, 40005.1 best solution, best possible 39668 (77.72 seconds) After 258000 nodes, 40726 on tree, 40005.1 best solution, best possible 39670.3 (78.02 seconds) After 259000 nodes, 40820 on tree, 40005.1 best solution, best possible 39670.3 (78.30 seconds) After 260000 nodes, 40941 on tree, 40005.1 best solution, best possible 39670.3 (78.56 seconds) After 261000 nodes, 40639 on tree, 40005.1 best solution, best possible 39670.3 (78.78 seconds) After 262000 nodes, 40834 on tree, 40005.1 best solution, best possible 39672.7 (79.08 seconds) After 263000 nodes, 40912 on tree, 40005.1 best solution, best possible 39672.7 (79.34 seconds) After 264000 nodes, 41029 on tree, 40005.1 best solution, best possible 39672.7 (79.63 seconds) After 265000 nodes, 40648 on tree, 40005.1 best solution, best possible 39672.7 (79.83 seconds) After 266000 nodes, 40869 on tree, 40005.1 best solution, best possible 39675.1 (80.15 seconds) After 267000 nodes, 40986 on tree, 40005.1 best solution, best possible 39675.1 (80.40 seconds) After 268000 nodes, 41094 on tree, 40005.1 best solution, best possible 39675.1 (80.68 seconds) After 269000 nodes, 40820 on tree, 40005.1 best solution, best possible 39675.1 (80.89 seconds) After 270000 nodes, 41023 on tree, 40005.1 best solution, best possible 39677.6 (81.20 seconds) After 271000 nodes, 41116 on tree, 40005.1 best solution, best possible 39677.6 (81.46 seconds) After 272000 nodes, 41210 on tree, 40005.1 best solution, best possible 39677.6 (81.73 seconds) After 273000 nodes, 41057 on tree, 40005.1 best solution, best possible 39677.6 (81.94 seconds) After 274000 nodes, 41243 on tree, 40005.1 best solution, best possible 39680 (82.24 seconds) After 275000 nodes, 41337 on tree, 40005.1 best solution, best possible 39680 (82.49 seconds) After 276000 nodes, 41437 on tree, 40005.1 best solution, best possible 39680 (82.77 seconds) After 277000 nodes, 41270 on tree, 40005.1 best solution, best possible 39680 (82.98 seconds) After 278000 nodes, 41456 on tree, 40005.1 best solution, best possible 39682.3 (83.31 seconds) After 279000 nodes, 41557 on tree, 40005.1 best solution, best possible 39682.4 (83.57 seconds) After 280000 nodes, 41639 on tree, 40005.1 best solution, best possible 39682.4 (83.85 seconds) After 281000 nodes, 41419 on tree, 40005.1 best solution, best possible 39682.4 (84.06 seconds) After 282000 nodes, 41623 on tree, 40005.1 best solution, best possible 39684.7 (84.38 seconds) After 283000 nodes, 41700 on tree, 40005.1 best solution, best possible 39684.7 (84.62 seconds) After 284000 nodes, 41796 on tree, 40005.1 best solution, best possible 39684.7 (84.89 seconds) After 285000 nodes, 41494 on tree, 40005.1 best solution, best possible 39684.7 (85.09 seconds) After 286000 nodes, 41666 on tree, 40005.1 best solution, best possible 39687 (85.40 seconds) After 287000 nodes, 41747 on tree, 40005.1 best solution, best possible 39687 (85.65 seconds) After 288000 nodes, 41857 on tree, 40005.1 best solution, best possible 39687 (85.98 seconds) After 289000 nodes, 41489 on tree, 40005.1 best solution, best possible 39687 (86.17 seconds) After 290000 nodes, 41691 on tree, 40005.1 best solution, best possible 39689.3 (86.47 seconds) After 291000 nodes, 41762 on tree, 40005.1 best solution, best possible 39689.3 (86.74 seconds) After 292000 nodes, 41845 on tree, 40005.1 best solution, best possible 39689.3 (87.01 seconds) After 293000 nodes, 41580 on tree, 40005.1 best solution, best possible 39689.3 (87.21 seconds) After 294000 nodes, 41766 on tree, 40005.1 best solution, best possible 39691.5 (87.53 seconds) After 295000 nodes, 41841 on tree, 40005.1 best solution, best possible 39691.5 (87.79 seconds) After 296000 nodes, 41922 on tree, 40005.1 best solution, best possible 39691.5 (88.07 seconds) After 297000 nodes, 41738 on tree, 40005.1 best solution, best possible 39691.5 (88.26 seconds) After 298000 nodes, 41928 on tree, 40005.1 best solution, best possible 39693.8 (88.57 seconds) After 299000 nodes, 41997 on tree, 40005.1 best solution, best possible 39693.8 (88.84 seconds) After 300000 nodes, 42083 on tree, 40005.1 best solution, best possible 39693.8 (89.09 seconds) After 301000 nodes, 41862 on tree, 40005.1 best solution, best possible 39693.8 (89.30 seconds) After 302000 nodes, 42055 on tree, 40005.1 best solution, best possible 39696.1 (89.59 seconds) After 303000 nodes, 42109 on tree, 40005.1 best solution, best possible 39696.1 (89.85 seconds) After 304000 nodes, 42178 on tree, 40005.1 best solution, best possible 39696.1 (90.13 seconds) After 305000 nodes, 41753 on tree, 40005.1 best solution, best possible 39696.1 (90.33 seconds) After 306000 nodes, 41933 on tree, 40005.1 best solution, best possible 39698.3 (90.65 seconds) After 307000 nodes, 41993 on tree, 40005.1 best solution, best possible 39698.3 (90.91 seconds) After 308000 nodes, 42066 on tree, 40005.1 best solution, best possible 39698.3 (91.19 seconds) After 309000 nodes, 41879 on tree, 40005.1 best solution, best possible 39698.3 (91.40 seconds) After 310000 nodes, 42061 on tree, 40005.1 best solution, best possible 39700.5 (91.70 seconds) After 311000 nodes, 42133 on tree, 40005.1 best solution, best possible 39700.6 (91.95 seconds) After 312000 nodes, 42195 on tree, 40005.1 best solution, best possible 39700.6 (92.21 seconds) After 313000 nodes, 41969 on tree, 40005.1 best solution, best possible 39700.6 (92.43 seconds) After 314000 nodes, 42118 on tree, 40005.1 best solution, best possible 39702.8 (92.73 seconds) After 315000 nodes, 42176 on tree, 40005.1 best solution, best possible 39702.8 (93.00 seconds) After 316000 nodes, 42253 on tree, 40005.1 best solution, best possible 39702.8 (93.27 seconds) After 317000 nodes, 41920 on tree, 40005.1 best solution, best possible 39702.8 (93.47 seconds) After 318000 nodes, 42101 on tree, 40005.1 best solution, best possible 39704.9 (93.77 seconds) After 319000 nodes, 42170 on tree, 40005.1 best solution, best possible 39704.9 (94.04 seconds) After 320000 nodes, 42236 on tree, 40005.1 best solution, best possible 39704.9 (94.31 seconds) After 321000 nodes, 41972 on tree, 40005.1 best solution, best possible 39704.9 (94.51 seconds) After 322000 nodes, 42138 on tree, 40005.1 best solution, best possible 39707.2 (94.81 seconds) After 323000 nodes, 42187 on tree, 40005.1 best solution, best possible 39707.2 (95.06 seconds) After 324000 nodes, 42262 on tree, 40005.1 best solution, best possible 39707.2 (95.34 seconds) After 325000 nodes, 41990 on tree, 40005.1 best solution, best possible 39707.2 (95.54 seconds) After 326000 nodes, 42168 on tree, 40005.1 best solution, best possible 39709.5 (95.85 seconds) After 327000 nodes, 42208 on tree, 40005.1 best solution, best possible 39709.5 (96.10 seconds) After 328000 nodes, 42280 on tree, 40005.1 best solution, best possible 39709.5 (96.35 seconds) After 329000 nodes, 41986 on tree, 40005.1 best solution, best possible 39709.5 (96.55 seconds) After 330000 nodes, 42134 on tree, 40005.1 best solution, best possible 39711.7 (96.87 seconds) After 331000 nodes, 42196 on tree, 40005.1 best solution, best possible 39711.7 (97.12 seconds) After 332000 nodes, 42260 on tree, 40005.1 best solution, best possible 39711.7 (97.39 seconds) After 333000 nodes, 41977 on tree, 40005.1 best solution, best possible 39711.7 (97.60 seconds) After 334000 nodes, 42143 on tree, 40005.1 best solution, best possible 39714 (97.90 seconds) After 335000 nodes, 42177 on tree, 40005.1 best solution, best possible 39714 (98.15 seconds) After 336000 nodes, 42261 on tree, 40005.1 best solution, best possible 39714 (98.43 seconds) After 337000 nodes, 41991 on tree, 40005.1 best solution, best possible 39714 (98.64 seconds) After 338000 nodes, 42161 on tree, 40005.1 best solution, best possible 39716.3 (98.93 seconds) After 339000 nodes, 42194 on tree, 40005.1 best solution, best possible 39716.3 (99.21 seconds) After 340000 nodes, 42227 on tree, 40005.1 best solution, best possible 39716.3 (99.49 seconds) After 341000 nodes, 41989 on tree, 40005.1 best solution, best possible 39716.3 (99.69 seconds) After 342000 nodes, 42137 on tree, 40005.1 best solution, best possible 39718.5 (100.02 seconds) After 343000 nodes, 42151 on tree, 40005.1 best solution, best possible 39718.5 (100.25 seconds) After 344000 nodes, 42212 on tree, 40005.1 best solution, best possible 39718.5 (100.53 seconds) After 345000 nodes, 41955 on tree, 40005.1 best solution, best possible 39718.5 (100.71 seconds) After 346000 nodes, 42119 on tree, 40005.1 best solution, best possible 39720.6 (101.04 seconds) After 347000 nodes, 42150 on tree, 40005.1 best solution, best possible 39720.6 (101.30 seconds) After 348000 nodes, 42206 on tree, 40005.1 best solution, best possible 39720.6 (101.57 seconds) After 349000 nodes, 41990 on tree, 40005.1 best solution, best possible 39720.6 (101.77 seconds) After 350000 nodes, 42127 on tree, 40005.1 best solution, best possible 39722.7 (102.06 seconds) After 351000 nodes, 42162 on tree, 40005.1 best solution, best possible 39722.7 (102.31 seconds) After 352000 nodes, 42203 on tree, 40005.1 best solution, best possible 39722.7 (102.57 seconds) After 353000 nodes, 41894 on tree, 40005.1 best solution, best possible 39722.7 (102.77 seconds) After 354000 nodes, 42040 on tree, 40005.1 best solution, best possible 39724.9 (103.06 seconds) After 355000 nodes, 42055 on tree, 40005.1 best solution, best possible 39724.9 (103.29 seconds) After 356000 nodes, 42090 on tree, 40005.1 best solution, best possible 39724.9 (103.56 seconds) After 357000 nodes, 41894 on tree, 40005.1 best solution, best possible 39724.9 (103.77 seconds) After 358000 nodes, 42036 on tree, 40005.1 best solution, best possible 39727.2 (104.07 seconds) After 359000 nodes, 42047 on tree, 40005.1 best solution, best possible 39727.2 (104.32 seconds) After 360000 nodes, 42054 on tree, 40005.1 best solution, best possible 39727.2 (104.57 seconds) After 361000 nodes, 41766 on tree, 40005.1 best solution, best possible 39727.2 (104.78 seconds) After 362000 nodes, 41916 on tree, 40005.1 best solution, best possible 39729.4 (105.06 seconds) After 363000 nodes, 41918 on tree, 40005.1 best solution, best possible 39729.4 (105.31 seconds) After 364000 nodes, 41948 on tree, 40005.1 best solution, best possible 39729.4 (105.57 seconds) After 365000 nodes, 41669 on tree, 40005.1 best solution, best possible 39729.4 (105.78 seconds) After 366000 nodes, 41818 on tree, 40005.1 best solution, best possible 39731.6 (106.10 seconds) After 367000 nodes, 41841 on tree, 40005.1 best solution, best possible 39731.6 (106.34 seconds) After 368000 nodes, 41892 on tree, 40005.1 best solution, best possible 39731.6 (106.61 seconds) After 369000 nodes, 41710 on tree, 40005.1 best solution, best possible 39731.6 (106.81 seconds) After 370000 nodes, 41860 on tree, 40005.1 best solution, best possible 39733.8 (107.12 seconds) After 371000 nodes, 41852 on tree, 40005.1 best solution, best possible 39733.8 (107.37 seconds) After 372000 nodes, 41877 on tree, 40005.1 best solution, best possible 39733.8 (107.61 seconds) After 373000 nodes, 41620 on tree, 40005.1 best solution, best possible 39733.8 (107.81 seconds) After 374000 nodes, 41754 on tree, 40005.1 best solution, best possible 39735.9 (108.11 seconds) After 375000 nodes, 41743 on tree, 40005.1 best solution, best possible 39735.9 (108.36 seconds) After 376000 nodes, 41766 on tree, 40005.1 best solution, best possible 39735.9 (108.61 seconds) After 377000 nodes, 41363 on tree, 40005.1 best solution, best possible 39735.9 (108.81 seconds) After 378000 nodes, 41505 on tree, 40005.1 best solution, best possible 39738 (109.11 seconds) After 379000 nodes, 41485 on tree, 40005.1 best solution, best possible 39738 (109.33 seconds) After 380000 nodes, 41496 on tree, 40005.1 best solution, best possible 39738 (109.59 seconds) After 381000 nodes, 41310 on tree, 40005.1 best solution, best possible 39738 (109.81 seconds) After 382000 nodes, 41442 on tree, 40005.1 best solution, best possible 39740 (110.09 seconds) After 383000 nodes, 41432 on tree, 40005.1 best solution, best possible 39740 (110.32 seconds) After 384000 nodes, 41453 on tree, 40005.1 best solution, best possible 39740 (110.57 seconds) After 385000 nodes, 41295 on tree, 40005.1 best solution, best possible 39740 (110.78 seconds) After 386000 nodes, 41440 on tree, 40005.1 best solution, best possible 39742.2 (111.08 seconds) After 387000 nodes, 41425 on tree, 40005.1 best solution, best possible 39742.2 (111.33 seconds) After 388000 nodes, 41466 on tree, 40005.1 best solution, best possible 39742.2 (111.61 seconds) After 389000 nodes, 41282 on tree, 40005.1 best solution, best possible 39742.2 (111.82 seconds) After 390000 nodes, 41405 on tree, 40005.1 best solution, best possible 39744.4 (112.14 seconds) After 391000 nodes, 41382 on tree, 40005.1 best solution, best possible 39744.4 (112.37 seconds) After 392000 nodes, 41388 on tree, 40005.1 best solution, best possible 39744.4 (112.65 seconds) After 393000 nodes, 41120 on tree, 40005.1 best solution, best possible 39744.4 (112.86 seconds) After 394000 nodes, 41257 on tree, 40005.1 best solution, best possible 39746.5 (113.18 seconds) After 395000 nodes, 41245 on tree, 40005.1 best solution, best possible 39746.5 (113.42 seconds) After 396000 nodes, 41275 on tree, 40005.1 best solution, best possible 39746.5 (113.68 seconds) After 397000 nodes, 40843 on tree, 40005.1 best solution, best possible 39746.5 (113.89 seconds) After 398000 nodes, 40957 on tree, 40005.1 best solution, best possible 39748.6 (114.20 seconds) After 399000 nodes, 40935 on tree, 40005.1 best solution, best possible 39748.6 (114.45 seconds) After 400000 nodes, 40957 on tree, 40005.1 best solution, best possible 39748.6 (114.71 seconds) After 401000 nodes, 40603 on tree, 40005.1 best solution, best possible 39748.6 (114.93 seconds) After 402000 nodes, 40721 on tree, 40005.1 best solution, best possible 39750.6 (115.23 seconds) After 403000 nodes, 40700 on tree, 40005.1 best solution, best possible 39750.7 (115.49 seconds) After 404000 nodes, 40725 on tree, 40005.1 best solution, best possible 39750.7 (115.76 seconds) After 405000 nodes, 40527 on tree, 40005.1 best solution, best possible 39750.7 (115.96 seconds) After 406000 nodes, 40639 on tree, 40005.1 best solution, best possible 39752.7 (116.28 seconds) After 407000 nodes, 40607 on tree, 40005.1 best solution, best possible 39752.7 (116.53 seconds) After 408000 nodes, 40633 on tree, 40005.1 best solution, best possible 39752.7 (116.79 seconds) After 409000 nodes, 40462 on tree, 40005.1 best solution, best possible 39752.7 (116.99 seconds) After 410000 nodes, 40565 on tree, 40005.1 best solution, best possible 39754.6 (117.31 seconds) After 411000 nodes, 40538 on tree, 40005.1 best solution, best possible 39754.6 (117.55 seconds) After 412000 nodes, 40546 on tree, 40005.1 best solution, best possible 39754.6 (117.80 seconds) After 413000 nodes, 40364 on tree, 40005.1 best solution, best possible 39754.6 (118.00 seconds) After 414000 nodes, 40465 on tree, 40005.1 best solution, best possible 39756.6 (118.31 seconds) After 415000 nodes, 40439 on tree, 40005.1 best solution, best possible 39756.7 (118.56 seconds) After 416000 nodes, 40427 on tree, 40005.1 best solution, best possible 39756.7 (118.82 seconds) After 417000 nodes, 40219 on tree, 40005.1 best solution, best possible 39756.7 (119.02 seconds) After 418000 nodes, 40334 on tree, 40005.1 best solution, best possible 39758.6 (119.30 seconds) After 419000 nodes, 40296 on tree, 40005.1 best solution, best possible 39758.6 (119.55 seconds) After 420000 nodes, 40307 on tree, 40005.1 best solution, best possible 39758.6 (119.83 seconds) After 421000 nodes, 39894 on tree, 40005.1 best solution, best possible 39758.6 (120.04 seconds) After 422000 nodes, 40016 on tree, 40005.1 best solution, best possible 39760.6 (120.34 seconds) After 423000 nodes, 39963 on tree, 40005.1 best solution, best possible 39760.6 (120.58 seconds) After 424000 nodes, 39988 on tree, 40005.1 best solution, best possible 39760.6 (120.85 seconds) After 425000 nodes, 39542 on tree, 40005.1 best solution, best possible 39760.6 (121.06 seconds) After 426000 nodes, 39658 on tree, 40005.1 best solution, best possible 39762.8 (121.34 seconds) After 427000 nodes, 39598 on tree, 40005.1 best solution, best possible 39762.8 (121.57 seconds) After 428000 nodes, 39592 on tree, 40005.1 best solution, best possible 39762.8 (121.83 seconds) After 429000 nodes, 39382 on tree, 40005.1 best solution, best possible 39762.8 (122.02 seconds) After 430000 nodes, 39506 on tree, 40005.1 best solution, best possible 39764.8 (122.30 seconds) After 431000 nodes, 39468 on tree, 40005.1 best solution, best possible 39764.8 (122.54 seconds) After 432000 nodes, 39453 on tree, 40005.1 best solution, best possible 39764.8 (122.81 seconds) After 433000 nodes, 39289 on tree, 40005.1 best solution, best possible 39764.8 (123.01 seconds) After 434000 nodes, 39391 on tree, 40005.1 best solution, best possible 39766.9 (123.31 seconds) After 435000 nodes, 39382 on tree, 40005.1 best solution, best possible 39766.9 (123.56 seconds) After 436000 nodes, 39380 on tree, 40005.1 best solution, best possible 39766.9 (123.82 seconds) After 437000 nodes, 39185 on tree, 40005.1 best solution, best possible 39766.9 (124.02 seconds) After 438000 nodes, 39283 on tree, 40005.1 best solution, best possible 39769 (124.33 seconds) After 439000 nodes, 39261 on tree, 40005.1 best solution, best possible 39769 (124.58 seconds) After 440000 nodes, 39230 on tree, 40005.1 best solution, best possible 39769 (124.84 seconds) After 441000 nodes, 39078 on tree, 40005.1 best solution, best possible 39769 (125.05 seconds) After 442000 nodes, 39176 on tree, 40005.1 best solution, best possible 39771.3 (125.34 seconds) After 443000 nodes, 39106 on tree, 40005.1 best solution, best possible 39771.3 (125.58 seconds) After 444000 nodes, 39082 on tree, 40005.1 best solution, best possible 39771.3 (125.84 seconds) After 445000 nodes, 38937 on tree, 40005.1 best solution, best possible 39771.3 (126.03 seconds) After 446000 nodes, 39040 on tree, 40005.1 best solution, best possible 39773.4 (126.33 seconds) After 447000 nodes, 38990 on tree, 40005.1 best solution, best possible 39773.4 (126.57 seconds) After 448000 nodes, 38941 on tree, 40005.1 best solution, best possible 39773.4 (126.84 seconds) After 449000 nodes, 38503 on tree, 40005.1 best solution, best possible 39773.4 (127.04 seconds) After 450000 nodes, 38583 on tree, 40005.1 best solution, best possible 39775.5 (127.32 seconds) After 451000 nodes, 38530 on tree, 40005.1 best solution, best possible 39775.5 (127.56 seconds) After 452000 nodes, 38488 on tree, 40005.1 best solution, best possible 39775.5 (127.82 seconds) After 453000 nodes, 37989 on tree, 40005.1 best solution, best possible 39775.5 (128.02 seconds) After 454000 nodes, 38098 on tree, 40005.1 best solution, best possible 39777.5 (128.30 seconds) After 455000 nodes, 38043 on tree, 40005.1 best solution, best possible 39777.5 (128.52 seconds) After 456000 nodes, 38013 on tree, 40005.1 best solution, best possible 39777.5 (128.78 seconds) After 457000 nodes, 37707 on tree, 40005.1 best solution, best possible 39777.5 (128.98 seconds) After 458000 nodes, 37820 on tree, 40005.1 best solution, best possible 39779.7 (129.27 seconds) After 459000 nodes, 37760 on tree, 40005.1 best solution, best possible 39779.7 (129.51 seconds) After 460000 nodes, 37737 on tree, 40005.1 best solution, best possible 39779.7 (129.76 seconds) After 461000 nodes, 37575 on tree, 40005.1 best solution, best possible 39779.7 (129.97 seconds) After 462000 nodes, 37668 on tree, 40005.1 best solution, best possible 39781.7 (130.26 seconds) After 463000 nodes, 37628 on tree, 40005.1 best solution, best possible 39781.7 (130.49 seconds) After 464000 nodes, 37591 on tree, 40005.1 best solution, best possible 39781.7 (130.74 seconds) After 465000 nodes, 37409 on tree, 40005.1 best solution, best possible 39781.7 (130.95 seconds) After 466000 nodes, 37502 on tree, 40005.1 best solution, best possible 39783.8 (131.22 seconds) After 467000 nodes, 37440 on tree, 40005.1 best solution, best possible 39783.8 (131.47 seconds) After 468000 nodes, 37407 on tree, 40005.1 best solution, best possible 39783.8 (131.74 seconds) After 469000 nodes, 37239 on tree, 40005.1 best solution, best possible 39783.8 (131.94 seconds) After 470000 nodes, 37324 on tree, 40005.1 best solution, best possible 39786 (132.24 seconds) After 471000 nodes, 37260 on tree, 40005.1 best solution, best possible 39786.1 (132.48 seconds) After 472000 nodes, 37215 on tree, 40005.1 best solution, best possible 39786.1 (132.72 seconds) After 473000 nodes, 37054 on tree, 40005.1 best solution, best possible 39786.1 (132.93 seconds) After 474000 nodes, 37126 on tree, 40005.1 best solution, best possible 39788.2 (133.21 seconds) After 475000 nodes, 37043 on tree, 40005.1 best solution, best possible 39788.2 (133.44 seconds) After 476000 nodes, 36965 on tree, 40005.1 best solution, best possible 39788.2 (133.68 seconds) After 477000 nodes, 36765 on tree, 40005.1 best solution, best possible 39788.2 (133.90 seconds) After 478000 nodes, 36842 on tree, 40005.1 best solution, best possible 39790.4 (134.18 seconds) After 479000 nodes, 36789 on tree, 40005.1 best solution, best possible 39790.4 (134.40 seconds) After 480000 nodes, 36733 on tree, 40005.1 best solution, best possible 39790.4 (134.64 seconds) After 481000 nodes, 36248 on tree, 40005.1 best solution, best possible 39790.4 (134.84 seconds) After 482000 nodes, 36320 on tree, 40005.1 best solution, best possible 39792.7 (135.12 seconds) After 483000 nodes, 36242 on tree, 40005.1 best solution, best possible 39792.7 (135.38 seconds) After 484000 nodes, 36206 on tree, 40005.1 best solution, best possible 39792.7 (135.63 seconds) After 485000 nodes, 35719 on tree, 40005.1 best solution, best possible 39792.7 (135.83 seconds) After 486000 nodes, 35783 on tree, 40005.1 best solution, best possible 39794.9 (136.12 seconds) After 487000 nodes, 35705 on tree, 40005.1 best solution, best possible 39794.9 (136.36 seconds) After 488000 nodes, 35642 on tree, 40005.1 best solution, best possible 39794.9 (136.62 seconds) After 489000 nodes, 35300 on tree, 40005.1 best solution, best possible 39794.9 (136.83 seconds) After 490000 nodes, 35365 on tree, 40005.1 best solution, best possible 39797 (137.12 seconds) After 491000 nodes, 35281 on tree, 40005.1 best solution, best possible 39797.1 (137.34 seconds) After 492000 nodes, 35220 on tree, 40005.1 best solution, best possible 39797.1 (137.59 seconds) After 493000 nodes, 35060 on tree, 40005.1 best solution, best possible 39797.1 (137.78 seconds) After 494000 nodes, 35117 on tree, 40005.1 best solution, best possible 39799 (138.06 seconds) After 495000 nodes, 35012 on tree, 40005.1 best solution, best possible 39799 (138.30 seconds) After 496000 nodes, 34938 on tree, 40005.1 best solution, best possible 39799 (138.55 seconds) After 497000 nodes, 34769 on tree, 40005.1 best solution, best possible 39799 (138.74 seconds) After 498000 nodes, 34834 on tree, 40005.1 best solution, best possible 39801.2 (139.03 seconds) After 499000 nodes, 34731 on tree, 40005.1 best solution, best possible 39801.2 (139.28 seconds) After 500000 nodes, 34674 on tree, 40005.1 best solution, best possible 39801.2 (139.54 seconds) After 501000 nodes, 34537 on tree, 40005.1 best solution, best possible 39801.2 (139.75 seconds) After 502000 nodes, 34609 on tree, 40005.1 best solution, best possible 39803.3 (140.04 seconds) After 503000 nodes, 34523 on tree, 40005.1 best solution, best possible 39803.3 (140.29 seconds) After 504000 nodes, 34474 on tree, 40005.1 best solution, best possible 39803.3 (140.55 seconds) After 505000 nodes, 34329 on tree, 40005.1 best solution, best possible 39803.3 (140.76 seconds) After 506000 nodes, 34373 on tree, 40005.1 best solution, best possible 39805.6 (141.05 seconds) After 507000 nodes, 34272 on tree, 40005.1 best solution, best possible 39805.7 (141.27 seconds) After 508000 nodes, 34173 on tree, 40005.1 best solution, best possible 39805.7 (141.53 seconds) After 509000 nodes, 33781 on tree, 40005.1 best solution, best possible 39805.7 (141.75 seconds) After 510000 nodes, 33838 on tree, 40005.1 best solution, best possible 39807.9 (142.04 seconds) After 511000 nodes, 33732 on tree, 40005.1 best solution, best possible 39807.9 (142.28 seconds) After 512000 nodes, 33653 on tree, 40005.1 best solution, best possible 39807.9 (142.52 seconds) After 513000 nodes, 33085 on tree, 40005.1 best solution, best possible 39807.9 (142.72 seconds) After 514000 nodes, 33140 on tree, 40005.1 best solution, best possible 39810.1 (143.00 seconds) After 515000 nodes, 33014 on tree, 40005.1 best solution, best possible 39810.1 (143.23 seconds) After 516000 nodes, 32931 on tree, 40005.1 best solution, best possible 39810.1 (143.48 seconds) After 517000 nodes, 32505 on tree, 40005.1 best solution, best possible 39810.1 (143.70 seconds) After 518000 nodes, 32560 on tree, 40005.1 best solution, best possible 39812.4 (143.98 seconds) After 519000 nodes, 32464 on tree, 40005.1 best solution, best possible 39812.4 (144.23 seconds) After 520000 nodes, 32403 on tree, 40005.1 best solution, best possible 39812.4 (144.48 seconds) After 521000 nodes, 32241 on tree, 40005.1 best solution, best possible 39812.4 (144.70 seconds) After 522000 nodes, 32275 on tree, 40005.1 best solution, best possible 39814.7 (144.99 seconds) After 523000 nodes, 32190 on tree, 40005.1 best solution, best possible 39814.7 (145.23 seconds) After 524000 nodes, 32119 on tree, 40005.1 best solution, best possible 39814.7 (145.51 seconds) After 525000 nodes, 31988 on tree, 40005.1 best solution, best possible 39814.7 (145.73 seconds) After 526000 nodes, 32029 on tree, 40005.1 best solution, best possible 39816.9 (146.03 seconds) After 527000 nodes, 31918 on tree, 40005.1 best solution, best possible 39816.9 (146.26 seconds) After 528000 nodes, 31821 on tree, 40005.1 best solution, best possible 39816.9 (146.52 seconds) After 529000 nodes, 31689 on tree, 40005.1 best solution, best possible 39816.9 (146.70 seconds) After 530000 nodes, 31716 on tree, 40005.1 best solution, best possible 39819.2 (146.97 seconds) After 531000 nodes, 31593 on tree, 40005.1 best solution, best possible 39819.2 (147.21 seconds) After 532000 nodes, 31505 on tree, 40005.1 best solution, best possible 39819.2 (147.45 seconds) After 533000 nodes, 31320 on tree, 40005.1 best solution, best possible 39819.2 (147.66 seconds) After 534000 nodes, 31360 on tree, 40005.1 best solution, best possible 39821.6 (147.93 seconds) After 535000 nodes, 31217 on tree, 40005.1 best solution, best possible 39821.6 (148.16 seconds) After 536000 nodes, 31130 on tree, 40005.1 best solution, best possible 39821.6 (148.42 seconds) After 537000 nodes, 30490 on tree, 40005.1 best solution, best possible 39821.6 (148.65 seconds) After 538000 nodes, 30533 on tree, 40005.1 best solution, best possible 39823.9 (148.93 seconds) After 539000 nodes, 30408 on tree, 40005.1 best solution, best possible 39823.9 (149.16 seconds) After 540000 nodes, 30295 on tree, 40005.1 best solution, best possible 39823.9 (149.41 seconds) After 541000 nodes, 29770 on tree, 40005.1 best solution, best possible 39823.9 (149.62 seconds) After 542000 nodes, 29809 on tree, 40005.1 best solution, best possible 39826.4 (149.90 seconds) After 543000 nodes, 29687 on tree, 40005.1 best solution, best possible 39826.4 (150.13 seconds) After 544000 nodes, 29599 on tree, 40005.1 best solution, best possible 39826.4 (150.39 seconds) After 545000 nodes, 29439 on tree, 40005.1 best solution, best possible 39826.4 (150.58 seconds) After 546000 nodes, 29475 on tree, 40005.1 best solution, best possible 39828.9 (150.85 seconds) After 547000 nodes, 29371 on tree, 40005.1 best solution, best possible 39828.9 (151.10 seconds) After 548000 nodes, 29272 on tree, 40005.1 best solution, best possible 39828.9 (151.34 seconds) After 549000 nodes, 29102 on tree, 40005.1 best solution, best possible 39828.9 (151.54 seconds) After 550000 nodes, 29112 on tree, 40005.1 best solution, best possible 39831.6 (151.81 seconds) After 551000 nodes, 28957 on tree, 40005.1 best solution, best possible 39831.6 (152.05 seconds) After 552000 nodes, 28852 on tree, 40005.1 best solution, best possible 39831.6 (152.31 seconds) After 553000 nodes, 28726 on tree, 40005.1 best solution, best possible 39831.6 (152.51 seconds) After 554000 nodes, 28744 on tree, 40005.1 best solution, best possible 39834.2 (152.79 seconds) After 555000 nodes, 28610 on tree, 40005.1 best solution, best possible 39834.2 (153.02 seconds) After 556000 nodes, 28526 on tree, 40005.1 best solution, best possible 39834.2 (153.27 seconds) After 557000 nodes, 28337 on tree, 40005.1 best solution, best possible 39834.2 (153.49 seconds) After 558000 nodes, 28335 on tree, 40005.1 best solution, best possible 39836.7 (153.75 seconds) After 559000 nodes, 28157 on tree, 40005.1 best solution, best possible 39836.7 (153.99 seconds) After 560000 nodes, 28041 on tree, 40005.1 best solution, best possible 39836.7 (154.24 seconds) After 561000 nodes, 27364 on tree, 40005.1 best solution, best possible 39836.7 (154.45 seconds) After 562000 nodes, 27381 on tree, 40005.1 best solution, best possible 39839.1 (154.72 seconds) After 563000 nodes, 27242 on tree, 40005.1 best solution, best possible 39839.1 (154.95 seconds) After 564000 nodes, 27141 on tree, 40005.1 best solution, best possible 39839.1 (155.20 seconds) After 565000 nodes, 26729 on tree, 40005.1 best solution, best possible 39839.1 (155.39 seconds) After 566000 nodes, 26737 on tree, 40005.1 best solution, best possible 39841.5 (155.67 seconds) After 567000 nodes, 26561 on tree, 40005.1 best solution, best possible 39841.5 (155.90 seconds) After 568000 nodes, 26446 on tree, 40005.1 best solution, best possible 39841.5 (156.15 seconds) After 569000 nodes, 26345 on tree, 40005.1 best solution, best possible 39841.5 (156.37 seconds) After 570000 nodes, 26349 on tree, 40005.1 best solution, best possible 39844.1 (156.63 seconds) After 571000 nodes, 26183 on tree, 40005.1 best solution, best possible 39844.1 (156.87 seconds) After 572000 nodes, 26050 on tree, 40005.1 best solution, best possible 39844.1 (157.14 seconds) After 573000 nodes, 25919 on tree, 40005.1 best solution, best possible 39844.1 (157.33 seconds) After 574000 nodes, 25912 on tree, 40005.1 best solution, best possible 39846.8 (157.61 seconds) After 575000 nodes, 25742 on tree, 40005.1 best solution, best possible 39846.8 (157.82 seconds) After 576000 nodes, 25622 on tree, 40005.1 best solution, best possible 39846.8 (158.06 seconds) After 577000 nodes, 25334 on tree, 40005.1 best solution, best possible 39846.8 (158.27 seconds) After 578000 nodes, 25340 on tree, 40005.1 best solution, best possible 39849.4 (158.54 seconds) After 579000 nodes, 25173 on tree, 40005.1 best solution, best possible 39849.4 (158.79 seconds) After 580000 nodes, 25040 on tree, 40005.1 best solution, best possible 39849.4 (159.04 seconds) After 581000 nodes, 24386 on tree, 40005.1 best solution, best possible 39849.4 (159.25 seconds) After 582000 nodes, 24397 on tree, 40005.1 best solution, best possible 39851.9 (159.52 seconds) After 583000 nodes, 24220 on tree, 40005.1 best solution, best possible 39851.9 (159.76 seconds) After 584000 nodes, 24069 on tree, 40005.1 best solution, best possible 39851.9 (160.01 seconds) After 585000 nodes, 23760 on tree, 40005.1 best solution, best possible 39851.9 (160.23 seconds) After 586000 nodes, 23744 on tree, 40005.1 best solution, best possible 39854.6 (160.49 seconds) After 587000 nodes, 23581 on tree, 40005.1 best solution, best possible 39854.6 (160.73 seconds) After 588000 nodes, 23446 on tree, 40005.1 best solution, best possible 39854.6 (160.97 seconds) After 589000 nodes, 23342 on tree, 40005.1 best solution, best possible 39854.6 (161.17 seconds) After 590000 nodes, 23311 on tree, 40005.1 best solution, best possible 39857.4 (161.45 seconds) After 591000 nodes, 23125 on tree, 40005.1 best solution, best possible 39857.4 (161.69 seconds) After 592000 nodes, 22982 on tree, 40005.1 best solution, best possible 39857.4 (161.92 seconds) After 593000 nodes, 22679 on tree, 40005.1 best solution, best possible 39857.4 (162.15 seconds) After 594000 nodes, 22662 on tree, 40005.1 best solution, best possible 39860.3 (162.42 seconds) After 595000 nodes, 22472 on tree, 40005.1 best solution, best possible 39860.3 (162.66 seconds) After 596000 nodes, 22333 on tree, 40005.1 best solution, best possible 39860.3 (162.91 seconds) After 597000 nodes, 21642 on tree, 40005.1 best solution, best possible 39860.3 (163.12 seconds) After 598000 nodes, 21641 on tree, 40005.1 best solution, best possible 39863.2 (163.37 seconds) After 599000 nodes, 21443 on tree, 40005.1 best solution, best possible 39863.2 (163.60 seconds) After 600000 nodes, 21265 on tree, 40005.1 best solution, best possible 39863.2 (163.85 seconds) After 601000 nodes, 21173 on tree, 40005.1 best solution, best possible 39863.2 (164.06 seconds) After 602000 nodes, 21150 on tree, 40005.1 best solution, best possible 39866.3 (164.32 seconds) After 603000 nodes, 20958 on tree, 40005.1 best solution, best possible 39866.3 (164.57 seconds) After 604000 nodes, 20787 on tree, 40005.1 best solution, best possible 39866.3 (164.81 seconds) After 605000 nodes, 20481 on tree, 40005.1 best solution, best possible 39866.3 (165.03 seconds) After 606000 nodes, 20453 on tree, 40005.1 best solution, best possible 39869.4 (165.31 seconds) After 607000 nodes, 20258 on tree, 40005.1 best solution, best possible 39869.4 (165.55 seconds) After 608000 nodes, 20093 on tree, 40005.1 best solution, best possible 39869.4 (165.77 seconds) After 609000 nodes, 19553 on tree, 40005.1 best solution, best possible 39869.4 (165.98 seconds) After 610000 nodes, 19502 on tree, 40005.1 best solution, best possible 39872.4 (166.25 seconds) After 611000 nodes, 19318 on tree, 40005.1 best solution, best possible 39872.4 (166.48 seconds) After 612000 nodes, 19135 on tree, 40005.1 best solution, best possible 39872.4 (166.72 seconds) After 613000 nodes, 19039 on tree, 40005.1 best solution, best possible 39872.4 (166.92 seconds) After 614000 nodes, 18991 on tree, 40005.1 best solution, best possible 39875.6 (167.19 seconds) After 615000 nodes, 18821 on tree, 40005.1 best solution, best possible 39875.6 (167.43 seconds) After 616000 nodes, 18655 on tree, 40005.1 best solution, best possible 39875.6 (167.68 seconds) After 617000 nodes, 18024 on tree, 40005.1 best solution, best possible 39875.6 (167.90 seconds) After 618000 nodes, 17968 on tree, 40005.1 best solution, best possible 39879 (168.16 seconds) After 619000 nodes, 17771 on tree, 40005.1 best solution, best possible 39879 (168.39 seconds) After 620000 nodes, 17592 on tree, 40005.1 best solution, best possible 39879 (168.63 seconds) After 621000 nodes, 17450 on tree, 40005.1 best solution, best possible 39879 (168.85 seconds) After 622000 nodes, 17395 on tree, 40005.1 best solution, best possible 39882.4 (169.11 seconds) After 623000 nodes, 17179 on tree, 40005.1 best solution, best possible 39882.4 (169.35 seconds) After 624000 nodes, 16992 on tree, 40005.1 best solution, best possible 39882.4 (169.60 seconds) After 625000 nodes, 16500 on tree, 40005.1 best solution, best possible 39882.4 (169.83 seconds) After 626000 nodes, 16440 on tree, 40005.1 best solution, best possible 39886 (170.10 seconds) After 627000 nodes, 16229 on tree, 40005.1 best solution, best possible 39886 (170.33 seconds) After 628000 nodes, 16051 on tree, 40005.1 best solution, best possible 39886 (170.59 seconds) After 629000 nodes, 15646 on tree, 40005.1 best solution, best possible 39886 (170.80 seconds) After 630000 nodes, 15560 on tree, 40005.1 best solution, best possible 39889.6 (171.06 seconds) After 631000 nodes, 15346 on tree, 40005.1 best solution, best possible 39889.6 (171.27 seconds) After 632000 nodes, 15172 on tree, 40005.1 best solution, best possible 39889.6 (171.51 seconds) After 633000 nodes, 14810 on tree, 40005.1 best solution, best possible 39889.6 (171.73 seconds) After 634000 nodes, 14719 on tree, 40005.1 best solution, best possible 39893.5 (171.98 seconds) After 635000 nodes, 14514 on tree, 40005.1 best solution, best possible 39893.5 (172.22 seconds) After 636000 nodes, 14315 on tree, 40005.1 best solution, best possible 39893.5 (172.46 seconds) After 637000 nodes, 13890 on tree, 40005.1 best solution, best possible 39893.5 (172.67 seconds) After 638000 nodes, 13774 on tree, 40005.1 best solution, best possible 39897.5 (172.94 seconds) After 639000 nodes, 13557 on tree, 40005.1 best solution, best possible 39897.5 (173.15 seconds) After 640000 nodes, 13347 on tree, 40005.1 best solution, best possible 39897.5 (173.37 seconds) After 641000 nodes, 13039 on tree, 40005.1 best solution, best possible 39897.5 (173.58 seconds) After 642000 nodes, 12945 on tree, 40005.1 best solution, best possible 39901.6 (173.84 seconds) After 643000 nodes, 12735 on tree, 40005.1 best solution, best possible 39901.6 (174.07 seconds) After 644000 nodes, 12513 on tree, 40005.1 best solution, best possible 39901.6 (174.30 seconds) After 645000 nodes, 12248 on tree, 40005.1 best solution, best possible 39901.6 (174.53 seconds) After 646000 nodes, 12133 on tree, 40005.1 best solution, best possible 39906 (174.77 seconds) After 647000 nodes, 11905 on tree, 40005.1 best solution, best possible 39906 (174.99 seconds) After 648000 nodes, 11701 on tree, 40005.1 best solution, best possible 39906 (175.21 seconds) After 649000 nodes, 11396 on tree, 40005.1 best solution, best possible 39906 (175.41 seconds) After 650000 nodes, 11284 on tree, 40005.1 best solution, best possible 39910.2 (175.67 seconds) After 651000 nodes, 11035 on tree, 40005.1 best solution, best possible 39910.2 (175.91 seconds) After 652000 nodes, 10805 on tree, 40005.1 best solution, best possible 39910.2 (176.14 seconds) After 653000 nodes, 10444 on tree, 40005.1 best solution, best possible 39910.2 (176.37 seconds) After 654000 nodes, 10305 on tree, 40005.1 best solution, best possible 39915.2 (176.62 seconds) After 655000 nodes, 10074 on tree, 40005.1 best solution, best possible 39915.2 (176.85 seconds) After 656000 nodes, 9830 on tree, 40005.1 best solution, best possible 39915.2 (177.07 seconds) After 657000 nodes, 9688 on tree, 40005.1 best solution, best possible 39920.4 (177.31 seconds) After 658000 nodes, 9435 on tree, 40005.1 best solution, best possible 39920.4 (177.54 seconds) After 659000 nodes, 9275 on tree, 40005.1 best solution, best possible 39924 (177.81 seconds) After 660000 nodes, 9076 on tree, 40005.1 best solution, best possible 39926.3 (178.06 seconds) After 661000 nodes, 8896 on tree, 40005.1 best solution, best possible 39928.6 (178.29 seconds) After 662000 nodes, 8548 on tree, 40005.1 best solution, best possible 39928.6 (178.50 seconds) After 663000 nodes, 8355 on tree, 40005.1 best solution, best possible 39931.6 (178.74 seconds) After 664000 nodes, 8151 on tree, 40005.1 best solution, best possible 39934.1 (178.99 seconds) After 665000 nodes, 7921 on tree, 40005.1 best solution, best possible 39936.3 (179.25 seconds) After 666000 nodes, 7543 on tree, 40005.1 best solution, best possible 39936.3 (179.46 seconds) After 667000 nodes, 7327 on tree, 40005.1 best solution, best possible 39939.6 (179.72 seconds) After 668000 nodes, 7094 on tree, 40005.1 best solution, best possible 39942.4 (179.93 seconds) After 669000 nodes, 6846 on tree, 40005.1 best solution, best possible 39945 (180.18 seconds) After 670000 nodes, 6460 on tree, 40005.1 best solution, best possible 39945 (180.37 seconds) After 671000 nodes, 6232 on tree, 40005.1 best solution, best possible 39948.1 (180.61 seconds) After 672000 nodes, 5976 on tree, 40005.1 best solution, best possible 39950.8 (180.84 seconds) After 673000 nodes, 5741 on tree, 40005.1 best solution, best possible 39953.7 (181.08 seconds) After 674000 nodes, 5337 on tree, 40005.1 best solution, best possible 39953.8 (181.28 seconds) After 675000 nodes, 5052 on tree, 40005.1 best solution, best possible 39957.1 (181.50 seconds) After 676000 nodes, 4765 on tree, 40005.1 best solution, best possible 39960.2 (181.73 seconds) After 677000 nodes, 4471 on tree, 40005.1 best solution, best possible 39963.2 (181.96 seconds) After 678000 nodes, 4073 on tree, 40005.1 best solution, best possible 39963.2 (182.18 seconds) After 679000 nodes, 3759 on tree, 40005.1 best solution, best possible 39967.8 (182.42 seconds) After 680000 nodes, 3438 on tree, 40005.1 best solution, best possible 39971.3 (182.65 seconds) After 681000 nodes, 3114 on tree, 40005.1 best solution, best possible 39975.1 (182.86 seconds) After 682000 nodes, 2706 on tree, 40005.1 best solution, best possible 39975.1 (183.07 seconds) After 683000 nodes, 2372 on tree, 40005.1 best solution, best possible 39980.7 (183.31 seconds) After 684000 nodes, 2000 on tree, 40005.1 best solution, best possible 39984.3 (183.54 seconds) After 685000 nodes, 1621 on tree, 40005.1 best solution, best possible 39988.8 (183.74 seconds) After 686000 nodes, 1183 on tree, 40005.1 best solution, best possible 39988.8 (183.95 seconds) After 687000 nodes, 752 on tree, 40005.1 best solution, best possible 39997 (184.17 seconds) After 688000 nodes, 285 on tree, 40005.1 best solution, best possible 40002.1 (184.37 seconds) Search completed - best objective 40005.054142, took 3653980 iterations and 688587 nodes (184.49 seconds) Strong branching done 6692 times (32787 iterations), fathomed 16 nodes and fixed 234 variables Maximum depth 72, 1.34122e+06 variables fixed on reduced cost Cuts at root node changed objective from 38893.9 to 38974.5 Probing was tried 32376 times and created 3912 cuts of which 1153 were active after adding rounds of cuts (10.325 seconds) Gomory was tried 9 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.008 seconds) Knapsack was tried 9 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds) Clique was tried 9 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds) MixedIntegerRounding2 was tried 9 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.020 seconds) FlowCover was tried 9 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.004 seconds) TwoMirCuts was tried 9 times and created 135 cuts of which 6 were active after adding rounds of cuts (0.012 seconds) Result - Finished objective 40005.054142 after 688587 nodes and 3653980 iterations - took 184.52 seconds (total time 184.52) Total time 184.52 Solved to optimality. MIP solution: 40005.05414 (688587 nodes, 184.52 seconds) Best possible: 40005.05414 Absolute gap: 0 (absolute tolerance optca: 0) Relative gap: 0 (relative tolerance optcr: 0) --- Restarting execution --- mas76.gms(124) 0 Mb --- Reading solution for model m *** Status: Normal completion --- Job mas76.gms Stop 08/21/08 22:26:13 elapsed 0:03:18.950