0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 20000 100000 | 5999 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 1000 #clauses: 20000 #literals: 100000
0.00/0.02 c CPU time: 0.022996 s
0.00/0.02 c ==============================================================================
0.00/0.06 c This is MiniSat 2.0 beta
0.00/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06 c ============================[ Problem Statistics ]=============================
0.00/0.06 c | |
0.00/0.06 c | Number of variables: 1000 |
0.00/0.06 c | Number of clauses: 20000 |
0.00/0.07 c | Parsing time: 0.01 s |
0.00/0.07 c ============================[ Search Statistics ]==============================
0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.07 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.07 c ===============================================================================
0.00/0.07 c | 0 | 1000 20000 100000 | 6666 0 nan | 0.000 % |
0.05/0.09 c | 101 | 1000 20000 100000 | 6666 101 124 | 0.000 % |
0.05/0.10 c | 202 | 1000 20000 100000 | 6666 202 115 | 0.000 % |
0.05/0.11 c | 302 | 1000 20000 100000 | 6666 302 116 | 0.000 % |
0.05/0.12 c | 412 | 1000 20000 100000 | 6666 412 121 | 0.000 % |
0.05/0.13 c | 513 | 1000 20000 100000 | 6666 513 118 | 0.000 % |
0.05/0.15 c | 623 | 1000 20000 100000 | 6666 623 117 | 0.000 % |
0.05/0.16 c | 744 | 1000 20000 100000 | 6666 744 115 | 0.000 % |
0.05/0.17 c | 844 | 1000 20000 100000 | 6666 844 118 | 0.000 % |
0.05/0.19 c | 954 | 1000 20000 100000 | 6666 954 116 | 0.000 % |
0.05/0.20 c | 1077 | 1000 20000 100000 | 6666 1077 118 | 0.000 % |
0.05/0.22 c | 1211 | 1000 20000 100000 | 6666 1211 119 | 0.000 % |
0.05/0.23 c | 1311 | 1000 20000 100000 | 6666 1311 119 | 0.000 % |
0.05/0.24 c | 1421 | 1000 20000 100000 | 6666 1421 119 | 0.000 % |
0.05/0.25 c | 1542 | 1000 20000 100000 | 6666 1542 119 | 0.000 % |
0.05/0.27 c | 1675 | 1000 20000 100000 | 6666 1675 118 | 0.000 % |
0.05/0.29 c | 1822 | 1000 20000 100000 | 6666 1822 118 | 0.000 % |
0.05/0.30 c | 1922 | 1000 20000 100000 | 6666 1922 119 | 0.000 % |
0.05/0.31 c | 2032 | 1000 20000 100000 | 6666 2032 119 | 0.000 % |
0.05/0.33 c | 2154 | 1000 20000 100000 | 6666 2154 119 | 0.000 % |
0.05/0.34 c | 2288 | 1000 20000 100000 | 6666 2288 120 | 0.000 % |
0.05/0.36 c | 2434 | 1000 20000 100000 | 6666 2434 120 | 0.000 % |
0.05/0.38 c | 2595 | 1000 20000 100000 | 6666 2595 119 | 0.000 % |
0.05/0.39 c | 2695 | 1000 20000 100000 | 6666 2695 119 | 0.000 % |
0.05/0.41 c | 2807 | 1000 20000 100000 | 6666 2807 120 | 0.000 % |
0.05/0.42 c | 2928 | 1000 20000 100000 | 6666 2928 119 | 0.000 % |
0.05/0.44 c | 3061 | 1000 20000 100000 | 6666 3061 120 | 0.000 % |
0.05/0.46 c | 3208 | 1000 20000 100000 | 6666 3208 120 | 0.000 % |
0.05/0.48 c | 3368 | 1000 20000 100000 | 6666 3368 120 | 0.000 % |
0.05/0.50 c | 3544 | 1000 20000 100000 | 6666 3544 120 | 0.000 % |
0.05/0.51 c | 3645 | 1000 20000 100000 | 6666 3645 120 | 0.000 % |
0.05/0.53 c | 3755 | 1000 20000 100000 | 6666 3755 121 | 0.000 % |
0.05/0.54 c | 3876 | 1000 20000 100000 | 6666 3876 121 | 0.000 % |
0.05/0.56 c | 4009 | 1000 20000 100000 | 6666 4009 120 | 0.000 % |
0.05/0.58 c | 4155 | 1000 20000 100000 | 6666 4155 120 | 0.000 % |
0.05/0.60 c | 4315 | 1000 20000 100000 | 6666 4315 120 | 0.000 % |
0.05/0.62 c | 4491 | 1000 20000 100000 | 6666 4491 120 | 0.000 % |
0.05/0.65 c | 4686 | 1000 20000 100000 | 6666 4686 121 | 0.000 % |
0.05/0.66 c | 4787 | 1000 20000 100000 | 6666 4787 121 | 0.000 % |
0.05/0.68 c | 4898 | 1000 20000 100000 | 6666 4898 121 | 0.000 % |
0.05/0.70 c | 5019 | 1000 20000 100000 | 6666 5019 121 | 0.000 % |
0.05/0.71 c | 5152 | 1000 20000 100000 | 6666 5152 121 | 0.000 % |
0.05/0.73 c | 5298 | 1000 20000 100000 | 6666 5298 122 | 0.000 % |
0.05/0.76 c | 5459 | 1000 20000 100000 | 6666 5459 122 | 0.000 % |
0.05/0.78 c | 5635 | 1000 20000 100000 | 6666 5635 121 | 0.000 % |
0.05/0.81 c | 5828 | 1000 20000 100000 | 6666 5828 122 | 0.000 % |
0.05/0.84 c | 6040 | 1000 20000 100000 | 6666 6040 122 | 0.000 % |
0.05/0.86 c | 6142 | 1000 20000 100000 | 6666 6142 122 | 0.000 % |
0.05/0.87 c | 6253 | 1000 20000 100000 | 6666 6253 122 | 0.000 % |
0.05/0.89 c | 6375 | 1000 20000 100000 | 6666 6375 122 | 0.000 % |
0.05/0.91 c | 6508 | 1000 20000 100000 | 6666 6508 121 | 0.000 % |
0.05/0.93 c | 6654 | 1000 20000 100000 | 6666 6654 122 | 0.000 % |
0.05/0.95 c | 6816 | 1000 20000 100000 | 6666 6816 122 | 0.000 % |
0.05/0.98 c | 6994 | 1000 20000 100000 | 6666 6313 121 | 0.000 % |
0.97/1.01 c | 7188 | 1000 20000 100000 | 6666 6507 121 | 0.000 % |
0.97/1.04 c | 7401 | 1000 20000 100000 | 6666 6720 121 | 0.000 % |
0.97/1.08 c | 7634 | 1000 20000 100000 | 6666 6281 121 | 0.000 % |
0.97/1.09 c | 7735 | 1000 20000 100000 | 6666 6382 121 | 0.000 % |
1.07/1.11 c | 7846 | 1000 20000 100000 | 6666 6493 121 | 0.000 % |
1.07/1.12 c | 7967 | 1000 20000 100000 | 6666 6614 121 | 0.000 % |
1.07/1.14 c | 8100 | 1000 20000 100000 | 6666 6747 121 | 0.000 % |
1.07/1.17 c | 8246 | 1000 20000 100000 | 6666 6219 120 | 0.000 % |
1.07/1.19 c | 8406 | 1000 20000 100000 | 6666 6379 120 | 0.000 % |
1.17/1.22 c | 8582 | 1000 20000 100000 | 6666 6555 120 | 0.000 % |
1.17/1.25 c | 8777 | 1000 20000 100000 | 6666 6750 120 | 0.000 % |
1.17/1.28 c | 8989 | 1000 20000 100000 | 6666 6287 121 | 0.000 % |
1.27/1.31 c | 9222 | 1000 20000 100000 | 6666 6520 120 | 0.000 % |
1.27/1.35 c | 9478 | 1000 20000 100000 | 6666 6776 121 | 0.000 % |
1.27/1.37 c | 9578 | 1000 20000 100000 | 6666 6199 120 | 0.000 % |
1.27/1.38 c | 9688 | 1000 20000 100000 | 6666 6309 121 | 0.000 % |
1.37/1.40 c | 9809 | 1000 20000 100000 | 6666 6430 121 | 0.000 % |
1.37/1.42 c | 9947 | 1000 20000 100000 | 6666 6568 121 | 0.000 % |
1.37/1.45 c | 10093 | 1000 20000 100000 | 2147483647 6714 121 | 0.000 % |
1.37/1.47 c | 10253 | 1000 20000 100000 | 2147483647 6874 121 | 0.000 % |
1.47/1.50 c | 10430 | 1000 20000 100000 | 2147483647 7051 121 | 0.000 % |
1.47/1.52 c | 10623 | 1000 20000 100000 | 2147483647 7244 121 | 0.000 % |
1.47/1.56 c | 10835 | 1000 20000 100000 | 2147483647 7456 122 | 0.000 % |
1.58/1.60 c | 11069 | 1000 20000 100000 | 2147483647 7690 122 | 0.000 % |
1.58/1.64 c | 11326 | 1000 20000 100000 | 2147483647 7947 123 | 0.000 % |
1.58/1.68 c | 11607 | 1000 20000 100000 | 2147483647 8228 123 | 0.000 % |
1.58/1.70 c | 11708 | 1000 20000 100000 | 2147483647 8329 123 | 0.000 % |
1.68/1.71 c | 11818 | 1000 20000 100000 | 2147483647 8439 123 | 0.000 % |
1.68/1.73 c | 11940 | 1000 20000 100000 | 2147483647 8561 123 | 0.000 % |
1.68/1.76 c | 12073 | 1000 20000 100000 | 2147483647 8694 123 | 0.000 % |
1.68/1.78 c | 12221 | 1000 20000 100000 | 2147483647 8842 122 | 0.000 % |
1.77/1.81 c | 12382 | 1000 20000 100000 | 2147483647 9003 122 | 0.000 % |
1.77/1.84 c | 12559 | 1000 20000 100000 | 2147483647 9180 122 | 0.000 % |
1.77/1.87 c | 12752 | 1000 20000 100000 | 2147483647 9373 122 | 0.000 % |
1.87/1.91 c | 12965 | 1000 20000 100000 | 2147483647 9586 123 | 0.000 % |
1.87/1.95 c | 13198 | 1000 20000 100000 | 2147483647 9819 123 | 0.000 % |
1.87/1.99 c | 13454 | 1000 20000 100000 | 2147483647 10075 123 | 0.000 % |
1.97/2.04 c | 13735 | 1000 20000 100000 | 2147483647 10356 123 | 0.000 % |
1.97/2.09 c | 14044 | 1000 20000 100000 | 2147483647 10665 123 | 0.000 % |
2.08/2.11 c | 14145 | 1000 20000 100000 | 2147483647 10766 123 | 0.000 % |
2.08/2.13 c | 14255 | 1000 20000 100000 | 2147483647 10876 123 | 0.000 % |
2.08/2.15 c | 14376 | 1000 20000 100000 | 2147483647 10997 123 | 0.000 % |
2.08/2.18 c | 14510 | 1000 20000 100000 | 2147483647 11131 123 | 0.000 % |
2.18/2.20 c | 14656 | 1000 20000 100000 | 2147483647 11277 123 | 0.000 % |
2.18/2.23 c | 14817 | 1000 20000 100000 | 2147483647 11438 123 | 0.000 % |
2.18/2.27 c | 14993 | 1000 20000 100000 | 2147483647 11614 123 | 0.000 % |
2.27/2.31 c | 15186 | 1000 20000 100000 | 2147483647 11807 123 | 0.000 % |
2.27/2.34 c | 15398 | 1000 20000 100000 | 2147483647 12019 123 | 0.000 % |
2.27/2.38 c | 15631 | 1000 20000 100000 | 2147483647 12252 124 | 0.000 % |
2.37/2.43 c | 15888 | 1000 20000 100000 | 2147483647 12509 123 | 0.000 % |
2.37/2.48 c | 16170 | 1000 20000 100000 | 2147483647 12791 123 | 0.000 % |
2.47/2.54 c | 16482 | 1000 20000 100000 | 2147483647 13103 124 | 0.000 % |
2.57/2.60 c | 16821 | 1000 20000 100000 | 2147483647 13442 124 | 0.000 % |
2.57/2.62 c | 16921 | 1000 20000 100000 | 2147483647 13542 124 | 0.000 % |
2.57/2.64 c | 17031 | 1000 20000 100000 | 2147483647 13652 123 | 0.000 % |
2.57/2.67 c | 17152 | 1000 20000 100000 | 2147483647 13773 123 | 0.000 % |
2.57/2.70 c | 17286 | 1000 20000 100000 | 2147483647 13907 123 | 0.000 % |
2.67/2.73 c | 17432 | 1000 20000 100000 | 2147483647 14053 123 | 0.000 % |
2.67/2.76 c | 17592 | 1000 20000 100000 | 2147483647 14213 124 | 0.000 % |
2.67/2.80 c | 17768 | 1000 20000 100000 | 2147483647 14389 123 | 0.000 % |
2.77/2.84 c | 17961 | 1000 20000 100000 | 2147483647 14582 123 | 0.000 % |
2.77/2.88 c | 18174 | 1000 20000 100000 | 2147483647 14795 123 | 0.000 % |
2.87/2.93 c | 18408 | 1000 20000 100000 | 2147483647 15029 124 | 0.000 % |
2.87/2.99 c | 18664 | 1000 20000 100000 | 2147483647 15285 123 | 0.000 % |
2.97/3.04 c | 18945 | 1000 20000 100000 | 2147483647 15566 124 | 0.000 % |
3.07/3.11 c | 19256 | 1000 20000 100000 | 2147483647 15877 124 | 0.000 % |
3.07/3.19 c | 19597 | 1000 20000 100000 | 2147483647 16218 124 | 0.000 % |
3.17/3.28 c | 19969 | 1000 20000 100000 | 2147483647 16590 124 | 0.000 % |
3.17/3.30 c | 20069 | 1000 20000 100000 | 2147483647 16690 124 | 0.000 % |
3.27/3.33 c | 20179 | 1000 20000 100000 | 2147483647 16800 124 | 0.000 % |
3.27/3.36 c | 20302 | 1000 20000 100000 | 2147483647 16923 124 | 0.000 % |
3.27/3.39 c | 20436 | 1000 20000 100000 | 2147483647 17057 124 | 0.000 % |
3.37/3.42 c | 20583 | 1000 20000 100000 | 2147483647 17204 124 | 0.000 % |
3.37/3.47 c | 20743 | 1000 20000 100000 | 2147483647 17364 124 | 0.000 % |
3.47/3.51 c | 20920 | 1000 20000 100000 | 2147483647 17541 124 | 0.000 % |
3.47/3.55 c | 21113 | 1000 20000 100000 | 2147483647 17734 124 | 0.000 % |
3.57/3.60 c | 21325 | 1000 20000 100000 | 2147483647 17946 124 | 0.000 % |
3.57/3.65 c | 21558 | 1000 20000 100000 | 2147483647 18179 124 | 0.000 % |
3.67/3.72 c | 21818 | 1000 20000 100000 | 2147483647 18439 124 | 0.000 % |
3.67/3.79 c | 22099 | 1000 20000 100000 | 2147483647 18720 124 | 0.000 % |
3.78/3.86 c | 22410 | 1000 20000 100000 | 2147483647 19031 124 | 0.000 % |
3.87/3.94 c | 22750 | 1000 20000 100000 | 2147483647 19371 124 | 0.000 % |
3.98/4.03 c | 23123 | 1000 20000 100000 | 2147483647 19744 124 | 0.000 % |
4.07/4.13 c | 23533 | 1000 20000 100000 | 2147483647 20154 124 | 0.000 % |
4.07/4.16 c | 23633 | 1000 20000 100000 | 2147483647 20254 124 | 0.000 % |
4.07/4.19 c | 23743 | 1000 20000 100000 | 2147483647 20364 124 | 0.000 % |
4.17/4.22 c | 23864 | 1000 20000 100000 | 2147483647 20485 124 | 0.000 % |
4.17/4.26 c | 23998 | 1000 20000 100000 | 2147483647 20619 124 | 0.000 % |
4.17/4.30 c | 24146 | 1000 20000 100000 | 2147483647 20767 124 | 0.000 % |
4.28/4.34 c | 24307 | 1000 20000 100000 | 2147483647 20928 124 | 0.000 % |
4.28/4.38 c | 24485 | 1000 20000 100000 | 2147483647 21106 124 | 0.000 % |
4.38/4.44 c | 24678 | 1000 20000 100000 | 2147483647 21299 124 | 0.000 % |
4.38/4.49 c | 24890 | 1000 20000 100000 | 2147483647 21511 124 | 0.000 % |
4.47/4.55 c | 25125 | 1000 20000 100000 | 2147483647 21746 124 | 0.000 % |
4.57/4.62 c | 25382 | 1000 20000 100000 | 2147483647 22003 124 | 0.000 % |
4.67/4.70 c | 25666 | 1000 20000 100000 | 2147483647 22287 124 | 0.000 % |
4.67/4.78 c | 25976 | 1000 20000 100000 | 2147483647 22597 124 | 0.000 % |
4.77/4.87 c | 26318 | 1000 20000 100000 | 2147483647 22939 124 | 0.000 % |
4.87/4.96 c | 26692 | 1000 20000 100000 | 2147483647 23313 124 | 0.000 % |
4.96/5.07 c | 27102 | 1000 20000 100000 | 2147483647 23723 124 | 0.000 % |
5.17/5.20 c | 27552 | 1000 20000 100000 | 2147483647 24173 124 | 0.000 % |
5.17/5.24 c | 27653 | 1000 20000 100000 | 2147483647 24274 124 | 0.000 % |
5.17/5.27 c | 27764 | 1000 20000 100000 | 2147483647 24385 124 | 0.000 % |
5.27/5.31 c | 27885 | 1000 20000 100000 | 2147483647 24506 125 | 0.000 % |
5.27/5.35 c | 28018 | 1000 20000 100000 | 2147483647 24639 125 | 0.000 % |
5.27/5.39 c | 28165 | 1000 20000 100000 | 2147483647 24786 124 | 0.000 % |
5.38/5.44 c | 28327 | 1000 20000 100000 | 2147483647 24948 124 | 0.000 % |
5.38/5.49 c | 28505 | 1000 20000 100000 | 2147483647 25126 124 | 0.000 % |
5.48/5.55 c | 28698 | 1000 20000 100000 | 2147483647 25319 125 | 0.000 % |
5.57/5.61 c | 28910 | 1000 20000 100000 | 2147483647 25531 125 | 0.000 % |
5.57/5.67 c | 29143 | 1000 20000 100000 | 2147483647 25764 125 | 0.000 % |
5.67/5.75 c | 29399 | 1000 20000 100000 | 2147483647 26020 125 | 0.000 % |
5.77/5.83 c | 29680 | 1000 20000 100000 | 2147483647 26301 125 | 0.000 % |
5.87/5.93 c | 29991 | 1000 20000 100000 | 2147483647 26612 125 | 0.000 % |
5.97/6.03 c | 30330 | 1000 20000 100000 | 2147483647 26951 125 | 0.000 % |
6.07/6.14 c | 30704 | 1000 20000 100000 | 2147483647 27325 125 | 0.000 % |
6.17/6.26 c | 31114 | 1000 20000 100000 | 2147483647 27735 125 | 0.000 % |
6.37/6.40 c | 31564 | 1000 20000 100000 | 2147483647 28185 125 | 0.000 % |
6.47/6.55 c | 32057 | 1000 20000 100000 | 2147483647 28678 125 | 0.000 % |
6.47/6.59 c | 32157 | 1000 20000 100000 | 2147483647 28778 125 | 0.000 % |
6.58/6.63 c | 32267 | 1000 20000 100000 | 2147483647 28888 125 | 0.000 % |
6.58/6.67 c | 32389 | 1000 20000 100000 | 2147483647 29010 125 | 0.000 % |
6.67/6.71 c | 32524 | 1000 20000 100000 | 2147483647 29145 125 | 0.000 % |
6.67/6.77 c | 32671 | 1000 20000 100000 | 2147483647 29292 125 | 0.000 % |
6.77/6.82 c | 32833 | 1000 20000 100000 | 2147483647 29454 125 | 0.000 % |
6.77/6.88 c | 33009 | 1000 20000 100000 | 2147483647 29630 125 | 0.000 % |
6.87/6.95 c | 33203 | 1000 20000 100000 | 2147483647 29824 125 | 0.000 % |
6.97/7.02 c | 33415 | 1000 20000 100000 | 2147483647 30036 125 | 0.000 % |
7.07/7.10 c | 33648 | 1000 20000 100000 | 2147483647 30269 125 | 0.000 % |
7.07/7.18 c | 33904 | 1000 20000 100000 | 2147483647 30525 125 | 0.000 % |
7.17/7.28 c | 34186 | 1000 20000 100000 | 2147483647 30807 125 | 0.000 % |
7.27/7.37 c | 34495 | 1000 20000 100000 | 2147483647 31116 125 | 0.000 % |
7.37/7.48 c | 34834 | 1000 20000 100000 | 2147483647 31455 124 | 0.000 % |
7.46/7.59 c | 35208 | 1000 20000 100000 | 2147483647 31829 124 | 0.000 % |
7.67/7.72 c | 35617 | 1000 20000 100000 | 2147483647 32238 124 | 0.000 % |
7.76/7.86 c | 36067 | 1000 20000 100000 | 2147483647 32688 124 | 0.000 % |
7.96/8.04 c | 36561 | 1000 20000 100000 | 2147483647 33182 124 | 0.000 % |
8.17/8.24 c | 37103 | 1000 20000 100000 | 2147483647 33724 124 | 0.000 % |
8.17/8.28 c | 37204 | 1000 20000 100000 | 2147483647 33825 124 | 0.000 % |
8.27/8.33 c | 37314 | 1000 20000 100000 | 2147483647 33935 124 | 0.000 % |
8.27/8.37 c | 37436 | 1000 20000 100000 | 2147483647 34057 124 | 0.000 % |
8.37/8.42 c | 37570 | 1000 20000 100000 | 2147483647 34191 124 | 0.000 % |
8.37/8.48 c | 37716 | 1000 20000 100000 | 2147483647 34337 124 | 0.000 % |
8.46/8.54 c | 37881 | 1000 20000 100000 | 2147483647 34502 124 | 0.000 % |
8.56/8.60 c | 38058 | 1000 20000 100000 | 2147483647 34679 124 | 0.000 % |
8.56/8.68 c | 38252 | 1000 20000 100000 | 2147483647 34873 124 | 0.000 % |
8.67/8.76 c | 38466 | 1000 20000 100000 | 2147483647 35087 124 | 0.000 % |
8.77/8.85 c | 38700 | 1000 20000 100000 | 2147483647 35321 124 | 0.000 % |
8.86/8.95 c | 38956 | 1000 20000 100000 | 2147483647 35577 124 | 0.000 % |
8.96/9.05 c | 39237 | 1000 20000 100000 | 2147483647 35858 124 | 0.000 % |
9.06/9.15 c | 39546 | 1000 20000 100000 | 2147483647 36167 124 | 0.000 % |
9.16/9.28 c | 39890 | 1000 20000 100000 | 2147483647 36511 124 | 0.000 % |
9.36/9.42 c | 40264 | 1000 20000 100000 | 2147483647 36885 124 | 0.000 % |
9.46/9.56 c | 40673 | 1000 20000 100000 | 2147483647 37294 124 | 0.000 % |
9.66/9.73 c | 41123 | 1000 20000 100000 | 2147483647 37744 124 | 0.000 % |
9.76/9.90 c | 41616 | 1000 20000 100000 | 2147483647 38237 124 | 0.000 % |
9.96/10.09 c | 42158 | 1000 20000 100000 | 2147483647 38779 124 | 0.000 % |
10.26/10.34 c | 42754 | 1000 20000 100000 | 2147483647 39375 124 | 0.000 % |
10.26/10.38 c | 42856 | 1000 20000 100000 | 2147483647 39477 124 | 0.000 % |
10.36/10.42 c | 42967 | 1000 20000 100000 | 2147483647 39588 124 | 0.000 % |
10.36/10.47 c | 43090 | 1000 20000 100000 | 2147483647 39711 124 | 0.000 % |
10.46/10.54 c | 43223 | 1000 20000 100000 | 2147483647 39844 124 | 0.000 % |
10.56/10.61 c | 43371 | 1000 20000 100000 | 2147483647 39992 124 | 0.000 % |
10.56/10.67 c | 43531 | 1000 20000 100000 | 2147483647 40152 124 | 0.000 % |
10.66/10.75 c | 43708 | 1000 20000 100000 | 2147483647 40329 124 | 0.000 % |
10.76/10.83 c | 43902 | 1000 20000 100000 | 2147483647 40523 124 | 0.000 % |
10.86/10.93 c | 44114 | 1000 20000 100000 | 2147483647 40735 124 | 0.000 % |
10.96/11.02 c | 44347 | 1000 20000 100000 | 2147483647 40968 124 | 0.000 % |
11.06/11.13 c | 44603 | 1000 20000 100000 | 2147483647 41224 124 | 0.000 % |
11.17/11.25 c | 44884 | 1000 20000 100000 | 2147483647 41505 124 | 0.000 % |
11.26/11.38 c | 45193 | 1000 20000 100000 | 2147483647 41814 124 | 0.000 % |
11.46/11.52 c | 45532 | 1000 20000 100000 | 2147483647 42153 124 | 0.000 % |
11.56/11.69 c | 45906 | 1000 20000 100000 | 2147483647 42527 124 | 0.000 % |
11.76/11.84 c | 46316 | 1000 20000 100000 | 2147483647 42937 124 | 0.000 % |
11.96/12.03 c | 46766 | 1000 20000 100000 | 2147483647 43387 124 | 0.000 % |
12.16/12.24 c | 47259 | 1000 20000 100000 | 2147483647 43880 124 | 0.000 % |
12.36/12.46 c | 47802 | 1000 20000 100000 | 2147483647 44423 124 | 0.000 % |
12.66/12.70 c | 48399 | 1000 20000 100000 | 2147483647 45020 124 | 0.000 % |
12.86/12.96 c | 49054 | 1000 20000 100000 | 2147483647 45675 125 | 0.000 % |
12.96/13.02 c | 49154 | 1000 20000 100000 | 2147483647 45775 124 | 0.000 % |
12.96/13.07 c | 49266 | 1000 20000 100000 | 2147483647 45887 124 | 0.000 % |
13.06/13.13 c | 49387 | 1000 20000 100000 | 2147483647 46008 124 | 0.000 % |
13.16/13.20 c | 49524 | 1000 20000 100000 | 2147483647 46145 124 | 0.000 % |
13.16/13.28 c | 49671 | 1000 20000 100000 | 2147483647 46292 124 | 0.000 % |
13.26/13.36 c | 49832 | 1000 20000 100000 | 2147483647 46453 124 | 0.000 % |
13.36/13.43 c | 50008 | 1000 20000 100000 | 2147483647 46629 124 | 0.000 % |
13.46/13.53 c | 50202 | 1000 20000 100000 | 2147483647 46823 124 | 0.000 % |
13.56/13.63 c | 50416 | 1000 20000 100000 | 2147483647 47037 124 | 0.000 % |
13.66/13.74 c | 50651 | 1000 20000 100000 | 2147483647 47272 124 | 0.000 % |
13.76/13.85 c | 50910 | 1000 20000 100000 | 2147483647 47531 124 | 0.000 % |
13.86/13.98 c | 51191 | 1000 20000 100000 | 2147483647 47812 124 | 0.000 % |
14.06/14.13 c | 51500 | 1000 20000 100000 | 2147483647 48121 124 | 0.000 % |
14.27/14.31 c | 51840 | 1000 20000 100000 | 2147483647 48461 124 | 0.000 % |
14.36/14.49 c | 52212 | 1000 20000 100000 | 2147483647 48833 124 | 0.000 % |
14.56/14.67 c | 52621 | 1000 20000 100000 | 2147483647 49242 124 | 0.000 % |
14.76/14.88 c | 53070 | 1000 20000 100000 | 2147483647 49691 124 | 0.000 % |
15.06/15.11 c | 53563 | 1000 20000 100000 | 2147483647 50184 124 | 0.000 % |
15.26/15.37 c | 54105 | 1000 20000 100000 | 2147483647 50726 124 | 0.000 % |
15.56/15.64 c | 54701 | 1000 20000 100000 | 2147483647 51322 125 | 0.000 % |
15.86/15.97 c | 55356 | 1000 20000 100000 | 2147483647 51977 125 | 0.000 % |
16.16/16.28 c | 56076 | 1000 20000 100000 | 2147483647 52697 125 | 0.000 % |
16.26/16.35 c | 56176 | 1000 20000 100000 | 2147483647 52797 125 | 0.000 % |
16.36/16.41 c | 56287 | 1000 20000 100000 | 2147483647 52908 125 | 0.000 % |
16.36/16.48 c | 56408 | 1000 20000 100000 | 2147483647 53029 125 | 0.000 % |
16.46/16.55 c | 56542 | 1000 20000 100000 | 2147483647 53163 125 | 0.000 % |
16.56/16.65 c | 56689 | 1000 20000 100000 | 2147483647 53310 125 | 0.000 % |
16.66/16.74 c | 56851 | 1000 20000 100000 | 2147483647 53472 125 | 0.000 % |
16.75/16.83 c | 57029 | 1000 20000 100000 | 2147483647 53650 125 | 0.000 % |
16.85/16.94 c | 57222 | 1000 20000 100000 | 2147483647 53843 125 | 0.000 % |
16.95/17.05 c | 57434 | 1000 20000 100000 | 2147483647 54055 125 | 0.000 % |
17.05/17.18 c | 57670 | 1000 20000 100000 | 2147483647 54291 125 | 0.000 % |
17.25/17.30 c | 57927 | 1000 20000 100000 | 2147483647 54548 125 | 0.000 % |
17.36/17.45 c | 58209 | 1000 20000 100000 | 2147483647 54830 125 | 0.000 % |
17.47/17.60 c | 58518 | 1000 20000 100000 | 2147483647 55139 125 | 0.000 % |
17.66/17.79 c | 58858 | 1000 20000 100000 | 2147483647 55479 125 | 0.000 % |
17.86/17.98 c | 59230 | 1000 20000 100000 | 2147483647 55851 125 | 0.000 % |
18.06/18.17 c | 59640 | 1000 20000 100000 | 2147483647 56261 125 | 0.000 % |
18.26/18.39 c | 60089 | 1000 20000 100000 | 2147483647 56710 125 | 0.000 % |
18.56/18.68 c | 60583 | 1000 20000 100000 | 2147483647 57204 125 | 0.000 % |
18.86/18.97 c | 61125 | 1000 20000 100000 | 2147483647 57746 125 | 0.000 % |
19.16/19.28 c | 61721 | 1000 20000 100000 | 2147483647 58342 125 | 0.000 % |
19.56/19.63 c | 62376 | 1000 20000 100000 | 2147483647 58997 125 | 0.000 % |
19.95/20.03 c | 63096 | 1000 20000 100000 | 2147483647 59717 125 | 0.000 % |
20.35/20.47 c | 63889 | 1000 20000 100000 | 2147483647 60510 125 | 0.000 % |
20.45/20.53 c | 63989 | 1000 20000 100000 | 2147483647 60610 125 | 0.000 % |
20.55/20.60 c | 64100 | 1000 20000 100000 | 2147483647 60721 125 | 0.000 % |
20.55/20.68 c | 64221 | 1000 20000 100000 | 2147483647 60842 125 | 0.000 % |
20.65/20.76 c | 64354 | 1000 20000 100000 | 2147483647 60975 125 | 0.000 % |
20.76/20.85 c | 64500 | 1000 20000 100000 | 2147483647 61121 125 | 0.000 % |
20.86/20.96 c | 64660 | 1000 20000 100000 | 2147483647 61281 125 | 0.000 % |
20.95/21.07 c | 64840 | 1000 20000 100000 | 2147483647 61461 125 | 0.000 % |
21.05/21.17 c | 65034 | 1000 20000 100000 | 2147483647 61655 125 | 0.000 % |
21.25/21.32 c | 65246 | 1000 20000 100000 | 2147483647 61867 125 | 0.000 % |
21.35/21.46 c | 65479 | 1000 20000 100000 | 2147483647 62100 125 | 0.000 % |
21.56/21.62 c | 65736 | 1000 20000 100000 | 2147483647 62357 125 | 0.000 % |
21.66/21.78 c | 66017 | 1000 20000 100000 | 2147483647 62638 125 | 0.000 % |
21.86/21.97 c | 66326 | 1000 20000 100000 | 2147483647 62947 125 | 0.000 % |
22.06/22.19 c | 66666 | 1000 20000 100000 | 2147483647 63287 125 | 0.000 % |
22.26/22.39 c | 67039 | 1000 20000 100000 | 2147483647 63660 125 | 0.000 % |
22.55/22.64 c | 67448 | 1000 20000 100000 | 2147483647 64069 125 | 0.000 % |
22.75/22.89 c | 67900 | 1000 20000 100000 | 2147483647 64521 125 | 0.000 % |
23.06/23.17 c | 68393 | 1000 20000 100000 | 2147483647 65014 125 | 0.000 % |
23.45/23.50 c | 68935 | 1000 20000 100000 | 2147483647 65556 125 | 0.000 % |
23.75/23.85 c | 69531 | 1000 20000 100000 | 2147483647 66152 125 | 0.000 % |
24.16/24.29 c | 70187 | 1000 20000 100000 | 2147483647 66808 126 | 0.000 % |
24.65/24.71 c | 70908 | 1000 20000 100000 | 2147483647 67529 126 | 0.000 % |
25.05/25.19 c | 71700 | 1000 20000 100000 | 2147483647 68321 126 | 0.000 % |
25.65/25.71 c | 72571 | 1000 20000 100000 | 2147483647 69192 126 | 0.000 % |
25.65/25.79 c | 72672 | 1000 20000 100000 | 2147483647 69293 126 | 0.000 % |
25.75/25.87 c | 72782 | 1000 20000 100000 | 2147483647 69403 126 | 0.000 % |
25.85/25.95 c | 72904 | 1000 20000 100000 | 2147483647 69525 126 | 0.000 % |
25.95/26.05 c | 73037 | 1000 20000 100000 | 2147483647 69658 126 | 0.000 % |
26.05/26.16 c | 73183 | 1000 20000 100000 | 2147483647 69804 126 | 0.000 % |
26.15/26.26 c | 73344 | 1000 20000 100000 | 2147483647 69965 126 | 0.000 % |
26.25/26.39 c | 73521 | 1000 20000 100000 | 2147483647 70142 126 | 0.000 % |
26.45/26.54 c | 73715 | 1000 20000 100000 | 2147483647 70336 126 | 0.000 % |
26.55/26.69 c | 73927 | 1000 20000 100000 | 2147483647 70548 126 | 0.000 % |
26.75/26.84 c | 74160 | 1000 20000 100000 | 2147483647 70781 126 | 0.000 % |
26.95/27.01 c | 74417 | 1000 20000 100000 | 2147483647 71038 126 | 0.000 % |
27.05/27.18 c | 74699 | 1000 20000 100000 | 2147483647 71320 126 | 0.000 % |
27.25/27.37 c | 75009 | 1000 20000 100000 | 2147483647 71630 126 | 0.000 % |
27.55/27.63 c | 75348 | 1000 20000 100000 | 2147483647 71969 126 | 0.000 % |
27.75/27.88 c | 75721 | 1000 20000 100000 | 2147483647 72342 126 | 0.000 % |
28.05/28.16 c | 76132 | 1000 20000 100000 | 2147483647 72753 126 | 0.000 % |
28.35/28.46 c | 76583 | 1000 20000 100000 | 2147483647 73204 126 | 0.000 % |
28.75/28.82 c | 77076 | 1000 20000 100000 | 2147483647 73697 126 | 0.000 % |
29.05/29.17 c | 77621 | 1000 20000 100000 | 2147483647 74242 126 | 0.000 % |
29.45/29.58 c | 78217 | 1000 20000 100000 | 2147483647 74838 126 | 0.000 % |
29.95/30.05 c | 78874 | 1000 20000 100000 | 2147483647 75495 126 | 0.000 % |
30.55/30.60 c | 79594 | 1000 20000 100000 | 2147483647 76215 126 | 0.000 % |
31.05/31.17 c | 80387 | 1000 20000 100000 | 2147483647 77008 126 | 0.000 % |
31.65/31.77 c | 81259 | 1000 20000 100000 | 2147483647 77880 127 | 0.000 % |
32.25/32.39 c | 82217 | 1000 20000 100000 | 2147483647 78838 127 | 0.000 % |
32.35/32.47 c | 82319 | 1000 20000 100000 | 2147483647 78940 127 | 0.000 % |
32.45/32.55 c | 82429 | 1000 20000 100000 | 2147483647 79050 127 | 0.000 % |
32.54/32.65 c | 82551 | 1000 20000 100000 | 2147483647 79172 127 | 0.000 % |
32.64/32.78 c | 82684 | 1000 20000 100000 | 2147483647 79305 127 | 0.000 % |
32.74/32.89 c | 82830 | 1000 20000 100000 | 2147483647 79451 127 | 0.000 % |
32.95/33.02 c | 82992 | 1000 20000 100000 | 2147483647 79613 127 | 0.000 % |
33.04/33.17 c | 83169 | 1000 20000 100000 | 2147483647 79790 127 | 0.000 % |
33.24/33.31 c | 83362 | 1000 20000 100000 | 2147483647 79983 127 | 0.000 % |
33.34/33.48 c | 83575 | 1000 20000 100000 | 2147483647 80196 127 | 0.000 % |
33.64/33.71 c | 83808 | 1000 20000 100000 | 2147483647 80429 127 | 0.000 % |
33.84/33.91 c | 84065 | 1000 20000 100000 | 2147483647 80686 127 | 0.000 % |
34.04/34.12 c | 84346 | 1000 20000 100000 | 2147483647 80967 127 | 0.000 % |
34.24/34.35 c | 84659 | 1000 20000 100000 | 2147483647 81280 127 | 0.000 % |
34.45/34.59 c | 84998 | 1000 20000 100000 | 2147483647 81619 127 | 0.000 % |
34.75/34.87 c | 85371 | 1000 20000 100000 | 2147483647 81992 127 | 0.000 % |
35.05/35.14 c | 85781 | 1000 20000 100000 | 2147483647 82402 127 | 0.000 % |
35.35/35.45 c | 86231 | 1000 20000 100000 | 2147483647 82852 127 | 0.000 % |
35.74/35.80 c | 86724 | 1000 20000 100000 | 2147483647 83345 127 | 0.000 % |
36.04/36.18 c | 87266 | 1000 20000 100000 | 2147483647 83887 127 | 0.000 % |
36.54/36.62 c | 87862 | 1000 20000 100000 | 2147483647 84483 127 | 0.000 % |
36.95/37.09 c | 88518 | 1000 20000 100000 | 2147483647 85139 127 | 0.000 % |
37.55/37.69 c | 89238 | 1000 20000 100000 | 2147483647 85859 127 | 0.000 % |
38.24/38.33 c | 90030 | 1000 20000 100000 | 2147483647 86651 127 | 0.000 % |
38.94/39.00 c | 90901 | 1000 20000 100000 | 2147483647 87522 127 | 0.000 % |
39.64/39.71 c | 91860 | 1000 20000 100000 | 2147483647 88481 127 | 0.000 % |
40.44/40.50 c | 92913 | 1000 20000 100000 | 2147483647 89534 127 | 0.000 % |
40.44/40.59 c | 93013 | 1000 20000 100000 | 2147483647 89634 127 | 0.000 % |
40.64/40.71 c | 93124 | 1000 20000 100000 | 2147483647 89745 127 | 0.000 % |
40.74/40.81 c | 93245 | 1000 20000 100000 | 2147483647 89866 127 | 0.000 % |
40.84/40.93 c | 93379 | 1000 20000 100000 | 2147483647 90000 127 | 0.000 % |
40.94/41.06 c | 93526 | 1000 20000 100000 | 2147483647 90147 127 | 0.000 % |
41.14/41.21 c | 93687 | 1000 20000 100000 | 2147483647 90308 127 | 0.000 % |
41.24/41.36 c | 93864 | 1000 20000 100000 | 2147483647 90485 127 | 0.000 % |
41.44/41.53 c | 94058 | 1000 20000 100000 | 2147483647 90679 127 | 0.000 % |
41.64/41.74 c | 94273 | 1000 20000 100000 | 2147483647 90894 127 | 0.000 % |
41.84/41.94 c | 94507 | 1000 20000 100000 | 2147483647 91128 127 | 0.000 % |
42.04/42.18 c | 94763 | 1000 20000 100000 | 2147483647 91384 127 | 0.000 % |
42.34/42.43 c | 95045 | 1000 20000 100000 | 2147483647 91666 127 | 0.000 % |
42.64/42.72 c | 95354 | 1000 20000 100000 | 2147483647 91975 127 | 0.000 % |
42.94/43.01 c | 95694 | 1000 20000 100000 | 2147483647 92315 127 | 0.000 % |
43.24/43.32 c | 96066 | 1000 20000 100000 | 2147483647 92687 127 | 0.000 % |
43.54/43.69 c | 96475 | 1000 20000 100000 | 2147483647 93096 127 | 0.000 % |
43.94/44.09 c | 96926 | 1000 20000 100000 | 2147483647 93547 127 | 0.000 % |
44.34/44.48 c | 97421 | 1000 20000 100000 | 2147483647 94042 127 | 0.000 % |
44.84/44.93 c | 97966 | 1000 20000 100000 | 2147483647 94587 127 | 0.000 % |
45.33/45.44 c | 98562 | 1000 20000 100000 | 2147483647 95183 127 | 0.000 % |
45.83/45.99 c | 99217 | 1000 20000 100000 | 2147483647 95838 127 | 0.000 % |
46.53/46.61 c | 99937 | 1000 20000 100000 | 2147483647 96558 127 | 0.000 % |
47.24/47.31 c | 100730 | 1000 20000 100000 | 96621 84090 127 | 0.000 % |
47.84/47.98 c | 101602 | 1000 20000 100000 | 96621 84962 127 | 0.000 % |
48.54/48.65 c | 102560 | 1000 20000 100000 | 96621 85920 127 | 0.000 % |
49.34/49.50 c | 103615 | 1000 20000 100000 | 96621 86975 127 | 0.000 % |
50.24/50.39 c | 104773 | 1000 20000 100000 | 96621 88133 127 | 0.000 % |
50.34/50.47 c | 104875 | 1000 20000 100000 | 96621 88235 127 | 0.000 % |
50.44/50.57 c | 104985 | 1000 20000 100000 | 96621 88345 127 | 0.000 % |
50.54/50.67 c | 105107 | 1000 20000 100000 | 96621 88467 127 | 0.000 % |
50.64/50.79 c | 105240 | 1000 20000 100000 | 96621 88600 127 | 0.000 % |
50.84/50.91 c | 105388 | 1000 20000 100000 | 96621 88748 127 | 0.000 % |
50.94/51.06 c | 105548 | 1000 20000 100000 | 96621 88908 127 | 0.000 % |
51.14/51.24 c | 105725 | 1000 20000 100000 | 96621 89085 127 | 0.000 % |
51.34/51.41 c | 105918 | 1000 20000 100000 | 96621 89278 127 | 0.000 % |
51.44/51.59 c | 106132 | 1000 20000 100000 | 96621 89492 127 | 0.000 % |
51.64/51.79 c | 106370 | 1000 20000 100000 | 96621 89730 127 | 0.000 % |
51.94/52.02 c | 106626 | 1000 20000 100000 | 96621 89986 127 | 0.000 % |
52.14/52.23 c | 106907 | 1000 20000 100000 | 96621 90267 127 | 0.000 % |
52.34/52.48 c | 107219 | 1000 20000 100000 | 96621 90579 127 | 0.000 % |
52.64/52.77 c | 107559 | 1000 20000 100000 | 96621 90919 127 | 0.000 % |
53.04/53.12 c | 107933 | 1000 20000 100000 | 96621 91293 127 | 0.000 % |
53.34/53.48 c | 108342 | 1000 20000 100000 | 96621 91702 127 | 0.000 % |
53.74/53.84 c | 108791 | 1000 20000 100000 | 96621 92151 127 | 0.000 % |
54.14/54.26 c | 109284 | 1000 20000 100000 | 96621 92644 127 | 0.000 % |
54.64/54.70 c | 109826 | 1000 20000 100000 | 96621 93186 127 | 0.000 % |
55.14/55.25 c | 110423 | 1000 20000 100000 | 93361 81085 128 | 0.000 % |
55.54/55.69 c | 111078 | 1000 20000 100000 | 93361 81740 127 | 0.000 % |
56.14/56.28 c | 111799 | 1000 20000 100000 | 93361 82461 127 | 0.000 % |
56.74/56.85 c | 112591 | 1000 20000 100000 | 93361 83253 128 | 0.000 % |
57.44/57.54 c | 113463 | 1000 20000 100000 | 93361 84125 127 | 0.000 % |
58.04/58.19 c | 114421 | 1000 20000 100000 | 93361 85083 128 | 0.000 % |
58.84/58.92 c | 115475 | 1000 20000 100000 | 93361 86137 128 | 0.000 % |
59.63/59.72 c | 116634 | 1000 20000 100000 | 93361 87296 128 | 0.000 % |
60.53/60.66 c | 117907 | 1000 20000 100000 | 93361 88569 128 | 0.000 % |
60.63/60.74 c | 118009 | 1000 20000 100000 | 93361 88671 128 | 0.000 % |
60.73/60.88 c | 118119 | 1000 20000 100000 | 93361 88781 128 | 0.000 % |
60.83/60.99 c | 118241 | 1000 20000 100000 | 93361 88903 128 | 0.000 % |
61.03/61.11 c | 118376 | 1000 20000 100000 | 93361 89038 128 | 0.000 % |
61.13/61.24 c | 118523 | 1000 20000 100000 | 93361 89185 128 | 0.000 % |
61.33/61.40 c | 118683 | 1000 20000 100000 | 93361 89345 128 | 0.000 % |
61.44/61.54 c | 118859 | 1000 20000 100000 | 93361 89521 128 | 0.000 % |
61.63/61.72 c | 119052 | 1000 20000 100000 | 93361 89714 128 | 0.000 % |
61.83/61.92 c | 119266 | 1000 20000 100000 | 93361 89928 128 | 0.000 % |
62.03/62.13 c | 119501 | 1000 20000 100000 | 93361 90163 128 | 0.000 % |
62.23/62.37 c | 119757 | 1000 20000 100000 | 93361 90419 128 | 0.000 % |
62.43/62.59 c | 120039 | 1000 20000 100000 | 90662 90701 128 | 0.000 % |
62.73/62.89 c | 120348 | 1000 20000 100000 | 90662 79705 128 | 0.000 % |
63.03/63.16 c | 120689 | 1000 20000 100000 | 90662 80046 128 | 0.000 % |
63.33/63.43 c | 121061 | 1000 20000 100000 | 90662 80418 128 | 0.000 % |
63.64/63.79 c | 121470 | 1000 20000 100000 | 90662 80827 128 | 0.000 % |
64.03/64.13 c | 121919 | 1000 20000 100000 | 90662 81276 128 | 0.000 % |
64.33/64.49 c | 122413 | 1000 20000 100000 | 90662 81770 128 | 0.000 % |
64.74/64.87 c | 122955 | 1000 20000 100000 | 90662 82312 128 | 0.000 % |
65.23/65.33 c | 123551 | 1000 20000 100000 | 90662 82908 128 | 0.000 % |
65.73/65.86 c | 124206 | 1000 20000 100000 | 90662 83563 128 | 0.000 % |
66.23/66.38 c | 124928 | 1000 20000 100000 | 90662 84285 128 | 0.000 % |
66.93/67.02 c | 125721 | 1000 20000 100000 | 90662 85078 128 | 0.000 % |
67.53/67.62 c | 126595 | 1000 20000 100000 | 90662 85952 128 | 0.000 % |
68.23/68.35 c | 127553 | 1000 20000 100000 | 90662 86910 128 | 0.000 % |
69.03/69.20 c | 128606 | 1000 20000 100000 | 90662 87963 128 | 0.000 % |
69.93/70.06 c | 129764 | 1000 20000 100000 | 90662 89121 129 | 0.000 % |
70.93/71.07 c | 131037 | 1000 20000 100000 | 89357 80187 129 | 0.000 % |
72.03/72.13 c | 132441 | 1000 20000 100000 | 89357 81591 129 | 0.000 % |
72.13/72.22 c | 132542 | 1000 20000 100000 | 89357 81692 129 | 0.000 % |
72.23/72.33 c | 132653 | 1000 20000 100000 | 89357 81803 129 | 0.000 % |
72.33/72.43 c | 132774 | 1000 20000 100000 | 89357 81924 129 | 0.000 % |
72.43/72.54 c | 132907 | 1000 20000 100000 | 89357 82057 129 | 0.000 % |
72.53/72.66 c | 133053 | 1000 20000 100000 | 89357 82203 129 | 0.000 % |
72.73/72.81 c | 133213 | 1000 20000 100000 | 89357 82363 129 | 0.000 % |
72.83/72.95 c | 133389 | 1000 20000 100000 | 89357 82539 129 | 0.000 % |
73.03/73.11 c | 133582 | 1000 20000 100000 | 89357 82732 129 | 0.000 % |
73.23/73.30 c | 133794 | 1000 20000 100000 | 89357 82944 129 | 0.000 % |
73.33/73.49 c | 134028 | 1000 20000 100000 | 89357 83178 129 | 0.000 % |
73.63/73.72 c | 134285 | 1000 20000 100000 | 89357 83435 129 | 0.000 % |
73.83/73.95 c | 134567 | 1000 20000 100000 | 89357 83717 129 | 0.000 % |
74.13/74.22 c | 134876 | 1000 20000 100000 | 89357 84026 129 | 0.000 % |
74.43/74.50 c | 135215 | 1000 20000 100000 | 89357 84365 129 | 0.000 % |
74.63/74.79 c | 135589 | 1000 20000 100000 | 89357 84739 129 | 0.000 % |
75.02/75.14 c | 135999 | 1000 20000 100000 | 89357 85149 129 | 0.000 % |
75.32/75.49 c | 136448 | 1000 20000 100000 | 89357 85598 129 | 0.000 % |
75.73/75.86 c | 136941 | 1000 20000 100000 | 89357 86091 129 | 0.000 % |
76.12/76.28 c | 137486 | 1000 20000 100000 | 89357 86636 129 | 0.000 % |
76.62/76.72 c | 138082 | 1000 20000 100000 | 89357 87232 129 | 0.000 % |
77.12/77.26 c | 138738 | 1000 20000 100000 | 89357 87888 129 | 0.000 % |
77.72/77.83 c | 139458 | 1000 20000 100000 | 89357 88608 129 | 0.000 % |
78.32/78.42 c | 140250 | 1000 20000 100000 | 89150 89400 129 | 0.000 % |
78.92/79.06 c | 141121 | 1000 20000 100000 | 89150 79554 129 | 0.000 % |
79.52/79.66 c | 142080 | 1000 20000 100000 | 89150 80513 130 | 0.000 % |
80.32/80.44 c | 143134 | 1000 20000 100000 | 89150 81567 130 | 0.000 % |
81.12/81.27 c | 144292 | 1000 20000 100000 | 89150 82725 130 | 0.000 % |
82.12/82.20 c | 145565 | 1000 20000 100000 | 89150 83998 130 | 0.000 % |
83.12/83.26 c | 146966 | 1000 20000 100000 | 89150 85399 130 | 0.000 % |
84.22/84.39 c | 148506 | 1000 20000 100000 | 89150 86939 130 | 0.000 % |
84.32/84.50 c | 148608 | 1000 20000 100000 | 89150 87041 130 | 0.000 % |
84.42/84.59 c | 148718 | 1000 20000 100000 | 89150 87151 130 | 0.000 % |
84.52/84.69 c | 148842 | 1000 20000 100000 | 89150 87275 130 | 0.000 % |
84.72/84.80 c | 148975 | 1000 20000 100000 | 89150 87408 130 | 0.000 % |
84.82/84.94 c | 149121 | 1000 20000 100000 | 89150 87554 130 | 0.000 % |
84.92/85.07 c | 149281 | 1000 20000 100000 | 89150 87714 130 | 0.000 % |
85.12/85.22 c | 149458 | 1000 20000 100000 | 89150 87891 130 | 0.000 % |
85.22/85.37 c | 149651 | 1000 20000 100000 | 89150 88084 130 | 0.000 % |
85.42/85.56 c | 149863 | 1000 20000 100000 | 89150 88296 130 | 0.000 % |
85.62/85.75 c | 150096 | 1000 20000 100000 | 88435 88529 130 | 0.000 % |
85.91/86.01 c | 150353 | 1000 20000 100000 | 88435 79267 130 | 0.000 % |
86.11/86.25 c | 150636 | 1000 20000 100000 | 88435 79550 130 | 0.000 % |
86.31/86.48 c | 150945 | 1000 20000 100000 | 88435 79859 130 | 0.000 % |
86.61/86.74 c | 151284 | 1000 20000 100000 | 88435 80198 130 | 0.000 % |
86.91/87.01 c | 151658 | 1000 20000 100000 | 88435 80572 130 | 0.000 % |
87.21/87.30 c | 152067 | 1000 20000 100000 | 88435 80981 130 | 0.000 % |
87.51/87.67 c | 152516 | 1000 20000 100000 | 88435 81430 130 | 0.000 % |
87.92/88.05 c | 153009 | 1000 20000 100000 | 88435 81923 130 | 0.000 % |
88.31/88.47 c | 153551 | 1000 20000 100000 | 88435 82465 130 | 0.000 % |
88.81/88.99 c | 154149 | 1000 20000 100000 | 88435 83063 130 | 0.000 % |
89.41/89.52 c | 154807 | 1000 20000 100000 | 88435 83721 130 | 0.000 % |
89.91/90.07 c | 155527 | 1000 20000 100000 | 88435 84441 130 | 0.000 % |
90.62/90.70 c | 156321 | 1000 20000 100000 | 88435 85235 130 | 0.000 % |
91.22/91.35 c | 157192 | 1000 20000 100000 | 88435 86106 130 | 0.000 % |
91.91/92.09 c | 158152 | 1000 20000 100000 | 88435 87066 130 | 0.000 % |
92.71/92.83 c | 159205 | 1000 20000 100000 | 88435 88119 130 | 0.000 % |
93.61/93.73 c | 160365 | 1000 20000 100000 | 79096 79461 130 | 0.000 % |
94.52/94.63 c | 161638 | 1000 20000 100000 | 79096 72202 130 | 0.000 % |
95.31/95.46 c | 163040 | 1000 20000 100000 | 79096 73604 130 | 0.000 % |
96.41/96.58 c | 164580 | 1000 20000 100000 | 79096 75144 130 | 0.000 % |
97.61/97.76 c | 166276 | 1000 20000 100000 | 79096 76840 130 | 0.000 % |
97.72/97.83 c | 166376 | 1000 20000 100000 | 79096 76940 130 | 0.000 % |
97.82/97.92 c | 166489 | 1000 20000 100000 | 79096 77053 130 | 0.000 % |
97.91/98.01 c | 166611 | 1000 20000 100000 | 79096 77175 130 | 0.000 % |
98.01/98.11 c | 166745 | 1000 20000 100000 | 79096 77309 130 | 0.000 % |
98.11/98.21 c | 166891 | 1000 20000 100000 | 79096 77455 130 | 0.000 % |
98.21/98.34 c | 167052 | 1000 20000 100000 | 79096 77616 130 | 0.000 % |
98.31/98.49 c | 167228 | 1000 20000 100000 | 79096 77792 130 | 0.000 % |
98.51/98.63 c | 167422 | 1000 20000 100000 | 79096 77986 130 | 0.000 % |
98.61/98.79 c | 167635 | 1000 20000 100000 | 79096 78199 130 | 0.000 % |
98.82/98.97 c | 167868 | 1000 20000 100000 | 79096 78432 130 | 0.000 % |
99.01/99.17 c | 168124 | 1000 20000 100000 | 79096 78688 130 | 0.000 % |
99.21/99.38 c | 168406 | 1000 20000 100000 | 79096 78970 130 | 0.000 % |
99.51/99.61 c | 168715 | 1000 20000 100000 | 79096 79279 130 | 0.000 % |
99.71/99.87 c | 169054 | 1000 20000 100000 | 79096 71691 131 | 0.000 % |
100.02/100.16 c | 169426 | 1000 20000 100000 | 79096 72063 131 | 0.000 % |
100.31/100.44 c | 169835 | 1000 20000 100000 | 79096 72472 131 | 0.000 % |
100.61/100.73 c | 170284 | 1000 20000 100000 | 2147483647 72921 131 | 0.000 % |
100.91/101.09 c | 170778 | 1000 20000 100000 | 2147483647 73415 131 | 0.000 % |
101.31/101.41 c | 171323 | 1000 20000 100000 | 2147483647 73960 131 | 0.000 % |
101.71/101.80 c | 171921 | 1000 20000 100000 | 2147483647 74558 131 | 0.000 % |
102.11/102.23 c | 172577 | 1000 20000 100000 | 2147483647 75214 131 | 0.000 % |
102.61/102.78 c | 173297 | 1000 20000 100000 | 2147483647 75934 130 | 0.000 % |
103.21/103.32 c | 174093 | 1000 20000 100000 | 2147483647 76730 131 | 0.000 % |
103.81/103.97 c | 174966 | 1000 20000 100000 | 2147483647 77603 131 | 0.000 % |
104.51/104.68 c | 175926 | 1000 20000 100000 | 2147483647 78563 131 | 0.000 % |
105.21/105.38 c | 176979 | 1000 20000 100000 | 2147483647 79616 131 | 0.000 % |
106.01/106.15 c | 178138 | 1000 20000 100000 | 2147483647 80775 131 | 0.000 % |
107.01/107.11 c | 179413 | 1000 20000 100000 | 2147483647 82050 131 | 0.000 % |
108.01/108.15 c | 180813 | 1000 20000 100000 | 2147483647 83450 131 | 0.000 % |
109.11/109.24 c | 182353 | 1000 20000 100000 | 2147483647 84990 131 | 0.000 % |
110.31/110.47 c | 184049 | 1000 20000 100000 | 2147483647 86686 131 | 0.000 % |
111.81/111.99 c | 185912 | 1000 20000 100000 | 2147483647 88549 131 | 0.000 % |
111.91/112.07 c | 186015 | 1000 20000 100000 | 2147483647 88652 131 | 0.000 % |
112.01/112.18 c | 186125 | 1000 20000 100000 | 2147483647 88762 131 | 0.000 % |
112.11/112.28 c | 186246 | 1000 20000 100000 | 2147483647 88883 131 | 0.000 % |
112.21/112.39 c | 186379 | 1000 20000 100000 | 2147483647 89016 131 | 0.000 % |
112.41/112.52 c | 186525 | 1000 20000 100000 | 2147483647 89162 131 | 0.000 % |
112.51/112.69 c | 186685 | 1000 20000 100000 | 2147483647 89322 131 | 0.000 % |
112.71/112.84 c | 186861 | 1000 20000 100000 | 2147483647 89498 131 | 0.000 % |
112.91/113.02 c | 187055 | 1000 20000 100000 | 2147483647 89692 131 | 0.000 % |
113.11/113.23 c | 187269 | 1000 20000 100000 | 2147483647 89906 131 | 0.000 % |
113.31/113.43 c | 187503 | 1000 20000 100000 | 2147483647 90140 131 | 0.000 % |
113.51/113.69 c | 187761 | 1000 20000 100000 | 2147483647 90398 131 | 0.000 % |
113.81/113.93 c | 188042 | 1000 20000 100000 | 2147483647 90679 131 | 0.000 % |
114.11/114.21 c | 188351 | 1000 20000 100000 | 2147483647 90988 131 | 0.000 % |
114.41/114.50 c | 188691 | 1000 20000 100000 | 2147483647 91328 131 | 0.000 % |
114.71/114.80 c | 189063 | 1000 20000 100000 | 2147483647 91700 131 | 0.000 % |
115.01/115.19 c | 189473 | 1000 20000 100000 | 2147483647 92110 131 | 0.000 % |
115.41/115.57 c | 189922 | 1000 20000 100000 | 2147483647 92559 131 | 0.000 % |
115.91/116.06 c | 190415 | 1000 20000 100000 | 92638 81564 131 | 0.000 % |
116.31/116.46 c | 190957 | 1000 20000 100000 | 92638 82106 131 | 0.000 % |
116.81/116.90 c | 191554 | 1000 20000 100000 | 92638 82703 131 | 0.000 % |
117.31/117.43 c | 192209 | 1000 20000 100000 | 92638 83358 131 | 0.000 % |
117.91/118.01 c | 192930 | 1000 20000 100000 | 92638 84079 131 | 0.000 % |
118.50/118.60 c | 193722 | 1000 20000 100000 | 92638 84871 131 | 0.000 % |
119.10/119.22 c | 194594 | 1000 20000 100000 | 92638 85743 131 | 0.000 % |
119.81/119.97 c | 195552 | 1000 20000 100000 | 92638 86701 131 | 0.000 % |
120.70/120.83 c | 196607 | 1000 20000 100000 | 92638 87756 131 | 0.000 % |
121.60/121.76 c | 197766 | 1000 20000 100000 | 92638 88915 131 | 0.000 % |
122.60/122.74 c | 199039 | 1000 20000 100000 | 92638 90188 131 | 0.000 % |
123.80/123.98 c | 200439 | 1000 20000 100000 | 91149 79889 131 | 0.000 % |
124.90/125.08 c | 201979 | 1000 20000 100000 | 91149 81429 131 | 0.000 % |
126.10/126.23 c | 203673 | 1000 20000 100000 | 91149 83123 131 | 0.000 % |
127.40/127.52 c | 205536 | 1000 20000 100000 | 91149 84986 131 | 0.000 % |
129.00/129.12 c | 207585 | 1000 20000 100000 | 91149 87035 132 | 0.000 % |
129.10/129.22 c | 207687 | 1000 20000 100000 | 91149 87137 132 | 0.000 % |
129.20/129.32 c | 207797 | 1000 20000 100000 | 91149 87247 132 | 0.000 % |
129.30/129.43 c | 207918 | 1000 20000 100000 | 91149 87368 132 | 0.000 % |
129.40/129.55 c | 208052 | 1000 20000 100000 | 91149 87502 132 | 0.000 % |
129.60/129.72 c | 208198 | 1000 20000 100000 | 91149 87648 132 | 0.000 % |
129.70/129.88 c | 208358 | 1000 20000 100000 | 91149 87808 132 | 0.000 % |
129.90/130.02 c | 208534 | 1000 20000 100000 | 91149 87984 132 | 0.000 % |
130.10/130.20 c | 208727 | 1000 20000 100000 | 91149 88177 132 | 0.000 % |
130.20/130.39 c | 208940 | 1000 20000 100000 | 91149 88390 132 | 0.000 % |
130.40/130.58 c | 209173 | 1000 20000 100000 | 91149 88623 132 | 0.000 % |
130.70/130.82 c | 209429 | 1000 20000 100000 | 91149 88879 132 | 0.000 % |
130.90/131.05 c | 209710 | 1000 20000 100000 | 91149 89160 132 | 0.000 % |
131.10/131.29 c | 210019 | 1000 20000 100000 | 89450 89469 131 | 0.000 % |
131.50/131.62 c | 210361 | 1000 20000 100000 | 89450 79898 131 | 0.000 % |
131.80/131.90 c | 210738 | 1000 20000 100000 | 89450 80275 131 | 0.000 % |
132.00/132.18 c | 211147 | 1000 20000 100000 | 89450 80684 131 | 0.000 % |
132.40/132.52 c | 211599 | 1000 20000 100000 | 89450 81136 131 | 0.000 % |
132.80/132.94 c | 212094 | 1000 20000 100000 | 89450 81631 131 | 0.000 % |
133.20/133.38 c | 212637 | 1000 20000 100000 | 89450 82174 131 | 0.000 % |
133.60/133.79 c | 213233 | 1000 20000 100000 | 89450 82770 131 | 0.000 % |
134.11/134.25 c | 213889 | 1000 20000 100000 | 89450 83426 131 | 0.000 % |
134.61/134.79 c | 214609 | 1000 20000 100000 | 89450 84146 131 | 0.000 % |
135.21/135.36 c | 215401 | 1000 20000 100000 | 89450 84938 131 | 0.000 % |
135.81/135.98 c | 216274 | 1000 20000 100000 | 89450 85811 131 | 0.000 % |
136.51/136.67 c | 217232 | 1000 20000 100000 | 89450 86769 131 | 0.000 % |
137.21/137.35 c | 218287 | 1000 20000 100000 | 89450 87824 131 | 0.000 % |
138.01/138.19 c | 219447 | 1000 20000 100000 | 89450 88984 131 | 0.000 % |
139.01/139.14 c | 220720 | 1000 20000 100000 | 89538 80894 131 | 0.000 % |
140.01/140.11 c | 222121 | 1000 20000 100000 | 89538 82295 132 | 0.000 % |
141.01/141.15 c | 223661 | 1000 20000 100000 | 89538 83835 132 | 0.000 % |
142.21/142.32 c | 225358 | 1000 20000 100000 | 89538 85532 132 | 0.000 % |
143.51/143.67 c | 227222 | 1000 20000 100000 | 89538 87396 132 | 0.000 % |
145.11/145.21 c | 229272 | 1000 20000 100000 | 89538 89446 132 | 0.000 % |
146.70/146.82 c | 231526 | 1000 20000 100000 | 2147483647 82708 131 | 0.000 % |
146.80/146.93 c | 231626 | 1000 20000 100000 | 2147483647 82808 131 | 0.000 % |
146.90/147.03 c | 231736 | 1000 20000 100000 | 2147483647 82918 131 | 0.000 % |
147.00/147.13 c | 231858 | 1000 20000 100000 | 2147483647 83040 131 | 0.000 % |
147.10/147.25 c | 231995 | 1000 20000 100000 | 2147483647 83177 131 | 0.000 % |
147.21/147.38 c | 232141 | 1000 20000 100000 | 2147483647 83323 131 | 0.000 % |
147.40/147.52 c | 232301 | 1000 20000 100000 | 2147483647 83483 131 | 0.000 % |
147.50/147.64 c | 232478 | 1000 20000 100000 | 2147483647 83660 131 | 0.000 % |
147.70/147.81 c | 232672 | 1000 20000 100000 | 2147483647 83854 131 | 0.000 % |
147.80/147.95 c | 232884 | 1000 20000 100000 | 2147483647 84066 131 | 0.000 % |
148.00/148.12 c | 233117 | 1000 20000 100000 | 2147483647 84299 131 | 0.000 % |
148.20/148.31 c | 233376 | 1000 20000 100000 | 2147483647 84558 131 | 0.000 % |
148.41/148.52 c | 233658 | 1000 20000 100000 | 2147483647 84840 131 | 0.000 % |
148.60/148.76 c | 233967 | 1000 20000 100000 | 2147483647 85149 131 | 0.000 % |
148.90/149.06 c | 234306 | 1000 20000 100000 | 2147483647 85488 131 | 0.000 % |
149.20/149.33 c | 234678 | 1000 20000 100000 | 2147483647 85860 131 | 0.000 % |
149.51/149.67 c | 235087 | 1000 20000 100000 | 2147483647 86269 131 | 0.000 % |
149.90/150.05 c | 235538 | 1000 20000 100000 | 2147483647 86720 131 | 0.000 % |
150.30/150.47 c | 236031 | 1000 20000 100000 | 2147483647 87213 131 | 0.000 % |
150.80/150.92 c | 236573 | 1000 20000 100000 | 2147483647 87755 131 | 0.000 % |
151.20/151.38 c | 237170 | 1000 20000 100000 | 2147483647 88352 131 | 0.000 % |
151.71/151.88 c | 237827 | 1000 20000 100000 | 2147483647 89009 131 | 0.000 % |
152.30/152.41 c | 238548 | 1000 20000 100000 | 2147483647 89730 131 | 0.000 % |
152.90/153.04 c | 239340 | 1000 20000 100000 | 2147483647 90522 131 | 0.000 % |
153.60/153.74 c | 240212 | 1000 20000 100000 | 91182 91394 131 | 0.000 % |
154.30/154.45 c | 241170 | 1000 20000 100000 | 91182 81666 131 | 0.000 % |
155.00/155.18 c | 242224 | 1000 20000 100000 | 91182 82720 131 | 0.000 % |
155.90/156.01 c | 243383 | 1000 20000 100000 | 91182 83879 131 | 0.000 % |
156.80/156.92 c | 244656 | 1000 20000 100000 | 91182 85152 131 | 0.000 % |
157.80/157.93 c | 246058 | 1000 20000 100000 | 91182 86554 131 | 0.000 % |
159.00/159.14 c | 247598 | 1000 20000 100000 | 91182 88094 131 | 0.000 % |
160.40/160.54 c | 249292 | 1000 20000 100000 | 91182 89788 131 | 0.000 % |
161.80/161.96 c | 251155 | 1000 20000 100000 | 90499 81603 131 | 0.000 % |
163.20/163.38 c | 253206 | 1000 20000 100000 | 90499 83654 131 | 0.000 % |
164.90/165.02 c | 255459 | 1000 20000 100000 | 90499 85907 131 | 0.000 % |
166.80/166.91 c | 257938 | 1000 20000 100000 | 90499 88386 132 | 0.000 % |
166.80/166.99 c | 258038 | 1000 20000 100000 | 90499 88486 131 | 0.000 % |
167.00/167.12 c | 258149 | 1000 20000 100000 | 90499 88597 131 | 0.000 % |
167.10/167.22 c | 258270 | 1000 20000 100000 | 90499 88718 131 | 0.000 % |
167.20/167.34 c | 258405 | 1000 20000 100000 | 90499 88853 131 | 0.000 % |
167.30/167.47 c | 258553 | 1000 20000 100000 | 90499 89001 131 | 0.000 % |
167.50/167.62 c | 258713 | 1000 20000 100000 | 90499 89161 131 | 0.000 % |
167.60/167.76 c | 258890 | 1000 20000 100000 | 90499 89338 131 | 0.000 % |
167.80/167.92 c | 259083 | 1000 20000 100000 | 90499 89531 131 | 0.000 % |
168.00/168.12 c | 259295 | 1000 20000 100000 | 90499 89743 131 | 0.000 % |
168.20/168.32 c | 259528 | 1000 20000 100000 | 90499 89976 131 | 0.000 % |
168.40/168.56 c | 259784 | 1000 20000 100000 | 90499 90232 131 | 0.000 % |
168.60/168.79 c | 260065 | 1000 20000 100000 | 90448 90513 131 | 0.000 % |
168.90/169.05 c | 260375 | 1000 20000 100000 | 90448 80725 131 | 0.000 % |
169.20/169.31 c | 260714 | 1000 20000 100000 | 90448 81064 131 | 0.000 % |
169.50/169.61 c | 261088 | 1000 20000 100000 | 90448 81438 131 | 0.000 % |
169.80/169.99 c | 261498 | 1000 20000 100000 | 90448 81848 131 | 0.000 % |
170.20/170.32 c | 261947 | 1000 20000 100000 | 90448 82297 131 | 0.000 % |
170.60/170.71 c | 262440 | 1000 20000 100000 | 90448 82790 131 | 0.000 % |
170.90/171.09 c | 262982 | 1000 20000 100000 | 90448 83332 131 | 0.000 % |
171.40/171.56 c | 263578 | 1000 20000 100000 | 90448 83928 131 | 0.000 % |
171.89/172.08 c | 264234 | 1000 20000 100000 | 90448 84584 131 | 0.000 % |
172.50/172.66 c | 264954 | 1000 20000 100000 | 90448 85304 131 | 0.000 % |
173.09/173.24 c | 265748 | 1000 20000 100000 | 90448 86098 131 | 0.000 % |
173.70/173.87 c | 266622 | 1000 20000 100000 | 90448 86972 131 | 0.000 % |
174.49/174.62 c | 267582 | 1000 20000 100000 | 90448 87932 131 | 0.000 % |
175.29/175.46 c | 268636 | 1000 20000 100000 | 90448 88986 131 | 0.000 % |
176.19/176.38 c | 269795 | 1000 20000 100000 | 90448 90145 131 | 0.000 % |
177.19/177.33 c | 271068 | 1000 20000 100000 | 90350 80913 131 | 0.000 % |
178.19/178.37 c | 272468 | 1000 20000 100000 | 90350 82313 132 | 0.000 % |
179.29/179.47 c | 274008 | 1000 20000 100000 | 90350 83853 132 | 0.000 % |
180.59/180.74 c | 275704 | 1000 20000 100000 | 90350 85549 131 | 0.000 % |
181.99/182.13 c | 277567 | 1000 20000 100000 | 90350 87412 132 | 0.000 % |
183.59/183.75 c | 279616 | 1000 20000 100000 | 90350 89461 132 | 0.000 % |
185.29/185.40 c | 281869 | 1000 20000 100000 | 89845 81025 131 | 0.000 % |
186.99/187.16 c | 284349 | 1000 20000 100000 | 89845 83505 132 | 0.000 % |
188.99/189.11 c | 287074 | 1000 20000 100000 | 89845 86230 132 | 0.000 % |
189.09/189.21 c | 287174 | 1000 20000 100000 | 89845 86330 132 | 0.000 % |
189.19/189.30 c | 287284 | 1000 20000 100000 | 89845 86440 132 | 0.000 % |
189.29/189.40 c | 287405 | 1000 20000 100000 | 89845 86561 132 | 0.000 % |
189.39/189.51 c | 287538 | 1000 20000 100000 | 89845 86694 132 | 0.000 % |
189.49/189.65 c | 287684 | 1000 20000 100000 | 89845 86840 132 | 0.000 % |
189.59/189.79 c | 287844 | 1000 20000 100000 | 89845 87000 132 | 0.000 % |
189.79/189.95 c | 288021 | 1000 20000 100000 | 89845 87177 132 | 0.000 % |
189.99/190.14 c | 288214 | 1000 20000 100000 | 89845 87370 132 | 0.000 % |
190.19/190.31 c | 288429 | 1000 20000 100000 | 89845 87585 132 | 0.000 % |
190.39/190.50 c | 288663 | 1000 20000 100000 | 89845 87819 132 | 0.000 % |
190.58/190.70 c | 288919 | 1000 20000 100000 | 89845 88075 132 | 0.000 % |
190.78/190.93 c | 289200 | 1000 20000 100000 | 89845 88356 132 | 0.000 % |
190.98/191.20 c | 289510 | 1000 20000 100000 | 89845 88666 132 | 0.000 % |
191.38/191.50 c | 289851 | 1000 20000 100000 | 89845 89007 132 | 0.000 % |
191.68/191.81 c | 290224 | 1000 20000 100000 | 89157 89380 132 | 0.000 % |
191.98/192.17 c | 290636 | 1000 20000 100000 | 89157 79881 132 | 0.000 % |
192.29/192.49 c | 291086 | 1000 20000 100000 | 89157 80331 132 | 0.000 % |
192.68/192.89 c | 291579 | 1000 20000 100000 | 89157 80824 132 | 0.000 % |
193.18/193.33 c | 292121 | 1000 20000 100000 | 89157 81366 132 | 0.000 % |
193.58/193.72 c | 292717 | 1000 20000 100000 | 89157 81962 132 | 0.000 % |
193.98/194.19 c | 293373 | 1000 20000 100000 | 89157 82618 132 | 0.000 % |
194.49/194.70 c | 294095 | 1000 20000 100000 | 89157 83340 132 | 0.000 % |
195.18/195.34 c | 294887 | 1000 20000 100000 | 89157 84132 132 | 0.000 % |
195.78/195.94 c | 295758 | 1000 20000 100000 | 89157 85003 132 | 0.000 % |
196.48/196.67 c | 296717 | 1000 20000 100000 | 89157 85962 132 | 0.000 % |
197.28/197.45 c | 297770 | 1000 20000 100000 | 89157 87015 132 | 0.000 % |
198.18/198.30 c | 298928 | 1000 20000 100000 | 89157 88173 132 | 0.000 % |
199.09/199.21 c | 300202 | 1000 20000 100000 | 89245 89447 132 | 0.000 % |
200.09/200.23 c | 301604 | 1000 20000 100000 | 89245 81309 132 | 0.000 % |
201.19/201.38 c | 303145 | 1000 20000 100000 | 89245 82850 132 | 0.000 % |
202.39/202.59 c | 304840 | 1000 20000 100000 | 89245 84545 132 | 0.000 % |
203.79/203.94 c | 306703 | 1000 20000 100000 | 89245 86408 132 | 0.000 % |
205.29/205.49 c | 308752 | 1000 20000 100000 | 89245 88457 133 | 0.000 % |
206.99/207.15 c | 311006 | 1000 20000 100000 | 2147483647 81752 132 | 0.000 % |
208.79/208.91 c | 313484 | 1000 20000 100000 | 2147483647 84230 132 | 0.000 % |
210.89/211.00 c | 316210 | 1000 20000 100000 | 2147483647 86956 133 | 0.000 % |
213.09/213.26 c | 319208 | 1000 20000 100000 | 2147483647 89954 133 | 0.000 % |
213.19/213.34 c | 319309 | 1000 20000 100000 | 2147483647 90055 133 | 0.000 % |
213.29/213.42 c | 319420 | 1000 20000 100000 | 2147483647 90166 133 | 0.000 % |
213.39/213.53 c | 319542 | 1000 20000 100000 | 2147483647 90288 133 | 0.000 % |
213.49/213.68 c | 319675 | 1000 20000 100000 | 2147483647 90421 133 | 0.000 % |
213.69/213.81 c | 319823 | 1000 20000 100000 | 2147483647 90569 132 | 0.000 % |
213.79/213.95 c | 319985 | 1000 20000 100000 | 2147483647 90731 132 | 0.000 % |
213.99/214.11 c | 320161 | 1000 20000 100000 | 90747 90907 132 | 0.000 % |
214.19/214.32 c | 320355 | 1000 20000 100000 | 90747 80710 133 | 0.000 % |
214.29/214.48 c | 320567 | 1000 20000 100000 | 90747 80922 133 | 0.000 % |
214.49/214.68 c | 320802 | 1000 20000 100000 | 90747 81157 133 | 0.000 % |
214.69/214.88 c | 321061 | 1000 20000 100000 | 90747 81416 133 | 0.000 % |
214.99/215.11 c | 321343 | 1000 20000 100000 | 90747 81698 133 | 0.000 % |
215.19/215.35 c | 321652 | 1000 20000 100000 | 90747 82007 133 | 0.000 % |
215.49/215.60 c | 321992 | 1000 20000 100000 | 90747 82347 133 | 0.000 % |
215.68/215.88 c | 322365 | 1000 20000 100000 | 90747 82720 133 | 0.000 % |
216.08/216.22 c | 322774 | 1000 20000 100000 | 90747 83129 133 | 0.000 % |
216.38/216.55 c | 323225 | 1000 20000 100000 | 90747 83580 133 | 0.000 % |
216.78/216.90 c | 323718 | 1000 20000 100000 | 90747 84073 133 | 0.000 % |
217.18/217.30 c | 324261 | 1000 20000 100000 | 90747 84616 133 | 0.000 % |
217.59/217.73 c | 324857 | 1000 20000 100000 | 90747 85212 133 | 0.000 % |
218.08/218.24 c | 325512 | 1000 20000 100000 | 90747 85867 133 | 0.000 % |
218.69/218.84 c | 326233 | 1000 20000 100000 | 90747 86588 133 | 0.000 % |
219.28/219.41 c | 327026 | 1000 20000 100000 | 90747 87381 133 | 0.000 % |
219.89/220.08 c | 327898 | 1000 20000 100000 | 90747 88253 133 | 0.000 % |
220.68/220.82 c | 328856 | 1000 20000 100000 | 90747 89211 133 | 0.000 % |
221.48/221.64 c | 329912 | 1000 20000 100000 | 90747 90267 133 | 0.000 % |
222.38/222.55 c | 331070 | 1000 20000 100000 | 90355 80748 133 | 0.000 % |
223.28/223.42 c | 332346 | 1000 20000 100000 | 90355 82024 133 | 0.000 % |
224.28/224.47 c | 333746 | 1000 20000 100000 | 90355 83424 133 | 0.000 % |
225.38/225.55 c | 335286 | 1000 20000 100000 | 90355 84964 133 | 0.000 % |
226.58/226.79 c | 336981 | 1000 20000 100000 | 90355 86659 133 | 0.000 % |
227.98/228.18 c | 338844 | 1000 20000 100000 | 90355 88522 133 | 0.000 % |
229.58/229.70 c | 340894 | 1000 20000 100000 | 89679 81334 134 | 0.000 % |
231.18/231.33 c | 343150 | 1000 20000 100000 | 89679 83590 134 | 0.000 % |
232.88/233.04 c | 345628 | 1000 20000 100000 | 89679 86068 134 | 0.000 % |
234.78/234.96 c | 348353 | 1000 20000 100000 | 89679 88793 134 | 0.000 % |
236.98/237.15 c | 351351 | 1000 20000 100000 | 2147483647 82789 135 | 0.000 % |
239.27/239.43 c | 354649 | 1000 20000 100000 | 2147483647 86087 135 | 0.000 % |
239.37/239.50 c | 354750 | 1000 20000 100000 | 2147483647 86188 135 | 0.000 % |
239.47/239.60 c | 354860 | 1000 20000 100000 | 2147483647 86298 135 | 0.000 % |
239.58/239.70 c | 354982 | 1000 20000 100000 | 2147483647 86420 135 | 0.000 % |
239.68/239.82 c | 355116 | 1000 20000 100000 | 2147483647 86554 135 | 0.000 % |
239.77/239.95 c | 355262 | 1000 20000 100000 | 2147483647 86700 135 | 0.000 % |
239.87/240.07 c | 355423 | 1000 20000 100000 | 2147483647 86861 135 | 0.000 % |
239.97/240.19 c | 355599 | 1000 20000 100000 | 2147483647 87037 135 | 0.000 % |
240.17/240.38 c | 355793 | 1000 20000 100000 | 2147483647 87231 135 | 0.000 % |
240.37/240.55 c | 356009 | 1000 20000 100000 | 2147483647 87447 135 | 0.000 % |
240.57/240.78 c | 356242 | 1000 20000 100000 | 2147483647 87680 135 | 0.000 % |
240.78/240.98 c | 356499 | 1000 20000 100000 | 2147483647 87937 135 | 0.000 % |
241.07/241.24 c | 356780 | 1000 20000 100000 | 2147483647 88218 135 | 0.000 % |
241.37/241.50 c | 357090 | 1000 20000 100000 | 2147483647 88528 135 | 0.000 % |
241.67/241.81 c | 357429 | 1000 20000 100000 | 2147483647 88867 135 | 0.000 % |
241.97/242.11 c | 357802 | 1000 20000 100000 | 2147483647 89240 135 | 0.000 % |
242.27/242.43 c | 358212 | 1000 20000 100000 | 2147483647 89650 135 | 0.000 % |
242.57/242.78 c | 358662 | 1000 20000 100000 | 2147483647 90100 135 | 0.000 % |
242.98/243.18 c | 359155 | 1000 20000 100000 | 2147483647 90593 135 | 0.000 % |
243.47/243.65 c | 359699 | 1000 20000 100000 | 2147483647 91137 135 | 0.000 % |
243.97/244.11 c | 360296 | 1000 20000 100000 | 91440 91734 135 | 0.000 % |
244.47/244.61 c | 360951 | 1000 20000 100000 | 91440 82387 135 | 0.000 % |
244.97/245.16 c | 361672 | 1000 20000 100000 | 91440 83108 135 | 0.000 % |
245.57/245.70 c | 362464 | 1000 20000 100000 | 91440 83900 135 | 0.000 % |
246.17/246.34 c | 363337 | 1000 20000 100000 | 91440 84773 135 | 0.000 % |
246.87/247.07 c | 364295 | 1000 20000 100000 | 91440 85731 135 | 0.000 % |
247.67/247.85 c | 365349 | 1000 20000 100000 | 91440 86785 135 | 0.000 % |
248.47/248.68 c | 366508 | 1000 20000 100000 | 91440 87944 135 | 0.000 % |
249.57/249.73 c | 367784 | 1000 20000 100000 | 91440 89220 135 | 0.000 % |
250.67/250.82 c | 369185 | 1000 20000 100000 | 91440 90621 135 | 0.000 % |
251.87/252.00 c | 370726 | 1000 20000 100000 | 91436 82558 135 | 0.000 % |
253.07/253.22 c | 372420 | 1000 20000 100000 | 91436 84252 135 | 0.000 % |
254.37/254.53 c | 374283 | 1000 20000 100000 | 91436 86115 135 | 0.000 % |
255.76/255.95 c | 376333 | 1000 20000 100000 | 91436 88165 135 | 0.000 % |
257.46/257.62 c | 378587 | 1000 20000 100000 | 91436 90419 135 | 0.000 % |
259.37/259.50 c | 381068 | 1000 20000 100000 | 82141 74533 135 | 0.000 % |
261.06/261.28 c | 383795 | 1000 20000 100000 | 82141 77260 135 | 0.000 % |
263.06/263.27 c | 386793 | 1000 20000 100000 | 82141 80258 135 | 0.000 % |
265.66/265.81 c | 390089 | 1000 20000 100000 | 2147483647 75303 135 | 0.000 % |
268.16/268.38 c | 393714 | 1000 20000 100000 | 2147483647 78928 135 | 0.000 % |
268.26/268.45 c | 393815 | 1000 20000 100000 | 2147483647 79029 135 | 0.000 % |
268.36/268.54 c | 393925 | 1000 20000 100000 | 2147483647 79139 135 | 0.000 % |
268.46/268.62 c | 394046 | 1000 20000 100000 | 2147483647 79260 135 | 0.000 % |
268.56/268.74 c | 394180 | 1000 20000 100000 | 2147483647 79394 135 | 0.000 % |
268.66/268.87 c | 394330 | 1000 20000 100000 | 2147483647 79544 135 | 0.000 % |
268.76/268.99 c | 394492 | 1000 20000 100000 | 2147483647 79706 135 | 0.000 % |
268.96/269.14 c | 394669 | 1000 20000 100000 | 2147483647 79883 135 | 0.000 % |
269.06/269.28 c | 394864 | 1000 20000 100000 | 2147483647 80078 135 | 0.000 % |
269.26/269.45 c | 395078 | 1000 20000 100000 | 2147483647 80292 135 | 0.000 % |
269.46/269.65 c | 395311 | 1000 20000 100000 | 2147483647 80525 135 | 0.000 % |
269.66/269.85 c | 395569 | 1000 20000 100000 | 2147483647 80783 135 | 0.000 % |
269.86/270.07 c | 395853 | 1000 20000 100000 | 2147483647 81067 135 | 0.000 % |
270.16/270.32 c | 396163 | 1000 20000 100000 | 2147483647 81377 135 | 0.000 % |
270.36/270.59 c | 396502 | 1000 20000 100000 | 2147483647 81716 135 | 0.000 % |
270.66/270.87 c | 396875 | 1000 20000 100000 | 2147483647 82089 135 | 0.000 % |
270.96/271.19 c | 397284 | 1000 20000 100000 | 2147483647 82498 135 | 0.000 % |
271.36/271.54 c | 397734 | 1000 20000 100000 | 2147483647 82948 135 | 0.000 % |
271.66/271.87 c | 398229 | 1000 20000 100000 | 2147483647 83443 135 | 0.000 % |
272.06/272.28 c | 398773 | 1000 20000 100000 | 2147483647 83987 135 | 0.000 % |
272.56/272.71 c | 399370 | 1000 20000 100000 | 2147483647 84584 135 | 0.000 % |
272.96/273.18 c | 400025 | 1000 20000 100000 | 2147483647 85239 135 | 0.000 % |
273.56/273.77 c | 400746 | 1000 20000 100000 | 2147483647 85960 135 | 0.000 % |
274.26/274.40 c | 401538 | 1000 20000 100000 | 2147483647 86752 135 | 0.000 % |
274.86/275.06 c | 402409 | 1000 20000 100000 | 2147483647 87623 135 | 0.000 % |
275.56/275.79 c | 403367 | 1000 20000 100000 | 2147483647 88581 135 | 0.000 % |
276.36/276.57 c | 404420 | 1000 20000 100000 | 2147483647 89634 135 | 0.000 % |
277.27/277.40 c | 405578 | 1000 20000 100000 | 2147483647 90792 135 | 0.000 % |
278.27/278.40 c | 406853 | 1000 20000 100000 | 2147483647 92067 135 | 0.000 % |
279.37/279.57 c | 408254 | 1000 20000 100000 | 2147483647 93468 136 | 0.000 % |
280.56/280.79 c | 409794 | 1000 20000 100000 | 2147483647 95008 136 | 0.000 % |
281.96/282.16 c | 411488 | 1000 20000 100000 | 95214 85197 136 | 0.000 % |
283.26/283.49 c | 413351 | 1000 20000 100000 | 95214 87060 136 | 0.000 % |
284.86/285.04 c | 415401 | 1000 20000 100000 | 95214 89110 137 | 0.000 % |
286.76/286.94 c | 417655 | 1000 20000 100000 | 95214 91364 137 | 0.000 % |
288.66/288.90 c | 420136 | 1000 20000 100000 | 93709 93845 137 | 0.000 % |
290.76/290.90 c | 422864 | 1000 20000 100000 | 93709 85545 137 | 0.000 % |
292.96/293.17 c | 425863 | 1000 20000 100000 | 93709 88544 137 | 0.000 % |
295.36/295.52 c | 429160 | 1000 20000 100000 | 93709 91841 137 | 0.000 % |
298.06/298.26 c | 432786 | 1000 20000 100000 | 2147483647 95467 137 | 0.000 % |
301.26/301.41 c | 436774 | 1000 20000 100000 | 2147483647 99455 138 | 0.000 % |
301.36/301.50 c | 436874 | 1000 20000 100000 | 2147483647 99555 138 | 0.000 % |
301.46/301.60 c | 436984 | 1000 20000 100000 | 2147483647 99665 138 | 0.000 % |
301.56/301.72 c | 437106 | 1000 20000 100000 | 2147483647 99787 138 | 0.000 % |
301.66/301.84 c | 437239 | 1000 20000 100000 | 2147483647 99920 138 | 0.000 % |
301.76/301.98 c | 437386 | 1000 20000 100000 | 2147483647 100067 138 | 0.000 % |
301.96/302.12 c | 437547 | 1000 20000 100000 | 2147483647 100228 138 | 0.000 % |
302.16/302.33 c | 437723 | 1000 20000 100000 | 2147483647 100404 137 | 0.000 % |
302.36/302.52 c | 437917 | 1000 20000 100000 | 2147483647 100598 137 | 0.000 % |
302.56/302.72 c | 438130 | 1000 20000 100000 | 2147483647 100811 137 | 0.000 % |
302.76/302.90 c | 438363 | 1000 20000 100000 | 2147483647 101044 137 | 0.000 % |
302.96/303.14 c | 438619 | 1000 20000 100000 | 2147483647 101300 137 | 0.000 % |
303.26/303.40 c | 438901 | 1000 20000 100000 | 2147483647 101582 137 | 0.000 % |
303.46/303.69 c | 439210 | 1000 20000 100000 | 2147483647 101891 137 | 0.000 % |
303.86/304.01 c | 439551 | 1000 20000 100000 | 2147483647 102232 137 | 0.000 % |
304.26/304.41 c | 439923 | 1000 20000 100000 | 2147483647 102604 137 | 0.000 % |
304.56/304.79 c | 440333 | 1000 20000 100000 | 102682 103014 137 | 0.000 % |
304.96/305.20 c | 440782 | 1000 20000 100000 | 102682 88686 137 | 0.000 % |
305.46/305.61 c | 441275 | 1000 20000 100000 | 102682 89179 137 | 0.000 % |
305.86/306.07 c | 441817 | 1000 20000 100000 | 102682 89721 136 | 0.000 % |
306.36/306.58 c | 442414 | 1000 20000 100000 | 102682 90318 136 | 0.000 % |
306.96/307.14 c | 443072 | 1000 20000 100000 | 102682 90976 136 | 0.000 % |
307.56/307.76 c | 443792 | 1000 20000 100000 | 102682 91696 136 | 0.000 % |
308.16/308.37 c | 444584 | 1000 20000 100000 | 102682 92488 136 | 0.000 % |
308.86/309.09 c | 445455 | 1000 20000 100000 | 102682 93359 136 | 0.000 % |
309.65/309.87 c | 446413 | 1000 20000 100000 | 102682 94317 136 | 0.000 % |
310.55/310.77 c | 447466 | 1000 20000 100000 | 102682 95370 137 | 0.000 % |
311.45/311.70 c | 448625 | 1000 20000 100000 | 102682 96529 136 | 0.000 % |
312.55/312.78 c | 449898 | 1000 20000 100000 | 102682 97802 136 | 0.000 % |
313.75/313.91 c | 451298 | 1000 20000 100000 | 97907 85108 137 | 0.000 % |
314.85/315.04 c | 452839 | 1000 20000 100000 | 97907 86649 136 | 0.000 % |
316.05/316.26 c | 454533 | 1000 20000 100000 | 97907 88343 137 | 0.000 % |
317.55/317.73 c | 456396 | 1000 20000 100000 | 97907 90206 137 | 0.000 % |
319.15/319.40 c | 458445 | 1000 20000 100000 | 97907 92255 137 | 0.000 % |
321.05/321.25 c | 460698 | 1000 20000 100000 | 93812 82406 137 | 0.000 % |
322.95/323.11 c | 463176 | 1000 20000 100000 | 93812 84884 137 | 0.000 % |
324.95/325.11 c | 465902 | 1000 20000 100000 | 93812 87610 137 | 0.000 % |
327.25/327.44 c | 468899 | 1000 20000 100000 | 93812 90607 137 | 0.000 % |
329.75/329.97 c | 472195 | 1000 20000 100000 | 91708 83440 137 | 0.000 % |
332.35/332.57 c | 475821 | 1000 20000 100000 | 91708 87066 138 | 0.000 % |
335.55/335.70 c | 479809 | 1000 20000 100000 | 91708 91054 138 | 0.000 % |
338.84/339.00 c | 484194 | 1000 20000 100000 | 91245 85407 139 | 0.000 % |
338.84/339.08 c | 484295 | 1000 20000 100000 | 91245 85508 139 | 0.000 % |
338.94/339.16 c | 484405 | 1000 20000 100000 | 91245 85618 139 | 0.000 % |
339.04/339.26 c | 484527 | 1000 20000 100000 | 91245 85740 138 | 0.000 % |
339.14/339.39 c | 484660 | 1000 20000 100000 | 91245 85873 138 | 0.000 % |
339.34/339.52 c | 484806 | 1000 20000 100000 | 91245 86019 138 | 0.000 % |
339.44/339.64 c | 484967 | 1000 20000 100000 | 91245 86180 138 | 0.000 % |
339.54/339.77 c | 485143 | 1000 20000 100000 | 91245 86356 138 | 0.000 % |
339.75/339.92 c | 485337 | 1000 20000 100000 | 91245 86550 138 | 0.000 % |
339.84/340.09 c | 485549 | 1000 20000 100000 | 91245 86762 138 | 0.000 % |
340.04/340.29 c | 485783 | 1000 20000 100000 | 91245 86996 138 | 0.000 % |
340.34/340.54 c | 486039 | 1000 20000 100000 | 91245 87252 138 | 0.000 % |
340.54/340.76 c | 486320 | 1000 20000 100000 | 91245 87533 138 | 0.000 % |
340.75/341.00 c | 486630 | 1000 20000 100000 | 91245 87843 138 | 0.000 % |
341.04/341.27 c | 486970 | 1000 20000 100000 | 91245 88183 138 | 0.000 % |
341.34/341.56 c | 487344 | 1000 20000 100000 | 91245 88557 138 | 0.000 % |
341.64/341.87 c | 487753 | 1000 20000 100000 | 91245 88966 138 | 0.000 % |
342.04/342.20 c | 488204 | 1000 20000 100000 | 91245 89417 138 | 0.000 % |
342.44/342.63 c | 488697 | 1000 20000 100000 | 91245 89910 138 | 0.000 % |
342.84/343.04 c | 489239 | 1000 20000 100000 | 91245 90452 138 | 0.000 % |
343.34/343.54 c | 489836 | 1000 20000 100000 | 91245 91049 138 | 0.000 % |
343.94/344.12 c | 490493 | 1000 20000 100000 | 91213 81278 137 | 0.000 % |
344.44/344.69 c | 491214 | 1000 20000 100000 | 91213 81999 137 | 0.000 % |
345.15/345.31 c | 492006 | 1000 20000 100000 | 91213 82791 137 | 0.000 % |
345.84/346.01 c | 492877 | 1000 20000 100000 | 91213 83662 137 | 0.000 % |
346.64/346.81 c | 493838 | 1000 20000 100000 | 91213 84623 137 | 0.000 % |
347.35/347.52 c | 494893 | 1000 20000 100000 | 91213 85678 137 | 0.000 % |
348.14/348.36 c | 496051 | 1000 20000 100000 | 91213 86836 137 | 0.000 % |
349.14/349.38 c | 497324 | 1000 20000 100000 | 91213 88109 137 | 0.000 % |
350.24/350.44 c | 498727 | 1000 20000 100000 | 91213 89512 137 | 0.000 % |
351.44/351.60 c | 500267 | 1000 20000 100000 | 90786 91052 137 | 0.000 % |
352.74/352.90 c | 501962 | 1000 20000 100000 | 90786 82709 136 | 0.000 % |
354.04/354.23 c | 503826 | 1000 20000 100000 | 90786 84573 136 | 0.000 % |
355.54/355.76 c | 505875 | 1000 20000 100000 | 90786 86622 136 | 0.000 % |
357.24/357.41 c | 508129 | 1000 20000 100000 | 90786 88876 136 | 0.000 % |
359.04/359.24 c | 510607 | 1000 20000 100000 | 2147483647 91354 136 | 0.000 % |
361.14/361.33 c | 513333 | 1000 20000 100000 | 2147483647 94080 137 | 0.000 % |
363.53/363.71 c | 516332 | 1000 20000 100000 | 2147483647 97079 137 | 0.000 % |
366.23/366.49 c | 519629 | 1000 20000 100000 | 2147483647 100376 137 | 0.000 % |
369.34/369.59 c | 523254 | 1000 20000 100000 | 100748 90715 137 | 0.000 % |
372.74/372.96 c | 527242 | 1000 20000 100000 | 100748 94703 137 | 0.000 % |
376.33/376.50 c | 531628 | 1000 20000 100000 | 97461 86006 138 | 0.000 % |
380.13/380.36 c | 536452 | 1000 20000 100000 | 97461 90830 138 | 0.000 % |
380.23/380.47 c | 536553 | 1000 20000 100000 | 97461 90931 138 | 0.000 % |
380.33/380.59 c | 536664 | 1000 20000 100000 | 97461 91042 138 | 0.000 % |
380.53/380.72 c | 536785 | 1000 20000 100000 | 97461 91163 138 | 0.000 % |
380.63/380.82 c | 536920 | 1000 20000 100000 | 97461 91298 138 | 0.000 % |
380.73/380.95 c | 537068 | 1000 20000 100000 | 97461 91446 138 | 0.000 % |
380.93/381.11 c | 537231 | 1000 20000 100000 | 97461 91609 138 | 0.000 % |
381.03/381.26 c | 537408 | 1000 20000 100000 | 97461 91786 138 | 0.000 % |
381.23/381.44 c | 537602 | 1000 20000 100000 | 97461 91980 138 | 0.000 % |
381.43/381.64 c | 537816 | 1000 20000 100000 | 97461 92194 138 | 0.000 % |
381.63/381.82 c | 538050 | 1000 20000 100000 | 97461 92428 138 | 0.000 % |
381.83/382.07 c | 538306 | 1000 20000 100000 | 97461 92684 138 | 0.000 % |
382.13/382.31 c | 538587 | 1000 20000 100000 | 97461 92965 138 | 0.000 % |
382.33/382.58 c | 538896 | 1000 20000 100000 | 97461 93274 138 | 0.000 % |
382.63/382.85 c | 539236 | 1000 20000 100000 | 97461 93614 138 | 0.000 % |
382.93/383.18 c | 539610 | 1000 20000 100000 | 97461 93988 138 | 0.000 % |
383.33/383.53 c | 540019 | 1000 20000 100000 | 94378 94397 138 | 0.000 % |
383.73/383.95 c | 540469 | 1000 20000 100000 | 94378 82394 138 | 0.000 % |
384.13/384.33 c | 540962 | 1000 20000 100000 | 94378 82887 138 | 0.000 % |
384.53/384.72 c | 541507 | 1000 20000 100000 | 94378 83432 138 | 0.000 % |
384.93/385.16 c | 542104 | 1000 20000 100000 | 94378 84029 138 | 0.000 % |
385.43/385.62 c | 542759 | 1000 20000 100000 | 94378 84684 138 | 0.000 % |
385.93/386.11 c | 543481 | 1000 20000 100000 | 94378 85406 138 | 0.000 % |
386.43/386.67 c | 544273 | 1000 20000 100000 | 94378 86198 138 | 0.000 % |
387.13/387.31 c | 545145 | 1000 20000 100000 | 94378 87070 138 | 0.000 % |
387.83/388.02 c | 546104 | 1000 20000 100000 | 94378 88029 138 | 0.000 % |
388.53/388.77 c | 547157 | 1000 20000 100000 | 94378 89082 138 | 0.000 % |
389.43/389.67 c | 548315 | 1000 20000 100000 | 94378 90240 138 | 0.000 % |
390.33/390.57 c | 549588 | 1000 20000 100000 | 94378 91513 138 | 0.000 % |
391.52/391.74 c | 550988 | 1000 20000 100000 | 91926 82243 138 | 0.000 % |
392.53/392.79 c | 552529 | 1000 20000 100000 | 91926 83784 137 | 0.000 % |
393.72/394.00 c | 554225 | 1000 20000 100000 | 91926 85480 137 | 0.000 % |
395.12/395.35 c | 556088 | 1000 20000 100000 | 91926 87343 138 | 0.000 % |
396.72/396.94 c | 558138 | 1000 20000 100000 | 91926 89393 138 | 0.000 % |
398.52/398.74 c | 560392 | 1000 20000 100000 | 91255 81136 137 | 0.000 % |
400.32/400.56 c | 562870 | 1000 20000 100000 | 91255 83614 137 | 0.000 % |
402.42/402.68 c | 565599 | 1000 20000 100000 | 91255 86343 137 | 0.000 % |
404.72/404.95 c | 568600 | 1000 20000 100000 | 91255 89344 137 | 0.000 % |
407.22/407.50 c | 571896 | 1000 20000 100000 | 90744 82256 137 | 0.000 % |
409.82/410.00 c | 575523 | 1000 20000 100000 | 90744 85883 137 | 0.000 % |
412.72/412.93 c | 579511 | 1000 20000 100000 | 90744 89871 138 | 0.000 % |
415.92/416.19 c | 583896 | 1000 20000 100000 | 90361 83893 138 | 0.000 % |
419.62/419.84 c | 588719 | 1000 20000 100000 | 90361 88716 138 | 0.000 % |
423.52/423.78 c | 594024 | 1000 20000 100000 | 89998 83823 139 | 0.000 % |
423.62/423.88 c | 594124 | 1000 20000 100000 | 89998 83923 139 | 0.000 % |
423.72/423.97 c | 594234 | 1000 20000 100000 | 89998 84033 139 | 0.000 % |
423.82/424.07 c | 594355 | 1000 20000 100000 | 89998 84154 139 | 0.000 % |
423.92/424.18 c | 594488 | 1000 20000 100000 | 89998 84287 139 | 0.000 % |
424.12/424.30 c | 594634 | 1000 20000 100000 | 89998 84433 139 | 0.000 % |
424.22/424.42 c | 594797 | 1000 20000 100000 | 89998 84596 139 | 0.000 % |
424.33/424.56 c | 594974 | 1000 20000 100000 | 89998 84773 139 | 0.000 % |
424.52/424.72 c | 595168 | 1000 20000 100000 | 89998 84967 139 | 0.000 % |
424.72/424.90 c | 595382 | 1000 20000 100000 | 89998 85181 138 | 0.000 % |
424.92/425.11 c | 595617 | 1000 20000 100000 | 89998 85416 138 | 0.000 % |
425.12/425.33 c | 595874 | 1000 20000 100000 | 89998 85673 138 | 0.000 % |
425.32/425.56 c | 596156 | 1000 20000 100000 | 89998 85955 138 | 0.000 % |
425.53/425.78 c | 596468 | 1000 20000 100000 | 89998 86267 138 | 0.000 % |
425.82/426.03 c | 596807 | 1000 20000 100000 | 89998 86606 138 | 0.000 % |
426.12/426.33 c | 597183 | 1000 20000 100000 | 89998 86982 138 | 0.000 % |
426.42/426.66 c | 597593 | 1000 20000 100000 | 89998 87392 138 | 0.000 % |
426.82/427.04 c | 598042 | 1000 20000 100000 | 89998 87841 138 | 0.000 % |
427.22/427.45 c | 598536 | 1000 20000 100000 | 89998 88335 138 | 0.000 % |
427.73/427.95 c | 599080 | 1000 20000 100000 | 89998 88879 138 | 0.000 % |
428.22/428.46 c | 599676 | 1000 20000 100000 | 89998 89475 138 | 0.000 % |
428.83/429.06 c | 600332 | 1000 20000 100000 | 89799 79384 137 | 0.000 % |
429.32/429.52 c | 601052 | 1000 20000 100000 | 89799 80104 137 | 0.000 % |
429.83/430.09 c | 601844 | 1000 20000 100000 | 89799 80896 137 | 0.000 % |
430.42/430.68 c | 602717 | 1000 20000 100000 | 89799 81769 137 | 0.000 % |
431.12/431.38 c | 603676 | 1000 20000 100000 | 89799 82728 137 | 0.000 % |
431.82/432.09 c | 604729 | 1000 20000 100000 | 89799 83781 137 | 0.000 % |
432.72/432.91 c | 605888 | 1000 20000 100000 | 89799 84940 137 | 0.000 % |
433.62/433.86 c | 607161 | 1000 20000 100000 | 89799 86213 137 | 0.000 % |
434.62/434.80 c | 608561 | 1000 20000 100000 | 89799 87613 137 | 0.000 % |
435.82/436.02 c | 610101 | 1000 20000 100000 | 89053 89153 137 | 0.000 % |
437.02/437.22 c | 611795 | 1000 20000 100000 | 89053 81433 136 | 0.000 % |
438.32/438.50 c | 613659 | 1000 20000 100000 | 89053 83297 136 | 0.000 % |
439.72/439.97 c | 615708 | 1000 20000 100000 | 89053 85346 136 | 0.000 % |
441.32/441.56 c | 617962 | 1000 20000 100000 | 89053 87600 136 | 0.000 % |
443.12/443.36 c | 620441 | 1000 20000 100000 | 2147483647 81136 136 | 0.000 % |
445.01/445.23 c | 623166 | 1000 20000 100000 | 2147483647 83861 137 | 0.000 % |
447.31/447.51 c | 626163 | 1000 20000 100000 | 2147483647 86858 136 | 0.000 % |
450.01/450.20 c | 629460 | 1000 20000 100000 | 2147483647 90155 137 | 0.000 % |
452.81/453.06 c | 633086 | 1000 20000 100000 | 2147483647 93781 137 | 0.000 % |
456.22/456.40 c | 637075 | 1000 20000 100000 | 2147483647 97770 137 | 0.000 % |
459.81/460.01 c | 641461 | 1000 20000 100000 | 100696 87290 137 | 0.000 % |
463.51/463.74 c | 646284 | 1000 20000 100000 | 100696 92113 137 | 0.000 % |
467.91/468.17 c | 651590 | 1000 20000 100000 | 95829 84699 137 | 0.000 % |
472.31/472.58 c | 657425 | 1000 20000 100000 | 95829 90534 138 | 0.000 % |
472.41/472.66 c | 657528 | 1000 20000 100000 | 95829 90637 138 | 0.000 % |
472.51/472.78 c | 657640 | 1000 20000 100000 | 95829 90749 138 | 0.000 % |
472.61/472.89 c | 657761 | 1000 20000 100000 | 95829 90870 138 | 0.000 % |
472.81/473.02 c | 657894 | 1000 20000 100000 | 95829 91003 138 | 0.000 % |
472.91/473.15 c | 658040 | 1000 20000 100000 | 95829 91149 137 | 0.000 % |
473.11/473.33 c | 658202 | 1000 20000 100000 | 95829 91311 137 | 0.000 % |
473.21/473.50 c | 658380 | 1000 20000 100000 | 95829 91489 137 | 0.000 % |
473.41/473.66 c | 658573 | 1000 20000 100000 | 95829 91682 137 | 0.000 % |
473.61/473.86 c | 658787 | 1000 20000 100000 | 95829 91896 137 | 0.000 % |
473.81/474.07 c | 659021 | 1000 20000 100000 | 95829 92130 137 | 0.000 % |
474.11/474.33 c | 659278 | 1000 20000 100000 | 95829 92387 137 | 0.000 % |
474.31/474.57 c | 659560 | 1000 20000 100000 | 95829 92669 137 | 0.000 % |
474.61/474.86 c | 659869 | 1000 20000 100000 | 95829 92978 137 | 0.000 % |
474.91/475.16 c | 660209 | 1000 20000 100000 | 93110 93318 137 | 0.000 % |
475.31/475.52 c | 660582 | 1000 20000 100000 | 93110 80829 136 | 0.000 % |
475.61/475.86 c | 660992 | 1000 20000 100000 | 93110 81239 136 | 0.000 % |
476.01/476.23 c | 661443 | 1000 20000 100000 | 93110 81690 136 | 0.000 % |
476.41/476.61 c | 661937 | 1000 20000 100000 | 93110 82184 136 | 0.000 % |
476.81/477.01 c | 662480 | 1000 20000 100000 | 93110 82727 136 | 0.000 % |
477.21/477.41 c | 663077 | 1000 20000 100000 | 93110 83324 136 | 0.000 % |
477.70/477.92 c | 663733 | 1000 20000 100000 | 93110 83980 136 | 0.000 % |
478.21/478.49 c | 664453 | 1000 20000 100000 | 93110 84700 136 | 0.000 % |
478.80/479.06 c | 665248 | 1000 20000 100000 | 93110 85495 136 | 0.000 % |
479.50/479.74 c | 666119 | 1000 20000 100000 | 93110 86366 136 | 0.000 % |
480.20/480.43 c | 667077 | 1000 20000 100000 | 93110 87324 136 | 0.000 % |
481.00/481.29 c | 668131 | 1000 20000 100000 | 93110 88378 136 | 0.000 % |
481.90/482.19 c | 669290 | 1000 20000 100000 | 93110 89537 136 | 0.000 % |
483.00/483.28 c | 670565 | 1000 20000 100000 | 90247 80219 135 | 0.000 % |
484.10/484.34 c | 671965 | 1000 20000 100000 | 90247 81619 135 | 0.000 % |
485.40/485.62 c | 673506 | 1000 20000 100000 | 90247 83160 135 | 0.000 % |
486.70/486.94 c | 675201 | 1000 20000 100000 | 90247 84855 135 | 0.000 % |
488.10/488.39 c | 677064 | 1000 20000 100000 | 90247 86718 135 | 0.000 % |
489.80/490.04 c | 679113 | 1000 20000 100000 | 90247 88767 135 | 0.000 % |
491.60/491.81 c | 681368 | 1000 20000 100000 | 89655 80643 136 | 0.000 % |
493.20/493.47 c | 683846 | 1000 20000 100000 | 89655 83121 136 | 0.000 % |
495.20/495.49 c | 686575 | 1000 20000 100000 | 89655 85850 136 | 0.000 % |
497.50/497.71 c | 689573 | 1000 20000 100000 | 89655 88848 136 | 0.000 % |
500.20/500.40 c | 692869 | 1000 20000 100000 | 89276 82877 136 | 0.000 % |
502.69/502.98 c | 696494 | 1000 20000 100000 | 89276 86502 137 | 0.000 % |
505.80/506.03 c | 700481 | 1000 20000 100000 | 80378 72296 137 | 0.000 % |
508.69/508.92 c | 704871 | 1000 20000 100000 | 80378 76686 137 | 0.000 % |
511.99/512.27 c | 709694 | 1000 20000 100000 | 80378 73435 137 | 0.000 % |
515.79/516.09 c | 715001 | 1000 20000 100000 | 2147483647 78742 138 | 0.000 % |
519.89/520.16 c | 720837 | 1000 20000 100000 | 2147483647 84578 138 | 0.000 % |
524.49/524.74 c | 727258 | 1000 20000 100000 | 2147483647 90999 138 | 0.000 % |
524.59/524.83 c | 727358 | 1000 20000 100000 | 2147483647 91099 138 | 0.000 % |
524.69/524.94 c | 727468 | 1000 20000 100000 | 2147483647 91209 138 | 0.000 % |
524.79/525.05 c | 727590 | 1000 20000 100000 | 2147483647 91331 138 | 0.000 % |
524.99/525.22 c | 727723 | 1000 20000 100000 | 2147483647 91464 138 | 0.000 % |
525.09/525.36 c | 727870 | 1000 20000 100000 | 2147483647 91611 138 | 0.000 % |
525.19/525.49 c | 728031 | 1000 20000 100000 | 2147483647 91772 138 | 0.000 % |
525.39/525.68 c | 728208 | 1000 20000 100000 | 2147483647 91949 138 | 0.000 % |
525.59/525.86 c | 728402 | 1000 20000 100000 | 2147483647 92143 138 | 0.000 % |
525.79/526.06 c | 728614 | 1000 20000 100000 | 2147483647 92355 138 | 0.000 % |
525.99/526.27 c | 728847 | 1000 20000 100000 | 2147483647 92588 138 | 0.000 % |
526.19/526.48 c | 729104 | 1000 20000 100000 | 2147483647 92845 138 | 0.000 % |
526.49/526.74 c | 729386 | 1000 20000 100000 | 2147483647 93127 138 | 0.000 % |
526.79/527.00 c | 729696 | 1000 20000 100000 | 2147483647 93437 138 | 0.000 % |
526.99/527.26 c | 730036 | 1000 20000 100000 | 93741 93777 138 | 0.000 % |
527.39/527.66 c | 730409 | 1000 20000 100000 | 93741 83445 138 | 0.000 % |
527.79/528.02 c | 730819 | 1000 20000 100000 | 93741 83855 138 | 0.000 % |
528.18/528.42 c | 731268 | 1000 20000 100000 | 93741 84304 138 | 0.000 % |
528.58/528.85 c | 731762 | 1000 20000 100000 | 93741 84798 138 | 0.000 % |
528.98/529.26 c | 732306 | 1000 20000 100000 | 93741 85342 138 | 0.000 % |
529.49/529.78 c | 732902 | 1000 20000 100000 | 93741 85938 138 | 0.000 % |
530.09/530.30 c | 733558 | 1000 20000 100000 | 93741 86594 138 | 0.000 % |
530.69/530.90 c | 734278 | 1000 20000 100000 | 93741 87314 138 | 0.000 % |
531.29/531.52 c | 735070 | 1000 20000 100000 | 93741 88106 137 | 0.000 % |
531.99/532.29 c | 735944 | 1000 20000 100000 | 93741 88980 137 | 0.000 % |
532.79/533.02 c | 736902 | 1000 20000 100000 | 93741 89938 137 | 0.000 % |
533.59/533.87 c | 737957 | 1000 20000 100000 | 93741 90993 137 | 0.000 % |
534.49/534.75 c | 739115 | 1000 20000 100000 | 93741 92151 137 | 0.000 % |
535.50/535.78 c | 740389 | 1000 20000 100000 | 93036 81621 137 | 0.000 % |
536.49/536.80 c | 741791 | 1000 20000 100000 | 93036 83023 137 | 0.000 % |
537.69/537.92 c | 743333 | 1000 20000 100000 | 93036 84565 137 | 0.000 % |
538.89/539.11 c | 745027 | 1000 20000 100000 | 93036 86259 137 | 0.000 % |
540.39/540.61 c | 746892 | 1000 20000 100000 | 93036 88124 137 | 0.000 % |
541.99/542.22 c | 748941 | 1000 20000 100000 | 93036 90173 137 | 0.000 % |
543.78/544.02 c | 751194 | 1000 20000 100000 | 91234 82008 138 | 0.000 % |
545.58/545.80 c | 753674 | 1000 20000 100000 | 91234 84488 138 | 0.000 % |
547.59/547.83 c | 756400 | 1000 20000 100000 | 91234 87214 138 | 0.000 % |
549.88/550.19 c | 759397 | 1000 20000 100000 | 91234 90211 138 | 0.000 % |
552.48/552.75 c | 762694 | 1000 20000 100000 | 90814 83736 139 | 0.000 % |
555.28/555.56 c | 766319 | 1000 20000 100000 | 90814 87361 139 | 0.000 % |
558.48/558.74 c | 770308 | 1000 20000 100000 | 91043 91350 139 | 0.000 % |
561.68/561.98 c | 774693 | 1000 20000 100000 | 91043 85873 139 | 0.000 % |
565.38/565.63 c | 779517 | 1000 20000 100000 | 91043 90697 139 | 0.000 % |
569.58/569.82 c | 784823 | 1000 20000 100000 | 91180 85548 139 | 0.000 % |
573.88/574.11 c | 790660 | 1000 20000 100000 | 90725 80263 138 | 0.000 % |
578.27/578.50 c | 797078 | 1000 20000 100000 | 90725 86681 139 | 0.000 % |
583.17/583.49 c | 804139 | 1000 20000 100000 | 89604 83982 138 | 0.000 % |
583.27/583.57 c | 804239 | 1000 20000 100000 | 89604 84082 138 | 0.000 % |
583.37/583.64 c | 804349 | 1000 20000 100000 | 89604 84192 138 | 0.000 % |
583.47/583.74 c | 804471 | 1000 20000 100000 | 89604 84314 138 | 0.000 % |
583.57/583.86 c | 804604 | 1000 20000 100000 | 89604 84447 138 | 0.000 % |
583.67/583.97 c | 804750 | 1000 20000 100000 | 89604 84593 138 | 0.000 % |
583.87/584.11 c | 804911 | 1000 20000 100000 | 89604 84754 138 | 0.000 % |
583.97/584.26 c | 805088 | 1000 20000 100000 | 89604 84931 138 | 0.000 % |
584.17/584.46 c | 805283 | 1000 20000 100000 | 89604 85126 138 | 0.000 % |
584.37/584.61 c | 805495 | 1000 20000 100000 | 89604 85338 138 | 0.000 % |
584.57/584.80 c | 805728 | 1000 20000 100000 | 89604 85571 138 | 0.000 % |
584.77/585.03 c | 805985 | 1000 20000 100000 | 89604 85828 138 | 0.000 % |
584.97/585.27 c | 806267 | 1000 20000 100000 | 89604 86110 138 | 0.000 % |
585.27/585.51 c | 806576 | 1000 20000 100000 | 89604 86419 138 | 0.000 % |
585.57/585.82 c | 806916 | 1000 20000 100000 | 89604 86759 138 | 0.000 % |
585.77/586.09 c | 807291 | 1000 20000 100000 | 89604 87134 138 | 0.000 % |
586.17/586.45 c | 807702 | 1000 20000 100000 | 89604 87545 138 | 0.000 % |
586.57/586.81 c | 808151 | 1000 20000 100000 | 89604 87994 138 | 0.000 % |
586.97/587.20 c | 808644 | 1000 20000 100000 | 89604 88487 138 | 0.000 % |
587.37/587.65 c | 809189 | 1000 20000 100000 | 89604 89032 138 | 0.000 % |
587.87/588.11 c | 809785 | 1000 20000 100000 | 89604 89628 138 | 0.000 % |
588.47/588.70 c | 810444 | 1000 20000 100000 | 79321 70799 138 | 0.000 % |
588.87/589.19 c | 811164 | 1000 20000 100000 | 79321 71519 138 | 0.000 % |
589.37/589.66 c | 811956 | 1000 20000 100000 | 79321 72311 138 | 0.000 % |
589.97/590.24 c | 812829 | 1000 20000 100000 | 79321 73184 138 | 0.000 % |
590.56/590.82 c | 813787 | 1000 20000 100000 | 79321 74142 138 | 0.000 % |
591.26/591.50 c | 814840 | 1000 20000 100000 | 79321 75195 138 | 0.000 % |
591.96/592.27 c | 815998 | 1000 20000 100000 | 79321 76353 138 | 0.000 % |
592.76/593.09 c | 817272 | 1000 20000 100000 | 79321 77627 138 | 0.000 % |
593.77/594.01 c | 818672 | 1000 20000 100000 | 79321 79027 138 | 0.000 % |
594.77/595.06 c | 820212 | 1000 20000 100000 | 2147483647 72599 138 | 0.000 % |
595.76/596.08 c | 821907 | 1000 20000 100000 | 2147483647 74294 138 | 0.000 % |
597.07/597.33 c | 823771 | 1000 20000 100000 | 2147483647 76158 138 | 0.000 % |
598.46/598.71 c | 825825 | 1000 20000 100000 | 2147483647 78212 138 | 0.000 % |
599.97/600.22 c | 828078 | 1000 20000 100000 | 2147483647 80465 138 | 0.000 % |
601.67/601.92 c | 830556 | 1000 20000 100000 | 2147483647 82943 138 | 0.000 % |
603.77/604.07 c | 833281 | 1000 20000 100000 | 2147483647 85668 138 | 0.000 % |
606.07/606.39 c | 836279 | 1000 20000 100000 | 2147483647 88666 138 | 0.000 % |
608.77/609.00 c | 839575 | 1000 20000 100000 | 2147483647 91962 138 | 0.000 % |
611.47/611.70 c | 843200 | 1000 20000 100000 | 92388 84832 137 | 0.000 % |
614.27/614.58 c | 847187 | 1000 20000 100000 | 92388 88819 138 | 0.000 % |
617.66/617.97 c | 851572 | 1000 20000 100000 | 91634 82550 138 | 0.000 % |
621.36/621.62 c | 856395 | 1000 20000 100000 | 91634 87373 139 | 0.000 % |
625.57/625.81 c | 861701 | 1000 20000 100000 | 90979 82291 139 | 0.000 % |
629.86/630.17 c | 867538 | 1000 20000 100000 | 90979 88128 139 | 0.000 % |
634.76/635.04 c | 873956 | 1000 20000 100000 | 90590 83950 140 | 0.000 % |
640.06/640.30 c | 881018 | 1000 20000 100000 | 89995 80692 141 | 0.000 % |
645.76/646.07 c | 888782 | 1000 20000 100000 | 89995 88456 141 | 0.000 % |
645.86/646.15 c | 888882 | 1000 20000 100000 | 89995 88556 141 | 0.000 % |
645.96/646.26 c | 888992 | 1000 20000 100000 | 89995 88666 140 | 0.000 % |
646.06/646.38 c | 889113 | 1000 20000 100000 | 89995 88787 140 | 0.000 % |
646.16/646.49 c | 889247 | 1000 20000 100000 | 89995 88921 140 | 0.000 % |
646.36/646.62 c | 889393 | 1000 20000 100000 | 89995 89067 140 | 0.000 % |
646.46/646.76 c | 889554 | 1000 20000 100000 | 89995 89228 140 | 0.000 % |
646.66/646.95 c | 889734 | 1000 20000 100000 | 89995 89408 140 | 0.000 % |
646.86/647.12 c | 889927 | 1000 20000 100000 | 89995 89601 140 | 0.000 % |
647.06/647.32 c | 890140 | 1000 20000 100000 | 89676 89814 140 | 0.000 % |
647.26/647.56 c | 890373 | 1000 20000 100000 | 89676 79606 142 | 0.000 % |
647.46/647.76 c | 890629 | 1000 20000 100000 | 89676 79862 141 | 0.000 % |
647.66/647.96 c | 890911 | 1000 20000 100000 | 89676 80144 141 | 0.000 % |
647.95/648.21 c | 891220 | 1000 20000 100000 | 89676 80453 141 | 0.000 % |
648.15/648.42 c | 891560 | 1000 20000 100000 | 89676 80793 141 | 0.000 % |
648.45/648.76 c | 891932 | 1000 20000 100000 | 89676 81165 141 | 0.000 % |
648.76/649.09 c | 892344 | 1000 20000 100000 | 89676 81577 141 | 0.000 % |
649.15/649.43 c | 892794 | 1000 20000 100000 | 89676 82027 141 | 0.000 % |
649.45/649.79 c | 893287 | 1000 20000 100000 | 89676 82520 141 | 0.000 % |
649.86/650.19 c | 893829 | 1000 20000 100000 | 89676 83062 141 | 0.000 % |
650.35/650.64 c | 894425 | 1000 20000 100000 | 89676 83658 141 | 0.000 % |
650.86/651.11 c | 895080 | 1000 20000 100000 | 89676 84313 141 | 0.000 % |
651.35/651.68 c | 895802 | 1000 20000 100000 | 89676 85035 141 | 0.000 % |
652.06/652.35 c | 896596 | 1000 20000 100000 | 89676 85829 141 | 0.000 % |
652.75/653.06 c | 897468 | 1000 20000 100000 | 89676 86701 141 | 0.000 % |
653.55/653.88 c | 898427 | 1000 20000 100000 | 89676 87660 141 | 0.000 % |
654.45/654.72 c | 899482 | 1000 20000 100000 | 89676 88715 141 | 0.000 % |
655.36/655.62 c | 900642 | 1000 20000 100000 | 89233 79549 142 | 0.000 % |
656.25/656.50 c | 901916 | 1000 20000 100000 | 89233 80823 141 | 0.000 % |
657.25/657.54 c | 903316 | 1000 20000 100000 | 89233 82223 141 | 0.000 % |
658.35/658.60 c | 904857 | 1000 20000 100000 | 89233 83764 141 | 0.000 % |
659.55/659.80 c | 906552 | 1000 20000 100000 | 89233 85459 141 | 0.000 % |
660.95/661.28 c | 908415 | 1000 20000 100000 | 89233 87322 141 | 0.000 % |
662.55/662.89 c | 910464 | 1000 20000 100000 | 88908 79948 141 | 0.000 % |
664.15/664.46 c | 912720 | 1000 20000 100000 | 88908 82204 141 | 0.000 % |
666.05/666.31 c | 915198 | 1000 20000 100000 | 88908 84682 141 | 0.000 % |
667.85/668.16 c | 917924 | 1000 20000 100000 | 88908 87408 141 | 0.000 % |
670.15/670.46 c | 920921 | 1000 20000 100000 | 2147483647 81477 141 | 0.000 % |
672.45/672.75 c | 924217 | 1000 20000 100000 | 2147483647 84773 141 | 0.000 % |
675.15/675.41 c | 927842 | 1000 20000 100000 | 2147483647 88398 141 | 0.000 % |
678.04/678.37 c | 931831 | 1000 20000 100000 | 2147483647 92387 141 | 0.000 % |
681.65/681.93 c | 936216 | 1000 20000 100000 | 2147483647 96772 141 | 0.000 % |
685.64/685.98 c | 941039 | 1000 20000 100000 | 100558 88764 141 | 0.000 % |
689.94/690.21 c | 946344 | 1000 20000 100000 | 100558 94069 141 | 0.000 % |
694.43/694.74 c | 952179 | 1000 20000 100000 | 97725 86155 140 | 0.000 % |
699.44/699.71 c | 958599 | 1000 20000 100000 | 97725 92575 140 | 0.000 % |
704.64/704.94 c | 965658 | 1000 20000 100000 | 93976 87380 139 | 0.000 % |
710.44/710.76 c | 973425 | 1000 20000 100000 | 91723 84129 139 | 0.000 % |
717.33/717.60 c | 981966 | 1000 20000 100000 | 90705 81345 140 | 0.000 % |
717.33/717.67 c | 982066 | 1000 20000 100000 | 90705 81445 140 | 0.000 % |
717.43/717.77 c | 982177 | 1000 20000 100000 | 90705 81556 140 | 0.000 % |
717.53/717.86 c | 982298 | 1000 20000 100000 | 90705 81677 140 | 0.000 % |
717.63/717.96 c | 982432 | 1000 20000 100000 | 90705 81811 140 | 0.000 % |
717.73/718.07 c | 982578 | 1000 20000 100000 | 90705 81957 140 | 0.000 % |
717.94/718.20 c | 982738 | 1000 20000 100000 | 90705 82117 140 | 0.000 % |
718.04/718.34 c | 982914 | 1000 20000 100000 | 90705 82293 140 | 0.000 % |
718.23/718.50 c | 983107 | 1000 20000 100000 | 90705 82486 140 | 0.000 % |
718.33/718.67 c | 983319 | 1000 20000 100000 | 90705 82698 140 | 0.000 % |
718.53/718.86 c | 983553 | 1000 20000 100000 | 90705 82932 140 | 0.000 % |
718.83/719.12 c | 983810 | 1000 20000 100000 | 90705 83189 140 | 0.000 % |
719.04/719.38 c | 984094 | 1000 20000 100000 | 90705 83473 140 | 0.000 % |
719.33/719.65 c | 984403 | 1000 20000 100000 | 90705 83782 140 | 0.000 % |
719.63/719.91 c | 984743 | 1000 20000 100000 | 90705 84122 140 | 0.000 % |
719.83/720.19 c | 985115 | 1000 20000 100000 | 90705 84494 140 | 0.000 % |
720.14/720.47 c | 985524 | 1000 20000 100000 | 90705 84903 140 | 0.000 % |
720.53/720.84 c | 985974 | 1000 20000 100000 | 90705 85353 140 | 0.000 % |
720.93/721.23 c | 986468 | 1000 20000 100000 | 90705 85847 139 | 0.000 % |
721.34/721.63 c | 987010 | 1000 20000 100000 | 90705 86389 139 | 0.000 % |
721.83/722.10 c | 987606 | 1000 20000 100000 | 90705 86985 139 | 0.000 % |
722.34/722.61 c | 988261 | 1000 20000 100000 | 90705 87640 139 | 0.000 % |
722.93/723.20 c | 988982 | 1000 20000 100000 | 90705 88361 139 | 0.000 % |
723.54/723.86 c | 989776 | 1000 20000 100000 | 90705 89155 139 | 0.000 % |
724.33/724.60 c | 990647 | 1000 20000 100000 | 89379 79013 140 | 0.000 % |
724.93/725.29 c | 991605 | 1000 20000 100000 | 89379 79971 140 | 0.000 % |
725.74/726.06 c | 992658 | 1000 20000 100000 | 89379 81024 140 | 0.000 % |
726.63/726.92 c | 993816 | 1000 20000 100000 | 89379 82182 139 | 0.000 % |
727.63/727.91 c | 995089 | 1000 20000 100000 | 89379 83455 139 | 0.000 % |
728.63/728.95 c | 996489 | 1000 20000 100000 | 89379 84855 139 | 0.000 % |
729.83/730.10 c | 998029 | 1000 20000 100000 | 89379 86395 139 | 0.000 % |
731.13/731.45 c | 999725 | 1000 20000 100000 | 89379 88091 139 | 0.000 % |
732.53/732.81 c | 1001588 | 1000 20000 100000 | 88366 79973 139 | 0.000 % |
734.03/734.34 c | 1003638 | 1000 20000 100000 | 88366 82023 139 | 0.000 % |
735.53/735.90 c | 1005891 | 1000 20000 100000 | 88366 84276 139 | 0.000 % |
737.33/737.62 c | 1008370 | 1000 20000 100000 | 88366 86755 139 | 0.000 % |
739.33/739.66 c | 1011095 | 1000 20000 100000 | 2147483647 89480 139 | 0.000 % |
741.73/742.06 c | 1014092 | 1000 20000 100000 | 2147483647 92477 139 | 0.000 % |
744.43/744.78 c | 1017389 | 1000 20000 100000 | 2147483647 95774 139 | 0.000 % |
747.52/747.88 c | 1021014 | 1000 20000 100000 | 98385 86202 138 | 0.000 % |
750.72/751.05 c | 1025003 | 1000 20000 100000 | 98385 90191 138 | 0.000 % |
754.32/754.69 c | 1029389 | 1000 20000 100000 | 98385 94577 138 | 0.000 % |
758.02/758.33 c | 1034212 | 1000 20000 100000 | 95188 86509 138 | 0.000 % |
762.02/762.39 c | 1039519 | 1000 20000 100000 | 95188 91816 138 | 0.000 % |
766.52/766.88 c | 1045355 | 1000 20000 100000 | 92298 86997 138 | 0.000 % |
771.71/772.01 c | 1051773 | 1000 20000 100000 | 91644 82871 139 | 0.000 % |
777.11/777.50 c | 1058833 | 1000 20000 100000 | 91644 89931 139 | 0.000 % |
783.31/783.66 c | 1066598 | 1000 20000 100000 | 91101 87393 139 | 0.000 % |
789.61/789.94 c | 1075139 | 1000 20000 100000 | 90797 85315 141 | 0.000 % |
796.80/797.12 c | 1084533 | 1000 20000 100000 | 90176 84800 142 | 0.000 % |
796.90/797.23 c | 1084633 | 1000 20000 100000 | 90176 84900 142 | 0.000 % |
797.00/797.32 c | 1084743 | 1000 20000 100000 | 90176 85010 142 | 0.000 % |
797.11/797.43 c | 1084865 | 1000 20000 100000 | 90176 85132 142 | 0.000 % |
797.21/797.53 c | 1084998 | 1000 20000 100000 | 90176 85265 142 | 0.000 % |
797.30/797.65 c | 1085144 | 1000 20000 100000 | 90176 85411 142 | 0.000 % |
797.40/797.77 c | 1085307 | 1000 20000 100000 | 90176 85574 142 | 0.000 % |
797.60/797.91 c | 1085483 | 1000 20000 100000 | 90176 85750 142 | 0.000 % |
797.70/798.08 c | 1085676 | 1000 20000 100000 | 90176 85943 142 | 0.000 % |
797.90/798.25 c | 1085890 | 1000 20000 100000 | 90176 86157 142 | 0.000 % |
798.10/798.43 c | 1086124 | 1000 20000 100000 | 90176 86391 142 | 0.000 % |
798.31/798.65 c | 1086380 | 1000 20000 100000 | 90176 86647 142 | 0.000 % |
798.50/798.86 c | 1086662 | 1000 20000 100000 | 90176 86929 142 | 0.000 % |
798.80/799.13 c | 1086971 | 1000 20000 100000 | 90176 87238 142 | 0.000 % |
799.00/799.39 c | 1087313 | 1000 20000 100000 | 90176 87580 142 | 0.000 % |
799.41/799.71 c | 1087686 | 1000 20000 100000 | 90176 87953 142 | 0.000 % |
799.70/800.05 c | 1088095 | 1000 20000 100000 | 90176 88362 141 | 0.000 % |
800.20/800.50 c | 1088545 | 1000 20000 100000 | 90176 88812 141 | 0.000 % |
800.60/800.98 c | 1089038 | 1000 20000 100000 | 90176 89305 141 | 0.000 % |
801.10/801.49 c | 1089580 | 1000 20000 100000 | 90176 89847 141 | 0.000 % |
801.70/802.02 c | 1090177 | 1000 20000 100000 | 90267 90444 141 | 0.000 % |
802.20/802.59 c | 1090833 | 1000 20000 100000 | 90267 80100 142 | 0.000 % |
802.80/803.11 c | 1091554 | 1000 20000 100000 | 90267 80821 142 | 0.000 % |
803.40/803.75 c | 1092349 | 1000 20000 100000 | 90267 81616 141 | 0.000 % |
804.10/804.43 c | 1093221 | 1000 20000 100000 | 90267 82488 141 | 0.000 % |
804.70/805.07 c | 1094180 | 1000 20000 100000 | 90267 83447 141 | 0.000 % |
805.50/805.81 c | 1095234 | 1000 20000 100000 | 90267 84501 141 | 0.000 % |
806.30/806.68 c | 1096394 | 1000 20000 100000 | 90267 85661 141 | 0.000 % |
807.30/807.60 c | 1097667 | 1000 20000 100000 | 90267 86934 141 | 0.000 % |
808.30/808.67 c | 1099068 | 1000 20000 100000 | 90267 88335 141 | 0.000 % |
809.70/810.03 c | 1100608 | 1000 20000 100000 | 89267 79581 140 | 0.000 % |
810.90/811.23 c | 1102303 | 1000 20000 100000 | 89267 81276 140 | 0.000 % |
812.20/812.59 c | 1104166 | 1000 20000 100000 | 89267 83139 141 | 0.000 % |
813.70/814.06 c | 1106215 | 1000 20000 100000 | 89267 85188 141 | 0.000 % |
815.30/815.62 c | 1108468 | 1000 20000 100000 | 89267 87441 141 | 0.000 % |
817.00/817.39 c | 1110948 | 1000 20000 100000 | 2147483647 89921 141 | 0.000 % |
819.01/819.36 c | 1113674 | 1000 20000 100000 | 2147483647 92647 140 | 0.000 % |
821.31/821.64 c | 1116671 | 1000 20000 100000 | 2147483647 95644 140 | 0.000 % |
823.90/824.22 c | 1119969 | 1000 20000 100000 | 2147483647 98942 141 | 0.000 % |
826.81/827.11 c | 1123594 | 1000 20000 100000 | 98974 90731 140 | 0.000 % |
830.00/830.40 c | 1127581 | 1000 20000 100000 | 98974 94718 140 | 0.000 % |
833.70/834.07 c | 1131967 | 1000 20000 100000 | 97140 85788 140 | 0.000 % |
837.60/837.92 c | 1136790 | 1000 20000 100000 | 97140 90611 140 | 0.000 % |
841.60/841.94 c | 1142096 | 1000 20000 100000 | 93822 83482 140 | 0.000 % |
846.10/846.43 c | 1147932 | 1000 20000 100000 | 93822 89318 140 | 0.000 % |
851.00/851.32 c | 1154351 | 1000 20000 100000 | 91389 84826 139 | 0.000 % |
856.79/857.15 c | 1161410 | 1000 20000 100000 | 90475 81410 138 | 0.000 % |
862.69/863.05 c | 1169174 | 1000 20000 100000 | 90475 89174 139 | 0.000 % |
869.19/869.60 c | 1177718 | 1000 20000 100000 | 90000 87350 140 | 0.000 % |
876.78/877.17 c | 1187112 | 1000 20000 100000 | 89634 87016 142 | 0.000 % |
885.68/886.06 c | 1197445 | 1000 20000 100000 | 89904 87570 142 | 0.000 % |
885.78/886.13 c | 1197547 | 1000 20000 100000 | 89904 87672 142 | 0.000 % |
885.88/886.23 c | 1197657 | 1000 20000 100000 | 89904 87782 142 | 0.000 % |
885.98/886.34 c | 1197778 | 1000 20000 100000 | 89904 87903 142 | 0.000 % |
886.08/886.47 c | 1197911 | 1000 20000 100000 | 89904 88036 142 | 0.000 % |
886.29/886.61 c | 1198057 | 1000 20000 100000 | 89904 88182 142 | 0.000 % |
886.38/886.77 c | 1198217 | 1000 20000 100000 | 89904 88342 142 | 0.000 % |
886.58/886.91 c | 1198393 | 1000 20000 100000 | 89904 88518 142 | 0.000 % |
886.78/887.10 c | 1198587 | 1000 20000 100000 | 89904 88712 142 | 0.000 % |
886.88/887.30 c | 1198801 | 1000 20000 100000 | 89904 88926 142 | 0.000 % |
887.18/887.50 c | 1199034 | 1000 20000 100000 | 89904 89159 142 | 0.000 % |
887.39/887.72 c | 1199290 | 1000 20000 100000 | 89904 89415 142 | 0.000 % |
887.58/887.97 c | 1199571 | 1000 20000 100000 | 89904 89696 142 | 0.000 % |
887.88/888.26 c | 1199880 | 1000 20000 100000 | 89904 90005 142 | 0.000 % |
888.18/888.58 c | 1200219 | 1000 20000 100000 | 79833 80050 142 | 0.000 % |
888.49/888.86 c | 1200592 | 1000 20000 100000 | 79833 71409 142 | 0.000 % |
888.78/889.14 c | 1201002 | 1000 20000 100000 | 79833 71819 142 | 0.000 % |
889.08/889.45 c | 1201451 | 1000 20000 100000 | 79833 72268 142 | 0.000 % |
889.38/889.76 c | 1201944 | 1000 20000 100000 | 79833 72761 142 | 0.000 % |
889.78/890.13 c | 1202486 | 1000 20000 100000 | 79833 73303 142 | 0.000 % |
890.08/890.50 c | 1203082 | 1000 20000 100000 | 79833 73899 142 | 0.000 % |
890.59/890.94 c | 1203738 | 1000 20000 100000 | 79833 74555 142 | 0.000 % |
891.08/891.40 c | 1204458 | 1000 20000 100000 | 79833 75275 142 | 0.000 % |
891.58/891.93 c | 1205252 | 1000 20000 100000 | 79833 76069 142 | 0.000 % |
892.18/892.55 c | 1206123 | 1000 20000 100000 | 79833 76940 142 | 0.000 % |
892.79/893.15 c | 1207082 | 1000 20000 100000 | 79833 77899 141 | 0.000 % |
893.48/893.85 c | 1208135 | 1000 20000 100000 | 79833 78952 141 | 0.000 % |
894.28/894.62 c | 1209296 | 1000 20000 100000 | 79833 80113 141 | 0.000 % |
895.08/895.47 c | 1210571 | 1000 20000 100000 | 2147483647 73377 141 | 0.000 % |
896.08/896.44 c | 1211971 | 1000 20000 100000 | 2147483647 74777 141 | 0.000 % |
897.18/897.51 c | 1213511 | 1000 20000 100000 | 2147483647 76317 141 | 0.000 % |
898.28/898.68 c | 1215205 | 1000 20000 100000 | 2147483647 78011 141 | 0.000 % |
899.68/900.00 c | 1217069 | 1000 20000 100000 | 2147483647 79875 141 | 0.000 % |
901.28/901.63 c | 1219120 | 1000 20000 100000 | 2147483647 81926 141 | 0.000 % |
902.87/903.20 c | 1221376 | 1000 20000 100000 | 2147483647 84182 140 | 0.000 % |
904.67/905.02 c | 1223855 | 1000 20000 100000 | 2147483647 86661 140 | 0.000 % |
906.57/906.97 c | 1226581 | 1000 20000 100000 | 2147483647 89387 140 | 0.000 % |
908.97/909.32 c | 1229581 | 1000 20000 100000 | 2147483647 92387 141 | 0.000 % |
911.58/911.97 c | 1232878 | 1000 20000 100000 | 92807 85417 141 | 0.000 % |
914.17/914.59 c | 1236503 | 1000 20000 100000 | 92807 89042 141 | 0.000 % |
917.37/917.72 c | 1240492 | 1000 20000 100000 | 92539 82350 140 | 0.000 % |
920.47/920.88 c | 1244877 | 1000 20000 100000 | 92539 86735 140 | 0.000 % |
924.37/924.71 c | 1249701 | 1000 20000 100000 | 92539 91559 140 | 0.000 % |
928.37/928.71 c | 1255006 | 1000 20000 100000 | 91858 86804 139 | 0.000 % |
932.97/933.30 c | 1260841 | 1000 20000 100000 | 91798 82659 139 | 0.000 % |
937.97/938.31 c | 1267259 | 1000 20000 100000 | 91798 89077 139 | 0.000 % |
943.66/944.03 c | 1274320 | 1000 20000 100000 | 91820 85463 139 | 0.000 % |
950.36/950.80 c | 1282084 | 1000 20000 100000 | 91145 82182 140 | 0.000 % |
956.96/957.32 c | 1290625 | 1000 20000 100000 | 90098 78842 142 | 0.000 % |
964.36/964.77 c | 1300019 | 1000 20000 100000 | 88219 88236 142 | 0.000 % |
972.06/972.43 c | 1310353 | 1000 20000 100000 | 87804 88156 143 | 0.000 % |
980.76/981.17 c | 1321719 | 1000 20000 100000 | 87572 79437 144 | 0.000 % |
980.86/981.25 c | 1321820 | 1000 20000 100000 | 87572 79538 144 | 0.000 % |
980.96/981.33 c | 1321931 | 1000 20000 100000 | 87572 79649 144 | 0.000 % |
981.06/981.44 c | 1322054 | 1000 20000 100000 | 87572 79772 144 | 0.000 % |
981.16/981.56 c | 1322188 | 1000 20000 100000 | 87572 79906 144 | 0.000 % |
981.26/981.67 c | 1322334 | 1000 20000 100000 | 87572 80052 144 | 0.000 % |
981.36/981.79 c | 1322494 | 1000 20000 100000 | 87572 80212 144 | 0.000 % |
981.56/981.93 c | 1322670 | 1000 20000 100000 | 87572 80388 144 | 0.000 % |
981.66/982.09 c | 1322863 | 1000 20000 100000 | 87572 80581 144 | 0.000 % |
981.86/982.26 c | 1323075 | 1000 20000 100000 | 87572 80793 143 | 0.000 % |
982.06/982.49 c | 1323308 | 1000 20000 100000 | 87572 81026 143 | 0.000 % |
982.26/982.69 c | 1323564 | 1000 20000 100000 | 87572 81282 143 | 0.000 % |
982.46/982.88 c | 1323845 | 1000 20000 100000 | 87572 81563 143 | 0.000 % |
982.76/983.12 c | 1324156 | 1000 20000 100000 | 87572 81874 143 | 0.000 % |
982.96/983.40 c | 1324495 | 1000 20000 100000 | 87572 82213 143 | 0.000 % |
983.36/983.72 c | 1324868 | 1000 20000 100000 | 87572 82586 143 | 0.000 % |
983.66/984.05 c | 1325278 | 1000 20000 100000 | 87572 82996 143 | 0.000 % |
983.96/984.39 c | 1325727 | 1000 20000 100000 | 87572 83445 143 | 0.000 % |
984.36/984.77 c | 1326220 | 1000 20000 100000 | 87572 83938 143 | 0.000 % |
984.86/985.20 c | 1326764 | 1000 20000 100000 | 87572 84482 143 | 0.000 % |
985.26/985.65 c | 1327361 | 1000 20000 100000 | 87572 85079 143 | 0.000 % |
985.76/986.13 c | 1328016 | 1000 20000 100000 | 87572 85734 143 | 0.000 % |
986.36/986.73 c | 1328739 | 1000 20000 100000 | 87572 86457 143 | 0.000 % |
987.06/987.43 c | 1329532 | 1000 20000 100000 | 87572 87250 143 | 0.000 % |
987.76/988.19 c | 1330404 | 1000 20000 100000 | 87718 77808 143 | 0.000 % |
988.56/988.95 c | 1331362 | 1000 20000 100000 | 87718 78766 143 | 0.000 % |
989.26/989.66 c | 1332415 | 1000 20000 100000 | 87718 79819 143 | 0.000 % |
990.16/990.54 c | 1333575 | 1000 20000 100000 | 87718 80979 142 | 0.000 % |
991.16/991.56 c | 1334848 | 1000 20000 100000 | 87718 82252 142 | 0.000 % |
992.26/992.64 c | 1336248 | 1000 20000 100000 | 87718 83652 142 | 0.000 % |
993.36/993.77 c | 1337789 | 1000 20000 100000 | 87718 85193 142 | 0.000 % |
994.75/995.15 c | 1339483 | 1000 20000 100000 | 87718 86887 142 | 0.000 % |
996.16/996.59 c | 1341346 | 1000 20000 100000 | 87404 79476 143 | 0.000 % |
997.55/997.97 c | 1343396 | 1000 20000 100000 | 87404 81526 142 | 0.000 % |
999.15/999.52 c | 1345651 | 1000 20000 100000 | 87404 83781 142 | 0.000 % |
1000.95/1001.32 c | 1348129 | 1000 20000 100000 | 87404 86259 142 | 0.000 % |
1002.95/1003.35 c | 1350854 | 1000 20000 100000 | 2147483647 80214 141 | 0.000 % |
1005.15/1005.51 c | 1353852 | 1000 20000 100000 | 2147483647 83212 141 | 0.000 % |
1007.45/1007.85 c | 1357148 | 1000 20000 100000 | 2147483647 86508 141 | 0.000 % |
1010.25/1010.63 c | 1360774 | 1000 20000 100000 | 2147483647 90134 141 | 0.000 % |
1013.45/1013.85 c | 1364762 | 1000 20000 100000 | 2147483647 94122 141 | 0.000 % |
1016.95/1017.35 c | 1369147 | 1000 20000 100000 | 2147483647 98507 141 | 0.000 % |
1020.74/1021.17 c | 1373970 | 1000 20000 100000 | 99361 91048 141 | 0.000 % |
1024.94/1025.31 c | 1379277 | 1000 20000 100000 | 99361 96355 141 | 0.000 % |
1029.54/1029.95 c | 1385112 | 1000 20000 100000 | 97080 88974 140 | 0.000 % |
1034.74/1035.11 c | 1391531 | 1000 20000 100000 | 93863 83964 140 | 0.000 % |
1040.04/1040.47 c | 1398590 | 1000 20000 100000 | 93863 91023 140 | 0.000 % |
1045.74/1046.15 c | 1406355 | 1000 20000 100000 | 92433 87085 139 | 0.000 % |
1052.34/1052.71 c | 1414895 | 1000 20000 100000 | 90730 84124 141 | 0.000 % |
1059.53/1059.94 c | 1424291 | 1000 20000 100000 | 89229 84011 143 | 0.000 % |
1067.63/1068.01 c | 1434624 | 1000 20000 100000 | 80137 76167 144 | 0.000 % |
1076.53/1076.92 c | 1445990 | 1000 20000 100000 | 2147483647 79481 145 | 0.000 % |
1087.22/1087.64 c | 1458493 | 1000 20000 100000 | 2147483647 91984 145 | 0.000 % |
1087.32/1087.73 c | 1458595 | 1000 20000 100000 | 2147483647 92086 145 | 0.000 % |
1087.42/1087.85 c | 1458706 | 1000 20000 100000 | 2147483647 92197 145 | 0.000 % |
1087.52/1087.97 c | 1458828 | 1000 20000 100000 | 2147483647 92319 145 | 0.000 % |
1087.62/1088.09 c | 1458962 | 1000 20000 100000 | 2147483647 92453 145 | 0.000 % |
1087.82/1088.20 c | 1459108 | 1000 20000 100000 | 2147483647 92599 144 | 0.000 % |
1087.92/1088.35 c | 1459269 | 1000 20000 100000 | 2147483647 92760 144 | 0.000 % |
1088.12/1088.52 c | 1459445 | 1000 20000 100000 | 2147483647 92936 144 | 0.000 % |
1088.32/1088.70 c | 1459638 | 1000 20000 100000 | 2147483647 93129 144 | 0.000 % |
1088.42/1088.87 c | 1459850 | 1000 20000 100000 | 2147483647 93341 144 | 0.000 % |
1088.62/1089.05 c | 1460084 | 1000 20000 100000 | 93492 93575 144 | 0.000 % |
1088.92/1089.34 c | 1460340 | 1000 20000 100000 | 93492 81677 144 | 0.000 % |
1089.12/1089.57 c | 1460621 | 1000 20000 100000 | 93492 81958 144 | 0.000 % |
1089.42/1089.80 c | 1460930 | 1000 20000 100000 | 93492 82267 144 | 0.000 % |
1089.62/1090.08 c | 1461270 | 1000 20000 100000 | 93492 82607 144 | 0.000 % |
1089.92/1090.35 c | 1461644 | 1000 20000 100000 | 93492 82981 144 | 0.000 % |
1090.22/1090.66 c | 1462053 | 1000 20000 100000 | 93492 83390 144 | 0.000 % |
1090.62/1091.04 c | 1462502 | 1000 20000 100000 | 93492 83839 144 | 0.000 % |
1091.02/1091.40 c | 1462997 | 1000 20000 100000 | 93492 84334 143 | 0.000 % |
1091.32/1091.78 c | 1463539 | 1000 20000 100000 | 93492 84876 143 | 0.000 % |
1091.82/1092.28 c | 1464137 | 1000 20000 100000 | 93492 85474 143 | 0.000 % |
1092.42/1092.81 c | 1464793 | 1000 20000 100000 | 93492 86130 143 | 0.000 % |
1092.92/1093.40 c | 1465513 | 1000 20000 100000 | 93492 86850 143 | 0.000 % |
1093.62/1094.03 c | 1466305 | 1000 20000 100000 | 93492 87642 143 | 0.000 % |
1094.32/1094.73 c | 1467177 | 1000 20000 100000 | 93492 88514 143 | 0.000 % |
1095.12/1095.51 c | 1468136 | 1000 20000 100000 | 93492 89473 143 | 0.000 % |
1095.92/1096.32 c | 1469190 | 1000 20000 100000 | 93492 90527 143 | 0.000 % |
1096.82/1097.20 c | 1470348 | 1000 20000 100000 | 91337 91685 143 | 0.000 % |
1097.73/1098.13 c | 1471623 | 1000 20000 100000 | 91337 81255 142 | 0.000 % |
1098.73/1099.12 c | 1473023 | 1000 20000 100000 | 91337 82655 142 | 0.000 % |
1099.93/1100.36 c | 1474564 | 1000 20000 100000 | 91337 84196 142 | 0.000 % |
1101.22/1101.63 c | 1476258 | 1000 20000 100000 | 91337 85890 142 | 0.000 % |
1102.62/1103.06 c | 1478122 | 1000 20000 100000 | 91337 87754 142 | 0.000 % |
1104.22/1104.62 c | 1480172 | 1000 20000 100000 | 89633 89804 142 | 0.000 % |
1105.82/1106.20 c | 1482425 | 1000 20000 100000 | 89633 81492 141 | 0.000 % |
1107.52/1107.91 c | 1484903 | 1000 20000 100000 | 89633 83970 141 | 0.000 % |
1109.62/1110.01 c | 1487628 | 1000 20000 100000 | 89633 86695 141 | 0.000 % |
1111.92/1112.34 c | 1490625 | 1000 20000 100000 | 2147483647 89692 141 | 0.000 % |
1114.42/1114.87 c | 1493921 | 1000 20000 100000 | 2147483647 92988 141 | 0.000 % |
1117.42/1117.88 c | 1497546 | 1000 20000 100000 | 2147483647 96613 141 | 0.000 % |
1120.82/1121.23 c | 1501533 | 1000 20000 100000 | 99067 87532 140 | 0.000 % |
1124.22/1124.63 c | 1505918 | 1000 20000 100000 | 99067 91917 140 | 0.000 % |
1128.02/1128.41 c | 1510741 | 1000 20000 100000 | 96001 84330 139 | 0.000 % |
1132.01/1132.41 c | 1516046 | 1000 20000 100000 | 96001 89635 139 | 0.000 % |
1136.61/1137.10 c | 1521881 | 1000 20000 100000 | 93589 83778 138 | 0.000 % |
1141.42/1141.81 c | 1528300 | 1000 20000 100000 | 93589 90197 138 | 0.000 % |
1146.71/1147.17 c | 1535359 | 1000 20000 100000 | 91897 85132 138 | 0.000 % |
1152.81/1153.27 c | 1543126 | 1000 20000 100000 | 89775 82102 139 | 0.000 % |
1159.71/1160.18 c | 1551668 | 1000 20000 100000 | 88977 80593 141 | 0.000 % |
1167.71/1168.16 c | 1561062 | 1000 20000 100000 | 88929 79547 142 | 0.000 % |
1175.40/1175.85 c | 1571396 | 1000 20000 100000 | 88485 79401 143 | 0.000 % |
1184.20/1184.68 c | 1582762 | 1000 20000 100000 | 88005 80634 143 | 0.000 % |
1193.29/1193.74 c | 1595264 | 1000 20000 100000 | 87872 83209 144 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832453-1242773519/watcher-1832453-1242773519 -o /tmp/evaluation-result-1832453-1242773519/solver-1832453-1242773519 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832453-1242773519.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 14968
/proc/meminfo: memFree=1888824/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0
/proc/14968/stat : 14968 (SatELiteGTI) R 14966 14968 14670 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 305385033 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268213348851 0 0 4100 65536 0 0 0 17 0 0 0
/proc/14968/statm: 1339 237 197 169 0 50 0
[startup+0.0815841 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 14968
/proc/meminfo: memFree=1888824/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356
[startup+0.101587 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 14968
/proc/meminfo: memFree=1888824/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356
[startup+0.301608 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 14968
/proc/meminfo: memFree=1888824/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356
[startup+0.701654 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 14968
/proc/meminfo: memFree=1888824/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356
[startup+1.50174 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14974
/proc/meminfo: memFree=1882728/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
[pid=14974] ppid=14968 vsize=6772 CPUtime=1.42
/proc/14974/stat : 14974 (minisat_static) R 14968 14968 14670 0 -1 4194304 1446 0 0 0 142 0 0 0 25 0 1 0 305385039 6934528 1432 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/14974/statm: 1693 1432 77 171 0 1520 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12128
[startup+3.10192 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14974
/proc/meminfo: memFree=1880552/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
[pid=14974] ppid=14968 vsize=11412 CPUtime=3.02
/proc/14974/stat : 14974 (minisat_static) R 14968 14968 14670 0 -1 4194304 2597 0 0 0 301 1 0 0 25 0 1 0 305385039 11685888 2583 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/14974/statm: 2853 2583 77 171 0 2680 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 16768
[startup+6.30128 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14974
/proc/meminfo: memFree=1873000/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
[pid=14974] ppid=14968 vsize=17824 CPUtime=6.22
/proc/14974/stat : 14974 (minisat_static) R 14968 14968 14670 0 -1 4194304 4194 0 0 0 619 3 0 0 25 0 1 0 305385039 18251776 4180 1992294400 134512640 135215339 4294956240 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 1 0 0
/proc/14974/statm: 4456 4180 77 171 0 4283 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 23180
[startup+12.702 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14974
/proc/meminfo: memFree=1863080/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
[pid=14974] ppid=14968 vsize=26748 CPUtime=12.61
/proc/14974/stat : 14974 (minisat_static) R 14968 14968 14670 0 -1 4194304 6441 0 0 0 1255 6 0 0 25 0 1 0 305385039 27389952 6427 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/14974/statm: 6687 6427 77 171 0 6514 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 32104
[startup+25.5015 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14974
/proc/meminfo: memFree=1849448/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
[pid=14974] ppid=14968 vsize=39804 CPUtime=25.4
/proc/14974/stat : 14974 (minisat_static) R 14968 14968 14670 0 -1 4194304 9688 0 0 0 2531 9 0 0 25 0 1 0 305385039 40759296 9674 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/14974/statm: 9951 9674 77 171 0 9778 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 45160
[startup+51.1014 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14974
/proc/meminfo: memFree=1833704/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
[pid=14974] ppid=14968 vsize=55296 CPUtime=50.99
/proc/14974/stat : 14974 (minisat_static) R 14968 14968 14670 0 -1 4194304 13543 0 0 0 5084 15 0 0 25 0 1 0 305385039 56623104 13529 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/14974/statm: 13824 13529 77 171 0 13651 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 60652
[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14974
/proc/meminfo: memFree=1833640/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
[pid=14974] ppid=14968 vsize=55296 CPUtime=102.16
/proc/14974/stat : 14974 (minisat_static) R 14968 14968 14670 0 -1 4194304 13543 0 0 0 10201 15 0 0 25 0 1 0 305385039 56623104 13529 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14974/statm: 13824 13529 77 171 0 13651 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 60652
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14974
/proc/meminfo: memFree=1833576/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
[pid=14974] ppid=14968 vsize=55296 CPUtime=162.15
/proc/14974/stat : 14974 (minisat_static) R 14968 14968 14670 0 -1 4194304 13543 0 0 0 16199 16 0 0 25 0 1 0 305385039 56623104 13529 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14974/statm: 13824 13529 77 171 0 13651 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 60652
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14974
/proc/meminfo: memFree=1833512/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
[pid=14974] ppid=14968 vsize=55296 CPUtime=222.13
/proc/14974/stat : 14974 (minisat_static) R 14968 14968 14670 0 -1 4194304 13543 0 0 0 22196 17 0 0 25 0 1 0 305385039 56623104 13529 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/14974/statm: 13824 13529 77 171 0 13651 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 60652
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14974
/proc/meminfo: memFree=1829608/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
[pid=14974] ppid=14968 vsize=59124 CPUtime=282.11
/proc/14974/stat : 14974 (minisat_static) R 14968 14968 14670 0 -1 4194304 14489 0 0 0 28193 18 0 0 25 0 1 0 305385039 60542976 14475 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/14974/statm: 14781 14475 77 171 0 14608 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 64480
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14974
/proc/meminfo: memFree=1824680/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
[pid=14974] ppid=14968 vsize=63876 CPUtime=342.09
/proc/14974/stat : 14974 (minisat_static) R 14968 14968 14670 0 -1 4194304 15687 0 0 0 34190 19 0 0 25 0 1 0 305385039 65409024 15673 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/14974/statm: 15969 15673 77 171 0 15796 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 69232
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14974
/proc/meminfo: memFree=1824552/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
[pid=14974] ppid=14968 vsize=63876 CPUtime=402.07
/proc/14974/stat : 14974 (minisat_static) R 14968 14968 14670 0 -1 4194304 15687 0 0 0 40188 19 0 0 25 0 1 0 305385039 65409024 15673 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14974/statm: 15969 15673 77 171 0 15796 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 69232
[startup+462.301 s]
################
# More data... #
################
/proc/14974/statm: 15969 15673 77 171 0 15796 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 69232
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14980
/proc/meminfo: memFree=1824040/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
[pid=14974] ppid=14968 vsize=63876 CPUtime=642.01
/proc/14974/stat : 14974 (minisat_static) R 14968 14968 14670 0 -1 4194304 15687 0 0 0 64179 22 0 0 25 0 1 0 305385039 65409024 15673 1992294400 134512640 135215339 4294956240 18446744073709551615 134532956 0 0 4096 3 0 0 0 17 1 0 0
/proc/14974/statm: 15969 15673 77 171 0 15796 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 69232
[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14980
/proc/meminfo: memFree=1822248/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
[pid=14974] ppid=14968 vsize=65592 CPUtime=701.99
/proc/14974/stat : 14974 (minisat_static) R 14968 14968 14670 0 -1 4194304 16116 0 0 0 70176 23 0 0 25 0 1 0 305385039 67166208 16102 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/14974/statm: 16398 16102 77 171 0 16225 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 70948
[startup+762.305 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14980
/proc/meminfo: memFree=1822184/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
[pid=14974] ppid=14968 vsize=65588 CPUtime=761.97
/proc/14974/stat : 14974 (minisat_static) R 14968 14968 14670 0 -1 4194304 16116 0 0 0 76174 23 0 0 25 0 1 0 305385039 67162112 16102 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14974/statm: 16397 16102 77 171 0 16224 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 70944
[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14980
/proc/meminfo: memFree=1822120/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
[pid=14974] ppid=14968 vsize=65588 CPUtime=821.96
/proc/14974/stat : 14974 (minisat_static) R 14968 14968 14670 0 -1 4194304 16116 0 0 0 82172 24 0 0 25 0 1 0 305385039 67162112 16102 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/14974/statm: 16397 16102 77 171 0 16224 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 70944
[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14980
/proc/meminfo: memFree=1822056/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
[pid=14974] ppid=14968 vsize=65572 CPUtime=881.93
/proc/14974/stat : 14974 (minisat_static) R 14968 14968 14670 0 -1 4194304 16116 0 0 0 88169 24 0 0 25 0 1 0 305385039 67145728 16102 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/14974/statm: 16393 16102 77 171 0 16220 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 70928
[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14980
/proc/meminfo: memFree=1821928/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
[pid=14974] ppid=14968 vsize=65572 CPUtime=941.91
/proc/14974/stat : 14974 (minisat_static) R 14968 14968 14670 0 -1 4194304 16116 0 0 0 94167 24 0 0 25 0 1 0 305385039 67145728 16102 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/14974/statm: 16393 16102 77 171 0 16220 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 70928
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14980
/proc/meminfo: memFree=1821864/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
[pid=14974] ppid=14968 vsize=65572 CPUtime=1001.9
/proc/14974/stat : 14974 (minisat_static) R 14968 14968 14670 0 -1 4194304 16116 0 0 0 100165 25 0 0 25 0 1 0 305385039 67145728 16102 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/14974/statm: 16393 16102 77 171 0 16220 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 70928
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14980
/proc/meminfo: memFree=1821480/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
[pid=14974] ppid=14968 vsize=65836 CPUtime=1061.88
/proc/14974/stat : 14974 (minisat_static) R 14968 14968 14670 0 -1 4194304 16178 0 0 0 106163 25 0 0 25 0 1 0 305385039 67416064 16164 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14974/statm: 16459 16164 77 171 0 16286 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 71192
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14980
/proc/meminfo: memFree=1821480/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
[pid=14974] ppid=14968 vsize=65836 CPUtime=1121.87
/proc/14974/stat : 14974 (minisat_static) R 14968 14968 14670 0 -1 4194304 16218 0 0 0 112161 26 0 0 25 0 1 0 305385039 67416064 16157 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/14974/statm: 16459 16157 77 171 0 16286 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 71192
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14980
/proc/meminfo: memFree=1821416/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
[pid=14974] ppid=14968 vsize=65836 CPUtime=1181.85
/proc/14974/stat : 14974 (minisat_static) R 14968 14968 14670 0 -1 4194304 16218 0 0 0 118159 26 0 0 25 0 1 0 305385039 67416064 16157 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14974/statm: 16459 16157 77 171 0 16286 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 71192
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14980
/proc/meminfo: memFree=1821352/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
[pid=14974] ppid=14968 vsize=65576 CPUtime=1200.04
/proc/14974/stat : 14974 (minisat_static) R 14968 14968 14670 0 -1 4194304 16218 0 0 0 119978 26 0 0 25 0 1 0 305385039 67149824 16118 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/14974/statm: 16394 16118 77 171 0 16221 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 70932
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14980
/proc/meminfo: memFree=1821352/2055920 swapFree=4177444/4192956
[pid=14968] ppid=14966 vsize=5356 CPUtime=0.05
/proc/14968/stat : 14968 (SatELiteGTI) S 14966 14968 14670 0 -1 4194304 336 769 0 0 0 0 5 0 16 0 1 0 305385033 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14968/statm: 1339 239 197 169 0 50 0
[pid=14974] ppid=14968 vsize=65576 CPUtime=1200.04
/proc/14974/stat : 14974 (minisat_static) R 14968 14968 14670 0 -1 4194304 16218 0 0 0 119978 26 0 0 25 0 1 0 305385039 67149824 16118 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/14974/statm: 16394 16118 77 171 0 16221 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 70932
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14968 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=52991
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=6998
# CPU time returned by wait4() is 0.059989
# while last known CPU time is 1200.09
#
# 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.09
CPU user time (s): 1199.83
CPU system time (s): 0.26
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 71192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.052991
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1105
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= 12
involuntary context switches= 7
runsolver used 1.25881 second user time and 3.20751 second system time
The end
Begin job on node32 at 2009-05-20 00:51:59
IDJOB=1832453
IDBENCH=70190
IDSOLVER=671
FILE ID=node32/1832453-1242773519
PBS_JOBID= 9322266
Free space on /tmp= 66256 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/1000/unif-k5-r20-v1000-c20000-S1850138369-006.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832453-1242773519/watcher-1832453-1242773519 -o /tmp/evaluation-result-1832453-1242773519/solver-1832453-1242773519 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832453-1242773519.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ede25cb155c6cf4ca4d7600faec2bb41
RANDOM SEED=1394110086
node32.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.216
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.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1889304 kB
Buffers: 15660 kB
Cached: 110164 kB
SwapCached: 8816 kB
Active: 70404 kB
Inactive: 65720 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1889304 kB
SwapTotal: 4192956 kB
SwapFree: 4177444 kB
Dirty: 2092 kB
Writeback: 0 kB
Mapped: 14192 kB
Slab: 16212 kB
Committed_AS: 1114432 kB
PageTables: 1496 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66256 MiB
End job on node32 at 2009-05-20 01:12:01