0.00/0.00 c Parsing...
0.22/0.25 c ==============================================================================
0.22/0.25 c | | ORIGINAL | LEARNT | |
0.22/0.25 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.22/0.25 c ==============================================================================
0.22/0.25 c | 0 | 234811 677538 | 70443 0 0 nan | 0.000 % |
1.06/1.14 c | 0 | 153907 520964 | -- 0 -- -- | -- | -79647/-152196
1.06/1.15 c ==============================================================================
1.06/1.15 c Result : #vars: 26157 #clauses: 153907 #literals: 520964
1.06/1.15 c CPU time: 1.05 s
1.06/1.15 c ==============================================================================
1.26/1.33 c This is MiniSat 2.0 beta
1.26/1.33 c WARNING: for repeatability, setting FPU to use double precision
1.26/1.33 c ============================[ Problem Statistics ]=============================
1.26/1.33 c | |
1.26/1.33 c | Number of variables: 26157 |
1.26/1.33 c | Number of clauses: 153907 |
1.27/1.43 c | Parsing time: 0.05 s |
1.27/1.44 c ============================[ Search Statistics ]==============================
1.27/1.44 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.27/1.44 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.27/1.44 c ===============================================================================
1.27/1.44 c | 0 | 26157 153907 520964 | 51302 0 nan | 0.000 % |
1.27/1.45 c | 100 | 26157 153907 520964 | 51302 100 4 | 0.000 % |
1.27/1.46 c | 201 | 26157 153907 520964 | 51302 201 4 | 0.000 % |
1.27/1.47 c | 302 | 26157 153907 520964 | 51302 302 4 | 0.000 % |
1.27/1.48 c | 413 | 26157 153907 520964 | 51302 413 4 | 0.000 % |
1.27/1.48 c | 514 | 26157 153907 520964 | 51302 514 4 | 0.000 % |
1.27/1.50 c | 624 | 26157 153907 520964 | 51302 624 5 | 0.000 % |
1.27/1.50 c | 745 | 26157 153907 520964 | 51302 745 5 | 0.000 % |
1.27/1.51 c | 845 | 26157 153907 520964 | 51302 845 5 | 0.000 % |
1.27/1.53 c | 955 | 26157 153907 520964 | 51302 955 5 | 0.000 % |
1.27/1.56 c | 1077 | 26157 153907 520964 | 51302 1077 5 | 0.000 % |
1.27/1.59 c | 1210 | 26157 153907 520964 | 51302 1210 5 | 0.000 % |
1.27/1.61 c | 1311 | 26157 153907 520964 | 51302 1311 5 | 0.000 % |
1.27/1.62 c | 1421 | 26157 153907 520964 | 51302 1421 5 | 0.000 % |
1.27/1.65 c | 1542 | 26153 153907 520964 | 51302 1541 5 | 0.069 % |
1.27/1.68 c | 1675 | 26153 153907 520964 | 51302 1674 5 | 0.069 % |
1.27/1.69 c | 1822 | 26153 153907 520964 | 51302 1821 5 | 0.069 % |
1.27/1.70 c | 1923 | 26153 153907 520964 | 51302 1922 5 | 0.069 % |
1.27/1.71 c | 2034 | 26153 153907 520964 | 51302 2033 5 | 0.069 % |
1.27/1.72 c | 2155 | 26153 153907 520964 | 51302 2154 5 | 0.069 % |
1.27/1.73 c | 2288 | 26153 153907 520964 | 51302 2287 5 | 0.069 % |
1.27/1.75 c | 2434 | 26153 153907 520964 | 51302 2433 5 | 0.069 % |
1.27/1.78 c | 2594 | 26153 153907 520964 | 51302 2593 5 | 0.069 % |
1.27/1.79 c | 2695 | 26139 153788 520612 | 51302 2667 5 | 0.069 % |
1.27/1.80 c | 2805 | 26139 153788 520612 | 51302 2777 5 | 0.069 % |
1.27/1.85 c | 2926 | 26138 153788 520612 | 51302 2897 5 | 0.073 % |
1.27/1.86 c | 3060 | 26138 153788 520612 | 51302 3031 6 | 0.073 % |
1.27/1.87 c | 3207 | 26138 153788 520612 | 51302 3178 6 | 0.073 % |
1.27/1.87 c | 3367 | 26138 153788 520612 | 51302 3338 6 | 0.073 % |
1.27/1.87 c | 3544 | 26138 153788 520612 | 51302 3515 6 | 0.073 % |
1.27/1.88 c | 3646 | 26138 153788 520612 | 51302 3617 6 | 0.073 % |
1.27/1.88 c | 3757 | 26137 153788 520612 | 51302 3727 6 | 0.088 % |
1.27/1.88 c | 3878 | 26137 153788 520612 | 51302 3848 6 | 0.088 % |
1.27/1.90 c | 4011 | 26134 153788 520612 | 51302 3981 6 | 0.088 % |
1.27/1.90 c | 4159 | 26134 153788 520612 | 51302 4129 6 | 0.088 % |
1.27/1.93 c | 4320 | 26134 153788 520612 | 51302 4290 6 | 0.088 % |
1.27/1.97 c | 4497 | 26134 153788 520612 | 51302 4467 6 | 0.088 % |
1.27/1.98 c | 4691 | 26134 153788 520612 | 51302 4661 6 | 0.088 % |
1.27/1.99 c | 4791 | 26134 153788 520612 | 51302 4761 6 | 0.088 % |
1.27/1.99 c | 4901 | 26134 153788 520612 | 51302 4871 7 | 0.088 % |
1.27/1.99 c | 5023 | 26134 153788 520612 | 51302 4993 7 | 0.088 % |
1.27/2.00 c | 5157 | 26132 153788 520612 | 51302 5126 7 | 0.096 % |
1.27/2.01 c | 5304 | 26132 153788 520612 | 51302 5273 7 | 0.096 % |
1.27/2.02 c | 5465 | 26132 153788 520612 | 51302 5434 7 | 0.096 % |
1.27/2.02 c | 5641 | 26132 153788 520612 | 51302 5610 7 | 0.096 % |
1.27/2.03 c | 5834 | 26132 153788 520612 | 51302 5803 7 | 0.096 % |
1.27/2.03 c | 6047 | 26132 153788 520612 | 51302 6016 7 | 0.096 % |
1.27/2.04 c | 6151 | 26132 153788 520612 | 51302 6120 7 | 0.096 % |
1.27/2.04 c | 6263 | 26132 153788 520612 | 51302 6232 7 | 0.096 % |
1.27/2.04 c | 6384 | 26132 153788 520612 | 51302 6353 7 | 0.096 % |
1.27/2.05 c | 6518 | 26131 153788 520612 | 51302 6486 7 | 0.099 % |
1.27/2.05 c | 6664 | 26128 153788 520612 | 51302 6631 7 | 0.111 % |
1.27/2.06 c | 6824 | 26128 153788 520612 | 51302 6791 7 | 0.111 % |
1.27/2.06 c | 7002 | 26128 153788 520612 | 51302 6969 7 | 0.111 % |
1.27/2.07 c | 7195 | 26128 153788 520612 | 51302 7162 7 | 0.111 % |
1.27/2.08 c | 7409 | 26128 153788 520612 | 51302 7376 7 | 0.111 % |
1.27/2.08 c | 7642 | 26128 153788 520612 | 51302 7609 7 | 0.111 % |
1.27/2.09 c | 7745 | 26128 153788 520612 | 51302 7712 7 | 0.111 % |
1.27/2.09 c | 7855 | 26128 153788 520612 | 51302 7822 7 | 0.111 % |
1.27/2.10 c | 7978 | 26128 153788 520612 | 51302 7945 7 | 0.111 % |
1.27/2.11 c | 8111 | 26128 153788 520612 | 51302 8078 7 | 0.111 % |
2.06/2.12 c | 8257 | 26128 153788 520612 | 51302 8224 7 | 0.111 % |
2.06/2.12 c | 8418 | 26128 153788 520612 | 51302 8385 7 | 0.111 % |
2.06/2.13 c | 8595 | 26128 153788 520612 | 51302 8562 7 | 0.111 % |
2.06/2.13 c | 8789 | 26128 153788 520612 | 51302 8756 7 | 0.111 % |
2.06/2.19 c | 9001 | 26128 153788 520612 | 51302 8968 7 | 0.111 % |
2.16/2.23 c | 9234 | 26128 153693 520327 | 51302 9190 7 | 0.111 % |
2.16/2.28 c | 9490 | 26128 153693 520327 | 51302 9446 7 | 0.111 % |
2.16/2.28 c | 9591 | 26128 153693 520327 | 51302 9547 7 | 0.111 % |
2.16/2.29 c | 9701 | 26128 153693 520327 | 51302 9657 7 | 0.111 % |
2.16/2.31 c | 9823 | 26126 153693 520327 | 51302 9778 7 | 0.119 % |
2.26/2.34 c | 9957 | 26126 153693 520327 | 51302 9912 7 | 0.119 % |
2.26/2.36 c | 10103 | 26126 153693 520327 | 2147483647 10058 7 | 0.119 % |
2.36/2.42 c | 10263 | 26126 153693 520327 | 2147483647 10218 7 | 0.119 % |
2.36/2.44 c | 10440 | 26126 153693 520327 | 2147483647 10395 7 | 0.119 % |
2.36/2.46 c | 10633 | 26126 153693 520327 | 2147483647 10588 7 | 0.119 % |
2.36/2.47 c | 10845 | 26126 153693 520327 | 2147483647 10800 7 | 0.119 % |
2.36/2.47 c | 11078 | 26126 153693 520327 | 2147483647 11033 7 | 0.119 % |
2.36/2.48 c | 11334 | 26122 153693 520327 | 2147483647 11287 7 | 0.141 % |
2.36/2.49 c | 11617 | 26121 153693 520327 | 2147483647 11570 7 | 0.141 % |
2.36/2.49 c | 11718 | 26121 153693 520327 | 2147483647 11671 7 | 0.141 % |
2.36/2.50 c | 11828 | 26121 153693 520327 | 2147483647 11781 7 | 0.141 % |
2.36/2.50 c | 11950 | 26121 153693 520327 | 2147483647 11903 7 | 0.141 % |
2.36/2.50 c | 12083 | 26121 153693 520327 | 2147483647 12036 7 | 0.141 % |
2.36/2.51 c | 12230 | 26121 153693 520327 | 2147483647 12183 7 | 0.141 % |
2.36/2.51 c | 12395 | 26121 153693 520327 | 2147483647 12348 7 | 0.141 % |
2.45/2.52 c | 12572 | 26121 153693 520327 | 2147483647 12525 7 | 0.141 % |
2.45/2.53 c | 12765 | 26118 153693 520327 | 2147483647 12717 8 | 0.157 % |
2.45/2.53 c | 12977 | 26118 153693 520327 | 2147483647 12929 8 | 0.157 % |
2.45/2.54 c | 13211 | 26118 153693 520327 | 2147483647 13163 8 | 0.157 % |
2.45/2.54 c | 13467 | 26118 153693 520327 | 2147483647 13419 8 | 0.157 % |
2.45/2.55 c | 13749 | 26118 153693 520327 | 2147483647 13701 8 | 0.157 % |
2.45/2.56 c | 14058 | 26118 153693 520327 | 2147483647 14010 8 | 0.157 % |
2.45/2.56 c | 14161 | 26118 153693 520327 | 2147483647 14113 8 | 0.157 % |
2.45/2.57 c | 14271 | 26118 153693 520327 | 2147483647 14223 8 | 0.157 % |
2.45/2.57 c | 14393 | 26118 153693 520327 | 2147483647 14345 8 | 0.157 % |
2.45/2.57 c | 14526 | 26118 153693 520327 | 2147483647 14478 8 | 0.157 % |
2.45/2.58 c | 14672 | 26118 153693 520327 | 2147483647 14624 8 | 0.157 % |
2.45/2.58 c | 14834 | 26118 153693 520327 | 2147483647 14786 8 | 0.157 % |
2.45/2.59 c | 15010 | 26118 153693 520327 | 2147483647 14962 8 | 0.157 % |
2.45/2.60 c | 15203 | 26118 153693 520327 | 2147483647 15155 8 | 0.157 % |
2.45/2.61 c | 15416 | 26116 153693 520327 | 2147483647 15367 8 | 0.176 % |
2.55/2.62 c | 15651 | 26116 153693 520327 | 2147483647 15602 8 | 0.176 % |
2.55/2.63 c | 15907 | 26116 153693 520327 | 2147483647 15858 8 | 0.176 % |
2.55/2.64 c | 16188 | 26116 153693 520327 | 2147483647 16139 8 | 0.176 % |
2.55/2.64 c | 16498 | 26116 153693 520327 | 2147483647 16449 8 | 0.176 % |
2.55/2.66 c | 16837 | 26112 153693 520327 | 2147483647 16786 8 | 0.203 % |
2.55/2.66 c | 16938 | 26112 153693 520327 | 2147483647 16887 8 | 0.203 % |
2.55/2.67 c | 17048 | 26112 153693 520327 | 2147483647 16997 8 | 0.203 % |
2.55/2.68 c | 17169 | 26112 153693 520327 | 2147483647 17118 8 | 0.203 % |
2.55/2.69 c | 17302 | 26109 153693 520327 | 2147483647 17251 8 | 0.203 % |
2.55/2.71 c | 17449 | 26104 153443 519522 | 2147483647 17027 8 | 0.203 % |
2.65/2.72 c | 17609 | 26104 153443 519522 | 2147483647 17187 8 | 0.203 % |
2.65/2.73 c | 17786 | 26104 153443 519522 | 2147483647 17364 8 | 0.203 % |
2.65/2.74 c | 17979 | 26102 153443 519522 | 2147483647 17556 8 | 0.210 % |
2.65/2.76 c | 18196 | 26102 153443 519522 | 2147483647 17773 8 | 0.210 % |
2.65/2.77 c | 18429 | 26102 153443 519522 | 2147483647 18006 8 | 0.210 % |
2.65/2.78 c | 18685 | 26102 153443 519522 | 2147483647 18262 8 | 0.210 % |
2.65/2.79 c | 18966 | 26102 153443 519522 | 2147483647 18543 8 | 0.210 % |
2.65/2.80 c | 19275 | 26102 153443 519522 | 2147483647 18852 8 | 0.210 % |
2.75/2.82 c | 19615 | 26101 153443 519522 | 2147483647 19191 8 | 0.214 % |
2.75/2.83 c | 19987 | 26101 153443 519522 | 2147483647 19563 8 | 0.214 % |
2.75/2.84 c | 20087 | 26100 153443 519522 | 2147483647 19661 8 | 0.248 % |
2.75/2.84 c | 20197 | 26096 153443 519522 | 2147483647 19771 8 | 0.248 % |
2.75/2.85 c | 20319 | 26096 153443 519522 | 2147483647 19893 8 | 0.248 % |
2.75/2.86 c | 20453 | 26096 153443 519522 | 2147483647 20027 8 | 0.248 % |
2.75/2.86 c | 20601 | 26096 153443 519522 | 2147483647 20175 8 | 0.248 % |
2.75/2.87 c | 20761 | 26096 153443 519522 | 2147483647 20335 8 | 0.248 % |
2.75/2.88 c | 20937 | 26096 153443 519522 | 2147483647 20511 8 | 0.248 % |
2.75/2.90 c | 21131 | 26095 153443 519522 | 2147483647 20705 8 | 0.248 % |
2.85/2.92 c | 21344 | 26094 153443 519522 | 2147483647 20918 8 | 0.248 % |
2.85/2.98 c | 21577 | 26093 153443 519522 | 2147483647 21151 8 | 0.249 % |
2.85/3.01 c | 21834 | 26090 153443 519522 | 2147483647 21407 8 | 0.264 % |
2.95/3.02 c | 22116 | 26090 153443 519522 | 2147483647 21689 8 | 0.264 % |
2.95/3.05 c | 22425 | 26088 153443 519522 | 2147483647 21997 8 | 0.287 % |
2.95/3.06 c | 22765 | 26088 153443 519522 | 2147483647 22337 8 | 0.287 % |
2.95/3.11 c | 23137 | 26087 153443 519522 | 2147483647 22709 8 | 0.287 % |
3.05/3.18 c | 23547 | 26087 153443 519522 | 2147483647 23119 9 | 0.287 % |
3.05/3.19 c | 23647 | 26087 153443 519522 | 2147483647 23219 9 | 0.287 % |
3.05/3.20 c | 23757 | 26087 153443 519522 | 2147483647 23329 9 | 0.287 % |
3.15/3.22 c | 23879 | 26087 153443 519522 | 2147483647 23451 9 | 0.287 % |
3.15/3.24 c | 24013 | 26084 153443 519522 | 2147483647 23582 9 | 0.298 % |
3.15/3.26 c | 24160 | 26084 153443 519522 | 2147483647 23729 9 | 0.298 % |
3.15/3.27 c | 24321 | 26084 153443 519522 | 2147483647 23890 9 | 0.298 % |
3.15/3.28 c | 24498 | 26084 153443 519522 | 2147483647 24067 9 | 0.298 % |
3.15/3.31 c | 24691 | 26081 153443 519522 | 2147483647 24259 9 | 0.310 % |
3.25/3.33 c | 24903 | 26077 153443 519522 | 2147483647 24469 9 | 0.329 % |
3.25/3.33 c | 25136 | 26077 153443 519522 | 2147483647 24702 9 | 0.329 % |
3.25/3.34 c | 25394 | 26077 153443 519522 | 2147483647 24960 9 | 0.329 % |
3.25/3.37 c | 25675 | 26071 153142 518566 | 2147483647 24614 9 | 0.329 % |
3.25/3.39 c | 25984 | 26071 153142 518566 | 2147483647 24923 9 | 0.329 % |
3.35/3.46 c | 26325 | 26071 153142 518566 | 2147483647 25264 9 | 0.329 % |
3.35/3.50 c | 26698 | 26071 153142 518566 | 2147483647 25637 9 | 0.329 % |
3.45/3.53 c | 27109 | 26071 153142 518566 | 2147483647 26048 9 | 0.329 % |
3.45/3.57 c | 27558 | 26069 153142 518566 | 2147483647 26496 9 | 0.336 % |
3.45/3.58 c | 27658 | 26069 153142 518566 | 2147483647 26596 9 | 0.336 % |
3.45/3.59 c | 27768 | 26066 153142 518566 | 2147483647 26705 9 | 0.348 % |
3.45/3.60 c | 27892 | 26066 153142 518566 | 2147483647 26829 9 | 0.348 % |
3.55/3.63 c | 28025 | 26066 153142 518566 | 2147483647 26962 9 | 0.348 % |
3.55/3.64 c | 28173 | 26066 153142 518566 | 2147483647 27110 9 | 0.348 % |
3.55/3.64 c | 28334 | 26066 153142 518566 | 2147483647 27271 9 | 0.348 % |
3.55/3.66 c | 28511 | 26066 153142 518566 | 2147483647 27448 9 | 0.348 % |
3.55/3.67 c | 28705 | 26062 153142 518566 | 2147483647 27641 9 | 0.367 % |
3.55/3.68 c | 28917 | 26062 153142 518566 | 2147483647 27853 9 | 0.367 % |
3.65/3.73 c | 29151 | 26062 153142 518566 | 2147483647 28087 9 | 0.367 % |
3.65/3.75 c | 29407 | 26062 153142 518566 | 2147483647 28343 9 | 0.367 % |
3.65/3.76 c | 29689 | 26062 153142 518566 | 2147483647 28625 9 | 0.367 % |
3.65/3.77 c | 29999 | 26062 153142 518566 | 2147483647 28935 9 | 0.367 % |
3.65/3.79 c | 30338 | 26062 153142 518566 | 2147483647 29274 9 | 0.367 % |
3.75/3.85 c | 30711 | 26062 153142 518566 | 2147483647 29647 9 | 0.367 % |
3.85/3.92 c | 31120 | 26062 153142 518566 | 2147483647 30056 9 | 0.367 % |
3.85/3.95 c | 31569 | 26062 153142 518566 | 2147483647 30505 9 | 0.367 % |
3.85/3.98 c | 32062 | 26048 153142 518566 | 2147483647 30996 9 | 0.455 % |
3.85/3.98 c | 32163 | 26040 153142 518566 | 2147483647 31094 9 | 0.616 % |
3.85/3.99 c | 32274 | 26022 153142 518566 | 2147483647 31203 9 | 0.654 % |
3.85/3.99 c | 32395 | 26020 153142 518566 | 2147483647 31323 9 | 0.661 % |
3.85/4.00 c | 32528 | 26020 153142 518566 | 2147483647 31456 9 | 0.661 % |
3.85/4.01 c | 32674 | 26020 153142 518566 | 2147483647 31602 9 | 0.661 % |
3.95/4.04 c | 32835 | 26003 153142 518566 | 2147483647 31763 9 | 0.661 % |
3.95/4.05 c | 33011 | 26003 153142 518566 | 2147483647 31939 9 | 0.661 % |
3.95/4.10 c | 33204 | 25998 153142 518566 | 2147483647 32132 9 | 0.661 % |
4.05/4.16 c | 33418 | 25984 152427 516253 | 2147483647 27408 9 | 0.661 % |
4.05/4.17 c | 33651 | 25984 152427 516253 | 2147483647 27641 9 | 0.661 % |
4.05/4.21 c | 33908 | 25984 152427 516253 | 2147483647 27898 9 | 0.661 % |
4.15/4.22 c | 34189 | 25984 152427 516253 | 2147483647 28179 9 | 0.661 % |
4.15/4.23 c | 34498 | 25984 152427 516253 | 2147483647 28488 9 | 0.661 % |
4.15/4.25 c | 34839 | 25984 152427 516253 | 2147483647 28829 9 | 0.661 % |
4.15/4.26 c | 35211 | 25984 152427 516253 | 2147483647 29201 9 | 0.661 % |
4.25/4.33 c | 35620 | 25984 152427 516253 | 2147483647 29610 9 | 0.661 % |
4.25/4.35 c | 36070 | 25984 152427 516253 | 2147483647 30060 9 | 0.661 % |
4.35/4.44 c | 36563 | 25978 152427 516253 | 2147483647 30551 9 | 0.684 % |
4.35/4.46 c | 37105 | 25978 152427 516253 | 2147483647 31093 9 | 0.684 % |
4.35/4.47 c | 37205 | 25978 152427 516253 | 2147483647 31193 9 | 0.684 % |
4.35/4.48 c | 37317 | 25978 152427 516253 | 2147483647 31305 9 | 0.684 % |
4.35/4.50 c | 37440 | 25977 152427 516253 | 2147483647 31427 9 | 0.703 % |
4.35/4.50 c | 37574 | 25977 152427 516253 | 2147483647 31561 9 | 0.703 % |
4.44/4.52 c | 37721 | 25975 152427 516253 | 2147483647 31707 9 | 0.772 % |
4.44/4.53 c | 37882 | 25968 152427 516253 | 2147483647 31867 9 | 0.937 % |
4.44/4.54 c | 38058 | 25957 152427 516253 | 2147483647 32043 9 | 0.937 % |
4.44/4.55 c | 38251 | 25957 152427 516253 | 2147483647 32236 9 | 0.937 % |
4.44/4.57 c | 38464 | 25957 152427 516253 | 2147483647 32449 9 | 0.937 % |
4.44/4.58 c | 38698 | 25957 152427 516253 | 2147483647 32683 9 | 0.937 % |
4.54/4.62 c | 38954 | 25941 152427 516253 | 2147483647 32939 9 | 0.937 % |
4.54/4.68 c | 39235 | 25930 152427 516253 | 2147483647 33218 9 | 0.971 % |
4.54/4.70 c | 39545 | 25926 152427 516253 | 2147483647 33527 9 | 0.986 % |
4.64/4.72 c | 39885 | 25921 152427 516253 | 2147483647 33865 9 | 1.044 % |
4.64/4.74 c | 40258 | 25915 152427 516253 | 2147483647 34236 9 | 1.070 % |
4.64/4.76 c | 40668 | 25915 152427 516253 | 2147483647 34646 9 | 1.070 % |
4.74/4.82 c | 41118 | 25902 152427 516253 | 2147483647 35096 9 | 1.070 % |
4.84/4.93 c | 41611 | 25893 152427 516253 | 2147483647 35588 9 | 1.135 % |
4.84/5.00 c | 42153 | 25892 152427 516253 | 2147483647 36130 9 | 1.135 % |
5.04/5.13 c | 42749 | 25858 151524 513459 | 2147483647 34062 9 | 1.143 % |
5.04/5.15 c | 42850 | 25858 151524 513459 | 2147483647 34163 9 | 1.143 % |
5.04/5.18 c | 42960 | 25852 151524 513459 | 2147483647 34271 9 | 1.189 % |
5.04/5.19 c | 43081 | 25852 151524 513459 | 2147483647 34392 9 | 1.189 % |
5.04/5.21 c | 43215 | 25852 151524 513459 | 2147483647 34526 9 | 1.189 % |
5.14/5.22 c | 43362 | 25852 151524 513459 | 2147483647 34673 9 | 1.189 % |
5.14/5.23 c | 43522 | 25852 151524 513459 | 2147483647 34833 9 | 1.189 % |
5.14/5.24 c | 43699 | 25850 151524 513459 | 2147483647 35009 9 | 1.223 % |
5.14/5.26 c | 43892 | 25850 151524 513459 | 2147483647 35202 9 | 1.223 % |
5.14/5.27 c | 44104 | 25849 151524 513459 | 2147483647 35414 9 | 1.223 % |
5.14/5.30 c | 44338 | 25849 151524 513459 | 2147483647 35648 9 | 1.223 % |
5.14/5.30 c | 44594 | 25849 151524 513459 | 2147483647 35904 9 | 1.223 % |
5.24/5.33 c | 44875 | 25847 151524 513459 | 2147483647 36184 9 | 1.231 % |
5.24/5.34 c | 45184 | 25847 151524 513459 | 2147483647 36493 9 | 1.231 % |
5.24/5.37 c | 45524 | 25843 151524 513459 | 2147483647 36832 9 | 1.258 % |
5.24/5.39 c | 45896 | 25842 151524 513459 | 2147483647 37204 9 | 1.258 % |
5.24/5.41 c | 46306 | 25842 151524 513459 | 2147483647 37614 9 | 1.258 % |
5.34/5.46 c | 46755 | 25827 151524 513459 | 2147483647 38062 9 | 1.338 % |
5.34/5.49 c | 47248 | 25820 151524 513459 | 2147483647 38555 9 | 1.338 % |
5.44/5.52 c | 47790 | 25820 151524 513459 | 2147483647 39097 9 | 1.338 % |
5.54/5.66 c | 48386 | 25820 151524 513459 | 2147483647 39693 9 | 1.338 % |
5.64/5.72 c | 49041 | 25816 151524 513459 | 2147483647 40347 9 | 1.372 % |
5.64/5.76 c | 49141 | 25814 151524 513459 | 2147483647 40447 9 | 1.372 % |
5.64/5.80 c | 49251 | 25813 151524 513459 | 2147483647 40557 9 | 1.372 % |
5.74/5.83 c | 49372 | 25813 151524 513459 | 2147483647 40678 9 | 1.372 % |
5.74/5.84 c | 49506 | 25813 151524 513459 | 2147483647 40812 9 | 1.372 % |
5.74/5.85 c | 49653 | 25811 151524 513459 | 2147483647 40958 9 | 1.384 % |
5.74/5.88 c | 49813 | 25810 151524 513459 | 2147483647 41118 9 | 1.384 % |
5.74/5.89 c | 49989 | 25804 151524 513459 | 2147483647 41291 9 | 1.434 % |
5.84/5.95 c | 50182 | 25793 151524 513459 | 2147483647 41481 9 | 1.460 % |
5.94/6.01 c | 50396 | 25775 150922 511582 | 2147483647 39457 9 | 1.460 % |
5.94/6.02 c | 50631 | 25775 150922 511582 | 2147483647 39692 9 | 1.460 % |
5.94/6.04 c | 50889 | 25775 150922 511582 | 2147483647 39950 9 | 1.460 % |
5.94/6.06 c | 51171 | 25775 150922 511582 | 2147483647 40232 9 | 1.460 % |
5.94/6.09 c | 51480 | 25775 150922 511582 | 2147483647 40541 9 | 1.460 % |
6.04/6.12 c | 51819 | 25775 150922 511582 | 2147483647 40880 9 | 1.460 % |
6.04/6.17 c | 52191 | 25775 150922 511582 | 2147483647 41252 9 | 1.460 % |
6.04/6.19 c | 52601 | 25775 150922 511582 | 2147483647 41662 9 | 1.460 % |
6.14/6.25 c | 53051 | 25775 150922 511582 | 2147483647 42112 9 | 1.460 % |
6.24/6.32 c | 53544 | 25775 150922 511582 | 2147483647 42605 9 | 1.460 % |
6.24/6.40 c | 54088 | 25768 150922 511582 | 2147483647 43147 9 | 1.548 % |
6.42/6.52 c | 54684 | 25756 150922 511582 | 2147483647 43743 9 | 1.548 % |
6.42/6.59 c | 55339 | 25756 150922 511582 | 2147483647 44398 9 | 1.548 % |
6.52/6.68 c | 56061 | 25755 150922 511582 | 2147483647 45119 9 | 1.552 % |
6.52/6.68 c | 56162 | 25754 150922 511582 | 2147483647 45219 9 | 1.556 % |
6.52/6.68 c | 56272 | 25754 150922 511582 | 2147483647 45329 9 | 1.556 % |
6.52/6.69 c | 56393 | 25754 150922 511582 | 2147483647 45450 9 | 1.556 % |
6.52/6.70 c | 56526 | 25754 150922 511582 | 2147483647 45583 9 | 1.556 % |
6.62/6.72 c | 56673 | 25753 150922 511582 | 2147483647 45729 9 | 1.560 % |
6.62/6.73 c | 56833 | 25753 150922 511582 | 2147483647 45889 9 | 1.560 % |
6.62/6.74 c | 57010 | 25753 150922 511582 | 2147483647 46066 9 | 1.560 % |
6.62/6.78 c | 57203 | 25753 150922 511582 | 2147483647 46259 9 | 1.560 % |
6.62/6.80 c | 57415 | 25753 150922 511582 | 2147483647 46471 9 | 1.560 % |
6.62/6.81 c | 57648 | 25753 150922 511582 | 2147483647 46704 9 | 1.560 % |
6.72/6.83 c | 57904 | 25753 150922 511582 | 2147483647 46960 9 | 1.560 % |
6.72/6.86 c | 58187 | 25752 150922 511582 | 2147483647 47242 9 | 1.564 % |
6.72/6.87 c | 58497 | 25752 150922 511582 | 2147483647 47552 9 | 1.564 % |
6.72/6.88 c | 58836 | 25746 150922 511582 | 2147483647 47890 9 | 1.602 % |
6.82/6.94 c | 59209 | 25744 150922 511582 | 2147483647 48263 9 | 1.602 % |
6.92/7.05 c | 59619 | 25738 150666 510769 | 2147483647 48032 9 | 1.602 % |
6.92/7.10 c | 60069 | 25736 150666 510769 | 2147483647 48481 9 | 1.610 % |
7.02/7.15 c | 60563 | 25720 150666 510769 | 2147483647 48974 9 | 1.912 % |
7.02/7.21 c | 61105 | 25718 150666 510769 | 2147483647 49515 9 | 1.923 % |
7.12/7.22 c | 61704 | 25718 150666 510769 | 2147483647 50114 9 | 1.923 % |
7.12/7.27 c | 62359 | 25711 150666 510769 | 2147483647 50768 9 | 1.950 % |
7.12/7.31 c | 63079 | 25695 150666 510769 | 2147483647 51487 9 | 2.114 % |
7.22/7.33 c | 63872 | 25695 150666 510769 | 2147483647 52280 9 | 2.114 % |
7.22/7.34 c | 63972 | 25691 150666 510769 | 2147483647 52379 9 | 2.141 % |
7.22/7.36 c | 64083 | 25618 150666 510769 | 2147483647 52488 9 | 2.638 % |
7.22/7.37 c | 64204 | 25618 150666 510769 | 2147483647 52609 9 | 2.638 % |
7.22/7.38 c | 64338 | 25616 150666 510769 | 2147483647 52743 9 | 2.638 % |
7.32/7.42 c | 64484 | 25549 150666 510769 | 2147483647 52887 9 | 2.672 % |
7.32/7.43 c | 64644 | 25549 150666 510769 | 2147483647 53047 9 | 2.672 % |
7.32/7.46 c | 64820 | 25549 150666 510769 | 2147483647 53223 9 | 2.672 % |
7.32/7.47 c | 65016 | 25549 150666 510769 | 2147483647 53419 9 | 2.672 % |
7.32/7.51 c | 65228 | 25549 150666 510769 | 2147483647 53631 9 | 2.672 % |
7.42/7.51 c | 65461 | 25549 150666 510769 | 2147483647 53864 9 | 2.672 % |
7.42/7.52 c | 65717 | 25549 150666 510769 | 2147483647 54120 9 | 2.672 % |
7.42/7.53 c | 65999 | 25549 150666 510769 | 2147483647 54402 9 | 2.672 % |
7.42/7.55 c | 66308 | 25549 150666 510769 | 2147483647 54711 9 | 2.672 % |
7.42/7.57 c | 66648 | 25549 150666 510769 | 2147483647 55051 9 | 2.672 % |
7.52/7.62 c | 67021 | 25549 150666 510769 | 2147483647 55424 9 | 2.672 % |
7.52/7.64 c | 67430 | 25549 150666 510769 | 2147483647 55833 9 | 2.672 % |
7.52/7.68 c | 67880 | 25541 150666 510769 | 2147483647 56279 9 | 2.703 % |
7.52/7.70 c | 68374 | 25541 150666 510769 | 2147483647 56773 9 | 2.703 % |
7.62/7.75 c | 68916 | 25541 150666 510769 | 2147483647 57315 9 | 2.703 % |
7.72/7.84 c | 69513 | 25536 150666 510769 | 2147483647 57908 9 | 2.726 % |
7.72/7.87 c | 70168 | 25531 150666 510769 | 2147483647 58562 9 | 2.997 % |
8.02/8.11 c | 70890 | 25514 150666 510769 | 2147483647 59284 9 | 2.997 % |
8.02/8.21 c | 71683 | 25366 148399 503397 | 2147483647 50349 9 | 3.062 % |
8.12/8.27 c | 72554 | 25366 148399 503397 | 2147483647 51220 9 | 3.062 % |
8.12/8.30 c | 72654 | 25364 148399 503397 | 2147483647 51319 9 | 3.070 % |
8.12/8.31 c | 72764 | 25364 148399 503397 | 2147483647 51429 9 | 3.070 % |
8.22/8.32 c | 72885 | 25364 148399 503397 | 2147483647 51550 9 | 3.070 % |
8.22/8.33 c | 73018 | 25361 148399 503397 | 2147483647 51682 9 | 3.116 % |
8.22/8.35 c | 73166 | 25354 148399 503397 | 2147483647 51828 9 | 3.131 % |
8.22/8.36 c | 73326 | 25354 148399 503397 | 2147483647 51988 9 | 3.131 % |
8.22/8.38 c | 73502 | 25354 148399 503397 | 2147483647 52164 9 | 3.131 % |
8.22/8.41 c | 73695 | 25350 148399 503397 | 2147483647 52355 9 | 3.146 % |
8.32/8.42 c | 73907 | 25350 148399 503397 | 2147483647 52567 9 | 3.146 % |
8.32/8.44 c | 74142 | 25350 148399 503397 | 2147483647 52802 9 | 3.146 % |
8.32/8.47 c | 74400 | 25329 148399 503397 | 2147483647 53059 9 | 3.330 % |
8.32/8.49 c | 74681 | 25329 148399 503397 | 2147483647 53340 9 | 3.330 % |
8.32/8.51 c | 74991 | 25326 148399 503397 | 2147483647 53649 9 | 3.345 % |
8.40/8.57 c | 75331 | 25289 148399 503397 | 2147483647 53988 9 | 3.510 % |
8.60/8.75 c | 75703 | 25216 148399 503397 | 2147483647 54355 9 | 3.892 % |
8.70/8.83 c | 76112 | 25212 148399 503397 | 2147483647 54761 9 | 3.942 % |
8.80/8.93 c | 76561 | 25201 148399 503397 | 2147483647 55207 9 | 4.018 % |
8.80/9.01 c | 77054 | 25187 148399 503397 | 2147483647 55699 9 | 4.186 % |
8.90/9.04 c | 77598 | 25183 148399 503397 | 2147483647 56240 9 | 4.282 % |
9.00/9.15 c | 78194 | 25168 148399 503397 | 2147483647 56833 9 | 4.343 % |
9.20/9.34 c | 78849 | 25012 145826 494965 | 2147483647 48419 8 | 4.377 % |
9.40/9.56 c | 79572 | 25005 145826 494965 | 2147483647 49137 8 | 4.404 % |
9.60/9.77 c | 80364 | 24964 145826 494965 | 2147483647 49923 8 | 4.848 % |
9.90/10.02 c | 81235 | 24901 145826 494965 | 2147483647 50790 8 | 4.936 % |
10.20/10.32 c | 82195 | 24895 145826 494965 | 2147483647 51750 8 | 4.936 % |
10.20/10.34 c | 82297 | 24895 145826 494965 | 2147483647 51850 8 | 4.985 % |
10.20/10.39 c | 82407 | 24852 144812 491686 | 2147483647 48727 8 | 4.997 % |
10.30/10.45 c | 82529 | 24843 144812 491686 | 2147483647 48845 8 | 5.062 % |
10.30/10.49 c | 82662 | 24842 144812 491686 | 2147483647 48977 8 | 5.066 % |
10.38/10.56 c | 82808 | 24840 144812 491686 | 2147483647 49122 8 | 5.073 % |
10.48/10.65 c | 82968 | 24833 144812 491686 | 2147483647 49280 8 | 5.123 % |
10.48/10.69 c | 83144 | 24831 144812 491686 | 2147483647 49454 8 | 5.131 % |
10.48/10.70 c | 83337 | 24831 144812 491686 | 2147483647 49647 8 | 5.131 % |
10.58/10.75 c | 83549 | 24809 144812 491686 | 2147483647 49858 8 | 5.471 % |
10.68/10.84 c | 83782 | 24739 144812 491686 | 2147483647 50091 8 | 5.471 % |
10.78/10.93 c | 84039 | 24739 144812 491686 | 2147483647 50348 8 | 5.471 % |
10.78/10.97 c | 84321 | 24739 144812 491686 | 2147483647 50630 8 | 5.471 % |
10.88/11.05 c | 84630 | 24733 144812 491686 | 2147483647 50937 8 | 5.597 % |
10.88/11.07 c | 84969 | 24733 144812 491686 | 2147483647 51276 8 | 5.597 % |
10.98/11.13 c | 85344 | 24733 144812 491686 | 2147483647 51651 8 | 5.597 % |
10.98/11.17 c | 85755 | 24728 144812 491686 | 2147483647 52060 8 | 5.620 % |
11.08/11.26 c | 86204 | 24728 144812 491686 | 2147483647 52509 8 | 5.620 % |
11.18/11.38 c | 86697 | 24702 144812 491686 | 2147483647 53002 8 | 5.620 % |
11.38/11.52 c | 87240 | 24702 144812 491686 | 2147483647 53545 8 | 5.620 % |
11.48/11.69 c | 87836 | 24687 143882 488682 | 2147483647 51313 8 | 5.620 % |
11.78/11.93 c | 88491 | 24684 143882 488682 | 2147483647 51967 8 | 5.631 % |
11.88/12.07 c | 89212 | 24682 143882 488682 | 2147483647 52687 8 | 5.647 % |
11.98/12.12 c | 90005 | 24682 143882 488682 | 2147483647 53480 8 | 5.647 % |
12.18/12.39 c | 90876 | 24676 143882 488682 | 2147483647 54350 8 | 5.673 % |
12.28/12.45 c | 91834 | 24676 143882 488682 | 2147483647 55308 8 | 5.673 % |
12.56/12.75 c | 92888 | 24668 143771 488304 | 2147483647 55762 8 | 5.693 % |
12.56/12.78 c | 92988 | 24668 143771 488304 | 2147483647 55862 8 | 5.693 % |
12.56/12.81 c | 93098 | 24666 143771 488304 | 2147483647 55971 8 | 5.700 % |
12.66/12.87 c | 93219 | 24666 143771 488304 | 2147483647 56092 8 | 5.700 % |
12.76/12.95 c | 93352 | 24666 143771 488304 | 2147483647 56225 8 | 5.700 % |
12.76/12.98 c | 93500 | 24666 143771 488304 | 2147483647 56373 8 | 5.700 % |
12.86/13.02 c | 93660 | 24666 143771 488304 | 2147483647 56533 8 | 5.700 % |
12.86/13.08 c | 93837 | 24666 143771 488304 | 2147483647 56710 8 | 5.700 % |
12.96/13.16 c | 94031 | 24666 143771 488304 | 2147483647 56904 8 | 5.700 % |
12.96/13.21 c | 94243 | 24662 143771 488304 | 2147483647 57114 8 | 5.723 % |
13.06/13.29 c | 94476 | 24662 143771 488304 | 2147483647 57347 8 | 5.723 % |
13.16/13.38 c | 94732 | 24660 143771 488304 | 2147483647 57603 8 | 5.723 % |
13.16/13.41 c | 95013 | 24660 143771 488304 | 2147483647 57884 8 | 5.723 % |
13.36/13.52 c | 95323 | 24660 143771 488304 | 2147483647 58194 8 | 5.723 % |
13.36/13.60 c | 95662 | 24660 143771 488304 | 2147483647 58533 8 | 5.723 % |
13.46/13.68 c | 96035 | 24660 143771 488304 | 2147483647 58906 8 | 5.723 % |
13.56/13.76 c | 96444 | 24660 143771 488304 | 2147483647 59315 8 | 5.723 % |
13.76/13.93 c | 96895 | 24660 143693 488068 | 2147483647 59743 8 | 5.723 % |
13.76/14.00 c | 97389 | 24660 143693 488068 | 2147483647 60237 8 | 5.723 % |
13.86/14.05 c | 97932 | 24660 143693 488068 | 2147483647 60780 8 | 5.723 % |
13.96/14.15 c | 98528 | 24660 143693 488068 | 2147483647 61376 8 | 5.723 % |
14.06/14.28 c | 99184 | 24656 143693 488068 | 2147483647 62030 8 | 5.761 % |
14.16/14.33 c | 99904 | 24655 143693 488068 | 2147483647 62749 8 | 5.765 % |
14.36/14.53 c | 100697 | 24648 143693 488068 | 2147483647 63540 8 | 5.815 % |
14.56/14.74 c | 101568 | 24636 143693 488068 | 2147483647 64409 8 | 5.865 % |
14.66/14.87 c | 102527 | 24595 143272 486677 | 2147483647 64143 8 | 5.972 % |
14.96/15.14 c | 103580 | 24576 143272 486677 | 2147483647 65195 8 | 6.090 % |
15.06/15.26 c | 104738 | 24576 143272 486677 | 2147483647 66353 8 | 6.090 % |
15.06/15.26 c | 104838 | 24576 143272 486677 | 2147483647 66453 8 | 6.090 % |
15.16/15.32 c | 104949 | 24576 143272 486677 | 2147483647 66564 8 | 6.090 % |
15.16/15.35 c | 105072 | 24576 143272 486677 | 2147483647 66687 8 | 6.090 % |
15.16/15.37 c | 105208 | 24576 143272 486677 | 2147483647 66823 8 | 6.090 % |
15.26/15.41 c | 105354 | 24554 143272 486677 | 2147483647 66966 8 | 6.186 % |
15.26/15.45 c | 105514 | 24551 143272 486677 | 2147483647 67126 8 | 6.186 % |
15.26/15.48 c | 105692 | 24550 143272 486677 | 2147483647 67303 8 | 6.193 % |
15.36/15.52 c | 105885 | 24550 143272 486677 | 2147483647 67496 8 | 6.193 % |
15.36/15.56 c | 106099 | 24550 143272 486677 | 2147483647 67710 8 | 6.193 % |
15.36/15.58 c | 106332 | 24550 143272 486677 | 2147483647 67943 8 | 6.193 % |
15.36/15.60 c | 106589 | 24550 143272 486677 | 2147483647 68200 8 | 6.193 % |
15.56/15.72 c | 106870 | 24549 143272 486677 | 2147483647 68481 8 | 6.193 % |
15.56/15.73 c | 107180 | 24549 143272 486677 | 2147483647 68791 8 | 6.193 % |
15.66/15.85 c | 107519 | 24547 143272 486677 | 2147483647 69129 8 | 6.201 % |
15.66/15.89 c | 107892 | 24546 143272 486677 | 2147483647 69501 8 | 6.266 % |
15.76/15.98 c | 108301 | 24518 142769 485014 | 2147483647 68274 8 | 6.266 % |
15.86/16.02 c | 108751 | 24517 142769 485014 | 2147483647 68723 8 | 6.270 % |
15.86/16.11 c | 109246 | 24517 142769 485014 | 2147483647 69218 8 | 6.270 % |
15.96/16.20 c | 109788 | 24516 142769 485014 | 2147483647 69759 8 | 6.274 % |
16.16/16.34 c | 110385 | 24515 142769 485014 | 2147483647 70355 8 | 6.277 % |
16.26/16.50 c | 111040 | 24515 142769 485014 | 2147483647 71010 8 | 6.277 % |
16.56/16.74 c | 111760 | 24513 142769 485014 | 2147483647 71729 8 | 6.285 % |
16.86/17.07 c | 112553 | 24513 142769 485014 | 2147483647 72522 8 | 6.285 % |
17.06/17.26 c | 113424 | 24513 142769 485014 | 2147483647 73393 8 | 6.285 % |
17.26/17.50 c | 114382 | 24513 142740 484923 | 2147483647 74314 8 | 6.285 % |
17.66/17.88 c | 115436 | 24509 142740 484923 | 2147483647 75367 8 | 6.300 % |
17.96/18.15 c | 116594 | 24509 142740 484923 | 2147483647 76525 8 | 6.300 % |
18.26/18.51 c | 117867 | 24504 142740 484923 | 2147483647 77796 8 | 6.339 % |
18.36/18.52 c | 117968 | 24504 142740 484923 | 2147483647 77897 8 | 6.339 % |
18.36/18.55 c | 118078 | 24504 142740 484923 | 2147483647 78007 8 | 6.339 % |
18.46/18.63 c | 118200 | 24499 142632 484558 | 2147483647 77636 8 | 6.339 % |
18.46/18.68 c | 118333 | 24499 142632 484558 | 2147483647 77769 8 | 6.339 % |
18.46/18.70 c | 118481 | 24499 142632 484558 | 2147483647 77917 8 | 6.339 % |
18.56/18.75 c | 118641 | 24499 142632 484558 | 2147483647 78077 8 | 6.339 % |
18.56/18.81 c | 118817 | 24499 142632 484558 | 2147483647 78253 8 | 6.339 % |
18.66/18.86 c | 119010 | 24499 142632 484558 | 2147483647 78446 8 | 6.339 % |
18.76/18.94 c | 119224 | 24499 142632 484558 | 2147483647 78660 8 | 6.339 % |
18.86/19.06 c | 119457 | 24499 142632 484558 | 2147483647 78893 8 | 6.339 % |
18.96/19.14 c | 119713 | 24499 142632 484558 | 2147483647 79149 8 | 6.339 % |
19.06/19.23 c | 119994 | 24499 142632 484558 | 2147483647 79430 8 | 6.339 % |
19.16/19.37 c | 120303 | 24475 142632 484558 | 2147483647 79737 9 | 6.430 % |
19.36/19.54 c | 120642 | 24470 142632 484558 | 2147483647 80075 9 | 6.457 % |
19.46/19.68 c | 121016 | 24470 142632 484558 | 2147483647 80449 9 | 6.457 % |
19.56/19.77 c | 121425 | 24470 142632 484558 | 2147483647 80858 9 | 6.457 % |
19.76/19.92 c | 121874 | 24470 142632 484558 | 2147483647 81307 9 | 6.457 % |
19.86/20.09 c | 122367 | 24457 142340 483615 | 2147483647 79250 8 | 6.499 % |
19.96/20.21 c | 122909 | 24456 142340 483615 | 2147483647 79791 8 | 6.503 % |
20.16/20.39 c | 123505 | 24448 142340 483615 | 2147483647 80386 9 | 6.534 % |
20.36/20.59 c | 124160 | 24448 142340 483615 | 2147483647 81041 9 | 6.534 % |
20.46/20.65 c | 124880 | 24448 142340 483615 | 2147483647 81761 9 | 6.534 % |
20.66/20.85 c | 125672 | 24442 142340 483615 | 2147483647 82552 9 | 6.557 % |
20.86/21.07 c | 126544 | 24442 142340 483615 | 2147483647 83424 9 | 6.557 % |
21.16/21.41 c | 127502 | 24442 142340 483615 | 2147483647 84382 9 | 6.557 % |
21.56/21.76 c | 128556 | 24442 142266 483364 | 2147483647 84963 9 | 6.557 % |
22.06/22.28 c | 129714 | 24442 142266 483364 | 2147483647 86121 9 | 6.557 % |
22.46/22.69 c | 130987 | 24432 142266 483364 | 2147483647 87391 9 | 6.606 % |
23.06/23.25 c | 132387 | 24424 142192 483115 | 2147483647 88617 9 | 6.625 % |
23.06/23.31 c | 132487 | 24424 142192 483115 | 2147483647 88717 9 | 6.625 % |
23.16/23.37 c | 132597 | 24421 142192 483115 | 2147483647 88826 9 | 6.644 % |
23.26/23.42 c | 132719 | 24421 142192 483115 | 2147483647 88948 9 | 6.644 % |
23.26/23.44 c | 132852 | 24421 142192 483115 | 2147483647 89081 9 | 6.644 % |
23.36/23.52 c | 132999 | 24421 142192 483115 | 2147483647 89228 9 | 6.644 % |
23.36/23.60 c | 133160 | 24421 142192 483115 | 2147483647 89389 9 | 6.644 % |
23.46/23.67 c | 133336 | 24421 142192 483115 | 2147483647 89565 9 | 6.644 % |
23.46/23.70 c | 133531 | 24421 142192 483115 | 2147483647 89760 9 | 6.644 % |
23.56/23.80 c | 133743 | 24421 142192 483115 | 2147483647 89972 9 | 6.644 % |
23.76/23.93 c | 133977 | 24421 142192 483115 | 2147483647 90206 9 | 6.644 % |
23.86/24.05 c | 134233 | 24421 142192 483115 | 2147483647 90462 9 | 6.644 % |
23.96/24.21 c | 134514 | 24421 142192 483115 | 2147483647 90743 9 | 6.644 % |
24.16/24.33 c | 134823 | 24421 142192 483115 | 2147483647 91052 9 | 6.644 % |
24.26/24.43 c | 135162 | 24419 142192 483115 | 2147483647 91390 9 | 6.664 % |
24.26/24.47 c | 135534 | 24417 142192 483115 | 2147483647 91761 9 | 6.671 % |
24.46/24.64 c | 135943 | 24410 142192 483115 | 2147483647 92169 9 | 6.683 % |
24.56/24.77 c | 136392 | 24408 142065 482689 | 2147483647 92336 9 | 6.702 % |
24.76/24.92 c | 136887 | 24407 142065 482689 | 2147483647 92830 9 | 6.713 % |
24.86/25.08 c | 137429 | 24407 142065 482689 | 2147483647 93372 9 | 6.713 % |
25.06/25.24 c | 138025 | 24407 142065 482689 | 2147483647 93968 9 | 6.713 % |
25.26/25.50 c | 138680 | 24407 142065 482689 | 2147483647 94623 9 | 6.713 % |
25.56/25.75 c | 139400 | 24407 142065 482689 | 2147483647 95343 9 | 6.713 % |
25.76/26.00 c | 140193 | 24407 142065 482689 | 2147483647 96136 9 | 6.713 % |
25.96/26.16 c | 141064 | 24407 142065 482689 | 2147483647 97007 9 | 6.713 % |
26.36/26.52 c | 142022 | 24405 142065 482689 | 2147483647 97965 9 | 6.713 % |
26.66/26.87 c | 143075 | 24401 141993 482429 | 2147483647 99008 9 | 6.713 % |
27.06/27.27 c | 144236 | 24391 141993 482429 | 2147483647 100165 9 | 6.752 % |
27.56/27.79 c | 145509 | 24387 141993 482429 | 2147483647 101437 9 | 6.767 % |
27.96/28.17 c | 146910 | 24387 141993 482429 | 2147483647 102838 9 | 6.767 % |
28.46/28.69 c | 148453 | 24383 141864 481981 | 2147483647 103909 10 | 6.790 % |
28.46/28.70 c | 148553 | 24383 141864 481981 | 2147483647 104009 10 | 6.790 % |
28.56/28.75 c | 148663 | 24383 141864 481981 | 2147483647 104119 10 | 6.790 % |
28.56/28.78 c | 148784 | 24383 141864 481981 | 2147483647 104240 10 | 6.790 % |
28.66/28.86 c | 148917 | 24383 141864 481981 | 2147483647 104373 10 | 6.790 % |
28.66/28.91 c | 149063 | 24383 141864 481981 | 2147483647 104519 10 | 6.790 % |
28.76/28.94 c | 149224 | 24383 141864 481981 | 2147483647 104680 10 | 6.790 % |
28.76/28.99 c | 149400 | 24382 141864 481981 | 2147483647 104855 10 | 6.794 % |
28.86/29.06 c | 149593 | 24381 141864 481981 | 2147483647 105047 10 | 6.797 % |
28.96/29.16 c | 149808 | 24381 141864 481981 | 2147483647 105262 10 | 6.797 % |
29.06/29.25 c | 150041 | 24380 141864 481981 | 2147483647 105495 10 | 6.797 % |
29.06/29.31 c | 150297 | 24380 141864 481981 | 2147483647 105751 10 | 6.797 % |
29.16/29.32 c | 150580 | 24380 141864 481981 | 2147483647 106034 10 | 6.797 % |
29.16/29.33 c | 150890 | 24380 141864 481981 | 2147483647 106344 10 | 6.797 % |
29.16/29.34 c | 151229 | 24380 141864 481981 | 2147483647 106683 10 | 6.797 % |
29.16/29.39 c | 151601 | 24380 141864 481981 | 2147483647 107055 10 | 6.797 % |
29.26/29.45 c | 152012 | 24375 141864 481981 | 2147483647 107465 10 | 6.820 % |
29.46/29.63 c | 152461 | 24374 141864 481981 | 2147483647 107913 10 | 6.828 % |
29.56/29.79 c | 152954 | 24374 141864 481981 | 2147483647 108406 10 | 6.828 % |
29.76/30.01 c | 153497 | 24374 141864 481981 | 2147483647 108949 10 | 6.828 % |
30.06/30.25 c | 154095 | 24371 141714 481494 | 2147483647 108791 10 | 6.828 % |
30.26/30.49 c | 154750 | 24371 141714 481494 | 2147483647 109446 10 | 6.828 % |
30.56/30.72 c | 155471 | 24371 141714 481494 | 2147483647 110167 10 | 6.828 % |
30.76/30.95 c | 156264 | 24371 141714 481494 | 2147483647 110960 10 | 6.828 % |
30.96/31.18 c | 157135 | 24371 141714 481494 | 2147483647 111831 10 | 6.828 % |
31.26/31.44 c | 158093 | 24370 141714 481494 | 2147483647 112788 10 | 6.836 % |
31.36/31.60 c | 159146 | 24369 141714 481494 | 2147483647 113841 10 | 6.836 % |
31.46/31.71 c | 160304 | 24369 141714 481494 | 2147483647 114999 10 | 6.836 % |
31.56/31.75 c | 161577 | 24369 141714 481494 | 2147483647 116272 10 | 6.836 % |
32.06/32.24 c | 162977 | 24369 141714 481494 | 2147483647 117672 10 | 6.836 % |
32.26/32.51 c | 164518 | 24357 141702 481457 | 2147483647 119184 10 | 6.882 % |
32.36/32.60 c | 166212 | 24351 141702 481457 | 2147483647 120875 10 | 6.912 % |
32.46/32.62 c | 166313 | 24351 141702 481457 | 2147483647 120976 10 | 6.912 % |
32.46/32.64 c | 166425 | 24351 141702 481457 | 2147483647 121088 10 | 6.912 % |
32.46/32.65 c | 166546 | 24351 141702 481457 | 2147483647 121209 10 | 6.912 % |
32.46/32.66 c | 166680 | 24351 141702 481457 | 2147483647 121343 10 | 6.912 % |
32.46/32.68 c | 166826 | 24351 141702 481457 | 2147483647 121489 10 | 6.912 % |
32.46/32.68 c | 166988 | 24351 141702 481457 | 2147483647 121651 10 | 6.912 % |
32.46/32.69 c | 167164 | 24351 141702 481457 | 2147483647 121827 10 | 6.912 % |
32.46/32.71 c | 167362 | 24351 141702 481457 | 2147483647 122025 10 | 6.912 % |
32.56/32.72 c | 167575 | 24351 141702 481457 | 2147483647 122238 10 | 6.912 % |
32.56/32.73 c | 167808 | 24351 141702 481457 | 2147483647 122471 10 | 6.912 % |
32.56/32.74 c | 168064 | 24351 141702 481457 | 2147483647 122727 10 | 6.912 % |
32.56/32.80 c | 168345 | 24350 141702 481457 | 2147483647 123008 10 | 6.912 % |
32.66/32.83 c | 168655 | 24350 141702 481457 | 2147483647 123318 10 | 6.912 % |
32.66/32.88 c | 168995 | 24350 141702 481457 | 2147483647 123658 10 | 6.912 % |
32.76/32.92 c | 169368 | 24350 141702 481457 | 2147483647 124031 10 | 6.912 % |
32.76/32.95 c | 169779 | 24350 141702 481457 | 2147483647 124442 10 | 6.912 % |
32.86/33.02 c | 170229 | 24350 141702 481457 | 2147483647 124892 10 | 6.912 % |
32.86/33.08 c | 170722 | 24350 141702 481457 | 2147483647 125385 10 | 6.912 % |
32.96/33.13 c | 171265 | 24350 141702 481457 | 2147483647 125928 10 | 6.912 % |
32.96/33.18 c | 171861 | 24345 141702 481457 | 2147483647 126523 10 | 6.935 % |
33.06/33.29 c | 172517 | 24345 141702 481457 | 2147483647 127179 10 | 6.935 % |
33.36/33.52 c | 173237 | 24344 141702 481457 | 2147483647 127899 10 | 6.935 % |
33.46/33.62 c | 174029 | 24344 141702 481457 | 2147483647 128691 10 | 6.935 % |
33.46/33.69 c | 174902 | 24342 141702 481457 | 2147483647 129562 10 | 6.950 % |
33.56/33.73 c | 175861 | 24342 141702 481457 | 2147483647 130521 10 | 6.950 % |
33.56/33.77 c | 176914 | 24342 141702 481457 | 2147483647 131574 10 | 6.950 % |
33.56/33.81 c | 178072 | 24342 141702 481457 | 2147483647 132732 10 | 6.950 % |
33.66/33.87 c | 179345 | 24342 141702 481457 | 2147483647 134005 10 | 6.950 % |
33.96/34.20 c | 180747 | 24339 141480 480727 | 2147483647 133923 10 | 6.950 % |
34.26/34.49 c | 182287 | 24336 141480 480727 | 2147483647 135462 10 | 6.966 % |
34.46/34.64 c | 183982 | 24336 141480 480727 | 2147483647 137157 10 | 6.966 % |
34.76/35.01 c | 185845 | 24333 141480 480727 | 2147483647 139019 10 | 7.000 % |
34.86/35.02 c | 185945 | 24333 141480 480727 | 2147483647 139119 10 | 7.000 % |
34.86/35.04 c | 186056 | 24333 141480 480727 | 2147483647 139230 10 | 7.000 % |
34.86/35.06 c | 186177 | 24333 141480 480727 | 2147483647 139351 10 | 7.000 % |
34.86/35.08 c | 186310 | 24333 141480 480727 | 2147483647 139484 10 | 7.000 % |
34.96/35.12 c | 186456 | 24333 141480 480727 | 2147483647 139630 10 | 7.000 % |
34.96/35.13 c | 186616 | 24333 141480 480727 | 2147483647 139790 10 | 7.000 % |
34.96/35.15 c | 186794 | 24333 141480 480727 | 2147483647 139968 10 | 7.000 % |
34.96/35.16 c | 186987 | 24333 141480 480727 | 2147483647 140161 10 | 7.000 % |
34.96/35.21 c | 187199 | 24332 141480 480727 | 2147483647 140372 10 | 7.019 % |
35.06/35.28 c | 187432 | 24331 141480 480727 | 2147483647 140605 10 | 7.019 % |
35.16/35.37 c | 187689 | 24331 141480 480727 | 2147483647 140862 10 | 7.019 % |
35.26/35.46 c | 187971 | 24329 141480 480727 | 2147483647 141144 10 | 7.019 % |
35.26/35.48 c | 188280 | 24329 141480 480727 | 2147483647 141453 10 | 7.019 % |
35.26/35.51 c | 188620 | 24329 141480 480727 | 2147483647 141793 10 | 7.019 % |
35.36/35.57 c | 188992 | 24328 141480 480727 | 2147483647 142164 10 | 7.023 % |
35.36/35.60 c | 189402 | 24328 141480 480727 | 2147483647 142574 10 | 7.023 % |
35.46/35.64 c | 189851 | 24328 141480 480727 | 2147483647 143023 10 | 7.023 % |
35.46/35.71 c | 190344 | 24328 141480 480727 | 2147483647 143516 10 | 7.023 % |
35.66/35.89 c | 190886 | 24316 141232 479907 | 2147483647 141918 10 | 7.038 % |
35.76/35.96 c | 191484 | 24314 141232 479907 | 2147483647 142515 10 | 7.046 % |
35.96/36.14 c | 192139 | 24314 141232 479907 | 2147483647 143170 10 | 7.046 % |
36.16/36.32 c | 192862 | 24314 141232 479907 | 2147483647 143893 10 | 7.046 % |
36.46/36.62 c | 193654 | 24308 141232 479907 | 2147483647 144684 10 | 7.096 % |
36.76/36.95 c | 194525 | 24308 141232 479907 | 2147483647 145555 10 | 7.096 % |
36.86/37.11 c | 195485 | 24306 141232 479907 | 2147483647 146514 10 | 7.103 % |
37.36/37.60 c | 196538 | 24304 141232 479907 | 2147483647 147566 10 | 7.122 % |
37.76/37.99 c | 197696 | 24304 141232 479907 | 2147483647 148724 10 | 7.122 % |
38.26/38.44 c | 198969 | 24304 141232 479907 | 2147483647 149997 10 | 7.122 % |
38.76/38.93 c | 200369 | 24294 141026 479226 | 2147483647 148607 10 | 7.122 % |
39.16/39.35 c | 201910 | 24288 141026 479226 | 2147483647 150147 10 | 7.161 % |
41.06/41.24 c | 203604 | 24287 141026 479226 | 2147483647 151841 12 | 7.161 % |
41.86/42.07 c | 205467 | 24284 140979 479074 | 2147483647 153699 12 | 7.161 % |
42.16/42.36 c | 207516 | 24284 140979 479074 | 2147483647 155748 12 | 7.161 % |
42.16/42.37 c | 207616 | 24284 140979 479074 | 2147483647 155848 12 | 7.161 % |
42.16/42.37 c | 207726 | 24284 140979 479074 | 2147483647 155958 12 | 7.161 % |
42.26/42.42 c | 207847 | 24284 140979 479074 | 2147483647 156079 12 | 7.161 % |
42.26/42.45 c | 207980 | 24284 140979 479074 | 2147483647 156212 12 | 7.161 % |
42.26/42.47 c | 208127 | 24284 140979 479074 | 2147483647 156359 12 | 7.161 % |
42.26/42.49 c | 208290 | 24284 140979 479074 | 2147483647 156522 12 | 7.161 % |
42.36/42.52 c | 208466 | 24284 140979 479074 | 2147483647 156698 12 | 7.161 % |
42.36/42.56 c | 208659 | 24284 140979 479074 | 2147483647 156891 12 | 7.161 % |
42.46/42.63 c | 208871 | 24283 140979 479074 | 2147483647 157102 12 | 7.164 % |
42.56/42.74 c | 209104 | 24283 140979 479074 | 2147483647 157335 12 | 7.164 % |
42.66/42.82 c | 209360 | 24283 140979 479074 | 2147483647 157591 12 | 7.164 % |
42.66/42.86 c | 209641 | 24283 140979 479074 | 2147483647 157872 12 | 7.164 % |
42.77/42.99 c | 209952 | 24283 140979 479074 | 2147483647 158183 12 | 7.164 % |
42.96/43.15 c | 210291 | 24283 140979 479074 | 2147483647 158522 12 | 7.164 % |
43.06/43.23 c | 210663 | 24283 140979 479074 | 2147483647 158894 12 | 7.164 % |
43.16/43.36 c | 211072 | 24283 140979 479074 | 2147483647 159303 12 | 7.164 % |
43.36/43.56 c | 211521 | 24283 140979 479074 | 2147483647 159752 12 | 7.164 % |
43.56/43.80 c | 212014 | 24283 140971 479044 | 2147483647 160243 12 | 7.164 % |
43.76/43.96 c | 212556 | 24281 140971 479044 | 2147483647 160784 12 | 7.172 % |
43.87/44.09 c | 213152 | 24281 140971 479044 | 2147483647 161380 12 | 7.172 % |
44.06/44.27 c | 213808 | 24277 140971 479044 | 2147483647 162034 12 | 7.187 % |
44.36/44.53 c | 214529 | 24277 140971 479044 | 2147483647 162755 12 | 7.187 % |
44.56/44.75 c | 215322 | 24277 140971 479044 | 2147483647 163548 12 | 7.187 % |
44.76/44.96 c | 216193 | 24276 140971 479044 | 2147483647 164418 12 | 7.195 % |
44.76/45.01 c | 217151 | 24276 140971 479044 | 2147483647 165376 12 | 7.195 % |
44.97/45.21 c | 218205 | 24276 140971 479044 | 2147483647 166430 12 | 7.195 % |
45.36/45.61 c | 219364 | 24276 140971 479044 | 2147483647 167589 12 | 7.195 % |
45.86/46.02 c | 220638 | 24275 140971 479044 | 2147483647 168863 12 | 7.195 % |
46.16/46.40 c | 222039 | 24273 140921 478872 | 2147483647 170231 12 | 7.206 % |
46.56/46.76 c | 223580 | 24272 140921 478872 | 2147483647 171771 12 | 7.210 % |
46.96/47.15 c | 225274 | 24272 140921 478872 | 2147483647 173465 12 | 7.210 % |
47.06/47.27 c | 227137 | 24272 140921 478872 | 2147483647 175328 12 | 7.210 % |
47.76/47.96 c | 229186 | 24272 140921 478872 | 2147483647 177377 12 | 7.210 % |
48.27/48.44 c | 231439 | 24272 140921 478872 | 2147483647 179630 12 | 7.210 % |
48.27/48.45 c | 231539 | 24272 140921 478872 | 2147483647 179730 12 | 7.210 % |
48.27/48.49 c | 231649 | 24272 140921 478872 | 2147483647 179840 12 | 7.210 % |
48.46/48.67 c | 231770 | 24272 140921 478872 | 2147483647 179961 12 | 7.210 % |
48.46/48.71 c | 231904 | 24272 140921 478872 | 2147483647 180095 12 | 7.210 % |
48.56/48.77 c | 232051 | 24272 140921 478872 | 2147483647 180242 12 | 7.210 % |
48.66/48.87 c | 232211 | 24272 140921 478872 | 2147483647 180402 12 | 7.210 % |
48.76/48.95 c | 232387 | 24272 140921 478872 | 2147483647 180578 12 | 7.210 % |
48.86/49.03 c | 232581 | 24272 140921 478872 | 2147483647 180772 12 | 7.210 % |
48.86/49.10 c | 232793 | 24271 140874 478716 | 2147483647 180849 12 | 7.210 % |
48.96/49.14 c | 233026 | 24271 140874 478716 | 2147483647 181082 12 | 7.210 % |
49.06/49.25 c | 233282 | 24271 140874 478716 | 2147483647 181338 12 | 7.210 % |
49.06/49.31 c | 233563 | 24271 140874 478716 | 2147483647 181619 12 | 7.210 % |
49.16/49.32 c | 233872 | 24271 140874 478716 | 2147483647 181928 12 | 7.210 % |
49.16/49.34 c | 234212 | 24271 140874 478716 | 2147483647 182268 12 | 7.210 % |
49.16/49.35 c | 234584 | 24271 140874 478716 | 2147483647 182640 12 | 7.210 % |
49.37/49.54 c | 234993 | 24271 140874 478716 | 2147483647 183049 12 | 7.210 % |
49.56/49.73 c | 235443 | 24271 140874 478716 | 2147483647 183499 12 | 7.210 % |
49.76/49.96 c | 235938 | 24271 140874 478716 | 2147483647 183994 12 | 7.210 % |
49.86/50.03 c | 236480 | 24271 140874 478716 | 2147483647 184536 12 | 7.210 % |
50.06/50.28 c | 237076 | 24271 140874 478716 | 2147483647 185132 12 | 7.210 % |
50.36/50.52 c | 237731 | 24271 140874 478716 | 2147483647 185787 12 | 7.210 % |
50.66/50.82 c | 238456 | 24271 140874 478716 | 2147483647 186512 12 | 7.210 % |
50.86/51.08 c | 239248 | 24266 140874 478716 | 2147483647 187303 12 | 7.229 % |
51.57/51.79 c | 240119 | 24266 140874 478716 | 2147483647 188174 13 | 7.229 % |
51.96/52.20 c | 241078 | 24266 140874 478716 | 2147483647 189133 13 | 7.229 % |
52.36/52.55 c | 242131 | 24266 140874 478716 | 2147483647 190186 13 | 7.229 % |
53.77/54.01 c | 243289 | 24266 140874 478716 | 2147483647 191344 13 | 7.229 % |
54.36/54.58 c | 244562 | 24266 140845 478614 | 2147483647 192587 13 | 7.229 % |
56.76/56.93 c | 245962 | 24266 140845 478614 | 2147483647 193987 15 | 7.229 % |
57.26/57.48 c | 247503 | 24264 140845 478614 | 2147483647 195526 15 | 7.245 % |
57.86/58.10 c | 249197 | 24264 140845 478614 | 2147483647 197220 15 | 7.245 % |
60.96/61.19 c | 251060 | 24264 140845 478614 | 2147483647 199083 16 | 7.245 % |
61.56/61.76 c | 253110 | 24262 140795 478444 | 2147483647 201070 16 | 7.245 % |
62.36/62.58 c | 255363 | 24257 140795 478444 | 2147483647 203322 16 | 7.271 % |
63.76/63.94 c | 257841 | 24257 140795 478444 | 2147483647 205800 17 | 7.271 % |
63.76/63.98 c | 257943 | 24257 140795 478444 | 2147483647 205902 16 | 7.271 % |
63.86/64.01 c | 258054 | 24257 140795 478444 | 2147483647 206013 16 | 7.271 % |
63.86/64.03 c | 258175 | 24257 140795 478444 | 2147483647 206134 16 | 7.271 % |
63.86/64.08 c | 258308 | 24257 140795 478444 | 2147483647 206267 16 | 7.271 % |
63.96/64.14 c | 258455 | 24257 140795 478444 | 2147483647 206414 16 | 7.271 % |
63.96/64.16 c | 258617 | 24257 140795 478444 | 2147483647 206576 16 | 7.271 % |
63.96/64.17 c | 258795 | 24257 140795 478444 | 2147483647 206754 16 | 7.271 % |
64.06/64.25 c | 258989 | 24257 140795 478444 | 2147483647 206948 16 | 7.271 % |
64.16/64.36 c | 259202 | 24257 140795 478444 | 2147483647 207161 16 | 7.271 % |
64.56/64.77 c | 259435 | 24257 140795 478444 | 2147483647 207394 17 | 7.271 % |
64.66/64.84 c | 259692 | 24257 140795 478444 | 2147483647 207651 17 | 7.271 % |
64.77/64.93 c | 259973 | 24257 140795 478444 | 2147483647 207932 17 | 7.271 % |
64.77/65.00 c | 260283 | 24257 140795 478444 | 2147483647 208242 17 | 7.271 % |
64.96/65.18 c | 260622 | 24257 140795 478444 | 2147483647 208581 17 | 7.271 % |
65.16/65.32 c | 260994 | 24257 140795 478444 | 2147483647 208953 17 | 7.271 % |
65.36/65.52 c | 261404 | 24257 140795 478444 | 2147483647 209363 17 | 7.271 % |
65.46/65.70 c | 261853 | 24249 140795 478444 | 2147483647 209811 17 | 7.306 % |
65.56/65.73 c | 262347 | 24249 140795 478444 | 2147483647 210305 17 | 7.306 % |
65.76/65.94 c | 262891 | 24246 140795 478444 | 2147483647 210848 17 | 7.317 % |
65.96/66.18 c | 263491 | 24246 140795 478444 | 2147483647 211448 17 | 7.317 % |
66.36/66.59 c | 264146 | 24243 140658 477976 | 2147483647 210508 17 | 7.317 % |
66.76/66.97 c | 264867 | 24243 140658 477976 | 2147483647 211229 17 | 7.317 % |
67.86/68.04 c | 265659 | 24243 140658 477976 | 2147483647 212021 17 | 7.317 % |
68.96/69.19 c | 266533 | 24243 140658 477976 | 2147483647 212895 17 | 7.317 % |
69.46/69.71 c | 267492 | 24243 140658 477976 | 2147483647 213854 17 | 7.317 % |
71.06/71.30 c | 268545 | 24243 140658 477976 | 2147483647 214907 18 | 7.317 % |
71.56/71.80 c | 269703 | 24243 140658 477976 | 2147483647 216065 18 | 7.317 % |
72.36/72.57 c | 270976 | 24243 140658 477976 | 2147483647 217338 18 | 7.317 % |
73.86/74.10 c | 272376 | 24243 140658 477976 | 2147483647 218738 19 | 7.317 % |
74.36/74.55 c | 273917 | 24243 140658 477976 | 2147483647 220279 19 | 7.317 % |
75.96/76.18 c | 275611 | 24243 140658 477976 | 2147483647 221973 20 | 7.317 % |
76.96/77.12 c | 277474 | 24242 140650 477946 | 2147483647 223831 20 | 7.321 % |
77.97/78.12 c | 279523 | 24241 140650 477946 | 2147483647 225879 20 | 7.325 % |
79.46/79.63 c | 281776 | 24241 140650 477946 | 2147483647 228132 20 | 7.325 % |
83.47/83.70 c | 284254 | 24240 140650 477946 | 2147483647 230609 22 | 7.329 % |
86.07/86.30 c | 286981 | 24239 140650 477946 | 2147483647 233335 22 | 7.333 % |
86.16/86.42 c | 287081 | 24239 140608 477804 | 2147483647 233424 22 | 7.333 % |
86.27/86.48 c | 287193 | 24239 140608 477804 | 2147483647 233536 22 | 7.333 % |
86.27/86.52 c | 287316 | 24239 140608 477804 | 2147483647 233659 22 | 7.333 % |
86.37/86.60 c | 287450 | 24239 140608 477804 | 2147483647 233793 22 | 7.333 % |
86.47/86.66 c | 287596 | 24239 140608 477804 | 2147483647 233939 22 | 7.333 % |
86.57/86.75 c | 287756 | 24239 140608 477804 | 2147483647 234099 22 | 7.333 % |
86.77/86.94 c | 287932 | 24239 140608 477804 | 2147483647 234275 22 | 7.333 % |
86.87/87.06 c | 288125 | 24239 140608 477804 | 2147483647 234468 22 | 7.333 % |
87.07/87.25 c | 288337 | 24239 140608 477804 | 2147483647 234680 22 | 7.333 % |
87.17/87.35 c | 288570 | 24234 140608 477804 | 2147483647 234912 22 | 7.356 % |
87.27/87.50 c | 288828 | 24234 140608 477804 | 2147483647 235170 22 | 7.356 % |
87.37/87.53 c | 289110 | 24234 140608 477804 | 2147483647 235452 22 | 7.356 % |
87.37/87.62 c | 289420 | 24234 140608 477804 | 2147483647 235762 22 | 7.356 % |
87.57/87.76 c | 289760 | 24234 140608 477804 | 2147483647 236102 22 | 7.356 % |
87.77/87.96 c | 290132 | 24234 140608 477804 | 2147483647 236474 22 | 7.356 % |
87.97/88.16 c | 290542 | 24234 140608 477804 | 2147483647 236884 22 | 7.356 % |
88.27/88.51 c | 290992 | 24234 140608 477804 | 2147483647 237334 22 | 7.356 % |
88.47/88.70 c | 291485 | 24234 140608 477804 | 2147483647 237827 22 | 7.356 % |
88.87/89.05 c | 292027 | 24234 140608 477804 | 2147483647 238369 22 | 7.356 % |
89.37/89.62 c | 292624 | 24234 140608 477804 | 2147483647 238966 22 | 7.356 % |
89.87/90.02 c | 293279 | 24234 140608 477804 | 2147483647 239621 22 | 7.356 % |
90.87/91.03 c | 294001 | 24234 140608 477804 | 2147483647 240343 23 | 7.356 % |
90.87/91.10 c | 294794 | 24234 140608 477804 | 2147483647 241136 23 | 7.356 % |
91.37/91.61 c | 295666 | 24234 140608 477804 | 2147483647 242008 23 | 7.356 % |
92.17/92.39 c | 296626 | 24234 140608 477804 | 2147483647 242968 23 | 7.356 % |
92.87/93.04 c | 297681 | 24234 140608 477804 | 2147483647 244023 23 | 7.356 % |
94.77/94.93 c | 298840 | 24234 140608 477804 | 2147483647 245182 24 | 7.356 % |
95.27/95.52 c | 300115 | 24233 140608 477804 | 2147483647 246456 24 | 7.359 % |
96.07/96.26 c | 301515 | 24233 140608 477804 | 2147483647 247856 24 | 7.359 % |
96.97/97.13 c | 303055 | 24231 140529 477524 | 2147483647 247550 24 | 7.363 % |
97.77/97.97 c | 304750 | 24226 140529 477524 | 2147483647 249244 24 | 7.390 % |
98.47/98.67 c | 306614 | 24226 140529 477524 | 2147483647 251108 24 | 7.390 % |
99.47/99.71 c | 308663 | 24226 140529 477524 | 2147483647 253157 23 | 7.390 % |
100.87/101.04 c | 310917 | 24226 140529 477524 | 2147483647 255411 23 | 7.390 % |
107.87/108.06 c | 313395 | 24226 140529 477524 | 2147483647 257889 26 | 7.390 % |
109.57/109.75 c | 316120 | 24224 140402 477061 | 2147483647 260597 26 | 7.390 % |
111.37/111.61 c | 319117 | 24224 140402 477061 | 2147483647 263594 26 | 7.390 % |
111.47/111.68 c | 319219 | 24224 140402 477061 | 2147483647 263696 26 | 7.390 % |
111.57/111.74 c | 319331 | 24224 140402 477061 | 2147483647 263808 26 | 7.390 % |
111.67/111.83 c | 319452 | 24224 140402 477061 | 2147483647 263929 26 | 7.390 % |
111.77/111.92 c | 319585 | 24224 140402 477061 | 2147483647 264062 26 | 7.390 % |
111.77/112.01 c | 319731 | 24224 140402 477061 | 2147483647 264208 26 | 7.390 % |
112.17/112.40 c | 319891 | 24224 140402 477061 | 2147483647 264368 27 | 7.390 % |
112.37/112.57 c | 320067 | 24224 140402 477061 | 2147483647 264544 27 | 7.390 % |
112.47/112.68 c | 320260 | 24224 140402 477061 | 2147483647 264737 27 | 7.390 % |
112.57/112.79 c | 320472 | 24224 140402 477061 | 2147483647 264949 27 | 7.390 % |
112.77/112.95 c | 320705 | 24224 140402 477061 | 2147483647 265182 27 | 7.390 % |
112.87/113.07 c | 320961 | 24224 140402 477061 | 2147483647 265438 27 | 7.390 % |
113.07/113.22 c | 321242 | 24224 140402 477061 | 2147483647 265719 27 | 7.390 % |
113.17/113.41 c | 321551 | 24224 140402 477061 | 2147483647 266028 27 | 7.390 % |
113.47/113.65 c | 321890 | 24224 140402 477061 | 2147483647 266367 26 | 7.390 % |
113.57/113.74 c | 322262 | 24224 140402 477061 | 2147483647 266739 26 | 7.390 % |
113.77/113.95 c | 322673 | 24224 140402 477061 | 2147483647 267150 26 | 7.390 % |
113.97/114.20 c | 323123 | 24224 140402 477061 | 2147483647 267600 26 | 7.390 % |
114.57/114.81 c | 323616 | 24224 140402 477061 | 2147483647 268093 27 | 7.390 % |
114.97/115.15 c | 324159 | 24224 140402 477061 | 2147483647 268636 27 | 7.390 % |
115.57/115.79 c | 324757 | 24224 140402 477061 | 2147483647 269234 27 | 7.390 % |
116.07/116.24 c | 325412 | 24224 140402 477061 | 2147483647 269889 27 | 7.390 % |
117.37/117.53 c | 326132 | 24224 140402 477061 | 2147483647 270609 27 | 7.390 % |
117.87/118.07 c | 326924 | 24224 140402 477061 | 2147483647 271401 27 | 7.390 % |
120.17/120.32 c | 327795 | 24224 140402 477061 | 2147483647 272272 28 | 7.390 % |
121.37/121.59 c | 328754 | 24224 140402 477061 | 2147483647 273231 28 | 7.390 % |
122.07/122.27 c | 329807 | 24224 140402 477061 | 2147483647 274284 28 | 7.390 % |
125.07/125.31 c | 330965 | 24224 140402 477061 | 2147483647 275442 29 | 7.390 % |
125.87/126.02 c | 332240 | 24224 140402 477061 | 2147483647 276717 29 | 7.390 % |
126.87/127.05 c | 333640 | 24224 140402 477061 | 2147483647 278117 29 | 7.390 % |
128.17/128.37 c | 335180 | 24224 140402 477061 | 2147483647 279657 29 | 7.390 % |
132.67/132.89 c | 336874 | 24224 140402 477061 | 2147483647 281351 31 | 7.390 % |
134.97/135.16 c | 338742 | 24224 140402 477061 | 2147483647 283219 31 | 7.390 % |
140.47/140.66 c | 340792 | 24224 140402 477061 | 2147483647 285269 32 | 7.390 % |
141.97/142.14 c | 343045 | 24224 140402 477061 | 2147483647 287522 32 | 7.390 % |
144.37/144.61 c | 345525 | 24222 140394 477036 | 2147483647 289977 33 | 7.398 % |
151.37/151.61 c | 348250 | 24222 140394 477036 | 2147483647 292702 35 | 7.398 % |
156.47/156.69 c | 351247 | 24222 140394 477036 | 2147483647 295699 36 | 7.398 % |
161.07/161.23 c | 354543 | 24222 140394 477036 | 2147483647 298995 37 | 7.398 % |
161.07/161.31 c | 354645 | 24217 140394 477036 | 2147483647 299096 37 | 7.432 % |
161.17/161.42 c | 354755 | 24217 140394 477036 | 2147483647 299206 37 | 7.432 % |
161.27/161.51 c | 354876 | 24217 140394 477036 | 2147483647 299327 37 | 7.432 % |
161.47/161.67 c | 355009 | 24217 140394 477036 | 2147483647 299460 37 | 7.432 % |
161.67/161.85 c | 355155 | 24217 140394 477036 | 2147483647 299606 37 | 7.432 % |
161.77/161.96 c | 355315 | 24217 140394 477036 | 2147483647 299766 37 | 7.432 % |
161.97/162.19 c | 355491 | 24213 140345 476882 | 2147483647 299661 37 | 7.432 % |
162.07/162.31 c | 355684 | 24213 140345 476882 | 2147483647 299854 37 | 7.432 % |
162.27/162.43 c | 355897 | 24213 140345 476882 | 2147483647 300067 37 | 7.432 % |
162.37/162.54 c | 356131 | 24213 140345 476882 | 2147483647 300301 37 | 7.432 % |
162.57/162.73 c | 356389 | 24213 140345 476882 | 2147483647 300559 37 | 7.432 % |
162.68/162.89 c | 356670 | 24213 140345 476882 | 2147483647 300840 37 | 7.432 % |
162.87/163.06 c | 356980 | 24213 140345 476882 | 2147483647 301150 37 | 7.432 % |
162.97/163.12 c | 357319 | 24213 140345 476882 | 2147483647 301489 37 | 7.432 % |
162.97/163.16 c | 357691 | 24213 140345 476882 | 2147483647 301861 37 | 7.432 % |
163.07/163.29 c | 358100 | 24213 140345 476882 | 2147483647 302270 37 | 7.432 % |
163.27/163.50 c | 358549 | 24213 140345 476882 | 2147483647 302719 37 | 7.432 % |
163.67/163.87 c | 359042 | 24213 140345 476882 | 2147483647 303212 37 | 7.432 % |
163.78/163.97 c | 359584 | 24213 140345 476882 | 2147483647 303754 37 | 7.432 % |
164.17/164.33 c | 360181 | 24213 140345 476882 | 2147483647 304351 37 | 7.432 % |
164.57/164.75 c | 360838 | 24213 140345 476882 | 2147483647 305008 37 | 7.432 % |
165.27/165.44 c | 361558 | 24212 140345 476882 | 2147483647 305727 37 | 7.436 % |
165.77/165.96 c | 362350 | 24212 140345 476882 | 2147483647 306519 37 | 7.436 % |
166.57/166.78 c | 363221 | 24212 140345 476882 | 2147483647 307390 37 | 7.436 % |
167.47/167.63 c | 364179 | 24212 140345 476882 | 2147483647 308348 37 | 7.436 % |
168.47/168.63 c | 365232 | 24212 140345 476882 | 2147483647 309401 37 | 7.436 % |
169.17/169.37 c | 366392 | 24212 140345 476882 | 2147483647 310561 37 | 7.436 % |
170.38/170.58 c | 367666 | 24212 140345 476882 | 2147483647 311835 37 | 7.436 % |
173.17/173.35 c | 369066 | 24212 140345 476882 | 2147483647 313235 38 | 7.436 % |
174.47/174.68 c | 370606 | 24212 140345 476882 | 2147483647 314775 38 | 7.436 % |
178.57/178.74 c | 372302 | 24212 140345 476882 | 2147483647 316471 38 | 7.436 % |
179.37/179.56 c | 374165 | 24212 140345 476882 | 2147483647 318334 38 | 7.436 % |
180.37/180.54 c | 376215 | 24212 140345 476882 | 2147483647 320384 38 | 7.436 % |
185.57/185.73 c | 378469 | 24212 140345 476882 | 2147483647 322638 39 | 7.436 % |
187.87/188.07 c | 380947 | 24212 140338 476857 | 2147483647 325091 39 | 7.436 % |
190.56/190.79 c | 383674 | 24212 140338 476857 | 2147483647 327818 39 | 7.436 % |
197.96/198.15 c | 386671 | 24212 140338 476857 | 2147483647 330815 41 | 7.436 % |
204.57/204.78 c | 389967 | 24212 140338 476857 | 2147483647 334111 42 | 7.436 % |
206.97/207.19 c | 393592 | 24212 140338 476857 | 2147483647 337736 42 | 7.436 % |
207.17/207.33 c | 393694 | 24212 140338 476857 | 2147483647 337838 42 | 7.436 % |
207.27/207.44 c | 393806 | 24212 140338 476857 | 2147483647 337950 42 | 7.436 % |
207.37/207.56 c | 393928 | 24212 140338 476857 | 2147483647 338072 42 | 7.436 % |
207.57/207.73 c | 394062 | 24212 140338 476857 | 2147483647 338206 42 | 7.436 % |
207.97/208.19 c | 394211 | 24212 140338 476857 | 2147483647 338355 42 | 7.436 % |
208.17/208.34 c | 394372 | 24212 140338 476857 | 2147483647 338516 42 | 7.436 % |
208.27/208.47 c | 394548 | 24212 140338 476857 | 2147483647 338692 42 | 7.436 % |
208.47/208.65 c | 394741 | 24212 140338 476857 | 2147483647 338885 42 | 7.436 % |
208.67/208.82 c | 394953 | 24212 140338 476857 | 2147483647 339097 42 | 7.436 % |
208.77/208.99 c | 395186 | 24212 140338 476857 | 2147483647 339330 42 | 7.436 % |
208.87/209.09 c | 395442 | 24212 140338 476857 | 2147483647 339586 42 | 7.436 % |
208.97/209.14 c | 395725 | 24212 140338 476857 | 2147483647 339869 42 | 7.436 % |
209.07/209.30 c | 396034 | 24212 140338 476857 | 2147483647 340178 42 | 7.436 % |
209.37/209.54 c | 396373 | 24212 140338 476857 | 2147483647 340517 42 | 7.436 % |
209.57/209.76 c | 396745 | 24212 140338 476857 | 2147483647 340889 42 | 7.436 % |
209.77/209.99 c | 397156 | 24212 140338 476857 | 2147483647 341300 42 | 7.436 % |
210.07/210.30 c | 397605 | 24212 140338 476857 | 2147483647 341749 42 | 7.436 % |
210.47/210.63 c | 398098 | 24212 140338 476857 | 2147483647 342242 42 | 7.436 % |
210.67/210.91 c | 398640 | 24212 140338 476857 | 2147483647 342784 42 | 7.436 % |
211.27/211.43 c | 399236 | 24212 140338 476857 | 2147483647 343380 42 | 7.436 % |
211.67/211.89 c | 399891 | 24212 140338 476857 | 2147483647 344035 42 | 7.436 % |
212.17/212.37 c | 400611 | 24212 140338 476857 | 2147483647 344755 42 | 7.436 % |
212.77/212.95 c | 401404 | 24212 140338 476857 | 2147483647 345548 41 | 7.436 % |
213.37/213.58 c | 402275 | 24212 140338 476857 | 2147483647 346419 41 | 7.436 % |
216.27/216.45 c | 403233 | 24212 140338 476857 | 2147483647 347377 42 | 7.436 % |
217.26/217.47 c | 404286 | 24212 140338 476857 | 2147483647 348430 42 | 7.436 % |
217.96/218.13 c | 405444 | 24212 140338 476857 | 2147483647 349588 42 | 7.436 % |
219.16/219.32 c | 406717 | 24212 140338 476857 | 2147483647 350861 42 | 7.436 % |
220.26/220.44 c | 408117 | 24212 140338 476857 | 2147483647 352261 42 | 7.436 % |
226.36/226.56 c | 409658 | 24212 140338 476857 | 2147483647 353802 43 | 7.436 % |
227.66/227.82 c | 411353 | 24212 140338 476857 | 2147483647 355497 43 | 7.436 % |
229.06/229.24 c | 413216 | 24212 140338 476857 | 2147483647 357360 43 | 7.436 % |
230.16/230.35 c | 415266 | 24212 140338 476857 | 2147483647 359410 43 | 7.436 % |
231.86/232.09 c | 417519 | 24212 140338 476857 | 2147483647 361663 43 | 7.436 % |
240.16/240.32 c | 419997 | 24212 140338 476857 | 2147483647 364141 45 | 7.436 % |
242.46/242.68 c | 422722 | 24212 140338 476857 | 2147483647 366866 45 | 7.436 % |
245.66/245.82 c | 425719 | 24212 140338 476857 | 2147483647 369863 45 | 7.436 % |
250.56/250.78 c | 429015 | 24212 140338 476857 | 2147483647 373159 46 | 7.436 % |
257.56/257.73 c | 432640 | 24212 140338 476857 | 2147483647 376784 47 | 7.436 % |
260.96/261.19 c | 436627 | 24212 140338 476857 | 2147483647 380771 47 | 7.436 % |
261.06/261.27 c | 436727 | 24212 140338 476857 | 2147483647 380871 47 | 7.436 % |
261.16/261.39 c | 436837 | 24212 140338 476857 | 2147483647 380981 47 | 7.436 % |
261.76/261.91 c | 436958 | 24212 140338 476857 | 2147483647 381102 47 | 7.436 % |
261.76/261.99 c | 437092 | 24212 140338 476857 | 2147483647 381236 47 | 7.436 % |
261.86/262.04 c | 437238 | 24212 140338 476857 | 2147483647 381382 47 | 7.436 % |
261.86/262.05 c | 437398 | 24212 140338 476857 | 2147483647 381542 47 | 7.436 % |
261.96/262.18 c | 437576 | 24212 140338 476857 | 2147483647 381720 47 | 7.436 % |
262.26/262.46 c | 437769 | 24212 140338 476857 | 2147483647 381913 47 | 7.436 % |
262.56/262.71 c | 437981 | 24212 140338 476857 | 2147483647 382125 47 | 7.436 % |
262.76/262.91 c | 438214 | 24212 140338 476857 | 2147483647 382358 47 | 7.436 % |
263.76/263.92 c | 438470 | 24212 140338 476857 | 2147483647 382614 47 | 7.436 % |
263.86/264.03 c | 438753 | 24212 140338 476857 | 2147483647 382897 47 | 7.436 % |
264.16/264.36 c | 439062 | 24212 140338 476857 | 2147483647 383206 47 | 7.436 % |
264.56/264.76 c | 439401 | 24212 140338 476857 | 2147483647 383545 47 | 7.436 % |
264.96/265.14 c | 439773 | 24212 140338 476857 | 2147483647 383917 47 | 7.436 % |
265.96/266.17 c | 440182 | 24212 140338 476857 | 2147483647 384326 47 | 7.436 % |
266.46/266.63 c | 440631 | 24212 140338 476857 | 2147483647 384775 47 | 7.436 % |
266.96/267.13 c | 441124 | 24212 140338 476857 | 2147483647 385268 47 | 7.436 % |
267.76/267.97 c | 441666 | 24212 140338 476857 | 2147483647 385810 47 | 7.436 % |
268.36/268.56 c | 442262 | 24212 140338 476857 | 2147483647 386406 47 | 7.436 % |
270.06/270.23 c | 442918 | 24212 140338 476857 | 2147483647 387062 47 | 7.436 % |
270.86/271.05 c | 443638 | 24212 140338 476857 | 2147483647 387782 47 | 7.436 % |
271.57/271.77 c | 444430 | 24212 140338 476857 | 2147483647 388574 47 | 7.436 % |
272.16/272.31 c | 445302 | 24212 140338 476857 | 2147483647 389446 47 | 7.436 % |
273.66/273.87 c | 446260 | 24212 140338 476857 | 2147483647 390404 47 | 7.436 % |
274.46/274.62 c | 447313 | 24212 140338 476857 | 2147483647 391457 47 | 7.436 % |
275.26/275.49 c | 448471 | 24212 140338 476857 | 2147483647 392615 47 | 7.436 % |
275.76/275.96 c | 449745 | 24212 140338 476857 | 2147483647 393889 47 | 7.436 % |
276.36/276.52 c | 451145 | 24212 140338 476857 | 2147483647 395289 47 | 7.436 % |
277.36/277.56 c | 452689 | 24212 140338 476857 | 2147483647 396833 47 | 7.436 % |
278.96/279.11 c | 454384 | 24212 140338 476857 | 2147483647 398528 47 | 7.436 % |
280.37/280.57 c | 456247 | 24212 140338 476857 | 2147483647 400391 47 | 7.436 % |
282.06/282.27 c | 458296 | 24210 140326 476813 | 2147483647 402044 47 | 7.444 % |
283.86/284.08 c | 460553 | 24210 140326 476813 | 2147483647 404301 47 | 7.444 % |
285.46/285.63 c | 463031 | 24210 140326 476813 | 2147483647 406779 47 | 7.444 % |
287.76/287.92 c | 465757 | 24210 140326 476813 | 2147483647 409505 47 | 7.444 % |
290.27/290.49 c | 468754 | 24210 140326 476813 | 2147483647 412502 46 | 7.444 % |
302.96/303.20 c | 472051 | 24210 140326 476813 | 2147483647 415799 48 | 7.444 % |
307.96/308.16 c | 475676 | 24209 140326 476813 | 2147483647 419423 48 | 7.447 % |
316.67/316.87 c | 479667 | 24209 140326 476813 | 2147483647 423414 50 | 7.447 % |
321.57/321.72 c | 484052 | 24209 140326 476813 | 2147483647 427799 50 | 7.447 % |
321.67/321.84 c | 484152 | 24209 140326 476813 | 2147483647 427899 50 | 7.447 % |
321.77/321.96 c | 484262 | 24209 140326 476813 | 2147483647 428009 50 | 7.447 % |
321.87/322.07 c | 484383 | 24209 140326 476813 | 2147483647 428130 50 | 7.447 % |
322.07/322.25 c | 484516 | 24209 140326 476813 | 2147483647 428263 50 | 7.447 % |
322.47/322.62 c | 484663 | 24209 140326 476813 | 2147483647 428410 50 | 7.447 % |
322.57/322.76 c | 484823 | 24209 140326 476813 | 2147483647 428570 50 | 7.447 % |
322.77/322.97 c | 485001 | 24209 140326 476813 | 2147483647 428748 50 | 7.447 % |
323.07/323.28 c | 485194 | 24209 140326 476813 | 2147483647 428941 50 | 7.447 % |
323.27/323.46 c | 485406 | 24209 140326 476813 | 2147483647 429153 50 | 7.447 % |
323.57/323.76 c | 485639 | 24209 140326 476813 | 2147483647 429386 50 | 7.447 % |
323.87/324.06 c | 485895 | 24209 140326 476813 | 2147483647 429642 50 | 7.447 % |
324.17/324.38 c | 486177 | 24209 140326 476813 | 2147483647 429924 50 | 7.447 % |
324.57/324.81 c | 486486 | 24209 140326 476813 | 2147483647 430233 50 | 7.447 % |
325.27/325.49 c | 486826 | 24209 140326 476813 | 2147483647 430573 50 | 7.447 % |
325.77/325.96 c | 487198 | 24209 140326 476813 | 2147483647 430945 50 | 7.447 % |
326.27/326.41 c | 487607 | 24209 140326 476813 | 2147483647 431354 50 | 7.447 % |
326.67/326.82 c | 488056 | 24209 140326 476813 | 2147483647 431803 50 | 7.447 % |
327.47/327.64 c | 488553 | 24209 140326 476813 | 2147483647 432300 50 | 7.447 % |
328.37/328.52 c | 489096 | 24209 140326 476813 | 2147483647 432843 50 | 7.447 % |
329.07/329.25 c | 489693 | 24206 140326 476813 | 2147483647 433439 50 | 7.463 % |
329.87/330.10 c | 490349 | 24206 140326 476813 | 2147483647 434095 50 | 7.463 % |
330.57/330.77 c | 491069 | 24206 140326 476813 | 2147483647 434815 50 | 7.463 % |
331.47/331.65 c | 491861 | 24206 140326 476813 | 2147483647 435607 50 | 7.463 % |
332.37/332.53 c | 492732 | 24205 140301 476745 | 2147483647 436328 50 | 7.463 % |
333.47/333.64 c | 493690 | 24205 140301 476745 | 2147483647 437286 50 | 7.463 % |
334.47/334.65 c | 494743 | 24205 140301 476745 | 2147483647 438339 50 | 7.463 % |
335.97/336.11 c | 495901 | 24205 140301 476745 | 2147483647 439497 50 | 7.463 % |
337.37/337.58 c | 497176 | 24205 140301 476745 | 2147483647 440772 49 | 7.463 % |
338.97/339.13 c | 498577 | 24205 140301 476745 | 2147483647 442173 49 | 7.463 % |
344.87/345.04 c | 500119 | 24205 140301 476745 | 443597 443715 50 | 7.463 % |
346.67/346.85 c | 501813 | 24205 140301 476745 | 443597 445409 50 | 7.463 % |
348.97/349.20 c | 503677 | 24205 140301 476745 | 443597 447273 50 | 7.463 % |
354.37/354.54 c | 505726 | 24205 140301 476745 | 443597 398568 50 | 7.463 % |
356.07/356.23 c | 507979 | 24205 140301 476745 | 443597 400821 50 | 7.463 % |
359.47/359.65 c | 510458 | 24205 140301 476745 | 2147483647 403300 50 | 7.463 % |
362.97/363.14 c | 513184 | 24205 140301 476745 | 2147483647 406026 50 | 7.463 % |
369.37/369.54 c | 516182 | 24205 140301 476745 | 2147483647 409024 51 | 7.463 % |
374.57/374.80 c | 519478 | 24205 140301 476745 | 2147483647 412320 51 | 7.463 % |
385.57/385.80 c | 523103 | 24205 140301 476745 | 2147483647 415945 53 | 7.463 % |
395.07/395.29 c | 527091 | 24205 140301 476745 | 2147483647 419933 54 | 7.463 % |
415.17/415.31 c | 531476 | 24205 140301 476745 | 2147483647 424318 56 | 7.463 % |
420.27/420.45 c | 536299 | 24205 140301 476745 | 2147483647 429141 56 | 7.463 % |
420.37/420.57 c | 536399 | 24205 140301 476745 | 2147483647 429241 56 | 7.463 % |
420.57/420.71 c | 536509 | 24205 140301 476745 | 2147483647 429351 56 | 7.463 % |
420.97/421.17 c | 536631 | 24204 140294 476720 | 2147483647 429467 56 | 7.466 % |
421.18/421.36 c | 536764 | 24204 140294 476720 | 2147483647 429600 56 | 7.466 % |
421.37/421.59 c | 536910 | 24204 140294 476720 | 2147483647 429746 56 | 7.466 % |
421.57/421.75 c | 537070 | 24204 140294 476720 | 2147483647 429906 56 | 7.466 % |
421.87/422.01 c | 537247 | 24204 140294 476720 | 2147483647 430083 56 | 7.466 % |
422.07/422.24 c | 537442 | 24204 140294 476720 | 2147483647 430278 56 | 7.466 % |
422.37/422.50 c | 537655 | 24204 140294 476720 | 2147483647 430491 56 | 7.466 % |
423.47/423.64 c | 537889 | 24204 140294 476720 | 2147483647 430725 56 | 7.466 % |
423.67/423.87 c | 538145 | 24204 140294 476720 | 2147483647 430981 56 | 7.466 % |
423.97/424.16 c | 538426 | 24204 140294 476720 | 2147483647 431262 56 | 7.466 % |
424.48/424.66 c | 538735 | 24204 140294 476720 | 2147483647 431571 56 | 7.466 % |
424.77/424.92 c | 539074 | 24204 140294 476720 | 2147483647 431910 56 | 7.466 % |
425.17/425.37 c | 539446 | 24204 140294 476720 | 2147483647 432282 56 | 7.466 % |
425.67/425.81 c | 539855 | 24204 140294 476720 | 2147483647 432691 56 | 7.466 % |
426.77/426.93 c | 540304 | 24204 140294 476720 | 2147483647 433140 56 | 7.466 % |
427.27/427.46 c | 540801 | 24204 140294 476720 | 2147483647 433637 56 | 7.466 % |
428.57/428.81 c | 541344 | 24204 140294 476720 | 2147483647 434180 56 | 7.466 % |
429.48/429.65 c | 541941 | 24204 140294 476720 | 2147483647 434777 56 | 7.466 % |
431.78/432.01 c | 542598 | 24204 140294 476720 | 2147483647 435434 57 | 7.466 % |
432.68/432.90 c | 543318 | 24204 140294 476720 | 2147483647 436154 57 | 7.466 % |
435.28/435.45 c | 544111 | 24204 140294 476720 | 2147483647 436947 57 | 7.466 % |
436.28/436.42 c | 544984 | 24204 140294 476720 | 2147483647 437820 57 | 7.466 % |
437.38/437.53 c | 545943 | 24204 140294 476720 | 2147483647 438779 57 | 7.466 % |
440.58/440.79 c | 546997 | 24204 140294 476720 | 2147483647 439833 57 | 7.466 % |
441.38/441.57 c | 548155 | 24204 140294 476720 | 2147483647 440991 57 | 7.466 % |
442.98/443.11 c | 549428 | 24204 140294 476720 | 2147483647 442264 57 | 7.466 % |
445.08/445.27 c | 550830 | 24204 140294 476720 | 2147483647 443666 57 | 7.466 % |
450.28/450.42 c | 552370 | 24204 140294 476720 | 2147483647 445206 58 | 7.466 % |
451.18/451.33 c | 554066 | 24204 140294 476720 | 2147483647 446902 57 | 7.466 % |
453.58/453.80 c | 555929 | 24204 140294 476720 | 2147483647 448765 58 | 7.466 % |
455.68/455.87 c | 557979 | 24204 140294 476720 | 2147483647 450815 58 | 7.466 % |
459.08/459.27 c | 560232 | 24204 140294 476720 | 2147483647 453068 58 | 7.466 % |
463.98/464.17 c | 562711 | 24204 140294 476720 | 2147483647 455547 58 | 7.466 % |
471.68/471.88 c | 565436 | 24204 140294 476720 | 2147483647 458272 59 | 7.466 % |
475.88/476.09 c | 568435 | 24204 140294 476720 | 2147483647 461271 59 | 7.466 % |
486.88/487.06 c | 571731 | 24204 140294 476720 | 462837 464567 60 | 7.466 % |
492.28/492.50 c | 575356 | 24204 140294 476720 | 462837 419265 66 | 7.466 % |
511.88/512.10 c | 579345 | 24204 140294 476720 | 462837 423254 69 | 7.466 % |
518.18/518.32 c | 583732 | 24204 140294 476720 | 2147483647 427641 69 | 7.466 % |
536.28/536.44 c | 588555 | 24204 140294 476720 | 2147483647 432464 71 | 7.466 % |
543.69/543.87 c | 593862 | 24204 140294 476720 | 2147483647 437771 71 | 7.466 % |
543.89/544.09 c | 593962 | 24204 140294 476720 | 2147483647 437871 71 | 7.466 % |
544.09/544.30 c | 594073 | 24204 140294 476720 | 2147483647 437982 71 | 7.466 % |
544.19/544.34 c | 594194 | 24204 140294 476720 | 2147483647 438103 71 | 7.466 % |
544.29/544.51 c | 594327 | 24204 140294 476720 | 2147483647 438236 71 | 7.466 % |
544.49/544.66 c | 594474 | 24204 140294 476720 | 2147483647 438383 71 | 7.466 % |
544.69/544.85 c | 594635 | 24204 140294 476720 | 2147483647 438544 71 | 7.466 % |
545.69/545.84 c | 594811 | 24204 140294 476720 | 2147483647 438720 71 | 7.466 % |
545.89/546.08 c | 595005 | 24204 140294 476720 | 2147483647 438914 71 | 7.466 % |
546.19/546.39 c | 595220 | 24204 140294 476720 | 2147483647 439129 71 | 7.466 % |
546.49/546.62 c | 595454 | 24204 140294 476720 | 2147483647 439363 71 | 7.466 % |
546.89/547.05 c | 595710 | 24204 140294 476720 | 2147483647 439619 71 | 7.466 % |
547.29/547.46 c | 595992 | 24204 140294 476720 | 2147483647 439901 71 | 7.466 % |
548.69/548.86 c | 596302 | 24204 140294 476720 | 2147483647 440211 71 | 7.466 % |
549.19/549.32 c | 596642 | 24204 140294 476720 | 2147483647 440551 71 | 7.466 % |
549.99/550.17 c | 597014 | 24204 140294 476720 | 2147483647 440923 71 | 7.466 % |
550.59/550.77 c | 597423 | 24204 140294 476720 | 2147483647 441332 71 | 7.466 % |
551.09/551.24 c | 597873 | 24204 140294 476720 | 2147483647 441782 71 | 7.466 % |
551.59/551.77 c | 598366 | 24204 140294 476720 | 2147483647 442275 71 | 7.466 % |
552.39/552.59 c | 598909 | 24204 140294 476720 | 2147483647 442818 71 | 7.466 % |
553.69/553.92 c | 599506 | 24204 140294 476720 | 2147483647 443415 71 | 7.466 % |
554.69/554.89 c | 600161 | 24204 140294 476720 | 443910 444070 71 | 7.466 % |
556.89/557.04 c | 600881 | 24204 140294 476720 | 443910 444790 71 | 7.466 % |
558.69/558.90 c | 601673 | 24204 140294 476720 | 443910 445582 71 | 7.466 % |
560.89/561.09 c | 602544 | 24204 140294 476720 | 443910 446453 71 | 7.466 % |
562.19/562.41 c | 603503 | 24204 140294 476720 | 443910 390580 70 | 7.466 % |
566.29/566.46 c | 604556 | 24204 140294 476720 | 443910 391633 71 | 7.466 % |
567.79/567.95 c | 605714 | 24204 140294 476720 | 443910 392791 71 | 7.466 % |
570.89/571.06 c | 606988 | 24204 140294 476720 | 443910 394065 71 | 7.466 % |
571.79/571.93 c | 608389 | 24204 140294 476720 | 443910 395466 71 | 7.466 % |
573.09/573.25 c | 609930 | 24204 140294 476720 | 443910 397007 71 | 7.466 % |
575.18/575.36 c | 611625 | 24204 140294 476720 | 2147483647 398702 70 | 7.466 % |
578.18/578.39 c | 613489 | 24204 140294 476720 | 2147483647 400566 71 | 7.466 % |
584.48/584.69 c | 615538 | 24204 140294 476720 | 2147483647 402615 71 | 7.466 % |
586.98/587.13 c | 617791 | 24204 140294 476720 | 2147483647 404868 71 | 7.466 % |
595.78/595.93 c | 620270 | 24204 140294 476720 | 2147483647 407347 72 | 7.466 % |
599.48/599.63 c | 622995 | 24203 140289 476708 | 2147483647 410063 72 | 7.470 % |
604.18/604.37 c | 625992 | 24203 140289 476708 | 2147483647 413060 72 | 7.470 % |
612.78/612.94 c | 629288 | 24203 140289 476708 | 2147483647 416356 73 | 7.470 % |
618.98/619.16 c | 632913 | 24203 140289 476708 | 417068 419981 73 | 7.470 % |
638.08/638.24 c | 636901 | 24203 140289 476708 | 417068 375331 73 | 7.470 % |
643.48/643.61 c | 641289 | 24203 140289 476708 | 2147483647 379719 74 | 7.470 % |
661.99/662.14 c | 646114 | 24203 140289 476708 | 2147483647 384544 77 | 7.470 % |
677.09/677.21 c | 651419 | 24203 140289 476708 | 2147483647 389849 79 | 7.470 % |
683.59/683.74 c | 657254 | 24203 140289 476708 | 2147483647 395684 78 | 7.470 % |
683.69/683.87 c | 657355 | 24203 140289 476708 | 2147483647 395785 78 | 7.470 % |
683.89/684.05 c | 657466 | 24203 140289 476708 | 2147483647 395896 78 | 7.470 % |
683.99/684.19 c | 657588 | 24203 140289 476708 | 2147483647 396018 78 | 7.470 % |
684.09/684.22 c | 657723 | 24203 140289 476708 | 2147483647 396153 78 | 7.470 % |
684.29/684.48 c | 657871 | 24203 140289 476708 | 2147483647 396301 78 | 7.470 % |
684.49/684.70 c | 658032 | 24203 140289 476708 | 2147483647 396462 78 | 7.470 % |
684.79/684.94 c | 658210 | 24203 140289 476708 | 2147483647 396640 78 | 7.470 % |
684.99/685.17 c | 658403 | 24203 140289 476708 | 2147483647 396833 78 | 7.470 % |
685.59/685.72 c | 658616 | 24203 140289 476708 | 2147483647 397046 78 | 7.470 % |
685.79/685.99 c | 658849 | 24203 140289 476708 | 2147483647 397279 78 | 7.470 % |
685.89/686.02 c | 659107 | 24203 140289 476708 | 2147483647 397537 78 | 7.470 % |
685.99/686.16 c | 659388 | 24203 140289 476708 | 2147483647 397818 78 | 7.470 % |
686.29/686.44 c | 659699 | 24203 140289 476708 | 2147483647 398129 78 | 7.470 % |
686.69/686.86 c | 660038 | 24203 140289 476708 | 2147483647 398468 78 | 7.470 % |
686.99/687.16 c | 660412 | 24203 140289 476708 | 2147483647 398842 78 | 7.470 % |
687.69/687.90 c | 660821 | 24203 140289 476708 | 2147483647 399251 78 | 7.470 % |
688.59/688.80 c | 661271 | 24203 140289 476708 | 2147483647 399701 78 | 7.470 % |
689.29/689.44 c | 661765 | 24203 140289 476708 | 2147483647 400195 78 | 7.470 % |
690.49/690.68 c | 662307 | 24203 140289 476708 | 2147483647 400737 78 | 7.470 % |
692.19/692.40 c | 662904 | 24203 140289 476708 | 2147483647 401334 78 | 7.470 % |
692.79/692.99 c | 663560 | 24203 140289 476708 | 2147483647 401990 78 | 7.470 % |
693.69/693.83 c | 664280 | 24203 140289 476708 | 2147483647 402710 78 | 7.470 % |
696.19/696.39 c | 665073 | 24203 140289 476708 | 2147483647 403503 78 | 7.470 % |
697.59/697.80 c | 665944 | 24203 140289 476708 | 2147483647 404374 78 | 7.470 % |
699.29/699.49 c | 666902 | 24203 140289 476708 | 2147483647 405332 78 | 7.470 % |
700.39/700.58 c | 667956 | 24203 140289 476708 | 2147483647 406386 78 | 7.470 % |
703.69/703.89 c | 669114 | 24203 140289 476708 | 2147483647 407544 78 | 7.470 % |
704.99/705.12 c | 670387 | 24203 140289 476708 | 2147483647 408817 78 | 7.470 % |
706.49/706.67 c | 671788 | 24203 140289 476708 | 2147483647 410218 78 | 7.470 % |
714.09/714.23 c | 673328 | 24203 140289 476708 | 2147483647 411758 79 | 7.470 % |
720.29/720.48 c | 675022 | 24203 140289 476708 | 2147483647 413452 80 | 7.470 % |
722.39/722.54 c | 676888 | 24203 140289 476708 | 2147483647 415318 80 | 7.470 % |
726.29/726.45 c | 678937 | 24203 140289 476708 | 2147483647 417367 81 | 7.470 % |
728.99/729.13 c | 681190 | 24203 140289 476708 | 2147483647 419620 81 | 7.470 % |
730.89/731.11 c | 683669 | 24203 140289 476708 | 2147483647 422099 80 | 7.470 % |
733.89/734.09 c | 686394 | 24203 140289 476708 | 2147483647 424824 80 | 7.470 % |
738.79/738.99 c | 689391 | 24202 140282 476687 | 2147483647 427819 80 | 7.474 % |
742.89/743.06 c | 692689 | 24202 140282 476687 | 2147483647 431117 80 | 7.474 % |
761.29/761.43 c | 696315 | 24202 140282 476687 | 2147483647 434743 82 | 7.474 % |
768.19/768.35 c | 700303 | 24202 140282 476687 | 2147483647 438731 82 | 7.474 % |
783.90/784.10 c | 704690 | 24202 140282 476687 | 2147483647 443118 84 | 7.474 % |
808.60/808.80 c | 709513 | 24202 140282 476687 | 2147483647 447941 86 | 7.474 % |
816.50/816.68 c | 714819 | 24202 140282 476687 | 2147483647 453247 86 | 7.474 % |
839.90/840.10 c | 720654 | 24202 140282 476687 | 458428 459082 89 | 7.474 % |
849.40/849.60 c | 727072 | 24202 140282 476687 | 458428 403824 84 | 7.474 % |
849.60/849.78 c | 727172 | 24202 140282 476687 | 458428 403924 84 | 7.474 % |
849.80/849.95 c | 727284 | 24202 140282 476687 | 458428 404036 84 | 7.474 % |
850.30/850.44 c | 727406 | 24202 140282 476687 | 458428 404158 84 | 7.474 % |
850.50/850.68 c | 727539 | 24202 140282 476687 | 458428 404291 84 | 7.474 % |
850.70/850.84 c | 727685 | 24202 140282 476687 | 458428 404437 84 | 7.474 % |
851.31/851.50 c | 727846 | 24201 140277 476670 | 458428 404591 84 | 7.478 % |
851.50/851.66 c | 728023 | 24201 140277 476670 | 458428 404768 84 | 7.478 % |
852.30/852.48 c | 728217 | 24201 140277 476670 | 458428 404962 84 | 7.478 % |
852.50/852.63 c | 728431 | 24201 140277 476670 | 458428 405176 84 | 7.478 % |
852.80/852.92 c | 728664 | 24201 140277 476670 | 458428 405409 84 | 7.478 % |
853.10/853.25 c | 728920 | 24201 140277 476670 | 458428 405665 84 | 7.478 % |
853.40/853.55 c | 729201 | 24201 140277 476670 | 458428 405946 84 | 7.478 % |
854.20/854.36 c | 729510 | 24201 140277 476670 | 458428 406255 84 | 7.478 % |
854.61/854.76 c | 729849 | 24201 140277 476670 | 458428 406594 84 | 7.478 % |
855.80/855.99 c | 730222 | 24201 140277 476670 | 406745 406967 84 | 7.478 % |
856.30/856.47 c | 730632 | 24201 140277 476670 | 406745 407377 84 | 7.478 % |
856.60/856.81 c | 731081 | 24201 140277 476670 | 406745 407826 84 | 7.478 % |
857.20/857.32 c | 731574 | 24201 140277 476670 | 406745 408319 84 | 7.478 % |
858.00/858.14 c | 732117 | 24201 140277 476670 | 406745 408862 84 | 7.478 % |
859.01/859.15 c | 732713 | 24201 140277 476670 | 406745 362849 83 | 7.478 % |
859.80/859.96 c | 733368 | 24201 140277 476670 | 406745 363504 83 | 7.478 % |
862.70/862.86 c | 734090 | 24201 140277 476670 | 406745 364226 83 | 7.478 % |
865.30/865.44 c | 734882 | 24201 140277 476670 | 406745 365018 83 | 7.478 % |
866.00/866.14 c | 735753 | 24201 140277 476670 | 406745 365889 83 | 7.478 % |
867.00/867.17 c | 736712 | 24201 140277 476670 | 406745 366848 83 | 7.478 % |
868.40/868.51 c | 737765 | 24201 140277 476670 | 406745 367901 83 | 7.478 % |
869.80/870.00 c | 738923 | 24201 140277 476670 | 406745 369059 83 | 7.478 % |
873.31/873.46 c | 740196 | 24201 140277 476670 | 2147483647 370332 83 | 7.478 % |
874.10/874.25 c | 741599 | 24201 140277 476670 | 2147483647 371735 83 | 7.478 % |
875.30/875.46 c | 743139 | 24201 140277 476670 | 2147483647 373275 83 | 7.478 % |
876.80/876.95 c | 744833 | 24201 140277 476670 | 2147483647 374969 83 | 7.478 % |
878.50/878.64 c | 746697 | 24201 140277 476670 | 2147483647 376833 82 | 7.478 % |
883.10/883.22 c | 748746 | 24201 140277 476670 | 2147483647 378882 83 | 7.478 % |
890.11/890.27 c | 751000 | 24201 140277 476670 | 2147483647 381136 84 | 7.478 % |
893.71/893.91 c | 753479 | 24201 140277 476670 | 2147483647 383615 84 | 7.478 % |
903.21/903.39 c | 756206 | 24201 140277 476670 | 2147483647 386342 85 | 7.478 % |
906.81/907.00 c | 759203 | 24201 140277 476670 | 2147483647 389339 85 | 7.478 % |
915.81/915.95 c | 762501 | 24201 140277 476670 | 2147483647 392637 86 | 7.478 % |
920.71/920.86 c | 766126 | 24201 140277 476670 | 2147483647 396262 86 | 7.478 % |
940.70/940.85 c | 770115 | 24201 140277 476670 | 2147483647 400251 88 | 7.478 % |
949.10/949.28 c | 774501 | 24201 140277 476670 | 2147483647 404637 89 | 7.478 % |
967.50/967.68 c | 779326 | 24201 140277 476670 | 2147483647 409462 91 | 7.478 % |
972.20/972.32 c | 784633 | 24201 140277 476670 | 2147483647 414769 91 | 7.478 % |
1000.41/1000.55 c | 790469 | 24201 140277 476670 | 420137 420605 94 | 7.478 % |
1009.11/1009.29 c | 796890 | 24201 140277 476670 | 420137 427026 94 | 7.478 % |
1043.51/1043.66 c | 803949 | 24201 140277 476670 | 2147483647 383077 93 | 7.478 % |
1043.91/1044.07 c | 804049 | 24201 140277 476670 | 2147483647 383177 93 | 7.478 % |
1044.11/1044.24 c | 804160 | 24201 140277 476670 | 2147483647 383288 93 | 7.478 % |
1044.31/1044.43 c | 804281 | 24201 140277 476670 | 2147483647 383409 93 | 7.478 % |
1044.41/1044.59 c | 804414 | 24201 140277 476670 | 2147483647 383542 93 | 7.478 % |
1044.71/1044.82 c | 804560 | 24201 140277 476670 | 2147483647 383688 93 | 7.478 % |
1044.91/1045.03 c | 804720 | 24201 140277 476670 | 2147483647 383848 93 | 7.478 % |
1045.11/1045.28 c | 804896 | 24201 140277 476670 | 2147483647 384024 93 | 7.478 % |
1045.31/1045.49 c | 805090 | 24201 140277 476670 | 2147483647 384218 93 | 7.478 % |
1046.11/1046.22 c | 805302 | 24201 140277 476670 | 2147483647 384430 93 | 7.478 % |
1046.41/1046.53 c | 805535 | 24201 140277 476670 | 2147483647 384663 93 | 7.478 % |
1046.71/1046.85 c | 805800 | 24201 140277 476670 | 2147483647 384928 93 | 7.478 % |
1047.01/1047.19 c | 806082 | 24201 140277 476670 | 2147483647 385210 93 | 7.478 % |
1047.81/1047.99 c | 806392 | 24201 140277 476670 | 2147483647 385520 93 | 7.478 % |
1048.11/1048.30 c | 806731 | 24201 140277 476670 | 2147483647 385859 93 | 7.478 % |
1048.71/1048.84 c | 807103 | 24201 140277 476670 | 2147483647 386231 93 | 7.478 % |
1049.61/1049.76 c | 807513 | 24201 140277 476670 | 2147483647 386641 93 | 7.478 % |
1050.61/1050.78 c | 807962 | 24201 140277 476670 | 2147483647 387090 93 | 7.478 % |
1051.31/1051.43 c | 808459 | 24201 140277 476670 | 2147483647 387587 93 | 7.478 % |
1052.01/1052.18 c | 809003 | 24201 140277 476670 | 2147483647 388131 93 | 7.478 % |
1055.11/1055.24 c | 809599 | 24201 140277 476670 | 2147483647 388727 93 | 7.478 % |
1056.21/1056.33 c | 810254 | 24201 140277 476670 | 2147483647 389382 93 | 7.478 % |
1057.21/1057.32 c | 810974 | 24201 140277 476670 | 2147483647 390102 93 | 7.478 % |
1058.41/1058.59 c | 811766 | 24201 140277 476670 | 2147483647 390894 93 | 7.478 % |
1059.50/1059.68 c | 812638 | 24201 140277 476670 | 2147483647 391766 93 | 7.478 % |
1060.70/1060.83 c | 813596 | 24201 140277 476670 | 2147483647 392724 93 | 7.478 % |
1065.40/1065.59 c | 814649 | 24201 140277 476670 | 2147483647 393777 93 | 7.478 % |
1066.80/1066.99 c | 815807 | 24201 140277 476670 | 2147483647 394935 93 | 7.478 % |
1068.30/1068.48 c | 817080 | 24201 140277 476670 | 2147483647 396208 93 | 7.478 % |
1074.90/1075.07 c | 818480 | 24201 140277 476670 | 2147483647 397608 94 | 7.478 % |
1077.80/1077.93 c | 820022 | 24201 140277 476670 | 2147483647 399150 94 | 7.478 % |
1079.60/1079.77 c | 821717 | 24201 140277 476670 | 2147483647 400845 93 | 7.478 % |
1084.80/1084.96 c | 823580 | 24201 140277 476670 | 2147483647 402708 94 | 7.478 % |
1087.60/1087.72 c | 825629 | 24201 140277 476670 | 2147483647 404757 93 | 7.478 % |
1098.60/1098.80 c | 827882 | 24201 140277 476670 | 2147483647 407010 95 | 7.478 % |
1101.30/1101.47 c | 830360 | 24201 140277 476670 | 2147483647 409488 94 | 7.478 % |
1114.11/1114.27 c | 833085 | 24201 140277 476670 | 2147483647 412213 96 | 7.478 % |
1117.91/1118.04 c | 836082 | 24201 140277 476670 | 2147483647 415210 96 | 7.478 % |
1137.71/1137.82 c | 839380 | 24201 140277 476670 | 2147483647 418508 98 | 7.478 % |
1142.71/1142.89 c | 843005 | 24201 140277 476670 | 2147483647 422133 98 | 7.478 % |
1156.21/1156.40 c | 846993 | 24201 140277 476670 | 2147483647 426121 99 | 7.478 % |
1162.01/1162.15 c | 851378 | 24201 140277 476670 | 429130 430506 99 | 7.478 % |
1183.81/1183.97 c | 856202 | 24201 140277 476670 | 429130 435330 101 | 7.478 % |
1191.61/1191.76 c | 861507 | 24201 140277 476670 | 393715 395220 100 | 7.478 % |
1200.02/1200.14 HOME/SatELiteGTI: line 36: 7573 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820824-1242480938/watcher-1820824-1242480938 -o /tmp/evaluation-result-1820824-1242480938/solver-1820824-1242480938 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820824-1242480938.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 7567
/proc/meminfo: memFree=1457404/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2416 CPUtime=0
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1012594662 2473984 277 4294967295 134512640 135169312 3220761312 3220759848 3084926702 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7567/statm: 604 277 235 161 0 43 0
[pid=7571] ppid=7567 vsize=956 CPUtime=0
/proc/7571/stat : 7571 (SatELite_releas) R 7567 7567 10114 0 -1 4202496 126 0 0 0 0 0 0 0 18 0 1 0 1012594663 978944 62 4294967295 134512640 135223648 3218841856 3218840452 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/7571/statm: 239 65 47 174 0 64 0
[startup+0.059449 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 7567
/proc/meminfo: memFree=1457404/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2416 CPUtime=0
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1012594662 2473984 277 4294967295 134512640 135169312 3220761312 3220759848 3084926702 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7567/statm: 604 277 235 161 0 43 0
[pid=7571] ppid=7567 vsize=8080 CPUtime=0.06
/proc/7571/stat : 7571 (SatELite_releas) R 7567 7567 10114 0 -1 4202496 1654 0 0 0 6 0 0 0 18 0 1 0 1012594663 8273920 1590 4294967295 134512640 135223648 3218841856 3218840808 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/7571/statm: 2020 1590 47 174 0 1845 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10496
[startup+0.119427 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 7567
/proc/meminfo: memFree=1457404/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2416 CPUtime=0
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1012594662 2473984 277 4294967295 134512640 135169312 3220761312 3220759848 3084926702 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7567/statm: 604 277 235 161 0 43 0
[pid=7571] ppid=7567 vsize=15876 CPUtime=0.12
/proc/7571/stat : 7571 (SatELite_releas) R 7567 7567 10114 0 -1 4202496 3292 0 0 0 11 1 0 0 18 0 1 0 1012594663 16257024 3228 4294967295 134512640 135223648 3218841856 3218840808 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/7571/statm: 3969 3228 47 174 0 3794 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 18292
[startup+0.319417 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 7567
/proc/meminfo: memFree=1457404/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2416 CPUtime=0
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1012594662 2473984 277 4294967295 134512640 135169312 3220761312 3220759848 3084926702 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7567/statm: 604 277 235 161 0 43 0
[pid=7571] ppid=7567 vsize=36292 CPUtime=0.32
/proc/7571/stat : 7571 (SatELite_releas) R 7567 7567 10114 0 -1 4202496 8050 0 0 0 29 3 0 0 18 0 1 0 1012594663 37163008 7339 4294967295 134512640 135223648 3218841856 3218839872 134586742 0 0 0 3 0 0 0 17 1 0 0 0
/proc/7571/statm: 9073 7339 73 174 0 8898 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 38708
[startup+0.719401 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 7567
/proc/meminfo: memFree=1457404/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2416 CPUtime=0
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1012594662 2473984 277 4294967295 134512640 135169312 3220761312 3220759848 3084926702 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7567/statm: 604 277 235 161 0 43 0
[pid=7571] ppid=7567 vsize=43696 CPUtime=0.66
/proc/7571/stat : 7571 (SatELite_releas) R 7567 7567 10114 0 -1 4202496 9834 0 0 0 62 4 0 0 19 0 1 0 1012594663 44744704 9005 4294967295 134512640 135223648 3218841856 3218840208 134601377 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7571/statm: 10924 9005 74 174 0 10749 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 46112
[startup+1.51936 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 7572
/proc/meminfo: memFree=1420536/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2420 CPUtime=1.27
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 386 11318 0 0 0 0 122 5 18 0 1 0 1012594662 2478080 278 4294967295 134512640 135169312 3220761312 3220757528 3084926702 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7567/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 2420
[startup+3.11928 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 7573
/proc/meminfo: memFree=1440376/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2420 CPUtime=1.27
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 386 11318 0 0 0 0 122 5 18 0 1 0 1012594662 2478080 278 4294967295 134512640 135169312 3220761312 3220757528 3084926702 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7567/statm: 605 278 235 161 0 44 0
[pid=7573] ppid=7567 vsize=12492 CPUtime=1.78
/proc/7573/stat : 7573 (minisat_static) R 7567 7567 10114 0 -1 4202496 2965 0 0 0 173 5 0 0 25 0 1 0 1012594796 12791808 2900 4294967295 134512640 135215339 3220661008 3220659296 134528691 0 0 0 3 0 0 0 17 1 0 0 0
/proc/7573/statm: 3123 2900 73 172 0 2950 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 14912
[startup+6.31913 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 7573
/proc/meminfo: memFree=1437896/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2420 CPUtime=1.27
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 386 11318 0 0 0 0 122 5 18 0 1 0 1012594662 2478080 278 4294967295 134512640 135169312 3220761312 3220757528 3084926702 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7567/statm: 605 278 235 161 0 44 0
[pid=7573] ppid=7567 vsize=14188 CPUtime=4.97
/proc/7573/stat : 7573 (minisat_static) R 7567 7567 10114 0 -1 4202496 3390 0 0 0 492 5 0 0 25 0 1 0 1012594796 14528512 3325 4294967295 134512640 135215339 3220661008 3220659008 134532704 0 0 0 3 0 0 0 17 1 0 0 0
/proc/7573/statm: 3547 3325 73 172 0 3374 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 16608
[startup+12.7188 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 7573
/proc/meminfo: memFree=1435976/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2420 CPUtime=1.27
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 386 11318 0 0 0 0 122 5 18 0 1 0 1012594662 2478080 278 4294967295 134512640 135169312 3220761312 3220757528 3084926702 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7567/statm: 605 278 235 161 0 44 0
[pid=7573] ppid=7567 vsize=15556 CPUtime=11.29
/proc/7573/stat : 7573 (minisat_static) R 7567 7567 10114 0 -1 4202496 3728 0 0 0 1124 5 0 0 25 0 1 0 1012594796 15929344 3663 4294967295 134512640 135215339 3220661008 3220659296 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7573/statm: 3889 3663 73 172 0 3716 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 17976
[startup+25.5182 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 7575
/proc/meminfo: memFree=1433436/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2420 CPUtime=1.27
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 386 11318 0 0 0 0 122 5 18 0 1 0 1012594662 2478080 278 4294967295 134512640 135169312 3220761312 3220757528 3084926702 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7567/statm: 605 278 235 161 0 44 0
[pid=7573] ppid=7567 vsize=18760 CPUtime=24.09
/proc/7573/stat : 7573 (minisat_static) R 7567 7567 10114 0 -1 4202496 4494 0 0 0 2404 5 0 0 25 0 1 0 1012594796 19210240 4429 4294967295 134512640 135215339 3220661008 3220659296 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7573/statm: 4690 4429 73 172 0 4517 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 21180
[startup+51.117 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 7761
/proc/meminfo: memFree=1424048/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2420 CPUtime=1.27
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 386 11318 0 0 0 0 122 5 18 0 1 0 1012594662 2478080 278 4294967295 134512640 135169312 3220761312 3220757528 3084926702 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7567/statm: 605 278 235 161 0 44 0
[pid=7573] ppid=7567 vsize=27740 CPUtime=49.69
/proc/7573/stat : 7573 (minisat_static) R 7567 7567 10114 0 -1 4202496 6787 0 0 0 4961 8 0 0 25 0 1 0 1012594796 28405760 6722 4294967295 134512640 135215339 3220661008 3220659296 134528728 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7573/statm: 6935 6722 73 172 0 6762 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 30160
[startup+102.325 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 7947
/proc/meminfo: memFree=1405688/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2420 CPUtime=1.27
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 386 11318 0 0 0 0 122 5 18 0 1 0 1012594662 2478080 278 4294967295 134512640 135169312 3220761312 3220757528 3084926702 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7567/statm: 605 278 235 161 0 44 0
[pid=7573] ppid=7567 vsize=45568 CPUtime=100.9
/proc/7573/stat : 7573 (minisat_static) R 7567 7567 10114 0 -1 4202496 11203 0 0 0 10080 10 0 0 25 0 1 0 1012594796 46661632 11138 4294967295 134512640 135215339 3220661008 3220659296 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7573/statm: 11392 11138 73 172 0 11219 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 47988
[startup+162.322 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 8134
/proc/meminfo: memFree=1384096/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2420 CPUtime=1.27
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 386 11318 0 0 0 0 122 5 18 0 1 0 1012594662 2478080 278 4294967295 134512640 135169312 3220761312 3220757528 3084926702 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7567/statm: 605 278 235 161 0 44 0
[pid=7573] ppid=7567 vsize=66964 CPUtime=160.9
/proc/7573/stat : 7573 (minisat_static) R 7567 7567 10114 0 -1 4202496 16598 0 0 0 16072 18 0 0 25 0 1 0 1012594796 68571136 16533 4294967295 134512640 135215339 3220661008 3220659296 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7573/statm: 16741 16533 73 172 0 16568 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 69384
[startup+222.309 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 8323
/proc/meminfo: memFree=1367124/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2420 CPUtime=1.27
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 386 11318 0 0 0 0 122 5 18 0 1 0 1012594662 2478080 278 4294967295 134512640 135169312 3220761312 3220757528 3084926702 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7567/statm: 605 278 235 161 0 44 0
[pid=7573] ppid=7567 vsize=84480 CPUtime=220.89
/proc/7573/stat : 7573 (minisat_static) R 7567 7567 10114 0 -1 4202496 20858 0 0 0 22069 20 0 0 25 0 1 0 1012594796 86507520 20793 4294967295 134512640 135215339 3220661008 3220659008 134532964 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7573/statm: 21120 20793 73 172 0 20947 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 86900
[startup+282.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 8515
/proc/meminfo: memFree=1350036/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2420 CPUtime=1.27
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 386 11318 0 0 0 0 122 5 18 0 1 0 1012594662 2478080 278 4294967295 134512640 135169312 3220761312 3220757528 3084926702 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7567/statm: 605 278 235 161 0 44 0
[pid=7573] ppid=7567 vsize=101244 CPUtime=280.89
/proc/7573/stat : 7573 (minisat_static) R 7567 7567 10114 0 -1 4202496 25116 0 0 0 28067 22 0 0 25 0 1 0 1012594796 103673856 25051 4294967295 134512640 135215339 3220661008 3220659296 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7573/statm: 25311 25051 73 172 0 25138 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 103664
[startup+342.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 8705
/proc/meminfo: memFree=1335604/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2420 CPUtime=1.27
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 386 11318 0 0 0 0 122 5 18 0 1 0 1012594662 2478080 278 4294967295 134512640 135169312 3220761312 3220757528 3084926702 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7567/statm: 605 278 235 161 0 44 0
[pid=7573] ppid=7567 vsize=115368 CPUtime=340.9
/proc/7573/stat : 7573 (minisat_static) R 7567 7567 10114 0 -1 4202496 28674 0 0 0 34066 24 0 0 25 0 1 0 1012594796 118136832 28609 4294967295 134512640 135215339 3220661008 3220659296 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7573/statm: 28842 28609 73 172 0 28669 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 117788
[startup+402.31 s]
################
# More data... #
################
[pid=7573] ppid=7567 vsize=146808 CPUtime=520.91
/proc/7573/stat : 7573 (minisat_static) R 7567 7567 10114 0 -1 4202496 36555 0 0 0 52059 32 0 0 25 0 1 0 1012594796 150331392 36490 4294967295 134512640 135215339 3220661008 3220659296 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7573/statm: 36702 36490 73 172 0 36529 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 149228
[startup+582.311 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 9456
/proc/meminfo: memFree=1295732/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2420 CPUtime=1.27
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 386 11318 0 0 0 0 122 5 18 0 1 0 1012594662 2478080 278 4294967295 134512640 135169312 3220761312 3220757528 3084926702 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7567/statm: 605 278 235 161 0 44 0
[pid=7573] ppid=7567 vsize=155272 CPUtime=580.91
/proc/7573/stat : 7573 (minisat_static) R 7567 7567 10114 0 -1 4202496 38681 0 0 0 58055 36 0 0 25 0 1 0 1012594796 158998528 38616 4294967295 134512640 135215339 3220661008 3220659104 134527384 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7573/statm: 38818 38616 73 172 0 38645 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 157692
[startup+642.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 9648
/proc/meminfo: memFree=1295824/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2420 CPUtime=1.27
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 386 11318 0 0 0 0 122 5 18 0 1 0 1012594662 2478080 278 4294967295 134512640 135169312 3220761312 3220757528 3084926702 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7567/statm: 605 278 235 161 0 44 0
[pid=7573] ppid=7567 vsize=155272 CPUtime=640.91
/proc/7573/stat : 7573 (minisat_static) R 7567 7567 10114 0 -1 4202496 38681 0 0 0 64055 36 0 0 25 0 1 0 1012594796 158998528 38616 4294967295 134512640 135215339 3220661008 3220659296 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7573/statm: 38818 38616 73 172 0 38645 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 157692
[startup+702.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 9835
/proc/meminfo: memFree=1295492/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2420 CPUtime=1.27
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 386 11318 0 0 0 0 122 5 18 0 1 0 1012594662 2478080 278 4294967295 134512640 135169312 3220761312 3220757528 3084926702 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7567/statm: 605 278 235 161 0 44 0
[pid=7573] ppid=7567 vsize=155668 CPUtime=700.92
/proc/7573/stat : 7573 (minisat_static) R 7567 7567 10114 0 -1 4202496 38762 0 0 0 70055 37 0 0 25 0 1 0 1012594796 159404032 38697 4294967295 134512640 135215339 3220661008 3220659296 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7573/statm: 38917 38697 73 172 0 38744 0
Current children cumulated CPU time (s) 702.19
Current children cumulated vsize (KiB) 158088
[startup+762.323 s]
/proc/loadavg: 1.15 1.03 1.01 3/95 10022
/proc/meminfo: memFree=1280092/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2420 CPUtime=1.27
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 386 11318 0 0 0 0 122 5 18 0 1 0 1012594662 2478080 278 4294967295 134512640 135169312 3220761312 3220757528 3084926702 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7567/statm: 605 278 235 161 0 44 0
[pid=7573] ppid=7567 vsize=170592 CPUtime=760.93
/proc/7573/stat : 7573 (minisat_static) R 7567 7567 10114 0 -1 4202496 42515 0 0 0 76053 40 0 0 25 0 1 0 1012594796 174686208 42450 4294967295 134512640 135215339 3220661008 3220659296 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7573/statm: 42648 42450 73 172 0 42475 0
Current children cumulated CPU time (s) 762.2
Current children cumulated vsize (KiB) 173012
[startup+822.32 s]
/proc/loadavg: 1.06 1.03 1.00 3/95 10214
/proc/meminfo: memFree=1264988/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2420 CPUtime=1.27
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 386 11318 0 0 0 0 122 5 18 0 1 0 1012594662 2478080 278 4294967295 134512640 135169312 3220761312 3220757528 3084926702 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7567/statm: 605 278 235 161 0 44 0
[pid=7573] ppid=7567 vsize=185912 CPUtime=820.93
/proc/7573/stat : 7573 (minisat_static) R 7567 7567 10114 0 -1 4202496 46350 0 0 0 82049 44 0 0 25 0 1 0 1012594796 190373888 46285 4294967295 134512640 135215339 3220661008 3220659296 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7573/statm: 46478 46285 73 172 0 46305 0
Current children cumulated CPU time (s) 822.2
Current children cumulated vsize (KiB) 188332
[startup+882.317 s]
/proc/loadavg: 1.02 1.02 1.00 2/95 10402
/proc/meminfo: memFree=1258044/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2420 CPUtime=1.27
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 386 11318 0 0 0 0 122 5 18 0 1 0 1012594662 2478080 278 4294967295 134512640 135169312 3220761312 3220757528 3084926702 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7567/statm: 605 278 235 161 0 44 0
[pid=7573] ppid=7567 vsize=193044 CPUtime=880.93
/proc/7573/stat : 7573 (minisat_static) R 7567 7567 10114 0 -1 4202496 48110 0 0 0 88048 45 0 0 25 0 1 0 1012594796 197677056 48045 4294967295 134512640 135215339 3220661008 3220659296 134528734 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7573/statm: 48261 48045 73 172 0 48088 0
Current children cumulated CPU time (s) 882.2
Current children cumulated vsize (KiB) 195464
[startup+942.314 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 10590
/proc/meminfo: memFree=1257864/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2420 CPUtime=1.27
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 386 11318 0 0 0 0 122 5 18 0 1 0 1012594662 2478080 278 4294967295 134512640 135169312 3220761312 3220757528 3084926702 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7567/statm: 605 278 235 161 0 44 0
[pid=7573] ppid=7567 vsize=193044 CPUtime=940.93
/proc/7573/stat : 7573 (minisat_static) R 7567 7567 10114 0 -1 4202496 48110 0 0 0 94042 51 0 0 25 0 1 0 1012594796 197677056 48045 4294967295 134512640 135215339 3220661008 3220659296 134528624 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7573/statm: 48261 48045 73 172 0 48088 0
Current children cumulated CPU time (s) 942.2
Current children cumulated vsize (KiB) 195464
[startup+1002.32 s]
/proc/loadavg: 1.06 1.02 1.00 3/95 10777
/proc/meminfo: memFree=1257756/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2420 CPUtime=1.27
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 386 11318 0 0 0 0 122 5 18 0 1 0 1012594662 2478080 278 4294967295 134512640 135169312 3220761312 3220757528 3084926702 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7567/statm: 605 278 235 161 0 44 0
[pid=7573] ppid=7567 vsize=193044 CPUtime=1000.94
/proc/7573/stat : 7573 (minisat_static) R 7567 7567 10114 0 -1 4202496 48110 0 0 0 100043 51 0 0 25 0 1 0 1012594796 197677056 48045 4294967295 134512640 135215339 3220661008 3220659296 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7573/statm: 48261 48045 73 172 0 48088 0
Current children cumulated CPU time (s) 1002.21
Current children cumulated vsize (KiB) 195464
[startup+1062.31 s]
/proc/loadavg: 1.09 1.03 1.00 3/95 10968
/proc/meminfo: memFree=1257872/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2420 CPUtime=1.27
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 386 11318 0 0 0 0 122 5 18 0 1 0 1012594662 2478080 278 4294967295 134512640 135169312 3220761312 3220757528 3084926702 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7567/statm: 605 278 235 161 0 44 0
[pid=7573] ppid=7567 vsize=193044 CPUtime=1060.93
/proc/7573/stat : 7573 (minisat_static) R 7567 7567 10114 0 -1 4202496 48110 0 0 0 106042 51 0 0 25 0 1 0 1012594796 197677056 48045 4294967295 134512640 135215339 3220661008 3220659296 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7573/statm: 48261 48045 73 172 0 48088 0
Current children cumulated CPU time (s) 1062.2
Current children cumulated vsize (KiB) 195464
[startup+1122.32 s]
/proc/loadavg: 1.03 1.03 1.00 2/95 11157
/proc/meminfo: memFree=1257640/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2420 CPUtime=1.27
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 386 11318 0 0 0 0 122 5 18 0 1 0 1012594662 2478080 278 4294967295 134512640 135169312 3220761312 3220757528 3084926702 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7567/statm: 605 278 235 161 0 44 0
[pid=7573] ppid=7567 vsize=193044 CPUtime=1120.94
/proc/7573/stat : 7573 (minisat_static) R 7567 7567 10114 0 -1 4202496 48110 0 0 0 112043 51 0 0 25 0 1 0 1012594796 197677056 48045 4294967295 134512640 135215339 3220661008 3220659072 134539366 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7573/statm: 48261 48045 73 172 0 48088 0
Current children cumulated CPU time (s) 1122.21
Current children cumulated vsize (KiB) 195464
[startup+1182.31 s]
/proc/loadavg: 1.01 1.02 1.00 2/95 11345
/proc/meminfo: memFree=1247240/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2420 CPUtime=1.27
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 386 11318 0 0 0 0 122 5 18 0 1 0 1012594662 2478080 278 4294967295 134512640 135169312 3220761312 3220757528 3084926702 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7567/statm: 605 278 235 161 0 44 0
[pid=7573] ppid=7567 vsize=203612 CPUtime=1180.94
/proc/7573/stat : 7573 (minisat_static) R 7567 7567 10114 0 -1 4202496 50770 0 0 0 118040 54 0 0 25 0 1 0 1012594796 208498688 50705 4294967295 134512640 135215339 3220661008 3220659072 134538302 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7573/statm: 50903 50705 73 172 0 50730 0
Current children cumulated CPU time (s) 1182.21
Current children cumulated vsize (KiB) 206032
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.12 s]
/proc/loadavg: 1.01 1.02 1.00 2/95 11346
/proc/meminfo: memFree=1246756/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2420 CPUtime=1.27
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 386 11318 0 0 0 0 122 5 18 0 1 0 1012594662 2478080 278 4294967295 134512640 135169312 3220761312 3220757528 3084926702 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7567/statm: 605 278 235 161 0 44 0
[pid=7573] ppid=7567 vsize=204140 CPUtime=1198.75
/proc/7573/stat : 7573 (minisat_static) R 7567 7567 10114 0 -1 4202496 50896 0 0 0 119819 56 0 0 25 0 1 0 1012594796 209039360 50831 4294967295 134512640 135215339 3220661008 3220659296 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7573/statm: 51035 50831 73 172 0 50862 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 206560
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.12 s]
/proc/loadavg: 1.01 1.02 1.00 2/95 11346
/proc/meminfo: memFree=1246756/2074464 swapFree=1950884/1959888
[pid=7567] ppid=7565 vsize=2420 CPUtime=1.27
/proc/7567/stat : 7567 (SatELiteGTI) S 7565 7567 10114 0 -1 4194304 386 11318 0 0 0 0 122 5 18 0 1 0 1012594662 2478080 278 4294967295 134512640 135169312 3220761312 3220757528 3084926702 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7567/statm: 605 278 235 161 0 44 0
[pid=7573] ppid=7567 vsize=204140 CPUtime=1198.75
/proc/7573/stat : 7573 (minisat_static) R 7567 7567 10114 0 -1 4202496 50896 0 0 0 119819 56 0 0 25 0 1 0 1012594796 209039360 50831 4294967295 134512640 135215339 3220661008 3220659296 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7573/statm: 51035 50831 73 172 0 50862 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 206560
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.14
CPU time (s): 1200.03
CPU user time (s): 1199.41
CPU system time (s): 0.62
CPU usage (%): 99.9907
Max. virtual memory (cumulated for all children) (KiB): 206560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.41
system time used= 0.62
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62691
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= 21
involuntary context switches= 1397
runsolver used 0.01 second user time and 0.04 second system time
The end
Begin job on tipi13 at 2009-05-16 15:35:38
IDJOB=1820824
IDBENCH=69611
IDSOLVER=657
FILE ID=tipi13/1820824-1242480938
PBS_JOBID=
Free space on /tmp= 7274 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= runsolver --timestamp -w /tmp/evaluation-result-1820824-1242480938/watcher-1820824-1242480938 -o /tmp/evaluation-result-1820824-1242480938/solver-1820824-1242480938 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820824-1242480938.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b0a37265834986ac9165bda379d279fd
RANDOM SEED= 777230673
Linux tipi13 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1457428 kB
Buffers: 38260 kB
Cached: 487156 kB
SwapCached: 3452 kB
Active: 308116 kB
Inactive: 226796 kB
HighTotal: 1178688 kB
HighFree: 715964 kB
LowTotal: 895776 kB
LowFree: 741464 kB
SwapTotal: 1959888 kB
SwapFree: 1950884 kB
Dirty: 7156 kB
Writeback: 0 kB
AnonPages: 8620 kB
Mapped: 2936 kB
Slab: 74140 kB
PageTables: 468 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90596 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 7271 MiB
End job on tipi13 at 2009-05-16 15:55:41