Log started (V12.4.0.0) Wed Dec 12 16:19:27 2012 Problem '1GVP.matrix.52p.17aa.usingEref_self_digit8.wcsp.lp' read. Read time = 22.79 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.95 sec. Elapsed time 10.29 sec. for 0% of probing. Elapsed time 20.67 sec. for 0% of probing. Elapsed time 30.83 sec. for 0% of probing. Elapsed time 42.60 sec. for 0% of probing. Elapsed time 55.08 sec. for 0% of probing. Elapsed time 66.37 sec. for 0% of probing. Elapsed time 80.18 sec. for 0% of probing. Elapsed time 92.25 sec. for 0% of probing. Elapsed time 102.48 sec. for 0% of probing. Elapsed time 115.09 sec. for 0% of probing. Elapsed time 128.44 sec. for 0% of probing. Elapsed time 140.47 sec. for 0% of probing. Elapsed time 152.42 sec. for 0% of probing. Elapsed time 163.08 sec. for 0% of probing. Elapsed time 174.35 sec. for 0% of probing. Elapsed time 186.18 sec. for 0% of probing. Elapsed time 198.39 sec. for 0% of probing. Elapsed time 210.54 sec. for 0% of probing. Elapsed time 224.31 sec. for 0% of probing. Elapsed time 236.37 sec. for 0% of probing. Probing time = 245.63 sec. Clique table members: 28512720. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 18809.68 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 5.19630e+12 2414 5.19630e+12 1553136 * 0+ 0 3.07446e+18 5.19630e+12 1553136 100.00% 0 0 5.19631e+12 2414 3.07446e+18 ZeroHalf: 93 1560831 100.00% * 0+ 0 5.20670e+12 5.19631e+12 1560831 0.20% 0 0 5.19632e+12 2448 5.20670e+12 ZeroHalf: 99 1568212 0.20% * 0+ 0 5.20551e+12 5.19632e+12 1568212 0.18% Repeating presolve. Presolve has eliminated 31977 rows and 2137958 columns... Tried aggregator 2 times. Aggregator has done 33 substitutions... MIP Presolve eliminated 31977 rows and 2137958 columns. Aggregator did 33 substitutions. Reduced MIP has 163168 rows, 4906132 columns, and 9972214 nonzeros. Reduced MIP has 4906132 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 10.23 sec. for 0% of probing (45 vars fixed). Elapsed time 26.45 sec. for 0% of probing (45 vars fixed). Elapsed time 38.79 sec. for 0% of probing (47 vars fixed). Elapsed time 57.03 sec. for 0% of probing (69 vars fixed). Elapsed time 67.82 sec. for 0% of probing (124 vars fixed). Elapsed time 81.17 sec. for 0% of probing (124 vars fixed). Elapsed time 98.76 sec. for 0% of probing (126 vars fixed). Elapsed time 108.98 sec. for 0% of probing (128 vars fixed). Elapsed time 127.54 sec. for 0% of probing (129 vars fixed). Elapsed time 151.35 sec. for 0% of probing (129 vars fixed). Elapsed time 170.97 sec. for 0% of probing (129 vars fixed). Elapsed time 188.54 sec. for 0% of probing (129 vars fixed). Elapsed time 198.62 sec. for 0% of probing (150 vars fixed). Elapsed time 208.71 sec. for 0% of probing (196 vars fixed). Elapsed time 218.78 sec. for 0% of probing (212 vars fixed). Elapsed time 228.97 sec. for 0% of probing (212 vars fixed). Elapsed time 239.04 sec. for 0% of probing (220 vars fixed). Elapsed time 249.07 sec. for 0% of probing (242 vars fixed). Elapsed time 259.25 sec. for 0% of probing (242 vars fixed). Elapsed time 269.37 sec. for 0% of probing (242 vars fixed). Elapsed time 279.39 sec. for 0% of probing (242 vars fixed). Elapsed time 289.52 sec. for 0% of probing (242 vars fixed). Elapsed time 299.56 sec. for 0% of probing (242 vars fixed). Elapsed time 309.61 sec. for 0% of probing (242 vars fixed). Elapsed time 319.67 sec. for 0% of probing (242 vars fixed). Elapsed time 329.77 sec. for 0% of probing (242 vars fixed). Elapsed time 339.80 sec. for 0% of probing (242 vars fixed). Elapsed time 349.81 sec. for 0% of probing (242 vars fixed). Elapsed time 359.89 sec. for 0% of probing (242 vars fixed). Elapsed time 369.95 sec. for 0% of probing (242 vars fixed). Elapsed time 380.02 sec. for 0% of probing (242 vars fixed). Elapsed time 390.07 sec. for 0% of probing (242 vars fixed). Elapsed time 400.13 sec. for 0% of probing (242 vars fixed). Elapsed time 410.20 sec. for 0% of probing (242 vars fixed). Elapsed time 420.21 sec. for 0% of probing (242 vars fixed). Elapsed time 430.27 sec. for 0% of probing (242 vars fixed). Elapsed time 440.30 sec. for 0% of probing (242 vars fixed). Elapsed time 450.41 sec. for 0% of probing (242 vars fixed). Elapsed time 460.51 sec. for 0% of probing (242 vars fixed). Elapsed time 470.54 sec. for 0% of probing (242 vars fixed). Elapsed time 480.60 sec. for 0% of probing (242 vars fixed). Elapsed time 490.66 sec. for 0% of probing (242 vars fixed). Elapsed time 500.75 sec. for 0% of probing (242 vars fixed). Elapsed time 510.76 sec. for 0% of probing (242 vars fixed). Elapsed time 520.83 sec. for 0% of probing (242 vars fixed). Elapsed time 530.86 sec. for 0% of probing (242 vars fixed). Elapsed time 540.94 sec. for 0% of probing (242 vars fixed). Elapsed time 551.13 sec. for 0% of probing (242 vars fixed). Elapsed time 561.16 sec. for 0% of probing (242 vars fixed). Elapsed time 571.19 sec. for 0% of probing (242 vars fixed). Elapsed time 581.21 sec. for 0% of probing (242 vars fixed). Elapsed time 591.25 sec. for 0% of probing (242 vars fixed). Elapsed time 601.40 sec. for 0% of probing (242 vars fixed). Elapsed time 611.43 sec. for 0% of probing (242 vars fixed). Elapsed time 621.47 sec. for 0% of probing (242 vars fixed). Elapsed time 631.54 sec. for 0% of probing (242 vars fixed). Elapsed time 641.56 sec. for 0% of probing (242 vars fixed). Elapsed time 651.65 sec. for 0% of probing (242 vars fixed). Elapsed time 661.71 sec. for 0% of probing (242 vars fixed). Elapsed time 671.75 sec. for 0% of probing (242 vars fixed). Elapsed time 681.77 sec. for 0% of probing (242 vars fixed). Elapsed time 691.81 sec. for 0% of probing (242 vars fixed). Elapsed time 701.82 sec. for 0% of probing (242 vars fixed). Elapsed time 711.88 sec. for 0% of probing (242 vars fixed). Elapsed time 721.93 sec. for 0% of probing (242 vars fixed). Elapsed time 731.97 sec. for 0% of probing (242 vars fixed). Elapsed time 742.02 sec. for 0% of probing (242 vars fixed). Elapsed time 752.04 sec. for 0% of probing (242 vars fixed). Elapsed time 762.13 sec. for 0% of probing (242 vars fixed). Elapsed time 772.19 sec. for 0% of probing (242 vars fixed). Elapsed time 782.28 sec. for 0% of probing (242 vars fixed). Probing fixed 242 vars, tightened 0 bounds. Probing time = 792.11 sec. Presolve has eliminated 0 rows and 242 columns... Tried aggregator 1 time. Presolve has eliminated 0 rows and 242 columns... MIP Presolve eliminated 0 rows and 242 columns. Reduced MIP has 163168 rows, 4905890 columns, and 9971730 nonzeros. Reduced MIP has 4905890 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 882.35 sec. Elapsed time 35.24 sec. for 0% of probing. Elapsed time 45.35 sec. for 0% of probing. Elapsed time 62.15 sec. for 0% of probing. Elapsed time 92.25 sec. for 0% of probing. Elapsed time 103.49 sec. for 0% of probing. Elapsed time 129.04 sec. for 0% of probing. Elapsed time 156.02 sec. for 0% of probing. Elapsed time 176.22 sec. for 0% of probing. Elapsed time 189.62 sec. for 0% of probing. Elapsed time 201.56 sec. for 0% of probing. Elapsed time 212.09 sec. for 0% of probing. Elapsed time 227.85 sec. for 0% of probing. Elapsed time 243.47 sec. for 0% of probing. Elapsed time 265.69 sec. for 0% of probing. Elapsed time 278.59 sec. for 0% of probing. Elapsed time 300.56 sec. for 0% of probing. Probing time = 304.73 sec. Clique table members: 19825030. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 3930.36 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 5.20551e+12 5.19632e+12 2752491 0.18% 0 0 5.19632e+12 2448 5.20551e+12 5.19632e+12 2752491 0.18% Heuristic still looking. Heuristic still looking. * 0+ 0 5.20464e+12 5.19632e+12 2752491 0.16% 0 2 5.19632e+12 2448 5.20464e+12 5.19632e+12 2752491 0.16% Elapsed real time = 25811.20 sec. (tree size = 0.00 MB, solutions = 4) 1 3 5.19632e+12 2610 5.20464e+12 5.19632e+12 2754322 0.16% 2 4 5.19637e+12 2410 5.20464e+12 5.19632e+12 2759731 0.16% 3 5 5.19645e+12 2360 5.20464e+12 5.19632e+12 2767142 0.16% 4 6 5.19646e+12 2294 5.20464e+12 5.19632e+12 2771658 0.16% 5 7 5.19647e+12 2294 5.20464e+12 5.19632e+12 2772503 0.16% 6 8 5.19648e+12 2250 5.20464e+12 5.19632e+12 2774955 0.16% 7 9 5.19651e+12 2250 5.20464e+12 5.19632e+12 2780451 0.16% 8 10 5.19672e+12 4093 5.20464e+12 5.19632e+12 2800604 0.16% 9 11 5.19672e+12 2156 5.20464e+12 5.19632e+12 2802416 0.16% 10 12 5.19673e+12 2156 5.20464e+12 5.19632e+12 2805611 0.16% Elapsed real time = 26520.24 sec. (tree size = 27.53 MB, solutions = 4) 11 13 5.19677e+12 2106 5.20464e+12 5.19632e+12 2810670 0.16% 12 14 5.19677e+12 2106 5.20464e+12 5.19632e+12 2813064 0.16% 13 15 5.19678e+12 2054 5.20464e+12 5.19632e+12 2816149 0.16% 14 16 5.19680e+12 2000 5.20464e+12 5.19632e+12 2820254 0.16% 15 17 5.19682e+12 2054 5.20464e+12 5.19632e+12 2820875 0.16% 16 18 5.19686e+12 1944 5.20464e+12 5.19632e+12 2823462 0.16% 18 20 5.19688e+12 1886 5.20464e+12 5.19632e+12 2830327 0.16% 19 21 5.19690e+12 1886 5.20464e+12 5.19632e+12 2835482 0.16% * 20+ 20 5.19952e+12 5.19632e+12 2844942 0.06% 20 22 5.19691e+12 1826 5.19952e+12 5.19632e+12 2844942 0.06% 21 23 5.19694e+12 1764 5.19952e+12 5.19632e+12 2850787 0.06% Elapsed real time = 26907.15 sec. (tree size = 64.30 MB, solutions = 5) 22 24 5.19697e+12 1826 5.19952e+12 5.19632e+12 2852966 0.06% 23 25 5.19696e+12 1634 5.19952e+12 5.19632e+12 2854168 0.06% 24 26 5.19697e+12 1634 5.19952e+12 5.19632e+12 2857424 0.06% 25 27 5.19720e+12 1566 5.19952e+12 5.19632e+12 2884798 0.06% 26 28 5.19722e+12 1566 5.19952e+12 5.19632e+12 2886905 0.06% 27 29 5.19755e+12 1350 5.19952e+12 5.19632e+12 2938665 0.06% 28 30 5.19756e+12 1350 5.19952e+12 5.19632e+12 2939338 0.06% 29 31 5.19789e+12 1274 5.19952e+12 5.19632e+12 2996512 0.06% * 30+ 30 5.19906e+12 5.19632e+12 3005821 0.05% * 30+ 30 5.19836e+12 5.19632e+12 3005821 0.04% 30 32 5.19796e+12 1841 5.19836e+12 5.19632e+12 3005821 0.04% * 31 31 integral 0 5.19809e+12 5.19632e+12 3015180 0.03% Elapsed real time = 28420.13 sec. (tree size = 89.51 MB, solutions = 8) 32 32 5.19801e+12 1274 5.19809e+12 5.19632e+12 3020953 0.03% 33 33 5.19803e+12 1796 5.19809e+12 5.19632e+12 3022032 0.03% 34 32 cutoff 5.19809e+12 5.19632e+12 3025032 0.03% 35 33 5.19808e+12 686 5.19809e+12 5.19632e+12 3028445 0.03% 37 31 cutoff 5.19809e+12 5.19632e+12 3028782 0.03% 38 32 5.19637e+12 6413 5.19809e+12 5.19632e+12 3056432 0.03% 39 33 5.19647e+12 5797 5.19809e+12 5.19632e+12 3069043 0.03% 40 34 5.19648e+12 2250 5.19809e+12 5.19632e+12 3075142 0.03% 41 35 5.19651e+12 7064 5.19809e+12 5.19632e+12 3083692 0.03% 42 36 5.19672e+12 3159 5.19809e+12 5.19632e+12 3112508 0.03% Elapsed real time = 30354.31 sec. (tree size = 106.03 MB, solutions = 8) 43 37 5.19672e+12 2156 5.19809e+12 5.19632e+12 3113299 0.03% 44 38 5.19673e+12 2156 5.19809e+12 5.19632e+12 3115230 0.03% 45 39 5.19677e+12 2567 5.19809e+12 5.19632e+12 3122392 0.03% 46 40 5.19673e+12 2156 5.19809e+12 5.19632e+12 3122964 0.03% 47 41 5.19678e+12 2106 5.19809e+12 5.19632e+12 3136568 0.03% 48 42 5.19679e+12 3944 5.19809e+12 5.19632e+12 3139416 0.03% 49 43 5.19685e+12 2358 5.19809e+12 5.19632e+12 3145492 0.03% 50 44 5.19680e+12 2343 5.19809e+12 5.19632e+12 3148589 0.03% 51 45 5.19684e+12 2292 5.19809e+12 5.19632e+12 3153053 0.03% 53 47 5.19686e+12 5421 5.19809e+12 5.19632e+12 3159775 0.03% Elapsed real time = 31257.05 sec. (tree size = 137.17 MB, solutions = 8) Nodefile size = 10.49 MB (3.29 MB after compression) 54 48 5.19696e+12 2377 5.19809e+12 5.19632e+12 3174811 0.03% 55 49 5.19696e+12 2102 5.19809e+12 5.19632e+12 3175040 0.03% 56 50 5.19698e+12 2044 5.19809e+12 5.19632e+12 3182475 0.03% 57 51 5.19699e+12 2044 5.19809e+12 5.19632e+12 3187926 0.03% 58 52 5.19699e+12 1984 5.19809e+12 5.19632e+12 3190810 0.03% 59 53 5.19702e+12 1922 5.19809e+12 5.19632e+12 3197169 0.03% 60 54 5.19705e+12 1862 5.19809e+12 5.19632e+12 3204037 0.03% 61 55 5.19709e+12 1796 5.19809e+12 5.19632e+12 3210064 0.03% 62 56 5.19712e+12 1634 5.19809e+12 5.19632e+12 3212400 0.03% 63 57 5.19715e+12 1634 5.19809e+12 5.19632e+12 3215238 0.03% Elapsed real time = 31968.15 sec. (tree size = 168.62 MB, solutions = 8) Nodefile size = 41.99 MB (14.69 MB after compression) 64 58 5.19737e+12 1566 5.19809e+12 5.19632e+12 3235832 0.03% 65 59 5.19739e+12 1566 5.19809e+12 5.19632e+12 3237930 0.03% 66 60 5.19772e+12 1424 5.19809e+12 5.19632e+12 3288576 0.03% 67 61 5.19773e+12 1424 5.19809e+12 5.19632e+12 3290812 0.03% 68 62 5.19808e+12 1350 5.19809e+12 5.19632e+12 3335519 0.03% 70 60 cutoff 5.19809e+12 5.19632e+12 3336916 0.03% 71 61 5.19640e+12 2528 5.19809e+12 5.19637e+12 3344232 0.03% 72 62 5.19642e+12 2294 5.19809e+12 5.19637e+12 3351371 0.03% 73 63 5.19642e+12 2294 5.19809e+12 5.19637e+12 3352415 0.03% 74 64 5.19646e+12 2250 5.19809e+12 5.19637e+12 3359051 0.03% Elapsed real time = 32926.29 sec. (tree size = 194.96 MB, solutions = 8) Nodefile size = 68.45 MB (24.29 MB after compression) 75 65 5.19649e+12 2250 5.19809e+12 5.19637e+12 3363431 0.03% 76 66 5.19650e+12 2204 5.19809e+12 5.19637e+12 3368452 0.03% 77 67 5.19651e+12 2156 5.19809e+12 5.19637e+12 3369867 0.03% 78 68 5.19651e+12 2156 5.19809e+12 5.19637e+12 3374835 0.03% 79 69 5.19651e+12 2156 5.19809e+12 5.19637e+12 3375378 0.03% 80 70 5.19652e+12 2156 5.19809e+12 5.19637e+12 3377624 0.03% 81 71 5.19652e+12 2156 5.19809e+12 5.19637e+12 3379132 0.03% 82 72 5.19652e+12 2106 5.19809e+12 5.19637e+12 3379496 0.03% 84 74 5.19653e+12 2106 5.19809e+12 5.19637e+12 3380975 0.03% 85 75 5.19655e+12 2106 5.19809e+12 5.19637e+12 3382504 0.03% Elapsed real time = 33524.68 sec. (tree size = 228.88 MB, solutions = 8) Nodefile size = 102.60 MB (36.34 MB after compression) 86 76 5.19657e+12 2054 5.19809e+12 5.19637e+12 3385770 0.03% 87 77 5.19660e+12 2000 5.19809e+12 5.19637e+12 3390667 0.03% 88 78 5.19660e+12 2054 5.19809e+12 5.19637e+12 3391694 0.03% 89 79 5.19666e+12 2054 5.19809e+12 5.19637e+12 3394323 0.03% 90 80 5.19668e+12 2054 5.19809e+12 5.19637e+12 3396381 0.03% 91 81 5.19669e+12 2054 5.19809e+12 5.19637e+12 3397000 0.03% 92 82 5.19672e+12 2000 5.19809e+12 5.19637e+12 3404433 0.03% 93 83 5.19673e+12 2000 5.19809e+12 5.19637e+12 3405730 0.03% 94 84 5.19675e+12 2000 5.19809e+12 5.19637e+12 3408813 0.03% 95 85 5.19675e+12 2054 5.19809e+12 5.19637e+12 3409516 0.03% Elapsed real time = 33792.79 sec. (tree size = 259.91 MB, solutions = 8) Nodefile size = 133.49 MB (47.20 MB after compression) 96 86 5.19678e+12 2054 5.19809e+12 5.19637e+12 3411958 0.03% 97 87 5.19679e+12 1944 5.19809e+12 5.19637e+12 3412396 0.03% 98 88 5.19679e+12 1944 5.19809e+12 5.19637e+12 3412626 0.03% 99 89 5.19680e+12 1944 5.19809e+12 5.19637e+12 3421837 0.03% 100 90 5.19680e+12 1944 5.19809e+12 5.19637e+12 3426908 0.03% 101 91 5.19681e+12 2364 5.19809e+12 5.19637e+12 3429832 0.03% 102 92 5.19681e+12 1944 5.19809e+12 5.19637e+12 3430158 0.03% 103 93 5.19681e+12 1944 5.19809e+12 5.19637e+12 3434691 0.03% 105 95 5.19681e+12 1944 5.19809e+12 5.19637e+12 3435202 0.03% 107 97 5.19682e+12 1944 5.19809e+12 5.19637e+12 3437450 0.03% Elapsed real time = 34159.25 sec. (tree size = 297.45 MB, solutions = 8) Nodefile size = 171.01 MB (61.22 MB after compression) 108 98 5.19682e+12 1944 5.19809e+12 5.19637e+12 3440280 0.03% 110 100 5.19683e+12 1944 5.19809e+12 5.19637e+12 3443762 0.03% 111 101 5.19685e+12 1944 5.19809e+12 5.19637e+12 3446947 0.03% 112 102 5.19687e+12 2000 5.19809e+12 5.19637e+12 3453233 0.03% 115 105 5.19688e+12 1944 5.19809e+12 5.19637e+12 3454641 0.03% 117 107 5.19689e+12 1886 5.19809e+12 5.19637e+12 3458526 0.03% 120 110 5.19690e+12 1886 5.19809e+12 5.19637e+12 3461732 0.03% 122 112 5.19692e+12 1886 5.19809e+12 5.19637e+12 3465427 0.03% 124 114 5.19695e+12 1764 5.19809e+12 5.19637e+12 3469616 0.03% 125 115 5.19697e+12 1634 5.19809e+12 5.19637e+12 3472473 0.03% Elapsed real time = 34461.91 sec. (tree size = 353.95 MB, solutions = 8) Nodefile size = 227.49 MB (82.39 MB after compression) 126 116 5.19698e+12 1634 5.19809e+12 5.19637e+12 3476071 0.03% 127 117 5.19701e+12 2667 5.19809e+12 5.19637e+12 3493105 0.03% 128 118 5.19705e+12 1634 5.19809e+12 5.19637e+12 3496609 0.03% 130 120 5.19710e+12 1634 5.19809e+12 5.19637e+12 3502531 0.03% 131 121 5.19712e+12 1634 5.19809e+12 5.19637e+12 3504412 0.03% 134 124 5.19713e+12 1634 5.19809e+12 5.19637e+12 3505517 0.03% 138 128 5.19716e+12 1634 5.19809e+12 5.19637e+12 3508000 0.03% 141 131 5.19718e+12 1634 5.19809e+12 5.19637e+12 3508875 0.03% 145 135 5.19719e+12 1634 5.19809e+12 5.19637e+12 3512464 0.03% 147 137 5.19721e+12 1634 5.19809e+12 5.19637e+12 3514527 0.03% Elapsed real time = 35069.40 sec. (tree size = 423.93 MB, solutions = 8) Nodefile size = 297.42 MB (109.33 MB after compression) 150 140 5.19721e+12 1634 5.19809e+12 5.19637e+12 3514760 0.03% 155 145 5.19722e+12 1634 5.19809e+12 5.19637e+12 3515869 0.03% 160 150 5.19724e+12 1634 5.19809e+12 5.19637e+12 3516926 0.03% 161 151 5.19727e+12 2013 5.19809e+12 5.19637e+12 3523410 0.03% 162 152 5.19740e+12 1700 5.19809e+12 5.19637e+12 3540240 0.03% 163 153 5.19741e+12 1634 5.19809e+12 5.19637e+12 3545085 0.03% 165 155 5.19750e+12 1634 5.19809e+12 5.19637e+12 3548278 0.03% 170 160 5.19755e+12 1634 5.19809e+12 5.19637e+12 3549300 0.03% 171 161 5.19756e+12 1634 5.19809e+12 5.19637e+12 3550773 0.03% 179 169 5.19758e+12 1634 5.19809e+12 5.19637e+12 3551474 0.03% Elapsed real time = 35448.80 sec. (tree size = 528.65 MB, solutions = 8) Nodefile size = 401.99 MB (151.06 MB after compression) 183 173 5.19758e+12 1634 5.19809e+12 5.19637e+12 3551705 0.03% 187 177 5.19764e+12 1634 5.19809e+12 5.19637e+12 3554791 0.03% 190 180 5.19768e+12 1634 5.19809e+12 5.19637e+12 3556620 0.03% 192 182 5.19775e+12 1634 5.19809e+12 5.19637e+12 3562444 0.03% 195 185 5.19780e+12 1566 5.19809e+12 5.19637e+12 3567906 0.03% 196 186 5.19788e+12 1566 5.19809e+12 5.19637e+12 3576483 0.03% 198 188 5.19792e+12 1566 5.19809e+12 5.19637e+12 3580698 0.03% 200 190 5.19795e+12 1566 5.19809e+12 5.19637e+12 3582415 0.03% 202 192 5.19795e+12 1566 5.19809e+12 5.19637e+12 3585052 0.03% 203 193 5.19804e+12 1566 5.19809e+12 5.19637e+12 3600617 0.03% Elapsed real time = 35776.45 sec. (tree size = 613.24 MB, solutions = 8) Nodefile size = 486.29 MB (183.13 MB after compression) 205 195 5.19805e+12 1566 5.19809e+12 5.19637e+12 3606103 0.03% 209 199 5.19806e+12 1566 5.19809e+12 5.19637e+12 3608888 0.03% 212 202 5.19807e+12 1566 5.19809e+12 5.19637e+12 3610754 0.03% 217 205 cutoff 5.19809e+12 5.19637e+12 3613926 0.03% 219 205 5.19640e+12 5771 5.19809e+12 5.19637e+12 3618853 0.03% 220 206 5.19642e+12 2294 5.19809e+12 5.19637e+12 3625040 0.03% 221 207 5.19642e+12 2294 5.19809e+12 5.19637e+12 3625912 0.03% 222 208 5.19646e+12 2250 5.19809e+12 5.19637e+12 3632273 0.03% 223 209 5.19649e+12 2250 5.19809e+12 5.19637e+12 3636155 0.03% 225 211 5.19651e+12 2156 5.19809e+12 5.19637e+12 3639552 0.03% Elapsed real time = 36104.76 sec. (tree size = 675.95 MB, solutions = 8) Nodefile size = 549.63 MB (205.08 MB after compression) 226 212 5.19651e+12 2156 5.19809e+12 5.19637e+12 3641458 0.03% 228 214 5.19652e+12 2156 5.19809e+12 5.19637e+12 3643922 0.03% 230 216 5.19652e+12 2106 5.19809e+12 5.19637e+12 3645426 0.03% 233 219 5.19655e+12 2106 5.19809e+12 5.19637e+12 3648291 0.03% 234 220 5.19657e+12 2054 5.19809e+12 5.19637e+12 3650673 0.03% 235 221 5.19660e+12 2008 5.19809e+12 5.19637e+12 3654561 0.03% 237 223 5.19666e+12 2054 5.19809e+12 5.19637e+12 3657357 0.03% 238 224 5.19667e+12 2000 5.19809e+12 5.19637e+12 3659253 0.03% 240 226 5.19672e+12 2000 5.19809e+12 5.19637e+12 3666493 0.03% 244 230 5.19675e+12 1944 5.19809e+12 5.19637e+12 3675207 0.03% Elapsed real time = 36477.45 sec. (tree size = 734.60 MB, solutions = 8) Nodefile size = 608.49 MB (226.75 MB after compression) 245 231 5.19677e+12 2000 5.19809e+12 5.19637e+12 3682283 0.03% 247 233 5.19677e+12 3657 5.19809e+12 5.19637e+12 3687218 0.03% 250 236 5.19678e+12 1886 5.19809e+12 5.19637e+12 3690819 0.03% 251 237 5.19678e+12 2197 5.19809e+12 5.19637e+12 3692113 0.03% 252 238 5.19678e+12 1826 5.19809e+12 5.19637e+12 3694537 0.03% 255 241 5.19680e+12 1886 5.19809e+12 5.19637e+12 3698260 0.03% 256 242 5.19680e+12 1886 5.19809e+12 5.19637e+12 3702177 0.03% 258 244 5.19683e+12 1886 5.19809e+12 5.19637e+12 3706016 0.03% 260 246 5.19684e+12 1886 5.19809e+12 5.19637e+12 3709860 0.03% 263 249 5.19685e+12 1886 5.19809e+12 5.19637e+12 3713006 0.03% Elapsed real time = 36917.93 sec. (tree size = 793.79 MB, solutions = 8) Nodefile size = 667.66 MB (248.89 MB after compression) 266 252 5.19688e+12 1764 5.19809e+12 5.19637e+12 3717647 0.03% 267 253 5.19690e+12 1700 5.19809e+12 5.19637e+12 3721374 0.03% 269 255 5.19693e+12 1634 5.19809e+12 5.19637e+12 3723782 0.03% 270 256 5.19703e+12 1634 5.19809e+12 5.19637e+12 3734932 0.03% 273 259 5.19705e+12 1634 5.19809e+12 5.19637e+12 3737342 0.03% 276 262 5.19706e+12 1634 5.19809e+12 5.19637e+12 3739646 0.03% 280 266 5.19710e+12 1634 5.19809e+12 5.19637e+12 3741482 0.03% 281 267 5.19711e+12 1634 5.19809e+12 5.19637e+12 3742961 0.03% 286 272 5.19712e+12 1634 5.19809e+12 5.19637e+12 3746352 0.03% 288 274 5.19714e+12 1634 5.19809e+12 5.19637e+12 3749217 0.03% Elapsed real time = 37261.80 sec. (tree size = 872.76 MB, solutions = 8) Nodefile size = 746.57 MB (278.79 MB after compression) 292 278 5.19715e+12 1634 5.19809e+12 5.19637e+12 3749952 0.03% 297 283 5.19716e+12 1634 5.19809e+12 5.19637e+12 3751559 0.03% 299 285 5.19724e+12 1634 5.19809e+12 5.19637e+12 3761320 0.03% 300 286 5.19725e+12 1634 5.19809e+12 5.19637e+12 3763991 0.03% 301 287 5.19736e+12 1634 5.19809e+12 5.19637e+12 3778379 0.03% 302 288 5.19738e+12 1634 5.19809e+12 5.19637e+12 3783960 0.03% 303 289 5.19739e+12 1634 5.19809e+12 5.19637e+12 3787248 0.03% 304 290 5.19742e+12 1634 5.19809e+12 5.19637e+12 3790655 0.03% 306 292 5.19744e+12 1886 5.19809e+12 5.19637e+12 3794918 0.03% 307 293 5.19754e+12 1566 5.19809e+12 5.19637e+12 3821615 0.03% Elapsed real time = 37819.41 sec. (tree size = 933.90 MB, solutions = 8) Nodefile size = 807.60 MB (302.45 MB after compression) 308 294 5.19754e+12 1496 5.19809e+12 5.19637e+12 3823758 0.03% 309 295 5.19756e+12 1496 5.19809e+12 5.19637e+12 3827031 0.03% 310 296 5.19764e+12 1496 5.19809e+12 5.19637e+12 3834909 0.03% 311 297 5.19765e+12 1496 5.19809e+12 5.19637e+12 3836929 0.03% 314 300 5.19770e+12 1496 5.19809e+12 5.19637e+12 3839492 0.03% 317 303 5.19779e+12 1496 5.19809e+12 5.19637e+12 3851388 0.03% 318 304 5.19780e+12 1496 5.19809e+12 5.19637e+12 3854602 0.03% 320 306 5.19781e+12 1496 5.19809e+12 5.19637e+12 3861581 0.03% 326 312 5.19782e+12 1496 5.19809e+12 5.19637e+12 3863079 0.03% 329 315 5.19783e+12 1496 5.19809e+12 5.19637e+12 3865264 0.03% Elapsed real time = 38234.98 sec. (tree size = 1012.28 MB, solutions = 8) Nodefile size = 885.63 MB (331.39 MB after compression) 331 317 5.19784e+12 1496 5.19809e+12 5.19637e+12 3866059 0.03% 333 319 5.19786e+12 1496 5.19809e+12 5.19637e+12 3868691 0.03% 337 323 5.19787e+12 1496 5.19809e+12 5.19637e+12 3871957 0.03% 341 327 5.19788e+12 1496 5.19809e+12 5.19637e+12 3872298 0.03% 347 333 5.19789e+12 1496 5.19809e+12 5.19637e+12 3874149 0.03% 349 335 5.19789e+12 1496 5.19809e+12 5.19637e+12 3876067 0.03% 350 336 5.19790e+12 1496 5.19809e+12 5.19637e+12 3876290 0.03% 352 338 5.19790e+12 1496 5.19809e+12 5.19637e+12 3877340 0.03% 359 345 5.19792e+12 1496 5.19809e+12 5.19637e+12 3877821 0.03% 361 347 5.19792e+12 1496 5.19809e+12 5.19637e+12 3879286 0.03% Elapsed real time = 38449.05 sec. (tree size = 1128.84 MB, solutions = 8) Nodefile size = 1002.19 MB (369.14 MB after compression) 368 354 5.19793e+12 1496 5.19809e+12 5.19637e+12 3879749 0.03% 372 358 5.19794e+12 1496 5.19809e+12 5.19637e+12 3880014 0.03% 379 365 5.19795e+12 1496 5.19809e+12 5.19637e+12 3880421 0.03% 383 369 5.19795e+12 1496 5.19809e+12 5.19637e+12 3880877 0.03% 390 376 5.19797e+12 1496 5.19809e+12 5.19637e+12 3884941 0.03% 397 383 5.19799e+12 1496 5.19809e+12 5.19637e+12 3887600 0.03% 399 385 5.19800e+12 1496 5.19809e+12 5.19637e+12 3889490 0.03% 400 386 5.19800e+12 1424 5.19809e+12 5.19637e+12 3890363 0.03% 401 387 5.19802e+12 1424 5.19809e+12 5.19637e+12 3894914 0.03% 402 388 5.19806e+12 1424 5.19809e+12 5.19637e+12 3898997 0.03% Elapsed real time = 38677.95 sec. (tree size = 1278.18 MB, solutions = 8) Nodefile size = 1151.53 MB (418.05 MB after compression) 406 388 5.19642e+12 2336 5.19809e+12 5.19640e+12 3928486 0.03% 407 389 5.19645e+12 2336 5.19809e+12 5.19640e+12 3931792 0.03% 408 390 5.19647e+12 2294 5.19809e+12 5.19640e+12 3937189 0.03% 410 392 5.19651e+12 2250 5.19809e+12 5.19640e+12 3943296 0.03% 411 393 5.19654e+12 2250 5.19809e+12 5.19640e+12 3946302 0.03% 413 395 5.19656e+12 2156 5.19809e+12 5.19640e+12 3948601 0.03% 414 396 5.19656e+12 2310 5.19809e+12 5.19640e+12 3950616 0.03% 416 398 5.19657e+12 2156 5.19809e+12 5.19640e+12 3952841 0.03% 420 402 5.19658e+12 2106 5.19809e+12 5.19640e+12 3956309 0.03% 422 404 5.19662e+12 2054 5.19809e+12 5.19640e+12 3961251 0.03% Elapsed real time = 39594.66 sec. (tree size = 1328.14 MB, solutions = 8) Nodefile size = 1202.02 MB (436.47 MB after compression) 423 405 5.19665e+12 2000 5.19809e+12 5.19640e+12 3965560 0.03% 425 407 5.19671e+12 2054 5.19809e+12 5.19640e+12 3969780 0.03% 426 408 5.19672e+12 2000 5.19809e+12 5.19640e+12 3972302 0.03% 428 410 5.19677e+12 2000 5.19809e+12 5.19640e+12 3981759 0.03% 429 411 5.19678e+12 2000 5.19809e+12 5.19640e+12 3983950 0.03% 430 412 5.19680e+12 2000 5.19809e+12 5.19640e+12 3987420 0.03% 432 414 5.19683e+12 2054 5.19809e+12 5.19640e+12 3990499 0.03% 433 415 5.19684e+12 2148 5.19809e+12 5.19640e+12 3994039 0.03% 435 417 5.19685e+12 1944 5.19809e+12 5.19640e+12 4000344 0.03% 436 418 5.19687e+12 2000 5.19809e+12 5.19640e+12 4005555 0.03% Elapsed real time = 40059.62 sec. (tree size = 1371.78 MB, solutions = 8) Nodefile size = 1245.63 MB (452.72 MB after compression) 439 421 5.19688e+12 1944 5.19809e+12 5.19640e+12 4008320 0.03% 441 423 5.19688e+12 1886 5.19809e+12 5.19640e+12 4012160 0.03% 442 424 5.19688e+12 1886 5.19809e+12 5.19640e+12 4014283 0.03% 444 426 5.19689e+12 1826 5.19809e+12 5.19640e+12 4019433 0.03% 446 428 5.19689e+12 1886 5.19809e+12 5.19640e+12 4022391 0.03% 448 430 5.19690e+12 1886 5.19809e+12 5.19640e+12 4027345 0.03% 449 431 5.19692e+12 1886 5.19809e+12 5.19640e+12 4033112 0.03% 451 433 5.19694e+12 1886 5.19809e+12 5.19640e+12 4034188 0.03% 454 436 5.19695e+12 1886 5.19809e+12 5.19640e+12 4036449 0.03% 457 439 5.19698e+12 1886 5.19809e+12 5.19640e+12 4039137 0.03% Elapsed real time = 40445.60 sec. (tree size = 1437.70 MB, solutions = 8) Nodefile size = 1311.53 MB (477.45 MB after compression) 459 441 5.19700e+12 1764 5.19809e+12 5.19640e+12 4043115 0.03% 461 443 5.19703e+12 1634 5.19809e+12 5.19640e+12 4044665 0.03% 462 444 5.19713e+12 1634 5.19809e+12 5.19640e+12 4055708 0.03% 466 448 5.19716e+12 1634 5.19809e+12 5.19640e+12 4058762 0.03% 470 452 5.19719e+12 1634 5.19809e+12 5.19640e+12 4060223 0.03% 474 456 5.19721e+12 1634 5.19809e+12 5.19640e+12 4062098 0.03% 478 460 5.19722e+12 1634 5.19809e+12 5.19640e+12 4066333 0.03% 480 462 5.19724e+12 1634 5.19809e+12 5.19640e+12 4068854 0.03% 484 466 5.19725e+12 1634 5.19809e+12 5.19640e+12 4070849 0.03% 487 469 5.19725e+12 1634 5.19809e+12 5.19640e+12 4072732 0.03% Elapsed real time = 40733.61 sec. (tree size = 1533.32 MB, solutions = 8) Nodefile size = 1407.10 MB (513.83 MB after compression) 490 472 5.19726e+12 1634 5.19809e+12 5.19640e+12 4073421 0.03% 493 475 5.19734e+12 1634 5.19809e+12 5.19640e+12 4082709 0.03% 495 477 5.19748e+12 1634 5.19809e+12 5.19640e+12 4105184 0.03% 496 478 5.19752e+12 1634 5.19809e+12 5.19640e+12 4108949 0.03% 498 480 5.19754e+12 1634 5.19809e+12 5.19640e+12 4113742 0.03% 499 481 5.19754e+12 1634 5.19809e+12 5.19640e+12 4115866 0.03% 501 483 5.19756e+12 1634 5.19809e+12 5.19640e+12 4117301 0.03% 502 484 5.19756e+12 1981 5.19809e+12 5.19640e+12 4119084 0.03% 503 485 5.19762e+12 1700 5.19809e+12 5.19640e+12 4133623 0.03% 505 487 5.19764e+12 1634 5.19809e+12 5.19640e+12 4136747 0.03% Elapsed real time = 41283.37 sec. (tree size = 1592.78 MB, solutions = 8) Nodefile size = 1466.33 MB (537.42 MB after compression) 510 492 5.19768e+12 1634 5.19809e+12 5.19640e+12 4138884 0.03% 516 498 5.19771e+12 1634 5.19809e+12 5.19640e+12 4140440 0.03% 520 502 5.19663e+12 7593 5.19809e+12 5.19663e+12 5661599 0.03% 521 503 5.19664e+12 3870 5.19809e+12 5.19663e+12 5683419 0.03% 522 503 5.19678e+12 6420 5.19809e+12 5.19663e+12 5764756 0.03% 523 503 5.19666e+12 5421 5.19809e+12 5.19663e+12 5818632 0.03% 524 504 5.19675e+12 7540 5.19809e+12 5.19663e+12 5860908 0.03% 525 505 5.19710e+12 5503 5.19809e+12 5.19663e+12 5985357 0.03% 526 506 5.19675e+12 7511 5.19809e+12 5.19663e+12 6003739 0.03% 527 506 5.19676e+12 4989 5.19809e+12 5.19663e+12 6016099 0.03% Elapsed real time = 101236.13 sec. (tree size = 143.21 MB, solutions = 8) 528 506 5.19680e+12 7888 5.19809e+12 5.19663e+12 6049951 0.03% 529 507 5.19699e+12 4673 5.19809e+12 5.19663e+12 6114746 0.03% 530 508 5.19711e+12 4590 5.19809e+12 5.19663e+12 6176146 0.03% 531 508 5.19711e+12 5566 5.19809e+12 5.19663e+12 6178594 0.03% 532 508 5.19719e+12 6569 5.19809e+12 5.19663e+12 6205488 0.03% 533 509 5.19795e+12 5554 5.19809e+12 5.19663e+12 6322321 0.03% 534 509 5.19721e+12 5387 5.19809e+12 5.19663e+12 6348331 0.03% 535 510 5.19797e+12 5976 5.19809e+12 5.19663e+12 6364066 0.03% 536 511 5.19795e+12 5819 5.19809e+12 5.19663e+12 6369804 0.03% 537 512 5.19800e+12 5353 5.19809e+12 5.19663e+12 6388893 0.03% Elapsed real time = 115574.77 sec. (tree size = 168.71 MB, solutions = 8) 538 513 5.19802e+12 5808 5.19809e+12 5.19663e+12 6402493 0.03% 539 514 5.19802e+12 2717 5.19809e+12 5.19663e+12 6409125 0.03% 540 514 5.19809e+12 4439 5.19809e+12 5.19663e+12 6443890 0.03% 543 467 5.19668e+12 6919 5.19809e+12 5.19666e+12 6485721 0.03% 544 467 5.19668e+12 6792 5.19809e+12 5.19666e+12 6491458 0.03% 545 468 5.19670e+12 6718 5.19809e+12 5.19666e+12 6507193 0.03% 546 468 5.19671e+12 7895 5.19809e+12 5.19666e+12 6532508 0.03% 547 469 5.19672e+12 5663 5.19809e+12 5.19666e+12 6544740 0.03% 548 469 5.19671e+12 6423 5.19809e+12 5.19666e+12 6552070 0.03% 549 469 5.19674e+12 6580 5.19809e+12 5.19666e+12 6573137 0.03% Elapsed real time = 121879.64 sec. (tree size = 177.18 MB, solutions = 8) 550 470 5.19677e+12 2735 5.19809e+12 5.19666e+12 6595826 0.03% 551 471 5.19736e+12 5126 5.19809e+12 5.19666e+12 6713638 0.03% 552 472 5.19684e+12 5162 5.19809e+12 5.19666e+12 6756687 0.03% 553 473 5.19724e+12 3166 5.19809e+12 5.19666e+12 6853452 0.03% 554 474 5.19724e+12 5771 5.19809e+12 5.19666e+12 6909763 0.03% 555 474 5.19685e+12 2999 5.19809e+12 5.19666e+12 6915702 0.03% 556 474 5.19707e+12 5361 5.19809e+12 5.19666e+12 7001725 0.03% 557 474 5.19694e+12 5978 5.19809e+12 5.19666e+12 7017903 0.03% 558 475 5.19712e+12 5302 5.19809e+12 5.19666e+12 7033080 0.03% 559 476 5.19743e+12 3691 5.19809e+12 5.19666e+12 7106259 0.03% Elapsed real time = 129971.27 sec. (tree size = 199.48 MB, solutions = 8) 560 477 5.19720e+12 4125 5.19809e+12 5.19666e+12 7133152 0.03% 561 478 5.19747e+12 988 5.19809e+12 5.19666e+12 7152211 0.03% * 562 272 integral 0 5.19749e+12 5.19666e+12 7152824 0.02% 564 264 5.19691e+12 6041 5.19749e+12 5.19668e+12 7269305 0.02% 565 264 5.19696e+12 5864 5.19749e+12 5.19668e+12 7329461 0.02% 566 265 5.19702e+12 5785 5.19749e+12 5.19668e+12 7400468 0.02% 567 266 5.19703e+12 6650 5.19749e+12 5.19668e+12 7423514 0.02% 568 267 5.19706e+12 5581 5.19749e+12 5.19668e+12 7440015 0.02% 569 267 5.19708e+12 5806 5.19749e+12 5.19668e+12 7453786 0.02% 570 268 5.19709e+12 5687 5.19749e+12 5.19668e+12 7461206 0.02% Elapsed real time = 140410.03 sec. (tree size = 150.03 MB, solutions = 9) 571 269 5.19711e+12 5693 5.19749e+12 5.19668e+12 7479138 0.02% 572 270 5.19726e+12 3193 5.19749e+12 5.19668e+12 7521971 0.02% 573 271 5.19731e+12 3031 5.19749e+12 5.19668e+12 7538593 0.02% 574 264 cutoff 5.19749e+12 5.19668e+12 7550285 0.02% 575 264 5.19732e+12 6072 5.19749e+12 5.19668e+12 7552617 0.02% 576 264 5.19733e+12 4519 5.19749e+12 5.19668e+12 7561120 0.02% 577 257 cutoff 5.19749e+12 5.19668e+12 7574278 0.02% 578 258 5.19733e+12 2718 5.19749e+12 5.19668e+12 7583496 0.02% 579 251 cutoff 5.19749e+12 5.19668e+12 7592965 0.02% 580 252 5.19735e+12 2787 5.19749e+12 5.19668e+12 7603537 0.02% Elapsed real time = 142163.80 sec. (tree size = 156.23 MB, solutions = 9) 581 246 cutoff 5.19749e+12 5.19668e+12 7609409 0.02% 582 246 5.19736e+12 5960 5.19749e+12 5.19668e+12 7615793 0.02% 583 240 cutoff 5.19749e+12 5.19668e+12 7637517 0.02% 584 240 5.19736e+12 4640 5.19749e+12 5.19668e+12 7646630 0.02% 585 240 5.19737e+12 2867 5.19749e+12 5.19668e+12 7657840 0.02% 586 240 5.19744e+12 5365 5.19749e+12 5.19668e+12 7686582 0.02% 587 241 5.19745e+12 2693 5.19749e+12 5.19668e+12 7695130 0.02% 589 236 5.19747e+12 1169 5.19749e+12 5.19668e+12 7702072 0.02% 593 226 5.19748e+12 1169 5.19749e+12 5.19668e+12 7707157 0.02% 595 215 cutoff 5.19749e+12 5.19668e+12 7711131 0.02% Elapsed real time = 143276.35 sec. (tree size = 152.94 MB, solutions = 9) 596 216 5.19737e+12 3942 5.19749e+12 5.19670e+12 7817485 0.02% 597 216 5.19740e+12 4036 5.19749e+12 5.19670e+12 7846790 0.02% 598 216 5.19746e+12 6390 5.19749e+12 5.19670e+12 7880578 0.02% 600 206 cutoff 5.19749e+12 5.19670e+12 7888188 0.02% 601 207 5.19670e+12 6344 5.19749e+12 5.19670e+12 7894059 0.02% 602 208 5.19673e+12 6566 5.19749e+12 5.19670e+12 7928582 0.02% 603 209 5.19679e+12 4560 5.19749e+12 5.19670e+12 7958006 0.02% 604 209 5.19687e+12 4556 5.19749e+12 5.19670e+12 7982343 0.02% 605 210 5.19690e+12 5239 5.19749e+12 5.19670e+12 8030718 0.02% 606 211 5.19704e+12 7588 5.19749e+12 5.19670e+12 8064409 0.02% Elapsed real time = 151422.92 sec. (tree size = 166.26 MB, solutions = 9) 607 212 5.19705e+12 4484 5.19749e+12 5.19670e+12 8079610 0.02% 608 212 5.19706e+12 7318 5.19749e+12 5.19670e+12 8085589 0.02% 609 213 5.19726e+12 7273 5.19749e+12 5.19670e+12 8164148 0.02% 610 208 cutoff 5.19749e+12 5.19670e+12 8173724 0.02% 612 204 cutoff 5.19749e+12 5.19670e+12 8189453 0.02% 613 205 5.19727e+12 5516 5.19749e+12 5.19670e+12 8201396 0.02% 614 206 5.19727e+12 6597 5.19749e+12 5.19670e+12 8219056 0.02% 615 206 5.19730e+12 6943 5.19749e+12 5.19670e+12 8237956 0.02% 616 202 cutoff 5.19749e+12 5.19670e+12 8257607 0.02% 617 203 5.19730e+12 4677 5.19749e+12 5.19670e+12 8262474 0.02% Elapsed real time = 154586.42 sec. (tree size = 176.80 MB, solutions = 9) Nodefile size = 11.45 MB (4.62 MB after compression) 618 203 5.19731e+12 2904 5.19749e+12 5.19670e+12 8272644 0.02% 619 204 5.19733e+12 2951 5.19749e+12 5.19670e+12 8282917 0.02% 620 200 cutoff 5.19749e+12 5.19670e+12 8292392 0.02% 621 201 5.19737e+12 4748 5.19749e+12 5.19670e+12 8305705 0.02% 622 197 cutoff 5.19749e+12 5.19670e+12 8319091 0.02% 623 198 5.19738e+12 2813 5.19749e+12 5.19670e+12 8322889 0.02% 624 194 cutoff 5.19749e+12 5.19670e+12 8329450 0.02% 625 194 5.19740e+12 3135 5.19749e+12 5.19670e+12 8335053 0.02% 626 190 cutoff 5.19749e+12 5.19670e+12 8353924 0.02% 627 191 5.19745e+12 6592 5.19749e+12 5.19670e+12 8368774 0.02% Elapsed real time = 155665.69 sec. (tree size = 179.14 MB, solutions = 9) Nodefile size = 16.99 MB (6.85 MB after compression) 628 187 cutoff 5.19749e+12 5.19670e+12 8372579 0.02% 629 187 5.19746e+12 7008 5.19749e+12 5.19670e+12 8386445 0.02% 631 183 5.19747e+12 7440 5.19749e+12 5.19670e+12 8390852 0.02% 632 179 cutoff 5.19749e+12 5.19670e+12 8395314 0.02% 633 179 5.19747e+12 6269 5.19749e+12 5.19670e+12 8400545 0.02% 634 175 cutoff 5.19749e+12 5.19670e+12 8404762 0.02% 636 171 5.19671e+12 6695 5.19749e+12 5.19670e+12 8418306 0.02% 637 172 5.19674e+12 7183 5.19749e+12 5.19670e+12 8443222 0.02% 638 173 5.19680e+12 5615 5.19749e+12 5.19670e+12 8470049 0.02% 639 173 5.19721e+12 3592 5.19749e+12 5.19670e+12 8573090 0.02% Elapsed real time = 161014.45 sec. (tree size = 179.19 MB, solutions = 9) Nodefile size = 22.54 MB (9.14 MB after compression) 640 174 5.19729e+12 3823 5.19749e+12 5.19670e+12 8583096 0.02% 641 175 5.19731e+12 2494 5.19749e+12 5.19670e+12 8610470 0.02% 642 175 5.19740e+12 2054 5.19749e+12 5.19670e+12 8623575 0.02% 644 176 5.19746e+12 2915 5.19749e+12 5.19670e+12 8632392 0.02% 645 177 5.19748e+12 1424 5.19749e+12 5.19670e+12 8654410 0.02% 648 172 5.19731e+12 5543 5.19749e+12 5.19671e+12 8789715 0.01% 649 173 5.19735e+12 5334 5.19749e+12 5.19671e+12 8824031 0.01% 650 173 5.19743e+12 4558 5.19749e+12 5.19671e+12 8852978 0.01% 651 170 cutoff 5.19749e+12 5.19671e+12 8858814 0.01% 652 167 cutoff 5.19749e+12 5.19671e+12 8868371 0.01% Elapsed real time = 167316.52 sec. (tree size = 194.88 MB, solutions = 9) Nodefile size = 46.04 MB (18.14 MB after compression) 653 167 5.19689e+12 2202 5.19749e+12 5.19671e+12 8912854 0.01% 654 167 5.19695e+12 4547 5.19749e+12 5.19671e+12 8938463 0.01% Log started (V12.4.0.0) Sun Dec 16 00:46:33 2012 Problem '1GVP.matrix.52p.17aa.usingEref_self_digit8.wcsp.lp' read. Read time = 23.31 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 = 32.29 sec. Elapsed time 10.56 sec. for 0% of probing. Elapsed time 20.79 sec. for 0% of probing. Elapsed time 31.59 sec. for 0% of probing. Elapsed time 42.91 sec. for 0% of probing. Elapsed time 56.61 sec. for 0% of probing. Elapsed time 66.83 sec. for 0% of probing. Elapsed time 77.12 sec. for 0% of probing. Elapsed time 88.81 sec. for 0% of probing. Elapsed time 98.88 sec. for 0% of probing. Elapsed time 110.81 sec. for 0% of probing. Elapsed time 123.16 sec. for 0% of probing. Elapsed time 134.79 sec. for 0% of probing. Elapsed time 146.17 sec. for 0% of probing. Elapsed time 156.34 sec. for 0% of probing. Elapsed time 166.93 sec. for 0% of probing. Elapsed time 178.16 sec. for 0% of probing. Elapsed time 189.68 sec. for 0% of probing. Elapsed time 201.25 sec. for 0% of probing. Elapsed time 214.28 sec. for 0% of probing. Elapsed time 225.79 sec. for 0% of probing. Probing time = 234.41 sec. Clique table members: 28512720. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 14360.55 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 5.19630e+12 2414 5.19630e+12 1553136 * 0+ 0 3.07446e+18 5.19630e+12 1553136 100.00% 0 0 5.19631e+12 2414 3.07446e+18 ZeroHalf: 93 1560831 100.00% * 0+ 0 5.20670e+12 5.19631e+12 1560831 0.20% 0 0 5.19632e+12 2448 5.20670e+12 ZeroHalf: 99 1568212 0.20% * 0+ 0 5.20551e+12 5.19632e+12 1568212 0.18% Repeating presolve. Presolve has eliminated 31977 rows and 2137958 columns... Tried aggregator 2 times. Aggregator has done 33 substitutions... MIP Presolve eliminated 31977 rows and 2137958 columns. Aggregator did 33 substitutions. Reduced MIP has 163168 rows, 4906132 columns, and 9972214 nonzeros. Reduced MIP has 4906132 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 10.15 sec. for 0% of probing (45 vars fixed). Elapsed time 27.79 sec. for 0% of probing (45 vars fixed). Elapsed time 40.36 sec. for 0% of probing (47 vars fixed). Elapsed time 59.52 sec. for 0% of probing (69 vars fixed). Elapsed time 70.55 sec. for 0% of probing (124 vars fixed). Elapsed time 84.31 sec. for 0% of probing (124 vars fixed). Elapsed time 102.91 sec. for 0% of probing (126 vars fixed). Elapsed time 113.16 sec. for 0% of probing (128 vars fixed). Elapsed time 132.05 sec. for 0% of probing (129 vars fixed). Elapsed time 156.39 sec. for 0% of probing (129 vars fixed). Elapsed time 176.58 sec. for 0% of probing (129 vars fixed). Elapsed time 194.79 sec. for 0% of probing (129 vars fixed). Elapsed time 204.86 sec. for 0% of probing (136 vars fixed). Elapsed time 214.90 sec. for 0% of probing (192 vars fixed). Elapsed time 224.95 sec. for 0% of probing (208 vars fixed). Elapsed time 235.04 sec. for 0% of probing (212 vars fixed). Elapsed time 245.14 sec. for 0% of probing (212 vars fixed). Elapsed time 255.15 sec. for 0% of probing (242 vars fixed). Elapsed time 265.28 sec. for 0% of probing (242 vars fixed). Elapsed time 275.29 sec. for 0% of probing (242 vars fixed). Elapsed time 285.36 sec. for 0% of probing (242 vars fixed). Elapsed time 295.47 sec. for 0% of probing (242 vars fixed). Elapsed time 305.58 sec. for 0% of probing (242 vars fixed). Elapsed time 315.73 sec. for 0% of probing (242 vars fixed). Elapsed time 326.02 sec. for 0% of probing (242 vars fixed). Elapsed time 336.13 sec. for 0% of probing (242 vars fixed). Elapsed time 346.13 sec. for 0% of probing (242 vars fixed). Elapsed time 356.26 sec. for 0% of probing (242 vars fixed). Elapsed time 366.37 sec. for 0% of probing (242 vars fixed). Elapsed time 376.39 sec. for 0% of probing (242 vars fixed). Elapsed time 386.49 sec. for 0% of probing (242 vars fixed). Elapsed time 396.53 sec. for 0% of probing (242 vars fixed). Elapsed time 406.59 sec. for 0% of probing (242 vars fixed). Elapsed time 416.60 sec. for 0% of probing (242 vars fixed). Elapsed time 426.69 sec. for 0% of probing (242 vars fixed). Elapsed time 436.78 sec. for 0% of probing (242 vars fixed). Elapsed time 446.82 sec. for 0% of probing (242 vars fixed). Elapsed time 456.87 sec. for 0% of probing (242 vars fixed). Elapsed time 466.88 sec. for 0% of probing (242 vars fixed). Elapsed time 476.89 sec. for 0% of probing (242 vars fixed). Elapsed time 486.97 sec. for 0% of probing (242 vars fixed). Elapsed time 497.07 sec. for 0% of probing (242 vars fixed). Elapsed time 507.16 sec. for 0% of probing (242 vars fixed). Elapsed time 517.21 sec. for 0% of probing (242 vars fixed). Elapsed time 527.34 sec. for 0% of probing (242 vars fixed). Elapsed time 537.39 sec. for 0% of probing (242 vars fixed). Elapsed time 547.39 sec. for 0% of probing (242 vars fixed). Elapsed time 557.49 sec. for 0% of probing (242 vars fixed). Elapsed time 567.60 sec. for 0% of probing (242 vars fixed). Elapsed time 577.69 sec. for 0% of probing (242 vars fixed). Elapsed time 587.86 sec. for 0% of probing (242 vars fixed). Elapsed time 597.87 sec. for 0% of probing (242 vars fixed). Elapsed time 607.91 sec. for 0% of probing (242 vars fixed). Elapsed time 617.94 sec. for 0% of probing (242 vars fixed). Elapsed time 628.01 sec. for 0% of probing (242 vars fixed). Elapsed time 638.13 sec. for 0% of probing (242 vars fixed). Elapsed time 648.14 sec. for 0% of probing (242 vars fixed). Elapsed time 658.15 sec. for 0% of probing (242 vars fixed). Elapsed time 668.16 sec. for 0% of probing (242 vars fixed). Elapsed time 678.22 sec. for 0% of probing (242 vars fixed). Elapsed time 688.23 sec. for 0% of probing (242 vars fixed). Elapsed time 698.42 sec. for 0% of probing (242 vars fixed). Elapsed time 708.46 sec. for 0% of probing (242 vars fixed). Elapsed time 718.53 sec. for 0% of probing (242 vars fixed). Elapsed time 728.54 sec. for 0% of probing (242 vars fixed). Elapsed time 738.57 sec. for 0% of probing (242 vars fixed). Elapsed time 748.67 sec. for 0% of probing (242 vars fixed). Elapsed time 758.71 sec. for 0% of probing (242 vars fixed). Elapsed time 768.79 sec. for 0% of probing (242 vars fixed). Elapsed time 778.80 sec. for 0% of probing (242 vars fixed). Elapsed time 788.84 sec. for 0% of probing (242 vars fixed). Elapsed time 798.86 sec. for 0% of probing (242 vars fixed). Elapsed time 808.97 sec. for 0% of probing (242 vars fixed). Elapsed time 819.06 sec. for 0% of probing (242 vars fixed). Elapsed time 829.19 sec. for 0% of probing (242 vars fixed). Elapsed time 839.24 sec. for 0% of probing (242 vars fixed). Probing fixed 242 vars, tightened 0 bounds. Probing time = 844.61 sec. Presolve has eliminated 0 rows and 242 columns... Tried aggregator 1 time. Presolve has eliminated 0 rows and 242 columns... MIP Presolve eliminated 0 rows and 242 columns. Reduced MIP has 163168 rows, 4905890 columns, and 9971730 nonzeros. Reduced MIP has 4905890 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 938.50 sec. Elapsed time 31.97 sec. for 0% of probing. Elapsed time 48.65 sec. for 0% of probing. Elapsed time 61.12 sec. for 0% of probing. Elapsed time 87.60 sec. for 0% of probing. Elapsed time 98.97 sec. for 0% of probing. Elapsed time 125.68 sec. for 0% of probing. Elapsed time 154.44 sec. for 0% of probing. Elapsed time 175.89 sec. for 0% of probing. Elapsed time 190.14 sec. for 0% of probing. Elapsed time 202.36 sec. for 0% of probing. Elapsed time 213.14 sec. for 0% of probing. Elapsed time 229.72 sec. for 0% of probing. Elapsed time 246.06 sec. for 0% of probing. Elapsed time 269.22 sec. for 0% of probing. Elapsed time 282.40 sec. for 0% of probing. Elapsed time 304.29 sec. for 0% of probing. Probing time = 308.86 sec. Clique table members: 19825030. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 4596.25 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 5.20551e+12 5.19632e+12 2752491 0.18% 0 0 5.19632e+12 2448 5.20551e+12 5.19632e+12 2752491 0.18% Heuristic still looking. Heuristic still looking. * 0+ 0 5.20464e+12 5.19632e+12 2752491 0.16% 0 2 5.19632e+12 2448 5.20464e+12 5.19632e+12 2752491 0.16% Elapsed real time = 22270.02 sec. (tree size = 0.00 MB, solutions = 4) 1 3 5.19632e+12 2610 5.20464e+12 5.19632e+12 2754322 0.16% 2 4 5.19637e+12 2410 5.20464e+12 5.19632e+12 2759731 0.16% 3 5 5.19645e+12 2360 5.20464e+12 5.19632e+12 2767142 0.16% 4 6 5.19646e+12 2294 5.20464e+12 5.19632e+12 2771658 0.16% 5 7 5.19647e+12 2294 5.20464e+12 5.19632e+12 2772503 0.16% 6 8 5.19648e+12 2250 5.20464e+12 5.19632e+12 2774955 0.16% 7 9 5.19651e+12 2250 5.20464e+12 5.19632e+12 2780451 0.16% 8 10 5.19672e+12 4093 5.20464e+12 5.19632e+12 2800604 0.16% 9 11 5.19672e+12 2156 5.20464e+12 5.19632e+12 2802416 0.16% 10 12 5.19673e+12 2156 5.20464e+12 5.19632e+12 2805611 0.16% Elapsed real time = 23056.36 sec. (tree size = 27.53 MB, solutions = 4) 11 13 5.19677e+12 2106 5.20464e+12 5.19632e+12 2810670 0.16% 12 14 5.19677e+12 2106 5.20464e+12 5.19632e+12 2813064 0.16% 13 15 5.19678e+12 2054 5.20464e+12 5.19632e+12 2816149 0.16% 14 16 5.19680e+12 2000 5.20464e+12 5.19632e+12 2820254 0.16% 15 17 5.19682e+12 2054 5.20464e+12 5.19632e+12 2820875 0.16% 16 18 5.19686e+12 1944 5.20464e+12 5.19632e+12 2823462 0.16% 18 20 5.19688e+12 1886 5.20464e+12 5.19632e+12 2830327 0.16% 19 21 5.19690e+12 1886 5.20464e+12 5.19632e+12 2835482 0.16% * 20+ 20 5.19952e+12 5.19632e+12 2844942 0.06% 20 22 5.19691e+12 1826 5.19952e+12 5.19632e+12 2844942 0.06% 21 23 5.19694e+12 1764 5.19952e+12 5.19632e+12 2850787 0.06% Elapsed real time = 23494.62 sec. (tree size = 64.30 MB, solutions = 5) 22 24 5.19697e+12 1826 5.19952e+12 5.19632e+12 2852966 0.06% 23 25 5.19696e+12 1634 5.19952e+12 5.19632e+12 2854168 0.06% 24 26 5.19697e+12 1634 5.19952e+12 5.19632e+12 2857424 0.06% 25 27 5.19720e+12 1566 5.19952e+12 5.19632e+12 2884798 0.06% 26 28 5.19722e+12 1566 5.19952e+12 5.19632e+12 2886905 0.06% 27 29 5.19755e+12 1350 5.19952e+12 5.19632e+12 2938665 0.06% 28 30 5.19756e+12 1350 5.19952e+12 5.19632e+12 2939338 0.06% 29 31 5.19789e+12 1274 5.19952e+12 5.19632e+12 2996512 0.06% * 30+ 30 5.19906e+12 5.19632e+12 3005821 0.05% * 30+ 30 5.19836e+12 5.19632e+12 3005821 0.04% 30 32 5.19796e+12 1841 5.19836e+12 5.19632e+12 3005821 0.04% * 31 31 integral 0 5.19809e+12 5.19632e+12 3015180 0.03% Elapsed real time = 25191.50 sec. (tree size = 89.51 MB, solutions = 8) 32 32 5.19801e+12 1274 5.19809e+12 5.19632e+12 3020953 0.03% 33 33 5.19803e+12 1796 5.19809e+12 5.19632e+12 3022032 0.03% 34 32 cutoff 5.19809e+12 5.19632e+12 3025032 0.03% 35 33 5.19808e+12 686 5.19809e+12 5.19632e+12 3028445 0.03% 37 31 cutoff 5.19809e+12 5.19632e+12 3028782 0.03% 38 32 5.19637e+12 6413 5.19809e+12 5.19632e+12 3056432 0.03% 39 33 5.19647e+12 5797 5.19809e+12 5.19632e+12 3069043 0.03% 40 34 5.19648e+12 2250 5.19809e+12 5.19632e+12 3075142 0.03% 41 35 5.19651e+12 7064 5.19809e+12 5.19632e+12 3083692 0.03% 42 36 5.19672e+12 3159 5.19809e+12 5.19632e+12 3112508 0.03% Elapsed real time = 27273.70 sec. (tree size = 106.03 MB, solutions = 8) 43 37 5.19672e+12 2156 5.19809e+12 5.19632e+12 3113299 0.03% 44 38 5.19673e+12 2156 5.19809e+12 5.19632e+12 3115230 0.03% 45 39 5.19677e+12 2567 5.19809e+12 5.19632e+12 3122392 0.03% 46 40 5.19673e+12 2156 5.19809e+12 5.19632e+12 3122964 0.03% 47 41 5.19678e+12 2106 5.19809e+12 5.19632e+12 3136568 0.03% 48 42 5.19679e+12 3944 5.19809e+12 5.19632e+12 3139416 0.03% 49 43 5.19685e+12 2358 5.19809e+12 5.19632e+12 3145492 0.03% 50 44 5.19680e+12 2343 5.19809e+12 5.19632e+12 3148589 0.03% 51 45 5.19684e+12 2292 5.19809e+12 5.19632e+12 3153053 0.03% 53 47 5.19686e+12 5421 5.19809e+12 5.19632e+12 3159775 0.03% Elapsed real time = 28246.76 sec. (tree size = 137.17 MB, solutions = 8) Nodefile size = 10.49 MB (3.29 MB after compression) 54 48 5.19696e+12 2377 5.19809e+12 5.19632e+12 3174811 0.03% 55 49 5.19696e+12 2102 5.19809e+12 5.19632e+12 3175040 0.03% 56 50 5.19698e+12 2044 5.19809e+12 5.19632e+12 3182475 0.03% 57 51 5.19699e+12 2044 5.19809e+12 5.19632e+12 3187926 0.03% 58 52 5.19699e+12 1984 5.19809e+12 5.19632e+12 3190810 0.03% 59 53 5.19702e+12 1922 5.19809e+12 5.19632e+12 3197169 0.03% 60 54 5.19705e+12 1862 5.19809e+12 5.19632e+12 3204037 0.03% 61 55 5.19709e+12 1796 5.19809e+12 5.19632e+12 3210064 0.03% 62 56 5.19712e+12 1634 5.19809e+12 5.19632e+12 3212400 0.03% 63 57 5.19715e+12 1634 5.19809e+12 5.19632e+12 3215238 0.03% Elapsed real time = 29012.63 sec. (tree size = 168.62 MB, solutions = 8) Nodefile size = 41.99 MB (14.69 MB after compression) 64 58 5.19737e+12 1566 5.19809e+12 5.19632e+12 3235832 0.03% 65 59 5.19739e+12 1566 5.19809e+12 5.19632e+12 3237930 0.03% 66 60 5.19772e+12 1424 5.19809e+12 5.19632e+12 3288576 0.03% 67 61 5.19773e+12 1424 5.19809e+12 5.19632e+12 3290812 0.03% 68 62 5.19808e+12 1350 5.19809e+12 5.19632e+12 3335519 0.03% 70 60 cutoff 5.19809e+12 5.19632e+12 3336916 0.03% 71 61 5.19640e+12 2528 5.19809e+12 5.19637e+12 3344232 0.03% 72 62 5.19642e+12 2294 5.19809e+12 5.19637e+12 3351371 0.03% 73 63 5.19642e+12 2294 5.19809e+12 5.19637e+12 3352415 0.03% 74 64 5.19646e+12 2250 5.19809e+12 5.19637e+12 3359051 0.03% Elapsed real time = 30036.49 sec. (tree size = 194.96 MB, solutions = 8) Nodefile size = 68.45 MB (24.29 MB after compression) 75 65 5.19649e+12 2250 5.19809e+12 5.19637e+12 3363431 0.03% 76 66 5.19650e+12 2204 5.19809e+12 5.19637e+12 3368452 0.03% 77 67 5.19651e+12 2156 5.19809e+12 5.19637e+12 3369867 0.03% 78 68 5.19651e+12 2156 5.19809e+12 5.19637e+12 3374835 0.03% 79 69 5.19651e+12 2156 5.19809e+12 5.19637e+12 3375378 0.03% 80 70 5.19652e+12 2156 5.19809e+12 5.19637e+12 3377624 0.03% 81 71 5.19652e+12 2156 5.19809e+12 5.19637e+12 3379132 0.03% 82 72 5.19652e+12 2106 5.19809e+12 5.19637e+12 3379496 0.03% 84 74 5.19653e+12 2106 5.19809e+12 5.19637e+12 3380975 0.03% 85 75 5.19655e+12 2106 5.19809e+12 5.19637e+12 3382504 0.03% Elapsed real time = 30676.42 sec. (tree size = 228.88 MB, solutions = 8) Nodefile size = 102.60 MB (36.34 MB after compression) 86 76 5.19657e+12 2054 5.19809e+12 5.19637e+12 3385770 0.03% 87 77 5.19660e+12 2000 5.19809e+12 5.19637e+12 3390667 0.03% 88 78 5.19660e+12 2054 5.19809e+12 5.19637e+12 3391694 0.03% 89 79 5.19666e+12 2054 5.19809e+12 5.19637e+12 3394323 0.03% 90 80 5.19668e+12 2054 5.19809e+12 5.19637e+12 3396381 0.03% 91 81 5.19669e+12 2054 5.19809e+12 5.19637e+12 3397000 0.03% 92 82 5.19672e+12 2000 5.19809e+12 5.19637e+12 3404433 0.03% 93 83 5.19673e+12 2000 5.19809e+12 5.19637e+12 3405730 0.03% 94 84 5.19675e+12 2000 5.19809e+12 5.19637e+12 3408813 0.03% 95 85 5.19675e+12 2054 5.19809e+12 5.19637e+12 3409516 0.03% Elapsed real time = 30959.45 sec. (tree size = 259.91 MB, solutions = 8) Nodefile size = 133.49 MB (47.20 MB after compression) 96 86 5.19678e+12 2054 5.19809e+12 5.19637e+12 3411958 0.03% 97 87 5.19679e+12 1944 5.19809e+12 5.19637e+12 3412396 0.03% 98 88 5.19679e+12 1944 5.19809e+12 5.19637e+12 3412626 0.03% 99 89 5.19680e+12 1944 5.19809e+12 5.19637e+12 3421837 0.03% 100 90 5.19680e+12 1944 5.19809e+12 5.19637e+12 3426908 0.03% 101 91 5.19681e+12 2364 5.19809e+12 5.19637e+12 3429832 0.03% 102 92 5.19681e+12 1944 5.19809e+12 5.19637e+12 3430158 0.03% 103 93 5.19681e+12 1944 5.19809e+12 5.19637e+12 3434691 0.03% 105 95 5.19681e+12 1944 5.19809e+12 5.19637e+12 3435202 0.03% 107 97 5.19682e+12 1944 5.19809e+12 5.19637e+12 3437450 0.03% Elapsed real time = 31350.45 sec. (tree size = 297.45 MB, solutions = 8) Nodefile size = 171.01 MB (61.22 MB after compression) 108 98 5.19682e+12 1944 5.19809e+12 5.19637e+12 3440280 0.03% 110 100 5.19683e+12 1944 5.19809e+12 5.19637e+12 3443762 0.03% 111 101 5.19685e+12 1944 5.19809e+12 5.19637e+12 3446947 0.03% 112 102 5.19687e+12 2000 5.19809e+12 5.19637e+12 3453233 0.03% 115 105 5.19688e+12 1944 5.19809e+12 5.19637e+12 3454641 0.03% 117 107 5.19689e+12 1886 5.19809e+12 5.19637e+12 3458526 0.03% 120 110 5.19690e+12 1886 5.19809e+12 5.19637e+12 3461732 0.03% 122 112 5.19692e+12 1886 5.19809e+12 5.19637e+12 3465427 0.03% 124 114 5.19695e+12 1764 5.19809e+12 5.19637e+12 3469616 0.03% 125 115 5.19697e+12 1634 5.19809e+12 5.19637e+12 3472473 0.03% Elapsed real time = 31669.49 sec. (tree size = 353.95 MB, solutions = 8) Nodefile size = 227.49 MB (82.39 MB after compression) 126 116 5.19698e+12 1634 5.19809e+12 5.19637e+12 3476071 0.03% 127 117 5.19701e+12 2667 5.19809e+12 5.19637e+12 3493105 0.03% 128 118 5.19705e+12 1634 5.19809e+12 5.19637e+12 3496609 0.03% 130 120 5.19710e+12 1634 5.19809e+12 5.19637e+12 3502531 0.03% 131 121 5.19712e+12 1634 5.19809e+12 5.19637e+12 3504412 0.03% 134 124 5.19713e+12 1634 5.19809e+12 5.19637e+12 3505517 0.03% 138 128 5.19716e+12 1634 5.19809e+12 5.19637e+12 3508000 0.03% 141 131 5.19718e+12 1634 5.19809e+12 5.19637e+12 3508875 0.03% 145 135 5.19719e+12 1634 5.19809e+12 5.19637e+12 3512464 0.03% 147 137 5.19721e+12 1634 5.19809e+12 5.19637e+12 3514527 0.03% Elapsed real time = 32317.99 sec. (tree size = 423.93 MB, solutions = 8) Nodefile size = 297.42 MB (109.33 MB after compression) 150 140 5.19721e+12 1634 5.19809e+12 5.19637e+12 3514760 0.03% 155 145 5.19722e+12 1634 5.19809e+12 5.19637e+12 3515869 0.03% 160 150 5.19724e+12 1634 5.19809e+12 5.19637e+12 3516926 0.03% 161 151 5.19727e+12 2013 5.19809e+12 5.19637e+12 3523410 0.03% 162 152 5.19740e+12 1700 5.19809e+12 5.19637e+12 3540240 0.03% 163 153 5.19741e+12 1634 5.19809e+12 5.19637e+12 3545085 0.03% 165 155 5.19750e+12 1634 5.19809e+12 5.19637e+12 3548278 0.03% 170 160 5.19755e+12 1634 5.19809e+12 5.19637e+12 3549300 0.03% 171 161 5.19756e+12 1634 5.19809e+12 5.19637e+12 3550773 0.03% 179 169 5.19758e+12 1634 5.19809e+12 5.19637e+12 3551474 0.03% Elapsed real time = 32722.14 sec. (tree size = 528.65 MB, solutions = 8) Nodefile size = 401.99 MB (151.06 MB after compression) 183 173 5.19758e+12 1634 5.19809e+12 5.19637e+12 3551705 0.03% 187 177 5.19764e+12 1634 5.19809e+12 5.19637e+12 3554791 0.03% 190 180 5.19768e+12 1634 5.19809e+12 5.19637e+12 3556620 0.03% 192 182 5.19775e+12 1634 5.19809e+12 5.19637e+12 3562444 0.03% 195 185 5.19780e+12 1566 5.19809e+12 5.19637e+12 3567906 0.03% 196 186 5.19788e+12 1566 5.19809e+12 5.19637e+12 3576483 0.03% 198 188 5.19792e+12 1566 5.19809e+12 5.19637e+12 3580698 0.03% 200 190 5.19795e+12 1566 5.19809e+12 5.19637e+12 3582415 0.03% 202 192 5.19795e+12 1566 5.19809e+12 5.19637e+12 3585052 0.03% 203 193 5.19804e+12 1566 5.19809e+12 5.19637e+12 3600617 0.03% Elapsed real time = 33077.28 sec. (tree size = 613.24 MB, solutions = 8) Nodefile size = 486.29 MB (183.13 MB after compression) 205 195 5.19805e+12 1566 5.19809e+12 5.19637e+12 3606103 0.03% 209 199 5.19806e+12 1566 5.19809e+12 5.19637e+12 3608888 0.03% 212 202 5.19807e+12 1566 5.19809e+12 5.19637e+12 3610754 0.03% 217 205 cutoff 5.19809e+12 5.19637e+12 3613926 0.03% 219 205 5.19640e+12 5771 5.19809e+12 5.19637e+12 3618853 0.03% 220 206 5.19642e+12 2294 5.19809e+12 5.19637e+12 3625040 0.03% 221 207 5.19642e+12 2294 5.19809e+12 5.19637e+12 3625912 0.03% 222 208 5.19646e+12 2250 5.19809e+12 5.19637e+12 3632273 0.03% 223 209 5.19649e+12 2250 5.19809e+12 5.19637e+12 3636155 0.03% 225 211 5.19651e+12 2156 5.19809e+12 5.19637e+12 3639552 0.03% Elapsed real time = 33431.73 sec. (tree size = 675.95 MB, solutions = 8) Nodefile size = 549.63 MB (205.08 MB after compression) 226 212 5.19651e+12 2156 5.19809e+12 5.19637e+12 3641458 0.03% 228 214 5.19652e+12 2156 5.19809e+12 5.19637e+12 3643922 0.03% 230 216 5.19652e+12 2106 5.19809e+12 5.19637e+12 3645426 0.03% 233 219 5.19655e+12 2106 5.19809e+12 5.19637e+12 3648291 0.03% 234 220 5.19657e+12 2054 5.19809e+12 5.19637e+12 3650673 0.03% 235 221 5.19660e+12 2008 5.19809e+12 5.19637e+12 3654561 0.03% 237 223 5.19666e+12 2054 5.19809e+12 5.19637e+12 3657357 0.03% 238 224 5.19667e+12 2000 5.19809e+12 5.19637e+12 3659253 0.03% 240 226 5.19672e+12 2000 5.19809e+12 5.19637e+12 3666493 0.03% 244 230 5.19675e+12 1944 5.19809e+12 5.19637e+12 3675207 0.03% Elapsed real time = 33839.06 sec. (tree size = 734.60 MB, solutions = 8) Nodefile size = 608.49 MB (226.75 MB after compression) 245 231 5.19677e+12 2000 5.19809e+12 5.19637e+12 3682283 0.03% 247 233 5.19677e+12 3657 5.19809e+12 5.19637e+12 3687218 0.03% 250 236 5.19678e+12 1886 5.19809e+12 5.19637e+12 3690819 0.03% 251 237 5.19678e+12 2197 5.19809e+12 5.19637e+12 3692113 0.03% 252 238 5.19678e+12 1826 5.19809e+12 5.19637e+12 3694537 0.03% 255 241 5.19680e+12 1886 5.19809e+12 5.19637e+12 3698260 0.03% 256 242 5.19680e+12 1886 5.19809e+12 5.19637e+12 3702177 0.03% 258 244 5.19683e+12 1886 5.19809e+12 5.19637e+12 3706016 0.03% 260 246 5.19684e+12 1886 5.19809e+12 5.19637e+12 3709860 0.03% 263 249 5.19685e+12 1886 5.19809e+12 5.19637e+12 3713006 0.03% Elapsed real time = 34325.27 sec. (tree size = 793.79 MB, solutions = 8) Nodefile size = 667.66 MB (248.89 MB after compression) 266 252 5.19688e+12 1764 5.19809e+12 5.19637e+12 3717647 0.03% 267 253 5.19690e+12 1700 5.19809e+12 5.19637e+12 3721374 0.03% 269 255 5.19693e+12 1634 5.19809e+12 5.19637e+12 3723782 0.03% 270 256 5.19703e+12 1634 5.19809e+12 5.19637e+12 3734932 0.03% 273 259 5.19705e+12 1634 5.19809e+12 5.19637e+12 3737342 0.03% 276 262 5.19706e+12 1634 5.19809e+12 5.19637e+12 3739646 0.03% 280 266 5.19710e+12 1634 5.19809e+12 5.19637e+12 3741482 0.03% 281 267 5.19711e+12 1634 5.19809e+12 5.19637e+12 3742961 0.03% 286 272 5.19712e+12 1634 5.19809e+12 5.19637e+12 3746352 0.03% 288 274 5.19714e+12 1634 5.19809e+12 5.19637e+12 3749217 0.03% Elapsed real time = 34716.09 sec. (tree size = 872.76 MB, solutions = 8) Nodefile size = 746.57 MB (278.79 MB after compression) 292 278 5.19715e+12 1634 5.19809e+12 5.19637e+12 3749952 0.03% 297 283 5.19716e+12 1634 5.19809e+12 5.19637e+12 3751559 0.03% 299 285 5.19724e+12 1634 5.19809e+12 5.19637e+12 3761320 0.03% 300 286 5.19725e+12 1634 5.19809e+12 5.19637e+12 3763991 0.03% 301 287 5.19736e+12 1634 5.19809e+12 5.19637e+12 3778379 0.03% 302 288 5.19738e+12 1634 5.19809e+12 5.19637e+12 3783960 0.03% 303 289 5.19739e+12 1634 5.19809e+12 5.19637e+12 3787248 0.03% 304 290 5.19742e+12 1634 5.19809e+12 5.19637e+12 3790655 0.03% 306 292 5.19744e+12 1886 5.19809e+12 5.19637e+12 3794918 0.03% 307 293 5.19754e+12 1566 5.19809e+12 5.19637e+12 3821615 0.03% Elapsed real time = 35354.67 sec. (tree size = 933.90 MB, solutions = 8) Nodefile size = 807.60 MB (302.45 MB after compression) 308 294 5.19754e+12 1496 5.19809e+12 5.19637e+12 3823758 0.03% 309 295 5.19756e+12 1496 5.19809e+12 5.19637e+12 3827031 0.03% 310 296 5.19764e+12 1496 5.19809e+12 5.19637e+12 3834909 0.03% 311 297 5.19765e+12 1496 5.19809e+12 5.19637e+12 3836929 0.03% 314 300 5.19770e+12 1496 5.19809e+12 5.19637e+12 3839492 0.03% 317 303 5.19779e+12 1496 5.19809e+12 5.19637e+12 3851388 0.03% 318 304 5.19780e+12 1496 5.19809e+12 5.19637e+12 3854602 0.03% 320 306 5.19781e+12 1496 5.19809e+12 5.19637e+12 3861581 0.03% 326 312 5.19782e+12 1496 5.19809e+12 5.19637e+12 3863079 0.03% 329 315 5.19783e+12 1496 5.19809e+12 5.19637e+12 3865264 0.03% Elapsed real time = 35821.03 sec. (tree size = 1012.28 MB, solutions = 8) Nodefile size = 885.63 MB (331.39 MB after compression) 331 317 5.19784e+12 1496 5.19809e+12 5.19637e+12 3866059 0.03% 333 319 5.19786e+12 1496 5.19809e+12 5.19637e+12 3868691 0.03% 337 323 5.19787e+12 1496 5.19809e+12 5.19637e+12 3871957 0.03% 341 327 5.19788e+12 1496 5.19809e+12 5.19637e+12 3872298 0.03% 347 333 5.19789e+12 1496 5.19809e+12 5.19637e+12 3874149 0.03% 349 335 5.19789e+12 1496 5.19809e+12 5.19637e+12 3876067 0.03% 350 336 5.19790e+12 1496 5.19809e+12 5.19637e+12 3876290 0.03% 352 338 5.19790e+12 1496 5.19809e+12 5.19637e+12 3877340 0.03% 359 345 5.19792e+12 1496 5.19809e+12 5.19637e+12 3877821 0.03% 361 347 5.19792e+12 1496 5.19809e+12 5.19637e+12 3879286 0.03% Elapsed real time = 36051.70 sec. (tree size = 1128.84 MB, solutions = 8) Nodefile size = 1002.19 MB (369.14 MB after compression) 368 354 5.19793e+12 1496 5.19809e+12 5.19637e+12 3879749 0.03% 372 358 5.19794e+12 1496 5.19809e+12 5.19637e+12 3880014 0.03% 379 365 5.19795e+12 1496 5.19809e+12 5.19637e+12 3880421 0.03% 383 369 5.19795e+12 1496 5.19809e+12 5.19637e+12 3880877 0.03% 390 376 5.19797e+12 1496 5.19809e+12 5.19637e+12 3884941 0.03% 397 383 5.19799e+12 1496 5.19809e+12 5.19637e+12 3887600 0.03% 399 385 5.19800e+12 1496 5.19809e+12 5.19637e+12 3889490 0.03% 400 386 5.19800e+12 1424 5.19809e+12 5.19637e+12 3890363 0.03% 401 387 5.19802e+12 1424 5.19809e+12 5.19637e+12 3894914 0.03% 402 388 5.19806e+12 1424 5.19809e+12 5.19637e+12 3898997 0.03% Elapsed real time = 36304.79 sec. (tree size = 1278.18 MB, solutions = 8) Nodefile size = 1151.53 MB (418.05 MB after compression) 406 388 5.19642e+12 2336 5.19809e+12 5.19640e+12 3928486 0.03% 407 389 5.19645e+12 2336 5.19809e+12 5.19640e+12 3931792 0.03% 408 390 5.19647e+12 2294 5.19809e+12 5.19640e+12 3937189 0.03% 410 392 5.19651e+12 2250 5.19809e+12 5.19640e+12 3943296 0.03% 411 393 5.19654e+12 2250 5.19809e+12 5.19640e+12 3946302 0.03% 413 395 5.19656e+12 2156 5.19809e+12 5.19640e+12 3948601 0.03% 414 396 5.19656e+12 2310 5.19809e+12 5.19640e+12 3950616 0.03% 416 398 5.19657e+12 2156 5.19809e+12 5.19640e+12 3952841 0.03% 420 402 5.19658e+12 2106 5.19809e+12 5.19640e+12 3956309 0.03% 422 404 5.19662e+12 2054 5.19809e+12 5.19640e+12 3961251 0.03% Elapsed real time = 37362.15 sec. (tree size = 1328.14 MB, solutions = 8) Nodefile size = 1202.02 MB (436.47 MB after compression) 423 405 5.19665e+12 2000 5.19809e+12 5.19640e+12 3965560 0.03% 425 407 5.19671e+12 2054 5.19809e+12 5.19640e+12 3969780 0.03% 426 408 5.19672e+12 2000 5.19809e+12 5.19640e+12 3972302 0.03% 428 410 5.19677e+12 2000 5.19809e+12 5.19640e+12 3981759 0.03% 429 411 5.19678e+12 2000 5.19809e+12 5.19640e+12 3983950 0.03% 430 412 5.19680e+12 2000 5.19809e+12 5.19640e+12 3987420 0.03% 432 414 5.19683e+12 2054 5.19809e+12 5.19640e+12 3990499 0.03% 433 415 5.19684e+12 2148 5.19809e+12 5.19640e+12 3994039 0.03% 435 417 5.19685e+12 1944 5.19809e+12 5.19640e+12 4000344 0.03% 436 418 5.19687e+12 2000 5.19809e+12 5.19640e+12 4005555 0.03% Elapsed real time = 37893.25 sec. (tree size = 1371.78 MB, solutions = 8) Nodefile size = 1245.63 MB (452.72 MB after compression) 439 421 5.19688e+12 1944 5.19809e+12 5.19640e+12 4008320 0.03% 441 423 5.19688e+12 1886 5.19809e+12 5.19640e+12 4012160 0.03% 442 424 5.19688e+12 1886 5.19809e+12 5.19640e+12 4014283 0.03% 444 426 5.19689e+12 1826 5.19809e+12 5.19640e+12 4019433 0.03% 446 428 5.19689e+12 1886 5.19809e+12 5.19640e+12 4022391 0.03% 448 430 5.19690e+12 1886 5.19809e+12 5.19640e+12 4027345 0.03% 449 431 5.19692e+12 1886 5.19809e+12 5.19640e+12 4033112 0.03% 451 433 5.19694e+12 1886 5.19809e+12 5.19640e+12 4034188 0.03% 454 436 5.19695e+12 1886 5.19809e+12 5.19640e+12 4036449 0.03% 457 439 5.19698e+12 1886 5.19809e+12 5.19640e+12 4039137 0.03% Elapsed real time = 38322.83 sec. (tree size = 1437.70 MB, solutions = 8) Nodefile size = 1311.53 MB (477.45 MB after compression) 459 441 5.19700e+12 1764 5.19809e+12 5.19640e+12 4043115 0.03% 461 443 5.19703e+12 1634 5.19809e+12 5.19640e+12 4044665 0.03% 462 444 5.19713e+12 1634 5.19809e+12 5.19640e+12 4055708 0.03% 466 448 5.19716e+12 1634 5.19809e+12 5.19640e+12 4058762 0.03% 470 452 5.19719e+12 1634 5.19809e+12 5.19640e+12 4060223 0.03% 474 456 5.19721e+12 1634 5.19809e+12 5.19640e+12 4062098 0.03% 478 460 5.19722e+12 1634 5.19809e+12 5.19640e+12 4066333 0.03% 480 462 5.19724e+12 1634 5.19809e+12 5.19640e+12 4068854 0.03% 484 466 5.19725e+12 1634 5.19809e+12 5.19640e+12 4070849 0.03% 487 469 5.19725e+12 1634 5.19809e+12 5.19640e+12 4072732 0.03% Elapsed real time = 38657.14 sec. (tree size = 1533.32 MB, solutions = 8) Nodefile size = 1407.10 MB (513.83 MB after compression) 490 472 5.19726e+12 1634 5.19809e+12 5.19640e+12 4073421 0.03% 493 475 5.19734e+12 1634 5.19809e+12 5.19640e+12 4082709 0.03% 495 477 5.19748e+12 1634 5.19809e+12 5.19640e+12 4105184 0.03% 496 478 5.19752e+12 1634 5.19809e+12 5.19640e+12 4108949 0.03% 498 480 5.19754e+12 1634 5.19809e+12 5.19640e+12 4113742 0.03% 499 481 5.19754e+12 1634 5.19809e+12 5.19640e+12 4115866 0.03% 501 483 5.19756e+12 1634 5.19809e+12 5.19640e+12 4117301 0.03% 502 484 5.19756e+12 1981 5.19809e+12 5.19640e+12 4119084 0.03% 503 485 5.19762e+12 1700 5.19809e+12 5.19640e+12 4133623 0.03% 505 487 5.19764e+12 1634 5.19809e+12 5.19640e+12 4136747 0.03% Elapsed real time = 39412.73 sec. (tree size = 1592.78 MB, solutions = 8) Nodefile size = 1466.33 MB (537.42 MB after compression) 510 492 5.19768e+12 1634 5.19809e+12 5.19640e+12 4138884 0.03% 516 498 5.19771e+12 1634 5.19809e+12 5.19640e+12 4140440 0.03% 520 502 5.19663e+12 7593 5.19809e+12 5.19663e+12 5661599 0.03% 521 503 5.19664e+12 3870 5.19809e+12 5.19663e+12 5683419 0.03% 522 503 5.19678e+12 6420 5.19809e+12 5.19663e+12 5764756 0.03% 523 503 5.19666e+12 5421 5.19809e+12 5.19663e+12 5818632 0.03% 524 504 5.19675e+12 7540 5.19809e+12 5.19663e+12 5860908 0.03% 525 505 5.19710e+12 5503 5.19809e+12 5.19663e+12 5985357 0.03% 526 506 5.19675e+12 7511 5.19809e+12 5.19663e+12 6003739 0.03% 527 506 5.19676e+12 4989 5.19809e+12 5.19663e+12 6016099 0.03% Elapsed real time = 99234.35 sec. (tree size = 143.21 MB, solutions = 8) 528 506 5.19680e+12 7888 5.19809e+12 5.19663e+12 6049951 0.03% 529 507 5.19699e+12 4673 5.19809e+12 5.19663e+12 6114746 0.03% 530 508 5.19711e+12 4590 5.19809e+12 5.19663e+12 6176146 0.03% 531 508 5.19711e+12 5566 5.19809e+12 5.19663e+12 6178594 0.03% 532 508 5.19719e+12 6569 5.19809e+12 5.19663e+12 6205488 0.03% 533 509 5.19795e+12 5554 5.19809e+12 5.19663e+12 6322321 0.03% 534 509 5.19721e+12 5387 5.19809e+12 5.19663e+12 6348331 0.03% 535 510 5.19797e+12 5976 5.19809e+12 5.19663e+12 6364066 0.03% 536 511 5.19795e+12 5819 5.19809e+12 5.19663e+12 6369804 0.03% 537 512 5.19800e+12 5353 5.19809e+12 5.19663e+12 6388893 0.03% Elapsed real time = 114018.66 sec. (tree size = 168.71 MB, solutions = 8) 538 513 5.19802e+12 5808 5.19809e+12 5.19663e+12 6402493 0.03% 539 514 5.19802e+12 2717 5.19809e+12 5.19663e+12 6409125 0.03% 540 514 5.19809e+12 4439 5.19809e+12 5.19663e+12 6443890 0.03% 543 467 5.19668e+12 6919 5.19809e+12 5.19666e+12 6485721 0.03% 544 467 5.19668e+12 6792 5.19809e+12 5.19666e+12 6491458 0.03% 545 468 5.19670e+12 6718 5.19809e+12 5.19666e+12 6507193 0.03% 546 468 5.19671e+12 7895 5.19809e+12 5.19666e+12 6532508 0.03% 547 469 5.19672e+12 5663 5.19809e+12 5.19666e+12 6544740 0.03% 548 469 5.19671e+12 6423 5.19809e+12 5.19666e+12 6552070 0.03% 549 469 5.19674e+12 6580 5.19809e+12 5.19666e+12 6573137 0.03% Elapsed real time = 120296.67 sec. (tree size = 177.18 MB, solutions = 8) 550 470 5.19677e+12 2735 5.19809e+12 5.19666e+12 6595826 0.03% 551 471 5.19736e+12 5126 5.19809e+12 5.19666e+12 6713638 0.03% 552 472 5.19684e+12 5162 5.19809e+12 5.19666e+12 6756687 0.03% 553 473 5.19724e+12 3166 5.19809e+12 5.19666e+12 6853452 0.03% 554 474 5.19724e+12 5771 5.19809e+12 5.19666e+12 6909763 0.03% 555 474 5.19685e+12 2999 5.19809e+12 5.19666e+12 6915702 0.03% 556 474 5.19707e+12 5361 5.19809e+12 5.19666e+12 7001725 0.03% 557 474 5.19694e+12 5978 5.19809e+12 5.19666e+12 7017903 0.03% 558 475 5.19712e+12 5302 5.19809e+12 5.19666e+12 7033080 0.03% 559 476 5.19743e+12 3691 5.19809e+12 5.19666e+12 7106259 0.03% Elapsed real time = 128976.88 sec. (tree size = 199.48 MB, solutions = 8) 560 477 5.19720e+12 4125 5.19809e+12 5.19666e+12 7133152 0.03% 561 478 5.19747e+12 988 5.19809e+12 5.19666e+12 7152211 0.03% * 562 272 integral 0 5.19749e+12 5.19666e+12 7152824 0.02% 564 264 5.19691e+12 6041 5.19749e+12 5.19668e+12 7269305 0.02% 565 264 5.19696e+12 5864 5.19749e+12 5.19668e+12 7329461 0.02% 566 265 5.19702e+12 5785 5.19749e+12 5.19668e+12 7400468 0.02% 567 266 5.19703e+12 6650 5.19749e+12 5.19668e+12 7423514 0.02% 568 267 5.19706e+12 5581 5.19749e+12 5.19668e+12 7440015 0.02% 569 267 5.19708e+12 5806 5.19749e+12 5.19668e+12 7453786 0.02% 570 268 5.19709e+12 5687 5.19749e+12 5.19668e+12 7461206 0.02% Elapsed real time = 142570.81 sec. (tree size = 150.03 MB, solutions = 9) 571 269 5.19711e+12 5693 5.19749e+12 5.19668e+12 7479138 0.02% 572 270 5.19726e+12 3193 5.19749e+12 5.19668e+12 7521971 0.02% 573 271 5.19731e+12 3031 5.19749e+12 5.19668e+12 7538593 0.02% 574 264 cutoff 5.19749e+12 5.19668e+12 7550285 0.02% 575 264 5.19732e+12 6072 5.19749e+12 5.19668e+12 7552617 0.02% 576 264 5.19733e+12 4519 5.19749e+12 5.19668e+12 7561120 0.02% 577 257 cutoff 5.19749e+12 5.19668e+12 7574278 0.02% 578 258 5.19733e+12 2718 5.19749e+12 5.19668e+12 7583496 0.02% 579 251 cutoff 5.19749e+12 5.19668e+12 7592965 0.02% 580 252 5.19735e+12 2787 5.19749e+12 5.19668e+12 7603537 0.02% Elapsed real time = 144454.07 sec. (tree size = 156.23 MB, solutions = 9) 581 246 cutoff 5.19749e+12 5.19668e+12 7609409 0.02% 582 246 5.19736e+12 5960 5.19749e+12 5.19668e+12 7615793 0.02% 583 240 cutoff 5.19749e+12 5.19668e+12 7637517 0.02% 584 240 5.19736e+12 4640 5.19749e+12 5.19668e+12 7646630 0.02% 585 240 5.19737e+12 2867 5.19749e+12 5.19668e+12 7657840 0.02% 586 240 5.19744e+12 5365 5.19749e+12 5.19668e+12 7686582 0.02% 587 241 5.19745e+12 2693 5.19749e+12 5.19668e+12 7695130 0.02% 589 236 5.19747e+12 1169 5.19749e+12 5.19668e+12 7702072 0.02% 593 226 5.19748e+12 1169 5.19749e+12 5.19668e+12 7707157 0.02% 595 215 cutoff 5.19749e+12 5.19668e+12 7711131 0.02% Elapsed real time = 145678.73 sec. (tree size = 152.94 MB, solutions = 9) 596 216 5.19737e+12 3942 5.19749e+12 5.19670e+12 7817485 0.02% 597 216 5.19740e+12 4036 5.19749e+12 5.19670e+12 7846790 0.02% 598 216 5.19746e+12 6390 5.19749e+12 5.19670e+12 7880578 0.02% 600 206 cutoff 5.19749e+12 5.19670e+12 7888188 0.02% 601 207 5.19670e+12 6344 5.19749e+12 5.19670e+12 7894059 0.02% 602 208 5.19673e+12 6566 5.19749e+12 5.19670e+12 7928582 0.02% 603 209 5.19679e+12 4560 5.19749e+12 5.19670e+12 7958006 0.02% 604 209 5.19687e+12 4556 5.19749e+12 5.19670e+12 7982343 0.02% 605 210 5.19690e+12 5239 5.19749e+12 5.19670e+12 8030718 0.02% 606 211 5.19704e+12 7588 5.19749e+12 5.19670e+12 8064409 0.02% Elapsed real time = 155780.15 sec. (tree size = 166.26 MB, solutions = 9) 607 212 5.19705e+12 4484 5.19749e+12 5.19670e+12 8079610 0.02% 608 212 5.19706e+12 7318 5.19749e+12 5.19670e+12 8085589 0.02% 609 213 5.19726e+12 7273 5.19749e+12 5.19670e+12 8164148 0.02% 610 208 cutoff 5.19749e+12 5.19670e+12 8173724 0.02% 612 204 cutoff 5.19749e+12 5.19670e+12 8189453 0.02% 613 205 5.19727e+12 5516 5.19749e+12 5.19670e+12 8201396 0.02% 614 206 5.19727e+12 6597 5.19749e+12 5.19670e+12 8219056 0.02% 615 206 5.19730e+12 6943 5.19749e+12 5.19670e+12 8237956 0.02% 616 202 cutoff 5.19749e+12 5.19670e+12 8257607 0.02% 617 203 5.19730e+12 4677 5.19749e+12 5.19670e+12 8262474 0.02% Elapsed real time = 160212.80 sec. (tree size = 176.80 MB, solutions = 9) Nodefile size = 11.45 MB (4.62 MB after compression) 618 203 5.19731e+12 2904 5.19749e+12 5.19670e+12 8272644 0.02% 619 204 5.19733e+12 2951 5.19749e+12 5.19670e+12 8282917 0.02% 620 200 cutoff 5.19749e+12 5.19670e+12 8292392 0.02% 621 201 5.19737e+12 4748 5.19749e+12 5.19670e+12 8305705 0.02% 622 197 cutoff 5.19749e+12 5.19670e+12 8319091 0.02% 623 198 5.19738e+12 2813 5.19749e+12 5.19670e+12 8322889 0.02% 624 194 cutoff 5.19749e+12 5.19670e+12 8329450 0.02% 625 194 5.19740e+12 3135 5.19749e+12 5.19670e+12 8335053 0.02% 626 190 cutoff 5.19749e+12 5.19670e+12 8353924 0.02% 627 191 5.19745e+12 6592 5.19749e+12 5.19670e+12 8368774 0.02% Elapsed real time = 161629.16 sec. (tree size = 179.14 MB, solutions = 9) Nodefile size = 16.99 MB (6.85 MB after compression) 628 187 cutoff 5.19749e+12 5.19670e+12 8372579 0.02% 629 187 5.19746e+12 7008 5.19749e+12 5.19670e+12 8386445 0.02% 631 183 5.19747e+12 7440 5.19749e+12 5.19670e+12 8390852 0.02% 632 179 cutoff 5.19749e+12 5.19670e+12 8395314 0.02% 633 179 5.19747e+12 6269 5.19749e+12 5.19670e+12 8400545 0.02% 634 175 cutoff 5.19749e+12 5.19670e+12 8404762 0.02% 636 171 5.19671e+12 6695 5.19749e+12 5.19670e+12 8418306 0.02% 637 172 5.19674e+12 7183 5.19749e+12 5.19670e+12 8443222 0.02% 638 173 5.19680e+12 5615 5.19749e+12 5.19670e+12 8470049 0.02% 639 173 5.19721e+12 3592 5.19749e+12 5.19670e+12 8573090 0.02% Elapsed real time = 166593.95 sec. (tree size = 179.19 MB, solutions = 9) Nodefile size = 22.54 MB (9.14 MB after compression) 640 174 5.19729e+12 3823 5.19749e+12 5.19670e+12 8583096 0.02% 641 175 5.19731e+12 2494 5.19749e+12 5.19670e+12 8610470 0.02% 642 175 5.19740e+12 2054 5.19749e+12 5.19670e+12 8623575 0.02% 644 176 5.19746e+12 2915 5.19749e+12 5.19670e+12 8632392 0.02% 645 177 5.19748e+12 1424 5.19749e+12 5.19670e+12 8654410 0.02% 648 172 5.19731e+12 5543 5.19749e+12 5.19671e+12 8789715 0.01% 649 173 5.19735e+12 5334 5.19749e+12 5.19671e+12 8824031 0.01% 650 173 5.19743e+12 4558 5.19749e+12 5.19671e+12 8852978 0.01% 651 170 cutoff 5.19749e+12 5.19671e+12 8858814 0.01% 652 167 cutoff 5.19749e+12 5.19671e+12 8868371 0.01% Elapsed real time = 172834.61 sec. (tree size = 194.88 MB, solutions = 9) Nodefile size = 46.04 MB (18.14 MB after compression) 653 167 5.19689e+12 2202 5.19749e+12 5.19671e+12 8912854 0.01% 654 167 5.19695e+12 4547 5.19749e+12 5.19671e+12 8938463 0.01% 655 168 5.19699e+12 4149 5.19749e+12 5.19671e+12 8969753 0.01% 656 168 5.19707e+12 5813 5.19749e+12 5.19671e+12 8983659 0.01% 657 168 5.19722e+12 3984 5.19749e+12 5.19671e+12 9007469 0.01% 658 168 5.19725e+12 5359 5.19749e+12 5.19671e+12 9010333 0.01% 659 168 5.19732e+12 4283 5.19749e+12 5.19671e+12 9031602 0.01% 660 168 5.19734e+12 4130 5.19749e+12 5.19671e+12 9041306 0.01% 661 169 5.19734e+12 5580 5.19749e+12 5.19671e+12 9046346 0.01% 662 166 cutoff 5.19749e+12 5.19671e+12 9091243 0.01% Elapsed real time = 176926.66 sec. (tree size = 214.69 MB, solutions = 9) Nodefile size = 63.67 MB (24.81 MB after compression) 663 167 5.19735e+12 3601 5.19749e+12 5.19671e+12 9093701 0.01% 665 169 5.19735e+12 3567 5.19749e+12 5.19671e+12 9096255 0.01% 666 170 5.19739e+12 5874 5.19749e+12 5.19671e+12 9117386 0.01% 667 167 cutoff 5.19749e+12 5.19671e+12 9132820 0.01% 669 168 5.19740e+12 3543 5.19749e+12 5.19671e+12 9140757 0.01% 670 168 5.19741e+12 3543 5.19749e+12 5.19671e+12 9146219 0.01% 671 169 5.19746e+12 6622 5.19749e+12 5.19671e+12 9158547 0.01% 672 170 5.19748e+12 3972 5.19749e+12 5.19671e+12 9167789 0.01% 675 164 5.19733e+12 5462 5.19749e+12 5.19672e+12 9325918 0.01% 676 165 5.19737e+12 4970 5.19749e+12 5.19672e+12 9370709 0.01% Elapsed real time = 184563.27 sec. (tree size = 233.39 MB, solutions = 9) Nodefile size = 84.23 MB (32.67 MB after compression) 677 166 5.19745e+12 7070 5.19749e+12 5.19672e+12 9392584 0.01% 678 163 cutoff 5.19749e+12 5.19672e+12 9398929 0.01% 680 161 5.19691e+12 3143 5.19749e+12 5.19672e+12 9456173 0.01% 681 161 5.19696e+12 5536 5.19749e+12 5.19672e+12 9491377 0.01% 682 162 5.19702e+12 3658 5.19749e+12 5.19672e+12 9520692 0.01% 683 163 5.19714e+12 6249 5.19749e+12 5.19672e+12 9570058 0.01% 684 164 5.19720e+12 4678 5.19749e+12 5.19672e+12 9593182 0.01% 685 164 5.19720e+12 4691 5.19749e+12 5.19672e+12 9597379 0.01% 686 164 5.19724e+12 4929 5.19749e+12 5.19672e+12 9604431 0.01% 687 165 5.19726e+12 2740 5.19749e+12 5.19672e+12 9620863 0.01% Elapsed real time = 191225.28 sec. (tree size = 251.38 MB, solutions = 9) Nodefile size = 104.02 MB (40.86 MB after compression) 688 165 5.19726e+12 5179 5.19749e+12 5.19672e+12 9631356 0.01% 689 166 5.19727e+12 2819 5.19749e+12 5.19672e+12 9635603 0.01% 690 167 5.19728e+12 2820 5.19749e+12 5.19672e+12 9642162 0.01% 691 167 5.19745e+12 2463 5.19749e+12 5.19672e+12 9673177 0.01% 692 167 5.19746e+12 2324 5.19749e+12 5.19672e+12 9677301 0.01% 694 167 5.19748e+12 1910 5.19749e+12 5.19672e+12 9683626 0.01% 697 164 5.19681e+12 5216 5.19749e+12 5.19673e+12 9725866 0.01% 698 165 5.19684e+12 5921 5.19749e+12 5.19673e+12 9756374 0.01% 699 165 5.19690e+12 4364 5.19749e+12 5.19673e+12 9793722 0.01% 700 166 5.19729e+12 3233 5.19749e+12 5.19673e+12 9876552 0.01% Elapsed real time = 197231.24 sec. (tree size = 275.10 MB, solutions = 9) Nodefile size = 130.09 MB (51.13 MB after compression) 701 167 5.19743e+12 5899 5.19749e+12 5.19673e+12 9895179 0.01% 702 167 5.19738e+12 2409 5.19749e+12 5.19673e+12 9915657 0.01% 703 168 5.19744e+12 3313 5.19749e+12 5.19673e+12 9926295 0.01% 704 169 5.19747e+12 1423 5.19749e+12 5.19673e+12 9948647 0.01% 705 167 cutoff 5.19749e+12 5.19673e+12 9952633 0.01% 707 166 5.19718e+12 4791 5.19749e+12 5.19675e+12 10091520 0.01% 708 167 5.19725e+12 4971 5.19749e+12 5.19675e+12 10103268 0.01% 709 167 5.19734e+12 3912 5.19749e+12 5.19675e+12 10131011 0.01% 710 167 5.19741e+12 1886 5.19749e+12 5.19675e+12 10143830 0.01% 711 167 5.19744e+12 3219 5.19749e+12 5.19675e+12 10149346 0.01% Elapsed real time = 201829.90 sec. (tree size = 294.45 MB, solutions = 9) Nodefile size = 150.29 MB (59.01 MB after compression) 712 165 cutoff 5.19749e+12 5.19675e+12 10167325 0.01% 714 164 5.19687e+12 5594 5.19749e+12 5.19678e+12 10232788 0.01% 715 165 5.19692e+12 8059 5.19749e+12 5.19678e+12 10278095 0.01% 716 165 5.19696e+12 6752 5.19749e+12 5.19678e+12 10340777 0.01% 717 165 5.19715e+12 5428 5.19749e+12 5.19678e+12 10389311 0.01% 718 165 5.19718e+12 2618 5.19749e+12 5.19678e+12 10398271 0.01% 719 166 5.19721e+12 2580 5.19749e+12 5.19678e+12 10400915 0.01% 720 167 5.19723e+12 2374 5.19749e+12 5.19678e+12 10405672 0.01% 722 168 5.19725e+12 2334 5.19749e+12 5.19678e+12 10412831 0.01% 723 168 5.19726e+12 2292 5.19749e+12 5.19678e+12 10416261 0.01% Elapsed real time = 210145.38 sec. (tree size = 314.85 MB, solutions = 9) Nodefile size = 172.59 MB (69.19 MB after compression) 724 169 5.19729e+12 3960 5.19749e+12 5.19678e+12 10422135 0.01% 725 170 5.19730e+12 2292 5.19749e+12 5.19678e+12 10428344 0.01% 727 171 5.19732e+12 2308 5.19749e+12 5.19678e+12 10432527 0.01% 729 170 5.19738e+12 6463 5.19749e+12 5.19678e+12 10446665 0.01% 730 170 5.19738e+12 2756 5.19749e+12 5.19678e+12 10446983 0.01% 731 168 cutoff 5.19749e+12 5.19678e+12 10453648 0.01% 732 169 5.19740e+12 2756 5.19749e+12 5.19678e+12 10457210 0.01% 733 170 5.19741e+12 2756 5.19749e+12 5.19678e+12 10464624 0.01% 734 171 5.19743e+12 4676 5.19749e+12 5.19678e+12 10495404 0.01% 736 169 5.19743e+12 2996 5.19749e+12 5.19678e+12 10496908 0.01% Elapsed real time = 211433.84 sec. (tree size = 333.89 MB, solutions = 9) Nodefile size = 193.12 MB (77.59 MB after compression) 737 169 5.19743e+12 8527 5.19749e+12 5.19678e+12 10498171 0.01% 738 169 5.19744e+12 7236 5.19749e+12 5.19678e+12 10500491 0.01% 740 167 5.19744e+12 2941 5.19749e+12 5.19678e+12 10503404 0.01% 742 166 5.19745e+12 6696 5.19749e+12 5.19678e+12 10569991 0.01% 743 167 5.19745e+12 6953 5.19749e+12 5.19678e+12 10571768 0.01% 744 167 5.19746e+12 7612 5.19749e+12 5.19678e+12 10583259 0.01% 746 163 cutoff 5.19749e+12 5.19678e+12 10585399 0.01% 747 163 5.19687e+12 6237 5.19749e+12 5.19678e+12 10638451 0.01% 748 163 5.19692e+12 3565 5.19749e+12 5.19678e+12 10675329 0.01% 749 163 5.19693e+12 2482 5.19749e+12 5.19678e+12 10699847 0.01% Elapsed real time = 219615.10 sec. (tree size = 345.50 MB, solutions = 9) Nodefile size = 207.81 MB (83.45 MB after compression) 750 163 5.19714e+12 5087 5.19749e+12 5.19678e+12 10777711 0.01% 751 163 5.19719e+12 2601 5.19749e+12 5.19678e+12 10809159 0.01% 752 164 5.19721e+12 6869 5.19749e+12 5.19678e+12 10842240 0.01% 753 164 5.19724e+12 5947 5.19749e+12 5.19678e+12 10854499 0.01% 754 165 5.19724e+12 3742 5.19749e+12 5.19678e+12 10855418 0.01% 755 166 5.19725e+12 2334 5.19749e+12 5.19678e+12 10862101 0.01% 756 164 cutoff 5.19749e+12 5.19678e+12 10889210 0.01% 757 165 5.19726e+12 6368 5.19749e+12 5.19678e+12 10914879 0.01% 758 165 5.19729e+12 7919 5.19749e+12 5.19678e+12 10934204 0.01% 759 166 5.19731e+12 6282 5.19749e+12 5.19678e+12 10955111 0.01% Elapsed real time = 226851.49 sec. (tree size = 366.86 MB, solutions = 9) Nodefile size = 230.14 MB (93.93 MB after compression) 760 164 cutoff 5.19749e+12 5.19678e+12 10960073 0.01% 761 165 5.19731e+12 2473 5.19749e+12 5.19678e+12 10963562 0.01% 762 165 5.19732e+12 5392 5.19749e+12 5.19678e+12 10974707 0.01% 763 166 5.19736e+12 8329 5.19749e+12 5.19678e+12 10999113 0.01% 764 167 5.19737e+12 5678 5.19749e+12 5.19678e+12 11007397 0.01% 765 167 5.19739e+12 2248 5.19749e+12 5.19678e+12 11041106 0.01% 766 167 5.19739e+12 4721 5.19749e+12 5.19678e+12 11042887 0.01% 767 165 cutoff 5.19749e+12 5.19678e+12 11053820 0.01% 768 166 5.19741e+12 6227 5.19749e+12 5.19678e+12 11076632 0.01% 769 164 cutoff 5.19749e+12 5.19678e+12 11081107 0.01% Elapsed real time = 230100.43 sec. (tree size = 380.03 MB, solutions = 9) Nodefile size = 244.83 MB (99.79 MB after compression) 770 165 5.19741e+12 2497 5.19749e+12 5.19678e+12 11087957 0.01% 771 165 5.19741e+12 5654 5.19749e+12 5.19678e+12 11096835 0.01% 772 165 5.19744e+12 2155 5.19749e+12 5.19678e+12 11106855 0.01% 774 163 5.19746e+12 7107 5.19749e+12 5.19678e+12 11125190 0.01% 776 159 cutoff 5.19749e+12 5.19678e+12 11141881 0.01% 777 159 5.19702e+12 4363 5.19749e+12 5.19679e+12 11227578 0.01% 778 159 5.19708e+12 6472 5.19749e+12 5.19679e+12 11261765 0.01% 779 159 5.19723e+12 5286 5.19749e+12 5.19679e+12 11295663 0.01% 780 159 5.19726e+12 5132 5.19749e+12 5.19679e+12 11330115 0.01% 781 159 5.19732e+12 5364 5.19749e+12 5.19679e+12 11371181 0.01% Elapsed real time = 238749.79 sec. (tree size = 391.78 MB, solutions = 9) Nodefile size = 259.29 MB (106.15 MB after compression) 782 160 5.19733e+12 5287 5.19749e+12 5.19679e+12 11385828 0.01% 783 161 5.19734e+12 5263 5.19749e+12 5.19679e+12 11393188 0.01% 784 162 5.19735e+12 7315 5.19749e+12 5.19679e+12 11408955 0.01% 785 160 cutoff 5.19749e+12 5.19679e+12 11416977 0.01% 786 160 5.19736e+12 5200 5.19749e+12 5.19679e+12 11422017 0.01% 787 161 5.19737e+12 5758 5.19749e+12 5.19679e+12 11426828 0.01% 788 162 5.19737e+12 6274 5.19749e+12 5.19679e+12 11431151 0.01% 789 160 cutoff 5.19749e+12 5.19679e+12 11450003 0.01% 790 160 5.19739e+12 5498 5.19749e+12 5.19679e+12 11471169 0.01% 791 161 5.19744e+12 5753 5.19749e+12 5.19679e+12 11494342 0.01% Elapsed real time = 241913.75 sec. (tree size = 408.39 MB, solutions = 9) Nodefile size = 276.91 MB (113.01 MB after compression) 792 162 5.19745e+12 5493 5.19749e+12 5.19679e+12 11503670 0.01% 793 162 5.19745e+12 5725 5.19749e+12 5.19679e+12 11510478 0.01% 794 163 5.19747e+12 4617 5.19749e+12 5.19679e+12 11520333 0.01% 795 163 5.19747e+12 4750 5.19749e+12 5.19679e+12 11528635 0.01% 798 160 5.19700e+12 7402 5.19749e+12 5.19680e+12 11617120 0.01% 799 160 5.19712e+12 3388 5.19749e+12 5.19680e+12 11655334 0.01% 800 160 5.19718e+12 4129 5.19749e+12 5.19680e+12 11685572 0.01% 801 161 5.19721e+12 2322 5.19749e+12 5.19680e+12 11722171 0.01% 802 161 5.19725e+12 2290 5.19749e+12 5.19680e+12 11725561 0.01% 803 161 5.19738e+12 500 5.19749e+12 5.19680e+12 11736864 0.01% Elapsed real time = 248846.70 sec. (tree size = 429.71 MB, solutions = 9) Nodefile size = 300.16 MB (122.78 MB after compression) 806 164 5.19739e+12 404 5.19749e+12 5.19680e+12 11738969 0.01% 807 164 5.19740e+12 501 5.19749e+12 5.19680e+12 11742346 0.01% * 808 149 integral 0 5.19745e+12 5.19680e+12 11743613 0.01% 810 145 cutoff 5.19745e+12 5.19680e+12 11748476 0.01% 811 146 5.19682e+12 4420 5.19745e+12 5.19680e+12 11771018 0.01% 812 147 5.19687e+12 7460 5.19745e+12 5.19680e+12 11794423 0.01% 813 148 5.19700e+12 7114 5.19745e+12 5.19680e+12 11835757 0.01% 814 149 5.19703e+12 7968 5.19745e+12 5.19680e+12 11853824 0.01% 815 150 5.19708e+12 6875 5.19745e+12 5.19680e+12 11876086 0.01% 816 151 5.19710e+12 3607 5.19745e+12 5.19680e+12 11901975 0.01% Elapsed real time = 254590.53 sec. (tree size = 415.32 MB, solutions = 10) Nodefile size = 287.89 MB (118.04 MB after compression) 817 152 5.19711e+12 7911 5.19745e+12 5.19680e+12 11933512 0.01% 818 153 5.19711e+12 9115 5.19745e+12 5.19680e+12 11935383 0.01% 819 154 5.19712e+12 8435 5.19745e+12 5.19680e+12 11943376 0.01% 820 155 5.19713e+12 3880 5.19745e+12 5.19680e+12 11957818 0.01% 821 156 5.19714e+12 5999 5.19745e+12 5.19680e+12 11972850 0.01% 822 157 5.19714e+12 7318 5.19745e+12 5.19680e+12 11979479 0.01% 823 158 5.19714e+12 7673 5.19745e+12 5.19680e+12 11997594 0.01% 824 159 5.19715e+12 7889 5.19745e+12 5.19680e+12 12004710 0.01% 825 160 5.19715e+12 7213 5.19745e+12 5.19680e+12 12010927 0.01% 826 161 5.19715e+12 6631 5.19745e+12 5.19680e+12 12014196 0.01% Elapsed real time = 260069.33 sec. (tree size = 442.91 MB, solutions = 10) Nodefile size = 315.28 MB (130.91 MB after compression) 827 162 5.19715e+12 6002 5.19745e+12 5.19680e+12 12014933 0.01% 828 163 5.19719e+12 3306 5.19745e+12 5.19680e+12 12073913 0.01% 829 164 5.19719e+12 6814 5.19745e+12 5.19680e+12 12101898 0.01% 830 165 5.19721e+12 3476 5.19745e+12 5.19680e+12 12119659 0.01% 831 166 5.19724e+12 7196 5.19745e+12 5.19680e+12 12151905 0.01% 832 165 cutoff 5.19745e+12 5.19680e+12 12154633 0.01% 833 166 5.19724e+12 8091 5.19745e+12 5.19680e+12 12155743 0.01% 834 167 5.19725e+12 3531 5.19745e+12 5.19680e+12 12170438 0.01% 835 166 cutoff 5.19745e+12 5.19680e+12 12188235 0.01% 836 167 5.19726e+12 6598 5.19745e+12 5.19680e+12 12195785 0.01% Elapsed real time = 267415.21 sec. (tree size = 460.09 MB, solutions = 10) Nodefile size = 332.31 MB (139.38 MB after compression) 837 168 5.19726e+12 3788 5.19745e+12 5.19680e+12 12206442 0.01% 838 169 5.19727e+12 6689 5.19745e+12 5.19680e+12 12237434 0.01% 840 169 5.19728e+12 6906 5.19745e+12 5.19680e+12 12249150 0.01% 841 170 5.19728e+12 9256 5.19745e+12 5.19680e+12 12261508 0.01% 842 171 5.19729e+12 6933 5.19745e+12 5.19680e+12 12278576 0.01% 843 170 cutoff 5.19745e+12 5.19680e+12 12300229 0.01% 844 171 5.19729e+12 9816 5.19745e+12 5.19680e+12 12301554 0.01% 845 172 5.19730e+12 6917 5.19745e+12 5.19680e+12 12311480 0.01% 847 172 cutoff 5.19745e+12 5.19680e+12 12318175 0.01% 848 173 5.19731e+12 7821 5.19745e+12 5.19680e+12 12354132 0.01% Elapsed real time = 273329.42 sec. (tree size = 477.72 MB, solutions = 10) Nodefile size = 349.94 MB (146.46 MB after compression) 849 174 5.19732e+12 7931 5.19745e+12 5.19680e+12 12381168 0.01% 850 173 cutoff 5.19745e+12 5.19680e+12 12398391 0.01% 851 174 5.19734e+12 6862 5.19745e+12 5.19680e+12 12421772 0.01% 852 175 5.19736e+12 7012 5.19745e+12 5.19680e+12 12467998 0.01% 853 174 cutoff 5.19745e+12 5.19680e+12 12471712 0.01% 854 175 5.19736e+12 7385 5.19745e+12 5.19680e+12 12476433 0.01% 856 175 5.19736e+12 7054 5.19745e+12 5.19680e+12 12479952 0.01% 857 174 cutoff 5.19745e+12 5.19680e+12 12484507 0.01% 858 175 5.19736e+12 8028 5.19745e+12 5.19680e+12 12517054 0.01% 859 176 5.19740e+12 6780 5.19745e+12 5.19680e+12 12568830 0.01% Elapsed real time = 279741.64 sec. (tree size = 486.53 MB, solutions = 10) Nodefile size = 358.75 MB (150.08 MB after compression) 861 176 5.19741e+12 7481 5.19745e+12 5.19680e+12 12584310 0.01% 863 176 5.19741e+12 7390 5.19745e+12 5.19680e+12 12586475 0.01% 865 176 5.19741e+12 7679 5.19745e+12 5.19680e+12 12597079 0.01% 866 175 cutoff 5.19745e+12 5.19680e+12 12600475 0.01% 867 176 5.19741e+12 8180 5.19745e+12 5.19680e+12 12628455 0.01% 868 177 5.19743e+12 6930 5.19745e+12 5.19680e+12 12663100 0.01% 869 178 5.19743e+12 7084 5.19745e+12 5.19680e+12 12665494 0.01% 872 177 cutoff 5.19745e+12 5.19680e+12 12667091 0.01% 873 178 5.19743e+12 7958 5.19745e+12 5.19680e+12 12671549 0.01% 875 178 5.19743e+12 9301 5.19745e+12 5.19680e+12 12676726 0.01% Elapsed real time = 282761.96 sec. (tree size = 492.41 MB, solutions = 10) Nodefile size = 364.63 MB (152.60 MB after compression) 876 179 5.19743e+12 7912 5.19745e+12 5.19680e+12 12681900 0.01% 877 180 5.19743e+12 6857 5.19745e+12 5.19680e+12 12688380 0.01% 879 180 5.19743e+12 8935 5.19745e+12 5.19680e+12 12691936 0.01% 881 180 5.19743e+12 6894 5.19745e+12 5.19680e+12 12695017 0.01% 884 179 5.19680e+12 4436 5.19745e+12 5.19680e+12 12707752 0.01% 885 180 5.19686e+12 8853 5.19745e+12 5.19680e+12 12740859 0.01% 886 181 5.19707e+12 4635 5.19745e+12 5.19680e+12 12800431 0.01% 887 182 5.19713e+12 2717 5.19745e+12 5.19680e+12 12882593 0.01% 888 183 5.19718e+12 6738 5.19745e+12 5.19680e+12 12911658 0.01% 889 184 5.19719e+12 6150 5.19745e+12 5.19680e+12 12930440 0.01% Elapsed real time = 292695.46 sec. (tree size = 509.28 MB, solutions = 10) Nodefile size = 381.46 MB (160.14 MB after compression) 890 185 5.19719e+12 5178 5.19745e+12 5.19680e+12 12956005 0.01% 891 186 5.19720e+12 6408 5.19745e+12 5.19680e+12 12960662 0.01% 892 187 5.19721e+12 6428 5.19745e+12 5.19680e+12 12982399 0.01% 893 186 cutoff 5.19745e+12 5.19680e+12 13003957 0.01% 894 187 5.19723e+12 6391 5.19745e+12 5.19680e+12 13045517 0.01% 895 188 5.19723e+12 7022 5.19745e+12 5.19680e+12 13070949 0.01% 896 189 5.19725e+12 6179 5.19745e+12 5.19680e+12 13086061 0.01% 897 190 5.19725e+12 6616 5.19745e+12 5.19680e+12 13102615 0.01% 898 191 5.19726e+12 6455 5.19745e+12 5.19680e+12 13125723 0.01% 899 192 5.19727e+12 6333 5.19745e+12 5.19680e+12 13144632 0.01% Elapsed real time = 302616.72 sec. (tree size = 532.65 MB, solutions = 10) Nodefile size = 404.75 MB (170.50 MB after compression) 900 193 5.19728e+12 5783 5.19745e+12 5.19680e+12 13156239 0.01% 901 194 5.19728e+12 6457 5.19745e+12 5.19680e+12 13166586 0.01% 902 195 5.19728e+12 6167 5.19745e+12 5.19680e+12 13175592 0.01% 903 196 5.19728e+12 6543 5.19745e+12 5.19680e+12 13181430 0.01% 904 195 cutoff 5.19745e+12 5.19680e+12 13193813 0.01% 905 196 5.19733e+12 5885 5.19745e+12 5.19680e+12 13247574 0.01% 906 197 5.19734e+12 6587 5.19745e+12 5.19680e+12 13257064 0.01% 907 196 cutoff 5.19745e+12 5.19680e+12 13264583 0.01% 908 197 5.19734e+12 5987 5.19745e+12 5.19680e+12 13274010 0.01% 910 197 5.19734e+12 5344 5.19745e+12 5.19680e+12 13288414 0.01% Elapsed real time = 309133.47 sec. (tree size = 547.34 MB, solutions = 10) Nodefile size = 419.45 MB (176.38 MB after compression) 911 198 5.19734e+12 5804 5.19745e+12 5.19680e+12 13291317 0.01% 912 197 cutoff 5.19745e+12 5.19680e+12 13294415 0.01% 913 198 5.19735e+12 5297 5.19745e+12 5.19680e+12 13295470 0.01% 914 197 cutoff 5.19745e+12 5.19680e+12 13298815 0.01% 915 198 5.19735e+12 6425 5.19745e+12 5.19680e+12 13300437 0.01% 916 199 5.19735e+12 7114 5.19745e+12 5.19680e+12 13308431 0.01% 917 200 5.19737e+12 6368 5.19745e+12 5.19680e+12 13321486 0.01% 918 199 cutoff 5.19745e+12 5.19680e+12 13326150 0.01% 919 200 5.19737e+12 5760 5.19745e+12 5.19680e+12 13327012 0.01% 921 200 5.19737e+12 5545 5.19745e+12 5.19680e+12 13330444 0.01% Elapsed real time = 310366.09 sec. (tree size = 556.16 MB, solutions = 10) Nodefile size = 428.26 MB (179.99 MB after compression) 922 201 5.19739e+12 8677 5.19745e+12 5.19680e+12 13353922 0.01% 923 202 5.19739e+12 9320 5.19745e+12 5.19680e+12 13355255 0.01% 924 201 cutoff 5.19745e+12 5.19680e+12 13372150 0.01% 926 201 5.19702e+12 3757 5.19745e+12 5.19680e+12 13463546 0.01% 927 202 5.19714e+12 4736 5.19745e+12 5.19680e+12 13513930 0.01% 928 203 5.19724e+12 2419 5.19745e+12 5.19680e+12 13554232 0.01% 929 204 5.19741e+12 2219 5.19745e+12 5.19680e+12 13569911 0.01% 930 205 5.19741e+12 2177 5.19745e+12 5.19680e+12 13571506 0.01% 931 204 cutoff 5.19745e+12 5.19680e+12 13575236 0.01% 933 204 5.19688e+12 4556 5.19745e+12 5.19680e+12 13596154 0.01% Elapsed real time = 316747.17 sec. (tree size = 568.28 MB, solutions = 10) Nodefile size = 442.81 MB (186.10 MB after compression) 934 205 5.19703e+12 6566 5.19745e+12 5.19680e+12 13650970 0.01% 935 206 5.19708e+12 4483 5.19745e+12 5.19680e+12 13677198 0.01% 936 207 5.19711e+12 4460 5.19745e+12 5.19680e+12 13687914 0.01% 937 208 5.19714e+12 4043 5.19745e+12 5.19680e+12 13696529 0.01% 938 209 5.19714e+12 6577 5.19745e+12 5.19680e+12 13728911 0.01% 939 210 5.19716e+12 3324 5.19745e+12 5.19680e+12 13738740 0.01% 940 211 5.19717e+12 3363 5.19745e+12 5.19680e+12 13743018 0.01% 941 212 5.19727e+12 5697 5.19745e+12 5.19680e+12 13799349 0.01% 942 213 5.19728e+12 5702 5.19745e+12 5.19680e+12 13813419 0.01% 944 215 5.19730e+12 5275 5.19745e+12 5.19680e+12 13848594 0.01% Elapsed real time = 325758.19 sec. (tree size = 599.03 MB, solutions = 10) Nodefile size = 470.89 MB (198.69 MB after compression) 946 217 5.19731e+12 7855 5.19745e+12 5.19680e+12 13856191 0.01% 947 218 5.19731e+12 8423 5.19745e+12 5.19680e+12 13856714 0.01% 948 219 5.19731e+12 8085 5.19745e+12 5.19680e+12 13878623 0.01% 949 218 cutoff 5.19745e+12 5.19680e+12 13891493 0.01% 950 219 5.19732e+12 5039 5.19745e+12 5.19680e+12 13904682 0.01% 952 221 5.19733e+12 5075 5.19745e+12 5.19680e+12 13918533 0.01% 953 222 5.19733e+12 8897 5.19745e+12 5.19680e+12 13922261 0.01% 955 222 5.19735e+12 5682 5.19745e+12 5.19680e+12 13952699 0.01% 956 221 cutoff 5.19745e+12 5.19680e+12 13955915 0.01% 957 222 5.19740e+12 6818 5.19745e+12 5.19680e+12 13994848 0.01% Elapsed real time = 330502.12 sec. (tree size = 619.59 MB, solutions = 10) Nodefile size = 491.45 MB (207.00 MB after compression) 958 223 5.19741e+12 5577 5.19745e+12 5.19680e+12 14015596 0.01% 959 224 5.19741e+12 8507 5.19745e+12 5.19680e+12 14017036 0.01% 961 224 5.19742e+12 8981 5.19745e+12 5.19680e+12 14024948 0.01% 964 223 cutoff 5.19745e+12 5.19680e+12 14026604 0.01% 967 224 5.19742e+12 7401 5.19745e+12 5.19680e+12 14051145 0.01% 970 223 cutoff 5.19745e+12 5.19680e+12 14056681 0.01% 972 223 5.19731e+12 4375 5.19745e+12 5.19681e+12 14202131 0.01% 973 222 cutoff 5.19745e+12 5.19681e+12 14220841 0.01% 974 221 cutoff 5.19745e+12 5.19681e+12 14246317 0.01% 975 222 5.19741e+12 5263 5.19745e+12 5.19682e+12 14361984 0.01% Elapsed real time = 338446.06 sec. (tree size = 620.36 MB, solutions = 10) Nodefile size = 497.33 MB (209.45 MB after compression) 977 220 cutoff 5.19745e+12 5.19682e+12 14367753 0.01% 978 221 5.19734e+12 4594 5.19745e+12 5.19686e+12 14514711 0.01% 979 220 cutoff 5.19745e+12 5.19686e+12 14525098 0.01% 980 219 cutoff 5.19745e+12 5.19686e+12 14537972 0.01% 981 220 5.19699e+12 8612 5.19745e+12 5.19687e+12 14580680 0.01% 982 221 5.19702e+12 3116 5.19745e+12 5.19687e+12 14601102 0.01% 983 222 5.19707e+12 8515 5.19745e+12 5.19687e+12 14629159 0.01% 984 223 5.19709e+12 8874 5.19745e+12 5.19687e+12 14655744 0.01% 985 224 5.19709e+12 6424 5.19745e+12 5.19687e+12 14656502 0.01% 986 225 5.19711e+12 7685 5.19745e+12 5.19687e+12 14667232 0.01% Elapsed real time = 345209.22 sec. (tree size = 628.62 MB, solutions = 10) Nodefile size = 502.80 MB (211.73 MB after compression) 987 226 5.19712e+12 4686 5.19745e+12 5.19687e+12 14670056 0.01% 988 225 cutoff 5.19745e+12 5.19687e+12 14683763 0.01% 989 226 5.19713e+12 3472 5.19745e+12 5.19687e+12 14686494 0.01% 990 227 5.19715e+12 3711 5.19745e+12 5.19687e+12 14734748 0.01% 991 228 5.19717e+12 3339 5.19745e+12 5.19687e+12 14748671 0.01% 992 227 cutoff 5.19745e+12 5.19687e+12 14753190 0.01% 993 228 5.19723e+12 5799 5.19745e+12 5.19687e+12 14834587 0.01% 994 229 5.19724e+12 5700 5.19745e+12 5.19687e+12 14852343 0.01% 995 230 5.19724e+12 6697 5.19745e+12 5.19687e+12 14860503 0.01% 996 231 5.19724e+12 5526 5.19745e+12 5.19687e+12 14868785 0.01% Elapsed real time = 353224.53 sec. (tree size = 645.71 MB, solutions = 10) Nodefile size = 519.67 MB (219.17 MB after compression) 997 230 cutoff 5.19745e+12 5.19687e+12 14900572 0.01% 998 231 5.19725e+12 6864 5.19745e+12 5.19687e+12 14920897 0.01% 999 232 5.19725e+12 7594 5.19745e+12 5.19687e+12 14931996 0.01% 1000 233 5.19725e+12 6515 5.19745e+12 5.19687e+12 14937215 0.01% 1001 234 5.19725e+12 6566 5.19745e+12 5.19687e+12 14941546 0.01% 1002 233 cutoff 5.19745e+12 5.19687e+12 14945858 0.01% 1003 234 5.19726e+12 7447 5.19745e+12 5.19687e+12 14951900 0.01% 1004 235 5.19726e+12 6798 5.19745e+12 5.19687e+12 14955049 0.01% 1005 236 5.19726e+12 7428 5.19745e+12 5.19687e+12 14965043 0.01% 1006 235 cutoff 5.19745e+12 5.19687e+12 14975134 0.01% Elapsed real time = 356947.52 sec. (tree size = 660.40 MB, solutions = 10) Nodefile size = 534.36 MB (224.96 MB after compression) 1007 236 5.19727e+12 7944 5.19745e+12 5.19687e+12 14976850 0.01% 1008 237 5.19727e+12 6787 5.19745e+12 5.19687e+12 14979192 0.01% 1009 238 5.19727e+12 7336 5.19745e+12 5.19687e+12 14982421 0.01% 1010 239 5.19727e+12 6879 5.19745e+12 5.19687e+12 14998113 0.01% 1011 240 5.19729e+12 8185 5.19745e+12 5.19687e+12 15021323 0.01% 1012 239 cutoff 5.19745e+12 5.19687e+12 15026513 0.01% 1013 240 5.19729e+12 7199 5.19745e+12 5.19687e+12 15042258 0.01%