Log started (V12.4.0.0) Mon Feb 4 18:23:11 2013 Problem '2DRI.matrix.37p.19aa.usingEref_self_digit8.wcsp.lp' read. Read time = 7.23 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. Tried aggregator 1 time. Presolve has eliminated 0 rows and 0 columns... Presolve time = 8.46 sec. Elapsed time 10.37 sec. for 0% of probing. Elapsed time 31.20 sec. for 0% of probing. Elapsed time 48.28 sec. for 0% of probing. Probing time = 48.51 sec. Clique table members: 8489259. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 5868.98 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 2.90376e+12 3128 2.90376e+12 448368 * 0+ 0 1.53723e+18 2.90376e+12 448368 100.00% 0 0 2.90377e+12 3128 1.53723e+18 ZeroHalf: 12 448681 100.00% 0 0 2.90377e+12 3133 1.53723e+18 ZeroHalf: 3 449708 100.00% * 0+ 0 2.90861e+12 2.90377e+12 449708 0.17% Heuristic still looking. Repeating presolve. Tried aggregator 2 times. Aggregator has done 1741 substitutions... MIP Presolve eliminated 19405 rows and 957277 columns. Aggregator did 1741 substitutions. Reduced MIP has 55211 rows, 1115618 columns, and 2284990 nonzeros. Reduced MIP has 1115618 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 47.00 sec. for 0% of probing (122 vars fixed). Elapsed time 60.67 sec. for 0% of probing (131 vars fixed). Elapsed time 70.78 sec. for 0% of probing (131 vars fixed). Elapsed time 111.98 sec. for 0% of probing (150 vars fixed). Elapsed time 136.00 sec. for 0% of probing (150 vars fixed). Elapsed time 149.01 sec. for 0% of probing (159 vars fixed). Elapsed time 159.05 sec. for 0% of probing (163 vars fixed). Elapsed time 169.18 sec. for 0% of probing (251 vars fixed). Elapsed time 179.25 sec. for 0% of probing (323 vars fixed). Elapsed time 189.31 sec. for 0% of probing (326 vars fixed). Elapsed time 199.39 sec. for 0% of probing (326 vars fixed). Elapsed time 209.46 sec. for 0% of probing (326 vars fixed). Elapsed time 219.57 sec. for 0% of probing (326 vars fixed). Elapsed time 229.65 sec. for 0% of probing (326 vars fixed). Elapsed time 239.77 sec. for 0% of probing (326 vars fixed). Elapsed time 249.78 sec. for 0% of probing (326 vars fixed). Elapsed time 259.90 sec. for 0% of probing (326 vars fixed). Elapsed time 270.02 sec. for 0% of probing (326 vars fixed). Elapsed time 280.04 sec. for 0% of probing (326 vars fixed). Elapsed time 290.11 sec. for 0% of probing (326 vars fixed). Elapsed time 300.14 sec. for 0% of probing (326 vars fixed). Elapsed time 310.21 sec. for 0% of probing (326 vars fixed). Elapsed time 320.22 sec. for 0% of probing (326 vars fixed). Elapsed time 330.31 sec. for 0% of probing (326 vars fixed). Elapsed time 340.39 sec. for 0% of probing (326 vars fixed). Elapsed time 350.42 sec. for 0% of probing (326 vars fixed). Elapsed time 360.46 sec. for 0% of probing (326 vars fixed). Elapsed time 370.50 sec. for 0% of probing (326 vars fixed). Elapsed time 380.59 sec. for 0% of probing (326 vars fixed). Elapsed time 390.61 sec. for 1% of probing (326 vars fixed). Elapsed time 400.66 sec. for 1% of probing (326 vars fixed). Elapsed time 410.74 sec. for 1% of probing (326 vars fixed). Elapsed time 420.81 sec. for 1% of probing (326 vars fixed). Probing fixed 326 vars, tightened 0 bounds. Probing time = 430.62 sec. Tried aggregator 1 time. MIP Presolve eliminated 6 rows and 331 columns. Reduced MIP has 55205 rows, 1115287 columns, and 2284323 nonzeros. Reduced MIP has 1115287 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 451.36 sec. Elapsed time 11.16 sec. for 0% of probing. Elapsed time 22.31 sec. for 0% of probing. Probing time = 28.02 sec. Clique table members: 4644677. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 1376.45 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 2.90861e+12 2.90377e+12 797813 0.17% 0 0 2.90377e+12 3033 2.90861e+12 2.90377e+12 797813 0.17% * 0+ 0 2.90651e+12 2.90377e+12 797813 0.09% Heuristic still looking. 0 2 2.90377e+12 3033 2.90651e+12 2.90377e+12 797813 0.09% Elapsed real time = 9480.61 sec. (tree size = 0.00 MB, solutions = 3) 1 3 2.90387e+12 3165 2.90651e+12 2.90377e+12 802487 0.09% 2 4 2.90402e+12 4156 2.90651e+12 2.90377e+12 810887 0.09% 3 5 2.90390e+12 3027 2.90651e+12 2.90377e+12 815218 0.09% 4 6 2.90405e+12 3132 2.90651e+12 2.90377e+12 817223 0.09% 5 7 2.90406e+12 3609 2.90651e+12 2.90377e+12 819043 0.09% 6 8 2.90408e+12 2797 2.90651e+12 2.90377e+12 820136 0.09% 7 9 2.90408e+12 3512 2.90651e+12 2.90377e+12 820533 0.09% 8 10 2.90409e+12 2714 2.90651e+12 2.90377e+12 822430 0.09% 9 11 2.90409e+12 3386 2.90651e+12 2.90377e+12 822509 0.09% 10 12 2.90410e+12 1945 2.90651e+12 2.90377e+12 823946 0.09% Elapsed real time = 10333.54 sec. (tree size = 9.12 MB, solutions = 3) 11 13 2.90411e+12 1868 2.90651e+12 2.90377e+12 824312 0.09% 12 14 2.90415e+12 2056 2.90651e+12 2.90377e+12 826918 0.09% 13 15 2.90421e+12 2694 2.90651e+12 2.90377e+12 833781 0.09% 14 16 2.90422e+12 3026 2.90651e+12 2.90377e+12 834836 0.09% 15 17 2.90428e+12 1460 2.90651e+12 2.90377e+12 837390 0.09% 16 18 2.90513e+12 1066 2.90651e+12 2.90377e+12 849862 0.09% 17 19 2.90540e+12 1835 2.90651e+12 2.90377e+12 856068 0.09% 18 20 2.90516e+12 1344 2.90651e+12 2.90377e+12 858134 0.09% 19 21 2.90524e+12 2705 2.90651e+12 2.90377e+12 861656 0.09% 20 22 2.90604e+12 951 2.90651e+12 2.90377e+12 875396 0.09% Elapsed real time = 10943.04 sec. (tree size = 18.68 MB, solutions = 3) 21 23 2.90607e+12 1957 2.90651e+12 2.90377e+12 876722 0.09% 22 22 cutoff 2.90651e+12 2.90377e+12 877937 0.09% 23 23 2.90611e+12 2109 2.90651e+12 2.90377e+12 881421 0.09% 24 22 cutoff 2.90651e+12 2.90377e+12 882896 0.09% 25 23 2.90623e+12 2348 2.90651e+12 2.90377e+12 887814 0.09% 26 24 2.90624e+12 1921 2.90651e+12 2.90377e+12 888661 0.09% 27 23 cutoff 2.90651e+12 2.90377e+12 891992 0.09% 28 24 2.90625e+12 2040 2.90651e+12 2.90377e+12 893745 0.09% 30 24 2.90627e+12 1578 2.90651e+12 2.90377e+12 896365 0.09% 31 25 2.90628e+12 1649 2.90651e+12 2.90377e+12 897276 0.09% Elapsed real time = 11147.60 sec. (tree size = 20.76 MB, solutions = 3) 32 24 cutoff 2.90651e+12 2.90377e+12 901632 0.09% 33 25 2.90629e+12 1904 2.90651e+12 2.90377e+12 903067 0.09% 34 24 cutoff 2.90651e+12 2.90377e+12 905067 0.09% 35 25 2.90630e+12 1893 2.90651e+12 2.90377e+12 907072 0.09% 36 26 2.90631e+12 1546 2.90651e+12 2.90377e+12 907812 0.09% 37 27 2.90631e+12 1698 2.90651e+12 2.90377e+12 908303 0.09% 38 26 cutoff 2.90651e+12 2.90377e+12 910399 0.09% 39 27 2.90632e+12 1544 2.90651e+12 2.90377e+12 911180 0.09% 40 28 2.90633e+12 1652 2.90651e+12 2.90377e+12 911828 0.09% 41 27 cutoff 2.90651e+12 2.90377e+12 914768 0.09% Elapsed real time = 11252.08 sec. (tree size = 23.89 MB, solutions = 3) 43 27 cutoff 2.90651e+12 2.90377e+12 917217 0.09% 45 27 cutoff 2.90651e+12 2.90377e+12 919628 0.09% 47 29 2.90635e+12 1621 2.90651e+12 2.90377e+12 920342 0.09% 48 28 cutoff 2.90651e+12 2.90377e+12 922211 0.09% 50 28 cutoff 2.90651e+12 2.90377e+12 924092 0.09% 52 30 2.90636e+12 1999 2.90651e+12 2.90377e+12 925049 0.09% 53 29 cutoff 2.90651e+12 2.90377e+12 926859 0.09% 55 31 2.90636e+12 1653 2.90651e+12 2.90377e+12 927454 0.09% 56 32 2.90637e+12 2107 2.90651e+12 2.90377e+12 928978 0.09% 57 31 cutoff 2.90651e+12 2.90377e+12 930127 0.09% Elapsed real time = 11310.54 sec. (tree size = 28.05 MB, solutions = 3) 58 32 2.90637e+12 2753 2.90651e+12 2.90377e+12 931228 0.09% 60 32 2.90638e+12 1652 2.90651e+12 2.90377e+12 933041 0.09% 62 32 cutoff 2.90651e+12 2.90377e+12 934249 0.09% 63 33 2.90638e+12 2174 2.90651e+12 2.90377e+12 934774 0.09% 64 32 cutoff 2.90651e+12 2.90377e+12 936040 0.09% 65 33 2.90639e+12 2470 2.90651e+12 2.90377e+12 936588 0.09% 66 32 cutoff 2.90651e+12 2.90377e+12 937508 0.09% 67 33 2.90639e+12 2297 2.90651e+12 2.90377e+12 938460 0.09% 68 32 cutoff 2.90651e+12 2.90377e+12 939394 0.09% 70 32 cutoff 2.90651e+12 2.90377e+12 940271 0.09% Elapsed real time = 11362.20 sec. (tree size = 29.09 MB, solutions = 3) 71 33 2.90639e+12 2188 2.90651e+12 2.90377e+12 940895 0.09% 72 34 2.90640e+12 2350 2.90651e+12 2.90377e+12 942098 0.09% 74 34 2.90643e+12 1898 2.90651e+12 2.90377e+12 944685 0.09% 75 33 cutoff 2.90651e+12 2.90377e+12 945889 0.09% 77 33 2.90379e+12 2431 2.90651e+12 2.90379e+12 949739 0.09% 78 34 2.90382e+12 2391 2.90651e+12 2.90379e+12 951879 0.09% 79 35 2.90383e+12 2350 2.90651e+12 2.90379e+12 952904 0.09% 80 36 2.90383e+12 2306 2.90651e+12 2.90379e+12 953028 0.09% 81 37 2.90385e+12 3222 2.90651e+12 2.90379e+12 954348 0.09% 82 38 2.90385e+12 2213 2.90651e+12 2.90379e+12 954618 0.09% Elapsed real time = 11550.66 sec. (tree size = 34.81 MB, solutions = 3) 83 39 2.90386e+12 2626 2.90651e+12 2.90379e+12 956355 0.09% 84 40 2.90387e+12 1942 2.90651e+12 2.90379e+12 957789 0.09% 85 41 2.90388e+12 1865 2.90651e+12 2.90379e+12 958142 0.09% 86 42 2.90392e+12 1789 2.90651e+12 2.90379e+12 961048 0.09% 87 43 2.90393e+12 3236 2.90651e+12 2.90379e+12 962108 0.09% 88 44 2.90399e+12 1871 2.90651e+12 2.90379e+12 969553 0.09% 89 45 2.90400e+12 1683 2.90651e+12 2.90379e+12 970510 0.09% 90 46 2.90401e+12 1550 2.90651e+12 2.90379e+12 970727 0.09% 91 47 2.90403e+12 1577 2.90651e+12 2.90379e+12 971676 0.09% 92 48 2.90403e+12 1684 2.90651e+12 2.90379e+12 972662 0.09% Elapsed real time = 11847.73 sec. (tree size = 43.91 MB, solutions = 3) 93 49 2.90417e+12 1375 2.90651e+12 2.90379e+12 976305 0.09% 94 50 2.90421e+12 2529 2.90651e+12 2.90379e+12 978900 0.09% 95 51 2.90451e+12 1222 2.90651e+12 2.90379e+12 984917 0.09% 96 52 2.90454e+12 1222 2.90651e+12 2.90379e+12 985672 0.09% 97 53 2.90598e+12 2302 2.90651e+12 2.90379e+12 999568 0.09% 99 55 2.90605e+12 1532 2.90651e+12 2.90379e+12 1002195 0.09% 100 54 cutoff 2.90651e+12 2.90379e+12 1005103 0.09% 101 55 2.90606e+12 1587 2.90651e+12 2.90379e+12 1006342 0.09% 102 54 cutoff 2.90651e+12 2.90379e+12 1008606 0.09% 103 55 2.90606e+12 1983 2.90651e+12 2.90379e+12 1009525 0.09% Elapsed real time = 12176.56 sec. (tree size = 50.62 MB, solutions = 3) 104 56 2.90612e+12 402 2.90651e+12 2.90379e+12 1010581 0.09% 106 58 2.90639e+12 340 2.90651e+12 2.90379e+12 1012642 0.09% * 107 57 integral 0 2.90641e+12 2.90379e+12 1012947 0.09% 109 57 2.90389e+12 2345 2.90641e+12 2.90382e+12 1015701 0.09% 110 58 2.90390e+12 2302 2.90641e+12 2.90382e+12 1016595 0.09% 111 59 2.90392e+12 3920 2.90641e+12 2.90382e+12 1017799 0.09% 112 60 2.90392e+12 3399 2.90641e+12 2.90382e+12 1018112 0.09% 113 61 2.90394e+12 2324 2.90641e+12 2.90382e+12 1019681 0.09% 114 62 2.90394e+12 2544 2.90641e+12 2.90382e+12 1020352 0.09% 116 64 2.90399e+12 1731 2.90641e+12 2.90382e+12 1024315 0.09% Elapsed real time = 12352.96 sec. (tree size = 59.21 MB, solutions = 4) 118 66 2.90402e+12 1705 2.90641e+12 2.90382e+12 1026222 0.09% 120 68 2.90403e+12 1682 2.90641e+12 2.90382e+12 1028468 0.09% 121 69 2.90406e+12 2577 2.90641e+12 2.90382e+12 1029961 0.09% 122 70 2.90406e+12 3512 2.90641e+12 2.90382e+12 1031373 0.09% 124 72 2.90409e+12 1654 2.90641e+12 2.90382e+12 1033499 0.09% 126 74 2.90414e+12 1625 2.90641e+12 2.90382e+12 1035945 0.09% 128 76 2.90417e+12 1628 2.90641e+12 2.90382e+12 1037634 0.09% 130 78 2.90420e+12 1543 2.90641e+12 2.90382e+12 1039126 0.09% 131 79 2.90436e+12 1559 2.90641e+12 2.90382e+12 1042343 0.09% 132 80 2.90439e+12 1760 2.90641e+12 2.90382e+12 1044725 0.09% Elapsed real time = 12619.26 sec. (tree size = 73.88 MB, solutions = 4) 133 81 2.90451e+12 1513 2.90641e+12 2.90382e+12 1048924 0.09% 135 83 2.90455e+12 1933 2.90641e+12 2.90382e+12 1050953 0.09% 136 84 2.90470e+12 1440 2.90641e+12 2.90382e+12 1053450 0.09% 137 85 2.90474e+12 1343 2.90641e+12 2.90382e+12 1054873 0.09% 138 86 2.90475e+12 1517 2.90641e+12 2.90382e+12 1056203 0.09% 139 87 2.90478e+12 1613 2.90641e+12 2.90382e+12 1058470 0.09% 141 89 2.90478e+12 2497 2.90641e+12 2.90382e+12 1059559 0.09% 143 91 2.90479e+12 2800 2.90641e+12 2.90382e+12 1061637 0.09% 144 92 2.90482e+12 2023 2.90641e+12 2.90382e+12 1064024 0.09% 146 94 2.90482e+12 2291 2.90641e+12 2.90382e+12 1065572 0.09% Elapsed real time = 12944.72 sec. (tree size = 87.09 MB, solutions = 4) 147 95 2.90482e+12 2009 2.90641e+12 2.90382e+12 1066613 0.09% 149 97 2.90483e+12 2656 2.90641e+12 2.90382e+12 1069455 0.09% 150 98 2.90484e+12 1994 2.90641e+12 2.90382e+12 1070698 0.09% 151 99 2.90484e+12 2062 2.90641e+12 2.90382e+12 1072616 0.09% 152 100 2.90490e+12 1498 2.90641e+12 2.90382e+12 1074280 0.09% 153 101 2.90495e+12 2322 2.90641e+12 2.90382e+12 1077946 0.09% 154 102 2.90496e+12 2251 2.90641e+12 2.90382e+12 1080174 0.09% 155 103 2.90496e+12 2345 2.90641e+12 2.90382e+12 1081355 0.09% 156 104 2.90497e+12 2213 2.90641e+12 2.90382e+12 1083070 0.09% 157 105 2.90497e+12 2213 2.90641e+12 2.90382e+12 1084163 0.09% Elapsed real time = 13262.60 sec. (tree size = 97.62 MB, solutions = 4) 158 106 2.90498e+12 2184 2.90641e+12 2.90382e+12 1085303 0.09% 159 107 2.90500e+12 2217 2.90641e+12 2.90382e+12 1086968 0.09% 160 108 2.90501e+12 2213 2.90641e+12 2.90382e+12 1088097 0.09% 161 109 2.90502e+12 2310 2.90641e+12 2.90382e+12 1090044 0.09% 162 110 2.90502e+12 2357 2.90641e+12 2.90382e+12 1091582 0.09% 165 113 2.90507e+12 2431 2.90641e+12 2.90382e+12 1095452 0.09% 166 114 2.90508e+12 3045 2.90641e+12 2.90382e+12 1097575 0.09% 167 115 2.90509e+12 2802 2.90641e+12 2.90382e+12 1100061 0.09% 168 116 2.90511e+12 3293 2.90641e+12 2.90382e+12 1102770 0.09% 169 117 2.90512e+12 2368 2.90641e+12 2.90382e+12 1104613 0.09% Elapsed real time = 13608.19 sec. (tree size = 109.24 MB, solutions = 4) 170 118 2.90513e+12 2405 2.90641e+12 2.90382e+12 1105383 0.09% 172 120 2.90514e+12 2673 2.90641e+12 2.90382e+12 1106379 0.09% 174 122 2.90522e+12 2012 2.90641e+12 2.90382e+12 1110158 0.09% 175 123 2.90523e+12 2714 2.90641e+12 2.90382e+12 1112177 0.09% 176 124 2.90526e+12 2749 2.90641e+12 2.90382e+12 1114523 0.09% 177 125 2.90528e+12 1624 2.90641e+12 2.90382e+12 1116227 0.09% 178 126 2.90529e+12 2310 2.90641e+12 2.90382e+12 1117434 0.09% 179 127 2.90533e+12 1875 2.90641e+12 2.90382e+12 1119860 0.09% 181 129 2.90538e+12 2500 2.90641e+12 2.90382e+12 1121620 0.09% 182 130 2.90546e+12 2421 2.90641e+12 2.90382e+12 1123945 0.09% Elapsed real time = 13923.68 sec. (tree size = 122.11 MB, solutions = 4) 184 132 2.90555e+12 1778 2.90641e+12 2.90382e+12 1128868 0.09% 185 133 2.90557e+12 2464 2.90641e+12 2.90382e+12 1131318 0.09% 186 134 2.90559e+12 2449 2.90641e+12 2.90382e+12 1134335 0.09% 187 135 2.90577e+12 2248 2.90641e+12 2.90382e+12 1143232 0.09% 188 136 2.90579e+12 1983 2.90641e+12 2.90382e+12 1144785 0.09% 189 137 2.90581e+12 2261 2.90641e+12 2.90382e+12 1147124 0.09% 190 138 2.90582e+12 2213 2.90641e+12 2.90382e+12 1149424 0.09% 191 139 2.90582e+12 2557 2.90641e+12 2.90382e+12 1150823 0.09% 192 140 2.90585e+12 2361 2.90641e+12 2.90382e+12 1153444 0.09% 194 142 2.90585e+12 2535 2.90641e+12 2.90382e+12 1155051 0.09% Elapsed real time = 14423.72 sec. (tree size = 134.55 MB, solutions = 4) Nodefile size = 7.29 MB (3.19 MB after compression) 195 143 2.90587e+12 2403 2.90641e+12 2.90382e+12 1158472 0.09% 196 144 2.90592e+12 2423 2.90641e+12 2.90382e+12 1162488 0.09% 197 145 2.90595e+12 2417 2.90641e+12 2.90382e+12 1165592 0.09% 198 146 2.90601e+12 1560 2.90641e+12 2.90382e+12 1168265 0.09% 200 148 2.90601e+12 1558 2.90641e+12 2.90382e+12 1169430 0.09% 201 149 2.90602e+12 1687 2.90641e+12 2.90382e+12 1170619 0.09% 204 152 2.90603e+12 1599 2.90641e+12 2.90382e+12 1172687 0.09% 207 155 2.90608e+12 1989 2.90641e+12 2.90382e+12 1177152 0.09% 208 156 2.90612e+12 2262 2.90641e+12 2.90382e+12 1180556 0.09% 211 159 2.90613e+12 2526 2.90641e+12 2.90382e+12 1182230 0.09% Elapsed real time = 14828.56 sec. (tree size = 152.20 MB, solutions = 4) Nodefile size = 24.96 MB (11.35 MB after compression) 213 161 2.90614e+12 2705 2.90641e+12 2.90382e+12 1184498 0.09% 215 163 2.90615e+12 1950 2.90641e+12 2.90382e+12 1186021 0.09% 216 164 2.90624e+12 2011 2.90641e+12 2.90382e+12 1191834 0.09% 219 167 2.90625e+12 2438 2.90641e+12 2.90382e+12 1194017 0.09% 222 170 2.90628e+12 1850 2.90641e+12 2.90382e+12 1197370 0.09% 226 174 2.90630e+12 1818 2.90641e+12 2.90382e+12 1199878 0.09% 231 179 2.90632e+12 1892 2.90641e+12 2.90382e+12 1202452 0.09% 233 181 2.90636e+12 2586 2.90641e+12 2.90382e+12 1205428 0.09% 237 183 cutoff 2.90641e+12 2.90382e+12 1208613 0.09% 239 183 2.90390e+12 3093 2.90641e+12 2.90383e+12 1213485 0.09% Elapsed real time = 15124.01 sec. (tree size = 177.26 MB, solutions = 4) Nodefile size = 50.93 MB (24.12 MB after compression) 240 184 2.90394e+12 2980 2.90641e+12 2.90383e+12 1220085 0.09% 242 186 2.90396e+12 2859 2.90641e+12 2.90383e+12 1221396 0.09% 245 189 2.90397e+12 2045 2.90641e+12 2.90383e+12 1223159 0.09% 246 190 2.90399e+12 2429 2.90641e+12 2.90383e+12 1224383 0.09% 248 192 2.90400e+12 1994 2.90641e+12 2.90383e+12 1225566 0.09% 249 193 2.90402e+12 1862 2.90641e+12 2.90383e+12 1226961 0.09% 251 195 2.90404e+12 1863 2.90641e+12 2.90383e+12 1228294 0.09% 253 197 2.90408e+12 1863 2.90641e+12 2.90383e+12 1231001 0.09% 254 198 2.90412e+12 1864 2.90641e+12 2.90383e+12 1234342 0.09% 256 200 2.90415e+12 1789 2.90641e+12 2.90383e+12 1236439 0.09% Elapsed real time = 15578.89 sec. (tree size = 192.80 MB, solutions = 4) Nodefile size = 65.47 MB (30.96 MB after compression) 258 202 2.90418e+12 1764 2.90641e+12 2.90383e+12 1238441 0.09% 260 204 2.90419e+12 1656 2.90641e+12 2.90383e+12 1239470 0.09% 261 205 2.90421e+12 1681 2.90641e+12 2.90383e+12 1241245 0.09% 263 207 2.90422e+12 1683 2.90641e+12 2.90383e+12 1242549 0.09% 265 209 2.90427e+12 1685 2.90641e+12 2.90383e+12 1244702 0.09% 268 212 2.90431e+12 1626 2.90641e+12 2.90383e+12 1246573 0.09% 270 214 2.90437e+12 1573 2.90641e+12 2.90383e+12 1249027 0.09% 271 215 2.90453e+12 1725 2.90641e+12 2.90383e+12 1253307 0.09% 272 216 2.90456e+12 1825 2.90641e+12 2.90383e+12 1256104 0.09% 273 217 2.90467e+12 1521 2.90641e+12 2.90383e+12 1261508 0.09% Elapsed real time = 16019.22 sec. (tree size = 208.51 MB, solutions = 4) Nodefile size = 80.83 MB (38.44 MB after compression) 275 219 2.90472e+12 3199 2.90641e+12 2.90383e+12 1265879 0.09% 276 220 2.90544e+12 2101 2.90641e+12 2.90383e+12 1275766 0.09% 277 221 2.90555e+12 2375 2.90641e+12 2.90383e+12 1279879 0.09% 278 222 2.90557e+12 1915 2.90641e+12 2.90383e+12 1281045 0.09% 279 223 2.90563e+12 2448 2.90641e+12 2.90383e+12 1285122 0.09% 280 224 2.90564e+12 1920 2.90641e+12 2.90383e+12 1286486 0.09% 282 226 2.90566e+12 2081 2.90641e+12 2.90383e+12 1289161 0.09% 284 228 2.90568e+12 3012 2.90641e+12 2.90383e+12 1290771 0.09% 285 229 2.90569e+12 2077 2.90641e+12 2.90383e+12 1292273 0.09% 287 231 2.90570e+12 2229 2.90641e+12 2.90383e+12 1294470 0.09% Elapsed real time = 16564.34 sec. (tree size = 222.75 MB, solutions = 4) Nodefile size = 95.18 MB (45.16 MB after compression) 288 232 2.90575e+12 2370 2.90641e+12 2.90383e+12 1296982 0.09% 289 233 2.90580e+12 2335 2.90641e+12 2.90383e+12 1300087 0.09% 290 234 2.90581e+12 2322 2.90641e+12 2.90383e+12 1301114 0.09% 291 235 2.90582e+12 1414 2.90641e+12 2.90383e+12 1302124 0.09% 292 236 2.90585e+12 1385 2.90641e+12 2.90383e+12 1303202 0.09% 293 237 2.90590e+12 2395 2.90641e+12 2.90383e+12 1307018 0.09% 294 238 2.90591e+12 2594 2.90641e+12 2.90383e+12 1308840 0.09% 295 239 2.90596e+12 1541 2.90641e+12 2.90383e+12 1313696 0.09% 296 240 2.90597e+12 1384 2.90641e+12 2.90383e+12 1315558 0.09% 298 242 2.90602e+12 2690 2.90641e+12 2.90383e+12 1320052 0.09% Elapsed real time = 17007.95 sec. (tree size = 234.17 MB, solutions = 4) Nodefile size = 106.59 MB (50.46 MB after compression) 299 243 2.90603e+12 1880 2.90641e+12 2.90383e+12 1321771 0.09% 301 245 2.90603e+12 2980 2.90641e+12 2.90383e+12 1322929 0.09% 304 248 2.90604e+12 1413 2.90641e+12 2.90383e+12 1324676 0.09% 309 253 2.90606e+12 1384 2.90641e+12 2.90383e+12 1326118 0.09% 314 258 2.90609e+12 1384 2.90641e+12 2.90383e+12 1328567 0.09% 316 260 2.90611e+12 2284 2.90641e+12 2.90383e+12 1331413 0.09% 317 261 2.90612e+12 2284 2.90641e+12 2.90383e+12 1333042 0.09% 318 262 2.90612e+12 2271 2.90641e+12 2.90383e+12 1335017 0.09% 320 264 2.90614e+12 2002 2.90641e+12 2.90383e+12 1336645 0.09% 322 266 2.90615e+12 1381 2.90641e+12 2.90383e+12 1338803 0.09% Elapsed real time = 17264.98 sec. (tree size = 259.10 MB, solutions = 4) Nodefile size = 131.52 MB (62.42 MB after compression) 324 268 2.90616e+12 2042 2.90641e+12 2.90383e+12 1340381 0.09% 328 272 2.90617e+12 2354 2.90641e+12 2.90383e+12 1341888 0.09% 330 274 2.90619e+12 2180 2.90641e+12 2.90383e+12 1343584 0.09% 332 276 2.90620e+12 2151 2.90641e+12 2.90383e+12 1346032 0.09% 334 278 2.90622e+12 2152 2.90641e+12 2.90383e+12 1348408 0.09% 336 280 2.90625e+12 2241 2.90641e+12 2.90383e+12 1351886 0.09% 338 282 2.90627e+12 2152 2.90641e+12 2.90383e+12 1354763 0.09% 340 284 2.90628e+12 2200 2.90641e+12 2.90383e+12 1356599 0.09% 343 287 2.90636e+12 2147 2.90641e+12 2.90383e+12 1362062 0.09% 346 286 2.90385e+12 2306 2.90641e+12 2.90383e+12 1364685 0.09% Elapsed real time = 17522.63 sec. (tree size = 280.03 MB, solutions = 4) Nodefile size = 153.36 MB (73.11 MB after compression) 347 287 2.90387e+12 3801 2.90641e+12 2.90383e+12 1366063 0.09% 349 289 2.90388e+12 2103 2.90641e+12 2.90383e+12 1368594 0.09% 350 290 2.90389e+12 1856 2.90641e+12 2.90383e+12 1369810 0.09% 351 291 2.90391e+12 1882 2.90641e+12 2.90383e+12 1371720 0.09% 354 294 2.90393e+12 1806 2.90641e+12 2.90383e+12 1373313 0.09% 356 296 2.90395e+12 1774 2.90641e+12 2.90383e+12 1375029 0.09% 357 297 2.90397e+12 1800 2.90641e+12 2.90383e+12 1376809 0.09% 359 299 2.90398e+12 2633 2.90641e+12 2.90383e+12 1378315 0.09% 361 301 2.90401e+12 1749 2.90641e+12 2.90383e+12 1380278 0.09% 363 303 2.90404e+12 1723 2.90641e+12 2.90383e+12 1382114 0.09% Elapsed real time = 17756.41 sec. (tree size = 295.53 MB, solutions = 4) Nodefile size = 168.04 MB (80.63 MB after compression) 366 306 2.90407e+12 2045 2.90641e+12 2.90383e+12 1384549 0.09% 369 309 2.90409e+12 1646 2.90641e+12 2.90383e+12 1386233 0.09% 371 311 2.90415e+12 1646 2.90641e+12 2.90383e+12 1388517 0.09% 373 313 2.90417e+12 1992 2.90641e+12 2.90383e+12 1390182 0.09% 375 315 2.90423e+12 1624 2.90641e+12 2.90383e+12 1392153 0.09% 376 316 2.90440e+12 1544 2.90641e+12 2.90383e+12 1396549 0.09% 379 319 2.90445e+12 1379 2.90641e+12 2.90383e+12 1401167 0.09% 380 320 2.90449e+12 1439 2.90641e+12 2.90383e+12 1406381 0.09% 381 321 2.90458e+12 2262 2.90641e+12 2.90383e+12 1412259 0.09% 382 322 2.90477e+12 1438 2.90641e+12 2.90383e+12 1415998 0.09% Elapsed real time = 18219.76 sec. (tree size = 313.05 MB, solutions = 4) Nodefile size = 185.28 MB (89.33 MB after compression) 383 323 2.90481e+12 3077 2.90641e+12 2.90383e+12 1418943 0.09% 384 324 2.90481e+12 2250 2.90641e+12 2.90383e+12 1420510 0.09% 385 325 2.90484e+12 2105 2.90641e+12 2.90383e+12 1423337 0.09% 387 327 2.90484e+12 1468 2.90641e+12 2.90383e+12 1424653 0.09% 388 328 2.90485e+12 1601 2.90641e+12 2.90383e+12 1425613 0.09% 391 331 2.90486e+12 2690 2.90641e+12 2.90383e+12 1427964 0.09% 392 332 2.90489e+12 1576 2.90641e+12 2.90383e+12 1430924 0.09% 393 333 2.90490e+12 2039 2.90641e+12 2.90383e+12 1433069 0.09% 395 335 2.90492e+12 1493 2.90641e+12 2.90383e+12 1434977 0.09% 398 338 2.90493e+12 2302 2.90641e+12 2.90383e+12 1435921 0.09% Elapsed real time = 18591.44 sec. (tree size = 328.47 MB, solutions = 4) Nodefile size = 200.67 MB (97.16 MB after compression) 399 339 2.90494e+12 2577 2.90641e+12 2.90383e+12 1438280 0.09% * 400+ 295 2.90619e+12 2.90383e+12 1438358 0.08% 400 297 2.90495e+12 1438 2.90619e+12 2.90383e+12 1438358 0.08% 402 299 2.90496e+12 1438 2.90619e+12 2.90383e+12 1439863 0.08% 404 301 2.90497e+12 2667 2.90619e+12 2.90383e+12 1441966 0.08% 406 303 2.90498e+12 1533 2.90619e+12 2.90383e+12 1443268 0.08% 407 304 2.90499e+12 2118 2.90619e+12 2.90383e+12 1444628 0.08% 409 306 2.90502e+12 2571 2.90619e+12 2.90383e+12 1448919 0.08% 410 307 2.90503e+12 2307 2.90619e+12 2.90383e+12 1450518 0.08% 412 309 2.90504e+12 2185 2.90619e+12 2.90383e+12 1453036 0.08% 414 311 2.90505e+12 2903 2.90619e+12 2.90383e+12 1454663 0.08% Elapsed real time = 19010.17 sec. (tree size = 299.65 MB, solutions = 5) Nodefile size = 171.82 MB (84.05 MB after compression) 416 313 2.90506e+12 2265 2.90619e+12 2.90383e+12 1456143 0.08% 417 314 2.90506e+12 2296 2.90619e+12 2.90383e+12 1457016 0.08% 418 315 2.90507e+12 2328 2.90619e+12 2.90383e+12 1458097 0.08% 419 316 2.90508e+12 1380 2.90619e+12 2.90383e+12 1459868 0.08% 420 317 2.90515e+12 1962 2.90619e+12 2.90383e+12 1462774 0.08% 421 318 2.90518e+12 2201 2.90619e+12 2.90383e+12 1464430 0.08% 423 320 2.90524e+12 2434 2.90619e+12 2.90383e+12 1468295 0.08% 424 321 2.90531e+12 1790 2.90619e+12 2.90383e+12 1471092 0.08% 425 322 2.90539e+12 1693 2.90619e+12 2.90383e+12 1475002 0.08% 426 323 2.90540e+12 1724 2.90619e+12 2.90383e+12 1477368 0.08% Elapsed real time = 19409.18 sec. (tree size = 311.88 MB, solutions = 5) Nodefile size = 184.01 MB (90.37 MB after compression) 428 325 2.90550e+12 2886 2.90619e+12 2.90383e+12 1481055 0.08% 430 327 2.90576e+12 1935 2.90619e+12 2.90383e+12 1486943 0.08% 432 329 2.90577e+12 1897 2.90619e+12 2.90383e+12 1488723 0.08% 434 331 2.90583e+12 1952 2.90619e+12 2.90383e+12 1490589 0.08% 436 333 2.90588e+12 1813 2.90619e+12 2.90383e+12 1492432 0.08% 438 335 2.90593e+12 1949 2.90619e+12 2.90383e+12 1497141 0.08% 440 335 cutoff 2.90619e+12 2.90383e+12 1499600 0.08% 441 336 2.90611e+12 2213 2.90619e+12 2.90383e+12 1508265 0.08% 443 338 2.90614e+12 2033 2.90619e+12 2.90383e+12 1511516 0.08% 444 339 2.90615e+12 2151 2.90619e+12 2.90383e+12 1513987 0.08% Elapsed real time = 19834.79 sec. (tree size = 328.50 MB, solutions = 5) Nodefile size = 200.62 MB (98.21 MB after compression) 447 338 2.90384e+12 2309 2.90619e+12 2.90384e+12 1517115 0.08% 450 341 2.90386e+12 2103 2.90619e+12 2.90384e+12 1520276 0.08% 451 342 2.90387e+12 1856 2.90619e+12 2.90384e+12 1521621 0.08% 452 343 2.90389e+12 1882 2.90619e+12 2.90384e+12 1523643 0.08% 453 344 2.90392e+12 1868 2.90619e+12 2.90384e+12 1528192 0.08% 455 346 2.90394e+12 3430 2.90619e+12 2.90384e+12 1529469 0.08% 456 347 2.90400e+12 3484 2.90619e+12 2.90384e+12 1536544 0.08% 458 349 2.90401e+12 1608 2.90619e+12 2.90384e+12 1538431 0.08% 460 351 2.90417e+12 1375 2.90619e+12 2.90384e+12 1542493 0.08% 461 352 2.90421e+12 1451 2.90619e+12 2.90384e+12 1544483 0.08% Elapsed real time = 20742.21 sec. (tree size = 339.45 MB, solutions = 5) Nodefile size = 212.05 MB (103.89 MB after compression) 462 353 2.90451e+12 1303 2.90619e+12 2.90384e+12 1550446 0.08% 464 355 2.90598e+12 401 2.90619e+12 2.90384e+12 1563805 0.08% 467 356 2.90605e+12 1329 2.90619e+12 2.90384e+12 1567366 0.08% 471 356 2.90606e+12 1445 2.90619e+12 2.90384e+12 1570304 0.08% 483 358 2.90614e+12 442 2.90619e+12 2.90384e+12 1573061 0.08% 491 356 2.90388e+12 2261 2.90619e+12 2.90385e+12 1578354 0.08% 493 358 2.90389e+12 2103 2.90619e+12 2.90385e+12 1580186 0.08% 494 359 2.90390e+12 3597 2.90619e+12 2.90385e+12 1581493 0.08% 496 361 2.90393e+12 2019 2.90619e+12 2.90385e+12 1583527 0.08% 499 364 2.90395e+12 1862 2.90619e+12 2.90385e+12 1585550 0.08% Elapsed real time = 21179.20 sec. (tree size = 351.67 MB, solutions = 5) Nodefile size = 224.44 MB (109.95 MB after compression) 500 365 2.90396e+12 1992 2.90619e+12 2.90385e+12 1586671 0.08% 501 366 2.90398e+12 2020 2.90619e+12 2.90385e+12 1588335 0.08% 503 368 2.90400e+12 1862 2.90619e+12 2.90385e+12 1589778 0.08% 505 370 2.90402e+12 1836 2.90619e+12 2.90385e+12 1591664 0.08% 508 373 2.90406e+12 1839 2.90619e+12 2.90385e+12 1593875 0.08% 510 375 2.90408e+12 1730 2.90619e+12 2.90385e+12 1596014 0.08% 513 378 2.90410e+12 1704 2.90619e+12 2.90385e+12 1597825 0.08% 515 380 2.90416e+12 2005 2.90619e+12 2.90385e+12 1600967 0.08% 518 383 2.90420e+12 1675 2.90619e+12 2.90385e+12 1603342 0.08% 520 385 2.90439e+12 1544 2.90619e+12 2.90385e+12 1608121 0.08% Elapsed real time = 21530.36 sec. (tree size = 370.96 MB, solutions = 5) Nodefile size = 243.84 MB (119.12 MB after compression) 523 388 2.90444e+12 1425 2.90619e+12 2.90385e+12 1612640 0.08% 524 389 2.90448e+12 2718 2.90619e+12 2.90385e+12 1619329 0.08% 525 390 2.90458e+12 2334 2.90619e+12 2.90385e+12 1624139 0.08% 526 391 2.90476e+12 2919 2.90619e+12 2.90385e+12 1628430 0.08% 527 392 2.90480e+12 2248 2.90619e+12 2.90385e+12 1631291 0.08% 528 393 2.90480e+12 2527 2.90619e+12 2.90385e+12 1633035 0.08% 529 394 2.90483e+12 2250 2.90619e+12 2.90385e+12 1635900 0.08% 531 396 2.90484e+12 2345 2.90619e+12 2.90385e+12 1637653 0.08% 534 399 2.90485e+12 2460 2.90619e+12 2.90385e+12 1639527 0.08% 535 400 2.90485e+12 2250 2.90619e+12 2.90385e+12 1640986 0.08% Elapsed real time = 22093.16 sec. (tree size = 385.23 MB, solutions = 5) Nodefile size = 258.07 MB (126.18 MB after compression) 536 401 2.90487e+12 2081 2.90619e+12 2.90385e+12 1642713 0.08% 537 402 2.90491e+12 2442 2.90619e+12 2.90385e+12 1645316 0.08% 538 403 2.90492e+12 2341 2.90619e+12 2.90385e+12 1646732 0.08% 539 404 2.90493e+12 2362 2.90619e+12 2.90385e+12 1647954 0.08% 541 406 2.90494e+12 1650 2.90619e+12 2.90385e+12 1649989 0.08% 543 408 2.90495e+12 1438 2.90619e+12 2.90385e+12 1651200 0.08% 544 409 2.90496e+12 2357 2.90619e+12 2.90385e+12 1653868 0.08% 546 411 2.90497e+12 2337 2.90619e+12 2.90385e+12 1655220 0.08% 547 412 2.90498e+12 1438 2.90619e+12 2.90385e+12 1656526 0.08% 548 413 2.90499e+12 2300 2.90619e+12 2.90385e+12 1657811 0.08% Elapsed real time = 22394.59 sec. (tree size = 397.92 MB, solutions = 5) Nodefile size = 270.75 MB (132.67 MB after compression) 550 415 2.90500e+12 1438 2.90619e+12 2.90385e+12 1659591 0.08% 551 416 2.90501e+12 2597 2.90619e+12 2.90385e+12 1661256 0.08% 553 418 2.90505e+12 2102 2.90619e+12 2.90385e+12 1663603 0.08% 555 420 2.90507e+12 2167 2.90619e+12 2.90385e+12 1665774 0.08% 556 421 2.90508e+12 2199 2.90619e+12 2.90385e+12 1667326 0.08% 558 423 2.90509e+12 2060 2.90619e+12 2.90385e+12 1668622 0.08% 560 425 2.90510e+12 2033 2.90619e+12 2.90385e+12 1669883 0.08% 562 427 2.90514e+12 2065 2.90619e+12 2.90385e+12 1672856 0.08% 564 429 2.90517e+12 2031 2.90619e+12 2.90385e+12 1674799 0.08% 566 431 2.90520e+12 1997 2.90619e+12 2.90385e+12 1676676 0.08% Elapsed real time = 22703.94 sec. (tree size = 415.86 MB, solutions = 5) Nodefile size = 288.65 MB (141.99 MB after compression) 567 432 2.90526e+12 2049 2.90619e+12 2.90385e+12 1679488 0.08% 568 433 2.90532e+12 2865 2.90619e+12 2.90385e+12 1682442 0.08% 569 434 2.90541e+12 1780 2.90619e+12 2.90385e+12 1687470 0.08% 570 435 2.90547e+12 2106 2.90619e+12 2.90385e+12 1691255 0.08% 572 437 2.90548e+12 2117 2.90619e+12 2.90385e+12 1692970 0.08% 574 439 2.90551e+12 2112 2.90619e+12 2.90385e+12 1695550 0.08% 576 441 2.90552e+12 2070 2.90619e+12 2.90385e+12 1697164 0.08% 578 443 2.90554e+12 2081 2.90619e+12 2.90385e+12 1699522 0.08% 580 445 2.90556e+12 1724 2.90619e+12 2.90385e+12 1701262 0.08% 582 447 2.90560e+12 2026 2.90619e+12 2.90385e+12 1703307 0.08% Elapsed real time = 23110.24 sec. (tree size = 432.45 MB, solutions = 5) Nodefile size = 305.22 MB (149.75 MB after compression) 584 449 2.90584e+12 2388 2.90619e+12 2.90385e+12 1715502 0.08% 585 450 2.90585e+12 2761 2.90619e+12 2.90385e+12 1717237 0.08% 586 451 2.90586e+12 2252 2.90619e+12 2.90385e+12 1719254 0.08% 587 452 2.90587e+12 1859 2.90619e+12 2.90385e+12 1720983 0.08% 589 454 2.90591e+12 2195 2.90619e+12 2.90385e+12 1724445 0.08% 590 455 2.90593e+12 2386 2.90619e+12 2.90385e+12 1727630 0.08% 591 456 2.90593e+12 2338 2.90619e+12 2.90385e+12 1729247 0.08% 593 458 2.90599e+12 2254 2.90619e+12 2.90385e+12 1733360 0.08% 595 460 2.90605e+12 2151 2.90619e+12 2.90385e+12 1738519 0.08% 596 461 2.90611e+12 1639 2.90619e+12 2.90385e+12 1742158 0.08% Elapsed real time = 23652.44 sec. (tree size = 446.98 MB, solutions = 5) Nodefile size = 319.75 MB (156.64 MB after compression) 599 464 2.90612e+12 1676 2.90619e+12 2.90385e+12 1745097 0.08% 602 467 2.90613e+12 1669 2.90619e+12 2.90385e+12 1747175 0.08% 607 472 2.90619e+12 1263 2.90619e+12 2.90385e+12 1754902 0.08% 610 471 2.90389e+12 2154 2.90619e+12 2.90385e+12 1759467 0.08% 611 472 2.90391e+12 2044 2.90619e+12 2.90385e+12 1761252 0.08% 612 473 2.90392e+12 1830 2.90619e+12 2.90385e+12 1763220 0.08% 613 474 2.90394e+12 1856 2.90619e+12 2.90385e+12 1765022 0.08% 617 478 2.90396e+12 2241 2.90619e+12 2.90385e+12 1766986 0.08% 619 480 2.90400e+12 2461 2.90619e+12 2.90385e+12 1769621 0.08% 620 481 2.90400e+12 1749 2.90619e+12 2.90385e+12 1770034 0.08% Elapsed real time = 24046.84 sec. (tree size = 466.66 MB, solutions = 5) Nodefile size = 338.69 MB (165.94 MB after compression) 622 483 2.90403e+12 1747 2.90619e+12 2.90385e+12 1772251 0.08% 624 485 2.90405e+12 1727 2.90619e+12 2.90385e+12 1774173 0.08% 626 487 2.90407e+12 1648 2.90619e+12 2.90385e+12 1775782 0.08% 628 489 2.90410e+12 1703 2.90619e+12 2.90385e+12 1777673 0.08% 630 491 2.90427e+12 1829 2.90619e+12 2.90385e+12 1783014 0.08% 631 492 2.90432e+12 1779 2.90619e+12 2.90385e+12 1785354 0.08% 633 494 2.90433e+12 1880 2.90619e+12 2.90385e+12 1786875 0.08% 634 495 2.90437e+12 1712 2.90619e+12 2.90385e+12 1788483 0.08% 636 497 2.90440e+12 2090 2.90619e+12 2.90385e+12 1789813 0.08% 638 499 2.90443e+12 1692 2.90619e+12 2.90385e+12 1791105 0.08% Elapsed real time = 24319.61 sec. (tree size = 483.30 MB, solutions = 5) Nodefile size = 355.32 MB (173.98 MB after compression) 640 501 2.90449e+12 1703 2.90619e+12 2.90385e+12 1794597 0.08% 641 502 2.90459e+12 1658 2.90619e+12 2.90385e+12 1796873 0.08% 642 503 2.90478e+12 1663 2.90619e+12 2.90385e+12 1799243 0.08% 643 504 2.90482e+12 1659 2.90619e+12 2.90385e+12 1801498 0.08% 645 506 2.90485e+12 1693 2.90619e+12 2.90385e+12 1804431 0.08% 647 508 2.90486e+12 1756 2.90619e+12 2.90385e+12 1805626 0.08% 649 510 2.90487e+12 1815 2.90619e+12 2.90385e+12 1807644 0.08% 650 511 2.90487e+12 1814 2.90619e+12 2.90385e+12 1808775 0.08% 652 513 2.90488e+12 2737 2.90619e+12 2.90385e+12 1809944 0.08% 654 515 2.90491e+12 1657 2.90619e+12 2.90385e+12 1811595 0.08% Elapsed real time = 24660.29 sec. (tree size = 498.75 MB, solutions = 5) Nodefile size = 370.72 MB (181.74 MB after compression) 655 516 2.90492e+12 2371 2.90619e+12 2.90385e+12 1813298 0.08% 658 519 2.90494e+12 1627 2.90619e+12 2.90385e+12 1815349 0.08% 659 520 2.90496e+12 1717 2.90619e+12 2.90385e+12 1816571 0.08% 661 522 2.90496e+12 1694 2.90619e+12 2.90385e+12 1817572 0.08% 663 524 2.90498e+12 1659 2.90619e+12 2.90385e+12 1819203 0.08% 665 526 2.90499e+12 1657 2.90619e+12 2.90385e+12 1820706 0.08% 667 528 2.90500e+12 2023 2.90619e+12 2.90385e+12 1822319 0.08% 668 529 2.90501e+12 2344 2.90619e+12 2.90385e+12 1823655 0.08% 669 530 2.90503e+12 1719 2.90619e+12 2.90385e+12 1826096 0.08% 670 531 2.90504e+12 1743 2.90619e+12 2.90385e+12 1827617 0.08% Elapsed real time = 24894.63 sec. (tree size = 514.59 MB, solutions = 5) Nodefile size = 386.55 MB (189.92 MB after compression) 672 533 2.90505e+12 1689 2.90619e+12 2.90385e+12 1829124 0.08% 675 536 2.90509e+12 1630 2.90619e+12 2.90385e+12 1830431 0.08% 677 538 2.90512e+12 2004 2.90619e+12 2.90385e+12 1832444 0.08% 679 540 2.90515e+12 1631 2.90619e+12 2.90385e+12 1834392 0.08% 680 541 2.90517e+12 1595 2.90619e+12 2.90385e+12 1835416 0.08% 682 543 2.90520e+12 2402 2.90619e+12 2.90385e+12 1836665 0.08% 683 544 2.90527e+12 1744 2.90619e+12 2.90385e+12 1840004 0.08% 684 545 2.90530e+12 2183 2.90619e+12 2.90385e+12 1844336 0.08% 685 546 2.90531e+12 1745 2.90619e+12 2.90385e+12 1845493 0.08% 687 548 2.90542e+12 1818 2.90619e+12 2.90385e+12 1849401 0.08% Elapsed real time = 25310.81 sec. (tree size = 531.86 MB, solutions = 5) Nodefile size = 403.78 MB (198.72 MB after compression) 688 549 2.90548e+12 2850 2.90619e+12 2.90385e+12 1853061 0.08% 689 550 2.90548e+12 2962 2.90619e+12 2.90385e+12 1853900 0.08% 690 551 2.90553e+12 2368 2.90619e+12 2.90385e+12 1857885 0.08% 691 552 2.90554e+12 2572 2.90619e+12 2.90385e+12 1858944 0.08% 692 553 2.90558e+12 2422 2.90619e+12 2.90385e+12 1862568 0.08% 693 554 2.90559e+12 2221 2.90619e+12 2.90385e+12 1864236 0.08% 694 555 2.90563e+12 2080 2.90619e+12 2.90385e+12 1866845 0.08% 695 556 2.90569e+12 2664 2.90619e+12 2.90385e+12 1869895 0.08% 697 558 2.90571e+12 2117 2.90619e+12 2.90385e+12 1871281 0.08% 699 560 2.90574e+12 1703 2.90619e+12 2.90385e+12 1873685 0.08% Elapsed real time = 25726.20 sec. (tree size = 544.32 MB, solutions = 5) Nodefile size = 416.23 MB (204.42 MB after compression) 701 562 2.90575e+12 2112 2.90619e+12 2.90385e+12 1875415 0.08% 702 563 2.90576e+12 2150 2.90619e+12 2.90385e+12 1876620 0.08% 703 564 2.90577e+12 1673 2.90619e+12 2.90385e+12 1877813 0.08% 704 565 2.90579e+12 2233 2.90619e+12 2.90385e+12 1879570 0.08% 705 566 2.90581e+12 1703 2.90619e+12 2.90385e+12 1881442 0.08% 706 567 2.90584e+12 1603 2.90619e+12 2.90385e+12 1883611 0.08% 709 570 2.90590e+12 920 2.90619e+12 2.90385e+12 1886461 0.08% 712 573 2.90592e+12 920 2.90619e+12 2.90385e+12 1888624 0.08% 716 577 2.90595e+12 2342 2.90619e+12 2.90385e+12 1891141 0.08% 720 581 2.90597e+12 920 2.90619e+12 2.90385e+12 1892525 0.08% Elapsed real time = 25985.54 sec. (tree size = 566.13 MB, solutions = 5) Nodefile size = 438.04 MB (214.80 MB after compression) 722 583 2.90598e+12 1954 2.90619e+12 2.90385e+12 1894053 0.08% 723 584 2.90602e+12 1898 2.90619e+12 2.90385e+12 1896085 0.08% 728 589 2.90605e+12 1443 2.90619e+12 2.90385e+12 1898343 0.08% 732 593 2.90607e+12 1310 2.90619e+12 2.90385e+12 1900397 0.08% 735 596 2.90610e+12 1308 2.90619e+12 2.90385e+12 1903600 0.08% 738 599 2.90612e+12 1307 2.90619e+12 2.90385e+12 1906046 0.08% 742 603 2.90614e+12 1382 2.90619e+12 2.90385e+12 1907984 0.08% 747 608 2.90616e+12 1544 2.90619e+12 2.90385e+12 1910521 0.08% 751 612 2.90617e+12 1533 2.90619e+12 2.90385e+12 1913730 0.08% 756 611 2.90391e+12 2096 2.90619e+12 2.90385e+12 1921499 0.08% Elapsed real time = 26277.57 sec. (tree size = 597.46 MB, solutions = 5) Nodefile size = 470.28 MB (230.71 MB after compression) 757 612 2.90392e+12 2046 2.90619e+12 2.90385e+12 1922891 0.08% 759 614 2.90395e+12 1828 2.90619e+12 2.90385e+12 1924923 0.08% 760 615 2.90396e+12 1745 2.90619e+12 2.90385e+12 1925100 0.08% 762 617 2.90397e+12 1747 2.90619e+12 2.90385e+12 1926291 0.08% 764 619 2.90399e+12 2412 2.90619e+12 2.90385e+12 1928200 0.08% 765 620 2.90401e+12 1744 2.90619e+12 2.90385e+12 1929659 0.08% 767 622 2.90403e+12 1721 2.90619e+12 2.90385e+12 1930959 0.08% 769 624 2.90405e+12 1695 2.90619e+12 2.90385e+12 1932958 0.08% 771 626 2.90408e+12 1669 2.90619e+12 2.90385e+12 1934617 0.08% 774 629 2.90412e+12 1622 2.90619e+12 2.90385e+12 1937647 0.08% Elapsed real time = 26499.96 sec. (tree size = 613.94 MB, solutions = 5) Nodefile size = 486.01 MB (237.85 MB after compression) 777 632 2.90414e+12 1730 2.90619e+12 2.90385e+12 1938780 0.08% 778 633 2.90417e+12 2244 2.90619e+12 2.90385e+12 1940395 0.08% 780 635 2.90420e+12 1592 2.90619e+12 2.90385e+12 1941679 0.08% 783 638 2.90424e+12 1509 2.90619e+12 2.90385e+12 1943827 0.08% 784 639 2.90441e+12 1519 2.90619e+12 2.90385e+12 1948447 0.08% 785 640 2.90447e+12 1460 2.90619e+12 2.90385e+12 1950100 0.08% 787 642 2.90452e+12 3282 2.90619e+12 2.90385e+12 1954647 0.08% 788 643 2.90456e+12 2620 2.90619e+12 2.90385e+12 1958675 0.08% 789 644 2.90467e+12 2292 2.90619e+12 2.90385e+12 1966473 0.08% 790 645 2.90484e+12 1439 2.90619e+12 2.90385e+12 1970092 0.08% Elapsed real time = 26988.66 sec. (tree size = 628.82 MB, solutions = 5) Nodefile size = 500.85 MB (245.06 MB after compression) 791 646 2.90488e+12 2590 2.90619e+12 2.90385e+12 1974419 0.08% 792 647 2.90489e+12 2554 2.90619e+12 2.90385e+12 1976487 0.08% 793 648 2.90491e+12 1484 2.90619e+12 2.90385e+12 1979010 0.08% 795 650 2.90492e+12 1511 2.90619e+12 2.90385e+12 1980341 0.08% 798 653 2.90493e+12 2416 2.90619e+12 2.90385e+12 1982983 0.08% 800 655 2.90495e+12 2501 2.90619e+12 2.90385e+12 1986466 0.08% 802 657 2.90499e+12 1972 2.90619e+12 2.90385e+12 1988153 0.08% 804 659 2.90500e+12 1378 2.90619e+12 2.90385e+12 1990122 0.08% 806 661 2.90501e+12 1378 2.90619e+12 2.90385e+12 1991136 0.08% 807 662 2.90503e+12 1434 2.90619e+12 2.90385e+12 1992890 0.08% Elapsed real time = 27332.97 sec. (tree size = 645.57 MB, solutions = 5) Nodefile size = 517.57 MB (253.73 MB after compression) 810 665 2.90504e+12 1377 2.90619e+12 2.90385e+12 1993769 0.08% 812 667 2.90506e+12 1377 2.90619e+12 2.90385e+12 1995148 0.08% 814 669 2.90507e+12 1570 2.90619e+12 2.90385e+12 1996364 0.08% 816 671 2.90508e+12 1777 2.90619e+12 2.90385e+12 1998048 0.08% 817 672 2.90510e+12 1514 2.90619e+12 2.90385e+12 1999714 0.08% 820 675 2.90514e+12 1376 2.90619e+12 2.90385e+12 2001592 0.08% 822 677 2.90516e+12 2309 2.90619e+12 2.90385e+12 2002812 0.08% 824 679 2.90517e+12 1378 2.90619e+12 2.90385e+12 2004099 0.08% 825 680 2.90520e+12 2607 2.90619e+12 2.90385e+12 2005933 0.08% 827 682 2.90523e+12 1514 2.90619e+12 2.90385e+12 2007135 0.08% Elapsed real time = 27529.69 sec. (tree size = 665.87 MB, solutions = 5) Nodefile size = 537.82 MB (264.52 MB after compression) 829 684 2.90526e+12 2122 2.90619e+12 2.90385e+12 2008396 0.08% 830 685 2.90532e+12 2402 2.90619e+12 2.90385e+12 2013181 0.08% 831 686 2.90540e+12 2278 2.90619e+12 2.90385e+12 2017501 0.08% 832 687 2.90545e+12 2389 2.90619e+12 2.90385e+12 2022661 0.08% 833 688 2.90547e+12 2720 2.90619e+12 2.90385e+12 2025117 0.08% 834 689 2.90549e+12 2577 2.90619e+12 2.90385e+12 2027574 0.08% 835 690 2.90550e+12 2547 2.90619e+12 2.90385e+12 2028447 0.08% 836 691 2.90554e+12 2985 2.90619e+12 2.90385e+12 2032825 0.08% 837 692 2.90556e+12 2588 2.90619e+12 2.90385e+12 2036105 0.08% 838 693 2.90559e+12 1917 2.90619e+12 2.90385e+12 2037852 0.08% Elapsed real time = 28015.73 sec. (tree size = 677.29 MB, solutions = 5) Nodefile size = 549.24 MB (269.70 MB after compression) 839 694 2.90564e+12 2258 2.90619e+12 2.90385e+12 2041354 0.08% 840 695 2.90567e+12 1724 2.90619e+12 2.90385e+12 2043911 0.08% 843 698 2.90572e+12 890 2.90619e+12 2.90385e+12 2045412 0.08% 845 700 2.90576e+12 952 2.90619e+12 2.90385e+12 2046878 0.08% 850 705 2.90579e+12 890 2.90619e+12 2.90385e+12 2048434 0.08% 853 708 2.90581e+12 1587 2.90619e+12 2.90385e+12 2050064 0.08% 857 712 2.90583e+12 1909 2.90619e+12 2.90385e+12 2051614 0.08% 861 716 2.90588e+12 2337 2.90619e+12 2.90385e+12 2055120 0.08% 864 719 2.90590e+12 1905 2.90619e+12 2.90385e+12 2057020 0.08% 866 721 2.90591e+12 1701 2.90619e+12 2.90385e+12 2058515 0.08% Elapsed real time = 28260.15 sec. (tree size = 706.35 MB, solutions = 5) Nodefile size = 578.30 MB (283.56 MB after compression) 868 723 2.90592e+12 1514 2.90619e+12 2.90385e+12 2060737 0.08% 870 725 2.90594e+12 1484 2.90619e+12 2.90385e+12 2063231 0.08% 873 728 2.90596e+12 2320 2.90619e+12 2.90385e+12 2065769 0.08% 876 731 2.90598e+12 2177 2.90619e+12 2.90385e+12 2067868 0.08% 881 736 2.90599e+12 2642 2.90619e+12 2.90385e+12 2069725 0.08% 883 738 2.90599e+12 2224 2.90619e+12 2.90385e+12 2071175 0.08% 886 741 2.90601e+12 2015 2.90619e+12 2.90385e+12 2073054 0.08% 888 743 2.90606e+12 1024 2.90619e+12 2.90385e+12 2075839 0.08% 889 744 2.90607e+12 1417 2.90619e+12 2.90385e+12 2078496 0.08% 890 745 2.90616e+12 704 2.90619e+12 2.90385e+12 2082743 0.08% Elapsed real time = 28487.36 sec. (tree size = 731.28 MB, solutions = 5) Nodefile size = 603.23 MB (295.76 MB after compression) 893 744 2.90470e+12 2888 2.90619e+12 2.90385e+12 2102016 0.08% 894 745 2.90471e+12 3024 2.90619e+12 2.90385e+12 2102901 0.08% 895 746 2.90473e+12 3026 2.90619e+12 2.90385e+12 2105487 0.08% 896 747 2.90473e+12 3071 2.90619e+12 2.90385e+12 2108218 0.08% 897 748 2.90474e+12 2629 2.90619e+12 2.90385e+12 2110059 0.08% 899 750 2.90476e+12 3352 2.90619e+12 2.90385e+12 2112176 0.08% 900 751 2.90478e+12 3036 2.90619e+12 2.90385e+12 2115692 0.08% 901 752 2.90480e+12 1531 2.90619e+12 2.90385e+12 2119311 0.08% 903 754 2.90482e+12 3560 2.90619e+12 2.90385e+12 2121124 0.08% 904 755 2.90483e+12 2810 2.90619e+12 2.90385e+12 2125161 0.08% Elapsed real time = 29044.02 sec. (tree size = 740.91 MB, solutions = 5) Nodefile size = 613.83 MB (301.14 MB after compression) 905 756 2.90485e+12 2810 2.90619e+12 2.90385e+12 2126953 0.08% 906 757 2.90486e+12 2472 2.90619e+12 2.90385e+12 2128606 0.08% 908 759 2.90490e+12 2866 2.90619e+12 2.90385e+12 2133517 0.08% 909 760 2.90492e+12 2225 2.90619e+12 2.90385e+12 2135932 0.08% 910 761 2.90510e+12 1983 2.90619e+12 2.90385e+12 2141852 0.08% 912 763 2.90513e+12 2014 2.90619e+12 2.90385e+12 2145353 0.08% 914 765 2.90514e+12 1980 2.90619e+12 2.90385e+12 2147094 0.08% 916 767 2.90518e+12 1845 2.90619e+12 2.90385e+12 2149557 0.08% 917 768 2.90521e+12 2082 2.90619e+12 2.90385e+12 2150948 0.08% 919 770 2.90523e+12 2567 2.90619e+12 2.90385e+12 2152291 0.08% Elapsed real time = 29376.61 sec. (tree size = 755.83 MB, solutions = 5) Nodefile size = 628.71 MB (308.95 MB after compression) 920 771 2.90525e+12 1835 2.90619e+12 2.90385e+12 2153290 0.08% 922 773 2.90531e+12 1919 2.90619e+12 2.90385e+12 2157611 0.08% 923 774 2.90539e+12 2490 2.90619e+12 2.90385e+12 2162775 0.08% 924 775 2.90558e+12 2535 2.90619e+12 2.90385e+12 2168496 0.08% 925 776 2.90561e+12 2869 2.90619e+12 2.90385e+12 2171987 0.08% 926 777 2.90562e+12 3509 2.90619e+12 2.90385e+12 2173368 0.08% 927 778 2.90564e+12 2600 2.90619e+12 2.90385e+12 2177011 0.08% 928 779 2.90568e+12 2520 2.90619e+12 2.90385e+12 2179786 0.08% 930 781 2.90569e+12 2618 2.90619e+12 2.90385e+12 2181330 0.08% 932 783 2.90570e+12 2634 2.90619e+12 2.90385e+12 2183599 0.08% Elapsed real time = 29793.90 sec. (tree size = 769.27 MB, solutions = 5) Nodefile size = 642.12 MB (315.51 MB after compression) 934 785 2.90570e+12 3352 2.90619e+12 2.90385e+12 2184910 0.08% 935 786 2.90571e+12 2580 2.90619e+12 2.90385e+12 2186375 0.08% 937 788 2.90572e+12 2520 2.90619e+12 2.90385e+12 2187644 0.08% 938 789 2.90572e+12 2641 2.90619e+12 2.90385e+12 2189023 0.08% 939 790 2.90573e+12 3223 2.90619e+12 2.90385e+12 2190826 0.08% 940 791 2.90575e+12 2504 2.90619e+12 2.90385e+12 2193500 0.08% 941 792 2.90575e+12 2718 2.90619e+12 2.90385e+12 2195174 0.08% 942 793 2.90576e+12 2515 2.90619e+12 2.90385e+12 2197850 0.08% 943 794 2.90577e+12 3296 2.90619e+12 2.90385e+12 2199351 0.08% 944 795 2.90577e+12 2480 2.90619e+12 2.90385e+12 2200566 0.08% Elapsed real time = 30035.84 sec. (tree size = 781.73 MB, solutions = 5) Nodefile size = 654.59 MB (321.33 MB after compression) 946 797 2.90579e+12 2542 2.90619e+12 2.90385e+12 2202784 0.08% 947 798 2.90579e+12 2488 2.90619e+12 2.90385e+12 2204385 0.08% 948 799 2.90581e+12 2478 2.90619e+12 2.90385e+12 2206915 0.08% 950 801 2.90582e+12 2543 2.90619e+12 2.90385e+12 2209855 0.08% 951 802 2.90583e+12 2923 2.90619e+12 2.90385e+12 2211215 0.08% 953 804 2.90584e+12 2492 2.90619e+12 2.90385e+12 2213141 0.08% 955 806 2.90588e+12 2585 2.90619e+12 2.90385e+12 2216589 0.08% 957 808 2.90590e+12 2491 2.90619e+12 2.90385e+12 2218540 0.08% 958 809 2.90593e+12 2480 2.90619e+12 2.90385e+12 2221332 0.08% 959 810 2.90595e+12 2988 2.90619e+12 2.90385e+12 2223096 0.08% Elapsed real time = 30299.78 sec. (tree size = 797.31 MB, solutions = 5) Nodefile size = 670.17 MB (328.72 MB after compression) 961 812 2.90598e+12 2381 2.90619e+12 2.90385e+12 2225575 0.08% 963 814 2.90610e+12 2002 2.90619e+12 2.90385e+12 2231760 0.08% 965 814 cutoff 2.90619e+12 2.90385e+12 2235363 0.08% 967 814 2.90473e+12 2705 2.90619e+12 2.90385e+12 2254727 0.08% 968 815 2.90475e+12 2680 2.90619e+12 2.90385e+12 2257419 0.08% 969 816 2.90478e+12 3341 2.90619e+12 2.90385e+12 2266591 0.08% 970 817 2.90476e+12 1479 2.90619e+12 2.90385e+12 2267598 0.08% 971 818 2.90476e+12 3610 2.90619e+12 2.90385e+12 2268733 0.08% 972 819 2.90482e+12 2776 2.90619e+12 2.90385e+12 2277304 0.08% 973 820 2.90477e+12 1513 2.90619e+12 2.90385e+12 2278643 0.08% Elapsed real time = 31008.97 sec. (tree size = 807.39 MB, solutions = 5) Nodefile size = 680.27 MB (333.73 MB after compression) 974 821 2.90479e+12 3426 2.90619e+12 2.90385e+12 2280601 0.08% 975 822 2.90484e+12 2917 2.90619e+12 2.90385e+12 2288882 0.08% 976 823 2.90480e+12 1767 2.90619e+12 2.90385e+12 2291597 0.08% 978 825 2.90483e+12 1457 2.90619e+12 2.90385e+12 2294421 0.08% 980 827 2.90485e+12 1383 2.90619e+12 2.90385e+12 2295790 0.08% 981 828 2.90486e+12 2533 2.90619e+12 2.90385e+12 2298285 0.08% 982 829 2.90487e+12 1862 2.90619e+12 2.90385e+12 2300040 0.08% 984 831 2.90489e+12 1260 2.90619e+12 2.90385e+12 2302147 0.08% 986 833 2.90509e+12 2116 2.90619e+12 2.90385e+12 2308476 0.08% 987 834 2.90565e+12 1096 2.90619e+12 2.90385e+12 2319239 0.08% Elapsed real time = 31462.40 sec. (tree size = 821.02 MB, solutions = 5) Nodefile size = 693.87 MB (340.72 MB after compression) 989 836 2.90596e+12 1011 2.90619e+12 2.90385e+12 2326870 0.08% 992 837 2.90603e+12 1277 2.90619e+12 2.90385e+12 2331099 0.08% 994 837 2.90618e+12 1942 2.90619e+12 2.90385e+12 2338780 0.08% 998 835 2.90388e+12 2279 2.90619e+12 2.90386e+12 2345949 0.08% 1000 837 2.90389e+12 2122 2.90619e+12 2.90386e+12 2347103 0.08% 1001 838 2.90390e+12 3155 2.90619e+12 2.90386e+12 2348987 0.08% 1003 840 2.90393e+12 3083 2.90619e+12 2.90386e+12 2350926 0.08% 1005 842 2.90394e+12 2110 2.90619e+12 2.90386e+12 2352458 0.08% 1007 844 2.90396e+12 2079 2.90619e+12 2.90386e+12 2354240 0.08% 1008 845 2.90398e+12 2318 2.90619e+12 2.90386e+12 2356298 0.08% Elapsed real time = 31991.20 sec. (tree size = 831.32 MB, solutions = 5) Nodefile size = 703.41 MB (345.32 MB after compression) 1010 847 2.90399e+12 1746 2.90619e+12 2.90386e+12 2357835 0.08% 1012 849 2.90402e+12 3064 2.90619e+12 2.90386e+12 2360523 0.08% 1013 850 2.90420e+12 1391 2.90619e+12 2.90386e+12 2362761 0.08% 1017 854 2.90425e+12 1252 2.90619e+12 2.90386e+12 2365976 0.08% 1019 856 2.90433e+12 1280 2.90619e+12 2.90386e+12 2368495 0.08% 1021 858 2.90444e+12 1306 2.90619e+12 2.90386e+12 2371825 0.08% 1024 861 2.90450e+12 1496 2.90619e+12 2.90386e+12 2374338 0.08% 1027 864 2.90459e+12 1228 2.90619e+12 2.90386e+12 2377384 0.08% 1028 865 2.90476e+12 1961 2.90619e+12 2.90386e+12 2380292 0.08% 1032 869 2.90481e+12 1120 2.90619e+12 2.90386e+12 2382263 0.08% Elapsed real time = 32230.46 sec. (tree size = 853.83 MB, solutions = 5) Nodefile size = 725.87 MB (356.09 MB after compression) 1036 873 2.90487e+12 1093 2.90619e+12 2.90386e+12 2384550 0.08% 1038 875 2.90504e+12 1037 2.90619e+12 2.90386e+12 2390514 0.08% 1039 876 2.90524e+12 2644 2.90619e+12 2.90386e+12 2396037 0.08% 1040 877 2.90527e+12 2125 2.90619e+12 2.90386e+12 2399589 0.08% 1041 878 2.90532e+12 2367 2.90619e+12 2.90386e+12 2403468 0.08% 1042 879 2.90532e+12 2105 2.90619e+12 2.90386e+12 2404989 0.08% 1043 880 2.90535e+12 2103 2.90619e+12 2.90386e+12 2408844 0.08% 1044 881 2.90406e+12 5607 2.90619e+12 2.90406e+12 2799699 0.07% 1045 882 2.90407e+12 5353 2.90619e+12 2.90406e+12 2805179 0.07% 1046 588 cutoff 2.90619e+12 2.90406e+12 2822822 0.07% Elapsed real time = 41015.00 sec. (tree size = 86.01 MB, solutions = 5) 1047 589 2.90408e+12 5499 2.90619e+12 2.90406e+12 2827432 0.07% 1048 590 2.90409e+12 5390 2.90619e+12 2.90406e+12 2832553 0.07% 1049 591 2.90561e+12 3744 2.90619e+12 2.90406e+12 2876570 0.07% 1050 591 2.90562e+12 2930 2.90619e+12 2.90406e+12 2877615 0.07% 1051 591 2.90561e+12 3271 2.90619e+12 2.90406e+12 2878811 0.07% 1052 592 2.90564e+12 2927 2.90619e+12 2.90406e+12 2885307 0.07% 1053 592 2.90564e+12 4179 2.90619e+12 2.90406e+12 2889444 0.07% 1054 593 2.90564e+12 2935 2.90619e+12 2.90406e+12 2893356 0.07% 1055 594 2.90573e+12 3364 2.90619e+12 2.90406e+12 2902623 0.07% 1056 594 2.90569e+12 2953 2.90619e+12 2.90406e+12 2908995 0.07% Elapsed real time = 43345.31 sec. (tree size = 92.84 MB, solutions = 5) 1057 544 cutoff 2.90619e+12 2.90406e+12 2913623 0.07% 1058 544 2.90569e+12 3652 2.90619e+12 2.90406e+12 2914427 0.07% 1059 498 cutoff 2.90619e+12 2.90406e+12 2921437 0.07% 1061 456 cutoff 2.90619e+12 2.90406e+12 2924866 0.07% 1062 457 2.90570e+12 2890 2.90619e+12 2.90406e+12 2926711 0.07% 1063 418 cutoff 2.90619e+12 2.90406e+12 2931235 0.07% 1064 419 2.90571e+12 2947 2.90619e+12 2.90406e+12 2933446 0.07% 1065 384 cutoff 2.90619e+12 2.90406e+12 2939169 0.07% 1067 352 cutoff 2.90619e+12 2.90406e+12 2942411 0.07% 1068 353 2.90574e+12 3358 2.90619e+12 2.90406e+12 2948087 0.07% Elapsed real time = 43655.29 sec. (tree size = 57.77 MB, solutions = 5) 1070 324 2.90574e+12 4032 2.90619e+12 2.90406e+12 2949479 0.07% 1071 297 cutoff 2.90619e+12 2.90406e+12 2955291 0.07% 1072 297 2.90575e+12 3739 2.90619e+12 2.90406e+12 2959790 0.07% 1073 298 2.90598e+12 2828 2.90619e+12 2.90406e+12 2976262 0.07% 1075 276 2.90598e+12 2705 2.90619e+12 2.90406e+12 2980161 0.07% 1077 255 2.90599e+12 3643 2.90619e+12 2.90406e+12 2983612 0.07% 1080 216 cutoff 2.90619e+12 2.90406e+12 2988589 0.07% 1082 200 cutoff 2.90619e+12 2.90406e+12 2992867 0.07% 1083 200 2.90600e+12 2361 2.90619e+12 2.90406e+12 2994569 0.07% 1085 185 2.90600e+12 3534 2.90619e+12 2.90406e+12 2998599 0.07% Elapsed real time = 44188.78 sec. (tree size = 34.03 MB, solutions = 5) 1087 170 2.90606e+12 3357 2.90619e+12 2.90406e+12 3008237 0.07% 1089 171 2.90608e+12 2962 2.90619e+12 2.90406e+12 3012364 0.07% 1090 171 2.90612e+12 3432 2.90619e+12 2.90406e+12 3018848 0.07% 1092 160 2.90613e+12 2759 2.90619e+12 2.90406e+12 3023063 0.07% 1096 140 2.90618e+12 2376 2.90619e+12 2.90406e+12 3030458 0.07% 1099 123 2.90596e+12 3164 2.90619e+12 2.90408e+12 3075326 0.07% 1101 124 2.90600e+12 3768 2.90619e+12 2.90408e+12 3080246 0.07% 1103 125 2.90601e+12 3194 2.90619e+12 2.90408e+12 3082749 0.07% 1106 112 2.90601e+12 3094 2.90619e+12 2.90408e+12 3085235 0.07% 1109 106 2.90606e+12 3542 2.90619e+12 2.90408e+12 3091658 0.07% Elapsed real time = 45237.91 sec. (tree size = 26.84 MB, solutions = 5) 1111 101 2.90606e+12 3843 2.90619e+12 2.90408e+12 3094417 0.07% 1113 96 2.90607e+12 4086 2.90619e+12 2.90408e+12 3097435 0.07% 1115 91 2.90609e+12 3096 2.90619e+12 2.90408e+12 3103320 0.07% 1116 86 cutoff 2.90619e+12 2.90408e+12 3107156 0.07% 1119 83 2.90611e+12 3098 2.90619e+12 2.90408e+12 3110781 0.07% 1122 80 2.90616e+12 2244 2.90619e+12 2.90408e+12 3118521 0.07% 1126 69 cutoff 2.90619e+12 2.90408e+12 3121721 0.07% 1127 70 2.90416e+12 5774 2.90619e+12 2.90409e+12 3132619 0.07% 1128 70 2.90416e+12 5666 2.90619e+12 2.90409e+12 3135649 0.07% 1129 71 2.90418e+12 5133 2.90619e+12 2.90409e+12 3145574 0.07% Elapsed real time = 45976.45 sec. (tree size = 23.05 MB, solutions = 5) 1130 72 2.90419e+12 4972 2.90619e+12 2.90409e+12 3146692 0.07% 1131 73 2.90420e+12 5664 2.90619e+12 2.90409e+12 3153879 0.07% 1132 74 2.90422e+12 6073 2.90619e+12 2.90409e+12 3163253 0.07% 1133 75 2.90422e+12 5666 2.90619e+12 2.90409e+12 3164344 0.07% 1134 76 2.90422e+12 5626 2.90619e+12 2.90409e+12 3165513 0.07% 1135 76 2.90422e+12 6027 2.90619e+12 2.90409e+12 3166949 0.07% 1136 77 2.90422e+12 5623 2.90619e+12 2.90409e+12 3168691 0.07% 1137 77 2.90422e+12 6163 2.90619e+12 2.90409e+12 3169273 0.07% 1139 79 2.90440e+12 4644 2.90619e+12 2.90409e+12 3188154 0.07% 1140 80 2.90442e+12 4495 2.90619e+12 2.90409e+12 3193782 0.07% Elapsed real time = 46938.92 sec. (tree size = 31.02 MB, solutions = 5) 1141 81 2.90568e+12 3150 2.90619e+12 2.90409e+12 3236180 0.07% 1142 81 2.90568e+12 4076 2.90619e+12 2.90409e+12 3238739 0.07% 1143 82 2.90568e+12 3474 2.90619e+12 2.90409e+12 3240275 0.07% 1144 79 cutoff 2.90619e+12 2.90409e+12 3249334 0.07% 1145 79 2.90574e+12 3464 2.90619e+12 2.90409e+12 3260770 0.07% 1146 80 2.90576e+12 3289 2.90619e+12 2.90409e+12 3263242 0.07% 1148 78 cutoff 2.90619e+12 2.90409e+12 3266383 0.07% 1149 78 2.90578e+12 2660 2.90619e+12 2.90409e+12 3271948 0.07% 1150 78 2.90580e+12 2337 2.90619e+12 2.90409e+12 3274954 0.07% 1152 75 2.90581e+12 778 2.90619e+12 2.90409e+12 3278599 0.07% Elapsed real time = 47839.36 sec. (tree size = 34.40 MB, solutions = 5) 1154 74 2.90583e+12 824 2.90619e+12 2.90409e+12 3280908 0.07% 1156 72 2.90591e+12 3224 2.90619e+12 2.90409e+12 3290580 0.07% 1158 70 2.90591e+12 2732 2.90619e+12 2.90409e+12 3295789 0.07% 1160 69 2.90592e+12 2703 2.90619e+12 2.90409e+12 3298314 0.07% 1161 70 2.90594e+12 2514 2.90619e+12 2.90409e+12 3301400 0.07% 1165 67 2.90602e+12 2629 2.90619e+12 2.90409e+12 3308351 0.07% 1167 65 2.90603e+12 3052 2.90619e+12 2.90409e+12 3313305 0.07% 1169 64 2.90605e+12 2705 2.90619e+12 2.90409e+12 3317267 0.07% 1170 64 2.90615e+12 1856 2.90619e+12 2.90409e+12 3321774 0.07% 1173 60 2.90409e+12 5388 2.90619e+12 2.90409e+12 3323238 0.07% Elapsed real time = 48199.88 sec. (tree size = 33.02 MB, solutions = 5) 1174 61 2.90409e+12 5319 2.90619e+12 2.90409e+12 3325366 0.07% 1175 62 2.90411e+12 5315 2.90619e+12 2.90409e+12 3333678 0.07% 1176 62 2.90412e+12 5500 2.90619e+12 2.90409e+12 3336459 0.07% 1177 62 2.90413e+12 5520 2.90619e+12 2.90409e+12 3342919 0.07% 1178 62 2.90413e+12 5889 2.90619e+12 2.90409e+12 3345646 0.07% 1179 62 2.90415e+12 5544 2.90619e+12 2.90409e+12 3351897 0.07% 1180 62 2.90415e+12 5452 2.90619e+12 2.90409e+12 3355193 0.07% 1182 64 2.90415e+12 5487 2.90619e+12 2.90409e+12 3355978 0.07% 1184 65 2.90415e+12 5453 2.90619e+12 2.90409e+12 3357259 0.07% 1185 66 2.90415e+12 5344 2.90619e+12 2.90409e+12 3358046 0.07% Elapsed real time = 48923.66 sec. (tree size = 41.12 MB, solutions = 5) 1187 68 2.90415e+12 5408 2.90619e+12 2.90409e+12 3358812 0.07% 1189 70 2.90419e+12 4974 2.90619e+12 2.90409e+12 3373458 0.07% 1192 71 2.90421e+12 4923 2.90619e+12 2.90409e+12 3383966 0.07% 1193 71 2.90421e+12 4781 2.90619e+12 2.90409e+12 3385348 0.07% 1194 71 2.90421e+12 4822 2.90619e+12 2.90409e+12 3388179 0.07% 1195 71 2.90589e+12 1768 2.90619e+12 2.90409e+12 3425099 0.07% 1196 71 2.90598e+12 2250 2.90619e+12 2.90409e+12 3431395 0.07% 1197 71 2.90601e+12 2100 2.90619e+12 2.90409e+12 3436899 0.07% 1200 68 cutoff 2.90619e+12 2.90409e+12 3440728 0.07% 1205 65 2.90608e+12 2176 2.90619e+12 2.90409e+12 3447376 0.07% Elapsed real time = 50167.89 sec. (tree size = 48.42 MB, solutions = 5) 1208 64 2.90618e+12 2541 2.90619e+12 2.90409e+12 3456209 0.07% 1215 63 2.90576e+12 1476 2.90619e+12 2.90409e+12 3497856 0.07% 1217 65 2.90576e+12 1154 2.90619e+12 2.90409e+12 3498833 0.07% 1219 65 cutoff 2.90619e+12 2.90409e+12 3505373 0.07% 1220 66 2.90590e+12 3541 2.90619e+12 2.90409e+12 3518140 0.07% 1223 67 cutoff 2.90619e+12 2.90409e+12 3525297 0.07% 1226 68 2.90593e+12 3007 2.90619e+12 2.90409e+12 3532984 0.07% 1227 69 2.90593e+12 3127 2.90619e+12 2.90409e+12 3536719 0.07% 1230 70 2.90594e+12 3117 2.90619e+12 2.90409e+12 3542220 0.07% 1232 70 2.90596e+12 3562 2.90619e+12 2.90409e+12 3545983 0.07% Elapsed real time = 51177.82 sec. (tree size = 54.15 MB, solutions = 5) 1234 70 2.90596e+12 2398 2.90619e+12 2.90409e+12 3547684 0.07% 1235 71 2.90607e+12 2097 2.90619e+12 2.90409e+12 3556953 0.07% 1241 71 2.90612e+12 2464 2.90619e+12 2.90409e+12 3564664 0.07% 1246 70 2.90582e+12 1403 2.90619e+12 2.90411e+12 3609647 0.07% 1248 72 2.90582e+12 1126 2.90619e+12 2.90411e+12 3611131 0.07% 1249 73 2.90584e+12 1137 2.90619e+12 2.90411e+12 3612661 0.07% 1251 75 2.90587e+12 1085 2.90619e+12 2.90411e+12 3615341 0.07% 1254 76 cutoff 2.90619e+12 2.90411e+12 3620117 0.07% 1255 77 2.90608e+12 1266 2.90619e+12 2.90411e+12 3633252 0.07% 1257 77 2.90617e+12 2193 2.90619e+12 2.90411e+12 3642231 0.07% Elapsed real time = 52264.61 sec. (tree size = 60.16 MB, solutions = 5) 1260 76 2.90513e+12 2549 2.90619e+12 2.90412e+12 3676507 0.07% 1261 77 2.90530e+12 3023 2.90619e+12 2.90412e+12 3688378 0.07% 1262 78 2.90542e+12 2975 2.90619e+12 2.90412e+12 3699715 0.07% 1264 80 2.90545e+12 2621 2.90619e+12 2.90412e+12 3703312 0.07% 1265 81 2.90548e+12 2525 2.90619e+12 2.90412e+12 3708258 0.07% 1266 82 2.90550e+12 3046 2.90619e+12 2.90412e+12 3710598 0.07% 1268 84 2.90550e+12 3617 2.90619e+12 2.90412e+12 3712165 0.07% 1271 85 cutoff 2.90619e+12 2.90412e+12 3721714 0.07% 1272 86 2.90555e+12 3249 2.90619e+12 2.90412e+12 3727164 0.07% 1274 86 cutoff 2.90619e+12 2.90412e+12 3731889 0.07% Elapsed real time = 53595.97 sec. (tree size = 68.70 MB, solutions = 5) 1275 87 2.90556e+12 4030 2.90619e+12 2.90412e+12 3736294 0.07% 1276 88 2.90617e+12 2469 2.90619e+12 2.90412e+12 3747627 0.07% 1279 87 2.90560e+12 2974 2.90619e+12 2.90413e+12 3793719 0.07% 1280 88 2.90575e+12 3397 2.90619e+12 2.90413e+12 3805191 0.07% 1281 89 2.90576e+12 3508 2.90619e+12 2.90413e+12 3808036 0.07% 1282 90 2.90579e+12 2932 2.90619e+12 2.90413e+12 3812735 0.07% 1283 91 2.90580e+12 2711 2.90619e+12 2.90413e+12 3814053 0.07% 1287 93 2.90580e+12 2891 2.90619e+12 2.90413e+12 3816586 0.07% 1289 93 2.90581e+12 2747 2.90619e+12 2.90413e+12 3821498 0.07% 1292 94 2.90590e+12 2672 2.90619e+12 2.90413e+12 3837466 0.07% Elapsed real time = 55015.79 sec. (tree size = 74.71 MB, solutions = 5) 1295 95 2.90599e+12 2808 2.90619e+12 2.90413e+12 3849723 0.07% 1296 96 2.90601e+12 2651 2.90619e+12 2.90413e+12 3853958 0.07% 1297 97 2.90602e+12 1879 2.90619e+12 2.90413e+12 3856743 0.07% 1299 97 2.90604e+12 2199 2.90619e+12 2.90413e+12 3862254 0.07% 1300 98 2.90606e+12 2503 2.90619e+12 2.90413e+12 3864436 0.07% 1302 98 2.90610e+12 2230 2.90619e+12 2.90413e+12 3870500 0.07% 1304 98 2.90616e+12 941 2.90619e+12 2.90413e+12 3874252 0.07% 1307 97 2.90549e+12 3061 2.90619e+12 2.90413e+12 3919420 0.07% 1308 98 2.90564e+12 4025 2.90619e+12 2.90413e+12 3933692 0.07% 1309 99 2.90565e+12 3212 2.90619e+12 2.90413e+12 3936417 0.07% Elapsed real time = 56465.44 sec. (tree size = 79.03 MB, solutions = 5) 1310 100 2.90569e+12 3326 2.90619e+12 2.90413e+12 3943945 0.07% 1311 101 2.90569e+12 3362 2.90619e+12 2.90413e+12 3944940 0.07% 1316 106 2.90576e+12 3611 2.90619e+12 2.90413e+12 3955396 0.07% 1317 107 2.90576e+12 3177 2.90619e+12 2.90413e+12 3956767 0.07% 1318 106 cutoff 2.90619e+12 2.90413e+12 3961139 0.07% 1319 107 2.90576e+12 3398 2.90619e+12 2.90413e+12 3963731 0.07% 1320 108 2.90579e+12 2894 2.90619e+12 2.90413e+12 3972120 0.07% 1321 109 2.90580e+12 3025 2.90619e+12 2.90413e+12 3973111 0.07% 1323 109 cutoff 2.90619e+12 2.90413e+12 3977123 0.07% 1324 110 2.90586e+12 2718 2.90619e+12 2.90413e+12 3984274 0.07% Elapsed real time = 57125.88 sec. (tree size = 88.33 MB, solutions = 5) 1325 111 2.90587e+12 2343 2.90619e+12 2.90413e+12 3988138 0.07% 1328 112 2.90589e+12 2150 2.90619e+12 2.90413e+12 3992174 0.07% * 1329 111 integral 0 2.90619e+12 2.90413e+12 3998250 0.07% 1331 113 2.90611e+12 2637 2.90619e+12 2.90413e+12 4008930 0.07% 1335 111 cutoff 2.90619e+12 2.90413e+12 4015687 0.07% 1336 112 2.90419e+12 4918 2.90619e+12 2.90415e+12 4029030 0.07% 1337 113 2.90431e+12 4780 2.90619e+12 2.90415e+12 4050761 0.07% 1338 114 2.90434e+12 4936 2.90619e+12 2.90415e+12 4061132 0.07% 1339 115 2.90436e+12 4624 2.90619e+12 2.90415e+12 4068860 0.07% 1340 116 2.90439e+12 4543 2.90619e+12 2.90415e+12 4078454 0.07% Elapsed real time = 58787.07 sec. (tree size = 93.13 MB, solutions = 6) 1341 117 2.90439e+12 4444 2.90619e+12 2.90415e+12 4079212 0.07% 1342 118 2.90439e+12 4933 2.90619e+12 2.90415e+12 4082073 0.07% 1343 119 2.90440e+12 4645 2.90619e+12 2.90415e+12 4083179 0.07% 1344 120 2.90440e+12 4595 2.90619e+12 2.90415e+12 4084947 0.07% 1345 121 2.90440e+12 4612 2.90619e+12 2.90415e+12 4086472 0.07% 1348 124 2.90440e+12 4604 2.90619e+12 2.90415e+12 4087190 0.07% 1350 124 cutoff 2.90619e+12 2.90415e+12 4108399 0.07% 1351 125 2.90443e+12 4821 2.90619e+12 2.90415e+12 4122692 0.07% 1352 126 2.90444e+12 4715 2.90619e+12 2.90415e+12 4124092 0.07% 1353 127 2.90448e+12 4667 2.90619e+12 2.90415e+12 4140593 0.07% Elapsed real time = 60072.83 sec. (tree size = 101.46 MB, solutions = 6) 1354 128 2.90456e+12 4624 2.90619e+12 2.90415e+12 4159870 0.07% 1355 127 cutoff 2.90619e+12 2.90415e+12 4165630 0.07% 1356 128 2.90457e+12 4796 2.90619e+12 2.90415e+12 4171339 0.07% 1357 127 cutoff 2.90619e+12 2.90415e+12 4183025 0.07% 1358 128 2.90458e+12 4620 2.90619e+12 2.90415e+12 4188335 0.07% 1359 127 cutoff 2.90619e+12 2.90415e+12 4195960 0.07% 1360 128 2.90458e+12 4758 2.90619e+12 2.90415e+12 4199614 0.07% 1361 129 2.90465e+12 4328 2.90619e+12 2.90415e+12 4212242 0.07% 1362 128 cutoff 2.90619e+12 2.90415e+12 4222206 0.07% 1363 129 2.90465e+12 4514 2.90619e+12 2.90415e+12 4223448 0.07% Elapsed real time = 61223.41 sec. (tree size = 102.99 MB, solutions = 6) * 1364+ 118 2.90600e+12 2.90415e+12 4232028 0.06% 1364 120 2.90466e+12 4626 2.90600e+12 2.90415e+12 4232028 0.06% 1365 119 cutoff 2.90600e+12 2.90415e+12 4240486 0.06% 1366 120 2.90466e+12 4427 2.90600e+12 2.90415e+12 4243131 0.06% 1367 121 2.90466e+12 4427 2.90600e+12 2.90415e+12 4245564 0.06% 1369 121 cutoff 2.90600e+12 2.90415e+12 4256968 0.06% 1370 122 2.90469e+12 4380 2.90600e+12 2.90415e+12 4265894 0.06% 1371 121 cutoff 2.90600e+12 2.90415e+12 4277189 0.06% 1372 122 2.90469e+12 4496 2.90600e+12 2.90415e+12 4278762 0.06% 1373 121 cutoff 2.90600e+12 2.90415e+12 4285893 0.06% 1374 122 2.90469e+12 4495 2.90600e+12 2.90415e+12 4288167 0.06% Elapsed real time = 63814.36 sec. (tree size = 96.86 MB, solutions = 7) 1375 121 cutoff 2.90600e+12 2.90415e+12 4297300 0.06% 1376 122 2.90469e+12 4536 2.90600e+12 2.90415e+12 4301714 0.06% 1377 123 2.90481e+12 4010 2.90600e+12 2.90415e+12 4312384 0.06% 1378 124 2.90581e+12 2372 2.90600e+12 2.90415e+12 4340485 0.06% 1380 124 2.90583e+12 3429 2.90600e+12 2.90415e+12 4349085 0.06% 1381 125 2.90587e+12 2208 2.90600e+12 2.90415e+12 4352479 0.06% 1383 125 2.90592e+12 1264 2.90600e+12 2.90415e+12 4356375 0.06% 1386 124 2.90527e+12 3471 2.90600e+12 2.90415e+12 4400064 0.06% 1387 123 cutoff 2.90600e+12 2.90415e+12 4410205 0.06% 1388 124 2.90542e+12 4289 2.90600e+12 2.90415e+12 4426732 0.06% Elapsed real time = 65732.58 sec. (tree size = 98.55 MB, solutions = 7) 1389 125 2.90543e+12 3384 2.90600e+12 2.90415e+12 4433348 0.06% 1390 126 2.90547e+12 3518 2.90600e+12 2.90415e+12 4441360 0.06% 1392 126 2.90566e+12 2959 2.90600e+12 2.90415e+12 4463252 0.06% 1393 127 2.90568e+12 2367 2.90600e+12 2.90415e+12 4467378 0.06% 1394 128 2.90568e+12 2407 2.90600e+12 2.90415e+12 4468649 0.06% 1395 129 2.90569e+12 2451 2.90600e+12 2.90415e+12 4470147 0.06% 1397 129 2.90569e+12 2847 2.90600e+12 2.90415e+12 4472961 0.06% 1399 129 2.90570e+12 2526 2.90600e+12 2.90415e+12 4476204 0.06% 1402 130 2.90570e+12 2611 2.90600e+12 2.90415e+12 4478676 0.06% 1403 131 2.90572e+12 2831 2.90600e+12 2.90415e+12 4480847 0.06% Elapsed real time = 66392.19 sec. (tree size = 104.47 MB, solutions = 7) 1407 131 2.90573e+12 2555 2.90600e+12 2.90415e+12 4487764 0.06% 1410 130 cutoff 2.90600e+12 2.90415e+12 4492076 0.06% 1411 131 2.90575e+12 2799 2.90600e+12 2.90415e+12 4494725 0.06% 1412 132 2.90577e+12 2483 2.90600e+12 2.90415e+12 4496844 0.06% 1414 132 2.90580e+12 1796 2.90600e+12 2.90415e+12 4502224 0.06% 1416 132 2.90591e+12 2460 2.90600e+12 2.90415e+12 4511628 0.06% 1420 130 cutoff 2.90600e+12 2.90415e+12 4516629 0.06% 1421 131 2.90433e+12 4939 2.90600e+12 2.90415e+12 4535321 0.06% 1422 132 2.90445e+12 5223 2.90600e+12 2.90415e+12 4555778 0.06% 1423 133 2.90450e+12 4840 2.90600e+12 2.90415e+12 4573648 0.06% Elapsed real time = 67820.41 sec. (tree size = 106.10 MB, solutions = 7) 1424 134 2.90451e+12 4964 2.90600e+12 2.90415e+12 4580452 0.06% 1425 135 2.90455e+12 5204 2.90600e+12 2.90415e+12 4589664 0.06% 1426 136 2.90455e+12 4670 2.90600e+12 2.90415e+12 4590736 0.06% 1427 137 2.90462e+12 5011 2.90600e+12 2.90415e+12 4605029 0.06% 1428 138 2.90463e+12 5125 2.90600e+12 2.90415e+12 4609444 0.06% 1429 139 2.90463e+12 4608 2.90600e+12 2.90415e+12 4613709 0.06% 1430 140 2.90465e+12 4736 2.90600e+12 2.90415e+12 4618110 0.06% 1431 141 2.90465e+12 4955 2.90600e+12 2.90415e+12 4620180 0.06% 1432 142 2.90465e+12 4767 2.90600e+12 2.90415e+12 4621594 0.06% 1433 143 2.90466e+12 4547 2.90600e+12 2.90415e+12 4628128 0.06% Elapsed real time = 68882.12 sec. (tree size = 113.90 MB, solutions = 7) 1434 144 2.90467e+12 4977 2.90600e+12 2.90415e+12 4633925 0.06% 1436 146 2.90467e+12 4976 2.90600e+12 2.90415e+12 4636413 0.06% 1438 148 2.90470e+12 4967 2.90600e+12 2.90415e+12 4643945 0.06% 1440 150 2.90470e+12 4969 2.90600e+12 2.90415e+12 4645214 0.06% 1441 151 2.90471e+12 4788 2.90600e+12 2.90415e+12 4648220 0.06% 1442 152 2.90471e+12 5333 2.90600e+12 2.90415e+12 4650305 0.06% 1443 153 2.90471e+12 4529 2.90600e+12 2.90415e+12 4651984 0.06% 1445 155 2.90471e+12 4459 2.90600e+12 2.90415e+12 4652376 0.06% 1446 156 2.90476e+12 4096 2.90600e+12 2.90415e+12 4664972 0.06% 1449 159 2.90476e+12 4188 2.90600e+12 2.90415e+12 4667761 0.06% Elapsed real time = 69752.18 sec. (tree size = 126.52 MB, solutions = 7) 1450 158 cutoff 2.90600e+12 2.90415e+12 4679545 0.06% 1451 159 2.90489e+12 4365 2.90600e+12 2.90415e+12 4698905 0.06% 1452 160 2.90489e+12 4335 2.90600e+12 2.90415e+12 4699726 0.06% 1453 159 cutoff 2.90600e+12 2.90415e+12 4715662 0.06% 1454 160 2.90496e+12 4059 2.90600e+12 2.90415e+12 4729368 0.06% 1455 161 2.90511e+12 4557 2.90600e+12 2.90415e+12 4742737 0.06% 1456 162 2.90511e+12 4599 2.90600e+12 2.90415e+12 4746122 0.06% 1458 164 2.90512e+12 4145 2.90600e+12 2.90415e+12 4750767 0.06% 1459 163 cutoff 2.90600e+12 2.90415e+12 4756144 0.06% 1460 164 2.90516e+12 3968 2.90600e+12 2.90415e+12 4767230 0.06% Elapsed real time = 71221.67 sec. (tree size = 130.67 MB, solutions = 7) Nodefile size = 3.38 MB (1.69 MB after compression) * 1461 158 integral 0 2.90595e+12 2.90415e+12 4785734 0.06% 1462 159 2.90519e+12 4131 2.90595e+12 2.90415e+12 4794180 0.06% 1463 160 2.90561e+12 1639 2.90595e+12 2.90415e+12 4813825 0.06% 1465 160 2.90585e+12 2313 2.90595e+12 2.90415e+12 4828278 0.06% 1468 161 2.90586e+12 2912 2.90595e+12 2.90415e+12 4832621 0.06% 1470 161 2.90587e+12 2174 2.90595e+12 2.90415e+12 4835392 0.06% 1472 161 2.90590e+12 2698 2.90595e+12 2.90415e+12 4839769 0.06% * 1474+ 159 2.90595e+12 2.90415e+12 4840667 0.06% 1476 161 2.90590e+12 2598 2.90595e+12 2.90415e+12 4842183 0.06% 1483 162 2.90592e+12 2235 2.90595e+12 2.90415e+12 4845520 0.06% * 1493 160 integral 0 2.90594e+12 2.90415e+12 4847677 0.06% Elapsed real time = 72010.68 sec. (tree size = 128.24 MB, solutions = 10) Nodefile size = 1.69 MB (0.79 MB after compression) 1494 161 2.90436e+12 4858 2.90594e+12 2.90415e+12 4868074 0.06% 1495 162 2.90449e+12 5329 2.90594e+12 2.90415e+12 4886906 0.06% 1496 163 2.90453e+12 4655 2.90594e+12 2.90415e+12 4903943 0.06% 1497 164 2.90461e+12 4362 2.90594e+12 2.90415e+12 4915811 0.06% 1498 165 2.90470e+12 3982 2.90594e+12 2.90415e+12 4929484 0.06% 1499 166 2.90472e+12 3824 2.90594e+12 2.90415e+12 4936651 0.06% 1500 167 2.90480e+12 4959 2.90594e+12 2.90415e+12 4952033 0.06% 1501 168 2.90484e+12 4568 2.90594e+12 2.90415e+12 4962453 0.06% 1502 169 2.90491e+12 4388 2.90594e+12 2.90415e+12 4974697 0.06% 1503 170 2.90494e+12 4212 2.90594e+12 2.90415e+12 4984702 0.06% Elapsed real time = 74799.27 sec. (tree size = 135.30 MB, solutions = 10) Nodefile size = 7.62 MB (3.67 MB after compression) 1504 171 2.90495e+12 4170 2.90594e+12 2.90415e+12 4987588 0.06% 1505 172 2.90495e+12 4247 2.90594e+12 2.90415e+12 4993403 0.06% 1506 173 2.90498e+12 4216 2.90594e+12 2.90415e+12 5001247 0.06% 1507 174 2.90510e+12 4630 2.90594e+12 2.90415e+12 5014847 0.06% 1508 175 2.90510e+12 4200 2.90594e+12 2.90415e+12 5018005 0.06% 1509 176 2.90514e+12 4008 2.90594e+12 2.90415e+12 5026148 0.06% 1510 177 2.90516e+12 4764 2.90594e+12 2.90415e+12 5037418 0.06% 1511 178 2.90517e+12 4346 2.90594e+12 2.90415e+12 5043298 0.06% 1512 179 2.90518e+12 4377 2.90594e+12 2.90415e+12 5045959 0.06% 1513 180 2.90519e+12 4381 2.90594e+12 2.90415e+12 5055910 0.06% Elapsed real time = 76075.68 sec. (tree size = 143.63 MB, solutions = 10) Nodefile size = 16.07 MB (7.65 MB after compression) 1514 181 2.90526e+12 4518 2.90594e+12 2.90415e+12 5071306 0.06% 1515 182 2.90526e+12 4416 2.90594e+12 2.90415e+12 5074329 0.06% 1516 183 2.90526e+12 4347 2.90594e+12 2.90415e+12 5075049 0.06% 1517 184 2.90526e+12 4848 2.90594e+12 2.90415e+12 5079077 0.06% 1518 185 2.90526e+12 4520 2.90594e+12 2.90415e+12 5082724 0.06% 1520 187 2.90526e+12 4533 2.90594e+12 2.90415e+12 5083493 0.06% 1522 189 2.90527e+12 4445 2.90594e+12 2.90415e+12 5085910 0.06% 1523 190 2.90527e+12 4930 2.90594e+12 2.90415e+12 5086790 0.06% 1524 189 cutoff 2.90594e+12 2.90415e+12 5093697 0.06% 1525 190 2.90532e+12 4527 2.90594e+12 2.90415e+12 5109007 0.06% Elapsed real time = 76999.83 sec. (tree size = 152.08 MB, solutions = 10) Nodefile size = 24.52 MB (11.60 MB after compression) 1526 191 2.90532e+12 4520 2.90594e+12 2.90415e+12 5109593 0.06% 1528 193 2.90533e+12 4657 2.90594e+12 2.90415e+12 5118566 0.06% 1529 194 2.90533e+12 4658 2.90594e+12 2.90415e+12 5119174 0.06% 1531 196 2.90533e+12 4658 2.90594e+12 2.90415e+12 5120920 0.06% 1533 196 2.90533e+12 4872 2.90594e+12 2.90415e+12 5131320 0.06% 1534 197 2.90534e+12 4446 2.90594e+12 2.90415e+12 5133288 0.06% 1535 196 cutoff 2.90594e+12 2.90415e+12 5140746 0.06% 1536 197 2.90537e+12 4046 2.90594e+12 2.90415e+12 5153985 0.06% 1539 198 2.90537e+12 4261 2.90594e+12 2.90415e+12 5158227 0.06% 1540 197 cutoff 2.90594e+12 2.90415e+12 5171004 0.06% Elapsed real time = 78250.41 sec. (tree size = 158.83 MB, solutions = 10) Nodefile size = 31.28 MB (14.73 MB after compression) 1541 198 2.90538e+12 4233 2.90594e+12 2.90415e+12 5179159 0.06% 1542 199 2.90538e+12 4080 2.90594e+12 2.90415e+12 5181578 0.06% 1543 200 2.90538e+12 4037 2.90594e+12 2.90415e+12 5183647 0.06% 1545 200 2.90541e+12 4654 2.90594e+12 2.90415e+12 5202301 0.06% 1547 200 2.90541e+12 4995 2.90594e+12 2.90415e+12 5206913 0.06% 1548 201 2.90542e+12 4420 2.90594e+12 2.90415e+12 5207489 0.06% 1549 200 cutoff 2.90594e+12 2.90415e+12 5211843 0.06% 1550 201 2.90545e+12 4205 2.90594e+12 2.90415e+12 5224558 0.06% 1551 200 cutoff 2.90594e+12 2.90415e+12 5229184 0.06% 1552 201 2.90546e+12 4252 2.90594e+12 2.90415e+12 5238577 0.06% Elapsed real time = 79234.85 sec. (tree size = 161.36 MB, solutions = 10) Nodefile size = 33.81 MB (15.87 MB after compression) 1553 202 2.90590e+12 3408 2.90594e+12 2.90415e+12 5271009 0.06% 1559 202 cutoff 2.90594e+12 2.90415e+12 5273419 0.06% 1560 201 cutoff 2.90594e+12 2.90415e+12 5278403 0.06% 1561 200 cutoff 2.90594e+12 2.90415e+12 5289691 0.06% 1562 201 2.90574e+12 3510 2.90594e+12 2.90415e+12 5341079 0.06% 1563 202 2.90581e+12 3006 2.90594e+12 2.90415e+12 5352760 0.06% 1564 203 2.90583e+12 2806 2.90594e+12 2.90415e+12 5357573 0.06% 1565 204 2.90585e+12 3525 2.90594e+12 2.90415e+12 5364785 0.06% 1566 205 2.90588e+12 2401 2.90594e+12 2.90415e+12 5372580 0.06% 1567 206 2.90589e+12 1868 2.90594e+12 2.90415e+12 5375796 0.06% Elapsed real time = 80902.17 sec. (tree size = 165.80 MB, solutions = 10) Nodefile size = 38.05 MB (17.97 MB after compression) 1569 208 2.90590e+12 2174 2.90594e+12 2.90415e+12 5380308 0.06% 1572 207 2.90582e+12 3257 2.90594e+12 2.90415e+12 5425372 0.06% 1573 208 2.90590e+12 3484 2.90594e+12 2.90415e+12 5433990 0.06% 1575 206 cutoff 2.90594e+12 2.90415e+12 5436963 0.06% 1576 207 2.90508e+12 3256 2.90594e+12 2.90415e+12 5472668 0.06% 1577 208 2.90515e+12 3197 2.90594e+12 2.90415e+12 5482071 0.06% 1578 209 2.90524e+12 3347 2.90594e+12 2.90415e+12 5495277 0.06% 1579 210 2.90530e+12 2725 2.90594e+12 2.90415e+12 5502373 0.06% 1580 211 2.90532e+12 2658 2.90594e+12 2.90415e+12 5507207 0.06% 1583 214 2.90535e+12 3351 2.90594e+12 2.90415e+12 5511861 0.06% Elapsed real time = 82931.63 sec. (tree size = 172.76 MB, solutions = 10) Nodefile size = 44.83 MB (21.23 MB after compression) 1584 215 2.90541e+12 2755 2.90594e+12 2.90415e+12 5522560 0.06% 1585 216 2.90547e+12 2500 2.90594e+12 2.90415e+12 5527896 0.06% 1586 217 2.90549e+12 3015 2.90594e+12 2.90415e+12 5535979 0.06% 1587 218 2.90550e+12 3283 2.90594e+12 2.90415e+12 5538665 0.06% 1588 217 cutoff 2.90594e+12 2.90415e+12 5545668 0.06% 1589 218 2.90553e+12 3490 2.90594e+12 2.90415e+12 5554494 0.06% 1590 219 2.90553e+12 3899 2.90594e+12 2.90415e+12 5556050 0.06% 1592 219 2.90554e+12 3520 2.90594e+12 2.90415e+12 5560918 0.06% 1594 221 2.90554e+12 3483 2.90594e+12 2.90415e+12 5561745 0.06% 1597 224 2.90554e+12 3487 2.90594e+12 2.90415e+12 5562573 0.06% Elapsed real time = 83535.08 sec. (tree size = 181.20 MB, solutions = 10) Nodefile size = 53.28 MB (25.28 MB after compression) 1598 225 2.90554e+12 3240 2.90594e+12 2.90415e+12 5564657 0.06% 1600 227 2.90554e+12 3241 2.90594e+12 2.90415e+12 5565824 0.06% 1601 228 2.90555e+12 3196 2.90594e+12 2.90415e+12 5569196 0.06% 1602 229 2.90557e+12 3095 2.90594e+12 2.90415e+12 5573740 0.06% 1603 228 cutoff 2.90594e+12 2.90415e+12 5577367 0.06% 1604 229 2.90569e+12 3624 2.90594e+12 2.90415e+12 5591964 0.06% 1606 229 2.90572e+12 3521 2.90594e+12 2.90415e+12 5598656 0.06% * 1608 211 integral 0 2.90586e+12 2.90415e+12 5614697 0.06% 1609 210 cutoff 2.90586e+12 2.90415e+12 5622392 0.06% 1610 211 2.90518e+12 4976 2.90586e+12 2.90415e+12 5671780 0.06% Elapsed real time = 84882.75 sec. (tree size = 170.38 MB, solutions = 11) Nodefile size = 43.95 MB (20.42 MB after compression) 1611 212 2.90526e+12 4572 2.90586e+12 2.90415e+12 5691443 0.06% 1612 213 2.90535e+12 4253 2.90586e+12 2.90415e+12 5707367 0.06% 1613 214 2.90542e+12 4785 2.90586e+12 2.90415e+12 5721573 0.06% 1614 215 2.90547e+12 3007 2.90586e+12 2.90415e+12 5731026 0.06% 1615 216 2.90555e+12 3632 2.90586e+12 2.90415e+12 5746994 0.06% 1616 217 2.90557e+12 4187 2.90586e+12 2.90415e+12 5756401 0.06% 1617 218 2.90562e+12 3969 2.90586e+12 2.90415e+12 5769674 0.06% 1618 219 2.90568e+12 3979 2.90586e+12 2.90415e+12 5784046 0.06% 1619 220 2.90577e+12 4513 2.90586e+12 2.90415e+12 5806148 0.06% 1621 222 2.90580e+12 4449 2.90586e+12 2.90415e+12 5819711 0.06% Elapsed real time = 87061.12 sec. (tree size = 179.67 MB, solutions = 11) Nodefile size = 52.40 MB (24.40 MB after compression) 1622 223 2.90584e+12 4065 2.90586e+12 2.90415e+12 5829221 0.06% 1625 222 2.90415e+12 5794 2.90586e+12 2.90415e+12 5833034 0.06% 1626 223 2.90427e+12 5314 2.90586e+12 2.90415e+12 5858394 0.06% 1627 224 2.90436e+12 5049 2.90586e+12 2.90415e+12 5878512 0.06% 1628 225 2.90442e+12 4625 2.90586e+12 2.90415e+12 5895850 0.06% 1629 226 2.90447e+12 4603 2.90586e+12 2.90415e+12 5909844 0.06% 1630 227 2.90450e+12 4668 2.90586e+12 2.90415e+12 5919426 0.06% 1631 228 2.90453e+12 4747 2.90586e+12 2.90415e+12 5935344 0.06% 1632 229 2.90458e+12 4910 2.90586e+12 2.90415e+12 5951152 0.06% 1633 230 2.90459e+12 4917 2.90586e+12 2.90415e+12 5957271 0.06% Elapsed real time = 89796.82 sec. (tree size = 185.92 MB, solutions = 11) Nodefile size = 58.32 MB (27.31 MB after compression) 1634 231 2.90459e+12 4915 2.90586e+12 2.90415e+12 5960196 0.06% 1635 232 2.90462e+12 4983 2.90586e+12 2.90415e+12 5977868 0.06% 1636 233 2.90462e+12 4984 2.90586e+12 2.90415e+12 5981677 0.06% 1637 234 2.90463e+12 5037 2.90586e+12 2.90415e+12 5985641 0.06% 1638 235 2.90463e+12 4837 2.90586e+12 2.90415e+12 5990485 0.06% 1639 236 2.90463e+12 5030 2.90586e+12 2.90415e+12 5993321 0.06% 1640 237 2.90465e+12 5130 2.90586e+12 2.90415e+12 6005728 0.06% 1642 239 2.90466e+12 5280 2.90586e+12 2.90415e+12 6010364 0.06% 1644 241 2.90466e+12 5029 2.90586e+12 2.90415e+12 6013400 0.06% 1647 244 2.90466e+12 5391 2.90586e+12 2.90415e+12 6016019 0.06% Elapsed real time = 92677.27 sec. (tree size = 196.92 MB, solutions = 11) Nodefile size = 69.29 MB (32.41 MB after compression) 1651 248 2.90466e+12 5229 2.90586e+12 2.90415e+12 6019862 0.06% 1654 251 2.90466e+12 5408 2.90586e+12 2.90415e+12 6022870 0.06% 1657 254 2.90467e+12 4836 2.90586e+12 2.90415e+12 6029696 0.06% 1660 257 2.90467e+12 4957 2.90586e+12 2.90415e+12 6033448 0.06% 1661 258 2.90468e+12 4914 2.90586e+12 2.90415e+12 6036880 0.06% 1663 258 2.90468e+12 5050 2.90586e+12 2.90415e+12 6046824 0.06% 1665 258 2.90468e+12 4887 2.90586e+12 2.90415e+12 6059765 0.06% 1667 260 2.90476e+12 4643 2.90586e+12 2.90415e+12 6084032 0.06% 1668 261 2.90487e+12 4875 2.90586e+12 2.90415e+12 6102356 0.06% 1670 263 2.90508e+12 4585 2.90586e+12 2.90415e+12 6128448 0.06% Elapsed real time = 94559.03 sec. (tree size = 211.96 MB, solutions = 11) Nodefile size = 84.49 MB (39.56 MB after compression) 1672 265 2.90525e+12 3906 2.90586e+12 2.90415e+12 6144215 0.06% 1673 266 2.90553e+12 4262 2.90586e+12 2.90415e+12 6170480 0.06% 1674 267 2.90557e+12 4134 2.90586e+12 2.90415e+12 6180517 0.06% 1675 268 2.90564e+12 4094 2.90586e+12 2.90415e+12 6194909 0.06% 1676 269 2.90566e+12 4393 2.90586e+12 2.90415e+12 6205745 0.06% 1677 270 2.90570e+12 4415 2.90586e+12 2.90415e+12 6214121 0.06% 1678 271 2.90575e+12 4434 2.90586e+12 2.90415e+12 6226825 0.06% 1679 272 2.90579e+12 4472 2.90586e+12 2.90415e+12 6240461 0.06% 1684 273 2.90579e+12 4367 2.90586e+12 2.90415e+12 6249250 0.06% 1688 273 2.90580e+12 4732 2.90586e+12 2.90415e+12 6257758 0.06% Elapsed real time = 96247.74 sec. (tree size = 220.40 MB, solutions = 11) Nodefile size = 92.94 MB (43.75 MB after compression) 1691 274 2.90580e+12 4939 2.90586e+12 2.90415e+12 6264050 0.06% 1700 275 2.90581e+12 4445 2.90586e+12 2.90415e+12 6273007 0.06% 1707 274 cutoff 2.90586e+12 2.90415e+12 6282470 0.06% 1711 276 2.90582e+12 4441 2.90586e+12 2.90415e+12 6292773 0.06% 1719 276 2.90583e+12 4299 2.90586e+12 2.90415e+12 6301680 0.06% 1722 275 2.90559e+12 2233 2.90586e+12 2.90416e+12 6349474 0.06% 1723 276 2.90561e+12 2579 2.90586e+12 2.90416e+12 6354451 0.06% 1726 277 2.90566e+12 3465 2.90586e+12 2.90416e+12 6367540 0.06% 1728 277 2.90568e+12 2427 2.90586e+12 2.90416e+12 6376310 0.06% 1730 279 2.90578e+12 2897 2.90586e+12 2.90416e+12 6388383 0.06% Elapsed real time = 97672.53 sec. (tree size = 224.74 MB, solutions = 11) Nodefile size = 97.17 MB (45.96 MB after compression) 1736 277 cutoff 2.90586e+12 2.90416e+12 6399317 0.06% 1737 276 cutoff 2.90586e+12 2.90416e+12 6441607 0.06% 1738 275 cutoff 2.90586e+12 2.90418e+12 6477935 0.06% 1739 276 2.90558e+12 3347 2.90586e+12 2.90419e+12 6523998 0.06% 1740 277 2.90574e+12 3510 2.90586e+12 2.90419e+12 6539674 0.06% 1741 278 2.90582e+12 3603 2.90586e+12 2.90419e+12 6548935 0.06% 1745 278 2.90570e+12 3067 2.90586e+12 2.90419e+12 6600156 0.06% 1746 279 2.90585e+12 3460 2.90586e+12 2.90419e+12 6613566 0.06% 1749 278 2.90584e+12 2881 2.90586e+12 2.90419e+12 6658711 0.06% 1752 277 2.90532e+12 3554 2.90586e+12 2.90419e+12 6696599 0.06% Elapsed real time = 100865.90 sec. (tree size = 224.48 MB, solutions = 11) Nodefile size = 98.02 MB (46.39 MB after compression) 1753 278 2.90545e+12 3505 2.90586e+12 2.90419e+12 6710854 0.06% 1754 279 2.90551e+12 3326 2.90586e+12 2.90419e+12 6719562 0.06% 1755 280 2.90555e+12 3231 2.90586e+12 2.90419e+12 6728928 0.06% 1756 281 2.90558e+12 2797 2.90586e+12 2.90419e+12 6736597 0.06% 1757 282 2.90569e+12 2363 2.90586e+12 2.90419e+12 6751218 0.06% 1763 288 2.90574e+12 1902 2.90586e+12 2.90419e+12 6758847 0.06% 1768 287 cutoff 2.90586e+12 2.90419e+12 6784904 0.06% 1769 288 2.90557e+12 2204 2.90586e+12 2.90420e+12 6820728 0.06% 1770 289 2.90560e+12 2611 2.90586e+12 2.90420e+12 6826454 0.06% 1772 291 2.90569e+12 3338 2.90586e+12 2.90420e+12 6833019 0.06% Elapsed real time = 102203.72 sec. (tree size = 236.55 MB, solutions = 11) Nodefile size = 109.06 MB (52.02 MB after compression) 1773 292 2.90573e+12 2450 2.90586e+12 2.90420e+12 6839117 0.06% 1775 294 2.90581e+12 1428 2.90586e+12 2.90420e+12 6848993 0.06% 1778 293 2.90426e+12 4783 2.90586e+12 2.90421e+12 6865955 0.06% 1779 294 2.90438e+12 5133 2.90586e+12 2.90421e+12 6887540 0.06% 1780 295 2.90444e+12 4504 2.90586e+12 2.90421e+12 6903424 0.06% 1781 296 2.90451e+12 4073 2.90586e+12 2.90421e+12 6916051 0.06% 1782 297 2.90458e+12 4193 2.90586e+12 2.90421e+12 6930491 0.06% 1783 298 2.90460e+12 4289 2.90586e+12 2.90421e+12 6941069 0.06% 1784 299 2.90465e+12 4327 2.90586e+12 2.90421e+12 6954763 0.06% 1785 300 2.90466e+12 4531 2.90586e+12 2.90421e+12 6961249 0.06% Elapsed real time = 104858.70 sec. (tree size = 243.76 MB, solutions = 11) Nodefile size = 115.83 MB (55.30 MB after compression) 1786 301 2.90471e+12 4566 2.90586e+12 2.90421e+12 6975886 0.06% 1787 302 2.90478e+12 4423 2.90586e+12 2.90421e+12 6997386 0.06% 1788 303 2.90479e+12 4773 2.90586e+12 2.90421e+12 7001514 0.06% 1792 307 2.90479e+12 4146 2.90586e+12 2.90421e+12 7007188 0.06% 1793 308 2.90481e+12 4019 2.90586e+12 2.90421e+12 7015306 0.06% 1796 307 cutoff 2.90586e+12 2.90421e+12 7049054 0.06% 1797 308 2.90481e+12 4128 2.90586e+12 2.90421e+12 7052393 0.06% 1800 307 cutoff 2.90586e+12 2.90421e+12 7071657 0.06% 1802 309 2.90572e+12 3148 2.90586e+12 2.90421e+12 7109088 0.06% 1809 312 cutoff 2.90586e+12 2.90421e+12 7114887 0.06% Elapsed real time = 107631.66 sec. (tree size = 254.32 MB, solutions = 11) Nodefile size = 126.83 MB (60.66 MB after compression) 1812 313 2.90574e+12 3135 2.90586e+12 2.90421e+12 7121383 0.06% 1816 313 2.90579e+12 1418 2.90586e+12 2.90421e+12 7134776 0.06% 1822 311 2.90447e+12 4375 2.90586e+12 2.90421e+12 7172636 0.06% 1823 312 2.90460e+12 4229 2.90586e+12 2.90421e+12 7189339 0.06% 1824 313 2.90465e+12 4024 2.90586e+12 2.90421e+12 7208693 0.06% 1825 314 2.90468e+12 4419 2.90586e+12 2.90421e+12 7216894 0.06% 1826 315 2.90469e+12 4495 2.90586e+12 2.90421e+12 7221355 0.06% 1827 316 2.90469e+12 4703 2.90586e+12 2.90421e+12 7225490 0.06% 1828 315 cutoff 2.90586e+12 2.90421e+12 7243244 0.06% 1829 316 2.90477e+12 4354 2.90586e+12 2.90421e+12 7258421 0.06% Elapsed real time = 110876.92 sec. (tree size = 256.77 MB, solutions = 11) Nodefile size = 129.36 MB (61.93 MB after compression) 1830 317 2.90486e+12 4339 2.90586e+12 2.90421e+12 7274446 0.06% 1831 318 2.90502e+12 4843 2.90586e+12 2.90421e+12 7293962 0.06% 1832 319 2.90502e+12 4124 2.90586e+12 2.90421e+12 7297939 0.06% 1833 320 2.90503e+12 3891 2.90586e+12 2.90421e+12 7301406 0.06% 1836 323 2.90515e+12 4119 2.90586e+12 2.90421e+12 7319927 0.06% 1837 324 2.90532e+12 3925 2.90586e+12 2.90421e+12 7335744 0.06% 1838 325 2.90532e+12 3987 2.90586e+12 2.90421e+12 7339202 0.06% 1841 328 2.90532e+12 4091 2.90586e+12 2.90421e+12 7341720 0.06% 1842 329 2.90533e+12 4046 2.90586e+12 2.90421e+12 7347571 0.06% 1843 330 2.90533e+12 3804 2.90586e+12 2.90421e+12 7352342 0.06% Elapsed real time = 112770.96 sec. (tree size = 268.54 MB, solutions = 11) Nodefile size = 141.19 MB (67.58 MB after compression) 1845 330 2.90535e+12 4056 2.90586e+12 2.90421e+12 7365371 0.06% 1848 331 cutoff 2.90586e+12 2.90421e+12 7374481 0.06% 1849 332 2.90539e+12 3889 2.90586e+12 2.90421e+12 7387777 0.06% 1852 333 2.90540e+12 3834 2.90586e+12 2.90421e+12 7396154 0.06% 1855 334 2.90543e+12 4397 2.90586e+12 2.90421e+12 7407000 0.06% 1856 335 2.90547e+12 3976 2.90586e+12 2.90421e+12 7416672 0.06% 1858 335 2.90554e+12 4066 2.90586e+12 2.90421e+12 7433406 0.06% 1862 337 2.90555e+12 4746 2.90586e+12 2.90421e+12 7439106 0.06% 1863 338 2.90564e+12 4324 2.90586e+12 2.90421e+12 7445902 0.06% 1865 338 2.90564e+12 4328 2.90586e+12 2.90421e+12 7450853 0.06% Elapsed real time = 114276.72 sec. (tree size = 275.30 MB, solutions = 11) Nodefile size = 147.95 MB (70.94 MB after compression) 1869 340 2.90573e+12 3675 2.90586e+12 2.90421e+12 7464724 0.06% 1872 341 2.90577e+12 3621 2.90586e+12 2.90421e+12 7475540 0.06% 1879 342 2.90580e+12 3142 2.90586e+12 2.90421e+12 7488792 0.06% 1882 343 2.90583e+12 3030 2.90586e+12 2.90421e+12 7500867 0.06% 1888 343 2.90426e+12 4598 2.90586e+12 2.90422e+12 7524114 0.06% 1889 344 2.90439e+12 4346 2.90586e+12 2.90422e+12 7538953 0.06% 1890 345 2.90446e+12 4319 2.90586e+12 2.90422e+12 7553668 0.06% 1891 346 2.90455e+12 3945 2.90586e+12 2.90422e+12 7572215 0.06% 1892 347 2.90460e+12 3845 2.90586e+12 2.90422e+12 7583022 0.06% 1893 348 2.90470e+12 3990 2.90586e+12 2.90422e+12 7598631 0.06% Elapsed real time = 116580.88 sec. (tree size = 283.53 MB, solutions = 11) Nodefile size = 155.57 MB (74.84 MB after compression) 1894 349 2.90472e+12 3980 2.90586e+12 2.90422e+12 7607345 0.06% 1895 350 2.90476e+12 4283 2.90586e+12 2.90422e+12 7620308 0.06% 1896 351 2.90483e+12 4574 2.90586e+12 2.90422e+12 7634683 0.06% 1897 352 2.90484e+12 4189 2.90586e+12 2.90422e+12 7638546 0.06% 1898 353 2.90505e+12 4102 2.90586e+12 2.90422e+12 7661729 0.06% 1900 355 2.90506e+12 4383 2.90586e+12 2.90422e+12 7673329 0.06% 1901 356 2.90506e+12 4602 2.90586e+12 2.90422e+12 7676853 0.06% 1902 357 2.90517e+12 4286 2.90586e+12 2.90422e+12 7695802 0.06% 1903 358 2.90517e+12 4359 2.90586e+12 2.90422e+12 7698561 0.06% 1904 359 2.90517e+12 4339 2.90586e+12 2.90422e+12 7701894 0.06% Elapsed real time = 118476.40 sec. (tree size = 292.63 MB, solutions = 11) Nodefile size = 164.86 MB (79.20 MB after compression) 1905 360 2.90520e+12 4310 2.90586e+12 2.90422e+12 7710028 0.06% 1907 362 2.90520e+12 4680 2.90586e+12 2.90422e+12 7713146 0.06% 1908 361 cutoff 2.90586e+12 2.90422e+12 7726416 0.06% 1909 362 2.90534e+12 4480 2.90586e+12 2.90422e+12 7752996 0.06% 1910 363 2.90535e+12 4086 2.90586e+12 2.90422e+12 7757812 0.06% 1911 364 2.90537e+12 4540 2.90586e+12 2.90422e+12 7768814 0.06% 1914 367 2.90537e+12 4185 2.90586e+12 2.90422e+12 7775244 0.06% 1915 368 2.90538e+12 4055 2.90586e+12 2.90422e+12 7780525 0.06% 1917 370 2.90538e+12 4128 2.90586e+12 2.90422e+12 7783817 0.06% 1919 372 2.90538e+12 4013 2.90586e+12 2.90422e+12 7788169 0.06% Elapsed real time = 120063.52 sec. (tree size = 303.62 MB, solutions = 11) Nodefile size = 175.84 MB (84.61 MB after compression) 1923 376 2.90585e+12 3915 2.90586e+12 2.90422e+12 7831073 0.06% 1927 374 2.90543e+12 2524 2.90586e+12 2.90422e+12 7884556 0.06% 1928 375 2.90560e+12 2939 2.90586e+12 2.90422e+12 7899461 0.06% 1929 376 2.90571e+12 3770 2.90586e+12 2.90422e+12 7912132 0.06% 1930 377 2.90577e+12 3984 2.90586e+12 2.90422e+12 7923370 0.06% 1934 377 2.90521e+12 3865 2.90586e+12 2.90422e+12 7969638 0.06% 1935 378 2.90529e+12 3924 2.90586e+12 2.90422e+12 7979187 0.06% 1936 379 2.90539e+12 3730 2.90586e+12 2.90422e+12 7988731 0.06% 1937 380 2.90544e+12 3285 2.90586e+12 2.90422e+12 7998161 0.06% 1938 381 2.90546e+12 3357 2.90586e+12 2.90422e+12 8003631 0.06% Elapsed real time = 123115.44 sec. (tree size = 311.51 MB, solutions = 11) Nodefile size = 184.29 MB (88.94 MB after compression) 1939 382 2.90557e+12 3564 2.90586e+12 2.90422e+12 8016634 0.06% 1941 382 2.90560e+12 3856 2.90586e+12 2.90422e+12 8029468 0.06% 1943 382 2.90562e+12 3418 2.90586e+12 2.90422e+12 8036207 0.06% 1944 383 2.90567e+12 2885 2.90586e+12 2.90422e+12 8045065 0.06% 1945 384 2.90571e+12 3453 2.90586e+12 2.90422e+12 8054149 0.06% 1950 387 2.90572e+12 3530 2.90586e+12 2.90422e+12 8060585 0.06% 1954 389 2.90573e+12 3605 2.90586e+12 2.90422e+12 8068492 0.06% 1957 390 2.90578e+12 4073 2.90586e+12 2.90422e+12 8076673 0.06% 1959 392 2.90582e+12 3431 2.90586e+12 2.90422e+12 8088404 0.06% 1966 389 cutoff 2.90586e+12 2.90422e+12 8131312 0.06% Elapsed real time = 124485.45 sec. (tree size = 319.33 MB, solutions = 11) Nodefile size = 193.61 MB (93.95 MB after compression) 1968 389 2.90515e+12 4671 2.90586e+12 2.90422e+12 8183064 0.06% 1969 390 2.90525e+12 4452 2.90586e+12 2.90422e+12 8199306 0.06% 1970 391 2.90534e+12 4263 2.90586e+12 2.90422e+12 8214814 0.06% 1971 392 2.90542e+12 3816 2.90586e+12 2.90422e+12 8229369 0.06% 1972 393 2.90547e+12 3485 2.90586e+12 2.90422e+12 8237894 0.06% 1973 394 2.90556e+12 3213 2.90586e+12 2.90422e+12 8251706 0.06% 1974 395 2.90559e+12 3670 2.90586e+12 2.90422e+12 8257760 0.06% 1975 396 2.90564e+12 3690 2.90586e+12 2.90422e+12 8267857 0.06% 1976 397 2.90567e+12 3610 2.90586e+12 2.90422e+12 8277473 0.06% 1978 399 2.90568e+12 3768 2.90586e+12 2.90422e+12 8282391 0.06% Elapsed real time = 127233.38 sec. (tree size = 327.02 MB, solutions = 11) Nodefile size = 199.53 MB (97.11 MB after compression) 1979 400 2.90569e+12 3009 2.90586e+12 2.90422e+12 8287231 0.06% 1982 403 2.90572e+12 4444 2.90586e+12 2.90422e+12 8293789 0.06% 1984 405 2.90573e+12 3174 2.90586e+12 2.90422e+12 8302517 0.06% 1985 406 2.90575e+12 3448 2.90586e+12 2.90422e+12 8309118 0.06% 1991 410 2.90576e+12 4000 2.90586e+12 2.90422e+12 8315718 0.06% 2001 412 2.90576e+12 3504 2.90586e+12 2.90422e+12 8324776 0.06% 2003 412 2.90578e+12 4151 2.90586e+12 2.90422e+12 8332715 0.06% 2009 412 2.90579e+12 3960 2.90586e+12 2.90422e+12 8342683 0.06% 2015 412 2.90580e+12 3960 2.90586e+12 2.90422e+12 8352498 0.06% 2022 415 2.90580e+12 3906 2.90586e+12 2.90422e+12 8359903 0.06% Elapsed real time = 128091.95 sec. (tree size = 340.57 MB, solutions = 11) Nodefile size = 213.07 MB (104.54 MB after compression) 2031 416 2.90581e+12 3856 2.90586e+12 2.90422e+12 8368402 0.06% 2045 416 2.90581e+12 4043 2.90586e+12 2.90422e+12 8378443 0.06% 2055 416 2.90582e+12 4187 2.90586e+12 2.90422e+12 8389586 0.06% 2064 417 2.90582e+12 3812 2.90586e+12 2.90422e+12 8400775 0.06% 2080 415 cutoff 2.90586e+12 2.90422e+12 8411596 0.06% 2082 417 2.90435e+12 5453 2.90586e+12 2.90422e+12 8439219 0.06% 2083 418 2.90443e+12 4846 2.90586e+12 2.90422e+12 8458088 0.06% 2084 419 2.90447e+12 4669 2.90586e+12 2.90422e+12 8473858 0.06% 2085 420 2.90456e+12 4628 2.90586e+12 2.90422e+12 8495914 0.06% 2086 421 2.90465e+12 4425 2.90586e+12 2.90422e+12 8518455 0.06% Elapsed real time = 130776.08 sec. (tree size = 345.36 MB, solutions = 11) Nodefile size = 218.15 MB (107.24 MB after compression) 2087 422 2.90467e+12 4611 2.90586e+12 2.90422e+12 8528559 0.06% 2088 423 2.90471e+12 4744 2.90586e+12 2.90422e+12 8541611 0.06% 2089 424 2.90474e+12 5100 2.90586e+12 2.90422e+12 8560050 0.06% 2090 425 2.90478e+12 5277 2.90586e+12 2.90422e+12 8577155 0.06% 2092 427 2.90479e+12 5339 2.90586e+12 2.90422e+12 8580672 0.06% 2093 428 2.90490e+12 4814 2.90586e+12 2.90422e+12 8595798 0.06% 2094 429 2.90499e+12 5024 2.90586e+12 2.90422e+12 8616585 0.06% 2095 430 2.90500e+12 5208 2.90586e+12 2.90422e+12 8623501 0.06% 2096 431 2.90501e+12 4923 2.90586e+12 2.90422e+12 8631925 0.06% 2099 434 2.90501e+12 5035 2.90586e+12 2.90422e+12 8636061 0.06% Elapsed real time = 133300.32 sec. (tree size = 355.88 MB, solutions = 11) Nodefile size = 228.28 MB (112.11 MB after compression) 2100 435 2.90502e+12 5124 2.90586e+12 2.90422e+12 8641624 0.06% 2102 437 2.90502e+12 5585 2.90586e+12 2.90422e+12 8645320 0.06% 2107 442 2.90503e+12 5012 2.90586e+12 2.90422e+12 8649699 0.06% 2108 443 2.90506e+12 4927 2.90586e+12 2.90422e+12 8663483 0.06% 2110 445 2.90506e+12 4924 2.90586e+12 2.90422e+12 8665923 0.06% 2113 448 2.90506e+12 5446 2.90586e+12 2.90422e+12 8669065 0.06% 2114 449 2.90506e+12 5028 2.90586e+12 2.90422e+12 8672930 0.06% 2115 448 cutoff 2.90586e+12 2.90422e+12 8705284 0.06% 2116 449 2.90527e+12 4432 2.90586e+12 2.90422e+12 8729485 0.06% 2118 451 2.90527e+12 4471 2.90586e+12 2.90422e+12 8732868 0.06% Elapsed real time = 135027.28 sec. (tree size = 370.18 MB, solutions = 11) Nodefile size = 242.60 MB (119.85 MB after compression) 2124 453 cutoff 2.90586e+12 2.90422e+12 8742589 0.06% 2126 455 2.90528e+12 4342 2.90586e+12 2.90422e+12 8748933 0.06% 2127 454 cutoff 2.90586e+12 2.90422e+12 8764217 0.06% 2132 455 2.90528e+12 4847 2.90586e+12 2.90422e+12 8770956 0.06% 2133 456 2.90571e+12 3875 2.90586e+12 2.90422e+12 8808722 0.06% 2134 457 2.90580e+12 3905 2.90586e+12 2.90422e+12 8826135 0.06% 2137 456 2.90566e+12 2783 2.90586e+12 2.90426e+12 8882355 0.06% 2138 457 2.90571e+12 3364 2.90586e+12 2.90426e+12 8890864 0.06% 2142 457 2.90563e+12 2451 2.90586e+12 2.90426e+12 8938502 0.05% 2144 459 2.90572e+12 1624 2.90586e+12 2.90426e+12 8951383 0.05% Elapsed real time = 138057.41 sec. (tree size = 377.12 MB, solutions = 11) Nodefile size = 249.36 MB (123.45 MB after compression) 2146 461 2.90576e+12 2836 2.90586e+12 2.90426e+12 8958562 0.05% 2150 461 2.90566e+12 1396 2.90586e+12 2.90427e+12 9001944 0.05% 2152 463 2.90576e+12 1357 2.90586e+12 2.90427e+12 9014608 0.05% 2154 465 2.90578e+12 2059 2.90586e+12 2.90427e+12 9022505 0.05% 2157 464 2.90564e+12 3321 2.90586e+12 2.90431e+12 9066412 0.05% 2158 465 2.90571e+12 3354 2.90586e+12 2.90431e+12 9075339 0.05% 2159 466 2.90583e+12 3136 2.90586e+12 2.90431e+12 9089729 0.05% 2162 465 2.90567e+12 2768 2.90586e+12 2.90433e+12 9131451 0.05% 2163 466 2.90574e+12 2854 2.90586e+12 2.90433e+12 9142634 0.05% 2166 465 2.90580e+12 2048 2.90586e+12 2.90434e+12 9194450 0.05% Elapsed real time = 140616.28 sec. (tree size = 382.57 MB, solutions = 11) Nodefile size = 256.15 MB (126.96 MB after compression) 2169 466 2.90584e+12 1650 2.90586e+12 2.90434e+12 9204711 0.05% 2172 465 2.90536e+12 3876 2.90586e+12 2.90435e+12 9249380 0.05% 2173 466 2.90541e+12 3417 2.90586e+12 2.90435e+12 9258861 0.05% 2174 467 2.90545e+12 3261 2.90586e+12 2.90435e+12 9269517 0.05% 2175 468 2.90547e+12 3147 2.90586e+12 2.90435e+12 9277158 0.05% 2176 469 2.90551e+12 3193 2.90586e+12 2.90435e+12 9282229 0.05% 2177 470 2.90568e+12 3315 2.90586e+12 2.90435e+12 9297831 0.05% 2178 471 2.90578e+12 2706 2.90586e+12 2.90435e+12 9308259 0.05% 2183 472 2.90575e+12 3640 2.90586e+12 2.90436e+12 9359435 0.05% 2184 473 2.90582e+12 3503 2.90586e+12 2.90436e+12 9370162 0.05% Elapsed real time = 143606.74 sec. (tree size = 389.51 MB, solutions = 11) Nodefile size = 262.08 MB (129.89 MB after compression) 2187 470 cutoff 2.90586e+12 2.90436e+12 9391726 0.05% 2188 471 2.90467e+12 3522 2.90586e+12 2.90436e+12 9426864 0.05% 2189 472 2.90475e+12 3460 2.90586e+12 2.90436e+12 9440986 0.05% 2190 473 2.90481e+12 2702 2.90586e+12 2.90436e+12 9448742 0.05% 2191 474 2.90483e+12 3480 2.90586e+12 2.90436e+12 9462097 0.05% 2192 475 2.90506e+12 2076 2.90586e+12 2.90436e+12 9474863 0.05% 2193 476 2.90507e+12 2162 2.90586e+12 2.90436e+12 9478506 0.05% 2195 478 2.90511e+12 3910 2.90586e+12 2.90436e+12 9485120 0.05% 2196 479 2.90516e+12 3148 2.90586e+12 2.90436e+12 9494701 0.05% 2198 481 2.90524e+12 1908 2.90586e+12 2.90436e+12 9500909 0.05% Elapsed real time = 146273.72 sec. (tree size = 396.36 MB, solutions = 11) Nodefile size = 268.85 MB (133.21 MB after compression) 2205 486 2.90537e+12 2771 2.90586e+12 2.90436e+12 9517516 0.05% 2207 488 2.90545e+12 3159 2.90586e+12 2.90436e+12 9531636 0.05% 2213 494 2.90546e+12 3704 2.90586e+12 2.90436e+12 9537956 0.05% 2216 495 2.90547e+12 2856 2.90586e+12 2.90436e+12 9544189 0.05% 2218 495 2.90553e+12 2671 2.90586e+12 2.90436e+12 9553404 0.05% 2225 496 2.90554e+12 2682 2.90586e+12 2.90436e+12 9562166 0.05% 2230 497 2.90555e+12 2710 2.90586e+12 2.90436e+12 9567874 0.05% 2238 497 2.90556e+12 2736 2.90586e+12 2.90436e+12 9575199 0.05% 2240 497 2.90557e+12 2868 2.90586e+12 2.90436e+12 9581975 0.05% 2244 497 cutoff 2.90586e+12 2.90436e+12 9591291 0.05% Elapsed real time = 147488.01 sec. (tree size = 410.74 MB, solutions = 11) Nodefile size = 283.22 MB (140.17 MB after compression) 2248 499 2.90585e+12 1668 2.90586e+12 2.90436e+12 9606134 0.05% 2251 498 2.90582e+12 3708 2.90586e+12 2.90438e+12 9650935 0.05% 2254 495 cutoff 2.90586e+12 2.90439e+12 9693371 0.05% 2257 494 2.90574e+12 823 2.90586e+12 2.90439e+12 9736493 0.05% 2258 495 2.90581e+12 2799 2.90586e+12 2.90439e+12 9746713 0.05% 2263 494 2.90575e+12 3458 2.90586e+12 2.90440e+12 9787059 0.05% 2266 491 cutoff 2.90586e+12 2.90440e+12 9801571 0.05% 2267 492 2.90541e+12 3484 2.90586e+12 2.90440e+12 9841914 0.05% 2268 493 2.90545e+12 3425 2.90586e+12 2.90440e+12 9851723 0.05% 2269 494 2.90546e+12 3313 2.90586e+12 2.90440e+12 9857706 0.05% Elapsed real time = 150994.80 sec. (tree size = 408.13 MB, solutions = 11) Nodefile size = 284.07 MB (140.59 MB after compression) 2270 495 2.90550e+12 3552 2.90586e+12 2.90440e+12 9865984 0.05% 2271 496 2.90551e+12 3259 2.90586e+12 2.90440e+12 9870367 0.05% 2272 497 2.90555e+12 3568 2.90586e+12 2.90440e+12 9877501 0.05% 2273 498 2.90563e+12 3132 2.90586e+12 2.90440e+12 9887240 0.05% 2275 500 2.90565e+12 3331 2.90586e+12 2.90440e+12 9892622 0.05% 2276 501 2.90577e+12 3704 2.90586e+12 2.90440e+12 9906428 0.05% 2278 503 2.90585e+12 2251 2.90586e+12 2.90440e+12 9920367 0.05% 2282 501 2.90448e+12 4515 2.90586e+12 2.90440e+12 9951792 0.05% 2283 502 2.90456e+12 4472 2.90586e+12 2.90440e+12 9970626 0.05% 2284 503 2.90463e+12 3688 2.90586e+12 2.90440e+12 9985423 0.05% Elapsed real time = 153097.86 sec. (tree size = 415.81 MB, solutions = 11) Nodefile size = 288.31 MB (142.71 MB after compression) 2285 504 2.90472e+12 3817 2.90586e+12 2.90440e+12 9998908 0.05% 2286 503 cutoff 2.90586e+12 2.90440e+12 10014903 0.05% 2287 504 2.90495e+12 3482 2.90586e+12 2.90440e+12 10033037 0.05% 2288 505 2.90497e+12 3942 2.90586e+12 2.90440e+12 10040201 0.05% 2290 505 2.90502e+12 3701 2.90586e+12 2.90440e+12 10058548 0.05% 2291 506 2.90508e+12 3672 2.90586e+12 2.90440e+12 10071398 0.05% 2293 506 2.90522e+12 3590 2.90586e+12 2.90440e+12 10094092 0.05% 2294 507 2.90529e+12 3336 2.90586e+12 2.90440e+12 10109688 0.05% 2295 508 2.90531e+12 3475 2.90586e+12 2.90440e+12 10114479 0.05% 2297 508 2.90534e+12 3738 2.90586e+12 2.90440e+12 10121508 0.05% Elapsed real time = 155280.92 sec. (tree size = 419.99 MB, solutions = 11) Nodefile size = 292.55 MB (144.81 MB after compression) 2298 509 2.90537e+12 3374 2.90586e+12 2.90440e+12 10128044 0.05% 2300 511 2.90538e+12 3472 2.90586e+12 2.90440e+12 10132356 0.05% 2301 512 2.90539e+12 4036 2.90586e+12 2.90440e+12 10139385 0.05% 2303 512 2.90545e+12 3337 2.90586e+12 2.90440e+12 10155086 0.05% 2304 513 2.90546e+12 3483 2.90586e+12 2.90440e+12 10159956 0.05% 2308 515 2.90547e+12 3627 2.90586e+12 2.90440e+12 10169350 0.05% 2312 515 cutoff 2.90586e+12 2.90440e+12 10179270 0.05% 2313 516 2.90549e+12 3303 2.90586e+12 2.90440e+12 10187853 0.05% 2320 521 2.90549e+12 3357 2.90586e+12 2.90440e+12 10194633 0.05% 2324 523 2.90549e+12 3410 2.90586e+12 2.90440e+12 10199719 0.05% Elapsed real time = 156440.38 sec. (tree size = 431.82 MB, solutions = 11) Nodefile size = 304.39 MB (150.61 MB after compression) 2328 523 2.90550e+12 3541 2.90586e+12 2.90440e+12 10206903 0.05% 2333 524 2.90550e+12 3809 2.90586e+12 2.90440e+12 10211901 0.05% 2336 527 2.90552e+12 4095 2.90586e+12 2.90440e+12 10216783 0.05% 2337 528 2.90580e+12 4443 2.90586e+12 2.90440e+12 10249518 0.05% 2340 529 2.90554e+12 3840 2.90586e+12 2.90440e+12 10258880 0.05% 2344 533 2.90554e+12 3472 2.90586e+12 2.90440e+12 10263748 0.05% 2349 534 cutoff 2.90586e+12 2.90440e+12 10272017 0.05% 2354 535 2.90559e+12 3313 2.90586e+12 2.90440e+12 10283969 0.05% 2357 538 2.90580e+12 3201 2.90586e+12 2.90440e+12 10304880 0.05% 2363 538 cutoff 2.90586e+12 2.90440e+12 10315084 0.05% Elapsed real time = 157962.05 sec. (tree size = 446.30 MB, solutions = 11) Nodefile size = 319.62 MB (158.31 MB after compression) 2364 539 2.90567e+12 1042 2.90586e+12 2.90440e+12 10350201 0.05% 2366 541 2.90575e+12 2982 2.90586e+12 2.90440e+12 10358485 0.05% 2369 544 2.90580e+12 2285 2.90586e+12 2.90440e+12 10370177 0.05% 2377 548 2.90541e+12 3621 2.90586e+12 2.90442e+12 10419458 0.05% 2378 549 2.90556e+12 3730 2.90586e+12 2.90442e+12 10436902 0.05% 2379 550 2.90560e+12 3536 2.90586e+12 2.90442e+12 10444842 0.05% 2380 551 2.90566e+12 3790 2.90586e+12 2.90442e+12 10459730 0.05% 2381 552 2.90568e+12 3077 2.90586e+12 2.90442e+12 10464834 0.05% 2382 553 2.90572e+12 3328 2.90586e+12 2.90442e+12 10470543 0.05% 2383 552 cutoff 2.90586e+12 2.90442e+12 10478895 0.05% Elapsed real time = 160235.59 sec. (tree size = 458.25 MB, solutions = 11) Nodefile size = 330.63 MB (163.82 MB after compression) 2385 550 cutoff 2.90586e+12 2.90442e+12 10514810 0.05% 2386 551 2.90450e+12 4711 2.90586e+12 2.90443e+12 10533981 0.05% 2387 552 2.90465e+12 4826 2.90586e+12 2.90443e+12 10556743 0.05% 2388 553 2.90473e+12 4175 2.90586e+12 2.90443e+12 10570189 0.05% 2389 554 2.90478e+12 4933 2.90586e+12 2.90443e+12 10581328 0.05% 2390 555 2.90487e+12 3971 2.90586e+12 2.90443e+12 10599839 0.05% 2391 556 2.90505e+12 4611 2.90586e+12 2.90443e+12 10619945 0.05% 2392 557 2.90507e+12 3935 2.90586e+12 2.90443e+12 10627212 0.05% 2393 558 2.90513e+12 4433 2.90586e+12 2.90443e+12 10637815 0.05% 2394 559 2.90520e+12 4563 2.90586e+12 2.90443e+12 10657111 0.05% Elapsed real time = 163719.80 sec. (tree size = 463.24 MB, solutions = 11) Nodefile size = 335.70 MB (166.39 MB after compression) 2395 560 2.90531e+12 4461 2.90586e+12 2.90443e+12 10675109 0.05% 2396 561 2.90537e+12 4499 2.90586e+12 2.90443e+12 10691245 0.05% 2399 564 2.90539e+12 4457 2.90586e+12 2.90443e+12 10701308 0.05% 2400 565 2.90548e+12 4287 2.90586e+12 2.90443e+12 10717115 0.05% 2401 566 2.90555e+12 4253 2.90586e+12 2.90443e+12 10733083 0.05% 2402 565 cutoff 2.90586e+12 2.90443e+12 10753651 0.05% 2403 566 2.90560e+12 4121 2.90586e+12 2.90443e+12 10769215 0.05% 2404 567 2.90562e+12 4443 2.90586e+12 2.90443e+12 10776748 0.05% 2405 568 2.90564e+12 4513 2.90586e+12 2.90443e+12 10787215 0.05% 2407 570 2.90569e+12 4766 2.90586e+12 2.90443e+12 10811489 0.05% Elapsed real time = 166343.81 sec. (tree size = 472.53 MB, solutions = 11) Nodefile size = 344.99 MB (171.27 MB after compression) 2408 571 2.90570e+12 5202 2.90586e+12 2.90443e+12 10818755 0.05% 2410 573 2.90573e+12 4825 2.90586e+12 2.90443e+12 10831419 0.05% 2411 574 2.90574e+12 4878 2.90586e+12 2.90443e+12 10838865 0.05% 2412 575 2.90574e+12 4518 2.90586e+12 2.90443e+12 10844901 0.05% 2413 576 2.90575e+12 4787 2.90586e+12 2.90443e+12 10850013 0.05% 2414 577 2.90576e+12 4647 2.90586e+12 2.90443e+12 10856753 0.05% 2416 579 2.90579e+12 4329 2.90586e+12 2.90443e+12 10866621 0.05% 2419 582 2.90579e+12 4506 2.90586e+12 2.90443e+12 10872862 0.05% 2422 585 2.90580e+12 4618 2.90586e+12 2.90443e+12 10880232 0.05% 2425 582 cutoff 2.90586e+12 2.90443e+12 10933001 0.05% Elapsed real time = 168510.83 sec. (tree size = 483.68 MB, solutions = 11) Nodefile size = 357.67 MB (178.40 MB after compression) 2426 583 2.90454e+12 4341 2.90586e+12 2.90444e+12 10954296 0.05% 2427 584 2.90464e+12 4074 2.90586e+12 2.90444e+12 10969977 0.05% 2428 585 2.90466e+12 3665 2.90586e+12 2.90444e+12 10982392 0.05% 2429 586 2.90469e+12 3471 2.90586e+12 2.90444e+12 10989980 0.05% 2430 587 2.90477e+12 3717 2.90586e+12 2.90444e+12 11004340 0.05% 2431 588 2.90503e+12 3868 2.90586e+12 2.90444e+12 11022568 0.05% 2432 589 2.90506e+12 4042 2.90586e+12 2.90444e+12 11034813 0.05% 2433 590 2.90521e+12 3650 2.90586e+12 2.90444e+12 11049168 0.05% 2434 591 2.90523e+12 3781 2.90586e+12 2.90444e+12 11053352 0.05% 2435 592 2.90527e+12 3509 2.90586e+12 2.90444e+12 11062351 0.05% Elapsed real time = 171321.49 sec. (tree size = 491.05 MB, solutions = 11) Nodefile size = 363.58 MB (181.33 MB after compression) 2436 593 2.90528e+12 3516 2.90586e+12 2.90444e+12 11068916 0.05% 2437 594 2.90533e+12 3610 2.90586e+12 2.90444e+12 11079046 0.05% 2439 596 2.90534e+12 3988 2.90586e+12 2.90444e+12 11085198 0.05% 2441 598 2.90535e+12 4177 2.90586e+12 2.90444e+12 11092928 0.05% 2442 599 2.90538e+12 4165 2.90586e+12 2.90444e+12 11102921 0.05% 2443 600 2.90539e+12 3982 2.90586e+12 2.90444e+12 11107489 0.05% 2444 601 2.90540e+12 3742 2.90586e+12 2.90444e+12 11111715 0.05% 2446 603 2.90540e+12 4365 2.90586e+12 2.90444e+12 11115165 0.05% 2447 604 2.90543e+12 4376 2.90586e+12 2.90444e+12 11119302 0.05% 2448 605 2.90545e+12 3927 2.90586e+12 2.90444e+12 11125166 0.05% Elapsed real time = 172646.91 sec. (tree size = 502.03 MB, solutions = 11) Nodefile size = 374.56 MB (186.61 MB after compression) 2450 607 2.90545e+12 4121 2.90586e+12 2.90444e+12 11129459 0.05% 2453 610 2.90546e+12 3839 2.90586e+12 2.90444e+12 11136119 0.05% 2455 610 2.90550e+12 4386 2.90586e+12 2.90444e+12 11155500 0.05% 2459 614 2.90551e+12 4388 2.90586e+12 2.90444e+12 11158944 0.05% 2462 617 2.90551e+12 4084 2.90586e+12 2.90444e+12 11162498 0.05% 2466 621 2.90551e+12 4052 2.90586e+12 2.90444e+12 11166158 0.05% 2473 628 2.90552e+12 3733 2.90586e+12 2.90444e+12 11175972 0.05% 2477 632 2.90553e+12 3649 2.90586e+12 2.90444e+12 11180160 0.05% 2482 635 2.90556e+12 3607 2.90586e+12 2.90444e+12 11193047 0.05% 2484 635 2.90559e+12 3176 2.90586e+12 2.90444e+12 11201744 0.05% Elapsed real time = 174159.48 sec. (tree size = 527.38 MB, solutions = 11) Nodefile size = 399.91 MB (199.27 MB after compression) 2485 636 2.90576e+12 3470 2.90586e+12 2.90444e+12 11225303 0.05% * 2489 583 integral 0 2.90578e+12 2.90444e+12 11230318 0.05% 2493 581 cutoff 2.90578e+12 2.90444e+12 11249070 0.05% 2494 582 2.90573e+12 3499 2.90578e+12 2.90445e+12 11285662 0.05% 2498 578 cutoff 2.90578e+12 2.90447e+12 11308977 0.05% 2499 577 cutoff 2.90578e+12 2.90447e+12 11331593 0.05% 2500 576 cutoff 2.90578e+12 2.90447e+12 11344348 0.05% 2502 574 cutoff 2.90578e+12 2.90448e+12 11381480 0.04% 2503 573 cutoff 2.90578e+12 2.90449e+12 11401471 0.04% 2505 571 cutoff 2.90578e+12 2.90450e+12 11427217 0.04% Elapsed real time = 176472.03 sec. (tree size = 474.90 MB, solutions = 12) Nodefile size = 356.69 MB (177.22 MB after compression) 2507 569 cutoff 2.90578e+12 2.90451e+12 11464687 0.04% 2509 569 2.90483e+12 4074 2.90578e+12 2.90453e+12 11502981 0.04% 2510 570 2.90489e+12 4288 2.90578e+12 2.90453e+12 11523737 0.04% 2511 571 2.90497e+12 4090 2.90578e+12 2.90453e+12 11539393 0.04% 2512 572 2.90563e+12 2514 2.90578e+12 2.90453e+12 11563210 0.04% 2518 572 cutoff 2.90578e+12 2.90453e+12 11587881 0.04% 2519 573 2.90470e+12 3503 2.90578e+12 2.90455e+12 11627132 0.04% 2520 574 2.90479e+12 3980 2.90578e+12 2.90455e+12 11645321 0.04% 2521 575 2.90499e+12 3445 2.90578e+12 2.90455e+12 11664709 0.04% 2522 576 2.90505e+12 996 2.90578e+12 2.90455e+12 11670647 0.04% Elapsed real time = 180407.22 sec. (tree size = 478.59 MB, solutions = 12) Nodefile size = 356.69 MB (177.22 MB after compression) 2527 581 2.90507e+12 1024 2.90578e+12 2.90455e+12 11675063 0.04% 2530 582 2.90510e+12 4206 2.90578e+12 2.90455e+12 11691463 0.04% 2533 585 2.90511e+12 3822 2.90578e+12 2.90455e+12 11695072 0.04% 2537 589 2.90511e+12 3459 2.90578e+12 2.90455e+12 11700626 0.04% 2540 592 2.90511e+12 3706 2.90578e+12 2.90455e+12 11704961 0.04% 2543 595 2.90520e+12 3095 2.90578e+12 2.90455e+12 11721610 0.04% 2545 597 2.90522e+12 3972 2.90578e+12 2.90455e+12 11730080 0.04% 2549 601 2.90525e+12 3340 2.90578e+12 2.90455e+12 11742681 0.04% 2551 601 2.90526e+12 4203 2.90578e+12 2.90455e+12 11749496 0.04% 2555 603 2.90526e+12 3894 2.90578e+12 2.90455e+12 11754083 0.04% Elapsed real time = 181834.94 sec. (tree size = 501.40 MB, solutions = 12) Nodefile size = 373.61 MB (185.57 MB after compression) 2557 605 2.90532e+12 3595 2.90578e+12 2.90455e+12 11763325 0.04% 2560 608 2.90533e+12 3351 2.90578e+12 2.90455e+12 11768275 0.04% 2566 608 2.90533e+12 3686 2.90578e+12 2.90455e+12 11779923 0.04% 2569 609 2.90536e+12 3991 2.90578e+12 2.90455e+12 11788788 0.04% 2573 609 2.90536e+12 3652 2.90578e+12 2.90455e+12 11799538 0.04% 2574 608 cutoff 2.90578e+12 2.90455e+12 11817518 0.04% 2575 609 2.90554e+12 3640 2.90578e+12 2.90455e+12 11834437 0.04% 2581 609 2.90556e+12 3676 2.90578e+12 2.90455e+12 11846911 0.04% * 2589+ 543 2.90572e+12 2.90455e+12 11855519 0.04% 2589 545 2.90557e+12 3454 2.90572e+12 2.90455e+12 11855519 0.04% 2592 546 2.90566e+12 3605 2.90572e+12 2.90455e+12 11872341 0.04% Elapsed real time = 183061.27 sec. (tree size = 453.10 MB, solutions = 13) Nodefile size = 325.30 MB (160.68 MB after compression) 2599 545 cutoff 2.90572e+12 2.90455e+12 11890215 0.04% 2600 544 cutoff 2.90572e+12 2.90455e+12 11906372 0.04% 2602 542 cutoff 2.90572e+12 2.90456e+12 11935976 0.04% 2604 542 2.90570e+12 2541 2.90572e+12 2.90458e+12 11984612 0.04% 2608 538 cutoff 2.90572e+12 2.90458e+12 12008387 0.04% 2610 536 cutoff 2.90572e+12 2.90459e+12 12027658 0.04% 2611 537 2.90565e+12 3172 2.90572e+12 2.90460e+12 12075261 0.04% 2614 536 2.90570e+12 2441 2.90572e+12 2.90460e+12 12112879 0.04% 2618 534 2.90481e+12 4208 2.90572e+12 2.90461e+12 12152129 0.04% 2619 535 2.90486e+12 2818 2.90572e+12 2.90461e+12 12164082 0.04% Elapsed real time = 186606.41 sec. (tree size = 444.69 MB, solutions = 13) Nodefile size = 327.00 MB (161.57 MB after compression) 2620 536 2.90510e+12 3424 2.90572e+12 2.90461e+12 12183888 0.04% 2621 537 2.90512e+12 3124 2.90572e+12 2.90461e+12 12190710 0.04% 2622 538 2.90513e+12 3881 2.90572e+12 2.90461e+12 12202708 0.04% 2624 540 2.90523e+12 1402 2.90572e+12 2.90461e+12 12210900 0.04% 2628 544 2.90530e+12 974 2.90572e+12 2.90461e+12 12218102 0.04% 2632 546 2.90536e+12 2126 2.90572e+12 2.90461e+12 12225878 0.04% 2634 548 2.90545e+12 1585 2.90572e+12 2.90461e+12 12243325 0.04% 2636 550 2.90547e+12 3184 2.90572e+12 2.90461e+12 12253574 0.04% 2642 552 2.90548e+12 2437 2.90572e+12 2.90461e+12 12265174 0.04% 2644 552 2.90559e+12 869 2.90572e+12 2.90461e+12 12273072 0.04% Elapsed real time = 188280.81 sec. (tree size = 459.06 MB, solutions = 13) Nodefile size = 331.23 MB (163.85 MB after compression) 2648 550 cutoff 2.90572e+12 2.90462e+12 12296503 0.04% 2650 548 cutoff 2.90572e+12 2.90462e+12 12328638 0.04% 2653 545 cutoff 2.90572e+12 2.90463e+12 12346376 0.04% 2656 544 2.90466e+12 4407 2.90572e+12 2.90464e+12 12368339 0.04% 2657 545 2.90477e+12 4585 2.90572e+12 2.90464e+12 12387017 0.04% 2658 546 2.90485e+12 4169 2.90572e+12 2.90464e+12 12400883 0.04% 2659 547 2.90491e+12 4319 2.90572e+12 2.90464e+12 12415228 0.04% 2660 548 2.90508e+12 3736 2.90572e+12 2.90464e+12 12432268 0.04% 2661 549 2.90513e+12 4016 2.90572e+12 2.90464e+12 12442515 0.04% 2662 550 2.90532e+12 3942 2.90572e+12 2.90464e+12 12459321 0.04% Elapsed real time = 190623.63 sec. (tree size = 457.88 MB, solutions = 13) Nodefile size = 332.08 MB (164.31 MB after compression) 2664 552 2.90535e+12 3145 2.90572e+12 2.90464e+12 12464035 0.04% 2666 554 2.90536e+12 3857 2.90572e+12 2.90464e+12 12469729 0.04% 2667 555 2.90538e+12 3941 2.90572e+12 2.90464e+12 12475347 0.04% 2668 556 2.90540e+12 4614 2.90572e+12 2.90464e+12 12482192 0.04% 2670 558 2.90543e+12 4414 2.90572e+12 2.90464e+12 12491897 0.04% 2672 560 2.90543e+12 4506 2.90572e+12 2.90464e+12 12495508 0.04% 2674 562 2.90546e+12 4471 2.90572e+12 2.90464e+12 12502490 0.04% 2675 563 2.90547e+12 4315 2.90572e+12 2.90464e+12 12509365 0.04% 2676 564 2.90552e+12 4484 2.90572e+12 2.90464e+12 12520012 0.04% 2677 565 2.90562e+12 4145 2.90572e+12 2.90464e+12 12534209 0.04% Elapsed real time = 191846.09 sec. (tree size = 470.56 MB, solutions = 13) Nodefile size = 343.06 MB (169.84 MB after compression) 2681 569 2.90564e+12 3169 2.90572e+12 2.90464e+12 12543998 0.04% 2690 572 cutoff 2.90572e+12 2.90465e+12 12568870 0.04% 2693 569 cutoff 2.90572e+12 2.90465e+12 12596201 0.04% 2694 570 2.90566e+12 3439 2.90572e+12 2.90465e+12 12642672 0.04% 2698 566 cutoff 2.90572e+12 2.90465e+12 12661500 0.04% 2700 566 2.90495e+12 3502 2.90572e+12 2.90465e+12 12695975 0.04% 2701 567 2.90502e+12 3592 2.90572e+12 2.90465e+12 12709908 0.04% 2702 568 2.90508e+12 3488 2.90572e+12 2.90465e+12 12721688 0.04% 2703 569 2.90526e+12 1652 2.90572e+12 2.90465e+12 12729620 0.04% 2704 570 2.90537e+12 3147 2.90572e+12 2.90465e+12 12740303 0.04% Elapsed real time = 194126.46 sec. (tree size = 474.50 MB, solutions = 13) Nodefile size = 351.54 MB (174.24 MB after compression) 2706 570 2.90538e+12 3492 2.90572e+12 2.90465e+12 12748394 0.04% 2707 571 2.90552e+12 3294 2.90572e+12 2.90465e+12 12761000 0.04% 2708 572 2.90548e+12 3093 2.90572e+12 2.90465e+12 12769011 0.04% 2710 574 2.90552e+12 3195 2.90572e+12 2.90465e+12 12776421 0.04% 2714 574 cutoff 2.90572e+12 2.90465e+12 12782648 0.04% 2716 576 2.90555e+12 3366 2.90572e+12 2.90465e+12 12789123 0.04% 2724 578 2.90559e+12 2418 2.90572e+12 2.90465e+12 12799466 0.04% * 2725 532 integral 0 2.90567e+12 2.90465e+12 12803618 0.03% 2729 528 cutoff 2.90567e+12 2.90466e+12 12826345 0.03% 2732 527 2.90530e+12 3033 2.90567e+12 2.90466e+12 12868149 0.03% Elapsed real time = 195166.12 sec. (tree size = 439.31 MB, solutions = 14) Nodefile size = 316.86 MB (156.48 MB after compression) 2734 529 2.90560e+12 2626 2.90567e+12 2.90466e+12 12887861 0.03% 2737 526 cutoff 2.90567e+12 2.90466e+12 12900248 0.03% 2740 523 cutoff 2.90567e+12 2.90466e+12 12922160 0.03% 2741 522 cutoff 2.90567e+12 2.90466e+12 12939287 0.03% 2743 522 2.90483e+12 4050 2.90567e+12 2.90466e+12 12977677 0.03% 2744 523 2.90492e+12 4569 2.90567e+12 2.90466e+12 13005113 0.03% 2745 522 cutoff 2.90567e+12 2.90466e+12 13025327 0.03% 2746 523 2.90514e+12 4547 2.90567e+12 2.90466e+12 13051116 0.03% 2747 524 2.90522e+12 3745 2.90567e+12 2.90466e+12 13058292 0.03% 2748 525 2.90533e+12 3653 2.90567e+12 2.90466e+12 13067152 0.03% Elapsed real time = 197404.86 sec. (tree size = 438.02 MB, solutions = 14) Nodefile size = 316.86 MB (156.48 MB after compression) 2750 527 2.90541e+12 4040 2.90567e+12 2.90466e+12 13083846 0.03% 2751 528 2.90548e+12 4419 2.90567e+12 2.90466e+12 13095933 0.03% 2753 528 2.90562e+12 4031 2.90567e+12 2.90466e+12 13117152 0.03% 2755 530 2.90564e+12 3413 2.90567e+12 2.90466e+12 13128355 0.03% 2760 529 cutoff 2.90567e+12 2.90466e+12 13147933 0.03% 2762 527 cutoff 2.90567e+12 2.90466e+12 13164734 0.03% 2763 528 2.90499e+12 4897 2.90567e+12 2.90466e+12 13194206 0.03% 2764 529 2.90506e+12 4427 2.90567e+12 2.90466e+12 13213031 0.03% 2765 530 2.90528e+12 4616 2.90567e+12 2.90466e+12 13234928 0.03% 2766 531 2.90542e+12 5036 2.90567e+12 2.90466e+12 13252800 0.03% Elapsed real time = 199539.77 sec. (tree size = 443.33 MB, solutions = 14) Nodefile size = 316.86 MB (156.48 MB after compression) 2767 532 2.90548e+12 4608 2.90567e+12 2.90466e+12 13264332 0.03% 2768 533 2.90553e+12 4633 2.90567e+12 2.90466e+12 13276911 0.03% 2769 534 2.90564e+12 3906 2.90567e+12 2.90466e+12 13292750 0.03% 2774 535 2.90558e+12 3200 2.90567e+12 2.90466e+12 13335505 0.03% 2777 532 cutoff 2.90567e+12 2.90466e+12 13350629 0.03% 2779 530 cutoff 2.90567e+12 2.90466e+12 13369302 0.03% 2780 531 2.90499e+12 5370 2.90567e+12 2.90467e+12 13399746 0.03% 2781 532 2.90518e+12 4109 2.90567e+12 2.90467e+12 13420007 0.03% 2782 533 2.90529e+12 4206 2.90567e+12 2.90467e+12 13434844 0.03% 2783 534 2.90535e+12 4289 2.90567e+12 2.90467e+12 13444681 0.03% Elapsed real time = 201690.44 sec. (tree size = 446.15 MB, solutions = 14) Nodefile size = 320.26 MB (158.28 MB after compression) 2784 535 2.90544e+12 2912 2.90567e+12 2.90467e+12 13463734 0.03% 2787 538 2.90545e+12 4833 2.90567e+12 2.90467e+12 13470706 0.03% 2789 538 2.90549e+12 4476 2.90567e+12 2.90467e+12 13484211 0.03% 2793 542 2.90549e+12 4646 2.90567e+12 2.90467e+12 13488528 0.03% 2797 546 2.90550e+12 4232 2.90567e+12 2.90467e+12 13495808 0.03% 2799 548 2.90553e+12 4423 2.90567e+12 2.90467e+12 13505294 0.03% 2803 552 2.90554e+12 2828 2.90567e+12 2.90467e+12 13511995 0.03% 2809 558 2.90560e+12 4331 2.90567e+12 2.90467e+12 13526938 0.03% 2814 563 2.90560e+12 4381 2.90567e+12 2.90467e+12 13533533 0.03% 2821 570 2.90561e+12 4141 2.90567e+12 2.90467e+12 13540202 0.03% Elapsed real time = 202804.19 sec. (tree size = 476.61 MB, solutions = 14) Nodefile size = 349.04 MB (173.25 MB after compression) 2825 566 cutoff 2.90567e+12 2.90467e+12 13561467 0.03% 2827 564 cutoff 2.90567e+12 2.90467e+12 13577685 0.03% 2828 563 cutoff 2.90567e+12 2.90467e+12 13600299 0.03% 2829 564 2.90486e+12 4062 2.90567e+12 2.90467e+12 13642967 0.03% 2830 565 2.90504e+12 3894 2.90567e+12 2.90467e+12 13668807 0.03% 2832 567 2.90516e+12 3642 2.90567e+12 2.90467e+12 13680377 0.03% 2835 570 2.90528e+12 3789 2.90567e+12 2.90467e+12 13688444 0.03% 2836 571 2.90550e+12 3734 2.90567e+12 2.90467e+12 13707288 0.03% 2837 572 2.90561e+12 3663 2.90567e+12 2.90467e+12 13720808 0.03% 2838 571 cutoff 2.90567e+12 2.90467e+12 13736214 0.03% Elapsed real time = 204949.45 sec. (tree size = 478.62 MB, solutions = 14) Nodefile size = 350.73 MB (174.14 MB after compression) 2840 569 cutoff 2.90567e+12 2.90467e+12 13763137 0.03% 2841 568 cutoff 2.90567e+12 2.90467e+12 13775166 0.03% 2842 569 2.90561e+12 3508 2.90567e+12 2.90467e+12 13806710 0.03% 2845 568 2.90544e+12 4415 2.90567e+12 2.90467e+12 13849277 0.03% 2846 569 2.90554e+12 4395 2.90567e+12 2.90467e+12 13864575 0.03% 2847 570 2.90565e+12 4117 2.90567e+12 2.90467e+12 13882063 0.03% 2852 565 cutoff 2.90567e+12 2.90468e+12 13920520 0.03% 2855 562 cutoff 2.90567e+12 2.90469e+12 13941888 0.03% 2856 563 2.90470e+12 4565 2.90567e+12 2.90470e+12 13945494 0.03% 2857 564 2.90479e+12 4042 2.90567e+12 2.90470e+12 13960213 0.03% Elapsed real time = 207201.92 sec. (tree size = 472.44 MB, solutions = 14) Nodefile size = 350.73 MB (174.14 MB after compression) 2858 565 2.90501e+12 4418 2.90567e+12 2.90470e+12 13979636 0.03% 2859 566 2.90513e+12 3995 2.90567e+12 2.90470e+12 13991834 0.03% 2860 567 2.90516e+12 4271 2.90567e+12 2.90470e+12 13996139 0.03% 2861 568 2.90518e+12 4135 2.90567e+12 2.90470e+12 14003568 0.03% 2862 569 2.90525e+12 3504 2.90567e+12 2.90470e+12 14016594 0.03% 2864 569 2.90538e+12 4091 2.90567e+12 2.90470e+12 14034159 0.03% 2866 571 2.90539e+12 4118 2.90567e+12 2.90470e+12 14040416 0.03% 2868 573 2.90540e+12 4157 2.90567e+12 2.90470e+12 14049068 0.03% 2870 575 2.90544e+12 3531 2.90567e+12 2.90470e+12 14061029 0.03% 2875 576 2.90544e+12 3755 2.90567e+12 2.90470e+12 14066467 0.03% Elapsed real time = 208484.06 sec. (tree size = 482.58 MB, solutions = 14) Nodefile size = 354.96 MB (176.34 MB after compression) 2882 575 cutoff 2.90567e+12 2.90470e+12 14076044 0.03% 2896 577 2.90545e+12 3890 2.90567e+12 2.90470e+12 14086656 0.03% 2897 576 cutoff 2.90567e+12 2.90470e+12 14096673 0.03% 2904 577 2.90545e+12 3982 2.90567e+12 2.90470e+12 14102173 0.03% 2909 576 cutoff 2.90567e+12 2.90470e+12 14112438 0.03% 2912 579 2.90546e+12 3953 2.90567e+12 2.90470e+12 14116977 0.03% 2922 579 2.90546e+12 4571 2.90567e+12 2.90470e+12 14125999 0.03% 2927 580 2.90546e+12 4340 2.90567e+12 2.90470e+12 14134176 0.03% 2938 581 cutoff 2.90567e+12 2.90470e+12 14147809 0.03% 2944 583 2.90546e+12 4368 2.90567e+12 2.90470e+12 14153439 0.03% Elapsed real time = 209115.21 sec. (tree size = 488.50 MB, solutions = 14) Nodefile size = 360.88 MB (179.36 MB after compression) 2954 583 2.90546e+12 4154 2.90567e+12 2.90470e+12 14162603 0.03% 2962 583 cutoff 2.90567e+12 2.90470e+12 14171644 0.03% 2969 584 2.90547e+12 4400 2.90567e+12 2.90470e+12 14178920 0.03% 2975 584 2.90547e+12 4712 2.90567e+12 2.90470e+12 14188720 0.03% 2983 586 2.90547e+12 4576 2.90567e+12 2.90470e+12 14199184 0.03% 2988 587 2.90547e+12 4181 2.90567e+12 2.90470e+12 14207821 0.03% 2994 587 cutoff 2.90567e+12 2.90470e+12 14216035 0.03% 3001 588 2.90548e+12 4217 2.90567e+12 2.90470e+12 14223295 0.03% 3006 589 2.90548e+12 4430 2.90567e+12 2.90470e+12 14229602 0.03% 3017 590 2.90556e+12 3834 2.90567e+12 2.90470e+12 14254959 0.03% Elapsed real time = 209909.00 sec. (tree size = 494.42 MB, solutions = 14) Nodefile size = 366.80 MB (182.40 MB after compression) 3022 589 cutoff 2.90567e+12 2.90470e+12 14280874 0.03% 3024 589 2.90561e+12 871 2.90567e+12 2.90470e+12 14301842 0.03% 3027 586 cutoff 2.90567e+12 2.90470e+12 14323017 0.03% 3029 584 cutoff 2.90567e+12 2.90470e+12 14338997 0.03% 3031 582 cutoff 2.90567e+12 2.90471e+12 14365694 0.03% 3032 583 2.90546e+12 4064 2.90567e+12 2.90471e+12 14392729 0.03% 3033 584 2.90558e+12 3227 2.90567e+12 2.90471e+12 14407272 0.03% 3036 581 cutoff 2.90567e+12 2.90471e+12 14422838 0.03% 3038 579 cutoff 2.90567e+12 2.90471e+12 14441048 0.03% 3039 580 2.90481e+12 4388 2.90567e+12 2.90471e+12 14460521 0.03% Elapsed real time = 211550.86 sec. (tree size = 486.64 MB, solutions = 14) Nodefile size = 368.49 MB (183.27 MB after compression) 3040 581 2.90492e+12 4687 2.90567e+12 2.90471e+12 14477000 0.03% 3041 582 2.90501e+12 3779 2.90567e+12 2.90471e+12 14491046 0.03% 3042 583 2.90520e+12 3872 2.90567e+12 2.90471e+12 14512105 0.03% 3043 584 2.90527e+12 4162 2.90567e+12 2.90471e+12 14524282 0.03% 3044 585 2.90542e+12 4108 2.90567e+12 2.90471e+12 14541453 0.03% 3045 586 2.90546e+12 3624 2.90567e+12 2.90471e+12 14549407 0.03% 3047 588 2.90556e+12 3902 2.90567e+12 2.90471e+12 14566590 0.03% 3048 589 2.90563e+12 3997 2.90567e+12 2.90471e+12 14578072 0.03% 3051 588 2.90473e+12 3521 2.90567e+12 2.90472e+12 14591648 0.03% 3052 589 2.90484e+12 4625 2.90567e+12 2.90472e+12 14609354 0.03% Elapsed real time = 213589.97 sec. (tree size = 494.29 MB, solutions = 14) Nodefile size = 368.49 MB (183.27 MB after compression) 3053 590 2.90493e+12 4786 2.90567e+12 2.90472e+12 14624460 0.03% 3054 591 2.90500e+12 4385 2.90567e+12 2.90472e+12 14642079 0.03% 3055 592 2.90517e+12 4308 2.90567e+12 2.90472e+12 14660289 0.03% 3056 593 2.90524e+12 3900 2.90567e+12 2.90472e+12 14670567 0.03% 3057 594 2.90538e+12 4313 2.90567e+12 2.90472e+12 14684690 0.03% 3058 595 2.90543e+12 4643 2.90567e+12 2.90472e+12 14695372 0.03% 3059 596 2.90563e+12 4525 2.90567e+12 2.90472e+12 14711255 0.03% 3062 593 cutoff 2.90567e+12 2.90472e+12 14732362 0.03% 3063 594 2.90490e+12 3409 2.90567e+12 2.90472e+12 14764372 0.03% 3064 595 2.90510e+12 3671 2.90567e+12 2.90472e+12 14786858 0.03% Elapsed real time = 215943.79 sec. (tree size = 498.60 MB, solutions = 14) Nodefile size = 372.72 MB (185.43 MB after compression) 3065 596 2.90557e+12 1997 2.90567e+12 2.90472e+12 14807914 0.03% 3069 594 cutoff 2.90567e+12 2.90473e+12 14832089 0.03% 3071 592 cutoff 2.90567e+12 2.90474e+12 14854318 0.03% 3072 591 cutoff 2.90567e+12 2.90475e+12 14892628 0.03% 3073 590 cutoff 2.90567e+12 2.90476e+12 14909913 0.03% 3075 588 cutoff 2.90567e+12 2.90476e+12 14923712 0.03% 3076 589 2.90488e+12 5179 2.90567e+12 2.90476e+12 14945029 0.03% 3077 590 2.90497e+12 4065 2.90567e+12 2.90476e+12 14962106 0.03% 3078 591 2.90504e+12 3725 2.90567e+12 2.90476e+12 14977016 0.03% 3079 592 2.90511e+12 3889 2.90567e+12 2.90476e+12 14988021 0.03% Elapsed real time = 218001.24 sec. (tree size = 497.25 MB, solutions = 14) Nodefile size = 373.57 MB (185.86 MB after compression) 3080 593 2.90529e+12 3602 2.90567e+12 2.90476e+12 15005852 0.03% 3081 594 2.90535e+12 3378 2.90567e+12 2.90476e+12 15014963 0.03% 3082 595 2.90548e+12 3141 2.90567e+12 2.90476e+12 15027899 0.03% 3084 593 cutoff 2.90567e+12 2.90476e+12 15045245 0.03% 3086 593 2.90496e+12 5686 2.90567e+12 2.90477e+12 15074602 0.03% 3087 594 2.90515e+12 3620 2.90567e+12 2.90477e+12 15096015 0.03% 3088 595 2.90522e+12 4323 2.90567e+12 2.90477e+12 15110861 0.03% 3090 595 2.90538e+12 4037 2.90567e+12 2.90477e+12 15139151 0.03% 3091 596 2.90540e+12 3904 2.90567e+12 2.90477e+12 15144888 0.03% 3092 597 2.90550e+12 4183 2.90567e+12 2.90477e+12 15162943 0.03% Elapsed real time = 220034.10 sec. (tree size = 501.57 MB, solutions = 14) Nodefile size = 374.42 MB (186.29 MB after compression) 3093 598 2.90555e+12 4036 2.90567e+12 2.90477e+12 15178446 0.03% 3095 598 2.90558e+12 4381 2.90567e+12 2.90477e+12 15190684 0.03% 3099 598 cutoff 2.90567e+12 2.90477e+12 15198887 0.03% 3103 596 cutoff 2.90567e+12 2.90477e+12 15213799 0.03% 3104 597 2.90560e+12 1757 2.90567e+12 2.90477e+12 15247146 0.03% 3105 598 2.90563e+12 3657 2.90567e+12 2.90477e+12 15257034 0.03% 3108 595 cutoff 2.90567e+12 2.90478e+12 15267750 0.03% 3110 595 2.90487e+12 4215 2.90567e+12 2.90478e+12 15296546 0.03% 3111 596 2.90509e+12 4106 2.90567e+12 2.90478e+12 15322079 0.03% 3112 597 2.90518e+12 4095 2.90567e+12 2.90478e+12 15339978 0.03% Elapsed real time = 221947.38 sec. (tree size = 501.75 MB, solutions = 14) Nodefile size = 375.27 MB (186.74 MB after compression) 3113 598 2.90523e+12 4411 2.90567e+12 2.90478e+12 15356561 0.03% 3115 598 2.90527e+12 3915 2.90567e+12 2.90478e+12 15373494 0.03% 3117 596 cutoff 2.90567e+12 2.90478e+12 15388093 0.03% 3118 597 2.90542e+12 4238 2.90567e+12 2.90478e+12 15414905 0.03% 3119 598 2.90546e+12 4254 2.90567e+12 2.90478e+12 15426471 0.03% 3121 596 cutoff 2.90567e+12 2.90478e+12 15437549 0.03% 3122 597 2.90556e+12 4303 2.90567e+12 2.90478e+12 15449482 0.03% 3124 599 2.90558e+12 4554 2.90567e+12 2.90478e+12 15462355 0.03% 3126 599 2.90558e+12 4730 2.90567e+12 2.90478e+12 15469171 0.03% 3130 597 cutoff 2.90567e+12 2.90478e+12 15480438 0.03% Elapsed real time = 223304.70 sec. (tree size = 502.64 MB, solutions = 14) Nodefile size = 376.12 MB (187.16 MB after compression) 3131 596 cutoff 2.90567e+12 2.90479e+12 15496830 0.03% 3132 597 2.90559e+12 3722 2.90567e+12 2.90479e+12 15535242 0.03% 3135 594 cutoff 2.90567e+12 2.90479e+12 15575170 0.03% 3136 595 2.90515e+12 4553 2.90567e+12 2.90479e+12 15607908 0.03% 3137 596 2.90535e+12 5139 2.90567e+12 2.90479e+12 15626952 0.03% 3138 597 2.90542e+12 4860 2.90567e+12 2.90479e+12 15645819 0.03% 3139 598 2.90548e+12 4328 2.90567e+12 2.90479e+12 15660974 0.03% 3140 599 2.90549e+12 4215 2.90567e+12 2.90479e+12 15667395 0.03% 3141 600 2.90560e+12 3928 2.90567e+12 2.90479e+12 15686808 0.03% 3144 597 cutoff 2.90567e+12 2.90479e+12 15701312 0.03% Elapsed real time = 225890.20 sec. (tree size = 502.80 MB, solutions = 14) Nodefile size = 376.96 MB (187.61 MB after compression) 3145 598 2.90548e+12 2493 2.90567e+12 2.90479e+12 15727788 0.03% 3149 602 2.90567e+12 2617 2.90567e+12 2.90479e+12 15741220 0.03% 3152 599 cutoff 2.90567e+12 2.90479e+12 15750891 0.03% 3154 597 cutoff 2.90567e+12 2.90479e+12 15762788 0.03% 3156 597 2.90500e+12 3326 2.90567e+12 2.90481e+12 15804898 0.03% 3157 598 2.90517e+12 3435 2.90567e+12 2.90481e+12 15821419 0.03% 3159 600 2.90528e+12 3610 2.90567e+12 2.90481e+12 15837092 0.03% 3160 601 2.90535e+12 2781 2.90567e+12 2.90481e+12 15845014 0.03% 3162 601 2.90546e+12 2288 2.90567e+12 2.90481e+12 15864801 0.03% 3163 602 2.90553e+12 1769 2.90567e+12 2.90481e+12 15873210 0.03% Elapsed real time = 227564.59 sec. (tree size = 506.43 MB, solutions = 14) Nodefile size = 378.66 MB (188.51 MB after compression) 3166 603 2.90563e+12 3196 2.90567e+12 2.90481e+12 15894498 0.03% 3174 605 cutoff 2.90567e+12 2.90481e+12 15911040 0.03% 3175 604 cutoff 2.90567e+12 2.90481e+12 15923110 0.03% 3177 604 2.90484e+12 3988 2.90567e+12 2.90482e+12 15938408 0.03% 3178 605 2.90496e+12 3843 2.90567e+12 2.90482e+12 15954811 0.03% 3179 606 2.90519e+12 3530 2.90567e+12 2.90482e+12 15970911 0.03% 3180 607 2.90532e+12 3889 2.90567e+12 2.90482e+12 15981702 0.03% 3181 608 2.90535e+12 3946 2.90567e+12 2.90482e+12 15995112 0.03% 3182 609 2.90541e+12 3406 2.90567e+12 2.90482e+12 16006136 0.03% 3183 610 2.90556e+12 3990 2.90567e+12 2.90482e+12 16023028 0.03% Elapsed real time = 229130.12 sec. (tree size = 512.45 MB, solutions = 14) Nodefile size = 384.61 MB (191.59 MB after compression) 3186 611 2.90560e+12 4066 2.90567e+12 2.90482e+12 16039476 0.03% 3187 612 2.90566e+12 3922 2.90567e+12 2.90482e+12 16050064 0.03% 3191 612 2.90507e+12 4756 2.90567e+12 2.90482e+12 16078320 0.03% 3192 613 2.90522e+12 4580 2.90567e+12 2.90482e+12 16098413 0.03% 3193 614 2.90528e+12 4047 2.90567e+12 2.90482e+12 16113390 0.03% 3194 615 2.90536e+12 4085 2.90567e+12 2.90482e+12 16130069 0.03% 3195 616 2.90537e+12 4731 2.90567e+12 2.90482e+12 16134683 0.03% 3196 617 2.90540e+12 4310 2.90567e+12 2.90482e+12 16143364 0.03% 3197 618 2.90542e+12 4307 2.90567e+12 2.90482e+12 16149047 0.03% 3199 620 2.90542e+12 4169 2.90567e+12 2.90482e+12 16153632 0.03% Elapsed real time = 230794.02 sec. (tree size = 521.78 MB, solutions = 14) Nodefile size = 393.92 MB (196.45 MB after compression) 3201 622 2.90543e+12 4246 2.90567e+12 2.90482e+12 16157888 0.03% 3202 623 2.90544e+12 4280 2.90567e+12 2.90482e+12 16162645 0.03% 3203 624 2.90545e+12 4454 2.90567e+12 2.90482e+12 16168338 0.03% 3204 625 2.90546e+12 4363 2.90567e+12 2.90482e+12 16173678 0.03% 3205 626 2.90547e+12 4113 2.90567e+12 2.90482e+12 16178469 0.03% 3206 627 2.90558e+12 4045 2.90567e+12 2.90482e+12 16197575 0.03% 3208 629 2.90559e+12 4038 2.90567e+12 2.90482e+12 16206081 0.03% 3209 630 2.90562e+12 4278 2.90567e+12 2.90482e+12 16216346 0.03% 3212 629 2.90565e+12 3451 2.90567e+12 2.90483e+12 16254152 0.03% 3215 626 cutoff 2.90567e+12 2.90483e+12 16264373 0.03% Elapsed real time = 231957.11 sec. (tree size = 527.72 MB, solutions = 14) Nodefile size = 402.38 MB (200.98 MB after compression) 3216 627 2.90548e+12 1878 2.90567e+12 2.90483e+12 16285314 0.03% 3222 627 cutoff 2.90567e+12 2.90483e+12 16307091 0.03% 3224 625 cutoff 2.90567e+12 2.90484e+12 16322193 0.03% 3225 626 2.90565e+12 3807 2.90567e+12 2.90484e+12 16359103 0.03% 3229 622 cutoff 2.90567e+12 2.90485e+12 16377641 0.03% 3230 621 cutoff 2.90567e+12 2.90486e+12 16389802 0.03% 3231 620 cutoff 2.90567e+12 2.90486e+12 16411187 0.03% 3232 621 2.90560e+12 2142 2.90567e+12 2.90486e+12 16441071 0.03% 3235 620 2.90560e+12 2993 2.90567e+12 2.90487e+12 16473820 0.03% 3238 617 cutoff 2.90567e+12 2.90487e+12 16505273 0.03% Elapsed real time = 233930.48 sec. (tree size = 520.30 MB, solutions = 14) Nodefile size = 402.38 MB (200.98 MB after compression) 3239 616 cutoff 2.90567e+12 2.90487e+12 16521729 0.03% 3240 615 cutoff 2.90567e+12 2.90487e+12 16550833 0.03% 3241 614 cutoff 2.90567e+12 2.90488e+12 16576607 0.03% 3244 611 cutoff 2.90567e+12 2.90490e+12 16597362 0.03% 3245 612 2.90507e+12 4478 2.90567e+12 2.90491e+12 16619594 0.03% 3246 613 2.90526e+12 4617 2.90567e+12 2.90491e+12 16639944 0.03% 3247 614 2.90531e+12 4508 2.90567e+12 2.90491e+12 16651570 0.03% 3248 615 2.90540e+12 4416 2.90567e+12 2.90491e+12 16669840 0.03% 3250 617 2.90541e+12 4587 2.90567e+12 2.90491e+12 16677574 0.03% 3252 619 2.90544e+12 4302 2.90567e+12 2.90491e+12 16687098 0.03% Elapsed real time = 236124.49 sec. (tree size = 521.27 MB, solutions = 14) Nodefile size = 402.38 MB (200.98 MB after compression) 3253 620 2.90545e+12 4363 2.90567e+12 2.90491e+12 16693458 0.03% 3255 622 2.90549e+12 4386 2.90567e+12 2.90491e+12 16708955 0.03% 3257 624 2.90550e+12 4648 2.90567e+12 2.90491e+12 16713899 0.03% 3259 626 2.90551e+12 4291 2.90567e+12 2.90491e+12 16719924 0.03% 3264 631 2.90565e+12 3975 2.90567e+12 2.90491e+12 16742984 0.03% 3268 627 cutoff 2.90567e+12 2.90492e+12 16767418 0.03% 3270 625 cutoff 2.90567e+12 2.90494e+12 16783111 0.02% 3273 622 cutoff 2.90567e+12 2.90495e+12 16798476 0.02% 3274 621 cutoff 2.90567e+12 2.90496e+12 16815287 0.02% 3275 620 cutoff 2.90567e+12 2.90496e+12 16838426 0.02% Elapsed real time = 237439.19 sec. (tree size = 523.11 MB, solutions = 14) Nodefile size = 404.07 MB (201.88 MB after compression) 3276 621 2.90514e+12 4190 2.90567e+12 2.90496e+12 16858162 0.02% 3277 622 2.90524e+12 4315 2.90567e+12 2.90496e+12 16871802 0.02% 3278 623 2.90539e+12 4347 2.90567e+12 2.90496e+12 16889574 0.02% 3279 624 2.90545e+12 4126 2.90567e+12 2.90496e+12 16901823 0.02% 3280 625 2.90560e+12 3987 2.90567e+12 2.90496e+12 16917548 0.02% 3283 622 cutoff 2.90567e+12 2.90497e+12 16939245 0.02% 3284 623 2.90514e+12 3557 2.90567e+12 2.90497e+12 16953258 0.02% 3285 624 2.90515e+12 1325 2.90567e+12 2.90497e+12 16957903 0.02% 3286 625 2.90526e+12 2316 2.90567e+12 2.90497e+12 16970390 0.02% 3287 626 2.90538e+12 3454 2.90567e+12 2.90497e+12 16982095 0.02% Elapsed real time = 239270.02 sec. (tree size = 527.34 MB, solutions = 14) Nodefile size = 404.07 MB (201.88 MB after compression) 3288 627 2.90543e+12 3977 2.90567e+12 2.90497e+12 16989511 0.02% 3289 628 2.90554e+12 3213 2.90567e+12 2.90497e+12 17003108 0.02% 3291 630 2.90566e+12 3348 2.90567e+12 2.90497e+12 17021609 0.02% 3297 628 2.90515e+12 4466 2.90567e+12 2.90499e+12 17049001 0.02% 3298 629 2.90533e+12 4157 2.90567e+12 2.90499e+12 17068331 0.02% 3299 630 2.90537e+12 4205 2.90567e+12 2.90499e+12 17079927 0.02% 3300 631 2.90542e+12 4066 2.90567e+12 2.90499e+12 17089130 0.02% 3301 632 2.90549e+12 3941 2.90567e+12 2.90499e+12 17100237 0.02% 3302 633 2.90552e+12 4238 2.90567e+12 2.90499e+12 17107007 0.02% 3304 635 2.90555e+12 3872 2.90567e+12 2.90499e+12 17116173 0.02% Elapsed real time = 240759.08 sec. (tree size = 534.98 MB, solutions = 14) Nodefile size = 407.47 MB (203.62 MB after compression) 3305 636 2.90558e+12 3743 2.90567e+12 2.90499e+12 17124999 0.02% 3306 637 2.90559e+12 4488 2.90567e+12 2.90499e+12 17132046 0.02% 3308 639 2.90562e+12 4297 2.90567e+12 2.90499e+12 17141245 0.02% 3311 642 2.90564e+12 3796 2.90567e+12 2.90499e+12 17152040 0.02% 3315 640 cutoff 2.90567e+12 2.90499e+12 17174000 0.02% 3317 642 2.90517e+12 3023 2.90567e+12 2.90499e+12 17193810 0.02% 3318 643 2.90522e+12 1443 2.90567e+12 2.90499e+12 17200113 0.02% 3319 644 2.90531e+12 3646 2.90567e+12 2.90499e+12 17219452 0.02% 3320 645 2.90538e+12 4036 2.90567e+12 2.90499e+12 17227392 0.02% 3322 647 2.90540e+12 3456 2.90567e+12 2.90499e+12 17237242 0.02% Elapsed real time = 241975.52 sec. (tree size = 545.15 MB, solutions = 14) Nodefile size = 417.63 MB (208.74 MB after compression) 3324 649 2.90542e+12 3022 2.90567e+12 2.90499e+12 17242609 0.02% 3326 651 2.90543e+12 3446 2.90567e+12 2.90499e+12 17247315 0.02% 3328 653 2.90544e+12 3417 2.90567e+12 2.90499e+12 17252322 0.02% 3331 656 2.90546e+12 1189 2.90567e+12 2.90499e+12 17258442 0.02% 3333 658 2.90558e+12 3127 2.90567e+12 2.90499e+12 17271112 0.02% 3337 660 cutoff 2.90567e+12 2.90499e+12 17280292 0.02% 3339 658 cutoff 2.90567e+12 2.90499e+12 17290586 0.02% 3340 657 cutoff 2.90567e+12 2.90500e+12 17301903 0.02% 3342 657 2.90566e+12 2356 2.90567e+12 2.90500e+12 17326652 0.02% 3345 654 cutoff 2.90567e+12 2.90501e+12 17345749 0.02% Elapsed real time = 242871.74 sec. (tree size = 551.95 MB, solutions = 14) Nodefile size = 429.47 MB (214.54 MB after compression) 3346 655 2.90517e+12 4009 2.90567e+12 2.90501e+12 17365972 0.02% 3347 656 2.90522e+12 4136 2.90567e+12 2.90501e+12 17377249 0.02% 3349 656 2.90532e+12 3932 2.90567e+12 2.90501e+12 17400401 0.02% 3350 657 2.90534e+12 4235 2.90567e+12 2.90501e+12 17410586 0.02% 3352 657 2.90536e+12 4131 2.90567e+12 2.90501e+12 17416060 0.02% 3354 657 cutoff 2.90567e+12 2.90501e+12 17423740 0.02% 3356 659 2.90538e+12 3830 2.90567e+12 2.90501e+12 17434380 0.02% 3358 659 2.90539e+12 4050 2.90567e+12 2.90501e+12 17441460 0.02% 3361 660 2.90542e+12 4180 2.90567e+12 2.90501e+12 17454882 0.02% 3363 660 cutoff 2.90567e+12 2.90501e+12 17461951 0.02% Elapsed real time = 244176.33 sec. (tree size = 556.18 MB, solutions = 14) Nodefile size = 429.47 MB (214.54 MB after compression) 3364 661 2.90544e+12 3992 2.90567e+12 2.90501e+12 17468878 0.02% 3366 663 2.90546e+12 3992 2.90567e+12 2.90501e+12 17474723 0.02% 3370 665 2.90547e+12 4109 2.90567e+12 2.90501e+12 17481506 0.02% 3374 665 2.90550e+12 4001 2.90567e+12 2.90501e+12 17493237 0.02% 3376 667 2.90555e+12 4122 2.90567e+12 2.90501e+12 17505501 0.02% 3378 667 2.90556e+12 4235 2.90567e+12 2.90501e+12 17512448 0.02% 3381 668 2.90557e+12 4338 2.90567e+12 2.90501e+12 17518599 0.02% 3386 671 2.90557e+12 4433 2.90567e+12 2.90501e+12 17526412 0.02% 3392 675 2.90557e+12 4404 2.90567e+12 2.90501e+12 17533757 0.02% 3400 679 2.90558e+12 4926 2.90567e+12 2.90501e+12 17538656 0.02% Elapsed real time = 245044.97 sec. (tree size = 572.26 MB, solutions = 14) Nodefile size = 444.70 MB (222.36 MB after compression) 3406 683 2.90558e+12 4147 2.90567e+12 2.90501e+12 17545034 0.02% 3413 684 2.90559e+12 3922 2.90567e+12 2.90501e+12 17557293 0.02% 3420 685 2.90560e+12 4059 2.90567e+12 2.90501e+12 17566669 0.02% 3423 682 cutoff 2.90567e+12 2.90501e+12 17585869 0.02% 3425 680 cutoff 2.90567e+12 2.90501e+12 17604248 0.02% 3428 677 cutoff 2.90567e+12 2.90502e+12 17618359 0.02% 3432 675 2.90528e+12 4269 2.90567e+12 2.90502e+12 17653587 0.02% 3433 676 2.90548e+12 4408 2.90567e+12 2.90502e+12 17676104 0.02% 3435 676 2.90554e+12 4283 2.90567e+12 2.90502e+12 17697862 0.02% 3436 677 2.90563e+12 3923 2.90567e+12 2.90502e+12 17710960 0.02% Elapsed real time = 246546.81 sec. (tree size = 570.63 MB, solutions = 14) Nodefile size = 448.94 MB (224.50 MB after compression) 3441 672 cutoff 2.90567e+12 2.90502e+12 17741147 0.02% 3442 673 2.90533e+12 4508 2.90567e+12 2.90502e+12 17777188 0.02% 3443 674 2.90553e+12 4645 2.90567e+12 2.90502e+12 17799545 0.02% 3444 675 2.90560e+12 4095 2.90567e+12 2.90502e+12 17819489 0.02% 3449 670 cutoff 2.90567e+12 2.90503e+12 17833669 0.02% 3452 667 cutoff 2.90567e+12 2.90504e+12 17849321 0.02% 3454 667 2.90516e+12 1025 2.90567e+12 2.90505e+12 17863185 0.02% 3455 668 2.90525e+12 4317 2.90567e+12 2.90505e+12 17877398 0.02% 3456 669 2.90532e+12 3566 2.90567e+12 2.90505e+12 17892593 0.02% 3457 670 2.90540e+12 3948 2.90567e+12 2.90505e+12 17906766 0.02% Elapsed real time = 248619.37 sec. (tree size = 564.75 MB, solutions = 14) Nodefile size = 441.37 MB (220.40 MB after compression) 3458 671 2.90548e+12 3788 2.90567e+12 2.90505e+12 17917517 0.02% 3461 674 2.90549e+12 3916 2.90567e+12 2.90505e+12 17924209 0.02% 3463 676 2.90553e+12 3185 2.90567e+12 2.90505e+12 17933442 0.02% 3465 678 2.90554e+12 3228 2.90567e+12 2.90505e+12 17940270 0.02% 3466 679 2.90559e+12 3284 2.90567e+12 2.90505e+12 17949581 0.02% 3468 681 2.90563e+12 3160 2.90567e+12 2.90505e+12 17958597 0.02% 3471 678 cutoff 2.90567e+12 2.90505e+12 17977128 0.02% 3474 679 2.90514e+12 1893 2.90567e+12 2.90505e+12 17988844 0.02% 3477 680 2.90522e+12 1113 2.90567e+12 2.90505e+12 18001820 0.02% 3478 681 2.90534e+12 3099 2.90567e+12 2.90505e+12 18023545 0.02% Elapsed real time = 249635.33 sec. (tree size = 573.22 MB, solutions = 14) Nodefile size = 445.60 MB (222.73 MB after compression) 3480 681 2.90542e+12 3399 2.90567e+12 2.90505e+12 18035073 0.02% 3481 680 cutoff 2.90567e+12 2.90505e+12 18048139 0.02% 3483 682 2.90565e+12 2264 2.90567e+12 2.90505e+12 18067459 0.02% 3487 680 2.90553e+12 3926 2.90567e+12 2.90506e+12 18087681 0.02% 3488 681 2.90560e+12 4066 2.90567e+12 2.90506e+12 18097415 0.02% 3491 678 cutoff 2.90567e+12 2.90506e+12 18118198 0.02% 3494 677 2.90562e+12 3189 2.90567e+12 2.90506e+12 18163261 0.02% 3497 674 cutoff 2.90567e+12 2.90506e+12 18174953 0.02% 3501 672 2.90518e+12 3555 2.90567e+12 2.90506e+12 18194420 0.02% 3502 673 2.90523e+12 3963 2.90567e+12 2.90506e+12 18204885 0.02% Elapsed real time = 251135.87 sec. (tree size = 567.32 MB, solutions = 14) Nodefile size = 442.23 MB (221.02 MB after compression) 3504 673 2.90540e+12 3668 2.90567e+12 2.90506e+12 18227765 0.02% 3505 674 2.90545e+12 3823 2.90567e+12 2.90506e+12 18238393 0.02% 3506 675 2.90548e+12 4138 2.90567e+12 2.90506e+12 18245519 0.02% 3507 676 2.90550e+12 4548 2.90567e+12 2.90506e+12 18251307 0.02% 3509 678 2.90553e+12 3497 2.90567e+12 2.90506e+12 18258359 0.02% 3511 680 2.90555e+12 4441 2.90567e+12 2.90506e+12 18267799 0.02% 3513 682 2.90557e+12 3948 2.90567e+12 2.90506e+12 18277285 0.02% 3514 683 2.90557e+12 4012 2.90567e+12 2.90506e+12 18282160 0.02% 3516 685 2.90560e+12 3951 2.90567e+12 2.90506e+12 18294422 0.02% 3517 686 2.90565e+12 4201 2.90567e+12 2.90506e+12 18311367 0.02% Elapsed real time = 252238.19 sec. (tree size = 578.32 MB, solutions = 14) Nodefile size = 450.70 MB (225.34 MB after compression) 3522 683 2.90524e+12 4522 2.90567e+12 2.90506e+12 18337542 0.02% 3523 684 2.90529e+12 3939 2.90567e+12 2.90506e+12 18349758 0.02% 3524 685 2.90536e+12 4182 2.90567e+12 2.90506e+12 18363403 0.02% 3525 686 2.90559e+12 4401 2.90567e+12 2.90506e+12 18386105 0.02% 3527 686 cutoff 2.90567e+12 2.90506e+12 18395925 0.02% 3531 684 2.90562e+12 871 2.90567e+12 2.90507e+12 18413253 0.02% 3535 680 cutoff 2.90567e+12 2.90507e+12 18434923 0.02% 3536 681 2.90525e+12 3278 2.90567e+12 2.90507e+12 18464676 0.02% 3537 682 2.90533e+12 3448 2.90567e+12 2.90507e+12 18478694 0.02% 3539 682 2.90533e+12 2429 2.90567e+12 2.90507e+12 18486776 0.02% Elapsed real time = 254063.18 sec. (tree size = 574.95 MB, solutions = 14) Nodefile size = 451.55 MB (225.87 MB after compression) 3540 683 2.90544e+12 3218 2.90567e+12 2.90507e+12 18498022 0.02% 3541 684 2.90556e+12 3440 2.90567e+12 2.90507e+12 18510204 0.02% 3543 684 2.90565e+12 3468 2.90567e+12 2.90507e+12 18524987 0.02% 3547 684 2.90513e+12 3294 2.90567e+12 2.90507e+12 18536586 0.02% 3550 685 2.90531e+12 2142 2.90567e+12 2.90507e+12 18547117 0.02% 3551 686 2.90543e+12 3291 2.90567e+12 2.90507e+12 18557198 0.02% 3552 687 2.90548e+12 3513 2.90567e+12 2.90507e+12 18566587 0.02% 3553 688 2.90549e+12 3175 2.90567e+12 2.90507e+12 18572906 0.02% 3555 690 2.90554e+12 3690 2.90567e+12 2.90507e+12 18583798 0.02% 3558 693 2.90558e+12 2639 2.90567e+12 2.90507e+12 18593026 0.02% Elapsed real time = 254990.73 sec. (tree size = 584.27 MB, solutions = 14) Nodefile size = 456.64 MB (228.48 MB after compression) 3561 696 2.90566e+12 3029 2.90567e+12 2.90507e+12 18610821 0.02% 3564 695 2.90520e+12 3571 2.90567e+12 2.90508e+12 18626198 0.02% 3565 696 2.90525e+12 4420 2.90567e+12 2.90508e+12 18639735 0.02% 3566 697 2.90539e+12 4108 2.90567e+12 2.90508e+12 18663235 0.02% 3567 698 2.90542e+12 3943 2.90567e+12 2.90508e+12 18671950 0.02% 3568 699 2.90543e+12 3834 2.90567e+12 2.90508e+12 18678374 0.02% 3570 701 2.90544e+12 4160 2.90567e+12 2.90508e+12 18684093 0.02% 3572 703 2.90545e+12 4678 2.90567e+12 2.90508e+12 18688740 0.02% 3573 704 2.90546e+12 4201 2.90567e+12 2.90508e+12 18697566 0.02% 3574 705 2.90550e+12 4337 2.90567e+12 2.90508e+12 18708768 0.02% Elapsed real time = 256381.60 sec. (tree size = 594.42 MB, solutions = 14) Nodefile size = 466.80 MB (233.64 MB after compression) 3575 706 2.90551e+12 4010 2.90567e+12 2.90508e+12 18715513 0.02% 3576 707 2.90552e+12 4119 2.90567e+12 2.90508e+12 18721136 0.02% 3577 708 2.90553e+12 4045 2.90567e+12 2.90508e+12 18727457 0.02% 3579 710 2.90553e+12 4073 2.90567e+12 2.90508e+12 18733417 0.02% 3581 712 2.90559e+12 4104 2.90567e+12 2.90508e+12 18747792 0.02% 3583 714 2.90560e+12 3916 2.90567e+12 2.90508e+12 18757960 0.02% 3587 718 2.90563e+12 3805 2.90567e+12 2.90508e+12 18772792 0.02% 3590 715 cutoff 2.90567e+12 2.90508e+12 18785373 0.02% 3591 716 2.90559e+12 4608 2.90567e+12 2.90508e+12 18824181 0.02% 3593 714 cutoff 2.90567e+12 2.90508e+12 18833960 0.02% Elapsed real time = 257596.11 sec. (tree size = 602.89 MB, solutions = 14) Nodefile size = 476.11 MB (238.94 MB after compression) 3596 711 cutoff 2.90567e+12 2.90508e+12 18844932 0.02% 3597 710 cutoff 2.90567e+12 2.90508e+12 18856056 0.02% 3599 710 2.90524e+12 4376 2.90567e+12 2.90509e+12 18879130 0.02% 3600 711 2.90529e+12 3683 2.90567e+12 2.90509e+12 18889209 0.02% 3601 712 2.90535e+12 3456 2.90567e+12 2.90509e+12 18902565 0.02% 3602 713 2.90537e+12 4002 2.90567e+12 2.90509e+12 18907432 0.02% 3604 715 2.90539e+12 4087 2.90567e+12 2.90509e+12 18914004 0.02% 3606 715 2.90549e+12 2929 2.90567e+12 2.90509e+12 18930139 0.02% 3607 716 2.90553e+12 3711 2.90567e+12 2.90509e+12 18938945 0.02% 3610 717 2.90554e+12 3801 2.90567e+12 2.90509e+12 18945955 0.02% Elapsed real time = 258743.75 sec. (tree size = 604.59 MB, solutions = 14) Nodefile size = 476.96 MB (239.51 MB after compression) 3611 718 2.90558e+12 4254 2.90567e+12 2.90509e+12 18956072 0.02% 3615 718 2.90560e+12 3028 2.90567e+12 2.90509e+12 18965571 0.02% 3617 718 cutoff 2.90567e+12 2.90509e+12 18981542 0.02% 3619 718 2.90527e+12 3825 2.90567e+12 2.90510e+12 19004281 0.02% 3620 719 2.90530e+12 4124 2.90567e+12 2.90510e+12 19015318 0.02% 3621 720 2.90542e+12 4237 2.90567e+12 2.90510e+12 19035271 0.02% 3622 721 2.90549e+12 4262 2.90567e+12 2.90510e+12 19047724 0.02% 3623 722 2.90559e+12 4142 2.90567e+12 2.90510e+12 19058852 0.02% 3624 723 2.90563e+12 3956 2.90567e+12 2.90510e+12 19070480 0.02% 3629 720 cutoff 2.90567e+12 2.90510e+12 19085020 0.02% Elapsed real time = 260045.85 sec. (tree size = 607.98 MB, solutions = 14) Nodefile size = 482.04 MB (242.05 MB after compression) 3630 721 2.90511e+12 3407 2.90567e+12 2.90510e+12 19093540 0.02% 3631 722 2.90519e+12 3247 2.90567e+12 2.90510e+12 19104817 0.02% 3632 723 2.90527e+12 3359 2.90567e+12 2.90510e+12 19111342 0.02% 3633 724 2.90536e+12 3887 2.90567e+12 2.90510e+12 19120518 0.02% 3634 725 2.90546e+12 3089 2.90567e+12 2.90510e+12 19137825 0.02% 3637 728 2.90554e+12 3362 2.90567e+12 2.90510e+12 19145839 0.02% 3640 731 2.90556e+12 3251 2.90567e+12 2.90510e+12 19155009 0.02% 3642 731 cutoff 2.90567e+12 2.90510e+12 19164916 0.02% 3648 725 cutoff 2.90567e+12 2.90510e+12 19186570 0.02% 3649 724 cutoff 2.90567e+12 2.90511e+12 19196852 0.02% Elapsed real time = 260958.68 sec. (tree size = 611.38 MB, solutions = 14) Nodefile size = 487.98 MB (245.26 MB after compression) 3653 722 2.90533e+12 2351 2.90567e+12 2.90511e+12 19218810 0.02% 3654 723 2.90538e+12 2902 2.90567e+12 2.90511e+12 19226429 0.02% 3655 724 2.90550e+12 3201 2.90567e+12 2.90511e+12 19238210 0.02% 3656 725 2.90559e+12 3597 2.90567e+12 2.90511e+12 19258657 0.02% 3660 727 cutoff 2.90567e+12 2.90511e+12 19270040 0.02% 3664 723 cutoff 2.90567e+12 2.90511e+12 19283974 0.02% 3668 719 cutoff 2.90567e+12 2.90511e+12 19294745 0.02% 3671 716 cutoff 2.90567e+12 2.90511e+12 19309911 0.02% 3674 715 2.90521e+12 867 2.90567e+12 2.90513e+12 19324987 0.02% 3675 716 2.90529e+12 2794 2.90567e+12 2.90513e+12 19336505 0.02% Elapsed real time = 261977.69 sec. (tree size = 603.80 MB, solutions = 14) Nodefile size = 478.69 MB (240.81 MB after compression) 3676 717 2.90537e+12 3373 2.90567e+12 2.90513e+12 19350063 0.02% 3677 718 2.90543e+12 3861 2.90567e+12 2.90513e+12 19359504 0.02% 3678 719 2.90546e+12 3227 2.90567e+12 2.90513e+12 19368129 0.02% 3681 722 2.90550e+12 3252 2.90567e+12 2.90513e+12 19379940 0.02% 3683 724 2.90553e+12 3147 2.90567e+12 2.90513e+12 19391646 0.02% 3685 726 2.90555e+12 3468 2.90567e+12 2.90513e+12 19399212 0.02% 3686 727 2.90559e+12 2174 2.90567e+12 2.90513e+12 19409867 0.02% 3689 726 cutoff 2.90567e+12 2.90513e+12 19420433 0.02% 3692 725 2.90526e+12 3799 2.90567e+12 2.90513e+12 19444545 0.02% 3693 726 2.90531e+12 3593 2.90567e+12 2.90513e+12 19451971 0.02% Elapsed real time = 263073.46 sec. (tree size = 612.28 MB, solutions = 14) Nodefile size = 484.64 MB (243.93 MB after compression) 3694 727 2.90544e+12 4146 2.90567e+12 2.90513e+12 19469038 0.02% 3696 727 2.90552e+12 4025 2.90567e+12 2.90513e+12 19482465 0.02% 3698 729 2.90558e+12 3997 2.90567e+12 2.90513e+12 19499000 0.02% 3700 729 2.90560e+12 4297 2.90567e+12 2.90513e+12 19509647 0.02% 3701 730 2.90562e+12 3739 2.90567e+12 2.90513e+12 19521394 0.02% 3705 728 2.90522e+12 3211 2.90567e+12 2.90513e+12 19534534 0.02% 3707 730 2.90535e+12 1045 2.90567e+12 2.90513e+12 19543219 0.02% 3709 732 2.90543e+12 3380 2.90567e+12 2.90513e+12 19558667 0.02% 3711 734 2.90547e+12 3325 2.90567e+12 2.90513e+12 19569807 0.02% 3712 735 2.90549e+12 3197 2.90567e+12 2.90513e+12 19575020 0.02% Elapsed real time = 264256.21 sec. (tree size = 619.90 MB, solutions = 14) Nodefile size = 492.26 MB (247.90 MB after compression) 3714 737 2.90551e+12 2939 2.90567e+12 2.90513e+12 19580216 0.02% 3715 738 2.90554e+12 3841 2.90567e+12 2.90513e+12 19586209 0.02% 3719 742 2.90559e+12 2190 2.90567e+12 2.90513e+12 19595464 0.02% * 3721 728 integral 0 2.90565e+12 2.90513e+12 19599728 0.02% 3724 725 cutoff 2.90565e+12 2.90514e+12 19611955 0.02% 3727 724 2.90533e+12 4309 2.90565e+12 2.90514e+12 19634320 0.02% 3728 725 2.90537e+12 4396 2.90565e+12 2.90514e+12 19649547 0.02% 3729 726 2.90549e+12 4465 2.90565e+12 2.90514e+12 19667555 0.02% 3730 727 2.90556e+12 4293 2.90565e+12 2.90514e+12 19675541 0.02% 3732 729 2.90559e+12 4215 2.90565e+12 2.90514e+12 19684400 0.02% Elapsed real time = 265353.71 sec. (tree size = 614.81 MB, solutions = 15) Nodefile size = 487.17 MB (245.31 MB after compression) 3733 730 2.90561e+12 4940 2.90565e+12 2.90514e+12 19693021 0.02% 3738 725 cutoff 2.90565e+12 2.90515e+12 19708423 0.02% 3739 724 cutoff 2.90565e+12 2.90515e+12 19720243 0.02% 3741 726 2.90532e+12 2314 2.90565e+12 2.90515e+12 19731927 0.02% 3743 728 2.90550e+12 2889 2.90565e+12 2.90515e+12 19749287 0.02% 3744 729 2.90554e+12 2985 2.90565e+12 2.90515e+12 19756631 0.02% 3748 733 2.90557e+12 2860 2.90565e+12 2.90515e+12 19766077 0.02% 3753 738 2.90561e+12 2854 2.90565e+12 2.90515e+12 19777304 0.02% * 3755 712 integral 0 2.90564e+12 2.90515e+12 19779326 0.02% 3758 711 2.90529e+12 4247 2.90564e+12 2.90515e+12 19802637 0.02% Elapsed real time = 266302.98 sec. (tree size = 599.60 MB, solutions = 16) Nodefile size = 471.95 MB (237.84 MB after compression) 3759 712 2.90536e+12 3724 2.90564e+12 2.90515e+12 19813550 0.02% 3760 713 2.90543e+12 3621 2.90564e+12 2.90515e+12 19827533 0.02% 3761 714 2.90550e+12 3388 2.90564e+12 2.90515e+12 19839470 0.02% 3762 715 2.90554e+12 3804 2.90564e+12 2.90515e+12 19848427 0.02% 3763 714 cutoff 2.90564e+12 2.90515e+12 19859741 0.02% 3765 712 cutoff 2.90564e+12 2.90516e+12 19871242 0.02% 3768 709 cutoff 2.90564e+12 2.90516e+12 19885527 0.02% 3769 710 2.90525e+12 1273 2.90564e+12 2.90516e+12 19892774 0.02% 3770 711 2.90530e+12 2644 2.90564e+12 2.90516e+12 19902585 0.02% 3771 712 2.90540e+12 3072 2.90564e+12 2.90516e+12 19910999 0.02% Elapsed real time = 267302.49 sec. (tree size = 600.45 MB, solutions = 16) Nodefile size = 474.50 MB (239.19 MB after compression) 3772 713 2.90543e+12 3225 2.90564e+12 2.90516e+12 19919775 0.02% 3773 714 2.90543e+12 3347 2.90564e+12 2.90516e+12 19924544 0.02% 3774 715 2.90547e+12 3197 2.90564e+12 2.90516e+12 19931687 0.02% 3775 716 2.90549e+12 3065 2.90564e+12 2.90516e+12 19937247 0.02% 3777 718 2.90551e+12 3111 2.90564e+12 2.90516e+12 19943996 0.02% * 3779 694 integral 0 2.90561e+12 2.90516e+12 19955960 0.02% 3782 695 2.90525e+12 3707 2.90561e+12 2.90516e+12 19963584 0.02% 3783 696 2.90538e+12 3670 2.90561e+12 2.90516e+12 19987423 0.02% 3785 696 2.90547e+12 4007 2.90561e+12 2.90516e+12 20001106 0.02% 3788 699 2.90550e+12 3482 2.90561e+12 2.90516e+12 20009880 0.02% Elapsed real time = 268284.62 sec. (tree size = 588.57 MB, solutions = 17) Nodefile size = 460.92 MB (232.02 MB after compression) 3791 700 2.90552e+12 3510 2.90561e+12 2.90516e+12 20019292 0.02% 3796 697 cutoff 2.90561e+12 2.90517e+12 20030430 0.02% 3800 697 2.90534e+12 3394 2.90561e+12 2.90517e+12 20044959 0.02% 3802 699 2.90552e+12 2926 2.90561e+12 2.90517e+12 20059772 0.02% 3804 701 2.90559e+12 2874 2.90561e+12 2.90517e+12 20071565 0.02% 3808 701 2.90558e+12 3405 2.90561e+12 2.90517e+12 20099984 0.02% 3813 696 cutoff 2.90561e+12 2.90517e+12 20113402 0.02% 3819 690 cutoff 2.90561e+12 2.90518e+12 20128672 0.01% 3820 691 2.90529e+12 4080 2.90561e+12 2.90519e+12 20142538 0.01% 3821 692 2.90536e+12 4330 2.90561e+12 2.90519e+12 20155198 0.01% Elapsed real time = 269412.97 sec. (tree size = 582.69 MB, solutions = 17) Nodefile size = 459.25 MB (231.52 MB after compression) 3823 692 2.90550e+12 4372 2.90561e+12 2.90519e+12 20181588 0.01% 3824 693 2.90554e+12 4239 2.90561e+12 2.90519e+12 20192474 0.01% 3826 695 2.90556e+12 3583 2.90561e+12 2.90519e+12 20203742 0.01% 3830 693 2.90532e+12 3752 2.90561e+12 2.90519e+12 20230314 0.01% 3831 694 2.90537e+12 3271 2.90561e+12 2.90519e+12 20237780 0.01% 3832 695 2.90545e+12 2880 2.90561e+12 2.90519e+12 20249211 0.01% 3837 700 2.90554e+12 3125 2.90561e+12 2.90519e+12 20262109 0.01% 3841 700 2.90520e+12 3778 2.90561e+12 2.90519e+12 20276134 0.01% 3842 701 2.90530e+12 3743 2.90561e+12 2.90519e+12 20288894 0.01% 3843 702 2.90546e+12 3795 2.90561e+12 2.90519e+12 20304528 0.01% Elapsed real time = 270890.92 sec. (tree size = 592.02 MB, solutions = 17) Nodefile size = 464.35 MB (234.21 MB after compression) 3844 703 2.90553e+12 3368 2.90561e+12 2.90519e+12 20313945 0.01% 3845 704 2.90560e+12 3294 2.90561e+12 2.90519e+12 20326256 0.01% 3850 701 2.90535e+12 4341 2.90561e+12 2.90520e+12 20353225 0.01% 3851 702 2.90539e+12 4234 2.90561e+12 2.90520e+12 20361639 0.01% 3852 703 2.90551e+12 3984 2.90561e+12 2.90520e+12 20380369 0.01% 3853 704 2.90558e+12 4054 2.90561e+12 2.90520e+12 20397525 0.01% 3860 697 cutoff 2.90561e+12 2.90520e+12 20411696 0.01% 3863 694 cutoff 2.90561e+12 2.90521e+12 20426257 0.01% 3868 689 cutoff 2.90561e+12 2.90522e+12 20438130 0.01% 3870 689 2.90547e+12 4358 2.90561e+12 2.90522e+12 20467581 0.01% Elapsed real time = 272316.35 sec. (tree size = 581.04 MB, solutions = 17) Nodefile size = 457.61 MB (230.87 MB after compression) 3871 690 2.90557e+12 4924 2.90561e+12 2.90522e+12 20484379 0.01% 3876 685 cutoff 2.90561e+12 2.90522e+12 20500187 0.01% 3879 682 cutoff 2.90561e+12 2.90523e+12 20524395 0.01% 3883 682 2.90526e+12 1077 2.90561e+12 2.90524e+12 20534150 0.01% 3885 684 2.90552e+12 3236 2.90561e+12 2.90524e+12 20558218 0.01% 3888 685 2.90556e+12 2362 2.90561e+12 2.90524e+12 20568113 0.01% 3892 681 cutoff 2.90561e+12 2.90524e+12 20580723 0.01% 3897 676 cutoff 2.90561e+12 2.90524e+12 20594327 0.01% 3898 677 2.90540e+12 4358 2.90561e+12 2.90524e+12 20611641 0.01% 3899 678 2.90544e+12 4978 2.90561e+12 2.90524e+12 20622079 0.01% Elapsed real time = 273472.51 sec. (tree size = 571.76 MB, solutions = 17) Nodefile size = 452.54 MB (228.49 MB after compression) 3900 679 2.90556e+12 3987 2.90561e+12 2.90524e+12 20637131 0.01% 3901 680 2.90559e+12 3588 2.90561e+12 2.90524e+12 20646087 0.01% 3908 675 2.90528e+12 988 2.90561e+12 2.90525e+12 20667246 0.01% 3909 676 2.90536e+12 4464 2.90561e+12 2.90525e+12 20676874 0.01% 3910 677 2.90548e+12 5005 2.90561e+12 2.90525e+12 20691412 0.01% 3911 678 2.90551e+12 4598 2.90561e+12 2.90525e+12 20705209 0.01% 3912 679 2.90556e+12 4280 2.90561e+12 2.90525e+12 20721676 0.01% 3915 676 cutoff 2.90561e+12 2.90525e+12 20734880 0.01% 3918 673 cutoff 2.90561e+12 2.90526e+12 20749331 0.01% 3922 673 2.90540e+12 3141 2.90561e+12 2.90526e+12 20772561 0.01% Elapsed real time = 274740.48 sec. (tree size = 566.70 MB, solutions = 17) Nodefile size = 448.32 MB (226.45 MB after compression) 3924 673 2.90555e+12 2804 2.90561e+12 2.90526e+12 20785775 0.01% 3930 667 cutoff 2.90561e+12 2.90526e+12 20797023 0.01% 3936 661 cutoff 2.90561e+12 2.90526e+12 20811437 0.01% 3937 660 cutoff 2.90561e+12 2.90526e+12 20818868 0.01% 3939 660 2.90534e+12 4550 2.90561e+12 2.90526e+12 20840486 0.01% 3940 661 2.90555e+12 4177 2.90561e+12 2.90526e+12 20864640 0.01% 3941 662 2.90560e+12 3993 2.90561e+12 2.90526e+12 20879461 0.01% 3946 659 2.90540e+12 3951 2.90561e+12 2.90527e+12 20904357 0.01% 3947 660 2.90545e+12 3791 2.90561e+12 2.90527e+12 20914610 0.01% 3948 661 2.90559e+12 3689 2.90561e+12 2.90527e+12 20934272 0.01% Elapsed real time = 276335.71 sec. (tree size = 557.41 MB, solutions = 17) Nodefile size = 437.34 MB (221.16 MB after compression) 3955 656 2.90550e+12 1847 2.90561e+12 2.90527e+12 20958823 0.01% 3956 657 2.90556e+12 3297 2.90561e+12 2.90527e+12 20972365 0.01% 3964 649 cutoff 2.90561e+12 2.90527e+12 20984831 0.01% 3966 649 2.90540e+12 4879 2.90561e+12 2.90528e+12 21005747 0.01% 3967 650 2.90546e+12 4700 2.90561e+12 2.90528e+12 21021169 0.01% 3968 649 cutoff 2.90561e+12 2.90528e+12 21041150 0.01% 3971 648 2.90528e+12 4557 2.90561e+12 2.90528e+12 21048689 0.01% 3972 649 2.90534e+12 4584 2.90561e+12 2.90528e+12 21063529 0.01% 3973 650 2.90543e+12 4064 2.90561e+12 2.90528e+12 21082126 0.01% 3975 652 2.90546e+12 4324 2.90561e+12 2.90528e+12 21091910 0.01% Elapsed real time = 277877.22 sec. (tree size = 549.81 MB, solutions = 17) Nodefile size = 429.74 MB (217.24 MB after compression) 3976 653 2.90547e+12 4601 2.90561e+12 2.90528e+12 21099113 0.01% 3978 655 2.90548e+12 4499 2.90561e+12 2.90528e+12 21107128 0.01% 3979 656 2.90557e+12 4259 2.90561e+12 2.90528e+12 21121819 0.01% 3984 653 cutoff 2.90561e+12 2.90528e+12 21135782 0.01% 3986 655 2.90535e+12 3967 2.90561e+12 2.90528e+12 21143681 0.01% 3987 656 2.90547e+12 3851 2.90561e+12 2.90528e+12 21161237 0.01% 3989 658 2.90550e+12 3960 2.90561e+12 2.90528e+12 21173559 0.01% 3991 660 2.90552e+12 3352 2.90561e+12 2.90528e+12 21184380 0.01% 3994 659 cutoff 2.90561e+12 2.90528e+12 21193850 0.01% 4001 652 cutoff 2.90561e+12 2.90529e+12 21208464 0.01% Elapsed real time = 278854.64 sec. (tree size = 550.68 MB, solutions = 17) Nodefile size = 428.05 MB (216.41 MB after compression) 4007 646 cutoff 2.90561e+12 2.90530e+12 21223785 0.01% 4011 644 2.90547e+12 3145 2.90561e+12 2.90530e+12 21245644 0.01% 4012 645 2.90560e+12 3001 2.90561e+12 2.90530e+12 21257609 0.01% 4017 642 2.90545e+12 1041 2.90561e+12 2.90531e+12 21272026 0.01% 4018 643 2.90558e+12 3395 2.90561e+12 2.90531e+12 21286707 0.01% 4025 640 cutoff 2.90561e+12 2.90532e+12 21300034 0.01% 4033 632 cutoff 2.90561e+12 2.90532e+12 21311356 0.01% 4038 629 2.90552e+12 3455 2.90561e+12 2.90532e+12 21337037 0.01% 4043 624 cutoff 2.90561e+12 2.90532e+12 21347978 0.01% 4051 618 2.90545e+12 4090 2.90561e+12 2.90533e+12 21368213 0.01% Elapsed real time = 279961.91 sec. (tree size = 521.11 MB, solutions = 17) Nodefile size = 412.00 MB (208.69 MB after compression) 4052 619 2.90551e+12 3961 2.90561e+12 2.90533e+12 21381674 0.01% 4055 616 cutoff 2.90561e+12 2.90533e+12 21391391 0.01% 4061 610 cutoff 2.90561e+12 2.90533e+12 21404236 0.01% 4063 610 2.90544e+12 2192 2.90561e+12 2.90533e+12 21417134 0.01% 4064 611 2.90552e+12 1173 2.90561e+12 2.90533e+12 21427600 0.01% 4067 608 cutoff 2.90561e+12 2.90533e+12 21457013 0.01% 4070 605 cutoff 2.90561e+12 2.90534e+12 21467059 0.01% 4075 600 cutoff 2.90561e+12 2.90534e+12 21480651 0.01% 4082 595 2.90549e+12 4417 2.90561e+12 2.90535e+12 21503238 0.01% 4083 596 2.90553e+12 3493 2.90561e+12 2.90535e+12 21510805 0.01% Elapsed real time = 281118.78 sec. (tree size = 502.54 MB, solutions = 17) Nodefile size = 401.02 MB (203.36 MB after compression) 4088 593 2.90547e+12 3970 2.90561e+12 2.90535e+12 21537196 0.01% 4089 594 2.90550e+12 3812 2.90561e+12 2.90535e+12 21545369 0.01% 4094 591 2.90540e+12 3596 2.90561e+12 2.90535e+12 21564064 0.01% 4095 592 2.90554e+12 3525 2.90561e+12 2.90535e+12 21576154 0.01% 4096 593 2.90559e+12 3571 2.90561e+12 2.90535e+12 21587018 0.01% 4103 586 cutoff 2.90561e+12 2.90535e+12 21601872 0.01% 4115 576 2.90543e+12 4071 2.90561e+12 2.90536e+12 21623909 0.01% 4117 578 2.90544e+12 4155 2.90561e+12 2.90536e+12 21631647 0.01% 4118 579 2.90561e+12 4589 2.90561e+12 2.90536e+12 21648361 0.01% 4122 579 2.90556e+12 3569 2.90561e+12 2.90536e+12 21664128 0.01% Elapsed real time = 282473.34 sec. (tree size = 487.33 MB, solutions = 17) Nodefile size = 393.42 MB (199.65 MB after compression) 4129 572 cutoff 2.90561e+12 2.90537e+12 21676526 0.01% 4139 562 cutoff 2.90561e+12 2.90537e+12 21692391 0.01% 4143 560 2.90544e+12 4588 2.90561e+12 2.90537e+12 21716964 0.01% 4144 561 2.90550e+12 3527 2.90561e+12 2.90537e+12 21730035 0.01% 4151 554 cutoff 2.90561e+12 2.90538e+12 21744107 0.01% 4152 553 cutoff 2.90561e+12 2.90538e+12 21762029 0.01% 4159 546 cutoff 2.90561e+12 2.90538e+12 21775340 0.01% 4163 542 cutoff 2.90561e+12 2.90538e+12 21788092 0.01% 4166 541 2.90557e+12 1062 2.90561e+12 2.90538e+12 21798151 0.01% 4173 536 2.90547e+12 3943 2.90561e+12 2.90539e+12 21811708 0.01% Elapsed real time = 283559.61 sec. (tree size = 451.84 MB, solutions = 17) Nodefile size = 371.45 MB (188.72 MB after compression) 4174 537 2.90554e+12 3591 2.90561e+12 2.90539e+12 21823076 0.01% 4183 528 cutoff 2.90561e+12 2.90539e+12 21837346 0.01% 4188 525 2.90557e+12 4049 2.90561e+12 2.90539e+12 21859157 0.01% 4195 520 2.90553e+12 3549 2.90561e+12 2.90540e+12 21882489 0.01% 4203 512 cutoff 2.90561e+12 2.90540e+12 21894769 0.01% 4205 514 2.90544e+12 3327 2.90561e+12 2.90540e+12 21903602 0.01% 4207 516 2.90550e+12 3351 2.90561e+12 2.90540e+12 21915354 0.01% 4209 518 2.90552e+12 2863 2.90561e+12 2.90540e+12 21924792 0.01% 4211 520 2.90555e+12 3033 2.90561e+12 2.90540e+12 21932497 0.01% 4217 514 cutoff 2.90561e+12 2.90540e+12 21947254 0.01% Elapsed real time = 284588.55 sec. (tree size = 434.10 MB, solutions = 17) Nodefile size = 364.69 MB (185.36 MB after compression) 4219 512 cutoff 2.90561e+12 2.90540e+12 21957284 0.01% 4222 509 cutoff 2.90561e+12 2.90540e+12 21972247 0.01% 4223 510 2.90545e+12 4080 2.90561e+12 2.90540e+12 21983176 0.01% 4224 511 2.90548e+12 4071 2.90561e+12 2.90540e+12 21997194 0.01% 4225 512 2.90552e+12 4035 2.90561e+12 2.90540e+12 22009350 0.01% 4226 513 2.90554e+12 3993 2.90561e+12 2.90540e+12 22018961 0.01% 4232 509 cutoff 2.90561e+12 2.90541e+12 22034355 0.01% 4236 509 2.90557e+12 1882 2.90561e+12 2.90541e+12 22045551 0.01% 4248 497 cutoff 2.90561e+12 2.90542e+12 22058091 0.01% 4251 496 2.90544e+12 3761 2.90561e+12 2.90542e+12 22066012 0.01% Elapsed real time = 285623.76 sec. (tree size = 418.05 MB, solutions = 17) Nodefile size = 355.40 MB (180.88 MB after compression) 4253 498 2.90550e+12 3614 2.90561e+12 2.90542e+12 22086320 0.01% 4254 499 2.90554e+12 3280 2.90561e+12 2.90542e+12 22098216 0.01% 4259 496 cutoff 2.90561e+12 2.90542e+12 22112285 0.01% 4260 497 2.90546e+12 3455 2.90561e+12 2.90542e+12 22121306 0.01% 4261 498 2.90559e+12 2982 2.90561e+12 2.90542e+12 22134144 0.01% 4272 487 cutoff 2.90561e+12 2.90543e+12 22146051 0.01% 4278 483 2.90554e+12 4092 2.90561e+12 2.90543e+12 22172301 0.01% 4279 484 2.90558e+12 3921 2.90561e+12 2.90543e+12 22182436 0.01% 4283 484 2.90561e+12 4539 2.90561e+12 2.90543e+12 22212761 0.01% 4293 476 2.90544e+12 4534 2.90561e+12 2.90543e+12 22225169 0.01% Elapsed real time = 287061.30 sec. (tree size = 401.15 MB, solutions = 17) Nodefile size = 348.64 MB (177.53 MB after compression) 4294 477 2.90557e+12 3781 2.90561e+12 2.90543e+12 22241937 0.01% 4298 475 cutoff 2.90561e+12 2.90543e+12 22252270 0.01% 4302 471 cutoff 2.90561e+12 2.90543e+12 22265508 0.01% 4311 462 cutoff 2.90561e+12 2.90544e+12 22282712 0.01% 4314 459 cutoff 2.90561e+12 2.90544e+12 22293554 0.01% 4319 456 2.90553e+12 4158 2.90561e+12 2.90544e+12 22309205 0.01% 4321 456 cutoff 2.90561e+12 2.90544e+12 22326898 0.01% 4331 446 cutoff 2.90561e+12 2.90544e+12 22336318 0.01% 4335 444 2.90557e+12 4173 2.90561e+12 2.90545e+12 22356238 0.01% 4339 442 2.90557e+12 4320 2.90561e+12 2.90545e+12 22382996 0.01% Elapsed real time = 288372.35 sec. (tree size = 372.41 MB, solutions = 17) Nodefile size = 332.58 MB (169.38 MB after compression) 4342 441 2.90561e+12 2963 2.90561e+12 2.90545e+12 22401750 0.01% 4350 433 cutoff 2.90561e+12 2.90545e+12 22411610 0.01% 4359 426 2.90553e+12 3094 2.90561e+12 2.90545e+12 22423938 0.01% 4369 418 cutoff 2.90561e+12 2.90545e+12 22440449 0.01% 4380 409 2.90554e+12 2189 2.90561e+12 2.90546e+12 22453506 0.01% 4386 407 2.90549e+12 2391 2.90561e+12 2.90546e+12 22468691 0.01% 4387 408 2.90551e+12 2837 2.90561e+12 2.90546e+12 22477866 0.01% 4389 410 2.90560e+12 2864 2.90561e+12 2.90546e+12 22495807 0.01% 4399 400 cutoff 2.90561e+12 2.90546e+12 22506172 0.01% 4406 395 2.90548e+12 4356 2.90561e+12 2.90546e+12 22525920 0.01% Elapsed real time = 289367.85 sec. (tree size = 332.67 MB, solutions = 17) Nodefile size = 296.22 MB (151.11 MB after compression) 4411 390 cutoff 2.90561e+12 2.90546e+12 22537162 0.01% 4413 390 2.90555e+12 4295 2.90561e+12 2.90547e+12 22550491 0.01% 4420 383 cutoff 2.90561e+12 2.90547e+12 22562946 0.00% 4427 376 cutoff 2.90561e+12 2.90547e+12 22572657 0.00% 4439 364 cutoff 2.90561e+12 2.90547e+12 22583111 0.00% 4447 356 cutoff 2.90561e+12 2.90548e+12 22595121 0.00% 4454 353 cutoff 2.90561e+12 2.90548e+12 22616256 0.00% 4460 351 2.90552e+12 4591 2.90561e+12 2.90548e+12 22633189 0.00% 4461 352 2.90560e+12 4142 2.90561e+12 2.90548e+12 22650868 0.00% 4467 348 cutoff 2.90561e+12 2.90548e+12 22662112 0.00% Elapsed real time = 290332.46 sec. (tree size = 293.77 MB, solutions = 17) Nodefile size = 265.78 MB (135.62 MB after compression) 4475 340 cutoff 2.90561e+12 2.90549e+12 22673187 0.00% 4485 332 2.90559e+12 3687 2.90561e+12 2.90549e+12 22691962 0.00% 4490 327 cutoff 2.90561e+12 2.90549e+12 22707360 0.00% 4500 319 2.90550e+12 2992 2.90561e+12 2.90549e+12 22714404 0.00% 4501 320 2.90553e+12 3601 2.90561e+12 2.90549e+12 22721906 0.00% 4504 321 cutoff 2.90561e+12 2.90549e+12 22734319 0.00% 4512 319 2.90559e+12 3797 2.90561e+12 2.90550e+12 22745537 0.00% 4529 302 cutoff 2.90561e+12 2.90550e+12 22754780 0.00% 4544 287 cutoff 2.90561e+12 2.90550e+12 22768742 0.00% 4554 277 cutoff 2.90561e+12 2.90551e+12 22777253 0.00% Elapsed real time = 291097.52 sec. (tree size = 233.73 MB, solutions = 17) Nodefile size = 208.27 MB (106.79 MB after compression) 4564 267 cutoff 2.90561e+12 2.90551e+12 22785106 0.00% 4579 254 2.90557e+12 3968 2.90561e+12 2.90551e+12 22796578 0.00% 4585 250 cutoff 2.90561e+12 2.90552e+12 22807091 0.00% 4597 240 2.90561e+12 2884 2.90561e+12 2.90552e+12 22818875 0.00% 4617 220 cutoff 2.90561e+12 2.90553e+12 22825970 0.00% 4636 201 cutoff 2.90561e+12 2.90553e+12 22835234 0.00% 4650 187 cutoff 2.90561e+12 2.90554e+12 22844567 0.00% 4654 185 2.90561e+12 1986 2.90561e+12 2.90554e+12 22854503 0.00% 4664 175 cutoff 2.90561e+12 2.90554e+12 22860859 0.00% 4688 151 cutoff 2.90561e+12 2.90554e+12 22867495 0.00% Elapsed real time = 291701.30 sec. (tree size = 127.10 MB, solutions = 17) Nodefile size = 117.75 MB (60.91 MB after compression) 4692 147 cutoff 2.90561e+12 2.90555e+12 22875371 0.00% 4710 131 2.90557e+12 3264 2.90561e+12 2.90556e+12 22883788 0.00% 4720 125 cutoff 2.90561e+12 2.90556e+12 22896464 0.00% 4740 105 cutoff 2.90561e+12 2.90557e+12 22903800 0.00% 4754 93 2.90557e+12 3086 2.90561e+12 2.90557e+12 22909360 0.00% 4767 80 cutoff 2.90561e+12 2.90558e+12 22917156 0.00% 4785 64 cutoff 2.90561e+12 2.90558e+12 22923594 0.00% 4796 55 2.90560e+12 4130 2.90561e+12 2.90559e+12 22929978 0.00% 4814 41 2.90560e+12 2907 2.90561e+12 2.90559e+12 22938025 0.00% 4839 16 cutoff 2.90561e+12 2.90560e+12 22942066 0.00% Elapsed real time = 292318.15 sec. (tree size = 12.72 MB, solutions = 17) Nodefile size = 12.71 MB (6.58 MB after compression) Cover cuts applied: 1 Zero-half cuts applied: 32 Gomory fractional cuts applied: 3 Root node processing (before b&c): Real time = 9472.49 Sequential b&c: Real time = 282868.83 ------- Total (root+branch&cut) = 292341.33 sec. Solution pool: 17 solutions saved. MIP - Integer optimal solution: Objective = 2.9056131590e+12 Solution time = 292350.71 sec. Iterations = 22943612 Nodes = 4856 Deterministic time = 75950176.85 ticks (259.79 ticks/sec) Incumbent solution written to file '2DRI.matrix.37p.19aa.usingEref_self_digit8.wcsp.sol'.