0.00/0.00 c Parsing...
0.00/0.04 c ==============================================================================
0.00/0.04 c | | ORIGINAL | LEARNT | |
0.00/0.04 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.04 c ==============================================================================
0.00/0.04 c | 0 | 69990 140820 | 20996 0 0 nan | 0.000 % |
0.88/0.92 c | 0 | 69090 217938 | -- 0 -- -- | -- | -900/77118
0.88/0.92 c ==============================================================================
0.88/0.92 c Result : #vars: 870 #clauses: 69090 #literals: 217938
0.88/0.92 c CPU time: 0.912861 s
0.88/0.92 c ==============================================================================
0.88/0.98 c This is MiniSat 2.0 beta
0.88/0.98 c WARNING: for repeatability, setting FPU to use double precision
0.88/0.99 c ============================[ Problem Statistics ]=============================
0.88/0.99 c | |
0.88/0.99 c | Number of variables: 870 |
0.88/0.99 c | Number of clauses: 69090 |
0.99/1.03 c | Parsing time: 0.03 s |
0.99/1.03 c ============================[ Search Statistics ]==============================
0.99/1.03 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.99/1.03 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.99/1.03 c ===============================================================================
0.99/1.03 c | 0 | 870 69090 217938 | 23030 0 nan | 0.000 % |
0.99/1.04 c | 101 | 870 69090 217938 | 23030 101 75 | 0.013 % |
0.99/1.06 c | 201 | 870 69090 217938 | 23030 201 84 | 0.000 % |
0.99/1.07 c | 301 | 870 69090 217938 | 23030 301 90 | 0.000 % |
0.99/1.08 c | 414 | 870 69090 217938 | 23030 414 92 | 0.000 % |
0.99/1.10 c | 517 | 870 69090 217938 | 23030 517 90 | 0.000 % |
1.08/1.11 c | 627 | 870 69090 217938 | 23030 627 89 | 0.031 % |
1.08/1.12 c | 748 | 870 69090 217938 | 23030 748 87 | 0.000 % |
1.08/1.13 c | 848 | 870 69090 217938 | 23030 848 83 | 0.000 % |
1.08/1.15 c | 958 | 870 69090 217938 | 23030 958 81 | 0.000 % |
1.08/1.16 c | 1079 | 870 69090 217938 | 23030 1079 79 | 0.000 % |
1.08/1.19 c | 1212 | 870 69090 217938 | 23030 1212 83 | 0.000 % |
1.18/1.20 c | 1315 | 870 69090 217938 | 23030 1315 85 | 0.000 % |
1.18/1.21 c | 1425 | 870 69090 217938 | 23030 1425 84 | 0.000 % |
1.18/1.24 c | 1546 | 870 69090 217938 | 23030 1546 86 | 0.000 % |
1.18/1.25 c | 1681 | 870 69090 217938 | 23030 1681 87 | 0.019 % |
1.18/1.28 c | 1827 | 870 69090 217938 | 23030 1827 88 | 0.000 % |
1.18/1.29 c | 1927 | 870 69090 217938 | 23030 1927 90 | 0.000 % |
1.28/1.31 c | 2037 | 870 69090 217938 | 23030 2037 92 | 0.000 % |
1.28/1.33 c | 2158 | 870 69090 217938 | 23030 2158 93 | 0.000 % |
1.28/1.35 c | 2293 | 870 69090 217938 | 23030 2293 94 | 0.000 % |
1.28/1.38 c | 2441 | 870 69090 217938 | 23030 2441 96 | 0.000 % |
1.38/1.41 c | 2604 | 870 69090 217938 | 23030 2604 95 | 0.000 % |
1.38/1.43 c | 2705 | 870 69090 217938 | 23030 2705 94 | 0.000 % |
1.38/1.45 c | 2816 | 870 69090 217938 | 23030 2816 94 | 0.000 % |
1.38/1.47 c | 2937 | 870 69090 217938 | 23030 2937 94 | 0.000 % |
1.48/1.50 c | 3070 | 870 69090 217938 | 23030 3070 93 | 0.000 % |
1.48/1.52 c | 3216 | 870 69090 217938 | 23030 3216 93 | 0.000 % |
1.48/1.56 c | 3376 | 870 69090 217938 | 23030 3376 95 | 0.000 % |
1.48/1.59 c | 3552 | 870 69090 217938 | 23030 3552 95 | 0.000 % |
1.58/1.61 c | 3652 | 870 69090 217938 | 23030 3652 95 | 0.025 % |
1.58/1.62 c | 3763 | 870 69090 217938 | 23030 3763 95 | 0.025 % |
1.58/1.65 c | 3886 | 870 69090 217938 | 23030 3886 95 | 0.000 % |
1.58/1.68 c | 4020 | 870 69090 217938 | 23030 4020 95 | 0.000 % |
1.68/1.71 c | 4166 | 870 69090 217938 | 23030 4166 94 | 0.027 % |
1.68/1.74 c | 4327 | 870 69090 217938 | 23030 4327 94 | 0.000 % |
1.68/1.78 c | 4503 | 870 69090 217938 | 23030 4503 94 | 0.000 % |
1.78/1.82 c | 4696 | 870 69090 217938 | 23030 4696 93 | 0.000 % |
1.78/1.84 c | 4796 | 870 69090 217938 | 23030 4796 93 | 0.000 % |
1.78/1.86 c | 4908 | 870 69090 217938 | 23030 4908 92 | 0.021 % |
1.88/1.90 c | 5037 | 870 69090 217938 | 23030 5037 92 | 0.000 % |
1.88/1.92 c | 5171 | 870 69090 217938 | 23030 5171 92 | 0.000 % |
1.88/1.96 c | 5317 | 870 69090 217938 | 23030 5317 91 | 0.000 % |
1.88/1.99 c | 5478 | 870 69090 217938 | 23030 5478 91 | 0.000 % |
1.98/2.03 c | 5655 | 870 69090 217938 | 23030 5655 90 | 0.000 % |
1.98/2.08 c | 5848 | 870 69090 217938 | 23030 5848 90 | 0.000 % |
2.09/2.13 c | 6060 | 870 69090 217938 | 23030 6060 89 | 0.000 % |
2.09/2.15 c | 6163 | 870 69090 217938 | 23030 6163 89 | 0.000 % |
2.09/2.18 c | 6275 | 870 69090 217938 | 23030 6275 89 | 0.000 % |
2.19/2.21 c | 6396 | 870 69090 217938 | 23030 6396 89 | 0.000 % |
2.19/2.24 c | 6530 | 870 69090 217938 | 23030 6530 88 | 0.000 % |
2.19/2.26 c | 6677 | 870 69090 217938 | 23030 6677 89 | 0.019 % |
2.28/2.31 c | 6837 | 870 69090 217938 | 23030 6837 89 | 0.000 % |
2.28/2.35 c | 7013 | 870 69090 217938 | 23030 7013 89 | 0.000 % |
2.38/2.40 c | 7206 | 870 69090 217938 | 23030 7206 89 | 0.022 % |
2.38/2.44 c | 7418 | 870 69090 217938 | 23030 7418 89 | 0.000 % |
2.48/2.51 c | 7655 | 870 69090 217938 | 23030 7655 89 | 0.000 % |
2.48/2.54 c | 7756 | 870 69090 217938 | 23030 7756 88 | 0.000 % |
2.48/2.56 c | 7866 | 870 69090 217938 | 23030 7866 89 | 0.000 % |
2.48/2.59 c | 7988 | 870 69090 217938 | 23030 7988 89 | 0.000 % |
2.58/2.64 c | 8123 | 870 69090 217938 | 23030 8123 89 | 0.000 % |
2.58/2.68 c | 8275 | 870 69090 217938 | 23030 8275 89 | 0.000 % |
2.68/2.73 c | 8435 | 870 69090 217938 | 23030 8435 88 | 0.000 % |
2.68/2.79 c | 8611 | 870 69090 217938 | 23030 8611 88 | 0.000 % |
2.78/2.85 c | 8805 | 870 69090 217938 | 23030 8805 88 | 0.000 % |
2.88/2.91 c | 9017 | 870 69090 217938 | 23030 9017 89 | 0.000 % |
2.88/2.96 c | 9250 | 870 69090 217938 | 23030 9250 89 | 0.022 % |
2.98/3.04 c | 9506 | 870 69090 217938 | 23030 9506 89 | 0.000 % |
2.98/3.07 c | 9608 | 870 69090 217938 | 23030 9608 89 | 0.028 % |
3.08/3.11 c | 9718 | 870 69090 217938 | 23030 9718 90 | 0.000 % |
3.08/3.16 c | 9842 | 870 69090 217938 | 23030 9842 90 | 0.000 % |
3.18/3.21 c | 9976 | 870 69090 217938 | 23030 9976 90 | 0.000 % |
3.18/3.26 c | 10123 | 870 69090 217938 | 2147483647 10123 90 | 0.000 % |
3.28/3.31 c | 10283 | 870 69090 217938 | 2147483647 10283 90 | 0.000 % |
3.28/3.37 c | 10459 | 870 69090 217938 | 2147483647 10459 89 | 0.000 % |
3.38/3.45 c | 10653 | 870 69090 217938 | 2147483647 10653 89 | 0.000 % |
3.48/3.52 c | 10865 | 870 69090 217938 | 2147483647 10865 89 | 0.000 % |
3.58/3.61 c | 11099 | 870 69090 217938 | 2147483647 11099 89 | 0.000 % |
3.58/3.68 c | 11355 | 870 69090 217938 | 2147483647 11355 89 | 0.000 % |
3.68/3.78 c | 11641 | 870 69090 217938 | 2147483647 11641 89 | 0.000 % |
3.78/3.81 c | 11742 | 870 69090 217938 | 2147483647 11742 89 | 0.000 % |
3.78/3.84 c | 11854 | 870 69090 217938 | 2147483647 11854 89 | 0.000 % |
3.78/3.89 c | 11975 | 870 69090 217938 | 2147483647 11975 89 | 0.000 % |
3.87/3.93 c | 12109 | 870 69090 217938 | 2147483647 12109 89 | 0.000 % |
3.87/3.98 c | 12255 | 870 69090 217938 | 2147483647 12255 89 | 0.000 % |
3.97/4.04 c | 12416 | 870 69090 217938 | 2147483647 12416 88 | 0.000 % |
4.08/4.10 c | 12592 | 870 69090 217938 | 2147483647 12592 88 | 0.000 % |
4.08/4.16 c | 12789 | 870 69090 217938 | 2147483647 12789 88 | 0.000 % |
4.18/4.21 c | 13001 | 870 69090 217938 | 2147483647 13001 88 | 0.000 % |
4.18/4.29 c | 13234 | 870 69090 217938 | 2147483647 13234 88 | 0.000 % |
4.29/4.38 c | 13491 | 870 69090 217938 | 2147483647 13491 87 | 0.000 % |
4.39/4.47 c | 13773 | 870 69090 217938 | 2147483647 13773 87 | 0.000 % |
4.58/4.60 c | 14082 | 870 69090 217938 | 2147483647 14082 87 | 0.000 % |
4.58/4.64 c | 14182 | 870 69090 217938 | 2147483647 14182 87 | 0.000 % |
4.58/4.68 c | 14292 | 870 69090 217938 | 2147483647 14292 87 | 0.000 % |
4.68/4.73 c | 14413 | 870 69090 217938 | 2147483647 14413 87 | 0.000 % |
4.68/4.79 c | 14547 | 870 69090 217938 | 2147483647 14547 87 | 0.000 % |
4.78/4.84 c | 14694 | 870 69090 217938 | 2147483647 14694 87 | 0.000 % |
4.88/4.91 c | 14854 | 870 69090 217938 | 2147483647 14854 87 | 0.000 % |
4.88/4.97 c | 15031 | 870 69090 217938 | 2147483647 15031 87 | 0.000 % |
4.98/5.03 c | 15225 | 870 69090 217938 | 2147483647 15225 87 | 0.025 % |
5.08/5.11 c | 15440 | 870 69090 217938 | 2147483647 15440 88 | 0.000 % |
5.08/5.19 c | 15673 | 870 69090 217938 | 2147483647 15673 88 | 0.000 % |
5.18/5.29 c | 15930 | 870 69090 217938 | 2147483647 15930 88 | 0.000 % |
5.28/5.38 c | 16213 | 870 69090 217938 | 2147483647 16213 89 | 0.000 % |
5.48/5.54 c | 16522 | 870 69090 217938 | 2147483647 16522 89 | 0.000 % |
5.58/5.66 c | 16864 | 870 69090 217938 | 2147483647 16864 89 | 0.000 % |
5.68/5.71 c | 16964 | 870 69090 217938 | 2147483647 16964 89 | 0.023 % |
5.68/5.77 c | 17074 | 870 69090 217938 | 2147483647 17074 89 | 0.000 % |
5.78/5.82 c | 17197 | 870 69090 217938 | 2147483647 17197 89 | 0.000 % |
5.78/5.88 c | 17332 | 870 69090 217938 | 2147483647 17332 89 | 0.000 % |
5.88/5.95 c | 17479 | 870 69090 217938 | 2147483647 17479 89 | 0.000 % |
5.98/6.03 c | 17640 | 870 69090 217938 | 2147483647 17640 89 | 0.000 % |
6.08/6.13 c | 17820 | 870 69090 217938 | 2147483647 17820 89 | 0.000 % |
6.18/6.23 c | 18013 | 870 69090 217938 | 2147483647 18013 89 | 0.000 % |
6.28/6.30 c | 18228 | 870 69090 217938 | 2147483647 18228 89 | 0.000 % |
6.38/6.42 c | 18462 | 870 69090 217938 | 2147483647 18462 89 | 0.000 % |
6.48/6.57 c | 18720 | 870 69090 217938 | 2147483647 18720 89 | 0.000 % |
6.68/6.74 c | 19001 | 870 69090 217938 | 2147483647 19001 89 | 0.000 % |
6.78/6.87 c | 19312 | 870 69090 217938 | 2147483647 19312 89 | 0.025 % |
6.98/7.01 c | 19651 | 870 69090 217938 | 2147483647 19651 88 | 0.000 % |
7.18/7.20 c | 20023 | 870 69090 217938 | 2147483647 20023 88 | 0.000 % |
7.18/7.25 c | 20124 | 870 69090 217938 | 2147483647 20124 88 | 0.027 % |
7.18/7.30 c | 20234 | 870 69090 217938 | 2147483647 20234 88 | 0.022 % |
7.28/7.37 c | 20355 | 870 69090 217938 | 2147483647 20355 88 | 0.000 % |
7.38/7.45 c | 20488 | 870 69090 217938 | 2147483647 20488 88 | 0.000 % |
7.48/7.54 c | 20635 | 870 69090 217938 | 2147483647 20635 88 | 0.000 % |
7.58/7.66 c | 20795 | 870 69090 217938 | 2147483647 20795 88 | 0.000 % |
7.68/7.76 c | 20972 | 870 69090 217938 | 2147483647 20972 88 | 0.000 % |
7.78/7.89 c | 21166 | 870 69090 217938 | 2147483647 21166 88 | 0.000 % |
7.98/8.02 c | 21379 | 870 69090 217938 | 2147483647 21379 88 | 0.000 % |
8.08/8.19 c | 21612 | 870 69090 217938 | 2147483647 21612 88 | 0.029 % |
8.28/8.34 c | 21869 | 870 69090 217938 | 2147483647 21869 88 | 0.000 % |
8.48/8.51 c | 22150 | 870 69090 217938 | 2147483647 22150 88 | 0.000 % |
8.58/8.66 c | 22460 | 870 69090 217938 | 2147483647 22460 88 | 0.000 % |
8.78/8.88 c | 22799 | 870 69090 217938 | 2147483647 22799 88 | 0.000 % |
8.97/9.06 c | 23172 | 870 69090 217938 | 2147483647 23172 88 | 0.000 % |
9.37/9.41 c | 23581 | 870 69090 217938 | 2147483647 23581 89 | 0.000 % |
9.37/9.47 c | 23684 | 870 69090 217938 | 2147483647 23684 89 | 0.000 % |
9.47/9.54 c | 23795 | 870 69090 217938 | 2147483647 23795 89 | 0.000 % |
9.57/9.60 c | 23919 | 870 69090 217938 | 2147483647 23919 89 | 0.000 % |
9.57/9.69 c | 24053 | 870 69090 217938 | 2147483647 24053 89 | 0.000 % |
9.67/9.78 c | 24199 | 870 69090 217938 | 2147483647 24199 89 | 0.021 % |
9.78/9.86 c | 24360 | 870 69090 217938 | 2147483647 24360 89 | 0.022 % |
9.88/9.95 c | 24537 | 870 69090 217938 | 2147483647 24537 89 | 0.000 % |
9.97/10.08 c | 24733 | 870 69090 217938 | 2147483647 24733 88 | 0.000 % |
10.07/10.16 c | 24947 | 870 69090 217938 | 2147483647 24947 88 | 0.022 % |
10.27/10.33 c | 25182 | 870 69090 217938 | 2147483647 25182 88 | 0.000 % |
10.37/10.47 c | 25438 | 870 69090 217938 | 2147483647 25438 88 | 0.000 % |
10.58/10.70 c | 25719 | 870 69090 217938 | 2147483647 25719 88 | 0.000 % |
10.78/10.88 c | 26028 | 870 69090 217938 | 2147483647 26028 88 | 0.000 % |
10.98/11.06 c | 26369 | 870 69090 217938 | 2147483647 26369 88 | 0.000 % |
11.18/11.24 c | 26742 | 870 69090 217938 | 2147483647 26742 88 | 0.000 % |
11.48/11.59 c | 27152 | 870 69090 217938 | 2147483647 27152 88 | 0.000 % |
11.78/11.89 c | 27604 | 870 69090 217938 | 2147483647 27604 88 | 0.000 % |
11.88/11.99 c | 27707 | 870 69090 217938 | 2147483647 27707 88 | 0.000 % |
11.98/12.06 c | 27819 | 870 69090 217938 | 2147483647 27819 88 | 0.000 % |
12.08/12.15 c | 27941 | 870 69090 217938 | 2147483647 27941 88 | 0.000 % |
12.18/12.30 c | 28074 | 870 69090 217938 | 2147483647 28074 88 | 0.000 % |
12.28/12.37 c | 28224 | 870 69090 217938 | 2147483647 28224 88 | 0.023 % |
12.48/12.54 c | 28384 | 870 69090 217938 | 2147483647 28384 88 | 0.023 % |
12.68/12.70 c | 28561 | 870 69090 217938 | 2147483647 28561 88 | 0.000 % |
12.78/12.86 c | 28755 | 870 69090 217938 | 2147483647 28755 88 | 0.024 % |
12.88/12.98 c | 28968 | 870 69090 217938 | 2147483647 28968 88 | 0.000 % |
13.08/13.15 c | 29203 | 870 69090 217938 | 2147483647 29203 88 | 0.000 % |
13.28/13.37 c | 29460 | 870 69090 217938 | 2147483647 29460 88 | 0.000 % |
13.58/13.65 c | 29743 | 870 69090 217938 | 2147483647 29743 88 | 0.000 % |
13.88/13.91 c | 30052 | 870 69090 217938 | 2147483647 30052 88 | 0.000 % |
14.08/14.17 c | 30391 | 870 69090 217938 | 2147483647 30391 88 | 0.000 % |
14.38/14.41 c | 30763 | 870 69090 217938 | 2147483647 30763 87 | 0.000 % |
14.58/14.69 c | 31172 | 870 69090 217938 | 2147483647 31172 87 | 0.023 % |
14.88/14.98 c | 31627 | 870 69090 217938 | 2147483647 31627 87 | 0.000 % |
15.28/15.39 c | 32120 | 870 69090 217938 | 2147483647 32120 87 | 0.000 % |
15.47/15.53 c | 32220 | 870 69090 217938 | 2147483647 32220 87 | 0.000 % |
15.57/15.61 c | 32331 | 870 69090 217938 | 2147483647 32331 87 | 0.000 % |
15.67/15.72 c | 32454 | 870 69090 217938 | 2147483647 32454 87 | 0.023 % |
15.77/15.83 c | 32587 | 870 69090 217938 | 2147483647 32587 87 | 0.000 % |
15.87/15.96 c | 32734 | 870 69090 217938 | 2147483647 32734 87 | 0.028 % |
16.07/16.10 c | 32897 | 870 69090 217938 | 2147483647 32897 86 | 0.023 % |
16.17/16.24 c | 33073 | 870 69090 217938 | 2147483647 33073 86 | 0.000 % |
16.27/16.37 c | 33267 | 870 69090 217938 | 2147483647 33267 86 | 0.023 % |
16.48/16.53 c | 33480 | 870 69090 217938 | 2147483647 33480 86 | 0.023 % |
16.67/16.80 c | 33715 | 870 69090 217938 | 2147483647 33715 86 | 0.000 % |
16.87/17.00 c | 33972 | 870 69090 217938 | 2147483647 33972 86 | 0.000 % |
17.27/17.33 c | 34255 | 870 69090 217938 | 2147483647 34255 86 | 0.023 % |
17.58/17.69 c | 34566 | 870 69090 217938 | 2147483647 34566 86 | 0.000 % |
17.88/18.00 c | 34905 | 870 69090 217938 | 2147483647 34905 86 | 0.028 % |
18.28/18.37 c | 35277 | 870 69090 217938 | 2147483647 35277 85 | 0.023 % |
18.78/18.82 c | 35687 | 870 69090 217938 | 2147483647 35687 85 | 0.000 % |
19.18/19.27 c | 36138 | 870 69090 217938 | 2147483647 36138 85 | 0.000 % |
19.48/19.58 c | 36631 | 870 69090 217938 | 2147483647 36631 85 | 0.000 % |
19.98/20.01 c | 37173 | 870 69090 217938 | 2147483647 37173 86 | 0.000 % |
19.98/20.06 c | 37273 | 870 69090 217938 | 2147483647 37273 86 | 0.000 % |
20.08/20.16 c | 37386 | 870 69090 217938 | 2147483647 37386 86 | 0.000 % |
20.18/20.25 c | 37507 | 870 69090 217938 | 2147483647 37507 86 | 0.000 % |
20.28/20.37 c | 37642 | 870 69090 217938 | 2147483647 37642 86 | 0.022 % |
20.48/20.51 c | 37788 | 870 69090 217938 | 2147483647 37788 86 | 0.000 % |
20.58/20.62 c | 37948 | 870 69090 217938 | 2147483647 37948 86 | 0.000 % |
20.67/20.80 c | 38131 | 870 69090 217938 | 2147483647 38131 86 | 0.000 % |
20.88/20.96 c | 38325 | 870 69090 217938 | 2147483647 38325 86 | 0.000 % |
21.07/21.15 c | 38537 | 870 69090 217938 | 2147483647 38537 86 | 0.000 % |
21.27/21.33 c | 38770 | 870 69090 217938 | 2147483647 38770 86 | 0.000 % |
21.47/21.56 c | 39026 | 870 69090 217938 | 2147483647 39026 86 | 0.000 % |
21.77/21.85 c | 39309 | 870 69090 217938 | 2147483647 39309 86 | 0.022 % |
22.17/22.28 c | 39619 | 870 69090 217938 | 2147483647 39619 86 | 0.023 % |
22.57/22.62 c | 39958 | 870 69090 217938 | 2147483647 39958 85 | 0.023 % |
23.07/23.10 c | 40332 | 870 69090 217938 | 40003 40332 85 | 0.023 % |
23.47/23.51 c | 40741 | 870 69090 217938 | 40003 35686 82 | 0.000 % |
23.97/24.06 c | 41190 | 870 69090 217938 | 40003 36135 82 | 0.000 % |
24.57/24.67 c | 41685 | 870 69090 217938 | 40003 36630 82 | 0.000 % |
25.07/25.16 c | 42227 | 870 69090 217938 | 40003 37172 82 | 0.023 % |
25.77/25.85 c | 42825 | 870 69090 217938 | 40003 37770 82 | 0.000 % |
25.87/25.96 c | 42925 | 870 69090 217938 | 40003 37870 82 | 0.000 % |
26.07/26.12 c | 43036 | 870 69090 217938 | 40003 37981 82 | 0.000 % |
26.17/26.21 c | 43158 | 870 69090 217938 | 40003 38103 82 | 0.000 % |
26.27/26.37 c | 43292 | 870 69090 217938 | 40003 38237 82 | 0.023 % |
26.47/26.52 c | 43441 | 870 69090 217938 | 40003 38386 82 | 0.000 % |
26.57/26.68 c | 43601 | 870 69090 217938 | 40003 38546 81 | 0.000 % |
26.77/26.81 c | 43780 | 870 69090 217938 | 40003 38725 81 | 0.000 % |
26.97/27.02 c | 43977 | 870 69090 217938 | 40003 38922 81 | 0.000 % |
27.27/27.37 c | 44191 | 870 69090 217938 | 40003 39136 81 | 0.023 % |
27.57/27.66 c | 44425 | 870 69090 217938 | 40003 39370 81 | 0.000 % |
27.87/27.95 c | 44681 | 870 69090 217938 | 40003 39626 81 | 0.000 % |
28.27/28.37 c | 44964 | 870 69090 217938 | 40003 39909 81 | 0.000 % |
28.77/28.81 c | 45277 | 870 69090 217938 | 40003 40222 81 | 0.000 % |
29.17/29.24 c | 45616 | 870 69090 217938 | 40003 33293 77 | 0.000 % |
29.47/29.58 c | 45991 | 870 69090 217938 | 40003 33668 77 | 0.000 % |
30.07/30.16 c | 46400 | 870 69090 217938 | 40003 34077 77 | 0.000 % |
30.77/30.82 c | 46849 | 870 69090 217938 | 40003 34526 77 | 0.000 % |
31.27/31.34 c | 47343 | 870 69090 217938 | 40003 35020 77 | 0.000 % |
31.97/32.00 c | 47886 | 870 69090 217938 | 40003 35563 76 | 0.000 % |
32.87/32.97 c | 48482 | 870 69090 217938 | 40003 36159 76 | 0.000 % |
33.97/34.07 c | 49139 | 870 69090 217938 | 40003 36816 76 | 0.023 % |
34.16/34.29 c | 49240 | 870 69090 217938 | 40003 36917 76 | 0.000 % |
34.37/34.45 c | 49351 | 870 69090 217938 | 40003 37028 76 | 0.000 % |
34.57/34.66 c | 49473 | 870 69090 217938 | 40003 37150 76 | 0.000 % |
34.87/34.90 c | 49606 | 870 69090 217938 | 40003 37283 76 | 0.000 % |
35.08/35.13 c | 49752 | 870 69090 217938 | 40003 37429 76 | 0.000 % |
35.27/35.36 c | 49914 | 870 69090 217938 | 40003 37591 76 | 0.000 % |
35.47/35.53 c | 50090 | 870 69090 217938 | 37677 37767 76 | 0.000 % |
35.57/35.67 c | 50288 | 870 69090 217938 | 37677 30241 72 | 0.000 % |
35.87/35.93 c | 50500 | 870 69090 217938 | 37677 30453 72 | 0.023 % |
36.07/36.16 c | 50734 | 870 69090 217938 | 37677 30687 72 | 0.023 % |
36.28/36.33 c | 50990 | 870 69090 217938 | 37677 30943 72 | 0.023 % |
36.47/36.51 c | 51275 | 870 69090 217938 | 37677 31228 72 | 0.023 % |
36.77/36.80 c | 51585 | 870 69090 217938 | 37677 31538 71 | 0.023 % |
37.07/37.17 c | 51924 | 870 69090 217938 | 37677 31877 71 | 0.023 % |
37.57/37.65 c | 52296 | 870 69090 217938 | 37677 32249 71 | 0.000 % |
38.07/38.12 c | 52706 | 870 69090 217938 | 37677 32659 71 | 0.023 % |
38.48/38.51 c | 53155 | 870 69090 217938 | 37677 33108 71 | 0.000 % |
38.77/38.81 c | 53649 | 870 69090 217938 | 37677 33602 71 | 0.000 % |
38.97/39.09 c | 54193 | 870 69090 217938 | 37677 34146 72 | 0.000 % |
39.48/39.56 c | 54791 | 870 69090 217938 | 37677 34744 72 | 0.000 % |
39.97/40.07 c | 55447 | 870 69090 217938 | 37677 35400 73 | 0.000 % |
40.57/40.61 c | 56170 | 870 69090 217938 | 37677 36123 74 | 0.000 % |
40.67/40.73 c | 56270 | 870 69090 217938 | 37677 36223 74 | 0.000 % |
40.77/40.81 c | 56384 | 870 69090 217938 | 37677 36337 74 | 0.000 % |
40.87/40.92 c | 56505 | 870 69090 217938 | 37677 36458 74 | 0.000 % |
40.87/40.99 c | 56638 | 870 69090 217938 | 37677 36591 74 | 0.000 % |
41.07/41.12 c | 56785 | 870 69090 217938 | 37677 36738 74 | 0.000 % |
41.17/41.20 c | 56946 | 870 69090 217938 | 37677 36899 74 | 0.000 % |
41.27/41.36 c | 57124 | 870 69090 217938 | 37677 37077 74 | 0.000 % |
41.47/41.51 c | 57321 | 870 69090 217938 | 37677 37274 74 | 0.000 % |
41.57/41.70 c | 57533 | 870 69090 217938 | 37677 37486 74 | 0.000 % |
41.77/41.87 c | 57771 | 870 69090 217938 | 37677 37724 74 | 0.026 % |
41.97/42.08 c | 58027 | 870 69090 217938 | 37677 32878 72 | 0.000 % |
42.07/42.19 c | 58311 | 870 69090 217938 | 37677 33162 72 | 0.000 % |
42.27/42.36 c | 58620 | 870 69090 217938 | 37677 33471 73 | 0.000 % |
42.47/42.59 c | 58959 | 870 69090 217938 | 37677 33810 73 | 0.000 % |
42.67/42.75 c | 59331 | 870 69090 217938 | 37677 34182 73 | 0.000 % |
42.97/43.02 c | 59740 | 870 69090 217938 | 37677 34591 73 | 0.000 % |
43.17/43.27 c | 60190 | 870 69090 217938 | 34853 35041 73 | 0.000 % |
43.67/43.75 c | 60685 | 870 69090 217938 | 34853 31805 73 | 0.000 % |
43.97/44.05 c | 61227 | 870 69090 217938 | 34853 32347 73 | 0.000 % |
44.37/44.50 c | 61823 | 870 69090 217938 | 34853 32943 74 | 0.000 % |
44.87/44.92 c | 62478 | 870 69090 217938 | 34853 33598 74 | 0.000 % |
45.37/45.41 c | 63200 | 870 69090 217938 | 34853 34320 74 | 0.000 % |
45.97/46.05 c | 63992 | 870 69090 217938 | 34853 31617 73 | 0.000 % |
46.07/46.12 c | 64093 | 870 69090 217938 | 34853 31718 73 | 0.000 % |
46.07/46.17 c | 64204 | 870 69090 217938 | 34853 31829 73 | 0.021 % |
46.17/46.25 c | 64325 | 870 69090 217938 | 34853 31950 73 | 0.024 % |
46.27/46.33 c | 64459 | 870 69090 217938 | 34853 32084 73 | 0.000 % |
46.37/46.47 c | 64605 | 870 69090 217938 | 34853 32230 73 | 0.000 % |
46.47/46.55 c | 64766 | 870 69090 217938 | 34853 32391 73 | 0.000 % |
46.57/46.66 c | 64942 | 870 69090 217938 | 34853 32567 74 | 0.000 % |
46.87/46.99 c | 65135 | 870 69090 217938 | 34853 32760 74 | 0.000 % |
47.17/47.29 c | 65349 | 870 69090 217938 | 34853 32974 74 | 0.000 % |
47.67/47.72 c | 65585 | 870 69090 217938 | 34853 33210 73 | 0.000 % |
47.87/47.99 c | 65841 | 870 69090 217938 | 34853 33466 73 | 0.000 % |
48.37/48.44 c | 66124 | 870 69090 217938 | 34853 33749 73 | 0.023 % |
48.77/48.84 c | 66433 | 870 69090 217938 | 34853 34058 73 | 0.000 % |
49.26/49.30 c | 66773 | 870 69090 217938 | 34853 34398 73 | 0.023 % |
49.76/49.82 c | 67146 | 870 69090 217938 | 34853 34771 73 | 0.023 % |
50.47/50.51 c | 67556 | 870 69090 217938 | 34853 35181 73 | 0.000 % |
50.76/50.89 c | 68006 | 870 69090 217938 | 34853 30941 73 | 0.023 % |
51.06/51.16 c | 68500 | 870 69090 217938 | 34853 31435 73 | 0.026 % |
51.46/51.54 c | 69042 | 870 69090 217938 | 34853 31977 73 | 0.000 % |
51.86/51.97 c | 69638 | 870 69090 217938 | 34853 32573 73 | 0.000 % |
52.26/52.32 c | 70295 | 870 69090 217938 | 32938 33230 73 | 0.000 % |
52.67/52.78 c | 71015 | 870 69090 217938 | 32938 30430 73 | 0.000 % |
53.06/53.19 c | 71809 | 870 69090 217938 | 32938 31224 72 | 0.024 % |
53.87/53.91 c | 72681 | 870 69090 217938 | 32938 32096 72 | 0.000 % |
53.87/53.96 c | 72783 | 870 69090 217938 | 32938 32198 72 | 0.024 % |
53.96/54.01 c | 72894 | 870 69090 217938 | 32938 32309 72 | 0.024 % |
53.96/54.09 c | 73015 | 870 69090 217938 | 32938 32430 72 | 0.024 % |
54.16/54.23 c | 73149 | 870 69090 217938 | 32938 32564 72 | 0.024 % |
54.26/54.35 c | 73295 | 870 69090 217938 | 32938 32710 72 | 0.024 % |
54.36/54.46 c | 73456 | 870 69090 217938 | 32938 32871 72 | 0.000 % |
54.56/54.65 c | 73635 | 870 69090 217938 | 32938 33050 72 | 0.000 % |
54.76/54.86 c | 73831 | 870 69090 217938 | 32938 29941 73 | 0.000 % |
54.96/55.02 c | 74043 | 870 69090 217938 | 32938 30153 73 | 0.000 % |
55.06/55.17 c | 74278 | 870 69090 217938 | 32938 30388 73 | 0.027 % |
55.26/55.34 c | 74535 | 870 69090 217938 | 32938 30645 73 | 0.000 % |
55.46/55.50 c | 74816 | 870 69090 217938 | 32938 30926 73 | 0.027 % |
55.56/55.69 c | 75126 | 870 69090 217938 | 32938 31236 74 | 0.000 % |
55.86/55.94 c | 75466 | 870 69090 217938 | 32938 31576 74 | 0.000 % |
56.06/56.16 c | 75838 | 870 69090 217938 | 32938 31948 74 | 0.000 % |
56.46/56.51 c | 76247 | 870 69090 217938 | 32938 32357 74 | 0.000 % |
56.86/56.92 c | 76701 | 870 69090 217938 | 32938 32811 74 | 0.000 % |
57.36/57.45 c | 77194 | 870 69090 217938 | 32938 29976 76 | 0.000 % |
57.86/57.92 c | 77737 | 870 69090 217938 | 32938 30519 76 | 0.000 % |
58.26/58.37 c | 78333 | 870 69090 217938 | 32938 31115 76 | 0.000 % |
58.86/58.95 c | 78988 | 870 69090 217938 | 32938 31770 76 | 0.000 % |
59.56/59.63 c | 79710 | 870 69090 217938 | 32938 32492 77 | 0.000 % |
60.26/60.40 c | 80503 | 870 69090 217938 | 2147483647 33285 77 | 0.000 % |
60.76/60.88 c | 81374 | 870 69090 217938 | 2147483647 34156 78 | 0.000 % |
61.66/61.76 c | 82332 | 870 69090 217938 | 2147483647 35114 79 | 0.000 % |
61.76/61.88 c | 82433 | 870 69090 217938 | 2147483647 35215 79 | 0.000 % |
61.86/61.97 c | 82546 | 870 69090 217938 | 2147483647 35328 79 | 0.000 % |
61.96/62.07 c | 82667 | 870 69090 217938 | 2147483647 35449 79 | 0.000 % |
62.06/62.18 c | 82800 | 870 69090 217938 | 2147483647 35582 79 | 0.000 % |
62.26/62.34 c | 82948 | 870 69090 217938 | 2147483647 35730 79 | 0.000 % |
62.36/62.45 c | 83110 | 870 69090 217938 | 2147483647 35892 79 | 0.000 % |
62.46/62.57 c | 83286 | 870 69090 217938 | 2147483647 36068 79 | 0.000 % |
62.56/62.69 c | 83480 | 870 69090 217938 | 2147483647 36262 79 | 0.000 % |
62.76/62.89 c | 83692 | 870 69090 217938 | 2147483647 36474 79 | 0.000 % |
63.06/63.13 c | 83925 | 870 69090 217938 | 2147483647 36707 79 | 0.000 % |
63.36/63.45 c | 84185 | 870 69090 217938 | 2147483647 36967 79 | 0.000 % |
63.56/63.67 c | 84466 | 870 69090 217938 | 2147483647 37248 80 | 0.000 % |
63.96/64.03 c | 84778 | 870 69090 217938 | 2147483647 37560 80 | 0.000 % |
64.16/64.27 c | 85117 | 870 69090 217938 | 2147483647 37899 80 | 0.000 % |
64.56/64.66 c | 85489 | 870 69090 217938 | 2147483647 38271 80 | 0.000 % |
65.05/65.13 c | 85900 | 870 69090 217938 | 2147483647 38682 80 | 0.000 % |
65.65/65.70 c | 86351 | 870 69090 217938 | 2147483647 39133 80 | 0.000 % |
66.35/66.43 c | 86844 | 870 69090 217938 | 2147483647 39626 79 | 0.000 % |
66.96/67.01 c | 87387 | 870 69090 217938 | 2147483647 40169 79 | 0.000 % |
67.65/67.72 c | 87983 | 870 69090 217938 | 2147483647 40765 79 | 0.000 % |
68.55/68.68 c | 88638 | 870 69090 217938 | 2147483647 41420 79 | 0.000 % |
69.16/69.24 c | 89359 | 870 69090 217938 | 2147483647 42141 79 | 0.000 % |
70.05/70.11 c | 90152 | 870 69090 217938 | 42782 42934 79 | 0.000 % |
71.05/71.10 c | 91024 | 870 69090 217938 | 42782 37219 77 | 0.000 % |
71.65/71.73 c | 91983 | 870 69090 217938 | 42782 38178 77 | 0.000 % |
72.35/72.43 c | 93037 | 870 69090 217938 | 42782 39232 77 | 0.000 % |
72.46/72.51 c | 93137 | 870 69090 217938 | 42782 39332 77 | 0.021 % |
72.56/72.61 c | 93247 | 870 69090 217938 | 42782 39442 77 | 0.000 % |
72.65/72.71 c | 93368 | 870 69090 217938 | 42782 39563 77 | 0.000 % |
72.75/72.86 c | 93504 | 870 69090 217938 | 42782 39699 77 | 0.000 % |
72.85/72.97 c | 93650 | 870 69090 217938 | 42782 39845 77 | 0.024 % |
73.05/73.10 c | 93810 | 870 69090 217938 | 42782 40005 77 | 0.000 % |
73.15/73.27 c | 93986 | 870 69090 217938 | 42782 40181 77 | 0.000 % |
73.35/73.46 c | 94180 | 870 69090 217938 | 42782 40375 78 | 0.000 % |
73.65/73.77 c | 94393 | 870 69090 217938 | 42782 40588 78 | 0.000 % |
73.95/74.01 c | 94629 | 870 69090 217938 | 42782 40824 78 | 0.000 % |
74.15/74.25 c | 94885 | 870 69090 217938 | 42782 41080 78 | 0.000 % |
74.55/74.63 c | 95166 | 870 69090 217938 | 42782 41361 78 | 0.000 % |
74.95/75.00 c | 95478 | 870 69090 217938 | 42782 41673 78 | 0.000 % |
75.35/75.40 c | 95817 | 870 69090 217938 | 42782 42012 78 | 0.000 % |
75.55/75.63 c | 96189 | 870 69090 217938 | 42782 42384 78 | 0.000 % |
75.95/76.03 c | 96601 | 870 69090 217938 | 42782 42796 78 | 0.000 % |
76.45/76.55 c | 97051 | 870 69090 217938 | 42782 36907 78 | 0.000 % |
76.85/76.95 c | 97544 | 870 69090 217938 | 42782 37400 78 | 0.024 % |
77.25/77.31 c | 98087 | 870 69090 217938 | 42782 37943 78 | 0.000 % |
77.85/77.95 c | 98683 | 870 69090 217938 | 42782 38539 77 | 0.000 % |
78.45/78.55 c | 99338 | 870 69090 217938 | 42782 39194 77 | 0.000 % |
79.05/79.18 c | 100058 | 870 69090 217938 | 39856 39914 77 | 0.025 % |
79.85/79.97 c | 100851 | 870 69090 217938 | 39856 34847 78 | 0.000 % |
80.75/80.81 c | 101722 | 870 69090 217938 | 39856 35718 79 | 0.000 % |
81.85/81.94 c | 102680 | 870 69090 217938 | 39856 36676 79 | 0.000 % |
83.15/83.25 c | 103733 | 870 69090 217938 | 39856 37729 79 | 0.000 % |
84.25/84.34 c | 104891 | 870 69090 217938 | 39856 38887 79 | 0.000 % |
84.45/84.51 c | 104993 | 870 69090 217938 | 39856 38989 80 | 0.000 % |
84.55/84.62 c | 105104 | 870 69090 217938 | 39856 39100 80 | 0.000 % |
84.75/84.85 c | 105228 | 870 69090 217938 | 39856 39224 80 | 0.000 % |
84.95/85.00 c | 105364 | 870 69090 217938 | 39856 39360 80 | 0.000 % |
85.05/85.17 c | 105511 | 870 69090 217938 | 39856 39507 80 | 0.000 % |
85.25/85.32 c | 105673 | 870 69090 217938 | 39856 39669 80 | 0.000 % |
85.45/85.59 c | 105850 | 870 69090 217938 | 39856 39846 80 | 0.000 % |
85.75/85.85 c | 106043 | 870 69090 217938 | 39856 40039 80 | 0.000 % |
85.95/86.04 c | 106256 | 870 69090 217938 | 39856 33495 80 | 0.022 % |
86.15/86.29 c | 106489 | 870 69090 217938 | 39856 33728 80 | 0.000 % |
86.45/86.53 c | 106745 | 870 69090 217938 | 39856 33984 80 | 0.000 % |
86.65/86.74 c | 107027 | 870 69090 217938 | 39856 34266 80 | 0.000 % |
86.95/87.07 c | 107338 | 870 69090 217938 | 39856 34577 80 | 0.000 % |
87.25/87.37 c | 107679 | 870 69090 217938 | 39856 34918 80 | 0.000 % |
87.75/87.87 c | 108052 | 870 69090 217938 | 39856 35291 80 | 0.000 % |
88.05/88.15 c | 108463 | 870 69090 217938 | 39856 35702 80 | 0.023 % |
88.45/88.59 c | 108915 | 870 69090 217938 | 39856 36154 80 | 0.000 % |
88.85/88.93 c | 109408 | 870 69090 217938 | 39856 36647 80 | 0.000 % |
89.55/89.65 c | 109951 | 870 69090 217938 | 39856 37190 81 | 0.000 % |
90.15/90.25 c | 110547 | 870 69090 217938 | 37241 32101 77 | 0.000 % |
90.55/90.62 c | 111202 | 870 69090 217938 | 37241 32756 78 | 0.021 % |
91.35/91.43 c | 111922 | 870 69090 217938 | 37241 33476 79 | 0.000 % |
92.15/92.29 c | 112715 | 870 69090 217938 | 37241 34269 79 | 0.000 % |
93.14/93.26 c | 113586 | 870 69090 217938 | 37241 35140 80 | 0.000 % |
93.74/93.81 c | 114544 | 870 69090 217938 | 37241 36098 80 | 0.000 % |
94.94/95.07 c | 115597 | 870 69090 217938 | 37241 37151 79 | 0.000 % |
96.24/96.36 c | 116759 | 870 69090 217938 | 37241 32881 78 | 0.023 % |
97.34/97.41 c | 118032 | 870 69090 217938 | 37241 34154 79 | 0.000 % |
97.34/97.48 c | 118133 | 870 69090 217938 | 37241 34255 79 | 0.027 % |
97.44/97.57 c | 118243 | 870 69090 217938 | 37241 34365 79 | 0.000 % |
97.54/97.67 c | 118364 | 870 69090 217938 | 37241 34486 79 | 0.000 % |
97.74/97.88 c | 118499 | 870 69090 217938 | 37241 34621 79 | 0.000 % |
97.94/98.07 c | 118645 | 870 69090 217938 | 37241 34767 79 | 0.000 % |
98.14/98.25 c | 118806 | 870 69090 217938 | 37241 34928 79 | 0.000 % |
98.34/98.47 c | 118982 | 870 69090 217938 | 37241 35104 79 | 0.000 % |
98.54/98.66 c | 119175 | 870 69090 217938 | 37241 35297 79 | 0.000 % |
98.74/98.85 c | 119389 | 870 69090 217938 | 37241 35511 79 | 0.000 % |
98.94/99.07 c | 119623 | 870 69090 217938 | 37241 35745 79 | 0.000 % |
99.24/99.33 c | 119880 | 870 69090 217938 | 37241 36002 80 | 0.000 % |
99.54/99.64 c | 120161 | 870 69090 217938 | 36122 36283 80 | 0.000 % |
99.84/99.90 c | 120472 | 870 69090 217938 | 36122 31155 78 | 0.000 % |
100.04/100.15 c | 120813 | 870 69090 217938 | 36122 31496 78 | 0.000 % |
100.54/100.68 c | 121186 | 870 69090 217938 | 36122 31869 78 | 0.000 % |
100.94/101.06 c | 121595 | 870 69090 217938 | 36122 32278 78 | 0.000 % |
101.23/101.32 c | 122044 | 870 69090 217938 | 36122 32727 78 | 0.022 % |
101.63/101.75 c | 122537 | 870 69090 217938 | 36122 33220 78 | 0.027 % |
102.04/102.17 c | 123080 | 870 69090 217938 | 36122 33763 78 | 0.025 % |
102.44/102.53 c | 123677 | 870 69090 217938 | 36122 34360 79 | 0.021 % |
103.13/103.20 c | 124336 | 870 69090 217938 | 36122 35019 80 | 0.000 % |
103.93/104.03 c | 125058 | 870 69090 217938 | 36122 35741 81 | 0.000 % |
104.83/104.93 c | 125851 | 870 69090 217938 | 36122 36534 80 | 0.028 % |
105.73/105.83 c | 126722 | 870 69090 217938 | 36122 32752 80 | 0.000 % |
106.83/106.98 c | 127681 | 870 69090 217938 | 36122 33711 81 | 0.000 % |
108.23/108.37 c | 128736 | 870 69090 217938 | 36122 34766 82 | 0.000 % |
109.63/109.78 c | 129898 | 870 69090 217938 | 36122 35928 82 | 0.000 % |
111.23/111.33 c | 131173 | 870 69090 217938 | 36030 31607 82 | 0.000 % |
112.83/112.92 c | 132574 | 870 69090 217938 | 36030 33008 83 | 0.000 % |
112.83/112.99 c | 132675 | 870 69090 217938 | 36030 33109 83 | 0.000 % |
113.03/113.11 c | 132786 | 870 69090 217938 | 36030 33220 83 | 0.000 % |
113.13/113.25 c | 132908 | 870 69090 217938 | 36030 33342 83 | 0.000 % |
113.23/113.40 c | 133041 | 870 69090 217938 | 36030 33475 83 | 0.000 % |
113.43/113.54 c | 133187 | 870 69090 217938 | 36030 33621 83 | 0.027 % |
113.63/113.70 c | 133347 | 870 69090 217938 | 36030 33781 83 | 0.000 % |
113.73/113.82 c | 133523 | 870 69090 217938 | 36030 33957 83 | 0.000 % |
113.83/113.99 c | 133716 | 870 69090 217938 | 36030 34150 83 | 0.027 % |
114.03/114.19 c | 133934 | 870 69090 217938 | 36030 34368 84 | 0.000 % |
114.43/114.52 c | 134167 | 870 69090 217938 | 36030 34601 83 | 0.000 % |
114.73/114.87 c | 134424 | 870 69090 217938 | 36030 34858 83 | 0.000 % |
115.03/115.10 c | 134706 | 870 69090 217938 | 36030 35140 83 | 0.000 % |
115.13/115.26 c | 135015 | 870 69090 217938 | 36030 35449 83 | 0.000 % |
115.43/115.55 c | 135356 | 870 69090 217938 | 36030 35790 83 | 0.000 % |
115.83/115.97 c | 135728 | 870 69090 217938 | 36030 36162 84 | 0.000 % |
116.33/116.47 c | 136139 | 870 69090 217938 | 36030 30572 82 | 0.000 % |
116.93/117.01 c | 136589 | 870 69090 217938 | 36030 31022 82 | 0.000 % |
117.23/117.33 c | 137082 | 870 69090 217938 | 36030 31515 82 | 0.031 % |
117.63/117.72 c | 137624 | 870 69090 217938 | 36030 32057 82 | 0.019 % |
118.33/118.44 c | 138221 | 870 69090 217938 | 36030 32654 83 | 0.000 % |
119.13/119.21 c | 138876 | 870 69090 217938 | 36030 33309 83 | 0.000 % |
119.83/119.94 c | 139597 | 870 69090 217938 | 36030 34030 83 | 0.000 % |
120.43/120.54 c | 140390 | 870 69090 217938 | 34436 29638 84 | 0.000 % |
121.13/121.23 c | 141264 | 870 69090 217938 | 34436 30512 84 | 0.023 % |
122.03/122.11 c | 142224 | 870 69090 217938 | 34436 31472 85 | 0.000 % |
123.03/123.18 c | 143280 | 870 69090 217938 | 34436 32528 85 | 0.000 % |
124.33/124.43 c | 144440 | 870 69090 217938 | 34436 33688 86 | 0.000 % |
125.43/125.52 c | 145713 | 870 69090 217938 | 34436 30114 87 | 0.000 % |
126.23/126.39 c | 147113 | 870 69090 217938 | 34436 31514 88 | 0.000 % |
128.53/128.66 c | 148655 | 870 69090 217938 | 34436 33056 89 | 0.000 % |
128.63/128.75 c | 148755 | 870 69090 217938 | 34436 33156 89 | 0.000 % |
128.83/128.96 c | 148866 | 870 69090 217938 | 34436 33267 89 | 0.000 % |
129.03/129.19 c | 148987 | 870 69090 217938 | 34436 33388 89 | 0.000 % |
129.33/129.41 c | 149121 | 870 69090 217938 | 34436 33522 89 | 0.000 % |
129.53/129.64 c | 149267 | 870 69090 217938 | 34436 33668 89 | 0.000 % |
129.73/129.84 c | 149428 | 870 69090 217938 | 34436 33829 89 | 0.000 % |
129.92/130.00 c | 149607 | 870 69090 217938 | 34436 34008 89 | 0.000 % |
130.02/130.18 c | 149801 | 870 69090 217938 | 34436 34202 90 | 0.000 % |
130.22/130.40 c | 150015 | 870 69090 217938 | 34402 34416 90 | 0.000 % |
130.52/130.61 c | 150249 | 870 69090 217938 | 34402 29644 88 | 0.000 % |
130.73/130.87 c | 150506 | 870 69090 217938 | 34402 29901 88 | 0.000 % |
130.92/131.06 c | 150787 | 870 69090 217938 | 34402 30182 88 | 0.000 % |
131.32/131.45 c | 151097 | 870 69090 217938 | 34402 30492 88 | 0.000 % |
131.62/131.71 c | 151438 | 870 69090 217938 | 34402 30833 88 | 0.027 % |
132.02/132.17 c | 151810 | 870 69090 217938 | 34402 31205 88 | 0.000 % |
132.32/132.48 c | 152219 | 870 69090 217938 | 34402 31614 89 | 0.000 % |
132.62/132.78 c | 152668 | 870 69090 217938 | 34402 32063 89 | 0.000 % |
133.22/133.37 c | 153162 | 870 69090 217938 | 34402 32557 89 | 0.000 % |
134.02/134.15 c | 153705 | 870 69090 217938 | 34402 33100 89 | 0.000 % |
134.72/134.82 c | 154301 | 870 69090 217938 | 34402 33696 90 | 0.000 % |
135.32/135.42 c | 154956 | 870 69090 217938 | 34402 34351 90 | 0.000 % |
135.92/136.08 c | 155676 | 870 69090 217938 | 34402 29820 89 | 0.000 % |
136.82/136.90 c | 156468 | 870 69090 217938 | 34402 30612 89 | 0.000 % |
137.62/137.78 c | 157342 | 870 69090 217938 | 34402 31486 89 | 0.000 % |
139.12/139.27 c | 158302 | 870 69090 217938 | 34402 32446 89 | 0.000 % |
140.51/140.68 c | 159355 | 870 69090 217938 | 34402 33499 89 | 0.000 % |
141.82/141.94 c | 160513 | 870 69090 217938 | 34144 28997 89 | 0.000 % |
142.51/142.66 c | 161786 | 870 69090 217938 | 34144 30270 90 | 0.021 % |
144.72/144.81 c | 163187 | 870 69090 217938 | 34144 31671 90 | 0.000 % |
147.11/147.28 c | 164728 | 870 69090 217938 | 34144 33212 90 | 0.000 % |
149.71/149.89 c | 166422 | 870 69090 217938 | 34144 28397 89 | 0.000 % |
149.81/149.98 c | 166522 | 870 69090 217938 | 34144 28497 89 | 0.000 % |
150.01/150.10 c | 166635 | 870 69090 217938 | 34144 28610 89 | 0.024 % |
150.11/150.28 c | 166758 | 870 69090 217938 | 34144 28733 89 | 0.000 % |
150.41/150.52 c | 166891 | 870 69090 217938 | 34144 28866 90 | 0.000 % |
150.62/150.73 c | 167037 | 870 69090 217938 | 34144 29012 90 | 0.000 % |
150.71/150.89 c | 167197 | 870 69090 217938 | 34144 29172 90 | 0.000 % |
150.91/151.08 c | 167374 | 870 69090 217938 | 34144 29349 90 | 0.000 % |
151.21/151.31 c | 167568 | 870 69090 217938 | 34144 29543 90 | 0.000 % |
151.31/151.48 c | 167785 | 870 69090 217938 | 34144 29760 90 | 0.026 % |
151.51/151.67 c | 168018 | 870 69090 217938 | 34144 29993 90 | 0.000 % |
151.72/151.86 c | 168277 | 870 69090 217938 | 34144 30252 89 | 0.026 % |
152.01/152.13 c | 168558 | 870 69090 217938 | 34144 30533 89 | 0.000 % |
152.31/152.44 c | 168867 | 870 69090 217938 | 34144 30842 89 | 0.021 % |
152.61/152.74 c | 169207 | 870 69090 217938 | 34144 31182 90 | 0.000 % |
153.01/153.14 c | 169583 | 870 69090 217938 | 34144 31558 90 | 0.000 % |
153.31/153.50 c | 169992 | 870 69090 217938 | 34144 31967 90 | 0.019 % |
153.71/153.89 c | 170441 | 870 69090 217938 | 31977 32416 90 | 0.000 % |
154.11/154.25 c | 170935 | 870 69090 217938 | 31977 27138 86 | 0.000 % |
154.51/154.67 c | 171478 | 870 69090 217938 | 31977 27681 87 | 0.000 % |
155.11/155.23 c | 172076 | 870 69090 217938 | 31977 28279 87 | 0.000 % |
155.61/155.79 c | 172732 | 870 69090 217938 | 31977 28935 87 | 0.000 % |
156.41/156.54 c | 173453 | 870 69090 217938 | 31977 29656 87 | 0.000 % |
157.31/157.42 c | 174249 | 870 69090 217938 | 31977 30452 87 | 0.000 % |
158.71/158.83 c | 175120 | 870 69090 217938 | 31977 31323 88 | 0.000 % |
159.81/159.98 c | 176078 | 870 69090 217938 | 31977 26837 85 | 0.000 % |
160.51/160.65 c | 177133 | 870 69090 217938 | 31977 27892 87 | 0.024 % |
161.61/161.72 c | 178291 | 870 69090 217938 | 31977 29050 87 | 0.000 % |
162.51/162.60 c | 179564 | 870 69090 217938 | 31977 30323 88 | 0.000 % |
163.41/163.54 c | 180964 | 870 69090 217938 | 30759 27464 88 | 0.000 % |
164.71/164.81 c | 182505 | 870 69090 217938 | 30759 29005 89 | 0.000 % |
166.10/166.25 c | 184199 | 870 69090 217938 | 30759 30699 89 | 0.027 % |
168.40/168.56 c | 186062 | 870 69090 217938 | 30759 29272 89 | 0.000 % |
168.50/168.64 c | 186163 | 870 69090 217938 | 30759 29373 88 | 0.000 % |
168.60/168.78 c | 186273 | 870 69090 217938 | 30759 29483 89 | 0.000 % |
168.80/168.93 c | 186394 | 870 69090 217938 | 30759 29604 89 | 0.000 % |
168.90/169.09 c | 186527 | 870 69090 217938 | 30759 29737 89 | 0.000 % |
169.10/169.24 c | 186673 | 870 69090 217938 | 30759 29883 89 | 0.000 % |
169.21/169.39 c | 186835 | 870 69090 217938 | 30759 30045 89 | 0.000 % |
169.40/169.55 c | 187011 | 870 69090 217938 | 30759 30221 89 | 0.000 % |
169.50/169.70 c | 187204 | 870 69090 217938 | 30759 30414 89 | 0.000 % |
169.80/169.91 c | 187416 | 870 69090 217938 | 30759 30626 89 | 0.000 % |
170.00/170.17 c | 187649 | 870 69090 217938 | 30759 30859 89 | 0.000 % |
170.20/170.33 c | 187907 | 870 69090 217938 | 30759 27141 88 | 0.000 % |
170.50/170.69 c | 188189 | 870 69090 217938 | 30759 27423 88 | 0.000 % |
170.90/171.09 c | 188499 | 870 69090 217938 | 30759 27733 88 | 0.000 % |
171.30/171.43 c | 188843 | 870 69090 217938 | 30759 28077 88 | 0.000 % |
171.70/171.85 c | 189218 | 870 69090 217938 | 30759 28452 88 | 0.000 % |
172.10/172.28 c | 189627 | 870 69090 217938 | 30759 28861 89 | 0.000 % |
172.60/172.79 c | 190076 | 870 69090 217938 | 29234 29310 89 | 0.000 % |
173.00/173.14 c | 190569 | 870 69090 217938 | 29234 25744 87 | 0.025 % |
173.50/173.65 c | 191111 | 870 69090 217938 | 29234 26286 87 | 0.000 % |
174.10/174.24 c | 191708 | 870 69090 217938 | 29234 26883 87 | 0.000 % |
174.80/174.95 c | 192365 | 870 69090 217938 | 29234 27540 88 | 0.000 % |
175.60/175.77 c | 193087 | 870 69090 217938 | 29234 28262 88 | 0.000 % |
176.30/176.42 c | 193881 | 870 69090 217938 | 29234 29056 88 | 0.000 % |
176.90/177.05 c | 194755 | 870 69090 217938 | 29234 26716 88 | 0.000 % |
178.00/178.20 c | 195717 | 870 69090 217938 | 29234 27678 88 | 0.000 % |
179.30/179.49 c | 196771 | 870 69090 217938 | 29234 28732 89 | 0.000 % |
181.20/181.30 c | 197929 | 870 69090 217938 | 29234 26258 87 | 0.000 % |
182.20/182.36 c | 199203 | 870 69090 217938 | 29234 27532 88 | 0.000 % |
184.10/184.26 c | 200605 | 870 69090 217938 | 28329 25067 86 | 0.000 % |
186.09/186.25 c | 202150 | 870 69090 217938 | 28329 26612 87 | 0.000 % |
188.09/188.21 c | 203844 | 870 69090 217938 | 28329 28306 87 | 0.000 % |
190.10/190.25 c | 205709 | 870 69090 217938 | 28329 26513 88 | 0.000 % |
192.89/193.00 c | 207761 | 870 69090 217938 | 28329 28565 89 | 0.000 % |
192.99/193.18 c | 207863 | 870 69090 217938 | 28329 25138 87 | 0.000 % |
193.19/193.39 c | 207974 | 870 69090 217938 | 28329 25249 87 | 0.000 % |
193.29/193.50 c | 208095 | 870 69090 217938 | 28329 25370 87 | 0.000 % |
193.40/193.58 c | 208229 | 870 69090 217938 | 28329 25504 87 | 0.020 % |
193.49/193.69 c | 208376 | 870 69090 217938 | 28329 25651 88 | 0.000 % |
193.79/193.91 c | 208536 | 870 69090 217938 | 28329 25811 88 | 0.000 % |
193.89/194.05 c | 208713 | 870 69090 217938 | 28329 25988 88 | 0.022 % |
194.09/194.21 c | 208906 | 870 69090 217938 | 28329 26181 88 | 0.000 % |
194.19/194.33 c | 209120 | 870 69090 217938 | 28329 26395 88 | 0.000 % |
194.39/194.59 c | 209356 | 870 69090 217938 | 28329 26631 88 | 0.000 % |
194.59/194.75 c | 209614 | 870 69090 217938 | 28329 26889 88 | 0.000 % |
194.99/195.14 c | 209896 | 870 69090 217938 | 28329 27171 88 | 0.000 % |
195.49/195.60 c | 210206 | 870 69090 217938 | 27276 27481 88 | 0.000 % |
195.89/196.05 c | 210545 | 870 69090 217938 | 27276 24107 88 | 0.000 % |
196.19/196.32 c | 210918 | 870 69090 217938 | 27276 24480 89 | 0.000 % |
196.69/196.88 c | 211329 | 870 69090 217938 | 27276 24891 89 | 0.000 % |
196.99/197.20 c | 211780 | 870 69090 217938 | 27276 25342 89 | 0.000 % |
197.39/197.54 c | 212275 | 870 69090 217938 | 27276 25837 90 | 0.000 % |
197.59/197.79 c | 212818 | 870 69090 217938 | 27276 26380 90 | 0.000 % |
198.19/198.31 c | 213414 | 870 69090 217938 | 27276 26976 90 | 0.000 % |
198.89/199.03 c | 214069 | 870 69090 217938 | 27276 27631 91 | 0.000 % |
199.49/199.67 c | 214789 | 870 69090 217938 | 27276 24849 90 | 0.000 % |
200.39/200.51 c | 215581 | 870 69090 217938 | 27276 25641 91 | 0.000 % |
200.99/201.13 c | 216453 | 870 69090 217938 | 27276 26513 91 | 0.019 % |
201.99/202.13 c | 217412 | 870 69090 217938 | 27276 27472 91 | 0.000 % |
202.89/203.07 c | 218470 | 870 69090 217938 | 27276 25287 87 | 0.000 % |
203.89/204.03 c | 219629 | 869 68880 217267 | 27276 24638 88 | 0.134 % |
205.19/205.36 c | 220902 | 869 68880 217267 | 25010 23162 87 | 0.115 % |
206.49/206.70 c | 222302 | 869 68880 217267 | 25010 24562 88 | 0.115 % |
207.99/208.17 c | 223842 | 869 68880 217267 | 25010 23509 87 | 0.115 % |
209.59/209.73 c | 225537 | 869 68880 217267 | 25010 25204 87 | 0.115 % |
210.59/210.74 c | 227401 | 869 68880 217267 | 25010 24548 87 | 0.115 % |
212.98/213.11 c | 229451 | 869 68880 217267 | 25010 24065 87 | 0.115 % |
215.68/215.86 c | 231705 | 869 68880 217267 | 2147483647 26319 88 | 0.115 % |
215.88/216.02 c | 231805 | 869 68880 217267 | 2147483647 26419 88 | 0.115 % |
215.98/216.13 c | 231921 | 869 68880 217267 | 2147483647 26535 88 | 0.115 % |
216.18/216.31 c | 232042 | 869 68880 217267 | 2147483647 26656 88 | 0.115 % |
216.28/216.42 c | 232177 | 869 68880 217267 | 2147483647 26791 88 | 0.115 % |
216.38/216.58 c | 232323 | 869 68880 217267 | 2147483647 26937 88 | 0.115 % |
216.59/216.74 c | 232483 | 869 68880 217267 | 2147483647 27097 88 | 0.115 % |
216.78/216.91 c | 232661 | 869 68880 217267 | 2147483647 27275 88 | 0.115 % |
216.88/217.10 c | 232855 | 869 68880 217267 | 2147483647 27469 89 | 0.115 % |
217.08/217.26 c | 233067 | 869 68880 217267 | 2147483647 27681 89 | 0.115 % |
217.28/217.48 c | 233300 | 869 68880 217267 | 2147483647 27914 89 | 0.115 % |
217.48/217.66 c | 233556 | 869 68880 217267 | 2147483647 28170 89 | 0.115 % |
217.88/218.00 c | 233839 | 869 68880 217267 | 2147483647 28453 89 | 0.142 % |
218.09/218.29 c | 234149 | 869 68880 217267 | 2147483647 28763 89 | 0.115 % |
218.59/218.78 c | 234490 | 869 68880 217267 | 2147483647 29104 90 | 0.115 % |
219.09/219.26 c | 234862 | 869 68880 217267 | 2147483647 29476 90 | 0.115 % |
219.49/219.69 c | 235274 | 869 68880 217267 | 2147483647 29888 90 | 0.115 % |
220.09/220.25 c | 235724 | 869 68880 217267 | 2147483647 30338 90 | 0.115 % |
220.89/221.01 c | 236218 | 869 68880 217267 | 2147483647 30832 90 | 0.115 % |
221.59/221.75 c | 236763 | 869 68880 217267 | 2147483647 31377 90 | 0.115 % |
222.59/222.76 c | 237361 | 869 68880 217267 | 2147483647 31975 90 | 0.115 % |
223.19/223.30 c | 238018 | 869 68880 217267 | 2147483647 32632 90 | 0.115 % |
223.79/223.98 c | 238738 | 869 68880 217267 | 2147483647 33352 90 | 0.136 % |
224.69/224.80 c | 239530 | 869 68880 217267 | 2147483647 34144 91 | 0.115 % |
225.79/225.99 c | 240403 | 869 68880 217267 | 34614 29306 87 | 0.115 % |
226.99/227.16 c | 241361 | 869 68880 217267 | 34614 30264 88 | 0.115 % |
228.19/228.36 c | 242414 | 869 68880 217267 | 34614 31317 88 | 0.115 % |
230.19/230.30 c | 243573 | 869 68880 217267 | 34614 32476 89 | 0.115 % |
231.58/231.74 c | 244846 | 868 68880 217267 | 34614 33748 90 | 0.230 % |
233.38/233.54 c | 246248 | 868 68880 217267 | 34614 28460 90 | 0.230 % |
234.98/235.13 c | 247789 | 868 68663 216554 | 34614 30000 91 | 0.230 % |
236.88/237.03 c | 249485 | 868 68663 216554 | 34614 31696 92 | 0.230 % |
239.28/239.49 c | 251349 | 868 68663 216554 | 32212 27740 91 | 0.230 % |
241.58/241.73 c | 253398 | 868 68663 216554 | 32212 29789 92 | 0.230 % |
244.58/244.78 c | 255651 | 868 68663 216554 | 32212 32042 93 | 0.230 % |
248.38/248.54 c | 258130 | 868 68663 216554 | 32212 29142 92 | 0.230 % |
248.58/248.74 c | 258234 | 868 68663 216554 | 32212 29246 92 | 0.230 % |
248.68/248.88 c | 258345 | 868 68663 216554 | 32212 29357 92 | 0.230 % |
248.98/249.14 c | 258468 | 868 68663 216554 | 32212 29480 92 | 0.230 % |
249.18/249.34 c | 258601 | 868 68663 216554 | 32212 29613 93 | 0.230 % |
249.48/249.65 c | 258748 | 868 68663 216554 | 32212 29760 93 | 0.230 % |
249.78/249.96 c | 258910 | 868 68663 216554 | 32212 29922 93 | 0.230 % |
250.08/250.25 c | 259086 | 868 68663 216554 | 32212 30098 93 | 0.230 % |
250.28/250.41 c | 259279 | 868 68663 216554 | 32212 30291 93 | 0.230 % |
250.48/250.68 c | 259494 | 868 68663 216554 | 32212 30506 93 | 0.230 % |
250.88/251.00 c | 259728 | 868 68663 216554 | 32212 30740 93 | 0.230 % |
251.18/251.36 c | 259984 | 868 68663 216554 | 32212 30996 93 | 0.230 % |
251.58/251.73 c | 260265 | 868 68663 216554 | 31012 31277 93 | 0.230 % |
251.78/251.96 c | 260574 | 868 68663 216554 | 31012 26116 93 | 0.230 % |
251.98/252.12 c | 260915 | 868 68663 216554 | 31012 26457 94 | 0.249 % |
252.58/252.71 c | 261287 | 868 68663 216554 | 31012 26829 94 | 0.230 % |
253.08/253.27 c | 261698 | 868 68663 216554 | 31012 27240 94 | 0.230 % |
253.68/253.90 c | 262147 | 868 68663 216554 | 31012 27689 95 | 0.230 % |
254.28/254.47 c | 262640 | 868 68663 216554 | 31012 28182 95 | 0.230 % |
254.88/255.01 c | 263184 | 868 68663 216554 | 31012 28726 96 | 0.230 % |
255.68/255.84 c | 263780 | 868 68663 216554 | 31012 29322 96 | 0.230 % |
256.67/256.80 c | 264435 | 868 68663 216554 | 31012 29977 96 | 0.230 % |
257.77/257.99 c | 265156 | 868 68663 216554 | 31012 30698 96 | 0.230 % |
259.07/259.28 c | 265948 | 868 68663 216554 | 31012 25494 95 | 0.230 % |
259.97/260.11 c | 266819 | 868 68663 216554 | 31012 26365 95 | 0.230 % |
260.77/260.99 c | 267778 | 868 68663 216554 | 31012 27324 95 | 0.230 % |
262.68/262.89 c | 268834 | 868 68663 216554 | 31012 28380 95 | 0.230 % |
263.97/264.19 c | 269993 | 868 68663 216554 | 31012 29539 95 | 0.230 % |
265.77/265.95 c | 271270 | 868 68663 216554 | 29546 25510 94 | 0.230 % |
267.27/267.47 c | 272673 | 868 68663 216554 | 29546 26913 94 | 0.230 % |
269.97/270.15 c | 274213 | 868 68663 216554 | 29546 28453 94 | 0.230 % |
272.47/272.63 c | 275907 | 868 68663 216554 | 29546 25021 93 | 0.230 % |
275.17/275.35 c | 277770 | 868 68663 216554 | 29546 26884 95 | 0.230 % |
278.17/278.32 c | 279820 | 868 68663 216554 | 29546 28934 95 | 0.230 % |
281.27/281.48 c | 282073 | 868 68663 216554 | 29114 26513 96 | 0.230 % |
282.27/282.41 c | 284551 | 868 68663 216554 | 29114 28991 101 | 0.230 % |
284.36/284.50 c | 287276 | 868 68663 216554 | 29114 28765 101 | 0.230 % |
284.46/284.68 c | 287376 | 868 68663 216554 | 29114 28865 101 | 0.230 % |
284.56/284.75 c | 287487 | 868 68663 216554 | 29114 28976 101 | 0.230 % |
284.77/284.96 c | 287608 | 868 68663 216554 | 29114 29097 101 | 0.230 % |
284.86/285.05 c | 287743 | 868 68663 216554 | 29114 29232 101 | 0.230 % |
284.96/285.18 c | 287890 | 868 68663 216554 | 29114 26456 100 | 0.230 % |
285.16/285.36 c | 288053 | 868 68663 216554 | 29114 26619 100 | 0.230 % |
285.36/285.53 c | 288229 | 868 68663 216554 | 29114 26795 100 | 0.230 % |
285.66/285.83 c | 288428 | 868 68663 216554 | 29114 26994 99 | 0.230 % |
285.96/286.19 c | 288641 | 868 68663 216554 | 29114 27207 99 | 0.261 % |
286.46/286.61 c | 288874 | 867 68421 215763 | 29114 26940 100 | 0.345 % |
286.76/287.00 c | 289131 | 867 68421 215763 | 29114 27197 100 | 0.345 % |
287.16/287.34 c | 289413 | 867 68421 215763 | 29114 27479 100 | 0.345 % |
287.66/287.87 c | 289724 | 867 68421 215763 | 29114 27790 100 | 0.345 % |
288.07/288.26 c | 290063 | 867 68421 215763 | 2147483647 28129 100 | 0.345 % |
288.46/288.63 c | 290438 | 867 68421 215763 | 2147483647 28504 100 | 0.345 % |
289.07/289.29 c | 290847 | 867 68421 215763 | 2147483647 28913 100 | 0.369 % |
289.66/289.83 c | 291299 | 867 68421 215763 | 2147483647 29365 100 | 0.345 % |
290.36/290.57 c | 291792 | 867 68421 215763 | 2147483647 29858 100 | 0.345 % |
291.06/291.21 c | 292338 | 867 68421 215763 | 2147483647 30404 100 | 0.345 % |
291.86/292.09 c | 292935 | 867 68421 215763 | 2147483647 31001 101 | 0.345 % |
292.36/292.60 c | 293590 | 867 68421 215763 | 2147483647 31656 100 | 0.345 % |
292.96/293.14 c | 294313 | 867 68421 215763 | 2147483647 32379 100 | 0.345 % |
293.96/294.19 c | 295105 | 867 68421 215763 | 2147483647 33171 100 | 0.345 % |
294.86/295.05 c | 295977 | 867 68421 215763 | 2147483647 34043 101 | 0.345 % |
295.66/295.88 c | 296937 | 867 68421 215763 | 2147483647 35003 101 | 0.345 % |
297.46/297.63 c | 297991 | 867 68421 215763 | 2147483647 36057 100 | 0.345 % |
299.16/299.32 c | 299149 | 867 68421 215763 | 2147483647 37215 100 | 0.345 % |
300.75/300.94 c | 300422 | 867 68421 215763 | 38067 32180 98 | 0.345 % |
303.15/303.37 c | 301822 | 867 68421 215763 | 38067 33580 98 | 0.345 % |
306.25/306.44 c | 303363 | 867 68421 215763 | 38067 35121 98 | 0.345 % |
309.25/309.44 c | 305059 | 867 68421 215763 | 38067 36817 98 | 0.345 % |
311.85/312.06 c | 306924 | 866 68421 215763 | 38067 30637 95 | 0.460 % |
313.85/314.06 c | 308974 | 866 68421 215763 | 38067 32687 95 | 0.460 % |
316.25/316.45 c | 311227 | 866 68421 215763 | 33716 28499 91 | 0.460 % |
318.75/318.96 c | 313708 | 866 68421 215763 | 33716 30980 91 | 0.460 % |
321.75/321.97 c | 316433 | 866 68421 215763 | 33716 33705 92 | 0.460 % |
326.15/326.31 c | 319430 | 866 68421 215763 | 33716 31726 90 | 0.460 % |
326.25/326.45 c | 319532 | 866 68421 215763 | 33716 31828 90 | 0.460 % |
326.35/326.52 c | 319645 | 866 68421 215763 | 33716 31941 90 | 0.460 % |
326.45/326.69 c | 319769 | 866 68421 215763 | 33716 32065 90 | 0.460 % |
326.65/326.88 c | 319902 | 866 68421 215763 | 33716 32198 90 | 0.460 % |
326.95/327.16 c | 320049 | 866 68248 215222 | 31279 31328 91 | 0.460 % |
327.15/327.36 c | 320210 | 866 68248 215222 | 31279 26727 89 | 0.460 % |
327.35/327.50 c | 320386 | 866 68248 215222 | 31279 26903 89 | 0.460 % |
327.45/327.67 c | 320580 | 866 68248 215222 | 31279 27097 90 | 0.460 % |
327.65/327.86 c | 320792 | 866 68248 215222 | 31279 27309 89 | 0.460 % |
327.85/328.02 c | 321025 | 866 68248 215222 | 31279 27542 89 | 0.487 % |
328.15/328.34 c | 321281 | 866 68248 215222 | 31279 27798 89 | 0.460 % |
328.45/328.66 c | 321562 | 866 68248 215222 | 31279 28079 89 | 0.460 % |
328.75/328.92 c | 321873 | 866 68248 215222 | 31279 28390 89 | 0.460 % |
328.84/329.08 c | 322213 | 866 68248 215222 | 31279 28730 90 | 0.460 % |
329.34/329.53 c | 322589 | 866 68248 215222 | 31279 29106 90 | 0.460 % |
329.64/329.87 c | 322998 | 866 68248 215222 | 31279 29515 90 | 0.482 % |
329.85/330.09 c | 323448 | 866 68248 215222 | 31279 29965 90 | 0.460 % |
330.54/330.71 c | 323941 | 866 68248 215222 | 31279 30458 91 | 0.460 % |
330.85/331.08 c | 324484 | 866 68248 215222 | 31279 31001 91 | 0.460 % |
331.54/331.74 c | 325080 | 866 68248 215222 | 31279 31597 91 | 0.460 % |
332.14/332.30 c | 325737 | 866 68248 215222 | 31279 27757 89 | 0.486 % |
333.15/333.33 c | 326458 | 866 68248 215222 | 31279 28478 89 | 0.460 % |
334.25/334.47 c | 327251 | 866 68248 215222 | 31279 29271 90 | 0.460 % |
335.54/335.80 c | 328125 | 866 68248 215222 | 31279 30145 90 | 0.460 % |
337.14/337.36 c | 329084 | 866 68248 215222 | 31279 31104 91 | 0.460 % |
337.94/338.18 c | 330137 | 866 68248 215222 | 26827 26964 88 | 0.481 % |
339.34/339.57 c | 331297 | 866 68248 215222 | 26827 23873 88 | 0.460 % |
340.54/340.78 c | 332570 | 866 68248 215222 | 26827 25146 88 | 0.460 % |
341.44/341.63 c | 333972 | 866 68248 215222 | 26827 26548 89 | 0.460 % |
343.04/343.24 c | 335512 | 866 68248 215222 | 26827 24583 89 | 0.460 % |
344.14/344.34 c | 337208 | 866 68248 215222 | 26827 26279 90 | 0.483 % |
346.04/346.22 c | 339071 | 866 68248 215222 | 26827 24929 91 | 0.460 % |
347.34/347.58 c | 341121 | 866 68248 215222 | 25858 24227 92 | 0.484 % |
349.54/349.73 c | 343378 | 866 68248 215222 | 25858 23695 91 | 0.460 % |
351.14/351.32 c | 345857 | 866 68248 215222 | 25858 26174 91 | 0.460 % |
352.84/353.03 c | 348582 | 866 68248 215222 | 25858 23656 86 | 0.481 % |
354.64/354.84 c | 351579 | 866 68248 215222 | 2147483647 26653 86 | 0.481 % |
356.63/356.80 c | 354876 | 866 68248 215222 | 2147483647 29950 87 | 0.483 % |
356.73/356.92 c | 354978 | 866 68248 215222 | 2147483647 30052 87 | 0.460 % |
356.83/357.06 c | 355089 | 866 68248 215222 | 2147483647 30163 87 | 0.460 % |
356.93/357.13 c | 355212 | 866 68248 215222 | 2147483647 30286 87 | 0.480 % |
357.03/357.29 c | 355347 | 866 68248 215222 | 2147483647 30421 88 | 0.460 % |
357.24/357.48 c | 355494 | 866 68248 215222 | 2147483647 30568 88 | 0.460 % |
357.43/357.66 c | 355657 | 866 68248 215222 | 2147483647 30731 88 | 0.460 % |
357.73/357.95 c | 355833 | 866 68248 215222 | 2147483647 30907 88 | 0.460 % |
358.03/358.21 c | 356026 | 866 68248 215222 | 2147483647 31100 88 | 0.460 % |
358.23/358.40 c | 356239 | 866 68248 215222 | 2147483647 31313 88 | 0.479 % |
358.44/358.65 c | 356473 | 866 68248 215222 | 2147483647 31547 88 | 0.460 % |
358.73/358.96 c | 356729 | 866 68248 215222 | 2147483647 31803 88 | 0.460 % |
359.03/359.28 c | 357011 | 866 68248 215222 | 2147483647 32085 88 | 0.460 % |
359.33/359.57 c | 357322 | 866 68248 215222 | 2147483647 32396 88 | 0.460 % |
359.73/359.94 c | 357661 | 866 68248 215222 | 2147483647 32735 89 | 0.460 % |
360.13/360.32 c | 358033 | 866 68248 215222 | 2147483647 33107 89 | 0.460 % |
360.43/360.67 c | 358444 | 866 68248 215222 | 2147483647 33518 89 | 0.460 % |
361.03/361.21 c | 358893 | 866 68248 215222 | 2147483647 33967 88 | 0.460 % |
361.53/361.77 c | 359386 | 866 68248 215222 | 2147483647 34460 89 | 0.460 % |
362.03/362.26 c | 359928 | 866 68248 215222 | 2147483647 35002 89 | 0.460 % |
362.63/362.81 c | 360527 | 866 68248 215222 | 2147483647 35601 89 | 0.460 % |
363.23/363.42 c | 361182 | 866 68248 215222 | 2147483647 36256 89 | 0.460 % |
364.23/364.44 c | 361902 | 866 68248 215222 | 2147483647 36976 90 | 0.460 % |
365.03/365.25 c | 362695 | 866 68248 215222 | 2147483647 37769 90 | 0.460 % |
366.13/366.38 c | 363566 | 866 68248 215222 | 2147483647 38640 90 | 0.460 % |
367.14/367.33 c | 364524 | 866 68248 215222 | 2147483647 39598 91 | 0.484 % |
368.24/368.50 c | 365577 | 866 68248 215222 | 2147483647 40651 90 | 0.460 % |
369.34/369.57 c | 366736 | 866 68248 215222 | 2147483647 41810 90 | 0.460 % |
370.74/370.99 c | 368009 | 866 68248 215222 | 2147483647 43083 90 | 0.460 % |
372.74/372.99 c | 369411 | 866 68248 215222 | 2147483647 44485 90 | 0.479 % |
374.33/374.55 c | 370954 | 866 68248 215222 | 45075 37633 85 | 0.460 % |
375.73/375.98 c | 372653 | 866 68248 215222 | 45075 39332 86 | 0.460 % |
378.83/379.02 c | 374516 | 866 68248 215222 | 45075 41195 87 | 0.460 % |
380.73/380.98 c | 376565 | 866 68248 215222 | 45075 43244 86 | 0.460 % |
382.93/383.15 c | 378818 | 866 68248 215222 | 45075 37554 85 | 0.485 % |
385.63/385.88 c | 381298 | 866 68248 215222 | 38736 32989 85 | 0.460 % |
389.43/389.69 c | 384025 | 866 68248 215222 | 38736 35716 87 | 0.460 % |
392.73/392.99 c | 387022 | 866 68248 215222 | 38736 38713 87 | 0.488 % |
396.33/396.52 c | 390318 | 864 68060 214846 | 32761 33079 85 | 0.690 % |
400.33/400.57 c | 393945 | 864 68060 214846 | 32761 30705 87 | 0.690 % |
400.43/400.70 c | 394045 | 864 68060 214846 | 32761 30805 87 | 0.690 % |
400.63/400.81 c | 394155 | 864 68060 214846 | 32761 30915 87 | 0.690 % |
400.73/400.93 c | 394279 | 864 68060 214846 | 32761 31039 87 | 0.690 % |
400.83/401.07 c | 394413 | 864 68060 214846 | 32761 31173 87 | 0.690 % |
401.02/401.29 c | 394559 | 864 68060 214846 | 32761 31319 87 | 0.690 % |
401.23/401.43 c | 394722 | 864 68060 214846 | 32761 31482 87 | 0.690 % |
401.53/401.72 c | 394902 | 864 68060 214846 | 32761 31662 87 | 0.690 % |
401.72/401.95 c | 395095 | 864 68060 214846 | 32761 31855 88 | 0.690 % |
401.82/402.09 c | 395307 | 864 68060 214846 | 32761 32067 88 | 0.690 % |
402.33/402.52 c | 395540 | 864 68060 214846 | 32761 32300 88 | 0.690 % |
402.62/402.83 c | 395797 | 864 68060 214846 | 32761 32557 88 | 0.710 % |
402.92/403.15 c | 396082 | 864 68060 214846 | 32761 32842 88 | 0.690 % |
403.22/403.43 c | 396391 | 864 68060 214846 | 32761 26813 85 | 0.713 % |
403.53/403.75 c | 396730 | 864 68060 214846 | 32761 27152 86 | 0.690 % |
403.82/404.02 c | 397106 | 864 68060 214846 | 32761 27528 86 | 0.690 % |
404.32/404.51 c | 397516 | 864 68060 214846 | 32761 27938 86 | 0.690 % |
404.72/404.93 c | 397966 | 864 68060 214846 | 32761 28388 86 | 0.712 % |
405.22/405.48 c | 398459 | 864 68060 214846 | 32761 28881 86 | 0.690 % |
405.92/406.12 c | 399001 | 864 68060 214846 | 32761 29423 87 | 0.690 % |
406.32/406.54 c | 399599 | 864 68060 214846 | 32761 30021 88 | 0.713 % |
406.83/407.06 c | 400254 | 864 68060 214846 | 30426 30676 88 | 0.714 % |
407.42/407.64 c | 400974 | 864 68060 214846 | 30426 25950 83 | 0.690 % |
408.12/408.31 c | 401767 | 864 68060 214846 | 30426 26743 84 | 0.690 % |
409.02/409.23 c | 402640 | 864 68060 214846 | 30426 27616 85 | 0.690 % |
409.62/409.89 c | 403599 | 864 68060 214846 | 30426 28575 85 | 0.716 % |
410.52/410.74 c | 404652 | 864 68060 214846 | 30426 29628 85 | 0.708 % |
411.82/412.05 c | 405811 | 864 68060 214846 | 30426 26389 85 | 0.690 % |
413.22/413.45 c | 407085 | 864 68060 214846 | 30426 27663 87 | 0.690 % |
414.32/414.58 c | 408488 | 864 68060 214846 | 30426 29066 87 | 0.716 % |
415.92/416.16 c | 410028 | 864 68060 214846 | 30579 30606 88 | 0.690 % |
417.22/417.40 c | 411724 | 864 68060 214846 | 30579 28141 88 | 0.712 % |
419.32/419.50 c | 413587 | 864 68060 214846 | 30579 30004 89 | 0.690 % |
421.42/421.61 c | 415638 | 863 68060 214846 | 30579 27752 88 | 0.828 % |
423.92/424.15 c | 417894 | 863 68060 214846 | 30579 30008 89 | 0.805 % |
426.82/427.04 c | 420372 | 863 68060 214846 | 27601 23852 87 | 0.805 % |
429.61/429.85 c | 423097 | 863 68060 214846 | 27601 26577 88 | 0.805 % |
432.02/432.22 c | 426095 | 862 67638 213779 | 27601 26088 87 | 0.941 % |
434.01/434.24 c | 429391 | 862 67638 213779 | 27601 26569 90 | 0.941 % |
439.01/439.23 c | 433018 | 862 67638 213779 | 2147483647 30196 91 | 0.920 % |
442.71/442.96 c | 437005 | 862 67638 213779 | 2147483647 34183 96 | 0.920 % |
442.81/443.06 c | 437107 | 862 67638 213779 | 2147483647 34285 96 | 0.920 % |
443.01/443.23 c | 437219 | 862 67638 213779 | 2147483647 34397 96 | 0.920 % |
443.21/443.45 c | 437344 | 862 67638 213779 | 2147483647 34522 96 | 0.920 % |
443.41/443.64 c | 437477 | 862 67638 213779 | 2147483647 34655 96 | 0.920 % |
443.71/443.93 c | 437625 | 862 67638 213779 | 2147483647 34803 96 | 0.920 % |
443.91/444.11 c | 437786 | 862 67638 213779 | 2147483647 34964 96 | 0.920 % |
444.11/444.36 c | 437962 | 862 67638 213779 | 2147483647 35140 96 | 0.920 % |
444.31/444.58 c | 438156 | 862 67638 213779 | 2147483647 35334 96 | 0.920 % |
444.61/444.88 c | 438368 | 862 67638 213779 | 2147483647 35546 96 | 0.920 % |
444.81/445.08 c | 438604 | 862 67638 213779 | 2147483647 35782 96 | 0.920 % |
445.21/445.47 c | 438860 | 862 67638 213779 | 2147483647 36038 96 | 0.920 % |
445.61/445.88 c | 439144 | 862 67638 213779 | 2147483647 36322 96 | 0.920 % |
446.11/446.30 c | 439455 | 862 67638 213779 | 2147483647 36633 96 | 0.920 % |
446.61/446.88 c | 439795 | 862 67638 213779 | 2147483647 36973 96 | 0.920 % |
447.21/447.40 c | 440167 | 862 67638 213779 | 37179 37345 96 | 0.920 % |
447.61/447.89 c | 440576 | 862 67638 213779 | 37179 30241 94 | 0.920 % |
448.21/448.48 c | 441026 | 862 67638 213779 | 37179 30691 94 | 0.938 % |
448.70/448.91 c | 441520 | 862 67638 213779 | 37179 31185 94 | 0.920 % |
449.40/449.61 c | 442065 | 862 67638 213779 | 37179 31730 94 | 0.940 % |
450.10/450.34 c | 442661 | 862 67638 213779 | 37179 32326 94 | 0.945 % |
451.30/451.51 c | 443319 | 862 67638 213779 | 37179 32984 94 | 0.920 % |
452.10/452.32 c | 444039 | 862 67638 213779 | 37179 33704 94 | 0.920 % |
452.91/453.19 c | 444833 | 862 67638 213779 | 37179 34498 94 | 0.946 % |
454.50/454.74 c | 445705 | 862 67638 213779 | 37179 35370 94 | 0.920 % |
456.40/456.63 c | 446663 | 862 67638 213779 | 37179 36328 94 | 0.920 % |
458.60/458.86 c | 447716 | 862 67638 213779 | 37179 37381 95 | 0.920 % |
460.40/460.60 c | 448874 | 862 67638 213779 | 37179 30117 92 | 0.920 % |
462.60/462.84 c | 450150 | 862 67638 213779 | 31245 31393 91 | 0.920 % |
464.10/464.37 c | 451552 | 862 67638 213779 | 31245 25561 88 | 0.920 % |
465.20/465.41 c | 453092 | 862 67638 213779 | 31245 27101 88 | 0.920 % |
466.60/466.87 c | 454787 | 861 67638 213779 | 31245 28795 87 | 1.035 % |
468.50/468.77 c | 456653 | 861 67187 212317 | 31245 30602 89 | 1.035 % |
470.70/470.99 c | 458702 | 861 67187 212317 | 31245 27860 85 | 1.035 % |
473.40/473.69 c | 460958 | 861 67187 212317 | 29158 25655 86 | 1.035 % |
476.10/476.32 c | 463437 | 861 67187 212317 | 29158 28134 88 | 1.035 % |
478.90/479.17 c | 466162 | 861 67187 212317 | 29158 27082 89 | 1.035 % |
481.29/481.55 c | 469160 | 861 67187 212317 | 29158 26975 90 | 1.035 % |
485.39/485.61 c | 472456 | 861 67187 212317 | 27815 27059 93 | 1.035 % |
489.99/490.23 c | 476081 | 861 67187 212317 | 27815 27133 95 | 1.035 % |
491.69/491.90 c | 480068 | 861 67187 212317 | 2147483647 28163 101 | 1.035 % |
496.09/496.30 c | 484454 | 861 67187 212317 | 2147483647 32549 101 | 1.035 % |
496.09/496.40 c | 484554 | 861 67187 212317 | 2147483647 32649 101 | 1.035 % |
496.29/496.56 c | 484664 | 861 67187 212317 | 2147483647 32759 101 | 1.056 % |
496.49/496.78 c | 484787 | 861 67187 212317 | 2147483647 32882 101 | 1.035 % |
496.79/497.06 c | 484926 | 861 67187 212317 | 2147483647 33021 101 | 1.035 % |
496.99/497.25 c | 485072 | 860 67187 212317 | 2147483647 33166 101 | 1.150 % |
497.19/497.40 c | 485232 | 860 67187 212317 | 2147483647 33326 101 | 1.150 % |
497.29/497.57 c | 485408 | 860 67187 212317 | 2147483647 33502 102 | 1.150 % |
497.69/497.98 c | 485601 | 860 67187 212317 | 2147483647 33695 102 | 1.150 % |
497.99/498.29 c | 485813 | 860 67187 212317 | 2147483647 33907 102 | 1.150 % |
498.29/498.56 c | 486047 | 860 67187 212317 | 2147483647 34141 102 | 1.150 % |
498.59/498.89 c | 486305 | 860 67187 212317 | 2147483647 34399 102 | 1.150 % |
499.09/499.35 c | 486586 | 860 67187 212317 | 2147483647 34680 101 | 1.150 % |
499.49/499.74 c | 486896 | 860 66961 211865 | 2147483647 34968 102 | 1.150 % |
499.89/500.10 c | 487236 | 860 66961 211865 | 2147483647 35308 101 | 1.150 % |
500.49/500.71 c | 487608 | 860 66961 211865 | 2147483647 35680 101 | 1.150 % |
500.79/501.02 c | 488018 | 860 66961 211865 | 2147483647 36090 101 | 1.150 % |
501.29/501.51 c | 488468 | 860 66961 211865 | 2147483647 36540 102 | 1.150 % |
502.09/502.30 c | 488962 | 860 66961 211865 | 2147483647 37034 102 | 1.150 % |
503.19/503.40 c | 489505 | 860 66961 211865 | 2147483647 37577 102 | 1.150 % |
503.59/503.86 c | 490101 | 860 66961 211865 | 38072 38173 102 | 1.171 % |
504.59/504.86 c | 490758 | 860 66961 211865 | 38072 32259 99 | 1.150 % |
505.69/505.99 c | 491478 | 860 66961 211865 | 38072 32979 99 | 1.150 % |
506.99/507.27 c | 492270 | 860 66961 211865 | 38072 33771 99 | 1.150 % |
508.49/508.73 c | 493141 | 860 66961 211865 | 38072 34642 99 | 1.150 % |
509.99/510.27 c | 494100 | 860 66961 211865 | 38072 35601 99 | 1.150 % |
511.38/511.64 c | 495155 | 860 66961 211865 | 38072 36656 99 | 1.150 % |
512.99/513.27 c | 496313 | 860 66961 211865 | 38072 37814 99 | 1.150 % |
515.08/515.33 c | 497586 | 860 66961 211865 | 38072 29972 97 | 1.150 % |
516.38/516.60 c | 498988 | 860 66961 211865 | 38072 31374 96 | 1.150 % |
517.89/518.18 c | 500528 | 860 66961 211865 | 32386 25913 91 | 1.150 % |
518.89/519.20 c | 502223 | 860 66961 211865 | 32386 27608 91 | 1.172 % |
520.78/521.08 c | 504087 | 860 66961 211865 | 32386 29472 93 | 1.150 % |
522.78/523.06 c | 506137 | 860 66961 211865 | 32386 31522 93 | 1.170 % |
525.38/525.70 c | 508390 | 860 66961 211865 | 32386 28176 91 | 1.150 % |
527.58/527.88 c | 510869 | 860 66961 211865 | 29787 25622 88 | 1.150 % |
530.58/530.85 c | 513594 | 860 66961 211865 | 29787 28347 90 | 1.150 % |
532.18/532.46 c | 516591 | 860 66961 211865 | 29787 27278 92 | 1.150 % |
535.68/535.97 c | 519895 | 860 66961 211865 | 29787 27143 90 | 1.175 % |
539.18/539.43 c | 523520 | 860 66961 211865 | 27250 27541 93 | 1.150 % |
541.37/541.65 c | 527507 | 860 66961 211865 | 27250 25976 98 | 1.150 % |
545.97/546.25 c | 531894 | 860 66961 211865 | 2147483647 27589 97 | 1.173 % |
551.17/551.40 c | 536717 | 860 66961 211865 | 2147483647 32412 100 | 1.150 % |
551.27/551.54 c | 536817 | 860 66961 211865 | 2147483647 32512 100 | 1.150 % |
551.47/551.76 c | 536929 | 860 66961 211865 | 2147483647 32624 101 | 1.150 % |
551.67/551.92 c | 537051 | 860 66961 211865 | 2147483647 32746 101 | 1.150 % |
551.88/552.13 c | 537184 | 860 66961 211865 | 2147483647 32879 101 | 1.173 % |
551.98/552.28 c | 537331 | 860 66961 211865 | 2147483647 33026 101 | 1.150 % |
552.27/552.51 c | 537492 | 860 66961 211865 | 2147483647 33187 101 | 1.150 % |
552.57/552.87 c | 537670 | 860 66961 211865 | 2147483647 33365 101 | 1.150 % |
552.98/553.25 c | 537865 | 860 66961 211865 | 2147483647 33560 101 | 1.150 % |
553.37/553.60 c | 538077 | 860 66961 211865 | 2147483647 33772 101 | 1.150 % |
553.57/553.81 c | 538310 | 860 66961 211865 | 2147483647 34005 101 | 1.150 % |
553.87/554.18 c | 538567 | 860 66961 211865 | 2147483647 34262 101 | 1.150 % |
554.17/554.47 c | 538848 | 860 66961 211865 | 2147483647 34543 102 | 1.170 % |
554.67/554.93 c | 539158 | 860 66961 211865 | 2147483647 34853 102 | 1.150 % |
555.17/555.48 c | 539497 | 860 66961 211865 | 2147483647 35192 102 | 1.150 % |
555.77/556.09 c | 539870 | 860 66961 211865 | 2147483647 35565 102 | 1.150 % |
556.57/556.81 c | 540279 | 860 66961 211865 | 35697 35974 102 | 1.150 % |
557.17/557.49 c | 540730 | 860 66961 211865 | 35697 29969 100 | 1.150 % |
557.97/558.29 c | 541224 | 860 66961 211865 | 35697 30463 100 | 1.150 % |
558.57/558.86 c | 541769 | 860 66961 211865 | 35697 31008 100 | 1.150 % |
559.57/559.81 c | 542365 | 860 66961 211865 | 35697 31604 100 | 1.150 % |
560.37/560.68 c | 543020 | 860 66961 211865 | 35697 32259 100 | 1.150 % |
560.97/561.29 c | 543742 | 860 66961 211865 | 35697 32981 100 | 1.177 % |
562.37/562.70 c | 544534 | 860 66961 211865 | 35697 33773 101 | 1.150 % |
563.17/563.50 c | 545406 | 860 66961 211865 | 35697 34645 101 | 1.150 % |
564.96/565.29 c | 546366 | 860 66961 211865 | 35697 35605 101 | 1.150 % |
567.27/567.54 c | 547420 | 860 66961 211865 | 35697 28257 98 | 1.150 % |
568.86/569.18 c | 548578 | 860 66961 211865 | 35697 29415 98 | 1.150 % |
570.16/570.40 c | 549851 | 860 66961 211865 | 35697 30688 98 | 1.150 % |
571.56/571.83 c | 551252 | 860 66961 211865 | 30838 25249 95 | 1.150 % |
573.16/573.49 c | 552795 | 860 66961 211865 | 30838 26792 96 | 1.150 % |
574.86/575.10 c | 554491 | 860 66961 211865 | 30838 28488 96 | 1.150 % |
577.66/577.90 c | 556357 | 860 66961 211865 | 30838 30354 97 | 1.150 % |
580.76/581.00 c | 558406 | 860 66961 211865 | 30838 26289 93 | 1.150 % |
583.86/584.17 c | 560662 | 860 66961 211865 | 27883 23175 93 | 1.150 % |
586.56/586.88 c | 563140 | 860 66961 211865 | 27883 25653 94 | 1.150 % |
589.96/590.24 c | 565868 | 860 66961 211865 | 27883 24092 95 | 1.150 % |
595.25/595.53 c | 568865 | 860 66961 211865 | 27883 27089 95 | 1.150 % |
599.26/599.59 c | 572161 | 860 66961 211865 | 28226 25649 96 | 1.150 % |
607.15/607.40 c | 575788 | 860 66961 211865 | 28226 23218 94 | 1.150 % |
614.35/614.65 c | 579777 | 860 66961 211865 | 28226 27207 95 | 1.150 % |
620.45/620.75 c | 584162 | 860 66961 211865 | 27432 25799 92 | 1.150 % |
626.05/626.32 c | 588985 | 860 66961 211865 | 27432 25981 91 | 1.150 % |
631.95/632.27 c | 594290 | 860 66961 211865 | 26997 24844 90 | 1.150 % |
632.15/632.48 c | 594390 | 860 66961 211865 | 26997 24944 91 | 1.150 % |
632.35/632.67 c | 594501 | 860 66961 211865 | 26997 25055 91 | 1.150 % |
632.45/632.72 c | 594625 | 860 66961 211865 | 26997 25179 91 | 1.150 % |
632.64/632.97 c | 594759 | 860 66961 211865 | 26997 25313 91 | 1.150 % |
632.84/633.13 c | 594905 | 860 66961 211865 | 26997 25459 91 | 1.150 % |
633.04/633.37 c | 595066 | 860 66961 211865 | 26997 25620 91 | 1.150 % |
633.35/633.60 c | 595244 | 860 66961 211865 | 26997 25798 91 | 1.170 % |
633.64/633.95 c | 595437 | 860 66961 211865 | 26997 25991 91 | 1.150 % |
633.84/634.17 c | 595652 | 860 66961 211865 | 26997 26206 91 | 1.150 % |
634.04/634.32 c | 595885 | 860 66961 211865 | 26997 26439 91 | 1.150 % |
634.35/634.62 c | 596145 | 860 66961 211865 | 26997 26699 91 | 1.150 % |
634.84/635.14 c | 596428 | 860 66961 211865 | 26997 26982 92 | 1.150 % |
635.14/635.40 c | 596737 | 860 66961 211865 | 26997 23979 90 | 1.150 % |
635.54/635.86 c | 597076 | 860 66961 211865 | 26997 24318 90 | 1.150 % |
635.94/636.26 c | 597448 | 860 66961 211865 | 26997 24690 91 | 1.175 % |
636.34/636.70 c | 597857 | 860 66961 211865 | 26997 25099 91 | 1.150 % |
637.04/637.33 c | 598306 | 860 66961 211865 | 26997 25548 91 | 1.169 % |
637.54/637.88 c | 598802 | 860 66961 211865 | 26997 26044 91 | 1.150 % |
638.14/638.43 c | 599345 | 860 66961 211865 | 26997 26587 92 | 1.150 % |
639.04/639.37 c | 599941 | 860 66961 211865 | 26997 27183 92 | 1.150 % |
639.64/639.92 c | 600598 | 860 66961 211865 | 22997 20207 89 | 1.150 % |
640.14/640.45 c | 601321 | 860 66961 211865 | 22997 20930 89 | 1.170 % |
640.54/640.84 c | 602113 | 860 66961 211865 | 22997 21722 90 | 1.150 % |
641.64/641.92 c | 602984 | 860 66961 211865 | 22997 22593 90 | 1.150 % |
642.64/642.95 c | 603943 | 860 66961 211865 | 22997 20759 90 | 1.150 % |
643.54/643.88 c | 604998 | 860 66961 211865 | 22997 21814 91 | 1.150 % |
644.24/644.57 c | 606156 | 860 66961 211865 | 22997 22972 91 | 1.150 % |
645.54/645.86 c | 607429 | 860 66961 211865 | 22997 21915 90 | 1.150 % |
646.63/646.93 c | 608829 | 860 66961 211865 | 22997 20996 90 | 1.150 % |
648.43/648.73 c | 610369 | 860 66961 211865 | 2147483647 22536 91 | 1.150 % |
650.04/650.30 c | 612063 | 860 66961 211865 | 2147483647 24230 91 | 1.150 % |
651.33/651.64 c | 613928 | 860 66961 211865 | 2147483647 26095 92 | 1.150 % |
654.03/654.30 c | 615977 | 860 66961 211865 | 2147483647 28144 94 | 1.150 % |
656.53/656.83 c | 618233 | 860 66961 211865 | 2147483647 30400 96 | 1.150 % |
658.64/658.96 c | 620712 | 860 66961 211865 | 32167 28052 94 | 1.173 % |
661.53/661.80 c | 623437 | 860 66961 211865 | 32167 30777 91 | 1.189 % |
663.23/663.57 c | 626434 | 859 66776 211243 | 32167 29614 95 | 1.285 % |
666.93/667.29 c | 629731 | 859 66776 211243 | 32167 28778 96 | 1.265 % |
670.33/670.65 c | 633356 | 859 66776 211243 | 29049 28543 95 | 1.265 % |
674.83/675.17 c | 637343 | 859 66776 211243 | 29049 28565 97 | 1.265 % |
679.83/680.13 c | 641728 | 859 66776 211243 | 26832 24687 92 | 1.265 % |
685.12/685.43 c | 646551 | 859 66776 211243 | 26832 26655 95 | 1.265 % |
687.62/687.95 c | 651856 | 859 66776 211243 | 2147483647 26516 100 | 1.288 % |
696.12/696.40 c | 657692 | 859 66776 211243 | 2147483647 32352 98 | 1.265 % |
696.22/696.58 c | 657792 | 859 66776 211243 | 2147483647 32452 98 | 1.265 % |
696.42/696.72 c | 657902 | 859 66776 211243 | 2147483647 32562 98 | 1.265 % |
696.62/696.90 c | 658024 | 859 66776 211243 | 2147483647 32684 98 | 1.265 % |
696.72/697.05 c | 658157 | 859 66776 211243 | 2147483647 32817 98 | 1.265 % |
696.92/697.23 c | 658303 | 859 66776 211243 | 2147483647 32963 97 | 1.265 % |
697.22/697.52 c | 658464 | 859 66776 211243 | 2147483647 33124 97 | 1.265 % |
697.62/697.92 c | 658640 | 859 66776 211243 | 2147483647 33300 97 | 1.265 % |
697.92/698.28 c | 658834 | 859 66776 211243 | 2147483647 33494 97 | 1.265 % |
698.32/698.65 c | 659046 | 859 66776 211243 | 2147483647 33706 97 | 1.265 % |
698.52/698.82 c | 659279 | 859 66776 211243 | 2147483647 33939 97 | 1.265 % |
698.92/699.23 c | 659537 | 859 66776 211243 | 2147483647 34197 98 | 1.265 % |
699.12/699.43 c | 659818 | 859 66776 211243 | 2147483647 34478 98 | 1.288 % |
699.62/699.92 c | 660127 | 859 66776 211243 | 34660 34787 98 | 1.265 % |
699.92/700.26 c | 660467 | 859 66776 211243 | 34660 28650 95 | 1.265 % |
700.52/700.89 c | 660841 | 859 66776 211243 | 34660 29024 95 | 1.265 % |
701.02/701.34 c | 661251 | 859 66776 211243 | 34660 29434 95 | 1.265 % |
701.42/701.75 c | 661701 | 859 66776 211243 | 34660 29884 95 | 1.265 % |
701.82/702.15 c | 662195 | 859 66776 211243 | 34660 30378 95 | 1.265 % |
702.32/702.67 c | 662737 | 859 66776 211243 | 34660 30920 95 | 1.265 % |
703.12/703.40 c | 663333 | 859 66776 211243 | 34660 31516 95 | 1.265 % |
704.02/704.31 c | 663989 | 859 66776 211243 | 34660 32172 96 | 1.265 % |
705.01/705.31 c | 664709 | 859 66776 211243 | 34660 32892 96 | 1.265 % |
706.21/706.59 c | 665501 | 859 66776 211243 | 34660 33684 96 | 1.265 % |
706.92/707.29 c | 666374 | 859 66776 211243 | 34660 34557 96 | 1.285 % |
708.71/709.10 c | 667332 | 859 66776 211243 | 34660 28044 95 | 1.265 % |
710.32/710.65 c | 668386 | 859 66776 211243 | 34660 29098 96 | 1.265 % |
712.01/712.36 c | 669544 | 859 66776 211243 | 34660 30256 96 | 1.265 % |
713.01/713.30 c | 670817 | 859 66776 211243 | 30712 25261 90 | 1.265 % |
714.81/715.19 c | 672217 | 859 66776 211243 | 30712 26661 92 | 1.265 % |
717.11/717.40 c | 673759 | 859 66776 211243 | 30712 28203 93 | 1.265 % |
719.81/720.19 c | 675453 | 859 66776 211243 | 30712 29897 94 | 1.265 % |
722.61/722.99 c | 677319 | 859 66776 211243 | 30712 25129 93 | 1.265 % |
725.51/725.87 c | 679370 | 859 66776 211243 | 30712 27180 94 | 1.265 % |
728.61/728.92 c | 681623 | 859 66776 211243 | 27811 23478 95 | 1.265 % |
731.51/731.85 c | 684102 | 859 66776 211243 | 27811 25957 94 | 1.265 % |
734.41/734.74 c | 686828 | 859 66776 211243 | 27811 23780 94 | 1.265 % |
737.90/738.20 c | 689825 | 859 66776 211243 | 27811 26777 95 | 1.265 % |
741.90/742.29 c | 693121 | 859 66776 211243 | 26952 25586 96 | 1.265 % |
746.90/747.25 c | 696747 | 859 66776 211243 | 26952 25014 92 | 1.265 % |
753.10/753.41 c | 700734 | 859 66776 211243 | 23928 20797 87 | 1.265 % |
756.90/757.22 c | 705121 | 859 66776 211243 | 23928 22802 85 | 1.265 % |
762.60/762.95 c | 709947 | 859 66776 211243 | 23928 22839 83 | 1.265 % |
769.20/769.57 c | 715252 | 859 66776 211243 | 2147483647 28144 85 | 1.265 % |
778.10/778.41 c | 721088 | 859 66776 211243 | 32894 29381 85 | 1.265 % |
781.19/781.59 c | 727506 | 859 66776 211243 | 32894 32474 96 | 1.265 % |
781.40/781.78 c | 727606 | 859 66776 211243 | 32894 32574 96 | 1.265 % |
781.50/781.88 c | 727717 | 859 66776 211243 | 32894 32685 96 | 1.265 % |
781.81/782.15 c | 727838 | 859 66776 211243 | 32894 32806 96 | 1.265 % |
782.20/782.51 c | 727973 | 859 66776 211243 | 32894 32941 96 | 1.265 % |
782.50/782.86 c | 728120 | 859 66776 211243 | 32894 29794 97 | 1.288 % |
782.81/783.16 c | 728280 | 859 66776 211243 | 32894 29954 97 | 1.288 % |
783.20/783.51 c | 728456 | 859 66776 211243 | 32894 30130 97 | 1.265 % |
783.50/783.81 c | 728649 | 859 66776 211243 | 32894 30323 97 | 1.265 % |
783.80/784.10 c | 728862 | 859 66776 211243 | 32894 30536 97 | 1.265 % |
784.20/784.57 c | 729097 | 859 66776 211243 | 32894 30771 97 | 1.265 % |
784.60/784.95 c | 729356 | 859 66776 211243 | 32894 31030 97 | 1.265 % |
784.90/785.20 c | 729637 | 859 66776 211243 | 32894 31311 97 | 1.265 % |
785.40/785.76 c | 729946 | 859 66776 211243 | 32894 31620 97 | 1.265 % |
785.90/786.25 c | 730286 | 859 66776 211243 | 2147483647 31960 97 | 1.265 % |
786.60/786.98 c | 730659 | 859 66776 211243 | 2147483647 32333 97 | 1.265 % |
787.40/787.70 c | 731068 | 859 66776 211243 | 2147483647 32742 97 | 1.265 % |
787.90/788.29 c | 731517 | 859 66776 211243 | 2147483647 33191 97 | 1.265 % |
788.90/789.27 c | 732012 | 859 66776 211243 | 2147483647 33686 97 | 1.265 % |
789.40/789.73 c | 732554 | 859 66776 211243 | 2147483647 34228 98 | 1.265 % |
789.80/790.19 c | 733152 | 859 66776 211243 | 2147483647 34826 98 | 1.265 % |
791.00/791.33 c | 733810 | 859 66776 211243 | 2147483647 35484 98 | 1.265 % |
792.40/792.74 c | 734533 | 859 66776 211243 | 2147483647 36207 98 | 1.265 % |
793.30/793.67 c | 735326 | 859 66776 211243 | 2147483647 37000 98 | 1.288 % |
794.90/795.29 c | 736197 | 859 66776 211243 | 2147483647 37871 97 | 1.290 % |
796.60/796.91 c | 737155 | 859 66776 211243 | 2147483647 38829 97 | 1.265 % |
797.80/798.12 c | 738210 | 859 66776 211243 | 2147483647 39884 96 | 1.285 % |
800.20/800.54 c | 739370 | 859 66776 211243 | 2147483647 41044 95 | 1.286 % |
801.90/802.20 c | 740644 | 859 66776 211243 | 41675 31687 93 | 1.286 % |
803.70/804.06 c | 742047 | 859 66776 211243 | 41675 33090 92 | 1.286 % |
805.10/805.49 c | 743590 | 859 66776 211243 | 41675 34633 92 | 1.286 % |
807.79/808.14 c | 745286 | 859 66776 211243 | 41675 36329 90 | 1.286 % |
809.79/810.12 c | 747149 | 859 66776 211243 | 41675 38192 89 | 1.265 % |
812.19/812.59 c | 749200 | 859 66776 211243 | 41675 40243 91 | 1.265 % |
815.90/816.25 c | 751456 | 859 66776 211243 | 41043 32866 89 | 1.265 % |
818.99/819.38 c | 753934 | 859 66776 211243 | 41043 35344 91 | 1.265 % |
822.39/822.77 c | 756659 | 859 66776 211243 | 41043 38069 92 | 1.265 % |
826.39/826.72 c | 759656 | 859 66776 211243 | 41043 41066 92 | 1.265 % |
830.19/830.56 c | 762953 | 859 66776 211243 | 33372 29784 85 | 1.265 % |
834.39/834.70 c | 766578 | 859 66776 211243 | 33372 33409 87 | 1.265 % |
836.09/836.44 c | 770566 | 859 66776 211243 | 2147483647 32709 90 | 1.286 % |
839.48/839.86 c | 774951 | 859 66776 211243 | 2147483647 37094 93 | 1.265 % |
848.68/849.04 c | 779774 | 859 66776 211243 | 2147483647 41917 92 | 1.265 % |
856.18/856.56 c | 785079 | 859 66776 211243 | 42146 39314 94 | 1.265 % |
861.98/862.32 c | 790914 | 859 66776 211243 | 35253 29314 92 | 1.265 % |
868.18/868.54 c | 797332 | 859 66776 211243 | 35253 30293 91 | 1.265 % |
875.68/876.01 c | 804391 | 859 66776 211243 | 32965 32271 91 | 1.265 % |
875.77/876.17 c | 804496 | 859 66776 211243 | 32965 32376 91 | 1.265 % |
875.97/876.37 c | 804606 | 859 66776 211243 | 32965 32486 91 | 1.265 % |
876.17/876.51 c | 804727 | 859 66776 211243 | 32965 32607 91 | 1.265 % |
876.28/876.68 c | 804863 | 859 66776 211243 | 32965 32743 91 | 1.265 % |
876.47/876.82 c | 805009 | 859 66776 211243 | 32965 32889 91 | 1.265 % |
876.57/876.94 c | 805171 | 859 66776 211243 | 32965 33051 91 | 1.265 % |
876.77/877.19 c | 805349 | 859 66776 211243 | 32965 28486 93 | 1.288 % |
876.97/877.37 c | 805542 | 859 66776 211243 | 32965 28679 93 | 1.265 % |
877.17/877.57 c | 805754 | 859 66776 211243 | 32965 28891 93 | 1.265 % |
877.48/877.82 c | 805987 | 859 66776 211243 | 32965 29124 93 | 1.265 % |
877.77/878.15 c | 806243 | 859 66776 211243 | 32965 29380 93 | 1.265 % |
878.17/878.52 c | 806526 | 859 66776 211243 | 32965 29663 93 | 1.265 % |
878.48/878.84 c | 806835 | 859 66776 211243 | 32965 29972 93 | 1.290 % |
878.87/879.22 c | 807174 | 859 66776 211243 | 32965 30311 94 | 1.265 % |
879.27/879.63 c | 807547 | 859 66776 211243 | 32965 30684 94 | 1.265 % |
879.67/880.02 c | 807956 | 859 66776 211243 | 32965 31093 94 | 1.289 % |
880.07/880.40 c | 808406 | 859 66776 211243 | 32965 31543 94 | 1.265 % |
880.27/880.65 c | 808899 | 859 66776 211243 | 32965 32036 95 | 1.265 % |
880.87/881.28 c | 809442 | 859 66776 211243 | 32965 32579 95 | 1.265 % |
881.67/882.04 c | 810038 | 859 66776 211243 | 33137 33175 95 | 1.265 % |
882.27/882.64 c | 810697 | 859 66776 211243 | 33137 29032 94 | 1.265 % |
882.97/883.34 c | 811418 | 859 66776 211243 | 33137 29753 95 | 1.265 % |
883.97/884.40 c | 812210 | 859 66776 211243 | 33137 30545 95 | 1.265 % |
884.57/884.97 c | 813081 | 859 66776 211243 | 33137 31416 95 | 1.265 % |
885.37/885.70 c | 814040 | 859 66776 211243 | 33137 32375 95 | 1.265 % |
886.57/886.96 c | 815093 | 859 66776 211243 | 33137 33428 95 | 1.292 % |
887.47/887.83 c | 816251 | 859 66776 211243 | 33137 30152 92 | 1.265 % |
888.47/888.88 c | 817524 | 859 66776 211243 | 33137 31425 92 | 1.265 % |
889.47/889.81 c | 818927 | 859 66776 211243 | 33137 32828 92 | 1.291 % |
891.67/892.03 c | 820469 | 859 66776 211243 | 29612 25590 91 | 1.265 % |
893.46/893.81 c | 822164 | 859 66776 211243 | 29612 27285 94 | 1.265 % |
896.07/896.43 c | 824028 | 859 66776 211243 | 29612 29149 95 | 1.265 % |
897.66/898.06 c | 826078 | 859 66776 211243 | 29612 26598 95 | 1.265 % |
899.37/899.77 c | 828333 | 859 66776 211243 | 29612 28853 96 | 1.286 % |
902.96/903.39 c | 830811 | 859 66776 211243 | 26105 22868 93 | 1.265 % |
906.46/906.81 c | 833536 | 859 66776 211243 | 26105 25593 95 | 1.265 % |
908.56/908.97 c | 836533 | 859 66776 211243 | 26105 25053 95 | 1.265 % |
911.46/911.88 c | 839830 | 859 66776 211243 | 26105 25024 91 | 1.265 % |
914.76/915.20 c | 843456 | 859 66776 211243 | 25196 25256 88 | 1.265 % |
919.16/919.58 c | 847443 | 859 66776 211243 | 25196 23491 89 | 1.265 % |
923.96/924.32 c | 851828 | 859 66776 211243 | 23167 22357 90 | 1.265 % |
927.65/928.03 c | 856651 | 859 66776 211243 | 23167 22521 91 | 1.265 % |
933.95/934.35 c | 861956 | 859 66776 211243 | 2147483647 23191 95 | 1.265 % |
941.75/942.11 c | 867793 | 859 66776 211243 | 2147483647 29028 97 | 1.265 % |
951.85/952.24 c | 874214 | 859 66776 211243 | 31239 31419 95 | 1.265 % |
963.15/963.57 c | 881274 | 859 66776 211243 | 26699 23596 91 | 1.265 % |
970.94/971.37 c | 889039 | 859 66776 211243 | 26699 25087 90 | 1.265 % |
971.04/971.40 c | 889139 | 859 66776 211243 | 26699 25187 90 | 1.265 % |
971.14/971.50 c | 889249 | 859 66776 211243 | 26699 25297 90 | 1.265 % |
971.24/971.69 c | 889370 | 859 66776 211243 | 26699 25418 90 | 1.265 % |
971.44/971.87 c | 889504 | 859 66776 211243 | 26699 25552 90 | 1.265 % |
971.54/971.98 c | 889651 | 859 66776 211243 | 26699 25699 90 | 1.289 % |
971.64/972.03 c | 889811 | 859 66776 211243 | 26699 25859 90 | 1.265 % |
971.84/972.20 c | 889987 | 859 66776 211243 | 26699 26035 90 | 1.265 % |
971.84/972.29 c | 890180 | 859 66776 211243 | 26048 26228 90 | 1.265 % |
972.04/972.46 c | 890393 | 859 66776 211243 | 26048 23800 87 | 1.265 % |
972.14/972.55 c | 890630 | 859 66776 211243 | 26048 24037 87 | 1.265 % |
972.44/972.90 c | 890888 | 859 66776 211243 | 26048 24295 88 | 1.265 % |
972.74/973.16 c | 891172 | 859 66776 211243 | 26048 24579 88 | 1.265 % |
973.04/973.43 c | 891482 | 859 66776 211243 | 26048 24889 88 | 1.265 % |
973.44/973.81 c | 891822 | 859 66776 211243 | 26048 25229 88 | 1.265 % |
973.64/974.08 c | 892195 | 859 66776 211243 | 26048 25602 89 | 1.265 % |
973.94/974.35 c | 892607 | 859 66776 211243 | 26048 26014 89 | 1.265 % |
974.44/974.81 c | 893057 | 859 66776 211243 | 26048 23818 88 | 1.265 % |
975.04/975.43 c | 893550 | 859 66776 211243 | 26048 24311 88 | 1.292 % |
975.24/975.62 c | 894092 | 859 66776 211243 | 26048 24853 89 | 1.265 % |
975.64/976.09 c | 894689 | 859 66776 211243 | 26048 25450 89 | 1.290 % |
976.04/976.42 c | 895347 | 859 66776 211243 | 26048 26108 90 | 1.265 % |
976.74/977.17 c | 896067 | 859 66776 211243 | 26048 24218 88 | 1.265 % |
977.24/977.60 c | 896859 | 859 66776 211243 | 26048 25010 88 | 1.265 % |
978.44/978.85 c | 897730 | 859 66776 211243 | 26048 25881 89 | 1.265 % |
979.14/979.54 c | 898689 | 859 66776 211243 | 26048 24203 89 | 1.265 % |
979.84/980.21 c | 899742 | 859 66776 211243 | 26048 25256 90 | 1.265 % |
980.44/980.84 c | 900903 | 859 66776 211243 | 2147483647 26417 90 | 1.265 % |
981.14/981.55 c | 902178 | 859 66776 211243 | 2147483647 27692 90 | 1.265 % |
982.03/982.41 c | 903578 | 859 66776 211243 | 2147483647 29092 90 | 1.265 % |
983.23/983.61 c | 905118 | 859 66776 211243 | 2147483647 30632 91 | 1.265 % |
985.24/985.62 c | 906812 | 859 66776 211243 | 2147483647 32326 92 | 1.265 % |
987.53/987.98 c | 908675 | 859 66776 211243 | 2147483647 34189 93 | 1.265 % |
991.93/992.38 c | 910724 | 859 66776 211243 | 35514 31729 93 | 1.265 % |
995.43/995.82 c | 912977 | 859 66776 211243 | 35514 33982 94 | 1.265 % |
1000.23/1000.63 c | 915457 | 859 66776 211243 | 35514 29399 95 | 1.265 % |
1005.13/1005.52 c | 918183 | 859 66776 211243 | 35514 32125 96 | 1.265 % |
1010.13/1010.60 c | 921180 | 859 66776 211243 | 33942 27918 92 | 1.265 % |
1014.42/1014.81 c | 924476 | 859 66776 211243 | 33942 31214 92 | 1.265 % |
1021.43/1021.80 c | 928101 | 859 66776 211243 | 33942 27587 92 | 1.265 % |
1027.22/1027.60 c | 932089 | 859 66776 211243 | 29486 25532 90 | 1.265 % |
1029.02/1029.48 c | 936477 | 859 66776 211243 | 29486 26929 102 | 1.287 % |
1032.62/1033.02 c | 941301 | 859 66776 211243 | 2147483647 28767 103 | 1.265 % |
1036.82/1037.21 c | 946607 | 859 66776 211243 | 2147483647 34073 102 | 1.265 % |
1044.82/1045.24 c | 952444 | 859 66776 211243 | 37467 35820 104 | 1.265 % |
1056.31/1056.78 c | 958863 | 859 66776 211243 | 37467 35543 106 | 1.265 % |
1069.81/1070.26 c | 965923 | 859 66776 211243 | 36681 34041 106 | 1.265 % |
1082.61/1083.06 c | 973687 | 859 66776 211243 | 30249 27632 97 | 1.265 % |
1095.40/1095.85 c | 982229 | 859 66776 211243 | 28742 26538 88 | 1.265 % |
1095.60/1096.03 c | 982330 | 859 66776 211243 | 28742 26639 88 | 1.265 % |
1095.70/1096.14 c | 982442 | 859 66776 211243 | 28742 26751 89 | 1.265 % |
1095.80/1096.29 c | 982567 | 859 66776 211243 | 28742 26876 88 | 1.265 % |
1095.90/1096.34 c | 982703 | 859 66776 211243 | 28742 27012 89 | 1.283 % |
1096.10/1096.59 c | 982850 | 859 66776 211243 | 28742 27159 89 | 1.265 % |
1096.40/1096.82 c | 983010 | 859 66776 211243 | 28742 27319 89 | 1.265 % |
1096.60/1097.00 c | 983186 | 859 66776 211243 | 28742 27495 89 | 1.292 % |
1097.00/1097.41 c | 983382 | 859 66776 211243 | 28742 27691 89 | 1.265 % |
1097.50/1097.91 c | 983594 | 859 66776 211243 | 28742 27903 89 | 1.265 % |
1097.60/1098.00 c | 983827 | 859 66776 211243 | 28742 28136 89 | 1.283 % |
1098.00/1098.49 c | 984083 | 859 66776 211243 | 28742 28392 89 | 1.265 % |
1098.40/1098.86 c | 984365 | 859 66776 211243 | 28742 28674 89 | 1.265 % |
1098.90/1099.32 c | 984674 | 859 66776 211243 | 28742 28983 90 | 1.265 % |
1099.40/1099.89 c | 985014 | 859 66776 211243 | 28742 25125 87 | 1.265 % |
1099.80/1100.23 c | 985386 | 859 66776 211243 | 28742 25497 87 | 1.265 % |
1100.00/1100.49 c | 985796 | 859 66776 211243 | 28742 25907 87 | 1.265 % |
1100.40/1100.83 c | 986248 | 859 66776 211243 | 28742 26359 88 | 1.265 % |
1101.10/1101.59 c | 986741 | 859 66776 211243 | 28742 26852 88 | 1.265 % |
1102.00/1102.42 c | 987285 | 859 66776 211243 | 28742 27396 87 | 1.265 % |
1102.70/1103.12 c | 987881 | 859 66776 211243 | 28742 27992 87 | 1.265 % |
1103.40/1103.86 c | 988536 | 859 66776 211243 | 28742 28647 88 | 1.265 % |
1104.19/1104.64 c | 989256 | 859 66776 211243 | 28742 24802 85 | 1.265 % |
1105.39/1105.85 c | 990048 | 859 66776 211243 | 25548 25594 85 | 1.265 % |
1105.99/1106.49 c | 990919 | 859 66776 211243 | 25548 22279 83 | 1.285 % |
1106.79/1107.26 c | 991878 | 859 66776 211243 | 25548 23238 84 | 1.265 % |
1107.99/1108.49 c | 992934 | 859 66776 211243 | 25548 24294 85 | 1.265 % |
1108.99/1109.43 c | 994092 | 859 66776 211243 | 25548 25452 86 | 1.265 % |
1109.79/1110.29 c | 995365 | 859 66776 211243 | 25548 23674 87 | 1.265 % |
1111.09/1111.51 c | 996766 | 859 66776 211243 | 25548 25075 88 | 1.265 % |
1112.99/1113.43 c | 998307 | 859 66776 211243 | 25548 23293 89 | 1.265 % |
1114.79/1115.20 c | 1000003 | 859 66776 211243 | 24986 24989 90 | 1.265 % |
1115.99/1116.50 c | 1001866 | 859 66776 211243 | 24986 23652 92 | 1.292 % |
1117.19/1117.62 c | 1003915 | 859 66776 211243 | 24986 23161 93 | 1.265 % |
1118.79/1119.26 c | 1006168 | 859 66776 211243 | 24986 22876 91 | 1.265 % |
1120.99/1121.44 c | 1008646 | 859 66776 211243 | 24986 25354 90 | 1.265 % |
1123.09/1123.51 c | 1011371 | 859 66776 211243 | 2147483647 25544 89 | 1.265 % |
1125.69/1126.17 c | 1014369 | 859 66776 211243 | 2147483647 28542 88 | 1.265 % |
1129.29/1129.79 c | 1017669 | 859 66776 211243 | 2147483647 31842 89 | 1.265 % |
1134.08/1134.56 c | 1021297 | 859 66776 211243 | 34173 31535 88 | 1.265 % |
1139.68/1140.17 c | 1025284 | 859 66776 211243 | 34173 30277 87 | 1.265 % |
1145.88/1146.36 c | 1029673 | 859 66776 211243 | 34173 29142 88 | 1.265 % |
1150.88/1151.33 c | 1034497 | 859 66776 211243 | 29470 29188 88 | 1.265 % |
1156.28/1156.76 c | 1039803 | 859 66776 211243 | 29470 27166 87 | 1.265 % |
1163.38/1163.86 c | 1045641 | 859 66776 211243 | 27363 25885 86 | 1.265 % |
1170.07/1170.58 c | 1052059 | 859 66776 211243 | 26714 25574 89 | 1.265 % |
1173.07/1173.58 c | 1059118 | 859 66776 211243 | 26714 24493 102 | 1.265 % |
1180.27/1180.79 c | 1066883 | 859 66776 211243 | 2147483647 32258 103 | 1.265 % |
1187.98/1188.44 c | 1075427 | 859 66776 211243 | 2147483647 40802 107 | 1.265 % |
1198.97/1199.46 c | 1084824 | 859 66776 211243 | 45376 42552 107 | 1.265 % |
1199.07/1199.59 c | 1084927 | 859 66776 211243 | 45376 42655 107 | 1.265 % |
1199.27/1199.74 c | 1085038 | 859 66776 211243 | 45376 42766 107 | 1.265 % |
1199.47/1199.94 c | 1085161 | 859 66776 211243 | 45376 42889 107 | 1.265 % |
1199.67/1200.16 c | 1085294 | 859 66776 211243 | 45376 43022 107 | 1.265 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832371-1242772723/watcher-1832371-1242772723 -o /tmp/evaluation-result-1832371-1242772723/solver-1832371-1242772723 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832371-1242772723.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.16 1.11 1.02 3/65 11076
/proc/meminfo: memFree=1811096/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305301967 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11076/statm: 1339 237 197 169 0 50 0
[pid=11080] ppid=11076 vsize=1004 CPUtime=0
/proc/11080/stat : 11080 (SatELite_releas) R 11076 11076 10880 0 -1 4194304 107 0 0 0 0 0 0 0 18 0 1 0 305301968 1028096 93 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/11080/statm: 251 95 49 173 0 76 0
[startup+0.0115761 s]
/proc/loadavg: 1.16 1.11 1.02 3/65 11076
/proc/meminfo: memFree=1811096/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305301967 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11076/statm: 1339 237 197 169 0 50 0
[pid=11080] ppid=11076 vsize=1412 CPUtime=0
/proc/11080/stat : 11080 (SatELite_releas) R 11076 11076 10880 0 -1 4194304 224 0 0 0 0 0 0 0 18 0 1 0 305301968 1445888 210 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/11080/statm: 353 211 49 173 0 178 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6768
[startup+0.102586 s]
/proc/loadavg: 1.16 1.11 1.02 3/65 11076
/proc/meminfo: memFree=1811096/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305301967 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11076/statm: 1339 237 197 169 0 50 0
[pid=11080] ppid=11076 vsize=6972 CPUtime=0.08
/proc/11080/stat : 11080 (SatELite_releas) R 11076 11076 10880 0 -1 4194304 1389 0 0 0 8 0 0 0 18 0 1 0 305301968 7139328 1375 1992294400 134512640 135223648 4294956128 18446744073709551615 134602246 0 0 4096 3 0 0 0 17 1 0 0
/proc/11080/statm: 1743 1375 75 173 0 1568 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12328
[startup+0.302616 s]
/proc/loadavg: 1.16 1.11 1.02 3/65 11076
/proc/meminfo: memFree=1811096/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305301967 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11076/statm: 1339 237 197 169 0 50 0
[pid=11080] ppid=11076 vsize=7740 CPUtime=0.28
/proc/11080/stat : 11080 (SatELite_releas) R 11076 11076 10880 0 -1 4194304 1522 0 0 0 28 0 0 0 20 0 1 0 305301968 7925760 1508 1992294400 134512640 135223648 4294956128 18446744073709551615 134585925 0 0 4096 3 0 0 0 17 1 0 0
/proc/11080/statm: 1935 1508 76 173 0 1760 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13096
[startup+0.701652 s]
/proc/loadavg: 1.16 1.11 1.02 3/65 11076
/proc/meminfo: memFree=1811096/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305301967 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11076/statm: 1339 237 197 169 0 50 0
[pid=11080] ppid=11076 vsize=7740 CPUtime=0.68
/proc/11080/stat : 11080 (SatELite_releas) R 11076 11076 10880 0 -1 4194304 1522 0 0 0 68 0 0 0 24 0 1 0 305301968 7925760 1508 1992294400 134512640 135223648 4294956128 18446744073709551615 134585584 0 0 4096 3 0 0 0 17 1 0 0
/proc/11080/statm: 1935 1508 76 173 0 1760 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13096
[startup+1.50174 s]
/proc/loadavg: 1.16 1.11 1.02 2/67 11082
/proc/meminfo: memFree=1807624/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0.98
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 336 1775 0 0 0 0 97 1 16 0 1 0 305301967 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11076/statm: 1339 239 197 169 0 50 0
[pid=11082] ppid=11076 vsize=6348 CPUtime=0.5
/proc/11082/stat : 11082 (minisat_static) R 11076 11076 10880 0 -1 4194304 1459 0 0 0 49 1 0 0 21 0 1 0 305302066 6500352 1445 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/11082/statm: 1587 1445 77 171 0 1414 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11704
[startup+3.10192 s]
/proc/loadavg: 1.15 1.11 1.02 2/67 11082
/proc/meminfo: memFree=1802824/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0.98
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 336 1775 0 0 0 0 97 1 16 0 1 0 305301967 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11076/statm: 1339 239 197 169 0 50 0
[pid=11082] ppid=11076 vsize=9000 CPUtime=2.1
/proc/11082/stat : 11082 (minisat_static) R 11076 11076 10880 0 -1 4194304 2138 0 0 0 209 1 0 0 25 0 1 0 305302066 9216000 2124 1992294400 134512640 135215339 4294956240 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 1 0 0
/proc/11082/statm: 2250 2124 77 171 0 2077 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 14356
[startup+6.30127 s]
/proc/loadavg: 1.15 1.11 1.02 2/67 11082
/proc/meminfo: memFree=1798408/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0.98
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 336 1775 0 0 0 0 97 1 16 0 1 0 305301967 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11076/statm: 1339 239 197 169 0 50 0
[pid=11082] ppid=11076 vsize=12800 CPUtime=5.3
/proc/11082/stat : 11082 (minisat_static) R 11076 11076 10880 0 -1 4194304 3051 0 0 0 528 2 0 0 25 0 1 0 305302066 13107200 3037 1992294400 134512640 135215339 4294956240 18446744073709551615 134738079 0 0 4096 3 0 0 0 17 1 0 0
/proc/11082/statm: 3200 3037 77 171 0 3027 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18156
[startup+12.702 s]
/proc/loadavg: 1.13 1.10 1.02 2/67 11082
/proc/meminfo: memFree=1793624/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0.98
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 336 1775 0 0 0 0 97 1 16 0 1 0 305301967 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11076/statm: 1339 239 197 169 0 50 0
[pid=11082] ppid=11076 vsize=16928 CPUtime=11.7
/proc/11082/stat : 11082 (minisat_static) R 11076 11076 10880 0 -1 4194304 4089 0 0 0 1167 3 0 0 25 0 1 0 305302066 17334272 4075 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11082/statm: 4232 4075 77 171 0 4059 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22284
[startup+25.5024 s]
/proc/loadavg: 1.11 1.10 1.02 2/67 11082
/proc/meminfo: memFree=1788824/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0.98
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 336 1775 0 0 0 0 97 1 16 0 1 0 305301967 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11076/statm: 1339 239 197 169 0 50 0
[pid=11082] ppid=11076 vsize=21300 CPUtime=24.49
/proc/11082/stat : 11082 (minisat_static) R 11076 11076 10880 0 -1 4194304 5210 0 0 0 2445 4 0 0 25 0 1 0 305302066 21811200 5196 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11082/statm: 5325 5196 77 171 0 5152 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 26656
[startup+51.1022 s]
/proc/loadavg: 1.07 1.09 1.02 2/67 11082
/proc/meminfo: memFree=1787864/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0.98
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 336 1775 0 0 0 0 97 1 16 0 1 0 305301967 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11076/statm: 1339 239 197 169 0 50 0
[pid=11082] ppid=11076 vsize=22452 CPUtime=50.08
/proc/11082/stat : 11082 (minisat_static) R 11076 11076 10880 0 -1 4194304 5458 0 0 0 5003 5 0 0 25 0 1 0 305302066 22990848 5444 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/11082/statm: 5613 5444 77 171 0 5440 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 27808
[startup+102.306 s]
/proc/loadavg: 1.03 1.07 1.01 2/67 11082
/proc/meminfo: memFree=1786776/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0.98
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 336 1775 0 0 0 0 97 1 16 0 1 0 305301967 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11076/statm: 1339 239 197 169 0 50 0
[pid=11082] ppid=11076 vsize=23524 CPUtime=101.26
/proc/11082/stat : 11082 (minisat_static) R 11076 11076 10880 0 -1 4194304 5706 0 0 0 10121 5 0 0 25 0 1 0 305302066 24088576 5692 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/11082/statm: 5881 5692 77 171 0 5708 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 28880
[startup+162.303 s]
/proc/loadavg: 1.01 1.06 1.01 2/67 11082
/proc/meminfo: memFree=1786008/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0.98
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 336 1775 0 0 0 0 97 1 16 0 1 0 305301967 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11076/statm: 1339 239 197 169 0 50 0
[pid=11082] ppid=11076 vsize=24096 CPUtime=161.23
/proc/11082/stat : 11082 (minisat_static) R 11076 11076 10880 0 -1 4194304 5855 0 0 0 16118 5 0 0 25 0 1 0 305302066 24674304 5841 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/11082/statm: 6024 5841 77 171 0 5851 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 29452
[startup+222.302 s]
/proc/loadavg: 1.00 1.04 1.00 2/67 11082
/proc/meminfo: memFree=1785496/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0.98
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 336 1775 0 0 0 0 97 1 16 0 1 0 305301967 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11076/statm: 1339 239 197 169 0 50 0
[pid=11082] ppid=11076 vsize=24672 CPUtime=221.21
/proc/11082/stat : 11082 (minisat_static) R 11076 11076 10880 0 -1 4194304 5970 0 0 0 22115 6 0 0 25 0 1 0 305302066 25264128 5956 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11082/statm: 6168 5956 77 171 0 5995 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 30028
[startup+282.303 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 11082
/proc/meminfo: memFree=1784664/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0.98
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 336 1775 0 0 0 0 97 1 16 0 1 0 305301967 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11076/statm: 1339 239 197 169 0 50 0
[pid=11082] ppid=11076 vsize=25440 CPUtime=281.19
/proc/11082/stat : 11082 (minisat_static) R 11076 11076 10880 0 -1 4194304 6150 0 0 0 28113 6 0 0 25 0 1 0 305302066 26050560 6136 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11082/statm: 6360 6136 77 171 0 6187 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 30796
[startup+342.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 11084
/proc/meminfo: memFree=1781848/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0.98
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 336 1775 0 0 0 0 97 1 16 0 1 0 305301967 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11076/statm: 1339 239 197 169 0 50 0
[pid=11082] ppid=11076 vsize=28092 CPUtime=341.16
/proc/11082/stat : 11082 (minisat_static) R 11076 11076 10880 0 -1 4194304 6794 0 0 0 34110 6 0 0 25 0 1 0 305302066 28766208 6780 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11082/statm: 7023 6780 77 171 0 6850 0
Current children cumulated CPU time (s) 342.14
################
# More data... #
################
/proc/11082/statm: 7450 7186 77 171 0 7277 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 35156
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11084
/proc/meminfo: memFree=1778648/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0.98
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 336 1775 0 0 0 0 97 1 16 0 1 0 305301967 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11076/statm: 1339 239 197 169 0 50 0
[pid=11082] ppid=11076 vsize=30972 CPUtime=641.06
/proc/11082/stat : 11082 (minisat_static) R 11076 11076 10880 0 -1 4194304 7491 0 0 0 64099 7 0 0 25 0 1 0 305302066 31715328 7477 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11082/statm: 7743 7477 77 171 0 7570 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 36328
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11084
/proc/meminfo: memFree=1778584/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0.98
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 336 1775 0 0 0 0 97 1 16 0 1 0 305301967 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11076/statm: 1339 239 197 169 0 50 0
[pid=11082] ppid=11076 vsize=30972 CPUtime=701.04
/proc/11082/stat : 11082 (minisat_static) R 11076 11076 10880 0 -1 4194304 7494 0 0 0 70097 7 0 0 25 0 1 0 305302066 31715328 7480 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/11082/statm: 7743 7480 77 171 0 7570 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 36328
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11084
/proc/meminfo: memFree=1778456/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0.98
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 336 1775 0 0 0 0 97 1 16 0 1 0 305301967 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11076/statm: 1339 239 197 169 0 50 0
[pid=11082] ppid=11076 vsize=30972 CPUtime=761.02
/proc/11082/stat : 11082 (minisat_static) R 11076 11076 10880 0 -1 4194304 7494 0 0 0 76095 7 0 0 25 0 1 0 305302066 31715328 7480 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11082/statm: 7743 7480 77 171 0 7570 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 36328
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11084
/proc/meminfo: memFree=1778136/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0.98
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 336 1775 0 0 0 0 97 1 16 0 1 0 305301967 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11076/statm: 1339 239 197 169 0 50 0
[pid=11082] ppid=11076 vsize=31268 CPUtime=821.01
/proc/11082/stat : 11082 (minisat_static) R 11076 11076 10880 0 -1 4194304 7555 0 0 0 82093 8 0 0 25 0 1 0 305302066 32018432 7541 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/11082/statm: 7817 7541 77 171 0 7644 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 36624
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11084
/proc/meminfo: memFree=1778008/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0.98
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 336 1775 0 0 0 0 97 1 16 0 1 0 305301967 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11076/statm: 1339 239 197 169 0 50 0
[pid=11082] ppid=11076 vsize=31564 CPUtime=880.99
/proc/11082/stat : 11082 (minisat_static) R 11076 11076 10880 0 -1 4194304 7598 0 0 0 88091 8 0 0 25 0 1 0 305302066 32321536 7584 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11082/statm: 7891 7584 77 171 0 7718 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 36920
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11084
/proc/meminfo: memFree=1777816/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0.98
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 336 1775 0 0 0 0 97 1 16 0 1 0 305301967 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11076/statm: 1339 239 197 169 0 50 0
[pid=11082] ppid=11076 vsize=31564 CPUtime=940.97
/proc/11082/stat : 11082 (minisat_static) R 11076 11076 10880 0 -1 4194304 7610 0 0 0 94089 8 0 0 25 0 1 0 305302066 32321536 7596 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/11082/statm: 7891 7596 77 171 0 7718 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 36920
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11084
/proc/meminfo: memFree=1777432/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0.98
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 336 1775 0 0 0 0 97 1 16 0 1 0 305301967 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11076/statm: 1339 239 197 169 0 50 0
[pid=11082] ppid=11076 vsize=31892 CPUtime=1000.95
/proc/11082/stat : 11082 (minisat_static) R 11076 11076 10880 0 -1 4194304 7687 0 0 0 100087 8 0 0 25 0 1 0 305302066 32657408 7673 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 1 0 0
/proc/11082/statm: 7973 7673 77 171 0 7800 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 37248
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11084
/proc/meminfo: memFree=1777112/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0.98
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 336 1775 0 0 0 0 97 1 16 0 1 0 305301967 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11076/statm: 1339 239 197 169 0 50 0
[pid=11082] ppid=11076 vsize=32216 CPUtime=1060.93
/proc/11082/stat : 11082 (minisat_static) R 11076 11076 10880 0 -1 4194304 7749 0 0 0 106085 8 0 0 25 0 1 0 305302066 32989184 7735 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/11082/statm: 8054 7735 77 171 0 7881 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 37572
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11084
/proc/meminfo: memFree=1776472/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0.98
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 336 1775 0 0 0 0 97 1 16 0 1 0 305301967 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11076/statm: 1339 239 197 169 0 50 0
[pid=11082] ppid=11076 vsize=32664 CPUtime=1120.91
/proc/11082/stat : 11082 (minisat_static) R 11076 11076 10880 0 -1 4194304 7881 0 0 0 112083 8 0 0 25 0 1 0 305302066 33447936 7867 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/11082/statm: 8166 7867 77 171 0 7993 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 38020
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11084
/proc/meminfo: memFree=1776344/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0.98
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 336 1775 0 0 0 0 97 1 16 0 1 0 305301967 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11076/statm: 1339 239 197 169 0 50 0
[pid=11082] ppid=11076 vsize=32832 CPUtime=1180.89
/proc/11082/stat : 11082 (minisat_static) R 11076 11076 10880 0 -1 4194304 7895 0 0 0 118081 8 0 0 25 0 1 0 305302066 33619968 7881 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11082/statm: 8208 7881 77 171 0 8035 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 38188
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11084
/proc/meminfo: memFree=1773144/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0.98
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 336 1775 0 0 0 0 97 1 16 0 1 0 305301967 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11076/statm: 1339 239 197 169 0 50 0
[pid=11082] ppid=11076 vsize=35880 CPUtime=1199.09
/proc/11082/stat : 11082 (minisat_static) R 11076 11076 10880 0 -1 4194304 8679 0 0 0 119900 9 0 0 25 0 1 0 305302066 36741120 8665 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/11082/statm: 8970 8665 77 171 0 8797 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 41236
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 11084
/proc/meminfo: memFree=1773144/2055920 swapFree=4120964/4192956
[pid=11076] ppid=11074 vsize=5356 CPUtime=0.98
/proc/11076/stat : 11076 (SatELiteGTI) S 11074 11076 10880 0 -1 4194304 336 1775 0 0 0 0 97 1 16 0 1 0 305301967 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11076/statm: 1339 239 197 169 0 50 0
[pid=11082] ppid=11076 vsize=35880 CPUtime=1199.09
/proc/11082/stat : 11082 (minisat_static) R 11076 11076 10880 0 -1 4194304 8679 0 0 0 119900 9 0 0 25 0 1 0 305302066 36741120 8665 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/11082/statm: 8970 8665 77 171 0 8797 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 41236
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11076 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=972852
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=16997
# CPU time returned by wait4() is 0.989849
# while last known CPU time is 1200.07
#
# 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.07
CPU user time (s): 1199.97
CPU system time (s): 0.1
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 41236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.972852
system time used= 0.016997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2111
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= 7
runsolver used 1.12883 second user time and 3.34749 second system time
The end
Begin job on node86 at 2009-05-20 00:38:43
IDJOB=1832371
IDBENCH=24749
IDSOLVER=671
FILE ID=node86/1832371-1242772723
PBS_JOBID= 9322218
Free space on /tmp= 66360 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Difficult/contest-02-03-04/contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832371-1242772723/watcher-1832371-1242772723 -o /tmp/evaluation-result-1832371-1242772723/solver-1832371-1242772723 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832371-1242772723.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= be0552b4894b69c578ebcc0b17dda689
RANDOM SEED=104880208
node86.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.213
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.213
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1811640 kB
Buffers: 18708 kB
Cached: 126512 kB
SwapCached: 66192 kB
Active: 75644 kB
Inactive: 137952 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1811640 kB
SwapTotal: 4192956 kB
SwapFree: 4120964 kB
Dirty: 2316 kB
Writeback: 0 kB
Mapped: 13948 kB
Slab: 16604 kB
Committed_AS: 1055348 kB
PageTables: 1464 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66360 MiB
End job on node86 at 2009-05-20 00:58:46