0.00/0.00 c Parsing...
0.00/0.14 c ==============================================================================
0.00/0.14 c | | ORIGINAL | LEARNT | |
0.00/0.14 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.14 c ==============================================================================
0.00/0.14 c | 0 | 146471 858890 | 43941 0 0 nan | 0.000 % |
4.38/4.44 c | 0 | 96618 601066 | -- 0 -- -- | -- | -7613/32224
4.38/4.44 c ==============================================================================
4.38/4.44 c Result : #vars: 426 #clauses: 96618 #literals: 601066
4.38/4.44 c CPU time: 4.41233 s
4.38/4.44 c ==============================================================================
4.58/4.62 c This is MiniSat 2.0 beta
4.58/4.62 c WARNING: for repeatability, setting FPU to use double precision
4.58/4.62 c ============================[ Problem Statistics ]=============================
4.58/4.62 c | |
4.58/4.62 c | Number of variables: 426 |
4.58/4.62 c | Number of clauses: 96618 |
4.58/4.69 c | Parsing time: 0.06 s |
4.58/4.69 c ============================[ Search Statistics ]==============================
4.58/4.69 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.58/4.69 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.58/4.69 c ===============================================================================
4.58/4.69 c | 0 | 426 96618 601066 | 32206 0 nan | 0.000 % |
4.60/4.70 c | 102 | 426 96618 601066 | 32206 102 12 | 0.001 % |
4.60/4.71 c | 202 | 426 96618 601066 | 32206 202 11 | 0.006 % |
4.60/4.71 c | 302 | 425 96618 601066 | 32206 301 11 | 0.235 % |
4.60/4.72 c | 415 | 425 96618 601066 | 32206 414 12 | 0.235 % |
4.60/4.72 c | 515 | 425 96618 601066 | 32206 514 13 | 0.235 % |
4.60/4.73 c | 625 | 425 96618 601066 | 32206 624 17 | 0.235 % |
4.60/4.74 c | 747 | 425 96618 601066 | 32206 746 18 | 0.235 % |
4.60/4.74 c | 848 | 425 96618 601066 | 32206 847 18 | 0.236 % |
4.60/4.75 c | 959 | 425 96618 601066 | 32206 958 19 | 0.235 % |
4.60/4.75 c | 1080 | 425 96618 601066 | 32206 1079 19 | 0.235 % |
4.60/4.76 c | 1215 | 425 96618 601066 | 32206 1214 20 | 0.235 % |
4.60/4.76 c | 1316 | 425 96618 601066 | 32206 1315 20 | 0.236 % |
4.60/4.77 c | 1429 | 424 96618 601066 | 32206 1427 20 | 0.470 % |
4.60/4.78 c | 1550 | 424 96618 601066 | 32206 1548 20 | 0.470 % |
4.60/4.78 c | 1683 | 424 96618 601066 | 32206 1681 20 | 0.470 % |
4.60/4.79 c | 1829 | 424 96618 601066 | 32206 1827 19 | 0.470 % |
4.60/4.80 c | 1932 | 424 96618 601066 | 32206 1930 19 | 0.473 % |
4.60/4.80 c | 2042 | 424 96618 601066 | 32206 2040 18 | 0.472 % |
4.60/4.81 c | 2164 | 424 96618 601066 | 32206 2162 18 | 0.470 % |
4.60/4.81 c | 2298 | 424 96618 601066 | 32206 2296 19 | 0.471 % |
4.60/4.82 c | 2446 | 424 96618 601066 | 32206 2444 19 | 0.470 % |
4.60/4.83 c | 2606 | 423 96618 601066 | 32206 2603 19 | 0.705 % |
4.60/4.84 c | 2707 | 423 96618 601066 | 32206 2704 19 | 0.705 % |
4.60/4.84 c | 2817 | 423 96618 601066 | 32206 2814 19 | 0.709 % |
4.60/4.85 c | 2938 | 423 96618 601066 | 32206 2935 18 | 0.709 % |
4.60/4.85 c | 3072 | 423 96618 601066 | 32206 3069 18 | 0.707 % |
4.60/4.86 c | 3224 | 423 96618 601066 | 32206 3221 19 | 0.705 % |
4.60/4.87 c | 3384 | 423 96618 601066 | 32206 3381 19 | 0.705 % |
4.60/4.88 c | 3560 | 423 96618 601066 | 32206 3557 19 | 0.705 % |
4.60/4.89 c | 3661 | 423 96618 601066 | 32206 3658 19 | 0.705 % |
4.60/4.90 c | 3777 | 423 96618 601066 | 32206 3774 20 | 0.712 % |
4.60/4.90 c | 3899 | 423 96618 601066 | 32206 3896 20 | 0.706 % |
4.60/4.91 c | 4038 | 423 96618 601066 | 32206 4035 20 | 0.705 % |
4.60/4.92 c | 4186 | 423 96618 601066 | 32206 4183 20 | 0.705 % |
4.60/4.92 c | 4347 | 423 96618 601066 | 32206 4344 20 | 0.705 % |
4.60/4.93 c | 4524 | 423 96618 601066 | 32206 4521 20 | 0.705 % |
4.60/4.95 c | 4723 | 423 96618 601066 | 32206 4720 21 | 0.705 % |
4.60/4.95 c | 4825 | 423 96618 601066 | 32206 4822 21 | 0.705 % |
4.60/4.96 c | 4935 | 423 96618 601066 | 32206 4932 21 | 0.705 % |
4.60/4.97 c | 5056 | 423 96618 601066 | 32206 5053 20 | 0.709 % |
4.60/4.98 c | 5189 | 423 96618 601066 | 32206 5186 21 | 0.705 % |
4.60/4.98 c | 5335 | 423 96618 601066 | 32206 5332 21 | 0.705 % |
4.60/4.99 c | 5495 | 423 96618 601066 | 32206 5492 21 | 0.705 % |
4.60/5.00 c | 5671 | 423 96618 601066 | 32206 5668 21 | 0.705 % |
4.60/5.01 c | 5867 | 423 96618 601066 | 32206 5864 20 | 0.705 % |
4.60/5.03 c | 6080 | 423 96618 601066 | 32206 6077 21 | 0.705 % |
4.60/5.03 c | 6180 | 423 96618 601066 | 32206 6177 21 | 0.705 % |
4.60/5.04 c | 6294 | 423 96618 601066 | 32206 6291 21 | 0.705 % |
4.60/5.05 c | 6415 | 423 96618 601066 | 32206 6412 21 | 0.706 % |
4.60/5.06 c | 6548 | 423 96618 601066 | 32206 6545 21 | 0.705 % |
4.60/5.07 c | 6694 | 423 96618 601066 | 32206 6691 21 | 0.705 % |
4.60/5.07 c | 6855 | 423 96618 601066 | 32206 6852 21 | 0.705 % |
4.60/5.08 c | 7031 | 423 96618 601066 | 32206 7028 21 | 0.705 % |
4.60/5.09 c | 7224 | 423 96618 601066 | 32206 7221 21 | 0.705 % |
4.60/5.10 c | 7437 | 423 96618 601066 | 32206 7434 21 | 0.705 % |
4.60/5.11 c | 7671 | 423 96618 601066 | 32206 7668 21 | 0.705 % |
4.60/5.12 c | 7771 | 423 96618 601066 | 32206 7768 20 | 0.705 % |
4.60/5.13 c | 7885 | 423 96618 601066 | 32206 7882 21 | 0.711 % |
4.60/5.13 c | 8006 | 423 96618 601066 | 32206 8003 21 | 0.705 % |
4.60/5.15 c | 8141 | 423 96618 601066 | 32206 8138 21 | 0.705 % |
4.60/5.15 c | 8287 | 423 96618 601066 | 32206 8284 21 | 0.705 % |
4.60/5.16 c | 8447 | 423 96618 601066 | 32206 8444 21 | 0.705 % |
4.60/5.17 c | 8624 | 423 96618 601066 | 32206 8621 21 | 0.705 % |
4.60/5.18 c | 8817 | 423 96618 601066 | 32206 8814 21 | 0.705 % |
4.60/5.19 c | 9029 | 423 96618 601066 | 32206 9026 21 | 0.705 % |
4.60/5.21 c | 9263 | 423 96618 601066 | 32206 9260 21 | 0.705 % |
4.60/5.23 c | 9527 | 423 96618 601066 | 32206 9524 21 | 0.705 % |
4.60/5.23 c | 9630 | 423 96618 601066 | 32206 9627 21 | 0.705 % |
4.60/5.24 c | 9742 | 423 96618 601066 | 32206 9739 21 | 0.705 % |
4.60/5.25 c | 9863 | 423 96618 601066 | 32206 9860 21 | 0.705 % |
4.60/5.26 c | 9999 | 423 96618 601066 | 32206 9996 21 | 0.705 % |
4.60/5.27 c | 10146 | 423 96618 601066 | 2147483647 10143 21 | 0.705 % |
4.60/5.27 c | 10306 | 423 96618 601066 | 2147483647 10303 21 | 0.705 % |
4.60/5.28 c | 10484 | 423 96618 601066 | 2147483647 10481 22 | 0.705 % |
4.60/5.30 c | 10679 | 423 96618 601066 | 2147483647 10676 22 | 0.705 % |
4.60/5.31 c | 10892 | 423 96618 601066 | 2147483647 10889 21 | 0.705 % |
4.60/5.32 c | 11125 | 423 96618 601066 | 2147483647 11122 21 | 0.705 % |
4.60/5.34 c | 11383 | 423 96618 601066 | 2147483647 11380 21 | 0.705 % |
4.60/5.36 c | 11664 | 423 96618 601066 | 2147483647 11661 21 | 0.705 % |
4.60/5.36 c | 11764 | 423 96618 601066 | 2147483647 11761 21 | 0.707 % |
4.60/5.37 c | 11874 | 423 96618 601066 | 2147483647 11871 21 | 0.708 % |
4.60/5.38 c | 11995 | 423 96618 601066 | 2147483647 11992 21 | 0.705 % |
4.60/5.39 c | 12128 | 423 96618 601066 | 2147483647 12125 21 | 0.705 % |
4.60/5.40 c | 12274 | 423 96618 601066 | 2147483647 12271 21 | 0.710 % |
5.37/5.41 c | 12434 | 423 96618 601066 | 2147483647 12431 21 | 0.705 % |
5.37/5.42 c | 12610 | 423 96618 601066 | 2147483647 12607 21 | 0.706 % |
5.37/5.43 c | 12803 | 423 96618 601066 | 2147483647 12800 21 | 0.705 % |
5.37/5.45 c | 13015 | 423 96618 601066 | 2147483647 13012 21 | 0.705 % |
5.37/5.46 c | 13250 | 423 96618 601066 | 2147483647 13247 21 | 0.705 % |
5.37/5.48 c | 13509 | 423 96618 601066 | 2147483647 13506 22 | 0.705 % |
5.37/5.49 c | 13790 | 423 96618 601066 | 2147483647 13787 22 | 0.705 % |
5.46/5.52 c | 14099 | 423 96618 601066 | 2147483647 14096 22 | 0.705 % |
5.46/5.53 c | 14205 | 423 96618 601066 | 2147483647 14202 22 | 0.705 % |
5.46/5.53 c | 14315 | 423 96618 601066 | 2147483647 14312 22 | 0.705 % |
5.46/5.54 c | 14436 | 423 96618 601066 | 2147483647 14433 22 | 0.705 % |
5.46/5.55 c | 14569 | 423 96618 601066 | 2147483647 14566 22 | 0.705 % |
5.46/5.56 c | 14718 | 423 96618 601066 | 2147483647 14715 22 | 0.705 % |
5.46/5.58 c | 14878 | 423 96618 601066 | 2147483647 14875 22 | 0.705 % |
5.46/5.59 c | 15054 | 423 96618 601066 | 2147483647 15051 22 | 0.705 % |
5.56/5.60 c | 15247 | 423 96618 601066 | 2147483647 15244 22 | 0.705 % |
5.56/5.62 c | 15459 | 423 96618 601066 | 2147483647 15456 22 | 0.713 % |
5.56/5.64 c | 15692 | 422 96618 601066 | 2147483647 15688 22 | 0.940 % |
5.56/5.66 c | 15948 | 422 96618 601066 | 2147483647 15944 22 | 0.940 % |
5.56/5.68 c | 16231 | 422 96618 601066 | 2147483647 16227 22 | 0.944 % |
5.56/5.69 c | 16541 | 422 96618 601066 | 2147483647 16537 22 | 0.940 % |
5.66/5.72 c | 16883 | 422 96618 601066 | 2147483647 16879 22 | 0.940 % |
5.66/5.73 c | 16984 | 422 96618 601066 | 2147483647 16980 22 | 0.940 % |
5.66/5.74 c | 17094 | 422 96618 601066 | 2147483647 17090 22 | 0.940 % |
5.66/5.75 c | 17216 | 422 96618 601066 | 2147483647 17212 22 | 0.940 % |
5.66/5.76 c | 17349 | 422 96618 601066 | 2147483647 17345 22 | 0.940 % |
5.66/5.77 c | 17495 | 422 96618 601066 | 2147483647 17491 22 | 0.940 % |
5.66/5.78 c | 17657 | 422 96618 601066 | 2147483647 17653 22 | 0.944 % |
5.66/5.79 c | 17834 | 422 96618 601066 | 2147483647 17830 22 | 0.942 % |
5.76/5.80 c | 18027 | 422 96618 601066 | 2147483647 18023 22 | 0.949 % |
5.76/5.82 c | 18242 | 422 96618 601066 | 2147483647 18238 22 | 0.940 % |
5.76/5.83 c | 18475 | 422 96618 601066 | 2147483647 18471 22 | 0.940 % |
5.76/5.85 c | 18732 | 422 96618 601066 | 2147483647 18728 22 | 0.940 % |
5.76/5.87 c | 19014 | 422 96618 601066 | 2147483647 19010 22 | 0.940 % |
5.86/5.90 c | 19323 | 422 96618 601066 | 2147483647 19319 22 | 0.940 % |
5.86/5.92 c | 19663 | 422 96618 601066 | 2147483647 19659 22 | 0.944 % |
5.86/5.95 c | 20036 | 422 96618 601066 | 2147483647 20032 23 | 0.940 % |
5.86/5.96 c | 20139 | 422 96618 601066 | 2147483647 20135 23 | 0.940 % |
5.86/5.97 c | 20249 | 422 96618 601066 | 2147483647 20245 23 | 0.940 % |
5.86/5.98 c | 20370 | 422 96618 601066 | 2147483647 20366 23 | 0.940 % |
5.86/6.00 c | 20503 | 422 96618 601066 | 2147483647 20499 23 | 0.940 % |
5.95/6.01 c | 20651 | 422 96618 601066 | 2147483647 20647 23 | 0.940 % |
5.95/6.03 c | 20813 | 422 96618 601066 | 2147483647 20809 22 | 0.941 % |
5.95/6.04 c | 20994 | 422 96618 601066 | 2147483647 20990 23 | 0.940 % |
5.95/6.06 c | 21187 | 422 96618 601066 | 2147483647 21183 23 | 0.940 % |
5.95/6.07 c | 21399 | 422 96618 601066 | 2147483647 21395 23 | 0.940 % |
5.95/6.09 c | 21632 | 422 96618 601066 | 2147483647 21628 23 | 0.940 % |
6.05/6.11 c | 21888 | 422 96618 601066 | 2147483647 21884 23 | 0.940 % |
6.05/6.13 c | 22171 | 422 96618 601066 | 2147483647 22167 23 | 0.940 % |
6.05/6.15 c | 22480 | 422 96618 601066 | 2147483647 22476 23 | 0.940 % |
6.05/6.18 c | 22821 | 422 96618 601066 | 2147483647 22817 23 | 0.940 % |
6.15/6.20 c | 23193 | 422 96618 601066 | 2147483647 23189 23 | 0.940 % |
6.15/6.23 c | 23604 | 422 96618 601066 | 2147483647 23600 23 | 0.940 % |
6.15/6.23 c | 23704 | 422 96618 601066 | 2147483647 23700 23 | 0.941 % |
6.15/6.24 c | 23816 | 422 96618 601066 | 2147483647 23812 23 | 0.940 % |
6.15/6.25 c | 23939 | 422 96618 601066 | 2147483647 23935 23 | 0.940 % |
6.15/6.26 c | 24073 | 422 96618 601066 | 2147483647 24069 23 | 0.940 % |
6.15/6.28 c | 24220 | 422 96618 601066 | 2147483647 24216 23 | 0.940 % |
6.15/6.29 c | 24382 | 422 96618 601066 | 2147483647 24378 23 | 0.944 % |
6.25/6.30 c | 24559 | 422 96618 601066 | 2147483647 24555 23 | 0.940 % |
6.25/6.32 c | 24755 | 422 96618 601066 | 2147483647 24751 23 | 0.940 % |
6.25/6.34 c | 24967 | 422 96618 601066 | 2147483647 24963 23 | 0.940 % |
6.25/6.36 c | 25201 | 422 96618 601066 | 2147483647 25197 23 | 0.940 % |
6.25/6.38 c | 25457 | 422 96618 601066 | 2147483647 25453 23 | 0.940 % |
6.35/6.40 c | 25739 | 422 96618 601066 | 2147483647 25735 23 | 0.940 % |
6.35/6.42 c | 26049 | 422 96618 601066 | 2147483647 26045 23 | 0.940 % |
6.35/6.45 c | 26388 | 422 96618 601066 | 2147483647 26384 23 | 0.940 % |
6.35/6.49 c | 26762 | 422 96618 601066 | 2147483647 26758 23 | 0.947 % |
6.45/6.54 c | 27172 | 422 96618 601066 | 2147483647 27168 23 | 0.940 % |
6.45/6.57 c | 27621 | 422 96618 601066 | 2147483647 27617 23 | 0.940 % |
6.45/6.58 c | 27721 | 422 96618 601066 | 2147483647 27717 23 | 0.940 % |
6.45/6.59 c | 27832 | 422 96618 601066 | 2147483647 27828 23 | 0.944 % |
6.55/6.60 c | 27953 | 422 96618 601066 | 2147483647 27949 23 | 0.942 % |
6.55/6.62 c | 28086 | 422 96618 601066 | 2147483647 28082 23 | 0.940 % |
6.55/6.64 c | 28233 | 422 96618 601066 | 2147483647 28229 23 | 0.940 % |
6.55/6.66 c | 28393 | 422 96618 601066 | 2147483647 28389 23 | 0.942 % |
6.55/6.67 c | 28569 | 422 96618 601066 | 2147483647 28565 23 | 0.940 % |
6.55/6.69 c | 28762 | 422 96618 601066 | 2147483647 28758 23 | 0.940 % |
6.65/6.71 c | 28976 | 422 96618 601066 | 2147483647 28972 23 | 0.944 % |
6.65/6.73 c | 29209 | 422 96618 601066 | 2147483647 29205 23 | 0.940 % |
6.65/6.76 c | 29465 | 422 96618 601066 | 2147483647 29461 23 | 0.946 % |
6.65/6.78 c | 29746 | 422 96618 601066 | 2147483647 29742 23 | 0.944 % |
6.75/6.80 c | 30055 | 422 96618 601066 | 2147483647 30051 23 | 0.940 % |
6.75/6.84 c | 30394 | 422 96618 601066 | 2147483647 30390 24 | 0.940 % |
6.75/6.88 c | 30767 | 422 96618 601066 | 2147483647 30763 24 | 0.940 % |
6.85/6.91 c | 31176 | 422 96618 601066 | 2147483647 31172 24 | 0.940 % |
6.85/6.95 c | 31626 | 422 96618 601066 | 2147483647 31622 24 | 0.940 % |
6.85/6.99 c | 32119 | 422 96618 601066 | 2147483647 32115 24 | 0.940 % |
6.95/7.00 c | 32221 | 422 96618 601066 | 2147483647 32217 24 | 0.940 % |
6.95/7.02 c | 32331 | 422 96618 601066 | 2147483647 32327 24 | 0.941 % |
6.95/7.03 c | 32453 | 422 96618 601066 | 2147483647 32449 24 | 0.940 % |
6.95/7.04 c | 32587 | 422 96618 601066 | 2147483647 32583 24 | 0.940 % |
6.95/7.06 c | 32733 | 422 96618 601066 | 2147483647 32729 24 | 0.940 % |
6.95/7.09 c | 32893 | 422 96618 601066 | 2147483647 32889 24 | 0.940 % |
7.05/7.11 c | 33070 | 422 96618 601066 | 2147483647 33066 24 | 0.940 % |
7.05/7.13 c | 33267 | 422 96618 601066 | 2147483647 33263 24 | 0.940 % |
7.05/7.16 c | 33479 | 422 96618 601066 | 2147483647 33475 24 | 0.940 % |
7.05/7.18 c | 33715 | 422 96618 601066 | 2147483647 33711 24 | 0.940 % |
7.15/7.20 c | 33972 | 422 96618 601066 | 2147483647 33968 24 | 0.940 % |
7.15/7.23 c | 34254 | 422 96618 601066 | 2147483647 34250 24 | 0.940 % |
7.15/7.25 c | 34563 | 422 96618 601066 | 2147483647 34559 24 | 0.946 % |
7.15/7.29 c | 34904 | 422 96618 601066 | 2147483647 34900 24 | 0.940 % |
7.25/7.32 c | 35277 | 422 96618 601066 | 2147483647 35273 24 | 0.940 % |
7.25/7.37 c | 35687 | 422 96618 601066 | 2147483647 35683 24 | 0.940 % |
7.35/7.42 c | 36140 | 422 96618 601066 | 2147483647 36136 24 | 0.940 % |
7.35/7.46 c | 36633 | 422 96618 601066 | 2147483647 36629 24 | 0.940 % |
7.45/7.52 c | 37175 | 422 96618 601066 | 2147483647 37171 24 | 0.940 % |
7.45/7.54 c | 37275 | 422 96618 601066 | 2147483647 37271 24 | 0.940 % |
7.45/7.56 c | 37386 | 422 96618 601066 | 2147483647 37382 24 | 0.941 % |
7.45/7.57 c | 37518 | 422 96618 601066 | 2147483647 37514 24 | 0.940 % |
7.45/7.59 c | 37653 | 422 96618 601066 | 2147483647 37649 24 | 0.940 % |
7.56/7.61 c | 37799 | 422 96618 601066 | 2147483647 37795 24 | 0.940 % |
7.56/7.64 c | 37960 | 422 96618 601066 | 2147483647 37956 24 | 0.941 % |
7.56/7.66 c | 38136 | 422 96618 601066 | 2147483647 38132 24 | 0.942 % |
7.56/7.68 c | 38331 | 422 96618 601066 | 2147483647 38327 24 | 0.940 % |
7.65/7.70 c | 38543 | 422 96618 601066 | 2147483647 38539 24 | 0.940 % |
7.65/7.73 c | 38780 | 422 96618 601066 | 2147483647 38776 24 | 0.941 % |
7.65/7.76 c | 39045 | 422 96618 601066 | 2147483647 39041 24 | 0.940 % |
7.75/7.80 c | 39326 | 422 96618 601066 | 2147483647 39322 24 | 0.940 % |
7.75/7.84 c | 39635 | 422 96618 601066 | 2147483647 39631 24 | 0.940 % |
7.75/7.86 c | 39974 | 422 96618 601066 | 2147483647 39970 24 | 0.940 % |
7.85/7.92 c | 40346 | 422 96618 601066 | 2147483647 40342 24 | 0.940 % |
7.85/7.96 c | 40759 | 422 96618 601066 | 2147483647 40755 24 | 0.940 % |
7.85/7.99 c | 41214 | 422 96618 601066 | 2147483647 41210 24 | 0.940 % |
7.95/8.04 c | 41709 | 422 96618 601066 | 2147483647 41705 24 | 0.941 % |
7.95/8.09 c | 42252 | 422 96618 601066 | 2147483647 42248 24 | 0.941 % |
8.05/8.14 c | 42848 | 422 96618 601066 | 2147483647 42844 24 | 0.944 % |
8.05/8.16 c | 42949 | 422 96618 601066 | 2147483647 42945 24 | 0.944 % |
8.05/8.17 c | 43059 | 422 96618 601066 | 2147483647 43055 24 | 0.942 % |
8.05/8.19 c | 43181 | 422 96618 601066 | 2147483647 43177 24 | 0.940 % |
8.14/8.20 c | 43314 | 422 96618 601066 | 2147483647 43310 24 | 0.944 % |
8.14/8.21 c | 43460 | 422 96618 601066 | 2147483647 43456 24 | 0.944 % |
8.14/8.23 c | 43620 | 422 96618 601066 | 2147483647 43616 24 | 0.944 % |
8.14/8.24 c | 43797 | 422 96618 601066 | 2147483647 43793 24 | 0.944 % |
8.14/8.26 c | 43990 | 422 96618 601066 | 2147483647 43986 24 | 0.944 % |
8.14/8.28 c | 44203 | 422 96618 601066 | 2147483647 44199 23 | 0.944 % |
8.24/8.30 c | 44439 | 422 96618 601066 | 2147483647 44435 23 | 0.944 % |
8.24/8.34 c | 44696 | 421 96618 601066 | 2147483647 44691 23 | 1.174 % |
8.24/8.36 c | 44977 | 421 96618 601066 | 2147483647 44972 23 | 1.174 % |
8.34/8.40 c | 45287 | 421 96618 601066 | 2147483647 45282 23 | 1.174 % |
8.34/8.43 c | 45628 | 421 96618 601066 | 2147483647 45623 24 | 1.174 % |
8.34/8.47 c | 46001 | 421 96618 601066 | 2147483647 45996 24 | 1.174 % |
8.44/8.52 c | 46412 | 421 96618 601066 | 2147483647 46407 24 | 1.176 % |
8.44/8.57 c | 46861 | 421 96618 601066 | 2147483647 46856 24 | 1.175 % |
8.54/8.63 c | 47354 | 421 96618 601066 | 2147483647 47349 24 | 1.174 % |
8.65/8.71 c | 47896 | 421 96618 601066 | 2147483647 47891 24 | 1.176 % |
8.65/8.78 c | 48493 | 421 96618 601066 | 2147483647 48488 24 | 1.179 % |
8.74/8.84 c | 49148 | 421 96618 601066 | 2147483647 49143 24 | 1.174 % |
8.74/8.86 c | 49248 | 421 96618 601066 | 2147483647 49243 24 | 1.174 % |
8.74/8.87 c | 49359 | 421 96618 601066 | 2147483647 49354 24 | 1.174 % |
8.84/8.90 c | 49480 | 421 96618 601066 | 2147483647 49475 24 | 1.174 % |
8.84/8.92 c | 49614 | 421 96618 601066 | 2147483647 49609 24 | 1.175 % |
8.84/8.94 c | 49761 | 421 96618 601066 | 2147483647 49756 24 | 1.174 % |
8.84/8.96 c | 49921 | 421 96618 601066 | 2147483647 49916 24 | 1.181 % |
8.94/9.00 c | 50101 | 421 96618 601066 | 2147483647 50096 24 | 1.174 % |
8.94/9.03 c | 50299 | 421 96618 601066 | 2147483647 50294 24 | 1.174 % |
8.94/9.06 c | 50513 | 421 96618 601066 | 2147483647 50508 24 | 1.174 % |
9.05/9.10 c | 50746 | 421 96618 601066 | 2147483647 50741 24 | 1.174 % |
9.05/9.14 c | 51002 | 420 96618 601066 | 2147483647 50996 24 | 1.409 % |
9.05/9.18 c | 51283 | 420 96618 601066 | 2147483647 51277 24 | 1.409 % |
9.15/9.22 c | 51592 | 419 96618 601066 | 2147483647 51585 24 | 1.644 % |
9.15/9.27 c | 51932 | 419 96618 601066 | 2147483647 51925 24 | 1.645 % |
9.25/9.32 c | 52304 | 419 96618 601066 | 2147483647 52297 24 | 1.644 % |
9.25/9.37 c | 52714 | 419 96618 601066 | 2147483647 52707 24 | 1.644 % |
9.35/9.41 c | 53163 | 419 96618 601066 | 2147483647 53156 24 | 1.644 % |
9.35/9.45 c | 53656 | 419 96618 601066 | 2147483647 53649 24 | 1.644 % |
9.45/9.52 c | 54198 | 419 96618 601066 | 2147483647 54191 24 | 1.650 % |
9.45/9.57 c | 54794 | 419 96618 601066 | 2147483647 54787 24 | 1.644 % |
9.54/9.68 c | 55449 | 419 91870 573879 | 2147483647 54052 25 | 1.648 % |
9.64/9.74 c | 56170 | 419 91870 573879 | 2147483647 54773 25 | 1.645 % |
9.64/9.76 c | 56275 | 419 91870 573879 | 2147483647 54878 25 | 1.644 % |
9.64/9.77 c | 56385 | 419 91870 573879 | 2147483647 54988 25 | 1.645 % |
9.64/9.78 c | 56507 | 419 91870 573879 | 2147483647 55110 25 | 1.644 % |
9.75/9.81 c | 56640 | 419 91870 573879 | 2147483647 55243 25 | 1.644 % |
9.75/9.83 c | 56786 | 419 91870 573879 | 2147483647 55389 25 | 1.651 % |
9.75/9.85 c | 56947 | 419 91870 573879 | 2147483647 55550 25 | 1.645 % |
9.75/9.88 c | 57125 | 419 91870 573879 | 2147483647 55728 25 | 1.644 % |
9.85/9.91 c | 57319 | 419 91870 573879 | 2147483647 55922 25 | 1.645 % |
9.85/9.93 c | 57533 | 419 91870 573879 | 2147483647 56136 25 | 1.650 % |
9.85/9.97 c | 57766 | 419 91870 573879 | 2147483647 56369 25 | 1.644 % |
9.94/10.00 c | 58022 | 419 91870 573879 | 2147483647 56625 25 | 1.644 % |
9.94/10.04 c | 58304 | 419 91870 573879 | 2147483647 56907 25 | 1.644 % |
9.94/10.08 c | 58614 | 419 91870 573879 | 2147483647 57217 25 | 1.644 % |
10.04/10.13 c | 58954 | 419 91870 573879 | 2147483647 57557 25 | 1.644 % |
10.04/10.18 c | 59326 | 419 91870 573879 | 2147483647 57929 25 | 1.644 % |
10.14/10.21 c | 59737 | 419 91870 573879 | 2147483647 58340 25 | 1.644 % |
10.14/10.28 c | 60191 | 419 91870 573879 | 2147483647 58794 25 | 1.644 % |
10.24/10.33 c | 60689 | 419 91870 573879 | 2147483647 59292 25 | 1.645 % |
10.34/10.41 c | 61234 | 419 91870 573879 | 2147483647 59837 25 | 1.644 % |
10.34/10.48 c | 61830 | 419 91870 573879 | 2147483647 60433 25 | 1.649 % |
10.44/10.59 c | 62486 | 418 91870 573879 | 2147483647 61088 25 | 1.878 % |
10.54/10.68 c | 63206 | 418 91870 573879 | 2147483647 61808 25 | 1.880 % |
10.64/10.80 c | 64000 | 418 91870 573879 | 2147483647 62602 25 | 1.880 % |
10.74/10.82 c | 64101 | 418 91870 573879 | 2147483647 62703 25 | 1.880 % |
10.74/10.85 c | 64212 | 418 91870 573879 | 2147483647 62814 25 | 1.880 % |
10.74/10.87 c | 64333 | 418 91870 573879 | 2147483647 62935 25 | 1.878 % |
10.74/10.89 c | 64466 | 418 91870 573879 | 2147483647 63068 25 | 1.881 % |
10.84/10.91 c | 64612 | 418 91870 573879 | 2147483647 63214 25 | 1.878 % |
10.84/10.93 c | 64772 | 418 91870 573879 | 2147483647 63374 25 | 1.878 % |
10.84/10.96 c | 64949 | 418 91870 573879 | 2147483647 63551 25 | 1.878 % |
10.84/10.98 c | 65142 | 418 91870 573879 | 2147483647 63744 25 | 1.878 % |
10.94/11.01 c | 65356 | 418 91870 573879 | 2147483647 63958 25 | 1.878 % |
10.94/11.06 c | 65589 | 418 91870 573879 | 2147483647 64191 25 | 1.878 % |
11.04/11.12 c | 65846 | 418 91870 573879 | 2147483647 64448 25 | 1.878 % |
11.04/11.16 c | 66127 | 418 91870 573879 | 2147483647 64729 25 | 1.878 % |
11.14/11.20 c | 66436 | 418 91870 573879 | 2147483647 65038 25 | 1.878 % |
11.14/11.24 c | 66777 | 418 91870 573879 | 2147483647 65379 25 | 1.878 % |
11.23/11.30 c | 67149 | 418 91870 573879 | 2147483647 65751 25 | 1.878 % |
11.23/11.35 c | 67558 | 418 91870 573879 | 2147483647 66160 25 | 1.879 % |
11.33/11.44 c | 68008 | 418 91870 573879 | 2147483647 66610 25 | 1.878 % |
11.43/11.52 c | 68505 | 418 91870 573879 | 2147483647 67107 25 | 1.878 % |
11.43/11.58 c | 69048 | 418 91870 573879 | 2147483647 67650 25 | 1.878 % |
11.53/11.66 c | 69645 | 418 91870 573879 | 2147483647 68247 25 | 1.879 % |
11.63/11.72 c | 70300 | 418 91870 573879 | 2147483647 68902 25 | 1.878 % |
11.73/11.83 c | 71022 | 418 91870 573879 | 2147483647 69624 26 | 1.878 % |
11.83/11.96 c | 71816 | 418 91870 573879 | 2147483647 70418 26 | 1.878 % |
11.94/12.10 c | 72688 | 418 91870 573879 | 2147483647 71290 26 | 1.878 % |
12.04/12.12 c | 72790 | 418 91870 573879 | 2147483647 71392 26 | 1.878 % |
12.04/12.15 c | 72901 | 418 91870 573879 | 2147483647 71503 26 | 1.878 % |
12.04/12.17 c | 73028 | 418 91870 573879 | 2147483647 71630 26 | 1.878 % |
12.13/12.21 c | 73161 | 418 91870 573879 | 2147483647 71763 26 | 1.878 % |
12.13/12.26 c | 73309 | 418 91870 573879 | 2147483647 71911 26 | 1.878 % |
12.13/12.28 c | 73469 | 418 91870 573879 | 2147483647 72071 26 | 1.883 % |
12.23/12.30 c | 73646 | 418 91870 573879 | 2147483647 72248 26 | 1.879 % |
12.23/12.34 c | 73839 | 418 91870 573879 | 2147483647 72441 26 | 1.878 % |
12.23/12.38 c | 74053 | 418 91870 573879 | 2147483647 72655 26 | 1.878 % |
12.34/12.42 c | 74286 | 418 91870 573879 | 2147483647 72888 26 | 1.878 % |
12.34/12.47 c | 74542 | 418 91870 573879 | 2147483647 73144 26 | 1.883 % |
12.44/12.52 c | 74825 | 418 91870 573879 | 2147483647 73427 26 | 1.878 % |
12.44/12.55 c | 75136 | 418 91870 573879 | 2147483647 73738 26 | 1.878 % |
12.44/12.60 c | 75476 | 418 91870 573879 | 2147483647 74078 26 | 1.880 % |
12.54/12.65 c | 75851 | 418 91870 573879 | 2147483647 74453 26 | 1.878 % |
12.64/12.71 c | 76260 | 418 91870 573879 | 2147483647 74862 26 | 1.878 % |
12.64/12.79 c | 76710 | 418 91870 573879 | 2147483647 75312 26 | 1.878 % |
12.74/12.84 c | 77203 | 418 91870 573879 | 2147483647 75805 26 | 1.878 % |
12.84/12.92 c | 77745 | 418 91870 573879 | 2147483647 76347 26 | 1.878 % |
12.94/13.01 c | 78341 | 418 91870 573879 | 2147483647 76943 26 | 1.878 % |
13.04/13.15 c | 78996 | 418 91870 573879 | 2147483647 77598 26 | 1.878 % |
13.14/13.23 c | 79716 | 418 91870 573879 | 2147483647 78318 26 | 1.885 % |
13.23/13.38 c | 80510 | 418 91870 573879 | 2147483647 79112 26 | 1.878 % |
13.43/13.59 c | 81381 | 418 91870 573879 | 2147483647 79983 26 | 1.878 % |
13.63/13.77 c | 82339 | 418 91870 573879 | 2147483647 80941 26 | 1.878 % |
13.63/13.79 c | 82439 | 418 91870 573879 | 2147483647 81041 26 | 1.878 % |
13.73/13.81 c | 82550 | 418 91870 573879 | 2147483647 81152 26 | 1.880 % |
13.73/13.84 c | 82672 | 418 91870 573879 | 2147483647 81274 26 | 1.878 % |
13.73/13.87 c | 82806 | 418 91870 573879 | 2147483647 81408 26 | 1.878 % |
13.73/13.89 c | 82952 | 418 91870 573879 | 2147483647 81554 26 | 1.883 % |
13.83/13.92 c | 83112 | 418 91870 573879 | 2147483647 81714 26 | 1.886 % |
13.83/13.96 c | 83291 | 418 91870 573879 | 2147483647 81893 26 | 1.878 % |
13.93/14.00 c | 83484 | 418 91870 573879 | 2147483647 82086 26 | 1.878 % |
13.93/14.04 c | 83696 | 418 91870 573879 | 2147483647 82298 26 | 1.878 % |
13.93/14.08 c | 83930 | 418 91870 573879 | 2147483647 82532 26 | 1.878 % |
14.03/14.11 c | 84187 | 418 91870 573879 | 2147483647 82789 26 | 1.878 % |
14.03/14.16 c | 84472 | 418 91870 573879 | 2147483647 83074 26 | 1.878 % |
14.14/14.21 c | 84782 | 418 91870 573879 | 2147483647 83384 26 | 1.878 % |
14.14/14.29 c | 85123 | 418 91870 573879 | 2147483647 83725 26 | 1.878 % |
14.23/14.36 c | 85495 | 418 91870 573879 | 2147483647 84097 26 | 1.878 % |
14.33/14.43 c | 85904 | 418 91870 573879 | 2147483647 84506 26 | 1.880 % |
14.43/14.54 c | 86353 | 418 91870 573879 | 2147483647 84955 26 | 1.881 % |
14.53/14.61 c | 86846 | 418 91870 573879 | 2147483647 85448 26 | 1.878 % |
14.63/14.75 c | 87388 | 418 91870 573879 | 2147483647 85990 26 | 1.881 % |
14.73/14.86 c | 87985 | 418 91870 573879 | 2147483647 86587 26 | 1.883 % |
14.93/15.03 c | 88640 | 418 91870 573879 | 2147483647 87242 26 | 1.881 % |
15.13/15.21 c | 89360 | 417 91870 573879 | 2147483647 87961 26 | 2.114 % |
15.23/15.34 c | 90153 | 417 91870 573879 | 2147483647 88754 26 | 2.118 % |
15.33/15.47 c | 91024 | 417 91870 573879 | 2147483647 89625 26 | 2.113 % |
15.63/15.74 c | 91983 | 417 91870 573879 | 2147483647 90584 26 | 2.114 % |
15.84/15.94 c | 93038 | 417 91870 573879 | 2147483647 91639 26 | 2.113 % |
15.84/15.99 c | 93140 | 417 91870 573879 | 2147483647 91741 26 | 2.113 % |
15.93/16.01 c | 93251 | 417 91870 573879 | 2147483647 91852 26 | 2.113 % |
15.93/16.04 c | 93373 | 417 91870 573879 | 2147483647 91974 26 | 2.113 % |
15.93/16.07 c | 93506 | 417 91870 573879 | 2147483647 92107 26 | 2.113 % |
16.03/16.12 c | 93653 | 417 91870 573879 | 2147483647 92254 26 | 2.113 % |
16.03/16.14 c | 93814 | 417 91870 573879 | 2147483647 92415 26 | 2.113 % |
16.03/16.17 c | 93990 | 417 91870 573879 | 2147483647 92591 26 | 2.119 % |
16.13/16.23 c | 94185 | 417 91870 573879 | 2147483647 92786 26 | 2.113 % |
16.13/16.27 c | 94397 | 417 91870 573879 | 2147483647 92998 26 | 2.118 % |
16.23/16.31 c | 94630 | 417 91870 573879 | 2147483647 93231 26 | 2.113 % |
16.23/16.36 c | 94886 | 417 91870 573879 | 2147483647 93487 26 | 2.113 % |
16.23/16.39 c | 95168 | 417 91870 573879 | 2147483647 93769 26 | 2.114 % |
16.33/16.44 c | 95477 | 417 91870 573879 | 2147483647 94078 26 | 2.113 % |
16.33/16.49 c | 95816 | 417 91870 573879 | 2147483647 94417 26 | 2.113 % |
16.43/16.57 c | 96188 | 417 91870 573879 | 2147483647 94789 26 | 2.115 % |
16.53/16.66 c | 96597 | 417 91870 573879 | 2147483647 95198 26 | 2.113 % |
16.63/16.78 c | 97047 | 417 91870 573879 | 2147483647 95648 26 | 2.113 % |
16.73/16.89 c | 97541 | 417 91870 573879 | 2147483647 96142 26 | 2.113 % |
16.93/17.03 c | 98085 | 417 91870 573879 | 2147483647 96686 26 | 2.114 % |
17.03/17.17 c | 98681 | 417 91870 573879 | 2147483647 97282 26 | 2.114 % |
17.13/17.29 c | 99336 | 417 91870 573879 | 2147483647 97937 26 | 2.113 % |
17.33/17.47 c | 100056 | 417 91870 573879 | 2147483647 98657 26 | 2.113 % |
17.53/17.65 c | 100848 | 417 91870 573879 | 2147483647 99449 26 | 2.114 % |
17.73/17.85 c | 101720 | 417 91870 573879 | 2147483647 100321 27 | 2.113 % |
18.03/18.17 c | 102679 | 417 91870 573879 | 2147483647 101280 27 | 2.113 % |
18.43/18.50 c | 103732 | 417 91870 573879 | 2147483647 102333 27 | 2.113 % |
18.63/18.72 c | 104890 | 417 91870 573879 | 2147483647 103491 27 | 2.120 % |
18.63/18.75 c | 104991 | 417 91870 573879 | 2147483647 103592 27 | 2.113 % |
18.72/18.81 c | 105101 | 417 91870 573879 | 2147483647 103702 27 | 2.113 % |
18.72/18.83 c | 105222 | 417 91870 573879 | 2147483647 103823 27 | 2.113 % |
18.72/18.86 c | 105356 | 417 91870 573879 | 2147483647 103957 27 | 2.113 % |
18.72/18.89 c | 105502 | 417 91870 573879 | 2147483647 104103 27 | 2.118 % |
18.82/18.98 c | 105662 | 417 91870 573879 | 2147483647 104263 27 | 2.113 % |
18.92/19.03 c | 105839 | 417 91870 573879 | 2147483647 104440 27 | 2.113 % |
18.92/19.09 c | 106032 | 417 91870 573879 | 2147483647 104633 27 | 2.118 % |
19.02/19.18 c | 106244 | 417 91870 573879 | 2147483647 104845 27 | 2.114 % |
19.12/19.25 c | 106481 | 417 91870 573879 | 2147483647 105082 27 | 2.114 % |
19.22/19.32 c | 106741 | 417 91870 573879 | 2147483647 105342 27 | 2.113 % |
19.22/19.38 c | 107023 | 417 91870 573879 | 2147483647 105624 27 | 2.113 % |
19.42/19.50 c | 107332 | 417 91870 573879 | 2147483647 105933 27 | 2.113 % |
19.52/19.62 c | 107672 | 417 91870 573879 | 2147483647 106273 27 | 2.120 % |
19.63/19.71 c | 108045 | 417 91870 573879 | 2147483647 106646 27 | 2.113 % |
19.73/19.87 c | 108454 | 417 91870 573879 | 2147483647 107055 27 | 2.113 % |
19.82/19.96 c | 108903 | 417 91870 573879 | 2147483647 107504 27 | 2.113 % |
19.92/20.06 c | 109396 | 417 91870 573879 | 2147483647 107997 27 | 2.113 % |
20.02/20.16 c | 109939 | 417 91870 573879 | 2147483647 108540 27 | 2.113 % |
20.12/20.27 c | 110538 | 417 91870 573879 | 2147483647 109139 27 | 2.113 % |
20.32/20.45 c | 111193 | 417 91870 573879 | 2147483647 109794 27 | 2.113 % |
20.52/20.69 c | 111917 | 417 91870 573879 | 2147483647 110518 27 | 2.113 % |
20.72/20.87 c | 112710 | 417 91870 573879 | 2147483647 111311 27 | 2.118 % |
20.92/21.09 c | 113581 | 417 91870 573879 | 2147483647 112182 27 | 2.118 % |
21.22/21.35 c | 114539 | 417 91870 573879 | 2147483647 113140 27 | 2.113 % |
21.52/21.65 c | 115594 | 417 91870 573879 | 2147483647 114195 27 | 2.113 % |
21.83/21.95 c | 116753 | 417 91870 573879 | 2147483647 115354 27 | 2.113 % |
22.33/22.49 c | 118026 | 417 91870 573879 | 2147483647 116627 27 | 2.113 % |
22.43/22.53 c | 118129 | 417 91870 573879 | 2147483647 116730 27 | 2.113 % |
22.43/22.58 c | 118239 | 417 91870 573879 | 2147483647 116840 27 | 2.113 % |
22.53/22.62 c | 118361 | 417 91870 573879 | 2147483647 116962 27 | 2.113 % |
22.53/22.65 c | 118494 | 417 91870 573879 | 2147483647 117095 27 | 2.119 % |
22.53/22.69 c | 118640 | 417 91870 573879 | 2147483647 117241 27 | 2.119 % |
22.63/22.73 c | 118800 | 417 91870 573879 | 2147483647 117401 27 | 2.113 % |
22.63/22.77 c | 118978 | 417 91870 573879 | 2147483647 117579 27 | 2.113 % |
22.73/22.83 c | 119172 | 417 91870 573879 | 2147483647 117773 27 | 2.113 % |
22.73/22.89 c | 119385 | 417 91870 573879 | 2147483647 117986 27 | 2.113 % |
22.83/22.94 c | 119618 | 417 91870 573879 | 2147483647 118219 27 | 2.113 % |
22.93/23.01 c | 119874 | 417 91870 573879 | 2147483647 118475 27 | 2.113 % |
22.93/23.07 c | 120156 | 417 91870 573879 | 2147483647 118757 27 | 2.113 % |
23.03/23.16 c | 120465 | 417 91870 573879 | 2147483647 119066 27 | 2.113 % |
23.13/23.28 c | 120804 | 417 91870 573879 | 2147483647 119405 27 | 2.113 % |
23.23/23.37 c | 121176 | 417 91870 573879 | 2147483647 119777 27 | 2.119 % |
23.33/23.45 c | 121586 | 417 91870 573879 | 2147483647 120187 27 | 2.113 % |
23.53/23.68 c | 122036 | 417 91870 573879 | 2147483647 120637 27 | 2.113 % |
23.73/23.82 c | 122529 | 417 91870 573879 | 2147483647 121130 27 | 2.113 % |
23.93/24.10 c | 123071 | 417 91870 573879 | 2147483647 121672 27 | 2.113 % |
24.23/24.32 c | 123667 | 417 91870 573879 | 2147483647 122268 27 | 2.113 % |
24.43/24.59 c | 124323 | 417 91870 573879 | 2147483647 122924 27 | 2.113 % |
24.63/24.74 c | 125043 | 417 91870 573879 | 2147483647 123644 27 | 2.114 % |
24.92/25.04 c | 125837 | 417 91870 573879 | 2147483647 124438 27 | 2.113 % |
25.23/25.34 c | 126708 | 417 91870 573879 | 2147483647 125309 27 | 2.113 % |
25.52/25.61 c | 127667 | 417 91870 573879 | 2147483647 126268 27 | 2.113 % |
25.72/25.89 c | 128720 | 417 91870 573879 | 2147483647 127321 27 | 2.113 % |
26.22/26.39 c | 129881 | 417 91870 573879 | 2147483647 128482 27 | 2.113 % |
27.32/27.50 c | 131155 | 417 91870 573879 | 2147483647 129756 27 | 2.118 % |
28.22/28.30 c | 132556 | 417 91870 573879 | 2147483647 131157 27 | 2.118 % |
28.22/28.36 c | 132657 | 417 91870 573879 | 2147483647 131258 27 | 2.113 % |
28.32/28.40 c | 132767 | 417 91870 573879 | 2147483647 131368 27 | 2.113 % |
28.32/28.45 c | 132888 | 417 91870 573879 | 2147483647 131489 27 | 2.113 % |
28.32/28.49 c | 133026 | 417 91870 573879 | 2147483647 131627 27 | 2.114 % |
28.42/28.54 c | 133175 | 417 91870 573879 | 2147483647 131776 27 | 2.113 % |
28.42/28.59 c | 133337 | 417 91870 573879 | 2147483647 131938 27 | 2.114 % |
28.52/28.63 c | 133513 | 417 91870 573879 | 2147483647 132114 27 | 2.113 % |
28.62/28.70 c | 133706 | 417 91870 573879 | 2147483647 132307 27 | 2.114 % |
28.62/28.78 c | 133918 | 416 91870 573879 | 2147483647 132518 27 | 2.349 % |
28.72/28.83 c | 134156 | 416 91870 573879 | 2147483647 132756 27 | 2.348 % |
28.82/28.94 c | 134414 | 416 91870 573879 | 2147483647 133014 27 | 2.348 % |
28.92/29.04 c | 134696 | 415 91870 573879 | 2147483647 133295 27 | 2.583 % |
28.92/29.09 c | 135006 | 415 91870 573879 | 2147483647 133605 27 | 2.583 % |
29.12/29.22 c | 135348 | 415 91870 573879 | 2147483647 133947 27 | 2.583 % |
29.22/29.36 c | 135720 | 415 91870 573879 | 2147483647 134319 27 | 2.583 % |
29.42/29.50 c | 136129 | 415 91870 573879 | 2147483647 134728 27 | 2.583 % |
29.52/29.65 c | 136578 | 415 91870 573879 | 2147483647 135177 27 | 2.583 % |
29.72/29.82 c | 137072 | 415 91870 573879 | 2147483647 135671 27 | 2.583 % |
29.92/30.05 c | 137616 | 415 91870 573879 | 2147483647 136215 27 | 2.583 % |
30.12/30.23 c | 138212 | 415 91870 573879 | 2147483647 136811 27 | 2.583 % |
30.32/30.43 c | 138868 | 415 91870 573879 | 2147483647 137467 27 | 2.583 % |
30.42/30.59 c | 139590 | 415 91870 573879 | 2147483647 138189 27 | 2.583 % |
30.81/30.90 c | 140382 | 415 91870 573879 | 2147483647 138981 27 | 2.583 % |
30.91/31.09 c | 141253 | 415 91870 573879 | 2147483647 139852 27 | 2.583 % |
31.21/31.33 c | 142211 | 415 91870 573879 | 2147483647 140810 27 | 2.583 % |
31.52/31.69 c | 143265 | 415 91870 573879 | 2147483647 141864 28 | 2.583 % |
31.83/31.97 c | 144424 | 415 91870 573879 | 2147483647 143023 28 | 2.583 % |
32.12/32.24 c | 145697 | 415 91870 573879 | 2147483647 144296 28 | 2.583 % |
32.42/32.59 c | 147097 | 415 91870 573879 | 2147483647 145696 28 | 2.583 % |
33.11/33.20 c | 148638 | 415 91870 573879 | 2147483647 147237 28 | 2.583 % |
33.11/33.26 c | 148738 | 415 91870 573879 | 2147483647 147337 28 | 2.583 % |
33.21/33.34 c | 148848 | 415 91870 573879 | 2147483647 147447 28 | 2.583 % |
33.21/33.39 c | 148969 | 415 91870 573879 | 2147483647 147568 28 | 2.588 % |
33.31/33.44 c | 149102 | 415 91870 573879 | 2147483647 147701 28 | 2.583 % |
33.31/33.49 c | 149248 | 415 91870 573879 | 2147483647 147847 28 | 2.583 % |
33.41/33.53 c | 149409 | 415 91870 573879 | 2147483647 148008 28 | 2.583 % |
33.51/33.62 c | 149585 | 415 91870 573879 | 2147483647 148184 28 | 2.583 % |
33.61/33.70 c | 149780 | 415 91870 573879 | 2147483647 148379 28 | 2.583 % |
33.61/33.76 c | 149994 | 415 91870 573879 | 2147483647 148593 28 | 2.583 % |
33.71/33.83 c | 150228 | 415 91870 573879 | 2147483647 148827 28 | 2.584 % |
33.81/33.92 c | 150487 | 415 91870 573879 | 2147483647 149086 28 | 2.583 % |
33.92/34.01 c | 150768 | 415 91870 573879 | 2147483647 149367 28 | 2.583 % |
34.02/34.11 c | 151081 | 415 91870 573879 | 2147483647 149680 28 | 2.583 % |
34.11/34.24 c | 151420 | 415 91870 573879 | 2147483647 150019 28 | 2.583 % |
34.21/34.37 c | 151792 | 415 91870 573879 | 2147483647 150391 28 | 2.583 % |
34.31/34.50 c | 152201 | 415 91870 573879 | 2147483647 150800 28 | 2.583 % |
34.51/34.61 c | 152653 | 415 91870 573879 | 2147483647 151252 28 | 2.583 % |
34.61/34.73 c | 153148 | 415 91870 573879 | 2147483647 151747 28 | 2.583 % |
34.71/34.84 c | 153690 | 415 91870 573879 | 2147483647 152289 28 | 2.585 % |
34.81/34.98 c | 154287 | 415 91870 573879 | 2147483647 152886 28 | 2.583 % |
35.01/35.14 c | 154942 | 415 91870 573879 | 2147483647 153541 28 | 2.583 % |
35.21/35.32 c | 155664 | 415 91870 573879 | 2147483647 154263 28 | 2.589 % |
35.41/35.53 c | 156458 | 415 91870 573879 | 2147483647 155057 28 | 2.583 % |
35.61/35.78 c | 157329 | 415 91870 573879 | 2147483647 155928 28 | 2.587 % |
35.91/36.00 c | 158287 | 415 91870 573879 | 2147483647 156886 28 | 2.583 % |
36.11/36.30 c | 159346 | 415 91870 573879 | 2147483647 157945 28 | 2.584 % |
36.51/36.61 c | 160505 | 415 91870 573879 | 2147483647 159104 28 | 2.583 % |
36.91/37.06 c | 161780 | 415 91870 573879 | 2147483647 160379 28 | 2.583 % |
37.41/37.50 c | 163180 | 415 91870 573879 | 2147483647 161779 28 | 2.583 % |
37.80/37.97 c | 164720 | 415 91870 573879 | 2147483647 163319 28 | 2.583 % |
38.10/38.21 c | 166417 | 415 91870 573879 | 2147483647 165016 28 | 2.583 % |
38.10/38.26 c | 166518 | 415 91870 573879 | 2147483647 165117 28 | 2.583 % |
38.20/38.38 c | 166630 | 415 91870 573879 | 2147483647 165229 28 | 2.583 % |
38.31/38.43 c | 166754 | 415 91870 573879 | 2147483647 165353 28 | 2.583 % |
38.31/38.47 c | 166888 | 415 91870 573879 | 2147483647 165487 28 | 2.583 % |
38.41/38.54 c | 167036 | 415 91870 573879 | 2147483647 165635 28 | 2.583 % |
38.50/38.61 c | 167199 | 415 91870 573879 | 2147483647 165798 28 | 2.584 % |
38.50/38.69 c | 167375 | 415 91870 573879 | 2147483647 165974 28 | 2.583 % |
38.60/38.74 c | 167571 | 415 91870 573879 | 2147483647 166170 28 | 2.583 % |
38.70/38.86 c | 167785 | 415 91870 573879 | 2147483647 166384 28 | 2.583 % |
38.80/38.90 c | 168019 | 415 91870 573879 | 2147483647 166618 28 | 2.583 % |
38.90/39.00 c | 168275 | 415 91870 573879 | 2147483647 166874 28 | 2.583 % |
39.00/39.11 c | 168557 | 415 91870 573879 | 2147483647 167156 28 | 2.583 % |
39.10/39.28 c | 168866 | 415 91870 573879 | 2147483647 167465 28 | 2.583 % |
39.30/39.40 c | 169206 | 415 91870 573879 | 2147483647 167805 28 | 2.589 % |
39.41/39.58 c | 169579 | 415 91870 573879 | 2147483647 168178 28 | 2.583 % |
39.60/39.72 c | 169989 | 415 91870 573879 | 2147483647 168588 28 | 2.584 % |
39.80/39.95 c | 170440 | 415 91870 573879 | 2147483647 169039 28 | 2.583 % |
40.00/40.17 c | 170936 | 415 91870 573879 | 2147483647 169535 28 | 2.583 % |
40.20/40.34 c | 171478 | 415 91870 573879 | 2147483647 170077 28 | 2.583 % |
40.40/40.55 c | 172074 | 415 91870 573879 | 2147483647 170673 28 | 2.583 % |
40.70/40.83 c | 172730 | 415 91870 573879 | 2147483647 171329 28 | 2.583 % |
41.00/41.18 c | 173452 | 415 91870 573879 | 2147483647 172051 28 | 2.583 % |
41.30/41.43 c | 174244 | 415 91870 573879 | 2147483647 172843 28 | 2.583 % |
41.60/41.75 c | 175115 | 415 91870 573879 | 2147483647 173714 28 | 2.589 % |
42.00/42.10 c | 176073 | 415 91870 573879 | 2147483647 174672 29 | 2.583 % |
42.41/42.51 c | 177126 | 415 91870 573879 | 2147483647 175725 29 | 2.583 % |
43.01/43.16 c | 178284 | 415 91870 573879 | 2147483647 176883 29 | 2.589 % |
43.81/43.97 c | 179557 | 415 91870 573879 | 2147483647 178156 29 | 2.583 % |
44.50/44.63 c | 180957 | 415 91870 573879 | 2147483647 179556 29 | 2.583 % |
45.00/45.18 c | 182500 | 415 91870 573879 | 2147483647 181099 29 | 2.583 % |
45.90/46.08 c | 184195 | 415 91870 573879 | 2147483647 182794 29 | 2.583 % |
46.70/46.88 c | 186058 | 415 91870 573879 | 2147483647 184657 29 | 2.589 % |
46.80/46.92 c | 186159 | 415 91870 573879 | 2147483647 184758 29 | 2.583 % |
46.80/46.96 c | 186271 | 415 91870 573879 | 2147483647 184870 29 | 2.583 % |
46.90/47.02 c | 186392 | 415 91870 573879 | 2147483647 184991 29 | 2.591 % |
46.90/47.09 c | 186526 | 415 91870 573879 | 2147483647 185125 29 | 2.583 % |
47.10/47.23 c | 186675 | 415 91870 573879 | 2147483647 185274 29 | 2.583 % |
47.20/47.32 c | 186836 | 415 91870 573879 | 2147483647 185435 29 | 2.583 % |
47.29/47.43 c | 187013 | 415 91870 573879 | 2147483647 185612 29 | 2.583 % |
47.39/47.55 c | 187207 | 415 91870 573879 | 2147483647 185806 29 | 2.583 % |
47.49/47.64 c | 187420 | 415 91870 573879 | 2147483647 186019 29 | 2.583 % |
47.69/47.80 c | 187653 | 415 91870 573879 | 2147483647 186252 29 | 2.583 % |
47.79/47.92 c | 187912 | 415 91870 573879 | 2147483647 186511 29 | 2.589 % |
47.89/48.00 c | 188194 | 415 91870 573879 | 2147483647 186793 29 | 2.583 % |
47.99/48.11 c | 188506 | 415 91870 573879 | 2147483647 187105 29 | 2.583 % |
48.20/48.37 c | 188847 | 415 91870 573879 | 2147483647 187446 29 | 2.584 % |
48.39/48.50 c | 189220 | 415 91870 573879 | 2147483647 187819 29 | 2.588 % |
48.49/48.68 c | 189629 | 415 91870 573879 | 2147483647 188228 29 | 2.583 % |
48.70/48.84 c | 190078 | 415 91870 573879 | 2147483647 188677 29 | 2.583 % |
49.00/49.17 c | 190572 | 415 91870 573879 | 2147483647 189171 29 | 2.583 % |
49.30/49.41 c | 191114 | 414 91870 573879 | 2147483647 189712 29 | 2.817 % |
49.50/49.66 c | 191710 | 414 91870 573879 | 2147483647 190308 29 | 2.817 % |
49.60/49.78 c | 192365 | 414 91870 573879 | 2147483647 190963 29 | 2.817 % |
49.90/50.05 c | 193086 | 414 91870 573879 | 2147483647 191684 29 | 2.817 % |
50.20/50.36 c | 193880 | 414 91870 573879 | 2147483647 192478 29 | 2.817 % |
50.40/50.56 c | 194751 | 414 91870 573879 | 2147483647 193349 29 | 2.817 % |
50.70/50.86 c | 195710 | 414 91870 573879 | 2147483647 194308 29 | 2.817 % |
51.10/51.27 c | 196764 | 414 91870 573879 | 2147483647 195362 29 | 2.818 % |
51.60/51.72 c | 197924 | 414 91870 573879 | 2147483647 196522 29 | 2.824 % |
52.10/52.25 c | 199200 | 414 87418 549433 | 2147483647 197771 29 | 2.817 % |
52.70/52.80 c | 200600 | 414 87418 549433 | 2147483647 199171 29 | 2.817 % |
53.10/53.27 c | 202140 | 414 87418 549433 | 2147483647 200711 29 | 2.818 % |
53.70/53.89 c | 203834 | 414 87418 549433 | 2147483647 202405 29 | 2.823 % |
54.29/54.49 c | 205702 | 414 87418 549433 | 2147483647 204273 29 | 2.817 % |
55.09/55.24 c | 207752 | 414 87418 549433 | 2147483647 206323 29 | 2.817 % |
55.09/55.30 c | 207853 | 414 87418 549433 | 2147483647 206424 29 | 2.817 % |
55.19/55.35 c | 207965 | 414 87418 549433 | 2147483647 206536 29 | 2.817 % |
55.29/55.46 c | 208087 | 414 87418 549433 | 2147483647 206658 29 | 2.818 % |
55.39/55.55 c | 208221 | 414 87418 549433 | 2147483647 206792 29 | 2.817 % |
55.49/55.63 c | 208367 | 414 87418 549433 | 2147483647 206938 29 | 2.817 % |
55.59/55.71 c | 208527 | 414 87418 549433 | 2147483647 207098 29 | 2.817 % |
55.69/55.85 c | 208704 | 414 87418 549433 | 2147483647 207275 29 | 2.817 % |
55.79/55.94 c | 208899 | 414 87418 549433 | 2147483647 207470 29 | 2.817 % |
55.90/56.03 c | 209112 | 414 87418 549433 | 2147483647 207683 29 | 2.817 % |
56.00/56.13 c | 209347 | 414 87418 549433 | 2147483647 207918 29 | 2.817 % |
56.09/56.20 c | 209604 | 414 87418 549433 | 2147483647 208175 29 | 2.820 % |
56.19/56.33 c | 209885 | 414 87418 549433 | 2147483647 208456 29 | 2.824 % |
56.29/56.44 c | 210194 | 414 87418 549433 | 2147483647 208765 29 | 2.817 % |
56.39/56.52 c | 210536 | 414 87418 549433 | 2147483647 209107 29 | 2.820 % |
56.59/56.75 c | 210912 | 414 87418 549433 | 2147483647 209483 29 | 2.817 % |
56.79/56.98 c | 211321 | 414 87418 549433 | 2147483647 209892 29 | 2.817 % |
56.99/57.12 c | 211770 | 414 87418 549433 | 2147483647 210341 29 | 2.817 % |
57.09/57.29 c | 212265 | 414 87418 549433 | 2147483647 210836 29 | 2.817 % |
57.39/57.57 c | 212807 | 414 87418 549433 | 2147483647 211378 29 | 2.817 % |
57.59/57.74 c | 213404 | 414 87418 549433 | 2147483647 211975 29 | 2.817 % |
57.79/58.00 c | 214059 | 414 87418 549433 | 2147483647 212630 29 | 2.818 % |
58.29/58.44 c | 214779 | 414 87418 549433 | 2147483647 213350 29 | 2.817 % |
58.69/58.86 c | 215571 | 414 87418 549433 | 2147483647 214142 29 | 2.817 % |
59.39/59.59 c | 216443 | 414 87418 549433 | 2147483647 215014 29 | 2.817 % |
59.98/60.14 c | 217401 | 414 87418 549433 | 2147483647 215972 29 | 2.817 % |
60.58/60.70 c | 218454 | 414 87418 549433 | 2147483647 217025 29 | 2.817 % |
60.98/61.19 c | 219612 | 414 87418 549433 | 2147483647 218183 29 | 2.817 % |
61.68/61.85 c | 220885 | 414 87418 549433 | 2147483647 219456 29 | 2.817 % |
62.28/62.48 c | 222285 | 414 87418 549433 | 2147483647 220856 29 | 2.817 % |
63.18/63.31 c | 223825 | 414 87418 549433 | 2147483647 222396 29 | 2.817 % |
63.78/63.91 c | 225519 | 414 87418 549433 | 2147483647 224090 29 | 2.818 % |
65.99/66.13 c | 227382 | 414 87418 549433 | 2147483647 225953 29 | 2.817 % |
67.19/67.33 c | 229432 | 414 87418 549433 | 2147483647 228003 30 | 2.817 % |
68.39/68.54 c | 231688 | 414 87418 549433 | 2147483647 230259 30 | 2.817 % |
68.49/68.61 c | 231788 | 414 87418 549433 | 2147483647 230359 30 | 2.817 % |
68.59/68.70 c | 231900 | 414 87418 549433 | 2147483647 230471 30 | 2.824 % |
68.59/68.79 c | 232022 | 414 87418 549433 | 2147483647 230593 30 | 2.817 % |
68.79/68.95 c | 232156 | 414 87418 549433 | 2147483647 230727 30 | 2.817 % |
68.89/69.04 c | 232302 | 414 87418 549433 | 2147483647 230873 30 | 2.817 % |
68.99/69.15 c | 232466 | 414 87418 549433 | 2147483647 231037 30 | 2.817 % |
69.09/69.27 c | 232642 | 414 87418 549433 | 2147483647 231213 30 | 2.818 % |
69.19/69.36 c | 232835 | 414 87418 549433 | 2147483647 231406 30 | 2.817 % |
69.29/69.46 c | 233049 | 414 87418 549433 | 2147483647 231620 30 | 2.823 % |
69.59/69.73 c | 233285 | 414 87418 549433 | 2147483647 231856 30 | 2.817 % |
69.69/69.87 c | 233543 | 414 87418 549433 | 2147483647 232114 30 | 2.817 % |
69.99/70.14 c | 233824 | 414 87418 549433 | 2147483647 232395 30 | 2.817 % |
70.09/70.28 c | 234134 | 414 87418 549433 | 2147483647 232705 30 | 2.817 % |
70.39/70.54 c | 234473 | 414 87418 549433 | 2147483647 233044 30 | 2.817 % |
70.58/70.72 c | 234845 | 414 87418 549433 | 2147483647 233416 30 | 2.817 % |
70.78/70.91 c | 235254 | 414 87418 549433 | 2147483647 233825 30 | 2.817 % |
70.98/71.14 c | 235703 | 414 87418 549433 | 2147483647 234274 30 | 2.824 % |
71.18/71.34 c | 236196 | 414 87418 549433 | 2147483647 234767 30 | 2.817 % |
71.48/71.60 c | 236738 | 414 87418 549433 | 2147483647 235309 30 | 2.817 % |
71.78/71.99 c | 237334 | 414 87418 549433 | 2147483647 235905 30 | 2.818 % |
72.08/72.23 c | 237990 | 414 87418 549433 | 2147483647 236561 30 | 2.817 % |
72.49/72.66 c | 238710 | 414 87418 549433 | 2147483647 237281 30 | 2.824 % |
72.98/73.17 c | 239503 | 414 87418 549433 | 2147483647 238074 30 | 2.822 % |
73.88/74.01 c | 240375 | 414 87418 549433 | 2147483647 238946 30 | 2.817 % |
74.38/74.59 c | 241333 | 414 87418 549433 | 2147483647 239904 30 | 2.817 % |
75.08/75.23 c | 242387 | 414 87418 549433 | 2147483647 240958 30 | 2.817 % |
75.69/75.86 c | 243546 | 414 87418 549433 | 2147483647 242117 30 | 2.817 % |
76.39/76.51 c | 244819 | 414 87418 549433 | 2147483647 243390 30 | 2.817 % |
77.08/77.25 c | 246221 | 414 87418 549433 | 2147483647 244792 30 | 2.817 % |
78.08/78.28 c | 247762 | 414 87418 549433 | 2147483647 246333 30 | 2.823 % |
79.18/79.34 c | 249456 | 414 87418 549433 | 2147483647 248027 30 | 2.817 % |
80.19/80.39 c | 251320 | 414 87418 549433 | 2147483647 249891 30 | 2.817 % |
81.58/81.78 c | 253369 | 414 87418 549433 | 2147483647 251940 30 | 2.817 % |
82.88/83.04 c | 255622 | 414 87418 549433 | 2147483647 254193 30 | 2.824 % |
83.78/83.93 c | 258104 | 414 87418 549433 | 2147483647 256675 30 | 2.822 % |
83.88/84.00 c | 258206 | 414 87418 549433 | 2147483647 256777 30 | 2.817 % |
83.88/84.07 c | 258316 | 414 87418 549433 | 2147483647 256887 30 | 2.817 % |
83.98/84.11 c | 258437 | 414 87418 549433 | 2147483647 257008 30 | 2.821 % |
83.98/84.17 c | 258571 | 414 87418 549433 | 2147483647 257142 30 | 2.817 % |
84.28/84.41 c | 258719 | 414 87418 549433 | 2147483647 257290 30 | 2.817 % |
84.38/84.57 c | 258879 | 414 87418 549433 | 2147483647 257450 30 | 2.817 % |
84.48/84.69 c | 259056 | 414 87418 549433 | 2147483647 257627 30 | 2.817 % |
84.68/84.86 c | 259250 | 414 87418 549433 | 2147483647 257821 30 | 2.817 % |
84.88/85.01 c | 259462 | 414 87418 549433 | 2147483647 258033 30 | 2.817 % |
84.98/85.13 c | 259697 | 414 87418 549433 | 2147483647 258268 30 | 2.817 % |
85.18/85.33 c | 259955 | 414 87418 549433 | 2147483647 258526 30 | 2.817 % |
85.28/85.48 c | 260236 | 414 87418 549433 | 2147483647 258807 30 | 2.823 % |
85.48/85.60 c | 260545 | 414 87418 549433 | 2147483647 259116 30 | 2.817 % |
85.78/85.91 c | 260885 | 414 87418 549433 | 2147483647 259456 30 | 2.819 % |
85.98/86.15 c | 261258 | 414 87418 549433 | 2147483647 259829 30 | 2.817 % |
86.28/86.46 c | 261667 | 414 87418 549433 | 2147483647 260238 30 | 2.817 % |
86.88/87.02 c | 262116 | 414 87418 549433 | 2147483647 260687 30 | 2.817 % |
87.08/87.22 c | 262610 | 414 87418 549433 | 2147483647 261181 30 | 2.817 % |
87.38/87.57 c | 263153 | 414 87418 549433 | 2147483647 261724 30 | 2.825 % |
87.68/87.87 c | 263750 | 414 87418 549433 | 2147483647 262321 30 | 2.817 % |
88.18/88.33 c | 264406 | 414 87418 549433 | 2147483647 262977 30 | 2.817 % |
88.58/88.71 c | 265128 | 414 87418 549433 | 2147483647 263699 30 | 2.821 % |
88.88/89.04 c | 265920 | 414 87418 549433 | 2147483647 264491 30 | 2.817 % |
89.28/89.49 c | 266792 | 414 87418 549433 | 2147483647 265363 30 | 2.817 % |
89.78/89.92 c | 267750 | 414 87418 549433 | 2147483647 266321 30 | 2.817 % |
90.27/90.49 c | 268804 | 414 87418 549433 | 2147483647 267375 30 | 2.817 % |
91.18/91.37 c | 269962 | 414 87418 549433 | 2147483647 268533 30 | 2.824 % |
92.07/92.28 c | 271235 | 414 87418 549433 | 2147483647 269806 30 | 2.817 % |
92.87/93.02 c | 272638 | 414 87418 549433 | 2147483647 271209 30 | 2.817 % |
93.97/94.14 c | 274180 | 414 87418 549433 | 2147483647 272751 30 | 2.817 % |
94.97/95.17 c | 275874 | 414 87418 549433 | 2147483647 274445 30 | 2.817 % |
95.98/96.14 c | 277737 | 414 87418 549433 | 2147483647 276308 30 | 2.817 % |
97.18/97.37 c | 279786 | 414 87418 549433 | 2147483647 278357 30 | 2.817 % |
99.28/99.40 c | 282039 | 414 87418 549433 | 2147483647 280610 30 | 2.819 % |
101.47/101.62 c | 284519 | 414 87418 549433 | 2147483647 283090 30 | 2.817 % |
104.67/104.87 c | 287245 | 413 87418 549433 | 2147483647 285815 31 | 3.052 % |
104.77/104.98 c | 287345 | 413 87418 549433 | 2147483647 285915 31 | 3.052 % |
104.97/105.11 c | 287455 | 413 87418 549433 | 2147483647 286025 31 | 3.052 % |
105.07/105.21 c | 287578 | 413 87418 549433 | 2147483647 286148 31 | 3.052 % |
105.27/105.41 c | 287711 | 413 87418 549433 | 2147483647 286281 31 | 3.052 % |
105.37/105.55 c | 287859 | 413 87418 549433 | 2147483647 286429 31 | 3.052 % |
105.57/105.71 c | 288020 | 413 87418 549433 | 2147483647 286590 31 | 3.052 % |
105.67/105.89 c | 288197 | 413 87418 549433 | 2147483647 286767 31 | 3.052 % |
105.77/105.96 c | 288392 | 413 87418 549433 | 2147483647 286962 31 | 3.057 % |
105.87/106.07 c | 288605 | 413 87418 549433 | 2147483647 287175 31 | 3.052 % |
106.07/106.21 c | 288838 | 413 87418 549433 | 2147483647 287408 31 | 3.052 % |
106.17/106.31 c | 289095 | 413 87418 549433 | 2147483647 287665 31 | 3.052 % |
106.47/106.66 c | 289378 | 413 87418 549433 | 2147483647 287948 31 | 3.052 % |
106.77/106.91 c | 289689 | 413 87418 549433 | 2147483647 288259 31 | 3.052 % |
107.07/107.24 c | 290028 | 413 87418 549433 | 288570 288598 31 | 3.052 % |
107.97/108.15 c | 290402 | 413 87418 549433 | 288570 257239 30 | 3.052 % |
108.37/108.50 c | 290811 | 413 87418 549433 | 288570 257648 30 | 3.058 % |
108.57/108.77 c | 291260 | 413 87418 549433 | 288570 258097 30 | 3.052 % |
108.87/109.01 c | 291753 | 413 87418 549433 | 288570 258590 30 | 3.052 % |
109.07/109.22 c | 292295 | 413 87418 549433 | 288570 259132 30 | 3.052 % |
109.37/109.52 c | 292896 | 413 87418 549433 | 288570 259733 30 | 3.052 % |
109.67/109.83 c | 293552 | 413 87418 549433 | 288570 260389 30 | 3.052 % |
110.36/110.57 c | 294272 | 413 87418 549433 | 288570 261109 30 | 3.052 % |
110.76/110.99 c | 295065 | 413 87418 549433 | 288570 261902 30 | 3.052 % |
111.46/111.69 c | 295937 | 413 87418 549433 | 288570 262774 30 | 3.052 % |
112.08/112.28 c | 296897 | 413 87418 549433 | 288570 263734 30 | 3.052 % |
112.77/112.97 c | 297952 | 413 87418 549433 | 288570 264789 31 | 3.052 % |
113.37/113.59 c | 299111 | 413 87418 549433 | 288570 265948 31 | 3.053 % |
114.28/114.46 c | 300384 | 413 87418 549433 | 2147483647 267221 31 | 3.052 % |
115.57/115.70 c | 301784 | 413 87418 549433 | 2147483647 268621 31 | 3.052 % |
116.48/116.68 c | 303325 | 413 87418 549433 | 2147483647 270162 31 | 3.052 % |
117.87/118.08 c | 305019 | 413 87418 549433 | 2147483647 271856 31 | 3.052 % |
119.57/119.74 c | 306882 | 413 87418 549433 | 2147483647 273719 31 | 3.052 % |
121.07/121.25 c | 308931 | 413 87418 549433 | 2147483647 275768 31 | 3.052 % |
123.27/123.45 c | 311184 | 413 87418 549433 | 2147483647 278021 31 | 3.052 % |
124.37/124.55 c | 313663 | 413 87418 549433 | 2147483647 280500 31 | 3.052 % |
126.76/126.92 c | 316388 | 412 87418 549433 | 2147483647 283224 31 | 3.287 % |
128.16/128.37 c | 319385 | 412 87418 549433 | 2147483647 286221 31 | 3.287 % |
128.26/128.45 c | 319489 | 412 87418 549433 | 2147483647 286325 31 | 3.292 % |
128.36/128.55 c | 319599 | 412 87418 549433 | 2147483647 286435 31 | 3.287 % |
128.57/128.72 c | 319722 | 412 87418 549433 | 2147483647 286558 31 | 3.287 % |
128.66/128.84 c | 319855 | 412 87418 549433 | 2147483647 286691 31 | 3.287 % |
128.76/128.98 c | 320001 | 412 87418 549433 | 2147483647 286837 31 | 3.287 % |
128.96/129.18 c | 320162 | 412 87418 549433 | 286837 286998 31 | 3.287 % |
129.67/129.87 c | 320340 | 412 87418 549433 | 286837 255887 31 | 3.287 % |
129.76/129.98 c | 320533 | 412 87418 549433 | 286837 256080 31 | 3.287 % |
129.96/130.15 c | 320748 | 412 87418 549433 | 286837 256295 31 | 3.287 % |
130.06/130.27 c | 320983 | 412 87418 549433 | 286837 256530 31 | 3.287 % |
130.16/130.39 c | 321239 | 412 87418 549433 | 286837 256786 31 | 3.287 % |
130.36/130.51 c | 321520 | 412 87418 549433 | 286837 257067 31 | 3.287 % |
130.77/130.91 c | 321829 | 412 87418 549433 | 286837 257376 31 | 3.287 % |
130.96/131.13 c | 322168 | 412 87418 549433 | 286837 257715 31 | 3.287 % |
131.26/131.48 c | 322540 | 412 87418 549433 | 286837 258087 31 | 3.288 % |
131.77/131.98 c | 322950 | 412 87418 549433 | 286837 258497 31 | 3.287 % |
132.06/132.29 c | 323401 | 412 87418 549433 | 286837 258948 31 | 3.287 % |
132.36/132.57 c | 323894 | 412 87418 549433 | 286837 259441 31 | 3.287 % |
132.66/132.83 c | 324439 | 412 87418 549433 | 286837 259986 31 | 3.287 % |
132.96/133.12 c | 325036 | 412 87418 549433 | 286837 260583 31 | 3.287 % |
133.46/133.61 c | 325692 | 412 87418 549433 | 286837 261239 31 | 3.287 % |
133.96/134.12 c | 326413 | 412 87418 549433 | 286837 261960 31 | 3.287 % |
134.56/134.78 c | 327205 | 412 87418 549433 | 286837 262752 31 | 3.287 % |
135.36/135.55 c | 328077 | 412 87418 549433 | 286837 263624 31 | 3.287 % |
136.46/136.67 c | 329035 | 412 87418 549433 | 286837 264582 31 | 3.287 % |
137.16/137.30 c | 330088 | 412 87418 549433 | 2147483647 265635 31 | 3.287 % |
138.26/138.48 c | 331249 | 412 87418 549433 | 2147483647 266796 31 | 3.287 % |
139.96/140.12 c | 332522 | 412 87418 549433 | 2147483647 268069 31 | 3.287 % |
141.16/141.39 c | 333924 | 412 87418 549433 | 2147483647 269471 31 | 3.287 % |
142.26/142.42 c | 335466 | 412 87418 549433 | 2147483647 271013 31 | 3.287 % |
143.86/144.07 c | 337161 | 412 87418 549433 | 2147483647 272708 31 | 3.287 % |
145.45/145.61 c | 339024 | 412 87418 549433 | 2147483647 274571 31 | 3.287 % |
148.26/148.42 c | 341073 | 412 87418 549433 | 275548 245683 31 | 3.287 % |
150.15/150.36 c | 343327 | 412 87418 549433 | 275548 247937 31 | 3.288 % |
152.25/152.42 c | 345805 | 412 87418 549433 | 275548 250415 31 | 3.287 % |
153.86/154.06 c | 348534 | 412 87418 549433 | 275548 253144 31 | 3.287 % |
156.85/157.07 c | 351533 | 412 87418 549433 | 2147483647 256143 31 | 3.287 % |
159.85/160.02 c | 354829 | 412 87418 549433 | 2147483647 259439 31 | 3.287 % |
159.95/160.17 c | 354931 | 412 87418 549433 | 2147483647 259541 31 | 3.287 % |
160.05/160.28 c | 355043 | 412 87418 549433 | 2147483647 259653 31 | 3.287 % |
160.25/160.45 c | 355165 | 412 87418 549433 | 2147483647 259775 31 | 3.287 % |
160.46/160.65 c | 355300 | 412 87418 549433 | 2147483647 259910 31 | 3.287 % |
160.65/160.80 c | 355446 | 412 87418 549433 | 2147483647 260056 31 | 3.287 % |
160.75/160.90 c | 355606 | 412 87418 549433 | 2147483647 260216 31 | 3.291 % |
160.85/161.02 c | 355783 | 412 87418 549433 | 2147483647 260393 31 | 3.287 % |
160.95/161.13 c | 355976 | 412 87418 549433 | 2147483647 260586 31 | 3.287 % |
161.05/161.27 c | 356190 | 412 87418 549433 | 2147483647 260800 31 | 3.291 % |
161.25/161.44 c | 356423 | 412 87418 549433 | 2147483647 261033 31 | 3.287 % |
161.35/161.58 c | 356679 | 412 87418 549433 | 2147483647 261289 31 | 3.287 % |
161.55/161.78 c | 356960 | 412 87418 549433 | 2147483647 261570 31 | 3.287 % |
161.75/161.97 c | 357269 | 412 87418 549433 | 2147483647 261879 31 | 3.287 % |
161.95/162.12 c | 357610 | 412 87418 549433 | 2147483647 262220 31 | 3.287 % |
162.15/162.31 c | 357982 | 412 87418 549433 | 2147483647 262592 31 | 3.287 % |
162.35/162.51 c | 358391 | 412 87418 549433 | 2147483647 263001 31 | 3.287 % |
162.55/162.78 c | 358841 | 412 87418 549433 | 2147483647 263451 31 | 3.287 % |
162.85/163.07 c | 359334 | 412 87418 549433 | 2147483647 263944 31 | 3.287 % |
163.15/163.37 c | 359877 | 412 87418 549433 | 2147483647 264487 31 | 3.287 % |
163.45/163.61 c | 360473 | 412 87418 549433 | 2147483647 265083 31 | 3.287 % |
163.75/163.92 c | 361128 | 412 87418 549433 | 2147483647 265738 31 | 3.287 % |
164.15/164.35 c | 361853 | 412 87418 549433 | 2147483647 266463 31 | 3.293 % |
164.55/164.77 c | 362647 | 412 87418 549433 | 2147483647 267257 31 | 3.291 % |
165.05/165.29 c | 363518 | 412 87418 549433 | 2147483647 268128 31 | 3.287 % |
166.25/166.43 c | 364476 | 412 87418 549433 | 2147483647 269086 31 | 3.287 % |
167.15/167.39 c | 365529 | 412 87418 549433 | 2147483647 270139 31 | 3.287 % |
168.55/168.73 c | 366687 | 412 87418 549433 | 2147483647 271297 31 | 3.287 % |
169.84/170.03 c | 367961 | 412 87418 549433 | 2147483647 272571 31 | 3.292 % |
171.04/171.29 c | 369361 | 412 87418 549433 | 2147483647 273971 31 | 3.287 % |
172.45/172.62 c | 370901 | 412 87418 549433 | 2147483647 275511 31 | 3.287 % |
173.74/173.95 c | 372598 | 412 87418 549433 | 2147483647 277208 31 | 3.287 % |
175.94/176.14 c | 374464 | 412 87418 549433 | 2147483647 279074 32 | 3.287 % |
177.94/178.13 c | 376514 | 412 87418 549433 | 2147483647 281124 32 | 3.287 % |
179.94/180.11 c | 378767 | 412 87418 549433 | 2147483647 283377 32 | 3.287 % |
181.74/181.95 c | 381245 | 412 87418 549433 | 2147483647 285855 32 | 3.287 % |
184.14/184.36 c | 383972 | 412 87418 549433 | 2147483647 288582 32 | 3.287 % |
186.35/186.56 c | 386969 | 412 87418 549433 | 2147483647 291579 32 | 3.287 % |
190.74/190.90 c | 390266 | 412 87418 549433 | 294610 261101 32 | 3.287 % |
193.54/193.79 c | 393892 | 412 87418 549433 | 294610 264727 32 | 3.287 % |
193.64/193.87 c | 393992 | 412 87418 549433 | 294610 264827 32 | 3.287 % |
193.74/193.99 c | 394103 | 412 87418 549433 | 294610 264938 32 | 3.287 % |
193.84/194.07 c | 394225 | 412 87418 549433 | 294610 265060 32 | 3.287 % |
193.94/194.14 c | 394360 | 412 87418 549433 | 294610 265195 32 | 3.287 % |
194.04/194.26 c | 394506 | 412 87418 549433 | 294610 265341 32 | 3.287 % |
194.14/194.39 c | 394667 | 412 87418 549433 | 294610 265502 32 | 3.287 % |
194.24/194.47 c | 394843 | 412 87418 549433 | 294610 265678 32 | 3.287 % |
194.34/194.57 c | 395037 | 412 87418 549433 | 294610 265872 32 | 3.287 % |
194.54/194.79 c | 395249 | 412 87418 549433 | 294610 266084 32 | 3.287 % |
194.74/194.96 c | 395482 | 412 87418 549433 | 294610 266317 32 | 3.287 % |
194.94/195.10 c | 395740 | 412 87418 549433 | 294610 266575 32 | 3.287 % |
195.04/195.24 c | 396022 | 412 87418 549433 | 294610 266857 32 | 3.287 % |
195.44/195.61 c | 396331 | 412 87418 549433 | 294610 267166 32 | 3.287 % |
195.74/195.94 c | 396674 | 412 87418 549433 | 294610 267509 32 | 3.287 % |
195.94/196.19 c | 397047 | 412 87418 549433 | 294610 267882 32 | 3.287 % |
196.34/196.50 c | 397458 | 412 87418 549433 | 294610 268293 32 | 3.287 % |
196.64/196.80 c | 397908 | 412 87418 549433 | 294610 268743 32 | 3.287 % |
196.94/197.17 c | 398402 | 412 87418 549433 | 294610 269237 32 | 3.292 % |
197.14/197.38 c | 398946 | 412 87418 549433 | 294610 269781 32 | 3.287 % |
197.64/197.82 c | 399543 | 412 87418 549433 | 294610 270378 32 | 3.287 % |
198.44/198.65 c | 400198 | 412 87418 549433 | 2147483647 271033 32 | 3.287 % |
199.04/199.20 c | 400918 | 412 87418 549433 | 2147483647 271753 32 | 3.287 % |
199.44/199.65 c | 401710 | 412 87418 549433 | 2147483647 272545 32 | 3.287 % |
199.94/200.16 c | 402582 | 412 87418 549433 | 2147483647 273417 32 | 3.287 % |
201.24/201.44 c | 403540 | 412 87418 549433 | 2147483647 274375 32 | 3.287 % |
202.33/202.51 c | 404594 | 412 87418 549433 | 2147483647 275429 32 | 3.287 % |
203.63/203.90 c | 405752 | 412 87418 549433 | 2147483647 276587 32 | 3.287 % |
204.63/204.89 c | 407027 | 412 87418 549433 | 2147483647 277862 32 | 3.287 % |
206.23/206.42 c | 408428 | 412 87418 549433 | 2147483647 279263 32 | 3.287 % |
207.74/208.00 c | 409968 | 412 87418 549433 | 2147483647 280803 32 | 3.287 % |
209.53/209.79 c | 411665 | 412 87418 549433 | 280835 248164 32 | 3.287 % |
211.03/211.27 c | 413528 | 412 87418 549433 | 280835 250027 32 | 3.287 % |
213.63/213.89 c | 415577 | 412 87418 549433 | 280835 252076 32 | 3.287 % |
215.03/215.27 c | 417830 | 412 87418 549433 | 280835 254329 32 | 3.287 % |
216.13/216.37 c | 420308 | 412 87418 549433 | 2147483647 256807 32 | 3.287 % |
218.23/218.41 c | 423033 | 412 87418 549433 | 2147483647 259532 32 | 3.287 % |
220.23/220.45 c | 426030 | 412 87418 549433 | 2147483647 262529 32 | 3.287 % |
223.93/224.14 c | 429327 | 412 87418 549433 | 2147483647 265826 33 | 3.287 % |
227.63/227.80 c | 432953 | 412 87418 549433 | 2147483647 269452 33 | 3.287 % |
232.42/232.67 c | 436940 | 412 87418 549433 | 2147483647 273438 33 | 3.522 % |
232.52/232.79 c | 437041 | 412 87418 549433 | 2147483647 273539 33 | 3.527 % |
232.72/232.90 c | 437151 | 412 87418 549433 | 2147483647 273649 33 | 3.522 % |
232.82/233.03 c | 437274 | 412 87418 549433 | 2147483647 273772 33 | 3.522 % |
232.93/233.14 c | 437409 | 412 87418 549433 | 2147483647 273907 33 | 3.522 % |
233.03/233.23 c | 437556 | 412 87418 549433 | 2147483647 274054 33 | 3.522 % |
233.32/233.55 c | 437718 | 412 87418 549433 | 2147483647 274216 33 | 3.522 % |
233.62/233.82 c | 437894 | 412 87418 549433 | 2147483647 274392 33 | 3.522 % |
233.82/234.01 c | 438090 | 412 87418 549433 | 2147483647 274588 33 | 3.522 % |
234.13/234.36 c | 438303 | 412 87418 549433 | 2147483647 274801 33 | 3.522 % |
234.42/234.67 c | 438536 | 412 87418 549433 | 2147483647 275034 33 | 3.522 % |
234.92/235.12 c | 438793 | 412 87418 549433 | 2147483647 275291 33 | 3.522 % |
235.22/235.40 c | 439075 | 412 87418 549433 | 2147483647 275573 33 | 3.522 % |
235.62/235.89 c | 439384 | 412 87418 549433 | 2147483647 275882 33 | 3.522 % |
235.92/236.17 c | 439723 | 412 87418 549433 | 2147483647 276221 33 | 3.522 % |
236.22/236.48 c | 440095 | 412 87418 549433 | 276498 276593 33 | 3.522 % |
237.22/237.48 c | 440504 | 412 87418 549433 | 276498 246749 32 | 3.522 % |
237.52/237.78 c | 440955 | 412 87418 549433 | 276498 247200 32 | 3.522 % |
237.92/238.15 c | 441448 | 412 87418 549433 | 276498 247693 32 | 3.524 % |
238.32/238.57 c | 441992 | 412 87418 549433 | 276498 248237 32 | 3.526 % |
238.72/238.99 c | 442588 | 412 87418 549433 | 276498 248833 32 | 3.522 % |
239.32/239.59 c | 443243 | 412 87418 549433 | 276498 249488 32 | 3.522 % |
239.82/240.08 c | 443964 | 412 87418 549433 | 276498 250209 32 | 3.522 % |
240.32/240.57 c | 444757 | 412 87418 549433 | 276498 251002 32 | 3.522 % |
240.82/241.00 c | 445628 | 412 87418 549433 | 276498 251873 32 | 3.522 % |
241.32/241.58 c | 446586 | 412 87418 549433 | 276498 252831 32 | 3.527 % |
242.52/242.76 c | 447639 | 412 87418 549433 | 276498 253884 32 | 3.522 % |
243.82/244.02 c | 448800 | 412 87418 549433 | 276498 255045 32 | 3.522 % |
244.92/245.16 c | 450073 | 412 87418 549433 | 2147483647 256318 33 | 3.522 % |
246.61/246.86 c | 451473 | 412 87418 549433 | 2147483647 257718 33 | 3.522 % |
248.01/248.27 c | 453013 | 412 87418 549433 | 2147483647 259258 33 | 3.522 % |
249.11/249.35 c | 454708 | 412 87418 549433 | 2147483647 260953 33 | 3.522 % |
249.91/250.11 c | 456573 | 412 87418 549433 | 2147483647 262818 33 | 3.522 % |
251.72/251.90 c | 458624 | 412 87418 549433 | 2147483647 264869 33 | 3.522 % |
253.31/253.51 c | 460877 | 412 87418 549433 | 2147483647 267122 33 | 3.522 % |
255.31/255.55 c | 463356 | 412 87418 549433 | 2147483647 269601 33 | 3.522 % |
257.91/258.19 c | 466081 | 412 87418 549433 | 2147483647 272326 33 | 3.522 % |
261.41/261.66 c | 469079 | 412 87418 549433 | 2147483647 275324 33 | 3.522 % |
264.91/265.14 c | 472376 | 412 87418 549433 | 2147483647 278621 33 | 3.522 % |
268.21/268.41 c | 476002 | 412 87418 549433 | 2147483647 282247 33 | 3.522 % |
271.81/272.06 c | 479989 | 412 87418 549433 | 2147483647 286234 33 | 3.522 % |
275.10/275.36 c | 484374 | 412 87418 549433 | 286249 261011 33 | 3.522 % |
275.20/275.46 c | 484474 | 412 87418 549433 | 286249 261111 33 | 3.528 % |
275.30/275.58 c | 484584 | 412 87418 549433 | 286249 261221 33 | 3.522 % |
275.60/275.80 c | 484705 | 412 87418 549433 | 286249 261342 33 | 3.522 % |
275.70/275.95 c | 484840 | 412 87418 549433 | 286249 261477 33 | 3.522 % |
275.81/276.05 c | 484987 | 412 87418 549433 | 286249 261624 33 | 3.522 % |
275.91/276.19 c | 485148 | 412 87418 549433 | 286249 261785 33 | 3.522 % |
276.10/276.30 c | 485324 | 412 87418 549433 | 286249 261961 33 | 3.527 % |
276.20/276.45 c | 485519 | 412 87418 549433 | 286249 262156 33 | 3.522 % |
276.50/276.71 c | 485731 | 412 87418 549433 | 286249 262368 33 | 3.522 % |
276.70/276.92 c | 485964 | 412 87418 549433 | 286249 262601 33 | 3.522 % |
276.91/277.15 c | 486220 | 412 87418 549433 | 286249 262857 33 | 3.522 % |
277.10/277.30 c | 486502 | 412 87418 549433 | 286249 263139 33 | 3.526 % |
277.40/277.69 c | 486811 | 412 87418 549433 | 286249 263448 33 | 3.522 % |
277.80/278.00 c | 487151 | 412 87418 549433 | 286249 263788 33 | 3.522 % |
278.01/278.24 c | 487525 | 412 87418 549433 | 286249 264162 33 | 3.522 % |
278.60/278.80 c | 487934 | 412 87418 549433 | 286249 264571 33 | 3.522 % |
279.10/279.32 c | 488384 | 412 87418 549433 | 286249 265021 33 | 3.522 % |
279.60/279.82 c | 488879 | 412 87418 549433 | 286249 265516 33 | 3.522 % |
280.00/280.28 c | 489423 | 412 87418 549433 | 286249 266060 33 | 3.522 % |
280.60/280.83 c | 490019 | 412 87418 549433 | 266639 266656 33 | 3.522 % |
281.80/282.00 c | 490676 | 412 87418 549433 | 266639 236835 33 | 3.522 % |
282.30/282.56 c | 491397 | 412 87418 549433 | 266639 237556 33 | 3.526 % |
282.90/283.16 c | 492190 | 412 87418 549433 | 266639 238349 33 | 3.527 % |
283.70/283.90 c | 493061 | 412 87418 549433 | 266639 239220 33 | 3.522 % |
284.10/284.39 c | 494021 | 412 87418 549433 | 266639 240180 33 | 3.522 % |
285.20/285.45 c | 495074 | 412 87418 549433 | 266639 241233 33 | 3.522 % |
286.30/286.56 c | 496232 | 412 87418 549433 | 266639 242391 33 | 3.522 % |
287.40/287.66 c | 497506 | 412 87418 549433 | 266639 243665 33 | 3.522 % |
289.30/289.58 c | 498909 | 412 87418 549433 | 266639 245068 33 | 3.522 % |
290.60/290.80 c | 500453 | 412 87418 549433 | 2147483647 246612 33 | 3.522 % |
291.90/292.16 c | 502148 | 412 87418 549433 | 2147483647 248307 34 | 3.522 % |
293.60/293.88 c | 504013 | 412 87418 549433 | 2147483647 250172 34 | 3.522 % |
295.20/295.48 c | 506064 | 412 87418 549433 | 2147483647 252223 34 | 3.522 % |
297.21/297.47 c | 508320 | 412 87418 549433 | 2147483647 254479 34 | 3.522 % |
298.60/298.80 c | 510798 | 412 87418 549433 | 2147483647 256957 34 | 3.522 % |
300.60/300.82 c | 513523 | 412 87418 549433 | 2147483647 259682 34 | 3.523 % |
303.70/303.92 c | 516524 | 412 87418 549433 | 2147483647 262683 34 | 3.522 % |
307.20/307.40 c | 519824 | 412 87418 549433 | 2147483647 265983 34 | 3.522 % |
310.80/311.03 c | 523449 | 412 87418 549433 | 2147483647 269608 34 | 3.522 % |
313.60/313.83 c | 527436 | 412 87418 549433 | 2147483647 273595 34 | 3.522 % |
318.40/318.68 c | 531822 | 412 87418 549433 | 276160 239440 34 | 3.528 % |
320.10/320.36 c | 536645 | 412 87418 549433 | 276160 244263 34 | 3.522 % |
320.20/320.43 c | 536746 | 412 87418 549433 | 276160 244364 34 | 3.522 % |
320.30/320.50 c | 536856 | 412 87418 549433 | 276160 244474 34 | 3.522 % |
320.40/320.61 c | 536977 | 412 87418 549433 | 276160 244595 34 | 3.522 % |
320.40/320.66 c | 537112 | 412 87418 549433 | 276160 244730 34 | 3.522 % |
320.49/320.72 c | 537259 | 412 87418 549433 | 276160 244877 34 | 3.522 % |
320.59/320.83 c | 537419 | 412 87418 549433 | 276160 245037 34 | 3.522 % |
320.69/320.91 c | 537595 | 412 87418 549433 | 276160 245213 34 | 3.522 % |
320.79/321.09 c | 537788 | 412 87418 549433 | 276160 245406 34 | 3.522 % |
321.00/321.23 c | 538002 | 412 87418 549433 | 276160 245620 34 | 3.522 % |
321.49/321.73 c | 538235 | 412 87418 549433 | 276160 245853 34 | 3.522 % |
321.69/321.93 c | 538492 | 412 87418 549433 | 276160 246110 34 | 3.522 % |
321.89/322.16 c | 538773 | 412 87418 549433 | 276160 246391 34 | 3.522 % |
322.20/322.46 c | 539082 | 412 87418 549433 | 276160 246700 34 | 3.522 % |
322.60/322.89 c | 539421 | 412 87418 549433 | 276160 247039 34 | 3.522 % |
322.99/323.28 c | 539793 | 412 87418 549433 | 276160 247411 34 | 3.522 % |
323.59/323.83 c | 540203 | 412 87418 549433 | 2147483647 247821 34 | 3.522 % |
324.09/324.36 c | 540652 | 411 85786 540776 | 2147483647 248266 34 | 3.522 % |
324.39/324.66 c | 541145 | 411 85786 540776 | 2147483647 248759 34 | 3.522 % |
324.89/325.14 c | 541687 | 411 85786 540776 | 2147483647 249301 34 | 3.522 % |
325.40/325.64 c | 542283 | 411 85786 540776 | 2147483647 249897 34 | 3.522 % |
325.99/326.21 c | 542939 | 411 85786 540776 | 2147483647 250553 34 | 3.522 % |
326.40/326.67 c | 543660 | 411 85786 540776 | 2147483647 251274 34 | 3.522 % |
326.89/327.15 c | 544453 | 411 85786 540776 | 2147483647 252067 34 | 3.522 % |
327.29/327.58 c | 545325 | 411 85786 540776 | 2147483647 252939 34 | 3.522 % |
327.79/328.07 c | 546288 | 411 85786 540776 | 2147483647 253902 34 | 3.522 % |
328.49/328.70 c | 547341 | 411 85786 540776 | 2147483647 254955 34 | 3.522 % |
329.19/329.43 c | 548500 | 411 85786 540776 | 2147483647 256114 34 | 3.522 % |
330.69/330.95 c | 549773 | 411 85786 540776 | 2147483647 257387 34 | 3.522 % |
331.99/332.27 c | 551173 | 411 85786 540776 | 2147483647 258787 34 | 3.522 % |
333.59/333.85 c | 552714 | 411 85786 540776 | 2147483647 260328 34 | 3.522 % |
334.89/335.19 c | 554409 | 411 85786 540776 | 2147483647 262023 34 | 3.522 % |
336.49/336.76 c | 556273 | 411 85786 540776 | 2147483647 263887 34 | 3.522 % |
337.69/337.99 c | 558322 | 411 85786 540776 | 2147483647 265936 34 | 3.522 % |
339.09/339.37 c | 560576 | 411 85786 540776 | 2147483647 268190 34 | 3.522 % |
342.19/342.46 c | 563054 | 411 85786 540776 | 2147483647 270668 34 | 3.522 % |
345.79/346.01 c | 565779 | 411 85786 540776 | 2147483647 273393 35 | 3.522 % |
348.09/348.40 c | 568778 | 411 85786 540776 | 2147483647 276392 35 | 3.522 % |
350.48/350.71 c | 572078 | 411 85786 540776 | 2147483647 279692 35 | 3.522 % |
354.58/354.80 c | 575703 | 411 85786 540776 | 2147483647 283317 35 | 3.522 % |
358.58/358.82 c | 579691 | 411 85786 540776 | 2147483647 287305 35 | 3.522 % |
364.78/365.09 c | 584076 | 411 85786 540776 | 287614 257055 34 | 3.522 % |
369.88/370.11 c | 588899 | 411 85786 540776 | 287614 261878 34 | 3.522 % |
374.38/374.67 c | 594206 | 411 85786 540776 | 262979 237467 34 | 3.522 % |
374.48/374.76 c | 594307 | 411 85786 540776 | 262979 237568 34 | 3.522 % |
374.58/374.83 c | 594417 | 411 85786 540776 | 262979 237678 34 | 3.522 % |
374.58/374.88 c | 594539 | 411 85786 540776 | 262979 237800 34 | 3.522 % |
374.78/375.07 c | 594674 | 411 85786 540776 | 262979 237935 34 | 3.522 % |
374.88/375.16 c | 594821 | 411 85786 540776 | 262979 238082 34 | 3.522 % |
374.97/375.26 c | 594981 | 411 85786 540776 | 262979 238242 34 | 3.522 % |
375.17/375.40 c | 595160 | 411 85786 540776 | 262979 238421 34 | 3.522 % |
375.17/375.50 c | 595354 | 411 85786 540776 | 262979 238615 34 | 3.522 % |
375.37/375.63 c | 595567 | 411 85786 540776 | 262979 238828 34 | 3.522 % |
375.88/376.14 c | 595801 | 411 85786 540776 | 262979 239062 34 | 3.522 % |
376.17/376.40 c | 596057 | 411 85786 540776 | 262979 239318 34 | 3.522 % |
376.37/376.69 c | 596338 | 411 85786 540776 | 262979 239599 34 | 3.522 % |
376.57/376.89 c | 596648 | 411 85786 540776 | 262979 239909 34 | 3.522 % |
376.87/377.11 c | 596988 | 411 85786 540776 | 262979 240249 34 | 3.522 % |
377.08/377.37 c | 597361 | 411 85786 540776 | 262979 240622 34 | 3.522 % |
377.47/377.73 c | 597776 | 411 85786 540776 | 262979 241037 34 | 3.522 % |
377.67/377.93 c | 598225 | 411 85786 540776 | 262979 241486 34 | 3.522 % |
377.97/378.25 c | 598718 | 411 85786 540776 | 262979 241979 34 | 3.522 % |
378.27/378.59 c | 599260 | 411 85786 540776 | 262979 242521 34 | 3.522 % |
378.77/379.06 c | 599858 | 411 85786 540776 | 262979 243119 34 | 3.522 % |
379.18/379.45 c | 600516 | 411 85786 540776 | 2147483647 243777 34 | 3.522 % |
379.97/380.20 c | 601236 | 411 85786 540776 | 2147483647 244497 34 | 3.522 % |
380.38/380.70 c | 602028 | 411 85786 540776 | 2147483647 245289 34 | 3.522 % |
381.48/381.72 c | 602900 | 411 85786 540776 | 2147483647 246161 34 | 3.522 % |
382.27/382.52 c | 603858 | 410 85786 540776 | 2147483647 247118 34 | 3.756 % |
382.97/383.25 c | 604911 | 410 85786 540776 | 2147483647 248171 34 | 3.756 % |
383.57/383.80 c | 606071 | 410 85786 540776 | 2147483647 249331 34 | 3.756 % |
384.77/385.08 c | 607345 | 410 85786 540776 | 2147483647 250605 34 | 3.756 % |
386.27/386.56 c | 608746 | 410 85786 540776 | 2147483647 252006 34 | 3.756 % |
388.37/388.66 c | 610286 | 410 85786 540776 | 2147483647 253546 34 | 3.756 % |
390.17/390.44 c | 611982 | 410 85786 540776 | 2147483647 255242 34 | 3.760 % |
392.37/392.69 c | 613845 | 410 85786 540776 | 2147483647 257105 34 | 3.762 % |
395.36/395.62 c | 615894 | 410 85786 540776 | 2147483647 259154 34 | 3.756 % |
398.16/398.48 c | 618147 | 410 85786 540776 | 2147483647 261407 34 | 3.756 % |
401.27/401.51 c | 620627 | 410 85786 540776 | 263260 233654 34 | 3.756 % |
403.37/403.63 c | 623354 | 410 85786 540776 | 263260 236381 34 | 3.756 % |
405.06/405.38 c | 626353 | 410 85786 540776 | 263260 239380 34 | 3.756 % |
408.26/408.54 c | 629650 | 410 85786 540776 | 263260 242677 34 | 3.756 % |
411.16/411.47 c | 633276 | 410 85786 540776 | 2147483647 246303 34 | 3.756 % |
415.06/415.32 c | 637265 | 410 85786 540776 | 2147483647 250292 34 | 3.756 % |
421.56/421.86 c | 641652 | 410 85786 540776 | 2147483647 254679 34 | 3.762 % |
426.95/427.23 c | 646475 | 410 85786 540776 | 2147483647 259502 35 | 3.756 % |
432.85/433.13 c | 651781 | 410 85786 540776 | 2147483647 264808 35 | 3.756 % |
437.25/437.51 c | 657616 | 410 85786 540776 | 2147483647 270643 35 | 3.756 % |
437.35/437.61 c | 657716 | 410 85786 540776 | 2147483647 270743 35 | 3.756 % |
437.35/437.70 c | 657826 | 410 85786 540776 | 2147483647 270853 35 | 3.756 % |
437.45/437.78 c | 657947 | 410 85786 540776 | 2147483647 270974 35 | 3.756 % |
437.55/437.87 c | 658080 | 410 85786 540776 | 2147483647 271107 35 | 3.756 % |
437.95/438.23 c | 658226 | 410 85786 540776 | 2147483647 271253 35 | 3.756 % |
438.15/438.41 c | 658389 | 410 85786 540776 | 2147483647 271416 35 | 3.756 % |
438.35/438.61 c | 658565 | 410 85786 540776 | 2147483647 271592 35 | 3.756 % |
438.55/438.84 c | 658761 | 410 85786 540776 | 2147483647 271788 35 | 3.756 % |
438.75/439.01 c | 658973 | 410 85786 540776 | 2147483647 272000 35 | 3.756 % |
438.95/439.27 c | 659206 | 410 85786 540776 | 2147483647 272233 35 | 3.762 % |
439.15/439.44 c | 659462 | 410 85786 540776 | 2147483647 272489 35 | 3.756 % |
439.35/439.66 c | 659744 | 410 85786 540776 | 2147483647 272771 35 | 3.756 % |
439.55/439.90 c | 660055 | 410 85786 540776 | 2147483647 273082 35 | 3.756 % |
440.15/440.48 c | 660396 | 410 85786 540776 | 2147483647 273423 35 | 3.756 % |
440.65/440.92 c | 660770 | 410 85786 540776 | 2147483647 273797 35 | 3.756 % |
440.95/441.26 c | 661179 | 410 85786 540776 | 2147483647 274206 35 | 3.756 % |
441.35/441.68 c | 661631 | 410 85786 540776 | 2147483647 274658 35 | 3.756 % |
441.75/442.06 c | 662125 | 410 85786 540776 | 2147483647 275152 35 | 3.756 % |
442.15/442.47 c | 662671 | 410 85786 540776 | 2147483647 275698 35 | 3.757 % |
442.75/443.03 c | 663269 | 410 85786 540776 | 2147483647 276296 35 | 3.757 % |
443.35/443.70 c | 663925 | 410 85786 540776 | 2147483647 276952 35 | 3.756 % |
444.15/444.45 c | 664645 | 410 85786 540776 | 2147483647 277672 35 | 3.760 % |
444.74/445.04 c | 665437 | 410 85786 540776 | 2147483647 278464 35 | 3.762 % |
445.84/446.19 c | 666310 | 410 85786 540776 | 2147483647 279337 35 | 3.760 % |
447.45/447.79 c | 667268 | 410 85786 540776 | 2147483647 280295 35 | 3.761 % |
448.74/449.09 c | 668321 | 410 85786 540776 | 2147483647 281348 35 | 3.756 % |
449.94/450.20 c | 669480 | 410 85786 540776 | 2147483647 282507 35 | 3.761 % |
451.54/451.83 c | 670753 | 410 85786 540776 | 283027 249290 34 | 3.756 % |
452.04/452.33 c | 672153 | 410 85786 540776 | 283027 250690 34 | 3.756 % |
452.64/452.94 c | 673693 | 410 85786 540776 | 283027 252230 34 | 3.756 % |
453.34/453.63 c | 675387 | 410 85786 540776 | 283027 253924 34 | 3.756 % |
454.74/455.04 c | 677250 | 410 85786 540776 | 283027 255787 34 | 3.756 % |
456.24/456.51 c | 679299 | 410 85786 540776 | 283027 257836 34 | 3.756 % |
457.74/458.08 c | 681554 | 410 85786 540776 | 2147483647 260091 34 | 3.756 % |
460.14/460.46 c | 684032 | 410 85786 540776 | 2147483647 262569 34 | 3.756 % |
463.04/463.37 c | 686757 | 410 85786 540776 | 2147483647 265294 34 | 3.756 % |
466.24/466.53 c | 689756 | 410 85786 540776 | 2147483647 268293 35 | 3.756 % |
469.74/470.02 c | 693055 | 410 85786 540776 | 2147483647 271592 35 | 3.761 % |
473.03/473.35 c | 696680 | 410 85786 540776 | 2147483647 275217 35 | 3.756 % |
477.23/477.51 c | 700668 | 410 85786 540776 | 278537 247491 34 | 3.756 % |
481.33/481.67 c | 705054 | 410 85786 540776 | 278537 251877 35 | 3.756 % |
486.03/486.32 c | 709877 | 410 85786 540776 | 278537 256700 35 | 3.756 % |
491.93/492.23 c | 715182 | 410 85786 540776 | 2147483647 262005 35 | 3.756 % |
499.03/499.32 c | 721021 | 410 85786 540776 | 2147483647 267844 35 | 3.756 % |
506.53/506.87 c | 727439 | 410 85786 540776 | 2147483647 274262 36 | 3.756 % |
506.73/507.00 c | 727539 | 410 85786 540776 | 2147483647 274362 36 | 3.756 % |
506.83/507.13 c | 727649 | 410 85786 540776 | 2147483647 274472 36 | 3.756 % |
506.93/507.27 c | 727770 | 410 85786 540776 | 2147483647 274593 36 | 3.756 % |
507.03/507.37 c | 727903 | 410 85786 540776 | 2147483647 274726 36 | 3.756 % |
507.13/507.49 c | 728049 | 410 85786 540776 | 2147483647 274872 36 | 3.757 % |
507.53/507.80 c | 728209 | 410 85786 540776 | 2147483647 275032 36 | 3.757 % |
507.73/508.07 c | 728386 | 410 85786 540776 | 2147483647 275209 36 | 3.756 % |
508.03/508.36 c | 728580 | 410 85786 540776 | 2147483647 275403 36 | 3.756 % |
508.33/508.64 c | 728793 | 410 85786 540776 | 2147483647 275616 36 | 3.756 % |
508.53/508.89 c | 729026 | 410 85786 540776 | 2147483647 275849 36 | 3.756 % |
509.03/509.33 c | 729285 | 410 85786 540776 | 2147483647 276108 36 | 3.756 % |
509.33/509.66 c | 729566 | 410 85786 540776 | 2147483647 276389 36 | 3.756 % |
509.82/510.16 c | 729877 | 410 85786 540776 | 2147483647 276700 36 | 3.756 % |
510.13/510.41 c | 730216 | 410 85786 540776 | 2147483647 277039 36 | 3.756 % |
510.43/510.71 c | 730589 | 410 85786 540776 | 2147483647 277412 36 | 3.756 % |
510.73/511.05 c | 730998 | 410 85786 540776 | 2147483647 277821 36 | 3.757 % |
511.03/511.38 c | 731449 | 410 85786 540776 | 2147483647 278272 36 | 3.756 % |
511.52/511.87 c | 731942 | 410 85786 540776 | 2147483647 278765 36 | 3.756 % |
512.02/512.31 c | 732485 | 410 85786 540776 | 2147483647 279308 36 | 3.756 % |
512.52/512.85 c | 733081 | 410 85786 540776 | 2147483647 279904 36 | 3.756 % |
513.33/513.61 c | 733737 | 410 85786 540776 | 2147483647 280560 36 | 3.756 % |
513.92/514.24 c | 734457 | 410 85786 540776 | 2147483647 281280 36 | 3.756 % |
514.92/515.21 c | 735250 | 410 85786 540776 | 2147483647 282073 36 | 3.762 % |
515.92/516.27 c | 736122 | 410 85786 540776 | 2147483647 282945 36 | 3.756 % |
516.92/517.24 c | 737080 | 410 85786 540776 | 2147483647 283903 36 | 3.756 % |
518.32/518.69 c | 738134 | 410 85786 540776 | 2147483647 284957 36 | 3.756 % |
519.73/520.07 c | 739292 | 410 85786 540776 | 2147483647 286115 36 | 3.756 % |
521.93/522.29 c | 740565 | 410 85786 540776 | 286824 256320 35 | 3.756 % |
523.53/523.80 c | 741967 | 410 85786 540776 | 286824 257722 35 | 3.756 % |
525.02/525.39 c | 743507 | 410 85786 540776 | 286824 259262 35 | 3.756 % |
526.53/526.82 c | 745202 | 410 85786 540776 | 286824 260957 35 | 3.756 % |
528.02/528.36 c | 747066 | 410 85786 540776 | 286824 262821 35 | 3.756 % |
531.52/531.84 c | 749116 | 410 85786 540776 | 286824 264871 36 | 3.756 % |
534.42/534.79 c | 751369 | 410 85786 540776 | 265755 237501 35 | 3.756 % |
536.62/536.91 c | 753848 | 410 85786 540776 | 265755 239980 35 | 3.756 % |
539.02/539.37 c | 756574 | 410 85786 540776 | 265755 242706 35 | 3.756 % |
542.42/542.73 c | 759572 | 410 85786 540776 | 265755 245704 35 | 3.756 % |
544.62/544.96 c | 762868 | 410 85786 540776 | 2147483647 249000 35 | 3.756 % |
547.22/547.54 c | 766496 | 410 85786 540776 | 2147483647 252628 35 | 3.756 % |
550.22/550.51 c | 770483 | 410 85786 540776 | 2147483647 256615 35 | 3.756 % |
552.52/552.85 c | 774873 | 410 85786 540776 | 2147483647 261005 35 | 3.756 % |
555.02/555.32 c | 779700 | 410 85786 540776 | 2147483647 265832 36 | 3.756 % |
557.81/558.10 c | 785007 | 410 85786 540776 | 2147483647 271139 36 | 3.756 % |
564.71/565.06 c | 790842 | 410 85786 540776 | 2147483647 276974 36 | 3.756 % |
572.21/572.54 c | 797263 | 410 85786 540776 | 2147483647 283394 36 | 3.991 % |
583.11/583.43 c | 804322 | 410 85786 540776 | 286131 247430 36 | 3.991 % |
583.21/583.57 c | 804423 | 410 85786 540776 | 286131 247531 36 | 3.991 % |
583.40/583.76 c | 804534 | 410 85786 540776 | 286131 247642 36 | 3.991 % |
583.71/584.00 c | 804655 | 410 85786 540776 | 286131 247763 36 | 3.991 % |
583.90/584.23 c | 804788 | 410 85786 540776 | 286131 247896 36 | 3.991 % |
584.00/584.39 c | 804934 | 410 85786 540776 | 286131 248042 36 | 3.991 % |
584.20/584.55 c | 805095 | 410 85786 540776 | 286131 248203 36 | 3.997 % |
584.50/584.83 c | 805271 | 410 85786 540776 | 286131 248379 36 | 3.991 % |
584.60/584.96 c | 805468 | 410 85786 540776 | 286131 248576 36 | 3.991 % |
584.70/585.07 c | 805681 | 410 85786 540776 | 286131 248789 36 | 3.991 % |
584.81/585.19 c | 805915 | 410 85786 540776 | 286131 249023 36 | 3.991 % |
584.91/585.28 c | 806171 | 410 85786 540776 | 286131 249279 36 | 3.991 % |
585.10/585.41 c | 806452 | 410 85786 540776 | 286131 249560 36 | 3.991 % |
585.20/585.53 c | 806765 | 410 85786 540776 | 286131 249873 36 | 3.991 % |
585.30/585.65 c | 807105 | 410 85786 540776 | 286131 250213 36 | 3.992 % |
585.50/585.80 c | 807478 | 410 85786 540776 | 286131 250586 36 | 3.991 % |
585.80/586.11 c | 807887 | 410 85786 540776 | 286131 250995 36 | 3.991 % |
586.00/586.37 c | 808336 | 410 85786 540776 | 286131 251444 36 | 3.991 % |
586.20/586.57 c | 808829 | 410 85786 540776 | 286131 251937 36 | 3.997 % |
586.50/586.82 c | 809371 | 410 85786 540776 | 286131 252479 36 | 3.991 % |
586.80/587.11 c | 809967 | 410 85786 540776 | 286131 253075 36 | 3.991 % |
587.80/588.18 c | 810624 | 410 85786 540776 | 253110 225740 35 | 3.992 % |
588.10/588.44 c | 811346 | 410 85786 540776 | 253110 226462 35 | 3.991 % |
588.30/588.70 c | 812140 | 410 85786 540776 | 253110 227256 35 | 3.991 % |
588.80/589.17 c | 813012 | 410 85786 540776 | 253110 228128 35 | 3.991 % |
590.40/590.71 c | 813971 | 410 85786 540776 | 253110 229087 35 | 3.991 % |
591.20/591.55 c | 815025 | 410 85786 540776 | 253110 230141 35 | 3.991 % |
592.79/593.17 c | 816186 | 410 85786 540776 | 253110 231302 35 | 3.991 % |
593.99/594.39 c | 817462 | 410 85786 540776 | 253110 232578 35 | 3.997 % |
595.19/595.54 c | 818862 | 410 85786 540776 | 253110 233978 35 | 3.991 % |
596.20/596.55 c | 820402 | 410 85786 540776 | 2147483647 235518 35 | 3.991 % |
597.29/597.64 c | 822098 | 410 85786 540776 | 2147483647 237214 35 | 3.991 % |
599.20/599.53 c | 823961 | 410 85786 540776 | 2147483647 239077 35 | 3.991 % |
601.30/601.66 c | 826010 | 410 85786 540776 | 2147483647 241126 35 | 3.991 % |
604.19/604.54 c | 828265 | 410 85786 540776 | 2147483647 243381 35 | 3.991 % |
606.69/607.03 c | 830743 | 410 85786 540776 | 2147483647 245859 35 | 3.991 % |
608.89/609.30 c | 833469 | 410 85786 540776 | 2147483647 248585 35 | 3.991 % |
611.39/611.76 c | 836467 | 410 85786 540776 | 2147483647 251583 35 | 3.991 % |
614.59/614.96 c | 839763 | 410 85786 540776 | 2147483647 254879 36 | 3.991 % |
619.39/619.76 c | 843388 | 410 85786 540776 | 2147483647 258504 36 | 3.997 % |
622.19/622.58 c | 847375 | 410 85786 540776 | 2147483647 262491 36 | 3.995 % |
626.69/627.03 c | 851762 | 410 85786 540776 | 2147483647 266878 36 | 3.996 % |
633.88/634.30 c | 856586 | 410 85786 540776 | 2147483647 271702 36 | 3.991 % |
639.58/639.99 c | 861895 | 410 85786 540776 | 275117 242404 35 | 3.991 % |
645.28/645.66 c | 867730 | 410 85786 540776 | 275117 248239 35 | 3.991 % |
651.88/652.25 c | 874151 | 410 85786 540776 | 250509 228703 35 | 3.991 % |
660.68/661.04 c | 881211 | 410 85786 540776 | 2147483647 235763 35 | 3.991 % |
668.77/669.12 c | 888975 | 410 85786 540776 | 2147483647 243527 35 | 3.991 % |
668.87/669.20 c | 889076 | 410 85786 540776 | 2147483647 243628 35 | 3.991 % |
669.07/669.42 c | 889187 | 410 85786 540776 | 2147483647 243739 35 | 3.991 % |
669.17/669.54 c | 889308 | 410 85786 540776 | 2147483647 243860 35 | 3.991 % |
669.37/669.71 c | 889441 | 410 85786 540776 | 2147483647 243993 35 | 3.991 % |
669.47/669.83 c | 889587 | 410 85786 540776 | 2147483647 244139 35 | 3.991 % |
669.77/670.10 c | 889748 | 410 85786 540776 | 2147483647 244300 35 | 3.991 % |
669.87/670.23 c | 889924 | 410 85786 540776 | 2147483647 244476 35 | 3.991 % |
669.97/670.33 c | 890120 | 410 85786 540776 | 2147483647 244672 35 | 3.991 % |
670.17/670.52 c | 890333 | 410 85786 540776 | 2147483647 244885 35 | 3.991 % |
670.27/670.68 c | 890567 | 410 85786 540776 | 2147483647 245119 35 | 3.991 % |
670.57/670.91 c | 890823 | 410 85786 540776 | 2147483647 245375 35 | 3.991 % |
670.67/671.05 c | 891104 | 410 85786 540776 | 2147483647 245656 35 | 3.991 % |
670.87/671.26 c | 891417 | 410 85786 540776 | 2147483647 245969 35 | 3.991 % |
671.17/671.50 c | 891758 | 410 85786 540776 | 2147483647 246310 35 | 3.991 % |
671.47/671.83 c | 892130 | 410 85786 540776 | 2147483647 246682 35 | 3.992 % |
671.67/672.09 c | 892541 | 410 85786 540776 | 2147483647 247093 35 | 3.991 % |
672.27/672.60 c | 892990 | 410 85786 540776 | 2147483647 247542 35 | 3.991 % |
672.67/673.05 c | 893483 | 410 85786 540776 | 2147483647 248035 35 | 3.991 % |
673.47/673.88 c | 894035 | 410 85786 540776 | 2147483647 248587 35 | 3.991 % |
674.07/674.46 c | 894631 | 410 85786 540776 | 2147483647 249183 35 | 3.991 % |
674.57/674.99 c | 895287 | 410 85786 540776 | 2147483647 249839 35 | 3.991 % |
675.17/675.51 c | 896007 | 410 85786 540776 | 2147483647 250559 35 | 3.991 % |
675.87/676.21 c | 896799 | 410 85786 540776 | 2147483647 251351 35 | 3.991 % |
676.27/676.60 c | 897672 | 410 85786 540776 | 2147483647 252224 35 | 3.991 % |
677.07/677.47 c | 898630 | 410 85786 540776 | 2147483647 253182 35 | 3.991 % |
677.77/678.13 c | 899684 | 410 85786 540776 | 2147483647 254236 35 | 3.991 % |
678.27/678.69 c | 900842 | 410 85786 540776 | 2147483647 255394 35 | 3.991 % |
679.06/679.45 c | 902115 | 410 85786 540776 | 2147483647 256667 35 | 3.997 % |
679.76/680.19 c | 903516 | 410 85786 540776 | 2147483647 258068 35 | 3.991 % |
681.57/681.96 c | 905056 | 410 85786 540776 | 2147483647 259608 35 | 3.991 % |
683.16/683.58 c | 906750 | 410 85786 540776 | 2147483647 261302 35 | 3.991 % |
684.97/685.31 c | 908614 | 410 85786 540776 | 2147483647 263166 35 | 3.991 % |
687.07/687.42 c | 910665 | 410 85786 540776 | 2147483647 265217 35 | 3.997 % |
689.16/689.59 c | 912918 | 410 85786 540776 | 2147483647 267470 35 | 3.991 % |
691.96/692.39 c | 915396 | 410 85786 540776 | 2147483647 269948 35 | 3.991 % |
693.76/694.15 c | 918122 | 410 85786 540776 | 2147483647 272674 35 | 3.991 % |
696.96/697.36 c | 921120 | 410 85786 540776 | 274554 243584 34 | 3.991 % |
698.96/699.30 c | 924416 | 410 85786 540776 | 274554 246880 34 | 3.991 % |
700.26/700.67 c | 928042 | 410 85786 540776 | 274554 250506 34 | 3.991 % |
703.36/703.71 c | 932029 | 410 85786 540776 | 2147483647 254493 35 | 3.991 % |
705.76/706.17 c | 936414 | 410 85786 540776 | 2147483647 258878 34 | 3.991 % |
707.56/707.96 c | 941237 | 410 85786 540776 | 2147483647 263701 34 | 3.991 % |
709.86/710.20 c | 946542 | 410 85786 540776 | 2147483647 269006 34 | 3.991 % |
715.25/715.60 c | 952377 | 410 85786 540776 | 2147483647 274841 34 | 3.991 % |
720.55/720.92 c | 958796 | 410 85786 540776 | 2147483647 281260 34 | 3.991 % |
726.66/727.09 c | 965857 | 409 84491 533629 | 2147483647 288313 35 | 3.991 % |
734.96/735.33 c | 973622 | 409 84491 533629 | 292459 257360 34 | 3.991 % |
741.76/742.16 c | 982166 | 409 84491 533629 | 2147483647 265904 34 | 3.991 % |
741.96/742.31 c | 982267 | 409 84491 533629 | 2147483647 266005 34 | 3.991 % |
742.06/742.47 c | 982378 | 409 84491 533629 | 2147483647 266116 34 | 3.991 % |
742.16/742.59 c | 982499 | 409 84491 533629 | 2147483647 266237 34 | 3.991 % |
742.26/742.69 c | 982632 | 409 84491 533629 | 2147483647 266370 34 | 3.991 % |
742.45/742.87 c | 982779 | 409 84491 533629 | 2147483647 266517 34 | 3.991 % |
742.65/743.05 c | 982940 | 409 84491 533629 | 2147483647 266678 34 | 3.991 % |
742.95/743.32 c | 983116 | 409 84491 533629 | 2147483647 266854 34 | 3.991 % |
743.16/743.54 c | 983313 | 409 84491 533629 | 2147483647 267051 34 | 3.991 % |
743.35/743.79 c | 983526 | 409 84491 533629 | 2147483647 267264 34 | 3.991 % |
743.75/744.18 c | 983759 | 409 84491 533629 | 2147483647 267497 34 | 3.991 % |
743.95/744.38 c | 984015 | 409 84491 533629 | 2147483647 267753 34 | 3.996 % |
744.45/744.84 c | 984299 | 409 84491 533629 | 2147483647 268037 34 | 3.991 % |
744.85/745.24 c | 984608 | 409 84491 533629 | 2147483647 268346 34 | 3.991 % |
745.15/745.50 c | 984949 | 409 84491 533629 | 2147483647 268687 34 | 3.991 % |
745.36/745.79 c | 985322 | 409 84491 533629 | 2147483647 269060 34 | 3.991 % |
745.65/746.02 c | 985734 | 409 84491 533629 | 2147483647 269472 34 | 3.991 % |
745.85/746.26 c | 986183 | 409 84491 533629 | 2147483647 269921 34 | 3.991 % |
746.15/746.57 c | 986677 | 409 84491 533629 | 2147483647 270415 34 | 3.991 % |
746.46/746.89 c | 987220 | 409 84491 533629 | 2147483647 270958 34 | 3.991 % |
746.95/747.39 c | 987816 | 409 84491 533629 | 2147483647 271554 34 | 3.991 % |
747.45/747.82 c | 988471 | 409 84491 533629 | 2147483647 272209 34 | 3.991 % |
748.25/748.62 c | 989191 | 409 84491 533629 | 2147483647 272929 34 | 3.991 % |
748.76/749.14 c | 989983 | 409 84491 533629 | 2147483647 273721 34 | 3.991 % |
750.45/750.87 c | 990854 | 409 84491 533629 | 273738 244194 33 | 3.991 % |
751.15/751.51 c | 991813 | 409 84491 533629 | 273738 245153 33 | 3.997 % |
751.85/752.27 c | 992867 | 409 84491 533629 | 273738 246207 33 | 3.991 % |
752.35/752.79 c | 994025 | 409 84491 533629 | 273738 247365 33 | 3.991 % |
753.15/753.51 c | 995300 | 409 84491 533629 | 273738 248640 33 | 3.991 % |
754.45/754.88 c | 996701 | 409 84491 533629 | 273738 250041 33 | 3.991 % |
755.65/756.07 c | 998244 | 409 84491 533629 | 273738 251584 34 | 3.991 % |
756.65/757.05 c | 999938 | 409 84491 533629 | 273738 253278 34 | 3.991 % |
758.15/758.54 c | 1001802 | 409 84491 533629 | 2147483647 255142 34 | 3.991 % |
759.45/759.88 c | 1003857 | 409 84491 533629 | 2147483647 257197 34 | 3.992 % |
760.85/761.22 c | 1006112 | 409 84491 533629 | 2147483647 259452 34 | 3.991 % |
761.85/762.24 c | 1008591 | 409 84491 533629 | 2147483647 261931 34 | 3.991 % |
764.55/764.91 c | 1011317 | 409 84491 533629 | 2147483647 264657 34 | 3.991 % |
766.85/767.24 c | 1014315 | 409 84491 533629 | 2147483647 267655 34 | 3.991 % |
768.95/769.32 c | 1017612 | 409 84491 533629 | 2147483647 270952 34 | 3.991 % |
772.15/772.52 c | 1021239 | 409 84491 533629 | 2147483647 274579 34 | 3.991 % |
776.44/776.86 c | 1025227 | 409 84491 533629 | 2147483647 278567 34 | 3.991 % |
781.14/781.51 c | 1029613 | 409 84491 533629 | 2147483647 282953 34 | 3.991 % |
786.15/786.58 c | 1034437 | 409 84491 533629 | 2147483647 287777 35 | 3.991 % |
792.64/793.04 c | 1039743 | 409 84491 533629 | 2147483647 293083 35 | 3.991 % |
799.64/800.07 c | 1045578 | 409 84491 533629 | 2147483647 298918 35 | 3.991 % |
810.53/810.99 c | 1051996 | 409 84491 533629 | 303341 266543 34 | 3.991 % |
818.83/819.22 c | 1059055 | 409 84491 533629 | 303341 273602 34 | 3.991 % |
827.93/828.36 c | 1066826 | 409 84491 533629 | 274548 250245 34 | 3.991 % |
835.52/835.97 c | 1075366 | 409 84491 533629 | 2147483647 258785 35 | 3.991 % |
847.62/848.02 c | 1084761 | 409 84491 533629 | 2147483647 268180 35 | 3.991 % |
847.72/848.14 c | 1084864 | 409 84491 533629 | 2147483647 268283 35 | 3.991 % |
847.81/848.28 c | 1084974 | 409 84491 533629 | 2147483647 268393 35 | 3.991 % |
848.01/848.45 c | 1085097 | 409 84491 533629 | 2147483647 268516 35 | 3.991 % |
848.31/848.71 c | 1085234 | 409 84491 533629 | 2147483647 268653 35 | 3.991 % |
848.41/848.87 c | 1085380 | 409 84491 533629 | 2147483647 268799 35 | 3.991 % |
848.61/849.01 c | 1085540 | 409 84491 533629 | 2147483647 268959 35 | 3.991 % |
848.72/849.20 c | 1085717 | 409 84491 533629 | 2147483647 269136 35 | 3.991 % |
848.91/849.33 c | 1085912 | 409 84491 533629 | 2147483647 269331 35 | 3.991 % |
849.11/849.52 c | 1086126 | 409 84491 533629 | 2147483647 269545 35 | 3.991 % |
849.32/849.72 c | 1086363 | 409 84491 533629 | 2147483647 269782 35 | 3.991 % |
849.52/849.94 c | 1086619 | 409 84491 533629 | 2147483647 270038 35 | 3.991 % |
849.72/850.10 c | 1086902 | 409 84491 533629 | 2147483647 270321 35 | 3.991 % |
849.93/850.35 c | 1087212 | 409 84491 533629 | 2147483647 270631 35 | 3.991 % |
850.12/850.58 c | 1087554 | 409 84491 533629 | 2147483647 270973 35 | 3.995 % |
850.62/851.06 c | 1087926 | 409 84491 533629 | 2147483647 271345 35 | 3.991 % |
850.93/851.40 c | 1088335 | 409 84491 533629 | 2147483647 271754 35 | 3.991 % |
851.42/851.89 c | 1088788 | 409 84491 533629 | 2147483647 272207 35 | 3.991 % |
851.82/852.30 c | 1089282 | 409 84491 533629 | 2147483647 272701 35 | 3.991 % |
852.62/853.02 c | 1089825 | 409 84491 533629 | 2147483647 273244 35 | 3.991 % |
854.32/854.74 c | 1090422 | 409 84491 533629 | 273420 244907 34 | 3.991 % |
855.02/855.42 c | 1091077 | 409 84491 533629 | 273420 245562 34 | 3.991 % |
855.92/856.34 c | 1091797 | 409 84491 533629 | 273420 246282 34 | 3.991 % |
856.82/857.22 c | 1092590 | 409 84491 533629 | 273420 247075 34 | 3.991 % |
857.42/857.84 c | 1093462 | 409 84491 533629 | 273420 247947 34 | 3.991 % |
858.82/859.26 c | 1094420 | 409 84491 533629 | 273420 248905 34 | 3.991 % |
860.62/861.03 c | 1095482 | 409 84491 533629 | 273420 249967 34 | 3.991 % |
861.92/862.39 c | 1096640 | 409 84491 533629 | 273420 251125 34 | 3.991 % |
863.42/863.86 c | 1097913 | 409 84491 533629 | 273420 252398 35 | 3.991 % |
865.02/865.46 c | 1099319 | 409 84491 533629 | 273420 253804 35 | 3.991 % |
866.32/866.74 c | 1100860 | 409 84491 533629 | 2147483647 255345 35 | 3.991 % |
867.52/867.93 c | 1102554 | 409 84491 533629 | 2147483647 257039 35 | 3.991 % |
868.82/869.23 c | 1104418 | 409 84491 533629 | 2147483647 258903 35 | 3.991 % |
870.92/871.34 c | 1106468 | 409 84491 533629 | 2147483647 260953 35 | 3.991 % |
873.41/873.81 c | 1108722 | 409 84491 533629 | 2147483647 263207 35 | 3.991 % |
875.41/875.85 c | 1111201 | 409 84491 533629 | 2147483647 265686 35 | 3.991 % |
878.31/878.71 c | 1113927 | 409 84491 533629 | 2147483647 268412 35 | 3.991 % |
881.91/882.31 c | 1116924 | 409 84491 533629 | 2147483647 271409 35 | 3.991 % |
885.31/885.80 c | 1120220 | 409 84491 533629 | 2147483647 274705 35 | 3.991 % |
888.01/888.43 c | 1123847 | 409 84491 533629 | 2147483647 278332 35 | 3.994 % |
891.91/892.30 c | 1127834 | 409 84491 533629 | 2147483647 282319 35 | 3.991 % |
897.21/897.69 c | 1132220 | 409 84491 533629 | 2147483647 286705 35 | 3.991 % |
901.40/901.80 c | 1137043 | 408 84491 533629 | 2147483647 291527 36 | 4.226 % |
908.21/908.67 c | 1142348 | 408 84491 533629 | 294484 262003 35 | 4.226 % |
915.30/915.79 c | 1148186 | 408 84491 533629 | 294484 267841 35 | 4.226 % |
922.20/922.67 c | 1154604 | 408 84491 533629 | 2147483647 274259 36 | 4.226 % |
931.90/932.33 c | 1161663 | 408 84491 533629 | 2147483647 281318 36 | 4.226 % |
940.29/940.70 c | 1169428 | 408 84491 533629 | 2147483647 289083 36 | 4.226 % |
949.90/950.34 c | 1177970 | 408 84491 533629 | 289655 261936 36 | 4.226 % |
959.09/959.59 c | 1187368 | 408 84491 533629 | 2147483647 271334 36 | 4.226 % |
969.19/969.67 c | 1197701 | 408 84491 533629 | 273967 253159 36 | 4.226 % |
969.29/969.77 c | 1197801 | 408 84491 533629 | 273967 253259 36 | 4.226 % |
969.49/969.90 c | 1197912 | 408 84491 533629 | 273967 253370 36 | 4.226 % |
969.59/970.07 c | 1198034 | 408 84491 533629 | 273967 253492 36 | 4.226 % |
969.79/970.28 c | 1198168 | 408 84491 533629 | 273967 253626 36 | 4.226 % |
969.99/970.47 c | 1198314 | 408 84491 533629 | 273967 253772 36 | 4.226 % |
970.18/970.68 c | 1198475 | 408 84491 533629 | 273967 253933 36 | 4.230 % |
970.48/970.95 c | 1198653 | 408 84491 533629 | 273967 254111 36 | 4.226 % |
970.79/971.20 c | 1198848 | 408 84491 533629 | 273967 254306 36 | 4.226 % |
970.98/971.41 c | 1199061 | 408 84491 533629 | 273967 254519 36 | 4.226 % |
971.28/971.75 c | 1199296 | 408 84491 533629 | 273967 254754 36 | 4.226 % |
971.58/972.04 c | 1199555 | 408 84491 533629 | 273967 255013 36 | 4.226 % |
971.98/972.43 c | 1199836 | 408 84491 533629 | 273967 255294 36 | 4.226 % |
972.28/972.72 c | 1200145 | 408 84491 533629 | 2147483647 255603 36 | 4.226 % |
972.48/972.96 c | 1200484 | 408 84491 533629 | 2147483647 255942 36 | 4.226 % |
972.88/973.36 c | 1200856 | 408 84491 533629 | 2147483647 256314 36 | 4.230 % |
973.48/973.90 c | 1201265 | 408 84491 533629 | 2147483647 256723 36 | 4.226 % |
973.88/974.38 c | 1201714 | 408 84491 533629 | 2147483647 257172 36 | 4.226 % |
974.58/975.02 c | 1202207 | 408 84491 533629 | 2147483647 257665 36 | 4.226 % |
975.38/975.82 c | 1202749 | 408 84491 533629 | 2147483647 258207 36 | 4.226 % |
975.78/976.28 c | 1203346 | 408 84491 533629 | 2147483647 258804 36 | 4.226 % |
976.28/976.72 c | 1204004 | 408 84491 533629 | 2147483647 259462 36 | 4.226 % |
977.08/977.53 c | 1204724 | 408 84491 533629 | 2147483647 260182 36 | 4.226 % |
977.68/978.12 c | 1205517 | 408 84491 533629 | 2147483647 260975 36 | 4.226 % |
978.28/978.80 c | 1206389 | 408 84491 533629 | 2147483647 261847 36 | 4.226 % |
979.28/979.75 c | 1207348 | 408 84491 533629 | 2147483647 262806 36 | 4.231 % |
979.98/980.42 c | 1208403 | 408 84491 533629 | 2147483647 263861 36 | 4.226 % |
980.68/981.12 c | 1209562 | 408 84491 533629 | 2147483647 265020 36 | 4.226 % |
982.98/983.49 c | 1210835 | 408 84491 533629 | 265458 235149 36 | 4.226 % |
983.98/984.41 c | 1212235 | 408 84491 533629 | 265458 236549 35 | 4.226 % |
984.98/985.44 c | 1213775 | 408 84491 533629 | 265458 238089 35 | 4.226 % |
985.88/986.38 c | 1215469 | 408 84491 533629 | 265458 239783 36 | 4.226 % |
987.98/988.45 c | 1217333 | 408 84491 533629 | 265458 241647 36 | 4.226 % |
989.78/990.22 c | 1219385 | 408 84491 533629 | 265458 243699 36 | 4.226 % |
991.38/991.87 c | 1221641 | 408 84491 533629 | 2147483647 245955 36 | 4.226 % |
993.47/993.99 c | 1224119 | 408 84491 533629 | 2147483647 248433 36 | 4.226 % |
996.18/996.64 c | 1226846 | 408 84491 533629 | 2147483647 251160 36 | 4.226 % |
997.88/998.33 c | 1229844 | 408 84491 533629 | 2147483647 254158 36 | 4.226 % |
999.87/1000.39 c | 1233140 | 408 84491 533629 | 2147483647 257454 35 | 4.226 % |
1002.37/1002.82 c | 1236766 | 408 84491 533629 | 2147483647 261080 35 | 4.231 % |
1005.17/1005.64 c | 1240754 | 408 84491 533629 | 2147483647 265068 35 | 4.226 % |
1008.37/1008.80 c | 1245139 | 408 84491 533629 | 2147483647 269453 35 | 4.226 % |
1011.27/1011.76 c | 1249963 | 408 84491 533629 | 2147483647 274277 35 | 4.226 % |
1015.57/1016.04 c | 1255268 | 408 84491 533629 | 2147483647 279582 35 | 4.226 % |
1018.86/1019.38 c | 1261103 | 408 84491 533629 | 284316 256954 35 | 4.226 % |
1023.67/1024.10 c | 1267521 | 408 84491 533629 | 284316 263372 35 | 4.226 % |
1031.46/1031.97 c | 1274580 | 408 84491 533629 | 2147483647 270431 35 | 4.226 % |
1040.66/1041.15 c | 1282345 | 408 84491 533629 | 2147483647 278196 36 | 4.226 % |
1053.65/1054.11 c | 1290885 | 408 84491 533629 | 285852 238995 35 | 4.226 % |
1063.75/1064.29 c | 1300279 | 408 84491 533629 | 2147483647 248389 35 | 4.226 % |
1072.15/1072.61 c | 1310615 | 408 84491 533629 | 2147483647 258725 36 | 4.226 % |
1083.65/1084.18 c | 1321982 | 408 84491 533629 | 2147483647 270091 36 | 4.461 % |
1083.75/1084.27 c | 1322082 | 408 84491 533629 | 2147483647 270191 36 | 4.461 % |
1083.95/1084.48 c | 1322194 | 408 84491 533629 | 2147483647 270303 36 | 4.461 % |
1084.05/1084.60 c | 1322315 | 408 84491 533629 | 2147483647 270424 36 | 4.461 % |
1084.15/1084.70 c | 1322451 | 408 84491 533629 | 2147483647 270560 36 | 4.466 % |
1084.25/1084.76 c | 1322598 | 408 84491 533629 | 2147483647 270707 36 | 4.464 % |
1084.65/1085.16 c | 1322759 | 408 84491 533629 | 2147483647 270868 36 | 4.461 % |
1084.85/1085.34 c | 1322937 | 408 84491 533629 | 2147483647 271046 36 | 4.461 % |
1085.15/1085.64 c | 1323134 | 408 84491 533629 | 2147483647 271243 36 | 4.461 % |
1085.45/1085.94 c | 1323346 | 408 84491 533629 | 2147483647 271455 36 | 4.461 % |
1085.85/1086.36 c | 1323581 | 408 84491 533629 | 2147483647 271690 36 | 4.461 % |
1086.25/1086.74 c | 1323837 | 408 84491 533629 | 2147483647 271946 36 | 4.461 % |
1086.74/1087.24 c | 1324118 | 408 84491 533629 | 2147483647 272227 36 | 4.461 % |
1087.14/1087.67 c | 1324427 | 408 84491 533629 | 2147483647 272536 36 | 4.461 % |
1087.54/1088.07 c | 1324766 | 408 84491 533629 | 2147483647 272875 36 | 4.461 % |
1087.94/1088.47 c | 1325138 | 408 84491 533629 | 2147483647 273247 36 | 4.461 % |
1088.14/1088.70 c | 1325548 | 408 84491 533629 | 2147483647 273657 36 | 4.461 % |
1088.74/1089.26 c | 1325998 | 408 84491 533629 | 2147483647 274107 36 | 4.461 % |
1089.14/1089.68 c | 1326492 | 408 84491 533629 | 2147483647 274601 36 | 4.461 % |
1089.74/1090.26 c | 1327042 | 408 84491 533629 | 2147483647 275151 36 | 4.461 % |
1090.34/1090.85 c | 1327638 | 408 84491 533629 | 2147483647 275747 36 | 4.461 % |
1090.94/1091.45 c | 1328293 | 408 84491 533629 | 2147483647 276402 36 | 4.461 % |
1091.94/1092.43 c | 1329013 | 408 84491 533629 | 2147483647 277122 36 | 4.466 % |
1093.14/1093.64 c | 1329805 | 408 84491 533629 | 2147483647 277914 36 | 4.461 % |
1095.34/1095.90 c | 1330676 | 408 84491 533629 | 278109 245077 35 | 4.461 % |
1096.54/1097.05 c | 1331634 | 408 84491 533629 | 278109 246035 35 | 4.461 % |
1097.64/1098.17 c | 1332687 | 408 84491 533629 | 278109 247088 35 | 4.461 % |
1098.94/1099.46 c | 1333846 | 408 84491 533629 | 278109 248247 35 | 4.461 % |
1100.14/1100.66 c | 1335121 | 408 84491 533629 | 278109 249522 35 | 4.465 % |
1101.04/1101.58 c | 1336522 | 408 84491 533629 | 278109 250923 35 | 4.466 % |
1102.34/1102.81 c | 1338063 | 408 84491 533629 | 278109 252464 35 | 4.461 % |
1104.64/1105.10 c | 1339757 | 408 84491 533629 | 278109 254158 35 | 4.461 % |
1106.74/1107.20 c | 1341621 | 408 84491 533629 | 254403 230451 35 | 4.461 % |
1108.84/1109.37 c | 1343672 | 408 84491 533629 | 254403 232502 35 | 4.461 % |
1111.14/1111.67 c | 1345925 | 408 84491 533629 | 254403 234755 35 | 4.461 % |
1113.54/1114.09 c | 1348405 | 408 84491 533629 | 254403 237235 35 | 4.461 % |
1116.04/1116.59 c | 1351132 | 408 84491 533629 | 2147483647 239962 36 | 4.461 % |
1118.94/1119.46 c | 1354131 | 408 84491 533629 | 2147483647 242961 36 | 4.461 % |
1121.34/1121.82 c | 1357427 | 408 84491 533629 | 2147483647 246257 36 | 4.461 % |
1124.53/1125.08 c | 1361052 | 408 84491 533629 | 2147483647 249882 36 | 4.461 % |
1129.33/1129.83 c | 1365039 | 408 84491 533629 | 2147483647 253869 36 | 4.461 % |
1134.64/1135.15 c | 1369424 | 408 84491 533629 | 2147483647 258254 36 | 4.461 % |
1141.83/1142.34 c | 1374248 | 408 84491 533629 | 2147483647 263078 36 | 4.461 % |
1147.03/1147.52 c | 1379555 | 408 84491 533629 | 2147483647 268385 36 | 4.461 % |
1152.73/1153.27 c | 1385390 | 408 84491 533629 | 2147483647 274220 36 | 4.461 % |
1160.93/1161.48 c | 1391809 | 408 84491 533629 | 278830 238012 36 | 4.461 % |
1167.42/1167.93 c | 1398869 | 408 84491 533629 | 278830 245072 36 | 4.461 % |
1176.32/1176.87 c | 1406634 | 408 84491 533629 | 246207 225733 36 | 4.461 % |
1182.42/1182.98 c | 1415175 | 407 83543 529222 | 2147483647 234272 36 | 4.461 % |
1189.21/1189.78 c | 1424571 | 407 83543 529222 | 2147483647 243668 36 | 4.461 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834059-1242827625/watcher-1834059-1242827625 -o /tmp/evaluation-result-1834059-1242827625/solver-1834059-1242827625 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834059-1242827625.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 4000
/proc/meminfo: memFree=1809800/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=0
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310795898 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 240472784978 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/4000/statm: 1339 235 195 169 0 50 0
[pid=4001] ppid=4000 vsize=5356 CPUtime=0
/proc/4001/stat : 4001 (SatELiteGTI) R 4000 4000 3686 0 -1 4194368 51 25 0 0 0 0 0 0 21 0 1 0 310795899 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/4001/statm: 1339 238 198 169 0 50 0
[pid=4003] ppid=4001 vsize=0 CPUtime=0
/proc/4003/stat : 4003 (sed) Z 4001 4000 3686 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 310795899 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/4003/statm: 0 0 0 0 0 0 0
[startup+0.02486 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 4000
/proc/meminfo: memFree=1809800/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=0
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310795898 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4000/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101864 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 4000
/proc/meminfo: memFree=1809800/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=0
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310795898 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4000/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30188 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 4000
/proc/meminfo: memFree=1809800/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=0
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310795898 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4000/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701916 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 4000
/proc/meminfo: memFree=1809800/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=0
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310795898 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4000/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50198 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4005
/proc/meminfo: memFree=1796280/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=0
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310795898 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4000/statm: 1339 237 197 169 0 50 0
[pid=4005] ppid=4000 vsize=15388 CPUtime=1.49
/proc/4005/stat : 4005 (SatELite_releas) R 4000 4000 3686 0 -1 4194304 3469 0 0 0 148 1 0 0 25 0 1 0 310795899 15757312 3453 1992294400 134512640 135223648 4294956128 18446744073709551615 134548993 0 0 4096 3 0 0 0 17 1 0 0
/proc/4005/statm: 3847 3453 70 173 0 3672 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20744
[startup+3.10112 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4005
/proc/meminfo: memFree=1794360/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=0
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310795898 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4000/statm: 1339 237 197 169 0 50 0
[pid=4005] ppid=4000 vsize=18472 CPUtime=3.08
/proc/4005/stat : 4005 (SatELite_releas) R 4000 4000 3686 0 -1 4194304 4288 0 0 0 306 2 0 0 25 0 1 0 310795899 18915328 3931 1992294400 134512640 135223648 4294956128 18446744073709551615 134548993 0 0 4096 3 0 0 0 17 1 0 0
/proc/4005/statm: 4618 3931 76 173 0 4443 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23828
[startup+6.3024 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4006
/proc/meminfo: memFree=1797624/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=4.6
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 336 4564 0 0 0 0 457 3 16 0 1 0 310795898 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4000/statm: 1339 239 197 169 0 50 0
[pid=4006] ppid=4000 vsize=10792 CPUtime=1.65
/proc/4006/stat : 4006 (minisat_static) R 4000 4000 3686 0 -1 4194304 2569 0 0 0 164 1 0 0 25 0 1 0 310796361 11051008 2555 1992294400 134512640 135215339 4294956240 18446744073709551615 134528791 0 0 4096 3 0 0 0 17 1 0 0
/proc/4006/statm: 2698 2555 77 171 0 2525 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 16148
[startup+12.702 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4006
/proc/meminfo: memFree=1789432/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=4.6
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 336 4564 0 0 0 0 457 3 16 0 1 0 310795898 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4000/statm: 1339 239 197 169 0 50 0
[pid=4006] ppid=4000 vsize=18172 CPUtime=8.04
/proc/4006/stat : 4006 (minisat_static) R 4000 4000 3686 0 -1 4194304 4367 0 0 0 800 4 0 0 25 0 1 0 310796361 18608128 4353 1992294400 134512640 135215339 4294956240 18446744073709551615 134527378 0 0 4096 3 0 0 0 17 1 0 0
/proc/4006/statm: 4543 4353 77 171 0 4370 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 23528
[startup+25.5011 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4006
/proc/meminfo: memFree=1780856/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=4.6
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 336 4564 0 0 0 0 457 3 16 0 1 0 310795898 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4000/statm: 1339 239 197 169 0 50 0
[pid=4006] ppid=4000 vsize=26084 CPUtime=20.82
/proc/4006/stat : 4006 (minisat_static) R 4000 4000 3686 0 -1 4194304 6368 0 0 0 2076 6 0 0 25 0 1 0 310796361 26710016 6354 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4006/statm: 6521 6354 77 171 0 6348 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 31440
[startup+51.1013 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4006
/proc/meminfo: memFree=1769400/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=4.6
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 336 4564 0 0 0 0 457 3 16 0 1 0 310795898 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4000/statm: 1339 239 197 169 0 50 0
[pid=4006] ppid=4000 vsize=37888 CPUtime=46.4
/proc/4006/stat : 4006 (minisat_static) R 4000 4000 3686 0 -1 4194304 9292 0 0 0 4631 9 0 0 25 0 1 0 310796361 38797312 9278 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4006/statm: 9472 9278 77 171 0 9299 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 43244
[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4006
/proc/meminfo: memFree=1754296/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=4.6
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 336 4564 0 0 0 0 457 3 16 0 1 0 310795898 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4000/statm: 1339 239 197 169 0 50 0
[pid=4006] ppid=4000 vsize=52940 CPUtime=97.58
/proc/4006/stat : 4006 (minisat_static) R 4000 4000 3686 0 -1 4194304 12982 0 0 0 9746 12 0 0 25 0 1 0 310796361 54210560 12968 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4006/statm: 13235 12968 77 171 0 13062 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 58296
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4006
/proc/meminfo: memFree=1752184/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=4.6
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 336 4564 0 0 0 0 457 3 16 0 1 0 310795898 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4000/statm: 1339 239 197 169 0 50 0
[pid=4006] ppid=4000 vsize=54956 CPUtime=157.55
/proc/4006/stat : 4006 (minisat_static) R 4000 4000 3686 0 -1 4194304 13504 0 0 0 15742 13 0 0 25 0 1 0 310796361 56274944 13490 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4006/statm: 13739 13490 77 171 0 13566 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 60312
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4006
/proc/meminfo: memFree=1748920/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=4.6
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 336 4564 0 0 0 0 457 3 16 0 1 0 310795898 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4000/statm: 1339 239 197 169 0 50 0
[pid=4006] ppid=4000 vsize=58212 CPUtime=217.53
/proc/4006/stat : 4006 (minisat_static) R 4000 4000 3686 0 -1 4194304 14300 0 0 0 21739 14 0 0 25 0 1 0 310796361 59609088 14286 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4006/statm: 14553 14286 77 171 0 14380 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 63568
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4006
/proc/meminfo: memFree=1748408/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=4.6
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 336 4564 0 0 0 0 457 3 16 0 1 0 310795898 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4000/statm: 1339 239 197 169 0 50 0
[pid=4006] ppid=4000 vsize=58776 CPUtime=277.5
/proc/4006/stat : 4006 (minisat_static) R 4000 4000 3686 0 -1 4194304 14426 0 0 0 27736 14 0 0 25 0 1 0 310796361 60186624 14412 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/4006/statm: 14694 14412 77 171 0 14521 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 64132
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4006
/proc/meminfo: memFree=1747320/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=4.6
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 336 4564 0 0 0 0 457 3 16 0 1 0 310795898 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4000/statm: 1339 239 197 169 0 50 0
[pid=4006] ppid=4000 vsize=59804 CPUtime=337.49
/proc/4006/stat : 4006 (minisat_static) R 4000 4000 3686 0 -1 4194304 14686 0 0 0 33734 15 0 0 25 0 1 0 310796361 61239296 14672 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4006/statm: 14951 14672 77 171 0 14778 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 65160
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4006
/proc/meminfo: memFree=1745400/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=4.6
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 336 4564 0 0 0 0 457 3 16 0 1 0 310795898 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4000/statm: 1339 239 197 169 0 50 0
[pid=4006] ppid=4000 vsize=61740 CPUtime=397.46
################
# More data... #
################
/proc/4006/statm: 15945 15608 77 171 0 15772 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 69136
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4012
/proc/meminfo: memFree=1742840/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=4.6
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 336 4564 0 0 0 0 457 3 16 0 1 0 310795898 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4000/statm: 1339 239 197 169 0 50 0
[pid=4006] ppid=4000 vsize=64104 CPUtime=637.38
/proc/4006/stat : 4006 (minisat_static) R 4000 4000 3686 0 -1 4194304 15717 0 0 0 63722 16 0 0 25 0 1 0 310796361 65642496 15703 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4006/statm: 16026 15703 77 171 0 15853 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 69460
[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4012
/proc/meminfo: memFree=1742456/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=4.6
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 336 4564 0 0 0 0 457 3 16 0 1 0 310795898 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4000/statm: 1339 239 197 169 0 50 0
[pid=4006] ppid=4000 vsize=64436 CPUtime=697.36
/proc/4006/stat : 4006 (minisat_static) R 4000 4000 3686 0 -1 4194304 15804 0 0 0 69720 16 0 0 25 0 1 0 310796361 65982464 15790 1992294400 134512640 135215339 4294956240 18446744073709551615 134532650 0 0 4096 3 0 0 0 17 1 0 0
/proc/4006/statm: 16109 15790 77 171 0 15936 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 69792
[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4012
/proc/meminfo: memFree=1742200/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=4.6
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 336 4564 0 0 0 0 457 3 16 0 1 0 310795898 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4000/statm: 1339 239 197 169 0 50 0
[pid=4006] ppid=4000 vsize=64764 CPUtime=757.35
/proc/4006/stat : 4006 (minisat_static) R 4000 4000 3686 0 -1 4194304 15856 0 0 0 75718 17 0 0 25 0 1 0 310796361 66318336 15842 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4006/statm: 16191 15842 77 171 0 16018 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 70120
[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4012
/proc/meminfo: memFree=1741048/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=4.6
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 336 4564 0 0 0 0 457 3 16 0 1 0 310795898 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4000/statm: 1339 239 197 169 0 50 0
[pid=4006] ppid=4000 vsize=65864 CPUtime=817.32
/proc/4006/stat : 4006 (minisat_static) R 4000 4000 3686 0 -1 4194304 16129 0 0 0 81715 17 0 0 25 0 1 0 310796361 67444736 16115 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4006/statm: 16466 16115 77 171 0 16293 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 71220
[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4012
/proc/meminfo: memFree=1740472/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=4.6
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 336 4564 0 0 0 0 457 3 16 0 1 0 310795898 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4000/statm: 1339 239 197 169 0 50 0
[pid=4006] ppid=4000 vsize=66336 CPUtime=877.31
/proc/4006/stat : 4006 (minisat_static) R 4000 4000 3686 0 -1 4194304 16260 0 0 0 87713 18 0 0 25 0 1 0 310796361 67928064 16246 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4006/statm: 16584 16246 77 171 0 16411 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 71692
[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 3/66 4012
/proc/meminfo: memFree=1740344/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=4.6
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 336 4564 0 0 0 0 457 3 16 0 1 0 310795898 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4000/statm: 1339 239 197 169 0 50 0
[pid=4006] ppid=4000 vsize=66416 CPUtime=937.29
/proc/4006/stat : 4006 (minisat_static) R 4000 4000 3686 0 -1 4194304 16280 0 0 0 93711 18 0 0 25 0 1 0 310796361 68009984 16266 1992294400 134512640 135215339 4294956240 18446744073709551615 134534506 0 0 4096 3 0 0 0 17 1 0 0
/proc/4006/statm: 16604 16266 77 171 0 16431 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 71772
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4012
/proc/meminfo: memFree=1740280/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=4.6
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 336 4564 0 0 0 0 457 3 16 0 1 0 310795898 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4000/statm: 1339 239 197 169 0 50 0
[pid=4006] ppid=4000 vsize=66416 CPUtime=997.27
/proc/4006/stat : 4006 (minisat_static) R 4000 4000 3686 0 -1 4194304 16290 0 0 0 99709 18 0 0 25 0 1 0 310796361 68009984 16276 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4006/statm: 16604 16276 77 171 0 16431 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 71772
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4012
/proc/meminfo: memFree=1740088/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=4.6
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 336 4564 0 0 0 0 457 3 16 0 1 0 310795898 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4000/statm: 1339 239 197 169 0 50 0
[pid=4006] ppid=4000 vsize=66580 CPUtime=1057.25
/proc/4006/stat : 4006 (minisat_static) R 4000 4000 3686 0 -1 4194304 16319 0 0 0 105707 18 0 0 25 0 1 0 310796361 68177920 16305 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/4006/statm: 16645 16305 77 171 0 16472 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 71936
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4012
/proc/meminfo: memFree=1740024/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=4.6
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 336 4564 0 0 0 0 457 3 16 0 1 0 310795898 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4000/statm: 1339 239 197 169 0 50 0
[pid=4006] ppid=4000 vsize=66732 CPUtime=1117.24
/proc/4006/stat : 4006 (minisat_static) R 4000 4000 3686 0 -1 4194304 16332 0 0 0 111706 18 0 0 25 0 1 0 310796361 68333568 16318 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4006/statm: 16683 16318 77 171 0 16510 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 72088
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4012
/proc/meminfo: memFree=1739896/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=4.6
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 336 4564 0 0 0 0 457 3 16 0 1 0 310795898 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4000/statm: 1339 239 197 169 0 50 0
[pid=4006] ppid=4000 vsize=66732 CPUtime=1177.22
/proc/4006/stat : 4006 (minisat_static) R 4000 4000 3686 0 -1 4194304 16349 0 0 0 117704 18 0 0 25 0 1 0 310796361 68333568 16335 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/4006/statm: 16683 16335 77 171 0 16510 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 72088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4012
/proc/meminfo: memFree=1739896/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=4.6
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 336 4564 0 0 0 0 457 3 16 0 1 0 310795898 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4000/statm: 1339 239 197 169 0 50 0
[pid=4006] ppid=4000 vsize=66732 CPUtime=1195.42
/proc/4006/stat : 4006 (minisat_static) R 4000 4000 3686 0 -1 4194304 16350 0 0 0 119524 18 0 0 25 0 1 0 310796361 68333568 16336 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/4006/statm: 16683 16336 77 171 0 16510 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 72088
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 4012
/proc/meminfo: memFree=1739896/2055920 swapFree=4179272/4192956
[pid=4000] ppid=3998 vsize=5356 CPUtime=4.6
/proc/4000/stat : 4000 (SatELiteGTI) S 3998 4000 3686 0 -1 4194304 336 4564 0 0 0 0 457 3 16 0 1 0 310795898 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4000/statm: 1339 239 197 169 0 50 0
[pid=4006] ppid=4000 vsize=66732 CPUtime=1195.42
/proc/4006/stat : 4006 (minisat_static) R 4000 4000 3686 0 -1 4194304 16350 0 0 0 119524 18 0 0 25 0 1 0 310796361 68333568 16336 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/4006/statm: 16683 16336 77 171 0 16510 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 72088
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4000 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=571305
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=40993
# CPU time returned by wait4() is 4.6123
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.02
CPU user time (s): 1199.81
CPU system time (s): 0.21
CPU usage (%): 99.959
Max. virtual memory (cumulated for all children) (KiB): 72088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.5713
system time used= 0.040993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4900
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 27
runsolver used 1.48677 second user time and 3.01554 second system time
The end
Begin job on node15 at 2009-05-20 15:53:45
IDJOB=1834059
IDBENCH=71153
IDSOLVER=671
FILE ID=node15/1834059-1242827625
PBS_JOBID= 9322499
Free space on /tmp= 66416 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/modcircuits/mod3block_2vars_11gates_u2_autoenc.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834059-1242827625/watcher-1834059-1242827625 -o /tmp/evaluation-result-1834059-1242827625/solver-1834059-1242827625 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834059-1242827625.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 36c3169a5cad0483dd15befcefc4323e
RANDOM SEED=72400710
node15.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1810344 kB
Buffers: 55332 kB
Cached: 119440 kB
SwapCached: 7876 kB
Active: 71728 kB
Inactive: 112456 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1810344 kB
SwapTotal: 4192956 kB
SwapFree: 4179272 kB
Dirty: 5696 kB
Writeback: 0 kB
Mapped: 14604 kB
Slab: 47452 kB
Committed_AS: 1027324 kB
PageTables: 1464 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66412 MiB
End job on node15 at 2009-05-20 16:13:47