0.00/0.00 c Parsing...
0.19/0.23 c ==============================================================================
0.19/0.23 c | | ORIGINAL | LEARNT | |
0.19/0.23 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.19/0.23 c ==============================================================================
0.19/0.23 c | 0 | 240181 693662 | 72054 0 0 nan | 0.000 % |
1.18/1.23 c | 0 | 157595 533830 | -- 0 -- -- | -- | -81353/-155494
1.18/1.23 c ==============================================================================
1.18/1.23 c Result : #vars: 26735 #clauses: 157595 #literals: 533830
1.18/1.23 c CPU time: 1.14783 s
1.18/1.23 c ==============================================================================
1.39/1.41 c This is MiniSat 2.0 beta
1.39/1.41 c WARNING: for repeatability, setting FPU to use double precision
1.39/1.42 c ============================[ Problem Statistics ]=============================
1.39/1.42 c | |
1.39/1.42 c | Number of variables: 26735 |
1.39/1.42 c | Number of clauses: 157595 |
1.41/1.52 c | Parsing time: 0.09 s |
1.41/1.52 c ============================[ Search Statistics ]==============================
1.41/1.52 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.41/1.52 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.41/1.52 c ===============================================================================
1.41/1.52 c | 0 | 26735 157595 533830 | 52531 0 nan | 0.000 % |
1.41/1.52 c | 100 | 26735 157595 533830 | 52531 100 5 | 0.000 % |
1.41/1.53 c | 200 | 26735 157595 533830 | 52531 200 5 | 0.000 % |
1.41/1.54 c | 301 | 26735 157595 533830 | 52531 301 5 | 0.000 % |
1.41/1.57 c | 411 | 26735 157595 533830 | 52531 411 5 | 0.000 % |
1.41/1.59 c | 512 | 26735 157595 533830 | 52531 512 5 | 0.000 % |
1.41/1.61 c | 622 | 26735 157595 533830 | 52531 622 5 | 0.000 % |
1.41/1.63 c | 743 | 26735 157595 533830 | 52531 743 5 | 0.000 % |
1.41/1.64 c | 844 | 26735 157595 533830 | 52531 844 5 | 0.000 % |
1.41/1.66 c | 955 | 26735 157595 533830 | 52531 955 5 | 0.000 % |
1.41/1.67 c | 1077 | 26735 157595 533830 | 52531 1077 5 | 0.000 % |
1.41/1.73 c | 1210 | 26735 157595 533830 | 52531 1210 5 | 0.000 % |
1.41/1.77 c | 1312 | 26735 157595 533830 | 52531 1312 5 | 0.000 % |
1.41/1.81 c | 1423 | 26735 157595 533830 | 52531 1423 5 | 0.000 % |
1.41/1.81 c | 1544 | 26735 157595 533830 | 52531 1544 5 | 0.000 % |
1.41/1.84 c | 1677 | 26735 157595 533830 | 52531 1677 5 | 0.000 % |
1.41/1.94 c | 1823 | 26735 157595 533830 | 52531 1823 5 | 0.000 % |
1.41/1.95 c | 1923 | 26735 157595 533830 | 52531 1923 5 | 0.000 % |
1.41/1.97 c | 2034 | 26735 157595 533830 | 52531 2034 5 | 0.000 % |
1.41/1.99 c | 2155 | 26735 157595 533830 | 52531 2155 5 | 0.000 % |
1.41/2.01 c | 2289 | 26735 157595 533830 | 52531 2289 5 | 0.000 % |
1.41/2.02 c | 2435 | 26735 157595 533830 | 52531 2435 5 | 0.000 % |
1.41/2.04 c | 2595 | 26735 157595 533830 | 52531 2595 5 | 0.000 % |
1.41/2.08 c | 2695 | 26735 157595 533830 | 52531 2695 5 | 0.000 % |
1.41/2.12 c | 2808 | 26735 157595 533830 | 52531 2808 6 | 0.000 % |
1.41/2.18 c | 2929 | 26735 157595 533830 | 52531 2929 6 | 0.000 % |
1.41/2.19 c | 3063 | 26735 157595 533830 | 52531 3063 6 | 0.000 % |
2.18/2.21 c | 3209 | 26735 157595 533830 | 52531 3209 6 | 0.000 % |
2.18/2.25 c | 3369 | 26735 157595 533830 | 52531 3369 5 | 0.000 % |
2.18/2.27 c | 3545 | 26735 157595 533830 | 52531 3545 6 | 0.000 % |
2.28/2.30 c | 3645 | 26735 157595 533830 | 52531 3645 6 | 0.000 % |
2.28/2.37 c | 3755 | 26735 157595 533830 | 52531 3755 6 | 0.000 % |
2.28/2.39 c | 3876 | 26735 157595 533830 | 52531 3876 6 | 0.000 % |
2.38/2.42 c | 4011 | 26735 157595 533830 | 52531 4011 6 | 0.000 % |
2.38/2.47 c | 4159 | 26735 157595 533830 | 52531 4159 6 | 0.000 % |
2.47/2.50 c | 4320 | 26735 157595 533830 | 52531 4320 6 | 0.000 % |
2.47/2.52 c | 4496 | 26735 157595 533830 | 52531 4496 6 | 0.000 % |
2.47/2.57 c | 4690 | 26735 157595 533830 | 52531 4690 6 | 0.000 % |
2.47/2.57 c | 4790 | 26735 157595 533830 | 52531 4790 6 | 0.000 % |
2.47/2.59 c | 4900 | 26735 157595 533830 | 52531 4900 6 | 0.000 % |
2.57/2.61 c | 5021 | 26734 157587 533808 | 52531 5020 6 | 0.004 % |
2.57/2.64 c | 5154 | 26734 157587 533808 | 52531 5153 6 | 0.004 % |
2.57/2.66 c | 5302 | 26733 157587 533808 | 52531 5300 6 | 0.007 % |
2.57/2.67 c | 5462 | 26733 157587 533808 | 52531 5460 6 | 0.007 % |
2.57/2.69 c | 5638 | 26732 157587 533808 | 52531 5635 6 | 0.011 % |
2.67/2.70 c | 5831 | 26730 157587 533808 | 52531 5826 6 | 0.019 % |
2.67/2.72 c | 6043 | 26730 157587 533808 | 52531 6038 6 | 0.019 % |
2.67/2.74 c | 6144 | 26729 157587 533808 | 52531 6138 6 | 0.022 % |
2.67/2.74 c | 6254 | 26729 157587 533808 | 52531 6248 6 | 0.022 % |
2.67/2.75 c | 6376 | 26729 157587 533808 | 52531 6370 6 | 0.022 % |
2.67/2.76 c | 6510 | 26729 157587 533808 | 52531 6504 6 | 0.022 % |
2.67/2.76 c | 6657 | 26729 157587 533808 | 52531 6651 6 | 0.022 % |
2.67/2.77 c | 6819 | 26729 157587 533808 | 52531 6813 6 | 0.022 % |
2.67/2.77 c | 6995 | 26729 157587 533808 | 52531 6989 6 | 0.022 % |
2.67/2.78 c | 7188 | 26729 157587 533808 | 52531 7182 6 | 0.022 % |
2.77/2.80 c | 7401 | 26729 157587 533808 | 52531 7395 6 | 0.022 % |
2.77/2.88 c | 7636 | 26729 157587 533808 | 52531 7630 6 | 0.022 % |
2.77/2.88 c | 7736 | 26729 157587 533808 | 52531 7730 6 | 0.022 % |
2.77/2.88 c | 7847 | 26729 157587 533808 | 52531 7841 6 | 0.022 % |
2.77/2.89 c | 7969 | 26729 157587 533808 | 52531 7963 6 | 0.022 % |
2.77/2.89 c | 8104 | 26729 157587 533808 | 52531 8098 7 | 0.022 % |
2.77/2.90 c | 8250 | 26729 157587 533808 | 52531 8244 7 | 0.022 % |
2.87/2.90 c | 8410 | 26729 157587 533808 | 52531 8404 7 | 0.022 % |
2.87/2.90 c | 8587 | 26729 157587 533808 | 52531 8581 7 | 0.022 % |
2.87/2.92 c | 8782 | 26729 157587 533808 | 52531 8776 7 | 0.022 % |
2.87/2.96 c | 8995 | 26729 157587 533808 | 52531 8989 7 | 0.022 % |
2.87/2.97 c | 9229 | 26729 157587 533808 | 52531 9223 7 | 0.022 % |
2.87/2.98 c | 9485 | 26729 157587 533808 | 52531 9479 7 | 0.022 % |
2.87/2.99 c | 9585 | 26729 157587 533808 | 52531 9579 7 | 0.022 % |
2.97/3.01 c | 9695 | 26729 157550 533701 | 52531 9686 7 | 0.022 % |
2.97/3.01 c | 9816 | 26729 157550 533701 | 52531 9807 7 | 0.022 % |
2.97/3.01 c | 9950 | 26729 157550 533701 | 52531 9941 7 | 0.022 % |
2.97/3.02 c | 10096 | 26729 157550 533701 | 2147483647 10087 7 | 0.022 % |
2.97/3.03 c | 10256 | 26729 157550 533701 | 2147483647 10247 7 | 0.022 % |
2.97/3.07 c | 10433 | 26729 157550 533701 | 2147483647 10424 7 | 0.022 % |
2.97/3.08 c | 10627 | 26729 157550 533701 | 2147483647 10618 7 | 0.022 % |
2.97/3.09 c | 10839 | 26729 157550 533701 | 2147483647 10830 7 | 0.022 % |
3.07/3.10 c | 11072 | 26729 157550 533701 | 2147483647 11063 7 | 0.022 % |
3.07/3.12 c | 11329 | 26729 157550 533701 | 2147483647 11320 7 | 0.022 % |
3.07/3.15 c | 11610 | 26729 157550 533701 | 2147483647 11601 7 | 0.022 % |
3.07/3.16 c | 11710 | 26729 157550 533701 | 2147483647 11701 7 | 0.022 % |
3.07/3.17 c | 11821 | 26729 157550 533701 | 2147483647 11812 7 | 0.022 % |
3.07/3.18 c | 11943 | 26729 157550 533701 | 2147483647 11934 7 | 0.022 % |
3.07/3.19 c | 12077 | 26729 157550 533701 | 2147483647 12068 7 | 0.022 % |
3.07/3.19 c | 12224 | 26729 157550 533701 | 2147483647 12215 7 | 0.022 % |
3.17/3.20 c | 12384 | 26726 157550 533701 | 2147483647 12374 7 | 0.049 % |
3.17/3.21 c | 12560 | 26726 157550 533701 | 2147483647 12550 7 | 0.049 % |
3.17/3.22 c | 12753 | 26726 157550 533701 | 2147483647 12743 7 | 0.049 % |
3.17/3.23 c | 12965 | 26726 157550 533701 | 2147483647 12955 7 | 0.049 % |
3.17/3.23 c | 13199 | 26726 157550 533701 | 2147483647 13189 7 | 0.049 % |
3.17/3.24 c | 13455 | 26726 157550 533701 | 2147483647 13445 7 | 0.049 % |
3.17/3.26 c | 13737 | 26726 157550 533701 | 2147483647 13727 8 | 0.049 % |
3.17/3.27 c | 14047 | 26726 157550 533701 | 2147483647 14037 8 | 0.049 % |
3.17/3.28 c | 14148 | 26726 157550 533701 | 2147483647 14138 8 | 0.049 % |
3.17/3.28 c | 14258 | 26726 157550 533701 | 2147483647 14248 8 | 0.049 % |
3.17/3.29 c | 14379 | 26726 157550 533701 | 2147483647 14369 8 | 0.049 % |
3.17/3.29 c | 14512 | 26726 157550 533701 | 2147483647 14502 8 | 0.049 % |
3.17/3.30 c | 14658 | 26726 157550 533701 | 2147483647 14648 8 | 0.049 % |
3.27/3.31 c | 14818 | 26726 157550 533701 | 2147483647 14808 8 | 0.049 % |
3.27/3.32 c | 14994 | 26726 157550 533701 | 2147483647 14984 8 | 0.049 % |
3.27/3.32 c | 15187 | 26726 157550 533701 | 2147483647 15177 8 | 0.049 % |
3.27/3.34 c | 15400 | 26726 157550 533701 | 2147483647 15390 8 | 0.049 % |
3.27/3.35 c | 15634 | 26726 157550 533701 | 2147483647 15624 8 | 0.049 % |
3.27/3.36 c | 15890 | 26726 157550 533701 | 2147483647 15880 8 | 0.049 % |
3.27/3.39 c | 16171 | 26726 157550 533701 | 2147483647 16161 8 | 0.049 % |
3.37/3.50 c | 16480 | 26722 157550 533701 | 2147483647 16470 8 | 0.049 % |
3.47/3.56 c | 16819 | 26722 157501 533554 | 2147483647 16794 8 | 0.049 % |
3.47/3.56 c | 16919 | 26722 157501 533554 | 2147483647 16894 8 | 0.049 % |
3.47/3.57 c | 17029 | 26722 157501 533554 | 2147483647 17004 8 | 0.049 % |
3.47/3.59 c | 17150 | 26722 157501 533554 | 2147483647 17125 8 | 0.049 % |
3.57/3.61 c | 17284 | 26722 157501 533554 | 2147483647 17259 8 | 0.049 % |
3.57/3.63 c | 17431 | 26717 157501 533554 | 2147483647 17404 8 | 0.075 % |
3.57/3.66 c | 17591 | 26717 157501 533554 | 2147483647 17564 8 | 0.075 % |
3.57/3.67 c | 17767 | 26717 157501 533554 | 2147483647 17740 8 | 0.075 % |
3.57/3.69 c | 17960 | 26717 157501 533554 | 2147483647 17933 8 | 0.075 % |
3.67/3.71 c | 18173 | 26717 157501 533554 | 2147483647 18146 8 | 0.075 % |
3.67/3.73 c | 18408 | 26713 157501 533554 | 2147483647 18377 8 | 0.090 % |
3.67/3.75 c | 18664 | 26713 157501 533554 | 2147483647 18633 8 | 0.090 % |
3.67/3.77 c | 18946 | 26713 157501 533554 | 2147483647 18915 8 | 0.090 % |
3.77/3.80 c | 19255 | 26713 157501 533554 | 2147483647 19224 8 | 0.090 % |
3.87/3.90 c | 19595 | 26708 157501 533554 | 2147483647 19561 8 | 0.112 % |
3.87/3.92 c | 19967 | 26704 157501 533554 | 2147483647 19932 8 | 0.157 % |
3.87/3.93 c | 20067 | 26704 157501 533554 | 2147483647 20032 8 | 0.157 % |
3.87/3.94 c | 20177 | 26704 157501 533554 | 2147483647 20142 8 | 0.157 % |
3.87/3.96 c | 20299 | 26701 157501 533554 | 2147483647 20264 8 | 0.157 % |
3.87/3.97 c | 20432 | 26701 157501 533554 | 2147483647 20397 8 | 0.157 % |
3.87/3.98 c | 20579 | 26701 157501 533554 | 2147483647 20544 8 | 0.157 % |
3.87/3.99 c | 20741 | 26701 157501 533554 | 2147483647 20706 8 | 0.157 % |
3.87/3.99 c | 20918 | 26701 157501 533554 | 2147483647 20883 8 | 0.157 % |
3.97/4.00 c | 21111 | 26701 157501 533554 | 2147483647 21076 8 | 0.157 % |
3.97/4.02 c | 21325 | 26701 157501 533554 | 2147483647 21290 8 | 0.157 % |
3.97/4.06 c | 21558 | 26698 157501 533554 | 2147483647 21523 8 | 0.157 % |
4.07/4.11 c | 21814 | 26687 157270 532846 | 2147483647 20589 8 | 0.187 % |
4.07/4.16 c | 22095 | 26687 157270 532846 | 2147483647 20870 8 | 0.187 % |
4.07/4.17 c | 22405 | 26684 157270 532846 | 2147483647 21178 8 | 0.198 % |
4.17/4.21 c | 22744 | 26680 157270 532846 | 2147483647 21515 8 | 0.213 % |
4.17/4.24 c | 23117 | 26680 157270 532846 | 2147483647 21888 8 | 0.213 % |
4.17/4.26 c | 23527 | 26678 157270 532846 | 2147483647 22297 8 | 0.221 % |
4.17/4.28 c | 23627 | 26678 157270 532846 | 2147483647 22397 8 | 0.221 % |
4.26/4.31 c | 23737 | 26678 157270 532846 | 2147483647 22507 8 | 0.221 % |
4.26/4.33 c | 23858 | 26678 157270 532846 | 2147483647 22628 8 | 0.221 % |
4.26/4.34 c | 23991 | 26678 157270 532846 | 2147483647 22761 8 | 0.221 % |
4.26/4.36 c | 24139 | 26678 157270 532846 | 2147483647 22909 8 | 0.221 % |
4.26/4.39 c | 24299 | 26678 157270 532846 | 2147483647 23069 8 | 0.221 % |
4.37/4.43 c | 24476 | 26678 157270 532846 | 2147483647 23246 8 | 0.221 % |
4.37/4.44 c | 24669 | 26677 157270 532846 | 2147483647 23438 8 | 0.239 % |
4.37/4.48 c | 24883 | 26657 157270 532846 | 2147483647 23651 8 | 0.318 % |
4.47/4.54 c | 25116 | 26657 157270 532846 | 2147483647 23884 8 | 0.318 % |
4.47/4.55 c | 25373 | 26657 157270 532846 | 2147483647 24141 9 | 0.318 % |
4.47/4.56 c | 25654 | 26657 157270 532846 | 2147483647 24422 8 | 0.318 % |
4.47/4.59 c | 25963 | 26657 157270 532846 | 2147483647 24731 9 | 0.318 % |
4.56/4.63 c | 26302 | 26657 157270 532846 | 2147483647 25070 9 | 0.318 % |
4.56/4.66 c | 26674 | 26657 157270 532846 | 2147483647 25442 9 | 0.318 % |
4.56/4.69 c | 27083 | 26657 157270 532846 | 2147483647 25851 9 | 0.318 % |
4.66/4.78 c | 27532 | 26650 156928 531758 | 2147483647 23933 8 | 0.318 % |
4.66/4.79 c | 27632 | 26650 156928 531758 | 2147483647 24033 8 | 0.318 % |
4.66/4.80 c | 27742 | 26650 156928 531758 | 2147483647 24143 8 | 0.318 % |
4.76/4.81 c | 27863 | 26650 156928 531758 | 2147483647 24264 8 | 0.318 % |
4.76/4.82 c | 27997 | 26650 156928 531758 | 2147483647 24398 8 | 0.318 % |
4.76/4.83 c | 28143 | 26650 156928 531758 | 2147483647 24544 8 | 0.318 % |
4.76/4.84 c | 28303 | 26650 156928 531758 | 2147483647 24704 8 | 0.318 % |
4.76/4.85 c | 28479 | 26650 156928 531758 | 2147483647 24880 8 | 0.318 % |
4.76/4.89 c | 28673 | 26650 156928 531758 | 2147483647 25074 8 | 0.318 % |
4.86/4.92 c | 28885 | 26650 156928 531758 | 2147483647 25286 8 | 0.318 % |
4.86/4.93 c | 29118 | 26650 156928 531758 | 2147483647 25519 8 | 0.318 % |
4.86/4.95 c | 29374 | 26642 156928 531758 | 2147483647 25774 8 | 0.348 % |
4.86/4.99 c | 29655 | 26642 156928 531758 | 2147483647 26055 8 | 0.348 % |
4.96/5.01 c | 29964 | 26640 156928 531758 | 2147483647 26363 8 | 0.355 % |
4.96/5.06 c | 30303 | 26632 156928 531758 | 2147483647 26701 8 | 0.400 % |
4.96/5.06 c | 30675 | 26632 156928 531758 | 2147483647 27073 8 | 0.400 % |
5.06/5.10 c | 31084 | 26632 156928 531758 | 2147483647 27482 8 | 0.400 % |
5.06/5.12 c | 31535 | 26632 156928 531758 | 2147483647 27933 8 | 0.400 % |
5.06/5.18 c | 32028 | 26632 156928 531758 | 2147483647 28426 8 | 0.400 % |
5.06/5.20 c | 32128 | 26628 156928 531758 | 2147483647 28525 8 | 0.441 % |
5.16/5.25 c | 32238 | 26628 156928 531758 | 2147483647 28635 8 | 0.441 % |
5.16/5.27 c | 32361 | 26628 156928 531758 | 2147483647 28758 8 | 0.441 % |
5.16/5.27 c | 32496 | 26628 156928 531758 | 2147483647 28893 8 | 0.441 % |
5.16/5.28 c | 32643 | 26628 156928 531758 | 2147483647 29040 8 | 0.441 % |
5.16/5.30 c | 32803 | 26628 156928 531758 | 2147483647 29200 8 | 0.441 % |
5.26/5.33 c | 32980 | 26619 156928 531758 | 2147483647 29376 8 | 0.501 % |
5.26/5.35 c | 33174 | 26619 156928 531758 | 2147483647 29570 9 | 0.501 % |
5.26/5.37 c | 33388 | 26619 156928 531758 | 2147483647 29784 9 | 0.501 % |
5.36/5.45 c | 33623 | 26600 156559 530577 | 2147483647 27975 8 | 0.625 % |
5.36/5.49 c | 33879 | 26598 156559 530577 | 2147483647 28231 8 | 0.625 % |
5.46/5.55 c | 34160 | 26590 156559 530577 | 2147483647 28512 8 | 0.625 % |
5.46/5.56 c | 34469 | 26590 156559 530577 | 2147483647 28821 8 | 0.625 % |
5.46/5.58 c | 34808 | 26590 156559 530577 | 2147483647 29160 9 | 0.625 % |
5.56/5.64 c | 35182 | 26590 156559 530577 | 2147483647 29534 9 | 0.625 % |
5.66/5.74 c | 35591 | 26590 156559 530577 | 2147483647 29943 9 | 0.625 % |
5.66/5.78 c | 36040 | 26589 156559 530577 | 2147483647 30391 9 | 0.632 % |
5.76/5.84 c | 36534 | 26588 156559 530577 | 2147483647 30885 9 | 0.632 % |
5.86/5.94 c | 37077 | 26588 156559 530577 | 2147483647 31428 9 | 0.632 % |
5.86/5.96 c | 37178 | 26588 156559 530577 | 2147483647 31529 9 | 0.632 % |
5.86/5.98 c | 37288 | 26588 156559 530577 | 2147483647 31639 9 | 0.632 % |
5.96/6.04 c | 37409 | 26588 156559 530577 | 2147483647 31760 9 | 0.632 % |
5.96/6.07 c | 37543 | 26588 156559 530577 | 2147483647 31894 9 | 0.632 % |
5.96/6.09 c | 37689 | 26588 156559 530577 | 2147483647 32040 9 | 0.632 % |
6.06/6.11 c | 37849 | 26566 156365 530025 | 2147483647 32079 9 | 0.632 % |
6.06/6.13 c | 38025 | 26566 156365 530025 | 2147483647 32255 9 | 0.632 % |
6.06/6.17 c | 38218 | 26566 156365 530025 | 2147483647 32448 9 | 0.632 % |
6.16/6.21 c | 38430 | 26566 156365 530025 | 2147483647 32660 9 | 0.632 % |
6.16/6.27 c | 38664 | 26566 156365 530025 | 2147483647 32894 9 | 0.632 % |
6.26/6.32 c | 38920 | 26566 156365 530025 | 2147483647 33150 9 | 0.632 % |
6.26/6.34 c | 39202 | 26566 156365 530025 | 2147483647 33432 9 | 0.632 % |
6.26/6.38 c | 39511 | 26565 156365 530025 | 2147483647 33740 9 | 0.636 % |
6.36/6.41 c | 39850 | 26565 156365 530025 | 2147483647 34079 9 | 0.636 % |
6.36/6.47 c | 40222 | 26565 156365 530025 | 2147483647 34451 9 | 0.636 % |
6.46/6.51 c | 40632 | 26565 156365 530025 | 2147483647 34861 9 | 0.636 % |
6.46/6.57 c | 41081 | 26565 156365 530025 | 2147483647 35310 9 | 0.636 % |
6.46/6.60 c | 41574 | 26565 156365 530025 | 2147483647 35803 9 | 0.636 % |
6.66/6.70 c | 42116 | 26565 156365 530025 | 2147483647 36345 9 | 0.636 % |
6.76/6.83 c | 42714 | 26560 156365 530025 | 2147483647 36941 9 | 0.677 % |
6.76/6.87 c | 42814 | 26560 156365 530025 | 2147483647 37041 9 | 0.677 % |
6.86/6.90 c | 42925 | 26554 156286 529768 | 2147483647 37022 9 | 0.677 % |
6.86/6.91 c | 43046 | 26554 156286 529768 | 2147483647 37143 9 | 0.677 % |
6.86/6.94 c | 43180 | 26554 156286 529768 | 2147483647 37277 9 | 0.677 % |
6.86/6.96 c | 43327 | 26554 156286 529768 | 2147483647 37424 9 | 0.677 % |
6.96/7.02 c | 43488 | 26554 156286 529768 | 2147483647 37585 9 | 0.677 % |
6.96/7.07 c | 43664 | 26552 156286 529768 | 2147483647 37760 9 | 0.696 % |
7.06/7.16 c | 43858 | 26552 156286 529768 | 2147483647 37954 9 | 0.696 % |
7.06/7.18 c | 44070 | 26552 156286 529768 | 2147483647 38166 9 | 0.696 % |
7.16/7.23 c | 44304 | 26552 156286 529768 | 2147483647 38400 9 | 0.696 % |
7.16/7.25 c | 44560 | 26552 156286 529768 | 2147483647 38656 9 | 0.696 % |
7.16/7.28 c | 44841 | 26552 156286 529768 | 2147483647 38937 9 | 0.696 % |
7.26/7.32 c | 45150 | 26552 156286 529768 | 2147483647 39246 9 | 0.696 % |
7.26/7.35 c | 45489 | 26552 156286 529768 | 2147483647 39585 9 | 0.696 % |
7.36/7.48 c | 45861 | 26549 156286 529768 | 2147483647 39957 9 | 0.696 % |
7.46/7.57 c | 46271 | 26549 156286 529768 | 2147483647 40367 9 | 0.696 % |
7.56/7.61 c | 46722 | 26549 156286 529768 | 2147483647 40818 9 | 0.696 % |
7.66/7.74 c | 47216 | 26549 156286 529768 | 2147483647 41312 9 | 0.696 % |
7.66/7.80 c | 47759 | 26549 156251 529663 | 2147483647 41843 9 | 0.696 % |
7.76/7.84 c | 48356 | 26549 156251 529663 | 2147483647 42440 9 | 0.696 % |
7.96/8.01 c | 49011 | 26549 156251 529663 | 2147483647 43095 9 | 0.696 % |
7.96/8.04 c | 49112 | 26549 156251 529663 | 2147483647 43196 9 | 0.696 % |
7.96/8.07 c | 49222 | 26549 156251 529663 | 2147483647 43306 9 | 0.696 % |
8.06/8.10 c | 49344 | 26549 156251 529663 | 2147483647 43428 9 | 0.696 % |
8.06/8.11 c | 49477 | 26549 156251 529663 | 2147483647 43561 9 | 0.696 % |
8.06/8.16 c | 49623 | 26549 156251 529663 | 2147483647 43707 9 | 0.696 % |
8.06/8.17 c | 49783 | 26549 156251 529663 | 2147483647 43867 9 | 0.696 % |
8.16/8.20 c | 49960 | 26549 156251 529663 | 2147483647 44044 9 | 0.696 % |
8.16/8.25 c | 50154 | 26549 156251 529663 | 2147483647 44238 9 | 0.696 % |
8.16/8.28 c | 50367 | 26549 156251 529663 | 2147483647 44451 9 | 0.696 % |
8.26/8.31 c | 50600 | 26549 156251 529663 | 2147483647 44684 9 | 0.696 % |
8.26/8.32 c | 50857 | 26549 156251 529663 | 2147483647 44941 9 | 0.696 % |
8.26/8.33 c | 51139 | 26549 156251 529663 | 2147483647 45223 9 | 0.696 % |
8.26/8.37 c | 51450 | 26549 156251 529663 | 2147483647 45534 9 | 0.696 % |
8.36/8.44 c | 51789 | 26549 156251 529663 | 2147483647 45873 9 | 0.696 % |
8.36/8.46 c | 52161 | 26549 156251 529663 | 2147483647 46245 9 | 0.696 % |
8.36/8.48 c | 52571 | 26549 156251 529663 | 2147483647 46655 9 | 0.696 % |
8.56/8.65 c | 53020 | 26538 156181 529434 | 2147483647 47099 9 | 0.737 % |
8.65/8.70 c | 53515 | 26538 156181 529434 | 2147483647 47594 9 | 0.737 % |
8.65/8.79 c | 54057 | 26537 156181 529434 | 2147483647 48135 9 | 0.741 % |
8.76/8.89 c | 54653 | 26537 156181 529434 | 2147483647 48731 9 | 0.741 % |
8.86/8.98 c | 55310 | 26537 156181 529434 | 2147483647 49388 9 | 0.741 % |
8.95/9.07 c | 56032 | 26537 156181 529434 | 2147483647 50110 9 | 0.741 % |
8.95/9.08 c | 56132 | 26537 156181 529434 | 2147483647 50210 9 | 0.741 % |
9.05/9.11 c | 56243 | 26537 156181 529434 | 2147483647 50321 9 | 0.741 % |
9.05/9.13 c | 56364 | 26537 156181 529434 | 2147483647 50442 9 | 0.741 % |
9.05/9.14 c | 56499 | 26537 156181 529434 | 2147483647 50577 9 | 0.741 % |
9.05/9.19 c | 56645 | 26537 156181 529434 | 2147483647 50723 9 | 0.741 % |
9.15/9.24 c | 56805 | 26537 156181 529434 | 2147483647 50883 9 | 0.741 % |
9.25/9.30 c | 56981 | 26537 156181 529434 | 2147483647 51059 9 | 0.741 % |
9.25/9.33 c | 57176 | 26537 156181 529434 | 2147483647 51254 9 | 0.741 % |
9.25/9.40 c | 57388 | 26537 156181 529434 | 2147483647 51466 9 | 0.741 % |
9.35/9.41 c | 57622 | 26537 156181 529434 | 2147483647 51700 9 | 0.741 % |
9.35/9.49 c | 57878 | 26530 156181 529434 | 2147483647 51955 9 | 0.804 % |
9.45/9.52 c | 58159 | 26528 156181 529434 | 2147483647 52236 9 | 0.804 % |
9.45/9.55 c | 58469 | 26528 156181 529434 | 2147483647 52546 9 | 0.804 % |
9.45/9.58 c | 58808 | 26528 156181 529434 | 2147483647 52885 9 | 0.804 % |
9.55/9.64 c | 59180 | 26528 156181 529434 | 2147483647 53257 9 | 0.804 % |
9.55/9.69 c | 59590 | 26520 156074 529105 | 2147483647 53545 9 | 0.804 % |
9.65/9.71 c | 60039 | 26520 156074 529105 | 2147483647 53994 9 | 0.804 % |
9.65/9.73 c | 60532 | 26520 156074 529105 | 2147483647 54487 9 | 0.804 % |
9.65/9.74 c | 61074 | 26520 156074 529105 | 2147483647 55029 9 | 0.804 % |
9.65/9.76 c | 61670 | 26520 156074 529105 | 2147483647 55625 9 | 0.804 % |
9.65/9.78 c | 62326 | 26520 156074 529105 | 2147483647 56281 9 | 0.804 % |
9.75/9.80 c | 63046 | 26520 156074 529105 | 2147483647 57001 9 | 0.804 % |
9.75/9.83 c | 63840 | 26520 156074 529105 | 2147483647 57795 9 | 0.804 % |
9.75/9.84 c | 63941 | 26520 156074 529105 | 2147483647 57896 9 | 0.804 % |
9.75/9.84 c | 64052 | 26520 156074 529105 | 2147483647 58007 9 | 0.804 % |
9.75/9.85 c | 64173 | 26520 156074 529105 | 2147483647 58128 9 | 0.804 % |
9.75/9.85 c | 64309 | 26520 156074 529105 | 2147483647 58264 9 | 0.804 % |
9.75/9.86 c | 64456 | 26520 156074 529105 | 2147483647 58411 9 | 0.804 % |
9.75/9.87 c | 64616 | 26520 156074 529105 | 2147483647 58571 9 | 0.804 % |
9.75/9.87 c | 64794 | 26520 156074 529105 | 2147483647 58749 9 | 0.804 % |
9.75/9.88 c | 64987 | 26520 156074 529105 | 2147483647 58942 9 | 0.804 % |
9.75/9.89 c | 65199 | 26520 156074 529105 | 2147483647 59154 9 | 0.804 % |
9.75/9.90 c | 65433 | 26520 156074 529105 | 2147483647 59388 9 | 0.804 % |
9.85/9.91 c | 65689 | 26520 156074 529105 | 2147483647 59644 9 | 0.804 % |
9.85/9.92 c | 65974 | 26520 156074 529105 | 2147483647 59929 9 | 0.804 % |
9.85/9.93 c | 66284 | 26520 156074 529105 | 2147483647 60239 9 | 0.804 % |
9.85/9.94 c | 66623 | 26520 156074 529105 | 2147483647 60578 9 | 0.804 % |
9.85/9.96 c | 66995 | 26520 156074 529105 | 2147483647 60950 9 | 0.804 % |
9.85/9.98 c | 67405 | 26520 156074 529105 | 2147483647 61360 9 | 0.804 % |
9.85/10.00 c | 67854 | 26520 156074 529105 | 2147483647 61809 9 | 0.804 % |
9.95/10.03 c | 68348 | 26520 156074 529105 | 2147483647 62303 9 | 0.804 % |
9.95/10.06 c | 68890 | 26520 156074 529105 | 2147483647 62845 9 | 0.804 % |
9.95/10.08 c | 69486 | 26520 156074 529105 | 2147483647 63441 9 | 0.804 % |
10.04/10.11 c | 70142 | 26520 156074 529105 | 2147483647 64097 9 | 0.804 % |
10.04/10.14 c | 70862 | 26520 156074 529105 | 2147483647 64817 9 | 0.804 % |
10.04/10.17 c | 71654 | 26516 156074 529105 | 2147483647 65607 9 | 0.875 % |
10.14/10.22 c | 72525 | 26515 156074 529105 | 2147483647 66477 9 | 0.879 % |
10.14/10.23 c | 72626 | 26515 156074 529105 | 2147483647 66578 9 | 0.879 % |
10.14/10.23 c | 72736 | 26515 156074 529105 | 2147483647 66688 9 | 0.879 % |
10.14/10.24 c | 72860 | 26515 156074 529105 | 2147483647 66812 9 | 0.879 % |
10.14/10.25 c | 72994 | 26513 156074 529105 | 2147483647 66945 9 | 0.961 % |
10.14/10.26 c | 73140 | 26513 156074 529105 | 2147483647 67091 9 | 0.961 % |
10.14/10.27 c | 73300 | 26513 156074 529105 | 2147483647 67251 9 | 0.961 % |
10.14/10.29 c | 73476 | 26513 156074 529105 | 2147483647 67427 9 | 0.961 % |
10.24/10.30 c | 73669 | 26513 156074 529105 | 2147483647 67620 9 | 0.961 % |
10.24/10.31 c | 73885 | 26497 156074 529105 | 2147483647 67835 9 | 1.152 % |
10.24/10.33 c | 74118 | 26473 156074 529105 | 2147483647 68067 9 | 1.212 % |
10.24/10.34 c | 74375 | 26466 156074 529105 | 2147483647 68323 9 | 1.257 % |
10.24/10.36 c | 74656 | 26464 156074 529105 | 2147483647 68603 9 | 1.305 % |
10.24/10.38 c | 74966 | 26462 156074 529105 | 2147483647 68912 9 | 1.313 % |
10.35/10.41 c | 75307 | 26437 156074 529105 | 2147483647 69251 9 | 1.332 % |
10.35/10.45 c | 75679 | 26427 156074 529105 | 2147483647 69621 9 | 1.395 % |
10.35/10.49 c | 76088 | 26385 156074 529105 | 2147483647 70028 9 | 1.496 % |
10.45/10.53 c | 76538 | 26370 156074 529105 | 2147483647 70476 9 | 1.563 % |
10.45/10.58 c | 77032 | 26361 156074 529105 | 2147483647 70970 9 | 1.563 % |
10.55/10.62 c | 77574 | 26359 156074 529105 | 2147483647 71511 9 | 1.571 % |
10.55/10.67 c | 78171 | 26359 156074 529105 | 2147483647 72108 9 | 1.571 % |
10.65/10.73 c | 78826 | 26359 156074 529105 | 2147483647 72763 9 | 1.571 % |
10.75/10.86 c | 79546 | 26315 154592 524355 | 2147483647 69145 9 | 1.571 % |
10.85/10.99 c | 80338 | 26237 154592 524355 | 2147483647 69936 9 | 1.900 % |
11.05/11.14 c | 81209 | 26167 154592 524355 | 2147483647 70802 9 | 2.173 % |
11.25/11.35 c | 82168 | 26166 154592 524355 | 2147483647 71761 9 | 2.173 % |
11.25/11.36 c | 82269 | 26166 154592 524355 | 2147483647 71862 9 | 2.173 % |
11.25/11.38 c | 82379 | 26166 154592 524355 | 2147483647 71972 9 | 2.173 % |
11.35/11.40 c | 82501 | 26166 154592 524355 | 2147483647 72094 9 | 2.173 % |
11.35/11.42 c | 82634 | 26166 154592 524355 | 2147483647 72227 9 | 2.173 % |
11.35/11.44 c | 82780 | 26166 154592 524355 | 2147483647 72372 9 | 2.188 % |
11.35/11.46 c | 82940 | 26164 154592 524355 | 2147483647 72531 9 | 2.192 % |
11.35/11.47 c | 83117 | 26164 154592 524355 | 2147483647 72708 9 | 2.192 % |
11.35/11.49 c | 83310 | 26149 154592 524355 | 2147483647 72900 9 | 2.356 % |
11.45/11.52 c | 83523 | 26145 154592 524355 | 2147483647 73113 9 | 2.356 % |
11.45/11.54 c | 83756 | 26145 154592 524355 | 2147483647 73346 9 | 2.356 % |
11.45/11.59 c | 84012 | 26132 154592 524355 | 2147483647 73601 9 | 2.360 % |
11.55/11.65 c | 84293 | 26121 154592 524355 | 2147483647 73879 9 | 2.573 % |
11.65/11.72 c | 84602 | 26068 154592 524355 | 2147483647 74186 9 | 2.588 % |
11.65/11.77 c | 84941 | 26068 154592 524355 | 2147483647 74525 9 | 2.588 % |
11.75/11.87 c | 85313 | 26068 154592 524355 | 2147483647 74897 9 | 2.588 % |
11.85/11.92 c | 85723 | 26068 154592 524355 | 2147483647 75307 9 | 2.588 % |
11.85/11.96 c | 86178 | 26064 154592 524355 | 2147483647 75760 9 | 2.630 % |
11.95/12.08 c | 86671 | 26060 154592 524355 | 2147483647 76253 9 | 2.630 % |
12.15/12.21 c | 87214 | 26060 154592 524355 | 2147483647 76796 9 | 2.630 % |
12.25/12.38 c | 87811 | 26032 152749 518416 | 2147483647 70437 9 | 2.630 % |
12.45/12.53 c | 88466 | 26032 152749 518416 | 2147483647 71092 9 | 2.630 % |
12.55/12.68 c | 89186 | 26032 152749 518416 | 2147483647 71812 9 | 2.630 % |
12.65/12.78 c | 89979 | 25986 152749 518416 | 2147483647 72604 9 | 3.550 % |
12.85/12.90 c | 90850 | 25986 152749 518416 | 2147483647 73475 9 | 3.550 % |
12.95/13.03 c | 91809 | 25986 152749 518416 | 2147483647 74434 9 | 3.550 % |
13.25/13.33 c | 92868 | 25861 152749 518416 | 2147483647 75493 9 | 3.550 % |
13.25/13.37 c | 92968 | 25849 152749 518416 | 2147483647 75592 9 | 3.595 % |
13.25/13.39 c | 93078 | 25849 152749 518416 | 2147483647 75702 9 | 3.595 % |
13.35/13.41 c | 93199 | 25849 152749 518416 | 2147483647 75823 9 | 3.595 % |
13.35/13.46 c | 93336 | 25849 152749 518416 | 2147483647 75960 9 | 3.595 % |
13.45/13.53 c | 93483 | 25849 152749 518416 | 2147483647 76107 9 | 3.595 % |
13.54/13.60 c | 93643 | 25773 151259 513578 | 2147483647 66601 9 | 3.598 % |
13.54/13.66 c | 93819 | 25771 151259 513578 | 2147483647 66776 9 | 3.636 % |
13.65/13.72 c | 94013 | 25766 151259 513578 | 2147483647 66970 9 | 3.636 % |
13.65/13.74 c | 94225 | 25760 151259 513578 | 2147483647 67181 9 | 3.692 % |
13.65/13.78 c | 94458 | 25758 151259 513578 | 2147483647 67413 9 | 3.703 % |
13.75/13.81 c | 94718 | 25758 151259 513578 | 2147483647 67673 9 | 3.703 % |
13.75/13.87 c | 94999 | 25750 151259 513578 | 2147483647 67952 9 | 3.718 % |
13.85/13.96 c | 95309 | 25746 151259 513578 | 2147483647 68261 9 | 3.748 % |
13.95/14.04 c | 95648 | 25746 151259 513578 | 2147483647 68600 9 | 3.748 % |
14.05/14.15 c | 96021 | 25742 151259 513578 | 2147483647 68973 9 | 3.748 % |
14.15/14.23 c | 96431 | 25742 151259 513578 | 2147483647 69383 9 | 3.748 % |
14.25/14.31 c | 96881 | 25742 151259 513578 | 2147483647 69833 9 | 3.748 % |
14.35/14.41 c | 97376 | 25721 151259 513578 | 2147483647 70327 9 | 3.954 % |
14.45/14.55 c | 97918 | 25699 151259 513578 | 2147483647 70868 9 | 4.002 % |
14.45/14.59 c | 98514 | 25699 151259 513578 | 2147483647 71464 9 | 4.002 % |
14.74/14.89 c | 99169 | 25690 151259 513578 | 2147483647 72118 9 | 4.006 % |
15.04/15.17 c | 99889 | 25652 150539 511250 | 2147483647 70792 9 | 4.058 % |
15.14/15.21 c | 100682 | 25652 150539 511250 | 2147483647 71585 9 | 4.058 % |
15.24/15.30 c | 101553 | 25652 150539 511250 | 2147483647 72456 9 | 4.058 % |
15.45/15.52 c | 102515 | 25652 150539 511250 | 2147483647 73418 9 | 4.058 % |
15.74/15.83 c | 103568 | 25646 150539 511250 | 2147483647 74468 9 | 4.088 % |
16.04/16.10 c | 104726 | 25638 150539 511250 | 2147483647 75624 9 | 4.122 % |
16.04/16.14 c | 104827 | 25638 150539 511250 | 2147483647 75725 9 | 4.122 % |
16.04/16.14 c | 104937 | 25638 150539 511250 | 2147483647 75835 9 | 4.122 % |
16.04/16.15 c | 105058 | 25638 150539 511250 | 2147483647 75956 9 | 4.122 % |
16.04/16.17 c | 105191 | 25638 150539 511250 | 2147483647 76089 9 | 4.122 % |
16.04/16.17 c | 105340 | 25638 150539 511250 | 2147483647 76238 9 | 4.122 % |
16.14/16.20 c | 105502 | 25638 150539 511250 | 2147483647 76400 9 | 4.122 % |
16.24/16.30 c | 105678 | 25628 150353 510658 | 2147483647 75420 9 | 4.193 % |
16.34/16.43 c | 105872 | 25615 150353 510658 | 2147483647 75614 9 | 4.193 % |
16.44/16.51 c | 106084 | 25615 150353 510658 | 2147483647 75826 9 | 4.193 % |
16.44/16.55 c | 106318 | 25605 150353 510658 | 2147483647 76058 9 | 4.245 % |
16.54/16.60 c | 106574 | 25604 150353 510658 | 2147483647 76314 9 | 4.245 % |
16.54/16.68 c | 106855 | 25604 150353 510658 | 2147483647 76595 9 | 4.245 % |
16.64/16.74 c | 107166 | 25604 150353 510658 | 2147483647 76906 9 | 4.245 % |
16.74/16.88 c | 107506 | 25599 150353 510658 | 2147483647 77244 9 | 4.331 % |
16.84/16.99 c | 107880 | 25588 150353 510658 | 2147483647 77617 9 | 4.373 % |
16.94/17.04 c | 108289 | 25588 150353 510658 | 2147483647 78026 9 | 4.373 % |
17.14/17.22 c | 108738 | 25588 150353 510658 | 2147483647 78475 9 | 4.373 % |
17.24/17.38 c | 109231 | 25588 150353 510658 | 2147483647 78968 9 | 4.373 % |
17.44/17.56 c | 109773 | 25584 150353 510658 | 2147483647 79509 9 | 4.417 % |
17.54/17.62 c | 110369 | 25584 150353 510658 | 2147483647 80105 9 | 4.417 % |
17.74/17.83 c | 111024 | 25554 149842 508965 | 2147483647 76995 9 | 4.417 % |
17.84/17.92 c | 111744 | 25554 149842 508965 | 2147483647 77715 9 | 4.417 % |
17.94/18.02 c | 112536 | 25553 149842 508965 | 2147483647 78506 9 | 4.421 % |
17.94/18.08 c | 113408 | 25553 149842 508965 | 2147483647 79378 9 | 4.421 % |
18.04/18.12 c | 114367 | 25553 149842 508965 | 2147483647 80337 9 | 4.421 % |
18.14/18.26 c | 115420 | 25552 149842 508965 | 2147483647 81389 9 | 4.425 % |
18.34/18.46 c | 116579 | 25552 149842 508965 | 2147483647 82548 9 | 4.425 % |
18.44/18.55 c | 117852 | 25551 149842 508965 | 2147483647 83820 9 | 4.429 % |
18.44/18.56 c | 117954 | 25551 149842 508965 | 2147483647 83922 9 | 4.429 % |
18.44/18.57 c | 118064 | 25549 149842 508965 | 2147483647 84031 9 | 4.474 % |
18.44/18.57 c | 118187 | 25549 149842 508965 | 2147483647 84154 9 | 4.474 % |
18.44/18.59 c | 118320 | 25548 149842 508965 | 2147483647 84287 9 | 4.474 % |
18.54/18.60 c | 118466 | 25545 149842 508965 | 2147483647 84431 9 | 4.488 % |
18.54/18.61 c | 118627 | 25544 149842 508965 | 2147483647 84592 9 | 4.488 % |
18.54/18.62 c | 118804 | 25542 149842 508965 | 2147483647 84768 9 | 4.571 % |
18.54/18.63 c | 119001 | 25542 149842 508965 | 2147483647 84965 9 | 4.571 % |
18.54/18.68 c | 119213 | 25541 149842 508965 | 2147483647 85177 9 | 4.571 % |
18.64/18.74 c | 119446 | 25541 149842 508965 | 2147483647 85410 9 | 4.571 % |
18.64/18.76 c | 119702 | 25541 149842 508965 | 2147483647 85666 9 | 4.571 % |
18.64/18.78 c | 119983 | 25541 149842 508965 | 2147483647 85947 9 | 4.571 % |
18.74/18.80 c | 120292 | 25541 149842 508965 | 2147483647 86256 9 | 4.571 % |
18.74/18.82 c | 120631 | 25541 149842 508965 | 2147483647 86595 9 | 4.571 % |
18.74/18.84 c | 121003 | 25541 149842 508965 | 2147483647 86967 9 | 4.571 % |
18.74/18.87 c | 121413 | 25541 149842 508965 | 2147483647 87377 9 | 4.571 % |
18.93/19.02 c | 121862 | 25475 149186 506745 | 2147483647 86618 9 | 4.713 % |
18.93/19.06 c | 122356 | 25475 149186 506745 | 2147483647 87112 9 | 4.713 % |
19.03/19.10 c | 122898 | 25475 149186 506745 | 2147483647 87654 9 | 4.713 % |
19.13/19.24 c | 123494 | 25475 149186 506745 | 2147483647 88250 9 | 4.713 % |
19.23/19.32 c | 124150 | 25475 149186 506745 | 2147483647 88906 9 | 4.713 % |
19.43/19.52 c | 124870 | 25474 149186 506745 | 2147483647 89625 9 | 4.717 % |
19.43/19.57 c | 125663 | 25474 149186 506745 | 2147483647 90418 9 | 4.717 % |
19.53/19.65 c | 126534 | 25474 149186 506745 | 2147483647 91289 9 | 4.717 % |
19.73/19.87 c | 127492 | 25473 149186 506745 | 2147483647 92246 9 | 4.720 % |
19.93/20.03 c | 128545 | 25469 149186 506745 | 2147483647 93297 9 | 4.735 % |
20.03/20.11 c | 129704 | 25464 149186 506745 | 2147483647 94455 9 | 4.758 % |
20.03/20.19 c | 130978 | 25456 149186 506745 | 2147483647 95728 9 | 4.784 % |
20.33/20.49 c | 132378 | 25451 148987 506077 | 2147483647 95577 9 | 4.803 % |
20.33/20.49 c | 132478 | 25451 148987 506077 | 2147483647 95677 9 | 4.803 % |
20.43/20.50 c | 132588 | 25451 148987 506077 | 2147483647 95787 9 | 4.803 % |
20.43/20.53 c | 132711 | 25451 148987 506077 | 2147483647 95910 9 | 4.803 % |
20.43/20.53 c | 132844 | 25451 148987 506077 | 2147483647 96043 9 | 4.803 % |
20.43/20.54 c | 132990 | 25451 148987 506077 | 2147483647 96188 9 | 4.919 % |
20.43/20.55 c | 133151 | 25447 148987 506077 | 2147483647 96349 9 | 4.919 % |
20.43/20.57 c | 133327 | 25446 148987 506077 | 2147483647 96525 9 | 4.919 % |
20.53/20.60 c | 133522 | 25446 148987 506077 | 2147483647 96720 9 | 4.919 % |
20.53/20.62 c | 133736 | 25446 148987 506077 | 2147483647 96934 9 | 4.919 % |
20.53/20.64 c | 133971 | 25446 148987 506077 | 2147483647 97169 9 | 4.919 % |
20.53/20.66 c | 134227 | 25446 148987 506077 | 2147483647 97425 9 | 4.919 % |
20.53/20.67 c | 134509 | 25446 148987 506077 | 2147483647 97707 9 | 4.919 % |
20.63/20.71 c | 134818 | 25446 148987 506077 | 2147483647 98016 9 | 4.919 % |
20.63/20.74 c | 135157 | 25445 148987 506077 | 2147483647 98354 9 | 4.922 % |
20.63/20.78 c | 135529 | 25432 148987 506077 | 2147483647 98724 9 | 4.993 % |
20.73/20.80 c | 135939 | 25432 148987 506077 | 2147483647 99134 9 | 4.993 % |
20.73/20.84 c | 136388 | 25432 148987 506077 | 2147483647 99583 9 | 4.993 % |
20.73/20.85 c | 136882 | 25432 148987 506077 | 2147483647 100077 9 | 4.993 % |
20.73/20.88 c | 137428 | 25432 148987 506077 | 2147483647 100623 9 | 4.993 % |
20.84/20.91 c | 138024 | 25421 148987 506077 | 2147483647 101218 9 | 5.035 % |
20.84/20.93 c | 138679 | 25421 148987 506077 | 2147483647 101873 9 | 5.035 % |
20.84/20.97 c | 139399 | 25421 148987 506077 | 2147483647 102593 9 | 5.035 % |
20.84/21.00 c | 140191 | 25414 148987 506077 | 2147483647 103384 9 | 5.154 % |
20.94/21.05 c | 141063 | 25410 148987 506077 | 2147483647 104255 9 | 5.166 % |
21.03/21.12 c | 142022 | 25408 148987 506077 | 2147483647 105214 9 | 5.166 % |
21.03/21.16 c | 143076 | 25408 148987 506077 | 2147483647 106268 9 | 5.166 % |
21.13/21.22 c | 144234 | 25408 148987 506077 | 2147483647 107426 9 | 5.166 % |
21.23/21.31 c | 145509 | 25400 148987 506077 | 2147483647 108699 9 | 5.237 % |
21.33/21.43 c | 146910 | 25382 148987 506077 | 2147483647 110097 9 | 5.289 % |
21.43/21.53 c | 148450 | 25372 148987 506077 | 2147483647 111634 9 | 5.349 % |
21.43/21.54 c | 148552 | 25370 148987 506077 | 2147483647 111735 9 | 5.356 % |
21.43/21.55 c | 148663 | 25370 148987 506077 | 2147483647 111846 9 | 5.356 % |
21.43/21.56 c | 148784 | 25370 148987 506077 | 2147483647 111967 9 | 5.356 % |
21.43/21.56 c | 148917 | 25363 148987 506077 | 2147483647 112098 9 | 5.424 % |
21.43/21.57 c | 149064 | 25363 148987 506077 | 2147483647 112245 9 | 5.424 % |
21.43/21.58 c | 149226 | 25363 148987 506077 | 2147483647 112407 9 | 5.424 % |
21.43/21.60 c | 149402 | 25363 148987 506077 | 2147483647 112583 9 | 5.424 % |
21.53/21.61 c | 149596 | 25363 148987 506077 | 2147483647 112777 9 | 5.424 % |
21.53/21.62 c | 149808 | 25363 148987 506077 | 2147483647 112989 9 | 5.424 % |
21.53/21.63 c | 150042 | 25363 148987 506077 | 2147483647 113223 9 | 5.424 % |
21.53/21.64 c | 150301 | 25362 148987 506077 | 2147483647 113481 9 | 5.427 % |
21.53/21.67 c | 150583 | 25360 148987 506077 | 2147483647 113762 9 | 5.442 % |
21.53/21.68 c | 150892 | 25359 148987 506077 | 2147483647 114071 9 | 5.442 % |
21.63/21.70 c | 151232 | 25356 148987 506077 | 2147483647 114411 9 | 5.442 % |
21.63/21.73 c | 151604 | 25356 148987 506077 | 2147483647 114783 9 | 5.442 % |
21.73/21.80 c | 152013 | 25280 147785 502182 | 2147483647 110731 9 | 5.442 % |
21.73/21.82 c | 152462 | 25280 147785 502182 | 2147483647 111180 9 | 5.442 % |
21.73/21.86 c | 152956 | 25280 147785 502182 | 2147483647 111674 9 | 5.442 % |
21.73/21.88 c | 153501 | 25280 147785 502182 | 2147483647 112219 9 | 5.442 % |
21.83/21.94 c | 154098 | 25279 147785 502182 | 2147483647 112815 9 | 5.446 % |
21.83/22.00 c | 154754 | 25279 147785 502182 | 2147483647 113471 9 | 5.446 % |
21.93/22.05 c | 155474 | 25279 147785 502182 | 2147483647 114191 9 | 5.446 % |
22.13/22.25 c | 156267 | 25279 147785 502182 | 2147483647 114984 9 | 5.446 % |
22.23/22.35 c | 157139 | 25272 147785 502182 | 2147483647 115854 9 | 5.592 % |
22.33/22.46 c | 158098 | 25272 147785 502182 | 2147483647 116813 9 | 5.592 % |
22.43/22.54 c | 159151 | 25272 147785 502182 | 2147483647 117866 9 | 5.592 % |
22.53/22.60 c | 160309 | 25269 147785 502182 | 2147483647 119023 9 | 5.603 % |
22.63/22.71 c | 161583 | 25269 147785 502182 | 2147483647 120297 9 | 5.603 % |
22.83/22.95 c | 162983 | 25259 147785 502182 | 2147483647 121697 9 | 5.603 % |
22.93/23.05 c | 164523 | 25258 147785 502182 | 2147483647 123236 9 | 5.611 % |
23.32/23.43 c | 166218 | 25244 147785 502182 | 2147483647 124928 9 | 5.749 % |
23.32/23.44 c | 166318 | 25244 147785 502182 | 2147483647 125028 9 | 5.749 % |
23.32/23.45 c | 166428 | 25244 147785 502182 | 2147483647 125137 9 | 5.865 % |
23.32/23.46 c | 166550 | 25231 147785 502182 | 2147483647 125259 9 | 5.865 % |
23.32/23.48 c | 166683 | 25231 147785 502182 | 2147483647 125392 9 | 5.865 % |
23.42/23.52 c | 166829 | 25227 147785 502182 | 2147483647 125538 9 | 5.865 % |
23.42/23.58 c | 166991 | 25227 147785 502182 | 2147483647 125700 9 | 5.865 % |
23.52/23.62 c | 167167 | 25167 146970 499575 | 2147483647 122394 9 | 5.865 % |
23.52/23.67 c | 167361 | 25167 146970 499575 | 2147483647 122588 9 | 5.865 % |
23.62/23.71 c | 167573 | 25158 146970 499575 | 2147483647 122799 9 | 5.910 % |
23.62/23.74 c | 167807 | 25158 146970 499575 | 2147483647 123033 9 | 5.910 % |
23.72/23.80 c | 168063 | 25158 146970 499575 | 2147483647 123289 9 | 5.910 % |
23.72/23.84 c | 168345 | 25158 146970 499575 | 2147483647 123571 9 | 5.910 % |
23.72/23.89 c | 168654 | 25155 146970 499575 | 2147483647 123879 9 | 5.925 % |
23.82/23.92 c | 168994 | 25150 146970 499575 | 2147483647 124218 9 | 5.951 % |
23.82/23.98 c | 169367 | 25129 146970 499575 | 2147483647 124589 9 | 6.063 % |
23.92/24.00 c | 169776 | 25129 146970 499575 | 2147483647 124998 9 | 6.063 % |
23.92/24.04 c | 170226 | 25113 146970 499575 | 2147483647 125444 9 | 6.146 % |
23.92/24.06 c | 170719 | 25108 146970 499575 | 2147483647 125934 9 | 6.187 % |
24.02/24.16 c | 171261 | 25091 146970 499575 | 2147483647 126476 9 | 6.187 % |
24.23/24.31 c | 171857 | 25091 146970 499575 | 2147483647 127072 9 | 6.187 % |
24.32/24.46 c | 172513 | 25091 146970 499575 | 2147483647 127728 9 | 6.187 % |
24.42/24.52 c | 173233 | 25091 146970 499575 | 2147483647 128448 9 | 6.187 % |
24.52/24.68 c | 174026 | 25085 146970 499575 | 2147483647 129239 9 | 6.291 % |
24.62/24.78 c | 174897 | 25078 146970 499575 | 2147483647 130108 9 | 6.325 % |
24.72/24.89 c | 175858 | 25068 146970 499575 | 2147483647 131066 9 | 6.389 % |
25.32/25.48 c | 176911 | 25059 146970 499575 | 2147483647 132116 10 | 6.411 % |
25.62/25.79 c | 178070 | 25059 146970 499575 | 2147483647 133275 10 | 6.411 % |
26.23/26.30 c | 179345 | 25018 145731 495469 | 2147483647 125898 10 | 6.445 % |
26.63/26.70 c | 180745 | 25018 145731 495469 | 2147483647 127298 10 | 6.445 % |
27.23/27.30 c | 182285 | 25007 145731 495469 | 2147483647 128835 10 | 6.523 % |
27.53/27.66 c | 183980 | 25006 145731 495469 | 2147483647 130530 10 | 6.523 % |
28.33/28.48 c | 185843 | 25006 145731 495469 | 2147483647 132393 10 | 6.523 % |
28.43/28.56 c | 185944 | 24991 145460 494556 | 2147483647 130791 10 | 6.523 % |
28.53/28.63 c | 186054 | 24991 145460 494556 | 2147483647 130901 10 | 6.523 % |
28.53/28.65 c | 186175 | 24991 145460 494556 | 2147483647 131022 10 | 6.523 % |
28.53/28.67 c | 186308 | 24991 145460 494556 | 2147483647 131155 10 | 6.523 % |
28.63/28.76 c | 186455 | 24991 145460 494556 | 2147483647 131302 10 | 6.523 % |
28.63/28.78 c | 186615 | 24991 145460 494556 | 2147483647 131462 10 | 6.523 % |
28.73/28.85 c | 186792 | 24991 145460 494556 | 2147483647 131639 10 | 6.523 % |
28.83/28.91 c | 186985 | 24991 145460 494556 | 2147483647 131832 10 | 6.523 % |
28.93/29.01 c | 187197 | 24991 145460 494556 | 2147483647 132044 10 | 6.523 % |
28.93/29.06 c | 187430 | 24991 145460 494556 | 2147483647 132277 10 | 6.523 % |
29.02/29.14 c | 187687 | 24991 145460 494556 | 2147483647 132534 10 | 6.523 % |
29.12/29.25 c | 187969 | 24991 145460 494556 | 2147483647 132816 10 | 6.523 % |
29.22/29.36 c | 188279 | 24991 145460 494556 | 2147483647 133126 10 | 6.523 % |
29.32/29.40 c | 188618 | 24991 145460 494556 | 2147483647 133465 10 | 6.523 % |
29.32/29.42 c | 188990 | 24991 145460 494556 | 2147483647 133837 10 | 6.523 % |
29.42/29.52 c | 189399 | 24991 145460 494556 | 2147483647 134246 10 | 6.523 % |
29.63/29.72 c | 189848 | 24987 145460 494556 | 2147483647 134693 10 | 6.546 % |
29.82/29.92 c | 190341 | 24986 145460 494556 | 2147483647 135185 10 | 6.553 % |
30.02/30.14 c | 190885 | 24986 145460 494556 | 2147483647 135729 10 | 6.553 % |
30.22/30.38 c | 191481 | 24986 145460 494556 | 2147483647 136325 10 | 6.553 % |
30.62/30.77 c | 192136 | 24985 145460 494556 | 2147483647 136980 11 | 6.553 % |
30.91/31.03 c | 192856 | 24985 145460 494556 | 2147483647 137700 11 | 6.553 % |
31.01/31.19 c | 193648 | 24982 145418 494410 | 2147483647 138477 11 | 6.561 % |
31.21/31.34 c | 194519 | 24969 145418 494410 | 2147483647 139346 11 | 6.613 % |
31.41/31.57 c | 195477 | 24957 145418 494410 | 2147483647 140301 11 | 6.677 % |
31.82/31.92 c | 196530 | 24946 145418 494410 | 2147483647 141352 11 | 6.710 % |
32.01/32.15 c | 197689 | 24946 145418 494410 | 2147483647 142511 11 | 6.710 % |
32.41/32.50 c | 198962 | 24946 145418 494410 | 2147483647 143784 11 | 6.710 % |
32.91/33.06 c | 200363 | 24946 145418 494410 | 2147483647 145185 11 | 6.710 % |
33.41/33.52 c | 201903 | 24946 145418 494410 | 2147483647 146725 11 | 6.710 % |
33.91/34.05 c | 203597 | 24941 145122 493400 | 2147483647 147659 11 | 6.710 % |
34.51/34.69 c | 205461 | 24941 145122 493400 | 2147483647 149523 11 | 6.710 % |
35.11/35.29 c | 207510 | 24941 145122 493400 | 2147483647 151572 11 | 6.710 % |
35.21/35.34 c | 207610 | 24941 145122 493400 | 2147483647 151672 11 | 6.710 % |
35.21/35.37 c | 207720 | 24941 145122 493400 | 2147483647 151782 11 | 6.710 % |
35.30/35.42 c | 207842 | 24941 145122 493400 | 2147483647 151904 11 | 6.710 % |
35.30/35.49 c | 207975 | 24937 145122 493400 | 2147483647 152036 11 | 6.740 % |
35.40/35.55 c | 208121 | 24937 145122 493400 | 2147483647 152182 11 | 6.740 % |
35.50/35.61 c | 208285 | 24937 145122 493400 | 2147483647 152346 11 | 6.740 % |
35.50/35.64 c | 208461 | 24937 145122 493400 | 2147483647 152522 11 | 6.740 % |
35.60/35.72 c | 208654 | 24937 145122 493400 | 2147483647 152715 11 | 6.740 % |
35.70/35.85 c | 208866 | 24933 145053 493184 | 2147483647 152473 11 | 6.740 % |
35.80/35.94 c | 209100 | 24933 145053 493184 | 2147483647 152707 11 | 6.740 % |
35.80/35.96 c | 209361 | 24932 145053 493184 | 2147483647 152967 11 | 6.748 % |
35.90/36.06 c | 209646 | 24931 145053 493184 | 2147483647 153252 11 | 6.748 % |
36.00/36.12 c | 209955 | 24924 145053 493184 | 2147483647 153560 11 | 6.826 % |
36.00/36.18 c | 210294 | 24924 145053 493184 | 2147483647 153899 11 | 6.826 % |
36.00/36.20 c | 210668 | 24924 145053 493184 | 2147483647 154273 11 | 6.826 % |
36.21/36.34 c | 211078 | 24924 145053 493184 | 2147483647 154683 11 | 6.826 % |
36.40/36.54 c | 211527 | 24924 145053 493184 | 2147483647 155132 11 | 6.826 % |
36.60/36.74 c | 212020 | 24924 145053 493184 | 2147483647 155625 11 | 6.826 % |
36.80/36.91 c | 212563 | 24923 145053 493184 | 2147483647 156167 11 | 6.834 % |
37.10/37.29 c | 213159 | 24922 145053 493184 | 2147483647 156763 11 | 6.834 % |
37.40/37.52 c | 213815 | 24922 145053 493184 | 2147483647 157419 11 | 6.834 % |
37.61/37.70 c | 214535 | 24922 145053 493184 | 2147483647 158139 11 | 6.834 % |
37.81/37.94 c | 215327 | 24922 145053 493184 | 2147483647 158931 11 | 6.834 % |
38.21/38.34 c | 216198 | 24922 145053 493184 | 2147483647 159802 11 | 6.834 % |
38.61/38.79 c | 217157 | 24905 144915 492740 | 2147483647 160541 11 | 6.845 % |
38.91/39.00 c | 218210 | 24905 144915 492740 | 2147483647 161594 11 | 6.845 % |
39.11/39.23 c | 219368 | 24905 144915 492740 | 2147483647 162752 11 | 6.845 % |
39.31/39.49 c | 220641 | 24903 144915 492740 | 2147483647 164024 11 | 6.852 % |
39.91/40.09 c | 222041 | 24903 144915 492740 | 2147483647 165424 11 | 6.852 % |
40.10/40.26 c | 223581 | 24902 144915 492740 | 2147483647 166963 11 | 6.856 % |
40.50/40.67 c | 225277 | 24897 144915 492740 | 2147483647 168658 11 | 6.875 % |
41.00/41.17 c | 227142 | 24891 144754 492185 | 2147483647 166528 11 | 6.897 % |
41.20/41.34 c | 229191 | 24891 144754 492185 | 2147483647 168577 11 | 6.897 % |
42.30/42.40 c | 231445 | 24890 144754 492185 | 2147483647 170830 11 | 6.901 % |
42.30/42.46 c | 231545 | 24889 144754 492185 | 2147483647 170929 11 | 6.905 % |
42.40/42.50 c | 231659 | 24889 144754 492185 | 2147483647 171043 11 | 6.905 % |
42.40/42.57 c | 231780 | 24889 144754 492185 | 2147483647 171164 11 | 6.905 % |
42.50/42.67 c | 231913 | 24889 144754 492185 | 2147483647 171297 11 | 6.905 % |
42.60/42.72 c | 232059 | 24889 144754 492185 | 2147483647 171443 11 | 6.905 % |
42.70/42.84 c | 232220 | 24889 144754 492185 | 2147483647 171604 11 | 6.905 % |
42.80/42.96 c | 232397 | 24889 144754 492185 | 2147483647 171781 11 | 6.905 % |
42.90/43.04 c | 232591 | 24889 144754 492185 | 2147483647 171975 11 | 6.905 % |
42.90/43.09 c | 232804 | 24889 144754 492185 | 2147483647 172188 11 | 6.905 % |
43.00/43.18 c | 233037 | 24889 144754 492185 | 2147483647 172421 11 | 6.905 % |
43.20/43.33 c | 233293 | 24889 144754 492185 | 2147483647 172677 11 | 6.905 % |
43.30/43.44 c | 233574 | 24889 144754 492185 | 2147483647 172958 11 | 6.905 % |
43.40/43.51 c | 233883 | 24889 144754 492185 | 2147483647 173267 11 | 6.905 % |
43.40/43.59 c | 234222 | 24889 144754 492185 | 2147483647 173606 11 | 6.905 % |
43.60/43.73 c | 234594 | 24889 144754 492185 | 2147483647 173978 11 | 6.905 % |
43.80/43.96 c | 235003 | 24889 144754 492185 | 2147483647 174387 11 | 6.905 % |
44.00/44.19 c | 235453 | 24889 144754 492185 | 2147483647 174837 11 | 6.905 % |
44.10/44.28 c | 235947 | 24884 144754 492185 | 2147483647 175330 11 | 6.991 % |
44.40/44.50 c | 236490 | 24884 144754 492185 | 2147483647 175873 11 | 6.991 % |
44.50/44.61 c | 237088 | 24865 144607 491694 | 2147483647 175925 11 | 6.995 % |
44.70/44.87 c | 237743 | 24865 144607 491694 | 2147483647 176580 11 | 6.995 % |
44.80/44.99 c | 238463 | 24865 144607 491694 | 2147483647 177300 11 | 6.995 % |
45.00/45.14 c | 239256 | 24865 144607 491694 | 2147483647 178093 11 | 6.995 % |
45.00/45.17 c | 240127 | 24865 144607 491694 | 2147483647 178964 11 | 6.995 % |
45.49/45.69 c | 241085 | 24865 144607 491694 | 2147483647 179922 11 | 6.995 % |
45.99/46.14 c | 242138 | 24865 144607 491694 | 2147483647 180975 11 | 6.995 % |
47.60/47.71 c | 243296 | 24865 144607 491694 | 2147483647 182133 11 | 6.995 % |
47.90/48.04 c | 244570 | 24865 144607 491694 | 2147483647 183407 11 | 6.995 % |
49.10/49.22 c | 245970 | 24865 144607 491694 | 2147483647 184807 12 | 6.995 % |
50.70/50.82 c | 247512 | 24862 144575 491578 | 2147483647 186340 12 | 7.006 % |
51.60/51.77 c | 249206 | 24862 144575 491578 | 2147483647 188034 13 | 7.006 % |
52.60/52.72 c | 251069 | 24862 144575 491578 | 2147483647 189897 13 | 7.006 % |
54.39/54.56 c | 253120 | 24862 144575 491578 | 2147483647 191948 13 | 7.006 % |
56.39/56.53 c | 255373 | 24862 144559 491523 | 2147483647 194172 14 | 7.006 % |
61.80/61.90 c | 257853 | 24856 144559 491523 | 2147483647 196651 17 | 7.058 % |
61.90/62.08 c | 257953 | 24848 144462 491213 | 2147483647 195826 17 | 7.058 % |
62.10/62.20 c | 258063 | 24848 144462 491213 | 2147483647 195936 17 | 7.058 % |
62.10/62.27 c | 258185 | 24848 144462 491213 | 2147483647 196058 17 | 7.058 % |
62.20/62.36 c | 258318 | 24848 144462 491213 | 2147483647 196191 17 | 7.058 % |
62.30/62.46 c | 258464 | 24848 144462 491213 | 2147483647 196337 17 | 7.058 % |
62.30/62.48 c | 258624 | 24848 144462 491213 | 2147483647 196497 17 | 7.058 % |
62.40/62.55 c | 258800 | 24848 144462 491213 | 2147483647 196673 17 | 7.058 % |
62.50/62.65 c | 258993 | 24848 144462 491213 | 2147483647 196866 17 | 7.058 % |
62.50/62.70 c | 259205 | 24848 144462 491213 | 2147483647 197078 17 | 7.058 % |
62.70/62.82 c | 259439 | 24846 144462 491213 | 2147483647 197311 17 | 7.066 % |
62.70/62.85 c | 259696 | 24846 144462 491213 | 2147483647 197568 17 | 7.066 % |
62.80/62.94 c | 259977 | 24846 144462 491213 | 2147483647 197849 17 | 7.066 % |
62.90/63.02 c | 260287 | 24846 144462 491213 | 2147483647 198159 17 | 7.066 % |
62.90/63.06 c | 260627 | 24846 144462 491213 | 2147483647 198499 17 | 7.066 % |
63.00/63.17 c | 260999 | 24843 144462 491213 | 2147483647 198870 17 | 7.084 % |
63.10/63.27 c | 261408 | 24843 144462 491213 | 2147483647 199279 17 | 7.084 % |
63.20/63.36 c | 261858 | 24841 144462 491213 | 2147483647 199728 17 | 7.092 % |
63.29/63.41 c | 262352 | 24841 144462 491213 | 2147483647 200222 17 | 7.092 % |
63.49/63.62 c | 262896 | 24840 144462 491213 | 2147483647 200766 17 | 7.092 % |
63.70/63.84 c | 263492 | 24840 144462 491213 | 2147483647 201362 17 | 7.092 % |
63.89/64.08 c | 264147 | 24839 144462 491213 | 2147483647 202016 17 | 7.103 % |
64.29/64.43 c | 264868 | 24839 144462 491213 | 2147483647 202737 17 | 7.103 % |
64.39/64.57 c | 265660 | 24839 144462 491213 | 2147483647 203529 17 | 7.103 % |
64.80/64.94 c | 266531 | 24837 144462 491213 | 2147483647 204400 17 | 7.103 % |
65.19/65.34 c | 267492 | 24837 144462 491213 | 2147483647 205361 17 | 7.103 % |
65.49/65.68 c | 268547 | 24836 144462 491213 | 2147483647 206415 17 | 7.107 % |
66.19/66.31 c | 269705 | 24836 144462 491213 | 2147483647 207573 17 | 7.107 % |
66.59/66.71 c | 270980 | 24828 144462 491213 | 2147483647 208846 17 | 7.152 % |
67.39/67.52 c | 272380 | 24828 144462 491213 | 2147483647 210246 17 | 7.152 % |
68.29/68.48 c | 273920 | 24823 144182 490229 | 2147483647 211049 17 | 7.152 % |
69.29/69.41 c | 275614 | 24821 144182 490229 | 2147483647 212742 17 | 7.159 % |
70.09/70.29 c | 277480 | 24820 144182 490229 | 2147483647 214607 17 | 7.163 % |
71.09/71.20 c | 279529 | 24820 144182 490229 | 2147483647 216656 17 | 7.163 % |
72.29/72.41 c | 281782 | 24820 144182 490229 | 2147483647 218909 17 | 7.163 % |
73.29/73.43 c | 284260 | 24820 144182 490229 | 2147483647 221387 17 | 7.163 % |
74.99/75.14 c | 286985 | 24818 144151 490117 | 2147483647 223773 17 | 7.170 % |
74.99/75.17 c | 287085 | 24818 144151 490117 | 2147483647 223873 17 | 7.170 % |
75.09/75.23 c | 287195 | 24818 144151 490117 | 2147483647 223983 17 | 7.170 % |
75.18/75.30 c | 287316 | 24818 144151 490117 | 2147483647 224104 17 | 7.170 % |
75.18/75.37 c | 287452 | 24818 144151 490117 | 2147483647 224240 17 | 7.170 % |
75.28/75.43 c | 287598 | 24810 144151 490117 | 2147483647 224385 17 | 7.204 % |
75.28/75.46 c | 287759 | 24810 144151 490117 | 2147483647 224546 17 | 7.204 % |
75.38/75.56 c | 287936 | 24810 144151 490117 | 2147483647 224723 17 | 7.204 % |
75.48/75.68 c | 288130 | 24810 144151 490117 | 2147483647 224917 17 | 7.204 % |
75.68/75.80 c | 288343 | 24810 144151 490117 | 2147483647 225130 17 | 7.204 % |
75.79/75.94 c | 288576 | 24810 144151 490117 | 2147483647 225363 17 | 7.204 % |
75.79/76.00 c | 288832 | 24810 144151 490117 | 2147483647 225619 17 | 7.204 % |
76.08/76.21 c | 289113 | 24810 144151 490117 | 2147483647 225900 17 | 7.204 % |
76.28/76.41 c | 289422 | 24810 144151 490117 | 2147483647 226209 17 | 7.204 % |
76.38/76.58 c | 289761 | 24810 144151 490117 | 2147483647 226548 17 | 7.204 % |
76.58/76.77 c | 290134 | 24810 144151 490117 | 2147483647 226921 17 | 7.204 % |
76.78/76.99 c | 290544 | 24810 144151 490117 | 2147483647 227331 17 | 7.204 % |
76.98/77.19 c | 290993 | 24810 144151 490117 | 2147483647 227780 17 | 7.204 % |
77.18/77.32 c | 291486 | 24810 144151 490117 | 2147483647 228273 17 | 7.204 % |
77.38/77.54 c | 292028 | 24810 144151 490117 | 2147483647 228815 17 | 7.204 % |
77.58/77.77 c | 292624 | 24810 144151 490117 | 2147483647 229411 17 | 7.204 % |
77.98/78.11 c | 293279 | 24810 144151 490117 | 2147483647 230066 17 | 7.204 % |
78.28/78.46 c | 293999 | 24810 144151 490117 | 2147483647 230786 17 | 7.204 % |
78.68/78.80 c | 294791 | 24810 144151 490117 | 2147483647 231578 17 | 7.204 % |
78.88/79.00 c | 295662 | 24810 144151 490117 | 2147483647 232449 17 | 7.204 % |
79.28/79.40 c | 296622 | 24809 144151 490117 | 2147483647 233408 17 | 7.208 % |
79.88/80.03 c | 297675 | 24809 144151 490117 | 2147483647 234461 17 | 7.208 % |
79.88/80.09 c | 298834 | 24809 144151 490117 | 2147483647 235620 17 | 7.208 % |
80.67/80.89 c | 300108 | 24809 144151 490117 | 2147483647 236894 17 | 7.208 % |
81.47/81.66 c | 301511 | 24809 144151 490117 | 2147483647 238297 17 | 7.208 % |
87.47/87.66 c | 303051 | 24808 144102 489955 | 2147483647 239832 19 | 7.208 % |
88.47/88.65 c | 304746 | 24808 144102 489955 | 2147483647 241527 19 | 7.208 % |
92.48/92.62 c | 306610 | 24808 144102 489955 | 2147483647 243391 20 | 7.208 % |
97.17/97.35 c | 308660 | 24808 144102 489955 | 2147483647 245441 22 | 7.208 % |
98.67/98.80 c | 310914 | 24808 144102 489955 | 2147483647 247695 22 | 7.208 % |
99.98/100.17 c | 313392 | 24808 144102 489955 | 2147483647 250173 22 | 7.208 % |
101.47/101.69 c | 316118 | 24808 144102 489955 | 2147483647 252899 22 | 7.208 % |
103.18/103.30 c | 319115 | 24808 144102 489955 | 2147483647 255896 22 | 7.208 % |
103.18/103.39 c | 319215 | 24808 144102 489955 | 2147483647 255996 22 | 7.208 % |
103.28/103.47 c | 319326 | 24808 144102 489955 | 2147483647 256107 22 | 7.208 % |
103.38/103.57 c | 319447 | 24808 144102 489955 | 2147483647 256228 22 | 7.208 % |
103.48/103.69 c | 319582 | 24808 144102 489955 | 2147483647 256363 22 | 7.208 % |
103.58/103.79 c | 319728 | 24808 144102 489955 | 2147483647 256509 22 | 7.208 % |
103.68/103.83 c | 319888 | 24808 144102 489955 | 2147483647 256669 22 | 7.208 % |
103.78/103.92 c | 320064 | 24808 144102 489955 | 2147483647 256845 22 | 7.208 % |
103.98/104.10 c | 320257 | 24808 144102 489955 | 2147483647 257038 22 | 7.208 % |
104.08/104.23 c | 320471 | 24808 144102 489955 | 2147483647 257252 22 | 7.208 % |
104.18/104.35 c | 320704 | 24808 144102 489955 | 2147483647 257485 22 | 7.208 % |
104.67/104.81 c | 320960 | 24808 144102 489955 | 2147483647 257741 22 | 7.208 % |
104.87/105.03 c | 321244 | 24808 144102 489955 | 2147483647 258025 22 | 7.208 % |
105.07/105.24 c | 321553 | 24808 144102 489955 | 2147483647 258334 22 | 7.208 % |
105.37/105.50 c | 321892 | 24808 144102 489955 | 2147483647 258673 22 | 7.208 % |
105.37/105.55 c | 322264 | 24808 144102 489955 | 2147483647 259045 22 | 7.208 % |
105.58/105.74 c | 322673 | 24808 144102 489955 | 2147483647 259454 22 | 7.208 % |
105.97/106.20 c | 323123 | 24808 144102 489955 | 2147483647 259904 22 | 7.208 % |
106.27/106.45 c | 323616 | 24808 144102 489955 | 2147483647 260397 22 | 7.208 % |
106.68/106.81 c | 324159 | 24808 144102 489955 | 2147483647 260940 22 | 7.208 % |
107.37/107.50 c | 324755 | 24808 144102 489955 | 2147483647 261536 23 | 7.208 % |
107.68/107.88 c | 325413 | 24808 144102 489955 | 2147483647 262194 22 | 7.208 % |
108.37/108.59 c | 326134 | 24808 144102 489955 | 2147483647 262915 23 | 7.208 % |
108.97/109.16 c | 326926 | 24808 144102 489955 | 2147483647 263707 23 | 7.208 % |
109.97/110.13 c | 327797 | 24808 144102 489955 | 2147483647 264578 23 | 7.208 % |
111.67/111.86 c | 328758 | 24808 144102 489955 | 2147483647 265539 23 | 7.208 % |
112.37/112.52 c | 329812 | 24808 144102 489955 | 2147483647 266593 23 | 7.208 % |
113.17/113.34 c | 330970 | 24808 144102 489955 | 2147483647 267751 23 | 7.208 % |
113.86/114.04 c | 332243 | 24808 144102 489955 | 2147483647 269024 23 | 7.208 % |
117.76/117.96 c | 333643 | 24808 144102 489955 | 2147483647 270424 24 | 7.208 % |
119.57/119.77 c | 335183 | 24804 144082 489904 | 2147483647 271791 24 | 7.223 % |
124.56/124.78 c | 336879 | 24804 144082 489904 | 2147483647 273487 26 | 7.223 % |
125.77/125.96 c | 338742 | 24804 144082 489904 | 2147483647 275350 26 | 7.223 % |
128.67/128.84 c | 340791 | 24804 144082 489904 | 2147483647 277399 26 | 7.223 % |
130.16/130.36 c | 343044 | 24804 144082 489904 | 2147483647 279652 26 | 7.223 % |
133.86/134.01 c | 345522 | 24804 144082 489904 | 2147483647 282130 27 | 7.223 % |
135.46/135.63 c | 348250 | 24804 144082 489904 | 2147483647 284858 27 | 7.223 % |
146.16/146.34 c | 351249 | 24804 144082 489904 | 2147483647 287857 29 | 7.223 % |
147.95/148.15 c | 354546 | 24804 144082 489904 | 2147483647 291154 29 | 7.223 % |
148.05/148.23 c | 354646 | 24804 144082 489904 | 2147483647 291254 29 | 7.223 % |
148.15/148.34 c | 354757 | 24804 144082 489904 | 2147483647 291365 29 | 7.223 % |
148.25/148.42 c | 354879 | 24804 144082 489904 | 2147483647 291487 29 | 7.223 % |
148.36/148.53 c | 355012 | 24804 144082 489904 | 2147483647 291620 29 | 7.223 % |
148.36/148.57 c | 355158 | 24804 144082 489904 | 2147483647 291766 29 | 7.223 % |
148.46/148.65 c | 355318 | 24804 144082 489904 | 2147483647 291926 29 | 7.223 % |
148.55/148.80 c | 355494 | 24804 144082 489904 | 2147483647 292102 29 | 7.223 % |
148.75/148.90 c | 355688 | 24804 144082 489904 | 2147483647 292296 29 | 7.223 % |
148.75/148.92 c | 355901 | 24804 144082 489904 | 2147483647 292509 29 | 7.223 % |
148.85/149.07 c | 356134 | 24804 144082 489904 | 2147483647 292742 29 | 7.223 % |
149.05/149.23 c | 356390 | 24804 144082 489904 | 2147483647 292998 29 | 7.223 % |
149.25/149.46 c | 356672 | 24804 144082 489904 | 2147483647 293280 29 | 7.223 % |
149.55/149.73 c | 356981 | 24804 144082 489904 | 2147483647 293589 29 | 7.223 % |
149.75/149.99 c | 357320 | 24804 144082 489904 | 2147483647 293928 29 | 7.223 % |
150.45/150.69 c | 357692 | 24804 144082 489904 | 2147483647 294300 29 | 7.223 % |
150.95/151.17 c | 358102 | 24804 144082 489904 | 2147483647 294710 29 | 7.223 % |
151.35/151.57 c | 358551 | 24804 144082 489904 | 2147483647 295159 29 | 7.223 % |
151.75/151.95 c | 359044 | 24804 144082 489904 | 2147483647 295652 29 | 7.223 % |
153.16/153.38 c | 359586 | 24804 144082 489904 | 2147483647 296194 30 | 7.223 % |
153.65/153.89 c | 360183 | 24804 144082 489904 | 2147483647 296791 30 | 7.223 % |
154.15/154.36 c | 360838 | 24804 144082 489904 | 2147483647 297446 30 | 7.223 % |
155.55/155.75 c | 361559 | 24804 144082 489904 | 2147483647 298167 30 | 7.223 % |
156.06/156.25 c | 362351 | 24804 144082 489904 | 2147483647 298959 30 | 7.223 % |
156.65/156.86 c | 363222 | 24804 144082 489904 | 2147483647 299830 30 | 7.223 % |
159.65/159.86 c | 364180 | 24804 144082 489904 | 2147483647 300788 30 | 7.223 % |
160.55/160.71 c | 365236 | 24804 144082 489904 | 2147483647 301844 31 | 7.223 % |
161.35/161.54 c | 366394 | 24804 144082 489904 | 2147483647 303002 31 | 7.223 % |
162.24/162.42 c | 367667 | 24804 144082 489904 | 2147483647 304275 31 | 7.223 % |
163.24/163.41 c | 369067 | 24804 144082 489904 | 2147483647 305675 31 | 7.223 % |
165.74/165.94 c | 370608 | 24804 144082 489904 | 2147483647 307216 31 | 7.223 % |
167.05/167.27 c | 372302 | 24804 144082 489904 | 2147483647 308910 31 | 7.223 % |
174.54/174.79 c | 374166 | 24804 144082 489904 | 2147483647 310774 33 | 7.223 % |
176.15/176.30 c | 376216 | 24804 144082 489904 | 2147483647 312824 33 | 7.223 % |
183.94/184.16 c | 378472 | 24804 144082 489904 | 2147483647 315080 35 | 7.223 % |
186.04/186.23 c | 380950 | 24804 144082 489904 | 2147483647 317558 34 | 7.223 % |
189.34/189.58 c | 383675 | 24804 144082 489904 | 2147483647 320283 35 | 7.223 % |
197.04/197.20 c | 386673 | 24804 144082 489904 | 2147483647 323281 36 | 7.223 % |
199.23/199.48 c | 389970 | 24804 144082 489904 | 2147483647 326578 36 | 7.223 % |
202.24/202.46 c | 393596 | 24804 144082 489904 | 2147483647 330204 36 | 7.223 % |
202.34/202.57 c | 393696 | 24804 144082 489904 | 2147483647 330304 36 | 7.223 % |
202.53/202.71 c | 393806 | 24804 144082 489904 | 2147483647 330414 36 | 7.223 % |
202.63/202.82 c | 393927 | 24804 144082 489904 | 2147483647 330535 36 | 7.223 % |
202.73/202.96 c | 394060 | 24804 144082 489904 | 2147483647 330668 36 | 7.223 % |
202.93/203.13 c | 394207 | 24804 144082 489904 | 2147483647 330815 36 | 7.223 % |
203.04/203.28 c | 394367 | 24804 144082 489904 | 2147483647 330975 36 | 7.223 % |
203.24/203.45 c | 394544 | 24804 144082 489904 | 2147483647 331152 36 | 7.223 % |
203.45/203.64 c | 394738 | 24804 144082 489904 | 2147483647 331346 36 | 7.223 % |
203.54/203.73 c | 394950 | 24804 144082 489904 | 2147483647 331558 36 | 7.223 % |
203.84/204.01 c | 395184 | 24804 144082 489904 | 2147483647 331792 36 | 7.223 % |
204.54/204.76 c | 395440 | 24804 144082 489904 | 2147483647 332048 36 | 7.223 % |
204.84/205.05 c | 395721 | 24804 144082 489904 | 2147483647 332329 36 | 7.223 % |
205.04/205.29 c | 396030 | 24804 144082 489904 | 2147483647 332638 36 | 7.223 % |
205.44/205.63 c | 396369 | 24804 144082 489904 | 2147483647 332977 36 | 7.223 % |
205.74/205.92 c | 396741 | 24804 144082 489904 | 2147483647 333349 36 | 7.223 % |
206.44/206.62 c | 397150 | 24804 144082 489904 | 2147483647 333758 36 | 7.223 % |
206.84/207.03 c | 397600 | 24804 144082 489904 | 2147483647 334208 36 | 7.223 % |
207.34/207.50 c | 398093 | 24804 144082 489904 | 2147483647 334701 36 | 7.223 % |
208.24/208.48 c | 398635 | 24804 144082 489904 | 2147483647 335243 36 | 7.223 % |
208.84/209.00 c | 399232 | 24804 144082 489904 | 2147483647 335840 36 | 7.223 % |
212.63/212.88 c | 399887 | 24804 144082 489904 | 2147483647 336495 37 | 7.223 % |
213.24/213.46 c | 400611 | 24804 144082 489904 | 2147483647 337219 37 | 7.223 % |
214.03/214.20 c | 401403 | 24804 144082 489904 | 2147483647 338011 37 | 7.223 % |
216.03/216.20 c | 402276 | 24804 144082 489904 | 2147483647 338884 37 | 7.223 % |
219.24/219.42 c | 403235 | 24804 144082 489904 | 2147483647 339843 38 | 7.223 % |
222.14/222.35 c | 404290 | 24804 144082 489904 | 2147483647 340898 38 | 7.223 % |
224.63/224.85 c | 405448 | 24804 144082 489904 | 2147483647 342056 38 | 7.223 % |
227.13/227.38 c | 406721 | 24804 144082 489904 | 2147483647 343329 39 | 7.223 % |
228.53/228.78 c | 408121 | 24804 144082 489904 | 2147483647 344729 39 | 7.223 % |
229.83/230.05 c | 409661 | 24804 144082 489904 | 2147483647 346269 39 | 7.223 % |
232.13/232.33 c | 411356 | 24804 144082 489904 | 2147483647 347964 39 | 7.223 % |
239.52/239.78 c | 413219 | 24804 144082 489904 | 2147483647 349827 40 | 7.223 % |
241.33/241.59 c | 415269 | 24804 144082 489904 | 2147483647 351877 40 | 7.223 % |
242.33/242.50 c | 417522 | 24804 144082 489904 | 2147483647 354130 40 | 7.223 % |
244.92/245.12 c | 420000 | 24804 144082 489904 | 2147483647 356608 40 | 7.223 % |
247.42/247.64 c | 422726 | 24804 144082 489904 | 2147483647 359334 40 | 7.223 % |
252.03/252.26 c | 425723 | 24804 144082 489904 | 2147483647 362331 41 | 7.223 % |
261.92/262.18 c | 429019 | 24804 144082 489904 | 2147483647 365627 42 | 7.223 % |
265.42/265.63 c | 432645 | 24804 144082 489904 | 2147483647 369253 43 | 7.223 % |
268.82/269.06 c | 436632 | 24804 144082 489904 | 2147483647 373240 42 | 7.223 % |
268.92/269.11 c | 436733 | 24804 144082 489904 | 2147483647 373341 42 | 7.223 % |
269.02/269.28 c | 436844 | 24804 144082 489904 | 2147483647 373452 42 | 7.223 % |
269.22/269.45 c | 436965 | 24804 144082 489904 | 2147483647 373573 42 | 7.223 % |
269.42/269.62 c | 437098 | 24804 144082 489904 | 2147483647 373706 42 | 7.223 % |
269.42/269.66 c | 437244 | 24804 144082 489904 | 2147483647 373852 42 | 7.223 % |
269.52/269.78 c | 437406 | 24804 144082 489904 | 2147483647 374014 42 | 7.223 % |
269.62/269.85 c | 437583 | 24804 144082 489904 | 2147483647 374191 42 | 7.223 % |
269.82/270.08 c | 437776 | 24804 144082 489904 | 2147483647 374384 42 | 7.223 % |
270.12/270.37 c | 437989 | 24804 144082 489904 | 2147483647 374597 42 | 7.223 % |
270.42/270.60 c | 438222 | 24804 144082 489904 | 2147483647 374830 42 | 7.223 % |
270.62/270.84 c | 438478 | 24804 144082 489904 | 2147483647 375086 42 | 7.223 % |
270.92/271.15 c | 438759 | 24804 144082 489904 | 2147483647 375367 42 | 7.223 % |
271.32/271.51 c | 439068 | 24804 144082 489904 | 2147483647 375676 42 | 7.223 % |
271.92/272.12 c | 439407 | 24804 144082 489904 | 2147483647 376015 42 | 7.223 % |
272.22/272.40 c | 439779 | 24804 144082 489904 | 2147483647 376387 42 | 7.223 % |
272.62/272.85 c | 440188 | 24804 144082 489904 | 2147483647 376796 42 | 7.223 % |
273.22/273.44 c | 440640 | 24804 144082 489904 | 2147483647 377248 42 | 7.223 % |
273.72/273.91 c | 441134 | 24804 144082 489904 | 2147483647 377742 42 | 7.223 % |
274.11/274.37 c | 441676 | 24804 144082 489904 | 2147483647 378284 42 | 7.223 % |
277.31/277.56 c | 442272 | 24804 144082 489904 | 2147483647 378880 43 | 7.223 % |
278.12/278.36 c | 442927 | 24804 144082 489904 | 2147483647 379535 43 | 7.223 % |
278.71/278.98 c | 443647 | 24804 144082 489904 | 2147483647 380255 43 | 7.223 % |
279.81/280.07 c | 444440 | 24804 144082 489904 | 2147483647 381048 43 | 7.223 % |
281.02/281.24 c | 445312 | 24804 144082 489904 | 2147483647 381920 43 | 7.223 % |
281.82/282.00 c | 446271 | 24804 144082 489904 | 2147483647 382879 43 | 7.223 % |
288.12/288.37 c | 447324 | 24804 144082 489904 | 2147483647 383932 44 | 7.223 % |
289.01/289.26 c | 448482 | 24804 144082 489904 | 2147483647 385090 44 | 7.223 % |
290.61/290.82 c | 449755 | 24802 144068 489858 | 2147483647 386347 44 | 7.230 % |
292.31/292.58 c | 451155 | 24802 144068 489858 | 2147483647 387747 44 | 7.230 % |
294.51/294.72 c | 452696 | 24802 144068 489858 | 2147483647 389288 44 | 7.230 % |
298.91/299.15 c | 454391 | 24802 144068 489858 | 2147483647 390983 44 | 7.230 % |
302.91/303.11 c | 456256 | 24802 144068 489858 | 2147483647 392848 45 | 7.230 % |
309.20/309.48 c | 458306 | 24802 144068 489858 | 2147483647 394898 45 | 7.230 % |
310.90/311.18 c | 460559 | 24801 144068 489858 | 2147483647 397150 45 | 7.234 % |
313.40/313.69 c | 463037 | 24801 144068 489858 | 2147483647 399628 45 | 7.234 % |
316.40/316.65 c | 465762 | 24801 144068 489858 | 2147483647 402353 45 | 7.234 % |
323.40/323.66 c | 468759 | 24801 144068 489858 | 2147483647 405350 46 | 7.234 % |
340.60/340.85 c | 472056 | 24801 144068 489858 | 406591 408647 48 | 7.234 % |
344.69/344.95 c | 475681 | 24801 144068 489858 | 406591 366351 49 | 7.234 % |
349.89/350.15 c | 479669 | 24801 144063 489842 | 406591 370322 49 | 7.234 % |
354.59/354.89 c | 484054 | 24801 144063 489842 | 2147483647 374707 49 | 7.234 % |
354.79/355.02 c | 484155 | 24800 144063 489842 | 2147483647 374807 49 | 7.241 % |
354.99/355.28 c | 484269 | 24799 144063 489842 | 2147483647 374921 49 | 7.241 % |
355.19/355.40 c | 484391 | 24799 144063 489842 | 2147483647 375043 49 | 7.241 % |
355.29/355.59 c | 484525 | 24799 144063 489842 | 2147483647 375177 49 | 7.241 % |
355.49/355.74 c | 484671 | 24799 144063 489842 | 2147483647 375323 49 | 7.241 % |
355.69/355.92 c | 484832 | 24799 144063 489842 | 2147483647 375484 49 | 7.241 % |
355.79/356.07 c | 485009 | 24799 144063 489842 | 2147483647 375661 49 | 7.241 % |
355.99/356.21 c | 485202 | 24799 144063 489842 | 2147483647 375854 49 | 7.241 % |
355.99/356.26 c | 485414 | 24799 144063 489842 | 2147483647 376066 49 | 7.241 % |
355.99/356.27 c | 485647 | 24799 144063 489842 | 2147483647 376299 49 | 7.241 % |
355.99/356.29 c | 485903 | 24799 144063 489842 | 2147483647 376555 49 | 7.241 % |
356.29/356.55 c | 486185 | 24799 144063 489842 | 2147483647 376837 49 | 7.241 % |
356.69/356.90 c | 486496 | 24799 144063 489842 | 2147483647 377148 49 | 7.241 % |
356.99/357.21 c | 486835 | 24799 144063 489842 | 2147483647 377487 49 | 7.241 % |
357.19/357.49 c | 487208 | 24799 144063 489842 | 2147483647 377860 49 | 7.241 % |
357.69/357.91 c | 487617 | 24799 144063 489842 | 2147483647 378269 49 | 7.241 % |
357.99/358.29 c | 488069 | 24799 144063 489842 | 2147483647 378721 49 | 7.241 % |
358.79/359.08 c | 488563 | 24794 144063 489842 | 2147483647 379214 49 | 7.264 % |
359.59/359.85 c | 489105 | 24794 144063 489842 | 2147483647 379756 49 | 7.264 % |
360.69/360.91 c | 489701 | 24794 144063 489842 | 2147483647 380352 49 | 7.264 % |
361.29/361.56 c | 490356 | 24794 144063 489842 | 2147483647 381007 49 | 7.264 % |
362.09/362.31 c | 491076 | 24794 144063 489842 | 2147483647 381727 49 | 7.264 % |
362.89/363.15 c | 491868 | 24794 144063 489842 | 2147483647 382519 49 | 7.264 % |
366.48/366.71 c | 492739 | 24794 144063 489842 | 2147483647 383390 49 | 7.264 % |
367.78/368.06 c | 493699 | 24794 144063 489842 | 2147483647 384350 49 | 7.264 % |
369.68/369.98 c | 494752 | 24794 144063 489842 | 2147483647 385403 49 | 7.264 % |
371.38/371.70 c | 495910 | 24794 144063 489842 | 2147483647 386561 49 | 7.264 % |
376.18/376.48 c | 497185 | 24794 144063 489842 | 2147483647 387836 50 | 7.264 % |
377.58/377.81 c | 498585 | 24794 144063 489842 | 2147483647 389236 50 | 7.264 % |
378.78/379.05 c | 500126 | 24794 144063 489842 | 2147483647 390777 50 | 7.264 % |
385.28/385.58 c | 501821 | 24794 144063 489842 | 2147483647 392472 51 | 7.264 % |
387.18/387.43 c | 503684 | 24794 144063 489842 | 2147483647 394335 51 | 7.264 % |
389.29/389.53 c | 505734 | 24794 144063 489842 | 2147483647 396385 51 | 7.264 % |
404.58/404.89 c | 507987 | 24794 144063 489842 | 2147483647 398638 53 | 7.264 % |
407.48/407.70 c | 510465 | 24793 144017 489690 | 2147483647 400312 53 | 7.264 % |
410.58/410.80 c | 513192 | 24793 144017 489690 | 2147483647 403039 53 | 7.264 % |
416.37/416.68 c | 516189 | 24793 144017 489690 | 2147483647 406036 53 | 7.264 % |
419.58/419.82 c | 519488 | 24793 144017 489690 | 2147483647 409335 53 | 7.264 % |
436.87/437.16 c | 523113 | 24793 144017 489690 | 2147483647 412960 56 | 7.264 % |
440.77/441.10 c | 527100 | 24793 144017 489690 | 2147483647 416947 55 | 7.264 % |
456.86/457.19 c | 531486 | 24793 144017 489690 | 2147483647 421333 57 | 7.264 % |
478.86/479.12 c | 536309 | 24793 144017 489690 | 2147483647 426156 60 | 7.264 % |
479.05/479.34 c | 536409 | 24793 144017 489690 | 2147483647 426256 60 | 7.264 % |
479.15/479.44 c | 536519 | 24793 144017 489690 | 2147483647 426366 60 | 7.264 % |
479.36/479.62 c | 536641 | 24793 144017 489690 | 2147483647 426488 60 | 7.264 % |
479.46/479.79 c | 536775 | 24793 144017 489690 | 2147483647 426622 60 | 7.264 % |
479.65/479.90 c | 536921 | 24793 144017 489690 | 2147483647 426768 60 | 7.264 % |
479.75/480.08 c | 537082 | 24793 144017 489690 | 2147483647 426929 60 | 7.264 % |
479.95/480.27 c | 537258 | 24793 144017 489690 | 2147483647 427105 60 | 7.264 % |
480.15/480.41 c | 537451 | 24793 144017 489690 | 2147483647 427298 60 | 7.264 % |
480.46/480.71 c | 537664 | 24793 144017 489690 | 2147483647 427511 60 | 7.264 % |
480.65/480.98 c | 537897 | 24793 144017 489690 | 2147483647 427744 59 | 7.264 % |
480.95/481.29 c | 538153 | 24793 144017 489690 | 2147483647 428000 59 | 7.264 % |
481.35/481.63 c | 538434 | 24793 144017 489690 | 2147483647 428281 59 | 7.264 % |
481.66/481.99 c | 538743 | 24793 144017 489690 | 2147483647 428590 59 | 7.264 % |
482.16/482.49 c | 539082 | 24793 144017 489690 | 2147483647 428929 59 | 7.264 % |
482.96/483.24 c | 539456 | 24793 144017 489690 | 2147483647 429303 59 | 7.264 % |
483.46/483.77 c | 539865 | 24793 144017 489690 | 2147483647 429712 59 | 7.264 % |
484.46/484.78 c | 540314 | 24793 144017 489690 | 429847 430161 59 | 7.264 % |
486.36/486.65 c | 540807 | 24793 144017 489690 | 429847 430654 60 | 7.264 % |
486.86/487.19 c | 541349 | 24793 144017 489690 | 429847 431196 60 | 7.264 % |
487.46/487.79 c | 541945 | 24793 144017 489690 | 429847 431792 60 | 7.264 % |
488.86/489.19 c | 542601 | 24793 144017 489690 | 429847 384670 65 | 7.264 % |
489.66/489.97 c | 543321 | 24793 144017 489690 | 429847 385390 65 | 7.264 % |
491.26/491.52 c | 544113 | 24793 144017 489690 | 429847 386182 65 | 7.264 % |
492.66/492.90 c | 544985 | 24793 144017 489690 | 429847 387054 65 | 7.264 % |
493.76/494.06 c | 545943 | 24793 144017 489690 | 429847 388012 65 | 7.264 % |
496.26/496.50 c | 546996 | 24793 144017 489690 | 429847 389065 65 | 7.264 % |
497.86/498.16 c | 548154 | 24793 144017 489690 | 429847 390223 65 | 7.264 % |
501.75/502.03 c | 549428 | 24793 144017 489690 | 429847 391497 66 | 7.264 % |
502.95/503.28 c | 550828 | 24793 144017 489690 | 392069 392897 65 | 7.264 % |
503.75/504.01 c | 552369 | 24793 144017 489690 | 392069 394438 65 | 7.264 % |
506.35/506.67 c | 554064 | 24793 144017 489690 | 392069 356690 66 | 7.264 % |
513.45/513.72 c | 555928 | 24793 144017 489690 | 392069 358554 67 | 7.264 % |
515.65/516.00 c | 557977 | 24793 144017 489690 | 392069 360603 67 | 7.264 % |
518.65/518.92 c | 560230 | 24793 144017 489690 | 2147483647 362856 67 | 7.264 % |
520.55/520.88 c | 562708 | 24793 144017 489690 | 2147483647 365334 67 | 7.264 % |
528.54/528.82 c | 565436 | 24793 144017 489690 | 2147483647 368062 67 | 7.264 % |
544.44/544.80 c | 568433 | 24793 144017 489690 | 2147483647 371059 70 | 7.264 % |
549.33/549.65 c | 571729 | 24793 144017 489690 | 2147483647 374355 70 | 7.264 % |
565.53/565.84 c | 575354 | 24793 144017 489690 | 2147483647 377980 72 | 7.264 % |
570.23/570.57 c | 579342 | 24793 144017 489690 | 2147483647 381968 72 | 7.264 % |
578.53/578.82 c | 583729 | 24793 144017 489690 | 382626 386355 73 | 7.264 % |
601.83/602.18 c | 588552 | 24793 144017 489690 | 382626 349198 73 | 7.264 % |
609.42/609.70 c | 593857 | 24793 144017 489690 | 350647 319072 74 | 7.264 % |
609.52/609.88 c | 593957 | 24793 144017 489690 | 350647 319172 74 | 7.264 % |
609.72/610.05 c | 594069 | 24793 144017 489690 | 350647 319284 74 | 7.264 % |
609.82/610.16 c | 594192 | 24793 144017 489690 | 350647 319407 74 | 7.264 % |
610.02/610.35 c | 594326 | 24793 144017 489690 | 350647 319541 74 | 7.264 % |
610.12/610.50 c | 594472 | 24793 144017 489690 | 350647 319687 74 | 7.264 % |
610.33/610.65 c | 594632 | 24793 144017 489690 | 350647 319847 74 | 7.264 % |
610.62/610.93 c | 594811 | 24793 144017 489690 | 350647 320026 74 | 7.264 % |
611.02/611.33 c | 595004 | 24793 144017 489690 | 350647 320219 73 | 7.264 % |
611.22/611.57 c | 595216 | 24793 144017 489690 | 350647 320431 73 | 7.264 % |
611.52/611.84 c | 595450 | 24793 144017 489690 | 350647 320665 73 | 7.264 % |
611.82/612.20 c | 595706 | 24793 144017 489690 | 350647 320921 73 | 7.264 % |
612.22/612.53 c | 595989 | 24793 144017 489690 | 350647 321204 73 | 7.264 % |
612.62/612.92 c | 596300 | 24793 144017 489690 | 350647 321515 73 | 7.264 % |
613.12/613.42 c | 596639 | 24793 144017 489690 | 350647 321854 73 | 7.264 % |
613.62/613.91 c | 597011 | 24793 144017 489690 | 350647 322226 73 | 7.264 % |
615.42/615.75 c | 597420 | 24793 144017 489690 | 350647 322635 73 | 7.264 % |
615.72/616.07 c | 597870 | 24793 144017 489690 | 350647 323085 73 | 7.264 % |
616.22/616.51 c | 598363 | 24793 144017 489690 | 350647 323578 73 | 7.264 % |
616.82/617.12 c | 598905 | 24793 144017 489690 | 350647 324120 73 | 7.264 % |
618.72/619.00 c | 599502 | 24793 144017 489690 | 350647 324717 74 | 7.264 % |
619.42/619.76 c | 600160 | 24793 144017 489690 | 2147483647 325375 73 | 7.264 % |
620.32/620.67 c | 600880 | 24793 144017 489690 | 2147483647 326095 73 | 7.264 % |
621.22/621.53 c | 601673 | 24793 144017 489690 | 2147483647 326888 73 | 7.264 % |
622.32/622.61 c | 602544 | 24793 144017 489690 | 2147483647 327759 73 | 7.264 % |
623.42/623.70 c | 603502 | 24793 144017 489690 | 2147483647 328717 73 | 7.264 % |
625.12/625.46 c | 604556 | 24793 144017 489690 | 2147483647 329771 73 | 7.264 % |
634.01/634.33 c | 605714 | 24793 144017 489690 | 2147483647 330929 74 | 7.264 % |
635.11/635.44 c | 606988 | 24793 144017 489690 | 2147483647 332203 74 | 7.264 % |
636.72/637.01 c | 608388 | 24793 144017 489690 | 2147483647 333603 74 | 7.264 % |
641.01/641.33 c | 609928 | 24793 144017 489690 | 2147483647 335143 75 | 7.264 % |
643.21/643.60 c | 611622 | 24793 144017 489690 | 2147483647 336837 75 | 7.264 % |
647.31/647.67 c | 613486 | 24793 144017 489690 | 2147483647 338701 75 | 7.264 % |
658.20/658.54 c | 615535 | 24793 144017 489690 | 2147483647 340750 76 | 7.264 % |
668.90/669.30 c | 617789 | 24793 144017 489690 | 2147483647 343004 78 | 7.264 % |
671.00/671.35 c | 620267 | 24793 144017 489690 | 2147483647 345482 78 | 7.264 % |
674.00/674.35 c | 622994 | 24793 144017 489690 | 2147483647 348209 77 | 7.264 % |
687.60/687.93 c | 625991 | 24793 144017 489690 | 2147483647 351206 79 | 7.264 % |
690.10/690.43 c | 629287 | 24793 144017 489690 | 2147483647 354502 79 | 7.264 % |
693.49/693.85 c | 632913 | 24793 144017 489690 | 2147483647 358128 78 | 7.264 % |
697.89/698.23 c | 636901 | 24791 144003 489646 | 2147483647 362018 78 | 7.271 % |
704.19/704.51 c | 641287 | 24791 144003 489646 | 2147483647 366404 79 | 7.271 % |
710.19/710.53 c | 646110 | 24791 144003 489646 | 2147483647 371227 78 | 7.271 % |
737.68/738.08 c | 651417 | 24791 144003 489646 | 2147483647 376534 82 | 7.271 % |
744.08/744.46 c | 657252 | 24791 144003 489646 | 2147483647 382369 81 | 7.271 % |
744.18/744.58 c | 657352 | 24791 144003 489646 | 2147483647 382469 81 | 7.271 % |
744.38/744.73 c | 657463 | 24791 144003 489646 | 2147483647 382580 81 | 7.271 % |
744.48/744.89 c | 657585 | 24791 144003 489646 | 2147483647 382702 81 | 7.271 % |
744.78/745.15 c | 657719 | 24791 144003 489646 | 2147483647 382836 81 | 7.271 % |
744.98/745.30 c | 657866 | 24791 144003 489646 | 2147483647 382983 81 | 7.271 % |
745.08/745.46 c | 658027 | 24791 144003 489646 | 2147483647 383144 81 | 7.271 % |
745.38/745.74 c | 658203 | 24791 144003 489646 | 2147483647 383320 81 | 7.271 % |
746.28/746.66 c | 658396 | 24791 144003 489646 | 2147483647 383513 81 | 7.271 % |
746.58/746.99 c | 658608 | 24791 144003 489646 | 2147483647 383725 81 | 7.271 % |
746.98/747.34 c | 658841 | 24791 144003 489646 | 2147483647 383958 81 | 7.271 % |
747.28/747.64 c | 659097 | 24791 144003 489646 | 2147483647 384214 81 | 7.271 % |
747.78/748.12 c | 659378 | 24791 144003 489646 | 2147483647 384495 81 | 7.271 % |
748.78/749.11 c | 659688 | 24791 144003 489646 | 2147483647 384805 81 | 7.271 % |
749.18/749.55 c | 660027 | 24791 144003 489646 | 2147483647 385144 81 | 7.271 % |
749.68/750.04 c | 660399 | 24790 144003 489646 | 2147483647 385515 81 | 7.275 % |
750.28/750.69 c | 660809 | 24790 144003 489646 | 2147483647 385925 81 | 7.275 % |
750.88/751.25 c | 661259 | 24790 144003 489646 | 2147483647 386375 81 | 7.275 % |
753.38/753.80 c | 661754 | 24790 144003 489646 | 2147483647 386870 81 | 7.275 % |
753.98/754.37 c | 662296 | 24790 144003 489646 | 2147483647 387412 81 | 7.275 % |
754.78/755.14 c | 662892 | 24790 144003 489646 | 2147483647 388008 81 | 7.275 % |
755.58/755.90 c | 663547 | 24790 144003 489646 | 2147483647 388663 81 | 7.275 % |
756.58/756.94 c | 664267 | 24790 144003 489646 | 2147483647 389383 81 | 7.275 % |
758.28/758.62 c | 665059 | 24790 144003 489646 | 2147483647 390175 81 | 7.275 % |
759.48/759.84 c | 665930 | 24790 144003 489646 | 2147483647 391046 81 | 7.275 % |
765.38/765.71 c | 666888 | 24790 144003 489646 | 2147483647 392004 81 | 7.275 % |
766.98/767.31 c | 667941 | 24790 144003 489646 | 2147483647 393057 81 | 7.275 % |
768.58/768.96 c | 669100 | 24790 144003 489646 | 2147483647 394216 81 | 7.275 % |
774.47/774.89 c | 670373 | 24790 144003 489646 | 395117 395489 82 | 7.275 % |
775.87/776.28 c | 671773 | 24790 144003 489646 | 395117 396889 82 | 7.275 % |
777.17/777.55 c | 673314 | 24790 144003 489646 | 395117 398430 82 | 7.275 % |
779.47/779.87 c | 675009 | 24790 144003 489646 | 395117 360282 78 | 7.275 % |
782.07/782.44 c | 676872 | 24790 144003 489646 | 395117 362145 78 | 7.275 % |
791.17/791.50 c | 678922 | 24790 144003 489646 | 395117 364195 79 | 7.275 % |
794.87/795.23 c | 681176 | 24790 143996 489622 | 2147483647 366448 79 | 7.275 % |
805.06/805.48 c | 683654 | 24790 143996 489622 | 2147483647 368926 80 | 7.275 % |
808.27/808.62 c | 686379 | 24790 143996 489622 | 2147483647 371651 80 | 7.275 % |
811.96/812.34 c | 689377 | 24790 143996 489622 | 2147483647 374649 79 | 7.275 % |
816.46/816.88 c | 692673 | 24790 143996 489622 | 2147483647 377945 80 | 7.275 % |
825.26/825.61 c | 696298 | 24790 143996 489622 | 2147483647 381570 80 | 7.275 % |
829.46/829.80 c | 700286 | 24790 143996 489622 | 2147483647 385558 80 | 7.275 % |
853.25/853.64 c | 704671 | 24790 143996 489622 | 2147483647 389943 83 | 7.275 % |
859.15/859.58 c | 709495 | 24790 143996 489622 | 2147483647 394767 82 | 7.275 % |
878.44/878.83 c | 714803 | 24790 143996 489622 | 395272 400075 84 | 7.275 % |
886.94/887.30 c | 720638 | 24790 143996 489622 | 350580 351218 80 | 7.275 % |
910.93/911.31 c | 727057 | 24790 143996 489622 | 350580 357637 84 | 7.275 % |
911.54/911.93 c | 727157 | 24790 143996 489622 | 350580 315657 81 | 7.275 % |
911.73/912.16 c | 727268 | 24790 143996 489622 | 350580 315768 81 | 7.275 % |
911.92/912.30 c | 727389 | 24790 143996 489622 | 350580 315889 81 | 7.275 % |
912.12/912.53 c | 727523 | 24790 143996 489622 | 350580 316023 81 | 7.275 % |
912.32/912.74 c | 727669 | 24790 143996 489622 | 350580 316169 81 | 7.275 % |
912.72/913.17 c | 727830 | 24790 143996 489622 | 350580 316330 81 | 7.275 % |
913.12/913.58 c | 728006 | 24790 143996 489622 | 350580 316506 81 | 7.275 % |
913.42/913.81 c | 728200 | 24790 143996 489622 | 350580 316700 81 | 7.275 % |
913.52/913.99 c | 728412 | 24790 143996 489622 | 350580 316912 81 | 7.275 % |
913.62/914.04 c | 728645 | 24790 143996 489622 | 350580 317145 81 | 7.275 % |
913.82/914.21 c | 728901 | 24790 143996 489622 | 350580 317401 81 | 7.275 % |
914.12/914.56 c | 729182 | 24790 143996 489622 | 350580 317682 81 | 7.275 % |
914.42/914.87 c | 729493 | 24790 143996 489622 | 350580 317993 81 | 7.275 % |
914.82/915.26 c | 729832 | 24790 143996 489622 | 350580 318332 81 | 7.275 % |
915.22/915.69 c | 730204 | 24790 143996 489622 | 318501 318704 81 | 7.275 % |
916.02/916.41 c | 730613 | 24790 143996 489622 | 318501 319113 81 | 7.275 % |
916.52/916.94 c | 731062 | 24790 143996 489622 | 318501 319562 80 | 7.275 % |
917.92/918.37 c | 731556 | 24790 143996 489622 | 318501 320056 81 | 7.275 % |
918.52/918.96 c | 732099 | 24790 143996 489622 | 318501 320599 80 | 7.275 % |
920.02/920.42 c | 732695 | 24787 143979 489565 | 318501 289129 73 | 7.286 % |
920.72/921.18 c | 733350 | 24787 143979 489565 | 318501 289784 73 | 7.286 % |
921.82/922.25 c | 734070 | 24787 143979 489565 | 318501 290504 73 | 7.286 % |
922.62/923.03 c | 734862 | 24787 143979 489565 | 318501 291296 73 | 7.286 % |
925.71/926.16 c | 735733 | 24787 143979 489565 | 318501 292167 73 | 7.286 % |
926.81/927.25 c | 736691 | 24787 143979 489565 | 318501 293125 73 | 7.286 % |
930.81/931.20 c | 737744 | 24787 143979 489565 | 318501 294178 74 | 7.286 % |
935.92/936.31 c | 738902 | 24787 143979 489565 | 318501 295336 74 | 7.286 % |
936.92/937.31 c | 740175 | 24787 143979 489565 | 2147483647 296609 74 | 7.286 % |
938.72/939.11 c | 741575 | 24787 143979 489565 | 2147483647 298009 74 | 7.286 % |
942.22/942.67 c | 743115 | 24787 143979 489565 | 2147483647 299549 75 | 7.286 % |
944.12/944.60 c | 744810 | 24787 143979 489565 | 2147483647 301244 75 | 7.286 % |
948.32/948.72 c | 746674 | 24787 143979 489565 | 2147483647 303108 76 | 7.286 % |
950.42/950.81 c | 748723 | 24787 143979 489565 | 2147483647 305157 75 | 7.286 % |
959.61/960.03 c | 750977 | 24787 143979 489565 | 2147483647 307411 77 | 7.286 % |
961.51/961.96 c | 753456 | 24787 143979 489565 | 2147483647 309890 77 | 7.286 % |
963.91/964.31 c | 756182 | 24787 143979 489565 | 2147483647 312616 77 | 7.286 % |
968.51/968.93 c | 759180 | 24787 143979 489565 | 2147483647 315614 77 | 7.286 % |
973.01/973.49 c | 762478 | 24787 143979 489565 | 2147483647 318912 77 | 7.286 % |
980.71/981.13 c | 766103 | 24787 143979 489565 | 2147483647 322537 77 | 7.286 % |
999.90/1000.31 c | 770090 | 24787 143979 489565 | 2147483647 326524 80 | 7.286 % |
1009.40/1009.84 c | 774476 | 24781 143960 489508 | 2147483647 330906 81 | 7.309 % |
1030.69/1031.18 c | 779299 | 24780 143960 489508 | 2147483647 335728 84 | 7.313 % |
1036.29/1036.77 c | 784604 | 24780 143960 489508 | 2147483647 341033 83 | 7.313 % |
1061.09/1061.57 c | 790440 | 24780 143960 489508 | 2147483647 346869 86 | 7.313 % |
1093.48/1093.90 c | 796858 | 24780 143960 489508 | 2147483647 353287 91 | 7.313 % |
1099.27/1099.71 c | 803918 | 24780 143960 489508 | 2147483647 360347 90 | 7.313 % |
1099.77/1100.27 c | 804018 | 24780 143953 489485 | 2147483647 360446 90 | 7.313 % |
1099.98/1100.41 c | 804128 | 24780 143953 489485 | 2147483647 360556 90 | 7.313 % |
1100.08/1100.52 c | 804249 | 24780 143953 489485 | 2147483647 360677 90 | 7.313 % |
1100.28/1100.72 c | 804382 | 24780 143953 489485 | 2147483647 360810 90 | 7.313 % |
1100.37/1100.84 c | 804529 | 24780 143953 489485 | 2147483647 360957 90 | 7.313 % |
1100.47/1100.90 c | 804690 | 24780 143953 489485 | 2147483647 361118 90 | 7.313 % |
1100.57/1101.04 c | 804866 | 24780 143953 489485 | 2147483647 361294 90 | 7.313 % |
1100.68/1101.20 c | 805059 | 24780 143953 489485 | 2147483647 361487 90 | 7.313 % |
1100.97/1101.46 c | 805272 | 24780 143953 489485 | 2147483647 361700 90 | 7.313 % |
1101.17/1101.67 c | 805505 | 24780 143953 489485 | 2147483647 361933 90 | 7.313 % |
1101.37/1101.87 c | 805761 | 24780 143953 489485 | 2147483647 362189 90 | 7.313 % |
1101.67/1102.15 c | 806042 | 24780 143953 489485 | 2147483647 362470 90 | 7.313 % |
1101.97/1102.45 c | 806353 | 24780 143953 489485 | 2147483647 362781 90 | 7.313 % |
1102.27/1102.80 c | 806692 | 24780 143953 489485 | 2147483647 363120 90 | 7.313 % |
1102.67/1103.16 c | 807064 | 24780 143953 489485 | 2147483647 363492 90 | 7.313 % |
1103.27/1103.77 c | 807473 | 24780 143953 489485 | 2147483647 363901 90 | 7.313 % |
1103.87/1104.31 c | 807922 | 24780 143953 489485 | 2147483647 364350 89 | 7.313 % |
1105.08/1105.53 c | 808415 | 24780 143953 489485 | 2147483647 364843 90 | 7.313 % |
1105.77/1106.20 c | 808958 | 24780 143953 489485 | 2147483647 365386 89 | 7.313 % |
1109.97/1110.43 c | 809555 | 24780 143953 489485 | 2147483647 365983 90 | 7.313 % |
1110.57/1111.01 c | 810210 | 24780 143953 489485 | 2147483647 366638 90 | 7.313 % |
1111.57/1112.01 c | 810932 | 24780 143953 489485 | 2147483647 367360 90 | 7.313 % |
1112.57/1113.06 c | 811725 | 24780 143953 489485 | 2147483647 368153 90 | 7.313 % |
1113.67/1114.14 c | 812596 | 24780 143953 489485 | 2147483647 369024 90 | 7.313 % |
1116.87/1117.31 c | 813554 | 24780 143953 489485 | 2147483647 369982 90 | 7.313 % |
1120.27/1120.70 c | 814607 | 24780 143953 489485 | 2147483647 371035 90 | 7.313 % |
1121.97/1122.46 c | 815766 | 24780 143953 489485 | 2147483647 372194 90 | 7.313 % |
1124.67/1125.15 c | 817039 | 24780 143953 489485 | 2147483647 373467 90 | 7.313 % |
1126.07/1126.55 c | 818439 | 24777 143953 489485 | 2147483647 374866 90 | 7.327 % |
1130.86/1131.39 c | 819979 | 24777 143953 489485 | 2147483647 376406 91 | 7.327 % |
1133.06/1133.60 c | 821673 | 24777 143953 489485 | 376428 378100 90 | 7.327 % |
1141.65/1142.18 c | 823536 | 24776 143953 489485 | 376428 342059 87 | 7.331 % |
1144.05/1144.56 c | 825585 | 24776 143953 489485 | 376428 344108 87 | 7.331 % |
1159.25/1159.77 c | 827839 | 24776 143953 489485 | 376428 346362 89 | 7.331 % |
1162.15/1162.62 c | 830319 | 24776 143953 489485 | 2147483647 348842 88 | 7.331 % |
1172.55/1173.00 c | 833045 | 24776 143953 489485 | 2147483647 351568 89 | 7.331 % |
1176.25/1176.72 c | 836042 | 24776 143953 489485 | 2147483647 354565 89 | 7.331 % |
1190.64/1191.13 c | 839338 | 24776 143953 489485 | 2147483647 357861 91 | 7.331 % |
1194.74/1195.25 c | 842963 | 24776 143953 489485 | 358523 361486 91 | 7.331 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832439-1242773148/watcher-1832439-1242773148 -o /tmp/evaluation-result-1832439-1242773148/solver-1832439-1242773148 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832439-1242773148.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 11411
/proc/meminfo: memFree=1798248/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=0
/proc/11411/stat : 11411 (SatELiteGTI) R 11409 11411 11148 0 -1 4194304 292 249 0 0 0 0 0 0 18 0 1 0 305342756 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 258939087519 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/11411/statm: 1339 237 197 169 0 50 0
[pid=11415] ppid=11411 vsize=5356 CPUtime=0
/proc/11415/stat : 11415 (SatELiteGTI) R 11411 11411 11148 0 -1 4194368 12 0 0 0 0 0 0 0 18 0 1 0 305342757 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 258938693789 0 0 4100 65536 0 0 0 17 0 0 0
/proc/11415/statm: 251 97 50 173 0 76 0
[startup+0.106131 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 11411
/proc/meminfo: memFree=1798248/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=0
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305342756 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11411/statm: 1339 237 197 169 0 50 0
[pid=11415] ppid=11411 vsize=15288 CPUtime=0.09
/proc/11415/stat : 11415 (SatELite_releas) R 11411 11411 11148 0 -1 4194304 3085 0 0 0 8 1 0 0 18 0 1 0 305342757 15654912 3071 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/11415/statm: 3822 3073 50 173 0 3647 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20644
[startup+0.201139 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 11411
/proc/meminfo: memFree=1798248/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=0
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305342756 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11411/statm: 1339 237 197 169 0 50 0
[pid=11415] ppid=11411 vsize=30044 CPUtime=0.19
/proc/11415/stat : 11415 (SatELite_releas) R 11411 11411 11148 0 -1 4194304 5902 0 0 0 15 4 0 0 18 0 1 0 305342757 30765056 5888 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/11415/statm: 7511 5888 50 173 0 7336 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 35400
[startup+0.30115 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 11411
/proc/meminfo: memFree=1798248/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=0
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305342756 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11411/statm: 1339 237 197 169 0 50 0
[pid=11415] ppid=11411 vsize=36400 CPUtime=0.28
/proc/11415/stat : 11415 (SatELite_releas) R 11411 11411 11148 0 -1 4194304 8090 0 0 0 24 4 0 0 19 0 1 0 305342757 37273600 7420 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/11415/statm: 9100 7420 76 173 0 8925 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 41756
[startup+0.70119 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 11411
/proc/meminfo: memFree=1798248/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=0
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305342756 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11411/statm: 1339 237 197 169 0 50 0
[pid=11415] ppid=11411 vsize=41828 CPUtime=0.68
/proc/11415/stat : 11415 (SatELite_releas) R 11411 11411 11148 0 -1 4194304 9425 0 0 0 62 6 0 0 23 0 1 0 305342757 42831872 8694 1992294400 134512640 135223648 4294956128 18446744073709551615 134587054 0 0 4096 3 0 0 0 17 1 0 0
/proc/11415/statm: 10457 8694 76 173 0 10282 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 47184
[startup+1.50128 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 11416
/proc/meminfo: memFree=1760280/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=1.41
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 336 10984 0 0 0 0 131 10 16 0 1 0 305342756 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11411/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 5356
[startup+3.10143 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 11417
/proc/meminfo: memFree=1781016/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=1.41
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 336 10984 0 0 0 0 131 10 16 0 1 0 305342756 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11411/statm: 1339 239 197 169 0 50 0
[pid=11417] ppid=11411 vsize=11756 CPUtime=1.66
/proc/11417/stat : 11417 (minisat_static) R 11411 11411 11148 0 -1 4194304 2777 0 0 0 165 1 0 0 25 0 1 0 305342898 12038144 2763 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11417/statm: 2939 2763 77 171 0 2766 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 17112
[startup+6.30176 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 11417
/proc/meminfo: memFree=1778904/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=1.41
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 336 10984 0 0 0 0 131 10 16 0 1 0 305342756 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11411/statm: 1339 239 197 169 0 50 0
[pid=11417] ppid=11411 vsize=13652 CPUtime=4.85
/proc/11417/stat : 11417 (minisat_static) R 11411 11411 11148 0 -1 4194304 3222 0 0 0 483 2 0 0 25 0 1 0 305342898 13979648 3208 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11417/statm: 3413 3208 77 171 0 3240 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 19008
[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 11417
/proc/meminfo: memFree=1775256/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=1.41
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 336 10984 0 0 0 0 131 10 16 0 1 0 305342756 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11411/statm: 1339 239 197 169 0 50 0
[pid=11417] ppid=11411 vsize=17020 CPUtime=11.24
/proc/11417/stat : 11417 (minisat_static) R 11411 11411 11148 0 -1 4194304 4077 0 0 0 1121 3 0 0 25 0 1 0 305342898 17428480 4063 1992294400 134512640 135215339 4294956240 18446744073709551615 134527218 0 0 4096 3 0 0 0 17 1 0 0
/proc/11417/statm: 4255 4063 77 171 0 4082 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 22376
[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 11417
/proc/meminfo: memFree=1770520/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=1.41
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 336 10984 0 0 0 0 131 10 16 0 1 0 305342756 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11411/statm: 1339 239 197 169 0 50 0
[pid=11417] ppid=11411 vsize=21852 CPUtime=24.01
/proc/11417/stat : 11417 (minisat_static) R 11411 11411 11148 0 -1 4194304 5272 0 0 0 2397 4 0 0 25 0 1 0 305342898 22376448 5258 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11417/statm: 5463 5258 77 171 0 5290 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 27208
[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 11417
/proc/meminfo: memFree=1764248/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=1.41
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 336 10984 0 0 0 0 131 10 16 0 1 0 305342756 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11411/statm: 1339 239 197 169 0 50 0
[pid=11417] ppid=11411 vsize=28324 CPUtime=49.59
/proc/11417/stat : 11417 (minisat_static) R 11411 11411 11148 0 -1 4194304 6867 0 0 0 4952 7 0 0 25 0 1 0 305342898 29003776 6853 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11417/statm: 7081 6853 77 171 0 6908 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 33680
[startup+102.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 11417
/proc/meminfo: memFree=1748440/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=1.41
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 336 10984 0 0 0 0 131 10 16 0 1 0 305342756 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11411/statm: 1339 239 197 169 0 50 0
[pid=11417] ppid=11411 vsize=44040 CPUtime=100.76
/proc/11417/stat : 11417 (minisat_static) R 11411 11411 11148 0 -1 4194304 10776 0 0 0 10066 10 0 0 25 0 1 0 305342898 45096960 10762 1992294400 134512640 135215339 4294956240 18446744073709551615 134525032 0 0 4096 3 0 0 0 17 1 0 0
/proc/11417/statm: 11010 10762 77 171 0 10837 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 49396
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 11417
/proc/meminfo: memFree=1732184/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=1.41
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 336 10984 0 0 0 0 131 10 16 0 1 0 305342756 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11411/statm: 1339 239 197 169 0 50 0
[pid=11417] ppid=11411 vsize=60148 CPUtime=160.73
/proc/11417/stat : 11417 (minisat_static) R 11411 11411 11148 0 -1 4194304 14836 0 0 0 16058 15 0 0 25 0 1 0 305342898 61591552 14822 1992294400 134512640 135215339 4294956240 18446744073709551615 134528676 0 0 4096 3 0 0 0 17 1 0 0
/proc/11417/statm: 15037 14822 77 171 0 14864 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 65504
[startup+222.306 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 11417
/proc/meminfo: memFree=1716312/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=1.41
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 336 10984 0 0 0 0 131 10 16 0 1 0 305342756 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11411/statm: 1339 239 197 169 0 50 0
[pid=11417] ppid=11411 vsize=76216 CPUtime=220.73
/proc/11417/stat : 11417 (minisat_static) R 11411 11411 11148 0 -1 4194304 18754 0 0 0 22053 20 0 0 25 0 1 0 305342898 78045184 18740 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11417/statm: 19054 18740 77 171 0 18881 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 81572
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 11417
/proc/meminfo: memFree=1701272/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=1.41
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 336 10984 0 0 0 0 131 10 16 0 1 0 305342756 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11411/statm: 1339 239 197 169 0 50 0
[pid=11417] ppid=11411 vsize=91272 CPUtime=280.71
/proc/11417/stat : 11417 (minisat_static) R 11411 11411 11148 0 -1 4194304 22545 0 0 0 28047 24 0 0 25 0 1 0 305342898 93462528 22531 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11417/statm: 22818 22531 77 171 0 22645 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 96628
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 11417
/proc/meminfo: memFree=1686552/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=1.41
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 336 10984 0 0 0 0 131 10 16 0 1 0 305342756 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11411/statm: 1339 239 197 169 0 50 0
[pid=11417] ppid=11411 vsize=105404 CPUtime=340.69
/proc/11417/stat : 11417 (minisat_static) R 11411 11411 11148 0 -1 4194304 26133 0 0 0 34042 27 0 0 25 0 1 0 305342898 107933696 26119 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11417/statm: 26351 26119 77 171 0 26178 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 110760
[startup+402.301 s]
################
# More data... #
################
/proc/11417/statm: 32728 32497 77 171 0 32555 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 136268
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 11417
/proc/meminfo: memFree=1652120/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=1.41
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 336 10984 0 0 0 0 131 10 16 0 1 0 305342756 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11411/statm: 1339 239 197 169 0 50 0
[pid=11417] ppid=11411 vsize=139492 CPUtime=580.62
/proc/11417/stat : 11417 (minisat_static) R 11411 11411 11148 0 -1 4194304 34670 0 0 0 58026 36 0 0 25 0 1 0 305342898 142839808 34656 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/11417/statm: 34873 34656 77 171 0 34700 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 144848
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 11417
/proc/meminfo: memFree=1652056/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=1.41
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 336 10984 0 0 0 0 131 10 16 0 1 0 305342756 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11411/statm: 1339 239 197 169 0 50 0
[pid=11417] ppid=11411 vsize=139492 CPUtime=640.6
/proc/11417/stat : 11417 (minisat_static) R 11411 11411 11148 0 -1 4194304 34670 0 0 0 64024 36 0 0 25 0 1 0 305342898 142839808 34656 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11417/statm: 34873 34656 77 171 0 34700 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 144848
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 11417
/proc/meminfo: memFree=1650584/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=1.41
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 336 10984 0 0 0 0 131 10 16 0 1 0 305342756 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11411/statm: 1339 239 197 169 0 50 0
[pid=11417] ppid=11411 vsize=141076 CPUtime=700.58
/proc/11417/stat : 11417 (minisat_static) R 11411 11411 11148 0 -1 4194304 35074 0 0 0 70022 36 0 0 25 0 1 0 305342898 144461824 35060 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/11417/statm: 35269 35060 77 171 0 35096 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 146432
[startup+762.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 11417
/proc/meminfo: memFree=1637336/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=1.41
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 336 10984 0 0 0 0 131 10 16 0 1 0 305342756 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11411/statm: 1339 239 197 169 0 50 0
[pid=11417] ppid=11411 vsize=153900 CPUtime=760.57
/proc/11417/stat : 11417 (minisat_static) R 11411 11411 11148 0 -1 4194304 38278 0 0 0 76018 39 0 0 25 0 1 0 305342898 157593600 38264 1992294400 134512640 135215339 4294956240 18446744073709551615 134538543 0 0 4096 3 0 0 0 17 1 0 0
/proc/11417/statm: 38475 38264 77 171 0 38302 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 159256
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 11417
/proc/meminfo: memFree=1634136/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=1.41
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 336 10984 0 0 0 0 131 10 16 0 1 0 305342756 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11411/statm: 1339 239 197 169 0 50 0
[pid=11417] ppid=11411 vsize=157204 CPUtime=820.55
/proc/11417/stat : 11417 (minisat_static) R 11411 11411 11148 0 -1 4194304 39077 0 0 0 82014 41 0 0 25 0 1 0 305342898 160976896 39063 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/11417/statm: 39301 39063 77 171 0 39128 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 162560
[startup+882.306 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 11417
/proc/meminfo: memFree=1629208/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=1.41
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 336 10984 0 0 0 0 131 10 16 0 1 0 305342756 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11411/statm: 1339 239 197 169 0 50 0
[pid=11417] ppid=11411 vsize=162088 CPUtime=880.53
/proc/11417/stat : 11417 (minisat_static) R 11411 11411 11148 0 -1 4194304 40314 0 0 0 88011 42 0 0 25 0 1 0 305342898 165978112 40300 1992294400 134512640 135215339 4294956240 18446744073709551615 134539397 0 0 4096 3 0 0 0 17 1 0 0
/proc/11417/statm: 40522 40300 77 171 0 40349 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 167444
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 11423
/proc/meminfo: memFree=1628696/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=1.41
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 336 10984 0 0 0 0 131 10 16 0 1 0 305342756 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11411/statm: 1339 239 197 169 0 50 0
[pid=11417] ppid=11411 vsize=162088 CPUtime=940.51
/proc/11417/stat : 11417 (minisat_static) R 11411 11411 11148 0 -1 4194304 40314 0 0 0 94008 43 0 0 25 0 1 0 305342898 165978112 40300 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/11417/statm: 40522 40300 77 171 0 40349 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 167444
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 11423
/proc/meminfo: memFree=1628696/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=1.41
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 336 10984 0 0 0 0 131 10 16 0 1 0 305342756 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11411/statm: 1339 239 197 169 0 50 0
[pid=11417] ppid=11411 vsize=162088 CPUtime=1000.49
/proc/11417/stat : 11417 (minisat_static) R 11411 11411 11148 0 -1 4194304 40314 0 0 0 100006 43 0 0 25 0 1 0 305342898 165978112 40300 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11417/statm: 40522 40300 77 171 0 40349 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 167444
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 11423
/proc/meminfo: memFree=1628696/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=1.41
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 336 10984 0 0 0 0 131 10 16 0 1 0 305342756 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11411/statm: 1339 239 197 169 0 50 0
[pid=11417] ppid=11411 vsize=162088 CPUtime=1060.47
/proc/11417/stat : 11417 (minisat_static) R 11411 11411 11148 0 -1 4194304 40314 0 0 0 106004 43 0 0 25 0 1 0 305342898 165978112 40300 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11417/statm: 40522 40300 77 171 0 40349 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 167444
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 11423
/proc/meminfo: memFree=1628696/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=1.41
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 336 10984 0 0 0 0 131 10 16 0 1 0 305342756 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11411/statm: 1339 239 197 169 0 50 0
[pid=11417] ppid=11411 vsize=162088 CPUtime=1120.46
/proc/11417/stat : 11417 (minisat_static) R 11411 11411 11148 0 -1 4194304 40314 0 0 0 112003 43 0 0 25 0 1 0 305342898 165978112 40300 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11417/statm: 40522 40300 77 171 0 40349 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 167444
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 11423
/proc/meminfo: memFree=1626392/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=1.41
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 336 10984 0 0 0 0 131 10 16 0 1 0 305342756 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11411/statm: 1339 239 197 169 0 50 0
[pid=11417] ppid=11411 vsize=164468 CPUtime=1180.43
/proc/11417/stat : 11417 (minisat_static) R 11411 11411 11148 0 -1 4194304 40915 0 0 0 118000 43 0 0 25 0 1 0 305342898 168415232 40901 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/11417/statm: 41117 40901 77 171 0 40944 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 169824
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 11423
/proc/meminfo: memFree=1626328/2055920 swapFree=4180276/4192956
[pid=11411] ppid=11409 vsize=5356 CPUtime=1.41
/proc/11411/stat : 11411 (SatELiteGTI) S 11409 11411 11148 0 -1 4194304 336 10984 0 0 0 0 131 10 16 0 1 0 305342756 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11411/statm: 1339 239 197 169 0 50 0
[pid=11417] ppid=11411 vsize=164468 CPUtime=1198.64
/proc/11417/stat : 11417 (minisat_static) R 11411 11411 11148 0 -1 4194304 40915 0 0 0 119820 44 0 0 25 0 1 0 305342898 168415232 40901 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/11417/statm: 41117 40901 77 171 0 40944 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 169824
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11411 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=311800
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=105983
# CPU time returned by wait4() is 1.41778
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.05
CPU user time (s): 1199.51
CPU system time (s): 0.54
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (KiB): 169824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.3118
system time used= 0.105983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11320
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 10
runsolver used 1.3328 second user time and 3.15452 second system time
The end
Begin job on node45 at 2009-05-20 00:45:49
IDJOB=1832439
IDBENCH=69651
IDSOLVER=671
FILE ID=node45/1832439-1242773148
PBS_JOBID= 9322255
Free space on /tmp= 66224 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832439-1242773148/watcher-1832439-1242773148 -o /tmp/evaluation-result-1832439-1242773148/solver-1832439-1242773148 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832439-1242773148.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8ab50418497c0326ed1ff5d73a4e24a3
RANDOM SEED=1031074075
node45.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1798792 kB
Buffers: 12464 kB
Cached: 206020 kB
SwapCached: 6868 kB
Active: 167136 kB
Inactive: 60168 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1798792 kB
SwapTotal: 4192956 kB
SwapFree: 4180276 kB
Dirty: 7076 kB
Writeback: 0 kB
Mapped: 13948 kB
Slab: 15968 kB
Committed_AS: 1007764 kB
PageTables: 1380 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66216 MiB
End job on node45 at 2009-05-20 01:05:51