Log started (V12.4.0.0) Wed Dec 12 16:19:27 2012 Problem '3CHY.matrix.74p.9aa.usingEref_self_digit8.wcsp.lp' read. Read time = 6.14 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 = 13.93 sec. Elapsed time 10.21 sec. for 0% of probing. Probing time = 19.75 sec. Clique table members: 8086636. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 1822.81 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 1.04618e+13 9266 1.04618e+13 708105 * 0+ 0 3.07447e+18 1.04618e+13 708105 100.00% 0 0 1.04618e+13 9560 3.07447e+18 ZeroHalf: 10 711701 100.00% * 0+ 0 1.53724e+18 1.04618e+13 711701 100.00% * 0+ 0 1.53724e+18 1.04618e+13 711701 100.00% * 0+ 0 1.04885e+13 1.04618e+13 711701 0.25% Repeating presolve. Tried aggregator 2 times. Aggregator has done 1342 substitutions... MIP Presolve eliminated 41313 rows and 965124 columns. Aggregator did 1342 substitutions. Reduced MIP has 104149 rows, 1013504 columns, and 2129674 nonzeros. Reduced MIP has 1013504 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 10.05 sec. for 0% of probing (641 vars fixed). Elapsed time 20.07 sec. for 0% of probing (661 vars fixed). Elapsed time 30.08 sec. for 0% of probing (694 vars fixed). Elapsed time 40.09 sec. for 0% of probing (694 vars fixed). Elapsed time 50.10 sec. for 0% of probing (694 vars fixed). Elapsed time 60.11 sec. for 0% of probing (694 vars fixed). Elapsed time 70.14 sec. for 0% of probing (694 vars fixed). Elapsed time 80.19 sec. for 0% of probing (694 vars fixed). Elapsed time 90.26 sec. for 0% of probing (694 vars fixed). Elapsed time 100.28 sec. for 1% of probing (694 vars fixed). Elapsed time 110.28 sec. for 1% of probing (694 vars fixed). Elapsed time 120.29 sec. for 1% of probing (694 vars fixed). Elapsed time 130.30 sec. for 1% of probing (694 vars fixed). Elapsed time 140.36 sec. for 1% of probing (694 vars fixed). Elapsed time 150.39 sec. for 1% of probing (694 vars fixed). Elapsed time 160.40 sec. for 1% of probing (694 vars fixed). Elapsed time 170.43 sec. for 1% of probing (694 vars fixed). Elapsed time 180.43 sec. for 1% of probing (694 vars fixed). Elapsed time 190.44 sec. for 1% of probing (694 vars fixed). Probing fixed 694 vars, tightened 0 bounds. Probing time = 198.49 sec. Tried aggregator 1 time. Presolve has eliminated 1 rows and 695 columns... MIP Presolve eliminated 1 rows and 695 columns. Reduced MIP has 104148 rows, 1012809 columns, and 2128284 nonzeros. Reduced MIP has 1012809 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 222.67 sec. Elapsed time 10.34 sec. for 0% of probing. Probing time = 15.51 sec. Clique table members: 4156751. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 1009.29 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 1.04885e+13 1.04618e+13 1338652 0.25% 0 0 1.04618e+13 9419 1.04885e+13 1.04618e+13 1338652 0.25% * 0+ 0 1.04628e+13 1.04618e+13 1338652 0.01% Heuristic still looking. 0 2 1.04618e+13 9419 1.04628e+13 1.04618e+13 1338652 0.01% Elapsed real time = 3642.85 sec. (tree size = 0.00 MB, solutions = 5) 1 3 1.04620e+13 8872 1.04628e+13 1.04618e+13 1345668 0.01% 2 4 1.04620e+13 10703 1.04628e+13 1.04618e+13 1346973 0.01% 3 5 1.04620e+13 8957 1.04628e+13 1.04618e+13 1350856 0.01% 4 6 1.04622e+13 10450 1.04628e+13 1.04618e+13 1362992 0.01% 5 7 1.04622e+13 7001 1.04628e+13 1.04618e+13 1382259 0.01% 6 8 1.04622e+13 8149 1.04628e+13 1.04618e+13 1394258 0.01% 7 9 1.04622e+13 5305 1.04628e+13 1.04618e+13 1405077 0.01% 8 10 1.04623e+13 4861 1.04628e+13 1.04618e+13 1407681 0.01% 9 11 1.04623e+13 5936 1.04628e+13 1.04618e+13 1410692 0.01% 10 12 1.04623e+13 4607 1.04628e+13 1.04618e+13 1412498 0.01% Elapsed real time = 3911.39 sec. (tree size = 2.62 MB, solutions = 5) 11 13 1.04623e+13 5418 1.04628e+13 1.04618e+13 1416758 0.01% 12 14 1.04624e+13 3192 1.04628e+13 1.04618e+13 1420891 0.01% 13 15 1.04624e+13 3153 1.04628e+13 1.04618e+13 1421547 0.01% 15 17 1.04628e+13 980 1.04628e+13 1.04618e+13 1424694 0.01% 18 16 1.04619e+13 11881 1.04628e+13 1.04619e+13 1430087 0.01% 19 17 1.04619e+13 9722 1.04628e+13 1.04619e+13 1431594 0.01% 20 18 1.04619e+13 8435 1.04628e+13 1.04619e+13 1435843 0.01% 21 19 1.04620e+13 8403 1.04628e+13 1.04619e+13 1438311 0.01% 22 20 1.04620e+13 10857 1.04628e+13 1.04619e+13 1439873 0.01% 23 21 1.04621e+13 7804 1.04628e+13 1.04619e+13 1446303 0.01% Elapsed real time = 4032.23 sec. (tree size = 7.39 MB, solutions = 5) 24 22 1.04621e+13 7831 1.04628e+13 1.04619e+13 1448253 0.01% 25 23 1.04621e+13 7160 1.04628e+13 1.04619e+13 1451698 0.01% 26 24 1.04621e+13 6157 1.04628e+13 1.04619e+13 1455254 0.01% 27 25 1.04622e+13 5680 1.04628e+13 1.04619e+13 1457677 0.01% 28 26 1.04622e+13 7674 1.04628e+13 1.04619e+13 1461053 0.01% 29 27 1.04622e+13 5530 1.04628e+13 1.04619e+13 1462710 0.01% * 30+ 26 1.04626e+13 1.04619e+13 1466705 0.01% 30 28 1.04622e+13 6150 1.04626e+13 1.04619e+13 1466705 0.01% 31 29 1.04623e+13 4023 1.04626e+13 1.04619e+13 1470644 0.01% 33 31 1.04623e+13 4832 1.04626e+13 1.04619e+13 1473938 0.01% 35 31 1.04624e+13 4971 1.04626e+13 1.04619e+13 1477898 0.01% Elapsed real time = 4139.14 sec. (tree size = 9.86 MB, solutions = 6) 36 32 1.04624e+13 2090 1.04626e+13 1.04619e+13 1480849 0.01% 38 34 1.04625e+13 1860 1.04626e+13 1.04619e+13 1483086 0.01% * 39 31 integral 0 1.04625e+13 1.04619e+13 1483123 0.01% 40 32 1.04619e+13 5904 1.04625e+13 1.04619e+13 1487533 0.01% 41 33 1.04620e+13 9704 1.04625e+13 1.04619e+13 1494317 0.01% 42 34 1.04620e+13 8788 1.04625e+13 1.04619e+13 1498661 0.01% 43 35 1.04620e+13 8591 1.04625e+13 1.04619e+13 1500244 0.01% 44 36 1.04623e+13 8232 1.04625e+13 1.04619e+13 1508607 0.01% 45 37 1.04623e+13 9276 1.04625e+13 1.04619e+13 1511425 0.01% 46 38 1.04623e+13 10305 1.04625e+13 1.04619e+13 1514913 0.01% Elapsed real time = 4261.46 sec. (tree size = 13.44 MB, solutions = 7) 47 39 1.04624e+13 7616 1.04625e+13 1.04619e+13 1520211 0.01% 49 41 1.04624e+13 6592 1.04625e+13 1.04619e+13 1525325 0.01% 50 40 cutoff 1.04625e+13 1.04619e+13 1529443 0.01% 51 39 cutoff 1.04625e+13 1.04619e+13 1530008 0.01% 52 40 1.04619e+13 9724 1.04625e+13 1.04619e+13 1532625 0.01% 53 41 1.04619e+13 8504 1.04625e+13 1.04619e+13 1535385 0.01% 54 42 1.04620e+13 9463 1.04625e+13 1.04619e+13 1542771 0.01% 55 43 1.04620e+13 8639 1.04625e+13 1.04619e+13 1543670 0.01% 56 44 1.04620e+13 9935 1.04625e+13 1.04619e+13 1545235 0.01% 57 45 1.04621e+13 7940 1.04625e+13 1.04619e+13 1546960 0.01% Elapsed real time = 4367.16 sec. (tree size = 15.46 MB, solutions = 7) 58 46 1.04621e+13 8902 1.04625e+13 1.04619e+13 1550733 0.01% 59 47 1.04621e+13 6114 1.04625e+13 1.04619e+13 1554318 0.01% 60 48 1.04621e+13 4498 1.04625e+13 1.04619e+13 1555996 0.01% 62 50 1.04622e+13 9534 1.04625e+13 1.04619e+13 1564147 0.01% 63 51 1.04623e+13 8593 1.04625e+13 1.04619e+13 1569823 0.01% 64 52 1.04623e+13 7667 1.04625e+13 1.04619e+13 1574570 0.01% 65 53 1.04623e+13 8032 1.04625e+13 1.04619e+13 1576616 0.01% 66 54 1.04624e+13 10424 1.04625e+13 1.04619e+13 1583838 0.01% 67 55 1.04624e+13 11346 1.04625e+13 1.04619e+13 1590583 0.01% 68 56 1.04624e+13 7796 1.04625e+13 1.04619e+13 1593602 0.01% Elapsed real time = 4533.70 sec. (tree size = 19.84 MB, solutions = 7) 69 57 1.04624e+13 8544 1.04625e+13 1.04619e+13 1598030 0.01% 70 58 1.04624e+13 7786 1.04625e+13 1.04619e+13 1600655 0.01% 71 59 1.04625e+13 7813 1.04625e+13 1.04619e+13 1603006 0.01% 74 58 1.04621e+13 7973 1.04625e+13 1.04619e+13 1611525 0.01% 75 59 1.04621e+13 8425 1.04625e+13 1.04619e+13 1616963 0.01% 77 61 1.04622e+13 7503 1.04625e+13 1.04619e+13 1622130 0.01% 78 62 1.04622e+13 10078 1.04625e+13 1.04619e+13 1626793 0.01% 79 63 1.04622e+13 8610 1.04625e+13 1.04619e+13 1629648 0.01% 80 64 1.04622e+13 5646 1.04625e+13 1.04619e+13 1630288 0.01% 81 65 1.04623e+13 11509 1.04625e+13 1.04619e+13 1640969 0.01% Elapsed real time = 4674.42 sec. (tree size = 22.60 MB, solutions = 7) 82 66 1.04623e+13 8727 1.04625e+13 1.04619e+13 1646166 0.01% 84 68 1.04624e+13 8876 1.04625e+13 1.04619e+13 1652752 0.01% 85 69 1.04624e+13 9901 1.04625e+13 1.04619e+13 1656088 0.01% 86 70 1.04624e+13 8956 1.04625e+13 1.04619e+13 1663852 0.01% 87 71 1.04625e+13 12164 1.04625e+13 1.04619e+13 1671568 0.01% 90 70 1.04621e+13 5700 1.04625e+13 1.04619e+13 1678002 0.00% 91 71 1.04621e+13 11034 1.04625e+13 1.04619e+13 1680272 0.00% 92 72 1.04621e+13 8092 1.04625e+13 1.04619e+13 1687547 0.00% 93 73 1.04622e+13 6325 1.04625e+13 1.04619e+13 1693572 0.00% 96 74 cutoff 1.04625e+13 1.04619e+13 1696199 0.00% Elapsed real time = 4855.78 sec. (tree size = 26.59 MB, solutions = 7) 97 75 1.04622e+13 4730 1.04625e+13 1.04619e+13 1698144 0.00% 99 77 1.04623e+13 6010 1.04625e+13 1.04619e+13 1706942 0.00% 101 77 1.04624e+13 6378 1.04625e+13 1.04619e+13 1712837 0.00% 102 76 cutoff 1.04625e+13 1.04619e+13 1716517 0.00% 103 77 1.04624e+13 6203 1.04625e+13 1.04619e+13 1720954 0.00% 104 78 1.04624e+13 5966 1.04625e+13 1.04619e+13 1723370 0.00% 105 79 1.04625e+13 6231 1.04625e+13 1.04619e+13 1729830 0.00% 109 77 1.04622e+13 8529 1.04625e+13 1.04619e+13 1737858 0.00% 110 78 1.04623e+13 3146 1.04625e+13 1.04619e+13 1742372 0.00% 111 79 1.04623e+13 8059 1.04625e+13 1.04619e+13 1746089 0.00% Elapsed real time = 4992.86 sec. (tree size = 28.17 MB, solutions = 7) 112 80 1.04623e+13 12256 1.04625e+13 1.04619e+13 1749813 0.00% 114 82 1.04623e+13 7957 1.04625e+13 1.04619e+13 1751610 0.00% 115 83 1.04624e+13 12504 1.04625e+13 1.04619e+13 1756810 0.00% 116 84 1.04624e+13 7650 1.04625e+13 1.04619e+13 1759649 0.00% 117 85 1.04624e+13 10395 1.04625e+13 1.04619e+13 1765669 0.00% 120 84 1.04621e+13 6801 1.04625e+13 1.04620e+13 1774216 0.00% 121 85 1.04621e+13 10347 1.04625e+13 1.04620e+13 1775813 0.00% 122 86 1.04622e+13 8959 1.04625e+13 1.04620e+13 1782472 0.00% 123 87 1.04622e+13 9062 1.04625e+13 1.04620e+13 1787578 0.00% 124 88 1.04622e+13 8088 1.04625e+13 1.04620e+13 1794867 0.00% Elapsed real time = 5135.92 sec. (tree size = 30.92 MB, solutions = 7) 125 89 1.04623e+13 8001 1.04625e+13 1.04620e+13 1801286 0.00% 128 92 1.04624e+13 10873 1.04625e+13 1.04620e+13 1812681 0.00% 130 94 1.04624e+13 8586 1.04625e+13 1.04620e+13 1824186 0.00% 132 96 1.04625e+13 10032 1.04625e+13 1.04620e+13 1836565 0.00% 135 95 1.04620e+13 11177 1.04625e+13 1.04620e+13 1841961 0.00% 137 97 1.04620e+13 10186 1.04625e+13 1.04620e+13 1851058 0.00% 138 98 1.04621e+13 9318 1.04625e+13 1.04620e+13 1857534 0.00% 140 100 1.04621e+13 6248 1.04625e+13 1.04620e+13 1860351 0.00% 145 105 1.04622e+13 7086 1.04625e+13 1.04620e+13 1872352 0.00% 147 107 1.04624e+13 10776 1.04625e+13 1.04620e+13 1881548 0.00% Elapsed real time = 5418.56 sec. (tree size = 37.74 MB, solutions = 7) 149 109 1.04624e+13 9419 1.04625e+13 1.04620e+13 1891240 0.00% 151 111 1.04625e+13 7420 1.04625e+13 1.04620e+13 1901319 0.00% 155 111 1.04620e+13 9421 1.04625e+13 1.04620e+13 1908647 0.00% 156 112 1.04621e+13 10541 1.04625e+13 1.04620e+13 1916226 0.00% 160 116 1.04621e+13 6803 1.04625e+13 1.04620e+13 1924579 0.00% 163 119 1.04622e+13 5139 1.04625e+13 1.04620e+13 1931979 0.00% 164 120 1.04623e+13 7932 1.04625e+13 1.04620e+13 1942322 0.00% 166 122 1.04624e+13 7998 1.04625e+13 1.04620e+13 1952660 0.00% 168 124 1.04624e+13 9002 1.04625e+13 1.04620e+13 1966882 0.00% 169 125 1.04625e+13 10206 1.04625e+13 1.04620e+13 1974745 0.00% Elapsed real time = 5713.64 sec. (tree size = 43.38 MB, solutions = 7) 173 125 1.04621e+13 10268 1.04625e+13 1.04620e+13 1987037 0.00% 177 129 1.04622e+13 6279 1.04625e+13 1.04620e+13 1994226 0.00% 181 131 1.04623e+13 8039 1.04625e+13 1.04620e+13 2005305 0.00% 183 131 1.04623e+13 10902 1.04625e+13 1.04620e+13 2012060 0.00% 185 131 1.04624e+13 7654 1.04625e+13 1.04620e+13 2023336 0.00% 187 133 1.04624e+13 8817 1.04625e+13 1.04620e+13 2031336 0.00% 189 133 cutoff 1.04625e+13 1.04620e+13 2040404 0.00% 191 133 1.04621e+13 9665 1.04625e+13 1.04620e+13 2046795 0.00% 193 135 1.04622e+13 9725 1.04625e+13 1.04620e+13 2054639 0.00% 195 137 1.04622e+13 7815 1.04625e+13 1.04620e+13 2062687 0.00% Elapsed real time = 5950.21 sec. (tree size = 47.01 MB, solutions = 7) 197 139 1.04623e+13 6965 1.04625e+13 1.04620e+13 2069382 0.00% 200 142 1.04623e+13 8304 1.04625e+13 1.04620e+13 2080999 0.00% 201 143 1.04624e+13 8217 1.04625e+13 1.04620e+13 2087919 0.00% 202 144 1.04624e+13 8880 1.04625e+13 1.04620e+13 2096944 0.00% 204 142 cutoff 1.04625e+13 1.04620e+13 2106763 0.00% 205 143 1.04622e+13 11157 1.04625e+13 1.04620e+13 2120055 0.00% 206 144 1.04623e+13 10875 1.04625e+13 1.04620e+13 2131862 0.00% 208 146 1.04623e+13 8543 1.04625e+13 1.04620e+13 2139210 0.00% 210 148 1.04624e+13 5693 1.04625e+13 1.04620e+13 2147280 0.00% 213 151 1.04624e+13 7971 1.04625e+13 1.04620e+13 2157853 0.00% Elapsed real time = 6217.08 sec. (tree size = 51.33 MB, solutions = 7) 216 150 1.04621e+13 9818 1.04625e+13 1.04620e+13 2167013 0.00% 217 151 1.04621e+13 11818 1.04625e+13 1.04620e+13 2173089 0.00% 219 153 1.04622e+13 9272 1.04625e+13 1.04620e+13 2180678 0.00% 220 154 1.04622e+13 6800 1.04625e+13 1.04620e+13 2183750 0.00% 223 157 1.04623e+13 9153 1.04625e+13 1.04620e+13 2191026 0.00% 226 160 1.04624e+13 6864 1.04625e+13 1.04620e+13 2200039 0.00% 229 163 1.04624e+13 7276 1.04625e+13 1.04620e+13 2210278 0.00% 232 166 1.04625e+13 8872 1.04625e+13 1.04620e+13 2218287 0.00% 237 165 1.04622e+13 11345 1.04625e+13 1.04620e+13 2227455 0.00% 239 167 1.04623e+13 10905 1.04625e+13 1.04620e+13 2236881 0.00% Elapsed real time = 6427.06 sec. (tree size = 55.31 MB, solutions = 7) 241 169 1.04624e+13 11840 1.04625e+13 1.04620e+13 2245306 0.00% 243 171 1.04624e+13 8222 1.04625e+13 1.04620e+13 2255163 0.00% 249 171 1.04621e+13 9452 1.04625e+13 1.04620e+13 2268140 0.00% 251 173 1.04622e+13 9960 1.04625e+13 1.04620e+13 2277852 0.00% 254 176 1.04623e+13 7634 1.04625e+13 1.04620e+13 2286421 0.00% 258 178 1.04624e+13 6136 1.04625e+13 1.04620e+13 2294700 0.00% 261 177 cutoff 1.04625e+13 1.04620e+13 2301265 0.00% 265 177 1.04623e+13 11585 1.04625e+13 1.04620e+13 2309235 0.00% 267 179 1.04623e+13 10137 1.04625e+13 1.04620e+13 2314969 0.00% 269 181 1.04624e+13 9993 1.04625e+13 1.04620e+13 2324688 0.00% Elapsed real time = 6670.45 sec. (tree size = 59.82 MB, solutions = 7) 271 183 1.04624e+13 12274 1.04625e+13 1.04620e+13 2332995 0.00% 274 184 cutoff 1.04625e+13 1.04620e+13 2341617 0.00% 277 185 1.04620e+13 9333 1.04625e+13 1.04620e+13 2348983 0.00% 279 187 1.04621e+13 8554 1.04625e+13 1.04620e+13 2357344 0.00% 281 189 1.04622e+13 11019 1.04625e+13 1.04620e+13 2367289 0.00% 283 191 1.04623e+13 9702 1.04625e+13 1.04620e+13 2375620 0.00% 287 195 1.04623e+13 9633 1.04625e+13 1.04620e+13 2385834 0.00% 291 199 1.04624e+13 1742 1.04625e+13 1.04620e+13 2395434 0.00% 295 199 1.04621e+13 11735 1.04625e+13 1.04620e+13 2404125 0.00% 296 200 1.04622e+13 7377 1.04625e+13 1.04620e+13 2412902 0.00% Elapsed real time = 6904.71 sec. (tree size = 65.96 MB, solutions = 7) 300 204 1.04624e+13 4698 1.04625e+13 1.04620e+13 2424100 0.00% 305 205 1.04621e+13 7708 1.04625e+13 1.04620e+13 2440897 0.00% 308 208 1.04622e+13 6434 1.04625e+13 1.04620e+13 2447336 0.00% 310 210 1.04622e+13 6641 1.04625e+13 1.04620e+13 2453855 0.00% 312 212 1.04623e+13 7629 1.04625e+13 1.04620e+13 2462290 0.00% 316 216 1.04624e+13 6760 1.04625e+13 1.04620e+13 2471565 0.00% 321 217 1.04621e+13 8786 1.04625e+13 1.04620e+13 2484295 0.00% 323 219 1.04622e+13 7032 1.04625e+13 1.04620e+13 2492775 0.00% 326 222 1.04623e+13 6894 1.04625e+13 1.04620e+13 2502654 0.00% 327 223 1.04624e+13 5914 1.04625e+13 1.04620e+13 2514578 0.00% Elapsed real time = 7145.39 sec. (tree size = 72.93 MB, solutions = 7) 330 222 1.04623e+13 8782 1.04625e+13 1.04620e+13 2524922 0.00% 332 224 1.04623e+13 7366 1.04625e+13 1.04620e+13 2530806 0.00% 334 226 1.04624e+13 7348 1.04625e+13 1.04620e+13 2539907 0.00% 336 228 1.04624e+13 8667 1.04625e+13 1.04620e+13 2549108 0.00% 341 229 1.04622e+13 11365 1.04625e+13 1.04620e+13 2560248 0.00% 342 230 1.04622e+13 10275 1.04625e+13 1.04620e+13 2568188 0.00% 345 233 1.04623e+13 7631 1.04625e+13 1.04620e+13 2578858 0.00% 348 236 1.04624e+13 6330 1.04625e+13 1.04620e+13 2587537 0.00% 350 238 1.04625e+13 7619 1.04625e+13 1.04620e+13 2601001 0.00% 355 239 1.04622e+13 8376 1.04625e+13 1.04620e+13 2610479 0.00% Elapsed real time = 7409.24 sec. (tree size = 78.20 MB, solutions = 7) 359 243 1.04623e+13 8100 1.04625e+13 1.04620e+13 2623612 0.00% 360 244 1.04623e+13 8402 1.04625e+13 1.04620e+13 2629676 0.00% 363 245 cutoff 1.04625e+13 1.04620e+13 2637754 0.00% 364 246 1.04624e+13 7590 1.04625e+13 1.04620e+13 2646860 0.00% 368 246 1.04622e+13 8068 1.04625e+13 1.04620e+13 2658312 0.00% 371 249 1.04622e+13 8559 1.04625e+13 1.04620e+13 2666754 0.00% 374 252 1.04623e+13 9686 1.04625e+13 1.04620e+13 2677159 0.00% 375 253 1.04624e+13 6297 1.04625e+13 1.04620e+13 2685999 0.00% 378 256 1.04625e+13 8312 1.04625e+13 1.04620e+13 2697997 0.00% 381 255 1.04623e+13 9004 1.04625e+13 1.04620e+13 2706135 0.00% Elapsed real time = 7682.20 sec. (tree size = 83.10 MB, solutions = 7) 383 257 1.04624e+13 8170 1.04625e+13 1.04620e+13 2714916 0.00% 386 260 1.04625e+13 5533 1.04625e+13 1.04620e+13 2725263 0.00% 390 260 1.04622e+13 6409 1.04625e+13 1.04621e+13 2731745 0.00% 391 261 1.04622e+13 10175 1.04625e+13 1.04621e+13 2737549 0.00% 395 265 1.04623e+13 8744 1.04625e+13 1.04621e+13 2752105 0.00% 397 267 1.04624e+13 10406 1.04625e+13 1.04621e+13 2760900 0.00% 399 269 1.04624e+13 11152 1.04625e+13 1.04621e+13 2771186 0.00% 400 270 1.04624e+13 7287 1.04625e+13 1.04621e+13 2776389 0.00% 405 271 1.04621e+13 4929 1.04625e+13 1.04621e+13 2785060 0.00% 407 273 1.04622e+13 7488 1.04625e+13 1.04621e+13 2794066 0.00% Elapsed real time = 7932.68 sec. (tree size = 88.80 MB, solutions = 7) 410 276 1.04623e+13 5904 1.04625e+13 1.04621e+13 2805835 0.00% 412 278 1.04624e+13 6768 1.04625e+13 1.04621e+13 2814335 0.00% 415 281 1.04624e+13 5958 1.04625e+13 1.04621e+13 2821489 0.00% 422 284 1.04621e+13 2970 1.04625e+13 1.04621e+13 2829877 0.00% 425 287 1.04621e+13 5774 1.04625e+13 1.04621e+13 2836051 0.00% 427 289 1.04622e+13 5670 1.04625e+13 1.04621e+13 2843551 0.00% 430 292 1.04623e+13 5248 1.04625e+13 1.04621e+13 2853048 0.00% 433 295 1.04624e+13 5408 1.04625e+13 1.04621e+13 2861943 0.00% 438 300 1.04624e+13 4569 1.04625e+13 1.04621e+13 2870858 0.00% 445 303 1.04621e+13 7096 1.04625e+13 1.04621e+13 2876619 0.00% Elapsed real time = 8141.06 sec. (tree size = 98.90 MB, solutions = 7) 448 306 1.04621e+13 6242 1.04625e+13 1.04621e+13 2883434 0.00% 452 310 1.04622e+13 5706 1.04625e+13 1.04621e+13 2889576 0.00% 453 311 1.04622e+13 7695 1.04625e+13 1.04621e+13 2897743 0.00% 455 313 1.04623e+13 7219 1.04625e+13 1.04621e+13 2903938 0.00% 457 315 1.04624e+13 6402 1.04625e+13 1.04621e+13 2914655 0.00% 460 316 1.04624e+13 7349 1.04625e+13 1.04621e+13 2928842 0.00% 465 317 1.04622e+13 7988 1.04625e+13 1.04621e+13 2939756 0.00% 468 320 1.04622e+13 8677 1.04625e+13 1.04621e+13 2946790 0.00% 473 321 1.04622e+13 6279 1.04625e+13 1.04621e+13 2958521 0.00% 476 324 1.04623e+13 7586 1.04625e+13 1.04621e+13 2967648 0.00% Elapsed real time = 8350.14 sec. (tree size = 105.25 MB, solutions = 7) 478 326 1.04623e+13 7614 1.04625e+13 1.04621e+13 2974769 0.00% 479 327 1.04624e+13 9948 1.04625e+13 1.04621e+13 2982469 0.00% 482 328 1.04624e+13 6674 1.04625e+13 1.04621e+13 2988487 0.00% 485 327 1.04622e+13 8218 1.04625e+13 1.04621e+13 3003145 0.00% 486 328 1.04623e+13 9133 1.04625e+13 1.04621e+13 3010484 0.00% 490 332 1.04623e+13 6814 1.04625e+13 1.04621e+13 3019822 0.00% 492 334 1.04624e+13 7467 1.04625e+13 1.04621e+13 3027624 0.00% 495 335 cutoff 1.04625e+13 1.04621e+13 3035456 0.00% 499 337 1.04622e+13 7687 1.04625e+13 1.04621e+13 3046340 0.00% 501 339 1.04622e+13 4860 1.04625e+13 1.04621e+13 3050463 0.00% Elapsed real time = 8577.65 sec. (tree size = 109.88 MB, solutions = 7) 503 341 1.04623e+13 6521 1.04625e+13 1.04621e+13 3058067 0.00% 507 345 1.04624e+13 8570 1.04625e+13 1.04621e+13 3068607 0.00% 510 348 1.04624e+13 5261 1.04625e+13 1.04621e+13 3077469 0.00% 515 349 1.04622e+13 5114 1.04625e+13 1.04621e+13 3086402 0.00% 518 352 1.04623e+13 6286 1.04625e+13 1.04621e+13 3098065 0.00% 520 354 1.04623e+13 5688 1.04625e+13 1.04621e+13 3103982 0.00% 522 356 1.04624e+13 5584 1.04625e+13 1.04621e+13 3114270 0.00% 525 359 1.04625e+13 3392 1.04625e+13 1.04621e+13 3123395 0.00% 529 359 1.04624e+13 8060 1.04625e+13 1.04621e+13 3133946 0.00% 531 361 1.04624e+13 8075 1.04625e+13 1.04621e+13 3144212 0.00% Elapsed real time = 8804.06 sec. (tree size = 116.74 MB, solutions = 7) 535 361 1.04623e+13 6784 1.04625e+13 1.04621e+13 3160894 0.00% 541 363 1.04623e+13 6002 1.04625e+13 1.04621e+13 3173562 0.00% 544 366 1.04624e+13 3825 1.04625e+13 1.04621e+13 3182523 0.00% 549 367 1.04624e+13 6403 1.04625e+13 1.04621e+13 3198304 0.00% 550 368 1.04624e+13 7668 1.04625e+13 1.04621e+13 3204562 0.00% 553 369 cutoff 1.04625e+13 1.04621e+13 3211822 0.00% 557 369 1.04622e+13 4972 1.04625e+13 1.04621e+13 3220919 0.00% 559 371 1.04623e+13 5238 1.04625e+13 1.04621e+13 3227930 0.00% 562 372 1.04624e+13 6192 1.04625e+13 1.04621e+13 3240913 0.00% 566 370 1.04622e+13 6252 1.04625e+13 1.04621e+13 3251674 0.00% Elapsed real time = 9022.19 sec. (tree size = 120.49 MB, solutions = 7) 568 372 1.04623e+13 11152 1.04625e+13 1.04621e+13 3262244 0.00% 571 375 1.04623e+13 6769 1.04625e+13 1.04621e+13 3269730 0.00% 573 377 1.04624e+13 7330 1.04625e+13 1.04621e+13 3276907 0.00% 577 377 cutoff 1.04625e+13 1.04621e+13 3287072 0.00% 581 377 1.04622e+13 5829 1.04625e+13 1.04621e+13 3294544 0.00% 583 379 1.04622e+13 9613 1.04625e+13 1.04621e+13 3302789 0.00% 587 383 1.04624e+13 6926 1.04625e+13 1.04621e+13 3314461 0.00% 589 385 1.04624e+13 7318 1.04625e+13 1.04621e+13 3321006 0.00% 591 387 1.04624e+13 6597 1.04625e+13 1.04621e+13 3327844 0.00% 596 388 1.04622e+13 7618 1.04625e+13 1.04621e+13 3335675 0.00% Elapsed real time = 9224.92 sec. (tree size = 126.29 MB, solutions = 7) 599 391 1.04623e+13 7423 1.04625e+13 1.04621e+13 3345377 0.00% 602 394 1.04623e+13 10955 1.04625e+13 1.04621e+13 3358929 0.00% 603 395 1.04624e+13 10391 1.04625e+13 1.04621e+13 3365470 0.00% 606 398 1.04624e+13 8486 1.04625e+13 1.04621e+13 3372084 0.00% 611 399 1.04622e+13 7041 1.04625e+13 1.04621e+13 3378828 0.00% 613 401 1.04623e+13 8346 1.04625e+13 1.04621e+13 3387910 0.00% 618 404 1.04624e+13 5595 1.04625e+13 1.04621e+13 3399228 0.00% 625 403 1.04624e+13 4657 1.04625e+13 1.04621e+13 3411256 0.00% 627 405 1.04624e+13 5953 1.04625e+13 1.04621e+13 3418817 0.00% 631 405 1.04622e+13 7332 1.04625e+13 1.04621e+13 3428057 0.00% Elapsed real time = 9449.24 sec. (tree size = 132.10 MB, solutions = 7) Nodefile size = 4.51 MB (1.43 MB after compression) 633 407 1.04623e+13 5595 1.04625e+13 1.04621e+13 3435169 0.00% 635 409 1.04624e+13 10872 1.04625e+13 1.04621e+13 3446292 0.00% 636 410 1.04624e+13 9538 1.04625e+13 1.04621e+13 3453269 0.00% 641 411 1.04622e+13 7328 1.04625e+13 1.04621e+13 3462282 0.00% 643 413 1.04623e+13 6541 1.04625e+13 1.04621e+13 3473765 0.00% 648 418 1.04623e+13 6641 1.04625e+13 1.04621e+13 3481371 0.00% 650 420 1.04624e+13 7033 1.04625e+13 1.04621e+13 3488527 0.00% 655 419 cutoff 1.04625e+13 1.04621e+13 3498126 0.00% 658 422 1.04623e+13 6536 1.04625e+13 1.04621e+13 3509274 0.00% 662 424 1.04624e+13 9482 1.04625e+13 1.04621e+13 3522776 0.00% Elapsed real time = 9678.27 sec. (tree size = 137.93 MB, solutions = 7) Nodefile size = 10.50 MB (3.33 MB after compression) 667 423 1.04623e+13 4631 1.04625e+13 1.04621e+13 3538061 0.00% 672 426 1.04625e+13 4822 1.04625e+13 1.04621e+13 3546266 0.00% 677 427 1.04622e+13 6867 1.04625e+13 1.04621e+13 3557549 0.00% 680 430 1.04623e+13 7278 1.04625e+13 1.04621e+13 3567843 0.00% 683 433 1.04623e+13 6033 1.04625e+13 1.04621e+13 3577631 0.00% 686 436 1.04624e+13 7218 1.04625e+13 1.04621e+13 3588297 0.00% 690 440 1.04624e+13 7280 1.04625e+13 1.04621e+13 3596320 0.00% 694 444 1.04624e+13 7888 1.04625e+13 1.04621e+13 3604052 0.00% 700 446 1.04622e+13 2096 1.04625e+13 1.04621e+13 3613473 0.00% 702 448 1.04623e+13 5548 1.04625e+13 1.04621e+13 3621651 0.00% Elapsed real time = 9894.23 sec. (tree size = 146.45 MB, solutions = 7) Nodefile size = 18.77 MB (5.80 MB after compression) 704 450 1.04624e+13 7588 1.04625e+13 1.04621e+13 3629047 0.00% 706 452 1.04624e+13 5815 1.04625e+13 1.04621e+13 3635570 0.00% 710 452 1.04622e+13 5924 1.04625e+13 1.04621e+13 3644595 0.00% 712 454 1.04622e+13 6554 1.04625e+13 1.04621e+13 3651436 0.00% 715 457 1.04624e+13 4452 1.04625e+13 1.04621e+13 3662263 0.00% 718 460 1.04624e+13 6188 1.04625e+13 1.04621e+13 3672165 0.00% 724 462 1.04621e+13 6853 1.04625e+13 1.04621e+13 3680919 0.00% 727 463 1.04622e+13 6164 1.04625e+13 1.04621e+13 3689632 0.00% 730 464 1.04622e+13 5699 1.04625e+13 1.04621e+13 3698690 0.00% 732 466 1.04623e+13 2999 1.04625e+13 1.04621e+13 3705413 0.00% Elapsed real time = 10093.06 sec. (tree size = 152.26 MB, solutions = 7) Nodefile size = 24.76 MB (7.95 MB after compression) 735 467 1.04623e+13 4789 1.04625e+13 1.04621e+13 3713652 0.00% 740 470 1.04624e+13 4768 1.04625e+13 1.04621e+13 3722352 0.00% 745 469 1.04622e+13 11305 1.04625e+13 1.04621e+13 3731878 0.00% 749 473 1.04623e+13 2541 1.04625e+13 1.04621e+13 3739036 0.00% 750 474 1.04624e+13 5786 1.04625e+13 1.04621e+13 3745248 0.00% 752 474 cutoff 1.04625e+13 1.04621e+13 3753034 0.00% 756 474 1.04622e+13 8271 1.04625e+13 1.04621e+13 3767881 0.00% 758 476 1.04623e+13 7900 1.04625e+13 1.04621e+13 3777631 0.00% 761 479 1.04624e+13 7443 1.04625e+13 1.04621e+13 3790445 0.00% 764 482 1.04625e+13 6532 1.04625e+13 1.04621e+13 3799770 0.00% Elapsed real time = 10308.94 sec. (tree size = 157.34 MB, solutions = 7) Nodefile size = 29.93 MB (10.26 MB after compression) 768 482 1.04623e+13 8356 1.04625e+13 1.04621e+13 3813776 0.00% 770 484 1.04623e+13 8399 1.04625e+13 1.04621e+13 3822075 0.00% 772 486 1.04624e+13 7470 1.04625e+13 1.04621e+13 3829435 0.00% 775 489 1.04625e+13 8028 1.04625e+13 1.04621e+13 3841158 0.00% 779 489 1.04622e+13 6186 1.04625e+13 1.04621e+13 3849409 0.00% 782 492 1.04622e+13 6998 1.04625e+13 1.04621e+13 3858243 0.00% 784 494 1.04623e+13 9224 1.04625e+13 1.04621e+13 3864742 0.00% 788 498 1.04624e+13 3330 1.04625e+13 1.04621e+13 3872599 0.00% 792 498 1.04622e+13 5544 1.04625e+13 1.04621e+13 3881532 0.00% 793 499 1.04623e+13 10414 1.04625e+13 1.04621e+13 3888034 0.00% Elapsed real time = 10532.14 sec. (tree size = 162.56 MB, solutions = 7) Nodefile size = 34.98 MB (12.75 MB after compression) 796 500 cutoff 1.04625e+13 1.04621e+13 3898057 0.00% 799 501 cutoff 1.04625e+13 1.04621e+13 3907766 0.00% 804 500 1.04621e+13 8724 1.04625e+13 1.04621e+13 3913363 0.00% 806 502 1.04622e+13 7290 1.04625e+13 1.04621e+13 3922489 0.00% 809 505 1.04623e+13 8120 1.04625e+13 1.04621e+13 3930195 0.00% 811 507 1.04623e+13 9158 1.04625e+13 1.04621e+13 3936614 0.00% 815 511 1.04624e+13 7532 1.04625e+13 1.04621e+13 3947603 0.00% 820 512 1.04622e+13 4427 1.04625e+13 1.04621e+13 3956338 0.00% 822 514 1.04623e+13 6417 1.04625e+13 1.04621e+13 3963667 0.00% 825 517 1.04624e+13 5598 1.04625e+13 1.04621e+13 3973888 0.00% Elapsed real time = 10734.73 sec. (tree size = 168.54 MB, solutions = 7) Nodefile size = 41.85 MB (15.87 MB after compression) 827 518 1.04625e+13 5799 1.04625e+13 1.04621e+13 3983372 0.00% 831 520 1.04622e+13 5680 1.04625e+13 1.04621e+13 3993316 0.00% 833 522 1.04623e+13 6900 1.04625e+13 1.04621e+13 3999771 0.00% 836 525 1.04624e+13 5281 1.04625e+13 1.04621e+13 4010129 0.00% 841 524 1.04622e+13 7409 1.04625e+13 1.04621e+13 4019540 0.00% 847 528 1.04623e+13 9320 1.04625e+13 1.04621e+13 4034899 0.00% 850 527 cutoff 1.04625e+13 1.04621e+13 4045878 0.00% 853 530 1.04625e+13 6648 1.04625e+13 1.04621e+13 4057190 0.00% 857 530 1.04622e+13 6996 1.04625e+13 1.04621e+13 4068138 0.00% 859 532 1.04622e+13 7665 1.04625e+13 1.04621e+13 4075815 0.00% Elapsed real time = 10975.38 sec. (tree size = 173.48 MB, solutions = 7) Nodefile size = 45.67 MB (17.63 MB after compression) 861 534 1.04623e+13 8899 1.04625e+13 1.04621e+13 4088534 0.00% 862 535 1.04624e+13 10765 1.04625e+13 1.04621e+13 4096674 0.00% 865 538 1.04624e+13 7313 1.04625e+13 1.04621e+13 4103130 0.00% 869 538 1.04624e+13 7895 1.04625e+13 1.04621e+13 4117456 0.00% 871 540 1.04624e+13 7689 1.04625e+13 1.04621e+13 4123833 0.00% 876 541 1.04624e+13 10175 1.04625e+13 1.04621e+13 4134598 0.00% 883 542 1.04623e+13 8178 1.04625e+13 1.04621e+13 4146847 0.00% 886 545 1.04623e+13 7508 1.04625e+13 1.04621e+13 4156339 0.00% 892 547 1.04624e+13 3336 1.04625e+13 1.04621e+13 4166163 0.00% 903 546 1.04622e+13 6322 1.04625e+13 1.04621e+13 4172079 0.00% Elapsed real time = 11227.75 sec. (tree size = 178.37 MB, solutions = 7) Nodefile size = 50.63 MB (19.93 MB after compression) 907 550 1.04623e+13 9204 1.04625e+13 1.04621e+13 4184341 0.00% 910 553 1.04625e+13 6757 1.04625e+13 1.04621e+13 4197650 0.00% 914 553 1.04624e+13 4458 1.04625e+13 1.04621e+13 4210165 0.00% 920 555 1.04622e+13 6961 1.04625e+13 1.04621e+13 4222892 0.00% 924 559 1.04624e+13 6202 1.04625e+13 1.04621e+13 4235835 0.00% 925 560 1.04624e+13 9666 1.04625e+13 1.04621e+13 4241784 0.00% 928 559 1.04624e+13 5058 1.04625e+13 1.04621e+13 4256380 0.00% 932 561 cutoff 1.04625e+13 1.04621e+13 4266339 0.00% 934 561 1.04624e+13 5288 1.04625e+13 1.04621e+13 4277200 0.00% 938 565 1.04624e+13 6943 1.04625e+13 1.04621e+13 4286069 0.00% Elapsed real time = 11486.15 sec. (tree size = 184.72 MB, solutions = 7) Nodefile size = 57.05 MB (22.73 MB after compression) 942 563 1.04623e+13 3859 1.04625e+13 1.04621e+13 4295493 0.00% 946 567 1.04625e+13 3540 1.04625e+13 1.04621e+13 4303065 0.00% 951 568 1.04622e+13 9815 1.04625e+13 1.04621e+13 4313410 0.00% 953 570 1.04623e+13 10887 1.04625e+13 1.04621e+13 4322503 0.00% 955 572 1.04623e+13 9612 1.04625e+13 1.04621e+13 4330173 0.00% 957 574 1.04624e+13 10239 1.04625e+13 1.04621e+13 4340830 0.00% 960 575 cutoff 1.04625e+13 1.04621e+13 4349047 0.00% 964 575 1.04622e+13 8451 1.04625e+13 1.04621e+13 4360573 0.00% 966 577 1.04623e+13 5552 1.04625e+13 1.04621e+13 4366994 0.00% 968 579 1.04623e+13 6312 1.04625e+13 1.04621e+13 4375511 0.00% Elapsed real time = 11701.80 sec. (tree size = 189.58 MB, solutions = 7) Nodefile size = 61.98 MB (25.01 MB after compression) 970 581 1.04624e+13 6626 1.04625e+13 1.04621e+13 4381327 0.00% 973 584 1.04624e+13 7283 1.04625e+13 1.04621e+13 4390300 0.00% 977 588 1.04624e+13 6953 1.04625e+13 1.04621e+13 4398653 0.00% 984 591 1.04623e+13 7331 1.04625e+13 1.04621e+13 4410316 0.00% 986 593 1.04623e+13 7392 1.04625e+13 1.04621e+13 4420457 0.00% 991 596 1.04624e+13 9547 1.04625e+13 1.04621e+13 4431300 0.00% 998 595 1.04622e+13 4990 1.04625e+13 1.04621e+13 4443158 0.00% 1000 597 1.04623e+13 6304 1.04625e+13 1.04621e+13 4450904 0.00% 1003 600 1.04624e+13 7740 1.04625e+13 1.04621e+13 4463333 0.00% 1008 601 1.04623e+13 9476 1.04625e+13 1.04621e+13 4474195 0.00% Elapsed real time = 11943.62 sec. (tree size = 197.26 MB, solutions = 7) Nodefile size = 69.70 MB (28.45 MB after compression) 1009 602 1.04623e+13 11338 1.04625e+13 1.04621e+13 4479556 0.00% 1010 603 1.04624e+13 8498 1.04625e+13 1.04621e+13 4485715 0.00% 1012 605 1.04624e+13 8072 1.04625e+13 1.04621e+13 4492354 0.00% 1017 606 1.04624e+13 5287 1.04625e+13 1.04621e+13 4504909 0.00% 1021 608 cutoff 1.04625e+13 1.04621e+13 4512192 0.00% 1025 610 1.04624e+13 7465 1.04625e+13 1.04621e+13 4524520 0.00% 1029 610 1.04624e+13 6303 1.04625e+13 1.04621e+13 4542839 0.00% 1032 613 1.04624e+13 5284 1.04625e+13 1.04621e+13 4551113 0.00% 1035 612 1.04624e+13 6231 1.04625e+13 1.04621e+13 4564368 0.00% 1037 614 1.04625e+13 9111 1.04625e+13 1.04621e+13 4572668 0.00% Elapsed real time = 12154.30 sec. (tree size = 202.30 MB, solutions = 7) Nodefile size = 74.81 MB (30.36 MB after compression) 1040 613 1.04623e+13 6139 1.04625e+13 1.04622e+13 4578734 0.00% 1042 615 1.04623e+13 6211 1.04625e+13 1.04622e+13 4585099 0.00% 1045 618 1.04624e+13 8725 1.04625e+13 1.04622e+13 4595909 0.00% 1051 618 1.04624e+13 7741 1.04625e+13 1.04622e+13 4616055 0.00% 1055 622 1.04625e+13 5821 1.04625e+13 1.04622e+13 4626366 0.00% 1061 622 1.04624e+13 11545 1.04625e+13 1.04622e+13 4636942 0.00% 1066 621 1.04622e+13 7291 1.04625e+13 1.04622e+13 4648066 0.00% 1070 625 1.04623e+13 6304 1.04625e+13 1.04622e+13 4662671 0.00% 1073 628 1.04625e+13 5964 1.04625e+13 1.04622e+13 4674086 0.00% 1077 628 1.04624e+13 4577 1.04625e+13 1.04622e+13 4687066 0.00% Elapsed real time = 12421.68 sec. (tree size = 207.56 MB, solutions = 7) Nodefile size = 80.01 MB (32.46 MB after compression) 1082 629 1.04622e+13 5661 1.04625e+13 1.04622e+13 4696744 0.00% 1084 631 1.04623e+13 5894 1.04625e+13 1.04622e+13 4702545 0.00% 1086 633 1.04623e+13 6096 1.04625e+13 1.04622e+13 4709726 0.00% 1092 635 1.04624e+13 3592 1.04625e+13 1.04622e+13 4717547 0.00% 1102 633 1.04623e+13 9708 1.04625e+13 1.04622e+13 4729459 0.00% 1104 635 1.04623e+13 7810 1.04625e+13 1.04622e+13 4736757 0.00% 1106 637 1.04624e+13 9699 1.04625e+13 1.04622e+13 4745630 0.00% 1109 640 1.04624e+13 8278 1.04625e+13 1.04622e+13 4756354 0.00% 1115 640 1.04624e+13 8112 1.04625e+13 1.04622e+13 4774847 0.00% 1122 643 1.04622e+13 4607 1.04625e+13 1.04622e+13 4784283 0.00% Elapsed real time = 12639.88 sec. (tree size = 212.94 MB, solutions = 7) Nodefile size = 85.71 MB (34.90 MB after compression) 1126 647 1.04623e+13 4198 1.04625e+13 1.04622e+13 4792158 0.00% 1129 650 1.04624e+13 5700 1.04625e+13 1.04622e+13 4801744 0.00% 1134 655 1.04624e+13 7383 1.04625e+13 1.04622e+13 4811163 0.00% 1143 660 1.04622e+13 10057 1.04625e+13 1.04622e+13 4822900 0.00% 1145 662 1.04623e+13 8439 1.04625e+13 1.04622e+13 4829948 0.00% 1147 664 1.04623e+13 10461 1.04625e+13 1.04622e+13 4839566 0.00% 1148 665 1.04624e+13 10574 1.04625e+13 1.04622e+13 4846333 0.00% 1151 668 1.04624e+13 6926 1.04625e+13 1.04622e+13 4856187 0.00% 1155 668 1.04622e+13 5139 1.04625e+13 1.04622e+13 4864935 0.00% 1158 671 1.04623e+13 4664 1.04625e+13 1.04622e+13 4872576 0.00% Elapsed real time = 12863.58 sec. (tree size = 222.19 MB, solutions = 7) Nodefile size = 94.63 MB (38.77 MB after compression) 1160 673 1.04624e+13 2303 1.04625e+13 1.04622e+13 4880049 0.00% 1167 674 1.04624e+13 5726 1.04625e+13 1.04622e+13 4887333 0.00% 1176 673 1.04623e+13 7394 1.04625e+13 1.04622e+13 4897601 0.00% 1180 677 1.04624e+13 6564 1.04625e+13 1.04622e+13 4911516 0.00% 1182 677 cutoff 1.04625e+13 1.04622e+13 4917771 0.00% 1185 678 1.04624e+13 4321 1.04625e+13 1.04622e+13 4929116 0.00% 1189 678 1.04624e+13 5836 1.04625e+13 1.04622e+13 4946500 0.00% 1192 681 1.04625e+13 5611 1.04625e+13 1.04622e+13 4955017 0.00% 1198 683 1.04622e+13 6810 1.04625e+13 1.04622e+13 4963857 0.00% 1200 685 1.04623e+13 6084 1.04625e+13 1.04622e+13 4973510 0.00% Elapsed real time = 13102.61 sec. (tree size = 227.09 MB, solutions = 7) Nodefile size = 99.57 MB (40.79 MB after compression) 1203 688 1.04624e+13 6591 1.04625e+13 1.04622e+13 4983600 0.00% 1205 690 1.04624e+13 9108 1.04625e+13 1.04622e+13 4992409 0.00% 1208 693 1.04624e+13 8002 1.04625e+13 1.04622e+13 5000836 0.00% 1214 697 cutoff 1.04625e+13 1.04622e+13 5009007 0.00% 1217 698 1.04623e+13 8904 1.04625e+13 1.04622e+13 5016272 0.00% 1220 701 1.04624e+13 3610 1.04625e+13 1.04622e+13 5024169 0.00% 1223 702 1.04625e+13 8723 1.04625e+13 1.04622e+13 5032660 0.00% 1229 702 1.04622e+13 4158 1.04625e+13 1.04622e+13 5041092 0.00% 1230 703 1.04623e+13 7278 1.04625e+13 1.04622e+13 5049338 0.00% 1232 705 1.04624e+13 7252 1.04625e+13 1.04622e+13 5058457 0.00% Elapsed real time = 13290.03 sec. (tree size = 233.94 MB, solutions = 7) Nodefile size = 106.65 MB (43.78 MB after compression) 1235 708 1.04624e+13 7954 1.04625e+13 1.04622e+13 5066669 0.00% 1238 711 1.04624e+13 10007 1.04625e+13 1.04622e+13 5077108 0.00% 1243 716 1.04625e+13 9052 1.04625e+13 1.04622e+13 5084752 0.00% 1247 717 1.04623e+13 6944 1.04625e+13 1.04622e+13 5092407 0.00% 1250 720 1.04624e+13 6632 1.04625e+13 1.04622e+13 5100093 0.00% 1255 721 1.04623e+13 5898 1.04625e+13 1.04622e+13 5109553 0.00% 1258 724 1.04623e+13 5607 1.04625e+13 1.04622e+13 5118313 0.00% 1260 726 1.04625e+13 7412 1.04625e+13 1.04622e+13 5131231 0.00% 1263 725 1.04624e+13 3859 1.04625e+13 1.04622e+13 5139474 0.00% 1267 729 1.04624e+13 7723 1.04625e+13 1.04622e+13 5147822 0.00% Elapsed real time = 13492.70 sec. (tree size = 242.42 MB, solutions = 7) Nodefile size = 114.89 MB (47.32 MB after compression) 1270 728 1.04624e+13 5673 1.04625e+13 1.04622e+13 5161523 0.00% 1275 733 1.04625e+13 5660 1.04625e+13 1.04622e+13 5170500 0.00% 1280 730 1.04622e+13 6493 1.04625e+13 1.04622e+13 5178708 0.00% 1282 732 1.04623e+13 5802 1.04625e+13 1.04622e+13 5188783 0.00% 1288 732 cutoff 1.04625e+13 1.04622e+13 5197624 0.00% 1290 734 1.04622e+13 5882 1.04625e+13 1.04622e+13 5205354 0.00% 1292 736 1.04623e+13 7726 1.04625e+13 1.04622e+13 5218637 0.00% 1297 737 1.04624e+13 6514 1.04625e+13 1.04622e+13 5227974 0.00% 1302 738 1.04624e+13 5474 1.04625e+13 1.04622e+13 5239351 0.00% 1307 743 1.04624e+13 4911 1.04625e+13 1.04622e+13 5249380 0.00% Elapsed real time = 13706.66 sec. (tree size = 247.55 MB, solutions = 7) Nodefile size = 119.96 MB (49.45 MB after compression) 1314 742 1.04623e+13 11390 1.04625e+13 1.04622e+13 5266288 0.00% 1315 743 1.04623e+13 8131 1.04625e+13 1.04622e+13 5273878 0.00% 1318 746 1.04624e+13 9664 1.04625e+13 1.04622e+13 5284238 0.00% 1321 749 1.04624e+13 7508 1.04625e+13 1.04622e+13 5293088 0.00% 1324 752 1.04625e+13 7644 1.04625e+13 1.04622e+13 5304360 0.00% 1327 751 1.04624e+13 8680 1.04625e+13 1.04622e+13 5316654 0.00% 1330 754 1.04625e+13 4621 1.04625e+13 1.04622e+13 5323680 0.00% 1335 753 1.04622e+13 6902 1.04625e+13 1.04622e+13 5331376 0.00% 1336 754 1.04623e+13 8007 1.04625e+13 1.04622e+13 5340292 0.00% 1338 756 1.04623e+13 7648 1.04625e+13 1.04622e+13 5344905 0.00% Elapsed real time = 13930.10 sec. (tree size = 252.20 MB, solutions = 7) Nodefile size = 124.60 MB (51.35 MB after compression) 1340 758 1.04623e+13 7458 1.04625e+13 1.04622e+13 5351461 0.00% 1342 760 1.04624e+13 9243 1.04625e+13 1.04622e+13 5359711 0.00% 1345 763 1.04625e+13 6532 1.04625e+13 1.04622e+13 5370728 0.00% 1350 764 1.04624e+13 2732 1.04625e+13 1.04622e+13 5384950 0.00% 1356 766 1.04624e+13 8626 1.04625e+13 1.04622e+13 5401414 0.00% 1359 768 1.04625e+13 6012 1.04625e+13 1.04622e+13 5410013 0.00% 1362 769 1.04622e+13 7019 1.04625e+13 1.04622e+13 5418997 0.00% 1364 771 1.04623e+13 10006 1.04625e+13 1.04622e+13 5426233 0.00% 1367 772 1.04623e+13 7199 1.04625e+13 1.04622e+13 5434989 0.00% 1371 772 cutoff 1.04625e+13 1.04622e+13 5443351 0.00% Elapsed real time = 14158.74 sec. (tree size = 257.92 MB, solutions = 7) Nodefile size = 130.02 MB (53.42 MB after compression) 1375 772 1.04624e+13 5880 1.04625e+13 1.04622e+13 5457268 0.00% 1380 773 1.04624e+13 6629 1.04625e+13 1.04622e+13 5474227 0.00% 1382 775 1.04625e+13 10663 1.04625e+13 1.04622e+13 5482710 0.00% 1386 775 1.04624e+13 12532 1.04625e+13 1.04622e+13 5491174 0.00% 1390 775 1.04624e+13 4655 1.04625e+13 1.04622e+13 5504773 0.00% 1395 776 1.04623e+13 4688 1.04625e+13 1.04622e+13 5515200 0.00% 1401 778 1.04624e+13 3336 1.04625e+13 1.04622e+13 5523206 0.00% 1410 779 1.04624e+13 5366 1.04625e+13 1.04622e+13 5539735 0.00% 1416 781 1.04622e+13 3525 1.04625e+13 1.04622e+13 5547800 0.00% 1419 784 1.04623e+13 5132 1.04625e+13 1.04622e+13 5558434 0.00% Elapsed real time = 14396.06 sec. (tree size = 262.63 MB, solutions = 7) Nodefile size = 135.31 MB (55.14 MB after compression) 1421 786 1.04624e+13 2999 1.04625e+13 1.04622e+13 5565582 0.00% 1425 788 1.04625e+13 2813 1.04625e+13 1.04622e+13 5573206 0.00% 1430 789 1.04623e+13 8974 1.04625e+13 1.04622e+13 5583417 0.00% 1432 791 1.04624e+13 10116 1.04625e+13 1.04622e+13 5592818 0.00% 1434 793 1.04619e+13 10665 1.04625e+13 1.04622e+13 5897222 0.00% 1435 794 1.04620e+13 10312 1.04625e+13 1.04622e+13 5904894 0.00% 1436 795 1.04620e+13 10569 1.04625e+13 1.04622e+13 5905924 0.00% 1437 796 1.04620e+13 10144 1.04625e+13 1.04622e+13 5911584 0.00% 1438 796 1.04620e+13 10128 1.04625e+13 1.04622e+13 5915950 0.00% 1439 796 1.04621e+13 9623 1.04625e+13 1.04622e+13 5927694 0.00% Elapsed real time = 15826.12 sec. (tree size = 129.39 MB, solutions = 7) 1440 797 1.04621e+13 8721 1.04625e+13 1.04622e+13 5937411 0.00% 1441 797 1.04624e+13 5213 1.04625e+13 1.04622e+13 5948779 0.00% 1443 619 cutoff 1.04625e+13 1.04622e+13 5953938 0.00% 1444 619 1.04621e+13 8908 1.04625e+13 1.04622e+13 5964791 0.00% 1445 620 1.04621e+13 9193 1.04625e+13 1.04622e+13 5975208 0.00% 1446 621 1.04622e+13 6515 1.04625e+13 1.04622e+13 5994242 0.00% 1447 622 1.04623e+13 4773 1.04625e+13 1.04622e+13 5998999 0.00% 1449 623 1.04624e+13 6079 1.04625e+13 1.04622e+13 6007984 0.00% 1452 580 1.04623e+13 4748 1.04625e+13 1.04622e+13 6011683 0.00% 1457 508 1.04622e+13 8122 1.04625e+13 1.04622e+13 6027284 0.00% Elapsed real time = 16291.17 sec. (tree size = 85.45 MB, solutions = 7) 1458 509 1.04622e+13 10326 1.04625e+13 1.04622e+13 6030068 0.00% 1459 510 1.04623e+13 11091 1.04625e+13 1.04622e+13 6040915 0.00% 1461 510 1.04623e+13 8771 1.04625e+13 1.04622e+13 6043794 0.00% 1462 510 1.04624e+13 4749 1.04625e+13 1.04622e+13 6048085 0.00% 1466 462 1.04620e+13 10098 1.04625e+13 1.04622e+13 6056373 0.00% 1467 462 1.04620e+13 10585 1.04625e+13 1.04622e+13 6062290 0.00% 1468 463 1.04624e+13 12323 1.04625e+13 1.04622e+13 6089183 0.00% 1471 464 1.04624e+13 7801 1.04625e+13 1.04622e+13 6092325 0.00% 1474 447 cutoff 1.04625e+13 1.04622e+13 6097622 0.00% 1475 447 1.04624e+13 9145 1.04625e+13 1.04622e+13 6101347 0.00% Elapsed real time = 16664.71 sec. (tree size = 75.91 MB, solutions = 7) 1481 401 cutoff 1.04625e+13 1.04622e+13 6104443 0.00% 1484 388 1.04625e+13 7999 1.04625e+13 1.04622e+13 6108749 0.00% 1491 336 1.04620e+13 10203 1.04625e+13 1.04622e+13 6113343 0.00% 1492 337 1.04620e+13 10247 1.04625e+13 1.04622e+13 6117004 0.00% 1493 338 1.04621e+13 10250 1.04625e+13 1.04622e+13 6119853 0.00% 1495 339 1.04621e+13 10446 1.04625e+13 1.04622e+13 6120908 0.00% 1496 339 1.04623e+13 7134 1.04625e+13 1.04622e+13 6126848 0.00% 1497 339 1.04624e+13 7529 1.04625e+13 1.04622e+13 6131812 0.00% 1499 341 1.04625e+13 6728 1.04625e+13 1.04622e+13 6134752 0.00% 1502 322 1.04622e+13 8834 1.04625e+13 1.04622e+13 6141248 0.00% Elapsed real time = 16914.76 sec. (tree size = 54.01 MB, solutions = 7) 1503 323 1.04623e+13 8923 1.04625e+13 1.04622e+13 6144387 0.00% 1504 323 1.04624e+13 7278 1.04625e+13 1.04622e+13 6157228 0.00% 1505 314 cutoff 1.04625e+13 1.04622e+13 6165667 0.00% 1506 305 cutoff 1.04625e+13 1.04622e+13 6173143 0.00% 1507 306 1.04621e+13 8331 1.04625e+13 1.04622e+13 6184842 0.00% 1510 307 1.04622e+13 7808 1.04625e+13 1.04622e+13 6190562 0.00% 1514 300 1.04622e+13 6285 1.04625e+13 1.04622e+13 6193369 0.00% 1515 300 1.04624e+13 4994 1.04625e+13 1.04622e+13 6196469 0.00% 1517 293 cutoff 1.04625e+13 1.04622e+13 6200020 0.00% 1518 293 1.04624e+13 4189 1.04625e+13 1.04622e+13 6202716 0.00% Elapsed real time = 17191.87 sec. (tree size = 48.95 MB, solutions = 7) 1521 280 cutoff 1.04625e+13 1.04622e+13 6205951 0.00% 1524 275 1.04624e+13 4953 1.04625e+13 1.04622e+13 6209670 0.00% 1531 249 1.04622e+13 8598 1.04625e+13 1.04622e+13 6226906 0.00% 1532 249 1.04623e+13 8771 1.04625e+13 1.04622e+13 6230289 0.00% 1534 250 1.04623e+13 8708 1.04625e+13 1.04622e+13 6231677 0.00% 1537 253 1.04624e+13 3431 1.04625e+13 1.04622e+13 6236247 0.00% 1543 236 1.04624e+13 3771 1.04625e+13 1.04622e+13 6241065 0.00% 1549 227 1.04624e+13 4565 1.04625e+13 1.04622e+13 6244370 0.00% 1562 195 cutoff 1.04625e+13 1.04622e+13 6247894 0.00% 1568 185 1.04620e+13 10327 1.04625e+13 1.04622e+13 6251045 0.00% Elapsed real time = 17425.80 sec. (tree size = 31.34 MB, solutions = 7) 1569 186 1.04621e+13 12404 1.04625e+13 1.04622e+13 6254192 0.00% 1570 187 1.04621e+13 10362 1.04625e+13 1.04622e+13 6257862 0.00% 1573 189 1.04621e+13 12542 1.04625e+13 1.04622e+13 6259937 0.00% 1574 189 1.04621e+13 10278 1.04625e+13 1.04622e+13 6260113 0.00% 1578 192 1.04624e+13 7208 1.04625e+13 1.04622e+13 6276954 0.00% 1582 186 1.04622e+13 8983 1.04625e+13 1.04622e+13 6287471 0.00% 1590 188 cutoff 1.04625e+13 1.04622e+13 6290809 0.00% 1592 189 1.04622e+13 8708 1.04625e+13 1.04622e+13 6293377 0.00% 1594 191 1.04622e+13 9028 1.04625e+13 1.04622e+13 6295593 0.00% 1595 188 cutoff 1.04625e+13 1.04622e+13 6301632 0.00% Elapsed real time = 17755.21 sec. (tree size = 30.88 MB, solutions = 7) 1597 186 cutoff 1.04625e+13 1.04622e+13 6311709 0.00% 1601 185 1.04624e+13 5480 1.04625e+13 1.04622e+13 6320151 0.00% 1604 186 1.04624e+13 5170 1.04625e+13 1.04622e+13 6323407 0.00% 1612 176 cutoff 1.04625e+13 1.04622e+13 6326861 0.00% 1614 174 1.04623e+13 9009 1.04625e+13 1.04622e+13 6333917 0.00% 1615 174 1.04623e+13 8905 1.04625e+13 1.04622e+13 6337266 0.00% 1620 174 1.04623e+13 8639 1.04625e+13 1.04622e+13 6339664 0.00% 1622 175 1.04624e+13 8677 1.04625e+13 1.04622e+13 6344803 0.00% 1625 173 1.04624e+13 7651 1.04625e+13 1.04622e+13 6349480 0.00% 1627 171 1.04624e+13 8025 1.04625e+13 1.04622e+13 6352064 0.00% Elapsed real time = 17989.98 sec. (tree size = 27.64 MB, solutions = 7) 1631 166 1.04625e+13 6816 1.04625e+13 1.04622e+13 6357630 0.00% 1634 161 1.04621e+13 6190 1.04625e+13 1.04622e+13 6364680 0.00% 1636 163 1.04622e+13 4989 1.04625e+13 1.04622e+13 6368112 0.00% 1639 161 cutoff 1.04625e+13 1.04622e+13 6371700 0.00% 1642 162 1.04623e+13 4596 1.04625e+13 1.04622e+13 6374968 0.00% 1643 163 1.04624e+13 2838 1.04625e+13 1.04622e+13 6379306 0.00% 1646 160 1.04623e+13 5931 1.04625e+13 1.04622e+13 6385578 0.00% 1647 160 1.04623e+13 5902 1.04625e+13 1.04622e+13 6388218 0.00% 1649 161 1.04624e+13 6441 1.04625e+13 1.04622e+13 6391004 0.00% 1652 163 1.04624e+13 7636 1.04625e+13 1.04622e+13 6393605 0.00% Elapsed real time = 18216.26 sec. (tree size = 29.49 MB, solutions = 7) 1654 162 cutoff 1.04625e+13 1.04622e+13 6399430 0.00% 1656 160 1.04623e+13 8653 1.04625e+13 1.04622e+13 6412441 0.00% 1657 161 1.04624e+13 10269 1.04625e+13 1.04622e+13 6416438 0.00% 1661 162 1.04624e+13 9898 1.04625e+13 1.04622e+13 6420173 0.00% 1668 163 1.04624e+13 9882 1.04625e+13 1.04622e+13 6422920 0.00% 1670 161 1.04624e+13 10354 1.04625e+13 1.04622e+13 6429453 0.00% 1674 162 1.04625e+13 6081 1.04625e+13 1.04622e+13 6432995 0.00% 1679 157 1.04622e+13 10751 1.04625e+13 1.04622e+13 6445950 0.00% 1681 156 cutoff 1.04625e+13 1.04622e+13 6449445 0.00% 1686 157 cutoff 1.04625e+13 1.04622e+13 6452715 0.00% Elapsed real time = 18520.10 sec. (tree size = 29.52 MB, solutions = 7) 1688 157 1.04623e+13 9640 1.04625e+13 1.04622e+13 6461860 0.00% 1690 157 1.04625e+13 3070 1.04625e+13 1.04622e+13 6468563 0.00% 1694 154 1.04623e+13 7790 1.04625e+13 1.04622e+13 6481602 0.00% 1700 153 1.04623e+13 9159 1.04625e+13 1.04622e+13 6485611 0.00% 1706 158 1.04624e+13 7701 1.04625e+13 1.04622e+13 6489578 0.00% 1713 154 1.04624e+13 5490 1.04625e+13 1.04622e+13 6493255 0.00% 1724 145 cutoff 1.04625e+13 1.04622e+13 6496258 0.00% 1738 138 1.04624e+13 5928 1.04625e+13 1.04622e+13 6499299 0.00% 1747 130 1.04621e+13 8645 1.04625e+13 1.04622e+13 6502278 0.00% 1748 130 1.04622e+13 8518 1.04625e+13 1.04622e+13 6510015 0.00% Elapsed real time = 18778.70 sec. (tree size = 34.59 MB, solutions = 7) 1749 130 1.04622e+13 8714 1.04625e+13 1.04622e+13 6513082 0.00% 1752 133 1.04622e+13 10682 1.04625e+13 1.04622e+13 6516493 0.00% 1754 134 1.04622e+13 8484 1.04625e+13 1.04622e+13 6516642 0.00% 1759 135 1.04622e+13 8894 1.04625e+13 1.04622e+13 6519559 0.00% 1761 135 1.04623e+13 7151 1.04625e+13 1.04622e+13 6524326 0.00% 1764 138 1.04623e+13 7451 1.04625e+13 1.04622e+13 6527246 0.00% 1766 140 1.04624e+13 7902 1.04625e+13 1.04622e+13 6530878 0.00% 1771 141 1.04624e+13 5758 1.04625e+13 1.04622e+13 6534202 0.00% 1777 143 1.04624e+13 6055 1.04625e+13 1.04622e+13 6538393 0.00% 1787 145 1.04625e+13 6804 1.04625e+13 1.04622e+13 6541624 0.00% Elapsed real time = 18934.82 sec. (tree size = 51.09 MB, solutions = 7) 1793 145 cutoff 1.04625e+13 1.04622e+13 6545125 0.00% 1794 146 1.04623e+13 5315 1.04625e+13 1.04622e+13 6555467 0.00% 1799 151 1.04625e+13 2563 1.04625e+13 1.04622e+13 6560032 0.00% 1802 150 1.04622e+13 7092 1.04625e+13 1.04622e+13 6564947 0.00% 1803 151 1.04623e+13 9783 1.04625e+13 1.04622e+13 6571033 0.00% 1806 154 1.04624e+13 7570 1.04625e+13 1.04622e+13 6574650 0.00% 1810 156 cutoff 1.04625e+13 1.04622e+13 6577768 0.00% 1812 158 1.04624e+13 7802 1.04625e+13 1.04622e+13 6582203 0.00% 1816 158 1.04621e+13 9031 1.04625e+13 1.04622e+13 6584928 0.00% 1817 159 1.04622e+13 9579 1.04625e+13 1.04622e+13 6592687 0.00% Elapsed real time = 19199.64 sec. (tree size = 63.51 MB, solutions = 7) 1818 160 1.04623e+13 4255 1.04625e+13 1.04622e+13 6602562 0.00% 1825 161 1.04624e+13 2282 1.04625e+13 1.04622e+13 6606522 0.00% 1829 161 1.04622e+13 8092 1.04625e+13 1.04622e+13 6614753 0.00% 1830 162 1.04623e+13 10101 1.04625e+13 1.04622e+13 6620796 0.00% 1831 163 1.04624e+13 8353 1.04625e+13 1.04622e+13 6623744 0.00% 1834 166 1.04624e+13 7985 1.04625e+13 1.04622e+13 6625010 0.00% 1840 170 cutoff 1.04625e+13 1.04622e+13 6628308 0.00% 1844 170 cutoff 1.04625e+13 1.04622e+13 6633904 0.00% 1845 171 1.04624e+13 8528 1.04625e+13 1.04622e+13 6637886 0.00% 1852 172 1.04624e+13 9540 1.04625e+13 1.04622e+13 6641194 0.00% Elapsed real time = 19420.98 sec. (tree size = 76.16 MB, solutions = 7) 1856 172 1.04624e+13 8927 1.04625e+13 1.04622e+13 6645818 0.00% 1862 172 cutoff 1.04625e+13 1.04622e+13 6648977 0.00% 1870 174 1.04624e+13 8579 1.04625e+13 1.04622e+13 6652509 0.00% 1881 175 1.04624e+13 9104 1.04625e+13 1.04622e+13 6655922 0.00% 1891 175 1.04624e+13 9290 1.04625e+13 1.04622e+13 6660390 0.00% 1896 174 1.04623e+13 6624 1.04625e+13 1.04622e+13 6667639 0.00% 1897 175 1.04625e+13 7679 1.04625e+13 1.04622e+13 6674438 0.00% 1901 171 1.04625e+13 6459 1.04625e+13 1.04622e+13 6681311 0.00% 1902 172 1.04625e+13 7807 1.04625e+13 1.04622e+13 6696666 0.00% 1905 171 1.04622e+13 4925 1.04625e+13 1.04622e+13 6704846 0.00% Elapsed real time = 19746.51 sec. (tree size = 79.06 MB, solutions = 7) 1906 172 1.04623e+13 6907 1.04625e+13 1.04622e+13 6711125 0.00% 1908 174 1.04624e+13 7116 1.04625e+13 1.04622e+13 6714845 0.00% 1912 178 1.04624e+13 9063 1.04625e+13 1.04622e+13 6717993 0.00% 1920 178 cutoff 1.04625e+13 1.04622e+13 6720991 0.00% 1928 178 cutoff 1.04625e+13 1.04622e+13 6725251 0.00% 1929 179 1.04622e+13 11023 1.04625e+13 1.04622e+13 6731200 0.00% 1930 180 1.04623e+13 13425 1.04625e+13 1.04622e+13 6739672 0.00% 1934 184 1.04623e+13 11420 1.04625e+13 1.04622e+13 6742656 0.00% 1937 185 cutoff 1.04625e+13 1.04622e+13 6745722 0.00% 1941 187 1.04623e+13 10895 1.04625e+13 1.04622e+13 6748405 0.00% Elapsed real time = 19977.93 sec. (tree size = 87.57 MB, solutions = 7) 1942 186 cutoff 1.04625e+13 1.04622e+13 6751514 0.00% 1944 186 cutoff 1.04625e+13 1.04622e+13 6754421 0.00% 1945 187 1.04624e+13 10381 1.04625e+13 1.04622e+13 6757958 0.00% 1948 190 1.04624e+13 13243 1.04625e+13 1.04622e+13 6762487 0.00% 1952 192 1.04624e+13 13555 1.04625e+13 1.04622e+13 6765227 0.00% 1957 193 1.04624e+13 11377 1.04625e+13 1.04622e+13 6769171 0.00% 1964 194 1.04624e+13 10503 1.04625e+13 1.04622e+13 6771650 0.00% 1968 194 cutoff 1.04625e+13 1.04622e+13 6775108 0.00% 1975 195 1.04624e+13 10705 1.04625e+13 1.04622e+13 6778419 0.00% 1979 195 cutoff 1.04625e+13 1.04622e+13 6781778 0.00% Elapsed real time = 20134.55 sec. (tree size = 88.81 MB, solutions = 7) 1983 197 1.04624e+13 10358 1.04625e+13 1.04622e+13 6785122 0.00% 1986 196 cutoff 1.04625e+13 1.04622e+13 6788597 0.00% 1990 198 1.04624e+13 12264 1.04625e+13 1.04622e+13 6791180 0.00% 1994 200 1.04624e+13 10054 1.04625e+13 1.04622e+13 6793127 0.00% 1999 199 cutoff 1.04625e+13 1.04622e+13 6797451 0.00% 2002 200 1.04624e+13 9910 1.04625e+13 1.04622e+13 6800885 0.00% 2006 200 1.04624e+13 11146 1.04625e+13 1.04622e+13 6803776 0.00% 2013 199 cutoff 1.04625e+13 1.04622e+13 6807553 0.00% 2014 200 1.04624e+13 10210 1.04625e+13 1.04622e+13 6809106 0.00% 2021 199 cutoff 1.04625e+13 1.04622e+13 6812827 0.00% Elapsed real time = 20306.28 sec. (tree size = 89.35 MB, solutions = 7) 2024 200 1.04624e+13 10212 1.04625e+13 1.04622e+13 6815471 0.00% 2029 201 1.04624e+13 12283 1.04625e+13 1.04622e+13 6820499 0.00% 2031 201 1.04625e+13 10471 1.04625e+13 1.04622e+13 6824803 0.00% 2034 200 1.04621e+13 10747 1.04625e+13 1.04622e+13 6826652 0.00% 2035 201 1.04622e+13 11257 1.04625e+13 1.04622e+13 6836545 0.00% 2036 202 1.04622e+13 11063 1.04625e+13 1.04622e+13 6839005 0.00% 2038 204 1.04623e+13 10278 1.04625e+13 1.04622e+13 6842017 0.00% 2043 209 1.04623e+13 10348 1.04625e+13 1.04622e+13 6844640 0.00% 2045 211 1.04623e+13 12844 1.04625e+13 1.04622e+13 6847586 0.00% 2049 215 1.04624e+13 9486 1.04625e+13 1.04622e+13 6859100 0.00% Elapsed real time = 20563.70 sec. (tree size = 91.17 MB, solutions = 7) 2051 217 1.04624e+13 10683 1.04625e+13 1.04622e+13 6861951 0.00% 2056 218 cutoff 1.04625e+13 1.04622e+13 6864585 0.00% 2059 219 1.04624e+13 11222 1.04625e+13 1.04622e+13 6867287 0.00% 2062 218 cutoff 1.04625e+13 1.04622e+13 6870149 0.00% 2065 219 1.04624e+13 11569 1.04625e+13 1.04622e+13 6873162 0.00% 2071 223 1.04624e+13 9742 1.04625e+13 1.04622e+13 6877401 0.00% 2077 225 1.04624e+13 8937 1.04625e+13 1.04622e+13 6880417 0.00% 2079 225 1.04624e+13 9396 1.04625e+13 1.04622e+13 6883620 0.00% 2089 225 cutoff 1.04625e+13 1.04622e+13 6887600 0.00% 2090 226 1.04624e+13 7406 1.04625e+13 1.04622e+13 6900489 0.00% Elapsed real time = 20780.66 sec. (tree size = 92.71 MB, solutions = 7) 2095 231 1.04624e+13 5083 1.04625e+13 1.04622e+13 6904514 0.00% 2108 236 1.04624e+13 7836 1.04625e+13 1.04622e+13 6912520 0.00% 2109 235 cutoff 1.04625e+13 1.04622e+13 6915849 0.00% 2111 235 1.04624e+13 6089 1.04625e+13 1.04622e+13 6928107 0.00% 2114 234 1.04621e+13 8571 1.04625e+13 1.04622e+13 6931586 0.00% 2115 235 1.04622e+13 10677 1.04625e+13 1.04622e+13 6939671 0.00% 2116 236 1.04623e+13 8931 1.04625e+13 1.04622e+13 6942486 0.00% 2120 240 1.04623e+13 9640 1.04625e+13 1.04622e+13 6945616 0.00% 2124 244 1.04623e+13 9545 1.04625e+13 1.04622e+13 6948140 0.00% 2131 247 cutoff 1.04625e+13 1.04622e+13 6956338 0.00% Elapsed real time = 21054.70 sec. (tree size = 112.59 MB, solutions = 7) 2133 249 1.04623e+13 8597 1.04625e+13 1.04622e+13 6959485 0.00% 2138 252 1.04624e+13 7817 1.04625e+13 1.04622e+13 6963979 0.00% 2144 252 1.04624e+13 5275 1.04625e+13 1.04622e+13 6974166 0.00% 2149 255 1.04624e+13 5932 1.04625e+13 1.04622e+13 6978531 0.00% 2155 257 1.04624e+13 6413 1.04625e+13 1.04622e+13 6987177 0.00% 2160 258 1.04622e+13 6931 1.04625e+13 1.04622e+13 6992702 0.00% 2161 259 1.04623e+13 7621 1.04625e+13 1.04622e+13 6998494 0.00% 2162 260 1.04625e+13 3421 1.04625e+13 1.04622e+13 7004700 0.00% 2167 259 1.04622e+13 7560 1.04625e+13 1.04622e+13 7006592 0.00% 2168 260 1.04623e+13 6767 1.04625e+13 1.04622e+13 7013079 0.00% Elapsed real time = 21341.83 sec. (tree size = 122.10 MB, solutions = 7) 2169 261 1.04623e+13 6810 1.04625e+13 1.04622e+13 7015842 0.00% 2173 265 1.04623e+13 6378 1.04625e+13 1.04622e+13 7019108 0.00% 2174 266 1.04624e+13 6840 1.04625e+13 1.04622e+13 7021196 0.00% 2177 269 1.04624e+13 8908 1.04625e+13 1.04622e+13 7024892 0.00% 2180 270 cutoff 1.04625e+13 1.04622e+13 7028492 0.00% 2185 273 cutoff 1.04625e+13 1.04622e+13 7031783 0.00% 2187 275 1.04625e+13 8329 1.04625e+13 1.04622e+13 7036547 0.00% 2190 274 1.04623e+13 7789 1.04625e+13 1.04622e+13 7042435 0.00% 2195 279 1.04623e+13 6498 1.04625e+13 1.04622e+13 7047065 0.00% 2200 284 1.04624e+13 7453 1.04625e+13 1.04622e+13 7051465 0.00% Elapsed real time = 21509.09 sec. (tree size = 124.63 MB, solutions = 7) 2208 292 1.04624e+13 7758 1.04625e+13 1.04622e+13 7054469 0.00% 2216 300 1.04624e+13 7272 1.04625e+13 1.04622e+13 7057362 0.00% 2221 305 1.04624e+13 7878 1.04625e+13 1.04622e+13 7060777 0.00% 2225 307 cutoff 1.04625e+13 1.04622e+13 7064114 0.00% 2234 316 1.04624e+13 7400 1.04625e+13 1.04622e+13 7066877 0.00% 2236 318 1.04624e+13 7139 1.04625e+13 1.04622e+13 7070891 0.00% 2239 321 1.04625e+13 6974 1.04625e+13 1.04622e+13 7076265 0.00% 2245 323 1.04624e+13 3448 1.04625e+13 1.04622e+13 7085631 0.00% 2248 324 cutoff 1.04625e+13 1.04622e+13 7089406 0.00% 2250 324 1.04624e+13 3159 1.04625e+13 1.04622e+13 7095174 0.00% Elapsed real time = 21701.99 sec. (tree size = 130.20 MB, solutions = 7) Nodefile size = 2.51 MB (1.32 MB after compression) 2253 323 1.04622e+13 5382 1.04625e+13 1.04622e+13 7100782 0.00% 2254 324 1.04624e+13 5395 1.04625e+13 1.04622e+13 7105923 0.00% 2256 324 cutoff 1.04625e+13 1.04622e+13 7110214 0.00% 2258 323 1.04624e+13 5497 1.04625e+13 1.04622e+13 7116441 0.00% 2260 321 cutoff 1.04625e+13 1.04622e+13 7124273 0.00% 2262 321 1.04623e+13 3763 1.04625e+13 1.04622e+13 7132224 0.00% 2263 322 1.04625e+13 7692 1.04625e+13 1.04622e+13 7136992 0.00% 2268 319 cutoff 1.04625e+13 1.04622e+13 7144437 0.00% 2269 320 1.04624e+13 8768 1.04625e+13 1.04622e+13 7160757 0.00% 2272 323 1.04624e+13 5493 1.04625e+13 1.04622e+13 7164751 0.00% Elapsed real time = 21992.41 sec. (tree size = 132.41 MB, solutions = 7) Nodefile size = 4.62 MB (2.41 MB after compression) 2277 322 cutoff 1.04625e+13 1.04622e+13 7168211 0.00% 2278 323 1.04623e+13 7640 1.04625e+13 1.04622e+13 7176345 0.00% 2282 327 1.04624e+13 6862 1.04625e+13 1.04622e+13 7180542 0.00% 2286 331 1.04624e+13 11072 1.04625e+13 1.04622e+13 7183565 0.00% 2288 333 1.04624e+13 9714 1.04625e+13 1.04622e+13 7186835 0.00% 2289 334 1.04624e+13 6889 1.04625e+13 1.04622e+13 7190535 0.00% 2291 336 1.04624e+13 9009 1.04625e+13 1.04622e+13 7194196 0.00% 2301 342 1.04625e+13 8848 1.04625e+13 1.04622e+13 7197692 0.00% 2307 342 1.04622e+13 9934 1.04625e+13 1.04622e+13 7201806 0.00% 2310 345 1.04622e+13 10122 1.04625e+13 1.04622e+13 7204748 0.00% Elapsed real time = 22189.77 sec. (tree size = 153.83 MB, solutions = 7) Nodefile size = 25.55 MB (13.62 MB after compression) 2312 347 1.04622e+13 10234 1.04625e+13 1.04622e+13 7208095 0.00% 2314 349 1.04623e+13 10330 1.04625e+13 1.04622e+13 7210914 0.00% 2317 352 1.04623e+13 10761 1.04625e+13 1.04622e+13 7214199 0.00% 2321 354 1.04623e+13 10665 1.04625e+13 1.04622e+13 7216894 0.00% 2327 358 1.04623e+13 12066 1.04625e+13 1.04622e+13 7219629 0.00% 2331 358 1.04623e+13 9784 1.04625e+13 1.04622e+13 7222815 0.00% 2334 359 1.04623e+13 10167 1.04625e+13 1.04622e+13 7225423 0.00% 2338 361 1.04623e+13 9933 1.04625e+13 1.04622e+13 7228409 0.00% 2341 362 1.04624e+13 10189 1.04625e+13 1.04622e+13 7234254 0.00% 2346 367 1.04624e+13 10870 1.04625e+13 1.04622e+13 7239002 0.00% Elapsed real time = 22404.37 sec. (tree size = 172.10 MB, solutions = 7) Nodefile size = 43.09 MB (22.82 MB after compression) 2350 369 1.04625e+13 7375 1.04625e+13 1.04622e+13 7244764 0.00% 2356 369 1.04625e+13 7728 1.04625e+13 1.04622e+13 7258321 0.00% 2360 369 1.04623e+13 7553 1.04625e+13 1.04622e+13 7267046 0.00% 2364 373 1.04624e+13 7568 1.04625e+13 1.04622e+13 7272563 0.00% 2369 378 1.04624e+13 7639 1.04625e+13 1.04622e+13 7277668 0.00% 2372 377 1.04622e+13 9354 1.04625e+13 1.04622e+13 7284227 0.00% 2374 379 1.04623e+13 9500 1.04625e+13 1.04622e+13 7289813 0.00% 2375 380 1.04624e+13 9584 1.04625e+13 1.04622e+13 7293319 0.00% 2377 382 1.04624e+13 9482 1.04625e+13 1.04622e+13 7297714 0.00% 2382 387 1.04624e+13 10055 1.04625e+13 1.04622e+13 7301714 0.00% Elapsed real time = 22691.09 sec. (tree size = 176.43 MB, solutions = 7) Nodefile size = 48.44 MB (25.70 MB after compression) 2387 392 1.04624e+13 9447 1.04625e+13 1.04622e+13 7304589 0.00% 2390 393 1.04625e+13 6462 1.04625e+13 1.04622e+13 7309476 0.00% 2397 394 1.04623e+13 6453 1.04625e+13 1.04622e+13 7314709 0.00% 2399 396 1.04624e+13 7322 1.04625e+13 1.04622e+13 7318413 0.00% 2401 398 1.04624e+13 4768 1.04625e+13 1.04622e+13 7321763 0.00% 2406 399 cutoff 1.04625e+13 1.04622e+13 7326150 0.00% 2408 399 1.04624e+13 7007 1.04625e+13 1.04622e+13 7334243 0.00% 2411 402 1.04624e+13 9034 1.04625e+13 1.04622e+13 7339748 0.00% 2414 403 1.04624e+13 7283 1.04625e+13 1.04622e+13 7342569 0.00% 2421 404 1.04625e+13 8220 1.04625e+13 1.04622e+13 7354825 0.00% Elapsed real time = 22904.20 sec. (tree size = 176.13 MB, solutions = 7) Nodefile size = 50.00 MB (26.53 MB after compression) 2424 404 1.04623e+13 7738 1.04625e+13 1.04622e+13 7362682 0.00% 2425 405 1.04624e+13 9739 1.04625e+13 1.04622e+13 7370263 0.00% 2427 405 1.04624e+13 9292 1.04625e+13 1.04622e+13 7376253 0.00% 2431 403 1.04622e+13 8107 1.04625e+13 1.04622e+13 7380317 0.00% 2432 404 1.04623e+13 7739 1.04625e+13 1.04622e+13 7388103 0.00% 2434 406 1.04624e+13 7608 1.04625e+13 1.04622e+13 7392545 0.00% 2436 408 1.04625e+13 4695 1.04625e+13 1.04622e+13 7396810 0.00% 2440 408 1.04624e+13 2560 1.04625e+13 1.04622e+13 7402721 0.00% 2443 407 1.04624e+13 3717 1.04625e+13 1.04622e+13 7411773 0.00% * 2445 344 integral 0 1.04624e+13 1.04622e+13 7413134 0.00% Elapsed real time = 23187.51 sec. (tree size = 146.87 MB, solutions = 8) Nodefile size = 21.22 MB (11.21 MB after compression) 2446 345 1.04624e+13 6414 1.04624e+13 1.04622e+13 7417438 0.00% 2449 344 1.04624e+13 8177 1.04624e+13 1.04622e+13 7423073 0.00% 2451 346 1.04624e+13 6015 1.04624e+13 1.04622e+13 7427709 0.00% 2455 346 1.04622e+13 9833 1.04624e+13 1.04622e+13 7433170 0.00% 2456 347 1.04624e+13 9906 1.04624e+13 1.04622e+13 7440777 0.00% 2459 350 1.04624e+13 9147 1.04624e+13 1.04622e+13 7443787 0.00% 2462 353 1.04624e+13 8297 1.04624e+13 1.04622e+13 7447039 0.00% 2467 352 cutoff 1.04624e+13 1.04622e+13 7453391 0.00% 2468 353 1.04622e+13 6714 1.04624e+13 1.04622e+13 7455534 0.00% 2469 354 1.04623e+13 6475 1.04624e+13 1.04622e+13 7462681 0.00% Elapsed real time = 23412.87 sec. (tree size = 155.24 MB, solutions = 8) Nodefile size = 27.55 MB (14.48 MB after compression) 2471 356 1.04624e+13 7763 1.04624e+13 1.04622e+13 7466906 0.00% 2473 358 1.04624e+13 7273 1.04624e+13 1.04622e+13 7471867 0.00% 2476 359 cutoff 1.04624e+13 1.04622e+13 7475191 0.00% 2478 359 1.04623e+13 3711 1.04624e+13 1.04622e+13 7479718 0.00% 2479 358 cutoff 1.04624e+13 1.04622e+13 7484300 0.00% 2481 358 1.04622e+13 5713 1.04624e+13 1.04622e+13 7487477 0.00% 2482 359 1.04623e+13 7820 1.04624e+13 1.04622e+13 7492528 0.00% 2484 361 1.04624e+13 5105 1.04624e+13 1.04622e+13 7495772 0.00% 2488 361 1.04624e+13 6419 1.04624e+13 1.04622e+13 7499515 0.00% 2496 365 cutoff 1.04624e+13 1.04622e+13 7502311 0.00% Elapsed real time = 23598.30 sec. (tree size = 159.04 MB, solutions = 8) Nodefile size = 31.05 MB (16.30 MB after compression) 2509 370 cutoff 1.04624e+13 1.04622e+13 7504951 0.00% 2511 370 1.04623e+13 8237 1.04624e+13 1.04622e+13 7509657 0.00% 2513 372 1.04623e+13 6347 1.04624e+13 1.04622e+13 7515294 0.00% 2515 374 1.04624e+13 7565 1.04624e+13 1.04622e+13 7517785 0.00% 2520 379 1.04624e+13 7326 1.04624e+13 1.04622e+13 7520829 0.00% 2526 385 1.04624e+13 6734 1.04624e+13 1.04622e+13 7527032 0.00% 2528 385 cutoff 1.04624e+13 1.04622e+13 7530353 0.00% 2534 387 1.04624e+13 5623 1.04624e+13 1.04622e+13 7533367 0.00% 2541 386 1.04623e+13 8426 1.04624e+13 1.04622e+13 7538883 0.00% 2543 388 1.04624e+13 8814 1.04624e+13 1.04622e+13 7542549 0.00% Elapsed real time = 23774.23 sec. (tree size = 161.39 MB, solutions = 8) Nodefile size = 33.97 MB (17.74 MB after compression) 2547 392 1.04624e+13 9886 1.04624e+13 1.04622e+13 7547393 0.00% 2550 391 1.04623e+13 10357 1.04624e+13 1.04622e+13 7554933 0.00% 2553 394 1.04624e+13 8201 1.04624e+13 1.04622e+13 7559376 0.00% 2555 396 1.04624e+13 9931 1.04624e+13 1.04622e+13 7563255 0.00% 2560 397 1.04624e+13 8287 1.04624e+13 1.04622e+13 7576959 0.00% 2564 399 cutoff 1.04624e+13 1.04622e+13 7580508 0.00% 2566 399 1.04624e+13 9414 1.04624e+13 1.04622e+13 7590010 0.00% 2568 401 1.04624e+13 8637 1.04624e+13 1.04622e+13 7594243 0.00% 2569 402 1.04624e+13 8901 1.04624e+13 1.04622e+13 7597632 0.00% 2570 401 cutoff 1.04624e+13 1.04622e+13 7601087 0.00% Elapsed real time = 24017.84 sec. (tree size = 161.83 MB, solutions = 8) Nodefile size = 34.96 MB (18.25 MB after compression) 2574 399 cutoff 1.04624e+13 1.04622e+13 7609275 0.00% 2576 397 cutoff 1.04624e+13 1.04622e+13 7614766 0.00% 2577 398 1.04624e+13 6236 1.04624e+13 1.04622e+13 7622279 0.00% 2582 399 1.04623e+13 8024 1.04624e+13 1.04622e+13 7629904 0.00% 2584 401 1.04623e+13 7935 1.04624e+13 1.04622e+13 7633028 0.00% 2586 403 1.04624e+13 7211 1.04624e+13 1.04622e+13 7637361 0.00% 2588 405 1.04624e+13 7761 1.04624e+13 1.04622e+13 7640578 0.00% 2590 407 1.04624e+13 7321 1.04624e+13 1.04622e+13 7645659 0.00% 2596 403 cutoff 1.04624e+13 1.04622e+13 7651171 0.00% 2599 400 cutoff 1.04624e+13 1.04622e+13 7660511 0.00% Elapsed real time = 24250.25 sec. (tree size = 161.40 MB, solutions = 8) Nodefile size = 36.78 MB (19.14 MB after compression) 2600 399 cutoff 1.04624e+13 1.04622e+13 7668121 0.00% 2601 400 1.04624e+13 6403 1.04624e+13 1.04622e+13 7673747 0.00% 2606 397 cutoff 1.04624e+13 1.04622e+13 7677590 0.00% 2608 397 1.04624e+13 7278 1.04624e+13 1.04622e+13 7685340 0.00% 2613 398 1.04623e+13 7713 1.04624e+13 1.04622e+13 7689886 0.00% 2616 401 1.04623e+13 9596 1.04624e+13 1.04622e+13 7694498 0.00% 2619 402 1.04624e+13 7842 1.04624e+13 1.04622e+13 7700806 0.00% 2620 403 1.04624e+13 10057 1.04624e+13 1.04622e+13 7703971 0.00% 2622 405 1.04624e+13 9980 1.04624e+13 1.04622e+13 7707652 0.00% 2629 408 1.04624e+13 7413 1.04624e+13 1.04622e+13 7712197 0.00% Elapsed real time = 24455.51 sec. (tree size = 167.40 MB, solutions = 8) Nodefile size = 37.90 MB (19.65 MB after compression) 2633 405 cutoff 1.04624e+13 1.04622e+13 7716665 0.00% 2634 404 cutoff 1.04624e+13 1.04622e+13 7722994 0.00% 2636 404 1.04624e+13 6428 1.04624e+13 1.04622e+13 7732353 0.00% 2641 403 1.04624e+13 4269 1.04624e+13 1.04623e+13 7738175 0.00% 2646 404 cutoff 1.04624e+13 1.04623e+13 7741447 0.00% 2648 402 cutoff 1.04624e+13 1.04623e+13 7751458 0.00% 2649 401 cutoff 1.04624e+13 1.04623e+13 7756406 0.00% 2653 399 1.04623e+13 4630 1.04624e+13 1.04623e+13 7760626 0.00% 2654 400 1.04624e+13 4875 1.04624e+13 1.04623e+13 7764601 0.00% 2656 398 cutoff 1.04624e+13 1.04623e+13 7768164 0.00% Elapsed real time = 24680.63 sec. (tree size = 164.29 MB, solutions = 8) Nodefile size = 37.90 MB (19.65 MB after compression) 2663 397 cutoff 1.04624e+13 1.04623e+13 7771847 0.00% 2665 395 cutoff 1.04624e+13 1.04623e+13 7776772 0.00% 2669 391 cutoff 1.04624e+13 1.04623e+13 7784939 0.00% 2671 391 1.04624e+13 6525 1.04624e+13 1.04623e+13 7788538 0.00% 2674 392 1.04624e+13 5024 1.04624e+13 1.04623e+13 7793135 0.00% 2679 391 1.04624e+13 7710 1.04624e+13 1.04623e+13 7801709 0.00% 2682 390 1.04623e+13 10404 1.04624e+13 1.04623e+13 7807570 0.00% 2683 391 1.04624e+13 9975 1.04624e+13 1.04623e+13 7815712 0.00% 2687 389 1.04624e+13 6300 1.04624e+13 1.04623e+13 7825135 0.00% 2692 388 cutoff 1.04624e+13 1.04623e+13 7831501 0.00% Elapsed real time = 24973.34 sec. (tree size = 158.21 MB, solutions = 8) Nodefile size = 37.90 MB (19.65 MB after compression) 2695 391 1.04623e+13 8026 1.04624e+13 1.04623e+13 7838859 0.00% 2697 393 1.04623e+13 9683 1.04624e+13 1.04623e+13 7842843 0.00% 2701 395 1.04623e+13 10957 1.04624e+13 1.04623e+13 7846823 0.00% 2708 398 cutoff 1.04624e+13 1.04623e+13 7851271 0.00% 2710 398 cutoff 1.04624e+13 1.04623e+13 7855252 0.00% 2713 399 cutoff 1.04624e+13 1.04623e+13 7858475 0.00% 2714 400 1.04624e+13 8982 1.04624e+13 1.04623e+13 7859830 0.00% 2717 401 1.04624e+13 8883 1.04624e+13 1.04623e+13 7863223 0.00% 2723 401 1.04624e+13 10238 1.04624e+13 1.04623e+13 7866877 0.00% 2727 401 1.04624e+13 9128 1.04624e+13 1.04623e+13 7869996 0.00% Elapsed real time = 25188.88 sec. (tree size = 159.84 MB, solutions = 8) Nodefile size = 37.90 MB (19.65 MB after compression) 2734 402 1.04624e+13 8238 1.04624e+13 1.04623e+13 7874498 0.00% 2741 403 1.04624e+13 7267 1.04624e+13 1.04623e+13 7880897 0.00% 2747 401 1.04623e+13 7990 1.04624e+13 1.04623e+13 7886623 0.00% 2750 402 cutoff 1.04624e+13 1.04623e+13 7890922 0.00% 2752 402 cutoff 1.04624e+13 1.04623e+13 7894477 0.00% 2755 403 1.04624e+13 7783 1.04624e+13 1.04623e+13 7897628 0.00% 2759 405 1.04624e+13 8240 1.04624e+13 1.04623e+13 7901034 0.00% 2765 405 1.04624e+13 10624 1.04624e+13 1.04623e+13 7906873 0.00% 2767 405 cutoff 1.04624e+13 1.04623e+13 7911447 0.00% 2771 405 1.04624e+13 5369 1.04624e+13 1.04623e+13 7917075 0.00% Elapsed real time = 25394.14 sec. (tree size = 164.02 MB, solutions = 8) Nodefile size = 37.90 MB (19.65 MB after compression) 2775 403 1.04623e+13 8388 1.04624e+13 1.04623e+13 7923670 0.00% 2779 403 1.04624e+13 10051 1.04624e+13 1.04623e+13 7931390 0.00% 2782 402 1.04624e+13 9374 1.04624e+13 1.04623e+13 7937618 0.00% 2785 399 cutoff 1.04624e+13 1.04623e+13 7943440 0.00% 2788 396 cutoff 1.04624e+13 1.04623e+13 7948432 0.00% 2790 394 cutoff 1.04624e+13 1.04623e+13 7955670 0.00% 2791 395 1.04624e+13 10102 1.04624e+13 1.04623e+13 7963235 0.00% 2792 396 1.04624e+13 8335 1.04624e+13 1.04623e+13 7966869 0.00% 2794 398 1.04624e+13 7944 1.04624e+13 1.04623e+13 7969871 0.00% 2799 401 1.04624e+13 8602 1.04624e+13 1.04623e+13 7975256 0.00% Elapsed real time = 25650.93 sec. (tree size = 158.64 MB, solutions = 8) Nodefile size = 37.90 MB (19.65 MB after compression) 2803 401 1.04623e+13 8406 1.04624e+13 1.04623e+13 7978420 0.00% 2805 403 1.04624e+13 7561 1.04624e+13 1.04623e+13 7983474 0.00% 2808 404 cutoff 1.04624e+13 1.04623e+13 7987530 0.00% 2811 405 1.04624e+13 8206 1.04624e+13 1.04623e+13 7990509 0.00% 2815 403 cutoff 1.04624e+13 1.04623e+13 7994326 0.00% 2816 404 1.04624e+13 8769 1.04624e+13 1.04623e+13 7999852 0.00% 2819 401 cutoff 1.04624e+13 1.04623e+13 8004862 0.00% 2821 401 1.04623e+13 6267 1.04624e+13 1.04623e+13 8012072 0.00% 2829 403 cutoff 1.04624e+13 1.04623e+13 8016119 0.00% 2832 404 1.04623e+13 9464 1.04624e+13 1.04623e+13 8018481 0.00% Elapsed real time = 25830.66 sec. (tree size = 157.72 MB, solutions = 8) Nodefile size = 37.90 MB (19.65 MB after compression) 2834 406 1.04624e+13 6860 1.04624e+13 1.04623e+13 8022751 0.00% 2835 407 1.04624e+13 7882 1.04624e+13 1.04623e+13 8026305 0.00% 2839 403 cutoff 1.04624e+13 1.04623e+13 8030767 0.00% 2840 404 1.04624e+13 7171 1.04624e+13 1.04623e+13 8036991 0.00% 2844 404 1.04624e+13 6327 1.04624e+13 1.04623e+13 8043813 0.00% 2849 401 cutoff 1.04624e+13 1.04623e+13 8051747 0.00% 2851 399 cutoff 1.04624e+13 1.04623e+13 8056608 0.00% 2854 396 cutoff 1.04624e+13 1.04623e+13 8059440 0.00% 2856 396 1.04623e+13 11470 1.04624e+13 1.04623e+13 8062903 0.00% 2858 398 1.04624e+13 9552 1.04624e+13 1.04623e+13 8069983 0.00% Elapsed real time = 26055.96 sec. (tree size = 154.18 MB, solutions = 8) Nodefile size = 37.90 MB (19.65 MB after compression) 2860 400 1.04624e+13 9413 1.04624e+13 1.04623e+13 8074306 0.00% 2862 402 1.04624e+13 10699 1.04624e+13 1.04623e+13 8077685 0.00% 2865 405 1.04624e+13 9418 1.04624e+13 1.04623e+13 8080746 0.00% 2870 404 cutoff 1.04624e+13 1.04623e+13 8085378 0.00% 2871 403 cutoff 1.04624e+13 1.04623e+13 8091015 0.00% 2875 399 cutoff 1.04624e+13 1.04623e+13 8097047 0.00% 2877 401 1.04623e+13 6455 1.04624e+13 1.04623e+13 8101863 0.00% 2881 403 1.04624e+13 6047 1.04624e+13 1.04623e+13 8105139 0.00% 2887 405 cutoff 1.04624e+13 1.04623e+13 8108713 0.00% 2892 408 1.04624e+13 6458 1.04624e+13 1.04623e+13 8113049 0.00% Elapsed real time = 26254.97 sec. (tree size = 159.85 MB, solutions = 8) Nodefile size = 37.90 MB (19.65 MB after compression) 2897 405 1.04623e+13 6249 1.04624e+13 1.04623e+13 8117655 0.00% 2899 407 1.04624e+13 9767 1.04624e+13 1.04623e+13 8121031 0.00% 2904 402 cutoff 1.04624e+13 1.04623e+13 8125200 0.00% 2905 401 cutoff 1.04624e+13 1.04623e+13 8129041 0.00% 2906 402 1.04624e+13 10673 1.04624e+13 1.04623e+13 8134998 0.00% 2910 398 cutoff 1.04624e+13 1.04623e+13 8139611 0.00% 2911 399 1.04624e+13 10772 1.04624e+13 1.04623e+13 8147494 0.00% 2914 396 cutoff 1.04624e+13 1.04623e+13 8151112 0.00% 2916 396 1.04624e+13 6293 1.04624e+13 1.04623e+13 8155126 0.00% 2918 398 1.04624e+13 6462 1.04624e+13 1.04623e+13 8161275 0.00% Elapsed real time = 26504.13 sec. (tree size = 158.59 MB, solutions = 8) Nodefile size = 37.90 MB (19.65 MB after compression) 2921 395 cutoff 1.04624e+13 1.04623e+13 8165932 0.00% 2922 396 1.04623e+13 7815 1.04624e+13 1.04623e+13 8169365 0.00% 2924 398 1.04624e+13 6939 1.04624e+13 1.04623e+13 8173057 0.00% 2926 400 1.04624e+13 8100 1.04624e+13 1.04623e+13 8176390 0.00% 2930 402 1.04624e+13 6582 1.04624e+13 1.04623e+13 8181008 0.00% 2934 404 1.04624e+13 5991 1.04624e+13 1.04623e+13 8184802 0.00% 2939 403 1.04624e+13 7605 1.04624e+13 1.04623e+13 8191651 0.00% 2943 401 cutoff 1.04624e+13 1.04623e+13 8196000 0.00% 2944 402 1.04623e+13 6870 1.04624e+13 1.04623e+13 8199073 0.00% 2946 404 1.04624e+13 8498 1.04624e+13 1.04623e+13 8202696 0.00% Elapsed real time = 26673.96 sec. (tree size = 161.55 MB, solutions = 8) Nodefile size = 37.90 MB (19.65 MB after compression) 2949 405 cutoff 1.04624e+13 1.04623e+13 8205524 0.00% 2954 406 1.04624e+13 6118 1.04624e+13 1.04623e+13 8211189 0.00% 2959 405 cutoff 1.04624e+13 1.04623e+13 8214830 0.00% 2962 406 1.04623e+13 8778 1.04624e+13 1.04623e+13 8218456 0.00% 2963 407 1.04624e+13 6857 1.04624e+13 1.04623e+13 8221913 0.00% 2968 406 1.04624e+13 1830 1.04624e+13 1.04623e+13 8226794 0.00% * 2970 370 integral 0 1.04624e+13 1.04623e+13 8226951 0.00% 2972 370 1.04624e+13 6638 1.04624e+13 1.04623e+13 8231137 0.00% 2975 367 cutoff 1.04624e+13 1.04623e+13 8235161 0.00% 2976 366 cutoff 1.04624e+13 1.04623e+13 8240307 0.00% Elapsed real time = 26824.21 sec. (tree size = 143.01 MB, solutions = 9) Nodefile size = 24.97 MB (12.82 MB after compression) 2977 367 1.04624e+13 9868 1.04624e+13 1.04623e+13 8246027 0.00% 2982 364 cutoff 1.04624e+13 1.04623e+13 8251307 0.00% 2983 365 1.04624e+13 6099 1.04624e+13 1.04623e+13 8254978 0.00% 2986 364 1.04624e+13 10141 1.04624e+13 1.04623e+13 8259238 0.00% 2989 367 1.04624e+13 8144 1.04624e+13 1.04623e+13 8263336 0.00% 2992 366 1.04624e+13 4608 1.04624e+13 1.04623e+13 8269902 0.00% 2996 366 1.04623e+13 9000 1.04624e+13 1.04623e+13 8274852 0.00% 2998 368 1.04624e+13 7156 1.04624e+13 1.04623e+13 8278675 0.00% 3003 365 cutoff 1.04624e+13 1.04623e+13 8284675 0.00% 3006 368 1.04624e+13 8636 1.04624e+13 1.04623e+13 8291711 0.00% Elapsed real time = 27042.10 sec. (tree size = 147.43 MB, solutions = 9) Nodefile size = 24.97 MB (12.82 MB after compression) 3012 370 cutoff 1.04624e+13 1.04623e+13 8295047 0.00% 3015 367 cutoff 1.04624e+13 1.04623e+13 8299186 0.00% 3019 369 1.04624e+13 7537 1.04624e+13 1.04623e+13 8306208 0.00% 3023 365 cutoff 1.04624e+13 1.04623e+13 8309431 0.00% 3025 363 cutoff 1.04624e+13 1.04623e+13 8312854 0.00% 3027 361 cutoff 1.04624e+13 1.04623e+13 8316314 0.00% 3029 361 1.04623e+13 7435 1.04624e+13 1.04623e+13 8319843 0.00% 3031 361 cutoff 1.04624e+13 1.04623e+13 8323378 0.00% 3034 364 1.04624e+13 6703 1.04624e+13 1.04623e+13 8326786 0.00% 3044 362 1.04624e+13 5953 1.04624e+13 1.04623e+13 8332891 0.00% Elapsed real time = 27229.54 sec. (tree size = 148.05 MB, solutions = 9) Nodefile size = 24.97 MB (12.82 MB after compression) 3046 364 1.04624e+13 6766 1.04624e+13 1.04623e+13 8337027 0.00% 3050 364 1.04624e+13 8946 1.04624e+13 1.04623e+13 8342377 0.00% 3055 361 cutoff 1.04624e+13 1.04623e+13 8347714 0.00% 3057 359 cutoff 1.04624e+13 1.04623e+13 8351085 0.00% 3059 361 1.04624e+13 10119 1.04624e+13 1.04623e+13 8355165 0.00% 3063 357 cutoff 1.04624e+13 1.04623e+13 8358281 0.00% 3065 359 1.04624e+13 6818 1.04624e+13 1.04623e+13 8362028 0.00% 3071 357 cutoff 1.04624e+13 1.04623e+13 8365710 0.00% 3073 357 1.04624e+13 7085 1.04624e+13 1.04623e+13 8369901 0.00% 3079 357 1.04624e+13 9363 1.04624e+13 1.04623e+13 8382509 0.00% Elapsed real time = 27428.55 sec. (tree size = 144.54 MB, solutions = 9) Nodefile size = 24.97 MB (12.82 MB after compression) 3091 351 1.04624e+13 10234 1.04624e+13 1.04623e+13 8397643 0.00% 3102 350 1.04624e+13 7132 1.04624e+13 1.04623e+13 8412061 0.00% 3117 335 cutoff 1.04624e+13 1.04623e+13 8425014 0.00% 3125 331 cutoff 1.04624e+13 1.04623e+13 8437569 0.00% 3137 327 cutoff 1.04624e+13 1.04623e+13 8451259 0.00% 3148 324 1.04624e+13 9951 1.04624e+13 1.04623e+13 8464606 0.00% 3159 329 1.04624e+13 8140 1.04624e+13 1.04624e+13 8479413 0.00% 3175 329 cutoff 1.04624e+13 1.04624e+13 8493175 0.00% 3186 318 cutoff 1.04624e+13 1.04624e+13 8505338 0.00% 3195 315 1.04624e+13 6291 1.04624e+13 1.04624e+13 8519557 0.00% Elapsed real time = 28022.73 sec. (tree size = 119.00 MB, solutions = 9) Nodefile size = 24.97 MB (12.82 MB after compression) 3208 318 cutoff 1.04624e+13 1.04624e+13 8532517 0.00% 3219 313 cutoff 1.04624e+13 1.04624e+13 8547467 0.00% 3229 305 cutoff 1.04624e+13 1.04624e+13 8560724 0.00% 3243 297 cutoff 1.04624e+13 1.04624e+13 8575549 0.00% 3252 290 1.04624e+13 7940 1.04624e+13 1.04624e+13 8589145 0.00% 3265 281 cutoff 1.04624e+13 1.04624e+13 8600529 0.00% 3274 277 1.04624e+13 6802 1.04624e+13 1.04624e+13 8614421 0.00% 3286 271 1.04624e+13 9269 1.04624e+13 1.04624e+13 8627573 0.00% 3297 266 cutoff 1.04624e+13 1.04624e+13 8640269 0.00% 3309 254 cutoff 1.04624e+13 1.04624e+13 8652569 0.00% Elapsed real time = 28533.22 sec. (tree size = 95.12 MB, solutions = 9) Nodefile size = 24.97 MB (12.82 MB after compression) 3328 235 cutoff 1.04624e+13 1.04624e+13 8667391 0.00% 3348 215 cutoff 1.04624e+13 1.04624e+13 8679946 0.00% 3367 198 cutoff 1.04624e+13 1.04624e+13 8692002 0.00% 3381 184 cutoff 1.04624e+13 1.04624e+13 8704522 0.00% 3394 177 cutoff 1.04624e+13 1.04624e+13 8717744 0.00% 3413 168 1.04624e+13 8453 1.04624e+13 1.04624e+13 8732588 0.00% 3438 143 cutoff 1.04624e+13 1.04624e+13 8744831 0.00% 3471 110 cutoff 1.04624e+13 1.04624e+13 8756846 0.00% 3500 81 1.04624e+13 7815 1.04624e+13 1.04624e+13 8770636 0.00% 3550 28 cutoff 1.04624e+13 1.04624e+13 8780634 0.00% Elapsed real time = 29052.08 sec. (tree size = 12.20 MB, solutions = 9) Nodefile size = 7.28 MB (3.75 MB after compression) Clique cuts applied: 2 Zero-half cuts applied: 78 Gomory fractional cuts applied: 11 Root node processing (before b&c): Real time = 3629.08 Sequential b&c: Real time = 25426.94 ------- Total (root+branch&cut) = 29056.02 sec. Solution pool: 9 solutions saved. MIP - Integer optimal solution: Objective = 1.0462416852e+13 Solution time = 29070.44 sec. Iterations = 8783886 Nodes = 3580 Deterministic time = 7796750.50 ticks (268.20 ticks/sec) Incumbent solution written to file '3CHY.matrix.74p.9aa.usingEref_self_digit8.wcsp.sol'.