--- Job mas76 Start 08/21/08 08:24:50 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 --- 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.019 --- 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.025 GAMS/CoinCbc 2.0 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.00.00, build Mar 20 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: obj. 1.00000 --> up = 0 , down = 1 Pass 2: obj. 0.00000 --> up = 0 , down = 0 -- rand = 0 ( 25) - 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 pass 2 Pass 3: obj. 1.54065 --> up = 0 , down = 0 -- rand = 7 ( 22) Pass 4: obj. 2.92031 --> up = 1 , down = 0 Pass 5: obj. 1.92031 --> up = 0 , down = 0 -- rand = 9 ( 24) Pass 6: obj. 6.44116 --> up = 1 , down = 6 Pass 7: obj. 1.49972 --> up = 0 , down = 0 -- rand = 7 ( 16) Pass 8: obj. 5.21973 --> up = 0 , down = 5 Pass 9: obj. 0.99007 --> up = 1 , down = 0 Pass 10: obj. 0.73203 --> up = 0 , down = 0 -- rand = 6 ( 14) Pass 11: obj. 4.87783 --> up = 1 , down = 4 Pass 12: obj. 1.21305 --> up = 0 , down = 0 -- rand = 7 ( 15) Pass 13: obj. 5.33084 --> up = 1 , down = 5 Pass 14: obj. 0.40354 --> up = 0 , down = 0 -- rand = 4 ( 17) Pass 15: obj. 3.31365 --> up = 1 , down = 4 Pass 16: obj. 1.40091 --> up = 1 , down = 0 perturbation applied Pass 17: obj. 8.45619 --> up = 1 , down = 7 Pass 18: obj. 1.79880 --> up = 0 , down = 0 -- rand = 8 ( 24) Pass 19: obj. 4.22219 --> up = 3 , down = 1 Pass 20: obj. 1.91247 --> up = 0 , down = 1 Pass 21: obj. 0.95295 --> up = 0 , down = 0 -- rand = 6 ( 14) Pass 22: obj. 4.30224 --> No solution found this major pass 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.09 seconds) After 0.09 seconds - Feasibility pump exiting - took 0.09 seconds Integer solution of 40560.1 found by feasibility pump after 0 iterations and 0 nodes (0.09 seconds) Full problem 12 rows 148 columns, reduced to 11 rows 16 columns 6 added rows had average density of 148 At root node, 6 cuts changed objective from 38893.9 to 38982 in 72 passes Cut generator 0 (Probing) - 0 row cuts (0 active), 0 column cuts in 0.832 seconds - new frequency is 10 Cut generator 1 (Gomory) - 952 row cuts (6 active), 0 column cuts in 0.032 seconds - new frequency is -100 Cut generator 2 (Knapsack) - 0 row cuts (0 active), 0 column cuts in 0.004 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.000 seconds - new frequency is -100 Cut generator 5 (FlowCover) - 0 row cuts (0 active), 0 column cuts in -0.000 seconds - new frequency is -100 Cut generator 6 (TwoMirCuts) - 135 row cuts (0 active), 0 column cuts in 0.052 seconds - new frequency is -100 After 0 nodes, 1 on tree, 40560.1 best solution, best possible 38982 (1.10 seconds) Strong branching is fixing too many variables, too expensively! After 1000 nodes, 74 on tree, 40560.1 best solution, best possible 38982 (2.32 seconds) After 2000 nodes, 77 on tree, 40560.1 best solution, best possible 38982 (2.74 seconds) After 3000 nodes, 67 on tree, 40560.1 best solution, best possible 38982 (3.25 seconds) After 4000 nodes, 83 on tree, 40560.1 best solution, best possible 38982 (3.71 seconds) After 5000 nodes, 95 on tree, 40560.1 best solution, best possible 38982 (4.18 seconds) After 6000 nodes, 82 on tree, 40560.1 best solution, best possible 38982 (4.54 seconds) After 7000 nodes, 86 on tree, 40560.1 best solution, best possible 38982 (4.94 seconds) After 8000 nodes, 85 on tree, 40560.1 best solution, best possible 38982 (5.30 seconds) After 9000 nodes, 91 on tree, 40560.1 best solution, best possible 38982 (5.66 seconds) After 10000 nodes, 85 on tree, 40560.1 best solution, best possible 38982 (6.02 seconds) After 11000 nodes, 80 on tree, 40560.1 best solution, best possible 38982 (6.36 seconds) After 12000 nodes, 565 on tree, 40560.1 best solution, best possible 39156.8 (7.10 seconds) After 13000 nodes, 1052 on tree, 40560.1 best solution, best possible 39196.7 (7.69 seconds) After 14000 nodes, 1535 on tree, 40560.1 best solution, best possible 39220.7 (8.27 seconds) After 15000 nodes, 2010 on tree, 40560.1 best solution, best possible 39238.4 (8.87 seconds) After 16000 nodes, 2490 on tree, 40560.1 best solution, best possible 39254.2 (9.44 seconds) After 17000 nodes, 2974 on tree, 40560.1 best solution, best possible 39267 (10.01 seconds) After 18000 nodes, 3454 on tree, 40560.1 best solution, best possible 39278.4 (10.58 seconds) After 19000 nodes, 3938 on tree, 40560.1 best solution, best possible 39289.3 (11.16 seconds) After 20000 nodes, 4415 on tree, 40560.1 best solution, best possible 39299.3 (11.75 seconds) After 21000 nodes, 4884 on tree, 40560.1 best solution, best possible 39307.2 (12.35 seconds) After 22000 nodes, 5367 on tree, 40560.1 best solution, best possible 39315.6 (12.89 seconds) After 23000 nodes, 5838 on tree, 40560.1 best solution, best possible 39322.9 (13.46 seconds) After 24000 nodes, 6307 on tree, 40560.1 best solution, best possible 39330.1 (14.01 seconds) After 25000 nodes, 6766 on tree, 40560.1 best solution, best possible 39336 (14.56 seconds) After 26000 nodes, 7234 on tree, 40560.1 best solution, best possible 39342.3 (15.09 seconds) After 27000 nodes, 7690 on tree, 40560.1 best solution, best possible 39348 (15.63 seconds) After 28000 nodes, 8160 on tree, 40560.1 best solution, best possible 39354.1 (16.18 seconds) After 29000 nodes, 8622 on tree, 40560.1 best solution, best possible 39359.4 (16.72 seconds) After 30000 nodes, 9076 on tree, 40560.1 best solution, best possible 39364.5 (17.26 seconds) After 31000 nodes, 9540 on tree, 40560.1 best solution, best possible 39369.5 (17.79 seconds) After 32000 nodes, 9994 on tree, 40560.1 best solution, best possible 39374.4 (18.31 seconds) After 33000 nodes, 10455 on tree, 40560.1 best solution, best possible 39379.3 (18.84 seconds) After 34000 nodes, 10906 on tree, 40560.1 best solution, best possible 39384.1 (19.37 seconds) After 35000 nodes, 11370 on tree, 40560.1 best solution, best possible 39388.7 (19.91 seconds) After 36000 nodes, 11816 on tree, 40560.1 best solution, best possible 39392.9 (20.43 seconds) Integer solution of 40515.6 found after 172155 iterations and 36456 nodes (20.54 seconds) Full problem 12 rows 148 columns, reduced to 12 rows 20 columns Integer solution of 40005.1 found by combine solutions after 172159 iterations and 36457 nodes (20.59 seconds) After 37000 nodes, 10714 on tree, 40005.1 best solution, best possible 39392.9 (20.83 seconds) After 38000 nodes, 11117 on tree, 40005.1 best solution, best possible 39397.3 (21.36 seconds) After 39000 nodes, 11338 on tree, 40005.1 best solution, best possible 39397.3 (21.73 seconds) After 40000 nodes, 11633 on tree, 40005.1 best solution, best possible 39397.3 (22.19 seconds) After 41000 nodes, 11465 on tree, 40005.1 best solution, best possible 39397.3 (22.41 seconds) After 42000 nodes, 11862 on tree, 40005.1 best solution, best possible 39403.2 (22.92 seconds) After 43000 nodes, 12138 on tree, 40005.1 best solution, best possible 39403.2 (23.34 seconds) After 44000 nodes, 12394 on tree, 40005.1 best solution, best possible 39403.2 (23.75 seconds) After 45000 nodes, 12246 on tree, 40005.1 best solution, best possible 39403.2 (23.98 seconds) After 46000 nodes, 12626 on tree, 40005.1 best solution, best possible 39409.1 (24.49 seconds) After 47000 nodes, 12900 on tree, 40005.1 best solution, best possible 39409.1 (24.90 seconds) After 48000 nodes, 13142 on tree, 40005.1 best solution, best possible 39409.1 (25.31 seconds) After 49000 nodes, 12976 on tree, 40005.1 best solution, best possible 39409.1 (25.53 seconds) After 50000 nodes, 13359 on tree, 40005.1 best solution, best possible 39414.4 (26.05 seconds) After 51000 nodes, 13624 on tree, 40005.1 best solution, best possible 39414.4 (26.45 seconds) After 52000 nodes, 13900 on tree, 40005.1 best solution, best possible 39414.4 (26.86 seconds) After 53000 nodes, 13746 on tree, 40005.1 best solution, best possible 39414.4 (27.10 seconds) After 54000 nodes, 14146 on tree, 40005.1 best solution, best possible 39421.9 (27.61 seconds) After 55000 nodes, 14430 on tree, 40005.1 best solution, best possible 39421.9 (28.03 seconds) After 56000 nodes, 14705 on tree, 40005.1 best solution, best possible 39421.9 (28.45 seconds) After 57000 nodes, 14558 on tree, 40005.1 best solution, best possible 39421.9 (28.70 seconds) After 58000 nodes, 14944 on tree, 40005.1 best solution, best possible 39429.9 (29.21 seconds) After 59000 nodes, 15228 on tree, 40005.1 best solution, best possible 39429.9 (29.62 seconds) After 60000 nodes, 15514 on tree, 40005.1 best solution, best possible 39429.9 (30.05 seconds) After 61000 nodes, 15368 on tree, 40005.1 best solution, best possible 39429.9 (30.30 seconds) After 62000 nodes, 15761 on tree, 40005.1 best solution, best possible 39438.4 (30.79 seconds) After 63000 nodes, 16051 on tree, 40005.1 best solution, best possible 39438.5 (31.22 seconds) After 64000 nodes, 16327 on tree, 40005.1 best solution, best possible 39438.5 (31.64 seconds) After 65000 nodes, 16219 on tree, 40005.1 best solution, best possible 39438.5 (31.87 seconds) After 66000 nodes, 16600 on tree, 40005.1 best solution, best possible 39446 (32.39 seconds) After 67000 nodes, 16909 on tree, 40005.1 best solution, best possible 39446 (32.84 seconds) After 68000 nodes, 17201 on tree, 40005.1 best solution, best possible 39446 (33.25 seconds) After 69000 nodes, 16991 on tree, 40005.1 best solution, best possible 39446 (33.50 seconds) After 70000 nodes, 17382 on tree, 40005.1 best solution, best possible 39453.2 (34.00 seconds) After 71000 nodes, 17663 on tree, 40005.1 best solution, best possible 39453.2 (34.43 seconds) After 72000 nodes, 17938 on tree, 40005.1 best solution, best possible 39453.2 (34.86 seconds) After 73000 nodes, 17869 on tree, 40005.1 best solution, best possible 39453.2 (35.11 seconds) After 74000 nodes, 18247 on tree, 40005.1 best solution, best possible 39460.9 (35.63 seconds) After 75000 nodes, 18512 on tree, 40005.1 best solution, best possible 39460.9 (36.04 seconds) After 76000 nodes, 18789 on tree, 40005.1 best solution, best possible 39460.9 (36.47 seconds) After 77000 nodes, 18616 on tree, 40005.1 best solution, best possible 39460.9 (36.71 seconds) After 78000 nodes, 19003 on tree, 40005.1 best solution, best possible 39468.3 (37.23 seconds) After 79000 nodes, 19269 on tree, 40005.1 best solution, best possible 39468.3 (37.63 seconds) After 80000 nodes, 19558 on tree, 40005.1 best solution, best possible 39468.3 (38.04 seconds) After 81000 nodes, 19473 on tree, 40005.1 best solution, best possible 39468.3 (38.28 seconds) After 82000 nodes, 19861 on tree, 40005.1 best solution, best possible 39475.3 (38.77 seconds) After 83000 nodes, 20113 on tree, 40005.1 best solution, best possible 39475.3 (39.17 seconds) After 84000 nodes, 20373 on tree, 40005.1 best solution, best possible 39475.3 (39.58 seconds) After 85000 nodes, 20212 on tree, 40005.1 best solution, best possible 39475.3 (39.83 seconds) After 86000 nodes, 20576 on tree, 40005.1 best solution, best possible 39481.7 (40.33 seconds) After 87000 nodes, 20832 on tree, 40005.1 best solution, best possible 39481.7 (40.76 seconds) After 88000 nodes, 21110 on tree, 40005.1 best solution, best possible 39481.7 (41.17 seconds) After 89000 nodes, 20948 on tree, 40005.1 best solution, best possible 39481.7 (41.43 seconds) After 90000 nodes, 21310 on tree, 40005.1 best solution, best possible 39488 (41.92 seconds) After 91000 nodes, 21561 on tree, 40005.1 best solution, best possible 39488 (42.34 seconds) After 92000 nodes, 21843 on tree, 40005.1 best solution, best possible 39488 (42.74 seconds) After 93000 nodes, 21735 on tree, 40005.1 best solution, best possible 39488 (42.97 seconds) After 94000 nodes, 22105 on tree, 40005.1 best solution, best possible 39494 (43.47 seconds) After 95000 nodes, 22364 on tree, 40005.1 best solution, best possible 39494 (43.88 seconds) After 96000 nodes, 22603 on tree, 40005.1 best solution, best possible 39494 (44.29 seconds) After 97000 nodes, 22492 on tree, 40005.1 best solution, best possible 39494 (44.55 seconds) After 98000 nodes, 22846 on tree, 40005.1 best solution, best possible 39499.5 (45.03 seconds) After 99000 nodes, 23113 on tree, 40005.1 best solution, best possible 39499.5 (45.43 seconds) After 100000 nodes, 23334 on tree, 40005.1 best solution, best possible 39499.5 (45.84 seconds) After 101000 nodes, 23125 on tree, 40005.1 best solution, best possible 39499.5 (46.08 seconds) After 102000 nodes, 23476 on tree, 40005.1 best solution, best possible 39505 (46.56 seconds) After 103000 nodes, 23720 on tree, 40005.1 best solution, best possible 39505 (46.95 seconds) After 104000 nodes, 23964 on tree, 40005.1 best solution, best possible 39505 (47.36 seconds) After 105000 nodes, 23779 on tree, 40005.1 best solution, best possible 39505 (47.61 seconds) After 106000 nodes, 24130 on tree, 40005.1 best solution, best possible 39510.4 (48.11 seconds) After 107000 nodes, 24359 on tree, 40005.1 best solution, best possible 39510.4 (48.51 seconds) After 108000 nodes, 24606 on tree, 40005.1 best solution, best possible 39510.4 (48.94 seconds) After 109000 nodes, 24489 on tree, 40005.1 best solution, best possible 39510.4 (49.19 seconds) After 110000 nodes, 24818 on tree, 40005.1 best solution, best possible 39516.1 (49.67 seconds) After 111000 nodes, 25066 on tree, 40005.1 best solution, best possible 39516.1 (50.07 seconds) After 112000 nodes, 25313 on tree, 40005.1 best solution, best possible 39516.1 (50.48 seconds) After 113000 nodes, 25195 on tree, 40005.1 best solution, best possible 39516.1 (50.71 seconds) After 114000 nodes, 25542 on tree, 40005.1 best solution, best possible 39521 (51.22 seconds) After 115000 nodes, 25776 on tree, 40005.1 best solution, best possible 39521 (51.63 seconds) After 116000 nodes, 26014 on tree, 40005.1 best solution, best possible 39521 (52.06 seconds) After 117000 nodes, 25899 on tree, 40005.1 best solution, best possible 39521 (52.31 seconds) After 118000 nodes, 26232 on tree, 40005.1 best solution, best possible 39526.1 (52.78 seconds) After 119000 nodes, 26444 on tree, 40005.1 best solution, best possible 39526.1 (53.17 seconds) After 120000 nodes, 26675 on tree, 40005.1 best solution, best possible 39526.1 (53.56 seconds) After 121000 nodes, 26550 on tree, 40005.1 best solution, best possible 39526.1 (53.79 seconds) After 122000 nodes, 26868 on tree, 40005.1 best solution, best possible 39531.2 (54.25 seconds) After 123000 nodes, 27105 on tree, 40005.1 best solution, best possible 39531.2 (54.66 seconds) After 124000 nodes, 27336 on tree, 40005.1 best solution, best possible 39531.2 (55.07 seconds) After 125000 nodes, 27081 on tree, 40005.1 best solution, best possible 39531.2 (55.32 seconds) After 126000 nodes, 27398 on tree, 40005.1 best solution, best possible 39535.9 (55.80 seconds) After 127000 nodes, 27640 on tree, 40005.1 best solution, best possible 39535.9 (56.23 seconds) After 128000 nodes, 27870 on tree, 40005.1 best solution, best possible 39535.9 (56.62 seconds) After 129000 nodes, 27636 on tree, 40005.1 best solution, best possible 39535.9 (56.86 seconds) After 130000 nodes, 27955 on tree, 40005.1 best solution, best possible 39540.4 (57.32 seconds) After 131000 nodes, 28181 on tree, 40005.1 best solution, best possible 39540.5 (57.72 seconds) After 132000 nodes, 28427 on tree, 40005.1 best solution, best possible 39540.5 (58.12 seconds) After 133000 nodes, 28269 on tree, 40005.1 best solution, best possible 39540.5 (58.35 seconds) After 134000 nodes, 28585 on tree, 40005.1 best solution, best possible 39544.7 (58.82 seconds) After 135000 nodes, 28804 on tree, 40005.1 best solution, best possible 39544.7 (59.18 seconds) After 136000 nodes, 29047 on tree, 40005.1 best solution, best possible 39544.7 (59.59 seconds) After 137000 nodes, 28913 on tree, 40005.1 best solution, best possible 39544.7 (59.83 seconds) After 138000 nodes, 29239 on tree, 40005.1 best solution, best possible 39549.2 (60.30 seconds) After 139000 nodes, 29464 on tree, 40005.1 best solution, best possible 39549.2 (60.71 seconds) After 140000 nodes, 29672 on tree, 40005.1 best solution, best possible 39549.2 (61.10 seconds) After 141000 nodes, 29534 on tree, 40005.1 best solution, best possible 39549.2 (61.34 seconds) After 142000 nodes, 29846 on tree, 40005.1 best solution, best possible 39553.3 (61.82 seconds) After 143000 nodes, 30074 on tree, 40005.1 best solution, best possible 39553.3 (62.21 seconds) After 144000 nodes, 30296 on tree, 40005.1 best solution, best possible 39553.3 (62.62 seconds) After 145000 nodes, 30143 on tree, 40005.1 best solution, best possible 39553.3 (62.88 seconds) After 146000 nodes, 30458 on tree, 40005.1 best solution, best possible 39557.2 (63.38 seconds) After 147000 nodes, 30647 on tree, 40005.1 best solution, best possible 39557.3 (63.79 seconds) After 148000 nodes, 30870 on tree, 40005.1 best solution, best possible 39557.3 (64.19 seconds) After 149000 nodes, 30705 on tree, 40005.1 best solution, best possible 39557.3 (64.43 seconds) After 150000 nodes, 31012 on tree, 40005.1 best solution, best possible 39561.2 (64.88 seconds) After 151000 nodes, 31221 on tree, 40005.1 best solution, best possible 39561.2 (65.26 seconds) After 152000 nodes, 31429 on tree, 40005.1 best solution, best possible 39561.2 (65.68 seconds) After 153000 nodes, 31288 on tree, 40005.1 best solution, best possible 39561.2 (65.92 seconds) After 154000 nodes, 31614 on tree, 40005.1 best solution, best possible 39565.3 (66.40 seconds) After 155000 nodes, 31814 on tree, 40005.1 best solution, best possible 39565.3 (66.80 seconds) After 156000 nodes, 32010 on tree, 40005.1 best solution, best possible 39565.3 (67.22 seconds) After 157000 nodes, 31872 on tree, 40005.1 best solution, best possible 39565.3 (67.48 seconds) After 158000 nodes, 32172 on tree, 40005.1 best solution, best possible 39569.1 (67.94 seconds) After 159000 nodes, 32379 on tree, 40005.1 best solution, best possible 39569.1 (68.32 seconds) After 160000 nodes, 32578 on tree, 40005.1 best solution, best possible 39569.1 (68.74 seconds) After 161000 nodes, 32424 on tree, 40005.1 best solution, best possible 39569.1 (69.00 seconds) After 162000 nodes, 32721 on tree, 40005.1 best solution, best possible 39572.7 (69.48 seconds) After 163000 nodes, 32903 on tree, 40005.1 best solution, best possible 39572.7 (69.85 seconds) After 164000 nodes, 33098 on tree, 40005.1 best solution, best possible 39572.7 (70.23 seconds) After 165000 nodes, 32876 on tree, 40005.1 best solution, best possible 39572.7 (70.46 seconds) After 166000 nodes, 33185 on tree, 40005.1 best solution, best possible 39576.6 (70.91 seconds) After 167000 nodes, 33361 on tree, 40005.1 best solution, best possible 39576.6 (71.26 seconds) After 168000 nodes, 33583 on tree, 40005.1 best solution, best possible 39576.6 (71.70 seconds) After 169000 nodes, 33374 on tree, 40005.1 best solution, best possible 39576.6 (71.97 seconds) After 170000 nodes, 33683 on tree, 40005.1 best solution, best possible 39580.3 (72.46 seconds) After 171000 nodes, 33869 on tree, 40005.1 best solution, best possible 39580.3 (72.84 seconds) After 172000 nodes, 34103 on tree, 40005.1 best solution, best possible 39580.3 (73.25 seconds) After 173000 nodes, 33865 on tree, 40005.1 best solution, best possible 39580.3 (73.48 seconds) After 174000 nodes, 34162 on tree, 40005.1 best solution, best possible 39583.9 (73.93 seconds) After 175000 nodes, 34345 on tree, 40005.1 best solution, best possible 39583.9 (74.32 seconds) After 176000 nodes, 34538 on tree, 40005.1 best solution, best possible 39583.9 (74.70 seconds) After 177000 nodes, 34309 on tree, 40005.1 best solution, best possible 39583.9 (74.94 seconds) After 178000 nodes, 34609 on tree, 40005.1 best solution, best possible 39587.4 (75.38 seconds) After 179000 nodes, 34785 on tree, 40005.1 best solution, best possible 39587.4 (75.78 seconds) After 180000 nodes, 34993 on tree, 40005.1 best solution, best possible 39587.4 (76.18 seconds) After 181000 nodes, 34740 on tree, 40005.1 best solution, best possible 39587.4 (76.42 seconds) After 182000 nodes, 35016 on tree, 40005.1 best solution, best possible 39591 (76.89 seconds) After 183000 nodes, 35175 on tree, 40005.1 best solution, best possible 39591 (77.27 seconds) After 184000 nodes, 35352 on tree, 40005.1 best solution, best possible 39591 (77.66 seconds) After 185000 nodes, 35166 on tree, 40005.1 best solution, best possible 39591 (77.91 seconds) After 186000 nodes, 35483 on tree, 40005.1 best solution, best possible 39594.3 (78.36 seconds) After 187000 nodes, 35660 on tree, 40005.1 best solution, best possible 39594.3 (78.72 seconds) After 188000 nodes, 35832 on tree, 40005.1 best solution, best possible 39594.3 (79.09 seconds) After 189000 nodes, 35650 on tree, 40005.1 best solution, best possible 39594.3 (79.32 seconds) After 190000 nodes, 35962 on tree, 40005.1 best solution, best possible 39597.8 (79.79 seconds) After 191000 nodes, 36109 on tree, 40005.1 best solution, best possible 39597.8 (80.16 seconds) After 192000 nodes, 36288 on tree, 40005.1 best solution, best possible 39597.8 (80.56 seconds) After 193000 nodes, 36148 on tree, 40005.1 best solution, best possible 39597.8 (80.82 seconds) After 194000 nodes, 36441 on tree, 40005.1 best solution, best possible 39601.3 (81.28 seconds) After 195000 nodes, 36600 on tree, 40005.1 best solution, best possible 39601.3 (81.67 seconds) After 196000 nodes, 36779 on tree, 40005.1 best solution, best possible 39601.3 (82.07 seconds) After 197000 nodes, 36598 on tree, 40005.1 best solution, best possible 39601.3 (82.32 seconds) After 198000 nodes, 36858 on tree, 40005.1 best solution, best possible 39604.5 (82.75 seconds) After 199000 nodes, 37032 on tree, 40005.1 best solution, best possible 39604.5 (83.10 seconds) After 200000 nodes, 37233 on tree, 40005.1 best solution, best possible 39604.5 (83.49 seconds) After 201000 nodes, 37055 on tree, 40005.1 best solution, best possible 39604.5 (83.73 seconds) After 202000 nodes, 37359 on tree, 40005.1 best solution, best possible 39608.1 (84.19 seconds) After 203000 nodes, 37517 on tree, 40005.1 best solution, best possible 39608.1 (84.55 seconds) After 204000 nodes, 37712 on tree, 40005.1 best solution, best possible 39608.1 (84.96 seconds) After 205000 nodes, 37551 on tree, 40005.1 best solution, best possible 39608.1 (85.23 seconds) After 206000 nodes, 37822 on tree, 40005.1 best solution, best possible 39611.4 (85.67 seconds) After 207000 nodes, 37973 on tree, 40005.1 best solution, best possible 39611.4 (86.04 seconds) After 208000 nodes, 38169 on tree, 40005.1 best solution, best possible 39611.4 (86.44 seconds) After 209000 nodes, 37995 on tree, 40005.1 best solution, best possible 39611.4 (86.69 seconds) After 210000 nodes, 38287 on tree, 40005.1 best solution, best possible 39614.8 (87.11 seconds) After 211000 nodes, 38432 on tree, 40005.1 best solution, best possible 39614.8 (87.49 seconds) After 212000 nodes, 38604 on tree, 40005.1 best solution, best possible 39614.8 (87.87 seconds) After 213000 nodes, 38449 on tree, 40005.1 best solution, best possible 39614.8 (88.11 seconds) After 214000 nodes, 38733 on tree, 40005.1 best solution, best possible 39618.1 (88.54 seconds) After 215000 nodes, 38880 on tree, 40005.1 best solution, best possible 39618.1 (88.91 seconds) After 216000 nodes, 39016 on tree, 40005.1 best solution, best possible 39618.1 (89.29 seconds) After 217000 nodes, 38812 on tree, 40005.1 best solution, best possible 39618.1 (89.53 seconds) After 218000 nodes, 39103 on tree, 40005.1 best solution, best possible 39621.1 (89.97 seconds) After 219000 nodes, 39242 on tree, 40005.1 best solution, best possible 39621.1 (90.35 seconds) After 220000 nodes, 39397 on tree, 40005.1 best solution, best possible 39621.1 (90.77 seconds) After 221000 nodes, 39166 on tree, 40005.1 best solution, best possible 39621.1 (91.04 seconds) After 222000 nodes, 39437 on tree, 40005.1 best solution, best possible 39624.2 (91.50 seconds) After 223000 nodes, 39567 on tree, 40005.1 best solution, best possible 39624.2 (91.88 seconds) After 224000 nodes, 39723 on tree, 40005.1 best solution, best possible 39624.2 (92.25 seconds) After 225000 nodes, 39469 on tree, 40005.1 best solution, best possible 39624.2 (92.49 seconds) After 226000 nodes, 39720 on tree, 40005.1 best solution, best possible 39627.4 (92.90 seconds) After 227000 nodes, 39848 on tree, 40005.1 best solution, best possible 39627.4 (93.27 seconds) After 228000 nodes, 40000 on tree, 40005.1 best solution, best possible 39627.4 (93.66 seconds) After 229000 nodes, 39684 on tree, 40005.1 best solution, best possible 39627.4 (93.89 seconds) After 230000 nodes, 39962 on tree, 40005.1 best solution, best possible 39630.4 (94.35 seconds) After 231000 nodes, 40078 on tree, 40005.1 best solution, best possible 39630.4 (94.71 seconds) After 232000 nodes, 40239 on tree, 40005.1 best solution, best possible 39630.4 (95.09 seconds) After 233000 nodes, 39960 on tree, 40005.1 best solution, best possible 39630.4 (95.34 seconds) After 234000 nodes, 40217 on tree, 40005.1 best solution, best possible 39633.1 (95.79 seconds) After 235000 nodes, 40335 on tree, 40005.1 best solution, best possible 39633.1 (96.13 seconds) After 236000 nodes, 40487 on tree, 40005.1 best solution, best possible 39633.1 (96.51 seconds) After 237000 nodes, 40179 on tree, 40005.1 best solution, best possible 39633.1 (96.74 seconds) After 238000 nodes, 40428 on tree, 40005.1 best solution, best possible 39635.8 (97.17 seconds) After 239000 nodes, 40543 on tree, 40005.1 best solution, best possible 39635.8 (97.52 seconds) After 240000 nodes, 40683 on tree, 40005.1 best solution, best possible 39635.8 (97.89 seconds) After 241000 nodes, 40434 on tree, 40005.1 best solution, best possible 39635.8 (98.16 seconds) After 242000 nodes, 40692 on tree, 40005.1 best solution, best possible 39638.6 (98.62 seconds) After 243000 nodes, 40823 on tree, 40005.1 best solution, best possible 39638.6 (98.97 seconds) After 244000 nodes, 40972 on tree, 40005.1 best solution, best possible 39638.6 (99.35 seconds) After 245000 nodes, 40775 on tree, 40005.1 best solution, best possible 39638.6 (99.60 seconds) After 246000 nodes, 41022 on tree, 40005.1 best solution, best possible 39641.4 (100.04 seconds) After 247000 nodes, 41164 on tree, 40005.1 best solution, best possible 39641.4 (100.41 seconds) After 248000 nodes, 41327 on tree, 40005.1 best solution, best possible 39641.4 (100.81 seconds) After 249000 nodes, 41171 on tree, 40005.1 best solution, best possible 39641.4 (101.05 seconds) After 250000 nodes, 41424 on tree, 40005.1 best solution, best possible 39644.3 (101.49 seconds) After 251000 nodes, 41525 on tree, 40005.1 best solution, best possible 39644.3 (101.85 seconds) After 252000 nodes, 41674 on tree, 40005.1 best solution, best possible 39644.3 (102.22 seconds) After 253000 nodes, 41503 on tree, 40005.1 best solution, best possible 39644.3 (102.48 seconds) After 254000 nodes, 41760 on tree, 40005.1 best solution, best possible 39647 (102.94 seconds) After 255000 nodes, 41869 on tree, 40005.1 best solution, best possible 39647 (103.33 seconds) After 256000 nodes, 42012 on tree, 40005.1 best solution, best possible 39647 (103.71 seconds) After 257000 nodes, 41850 on tree, 40005.1 best solution, best possible 39647 (103.93 seconds) After 258000 nodes, 42114 on tree, 40005.1 best solution, best possible 39649.8 (104.41 seconds) After 259000 nodes, 42244 on tree, 40005.1 best solution, best possible 39649.8 (104.77 seconds) After 260000 nodes, 42394 on tree, 40005.1 best solution, best possible 39649.8 (105.17 seconds) After 261000 nodes, 42211 on tree, 40005.1 best solution, best possible 39649.8 (105.39 seconds) After 262000 nodes, 42467 on tree, 40005.1 best solution, best possible 39652.7 (105.85 seconds) After 263000 nodes, 42559 on tree, 40005.1 best solution, best possible 39652.7 (106.20 seconds) After 264000 nodes, 42666 on tree, 40005.1 best solution, best possible 39652.7 (106.58 seconds) After 265000 nodes, 42466 on tree, 40005.1 best solution, best possible 39652.7 (106.82 seconds) After 266000 nodes, 42720 on tree, 40005.1 best solution, best possible 39655.4 (107.29 seconds) After 267000 nodes, 42826 on tree, 40005.1 best solution, best possible 39655.4 (107.65 seconds) After 268000 nodes, 42974 on tree, 40005.1 best solution, best possible 39655.4 (108.05 seconds) After 269000 nodes, 42619 on tree, 40005.1 best solution, best possible 39655.4 (108.28 seconds) After 270000 nodes, 42880 on tree, 40005.1 best solution, best possible 39657.8 (108.75 seconds) After 271000 nodes, 42984 on tree, 40005.1 best solution, best possible 39657.9 (109.10 seconds) After 272000 nodes, 43106 on tree, 40005.1 best solution, best possible 39657.9 (109.49 seconds) After 273000 nodes, 42782 on tree, 40005.1 best solution, best possible 39657.9 (109.72 seconds) After 274000 nodes, 43027 on tree, 40005.1 best solution, best possible 39660.4 (110.15 seconds) After 275000 nodes, 43134 on tree, 40005.1 best solution, best possible 39660.4 (110.50 seconds) After 276000 nodes, 43268 on tree, 40005.1 best solution, best possible 39660.4 (110.91 seconds) After 277000 nodes, 42917 on tree, 40005.1 best solution, best possible 39660.4 (111.15 seconds) After 278000 nodes, 43138 on tree, 40005.1 best solution, best possible 39663.1 (111.59 seconds) After 279000 nodes, 43237 on tree, 40005.1 best solution, best possible 39663.1 (111.93 seconds) After 280000 nodes, 43352 on tree, 40005.1 best solution, best possible 39663.1 (112.34 seconds) After 281000 nodes, 43021 on tree, 40005.1 best solution, best possible 39663.1 (112.57 seconds) After 282000 nodes, 43282 on tree, 40005.1 best solution, best possible 39665.9 (113.04 seconds) After 283000 nodes, 43369 on tree, 40005.1 best solution, best possible 39666 (113.39 seconds) After 284000 nodes, 43483 on tree, 40005.1 best solution, best possible 39666 (113.78 seconds) After 285000 nodes, 43315 on tree, 40005.1 best solution, best possible 39666 (114.02 seconds) After 286000 nodes, 43547 on tree, 40005.1 best solution, best possible 39668.7 (114.46 seconds) After 287000 nodes, 43620 on tree, 40005.1 best solution, best possible 39668.7 (114.80 seconds) After 288000 nodes, 43743 on tree, 40005.1 best solution, best possible 39668.7 (115.19 seconds) After 289000 nodes, 43556 on tree, 40005.1 best solution, best possible 39668.7 (115.47 seconds) After 290000 nodes, 43789 on tree, 40005.1 best solution, best possible 39671.2 (115.96 seconds) After 291000 nodes, 43871 on tree, 40005.1 best solution, best possible 39671.2 (116.30 seconds) After 292000 nodes, 43969 on tree, 40005.1 best solution, best possible 39671.2 (116.67 seconds) After 293000 nodes, 43800 on tree, 40005.1 best solution, best possible 39671.2 (116.91 seconds) After 294000 nodes, 44019 on tree, 40005.1 best solution, best possible 39673.7 (117.31 seconds) After 295000 nodes, 44107 on tree, 40005.1 best solution, best possible 39673.7 (117.66 seconds) After 296000 nodes, 44218 on tree, 40005.1 best solution, best possible 39673.7 (118.03 seconds) After 297000 nodes, 44045 on tree, 40005.1 best solution, best possible 39673.7 (118.27 seconds) After 298000 nodes, 44279 on tree, 40005.1 best solution, best possible 39676.3 (118.70 seconds) After 299000 nodes, 44374 on tree, 40005.1 best solution, best possible 39676.3 (119.05 seconds) After 300000 nodes, 44468 on tree, 40005.1 best solution, best possible 39676.3 (119.42 seconds) After 301000 nodes, 44263 on tree, 40005.1 best solution, best possible 39676.3 (119.64 seconds) After 302000 nodes, 44487 on tree, 40005.1 best solution, best possible 39678.8 (120.06 seconds) After 303000 nodes, 44547 on tree, 40005.1 best solution, best possible 39678.8 (120.39 seconds) After 304000 nodes, 44634 on tree, 40005.1 best solution, best possible 39678.8 (120.76 seconds) After 305000 nodes, 44245 on tree, 40005.1 best solution, best possible 39678.8 (121.02 seconds) After 306000 nodes, 44463 on tree, 40005.1 best solution, best possible 39681.6 (121.48 seconds) After 307000 nodes, 44528 on tree, 40005.1 best solution, best possible 39681.6 (121.84 seconds) After 308000 nodes, 44626 on tree, 40005.1 best solution, best possible 39681.6 (122.19 seconds) After 309000 nodes, 44215 on tree, 40005.1 best solution, best possible 39681.6 (122.45 seconds) After 310000 nodes, 44410 on tree, 40005.1 best solution, best possible 39684.1 (122.89 seconds) After 311000 nodes, 44488 on tree, 40005.1 best solution, best possible 39684.1 (123.24 seconds) After 312000 nodes, 44613 on tree, 40005.1 best solution, best possible 39684.1 (123.61 seconds) After 313000 nodes, 44313 on tree, 40005.1 best solution, best possible 39684.1 (123.84 seconds) After 314000 nodes, 44539 on tree, 40005.1 best solution, best possible 39686.6 (124.28 seconds) After 315000 nodes, 44612 on tree, 40005.1 best solution, best possible 39686.6 (124.63 seconds) After 316000 nodes, 44725 on tree, 40005.1 best solution, best possible 39686.6 (125.04 seconds) After 317000 nodes, 44490 on tree, 40005.1 best solution, best possible 39686.6 (125.32 seconds) After 318000 nodes, 44703 on tree, 40005.1 best solution, best possible 39689 (125.73 seconds) After 319000 nodes, 44754 on tree, 40005.1 best solution, best possible 39689 (126.10 seconds) After 320000 nodes, 44826 on tree, 40005.1 best solution, best possible 39689 (126.47 seconds) After 321000 nodes, 44641 on tree, 40005.1 best solution, best possible 39689 (126.71 seconds) After 322000 nodes, 44865 on tree, 40005.1 best solution, best possible 39691.5 (127.13 seconds) After 323000 nodes, 44936 on tree, 40005.1 best solution, best possible 39691.5 (127.46 seconds) After 324000 nodes, 45014 on tree, 40005.1 best solution, best possible 39691.5 (127.83 seconds) After 325000 nodes, 44829 on tree, 40005.1 best solution, best possible 39691.5 (128.06 seconds) After 326000 nodes, 45035 on tree, 40005.1 best solution, best possible 39694 (128.50 seconds) After 327000 nodes, 45094 on tree, 40005.1 best solution, best possible 39694 (128.83 seconds) After 328000 nodes, 45172 on tree, 40005.1 best solution, best possible 39694 (129.16 seconds) After 329000 nodes, 44980 on tree, 40005.1 best solution, best possible 39694 (129.42 seconds) After 330000 nodes, 45191 on tree, 40005.1 best solution, best possible 39696.4 (129.85 seconds) After 331000 nodes, 45238 on tree, 40005.1 best solution, best possible 39696.4 (130.22 seconds) After 332000 nodes, 45309 on tree, 40005.1 best solution, best possible 39696.4 (130.58 seconds) After 333000 nodes, 44866 on tree, 40005.1 best solution, best possible 39696.4 (130.83 seconds) After 334000 nodes, 45072 on tree, 40005.1 best solution, best possible 39698.9 (131.23 seconds) After 335000 nodes, 45136 on tree, 40005.1 best solution, best possible 39698.9 (131.56 seconds) After 336000 nodes, 45232 on tree, 40005.1 best solution, best possible 39698.9 (131.91 seconds) After 337000 nodes, 44826 on tree, 40005.1 best solution, best possible 39698.9 (132.14 seconds) After 338000 nodes, 45043 on tree, 40005.1 best solution, best possible 39701.5 (132.54 seconds) After 339000 nodes, 45095 on tree, 40005.1 best solution, best possible 39701.5 (132.90 seconds) After 340000 nodes, 45158 on tree, 40005.1 best solution, best possible 39701.5 (133.29 seconds) After 341000 nodes, 44831 on tree, 40005.1 best solution, best possible 39701.5 (133.54 seconds) After 342000 nodes, 45032 on tree, 40005.1 best solution, best possible 39703.8 (133.95 seconds) After 343000 nodes, 45070 on tree, 40005.1 best solution, best possible 39703.8 (134.27 seconds) After 344000 nodes, 45127 on tree, 40005.1 best solution, best possible 39703.8 (134.66 seconds) After 345000 nodes, 44936 on tree, 40005.1 best solution, best possible 39703.8 (134.92 seconds) After 346000 nodes, 45123 on tree, 40005.1 best solution, best possible 39706.3 (135.36 seconds) After 347000 nodes, 45137 on tree, 40005.1 best solution, best possible 39706.3 (135.72 seconds) After 348000 nodes, 45220 on tree, 40005.1 best solution, best possible 39706.3 (136.08 seconds) After 349000 nodes, 45044 on tree, 40005.1 best solution, best possible 39706.3 (136.32 seconds) After 350000 nodes, 45226 on tree, 40005.1 best solution, best possible 39708.7 (136.71 seconds) After 351000 nodes, 45259 on tree, 40005.1 best solution, best possible 39708.7 (137.03 seconds) After 352000 nodes, 45306 on tree, 40005.1 best solution, best possible 39708.7 (137.40 seconds) After 353000 nodes, 44992 on tree, 40005.1 best solution, best possible 39708.7 (137.64 seconds) After 354000 nodes, 45168 on tree, 40005.1 best solution, best possible 39711.2 (138.05 seconds) After 355000 nodes, 45182 on tree, 40005.1 best solution, best possible 39711.2 (138.35 seconds) After 356000 nodes, 45252 on tree, 40005.1 best solution, best possible 39711.2 (138.70 seconds) After 357000 nodes, 44786 on tree, 40005.1 best solution, best possible 39711.2 (138.92 seconds) After 358000 nodes, 44986 on tree, 40005.1 best solution, best possible 39713.7 (139.31 seconds) After 359000 nodes, 45034 on tree, 40005.1 best solution, best possible 39713.7 (139.66 seconds) After 360000 nodes, 45094 on tree, 40005.1 best solution, best possible 39713.7 (140.02 seconds) After 361000 nodes, 44855 on tree, 40005.1 best solution, best possible 39713.7 (140.25 seconds) After 362000 nodes, 45047 on tree, 40005.1 best solution, best possible 39716.1 (140.70 seconds) After 363000 nodes, 45087 on tree, 40005.1 best solution, best possible 39716.1 (141.01 seconds) After 364000 nodes, 45144 on tree, 40005.1 best solution, best possible 39716.1 (141.38 seconds) After 365000 nodes, 44864 on tree, 40005.1 best solution, best possible 39716.1 (141.60 seconds) After 366000 nodes, 45064 on tree, 40005.1 best solution, best possible 39718.3 (142.08 seconds) After 367000 nodes, 45104 on tree, 40005.1 best solution, best possible 39718.3 (142.40 seconds) After 368000 nodes, 45132 on tree, 40005.1 best solution, best possible 39718.3 (142.72 seconds) After 369000 nodes, 44677 on tree, 40005.1 best solution, best possible 39718.3 (142.97 seconds) After 370000 nodes, 44861 on tree, 40005.1 best solution, best possible 39720.6 (143.42 seconds) After 371000 nodes, 44879 on tree, 40005.1 best solution, best possible 39720.6 (143.76 seconds) After 372000 nodes, 44939 on tree, 40005.1 best solution, best possible 39720.6 (144.13 seconds) After 373000 nodes, 44751 on tree, 40005.1 best solution, best possible 39720.6 (144.37 seconds) After 374000 nodes, 44934 on tree, 40005.1 best solution, best possible 39722.8 (144.80 seconds) After 375000 nodes, 44945 on tree, 40005.1 best solution, best possible 39722.8 (145.15 seconds) After 376000 nodes, 44998 on tree, 40005.1 best solution, best possible 39722.8 (145.53 seconds) After 377000 nodes, 44592 on tree, 40005.1 best solution, best possible 39722.8 (145.77 seconds) After 378000 nodes, 44778 on tree, 40005.1 best solution, best possible 39725 (146.24 seconds) After 379000 nodes, 44805 on tree, 40005.1 best solution, best possible 39725 (146.56 seconds) After 380000 nodes, 44848 on tree, 40005.1 best solution, best possible 39725 (146.93 seconds) After 381000 nodes, 44524 on tree, 40005.1 best solution, best possible 39725 (147.17 seconds) After 382000 nodes, 44711 on tree, 40005.1 best solution, best possible 39727.4 (147.63 seconds) After 383000 nodes, 44729 on tree, 40005.1 best solution, best possible 39727.4 (147.99 seconds) After 384000 nodes, 44779 on tree, 40005.1 best solution, best possible 39727.4 (148.35 seconds) After 385000 nodes, 44435 on tree, 40005.1 best solution, best possible 39727.4 (148.57 seconds) After 386000 nodes, 44597 on tree, 40005.1 best solution, best possible 39729.8 (149.01 seconds) After 387000 nodes, 44586 on tree, 40005.1 best solution, best possible 39729.8 (149.31 seconds) After 388000 nodes, 44630 on tree, 40005.1 best solution, best possible 39729.8 (149.64 seconds) After 389000 nodes, 44358 on tree, 40005.1 best solution, best possible 39729.8 (149.88 seconds) After 390000 nodes, 44547 on tree, 40005.1 best solution, best possible 39732 (150.35 seconds) After 391000 nodes, 44545 on tree, 40005.1 best solution, best possible 39732 (150.66 seconds) After 392000 nodes, 44582 on tree, 40005.1 best solution, best possible 39732 (151.03 seconds) After 393000 nodes, 44291 on tree, 40005.1 best solution, best possible 39732 (151.26 seconds) After 394000 nodes, 44460 on tree, 40005.1 best solution, best possible 39734.4 (151.72 seconds) After 395000 nodes, 44470 on tree, 40005.1 best solution, best possible 39734.4 (152.06 seconds) After 396000 nodes, 44501 on tree, 40005.1 best solution, best possible 39734.4 (152.38 seconds) After 397000 nodes, 44141 on tree, 40005.1 best solution, best possible 39734.4 (152.62 seconds) After 398000 nodes, 44282 on tree, 40005.1 best solution, best possible 39736.8 (153.00 seconds) After 399000 nodes, 44275 on tree, 40005.1 best solution, best possible 39736.8 (153.30 seconds) After 400000 nodes, 44304 on tree, 40005.1 best solution, best possible 39736.8 (153.62 seconds) After 401000 nodes, 44097 on tree, 40005.1 best solution, best possible 39736.8 (153.85 seconds) After 402000 nodes, 44249 on tree, 40005.1 best solution, best possible 39739.1 (154.24 seconds) After 403000 nodes, 44246 on tree, 40005.1 best solution, best possible 39739.1 (154.55 seconds) After 404000 nodes, 44278 on tree, 40005.1 best solution, best possible 39739.1 (154.88 seconds) After 405000 nodes, 43975 on tree, 40005.1 best solution, best possible 39739.1 (155.11 seconds) After 406000 nodes, 44126 on tree, 40005.1 best solution, best possible 39741.5 (155.55 seconds) After 407000 nodes, 44113 on tree, 40005.1 best solution, best possible 39741.5 (155.85 seconds) After 408000 nodes, 44126 on tree, 40005.1 best solution, best possible 39741.5 (156.21 seconds) After 409000 nodes, 43800 on tree, 40005.1 best solution, best possible 39741.5 (156.44 seconds) After 410000 nodes, 43949 on tree, 40005.1 best solution, best possible 39743.7 (156.84 seconds) After 411000 nodes, 43918 on tree, 40005.1 best solution, best possible 39743.7 (157.17 seconds) After 412000 nodes, 43944 on tree, 40005.1 best solution, best possible 39743.7 (157.56 seconds) After 413000 nodes, 43744 on tree, 40005.1 best solution, best possible 39743.7 (157.79 seconds) After 414000 nodes, 43899 on tree, 40005.1 best solution, best possible 39746 (158.25 seconds) After 415000 nodes, 43872 on tree, 40005.1 best solution, best possible 39746 (158.57 seconds) After 416000 nodes, 43885 on tree, 40005.1 best solution, best possible 39746 (158.89 seconds) After 417000 nodes, 43552 on tree, 40005.1 best solution, best possible 39746 (159.13 seconds) After 418000 nodes, 43707 on tree, 40005.1 best solution, best possible 39748.1 (159.57 seconds) After 419000 nodes, 43672 on tree, 40005.1 best solution, best possible 39748.1 (159.87 seconds) After 420000 nodes, 43689 on tree, 40005.1 best solution, best possible 39748.1 (160.21 seconds) After 421000 nodes, 43264 on tree, 40005.1 best solution, best possible 39748.1 (160.45 seconds) After 422000 nodes, 43418 on tree, 40005.1 best solution, best possible 39750.3 (160.84 seconds) After 423000 nodes, 43356 on tree, 40005.1 best solution, best possible 39750.3 (161.18 seconds) After 424000 nodes, 43374 on tree, 40005.1 best solution, best possible 39750.3 (161.56 seconds) After 425000 nodes, 43192 on tree, 40005.1 best solution, best possible 39750.3 (161.80 seconds) After 426000 nodes, 43332 on tree, 40005.1 best solution, best possible 39752.7 (162.25 seconds) After 427000 nodes, 43278 on tree, 40005.1 best solution, best possible 39752.7 (162.56 seconds) After 428000 nodes, 43303 on tree, 40005.1 best solution, best possible 39752.7 (162.89 seconds) After 429000 nodes, 43103 on tree, 40005.1 best solution, best possible 39752.7 (163.13 seconds) After 430000 nodes, 43250 on tree, 40005.1 best solution, best possible 39754.9 (163.49 seconds) After 431000 nodes, 43207 on tree, 40005.1 best solution, best possible 39754.9 (163.83 seconds) After 432000 nodes, 43211 on tree, 40005.1 best solution, best possible 39754.9 (164.19 seconds) After 433000 nodes, 42983 on tree, 40005.1 best solution, best possible 39754.9 (164.43 seconds) After 434000 nodes, 43116 on tree, 40005.1 best solution, best possible 39757.2 (164.88 seconds) After 435000 nodes, 43090 on tree, 40005.1 best solution, best possible 39757.2 (165.18 seconds) After 436000 nodes, 43084 on tree, 40005.1 best solution, best possible 39757.2 (165.53 seconds) After 437000 nodes, 42587 on tree, 40005.1 best solution, best possible 39757.2 (165.76 seconds) After 438000 nodes, 42740 on tree, 40005.1 best solution, best possible 39759.3 (166.15 seconds) After 439000 nodes, 42706 on tree, 40005.1 best solution, best possible 39759.4 (166.47 seconds) After 440000 nodes, 42698 on tree, 40005.1 best solution, best possible 39759.4 (166.83 seconds) After 441000 nodes, 42263 on tree, 40005.1 best solution, best possible 39759.4 (167.07 seconds) After 442000 nodes, 42383 on tree, 40005.1 best solution, best possible 39761.6 (167.51 seconds) After 443000 nodes, 42334 on tree, 40005.1 best solution, best possible 39761.6 (167.81 seconds) After 444000 nodes, 42336 on tree, 40005.1 best solution, best possible 39761.6 (168.17 seconds) After 445000 nodes, 42151 on tree, 40005.1 best solution, best possible 39761.6 (168.42 seconds) After 446000 nodes, 42272 on tree, 40005.1 best solution, best possible 39763.8 (168.82 seconds) After 447000 nodes, 42203 on tree, 40005.1 best solution, best possible 39763.8 (169.17 seconds) After 448000 nodes, 42208 on tree, 40005.1 best solution, best possible 39763.8 (169.55 seconds) After 449000 nodes, 42012 on tree, 40005.1 best solution, best possible 39763.8 (169.78 seconds) After 450000 nodes, 42144 on tree, 40005.1 best solution, best possible 39766.2 (170.17 seconds) After 451000 nodes, 42083 on tree, 40005.1 best solution, best possible 39766.2 (170.49 seconds) After 452000 nodes, 42080 on tree, 40005.1 best solution, best possible 39766.2 (170.83 seconds) After 453000 nodes, 41899 on tree, 40005.1 best solution, best possible 39766.2 (171.07 seconds) After 454000 nodes, 42028 on tree, 40005.1 best solution, best possible 39768.4 (171.50 seconds) After 455000 nodes, 41981 on tree, 40005.1 best solution, best possible 39768.4 (171.82 seconds) After 456000 nodes, 41953 on tree, 40005.1 best solution, best possible 39768.4 (172.15 seconds) After 457000 nodes, 41719 on tree, 40005.1 best solution, best possible 39768.4 (172.39 seconds) After 458000 nodes, 41855 on tree, 40005.1 best solution, best possible 39770.8 (172.77 seconds) After 459000 nodes, 41783 on tree, 40005.1 best solution, best possible 39770.8 (173.09 seconds) After 460000 nodes, 41735 on tree, 40005.1 best solution, best possible 39770.8 (173.43 seconds) After 461000 nodes, 41142 on tree, 40005.1 best solution, best possible 39770.8 (173.66 seconds) After 462000 nodes, 41275 on tree, 40005.1 best solution, best possible 39773.1 (174.03 seconds) After 463000 nodes, 41219 on tree, 40005.1 best solution, best possible 39773.1 (174.36 seconds) After 464000 nodes, 41197 on tree, 40005.1 best solution, best possible 39773.1 (174.73 seconds) After 465000 nodes, 40758 on tree, 40005.1 best solution, best possible 39773.1 (174.96 seconds) After 466000 nodes, 40881 on tree, 40005.1 best solution, best possible 39775.4 (175.40 seconds) After 467000 nodes, 40814 on tree, 40005.1 best solution, best possible 39775.4 (175.75 seconds) After 468000 nodes, 40789 on tree, 40005.1 best solution, best possible 39775.4 (176.13 seconds) After 469000 nodes, 40546 on tree, 40005.1 best solution, best possible 39775.4 (176.38 seconds) After 470000 nodes, 40652 on tree, 40005.1 best solution, best possible 39777.7 (176.85 seconds) After 471000 nodes, 40584 on tree, 40005.1 best solution, best possible 39777.7 (177.16 seconds) After 472000 nodes, 40532 on tree, 40005.1 best solution, best possible 39777.7 (177.51 seconds) After 473000 nodes, 40346 on tree, 40005.1 best solution, best possible 39777.7 (177.75 seconds) After 474000 nodes, 40474 on tree, 40005.1 best solution, best possible 39780 (178.13 seconds) After 475000 nodes, 40394 on tree, 40005.1 best solution, best possible 39780 (178.44 seconds) After 476000 nodes, 40352 on tree, 40005.1 best solution, best possible 39780 (178.77 seconds) After 477000 nodes, 40179 on tree, 40005.1 best solution, best possible 39780 (179.02 seconds) After 478000 nodes, 40297 on tree, 40005.1 best solution, best possible 39782.2 (179.40 seconds) After 479000 nodes, 40223 on tree, 40005.1 best solution, best possible 39782.2 (179.71 seconds) After 480000 nodes, 40185 on tree, 40005.1 best solution, best possible 39782.2 (180.06 seconds) After 481000 nodes, 40023 on tree, 40005.1 best solution, best possible 39782.2 (180.32 seconds) After 482000 nodes, 40121 on tree, 40005.1 best solution, best possible 39784.7 (180.78 seconds) After 483000 nodes, 40031 on tree, 40005.1 best solution, best possible 39784.7 (181.10 seconds) After 484000 nodes, 39972 on tree, 40005.1 best solution, best possible 39784.7 (181.44 seconds) After 485000 nodes, 39544 on tree, 40005.1 best solution, best possible 39784.7 (181.67 seconds) After 486000 nodes, 39640 on tree, 40005.1 best solution, best possible 39787.3 (182.11 seconds) After 487000 nodes, 39552 on tree, 40005.1 best solution, best possible 39787.3 (182.40 seconds) After 488000 nodes, 39487 on tree, 40005.1 best solution, best possible 39787.3 (182.75 seconds) After 489000 nodes, 38948 on tree, 40005.1 best solution, best possible 39787.3 (182.98 seconds) After 490000 nodes, 39065 on tree, 40005.1 best solution, best possible 39789.6 (183.46 seconds) After 491000 nodes, 38973 on tree, 40005.1 best solution, best possible 39789.6 (183.78 seconds) After 492000 nodes, 38922 on tree, 40005.1 best solution, best possible 39789.6 (184.10 seconds) After 493000 nodes, 38426 on tree, 40005.1 best solution, best possible 39789.6 (184.34 seconds) After 494000 nodes, 38517 on tree, 40005.1 best solution, best possible 39792 (184.70 seconds) After 495000 nodes, 38421 on tree, 40005.1 best solution, best possible 39792 (185.00 seconds) After 496000 nodes, 38361 on tree, 40005.1 best solution, best possible 39792 (185.38 seconds) After 497000 nodes, 38185 on tree, 40005.1 best solution, best possible 39792 (185.62 seconds) After 498000 nodes, 38279 on tree, 40005.1 best solution, best possible 39794.5 (186.05 seconds) After 499000 nodes, 38161 on tree, 40005.1 best solution, best possible 39794.5 (186.36 seconds) After 500000 nodes, 38111 on tree, 40005.1 best solution, best possible 39794.5 (186.68 seconds) After 501000 nodes, 37953 on tree, 40005.1 best solution, best possible 39794.5 (186.93 seconds) After 502000 nodes, 38051 on tree, 40005.1 best solution, best possible 39797 (187.31 seconds) After 503000 nodes, 37933 on tree, 40005.1 best solution, best possible 39797 (187.62 seconds) After 504000 nodes, 37868 on tree, 40005.1 best solution, best possible 39797 (188.00 seconds) After 505000 nodes, 37709 on tree, 40005.1 best solution, best possible 39797 (188.26 seconds) After 506000 nodes, 37799 on tree, 40005.1 best solution, best possible 39799.3 (188.70 seconds) After 507000 nodes, 37687 on tree, 40005.1 best solution, best possible 39799.3 (189.01 seconds) After 508000 nodes, 37607 on tree, 40005.1 best solution, best possible 39799.3 (189.35 seconds) After 509000 nodes, 37459 on tree, 40005.1 best solution, best possible 39799.3 (189.59 seconds) After 510000 nodes, 37546 on tree, 40005.1 best solution, best possible 39801.7 (189.96 seconds) After 511000 nodes, 37418 on tree, 40005.1 best solution, best possible 39801.7 (190.28 seconds) After 512000 nodes, 37346 on tree, 40005.1 best solution, best possible 39801.7 (190.62 seconds) After 513000 nodes, 36822 on tree, 40005.1 best solution, best possible 39801.7 (190.86 seconds) After 514000 nodes, 36887 on tree, 40005.1 best solution, best possible 39804.1 (191.21 seconds) After 515000 nodes, 36754 on tree, 40005.1 best solution, best possible 39804.1 (191.49 seconds) After 516000 nodes, 36679 on tree, 40005.1 best solution, best possible 39804.1 (191.83 seconds) After 517000 nodes, 36059 on tree, 40005.1 best solution, best possible 39804.1 (192.06 seconds) After 518000 nodes, 36111 on tree, 40005.1 best solution, best possible 39806.5 (192.50 seconds) After 519000 nodes, 35982 on tree, 40005.1 best solution, best possible 39806.5 (192.79 seconds) After 520000 nodes, 35915 on tree, 40005.1 best solution, best possible 39806.5 (193.12 seconds) After 521000 nodes, 35451 on tree, 40005.1 best solution, best possible 39806.5 (193.36 seconds) After 522000 nodes, 35499 on tree, 40005.1 best solution, best possible 39808.9 (193.84 seconds) After 523000 nodes, 35371 on tree, 40005.1 best solution, best possible 39808.9 (194.17 seconds) After 524000 nodes, 35296 on tree, 40005.1 best solution, best possible 39808.9 (194.52 seconds) After 525000 nodes, 35151 on tree, 40005.1 best solution, best possible 39808.9 (194.77 seconds) After 526000 nodes, 35198 on tree, 40005.1 best solution, best possible 39811.6 (195.19 seconds) After 527000 nodes, 35064 on tree, 40005.1 best solution, best possible 39811.6 (195.49 seconds) After 528000 nodes, 34974 on tree, 40005.1 best solution, best possible 39811.6 (195.87 seconds) After 529000 nodes, 34812 on tree, 40005.1 best solution, best possible 39811.6 (196.12 seconds) After 530000 nodes, 34879 on tree, 40005.1 best solution, best possible 39814.3 (196.49 seconds) After 531000 nodes, 34747 on tree, 40005.1 best solution, best possible 39814.3 (196.78 seconds) After 532000 nodes, 34661 on tree, 40005.1 best solution, best possible 39814.3 (197.14 seconds) After 533000 nodes, 34507 on tree, 40005.1 best solution, best possible 39814.3 (197.38 seconds) After 534000 nodes, 34553 on tree, 40005.1 best solution, best possible 39816.9 (197.80 seconds) After 535000 nodes, 34407 on tree, 40005.1 best solution, best possible 39816.9 (198.10 seconds) After 536000 nodes, 34310 on tree, 40005.1 best solution, best possible 39816.9 (198.44 seconds) After 537000 nodes, 34087 on tree, 40005.1 best solution, best possible 39816.9 (198.68 seconds) After 538000 nodes, 34147 on tree, 40005.1 best solution, best possible 39819.5 (199.05 seconds) After 539000 nodes, 33994 on tree, 40005.1 best solution, best possible 39819.5 (199.33 seconds) After 540000 nodes, 33888 on tree, 40005.1 best solution, best possible 39819.5 (199.66 seconds) After 541000 nodes, 33264 on tree, 40005.1 best solution, best possible 39819.5 (199.90 seconds) After 542000 nodes, 33316 on tree, 40005.1 best solution, best possible 39822 (200.26 seconds) After 543000 nodes, 33184 on tree, 40005.1 best solution, best possible 39822 (200.54 seconds) After 544000 nodes, 33059 on tree, 40005.1 best solution, best possible 39822 (200.86 seconds) After 545000 nodes, 32433 on tree, 40005.1 best solution, best possible 39822 (201.10 seconds) After 546000 nodes, 32475 on tree, 40005.1 best solution, best possible 39824.4 (201.49 seconds) After 547000 nodes, 32320 on tree, 40005.1 best solution, best possible 39824.4 (201.79 seconds) After 548000 nodes, 32240 on tree, 40005.1 best solution, best possible 39824.4 (202.10 seconds) After 549000 nodes, 31935 on tree, 40005.1 best solution, best possible 39824.4 (202.34 seconds) After 550000 nodes, 31947 on tree, 40005.1 best solution, best possible 39826.9 (202.78 seconds) After 551000 nodes, 31808 on tree, 40005.1 best solution, best possible 39826.9 (203.06 seconds) After 552000 nodes, 31693 on tree, 40005.1 best solution, best possible 39826.9 (203.37 seconds) After 553000 nodes, 31544 on tree, 40005.1 best solution, best possible 39826.9 (203.61 seconds) After 554000 nodes, 31542 on tree, 40005.1 best solution, best possible 39829.5 (204.08 seconds) After 555000 nodes, 31361 on tree, 40005.1 best solution, best possible 39829.5 (204.38 seconds) After 556000 nodes, 31262 on tree, 40005.1 best solution, best possible 39829.5 (204.69 seconds) After 557000 nodes, 31131 on tree, 40005.1 best solution, best possible 39829.5 (204.92 seconds) After 558000 nodes, 31168 on tree, 40005.1 best solution, best possible 39832.1 (205.31 seconds) After 559000 nodes, 30995 on tree, 40005.1 best solution, best possible 39832.1 (205.59 seconds) After 560000 nodes, 30865 on tree, 40005.1 best solution, best possible 39832.1 (205.95 seconds) After 561000 nodes, 30753 on tree, 40005.1 best solution, best possible 39832.1 (206.19 seconds) After 562000 nodes, 30767 on tree, 40005.1 best solution, best possible 39834.8 (206.60 seconds) After 563000 nodes, 30571 on tree, 40005.1 best solution, best possible 39834.8 (206.95 seconds) After 564000 nodes, 30432 on tree, 40005.1 best solution, best possible 39834.8 (207.28 seconds) After 565000 nodes, 29868 on tree, 40005.1 best solution, best possible 39834.8 (207.52 seconds) After 566000 nodes, 29900 on tree, 40005.1 best solution, best possible 39837.6 (207.88 seconds) After 567000 nodes, 29716 on tree, 40005.1 best solution, best possible 39837.6 (208.18 seconds) After 568000 nodes, 29555 on tree, 40005.1 best solution, best possible 39837.6 (208.49 seconds) After 569000 nodes, 28858 on tree, 40005.1 best solution, best possible 39837.6 (208.72 seconds) After 570000 nodes, 28867 on tree, 40005.1 best solution, best possible 39840.4 (209.07 seconds) After 571000 nodes, 28686 on tree, 40005.1 best solution, best possible 39840.4 (209.35 seconds) After 572000 nodes, 28561 on tree, 40005.1 best solution, best possible 39840.4 (209.67 seconds) After 573000 nodes, 28165 on tree, 40005.1 best solution, best possible 39840.4 (209.91 seconds) After 574000 nodes, 28163 on tree, 40005.1 best solution, best possible 39843.1 (210.25 seconds) After 575000 nodes, 27969 on tree, 40005.1 best solution, best possible 39843.1 (210.55 seconds) After 576000 nodes, 27831 on tree, 40005.1 best solution, best possible 39843.1 (210.87 seconds) After 577000 nodes, 27687 on tree, 40005.1 best solution, best possible 39843.1 (211.11 seconds) After 578000 nodes, 27687 on tree, 40005.1 best solution, best possible 39846 (211.43 seconds) After 579000 nodes, 27481 on tree, 40005.1 best solution, best possible 39846 (211.71 seconds) After 580000 nodes, 27340 on tree, 40005.1 best solution, best possible 39846 (212.04 seconds) After 581000 nodes, 27213 on tree, 40005.1 best solution, best possible 39846 (212.28 seconds) After 582000 nodes, 27188 on tree, 40005.1 best solution, best possible 39848.9 (212.67 seconds) After 583000 nodes, 27003 on tree, 40005.1 best solution, best possible 39848.9 (212.97 seconds) After 584000 nodes, 26843 on tree, 40005.1 best solution, best possible 39848.9 (213.30 seconds) After 585000 nodes, 26313 on tree, 40005.1 best solution, best possible 39848.9 (213.54 seconds) After 586000 nodes, 26278 on tree, 40005.1 best solution, best possible 39851.9 (213.91 seconds) After 587000 nodes, 26081 on tree, 40005.1 best solution, best possible 39851.9 (214.21 seconds) After 588000 nodes, 25911 on tree, 40005.1 best solution, best possible 39851.9 (214.53 seconds) After 589000 nodes, 25232 on tree, 40005.1 best solution, best possible 39851.9 (214.77 seconds) After 590000 nodes, 25210 on tree, 40005.1 best solution, best possible 39855 (215.10 seconds) After 591000 nodes, 25011 on tree, 40005.1 best solution, best possible 39855 (215.36 seconds) After 592000 nodes, 24832 on tree, 40005.1 best solution, best possible 39855 (215.65 seconds) After 593000 nodes, 24643 on tree, 40005.1 best solution, best possible 39855 (215.89 seconds) After 594000 nodes, 24603 on tree, 40005.1 best solution, best possible 39858 (216.27 seconds) After 595000 nodes, 24382 on tree, 40005.1 best solution, best possible 39858.1 (216.57 seconds) After 596000 nodes, 24208 on tree, 40005.1 best solution, best possible 39858.1 (216.88 seconds) After 597000 nodes, 24102 on tree, 40005.1 best solution, best possible 39858.1 (217.12 seconds) After 598000 nodes, 24044 on tree, 40005.1 best solution, best possible 39861 (217.49 seconds) After 599000 nodes, 23845 on tree, 40005.1 best solution, best possible 39861 (217.77 seconds) After 600000 nodes, 23669 on tree, 40005.1 best solution, best possible 39861 (218.10 seconds) After 601000 nodes, 23118 on tree, 40005.1 best solution, best possible 39861 (218.34 seconds) After 602000 nodes, 23066 on tree, 40005.1 best solution, best possible 39864.3 (218.75 seconds) After 603000 nodes, 22851 on tree, 40005.1 best solution, best possible 39864.3 (219.03 seconds) After 604000 nodes, 22644 on tree, 40005.1 best solution, best possible 39864.3 (219.32 seconds) After 605000 nodes, 22069 on tree, 40005.1 best solution, best possible 39864.3 (219.55 seconds) After 606000 nodes, 22021 on tree, 40005.1 best solution, best possible 39867.7 (219.87 seconds) After 607000 nodes, 21837 on tree, 40005.1 best solution, best possible 39867.7 (220.13 seconds) After 608000 nodes, 21644 on tree, 40005.1 best solution, best possible 39867.7 (220.45 seconds) After 609000 nodes, 21512 on tree, 40005.1 best solution, best possible 39867.7 (220.69 seconds) After 610000 nodes, 21453 on tree, 40005.1 best solution, best possible 39871 (221.06 seconds) After 611000 nodes, 21228 on tree, 40005.1 best solution, best possible 39871 (221.37 seconds) After 612000 nodes, 21011 on tree, 40005.1 best solution, best possible 39871 (221.67 seconds) After 613000 nodes, 20493 on tree, 40005.1 best solution, best possible 39871 (221.90 seconds) After 614000 nodes, 20444 on tree, 40005.1 best solution, best possible 39874.5 (222.23 seconds) After 615000 nodes, 20235 on tree, 40005.1 best solution, best possible 39874.5 (222.49 seconds) After 616000 nodes, 20037 on tree, 40005.1 best solution, best possible 39874.5 (222.79 seconds) After 617000 nodes, 19621 on tree, 40005.1 best solution, best possible 39874.5 (223.03 seconds) After 618000 nodes, 19540 on tree, 40005.1 best solution, best possible 39878 (223.37 seconds) After 619000 nodes, 19290 on tree, 40005.1 best solution, best possible 39878.1 (223.65 seconds) After 620000 nodes, 19067 on tree, 40005.1 best solution, best possible 39878.1 (223.93 seconds) After 621000 nodes, 18698 on tree, 40005.1 best solution, best possible 39878.1 (224.16 seconds) After 622000 nodes, 18618 on tree, 40005.1 best solution, best possible 39881.8 (224.48 seconds) After 623000 nodes, 18388 on tree, 40005.1 best solution, best possible 39881.8 (224.77 seconds) After 624000 nodes, 18151 on tree, 40005.1 best solution, best possible 39881.8 (225.06 seconds) After 625000 nodes, 17769 on tree, 40005.1 best solution, best possible 39881.8 (225.28 seconds) After 626000 nodes, 17655 on tree, 40005.1 best solution, best possible 39885.5 (225.63 seconds) After 627000 nodes, 17410 on tree, 40005.1 best solution, best possible 39885.5 (225.91 seconds) After 628000 nodes, 17181 on tree, 40005.1 best solution, best possible 39885.5 (226.21 seconds) After 629000 nodes, 16709 on tree, 40005.1 best solution, best possible 39885.5 (226.43 seconds) After 630000 nodes, 16580 on tree, 40005.1 best solution, best possible 39889.5 (226.82 seconds) After 631000 nodes, 16344 on tree, 40005.1 best solution, best possible 39889.5 (227.10 seconds) After 632000 nodes, 16125 on tree, 40005.1 best solution, best possible 39889.5 (227.40 seconds) After 633000 nodes, 15660 on tree, 40005.1 best solution, best possible 39889.5 (227.62 seconds) After 634000 nodes, 15549 on tree, 40005.1 best solution, best possible 39893.4 (227.93 seconds) After 635000 nodes, 15289 on tree, 40005.1 best solution, best possible 39893.4 (228.21 seconds) After 636000 nodes, 15059 on tree, 40005.1 best solution, best possible 39893.4 (228.53 seconds) After 637000 nodes, 14670 on tree, 40005.1 best solution, best possible 39893.4 (228.77 seconds) After 638000 nodes, 14546 on tree, 40005.1 best solution, best possible 39897.6 (229.09 seconds) After 639000 nodes, 14306 on tree, 40005.1 best solution, best possible 39897.7 (229.36 seconds) After 640000 nodes, 14075 on tree, 40005.1 best solution, best possible 39897.7 (229.65 seconds) After 641000 nodes, 13755 on tree, 40005.1 best solution, best possible 39897.7 (229.91 seconds) After 642000 nodes, 13587 on tree, 40005.1 best solution, best possible 39902.5 (230.23 seconds) After 643000 nodes, 13324 on tree, 40005.1 best solution, best possible 39902.5 (230.50 seconds) After 644000 nodes, 13067 on tree, 40005.1 best solution, best possible 39902.5 (230.79 seconds) After 645000 nodes, 12759 on tree, 40005.1 best solution, best possible 39902.5 (231.03 seconds) After 646000 nodes, 12604 on tree, 40005.1 best solution, best possible 39907.3 (231.39 seconds) After 647000 nodes, 12338 on tree, 40005.1 best solution, best possible 39907.4 (231.68 seconds) After 648000 nodes, 12069 on tree, 40005.1 best solution, best possible 39907.4 (231.95 seconds) After 649000 nodes, 11671 on tree, 40005.1 best solution, best possible 39907.4 (232.20 seconds) After 650000 nodes, 11518 on tree, 40005.1 best solution, best possible 39912.2 (232.50 seconds) After 651000 nodes, 11234 on tree, 40005.1 best solution, best possible 39912.2 (232.78 seconds) After 652000 nodes, 10954 on tree, 40005.1 best solution, best possible 39912.2 (233.05 seconds) After 653000 nodes, 10535 on tree, 40005.1 best solution, best possible 39912.2 (233.31 seconds) After 654000 nodes, 10323 on tree, 40005.1 best solution, best possible 39917.9 (233.61 seconds) After 655000 nodes, 10021 on tree, 40005.1 best solution, best possible 39917.9 (233.88 seconds) After 656000 nodes, 9724 on tree, 40005.1 best solution, best possible 39917.9 (234.15 seconds) After 657000 nodes, 9501 on tree, 40005.1 best solution, best possible 39923.9 (234.50 seconds) After 658000 nodes, 9196 on tree, 40005.1 best solution, best possible 39923.9 (234.76 seconds) After 659000 nodes, 8971 on tree, 40005.1 best solution, best possible 39928.4 (235.07 seconds) After 660000 nodes, 8702 on tree, 40005.1 best solution, best possible 39930.8 (235.35 seconds) After 661000 nodes, 8446 on tree, 40005.1 best solution, best possible 39933.4 (235.63 seconds) After 662000 nodes, 8084 on tree, 40005.1 best solution, best possible 39933.4 (235.87 seconds) After 663000 nodes, 7814 on tree, 40005.1 best solution, best possible 39936.7 (236.15 seconds) After 664000 nodes, 7502 on tree, 40005.1 best solution, best possible 39939.3 (236.43 seconds) After 665000 nodes, 7199 on tree, 40005.1 best solution, best possible 39942 (236.71 seconds) After 666000 nodes, 6803 on tree, 40005.1 best solution, best possible 39942 (236.95 seconds) After 667000 nodes, 6477 on tree, 40005.1 best solution, best possible 39945.8 (237.24 seconds) After 668000 nodes, 6158 on tree, 40005.1 best solution, best possible 39948.7 (237.51 seconds) After 669000 nodes, 5822 on tree, 40005.1 best solution, best possible 39951.8 (237.79 seconds) After 670000 nodes, 5412 on tree, 40005.1 best solution, best possible 39951.8 (238.02 seconds) After 671000 nodes, 5063 on tree, 40005.1 best solution, best possible 39956.3 (238.29 seconds) After 672000 nodes, 4713 on tree, 40005.1 best solution, best possible 39959.7 (238.57 seconds) After 673000 nodes, 4370 on tree, 40005.1 best solution, best possible 39963 (238.83 seconds) After 674000 nodes, 3949 on tree, 40005.1 best solution, best possible 39963.1 (239.07 seconds) After 675000 nodes, 3565 on tree, 40005.1 best solution, best possible 39968.8 (239.33 seconds) After 676000 nodes, 3170 on tree, 40005.1 best solution, best possible 39972.7 (239.57 seconds) After 677000 nodes, 2787 on tree, 40005.1 best solution, best possible 39976.5 (239.81 seconds) After 678000 nodes, 2352 on tree, 40005.1 best solution, best possible 39976.5 (240.05 seconds) After 679000 nodes, 1951 on tree, 40005.1 best solution, best possible 39983.6 (240.29 seconds) After 680000 nodes, 1516 on tree, 40005.1 best solution, best possible 39988 (240.54 seconds) After 681000 nodes, 1052 on tree, 40005.1 best solution, best possible 39993.1 (240.78 seconds) After 682000 nodes, 569 on tree, 40005.1 best solution, best possible 39993.1 (241.00 seconds) After 683000 nodes, 92 on tree, 40005.1 best solution, best possible 40003.8 (241.22 seconds) Search completed - best objective 40005.054142, took 2287783 iterations and 683183 nodes (241.26 seconds) Strong branching done 55582 times (255131 iterations), fathomed 6500 nodes and fixed 10428 variables Maximum depth 49, 1.50267e+06 variables fixed on reduced cost Cuts at root node changed objective from 38893.9 to 38982 Probing was tried 33729 times and created 4104 cuts of which 1253 were active after adding rounds of cuts (33.106 seconds) Gomory was tried 72 times and created 952 cuts of which 6 were active after adding rounds of cuts (0.032 seconds) Knapsack was tried 72 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.004 seconds) Clique was tried 72 times and created 0 cuts of which 0 were active after adding rounds of cuts (-0.000 seconds) MixedIntegerRounding2 was tried 1 times and created 0 cuts of which 0 were active after adding rounds of cuts (-0.000 seconds) FlowCover was tried 1 times and created 0 cuts of which 0 were active after adding rounds of cuts (-0.000 seconds) TwoMirCuts was tried 72 times and created 135 cuts of which 0 were active after adding rounds of cuts (0.052 seconds) Result - Finished objective 40005.054142 after 683183 nodes and 2287783 iterations - took 241.29 seconds (total time 241.30) Total time 241.30 Solved to optimality. Writing solution. Objective: 40005.1 Time: 241.3 s --- Restarting execution --- mas76.gms(124) 0 Mb --- Reading solution for model m *** Status: Normal completion --- Job mas76.gms Stop 08/21/08 08:28:58 elapsed 0:04:07.747