Log started (V12.4.0.0) Mon Jan 28 17:34:19 2013 Problem '1CDL.matrix.40p.19aa.usingEref_self_digit8.wcsp.lp' read. Read time = 26.87 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 = 33.71 sec. Elapsed time 10.83 sec. for 0% of probing. Elapsed time 22.49 sec. for 0% of probing. Elapsed time 33.64 sec. for 0% of probing. Elapsed time 45.69 sec. for 0% of probing. Elapsed time 57.91 sec. for 0% of probing. Elapsed time 68.89 sec. for 0% of probing. Elapsed time 80.32 sec. for 0% of probing. Elapsed time 90.93 sec. for 0% of probing. Elapsed time 101.88 sec. for 0% of probing. Elapsed time 113.09 sec. for 0% of probing. Elapsed time 124.15 sec. for 0% of probing. Elapsed time 134.17 sec. for 0% of probing. Elapsed time 149.09 sec. for 0% of probing. Elapsed time 179.08 sec. for 0% of probing. Elapsed time 198.96 sec. for 0% of probing. Elapsed time 210.79 sec. for 0% of probing. Elapsed time 224.74 sec. for 0% of probing. Elapsed time 254.05 sec. for 0% of probing. Elapsed time 270.52 sec. for 0% of probing. Elapsed time 283.10 sec. for 0% of probing. Elapsed time 299.30 sec. for 0% of probing. Probing time = 301.68 sec. Clique table members: 33372844. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 18713.22 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 3.58942e+12 1892 3.58942e+12 1267603 * 0+ 0 1.53723e+18 3.58942e+12 1267603 100.00% Repeating presolve. Presolve has eliminated 36262 rows and 3269938 columns... Aggregator has done 3145 substitutions... Tried aggregator 2 times. Aggregator has done 3145 substitutions... MIP Presolve eliminated 36301 rows and 3269938 columns. Aggregator did 3145 substitutions. Reduced MIP has 122093 rows, 4939276 columns, and 9997396 nonzeros. Reduced MIP has 4939276 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 14.59 sec. for 0% of probing. Elapsed time 25.60 sec. for 0% of probing. Elapsed time 35.67 sec. for 0% of probing. Elapsed time 46.95 sec. for 0% of probing. Elapsed time 57.45 sec. for 0% of probing. Elapsed time 68.89 sec. for 0% of probing. Elapsed time 87.16 sec. for 0% of probing. Elapsed time 100.02 sec. for 0% of probing. Elapsed time 119.90 sec. for 0% of probing. Elapsed time 133.06 sec. for 0% of probing. Elapsed time 162.30 sec. for 0% of probing. Elapsed time 176.95 sec. for 0% of probing. Elapsed time 193.82 sec. for 0% of probing. Probing time = 194.37 sec. Presolve has eliminated 0 rows and 0 columns... Tried aggregator 1 time. Presolve has eliminated 0 rows and 0 columns... Represolve time = 278.58 sec. Elapsed time 12.80 sec. for 0% of probing. Elapsed time 23.42 sec. for 0% of probing. Elapsed time 34.17 sec. for 0% of probing. Elapsed time 44.57 sec. for 0% of probing. Elapsed time 54.72 sec. for 0% of probing. Elapsed time 65.43 sec. for 0% of probing. Elapsed time 80.12 sec. for 0% of probing. Elapsed time 93.88 sec. for 0% of probing. Elapsed time 110.07 sec. for 0% of probing. Elapsed time 131.59 sec. for 0% of probing. Elapsed time 141.89 sec. for 0% of probing. Elapsed time 157.38 sec. for 0% of probing. Probing time = 163.11 sec. Clique table members: 19946364. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 12178.47 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 1.53723e+18 3.58942e+12 2600702 100.00% 0 0 3.58942e+12 1823 1.53723e+18 3.58942e+12 2600702 100.00% * 0+ 0 3.79762e+12 3.58942e+12 2600702 5.48% * 0+ 0 3.59292e+12 3.58942e+12 2600702 0.10% Heuristic still looking. 0 2 3.58942e+12 1823 3.59292e+12 3.58942e+12 2600702 0.10% Elapsed real time = 35880.44 sec. (tree size = 0.00 MB, solutions = 4) 1 3 3.58942e+12 6939 3.59292e+12 3.58942e+12 2602382 0.10% 2 4 3.58954e+12 7330 3.59292e+12 3.58942e+12 2619433 0.10% 3 5 3.58961e+12 5313 3.59292e+12 3.58942e+12 2628341 0.10% 4 6 3.58980e+12 4002 3.59292e+12 3.58942e+12 2703497 0.10% 5 7 3.58977e+12 4788 3.59292e+12 3.58942e+12 2713369 0.10% 6 8 3.58983e+12 5801 3.59292e+12 3.58942e+12 2719053 0.10% 7 9 3.59045e+12 2919 3.59292e+12 3.58942e+12 2770293 0.10% 8 10 3.58999e+12 5077 3.59292e+12 3.58942e+12 2806869 0.10% 9 11 3.59020e+12 2374 3.59292e+12 3.58942e+12 2822570 0.10% 10 12 3.59001e+12 2746 3.59292e+12 3.58942e+12 2831573 0.10% Elapsed real time = 40393.10 sec. (tree size = 26.06 MB, solutions = 4) 11 13 3.59004e+12 5218 3.59292e+12 3.58942e+12 2834936 0.10% 12 14 3.59011e+12 4727 3.59292e+12 3.58942e+12 2841586 0.10% 13 15 3.59005e+12 1590 3.59292e+12 3.58942e+12 2842468 0.10% 14 16 3.59019e+12 5207 3.59292e+12 3.58942e+12 2879888 0.10% 15 17 3.59011e+12 2546 3.59292e+12 3.58942e+12 2885292 0.10% 16 18 3.59016e+12 5111 3.59292e+12 3.58942e+12 2892669 0.10% 17 19 3.59017e+12 5172 3.59292e+12 3.58942e+12 2895316 0.10% 18 20 3.59035e+12 4067 3.59292e+12 3.58942e+12 2909861 0.10% 19 21 3.59019e+12 3916 3.59292e+12 3.58942e+12 2918998 0.10% 20 22 3.59050e+12 2050 3.59292e+12 3.58942e+12 2938690 0.10% Elapsed real time = 42037.80 sec. (tree size = 52.21 MB, solutions = 4) 21 23 3.59032e+12 2309 3.59292e+12 3.58942e+12 2952772 0.10% 22 24 3.59096e+12 2371 3.59292e+12 3.58942e+12 2997684 0.10% 23 25 3.59032e+12 5746 3.59292e+12 3.58942e+12 2998512 0.10% 24 26 3.59042e+12 6250 3.59292e+12 3.58942e+12 3023750 0.10% 25 27 3.59121e+12 6187 3.59292e+12 3.58942e+12 3053771 0.10% 26 28 3.59052e+12 4459 3.59292e+12 3.58942e+12 3059534 0.10% 27 29 3.59054e+12 3029 3.59292e+12 3.58942e+12 3069748 0.10% 28 30 3.59103e+12 3373 3.59292e+12 3.58942e+12 3098351 0.10% 29 31 3.59112e+12 1933 3.59292e+12 3.58942e+12 3111144 0.10% * 30 26 integral 0 3.59103e+12 3.58942e+12 3111986 0.04% Elapsed real time = 44271.89 sec. (tree size = 65.43 MB, solutions = 5) 31 27 3.58943e+12 1823 3.59103e+12 3.58942e+12 3113158 0.04% 32 28 3.58944e+12 1802 3.59103e+12 3.58942e+12 3115043 0.04% 33 29 3.58956e+12 1777 3.59103e+12 3.58942e+12 3133868 0.04% 34 30 3.58963e+12 5653 3.59103e+12 3.58942e+12 3145054 0.04% 35 31 3.58965e+12 1543 3.59103e+12 3.58942e+12 3147034 0.04% 36 32 3.58981e+12 2324 3.59103e+12 3.58942e+12 3155869 0.04% 37 33 3.58986e+12 1711 3.59103e+12 3.58942e+12 3160440 0.04% 38 34 3.58990e+12 1483 3.59103e+12 3.58942e+12 3162071 0.04% 39 35 3.59074e+12 1140 3.59103e+12 3.58942e+12 3173956 0.04% 40 36 3.59091e+12 1140 3.59103e+12 3.58942e+12 3185269 0.04% Elapsed real time = 45136.67 sec. (tree size = 86.38 MB, solutions = 5) 41 35 cutoff 3.59103e+12 3.58942e+12 3188838 0.04% 42 36 3.59093e+12 1180 3.59103e+12 3.58942e+12 3190834 0.04% 43 35 cutoff 3.59103e+12 3.58942e+12 3195265 0.04% 44 36 3.59094e+12 1140 3.59103e+12 3.58942e+12 3195628 0.04% 45 37 3.59097e+12 4147 3.59103e+12 3.58942e+12 3199176 0.04% 46 36 cutoff 3.59103e+12 3.58942e+12 3205366 0.04% 47 37 3.59099e+12 1098 3.59103e+12 3.58942e+12 3207664 0.04% 48 36 cutoff 3.59103e+12 3.58942e+12 3210983 0.04% 49 35 cutoff 3.59103e+12 3.58942e+12 3212154 0.04% 50 36 3.58960e+12 3198 3.59103e+12 3.58943e+12 3269492 0.04% Elapsed real time = 46770.18 sec. (tree size = 90.16 MB, solutions = 5) 51 37 3.58967e+12 3697 3.59103e+12 3.58943e+12 3275839 0.04% 52 38 3.58983e+12 4818 3.59103e+12 3.58943e+12 3288434 0.04% 53 39 3.58988e+12 4064 3.59103e+12 3.58943e+12 3298334 0.04% 54 40 3.58989e+12 3597 3.59103e+12 3.58943e+12 3300828 0.04% 55 41 3.59004e+12 3760 3.59103e+12 3.58943e+12 3332038 0.04% 56 42 3.59008e+12 4340 3.59103e+12 3.58943e+12 3339686 0.04% 58 44 3.59010e+12 3283 3.59103e+12 3.58943e+12 3345000 0.04% 59 45 3.59011e+12 3872 3.59103e+12 3.58943e+12 3346402 0.04% 60 46 3.59013e+12 2801 3.59103e+12 3.58943e+12 3352894 0.04% 61 47 3.59017e+12 2827 3.59103e+12 3.58943e+12 3358284 0.04% Elapsed real time = 49062.88 sec. (tree size = 119.58 MB, solutions = 5) 62 48 3.59053e+12 4304 3.59103e+12 3.58943e+12 3388572 0.04% 63 49 3.59057e+12 3124 3.59103e+12 3.58943e+12 3406055 0.04% 64 50 3.59074e+12 2938 3.59103e+12 3.58943e+12 3426085 0.04% 65 51 3.59074e+12 2772 3.59103e+12 3.58943e+12 3427062 0.04% 66 52 3.59076e+12 4301 3.59103e+12 3.58943e+12 3439092 0.04% 67 53 3.59087e+12 3070 3.59103e+12 3.58943e+12 3451197 0.04% 68 52 cutoff 3.59103e+12 3.58943e+12 3460193 0.04% 69 53 3.59099e+12 2363 3.59103e+12 3.58943e+12 3473812 0.04% 70 52 cutoff 3.59103e+12 3.58943e+12 3474751 0.04% 72 52 3.58944e+12 1802 3.59103e+12 3.58944e+12 3475669 0.04% Elapsed real time = 50423.53 sec. (tree size = 135.12 MB, solutions = 5) Nodefile size = 11.68 MB (4.21 MB after compression) 73 53 3.58955e+12 1824 3.59103e+12 3.58944e+12 3489818 0.04% 74 54 3.58962e+12 6307 3.59103e+12 3.58944e+12 3500140 0.04% 75 55 3.58964e+12 1543 3.59103e+12 3.58944e+12 3501902 0.04% 76 56 3.58980e+12 4478 3.59103e+12 3.58944e+12 3510401 0.04% 77 57 3.58986e+12 1441 3.59103e+12 3.58944e+12 3517123 0.04% 78 58 3.58989e+12 1483 3.59103e+12 3.58944e+12 3518466 0.04% 79 59 3.59005e+12 1484 3.59103e+12 3.58944e+12 3536759 0.04% 80 60 3.59008e+12 1520 3.59103e+12 3.58944e+12 3541822 0.04% 81 61 3.59008e+12 2684 3.59103e+12 3.58944e+12 3542605 0.04% 82 62 3.59015e+12 3777 3.59103e+12 3.58944e+12 3552195 0.04% Elapsed real time = 51381.25 sec. (tree size = 161.54 MB, solutions = 5) Nodefile size = 34.96 MB (12.24 MB after compression) 83 63 3.59021e+12 6192 3.59103e+12 3.58944e+12 3566657 0.04% 84 64 3.59024e+12 5357 3.59103e+12 3.58944e+12 3580246 0.04% 85 65 3.59024e+12 3665 3.59103e+12 3.58944e+12 3582653 0.04% 86 66 3.59039e+12 4765 3.59103e+12 3.58944e+12 3600810 0.04% 87 67 3.59039e+12 2143 3.59103e+12 3.58944e+12 3601065 0.04% 88 68 3.59048e+12 3151 3.59103e+12 3.58944e+12 3628737 0.04% 89 69 3.59058e+12 2610 3.59103e+12 3.58944e+12 3642481 0.04% 90 70 3.59072e+12 1218 3.59103e+12 3.58944e+12 3652074 0.04% 91 71 3.59077e+12 4816 3.59103e+12 3.58944e+12 3664772 0.04% 92 72 3.59080e+12 1877 3.59103e+12 3.58944e+12 3666697 0.04% Elapsed real time = 53107.95 sec. (tree size = 189.92 MB, solutions = 5) Nodefile size = 62.40 MB (23.30 MB after compression) 93 71 cutoff 3.59103e+12 3.58944e+12 3673227 0.04% 94 72 3.59085e+12 2242 3.59103e+12 3.58944e+12 3675249 0.04% 95 73 3.59089e+12 1912 3.59103e+12 3.58944e+12 3677018 0.04% 96 74 3.59096e+12 1992 3.59103e+12 3.58944e+12 3681838 0.04% 97 75 3.59098e+12 2229 3.59103e+12 3.58944e+12 3685026 0.04% 98 76 3.59099e+12 3352 3.59103e+12 3.58944e+12 3689375 0.04% 99 77 3.59099e+12 2015 3.59103e+12 3.58944e+12 3690252 0.04% 100 78 3.59099e+12 2019 3.59103e+12 3.58944e+12 3695529 0.04% 101 79 3.59101e+12 3290 3.59103e+12 3.58944e+12 3699782 0.04% 102 78 cutoff 3.59103e+12 3.58944e+12 3709650 0.04% Elapsed real time = 53417.95 sec. (tree size = 212.22 MB, solutions = 5) Nodefile size = 84.69 MB (31.69 MB after compression) 104 78 3.58962e+12 6189 3.59103e+12 3.58944e+12 3762768 0.04% 105 79 3.58968e+12 4068 3.59103e+12 3.58944e+12 3768617 0.04% 106 80 3.58971e+12 4503 3.59103e+12 3.58944e+12 3777580 0.04% 108 82 3.58987e+12 3298 3.59103e+12 3.58944e+12 3787969 0.04% 109 83 3.58993e+12 4858 3.59103e+12 3.58944e+12 3796866 0.04% 110 84 3.58997e+12 2670 3.59103e+12 3.58944e+12 3802597 0.04% 111 85 3.59012e+12 4700 3.59103e+12 3.58944e+12 3824359 0.04% 112 86 3.59014e+12 3384 3.59103e+12 3.58944e+12 3831684 0.04% 113 87 3.59015e+12 2665 3.59103e+12 3.58944e+12 3832994 0.04% 114 88 3.59021e+12 5413 3.59103e+12 3.58944e+12 3840894 0.04% Elapsed real time = 55573.96 sec. (tree size = 236.27 MB, solutions = 5) Nodefile size = 109.13 MB (40.90 MB after compression) 115 89 3.59026e+12 2455 3.59103e+12 3.58944e+12 3855802 0.04% 116 90 3.59029e+12 3263 3.59103e+12 3.58944e+12 3866660 0.04% 117 91 3.59043e+12 4764 3.59103e+12 3.58944e+12 3887550 0.04% 118 92 3.59050e+12 2497 3.59103e+12 3.58944e+12 3904313 0.04% 120 94 3.59054e+12 2931 3.59103e+12 3.58944e+12 3920289 0.04% 121 95 3.59064e+12 4050 3.59103e+12 3.58944e+12 3935566 0.04% 122 96 3.59080e+12 1877 3.59103e+12 3.58944e+12 3944886 0.04% 123 97 3.59085e+12 3182 3.59103e+12 3.58944e+12 3947305 0.04% 124 98 3.59089e+12 4176 3.59103e+12 3.58944e+12 3949916 0.04% 125 99 3.59096e+12 1992 3.59103e+12 3.58944e+12 3954475 0.04% Elapsed real time = 57327.01 sec. (tree size = 268.38 MB, solutions = 5) Nodefile size = 140.67 MB (54.33 MB after compression) 126 100 3.59098e+12 2059 3.59103e+12 3.58944e+12 3957997 0.04% 128 102 3.59098e+12 4548 3.59103e+12 3.58944e+12 3961701 0.04% 129 103 3.59099e+12 4232 3.59103e+12 3.58944e+12 3963429 0.04% 130 104 3.59099e+12 2015 3.59103e+12 3.58944e+12 3964865 0.04% 132 104 cutoff 3.59103e+12 3.58944e+12 3966433 0.04% 133 105 3.59102e+12 3055 3.59103e+12 3.58944e+12 3971897 0.04% 134 104 cutoff 3.59103e+12 3.58944e+12 3976933 0.04% 136 104 3.58962e+12 5507 3.59103e+12 3.58954e+12 4018748 0.04% 137 105 3.58969e+12 2948 3.59103e+12 3.58954e+12 4025087 0.04% 138 106 3.58978e+12 6205 3.59103e+12 3.58954e+12 4047655 0.04% Elapsed real time = 58775.81 sec. (tree size = 290.18 MB, solutions = 5) Nodefile size = 162.97 MB (62.91 MB after compression) 139 107 3.58971e+12 5061 3.59103e+12 3.58954e+12 4052478 0.04% 140 108 3.58988e+12 2819 3.59103e+12 3.58954e+12 4066422 0.04% 141 109 3.58991e+12 4653 3.59103e+12 3.58954e+12 4138722 0.04% 142 110 3.58993e+12 4005 3.59103e+12 3.58954e+12 4146385 0.04% 143 111 3.59002e+12 5610 3.59103e+12 3.58954e+12 4156364 0.04% 144 112 3.58997e+12 2670 3.59103e+12 3.58954e+12 4161638 0.04% 145 113 3.59079e+12 1140 3.59103e+12 3.58954e+12 4174975 0.04% 146 114 3.59095e+12 1140 3.59103e+12 3.58954e+12 4185113 0.04% 148 114 3.59096e+12 1180 3.59103e+12 3.58954e+12 4189142 0.04% 150 114 3.59097e+12 1140 3.59103e+12 3.58954e+12 4191181 0.04% Elapsed real time = 61003.30 sec. (tree size = 312.02 MB, solutions = 5) Nodefile size = 184.55 MB (71.31 MB after compression) 151 113 cutoff 3.59103e+12 3.58954e+12 4197752 0.04% 152 112 cutoff 3.59103e+12 3.58954e+12 4201677 0.04% 153 113 3.58970e+12 2267 3.59103e+12 3.58955e+12 4257455 0.04% 154 114 3.58977e+12 1378 3.59103e+12 3.58955e+12 4266962 0.04% 155 115 3.58990e+12 4877 3.59103e+12 3.58955e+12 4295120 0.04% 156 116 3.59008e+12 1378 3.59103e+12 3.58955e+12 4302939 0.04% 157 117 3.59033e+12 1652 3.59103e+12 3.58955e+12 4309883 0.04% 158 118 3.59050e+12 1474 3.59103e+12 3.58955e+12 4318252 0.04% 159 119 3.59054e+12 2284 3.59103e+12 3.58955e+12 4325272 0.04% 160 120 3.59057e+12 1478 3.59103e+12 3.58955e+12 4327996 0.04% Elapsed real time = 63459.65 sec. (tree size = 328.59 MB, solutions = 5) Nodefile size = 201.29 MB (77.71 MB after compression) 161 121 3.59061e+12 1661 3.59103e+12 3.58955e+12 4334849 0.04% 163 123 3.59077e+12 4265 3.59103e+12 3.58955e+12 4355723 0.04% 164 124 3.59081e+12 3628 3.59103e+12 3.58955e+12 4361072 0.04% 165 125 3.59084e+12 5053 3.59103e+12 3.58955e+12 4364936 0.04% 166 126 3.59089e+12 4715 3.59103e+12 3.58955e+12 4376076 0.04% 167 127 3.59091e+12 4204 3.59103e+12 3.58955e+12 4382747 0.04% 168 126 cutoff 3.59103e+12 3.58955e+12 4395906 0.04% 170 126 3.58971e+12 1769 3.59103e+12 3.58956e+12 4437563 0.04% 171 127 3.58979e+12 1404 3.59103e+12 3.58956e+12 4445881 0.04% 172 128 3.59002e+12 5564 3.59103e+12 3.58956e+12 4460512 0.04% Elapsed real time = 65474.59 sec. (tree size = 352.72 MB, solutions = 5) Nodefile size = 225.64 MB (87.74 MB after compression) 173 129 3.59003e+12 1864 3.59103e+12 3.58956e+12 4462897 0.04% 174 130 3.59019e+12 3015 3.59103e+12 3.58956e+12 4469254 0.04% 175 131 3.59023e+12 1405 3.59103e+12 3.58956e+12 4470975 0.04% 176 132 3.59027e+12 1405 3.59103e+12 3.58956e+12 4474691 0.04% 178 134 3.59048e+12 1298 3.59103e+12 3.58956e+12 4490468 0.04% 180 136 3.59052e+12 1299 3.59103e+12 3.58956e+12 4492046 0.04% 181 137 3.59057e+12 4179 3.59103e+12 3.58956e+12 4497882 0.04% 182 138 3.59063e+12 1282 3.59103e+12 3.58956e+12 4510092 0.04% 183 139 3.59066e+12 5067 3.59103e+12 3.58956e+12 4518404 0.04% 184 140 3.59067e+12 1331 3.59103e+12 3.58956e+12 4521685 0.04% Elapsed real time = 66125.87 sec. (tree size = 386.42 MB, solutions = 5) Nodefile size = 259.08 MB (102.29 MB after compression) 185 141 3.59086e+12 3123 3.59103e+12 3.58956e+12 4555122 0.04% 186 142 3.59086e+12 3118 3.59103e+12 3.58956e+12 4557268 0.04% 187 143 3.59088e+12 4775 3.59103e+12 3.58956e+12 4568513 0.04% 188 144 3.59098e+12 3620 3.59103e+12 3.58956e+12 4584624 0.04% 190 142 cutoff 3.59103e+12 3.58956e+12 4587522 0.04% 191 143 3.58972e+12 7126 3.59103e+12 3.58960e+12 4636439 0.04% 192 144 3.58979e+12 6615 3.59103e+12 3.58960e+12 4643541 0.04% 193 145 3.58999e+12 1404 3.59103e+12 3.58960e+12 4648236 0.04% 194 146 3.59010e+12 3125 3.59103e+12 3.58960e+12 4651885 0.04% 195 147 3.59046e+12 1350 3.59103e+12 3.58960e+12 4659063 0.04% Elapsed real time = 68189.67 sec. (tree size = 406.98 MB, solutions = 5) Nodefile size = 280.02 MB (110.75 MB after compression) 197 149 3.59078e+12 1288 3.59103e+12 3.58960e+12 4665173 0.04% 198 150 3.59094e+12 1218 3.59103e+12 3.58960e+12 4671724 0.04% 202 150 3.58975e+12 3388 3.59103e+12 3.58962e+12 4693213 0.04% 203 151 3.58983e+12 7312 3.59103e+12 3.58962e+12 4738861 0.04% 204 152 3.59004e+12 6389 3.59103e+12 3.58962e+12 4754306 0.04% 205 153 3.59021e+12 6035 3.59103e+12 3.58962e+12 4772677 0.04% 206 154 3.59024e+12 3242 3.59103e+12 3.58962e+12 4783087 0.04% 207 155 3.59024e+12 2954 3.59103e+12 3.58962e+12 4785255 0.04% 208 156 3.59030e+12 4333 3.59103e+12 3.58962e+12 4791191 0.04% 209 157 3.59045e+12 4762 3.59103e+12 3.58962e+12 4815285 0.04% Elapsed real time = 71282.63 sec. (tree size = 435.33 MB, solutions = 5) Nodefile size = 308.30 MB (122.61 MB after compression) 210 158 3.59047e+12 2898 3.59103e+12 3.58962e+12 4823951 0.04% 211 159 3.59054e+12 2831 3.59103e+12 3.58962e+12 4837249 0.04% 212 160 3.59058e+12 2208 3.59103e+12 3.58962e+12 4844833 0.04% 213 161 3.59058e+12 4154 3.59103e+12 3.58962e+12 4846015 0.04% 214 162 3.59063e+12 3532 3.59103e+12 3.58962e+12 4859334 0.04% 215 163 3.59067e+12 2525 3.59103e+12 3.58962e+12 4866368 0.04% 216 164 3.59069e+12 4105 3.59103e+12 3.58962e+12 4873243 0.04% 217 165 3.59086e+12 4387 3.59103e+12 3.58962e+12 4891173 0.04% 218 166 3.59086e+12 4300 3.59103e+12 3.58962e+12 4892540 0.04% 219 167 3.59097e+12 3558 3.59103e+12 3.58962e+12 4908336 0.04% Elapsed real time = 72839.92 sec. (tree size = 465.06 MB, solutions = 5) Nodefile size = 337.61 MB (136.04 MB after compression) 220 168 3.59100e+12 1889 3.59103e+12 3.58962e+12 4911506 0.04% 222 166 cutoff 3.59103e+12 3.58962e+12 4913785 0.04% 223 167 3.58977e+12 4075 3.59103e+12 3.58962e+12 4934019 0.04% 224 168 3.58985e+12 7152 3.59103e+12 3.58962e+12 4971234 0.04% 225 169 3.59005e+12 1404 3.59103e+12 3.58962e+12 4978138 0.04% 226 170 3.59006e+12 3099 3.59103e+12 3.58962e+12 4991693 0.04% 227 171 3.59016e+12 5851 3.59103e+12 3.58962e+12 4996788 0.04% 228 172 3.59039e+12 1350 3.59103e+12 3.58962e+12 5004281 0.04% 230 174 3.59060e+12 1378 3.59103e+12 3.58962e+12 5017310 0.04% 231 175 3.59063e+12 1254 3.59103e+12 3.58962e+12 5023754 0.04% Elapsed real time = 75119.46 sec. (tree size = 487.72 MB, solutions = 5) Nodefile size = 360.52 MB (145.76 MB after compression) 232 176 3.59079e+12 1218 3.59103e+12 3.58962e+12 5029189 0.04% 233 177 3.59085e+12 1140 3.59103e+12 3.58962e+12 5031869 0.04% 234 178 3.59102e+12 1140 3.59103e+12 3.58962e+12 5047063 0.04% 237 177 cutoff 3.59103e+12 3.58962e+12 5049709 0.04% 241 177 3.58963e+12 6422 3.59103e+12 3.58963e+12 5051489 0.04% 242 178 3.58979e+12 1529 3.59103e+12 3.58963e+12 5061369 0.04% 243 179 3.58985e+12 1808 3.59103e+12 3.58963e+12 5067573 0.04% 244 180 3.58988e+12 1625 3.59103e+12 3.58963e+12 5069615 0.04% 245 181 3.59004e+12 6072 3.59103e+12 3.58963e+12 5095052 0.04% 246 182 3.59007e+12 3789 3.59103e+12 3.58963e+12 5102126 0.04% Elapsed real time = 76362.22 sec. (tree size = 507.68 MB, solutions = 5) Nodefile size = 380.83 MB (154.12 MB after compression) 248 184 3.59014e+12 4888 3.59103e+12 3.58963e+12 5118418 0.04% 249 185 3.59020e+12 4324 3.59103e+12 3.58963e+12 5130755 0.04% 250 186 3.59022e+12 2188 3.59103e+12 3.58963e+12 5139684 0.04% 251 187 3.59035e+12 4357 3.59103e+12 3.58963e+12 5154559 0.04% 253 189 3.59045e+12 5559 3.59103e+12 3.58963e+12 5185211 0.04% 254 190 3.59047e+12 2521 3.59103e+12 3.58963e+12 5191300 0.04% 255 191 3.59057e+12 4605 3.59103e+12 3.58963e+12 5201996 0.04% 256 192 3.59071e+12 5785 3.59103e+12 3.58963e+12 5216420 0.04% 257 193 3.59072e+12 2515 3.59103e+12 3.58963e+12 5218646 0.04% 258 194 3.59077e+12 5159 3.59103e+12 3.58963e+12 5226402 0.04% Elapsed real time = 78749.21 sec. (tree size = 541.31 MB, solutions = 5) Nodefile size = 414.10 MB (168.82 MB after compression) 259 195 3.59082e+12 2740 3.59103e+12 3.58963e+12 5230251 0.04% 260 196 3.59087e+12 2740 3.59103e+12 3.58963e+12 5234480 0.04% 261 197 3.59092e+12 5259 3.59103e+12 3.58963e+12 5247596 0.04% 262 198 3.59093e+12 5682 3.59103e+12 3.58963e+12 5255376 0.04% 263 199 3.59094e+12 3632 3.59103e+12 3.58963e+12 5262444 0.04% 264 200 3.59096e+12 3892 3.59103e+12 3.58963e+12 5274755 0.04% 265 201 3.59097e+12 3503 3.59103e+12 3.58963e+12 5280663 0.04% 266 202 3.59098e+12 5013 3.59103e+12 3.58963e+12 5286932 0.04% 267 203 3.59101e+12 3230 3.59103e+12 3.58963e+12 5291998 0.04% 268 204 3.59101e+12 3963 3.59103e+12 3.58963e+12 5294638 0.04% Elapsed real time = 79993.57 sec. (tree size = 573.08 MB, solutions = 5) Nodefile size = 445.72 MB (181.47 MB after compression) 269 205 3.59102e+12 3222 3.59103e+12 3.58963e+12 5299918 0.04% 273 205 3.58979e+12 1532 3.59103e+12 3.58963e+12 5309048 0.04% 274 206 3.58985e+12 4534 3.59103e+12 3.58963e+12 5316765 0.04% 275 207 3.58988e+12 1483 3.59103e+12 3.58963e+12 5319310 0.04% 276 208 3.59004e+12 1593 3.59103e+12 3.58963e+12 5347839 0.04% 277 209 3.59006e+12 1968 3.59103e+12 3.58963e+12 5357442 0.04% 278 210 3.59007e+12 4413 3.59103e+12 3.58963e+12 5358929 0.04% 279 211 3.59014e+12 2397 3.59103e+12 3.58963e+12 5368284 0.04% 280 212 3.59019e+12 2047 3.59103e+12 3.58963e+12 5377934 0.04% 281 213 3.59021e+12 3595 3.59103e+12 3.58963e+12 5386147 0.04% Elapsed real time = 81735.19 sec. (tree size = 597.63 MB, solutions = 5) Nodefile size = 470.79 MB (191.71 MB after compression) 282 214 3.59034e+12 2389 3.59103e+12 3.58963e+12 5403180 0.04% 284 216 3.59044e+12 2786 3.59103e+12 3.58963e+12 5434683 0.04% 285 217 3.59054e+12 2338 3.59103e+12 3.58963e+12 5445917 0.04% 286 218 3.59070e+12 2273 3.59103e+12 3.58963e+12 5458046 0.04% 287 219 3.59075e+12 4699 3.59103e+12 3.58963e+12 5466267 0.04% 288 220 3.59081e+12 4632 3.59103e+12 3.58963e+12 5475019 0.04% 289 221 3.59085e+12 2570 3.59103e+12 3.58963e+12 5483523 0.04% 290 222 3.59088e+12 2769 3.59103e+12 3.58963e+12 5485943 0.04% 291 223 3.59088e+12 3847 3.59103e+12 3.58963e+12 5491722 0.04% 292 224 3.59089e+12 4427 3.59103e+12 3.58963e+12 5495338 0.04% Elapsed real time = 83648.69 sec. (tree size = 630.41 MB, solutions = 5) Nodefile size = 503.10 MB (205.56 MB after compression) 293 225 3.59091e+12 3082 3.59103e+12 3.58963e+12 5500335 0.04% 294 226 3.59093e+12 2263 3.59103e+12 3.58963e+12 5503493 0.04% 295 227 3.59094e+12 1920 3.59103e+12 3.58963e+12 5505780 0.04% 296 228 3.59099e+12 2472 3.59103e+12 3.58963e+12 5512243 0.04% 297 227 cutoff 3.59103e+12 3.58963e+12 5517456 0.04% 299 227 3.58982e+12 3460 3.59103e+12 3.58963e+12 5600039 0.04% 300 228 3.59012e+12 3876 3.59103e+12 3.58963e+12 5645166 0.04% 301 229 3.59017e+12 4007 3.59103e+12 3.58963e+12 5657401 0.04% 302 230 3.59020e+12 6659 3.59103e+12 3.58963e+12 5675451 0.04% 303 231 3.59022e+12 6568 3.59103e+12 3.58963e+12 5686000 0.04% Elapsed real time = 89224.03 sec. (tree size = 651.27 MB, solutions = 5) Nodefile size = 524.41 MB (213.82 MB after compression) 304 232 3.59032e+12 3526 3.59103e+12 3.58963e+12 5706849 0.04% 305 233 3.59035e+12 3148 3.59103e+12 3.58963e+12 5728025 0.04% 306 234 3.59038e+12 3938 3.59103e+12 3.58963e+12 5733548 0.04% 307 235 3.59041e+12 2744 3.59103e+12 3.58963e+12 5743918 0.04% 308 236 3.59048e+12 5702 3.59103e+12 3.58963e+12 5751573 0.04% 309 237 3.59051e+12 5223 3.59103e+12 3.58963e+12 5755385 0.04% 310 238 3.59056e+12 2222 3.59103e+12 3.58963e+12 5764983 0.04% 311 239 3.59058e+12 2521 3.59103e+12 3.58963e+12 5771648 0.04% 312 240 3.59059e+12 3845 3.59103e+12 3.58963e+12 5778899 0.04% 313 241 3.59061e+12 5293 3.59103e+12 3.58963e+12 5785170 0.04% Elapsed real time = 91428.75 sec. (tree size = 679.43 MB, solutions = 5) Nodefile size = 552.37 MB (226.49 MB after compression) 314 242 3.59073e+12 5217 3.59103e+12 3.58963e+12 5799450 0.04% 316 244 3.59083e+12 4959 3.59103e+12 3.58963e+12 5826860 0.04% 317 245 3.59093e+12 5664 3.59103e+12 3.58963e+12 5837874 0.04% 318 244 cutoff 3.59103e+12 3.58963e+12 5842827 0.04% 319 243 cutoff 3.59103e+12 3.58963e+12 5846035 0.04% 320 244 3.58983e+12 3495 3.59103e+12 3.58964e+12 5916088 0.04% 321 245 3.59019e+12 7069 3.59103e+12 3.58964e+12 5951074 0.04% 322 246 3.59021e+12 3983 3.59103e+12 3.58964e+12 5954016 0.04% 323 247 3.59026e+12 6326 3.59103e+12 3.58964e+12 5980978 0.04% 324 248 3.59028e+12 6389 3.59103e+12 3.58964e+12 5985474 0.04% Elapsed real time = 97155.84 sec. (tree size = 699.88 MB, solutions = 5) Nodefile size = 572.97 MB (235.85 MB after compression) 325 249 3.59029e+12 5847 3.59103e+12 3.58964e+12 5990342 0.04% 326 250 3.59029e+12 3972 3.59103e+12 3.58964e+12 5995756 0.04% 327 251 3.59035e+12 4359 3.59103e+12 3.58964e+12 6009847 0.04% 328 252 3.59040e+12 6983 3.59103e+12 3.58964e+12 6033207 0.04% 329 253 3.59044e+12 4030 3.59103e+12 3.58964e+12 6046221 0.04% 330 254 3.59060e+12 4395 3.59103e+12 3.58964e+12 6081658 0.04% 331 255 3.59060e+12 4688 3.59103e+12 3.58964e+12 6083419 0.04% 332 256 3.59065e+12 6938 3.59103e+12 3.58964e+12 6103751 0.04% 333 257 3.59067e+12 3226 3.59103e+12 3.58964e+12 6109676 0.04% 334 258 3.59068e+12 3378 3.59103e+12 3.58964e+12 6114687 0.04% Elapsed real time = 100792.96 sec. (tree size = 728.30 MB, solutions = 5) Nodefile size = 601.11 MB (248.75 MB after compression) 335 259 3.59072e+12 4889 3.59103e+12 3.58964e+12 6123527 0.04% 336 260 3.59075e+12 3099 3.59103e+12 3.58964e+12 6132430 0.04% 337 261 3.59087e+12 2841 3.59103e+12 3.58964e+12 6153016 0.04% 338 262 3.59092e+12 3827 3.59103e+12 3.58964e+12 6167318 0.04% 339 263 3.59097e+12 5847 3.59103e+12 3.58964e+12 6175379 0.04% 340 264 3.59099e+12 3059 3.59103e+12 3.58964e+12 6185757 0.04% 341 265 3.59100e+12 5191 3.59103e+12 3.58964e+12 6192938 0.04% 342 266 3.59101e+12 4401 3.59103e+12 3.58964e+12 6198869 0.04% 343 267 3.59103e+12 5155 3.59103e+12 3.58964e+12 6203076 0.04% 344 266 cutoff 3.59103e+12 3.58964e+12 6204994 0.04% Elapsed real time = 102560.98 sec. (tree size = 756.66 MB, solutions = 5) Nodefile size = 629.30 MB (261.04 MB after compression) 346 266 3.58985e+12 3814 3.59103e+12 3.58965e+12 6284689 0.04% 347 267 3.59013e+12 6696 3.59103e+12 3.58965e+12 6309466 0.04% 348 268 3.59019e+12 5961 3.59103e+12 3.58965e+12 6317206 0.04% 349 269 3.59022e+12 1610 3.59103e+12 3.58965e+12 6343661 0.04% 350 270 3.59020e+12 1573 3.59103e+12 3.58965e+12 6345068 0.04% 351 271 3.59033e+12 4308 3.59103e+12 3.58965e+12 6363321 0.04% 352 272 3.59081e+12 4409 3.59103e+12 3.58965e+12 6400407 0.04% 353 273 3.59039e+12 3564 3.59103e+12 3.58965e+12 6417623 0.04% 354 274 3.59068e+12 5217 3.59103e+12 3.58965e+12 6459634 0.04% 355 275 3.59043e+12 5850 3.59103e+12 3.58965e+12 6466650 0.04% Elapsed real time = 109511.80 sec. (tree size = 780.07 MB, solutions = 5) Nodefile size = 653.09 MB (271.20 MB after compression) 356 276 3.59046e+12 4693 3.59103e+12 3.58965e+12 6475051 0.04% 357 277 3.59056e+12 6492 3.59103e+12 3.58965e+12 6524505 0.04% 358 278 3.59052e+12 4932 3.59103e+12 3.58965e+12 6541859 0.04% 359 279 3.59054e+12 5602 3.59103e+12 3.58965e+12 6545919 0.04% 360 280 3.59080e+12 2334 3.59103e+12 3.58965e+12 6583450 0.04% 361 281 3.59092e+12 2578 3.59103e+12 3.58965e+12 6597215 0.04% 362 282 3.59103e+12 5728 3.59103e+12 3.58965e+12 6623724 0.04% 366 280 3.58985e+12 6267 3.59103e+12 3.58967e+12 6714971 0.04% 367 281 3.59014e+12 1586 3.59103e+12 3.58967e+12 6743558 0.04% 368 282 3.59019e+12 7094 3.59103e+12 3.58967e+12 6751793 0.04% Elapsed real time = 117479.44 sec. (tree size = 800.30 MB, solutions = 5) Nodefile size = 673.38 MB (280.28 MB after compression) 369 283 3.59021e+12 7459 3.59103e+12 3.58967e+12 6757453 0.04% 370 284 3.59032e+12 3352 3.59103e+12 3.58967e+12 6798769 0.04% 371 285 3.59038e+12 6335 3.59103e+12 3.58967e+12 6818350 0.04% 372 286 3.59040e+12 3002 3.59103e+12 3.58967e+12 6835808 0.04% 373 287 3.59043e+12 2322 3.59103e+12 3.58967e+12 6845748 0.04% 374 288 3.59047e+12 6536 3.59103e+12 3.58967e+12 6849724 0.04% 375 289 3.59052e+12 2202 3.59103e+12 3.58967e+12 6856924 0.04% 376 290 3.59054e+12 4112 3.59103e+12 3.58967e+12 6863071 0.04% 377 291 3.59055e+12 2181 3.59103e+12 3.58967e+12 6869418 0.04% 378 292 3.59056e+12 5595 3.59103e+12 3.58967e+12 6874146 0.04% Elapsed real time = 121230.24 sec. (tree size = 828.10 MB, solutions = 5) Nodefile size = 701.03 MB (292.67 MB after compression) 379 293 3.59081e+12 4932 3.59103e+12 3.58967e+12 6895130 0.04% 380 294 3.59083e+12 2451 3.59103e+12 3.58967e+12 6897846 0.04% 381 295 3.59087e+12 3711 3.59103e+12 3.58967e+12 6906493 0.04% 382 294 cutoff 3.59103e+12 3.58967e+12 6915058 0.04% 384 294 3.58984e+12 5400 3.59103e+12 3.58968e+12 6979701 0.04% 385 295 3.58985e+12 4830 3.59103e+12 3.58968e+12 6998015 0.04% 386 296 3.59015e+12 2829 3.59103e+12 3.58968e+12 7018482 0.04% 387 297 3.59020e+12 4366 3.59103e+12 3.58968e+12 7023273 0.04% 388 298 3.59024e+12 3759 3.59103e+12 3.58968e+12 7032089 0.04% 389 299 3.59026e+12 2820 3.59103e+12 3.58968e+12 7034144 0.04% Elapsed real time = 125293.49 sec. (tree size = 848.19 MB, solutions = 5) Nodefile size = 721.22 MB (300.80 MB after compression) 390 300 3.59038e+12 2894 3.59103e+12 3.58968e+12 7051348 0.04% 392 302 3.59044e+12 5230 3.59103e+12 3.58968e+12 7061297 0.04% 393 303 3.59046e+12 3353 3.59103e+12 3.58968e+12 7066867 0.04% 394 304 3.59051e+12 4851 3.59103e+12 3.58968e+12 7074632 0.04% 395 305 3.59053e+12 2240 3.59103e+12 3.58968e+12 7077598 0.04% 396 306 3.59054e+12 3280 3.59103e+12 3.58968e+12 7082245 0.04% 397 307 3.59056e+12 4231 3.59103e+12 3.58968e+12 7090346 0.04% 398 308 3.59060e+12 3766 3.59103e+12 3.58968e+12 7108350 0.04% 399 309 3.59066e+12 3811 3.59103e+12 3.58968e+12 7132470 0.04% 400 310 3.59078e+12 2453 3.59103e+12 3.58968e+12 7140753 0.04% Elapsed real time = 127406.95 sec. (tree size = 879.50 MB, solutions = 5) Nodefile size = 752.29 MB (313.14 MB after compression) 401 311 3.59092e+12 3572 3.59103e+12 3.58968e+12 7159470 0.04% 402 312 3.59097e+12 3885 3.59103e+12 3.58968e+12 7162051 0.04% 403 311 cutoff 3.59103e+12 3.58968e+12 7165144 0.04% 405 311 3.58969e+12 3279 3.59103e+12 3.58969e+12 7168171 0.04% 406 312 3.58989e+12 3340 3.59103e+12 3.58969e+12 7193333 0.04% 407 313 3.59005e+12 4777 3.59103e+12 3.58969e+12 7203463 0.04% 408 314 3.59010e+12 3328 3.59103e+12 3.58969e+12 7208828 0.04% 409 315 3.59026e+12 3572 3.59103e+12 3.58969e+12 7244030 0.04% 410 316 3.59030e+12 3523 3.59103e+12 3.58969e+12 7255819 0.04% 411 317 3.59032e+12 4410 3.59103e+12 3.58969e+12 7259785 0.04% Elapsed real time = 129825.37 sec. (tree size = 899.41 MB, solutions = 5) Nodefile size = 772.44 MB (321.11 MB after compression) 412 318 3.59033e+12 3430 3.59103e+12 3.58969e+12 7261488 0.04% 413 319 3.59036e+12 3456 3.59103e+12 3.58969e+12 7266312 0.04% 414 320 3.59039e+12 3362 3.59103e+12 3.58969e+12 7273789 0.04% 415 321 3.59044e+12 3836 3.59103e+12 3.58969e+12 7287344 0.04% 416 322 3.59046e+12 4099 3.59103e+12 3.58969e+12 7301031 0.04% 417 321 cutoff 3.59103e+12 3.58969e+12 7310205 0.04% 418 322 3.59051e+12 3581 3.59103e+12 3.58969e+12 7332226 0.04% 419 323 3.59056e+12 3663 3.59103e+12 3.58969e+12 7357754 0.04% 420 324 3.59067e+12 3359 3.59103e+12 3.58969e+12 7373354 0.04% 421 325 3.59082e+12 2244 3.59103e+12 3.58969e+12 7385506 0.04% Elapsed real time = 132279.64 sec. (tree size = 922.07 MB, solutions = 5) Nodefile size = 794.86 MB (331.18 MB after compression) 422 326 3.59097e+12 2208 3.59103e+12 3.58969e+12 7402640 0.04% 423 327 3.59098e+12 4933 3.59103e+12 3.58969e+12 7404472 0.04% 424 326 cutoff 3.59103e+12 3.58969e+12 7411480 0.04% 426 326 3.58969e+12 4911 3.59103e+12 3.58969e+12 7412677 0.04% 427 327 3.58985e+12 3177 3.59103e+12 3.58969e+12 7425664 0.04% 428 328 3.58991e+12 2993 3.59103e+12 3.58969e+12 7432916 0.04% 429 329 3.59006e+12 6099 3.59103e+12 3.58969e+12 7464041 0.04% 430 330 3.59011e+12 2935 3.59103e+12 3.58969e+12 7484458 0.04% 431 331 3.59015e+12 3572 3.59103e+12 3.58969e+12 7497318 0.04% 432 332 3.59017e+12 3304 3.59103e+12 3.58969e+12 7503541 0.04% Elapsed real time = 134469.15 sec. (tree size = 941.86 MB, solutions = 5) Nodefile size = 814.97 MB (339.59 MB after compression) 433 333 3.59018e+12 3964 3.59103e+12 3.58969e+12 7504894 0.04% 434 334 3.59023e+12 2660 3.59103e+12 3.58969e+12 7512073 0.04% 435 335 3.59026e+12 3702 3.59103e+12 3.58969e+12 7522929 0.04% 436 336 3.59031e+12 5813 3.59103e+12 3.58969e+12 7536723 0.04% 437 337 3.59037e+12 3185 3.59103e+12 3.58969e+12 7557944 0.04% 438 338 3.59049e+12 3955 3.59103e+12 3.58969e+12 7569000 0.04% 439 339 3.59063e+12 3270 3.59103e+12 3.58969e+12 7583164 0.04% 440 340 3.59068e+12 2120 3.59103e+12 3.58969e+12 7585487 0.04% 441 341 3.59073e+12 4876 3.59103e+12 3.58969e+12 7589819 0.04% 442 342 3.59075e+12 2175 3.59103e+12 3.58969e+12 7595700 0.04% Elapsed real time = 136046.28 sec. (tree size = 970.37 MB, solutions = 5) Nodefile size = 843.05 MB (352.21 MB after compression) 443 343 3.59076e+12 2153 3.59103e+12 3.58969e+12 7597772 0.04% 444 344 3.59077e+12 3083 3.59103e+12 3.58969e+12 7601273 0.04% 445 345 3.59080e+12 2130 3.59103e+12 3.58969e+12 7604578 0.04% 446 346 3.59082e+12 2873 3.59103e+12 3.58969e+12 7608730 0.04% 447 347 3.59083e+12 2367 3.59103e+12 3.58969e+12 7611706 0.04% 448 346 cutoff 3.59103e+12 3.58969e+12 7615123 0.04% 449 347 3.59084e+12 2242 3.59103e+12 3.58969e+12 7619836 0.04% 450 348 3.59085e+12 2094 3.59103e+12 3.58969e+12 7623213 0.04% 451 349 3.59087e+12 2059 3.59103e+12 3.58969e+12 7628645 0.04% 452 350 3.59089e+12 2059 3.59103e+12 3.58969e+12 7631379 0.04% Elapsed real time = 136502.09 sec. (tree size = 995.82 MB, solutions = 5) Nodefile size = 868.45 MB (361.84 MB after compression) 453 351 3.59089e+12 5237 3.59103e+12 3.58969e+12 7632975 0.04% 454 352 3.59103e+12 2924 3.59103e+12 3.58969e+12 7641444 0.04% 457 351 3.58969e+12 3129 3.59103e+12 3.58969e+12 7645087 0.04% 458 352 3.58985e+12 3360 3.59103e+12 3.58969e+12 7654519 0.04% 459 353 3.58989e+12 3815 3.59103e+12 3.58969e+12 7725592 0.04% 460 354 3.58991e+12 2922 3.59103e+12 3.58969e+12 7733864 0.04% 461 355 3.58999e+12 2700 3.59103e+12 3.58969e+12 7741993 0.04% 462 356 3.59006e+12 4376 3.59103e+12 3.58969e+12 7763798 0.04% 463 357 3.59053e+12 3666 3.59103e+12 3.58969e+12 7816514 0.04% 464 358 3.59008e+12 2976 3.59103e+12 3.58969e+12 7823410 0.04% Elapsed real time = 141067.84 sec. (tree size = 1016.02 MB, solutions = 5) Nodefile size = 888.93 MB (370.10 MB after compression) 465 359 3.59043e+12 5278 3.59103e+12 3.58969e+12 7890074 0.04% 466 360 3.59009e+12 3493 3.59103e+12 3.58969e+12 7891901 0.04% 467 361 3.59013e+12 3266 3.59103e+12 3.58969e+12 7902524 0.04% 468 362 3.59016e+12 3434 3.59103e+12 3.58969e+12 7909372 0.04% 469 363 3.59031e+12 3136 3.59103e+12 3.58969e+12 7922557 0.04% 470 364 3.59019e+12 2826 3.59103e+12 3.58969e+12 7929324 0.04% 471 365 3.59036e+12 4177 3.59103e+12 3.58969e+12 7990631 0.04% 472 366 3.59024e+12 3069 3.59103e+12 3.58969e+12 8009806 0.04% 473 367 3.59055e+12 3152 3.59103e+12 3.58969e+12 8043844 0.04% 474 368 3.59027e+12 3383 3.59103e+12 3.58969e+12 8056619 0.04% Elapsed real time = 146084.41 sec. (tree size = 1043.97 MB, solutions = 5) Nodefile size = 916.88 MB (382.60 MB after compression) 475 369 3.59056e+12 2615 3.59103e+12 3.58969e+12 8074210 0.04% 476 370 3.59040e+12 3000 3.59103e+12 3.58969e+12 8089984 0.04% 477 369 cutoff 3.59103e+12 3.58969e+12 8107721 0.04% 478 370 3.59047e+12 5627 3.59103e+12 3.58969e+12 8130199 0.04% 480 370 3.59048e+12 2571 3.59103e+12 3.58969e+12 8135000 0.04% 481 371 3.59050e+12 4347 3.59103e+12 3.58969e+12 8148603 0.04% 482 372 3.59090e+12 1098 3.59103e+12 3.58969e+12 8159794 0.04% 484 372 cutoff 3.59103e+12 3.58969e+12 8164046 0.04% 485 371 cutoff 3.59103e+12 3.58969e+12 8167782 0.04% 486 372 3.59097e+12 2283 3.59103e+12 3.58969e+12 8172894 0.04% Elapsed real time = 147737.72 sec. (tree size = 1058.37 MB, solutions = 5) Nodefile size = 931.32 MB (389.28 MB after compression) 487 373 3.59100e+12 1594 3.59103e+12 3.58969e+12 8181679 0.04% 489 371 cutoff 3.59103e+12 3.58969e+12 8188411 0.04% 491 371 3.58988e+12 6748 3.59103e+12 3.58970e+12 8255012 0.04% 492 372 3.59017e+12 3842 3.59103e+12 3.58970e+12 8290079 0.04% 493 373 3.59022e+12 3966 3.59103e+12 3.58970e+12 8300559 0.04% 494 374 3.59026e+12 6308 3.59103e+12 3.58970e+12 8311417 0.04% 495 375 3.59028e+12 5772 3.59103e+12 3.58970e+12 8315968 0.04% 496 376 3.59038e+12 4090 3.59103e+12 3.58970e+12 8345780 0.04% 497 377 3.59044e+12 4732 3.59103e+12 3.58970e+12 8365956 0.04% 498 378 3.59046e+12 3661 3.59103e+12 3.58970e+12 8378677 0.04% Elapsed real time = 152408.28 sec. (tree size = 1074.93 MB, solutions = 5) Nodefile size = 947.89 MB (396.64 MB after compression) 499 379 3.59049e+12 4042 3.59103e+12 3.58970e+12 8382652 0.04% 500 380 3.59053e+12 2240 3.59103e+12 3.58970e+12 8389711 0.04% 501 381 3.59055e+12 2239 3.59103e+12 3.58970e+12 8393633 0.04% 502 382 3.59056e+12 3171 3.59103e+12 3.58970e+12 8398989 0.04% 503 383 3.59058e+12 3472 3.59103e+12 3.58970e+12 8407460 0.04% 504 384 3.59062e+12 3915 3.59103e+12 3.58970e+12 8424730 0.04% 505 385 3.59068e+12 3412 3.59103e+12 3.58970e+12 8446370 0.04% 506 386 3.59080e+12 2453 3.59103e+12 3.58970e+12 8455530 0.04% 507 387 3.59095e+12 2621 3.59103e+12 3.58970e+12 8475875 0.04% 508 388 3.59099e+12 4758 3.59103e+12 3.58970e+12 8479480 0.04% Elapsed real time = 154157.49 sec. (tree size = 1104.48 MB, solutions = 5) Nodefile size = 977.08 MB (410.00 MB after compression) 510 386 cutoff 3.59103e+12 3.58970e+12 8481383 0.04% 511 387 3.58976e+12 1715 3.59103e+12 3.58971e+12 8483515 0.04% 512 388 3.58994e+12 1725 3.59103e+12 3.58971e+12 8490820 0.04% 513 389 3.59000e+12 6193 3.59103e+12 3.58971e+12 8496237 0.04% 514 390 3.59015e+12 3306 3.59103e+12 3.58971e+12 8522182 0.04% 515 391 3.59018e+12 5137 3.59103e+12 3.58971e+12 8526186 0.04% 517 393 3.59022e+12 3210 3.59103e+12 3.58971e+12 8530744 0.04% 518 394 3.59024e+12 2344 3.59103e+12 3.58971e+12 8532519 0.04% 519 395 3.59029e+12 4897 3.59103e+12 3.58971e+12 8541813 0.04% 520 396 3.59032e+12 2173 3.59103e+12 3.58971e+12 8546654 0.04% Elapsed real time = 155184.69 sec. (tree size = 1126.28 MB, solutions = 5) Nodefile size = 999.30 MB (419.43 MB after compression) 521 397 3.59034e+12 5051 3.59103e+12 3.58971e+12 8551653 0.04% 522 398 3.59047e+12 5395 3.59103e+12 3.58971e+12 8564506 0.04% 524 400 3.59055e+12 5038 3.59103e+12 3.58971e+12 8579856 0.04% 525 401 3.59065e+12 4322 3.59103e+12 3.58971e+12 8588495 0.04% 526 402 3.59080e+12 5702 3.59103e+12 3.58971e+12 8608065 0.04% 527 403 3.59082e+12 2438 3.59103e+12 3.58971e+12 8611169 0.04% 528 404 3.59087e+12 3344 3.59103e+12 3.58971e+12 8617197 0.04% 529 405 3.59092e+12 5313 3.59103e+12 3.58971e+12 8624003 0.04% 530 406 3.59097e+12 2654 3.59103e+12 3.58971e+12 8628983 0.04% 531 405 cutoff 3.59103e+12 3.58971e+12 8632426 0.04% Elapsed real time = 156178.84 sec. (tree size = 1156.10 MB, solutions = 5) Nodefile size = 1028.69 MB (431.92 MB after compression) 533 405 3.58990e+12 6192 3.59103e+12 3.58971e+12 8652153 0.04% 534 406 3.59007e+12 1529 3.59103e+12 3.58971e+12 8663039 0.04% 535 407 3.59012e+12 5781 3.59103e+12 3.58971e+12 8668548 0.04% 536 408 3.59016e+12 2612 3.59103e+12 3.58971e+12 8675324 0.04% 537 409 3.59032e+12 5522 3.59103e+12 3.58971e+12 8712604 0.04% 538 410 3.59034e+12 3485 3.59103e+12 3.58971e+12 8718141 0.04% 539 411 3.59035e+12 3445 3.59103e+12 3.58971e+12 8719361 0.04% 540 412 3.59037e+12 3403 3.59103e+12 3.58971e+12 8727515 0.04% 541 413 3.59041e+12 3652 3.59103e+12 3.58971e+12 8735830 0.04% 542 414 3.59046e+12 3292 3.59103e+12 3.58971e+12 8751984 0.04% Elapsed real time = 158776.35 sec. (tree size = 1178.15 MB, solutions = 5) Nodefile size = 1051.10 MB (441.55 MB after compression) 543 415 3.59048e+12 4282 3.59103e+12 3.58971e+12 8769004 0.04% 544 416 3.59061e+12 3393 3.59103e+12 3.58971e+12 8794070 0.04% 545 417 3.59070e+12 4087 3.59103e+12 3.58971e+12 8827505 0.04% 547 419 3.59071e+12 5705 3.59103e+12 3.58971e+12 8831928 0.04% 548 420 3.59073e+12 4502 3.59103e+12 3.58971e+12 8843800 0.04% 549 421 3.59084e+12 3948 3.59103e+12 3.58971e+12 8862005 0.04% 550 422 3.59099e+12 1900 3.59103e+12 3.58971e+12 8870285 0.04% 551 421 cutoff 3.59103e+12 3.58971e+12 8872713 0.04% 553 421 3.58991e+12 6946 3.59103e+12 3.58971e+12 8941773 0.04% 554 422 3.59014e+12 7117 3.59103e+12 3.58971e+12 8969509 0.04% Elapsed real time = 165105.85 sec. (tree size = 1202.23 MB, solutions = 5) Nodefile size = 1074.77 MB (452.86 MB after compression) 555 423 3.59020e+12 3822 3.59103e+12 3.58971e+12 9024883 0.04% 556 424 3.59033e+12 5724 3.59103e+12 3.58971e+12 9039691 0.04% 557 425 3.59034e+12 3518 3.59103e+12 3.58971e+12 9044813 0.04% 558 426 3.59039e+12 3918 3.59103e+12 3.58971e+12 9071015 0.04% 559 427 3.59040e+12 6333 3.59103e+12 3.58971e+12 9078442 0.04% 560 428 3.59041e+12 3210 3.59103e+12 3.58971e+12 9080161 0.04% 561 429 3.59046e+12 5433 3.59103e+12 3.58971e+12 9088564 0.04% 562 430 3.59052e+12 5834 3.59103e+12 3.58971e+12 9099866 0.04% 563 431 3.59057e+12 2756 3.59103e+12 3.58971e+12 9110011 0.04% 564 432 3.59059e+12 5566 3.59103e+12 3.58971e+12 9116147 0.04% Elapsed real time = 170119.43 sec. (tree size = 1230.30 MB, solutions = 5) Nodefile size = 1103.10 MB (465.51 MB after compression) 565 433 3.59061e+12 2767 3.59103e+12 3.58971e+12 9120254 0.04% 566 434 3.59062e+12 1645 3.59103e+12 3.58971e+12 9121932 0.04% 568 436 3.59064e+12 1645 3.59103e+12 3.58971e+12 9125397 0.04% 569 437 3.59065e+12 3332 3.59103e+12 3.58971e+12 9134118 0.04% 570 438 3.59081e+12 3664 3.59103e+12 3.58971e+12 9156764 0.04% 571 439 3.59081e+12 6468 3.59103e+12 3.58971e+12 9157874 0.04% 572 440 3.59091e+12 3856 3.59103e+12 3.58971e+12 9168128 0.04% 573 441 3.59095e+12 3586 3.59103e+12 3.58971e+12 9176868 0.04% 574 442 3.59101e+12 4228 3.59103e+12 3.58971e+12 9185643 0.04% 577 441 3.58978e+12 1740 3.59103e+12 3.58972e+12 9189756 0.04% Elapsed real time = 171660.37 sec. (tree size = 1258.36 MB, solutions = 5) Nodefile size = 1133.52 MB (479.24 MB after compression) 579 443 3.58996e+12 4580 3.59103e+12 3.58972e+12 9200147 0.04% 580 444 3.58999e+12 3302 3.59103e+12 3.58972e+12 9260308 0.04% 581 445 3.59002e+12 2757 3.59103e+12 3.58972e+12 9267043 0.04% 582 446 3.59018e+12 5129 3.59103e+12 3.58972e+12 9295025 0.04% 583 447 3.59064e+12 2830 3.59103e+12 3.58972e+12 9339049 0.04% 584 448 3.59021e+12 6186 3.59103e+12 3.58972e+12 9346186 0.04% 585 449 3.59050e+12 3347 3.59103e+12 3.58972e+12 9389734 0.04% 586 450 3.59022e+12 4336 3.59103e+12 3.58972e+12 9390787 0.04% 587 451 3.59025e+12 5444 3.59103e+12 3.58972e+12 9395680 0.04% 588 452 3.59026e+12 2616 3.59103e+12 3.58972e+12 9397467 0.04% Elapsed real time = 177002.43 sec. (tree size = 1288.78 MB, solutions = 5) Nodefile size = 1161.77 MB (491.60 MB after compression) 589 453 3.59032e+12 4005 3.59103e+12 3.58972e+12 9413640 0.04% 590 454 3.59034e+12 2629 3.59103e+12 3.58972e+12 9421517 0.04% 591 455 3.59066e+12 4513 3.59103e+12 3.58972e+12 9443346 0.04% 592 456 3.59070e+12 3141 3.59103e+12 3.58972e+12 9449746 0.04% 594 456 3.59083e+12 2186 3.59103e+12 3.58972e+12 9460794 0.04% 596 456 3.59083e+12 2250 3.59103e+12 3.58972e+12 9465593 0.04% 597 457 3.59089e+12 2179 3.59103e+12 3.58972e+12 9470667 0.04% 598 458 3.59091e+12 2518 3.59103e+12 3.58972e+12 9485248 0.04% 600 458 3.59093e+12 2371 3.59103e+12 3.58972e+12 9490850 0.04% 601 457 cutoff 3.59103e+12 3.58972e+12 9493617 0.04% Elapsed real time = 178589.05 sec. (tree size = 1306.57 MB, solutions = 5) Nodefile size = 1179.11 MB (498.71 MB after compression) 602 456 cutoff 3.59103e+12 3.58972e+12 9498002 0.04% 603 457 3.58978e+12 1885 3.59103e+12 3.58975e+12 9500870 0.04% 605 459 3.58996e+12 1892 3.59103e+12 3.58975e+12 9508010 0.04% 606 460 3.59002e+12 3766 3.59103e+12 3.58975e+12 9513724 0.04% 607 461 3.59018e+12 5139 3.59103e+12 3.58975e+12 9543512 0.04% 608 462 3.59020e+12 2362 3.59103e+12 3.58975e+12 9547512 0.04% 610 464 3.59024e+12 2283 3.59103e+12 3.58975e+12 9554734 0.04% 611 465 3.59026e+12 2342 3.59103e+12 3.58975e+12 9557790 0.04% 612 466 3.59031e+12 2924 3.59103e+12 3.58975e+12 9568162 0.04% 613 467 3.59034e+12 3261 3.59103e+12 3.58975e+12 9573621 0.04% Elapsed real time = 180120.43 sec. (tree size = 1330.83 MB, solutions = 5) Nodefile size = 1203.83 MB (509.09 MB after compression) 614 468 3.59036e+12 2280 3.59103e+12 3.58975e+12 9579760 0.04% 615 469 3.59050e+12 2389 3.59103e+12 3.58975e+12 9591449 0.04% 617 471 3.59057e+12 2308 3.59103e+12 3.58975e+12 9605022 0.04% 618 472 3.59067e+12 5351 3.59103e+12 3.58975e+12 9614378 0.04% 619 473 3.59082e+12 4380 3.59103e+12 3.58975e+12 9631687 0.04% 620 474 3.59084e+12 2438 3.59103e+12 3.58975e+12 9635122 0.04% 621 475 3.59084e+12 4017 3.59103e+12 3.58975e+12 9636640 0.04% 622 476 3.59090e+12 2456 3.59103e+12 3.58975e+12 9640872 0.04% 623 477 3.59095e+12 3167 3.59103e+12 3.58975e+12 9646052 0.04% 624 476 cutoff 3.59103e+12 3.58975e+12 9648739 0.04% Elapsed real time = 181491.97 sec. (tree size = 1360.50 MB, solutions = 5) Nodefile size = 1233.06 MB (521.41 MB after compression) 625 475 cutoff 3.59103e+12 3.58975e+12 9651591 0.04% 626 476 3.58983e+12 4917 3.59103e+12 3.58976e+12 9660433 0.04% 627 477 3.59000e+12 6126 3.59103e+12 3.58976e+12 9671734 0.04% 628 478 3.59005e+12 5088 3.59103e+12 3.58976e+12 9684163 0.04% 629 479 3.59006e+12 5242 3.59103e+12 3.58976e+12 9686446 0.04% 630 480 3.59010e+12 2863 3.59103e+12 3.58976e+12 9695520 0.04% 631 481 3.59025e+12 5008 3.59103e+12 3.58976e+12 9725959 0.04% 633 483 3.59030e+12 5481 3.59103e+12 3.58976e+12 9741578 0.04% 634 484 3.59032e+12 5222 3.59103e+12 3.58976e+12 9746600 0.04% 635 485 3.59033e+12 2198 3.59103e+12 3.58976e+12 9747755 0.04% Elapsed real time = 183924.44 sec. (tree size = 1382.33 MB, solutions = 5) Nodefile size = 1255.28 MB (530.86 MB after compression) 636 486 3.59036e+12 3362 3.59103e+12 3.58976e+12 9756782 0.04% 637 487 3.59038e+12 2134 3.59103e+12 3.58976e+12 9758252 0.04% 638 488 3.59040e+12 6134 3.59103e+12 3.58976e+12 9763786 0.04% 639 489 3.59043e+12 3047 3.59103e+12 3.58976e+12 9779698 0.04% 640 490 3.59058e+12 2260 3.59103e+12 3.58976e+12 9791409 0.04% 642 492 3.59061e+12 4235 3.59103e+12 3.58976e+12 9803292 0.04% 643 493 3.59072e+12 3359 3.59103e+12 3.58976e+12 9818165 0.04% 644 494 3.59089e+12 2073 3.59103e+12 3.58976e+12 9828297 0.04% 645 495 3.59093e+12 2169 3.59103e+12 3.58976e+12 9831189 0.04% 646 494 cutoff 3.59103e+12 3.58976e+12 9836120 0.04% Elapsed real time = 185999.26 sec. (tree size = 1411.41 MB, solutions = 5) Nodefile size = 1283.95 MB (544.10 MB after compression) 648 494 3.58996e+12 5337 3.59103e+12 3.58977e+12 9896954 0.04% 649 495 3.59026e+12 1716 3.59103e+12 3.58977e+12 9920471 0.04% 650 496 3.59032e+12 2777 3.59103e+12 3.58977e+12 9931390 0.04% 651 497 3.59033e+12 5674 3.59103e+12 3.58977e+12 9935071 0.04% 652 498 3.59044e+12 5498 3.59103e+12 3.58977e+12 9952540 0.04% 653 499 3.59051e+12 4453 3.59103e+12 3.58977e+12 9960830 0.04% 654 500 3.59055e+12 3916 3.59103e+12 3.58977e+12 9972038 0.04% 655 501 3.59058e+12 5096 3.59103e+12 3.58977e+12 9977987 0.04% 656 502 3.59062e+12 4199 3.59103e+12 3.58977e+12 9983400 0.04% 657 503 3.59064e+12 2394 3.59103e+12 3.58977e+12 9988059 0.04% Elapsed real time = 190071.34 sec. (tree size = 1434.32 MB, solutions = 5) Nodefile size = 1307.04 MB (554.43 MB after compression) 658 504 3.59064e+12 2343 3.59103e+12 3.58977e+12 9991380 0.04% 659 505 3.59076e+12 2310 3.59103e+12 3.58977e+12 10003681 0.04% 661 507 3.59078e+12 2265 3.59103e+12 3.58977e+12 10007101 0.04% 662 508 3.59080e+12 4853 3.59103e+12 3.58977e+12 10011655 0.04% 663 509 3.59087e+12 3469 3.59103e+12 3.58977e+12 10026452 0.04% 664 510 3.59097e+12 5103 3.59103e+12 3.58977e+12 10035423 0.04% 666 508 cutoff 3.59103e+12 3.58977e+12 10039470 0.04% 667 509 3.58984e+12 4863 3.59103e+12 3.58977e+12 10048880 0.04% 669 511 3.59002e+12 3036 3.59103e+12 3.58977e+12 10058608 0.04% 670 512 3.59008e+12 3026 3.59103e+12 3.58977e+12 10067616 0.04% Elapsed real time = 191411.39 sec. (tree size = 1461.54 MB, solutions = 5) Nodefile size = 1334.56 MB (565.67 MB after compression) 671 513 3.59008e+12 3734 3.59103e+12 3.58977e+12 10070221 0.04% 672 514 3.59012e+12 5950 3.59103e+12 3.58977e+12 10081485 0.04% 673 515 3.59028e+12 5737 3.59103e+12 3.58977e+12 10108321 0.04% 674 516 3.59033e+12 4466 3.59103e+12 3.58977e+12 10123429 0.04% 675 517 3.59036e+12 3205 3.59103e+12 3.58977e+12 10138226 0.04% 676 518 3.59038e+12 5324 3.59103e+12 3.58977e+12 10145379 0.04% 677 519 3.59039e+12 5505 3.59103e+12 3.58977e+12 10146523 0.04% 678 520 3.59042e+12 3399 3.59103e+12 3.58977e+12 10153458 0.04% 679 521 3.59043e+12 3234 3.59103e+12 3.58977e+12 10156525 0.04% 680 522 3.59056e+12 2935 3.59103e+12 3.58977e+12 10173509 0.04% Elapsed real time = 193886.51 sec. (tree size = 1489.06 MB, solutions = 5) Nodefile size = 1361.96 MB (577.65 MB after compression) 681 523 3.59061e+12 2717 3.59103e+12 3.58977e+12 10188882 0.04% 683 525 3.59065e+12 3838 3.59103e+12 3.58977e+12 10201404 0.04% 684 526 3.59075e+12 3436 3.59103e+12 3.58977e+12 10211920 0.04% 685 527 3.59092e+12 3705 3.59103e+12 3.58977e+12 10224737 0.04% 686 528 3.59097e+12 4483 3.59103e+12 3.58977e+12 10227830 0.04% 687 527 cutoff 3.59103e+12 3.58977e+12 10230437 0.04% 689 527 3.59033e+12 1320 3.59103e+12 3.58977e+12 10239384 0.04% 690 528 3.59049e+12 1350 3.59103e+12 3.58977e+12 10243369 0.04% 691 529 3.59056e+12 1254 3.59103e+12 3.58977e+12 10248189 0.04% 692 530 3.59072e+12 1218 3.59103e+12 3.58977e+12 10254667 0.04% Elapsed real time = 195083.52 sec. (tree size = 1513.00 MB, solutions = 5) Nodefile size = 1385.60 MB (588.47 MB after compression) 694 532 3.59095e+12 1140 3.59103e+12 3.58977e+12 10272112 0.04% 695 531 cutoff 3.59103e+12 3.58977e+12 10276559 0.04% 696 532 3.59098e+12 4766 3.59103e+12 3.58977e+12 10282333 0.04% 698 532 3.59099e+12 4697 3.59103e+12 3.58977e+12 10284601 0.04% 699 531 cutoff 3.59103e+12 3.58977e+12 10288912 0.04% 700 530 cutoff 3.59103e+12 3.58977e+12 10292053 0.04% 701 531 3.58982e+12 1690 3.59103e+12 3.58978e+12 10295878 0.04% 702 532 3.58991e+12 1440 3.59103e+12 3.58978e+12 10299091 0.04% 703 533 3.58995e+12 1660 3.59103e+12 3.58978e+12 10301335 0.04% 705 535 3.59019e+12 4623 3.59103e+12 3.58978e+12 10339539 0.04% Elapsed real time = 196561.66 sec. (tree size = 1527.42 MB, solutions = 5) Nodefile size = 1400.32 MB (594.73 MB after compression) 706 536 3.59025e+12 2454 3.59103e+12 3.58978e+12 10348105 0.04% 707 537 3.59031e+12 2416 3.59103e+12 3.58978e+12 10356541 0.04% 708 538 3.59033e+12 2537 3.59103e+12 3.58978e+12 10365106 0.04% 709 539 3.59046e+12 2616 3.59103e+12 3.58978e+12 10383578 0.04% 710 540 3.59046e+12 2469 3.59103e+12 3.58978e+12 10384156 0.04% 711 541 3.59056e+12 5898 3.59103e+12 3.58978e+12 10413960 0.04% 712 542 3.59066e+12 2534 3.59103e+12 3.58978e+12 10423766 0.04% 713 543 3.59081e+12 5601 3.59103e+12 3.58978e+12 10441576 0.04% 714 544 3.59083e+12 2414 3.59103e+12 3.58978e+12 10448354 0.04% 715 545 3.59087e+12 1848 3.59103e+12 3.58978e+12 10459595 0.04% Elapsed real time = 199399.75 sec. (tree size = 1556.52 MB, solutions = 5) Nodefile size = 1428.93 MB (605.60 MB after compression) 716 546 3.59087e+12 4527 3.59103e+12 3.58978e+12 10462400 0.04% 717 547 3.59093e+12 4125 3.59103e+12 3.58978e+12 10466674 0.04% 718 548 3.59097e+12 4833 3.59103e+12 3.58978e+12 10473566 0.04% 719 549 3.59097e+12 1881 3.59103e+12 3.58978e+12 10475628 0.04% 721 549 3.59099e+12 2920 3.59103e+12 3.58978e+12 10486610 0.04% 723 549 cutoff 3.59103e+12 3.58978e+12 10490144 0.04% 725 549 3.58985e+12 1404 3.59103e+12 3.58978e+12 10514503 0.04% 726 550 3.58996e+12 6015 3.59103e+12 3.58978e+12 10529478 0.04% 727 551 3.58996e+12 2973 3.59103e+12 3.58978e+12 10530479 0.04% 728 552 3.59007e+12 2748 3.59103e+12 3.58978e+12 10536184 0.04% Elapsed real time = 201186.26 sec. (tree size = 1577.79 MB, solutions = 5) Nodefile size = 1450.71 MB (613.06 MB after compression) 729 553 3.59023e+12 5271 3.59103e+12 3.58978e+12 10547675 0.04% 730 554 3.59026e+12 2748 3.59103e+12 3.58978e+12 10554556 0.04% 731 555 3.59032e+12 4162 3.59103e+12 3.58978e+12 10560827 0.04% 732 556 3.59047e+12 4117 3.59103e+12 3.58978e+12 10587490 0.04% 733 557 3.59049e+12 2848 3.59103e+12 3.58978e+12 10594042 0.04% 734 558 3.59056e+12 4079 3.59103e+12 3.58978e+12 10608624 0.04% 735 559 3.59056e+12 5425 3.59103e+12 3.58978e+12 10610111 0.04% 736 560 3.59061e+12 3175 3.59103e+12 3.58978e+12 10628122 0.04% 737 561 3.59064e+12 1704 3.59103e+12 3.58978e+12 10632232 0.04% 738 562 3.59067e+12 4904 3.59103e+12 3.58978e+12 10637936 0.04% Elapsed real time = 203255.55 sec. (tree size = 1606.12 MB, solutions = 5) Nodefile size = 1478.73 MB (625.63 MB after compression) 739 563 3.59068e+12 1704 3.59103e+12 3.58978e+12 10640854 0.04% 740 564 3.59068e+12 1704 3.59103e+12 3.58978e+12 10642567 0.04% 741 565 3.59068e+12 3981 3.59103e+12 3.58978e+12 10645314 0.04% 743 567 3.59086e+12 3705 3.59103e+12 3.58978e+12 10664206 0.04% 744 568 3.59086e+12 2636 3.59103e+12 3.58978e+12 10666448 0.04% 745 569 3.59098e+12 2809 3.59103e+12 3.58978e+12 10677113 0.04% 746 568 cutoff 3.59103e+12 3.58978e+12 10681640 0.04% 748 568 3.58985e+12 5278 3.59103e+12 3.58978e+12 10690168 0.03% 750 570 3.59002e+12 2881 3.59103e+12 3.58978e+12 10700030 0.03% 751 571 3.59008e+12 2917 3.59103e+12 3.58978e+12 10706880 0.03% Elapsed real time = 204409.04 sec. (tree size = 1632.90 MB, solutions = 5) Nodefile size = 1505.82 MB (637.59 MB after compression) 752 572 3.59012e+12 4916 3.59103e+12 3.58978e+12 10716828 0.03% 753 573 3.59028e+12 4678 3.59103e+12 3.58978e+12 10746794 0.03% 754 574 3.59032e+12 4538 3.59103e+12 3.58978e+12 10762762 0.03% 755 575 3.59035e+12 2234 3.59103e+12 3.58978e+12 10766803 0.03% 757 577 3.59038e+12 2427 3.59103e+12 3.58978e+12 10775535 0.03% 758 578 3.59040e+12 4496 3.59103e+12 3.58978e+12 10777336 0.03% 759 579 3.59042e+12 3589 3.59103e+12 3.58978e+12 10783521 0.03% 760 580 3.59045e+12 2084 3.59103e+12 3.58978e+12 10795353 0.03% 761 581 3.59060e+12 2260 3.59103e+12 3.58978e+12 10806890 0.03% 763 583 3.59064e+12 4304 3.59103e+12 3.58978e+12 10819976 0.03% Elapsed real time = 206925.44 sec. (tree size = 1666.29 MB, solutions = 5) Nodefile size = 1539.00 MB (652.19 MB after compression) 764 584 3.59074e+12 3466 3.59103e+12 3.58978e+12 10832360 0.03% 765 585 3.59086e+12 2668 3.59103e+12 3.58978e+12 10846720 0.03% 766 586 3.59092e+12 2687 3.59103e+12 3.58978e+12 10849756 0.03% 767 587 3.59096e+12 4212 3.59103e+12 3.58978e+12 10854053 0.03% 768 586 cutoff 3.59103e+12 3.58978e+12 10857985 0.03% 770 586 3.58980e+12 1615 3.59103e+12 3.58978e+12 10861223 0.03% 771 587 3.58997e+12 1627 3.59103e+12 3.58978e+12 10867819 0.03% 772 588 3.59003e+12 1538 3.59103e+12 3.58978e+12 10872256 0.03% 773 589 3.59019e+12 5948 3.59103e+12 3.58978e+12 10890992 0.03% 774 590 3.59022e+12 2934 3.59103e+12 3.58978e+12 10895115 0.03% Elapsed real time = 208103.06 sec. (tree size = 1686.72 MB, solutions = 5) Nodefile size = 1559.61 MB (661.03 MB after compression) 775 591 3.59023e+12 1538 3.59103e+12 3.58978e+12 10896295 0.03% 776 592 3.59026e+12 1538 3.59103e+12 3.58978e+12 10900483 0.03% 777 593 3.59028e+12 1501 3.59103e+12 3.58978e+12 10902495 0.03% 778 594 3.59034e+12 5932 3.59103e+12 3.58978e+12 10921816 0.03% 779 595 3.59036e+12 3322 3.59103e+12 3.58978e+12 10931816 0.03% 780 596 3.59037e+12 2847 3.59103e+12 3.58978e+12 10935290 0.03% 781 597 3.59051e+12 5298 3.59103e+12 3.58978e+12 10946743 0.03% 783 599 3.59055e+12 2143 3.59103e+12 3.58978e+12 10951973 0.03% 784 600 3.59062e+12 5560 3.59103e+12 3.58978e+12 10971506 0.03% 785 601 3.59071e+12 3439 3.59103e+12 3.58978e+12 10981503 0.03% Elapsed real time = 209994.57 sec. (tree size = 1717.38 MB, solutions = 5) Nodefile size = 1590.06 MB (674.45 MB after compression) 786 602 3.59084e+12 4727 3.59103e+12 3.58978e+12 10986754 0.03% 787 603 3.59092e+12 5145 3.59103e+12 3.58978e+12 10997679 0.03% 788 604 3.59095e+12 4268 3.59103e+12 3.58978e+12 11000891 0.03% 789 603 cutoff 3.59103e+12 3.58978e+12 11004020 0.03% 791 603 3.58980e+12 1615 3.59103e+12 3.58978e+12 11007590 0.03% 792 604 3.58998e+12 4664 3.59103e+12 3.58978e+12 11015241 0.03% 793 605 3.59001e+12 4779 3.59103e+12 3.58978e+12 11092478 0.03% 794 606 3.59004e+12 5997 3.59103e+12 3.58978e+12 11097978 0.03% 795 607 3.59020e+12 4905 3.59103e+12 3.58978e+12 11116734 0.03% 796 608 3.59066e+12 6185 3.59103e+12 3.58978e+12 11170025 0.03% Elapsed real time = 214585.63 sec. (tree size = 1738.17 MB, solutions = 5) Nodefile size = 1610.73 MB (683.40 MB after compression) 797 609 3.59023e+12 1573 3.59103e+12 3.58978e+12 11174783 0.03% 798 610 3.59053e+12 5485 3.59103e+12 3.58978e+12 11218280 0.03% 799 611 3.59023e+12 4825 3.59103e+12 3.58978e+12 11219466 0.03% 800 612 3.59027e+12 1538 3.59103e+12 3.58978e+12 11223924 0.03% 801 613 3.59041e+12 2093 3.59103e+12 3.58978e+12 11264839 0.03% 802 614 3.59028e+12 2269 3.59103e+12 3.58978e+12 11268230 0.03% 803 615 3.59034e+12 2159 3.59103e+12 3.58978e+12 11284108 0.03% 804 616 3.59062e+12 3683 3.59103e+12 3.58978e+12 11310904 0.03% 805 617 3.59036e+12 2996 3.59103e+12 3.58978e+12 11318558 0.03% 806 618 3.59069e+12 1919 3.59103e+12 3.58978e+12 11338043 0.03% Elapsed real time = 218416.94 sec. (tree size = 1766.23 MB, solutions = 5) Nodefile size = 1639.05 MB (696.19 MB after compression) 807 619 3.59073e+12 1991 3.59103e+12 3.58978e+12 11343781 0.03% 809 619 3.59086e+12 2060 3.59103e+12 3.58978e+12 11355859 0.03% 811 619 3.59087e+12 2012 3.59103e+12 3.58978e+12 11359535 0.03% 812 620 3.59095e+12 2825 3.59103e+12 3.58978e+12 11376130 0.03% 814 620 3.59098e+12 4172 3.59103e+12 3.58978e+12 11382706 0.03% 816 618 cutoff 3.59103e+12 3.58978e+12 11386782 0.03% 817 619 3.58998e+12 4533 3.59103e+12 3.58979e+12 11456355 0.03% 818 620 3.59028e+12 5659 3.59103e+12 3.58979e+12 11478847 0.03% 819 621 3.59034e+12 5641 3.59103e+12 3.58979e+12 11489931 0.03% 820 622 3.59035e+12 1729 3.59103e+12 3.58979e+12 11493508 0.03% Elapsed real time = 222266.56 sec. (tree size = 1778.12 MB, solutions = 5) Nodefile size = 1650.90 MB (700.95 MB after compression) 821 623 3.59047e+12 3316 3.59103e+12 3.58979e+12 11513864 0.03% 822 624 3.59053e+12 5547 3.59103e+12 3.58979e+12 11523465 0.03% 823 625 3.59057e+12 4324 3.59103e+12 3.58979e+12 11532966 0.03% 824 626 3.59060e+12 5538 3.59103e+12 3.58979e+12 11537006 0.03% 825 627 3.59064e+12 3669 3.59103e+12 3.58979e+12 11544956 0.03% 826 628 3.59066e+12 4573 3.59103e+12 3.58979e+12 11549188 0.03% 827 629 3.59066e+12 2346 3.59103e+12 3.58979e+12 11552440 0.03% 828 630 3.59079e+12 4501 3.59103e+12 3.58979e+12 11564417 0.03% 830 632 3.59080e+12 2265 3.59103e+12 3.58979e+12 11567564 0.03% 831 633 3.59082e+12 2543 3.59103e+12 3.58979e+12 11574646 0.03% Elapsed real time = 223885.15 sec. (tree size = 1810.80 MB, solutions = 5) Nodefile size = 1683.16 MB (715.30 MB after compression) 832 634 3.59089e+12 2393 3.59103e+12 3.58979e+12 11593409 0.03% 833 635 3.59099e+12 4715 3.59103e+12 3.58979e+12 11599376 0.03% 836 634 3.58999e+12 1404 3.59103e+12 3.58979e+12 11606411 0.03% 837 635 3.59010e+12 1404 3.59103e+12 3.58979e+12 11609078 0.03% 838 636 3.59035e+12 2935 3.59103e+12 3.58979e+12 11618848 0.03% 840 638 3.59052e+12 1474 3.59103e+12 3.58979e+12 11626121 0.03% 841 639 3.59056e+12 5381 3.59103e+12 3.58979e+12 11631881 0.03% 842 640 3.59059e+12 5902 3.59103e+12 3.58979e+12 11635859 0.03% 843 641 3.59063e+12 3847 3.59103e+12 3.58979e+12 11641136 0.03% 845 643 3.59080e+12 6048 3.59103e+12 3.58979e+12 11670548 0.03% Elapsed real time = 225532.29 sec. (tree size = 1839.85 MB, solutions = 5) Nodefile size = 1712.42 MB (727.62 MB after compression) 846 644 3.59084e+12 4947 3.59103e+12 3.58979e+12 11680469 0.03% 847 645 3.59087e+12 3920 3.59103e+12 3.58979e+12 11687326 0.03% 848 646 3.59092e+12 5195 3.59103e+12 3.58979e+12 11698236 0.03% 849 647 3.59094e+12 2753 3.59103e+12 3.58979e+12 11707803 0.03% 850 646 cutoff 3.59103e+12 3.58979e+12 11712682 0.03% 852 646 3.59002e+12 5892 3.59103e+12 3.58979e+12 11729985 0.03% 853 647 3.59002e+12 6863 3.59103e+12 3.58979e+12 11731044 0.03% 854 648 3.59018e+12 3281 3.59103e+12 3.58979e+12 11740628 0.03% 855 649 3.59021e+12 1411 3.59103e+12 3.58979e+12 11743681 0.03% 856 650 3.59026e+12 1405 3.59103e+12 3.58979e+12 11746514 0.03% Elapsed real time = 226911.82 sec. (tree size = 1860.72 MB, solutions = 5) Nodefile size = 1733.47 MB (735.91 MB after compression) 857 651 3.59031e+12 1297 3.59103e+12 3.58979e+12 11748376 0.03% 858 652 3.59047e+12 1298 3.59103e+12 3.58979e+12 11765459 0.03% 859 653 3.59049e+12 1335 3.59103e+12 3.58979e+12 11769871 0.03% 860 654 3.59050e+12 1297 3.59103e+12 3.58979e+12 11770621 0.03% 861 655 3.59052e+12 4922 3.59103e+12 3.58979e+12 11774780 0.03% 862 656 3.59056e+12 5003 3.59103e+12 3.58979e+12 11782846 0.03% 863 657 3.59061e+12 1884 3.59103e+12 3.58979e+12 11791301 0.03% 864 658 3.59063e+12 5001 3.59103e+12 3.58979e+12 11802790 0.03% 865 659 3.59080e+12 4397 3.59103e+12 3.58979e+12 11820677 0.03% 867 661 3.59092e+12 4854 3.59103e+12 3.58979e+12 11832208 0.03% Elapsed real time = 228357.12 sec. (tree size = 1892.70 MB, solutions = 5) Nodefile size = 1764.98 MB (749.85 MB after compression) 868 662 3.59097e+12 2247 3.59103e+12 3.58979e+12 11838673 0.03% 869 663 3.59098e+12 3318 3.59103e+12 3.58979e+12 11845198 0.03% 870 662 cutoff 3.59103e+12 3.58979e+12 11849787 0.03% 872 662 3.58993e+12 1440 3.59103e+12 3.58979e+12 11857165 0.03% 873 663 3.58997e+12 3112 3.59103e+12 3.58979e+12 11860214 0.03% 875 665 3.59021e+12 5887 3.59103e+12 3.58979e+12 11896532 0.03% 877 667 3.59028e+12 2959 3.59103e+12 3.58979e+12 11907577 0.03% 878 668 3.59033e+12 3682 3.59103e+12 3.58979e+12 11917517 0.03% 879 669 3.59035e+12 5826 3.59103e+12 3.58979e+12 11927055 0.03% 880 670 3.59048e+12 2441 3.59103e+12 3.58979e+12 11946426 0.03% Elapsed real time = 230526.68 sec. (tree size = 1918.07 MB, solutions = 5) Nodefile size = 1790.78 MB (760.35 MB after compression) 881 671 3.59048e+12 2395 3.59103e+12 3.58979e+12 11947622 0.03% 882 672 3.59059e+12 4388 3.59103e+12 3.58979e+12 11974869 0.03% 883 673 3.59068e+12 5507 3.59103e+12 3.58979e+12 11984879 0.03% 884 674 3.59083e+12 2644 3.59103e+12 3.58979e+12 12005553 0.03% 885 675 3.59085e+12 4520 3.59103e+12 3.58979e+12 12012151 0.03% 886 676 3.59086e+12 3471 3.59103e+12 3.58979e+12 12014374 0.03% 887 677 3.59091e+12 3430 3.59103e+12 3.58979e+12 12022476 0.03% 888 678 3.59096e+12 2911 3.59103e+12 3.58979e+12 12035064 0.03% 889 677 cutoff 3.59103e+12 3.58979e+12 12042379 0.03% 891 677 3.58993e+12 1440 3.59103e+12 3.58980e+12 12050727 0.03% Elapsed real time = 232509.52 sec. (tree size = 1939.69 MB, solutions = 5) Nodefile size = 1814.60 MB (770.37 MB after compression) 892 678 3.58997e+12 3974 3.59103e+12 3.58980e+12 12053960 0.03% 893 679 3.59083e+12 1180 3.59103e+12 3.58980e+12 12067860 0.03% 895 679 cutoff 3.59103e+12 3.58980e+12 12080259 0.03% 897 679 3.59001e+12 5139 3.59103e+12 3.58980e+12 12159990 0.03% 898 680 3.59037e+12 3942 3.59103e+12 3.58980e+12 12194183 0.03% 899 681 3.59039e+12 2943 3.59103e+12 3.58980e+12 12196166 0.03% 900 682 3.59044e+12 3302 3.59103e+12 3.58980e+12 12221888 0.03% 901 683 3.59045e+12 5674 3.59103e+12 3.58980e+12 12226261 0.03% 902 684 3.59047e+12 5113 3.59103e+12 3.58980e+12 12230168 0.03% 903 685 3.59047e+12 5970 3.59103e+12 3.58980e+12 12235915 0.03% Elapsed real time = 237271.25 sec. (tree size = 1962.26 MB, solutions = 5) Nodefile size = 1834.82 MB (778.89 MB after compression) 904 686 3.59053e+12 6839 3.59103e+12 3.58980e+12 12248175 0.03% 905 687 3.59056e+12 4052 3.59103e+12 3.58980e+12 12276119 0.03% 906 688 3.59060e+12 4750 3.59103e+12 3.58980e+12 12291898 0.03% 907 689 3.59066e+12 5213 3.59103e+12 3.58980e+12 12302046 0.03% 908 690 3.59067e+12 6897 3.59103e+12 3.58980e+12 12305589 0.03% 909 691 3.59068e+12 3731 3.59103e+12 3.58980e+12 12311180 0.03% 910 692 3.59070e+12 1686 3.59103e+12 3.58980e+12 12325210 0.03% 911 693 3.59074e+12 3013 3.59103e+12 3.58980e+12 12336496 0.03% 912 694 3.59090e+12 3309 3.59103e+12 3.58980e+12 12361182 0.03% 914 696 3.59092e+12 3297 3.59103e+12 3.58980e+12 12370708 0.03% Elapsed real time = 240677.80 sec. (tree size = 1995.41 MB, solutions = 5) Nodefile size = 1867.62 MB (794.39 MB after compression) 915 695 cutoff 3.59103e+12 3.58980e+12 12380553 0.03% 916 694 cutoff 3.59103e+12 3.58980e+12 12403777 0.03% 917 695 3.59015e+12 5615 3.59103e+12 3.58980e+12 12445733 0.03% 918 696 3.59016e+12 4382 3.59103e+12 3.58980e+12 12448485 0.03% 919 697 3.59017e+12 2933 3.59103e+12 3.58980e+12 12456588 0.03% 920 698 3.59023e+12 2859 3.59103e+12 3.58980e+12 12484791 0.03% 921 699 3.59028e+12 6164 3.59103e+12 3.58980e+12 12507275 0.03% 922 700 3.59029e+12 5803 3.59103e+12 3.58980e+12 12511880 0.03% 923 701 3.59030e+12 6234 3.59103e+12 3.58980e+12 12516516 0.03% 924 702 3.59031e+12 6530 3.59103e+12 3.58980e+12 12521707 0.03% Elapsed real time = 244642.89 sec. (tree size = 2012.12 MB, solutions = 5) Nodefile size = 1884.59 MB (800.93 MB after compression) 925 703 3.59036e+12 5280 3.59103e+12 3.58980e+12 12535749 0.03% 926 704 3.59040e+12 5632 3.59103e+12 3.58980e+12 12548897 0.03% 927 705 3.59044e+12 3800 3.59103e+12 3.58980e+12 12557359 0.03% 928 706 3.59051e+12 3470 3.59103e+12 3.58980e+12 12570072 0.03% 929 707 3.59052e+12 3346 3.59103e+12 3.58980e+12 12574431 0.03% 930 708 3.59055e+12 3098 3.59103e+12 3.58980e+12 12583494 0.03% 931 709 3.59071e+12 2583 3.59103e+12 3.58980e+12 12613726 0.03% 933 711 3.59072e+12 5789 3.59103e+12 3.58980e+12 12619705 0.03% 934 712 3.59083e+12 3622 3.59103e+12 3.58980e+12 12636867 0.03% 935 713 3.59084e+12 4921 3.59103e+12 3.58980e+12 12638936 0.03% Elapsed real time = 248055.84 sec. (tree size = 2044.75 MB, solutions = 5) Nodefile size = 1916.83 MB (814.70 MB after compression) 936 714 3.59085e+12 3067 3.59103e+12 3.58980e+12 12644604 0.03% 937 715 3.59091e+12 2547 3.59103e+12 3.58980e+12 12659202 0.03% 938 716 3.59093e+12 3664 3.59103e+12 3.58980e+12 12670771 0.03% 939 717 3.59097e+12 2715 3.59103e+12 3.58980e+12 12680896 0.03% 940 718 3.59099e+12 3852 3.59103e+12 3.58980e+12 12696893 0.03% 941 717 cutoff 3.59103e+12 3.58980e+12 12700409 0.03% 943 717 3.59010e+12 4667 3.59103e+12 3.58980e+12 12744225 0.03% 944 718 3.59015e+12 4505 3.59103e+12 3.58980e+12 12756135 0.03% 945 719 3.59018e+12 4896 3.59103e+12 3.58980e+12 12773918 0.03% 946 720 3.59020e+12 4518 3.59103e+12 3.58980e+12 12784782 0.03% Elapsed real time = 251799.60 sec. (tree size = 2066.26 MB, solutions = 5) Nodefile size = 1938.66 MB (822.14 MB after compression) 947 721 3.59030e+12 3692 3.59103e+12 3.58980e+12 12806642 0.03% 948 722 3.59033e+12 3659 3.59103e+12 3.58980e+12 12827052 0.03% 949 723 3.59035e+12 4968 3.59103e+12 3.58980e+12 12830571 0.03% 950 724 3.59042e+12 2916 3.59103e+12 3.58980e+12 12843619 0.03% 951 725 3.59046e+12 4147 3.59103e+12 3.58980e+12 12852068 0.03% 952 726 3.59048e+12 2470 3.59103e+12 3.58980e+12 12856228 0.03% 953 727 3.59054e+12 4214 3.59103e+12 3.58980e+12 12864424 0.03% 954 728 3.59056e+12 2269 3.59103e+12 3.58980e+12 12871767 0.03% 955 729 3.59057e+12 2409 3.59103e+12 3.58980e+12 12878417 0.03% 956 730 3.59059e+12 2285 3.59103e+12 3.58980e+12 12882710 0.03% Elapsed real time = 253745.27 sec. (tree size = 2094.74 MB, solutions = 5) Nodefile size = 1966.95 MB (833.50 MB after compression) 957 731 3.59071e+12 2335 3.59103e+12 3.58980e+12 12899916 0.03% 959 733 3.59081e+12 4500 3.59103e+12 3.58980e+12 12922707 0.03% 960 734 3.59091e+12 2361 3.59103e+12 3.58980e+12 12932249 0.03% 961 733 cutoff 3.59103e+12 3.58980e+12 12942348 0.03% 962 732 cutoff 3.59103e+12 3.58980e+12 12948597 0.03% 963 733 3.58994e+12 2451 3.59103e+12 3.58981e+12 12956377 0.03% 964 734 3.58998e+12 5213 3.59103e+12 3.58981e+12 12958895 0.03% 966 736 3.59022e+12 2741 3.59103e+12 3.58981e+12 12981001 0.03% 968 738 3.59029e+12 5949 3.59103e+12 3.58981e+12 12986516 0.03% 969 739 3.59035e+12 5655 3.59103e+12 3.58981e+12 13000568 0.03% Elapsed real time = 255592.06 sec. (tree size = 2120.64 MB, solutions = 5) Nodefile size = 1993.13 MB (844.21 MB after compression) 970 740 3.59038e+12 1482 3.59103e+12 3.58981e+12 13015378 0.03% 971 741 3.59038e+12 2667 3.59103e+12 3.58981e+12 13021446 0.03% 972 742 3.59053e+12 6266 3.59103e+12 3.58981e+12 13042526 0.03% 974 744 3.59063e+12 4996 3.59103e+12 3.58981e+12 13069612 0.03% 975 745 3.59073e+12 3802 3.59103e+12 3.58981e+12 13077642 0.03% 976 746 3.59088e+12 3077 3.59103e+12 3.58981e+12 13099854 0.03% 977 747 3.59090e+12 3547 3.59103e+12 3.58981e+12 13105504 0.03% 978 748 3.59095e+12 4271 3.59103e+12 3.58981e+12 13112233 0.03% 979 747 cutoff 3.59103e+12 3.58981e+12 13116737 0.03% 981 747 3.58995e+12 2029 3.59103e+12 3.58982e+12 13125390 0.03% Elapsed real time = 258248.86 sec. (tree size = 2144.42 MB, solutions = 5) Nodefile size = 2019.10 MB (855.71 MB after compression) 982 748 3.58999e+12 1683 3.59103e+12 3.58982e+12 13128587 0.03% 983 749 3.59084e+12 1180 3.59103e+12 3.58982e+12 13140651 0.03% 985 749 cutoff 3.59103e+12 3.58982e+12 13152705 0.03% 987 749 3.59007e+12 1589 3.59103e+12 3.58982e+12 13170699 0.03% 988 750 3.59026e+12 3611 3.59103e+12 3.58982e+12 13210147 0.03% 989 751 3.59028e+12 3738 3.59103e+12 3.58982e+12 13212433 0.03% 990 752 3.59036e+12 2296 3.59103e+12 3.58982e+12 13222608 0.03% 991 753 3.59040e+12 2529 3.59103e+12 3.58982e+12 13228341 0.03% 992 754 3.59045e+12 5957 3.59103e+12 3.58982e+12 13237888 0.03% 993 755 3.59047e+12 3806 3.59103e+12 3.58982e+12 13246496 0.03% Elapsed real time = 260115.54 sec. (tree size = 2166.96 MB, solutions = 5) Nodefile size = 2039.28 MB (863.37 MB after compression) 994 756 3.59060e+12 2289 3.59103e+12 3.58982e+12 13263350 0.03% 996 758 3.59069e+12 6296 3.59103e+12 3.58982e+12 13286233 0.03% 997 759 3.59079e+12 3385 3.59103e+12 3.58982e+12 13296694 0.03% 998 760 3.59093e+12 4384 3.59103e+12 3.58982e+12 13317907 0.03% 999 761 3.59095e+12 5603 3.59103e+12 3.58982e+12 13321702 0.03% 1000 762 3.59101e+12 2748 3.59103e+12 3.58982e+12 13328560 0.03% 1001 763 3.59103e+12 4303 3.59103e+12 3.58982e+12 13343521 0.03% 1004 762 3.58960e+12 6715 3.59103e+12 3.58982e+12 14166914 0.03% Elapsed real time = 278794.17 sec. (tree size = 125.23 MB, solutions = 5) 1005 763 3.58974e+12 6551 3.59103e+12 3.58982e+12 14218874 0.03% 1006 508 cutoff 3.59103e+12 3.58982e+12 14240549 0.03% 1007 509 3.58975e+12 6287 3.59103e+12 3.58982e+12 14254520 0.03% 1008 509 3.58980e+12 6379 3.59103e+12 3.58982e+12 14279460 0.03% 1009 510 3.59065e+12 4891 3.59103e+12 3.58982e+12 14346868 0.03% 1010 408 cutoff 3.59103e+12 3.58982e+12 14350197 0.03% 1011 408 3.59065e+12 5032 3.59103e+12 3.58982e+12 14361259 0.03% 1012 409 3.59083e+12 4482 3.59103e+12 3.58982e+12 14402828 0.03% 1013 340 cutoff 3.59103e+12 3.58982e+12 14412245 0.03% 1014 340 3.59088e+12 5192 3.59103e+12 3.58982e+12 14432110 0.03% Elapsed real time = 286481.38 sec. (tree size = 60.48 MB, solutions = 5) 1015 283 cutoff 3.59103e+12 3.58982e+12 14433254 0.03% 1016 284 3.59090e+12 5294 3.59103e+12 3.58982e+12 14450208 0.03% 1017 285 3.59095e+12 5108 3.59103e+12 3.58982e+12 14466797 0.03% 1018 244 cutoff 3.59103e+12 3.58982e+12 14469890 0.03% 1019 244 3.59097e+12 5429 3.59103e+12 3.58982e+12 14488023 0.03% 1020 209 cutoff 3.59103e+12 3.58982e+12 14489437 0.03% 1021 174 cutoff 3.59103e+12 3.58982e+12 14491050 0.03% 1022 175 3.58972e+12 6964 3.59103e+12 3.58982e+12 14544104 0.03% 1023 176 3.58977e+12 6597 3.59103e+12 3.58982e+12 14566645 0.03% 1024 177 3.58977e+12 6577 3.59103e+12 3.58982e+12 14566749 0.03% Elapsed real time = 289701.36 sec. (tree size = 36.14 MB, solutions = 5) 1025 154 cutoff 3.59103e+12 3.58982e+12 14585412 0.03% 1026 155 3.58977e+12 6541 3.59103e+12 3.58982e+12 14587687 0.03% 1027 156 3.58985e+12 6419 3.59103e+12 3.58982e+12 14625579 0.03% 1028 157 3.58987e+12 6681 3.59103e+12 3.58982e+12 14649974 0.03% 1029 158 3.59063e+12 5183 3.59103e+12 3.58982e+12 14717286 0.03% 1030 143 cutoff 3.59103e+12 3.58982e+12 14723324 0.03% 1031 143 3.59073e+12 3824 3.59103e+12 3.58982e+12 14751899 0.03% 1032 143 3.59087e+12 5417 3.59103e+12 3.58982e+12 14769302 0.03% 1033 144 3.59099e+12 2389 3.59103e+12 3.58982e+12 14812532 0.03% * 1034 92 integral 0 3.59100e+12 3.58982e+12 14813376 0.03% Elapsed real time = 293851.34 sec. (tree size = 28.48 MB, solutions = 6) 1035 92 3.59099e+12 4762 3.59100e+12 3.58982e+12 14813877 0.03% 1037 84 3.59099e+12 2896 3.59100e+12 3.58982e+12 14816535 0.03% 1040 71 3.59076e+12 3579 3.59100e+12 3.58982e+12 14896866 0.03% 1041 72 3.59083e+12 3687 3.59100e+12 3.58982e+12 14916959 0.03% 1042 73 3.59085e+12 4861 3.59100e+12 3.58982e+12 14925825 0.03% 1043 74 3.59086e+12 3486 3.59100e+12 3.58982e+12 14930972 0.03% 1044 75 3.59088e+12 3305 3.59100e+12 3.58982e+12 14941828 0.03% 1045 76 3.59093e+12 3483 3.59100e+12 3.58982e+12 14958379 0.03% 1046 76 3.59094e+12 3990 3.59100e+12 3.58982e+12 14964945 0.03% 1047 76 3.59094e+12 3720 3.59100e+12 3.58982e+12 14966004 0.03% Elapsed real time = 295964.01 sec. (tree size = 34.06 MB, solutions = 6) 1048 76 3.59094e+12 3706 3.59100e+12 3.58982e+12 14966360 0.03% 1049 76 3.59094e+12 4338 3.59100e+12 3.58982e+12 14970016 0.03% 1051 73 3.59096e+12 4247 3.59100e+12 3.58982e+12 14979492 0.03% 1052 69 cutoff 3.59100e+12 3.58982e+12 14980494 0.03% 1053 65 cutoff 3.59100e+12 3.58982e+12 14982954 0.03% 1054 66 3.59080e+12 1176 3.59100e+12 3.58982e+12 15017002 0.03% 1055 67 3.59097e+12 4208 3.59100e+12 3.58982e+12 15037487 0.03% 1056 68 3.59098e+12 3992 3.59100e+12 3.58982e+12 15038495 0.03% 1057 68 3.59099e+12 1605 3.59100e+12 3.58982e+12 15044420 0.03% 1060 62 3.59087e+12 3836 3.59100e+12 3.58982e+12 15100176 0.03% Elapsed real time = 297149.43 sec. (tree size = 36.28 MB, solutions = 6) 1061 59 cutoff 3.59100e+12 3.58982e+12 15105800 0.03% 1062 56 cutoff 3.59100e+12 3.58982e+12 15106879 0.03% 1063 57 3.59020e+12 6494 3.59100e+12 3.58982e+12 15163376 0.03% 1064 58 3.59036e+12 5916 3.59100e+12 3.58982e+12 15199855 0.03% 1065 58 3.59042e+12 6178 3.59100e+12 3.58982e+12 15212279 0.03% 1066 55 cutoff 3.59100e+12 3.58982e+12 15236781 0.03% 1067 55 3.59045e+12 6146 3.59100e+12 3.58982e+12 15259146 0.03% 1068 56 3.59045e+12 6272 3.59100e+12 3.58982e+12 15262328 0.03% 1069 53 cutoff 3.59100e+12 3.58982e+12 15269124 0.03% 1070 54 3.59047e+12 6002 3.59100e+12 3.58982e+12 15294137 0.03% Elapsed real time = 300257.19 sec. (tree size = 37.76 MB, solutions = 6) 1071 55 3.59049e+12 6104 3.59100e+12 3.58982e+12 15308381 0.03% 1072 52 cutoff 3.59100e+12 3.58982e+12 15314511 0.03% 1073 49 cutoff 3.59100e+12 3.58982e+12 15346630 0.03% 1074 49 3.59049e+12 6146 3.59100e+12 3.58982e+12 15347904 0.03% 1075 46 cutoff 3.59100e+12 3.58982e+12 15370791 0.03% 1076 47 3.59049e+12 6109 3.59100e+12 3.58982e+12 15371423 0.03% 1077 45 cutoff 3.59100e+12 3.58982e+12 15375298 0.03% 1078 45 3.59049e+12 6112 3.59100e+12 3.58982e+12 15376321 0.03% 1079 43 cutoff 3.59100e+12 3.58982e+12 15378617 0.03% 1080 44 3.59049e+12 6107 3.59100e+12 3.58982e+12 15379274 0.03% Elapsed real time = 301082.95 sec. (tree size = 36.11 MB, solutions = 6) 1081 44 3.59050e+12 6519 3.59100e+12 3.58982e+12 15386434 0.03% 1082 42 cutoff 3.59100e+12 3.58982e+12 15393095 0.03% 1083 43 3.59062e+12 5270 3.59100e+12 3.58982e+12 15430814 0.03% 1084 41 cutoff 3.59100e+12 3.58982e+12 15435096 0.03% 1085 42 3.59062e+12 5566 3.59100e+12 3.58982e+12 15437782 0.03% 1086 40 cutoff 3.59100e+12 3.58982e+12 15441049 0.03% 1087 41 3.59062e+12 5543 3.59100e+12 3.58982e+12 15441563 0.03% 1088 39 cutoff 3.59100e+12 3.58982e+12 15443829 0.03% 1089 39 3.59062e+12 5777 3.59100e+12 3.58982e+12 15445662 0.03% 1090 37 cutoff 3.59100e+12 3.58982e+12 15447139 0.03% Elapsed real time = 302033.06 sec. (tree size = 36.49 MB, solutions = 6) 1091 38 3.59062e+12 5638 3.59100e+12 3.58982e+12 15448583 0.03% 1092 36 cutoff 3.59100e+12 3.58982e+12 15451771 0.03% 1093 36 3.59062e+12 5756 3.59100e+12 3.58982e+12 15455622 0.03% 1094 34 cutoff 3.59100e+12 3.58982e+12 15457846 0.03% 1095 34 3.59062e+12 5941 3.59100e+12 3.58982e+12 15457948 0.03% 1096 35 3.59066e+12 5849 3.59100e+12 3.58982e+12 15477327 0.03% 1097 33 cutoff 3.59100e+12 3.58982e+12 15482320 0.03% 1098 33 3.59068e+12 6306 3.59100e+12 3.58982e+12 15495890 0.03% 1099 33 3.59073e+12 5553 3.59100e+12 3.58982e+12 15508450 0.03% 1100 31 cutoff 3.59100e+12 3.58982e+12 15514023 0.03% Elapsed real time = 302860.61 sec. (tree size = 38.22 MB, solutions = 6) 1101 32 3.59073e+12 5854 3.59100e+12 3.58982e+12 15514332 0.03% 1102 30 cutoff 3.59100e+12 3.58982e+12 15516361 0.03% 1103 31 3.59073e+12 5484 3.59100e+12 3.58982e+12 15517061 0.03% 1104 29 cutoff 3.59100e+12 3.58982e+12 15524875 0.03% 1105 30 3.59074e+12 5687 3.59100e+12 3.58982e+12 15528944 0.03% 1106 28 cutoff 3.59100e+12 3.58982e+12 15530176 0.03% 1107 29 3.59075e+12 5757 3.59100e+12 3.58982e+12 15545237 0.03% 1108 27 cutoff 3.59100e+12 3.58982e+12 15548200 0.03% 1109 27 3.59075e+12 5761 3.59100e+12 3.58982e+12 15549765 0.03% 1110 26 cutoff 3.59100e+12 3.58982e+12 15553196 0.03% Elapsed real time = 303291.05 sec. (tree size = 37.40 MB, solutions = 6) 1111 27 3.59076e+12 6244 3.59100e+12 3.58982e+12 15561656 0.03% 1112 26 cutoff 3.59100e+12 3.58982e+12 15564578 0.03% 1114 26 cutoff 3.59100e+12 3.58982e+12 15566786 0.03% 1117 27 3.59076e+12 5902 3.59100e+12 3.58982e+12 15569492 0.03% 1118 28 3.59079e+12 5922 3.59100e+12 3.58982e+12 15583816 0.03% 1119 29 3.59080e+12 5916 3.59100e+12 3.58982e+12 15591527 0.03% 1120 30 3.59096e+12 5993 3.59100e+12 3.58982e+12 15618194 0.03% 1122 28 cutoff 3.59100e+12 3.58982e+12 15635182 0.03% 1123 29 3.58980e+12 6354 3.59100e+12 3.58982e+12 15641790 0.03% 1124 30 3.58994e+12 6475 3.59100e+12 3.58982e+12 15687388 0.03% Elapsed real time = 305260.83 sec. (tree size = 41.98 MB, solutions = 6) 1125 31 3.58999e+12 6524 3.59100e+12 3.58982e+12 15701202 0.03% 1126 32 3.59001e+12 6487 3.59100e+12 3.58982e+12 15722745 0.03% 1127 33 3.59005e+12 5291 3.59100e+12 3.58982e+12 15746830 0.03% 1128 34 3.59007e+12 5295 3.59100e+12 3.58982e+12 15758467 0.03% 1129 35 3.59008e+12 5270 3.59100e+12 3.58982e+12 15766771 0.03% 1130 36 3.59009e+12 6710 3.59100e+12 3.58982e+12 15770809 0.03% 1131 37 3.59009e+12 5209 3.59100e+12 3.58982e+12 15771905 0.03% 1133 39 3.59009e+12 5859 3.59100e+12 3.58982e+12 15774352 0.03% 1135 41 3.59009e+12 5848 3.59100e+12 3.58982e+12 15775030 0.03% 1138 44 3.59009e+12 6520 3.59100e+12 3.58982e+12 15775672 0.03% Elapsed real time = 306923.11 sec. (tree size = 60.94 MB, solutions = 6) 1139 43 cutoff 3.59100e+12 3.58982e+12 15805480 0.03% 1140 44 3.59014e+12 6554 3.59100e+12 3.58982e+12 15824935 0.03% 1141 43 cutoff 3.59100e+12 3.58982e+12 15838165 0.03% 1142 44 3.59014e+12 6512 3.59100e+12 3.58982e+12 15839383 0.03% 1143 45 3.59014e+12 5994 3.59100e+12 3.58982e+12 15842066 0.03% 1145 47 3.59014e+12 6007 3.59100e+12 3.58982e+12 15842529 0.03% 1146 46 cutoff 3.59100e+12 3.58982e+12 15852257 0.03% 1147 47 3.59016e+12 6406 3.59100e+12 3.58982e+12 15863293 0.03% 1150 50 3.59016e+12 6245 3.59100e+12 3.58982e+12 15865025 0.03% 1152 50 cutoff 3.59100e+12 3.58982e+12 15875987 0.03% Elapsed real time = 307973.78 sec. (tree size = 70.53 MB, solutions = 6) 1154 52 3.59028e+12 6400 3.59100e+12 3.58982e+12 15902274 0.03% 1156 52 3.59028e+12 6376 3.59100e+12 3.58982e+12 15905623 0.03% 1157 53 3.59069e+12 5819 3.59100e+12 3.58982e+12 15965600 0.03% 1158 54 3.59069e+12 5817 3.59100e+12 3.58982e+12 15966354 0.03% 1159 55 3.59069e+12 5776 3.59100e+12 3.58982e+12 15969472 0.03% 1160 56 3.59070e+12 5790 3.59100e+12 3.58982e+12 15974511 0.03% 1161 55 cutoff 3.59100e+12 3.58982e+12 15980147 0.03% 1162 56 3.59076e+12 5685 3.59100e+12 3.58982e+12 15995739 0.03% 1164 56 3.59078e+12 5819 3.59100e+12 3.58982e+12 16016320 0.03% 1165 55 cutoff 3.59100e+12 3.58982e+12 16020411 0.03% Elapsed real time = 310251.33 sec. (tree size = 77.87 MB, solutions = 6) 1166 56 3.59079e+12 5678 3.59100e+12 3.58982e+12 16030508 0.03% 1167 57 3.59081e+12 5755 3.59100e+12 3.58982e+12 16041549 0.03% 1168 58 3.59084e+12 5554 3.59100e+12 3.58982e+12 16058569 0.03% 1169 59 3.59087e+12 4841 3.59100e+12 3.58982e+12 16070535 0.03% 1171 59 3.59087e+12 4844 3.59100e+12 3.58982e+12 16073029 0.03% 1172 60 3.59088e+12 5645 3.59100e+12 3.58982e+12 16076833 0.03% 1174 60 3.59088e+12 5302 3.59100e+12 3.58982e+12 16080084 0.03% 1175 61 3.59089e+12 4959 3.59100e+12 3.58982e+12 16087830 0.03% 1178 60 cutoff 3.59100e+12 3.58982e+12 16090365 0.03% 1180 60 cutoff 3.59100e+12 3.58982e+12 16092271 0.03% Elapsed real time = 311060.52 sec. (tree size = 85.49 MB, solutions = 6) 1181 61 3.59090e+12 4878 3.59100e+12 3.58982e+12 16100699 0.03% 1182 60 cutoff 3.59100e+12 3.58982e+12 16111087 0.03% 1183 61 3.59091e+12 5026 3.59100e+12 3.58982e+12 16115032 0.03% 1184 62 3.59097e+12 5325 3.59100e+12 3.58982e+12 16132441 0.03% 1188 62 3.59097e+12 5385 3.59100e+12 3.58982e+12 16137004 0.03% 1190 62 3.59097e+12 5564 3.59100e+12 3.58982e+12 16142461 0.03% 1191 63 3.59097e+12 5023 3.59100e+12 3.58982e+12 16145108 0.03% 1194 62 3.59063e+12 5649 3.59100e+12 3.58985e+12 16221925 0.03% 1195 63 3.59068e+12 5621 3.59100e+12 3.58985e+12 16231349 0.03% 1196 64 3.59073e+12 5167 3.59100e+12 3.58985e+12 16246583 0.03% Elapsed real time = 313024.68 sec. (tree size = 90.28 MB, solutions = 6) 1197 65 3.59077e+12 5463 3.59100e+12 3.58985e+12 16258794 0.03% 1198 66 3.59080e+12 5534 3.59100e+12 3.58985e+12 16273271 0.03% 1199 67 3.59081e+12 6199 3.59100e+12 3.58985e+12 16280633 0.03% 1200 68 3.59081e+12 5311 3.59100e+12 3.58985e+12 16283977 0.03% 1201 69 3.59082e+12 5063 3.59100e+12 3.58985e+12 16286382 0.03% 1202 70 3.59093e+12 5030 3.59100e+12 3.58985e+12 16306934 0.03% 1203 71 3.59094e+12 4798 3.59100e+12 3.58985e+12 16311924 0.03% 1204 72 3.59094e+12 4772 3.59100e+12 3.58985e+12 16316687 0.03% 1205 73 3.59094e+12 4915 3.59100e+12 3.58985e+12 16318314 0.03% 1206 74 3.59094e+12 4907 3.59100e+12 3.58985e+12 16320476 0.03% Elapsed real time = 313807.48 sec. (tree size = 105.53 MB, solutions = 6) 1207 75 3.59094e+12 5020 3.59100e+12 3.58985e+12 16322104 0.03% 1211 77 cutoff 3.59100e+12 3.58985e+12 16323459 0.03% 1212 78 3.59095e+12 4565 3.59100e+12 3.58985e+12 16326760 0.03% 1214 78 cutoff 3.59100e+12 3.58985e+12 16330370 0.03% 1215 77 cutoff 3.59100e+12 3.58985e+12 16333585 0.03% 1216 78 3.59086e+12 5105 3.59100e+12 3.58987e+12 16393197 0.03% 1217 79 3.59088e+12 5333 3.59100e+12 3.58987e+12 16400045 0.03% 1218 80 3.59092e+12 4162 3.59100e+12 3.58987e+12 16415875 0.03% 1219 81 3.59093e+12 4153 3.59100e+12 3.58987e+12 16423299 0.03% 1221 81 cutoff 3.59100e+12 3.58987e+12 16427883 0.03% Elapsed real time = 314852.19 sec. (tree size = 117.96 MB, solutions = 6) 1222 82 3.59098e+12 4180 3.59100e+12 3.58987e+12 16444016 0.03% 1225 81 cutoff 3.59100e+12 3.58987e+12 16445911 0.03% 1226 82 3.58987e+12 6615 3.59100e+12 3.58987e+12 16450190 0.03% 1227 83 3.58997e+12 6184 3.59100e+12 3.58987e+12 16486707 0.03% 1228 84 3.58999e+12 6344 3.59100e+12 3.58987e+12 16500083 0.03% 1229 85 3.59003e+12 6914 3.59100e+12 3.58987e+12 16540961 0.03% 1230 86 3.59006e+12 6325 3.59100e+12 3.58987e+12 16557509 0.03% 1231 87 3.59011e+12 6083 3.59100e+12 3.58987e+12 16594913 0.03% 1232 88 3.59011e+12 7047 3.59100e+12 3.58987e+12 16599671 0.03% 1233 89 3.59011e+12 6673 3.59100e+12 3.58987e+12 16601722 0.03% Elapsed real time = 317893.88 sec. (tree size = 127.59 MB, solutions = 6) 1234 90 3.59032e+12 4127 3.59100e+12 3.58987e+12 16630483 0.03% 1235 91 3.59033e+12 3772 3.59100e+12 3.58987e+12 16636694 0.03% 1236 92 3.59033e+12 3838 3.59100e+12 3.58987e+12 16639535 0.03% 1237 93 3.59034e+12 4846 3.59100e+12 3.58987e+12 16642970 0.03% 1240 96 3.59036e+12 5155 3.59100e+12 3.58987e+12 16651402 0.03% 1241 95 cutoff 3.59100e+12 3.58987e+12 16674839 0.03% 1243 97 3.59036e+12 5246 3.59100e+12 3.58987e+12 16678339 0.03% 1244 98 3.59054e+12 4461 3.59100e+12 3.58987e+12 16711089 0.03% 1246 100 3.59054e+12 4502 3.59100e+12 3.58987e+12 16712459 0.03% 1247 101 3.59056e+12 4116 3.59100e+12 3.58987e+12 16724958 0.03% Elapsed real time = 319363.54 sec. (tree size = 144.84 MB, solutions = 6) Nodefile size = 18.33 MB (8.37 MB after compression) 1248 102 3.59065e+12 4159 3.59100e+12 3.58987e+12 16737995 0.03% 1249 101 cutoff 3.59100e+12 3.58987e+12 16743163 0.03% 1250 102 3.59066e+12 2808 3.59100e+12 3.58987e+12 16745521 0.03% 1252 102 3.59067e+12 3655 3.59100e+12 3.58987e+12 16755765 0.03% 1254 102 3.59067e+12 3458 3.59100e+12 3.58987e+12 16759118 0.03% 1256 102 3.59067e+12 4076 3.59100e+12 3.58987e+12 16762235 0.03% 1258 102 cutoff 3.59100e+12 3.58987e+12 16766000 0.03% 1259 103 3.59068e+12 3955 3.59100e+12 3.58987e+12 16770602 0.03% 1264 102 cutoff 3.59100e+12 3.58987e+12 16777720 0.03% 1265 103 3.59068e+12 3991 3.59100e+12 3.58987e+12 16779846 0.03% Elapsed real time = 319690.15 sec. (tree size = 147.89 MB, solutions = 6) Nodefile size = 21.38 MB (9.86 MB after compression) 1267 103 3.59068e+12 4021 3.59100e+12 3.58987e+12 16785714 0.03% 1269 103 3.59076e+12 4513 3.59100e+12 3.58987e+12 16804565 0.03% 1270 104 3.59077e+12 4502 3.59100e+12 3.58987e+12 16809478 0.03% 1272 104 cutoff 3.59100e+12 3.58987e+12 16811882 0.03% 1277 105 3.59077e+12 4476 3.59100e+12 3.58987e+12 16817223 0.03% 1279 107 3.59078e+12 4833 3.59100e+12 3.58987e+12 16821422 0.03% 1281 107 3.59078e+12 4181 3.59100e+12 3.58987e+12 16827000 0.03% 1283 107 3.59086e+12 5322 3.59100e+12 3.58987e+12 16853310 0.03% 1285 107 cutoff 3.59100e+12 3.58987e+12 16853781 0.03% 1287 109 3.59086e+12 5388 3.59100e+12 3.58987e+12 16856516 0.03% Elapsed real time = 320345.01 sec. (tree size = 157.04 MB, solutions = 6) Nodefile size = 30.54 MB (14.14 MB after compression) 1289 109 3.59087e+12 5332 3.59100e+12 3.58987e+12 16869139 0.03% 1290 108 cutoff 3.59100e+12 3.58987e+12 16884590 0.03% 1291 109 3.59091e+12 4879 3.59100e+12 3.58987e+12 16899193 0.03% * 1294+ 93 3.59094e+12 3.58987e+12 16901409 0.03% 1294 95 3.59092e+12 4733 3.59094e+12 3.58987e+12 16901409 0.03% 1296 95 3.59092e+12 5166 3.59094e+12 3.58987e+12 16904140 0.03% 1298 95 3.59092e+12 5741 3.59094e+12 3.58987e+12 16924073 0.03% 1300 95 3.59093e+12 4624 3.59094e+12 3.58987e+12 16928772 0.03% 1303 94 3.59070e+12 4656 3.59094e+12 3.58994e+12 17004947 0.03% 1304 95 3.59072e+12 4616 3.59094e+12 3.58994e+12 17014838 0.03% 1305 94 cutoff 3.59094e+12 3.58994e+12 17021551 0.03% Elapsed real time = 322130.68 sec. (tree size = 134.33 MB, solutions = 7) Nodefile size = 9.16 MB (4.23 MB after compression) 1306 95 3.59075e+12 4763 3.59094e+12 3.58994e+12 17035475 0.03% 1307 96 3.59077e+12 4613 3.59094e+12 3.58994e+12 17050014 0.03% 1309 96 3.59079e+12 5318 3.59094e+12 3.58994e+12 17062153 0.03% 1311 96 3.59092e+12 4547 3.59094e+12 3.58994e+12 17100960 0.03% 1314 95 3.59087e+12 4597 3.59094e+12 3.58997e+12 17172764 0.03% 1315 94 cutoff 3.59094e+12 3.58997e+12 17176681 0.03% 1317 92 cutoff 3.59094e+12 3.58999e+12 17244341 0.03% 1318 91 cutoff 3.59094e+12 3.58999e+12 17256736 0.03% 1319 90 cutoff 3.59094e+12 3.59001e+12 17279201 0.03% 1320 89 cutoff 3.59094e+12 3.59003e+12 17297215 0.03% Elapsed real time = 325981.10 sec. (tree size = 129.32 MB, solutions = 7) Nodefile size = 10.68 MB (4.96 MB after compression) 1321 88 cutoff 3.59094e+12 3.59005e+12 17314359 0.02% 1322 87 cutoff 3.59094e+12 3.59006e+12 17330273 0.02% 1323 88 3.59078e+12 5203 3.59094e+12 3.59007e+12 17416143 0.02% 1324 89 3.59079e+12 5096 3.59094e+12 3.59007e+12 17429335 0.02% 1325 88 cutoff 3.59094e+12 3.59007e+12 17434818 0.02% 1326 89 3.59090e+12 5363 3.59094e+12 3.59007e+12 17448495 0.02% 1327 90 3.59090e+12 3829 3.59094e+12 3.59007e+12 17451812 0.02% 1328 91 3.59091e+12 5240 3.59094e+12 3.59007e+12 17462013 0.02% 1329 92 3.59091e+12 5178 3.59094e+12 3.59007e+12 17464019 0.02% 1330 93 3.59092e+12 5451 3.59094e+12 3.59007e+12 17469117 0.02% Elapsed real time = 328415.27 sec. (tree size = 134.26 MB, solutions = 7) Nodefile size = 10.68 MB (4.96 MB after compression) 1332 95 3.59092e+12 5293 3.59094e+12 3.59007e+12 17473961 0.02% 1335 98 3.59093e+12 3431 3.59094e+12 3.59007e+12 17487666 0.02% 1336 99 3.59093e+12 4207 3.59094e+12 3.59007e+12 17491463 0.02% 1339 102 3.59094e+12 2989 3.59094e+12 3.59007e+12 17495446 0.02% 1342 101 3.59093e+12 5118 3.59094e+12 3.59008e+12 17546942 0.02% 1345 100 3.59089e+12 2365 3.59094e+12 3.59009e+12 17608454 0.02% 1346 99 cutoff 3.59094e+12 3.59009e+12 17612716 0.02% 1347 98 cutoff 3.59094e+12 3.59009e+12 17615148 0.02% 1348 99 3.59065e+12 5300 3.59094e+12 3.59009e+12 17659625 0.02% 1349 100 3.59069e+12 2897 3.59094e+12 3.59009e+12 17666128 0.02% Elapsed real time = 330321.06 sec. (tree size = 145.47 MB, solutions = 7) Nodefile size = 21.39 MB (10.45 MB after compression) 1350 101 3.59074e+12 3772 3.59094e+12 3.59009e+12 17686955 0.02% 1351 102 3.59083e+12 4638 3.59094e+12 3.59009e+12 17698148 0.02% 1352 103 3.59084e+12 4193 3.59094e+12 3.59009e+12 17700611 0.02% 1353 104 3.59090e+12 4188 3.59094e+12 3.59009e+12 17713377 0.02% 1354 105 3.59090e+12 3840 3.59094e+12 3.59009e+12 17716239 0.02% 1355 104 cutoff 3.59094e+12 3.59009e+12 17720050 0.02% 1357 104 3.59075e+12 4695 3.59094e+12 3.59009e+12 17782814 0.02% 1358 105 3.59079e+12 5777 3.59094e+12 3.59009e+12 17794977 0.02% 1359 106 3.59083e+12 3730 3.59094e+12 3.59009e+12 17813509 0.02% 1360 105 cutoff 3.59094e+12 3.59009e+12 17819839 0.02% Elapsed real time = 331823.18 sec. (tree size = 154.80 MB, solutions = 7) Nodefile size = 27.50 MB (13.57 MB after compression) 1361 104 cutoff 3.59094e+12 3.59009e+12 17825201 0.02% 1362 103 cutoff 3.59094e+12 3.59009e+12 17831810 0.02% 1363 102 cutoff 3.59094e+12 3.59009e+12 17858208 0.02% 1364 101 cutoff 3.59094e+12 3.59009e+12 17869455 0.02% 1365 100 cutoff 3.59094e+12 3.59009e+12 17880151 0.02% 1366 99 cutoff 3.59094e+12 3.59009e+12 17886454 0.02% 1367 98 cutoff 3.59094e+12 3.59011e+12 17892582 0.02% 1368 97 cutoff 3.59094e+12 3.59011e+12 17898672 0.02% 1369 96 cutoff 3.59094e+12 3.59011e+12 17912913 0.02% 1370 97 3.59022e+12 5576 3.59094e+12 3.59014e+12 17945020 0.02% Elapsed real time = 332702.93 sec. (tree size = 142.56 MB, solutions = 7) Nodefile size = 27.50 MB (13.57 MB after compression) 1371 98 3.59026e+12 5636 3.59094e+12 3.59014e+12 17967860 0.02% 1373 100 3.59027e+12 5926 3.59094e+12 3.59014e+12 17973960 0.02% 1374 101 3.59027e+12 5854 3.59094e+12 3.59014e+12 17974086 0.02% 1376 103 3.59037e+12 5722 3.59094e+12 3.59014e+12 17999896 0.02% 1377 104 3.59039e+12 6255 3.59094e+12 3.59014e+12 18016144 0.02% 1379 106 3.59039e+12 6248 3.59094e+12 3.59014e+12 18018592 0.02% 1380 107 3.59039e+12 6208 3.59094e+12 3.59014e+12 18019622 0.02% 1382 107 3.59039e+12 6200 3.59094e+12 3.59014e+12 18025927 0.02% 1384 107 3.59039e+12 6199 3.59094e+12 3.59014e+12 18029272 0.02% 1385 106 cutoff 3.59094e+12 3.59014e+12 18034585 0.02% Elapsed real time = 334337.38 sec. (tree size = 156.86 MB, solutions = 7) Nodefile size = 29.03 MB (14.33 MB after compression) 1386 107 3.59041e+12 6586 3.59094e+12 3.59014e+12 18048808 0.02% 1388 107 cutoff 3.59094e+12 3.59014e+12 18053061 0.02% 1389 108 3.59041e+12 7288 3.59094e+12 3.59014e+12 18053473 0.02% 1391 108 cutoff 3.59094e+12 3.59014e+12 18056767 0.02% 1392 109 3.59041e+12 6795 3.59094e+12 3.59014e+12 18059087 0.02% 1393 110 3.59054e+12 5955 3.59094e+12 3.59014e+12 18087551 0.02% * 1394+ 90 3.59090e+12 3.59014e+12 18087565 0.02% 1394 92 3.59054e+12 5952 3.59090e+12 3.59014e+12 18087565 0.02% 1395 93 3.59055e+12 5762 3.59090e+12 3.59014e+12 18097969 0.02% 1396 94 3.59055e+12 6075 3.59090e+12 3.59014e+12 18103577 0.02% 1397 95 3.59056e+12 6087 3.59090e+12 3.59014e+12 18110374 0.02% Elapsed real time = 335733.69 sec. (tree size = 138.32 MB, solutions = 8) Nodefile size = 10.68 MB (4.94 MB after compression) 1399 97 3.59056e+12 6083 3.59090e+12 3.59014e+12 18111773 0.02% 1401 99 3.59056e+12 6423 3.59090e+12 3.59014e+12 18117272 0.02% 1403 99 cutoff 3.59090e+12 3.59014e+12 18121401 0.02% 1404 100 3.59056e+12 6412 3.59090e+12 3.59014e+12 18125610 0.02% 1405 101 3.59056e+12 6393 3.59090e+12 3.59014e+12 18128198 0.02% 1406 100 cutoff 3.59090e+12 3.59014e+12 18133772 0.02% 1407 101 3.59057e+12 6517 3.59090e+12 3.59014e+12 18143583 0.02% 1408 102 3.59057e+12 6580 3.59090e+12 3.59014e+12 18147586 0.02% 1409 103 3.59057e+12 6446 3.59090e+12 3.59014e+12 18150948 0.02% 1410 104 3.59057e+12 6331 3.59090e+12 3.59014e+12 18160961 0.02% Elapsed real time = 336676.87 sec. (tree size = 152.04 MB, solutions = 8) Nodefile size = 24.41 MB (11.24 MB after compression) 1412 104 3.59058e+12 6546 3.59090e+12 3.59014e+12 18166984 0.02% 1414 106 3.59058e+12 6364 3.59090e+12 3.59014e+12 18167910 0.02% 1416 106 3.59058e+12 6850 3.59090e+12 3.59014e+12 18170840 0.02% 1420 106 3.59058e+12 6455 3.59090e+12 3.59014e+12 18174030 0.02% 1422 106 3.59058e+12 6291 3.59090e+12 3.59014e+12 18178659 0.02% 1423 105 cutoff 3.59090e+12 3.59014e+12 18183193 0.02% 1426 106 3.59058e+12 6299 3.59090e+12 3.59014e+12 18185445 0.02% 1427 107 3.59062e+12 6862 3.59090e+12 3.59014e+12 18205447 0.02% 1430 106 cutoff 3.59090e+12 3.59014e+12 18227152 0.02% 1431 107 3.59088e+12 5964 3.59090e+12 3.59014e+12 18266887 0.02% Elapsed real time = 338128.73 sec. (tree size = 156.61 MB, solutions = 8) Nodefile size = 28.98 MB (13.11 MB after compression) 1434 108 3.59088e+12 5401 3.59090e+12 3.59014e+12 18270675 0.02% 1435 109 3.59089e+12 5511 3.59090e+12 3.59014e+12 18280362 0.02% 1441 107 cutoff 3.59090e+12 3.59014e+12 18287000 0.02% 1442 108 3.59023e+12 6261 3.59090e+12 3.59014e+12 18301386 0.02% 1443 109 3.59033e+12 6703 3.59090e+12 3.59014e+12 18330263 0.02% 1444 110 3.59045e+12 6691 3.59090e+12 3.59014e+12 18372327 0.02% 1445 111 3.59076e+12 5335 3.59090e+12 3.59014e+12 18405505 0.02% 1446 112 3.59077e+12 5475 3.59090e+12 3.59014e+12 18411183 0.02% 1447 113 3.59078e+12 5256 3.59090e+12 3.59014e+12 18417679 0.02% 1449 115 3.59078e+12 5374 3.59090e+12 3.59014e+12 18424217 0.02% Elapsed real time = 341025.61 sec. (tree size = 168.76 MB, solutions = 8) Nodefile size = 41.19 MB (18.56 MB after compression) 1450 116 3.59078e+12 5147 3.59090e+12 3.59014e+12 18425977 0.02% 1451 117 3.59078e+12 5989 3.59090e+12 3.59014e+12 18428449 0.02% 1453 117 cutoff 3.59090e+12 3.59014e+12 18430131 0.02% 1454 118 3.59086e+12 5415 3.59090e+12 3.59014e+12 18456398 0.02% 1457 117 cutoff 3.59090e+12 3.59014e+12 18459251 0.02% 1458 116 cutoff 3.59090e+12 3.59014e+12 18466984 0.02% 1459 115 cutoff 3.59090e+12 3.59016e+12 18496303 0.02% 1460 114 cutoff 3.59090e+12 3.59016e+12 18506966 0.02% 1461 113 cutoff 3.59090e+12 3.59016e+12 18515959 0.02% 1462 112 cutoff 3.59090e+12 3.59016e+12 18523075 0.02% Elapsed real time = 341897.93 sec. (tree size = 166.65 MB, solutions = 8) Nodefile size = 47.30 MB (21.25 MB after compression) 1463 111 cutoff 3.59090e+12 3.59016e+12 18537317 0.02% 1464 112 3.59088e+12 5101 3.59090e+12 3.59020e+12 18604837 0.02% 1467 109 cutoff 3.59090e+12 3.59022e+12 18643398 0.02% 1468 108 cutoff 3.59090e+12 3.59023e+12 18654197 0.02% 1469 107 cutoff 3.59090e+12 3.59026e+12 18685069 0.02% 1470 106 cutoff 3.59090e+12 3.59026e+12 18710666 0.02% 1471 105 cutoff 3.59090e+12 3.59027e+12 18714931 0.02% 1472 104 cutoff 3.59090e+12 3.59027e+12 18719018 0.02% 1473 103 cutoff 3.59090e+12 3.59027e+12 18724344 0.02% 1474 102 cutoff 3.59090e+12 3.59028e+12 18740167 0.02% Elapsed real time = 343979.32 sec. (tree size = 152.57 MB, solutions = 8) Nodefile size = 47.30 MB (21.25 MB after compression) 1475 103 3.59028e+12 6396 3.59090e+12 3.59028e+12 18742313 0.02% 1476 104 3.59040e+12 6426 3.59090e+12 3.59028e+12 18778629 0.02% 1477 105 3.59072e+12 5927 3.59090e+12 3.59028e+12 18823015 0.02% 1478 106 3.59080e+12 6374 3.59090e+12 3.59028e+12 18856196 0.02% 1480 106 3.59082e+12 6026 3.59090e+12 3.59028e+12 18879264 0.02% 1482 104 cutoff 3.59090e+12 3.59028e+12 18882457 0.02% 1483 105 3.59049e+12 5116 3.59090e+12 3.59032e+12 18911816 0.02% 1484 106 3.59059e+12 5299 3.59090e+12 3.59032e+12 18940809 0.02% 1485 105 cutoff 3.59090e+12 3.59032e+12 18947368 0.02% 1486 106 3.59067e+12 5271 3.59090e+12 3.59032e+12 18969022 0.02% Elapsed real time = 348166.75 sec. (tree size = 157.09 MB, solutions = 8) Nodefile size = 47.30 MB (21.25 MB after compression) 1487 105 cutoff 3.59090e+12 3.59032e+12 18974761 0.02% 1488 106 3.59077e+12 4709 3.59090e+12 3.59032e+12 18994597 0.02% 1489 107 3.59078e+12 4700 3.59090e+12 3.59032e+12 18997509 0.02% 1490 106 cutoff 3.59090e+12 3.59032e+12 19008256 0.02% 1491 107 3.59083e+12 5500 3.59090e+12 3.59032e+12 19020535 0.02% 1492 108 3.59084e+12 5136 3.59090e+12 3.59032e+12 19025042 0.02% 1493 109 3.59084e+12 4595 3.59090e+12 3.59032e+12 19029843 0.02% 1494 110 3.59085e+12 4542 3.59090e+12 3.59032e+12 19030925 0.02% 1495 111 3.59085e+12 4334 3.59090e+12 3.59032e+12 19037814 0.02% 1496 110 cutoff 3.59090e+12 3.59032e+12 19040721 0.02% Elapsed real time = 348858.86 sec. (tree size = 164.73 MB, solutions = 8) Nodefile size = 47.30 MB (21.25 MB after compression) 1497 111 3.59086e+12 4689 3.59090e+12 3.59032e+12 19046834 0.02% 1499 113 3.59086e+12 4648 3.59090e+12 3.59032e+12 19050219 0.02% 1504 116 3.59088e+12 4664 3.59090e+12 3.59032e+12 19057937 0.02% 1505 117 3.59088e+12 4527 3.59090e+12 3.59032e+12 19065677 0.02% 1507 117 3.59090e+12 4296 3.59090e+12 3.59032e+12 19070466 0.02% 1509 115 cutoff 3.59090e+12 3.59032e+12 19073394 0.02% 1510 116 3.59050e+12 4254 3.59090e+12 3.59033e+12 19096447 0.02% 1511 117 3.59061e+12 4242 3.59090e+12 3.59033e+12 19129979 0.02% 1512 118 3.59070e+12 5854 3.59090e+12 3.59033e+12 19141759 0.02% 1513 119 3.59079e+12 2796 3.59090e+12 3.59033e+12 19151100 0.02% Elapsed real time = 350167.93 sec. (tree size = 177.07 MB, solutions = 8) Nodefile size = 50.36 MB (22.70 MB after compression) 1514 120 3.59085e+12 2790 3.59090e+12 3.59033e+12 19161672 0.02% 1516 118 cutoff 3.59090e+12 3.59033e+12 19169623 0.02% 1517 117 cutoff 3.59090e+12 3.59033e+12 19174857 0.02% 1518 118 3.59071e+12 2833 3.59090e+12 3.59033e+12 19222219 0.02% 1519 119 3.59076e+12 5021 3.59090e+12 3.59033e+12 19232671 0.02% 1520 120 3.59083e+12 3260 3.59090e+12 3.59033e+12 19240386 0.02% 1521 119 cutoff 3.59090e+12 3.59033e+12 19248172 0.02% 1523 119 3.59053e+12 3977 3.59090e+12 3.59033e+12 19276539 0.02% 1524 120 3.59064e+12 5104 3.59090e+12 3.59033e+12 19309564 0.02% 1525 121 3.59077e+12 5154 3.59090e+12 3.59033e+12 19331206 0.02% Elapsed real time = 352230.55 sec. (tree size = 180.31 MB, solutions = 8) Nodefile size = 53.42 MB (24.15 MB after compression) 1527 121 3.59087e+12 4850 3.59090e+12 3.59033e+12 19349901 0.02% 1530 118 cutoff 3.59090e+12 3.59034e+12 19359057 0.02% 1531 117 cutoff 3.59090e+12 3.59034e+12 19363710 0.02% 1532 116 cutoff 3.59090e+12 3.59034e+12 19371746 0.02% 1533 115 cutoff 3.59090e+12 3.59036e+12 19391794 0.02% 1534 114 cutoff 3.59090e+12 3.59036e+12 19407849 0.02% 1535 113 cutoff 3.59090e+12 3.59037e+12 19422975 0.01% 1537 111 cutoff 3.59090e+12 3.59039e+12 19474353 0.01% 1538 110 cutoff 3.59090e+12 3.59039e+12 19483299 0.01% 1539 109 cutoff 3.59090e+12 3.59040e+12 19488930 0.01% Elapsed real time = 353329.47 sec. (tree size = 164.46 MB, solutions = 8) Nodefile size = 53.42 MB (24.15 MB after compression) 1540 110 3.59070e+12 6120 3.59090e+12 3.59041e+12 19523908 0.01% 1541 111 3.59073e+12 6078 3.59090e+12 3.59041e+12 19541855 0.01% 1543 111 3.59083e+12 4825 3.59090e+12 3.59041e+12 19567186 0.01% 1544 110 cutoff 3.59090e+12 3.59041e+12 19575229 0.01% 1546 108 cutoff 3.59090e+12 3.59041e+12 19593481 0.01% 1547 107 cutoff 3.59090e+12 3.59041e+12 19597679 0.01% 1548 106 cutoff 3.59090e+12 3.59042e+12 19609918 0.01% 1550 104 cutoff 3.59090e+12 3.59045e+12 19640967 0.01% 1551 105 3.59077e+12 6379 3.59090e+12 3.59049e+12 19680064 0.01% 1552 106 3.59088e+12 4903 3.59090e+12 3.59049e+12 19713118 0.01% Elapsed real time = 356324.76 sec. (tree size = 158.60 MB, solutions = 8) Nodefile size = 53.42 MB (24.15 MB after compression) 1555 103 cutoff 3.59090e+12 3.59049e+12 19717858 0.01% 1556 102 cutoff 3.59090e+12 3.59050e+12 19721409 0.01% 1557 101 cutoff 3.59090e+12 3.59053e+12 19726637 0.01% 1559 99 cutoff 3.59090e+12 3.59054e+12 19731780 0.01% 1561 97 cutoff 3.59090e+12 3.59054e+12 19765081 0.01% 1563 95 cutoff 3.59090e+12 3.59055e+12 19771479 0.01% 1564 94 cutoff 3.59090e+12 3.59055e+12 19776181 0.01% 1565 93 cutoff 3.59090e+12 3.59056e+12 19780299 0.01% 1567 91 cutoff 3.59090e+12 3.59056e+12 19784414 0.01% 1568 90 cutoff 3.59090e+12 3.59056e+12 19788857 0.01% Elapsed real time = 356715.65 sec. (tree size = 135.78 MB, solutions = 8) Nodefile size = 53.42 MB (24.15 MB after compression) 1571 87 cutoff 3.59090e+12 3.59056e+12 19796209 0.01% 1572 86 cutoff 3.59090e+12 3.59057e+12 19804406 0.01% 1574 86 3.59089e+12 4581 3.59090e+12 3.59057e+12 19835680 0.01% 1577 83 cutoff 3.59090e+12 3.59058e+12 19842117 0.01% 1578 84 3.59064e+12 6540 3.59090e+12 3.59058e+12 19856217 0.01% 1579 83 cutoff 3.59090e+12 3.59058e+12 19869982 0.01% 1580 82 cutoff 3.59090e+12 3.59058e+12 19901099 0.01% 1582 80 cutoff 3.59090e+12 3.59061e+12 19907094 0.01% 1583 79 cutoff 3.59090e+12 3.59062e+12 19911053 0.01% 1584 78 cutoff 3.59090e+12 3.59063e+12 19917086 0.01% Elapsed real time = 358044.79 sec. (tree size = 117.49 MB, solutions = 8) Nodefile size = 53.42 MB (24.15 MB after compression) 1585 77 cutoff 3.59090e+12 3.59064e+12 19925527 0.01% 1586 76 cutoff 3.59090e+12 3.59065e+12 19930867 0.01% 1587 75 cutoff 3.59090e+12 3.59067e+12 19935493 0.01% 1589 75 3.59068e+12 5945 3.59090e+12 3.59068e+12 19937906 0.01% 1590 76 3.59076e+12 5687 3.59090e+12 3.59068e+12 19956582 0.01% 1591 77 3.59089e+12 5533 3.59090e+12 3.59068e+12 19978591 0.01% 1594 74 cutoff 3.59090e+12 3.59068e+12 19988057 0.01% 1596 72 cutoff 3.59090e+12 3.59069e+12 19995278 0.01% 1598 70 cutoff 3.59090e+12 3.59069e+12 19997844 0.01% 1600 68 cutoff 3.59090e+12 3.59070e+12 20001857 0.01% Elapsed real time = 358733.32 sec. (tree size = 102.25 MB, solutions = 8) Nodefile size = 53.42 MB (24.15 MB after compression) 1602 66 cutoff 3.59090e+12 3.59072e+12 20005243 0.01% 1605 63 cutoff 3.59090e+12 3.59074e+12 20008760 0.00% 1608 60 cutoff 3.59090e+12 3.59076e+12 20012014 0.00% 1609 59 cutoff 3.59090e+12 3.59076e+12 20018968 0.00% 1610 60 3.59086e+12 4244 3.59090e+12 3.59076e+12 20030329 0.00% 1612 58 cutoff 3.59090e+12 3.59076e+12 20033013 0.00% 1614 56 cutoff 3.59090e+12 3.59077e+12 20035829 0.00% 1616 54 cutoff 3.59090e+12 3.59077e+12 20047427 0.00% 1619 51 cutoff 3.59090e+12 3.59077e+12 20053653 0.00% 1620 52 3.59083e+12 4396 3.59090e+12 3.59077e+12 20061387 0.00% Elapsed real time = 359152.79 sec. (tree size = 76.32 MB, solutions = 8) Nodefile size = 53.42 MB (24.15 MB after compression) 1621 51 cutoff 3.59090e+12 3.59077e+12 20071629 0.00% 1624 48 cutoff 3.59090e+12 3.59078e+12 20075163 0.00% 1628 44 cutoff 3.59090e+12 3.59078e+12 20078103 0.00% 1631 41 cutoff 3.59090e+12 3.59079e+12 20091216 0.00% 1633 41 3.59079e+12 6050 3.59090e+12 3.59079e+12 20095834 0.00% 1634 40 cutoff 3.59090e+12 3.59079e+12 20101261 0.00% 1638 38 3.59087e+12 5408 3.59090e+12 3.59080e+12 20122822 0.00% 1641 35 cutoff 3.59090e+12 3.59081e+12 20130713 0.00% 1644 32 cutoff 3.59090e+12 3.59082e+12 20132649 0.00% 1645 31 cutoff 3.59090e+12 3.59083e+12 20135014 0.00% Elapsed real time = 359877.87 sec. (tree size = 45.82 MB, solutions = 8) Nodefile size = 35.11 MB (16.29 MB after compression) 1649 27 cutoff 3.59090e+12 3.59084e+12 20136265 0.00% 1653 23 cutoff 3.59090e+12 3.59085e+12 20138480 0.00% 1659 17 cutoff 3.59090e+12 3.59086e+12 20140930 0.00% 1666 12 3.59089e+12 2619 3.59090e+12 3.59087e+12 20149528 0.00% 1667 11 cutoff 3.59090e+12 3.59087e+12 20151987 0.00% 1673 5 cutoff 3.59090e+12 3.59088e+12 20156471 0.00%