0.00/0.01 c Parsing...
0.00/0.22 c ==============================================================================
0.00/0.22 c | | ORIGINAL | LEARNT | |
0.00/0.22 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.22 c ==============================================================================
0.00/0.22 c | 0 | 234811 677538 | 70443 0 0 nan | 0.000 % |
1.18/1.20 c | 0 | 153907 520964 | -- 0 -- -- | -- | -79647/-152196
1.18/1.20 c ==============================================================================
1.18/1.20 c Result : #vars: 26157 #clauses: 153907 #literals: 520964
1.18/1.20 c CPU time: 1.13583 s
1.18/1.20 c ==============================================================================
1.28/1.39 c This is MiniSat 2.0 beta
1.28/1.39 c WARNING: for repeatability, setting FPU to use double precision
1.28/1.39 c ============================[ Problem Statistics ]=============================
1.28/1.39 c | |
1.28/1.39 c | Number of variables: 26157 |
1.28/1.39 c | Number of clauses: 153907 |
1.38/1.49 c | Parsing time: 0.08 s |
1.38/1.49 c ============================[ Search Statistics ]==============================
1.38/1.49 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.38/1.49 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.38/1.49 c ===============================================================================
1.38/1.49 c | 0 | 26157 153907 520964 | 51302 0 nan | 0.000 % |
1.38/1.50 c | 100 | 26157 153907 520964 | 51302 100 4 | 0.000 % |
1.38/1.51 c | 201 | 26157 153907 520964 | 51302 201 4 | 0.000 % |
1.38/1.52 c | 302 | 26157 153907 520964 | 51302 302 4 | 0.000 % |
1.38/1.53 c | 413 | 26157 153907 520964 | 51302 413 4 | 0.000 % |
1.38/1.53 c | 514 | 26157 153907 520964 | 51302 514 4 | 0.000 % |
1.38/1.55 c | 624 | 26157 153907 520964 | 51302 624 5 | 0.000 % |
1.38/1.55 c | 745 | 26157 153907 520964 | 51302 745 5 | 0.000 % |
1.38/1.56 c | 845 | 26157 153907 520964 | 51302 845 5 | 0.000 % |
1.38/1.58 c | 955 | 26157 153907 520964 | 51302 955 5 | 0.000 % |
1.38/1.61 c | 1077 | 26157 153907 520964 | 51302 1077 5 | 0.000 % |
1.38/1.63 c | 1210 | 26157 153907 520964 | 51302 1210 5 | 0.000 % |
1.38/1.65 c | 1311 | 26157 153907 520964 | 51302 1311 5 | 0.000 % |
1.38/1.66 c | 1421 | 26157 153907 520964 | 51302 1421 5 | 0.000 % |
1.38/1.69 c | 1542 | 26153 153907 520964 | 51302 1541 5 | 0.069 % |
1.38/1.71 c | 1675 | 26153 153907 520964 | 51302 1674 5 | 0.069 % |
1.38/1.72 c | 1822 | 26153 153907 520964 | 51302 1821 5 | 0.069 % |
1.38/1.73 c | 1923 | 26153 153907 520964 | 51302 1922 5 | 0.069 % |
1.38/1.74 c | 2034 | 26153 153907 520964 | 51302 2033 5 | 0.069 % |
1.38/1.75 c | 2155 | 26153 153907 520964 | 51302 2154 5 | 0.069 % |
1.38/1.76 c | 2288 | 26153 153907 520964 | 51302 2287 5 | 0.069 % |
1.38/1.78 c | 2434 | 26153 153907 520964 | 51302 2433 5 | 0.069 % |
1.38/1.80 c | 2594 | 26153 153907 520964 | 51302 2593 5 | 0.069 % |
1.38/1.81 c | 2695 | 26139 153788 520612 | 51302 2667 5 | 0.069 % |
1.38/1.82 c | 2805 | 26139 153788 520612 | 51302 2777 5 | 0.069 % |
1.38/1.86 c | 2926 | 26138 153788 520612 | 51302 2897 5 | 0.073 % |
1.38/1.87 c | 3060 | 26138 153788 520612 | 51302 3031 6 | 0.073 % |
1.38/1.88 c | 3207 | 26138 153788 520612 | 51302 3178 6 | 0.073 % |
1.38/1.88 c | 3367 | 26138 153788 520612 | 51302 3338 6 | 0.073 % |
1.38/1.88 c | 3544 | 26138 153788 520612 | 51302 3515 6 | 0.073 % |
1.38/1.89 c | 3646 | 26138 153788 520612 | 51302 3617 6 | 0.073 % |
1.38/1.89 c | 3757 | 26137 153788 520612 | 51302 3727 6 | 0.088 % |
1.38/1.90 c | 3878 | 26137 153788 520612 | 51302 3848 6 | 0.088 % |
1.38/1.91 c | 4011 | 26134 153788 520612 | 51302 3981 6 | 0.088 % |
1.38/1.92 c | 4159 | 26134 153788 520612 | 51302 4129 6 | 0.088 % |
1.38/1.94 c | 4320 | 26134 153788 520612 | 51302 4290 6 | 0.088 % |
1.38/1.97 c | 4497 | 26134 153788 520612 | 51302 4467 6 | 0.088 % |
1.38/1.99 c | 4691 | 26134 153788 520612 | 51302 4661 6 | 0.088 % |
1.38/1.99 c | 4791 | 26134 153788 520612 | 51302 4761 6 | 0.088 % |
1.38/1.99 c | 4901 | 26134 153788 520612 | 51302 4871 7 | 0.088 % |
1.38/2.00 c | 5023 | 26134 153788 520612 | 51302 4993 7 | 0.088 % |
1.38/2.00 c | 5157 | 26132 153788 520612 | 51302 5126 7 | 0.096 % |
1.38/2.02 c | 5304 | 26132 153788 520612 | 51302 5273 7 | 0.096 % |
1.38/2.02 c | 5465 | 26132 153788 520612 | 51302 5434 7 | 0.096 % |
1.38/2.03 c | 5641 | 26132 153788 520612 | 51302 5610 7 | 0.096 % |
1.38/2.03 c | 5834 | 26132 153788 520612 | 51302 5803 7 | 0.096 % |
1.38/2.04 c | 6047 | 26132 153788 520612 | 51302 6016 7 | 0.096 % |
1.38/2.04 c | 6151 | 26132 153788 520612 | 51302 6120 7 | 0.096 % |
1.38/2.05 c | 6263 | 26132 153788 520612 | 51302 6232 7 | 0.096 % |
1.38/2.05 c | 6384 | 26132 153788 520612 | 51302 6353 7 | 0.096 % |
1.38/2.06 c | 6518 | 26131 153788 520612 | 51302 6486 7 | 0.099 % |
1.38/2.06 c | 6664 | 26128 153788 520612 | 51302 6631 7 | 0.111 % |
1.38/2.07 c | 6824 | 26128 153788 520612 | 51302 6791 7 | 0.111 % |
1.38/2.07 c | 7002 | 26128 153788 520612 | 51302 6969 7 | 0.111 % |
1.38/2.08 c | 7195 | 26128 153788 520612 | 51302 7162 7 | 0.111 % |
1.38/2.09 c | 7409 | 26128 153788 520612 | 51302 7376 7 | 0.111 % |
1.38/2.09 c | 7642 | 26128 153788 520612 | 51302 7609 7 | 0.111 % |
2.08/2.10 c | 7745 | 26128 153788 520612 | 51302 7712 7 | 0.111 % |
2.08/2.11 c | 7855 | 26128 153788 520612 | 51302 7822 7 | 0.111 % |
2.08/2.12 c | 7978 | 26128 153788 520612 | 51302 7945 7 | 0.111 % |
2.08/2.12 c | 8111 | 26128 153788 520612 | 51302 8078 7 | 0.111 % |
2.08/2.13 c | 8257 | 26128 153788 520612 | 51302 8224 7 | 0.111 % |
2.08/2.14 c | 8418 | 26128 153788 520612 | 51302 8385 7 | 0.111 % |
2.08/2.14 c | 8595 | 26128 153788 520612 | 51302 8562 7 | 0.111 % |
2.08/2.15 c | 8789 | 26128 153788 520612 | 51302 8756 7 | 0.111 % |
2.18/2.20 c | 9001 | 26128 153788 520612 | 51302 8968 7 | 0.111 % |
2.18/2.24 c | 9234 | 26128 153693 520327 | 51302 9190 7 | 0.111 % |
2.18/2.28 c | 9490 | 26128 153693 520327 | 51302 9446 7 | 0.111 % |
2.18/2.28 c | 9591 | 26128 153693 520327 | 51302 9547 7 | 0.111 % |
2.18/2.29 c | 9701 | 26128 153693 520327 | 51302 9657 7 | 0.111 % |
2.27/2.31 c | 9823 | 26126 153693 520327 | 51302 9778 7 | 0.119 % |
2.27/2.34 c | 9957 | 26126 153693 520327 | 51302 9912 7 | 0.119 % |
2.27/2.35 c | 10103 | 26126 153693 520327 | 2147483647 10058 7 | 0.119 % |
2.37/2.40 c | 10263 | 26126 153693 520327 | 2147483647 10218 7 | 0.119 % |
2.37/2.42 c | 10440 | 26126 153693 520327 | 2147483647 10395 7 | 0.119 % |
2.37/2.44 c | 10633 | 26126 153693 520327 | 2147483647 10588 7 | 0.119 % |
2.37/2.45 c | 10845 | 26126 153693 520327 | 2147483647 10800 7 | 0.119 % |
2.37/2.46 c | 11078 | 26126 153693 520327 | 2147483647 11033 7 | 0.119 % |
2.37/2.47 c | 11334 | 26122 153693 520327 | 2147483647 11287 7 | 0.141 % |
2.37/2.48 c | 11617 | 26121 153693 520327 | 2147483647 11570 7 | 0.141 % |
2.37/2.48 c | 11718 | 26121 153693 520327 | 2147483647 11671 7 | 0.141 % |
2.37/2.48 c | 11828 | 26121 153693 520327 | 2147483647 11781 7 | 0.141 % |
2.37/2.48 c | 11950 | 26121 153693 520327 | 2147483647 11903 7 | 0.141 % |
2.37/2.49 c | 12083 | 26121 153693 520327 | 2147483647 12036 7 | 0.141 % |
2.37/2.49 c | 12230 | 26121 153693 520327 | 2147483647 12183 7 | 0.141 % |
2.47/2.50 c | 12395 | 26121 153693 520327 | 2147483647 12348 7 | 0.141 % |
2.47/2.51 c | 12572 | 26121 153693 520327 | 2147483647 12525 7 | 0.141 % |
2.47/2.52 c | 12765 | 26118 153693 520327 | 2147483647 12717 8 | 0.157 % |
2.47/2.52 c | 12977 | 26118 153693 520327 | 2147483647 12929 8 | 0.157 % |
2.47/2.53 c | 13211 | 26118 153693 520327 | 2147483647 13163 8 | 0.157 % |
2.47/2.54 c | 13467 | 26118 153693 520327 | 2147483647 13419 8 | 0.157 % |
2.47/2.55 c | 13749 | 26118 153693 520327 | 2147483647 13701 8 | 0.157 % |
2.47/2.56 c | 14058 | 26118 153693 520327 | 2147483647 14010 8 | 0.157 % |
2.47/2.56 c | 14161 | 26118 153693 520327 | 2147483647 14113 8 | 0.157 % |
2.47/2.57 c | 14271 | 26118 153693 520327 | 2147483647 14223 8 | 0.157 % |
2.47/2.57 c | 14393 | 26118 153693 520327 | 2147483647 14345 8 | 0.157 % |
2.47/2.58 c | 14526 | 26118 153693 520327 | 2147483647 14478 8 | 0.157 % |
2.47/2.58 c | 14672 | 26118 153693 520327 | 2147483647 14624 8 | 0.157 % |
2.47/2.59 c | 14834 | 26118 153693 520327 | 2147483647 14786 8 | 0.157 % |
2.57/2.60 c | 15010 | 26118 153693 520327 | 2147483647 14962 8 | 0.157 % |
2.57/2.61 c | 15203 | 26118 153693 520327 | 2147483647 15155 8 | 0.157 % |
2.57/2.62 c | 15416 | 26116 153693 520327 | 2147483647 15367 8 | 0.176 % |
2.57/2.63 c | 15651 | 26116 153693 520327 | 2147483647 15602 8 | 0.176 % |
2.57/2.64 c | 15907 | 26116 153693 520327 | 2147483647 15858 8 | 0.176 % |
2.57/2.65 c | 16188 | 26116 153693 520327 | 2147483647 16139 8 | 0.176 % |
2.57/2.66 c | 16498 | 26116 153693 520327 | 2147483647 16449 8 | 0.176 % |
2.57/2.68 c | 16837 | 26112 153693 520327 | 2147483647 16786 8 | 0.203 % |
2.57/2.68 c | 16938 | 26112 153693 520327 | 2147483647 16887 8 | 0.203 % |
2.57/2.69 c | 17048 | 26112 153693 520327 | 2147483647 16997 8 | 0.203 % |
2.57/2.70 c | 17169 | 26112 153693 520327 | 2147483647 17118 8 | 0.203 % |
2.67/2.71 c | 17302 | 26109 153693 520327 | 2147483647 17251 8 | 0.203 % |
2.67/2.73 c | 17449 | 26104 153443 519522 | 2147483647 17027 8 | 0.203 % |
2.67/2.74 c | 17609 | 26104 153443 519522 | 2147483647 17187 8 | 0.203 % |
2.67/2.75 c | 17786 | 26104 153443 519522 | 2147483647 17364 8 | 0.203 % |
2.67/2.76 c | 17979 | 26102 153443 519522 | 2147483647 17556 8 | 0.210 % |
2.67/2.77 c | 18196 | 26102 153443 519522 | 2147483647 17773 8 | 0.210 % |
2.67/2.79 c | 18429 | 26102 153443 519522 | 2147483647 18006 8 | 0.210 % |
2.77/2.80 c | 18685 | 26102 153443 519522 | 2147483647 18262 8 | 0.210 % |
2.77/2.81 c | 18966 | 26102 153443 519522 | 2147483647 18543 8 | 0.210 % |
2.77/2.82 c | 19275 | 26102 153443 519522 | 2147483647 18852 8 | 0.210 % |
2.77/2.84 c | 19615 | 26101 153443 519522 | 2147483647 19191 8 | 0.214 % |
2.77/2.86 c | 19987 | 26101 153443 519522 | 2147483647 19563 8 | 0.214 % |
2.77/2.87 c | 20087 | 26100 153443 519522 | 2147483647 19661 8 | 0.248 % |
2.77/2.87 c | 20197 | 26096 153443 519522 | 2147483647 19771 8 | 0.248 % |
2.77/2.88 c | 20319 | 26096 153443 519522 | 2147483647 19893 8 | 0.248 % |
2.77/2.89 c | 20453 | 26096 153443 519522 | 2147483647 20027 8 | 0.248 % |
2.77/2.89 c | 20601 | 26096 153443 519522 | 2147483647 20175 8 | 0.248 % |
2.87/2.90 c | 20761 | 26096 153443 519522 | 2147483647 20335 8 | 0.248 % |
2.87/2.91 c | 20937 | 26096 153443 519522 | 2147483647 20511 8 | 0.248 % |
2.87/2.93 c | 21131 | 26095 153443 519522 | 2147483647 20705 8 | 0.248 % |
2.87/2.95 c | 21344 | 26094 153443 519522 | 2147483647 20918 8 | 0.248 % |
2.97/3.01 c | 21577 | 26093 153443 519522 | 2147483647 21151 8 | 0.249 % |
2.97/3.03 c | 21834 | 26090 153443 519522 | 2147483647 21407 8 | 0.264 % |
2.97/3.04 c | 22116 | 26090 153443 519522 | 2147483647 21689 8 | 0.264 % |
2.97/3.07 c | 22425 | 26088 153443 519522 | 2147483647 21997 8 | 0.287 % |
2.97/3.09 c | 22765 | 26088 153443 519522 | 2147483647 22337 8 | 0.287 % |
3.07/3.14 c | 23137 | 26087 153443 519522 | 2147483647 22709 8 | 0.287 % |
3.07/3.20 c | 23547 | 26087 153443 519522 | 2147483647 23119 9 | 0.287 % |
3.17/3.21 c | 23647 | 26087 153443 519522 | 2147483647 23219 9 | 0.287 % |
3.17/3.22 c | 23757 | 26087 153443 519522 | 2147483647 23329 9 | 0.287 % |
3.17/3.24 c | 23879 | 26087 153443 519522 | 2147483647 23451 9 | 0.287 % |
3.17/3.26 c | 24013 | 26084 153443 519522 | 2147483647 23582 9 | 0.298 % |
3.17/3.27 c | 24160 | 26084 153443 519522 | 2147483647 23729 9 | 0.298 % |
3.17/3.29 c | 24321 | 26084 153443 519522 | 2147483647 23890 9 | 0.298 % |
3.17/3.30 c | 24498 | 26084 153443 519522 | 2147483647 24067 9 | 0.298 % |
3.27/3.32 c | 24691 | 26081 153443 519522 | 2147483647 24259 9 | 0.310 % |
3.27/3.34 c | 24903 | 26077 153443 519522 | 2147483647 24469 9 | 0.329 % |
3.27/3.35 c | 25136 | 26077 153443 519522 | 2147483647 24702 9 | 0.329 % |
3.27/3.36 c | 25394 | 26077 153443 519522 | 2147483647 24960 9 | 0.329 % |
3.27/3.39 c | 25675 | 26071 153142 518566 | 2147483647 24614 9 | 0.329 % |
3.37/3.40 c | 25984 | 26071 153142 518566 | 2147483647 24923 9 | 0.329 % |
3.37/3.46 c | 26325 | 26071 153142 518566 | 2147483647 25264 9 | 0.329 % |
3.47/3.50 c | 26698 | 26071 153142 518566 | 2147483647 25637 9 | 0.329 % |
3.47/3.54 c | 27109 | 26071 153142 518566 | 2147483647 26048 9 | 0.329 % |
3.47/3.58 c | 27558 | 26069 153142 518566 | 2147483647 26496 9 | 0.336 % |
3.47/3.59 c | 27658 | 26069 153142 518566 | 2147483647 26596 9 | 0.336 % |
3.47/3.59 c | 27768 | 26066 153142 518566 | 2147483647 26705 9 | 0.348 % |
3.57/3.60 c | 27892 | 26066 153142 518566 | 2147483647 26829 9 | 0.348 % |
3.57/3.63 c | 28025 | 26066 153142 518566 | 2147483647 26962 9 | 0.348 % |
3.57/3.64 c | 28173 | 26066 153142 518566 | 2147483647 27110 9 | 0.348 % |
3.57/3.65 c | 28334 | 26066 153142 518566 | 2147483647 27271 9 | 0.348 % |
3.57/3.66 c | 28511 | 26066 153142 518566 | 2147483647 27448 9 | 0.348 % |
3.57/3.67 c | 28705 | 26062 153142 518566 | 2147483647 27641 9 | 0.367 % |
3.57/3.68 c | 28917 | 26062 153142 518566 | 2147483647 27853 9 | 0.367 % |
3.67/3.73 c | 29151 | 26062 153142 518566 | 2147483647 28087 9 | 0.367 % |
3.67/3.75 c | 29407 | 26062 153142 518566 | 2147483647 28343 9 | 0.367 % |
3.67/3.76 c | 29689 | 26062 153142 518566 | 2147483647 28625 9 | 0.367 % |
3.67/3.77 c | 29999 | 26062 153142 518566 | 2147483647 28935 9 | 0.367 % |
3.67/3.79 c | 30338 | 26062 153142 518566 | 2147483647 29274 9 | 0.367 % |
3.77/3.84 c | 30711 | 26062 153142 518566 | 2147483647 29647 9 | 0.367 % |
3.87/3.90 c | 31120 | 26062 153142 518566 | 2147483647 30056 9 | 0.367 % |
3.87/3.94 c | 31569 | 26062 153142 518566 | 2147483647 30505 9 | 0.367 % |
3.87/3.96 c | 32062 | 26048 153142 518566 | 2147483647 30996 9 | 0.455 % |
3.87/3.97 c | 32163 | 26040 153142 518566 | 2147483647 31094 9 | 0.616 % |
3.87/3.97 c | 32274 | 26022 153142 518566 | 2147483647 31203 9 | 0.654 % |
3.87/3.98 c | 32395 | 26020 153142 518566 | 2147483647 31323 9 | 0.661 % |
3.87/3.99 c | 32528 | 26020 153142 518566 | 2147483647 31456 9 | 0.661 % |
3.97/4.00 c | 32674 | 26020 153142 518566 | 2147483647 31602 9 | 0.661 % |
3.97/4.02 c | 32835 | 26003 153142 518566 | 2147483647 31763 9 | 0.661 % |
3.97/4.03 c | 33011 | 26003 153142 518566 | 2147483647 31939 9 | 0.661 % |
3.97/4.08 c | 33204 | 25998 153142 518566 | 2147483647 32132 9 | 0.661 % |
4.07/4.13 c | 33418 | 25984 152427 516253 | 2147483647 27408 9 | 0.661 % |
4.07/4.14 c | 33651 | 25984 152427 516253 | 2147483647 27641 9 | 0.661 % |
4.07/4.18 c | 33908 | 25984 152427 516253 | 2147483647 27898 9 | 0.661 % |
4.07/4.19 c | 34189 | 25984 152427 516253 | 2147483647 28179 9 | 0.661 % |
4.17/4.20 c | 34498 | 25984 152427 516253 | 2147483647 28488 9 | 0.661 % |
4.17/4.22 c | 34839 | 25984 152427 516253 | 2147483647 28829 9 | 0.661 % |
4.17/4.24 c | 35211 | 25984 152427 516253 | 2147483647 29201 9 | 0.661 % |
4.27/4.30 c | 35620 | 25984 152427 516253 | 2147483647 29610 9 | 0.661 % |
4.27/4.32 c | 36070 | 25984 152427 516253 | 2147483647 30060 9 | 0.661 % |
4.27/4.40 c | 36563 | 25978 152427 516253 | 2147483647 30551 9 | 0.684 % |
4.37/4.43 c | 37105 | 25978 152427 516253 | 2147483647 31093 9 | 0.684 % |
4.37/4.44 c | 37205 | 25978 152427 516253 | 2147483647 31193 9 | 0.684 % |
4.37/4.44 c | 37317 | 25978 152427 516253 | 2147483647 31305 9 | 0.684 % |
4.37/4.46 c | 37440 | 25977 152427 516253 | 2147483647 31427 9 | 0.703 % |
4.37/4.47 c | 37574 | 25977 152427 516253 | 2147483647 31561 9 | 0.703 % |
4.37/4.48 c | 37721 | 25975 152427 516253 | 2147483647 31707 9 | 0.772 % |
4.37/4.49 c | 37882 | 25968 152427 516253 | 2147483647 31867 9 | 0.937 % |
4.47/4.50 c | 38058 | 25957 152427 516253 | 2147483647 32043 9 | 0.937 % |
4.47/4.51 c | 38251 | 25957 152427 516253 | 2147483647 32236 9 | 0.937 % |
4.47/4.53 c | 38464 | 25957 152427 516253 | 2147483647 32449 9 | 0.937 % |
4.47/4.54 c | 38698 | 25957 152427 516253 | 2147483647 32683 9 | 0.937 % |
4.47/4.58 c | 38954 | 25941 152427 516253 | 2147483647 32939 9 | 0.937 % |
4.56/4.63 c | 39235 | 25930 152427 516253 | 2147483647 33218 9 | 0.971 % |
4.56/4.65 c | 39545 | 25926 152427 516253 | 2147483647 33527 9 | 0.986 % |
4.56/4.68 c | 39885 | 25921 152427 516253 | 2147483647 33865 9 | 1.044 % |
4.66/4.70 c | 40258 | 25915 152427 516253 | 2147483647 34236 9 | 1.070 % |
4.66/4.72 c | 40668 | 25915 152427 516253 | 2147483647 34646 9 | 1.070 % |
4.66/4.78 c | 41118 | 25902 152427 516253 | 2147483647 35096 9 | 1.070 % |
4.76/4.87 c | 41611 | 25893 152427 516253 | 2147483647 35588 9 | 1.135 % |
4.86/4.94 c | 42153 | 25892 152427 516253 | 2147483647 36130 9 | 1.135 % |
4.96/5.06 c | 42749 | 25858 151524 513459 | 2147483647 34062 9 | 1.143 % |
4.96/5.08 c | 42850 | 25858 151524 513459 | 2147483647 34163 9 | 1.143 % |
5.07/5.10 c | 42960 | 25852 151524 513459 | 2147483647 34271 9 | 1.189 % |
5.07/5.12 c | 43081 | 25852 151524 513459 | 2147483647 34392 9 | 1.189 % |
5.07/5.13 c | 43215 | 25852 151524 513459 | 2147483647 34526 9 | 1.189 % |
5.07/5.15 c | 43362 | 25852 151524 513459 | 2147483647 34673 9 | 1.189 % |
5.07/5.15 c | 43522 | 25852 151524 513459 | 2147483647 34833 9 | 1.189 % |
5.07/5.17 c | 43699 | 25850 151524 513459 | 2147483647 35009 9 | 1.223 % |
5.07/5.19 c | 43892 | 25850 151524 513459 | 2147483647 35202 9 | 1.223 % |
5.07/5.20 c | 44104 | 25849 151524 513459 | 2147483647 35414 9 | 1.223 % |
5.17/5.22 c | 44338 | 25849 151524 513459 | 2147483647 35648 9 | 1.223 % |
5.17/5.23 c | 44594 | 25849 151524 513459 | 2147483647 35904 9 | 1.223 % |
5.17/5.26 c | 44875 | 25847 151524 513459 | 2147483647 36184 9 | 1.231 % |
5.17/5.27 c | 45184 | 25847 151524 513459 | 2147483647 36493 9 | 1.231 % |
5.17/5.29 c | 45524 | 25843 151524 513459 | 2147483647 36832 9 | 1.258 % |
5.27/5.32 c | 45896 | 25842 151524 513459 | 2147483647 37204 9 | 1.258 % |
5.27/5.34 c | 46306 | 25842 151524 513459 | 2147483647 37614 9 | 1.258 % |
5.27/5.38 c | 46755 | 25827 151524 513459 | 2147483647 38062 9 | 1.338 % |
5.37/5.41 c | 47248 | 25820 151524 513459 | 2147483647 38555 9 | 1.338 % |
5.37/5.44 c | 47790 | 25820 151524 513459 | 2147483647 39097 9 | 1.338 % |
5.47/5.57 c | 48386 | 25820 151524 513459 | 2147483647 39693 9 | 1.338 % |
5.57/5.62 c | 49041 | 25816 151524 513459 | 2147483647 40347 9 | 1.372 % |
5.57/5.66 c | 49141 | 25814 151524 513459 | 2147483647 40447 9 | 1.372 % |
5.57/5.70 c | 49251 | 25813 151524 513459 | 2147483647 40557 9 | 1.372 % |
5.67/5.72 c | 49372 | 25813 151524 513459 | 2147483647 40678 9 | 1.372 % |
5.67/5.73 c | 49506 | 25813 151524 513459 | 2147483647 40812 9 | 1.372 % |
5.67/5.74 c | 49653 | 25811 151524 513459 | 2147483647 40958 9 | 1.384 % |
5.67/5.76 c | 49813 | 25810 151524 513459 | 2147483647 41118 9 | 1.384 % |
5.67/5.78 c | 49989 | 25804 151524 513459 | 2147483647 41291 9 | 1.434 % |
5.77/5.82 c | 50182 | 25793 151524 513459 | 2147483647 41481 9 | 1.460 % |
5.77/5.88 c | 50396 | 25775 150922 511582 | 2147483647 39457 9 | 1.460 % |
5.77/5.89 c | 50631 | 25775 150922 511582 | 2147483647 39692 9 | 1.460 % |
5.86/5.91 c | 50889 | 25775 150922 511582 | 2147483647 39950 9 | 1.460 % |
5.86/5.93 c | 51171 | 25775 150922 511582 | 2147483647 40232 9 | 1.460 % |
5.86/5.96 c | 51480 | 25775 150922 511582 | 2147483647 40541 9 | 1.460 % |
5.86/5.99 c | 51819 | 25775 150922 511582 | 2147483647 40880 9 | 1.460 % |
5.96/6.03 c | 52191 | 25775 150922 511582 | 2147483647 41252 9 | 1.460 % |
5.96/6.06 c | 52601 | 25775 150922 511582 | 2147483647 41662 9 | 1.460 % |
6.06/6.11 c | 53051 | 25775 150922 511582 | 2147483647 42112 9 | 1.460 % |
6.06/6.17 c | 53544 | 25775 150922 511582 | 2147483647 42605 9 | 1.460 % |
6.16/6.24 c | 54088 | 25768 150922 511582 | 2147483647 43147 9 | 1.548 % |
6.26/6.34 c | 54684 | 25756 150922 511582 | 2147483647 43743 9 | 1.548 % |
6.36/6.41 c | 55339 | 25756 150922 511582 | 2147483647 44398 9 | 1.548 % |
6.36/6.49 c | 56061 | 25755 150922 511582 | 2147483647 45119 9 | 1.552 % |
6.47/6.50 c | 56162 | 25754 150922 511582 | 2147483647 45219 9 | 1.556 % |
6.47/6.50 c | 56272 | 25754 150922 511582 | 2147483647 45329 9 | 1.556 % |
6.47/6.51 c | 56393 | 25754 150922 511582 | 2147483647 45450 9 | 1.556 % |
6.47/6.52 c | 56526 | 25754 150922 511582 | 2147483647 45583 9 | 1.556 % |
6.47/6.54 c | 56673 | 25753 150922 511582 | 2147483647 45729 9 | 1.560 % |
6.47/6.55 c | 56833 | 25753 150922 511582 | 2147483647 45889 9 | 1.560 % |
6.47/6.56 c | 57010 | 25753 150922 511582 | 2147483647 46066 9 | 1.560 % |
6.47/6.59 c | 57203 | 25753 150922 511582 | 2147483647 46259 9 | 1.560 % |
6.57/6.61 c | 57415 | 25753 150922 511582 | 2147483647 46471 9 | 1.560 % |
6.57/6.62 c | 57648 | 25753 150922 511582 | 2147483647 46704 9 | 1.560 % |
6.57/6.64 c | 57904 | 25753 150922 511582 | 2147483647 46960 9 | 1.560 % |
6.57/6.67 c | 58187 | 25752 150922 511582 | 2147483647 47242 9 | 1.564 % |
6.57/6.69 c | 58497 | 25752 150922 511582 | 2147483647 47552 9 | 1.564 % |
6.66/6.70 c | 58836 | 25746 150922 511582 | 2147483647 47890 9 | 1.602 % |
6.66/6.76 c | 59209 | 25744 150922 511582 | 2147483647 48263 9 | 1.602 % |
6.76/6.85 c | 59619 | 25738 150666 510769 | 2147483647 48032 9 | 1.602 % |
6.76/6.89 c | 60069 | 25736 150666 510769 | 2147483647 48481 9 | 1.610 % |
6.86/6.94 c | 60563 | 25720 150666 510769 | 2147483647 48974 9 | 1.912 % |
6.96/7.00 c | 61105 | 25718 150666 510769 | 2147483647 49515 9 | 1.923 % |
6.96/7.02 c | 61704 | 25718 150666 510769 | 2147483647 50114 9 | 1.923 % |
6.96/7.07 c | 62359 | 25711 150666 510769 | 2147483647 50768 9 | 1.950 % |
7.06/7.11 c | 63079 | 25695 150666 510769 | 2147483647 51487 9 | 2.114 % |
7.06/7.14 c | 63872 | 25695 150666 510769 | 2147483647 52280 9 | 2.114 % |
7.06/7.15 c | 63972 | 25691 150666 510769 | 2147483647 52379 9 | 2.141 % |
7.06/7.16 c | 64083 | 25618 150666 510769 | 2147483647 52488 9 | 2.638 % |
7.06/7.17 c | 64204 | 25618 150666 510769 | 2147483647 52609 9 | 2.638 % |
7.06/7.19 c | 64338 | 25616 150666 510769 | 2147483647 52743 9 | 2.638 % |
7.16/7.22 c | 64484 | 25549 150666 510769 | 2147483647 52887 9 | 2.672 % |
7.16/7.23 c | 64644 | 25549 150666 510769 | 2147483647 53047 9 | 2.672 % |
7.16/7.25 c | 64820 | 25549 150666 510769 | 2147483647 53223 9 | 2.672 % |
7.16/7.27 c | 65016 | 25549 150666 510769 | 2147483647 53419 9 | 2.672 % |
7.26/7.30 c | 65228 | 25549 150666 510769 | 2147483647 53631 9 | 2.672 % |
7.26/7.31 c | 65461 | 25549 150666 510769 | 2147483647 53864 9 | 2.672 % |
7.26/7.32 c | 65717 | 25549 150666 510769 | 2147483647 54120 9 | 2.672 % |
7.26/7.33 c | 65999 | 25549 150666 510769 | 2147483647 54402 9 | 2.672 % |
7.26/7.35 c | 66308 | 25549 150666 510769 | 2147483647 54711 9 | 2.672 % |
7.26/7.37 c | 66648 | 25549 150666 510769 | 2147483647 55051 9 | 2.672 % |
7.36/7.41 c | 67021 | 25549 150666 510769 | 2147483647 55424 9 | 2.672 % |
7.36/7.44 c | 67430 | 25549 150666 510769 | 2147483647 55833 9 | 2.672 % |
7.36/7.48 c | 67880 | 25541 150666 510769 | 2147483647 56279 9 | 2.703 % |
7.46/7.50 c | 68374 | 25541 150666 510769 | 2147483647 56773 9 | 2.703 % |
7.46/7.55 c | 68916 | 25541 150666 510769 | 2147483647 57315 9 | 2.703 % |
7.56/7.63 c | 69513 | 25536 150666 510769 | 2147483647 57908 9 | 2.726 % |
7.56/7.66 c | 70168 | 25531 150666 510769 | 2147483647 58562 9 | 2.997 % |
7.76/7.88 c | 70890 | 25514 150666 510769 | 2147483647 59284 9 | 2.997 % |
7.86/7.97 c | 71683 | 25366 148399 503397 | 2147483647 50349 9 | 3.062 % |
7.96/8.03 c | 72554 | 25366 148399 503397 | 2147483647 51220 9 | 3.062 % |
7.96/8.05 c | 72654 | 25364 148399 503397 | 2147483647 51319 9 | 3.070 % |
7.96/8.06 c | 72764 | 25364 148399 503397 | 2147483647 51429 9 | 3.070 % |
7.96/8.07 c | 72885 | 25364 148399 503397 | 2147483647 51550 9 | 3.070 % |
7.96/8.08 c | 73018 | 25361 148399 503397 | 2147483647 51682 9 | 3.116 % |
8.06/8.10 c | 73166 | 25354 148399 503397 | 2147483647 51828 9 | 3.131 % |
8.06/8.11 c | 73326 | 25354 148399 503397 | 2147483647 51988 9 | 3.131 % |
8.06/8.13 c | 73502 | 25354 148399 503397 | 2147483647 52164 9 | 3.131 % |
8.06/8.15 c | 73695 | 25350 148399 503397 | 2147483647 52355 9 | 3.146 % |
8.06/8.17 c | 73907 | 25350 148399 503397 | 2147483647 52567 9 | 3.146 % |
8.06/8.18 c | 74142 | 25350 148399 503397 | 2147483647 52802 9 | 3.146 % |
8.16/8.21 c | 74400 | 25329 148399 503397 | 2147483647 53059 9 | 3.330 % |
8.16/8.24 c | 74681 | 25329 148399 503397 | 2147483647 53340 9 | 3.330 % |
8.16/8.26 c | 74991 | 25326 148399 503397 | 2147483647 53649 9 | 3.345 % |
8.26/8.31 c | 75331 | 25289 148399 503397 | 2147483647 53988 9 | 3.510 % |
8.36/8.47 c | 75703 | 25216 148399 503397 | 2147483647 54355 9 | 3.892 % |
8.46/8.54 c | 76112 | 25212 148399 503397 | 2147483647 54761 9 | 3.942 % |
8.56/8.62 c | 76561 | 25201 148399 503397 | 2147483647 55207 9 | 4.018 % |
8.56/8.70 c | 77054 | 25187 148399 503397 | 2147483647 55699 9 | 4.186 % |
8.66/8.73 c | 77598 | 25183 148399 503397 | 2147483647 56240 9 | 4.282 % |
8.76/8.83 c | 78194 | 25168 148399 503397 | 2147483647 56833 9 | 4.343 % |
8.86/8.99 c | 78849 | 25012 145826 494965 | 2147483647 48419 8 | 4.377 % |
9.06/9.19 c | 79572 | 25005 145826 494965 | 2147483647 49137 8 | 4.404 % |
9.26/9.36 c | 80364 | 24964 145826 494965 | 2147483647 49923 8 | 4.848 % |
9.46/9.58 c | 81235 | 24901 145826 494965 | 2147483647 50790 8 | 4.936 % |
9.76/9.84 c | 82195 | 24895 145826 494965 | 2147483647 51750 8 | 4.936 % |
9.76/9.86 c | 82297 | 24895 145826 494965 | 2147483647 51850 8 | 4.985 % |
9.86/9.91 c | 82407 | 24852 144812 491686 | 2147483647 48727 8 | 4.997 % |
9.86/9.95 c | 82529 | 24843 144812 491686 | 2147483647 48845 8 | 5.062 % |
9.86/9.98 c | 82662 | 24842 144812 491686 | 2147483647 48977 8 | 5.066 % |
9.96/10.05 c | 82808 | 24840 144812 491686 | 2147483647 49122 8 | 5.073 % |
10.06/10.12 c | 82968 | 24833 144812 491686 | 2147483647 49280 8 | 5.123 % |
10.06/10.16 c | 83144 | 24831 144812 491686 | 2147483647 49454 8 | 5.131 % |
10.06/10.17 c | 83337 | 24831 144812 491686 | 2147483647 49647 8 | 5.131 % |
10.16/10.21 c | 83549 | 24809 144812 491686 | 2147483647 49858 8 | 5.471 % |
10.16/10.29 c | 83782 | 24739 144812 491686 | 2147483647 50091 8 | 5.471 % |
10.26/10.37 c | 84039 | 24739 144812 491686 | 2147483647 50348 8 | 5.471 % |
10.36/10.41 c | 84321 | 24739 144812 491686 | 2147483647 50630 8 | 5.471 % |
10.36/10.48 c | 84630 | 24733 144812 491686 | 2147483647 50937 8 | 5.597 % |
10.46/10.50 c | 84969 | 24733 144812 491686 | 2147483647 51276 8 | 5.597 % |
10.46/10.55 c | 85344 | 24733 144812 491686 | 2147483647 51651 8 | 5.597 % |
10.46/10.59 c | 85755 | 24728 144812 491686 | 2147483647 52060 8 | 5.620 % |
10.56/10.67 c | 86204 | 24728 144812 491686 | 2147483647 52509 8 | 5.620 % |
10.66/10.78 c | 86697 | 24702 144812 491686 | 2147483647 53002 8 | 5.620 % |
10.86/10.90 c | 87240 | 24702 144812 491686 | 2147483647 53545 8 | 5.620 % |
10.96/11.06 c | 87836 | 24687 143882 488682 | 2147483647 51313 8 | 5.620 % |
11.16/11.26 c | 88491 | 24684 143882 488682 | 2147483647 51967 8 | 5.631 % |
11.26/11.39 c | 89212 | 24682 143882 488682 | 2147483647 52687 8 | 5.647 % |
11.36/11.44 c | 90005 | 24682 143882 488682 | 2147483647 53480 8 | 5.647 % |
11.56/11.68 c | 90876 | 24676 143882 488682 | 2147483647 54350 8 | 5.673 % |
11.66/11.74 c | 91834 | 24676 143882 488682 | 2147483647 55308 8 | 5.673 % |
11.96/12.00 c | 92888 | 24668 143771 488304 | 2147483647 55762 8 | 5.693 % |
11.96/12.03 c | 92988 | 24668 143771 488304 | 2147483647 55862 8 | 5.693 % |
11.96/12.06 c | 93098 | 24666 143771 488304 | 2147483647 55971 8 | 5.700 % |
12.06/12.11 c | 93219 | 24666 143771 488304 | 2147483647 56092 8 | 5.700 % |
12.06/12.18 c | 93352 | 24666 143771 488304 | 2147483647 56225 8 | 5.700 % |
12.16/12.21 c | 93500 | 24666 143771 488304 | 2147483647 56373 8 | 5.700 % |
12.16/12.25 c | 93660 | 24666 143771 488304 | 2147483647 56533 8 | 5.700 % |
12.26/12.30 c | 93837 | 24666 143771 488304 | 2147483647 56710 8 | 5.700 % |
12.26/12.37 c | 94031 | 24666 143771 488304 | 2147483647 56904 8 | 5.700 % |
12.36/12.41 c | 94243 | 24662 143771 488304 | 2147483647 57114 8 | 5.723 % |
12.36/12.48 c | 94476 | 24662 143771 488304 | 2147483647 57347 8 | 5.723 % |
12.46/12.56 c | 94732 | 24660 143771 488304 | 2147483647 57603 8 | 5.723 % |
12.46/12.59 c | 95013 | 24660 143771 488304 | 2147483647 57884 8 | 5.723 % |
12.56/12.69 c | 95323 | 24660 143771 488304 | 2147483647 58194 8 | 5.723 % |
12.66/12.75 c | 95662 | 24660 143771 488304 | 2147483647 58533 8 | 5.723 % |
12.76/12.83 c | 96035 | 24660 143771 488304 | 2147483647 58906 8 | 5.723 % |
12.86/12.90 c | 96444 | 24660 143771 488304 | 2147483647 59315 8 | 5.723 % |
12.96/13.05 c | 96895 | 24660 143693 488068 | 2147483647 59743 8 | 5.723 % |
13.06/13.12 c | 97389 | 24660 143693 488068 | 2147483647 60237 8 | 5.723 % |
13.06/13.17 c | 97932 | 24660 143693 488068 | 2147483647 60780 8 | 5.723 % |
13.16/13.27 c | 98528 | 24660 143693 488068 | 2147483647 61376 8 | 5.723 % |
13.26/13.38 c | 99184 | 24656 143693 488068 | 2147483647 62030 8 | 5.761 % |
13.37/13.43 c | 99904 | 24655 143693 488068 | 2147483647 62749 8 | 5.765 % |
13.57/13.61 c | 100697 | 24648 143693 488068 | 2147483647 63540 8 | 5.815 % |
13.77/13.80 c | 101568 | 24636 143693 488068 | 2147483647 64409 8 | 5.865 % |
13.87/13.93 c | 102527 | 24595 143272 486677 | 2147483647 64143 8 | 5.972 % |
14.07/14.17 c | 103580 | 24576 143272 486677 | 2147483647 65195 8 | 6.090 % |
14.17/14.29 c | 104738 | 24576 143272 486677 | 2147483647 66353 8 | 6.090 % |
14.17/14.29 c | 104838 | 24576 143272 486677 | 2147483647 66453 8 | 6.090 % |
14.27/14.34 c | 104949 | 24576 143272 486677 | 2147483647 66564 8 | 6.090 % |
14.27/14.37 c | 105072 | 24576 143272 486677 | 2147483647 66687 8 | 6.090 % |
14.27/14.39 c | 105208 | 24576 143272 486677 | 2147483647 66823 8 | 6.090 % |
14.37/14.43 c | 105354 | 24554 143272 486677 | 2147483647 66966 8 | 6.186 % |
14.37/14.46 c | 105514 | 24551 143272 486677 | 2147483647 67126 8 | 6.186 % |
14.37/14.49 c | 105692 | 24550 143272 486677 | 2147483647 67303 8 | 6.193 % |
14.47/14.53 c | 105885 | 24550 143272 486677 | 2147483647 67496 8 | 6.193 % |
14.47/14.56 c | 106099 | 24550 143272 486677 | 2147483647 67710 8 | 6.193 % |
14.47/14.58 c | 106332 | 24550 143272 486677 | 2147483647 67943 8 | 6.193 % |
14.57/14.60 c | 106589 | 24550 143272 486677 | 2147483647 68200 8 | 6.193 % |
14.67/14.70 c | 106870 | 24549 143272 486677 | 2147483647 68481 8 | 6.193 % |
14.67/14.72 c | 107180 | 24549 143272 486677 | 2147483647 68791 8 | 6.193 % |
14.77/14.82 c | 107519 | 24547 143272 486677 | 2147483647 69129 8 | 6.201 % |
14.77/14.87 c | 107892 | 24546 143272 486677 | 2147483647 69501 8 | 6.266 % |
14.87/14.95 c | 108301 | 24518 142769 485014 | 2147483647 68274 8 | 6.266 % |
14.87/14.99 c | 108751 | 24517 142769 485014 | 2147483647 68723 8 | 6.270 % |
14.97/15.07 c | 109246 | 24517 142769 485014 | 2147483647 69218 8 | 6.270 % |
15.07/15.15 c | 109788 | 24516 142769 485014 | 2147483647 69759 8 | 6.274 % |
15.17/15.28 c | 110385 | 24515 142769 485014 | 2147483647 70355 8 | 6.277 % |
15.37/15.43 c | 111040 | 24515 142769 485014 | 2147483647 71010 8 | 6.277 % |
15.57/15.64 c | 111760 | 24513 142769 485014 | 2147483647 71729 8 | 6.285 % |
15.87/15.93 c | 112553 | 24513 142769 485014 | 2147483647 72522 8 | 6.285 % |
16.06/16.11 c | 113424 | 24513 142769 485014 | 2147483647 73393 8 | 6.285 % |
16.26/16.33 c | 114382 | 24513 142740 484923 | 2147483647 74314 8 | 6.285 % |
16.56/16.66 c | 115436 | 24509 142740 484923 | 2147483647 75367 8 | 6.300 % |
16.86/16.92 c | 116594 | 24509 142740 484923 | 2147483647 76525 8 | 6.300 % |
17.16/17.23 c | 117867 | 24504 142740 484923 | 2147483647 77796 8 | 6.339 % |
17.16/17.24 c | 117968 | 24504 142740 484923 | 2147483647 77897 8 | 6.339 % |
17.16/17.27 c | 118078 | 24504 142740 484923 | 2147483647 78007 8 | 6.339 % |
17.26/17.34 c | 118200 | 24499 142632 484558 | 2147483647 77636 8 | 6.339 % |
17.26/17.38 c | 118333 | 24499 142632 484558 | 2147483647 77769 8 | 6.339 % |
17.36/17.40 c | 118481 | 24499 142632 484558 | 2147483647 77917 8 | 6.339 % |
17.36/17.45 c | 118641 | 24499 142632 484558 | 2147483647 78077 8 | 6.339 % |
17.36/17.50 c | 118817 | 24499 142632 484558 | 2147483647 78253 8 | 6.339 % |
17.47/17.55 c | 119010 | 24499 142632 484558 | 2147483647 78446 8 | 6.339 % |
17.57/17.61 c | 119224 | 24499 142632 484558 | 2147483647 78660 8 | 6.339 % |
17.66/17.72 c | 119457 | 24499 142632 484558 | 2147483647 78893 8 | 6.339 % |
17.66/17.79 c | 119713 | 24499 142632 484558 | 2147483647 79149 8 | 6.339 % |
17.76/17.87 c | 119994 | 24499 142632 484558 | 2147483647 79430 8 | 6.339 % |
17.86/18.00 c | 120303 | 24475 142632 484558 | 2147483647 79737 9 | 6.430 % |
18.06/18.14 c | 120642 | 24470 142632 484558 | 2147483647 80075 9 | 6.457 % |
18.16/18.27 c | 121016 | 24470 142632 484558 | 2147483647 80449 9 | 6.457 % |
18.26/18.35 c | 121425 | 24470 142632 484558 | 2147483647 80858 9 | 6.457 % |
18.36/18.49 c | 121874 | 24470 142632 484558 | 2147483647 81307 9 | 6.457 % |
18.57/18.64 c | 122367 | 24457 142340 483615 | 2147483647 79250 8 | 6.499 % |
18.67/18.75 c | 122909 | 24456 142340 483615 | 2147483647 79791 8 | 6.503 % |
18.86/18.91 c | 123505 | 24448 142340 483615 | 2147483647 80386 9 | 6.534 % |
18.96/19.09 c | 124160 | 24448 142340 483615 | 2147483647 81041 9 | 6.534 % |
19.06/19.15 c | 124880 | 24448 142340 483615 | 2147483647 81761 9 | 6.534 % |
19.26/19.33 c | 125672 | 24442 142340 483615 | 2147483647 82552 9 | 6.557 % |
19.46/19.53 c | 126544 | 24442 142340 483615 | 2147483647 83424 9 | 6.557 % |
19.76/19.83 c | 127502 | 24442 142340 483615 | 2147483647 84382 9 | 6.557 % |
20.06/20.16 c | 128556 | 24442 142266 483364 | 2147483647 84963 9 | 6.557 % |
20.56/20.60 c | 129714 | 24442 142266 483364 | 2147483647 86121 9 | 6.557 % |
20.86/20.97 c | 130987 | 24432 142266 483364 | 2147483647 87391 9 | 6.606 % |
21.36/21.46 c | 132387 | 24424 142192 483115 | 2147483647 88617 9 | 6.625 % |
21.46/21.51 c | 132487 | 24424 142192 483115 | 2147483647 88717 9 | 6.625 % |
21.46/21.56 c | 132597 | 24421 142192 483115 | 2147483647 88826 9 | 6.644 % |
21.56/21.61 c | 132719 | 24421 142192 483115 | 2147483647 88948 9 | 6.644 % |
21.56/21.63 c | 132852 | 24421 142192 483115 | 2147483647 89081 9 | 6.644 % |
21.56/21.70 c | 132999 | 24421 142192 483115 | 2147483647 89228 9 | 6.644 % |
21.66/21.76 c | 133160 | 24421 142192 483115 | 2147483647 89389 9 | 6.644 % |
21.76/21.83 c | 133336 | 24421 142192 483115 | 2147483647 89565 9 | 6.644 % |
21.76/21.86 c | 133531 | 24421 142192 483115 | 2147483647 89760 9 | 6.644 % |
21.86/21.95 c | 133743 | 24421 142192 483115 | 2147483647 89972 9 | 6.644 % |
21.96/22.06 c | 133977 | 24421 142192 483115 | 2147483647 90206 9 | 6.644 % |
22.06/22.16 c | 134233 | 24421 142192 483115 | 2147483647 90462 9 | 6.644 % |
22.26/22.30 c | 134514 | 24421 142192 483115 | 2147483647 90743 9 | 6.644 % |
22.36/22.40 c | 134823 | 24421 142192 483115 | 2147483647 91052 9 | 6.644 % |
22.46/22.50 c | 135162 | 24419 142192 483115 | 2147483647 91390 9 | 6.664 % |
22.46/22.54 c | 135534 | 24417 142192 483115 | 2147483647 91761 9 | 6.671 % |
22.56/22.69 c | 135943 | 24410 142192 483115 | 2147483647 92169 9 | 6.683 % |
22.76/22.81 c | 136392 | 24408 142065 482689 | 2147483647 92336 9 | 6.702 % |
22.86/22.94 c | 136887 | 24407 142065 482689 | 2147483647 92830 9 | 6.713 % |
22.96/23.09 c | 137429 | 24407 142065 482689 | 2147483647 93372 9 | 6.713 % |
23.16/23.24 c | 138025 | 24407 142065 482689 | 2147483647 93968 9 | 6.713 % |
23.36/23.47 c | 138680 | 24407 142065 482689 | 2147483647 94623 9 | 6.713 % |
23.66/23.74 c | 139400 | 24407 142065 482689 | 2147483647 95343 9 | 6.713 % |
23.96/24.00 c | 140193 | 24407 142065 482689 | 2147483647 96136 9 | 6.713 % |
24.06/24.18 c | 141064 | 24407 142065 482689 | 2147483647 97007 9 | 6.713 % |
24.45/24.55 c | 142022 | 24405 142065 482689 | 2147483647 97965 9 | 6.713 % |
24.85/24.93 c | 143075 | 24401 141993 482429 | 2147483647 99008 9 | 6.713 % |
25.26/25.35 c | 144236 | 24391 141993 482429 | 2147483647 100165 9 | 6.752 % |
25.76/25.89 c | 145509 | 24387 141993 482429 | 2147483647 101437 9 | 6.767 % |
26.27/26.30 c | 146910 | 24387 141993 482429 | 2147483647 102838 9 | 6.767 % |
26.76/26.84 c | 148453 | 24383 141864 481981 | 2147483647 103909 10 | 6.790 % |
26.76/26.86 c | 148553 | 24383 141864 481981 | 2147483647 104009 10 | 6.790 % |
26.86/26.91 c | 148663 | 24383 141864 481981 | 2147483647 104119 10 | 6.790 % |
26.86/26.94 c | 148784 | 24383 141864 481981 | 2147483647 104240 10 | 6.790 % |
26.96/27.02 c | 148917 | 24383 141864 481981 | 2147483647 104373 10 | 6.790 % |
26.96/27.08 c | 149063 | 24383 141864 481981 | 2147483647 104519 10 | 6.790 % |
27.06/27.11 c | 149224 | 24383 141864 481981 | 2147483647 104680 10 | 6.790 % |
27.06/27.17 c | 149400 | 24382 141864 481981 | 2147483647 104855 10 | 6.794 % |
27.16/27.25 c | 149593 | 24381 141864 481981 | 2147483647 105047 10 | 6.797 % |
27.26/27.35 c | 149808 | 24381 141864 481981 | 2147483647 105262 10 | 6.797 % |
27.36/27.44 c | 150041 | 24380 141864 481981 | 2147483647 105495 10 | 6.797 % |
27.46/27.51 c | 150297 | 24380 141864 481981 | 2147483647 105751 10 | 6.797 % |
27.46/27.52 c | 150580 | 24380 141864 481981 | 2147483647 106034 10 | 6.797 % |
27.46/27.53 c | 150890 | 24380 141864 481981 | 2147483647 106344 10 | 6.797 % |
27.46/27.54 c | 151229 | 24380 141864 481981 | 2147483647 106683 10 | 6.797 % |
27.56/27.60 c | 151601 | 24380 141864 481981 | 2147483647 107055 10 | 6.797 % |
27.56/27.67 c | 152012 | 24375 141864 481981 | 2147483647 107465 10 | 6.820 % |
27.76/27.85 c | 152461 | 24374 141864 481981 | 2147483647 107913 10 | 6.828 % |
27.96/28.03 c | 152954 | 24374 141864 481981 | 2147483647 108406 10 | 6.828 % |
28.16/28.26 c | 153497 | 24374 141864 481981 | 2147483647 108949 10 | 6.828 % |
28.46/28.52 c | 154095 | 24371 141714 481494 | 2147483647 108791 10 | 6.828 % |
28.66/28.77 c | 154750 | 24371 141714 481494 | 2147483647 109446 10 | 6.828 % |
28.96/29.02 c | 155471 | 24371 141714 481494 | 2147483647 110167 10 | 6.828 % |
29.16/29.27 c | 156264 | 24371 141714 481494 | 2147483647 110960 10 | 6.828 % |
29.46/29.52 c | 157135 | 24371 141714 481494 | 2147483647 111831 10 | 6.828 % |
29.76/29.80 c | 158093 | 24370 141714 481494 | 2147483647 112788 10 | 6.836 % |
29.86/29.98 c | 159146 | 24369 141714 481494 | 2147483647 113841 10 | 6.836 % |
29.96/30.09 c | 160304 | 24369 141714 481494 | 2147483647 114999 10 | 6.836 % |
30.06/30.14 c | 161577 | 24369 141714 481494 | 2147483647 116272 10 | 6.836 % |
30.56/30.66 c | 162977 | 24369 141714 481494 | 2147483647 117672 10 | 6.836 % |
30.86/30.95 c | 164518 | 24357 141702 481457 | 2147483647 119184 10 | 6.882 % |
30.96/31.05 c | 166212 | 24351 141702 481457 | 2147483647 120875 10 | 6.912 % |
30.96/31.07 c | 166313 | 24351 141702 481457 | 2147483647 120976 10 | 6.912 % |
31.06/31.10 c | 166425 | 24351 141702 481457 | 2147483647 121088 10 | 6.912 % |
31.06/31.11 c | 166546 | 24351 141702 481457 | 2147483647 121209 10 | 6.912 % |
31.06/31.12 c | 166680 | 24351 141702 481457 | 2147483647 121343 10 | 6.912 % |
31.06/31.14 c | 166826 | 24351 141702 481457 | 2147483647 121489 10 | 6.912 % |
31.06/31.15 c | 166988 | 24351 141702 481457 | 2147483647 121651 10 | 6.912 % |
31.06/31.15 c | 167164 | 24351 141702 481457 | 2147483647 121827 10 | 6.912 % |
31.06/31.17 c | 167362 | 24351 141702 481457 | 2147483647 122025 10 | 6.912 % |
31.06/31.19 c | 167575 | 24351 141702 481457 | 2147483647 122238 10 | 6.912 % |
31.15/31.20 c | 167808 | 24351 141702 481457 | 2147483647 122471 10 | 6.912 % |
31.15/31.22 c | 168064 | 24351 141702 481457 | 2147483647 122727 10 | 6.912 % |
31.15/31.27 c | 168345 | 24350 141702 481457 | 2147483647 123008 10 | 6.912 % |
31.25/31.31 c | 168655 | 24350 141702 481457 | 2147483647 123318 10 | 6.912 % |
31.25/31.36 c | 168995 | 24350 141702 481457 | 2147483647 123658 10 | 6.912 % |
31.35/31.40 c | 169368 | 24350 141702 481457 | 2147483647 124031 10 | 6.912 % |
31.35/31.44 c | 169779 | 24350 141702 481457 | 2147483647 124442 10 | 6.912 % |
31.45/31.51 c | 170229 | 24350 141702 481457 | 2147483647 124892 10 | 6.912 % |
31.45/31.58 c | 170722 | 24350 141702 481457 | 2147483647 125385 10 | 6.912 % |
31.55/31.63 c | 171265 | 24350 141702 481457 | 2147483647 125928 10 | 6.912 % |
31.55/31.69 c | 171861 | 24345 141702 481457 | 2147483647 126523 10 | 6.935 % |
31.76/31.80 c | 172517 | 24345 141702 481457 | 2147483647 127179 10 | 6.935 % |
31.95/32.05 c | 173237 | 24344 141702 481457 | 2147483647 127899 10 | 6.935 % |
32.05/32.16 c | 174029 | 24344 141702 481457 | 2147483647 128691 10 | 6.935 % |
32.15/32.24 c | 174902 | 24342 141702 481457 | 2147483647 129562 10 | 6.950 % |
32.15/32.29 c | 175861 | 24342 141702 481457 | 2147483647 130521 10 | 6.950 % |
32.25/32.33 c | 176914 | 24342 141702 481457 | 2147483647 131574 10 | 6.950 % |
32.25/32.38 c | 178072 | 24342 141702 481457 | 2147483647 132732 10 | 6.950 % |
32.35/32.44 c | 179345 | 24342 141702 481457 | 2147483647 134005 10 | 6.950 % |
32.75/32.80 c | 180747 | 24339 141480 480727 | 2147483647 133923 10 | 6.950 % |
33.05/33.11 c | 182287 | 24336 141480 480727 | 2147483647 135462 10 | 6.966 % |
33.15/33.27 c | 183982 | 24336 141480 480727 | 2147483647 137157 10 | 6.966 % |
33.55/33.65 c | 185845 | 24333 141480 480727 | 2147483647 139019 10 | 7.000 % |
33.55/33.66 c | 185945 | 24333 141480 480727 | 2147483647 139119 10 | 7.000 % |
33.55/33.68 c | 186056 | 24333 141480 480727 | 2147483647 139230 10 | 7.000 % |
33.55/33.70 c | 186177 | 24333 141480 480727 | 2147483647 139351 10 | 7.000 % |
33.65/33.72 c | 186310 | 24333 141480 480727 | 2147483647 139484 10 | 7.000 % |
33.65/33.76 c | 186456 | 24333 141480 480727 | 2147483647 139630 10 | 7.000 % |
33.65/33.77 c | 186616 | 24333 141480 480727 | 2147483647 139790 10 | 7.000 % |
33.65/33.79 c | 186794 | 24333 141480 480727 | 2147483647 139968 10 | 7.000 % |
33.75/33.81 c | 186987 | 24333 141480 480727 | 2147483647 140161 10 | 7.000 % |
33.75/33.85 c | 187199 | 24332 141480 480727 | 2147483647 140372 10 | 7.019 % |
33.85/33.93 c | 187432 | 24331 141480 480727 | 2147483647 140605 10 | 7.019 % |
33.95/34.02 c | 187689 | 24331 141480 480727 | 2147483647 140862 10 | 7.019 % |
34.05/34.11 c | 187971 | 24329 141480 480727 | 2147483647 141144 10 | 7.019 % |
34.05/34.14 c | 188280 | 24329 141480 480727 | 2147483647 141453 10 | 7.019 % |
34.05/34.17 c | 188620 | 24329 141480 480727 | 2147483647 141793 10 | 7.019 % |
34.15/34.24 c | 188992 | 24328 141480 480727 | 2147483647 142164 10 | 7.023 % |
34.15/34.27 c | 189402 | 24328 141480 480727 | 2147483647 142574 10 | 7.023 % |
34.25/34.32 c | 189851 | 24328 141480 480727 | 2147483647 143023 10 | 7.023 % |
34.25/34.38 c | 190344 | 24328 141480 480727 | 2147483647 143516 10 | 7.023 % |
34.45/34.58 c | 190886 | 24316 141232 479907 | 2147483647 141918 10 | 7.038 % |
34.55/34.66 c | 191484 | 24314 141232 479907 | 2147483647 142515 10 | 7.046 % |
34.75/34.84 c | 192139 | 24314 141232 479907 | 2147483647 143170 10 | 7.046 % |
34.95/35.04 c | 192862 | 24314 141232 479907 | 2147483647 143893 10 | 7.046 % |
35.25/35.35 c | 193654 | 24308 141232 479907 | 2147483647 144684 10 | 7.096 % |
35.64/35.70 c | 194525 | 24308 141232 479907 | 2147483647 145555 10 | 7.096 % |
35.74/35.88 c | 195485 | 24306 141232 479907 | 2147483647 146514 10 | 7.103 % |
36.25/36.39 c | 196538 | 24304 141232 479907 | 2147483647 147566 10 | 7.122 % |
36.74/36.80 c | 197696 | 24304 141232 479907 | 2147483647 148724 10 | 7.122 % |
37.14/37.27 c | 198969 | 24304 141232 479907 | 2147483647 149997 10 | 7.122 % |
37.74/37.80 c | 200369 | 24294 141026 479226 | 2147483647 148607 10 | 7.122 % |
38.14/38.24 c | 201910 | 24288 141026 479226 | 2147483647 150147 10 | 7.161 % |
40.14/40.22 c | 203604 | 24287 141026 479226 | 2147483647 151841 12 | 7.161 % |
41.04/41.10 c | 205467 | 24284 140979 479074 | 2147483647 153699 12 | 7.161 % |
41.33/41.41 c | 207516 | 24284 140979 479074 | 2147483647 155748 12 | 7.161 % |
41.33/41.42 c | 207616 | 24284 140979 479074 | 2147483647 155848 12 | 7.161 % |
41.33/41.42 c | 207726 | 24284 140979 479074 | 2147483647 155958 12 | 7.161 % |
41.33/41.47 c | 207847 | 24284 140979 479074 | 2147483647 156079 12 | 7.161 % |
41.43/41.51 c | 207980 | 24284 140979 479074 | 2147483647 156212 12 | 7.161 % |
41.43/41.53 c | 208127 | 24284 140979 479074 | 2147483647 156359 12 | 7.161 % |
41.43/41.54 c | 208290 | 24284 140979 479074 | 2147483647 156522 12 | 7.161 % |
41.43/41.58 c | 208466 | 24284 140979 479074 | 2147483647 156698 12 | 7.161 % |
41.53/41.62 c | 208659 | 24284 140979 479074 | 2147483647 156891 12 | 7.161 % |
41.53/41.69 c | 208871 | 24283 140979 479074 | 2147483647 157102 12 | 7.164 % |
41.74/41.81 c | 209104 | 24283 140979 479074 | 2147483647 157335 12 | 7.164 % |
41.74/41.89 c | 209360 | 24283 140979 479074 | 2147483647 157591 12 | 7.164 % |
41.83/41.93 c | 209641 | 24283 140979 479074 | 2147483647 157872 12 | 7.164 % |
41.94/42.07 c | 209952 | 24283 140979 479074 | 2147483647 158183 12 | 7.164 % |
42.14/42.24 c | 210291 | 24283 140979 479074 | 2147483647 158522 12 | 7.164 % |
42.24/42.31 c | 210663 | 24283 140979 479074 | 2147483647 158894 12 | 7.164 % |
42.34/42.45 c | 211072 | 24283 140979 479074 | 2147483647 159303 12 | 7.164 % |
42.54/42.65 c | 211521 | 24283 140979 479074 | 2147483647 159752 12 | 7.164 % |
42.84/42.91 c | 212014 | 24283 140971 479044 | 2147483647 160243 12 | 7.164 % |
42.94/43.07 c | 212556 | 24281 140971 479044 | 2147483647 160784 12 | 7.172 % |
43.14/43.21 c | 213152 | 24281 140971 479044 | 2147483647 161380 12 | 7.172 % |
43.34/43.40 c | 213808 | 24277 140971 479044 | 2147483647 162034 12 | 7.187 % |
43.54/43.67 c | 214529 | 24277 140971 479044 | 2147483647 162755 12 | 7.187 % |
43.74/43.89 c | 215322 | 24277 140971 479044 | 2147483647 163548 12 | 7.187 % |
44.04/44.12 c | 216193 | 24276 140971 479044 | 2147483647 164418 12 | 7.195 % |
44.04/44.17 c | 217151 | 24276 140971 479044 | 2147483647 165376 12 | 7.195 % |
44.24/44.39 c | 218205 | 24276 140971 479044 | 2147483647 166430 12 | 7.195 % |
44.74/44.80 c | 219364 | 24276 140971 479044 | 2147483647 167589 12 | 7.195 % |
45.14/45.24 c | 220638 | 24275 140971 479044 | 2147483647 168863 12 | 7.195 % |
45.54/45.65 c | 222039 | 24273 140921 478872 | 2147483647 170231 12 | 7.206 % |
45.94/46.03 c | 223580 | 24272 140921 478872 | 2147483647 171771 12 | 7.210 % |
46.34/46.44 c | 225274 | 24272 140921 478872 | 2147483647 173465 12 | 7.210 % |
46.44/46.58 c | 227137 | 24272 140921 478872 | 2147483647 175328 12 | 7.210 % |
47.24/47.32 c | 229186 | 24272 140921 478872 | 2147483647 177377 12 | 7.210 % |
47.73/47.84 c | 231439 | 24272 140921 478872 | 2147483647 179630 12 | 7.210 % |
47.73/47.85 c | 231539 | 24272 140921 478872 | 2147483647 179730 12 | 7.210 % |
47.73/47.89 c | 231649 | 24272 140921 478872 | 2147483647 179840 12 | 7.210 % |
47.93/48.08 c | 231770 | 24272 140921 478872 | 2147483647 179961 12 | 7.210 % |
48.03/48.13 c | 231904 | 24272 140921 478872 | 2147483647 180095 12 | 7.210 % |
48.03/48.19 c | 232051 | 24272 140921 478872 | 2147483647 180242 12 | 7.210 % |
48.13/48.29 c | 232211 | 24272 140921 478872 | 2147483647 180402 12 | 7.210 % |
48.24/48.39 c | 232387 | 24272 140921 478872 | 2147483647 180578 12 | 7.210 % |
48.34/48.47 c | 232581 | 24272 140921 478872 | 2147483647 180772 12 | 7.210 % |
48.43/48.55 c | 232793 | 24271 140874 478716 | 2147483647 180849 12 | 7.210 % |
48.43/48.59 c | 233026 | 24271 140874 478716 | 2147483647 181082 12 | 7.210 % |
48.63/48.71 c | 233282 | 24271 140874 478716 | 2147483647 181338 12 | 7.210 % |
48.63/48.78 c | 233563 | 24271 140874 478716 | 2147483647 181619 12 | 7.210 % |
48.63/48.79 c | 233872 | 24271 140874 478716 | 2147483647 181928 12 | 7.210 % |
48.73/48.81 c | 234212 | 24271 140874 478716 | 2147483647 182268 12 | 7.210 % |
48.73/48.83 c | 234584 | 24271 140874 478716 | 2147483647 182640 12 | 7.210 % |
48.93/49.02 c | 234993 | 24271 140874 478716 | 2147483647 183049 12 | 7.210 % |
49.13/49.23 c | 235443 | 24271 140874 478716 | 2147483647 183499 12 | 7.210 % |
49.34/49.48 c | 235938 | 24271 140874 478716 | 2147483647 183994 12 | 7.210 % |
49.44/49.55 c | 236480 | 24271 140874 478716 | 2147483647 184536 12 | 7.210 % |
49.73/49.82 c | 237076 | 24271 140874 478716 | 2147483647 185132 12 | 7.210 % |
49.93/50.08 c | 237731 | 24271 140874 478716 | 2147483647 185787 12 | 7.210 % |
50.23/50.40 c | 238456 | 24271 140874 478716 | 2147483647 186512 12 | 7.210 % |
50.54/50.67 c | 239248 | 24266 140874 478716 | 2147483647 187303 12 | 7.229 % |
51.33/51.44 c | 240119 | 24266 140874 478716 | 2147483647 188174 13 | 7.229 % |
51.73/51.87 c | 241078 | 24266 140874 478716 | 2147483647 189133 13 | 7.229 % |
52.13/52.24 c | 242131 | 24266 140874 478716 | 2147483647 190186 13 | 7.229 % |
53.74/53.81 c | 243289 | 24266 140874 478716 | 2147483647 191344 13 | 7.229 % |
54.33/54.41 c | 244562 | 24266 140845 478614 | 2147483647 192587 13 | 7.229 % |
56.83/56.97 c | 245962 | 24266 140845 478614 | 2147483647 193987 15 | 7.229 % |
57.43/57.55 c | 247503 | 24264 140845 478614 | 2147483647 195526 15 | 7.245 % |
58.13/58.21 c | 249197 | 24264 140845 478614 | 2147483647 197220 15 | 7.245 % |
61.43/61.51 c | 251060 | 24264 140845 478614 | 2147483647 199083 16 | 7.245 % |
62.03/62.12 c | 253110 | 24262 140795 478444 | 2147483647 201070 16 | 7.245 % |
62.83/62.97 c | 255363 | 24257 140795 478444 | 2147483647 203322 16 | 7.271 % |
64.33/64.41 c | 257841 | 24257 140795 478444 | 2147483647 205800 17 | 7.271 % |
64.33/64.45 c | 257943 | 24257 140795 478444 | 2147483647 205902 16 | 7.271 % |
64.33/64.49 c | 258054 | 24257 140795 478444 | 2147483647 206013 16 | 7.271 % |
64.43/64.50 c | 258175 | 24257 140795 478444 | 2147483647 206134 16 | 7.271 % |
64.43/64.56 c | 258308 | 24257 140795 478444 | 2147483647 206267 16 | 7.271 % |
64.53/64.62 c | 258455 | 24257 140795 478444 | 2147483647 206414 16 | 7.271 % |
64.53/64.65 c | 258617 | 24257 140795 478444 | 2147483647 206576 16 | 7.271 % |
64.53/64.66 c | 258795 | 24257 140795 478444 | 2147483647 206754 16 | 7.271 % |
64.63/64.75 c | 258989 | 24257 140795 478444 | 2147483647 206948 16 | 7.271 % |
64.73/64.86 c | 259202 | 24257 140795 478444 | 2147483647 207161 16 | 7.271 % |
65.22/65.31 c | 259435 | 24257 140795 478444 | 2147483647 207394 17 | 7.271 % |
65.22/65.38 c | 259692 | 24257 140795 478444 | 2147483647 207651 17 | 7.271 % |
65.32/65.47 c | 259973 | 24257 140795 478444 | 2147483647 207932 17 | 7.271 % |
65.42/65.55 c | 260283 | 24257 140795 478444 | 2147483647 208242 17 | 7.271 % |
65.62/65.74 c | 260622 | 24257 140795 478444 | 2147483647 208581 17 | 7.271 % |
65.72/65.89 c | 260994 | 24257 140795 478444 | 2147483647 208953 17 | 7.271 % |
66.02/66.10 c | 261404 | 24257 140795 478444 | 2147483647 209363 17 | 7.271 % |
66.12/66.29 c | 261853 | 24249 140795 478444 | 2147483647 209811 17 | 7.306 % |
66.22/66.32 c | 262347 | 24249 140795 478444 | 2147483647 210305 17 | 7.306 % |
66.42/66.54 c | 262891 | 24246 140795 478444 | 2147483647 210848 17 | 7.317 % |
66.73/66.80 c | 263491 | 24246 140795 478444 | 2147483647 211448 17 | 7.317 % |
67.13/67.24 c | 264146 | 24243 140658 477976 | 2147483647 210508 17 | 7.317 % |
67.53/67.65 c | 264867 | 24243 140658 477976 | 2147483647 211229 17 | 7.317 % |
68.63/68.79 c | 265659 | 24243 140658 477976 | 2147483647 212021 17 | 7.317 % |
69.93/70.05 c | 266533 | 24243 140658 477976 | 2147483647 212895 17 | 7.317 % |
70.53/70.60 c | 267492 | 24243 140658 477976 | 2147483647 213854 17 | 7.317 % |
72.13/72.30 c | 268545 | 24243 140658 477976 | 2147483647 214907 18 | 7.317 % |
72.73/72.83 c | 269703 | 24243 140658 477976 | 2147483647 216065 18 | 7.317 % |
73.53/73.66 c | 270976 | 24243 140658 477976 | 2147483647 217338 18 | 7.317 % |
75.22/75.30 c | 272376 | 24243 140658 477976 | 2147483647 218738 19 | 7.317 % |
75.62/75.79 c | 273917 | 24243 140658 477976 | 2147483647 220279 19 | 7.317 % |
77.43/77.55 c | 275611 | 24243 140658 477976 | 2147483647 221973 20 | 7.317 % |
78.43/78.58 c | 277474 | 24242 140650 477946 | 2147483647 223831 20 | 7.321 % |
79.53/79.64 c | 279523 | 24241 140650 477946 | 2147483647 225879 20 | 7.325 % |
81.12/81.25 c | 281776 | 24241 140650 477946 | 2147483647 228132 20 | 7.325 % |
85.52/85.61 c | 284254 | 24240 140650 477946 | 2147483647 230609 22 | 7.329 % |
88.22/88.39 c | 286981 | 24239 140650 477946 | 2147483647 233335 22 | 7.333 % |
88.42/88.51 c | 287081 | 24239 140608 477804 | 2147483647 233424 22 | 7.333 % |
88.42/88.58 c | 287193 | 24239 140608 477804 | 2147483647 233536 22 | 7.333 % |
88.52/88.62 c | 287316 | 24239 140608 477804 | 2147483647 233659 22 | 7.333 % |
88.62/88.71 c | 287450 | 24239 140608 477804 | 2147483647 233793 22 | 7.333 % |
88.62/88.78 c | 287596 | 24239 140608 477804 | 2147483647 233939 22 | 7.333 % |
88.72/88.88 c | 287756 | 24239 140608 477804 | 2147483647 234099 22 | 7.333 % |
88.93/89.09 c | 287932 | 24239 140608 477804 | 2147483647 234275 22 | 7.333 % |
89.12/89.21 c | 288125 | 24239 140608 477804 | 2147483647 234468 22 | 7.333 % |
89.32/89.41 c | 288337 | 24239 140608 477804 | 2147483647 234680 22 | 7.333 % |
89.42/89.52 c | 288570 | 24234 140608 477804 | 2147483647 234912 22 | 7.356 % |
89.52/89.69 c | 288828 | 24234 140608 477804 | 2147483647 235170 22 | 7.356 % |
89.62/89.72 c | 289110 | 24234 140608 477804 | 2147483647 235452 22 | 7.356 % |
89.72/89.82 c | 289420 | 24234 140608 477804 | 2147483647 235762 22 | 7.356 % |
89.82/89.97 c | 289760 | 24234 140608 477804 | 2147483647 236102 22 | 7.356 % |
90.03/90.19 c | 290132 | 24234 140608 477804 | 2147483647 236474 22 | 7.356 % |
90.32/90.40 c | 290542 | 24234 140608 477804 | 2147483647 236884 22 | 7.356 % |
90.62/90.78 c | 290992 | 24234 140608 477804 | 2147483647 237334 22 | 7.356 % |
90.82/90.98 c | 291485 | 24234 140608 477804 | 2147483647 237827 22 | 7.356 % |
91.23/91.37 c | 292027 | 24234 140608 477804 | 2147483647 238369 22 | 7.356 % |
91.82/91.98 c | 292624 | 24234 140608 477804 | 2147483647 238966 22 | 7.356 % |
92.32/92.41 c | 293279 | 24234 140608 477804 | 2147483647 239621 22 | 7.356 % |
93.42/93.51 c | 294001 | 24234 140608 477804 | 2147483647 240343 23 | 7.356 % |
93.42/93.59 c | 294794 | 24234 140608 477804 | 2147483647 241136 23 | 7.356 % |
94.02/94.14 c | 295666 | 24234 140608 477804 | 2147483647 242008 23 | 7.356 % |
94.82/94.97 c | 296626 | 24234 140608 477804 | 2147483647 242968 23 | 7.356 % |
95.52/95.68 c | 297681 | 24234 140608 477804 | 2147483647 244023 23 | 7.356 % |
97.61/97.74 c | 298840 | 24234 140608 477804 | 2147483647 245182 24 | 7.356 % |
98.22/98.36 c | 300115 | 24233 140608 477804 | 2147483647 246456 24 | 7.359 % |
99.02/99.16 c | 301515 | 24233 140608 477804 | 2147483647 247856 24 | 7.359 % |
99.92/100.09 c | 303055 | 24231 140529 477524 | 2147483647 247550 24 | 7.363 % |
100.82/100.98 c | 304750 | 24226 140529 477524 | 2147483647 249244 24 | 7.390 % |
101.62/101.75 c | 306614 | 24226 140529 477524 | 2147483647 251108 24 | 7.390 % |
102.72/102.87 c | 308663 | 24226 140529 477524 | 2147483647 253157 23 | 7.390 % |
104.21/104.30 c | 310917 | 24226 140529 477524 | 2147483647 255411 23 | 7.390 % |
111.81/111.97 c | 313395 | 24226 140529 477524 | 2147483647 257889 26 | 7.390 % |
113.61/113.78 c | 316120 | 24224 140402 477061 | 2147483647 260597 26 | 7.390 % |
115.61/115.77 c | 319117 | 24224 140402 477061 | 2147483647 263594 26 | 7.390 % |
115.71/115.85 c | 319219 | 24224 140402 477061 | 2147483647 263696 26 | 7.390 % |
115.81/115.92 c | 319331 | 24224 140402 477061 | 2147483647 263808 26 | 7.390 % |
115.91/116.02 c | 319452 | 24224 140402 477061 | 2147483647 263929 26 | 7.390 % |
116.01/116.12 c | 319585 | 24224 140402 477061 | 2147483647 264062 26 | 7.390 % |
116.11/116.22 c | 319731 | 24224 140402 477061 | 2147483647 264208 26 | 7.390 % |
116.51/116.65 c | 319891 | 24224 140402 477061 | 2147483647 264368 27 | 7.390 % |
116.71/116.83 c | 320067 | 24224 140402 477061 | 2147483647 264544 27 | 7.390 % |
116.81/116.96 c | 320260 | 24224 140402 477061 | 2147483647 264737 27 | 7.390 % |
116.91/117.08 c | 320472 | 24224 140402 477061 | 2147483647 264949 27 | 7.390 % |
117.11/117.24 c | 320705 | 24224 140402 477061 | 2147483647 265182 27 | 7.390 % |
117.21/117.38 c | 320961 | 24224 140402 477061 | 2147483647 265438 27 | 7.390 % |
117.41/117.54 c | 321242 | 24224 140402 477061 | 2147483647 265719 27 | 7.390 % |
117.61/117.75 c | 321551 | 24224 140402 477061 | 2147483647 266028 27 | 7.390 % |
117.91/118.00 c | 321890 | 24224 140402 477061 | 2147483647 266367 26 | 7.390 % |
118.00/118.10 c | 322262 | 24224 140402 477061 | 2147483647 266739 26 | 7.390 % |
118.20/118.33 c | 322673 | 24224 140402 477061 | 2147483647 267150 26 | 7.390 % |
118.40/118.60 c | 323123 | 24224 140402 477061 | 2147483647 267600 26 | 7.390 % |
119.10/119.26 c | 323616 | 24224 140402 477061 | 2147483647 268093 27 | 7.390 % |
119.50/119.62 c | 324159 | 24224 140402 477061 | 2147483647 268636 27 | 7.390 % |
120.20/120.30 c | 324757 | 24224 140402 477061 | 2147483647 269234 27 | 7.390 % |
120.60/120.79 c | 325412 | 24224 140402 477061 | 2147483647 269889 27 | 7.390 % |
122.01/122.18 c | 326132 | 24224 140402 477061 | 2147483647 270609 27 | 7.390 % |
122.61/122.74 c | 326924 | 24224 140402 477061 | 2147483647 271401 27 | 7.390 % |
125.01/125.19 c | 327795 | 24224 140402 477061 | 2147483647 272272 28 | 7.390 % |
126.41/126.55 c | 328754 | 24224 140402 477061 | 2147483647 273231 28 | 7.390 % |
127.10/127.29 c | 329807 | 24224 140402 477061 | 2147483647 274284 28 | 7.390 % |
130.40/130.57 c | 330965 | 24224 140402 477061 | 2147483647 275442 29 | 7.390 % |
131.20/131.36 c | 332240 | 24224 140402 477061 | 2147483647 276717 29 | 7.390 % |
132.30/132.47 c | 333640 | 24224 140402 477061 | 2147483647 278117 29 | 7.390 % |
133.70/133.89 c | 335180 | 24224 140402 477061 | 2147483647 279657 29 | 7.390 % |
138.70/138.81 c | 336874 | 24224 140402 477061 | 2147483647 281351 31 | 7.390 % |
141.10/141.24 c | 338742 | 24224 140402 477061 | 2147483647 283219 31 | 7.390 % |
146.99/147.18 c | 340792 | 24224 140402 477061 | 2147483647 285269 32 | 7.390 % |
148.70/148.81 c | 343045 | 24224 140402 477061 | 2147483647 287522 32 | 7.390 % |
151.30/151.46 c | 345525 | 24222 140394 477036 | 2147483647 289977 33 | 7.398 % |
158.89/159.06 c | 348250 | 24222 140394 477036 | 2147483647 292702 35 | 7.398 % |
164.39/164.54 c | 351247 | 24222 140394 477036 | 2147483647 295699 36 | 7.398 % |
169.19/169.37 c | 354543 | 24222 140394 477036 | 2147483647 298995 37 | 7.398 % |
169.29/169.46 c | 354645 | 24217 140394 477036 | 2147483647 299096 37 | 7.432 % |
169.39/169.58 c | 354755 | 24217 140394 477036 | 2147483647 299206 37 | 7.432 % |
169.49/169.69 c | 354876 | 24217 140394 477036 | 2147483647 299327 37 | 7.432 % |
169.69/169.86 c | 355009 | 24217 140394 477036 | 2147483647 299460 37 | 7.432 % |
169.89/170.06 c | 355155 | 24217 140394 477036 | 2147483647 299606 37 | 7.432 % |
169.99/170.18 c | 355315 | 24217 140394 477036 | 2147483647 299766 37 | 7.432 % |
170.29/170.44 c | 355491 | 24213 140345 476882 | 2147483647 299661 37 | 7.432 % |
170.39/170.57 c | 355684 | 24213 140345 476882 | 2147483647 299854 37 | 7.432 % |
170.59/170.71 c | 355897 | 24213 140345 476882 | 2147483647 300067 37 | 7.432 % |
170.69/170.83 c | 356131 | 24213 140345 476882 | 2147483647 300301 37 | 7.432 % |
170.89/171.04 c | 356389 | 24213 140345 476882 | 2147483647 300559 37 | 7.432 % |
171.09/171.21 c | 356670 | 24213 140345 476882 | 2147483647 300840 37 | 7.432 % |
171.29/171.41 c | 356980 | 24213 140345 476882 | 2147483647 301150 37 | 7.432 % |
171.29/171.48 c | 357319 | 24213 140345 476882 | 2147483647 301489 37 | 7.432 % |
171.39/171.53 c | 357691 | 24213 140345 476882 | 2147483647 301861 37 | 7.432 % |
171.49/171.67 c | 358100 | 24213 140345 476882 | 2147483647 302270 37 | 7.432 % |
171.79/171.90 c | 358549 | 24213 140345 476882 | 2147483647 302719 37 | 7.432 % |
172.19/172.31 c | 359042 | 24213 140345 476882 | 2147483647 303212 37 | 7.432 % |
172.29/172.42 c | 359584 | 24213 140345 476882 | 2147483647 303754 37 | 7.432 % |
172.69/172.82 c | 360181 | 24213 140345 476882 | 2147483647 304351 37 | 7.432 % |
173.09/173.28 c | 360838 | 24213 140345 476882 | 2147483647 305008 37 | 7.432 % |
173.89/174.04 c | 361558 | 24212 140345 476882 | 2147483647 305727 37 | 7.436 % |
174.49/174.61 c | 362350 | 24212 140345 476882 | 2147483647 306519 37 | 7.436 % |
175.39/175.50 c | 363221 | 24212 140345 476882 | 2147483647 307390 37 | 7.436 % |
176.29/176.42 c | 364179 | 24212 140345 476882 | 2147483647 308348 37 | 7.436 % |
177.28/177.49 c | 365232 | 24212 140345 476882 | 2147483647 309401 37 | 7.436 % |
178.09/178.29 c | 366392 | 24212 140345 476882 | 2147483647 310561 37 | 7.436 % |
179.38/179.57 c | 367666 | 24212 140345 476882 | 2147483647 311835 37 | 7.436 % |
182.39/182.59 c | 369066 | 24212 140345 476882 | 2147483647 313235 38 | 7.436 % |
183.88/184.03 c | 370606 | 24212 140345 476882 | 2147483647 314775 38 | 7.436 % |
188.28/188.43 c | 372302 | 24212 140345 476882 | 2147483647 316471 38 | 7.436 % |
189.18/189.34 c | 374165 | 24212 140345 476882 | 2147483647 318334 38 | 7.436 % |
190.28/190.44 c | 376215 | 24212 140345 476882 | 2147483647 320384 38 | 7.436 % |
195.88/196.09 c | 378469 | 24212 140345 476882 | 2147483647 322638 39 | 7.436 % |
198.48/198.63 c | 380947 | 24212 140338 476857 | 2147483647 325091 39 | 7.436 % |
201.37/201.51 c | 383674 | 24212 140338 476857 | 2147483647 327818 39 | 7.436 % |
209.27/209.49 c | 386671 | 24212 140338 476857 | 2147483647 330815 41 | 7.436 % |
216.58/216.71 c | 389967 | 24212 140338 476857 | 2147483647 334111 42 | 7.436 % |
219.17/219.32 c | 393592 | 24212 140338 476857 | 2147483647 337736 42 | 7.436 % |
219.27/219.48 c | 393694 | 24212 140338 476857 | 2147483647 337838 42 | 7.436 % |
219.47/219.61 c | 393806 | 24212 140338 476857 | 2147483647 337950 42 | 7.436 % |
219.57/219.74 c | 393928 | 24212 140338 476857 | 2147483647 338072 42 | 7.436 % |
219.77/219.93 c | 394062 | 24212 140338 476857 | 2147483647 338206 42 | 7.436 % |
220.27/220.43 c | 394211 | 24212 140338 476857 | 2147483647 338355 42 | 7.436 % |
220.37/220.59 c | 394372 | 24212 140338 476857 | 2147483647 338516 42 | 7.436 % |
220.57/220.74 c | 394548 | 24212 140338 476857 | 2147483647 338692 42 | 7.436 % |
220.77/220.95 c | 394741 | 24212 140338 476857 | 2147483647 338885 42 | 7.436 % |
220.97/221.13 c | 394953 | 24212 140338 476857 | 2147483647 339097 42 | 7.436 % |
221.17/221.31 c | 395186 | 24212 140338 476857 | 2147483647 339330 42 | 7.436 % |
221.27/221.43 c | 395442 | 24212 140338 476857 | 2147483647 339586 42 | 7.436 % |
221.27/221.48 c | 395725 | 24212 140338 476857 | 2147483647 339869 42 | 7.436 % |
221.47/221.65 c | 396034 | 24212 140338 476857 | 2147483647 340178 42 | 7.436 % |
221.77/221.92 c | 396373 | 24212 140338 476857 | 2147483647 340517 42 | 7.436 % |
221.97/222.17 c | 396745 | 24212 140338 476857 | 2147483647 340889 42 | 7.436 % |
222.27/222.42 c | 397156 | 24212 140338 476857 | 2147483647 341300 42 | 7.436 % |
222.57/222.75 c | 397605 | 24212 140338 476857 | 2147483647 341749 42 | 7.436 % |
222.97/223.12 c | 398098 | 24212 140338 476857 | 2147483647 342242 42 | 7.436 % |
223.27/223.43 c | 398640 | 24212 140338 476857 | 2147483647 342784 42 | 7.436 % |
223.77/223.99 c | 399236 | 24212 140338 476857 | 2147483647 343380 42 | 7.436 % |
224.27/224.50 c | 399891 | 24212 140338 476857 | 2147483647 344035 42 | 7.436 % |
224.87/225.03 c | 400611 | 24212 140338 476857 | 2147483647 344755 42 | 7.436 % |
225.46/225.66 c | 401404 | 24212 140338 476857 | 2147483647 345548 41 | 7.436 % |
226.16/226.37 c | 402275 | 24212 140338 476857 | 2147483647 346419 41 | 7.436 % |
229.27/229.49 c | 403233 | 24212 140338 476857 | 2147483647 347377 42 | 7.436 % |
230.37/230.57 c | 404286 | 24212 140338 476857 | 2147483647 348430 42 | 7.436 % |
231.17/231.31 c | 405444 | 24212 140338 476857 | 2147483647 349588 42 | 7.436 % |
232.37/232.60 c | 406717 | 24212 140338 476857 | 2147483647 350861 42 | 7.436 % |
233.66/233.81 c | 408117 | 24212 140338 476857 | 2147483647 352261 42 | 7.436 % |
240.36/240.53 c | 409658 | 24212 140338 476857 | 2147483647 353802 43 | 7.436 % |
241.67/241.89 c | 411353 | 24212 140338 476857 | 2147483647 355497 43 | 7.436 % |
243.26/243.45 c | 413216 | 24212 140338 476857 | 2147483647 357360 43 | 7.436 % |
244.46/244.66 c | 415266 | 24212 140338 476857 | 2147483647 359410 43 | 7.436 % |
246.36/246.56 c | 417519 | 24212 140338 476857 | 2147483647 361663 43 | 7.436 % |
255.46/255.63 c | 419997 | 24212 140338 476857 | 2147483647 364141 45 | 7.436 % |
257.95/258.19 c | 422722 | 24212 140338 476857 | 2147483647 366866 45 | 7.436 % |
261.25/261.42 c | 425719 | 24212 140338 476857 | 2147483647 369863 45 | 7.436 % |
266.56/266.79 c | 429015 | 24212 140338 476857 | 2147483647 373159 46 | 7.436 % |
274.15/274.35 c | 432640 | 24212 140338 476857 | 2147483647 376784 47 | 7.436 % |
277.95/278.10 c | 436627 | 24212 140338 476857 | 2147483647 380771 47 | 7.436 % |
277.95/278.19 c | 436727 | 24212 140338 476857 | 2147483647 380871 47 | 7.436 % |
278.15/278.32 c | 436837 | 24212 140338 476857 | 2147483647 380981 47 | 7.436 % |
278.65/278.89 c | 436958 | 24212 140338 476857 | 2147483647 381102 47 | 7.436 % |
278.75/278.99 c | 437092 | 24212 140338 476857 | 2147483647 381236 47 | 7.436 % |
278.85/279.05 c | 437238 | 24212 140338 476857 | 2147483647 381382 47 | 7.436 % |
278.85/279.06 c | 437398 | 24212 140338 476857 | 2147483647 381542 47 | 7.436 % |
279.05/279.21 c | 437576 | 24212 140338 476857 | 2147483647 381720 47 | 7.436 % |
279.35/279.52 c | 437769 | 24212 140338 476857 | 2147483647 381913 47 | 7.436 % |
279.55/279.79 c | 437981 | 24212 140338 476857 | 2147483647 382125 47 | 7.436 % |
279.85/280.01 c | 438214 | 24212 140338 476857 | 2147483647 382358 47 | 7.436 % |
280.95/281.11 c | 438470 | 24212 140338 476857 | 2147483647 382614 47 | 7.436 % |
281.05/281.24 c | 438753 | 24212 140338 476857 | 2147483647 382897 47 | 7.436 % |
281.45/281.61 c | 439062 | 24212 140338 476857 | 2147483647 383206 47 | 7.436 % |
281.85/282.05 c | 439401 | 24212 140338 476857 | 2147483647 383545 47 | 7.436 % |
282.25/282.48 c | 439773 | 24212 140338 476857 | 2147483647 383917 47 | 7.436 % |
283.44/283.60 c | 440182 | 24212 140338 476857 | 2147483647 384326 47 | 7.436 % |
283.94/284.10 c | 440631 | 24212 140338 476857 | 2147483647 384775 47 | 7.436 % |
284.44/284.65 c | 441124 | 24212 140338 476857 | 2147483647 385268 47 | 7.436 % |
285.35/285.57 c | 441666 | 24212 140338 476857 | 2147483647 385810 47 | 7.436 % |
286.05/286.20 c | 442262 | 24212 140338 476857 | 2147483647 386406 47 | 7.436 % |
287.85/288.02 c | 442918 | 24212 140338 476857 | 2147483647 387062 47 | 7.436 % |
288.75/288.91 c | 443638 | 24212 140338 476857 | 2147483647 387782 47 | 7.436 % |
289.45/289.70 c | 444430 | 24212 140338 476857 | 2147483647 388574 47 | 7.436 % |
290.05/290.30 c | 445302 | 24212 140338 476857 | 2147483647 389446 47 | 7.436 % |
291.74/291.95 c | 446260 | 24212 140338 476857 | 2147483647 390404 47 | 7.436 % |
292.54/292.77 c | 447313 | 24212 140338 476857 | 2147483647 391457 47 | 7.436 % |
293.55/293.73 c | 448471 | 24212 140338 476857 | 2147483647 392615 47 | 7.436 % |
294.04/294.26 c | 449745 | 24212 140338 476857 | 2147483647 393889 47 | 7.436 % |
294.65/294.89 c | 451145 | 24212 140338 476857 | 2147483647 395289 47 | 7.436 % |
295.84/296.05 c | 452689 | 24212 140338 476857 | 2147483647 396833 47 | 7.436 % |
297.54/297.71 c | 454384 | 24212 140338 476857 | 2147483647 398528 47 | 7.436 % |
299.04/299.29 c | 456247 | 24212 140338 476857 | 2147483647 400391 47 | 7.436 % |
300.94/301.17 c | 458296 | 24210 140326 476813 | 2147483647 402044 47 | 7.444 % |
302.94/303.12 c | 460553 | 24210 140326 476813 | 2147483647 404301 47 | 7.444 % |
304.64/304.83 c | 463031 | 24210 140326 476813 | 2147483647 406779 47 | 7.444 % |
307.13/307.33 c | 465757 | 24210 140326 476813 | 2147483647 409505 47 | 7.444 % |
309.94/310.19 c | 468754 | 24210 140326 476813 | 2147483647 412502 46 | 7.444 % |
323.83/324.03 c | 472051 | 24210 140326 476813 | 2147483647 415799 48 | 7.444 % |
329.12/329.37 c | 475676 | 24209 140326 476813 | 2147483647 419423 48 | 7.447 % |
338.53/338.75 c | 479667 | 24209 140326 476813 | 2147483647 423414 50 | 7.447 % |
343.72/343.94 c | 484052 | 24209 140326 476813 | 2147483647 427799 50 | 7.447 % |
343.82/344.07 c | 484152 | 24209 140326 476813 | 2147483647 427899 50 | 7.447 % |
344.02/344.21 c | 484262 | 24209 140326 476813 | 2147483647 428009 50 | 7.447 % |
344.12/344.34 c | 484383 | 24209 140326 476813 | 2147483647 428130 50 | 7.447 % |
344.32/344.54 c | 484516 | 24209 140326 476813 | 2147483647 428263 50 | 7.447 % |
344.72/344.93 c | 484663 | 24209 140326 476813 | 2147483647 428410 50 | 7.447 % |
344.92/345.10 c | 484823 | 24209 140326 476813 | 2147483647 428570 50 | 7.447 % |
345.12/345.33 c | 485001 | 24209 140326 476813 | 2147483647 428748 50 | 7.447 % |
345.42/345.68 c | 485194 | 24209 140326 476813 | 2147483647 428941 50 | 7.447 % |
345.62/345.88 c | 485406 | 24209 140326 476813 | 2147483647 429153 50 | 7.447 % |
346.02/346.21 c | 485639 | 24209 140326 476813 | 2147483647 429386 50 | 7.447 % |
346.32/346.54 c | 485895 | 24209 140326 476813 | 2147483647 429642 50 | 7.447 % |
346.72/346.91 c | 486177 | 24209 140326 476813 | 2147483647 429924 50 | 7.447 % |
347.12/347.35 c | 486486 | 24209 140326 476813 | 2147483647 430233 50 | 7.447 % |
347.82/348.09 c | 486826 | 24209 140326 476813 | 2147483647 430573 50 | 7.447 % |
348.42/348.60 c | 487198 | 24209 140326 476813 | 2147483647 430945 50 | 7.447 % |
348.92/349.11 c | 487607 | 24209 140326 476813 | 2147483647 431354 50 | 7.447 % |
349.32/349.56 c | 488056 | 24209 140326 476813 | 2147483647 431803 50 | 7.447 % |
350.22/350.45 c | 488553 | 24209 140326 476813 | 2147483647 432300 50 | 7.447 % |
351.22/351.40 c | 489096 | 24209 140326 476813 | 2147483647 432843 50 | 7.447 % |
352.02/352.20 c | 489693 | 24206 140326 476813 | 2147483647 433439 50 | 7.463 % |
352.93/353.13 c | 490349 | 24206 140326 476813 | 2147483647 434095 50 | 7.463 % |
353.62/353.88 c | 491069 | 24206 140326 476813 | 2147483647 434815 50 | 7.463 % |
354.62/354.84 c | 491861 | 24206 140326 476813 | 2147483647 435607 50 | 7.463 % |
355.62/355.84 c | 492732 | 24205 140301 476745 | 2147483647 436328 50 | 7.463 % |
356.82/357.03 c | 493690 | 24205 140301 476745 | 2147483647 437286 50 | 7.463 % |
357.92/358.16 c | 494743 | 24205 140301 476745 | 2147483647 438339 50 | 7.463 % |
359.52/359.71 c | 495901 | 24205 140301 476745 | 2147483647 439497 50 | 7.463 % |
361.02/361.28 c | 497176 | 24205 140301 476745 | 2147483647 440772 49 | 7.463 % |
362.72/362.97 c | 498577 | 24205 140301 476745 | 2147483647 442173 49 | 7.463 % |
369.11/369.34 c | 500119 | 24205 140301 476745 | 443597 443715 50 | 7.463 % |
371.11/371.34 c | 501813 | 24205 140301 476745 | 443597 445409 50 | 7.463 % |
373.61/373.83 c | 503677 | 24205 140301 476745 | 443597 447273 50 | 7.463 % |
379.41/379.67 c | 505726 | 24205 140301 476745 | 443597 398568 50 | 7.463 % |
381.31/381.51 c | 507979 | 24205 140301 476745 | 443597 400821 50 | 7.463 % |
384.81/385.09 c | 510458 | 24205 140301 476745 | 2147483647 403300 50 | 7.463 % |
388.51/388.79 c | 513184 | 24205 140301 476745 | 2147483647 406026 50 | 7.463 % |
395.41/395.69 c | 516182 | 24205 140301 476745 | 2147483647 409024 51 | 7.463 % |
401.00/401.29 c | 519478 | 24205 140301 476745 | 2147483647 412320 51 | 7.463 % |
413.00/413.24 c | 523103 | 24205 140301 476745 | 2147483647 415945 53 | 7.463 % |
423.30/423.58 c | 527091 | 24205 140301 476745 | 2147483647 419933 54 | 7.463 % |
445.08/445.39 c | 531476 | 24205 140301 476745 | 2147483647 424318 56 | 7.463 % |
450.69/450.99 c | 536299 | 24205 140301 476745 | 2147483647 429141 56 | 7.463 % |
450.89/451.12 c | 536399 | 24205 140301 476745 | 2147483647 429241 56 | 7.463 % |
450.99/451.28 c | 536509 | 24205 140301 476745 | 2147483647 429351 56 | 7.463 % |
451.58/451.81 c | 536631 | 24204 140294 476720 | 2147483647 429467 56 | 7.466 % |
451.79/452.03 c | 536764 | 24204 140294 476720 | 2147483647 429600 56 | 7.466 % |
451.98/452.27 c | 536910 | 24204 140294 476720 | 2147483647 429746 56 | 7.466 % |
452.18/452.46 c | 537070 | 24204 140294 476720 | 2147483647 429906 56 | 7.466 % |
452.48/452.74 c | 537247 | 24204 140294 476720 | 2147483647 430083 56 | 7.466 % |
452.68/453.00 c | 537442 | 24204 140294 476720 | 2147483647 430278 56 | 7.466 % |
453.08/453.30 c | 537655 | 24204 140294 476720 | 2147483647 430491 56 | 7.466 % |
454.28/454.55 c | 537889 | 24204 140294 476720 | 2147483647 430725 56 | 7.466 % |
454.58/454.80 c | 538145 | 24204 140294 476720 | 2147483647 430981 56 | 7.466 % |
454.88/455.12 c | 538426 | 24204 140294 476720 | 2147483647 431262 56 | 7.466 % |
455.38/455.69 c | 538735 | 24204 140294 476720 | 2147483647 431571 56 | 7.466 % |
455.68/455.98 c | 539074 | 24204 140294 476720 | 2147483647 431910 56 | 7.466 % |
456.19/456.47 c | 539446 | 24204 140294 476720 | 2147483647 432282 56 | 7.466 % |
456.68/456.94 c | 539855 | 24204 140294 476720 | 2147483647 432691 56 | 7.466 % |
457.88/458.16 c | 540304 | 24204 140294 476720 | 2147483647 433140 56 | 7.466 % |
458.49/458.75 c | 540801 | 24204 140294 476720 | 2147483647 433637 56 | 7.466 % |
459.98/460.21 c | 541344 | 24204 140294 476720 | 2147483647 434180 56 | 7.466 % |
460.88/461.14 c | 541941 | 24204 140294 476720 | 2147483647 434777 56 | 7.466 % |
463.47/463.70 c | 542598 | 24204 140294 476720 | 2147483647 435434 57 | 7.466 % |
464.37/464.68 c | 543318 | 24204 140294 476720 | 2147483647 436154 57 | 7.466 % |
467.18/467.47 c | 544111 | 24204 140294 476720 | 2147483647 436947 57 | 7.466 % |
468.28/468.55 c | 544984 | 24204 140294 476720 | 2147483647 437820 57 | 7.466 % |
469.48/469.76 c | 545943 | 24204 140294 476720 | 2147483647 438779 57 | 7.466 % |
472.97/473.26 c | 546997 | 24204 140294 476720 | 2147483647 439833 57 | 7.466 % |
473.88/474.14 c | 548155 | 24204 140294 476720 | 2147483647 440991 57 | 7.466 % |
475.58/475.80 c | 549428 | 24204 140294 476720 | 2147483647 442264 57 | 7.466 % |
477.77/478.09 c | 550830 | 24204 140294 476720 | 2147483647 443666 57 | 7.466 % |
483.37/483.66 c | 552370 | 24204 140294 476720 | 2147483647 445206 58 | 7.466 % |
484.37/484.67 c | 554066 | 24204 140294 476720 | 2147483647 446902 57 | 7.466 % |
486.97/487.22 c | 555929 | 24204 140294 476720 | 2147483647 448765 58 | 7.466 % |
489.17/489.44 c | 557979 | 24204 140294 476720 | 2147483647 450815 58 | 7.466 % |
492.77/493.08 c | 560232 | 24204 140294 476720 | 2147483647 453068 58 | 7.466 % |
498.07/498.33 c | 562711 | 24204 140294 476720 | 2147483647 455547 58 | 7.466 % |
506.16/506.47 c | 565436 | 24204 140294 476720 | 2147483647 458272 59 | 7.466 % |
510.56/510.88 c | 568435 | 24204 140294 476720 | 2147483647 461271 59 | 7.466 % |
522.16/522.48 c | 571731 | 24204 140294 476720 | 462837 464567 60 | 7.466 % |
528.05/528.35 c | 575356 | 24204 140294 476720 | 462837 419265 66 | 7.466 % |
548.84/549.18 c | 579345 | 24204 140294 476720 | 462837 423254 69 | 7.466 % |
555.44/555.79 c | 583732 | 24204 140294 476720 | 2147483647 427641 69 | 7.466 % |
574.94/575.24 c | 588555 | 24204 140294 476720 | 2147483647 432464 71 | 7.466 % |
582.73/583.04 c | 593862 | 24204 140294 476720 | 2147483647 437771 71 | 7.466 % |
583.03/583.30 c | 593962 | 24204 140294 476720 | 2147483647 437871 71 | 7.466 % |
583.23/583.53 c | 594073 | 24204 140294 476720 | 2147483647 437982 71 | 7.466 % |
583.23/583.57 c | 594194 | 24204 140294 476720 | 2147483647 438103 71 | 7.466 % |
583.44/583.77 c | 594327 | 24204 140294 476720 | 2147483647 438236 71 | 7.466 % |
583.64/583.93 c | 594474 | 24204 140294 476720 | 2147483647 438383 71 | 7.466 % |
583.84/584.15 c | 594635 | 24204 140294 476720 | 2147483647 438544 71 | 7.466 % |
584.94/585.21 c | 594811 | 24204 140294 476720 | 2147483647 438720 71 | 7.466 % |
585.14/585.48 c | 595005 | 24204 140294 476720 | 2147483647 438914 71 | 7.466 % |
585.54/585.82 c | 595220 | 24204 140294 476720 | 2147483647 439129 71 | 7.466 % |
585.74/586.08 c | 595454 | 24204 140294 476720 | 2147483647 439363 71 | 7.466 % |
586.24/586.55 c | 595710 | 24204 140294 476720 | 2147483647 439619 71 | 7.466 % |
586.74/587.01 c | 595992 | 24204 140294 476720 | 2147483647 439901 71 | 7.466 % |
588.24/588.53 c | 596302 | 24204 140294 476720 | 2147483647 440211 71 | 7.466 % |
588.73/589.05 c | 596642 | 24204 140294 476720 | 2147483647 440551 71 | 7.466 % |
589.63/589.99 c | 597014 | 24204 140294 476720 | 2147483647 440923 71 | 7.466 % |
590.34/590.66 c | 597423 | 24204 140294 476720 | 2147483647 441332 71 | 7.466 % |
590.83/591.18 c | 597873 | 24204 140294 476720 | 2147483647 441782 71 | 7.466 % |
591.44/591.77 c | 598366 | 24204 140294 476720 | 2147483647 442275 71 | 7.466 % |
592.33/592.64 c | 598909 | 24204 140294 476720 | 2147483647 442818 71 | 7.466 % |
593.73/594.09 c | 599506 | 24204 140294 476720 | 2147483647 443415 71 | 7.466 % |
594.83/595.16 c | 600161 | 24204 140294 476720 | 443910 444070 71 | 7.466 % |
597.13/597.43 c | 600881 | 24204 140294 476720 | 443910 444790 71 | 7.466 % |
599.03/599.40 c | 601673 | 24204 140294 476720 | 443910 445582 71 | 7.466 % |
601.43/601.73 c | 602544 | 24204 140294 476720 | 443910 446453 71 | 7.466 % |
602.93/603.24 c | 603503 | 24204 140294 476720 | 443910 390580 70 | 7.466 % |
607.33/607.61 c | 604556 | 24204 140294 476720 | 443910 391633 71 | 7.466 % |
608.93/609.28 c | 605714 | 24204 140294 476720 | 443910 392791 71 | 7.466 % |
612.33/612.69 c | 606988 | 24204 140294 476720 | 443910 394065 71 | 7.466 % |
613.33/613.66 c | 608389 | 24204 140294 476720 | 443910 395466 71 | 7.466 % |
614.82/615.16 c | 609930 | 24204 140294 476720 | 443910 397007 71 | 7.466 % |
617.12/617.44 c | 611625 | 24204 140294 476720 | 2147483647 398702 70 | 7.466 % |
620.32/620.68 c | 613489 | 24204 140294 476720 | 2147483647 400566 71 | 7.466 % |
627.12/627.43 c | 615538 | 24204 140294 476720 | 2147483647 402615 71 | 7.466 % |
629.82/630.10 c | 617791 | 24204 140294 476720 | 2147483647 404868 71 | 7.466 % |
639.32/639.63 c | 620270 | 24204 140294 476720 | 2147483647 407347 72 | 7.466 % |
643.31/643.69 c | 622995 | 24203 140289 476708 | 2147483647 410063 72 | 7.470 % |
648.41/648.71 c | 625992 | 24203 140289 476708 | 2147483647 413060 72 | 7.470 % |
657.21/657.53 c | 629288 | 24203 140289 476708 | 2147483647 416356 73 | 7.470 % |
663.81/664.12 c | 632913 | 24203 140289 476708 | 417068 419981 73 | 7.470 % |
684.20/684.59 c | 636901 | 24203 140289 476708 | 417068 375331 73 | 7.470 % |
689.99/690.30 c | 641289 | 24203 140289 476708 | 2147483647 379719 74 | 7.470 % |
709.79/710.14 c | 646114 | 24203 140289 476708 | 2147483647 384544 77 | 7.470 % |
725.88/726.25 c | 651419 | 24203 140289 476708 | 2147483647 389849 79 | 7.470 % |
732.98/733.30 c | 657254 | 24203 140289 476708 | 2147483647 395684 78 | 7.470 % |
733.08/733.45 c | 657355 | 24203 140289 476708 | 2147483647 395785 78 | 7.470 % |
733.28/733.65 c | 657466 | 24203 140289 476708 | 2147483647 395896 78 | 7.470 % |
733.48/733.82 c | 657588 | 24203 140289 476708 | 2147483647 396018 78 | 7.470 % |
733.48/733.86 c | 657723 | 24203 140289 476708 | 2147483647 396153 78 | 7.470 % |
733.78/734.15 c | 657871 | 24203 140289 476708 | 2147483647 396301 78 | 7.470 % |
733.98/734.40 c | 658032 | 24203 140289 476708 | 2147483647 396462 78 | 7.470 % |
734.28/734.67 c | 658210 | 24203 140289 476708 | 2147483647 396640 78 | 7.470 % |
734.58/734.94 c | 658403 | 24203 140289 476708 | 2147483647 396833 78 | 7.470 % |
735.18/735.55 c | 658616 | 24203 140289 476708 | 2147483647 397046 78 | 7.470 % |
735.48/735.84 c | 658849 | 24203 140289 476708 | 2147483647 397279 78 | 7.470 % |
735.48/735.88 c | 659107 | 24203 140289 476708 | 2147483647 397537 78 | 7.470 % |
735.67/736.04 c | 659388 | 24203 140289 476708 | 2147483647 397818 78 | 7.470 % |
735.97/736.36 c | 659699 | 24203 140289 476708 | 2147483647 398129 78 | 7.470 % |
736.47/736.82 c | 660038 | 24203 140289 476708 | 2147483647 398468 78 | 7.470 % |
736.77/737.17 c | 660412 | 24203 140289 476708 | 2147483647 398842 78 | 7.470 % |
737.57/737.96 c | 660821 | 24203 140289 476708 | 2147483647 399251 78 | 7.470 % |
738.57/738.91 c | 661271 | 24203 140289 476708 | 2147483647 399701 78 | 7.470 % |
739.27/739.63 c | 661765 | 24203 140289 476708 | 2147483647 400195 78 | 7.470 % |
740.57/740.96 c | 662307 | 24203 140289 476708 | 2147483647 400737 78 | 7.470 % |
742.37/742.77 c | 662904 | 24203 140289 476708 | 2147483647 401334 78 | 7.470 % |
743.07/743.42 c | 663560 | 24203 140289 476708 | 2147483647 401990 78 | 7.470 % |
743.97/744.33 c | 664280 | 24203 140289 476708 | 2147483647 402710 78 | 7.470 % |
746.67/747.07 c | 665073 | 24203 140289 476708 | 2147483647 403503 78 | 7.470 % |
748.17/748.57 c | 665944 | 24203 140289 476708 | 2147483647 404374 78 | 7.470 % |
750.07/750.40 c | 666902 | 24203 140289 476708 | 2147483647 405332 78 | 7.470 % |
751.17/751.57 c | 667956 | 24203 140289 476708 | 2147483647 406386 78 | 7.470 % |
754.76/755.15 c | 669114 | 24203 140289 476708 | 2147483647 407544 78 | 7.470 % |
756.16/756.53 c | 670387 | 24203 140289 476708 | 2147483647 408817 78 | 7.470 % |
757.76/758.19 c | 671788 | 24203 140289 476708 | 2147483647 410218 78 | 7.470 % |
765.86/766.28 c | 673328 | 24203 140289 476708 | 2147483647 411758 79 | 7.470 % |
772.65/773.01 c | 675022 | 24203 140289 476708 | 2147483647 413452 80 | 7.470 % |
774.85/775.25 c | 676888 | 24203 140289 476708 | 2147483647 415318 80 | 7.470 % |
778.95/779.37 c | 678937 | 24203 140289 476708 | 2147483647 417367 81 | 7.470 % |
781.85/782.28 c | 681190 | 24203 140289 476708 | 2147483647 419620 81 | 7.470 % |
784.05/784.50 c | 683669 | 24203 140289 476708 | 2147483647 422099 80 | 7.470 % |
787.25/787.69 c | 686394 | 24203 140289 476708 | 2147483647 424824 80 | 7.470 % |
792.66/793.00 c | 689391 | 24202 140282 476687 | 2147483647 427819 80 | 7.474 % |
797.05/797.43 c | 692689 | 24202 140282 476687 | 2147483647 431117 80 | 7.474 % |
816.84/817.27 c | 696315 | 24202 140282 476687 | 2147483647 434743 82 | 7.474 % |
823.83/824.28 c | 700303 | 24202 140282 476687 | 2147483647 438731 82 | 7.474 % |
840.63/841.05 c | 704690 | 24202 140282 476687 | 2147483647 443118 84 | 7.474 % |
866.72/867.16 c | 709513 | 24202 140282 476687 | 2147483647 447941 86 | 7.474 % |
875.02/875.50 c | 714819 | 24202 140282 476687 | 2147483647 453247 86 | 7.474 % |
899.71/900.16 c | 720654 | 24202 140282 476687 | 458428 459082 89 | 7.474 % |
909.80/910.27 c | 727072 | 24202 140282 476687 | 458428 403824 84 | 7.474 % |
910.00/910.47 c | 727172 | 24202 140282 476687 | 458428 403924 84 | 7.474 % |
910.20/910.66 c | 727284 | 24202 140282 476687 | 458428 404036 84 | 7.474 % |
910.80/911.20 c | 727406 | 24202 140282 476687 | 458428 404158 84 | 7.474 % |
911.00/911.47 c | 727539 | 24202 140282 476687 | 458428 404291 84 | 7.474 % |
911.20/911.66 c | 727685 | 24202 140282 476687 | 458428 404437 84 | 7.474 % |
912.00/912.42 c | 727846 | 24201 140277 476670 | 458428 404591 84 | 7.478 % |
912.20/912.61 c | 728023 | 24201 140277 476670 | 458428 404768 84 | 7.478 % |
913.10/913.51 c | 728217 | 24201 140277 476670 | 458428 404962 84 | 7.478 % |
913.20/913.68 c | 728431 | 24201 140277 476670 | 458428 405176 84 | 7.478 % |
913.61/914.01 c | 728664 | 24201 140277 476670 | 458428 405409 84 | 7.478 % |
913.90/914.38 c | 728920 | 24201 140277 476670 | 458428 405665 84 | 7.478 % |
914.30/914.71 c | 729201 | 24201 140277 476670 | 458428 405946 84 | 7.478 % |
915.10/915.58 c | 729510 | 24201 140277 476670 | 458428 406255 84 | 7.478 % |
915.60/916.04 c | 729849 | 24201 140277 476670 | 458428 406594 84 | 7.478 % |
916.90/917.40 c | 730222 | 24201 140277 476670 | 406745 406967 84 | 7.478 % |
917.50/917.91 c | 730632 | 24201 140277 476670 | 406745 407377 84 | 7.478 % |
917.80/918.29 c | 731081 | 24201 140277 476670 | 406745 407826 84 | 7.478 % |
918.40/918.85 c | 731574 | 24201 140277 476670 | 406745 408319 84 | 7.478 % |
919.30/919.73 c | 732117 | 24201 140277 476670 | 406745 408862 84 | 7.478 % |
920.50/920.93 c | 732713 | 24201 140277 476670 | 406745 362849 83 | 7.478 % |
921.40/921.84 c | 733368 | 24201 140277 476670 | 406745 363504 83 | 7.478 % |
924.50/924.96 c | 734090 | 24201 140277 476670 | 406745 364226 83 | 7.478 % |
927.30/927.77 c | 734882 | 24201 140277 476670 | 406745 365018 83 | 7.478 % |
928.10/928.55 c | 735753 | 24201 140277 476670 | 406745 365889 83 | 7.478 % |
929.19/929.69 c | 736712 | 24201 140277 476670 | 406745 366848 83 | 7.478 % |
930.69/931.15 c | 737765 | 24201 140277 476670 | 406745 367901 83 | 7.478 % |
932.30/932.72 c | 738923 | 24201 140277 476670 | 406745 369059 83 | 7.478 % |
935.99/936.49 c | 740196 | 24201 140277 476670 | 2147483647 370332 83 | 7.478 % |
936.89/937.38 c | 741599 | 24201 140277 476670 | 2147483647 371735 83 | 7.478 % |
938.29/938.72 c | 743139 | 24201 140277 476670 | 2147483647 373275 83 | 7.478 % |
939.89/940.35 c | 744833 | 24201 140277 476670 | 2147483647 374969 83 | 7.478 % |
941.79/942.22 c | 746697 | 24201 140277 476670 | 2147483647 376833 82 | 7.478 % |
946.59/947.06 c | 748746 | 24201 140277 476670 | 2147483647 378882 83 | 7.478 % |
954.08/954.56 c | 751000 | 24201 140277 476670 | 2147483647 381136 84 | 7.478 % |
957.98/958.42 c | 753479 | 24201 140277 476670 | 2147483647 383615 84 | 7.478 % |
967.88/968.31 c | 756206 | 24201 140277 476670 | 2147483647 386342 85 | 7.478 % |
971.68/972.19 c | 759203 | 24201 140277 476670 | 2147483647 389339 85 | 7.478 % |
981.27/981.75 c | 762501 | 24201 140277 476670 | 2147483647 392637 86 | 7.478 % |
986.37/986.88 c | 766126 | 24201 140277 476670 | 2147483647 396262 86 | 7.478 % |
1007.96/1008.40 c | 770115 | 24201 140277 476670 | 2147483647 400251 88 | 7.478 % |
1016.75/1017.20 c | 774501 | 24201 140277 476670 | 2147483647 404637 89 | 7.478 % |
1036.45/1036.90 c | 779326 | 24201 140277 476670 | 2147483647 409462 91 | 7.478 % |
1041.34/1041.83 c | 784633 | 24201 140277 476670 | 2147483647 414769 91 | 7.478 % |
1071.03/1071.57 c | 790469 | 24201 140277 476670 | 420137 420605 94 | 7.478 % |
1080.33/1080.83 c | 796890 | 24201 140277 476670 | 420137 427026 94 | 7.478 % |
1117.31/1117.87 c | 803949 | 24201 140277 476670 | 2147483647 383077 93 | 7.478 % |
1117.81/1118.32 c | 804049 | 24201 140277 476670 | 2147483647 383177 93 | 7.478 % |
1118.01/1118.51 c | 804160 | 24201 140277 476670 | 2147483647 383288 93 | 7.478 % |
1118.22/1118.72 c | 804281 | 24201 140277 476670 | 2147483647 383409 93 | 7.478 % |
1118.41/1118.90 c | 804414 | 24201 140277 476670 | 2147483647 383542 93 | 7.478 % |
1118.61/1119.16 c | 804560 | 24201 140277 476670 | 2147483647 383688 93 | 7.478 % |
1118.91/1119.40 c | 804720 | 24201 140277 476670 | 2147483647 383848 93 | 7.478 % |
1119.11/1119.67 c | 804896 | 24201 140277 476670 | 2147483647 384024 93 | 7.478 % |
1119.41/1119.92 c | 805090 | 24201 140277 476670 | 2147483647 384218 93 | 7.478 % |
1120.21/1120.71 c | 805302 | 24201 140277 476670 | 2147483647 384430 93 | 7.478 % |
1120.51/1121.06 c | 805535 | 24201 140277 476670 | 2147483647 384663 93 | 7.478 % |
1120.91/1121.43 c | 805800 | 24201 140277 476670 | 2147483647 384928 93 | 7.478 % |
1121.31/1121.82 c | 806082 | 24201 140277 476670 | 2147483647 385210 93 | 7.478 % |
1122.11/1122.68 c | 806392 | 24201 140277 476670 | 2147483647 385520 93 | 7.478 % |
1122.51/1123.03 c | 806731 | 24201 140277 476670 | 2147483647 385859 93 | 7.478 % |
1123.11/1123.62 c | 807103 | 24201 140277 476670 | 2147483647 386231 93 | 7.478 % |
1124.01/1124.59 c | 807513 | 24201 140277 476670 | 2147483647 386641 93 | 7.478 % |
1125.11/1125.67 c | 807962 | 24201 140277 476670 | 2147483647 387090 93 | 7.478 % |
1125.81/1126.39 c | 808459 | 24201 140277 476670 | 2147483647 387587 93 | 7.478 % |
1126.71/1127.21 c | 809003 | 24201 140277 476670 | 2147483647 388131 93 | 7.478 % |
1129.91/1130.49 c | 809599 | 24201 140277 476670 | 2147483647 388727 93 | 7.478 % |
1131.21/1131.71 c | 810254 | 24201 140277 476670 | 2147483647 389382 93 | 7.478 % |
1132.21/1132.79 c | 810974 | 24201 140277 476670 | 2147483647 390102 93 | 7.478 % |
1133.61/1134.15 c | 811766 | 24201 140277 476670 | 2147483647 390894 93 | 7.478 % |
1134.81/1135.33 c | 812638 | 24201 140277 476670 | 2147483647 391766 93 | 7.478 % |
1136.11/1136.61 c | 813596 | 24201 140277 476670 | 2147483647 392724 93 | 7.478 % |
1141.21/1141.73 c | 814649 | 24201 140277 476670 | 2147483647 393777 93 | 7.478 % |
1142.70/1143.25 c | 815807 | 24201 140277 476670 | 2147483647 394935 93 | 7.478 % |
1144.30/1144.87 c | 817080 | 24201 140277 476670 | 2147483647 396208 93 | 7.478 % |
1151.40/1151.94 c | 818480 | 24201 140277 476670 | 2147483647 397608 94 | 7.478 % |
1154.50/1155.03 c | 820022 | 24201 140277 476670 | 2147483647 399150 94 | 7.478 % |
1156.50/1157.01 c | 821717 | 24201 140277 476670 | 2147483647 400845 93 | 7.478 % |
1161.99/1162.53 c | 823580 | 24201 140277 476670 | 2147483647 402708 94 | 7.478 % |
1164.99/1165.54 c | 825629 | 24201 140277 476670 | 2147483647 404757 93 | 7.478 % |
1176.89/1177.44 c | 827882 | 24201 140277 476670 | 2147483647 407010 95 | 7.478 % |
1179.69/1180.30 c | 830360 | 24201 140277 476670 | 2147483647 409488 94 | 7.478 % |
1193.38/1193.93 c | 833085 | 24201 140277 476670 | 2147483647 412213 96 | 7.478 % |
1197.38/1197.90 c | 836082 | 24201 140277 476670 | 2147483647 415210 96 | 7.478 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832427-1242773081/watcher-1832427-1242773081 -o /tmp/evaluation-result-1832427-1242773081/solver-1832427-1242773081 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832427-1242773081.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 0.92 3/64 13716
/proc/meminfo: memFree=1849976/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=0
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305342457 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 268583010386 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/13716/statm: 1339 235 195 169 0 50 0
[pid=13717] ppid=13716 vsize=5356 CPUtime=0
/proc/13717/stat : 13717 (SatELiteGTI) R 13716 13716 13433 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 305342458 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/13717/statm: 1339 238 198 169 0 50 0
[pid=13719] ppid=13717 vsize=0 CPUtime=0
/proc/13719/stat : 13719 (sed) Z 13717 13716 13433 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 305342458 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/13719/statm: 0 0 0 0 0 0 0
[startup+0.0308991 s]
/proc/loadavg: 1.00 1.00 0.92 3/64 13716
/proc/meminfo: memFree=1849976/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=0
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305342457 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13716/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101911 s]
/proc/loadavg: 1.00 1.00 0.92 3/64 13716
/proc/meminfo: memFree=1849976/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=0
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305342457 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13716/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30195 s]
/proc/loadavg: 1.00 1.00 0.92 3/64 13716
/proc/meminfo: memFree=1849976/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=0
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305342457 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13716/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702028 s]
/proc/loadavg: 1.00 1.00 0.92 3/64 13716
/proc/meminfo: memFree=1849976/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=0
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305342457 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13716/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50119 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 13721
/proc/meminfo: memFree=1813480/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=1.38
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 336 10866 0 0 0 0 130 8 16 0 1 0 305342457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13716/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 5356
[startup+3.1015 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 13722
/proc/meminfo: memFree=1832936/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=1.38
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 336 10866 0 0 0 0 130 8 16 0 1 0 305342457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13716/statm: 1339 239 197 169 0 50 0
[pid=13722] ppid=13716 vsize=12376 CPUtime=1.69
/proc/13722/stat : 13722 (minisat_static) R 13716 13716 13433 0 -1 4194304 2914 0 0 0 168 1 0 0 25 0 1 0 305342597 12673024 2900 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13722/statm: 3094 2900 77 171 0 2921 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 17732
[startup+6.30113 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 13722
/proc/meminfo: memFree=1830440/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=1.38
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 336 10866 0 0 0 0 130 8 16 0 1 0 305342457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13716/statm: 1339 239 197 169 0 50 0
[pid=13722] ppid=13716 vsize=14204 CPUtime=4.88
/proc/13722/stat : 13722 (minisat_static) R 13716 13716 13433 0 -1 4194304 3366 0 0 0 486 2 0 0 25 0 1 0 305342597 14544896 3352 1992294400 134512640 135215339 4294956240 18446744073709551615 134525456 0 0 4096 3 0 0 0 17 1 0 0
/proc/13722/statm: 3551 3352 77 171 0 3378 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 19560
[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 13722
/proc/meminfo: memFree=1828712/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=1.38
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 336 10866 0 0 0 0 130 8 16 0 1 0 305342457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13716/statm: 1339 239 197 169 0 50 0
[pid=13722] ppid=13716 vsize=15544 CPUtime=11.28
/proc/13722/stat : 13722 (minisat_static) R 13716 13716 13433 0 -1 4194304 3685 0 0 0 1126 2 0 0 25 0 1 0 305342597 15917056 3671 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13722/statm: 3886 3671 77 171 0 3713 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 20900
[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 13722
/proc/meminfo: memFree=1825192/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=1.38
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 336 10866 0 0 0 0 130 8 16 0 1 0 305342457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13716/statm: 1339 239 197 169 0 50 0
[pid=13722] ppid=13716 vsize=19276 CPUtime=24.08
/proc/13722/stat : 13722 (minisat_static) R 13716 13716 13433 0 -1 4194304 4585 0 0 0 2404 4 0 0 25 0 1 0 305342597 19738624 4571 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13722/statm: 4819 4571 77 171 0 4646 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 24632
[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 13722
/proc/meminfo: memFree=1816488/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=1.38
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 336 10866 0 0 0 0 130 8 16 0 1 0 305342457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13716/statm: 1339 239 197 169 0 50 0
[pid=13722] ppid=13716 vsize=27868 CPUtime=49.65
/proc/13722/stat : 13722 (minisat_static) R 13716 13716 13433 0 -1 4194304 6775 0 0 0 4959 6 0 0 25 0 1 0 305342597 28536832 6761 1992294400 134512640 135215339 4294956240 18446744073709551615 134538882 0 0 4096 3 0 0 0 17 1 0 0
/proc/13722/statm: 6967 6761 77 171 0 6794 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 33224
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 13722
/proc/meminfo: memFree=1799592/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=1.38
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 336 10866 0 0 0 0 130 8 16 0 1 0 305342457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13716/statm: 1339 239 197 169 0 50 0
[pid=13722] ppid=13716 vsize=44640 CPUtime=100.84
/proc/13722/stat : 13722 (minisat_static) R 13716 13716 13433 0 -1 4194304 10932 0 0 0 10072 12 0 0 25 0 1 0 305342597 45711360 10918 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13722/statm: 11160 10918 77 171 0 10987 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 49996
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 13722
/proc/meminfo: memFree=1780392/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=1.38
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 336 10866 0 0 0 0 130 8 16 0 1 0 305342457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13716/statm: 1339 239 197 169 0 50 0
[pid=13722] ppid=13716 vsize=63800 CPUtime=160.81
/proc/13722/stat : 13722 (minisat_static) R 13716 13716 13433 0 -1 4194304 15754 0 0 0 16065 16 0 0 25 0 1 0 305342597 65331200 15740 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13722/statm: 15950 15740 77 171 0 15777 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 69156
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 13722
/proc/meminfo: memFree=1763304/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=1.38
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 336 10866 0 0 0 0 130 8 16 0 1 0 305342457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13716/statm: 1339 239 197 169 0 50 0
[pid=13722] ppid=13716 vsize=81052 CPUtime=220.79
/proc/13722/stat : 13722 (minisat_static) R 13716 13716 13433 0 -1 4194304 19953 0 0 0 22058 21 0 0 25 0 1 0 305342597 82997248 19939 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13722/statm: 20263 19939 77 171 0 20090 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 86408
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 13722
/proc/meminfo: memFree=1747304/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=1.38
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 336 10866 0 0 0 0 130 8 16 0 1 0 305342457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13716/statm: 1339 239 197 169 0 50 0
[pid=13722] ppid=13716 vsize=96764 CPUtime=280.77
/proc/13722/stat : 13722 (minisat_static) R 13716 13716 13433 0 -1 4194304 23937 0 0 0 28051 26 0 0 25 0 1 0 305342597 99086336 23923 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13722/statm: 24191 23923 77 171 0 24018 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 102120
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 13722
/proc/meminfo: memFree=1732520/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=1.38
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 336 10866 0 0 0 0 130 8 16 0 1 0 305342457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13716/statm: 1339 239 197 169 0 50 0
[pid=13722] ppid=13716 vsize=111160 CPUtime=340.74
/proc/13722/stat : 13722 (minisat_static) R 13716 13716 13433 0 -1 4194304 27581 0 0 0 34045 29 0 0 25 0 1 0 305342597 113827840 27567 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13722/statm: 27790 27567 77 171 0 27617 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 116516
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 13722
/proc/meminfo: memFree=1726760/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=1.38
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 336 10866 0 0 0 0 130 8 16 0 1 0 305342457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13716/statm: 1339 239 197 169 0 50 0
[pid=13722] ppid=13716 vsize=116836 CPUtime=400.72
/proc/13722/stat : 13722 (minisat_static) R 13716 13716 13433 0 -1 4194304 28999 0 0 0 40041 31 0 0 25 0 1 0 305342597 119640064 28985 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13722/statm: 29209 28985 77 171 0 29036 0
Current children cumulated CPU time (s) 402.1
################
# More data... #
################
/proc/13722/statm: 34956 34766 77 171 0 34783 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 145180
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 13722
/proc/meminfo: memFree=1691560/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=1.38
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 336 10866 0 0 0 0 130 8 16 0 1 0 305342457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13716/statm: 1339 239 197 169 0 50 0
[pid=13722] ppid=13716 vsize=151860 CPUtime=580.65
/proc/13722/stat : 13722 (minisat_static) R 13716 13716 13433 0 -1 4194304 37798 0 0 0 58025 40 0 0 25 0 1 0 305342597 155504640 37784 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13722/statm: 37965 37784 77 171 0 37792 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 157216
[startup+642.302 s]
/proc/loadavg: 1.06 1.01 0.93 2/66 13722
/proc/meminfo: memFree=1687912/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=1.38
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 336 10866 0 0 0 0 130 8 16 0 1 0 305342457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13716/statm: 1339 239 197 169 0 50 0
[pid=13722] ppid=13716 vsize=155296 CPUtime=640.64
/proc/13722/stat : 13722 (minisat_static) R 13716 13716 13433 0 -1 4194304 38635 0 0 0 64022 42 0 0 25 0 1 0 305342597 159023104 38621 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/13722/statm: 38824 38621 77 171 0 38651 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 160652
[startup+702.302 s]
/proc/loadavg: 1.02 1.01 0.93 2/66 13722
/proc/meminfo: memFree=1687720/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=1.38
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 336 10866 0 0 0 0 130 8 16 0 1 0 305342457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13716/statm: 1339 239 197 169 0 50 0
[pid=13722] ppid=13716 vsize=155296 CPUtime=700.61
/proc/13722/stat : 13722 (minisat_static) R 13716 13716 13433 0 -1 4194304 38635 0 0 0 70019 42 0 0 25 0 1 0 305342597 159023104 38621 1992294400 134512640 135215339 4294956240 18446744073709551615 134538574 0 0 4096 3 0 0 0 17 1 0 0
/proc/13722/statm: 38824 38621 77 171 0 38651 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 160652
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 13722
/proc/meminfo: memFree=1685608/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=1.38
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 336 10866 0 0 0 0 130 8 16 0 1 0 305342457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13716/statm: 1339 239 197 169 0 50 0
[pid=13722] ppid=13716 vsize=157408 CPUtime=760.59
/proc/13722/stat : 13722 (minisat_static) R 13716 13716 13433 0 -1 4194304 39156 0 0 0 76016 43 0 0 25 0 1 0 305342597 161185792 39142 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13722/statm: 39352 39142 77 171 0 39179 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 162764
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 13722
/proc/meminfo: memFree=1671208/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=1.38
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 336 10866 0 0 0 0 130 8 16 0 1 0 305342457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13716/statm: 1339 239 197 169 0 50 0
[pid=13722] ppid=13716 vsize=171796 CPUtime=820.55
/proc/13722/stat : 13722 (minisat_static) R 13716 13716 13433 0 -1 4194304 42782 0 0 0 82009 46 0 0 25 0 1 0 305342597 175919104 42768 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13722/statm: 42949 42768 77 171 0 42776 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 177152
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 13722
/proc/meminfo: memFree=1656744/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=1.38
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 336 10866 0 0 0 0 130 8 16 0 1 0 305342457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13716/statm: 1339 239 197 169 0 50 0
[pid=13722] ppid=13716 vsize=186068 CPUtime=880.53
/proc/13722/stat : 13722 (minisat_static) R 13716 13716 13433 0 -1 4194304 46349 0 0 0 88003 50 0 0 25 0 1 0 305342597 190533632 46335 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13722/statm: 46517 46335 77 171 0 46344 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 191424
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 13722
/proc/meminfo: memFree=1649768/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=1.38
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 336 10866 0 0 0 0 130 8 16 0 1 0 305342457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13716/statm: 1339 239 197 169 0 50 0
[pid=13722] ppid=13716 vsize=192936 CPUtime=940.51
/proc/13722/stat : 13722 (minisat_static) R 13716 13716 13433 0 -1 4194304 48064 0 0 0 93999 52 0 0 25 0 1 0 305342597 197566464 48050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/13722/statm: 48234 48050 77 171 0 48061 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 198292
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 13728
/proc/meminfo: memFree=1649448/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=1.38
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 336 10866 0 0 0 0 130 8 16 0 1 0 305342457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13716/statm: 1339 239 197 169 0 50 0
[pid=13722] ppid=13716 vsize=192936 CPUtime=1000.48
/proc/13722/stat : 13722 (minisat_static) R 13716 13716 13433 0 -1 4194304 48064 0 0 0 99996 52 0 0 25 0 1 0 305342597 197566464 48050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/13722/statm: 48234 48050 77 171 0 48061 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 198292
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 13728
/proc/meminfo: memFree=1649448/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=1.38
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 336 10866 0 0 0 0 130 8 16 0 1 0 305342457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13716/statm: 1339 239 197 169 0 50 0
[pid=13722] ppid=13716 vsize=192936 CPUtime=1060.46
/proc/13722/stat : 13722 (minisat_static) R 13716 13716 13433 0 -1 4194304 48064 0 0 0 105994 52 0 0 25 0 1 0 305342597 197566464 48050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13722/statm: 48234 48050 77 171 0 48061 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 198292
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 13728
/proc/meminfo: memFree=1649384/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=1.38
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 336 10866 0 0 0 0 130 8 16 0 1 0 305342457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13716/statm: 1339 239 197 169 0 50 0
[pid=13722] ppid=13716 vsize=192936 CPUtime=1120.43
/proc/13722/stat : 13722 (minisat_static) R 13716 13716 13433 0 -1 4194304 48064 0 0 0 111991 52 0 0 25 0 1 0 305342597 197566464 48050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13722/statm: 48234 48050 77 171 0 48061 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 198292
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 13728
/proc/meminfo: memFree=1649320/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=1.38
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 336 10866 0 0 0 0 130 8 16 0 1 0 305342457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13716/statm: 1339 239 197 169 0 50 0
[pid=13722] ppid=13716 vsize=192936 CPUtime=1180.41
/proc/13722/stat : 13722 (minisat_static) R 13716 13716 13433 0 -1 4194304 48064 0 0 0 117989 52 0 0 25 0 1 0 305342597 197566464 48050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13722/statm: 48234 48050 77 171 0 48061 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 198292
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 13728
/proc/meminfo: memFree=1649320/2055924 swapFree=4140884/4192956
[pid=13716] ppid=13714 vsize=5356 CPUtime=1.38
/proc/13716/stat : 13716 (SatELiteGTI) S 13714 13716 13433 0 -1 4194304 336 10866 0 0 0 0 130 8 16 0 1 0 305342457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13716/statm: 1339 239 197 169 0 50 0
[pid=13722] ppid=13716 vsize=192936 CPUtime=1198.7
/proc/13722/stat : 13722 (minisat_static) R 13716 13716 13433 0 -1 4194304 48064 0 0 0 119818 52 0 0 25 0 1 0 305342597 197566464 48050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/13722/statm: 48234 48050 77 171 0 48061 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 198292
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13716 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=301802
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=88986
# CPU time returned by wait4() is 1.39079
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.08
CPU user time (s): 1199.48
CPU system time (s): 0.6
CPU usage (%): 99.9557
Max. virtual memory (cumulated for all children) (KiB): 198292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.3018
system time used= 0.088986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11202
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 8
runsolver used 1.36379 second user time and 2.6116 second system time
The end
Begin job on node6 at 2009-05-20 00:44:41
IDJOB=1832427
IDBENCH=69611
IDSOLVER=671
FILE ID=node6/1832427-1242773081
PBS_JOBID= 9322292
Free space on /tmp= 66304 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE08/cnf/mizh-md5-47-4.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832427-1242773081/watcher-1832427-1242773081 -o /tmp/evaluation-result-1832427-1242773081/solver-1832427-1242773081 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832427-1242773081.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b0a37265834986ac9165bda379d279fd
RANDOM SEED=509591837
node6.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.281
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.281
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055924 kB
MemFree: 1850520 kB
Buffers: 11184 kB
Cached: 112356 kB
SwapCached: 46188 kB
Active: 112200 kB
Inactive: 59208 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1850520 kB
SwapTotal: 4192956 kB
SwapFree: 4140884 kB
Dirty: 7076 kB
Writeback: 0 kB
Mapped: 13964 kB
Slab: 20052 kB
Committed_AS: 1138628 kB
PageTables: 1456 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66296 MiB
End job on node6 at 2009-05-20 01:04:44