Log started (V12.4.0.0) Wed Dec 12 16:19:27 2012 Problem '2CI2.matrix.51p.18aa.usingEref_self_digit8.wcsp.lp' read. Read time = 22.88 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 = 31.22 sec. Elapsed time 10.55 sec. for 0% of probing. Elapsed time 22.17 sec. for 0% of probing. Elapsed time 32.99 sec. for 0% of probing. Elapsed time 43.88 sec. for 0% of probing. Elapsed time 57.37 sec. for 0% of probing. Elapsed time 71.10 sec. for 0% of probing. Elapsed time 81.14 sec. for 0% of probing. Elapsed time 92.94 sec. for 0% of probing. Elapsed time 104.14 sec. for 0% of probing. Elapsed time 117.80 sec. for 0% of probing. Elapsed time 127.83 sec. for 0% of probing. Elapsed time 139.65 sec. for 0% of probing. Elapsed time 150.60 sec. for 0% of probing. Elapsed time 161.89 sec. for 0% of probing. Elapsed time 174.41 sec. for 0% of probing. Elapsed time 184.94 sec. for 0% of probing. Elapsed time 195.86 sec. for 0% of probing. Elapsed time 206.12 sec. for 0% of probing. Elapsed time 216.56 sec. for 0% of probing. Elapsed time 228.38 sec. for 0% of probing. Elapsed time 238.45 sec. for 0% of probing. Probing time = 241.78 sec. Clique table members: 28118794. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 9257.68 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 6.29576e+12 3527 6.29576e+12 1464407 * 0+ 0 6.39188e+12 6.29576e+12 1464407 1.50% 0 0 6.29579e+12 4436 6.39188e+12 ZeroHalf: 64 1496737 1.50% * 0+ 0 6.38960e+12 6.29579e+12 1496737 1.47% 0 0 6.29587e+12 4855 6.38960e+12 ZeroHalf: 88 1530226 1.47% * 0+ 0 6.38733e+12 6.29587e+12 1530226 1.43% * 0+ 0 6.38727e+12 6.29587e+12 1530226 1.43% Heuristic still looking. Heuristic still looking. Heuristic still looking. Heuristic still looking. 0 2 6.29587e+12 4855 6.38727e+12 6.29587e+12 1530226 1.43% Elapsed real time = 18729.54 sec. (tree size = 0.00 MB, solutions = 4) 1 3 6.29592e+12 9011 6.38727e+12 6.29587e+12 1551768 1.43% 2 4 6.29623e+12 4080 6.38727e+12 6.29587e+12 1600224 1.43% 3 5 6.29627e+12 3796 6.38727e+12 6.29587e+12 1606996 1.43% 4 6 6.29679e+12 3753 6.38727e+12 6.29587e+12 1668568 1.43% 5 7 6.29686e+12 9971 6.38727e+12 6.29587e+12 1684241 1.43% 6 8 6.29686e+12 3727 6.38727e+12 6.29587e+12 1685994 1.43% 7 9 6.29696e+12 8622 6.38727e+12 6.29587e+12 1700675 1.43% 8 10 6.29687e+12 8209 6.38727e+12 6.29587e+12 1708067 1.43% 9 11 6.29704e+12 3128 6.38727e+12 6.29587e+12 1730835 1.43% * 10+ 10 6.30721e+12 6.29587e+12 1735750 0.18% 10 12 6.29706e+12 3364 6.30721e+12 6.29587e+12 1735750 0.18% Elapsed real time = 25371.29 sec. (tree size = 34.73 MB, solutions = 5) 11 13 6.29708e+12 3090 6.30721e+12 6.29587e+12 1741914 0.18% 12 14 6.29724e+12 5938 6.30721e+12 6.29587e+12 1770457 0.18% 13 15 6.29726e+12 3005 6.30721e+12 6.29587e+12 1773082 0.18% 14 16 6.29727e+12 2958 6.30721e+12 6.29587e+12 1775962 0.18% 15 17 6.29730e+12 2864 6.30721e+12 6.29587e+12 1782389 0.18% 16 18 6.29745e+12 2857 6.30721e+12 6.29587e+12 1792734 0.18% 17 19 6.29746e+12 2809 6.30721e+12 6.29587e+12 1797400 0.18% 18 20 6.29750e+12 2757 6.30721e+12 6.29587e+12 1805948 0.18% 19 21 6.29763e+12 2702 6.30721e+12 6.29587e+12 1819437 0.18% * 20+ 20 6.30699e+12 6.29587e+12 1825037 0.18% 20 22 6.29767e+12 2588 6.30699e+12 6.29587e+12 1825037 0.18% Elapsed real time = 26944.37 sec. (tree size = 77.30 MB, solutions = 6) 21 23 6.29767e+12 2528 6.30699e+12 6.29587e+12 1828645 0.18% 22 24 6.29771e+12 3306 6.30699e+12 6.29587e+12 1834819 0.18% 23 25 6.29772e+12 2132 6.30699e+12 6.29587e+12 1836785 0.18% 24 26 6.29866e+12 1530 6.30699e+12 6.29587e+12 1871384 0.18% 25 27 6.29933e+12 1462 6.30699e+12 6.29587e+12 1902950 0.18% 26 28 6.29971e+12 1392 6.30699e+12 6.29587e+12 1929974 0.18% 27 29 6.29973e+12 1392 6.30699e+12 6.29587e+12 1934547 0.18% 28 30 6.29982e+12 1320 6.30699e+12 6.29587e+12 1960664 0.18% 29 31 6.29982e+12 1320 6.30699e+12 6.29587e+12 1960897 0.18% * 30+ 30 6.30630e+12 6.29587e+12 1986188 0.17% 30 32 6.30041e+12 1246 6.30630e+12 6.29587e+12 1986188 0.17% Elapsed real time = 28912.59 sec. (tree size = 116.07 MB, solutions = 7) 31 33 6.30053e+12 1246 6.30630e+12 6.29587e+12 1989520 0.17% 32 34 6.30093e+12 1170 6.30630e+12 6.29587e+12 2024802 0.17% 33 35 6.30099e+12 1170 6.30630e+12 6.29587e+12 2028205 0.17% 34 36 6.30134e+12 672 6.30630e+12 6.29587e+12 2057298 0.17% 35 37 6.30141e+12 672 6.30630e+12 6.29587e+12 2061579 0.17% * 36 36 integral 0 6.30141e+12 6.29587e+12 2063615 0.09% 38 34 cutoff 6.30141e+12 6.29587e+12 2063680 0.09% 39 35 6.29592e+12 5658 6.30141e+12 6.29592e+12 2095599 0.09% 40 36 6.29625e+12 3687 6.30141e+12 6.29592e+12 2168292 0.09% 41 37 6.29630e+12 7355 6.30141e+12 6.29592e+12 2180194 0.09% Elapsed real time = 34027.45 sec. (tree size = 131.65 MB, solutions = 8) Nodefile size = 3.90 MB (1.25 MB after compression) 42 38 6.29631e+12 3542 6.30141e+12 6.29592e+12 2188858 0.09% 43 39 6.29644e+12 3389 6.30141e+12 6.29592e+12 2213242 0.09% 44 40 6.29648e+12 3361 6.30141e+12 6.29592e+12 2218247 0.09% 45 41 6.29649e+12 3331 6.30141e+12 6.29592e+12 2221924 0.09% 46 42 6.29656e+12 5705 6.30141e+12 6.29592e+12 2231081 0.09% 47 43 6.29650e+12 3296 6.30141e+12 6.29592e+12 2232361 0.09% 48 44 6.29653e+12 3028 6.30141e+12 6.29592e+12 2254876 0.09% 49 45 6.29655e+12 7111 6.30141e+12 6.29592e+12 2259779 0.09% 50 46 6.29672e+12 3528 6.30141e+12 6.29592e+12 2282107 0.09% 51 47 6.29660e+12 3578 6.30141e+12 6.29592e+12 2289498 0.09% Elapsed real time = 35963.48 sec. (tree size = 170.39 MB, solutions = 8) Nodefile size = 42.73 MB (13.90 MB after compression) 52 48 6.29681e+12 4188 6.30141e+12 6.29592e+12 2323717 0.09% 53 49 6.29664e+12 3605 6.30141e+12 6.29592e+12 2328851 0.09% 54 50 6.29666e+12 3719 6.30141e+12 6.29592e+12 2340175 0.09% 55 51 6.29667e+12 3652 6.30141e+12 6.29592e+12 2353023 0.09% 56 52 6.29667e+12 3479 6.30141e+12 6.29592e+12 2357738 0.09% 57 53 6.29671e+12 3356 6.30141e+12 6.29592e+12 2365026 0.09% 58 54 6.29673e+12 3396 6.30141e+12 6.29592e+12 2370450 0.09% 59 55 6.29677e+12 4113 6.30141e+12 6.29592e+12 2376816 0.09% 60 56 6.29678e+12 3331 6.30141e+12 6.29592e+12 2378792 0.09% 61 57 6.29680e+12 4156 6.30141e+12 6.29592e+12 2385674 0.09% Elapsed real time = 38284.04 sec. (tree size = 213.40 MB, solutions = 8) Nodefile size = 85.31 MB (28.00 MB after compression) 62 58 6.29686e+12 3216 6.30141e+12 6.29592e+12 2390324 0.09% 63 59 6.29686e+12 3996 6.30141e+12 6.29592e+12 2391502 0.09% 64 60 6.29686e+12 2596 6.30141e+12 6.29592e+12 2394425 0.09% 65 61 6.29687e+12 2546 6.30141e+12 6.29592e+12 2398330 0.09% 66 62 6.29687e+12 2553 6.30141e+12 6.29592e+12 2401361 0.09% 67 63 6.29689e+12 5279 6.30141e+12 6.29592e+12 2417043 0.09% 68 64 6.29690e+12 3133 6.30141e+12 6.29592e+12 2432355 0.09% 69 65 6.29688e+12 2543 6.30141e+12 6.29592e+12 2444001 0.09% 70 66 6.29689e+12 2002 6.30141e+12 6.29592e+12 2448621 0.09% 71 67 6.29692e+12 2002 6.30141e+12 6.29592e+12 2452911 0.09% Elapsed real time = 39510.04 sec. (tree size = 252.56 MB, solutions = 8) Nodefile size = 122.27 MB (42.01 MB after compression) 72 68 6.29694e+12 1950 6.30141e+12 6.29592e+12 2460061 0.09% 73 69 6.29698e+12 3307 6.30141e+12 6.29592e+12 2466895 0.09% 74 70 6.29698e+12 1896 6.30141e+12 6.29592e+12 2473508 0.09% 75 71 6.29707e+12 1840 6.30141e+12 6.29592e+12 2486683 0.09% 76 72 6.29708e+12 3772 6.30141e+12 6.29592e+12 2491038 0.09% 77 73 6.29720e+12 1782 6.30141e+12 6.29592e+12 2500126 0.09% 78 74 6.29721e+12 1782 6.30141e+12 6.29592e+12 2502848 0.09% 79 75 6.29721e+12 1722 6.30141e+12 6.29592e+12 2504738 0.09% 80 76 6.29721e+12 1660 6.30141e+12 6.29592e+12 2508028 0.09% 81 77 6.29724e+12 1660 6.30141e+12 6.29592e+12 2511377 0.09% Elapsed real time = 40249.87 sec. (tree size = 296.82 MB, solutions = 8) Nodefile size = 166.50 MB (61.42 MB after compression) 82 78 6.29833e+12 1596 6.30141e+12 6.29592e+12 2568510 0.09% 83 79 6.29844e+12 1596 6.30141e+12 6.29592e+12 2574215 0.09% 84 80 6.29901e+12 1530 6.30141e+12 6.29592e+12 2608839 0.09% 85 81 6.29903e+12 1530 6.30141e+12 6.29592e+12 2612089 0.09% 86 82 6.29935e+12 1462 6.30141e+12 6.29592e+12 2635355 0.09% 87 83 6.29936e+12 1392 6.30141e+12 6.29592e+12 2636360 0.09% 88 84 6.29937e+12 1392 6.30141e+12 6.29592e+12 2639353 0.09% 89 85 6.29945e+12 1246 6.30141e+12 6.29592e+12 2656704 0.09% 90 86 6.29951e+12 1246 6.30141e+12 6.29592e+12 2662797 0.09% 91 87 6.30034e+12 1170 6.30141e+12 6.29592e+12 2694319 0.09% Elapsed real time = 42272.21 sec. (tree size = 346.88 MB, solutions = 8) Nodefile size = 216.38 MB (83.44 MB after compression) 92 88 6.30038e+12 1170 6.30141e+12 6.29592e+12 2699899 0.09% 93 89 6.30087e+12 930 6.30141e+12 6.29592e+12 2729645 0.09% 94 90 6.30092e+12 930 6.30141e+12 6.29592e+12 2731618 0.09% * 95 89 integral 0 6.30120e+12 6.29592e+12 2742854 0.08% 96 90 6.30092e+12 930 6.30120e+12 6.29592e+12 2743783 0.08% 97 89 cutoff 6.30120e+12 6.29592e+12 2750144 0.08% 98 90 6.30094e+12 930 6.30120e+12 6.29592e+12 2752930 0.08% 99 89 cutoff 6.30120e+12 6.29592e+12 2760198 0.08% 100 90 6.30095e+12 930 6.30120e+12 6.29592e+12 2760661 0.08% 101 89 cutoff 6.30120e+12 6.29592e+12 2773925 0.08% Elapsed real time = 42993.14 sec. (tree size = 356.26 MB, solutions = 9) Nodefile size = 225.69 MB (86.90 MB after compression) 102 90 6.30099e+12 930 6.30120e+12 6.29592e+12 2776164 0.08% * 103 89 integral 0 6.30117e+12 6.29592e+12 2786038 0.08% 104 90 6.30102e+12 930 6.30117e+12 6.29592e+12 2788918 0.08% 105 89 cutoff 6.30117e+12 6.29592e+12 2793897 0.08% 107 89 cutoff 6.30117e+12 6.29592e+12 2798288 0.08% 108 90 6.30104e+12 930 6.30117e+12 6.29592e+12 2800689 0.08% 109 89 cutoff 6.30117e+12 6.29592e+12 2804788 0.08% 110 90 6.30109e+12 930 6.30117e+12 6.29592e+12 2807405 0.08% 112 90 6.30111e+12 930 6.30117e+12 6.29592e+12 2811676 0.08% 114 90 6.30114e+12 1372 6.30117e+12 6.29592e+12 2817165 0.08% Elapsed real time = 43333.28 sec. (tree size = 356.26 MB, solutions = 10) Nodefile size = 225.69 MB (86.90 MB after compression) 116 88 cutoff 6.30117e+12 6.29592e+12 2820467 0.08% 118 88 6.29623e+12 3241 6.30117e+12 6.29592e+12 2880345 0.08% 119 89 6.29628e+12 3204 6.30117e+12 6.29592e+12 2891740 0.08% 120 90 6.29640e+12 2806 6.30117e+12 6.29592e+12 2911772 0.08% 121 91 6.29644e+12 2780 6.30117e+12 6.29592e+12 2918008 0.08% 122 92 6.29646e+12 2752 6.30117e+12 6.29592e+12 2922556 0.08% 123 93 6.29647e+12 2721 6.30117e+12 6.29592e+12 2927453 0.08% 124 94 6.29652e+12 2412 6.30117e+12 6.29592e+12 2934805 0.08% 125 95 6.29653e+12 8008 6.30117e+12 6.29592e+12 2940744 0.08% 126 96 6.29658e+12 3249 6.30117e+12 6.29592e+12 2946301 0.08% Elapsed real time = 45577.08 sec. (tree size = 383.49 MB, solutions = 10) Nodefile size = 259.25 MB (99.66 MB after compression) 127 97 6.29662e+12 3228 6.30117e+12 6.29592e+12 2950745 0.08% 128 98 6.29665e+12 2346 6.30117e+12 6.29592e+12 2956670 0.08% 129 99 6.29666e+12 2310 6.30117e+12 6.29592e+12 2958362 0.08% 130 100 6.29673e+12 2310 6.30117e+12 6.29592e+12 2972652 0.08% 131 101 6.29675e+12 2310 6.30117e+12 6.29592e+12 2976572 0.08% 132 102 6.29677e+12 2272 6.30117e+12 6.29592e+12 2980006 0.08% 133 103 6.29679e+12 2100 6.30117e+12 6.29592e+12 2987365 0.08% 134 104 6.29684e+12 2052 6.30117e+12 6.29592e+12 2992600 0.08% 135 105 6.29687e+12 2432 6.30117e+12 6.29592e+12 3005960 0.08% 136 106 6.29691e+12 2052 6.30117e+12 6.29592e+12 3011340 0.08% Elapsed real time = 46618.31 sec. (tree size = 427.33 MB, solutions = 10) Nodefile size = 300.34 MB (116.14 MB after compression) 137 107 6.29692e+12 2002 6.30117e+12 6.29592e+12 3014299 0.08% 138 108 6.29693e+12 2002 6.30117e+12 6.29592e+12 3018145 0.08% 139 109 6.29694e+12 1950 6.30117e+12 6.29592e+12 3020091 0.08% 140 110 6.29699e+12 1896 6.30117e+12 6.29592e+12 3029606 0.08% 141 111 6.29699e+12 1896 6.30117e+12 6.29592e+12 3036279 0.08% 142 112 6.29703e+12 1840 6.30117e+12 6.29592e+12 3041939 0.08% 143 113 6.29712e+12 1782 6.30117e+12 6.29592e+12 3049615 0.08% 144 114 6.29713e+12 2620 6.30117e+12 6.29592e+12 3054274 0.08% 145 115 6.29714e+12 2432 6.30117e+12 6.29592e+12 3055635 0.08% 146 116 6.29714e+12 2377 6.30117e+12 6.29592e+12 3057594 0.08% Elapsed real time = 47158.17 sec. (tree size = 471.65 MB, solutions = 10) Nodefile size = 344.65 MB (135.62 MB after compression) 148 118 6.29716e+12 2043 6.30117e+12 6.29592e+12 3060716 0.08% 150 120 6.29717e+12 1722 6.30117e+12 6.29592e+12 3063399 0.08% 151 121 6.29718e+12 1722 6.30117e+12 6.29592e+12 3065663 0.08% 154 124 6.29719e+12 1722 6.30117e+12 6.29592e+12 3069020 0.08% 155 125 6.29719e+12 1722 6.30117e+12 6.29592e+12 3071069 0.08% 156 126 6.29720e+12 1722 6.30117e+12 6.29592e+12 3072311 0.08% 157 127 6.29720e+12 3599 6.30117e+12 6.29592e+12 3074435 0.08% 159 129 6.29722e+12 1722 6.30117e+12 6.29592e+12 3076987 0.08% 160 130 6.29722e+12 1722 6.30117e+12 6.29592e+12 3077931 0.08% 163 133 6.29723e+12 1722 6.30117e+12 6.29592e+12 3078908 0.08% Elapsed real time = 47477.05 sec. (tree size = 547.23 MB, solutions = 10) Nodefile size = 420.22 MB (168.74 MB after compression) 168 138 6.29724e+12 1722 6.30117e+12 6.29592e+12 3079756 0.08% 170 140 6.29727e+12 1660 6.30117e+12 6.29592e+12 3082446 0.08% 171 141 6.29727e+12 1660 6.30117e+12 6.29592e+12 3083981 0.08% 172 142 6.29727e+12 1660 6.30117e+12 6.29592e+12 3085029 0.08% 174 144 6.29729e+12 1722 6.30117e+12 6.29592e+12 3086472 0.08% 176 146 6.29743e+12 1603 6.30117e+12 6.29592e+12 3100506 0.08% 178 148 6.29745e+12 1596 6.30117e+12 6.29592e+12 3104428 0.08% 179 149 6.29754e+12 1596 6.30117e+12 6.29592e+12 3107336 0.08% 180 150 6.29768e+12 1596 6.30117e+12 6.29592e+12 3112836 0.08% 181 151 6.29782e+12 1596 6.30117e+12 6.29592e+12 3120567 0.08% Elapsed real time = 47942.31 sec. (tree size = 627.34 MB, solutions = 10) Nodefile size = 500.32 MB (203.86 MB after compression) 182 152 6.29808e+12 1596 6.30117e+12 6.29592e+12 3141613 0.08% 183 153 6.29815e+12 1596 6.30117e+12 6.29592e+12 3145859 0.08% 185 155 6.29824e+12 1596 6.30117e+12 6.29592e+12 3155202 0.08% 187 157 6.29824e+12 1596 6.30117e+12 6.29592e+12 3156685 0.08% 189 159 6.29829e+12 1596 6.30117e+12 6.29592e+12 3166717 0.08% 190 160 6.29830e+12 1596 6.30117e+12 6.29592e+12 3168945 0.08% 193 163 6.29832e+12 1596 6.30117e+12 6.29592e+12 3171080 0.08% 194 164 6.29833e+12 1596 6.30117e+12 6.29592e+12 3172393 0.08% 195 165 6.29834e+12 1596 6.30117e+12 6.29592e+12 3173393 0.08% 198 168 6.29838e+12 1596 6.30117e+12 6.29592e+12 3175209 0.08% Elapsed real time = 48660.17 sec. (tree size = 703.84 MB, solutions = 10) Nodefile size = 576.77 MB (237.61 MB after compression) 199 169 6.29841e+12 1596 6.30117e+12 6.29592e+12 3176683 0.08% 200 170 6.29842e+12 1845 6.30117e+12 6.29592e+12 3178333 0.08% 202 172 6.29843e+12 1596 6.30117e+12 6.29592e+12 3179614 0.08% 204 174 6.29849e+12 1596 6.30117e+12 6.29592e+12 3182864 0.08% 206 176 6.29851e+12 1596 6.30117e+12 6.29592e+12 3183763 0.08% 207 177 6.29853e+12 1598 6.30117e+12 6.29592e+12 3185868 0.08% 208 178 6.29854e+12 1596 6.30117e+12 6.29592e+12 3188338 0.08% 209 179 6.29854e+12 1596 6.30117e+12 6.29592e+12 3189053 0.08% 210 180 6.29855e+12 1596 6.30117e+12 6.29592e+12 3189873 0.08% 211 181 6.29858e+12 1596 6.30117e+12 6.29592e+12 3190914 0.08% Elapsed real time = 48989.24 sec. (tree size = 762.56 MB, solutions = 10) Nodefile size = 635.47 MB (263.69 MB after compression) 213 183 6.29860e+12 1596 6.30117e+12 6.29592e+12 3193147 0.08% 217 187 6.29863e+12 1596 6.30117e+12 6.29592e+12 3196169 0.08% 218 188 6.29865e+12 1596 6.30117e+12 6.29592e+12 3198817 0.08% 219 189 6.29868e+12 1596 6.30117e+12 6.29592e+12 3207536 0.08% 220 190 6.29869e+12 1698 6.30117e+12 6.29592e+12 3209795 0.08% 223 193 6.29872e+12 1996 6.30117e+12 6.29592e+12 3211763 0.08% 225 195 6.29875e+12 2273 6.30117e+12 6.29592e+12 3216217 0.08% 227 197 6.29877e+12 2048 6.30117e+12 6.29592e+12 3218691 0.08% 229 199 6.29881e+12 1641 6.30117e+12 6.29592e+12 3221499 0.08% 231 201 6.29882e+12 1596 6.30117e+12 6.29592e+12 3222048 0.08% Elapsed real time = 49457.00 sec. (tree size = 853.29 MB, solutions = 10) Nodefile size = 726.18 MB (304.26 MB after compression) 232 202 6.29883e+12 4217 6.30117e+12 6.29592e+12 3227111 0.08% 233 203 6.29884e+12 1846 6.30117e+12 6.29592e+12 3228907 0.08% 236 206 6.29887e+12 1846 6.30117e+12 6.29592e+12 3231955 0.08% 237 207 6.29891e+12 1846 6.30117e+12 6.29592e+12 3234865 0.08% 238 208 6.29892e+12 1846 6.30117e+12 6.29592e+12 3236999 0.08% 239 209 6.29895e+12 1813 6.30117e+12 6.29592e+12 3243863 0.08% 240 210 6.29897e+12 1813 6.30117e+12 6.29592e+12 3249278 0.08% 241 211 6.29898e+12 1861 6.30117e+12 6.29592e+12 3253348 0.08% 243 213 6.29903e+12 1813 6.30117e+12 6.29592e+12 3258059 0.08% 244 214 6.29905e+12 1813 6.30117e+12 6.29592e+12 3261059 0.08% Elapsed real time = 50012.00 sec. (tree size = 912.45 MB, solutions = 10) Nodefile size = 785.33 MB (330.85 MB after compression) 245 215 6.29906e+12 1861 6.30117e+12 6.29592e+12 3264620 0.08% 246 216 6.29909e+12 1813 6.30117e+12 6.29592e+12 3268923 0.08% 247 217 6.29911e+12 1813 6.30117e+12 6.29592e+12 3271838 0.08% 249 219 6.29912e+12 4985 6.30117e+12 6.29592e+12 3275640 0.08% 250 220 6.29912e+12 1813 6.30117e+12 6.29592e+12 3276288 0.08% 252 222 6.29925e+12 2251 6.30117e+12 6.29592e+12 3283842 0.08% 253 223 6.29933e+12 2118 6.30117e+12 6.29592e+12 3291049 0.08% 254 224 6.29942e+12 2118 6.30117e+12 6.29592e+12 3303445 0.08% 255 225 6.29942e+12 1984 6.30117e+12 6.29592e+12 3306294 0.08% 256 226 6.29943e+12 2118 6.30117e+12 6.29592e+12 3309662 0.08% Elapsed real time = 50697.55 sec. (tree size = 967.26 MB, solutions = 10) Nodefile size = 840.12 MB (355.65 MB after compression) 257 227 6.29943e+12 2118 6.30117e+12 6.29592e+12 3311227 0.08% 258 228 6.29946e+12 2800 6.30117e+12 6.29592e+12 3313500 0.08% 259 229 6.29948e+12 2521 6.30117e+12 6.29592e+12 3316344 0.08% 260 230 6.29950e+12 2118 6.30117e+12 6.29592e+12 3319240 0.08% 261 231 6.29953e+12 2146 6.30117e+12 6.29592e+12 3326059 0.08% 262 232 6.29954e+12 2097 6.30117e+12 6.29592e+12 3328606 0.08% 263 233 6.29958e+12 2541 6.30117e+12 6.29592e+12 3336014 0.08% 264 234 6.29958e+12 2097 6.30117e+12 6.29592e+12 3337541 0.08% 265 235 6.29959e+12 2041 6.30117e+12 6.29592e+12 3340197 0.08% 266 236 6.29966e+12 2041 6.30117e+12 6.29592e+12 3346776 0.08% Elapsed real time = 51112.64 sec. (tree size = 1013.19 MB, solutions = 10) Nodefile size = 886.03 MB (376.58 MB after compression) 267 237 6.29966e+12 2041 6.30117e+12 6.29592e+12 3347990 0.08% 268 238 6.29970e+12 2041 6.30117e+12 6.29592e+12 3350214 0.08% 269 239 6.29973e+12 2111 6.30117e+12 6.29592e+12 3355153 0.08% 270 240 6.29975e+12 1983 6.30117e+12 6.29592e+12 3363687 0.08% 271 241 6.29976e+12 1923 6.30117e+12 6.29592e+12 3367385 0.08% 272 242 6.29977e+12 1861 6.30117e+12 6.29592e+12 3373179 0.08% 274 244 6.29979e+12 1660 6.30117e+12 6.29592e+12 3375020 0.08% 276 246 6.29980e+12 1660 6.30117e+12 6.29592e+12 3377254 0.08% 277 247 6.29981e+12 1911 6.30117e+12 6.29592e+12 3380275 0.08% 279 249 6.29983e+12 3032 6.30117e+12 6.29592e+12 3384234 0.08% Elapsed real time = 51540.06 sec. (tree size = 1073.21 MB, solutions = 10) Nodefile size = 946.03 MB (404.06 MB after compression) 280 250 6.29984e+12 1911 6.30117e+12 6.29592e+12 3384858 0.08% 281 251 6.29986e+12 1911 6.30117e+12 6.29592e+12 3386550 0.08% 282 252 6.29991e+12 1660 6.30117e+12 6.29592e+12 3392994 0.08% 284 254 6.29993e+12 1660 6.30117e+12 6.29592e+12 3397073 0.08% 285 255 6.29993e+12 1660 6.30117e+12 6.29592e+12 3398160 0.08% 286 256 6.29994e+12 1660 6.30117e+12 6.29592e+12 3399797 0.08% 287 257 6.29995e+12 2106 6.30117e+12 6.29592e+12 3401217 0.08% 288 258 6.29997e+12 1660 6.30117e+12 6.29592e+12 3404309 0.08% 289 259 6.29997e+12 1660 6.30117e+12 6.29592e+12 3406254 0.08% 290 260 6.29998e+12 2199 6.30117e+12 6.29592e+12 3407073 0.08% Elapsed real time = 51885.25 sec. (tree size = 1124.24 MB, solutions = 10) Nodefile size = 997.02 MB (427.51 MB after compression) 291 261 6.29998e+12 1660 6.30117e+12 6.29592e+12 3408122 0.08% 292 262 6.29999e+12 2825 6.30117e+12 6.29592e+12 3412343 0.08% 293 263 6.30007e+12 2024 6.30117e+12 6.29592e+12 3427072 0.08% 294 264 6.30008e+12 2024 6.30117e+12 6.29592e+12 3429251 0.08% 295 265 6.30009e+12 2071 6.30117e+12 6.29592e+12 3430921 0.08% 296 266 6.30010e+12 2024 6.30117e+12 6.29592e+12 3432274 0.08% 297 267 6.30012e+12 2163 6.30117e+12 6.29592e+12 3435995 0.08% 298 268 6.30014e+12 2163 6.30117e+12 6.29592e+12 3438085 0.08% 299 269 6.30015e+12 2254 6.30117e+12 6.29592e+12 3439423 0.08% 300 270 6.30015e+12 2188 6.30117e+12 6.29592e+12 3440699 0.08% Elapsed real time = 52349.87 sec. (tree size = 1171.00 MB, solutions = 10) Nodefile size = 1043.76 MB (447.09 MB after compression) 301 271 6.30016e+12 2188 6.30117e+12 6.29592e+12 3442372 0.08% 303 273 6.30017e+12 1596 6.30117e+12 6.29592e+12 3443576 0.08% 304 274 6.30019e+12 3798 6.30117e+12 6.29592e+12 3455690 0.08% 305 275 6.30020e+12 2112 6.30117e+12 6.29592e+12 3456630 0.08% 306 276 6.30020e+12 2978 6.30117e+12 6.29592e+12 3461616 0.08% 307 277 6.30021e+12 5475 6.30117e+12 6.29592e+12 3464495 0.08% 309 279 6.30025e+12 2157 6.30117e+12 6.29592e+12 3468469 0.08% 310 280 6.30028e+12 2063 6.30117e+12 6.29592e+12 3471180 0.08% 311 281 6.30032e+12 2110 6.30117e+12 6.29592e+12 3474497 0.08% 312 282 6.30036e+12 2062 6.30117e+12 6.29592e+12 3486845 0.08% Elapsed real time = 53454.28 sec. (tree size = 1227.25 MB, solutions = 10) Nodefile size = 1100.00 MB (464.80 MB after compression) 313 283 6.30039e+12 2202 6.30117e+12 6.29592e+12 3494442 0.08% 314 284 6.30041e+12 2214 6.30117e+12 6.29592e+12 3504237 0.08% 315 285 6.30042e+12 2262 6.30117e+12 6.29592e+12 3510427 0.08% 316 286 6.30042e+12 2704 6.30117e+12 6.29592e+12 3513202 0.08% 317 287 6.30043e+12 2668 6.30117e+12 6.29592e+12 3515216 0.08% 318 288 6.30043e+12 2359 6.30117e+12 6.29592e+12 3520452 0.08% 319 289 6.30044e+12 2209 6.30117e+12 6.29592e+12 3523453 0.08% 320 290 6.30045e+12 2160 6.30117e+12 6.29592e+12 3528044 0.08% 321 291 6.30046e+12 2474 6.30117e+12 6.29592e+12 3536809 0.08% 322 292 6.30046e+12 4253 6.30117e+12 6.29592e+12 3538135 0.08% Elapsed real time = 54720.51 sec. (tree size = 1274.12 MB, solutions = 10) Nodefile size = 1146.87 MB (479.77 MB after compression) 323 293 6.30047e+12 2160 6.30117e+12 6.29592e+12 3545003 0.08% 324 294 6.30047e+12 2160 6.30117e+12 6.29592e+12 3546055 0.08% 325 295 6.30048e+12 3198 6.30117e+12 6.29592e+12 3551670 0.08% 326 296 6.30048e+12 2213 6.30117e+12 6.29592e+12 3552700 0.08% 327 297 6.30049e+12 2160 6.30117e+12 6.29592e+12 3555478 0.08% 328 298 6.30050e+12 2256 6.30117e+12 6.29592e+12 3558571 0.08% 329 299 6.30050e+12 2255 6.30117e+12 6.29592e+12 3560121 0.08% 330 300 6.30050e+12 2160 6.30117e+12 6.29592e+12 3562309 0.08% 331 301 6.30050e+12 2214 6.30117e+12 6.29592e+12 3564681 0.08% 332 302 6.30051e+12 2303 6.30117e+12 6.29592e+12 3569031 0.08% Elapsed real time = 55702.71 sec. (tree size = 1320.98 MB, solutions = 10) Nodefile size = 1193.74 MB (494.88 MB after compression) 333 303 6.30054e+12 2093 6.30117e+12 6.29592e+12 3573218 0.08% 334 304 6.30061e+12 2375 6.30117e+12 6.29592e+12 3582306 0.08% 335 305 6.30064e+12 2341 6.30117e+12 6.29592e+12 3591317 0.08% 336 306 6.30065e+12 2160 6.30117e+12 6.29592e+12 3597313 0.08% 337 307 6.30066e+12 2411 6.30117e+12 6.29592e+12 3606393 0.08% 338 308 6.30067e+12 2590 6.30117e+12 6.29592e+12 3610063 0.08% 339 309 6.30067e+12 3871 6.30117e+12 6.29592e+12 3613073 0.08% 340 310 6.30067e+12 2160 6.30117e+12 6.29592e+12 3615455 0.08% 342 312 6.30070e+12 2257 6.30117e+12 6.29592e+12 3623072 0.08% 344 314 6.30071e+12 2160 6.30117e+12 6.29592e+12 3625245 0.08% Elapsed real time = 57065.39 sec. (tree size = 1377.23 MB, solutions = 10) Nodefile size = 1249.99 MB (513.24 MB after compression) 345 315 6.30075e+12 2160 6.30117e+12 6.29592e+12 3632614 0.08% 346 316 6.30076e+12 2160 6.30117e+12 6.29592e+12 3634298 0.08% 347 317 6.30077e+12 2438 6.30117e+12 6.29592e+12 3636986 0.08% 348 318 6.30078e+12 2093 6.30117e+12 6.29592e+12 3638740 0.08% 349 319 6.30080e+12 2188 6.30117e+12 6.29592e+12 3642979 0.08% 350 320 6.30080e+12 2139 6.30117e+12 6.29592e+12 3643512 0.08% 351 321 6.30081e+12 2044 6.30117e+12 6.29592e+12 3645734 0.08% 352 322 6.30081e+12 2044 6.30117e+12 6.29592e+12 3647686 0.08% 354 324 6.30082e+12 3365 6.30117e+12 6.29592e+12 3649612 0.08% 356 326 6.30082e+12 2044 6.30117e+12 6.29592e+12 3651260 0.08% Elapsed real time = 57568.81 sec. (tree size = 1433.49 MB, solutions = 10) Nodefile size = 1306.24 MB (531.82 MB after compression) 358 328 6.30082e+12 2044 6.30117e+12 6.29592e+12 3653760 0.08% 359 329 6.30083e+12 2044 6.30117e+12 6.29592e+12 3656517 0.08% 360 330 6.30083e+12 2093 6.30117e+12 6.29592e+12 3657506 0.08% 361 331 6.30083e+12 2093 6.30117e+12 6.29592e+12 3658853 0.08% 362 332 6.30085e+12 3977 6.30117e+12 6.29592e+12 3661746 0.08% 364 334 6.30086e+12 2093 6.30117e+12 6.29592e+12 3664416 0.08% 365 335 6.30087e+12 2093 6.30117e+12 6.29592e+12 3667984 0.08% 368 338 6.30087e+12 2044 6.30117e+12 6.29592e+12 3670566 0.08% 370 340 6.30090e+12 2044 6.30117e+12 6.29592e+12 3678756 0.08% 371 341 6.30090e+12 2140 6.30117e+12 6.29592e+12 3682778 0.08% Elapsed real time = 58247.41 sec. (tree size = 1503.80 MB, solutions = 10) Nodefile size = 1376.55 MB (555.34 MB after compression) 372 342 6.30091e+12 2609 6.30117e+12 6.29592e+12 3686342 0.08% 374 344 6.30091e+12 5191 6.30117e+12 6.29592e+12 3688281 0.08% 375 345 6.30091e+12 2234 6.30117e+12 6.29592e+12 3689817 0.08% 376 346 6.30091e+12 2234 6.30117e+12 6.29592e+12 3690840 0.08% 377 347 6.30091e+12 2846 6.30117e+12 6.29592e+12 3692356 0.08% 378 348 6.30091e+12 2234 6.30117e+12 6.29592e+12 3694059 0.08% 379 349 6.30092e+12 2280 6.30117e+12 6.29592e+12 3695431 0.08% 380 350 6.30092e+12 2186 6.30117e+12 6.29592e+12 3697256 0.08% 382 352 6.30092e+12 2282 6.30117e+12 6.29592e+12 3698365 0.08% 384 354 6.30092e+12 2282 6.30117e+12 6.29592e+12 3700010 0.08% Elapsed real time = 58786.21 sec. (tree size = 1564.74 MB, solutions = 10) Nodefile size = 1437.49 MB (575.97 MB after compression) 386 356 6.30092e+12 2328 6.30117e+12 6.29592e+12 3701661 0.08% 388 358 6.30092e+12 2282 6.30117e+12 6.29592e+12 3702815 0.08% 390 360 6.30092e+12 2329 6.30117e+12 6.29592e+12 3703918 0.08% 392 362 6.30092e+12 2329 6.30117e+12 6.29592e+12 3705246 0.08% 394 364 6.30093e+12 2282 6.30117e+12 6.29592e+12 3706014 0.08% 396 366 6.30093e+12 2282 6.30117e+12 6.29592e+12 3706773 0.08% 399 369 6.30093e+12 2282 6.30117e+12 6.29592e+12 3708572 0.08% 400 370 6.30093e+12 2282 6.30117e+12 6.29592e+12 3709224 0.08% 402 372 6.29623e+12 5759 6.30117e+12 6.29623e+12 3764555 0.08% 403 373 6.29628e+12 6962 6.30117e+12 6.29623e+12 3777132 0.08% Elapsed real time = 61596.23 sec. (tree size = 1653.81 MB, solutions = 10) Nodefile size = 1526.56 MB (606.26 MB after compression) 404 374 6.29640e+12 5750 6.30117e+12 6.29623e+12 3816217 0.08% 405 375 6.29645e+12 7547 6.30117e+12 6.29623e+12 3829748 0.08% 406 376 6.29647e+12 3378 6.30117e+12 6.29623e+12 3835105 0.08% 407 377 6.29648e+12 3349 6.30117e+12 6.29623e+12 3839076 0.08% 408 378 6.29649e+12 3317 6.30117e+12 6.29623e+12 3841205 0.08% 409 379 6.29653e+12 3002 6.30117e+12 6.29623e+12 3850896 0.08% 410 380 6.29655e+12 3404 6.30117e+12 6.29623e+12 3860493 0.08% 411 381 6.29660e+12 3678 6.30117e+12 6.29623e+12 3871804 0.08% 412 382 6.29663e+12 3622 6.30117e+12 6.29623e+12 3874406 0.08% 413 383 6.29666e+12 7949 6.30117e+12 6.29623e+12 3888461 0.08% Elapsed real time = 63912.49 sec. (tree size = 1693.67 MB, solutions = 10) Nodefile size = 1567.26 MB (622.02 MB after compression) 414 384 6.29668e+12 6250 6.30117e+12 6.29623e+12 3894669 0.08% 415 385 6.29669e+12 2901 6.30117e+12 6.29623e+12 3896599 0.08% 416 386 6.29675e+12 3115 6.30117e+12 6.29623e+12 3909324 0.08% 417 387 6.29677e+12 2931 6.30117e+12 6.29623e+12 3914341 0.08% 418 388 6.29679e+12 2820 6.30117e+12 6.29623e+12 3922894 0.08% 420 390 6.29684e+12 3410 6.30117e+12 6.29623e+12 3930717 0.08% 421 391 6.29685e+12 3412 6.30117e+12 6.29623e+12 3933829 0.08% 422 392 6.29686e+12 3446 6.30117e+12 6.29623e+12 3936623 0.08% 423 393 6.29687e+12 2820 6.30117e+12 6.29623e+12 3938200 0.08% 425 395 6.29689e+12 2820 6.30117e+12 6.29623e+12 3940417 0.08% Elapsed real time = 64691.37 sec. (tree size = 1746.79 MB, solutions = 10) Nodefile size = 1620.34 MB (645.89 MB after compression) 427 397 6.29689e+12 2777 6.30117e+12 6.29623e+12 3942366 0.08% 430 400 6.29691e+12 2774 6.30117e+12 6.29623e+12 3945810 0.08% 431 401 6.29692e+12 2773 6.30117e+12 6.29623e+12 3950496 0.08% 432 402 6.29693e+12 2766 6.30117e+12 6.29623e+12 3952822 0.08% 433 403 6.29693e+12 2772 6.30117e+12 6.29623e+12 3955304 0.08% 434 404 6.29695e+12 3328 6.30117e+12 6.29623e+12 3970992 0.08% 435 405 6.29699e+12 2754 6.30117e+12 6.29623e+12 3983419 0.08% 436 406 6.29700e+12 2590 6.30117e+12 6.29623e+12 3987116 0.08% 437 407 6.29703e+12 2638 6.30117e+12 6.29623e+12 4003375 0.08% 438 408 6.29704e+12 2584 6.30117e+12 6.29623e+12 4005256 0.08% Elapsed real time = 65862.83 sec. (tree size = 1804.54 MB, solutions = 10) Nodefile size = 1678.09 MB (671.91 MB after compression) 439 409 6.29709e+12 2052 6.30117e+12 6.29623e+12 4013217 0.08% 440 410 6.29714e+12 2727 6.30117e+12 6.29623e+12 4023170 0.08% 441 411 6.29717e+12 2682 6.30117e+12 6.29623e+12 4029332 0.08% 443 413 6.29719e+12 1896 6.30117e+12 6.29623e+12 4033584 0.08% 444 414 6.29721e+12 1896 6.30117e+12 6.29623e+12 4036933 0.08% 445 415 6.29725e+12 5651 6.30117e+12 6.29623e+12 4043415 0.08% 446 416 6.29726e+12 2002 6.30117e+12 6.29623e+12 4044459 0.08% 447 417 6.29730e+12 2852 6.30117e+12 6.29623e+12 4057549 0.08% 448 418 6.29731e+12 4815 6.30117e+12 6.29623e+12 4061693 0.08% 449 419 6.29732e+12 3968 6.30117e+12 6.29623e+12 4064686 0.08% Elapsed real time = 67058.43 sec. (tree size = 1853.56 MB, solutions = 10) Nodefile size = 1727.10 MB (694.06 MB after compression) 450 420 6.29735e+12 2758 6.30117e+12 6.29623e+12 4070188 0.08% 451 421 6.29736e+12 2002 6.30117e+12 6.29623e+12 4071998 0.08% 453 423 6.29740e+12 2957 6.30117e+12 6.29623e+12 4076531 0.08% 455 425 6.29746e+12 1896 6.30117e+12 6.29623e+12 4082515 0.08% 456 426 6.29747e+12 2002 6.30117e+12 6.29623e+12 4085242 0.08% 457 427 6.29748e+12 4329 6.30117e+12 6.29623e+12 4094329 0.08% 458 428 6.29748e+12 6079 6.30117e+12 6.29623e+12 4096496 0.08% 459 429 6.29786e+12 1840 6.30117e+12 6.29623e+12 4121118 0.08% 460 430 6.29789e+12 1840 6.30117e+12 6.29623e+12 4125139 0.08% 461 431 6.29794e+12 1950 6.30117e+12 6.29623e+12 4129133 0.08% Elapsed real time = 68030.03 sec. (tree size = 1907.19 MB, solutions = 10) Nodefile size = 1780.70 MB (718.43 MB after compression) 462 432 6.29796e+12 1896 6.30117e+12 6.29623e+12 4131041 0.08% 463 433 6.29798e+12 1782 6.30117e+12 6.29623e+12 4134771 0.08% 464 434 6.29803e+12 1722 6.30117e+12 6.29623e+12 4141651 0.08% 465 435 6.29805e+12 5518 6.30117e+12 6.29623e+12 4149163 0.08% 466 436 6.29808e+12 2021 6.30117e+12 6.29623e+12 4160188 0.08% 467 437 6.29808e+12 2175 6.30117e+12 6.29623e+12 4161144 0.08% 468 438 6.29809e+12 2021 6.30117e+12 6.29623e+12 4167846 0.08% 469 439 6.29811e+12 2100 6.30117e+12 6.29623e+12 4176713 0.08% 470 440 6.29812e+12 2021 6.30117e+12 6.29623e+12 4179887 0.08% 471 441 6.29813e+12 2175 6.30117e+12 6.29623e+12 4181144 0.08% Elapsed real time = 69064.65 sec. (tree size = 1952.15 MB, solutions = 10) Nodefile size = 1825.64 MB (738.89 MB after compression) 472 442 6.29813e+12 2175 6.30117e+12 6.29623e+12 4185824 0.08% 474 444 6.29814e+12 1660 6.30117e+12 6.29623e+12 4187879 0.08% 475 445 6.29596e+12 6835 6.30117e+12 6.29623e+12 6386347 0.08% 476 445 6.29601e+12 5425 6.30117e+12 6.29623e+12 6407411 0.08% 477 446 6.29633e+12 4013 6.30117e+12 6.29623e+12 6474677 0.08% 478 447 6.29631e+12 8816 6.30117e+12 6.29623e+12 6534923 0.08% 479 447 6.29638e+12 7698 6.30117e+12 6.29623e+12 6568826 0.08% 480 448 6.29765e+12 5369 6.30117e+12 6.29623e+12 6709283 0.08% 481 449 6.29767e+12 8519 6.30117e+12 6.29623e+12 6720754 0.08% 482 449 6.29811e+12 4062 6.30117e+12 6.29623e+12 6775749 0.08% Elapsed real time = 134490.39 sec. (tree size = 148.60 MB, solutions = 10) 483 450 6.29813e+12 3730 6.30117e+12 6.29623e+12 6783222 0.08% 484 450 6.29816e+12 3789 6.30117e+12 6.29623e+12 6795639 0.08% 485 450 6.29819e+12 3545 6.30117e+12 6.29623e+12 6807707 0.08% 486 451 6.29819e+12 5841 6.30117e+12 6.29623e+12 6808703 0.08% 487 452 6.29833e+12 6087 6.30117e+12 6.29623e+12 6851041 0.08% 488 453 6.29822e+12 7818 6.30117e+12 6.29623e+12 6865690 0.08% 489 453 6.29876e+12 7026 6.30117e+12 6.29623e+12 6962096 0.08% 490 454 6.29887e+12 2865 6.30117e+12 6.29623e+12 7009507 0.08% 491 455 6.29904e+12 2576 6.30117e+12 6.29623e+12 7045339 0.08% 492 455 6.29888e+12 8349 6.30117e+12 6.29623e+12 7071196 0.08% Elapsed real time = 142724.30 sec. (tree size = 183.22 MB, solutions = 10) 493 455 6.29945e+12 6816 6.30117e+12 6.29623e+12 7191108 0.08% 494 456 6.29889e+12 4861 6.30117e+12 6.29623e+12 7196748 0.08% 495 457 6.29942e+12 4221 6.30117e+12 6.29623e+12 7305525 0.08% 496 457 6.29976e+12 4024 6.30117e+12 6.29623e+12 7327239 0.08% 497 457 6.29945e+12 5033 6.30117e+12 6.29623e+12 7340555 0.08% 498 457 6.29984e+12 4526 6.30117e+12 6.29623e+12 7361653 0.08% 499 457 6.30022e+12 6240 6.30117e+12 6.29623e+12 7430904 0.08% 500 458 6.29986e+12 6533 6.30117e+12 6.29623e+12 7443208 0.08% 501 459 6.30028e+12 5016 6.30117e+12 6.29623e+12 7559963 0.08% 502 459 6.29994e+12 4579 6.30117e+12 6.29623e+12 7574190 0.08% Elapsed real time = 156249.97 sec. (tree size = 218.52 MB, solutions = 10) 503 459 6.30034e+12 5335 6.30117e+12 6.29623e+12 7604600 0.08% 504 460 6.30038e+12 4160 6.30117e+12 6.29623e+12 7652358 0.08% 505 461 6.30044e+12 3939 6.30117e+12 6.29623e+12 7680604 0.08% 506 462 6.30102e+12 4680 6.30117e+12 6.29623e+12 7788031 0.08% 507 462 6.30047e+12 4339 6.30117e+12 6.29623e+12 7809367 0.08% 508 463 6.30095e+12 2716 6.30117e+12 6.29623e+12 7838167 0.08% 509 464 6.30047e+12 4098 6.30117e+12 6.29623e+12 7839660 0.08% 510 464 6.30054e+12 4275 6.30117e+12 6.29623e+12 7857719 0.08% 511 451 cutoff 6.30117e+12 6.29623e+12 7880761 0.08% 512 451 6.30054e+12 3358 6.30117e+12 6.29623e+12 7882096 0.08% Elapsed real time = 163597.47 sec. (tree size = 244.86 MB, solutions = 10) 513 451 6.30054e+12 3383 6.30117e+12 6.29623e+12 7883022 0.08% 514 452 6.30054e+12 4222 6.30117e+12 6.29623e+12 7886443 0.08% 515 452 6.30055e+12 2503 6.30117e+12 6.29623e+12 7891216 0.08% 516 453 6.30072e+12 2584 6.30117e+12 6.29623e+12 7913032 0.08% 517 453 6.30057e+12 6173 6.30117e+12 6.29623e+12 7928175 0.08% 518 453 6.30057e+12 3968 6.30117e+12 6.29623e+12 7930039 0.08% 519 454 6.30063e+12 3556 6.30117e+12 6.29623e+12 7944074 0.08% 520 455 6.30110e+12 1391 6.30117e+12 6.29623e+12 7997326 0.08% 521 456 6.30063e+12 4865 6.30117e+12 6.29623e+12 8001852 0.08% 522 456 6.30064e+12 3317 6.30117e+12 6.29623e+12 8006799 0.08% Elapsed real time = 165683.88 sec. (tree size = 282.06 MB, solutions = 10) Nodefile size = 38.63 MB (13.83 MB after compression) 523 457 6.30074e+12 4458 6.30117e+12 6.29623e+12 8015109 0.08% 524 457 6.30067e+12 6103 6.30117e+12 6.29623e+12 8025976 0.08% 525 458 6.30076e+12 2692 6.30117e+12 6.29623e+12 8036893 0.08% 526 448 cutoff 6.30117e+12 6.29623e+12 8047415 0.08% 527 449 6.30078e+12 2562 6.30117e+12 6.29623e+12 8056631 0.08% 528 440 cutoff 6.30117e+12 6.29623e+12 8086074 0.08% 529 441 6.30079e+12 3103 6.30117e+12 6.29623e+12 8092303 0.08% 530 442 6.30100e+12 5028 6.30117e+12 6.29623e+12 8138080 0.08% 531 442 6.30104e+12 1531 6.30117e+12 6.29623e+12 8151378 0.08% 533 434 6.30107e+12 2468 6.30117e+12 6.29623e+12 8169777 0.08% Elapsed real time = 168106.09 sec. (tree size = 293.67 MB, solutions = 10) Nodefile size = 57.93 MB (20.58 MB after compression) 534 434 6.30107e+12 5658 6.30117e+12 6.29623e+12 8171034 0.08% 535 425 cutoff 6.30117e+12 6.29623e+12 8181703 0.08% 536 425 6.30111e+12 3014 6.30117e+12 6.29623e+12 8199705 0.08% 537 416 cutoff 6.30117e+12 6.29623e+12 8204534 0.08% 538 416 6.30112e+12 3772 6.30117e+12 6.29623e+12 8218371 0.08% 540 409 6.30112e+12 3382 6.30117e+12 6.29623e+12 8220625 0.08% 541 401 cutoff 6.30117e+12 6.29623e+12 8223811 0.08% Log started (V12.4.0.0) Sun Dec 16 08:18:34 2012 Problem '2CI2.matrix.51p.18aa.usingEref_self_digit8.wcsp.lp' read. Read time = 21.72 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 = 31.14 sec. Elapsed time 10.04 sec. for 0% of probing. Elapsed time 20.97 sec. for 0% of probing. Elapsed time 31.55 sec. for 0% of probing. Elapsed time 42.23 sec. for 0% of probing. Elapsed time 55.36 sec. for 0% of probing. Elapsed time 68.59 sec. for 0% of probing. Elapsed time 78.78 sec. for 0% of probing. Elapsed time 90.07 sec. for 0% of probing. Elapsed time 101.10 sec. for 0% of probing. Elapsed time 114.41 sec. for 0% of probing. Elapsed time 128.18 sec. for 0% of probing. Elapsed time 138.49 sec. for 0% of probing. Elapsed time 148.75 sec. for 0% of probing. Elapsed time 158.83 sec. for 0% of probing. Elapsed time 169.54 sec. for 0% of probing. Elapsed time 179.89 sec. for 0% of probing. Elapsed time 190.09 sec. for 0% of probing. Elapsed time 200.18 sec. for 0% of probing. Elapsed time 210.41 sec. for 0% of probing. Elapsed time 222.01 sec. for 0% of probing. Elapsed time 233.50 sec. for 0% of probing. Probing time = 235.07 sec. Clique table members: 28118794. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 7278.89 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 6.29576e+12 3527 6.29576e+12 1464407 * 0+ 0 6.39188e+12 6.29576e+12 1464407 1.50% 0 0 6.29579e+12 4436 6.39188e+12 ZeroHalf: 64 1496737 1.50% * 0+ 0 6.38960e+12 6.29579e+12 1496737 1.47% 0 0 6.29587e+12 4855 6.38960e+12 ZeroHalf: 88 1530226 1.47% * 0+ 0 6.38733e+12 6.29587e+12 1530226 1.43% * 0+ 0 6.38727e+12 6.29587e+12 1530226 1.43% Heuristic still looking. Heuristic still looking. Heuristic still looking. Heuristic still looking. 0 2 6.29587e+12 4855 6.38727e+12 6.29587e+12 1530226 1.43% Elapsed real time = 15714.44 sec. (tree size = 0.00 MB, solutions = 4) 1 3 6.29592e+12 9011 6.38727e+12 6.29587e+12 1551768 1.43% 2 4 6.29623e+12 4080 6.38727e+12 6.29587e+12 1600224 1.43% 3 5 6.29627e+12 3796 6.38727e+12 6.29587e+12 1606996 1.43% 4 6 6.29679e+12 3753 6.38727e+12 6.29587e+12 1668568 1.43% 5 7 6.29686e+12 9971 6.38727e+12 6.29587e+12 1684241 1.43% 6 8 6.29686e+12 3727 6.38727e+12 6.29587e+12 1685994 1.43% 7 9 6.29696e+12 8622 6.38727e+12 6.29587e+12 1700675 1.43% 8 10 6.29687e+12 8209 6.38727e+12 6.29587e+12 1708067 1.43% 9 11 6.29704e+12 3128 6.38727e+12 6.29587e+12 1730835 1.43% * 10+ 10 6.30721e+12 6.29587e+12 1735750 0.18% 10 12 6.29706e+12 3364 6.30721e+12 6.29587e+12 1735750 0.18% Elapsed real time = 23249.74 sec. (tree size = 34.73 MB, solutions = 5) 11 13 6.29708e+12 3090 6.30721e+12 6.29587e+12 1741914 0.18% 12 14 6.29724e+12 5938 6.30721e+12 6.29587e+12 1770457 0.18% 13 15 6.29726e+12 3005 6.30721e+12 6.29587e+12 1773082 0.18% 14 16 6.29727e+12 2958 6.30721e+12 6.29587e+12 1775962 0.18% 15 17 6.29730e+12 2864 6.30721e+12 6.29587e+12 1782389 0.18% 16 18 6.29745e+12 2857 6.30721e+12 6.29587e+12 1792734 0.18% 17 19 6.29746e+12 2809 6.30721e+12 6.29587e+12 1797400 0.18% 18 20 6.29750e+12 2757 6.30721e+12 6.29587e+12 1805948 0.18% 19 21 6.29763e+12 2702 6.30721e+12 6.29587e+12 1819437 0.18% * 20+ 20 6.30699e+12 6.29587e+12 1825037 0.18% 20 22 6.29767e+12 2588 6.30699e+12 6.29587e+12 1825037 0.18% Elapsed real time = 24525.61 sec. (tree size = 77.30 MB, solutions = 6) 21 23 6.29767e+12 2528 6.30699e+12 6.29587e+12 1828645 0.18% 22 24 6.29771e+12 3306 6.30699e+12 6.29587e+12 1834819 0.18% 23 25 6.29772e+12 2132 6.30699e+12 6.29587e+12 1836785 0.18% 24 26 6.29866e+12 1530 6.30699e+12 6.29587e+12 1871384 0.18% 25 27 6.29933e+12 1462 6.30699e+12 6.29587e+12 1902950 0.18% 26 28 6.29971e+12 1392 6.30699e+12 6.29587e+12 1929974 0.18% 27 29 6.29973e+12 1392 6.30699e+12 6.29587e+12 1934547 0.18% 28 30 6.29982e+12 1320 6.30699e+12 6.29587e+12 1960664 0.18% 29 31 6.29982e+12 1320 6.30699e+12 6.29587e+12 1960897 0.18% * 30+ 30 6.30630e+12 6.29587e+12 1986188 0.17% 30 32 6.30041e+12 1246 6.30630e+12 6.29587e+12 1986188 0.17% Elapsed real time = 26153.57 sec. (tree size = 116.07 MB, solutions = 7) 31 33 6.30053e+12 1246 6.30630e+12 6.29587e+12 1989520 0.17% 32 34 6.30093e+12 1170 6.30630e+12 6.29587e+12 2024802 0.17% 33 35 6.30099e+12 1170 6.30630e+12 6.29587e+12 2028205 0.17% 34 36 6.30134e+12 672 6.30630e+12 6.29587e+12 2057298 0.17% 35 37 6.30141e+12 672 6.30630e+12 6.29587e+12 2061579 0.17% * 36 36 integral 0 6.30141e+12 6.29587e+12 2063615 0.09% 38 34 cutoff 6.30141e+12 6.29587e+12 2063680 0.09% 39 35 6.29592e+12 5658 6.30141e+12 6.29592e+12 2095599 0.09% 40 36 6.29625e+12 3687 6.30141e+12 6.29592e+12 2168292 0.09% 41 37 6.29630e+12 7355 6.30141e+12 6.29592e+12 2180194 0.09% Elapsed real time = 31212.79 sec. (tree size = 131.65 MB, solutions = 8) Nodefile size = 3.90 MB (1.25 MB after compression) 42 38 6.29631e+12 3542 6.30141e+12 6.29592e+12 2188858 0.09% 43 39 6.29644e+12 3389 6.30141e+12 6.29592e+12 2213242 0.09% 44 40 6.29648e+12 3361 6.30141e+12 6.29592e+12 2218247 0.09% 45 41 6.29649e+12 3331 6.30141e+12 6.29592e+12 2221924 0.09% 46 42 6.29656e+12 5705 6.30141e+12 6.29592e+12 2231081 0.09% 47 43 6.29650e+12 3296 6.30141e+12 6.29592e+12 2232361 0.09% 48 44 6.29653e+12 3028 6.30141e+12 6.29592e+12 2254876 0.09% 49 45 6.29655e+12 7111 6.30141e+12 6.29592e+12 2259779 0.09% 50 46 6.29672e+12 3528 6.30141e+12 6.29592e+12 2282107 0.09% 51 47 6.29660e+12 3578 6.30141e+12 6.29592e+12 2289498 0.09% Elapsed real time = 33243.75 sec. (tree size = 170.39 MB, solutions = 8) Nodefile size = 42.73 MB (13.90 MB after compression) 52 48 6.29681e+12 4188 6.30141e+12 6.29592e+12 2323717 0.09% 53 49 6.29664e+12 3605 6.30141e+12 6.29592e+12 2328851 0.09% 54 50 6.29666e+12 3719 6.30141e+12 6.29592e+12 2340175 0.09% 55 51 6.29667e+12 3652 6.30141e+12 6.29592e+12 2353023 0.09% 56 52 6.29667e+12 3479 6.30141e+12 6.29592e+12 2357738 0.09% 57 53 6.29671e+12 3356 6.30141e+12 6.29592e+12 2365026 0.09% 58 54 6.29673e+12 3396 6.30141e+12 6.29592e+12 2370450 0.09% 59 55 6.29677e+12 4113 6.30141e+12 6.29592e+12 2376816 0.09% 60 56 6.29678e+12 3331 6.30141e+12 6.29592e+12 2378792 0.09% 61 57 6.29680e+12 4156 6.30141e+12 6.29592e+12 2385674 0.09% Elapsed real time = 35407.34 sec. (tree size = 213.40 MB, solutions = 8) Nodefile size = 85.31 MB (28.00 MB after compression) 62 58 6.29686e+12 3216 6.30141e+12 6.29592e+12 2390324 0.09% 63 59 6.29686e+12 3996 6.30141e+12 6.29592e+12 2391502 0.09% 64 60 6.29686e+12 2596 6.30141e+12 6.29592e+12 2394425 0.09% 65 61 6.29687e+12 2546 6.30141e+12 6.29592e+12 2398330 0.09% 66 62 6.29687e+12 2553 6.30141e+12 6.29592e+12 2401361 0.09% 67 63 6.29689e+12 5279 6.30141e+12 6.29592e+12 2417043 0.09% 68 64 6.29690e+12 3133 6.30141e+12 6.29592e+12 2432355 0.09% 69 65 6.29688e+12 2543 6.30141e+12 6.29592e+12 2444001 0.09% 70 66 6.29689e+12 2002 6.30141e+12 6.29592e+12 2448621 0.09% 71 67 6.29692e+12 2002 6.30141e+12 6.29592e+12 2452911 0.09% Elapsed real time = 36478.78 sec. (tree size = 252.56 MB, solutions = 8) Nodefile size = 122.27 MB (42.01 MB after compression) 72 68 6.29694e+12 1950 6.30141e+12 6.29592e+12 2460061 0.09% 73 69 6.29698e+12 3307 6.30141e+12 6.29592e+12 2466895 0.09% 74 70 6.29698e+12 1896 6.30141e+12 6.29592e+12 2473508 0.09% 75 71 6.29707e+12 1840 6.30141e+12 6.29592e+12 2486683 0.09% 76 72 6.29708e+12 3772 6.30141e+12 6.29592e+12 2491038 0.09% 77 73 6.29720e+12 1782 6.30141e+12 6.29592e+12 2500126 0.09% 78 74 6.29721e+12 1782 6.30141e+12 6.29592e+12 2502848 0.09% 79 75 6.29721e+12 1722 6.30141e+12 6.29592e+12 2504738 0.09% 80 76 6.29721e+12 1660 6.30141e+12 6.29592e+12 2508028 0.09% 81 77 6.29724e+12 1660 6.30141e+12 6.29592e+12 2511377 0.09% Elapsed real time = 37208.48 sec. (tree size = 296.82 MB, solutions = 8) Nodefile size = 166.50 MB (61.42 MB after compression) 82 78 6.29833e+12 1596 6.30141e+12 6.29592e+12 2568510 0.09% 83 79 6.29844e+12 1596 6.30141e+12 6.29592e+12 2574215 0.09% 84 80 6.29901e+12 1530 6.30141e+12 6.29592e+12 2608839 0.09% 85 81 6.29903e+12 1530 6.30141e+12 6.29592e+12 2612089 0.09% 86 82 6.29935e+12 1462 6.30141e+12 6.29592e+12 2635355 0.09% 87 83 6.29936e+12 1392 6.30141e+12 6.29592e+12 2636360 0.09% 88 84 6.29937e+12 1392 6.30141e+12 6.29592e+12 2639353 0.09% 89 85 6.29945e+12 1246 6.30141e+12 6.29592e+12 2656704 0.09% 90 86 6.29951e+12 1246 6.30141e+12 6.29592e+12 2662797 0.09% 91 87 6.30034e+12 1170 6.30141e+12 6.29592e+12 2694319 0.09% Elapsed real time = 39172.42 sec. (tree size = 346.88 MB, solutions = 8) Nodefile size = 216.38 MB (83.44 MB after compression) 92 88 6.30038e+12 1170 6.30141e+12 6.29592e+12 2699899 0.09% 93 89 6.30087e+12 930 6.30141e+12 6.29592e+12 2729645 0.09% 94 90 6.30092e+12 930 6.30141e+12 6.29592e+12 2731618 0.09% * 95 89 integral 0 6.30120e+12 6.29592e+12 2742854 0.08% 96 90 6.30092e+12 930 6.30120e+12 6.29592e+12 2743783 0.08% 97 89 cutoff 6.30120e+12 6.29592e+12 2750144 0.08% 98 90 6.30094e+12 930 6.30120e+12 6.29592e+12 2752930 0.08% 99 89 cutoff 6.30120e+12 6.29592e+12 2760198 0.08% 100 90 6.30095e+12 930 6.30120e+12 6.29592e+12 2760661 0.08% 101 89 cutoff 6.30120e+12 6.29592e+12 2773925 0.08% Elapsed real time = 39746.69 sec. (tree size = 356.26 MB, solutions = 9) Nodefile size = 225.69 MB (86.90 MB after compression) 102 90 6.30099e+12 930 6.30120e+12 6.29592e+12 2776164 0.08% * 103 89 integral 0 6.30117e+12 6.29592e+12 2786038 0.08% 104 90 6.30102e+12 930 6.30117e+12 6.29592e+12 2788918 0.08% 105 89 cutoff 6.30117e+12 6.29592e+12 2793897 0.08% 107 89 cutoff 6.30117e+12 6.29592e+12 2798288 0.08% 108 90 6.30104e+12 930 6.30117e+12 6.29592e+12 2800689 0.08% 109 89 cutoff 6.30117e+12 6.29592e+12 2804788 0.08% 110 90 6.30109e+12 930 6.30117e+12 6.29592e+12 2807405 0.08% 112 90 6.30111e+12 930 6.30117e+12 6.29592e+12 2811676 0.08% 114 90 6.30114e+12 1372 6.30117e+12 6.29592e+12 2817165 0.08% Elapsed real time = 40012.84 sec. (tree size = 356.26 MB, solutions = 10) Nodefile size = 225.69 MB (86.90 MB after compression) 116 88 cutoff 6.30117e+12 6.29592e+12 2820467 0.08% 118 88 6.29623e+12 3241 6.30117e+12 6.29592e+12 2880345 0.08% 119 89 6.29628e+12 3204 6.30117e+12 6.29592e+12 2891740 0.08% 120 90 6.29640e+12 2806 6.30117e+12 6.29592e+12 2911772 0.08% 121 91 6.29644e+12 2780 6.30117e+12 6.29592e+12 2918008 0.08% 122 92 6.29646e+12 2752 6.30117e+12 6.29592e+12 2922556 0.08% 123 93 6.29647e+12 2721 6.30117e+12 6.29592e+12 2927453 0.08% 124 94 6.29652e+12 2412 6.30117e+12 6.29592e+12 2934805 0.08% 125 95 6.29653e+12 8008 6.30117e+12 6.29592e+12 2940744 0.08% 126 96 6.29658e+12 3249 6.30117e+12 6.29592e+12 2946301 0.08% Elapsed real time = 41850.43 sec. (tree size = 383.49 MB, solutions = 10) Nodefile size = 259.25 MB (99.66 MB after compression) 127 97 6.29662e+12 3228 6.30117e+12 6.29592e+12 2950745 0.08% 128 98 6.29665e+12 2346 6.30117e+12 6.29592e+12 2956670 0.08% 129 99 6.29666e+12 2310 6.30117e+12 6.29592e+12 2958362 0.08% 130 100 6.29673e+12 2310 6.30117e+12 6.29592e+12 2972652 0.08% 131 101 6.29675e+12 2310 6.30117e+12 6.29592e+12 2976572 0.08% 132 102 6.29677e+12 2272 6.30117e+12 6.29592e+12 2980006 0.08% 133 103 6.29679e+12 2100 6.30117e+12 6.29592e+12 2987365 0.08% 134 104 6.29684e+12 2052 6.30117e+12 6.29592e+12 2992600 0.08% 135 105 6.29687e+12 2432 6.30117e+12 6.29592e+12 3005960 0.08% 136 106 6.29691e+12 2052 6.30117e+12 6.29592e+12 3011340 0.08% Elapsed real time = 42945.32 sec. (tree size = 427.33 MB, solutions = 10) Nodefile size = 300.34 MB (116.14 MB after compression) 137 107 6.29692e+12 2002 6.30117e+12 6.29592e+12 3014299 0.08% 138 108 6.29693e+12 2002 6.30117e+12 6.29592e+12 3018145 0.08% 139 109 6.29694e+12 1950 6.30117e+12 6.29592e+12 3020091 0.08% 140 110 6.29699e+12 1896 6.30117e+12 6.29592e+12 3029606 0.08% 141 111 6.29699e+12 1896 6.30117e+12 6.29592e+12 3036279 0.08% 142 112 6.29703e+12 1840 6.30117e+12 6.29592e+12 3041939 0.08% 143 113 6.29712e+12 1782 6.30117e+12 6.29592e+12 3049615 0.08% 144 114 6.29713e+12 2620 6.30117e+12 6.29592e+12 3054274 0.08% 145 115 6.29714e+12 2432 6.30117e+12 6.29592e+12 3055635 0.08% 146 116 6.29714e+12 2377 6.30117e+12 6.29592e+12 3057594 0.08% Elapsed real time = 43837.22 sec. (tree size = 471.65 MB, solutions = 10) Nodefile size = 344.65 MB (135.62 MB after compression) 148 118 6.29716e+12 2043 6.30117e+12 6.29592e+12 3060716 0.08% 150 120 6.29717e+12 1722 6.30117e+12 6.29592e+12 3063399 0.08% 151 121 6.29718e+12 1722 6.30117e+12 6.29592e+12 3065663 0.08% 154 124 6.29719e+12 1722 6.30117e+12 6.29592e+12 3069020 0.08% 155 125 6.29719e+12 1722 6.30117e+12 6.29592e+12 3071069 0.08% 156 126 6.29720e+12 1722 6.30117e+12 6.29592e+12 3072311 0.08% 157 127 6.29720e+12 3599 6.30117e+12 6.29592e+12 3074435 0.08% 159 129 6.29722e+12 1722 6.30117e+12 6.29592e+12 3076987 0.08% 160 130 6.29722e+12 1722 6.30117e+12 6.29592e+12 3077931 0.08% 163 133 6.29723e+12 1722 6.30117e+12 6.29592e+12 3078908 0.08% Elapsed real time = 44370.22 sec. (tree size = 547.23 MB, solutions = 10) Nodefile size = 420.22 MB (168.74 MB after compression) 168 138 6.29724e+12 1722 6.30117e+12 6.29592e+12 3079756 0.08% 170 140 6.29727e+12 1660 6.30117e+12 6.29592e+12 3082446 0.08% 171 141 6.29727e+12 1660 6.30117e+12 6.29592e+12 3083981 0.08% 172 142 6.29727e+12 1660 6.30117e+12 6.29592e+12 3085029 0.08% 174 144 6.29729e+12 1722 6.30117e+12 6.29592e+12 3086472 0.08% 176 146 6.29743e+12 1603 6.30117e+12 6.29592e+12 3100506 0.08% 178 148 6.29745e+12 1596 6.30117e+12 6.29592e+12 3104428 0.08% 179 149 6.29754e+12 1596 6.30117e+12 6.29592e+12 3107336 0.08% 180 150 6.29768e+12 1596 6.30117e+12 6.29592e+12 3112836 0.08% 181 151 6.29782e+12 1596 6.30117e+12 6.29592e+12 3120567 0.08% Elapsed real time = 45097.90 sec. (tree size = 627.34 MB, solutions = 10) Nodefile size = 500.32 MB (203.86 MB after compression) 182 152 6.29808e+12 1596 6.30117e+12 6.29592e+12 3141613 0.08% 183 153 6.29815e+12 1596 6.30117e+12 6.29592e+12 3145859 0.08% 185 155 6.29824e+12 1596 6.30117e+12 6.29592e+12 3155202 0.08% 187 157 6.29824e+12 1596 6.30117e+12 6.29592e+12 3156685 0.08% 189 159 6.29829e+12 1596 6.30117e+12 6.29592e+12 3166717 0.08% 190 160 6.29830e+12 1596 6.30117e+12 6.29592e+12 3168945 0.08% 193 163 6.29832e+12 1596 6.30117e+12 6.29592e+12 3171080 0.08% 194 164 6.29833e+12 1596 6.30117e+12 6.29592e+12 3172393 0.08% 195 165 6.29834e+12 1596 6.30117e+12 6.29592e+12 3173393 0.08% 198 168 6.29838e+12 1596 6.30117e+12 6.29592e+12 3175209 0.08% Elapsed real time = 46226.10 sec. (tree size = 703.84 MB, solutions = 10) Nodefile size = 576.77 MB (237.61 MB after compression) 199 169 6.29841e+12 1596 6.30117e+12 6.29592e+12 3176683 0.08% 200 170 6.29842e+12 1845 6.30117e+12 6.29592e+12 3178333 0.08% 202 172 6.29843e+12 1596 6.30117e+12 6.29592e+12 3179614 0.08% 204 174 6.29849e+12 1596 6.30117e+12 6.29592e+12 3182864 0.08% 206 176 6.29851e+12 1596 6.30117e+12 6.29592e+12 3183763 0.08% 207 177 6.29853e+12 1598 6.30117e+12 6.29592e+12 3185868 0.08% 208 178 6.29854e+12 1596 6.30117e+12 6.29592e+12 3188338 0.08% 209 179 6.29854e+12 1596 6.30117e+12 6.29592e+12 3189053 0.08% 210 180 6.29855e+12 1596 6.30117e+12 6.29592e+12 3189873 0.08% 211 181 6.29858e+12 1596 6.30117e+12 6.29592e+12 3190914 0.08% Elapsed real time = 46732.56 sec. (tree size = 762.56 MB, solutions = 10) Nodefile size = 635.47 MB (263.69 MB after compression) 213 183 6.29860e+12 1596 6.30117e+12 6.29592e+12 3193147 0.08% 217 187 6.29863e+12 1596 6.30117e+12 6.29592e+12 3196169 0.08% 218 188 6.29865e+12 1596 6.30117e+12 6.29592e+12 3198817 0.08% 219 189 6.29868e+12 1596 6.30117e+12 6.29592e+12 3207536 0.08% 220 190 6.29869e+12 1698 6.30117e+12 6.29592e+12 3209795 0.08% 223 193 6.29872e+12 1996 6.30117e+12 6.29592e+12 3211763 0.08% 225 195 6.29875e+12 2273 6.30117e+12 6.29592e+12 3216217 0.08% 227 197 6.29877e+12 2048 6.30117e+12 6.29592e+12 3218691 0.08% 229 199 6.29881e+12 1641 6.30117e+12 6.29592e+12 3221499 0.08% 231 201 6.29882e+12 1596 6.30117e+12 6.29592e+12 3222048 0.08% Elapsed real time = 47510.74 sec. (tree size = 853.29 MB, solutions = 10) Nodefile size = 726.18 MB (304.26 MB after compression) 232 202 6.29883e+12 4217 6.30117e+12 6.29592e+12 3227111 0.08% 233 203 6.29884e+12 1846 6.30117e+12 6.29592e+12 3228907 0.08% 236 206 6.29887e+12 1846 6.30117e+12 6.29592e+12 3231955 0.08% 237 207 6.29891e+12 1846 6.30117e+12 6.29592e+12 3234865 0.08% 238 208 6.29892e+12 1846 6.30117e+12 6.29592e+12 3236999 0.08% 239 209 6.29895e+12 1813 6.30117e+12 6.29592e+12 3243863 0.08% 240 210 6.29897e+12 1813 6.30117e+12 6.29592e+12 3249278 0.08% 241 211 6.29898e+12 1861 6.30117e+12 6.29592e+12 3253348 0.08% 243 213 6.29903e+12 1813 6.30117e+12 6.29592e+12 3258059 0.08% 244 214 6.29905e+12 1813 6.30117e+12 6.29592e+12 3261059 0.08% Elapsed real time = 48499.87 sec. (tree size = 912.45 MB, solutions = 10) Nodefile size = 785.33 MB (330.85 MB after compression) 245 215 6.29906e+12 1861 6.30117e+12 6.29592e+12 3264620 0.08% 246 216 6.29909e+12 1813 6.30117e+12 6.29592e+12 3268923 0.08% 247 217 6.29911e+12 1813 6.30117e+12 6.29592e+12 3271838 0.08% 249 219 6.29912e+12 4985 6.30117e+12 6.29592e+12 3275640 0.08% 250 220 6.29912e+12 1813 6.30117e+12 6.29592e+12 3276288 0.08% 252 222 6.29925e+12 2251 6.30117e+12 6.29592e+12 3283842 0.08% 253 223 6.29933e+12 2118 6.30117e+12 6.29592e+12 3291049 0.08% 254 224 6.29942e+12 2118 6.30117e+12 6.29592e+12 3303445 0.08% 255 225 6.29942e+12 1984 6.30117e+12 6.29592e+12 3306294 0.08% 256 226 6.29943e+12 2118 6.30117e+12 6.29592e+12 3309662 0.08% Elapsed real time = 49411.95 sec. (tree size = 967.26 MB, solutions = 10) Nodefile size = 840.12 MB (355.65 MB after compression) 257 227 6.29943e+12 2118 6.30117e+12 6.29592e+12 3311227 0.08% 258 228 6.29946e+12 2800 6.30117e+12 6.29592e+12 3313500 0.08% 259 229 6.29948e+12 2521 6.30117e+12 6.29592e+12 3316344 0.08% 260 230 6.29950e+12 2118 6.30117e+12 6.29592e+12 3319240 0.08% 261 231 6.29953e+12 2146 6.30117e+12 6.29592e+12 3326059 0.08% 262 232 6.29954e+12 2097 6.30117e+12 6.29592e+12 3328606 0.08% 263 233 6.29958e+12 2541 6.30117e+12 6.29592e+12 3336014 0.08% 264 234 6.29958e+12 2097 6.30117e+12 6.29592e+12 3337541 0.08% 265 235 6.29959e+12 2041 6.30117e+12 6.29592e+12 3340197 0.08% 266 236 6.29966e+12 2041 6.30117e+12 6.29592e+12 3346776 0.08% Elapsed real time = 49847.14 sec. (tree size = 1013.19 MB, solutions = 10) Nodefile size = 886.03 MB (376.58 MB after compression) 267 237 6.29966e+12 2041 6.30117e+12 6.29592e+12 3347990 0.08% 268 238 6.29970e+12 2041 6.30117e+12 6.29592e+12 3350214 0.08% 269 239 6.29973e+12 2111 6.30117e+12 6.29592e+12 3355153 0.08% 270 240 6.29975e+12 1983 6.30117e+12 6.29592e+12 3363687 0.08% 271 241 6.29976e+12 1923 6.30117e+12 6.29592e+12 3367385 0.08% 272 242 6.29977e+12 1861 6.30117e+12 6.29592e+12 3373179 0.08% 274 244 6.29979e+12 1660 6.30117e+12 6.29592e+12 3375020 0.08% 276 246 6.29980e+12 1660 6.30117e+12 6.29592e+12 3377254 0.08% 277 247 6.29981e+12 1911 6.30117e+12 6.29592e+12 3380275 0.08% 279 249 6.29983e+12 3032 6.30117e+12 6.29592e+12 3384234 0.08% Elapsed real time = 50387.94 sec. (tree size = 1073.21 MB, solutions = 10) Nodefile size = 946.03 MB (404.06 MB after compression) 280 250 6.29984e+12 1911 6.30117e+12 6.29592e+12 3384858 0.08% 281 251 6.29986e+12 1911 6.30117e+12 6.29592e+12 3386550 0.08% 282 252 6.29991e+12 1660 6.30117e+12 6.29592e+12 3392994 0.08% 284 254 6.29993e+12 1660 6.30117e+12 6.29592e+12 3397073 0.08% 285 255 6.29993e+12 1660 6.30117e+12 6.29592e+12 3398160 0.08% 286 256 6.29994e+12 1660 6.30117e+12 6.29592e+12 3399797 0.08% 287 257 6.29995e+12 2106 6.30117e+12 6.29592e+12 3401217 0.08% 288 258 6.29997e+12 1660 6.30117e+12 6.29592e+12 3404309 0.08% 289 259 6.29997e+12 1660 6.30117e+12 6.29592e+12 3406254 0.08% 290 260 6.29998e+12 2199 6.30117e+12 6.29592e+12 3407073 0.08% Elapsed real time = 50821.02 sec. (tree size = 1124.24 MB, solutions = 10) Nodefile size = 997.02 MB (427.51 MB after compression) 291 261 6.29998e+12 1660 6.30117e+12 6.29592e+12 3408122 0.08% 292 262 6.29999e+12 2825 6.30117e+12 6.29592e+12 3412343 0.08% 293 263 6.30007e+12 2024 6.30117e+12 6.29592e+12 3427072 0.08% 294 264 6.30008e+12 2024 6.30117e+12 6.29592e+12 3429251 0.08% 295 265 6.30009e+12 2071 6.30117e+12 6.29592e+12 3430921 0.08% 296 266 6.30010e+12 2024 6.30117e+12 6.29592e+12 3432274 0.08% 297 267 6.30012e+12 2163 6.30117e+12 6.29592e+12 3435995 0.08% 298 268 6.30014e+12 2163 6.30117e+12 6.29592e+12 3438085 0.08% 299 269 6.30015e+12 2254 6.30117e+12 6.29592e+12 3439423 0.08% 300 270 6.30015e+12 2188 6.30117e+12 6.29592e+12 3440699 0.08% Elapsed real time = 51411.33 sec. (tree size = 1171.00 MB, solutions = 10) Nodefile size = 1043.76 MB (447.09 MB after compression) 301 271 6.30016e+12 2188 6.30117e+12 6.29592e+12 3442372 0.08% 303 273 6.30017e+12 1596 6.30117e+12 6.29592e+12 3443576 0.08% 304 274 6.30019e+12 3798 6.30117e+12 6.29592e+12 3455690 0.08% 305 275 6.30020e+12 2112 6.30117e+12 6.29592e+12 3456630 0.08% 306 276 6.30020e+12 2978 6.30117e+12 6.29592e+12 3461616 0.08% 307 277 6.30021e+12 5475 6.30117e+12 6.29592e+12 3464495 0.08% 309 279 6.30025e+12 2157 6.30117e+12 6.29592e+12 3468469 0.08% 310 280 6.30028e+12 2063 6.30117e+12 6.29592e+12 3471180 0.08% 311 281 6.30032e+12 2110 6.30117e+12 6.29592e+12 3474497 0.08% 312 282 6.30036e+12 2062 6.30117e+12 6.29592e+12 3486845 0.08% Elapsed real time = 52425.79 sec. (tree size = 1227.25 MB, solutions = 10) Nodefile size = 1100.00 MB (464.80 MB after compression) 313 283 6.30039e+12 2202 6.30117e+12 6.29592e+12 3494442 0.08% 314 284 6.30041e+12 2214 6.30117e+12 6.29592e+12 3504237 0.08% 315 285 6.30042e+12 2262 6.30117e+12 6.29592e+12 3510427 0.08% 316 286 6.30042e+12 2704 6.30117e+12 6.29592e+12 3513202 0.08% 317 287 6.30043e+12 2668 6.30117e+12 6.29592e+12 3515216 0.08% 318 288 6.30043e+12 2359 6.30117e+12 6.29592e+12 3520452 0.08% 319 289 6.30044e+12 2209 6.30117e+12 6.29592e+12 3523453 0.08% 320 290 6.30045e+12 2160 6.30117e+12 6.29592e+12 3528044 0.08% 321 291 6.30046e+12 2474 6.30117e+12 6.29592e+12 3536809 0.08% 322 292 6.30046e+12 4253 6.30117e+12 6.29592e+12 3538135 0.08% Elapsed real time = 53602.62 sec. (tree size = 1274.12 MB, solutions = 10) Nodefile size = 1146.87 MB (479.77 MB after compression) 323 293 6.30047e+12 2160 6.30117e+12 6.29592e+12 3545003 0.08% 324 294 6.30047e+12 2160 6.30117e+12 6.29592e+12 3546055 0.08% 325 295 6.30048e+12 3198 6.30117e+12 6.29592e+12 3551670 0.08% 326 296 6.30048e+12 2213 6.30117e+12 6.29592e+12 3552700 0.08% 327 297 6.30049e+12 2160 6.30117e+12 6.29592e+12 3555478 0.08% 328 298 6.30050e+12 2256 6.30117e+12 6.29592e+12 3558571 0.08% 329 299 6.30050e+12 2255 6.30117e+12 6.29592e+12 3560121 0.08% 330 300 6.30050e+12 2160 6.30117e+12 6.29592e+12 3562309 0.08% 331 301 6.30050e+12 2214 6.30117e+12 6.29592e+12 3564681 0.08% 332 302 6.30051e+12 2303 6.30117e+12 6.29592e+12 3569031 0.08% Elapsed real time = 54518.73 sec. (tree size = 1320.98 MB, solutions = 10) Nodefile size = 1193.74 MB (494.88 MB after compression) 333 303 6.30054e+12 2093 6.30117e+12 6.29592e+12 3573218 0.08% 334 304 6.30061e+12 2375 6.30117e+12 6.29592e+12 3582306 0.08% 335 305 6.30064e+12 2341 6.30117e+12 6.29592e+12 3591317 0.08% 336 306 6.30065e+12 2160 6.30117e+12 6.29592e+12 3597313 0.08% 337 307 6.30066e+12 2411 6.30117e+12 6.29592e+12 3606393 0.08% 338 308 6.30067e+12 2590 6.30117e+12 6.29592e+12 3610063 0.08% 339 309 6.30067e+12 3871 6.30117e+12 6.29592e+12 3613073 0.08% 340 310 6.30067e+12 2160 6.30117e+12 6.29592e+12 3615455 0.08% 342 312 6.30070e+12 2257 6.30117e+12 6.29592e+12 3623072 0.08% 344 314 6.30071e+12 2160 6.30117e+12 6.29592e+12 3625245 0.08% Elapsed real time = 55797.19 sec. (tree size = 1377.23 MB, solutions = 10) Nodefile size = 1249.99 MB (513.24 MB after compression) 345 315 6.30075e+12 2160 6.30117e+12 6.29592e+12 3632614 0.08% 346 316 6.30076e+12 2160 6.30117e+12 6.29592e+12 3634298 0.08% 347 317 6.30077e+12 2438 6.30117e+12 6.29592e+12 3636986 0.08% 348 318 6.30078e+12 2093 6.30117e+12 6.29592e+12 3638740 0.08% 349 319 6.30080e+12 2188 6.30117e+12 6.29592e+12 3642979 0.08% 350 320 6.30080e+12 2139 6.30117e+12 6.29592e+12 3643512 0.08% 351 321 6.30081e+12 2044 6.30117e+12 6.29592e+12 3645734 0.08% 352 322 6.30081e+12 2044 6.30117e+12 6.29592e+12 3647686 0.08% 354 324 6.30082e+12 3365 6.30117e+12 6.29592e+12 3649612 0.08% 356 326 6.30082e+12 2044 6.30117e+12 6.29592e+12 3651260 0.08% Elapsed real time = 56251.00 sec. (tree size = 1433.49 MB, solutions = 10) Nodefile size = 1306.24 MB (531.82 MB after compression) 358 328 6.30082e+12 2044 6.30117e+12 6.29592e+12 3653760 0.08% 359 329 6.30083e+12 2044 6.30117e+12 6.29592e+12 3656517 0.08% 360 330 6.30083e+12 2093 6.30117e+12 6.29592e+12 3657506 0.08% 361 331 6.30083e+12 2093 6.30117e+12 6.29592e+12 3658853 0.08% 362 332 6.30085e+12 3977 6.30117e+12 6.29592e+12 3661746 0.08% 364 334 6.30086e+12 2093 6.30117e+12 6.29592e+12 3664416 0.08% 365 335 6.30087e+12 2093 6.30117e+12 6.29592e+12 3667984 0.08% 368 338 6.30087e+12 2044 6.30117e+12 6.29592e+12 3670566 0.08% 370 340 6.30090e+12 2044 6.30117e+12 6.29592e+12 3678756 0.08% 371 341 6.30090e+12 2140 6.30117e+12 6.29592e+12 3682778 0.08% Elapsed real time = 56797.44 sec. (tree size = 1503.80 MB, solutions = 10) Nodefile size = 1376.55 MB (555.34 MB after compression) 372 342 6.30091e+12 2609 6.30117e+12 6.29592e+12 3686342 0.08% 374 344 6.30091e+12 5191 6.30117e+12 6.29592e+12 3688281 0.08% 375 345 6.30091e+12 2234 6.30117e+12 6.29592e+12 3689817 0.08% 376 346 6.30091e+12 2234 6.30117e+12 6.29592e+12 3690840 0.08% 377 347 6.30091e+12 2846 6.30117e+12 6.29592e+12 3692356 0.08% 378 348 6.30091e+12 2234 6.30117e+12 6.29592e+12 3694059 0.08% 379 349 6.30092e+12 2280 6.30117e+12 6.29592e+12 3695431 0.08% 380 350 6.30092e+12 2186 6.30117e+12 6.29592e+12 3697256 0.08% 382 352 6.30092e+12 2282 6.30117e+12 6.29592e+12 3698365 0.08% 384 354 6.30092e+12 2282 6.30117e+12 6.29592e+12 3700010 0.08% Elapsed real time = 57232.39 sec. (tree size = 1564.74 MB, solutions = 10) Nodefile size = 1437.49 MB (575.97 MB after compression) 386 356 6.30092e+12 2328 6.30117e+12 6.29592e+12 3701661 0.08% 388 358 6.30092e+12 2282 6.30117e+12 6.29592e+12 3702815 0.08% 390 360 6.30092e+12 2329 6.30117e+12 6.29592e+12 3703918 0.08% 392 362 6.30092e+12 2329 6.30117e+12 6.29592e+12 3705246 0.08% 394 364 6.30093e+12 2282 6.30117e+12 6.29592e+12 3706014 0.08% 396 366 6.30093e+12 2282 6.30117e+12 6.29592e+12 3706773 0.08% 399 369 6.30093e+12 2282 6.30117e+12 6.29592e+12 3708572 0.08% 400 370 6.30093e+12 2282 6.30117e+12 6.29592e+12 3709224 0.08% 402 372 6.29623e+12 5759 6.30117e+12 6.29623e+12 3764555 0.08% 403 373 6.29628e+12 6962 6.30117e+12 6.29623e+12 3777132 0.08% Elapsed real time = 59608.46 sec. (tree size = 1653.81 MB, solutions = 10) Nodefile size = 1526.56 MB (606.26 MB after compression) 404 374 6.29640e+12 5750 6.30117e+12 6.29623e+12 3816217 0.08% 405 375 6.29645e+12 7547 6.30117e+12 6.29623e+12 3829748 0.08% 406 376 6.29647e+12 3378 6.30117e+12 6.29623e+12 3835105 0.08% 407 377 6.29648e+12 3349 6.30117e+12 6.29623e+12 3839076 0.08% 408 378 6.29649e+12 3317 6.30117e+12 6.29623e+12 3841205 0.08% 409 379 6.29653e+12 3002 6.30117e+12 6.29623e+12 3850896 0.08% 410 380 6.29655e+12 3404 6.30117e+12 6.29623e+12 3860493 0.08% 411 381 6.29660e+12 3678 6.30117e+12 6.29623e+12 3871804 0.08% 412 382 6.29663e+12 3622 6.30117e+12 6.29623e+12 3874406 0.08% 413 383 6.29666e+12 7949 6.30117e+12 6.29623e+12 3888461 0.08% Elapsed real time = 62154.59 sec. (tree size = 1693.67 MB, solutions = 10) Nodefile size = 1567.26 MB (622.02 MB after compression) 414 384 6.29668e+12 6250 6.30117e+12 6.29623e+12 3894669 0.08% 415 385 6.29669e+12 2901 6.30117e+12 6.29623e+12 3896599 0.08% 416 386 6.29675e+12 3115 6.30117e+12 6.29623e+12 3909324 0.08% 417 387 6.29677e+12 2931 6.30117e+12 6.29623e+12 3914341 0.08% 418 388 6.29679e+12 2820 6.30117e+12 6.29623e+12 3922894 0.08% 420 390 6.29684e+12 3410 6.30117e+12 6.29623e+12 3930717 0.08% 421 391 6.29685e+12 3412 6.30117e+12 6.29623e+12 3933829 0.08% 422 392 6.29686e+12 3446 6.30117e+12 6.29623e+12 3936623 0.08% 423 393 6.29687e+12 2820 6.30117e+12 6.29623e+12 3938200 0.08% 425 395 6.29689e+12 2820 6.30117e+12 6.29623e+12 3940417 0.08% Elapsed real time = 63003.48 sec. (tree size = 1746.79 MB, solutions = 10) Nodefile size = 1620.34 MB (645.89 MB after compression) 427 397 6.29689e+12 2777 6.30117e+12 6.29623e+12 3942366 0.08% 430 400 6.29691e+12 2774 6.30117e+12 6.29623e+12 3945810 0.08% 431 401 6.29692e+12 2773 6.30117e+12 6.29623e+12 3950496 0.08% 432 402 6.29693e+12 2766 6.30117e+12 6.29623e+12 3952822 0.08% 433 403 6.29693e+12 2772 6.30117e+12 6.29623e+12 3955304 0.08% 434 404 6.29695e+12 3328 6.30117e+12 6.29623e+12 3970992 0.08% 435 405 6.29699e+12 2754 6.30117e+12 6.29623e+12 3983419 0.08% 436 406 6.29700e+12 2590 6.30117e+12 6.29623e+12 3987116 0.08% 437 407 6.29703e+12 2638 6.30117e+12 6.29623e+12 4003375 0.08% 438 408 6.29704e+12 2584 6.30117e+12 6.29623e+12 4005256 0.08% Elapsed real time = 63973.27 sec. (tree size = 1804.54 MB, solutions = 10) Nodefile size = 1678.09 MB (671.91 MB after compression) 439 409 6.29709e+12 2052 6.30117e+12 6.29623e+12 4013217 0.08% 440 410 6.29714e+12 2727 6.30117e+12 6.29623e+12 4023170 0.08% 441 411 6.29717e+12 2682 6.30117e+12 6.29623e+12 4029332 0.08% 443 413 6.29719e+12 1896 6.30117e+12 6.29623e+12 4033584 0.08% 444 414 6.29721e+12 1896 6.30117e+12 6.29623e+12 4036933 0.08% 445 415 6.29725e+12 5651 6.30117e+12 6.29623e+12 4043415 0.08% 446 416 6.29726e+12 2002 6.30117e+12 6.29623e+12 4044459 0.08% 447 417 6.29730e+12 2852 6.30117e+12 6.29623e+12 4057549 0.08% 448 418 6.29731e+12 4815 6.30117e+12 6.29623e+12 4061693 0.08% 449 419 6.29732e+12 3968 6.30117e+12 6.29623e+12 4064686 0.08% Elapsed real time = 64954.32 sec. (tree size = 1853.56 MB, solutions = 10) Nodefile size = 1727.10 MB (694.06 MB after compression) 450 420 6.29735e+12 2758 6.30117e+12 6.29623e+12 4070188 0.08% 451 421 6.29736e+12 2002 6.30117e+12 6.29623e+12 4071998 0.08% 453 423 6.29740e+12 2957 6.30117e+12 6.29623e+12 4076531 0.08% 455 425 6.29746e+12 1896 6.30117e+12 6.29623e+12 4082515 0.08% 456 426 6.29747e+12 2002 6.30117e+12 6.29623e+12 4085242 0.08% 457 427 6.29748e+12 4329 6.30117e+12 6.29623e+12 4094329 0.08% 458 428 6.29748e+12 6079 6.30117e+12 6.29623e+12 4096496 0.08% 459 429 6.29786e+12 1840 6.30117e+12 6.29623e+12 4121118 0.08% 460 430 6.29789e+12 1840 6.30117e+12 6.29623e+12 4125139 0.08% 461 431 6.29794e+12 1950 6.30117e+12 6.29623e+12 4129133 0.08% Elapsed real time = 65724.66 sec. (tree size = 1907.19 MB, solutions = 10) Nodefile size = 1780.70 MB (718.43 MB after compression) 462 432 6.29796e+12 1896 6.30117e+12 6.29623e+12 4131041 0.08% 463 433 6.29798e+12 1782 6.30117e+12 6.29623e+12 4134771 0.08% 464 434 6.29803e+12 1722 6.30117e+12 6.29623e+12 4141651 0.08% 465 435 6.29805e+12 5518 6.30117e+12 6.29623e+12 4149163 0.08% 466 436 6.29808e+12 2021 6.30117e+12 6.29623e+12 4160188 0.08% 467 437 6.29808e+12 2175 6.30117e+12 6.29623e+12 4161144 0.08% 468 438 6.29809e+12 2021 6.30117e+12 6.29623e+12 4167846 0.08% 469 439 6.29811e+12 2100 6.30117e+12 6.29623e+12 4176713 0.08% 470 440 6.29812e+12 2021 6.30117e+12 6.29623e+12 4179887 0.08% 471 441 6.29813e+12 2175 6.30117e+12 6.29623e+12 4181144 0.08% Elapsed real time = 66557.33 sec. (tree size = 1952.15 MB, solutions = 10) Nodefile size = 1825.64 MB (738.89 MB after compression) 472 442 6.29813e+12 2175 6.30117e+12 6.29623e+12 4185824 0.08% 474 444 6.29814e+12 1660 6.30117e+12 6.29623e+12 4187879 0.08% 475 445 6.29596e+12 6835 6.30117e+12 6.29623e+12 6386347 0.08% 476 445 6.29601e+12 5425 6.30117e+12 6.29623e+12 6407411 0.08% 477 446 6.29633e+12 4013 6.30117e+12 6.29623e+12 6474677 0.08% 478 447 6.29631e+12 8816 6.30117e+12 6.29623e+12 6534923 0.08% 479 447 6.29638e+12 7698 6.30117e+12 6.29623e+12 6568826 0.08% 480 448 6.29765e+12 5369 6.30117e+12 6.29623e+12 6709283 0.08% 481 449 6.29767e+12 8519 6.30117e+12 6.29623e+12 6720754 0.08% 482 449 6.29811e+12 4062 6.30117e+12 6.29623e+12 6775749 0.08% Elapsed real time = 127663.70 sec. (tree size = 148.60 MB, solutions = 10) 483 450 6.29813e+12 3730 6.30117e+12 6.29623e+12 6783222 0.08% 484 450 6.29816e+12 3789 6.30117e+12 6.29623e+12 6795639 0.08% 485 450 6.29819e+12 3545 6.30117e+12 6.29623e+12 6807707 0.08% 486 451 6.29819e+12 5841 6.30117e+12 6.29623e+12 6808703 0.08% 487 452 6.29833e+12 6087 6.30117e+12 6.29623e+12 6851041 0.08% 488 453 6.29822e+12 7818 6.30117e+12 6.29623e+12 6865690 0.08% 489 453 6.29876e+12 7026 6.30117e+12 6.29623e+12 6962096 0.08% 490 454 6.29887e+12 2865 6.30117e+12 6.29623e+12 7009507 0.08% 491 455 6.29904e+12 2576 6.30117e+12 6.29623e+12 7045339 0.08% 492 455 6.29888e+12 8349 6.30117e+12 6.29623e+12 7071196 0.08% Elapsed real time = 136056.52 sec. (tree size = 183.22 MB, solutions = 10) 493 455 6.29945e+12 6816 6.30117e+12 6.29623e+12 7191108 0.08% 494 456 6.29889e+12 4861 6.30117e+12 6.29623e+12 7196748 0.08% 495 457 6.29942e+12 4221 6.30117e+12 6.29623e+12 7305525 0.08% 496 457 6.29976e+12 4024 6.30117e+12 6.29623e+12 7327239 0.08% 497 457 6.29945e+12 5033 6.30117e+12 6.29623e+12 7340555 0.08% 498 457 6.29984e+12 4526 6.30117e+12 6.29623e+12 7361653 0.08% 499 457 6.30022e+12 6240 6.30117e+12 6.29623e+12 7430904 0.08% 500 458 6.29986e+12 6533 6.30117e+12 6.29623e+12 7443208 0.08% 501 459 6.30028e+12 5016 6.30117e+12 6.29623e+12 7559963 0.08% 502 459 6.29994e+12 4579 6.30117e+12 6.29623e+12 7574190 0.08% Elapsed real time = 150760.48 sec. (tree size = 218.52 MB, solutions = 10) 503 459 6.30034e+12 5335 6.30117e+12 6.29623e+12 7604600 0.08% 504 460 6.30038e+12 4160 6.30117e+12 6.29623e+12 7652358 0.08% 505 461 6.30044e+12 3939 6.30117e+12 6.29623e+12 7680604 0.08% 506 462 6.30102e+12 4680 6.30117e+12 6.29623e+12 7788031 0.08% 507 462 6.30047e+12 4339 6.30117e+12 6.29623e+12 7809367 0.08% 508 463 6.30095e+12 2716 6.30117e+12 6.29623e+12 7838167 0.08% 509 464 6.30047e+12 4098 6.30117e+12 6.29623e+12 7839660 0.08% 510 464 6.30054e+12 4275 6.30117e+12 6.29623e+12 7857719 0.08% 511 451 cutoff 6.30117e+12 6.29623e+12 7880761 0.08% 512 451 6.30054e+12 3358 6.30117e+12 6.29623e+12 7882096 0.08% Elapsed real time = 158832.94 sec. (tree size = 244.86 MB, solutions = 10) 513 451 6.30054e+12 3383 6.30117e+12 6.29623e+12 7883022 0.08% 514 452 6.30054e+12 4222 6.30117e+12 6.29623e+12 7886443 0.08% 515 452 6.30055e+12 2503 6.30117e+12 6.29623e+12 7891216 0.08% 516 453 6.30072e+12 2584 6.30117e+12 6.29623e+12 7913032 0.08% 517 453 6.30057e+12 6173 6.30117e+12 6.29623e+12 7928175 0.08% 518 453 6.30057e+12 3968 6.30117e+12 6.29623e+12 7930039 0.08% 519 454 6.30063e+12 3556 6.30117e+12 6.29623e+12 7944074 0.08% 520 455 6.30110e+12 1391 6.30117e+12 6.29623e+12 7997326 0.08% 521 456 6.30063e+12 4865 6.30117e+12 6.29623e+12 8001852 0.08% 522 456 6.30064e+12 3317 6.30117e+12 6.29623e+12 8006799 0.08% Elapsed real time = 161244.63 sec. (tree size = 282.06 MB, solutions = 10) Nodefile size = 38.63 MB (13.83 MB after compression) 523 457 6.30074e+12 4458 6.30117e+12 6.29623e+12 8015109 0.08% 524 457 6.30067e+12 6103 6.30117e+12 6.29623e+12 8025976 0.08% 525 458 6.30076e+12 2692 6.30117e+12 6.29623e+12 8036893 0.08% 526 448 cutoff 6.30117e+12 6.29623e+12 8047415 0.08% 527 449 6.30078e+12 2562 6.30117e+12 6.29623e+12 8056631 0.08% 528 440 cutoff 6.30117e+12 6.29623e+12 8086074 0.08% 529 441 6.30079e+12 3103 6.30117e+12 6.29623e+12 8092303 0.08% 530 442 6.30100e+12 5028 6.30117e+12 6.29623e+12 8138080 0.08% 531 442 6.30104e+12 1531 6.30117e+12 6.29623e+12 8151378 0.08% 533 434 6.30107e+12 2468 6.30117e+12 6.29623e+12 8169777 0.08% Elapsed real time = 163962.57 sec. (tree size = 293.67 MB, solutions = 10) Nodefile size = 57.93 MB (20.58 MB after compression) 534 434 6.30107e+12 5658 6.30117e+12 6.29623e+12 8171034 0.08% 535 425 cutoff 6.30117e+12 6.29623e+12 8181703 0.08% 536 425 6.30111e+12 3014 6.30117e+12 6.29623e+12 8199705 0.08% 537 416 cutoff 6.30117e+12 6.29623e+12 8204534 0.08% 538 416 6.30112e+12 3772 6.30117e+12 6.29623e+12 8218371 0.08% 540 409 6.30112e+12 3382 6.30117e+12 6.29623e+12 8220625 0.08% 541 401 cutoff 6.30117e+12 6.29623e+12 8223811 0.08% 542 402 6.30113e+12 2635 6.30117e+12 6.29623e+12 8230684 0.08% 544 395 6.30113e+12 2888 6.30117e+12 6.29623e+12 8233789 0.08% 546 388 6.30116e+12 2910 6.30117e+12 6.29623e+12 8248927 0.08% Elapsed real time = 165548.61 sec. (tree size = 284.14 MB, solutions = 10) Nodefile size = 61.79 MB (21.98 MB after compression) 547 389 6.30116e+12 2022 6.30117e+12 6.29623e+12 8251179 0.08% 549 373 cutoff 6.30117e+12 6.29623e+12 8257387 0.08% 550 373 6.29600e+12 5041 6.30117e+12 6.29623e+12 8273415 0.08% 551 374 6.29600e+12 5425 6.30117e+12 6.29623e+12 8285629 0.08% 552 374 6.29729e+12 6764 6.30117e+12 6.29623e+12 8399448 0.08% 553 375 6.29729e+12 6461 6.30117e+12 6.29623e+12 8399758 0.08% 554 376 6.29866e+12 6922 6.30117e+12 6.29623e+12 8542042 0.08% 555 377 6.29765e+12 4830 6.30117e+12 6.29623e+12 8579654 0.08% 556 378 6.29986e+12 6011 6.30117e+12 6.29623e+12 8705116 0.08% 557 379 6.30027e+12 5854 6.30117e+12 6.29623e+12 8775801 0.08% Elapsed real time = 181554.84 sec. (tree size = 304.68 MB, solutions = 10) Nodefile size = 88.83 MB (31.59 MB after compression) 558 379 6.30028e+12 2488 6.30117e+12 6.29623e+12 8778865 0.08% 559 379 6.30060e+12 3925 6.30117e+12 6.29623e+12 8855334 0.08% 560 380 6.30030e+12 2476 6.30117e+12 6.29623e+12 8872807 0.08% 561 381 6.30053e+12 4305 6.30117e+12 6.29623e+12 8935892 0.08% 562 381 6.30031e+12 4334 6.30117e+12 6.29623e+12 8958501 0.08% 563 382 6.30034e+12 4442 6.30117e+12 6.29623e+12 8979018 0.08% 564 382 6.30044e+12 3221 6.30117e+12 6.29623e+12 9017512 0.08% * 565+ 272 6.30109e+12 6.29623e+12 9119164 0.08% 565 274 6.30086e+12 2234 6.30109e+12 6.29623e+12 9119164 0.08% * 566 182 integral 0 6.30091e+12 6.29623e+12 9130288 0.07% 567 183 6.30087e+12 2993 6.30091e+12 6.29623e+12 9142622 0.07% Elapsed real time = 187868.84 sec. (tree size = 245.22 MB, solutions = 12) Nodefile size = 84.94 MB (29.96 MB after compression) 569 183 6.30088e+12 2373 6.30091e+12 6.29623e+12 9144256 0.07% 570 184 6.30088e+12 2707 6.30091e+12 6.29623e+12 9150454 0.07% 571 185 6.30091e+12 2794 6.30091e+12 6.29623e+12 9164959 0.07% 573 179 cutoff 6.30091e+12 6.29623e+12 9167057 0.07% 574 180 6.29600e+12 5069 6.30091e+12 6.29623e+12 9167102 0.07% 575 181 6.29632e+12 4082 6.30091e+12 6.29623e+12 9239763 0.07% 576 182 6.29634e+12 4082 6.30091e+12 6.29623e+12 9252926 0.07% 577 183 6.29635e+12 4537 6.30091e+12 6.29623e+12 9267682 0.07% 578 183 6.29635e+12 5102 6.30091e+12 6.29623e+12 9268577 0.07% 579 184 6.29638e+12 11512 6.30091e+12 6.29623e+12 9278933 0.07% Elapsed real time = 190679.53 sec. (tree size = 272.43 MB, solutions = 12) Nodefile size = 111.94 MB (40.79 MB after compression) 580 184 6.29754e+12 9383 6.30091e+12 6.29623e+12 9412682 0.07% 581 185 6.29831e+12 8484 6.30091e+12 6.29623e+12 9576819 0.07% 582 186 6.29831e+12 4502 6.30091e+12 6.29623e+12 9577128 0.07% 583 187 6.29831e+12 4781 6.30091e+12 6.29623e+12 9579031 0.07% 584 188 6.29831e+12 4514 6.30091e+12 6.29623e+12 9579414 0.07% 585 189 6.29831e+12 3795 6.30091e+12 6.29623e+12 9581229 0.07% 586 190 6.29831e+12 7321 6.30091e+12 6.29623e+12 9584711 0.07% 587 190 6.29841e+12 6542 6.30091e+12 6.29623e+12 9633352 0.07% 588 191 6.29842e+12 7501 6.30091e+12 6.29623e+12 9637269 0.07% 589 192 6.29843e+12 5941 6.30091e+12 6.29623e+12 9647560 0.07% Elapsed real time = 197880.40 sec. (tree size = 307.65 MB, solutions = 12) Nodefile size = 148.87 MB (57.69 MB after compression) 590 192 6.29860e+12 7301 6.30091e+12 6.29623e+12 9689594 0.07% 591 192 6.29862e+12 4692 6.30091e+12 6.29623e+12 9707152 0.07% 592 192 6.29911e+12 6604 6.30091e+12 6.29623e+12 9769011 0.07% 593 193 6.29912e+12 4536 6.30091e+12 6.29623e+12 9778696 0.07% 594 193 6.29917e+12 4556 6.30091e+12 6.29623e+12 9796398 0.07% 595 193 6.30007e+12 2911 6.30091e+12 6.29623e+12 9888129 0.07% 596 194 6.30076e+12 2944 6.30091e+12 6.29623e+12 10009825 0.07% 598 192 6.30077e+12 6338 6.30091e+12 6.29623e+12 10017895 0.07% 600 190 6.30077e+12 3241 6.30091e+12 6.29623e+12 10023550 0.07% 601 190 6.30081e+12 2531 6.30091e+12 6.29623e+12 10041760 0.07% Elapsed real time = 203258.95 sec. (tree size = 334.29 MB, solutions = 12) Nodefile size = 178.09 MB (71.02 MB after compression) 602 187 cutoff 6.30091e+12 6.29623e+12 10053317 0.07% 603 188 6.30083e+12 2098 6.30091e+12 6.29623e+12 10062752 0.07% 604 185 cutoff 6.30091e+12 6.29623e+12 10073839 0.07% 605 185 6.30086e+12 2967 6.30091e+12 6.29623e+12 10086484 0.07% 606 185 6.30088e+12 6578 6.30091e+12 6.29623e+12 10106007 0.07% 607 182 cutoff 6.30091e+12 6.29623e+12 10116243 0.07% 608 179 cutoff 6.30091e+12 6.29623e+12 10121202 0.07% 609 180 6.29664e+12 5168 6.30091e+12 6.29623e+12 10189260 0.07% 610 180 6.29673e+12 8923 6.30091e+12 6.29623e+12 10224567 0.07% 611 180 6.29673e+12 4758 6.30091e+12 6.29623e+12 10227005 0.07% Elapsed real time = 209220.58 sec. (tree size = 338.54 MB, solutions = 12) Nodefile size = 185.82 MB (74.07 MB after compression) 612 181 6.29674e+12 10269 6.30091e+12 6.29623e+12 10237884 0.07% 613 181 6.29676e+12 8132 6.30091e+12 6.29623e+12 10244736 0.07% 614 181 6.29677e+12 6608 6.30091e+12 6.29623e+12 10254881 0.07% 615 181 6.29689e+12 3993 6.30091e+12 6.29623e+12 10279982 0.07% 617 182 6.29689e+12 6993 6.30091e+12 6.29623e+12 10280993 0.07% 618 182 6.29691e+12 4025 6.30091e+12 6.29623e+12 10291048 0.07% 619 182 6.29691e+12 4955 6.30091e+12 6.29623e+12 10292145 0.07% 620 182 6.29692e+12 7367 6.30091e+12 6.29623e+12 10297865 0.07% 621 183 6.29692e+12 4869 6.30091e+12 6.29623e+12 10298255 0.07% 622 183 6.29692e+12 8849 6.30091e+12 6.29623e+12 10302918 0.07% Elapsed real time = 213254.57 sec. (tree size = 374.97 MB, solutions = 12) Nodefile size = 225.36 MB (93.03 MB after compression) 623 183 6.29804e+12 9936 6.30091e+12 6.29623e+12 10440482 0.07% 624 184 6.29852e+12 3576 6.30091e+12 6.29623e+12 10527206 0.07% 625 185 6.29853e+12 3234 6.30091e+12 6.29623e+12 10528700 0.07% 626 185 6.29858e+12 4371 6.30091e+12 6.29623e+12 10533386 0.07% 627 185 6.29871e+12 2809 6.30091e+12 6.29623e+12 10553770 0.07% 628 186 6.29873e+12 2855 6.30091e+12 6.29623e+12 10560722 0.07% 629 186 6.29878e+12 2833 6.30091e+12 6.29623e+12 10571488 0.07% 630 187 6.29950e+12 2754 6.30091e+12 6.29623e+12 10731081 0.07% 631 188 6.29953e+12 3605 6.30091e+12 6.29623e+12 10749991 0.07% 632 188 6.30024e+12 7216 6.30091e+12 6.29623e+12 10867766 0.07% Elapsed real time = 231255.14 sec. (tree size = 409.61 MB, solutions = 12) Nodefile size = 261.40 MB (110.59 MB after compression) 633 189 6.30027e+12 8046 6.30091e+12 6.29623e+12 10898009 0.07% 634 190 6.30030e+12 3193 6.30091e+12 6.29623e+12 10912664 0.07% 635 191 6.30030e+12 3082 6.30091e+12 6.29623e+12 10915698 0.07% 636 191 6.30032e+12 3672 6.30091e+12 6.29623e+12 10918672 0.07% 637 191 6.30065e+12 6686 6.30091e+12 6.29623e+12 10985706 0.07% 638 192 6.30065e+12 1319 6.30091e+12 6.29623e+12 10989666 0.07% 639 193 6.30072e+12 1245 6.30091e+12 6.29623e+12 10997355 0.07% 641 191 cutoff 6.30091e+12 6.29623e+12 11000551 0.07% 642 191 6.30083e+12 2239 6.30091e+12 6.29623e+12 11028336 0.07% 644 190 6.30088e+12 3167 6.30091e+12 6.29623e+12 11046163 0.07% Elapsed real time = 236404.99 sec. (tree size = 438.79 MB, solutions = 12) Nodefile size = 292.11 MB (122.96 MB after compression) 646 188 6.30089e+12 3251 6.30091e+12 6.29623e+12 11050005 0.07% 648 187 cutoff 6.30091e+12 6.29623e+12 11051864 0.07% 651 184 cutoff 6.30091e+12 6.29623e+12 11053135 0.07% 652 184 6.29633e+12 5076 6.30091e+12 6.29632e+12 11129496 0.07% 653 185 6.29641e+12 5265 6.30091e+12 6.29632e+12 11176770 0.07% 654 186 6.29650e+12 9964 6.30091e+12 6.29632e+12 11218658 0.07% 655 186 6.29672e+12 5481 6.30091e+12 6.29632e+12 11258622 0.07% 656 187 6.29775e+12 7667 6.30091e+12 6.29632e+12 11393502 0.07% 657 187 6.29776e+12 4921 6.30091e+12 6.29632e+12 11396952 0.07% 658 188 6.29776e+12 4867 6.30091e+12 6.29632e+12 11399854 0.07% Elapsed real time = 249800.99 sec. (tree size = 458.22 MB, solutions = 12) Nodefile size = 314.07 MB (131.72 MB after compression) 659 188 6.29779e+12 4215 6.30091e+12 6.29632e+12 11407790 0.07% 660 188 6.29780e+12 8514 6.30091e+12 6.29632e+12 11409820 0.07% 661 189 6.29782e+12 5845 6.30091e+12 6.29632e+12 11416600 0.07% 663 190 6.29783e+12 5302 6.30091e+12 6.29632e+12 11419632 0.07% 664 190 6.29783e+12 6896 6.30091e+12 6.29632e+12 11424977 0.07% 665 191 6.29783e+12 4901 6.30091e+12 6.29632e+12 11425065 0.07% 666 192 6.29786e+12 4937 6.30091e+12 6.29632e+12 11432163 0.07% 668 194 6.29869e+12 5218 6.30091e+12 6.29632e+12 11582436 0.07% 669 195 6.29869e+12 8473 6.30091e+12 6.29632e+12 11583407 0.07% 670 196 6.29881e+12 7630 6.30091e+12 6.29632e+12 11640667 0.07% Elapsed real time = 256004.47 sec. (tree size = 499.74 MB, solutions = 12) Nodefile size = 356.71 MB (152.79 MB after compression) 671 196 6.29946e+12 7304 6.30091e+12 6.29632e+12 11758461 0.07% 672 197 6.29949e+12 7012 6.30091e+12 6.29632e+12 11775239 0.07% 673 198 6.29955e+12 5755 6.30091e+12 6.29632e+12 11816959 0.07% 674 198 6.29960e+12 8259 6.30091e+12 6.29632e+12 11825747 0.07% 675 199 6.29963e+12 5359 6.30091e+12 6.29632e+12 11838014 0.07% 676 199 6.30012e+12 5141 6.30091e+12 6.29632e+12 11936163 0.07% 677 199 6.30020e+12 5014 6.30091e+12 6.29632e+12 11968262 0.07% 678 199 6.30027e+12 5956 6.30091e+12 6.29632e+12 12016293 0.07% 679 199 6.30062e+12 3655 6.30091e+12 6.29632e+12 12048189 0.07% 680 200 6.30071e+12 4256 6.30091e+12 6.29632e+12 12057915 0.07% Elapsed real time = 267322.97 sec. (tree size = 535.45 MB, solutions = 12) Nodefile size = 393.86 MB (170.87 MB after compression) 682 199 6.30076e+12 3364 6.30091e+12 6.29632e+12 12074857 0.07% 683 200 6.30081e+12 6043 6.30091e+12 6.29632e+12 12095960 0.07% 684 200 6.30084e+12 2414 6.30091e+12 6.29632e+12 12100575 0.07% 685 200 6.30086e+12 2288 6.30091e+12 6.29632e+12 12105292 0.07% 686 201 6.30087e+12 2612 6.30091e+12 6.29632e+12 12108825 0.07% 688 200 cutoff 6.30091e+12 6.29632e+12 12114237 0.07% 689 201 6.30088e+12 3431 6.30091e+12 6.29632e+12 12117622 0.07% 691 197 cutoff 6.30091e+12 6.29632e+12 12123703 0.07% 692 197 6.29711e+12 4113 6.30091e+12 6.29633e+12 12225792 0.07% 693 198 6.29722e+12 3594 6.30091e+12 6.29633e+12 12235420 0.07% Elapsed real time = 270320.96 sec. (tree size = 552.99 MB, solutions = 12) Nodefile size = 413.17 MB (178.62 MB after compression) 694 199 6.29732e+12 8102 6.30091e+12 6.29633e+12 12259974 0.07% 695 200 6.29831e+12 2820 6.30091e+12 6.29633e+12 12395450 0.07% 696 201 6.29836e+12 3230 6.30091e+12 6.29633e+12 12404449 0.07% 697 202 6.29835e+12 8144 6.30091e+12 6.29633e+12 12432640 0.07% 698 203 6.29840e+12 3242 6.30091e+12 6.29633e+12 12446597 0.07% 699 203 6.29851e+12 2693 6.30091e+12 6.29633e+12 12484605 0.07% 700 204 6.29851e+12 2671 6.30091e+12 6.29633e+12 12486682 0.07% 701 205 6.29857e+12 2831 6.30091e+12 6.29633e+12 12500529 0.07% 703 206 6.29863e+12 2605 6.30091e+12 6.29633e+12 12507990 0.07% 704 207 6.29941e+12 3246 6.30091e+12 6.29633e+12 12629265 0.07% Elapsed real time = 282012.12 sec. (tree size = 591.98 MB, solutions = 12) Nodefile size = 452.94 MB (197.58 MB after compression) 705 208 6.29869e+12 2449 6.30091e+12 6.29633e+12 12644099 0.07% 706 208 6.29916e+12 3020 6.30091e+12 6.29633e+12 12713301 0.07% 707 208 6.29875e+12 4664 6.30091e+12 6.29633e+12 12723853 0.07% 708 208 6.29920e+12 3280 6.30091e+12 6.29633e+12 12734142 0.07% 709 208 6.29921e+12 2826 6.30091e+12 6.29633e+12 12735158 0.07% 710 208 6.30003e+12 3191 6.30091e+12 6.29633e+12 12828892 0.07% 711 209 6.29924e+12 2826 6.30091e+12 6.29633e+12 12831002 0.07% 712 207 cutoff 6.30091e+12 6.29633e+12 12932197 0.07% 713 207 6.29925e+12 3029 6.30091e+12 6.29633e+12 12936400 0.07% 714 205 cutoff 6.30091e+12 6.29633e+12 13053193 0.07% Elapsed real time = 293157.62 sec. (tree size = 615.51 MB, solutions = 12) Nodefile size = 478.56 MB (209.43 MB after compression) 715 206 6.29926e+12 2826 6.30091e+12 6.29633e+12 13058191 0.07% 716 207 6.30052e+12 2591 6.30091e+12 6.29633e+12 13137076 0.07% 717 208 6.30053e+12 1884 6.30091e+12 6.29633e+12 13142489 0.07% 718 206 cutoff 6.30091e+12 6.29633e+12 13188635 0.07% 719 207 6.30057e+12 1595 6.30091e+12 6.29633e+12 13208202 0.07% 720 207 6.30059e+12 1595 6.30091e+12 6.29633e+12 13216298 0.07% 721 207 6.30060e+12 3111 6.30091e+12 6.29633e+12 13222658 0.07% 722 207 6.30066e+12 2733 6.30091e+12 6.29633e+12 13231231 0.07% 723 205 cutoff 6.30091e+12 6.29633e+12 13249228 0.07% 724 206 6.30067e+12 1894 6.30091e+12 6.29633e+12 13250087 0.07% Elapsed real time = 298194.94 sec. (tree size = 633.18 MB, solutions = 12) Nodefile size = 497.66 MB (216.89 MB after compression) 725 204 cutoff 6.30091e+12 6.29633e+12 13268019 0.07% 726 204 6.30072e+12 1894 6.30091e+12 6.29633e+12 13284865 0.07% 727 204 6.30080e+12 2466 6.30091e+12 6.29633e+12 13302403 0.07% 728 204 6.30073e+12 1461 6.30091e+12 6.29633e+12 13308680 0.07% 729 205 6.30074e+12 1391 6.30091e+12 6.29633e+12 13313774 0.07% 730 203 cutoff 6.30091e+12 6.29633e+12 13322003 0.07% 731 204 6.30075e+12 1391 6.30091e+12 6.29633e+12 13324113 0.07% 733 203 6.30076e+12 1391 6.30091e+12 6.29633e+12 13326501 0.07% 734 203 6.30078e+12 1391 6.30091e+12 6.29633e+12 13329213 0.07% 736 202 6.30078e+12 1391 6.30091e+12 6.29633e+12 13331683 0.07% Elapsed real time = 300007.29 sec. (tree size = 646.35 MB, solutions = 12) Nodefile size = 513.10 MB (222.77 MB after compression) 737 200 cutoff 6.30091e+12 6.29633e+12 13339240 0.07% 738 200 6.30081e+12 1529 6.30091e+12 6.29633e+12 13347459 0.07% 739 201 6.30085e+12 1776 6.30091e+12 6.29633e+12 13353064 0.07% 740 199 cutoff 6.30091e+12 6.29633e+12 13357669 0.07% 741 197 cutoff 6.30091e+12 6.29633e+12 13360583 0.07% 742 197 6.29655e+12 9657 6.30091e+12 6.29633e+12 13391193 0.07% 743 198 6.29666e+12 8193 6.30091e+12 6.29633e+12 13419724 0.07% 744 199 6.29671e+12 5714 6.30091e+12 6.29633e+12 13428333 0.07% 745 200 6.29673e+12 5407 6.30091e+12 6.29633e+12 13439857 0.07% 746 200 6.29676e+12 8869 6.30091e+12 6.29633e+12 13468688 0.07% Elapsed real time = 304232.86 sec. (tree size = 659.33 MB, solutions = 12) Nodefile size = 527.91 MB (228.52 MB after compression) 747 201 6.29680e+12 5879 6.30091e+12 6.29633e+12 13487769 0.07% 748 201 6.29680e+12 5978 6.30091e+12 6.29633e+12 13492738 0.07% 749 202 6.29681e+12 5920 6.30091e+12 6.29633e+12 13494918 0.07% 750 203 6.29683e+12 5966 6.30091e+12 6.29633e+12 13506693 0.07% 751 204 6.29683e+12 9368 6.30091e+12 6.29633e+12 13507780 0.07% 752 205 6.29683e+12 5780 6.30091e+12 6.29633e+12 13509175 0.07% 753 206 6.29683e+12 4497 6.30091e+12 6.29633e+12 13510959 0.07% 755 207 6.29684e+12 5545 6.30091e+12 6.29633e+12 13518699 0.07% 756 207 6.29684e+12 6468 6.30091e+12 6.29633e+12 13520155 0.07% 757 207 6.29684e+12 4893 6.30091e+12 6.29633e+12 13523640 0.07% Elapsed real time = 312038.87 sec. (tree size = 696.91 MB, solutions = 12) Nodefile size = 566.80 MB (247.33 MB after compression) 758 208 6.29699e+12 4683 6.30091e+12 6.29633e+12 13545825 0.07% 760 209 6.29729e+12 4200 6.30091e+12 6.29633e+12 13602576 0.07% 761 210 6.29729e+12 3944 6.30091e+12 6.29633e+12 13605273 0.07% 763 210 6.29746e+12 3637 6.30091e+12 6.29633e+12 13619988 0.07% 764 210 6.29770e+12 5438 6.30091e+12 6.29633e+12 13673324 0.07% 765 211 6.29776e+12 2001 6.30091e+12 6.29633e+12 13693004 0.07% 766 211 6.29874e+12 2599 6.30091e+12 6.29633e+12 13759065 0.07% 767 212 6.29990e+12 2593 6.30091e+12 6.29633e+12 13810669 0.07% 768 212 6.29992e+12 2593 6.30091e+12 6.29633e+12 13812619 0.07% 769 212 6.29993e+12 2636 6.30091e+12 6.29633e+12 13816531 0.07% Elapsed real time = 315877.37 sec. (tree size = 737.90 MB, solutions = 12) Nodefile size = 609.52 MB (267.92 MB after compression) 770 212 6.30043e+12 1530 6.30091e+12 6.29633e+12 13845104 0.07% 771 213 6.30051e+12 1392 6.30091e+12 6.29633e+12 13852241 0.07% 772 211 cutoff 6.30091e+12 6.29633e+12 13863649 0.07% 773 212 6.30052e+12 1392 6.30091e+12 6.29633e+12 13865283 0.07% 775 213 6.30085e+12 1320 6.30091e+12 6.29633e+12 13882817 0.07% 777 212 6.30090e+12 1320 6.30091e+12 6.29633e+12 13891810 0.07% 780 209 6.29682e+12 4096 6.30091e+12 6.29633e+12 13960835 0.07% 781 209 6.29692e+12 5537 6.30091e+12 6.29633e+12 13986698 0.07% 782 210 6.29696e+12 6244 6.30091e+12 6.29633e+12 13992824 0.07% 783 210 6.29700e+12 5556 6.30091e+12 6.29633e+12 14001729 0.07% Elapsed real time = 318260.84 sec. (tree size = 758.34 MB, solutions = 12) Nodefile size = 632.21 MB (277.48 MB after compression) 784 210 6.29704e+12 5580 6.30091e+12 6.29633e+12 14018147 0.07% 785 211 6.29706e+12 5307 6.30091e+12 6.29633e+12 14028762 0.07% 786 212 6.29711e+12 4514 6.30091e+12 6.29633e+12 14044449 0.07% 787 213 6.29711e+12 8060 6.30091e+12 6.29633e+12 14047866 0.07% 788 214 6.29711e+12 4551 6.30091e+12 6.29633e+12 14049558 0.07% 789 215 6.29712e+12 7847 6.30091e+12 6.29633e+12 14053812 0.07% 790 216 6.29713e+12 3092 6.30091e+12 6.29633e+12 14060248 0.07% 791 217 6.29713e+12 4731 6.30091e+12 6.29633e+12 14062846 0.07% 792 218 6.29716e+12 4776 6.30091e+12 6.29633e+12 14071079 0.07% 794 220 6.29716e+12 4797 6.30091e+12 6.29633e+12 14076147 0.07% Elapsed real time = 319988.13 sec. (tree size = 796.89 MB, solutions = 12) Nodefile size = 671.04 MB (296.15 MB after compression) 796 222 6.29716e+12 4796 6.30091e+12 6.29633e+12 14076292 0.07% 797 223 6.29717e+12 6851 6.30091e+12 6.29633e+12 14091542 0.07% 798 224 6.29856e+12 5571 6.30091e+12 6.29633e+12 14293649 0.07% 799 225 6.29857e+12 6870 6.30091e+12 6.29633e+12 14305673 0.07% 800 226 6.29864e+12 8334 6.30091e+12 6.29633e+12 14331706 0.07% 801 227 6.29865e+12 6280 6.30091e+12 6.29633e+12 14342823 0.07% 802 228 6.29865e+12 6750 6.30091e+12 6.29633e+12 14345509 0.07% 803 229 6.29865e+12 5884 6.30091e+12 6.29633e+12 14348145 0.07% 804 230 6.29865e+12 5933 6.30091e+12 6.29633e+12 14353005 0.07% 805 231 6.29866e+12 5781 6.30091e+12 6.29633e+12 14358613 0.07% Elapsed real time = 331252.60 sec. (tree size = 836.28 MB, solutions = 12) Nodefile size = 710.35 MB (315.48 MB after compression) 806 232 6.29991e+12 6451 6.30091e+12 6.29633e+12 14529174 0.07% 807 233 6.30034e+12 4812 6.30091e+12 6.29633e+12 14608260 0.07% 808 234 6.30035e+12 7961 6.30091e+12 6.29633e+12 14620993 0.07% 809 235 6.30062e+12 7260 6.30091e+12 6.29633e+12 14718018 0.07% 810 234 cutoff 6.30091e+12 6.29633e+12 14737917 0.07% 811 235 6.30072e+12 5609 6.30091e+12 6.29633e+12 14787452 0.07% 812 234 cutoff 6.30091e+12 6.29633e+12 14804563 0.07% 813 235 6.30073e+12 5040 6.30091e+12 6.29633e+12 14813372 0.07% 814 236 6.30075e+12 7597 6.30091e+12 6.29633e+12 14827888 0.07% 815 237 6.30076e+12 5008 6.30091e+12 6.29633e+12 14850616 0.07% Elapsed real time = 342087.88 sec. (tree size = 859.12 MB, solutions = 12) Nodefile size = 732.94 MB (325.57 MB after compression) 816 238 6.30084e+12 1391 6.30091e+12 6.29633e+12 14869708 0.07% 817 239 6.30084e+12 1319 6.30091e+12 6.29633e+12 14871318 0.07% 818 240 6.30087e+12 1245 6.30091e+12 6.29633e+12 14884012 0.07% 819 241 6.30087e+12 1091 6.30091e+12 6.29633e+12 14885127 0.07% 821 241 6.30090e+12 5915 6.30091e+12 6.29633e+12 14903891 0.07% 823 239 cutoff 6.30091e+12 6.29633e+12 14906676 0.07% 824 240 6.29767e+12 5578 6.30091e+12 6.29634e+12 15051416 0.07% 825 241 6.29776e+12 5141 6.30091e+12 6.29634e+12 15081010 0.07% 826 242 6.29799e+12 6898 6.30091e+12 6.29634e+12 15108968 0.07% 827 243 6.29803e+12 9262 6.30091e+12 6.29634e+12 15118865 0.07% Elapsed real time = 349247.51 sec. (tree size = 881.76 MB, solutions = 12) Nodefile size = 755.80 MB (335.19 MB after compression) 828 244 6.29807e+12 7739 6.30091e+12 6.29634e+12 15134028 0.07% 829 245 6.29809e+12 5256 6.30091e+12 6.29634e+12 15148860 0.07% 830 246 6.29812e+12 6475 6.30091e+12 6.29634e+12 15164610 0.07% 832 248 6.29814e+12 5656 6.30091e+12 6.29634e+12 15169336 0.07% 833 249 6.29818e+12 8806 6.30091e+12 6.29634e+12 15193199 0.07% 834 250 6.29818e+12 8473 6.30091e+12 6.29634e+12 15197039 0.07% 835 251 6.29829e+12 5569 6.30091e+12 6.29634e+12 15231092 0.07% 836 252 6.29832e+12 7669 6.30091e+12 6.29634e+12 15240287 0.07% 837 253 6.29832e+12 9009 6.30091e+12 6.29634e+12 15245342 0.07% 838 254 6.29832e+12 8341 6.30091e+12 6.29634e+12 15250778 0.07% Elapsed real time = 355995.85 sec. (tree size = 920.98 MB, solutions = 12) Nodefile size = 795.00 MB (354.59 MB after compression) 839 255 6.29832e+12 5040 6.30091e+12 6.29634e+12 15251652 0.07% 840 256 6.29835e+12 9244 6.30091e+12 6.29634e+12 15268323 0.07% 841 257 6.29838e+12 7940 6.30091e+12 6.29634e+12 15289135 0.07% 842 258 6.29839e+12 5022 6.30091e+12 6.29634e+12 15292873 0.07% 843 259 6.29840e+12 5139 6.30091e+12 6.29634e+12 15295253 0.07% 844 260 6.29847e+12 5229 6.30091e+12 6.29634e+12 15314037 0.07% 845 261 6.29847e+12 5123 6.30091e+12 6.29634e+12 15318710 0.07% 846 262 6.29848e+12 5085 6.30091e+12 6.29634e+12 15320133 0.07% 847 263 6.29858e+12 7094 6.30091e+12 6.29634e+12 15340466 0.07% 848 264 6.29860e+12 5734 6.30091e+12 6.29634e+12 15351634 0.07% Elapsed real time = 359401.68 sec. (tree size = 956.82 MB, solutions = 12) Nodefile size = 830.82 MB (372.54 MB after compression) 849 265 6.29860e+12 8276 6.30091e+12 6.29634e+12 15352931 0.07% 850 266 6.29860e+12 5392 6.30091e+12 6.29634e+12 15356681 0.07% 851 267 6.29862e+12 6526 6.30091e+12 6.29634e+12 15370366 0.07%