0.00/0.00 c Parsing...
0.21/0.24 c ==============================================================================
0.21/0.24 c | | ORIGINAL | LEARNT | |
0.21/0.24 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.21/0.24 c ==============================================================================
0.21/0.24 c | 0 | 240181 693662 | 72054 0 0 nan | 0.000 % |
1.01/1.10 c | 0 | 157595 533830 | -- 0 -- -- | -- | -81353/-155494
1.01/1.10 c ==============================================================================
1.01/1.10 c Result : #vars: 26735 #clauses: 157595 #literals: 533830
1.01/1.10 c CPU time: 1.08 s
1.01/1.10 c ==============================================================================
1.21/1.29 c This is MiniSat 2.0 beta
1.21/1.29 c WARNING: for repeatability, setting FPU to use double precision
1.21/1.29 c ============================[ Problem Statistics ]=============================
1.21/1.29 c | |
1.21/1.29 c | Number of variables: 26735 |
1.21/1.29 c | Number of clauses: 157595 |
1.29/1.40 c | Parsing time: 0.09 s |
1.29/1.40 c ============================[ Search Statistics ]==============================
1.29/1.40 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.29/1.40 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.29/1.40 c ===============================================================================
1.29/1.40 c | 0 | 26735 157595 533830 | 52531 0 nan | 0.000 % |
1.29/1.41 c | 100 | 26735 157595 533830 | 52531 100 5 | 0.000 % |
1.29/1.42 c | 200 | 26735 157595 533830 | 52531 200 5 | 0.000 % |
1.29/1.42 c | 301 | 26735 157595 533830 | 52531 301 5 | 0.000 % |
1.29/1.45 c | 411 | 26735 157595 533830 | 52531 411 5 | 0.000 % |
1.29/1.47 c | 512 | 26735 157595 533830 | 52531 512 5 | 0.000 % |
1.29/1.49 c | 622 | 26735 157595 533830 | 52531 622 5 | 0.000 % |
1.29/1.52 c | 743 | 26735 157595 533830 | 52531 743 5 | 0.000 % |
1.29/1.53 c | 844 | 26735 157595 533830 | 52531 844 5 | 0.000 % |
1.29/1.54 c | 955 | 26735 157595 533830 | 52531 955 5 | 0.000 % |
1.29/1.56 c | 1077 | 26735 157595 533830 | 52531 1077 5 | 0.000 % |
1.29/1.62 c | 1210 | 26735 157595 533830 | 52531 1210 5 | 0.000 % |
1.29/1.66 c | 1312 | 26735 157595 533830 | 52531 1312 5 | 0.000 % |
1.29/1.70 c | 1423 | 26735 157595 533830 | 52531 1423 5 | 0.000 % |
1.29/1.71 c | 1544 | 26735 157595 533830 | 52531 1544 5 | 0.000 % |
1.29/1.73 c | 1677 | 26735 157595 533830 | 52531 1677 5 | 0.000 % |
1.29/1.84 c | 1823 | 26735 157595 533830 | 52531 1823 5 | 0.000 % |
1.29/1.85 c | 1923 | 26735 157595 533830 | 52531 1923 5 | 0.000 % |
1.29/1.87 c | 2034 | 26735 157595 533830 | 52531 2034 5 | 0.000 % |
1.29/1.89 c | 2155 | 26735 157595 533830 | 52531 2155 5 | 0.000 % |
1.29/1.91 c | 2289 | 26735 157595 533830 | 52531 2289 5 | 0.000 % |
1.29/1.92 c | 2435 | 26735 157595 533830 | 52531 2435 5 | 0.000 % |
1.29/1.95 c | 2595 | 26735 157595 533830 | 52531 2595 5 | 0.000 % |
1.29/1.99 c | 2695 | 26735 157595 533830 | 52531 2695 5 | 0.000 % |
1.29/2.03 c | 2808 | 26735 157595 533830 | 52531 2808 6 | 0.000 % |
1.29/2.09 c | 2929 | 26735 157595 533830 | 52531 2929 6 | 0.000 % |
1.29/2.10 c | 3063 | 26735 157595 533830 | 52531 3063 6 | 0.000 % |
2.11/2.12 c | 3209 | 26735 157595 533830 | 52531 3209 6 | 0.000 % |
2.11/2.16 c | 3369 | 26735 157595 533830 | 52531 3369 5 | 0.000 % |
2.11/2.18 c | 3545 | 26735 157595 533830 | 52531 3545 6 | 0.000 % |
2.11/2.21 c | 3645 | 26735 157595 533830 | 52531 3645 6 | 0.000 % |
2.22/2.28 c | 3755 | 26735 157595 533830 | 52531 3755 6 | 0.000 % |
2.22/2.30 c | 3876 | 26735 157595 533830 | 52531 3876 6 | 0.000 % |
2.31/2.33 c | 4011 | 26735 157595 533830 | 52531 4011 6 | 0.000 % |
2.31/2.37 c | 4159 | 26735 157595 533830 | 52531 4159 6 | 0.000 % |
2.41/2.41 c | 4320 | 26735 157595 533830 | 52531 4320 6 | 0.000 % |
2.41/2.42 c | 4496 | 26735 157595 533830 | 52531 4496 6 | 0.000 % |
2.41/2.47 c | 4690 | 26735 157595 533830 | 52531 4690 6 | 0.000 % |
2.41/2.47 c | 4790 | 26735 157595 533830 | 52531 4790 6 | 0.000 % |
2.41/2.49 c | 4900 | 26735 157595 533830 | 52531 4900 6 | 0.000 % |
2.51/2.51 c | 5021 | 26734 157587 533808 | 52531 5020 6 | 0.004 % |
2.51/2.55 c | 5154 | 26734 157587 533808 | 52531 5153 6 | 0.004 % |
2.51/2.56 c | 5302 | 26733 157587 533808 | 52531 5300 6 | 0.007 % |
2.51/2.58 c | 5462 | 26733 157587 533808 | 52531 5460 6 | 0.007 % |
2.51/2.59 c | 5638 | 26732 157587 533808 | 52531 5635 6 | 0.011 % |
2.51/2.60 c | 5831 | 26730 157587 533808 | 52531 5826 6 | 0.019 % |
2.61/2.62 c | 6043 | 26730 157587 533808 | 52531 6038 6 | 0.019 % |
2.61/2.63 c | 6144 | 26729 157587 533808 | 52531 6138 6 | 0.022 % |
2.61/2.64 c | 6254 | 26729 157587 533808 | 52531 6248 6 | 0.022 % |
2.61/2.65 c | 6376 | 26729 157587 533808 | 52531 6370 6 | 0.022 % |
2.61/2.65 c | 6510 | 26729 157587 533808 | 52531 6504 6 | 0.022 % |
2.61/2.66 c | 6657 | 26729 157587 533808 | 52531 6651 6 | 0.022 % |
2.61/2.66 c | 6819 | 26729 157587 533808 | 52531 6813 6 | 0.022 % |
2.61/2.66 c | 6995 | 26729 157587 533808 | 52531 6989 6 | 0.022 % |
2.61/2.67 c | 7188 | 26729 157587 533808 | 52531 7182 6 | 0.022 % |
2.61/2.69 c | 7401 | 26729 157587 533808 | 52531 7395 6 | 0.022 % |
2.71/2.77 c | 7636 | 26729 157587 533808 | 52531 7630 6 | 0.022 % |
2.71/2.77 c | 7736 | 26729 157587 533808 | 52531 7730 6 | 0.022 % |
2.71/2.77 c | 7847 | 26729 157587 533808 | 52531 7841 6 | 0.022 % |
2.71/2.78 c | 7969 | 26729 157587 533808 | 52531 7963 6 | 0.022 % |
2.71/2.78 c | 8104 | 26729 157587 533808 | 52531 8098 7 | 0.022 % |
2.71/2.78 c | 8250 | 26729 157587 533808 | 52531 8244 7 | 0.022 % |
2.71/2.79 c | 8410 | 26729 157587 533808 | 52531 8404 7 | 0.022 % |
2.71/2.79 c | 8587 | 26729 157587 533808 | 52531 8581 7 | 0.022 % |
2.71/2.80 c | 8782 | 26729 157587 533808 | 52531 8776 7 | 0.022 % |
2.81/2.84 c | 8995 | 26729 157587 533808 | 52531 8989 7 | 0.022 % |
2.81/2.85 c | 9229 | 26729 157587 533808 | 52531 9223 7 | 0.022 % |
2.81/2.86 c | 9485 | 26729 157587 533808 | 52531 9479 7 | 0.022 % |
2.81/2.87 c | 9585 | 26729 157587 533808 | 52531 9579 7 | 0.022 % |
2.81/2.89 c | 9695 | 26729 157550 533701 | 52531 9686 7 | 0.022 % |
2.81/2.89 c | 9816 | 26729 157550 533701 | 52531 9807 7 | 0.022 % |
2.81/2.90 c | 9950 | 26729 157550 533701 | 52531 9941 7 | 0.022 % |
2.81/2.90 c | 10096 | 26729 157550 533701 | 2147483647 10087 7 | 0.022 % |
2.91/2.91 c | 10256 | 26729 157550 533701 | 2147483647 10247 7 | 0.022 % |
2.91/2.95 c | 10433 | 26729 157550 533701 | 2147483647 10424 7 | 0.022 % |
2.91/2.96 c | 10627 | 26729 157550 533701 | 2147483647 10618 7 | 0.022 % |
2.91/2.96 c | 10839 | 26729 157550 533701 | 2147483647 10830 7 | 0.022 % |
2.91/2.97 c | 11072 | 26729 157550 533701 | 2147483647 11063 7 | 0.022 % |
2.91/2.99 c | 11329 | 26729 157550 533701 | 2147483647 11320 7 | 0.022 % |
3.01/3.02 c | 11610 | 26729 157550 533701 | 2147483647 11601 7 | 0.022 % |
3.01/3.03 c | 11710 | 26729 157550 533701 | 2147483647 11701 7 | 0.022 % |
3.01/3.04 c | 11821 | 26729 157550 533701 | 2147483647 11812 7 | 0.022 % |
3.01/3.05 c | 11943 | 26729 157550 533701 | 2147483647 11934 7 | 0.022 % |
3.01/3.06 c | 12077 | 26729 157550 533701 | 2147483647 12068 7 | 0.022 % |
3.01/3.06 c | 12224 | 26729 157550 533701 | 2147483647 12215 7 | 0.022 % |
3.01/3.07 c | 12384 | 26726 157550 533701 | 2147483647 12374 7 | 0.049 % |
3.01/3.08 c | 12560 | 26726 157550 533701 | 2147483647 12550 7 | 0.049 % |
3.01/3.08 c | 12753 | 26726 157550 533701 | 2147483647 12743 7 | 0.049 % |
3.01/3.09 c | 12965 | 26726 157550 533701 | 2147483647 12955 7 | 0.049 % |
3.01/3.09 c | 13199 | 26726 157550 533701 | 2147483647 13189 7 | 0.049 % |
3.01/3.10 c | 13455 | 26726 157550 533701 | 2147483647 13445 7 | 0.049 % |
3.11/3.11 c | 13737 | 26726 157550 533701 | 2147483647 13727 8 | 0.049 % |
3.11/3.13 c | 14047 | 26726 157550 533701 | 2147483647 14037 8 | 0.049 % |
3.11/3.13 c | 14148 | 26726 157550 533701 | 2147483647 14138 8 | 0.049 % |
3.11/3.14 c | 14258 | 26726 157550 533701 | 2147483647 14248 8 | 0.049 % |
3.11/3.14 c | 14379 | 26726 157550 533701 | 2147483647 14369 8 | 0.049 % |
3.11/3.14 c | 14512 | 26726 157550 533701 | 2147483647 14502 8 | 0.049 % |
3.11/3.15 c | 14658 | 26726 157550 533701 | 2147483647 14648 8 | 0.049 % |
3.11/3.15 c | 14818 | 26726 157550 533701 | 2147483647 14808 8 | 0.049 % |
3.11/3.16 c | 14994 | 26726 157550 533701 | 2147483647 14984 8 | 0.049 % |
3.11/3.17 c | 15187 | 26726 157550 533701 | 2147483647 15177 8 | 0.049 % |
3.11/3.18 c | 15400 | 26726 157550 533701 | 2147483647 15390 8 | 0.049 % |
3.11/3.19 c | 15634 | 26726 157550 533701 | 2147483647 15624 8 | 0.049 % |
3.11/3.20 c | 15890 | 26726 157550 533701 | 2147483647 15880 8 | 0.049 % |
3.21/3.23 c | 16171 | 26726 157550 533701 | 2147483647 16161 8 | 0.049 % |
3.32/3.34 c | 16480 | 26722 157550 533701 | 2147483647 16470 8 | 0.049 % |
3.32/3.40 c | 16819 | 26722 157501 533554 | 2147483647 16794 8 | 0.049 % |
3.32/3.40 c | 16919 | 26722 157501 533554 | 2147483647 16894 8 | 0.049 % |
3.41/3.41 c | 17029 | 26722 157501 533554 | 2147483647 17004 8 | 0.049 % |
3.41/3.43 c | 17150 | 26722 157501 533554 | 2147483647 17125 8 | 0.049 % |
3.41/3.45 c | 17284 | 26722 157501 533554 | 2147483647 17259 8 | 0.049 % |
3.41/3.47 c | 17431 | 26717 157501 533554 | 2147483647 17404 8 | 0.075 % |
3.41/3.49 c | 17591 | 26717 157501 533554 | 2147483647 17564 8 | 0.075 % |
3.41/3.50 c | 17767 | 26717 157501 533554 | 2147483647 17740 8 | 0.075 % |
3.51/3.52 c | 17960 | 26717 157501 533554 | 2147483647 17933 8 | 0.075 % |
3.51/3.54 c | 18173 | 26717 157501 533554 | 2147483647 18146 8 | 0.075 % |
3.51/3.56 c | 18408 | 26713 157501 533554 | 2147483647 18377 8 | 0.090 % |
3.51/3.58 c | 18664 | 26713 157501 533554 | 2147483647 18633 8 | 0.090 % |
3.51/3.59 c | 18946 | 26713 157501 533554 | 2147483647 18915 8 | 0.090 % |
3.61/3.62 c | 19255 | 26713 157501 533554 | 2147483647 19224 8 | 0.090 % |
3.71/3.72 c | 19595 | 26708 157501 533554 | 2147483647 19561 8 | 0.112 % |
3.71/3.74 c | 19967 | 26704 157501 533554 | 2147483647 19932 8 | 0.157 % |
3.71/3.75 c | 20067 | 26704 157501 533554 | 2147483647 20032 8 | 0.157 % |
3.71/3.75 c | 20177 | 26704 157501 533554 | 2147483647 20142 8 | 0.157 % |
3.71/3.77 c | 20299 | 26701 157501 533554 | 2147483647 20264 8 | 0.157 % |
3.71/3.78 c | 20432 | 26701 157501 533554 | 2147483647 20397 8 | 0.157 % |
3.71/3.79 c | 20579 | 26701 157501 533554 | 2147483647 20544 8 | 0.157 % |
3.71/3.80 c | 20741 | 26701 157501 533554 | 2147483647 20706 8 | 0.157 % |
3.81/3.81 c | 20918 | 26701 157501 533554 | 2147483647 20883 8 | 0.157 % |
3.81/3.81 c | 21111 | 26701 157501 533554 | 2147483647 21076 8 | 0.157 % |
3.81/3.83 c | 21325 | 26701 157501 533554 | 2147483647 21290 8 | 0.157 % |
3.81/3.87 c | 21558 | 26698 157501 533554 | 2147483647 21523 8 | 0.157 % |
3.91/3.92 c | 21814 | 26687 157270 532846 | 2147483647 20589 8 | 0.187 % |
3.91/3.96 c | 22095 | 26687 157270 532846 | 2147483647 20870 8 | 0.187 % |
3.91/3.97 c | 22405 | 26684 157270 532846 | 2147483647 21178 8 | 0.198 % |
4.01/4.01 c | 22744 | 26680 157270 532846 | 2147483647 21515 8 | 0.213 % |
4.01/4.03 c | 23117 | 26680 157270 532846 | 2147483647 21888 8 | 0.213 % |
4.01/4.05 c | 23527 | 26678 157270 532846 | 2147483647 22297 8 | 0.221 % |
4.01/4.08 c | 23627 | 26678 157270 532846 | 2147483647 22397 8 | 0.221 % |
4.11/4.10 c | 23737 | 26678 157270 532846 | 2147483647 22507 8 | 0.221 % |
4.11/4.12 c | 23858 | 26678 157270 532846 | 2147483647 22628 8 | 0.221 % |
4.11/4.13 c | 23991 | 26678 157270 532846 | 2147483647 22761 8 | 0.221 % |
4.11/4.16 c | 24139 | 26678 157270 532846 | 2147483647 22909 8 | 0.221 % |
4.11/4.19 c | 24299 | 26678 157270 532846 | 2147483647 23069 8 | 0.221 % |
4.22/4.23 c | 24476 | 26678 157270 532846 | 2147483647 23246 8 | 0.221 % |
4.22/4.24 c | 24669 | 26677 157270 532846 | 2147483647 23438 8 | 0.239 % |
4.22/4.28 c | 24883 | 26657 157270 532846 | 2147483647 23651 8 | 0.318 % |
4.32/4.33 c | 25116 | 26657 157270 532846 | 2147483647 23884 8 | 0.318 % |
4.32/4.34 c | 25373 | 26657 157270 532846 | 2147483647 24141 9 | 0.318 % |
4.32/4.36 c | 25654 | 26657 157270 532846 | 2147483647 24422 8 | 0.318 % |
4.32/4.38 c | 25963 | 26657 157270 532846 | 2147483647 24731 9 | 0.318 % |
4.41/4.42 c | 26302 | 26657 157270 532846 | 2147483647 25070 9 | 0.318 % |
4.41/4.45 c | 26674 | 26657 157270 532846 | 2147483647 25442 9 | 0.318 % |
4.41/4.48 c | 27083 | 26657 157270 532846 | 2147483647 25851 9 | 0.318 % |
4.51/4.57 c | 27532 | 26650 156928 531758 | 2147483647 23933 8 | 0.318 % |
4.51/4.58 c | 27632 | 26650 156928 531758 | 2147483647 24033 8 | 0.318 % |
4.51/4.58 c | 27742 | 26650 156928 531758 | 2147483647 24143 8 | 0.318 % |
4.51/4.59 c | 27863 | 26650 156928 531758 | 2147483647 24264 8 | 0.318 % |
4.51/4.60 c | 27997 | 26650 156928 531758 | 2147483647 24398 8 | 0.318 % |
4.51/4.61 c | 28143 | 26650 156928 531758 | 2147483647 24544 8 | 0.318 % |
4.51/4.61 c | 28303 | 26650 156928 531758 | 2147483647 24704 8 | 0.318 % |
4.61/4.62 c | 28479 | 26650 156928 531758 | 2147483647 24880 8 | 0.318 % |
4.61/4.67 c | 28673 | 26650 156928 531758 | 2147483647 25074 8 | 0.318 % |
4.61/4.69 c | 28885 | 26650 156928 531758 | 2147483647 25286 8 | 0.318 % |
4.61/4.70 c | 29118 | 26650 156928 531758 | 2147483647 25519 8 | 0.318 % |
4.71/4.72 c | 29374 | 26642 156928 531758 | 2147483647 25774 8 | 0.348 % |
4.71/4.75 c | 29655 | 26642 156928 531758 | 2147483647 26055 8 | 0.348 % |
4.71/4.77 c | 29964 | 26640 156928 531758 | 2147483647 26363 8 | 0.355 % |
4.81/4.81 c | 30303 | 26632 156928 531758 | 2147483647 26701 8 | 0.400 % |
4.81/4.82 c | 30675 | 26632 156928 531758 | 2147483647 27073 8 | 0.400 % |
4.81/4.85 c | 31084 | 26632 156928 531758 | 2147483647 27482 8 | 0.400 % |
4.81/4.87 c | 31535 | 26632 156928 531758 | 2147483647 27933 8 | 0.400 % |
4.91/4.93 c | 32028 | 26632 156928 531758 | 2147483647 28426 8 | 0.400 % |
4.91/4.94 c | 32128 | 26628 156928 531758 | 2147483647 28525 8 | 0.441 % |
4.91/4.99 c | 32238 | 26628 156928 531758 | 2147483647 28635 8 | 0.441 % |
5.01/5.02 c | 32361 | 26628 156928 531758 | 2147483647 28758 8 | 0.441 % |
5.01/5.02 c | 32496 | 26628 156928 531758 | 2147483647 28893 8 | 0.441 % |
5.01/5.03 c | 32643 | 26628 156928 531758 | 2147483647 29040 8 | 0.441 % |
5.01/5.04 c | 32803 | 26628 156928 531758 | 2147483647 29200 8 | 0.441 % |
5.01/5.07 c | 32980 | 26619 156928 531758 | 2147483647 29376 8 | 0.501 % |
5.01/5.09 c | 33174 | 26619 156928 531758 | 2147483647 29570 9 | 0.501 % |
5.01/5.11 c | 33388 | 26619 156928 531758 | 2147483647 29784 9 | 0.501 % |
5.11/5.19 c | 33623 | 26600 156559 530577 | 2147483647 27975 8 | 0.625 % |
5.21/5.22 c | 33879 | 26598 156559 530577 | 2147483647 28231 8 | 0.625 % |
5.21/5.27 c | 34160 | 26590 156559 530577 | 2147483647 28512 8 | 0.625 % |
5.21/5.29 c | 34469 | 26590 156559 530577 | 2147483647 28821 8 | 0.625 % |
5.21/5.31 c | 34808 | 26590 156559 530577 | 2147483647 29160 9 | 0.625 % |
5.31/5.36 c | 35182 | 26590 156559 530577 | 2147483647 29534 9 | 0.625 % |
5.41/5.45 c | 35591 | 26590 156559 530577 | 2147483647 29943 9 | 0.625 % |
5.41/5.49 c | 36040 | 26589 156559 530577 | 2147483647 30391 9 | 0.632 % |
5.51/5.55 c | 36534 | 26588 156559 530577 | 2147483647 30885 9 | 0.632 % |
5.61/5.65 c | 37077 | 26588 156559 530577 | 2147483647 31428 9 | 0.632 % |
5.61/5.66 c | 37178 | 26588 156559 530577 | 2147483647 31529 9 | 0.632 % |
5.61/5.68 c | 37288 | 26588 156559 530577 | 2147483647 31639 9 | 0.632 % |
5.71/5.74 c | 37409 | 26588 156559 530577 | 2147483647 31760 9 | 0.632 % |
5.71/5.77 c | 37543 | 26588 156559 530577 | 2147483647 31894 9 | 0.632 % |
5.71/5.78 c | 37689 | 26588 156559 530577 | 2147483647 32040 9 | 0.632 % |
5.71/5.81 c | 37849 | 26566 156365 530025 | 2147483647 32079 9 | 0.632 % |
5.81/5.82 c | 38025 | 26566 156365 530025 | 2147483647 32255 9 | 0.632 % |
5.81/5.86 c | 38218 | 26566 156365 530025 | 2147483647 32448 9 | 0.632 % |
5.81/5.90 c | 38430 | 26566 156365 530025 | 2147483647 32660 9 | 0.632 % |
5.91/5.95 c | 38664 | 26566 156365 530025 | 2147483647 32894 9 | 0.632 % |
5.91/6.01 c | 38920 | 26566 156365 530025 | 2147483647 33150 9 | 0.632 % |
6.01/6.02 c | 39202 | 26566 156365 530025 | 2147483647 33432 9 | 0.632 % |
6.01/6.06 c | 39511 | 26565 156365 530025 | 2147483647 33740 9 | 0.636 % |
6.01/6.09 c | 39850 | 26565 156365 530025 | 2147483647 34079 9 | 0.636 % |
6.11/6.15 c | 40222 | 26565 156365 530025 | 2147483647 34451 9 | 0.636 % |
6.11/6.18 c | 40632 | 26565 156365 530025 | 2147483647 34861 9 | 0.636 % |
6.21/6.24 c | 41081 | 26565 156365 530025 | 2147483647 35310 9 | 0.636 % |
6.21/6.26 c | 41574 | 26565 156365 530025 | 2147483647 35803 9 | 0.636 % |
6.31/6.36 c | 42116 | 26565 156365 530025 | 2147483647 36345 9 | 0.636 % |
6.41/6.48 c | 42714 | 26560 156365 530025 | 2147483647 36941 9 | 0.677 % |
6.51/6.52 c | 42814 | 26560 156365 530025 | 2147483647 37041 9 | 0.677 % |
6.51/6.56 c | 42925 | 26554 156286 529768 | 2147483647 37022 9 | 0.677 % |
6.51/6.56 c | 43046 | 26554 156286 529768 | 2147483647 37143 9 | 0.677 % |
6.51/6.58 c | 43180 | 26554 156286 529768 | 2147483647 37277 9 | 0.677 % |
6.51/6.61 c | 43327 | 26554 156286 529768 | 2147483647 37424 9 | 0.677 % |
6.61/6.66 c | 43488 | 26554 156286 529768 | 2147483647 37585 9 | 0.677 % |
6.61/6.71 c | 43664 | 26552 156286 529768 | 2147483647 37760 9 | 0.696 % |
6.71/6.80 c | 43858 | 26552 156286 529768 | 2147483647 37954 9 | 0.696 % |
6.81/6.82 c | 44070 | 26552 156286 529768 | 2147483647 38166 9 | 0.696 % |
6.81/6.87 c | 44304 | 26552 156286 529768 | 2147483647 38400 9 | 0.696 % |
6.81/6.88 c | 44560 | 26552 156286 529768 | 2147483647 38656 9 | 0.696 % |
6.91/6.92 c | 44841 | 26552 156286 529768 | 2147483647 38937 9 | 0.696 % |
6.91/6.95 c | 45150 | 26552 156286 529768 | 2147483647 39246 9 | 0.696 % |
6.91/6.98 c | 45489 | 26552 156286 529768 | 2147483647 39585 9 | 0.696 % |
7.01/7.10 c | 45861 | 26549 156286 529768 | 2147483647 39957 9 | 0.696 % |
7.11/7.19 c | 46271 | 26549 156286 529768 | 2147483647 40367 9 | 0.696 % |
7.21/7.23 c | 46722 | 26549 156286 529768 | 2147483647 40818 9 | 0.696 % |
7.31/7.36 c | 47216 | 26549 156286 529768 | 2147483647 41312 9 | 0.696 % |
7.31/7.40 c | 47759 | 26549 156251 529663 | 2147483647 41843 9 | 0.696 % |
7.41/7.45 c | 48356 | 26549 156251 529663 | 2147483647 42440 9 | 0.696 % |
7.51/7.61 c | 49011 | 26549 156251 529663 | 2147483647 43095 9 | 0.696 % |
7.61/7.64 c | 49112 | 26549 156251 529663 | 2147483647 43196 9 | 0.696 % |
7.61/7.66 c | 49222 | 26549 156251 529663 | 2147483647 43306 9 | 0.696 % |
7.61/7.69 c | 49344 | 26549 156251 529663 | 2147483647 43428 9 | 0.696 % |
7.61/7.69 c | 49477 | 26549 156251 529663 | 2147483647 43561 9 | 0.696 % |
7.71/7.75 c | 49623 | 26549 156251 529663 | 2147483647 43707 9 | 0.696 % |
7.71/7.76 c | 49783 | 26549 156251 529663 | 2147483647 43867 9 | 0.696 % |
7.71/7.79 c | 49960 | 26549 156251 529663 | 2147483647 44044 9 | 0.696 % |
7.81/7.83 c | 50154 | 26549 156251 529663 | 2147483647 44238 9 | 0.696 % |
7.81/7.86 c | 50367 | 26549 156251 529663 | 2147483647 44451 9 | 0.696 % |
7.81/7.89 c | 50600 | 26549 156251 529663 | 2147483647 44684 9 | 0.696 % |
7.81/7.89 c | 50857 | 26549 156251 529663 | 2147483647 44941 9 | 0.696 % |
7.81/7.90 c | 51139 | 26549 156251 529663 | 2147483647 45223 9 | 0.696 % |
7.91/7.93 c | 51450 | 26549 156251 529663 | 2147483647 45534 9 | 0.696 % |
7.91/8.01 c | 51789 | 26549 156251 529663 | 2147483647 45873 9 | 0.696 % |
8.01/8.02 c | 52161 | 26549 156251 529663 | 2147483647 46245 9 | 0.696 % |
8.01/8.04 c | 52571 | 26549 156251 529663 | 2147483647 46655 9 | 0.696 % |
8.11/8.20 c | 53020 | 26538 156181 529434 | 2147483647 47099 9 | 0.737 % |
8.21/8.25 c | 53515 | 26538 156181 529434 | 2147483647 47594 9 | 0.737 % |
8.31/8.34 c | 54057 | 26537 156181 529434 | 2147483647 48135 9 | 0.741 % |
8.41/8.43 c | 54653 | 26537 156181 529434 | 2147483647 48731 9 | 0.741 % |
8.51/8.52 c | 55310 | 26537 156181 529434 | 2147483647 49388 9 | 0.741 % |
8.51/8.60 c | 56032 | 26537 156181 529434 | 2147483647 50110 9 | 0.741 % |
8.51/8.61 c | 56132 | 26537 156181 529434 | 2147483647 50210 9 | 0.741 % |
8.61/8.63 c | 56243 | 26537 156181 529434 | 2147483647 50321 9 | 0.741 % |
8.61/8.65 c | 56364 | 26537 156181 529434 | 2147483647 50442 9 | 0.741 % |
8.61/8.66 c | 56499 | 26537 156181 529434 | 2147483647 50577 9 | 0.741 % |
8.61/8.70 c | 56645 | 26537 156181 529434 | 2147483647 50723 9 | 0.741 % |
8.71/8.76 c | 56805 | 26537 156181 529434 | 2147483647 50883 9 | 0.741 % |
8.81/8.82 c | 56981 | 26537 156181 529434 | 2147483647 51059 9 | 0.741 % |
8.81/8.85 c | 57176 | 26537 156181 529434 | 2147483647 51254 9 | 0.741 % |
8.81/8.91 c | 57388 | 26537 156181 529434 | 2147483647 51466 9 | 0.741 % |
8.91/8.92 c | 57622 | 26537 156181 529434 | 2147483647 51700 9 | 0.741 % |
8.91/8.99 c | 57878 | 26530 156181 529434 | 2147483647 51955 9 | 0.804 % |
9.01/9.02 c | 58159 | 26528 156181 529434 | 2147483647 52236 9 | 0.804 % |
9.01/9.05 c | 58469 | 26528 156181 529434 | 2147483647 52546 9 | 0.804 % |
9.01/9.08 c | 58808 | 26528 156181 529434 | 2147483647 52885 9 | 0.804 % |
9.11/9.13 c | 59180 | 26528 156181 529434 | 2147483647 53257 9 | 0.804 % |
9.11/9.18 c | 59590 | 26520 156074 529105 | 2147483647 53545 9 | 0.804 % |
9.11/9.19 c | 60039 | 26520 156074 529105 | 2147483647 53994 9 | 0.804 % |
9.11/9.21 c | 60532 | 26520 156074 529105 | 2147483647 54487 9 | 0.804 % |
9.21/9.22 c | 61074 | 26520 156074 529105 | 2147483647 55029 9 | 0.804 % |
9.21/9.24 c | 61670 | 26520 156074 529105 | 2147483647 55625 9 | 0.804 % |
9.21/9.25 c | 62326 | 26520 156074 529105 | 2147483647 56281 9 | 0.804 % |
9.21/9.27 c | 63046 | 26520 156074 529105 | 2147483647 57001 9 | 0.804 % |
9.21/9.29 c | 63840 | 26520 156074 529105 | 2147483647 57795 9 | 0.804 % |
9.21/9.30 c | 63941 | 26520 156074 529105 | 2147483647 57896 9 | 0.804 % |
9.21/9.30 c | 64052 | 26520 156074 529105 | 2147483647 58007 9 | 0.804 % |
9.21/9.31 c | 64173 | 26520 156074 529105 | 2147483647 58128 9 | 0.804 % |
9.21/9.31 c | 64309 | 26520 156074 529105 | 2147483647 58264 9 | 0.804 % |
9.31/9.31 c | 64456 | 26520 156074 529105 | 2147483647 58411 9 | 0.804 % |
9.31/9.32 c | 64616 | 26520 156074 529105 | 2147483647 58571 9 | 0.804 % |
9.31/9.33 c | 64794 | 26520 156074 529105 | 2147483647 58749 9 | 0.804 % |
9.31/9.33 c | 64987 | 26520 156074 529105 | 2147483647 58942 9 | 0.804 % |
9.31/9.34 c | 65199 | 26520 156074 529105 | 2147483647 59154 9 | 0.804 % |
9.31/9.35 c | 65433 | 26520 156074 529105 | 2147483647 59388 9 | 0.804 % |
9.31/9.36 c | 65689 | 26520 156074 529105 | 2147483647 59644 9 | 0.804 % |
9.31/9.36 c | 65974 | 26520 156074 529105 | 2147483647 59929 9 | 0.804 % |
9.31/9.37 c | 66284 | 26520 156074 529105 | 2147483647 60239 9 | 0.804 % |
9.31/9.38 c | 66623 | 26520 156074 529105 | 2147483647 60578 9 | 0.804 % |
9.31/9.40 c | 66995 | 26520 156074 529105 | 2147483647 60950 9 | 0.804 % |
9.31/9.41 c | 67405 | 26520 156074 529105 | 2147483647 61360 9 | 0.804 % |
9.41/9.43 c | 67854 | 26520 156074 529105 | 2147483647 61809 9 | 0.804 % |
9.41/9.45 c | 68348 | 26520 156074 529105 | 2147483647 62303 9 | 0.804 % |
9.41/9.48 c | 68890 | 26520 156074 529105 | 2147483647 62845 9 | 0.804 % |
9.41/9.50 c | 69486 | 26520 156074 529105 | 2147483647 63441 9 | 0.804 % |
9.51/9.52 c | 70142 | 26520 156074 529105 | 2147483647 64097 9 | 0.804 % |
9.51/9.54 c | 70862 | 26520 156074 529105 | 2147483647 64817 9 | 0.804 % |
9.51/9.57 c | 71654 | 26516 156074 529105 | 2147483647 65607 9 | 0.875 % |
9.51/9.61 c | 72525 | 26515 156074 529105 | 2147483647 66477 9 | 0.879 % |
9.61/9.62 c | 72626 | 26515 156074 529105 | 2147483647 66578 9 | 0.879 % |
9.61/9.62 c | 72736 | 26515 156074 529105 | 2147483647 66688 9 | 0.879 % |
9.61/9.63 c | 72860 | 26515 156074 529105 | 2147483647 66812 9 | 0.879 % |
9.61/9.64 c | 72994 | 26513 156074 529105 | 2147483647 66945 9 | 0.961 % |
9.61/9.65 c | 73140 | 26513 156074 529105 | 2147483647 67091 9 | 0.961 % |
9.61/9.65 c | 73300 | 26513 156074 529105 | 2147483647 67251 9 | 0.961 % |
9.61/9.67 c | 73476 | 26513 156074 529105 | 2147483647 67427 9 | 0.961 % |
9.61/9.68 c | 73669 | 26513 156074 529105 | 2147483647 67620 9 | 0.961 % |
9.61/9.69 c | 73885 | 26497 156074 529105 | 2147483647 67835 9 | 1.152 % |
9.61/9.70 c | 74118 | 26473 156074 529105 | 2147483647 68067 9 | 1.212 % |
9.61/9.71 c | 74375 | 26466 156074 529105 | 2147483647 68323 9 | 1.257 % |
9.71/9.73 c | 74656 | 26464 156074 529105 | 2147483647 68603 9 | 1.305 % |
9.71/9.75 c | 74966 | 26462 156074 529105 | 2147483647 68912 9 | 1.313 % |
9.71/9.77 c | 75307 | 26437 156074 529105 | 2147483647 69251 9 | 1.332 % |
9.71/9.81 c | 75679 | 26427 156074 529105 | 2147483647 69621 9 | 1.395 % |
9.81/9.85 c | 76088 | 26385 156074 529105 | 2147483647 70028 9 | 1.496 % |
9.81/9.88 c | 76538 | 26370 156074 529105 | 2147483647 70476 9 | 1.563 % |
9.91/9.93 c | 77032 | 26361 156074 529105 | 2147483647 70970 9 | 1.563 % |
9.91/9.96 c | 77574 | 26359 156074 529105 | 2147483647 71511 9 | 1.571 % |
9.91/10.00 c | 78171 | 26359 156074 529105 | 2147483647 72108 9 | 1.571 % |
10.01/10.05 c | 78826 | 26359 156074 529105 | 2147483647 72763 9 | 1.571 % |
10.11/10.18 c | 79546 | 26315 154592 524355 | 2147483647 69145 9 | 1.571 % |
10.21/10.30 c | 80338 | 26237 154592 524355 | 2147483647 69936 9 | 1.900 % |
10.41/10.44 c | 81209 | 26167 154592 524355 | 2147483647 70802 9 | 2.173 % |
10.61/10.64 c | 82168 | 26166 154592 524355 | 2147483647 71761 9 | 2.173 % |
10.61/10.65 c | 82269 | 26166 154592 524355 | 2147483647 71862 9 | 2.173 % |
10.61/10.67 c | 82379 | 26166 154592 524355 | 2147483647 71972 9 | 2.173 % |
10.61/10.68 c | 82501 | 26166 154592 524355 | 2147483647 72094 9 | 2.173 % |
10.61/10.70 c | 82634 | 26166 154592 524355 | 2147483647 72227 9 | 2.173 % |
10.71/10.72 c | 82780 | 26166 154592 524355 | 2147483647 72372 9 | 2.188 % |
10.71/10.74 c | 82940 | 26164 154592 524355 | 2147483647 72531 9 | 2.192 % |
10.71/10.75 c | 83117 | 26164 154592 524355 | 2147483647 72708 9 | 2.192 % |
10.71/10.77 c | 83310 | 26149 154592 524355 | 2147483647 72900 9 | 2.356 % |
10.71/10.79 c | 83523 | 26145 154592 524355 | 2147483647 73113 9 | 2.356 % |
10.71/10.81 c | 83756 | 26145 154592 524355 | 2147483647 73346 9 | 2.356 % |
10.81/10.86 c | 84012 | 26132 154592 524355 | 2147483647 73601 9 | 2.360 % |
10.91/10.92 c | 84293 | 26121 154592 524355 | 2147483647 73879 9 | 2.573 % |
10.91/10.98 c | 84602 | 26068 154592 524355 | 2147483647 74186 9 | 2.588 % |
11.01/11.03 c | 84941 | 26068 154592 524355 | 2147483647 74525 9 | 2.588 % |
11.11/11.13 c | 85313 | 26068 154592 524355 | 2147483647 74897 9 | 2.588 % |
11.11/11.17 c | 85723 | 26068 154592 524355 | 2147483647 75307 9 | 2.588 % |
11.11/11.21 c | 86178 | 26064 154592 524355 | 2147483647 75760 9 | 2.630 % |
11.31/11.32 c | 86671 | 26060 154592 524355 | 2147483647 76253 9 | 2.630 % |
11.41/11.45 c | 87214 | 26060 154592 524355 | 2147483647 76796 9 | 2.630 % |
11.51/11.60 c | 87811 | 26032 152749 518416 | 2147483647 70437 9 | 2.630 % |
11.71/11.74 c | 88466 | 26032 152749 518416 | 2147483647 71092 9 | 2.630 % |
11.81/11.89 c | 89186 | 26032 152749 518416 | 2147483647 71812 9 | 2.630 % |
11.91/11.98 c | 89979 | 25986 152749 518416 | 2147483647 72604 9 | 3.550 % |
12.01/12.09 c | 90850 | 25986 152749 518416 | 2147483647 73475 9 | 3.550 % |
12.11/12.21 c | 91809 | 25986 152749 518416 | 2147483647 74434 9 | 3.550 % |
12.41/12.49 c | 92868 | 25861 152749 518416 | 2147483647 75493 9 | 3.550 % |
12.51/12.53 c | 92968 | 25849 152749 518416 | 2147483647 75592 9 | 3.595 % |
12.51/12.55 c | 93078 | 25849 152749 518416 | 2147483647 75702 9 | 3.595 % |
12.51/12.57 c | 93199 | 25849 152749 518416 | 2147483647 75823 9 | 3.595 % |
12.51/12.61 c | 93336 | 25849 152749 518416 | 2147483647 75960 9 | 3.595 % |
12.61/12.68 c | 93483 | 25849 152749 518416 | 2147483647 76107 9 | 3.595 % |
12.71/12.75 c | 93643 | 25773 151259 513578 | 2147483647 66601 9 | 3.598 % |
12.71/12.80 c | 93819 | 25771 151259 513578 | 2147483647 66776 9 | 3.636 % |
12.81/12.86 c | 94013 | 25766 151259 513578 | 2147483647 66970 9 | 3.636 % |
12.81/12.88 c | 94225 | 25760 151259 513578 | 2147483647 67181 9 | 3.692 % |
12.91/12.92 c | 94458 | 25758 151259 513578 | 2147483647 67413 9 | 3.703 % |
12.91/12.94 c | 94718 | 25758 151259 513578 | 2147483647 67673 9 | 3.703 % |
12.91/13.00 c | 94999 | 25750 151259 513578 | 2147483647 67952 9 | 3.718 % |
13.01/13.08 c | 95309 | 25746 151259 513578 | 2147483647 68261 9 | 3.748 % |
13.11/13.16 c | 95648 | 25746 151259 513578 | 2147483647 68600 9 | 3.748 % |
13.21/13.26 c | 96021 | 25742 151259 513578 | 2147483647 68973 9 | 3.748 % |
13.31/13.33 c | 96431 | 25742 151259 513578 | 2147483647 69383 9 | 3.748 % |
13.31/13.41 c | 96881 | 25742 151259 513578 | 2147483647 69833 9 | 3.748 % |
13.41/13.50 c | 97376 | 25721 151259 513578 | 2147483647 70327 9 | 3.954 % |
13.61/13.63 c | 97918 | 25699 151259 513578 | 2147483647 70868 9 | 4.002 % |
13.61/13.67 c | 98514 | 25699 151259 513578 | 2147483647 71464 9 | 4.002 % |
13.91/13.96 c | 99169 | 25690 151259 513578 | 2147483647 72118 9 | 4.006 % |
14.21/14.22 c | 99889 | 25652 150539 511250 | 2147483647 70792 9 | 4.058 % |
14.21/14.26 c | 100682 | 25652 150539 511250 | 2147483647 71585 9 | 4.058 % |
14.31/14.34 c | 101553 | 25652 150539 511250 | 2147483647 72456 9 | 4.058 % |
14.51/14.54 c | 102515 | 25652 150539 511250 | 2147483647 73418 9 | 4.058 % |
14.81/14.84 c | 103568 | 25646 150539 511250 | 2147483647 74468 9 | 4.088 % |
15.01/15.10 c | 104726 | 25638 150539 511250 | 2147483647 75624 9 | 4.122 % |
15.11/15.14 c | 104827 | 25638 150539 511250 | 2147483647 75725 9 | 4.122 % |
15.11/15.14 c | 104937 | 25638 150539 511250 | 2147483647 75835 9 | 4.122 % |
15.11/15.15 c | 105058 | 25638 150539 511250 | 2147483647 75956 9 | 4.122 % |
15.11/15.16 c | 105191 | 25638 150539 511250 | 2147483647 76089 9 | 4.122 % |
15.11/15.17 c | 105340 | 25638 150539 511250 | 2147483647 76238 9 | 4.122 % |
15.11/15.19 c | 105502 | 25638 150539 511250 | 2147483647 76400 9 | 4.122 % |
15.21/15.29 c | 105678 | 25628 150353 510658 | 2147483647 75420 9 | 4.193 % |
15.41/15.42 c | 105872 | 25615 150353 510658 | 2147483647 75614 9 | 4.193 % |
15.41/15.49 c | 106084 | 25615 150353 510658 | 2147483647 75826 9 | 4.193 % |
15.51/15.53 c | 106318 | 25605 150353 510658 | 2147483647 76058 9 | 4.245 % |
15.51/15.58 c | 106574 | 25604 150353 510658 | 2147483647 76314 9 | 4.245 % |
15.61/15.65 c | 106855 | 25604 150353 510658 | 2147483647 76595 9 | 4.245 % |
15.61/15.71 c | 107166 | 25604 150353 510658 | 2147483647 76906 9 | 4.245 % |
15.81/15.84 c | 107506 | 25599 150353 510658 | 2147483647 77244 9 | 4.331 % |
15.91/15.95 c | 107880 | 25588 150353 510658 | 2147483647 77617 9 | 4.373 % |
15.91/15.99 c | 108289 | 25588 150353 510658 | 2147483647 78026 9 | 4.373 % |
16.11/16.17 c | 108738 | 25588 150353 510658 | 2147483647 78475 9 | 4.373 % |
16.31/16.32 c | 109231 | 25588 150353 510658 | 2147483647 78968 9 | 4.373 % |
16.41/16.49 c | 109773 | 25584 150353 510658 | 2147483647 79509 9 | 4.417 % |
16.51/16.55 c | 110369 | 25584 150353 510658 | 2147483647 80105 9 | 4.417 % |
16.71/16.74 c | 111024 | 25554 149842 508965 | 2147483647 76995 9 | 4.417 % |
16.81/16.83 c | 111744 | 25554 149842 508965 | 2147483647 77715 9 | 4.417 % |
16.91/16.92 c | 112536 | 25553 149842 508965 | 2147483647 78506 9 | 4.421 % |
16.91/16.96 c | 113408 | 25553 149842 508965 | 2147483647 79378 9 | 4.421 % |
16.91/17.00 c | 114367 | 25553 149842 508965 | 2147483647 80337 9 | 4.421 % |
17.11/17.13 c | 115420 | 25552 149842 508965 | 2147483647 81389 9 | 4.425 % |
17.21/17.31 c | 116579 | 25552 149842 508965 | 2147483647 82548 9 | 4.425 % |
17.31/17.40 c | 117852 | 25551 149842 508965 | 2147483647 83820 9 | 4.429 % |
17.31/17.40 c | 117954 | 25551 149842 508965 | 2147483647 83922 9 | 4.429 % |
17.31/17.41 c | 118064 | 25549 149842 508965 | 2147483647 84031 9 | 4.474 % |
17.41/17.41 c | 118187 | 25549 149842 508965 | 2147483647 84154 9 | 4.474 % |
17.41/17.43 c | 118320 | 25548 149842 508965 | 2147483647 84287 9 | 4.474 % |
17.41/17.44 c | 118466 | 25545 149842 508965 | 2147483647 84431 9 | 4.488 % |
17.41/17.45 c | 118627 | 25544 149842 508965 | 2147483647 84592 9 | 4.488 % |
17.41/17.46 c | 118804 | 25542 149842 508965 | 2147483647 84768 9 | 4.571 % |
17.41/17.47 c | 119001 | 25542 149842 508965 | 2147483647 84965 9 | 4.571 % |
17.51/17.52 c | 119213 | 25541 149842 508965 | 2147483647 85177 9 | 4.571 % |
17.51/17.57 c | 119446 | 25541 149842 508965 | 2147483647 85410 9 | 4.571 % |
17.51/17.59 c | 119702 | 25541 149842 508965 | 2147483647 85666 9 | 4.571 % |
17.51/17.61 c | 119983 | 25541 149842 508965 | 2147483647 85947 9 | 4.571 % |
17.61/17.63 c | 120292 | 25541 149842 508965 | 2147483647 86256 9 | 4.571 % |
17.61/17.64 c | 120631 | 25541 149842 508965 | 2147483647 86595 9 | 4.571 % |
17.61/17.66 c | 121003 | 25541 149842 508965 | 2147483647 86967 9 | 4.571 % |
17.61/17.69 c | 121413 | 25541 149842 508965 | 2147483647 87377 9 | 4.571 % |
17.81/17.83 c | 121862 | 25475 149186 506745 | 2147483647 86618 9 | 4.713 % |
17.81/17.86 c | 122356 | 25475 149186 506745 | 2147483647 87112 9 | 4.713 % |
17.81/17.90 c | 122898 | 25475 149186 506745 | 2147483647 87654 9 | 4.713 % |
18.01/18.03 c | 123494 | 25475 149186 506745 | 2147483647 88250 9 | 4.713 % |
18.01/18.10 c | 124150 | 25475 149186 506745 | 2147483647 88906 9 | 4.713 % |
18.21/18.29 c | 124870 | 25474 149186 506745 | 2147483647 89625 9 | 4.717 % |
18.31/18.33 c | 125663 | 25474 149186 506745 | 2147483647 90418 9 | 4.717 % |
18.31/18.41 c | 126534 | 25474 149186 506745 | 2147483647 91289 9 | 4.717 % |
18.61/18.62 c | 127492 | 25473 149186 506745 | 2147483647 92246 9 | 4.720 % |
18.71/18.78 c | 128545 | 25469 149186 506745 | 2147483647 93297 9 | 4.735 % |
18.81/18.85 c | 129704 | 25464 149186 506745 | 2147483647 94455 9 | 4.758 % |
18.91/18.92 c | 130978 | 25456 149186 506745 | 2147483647 95728 9 | 4.784 % |
19.11/19.21 c | 132378 | 25451 148987 506077 | 2147483647 95577 9 | 4.803 % |
19.11/19.21 c | 132478 | 25451 148987 506077 | 2147483647 95677 9 | 4.803 % |
19.21/19.22 c | 132588 | 25451 148987 506077 | 2147483647 95787 9 | 4.803 % |
19.21/19.24 c | 132711 | 25451 148987 506077 | 2147483647 95910 9 | 4.803 % |
19.21/19.25 c | 132844 | 25451 148987 506077 | 2147483647 96043 9 | 4.803 % |
19.21/19.25 c | 132990 | 25451 148987 506077 | 2147483647 96188 9 | 4.919 % |
19.21/19.26 c | 133151 | 25447 148987 506077 | 2147483647 96349 9 | 4.919 % |
19.21/19.28 c | 133327 | 25446 148987 506077 | 2147483647 96525 9 | 4.919 % |
19.21/19.30 c | 133522 | 25446 148987 506077 | 2147483647 96720 9 | 4.919 % |
19.31/19.32 c | 133736 | 25446 148987 506077 | 2147483647 96934 9 | 4.919 % |
19.31/19.34 c | 133971 | 25446 148987 506077 | 2147483647 97169 9 | 4.919 % |
19.31/19.35 c | 134227 | 25446 148987 506077 | 2147483647 97425 9 | 4.919 % |
19.31/19.37 c | 134509 | 25446 148987 506077 | 2147483647 97707 9 | 4.919 % |
19.31/19.41 c | 134818 | 25446 148987 506077 | 2147483647 98016 9 | 4.919 % |
19.41/19.43 c | 135157 | 25445 148987 506077 | 2147483647 98354 9 | 4.922 % |
19.41/19.47 c | 135529 | 25432 148987 506077 | 2147483647 98724 9 | 4.993 % |
19.41/19.49 c | 135939 | 25432 148987 506077 | 2147483647 99134 9 | 4.993 % |
19.51/19.52 c | 136388 | 25432 148987 506077 | 2147483647 99583 9 | 4.993 % |
19.51/19.53 c | 136882 | 25432 148987 506077 | 2147483647 100077 9 | 4.993 % |
19.51/19.55 c | 137428 | 25432 148987 506077 | 2147483647 100623 9 | 4.993 % |
19.51/19.57 c | 138024 | 25421 148987 506077 | 2147483647 101218 9 | 5.035 % |
19.51/19.60 c | 138679 | 25421 148987 506077 | 2147483647 101873 9 | 5.035 % |
19.61/19.63 c | 139399 | 25421 148987 506077 | 2147483647 102593 9 | 5.035 % |
19.61/19.65 c | 140191 | 25414 148987 506077 | 2147483647 103384 9 | 5.154 % |
19.61/19.70 c | 141063 | 25410 148987 506077 | 2147483647 104255 9 | 5.166 % |
19.71/19.76 c | 142022 | 25408 148987 506077 | 2147483647 105214 9 | 5.166 % |
19.71/19.79 c | 143076 | 25408 148987 506077 | 2147483647 106268 9 | 5.166 % |
19.81/19.84 c | 144234 | 25408 148987 506077 | 2147483647 107426 9 | 5.166 % |
19.91/19.93 c | 145509 | 25400 148987 506077 | 2147483647 108699 9 | 5.237 % |
20.01/20.04 c | 146910 | 25382 148987 506077 | 2147483647 110097 9 | 5.289 % |
20.11/20.12 c | 148450 | 25372 148987 506077 | 2147483647 111634 9 | 5.349 % |
20.11/20.13 c | 148552 | 25370 148987 506077 | 2147483647 111735 9 | 5.356 % |
20.11/20.14 c | 148663 | 25370 148987 506077 | 2147483647 111846 9 | 5.356 % |
20.11/20.14 c | 148784 | 25370 148987 506077 | 2147483647 111967 9 | 5.356 % |
20.11/20.15 c | 148917 | 25363 148987 506077 | 2147483647 112098 9 | 5.424 % |
20.11/20.16 c | 149064 | 25363 148987 506077 | 2147483647 112245 9 | 5.424 % |
20.11/20.17 c | 149226 | 25363 148987 506077 | 2147483647 112407 9 | 5.424 % |
20.11/20.18 c | 149402 | 25363 148987 506077 | 2147483647 112583 9 | 5.424 % |
20.11/20.19 c | 149596 | 25363 148987 506077 | 2147483647 112777 9 | 5.424 % |
20.11/20.20 c | 149808 | 25363 148987 506077 | 2147483647 112989 9 | 5.424 % |
20.11/20.21 c | 150042 | 25363 148987 506077 | 2147483647 113223 9 | 5.424 % |
20.21/20.22 c | 150301 | 25362 148987 506077 | 2147483647 113481 9 | 5.427 % |
20.21/20.24 c | 150583 | 25360 148987 506077 | 2147483647 113762 9 | 5.442 % |
20.21/20.25 c | 150892 | 25359 148987 506077 | 2147483647 114071 9 | 5.442 % |
20.21/20.27 c | 151232 | 25356 148987 506077 | 2147483647 114411 9 | 5.442 % |
20.21/20.29 c | 151604 | 25356 148987 506077 | 2147483647 114783 9 | 5.442 % |
20.31/20.36 c | 152013 | 25280 147785 502182 | 2147483647 110731 9 | 5.442 % |
20.31/20.38 c | 152462 | 25280 147785 502182 | 2147483647 111180 9 | 5.442 % |
20.31/20.41 c | 152956 | 25280 147785 502182 | 2147483647 111674 9 | 5.442 % |
20.41/20.43 c | 153501 | 25280 147785 502182 | 2147483647 112219 9 | 5.442 % |
20.41/20.48 c | 154098 | 25279 147785 502182 | 2147483647 112815 9 | 5.446 % |
20.51/20.54 c | 154754 | 25279 147785 502182 | 2147483647 113471 9 | 5.446 % |
20.51/20.58 c | 155474 | 25279 147785 502182 | 2147483647 114191 9 | 5.446 % |
20.71/20.77 c | 156267 | 25279 147785 502182 | 2147483647 114984 9 | 5.446 % |
20.81/20.86 c | 157139 | 25272 147785 502182 | 2147483647 115854 9 | 5.592 % |
20.91/20.96 c | 158098 | 25272 147785 502182 | 2147483647 116813 9 | 5.592 % |
21.01/21.03 c | 159151 | 25272 147785 502182 | 2147483647 117866 9 | 5.592 % |
21.01/21.09 c | 160309 | 25269 147785 502182 | 2147483647 119023 9 | 5.603 % |
21.11/21.18 c | 161583 | 25269 147785 502182 | 2147483647 120297 9 | 5.603 % |
21.31/21.41 c | 162983 | 25259 147785 502182 | 2147483647 121697 9 | 5.603 % |
21.41/21.50 c | 164523 | 25258 147785 502182 | 2147483647 123236 9 | 5.611 % |
21.81/21.86 c | 166218 | 25244 147785 502182 | 2147483647 124928 9 | 5.749 % |
21.81/21.86 c | 166318 | 25244 147785 502182 | 2147483647 125028 9 | 5.749 % |
21.81/21.88 c | 166428 | 25244 147785 502182 | 2147483647 125137 9 | 5.865 % |
21.81/21.89 c | 166550 | 25231 147785 502182 | 2147483647 125259 9 | 5.865 % |
21.81/21.90 c | 166683 | 25231 147785 502182 | 2147483647 125392 9 | 5.865 % |
21.91/21.94 c | 166829 | 25227 147785 502182 | 2147483647 125538 9 | 5.865 % |
21.91/22.00 c | 166991 | 25227 147785 502182 | 2147483647 125700 9 | 5.865 % |
22.01/22.04 c | 167167 | 25167 146970 499575 | 2147483647 122394 9 | 5.865 % |
22.01/22.08 c | 167361 | 25167 146970 499575 | 2147483647 122588 9 | 5.865 % |
22.11/22.12 c | 167573 | 25158 146970 499575 | 2147483647 122799 9 | 5.910 % |
22.11/22.15 c | 167807 | 25158 146970 499575 | 2147483647 123033 9 | 5.910 % |
22.11/22.21 c | 168063 | 25158 146970 499575 | 2147483647 123289 9 | 5.910 % |
22.21/22.24 c | 168345 | 25158 146970 499575 | 2147483647 123571 9 | 5.910 % |
22.21/22.29 c | 168654 | 25155 146970 499575 | 2147483647 123879 9 | 5.925 % |
22.31/22.32 c | 168994 | 25150 146970 499575 | 2147483647 124218 9 | 5.951 % |
22.31/22.37 c | 169367 | 25129 146970 499575 | 2147483647 124589 9 | 6.063 % |
22.31/22.39 c | 169776 | 25129 146970 499575 | 2147483647 124998 9 | 6.063 % |
22.41/22.42 c | 170226 | 25113 146970 499575 | 2147483647 125444 9 | 6.146 % |
22.41/22.44 c | 170719 | 25108 146970 499575 | 2147483647 125934 9 | 6.187 % |
22.51/22.54 c | 171261 | 25091 146970 499575 | 2147483647 126476 9 | 6.187 % |
22.61/22.68 c | 171857 | 25091 146970 499575 | 2147483647 127072 9 | 6.187 % |
22.81/22.82 c | 172513 | 25091 146970 499575 | 2147483647 127728 9 | 6.187 % |
22.81/22.87 c | 173233 | 25091 146970 499575 | 2147483647 128448 9 | 6.187 % |
23.01/23.02 c | 174026 | 25085 146970 499575 | 2147483647 129239 9 | 6.291 % |
23.11/23.12 c | 174897 | 25078 146970 499575 | 2147483647 130108 9 | 6.325 % |
23.21/23.22 c | 175858 | 25068 146970 499575 | 2147483647 131066 9 | 6.389 % |
23.71/23.78 c | 176911 | 25059 146970 499575 | 2147483647 132116 10 | 6.411 % |
24.01/24.07 c | 178070 | 25059 146970 499575 | 2147483647 133275 10 | 6.411 % |
24.51/24.55 c | 179345 | 25018 145731 495469 | 2147483647 125898 10 | 6.445 % |
24.91/24.93 c | 180745 | 25018 145731 495469 | 2147483647 127298 10 | 6.445 % |
25.41/25.49 c | 182285 | 25007 145731 495469 | 2147483647 128835 10 | 6.523 % |
25.81/25.82 c | 183980 | 25006 145731 495469 | 2147483647 130530 10 | 6.523 % |
26.51/26.61 c | 185843 | 25006 145731 495469 | 2147483647 132393 10 | 6.523 % |
26.61/26.69 c | 185944 | 24991 145460 494556 | 2147483647 130791 10 | 6.523 % |
26.71/26.75 c | 186054 | 24991 145460 494556 | 2147483647 130901 10 | 6.523 % |
26.71/26.77 c | 186175 | 24991 145460 494556 | 2147483647 131022 10 | 6.523 % |
26.71/26.78 c | 186308 | 24991 145460 494556 | 2147483647 131155 10 | 6.523 % |
26.81/26.87 c | 186455 | 24991 145460 494556 | 2147483647 131302 10 | 6.523 % |
26.81/26.89 c | 186615 | 24991 145460 494556 | 2147483647 131462 10 | 6.523 % |
26.91/26.96 c | 186792 | 24991 145460 494556 | 2147483647 131639 10 | 6.523 % |
27.01/27.01 c | 186985 | 24991 145460 494556 | 2147483647 131832 10 | 6.523 % |
27.01/27.11 c | 187197 | 24991 145460 494556 | 2147483647 132044 10 | 6.523 % |
27.11/27.16 c | 187430 | 24991 145460 494556 | 2147483647 132277 10 | 6.523 % |
27.21/27.22 c | 187687 | 24991 145460 494556 | 2147483647 132534 10 | 6.523 % |
27.31/27.34 c | 187969 | 24991 145460 494556 | 2147483647 132816 10 | 6.523 % |
27.41/27.43 c | 188279 | 24991 145460 494556 | 2147483647 133126 10 | 6.523 % |
27.41/27.47 c | 188618 | 24991 145460 494556 | 2147483647 133465 10 | 6.523 % |
27.41/27.49 c | 188990 | 24991 145460 494556 | 2147483647 133837 10 | 6.523 % |
27.51/27.58 c | 189399 | 24991 145460 494556 | 2147483647 134246 10 | 6.523 % |
27.71/27.77 c | 189848 | 24987 145460 494556 | 2147483647 134693 10 | 6.546 % |
27.91/27.96 c | 190341 | 24986 145460 494556 | 2147483647 135185 10 | 6.553 % |
28.11/28.17 c | 190885 | 24986 145460 494556 | 2147483647 135729 10 | 6.553 % |
28.31/28.40 c | 191481 | 24986 145460 494556 | 2147483647 136325 10 | 6.553 % |
28.71/28.79 c | 192136 | 24985 145460 494556 | 2147483647 136980 11 | 6.553 % |
29.01/29.03 c | 192856 | 24985 145460 494556 | 2147483647 137700 11 | 6.553 % |
29.11/29.19 c | 193648 | 24982 145418 494410 | 2147483647 138477 11 | 6.561 % |
29.31/29.33 c | 194519 | 24969 145418 494410 | 2147483647 139346 11 | 6.613 % |
29.51/29.54 c | 195477 | 24957 145418 494410 | 2147483647 140301 11 | 6.677 % |
29.81/29.88 c | 196530 | 24946 145418 494410 | 2147483647 141352 11 | 6.710 % |
30.01/30.09 c | 197689 | 24946 145418 494410 | 2147483647 142511 11 | 6.710 % |
30.41/30.43 c | 198962 | 24946 145418 494410 | 2147483647 143784 11 | 6.710 % |
30.91/30.96 c | 200363 | 24946 145418 494410 | 2147483647 145185 11 | 6.710 % |
31.31/31.40 c | 201903 | 24946 145418 494410 | 2147483647 146725 11 | 6.710 % |
31.81/31.91 c | 203597 | 24941 145122 493400 | 2147483647 147659 11 | 6.710 % |
32.51/32.51 c | 205461 | 24941 145122 493400 | 2147483647 149523 11 | 6.710 % |
33.01/33.09 c | 207510 | 24941 145122 493400 | 2147483647 151572 11 | 6.710 % |
33.11/33.13 c | 207610 | 24941 145122 493400 | 2147483647 151672 11 | 6.710 % |
33.11/33.16 c | 207720 | 24941 145122 493400 | 2147483647 151782 11 | 6.710 % |
33.21/33.21 c | 207842 | 24941 145122 493400 | 2147483647 151904 11 | 6.710 % |
33.21/33.27 c | 207975 | 24937 145122 493400 | 2147483647 152036 11 | 6.740 % |
33.31/33.34 c | 208121 | 24937 145122 493400 | 2147483647 152182 11 | 6.740 % |
33.31/33.39 c | 208285 | 24937 145122 493400 | 2147483647 152346 11 | 6.740 % |
33.41/33.42 c | 208461 | 24937 145122 493400 | 2147483647 152522 11 | 6.740 % |
33.41/33.49 c | 208654 | 24937 145122 493400 | 2147483647 152715 11 | 6.740 % |
33.61/33.62 c | 208866 | 24933 145053 493184 | 2147483647 152473 11 | 6.740 % |
33.61/33.70 c | 209100 | 24933 145053 493184 | 2147483647 152707 11 | 6.740 % |
33.71/33.72 c | 209361 | 24932 145053 493184 | 2147483647 152967 11 | 6.748 % |
33.81/33.81 c | 209646 | 24931 145053 493184 | 2147483647 153252 11 | 6.748 % |
33.81/33.87 c | 209955 | 24924 145053 493184 | 2147483647 153560 11 | 6.826 % |
33.91/33.92 c | 210294 | 24924 145053 493184 | 2147483647 153899 11 | 6.826 % |
33.91/33.94 c | 210668 | 24924 145053 493184 | 2147483647 154273 11 | 6.826 % |
34.01/34.07 c | 211078 | 24924 145053 493184 | 2147483647 154683 11 | 6.826 % |
34.21/34.26 c | 211527 | 24924 145053 493184 | 2147483647 155132 11 | 6.826 % |
34.41/34.46 c | 212020 | 24924 145053 493184 | 2147483647 155625 11 | 6.826 % |
34.61/34.62 c | 212563 | 24923 145053 493184 | 2147483647 156167 11 | 6.834 % |
34.91/34.98 c | 213159 | 24922 145053 493184 | 2147483647 156763 11 | 6.834 % |
35.11/35.20 c | 213815 | 24922 145053 493184 | 2147483647 157419 11 | 6.834 % |
35.31/35.37 c | 214535 | 24922 145053 493184 | 2147483647 158139 11 | 6.834 % |
35.51/35.60 c | 215327 | 24922 145053 493184 | 2147483647 158931 11 | 6.834 % |
35.91/35.99 c | 216198 | 24922 145053 493184 | 2147483647 159802 11 | 6.834 % |
36.41/36.42 c | 217157 | 24905 144915 492740 | 2147483647 160541 11 | 6.845 % |
36.61/36.61 c | 218210 | 24905 144915 492740 | 2147483647 161594 11 | 6.845 % |
36.81/36.82 c | 219368 | 24905 144915 492740 | 2147483647 162752 11 | 6.845 % |
37.01/37.07 c | 220641 | 24903 144915 492740 | 2147483647 164024 11 | 6.852 % |
37.61/37.64 c | 222041 | 24903 144915 492740 | 2147483647 165424 11 | 6.852 % |
37.71/37.79 c | 223581 | 24902 144915 492740 | 2147483647 166963 11 | 6.856 % |
38.11/38.18 c | 225277 | 24897 144915 492740 | 2147483647 168658 11 | 6.875 % |
38.61/38.66 c | 227142 | 24891 144754 492185 | 2147483647 166528 11 | 6.897 % |
38.71/38.80 c | 229191 | 24891 144754 492185 | 2147483647 168577 11 | 6.897 % |
39.81/39.81 c | 231445 | 24890 144754 492185 | 2147483647 170830 11 | 6.901 % |
39.81/39.87 c | 231545 | 24889 144754 492185 | 2147483647 170929 11 | 6.905 % |
39.81/39.90 c | 231659 | 24889 144754 492185 | 2147483647 171043 11 | 6.905 % |
39.91/39.98 c | 231780 | 24889 144754 492185 | 2147483647 171164 11 | 6.905 % |
40.01/40.07 c | 231913 | 24889 144754 492185 | 2147483647 171297 11 | 6.905 % |
40.11/40.12 c | 232059 | 24889 144754 492185 | 2147483647 171443 11 | 6.905 % |
40.21/40.23 c | 232220 | 24889 144754 492185 | 2147483647 171604 11 | 6.905 % |
40.31/40.35 c | 232397 | 24889 144754 492185 | 2147483647 171781 11 | 6.905 % |
40.41/40.41 c | 232591 | 24889 144754 492185 | 2147483647 171975 11 | 6.905 % |
40.41/40.47 c | 232804 | 24889 144754 492185 | 2147483647 172188 11 | 6.905 % |
40.51/40.55 c | 233037 | 24889 144754 492185 | 2147483647 172421 11 | 6.905 % |
40.61/40.69 c | 233293 | 24889 144754 492185 | 2147483647 172677 11 | 6.905 % |
40.71/40.79 c | 233574 | 24889 144754 492185 | 2147483647 172958 11 | 6.905 % |
40.81/40.86 c | 233883 | 24889 144754 492185 | 2147483647 173267 11 | 6.905 % |
40.91/40.93 c | 234222 | 24889 144754 492185 | 2147483647 173606 11 | 6.905 % |
41.01/41.06 c | 234594 | 24889 144754 492185 | 2147483647 173978 11 | 6.905 % |
41.21/41.28 c | 235003 | 24889 144754 492185 | 2147483647 174387 11 | 6.905 % |
41.41/41.50 c | 235453 | 24889 144754 492185 | 2147483647 174837 11 | 6.905 % |
41.51/41.59 c | 235947 | 24884 144754 492185 | 2147483647 175330 11 | 6.991 % |
41.71/41.79 c | 236490 | 24884 144754 492185 | 2147483647 175873 11 | 6.991 % |
41.81/41.89 c | 237088 | 24865 144607 491694 | 2147483647 175925 11 | 6.995 % |
42.11/42.15 c | 237743 | 24865 144607 491694 | 2147483647 176580 11 | 6.995 % |
42.21/42.26 c | 238463 | 24865 144607 491694 | 2147483647 177300 11 | 6.995 % |
42.31/42.40 c | 239256 | 24865 144607 491694 | 2147483647 178093 11 | 6.995 % |
42.41/42.42 c | 240127 | 24865 144607 491694 | 2147483647 178964 11 | 6.995 % |
42.91/42.92 c | 241085 | 24865 144607 491694 | 2147483647 179922 11 | 6.995 % |
43.31/43.34 c | 242138 | 24865 144607 491694 | 2147483647 180975 11 | 6.995 % |
44.71/44.80 c | 243296 | 24865 144607 491694 | 2147483647 182133 11 | 6.995 % |
45.11/45.11 c | 244570 | 24865 144607 491694 | 2147483647 183407 11 | 6.995 % |
46.21/46.22 c | 245970 | 24865 144607 491694 | 2147483647 184807 12 | 6.995 % |
47.71/47.73 c | 247512 | 24862 144575 491578 | 2147483647 186340 12 | 7.006 % |
48.61/48.62 c | 249206 | 24862 144575 491578 | 2147483647 188034 13 | 7.006 % |
49.51/49.52 c | 251069 | 24862 144575 491578 | 2147483647 189897 13 | 7.006 % |
51.21/51.27 c | 253120 | 24862 144575 491578 | 2147483647 191948 13 | 7.006 % |
53.11/53.13 c | 255373 | 24862 144559 491523 | 2147483647 194172 14 | 7.006 % |
58.11/58.17 c | 257853 | 24856 144559 491523 | 2147483647 196651 17 | 7.058 % |
58.31/58.33 c | 257953 | 24848 144462 491213 | 2147483647 195826 17 | 7.058 % |
58.41/58.45 c | 258063 | 24848 144462 491213 | 2147483647 195936 17 | 7.058 % |
58.51/58.52 c | 258185 | 24848 144462 491213 | 2147483647 196058 17 | 7.058 % |
58.51/58.60 c | 258318 | 24848 144462 491213 | 2147483647 196191 17 | 7.058 % |
58.61/58.70 c | 258464 | 24848 144462 491213 | 2147483647 196337 17 | 7.058 % |
58.71/58.72 c | 258624 | 24848 144462 491213 | 2147483647 196497 17 | 7.058 % |
58.71/58.78 c | 258800 | 24848 144462 491213 | 2147483647 196673 17 | 7.058 % |
58.81/58.88 c | 258993 | 24848 144462 491213 | 2147483647 196866 17 | 7.058 % |
58.91/58.93 c | 259205 | 24848 144462 491213 | 2147483647 197078 17 | 7.058 % |
59.01/59.04 c | 259439 | 24846 144462 491213 | 2147483647 197311 17 | 7.066 % |
59.01/59.07 c | 259696 | 24846 144462 491213 | 2147483647 197568 17 | 7.066 % |
59.11/59.16 c | 259977 | 24846 144462 491213 | 2147483647 197849 17 | 7.066 % |
59.21/59.24 c | 260287 | 24846 144462 491213 | 2147483647 198159 17 | 7.066 % |
59.21/59.27 c | 260627 | 24846 144462 491213 | 2147483647 198499 17 | 7.066 % |
59.31/59.37 c | 260999 | 24843 144462 491213 | 2147483647 198870 17 | 7.084 % |
59.41/59.47 c | 261408 | 24843 144462 491213 | 2147483647 199279 17 | 7.084 % |
59.51/59.56 c | 261858 | 24841 144462 491213 | 2147483647 199728 17 | 7.092 % |
59.51/59.60 c | 262352 | 24841 144462 491213 | 2147483647 200222 17 | 7.092 % |
59.71/59.80 c | 262896 | 24840 144462 491213 | 2147483647 200766 17 | 7.092 % |
60.01/60.02 c | 263492 | 24840 144462 491213 | 2147483647 201362 17 | 7.092 % |
60.21/60.23 c | 264147 | 24839 144462 491213 | 2147483647 202016 17 | 7.103 % |
60.51/60.57 c | 264868 | 24839 144462 491213 | 2147483647 202737 17 | 7.103 % |
60.61/60.70 c | 265660 | 24839 144462 491213 | 2147483647 203529 17 | 7.103 % |
61.01/61.05 c | 266531 | 24837 144462 491213 | 2147483647 204400 17 | 7.103 % |
61.41/61.42 c | 267492 | 24837 144462 491213 | 2147483647 205361 17 | 7.103 % |
61.71/61.74 c | 268547 | 24836 144462 491213 | 2147483647 206415 17 | 7.107 % |
62.31/62.33 c | 269705 | 24836 144462 491213 | 2147483647 207573 17 | 7.107 % |
62.61/62.70 c | 270980 | 24828 144462 491213 | 2147483647 208846 17 | 7.152 % |
63.41/63.47 c | 272380 | 24828 144462 491213 | 2147483647 210246 17 | 7.152 % |
64.31/64.36 c | 273920 | 24823 144182 490229 | 2147483647 211049 17 | 7.152 % |
65.21/65.24 c | 275614 | 24821 144182 490229 | 2147483647 212742 17 | 7.159 % |
66.01/66.06 c | 277480 | 24820 144182 490229 | 2147483647 214607 17 | 7.163 % |
66.91/66.91 c | 279529 | 24820 144182 490229 | 2147483647 216656 17 | 7.163 % |
68.01/68.05 c | 281782 | 24820 144182 490229 | 2147483647 218909 17 | 7.163 % |
68.91/69.00 c | 284260 | 24820 144182 490229 | 2147483647 221387 17 | 7.163 % |
70.61/70.61 c | 286985 | 24818 144151 490117 | 2147483647 223773 17 | 7.170 % |
70.61/70.64 c | 287085 | 24818 144151 490117 | 2147483647 223873 17 | 7.170 % |
70.61/70.70 c | 287195 | 24818 144151 490117 | 2147483647 223983 17 | 7.170 % |
70.71/70.76 c | 287316 | 24818 144151 490117 | 2147483647 224104 17 | 7.170 % |
70.81/70.83 c | 287452 | 24818 144151 490117 | 2147483647 224240 17 | 7.170 % |
70.81/70.88 c | 287598 | 24810 144151 490117 | 2147483647 224385 17 | 7.204 % |
70.81/70.90 c | 287759 | 24810 144151 490117 | 2147483647 224546 17 | 7.204 % |
70.91/71.00 c | 287936 | 24810 144151 490117 | 2147483647 224723 17 | 7.204 % |
71.11/71.12 c | 288130 | 24810 144151 490117 | 2147483647 224917 17 | 7.204 % |
71.21/71.23 c | 288343 | 24810 144151 490117 | 2147483647 225130 17 | 7.204 % |
71.31/71.36 c | 288576 | 24810 144151 490117 | 2147483647 225363 17 | 7.204 % |
71.41/71.41 c | 288832 | 24810 144151 490117 | 2147483647 225619 17 | 7.204 % |
71.61/71.61 c | 289113 | 24810 144151 490117 | 2147483647 225900 17 | 7.204 % |
71.71/71.80 c | 289422 | 24810 144151 490117 | 2147483647 226209 17 | 7.204 % |
71.91/71.96 c | 289761 | 24810 144151 490117 | 2147483647 226548 17 | 7.204 % |
72.11/72.13 c | 290134 | 24810 144151 490117 | 2147483647 226921 17 | 7.204 % |
72.31/72.35 c | 290544 | 24810 144151 490117 | 2147483647 227331 17 | 7.204 % |
72.51/72.53 c | 290993 | 24810 144151 490117 | 2147483647 227780 17 | 7.204 % |
72.61/72.65 c | 291486 | 24810 144151 490117 | 2147483647 228273 17 | 7.204 % |
72.81/72.86 c | 292028 | 24810 144151 490117 | 2147483647 228815 17 | 7.204 % |
73.01/73.07 c | 292624 | 24810 144151 490117 | 2147483647 229411 17 | 7.204 % |
73.31/73.40 c | 293279 | 24810 144151 490117 | 2147483647 230066 17 | 7.204 % |
73.71/73.73 c | 293999 | 24810 144151 490117 | 2147483647 230786 17 | 7.204 % |
74.01/74.04 c | 294791 | 24810 144151 490117 | 2147483647 231578 17 | 7.204 % |
74.21/74.23 c | 295662 | 24810 144151 490117 | 2147483647 232449 17 | 7.204 % |
74.51/74.60 c | 296622 | 24809 144151 490117 | 2147483647 233408 17 | 7.208 % |
75.11/75.20 c | 297675 | 24809 144151 490117 | 2147483647 234461 17 | 7.208 % |
75.21/75.25 c | 298834 | 24809 144151 490117 | 2147483647 235620 17 | 7.208 % |
76.01/76.01 c | 300108 | 24809 144151 490117 | 2147483647 236894 17 | 7.208 % |
76.71/76.75 c | 301511 | 24809 144151 490117 | 2147483647 238297 17 | 7.208 % |
82.31/82.36 c | 303051 | 24808 144102 489955 | 2147483647 239832 19 | 7.208 % |
83.21/83.29 c | 304746 | 24808 144102 489955 | 2147483647 241527 19 | 7.208 % |
86.92/86.98 c | 306610 | 24808 144102 489955 | 2147483647 243391 20 | 7.208 % |
91.41/91.50 c | 308660 | 24808 144102 489955 | 2147483647 245441 22 | 7.208 % |
92.81/92.90 c | 310914 | 24808 144102 489955 | 2147483647 247695 22 | 7.208 % |
94.11/94.18 c | 313392 | 24808 144102 489955 | 2147483647 250173 22 | 7.208 % |
95.61/95.62 c | 316118 | 24808 144102 489955 | 2147483647 252899 22 | 7.208 % |
97.11/97.13 c | 319115 | 24808 144102 489955 | 2147483647 255896 22 | 7.208 % |
97.21/97.21 c | 319215 | 24808 144102 489955 | 2147483647 255996 22 | 7.208 % |
97.21/97.29 c | 319326 | 24808 144102 489955 | 2147483647 256107 22 | 7.208 % |
97.31/97.38 c | 319447 | 24808 144102 489955 | 2147483647 256228 22 | 7.208 % |
97.41/97.49 c | 319582 | 24808 144102 489955 | 2147483647 256363 22 | 7.208 % |
97.51/97.59 c | 319728 | 24808 144102 489955 | 2147483647 256509 22 | 7.208 % |
97.61/97.62 c | 319888 | 24808 144102 489955 | 2147483647 256669 22 | 7.208 % |
97.61/97.70 c | 320064 | 24808 144102 489955 | 2147483647 256845 22 | 7.208 % |
97.81/97.87 c | 320257 | 24808 144102 489955 | 2147483647 257038 22 | 7.208 % |
97.92/97.99 c | 320471 | 24808 144102 489955 | 2147483647 257252 22 | 7.208 % |
98.01/98.10 c | 320704 | 24808 144102 489955 | 2147483647 257485 22 | 7.208 % |
98.51/98.52 c | 320960 | 24808 144102 489955 | 2147483647 257741 22 | 7.208 % |
98.71/98.73 c | 321244 | 24808 144102 489955 | 2147483647 258025 22 | 7.208 % |
98.91/98.92 c | 321553 | 24808 144102 489955 | 2147483647 258334 22 | 7.208 % |
99.11/99.17 c | 321892 | 24808 144102 489955 | 2147483647 258673 22 | 7.208 % |
99.21/99.22 c | 322264 | 24808 144102 489955 | 2147483647 259045 22 | 7.208 % |
99.31/99.39 c | 322673 | 24808 144102 489955 | 2147483647 259454 22 | 7.208 % |
99.81/99.82 c | 323123 | 24808 144102 489955 | 2147483647 259904 22 | 7.208 % |
100.01/100.06 c | 323616 | 24808 144102 489955 | 2147483647 260397 22 | 7.208 % |
100.31/100.39 c | 324159 | 24808 144102 489955 | 2147483647 260940 22 | 7.208 % |
101.01/101.04 c | 324755 | 24808 144102 489955 | 2147483647 261536 23 | 7.208 % |
101.31/101.40 c | 325413 | 24808 144102 489955 | 2147483647 262194 22 | 7.208 % |
102.01/102.07 c | 326134 | 24808 144102 489955 | 2147483647 262915 23 | 7.208 % |
102.61/102.61 c | 326926 | 24808 144102 489955 | 2147483647 263707 23 | 7.208 % |
103.51/103.52 c | 327797 | 24808 144102 489955 | 2147483647 264578 23 | 7.208 % |
105.11/105.14 c | 328758 | 24808 144102 489955 | 2147483647 265539 23 | 7.208 % |
105.70/105.76 c | 329812 | 24808 144102 489955 | 2147483647 266593 23 | 7.208 % |
106.50/106.52 c | 330970 | 24808 144102 489955 | 2147483647 267751 23 | 7.208 % |
107.10/107.18 c | 332243 | 24808 144102 489955 | 2147483647 269024 23 | 7.208 % |
110.80/110.89 c | 333643 | 24808 144102 489955 | 2147483647 270424 24 | 7.208 % |
112.60/112.60 c | 335183 | 24804 144082 489904 | 2147483647 271791 24 | 7.223 % |
117.30/117.34 c | 336879 | 24804 144082 489904 | 2147483647 273487 26 | 7.223 % |
118.40/118.43 c | 338742 | 24804 144082 489904 | 2147483647 275350 26 | 7.223 % |
121.10/121.13 c | 340791 | 24804 144082 489904 | 2147483647 277399 26 | 7.223 % |
122.50/122.53 c | 343044 | 24804 144082 489904 | 2147483647 279652 26 | 7.223 % |
125.90/125.93 c | 345522 | 24804 144082 489904 | 2147483647 282130 27 | 7.223 % |
127.40/127.44 c | 348250 | 24804 144082 489904 | 2147483647 284858 27 | 7.223 % |
137.41/137.49 c | 351249 | 24804 144082 489904 | 2147483647 287857 29 | 7.223 % |
139.11/139.16 c | 354546 | 24804 144082 489904 | 2147483647 291154 29 | 7.223 % |
139.21/139.22 c | 354646 | 24804 144082 489904 | 2147483647 291254 29 | 7.223 % |
139.31/139.33 c | 354757 | 24804 144082 489904 | 2147483647 291365 29 | 7.223 % |
139.31/139.40 c | 354879 | 24804 144082 489904 | 2147483647 291487 29 | 7.223 % |
139.41/139.50 c | 355012 | 24804 144082 489904 | 2147483647 291620 29 | 7.223 % |
139.51/139.53 c | 355158 | 24804 144082 489904 | 2147483647 291766 29 | 7.223 % |
139.61/139.61 c | 355318 | 24804 144082 489904 | 2147483647 291926 29 | 7.223 % |
139.71/139.75 c | 355494 | 24804 144082 489904 | 2147483647 292102 29 | 7.223 % |
139.81/139.84 c | 355688 | 24804 144082 489904 | 2147483647 292296 29 | 7.223 % |
139.81/139.86 c | 355901 | 24804 144082 489904 | 2147483647 292509 29 | 7.223 % |
139.91/139.99 c | 356134 | 24804 144082 489904 | 2147483647 292742 29 | 7.223 % |
140.11/140.14 c | 356390 | 24804 144082 489904 | 2147483647 292998 29 | 7.223 % |
140.31/140.35 c | 356672 | 24804 144082 489904 | 2147483647 293280 29 | 7.223 % |
140.51/140.60 c | 356981 | 24804 144082 489904 | 2147483647 293589 29 | 7.223 % |
140.81/140.83 c | 357320 | 24804 144082 489904 | 2147483647 293928 29 | 7.223 % |
141.41/141.49 c | 357692 | 24804 144082 489904 | 2147483647 294300 29 | 7.223 % |
141.91/141.94 c | 358102 | 24804 144082 489904 | 2147483647 294710 29 | 7.223 % |
142.31/142.31 c | 358551 | 24804 144082 489904 | 2147483647 295159 29 | 7.223 % |
142.61/142.66 c | 359044 | 24804 144082 489904 | 2147483647 295652 29 | 7.223 % |
143.91/143.98 c | 359586 | 24804 144082 489904 | 2147483647 296194 30 | 7.223 % |
144.41/144.45 c | 360183 | 24804 144082 489904 | 2147483647 296791 30 | 7.223 % |
144.81/144.88 c | 360838 | 24804 144082 489904 | 2147483647 297446 30 | 7.223 % |
146.11/146.19 c | 361559 | 24804 144082 489904 | 2147483647 298167 30 | 7.223 % |
146.61/146.66 c | 362351 | 24804 144082 489904 | 2147483647 298959 30 | 7.223 % |
147.21/147.22 c | 363222 | 24804 144082 489904 | 2147483647 299830 30 | 7.223 % |
150.01/150.04 c | 364180 | 24804 144082 489904 | 2147483647 300788 30 | 7.223 % |
150.81/150.84 c | 365236 | 24804 144082 489904 | 2147483647 301844 31 | 7.223 % |
151.61/151.63 c | 366394 | 24804 144082 489904 | 2147483647 303002 31 | 7.223 % |
152.41/152.44 c | 367667 | 24804 144082 489904 | 2147483647 304275 31 | 7.223 % |
153.31/153.36 c | 369067 | 24804 144082 489904 | 2147483647 305675 31 | 7.223 % |
155.71/155.75 c | 370608 | 24804 144082 489904 | 2147483647 307216 31 | 7.223 % |
156.91/156.98 c | 372302 | 24804 144082 489904 | 2147483647 308910 31 | 7.223 % |
163.91/164.00 c | 374166 | 24804 144082 489904 | 2147483647 310774 33 | 7.223 % |
165.31/165.40 c | 376216 | 24804 144082 489904 | 2147483647 312824 33 | 7.223 % |
172.81/172.83 c | 378472 | 24804 144082 489904 | 2147483647 315080 35 | 7.223 % |
174.71/174.74 c | 380950 | 24804 144082 489904 | 2147483647 317558 34 | 7.223 % |
177.91/177.91 c | 383675 | 24804 144082 489904 | 2147483647 320283 35 | 7.223 % |
185.01/185.06 c | 386673 | 24804 144082 489904 | 2147483647 323281 36 | 7.223 % |
187.21/187.21 c | 389970 | 24804 144082 489904 | 2147483647 326578 36 | 7.223 % |
189.91/189.99 c | 393596 | 24804 144082 489904 | 2147483647 330204 36 | 7.223 % |
190.01/190.09 c | 393696 | 24804 144082 489904 | 2147483647 330304 36 | 7.223 % |
190.21/190.22 c | 393806 | 24804 144082 489904 | 2147483647 330414 36 | 7.223 % |
190.31/190.32 c | 393927 | 24804 144082 489904 | 2147483647 330535 36 | 7.223 % |
190.41/190.44 c | 394060 | 24804 144082 489904 | 2147483647 330668 36 | 7.223 % |
190.51/190.60 c | 394207 | 24804 144082 489904 | 2147483647 330815 36 | 7.223 % |
190.71/190.74 c | 394367 | 24804 144082 489904 | 2147483647 330975 36 | 7.223 % |
190.81/190.89 c | 394544 | 24804 144082 489904 | 2147483647 331152 36 | 7.223 % |
191.01/191.06 c | 394738 | 24804 144082 489904 | 2147483647 331346 36 | 7.223 % |
191.11/191.14 c | 394950 | 24804 144082 489904 | 2147483647 331558 36 | 7.223 % |
191.31/191.39 c | 395184 | 24804 144082 489904 | 2147483647 331792 36 | 7.223 % |
192.01/192.08 c | 395440 | 24804 144082 489904 | 2147483647 332048 36 | 7.223 % |
192.31/192.35 c | 395721 | 24804 144082 489904 | 2147483647 332329 36 | 7.223 % |
192.51/192.56 c | 396030 | 24804 144082 489904 | 2147483647 332638 36 | 7.223 % |
192.81/192.87 c | 396369 | 24804 144082 489904 | 2147483647 332977 36 | 7.223 % |
193.11/193.12 c | 396741 | 24804 144082 489904 | 2147483647 333349 36 | 7.223 % |
193.71/193.78 c | 397150 | 24804 144082 489904 | 2147483647 333758 36 | 7.223 % |
194.11/194.14 c | 397600 | 24804 144082 489904 | 2147483647 334208 36 | 7.223 % |
194.51/194.57 c | 398093 | 24804 144082 489904 | 2147483647 334701 36 | 7.223 % |
195.41/195.48 c | 398635 | 24804 144082 489904 | 2147483647 335243 36 | 7.223 % |
195.91/195.96 c | 399232 | 24804 144082 489904 | 2147483647 335840 36 | 7.223 % |
199.51/199.56 c | 399887 | 24804 144082 489904 | 2147483647 336495 37 | 7.223 % |
200.11/200.11 c | 400611 | 24804 144082 489904 | 2147483647 337219 37 | 7.223 % |
200.71/200.80 c | 401403 | 24804 144082 489904 | 2147483647 338011 37 | 7.223 % |
202.61/202.66 c | 402276 | 24804 144082 489904 | 2147483647 338884 37 | 7.223 % |
205.61/205.71 c | 403235 | 24804 144082 489904 | 2147483647 339843 38 | 7.223 % |
208.41/208.45 c | 404290 | 24804 144082 489904 | 2147483647 340898 38 | 7.223 % |
210.71/210.79 c | 405448 | 24804 144082 489904 | 2147483647 342056 38 | 7.223 % |
213.11/213.16 c | 406721 | 24804 144082 489904 | 2147483647 343329 39 | 7.223 % |
214.41/214.46 c | 408121 | 24804 144082 489904 | 2147483647 344729 39 | 7.223 % |
215.62/215.62 c | 409661 | 24804 144082 489904 | 2147483647 346269 39 | 7.223 % |
217.71/217.73 c | 411356 | 24804 144082 489904 | 2147483647 347964 39 | 7.223 % |
224.71/224.73 c | 413219 | 24804 144082 489904 | 2147483647 349827 40 | 7.223 % |
226.41/226.43 c | 415269 | 24804 144082 489904 | 2147483647 351877 40 | 7.223 % |
227.21/227.26 c | 417522 | 24804 144082 489904 | 2147483647 354130 40 | 7.223 % |
229.71/229.73 c | 420000 | 24804 144082 489904 | 2147483647 356608 40 | 7.223 % |
232.01/232.06 c | 422726 | 24804 144082 489904 | 2147483647 359334 40 | 7.223 % |
236.31/236.35 c | 425723 | 24804 144082 489904 | 2147483647 362331 41 | 7.223 % |
245.61/245.65 c | 429019 | 24804 144082 489904 | 2147483647 365627 42 | 7.223 % |
248.81/248.90 c | 432645 | 24804 144082 489904 | 2147483647 369253 43 | 7.223 % |
252.01/252.03 c | 436632 | 24804 144082 489904 | 2147483647 373240 42 | 7.223 % |
252.01/252.07 c | 436733 | 24804 144082 489904 | 2147483647 373341 42 | 7.223 % |
252.21/252.22 c | 436844 | 24804 144082 489904 | 2147483647 373452 42 | 7.223 % |
252.31/252.38 c | 436965 | 24804 144082 489904 | 2147483647 373573 42 | 7.223 % |
252.51/252.52 c | 437098 | 24804 144082 489904 | 2147483647 373706 42 | 7.223 % |
252.51/252.55 c | 437244 | 24804 144082 489904 | 2147483647 373852 42 | 7.223 % |
252.61/252.66 c | 437406 | 24804 144082 489904 | 2147483647 374014 42 | 7.223 % |
252.71/252.72 c | 437583 | 24804 144082 489904 | 2147483647 374191 42 | 7.223 % |
252.91/252.92 c | 437776 | 24804 144082 489904 | 2147483647 374384 42 | 7.223 % |
253.11/253.19 c | 437989 | 24804 144082 489904 | 2147483647 374597 42 | 7.223 % |
253.41/253.40 c | 438222 | 24804 144082 489904 | 2147483647 374830 42 | 7.223 % |
253.61/253.61 c | 438478 | 24804 144082 489904 | 2147483647 375086 42 | 7.223 % |
253.81/253.90 c | 438759 | 24804 144082 489904 | 2147483647 375367 42 | 7.223 % |
254.21/254.22 c | 439068 | 24804 144082 489904 | 2147483647 375676 42 | 7.223 % |
254.71/254.78 c | 439407 | 24804 144082 489904 | 2147483647 376015 42 | 7.223 % |
255.01/255.03 c | 439779 | 24804 144082 489904 | 2147483647 376387 42 | 7.223 % |
255.41/255.44 c | 440188 | 24804 144082 489904 | 2147483647 376796 42 | 7.223 % |
255.91/255.98 c | 440640 | 24804 144082 489904 | 2147483647 377248 42 | 7.223 % |
256.41/256.41 c | 441134 | 24804 144082 489904 | 2147483647 377742 42 | 7.223 % |
256.81/256.83 c | 441676 | 24804 144082 489904 | 2147483647 378284 42 | 7.223 % |
259.82/259.82 c | 442272 | 24804 144082 489904 | 2147483647 378880 43 | 7.223 % |
260.52/260.59 c | 442927 | 24804 144082 489904 | 2147483647 379535 43 | 7.223 % |
261.12/261.15 c | 443647 | 24804 144082 489904 | 2147483647 380255 43 | 7.223 % |
262.12/262.18 c | 444440 | 24804 144082 489904 | 2147483647 381048 43 | 7.223 % |
263.22/263.28 c | 445312 | 24804 144082 489904 | 2147483647 381920 43 | 7.223 % |
263.92/263.99 c | 446271 | 24804 144082 489904 | 2147483647 382879 43 | 7.223 % |
269.92/269.91 c | 447324 | 24804 144082 489904 | 2147483647 383932 44 | 7.223 % |
270.72/270.73 c | 448482 | 24804 144082 489904 | 2147483647 385090 44 | 7.223 % |
272.12/272.16 c | 449755 | 24802 144068 489858 | 2147483647 386347 44 | 7.230 % |
273.72/273.79 c | 451155 | 24802 144068 489858 | 2147483647 387747 44 | 7.230 % |
275.72/275.74 c | 452696 | 24802 144068 489858 | 2147483647 389288 44 | 7.230 % |
279.82/279.89 c | 454391 | 24802 144068 489858 | 2147483647 390983 44 | 7.230 % |
283.62/283.65 c | 456256 | 24802 144068 489858 | 2147483647 392848 45 | 7.230 % |
289.52/289.56 c | 458306 | 24802 144068 489858 | 2147483647 394898 45 | 7.230 % |
291.02/291.10 c | 460559 | 24801 144068 489858 | 2147483647 397150 45 | 7.234 % |
293.42/293.45 c | 463037 | 24801 144068 489858 | 2147483647 399628 45 | 7.234 % |
296.22/296.22 c | 465762 | 24801 144068 489858 | 2147483647 402353 45 | 7.234 % |
302.72/302.79 c | 468759 | 24801 144068 489858 | 2147483647 405350 46 | 7.234 % |
318.82/318.83 c | 472056 | 24801 144068 489858 | 406591 408647 48 | 7.234 % |
322.62/322.62 c | 475681 | 24801 144068 489858 | 406591 366351 49 | 7.234 % |
327.42/327.41 c | 479669 | 24801 144063 489842 | 406591 370322 49 | 7.234 % |
331.72/331.77 c | 484054 | 24801 144063 489842 | 2147483647 374707 49 | 7.234 % |
331.82/331.88 c | 484155 | 24800 144063 489842 | 2147483647 374807 49 | 7.241 % |
332.12/332.11 c | 484269 | 24799 144063 489842 | 2147483647 374921 49 | 7.241 % |
332.23/332.23 c | 484391 | 24799 144063 489842 | 2147483647 375043 49 | 7.241 % |
332.32/332.40 c | 484525 | 24799 144063 489842 | 2147483647 375177 49 | 7.241 % |
332.52/332.53 c | 484671 | 24799 144063 489842 | 2147483647 375323 49 | 7.241 % |
332.62/332.69 c | 484832 | 24799 144063 489842 | 2147483647 375484 49 | 7.241 % |
332.82/332.83 c | 485009 | 24799 144063 489842 | 2147483647 375661 49 | 7.241 % |
332.92/332.95 c | 485202 | 24799 144063 489842 | 2147483647 375854 49 | 7.241 % |
332.92/332.99 c | 485414 | 24799 144063 489842 | 2147483647 376066 49 | 7.241 % |
332.92/333.00 c | 485647 | 24799 144063 489842 | 2147483647 376299 49 | 7.241 % |
333.02/333.02 c | 485903 | 24799 144063 489842 | 2147483647 376555 49 | 7.241 % |
333.22/333.25 c | 486185 | 24799 144063 489842 | 2147483647 376837 49 | 7.241 % |
333.52/333.57 c | 486496 | 24799 144063 489842 | 2147483647 377148 49 | 7.241 % |
333.82/333.84 c | 486835 | 24799 144063 489842 | 2147483647 377487 49 | 7.241 % |
334.02/334.10 c | 487208 | 24799 144063 489842 | 2147483647 377860 49 | 7.241 % |
334.43/334.48 c | 487617 | 24799 144063 489842 | 2147483647 378269 49 | 7.241 % |
334.82/334.83 c | 488069 | 24799 144063 489842 | 2147483647 378721 49 | 7.241 % |
335.53/335.56 c | 488563 | 24794 144063 489842 | 2147483647 379214 49 | 7.264 % |
336.22/336.26 c | 489105 | 24794 144063 489842 | 2147483647 379756 49 | 7.264 % |
337.22/337.26 c | 489701 | 24794 144063 489842 | 2147483647 380352 49 | 7.264 % |
337.82/337.83 c | 490356 | 24794 144063 489842 | 2147483647 381007 49 | 7.264 % |
338.52/338.54 c | 491076 | 24794 144063 489842 | 2147483647 381727 49 | 7.264 % |
339.22/339.30 c | 491868 | 24794 144063 489842 | 2147483647 382519 49 | 7.264 % |
342.52/342.59 c | 492739 | 24794 144063 489842 | 2147483647 383390 49 | 7.264 % |
343.82/343.81 c | 493699 | 24794 144063 489842 | 2147483647 384350 49 | 7.264 % |
345.52/345.58 c | 494752 | 24794 144063 489842 | 2147483647 385403 49 | 7.264 % |
347.12/347.15 c | 495910 | 24794 144063 489842 | 2147483647 386561 49 | 7.264 % |
351.52/351.57 c | 497185 | 24794 144063 489842 | 2147483647 387836 50 | 7.264 % |
352.72/352.80 c | 498585 | 24794 144063 489842 | 2147483647 389236 50 | 7.264 % |
353.92/353.95 c | 500126 | 24794 144063 489842 | 2147483647 390777 50 | 7.264 % |
360.02/360.05 c | 501821 | 24794 144063 489842 | 2147483647 392472 51 | 7.264 % |
361.72/361.76 c | 503684 | 24794 144063 489842 | 2147483647 394335 51 | 7.264 % |
363.62/363.67 c | 505734 | 24794 144063 489842 | 2147483647 396385 51 | 7.264 % |
377.93/377.94 c | 507987 | 24794 144063 489842 | 2147483647 398638 53 | 7.264 % |
380.43/380.48 c | 510465 | 24793 144017 489690 | 2147483647 400312 53 | 7.264 % |
383.33/383.36 c | 513192 | 24793 144017 489690 | 2147483647 403039 53 | 7.264 % |
388.84/388.88 c | 516189 | 24793 144017 489690 | 2147483647 406036 53 | 7.264 % |
391.74/391.77 c | 519488 | 24793 144017 489690 | 2147483647 409335 53 | 7.264 % |
407.84/407.90 c | 523113 | 24793 144017 489690 | 2147483647 412960 56 | 7.264 % |
411.54/411.57 c | 527100 | 24793 144017 489690 | 2147483647 416947 55 | 7.264 % |
426.54/426.61 c | 531486 | 24793 144017 489690 | 2147483647 421333 57 | 7.264 % |
447.14/447.17 c | 536309 | 24793 144017 489690 | 2147483647 426156 60 | 7.264 % |
447.34/447.38 c | 536409 | 24793 144017 489690 | 2147483647 426256 60 | 7.264 % |
447.44/447.47 c | 536519 | 24793 144017 489690 | 2147483647 426366 60 | 7.264 % |
447.64/447.63 c | 536641 | 24793 144017 489690 | 2147483647 426488 60 | 7.264 % |
447.74/447.78 c | 536775 | 24793 144017 489690 | 2147483647 426622 60 | 7.264 % |
447.84/447.87 c | 536921 | 24793 144017 489690 | 2147483647 426768 60 | 7.264 % |
448.04/448.03 c | 537082 | 24793 144017 489690 | 2147483647 426929 60 | 7.264 % |
448.14/448.21 c | 537258 | 24793 144017 489690 | 2147483647 427105 60 | 7.264 % |
448.34/448.33 c | 537451 | 24793 144017 489690 | 2147483647 427298 60 | 7.264 % |
448.54/448.60 c | 537664 | 24793 144017 489690 | 2147483647 427511 60 | 7.264 % |
448.84/448.84 c | 537897 | 24793 144017 489690 | 2147483647 427744 59 | 7.264 % |
449.04/449.11 c | 538153 | 24793 144017 489690 | 2147483647 428000 59 | 7.264 % |
449.44/449.42 c | 538434 | 24793 144017 489690 | 2147483647 428281 59 | 7.264 % |
449.74/449.74 c | 538743 | 24793 144017 489690 | 2147483647 428590 59 | 7.264 % |
450.24/450.23 c | 539082 | 24793 144017 489690 | 2147483647 428929 59 | 7.264 % |
450.84/450.91 c | 539456 | 24793 144017 489690 | 2147483647 429303 59 | 7.264 % |
451.34/451.39 c | 539865 | 24793 144017 489690 | 2147483647 429712 59 | 7.264 % |
452.34/452.33 c | 540314 | 24793 144017 489690 | 429847 430161 59 | 7.264 % |
454.04/454.08 c | 540807 | 24793 144017 489690 | 429847 430654 60 | 7.264 % |
454.54/454.57 c | 541349 | 24793 144017 489690 | 429847 431196 60 | 7.264 % |
455.04/455.11 c | 541945 | 24793 144017 489690 | 429847 431792 60 | 7.264 % |
456.24/456.29 c | 542601 | 24793 144017 489690 | 429847 384670 65 | 7.264 % |
456.94/456.98 c | 543321 | 24793 144017 489690 | 429847 385390 65 | 7.264 % |
458.34/458.40 c | 544113 | 24793 144017 489690 | 429847 386182 65 | 7.264 % |
459.64/459.70 c | 544985 | 24793 144017 489690 | 429847 387054 65 | 7.264 % |
460.74/460.73 c | 545943 | 24793 144017 489690 | 429847 388012 65 | 7.264 % |
462.94/463.00 c | 546996 | 24793 144017 489690 | 429847 389065 65 | 7.264 % |
464.43/464.51 c | 548154 | 24793 144017 489690 | 429847 390223 65 | 7.264 % |
468.13/468.13 c | 549428 | 24793 144017 489690 | 429847 391497 66 | 7.264 % |
469.23/469.27 c | 550828 | 24793 144017 489690 | 392069 392897 65 | 7.264 % |
469.93/469.93 c | 552369 | 24793 144017 489690 | 392069 394438 65 | 7.264 % |
472.23/472.25 c | 554064 | 24793 144017 489690 | 392069 356690 66 | 7.264 % |
478.73/478.79 c | 555928 | 24793 144017 489690 | 392069 358554 67 | 7.264 % |
480.83/480.83 c | 557977 | 24793 144017 489690 | 392069 360603 67 | 7.264 % |
483.43/483.50 c | 560230 | 24793 144017 489690 | 2147483647 362856 67 | 7.264 % |
485.23/485.28 c | 562708 | 24793 144017 489690 | 2147483647 365334 67 | 7.264 % |
492.63/492.63 c | 565436 | 24793 144017 489690 | 2147483647 368062 67 | 7.264 % |
507.53/507.52 c | 568433 | 24793 144017 489690 | 2147483647 371059 70 | 7.264 % |
512.04/512.02 c | 571729 | 24793 144017 489690 | 2147483647 374355 70 | 7.264 % |
527.14/527.21 c | 575354 | 24793 144017 489690 | 2147483647 377980 72 | 7.264 % |
531.54/531.61 c | 579342 | 24793 144017 489690 | 2147483647 381968 72 | 7.264 % |
539.44/539.47 c | 583729 | 24793 144017 489690 | 382626 386355 73 | 7.264 % |
561.14/561.16 c | 588552 | 24793 144017 489690 | 382626 349198 73 | 7.264 % |
568.04/568.11 c | 593857 | 24793 144017 489690 | 350647 319072 74 | 7.264 % |
568.24/568.28 c | 593957 | 24793 144017 489690 | 350647 319172 74 | 7.264 % |
568.44/568.42 c | 594069 | 24793 144017 489690 | 350647 319284 74 | 7.264 % |
568.54/568.51 c | 594192 | 24793 144017 489690 | 350647 319407 74 | 7.264 % |
568.64/568.68 c | 594326 | 24793 144017 489690 | 350647 319541 74 | 7.264 % |
568.74/568.81 c | 594472 | 24793 144017 489690 | 350647 319687 74 | 7.264 % |
568.94/568.94 c | 594632 | 24793 144017 489690 | 350647 319847 74 | 7.264 % |
569.14/569.19 c | 594811 | 24793 144017 489690 | 350647 320026 74 | 7.264 % |
569.54/569.54 c | 595004 | 24793 144017 489690 | 350647 320219 73 | 7.264 % |
569.74/569.76 c | 595216 | 24793 144017 489690 | 350647 320431 73 | 7.264 % |
569.94/569.99 c | 595450 | 24793 144017 489690 | 350647 320665 73 | 7.264 % |
570.24/570.31 c | 595706 | 24793 144017 489690 | 350647 320921 73 | 7.264 % |
570.54/570.60 c | 595989 | 24793 144017 489690 | 350647 321204 73 | 7.264 % |
570.94/570.94 c | 596300 | 24793 144017 489690 | 350647 321515 73 | 7.264 % |
571.34/571.39 c | 596639 | 24793 144017 489690 | 350647 321854 73 | 7.264 % |
571.84/571.83 c | 597011 | 24793 144017 489690 | 350647 322226 73 | 7.264 % |
573.44/573.51 c | 597420 | 24793 144017 489690 | 350647 322635 73 | 7.264 % |
573.74/573.78 c | 597870 | 24793 144017 489690 | 350647 323085 73 | 7.264 % |
574.14/574.17 c | 598363 | 24793 144017 489690 | 350647 323578 73 | 7.264 % |
574.74/574.72 c | 598905 | 24793 144017 489690 | 350647 324120 73 | 7.264 % |
576.44/576.47 c | 599502 | 24793 144017 489690 | 350647 324717 74 | 7.264 % |
577.14/577.13 c | 600160 | 24793 144017 489690 | 2147483647 325375 73 | 7.264 % |
577.94/577.97 c | 600880 | 24793 144017 489690 | 2147483647 326095 73 | 7.264 % |
578.74/578.76 c | 601673 | 24793 144017 489690 | 2147483647 326888 73 | 7.264 % |
579.74/579.73 c | 602544 | 24793 144017 489690 | 2147483647 327759 73 | 7.264 % |
580.64/580.71 c | 603502 | 24793 144017 489690 | 2147483647 328717 73 | 7.264 % |
582.34/582.35 c | 604556 | 24793 144017 489690 | 2147483647 329771 73 | 7.264 % |
590.44/590.47 c | 605714 | 24793 144017 489690 | 2147483647 330929 74 | 7.264 % |
591.44/591.48 c | 606988 | 24793 144017 489690 | 2147483647 332203 74 | 7.264 % |
592.84/592.90 c | 608388 | 24793 144017 489690 | 2147483647 333603 74 | 7.264 % |
596.94/596.92 c | 609928 | 24793 144017 489690 | 2147483647 335143 75 | 7.264 % |
599.04/599.02 c | 611622 | 24793 144017 489690 | 2147483647 336837 75 | 7.264 % |
602.74/602.75 c | 613486 | 24793 144017 489690 | 2147483647 338701 75 | 7.264 % |
612.84/612.83 c | 615535 | 24793 144017 489690 | 2147483647 340750 76 | 7.264 % |
622.74/622.78 c | 617789 | 24793 144017 489690 | 2147483647 343004 78 | 7.264 % |
624.54/624.60 c | 620267 | 24793 144017 489690 | 2147483647 345482 78 | 7.264 % |
627.34/627.33 c | 622994 | 24793 144017 489690 | 2147483647 348209 77 | 7.264 % |
639.95/639.93 c | 625991 | 24793 144017 489690 | 2147483647 351206 79 | 7.264 % |
642.15/642.14 c | 629287 | 24793 144017 489690 | 2147483647 354502 79 | 7.264 % |
645.15/645.22 c | 632913 | 24793 144017 489690 | 2147483647 358128 78 | 7.264 % |
649.15/649.17 c | 636901 | 24791 144003 489646 | 2147483647 362018 78 | 7.271 % |
654.95/655.00 c | 641287 | 24791 144003 489646 | 2147483647 366404 79 | 7.271 % |
660.55/660.54 c | 646110 | 24791 144003 489646 | 2147483647 371227 78 | 7.271 % |
686.15/686.18 c | 651417 | 24791 144003 489646 | 2147483647 376534 82 | 7.271 % |
692.05/692.07 c | 657252 | 24791 144003 489646 | 2147483647 382369 81 | 7.271 % |
692.15/692.17 c | 657352 | 24791 144003 489646 | 2147483647 382469 81 | 7.271 % |
692.25/692.29 c | 657463 | 24791 144003 489646 | 2147483647 382580 81 | 7.271 % |
692.45/692.43 c | 657585 | 24791 144003 489646 | 2147483647 382702 81 | 7.271 % |
692.65/692.66 c | 657719 | 24791 144003 489646 | 2147483647 382836 81 | 7.271 % |
692.75/692.79 c | 657866 | 24791 144003 489646 | 2147483647 382983 81 | 7.271 % |
692.95/692.93 c | 658027 | 24791 144003 489646 | 2147483647 383144 81 | 7.271 % |
693.15/693.17 c | 658203 | 24791 144003 489646 | 2147483647 383320 81 | 7.271 % |
693.95/694.00 c | 658396 | 24791 144003 489646 | 2147483647 383513 81 | 7.271 % |
694.25/694.30 c | 658608 | 24791 144003 489646 | 2147483647 383725 81 | 7.271 % |
694.55/694.61 c | 658841 | 24791 144003 489646 | 2147483647 383958 81 | 7.271 % |
694.85/694.88 c | 659097 | 24791 144003 489646 | 2147483647 384214 81 | 7.271 % |
695.25/695.31 c | 659378 | 24791 144003 489646 | 2147483647 384495 81 | 7.271 % |
696.15/696.21 c | 659688 | 24791 144003 489646 | 2147483647 384805 81 | 7.271 % |
696.55/696.61 c | 660027 | 24791 144003 489646 | 2147483647 385144 81 | 7.271 % |
697.05/697.03 c | 660399 | 24790 144003 489646 | 2147483647 385515 81 | 7.275 % |
697.55/697.61 c | 660809 | 24790 144003 489646 | 2147483647 385925 81 | 7.275 % |
698.05/698.10 c | 661259 | 24790 144003 489646 | 2147483647 386375 81 | 7.275 % |
700.45/700.46 c | 661754 | 24790 144003 489646 | 2147483647 386870 81 | 7.275 % |
700.95/700.97 c | 662296 | 24790 144003 489646 | 2147483647 387412 81 | 7.275 % |
701.65/701.66 c | 662892 | 24790 144003 489646 | 2147483647 388008 81 | 7.275 % |
702.35/702.34 c | 663547 | 24790 144003 489646 | 2147483647 388663 81 | 7.275 % |
703.25/703.25 c | 664267 | 24790 144003 489646 | 2147483647 389383 81 | 7.275 % |
704.85/704.84 c | 665059 | 24790 144003 489646 | 2147483647 390175 81 | 7.275 % |
705.95/705.97 c | 665930 | 24790 144003 489646 | 2147483647 391046 81 | 7.275 % |
711.45/711.42 c | 666888 | 24790 144003 489646 | 2147483647 392004 81 | 7.275 % |
712.95/712.93 c | 667941 | 24790 144003 489646 | 2147483647 393057 81 | 7.275 % |
714.35/714.39 c | 669100 | 24790 144003 489646 | 2147483647 394216 81 | 7.275 % |
719.85/719.87 c | 670373 | 24790 144003 489646 | 395117 395489 82 | 7.275 % |
721.15/721.14 c | 671773 | 24790 144003 489646 | 395117 396889 82 | 7.275 % |
722.35/722.32 c | 673314 | 24790 144003 489646 | 395117 398430 82 | 7.275 % |
724.35/724.39 c | 675009 | 24790 144003 489646 | 395117 360282 78 | 7.275 % |
726.75/726.74 c | 676872 | 24790 144003 489646 | 395117 362145 78 | 7.275 % |
735.25/735.22 c | 678922 | 24790 144003 489646 | 395117 364195 79 | 7.275 % |
738.55/738.58 c | 681176 | 24790 143996 489622 | 2147483647 366448 79 | 7.275 % |
748.15/748.20 c | 683654 | 24790 143996 489622 | 2147483647 368926 80 | 7.275 % |
751.05/751.06 c | 686379 | 24790 143996 489622 | 2147483647 371651 80 | 7.275 % |
754.45/754.47 c | 689377 | 24790 143996 489622 | 2147483647 374649 79 | 7.275 % |
758.75/758.76 c | 692673 | 24790 143996 489622 | 2147483647 377945 80 | 7.275 % |
766.86/766.92 c | 696298 | 24790 143996 489622 | 2147483647 381570 80 | 7.275 % |
770.76/770.75 c | 700286 | 24790 143996 489622 | 2147483647 385558 80 | 7.275 % |
793.06/793.04 c | 704671 | 24790 143996 489622 | 2147483647 389943 83 | 7.275 % |
798.56/798.53 c | 709495 | 24790 143996 489622 | 2147483647 394767 82 | 7.275 % |
816.56/816.57 c | 714803 | 24790 143996 489622 | 395272 400075 84 | 7.275 % |
824.45/824.43 c | 720638 | 24790 143996 489622 | 350580 351218 80 | 7.275 % |
847.06/847.04 c | 727057 | 24790 143996 489622 | 350580 357637 84 | 7.275 % |
847.55/847.51 c | 727157 | 24790 143996 489622 | 350580 315657 81 | 7.275 % |
847.75/847.72 c | 727268 | 24790 143996 489622 | 350580 315768 81 | 7.275 % |
847.85/847.83 c | 727389 | 24790 143996 489622 | 350580 315889 81 | 7.275 % |
848.05/848.04 c | 727523 | 24790 143996 489622 | 350580 316023 81 | 7.275 % |
848.25/848.22 c | 727669 | 24790 143996 489622 | 350580 316169 81 | 7.275 % |
848.65/848.62 c | 727830 | 24790 143996 489622 | 350580 316330 81 | 7.275 % |
848.95/848.99 c | 728006 | 24790 143996 489622 | 350580 316506 81 | 7.275 % |
849.15/849.19 c | 728200 | 24790 143996 489622 | 350580 316700 81 | 7.275 % |
849.35/849.34 c | 728412 | 24790 143996 489622 | 350580 316912 81 | 7.275 % |
849.35/849.39 c | 728645 | 24790 143996 489622 | 350580 317145 81 | 7.275 % |
849.55/849.54 c | 728901 | 24790 143996 489622 | 350580 317401 81 | 7.275 % |
849.85/849.83 c | 729182 | 24790 143996 489622 | 350580 317682 81 | 7.275 % |
850.15/850.11 c | 729493 | 24790 143996 489622 | 350580 317993 81 | 7.275 % |
850.45/850.45 c | 729832 | 24790 143996 489622 | 350580 318332 81 | 7.275 % |
850.85/850.83 c | 730204 | 24790 143996 489622 | 318501 318704 81 | 7.275 % |
851.46/851.49 c | 730613 | 24790 143996 489622 | 318501 319113 81 | 7.275 % |
851.95/851.95 c | 731062 | 24790 143996 489622 | 318501 319562 80 | 7.275 % |
853.25/853.26 c | 731556 | 24790 143996 489622 | 318501 320056 81 | 7.275 % |
853.75/853.78 c | 732099 | 24790 143996 489622 | 318501 320599 80 | 7.275 % |
855.05/855.02 c | 732695 | 24787 143979 489565 | 318501 289129 73 | 7.286 % |
855.65/855.70 c | 733350 | 24787 143979 489565 | 318501 289784 73 | 7.286 % |
856.65/856.68 c | 734070 | 24787 143979 489565 | 318501 290504 73 | 7.286 % |
857.35/857.36 c | 734862 | 24787 143979 489565 | 318501 291296 73 | 7.286 % |
860.26/860.24 c | 735733 | 24787 143979 489565 | 318501 292167 73 | 7.286 % |
861.25/861.21 c | 736691 | 24787 143979 489565 | 318501 293125 73 | 7.286 % |
864.85/864.81 c | 737744 | 24787 143979 489565 | 318501 294178 74 | 7.286 % |
869.55/869.51 c | 738902 | 24787 143979 489565 | 318501 295336 74 | 7.286 % |
870.35/870.40 c | 740175 | 24787 143979 489565 | 2147483647 296609 74 | 7.286 % |
872.05/872.07 c | 741575 | 24787 143979 489565 | 2147483647 298009 74 | 7.286 % |
875.45/875.42 c | 743115 | 24787 143979 489565 | 2147483647 299549 75 | 7.286 % |
877.15/877.15 c | 744810 | 24787 143979 489565 | 2147483647 301244 75 | 7.286 % |
880.95/881.00 c | 746674 | 24787 143979 489565 | 2147483647 303108 76 | 7.286 % |
882.85/882.85 c | 748723 | 24787 143979 489565 | 2147483647 305157 75 | 7.286 % |
891.36/891.35 c | 750977 | 24787 143979 489565 | 2147483647 307411 77 | 7.286 % |
893.06/893.11 c | 753456 | 24787 143979 489565 | 2147483647 309890 77 | 7.286 % |
895.26/895.27 c | 756182 | 24787 143979 489565 | 2147483647 312616 77 | 7.286 % |
899.46/899.48 c | 759180 | 24787 143979 489565 | 2147483647 315614 77 | 7.286 % |
903.66/903.67 c | 762478 | 24787 143979 489565 | 2147483647 318912 77 | 7.286 % |
910.66/910.68 c | 766103 | 24787 143979 489565 | 2147483647 322537 77 | 7.286 % |
928.36/928.37 c | 770090 | 24787 143979 489565 | 2147483647 326524 80 | 7.286 % |
937.16/937.17 c | 774476 | 24781 143960 489508 | 2147483647 330906 81 | 7.309 % |
956.96/956.93 c | 779299 | 24780 143960 489508 | 2147483647 335728 84 | 7.313 % |
961.96/962.01 c | 784604 | 24780 143960 489508 | 2147483647 341033 83 | 7.313 % |
985.16/985.13 c | 790440 | 24780 143960 489508 | 2147483647 346869 86 | 7.313 % |
1015.37/1015.36 c | 796858 | 24780 143960 489508 | 2147483647 353287 91 | 7.313 % |
1020.67/1020.66 c | 803918 | 24780 143960 489508 | 2147483647 360347 90 | 7.313 % |
1021.17/1021.16 c | 804018 | 24780 143953 489485 | 2147483647 360446 90 | 7.313 % |
1021.27/1021.28 c | 804128 | 24780 143953 489485 | 2147483647 360556 90 | 7.313 % |
1021.37/1021.37 c | 804249 | 24780 143953 489485 | 2147483647 360677 90 | 7.313 % |
1021.57/1021.55 c | 804382 | 24780 143953 489485 | 2147483647 360810 90 | 7.313 % |
1021.67/1021.66 c | 804529 | 24780 143953 489485 | 2147483647 360957 90 | 7.313 % |
1021.67/1021.70 c | 804690 | 24780 143953 489485 | 2147483647 361118 90 | 7.313 % |
1021.87/1021.83 c | 804866 | 24780 143953 489485 | 2147483647 361294 90 | 7.313 % |
1021.97/1021.96 c | 805059 | 24780 143953 489485 | 2147483647 361487 90 | 7.313 % |
1022.17/1022.20 c | 805272 | 24780 143953 489485 | 2147483647 361700 90 | 7.313 % |
1022.37/1022.39 c | 805505 | 24780 143953 489485 | 2147483647 361933 90 | 7.313 % |
1022.57/1022.56 c | 805761 | 24780 143953 489485 | 2147483647 362189 90 | 7.313 % |
1022.77/1022.80 c | 806042 | 24780 143953 489485 | 2147483647 362470 90 | 7.313 % |
1023.07/1023.06 c | 806353 | 24780 143953 489485 | 2147483647 362781 90 | 7.313 % |
1023.37/1023.37 c | 806692 | 24780 143953 489485 | 2147483647 363120 90 | 7.313 % |
1023.67/1023.69 c | 807064 | 24780 143953 489485 | 2147483647 363492 90 | 7.313 % |
1024.27/1024.24 c | 807473 | 24780 143953 489485 | 2147483647 363901 90 | 7.313 % |
1024.77/1024.74 c | 807922 | 24780 143953 489485 | 2147483647 364350 89 | 7.313 % |
1025.87/1025.88 c | 808415 | 24780 143953 489485 | 2147483647 364843 90 | 7.313 % |
1026.47/1026.50 c | 808958 | 24780 143953 489485 | 2147483647 365386 89 | 7.313 % |
1030.37/1030.39 c | 809555 | 24780 143953 489485 | 2147483647 365983 90 | 7.313 % |
1030.87/1030.91 c | 810210 | 24780 143953 489485 | 2147483647 366638 90 | 7.313 % |
1031.77/1031.79 c | 810932 | 24780 143953 489485 | 2147483647 367360 90 | 7.313 % |
1032.77/1032.72 c | 811725 | 24780 143953 489485 | 2147483647 368153 90 | 7.313 % |
1033.77/1033.72 c | 812596 | 24780 143953 489485 | 2147483647 369024 90 | 7.313 % |
1036.67/1036.70 c | 813554 | 24780 143953 489485 | 2147483647 369982 90 | 7.313 % |
1039.87/1039.87 c | 814607 | 24780 143953 489485 | 2147483647 371035 90 | 7.313 % |
1041.47/1041.51 c | 815766 | 24780 143953 489485 | 2147483647 372194 90 | 7.313 % |
1044.07/1044.02 c | 817039 | 24780 143953 489485 | 2147483647 373467 90 | 7.313 % |
1045.27/1045.30 c | 818439 | 24777 143953 489485 | 2147483647 374866 90 | 7.327 % |
1049.87/1049.82 c | 819979 | 24777 143953 489485 | 2147483647 376406 91 | 7.327 % |
1051.77/1051.80 c | 821673 | 24777 143953 489485 | 376428 378100 90 | 7.327 % |
1059.67/1059.67 c | 823536 | 24776 143953 489485 | 376428 342059 87 | 7.331 % |
1061.87/1061.86 c | 825585 | 24776 143953 489485 | 376428 344108 87 | 7.331 % |
1075.87/1075.90 c | 827839 | 24776 143953 489485 | 376428 346362 89 | 7.331 % |
1078.47/1078.51 c | 830319 | 24776 143953 489485 | 2147483647 348842 88 | 7.331 % |
1088.17/1088.17 c | 833045 | 24776 143953 489485 | 2147483647 351568 89 | 7.331 % |
1091.57/1091.61 c | 836042 | 24776 143953 489485 | 2147483647 354565 89 | 7.331 % |
1105.17/1105.15 c | 839338 | 24776 143953 489485 | 2147483647 357861 91 | 7.331 % |
1108.97/1108.92 c | 842963 | 24776 143953 489485 | 358523 361486 91 | 7.331 % |
1120.07/1120.10 c | 846950 | 24776 143953 489485 | 358523 328621 87 | 7.331 % |
1125.77/1125.76 c | 851335 | 24776 143953 489485 | 2147483647 333006 87 | 7.331 % |
1134.37/1134.32 c | 856158 | 24775 143923 489377 | 2147483647 337802 88 | 7.331 % |
1139.17/1139.21 c | 861463 | 24775 143923 489377 | 2147483647 343107 87 | 7.331 % |
1165.18/1165.21 c | 867298 | 24775 143923 489377 | 2147483647 348942 91 | 7.331 % |
1174.78/1174.81 c | 873717 | 24775 143923 489377 | 2147483647 355361 91 | 7.331 % |
1200.07/1200.03 HOME/SatELiteGTI: line 36: 17720 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820860-1242483668/watcher-1820860-1242483668 -o /tmp/evaluation-result-1820860-1242483668/solver-1820860-1242483668 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820860-1242483668.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.99 1.00 0.99 2/96 17714
/proc/meminfo: memFree=1132880/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2416 CPUtime=0
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 365 649 0 0 0 0 0 0 25 0 1 0 1012865187 2473984 276 4294967295 134512640 135169312 3216166528 3216165064 3085737710 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17714/statm: 604 276 235 161 0 43 0
[pid=17718] ppid=17714 vsize=952 CPUtime=0
/proc/17718/stat : 17718 (SatELite_releas) R 17714 17714 11066 0 -1 4202496 125 0 0 0 0 0 0 0 25 0 1 0 1012865188 974848 61 4294967295 134512640 135223648 3214462160 3214460756 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17718/statm: 238 64 47 174 0 63 0
[startup+0.04917 s]
/proc/loadavg: 0.99 1.00 0.99 2/96 17714
/proc/meminfo: memFree=1132880/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2416 CPUtime=0
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 365 649 0 0 0 0 0 0 25 0 1 0 1012865187 2473984 276 4294967295 134512640 135169312 3216166528 3216165064 3085737710 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17714/statm: 604 276 235 161 0 43 0
[pid=17718] ppid=17714 vsize=6000 CPUtime=0.05
/proc/17718/stat : 17718 (SatELite_releas) R 17714 17714 11066 0 -1 4202496 1367 0 0 0 5 0 0 0 25 0 1 0 1012865188 6144000 1303 4294967295 134512640 135223648 3214462160 3214461112 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17718/statm: 1500 1304 47 174 0 1325 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8416
[startup+0.109147 s]
/proc/loadavg: 0.99 1.00 0.99 2/96 17714
/proc/meminfo: memFree=1132880/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2416 CPUtime=0
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 365 649 0 0 0 0 0 0 25 0 1 0 1012865187 2473984 276 4294967295 134512640 135169312 3216166528 3216165064 3085737710 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17714/statm: 604 276 235 161 0 43 0
[pid=17718] ppid=17714 vsize=15364 CPUtime=0.11
/proc/17718/stat : 17718 (SatELite_releas) R 17714 17714 11066 0 -1 4202496 3107 0 0 0 11 0 0 0 25 0 1 0 1012865188 15732736 3043 4294967295 134512640 135223648 3214462160 3214460728 134718983 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17718/statm: 3841 3043 47 174 0 3666 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 17780
[startup+0.309136 s]
/proc/loadavg: 0.99 1.00 0.99 2/96 17714
/proc/meminfo: memFree=1132880/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2416 CPUtime=0
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 365 649 0 0 0 0 0 0 25 0 1 0 1012865187 2473984 276 4294967295 134512640 135169312 3216166528 3216165064 3085737710 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17714/statm: 604 276 235 161 0 43 0
[pid=17718] ppid=17714 vsize=36612 CPUtime=0.31
/proc/17718/stat : 17718 (SatELite_releas) R 17714 17714 11066 0 -1 4202496 8180 0 0 0 29 2 0 0 25 0 1 0 1012865188 37490688 7460 4294967295 134512640 135223648 3214462160 3214459828 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17718/statm: 9153 7460 73 174 0 8978 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 39028
[startup+0.709114 s]
/proc/loadavg: 0.99 1.00 0.99 2/96 17714
/proc/meminfo: memFree=1132880/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2416 CPUtime=0
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 365 649 0 0 0 0 0 0 25 0 1 0 1012865187 2473984 276 4294967295 134512640 135169312 3216166528 3216165064 3085737710 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17714/statm: 604 276 235 161 0 43 0
[pid=17718] ppid=17714 vsize=44368 CPUtime=0.71
/proc/17718/stat : 17718 (SatELite_releas) R 17714 17714 11066 0 -1 4202496 10017 0 0 0 69 2 0 0 25 0 1 0 1012865188 45432832 9175 4294967295 134512640 135223648 3214462160 3214460512 134601703 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17718/statm: 11092 9175 73 174 0 10917 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 46784
[startup+1.50907 s]
/proc/loadavg: 0.99 1.00 0.99 2/98 17719
/proc/meminfo: memFree=1095640/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2420 CPUtime=1.29
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 385 11432 0 0 0 0 125 4 18 0 1 0 1012865187 2478080 278 4294967295 134512640 135169312 3216166528 3216162744 3085737710 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17714/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 2420
[startup+3.10898 s]
/proc/loadavg: 0.99 1.00 0.99 2/98 17720
/proc/meminfo: memFree=1116472/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2420 CPUtime=1.29
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 385 11432 0 0 0 0 125 4 18 0 1 0 1012865187 2478080 278 4294967295 134512640 135169312 3216166528 3216162744 3085737710 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17714/statm: 605 278 235 161 0 44 0
[pid=17720] ppid=17714 vsize=12032 CPUtime=1.82
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 11066 0 -1 4202496 2870 0 0 0 179 3 0 0 25 0 1 0 1012865316 12320768 2804 4294967295 134512640 135215339 3219491312 3219489600 134529091 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17720/statm: 3008 2804 73 172 0 2835 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 14452
[startup+6.3188 s]
/proc/loadavg: 0.99 1.00 0.99 2/98 17720
/proc/meminfo: memFree=1114364/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2420 CPUtime=1.29
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 385 11432 0 0 0 0 125 4 18 0 1 0 1012865187 2478080 278 4294967295 134512640 135169312 3216166528 3216162744 3085737710 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17714/statm: 605 278 235 161 0 44 0
[pid=17720] ppid=17714 vsize=13796 CPUtime=5.02
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 11066 0 -1 4202496 3325 0 0 0 497 5 0 0 25 0 1 0 1012865316 14127104 3259 4294967295 134512640 135215339 3219491312 3219489584 134525384 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17720/statm: 3449 3259 73 172 0 3276 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 16216
[startup+12.7184 s]
/proc/loadavg: 0.99 1.00 0.99 2/98 17720
/proc/meminfo: memFree=1110600/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2420 CPUtime=1.29
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 385 11432 0 0 0 0 125 4 18 0 1 0 1012865187 2478080 278 4294967295 134512640 135169312 3216166528 3216162744 3085737710 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17714/statm: 605 278 235 161 0 44 0
[pid=17720] ppid=17714 vsize=17164 CPUtime=11.42
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 11066 0 -1 4202496 4140 0 0 0 1137 5 0 0 25 0 1 0 1012865316 17575936 4074 4294967295 134512640 135215339 3219491312 3219489600 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17720/statm: 4291 4074 73 172 0 4118 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 19584
[startup+25.5177 s]
/proc/loadavg: 0.99 1.00 0.99 2/98 17720
/proc/meminfo: memFree=1105612/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2420 CPUtime=1.29
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 385 11432 0 0 0 0 125 4 18 0 1 0 1012865187 2478080 278 4294967295 134512640 135169312 3216166528 3216162744 3085737710 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17714/statm: 605 278 235 161 0 44 0
[pid=17720] ppid=17714 vsize=22128 CPUtime=24.22
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 11066 0 -1 4202496 5380 0 0 0 2417 5 0 0 25 0 1 0 1012865316 22659072 5314 4294967295 134512640 135215339 3219491312 3219489600 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17720/statm: 5532 5314 73 172 0 5359 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 24548
[startup+51.1163 s]
/proc/loadavg: 0.99 1.00 0.99 4/98 17909
/proc/meminfo: memFree=1098612/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2420 CPUtime=1.29
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 385 11432 0 0 0 0 125 4 18 0 1 0 1012865187 2478080 278 4294967295 134512640 135169312 3216166528 3216162744 3085737710 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17714/statm: 605 278 235 161 0 44 0
[pid=17720] ppid=17714 vsize=29264 CPUtime=49.82
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 11066 0 -1 4202496 7154 0 0 0 4976 6 0 0 25 0 1 0 1012865316 29966336 7088 4294967295 134512640 135215339 3219491312 3219489600 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17720/statm: 7316 7088 73 172 0 7143 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 31684
[startup+102.324 s]
/proc/loadavg: 0.99 1.00 0.99 3/98 18094
/proc/meminfo: memFree=1081848/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2420 CPUtime=1.29
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 385 11432 0 0 0 0 125 4 18 0 1 0 1012865187 2478080 278 4294967295 134512640 135169312 3216166528 3216162744 3085737710 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17714/statm: 605 278 235 161 0 44 0
[pid=17720] ppid=17714 vsize=45376 CPUtime=101.03
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 11066 0 -1 4202496 11179 0 0 0 10089 14 0 0 25 0 1 0 1012865316 46465024 11113 4294967295 134512640 135215339 3219491312 3219489600 134528734 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17720/statm: 11344 11113 73 172 0 11171 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 47796
[startup+162.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/98 18281
/proc/meminfo: memFree=1064324/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2420 CPUtime=1.29
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 385 11432 0 0 0 0 125 4 18 0 1 0 1012865187 2478080 278 4294967295 134512640 135169312 3216166528 3216162744 3085737710 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17714/statm: 605 278 235 161 0 44 0
[pid=17720] ppid=17714 vsize=62948 CPUtime=161.02
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 11066 0 -1 4202496 15604 0 0 0 16082 20 0 0 25 0 1 0 1012865316 64458752 15538 4294967295 134512640 135215339 3219491312 3219489600 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17720/statm: 15737 15538 73 172 0 15564 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 65368
[startup+222.307 s]
/proc/loadavg: 0.99 1.00 0.99 3/98 18474
/proc/meminfo: memFree=1047476/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2420 CPUtime=1.29
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 385 11432 0 0 0 0 125 4 18 0 1 0 1012865187 2478080 278 4294967295 134512640 135169312 3216166528 3216162744 3085737710 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17714/statm: 605 278 235 161 0 44 0
[pid=17720] ppid=17714 vsize=80200 CPUtime=221.02
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 11066 0 -1 4202496 19798 0 0 0 22079 23 0 0 25 0 1 0 1012865316 82124800 19732 4294967295 134512640 135215339 3219491312 3219489600 134528884 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17720/statm: 20050 19732 73 172 0 19877 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 82620
[startup+282.314 s]
/proc/loadavg: 0.99 1.00 0.99 3/98 18663
/proc/meminfo: memFree=1032092/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2420 CPUtime=1.29
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 385 11432 0 0 0 0 125 4 18 0 1 0 1012865187 2478080 278 4294967295 134512640 135169312 3216166528 3216162744 3085737710 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17714/statm: 605 278 235 161 0 44 0
[pid=17720] ppid=17714 vsize=95648 CPUtime=281.03
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 11066 0 -1 4202496 23716 0 0 0 28077 26 0 0 25 0 1 0 1012865316 97943552 23650 4294967295 134512640 135215339 3219491312 3219489376 134538977 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17720/statm: 23912 23650 73 172 0 23739 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 98068
[startup+342.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/98 18852
/proc/meminfo: memFree=1021932/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2420 CPUtime=1.29
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 385 11432 0 0 0 0 125 4 18 0 1 0 1012865187 2478080 278 4294967295 134512640 135169312 3216166528 3216162744 3085737710 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17714/statm: 605 278 235 161 0 44 0
[pid=17720] ppid=17714 vsize=105416 CPUtime=341.03
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 11066 0 -1 4202496 26182 0 0 0 34075 28 0 0 25 0 1 0 1012865316 107945984 26116 4294967295 134512640 135215339 3219491312 3219489312 134532906 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17720/statm: 26354 26116 73 172 0 26181 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 107836
[startup+402.327 s]
################
# More data... #
################
[pid=17720] ppid=17714 vsize=129852 CPUtime=461.05
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 11066 0 -1 4202496 32304 0 0 0 46067 38 0 0 25 0 1 0 1012865316 132968448 32238 4294967295 134512640 135215339 3219491312 3219489600 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17720/statm: 32463 32238 73 172 0 32290 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 132272
[startup+522.32 s]
/proc/loadavg: 0.99 1.00 0.99 2/98 19415
/proc/meminfo: memFree=993024/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2420 CPUtime=1.29
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 385 11432 0 0 0 0 125 4 18 0 1 0 1012865187 2478080 278 4294967295 134512640 135169312 3216166528 3216162744 3085737710 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17714/statm: 605 278 235 161 0 44 0
[pid=17720] ppid=17714 vsize=134736 CPUtime=521.05
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 11066 0 -1 4202496 33523 0 0 0 52066 39 0 0 25 0 1 0 1012865316 137969664 33457 4294967295 134512640 135215339 3219491312 3219489408 134527408 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17720/statm: 33684 33457 73 172 0 33511 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 137156
[startup+582.317 s]
/proc/loadavg: 0.99 1.00 0.99 3/98 19608
/proc/meminfo: memFree=987592/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2420 CPUtime=1.29
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 385 11432 0 0 0 0 125 4 18 0 1 0 1012865187 2478080 278 4294967295 134512640 135169312 3216166528 3216162744 3085737710 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17714/statm: 605 278 235 161 0 44 0
[pid=17720] ppid=17714 vsize=139492 CPUtime=581.05
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 11066 0 -1 4202496 34720 0 0 0 58066 39 0 0 25 0 1 0 1012865316 142839808 34654 4294967295 134512640 135215339 3219491312 3219489600 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17720/statm: 34873 34654 73 172 0 34700 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 141912
[startup+642.324 s]
/proc/loadavg: 0.99 1.00 0.99 3/98 19795
/proc/meminfo: memFree=987700/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2420 CPUtime=1.29
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 385 11432 0 0 0 0 125 4 18 0 1 0 1012865187 2478080 278 4294967295 134512640 135169312 3216166528 3216162744 3085737710 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17714/statm: 605 278 235 161 0 44 0
[pid=17720] ppid=17714 vsize=139492 CPUtime=641.06
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 11066 0 -1 4202496 34720 0 0 0 64067 39 0 0 25 0 1 0 1012865316 142839808 34654 4294967295 134512640 135215339 3219491312 3219489376 134539375 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17720/statm: 34873 34654 73 172 0 34700 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 141912
[startup+702.32 s]
/proc/loadavg: 0.99 1.00 0.99 4/98 19982
/proc/meminfo: memFree=974340/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2420 CPUtime=1.29
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 385 11432 0 0 0 0 125 4 18 0 1 0 1012865187 2478080 278 4294967295 134512640 135169312 3216166528 3216162744 3085737710 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17714/statm: 605 278 235 161 0 44 0
[pid=17720] ppid=17714 vsize=152824 CPUtime=701.06
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 11066 0 -1 4202496 38036 0 0 0 70066 40 0 0 25 0 1 0 1012865316 156491776 37970 4294967295 134512640 135215339 3219491312 3219489584 134525654 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17720/statm: 38206 37970 73 172 0 38033 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 155244
[startup+762.327 s]
/proc/loadavg: 0.99 1.00 0.99 2/98 20172
/proc/meminfo: memFree=969704/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2420 CPUtime=1.29
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 385 11432 0 0 0 0 125 4 18 0 1 0 1012865187 2478080 278 4294967295 134512640 135169312 3216166528 3216162744 3085737710 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17714/statm: 605 278 235 161 0 44 0
[pid=17720] ppid=17714 vsize=157180 CPUtime=761.07
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 11066 0 -1 4202496 39127 0 0 0 76065 42 0 0 25 0 1 0 1012865316 160952320 39061 4294967295 134512640 135215339 3219491312 3219489600 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17720/statm: 39295 39061 73 172 0 39122 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 159600
[startup+822.314 s]
/proc/loadavg: 0.99 1.00 0.99 2/98 20361
/proc/meminfo: memFree=964876/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2420 CPUtime=1.29
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 385 11432 0 0 0 0 125 4 18 0 1 0 1012865187 2478080 278 4294967295 134512640 135169312 3216166528 3216162744 3085737710 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17714/statm: 605 278 235 161 0 44 0
[pid=17720] ppid=17714 vsize=162068 CPUtime=821.06
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 11066 0 -1 4202496 40364 0 0 0 82058 48 0 0 25 0 1 0 1012865316 165957632 40298 4294967295 134512640 135215339 3219491312 3219489600 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17720/statm: 40517 40298 73 172 0 40344 0
Current children cumulated CPU time (s) 822.35
Current children cumulated vsize (KiB) 164488
[startup+882.31 s]
/proc/loadavg: 0.99 1.00 0.99 3/98 20550
/proc/meminfo: memFree=964868/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2420 CPUtime=1.29
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 385 11432 0 0 0 0 125 4 18 0 1 0 1012865187 2478080 278 4294967295 134512640 135169312 3216166528 3216162744 3085737710 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17714/statm: 605 278 235 161 0 44 0
[pid=17720] ppid=17714 vsize=162068 CPUtime=881.06
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 11066 0 -1 4202496 40364 0 0 0 88051 55 0 0 25 0 1 0 1012865316 165957632 40298 4294967295 134512640 135215339 3219491312 3219489600 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17720/statm: 40517 40298 73 172 0 40344 0
Current children cumulated CPU time (s) 882.35
Current children cumulated vsize (KiB) 164488
[startup+942.317 s]
/proc/loadavg: 0.99 1.00 0.99 3/98 20737
/proc/meminfo: memFree=964588/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2420 CPUtime=1.29
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 385 11432 0 0 0 0 125 4 18 0 1 0 1012865187 2478080 278 4294967295 134512640 135169312 3216166528 3216162744 3085737710 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17714/statm: 605 278 235 161 0 44 0
[pid=17720] ppid=17714 vsize=162068 CPUtime=941.07
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 11066 0 -1 4202496 40364 0 0 0 94052 55 0 0 25 0 1 0 1012865316 165957632 40298 4294967295 134512640 135215339 3219491312 3219489600 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17720/statm: 40517 40298 73 172 0 40344 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 164488
[startup+1002.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/98 20928
/proc/meminfo: memFree=964984/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2420 CPUtime=1.29
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 385 11432 0 0 0 0 125 4 18 0 1 0 1012865187 2478080 278 4294967295 134512640 135169312 3216166528 3216162744 3085737710 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17714/statm: 605 278 235 161 0 44 0
[pid=17720] ppid=17714 vsize=162068 CPUtime=1001.07
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 11066 0 -1 4202496 40364 0 0 0 100052 55 0 0 25 0 1 0 1012865316 165957632 40298 4294967295 134512640 135215339 3219491312 3219489312 134532626 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17720/statm: 40517 40298 73 172 0 40344 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 164488
[startup+1062.32 s]
/proc/loadavg: 1.07 1.03 1.00 3/98 21115
/proc/meminfo: memFree=962148/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2420 CPUtime=1.29
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 385 11432 0 0 0 0 125 4 18 0 1 0 1012865187 2478080 278 4294967295 134512640 135169312 3216166528 3216162744 3085737710 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17714/statm: 605 278 235 161 0 44 0
[pid=17720] ppid=17714 vsize=164576 CPUtime=1061.08
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 11066 0 -1 4202496 40965 0 0 0 106048 60 0 0 25 0 1 0 1012865316 168525824 40899 4294967295 134512640 135215339 3219491312 3219489312 134532664 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17720/statm: 41144 40899 73 172 0 40971 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 166996
[startup+1122.32 s]
/proc/loadavg: 1.10 1.04 1.00 3/98 21304
/proc/meminfo: memFree=962332/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2420 CPUtime=1.29
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 385 11432 0 0 0 0 125 4 18 0 1 0 1012865187 2478080 278 4294967295 134512640 135169312 3216166528 3216162744 3085737710 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17714/statm: 605 278 235 161 0 44 0
[pid=17720] ppid=17714 vsize=164576 CPUtime=1121.08
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 11066 0 -1 4202496 40965 0 0 0 112048 60 0 0 25 0 1 0 1012865316 168525824 40899 4294967295 134512640 135215339 3219491312 3219489600 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17720/statm: 41144 40899 73 172 0 40971 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 166996
[startup+1182.31 s]
/proc/loadavg: 1.14 1.06 1.01 3/98 21493
/proc/meminfo: memFree=962364/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2420 CPUtime=1.29
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 385 11432 0 0 0 0 125 4 18 0 1 0 1012865187 2478080 278 4294967295 134512640 135169312 3216166528 3216162744 3085737710 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17714/statm: 605 278 235 161 0 44 0
[pid=17720] ppid=17714 vsize=164576 CPUtime=1181.08
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 11066 0 -1 4202496 40965 0 0 0 118048 60 0 0 25 0 1 0 1012865316 168525824 40899 4294967295 134512640 135215339 3219491312 3219489600 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17720/statm: 41144 40899 73 172 0 40971 0
Current children cumulated CPU time (s) 1182.37
Current children cumulated vsize (KiB) 166996
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.10 1.05 1.01 3/98 21493
/proc/meminfo: memFree=962524/2074464 swapFree=1950760/1959888
[pid=17714] ppid=17712 vsize=2420 CPUtime=1.29
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 11066 0 -1 4194304 385 11432 0 0 0 0 125 4 18 0 1 0 1012865187 2478080 278 4294967295 134512640 135169312 3216166528 3216162744 3085737710 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17714/statm: 605 278 235 161 0 44 0
[pid=17720] ppid=17714 vsize=164576 CPUtime=1198.78
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 11066 0 -1 4202496 40965 0 0 0 119818 60 0 0 25 0 1 0 1012865316 168525824 40899 4294967295 134512640 135215339 3219491312 3219489600 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17720/statm: 41144 40899 73 172 0 40971 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 166996
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.04
CPU time (s): 1200.09
CPU user time (s): 1199.43
CPU system time (s): 0.66
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 166996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.43
system time used= 0.66
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53058
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= 23
involuntary context switches= 1222
runsolver used 0.02 second user time and 0.02 second system time
The end
Begin job on tipi23 at 2009-05-16 16:21:08
IDJOB=1820860
IDBENCH=69651
IDSOLVER=657
FILE ID=tipi23/1820860-1242483668
PBS_JOBID=
Free space on /tmp= 8959 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE08/cnf/mizh-md5-48-5.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820860-1242483668/watcher-1820860-1242483668 -o /tmp/evaluation-result-1820860-1242483668/solver-1820860-1242483668 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820860-1242483668.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8ab50418497c0326ed1ff5d73a4e24a3
RANDOM SEED= 677114742
Linux tipi23 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.38
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1133144 kB
Buffers: 30260 kB
Cached: 816020 kB
SwapCached: 3660 kB
Active: 448060 kB
Inactive: 410004 kB
HighTotal: 1178688 kB
HighFree: 485856 kB
LowTotal: 895776 kB
LowFree: 647288 kB
SwapTotal: 1959888 kB
SwapFree: 1950760 kB
Dirty: 7096 kB
Writeback: 24 kB
AnonPages: 11012 kB
Mapped: 4388 kB
Slab: 74856 kB
PageTables: 668 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 96896 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 8959 MiB
End job on tipi23 at 2009-05-16 16:41:09