Log started (V12.4.0.0) Mon Jan 28 17:33:19 2013 Problem '1BRS.matrix.44p.20aa.usingEref_self_digit8.wcsp.lp' read. Read time = 22.15 sec. Warning: CPLEX version found in file /work/tschiex/CPD-Décembre2012/cplex/cplex.prm (12.2.0.0) does not match this CPLEX version (12.4.0.0). Parameter file '/work/tschiex/CPD-Décembre2012/cplex/cplex.prm' read. Presolve has eliminated 0 rows and 0 columns... Tried aggregator 1 time. Presolve has eliminated 0 rows and 0 columns... Presolve time = 28.21 sec. Elapsed time 10.77 sec. for 0% of probing. Elapsed time 21.64 sec. for 0% of probing. Elapsed time 32.00 sec. for 0% of probing. Elapsed time 47.27 sec. for 0% of probing. Elapsed time 67.81 sec. for 0% of probing. Elapsed time 81.91 sec. for 0% of probing. Elapsed time 102.81 sec. for 0% of probing. Elapsed time 118.07 sec. for 0% of probing. Elapsed time 129.76 sec. for 0% of probing. Elapsed time 144.50 sec. for 0% of probing. Elapsed time 163.12 sec. for 0% of probing. Elapsed time 175.69 sec. for 0% of probing. Elapsed time 192.73 sec. for 0% of probing. Elapsed time 205.80 sec. for 0% of probing. Elapsed time 229.17 sec. for 0% of probing. Probing time = 236.86 sec. Clique table members: 26904910. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 31518.18 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 4.00666e+12 1518 4.00666e+12 1178779 * 0+ 0 4.01672e+12 4.00666e+12 1178779 0.25% Repeating presolve. Presolve has eliminated 43432 rows and 3143442 columns... Tried aggregator 2 times. Aggregator has done 259 substitutions... MIP Presolve eliminated 43432 rows and 3143442 columns. Aggregator did 259 substitutions. Reduced MIP has 117216 rows, 3526269 columns, and 7167240 nonzeros. Reduced MIP has 3526269 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 19.45 sec. for 0% of probing (3487 vars fixed). Elapsed time 45.11 sec. for 0% of probing (3487 vars fixed). Elapsed time 64.68 sec. for 0% of probing (3487 vars fixed). Elapsed time 84.54 sec. for 0% of probing (3487 vars fixed). Elapsed time 98.31 sec. for 0% of probing (3487 vars fixed). Elapsed time 113.03 sec. for 0% of probing (3504 vars fixed). Elapsed time 137.95 sec. for 0% of probing (3565 vars fixed). Elapsed time 165.87 sec. for 0% of probing (3565 vars fixed). Elapsed time 177.42 sec. for 0% of probing (3565 vars fixed). Elapsed time 202.62 sec. for 0% of probing (3841 vars fixed). Elapsed time 221.43 sec. for 0% of probing (3938 vars fixed). Elapsed time 247.34 sec. for 0% of probing (3950 vars fixed). Elapsed time 257.38 sec. for 0% of probing (4091 vars fixed). Elapsed time 267.43 sec. for 0% of probing (4114 vars fixed). Elapsed time 277.50 sec. for 0% of probing (4139 vars fixed). Elapsed time 287.57 sec. for 0% of probing (4139 vars fixed). Elapsed time 297.68 sec. for 0% of probing (4159 vars fixed). Elapsed time 307.76 sec. for 0% of probing (4166 vars fixed). Elapsed time 317.92 sec. for 0% of probing (4167 vars fixed). Elapsed time 328.04 sec. for 0% of probing (4173 vars fixed). Elapsed time 338.10 sec. for 0% of probing (4173 vars fixed). Elapsed time 348.17 sec. for 0% of probing (4173 vars fixed). Elapsed time 358.33 sec. for 0% of probing (4173 vars fixed). Elapsed time 368.41 sec. for 0% of probing (4173 vars fixed). Elapsed time 378.46 sec. for 0% of probing (4173 vars fixed). Elapsed time 388.47 sec. for 0% of probing (4173 vars fixed). Elapsed time 398.48 sec. for 0% of probing (4173 vars fixed). Elapsed time 408.67 sec. for 0% of probing (4173 vars fixed). Elapsed time 418.72 sec. for 0% of probing (4173 vars fixed). Elapsed time 428.85 sec. for 0% of probing (4173 vars fixed). Elapsed time 438.86 sec. for 0% of probing (4173 vars fixed). Elapsed time 449.18 sec. for 0% of probing (4173 vars fixed). Elapsed time 459.38 sec. for 0% of probing (4173 vars fixed). Elapsed time 469.47 sec. for 0% of probing (4173 vars fixed). Elapsed time 479.60 sec. for 0% of probing (4173 vars fixed). Elapsed time 489.60 sec. for 0% of probing (4173 vars fixed). Elapsed time 499.70 sec. for 0% of probing (4173 vars fixed). Elapsed time 509.73 sec. for 0% of probing (4173 vars fixed). Elapsed time 519.74 sec. for 0% of probing (4173 vars fixed). Elapsed time 529.79 sec. for 0% of probing (4173 vars fixed). Elapsed time 539.87 sec. for 0% of probing (4173 vars fixed). Elapsed time 549.87 sec. for 0% of probing (4173 vars fixed). Elapsed time 559.96 sec. for 0% of probing (4173 vars fixed). Elapsed time 570.11 sec. for 0% of probing (4173 vars fixed). Elapsed time 580.29 sec. for 0% of probing (4173 vars fixed). Elapsed time 590.35 sec. for 0% of probing (4173 vars fixed). Elapsed time 600.59 sec. for 0% of probing (4173 vars fixed). Elapsed time 610.61 sec. for 0% of probing (4173 vars fixed). Elapsed time 620.65 sec. for 0% of probing (4173 vars fixed). Elapsed time 630.80 sec. for 0% of probing (4173 vars fixed). Elapsed time 640.99 sec. for 0% of probing (4173 vars fixed). Elapsed time 651.17 sec. for 0% of probing (4173 vars fixed). Elapsed time 661.41 sec. for 0% of probing (4173 vars fixed). Elapsed time 671.58 sec. for 0% of probing (4173 vars fixed). Elapsed time 681.84 sec. for 0% of probing (4173 vars fixed). Elapsed time 691.95 sec. for 0% of probing (4173 vars fixed). Elapsed time 702.09 sec. for 0% of probing (4173 vars fixed). Elapsed time 712.16 sec. for 0% of probing (4173 vars fixed). Elapsed time 722.22 sec. for 0% of probing (4173 vars fixed). Elapsed time 732.26 sec. for 0% of probing (4173 vars fixed). Elapsed time 742.26 sec. for 0% of probing (4173 vars fixed). Elapsed time 752.28 sec. for 0% of probing (4173 vars fixed). Elapsed time 762.52 sec. for 0% of probing (4173 vars fixed). Elapsed time 772.70 sec. for 0% of probing (4173 vars fixed). Elapsed time 782.72 sec. for 0% of probing (4173 vars fixed). Elapsed time 792.83 sec. for 0% of probing (4173 vars fixed). Elapsed time 802.88 sec. for 0% of probing (4173 vars fixed). Elapsed time 812.92 sec. for 0% of probing (4173 vars fixed). Elapsed time 822.95 sec. for 0% of probing (4173 vars fixed). Elapsed time 833.02 sec. for 0% of probing (4173 vars fixed). Elapsed time 843.08 sec. for 0% of probing (4173 vars fixed). Elapsed time 853.19 sec. for 0% of probing (4173 vars fixed). Elapsed time 863.19 sec. for 0% of probing (4173 vars fixed). Elapsed time 873.27 sec. for 0% of probing (4173 vars fixed). Elapsed time 883.28 sec. for 0% of probing (4173 vars fixed). Elapsed time 893.33 sec. for 0% of probing (4173 vars fixed). Elapsed time 903.41 sec. for 0% of probing (4173 vars fixed). Elapsed time 913.44 sec. for 0% of probing (4173 vars fixed). Elapsed time 923.55 sec. for 0% of probing (4173 vars fixed). Elapsed time 933.57 sec. for 0% of probing (4173 vars fixed). Elapsed time 943.65 sec. for 0% of probing (4173 vars fixed). Elapsed time 953.74 sec. for 0% of probing (4173 vars fixed). Elapsed time 963.75 sec. for 0% of probing (4173 vars fixed). Elapsed time 973.75 sec. for 0% of probing (4173 vars fixed). Elapsed time 984.01 sec. for 0% of probing (4173 vars fixed). Elapsed time 994.22 sec. for 0% of probing (4173 vars fixed). Elapsed time 1004.32 sec. for 0% of probing (4173 vars fixed). Elapsed time 1014.43 sec. for 0% of probing (4173 vars fixed). Elapsed time 1024.45 sec. for 0% of probing (4173 vars fixed). Elapsed time 1034.46 sec. for 0% of probing (4173 vars fixed). Elapsed time 1044.53 sec. for 0% of probing (4173 vars fixed). Elapsed time 1054.56 sec. for 0% of probing (4173 vars fixed). Elapsed time 1064.62 sec. for 0% of probing (4173 vars fixed). Elapsed time 1074.75 sec. for 0% of probing (4173 vars fixed). Elapsed time 1084.86 sec. for 0% of probing (4173 vars fixed). Elapsed time 1095.02 sec. for 0% of probing (4173 vars fixed). Elapsed time 1105.10 sec. for 0% of probing (4173 vars fixed). Elapsed time 1115.17 sec. for 0% of probing (4173 vars fixed). Elapsed time 1125.17 sec. for 0% of probing (4173 vars fixed). Elapsed time 1135.26 sec. for 0% of probing (4173 vars fixed). Elapsed time 1145.28 sec. for 0% of probing (4173 vars fixed). Elapsed time 1155.31 sec. for 0% of probing (4173 vars fixed). Elapsed time 1165.40 sec. for 0% of probing (4173 vars fixed). Elapsed time 1175.57 sec. for 0% of probing (4173 vars fixed). Elapsed time 1185.74 sec. for 0% of probing (4173 vars fixed). Elapsed time 1195.87 sec. for 0% of probing (4173 vars fixed). Elapsed time 1205.90 sec. for 0% of probing (4173 vars fixed). Elapsed time 1215.92 sec. for 0% of probing (4173 vars fixed). Elapsed time 1226.04 sec. for 0% of probing (4173 vars fixed). Elapsed time 1236.06 sec. for 0% of probing (4173 vars fixed). Elapsed time 1246.10 sec. for 0% of probing (4173 vars fixed). Elapsed time 1256.19 sec. for 0% of probing (4173 vars fixed). Elapsed time 1266.28 sec. for 0% of probing (4173 vars fixed). Elapsed time 1276.46 sec. for 0% of probing (4173 vars fixed). Elapsed time 1286.55 sec. for 0% of probing (4173 vars fixed). Elapsed time 1296.63 sec. for 0% of probing (4173 vars fixed). Elapsed time 1306.68 sec. for 0% of probing (4173 vars fixed). Elapsed time 1316.78 sec. for 0% of probing (4173 vars fixed). Elapsed time 1326.90 sec. for 0% of probing (4173 vars fixed). Elapsed time 1336.92 sec. for 0% of probing (4173 vars fixed). Elapsed time 1346.99 sec. for 0% of probing (4173 vars fixed). Elapsed time 1357.07 sec. for 0% of probing (4173 vars fixed). Elapsed time 1367.08 sec. for 0% of probing (4173 vars fixed). Elapsed time 1377.11 sec. for 0% of probing (4173 vars fixed). Elapsed time 1387.22 sec. for 0% of probing (4173 vars fixed). Elapsed time 1397.33 sec. for 0% of probing (4173 vars fixed). Elapsed time 1407.36 sec. for 0% of probing (4173 vars fixed). Elapsed time 1417.49 sec. for 0% of probing (4173 vars fixed). Elapsed time 1427.64 sec. for 0% of probing (4173 vars fixed). Elapsed time 1437.68 sec. for 0% of probing (4173 vars fixed). Elapsed time 1447.70 sec. for 0% of probing (4173 vars fixed). Elapsed time 1457.73 sec. for 0% of probing (4173 vars fixed). Elapsed time 1467.77 sec. for 0% of probing (4173 vars fixed). Elapsed time 1478.03 sec. for 0% of probing (4173 vars fixed). Elapsed time 1488.20 sec. for 0% of probing (4173 vars fixed). Elapsed time 1498.32 sec. for 0% of probing (4173 vars fixed). Elapsed time 1508.40 sec. for 0% of probing (4173 vars fixed). Elapsed time 1518.55 sec. for 0% of probing (4173 vars fixed). Elapsed time 1528.58 sec. for 0% of probing (4173 vars fixed). Elapsed time 1538.71 sec. for 0% of probing (4173 vars fixed). Elapsed time 1548.73 sec. for 0% of probing (4173 vars fixed). Elapsed time 1558.96 sec. for 0% of probing (4173 vars fixed). Elapsed time 1569.21 sec. for 0% of probing (4173 vars fixed). Elapsed time 1579.25 sec. for 0% of probing (4173 vars fixed). Elapsed time 1589.37 sec. for 0% of probing (4173 vars fixed). Elapsed time 1599.50 sec. for 0% of probing (4173 vars fixed). Elapsed time 1609.52 sec. for 0% of probing (4173 vars fixed). Elapsed time 1619.55 sec. for 0% of probing (4173 vars fixed). Elapsed time 1629.70 sec. for 0% of probing (4173 vars fixed). Elapsed time 1639.78 sec. for 0% of probing (4173 vars fixed). Elapsed time 1649.79 sec. for 0% of probing (4173 vars fixed). Elapsed time 1660.05 sec. for 0% of probing (4173 vars fixed). Elapsed time 1670.07 sec. for 0% of probing (4173 vars fixed). Elapsed time 1680.21 sec. for 0% of probing (4173 vars fixed). Elapsed time 1690.33 sec. for 0% of probing (4173 vars fixed). Elapsed time 1700.43 sec. for 0% of probing (4173 vars fixed). Elapsed time 1710.75 sec. for 0% of probing (4173 vars fixed). Elapsed time 1720.83 sec. for 0% of probing (4173 vars fixed). Elapsed time 1731.06 sec. for 0% of probing (4173 vars fixed). Elapsed time 1741.09 sec. for 0% of probing (4173 vars fixed). Elapsed time 1751.24 sec. for 0% of probing (4173 vars fixed). Elapsed time 1761.51 sec. for 0% of probing (4173 vars fixed). Elapsed time 1771.64 sec. for 0% of probing (4173 vars fixed). Elapsed time 1781.76 sec. for 0% of probing (4173 vars fixed). Elapsed time 1791.81 sec. for 0% of probing (4173 vars fixed). Elapsed time 1802.17 sec. for 0% of probing (4173 vars fixed). Elapsed time 1812.17 sec. for 0% of probing (4173 vars fixed). Elapsed time 1822.27 sec. for 0% of probing (4173 vars fixed). Elapsed time 1832.48 sec. for 0% of probing (4173 vars fixed). Elapsed time 1842.56 sec. for 0% of probing (4173 vars fixed). Elapsed time 1852.57 sec. for 0% of probing (4173 vars fixed). Elapsed time 1862.64 sec. for 0% of probing (4173 vars fixed). Elapsed time 1872.68 sec. for 0% of probing (4173 vars fixed). Elapsed time 1882.73 sec. for 0% of probing (4173 vars fixed). Elapsed time 1892.78 sec. for 0% of probing (4173 vars fixed). Elapsed time 1902.87 sec. for 0% of probing (4173 vars fixed). Elapsed time 1913.01 sec. for 0% of probing (4173 vars fixed). Elapsed time 1923.11 sec. for 0% of probing (4173 vars fixed). Elapsed time 1933.16 sec. for 0% of probing (4173 vars fixed). Elapsed time 1943.23 sec. for 0% of probing (4173 vars fixed). Elapsed time 1953.28 sec. for 0% of probing (4173 vars fixed). Elapsed time 1963.28 sec. for 0% of probing (4173 vars fixed). Elapsed time 1973.54 sec. for 0% of probing (4173 vars fixed). Elapsed time 1983.65 sec. for 0% of probing (4173 vars fixed). Elapsed time 1993.68 sec. for 0% of probing (4173 vars fixed). Elapsed time 2003.83 sec. for 0% of probing (4173 vars fixed). Elapsed time 2013.85 sec. for 0% of probing (4173 vars fixed). Elapsed time 2023.95 sec. for 0% of probing (4173 vars fixed). Elapsed time 2034.05 sec. for 0% of probing (4173 vars fixed). Elapsed time 2044.06 sec. for 0% of probing (4173 vars fixed). Elapsed time 2054.15 sec. for 0% of probing (4173 vars fixed). Elapsed time 2064.19 sec. for 0% of probing (4173 vars fixed). Elapsed time 2074.26 sec. for 0% of probing (4173 vars fixed). Elapsed time 2084.34 sec. for 0% of probing (4173 vars fixed). Elapsed time 2094.43 sec. for 0% of probing (4173 vars fixed). Elapsed time 2104.53 sec. for 0% of probing (4173 vars fixed). Elapsed time 2114.70 sec. for 0% of probing (4173 vars fixed). Elapsed time 2124.73 sec. for 0% of probing (4173 vars fixed). Elapsed time 2134.79 sec. for 0% of probing (4173 vars fixed). Elapsed time 2144.83 sec. for 0% of probing (4173 vars fixed). Elapsed time 2155.16 sec. for 0% of probing (4173 vars fixed). Elapsed time 2165.26 sec. for 0% of probing (4173 vars fixed). Elapsed time 2175.36 sec. for 0% of probing (4173 vars fixed). Elapsed time 2185.49 sec. for 0% of probing (4173 vars fixed). Elapsed time 2195.51 sec. for 0% of probing (4173 vars fixed). Elapsed time 2205.90 sec. for 0% of probing (4173 vars fixed). Elapsed time 2215.92 sec. for 0% of probing (4173 vars fixed). Elapsed time 2226.05 sec. for 0% of probing (4173 vars fixed). Elapsed time 2236.36 sec. for 0% of probing (4173 vars fixed). Elapsed time 2246.58 sec. for 0% of probing (4173 vars fixed). Elapsed time 2256.78 sec. for 0% of probing (4173 vars fixed). Elapsed time 2266.88 sec. for 0% of probing (4173 vars fixed). Elapsed time 2277.06 sec. for 0% of probing (4173 vars fixed). Elapsed time 2287.09 sec. for 0% of probing (4173 vars fixed). Elapsed time 2297.20 sec. for 0% of probing (4173 vars fixed). Elapsed time 2307.21 sec. for 0% of probing (4173 vars fixed). Elapsed time 2317.22 sec. for 0% of probing (4173 vars fixed). Elapsed time 2327.25 sec. for 0% of probing (4173 vars fixed). Elapsed time 2337.53 sec. for 0% of probing (4173 vars fixed). Elapsed time 2347.73 sec. for 0% of probing (4173 vars fixed). Elapsed time 2357.84 sec. for 0% of probing (4173 vars fixed). Elapsed time 2367.92 sec. for 0% of probing (4173 vars fixed). Elapsed time 2378.00 sec. for 0% of probing (4173 vars fixed). Elapsed time 2388.09 sec. for 0% of probing (4173 vars fixed). Elapsed time 2398.17 sec. for 0% of probing (4173 vars fixed). Elapsed time 2408.21 sec. for 0% of probing (4173 vars fixed). Elapsed time 2418.27 sec. for 0% of probing (4173 vars fixed). Elapsed time 2428.33 sec. for 0% of probing (4173 vars fixed). Elapsed time 2438.36 sec. for 0% of probing (4173 vars fixed). Elapsed time 2448.38 sec. for 0% of probing (4173 vars fixed). Elapsed time 2458.49 sec. for 0% of probing (4173 vars fixed). Elapsed time 2468.52 sec. for 0% of probing (4173 vars fixed). Elapsed time 2478.57 sec. for 0% of probing (4173 vars fixed). Elapsed time 2488.62 sec. for 0% of probing (4173 vars fixed). Elapsed time 2498.63 sec. for 0% of probing (4173 vars fixed). Elapsed time 2508.64 sec. for 0% of probing (4173 vars fixed). Elapsed time 2518.69 sec. for 0% of probing (4173 vars fixed). Elapsed time 2528.70 sec. for 0% of probing (4173 vars fixed). Elapsed time 2538.71 sec. for 0% of probing (4173 vars fixed). Elapsed time 2548.76 sec. for 0% of probing (4173 vars fixed). Elapsed time 2558.85 sec. for 0% of probing (4173 vars fixed). Elapsed time 2569.02 sec. for 0% of probing (4173 vars fixed). Elapsed time 2579.13 sec. for 0% of probing (4173 vars fixed). Elapsed time 2589.20 sec. for 0% of probing (4173 vars fixed). Elapsed time 2599.37 sec. for 0% of probing (4173 vars fixed). Elapsed time 2609.49 sec. for 0% of probing (4173 vars fixed). Elapsed time 2619.58 sec. for 0% of probing (4173 vars fixed). Elapsed time 2629.59 sec. for 0% of probing (4173 vars fixed). Elapsed time 2639.78 sec. for 0% of probing (4173 vars fixed). Elapsed time 2649.87 sec. for 1% of probing (4173 vars fixed). Elapsed time 2659.99 sec. for 1% of probing (4173 vars fixed). Elapsed time 2670.08 sec. for 1% of probing (4173 vars fixed). Elapsed time 2680.17 sec. for 1% of probing (4173 vars fixed). Elapsed time 2690.35 sec. for 1% of probing (4173 vars fixed). Elapsed time 2700.45 sec. for 1% of probing (4173 vars fixed). Elapsed time 2710.52 sec. for 1% of probing (4173 vars fixed). Elapsed time 2720.56 sec. for 1% of probing (4173 vars fixed). Elapsed time 2730.59 sec. for 1% of probing (4173 vars fixed). Elapsed time 2740.66 sec. for 1% of probing (4173 vars fixed). Elapsed time 2750.70 sec. for 1% of probing (4173 vars fixed). Elapsed time 2760.86 sec. for 1% of probing (4173 vars fixed). Elapsed time 2770.94 sec. for 1% of probing (4173 vars fixed). Elapsed time 2781.03 sec. for 1% of probing (4173 vars fixed). Elapsed time 2791.09 sec. for 1% of probing (4173 vars fixed). Elapsed time 2801.16 sec. for 1% of probing (4173 vars fixed). Elapsed time 2811.30 sec. for 1% of probing (4173 vars fixed). Elapsed time 2821.31 sec. for 1% of probing (4173 vars fixed). Elapsed time 2831.45 sec. for 1% of probing (4173 vars fixed). Elapsed time 2841.56 sec. for 1% of probing (4173 vars fixed). Elapsed time 2851.73 sec. for 1% of probing (4173 vars fixed). Elapsed time 2861.83 sec. for 1% of probing (4173 vars fixed). Elapsed time 2871.92 sec. for 1% of probing (4173 vars fixed). Elapsed time 2882.07 sec. for 1% of probing (4173 vars fixed). Elapsed time 2892.20 sec. for 1% of probing (4173 vars fixed). Elapsed time 2902.22 sec. for 1% of probing (4173 vars fixed). Elapsed time 2912.30 sec. for 1% of probing (4173 vars fixed). Elapsed time 2922.42 sec. for 1% of probing (4173 vars fixed). Elapsed time 2932.50 sec. for 1% of probing (4173 vars fixed). Elapsed time 2942.66 sec. for 1% of probing (4173 vars fixed). Elapsed time 2952.78 sec. for 1% of probing (4173 vars fixed). Elapsed time 2962.94 sec. for 1% of probing (4173 vars fixed). Elapsed time 2973.00 sec. for 1% of probing (4173 vars fixed). Elapsed time 2983.09 sec. for 1% of probing (4173 vars fixed). Elapsed time 2993.23 sec. for 1% of probing (4173 vars fixed). Elapsed time 3003.27 sec. for 1% of probing (4173 vars fixed). Elapsed time 3013.28 sec. for 1% of probing (4173 vars fixed). Elapsed time 3023.38 sec. for 1% of probing (4173 vars fixed). Elapsed time 3033.45 sec. for 1% of probing (4173 vars fixed). Elapsed time 3043.47 sec. for 1% of probing (4173 vars fixed). Elapsed time 3053.50 sec. for 1% of probing (4173 vars fixed). Elapsed time 3063.55 sec. for 1% of probing (4173 vars fixed). Elapsed time 3073.58 sec. for 1% of probing (4173 vars fixed). Elapsed time 3083.68 sec. for 1% of probing (4173 vars fixed). Elapsed time 3093.78 sec. for 1% of probing (4173 vars fixed). Elapsed time 3103.81 sec. for 1% of probing (4173 vars fixed). Elapsed time 3113.81 sec. for 1% of probing (4173 vars fixed). Elapsed time 3123.87 sec. for 1% of probing (4173 vars fixed). Elapsed time 3133.89 sec. for 1% of probing (4173 vars fixed). Elapsed time 3143.92 sec. for 1% of probing (4173 vars fixed). Elapsed time 3153.95 sec. for 1% of probing (4173 vars fixed). Elapsed time 3164.01 sec. for 1% of probing (4173 vars fixed). Probing fixed 4173 vars, tightened 0 bounds. Probing time = 3165.24 sec. Presolve has eliminated 39 rows and 4212 columns... Tried aggregator 1 time. Presolve has eliminated 39 rows and 4212 columns... MIP Presolve eliminated 39 rows and 4212 columns. Reduced MIP has 117177 rows, 3522057 columns, and 7158816 nonzeros. Reduced MIP has 3522057 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 3225.42 sec. Elapsed time 15.11 sec. for 0% of probing. Elapsed time 26.11 sec. for 0% of probing. Elapsed time 48.50 sec. for 0% of probing. Elapsed time 70.96 sec. for 0% of probing. Elapsed time 86.48 sec. for 0% of probing. Elapsed time 101.13 sec. for 0% of probing. Elapsed time 127.80 sec. for 0% of probing. Elapsed time 148.53 sec. for 0% of probing. Probing time = 156.92 sec. Clique table members: 14657622. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 9369.35 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 4.01672e+12 4.00666e+12 2091541 0.25% 0 0 4.00666e+12 1516 4.01672e+12 4.00666e+12 2091541 0.25% * 0+ 0 4.01079e+12 4.00666e+12 2091541 0.10% Heuristic still looking. 0 2 4.00666e+12 1516 4.01079e+12 4.00666e+12 2091541 0.10% Elapsed real time = 50166.59 sec. (tree size = 0.00 MB, solutions = 2) 1 3 4.00669e+12 1516 4.01079e+12 4.00666e+12 2093666 0.10% 2 4 4.00671e+12 2607 4.01079e+12 4.00669e+12 2097862 0.10% 3 5 4.00670e+12 1515 4.01079e+12 4.00669e+12 2099536 0.10% 4 6 4.00671e+12 1472 4.01079e+12 4.00670e+12 2102531 0.10% 5 7 4.00682e+12 1516 4.01079e+12 4.00670e+12 2111881 0.10% 6 8 4.00680e+12 1426 4.01079e+12 4.00670e+12 2117300 0.10% 7 9 4.00734e+12 1377 4.01079e+12 4.00670e+12 2140735 0.10% 8 10 4.00735e+12 1377 4.01079e+12 4.00670e+12 2142413 0.10% 9 11 4.00818e+12 1425 4.01079e+12 4.00670e+12 2187709 0.10% 10 12 4.00755e+12 1377 4.01079e+12 4.00670e+12 2198065 0.10% Elapsed real time = 51607.14 sec. (tree size = 20.68 MB, solutions = 2) 11 13 4.00795e+12 1377 4.01079e+12 4.00670e+12 2233073 0.10% 12 14 4.00756e+12 1327 4.01079e+12 4.00670e+12 2236245 0.10% 13 15 4.00759e+12 1275 4.01079e+12 4.00670e+12 2239029 0.10% 14 16 4.00773e+12 1275 4.01079e+12 4.00670e+12 2247294 0.10% 15 17 4.00782e+12 1223 4.01079e+12 4.00670e+12 2263772 0.10% 16 18 4.00785e+12 1277 4.01079e+12 4.00670e+12 2267791 0.10% 17 19 4.00809e+12 1167 4.01079e+12 4.00670e+12 2285942 0.10% 18 20 4.00811e+12 1167 4.01079e+12 4.00670e+12 2288630 0.10% 19 21 4.00862e+12 1109 4.01079e+12 4.00670e+12 2317397 0.10% 20 22 4.00865e+12 1109 4.01079e+12 4.00670e+12 2324774 0.10% Elapsed real time = 52704.11 sec. (tree size = 46.83 MB, solutions = 2) 21 23 4.00902e+12 1049 4.01079e+12 4.00670e+12 2350235 0.10% 22 24 4.00902e+12 1049 4.01079e+12 4.00670e+12 2351543 0.10% 23 25 4.00902e+12 1612 4.01079e+12 4.00670e+12 2353345 0.10% 24 26 4.00903e+12 987 4.01079e+12 4.00670e+12 2353608 0.10% 25 27 4.00914e+12 858 4.01079e+12 4.00670e+12 2365053 0.10% 26 28 4.00915e+12 858 4.01079e+12 4.00670e+12 2366203 0.10% 27 29 4.00915e+12 790 4.01079e+12 4.00670e+12 2368375 0.10% 28 30 4.00917e+12 790 4.01079e+12 4.00670e+12 2371588 0.10% 29 31 4.00929e+12 720 4.01079e+12 4.00670e+12 2377715 0.10% * 30+ 30 4.01046e+12 4.00670e+12 2380580 0.09% 30 32 4.00932e+12 790 4.01046e+12 4.00670e+12 2380580 0.09% Elapsed real time = 53313.54 sec. (tree size = 72.97 MB, solutions = 3) 31 33 4.00937e+12 420 4.01046e+12 4.00670e+12 2384083 0.09% 32 34 4.00939e+12 340 4.01046e+12 4.00670e+12 2384746 0.09% 34 36 4.00944e+12 258 4.01046e+12 4.00670e+12 2385560 0.09% * 35 33 integral 0 4.00943e+12 4.00670e+12 2385660 0.07% 36 34 4.00673e+12 1995 4.00943e+12 4.00670e+12 2389352 0.07% 38 36 4.00675e+12 1472 4.00943e+12 4.00670e+12 2391900 0.07% 39 37 4.00676e+12 1472 4.00943e+12 4.00670e+12 2393247 0.07% 40 38 4.00691e+12 1472 4.00943e+12 4.00670e+12 2401889 0.07% 41 39 4.00683e+12 1472 4.00943e+12 4.00670e+12 2409254 0.07% 42 40 4.00703e+12 4902 4.00943e+12 4.00670e+12 2431888 0.07% Elapsed real time = 54198.89 sec. (tree size = 94.64 MB, solutions = 4) 43 41 4.00685e+12 1426 4.00943e+12 4.00670e+12 2432342 0.07% 44 42 4.00688e+12 1378 4.00943e+12 4.00670e+12 2438747 0.07% 45 43 4.00690e+12 1378 4.00943e+12 4.00670e+12 2439693 0.07% 46 44 4.00792e+12 1426 4.00943e+12 4.00670e+12 2495760 0.07% 47 45 4.00705e+12 1378 4.00943e+12 4.00670e+12 2504346 0.07% 48 46 4.00760e+12 1328 4.00943e+12 4.00670e+12 2542095 0.07% 49 47 4.00762e+12 1276 4.00943e+12 4.00670e+12 2545391 0.07% 50 48 4.00766e+12 1276 4.00943e+12 4.00670e+12 2549171 0.07% 51 49 4.00789e+12 1222 4.00943e+12 4.00670e+12 2567871 0.07% 52 50 4.00803e+12 1222 4.00943e+12 4.00670e+12 2577291 0.07% Elapsed real time = 55757.91 sec. (tree size = 115.35 MB, solutions = 4) 53 51 4.00812e+12 1168 4.00943e+12 4.00670e+12 2588476 0.07% 54 52 4.00814e+12 1168 4.00943e+12 4.00670e+12 2590458 0.07% 55 53 4.00858e+12 1168 4.00943e+12 4.00670e+12 2616995 0.07% 56 54 4.00816e+12 1168 4.00943e+12 4.00670e+12 2618382 0.07% 57 55 4.00861e+12 1168 4.00943e+12 4.00670e+12 2645111 0.07% 58 56 4.00826e+12 1301 4.00943e+12 4.00670e+12 2653628 0.07% 59 57 4.00865e+12 1168 4.00943e+12 4.00670e+12 2680445 0.07% 60 58 4.00828e+12 1168 4.00943e+12 4.00670e+12 2682439 0.07% 61 59 4.00837e+12 1168 4.00943e+12 4.00670e+12 2691434 0.07% 62 60 4.00829e+12 1168 4.00943e+12 4.00670e+12 2692611 0.07% Elapsed real time = 56654.35 sec. (tree size = 140.79 MB, solutions = 4) Nodefile size = 13.07 MB (3.97 MB after compression) 63 61 4.00841e+12 1168 4.00943e+12 4.00670e+12 2705245 0.07% 64 62 4.00830e+12 1168 4.00943e+12 4.00670e+12 2706118 0.07% 65 63 4.00841e+12 1168 4.00943e+12 4.00670e+12 2717845 0.07% 66 64 4.00831e+12 1168 4.00943e+12 4.00670e+12 2718300 0.07% 67 65 4.00841e+12 1168 4.00943e+12 4.00670e+12 2727733 0.07% 68 66 4.00832e+12 1168 4.00943e+12 4.00670e+12 2728259 0.07% 69 67 4.00847e+12 1168 4.00943e+12 4.00670e+12 2740093 0.07% 70 68 4.00834e+12 1168 4.00943e+12 4.00670e+12 2742465 0.07% 71 69 4.00847e+12 1168 4.00943e+12 4.00670e+12 2754223 0.07% 72 70 4.00834e+12 1168 4.00943e+12 4.00670e+12 2754504 0.07% Elapsed real time = 57297.50 sec. (tree size = 166.07 MB, solutions = 4) Nodefile size = 39.22 MB (11.98 MB after compression) 73 71 4.00853e+12 1168 4.00943e+12 4.00670e+12 2771923 0.07% 74 72 4.00834e+12 1168 4.00943e+12 4.00670e+12 2772197 0.07% 75 73 4.00857e+12 1168 4.00943e+12 4.00670e+12 2788889 0.07% 76 74 4.00835e+12 1168 4.00943e+12 4.00670e+12 2789198 0.07% 77 75 4.00853e+12 1168 4.00943e+12 4.00670e+12 2803787 0.07% 79 77 4.00858e+12 1168 4.00943e+12 4.00670e+12 2821480 0.07% 80 78 4.00836e+12 1168 4.00943e+12 4.00670e+12 2821907 0.07% 81 79 4.00854e+12 1168 4.00943e+12 4.00670e+12 2834607 0.07% 82 80 4.00838e+12 1168 4.00943e+12 4.00670e+12 2835961 0.07% 83 81 4.00859e+12 1168 4.00943e+12 4.00670e+12 2850290 0.07% Elapsed real time = 58066.23 sec. (tree size = 197.11 MB, solutions = 4) Nodefile size = 70.38 MB (26.49 MB after compression) 84 82 4.00839e+12 1168 4.00943e+12 4.00670e+12 2851061 0.07% 85 83 4.00854e+12 1168 4.00943e+12 4.00670e+12 2860401 0.07% 87 85 4.00859e+12 1168 4.00943e+12 4.00670e+12 2872594 0.07% 88 86 4.00853e+12 1224 4.00943e+12 4.00670e+12 2881349 0.07% 89 87 4.00881e+12 1110 4.00943e+12 4.00670e+12 2910175 0.07% * 90+ 82 4.00922e+12 4.00670e+12 2914904 0.06% 90 84 4.00883e+12 1110 4.00922e+12 4.00670e+12 2914904 0.06% 91 85 4.00882e+12 1084 4.00922e+12 4.00670e+12 2917200 0.06% 92 86 4.00886e+12 1382 4.00922e+12 4.00670e+12 2924547 0.06% 93 85 cutoff 4.00922e+12 4.00670e+12 2937750 0.06% 94 86 4.00886e+12 1569 4.00922e+12 4.00670e+12 2938146 0.06% Elapsed real time = 58896.62 sec. (tree size = 207.36 MB, solutions = 5) Nodefile size = 80.64 MB (32.86 MB after compression) 95 85 cutoff 4.00922e+12 4.00670e+12 2950231 0.06% 96 86 4.00901e+12 2115 4.00922e+12 4.00670e+12 2961115 0.06% 98 88 4.00886e+12 1395 4.00922e+12 4.00670e+12 2962024 0.06% 99 89 4.00891e+12 1435 4.00922e+12 4.00670e+12 2966242 0.06% * 100 78 integral 0 4.00895e+12 4.00670e+12 2971828 0.06% 101 77 cutoff 4.00895e+12 4.00670e+12 2977554 0.06% 103 77 4.00689e+12 1516 4.00895e+12 4.00671e+12 2992516 0.06% 104 78 4.00698e+12 1426 4.00895e+12 4.00671e+12 2996924 0.06% 105 79 4.00701e+12 1378 4.00895e+12 4.00671e+12 3000922 0.06% 106 80 4.00704e+12 1378 4.00895e+12 4.00671e+12 3002975 0.06% Elapsed real time = 59537.60 sec. (tree size = 193.62 MB, solutions = 6) Nodefile size = 67.53 MB (29.65 MB after compression) 107 81 4.00717e+12 1378 4.00895e+12 4.00671e+12 3012076 0.06% 108 82 4.00719e+12 1328 4.00895e+12 4.00671e+12 3014994 0.06% 109 83 4.00722e+12 1276 4.00895e+12 4.00671e+12 3017757 0.06% 110 84 4.00725e+12 1276 4.00895e+12 4.00671e+12 3021294 0.06% 112 86 4.00739e+12 1276 4.00895e+12 4.00671e+12 3031786 0.06% 113 87 4.00743e+12 2070 4.00895e+12 4.00671e+12 3034085 0.06% 115 89 4.00746e+12 3764 4.00895e+12 4.00671e+12 3041953 0.06% 118 92 4.00747e+12 1296 4.00895e+12 4.00671e+12 3045241 0.06% 121 95 4.00749e+12 1276 4.00895e+12 4.00671e+12 3046614 0.06% 122 96 4.00751e+12 1276 4.00895e+12 4.00671e+12 3050427 0.06% Elapsed real time = 60001.02 sec. (tree size = 230.53 MB, solutions = 6) Nodefile size = 103.00 MB (46.19 MB after compression) 124 98 4.00756e+12 1276 4.00895e+12 4.00671e+12 3055510 0.06% 129 103 4.00762e+12 1276 4.00895e+12 4.00671e+12 3058124 0.06% 130 104 4.00763e+12 1276 4.00895e+12 4.00671e+12 3059495 0.06% 133 107 4.00764e+12 1276 4.00895e+12 4.00671e+12 3061736 0.06% 134 108 4.00768e+12 1276 4.00895e+12 4.00671e+12 3066650 0.06% 135 109 4.00772e+12 1276 4.00895e+12 4.00671e+12 3073795 0.06% 137 111 4.00779e+12 1224 4.00895e+12 4.00671e+12 3082963 0.06% 138 112 4.00781e+12 1278 4.00895e+12 4.00671e+12 3085966 0.06% 139 113 4.00786e+12 1278 4.00895e+12 4.00671e+12 3091962 0.06% 140 114 4.00787e+12 1797 4.00895e+12 4.00671e+12 3094729 0.06% Elapsed real time = 60753.30 sec. (tree size = 273.01 MB, solutions = 6) Nodefile size = 145.80 MB (61.72 MB after compression) 141 115 4.00790e+12 1278 4.00895e+12 4.00671e+12 3099889 0.06% 142 116 4.00792e+12 2451 4.00895e+12 4.00671e+12 3102090 0.06% 143 117 4.00794e+12 1224 4.00895e+12 4.00671e+12 3105137 0.06% 144 118 4.00794e+12 2140 4.00895e+12 4.00671e+12 3106665 0.06% 145 119 4.00807e+12 1330 4.00895e+12 4.00671e+12 3117524 0.06% 147 121 4.00810e+12 1278 4.00895e+12 4.00671e+12 3121710 0.06% 148 122 4.00813e+12 1224 4.00895e+12 4.00671e+12 3124763 0.06% 150 124 4.00816e+12 1276 4.00895e+12 4.00671e+12 3130815 0.06% 152 126 4.00817e+12 1276 4.00895e+12 4.00671e+12 3132655 0.06% 153 127 4.00818e+12 1276 4.00895e+12 4.00671e+12 3135812 0.06% Elapsed real time = 61228.65 sec. (tree size = 305.19 MB, solutions = 6) Nodefile size = 177.87 MB (76.40 MB after compression) 156 130 4.00819e+12 1276 4.00895e+12 4.00671e+12 3138601 0.06% 160 134 4.00820e+12 1276 4.00895e+12 4.00671e+12 3141155 0.06% 163 137 4.00820e+12 1276 4.00895e+12 4.00671e+12 3144077 0.06% 164 138 4.00821e+12 1276 4.00895e+12 4.00671e+12 3146027 0.06% 167 141 4.00821e+12 1276 4.00895e+12 4.00671e+12 3147637 0.06% 169 143 4.00823e+12 1328 4.00895e+12 4.00671e+12 3150153 0.06% 171 145 4.00823e+12 1276 4.00895e+12 4.00671e+12 3153995 0.06% 176 150 4.00824e+12 1276 4.00895e+12 4.00671e+12 3155178 0.06% 180 154 4.00827e+12 1276 4.00895e+12 4.00671e+12 3158739 0.06% 181 155 4.00828e+12 1276 4.00895e+12 4.00671e+12 3161007 0.06% Elapsed real time = 61520.51 sec. (tree size = 376.25 MB, solutions = 6) Nodefile size = 248.89 MB (109.78 MB after compression) 186 160 4.00831e+12 1224 4.00895e+12 4.00671e+12 3163531 0.06% 188 162 4.00834e+12 1224 4.00895e+12 4.00671e+12 3167220 0.06% 190 164 4.00846e+12 1223 4.00895e+12 4.00671e+12 3181914 0.06% 191 165 4.00849e+12 1224 4.00895e+12 4.00671e+12 3186597 0.06% 192 166 4.00854e+12 2720 4.00895e+12 4.00671e+12 3193271 0.06% 193 167 4.00859e+12 1224 4.00895e+12 4.00671e+12 3201364 0.06% 194 168 4.00865e+12 1980 4.00895e+12 4.00671e+12 3221813 0.06% 195 169 4.00866e+12 1528 4.00895e+12 4.00671e+12 3226438 0.06% 196 170 4.00869e+12 1618 4.00895e+12 4.00671e+12 3231606 0.06% 197 171 4.00876e+12 1975 4.00895e+12 4.00671e+12 3247474 0.06% Elapsed real time = 62715.91 sec. (tree size = 417.76 MB, solutions = 6) Nodefile size = 290.34 MB (127.85 MB after compression) 199 173 4.00878e+12 1860 4.00895e+12 4.00671e+12 3254289 0.06% 200 174 4.00879e+12 1877 4.00895e+12 4.00671e+12 3259780 0.06% 201 175 4.00881e+12 1977 4.00895e+12 4.00671e+12 3263359 0.06% 205 179 4.00883e+12 2504 4.00895e+12 4.00671e+12 3267649 0.06% 207 181 4.00883e+12 1898 4.00895e+12 4.00671e+12 3271796 0.06% 209 183 4.00883e+12 1932 4.00895e+12 4.00671e+12 3273462 0.06% 210 184 4.00884e+12 1862 4.00895e+12 4.00671e+12 3274651 0.06% 211 185 4.00884e+12 1977 4.00895e+12 4.00671e+12 3276309 0.06% 213 187 4.00884e+12 1862 4.00895e+12 4.00671e+12 3277571 0.06% 215 189 4.00886e+12 1938 4.00895e+12 4.00671e+12 3281989 0.06% Elapsed real time = 63170.28 sec. (tree size = 464.84 MB, solutions = 6) Nodefile size = 337.42 MB (146.18 MB after compression) 217 191 4.00886e+12 1938 4.00895e+12 4.00671e+12 3283375 0.06% 218 192 4.00887e+12 2458 4.00895e+12 4.00671e+12 3287140 0.06% 219 193 4.00888e+12 2837 4.00895e+12 4.00671e+12 3290393 0.06% 220 194 4.00888e+12 1896 4.00895e+12 4.00671e+12 3290959 0.06% 222 196 4.00888e+12 2465 4.00895e+12 4.00671e+12 3294599 0.06% 223 197 4.00888e+12 1947 4.00895e+12 4.00671e+12 3298724 0.06% 225 199 4.00889e+12 3650 4.00895e+12 4.00671e+12 3302239 0.06% 226 200 4.00890e+12 2391 4.00895e+12 4.00671e+12 3304947 0.06% 227 201 4.00890e+12 2127 4.00895e+12 4.00671e+12 3306279 0.06% 229 203 4.00890e+12 1224 4.00895e+12 4.00671e+12 3308359 0.06% Elapsed real time = 63507.76 sec. (tree size = 501.47 MB, solutions = 6) Nodefile size = 374.06 MB (160.89 MB after compression) 231 205 4.00891e+12 1224 4.00895e+12 4.00671e+12 3309628 0.06% 233 207 4.00892e+12 1340 4.00895e+12 4.00671e+12 3313386 0.06% 235 205 cutoff 4.00895e+12 4.00671e+12 3318007 0.06% 236 206 4.00682e+12 1600 4.00895e+12 4.00671e+12 3327292 0.06% 238 208 4.00688e+12 1472 4.00895e+12 4.00671e+12 3329130 0.06% 239 209 4.00689e+12 1426 4.00895e+12 4.00671e+12 3330643 0.06% 240 210 4.00692e+12 1378 4.00895e+12 4.00671e+12 3336233 0.06% 241 211 4.00695e+12 1378 4.00895e+12 4.00671e+12 3338014 0.06% 242 212 4.00709e+12 1378 4.00895e+12 4.00671e+12 3345500 0.06% 243 213 4.00710e+12 1328 4.00895e+12 4.00671e+12 3348127 0.06% Elapsed real time = 63922.40 sec. (tree size = 525.39 MB, solutions = 6) Nodefile size = 399.17 MB (171.10 MB after compression) 244 214 4.00713e+12 1276 4.00895e+12 4.00671e+12 3350482 0.06% 245 215 4.00727e+12 1276 4.00895e+12 4.00671e+12 3356184 0.06% 247 217 4.00731e+12 1276 4.00895e+12 4.00671e+12 3358614 0.06% 248 218 4.00734e+12 1276 4.00895e+12 4.00671e+12 3361207 0.06% 250 220 4.00737e+12 1276 4.00895e+12 4.00671e+12 3364307 0.06% 251 221 4.00737e+12 1276 4.00895e+12 4.00671e+12 3365528 0.06% 254 224 4.00745e+12 1276 4.00895e+12 4.00671e+12 3369189 0.06% 258 228 4.00748e+12 1276 4.00895e+12 4.00671e+12 3371585 0.06% 259 229 4.00750e+12 1276 4.00895e+12 4.00671e+12 3374627 0.06% 261 231 4.00752e+12 1276 4.00895e+12 4.00671e+12 3376370 0.06% Elapsed real time = 64134.65 sec. (tree size = 566.75 MB, solutions = 6) Nodefile size = 439.51 MB (188.03 MB after compression) 262 232 4.00754e+12 1224 4.00895e+12 4.00671e+12 3379109 0.06% 263 233 4.00760e+12 1224 4.00895e+12 4.00671e+12 3386856 0.06% 264 234 4.00762e+12 1278 4.00895e+12 4.00671e+12 3389672 0.06% 265 235 4.00767e+12 1278 4.00895e+12 4.00671e+12 3395209 0.06% 267 237 4.00771e+12 2116 4.00895e+12 4.00671e+12 3400851 0.06% 268 238 4.00774e+12 1798 4.00895e+12 4.00671e+12 3405956 0.06% 270 240 4.00777e+12 1278 4.00895e+12 4.00671e+12 3409511 0.06% 272 242 4.00782e+12 1224 4.00895e+12 4.00671e+12 3414853 0.06% 274 244 4.00783e+12 1224 4.00895e+12 4.00671e+12 3417629 0.06% 275 245 4.00798e+12 1224 4.00895e+12 4.00671e+12 3430885 0.06% Elapsed real time = 64608.92 sec. (tree size = 599.82 MB, solutions = 6) Nodefile size = 472.50 MB (202.21 MB after compression) 276 246 4.00800e+12 1311 4.00895e+12 4.00671e+12 3434815 0.06% 278 248 4.00802e+12 1224 4.00895e+12 4.00671e+12 3437019 0.06% 279 249 4.00803e+12 2134 4.00895e+12 4.00671e+12 3439478 0.06% 280 250 4.00803e+12 1520 4.00895e+12 4.00671e+12 3440177 0.06% 281 251 4.00806e+12 1602 4.00895e+12 4.00671e+12 3447155 0.06% 282 252 4.00807e+12 1278 4.00895e+12 4.00671e+12 3449379 0.06% 283 253 4.00810e+12 1278 4.00895e+12 4.00671e+12 3453107 0.06% 284 254 4.00812e+12 1278 4.00895e+12 4.00671e+12 3456052 0.06% 285 255 4.00814e+12 1278 4.00895e+12 4.00671e+12 3458090 0.06% 286 256 4.00816e+12 1224 4.00895e+12 4.00671e+12 3460231 0.06% Elapsed real time = 65015.80 sec. (tree size = 626.82 MB, solutions = 6) Nodefile size = 499.41 MB (214.37 MB after compression) 288 258 4.00818e+12 1224 4.00895e+12 4.00671e+12 3462880 0.06% 289 259 4.00820e+12 1224 4.00895e+12 4.00671e+12 3465084 0.06% 290 260 4.00820e+12 1224 4.00895e+12 4.00671e+12 3466115 0.06% 292 262 4.00826e+12 1710 4.00895e+12 4.00671e+12 3473016 0.06% 294 264 4.00828e+12 1224 4.00895e+12 4.00671e+12 3475811 0.06% 296 266 4.00830e+12 4355 4.00895e+12 4.00671e+12 3477175 0.06% 297 267 4.00831e+12 1691 4.00895e+12 4.00671e+12 3479650 0.06% 299 269 4.00833e+12 3572 4.00895e+12 4.00671e+12 3485081 0.06% 300 270 4.00833e+12 1743 4.00895e+12 4.00671e+12 3487011 0.06% 301 271 4.00843e+12 1276 4.00895e+12 4.00671e+12 3498948 0.06% Elapsed real time = 65481.66 sec. (tree size = 665.00 MB, solutions = 6) Nodefile size = 537.48 MB (232.36 MB after compression) 303 273 4.00846e+12 3159 4.00895e+12 4.00671e+12 3509421 0.06% 304 274 4.00846e+12 2549 4.00895e+12 4.00671e+12 3510978 0.06% 305 275 4.00846e+12 1224 4.00895e+12 4.00671e+12 3512440 0.06% 306 276 4.00847e+12 3595 4.00895e+12 4.00671e+12 3516135 0.06% 308 278 4.00849e+12 1599 4.00895e+12 4.00671e+12 3520304 0.06% 310 280 4.00850e+12 1168 4.00895e+12 4.00671e+12 3522380 0.06% 312 282 4.00851e+12 1923 4.00895e+12 4.00671e+12 3526293 0.06% 314 284 4.00851e+12 1508 4.00895e+12 4.00671e+12 3527775 0.06% 316 286 4.00852e+12 2342 4.00895e+12 4.00671e+12 3532779 0.06% 318 288 4.00853e+12 1168 4.00895e+12 4.00671e+12 3533704 0.06% Elapsed real time = 66020.18 sec. (tree size = 709.45 MB, solutions = 6) Nodefile size = 581.91 MB (248.90 MB after compression) 320 290 4.00853e+12 1467 4.00895e+12 4.00671e+12 3534288 0.06% 323 293 4.00854e+12 2960 4.00895e+12 4.00671e+12 3537068 0.06% 325 295 4.00854e+12 2009 4.00895e+12 4.00671e+12 3539315 0.06% 326 296 4.00855e+12 1339 4.00895e+12 4.00671e+12 3542286 0.06% 328 298 4.00855e+12 1168 4.00895e+12 4.00671e+12 3543381 0.06% 330 300 4.00856e+12 1168 4.00895e+12 4.00671e+12 3545250 0.06% 333 303 4.00856e+12 1168 4.00895e+12 4.00671e+12 3547207 0.06% 337 307 4.00857e+12 2807 4.00895e+12 4.00671e+12 3549656 0.06% 340 310 4.00858e+12 1168 4.00895e+12 4.00671e+12 3550303 0.06% 343 313 4.00859e+12 1168 4.00895e+12 4.00671e+12 3552456 0.06% Elapsed real time = 66343.60 sec. (tree size = 774.81 MB, solutions = 6) Nodefile size = 647.28 MB (273.07 MB after compression) 344 314 4.00859e+12 2055 4.00895e+12 4.00671e+12 3554045 0.06% 347 317 4.00860e+12 1168 4.00895e+12 4.00671e+12 3555937 0.06% 349 319 4.00860e+12 4957 4.00895e+12 4.00671e+12 3557601 0.06% 350 320 4.00862e+12 1385 4.00895e+12 4.00671e+12 3559603 0.06% 351 321 4.00862e+12 1516 4.00895e+12 4.00671e+12 3560985 0.06% 352 322 4.00863e+12 1425 4.00895e+12 4.00671e+12 3563581 0.06% 354 324 4.00863e+12 1467 4.00895e+12 4.00671e+12 3565103 0.06% 356 326 4.00864e+12 1383 4.00895e+12 4.00671e+12 3567396 0.06% 358 328 4.00864e+12 1425 4.00895e+12 4.00671e+12 3569938 0.06% 359 329 4.00865e+12 1467 4.00895e+12 4.00671e+12 3572358 0.06% Elapsed real time = 66630.16 sec. (tree size = 816.65 MB, solutions = 6) Nodefile size = 689.11 MB (288.69 MB after compression) 360 330 4.00865e+12 1341 4.00895e+12 4.00671e+12 3573114 0.06% 362 332 4.00867e+12 1168 4.00895e+12 4.00671e+12 3574978 0.06% 365 335 4.00867e+12 1168 4.00895e+12 4.00671e+12 3576525 0.06% 367 337 4.00868e+12 1168 4.00895e+12 4.00671e+12 3577834 0.06% 369 339 4.00868e+12 1168 4.00895e+12 4.00671e+12 3579200 0.06% 372 342 4.00871e+12 1384 4.00895e+12 4.00671e+12 3580808 0.06% 373 343 4.00874e+12 1168 4.00895e+12 4.00671e+12 3585635 0.06% 374 344 4.00875e+12 1383 4.00895e+12 4.00671e+12 3587432 0.06% 376 346 4.00875e+12 1388 4.00895e+12 4.00671e+12 3589360 0.06% 377 347 4.00877e+12 1932 4.00895e+12 4.00671e+12 3592520 0.06% Elapsed real time = 66878.45 sec. (tree size = 863.73 MB, solutions = 6) Nodefile size = 736.19 MB (306.54 MB after compression) 378 348 4.00878e+12 1822 4.00895e+12 4.00671e+12 3594883 0.06% 379 349 4.00878e+12 1617 4.00895e+12 4.00671e+12 3596479 0.06% 380 350 4.00879e+12 1341 4.00895e+12 4.00671e+12 3599001 0.06% 381 351 4.00879e+12 1531 4.00895e+12 4.00671e+12 3600614 0.06% 382 352 4.00879e+12 2303 4.00895e+12 4.00671e+12 3602257 0.06% 383 353 4.00880e+12 1429 4.00895e+12 4.00671e+12 3603838 0.06% 384 354 4.00881e+12 2947 4.00895e+12 4.00671e+12 3606093 0.06% 385 355 4.00882e+12 1168 4.00895e+12 4.00671e+12 3609137 0.06% 386 356 4.00887e+12 1224 4.00895e+12 4.00671e+12 3618696 0.06% 388 358 4.00888e+12 2491 4.00895e+12 4.00671e+12 3620445 0.06% Elapsed real time = 67203.81 sec. (tree size = 892.51 MB, solutions = 6) Nodefile size = 764.97 MB (317.77 MB after compression) 389 359 4.00892e+12 1587 4.00895e+12 4.00671e+12 3624057 0.06% 390 360 4.00893e+12 1598 4.00895e+12 4.00671e+12 3625767 0.06% 395 359 4.00681e+12 1426 4.00895e+12 4.00673e+12 3634604 0.06% 396 360 4.00684e+12 3362 4.00895e+12 4.00673e+12 3642277 0.06% 397 361 4.00686e+12 1378 4.00895e+12 4.00673e+12 3644222 0.06% 398 362 4.00701e+12 1378 4.00895e+12 4.00673e+12 3655508 0.06% 399 363 4.00702e+12 1328 4.00895e+12 4.00673e+12 3658428 0.06% 400 364 4.00706e+12 1276 4.00895e+12 4.00673e+12 3661067 0.06% 401 365 4.00719e+12 1276 4.00895e+12 4.00673e+12 3667561 0.06% 402 366 4.00723e+12 1276 4.00895e+12 4.00673e+12 3671067 0.06% Elapsed real time = 67901.02 sec. (tree size = 911.26 MB, solutions = 6) Nodefile size = 784.42 MB (325.90 MB after compression) 403 367 4.00729e+12 1276 4.00895e+12 4.00673e+12 3680554 0.06% 404 368 4.00732e+12 1276 4.00895e+12 4.00673e+12 3682788 0.06% 406 370 4.00735e+12 1276 4.00895e+12 4.00673e+12 3686189 0.06% 407 371 4.00735e+12 1276 4.00895e+12 4.00673e+12 3687962 0.06% 409 373 4.00737e+12 1276 4.00895e+12 4.00673e+12 3689882 0.06% 412 376 4.00739e+12 1276 4.00895e+12 4.00673e+12 3691474 0.06% 415 379 4.00746e+12 1276 4.00895e+12 4.00673e+12 3695915 0.06% 420 384 4.00751e+12 1276 4.00895e+12 4.00673e+12 3699934 0.06% 422 386 4.00753e+12 1276 4.00895e+12 4.00673e+12 3702338 0.06% 423 387 4.00757e+12 1276 4.00895e+12 4.00673e+12 3708874 0.06% Elapsed real time = 68281.60 sec. (tree size = 959.67 MB, solutions = 6) Nodefile size = 833.00 MB (346.45 MB after compression) 424 388 4.00761e+12 1276 4.00895e+12 4.00673e+12 3715719 0.06% 425 389 4.00763e+12 1328 4.00895e+12 4.00673e+12 3718493 0.06% 426 390 4.00768e+12 1328 4.00895e+12 4.00673e+12 3724469 0.06% 427 391 4.00769e+12 1667 4.00895e+12 4.00673e+12 3726721 0.06% 428 392 4.00772e+12 1328 4.00895e+12 4.00673e+12 3731808 0.06% 429 393 4.00773e+12 1626 4.00895e+12 4.00673e+12 3733154 0.06% 430 394 4.00775e+12 1276 4.00895e+12 4.00673e+12 3735883 0.06% 431 395 4.00776e+12 1276 4.00895e+12 4.00673e+12 3736865 0.06% 435 399 4.00782e+12 1328 4.00895e+12 4.00673e+12 3744247 0.06% 436 400 4.00785e+12 1276 4.00895e+12 4.00673e+12 3746703 0.06% Elapsed real time = 68691.23 sec. (tree size = 990.30 MB, solutions = 6) Nodefile size = 863.57 MB (359.70 MB after compression) 437 401 4.00788e+12 1743 4.00895e+12 4.00673e+12 3749295 0.06% 439 403 4.00788e+12 1276 4.00895e+12 4.00673e+12 3751600 0.06% 440 404 4.00789e+12 1224 4.00895e+12 4.00673e+12 3753854 0.06% 443 407 4.00794e+12 1224 4.00895e+12 4.00673e+12 3759671 0.06% 445 409 4.00794e+12 1224 4.00895e+12 4.00673e+12 3761281 0.06% 446 410 4.00800e+12 1224 4.00895e+12 4.00673e+12 3768284 0.06% 448 412 4.00802e+12 1224 4.00895e+12 4.00673e+12 3771264 0.06% 449 413 4.00804e+12 1224 4.00895e+12 4.00673e+12 3773719 0.06% 451 415 4.00807e+12 1224 4.00895e+12 4.00673e+12 3778187 0.06% 452 416 4.00808e+12 1278 4.00895e+12 4.00673e+12 3781104 0.06% Elapsed real time = 69161.04 sec. (tree size = 1028.98 MB, solutions = 6) Nodefile size = 902.16 MB (376.98 MB after compression) 453 417 4.00811e+12 1278 4.00895e+12 4.00673e+12 3784092 0.06% 454 418 4.00812e+12 1278 4.00895e+12 4.00673e+12 3786414 0.06% 455 419 4.00814e+12 1278 4.00895e+12 4.00673e+12 3788559 0.06% 457 421 4.00816e+12 1224 4.00895e+12 4.00673e+12 3790376 0.06% 458 422 4.00818e+12 1224 4.00895e+12 4.00673e+12 3794285 0.06% 460 424 4.00819e+12 1224 4.00895e+12 4.00673e+12 3795103 0.06% 462 426 4.00821e+12 1480 4.00895e+12 4.00673e+12 3798537 0.06% 464 428 4.00822e+12 1224 4.00895e+12 4.00673e+12 3800359 0.06% 466 430 4.00823e+12 1224 4.00895e+12 4.00673e+12 3805296 0.06% 469 433 4.00823e+12 1355 4.00895e+12 4.00673e+12 3807145 0.06% Elapsed real time = 69468.81 sec. (tree size = 1071.84 MB, solutions = 6) Nodefile size = 944.95 MB (397.07 MB after compression) 470 434 4.00824e+12 1355 4.00895e+12 4.00673e+12 3810046 0.06% 471 435 4.00836e+12 1276 4.00895e+12 4.00673e+12 3823348 0.06% 472 436 4.00836e+12 1982 4.00895e+12 4.00673e+12 3825670 0.06% 474 438 4.00837e+12 1224 4.00895e+12 4.00673e+12 3826615 0.06% 475 439 4.00837e+12 1224 4.00895e+12 4.00673e+12 3828445 0.06% 478 442 4.00838e+12 1561 4.00895e+12 4.00673e+12 3834605 0.06% 479 443 4.00839e+12 1224 4.00895e+12 4.00673e+12 3835994 0.06% 480 444 4.00839e+12 1224 4.00895e+12 4.00673e+12 3836534 0.06% 481 445 4.00840e+12 3630 4.00895e+12 4.00673e+12 3838191 0.06% 484 448 4.00851e+12 1538 4.00895e+12 4.00673e+12 3856392 0.06% Elapsed real time = 70215.29 sec. (tree size = 1110.93 MB, solutions = 6) Nodefile size = 983.96 MB (412.48 MB after compression) 485 449 4.00852e+12 1224 4.00895e+12 4.00673e+12 3861564 0.06% 486 450 4.00702e+12 6008 4.00895e+12 4.00702e+12 4823145 0.05% Elapsed real time = 92903.72 sec. (tree size = 126.69 MB, solutions = 6) 487 451 4.00703e+12 5554 4.00895e+12 4.00702e+12 4840601 0.05% 488 451 4.00745e+12 5377 4.00895e+12 4.00703e+12 4890902 0.05% 489 452 4.00746e+12 3639 4.00895e+12 4.00703e+12 4894854 0.05% 490 452 4.00836e+12 4422 4.00895e+12 4.00703e+12 4954689 0.05% 491 453 4.00846e+12 2932 4.00895e+12 4.00703e+12 4978249 0.05% 492 454 4.00853e+12 2932 4.00895e+12 4.00703e+12 4992257 0.05% 493 454 4.00864e+12 4590 4.00895e+12 4.00703e+12 5008616 0.05% 494 454 4.00868e+12 3721 4.00895e+12 4.00703e+12 5017262 0.05% 495 455 4.00883e+12 1254 4.00895e+12 4.00703e+12 5037860 0.05% 496 456 4.00885e+12 1206 4.00895e+12 4.00703e+12 5041991 0.05% Elapsed real time = 100434.40 sec. (tree size = 142.30 MB, solutions = 6) 497 457 4.00885e+12 3632 4.00895e+12 4.00703e+12 5043883 0.05% 498 458 4.00887e+12 1642 4.00895e+12 4.00703e+12 5047059 0.05% 499 458 4.00887e+12 3062 4.00895e+12 4.00703e+12 5049513 0.05% 500 427 cutoff 4.00895e+12 4.00703e+12 5060067 0.05% 501 396 cutoff 4.00895e+12 4.00703e+12 5065144 0.05% 502 396 4.00720e+12 2677 4.00895e+12 4.00703e+12 5124559 0.05% 503 396 4.00743e+12 4945 4.00895e+12 4.00703e+12 5178894 0.05% 504 397 4.00751e+12 5219 4.00895e+12 4.00703e+12 5223115 0.05% 505 397 4.00762e+12 5410 4.00895e+12 4.00703e+12 5284873 0.05% 506 397 4.00762e+12 4575 4.00895e+12 4.00703e+12 5285829 0.05% Elapsed real time = 110264.28 sec. (tree size = 137.04 MB, solutions = 6) 507 397 4.00769e+12 3551 4.00895e+12 4.00703e+12 5299183 0.05% 508 397 4.00768e+12 2362 4.00895e+12 4.00703e+12 5314009 0.05% 509 398 4.00779e+12 2400 4.00895e+12 4.00703e+12 5326670 0.05% 510 399 4.00864e+12 4345 4.00895e+12 4.00703e+12 5376945 0.05% 511 400 4.00824e+12 1385 4.00895e+12 4.00703e+12 5399835 0.05% 512 400 4.00826e+12 1385 4.00895e+12 4.00703e+12 5400432 0.05% 513 401 4.00890e+12 1343 4.00895e+12 4.00703e+12 5437575 0.05% 514 401 4.00884e+12 1300 4.00895e+12 4.00703e+12 5472968 0.05% 515 402 4.00828e+12 1385 4.00895e+12 4.00703e+12 5474726 0.05% 516 402 4.00871e+12 1343 4.00895e+12 4.00703e+12 5505593 0.05% Elapsed real time = 113265.85 sec. (tree size = 152.75 MB, solutions = 6) 517 403 4.00833e+12 1385 4.00895e+12 4.00703e+12 5509526 0.05% 518 404 4.00860e+12 1343 4.00895e+12 4.00703e+12 5519620 0.05% 519 404 4.00842e+12 1385 4.00895e+12 4.00703e+12 5526209 0.05% 520 390 cutoff 4.00895e+12 4.00703e+12 5574080 0.05% 521 390 4.00847e+12 2362 4.00895e+12 4.00703e+12 5581209 0.05% 522 391 4.00864e+12 1299 4.00895e+12 4.00703e+12 5595408 0.05% 523 378 cutoff 4.00895e+12 4.00703e+12 5605605 0.05% 524 378 4.00866e+12 1253 4.00895e+12 4.00703e+12 5607421 0.05% 525 366 cutoff 4.00895e+12 4.00703e+12 5624366 0.05% 526 366 4.00869e+12 1253 4.00895e+12 4.00703e+12 5625484 0.05% Elapsed real time = 114350.99 sec. (tree size = 151.36 MB, solutions = 6) 527 367 4.00883e+12 1253 4.00895e+12 4.00703e+12 5631784 0.05% 528 367 4.00894e+12 1252 4.00895e+12 4.00703e+12 5646985 0.05% 530 345 cutoff 4.00895e+12 4.00703e+12 5648661 0.05% 531 346 4.00720e+12 4789 4.00895e+12 4.00720e+12 5691571 0.04% 532 347 4.00723e+12 5251 4.00895e+12 4.00720e+12 5724706 0.04% 533 348 4.00723e+12 5802 4.00895e+12 4.00720e+12 5725626 0.04% 534 349 4.00723e+12 1426 4.00895e+12 4.00720e+12 5726260 0.04% 535 349 4.00725e+12 1386 4.00895e+12 4.00720e+12 5730948 0.04% 536 349 4.00725e+12 1344 4.00895e+12 4.00720e+12 5731837 0.04% 537 349 4.00727e+12 1344 4.00895e+12 4.00720e+12 5734791 0.04% Elapsed real time = 118094.33 sec. (tree size = 157.05 MB, solutions = 6) 538 350 4.00811e+12 1300 4.00895e+12 4.00720e+12 5799033 0.04% 539 351 4.00864e+12 3427 4.00895e+12 4.00720e+12 5875286 0.04% 540 342 cutoff 4.00895e+12 4.00720e+12 5878213 0.04% 541 343 4.00865e+12 2793 4.00895e+12 4.00720e+12 5884325 0.04% 542 343 4.00871e+12 4367 4.00895e+12 4.00720e+12 5891655 0.04% 543 344 4.00872e+12 2557 4.00895e+12 4.00720e+12 5894214 0.04% 544 345 4.00879e+12 2282 4.00895e+12 4.00720e+12 5912259 0.04% 545 345 4.00895e+12 750 4.00895e+12 4.00720e+12 5921504 0.04% 547 337 4.00784e+12 4544 4.00895e+12 4.00720e+12 5990662 0.04% 548 338 4.00793e+12 5286 4.00895e+12 4.00720e+12 6016862 0.04% Elapsed real time = 122983.57 sec. (tree size = 163.81 MB, solutions = 6) 549 338 4.00800e+12 3669 4.00895e+12 4.00720e+12 6040008 0.04% 550 339 4.00803e+12 4395 4.00895e+12 4.00720e+12 6049398 0.04% 551 340 4.00814e+12 4889 4.00895e+12 4.00720e+12 6066998 0.04% 552 340 4.00814e+12 4034 4.00895e+12 4.00720e+12 6067208 0.04% 553 341 4.00825e+12 2503 4.00895e+12 4.00720e+12 6075092 0.04% 554 342 4.00829e+12 2916 4.00895e+12 4.00720e+12 6088096 0.04% 555 342 4.00830e+12 3228 4.00895e+12 4.00720e+12 6090383 0.04% 556 342 4.00832e+12 2707 4.00895e+12 4.00720e+12 6093315 0.04% 557 343 4.00832e+12 4229 4.00895e+12 4.00720e+12 6094711 0.04% 558 344 4.00834e+12 2747 4.00895e+12 4.00720e+12 6098566 0.04% Elapsed real time = 124810.60 sec. (tree size = 181.20 MB, solutions = 6) 559 345 4.00837e+12 2763 4.00895e+12 4.00720e+12 6102750 0.04% 560 345 4.00840e+12 4352 4.00895e+12 4.00720e+12 6106044 0.04% 561 345 4.00846e+12 3525 4.00895e+12 4.00720e+12 6116720 0.04% 562 339 cutoff 4.00895e+12 4.00720e+12 6129766 0.04% 563 339 4.00846e+12 2786 4.00895e+12 4.00720e+12 6131623 0.04% 564 333 cutoff 4.00895e+12 4.00720e+12 6138556 0.04% 565 334 4.00848e+12 1299 4.00895e+12 4.00720e+12 6140206 0.04% 566 335 4.00880e+12 1299 4.00895e+12 4.00720e+12 6163644 0.04% 567 329 cutoff 4.00895e+12 4.00720e+12 6164861 0.04% 568 330 4.00882e+12 1299 4.00895e+12 4.00720e+12 6168818 0.04% Elapsed real time = 125502.04 sec. (tree size = 183.81 MB, solutions = 6) 569 324 cutoff 4.00895e+12 4.00720e+12 6173897 0.04% 570 324 4.00882e+12 3401 4.00895e+12 4.00720e+12 6174708 0.04% 571 318 cutoff 4.00895e+12 4.00720e+12 6178406 0.04% 572 319 4.00886e+12 2157 4.00895e+12 4.00720e+12 6188073 0.04% 573 320 4.00886e+12 2582 4.00895e+12 4.00720e+12 6188815 0.04% 574 320 4.00894e+12 4586 4.00895e+12 4.00720e+12 6202532 0.04% 576 314 4.00894e+12 1299 4.00895e+12 4.00720e+12 6203192 0.04% 578 308 4.00895e+12 1390 4.00895e+12 4.00720e+12 6204200 0.04% 581 296 4.00756e+12 1300 4.00895e+12 4.00723e+12 6226536 0.04% 582 297 4.00765e+12 1300 4.00895e+12 4.00723e+12 6238273 0.04% Elapsed real time = 126378.92 sec. (tree size = 177.91 MB, solutions = 6) 583 297 4.00773e+12 1300 4.00895e+12 4.00723e+12 6251395 0.04% 584 297 4.00780e+12 1254 4.00895e+12 4.00723e+12 6257981 0.04% 585 298 4.00783e+12 3538 4.00895e+12 4.00723e+12 6269488 0.04% 586 298 4.00783e+12 1206 4.00895e+12 4.00723e+12 6270580 0.04% 587 299 4.00850e+12 1789 4.00895e+12 4.00723e+12 6324319 0.04% * 588 133 integral 0 4.00852e+12 4.00723e+12 6327616 0.03% 589 129 cutoff 4.00852e+12 4.00723e+12 6330771 0.03% 590 130 4.00824e+12 1386 4.00852e+12 4.00723e+12 6388692 0.03% 591 130 4.00838e+12 2940 4.00852e+12 4.00723e+12 6411600 0.03% 592 126 cutoff 4.00852e+12 4.00723e+12 6432356 0.03% Elapsed real time = 129017.49 sec. (tree size = 92.91 MB, solutions = 7) 593 122 cutoff 4.00852e+12 4.00723e+12 6437254 0.03% 594 123 4.00843e+12 3100 4.00852e+12 4.00723e+12 6444568 0.03% 595 123 4.00848e+12 3214 4.00852e+12 4.00723e+12 6452770 0.03% 598 114 cutoff 4.00852e+12 4.00723e+12 6456194 0.03% 599 115 4.00747e+12 1344 4.00852e+12 4.00723e+12 6471469 0.03% 600 116 4.00758e+12 1344 4.00852e+12 4.00723e+12 6481156 0.03% 601 117 4.00766e+12 3701 4.00852e+12 4.00723e+12 6496584 0.03% 602 117 4.00772e+12 4032 4.00852e+12 4.00723e+12 6511851 0.03% 603 118 4.00782e+12 4854 4.00852e+12 4.00723e+12 6524949 0.03% 604 118 4.00786e+12 1300 4.00852e+12 4.00723e+12 6530683 0.03% Elapsed real time = 130288.85 sec. (tree size = 96.83 MB, solutions = 7) 605 118 4.00789e+12 3208 4.00852e+12 4.00723e+12 6541318 0.03% 606 119 4.00790e+12 1513 4.00852e+12 4.00723e+12 6544962 0.03% 607 120 4.00820e+12 750 4.00852e+12 4.00723e+12 6585879 0.03% * 608 68 integral 0 4.00821e+12 4.00723e+12 6587517 0.02% 609 66 cutoff 4.00821e+12 4.00723e+12 6590586 0.02% 611 67 4.00732e+12 2974 4.00821e+12 4.00723e+12 6599344 0.02% 612 67 4.00740e+12 1386 4.00821e+12 4.00723e+12 6606043 0.02% 613 68 4.00746e+12 1513 4.00821e+12 4.00723e+12 6614476 0.02% 614 69 4.00756e+12 1386 4.00821e+12 4.00723e+12 6620667 0.02% 615 70 4.00765e+12 1915 4.00821e+12 4.00723e+12 6632650 0.02% Elapsed real time = 131554.79 sec. (tree size = 74.48 MB, solutions = 8) 616 70 4.00768e+12 1872 4.00821e+12 4.00723e+12 6636098 0.02% 618 72 4.00769e+12 1343 4.00821e+12 4.00723e+12 6638155 0.02% 619 72 4.00818e+12 1626 4.00821e+12 4.00723e+12 6665804 0.02% 623 67 cutoff 4.00821e+12 4.00723e+12 6668567 0.02% 624 68 4.00782e+12 1300 4.00821e+12 4.00725e+12 6720791 0.02% 625 69 4.00788e+12 1487 4.00821e+12 4.00725e+12 6736807 0.02% 626 69 4.00795e+12 1344 4.00821e+12 4.00725e+12 6748566 0.02% 628 70 4.00803e+12 4013 4.00821e+12 4.00725e+12 6754852 0.02% 629 70 4.00805e+12 1254 4.00821e+12 4.00725e+12 6758452 0.02% 631 71 4.00819e+12 1206 4.00821e+12 4.00725e+12 6768711 0.02% Elapsed real time = 133130.27 sec. (tree size = 91.62 MB, solutions = 8) 633 69 4.00820e+12 4739 4.00821e+12 4.00725e+12 6772941 0.02% 636 66 4.00727e+12 1344 4.00821e+12 4.00725e+12 6778043 0.02% 637 67 4.00736e+12 1344 4.00821e+12 4.00725e+12 6793299 0.02% 638 67 4.00742e+12 2618 4.00821e+12 4.00725e+12 6802666 0.02% 639 68 4.00748e+12 1624 4.00821e+12 4.00725e+12 6820657 0.02% 640 68 4.00771e+12 1976 4.00821e+12 4.00725e+12 6840943 0.02% 641 69 4.00783e+12 2432 4.00821e+12 4.00725e+12 6863550 0.02% 642 69 4.00793e+12 4438 4.00821e+12 4.00725e+12 6877446 0.02% 643 70 4.00795e+12 1525 4.00821e+12 4.00725e+12 6886720 0.02% 644 71 4.00798e+12 4852 4.00821e+12 4.00725e+12 6888552 0.02% Elapsed real time = 135488.84 sec. (tree size = 102.90 MB, solutions = 8) 645 71 4.00799e+12 4651 4.00821e+12 4.00725e+12 6896982 0.02% 647 72 4.00799e+12 1343 4.00821e+12 4.00725e+12 6897740 0.02% 649 71 4.00806e+12 3561 4.00821e+12 4.00725e+12 6911328 0.02% 650 71 4.00808e+12 4097 4.00821e+12 4.00725e+12 6916722 0.02% 652 70 4.00809e+12 1797 4.00821e+12 4.00725e+12 6920992 0.02% 654 68 4.00814e+12 4665 4.00821e+12 4.00725e+12 6940848 0.02% 655 69 4.00815e+12 2123 4.00821e+12 4.00725e+12 6943594 0.02% 657 68 4.00819e+12 4644 4.00821e+12 4.00725e+12 6953626 0.02% 659 66 4.00820e+12 3967 4.00821e+12 4.00725e+12 6955790 0.02% 662 63 4.00730e+12 1300 4.00821e+12 4.00727e+12 6960265 0.02% Elapsed real time = 136255.70 sec. (tree size = 107.73 MB, solutions = 8) 663 64 4.00737e+12 1700 4.00821e+12 4.00727e+12 6969160 0.02% 664 65 4.00745e+12 3756 4.00821e+12 4.00727e+12 6985176 0.02% 665 66 4.00758e+12 4550 4.00821e+12 4.00727e+12 6995855 0.02% 666 66 4.00766e+12 1254 4.00821e+12 4.00727e+12 7001771 0.02% 667 64 cutoff 4.00821e+12 4.00727e+12 7027457 0.02% 668 64 4.00772e+12 5712 4.00821e+12 4.00727e+12 7039360 0.02% 669 63 cutoff 4.00821e+12 4.00727e+12 7070480 0.02% 670 64 4.00784e+12 3859 4.00821e+12 4.00727e+12 7084978 0.02% 671 63 cutoff 4.00821e+12 4.00727e+12 7115171 0.02% 672 64 4.00793e+12 4343 4.00821e+12 4.00727e+12 7126786 0.02% Elapsed real time = 138205.26 sec. (tree size = 114.23 MB, solutions = 8) 673 65 4.00800e+12 4412 4.00821e+12 4.00727e+12 7136462 0.02% 674 64 cutoff 4.00821e+12 4.00727e+12 7142251 0.02% 676 66 4.00803e+12 3147 4.00821e+12 4.00727e+12 7153178 0.02% 679 65 4.00806e+12 3251 4.00821e+12 4.00727e+12 7165825 0.02% 681 65 cutoff 4.00821e+12 4.00727e+12 7173250 0.02% 682 66 4.00807e+12 3690 4.00821e+12 4.00727e+12 7178716 0.02% 684 66 4.00808e+12 3572 4.00821e+12 4.00727e+12 7187866 0.02% 685 65 cutoff 4.00821e+12 4.00727e+12 7193761 0.02% 686 66 4.00809e+12 3047 4.00821e+12 4.00727e+12 7195414 0.02% 687 67 4.00809e+12 3680 4.00821e+12 4.00727e+12 7196970 0.02% Elapsed real time = 139054.22 sec. (tree size = 120.19 MB, solutions = 8) 688 68 4.00811e+12 3579 4.00821e+12 4.00727e+12 7204072 0.02% 689 67 cutoff 4.00821e+12 4.00727e+12 7207579 0.02% 691 67 cutoff 4.00821e+12 4.00727e+12 7213557 0.02% 692 68 4.00813e+12 3231 4.00821e+12 4.00727e+12 7226822 0.02% 694 68 4.00814e+12 3809 4.00821e+12 4.00727e+12 7232518 0.02% 696 68 4.00819e+12 2051 4.00821e+12 4.00727e+12 7241434 0.02% 698 68 4.00820e+12 3285 4.00821e+12 4.00727e+12 7249597 0.02% 703 67 4.00786e+12 4294 4.00821e+12 4.00728e+12 7330541 0.02% 704 68 4.00794e+12 1578 4.00821e+12 4.00728e+12 7353613 0.02% 705 69 4.00806e+12 1856 4.00821e+12 4.00728e+12 7359755 0.02% Elapsed real time = 141436.77 sec. (tree size = 124.40 MB, solutions = 8) 706 70 4.00812e+12 1300 4.00821e+12 4.00728e+12 7372958 0.02% 707 69 cutoff 4.00821e+12 4.00728e+12 7380164 0.02% 708 68 cutoff 4.00821e+12 4.00728e+12 7382788 0.02% 709 69 4.00734e+12 1344 4.00821e+12 4.00730e+12 7390109 0.02% 710 70 4.00743e+12 3665 4.00821e+12 4.00730e+12 7402976 0.02% 711 71 4.00754e+12 1981 4.00821e+12 4.00730e+12 7415961 0.02% 712 72 4.00764e+12 5063 4.00821e+12 4.00730e+12 7428611 0.02% 713 73 4.00770e+12 5136 4.00821e+12 4.00730e+12 7444135 0.02% 714 74 4.00781e+12 4096 4.00821e+12 4.00730e+12 7459119 0.02% 715 75 4.00784e+12 3726 4.00821e+12 4.00730e+12 7480777 0.02% Elapsed real time = 143369.93 sec. (tree size = 135.82 MB, solutions = 8) Nodefile size = 9.49 MB (4.55 MB after compression) 716 76 4.00785e+12 3539 4.00821e+12 4.00730e+12 7487981 0.02% 717 75 cutoff 4.00821e+12 4.00730e+12 7494229 0.02% 718 76 4.00790e+12 4730 4.00821e+12 4.00730e+12 7500881 0.02% 719 77 4.00790e+12 4486 4.00821e+12 4.00730e+12 7502857 0.02% 720 78 4.00791e+12 3017 4.00821e+12 4.00730e+12 7504590 0.02% 721 79 4.00819e+12 5346 4.00821e+12 4.00730e+12 7546856 0.02% 722 78 cutoff 4.00821e+12 4.00730e+12 7549605 0.02% 724 78 4.00789e+12 3888 4.00821e+12 4.00732e+12 7629862 0.02% 725 79 4.00797e+12 5086 4.00821e+12 4.00732e+12 7645254 0.02% 726 80 4.00809e+12 1254 4.00821e+12 4.00732e+12 7659142 0.02% Elapsed real time = 145340.45 sec. (tree size = 145.97 MB, solutions = 8) Nodefile size = 19.42 MB (8.78 MB after compression) 727 81 4.00821e+12 1254 4.00821e+12 4.00732e+12 7668342 0.02% 730 80 4.00754e+12 1344 4.00821e+12 4.00734e+12 7676700 0.02% 731 81 4.00760e+12 2676 4.00821e+12 4.00734e+12 7679677 0.02% 732 82 4.00773e+12 2987 4.00821e+12 4.00734e+12 7690699 0.02% 733 83 4.00779e+12 1928 4.00821e+12 4.00734e+12 7697987 0.02% 734 84 4.00787e+12 3430 4.00821e+12 4.00734e+12 7704801 0.02% 735 85 4.00796e+12 2466 4.00821e+12 4.00734e+12 7714585 0.02% 736 86 4.00806e+12 1300 4.00821e+12 4.00734e+12 7727427 0.02% 737 87 4.00809e+12 4961 4.00821e+12 4.00734e+12 7733022 0.02% 739 89 4.00812e+12 3351 4.00821e+12 4.00734e+12 7737829 0.02% Elapsed real time = 145976.33 sec. (tree size = 163.75 MB, solutions = 8) Nodefile size = 36.95 MB (16.50 MB after compression) 741 91 4.00813e+12 1206 4.00821e+12 4.00734e+12 7740223 0.02% 742 92 4.00815e+12 4238 4.00821e+12 4.00734e+12 7743269 0.02% 743 91 cutoff 4.00821e+12 4.00734e+12 7746848 0.02% 745 91 cutoff 4.00821e+12 4.00734e+12 7757866 0.02% 747 91 4.00794e+12 4908 4.00821e+12 4.00736e+12 7837059 0.02% 748 92 4.00805e+12 2473 4.00821e+12 4.00736e+12 7847689 0.02% 749 91 cutoff 4.00821e+12 4.00736e+12 7858472 0.02% 750 92 4.00817e+12 3835 4.00821e+12 4.00736e+12 7864306 0.02% 752 94 4.00813e+12 3581 4.00821e+12 4.00736e+12 7883609 0.02% 753 93 cutoff 4.00821e+12 4.00736e+12 7889701 0.02% Elapsed real time = 147419.69 sec. (tree size = 171.91 MB, solutions = 8) Nodefile size = 44.90 MB (19.93 MB after compression) 754 92 cutoff 4.00821e+12 4.00736e+12 7903203 0.02% 755 91 cutoff 4.00821e+12 4.00736e+12 7906912 0.02% 756 92 4.00818e+12 1300 4.00821e+12 4.00740e+12 7976237 0.02% 758 90 cutoff 4.00821e+12 4.00740e+12 7979229 0.02% 759 91 4.00817e+12 3699 4.00821e+12 4.00743e+12 8049867 0.02% 762 90 4.00819e+12 1300 4.00821e+12 4.00743e+12 8126321 0.02% 763 89 4.00821e+12 1300 4.00821e+12 4.00743e+12 8128626 0.02% 765 89 4.00794e+12 4281 4.00821e+12 4.00745e+12 8164466 0.02% 766 90 4.00800e+12 1679 4.00821e+12 4.00745e+12 8173238 0.02% 767 91 4.00809e+12 4405 4.00821e+12 4.00745e+12 8188104 0.02% Elapsed real time = 151019.67 sec. (tree size = 168.76 MB, solutions = 8) Nodefile size = 44.90 MB (19.93 MB after compression) 768 92 4.00817e+12 2279 4.00821e+12 4.00745e+12 8200445 0.02% 769 93 4.00818e+12 3874 4.00821e+12 4.00745e+12 8203611 0.02% 770 92 cutoff 4.00821e+12 4.00745e+12 8209507 0.02% 772 90 cutoff 4.00821e+12 4.00745e+12 8257167 0.02% 773 91 4.00753e+12 4834 4.00821e+12 4.00746e+12 8269607 0.02% 774 92 4.00764e+12 1940 4.00821e+12 4.00746e+12 8282420 0.02% 775 93 4.00770e+12 2803 4.00821e+12 4.00746e+12 8296699 0.02% 776 94 4.00782e+12 2756 4.00821e+12 4.00746e+12 8310875 0.02% 777 95 4.00784e+12 3429 4.00821e+12 4.00746e+12 8326983 0.02% 778 96 4.00790e+12 2836 4.00821e+12 4.00746e+12 8334411 0.02% Elapsed real time = 152416.26 sec. (tree size = 178.72 MB, solutions = 8) Nodefile size = 50.86 MB (22.56 MB after compression) 779 97 4.00790e+12 2807 4.00821e+12 4.00746e+12 8336338 0.02% 781 99 4.00795e+12 2616 4.00821e+12 4.00746e+12 8345116 0.02% 782 100 4.00796e+12 3319 4.00821e+12 4.00746e+12 8347910 0.02% 783 99 cutoff 4.00821e+12 4.00746e+12 8363033 0.02% 784 100 4.00812e+12 4064 4.00821e+12 4.00746e+12 8394216 0.02% 785 101 4.00815e+12 5023 4.00821e+12 4.00746e+12 8403704 0.02% 786 100 cutoff 4.00821e+12 4.00746e+12 8409225 0.02% 787 101 4.00820e+12 4664 4.00821e+12 4.00746e+12 8429698 0.02% 789 101 4.00820e+12 5422 4.00821e+12 4.00746e+12 8434841 0.02% 792 100 4.00755e+12 1344 4.00821e+12 4.00746e+12 8444547 0.02% Elapsed real time = 153625.37 sec. (tree size = 186.85 MB, solutions = 8) Nodefile size = 60.78 MB (26.73 MB after compression) 793 101 4.00760e+12 1344 4.00821e+12 4.00746e+12 8448885 0.02% 794 102 4.00774e+12 1344 4.00821e+12 4.00746e+12 8460013 0.02% 795 103 4.00784e+12 3274 4.00821e+12 4.00746e+12 8467373 0.02% 796 104 4.00802e+12 1344 4.00821e+12 4.00746e+12 8506770 0.02% 797 105 4.00802e+12 5548 4.00821e+12 4.00746e+12 8509936 0.02% 798 106 4.00803e+12 4768 4.00821e+12 4.00746e+12 8515005 0.02% 799 107 4.00808e+12 3933 4.00821e+12 4.00746e+12 8536548 0.02% 800 108 4.00809e+12 2853 4.00821e+12 4.00746e+12 8544596 0.02% 801 107 cutoff 4.00821e+12 4.00746e+12 8558696 0.02% 802 108 4.00813e+12 4454 4.00821e+12 4.00746e+12 8583401 0.02% Elapsed real time = 155175.58 sec. (tree size = 202.38 MB, solutions = 8) Nodefile size = 74.68 MB (32.60 MB after compression) 803 109 4.00814e+12 4044 4.00821e+12 4.00746e+12 8592477 0.02% 804 110 4.00814e+12 4816 4.00821e+12 4.00746e+12 8594223 0.02% 805 111 4.00815e+12 4465 4.00821e+12 4.00746e+12 8598236 0.02% 806 112 4.00820e+12 3503 4.00821e+12 4.00746e+12 8609758 0.02% 808 112 4.00820e+12 3909 4.00821e+12 4.00746e+12 8613004 0.02% 811 111 4.00748e+12 3288 4.00821e+12 4.00746e+12 8620693 0.02% 812 112 4.00755e+12 1856 4.00821e+12 4.00746e+12 8635270 0.02% 813 113 4.00756e+12 5001 4.00821e+12 4.00746e+12 8642821 0.02% 814 114 4.00758e+12 1572 4.00821e+12 4.00746e+12 8644336 0.02% 815 115 4.00764e+12 4049 4.00821e+12 4.00746e+12 8657820 0.02% Elapsed real time = 156400.67 sec. (tree size = 216.20 MB, solutions = 8) Nodefile size = 88.58 MB (38.64 MB after compression) 816 116 4.00772e+12 1680 4.00821e+12 4.00746e+12 8682570 0.02% 817 117 4.00783e+12 2418 4.00821e+12 4.00746e+12 8693057 0.02% 818 116 cutoff 4.00821e+12 4.00746e+12 8701472 0.02% 819 117 4.00785e+12 4010 4.00821e+12 4.00746e+12 8732596 0.02% 822 120 4.00789e+12 1450 4.00821e+12 4.00746e+12 8737278 0.02% 823 119 cutoff 4.00821e+12 4.00746e+12 8762863 0.02% 825 119 cutoff 4.00821e+12 4.00746e+12 8775751 0.02% 827 121 4.00792e+12 1300 4.00821e+12 4.00746e+12 8777673 0.02% 829 123 4.00797e+12 1344 4.00821e+12 4.00746e+12 8782436 0.02% 830 122 cutoff 4.00821e+12 4.00746e+12 8790377 0.02% Elapsed real time = 158033.58 sec. (tree size = 232.04 MB, solutions = 8) Nodefile size = 104.27 MB (45.32 MB after compression) 831 121 cutoff 4.00821e+12 4.00746e+12 8817250 0.02% 832 122 4.00753e+12 1754 4.00821e+12 4.00747e+12 8824940 0.02% 833 123 4.00770e+12 5199 4.00821e+12 4.00747e+12 8853236 0.02% 834 124 4.00771e+12 5526 4.00821e+12 4.00747e+12 8863814 0.02% 835 125 4.00773e+12 1701 4.00821e+12 4.00747e+12 8865226 0.02% 836 126 4.00779e+12 3415 4.00821e+12 4.00747e+12 8893325 0.02% 837 127 4.00783e+12 2799 4.00821e+12 4.00747e+12 8902377 0.02% 838 126 cutoff 4.00821e+12 4.00747e+12 8915510 0.02% 839 127 4.00800e+12 2720 4.00821e+12 4.00747e+12 8949150 0.02% 840 128 4.00808e+12 2627 4.00821e+12 4.00747e+12 8961799 0.02% Elapsed real time = 160609.15 sec. (tree size = 242.14 MB, solutions = 8) Nodefile size = 114.10 MB (49.59 MB after compression) 841 129 4.00808e+12 3907 4.00821e+12 4.00747e+12 8966573 0.02% 842 130 4.00814e+12 3587 4.00821e+12 4.00747e+12 8971845 0.02% 843 131 4.00819e+12 3201 4.00821e+12 4.00747e+12 8994950 0.02% 844 130 cutoff 4.00821e+12 4.00747e+12 9001477 0.02% 846 130 4.00801e+12 1254 4.00821e+12 4.00748e+12 9049509 0.02% 847 131 4.00811e+12 3008 4.00821e+12 4.00748e+12 9080812 0.02% 848 130 cutoff 4.00821e+12 4.00748e+12 9086487 0.02% 849 131 4.00819e+12 2780 4.00821e+12 4.00748e+12 9101512 0.02% 851 129 cutoff 4.00821e+12 4.00748e+12 9105101 0.02% 853 129 4.00757e+12 2395 4.00821e+12 4.00748e+12 9140275 0.02% Elapsed real time = 163089.60 sec. (tree size = 244.54 MB, solutions = 8) Nodefile size = 120.06 MB (52.17 MB after compression) 854 130 4.00767e+12 2152 4.00821e+12 4.00748e+12 9158913 0.02% 855 131 4.00777e+12 3142 4.00821e+12 4.00748e+12 9173216 0.02% 856 132 4.00777e+12 1843 4.00821e+12 4.00748e+12 9177809 0.02% 857 133 4.00787e+12 2624 4.00821e+12 4.00748e+12 9190977 0.02% 858 132 cutoff 4.00821e+12 4.00748e+12 9213472 0.02% 859 133 4.00802e+12 4918 4.00821e+12 4.00748e+12 9261660 0.02% 860 134 4.00803e+12 4309 4.00821e+12 4.00748e+12 9272546 0.02% 861 135 4.00808e+12 4944 4.00821e+12 4.00748e+12 9300767 0.02% 862 136 4.00809e+12 4606 4.00821e+12 4.00748e+12 9309271 0.02% 863 137 4.00810e+12 4285 4.00821e+12 4.00748e+12 9314928 0.02% Elapsed real time = 165721.12 sec. (tree size = 260.09 MB, solutions = 8) Nodefile size = 133.86 MB (58.26 MB after compression) 864 138 4.00810e+12 4712 4.00821e+12 4.00748e+12 9316421 0.02% 865 139 4.00810e+12 4426 4.00821e+12 4.00748e+12 9322391 0.02% 866 138 cutoff 4.00821e+12 4.00748e+12 9329732 0.02% 867 139 4.00815e+12 5022 4.00821e+12 4.00748e+12 9340909 0.02% 869 139 4.00816e+12 3684 4.00821e+12 4.00748e+12 9346765 0.02% 871 139 4.00818e+12 4936 4.00821e+12 4.00748e+12 9355588 0.02% 873 139 4.00818e+12 4184 4.00821e+12 4.00748e+12 9357324 0.02% 877 139 4.00819e+12 4633 4.00821e+12 4.00748e+12 9363482 0.02% 879 139 4.00819e+12 2384 4.00821e+12 4.00748e+12 9368868 0.02% 882 138 4.00800e+12 2672 4.00821e+12 4.00751e+12 9438403 0.02% Elapsed real time = 167486.92 sec. (tree size = 262.19 MB, solutions = 8) Nodefile size = 137.83 MB (60.01 MB after compression) 883 139 4.00803e+12 2646 4.00821e+12 4.00751e+12 9446401 0.02% 884 140 4.00808e+12 2221 4.00821e+12 4.00751e+12 9456971 0.02% 886 140 cutoff 4.00821e+12 4.00751e+12 9470296 0.02% 888 140 4.00765e+12 3995 4.00821e+12 4.00751e+12 9507775 0.02% 889 141 4.00771e+12 4382 4.00821e+12 4.00751e+12 9527844 0.02% 890 142 4.00775e+12 5188 4.00821e+12 4.00751e+12 9543816 0.02% 891 143 4.00793e+12 3888 4.00821e+12 4.00751e+12 9561470 0.02% 892 144 4.00804e+12 1636 4.00821e+12 4.00751e+12 9568248 0.02% 894 146 4.00813e+12 1342 4.00821e+12 4.00751e+12 9575278 0.02% 895 145 cutoff 4.00821e+12 4.00751e+12 9582836 0.02% Elapsed real time = 170141.82 sec. (tree size = 278.22 MB, solutions = 8) Nodefile size = 151.73 MB (65.93 MB after compression) 897 145 4.00754e+12 4967 4.00821e+12 4.00753e+12 9599169 0.02% 898 146 4.00764e+12 5308 4.00821e+12 4.00753e+12 9628383 0.02% 899 147 4.00768e+12 5762 4.00821e+12 4.00753e+12 9648891 0.02% 900 148 4.00787e+12 3411 4.00821e+12 4.00753e+12 9669815 0.02% 901 149 4.00796e+12 2857 4.00821e+12 4.00753e+12 9679785 0.02% 902 150 4.00797e+12 4404 4.00821e+12 4.00753e+12 9680990 0.02% 904 150 4.00805e+12 3782 4.00821e+12 4.00753e+12 9686840 0.02% 905 151 4.00817e+12 5317 4.00821e+12 4.00753e+12 9706663 0.02% 906 150 cutoff 4.00821e+12 4.00753e+12 9711115 0.02% 908 150 4.00804e+12 1641 4.00821e+12 4.00753e+12 9746448 0.02% Elapsed real time = 172769.59 sec. (tree size = 286.27 MB, solutions = 8) Nodefile size = 161.66 MB (70.11 MB after compression) 909 151 4.00809e+12 1682 4.00821e+12 4.00753e+12 9753152 0.02% 910 150 cutoff 4.00821e+12 4.00753e+12 9757868 0.02% 911 149 cutoff 4.00821e+12 4.00753e+12 9766570 0.02% 912 150 4.00817e+12 1736 4.00821e+12 4.00753e+12 9777491 0.02% 913 149 cutoff 4.00821e+12 4.00753e+12 9782091 0.02% 915 149 4.00800e+12 2104 4.00821e+12 4.00754e+12 9834702 0.02% 916 150 4.00803e+12 1687 4.00821e+12 4.00754e+12 9846059 0.02% 917 151 4.00815e+12 3559 4.00821e+12 4.00754e+12 9867849 0.02% 918 150 cutoff 4.00821e+12 4.00754e+12 9874859 0.02% 920 148 cutoff 4.00821e+12 4.00754e+12 9901157 0.02% Elapsed real time = 174198.09 sec. (tree size = 284.67 MB, solutions = 8) Nodefile size = 161.66 MB (70.11 MB after compression) 921 149 4.00815e+12 3843 4.00821e+12 4.00754e+12 9984616 0.02% 922 148 cutoff 4.00821e+12 4.00754e+12 9988846 0.02% 924 148 4.00778e+12 1940 4.00821e+12 4.00755e+12 10000124 0.02% 925 149 4.00785e+12 2704 4.00821e+12 4.00755e+12 10012005 0.02% 926 150 4.00794e+12 1944 4.00821e+12 4.00755e+12 10024041 0.02% 927 151 4.00811e+12 3752 4.00821e+12 4.00755e+12 10060112 0.02% 928 152 4.00812e+12 4488 4.00821e+12 4.00755e+12 10066619 0.02% 929 153 4.00820e+12 3667 4.00821e+12 4.00755e+12 10084267 0.02% 930 152 cutoff 4.00821e+12 4.00755e+12 10087251 0.02% 932 150 cutoff 4.00821e+12 4.00755e+12 10119387 0.02% Elapsed real time = 176503.94 sec. (tree size = 289.04 MB, solutions = 8) Nodefile size = 165.63 MB (71.83 MB after compression) 933 149 cutoff 4.00821e+12 4.00756e+12 10151761 0.02% 934 150 4.00810e+12 2387 4.00821e+12 4.00756e+12 10212737 0.02% 935 151 4.00817e+12 1832 4.00821e+12 4.00756e+12 10229627 0.02% 937 149 cutoff 4.00821e+12 4.00756e+12 10233117 0.02% 938 150 4.00799e+12 2285 4.00821e+12 4.00756e+12 10254137 0.02% 939 151 4.00804e+12 2484 4.00821e+12 4.00756e+12 10259553 0.02% 940 152 4.00813e+12 1386 4.00821e+12 4.00756e+12 10269741 0.02% 941 151 cutoff 4.00821e+12 4.00756e+12 10274090 0.02% 942 150 cutoff 4.00821e+12 4.00756e+12 10285105 0.02% 943 149 cutoff 4.00821e+12 4.00757e+12 10321841 0.02% Elapsed real time = 178175.12 sec. (tree size = 287.70 MB, solutions = 8) Nodefile size = 165.63 MB (71.83 MB after compression) 944 150 4.00808e+12 3400 4.00821e+12 4.00758e+12 10361351 0.02% 945 151 4.00821e+12 2091 4.00821e+12 4.00758e+12 10376809 0.02% 946 152 4.00816e+12 1679 4.00821e+12 4.00758e+12 10386767 0.02% 948 150 cutoff 4.00821e+12 4.00758e+12 10393320 0.02% 949 151 4.00779e+12 1300 4.00821e+12 4.00758e+12 10403507 0.02% 950 152 4.00786e+12 4007 4.00821e+12 4.00758e+12 10410127 0.02% 951 153 4.00795e+12 1300 4.00821e+12 4.00758e+12 10415341 0.02% 952 154 4.00801e+12 1300 4.00821e+12 4.00758e+12 10421715 0.02% 953 155 4.00808e+12 1254 4.00821e+12 4.00758e+12 10429542 0.02% 954 154 cutoff 4.00821e+12 4.00758e+12 10434660 0.02% Elapsed real time = 178918.66 sec. (tree size = 297.83 MB, solutions = 8) Nodefile size = 171.59 MB (74.55 MB after compression) 955 153 cutoff 4.00821e+12 4.00758e+12 10452891 0.02% 956 152 cutoff 4.00821e+12 4.00760e+12 10510256 0.02% 957 153 4.00809e+12 1300 4.00821e+12 4.00760e+12 10534826 0.02% 958 154 4.00814e+12 1300 4.00821e+12 4.00760e+12 10540207 0.02% 960 152 cutoff 4.00821e+12 4.00760e+12 10547912 0.02% 961 153 4.00809e+12 1300 4.00821e+12 4.00762e+12 10574535 0.01% 963 151 cutoff 4.00821e+12 4.00762e+12 10595063 0.01% 964 152 4.00765e+12 2364 4.00821e+12 4.00764e+12 10617581 0.01% 965 153 4.00780e+12 3274 4.00821e+12 4.00764e+12 10648140 0.01% 966 154 4.00785e+12 4397 4.00821e+12 4.00764e+12 10666108 0.01% Elapsed real time = 181375.82 sec. (tree size = 294.38 MB, solutions = 8) Nodefile size = 171.59 MB (74.55 MB after compression) 967 153 cutoff 4.00821e+12 4.00764e+12 10689688 0.01% 968 154 4.00801e+12 3857 4.00821e+12 4.00764e+12 10702508 0.01% 969 155 4.00812e+12 1544 4.00821e+12 4.00764e+12 10707232 0.01% 971 155 cutoff 4.00821e+12 4.00764e+12 10710107 0.01% 973 153 cutoff 4.00821e+12 4.00764e+12 10763533 0.01% 974 152 cutoff 4.00821e+12 4.00764e+12 10831109 0.01% 975 151 cutoff 4.00821e+12 4.00764e+12 10883223 0.01% 976 152 4.00786e+12 1678 4.00821e+12 4.00765e+12 10914551 0.01% 977 153 4.00802e+12 1777 4.00821e+12 4.00765e+12 10945626 0.01% 978 154 4.00810e+12 1578 4.00821e+12 4.00765e+12 10958329 0.01% Elapsed real time = 184447.01 sec. (tree size = 296.72 MB, solutions = 8) Nodefile size = 173.57 MB (75.39 MB after compression) 980 154 4.00819e+12 3625 4.00821e+12 4.00765e+12 10995961 0.01% 983 153 4.00767e+12 1976 4.00821e+12 4.00765e+12 11004514 0.01% 984 154 4.00779e+12 1425 4.00821e+12 4.00765e+12 11016339 0.01% 985 153 cutoff 4.00821e+12 4.00765e+12 11033385 0.01% 986 154 4.00795e+12 1425 4.00821e+12 4.00765e+12 11048682 0.01% 987 155 4.00803e+12 1385 4.00821e+12 4.00765e+12 11058007 0.01% 988 156 4.00805e+12 4071 4.00821e+12 4.00765e+12 11065814 0.01% 990 156 cutoff 4.00821e+12 4.00765e+12 11099445 0.01% 991 157 4.00812e+12 6152 4.00821e+12 4.00765e+12 11124092 0.01% 992 158 4.00817e+12 2373 4.00821e+12 4.00765e+12 11139760 0.01% Elapsed real time = 186226.01 sec. (tree size = 302.69 MB, solutions = 8) Nodefile size = 175.56 MB (76.27 MB after compression) 994 156 cutoff 4.00821e+12 4.00765e+12 11143281 0.01% 995 155 cutoff 4.00821e+12 4.00765e+12 11150591 0.01% 996 156 4.00787e+12 1254 4.00821e+12 4.00765e+12 11161288 0.01% 997 157 4.00793e+12 1254 4.00821e+12 4.00765e+12 11168376 0.01% 998 158 4.00805e+12 3923 4.00821e+12 4.00765e+12 11186400 0.01% 999 159 4.00812e+12 3048 4.00821e+12 4.00765e+12 11209611 0.01% 1000 158 cutoff 4.00821e+12 4.00765e+12 11215847 0.01% 1002 156 cutoff 4.00821e+12 4.00765e+12 11266764 0.01% 1003 157 4.00805e+12 3884 4.00821e+12 4.00766e+12 11319388 0.01% 1004 158 4.00810e+12 4316 4.00821e+12 4.00766e+12 11332465 0.01% Elapsed real time = 188038.28 sec. (tree size = 305.08 MB, solutions = 8) Nodefile size = 179.53 MB (77.94 MB after compression) 1005 157 cutoff 4.00821e+12 4.00766e+12 11338729 0.01% 1007 155 cutoff 4.00821e+12 4.00767e+12 11375966 0.01% 1008 156 4.00816e+12 2712 4.00821e+12 4.00767e+12 11409013 0.01% 1010 154 cutoff 4.00821e+12 4.00767e+12 11413123 0.01% 1011 155 4.00779e+12 5036 4.00821e+12 4.00768e+12 11430286 0.01% 1012 156 4.00796e+12 3495 4.00821e+12 4.00768e+12 11459969 0.01% 1013 157 4.00798e+12 4561 4.00821e+12 4.00768e+12 11476129 0.01% 1014 158 4.00803e+12 3517 4.00821e+12 4.00768e+12 11490594 0.01% 1015 159 4.00808e+12 2671 4.00821e+12 4.00768e+12 11508267 0.01% 1016 160 4.00812e+12 2471 4.00821e+12 4.00768e+12 11515808 0.01% Elapsed real time = 189648.21 sec. (tree size = 309.42 MB, solutions = 8) Nodefile size = 181.51 MB (78.76 MB after compression) 1017 161 4.00814e+12 4661 4.00821e+12 4.00768e+12 11524947 0.01% 1018 160 cutoff 4.00821e+12 4.00768e+12 11529350 0.01% 1019 161 4.00815e+12 4510 4.00821e+12 4.00768e+12 11539973 0.01% 1020 162 4.00816e+12 3980 4.00821e+12 4.00768e+12 11543069 0.01% 1021 163 4.00817e+12 4215 4.00821e+12 4.00768e+12 11545711 0.01% 1022 162 cutoff 4.00821e+12 4.00768e+12 11553776 0.01% 1024 162 4.00770e+12 1682 4.00821e+12 4.00768e+12 11558690 0.01% 1025 163 4.00782e+12 1343 4.00821e+12 4.00768e+12 11568539 0.01% 1026 164 4.00799e+12 1343 4.00821e+12 4.00768e+12 11589913 0.01% 1027 165 4.00807e+12 3256 4.00821e+12 4.00768e+12 11595901 0.01% Elapsed real time = 190636.61 sec. (tree size = 319.36 MB, solutions = 8) Nodefile size = 191.44 MB (83.16 MB after compression) 1028 166 4.00812e+12 4870 4.00821e+12 4.00768e+12 11616117 0.01% 1029 167 4.00814e+12 3990 4.00821e+12 4.00768e+12 11625705 0.01% 1030 168 4.00819e+12 2957 4.00821e+12 4.00768e+12 11640698 0.01% 1031 169 4.00821e+12 4404 4.00821e+12 4.00768e+12 11646923 0.01% 1034 168 4.00776e+12 2228 4.00821e+12 4.00768e+12 11656946 0.01% 1035 169 4.00791e+12 5251 4.00821e+12 4.00768e+12 11680959 0.01% 1036 170 4.00798e+12 2224 4.00821e+12 4.00768e+12 11699324 0.01% 1038 168 cutoff 4.00821e+12 4.00768e+12 11704734 0.01% 1039 167 cutoff 4.00821e+12 4.00769e+12 11711085 0.01% 1040 168 4.00777e+12 4498 4.00821e+12 4.00769e+12 11735035 0.01% Elapsed real time = 192750.15 sec. (tree size = 325.88 MB, solutions = 8) Nodefile size = 203.35 MB (88.30 MB after compression) 1041 169 4.00792e+12 3662 4.00821e+12 4.00769e+12 11762911 0.01% 1042 170 4.00797e+12 4374 4.00821e+12 4.00769e+12 11775755 0.01% 1043 171 4.00812e+12 1467 4.00821e+12 4.00769e+12 11801307 0.01% 1044 172 4.00817e+12 1253 4.00821e+12 4.00769e+12 11803800 0.01% 1046 170 cutoff 4.00821e+12 4.00769e+12 11807636 0.01% 1047 171 4.00780e+12 4290 4.00821e+12 4.00769e+12 11829908 0.01% 1048 172 4.00795e+12 3250 4.00821e+12 4.00769e+12 11856902 0.01% 1049 173 4.00807e+12 2824 4.00821e+12 4.00769e+12 11870775 0.01% 1050 174 4.00813e+12 1403 4.00821e+12 4.00769e+12 11880950 0.01% 1051 175 4.00819e+12 1342 4.00821e+12 4.00769e+12 11884569 0.01% Elapsed real time = 194902.80 sec. (tree size = 340.03 MB, solutions = 8) Nodefile size = 213.28 MB (92.59 MB after compression) 1054 172 cutoff 4.00821e+12 4.00769e+12 11911214 0.01% 1055 173 4.00786e+12 1343 4.00821e+12 4.00770e+12 11929471 0.01% 1056 172 cutoff 4.00821e+12 4.00770e+12 11943602 0.01% 1057 173 4.00801e+12 1343 4.00821e+12 4.00770e+12 11959456 0.01% 1058 174 4.00811e+12 1936 4.00821e+12 4.00770e+12 11976439 0.01% 1059 173 cutoff 4.00821e+12 4.00770e+12 11987137 0.01% 1060 174 4.00814e+12 3941 4.00821e+12 4.00770e+12 12002556 0.01% 1061 175 4.00817e+12 2067 4.00821e+12 4.00770e+12 12012970 0.01% 1062 176 4.00821e+12 3579 4.00821e+12 4.00770e+12 12022365 0.01% 1065 175 4.00781e+12 4269 4.00821e+12 4.00770e+12 12061696 0.01% Elapsed real time = 196708.22 sec. (tree size = 340.30 MB, solutions = 8) Nodefile size = 215.27 MB (93.45 MB after compression) 1066 176 4.00795e+12 4087 4.00821e+12 4.00770e+12 12093095 0.01% 1067 177 4.00796e+12 4098 4.00821e+12 4.00770e+12 12097047 0.01% 1068 178 4.00800e+12 4314 4.00821e+12 4.00770e+12 12118661 0.01% 1069 179 4.00804e+12 4620 4.00821e+12 4.00770e+12 12124584 0.01% 1070 180 4.00806e+12 4392 4.00821e+12 4.00770e+12 12135792 0.01% 1071 181 4.00810e+12 4643 4.00821e+12 4.00770e+12 12141998 0.01% 1072 182 4.00811e+12 4403 4.00821e+12 4.00770e+12 12144323 0.01% 1073 183 4.00811e+12 3985 4.00821e+12 4.00770e+12 12147334 0.01% 1075 183 cutoff 4.00821e+12 4.00770e+12 12150139 0.01% 1076 184 4.00812e+12 3820 4.00821e+12 4.00770e+12 12154839 0.01% Elapsed real time = 198067.79 sec. (tree size = 358.18 MB, solutions = 8) Nodefile size = 231.16 MB (100.36 MB after compression) 1077 185 4.00815e+12 3924 4.00821e+12 4.00770e+12 12166835 0.01% 1078 186 4.00816e+12 4433 4.00821e+12 4.00770e+12 12178372 0.01% 1079 185 cutoff 4.00821e+12 4.00770e+12 12183209 0.01% 1081 183 cutoff 4.00821e+12 4.00770e+12 12220782 0.01% 1082 182 cutoff 4.00821e+12 4.00770e+12 12243350 0.01% 1083 183 4.00781e+12 3970 4.00821e+12 4.00771e+12 12282508 0.01% 1084 184 4.00796e+12 4064 4.00821e+12 4.00771e+12 12305635 0.01% 1085 185 4.00797e+12 3647 4.00821e+12 4.00771e+12 12309488 0.01% 1086 186 4.00804e+12 3607 4.00821e+12 4.00771e+12 12323125 0.01% 1087 187 4.00808e+12 4443 4.00821e+12 4.00771e+12 12347476 0.01% Elapsed real time = 200226.06 sec. (tree size = 364.29 MB, solutions = 8) Nodefile size = 237.12 MB (103.01 MB after compression) 1088 188 4.00812e+12 4149 4.00821e+12 4.00771e+12 12357178 0.01% 1089 189 4.00814e+12 4557 4.00821e+12 4.00771e+12 12367877 0.01% 1090 190 4.00819e+12 3749 4.00821e+12 4.00771e+12 12377344 0.01% 1091 191 4.00819e+12 3713 4.00821e+12 4.00771e+12 12382467 0.01% 1092 190 cutoff 4.00821e+12 4.00771e+12 12384909 0.01% 1094 190 4.00781e+12 5348 4.00821e+12 4.00771e+12 12404241 0.01% 1095 191 4.00792e+12 3791 4.00821e+12 4.00771e+12 12422675 0.01% 1096 192 4.00810e+12 3871 4.00821e+12 4.00771e+12 12451645 0.01% 1097 193 4.00812e+12 4359 4.00821e+12 4.00771e+12 12458780 0.01% 1098 194 4.00819e+12 4578 4.00821e+12 4.00771e+12 12477042 0.01% Elapsed real time = 201666.25 sec. (tree size = 378.27 MB, solutions = 8) Nodefile size = 251.02 MB (109.09 MB after compression) 1099 193 cutoff 4.00821e+12 4.00771e+12 12481334 0.01% 1101 191 cutoff 4.00821e+12 4.00771e+12 12527029 0.01% 1102 192 4.00816e+12 1254 4.00821e+12 4.00772e+12 12555462 0.01% 1103 191 cutoff 4.00821e+12 4.00772e+12 12564391 0.01% 1105 191 4.00783e+12 3792 4.00821e+12 4.00772e+12 12602565 0.01% 1106 192 4.00798e+12 3565 4.00821e+12 4.00772e+12 12635867 0.01% 1107 193 4.00804e+12 3918 4.00821e+12 4.00772e+12 12660055 0.01% 1108 194 4.00805e+12 3672 4.00821e+12 4.00772e+12 12662249 0.01% 1109 195 4.00810e+12 4233 4.00821e+12 4.00772e+12 12677467 0.01% 1110 196 4.00810e+12 2996 4.00821e+12 4.00772e+12 12683397 0.01% Elapsed real time = 204397.73 sec. (tree size = 382.28 MB, solutions = 8) Nodefile size = 254.99 MB (110.83 MB after compression) 1111 197 4.00811e+12 4052 4.00821e+12 4.00772e+12 12687581 0.01% 1112 198 4.00815e+12 3065 4.00821e+12 4.00772e+12 12693009 0.01% 1113 199 4.00817e+12 4644 4.00821e+12 4.00772e+12 12698378 0.01% 1114 198 cutoff 4.00821e+12 4.00772e+12 12707933 0.01% 1115 197 cutoff 4.00821e+12 4.00772e+12 12711083 0.01% 1116 198 4.00786e+12 1385 4.00821e+12 4.00773e+12 12730639 0.01% 1117 199 4.00795e+12 1344 4.00821e+12 4.00773e+12 12736102 0.01% 1118 200 4.00803e+12 2728 4.00821e+12 4.00773e+12 12750993 0.01% 1119 199 cutoff 4.00821e+12 4.00773e+12 12757287 0.01% 1120 200 4.00816e+12 1792 4.00821e+12 4.00773e+12 12779476 0.01% Elapsed real time = 205290.35 sec. (tree size = 390.39 MB, solutions = 8) Nodefile size = 262.94 MB (114.36 MB after compression) 1122 200 4.00820e+12 4610 4.00821e+12 4.00773e+12 12801033 0.01% 1123 199 cutoff 4.00821e+12 4.00773e+12 12803706 0.01% 1125 197 cutoff 4.00821e+12 4.00773e+12 12836815 0.01% 1126 196 cutoff 4.00821e+12 4.00773e+12 12885109 0.01% 1127 197 4.00787e+12 1343 4.00821e+12 4.00774e+12 12928118 0.01% 1128 198 4.00799e+12 3814 4.00821e+12 4.00774e+12 12947892 0.01% 1129 199 4.00805e+12 2198 4.00821e+12 4.00774e+12 12963150 0.01% 1130 198 cutoff 4.00821e+12 4.00774e+12 12969474 0.01% 1131 199 4.00811e+12 2010 4.00821e+12 4.00774e+12 12980818 0.01% 1132 198 cutoff 4.00821e+12 4.00774e+12 12991089 0.01% Elapsed real time = 207813.47 sec. (tree size = 388.70 MB, solutions = 8) Nodefile size = 262.94 MB (114.36 MB after compression) 1133 197 cutoff 4.00821e+12 4.00774e+12 12998712 0.01% 1134 196 cutoff 4.00821e+12 4.00775e+12 13007758 0.01% 1135 195 cutoff 4.00821e+12 4.00776e+12 13013530 0.01% 1136 196 4.00818e+12 3688 4.00821e+12 4.00777e+12 13088338 0.01% 1139 195 4.00816e+12 2591 4.00821e+12 4.00777e+12 13141609 0.01% 1140 194 cutoff 4.00821e+12 4.00777e+12 13147265 0.01% 1142 192 cutoff 4.00821e+12 4.00777e+12 13158518 0.01% 1143 191 cutoff 4.00821e+12 4.00778e+12 13164928 0.01% 1144 190 cutoff 4.00821e+12 4.00779e+12 13190090 0.01% 1145 191 4.00800e+12 4129 4.00821e+12 4.00779e+12 13222694 0.01% Elapsed real time = 210646.88 sec. (tree size = 372.97 MB, solutions = 8) Nodefile size = 262.94 MB (114.36 MB after compression) 1146 192 4.00817e+12 3562 4.00821e+12 4.00779e+12 13255534 0.01% 1147 191 cutoff 4.00821e+12 4.00779e+12 13265870 0.01% 1149 189 cutoff 4.00821e+12 4.00779e+12 13288848 0.01% 1150 188 cutoff 4.00821e+12 4.00779e+12 13308824 0.01% 1151 189 4.00791e+12 1385 4.00821e+12 4.00780e+12 13319228 0.01% 1152 190 4.00811e+12 3132 4.00821e+12 4.00780e+12 13342729 0.01% 1153 191 4.00818e+12 5105 4.00821e+12 4.00780e+12 13350104 0.01% 1155 189 cutoff 4.00821e+12 4.00780e+12 13357111 0.01% 1156 190 4.00785e+12 1773 4.00821e+12 4.00780e+12 13386792 0.01% 1157 191 4.00797e+12 3743 4.00821e+12 4.00780e+12 13401727 0.01% Elapsed real time = 212537.16 sec. (tree size = 373.22 MB, solutions = 8) Nodefile size = 262.94 MB (114.36 MB after compression) 1158 192 4.00803e+12 1651 4.00821e+12 4.00780e+12 13409273 0.01% 1159 193 4.00807e+12 1652 4.00821e+12 4.00780e+12 13414196 0.01% 1160 194 4.00819e+12 1832 4.00821e+12 4.00780e+12 13434551 0.01% 1161 193 cutoff 4.00821e+12 4.00780e+12 13437776 0.01% 1163 193 4.00820e+12 2987 4.00821e+12 4.00781e+12 13490097 0.01% 1166 190 cutoff 4.00821e+12 4.00781e+12 13513099 0.01% 1167 189 cutoff 4.00821e+12 4.00781e+12 13528029 0.01% 1168 188 cutoff 4.00821e+12 4.00781e+12 13534546 0.01% 1169 187 cutoff 4.00821e+12 4.00782e+12 13556781 0.01% 1170 186 cutoff 4.00821e+12 4.00782e+12 13578570 0.01% Elapsed real time = 213880.00 sec. (tree size = 365.28 MB, solutions = 8) Nodefile size = 262.94 MB (114.36 MB after compression) 1171 185 cutoff 4.00821e+12 4.00782e+12 13585425 0.01% 1172 184 cutoff 4.00821e+12 4.00782e+12 13599551 0.01% 1173 183 cutoff 4.00821e+12 4.00783e+12 13615783 0.01% 1174 182 cutoff 4.00821e+12 4.00783e+12 13628578 0.01% 1175 183 4.00786e+12 2536 4.00821e+12 4.00783e+12 13651336 0.01% 1176 184 4.00798e+12 2482 4.00821e+12 4.00783e+12 13670302 0.01% 1177 185 4.00805e+12 1653 4.00821e+12 4.00783e+12 13675059 0.01% 1178 186 4.00808e+12 2104 4.00821e+12 4.00783e+12 13680917 0.01% 1179 187 4.00821e+12 1646 4.00821e+12 4.00783e+12 13700527 0.01% 1182 184 cutoff 4.00821e+12 4.00783e+12 13719706 0.01% Elapsed real time = 215026.38 sec. (tree size = 361.89 MB, solutions = 8) Nodefile size = 262.94 MB (114.36 MB after compression) 1183 185 4.00792e+12 2609 4.00821e+12 4.00784e+12 13742906 0.01% 1184 186 4.00803e+12 3693 4.00821e+12 4.00784e+12 13760189 0.01% 1185 187 4.00808e+12 1653 4.00821e+12 4.00784e+12 13764937 0.01% 1186 188 4.00820e+12 1832 4.00821e+12 4.00784e+12 13783226 0.01% 1188 186 cutoff 4.00821e+12 4.00784e+12 13790501 0.01% 1190 184 cutoff 4.00821e+12 4.00784e+12 13815824 0.01% 1191 183 cutoff 4.00821e+12 4.00784e+12 13823294 0.01% 1192 184 4.00797e+12 2651 4.00821e+12 4.00784e+12 13842938 0.01% 1193 185 4.00816e+12 4310 4.00821e+12 4.00784e+12 13877856 0.01% 1194 186 4.00817e+12 3710 4.00821e+12 4.00784e+12 13889454 0.01% Elapsed real time = 216817.59 sec. (tree size = 364.08 MB, solutions = 8) Nodefile size = 262.94 MB (114.36 MB after compression) 1195 185 cutoff 4.00821e+12 4.00784e+12 13891791 0.01% 1197 183 cutoff 4.00821e+12 4.00784e+12 13897491 0.01% 1198 182 cutoff 4.00821e+12 4.00785e+12 13915587 0.01% 1199 183 4.00797e+12 5157 4.00821e+12 4.00785e+12 13935459 0.01% 1200 184 4.00814e+12 3952 4.00821e+12 4.00785e+12 13975040 0.01% 1201 185 4.00815e+12 5230 4.00821e+12 4.00785e+12 13982914 0.01% 1202 184 cutoff 4.00821e+12 4.00785e+12 13987124 0.01% 1204 182 cutoff 4.00821e+12 4.00785e+12 13991967 0.01% 1205 181 cutoff 4.00821e+12 4.00786e+12 14010843 0.01% 1206 180 cutoff 4.00821e+12 4.00786e+12 14017869 0.01% Elapsed real time = 218031.08 sec. (tree size = 354.16 MB, solutions = 8) Nodefile size = 262.94 MB (114.36 MB after compression) 1207 179 cutoff 4.00821e+12 4.00786e+12 14027135 0.01% 1208 178 cutoff 4.00821e+12 4.00786e+12 14035809 0.01% 1209 179 4.00792e+12 2396 4.00821e+12 4.00786e+12 14072492 0.01% 1210 180 4.00801e+12 2897 4.00821e+12 4.00786e+12 14084439 0.01% 1211 181 4.00811e+12 2013 4.00821e+12 4.00786e+12 14101437 0.01% 1212 182 4.00812e+12 2208 4.00821e+12 4.00786e+12 14108000 0.01% 1213 183 4.00813e+12 790 4.00821e+12 4.00786e+12 14110924 0.01% 1214 184 4.00817e+12 2868 4.00821e+12 4.00786e+12 14115242 0.01% 1215 185 4.00820e+12 2661 4.00821e+12 4.00786e+12 14120996 0.01% 1219 183 cutoff 4.00821e+12 4.00786e+12 14124282 0.01% Elapsed real time = 219201.12 sec. (tree size = 360.22 MB, solutions = 8) Nodefile size = 262.94 MB (114.36 MB after compression) 1220 182 cutoff 4.00821e+12 4.00786e+12 14141419 0.01% 1221 183 4.00821e+12 1384 4.00821e+12 4.00786e+12 14170346 0.01% 1224 180 cutoff 4.00821e+12 4.00787e+12 14185586 0.01% 1225 179 cutoff 4.00821e+12 4.00787e+12 14194244 0.01% 1226 180 4.00801e+12 1425 4.00821e+12 4.00787e+12 14213925 0.01% 1227 181 4.00803e+12 1384 4.00821e+12 4.00787e+12 14225661 0.01% 1228 182 4.00808e+12 1384 4.00821e+12 4.00787e+12 14228664 0.01% 1229 181 cutoff 4.00821e+12 4.00787e+12 14232723 0.01% 1230 182 4.00811e+12 1384 4.00821e+12 4.00787e+12 14236774 0.01% 1231 183 4.00814e+12 1342 4.00821e+12 4.00787e+12 14239957 0.01% Elapsed real time = 220237.58 sec. (tree size = 358.24 MB, solutions = 8) Nodefile size = 262.94 MB (114.36 MB after compression) 1233 183 cutoff 4.00821e+12 4.00787e+12 14243351 0.01% 1234 184 4.00817e+12 3921 4.00821e+12 4.00787e+12 14246562 0.01% 1236 184 4.00818e+12 1384 4.00821e+12 4.00787e+12 14248049 0.01% 1239 185 4.00821e+12 1384 4.00821e+12 4.00787e+12 14250705 0.01% 1242 184 4.00821e+12 3289 4.00821e+12 4.00787e+12 14291005 0.01% 1245 183 4.00790e+12 1385 4.00821e+12 4.00787e+12 14295022 0.01% 1246 184 4.00814e+12 3646 4.00821e+12 4.00787e+12 14349284 0.01% 1247 185 4.00817e+12 3763 4.00821e+12 4.00787e+12 14363674 0.01% 1248 184 cutoff 4.00821e+12 4.00787e+12 14368806 0.01% 1250 182 cutoff 4.00821e+12 4.00787e+12 14383875 0.01% Elapsed real time = 221896.79 sec. (tree size = 358.24 MB, solutions = 8) Nodefile size = 256.99 MB (111.89 MB after compression) 1251 181 cutoff 4.00821e+12 4.00788e+12 14392148 0.01% 1252 180 cutoff 4.00821e+12 4.00789e+12 14405862 0.01% 1253 181 4.00794e+12 2791 4.00821e+12 4.00789e+12 14436235 0.01% 1254 182 4.00802e+12 1625 4.00821e+12 4.00789e+12 14446638 0.01% 1255 183 4.00812e+12 1910 4.00821e+12 4.00789e+12 14465567 0.01% 1256 184 4.00814e+12 2353 4.00821e+12 4.00789e+12 14473295 0.01% 1257 185 4.00815e+12 1337 4.00821e+12 4.00789e+12 14479307 0.01% 1259 187 4.00820e+12 2267 4.00821e+12 4.00789e+12 14484602 0.01% 1262 184 cutoff 4.00821e+12 4.00790e+12 14495633 0.01% 1263 183 cutoff 4.00821e+12 4.00790e+12 14520125 0.01% Elapsed real time = 223197.18 sec. (tree size = 360.33 MB, solutions = 8) Nodefile size = 249.14 MB (108.48 MB after compression) 1264 182 cutoff 4.00821e+12 4.00790e+12 14527428 0.01% 1265 183 4.00793e+12 4588 4.00821e+12 4.00790e+12 14551130 0.01% * 1266+ 177 4.00818e+12 4.00790e+12 14562545 0.01% 1266 179 4.00801e+12 1616 4.00818e+12 4.00790e+12 14562545 0.01% 1267 180 4.00811e+12 3862 4.00818e+12 4.00790e+12 14580622 0.01% 1268 181 4.00812e+12 2302 4.00818e+12 4.00790e+12 14586066 0.01% 1269 182 4.00813e+12 756 4.00818e+12 4.00790e+12 14590677 0.01% 1270 183 4.00818e+12 750 4.00818e+12 4.00790e+12 14595288 0.01% 1273 182 4.00817e+12 1384 4.00818e+12 4.00790e+12 14636302 0.01% 1276 179 cutoff 4.00818e+12 4.00790e+12 14651260 0.01% 1277 178 cutoff 4.00818e+12 4.00791e+12 14674878 0.01% Elapsed real time = 224665.83 sec. (tree size = 350.50 MB, solutions = 9) Nodefile size = 231.37 MB (100.53 MB after compression) 1278 179 4.00793e+12 1300 4.00818e+12 4.00791e+12 14677384 0.01% 1279 180 4.00817e+12 3845 4.00818e+12 4.00791e+12 14729555 0.01% 1280 179 cutoff 4.00818e+12 4.00791e+12 14732159 0.01% 1282 177 cutoff 4.00818e+12 4.00791e+12 14740859 0.01% 1283 176 cutoff 4.00818e+12 4.00791e+12 14748641 0.01% 1284 175 cutoff 4.00818e+12 4.00791e+12 14760467 0.01% 1285 176 4.00792e+12 4524 4.00818e+12 4.00792e+12 14765617 0.01% 1286 177 4.00807e+12 3758 4.00818e+12 4.00792e+12 14801863 0.01% 1287 176 cutoff 4.00818e+12 4.00792e+12 14814667 0.01% 1288 177 4.00811e+12 4764 4.00818e+12 4.00792e+12 14828580 0.01% Elapsed real time = 226169.58 sec. (tree size = 346.53 MB, solutions = 9) Nodefile size = 227.40 MB (98.88 MB after compression) 1289 178 4.00815e+12 3714 4.00818e+12 4.00792e+12 14838153 0.01% 1291 178 4.00817e+12 3429 4.00818e+12 4.00792e+12 14857490 0.01% 1293 176 cutoff 4.00818e+12 4.00792e+12 14863007 0.01% 1295 174 cutoff 4.00818e+12 4.00792e+12 14883495 0.01% 1296 173 cutoff 4.00818e+12 4.00792e+12 14895075 0.01% 1297 172 cutoff 4.00818e+12 4.00792e+12 14909406 0.01% 1298 171 cutoff 4.00818e+12 4.00792e+12 14917185 0.01% 1299 170 cutoff 4.00818e+12 4.00793e+12 14925646 0.01% 1300 171 4.00805e+12 4210 4.00818e+12 4.00793e+12 14959763 0.01% 1301 172 4.00806e+12 4666 4.00818e+12 4.00793e+12 14963615 0.01% Elapsed real time = 227465.94 sec. (tree size = 336.60 MB, solutions = 9) Nodefile size = 223.43 MB (97.21 MB after compression) 1302 173 4.00810e+12 1441 4.00818e+12 4.00793e+12 14967769 0.01% 1303 174 4.00815e+12 1303 4.00818e+12 4.00793e+12 14970982 0.01% 1305 172 cutoff 4.00818e+12 4.00793e+12 14974381 0.01% 1306 171 cutoff 4.00818e+12 4.00793e+12 14988377 0.01% 1307 170 cutoff 4.00818e+12 4.00793e+12 15004856 0.01% 1308 171 4.00816e+12 4148 4.00818e+12 4.00793e+12 15040781 0.01% 1311 168 cutoff 4.00818e+12 4.00793e+12 15046217 0.01% 1312 167 cutoff 4.00818e+12 4.00793e+12 15055830 0.01% 1314 165 cutoff 4.00818e+12 4.00794e+12 15069798 0.01% 1315 164 cutoff 4.00818e+12 4.00794e+12 15081549 0.01% Elapsed real time = 229109.58 sec. (tree size = 322.90 MB, solutions = 9) Nodefile size = 215.67 MB (93.83 MB after compression) 1316 163 cutoff 4.00818e+12 4.00794e+12 15089097 0.01% 1318 165 4.00806e+12 3041 4.00818e+12 4.00794e+12 15104814 0.01% 1319 166 4.00810e+12 3224 4.00818e+12 4.00794e+12 15109243 0.01% 1320 167 4.00816e+12 3755 4.00818e+12 4.00794e+12 15134083 0.01% 1323 164 cutoff 4.00818e+12 4.00795e+12 15144077 0.01% 1324 163 cutoff 4.00818e+12 4.00795e+12 15154576 0.01% 1326 161 cutoff 4.00818e+12 4.00795e+12 15163510 0.01% 1328 159 cutoff 4.00818e+12 4.00795e+12 15171015 0.01% 1329 160 4.00807e+12 1344 4.00818e+12 4.00795e+12 15180371 0.01% 1330 159 cutoff 4.00818e+12 4.00795e+12 15187560 0.01% Elapsed real time = 229790.55 sec. (tree size = 312.97 MB, solutions = 9) Nodefile size = 209.72 MB (91.36 MB after compression) 1332 157 cutoff 4.00818e+12 4.00795e+12 15200446 0.01% 1333 158 4.00808e+12 1343 4.00818e+12 4.00795e+12 15211819 0.01% 1334 157 cutoff 4.00818e+12 4.00795e+12 15218088 0.01% 1335 156 cutoff 4.00818e+12 4.00795e+12 15222258 0.01% 1336 157 4.00798e+12 1299 4.00818e+12 4.00796e+12 15226853 0.01% 1337 158 4.00817e+12 3511 4.00818e+12 4.00796e+12 15261557 0.01% 1341 156 4.00809e+12 3342 4.00818e+12 4.00796e+12 15290756 0.01% 1342 157 4.00817e+12 4534 4.00818e+12 4.00796e+12 15309684 0.01% 1345 154 cutoff 4.00818e+12 4.00796e+12 15317001 0.01% 1346 153 cutoff 4.00818e+12 4.00796e+12 15322782 0.01% Elapsed real time = 231369.15 sec. (tree size = 301.06 MB, solutions = 9) Nodefile size = 201.78 MB (88.04 MB after compression) 1348 151 cutoff 4.00818e+12 4.00797e+12 15332413 0.01% 1349 150 cutoff 4.00818e+12 4.00797e+12 15336630 0.01% 1350 149 cutoff 4.00818e+12 4.00797e+12 15343752 0.01% 1352 147 cutoff 4.00818e+12 4.00797e+12 15352331 0.01% 1353 146 cutoff 4.00818e+12 4.00798e+12 15356952 0.01% 1354 145 cutoff 4.00818e+12 4.00798e+12 15361736 0.01% 1355 144 cutoff 4.00818e+12 4.00798e+12 15371657 0.01% 1357 142 cutoff 4.00818e+12 4.00798e+12 15377178 0.01% 1358 141 cutoff 4.00818e+12 4.00799e+12 15384593 0.00% 1361 138 cutoff 4.00818e+12 4.00800e+12 15392742 0.00% Elapsed real time = 231630.64 sec. (tree size = 271.29 MB, solutions = 9) Nodefile size = 193.84 MB (84.69 MB after compression) 1363 136 cutoff 4.00818e+12 4.00800e+12 15404888 0.00% 1364 135 cutoff 4.00818e+12 4.00800e+12 15418347 0.00% 1365 134 cutoff 4.00818e+12 4.00800e+12 15425084 0.00% 1366 135 4.00813e+12 3890 4.00818e+12 4.00800e+12 15455866 0.00% 1367 136 4.00817e+12 4144 4.00818e+12 4.00800e+12 15485331 0.00% 1369 136 4.00817e+12 3845 4.00818e+12 4.00800e+12 15489863 0.00% 1372 133 cutoff 4.00818e+12 4.00800e+12 15498804 0.00% 1374 131 cutoff 4.00818e+12 4.00800e+12 15502167 0.00% 1375 130 cutoff 4.00818e+12 4.00801e+12 15505499 0.00% 1376 129 cutoff 4.00818e+12 4.00801e+12 15513117 0.00% Elapsed real time = 233211.92 sec. (tree size = 253.59 MB, solutions = 9) Nodefile size = 182.10 MB (79.61 MB after compression) 1377 130 4.00815e+12 1949 4.00818e+12 4.00801e+12 15530664 0.00% 1380 127 cutoff 4.00818e+12 4.00801e+12 15539559 0.00% 1383 126 4.00813e+12 3515 4.00818e+12 4.00802e+12 15558994 0.00% 1386 125 cutoff 4.00818e+12 4.00802e+12 15562078 0.00% 1387 124 cutoff 4.00818e+12 4.00802e+12 15574228 0.00% 1388 123 cutoff 4.00818e+12 4.00802e+12 15584328 0.00% 1389 122 cutoff 4.00818e+12 4.00802e+12 15592016 0.00% 1390 123 4.00815e+12 4183 4.00818e+12 4.00802e+12 15616142 0.00% 1391 122 cutoff 4.00818e+12 4.00802e+12 15620834 0.00% 1393 122 4.00806e+12 3541 4.00818e+12 4.00803e+12 15646018 0.00% Elapsed real time = 234850.65 sec. (tree size = 237.71 MB, solutions = 9) Nodefile size = 170.18 MB (74.53 MB after compression) 1394 123 4.00809e+12 4682 4.00818e+12 4.00803e+12 15657430 0.00% 1395 124 4.00813e+12 1963 4.00818e+12 4.00803e+12 15665792 0.00% 1396 123 cutoff 4.00818e+12 4.00803e+12 15672014 0.00% 1397 124 4.00815e+12 2435 4.00818e+12 4.00803e+12 15683893 0.00% 1399 122 cutoff 4.00818e+12 4.00803e+12 15690022 0.00% 1400 121 cutoff 4.00818e+12 4.00803e+12 15694177 0.00% 1401 122 4.00811e+12 3773 4.00818e+12 4.00803e+12 15712641 0.00% 1402 123 4.00817e+12 4609 4.00818e+12 4.00803e+12 15731938 0.00% 1403 124 4.00818e+12 4132 4.00818e+12 4.00803e+12 15739140 0.00% 1406 121 cutoff 4.00818e+12 4.00803e+12 15746861 0.00% Elapsed real time = 236164.16 sec. (tree size = 237.88 MB, solutions = 9) Nodefile size = 164.40 MB (71.93 MB after compression) 1407 120 cutoff 4.00818e+12 4.00803e+12 15757457 0.00% 1409 118 cutoff 4.00818e+12 4.00803e+12 15766549 0.00% 1410 119 4.00817e+12 3916 4.00818e+12 4.00803e+12 15794737 0.00% 1413 116 cutoff 4.00818e+12 4.00803e+12 15801588 0.00% 1414 117 4.00818e+12 4090 4.00818e+12 4.00803e+12 15832195 0.00% 1418 113 cutoff 4.00818e+12 4.00803e+12 15838906 0.00% 1419 114 4.00808e+12 3119 4.00818e+12 4.00804e+12 15847080 0.00% 1420 113 cutoff 4.00818e+12 4.00804e+12 15852798 0.00% 1422 111 cutoff 4.00818e+12 4.00804e+12 15857488 0.00% 1423 110 cutoff 4.00818e+12 4.00804e+12 15868395 0.00% Elapsed real time = 237037.58 sec. (tree size = 216.04 MB, solutions = 9) Nodefile size = 148.51 MB (65.15 MB after compression) 1424 109 cutoff 4.00818e+12 4.00804e+12 15875163 0.00% 1426 109 4.00818e+12 3492 4.00818e+12 4.00804e+12 15902770 0.00% 1430 105 cutoff 4.00818e+12 4.00805e+12 15908050 0.00% 1431 104 cutoff 4.00818e+12 4.00805e+12 15911131 0.00% 1432 103 cutoff 4.00818e+12 4.00805e+12 15919159 0.00% 1434 103 4.00807e+12 1206 4.00818e+12 4.00805e+12 15922898 0.00% 1435 102 cutoff 4.00818e+12 4.00805e+12 15930640 0.00% 1437 100 cutoff 4.00818e+12 4.00805e+12 15938967 0.00% 1439 98 cutoff 4.00818e+12 4.00805e+12 15944721 0.00% 1440 97 cutoff 4.00818e+12 4.00806e+12 15951033 0.00% Elapsed real time = 237513.16 sec. (tree size = 190.23 MB, solutions = 9) Nodefile size = 130.64 MB (57.52 MB after compression) 1441 96 cutoff 4.00818e+12 4.00806e+12 15956364 0.00% 1442 95 cutoff 4.00818e+12 4.00806e+12 15975766 0.00% 1443 96 4.00813e+12 4057 4.00818e+12 4.00806e+12 15996320 0.00% 1444 95 cutoff 4.00818e+12 4.00806e+12 16004160 0.00% 1447 92 cutoff 4.00818e+12 4.00806e+12 16009729 0.00% 1449 92 4.00808e+12 4096 4.00818e+12 4.00807e+12 16016532 0.00% 1450 91 cutoff 4.00818e+12 4.00807e+12 16026731 0.00% 1453 88 cutoff 4.00818e+12 4.00807e+12 16034710 0.00% 1454 87 cutoff 4.00818e+12 4.00807e+12 16047660 0.00% 1455 86 cutoff 4.00818e+12 4.00807e+12 16057836 0.00% Elapsed real time = 238154.95 sec. (tree size = 168.39 MB, solutions = 9) Nodefile size = 118.73 MB (52.45 MB after compression) 1457 84 cutoff 4.00818e+12 4.00808e+12 16065863 0.00% 1460 81 cutoff 4.00818e+12 4.00808e+12 16071389 0.00% 1462 79 cutoff 4.00818e+12 4.00808e+12 16075979 0.00% 1464 77 cutoff 4.00818e+12 4.00808e+12 16086175 0.00% 1465 76 cutoff 4.00818e+12 4.00809e+12 16091384 0.00% 1466 75 cutoff 4.00818e+12 4.00809e+12 16095220 0.00% 1468 77 4.00813e+12 1691 4.00818e+12 4.00809e+12 16099862 0.00% 1469 76 cutoff 4.00818e+12 4.00809e+12 16104782 0.00% 1471 76 4.00811e+12 4461 4.00818e+12 4.00809e+12 16112354 0.00% 1472 77 4.00816e+12 4564 4.00818e+12 4.00809e+12 16124560 0.00% Elapsed real time = 238535.76 sec. (tree size = 148.53 MB, solutions = 9) Nodefile size = 96.89 MB (42.95 MB after compression) 1473 76 cutoff 4.00818e+12 4.00809e+12 16130129 0.00% 1476 73 cutoff 4.00818e+12 4.00809e+12 16134338 0.00% 1479 72 4.00812e+12 1206 4.00818e+12 4.00809e+12 16139126 0.00% 1480 71 cutoff 4.00818e+12 4.00809e+12 16144089 0.00% 1482 69 cutoff 4.00818e+12 4.00810e+12 16152555 0.00% 1484 67 cutoff 4.00818e+12 4.00810e+12 16156000 0.00% 1485 66 cutoff 4.00818e+12 4.00810e+12 16161638 0.00% 1486 65 cutoff 4.00818e+12 4.00810e+12 16170227 0.00% 1488 63 cutoff 4.00818e+12 4.00810e+12 16176461 0.00% * 1490 61 integral 0 4.00818e+12 4.00810e+12 16188524 0.00% Elapsed real time = 238820.95 sec. (tree size = 118.74 MB, solutions = 10) Nodefile size = 75.04 MB (33.50 MB after compression) 1492 59 cutoff 4.00818e+12 4.00811e+12 16194008 0.00% 1496 55 cutoff 4.00818e+12 4.00811e+12 16206439 0.00% 1498 53 cutoff 4.00818e+12 4.00811e+12 16214016 0.00% 1499 52 cutoff 4.00818e+12 4.00811e+12 16220342 0.00% 1502 49 cutoff 4.00818e+12 4.00811e+12 16223870 0.00% 1504 49 cutoff 4.00818e+12 4.00812e+12 16226872 0.00% 1506 47 cutoff 4.00818e+12 4.00812e+12 16232245 0.00% 1510 43 cutoff 4.00818e+12 4.00812e+12 16243788 0.00% 1513 40 cutoff 4.00818e+12 4.00812e+12 16254397 0.00% 1514 39 cutoff 4.00818e+12 4.00812e+12 16256910 0.00% Elapsed real time = 239199.18 sec. (tree size = 75.19 MB, solutions = 10) Nodefile size = 45.39 MB (20.38 MB after compression) 1517 36 cutoff 4.00818e+12 4.00812e+12 16259787 0.00% * 1519 8 integral 0 4.00814e+12 4.00813e+12 16261737 0.00% 1525 2 cutoff 4.00814e+12 4.00814e+12 16263342 0.00% Zero-half cuts applied: 103 Gomory fractional cuts applied: 1 Root node processing (before b&c): Real time = 50138.74 Sequential b&c: Real time = 189067.93 ------- Total (root+branch&cut) = 239206.67 sec. Solution pool: 11 solutions saved. MIP - Integer optimal solution: Objective = 4.0081377348e+12 Solution time = 239237.56 sec. Iterations = 16263381 Nodes = 1528 Deterministic time = 57402161.64 ticks (239.94 ticks/sec) Incumbent solution written to file '1BRS.matrix.44p.20aa.usingEref_self_digit8.wcsp.sol'.