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.019996 s
0.00/0.02 c ==============================================================================
0.00/0.05 c This is MiniSat 2.0 beta
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c ============================[ Problem Statistics ]=============================
0.00/0.05 c | |
0.00/0.05 c | Number of variables: 1000 |
0.00/0.05 c | Number of clauses: 20000 |
0.04/0.07 c | Parsing time: 0.01 s |
0.04/0.07 c ============================[ Search Statistics ]==============================
0.04/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.04/0.07 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.04/0.07 c ===============================================================================
0.04/0.07 c | 0 | 1000 20000 100000 | 6666 0 nan | 0.000 % |
0.04/0.08 c | 100 | 1000 20000 100000 | 6666 100 105 | 0.000 % |
0.04/0.09 c | 200 | 1000 20000 100000 | 6666 200 107 | 0.000 % |
0.04/0.10 c | 301 | 1000 20000 100000 | 6666 301 107 | 0.000 % |
0.04/0.12 c | 412 | 1000 20000 100000 | 6666 412 111 | 0.000 % |
0.04/0.13 c | 512 | 1000 20000 100000 | 6666 512 114 | 0.000 % |
0.04/0.14 c | 623 | 1000 20000 100000 | 6666 623 114 | 0.000 % |
0.04/0.15 c | 744 | 1000 20000 100000 | 6666 744 118 | 0.000 % |
0.04/0.16 c | 844 | 1000 20000 100000 | 6666 844 120 | 0.000 % |
0.04/0.18 c | 955 | 1000 20000 100000 | 6666 955 119 | 0.000 % |
0.04/0.19 c | 1077 | 1000 20000 100000 | 6666 1077 118 | 0.000 % |
0.04/0.21 c | 1214 | 1000 20000 100000 | 6666 1214 118 | 0.000 % |
0.04/0.22 c | 1314 | 1000 20000 100000 | 6666 1314 118 | 0.000 % |
0.04/0.23 c | 1430 | 1000 20000 100000 | 6666 1430 117 | 0.000 % |
0.04/0.24 c | 1551 | 1000 20000 100000 | 6666 1551 117 | 0.000 % |
0.04/0.26 c | 1686 | 1000 20000 100000 | 6666 1686 119 | 0.000 % |
0.04/0.27 c | 1832 | 1000 20000 100000 | 6666 1832 118 | 0.000 % |
0.04/0.28 c | 1932 | 1000 20000 100000 | 6666 1932 118 | 0.000 % |
0.04/0.30 c | 2042 | 1000 20000 100000 | 6666 2042 118 | 0.000 % |
0.04/0.31 c | 2163 | 1000 20000 100000 | 6666 2163 118 | 0.000 % |
0.04/0.33 c | 2296 | 1000 20000 100000 | 6666 2296 118 | 0.000 % |
0.04/0.34 c | 2442 | 1000 20000 100000 | 6666 2442 118 | 0.000 % |
0.04/0.36 c | 2602 | 1000 20000 100000 | 6666 2602 118 | 0.000 % |
0.04/0.37 c | 2702 | 1000 20000 100000 | 6666 2702 118 | 0.000 % |
0.04/0.39 c | 2813 | 1000 20000 100000 | 6666 2813 118 | 0.000 % |
0.04/0.40 c | 2934 | 1000 20000 100000 | 6666 2934 118 | 0.000 % |
0.04/0.42 c | 3067 | 1000 20000 100000 | 6666 3067 120 | 0.000 % |
0.04/0.44 c | 3213 | 1000 20000 100000 | 6666 3213 120 | 0.000 % |
0.04/0.46 c | 3375 | 1000 20000 100000 | 6666 3375 120 | 0.000 % |
0.04/0.48 c | 3552 | 1000 20000 100000 | 6666 3552 120 | 0.000 % |
0.04/0.49 c | 3652 | 1000 20000 100000 | 6666 3652 120 | 0.000 % |
0.04/0.50 c | 3762 | 1000 20000 100000 | 6666 3762 120 | 0.000 % |
0.04/0.52 c | 3885 | 1000 20000 100000 | 6666 3885 120 | 0.000 % |
0.04/0.53 c | 4019 | 1000 20000 100000 | 6666 4019 120 | 0.000 % |
0.04/0.55 c | 4165 | 1000 20000 100000 | 6666 4165 120 | 0.000 % |
0.04/0.57 c | 4325 | 1000 20000 100000 | 6666 4325 120 | 0.000 % |
0.04/0.59 c | 4502 | 1000 20000 100000 | 6666 4502 120 | 0.000 % |
0.04/0.62 c | 4695 | 1000 20000 100000 | 6666 4695 119 | 0.000 % |
0.04/0.63 c | 4795 | 1000 20000 100000 | 6666 4795 119 | 0.000 % |
0.04/0.64 c | 4906 | 1000 20000 100000 | 6666 4906 119 | 0.000 % |
0.04/0.66 c | 5027 | 1000 20000 100000 | 6666 5027 119 | 0.000 % |
0.04/0.68 c | 5162 | 1000 20000 100000 | 6666 5162 119 | 0.000 % |
0.04/0.70 c | 5310 | 1000 20000 100000 | 6666 5310 119 | 0.000 % |
0.04/0.72 c | 5471 | 1000 20000 100000 | 6666 5471 120 | 0.000 % |
0.04/0.75 c | 5647 | 1000 20000 100000 | 6666 5647 120 | 0.000 % |
0.04/0.77 c | 5841 | 1000 20000 100000 | 6666 5841 121 | 0.000 % |
0.04/0.80 c | 6053 | 1000 20000 100000 | 6666 6053 121 | 0.000 % |
0.04/0.81 c | 6153 | 1000 20000 100000 | 6666 6153 121 | 0.000 % |
0.04/0.83 c | 6264 | 1000 20000 100000 | 6666 6264 121 | 0.000 % |
0.04/0.84 c | 6387 | 1000 20000 100000 | 6666 6387 120 | 0.000 % |
0.04/0.86 c | 6520 | 1000 20000 100000 | 6666 6520 120 | 0.000 % |
0.04/0.88 c | 6666 | 1000 20000 100000 | 6666 6666 120 | 0.000 % |
0.04/0.91 c | 6826 | 1000 20000 100000 | 6666 6160 120 | 0.000 % |
0.04/0.94 c | 7003 | 1000 20000 100000 | 6666 6337 120 | 0.000 % |
0.04/0.96 c | 7196 | 1000 20000 100000 | 6666 6530 120 | 0.000 % |
0.04/0.99 c | 7408 | 1000 20000 100000 | 6666 6742 121 | 0.000 % |
0.98/1.03 c | 7641 | 1000 20000 100000 | 6666 6301 120 | 0.000 % |
0.98/1.04 c | 7741 | 1000 20000 100000 | 6666 6401 120 | 0.000 % |
0.98/1.06 c | 7854 | 1000 20000 100000 | 6666 6514 121 | 0.000 % |
0.98/1.08 c | 7975 | 1000 20000 100000 | 6666 6635 120 | 0.000 % |
0.98/1.10 c | 8108 | 1000 20000 100000 | 6666 6768 120 | 0.000 % |
1.08/1.12 c | 8257 | 1000 20000 100000 | 6666 6241 120 | 0.000 % |
1.08/1.14 c | 8417 | 1000 20000 100000 | 6666 6401 120 | 0.000 % |
1.08/1.16 c | 8594 | 1000 20000 100000 | 6666 6578 120 | 0.000 % |
1.08/1.19 c | 8787 | 1000 20000 100000 | 6666 6771 121 | 0.000 % |
1.17/1.22 c | 8999 | 1000 20000 100000 | 6666 6306 121 | 0.000 % |
1.17/1.26 c | 9234 | 1000 20000 100000 | 6666 6541 121 | 0.000 % |
1.17/1.29 c | 9490 | 1000 20000 100000 | 6666 6797 122 | 0.000 % |
1.27/1.31 c | 9590 | 1000 20000 100000 | 6666 6218 121 | 0.000 % |
1.27/1.32 c | 9703 | 1000 20000 100000 | 6666 6331 121 | 0.000 % |
1.27/1.34 c | 9824 | 1000 20000 100000 | 6666 6452 121 | 0.000 % |
1.27/1.36 c | 9958 | 1000 20000 100000 | 6666 6586 120 | 0.000 % |
1.27/1.38 c | 10104 | 1000 20000 100000 | 2147483647 6732 120 | 0.000 % |
1.37/1.40 c | 10265 | 1000 20000 100000 | 2147483647 6893 120 | 0.000 % |
1.37/1.43 c | 10442 | 1000 20000 100000 | 2147483647 7070 120 | 0.000 % |
1.37/1.45 c | 10635 | 1000 20000 100000 | 2147483647 7263 121 | 0.000 % |
1.37/1.48 c | 10847 | 1000 20000 100000 | 2147483647 7475 121 | 0.000 % |
1.47/1.52 c | 11080 | 1000 20000 100000 | 2147483647 7708 121 | 0.000 % |
1.47/1.56 c | 11336 | 1000 20000 100000 | 2147483647 7964 121 | 0.000 % |
1.57/1.60 c | 11618 | 1000 20000 100000 | 2147483647 8246 121 | 0.000 % |
1.57/1.62 c | 11719 | 1000 20000 100000 | 2147483647 8347 121 | 0.000 % |
1.57/1.63 c | 11831 | 1000 20000 100000 | 2147483647 8459 121 | 0.000 % |
1.57/1.65 c | 11952 | 1000 20000 100000 | 2147483647 8580 121 | 0.000 % |
1.57/1.67 c | 12086 | 1000 20000 100000 | 2147483647 8714 121 | 0.000 % |
1.57/1.69 c | 12233 | 1000 20000 100000 | 2147483647 8861 121 | 0.000 % |
1.67/1.72 c | 12393 | 1000 20000 100000 | 2147483647 9021 122 | 0.000 % |
1.67/1.75 c | 12569 | 1000 20000 100000 | 2147483647 9197 121 | 0.000 % |
1.67/1.78 c | 12764 | 1000 20000 100000 | 2147483647 9392 122 | 0.000 % |
1.77/1.81 c | 12977 | 1000 20000 100000 | 2147483647 9605 121 | 0.000 % |
1.77/1.84 c | 13212 | 1000 20000 100000 | 2147483647 9840 121 | 0.000 % |
1.77/1.89 c | 13468 | 1000 20000 100000 | 2147483647 10096 121 | 0.000 % |
1.87/1.93 c | 13751 | 1000 20000 100000 | 2147483647 10379 121 | 0.000 % |
1.87/1.98 c | 14060 | 1000 20000 100000 | 2147483647 10688 121 | 0.000 % |
1.97/2.00 c | 14160 | 1000 20000 100000 | 2147483647 10788 121 | 0.000 % |
1.97/2.02 c | 14271 | 1000 20000 100000 | 2147483647 10899 121 | 0.000 % |
1.97/2.04 c | 14396 | 1000 20000 100000 | 2147483647 11024 121 | 0.000 % |
1.97/2.06 c | 14530 | 1000 20000 100000 | 2147483647 11158 121 | 0.000 % |
1.97/2.09 c | 14677 | 1000 20000 100000 | 2147483647 11305 121 | 0.000 % |
2.08/2.12 c | 14837 | 1000 20000 100000 | 2147483647 11465 122 | 0.000 % |
2.08/2.15 c | 15013 | 1000 20000 100000 | 2147483647 11641 122 | 0.000 % |
2.08/2.18 c | 15208 | 1000 20000 100000 | 2147483647 11836 122 | 0.000 % |
2.17/2.21 c | 15420 | 1000 20000 100000 | 2147483647 12048 122 | 0.000 % |
2.17/2.25 c | 15653 | 1000 20000 100000 | 2147483647 12281 122 | 0.000 % |
2.17/2.29 c | 15913 | 1000 20000 100000 | 2147483647 12541 122 | 0.000 % |
2.27/2.34 c | 16195 | 1000 20000 100000 | 2147483647 12823 123 | 0.000 % |
2.27/2.40 c | 16504 | 1000 20000 100000 | 2147483647 13132 123 | 0.000 % |
2.37/2.46 c | 16843 | 1000 20000 100000 | 2147483647 13471 123 | 0.000 % |
2.37/2.48 c | 16943 | 1000 20000 100000 | 2147483647 13571 123 | 0.000 % |
2.47/2.50 c | 17053 | 1000 20000 100000 | 2147483647 13681 123 | 0.000 % |
2.47/2.53 c | 17176 | 1000 20000 100000 | 2147483647 13804 123 | 0.000 % |
2.47/2.55 c | 17309 | 1000 20000 100000 | 2147483647 13937 123 | 0.000 % |
2.47/2.58 c | 17456 | 1000 20000 100000 | 2147483647 14084 123 | 0.000 % |
2.57/2.62 c | 17618 | 1000 20000 100000 | 2147483647 14246 123 | 0.000 % |
2.57/2.65 c | 17794 | 1000 20000 100000 | 2147483647 14422 122 | 0.000 % |
2.57/2.69 c | 17987 | 1000 20000 100000 | 2147483647 14615 123 | 0.000 % |
2.68/2.73 c | 18200 | 1000 20000 100000 | 2147483647 14828 122 | 0.000 % |
2.68/2.77 c | 18434 | 1000 20000 100000 | 2147483647 15062 122 | 0.000 % |
2.78/2.82 c | 18690 | 1000 20000 100000 | 2147483647 15318 122 | 0.000 % |
2.78/2.88 c | 18973 | 1000 20000 100000 | 2147483647 15601 122 | 0.000 % |
2.88/2.94 c | 19284 | 1000 20000 100000 | 2147483647 15912 122 | 0.000 % |
2.98/3.01 c | 19625 | 1000 20000 100000 | 2147483647 16253 122 | 0.000 % |
2.98/3.09 c | 19998 | 1000 20000 100000 | 2147483647 16626 122 | 0.000 % |
3.08/3.11 c | 20099 | 1000 20000 100000 | 2147483647 16727 122 | 0.000 % |
3.08/3.14 c | 20209 | 1000 20000 100000 | 2147483647 16837 122 | 0.000 % |
3.08/3.16 c | 20330 | 1000 20000 100000 | 2147483647 16958 122 | 0.000 % |
3.08/3.19 c | 20464 | 1000 20000 100000 | 2147483647 17092 122 | 0.000 % |
3.18/3.22 c | 20610 | 1000 20000 100000 | 2147483647 17238 122 | 0.000 % |
3.18/3.26 c | 20771 | 1000 20000 100000 | 2147483647 17399 122 | 0.000 % |
3.18/3.30 c | 20947 | 1000 20000 100000 | 2147483647 17575 122 | 0.000 % |
3.28/3.34 c | 21141 | 1000 20000 100000 | 2147483647 17769 122 | 0.000 % |
3.28/3.38 c | 21353 | 1000 20000 100000 | 2147483647 17981 122 | 0.000 % |
3.38/3.43 c | 21586 | 1000 20000 100000 | 2147483647 18214 123 | 0.000 % |
3.38/3.49 c | 21842 | 1000 20000 100000 | 2147483647 18470 123 | 0.000 % |
3.48/3.56 c | 22123 | 1000 20000 100000 | 2147483647 18751 123 | 0.000 % |
3.58/3.62 c | 22434 | 1000 20000 100000 | 2147483647 19062 123 | 0.000 % |
3.68/3.70 c | 22773 | 1000 20000 100000 | 2147483647 19401 123 | 0.000 % |
3.68/3.78 c | 23146 | 1000 20000 100000 | 2147483647 19774 123 | 0.000 % |
3.78/3.87 c | 23555 | 1000 20000 100000 | 2147483647 20183 123 | 0.000 % |
3.78/3.90 c | 23655 | 1000 20000 100000 | 2147483647 20283 123 | 0.000 % |
3.88/3.92 c | 23766 | 1000 20000 100000 | 2147483647 20394 123 | 0.000 % |
3.88/3.95 c | 23888 | 1000 20000 100000 | 2147483647 20516 123 | 0.000 % |
3.88/3.99 c | 24024 | 1000 20000 100000 | 2147483647 20652 123 | 0.000 % |
3.98/4.03 c | 24170 | 1000 20000 100000 | 2147483647 20798 123 | 0.000 % |
3.98/4.07 c | 24331 | 1000 20000 100000 | 2147483647 20959 123 | 0.000 % |
4.08/4.10 c | 24511 | 1000 20000 100000 | 2147483647 21139 123 | 0.000 % |
4.08/4.15 c | 24705 | 1000 20000 100000 | 2147483647 21333 123 | 0.000 % |
4.18/4.20 c | 24917 | 1000 20000 100000 | 2147483647 21545 123 | 0.000 % |
4.18/4.26 c | 25151 | 1000 20000 100000 | 2147483647 21779 123 | 0.000 % |
4.28/4.33 c | 25407 | 1000 20000 100000 | 2147483647 22035 123 | 0.000 % |
4.28/4.40 c | 25688 | 1000 20000 100000 | 2147483647 22316 123 | 0.000 % |
4.38/4.47 c | 25997 | 1000 20000 100000 | 2147483647 22625 123 | 0.000 % |
4.47/4.56 c | 26336 | 1000 20000 100000 | 2147483647 22964 123 | 0.000 % |
4.57/4.65 c | 26709 | 1000 20000 100000 | 2147483647 23337 123 | 0.000 % |
4.67/4.75 c | 27118 | 1000 20000 100000 | 2147483647 23746 123 | 0.000 % |
4.77/4.87 c | 27568 | 1000 20000 100000 | 2147483647 24196 123 | 0.000 % |
4.87/4.91 c | 27668 | 1000 20000 100000 | 2147483647 24296 123 | 0.000 % |
4.87/4.94 c | 27778 | 1000 20000 100000 | 2147483647 24406 123 | 0.000 % |
4.87/4.97 c | 27900 | 1000 20000 100000 | 2147483647 24528 123 | 0.000 % |
4.97/5.01 c | 28034 | 1000 20000 100000 | 2147483647 24662 123 | 0.000 % |
4.97/5.05 c | 28181 | 1000 20000 100000 | 2147483647 24809 123 | 0.000 % |
5.07/5.10 c | 28341 | 1000 20000 100000 | 2147483647 24969 123 | 0.000 % |
5.07/5.15 c | 28518 | 1000 20000 100000 | 2147483647 25146 123 | 0.000 % |
5.17/5.21 c | 28714 | 1000 20000 100000 | 2147483647 25342 123 | 0.000 % |
5.17/5.28 c | 28929 | 1000 20000 100000 | 2147483647 25557 123 | 0.000 % |
5.27/5.34 c | 29165 | 1000 20000 100000 | 2147483647 25793 123 | 0.000 % |
5.38/5.41 c | 29422 | 1000 20000 100000 | 2147483647 26050 123 | 0.000 % |
5.38/5.49 c | 29703 | 1000 20000 100000 | 2147483647 26331 123 | 0.000 % |
5.48/5.57 c | 30014 | 1000 20000 100000 | 2147483647 26642 123 | 0.000 % |
5.57/5.67 c | 30353 | 1000 20000 100000 | 2147483647 26981 123 | 0.000 % |
5.67/5.78 c | 30727 | 1000 20000 100000 | 2147483647 27355 123 | 0.000 % |
5.87/5.90 c | 31137 | 1000 20000 100000 | 2147483647 27765 123 | 0.000 % |
5.97/6.03 c | 31586 | 1000 20000 100000 | 2147483647 28214 123 | 0.000 % |
6.07/6.18 c | 32080 | 1000 20000 100000 | 2147483647 28708 123 | 0.000 % |
6.17/6.21 c | 32181 | 1000 20000 100000 | 2147483647 28809 123 | 0.000 % |
6.17/6.25 c | 32291 | 1000 20000 100000 | 2147483647 28919 123 | 0.000 % |
6.17/6.29 c | 32414 | 1000 20000 100000 | 2147483647 29042 123 | 0.000 % |
6.27/6.33 c | 32548 | 1000 20000 100000 | 2147483647 29176 123 | 0.000 % |
6.27/6.38 c | 32695 | 1000 20000 100000 | 2147483647 29323 123 | 0.000 % |
6.37/6.43 c | 32855 | 1000 20000 100000 | 2147483647 29483 123 | 0.000 % |
6.37/6.49 c | 33031 | 1000 20000 100000 | 2147483647 29659 123 | 0.000 % |
6.48/6.56 c | 33224 | 1000 20000 100000 | 2147483647 29852 123 | 0.000 % |
6.58/6.62 c | 33437 | 1000 20000 100000 | 2147483647 30065 123 | 0.000 % |
6.68/6.70 c | 33670 | 1000 20000 100000 | 2147483647 30298 123 | 0.000 % |
6.68/6.78 c | 33927 | 1000 20000 100000 | 2147483647 30555 123 | 0.000 % |
6.78/6.87 c | 34210 | 1000 20000 100000 | 2147483647 30838 123 | 0.000 % |
6.88/6.97 c | 34519 | 1000 20000 100000 | 2147483647 31147 123 | 0.000 % |
6.97/7.08 c | 34858 | 1000 20000 100000 | 2147483647 31486 123 | 0.000 % |
7.17/7.20 c | 35232 | 1000 20000 100000 | 2147483647 31860 123 | 0.000 % |
7.27/7.34 c | 35641 | 1000 20000 100000 | 2147483647 32269 123 | 0.000 % |
7.37/7.48 c | 36091 | 1000 20000 100000 | 2147483647 32719 123 | 0.000 % |
7.58/7.65 c | 36584 | 1000 20000 100000 | 2147483647 33212 123 | 0.000 % |
7.77/7.82 c | 37127 | 1000 20000 100000 | 2147483647 33755 123 | 0.000 % |
7.77/7.85 c | 37227 | 1000 20000 100000 | 2147483647 33855 123 | 0.000 % |
7.77/7.89 c | 37337 | 1000 20000 100000 | 2147483647 33965 123 | 0.000 % |
7.87/7.94 c | 37458 | 1000 20000 100000 | 2147483647 34086 123 | 0.000 % |
7.87/7.98 c | 37592 | 1000 20000 100000 | 2147483647 34220 123 | 0.000 % |
7.97/8.05 c | 37738 | 1000 20000 100000 | 2147483647 34366 123 | 0.000 % |
8.07/8.11 c | 37901 | 1000 20000 100000 | 2147483647 34529 124 | 0.000 % |
8.07/8.17 c | 38077 | 1000 20000 100000 | 2147483647 34705 123 | 0.000 % |
8.17/8.25 c | 38270 | 1000 20000 100000 | 2147483647 34898 123 | 0.000 % |
8.27/8.32 c | 38482 | 1000 20000 100000 | 2147483647 35110 123 | 0.000 % |
8.37/8.40 c | 38717 | 1000 20000 100000 | 2147483647 35345 124 | 0.000 % |
8.37/8.49 c | 38973 | 1000 20000 100000 | 2147483647 35601 124 | 0.000 % |
8.47/8.58 c | 39254 | 1000 20000 100000 | 2147483647 35882 124 | 0.000 % |
8.57/8.69 c | 39565 | 1000 20000 100000 | 2147483647 36193 124 | 0.000 % |
8.77/8.81 c | 39904 | 1000 20000 100000 | 2147483647 36532 124 | 0.000 % |
8.87/8.94 c | 40278 | 1000 20000 100000 | 2147483647 36906 124 | 0.000 % |
8.97/9.09 c | 40687 | 1000 20000 100000 | 2147483647 37315 124 | 0.000 % |
9.17/9.24 c | 41137 | 1000 20000 100000 | 2147483647 37765 124 | 0.000 % |
9.37/9.42 c | 41631 | 1000 20000 100000 | 2147483647 38259 124 | 0.000 % |
9.57/9.62 c | 42174 | 1000 20000 100000 | 2147483647 38802 124 | 0.000 % |
9.77/9.84 c | 42770 | 1000 20000 100000 | 2147483647 39398 124 | 0.000 % |
9.77/9.87 c | 42872 | 1000 20000 100000 | 2147483647 39500 124 | 0.000 % |
9.88/9.92 c | 42984 | 1000 20000 100000 | 2147483647 39612 124 | 0.000 % |
9.88/9.97 c | 43105 | 1000 20000 100000 | 2147483647 39733 124 | 0.000 % |
9.97/10.02 c | 43239 | 1000 20000 100000 | 2147483647 39867 124 | 0.000 % |
9.97/10.07 c | 43387 | 1000 20000 100000 | 2147483647 40015 124 | 0.000 % |
10.07/10.14 c | 43549 | 1000 20000 100000 | 2147483647 40177 124 | 0.000 % |
10.17/10.22 c | 43725 | 1000 20000 100000 | 2147483647 40353 124 | 0.000 % |
10.17/10.30 c | 43919 | 1000 20000 100000 | 2147483647 40547 124 | 0.000 % |
10.27/10.38 c | 44131 | 1000 20000 100000 | 2147483647 40759 124 | 0.000 % |
10.37/10.47 c | 44364 | 1000 20000 100000 | 2147483647 40992 124 | 0.000 % |
10.47/10.58 c | 44620 | 1000 20000 100000 | 2147483647 41248 124 | 0.000 % |
10.57/10.69 c | 44902 | 1000 20000 100000 | 2147483647 41530 124 | 0.000 % |
10.77/10.81 c | 45213 | 1000 20000 100000 | 2147483647 41841 124 | 0.000 % |
10.87/10.95 c | 45554 | 1000 20000 100000 | 2147483647 42182 124 | 0.000 % |
11.07/11.11 c | 45926 | 1000 20000 100000 | 2147483647 42554 124 | 0.000 % |
11.17/11.29 c | 46335 | 1000 20000 100000 | 2147483647 42963 124 | 0.000 % |
11.37/11.47 c | 46786 | 1000 20000 100000 | 2147483647 43414 124 | 0.000 % |
11.56/11.67 c | 47279 | 1000 20000 100000 | 2147483647 43907 124 | 0.000 % |
11.76/11.90 c | 47822 | 1000 20000 100000 | 2147483647 44450 124 | 0.000 % |
12.07/12.12 c | 48420 | 1000 20000 100000 | 2147483647 45048 124 | 0.000 % |
12.36/12.40 c | 49075 | 1000 20000 100000 | 2147483647 45703 124 | 0.000 % |
12.36/12.46 c | 49178 | 1000 20000 100000 | 2147483647 45806 124 | 0.000 % |
12.46/12.51 c | 49290 | 1000 20000 100000 | 2147483647 45918 124 | 0.000 % |
12.46/12.57 c | 49411 | 1000 20000 100000 | 2147483647 46039 124 | 0.000 % |
12.56/12.63 c | 49545 | 1000 20000 100000 | 2147483647 46173 124 | 0.000 % |
12.66/12.70 c | 49694 | 1000 20000 100000 | 2147483647 46322 124 | 0.000 % |
12.66/12.78 c | 49855 | 1000 20000 100000 | 2147483647 46483 124 | 0.000 % |
12.76/12.86 c | 50032 | 1000 20000 100000 | 2147483647 46660 124 | 0.000 % |
12.86/12.96 c | 50225 | 1000 20000 100000 | 2147483647 46853 124 | 0.000 % |
12.96/13.05 c | 50438 | 1000 20000 100000 | 2147483647 47066 124 | 0.000 % |
13.07/13.16 c | 50671 | 1000 20000 100000 | 2147483647 47299 124 | 0.000 % |
13.17/13.27 c | 50927 | 1000 20000 100000 | 2147483647 47555 124 | 0.000 % |
13.36/13.40 c | 51213 | 1000 20000 100000 | 2147483647 47841 124 | 0.000 % |
13.46/13.54 c | 51523 | 1000 20000 100000 | 2147483647 48151 124 | 0.000 % |
13.66/13.70 c | 51862 | 1000 20000 100000 | 2147483647 48490 124 | 0.000 % |
13.76/13.88 c | 52235 | 1000 20000 100000 | 2147483647 48863 124 | 0.000 % |
13.96/14.06 c | 52644 | 1000 20000 100000 | 2147483647 49272 124 | 0.000 % |
14.16/14.26 c | 53094 | 1000 20000 100000 | 2147483647 49722 124 | 0.000 % |
14.46/14.51 c | 53588 | 1000 20000 100000 | 2147483647 50216 124 | 0.000 % |
14.66/14.76 c | 54130 | 1000 20000 100000 | 2147483647 50758 124 | 0.000 % |
14.96/15.02 c | 54726 | 1000 20000 100000 | 2147483647 51354 124 | 0.000 % |
15.26/15.32 c | 55381 | 1000 20000 100000 | 2147483647 52009 124 | 0.000 % |
15.56/15.63 c | 56101 | 1000 20000 100000 | 2147483647 52729 124 | 0.000 % |
15.56/15.68 c | 56203 | 1000 20000 100000 | 2147483647 52831 124 | 0.000 % |
15.66/15.73 c | 56313 | 1000 20000 100000 | 2147483647 52941 124 | 0.000 % |
15.66/15.79 c | 56434 | 1000 20000 100000 | 2147483647 53062 124 | 0.000 % |
15.76/15.86 c | 56568 | 1000 20000 100000 | 2147483647 53196 124 | 0.000 % |
15.86/15.95 c | 56715 | 1000 20000 100000 | 2147483647 53343 124 | 0.000 % |
15.96/16.04 c | 56875 | 1000 20000 100000 | 2147483647 53503 124 | 0.000 % |
16.06/16.12 c | 57051 | 1000 20000 100000 | 2147483647 53679 124 | 0.000 % |
16.16/16.23 c | 57244 | 1000 20000 100000 | 2147483647 53872 124 | 0.000 % |
16.26/16.34 c | 57458 | 1000 20000 100000 | 2147483647 54086 124 | 0.000 % |
16.36/16.46 c | 57691 | 1000 20000 100000 | 2147483647 54319 124 | 0.000 % |
16.46/16.60 c | 57947 | 1000 20000 100000 | 2147483647 54575 124 | 0.000 % |
16.66/16.73 c | 58228 | 1000 20000 100000 | 2147483647 54856 124 | 0.000 % |
16.76/16.89 c | 58537 | 1000 20000 100000 | 2147483647 55165 124 | 0.000 % |
16.96/17.09 c | 58876 | 1000 20000 100000 | 2147483647 55504 124 | 0.000 % |
17.16/17.27 c | 59250 | 1000 20000 100000 | 2147483647 55878 124 | 0.000 % |
17.36/17.46 c | 59660 | 1000 20000 100000 | 2147483647 56288 124 | 0.000 % |
17.57/17.69 c | 60112 | 1000 20000 100000 | 2147483647 56740 124 | 0.000 % |
17.86/17.95 c | 60605 | 1000 20000 100000 | 2147483647 57233 124 | 0.000 % |
18.16/18.22 c | 61148 | 1000 20000 100000 | 2147483647 57776 124 | 0.000 % |
18.46/18.50 c | 61747 | 1000 20000 100000 | 2147483647 58375 125 | 0.000 % |
18.76/18.81 c | 62402 | 1000 20000 100000 | 2147483647 59030 125 | 0.000 % |
19.06/19.18 c | 63122 | 1000 20000 100000 | 2147483647 59750 125 | 0.000 % |
19.46/19.56 c | 63914 | 1000 20000 100000 | 2147483647 60542 125 | 0.000 % |
19.56/19.61 c | 64014 | 1000 20000 100000 | 2147483647 60642 125 | 0.000 % |
19.66/19.70 c | 64124 | 1000 20000 100000 | 2147483647 60752 125 | 0.000 % |
19.66/19.77 c | 64245 | 1000 20000 100000 | 2147483647 60873 125 | 0.000 % |
19.76/19.85 c | 64379 | 1000 20000 100000 | 2147483647 61007 125 | 0.000 % |
19.86/19.93 c | 64526 | 1000 20000 100000 | 2147483647 61154 125 | 0.000 % |
19.96/20.05 c | 64686 | 1000 20000 100000 | 2147483647 61314 125 | 0.000 % |
20.06/20.15 c | 64862 | 1000 20000 100000 | 2147483647 61490 125 | 0.000 % |
20.16/20.25 c | 65058 | 1000 20000 100000 | 2147483647 61686 125 | 0.000 % |
20.26/20.39 c | 65274 | 1000 20000 100000 | 2147483647 61902 125 | 0.000 % |
20.46/20.51 c | 65507 | 1000 20000 100000 | 2147483647 62135 125 | 0.000 % |
20.56/20.66 c | 65763 | 1000 20000 100000 | 2147483647 62391 125 | 0.000 % |
20.76/20.82 c | 66044 | 1000 20000 100000 | 2147483647 62672 125 | 0.000 % |
20.95/21.00 c | 66353 | 1000 20000 100000 | 2147483647 62981 125 | 0.000 % |
21.15/21.21 c | 66692 | 1000 20000 100000 | 2147483647 63320 125 | 0.000 % |
21.35/21.40 c | 67066 | 1000 20000 100000 | 2147483647 63694 125 | 0.000 % |
21.55/21.65 c | 67477 | 1000 20000 100000 | 2147483647 64105 125 | 0.000 % |
21.87/21.91 c | 67926 | 1000 20000 100000 | 2147483647 64554 125 | 0.000 % |
22.06/22.19 c | 68420 | 1000 20000 100000 | 2147483647 65048 125 | 0.000 % |
22.36/22.48 c | 68964 | 1000 20000 100000 | 2147483647 65592 125 | 0.000 % |
22.66/22.79 c | 69560 | 1000 20000 100000 | 2147483647 66188 125 | 0.000 % |
23.06/23.17 c | 70215 | 1000 20000 100000 | 2147483647 66843 125 | 0.000 % |
23.46/23.58 c | 70935 | 1000 20000 100000 | 2147483647 67563 125 | 0.000 % |
23.96/24.07 c | 71727 | 1000 20000 100000 | 2147483647 68355 125 | 0.000 % |
24.46/24.57 c | 72599 | 1000 20000 100000 | 2147483647 69227 125 | 0.000 % |
24.56/24.65 c | 72699 | 1000 20000 100000 | 2147483647 69327 125 | 0.000 % |
24.65/24.72 c | 72810 | 1000 20000 100000 | 2147483647 69438 125 | 0.000 % |
24.65/24.79 c | 72934 | 1000 20000 100000 | 2147483647 69562 125 | 0.000 % |
24.75/24.88 c | 73069 | 1000 20000 100000 | 2147483647 69697 125 | 0.000 % |
24.85/24.98 c | 73215 | 1000 20000 100000 | 2147483647 69843 125 | 0.000 % |
24.95/25.09 c | 73376 | 1000 20000 100000 | 2147483647 70004 125 | 0.000 % |
25.05/25.19 c | 73552 | 1000 20000 100000 | 2147483647 70180 125 | 0.000 % |
25.26/25.35 c | 73745 | 1000 20000 100000 | 2147483647 70373 125 | 0.000 % |
25.35/25.49 c | 73957 | 1000 20000 100000 | 2147483647 70585 125 | 0.000 % |
25.55/25.65 c | 74191 | 1000 20000 100000 | 2147483647 70819 125 | 0.000 % |
25.75/25.82 c | 74447 | 1000 20000 100000 | 2147483647 71075 125 | 0.000 % |
25.95/26.00 c | 74729 | 1000 20000 100000 | 2147483647 71357 125 | 0.000 % |
26.16/26.21 c | 75038 | 1000 20000 100000 | 2147483647 71666 125 | 0.000 % |
26.36/26.47 c | 75377 | 1000 20000 100000 | 2147483647 72005 125 | 0.000 % |
26.66/26.72 c | 75749 | 1000 20000 100000 | 2147483647 72377 125 | 0.000 % |
26.86/26.98 c | 76159 | 1000 20000 100000 | 2147483647 72787 125 | 0.000 % |
27.16/27.27 c | 76609 | 1000 20000 100000 | 2147483647 73237 125 | 0.000 % |
27.46/27.59 c | 77102 | 1000 20000 100000 | 2147483647 73730 125 | 0.000 % |
27.86/27.96 c | 77645 | 1000 20000 100000 | 2147483647 74273 125 | 0.000 % |
28.26/28.32 c | 78241 | 1000 20000 100000 | 2147483647 74869 125 | 0.000 % |
28.66/28.76 c | 78896 | 1000 20000 100000 | 2147483647 75524 125 | 0.000 % |
29.16/29.23 c | 79617 | 1000 20000 100000 | 2147483647 76245 126 | 0.000 % |
29.66/29.72 c | 80409 | 1000 20000 100000 | 2147483647 77037 126 | 0.000 % |
30.16/30.27 c | 81280 | 1000 20000 100000 | 2147483647 77908 126 | 0.000 % |
30.76/30.87 c | 82240 | 1000 20000 100000 | 2147483647 78868 126 | 0.000 % |
30.86/30.95 c | 82340 | 1000 20000 100000 | 2147483647 78968 126 | 0.000 % |
30.96/31.03 c | 82453 | 1000 20000 100000 | 2147483647 79081 126 | 0.000 % |
31.06/31.13 c | 82575 | 1000 20000 100000 | 2147483647 79203 126 | 0.000 % |
31.16/31.24 c | 82708 | 1000 20000 100000 | 2147483647 79336 126 | 0.000 % |
31.26/31.36 c | 82856 | 1000 20000 100000 | 2147483647 79484 126 | 0.000 % |
31.36/31.48 c | 83017 | 1000 20000 100000 | 2147483647 79645 126 | 0.000 % |
31.56/31.64 c | 83195 | 1000 20000 100000 | 2147483647 79823 126 | 0.000 % |
31.66/31.79 c | 83389 | 1000 20000 100000 | 2147483647 80017 126 | 0.000 % |
31.86/31.94 c | 83601 | 1000 20000 100000 | 2147483647 80229 126 | 0.000 % |
32.06/32.10 c | 83835 | 1000 20000 100000 | 2147483647 80463 126 | 0.000 % |
32.16/32.27 c | 84091 | 1000 20000 100000 | 2147483647 80719 126 | 0.000 % |
32.46/32.51 c | 84372 | 1000 20000 100000 | 2147483647 81000 126 | 0.000 % |
32.65/32.75 c | 84681 | 1000 20000 100000 | 2147483647 81309 126 | 0.000 % |
32.86/32.99 c | 85020 | 1000 20000 100000 | 2147483647 81648 125 | 0.000 % |
33.15/33.26 c | 85392 | 1000 20000 100000 | 2147483647 82020 125 | 0.000 % |
33.45/33.55 c | 85801 | 1000 20000 100000 | 2147483647 82429 125 | 0.000 % |
33.75/33.88 c | 86250 | 1000 20000 100000 | 2147483647 82878 126 | 0.000 % |
34.15/34.24 c | 86743 | 1000 20000 100000 | 2147483647 83371 126 | 0.000 % |
34.56/34.61 c | 87285 | 1000 20000 100000 | 2147483647 83913 126 | 0.000 % |
34.96/35.02 c | 87884 | 1000 20000 100000 | 2147483647 84512 126 | 0.000 % |
35.36/35.46 c | 88539 | 1000 20000 100000 | 2147483647 85167 126 | 0.000 % |
35.95/36.03 c | 89260 | 1000 20000 100000 | 2147483647 85888 126 | 0.000 % |
36.45/36.60 c | 90052 | 1000 20000 100000 | 2147483647 86680 126 | 0.000 % |
37.15/37.27 c | 90923 | 1000 20000 100000 | 2147483647 87551 126 | 0.000 % |
37.86/37.95 c | 91884 | 1000 20000 100000 | 2147483647 88512 126 | 0.000 % |
38.65/38.73 c | 92937 | 1000 20000 100000 | 2147483647 89565 126 | 0.000 % |
38.75/38.80 c | 93037 | 1000 20000 100000 | 2147483647 89665 126 | 0.000 % |
38.85/38.91 c | 93148 | 1000 20000 100000 | 2147483647 89776 126 | 0.000 % |
38.95/39.03 c | 93270 | 1000 20000 100000 | 2147483647 89898 126 | 0.000 % |
39.05/39.14 c | 93407 | 1000 20000 100000 | 2147483647 90035 126 | 0.000 % |
39.15/39.26 c | 93554 | 1000 20000 100000 | 2147483647 90182 126 | 0.000 % |
39.35/39.41 c | 93715 | 1000 20000 100000 | 2147483647 90343 126 | 0.000 % |
39.45/39.57 c | 93894 | 1000 20000 100000 | 2147483647 90522 126 | 0.000 % |
39.65/39.73 c | 94088 | 1000 20000 100000 | 2147483647 90716 126 | 0.000 % |
39.85/39.93 c | 94301 | 1000 20000 100000 | 2147483647 90929 126 | 0.000 % |
40.05/40.12 c | 94534 | 1000 20000 100000 | 2147483647 91162 126 | 0.000 % |
40.25/40.34 c | 94790 | 1000 20000 100000 | 2147483647 91418 126 | 0.000 % |
40.45/40.56 c | 95071 | 1000 20000 100000 | 2147483647 91699 126 | 0.000 % |
40.76/40.82 c | 95381 | 1000 20000 100000 | 2147483647 92009 126 | 0.000 % |
41.06/41.12 c | 95720 | 1000 20000 100000 | 2147483647 92348 126 | 0.000 % |
41.36/41.41 c | 96092 | 1000 20000 100000 | 2147483647 92720 126 | 0.000 % |
41.66/41.77 c | 96501 | 1000 20000 100000 | 2147483647 93129 126 | 0.000 % |
42.06/42.13 c | 96951 | 1000 20000 100000 | 2147483647 93579 126 | 0.000 % |
42.45/42.53 c | 97445 | 1000 20000 100000 | 2147483647 94073 126 | 0.000 % |
42.86/42.99 c | 97987 | 1000 20000 100000 | 2147483647 94615 126 | 0.000 % |
43.35/43.44 c | 98585 | 1000 20000 100000 | 2147483647 95213 126 | 0.000 % |
43.86/44.00 c | 99240 | 1000 20000 100000 | 2147483647 95868 126 | 0.000 % |
44.45/44.53 c | 99961 | 1000 20000 100000 | 2147483647 96589 126 | 0.000 % |
45.15/45.22 c | 100756 | 1000 20000 100000 | 96628 84240 127 | 0.000 % |
45.75/45.81 c | 101629 | 1000 20000 100000 | 96628 85113 127 | 0.000 % |
46.35/46.48 c | 102587 | 1000 20000 100000 | 96628 86071 127 | 0.000 % |
47.25/47.31 c | 103640 | 1000 20000 100000 | 96628 87124 127 | 0.000 % |
48.15/48.20 c | 104798 | 1000 20000 100000 | 96628 88282 127 | 0.000 % |
48.15/48.28 c | 104898 | 1000 20000 100000 | 96628 88382 127 | 0.000 % |
48.25/48.39 c | 105008 | 1000 20000 100000 | 96628 88492 127 | 0.000 % |
48.45/48.53 c | 105129 | 1000 20000 100000 | 96628 88613 127 | 0.000 % |
48.55/48.66 c | 105262 | 1000 20000 100000 | 96628 88746 127 | 0.000 % |
48.65/48.78 c | 105409 | 1000 20000 100000 | 96628 88893 127 | 0.000 % |
48.85/48.91 c | 105570 | 1000 20000 100000 | 96628 89054 127 | 0.000 % |
48.95/49.09 c | 105746 | 1000 20000 100000 | 96628 89230 127 | 0.000 % |
49.15/49.24 c | 105939 | 1000 20000 100000 | 96628 89423 127 | 0.000 % |
49.35/49.43 c | 106151 | 1000 20000 100000 | 96628 89635 127 | 0.000 % |
49.55/49.61 c | 106384 | 1000 20000 100000 | 96628 89868 127 | 0.000 % |
49.75/49.81 c | 106641 | 1000 20000 100000 | 96628 90125 127 | 0.000 % |
49.95/50.06 c | 106923 | 1000 20000 100000 | 96628 90407 127 | 0.000 % |
50.25/50.32 c | 107232 | 1000 20000 100000 | 96628 90716 127 | 0.000 % |
50.45/50.60 c | 107571 | 1000 20000 100000 | 96628 91055 127 | 0.000 % |
50.85/50.93 c | 107944 | 1000 20000 100000 | 96628 91428 127 | 0.000 % |
51.15/51.25 c | 108353 | 1000 20000 100000 | 96628 91837 127 | 0.000 % |
51.45/51.59 c | 108802 | 1000 20000 100000 | 96628 92286 127 | 0.000 % |
51.85/51.98 c | 109295 | 1000 20000 100000 | 96628 92779 127 | 0.000 % |
52.35/52.40 c | 109837 | 1000 20000 100000 | 96628 93321 127 | 0.000 % |
52.85/52.91 c | 110433 | 1000 20000 100000 | 93485 81239 127 | 0.000 % |
53.25/53.34 c | 111090 | 1000 20000 100000 | 93485 81896 127 | 0.000 % |
53.75/53.89 c | 111811 | 1000 20000 100000 | 93485 82617 127 | 0.000 % |
54.35/54.48 c | 112604 | 1000 20000 100000 | 93485 83410 127 | 0.000 % |
54.95/55.06 c | 113477 | 1000 20000 100000 | 93485 84283 127 | 0.000 % |
55.74/55.80 c | 114435 | 1000 20000 100000 | 93485 85241 128 | 0.000 % |
56.44/56.57 c | 115489 | 1000 20000 100000 | 93485 86295 128 | 0.000 % |
57.24/57.37 c | 116647 | 1000 20000 100000 | 93485 87453 128 | 0.000 % |
58.14/58.25 c | 117921 | 1000 20000 100000 | 93485 88727 128 | 0.000 % |
58.24/58.33 c | 118022 | 1000 20000 100000 | 93485 88828 128 | 0.000 % |
58.34/58.44 c | 118132 | 1000 20000 100000 | 93485 88938 128 | 0.000 % |
58.44/58.56 c | 118253 | 1000 20000 100000 | 93485 89059 128 | 0.000 % |
58.54/58.67 c | 118386 | 1000 20000 100000 | 93485 89192 128 | 0.000 % |
58.64/58.79 c | 118532 | 1000 20000 100000 | 93485 89338 128 | 0.000 % |
58.84/58.94 c | 118692 | 1000 20000 100000 | 93485 89498 128 | 0.000 % |
58.94/59.09 c | 118868 | 1000 20000 100000 | 93485 89674 128 | 0.000 % |
59.14/59.25 c | 119063 | 1000 20000 100000 | 93485 89869 128 | 0.000 % |
59.34/59.46 c | 119275 | 1000 20000 100000 | 93485 90081 128 | 0.000 % |
59.54/59.65 c | 119512 | 1000 20000 100000 | 93485 90318 128 | 0.000 % |
59.74/59.88 c | 119768 | 1000 20000 100000 | 93485 90574 128 | 0.000 % |
60.04/60.10 c | 120049 | 1000 20000 100000 | 90809 90855 128 | 0.000 % |
60.34/60.40 c | 120358 | 1000 20000 100000 | 90809 80061 128 | 0.000 % |
60.54/60.64 c | 120697 | 1000 20000 100000 | 90809 80400 128 | 0.000 % |
60.84/60.90 c | 121069 | 1000 20000 100000 | 90809 80772 128 | 0.000 % |
61.14/61.23 c | 121478 | 1000 20000 100000 | 90809 81181 128 | 0.000 % |
61.44/61.58 c | 121928 | 1000 20000 100000 | 90809 81631 128 | 0.000 % |
61.84/61.92 c | 122421 | 1000 20000 100000 | 90809 82124 128 | 0.000 % |
62.24/62.31 c | 122965 | 1000 20000 100000 | 90809 82668 128 | 0.000 % |
62.64/62.74 c | 123561 | 1000 20000 100000 | 90809 83264 128 | 0.000 % |
63.14/63.21 c | 124216 | 1000 20000 100000 | 90809 83919 128 | 0.000 % |
63.64/63.72 c | 124936 | 1000 20000 100000 | 90809 84639 128 | 0.000 % |
64.14/64.28 c | 125729 | 1000 20000 100000 | 90809 85432 128 | 0.000 % |
64.74/64.90 c | 126601 | 1000 20000 100000 | 90809 86304 128 | 0.000 % |
65.44/65.54 c | 127560 | 1000 20000 100000 | 90809 87263 128 | 0.000 % |
66.24/66.36 c | 128614 | 1000 20000 100000 | 90809 88317 128 | 0.000 % |
67.14/67.23 c | 129772 | 1000 20000 100000 | 90809 89475 128 | 0.000 % |
68.04/68.19 c | 131045 | 1000 20000 100000 | 89704 79982 129 | 0.000 % |
69.14/69.20 c | 132446 | 1000 20000 100000 | 89704 81383 129 | 0.000 % |
69.14/69.27 c | 132546 | 1000 20000 100000 | 89704 81483 129 | 0.000 % |
69.24/69.36 c | 132656 | 1000 20000 100000 | 89704 81593 129 | 0.000 % |
69.34/69.47 c | 132777 | 1000 20000 100000 | 89704 81714 129 | 0.000 % |
69.44/69.57 c | 132911 | 1000 20000 100000 | 89704 81848 129 | 0.000 % |
69.54/69.69 c | 133061 | 1000 20000 100000 | 89704 81998 129 | 0.000 % |
69.74/69.84 c | 133222 | 1000 20000 100000 | 89704 82159 129 | 0.000 % |
69.93/70.00 c | 133398 | 1000 20000 100000 | 89704 82335 129 | 0.000 % |
70.03/70.12 c | 133591 | 1000 20000 100000 | 89704 82528 129 | 0.000 % |
70.24/70.30 c | 133804 | 1000 20000 100000 | 89704 82741 129 | 0.000 % |
70.34/70.48 c | 134040 | 1000 20000 100000 | 89704 82977 129 | 0.000 % |
70.63/70.71 c | 134296 | 1000 20000 100000 | 89704 83233 129 | 0.000 % |
70.83/70.92 c | 134577 | 1000 20000 100000 | 89704 83514 129 | 0.000 % |
71.03/71.17 c | 134886 | 1000 20000 100000 | 89704 83823 129 | 0.000 % |
71.34/71.45 c | 135227 | 1000 20000 100000 | 89704 84164 129 | 0.000 % |
71.63/71.73 c | 135599 | 1000 20000 100000 | 89704 84536 129 | 0.000 % |
71.93/72.04 c | 136008 | 1000 20000 100000 | 89704 84945 129 | 0.000 % |
72.33/72.43 c | 136457 | 1000 20000 100000 | 89704 85394 129 | 0.000 % |
72.73/72.81 c | 136950 | 1000 20000 100000 | 89704 85887 129 | 0.000 % |
73.03/73.18 c | 137492 | 1000 20000 100000 | 89704 86429 129 | 0.000 % |
73.54/73.62 c | 138088 | 1000 20000 100000 | 89704 87025 129 | 0.000 % |
74.03/74.11 c | 138744 | 1000 20000 100000 | 89704 87681 129 | 0.000 % |
74.53/74.66 c | 139466 | 1000 20000 100000 | 89704 88403 129 | 0.000 % |
75.13/75.26 c | 140258 | 1000 20000 100000 | 88938 89195 129 | 0.000 % |
75.74/75.88 c | 141131 | 1000 20000 100000 | 88938 79146 129 | 0.000 % |
76.33/76.49 c | 142089 | 1000 20000 100000 | 88938 80104 129 | 0.000 % |
77.13/77.25 c | 143143 | 1000 20000 100000 | 88938 81158 129 | 0.000 % |
77.94/78.01 c | 144301 | 1000 20000 100000 | 88938 82316 129 | 0.000 % |
78.83/78.90 c | 145574 | 1000 20000 100000 | 88938 83589 129 | 0.000 % |
79.83/79.95 c | 146974 | 1000 20000 100000 | 88938 84989 129 | 0.000 % |
80.93/81.03 c | 148514 | 1000 20000 100000 | 88938 86529 129 | 0.000 % |
81.03/81.12 c | 148615 | 1000 20000 100000 | 88938 86630 129 | 0.000 % |
81.13/81.22 c | 148725 | 1000 20000 100000 | 88938 86740 129 | 0.000 % |
81.23/81.32 c | 148846 | 1000 20000 100000 | 88938 86861 129 | 0.000 % |
81.33/81.43 c | 148979 | 1000 20000 100000 | 88938 86994 129 | 0.000 % |
81.43/81.55 c | 149128 | 1000 20000 100000 | 88938 87143 129 | 0.000 % |
81.53/81.68 c | 149290 | 1000 20000 100000 | 88938 87305 129 | 0.000 % |
81.73/81.82 c | 149467 | 1000 20000 100000 | 88938 87482 129 | 0.000 % |
81.83/81.97 c | 149661 | 1000 20000 100000 | 88938 87676 129 | 0.000 % |
82.03/82.14 c | 149873 | 1000 20000 100000 | 88938 87888 129 | 0.000 % |
82.23/82.33 c | 150106 | 1000 20000 100000 | 88015 88121 129 | 0.000 % |
82.43/82.57 c | 150362 | 1000 20000 100000 | 88015 78934 129 | 0.000 % |
82.63/82.77 c | 150644 | 1000 20000 100000 | 88015 79216 129 | 0.000 % |
82.83/82.99 c | 150953 | 1000 20000 100000 | 88015 79525 129 | 0.000 % |
83.13/83.22 c | 151294 | 1000 20000 100000 | 88015 79866 129 | 0.000 % |
83.33/83.47 c | 151666 | 1000 20000 100000 | 88015 80238 129 | 0.000 % |
83.63/83.76 c | 152077 | 1000 20000 100000 | 88015 80649 129 | 0.000 % |
84.03/84.13 c | 152530 | 1000 20000 100000 | 88015 81102 129 | 0.000 % |
84.33/84.50 c | 153026 | 1000 20000 100000 | 88015 81598 129 | 0.000 % |
84.83/84.92 c | 153569 | 1000 20000 100000 | 88015 82141 129 | 0.000 % |
85.23/85.37 c | 154166 | 1000 20000 100000 | 88015 82738 129 | 0.000 % |
85.73/85.85 c | 154824 | 1000 20000 100000 | 88015 83396 129 | 0.000 % |
86.23/86.34 c | 155545 | 1000 20000 100000 | 88015 84117 129 | 0.000 % |
86.83/86.95 c | 156338 | 1000 20000 100000 | 88015 84910 129 | 0.000 % |
87.53/87.60 c | 157211 | 1000 20000 100000 | 88015 85783 129 | 0.000 % |
88.13/88.25 c | 158171 | 1000 20000 100000 | 88015 86743 129 | 0.000 % |
88.93/89.01 c | 159224 | 1000 20000 100000 | 88015 87796 129 | 0.000 % |
89.83/89.98 c | 160384 | 1000 20000 100000 | 79421 71827 130 | 0.000 % |
90.73/90.80 c | 161658 | 1000 20000 100000 | 79421 73101 130 | 0.000 % |
91.53/91.69 c | 163058 | 1000 20000 100000 | 79421 74501 130 | 0.000 % |
92.62/92.75 c | 164599 | 1000 20000 100000 | 79421 76042 130 | 0.000 % |
93.82/93.94 c | 166294 | 1000 20000 100000 | 79421 77737 131 | 0.000 % |
93.92/94.01 c | 166395 | 1000 20000 100000 | 79421 77838 131 | 0.000 % |
93.92/94.09 c | 166505 | 1000 20000 100000 | 79421 77948 130 | 0.000 % |
94.12/94.21 c | 166626 | 1000 20000 100000 | 79421 78069 130 | 0.000 % |
94.22/94.31 c | 166759 | 1000 20000 100000 | 79421 78202 130 | 0.000 % |
94.32/94.42 c | 166905 | 1000 20000 100000 | 79421 78348 130 | 0.000 % |
94.43/94.54 c | 167065 | 1000 20000 100000 | 79421 78508 130 | 0.000 % |
94.53/94.69 c | 167241 | 1000 20000 100000 | 79421 78684 130 | 0.000 % |
94.73/94.84 c | 167435 | 1000 20000 100000 | 79421 78878 130 | 0.000 % |
94.93/95.00 c | 167648 | 1000 20000 100000 | 79421 79091 130 | 0.000 % |
95.03/95.17 c | 167883 | 1000 20000 100000 | 79421 79326 130 | 0.000 % |
95.22/95.34 c | 168141 | 1000 20000 100000 | 79421 79584 130 | 0.000 % |
95.42/95.57 c | 168422 | 1000 20000 100000 | 79421 71907 130 | 0.000 % |
95.63/95.77 c | 168732 | 1000 20000 100000 | 79421 72217 130 | 0.000 % |
95.82/96.00 c | 169073 | 1000 20000 100000 | 79421 72558 130 | 0.000 % |
96.12/96.25 c | 169446 | 1000 20000 100000 | 79421 72931 130 | 0.000 % |
96.42/96.54 c | 169856 | 1000 20000 100000 | 79421 73341 130 | 0.000 % |
96.73/96.85 c | 170305 | 1000 20000 100000 | 2147483647 73790 130 | 0.000 % |
97.02/97.16 c | 170798 | 1000 20000 100000 | 2147483647 74283 130 | 0.000 % |
97.42/97.50 c | 171340 | 1000 20000 100000 | 2147483647 74825 130 | 0.000 % |
97.73/97.88 c | 171936 | 1000 20000 100000 | 2147483647 75421 130 | 0.000 % |
98.22/98.30 c | 172593 | 1000 20000 100000 | 2147483647 76078 130 | 0.000 % |
98.72/98.80 c | 173314 | 1000 20000 100000 | 2147483647 76799 130 | 0.000 % |
99.22/99.30 c | 174106 | 1000 20000 100000 | 2147483647 77591 130 | 0.000 % |
99.82/99.90 c | 174979 | 1000 20000 100000 | 2147483647 78464 130 | 0.000 % |
100.42/100.53 c | 175937 | 1000 20000 100000 | 2147483647 79422 130 | 0.000 % |
101.12/101.26 c | 176991 | 1000 20000 100000 | 2147483647 80476 131 | 0.000 % |
101.91/102.06 c | 178149 | 1000 20000 100000 | 2147483647 81634 131 | 0.000 % |
102.81/102.90 c | 179423 | 1000 20000 100000 | 2147483647 82908 131 | 0.000 % |
103.71/103.87 c | 180823 | 1000 20000 100000 | 2147483647 84308 131 | 0.000 % |
104.81/104.98 c | 182365 | 1000 20000 100000 | 2147483647 85850 131 | 0.000 % |
106.11/106.21 c | 184060 | 1000 20000 100000 | 2147483647 87545 131 | 0.000 % |
107.51/107.65 c | 185923 | 1000 20000 100000 | 2147483647 89408 131 | 0.000 % |
107.62/107.74 c | 186023 | 1000 20000 100000 | 2147483647 89508 131 | 0.000 % |
107.72/107.86 c | 186138 | 1000 20000 100000 | 2147483647 89623 131 | 0.000 % |
107.81/107.96 c | 186260 | 1000 20000 100000 | 2147483647 89745 131 | 0.000 % |
107.91/108.07 c | 186394 | 1000 20000 100000 | 2147483647 89879 131 | 0.000 % |
108.01/108.18 c | 186540 | 1000 20000 100000 | 2147483647 90025 131 | 0.000 % |
108.21/108.34 c | 186701 | 1000 20000 100000 | 2147483647 90186 131 | 0.000 % |
108.31/108.48 c | 186877 | 1000 20000 100000 | 2147483647 90362 131 | 0.000 % |
108.51/108.63 c | 187070 | 1000 20000 100000 | 2147483647 90555 131 | 0.000 % |
108.71/108.84 c | 187285 | 1000 20000 100000 | 2147483647 90770 131 | 0.000 % |
108.91/109.05 c | 187518 | 1000 20000 100000 | 2147483647 91003 131 | 0.000 % |
109.11/109.28 c | 187775 | 1000 20000 100000 | 2147483647 91260 131 | 0.000 % |
109.41/109.50 c | 188060 | 1000 20000 100000 | 2147483647 91545 131 | 0.000 % |
109.61/109.78 c | 188369 | 1000 20000 100000 | 2147483647 91854 131 | 0.000 % |
109.92/110.09 c | 188708 | 1000 20000 100000 | 2147483647 92193 131 | 0.000 % |
110.31/110.41 c | 189080 | 1000 20000 100000 | 2147483647 92565 131 | 0.000 % |
110.61/110.80 c | 189489 | 1000 20000 100000 | 2147483647 92974 131 | 0.000 % |
111.01/111.18 c | 189939 | 1000 20000 100000 | 2147483647 93424 131 | 0.000 % |
111.51/111.61 c | 190433 | 1000 20000 100000 | 93486 82673 131 | 0.000 % |
111.81/111.98 c | 190975 | 1000 20000 100000 | 93486 83215 131 | 0.000 % |
112.31/112.40 c | 191573 | 1000 20000 100000 | 93486 83813 131 | 0.000 % |
112.81/112.90 c | 192228 | 1000 20000 100000 | 93486 84468 131 | 0.000 % |
113.31/113.42 c | 192950 | 1000 20000 100000 | 93486 85190 131 | 0.000 % |
113.81/113.95 c | 193742 | 1000 20000 100000 | 93486 85982 131 | 0.000 % |
114.51/114.60 c | 194613 | 1000 20000 100000 | 93486 86853 131 | 0.000 % |
115.21/115.32 c | 195572 | 1000 20000 100000 | 93486 87812 131 | 0.000 % |
116.01/116.15 c | 196625 | 1000 20000 100000 | 93486 88865 131 | 0.000 % |
116.91/117.04 c | 197784 | 1000 20000 100000 | 93486 90024 131 | 0.000 % |
117.91/118.01 c | 199057 | 1000 20000 100000 | 93486 91297 131 | 0.000 % |
119.01/119.12 c | 200457 | 1000 20000 100000 | 92240 81543 131 | 0.000 % |
120.11/120.21 c | 201998 | 1000 20000 100000 | 92240 83084 131 | 0.000 % |
121.31/121.40 c | 203692 | 1000 20000 100000 | 92240 84778 131 | 0.000 % |
122.51/122.62 c | 205556 | 1000 20000 100000 | 92240 86642 131 | 0.000 % |
124.11/124.28 c | 207605 | 1000 20000 100000 | 92240 88691 132 | 0.000 % |
124.21/124.35 c | 207708 | 1000 20000 100000 | 92240 88794 132 | 0.000 % |
124.31/124.44 c | 207818 | 1000 20000 100000 | 92240 88904 132 | 0.000 % |
124.41/124.55 c | 207940 | 1000 20000 100000 | 92240 89026 132 | 0.000 % |
124.51/124.67 c | 208078 | 1000 20000 100000 | 92240 89164 131 | 0.000 % |
124.71/124.82 c | 208226 | 1000 20000 100000 | 92240 89312 131 | 0.000 % |
124.81/124.97 c | 208386 | 1000 20000 100000 | 92240 89472 131 | 0.000 % |
125.01/125.10 c | 208563 | 1000 20000 100000 | 92240 89649 131 | 0.000 % |
125.21/125.31 c | 208756 | 1000 20000 100000 | 92240 89842 131 | 0.000 % |
125.41/125.50 c | 208968 | 1000 20000 100000 | 92240 90054 131 | 0.000 % |
125.51/125.69 c | 209202 | 1000 20000 100000 | 92240 90288 131 | 0.000 % |
125.80/125.90 c | 209458 | 1000 20000 100000 | 92240 90544 131 | 0.000 % |
126.00/126.14 c | 209741 | 1000 20000 100000 | 92240 90827 131 | 0.000 % |
126.20/126.37 c | 210050 | 1000 20000 100000 | 91089 91136 131 | 0.000 % |
126.60/126.70 c | 210389 | 1000 20000 100000 | 91089 80524 132 | 0.000 % |
126.90/127.00 c | 210761 | 1000 20000 100000 | 91089 80896 132 | 0.000 % |
127.20/127.32 c | 211170 | 1000 20000 100000 | 91089 81305 132 | 0.000 % |
127.51/127.65 c | 211619 | 1000 20000 100000 | 91089 81754 132 | 0.000 % |
127.80/127.99 c | 212112 | 1000 20000 100000 | 91089 82247 132 | 0.000 % |
128.20/128.36 c | 212654 | 1000 20000 100000 | 91089 82789 132 | 0.000 % |
128.61/128.77 c | 213250 | 1000 20000 100000 | 91089 83385 132 | 0.000 % |
129.10/129.24 c | 213906 | 1000 20000 100000 | 91089 84041 132 | 0.000 % |
129.61/129.73 c | 214626 | 1000 20000 100000 | 91089 84761 132 | 0.000 % |
130.11/130.27 c | 215419 | 1000 20000 100000 | 91089 85554 132 | 0.000 % |
130.71/130.87 c | 216291 | 1000 20000 100000 | 91089 86426 132 | 0.000 % |
131.40/131.59 c | 217249 | 1000 20000 100000 | 91089 87384 132 | 0.000 % |
132.20/132.35 c | 218304 | 1000 20000 100000 | 91089 88439 132 | 0.000 % |
133.00/133.15 c | 219462 | 1000 20000 100000 | 91089 89597 132 | 0.000 % |
134.00/134.12 c | 220735 | 1000 20000 100000 | 90135 81304 132 | 0.000 % |
134.90/135.04 c | 222135 | 1000 20000 100000 | 90135 82704 132 | 0.000 % |
136.00/136.14 c | 223675 | 1000 20000 100000 | 90135 84244 133 | 0.000 % |
137.20/137.32 c | 225369 | 1000 20000 100000 | 90135 85938 133 | 0.000 % |
138.40/138.55 c | 227233 | 1000 20000 100000 | 90135 87802 133 | 0.000 % |
139.80/139.92 c | 229283 | 1000 20000 100000 | 90135 89852 133 | 0.000 % |
141.40/141.52 c | 231537 | 1000 20000 100000 | 2147483647 83058 133 | 0.000 % |
141.50/141.62 c | 231637 | 1000 20000 100000 | 2147483647 83158 133 | 0.000 % |
141.60/141.72 c | 231747 | 1000 20000 100000 | 2147483647 83268 133 | 0.000 % |
141.70/141.83 c | 231868 | 1000 20000 100000 | 2147483647 83389 133 | 0.000 % |
141.80/141.93 c | 232003 | 1000 20000 100000 | 2147483647 83524 133 | 0.000 % |
141.90/142.07 c | 232150 | 1000 20000 100000 | 2147483647 83671 133 | 0.000 % |
142.10/142.20 c | 232310 | 1000 20000 100000 | 2147483647 83831 133 | 0.000 % |
142.20/142.34 c | 232486 | 1000 20000 100000 | 2147483647 84007 132 | 0.000 % |
142.30/142.49 c | 232679 | 1000 20000 100000 | 2147483647 84200 132 | 0.000 % |
142.50/142.65 c | 232892 | 1000 20000 100000 | 2147483647 84413 132 | 0.000 % |
142.70/142.86 c | 233125 | 1000 20000 100000 | 2147483647 84646 132 | 0.000 % |
142.90/143.06 c | 233382 | 1000 20000 100000 | 2147483647 84903 132 | 0.000 % |
143.10/143.26 c | 233663 | 1000 20000 100000 | 2147483647 85184 132 | 0.000 % |
143.30/143.47 c | 233974 | 1000 20000 100000 | 2147483647 85495 132 | 0.000 % |
143.60/143.72 c | 234315 | 1000 20000 100000 | 2147483647 85836 132 | 0.000 % |
143.80/143.98 c | 234688 | 1000 20000 100000 | 2147483647 86209 132 | 0.000 % |
144.10/144.27 c | 235098 | 1000 20000 100000 | 2147483647 86619 132 | 0.000 % |
144.50/144.63 c | 235548 | 1000 20000 100000 | 2147483647 87069 132 | 0.000 % |
144.90/145.01 c | 236046 | 1000 20000 100000 | 2147483647 87567 132 | 0.000 % |
145.30/145.45 c | 236589 | 1000 20000 100000 | 2147483647 88110 132 | 0.000 % |
145.79/145.91 c | 237187 | 1000 20000 100000 | 2147483647 88708 132 | 0.000 % |
146.19/146.40 c | 237843 | 1000 20000 100000 | 2147483647 89364 132 | 0.000 % |
146.79/146.92 c | 238563 | 1000 20000 100000 | 2147483647 90084 132 | 0.000 % |
147.39/147.55 c | 239356 | 1000 20000 100000 | 2147483647 90877 132 | 0.000 % |
148.09/148.21 c | 240227 | 1000 20000 100000 | 91522 91748 132 | 0.000 % |
148.69/148.89 c | 241186 | 1000 20000 100000 | 91522 81988 132 | 0.000 % |
149.49/149.67 c | 242239 | 1000 20000 100000 | 91522 83041 132 | 0.000 % |
150.29/150.47 c | 243399 | 1000 20000 100000 | 91522 84201 132 | 0.000 % |
151.19/151.38 c | 244672 | 1000 20000 100000 | 91522 85474 132 | 0.000 % |
152.19/152.36 c | 246073 | 1000 20000 100000 | 91522 86875 132 | 0.000 % |
153.39/153.54 c | 247616 | 1000 20000 100000 | 91522 88418 133 | 0.000 % |
154.69/154.85 c | 249310 | 1000 20000 100000 | 91522 90112 133 | 0.000 % |
155.99/156.18 c | 251173 | 1000 20000 100000 | 90802 81834 133 | 0.000 % |
157.39/157.55 c | 253222 | 1000 20000 100000 | 90802 83883 133 | 0.000 % |
158.88/159.07 c | 255475 | 1000 20000 100000 | 90802 86136 133 | 0.000 % |
160.68/160.89 c | 257953 | 1000 20000 100000 | 90802 88614 133 | 0.000 % |
160.78/160.96 c | 258055 | 1000 20000 100000 | 90802 88716 133 | 0.000 % |
160.88/161.08 c | 258165 | 1000 20000 100000 | 90802 88826 133 | 0.000 % |
160.98/161.19 c | 258287 | 1000 20000 100000 | 90802 88948 133 | 0.000 % |
161.18/161.30 c | 258421 | 1000 20000 100000 | 90802 89082 133 | 0.000 % |
161.28/161.42 c | 258567 | 1000 20000 100000 | 90802 89228 133 | 0.000 % |
161.38/161.58 c | 258729 | 1000 20000 100000 | 90802 89390 133 | 0.000 % |
161.59/161.73 c | 258905 | 1000 20000 100000 | 90802 89566 133 | 0.000 % |
161.68/161.89 c | 259099 | 1000 20000 100000 | 90802 89760 133 | 0.000 % |
161.88/162.09 c | 259311 | 1000 20000 100000 | 90802 89972 133 | 0.000 % |
162.08/162.28 c | 259545 | 1000 20000 100000 | 90802 90206 133 | 0.000 % |
162.38/162.50 c | 259801 | 1000 20000 100000 | 90802 90462 133 | 0.000 % |
162.59/162.72 c | 260082 | 1000 20000 100000 | 90661 90743 133 | 0.000 % |
162.88/163.02 c | 260392 | 1000 20000 100000 | 90661 80978 133 | 0.000 % |
163.08/163.26 c | 260732 | 1000 20000 100000 | 90661 81318 133 | 0.000 % |
163.38/163.51 c | 261106 | 1000 20000 100000 | 90661 81692 133 | 0.000 % |
163.58/163.80 c | 261516 | 1000 20000 100000 | 90661 82102 133 | 0.000 % |
163.98/164.13 c | 261967 | 1000 20000 100000 | 90661 82553 133 | 0.000 % |
164.28/164.49 c | 262460 | 1000 20000 100000 | 90661 83046 133 | 0.000 % |
164.68/164.87 c | 263003 | 1000 20000 100000 | 90661 83589 133 | 0.000 % |
165.18/165.33 c | 263599 | 1000 20000 100000 | 90661 84185 133 | 0.000 % |
165.68/165.84 c | 264254 | 1000 20000 100000 | 90661 84840 133 | 0.000 % |
166.18/166.38 c | 264975 | 1000 20000 100000 | 90661 85561 133 | 0.000 % |
166.78/166.92 c | 265769 | 1000 20000 100000 | 90661 86355 133 | 0.000 % |
167.38/167.53 c | 266640 | 1000 20000 100000 | 90661 87226 133 | 0.000 % |
168.09/168.26 c | 267600 | 1000 20000 100000 | 90661 88186 133 | 0.000 % |
168.88/169.03 c | 268653 | 1000 20000 100000 | 90661 89239 133 | 0.000 % |
169.68/169.83 c | 269811 | 1000 20000 100000 | 90661 90397 133 | 0.000 % |
170.58/170.79 c | 271084 | 1000 20000 100000 | 90586 81893 133 | 0.000 % |
171.68/171.87 c | 272484 | 1000 20000 100000 | 90586 83293 133 | 0.000 % |
172.78/172.98 c | 274024 | 1000 20000 100000 | 90586 84833 133 | 0.000 % |
174.08/174.21 c | 275719 | 1000 20000 100000 | 90586 86528 133 | 0.000 % |
175.48/175.62 c | 277582 | 1000 20000 100000 | 90586 88391 133 | 0.000 % |
176.88/177.10 c | 279633 | 1000 20000 100000 | 90586 90442 133 | 0.000 % |
178.58/178.75 c | 281886 | 1000 20000 100000 | 90810 82066 133 | 0.000 % |
180.38/180.52 c | 284364 | 1000 20000 100000 | 90810 84544 133 | 0.000 % |
182.28/182.40 c | 287089 | 1000 20000 100000 | 90810 87269 133 | 0.000 % |
182.28/182.49 c | 287190 | 1000 20000 100000 | 90810 87370 133 | 0.000 % |
182.38/182.58 c | 287302 | 1000 20000 100000 | 90810 87482 133 | 0.000 % |
182.48/182.67 c | 287424 | 1000 20000 100000 | 90810 87604 133 | 0.000 % |
182.58/182.78 c | 287557 | 1000 20000 100000 | 90810 87737 133 | 0.000 % |
182.78/182.92 c | 287703 | 1000 20000 100000 | 90810 87883 133 | 0.000 % |
182.88/183.05 c | 287863 | 1000 20000 100000 | 90810 88043 133 | 0.000 % |
182.98/183.19 c | 288041 | 1000 20000 100000 | 90810 88221 133 | 0.000 % |
183.18/183.36 c | 288234 | 1000 20000 100000 | 90810 88414 133 | 0.000 % |
183.38/183.52 c | 288447 | 1000 20000 100000 | 90810 88627 133 | 0.000 % |
183.58/183.73 c | 288680 | 1000 20000 100000 | 90810 88860 133 | 0.000 % |
183.78/183.92 c | 288936 | 1000 20000 100000 | 90810 89116 133 | 0.000 % |
183.98/184.15 c | 289217 | 1000 20000 100000 | 90810 89397 133 | 0.000 % |
184.27/184.40 c | 289526 | 1000 20000 100000 | 90810 89706 133 | 0.000 % |
184.58/184.71 c | 289865 | 1000 20000 100000 | 90810 90045 133 | 0.000 % |
184.87/185.00 c | 290238 | 1000 20000 100000 | 90180 90418 133 | 0.000 % |
185.17/185.35 c | 290647 | 1000 20000 100000 | 90180 80377 133 | 0.000 % |
185.47/185.66 c | 291096 | 1000 20000 100000 | 90180 80826 133 | 0.000 % |
185.87/186.02 c | 291589 | 1000 20000 100000 | 90180 81319 133 | 0.000 % |
186.27/186.40 c | 292131 | 1000 20000 100000 | 90180 81861 133 | 0.000 % |
186.67/186.83 c | 292730 | 1000 20000 100000 | 90180 82460 133 | 0.000 % |
187.07/187.28 c | 293391 | 1000 20000 100000 | 90180 83121 133 | 0.000 % |
187.57/187.78 c | 294113 | 1000 20000 100000 | 90180 83843 133 | 0.000 % |
188.17/188.38 c | 294906 | 1000 20000 100000 | 90180 84636 133 | 0.000 % |
188.77/188.99 c | 295777 | 1000 20000 100000 | 90180 85507 133 | 0.000 % |
189.47/189.62 c | 296736 | 1000 20000 100000 | 90180 86466 133 | 0.000 % |
190.17/190.37 c | 297790 | 1000 20000 100000 | 90180 87520 133 | 0.000 % |
190.97/191.17 c | 298948 | 1000 20000 100000 | 90180 88678 133 | 0.000 % |
191.96/192.11 c | 300221 | 1000 20000 100000 | 89730 89951 134 | 0.000 % |
192.86/193.09 c | 301621 | 1000 20000 100000 | 89730 81642 133 | 0.000 % |
193.96/194.12 c | 303161 | 1000 20000 100000 | 89730 83182 133 | 0.000 % |
195.06/195.29 c | 304855 | 1000 20000 100000 | 89730 84876 133 | 0.000 % |
196.46/196.62 c | 306719 | 1000 20000 100000 | 89730 86740 133 | 0.000 % |
197.87/198.04 c | 308768 | 1000 20000 100000 | 89730 88789 134 | 0.000 % |
199.47/199.61 c | 311024 | 1000 20000 100000 | 2147483647 91045 134 | 0.000 % |
201.37/201.55 c | 313502 | 1000 20000 100000 | 2147483647 93523 134 | 0.000 % |
203.46/203.62 c | 316227 | 1000 20000 100000 | 2147483647 96248 134 | 0.000 % |
205.76/205.97 c | 319225 | 1000 20000 100000 | 2147483647 99246 134 | 0.000 % |
205.86/206.06 c | 319325 | 1000 20000 100000 | 2147483647 99346 134 | 0.000 % |
205.96/206.14 c | 319435 | 1000 20000 100000 | 2147483647 99456 134 | 0.000 % |
206.06/206.26 c | 319557 | 1000 20000 100000 | 2147483647 99578 134 | 0.000 % |
206.26/206.41 c | 319690 | 1000 20000 100000 | 2147483647 99711 134 | 0.000 % |
206.36/206.55 c | 319836 | 1000 20000 100000 | 2147483647 99857 134 | 0.000 % |
206.57/206.71 c | 319998 | 1000 20000 100000 | 2147483647 100019 134 | 0.000 % |
206.66/206.87 c | 320174 | 1000 20000 100000 | 100021 100195 134 | 0.000 % |
206.96/207.16 c | 320367 | 1000 20000 100000 | 100021 86861 134 | 0.000 % |
207.16/207.35 c | 320582 | 1000 20000 100000 | 100021 87076 134 | 0.000 % |
207.36/207.58 c | 320816 | 1000 20000 100000 | 100021 87310 134 | 0.000 % |
207.56/207.79 c | 321074 | 1000 20000 100000 | 100021 87568 134 | 0.000 % |
207.86/208.04 c | 321355 | 1000 20000 100000 | 100021 87849 134 | 0.000 % |
208.16/208.30 c | 321664 | 1000 20000 100000 | 100021 88158 134 | 0.000 % |
208.36/208.57 c | 322005 | 1000 20000 100000 | 100021 88499 134 | 0.000 % |
208.66/208.89 c | 322379 | 1000 20000 100000 | 100021 88873 134 | 0.000 % |
209.06/209.23 c | 322788 | 1000 20000 100000 | 100021 89282 134 | 0.000 % |
209.46/209.62 c | 323237 | 1000 20000 100000 | 100021 89731 134 | 0.000 % |
209.76/209.99 c | 323731 | 1000 20000 100000 | 100021 90225 134 | 0.000 % |
210.26/210.43 c | 324274 | 1000 20000 100000 | 100021 90768 134 | 0.000 % |
210.76/210.92 c | 324874 | 1000 20000 100000 | 100021 91368 134 | 0.000 % |
211.26/211.47 c | 325530 | 1000 20000 100000 | 100021 92024 134 | 0.000 % |
211.86/212.08 c | 326252 | 1000 20000 100000 | 100021 92746 134 | 0.000 % |
212.55/212.72 c | 327045 | 1000 20000 100000 | 100021 93539 134 | 0.000 % |
213.26/213.45 c | 327917 | 1000 20000 100000 | 100021 94411 134 | 0.000 % |
214.05/214.26 c | 328876 | 1000 20000 100000 | 100021 95370 134 | 0.000 % |
214.85/215.06 c | 329930 | 1000 20000 100000 | 100021 96424 134 | 0.000 % |
215.85/216.00 c | 331090 | 1000 20000 100000 | 96495 83579 134 | 0.000 % |
216.75/216.93 c | 332365 | 1000 20000 100000 | 96495 84854 134 | 0.000 % |
217.66/217.88 c | 333766 | 1000 20000 100000 | 96495 86255 134 | 0.000 % |
218.76/218.98 c | 335307 | 1000 20000 100000 | 96495 87796 134 | 0.000 % |
220.05/220.21 c | 337001 | 1000 20000 100000 | 96495 89490 134 | 0.000 % |
221.35/221.59 c | 338864 | 1000 20000 100000 | 96495 91353 134 | 0.000 % |
222.95/223.11 c | 340914 | 1000 20000 100000 | 92489 81618 134 | 0.000 % |
224.35/224.57 c | 343168 | 1000 20000 100000 | 92489 83872 134 | 0.000 % |
226.05/226.28 c | 345648 | 1000 20000 100000 | 92489 86352 134 | 0.000 % |
228.05/228.27 c | 348373 | 1000 20000 100000 | 92489 89077 134 | 0.000 % |
230.25/230.48 c | 351370 | 1000 20000 100000 | 90704 82609 135 | 0.000 % |
232.64/232.83 c | 354666 | 1000 20000 100000 | 90704 85905 135 | 0.000 % |
232.74/232.90 c | 354766 | 1000 20000 100000 | 90704 86005 135 | 0.000 % |
232.74/232.98 c | 354876 | 1000 20000 100000 | 90704 86115 135 | 0.000 % |
232.84/233.08 c | 354997 | 1000 20000 100000 | 90704 86236 135 | 0.000 % |
232.95/233.20 c | 355130 | 1000 20000 100000 | 90704 86369 135 | 0.000 % |
233.14/233.32 c | 355276 | 1000 20000 100000 | 90704 86515 135 | 0.000 % |
233.24/233.46 c | 355436 | 1000 20000 100000 | 90704 86675 135 | 0.000 % |
233.44/233.60 c | 355612 | 1000 20000 100000 | 90704 86851 135 | 0.000 % |
233.54/233.76 c | 355805 | 1000 20000 100000 | 90704 87044 135 | 0.000 % |
233.74/233.94 c | 356017 | 1000 20000 100000 | 90704 87256 135 | 0.000 % |
233.94/234.15 c | 356250 | 1000 20000 100000 | 90704 87489 135 | 0.000 % |
234.15/234.37 c | 356507 | 1000 20000 100000 | 90704 87746 135 | 0.000 % |
234.44/234.60 c | 356789 | 1000 20000 100000 | 90704 88028 135 | 0.000 % |
234.64/234.84 c | 357098 | 1000 20000 100000 | 90704 88337 135 | 0.000 % |
234.94/235.12 c | 357437 | 1000 20000 100000 | 90704 88676 135 | 0.000 % |
235.25/235.43 c | 357810 | 1000 20000 100000 | 90704 89049 135 | 0.000 % |
235.54/235.74 c | 358219 | 1000 20000 100000 | 90704 89458 135 | 0.000 % |
235.84/236.10 c | 358668 | 1000 20000 100000 | 90704 89907 135 | 0.000 % |
236.24/236.47 c | 359163 | 1000 20000 100000 | 90704 90402 135 | 0.000 % |
236.64/236.86 c | 359705 | 1000 20000 100000 | 90704 90944 135 | 0.000 % |
237.13/237.38 c | 360301 | 1000 20000 100000 | 81389 81689 135 | 0.000 % |
237.63/237.83 c | 360956 | 1000 20000 100000 | 81389 73645 135 | 0.000 % |
238.03/238.28 c | 361677 | 1000 20000 100000 | 81389 74366 135 | 0.000 % |
238.54/238.77 c | 362469 | 1000 20000 100000 | 81389 75158 135 | 0.000 % |
239.13/239.35 c | 363342 | 1000 20000 100000 | 81389 76031 135 | 0.000 % |
239.73/239.95 c | 364302 | 1000 20000 100000 | 81389 76991 135 | 0.000 % |
240.43/240.62 c | 365358 | 1000 20000 100000 | 81389 78047 135 | 0.000 % |
241.13/241.36 c | 366516 | 1000 20000 100000 | 81389 79205 135 | 0.000 % |
242.03/242.29 c | 367792 | 1000 20000 100000 | 81389 80481 135 | 0.000 % |
243.03/243.28 c | 369192 | 1000 20000 100000 | 81389 73707 135 | 0.000 % |
244.03/244.21 c | 370733 | 1000 20000 100000 | 2147483647 75248 135 | 0.000 % |
245.13/245.34 c | 372428 | 1000 20000 100000 | 2147483647 76943 135 | 0.000 % |
246.33/246.56 c | 374292 | 1000 20000 100000 | 2147483647 78807 135 | 0.000 % |
247.63/247.90 c | 376341 | 1000 20000 100000 | 2147483647 80856 135 | 0.000 % |
249.23/249.49 c | 378595 | 1000 20000 100000 | 2147483647 83110 135 | 0.000 % |
251.03/251.27 c | 381073 | 1000 20000 100000 | 2147483647 85588 136 | 0.000 % |
253.02/253.20 c | 383798 | 1000 20000 100000 | 2147483647 88313 136 | 0.000 % |
255.22/255.41 c | 386795 | 1000 20000 100000 | 2147483647 91310 136 | 0.000 % |
257.72/257.91 c | 390093 | 1000 20000 100000 | 94516 94608 136 | 0.000 % |
260.32/260.59 c | 393718 | 1000 20000 100000 | 94516 87738 136 | 0.000 % |
260.43/260.65 c | 393818 | 1000 20000 100000 | 94516 87838 136 | 0.000 % |
260.53/260.74 c | 393929 | 1000 20000 100000 | 94516 87949 136 | 0.000 % |
260.62/260.84 c | 394051 | 1000 20000 100000 | 94516 88071 136 | 0.000 % |
260.72/260.96 c | 394184 | 1000 20000 100000 | 94516 88204 136 | 0.000 % |
260.82/261.08 c | 394330 | 1000 20000 100000 | 94516 88350 136 | 0.000 % |
261.02/261.21 c | 394494 | 1000 20000 100000 | 94516 88514 136 | 0.000 % |
261.12/261.34 c | 394670 | 1000 20000 100000 | 94516 88690 136 | 0.000 % |
261.22/261.48 c | 394863 | 1000 20000 100000 | 94516 88883 136 | 0.000 % |
261.42/261.64 c | 395075 | 1000 20000 100000 | 94516 89095 136 | 0.000 % |
261.62/261.86 c | 395308 | 1000 20000 100000 | 94516 89328 136 | 0.000 % |
261.82/262.07 c | 395564 | 1000 20000 100000 | 94516 89584 135 | 0.000 % |
262.12/262.33 c | 395845 | 1000 20000 100000 | 94516 89865 135 | 0.000 % |
262.32/262.59 c | 396154 | 1000 20000 100000 | 94516 90174 135 | 0.000 % |
262.62/262.84 c | 396493 | 1000 20000 100000 | 94516 90513 135 | 0.000 % |
262.92/263.13 c | 396866 | 1000 20000 100000 | 94516 90886 135 | 0.000 % |
263.22/263.44 c | 397275 | 1000 20000 100000 | 94516 91295 135 | 0.000 % |
263.52/263.76 c | 397725 | 1000 20000 100000 | 94516 91745 135 | 0.000 % |
263.92/264.12 c | 398220 | 1000 20000 100000 | 94516 92240 135 | 0.000 % |
264.32/264.52 c | 398762 | 1000 20000 100000 | 94516 92782 135 | 0.000 % |
264.72/264.97 c | 399360 | 1000 20000 100000 | 94516 93380 135 | 0.000 % |
265.22/265.49 c | 400016 | 1000 20000 100000 | 94020 94036 135 | 0.000 % |
265.82/266.08 c | 400738 | 1000 20000 100000 | 94020 82856 135 | 0.000 % |
266.42/266.66 c | 401532 | 1000 20000 100000 | 94020 83650 135 | 0.000 % |
267.02/267.30 c | 402404 | 1000 20000 100000 | 94020 84522 135 | 0.000 % |
267.82/268.03 c | 403362 | 1000 20000 100000 | 94020 85480 135 | 0.000 % |
268.62/268.81 c | 404415 | 1000 20000 100000 | 94020 86533 135 | 0.000 % |
269.42/269.67 c | 405573 | 1000 20000 100000 | 94020 87691 135 | 0.000 % |
270.42/270.65 c | 406846 | 1000 20000 100000 | 94020 88964 135 | 0.000 % |
271.52/271.74 c | 408246 | 1000 20000 100000 | 94020 90364 135 | 0.000 % |
272.71/272.95 c | 409786 | 1000 20000 100000 | 94020 91904 135 | 0.000 % |
274.01/274.27 c | 411480 | 1000 20000 100000 | 92120 82186 135 | 0.000 % |
275.41/275.64 c | 413345 | 1000 20000 100000 | 92120 84051 135 | 0.000 % |
276.92/277.15 c | 415394 | 1000 20000 100000 | 92120 86100 135 | 0.000 % |
278.51/278.71 c | 417648 | 1000 20000 100000 | 92120 88354 135 | 0.000 % |
280.21/280.42 c | 420127 | 1000 20000 100000 | 90707 90833 135 | 0.000 % |
282.10/282.34 c | 422853 | 1000 20000 100000 | 90707 83436 135 | 0.000 % |
284.20/284.44 c | 425851 | 1000 20000 100000 | 90707 86434 135 | 0.000 % |
286.50/286.78 c | 429147 | 1000 20000 100000 | 90707 89730 135 | 0.000 % |
289.20/289.45 c | 432772 | 1000 20000 100000 | 90584 83609 135 | 0.000 % |
292.00/292.28 c | 436759 | 1000 20000 100000 | 90584 87596 135 | 0.000 % |
292.10/292.35 c | 436859 | 1000 20000 100000 | 90584 87696 135 | 0.000 % |
292.20/292.43 c | 436970 | 1000 20000 100000 | 90584 87807 135 | 0.000 % |
292.30/292.54 c | 437091 | 1000 20000 100000 | 90584 87928 135 | 0.000 % |
292.40/292.68 c | 437224 | 1000 20000 100000 | 90584 88061 135 | 0.000 % |
292.60/292.81 c | 437371 | 1000 20000 100000 | 90584 88208 135 | 0.000 % |
292.70/292.96 c | 437532 | 1000 20000 100000 | 90584 88369 135 | 0.000 % |
292.90/293.12 c | 437710 | 1000 20000 100000 | 90584 88547 135 | 0.000 % |
293.00/293.29 c | 437905 | 1000 20000 100000 | 90584 88742 135 | 0.000 % |
293.20/293.47 c | 438118 | 1000 20000 100000 | 90584 88955 135 | 0.000 % |
293.40/293.65 c | 438352 | 1000 20000 100000 | 90584 89189 135 | 0.000 % |
293.60/293.87 c | 438608 | 1000 20000 100000 | 90584 89445 135 | 0.000 % |
293.80/294.09 c | 438892 | 1000 20000 100000 | 90584 89729 135 | 0.000 % |
294.10/294.34 c | 439201 | 1000 20000 100000 | 90584 90038 135 | 0.000 % |
294.30/294.59 c | 439540 | 1000 20000 100000 | 90584 90377 135 | 0.000 % |
294.70/294.94 c | 439912 | 1000 20000 100000 | 90584 90749 135 | 0.000 % |
295.00/295.27 c | 440321 | 1000 20000 100000 | 81171 81491 134 | 0.000 % |
295.40/295.62 c | 440771 | 1000 20000 100000 | 81171 73316 135 | 0.000 % |
295.70/295.93 c | 441264 | 1000 20000 100000 | 81171 73809 135 | 0.000 % |
296.10/296.30 c | 441806 | 1000 20000 100000 | 81171 74351 135 | 0.000 % |
296.39/296.68 c | 442404 | 1000 20000 100000 | 81171 74949 135 | 0.000 % |
296.80/297.09 c | 443061 | 1000 20000 100000 | 81171 75606 134 | 0.000 % |
297.39/297.61 c | 443783 | 1000 20000 100000 | 81171 76328 134 | 0.000 % |
297.90/298.15 c | 444575 | 1000 20000 100000 | 81171 77120 134 | 0.000 % |
298.49/298.79 c | 445449 | 1000 20000 100000 | 81171 77994 134 | 0.000 % |
299.19/299.44 c | 446407 | 1000 20000 100000 | 81171 78952 134 | 0.000 % |
299.89/300.19 c | 447461 | 1000 20000 100000 | 81171 80006 134 | 0.000 % |
300.69/300.99 c | 448621 | 1000 20000 100000 | 81171 81166 134 | 0.000 % |
301.59/301.86 c | 449894 | 1000 20000 100000 | 81171 74290 134 | 0.000 % |
302.49/302.72 c | 451295 | 1000 20000 100000 | 2147483647 75691 135 | 0.000 % |
303.40/303.68 c | 452836 | 1000 20000 100000 | 2147483647 77232 135 | 0.000 % |
304.50/304.77 c | 454534 | 1000 20000 100000 | 2147483647 78930 135 | 0.000 % |
305.79/306.05 c | 456397 | 1000 20000 100000 | 2147483647 80793 135 | 0.000 % |
307.19/307.46 c | 458446 | 1000 20000 100000 | 2147483647 82842 135 | 0.000 % |
308.79/309.02 c | 460700 | 1000 20000 100000 | 2147483647 85096 135 | 0.000 % |
310.49/310.79 c | 463178 | 1000 20000 100000 | 2147483647 87574 135 | 0.000 % |
312.49/312.78 c | 465905 | 1000 20000 100000 | 2147483647 90301 135 | 0.000 % |
314.89/315.18 c | 468904 | 1000 20000 100000 | 2147483647 93300 135 | 0.000 % |
317.39/317.67 c | 472201 | 1000 20000 100000 | 94399 85728 135 | 0.000 % |
319.99/320.25 c | 475827 | 1000 20000 100000 | 94399 89354 135 | 0.000 % |
322.89/323.15 c | 479815 | 1000 20000 100000 | 94399 93342 135 | 0.000 % |
326.08/326.30 c | 484201 | 1000 20000 100000 | 93527 87258 135 | 0.000 % |
326.08/326.37 c | 484303 | 1000 20000 100000 | 93527 87360 135 | 0.000 % |
326.18/326.47 c | 484413 | 1000 20000 100000 | 93527 87470 135 | 0.000 % |
326.28/326.57 c | 484534 | 1000 20000 100000 | 93527 87591 135 | 0.000 % |
326.38/326.70 c | 484669 | 1000 20000 100000 | 93527 87726 135 | 0.000 % |
326.58/326.83 c | 484815 | 1000 20000 100000 | 93527 87872 135 | 0.000 % |
326.68/326.96 c | 484976 | 1000 20000 100000 | 93527 88033 135 | 0.000 % |
326.78/327.09 c | 485152 | 1000 20000 100000 | 93527 88209 135 | 0.000 % |
326.98/327.26 c | 485345 | 1000 20000 100000 | 93527 88402 135 | 0.000 % |
327.18/327.44 c | 485561 | 1000 20000 100000 | 93527 88618 135 | 0.000 % |
327.38/327.66 c | 485796 | 1000 20000 100000 | 93527 88853 135 | 0.000 % |
327.58/327.89 c | 486052 | 1000 20000 100000 | 93527 89109 135 | 0.000 % |
327.88/328.11 c | 486333 | 1000 20000 100000 | 93527 89390 135 | 0.000 % |
328.08/328.37 c | 486642 | 1000 20000 100000 | 93527 89699 135 | 0.000 % |
328.38/328.65 c | 486983 | 1000 20000 100000 | 93527 90040 135 | 0.000 % |
328.68/328.94 c | 487356 | 1000 20000 100000 | 93527 90413 135 | 0.000 % |
328.98/329.26 c | 487765 | 1000 20000 100000 | 93527 90822 135 | 0.000 % |
329.38/329.60 c | 488214 | 1000 20000 100000 | 93527 91271 135 | 0.000 % |
329.68/329.98 c | 488708 | 1000 20000 100000 | 93527 91765 135 | 0.000 % |
330.17/330.42 c | 489250 | 1000 20000 100000 | 93527 92307 135 | 0.000 % |
330.67/330.90 c | 489846 | 1000 20000 100000 | 93527 92903 135 | 0.000 % |
331.17/331.47 c | 490501 | 1000 20000 100000 | 93058 82395 135 | 0.000 % |
331.77/332.01 c | 491221 | 1000 20000 100000 | 93058 83115 135 | 0.000 % |
332.27/332.55 c | 492013 | 1000 20000 100000 | 93058 83907 135 | 0.000 % |
332.87/333.17 c | 492885 | 1000 20000 100000 | 93058 84779 135 | 0.000 % |
333.57/333.84 c | 493845 | 1000 20000 100000 | 93058 85739 134 | 0.000 % |
334.27/334.57 c | 494898 | 1000 20000 100000 | 93058 86792 134 | 0.000 % |
335.18/335.41 c | 496058 | 1000 20000 100000 | 93058 87952 134 | 0.000 % |
336.07/336.35 c | 497333 | 1000 20000 100000 | 93058 89227 134 | 0.000 % |
337.17/337.41 c | 498734 | 1000 20000 100000 | 93058 90628 134 | 0.000 % |
338.27/338.56 c | 500281 | 1000 20000 100000 | 91895 92175 134 | 0.000 % |
339.48/339.77 c | 501975 | 1000 20000 100000 | 91895 83340 135 | 0.000 % |
340.78/341.06 c | 503840 | 1000 20000 100000 | 91895 85205 135 | 0.000 % |
342.28/342.51 c | 505889 | 1000 20000 100000 | 91895 87254 135 | 0.000 % |
343.88/344.13 c | 508142 | 1000 20000 100000 | 91895 89507 135 | 0.000 % |
345.68/345.97 c | 510621 | 1000 20000 100000 | 91367 81964 134 | 0.000 % |
347.58/347.86 c | 513347 | 1000 20000 100000 | 91367 84690 134 | 0.000 % |
349.58/349.89 c | 516346 | 1000 20000 100000 | 91367 87689 134 | 0.000 % |
352.07/352.33 c | 519642 | 1000 20000 100000 | 91367 90985 135 | 0.000 % |
354.77/355.08 c | 523267 | 1000 20000 100000 | 2147483647 94610 135 | 0.000 % |
357.87/358.17 c | 527256 | 1000 20000 100000 | 2147483647 98599 135 | 0.000 % |
361.57/361.83 c | 531642 | 1000 20000 100000 | 101343 89694 135 | 0.000 % |
365.27/365.58 c | 536468 | 1000 20000 100000 | 101343 94520 135 | 0.000 % |
365.37/365.68 c | 536570 | 1000 20000 100000 | 101343 94622 135 | 0.000 % |
365.57/365.81 c | 536680 | 1000 20000 100000 | 101343 94732 135 | 0.000 % |
365.67/365.93 c | 536801 | 1000 20000 100000 | 101343 94853 135 | 0.000 % |
365.77/366.05 c | 536934 | 1000 20000 100000 | 101343 94986 135 | 0.000 % |
365.87/366.19 c | 537080 | 1000 20000 100000 | 101343 95132 135 | 0.000 % |
366.07/366.35 c | 537240 | 1000 20000 100000 | 101343 95292 135 | 0.000 % |
366.27/366.50 c | 537416 | 1000 20000 100000 | 101343 95468 135 | 0.000 % |
366.37/366.69 c | 537609 | 1000 20000 100000 | 101343 95661 135 | 0.000 % |
366.57/366.87 c | 537821 | 1000 20000 100000 | 101343 95873 135 | 0.000 % |
366.77/367.06 c | 538055 | 1000 20000 100000 | 101343 96107 135 | 0.000 % |
367.07/367.32 c | 538311 | 1000 20000 100000 | 101343 96363 135 | 0.000 % |
367.27/367.57 c | 538593 | 1000 20000 100000 | 101343 96645 135 | 0.000 % |
367.57/367.85 c | 538902 | 1000 20000 100000 | 101343 96954 135 | 0.000 % |
367.87/368.12 c | 539241 | 1000 20000 100000 | 101343 97293 135 | 0.000 % |
368.17/368.43 c | 539615 | 1000 20000 100000 | 101343 97667 135 | 0.000 % |
368.47/368.75 c | 540025 | 1000 20000 100000 | 98053 98077 135 | 0.000 % |
368.87/369.16 c | 540477 | 1000 20000 100000 | 98053 84555 135 | 0.000 % |
369.27/369.54 c | 540972 | 1000 20000 100000 | 98053 85050 135 | 0.000 % |
369.66/369.95 c | 541514 | 1000 20000 100000 | 98053 85592 135 | 0.000 % |
370.16/370.40 c | 542110 | 1000 20000 100000 | 98053 86188 135 | 0.000 % |
370.56/370.86 c | 542765 | 1000 20000 100000 | 98053 86843 135 | 0.000 % |
371.06/371.35 c | 543486 | 1000 20000 100000 | 98053 87564 135 | 0.000 % |
371.66/371.93 c | 544278 | 1000 20000 100000 | 98053 88356 135 | 0.000 % |
372.26/372.55 c | 545149 | 1000 20000 100000 | 98053 89227 135 | 0.000 % |
372.96/373.26 c | 546110 | 1000 20000 100000 | 98053 90188 135 | 0.000 % |
373.76/374.08 c | 547165 | 1000 20000 100000 | 98053 91243 135 | 0.000 % |
374.65/375.00 c | 548323 | 1000 20000 100000 | 98053 92401 135 | 0.000 % |
375.65/375.96 c | 549597 | 1000 20000 100000 | 98053 93675 135 | 0.000 % |
376.75/377.06 c | 550997 | 1000 20000 100000 | 94081 83381 134 | 0.000 % |
377.85/378.12 c | 552537 | 1000 20000 100000 | 94081 84921 134 | 0.000 % |
379.05/379.32 c | 554233 | 1000 20000 100000 | 94081 86617 134 | 0.000 % |
380.45/380.71 c | 556097 | 1000 20000 100000 | 94081 88481 134 | 0.000 % |
381.85/382.17 c | 558147 | 1000 20000 100000 | 94081 90531 135 | 0.000 % |
383.66/383.92 c | 560401 | 1000 20000 100000 | 92385 81635 134 | 0.000 % |
385.35/385.61 c | 562880 | 1000 20000 100000 | 92385 84114 134 | 0.000 % |
387.25/387.50 c | 565605 | 1000 20000 100000 | 92385 86839 134 | 0.000 % |
389.45/389.73 c | 568604 | 1000 20000 100000 | 92385 89838 134 | 0.000 % |
391.75/392.07 c | 571903 | 1000 20000 100000 | 91234 83678 135 | 0.000 % |
394.25/394.59 c | 575528 | 1000 20000 100000 | 91234 87303 135 | 0.000 % |
397.05/397.38 c | 579515 | 1000 20000 100000 | 91234 91290 136 | 0.000 % |
399.85/400.20 c | 583902 | 1000 20000 100000 | 82052 77445 136 | 0.000 % |
403.04/403.31 c | 588725 | 1000 20000 100000 | 82052 82268 137 | 0.000 % |
406.54/406.81 c | 594031 | 1000 20000 100000 | 2147483647 79348 138 | 0.000 % |
406.54/406.89 c | 594131 | 1000 20000 100000 | 2147483647 79448 138 | 0.000 % |
406.65/406.96 c | 594243 | 1000 20000 100000 | 2147483647 79560 138 | 0.000 % |
406.75/407.06 c | 594365 | 1000 20000 100000 | 2147483647 79682 137 | 0.000 % |
406.84/407.17 c | 594498 | 1000 20000 100000 | 2147483647 79815 137 | 0.000 % |
406.94/407.29 c | 594644 | 1000 20000 100000 | 2147483647 79961 137 | 0.000 % |
407.14/407.41 c | 594804 | 1000 20000 100000 | 2147483647 80121 137 | 0.000 % |
407.24/407.55 c | 594981 | 1000 20000 100000 | 2147483647 80298 137 | 0.000 % |
407.44/407.71 c | 595174 | 1000 20000 100000 | 2147483647 80491 137 | 0.000 % |
407.54/407.86 c | 595388 | 1000 20000 100000 | 2147483647 80705 137 | 0.000 % |
407.74/408.02 c | 595622 | 1000 20000 100000 | 2147483647 80939 137 | 0.000 % |
407.94/408.22 c | 595878 | 1000 20000 100000 | 2147483647 81195 137 | 0.000 % |
408.14/408.44 c | 596159 | 1000 20000 100000 | 2147483647 81476 137 | 0.000 % |
408.34/408.65 c | 596470 | 1000 20000 100000 | 2147483647 81787 137 | 0.000 % |
408.54/408.90 c | 596809 | 1000 20000 100000 | 2147483647 82126 137 | 0.000 % |
408.84/409.16 c | 597182 | 1000 20000 100000 | 2147483647 82499 137 | 0.000 % |
409.14/409.42 c | 597591 | 1000 20000 100000 | 2147483647 82908 137 | 0.000 % |
409.44/409.78 c | 598040 | 1000 20000 100000 | 2147483647 83357 137 | 0.000 % |
409.84/410.13 c | 598533 | 1000 20000 100000 | 2147483647 83850 137 | 0.000 % |
410.24/410.57 c | 599079 | 1000 20000 100000 | 2147483647 84396 137 | 0.000 % |
410.74/411.02 c | 599676 | 1000 20000 100000 | 2147483647 84993 137 | 0.000 % |
411.24/411.54 c | 600331 | 1000 20000 100000 | 2147483647 85648 137 | 0.000 % |
411.74/412.07 c | 601052 | 1000 20000 100000 | 2147483647 86369 137 | 0.000 % |
412.44/412.70 c | 601846 | 1000 20000 100000 | 2147483647 87163 137 | 0.000 % |
413.04/413.31 c | 602719 | 1000 20000 100000 | 2147483647 88036 137 | 0.000 % |
413.74/414.02 c | 603677 | 1000 20000 100000 | 2147483647 88994 137 | 0.000 % |
414.44/414.76 c | 604730 | 1000 20000 100000 | 2147483647 90047 136 | 0.000 % |
415.33/415.62 c | 605888 | 1000 20000 100000 | 2147483647 91205 136 | 0.000 % |
416.23/416.55 c | 607161 | 1000 20000 100000 | 2147483647 92478 136 | 0.000 % |
417.33/417.69 c | 608562 | 1000 20000 100000 | 2147483647 93879 136 | 0.000 % |
418.63/418.96 c | 610102 | 1000 20000 100000 | 95317 95419 136 | 0.000 % |
419.93/420.24 c | 611796 | 1000 20000 100000 | 95317 85379 136 | 0.000 % |
421.33/421.64 c | 613659 | 1000 20000 100000 | 95317 87242 136 | 0.000 % |
422.83/423.13 c | 615711 | 1000 20000 100000 | 95317 89294 136 | 0.000 % |
424.53/424.85 c | 617964 | 1000 20000 100000 | 95317 91547 136 | 0.000 % |
426.43/426.80 c | 620444 | 1000 20000 100000 | 93585 82363 137 | 0.000 % |
428.33/428.68 c | 623172 | 1000 20000 100000 | 93585 85091 137 | 0.000 % |
430.62/430.90 c | 626169 | 1000 20000 100000 | 93585 88088 137 | 0.000 % |
433.03/433.33 c | 629467 | 1000 20000 100000 | 93585 91386 137 | 0.000 % |
435.52/435.87 c | 633095 | 1000 20000 100000 | 91923 85020 138 | 0.000 % |
438.72/439.02 c | 637082 | 1000 20000 100000 | 91923 89007 138 | 0.000 % |
442.12/442.40 c | 641470 | 1000 20000 100000 | 91926 82144 138 | 0.000 % |
445.42/445.76 c | 646295 | 1000 20000 100000 | 91926 86969 138 | 0.000 % |
449.32/449.66 c | 651600 | 1000 20000 100000 | 90674 81656 139 | 0.000 % |
453.61/453.94 c | 657435 | 1000 20000 100000 | 90674 87491 139 | 0.000 % |
453.71/454.02 c | 657535 | 1000 20000 100000 | 90674 87591 139 | 0.000 % |
453.81/454.13 c | 657645 | 1000 20000 100000 | 90674 87701 139 | 0.000 % |
453.92/454.23 c | 657769 | 1000 20000 100000 | 90674 87825 139 | 0.000 % |
454.02/454.34 c | 657902 | 1000 20000 100000 | 90674 87958 139 | 0.000 % |
454.11/454.45 c | 658049 | 1000 20000 100000 | 90674 88105 139 | 0.000 % |
454.31/454.60 c | 658209 | 1000 20000 100000 | 90674 88265 139 | 0.000 % |
454.41/454.76 c | 658387 | 1000 20000 100000 | 90674 88443 139 | 0.000 % |
454.61/454.90 c | 658582 | 1000 20000 100000 | 90674 88638 139 | 0.000 % |
454.71/455.09 c | 658798 | 1000 20000 100000 | 90674 88854 139 | 0.000 % |
454.91/455.29 c | 659032 | 1000 20000 100000 | 90674 89088 139 | 0.000 % |
455.21/455.51 c | 659289 | 1000 20000 100000 | 90674 89345 139 | 0.000 % |
455.41/455.72 c | 659570 | 1000 20000 100000 | 90674 89626 139 | 0.000 % |
455.61/455.99 c | 659879 | 1000 20000 100000 | 90674 89935 139 | 0.000 % |
455.91/456.25 c | 660218 | 1000 20000 100000 | 90060 90274 139 | 0.000 % |
456.21/456.56 c | 660590 | 1000 20000 100000 | 90060 80078 138 | 0.000 % |
456.61/456.91 c | 661001 | 1000 20000 100000 | 90060 80489 138 | 0.000 % |
456.91/457.23 c | 661450 | 1000 20000 100000 | 90060 80938 138 | 0.000 % |
457.31/457.61 c | 661944 | 1000 20000 100000 | 90060 81432 138 | 0.000 % |
457.61/457.98 c | 662486 | 1000 20000 100000 | 90060 81974 138 | 0.000 % |
458.01/458.38 c | 663083 | 1000 20000 100000 | 90060 82571 138 | 0.000 % |
458.51/458.89 c | 663739 | 1000 20000 100000 | 90060 83227 138 | 0.000 % |
459.01/459.38 c | 664461 | 1000 20000 100000 | 90060 83949 138 | 0.000 % |
459.61/459.95 c | 665256 | 1000 20000 100000 | 90060 84744 138 | 0.000 % |
460.21/460.59 c | 666128 | 1000 20000 100000 | 90060 85616 138 | 0.000 % |
461.00/461.31 c | 667088 | 1000 20000 100000 | 90060 86576 138 | 0.000 % |
461.80/462.14 c | 668142 | 1000 20000 100000 | 90060 87630 138 | 0.000 % |
462.60/462.92 c | 669300 | 1000 20000 100000 | 90060 88788 138 | 0.000 % |
463.50/463.86 c | 670573 | 1000 20000 100000 | 89488 80456 136 | 0.000 % |
464.60/464.94 c | 671973 | 1000 20000 100000 | 89488 81856 136 | 0.000 % |
465.70/466.05 c | 673513 | 1000 20000 100000 | 89488 83396 136 | 0.000 % |
467.00/467.31 c | 675207 | 1000 20000 100000 | 89488 85090 136 | 0.000 % |
468.39/468.72 c | 677071 | 1000 20000 100000 | 89488 86954 136 | 0.000 % |
469.99/470.36 c | 679122 | 1000 20000 100000 | 89488 89005 136 | 0.000 % |
471.69/472.08 c | 681375 | 1000 20000 100000 | 79407 71656 137 | 0.000 % |
473.39/473.70 c | 683855 | 1000 20000 100000 | 79407 74136 137 | 0.000 % |
475.19/475.55 c | 686581 | 1000 20000 100000 | 79407 76862 137 | 0.000 % |
477.19/477.53 c | 689579 | 1000 20000 100000 | 79407 71886 138 | 0.000 % |
479.20/479.51 c | 692879 | 1000 20000 100000 | 2147483647 75186 138 | 0.000 % |
481.49/481.84 c | 696505 | 1000 20000 100000 | 2147483647 78812 138 | 0.000 % |
484.19/484.59 c | 700493 | 1000 20000 100000 | 2147483647 82800 138 | 0.000 % |
487.49/487.83 c | 704880 | 1000 20000 100000 | 2147483647 87187 138 | 0.000 % |
491.19/491.52 c | 709704 | 1000 20000 100000 | 2147483647 92011 138 | 0.000 % |
495.08/495.46 c | 715009 | 1000 20000 100000 | 92307 86878 138 | 0.000 % |
499.58/499.96 c | 720845 | 1000 20000 100000 | 91870 80969 138 | 0.000 % |
504.28/504.67 c | 727263 | 1000 20000 100000 | 91870 87387 138 | 0.000 % |
504.38/504.76 c | 727363 | 1000 20000 100000 | 91870 87487 138 | 0.000 % |
504.48/504.84 c | 727473 | 1000 20000 100000 | 91870 87597 138 | 0.000 % |
504.58/504.94 c | 727595 | 1000 20000 100000 | 91870 87719 138 | 0.000 % |
504.68/505.08 c | 727728 | 1000 20000 100000 | 91870 87852 138 | 0.000 % |
504.88/505.21 c | 727874 | 1000 20000 100000 | 91870 87998 138 | 0.000 % |
504.98/505.37 c | 728034 | 1000 20000 100000 | 91870 88158 138 | 0.000 % |
505.18/505.56 c | 728210 | 1000 20000 100000 | 91870 88334 138 | 0.000 % |
505.38/505.71 c | 728404 | 1000 20000 100000 | 91870 88528 138 | 0.000 % |
505.48/505.88 c | 728616 | 1000 20000 100000 | 91870 88740 138 | 0.000 % |
505.68/506.08 c | 728849 | 1000 20000 100000 | 91870 88973 138 | 0.000 % |
505.97/506.31 c | 729107 | 1000 20000 100000 | 91870 89231 138 | 0.000 % |
506.17/506.53 c | 729389 | 1000 20000 100000 | 91870 89513 138 | 0.000 % |
506.37/506.79 c | 729699 | 1000 20000 100000 | 91870 89823 138 | 0.000 % |
506.67/507.04 c | 730038 | 1000 20000 100000 | 90124 90162 138 | 0.000 % |
507.07/507.41 c | 730411 | 1000 20000 100000 | 90124 79039 137 | 0.000 % |
507.37/507.70 c | 730821 | 1000 20000 100000 | 90124 79449 137 | 0.000 % |
507.67/508.04 c | 731271 | 1000 20000 100000 | 90124 79899 136 | 0.000 % |
508.07/508.40 c | 731765 | 1000 20000 100000 | 90124 80393 136 | 0.000 % |
508.37/508.79 c | 732308 | 1000 20000 100000 | 90124 80936 136 | 0.000 % |
508.87/509.22 c | 732904 | 1000 20000 100000 | 90124 81532 136 | 0.000 % |
509.27/509.64 c | 733559 | 1000 20000 100000 | 90124 82187 136 | 0.000 % |
509.87/510.24 c | 734280 | 1000 20000 100000 | 90124 82908 136 | 0.000 % |
510.47/510.81 c | 735072 | 1000 20000 100000 | 90124 83700 136 | 0.000 % |
511.17/511.51 c | 735943 | 1000 20000 100000 | 90124 84571 136 | 0.000 % |
511.87/512.27 c | 736901 | 1000 20000 100000 | 90124 85529 136 | 0.000 % |
512.67/513.04 c | 737954 | 1000 20000 100000 | 90124 86582 136 | 0.000 % |
513.47/513.89 c | 739112 | 1000 20000 100000 | 90124 87740 136 | 0.000 % |
514.57/514.91 c | 740385 | 1000 20000 100000 | 88628 78813 136 | 0.000 % |
515.57/515.91 c | 741785 | 1000 20000 100000 | 88628 80213 136 | 0.000 % |
516.57/517.00 c | 743325 | 1000 20000 100000 | 88628 81753 136 | 0.000 % |
517.77/518.13 c | 745019 | 1000 20000 100000 | 88628 83447 136 | 0.000 % |
519.17/519.50 c | 746883 | 1000 20000 100000 | 88628 85311 136 | 0.000 % |
520.56/520.95 c | 748933 | 1000 20000 100000 | 88628 87361 137 | 0.000 % |
522.26/522.66 c | 751189 | 1000 20000 100000 | 88428 80553 137 | 0.000 % |
524.06/524.41 c | 753668 | 1000 20000 100000 | 88428 83032 137 | 0.000 % |
525.86/526.29 c | 756393 | 1000 20000 100000 | 88428 85757 137 | 0.000 % |
528.06/528.40 c | 759390 | 1000 20000 100000 | 88428 88754 137 | 0.000 % |
530.26/530.66 c | 762688 | 1000 20000 100000 | 2147483647 83177 138 | 0.000 % |
532.96/533.31 c | 766315 | 1000 20000 100000 | 2147483647 86804 138 | 0.000 % |
535.86/536.27 c | 770302 | 1000 20000 100000 | 2147483647 90791 139 | 0.000 % |
539.06/539.48 c | 774688 | 1000 20000 100000 | 2147483647 95177 139 | 0.000 % |
542.76/543.12 c | 779511 | 1000 20000 100000 | 2147483647 100000 139 | 0.000 % |
546.85/547.21 c | 784816 | 1000 20000 100000 | 100489 91922 138 | 0.000 % |
551.34/551.73 c | 790651 | 1000 20000 100000 | 97106 84352 138 | 0.000 % |
555.94/556.38 c | 797070 | 1000 20000 100000 | 97106 90771 139 | 0.000 % |
561.04/561.46 c | 804129 | 1000 20000 100000 | 93701 86132 139 | 0.000 % |
561.14/561.54 c | 804230 | 1000 20000 100000 | 93701 86233 139 | 0.000 % |
561.24/561.62 c | 804341 | 1000 20000 100000 | 93701 86344 138 | 0.000 % |
561.34/561.73 c | 804462 | 1000 20000 100000 | 93701 86465 138 | 0.000 % |
561.44/561.85 c | 804595 | 1000 20000 100000 | 93701 86598 138 | 0.000 % |
561.54/562.00 c | 804742 | 1000 20000 100000 | 93701 86745 138 | 0.000 % |
561.75/562.12 c | 804902 | 1000 20000 100000 | 93701 86905 138 | 0.000 % |
561.84/562.26 c | 805080 | 1000 20000 100000 | 93701 87083 138 | 0.000 % |
562.04/562.45 c | 805273 | 1000 20000 100000 | 93701 87276 138 | 0.000 % |
562.24/562.62 c | 805485 | 1000 20000 100000 | 93701 87488 138 | 0.000 % |
562.44/562.81 c | 805718 | 1000 20000 100000 | 93701 87721 138 | 0.000 % |
562.64/563.00 c | 805976 | 1000 20000 100000 | 93701 87979 138 | 0.000 % |
562.84/563.21 c | 806258 | 1000 20000 100000 | 93701 88261 138 | 0.000 % |
563.04/563.45 c | 806567 | 1000 20000 100000 | 93701 88570 138 | 0.000 % |
563.34/563.75 c | 806910 | 1000 20000 100000 | 93701 88913 138 | 0.000 % |
563.64/564.05 c | 807284 | 1000 20000 100000 | 93701 89287 138 | 0.000 % |
564.04/564.41 c | 807693 | 1000 20000 100000 | 93701 89696 138 | 0.000 % |
564.34/564.77 c | 808142 | 1000 20000 100000 | 93701 90145 138 | 0.000 % |
564.74/565.17 c | 808636 | 1000 20000 100000 | 93701 90639 138 | 0.000 % |
565.14/565.58 c | 809181 | 1000 20000 100000 | 93701 91184 138 | 0.000 % |
565.54/565.99 c | 809777 | 1000 20000 100000 | 93701 91780 138 | 0.000 % |
566.14/566.56 c | 810434 | 1000 20000 100000 | 92004 80415 138 | 0.000 % |
566.64/567.09 c | 811154 | 1000 20000 100000 | 92004 81135 138 | 0.000 % |
567.24/567.62 c | 811948 | 1000 20000 100000 | 92004 81929 138 | 0.000 % |
567.85/568.27 c | 812822 | 1000 20000 100000 | 92004 82803 138 | 0.000 % |
568.55/568.97 c | 813780 | 1000 20000 100000 | 92004 83761 138 | 0.000 % |
569.25/569.67 c | 814833 | 1000 20000 100000 | 92004 84814 138 | 0.000 % |
570.15/570.53 c | 815991 | 1000 20000 100000 | 92004 85972 138 | 0.000 % |
571.05/571.47 c | 817265 | 1000 20000 100000 | 92004 87246 138 | 0.000 % |
572.14/572.54 c | 818666 | 1000 20000 100000 | 92004 88647 138 | 0.000 % |
573.24/573.65 c | 820207 | 1000 20000 100000 | 89981 90188 137 | 0.000 % |
574.44/574.85 c | 821903 | 1000 20000 100000 | 89981 82075 138 | 0.000 % |
575.74/576.16 c | 823769 | 1000 20000 100000 | 89981 83941 138 | 0.000 % |
577.14/577.54 c | 825818 | 1000 20000 100000 | 89981 85990 138 | 0.000 % |
578.74/579.17 c | 828071 | 1000 20000 100000 | 89981 88243 138 | 0.000 % |
580.63/581.05 c | 830552 | 1000 20000 100000 | 90172 81095 138 | 0.000 % |
582.43/582.87 c | 833277 | 1000 20000 100000 | 90172 83820 137 | 0.000 % |
584.53/584.93 c | 836274 | 1000 20000 100000 | 90172 86817 137 | 0.000 % |
586.94/587.31 c | 839570 | 1000 20000 100000 | 90172 90113 137 | 0.000 % |
589.43/589.84 c | 843198 | 1000 20000 100000 | 80867 75498 135 | 0.000 % |
592.13/592.55 c | 847186 | 1000 20000 100000 | 80867 79486 136 | 0.000 % |
595.03/595.48 c | 851572 | 1000 20000 100000 | 2147483647 75753 135 | 0.000 % |
598.42/598.81 c | 856395 | 1000 20000 100000 | 2147483647 80576 135 | 0.000 % |
602.01/602.49 c | 861701 | 1000 20000 100000 | 2147483647 85882 136 | 0.000 % |
606.41/606.86 c | 867537 | 1000 20000 100000 | 2147483647 91718 137 | 0.000 % |
611.21/611.68 c | 873955 | 1000 20000 100000 | 94181 87526 138 | 0.000 % |
616.61/617.08 c | 881014 | 1000 20000 100000 | 93571 83288 137 | 0.000 % |
622.51/622.93 c | 888779 | 1000 20000 100000 | 93571 91053 138 | 0.000 % |
622.61/623.01 c | 888881 | 1000 20000 100000 | 93571 91155 137 | 0.000 % |
622.71/623.10 c | 888991 | 1000 20000 100000 | 93571 91265 137 | 0.000 % |
622.80/623.22 c | 889114 | 1000 20000 100000 | 93571 91388 137 | 0.000 % |
622.90/623.34 c | 889247 | 1000 20000 100000 | 93571 91521 137 | 0.000 % |
623.00/623.46 c | 889394 | 1000 20000 100000 | 93571 91668 137 | 0.000 % |
623.10/623.59 c | 889554 | 1000 20000 100000 | 93571 91828 137 | 0.000 % |
623.31/623.78 c | 889730 | 1000 20000 100000 | 93571 92004 137 | 0.000 % |
623.50/623.96 c | 889923 | 1000 20000 100000 | 93571 92197 137 | 0.000 % |
623.70/624.16 c | 890137 | 1000 20000 100000 | 92275 92411 137 | 0.000 % |
623.90/624.39 c | 890373 | 1000 20000 100000 | 92275 80627 138 | 0.000 % |
624.10/624.59 c | 890629 | 1000 20000 100000 | 92275 80883 138 | 0.000 % |
624.41/624.80 c | 890913 | 1000 20000 100000 | 92275 81167 138 | 0.000 % |
624.60/625.03 c | 891223 | 1000 20000 100000 | 92275 81477 138 | 0.000 % |
624.80/625.28 c | 891563 | 1000 20000 100000 | 92275 81817 138 | 0.000 % |
625.10/625.59 c | 891937 | 1000 20000 100000 | 92275 82191 138 | 0.000 % |
625.50/625.92 c | 892346 | 1000 20000 100000 | 92275 82600 138 | 0.000 % |
625.80/626.23 c | 892796 | 1000 20000 100000 | 92275 83050 138 | 0.000 % |
626.10/626.59 c | 893290 | 1000 20000 100000 | 92275 83544 137 | 0.000 % |
626.60/627.01 c | 893832 | 1000 20000 100000 | 92275 84086 137 | 0.000 % |
627.00/627.44 c | 894428 | 1000 20000 100000 | 92275 84682 137 | 0.000 % |
627.40/627.89 c | 895083 | 1000 20000 100000 | 92275 85337 137 | 0.000 % |
628.10/628.50 c | 895803 | 1000 20000 100000 | 92275 86057 137 | 0.000 % |
628.70/629.18 c | 896595 | 1000 20000 100000 | 92275 86849 137 | 0.000 % |
629.40/629.90 c | 897468 | 1000 20000 100000 | 92275 87722 137 | 0.000 % |
630.20/630.67 c | 898427 | 1000 20000 100000 | 92275 88681 137 | 0.000 % |
631.00/631.48 c | 899480 | 1000 20000 100000 | 92275 89734 137 | 0.000 % |
631.90/632.38 c | 900640 | 1000 20000 100000 | 90254 80195 138 | 0.000 % |
632.70/633.19 c | 901913 | 1000 20000 100000 | 90254 81468 138 | 0.000 % |
633.70/634.11 c | 903314 | 1000 20000 100000 | 90254 82869 138 | 0.000 % |
634.70/635.16 c | 904855 | 1000 20000 100000 | 90254 84410 137 | 0.000 % |
636.00/636.43 c | 906550 | 1000 20000 100000 | 90254 86105 137 | 0.000 % |
637.40/637.86 c | 908413 | 1000 20000 100000 | 90254 87968 137 | 0.000 % |
639.09/639.57 c | 910463 | 1000 20000 100000 | 89558 79869 138 | 0.000 % |
640.79/641.22 c | 912716 | 1000 20000 100000 | 89558 82122 138 | 0.000 % |
642.59/643.01 c | 915194 | 1000 20000 100000 | 89558 84600 138 | 0.000 % |
644.39/644.85 c | 917920 | 1000 20000 100000 | 89558 87326 137 | 0.000 % |
646.48/646.93 c | 920917 | 1000 20000 100000 | 2147483647 90323 137 | 0.000 % |
648.88/649.38 c | 924214 | 1000 20000 100000 | 2147483647 93620 137 | 0.000 % |
651.78/652.30 c | 927839 | 1000 20000 100000 | 2147483647 97245 137 | 0.000 % |
654.98/655.47 c | 931826 | 1000 20000 100000 | 99408 88368 138 | 0.000 % |
658.08/658.58 c | 936211 | 1000 20000 100000 | 99408 92753 138 | 0.000 % |
661.78/662.25 c | 941034 | 1000 20000 100000 | 96542 85356 138 | 0.000 % |
665.78/666.22 c | 946339 | 1000 20000 100000 | 96542 90661 138 | 0.000 % |
670.18/670.61 c | 952174 | 1000 20000 100000 | 94324 83976 137 | 0.000 % |
674.77/675.23 c | 958594 | 1000 20000 100000 | 94324 90396 139 | 0.000 % |
679.77/680.21 c | 965655 | 1000 20000 100000 | 91803 86691 139 | 0.000 % |
685.37/685.85 c | 973419 | 1000 20000 100000 | 91036 84363 139 | 0.000 % |
691.86/692.31 c | 981961 | 1000 20000 100000 | 90944 82371 141 | 0.000 % |
691.96/692.40 c | 982062 | 1000 20000 100000 | 90944 82472 141 | 0.000 % |
692.06/692.51 c | 982172 | 1000 20000 100000 | 90944 82582 141 | 0.000 % |
692.16/692.61 c | 982295 | 1000 20000 100000 | 90944 82705 141 | 0.000 % |
692.26/692.70 c | 982431 | 1000 20000 100000 | 90944 82841 141 | 0.000 % |
692.36/692.84 c | 982577 | 1000 20000 100000 | 90944 82987 141 | 0.000 % |
692.46/692.97 c | 982737 | 1000 20000 100000 | 90944 83147 141 | 0.000 % |
692.66/693.12 c | 982913 | 1000 20000 100000 | 90944 83323 141 | 0.000 % |
692.76/693.28 c | 983106 | 1000 20000 100000 | 90944 83516 141 | 0.000 % |
692.96/693.44 c | 983318 | 1000 20000 100000 | 90944 83728 141 | 0.000 % |
693.16/693.60 c | 983551 | 1000 20000 100000 | 90944 83961 141 | 0.000 % |
693.36/693.83 c | 983809 | 1000 20000 100000 | 90944 84219 141 | 0.000 % |
693.56/694.05 c | 984090 | 1000 20000 100000 | 90944 84500 141 | 0.000 % |
693.86/694.33 c | 984399 | 1000 20000 100000 | 90944 84809 140 | 0.000 % |
694.16/694.61 c | 984740 | 1000 20000 100000 | 90944 85150 140 | 0.000 % |
694.36/694.89 c | 985112 | 1000 20000 100000 | 90944 85522 140 | 0.000 % |
694.66/695.18 c | 985523 | 1000 20000 100000 | 90944 85933 140 | 0.000 % |
695.06/695.56 c | 985975 | 1000 20000 100000 | 90944 86385 140 | 0.000 % |
695.46/695.96 c | 986469 | 1000 20000 100000 | 90944 86879 140 | 0.000 % |
695.86/696.36 c | 987011 | 1000 20000 100000 | 90944 87421 140 | 0.000 % |
696.36/696.87 c | 987608 | 1000 20000 100000 | 90944 88018 140 | 0.000 % |
696.86/697.39 c | 988267 | 1000 20000 100000 | 90944 88677 140 | 0.000 % |
697.46/697.95 c | 988989 | 1000 20000 100000 | 90944 89399 140 | 0.000 % |
698.06/698.53 c | 989785 | 1000 20000 100000 | 90944 90195 140 | 0.000 % |
698.66/699.19 c | 990658 | 1000 20000 100000 | 90410 79840 140 | 0.000 % |
699.36/699.82 c | 991616 | 1000 20000 100000 | 90410 80798 140 | 0.000 % |
699.95/700.48 c | 992669 | 1000 20000 100000 | 90410 81851 140 | 0.000 % |
700.85/701.33 c | 993827 | 1000 20000 100000 | 90410 83009 140 | 0.000 % |
701.75/702.25 c | 995104 | 1000 20000 100000 | 90410 84286 140 | 0.000 % |
702.75/703.20 c | 996506 | 1000 20000 100000 | 90410 85688 140 | 0.000 % |
703.85/704.37 c | 998046 | 1000 20000 100000 | 90410 87228 140 | 0.000 % |
705.15/705.67 c | 999742 | 1000 20000 100000 | 90410 88924 140 | 0.000 % |
706.65/707.11 c | 1001605 | 1000 20000 100000 | 89184 81216 141 | 0.000 % |
708.05/708.52 c | 1003654 | 1000 20000 100000 | 89184 83265 141 | 0.000 % |
709.55/710.07 c | 1005907 | 1000 20000 100000 | 89184 85518 141 | 0.000 % |
711.35/711.85 c | 1008386 | 1000 20000 100000 | 89184 87997 140 | 0.000 % |
713.25/713.74 c | 1011112 | 1000 20000 100000 | 2147483647 81769 141 | 0.000 % |
715.35/715.84 c | 1014110 | 1000 20000 100000 | 2147483647 84767 141 | 0.000 % |
717.65/718.13 c | 1017406 | 1000 20000 100000 | 2147483647 88063 141 | 0.000 % |
720.25/720.77 c | 1021031 | 1000 20000 100000 | 2147483647 91688 140 | 0.000 % |
723.45/723.93 c | 1025019 | 1000 20000 100000 | 2147483647 95676 140 | 0.000 % |
726.94/727.41 c | 1029406 | 1000 20000 100000 | 2147483647 100063 140 | 0.000 % |
730.73/731.20 c | 1034229 | 1000 20000 100000 | 100657 90382 140 | 0.000 % |
734.93/735.47 c | 1039538 | 1000 20000 100000 | 100657 95691 140 | 0.000 % |
739.12/739.69 c | 1045373 | 1000 20000 100000 | 96155 88674 139 | 0.000 % |
744.02/744.58 c | 1051792 | 1000 20000 100000 | 93304 83162 138 | 0.000 % |
749.22/749.80 c | 1058851 | 1000 20000 100000 | 93304 90221 138 | 0.000 % |
754.92/755.43 c | 1066615 | 1000 20000 100000 | 91370 86819 137 | 0.000 % |
761.42/761.95 c | 1075156 | 1000 20000 100000 | 90205 84987 138 | 0.000 % |
769.02/769.51 c | 1084552 | 1000 20000 100000 | 89832 84578 139 | 0.000 % |
769.12/769.62 c | 1084653 | 1000 20000 100000 | 89832 84679 139 | 0.000 % |
769.22/769.72 c | 1084765 | 1000 20000 100000 | 89832 84791 139 | 0.000 % |
769.32/769.82 c | 1084887 | 1000 20000 100000 | 89832 84913 139 | 0.000 % |
769.43/769.92 c | 1085020 | 1000 20000 100000 | 89832 85046 139 | 0.000 % |
769.53/770.07 c | 1085167 | 1000 20000 100000 | 89832 85193 139 | 0.000 % |
769.62/770.20 c | 1085328 | 1000 20000 100000 | 89832 85354 139 | 0.000 % |
769.82/770.35 c | 1085504 | 1000 20000 100000 | 89832 85530 139 | 0.000 % |
770.02/770.54 c | 1085698 | 1000 20000 100000 | 89832 85724 139 | 0.000 % |
770.22/770.71 c | 1085913 | 1000 20000 100000 | 89832 85939 139 | 0.000 % |
770.42/770.90 c | 1086146 | 1000 20000 100000 | 89832 86172 139 | 0.000 % |
770.52/771.10 c | 1086402 | 1000 20000 100000 | 89832 86428 139 | 0.000 % |
770.72/771.29 c | 1086683 | 1000 20000 100000 | 89832 86709 139 | 0.000 % |
771.02/771.53 c | 1086993 | 1000 20000 100000 | 89832 87019 139 | 0.000 % |
771.22/771.77 c | 1087332 | 1000 20000 100000 | 89832 87358 138 | 0.000 % |
771.52/772.06 c | 1087705 | 1000 20000 100000 | 89832 87731 138 | 0.000 % |
771.82/772.36 c | 1088117 | 1000 20000 100000 | 89832 88143 138 | 0.000 % |
772.12/772.69 c | 1088566 | 1000 20000 100000 | 89832 88592 138 | 0.000 % |
772.62/773.11 c | 1089059 | 1000 20000 100000 | 89832 89085 138 | 0.000 % |
773.02/773.56 c | 1089601 | 1000 20000 100000 | 89832 89627 138 | 0.000 % |
773.52/774.07 c | 1090197 | 1000 20000 100000 | 90026 90223 138 | 0.000 % |
774.02/774.58 c | 1090852 | 1000 20000 100000 | 90026 80188 138 | 0.000 % |
774.52/775.08 c | 1091572 | 1000 20000 100000 | 90026 80908 138 | 0.000 % |
775.12/775.69 c | 1092364 | 1000 20000 100000 | 90026 81700 138 | 0.000 % |
775.72/776.27 c | 1093235 | 1000 20000 100000 | 90026 82571 138 | 0.000 % |
776.41/776.92 c | 1094196 | 1000 20000 100000 | 90026 83532 138 | 0.000 % |
777.11/777.62 c | 1095249 | 1000 20000 100000 | 90026 84585 138 | 0.000 % |
777.91/778.44 c | 1096407 | 1000 20000 100000 | 90026 85743 138 | 0.000 % |
778.81/779.39 c | 1097681 | 1000 20000 100000 | 90026 87017 138 | 0.000 % |
779.81/780.38 c | 1099082 | 1000 20000 100000 | 90026 88418 137 | 0.000 % |
781.21/781.70 c | 1100624 | 1000 20000 100000 | 89336 79997 137 | 0.000 % |
782.31/782.89 c | 1102319 | 1000 20000 100000 | 89336 81692 137 | 0.000 % |
783.61/784.18 c | 1104182 | 1000 20000 100000 | 89336 83555 137 | 0.000 % |
785.11/785.62 c | 1106231 | 1000 20000 100000 | 89336 85604 137 | 0.000 % |
786.81/787.33 c | 1108485 | 1000 20000 100000 | 89336 87858 137 | 0.000 % |
788.80/789.35 c | 1110965 | 1000 20000 100000 | 89373 81086 137 | 0.000 % |
790.70/791.25 c | 1113691 | 1000 20000 100000 | 89373 83812 137 | 0.000 % |
792.70/793.28 c | 1116688 | 1000 20000 100000 | 89373 86809 137 | 0.000 % |
795.10/795.65 c | 1119985 | 1000 20000 100000 | 89373 81135 136 | 0.000 % |
797.60/798.10 c | 1123611 | 1000 20000 100000 | 2147483647 84761 136 | 0.000 % |
800.31/800.89 c | 1127598 | 1000 20000 100000 | 2147483647 88748 136 | 0.000 % |
803.70/804.25 c | 1131983 | 1000 20000 100000 | 2147483647 93133 136 | 0.000 % |
807.50/808.05 c | 1136806 | 1000 20000 100000 | 2147483647 97956 137 | 0.000 % |
812.00/812.58 c | 1142111 | 1000 20000 100000 | 101151 88827 136 | 0.000 % |
816.49/817.08 c | 1147947 | 1000 20000 100000 | 101151 94663 136 | 0.000 % |
821.69/822.21 c | 1154368 | 1000 20000 100000 | 96718 87696 136 | 0.000 % |
826.88/827.46 c | 1161427 | 1000 20000 100000 | 93330 82212 136 | 0.000 % |
832.58/833.18 c | 1169191 | 1000 20000 100000 | 93330 89976 136 | 0.000 % |
839.18/839.72 c | 1177731 | 1000 20000 100000 | 90785 87726 138 | 0.000 % |
846.48/847.04 c | 1187125 | 1000 20000 100000 | 89997 86812 139 | 0.000 % |
854.77/855.37 c | 1197459 | 1000 20000 100000 | 89687 86736 140 | 0.000 % |
854.87/855.45 c | 1197559 | 1000 20000 100000 | 89687 86836 140 | 0.000 % |
854.97/855.55 c | 1197669 | 1000 20000 100000 | 89687 86946 140 | 0.000 % |
855.07/855.65 c | 1197791 | 1000 20000 100000 | 89687 87068 140 | 0.000 % |
855.18/855.76 c | 1197925 | 1000 20000 100000 | 89687 87202 140 | 0.000 % |
855.28/855.89 c | 1198071 | 1000 20000 100000 | 89687 87348 140 | 0.000 % |
855.47/856.04 c | 1198233 | 1000 20000 100000 | 89687 87510 140 | 0.000 % |
855.67/856.20 c | 1198410 | 1000 20000 100000 | 89687 87687 140 | 0.000 % |
855.77/856.36 c | 1198604 | 1000 20000 100000 | 89687 87881 140 | 0.000 % |
855.97/856.52 c | 1198817 | 1000 20000 100000 | 89687 88094 140 | 0.000 % |
856.17/856.74 c | 1199050 | 1000 20000 100000 | 89687 88327 140 | 0.000 % |
856.38/856.96 c | 1199307 | 1000 20000 100000 | 89687 88584 140 | 0.000 % |
856.57/857.17 c | 1199588 | 1000 20000 100000 | 89687 88865 140 | 0.000 % |
856.87/857.40 c | 1199900 | 1000 20000 100000 | 89687 89177 140 | 0.000 % |
857.07/857.69 c | 1200240 | 1000 20000 100000 | 89277 89517 140 | 0.000 % |
857.48/858.02 c | 1200612 | 1000 20000 100000 | 89277 78951 140 | 0.000 % |
857.77/858.30 c | 1201021 | 1000 20000 100000 | 89277 79360 140 | 0.000 % |
858.07/858.68 c | 1201474 | 1000 20000 100000 | 89277 79813 140 | 0.000 % |
858.48/859.10 c | 1201967 | 1000 20000 100000 | 89277 80306 140 | 0.000 % |
858.97/859.50 c | 1202510 | 1000 20000 100000 | 89277 80849 139 | 0.000 % |
859.37/859.96 c | 1203108 | 1000 20000 100000 | 89277 81447 139 | 0.000 % |
859.87/860.43 c | 1203765 | 1000 20000 100000 | 89277 82104 139 | 0.000 % |
860.37/860.94 c | 1204485 | 1000 20000 100000 | 89277 82824 139 | 0.000 % |
860.97/861.51 c | 1205277 | 1000 20000 100000 | 89277 83616 139 | 0.000 % |
861.57/862.10 c | 1206149 | 1000 20000 100000 | 89277 84488 139 | 0.000 % |
862.27/862.80 c | 1207107 | 1000 20000 100000 | 89277 85446 139 | 0.000 % |
862.97/863.55 c | 1208160 | 1000 20000 100000 | 89277 86499 139 | 0.000 % |
863.77/864.36 c | 1209318 | 1000 20000 100000 | 89277 87657 139 | 0.000 % |
864.67/865.26 c | 1210591 | 1000 20000 100000 | 88341 79516 139 | 0.000 % |
865.66/866.21 c | 1211993 | 1000 20000 100000 | 88341 80918 139 | 0.000 % |
866.76/867.33 c | 1213533 | 1000 20000 100000 | 88341 82458 139 | 0.000 % |
867.86/868.49 c | 1215227 | 1000 20000 100000 | 88341 84152 138 | 0.000 % |
869.16/869.78 c | 1217090 | 1000 20000 100000 | 88341 86015 138 | 0.000 % |
870.56/871.19 c | 1219143 | 1000 20000 100000 | 88341 88068 138 | 0.000 % |
872.16/872.80 c | 1221398 | 1000 20000 100000 | 79602 72670 137 | 0.000 % |
873.66/874.27 c | 1223880 | 1000 20000 100000 | 79602 75152 137 | 0.000 % |
875.46/876.05 c | 1226606 | 1000 20000 100000 | 79602 77878 137 | 0.000 % |
877.35/877.97 c | 1229603 | 1000 20000 100000 | 79602 72879 137 | 0.000 % |
879.36/879.96 c | 1232899 | 1000 20000 100000 | 2147483647 76175 137 | 0.000 % |
881.66/882.23 c | 1236524 | 1000 20000 100000 | 2147483647 79800 138 | 0.000 % |
884.45/885.05 c | 1240511 | 1000 20000 100000 | 2147483647 83787 138 | 0.000 % |
887.65/888.22 c | 1244897 | 1000 20000 100000 | 2147483647 88173 138 | 0.000 % |
891.05/891.65 c | 1249720 | 1000 20000 100000 | 2147483647 92996 138 | 0.000 % |
894.94/895.58 c | 1255025 | 1000 20000 100000 | 93277 88468 138 | 0.000 % |
899.34/899.94 c | 1260861 | 1000 20000 100000 | 93445 82911 137 | 0.000 % |
903.94/904.57 c | 1267280 | 1000 20000 100000 | 93445 89330 137 | 0.000 % |
909.24/909.85 c | 1274340 | 1000 20000 100000 | 92052 85140 137 | 0.000 % |
915.13/915.76 c | 1282104 | 1000 20000 100000 | 90801 82606 139 | 0.000 % |
922.03/922.65 c | 1290645 | 1000 20000 100000 | 90502 81083 141 | 0.000 % |
929.43/930.09 c | 1300040 | 1000 20000 100000 | 90438 90478 141 | 0.000 % |
937.12/937.74 c | 1310373 | 1000 20000 100000 | 89916 80251 144 | 0.000 % |
945.52/946.14 c | 1321740 | 1000 20000 100000 | 89878 81697 145 | 0.000 % |
945.62/946.21 c | 1321841 | 1000 20000 100000 | 89878 81798 145 | 0.000 % |
945.62/946.28 c | 1321951 | 1000 20000 100000 | 89878 81908 145 | 0.000 % |
945.72/946.36 c | 1322072 | 1000 20000 100000 | 89878 82029 145 | 0.000 % |
945.82/946.49 c | 1322205 | 1000 20000 100000 | 89878 82162 145 | 0.000 % |
946.02/946.60 c | 1322354 | 1000 20000 100000 | 89878 82311 145 | 0.000 % |
946.12/946.71 c | 1322515 | 1000 20000 100000 | 89878 82472 145 | 0.000 % |
946.22/946.88 c | 1322692 | 1000 20000 100000 | 89878 82649 145 | 0.000 % |
946.42/947.04 c | 1322886 | 1000 20000 100000 | 89878 82843 145 | 0.000 % |
946.62/947.21 c | 1323101 | 1000 20000 100000 | 89878 83058 145 | 0.000 % |
946.72/947.37 c | 1323334 | 1000 20000 100000 | 89878 83291 145 | 0.000 % |
946.92/947.54 c | 1323591 | 1000 20000 100000 | 89878 83548 145 | 0.000 % |
947.12/947.80 c | 1323872 | 1000 20000 100000 | 89878 83829 144 | 0.000 % |
947.42/948.03 c | 1324181 | 1000 20000 100000 | 89878 84138 144 | 0.000 % |
947.62/948.27 c | 1324520 | 1000 20000 100000 | 89878 84477 144 | 0.000 % |
948.02/948.60 c | 1324894 | 1000 20000 100000 | 89878 84851 144 | 0.000 % |
948.31/948.90 c | 1325306 | 1000 20000 100000 | 89878 85263 144 | 0.000 % |
948.62/949.25 c | 1325755 | 1000 20000 100000 | 89878 85712 144 | 0.000 % |
949.01/949.63 c | 1326248 | 1000 20000 100000 | 89878 86205 144 | 0.000 % |
949.41/950.07 c | 1326790 | 1000 20000 100000 | 89878 86747 144 | 0.000 % |
949.82/950.48 c | 1327387 | 1000 20000 100000 | 89878 87344 144 | 0.000 % |
950.31/951.00 c | 1328043 | 1000 20000 100000 | 89878 88000 144 | 0.000 % |
950.92/951.58 c | 1328763 | 1000 20000 100000 | 89878 88720 144 | 0.000 % |
951.61/952.23 c | 1329555 | 1000 20000 100000 | 89878 89512 144 | 0.000 % |
952.41/953.09 c | 1330427 | 1000 20000 100000 | 89957 78903 144 | 0.000 % |
953.21/953.80 c | 1331386 | 1000 20000 100000 | 89957 79862 144 | 0.000 % |
953.91/954.55 c | 1332439 | 1000 20000 100000 | 89957 80915 144 | 0.000 % |
954.71/955.31 c | 1333598 | 1000 20000 100000 | 89957 82074 144 | 0.000 % |
955.61/956.23 c | 1334871 | 1000 20000 100000 | 89957 83347 144 | 0.000 % |
956.51/957.17 c | 1336272 | 1000 20000 100000 | 89957 84748 143 | 0.000 % |
957.61/958.29 c | 1337812 | 1000 20000 100000 | 89957 86288 143 | 0.000 % |
958.81/959.42 c | 1339506 | 1000 20000 100000 | 89957 87982 143 | 0.000 % |
960.31/960.95 c | 1341370 | 1000 20000 100000 | 88478 79921 143 | 0.000 % |
961.71/962.34 c | 1343419 | 1000 20000 100000 | 88478 81970 143 | 0.000 % |
963.31/963.92 c | 1345672 | 1000 20000 100000 | 88478 84223 143 | 0.000 % |
965.11/965.71 c | 1348152 | 1000 20000 100000 | 88478 86703 143 | 0.000 % |
967.00/967.62 c | 1350878 | 1000 20000 100000 | 88551 80418 143 | 0.000 % |
969.00/969.69 c | 1353875 | 1000 20000 100000 | 88551 83415 143 | 0.000 % |
971.30/971.99 c | 1357171 | 1000 20000 100000 | 88551 86711 143 | 0.000 % |
973.90/974.59 c | 1360796 | 1000 20000 100000 | 2147483647 81445 142 | 0.000 % |
976.70/977.38 c | 1364784 | 1000 20000 100000 | 2147483647 85433 142 | 0.000 % |
979.90/980.59 c | 1369169 | 1000 20000 100000 | 2147483647 89818 142 | 0.000 % |
983.59/984.27 c | 1373992 | 1000 20000 100000 | 2147483647 94641 142 | 0.000 % |
987.79/988.46 c | 1379297 | 1000 20000 100000 | 2147483647 99946 141 | 0.000 % |
992.49/993.15 c | 1385133 | 1000 20000 100000 | 100650 93175 141 | 0.000 % |
997.78/998.43 c | 1391551 | 1000 20000 100000 | 98043 86979 140 | 0.000 % |
1002.98/1003.68 c | 1398610 | 1000 20000 100000 | 98043 94038 140 | 0.000 % |
1009.18/1009.84 c | 1406374 | 1000 20000 100000 | 95429 87707 140 | 0.000 % |
1015.77/1016.41 c | 1414914 | 1000 20000 100000 | 91334 83664 142 | 0.000 % |
1022.47/1023.12 c | 1424308 | 1000 20000 100000 | 88751 82486 143 | 0.000 % |
1030.36/1031.00 c | 1434642 | 1000 20000 100000 | 88180 83030 144 | 0.000 % |
1038.56/1039.25 c | 1446008 | 1000 20000 100000 | 88390 84290 144 | 0.000 % |
1047.05/1047.74 c | 1458513 | 1000 20000 100000 | 88282 86718 145 | 0.000 % |
1047.15/1047.83 c | 1458614 | 1000 20000 100000 | 88282 86819 145 | 0.000 % |
1047.25/1047.91 c | 1458725 | 1000 20000 100000 | 88282 86930 145 | 0.000 % |
1047.35/1048.02 c | 1458846 | 1000 20000 100000 | 88282 87051 145 | 0.000 % |
1047.45/1048.13 c | 1458979 | 1000 20000 100000 | 88282 87184 145 | 0.000 % |
1047.56/1048.27 c | 1459125 | 1000 20000 100000 | 88282 87330 145 | 0.000 % |
1047.65/1048.39 c | 1459285 | 1000 20000 100000 | 88282 87490 145 | 0.000 % |
1047.85/1048.53 c | 1459465 | 1000 20000 100000 | 88282 87670 145 | 0.000 % |
1047.95/1048.68 c | 1459658 | 1000 20000 100000 | 88282 87863 145 | 0.000 % |
1048.15/1048.85 c | 1459871 | 1000 20000 100000 | 88282 88076 145 | 0.000 % |
1048.35/1049.03 c | 1460106 | 1000 20000 100000 | 88208 88311 145 | 0.000 % |
1048.55/1049.28 c | 1460363 | 1000 20000 100000 | 88208 78285 146 | 0.000 % |
1048.75/1049.49 c | 1460645 | 1000 20000 100000 | 88208 78567 146 | 0.000 % |
1049.05/1049.70 c | 1460955 | 1000 20000 100000 | 88208 78877 146 | 0.000 % |
1049.25/1049.95 c | 1461294 | 1000 20000 100000 | 88208 79216 146 | 0.000 % |
1049.45/1050.20 c | 1461668 | 1000 20000 100000 | 88208 79590 146 | 0.000 % |
1049.85/1050.50 c | 1462077 | 1000 20000 100000 | 88208 79999 146 | 0.000 % |
1050.15/1050.87 c | 1462526 | 1000 20000 100000 | 88208 80448 145 | 0.000 % |
1050.55/1051.22 c | 1463020 | 1000 20000 100000 | 88208 80942 145 | 0.000 % |
1050.95/1051.65 c | 1463563 | 1000 20000 100000 | 88208 81485 145 | 0.000 % |
1051.45/1052.11 c | 1464159 | 1000 20000 100000 | 88208 82081 145 | 0.000 % |
1051.95/1052.64 c | 1464814 | 1000 20000 100000 | 88208 82736 145 | 0.000 % |
1052.45/1053.18 c | 1465536 | 1000 20000 100000 | 88208 83458 145 | 0.000 % |
1053.15/1053.82 c | 1466328 | 1000 20000 100000 | 88208 84250 145 | 0.000 % |
1053.75/1054.45 c | 1467199 | 1000 20000 100000 | 88208 85121 145 | 0.000 % |
1054.45/1055.14 c | 1468158 | 1000 20000 100000 | 88208 86080 145 | 0.000 % |
1055.25/1055.91 c | 1469212 | 1000 20000 100000 | 88208 87134 145 | 0.000 % |
1056.05/1056.79 c | 1470371 | 1000 20000 100000 | 87924 78847 145 | 0.000 % |
1056.95/1057.68 c | 1471645 | 1000 20000 100000 | 87924 80121 144 | 0.000 % |
1057.95/1058.66 c | 1473045 | 1000 20000 100000 | 87924 81521 144 | 0.000 % |
1059.05/1059.72 c | 1474586 | 1000 20000 100000 | 87924 83062 144 | 0.000 % |
1060.24/1060.96 c | 1476280 | 1000 20000 100000 | 87924 84756 144 | 0.000 % |
1061.64/1062.32 c | 1478144 | 1000 20000 100000 | 87924 86620 143 | 0.000 % |
1063.14/1063.81 c | 1480194 | 1000 20000 100000 | 2147483647 79843 143 | 0.000 % |
1064.64/1065.33 c | 1482448 | 1000 20000 100000 | 2147483647 82097 143 | 0.000 % |
1066.34/1067.01 c | 1484926 | 1000 20000 100000 | 2147483647 84575 143 | 0.000 % |
1068.24/1068.97 c | 1487652 | 1000 20000 100000 | 2147483647 87301 143 | 0.000 % |
1070.54/1071.25 c | 1490649 | 1000 20000 100000 | 2147483647 90298 142 | 0.000 % |
1073.04/1073.76 c | 1493946 | 1000 20000 100000 | 2147483647 93595 142 | 0.000 % |
1075.84/1076.54 c | 1497571 | 1000 20000 100000 | 2147483647 97220 142 | 0.000 % |
1079.14/1079.87 c | 1501558 | 1000 20000 100000 | 99649 88291 139 | 0.000 % |
1082.54/1083.28 c | 1505943 | 1000 20000 100000 | 99649 92676 139 | 0.000 % |
1086.23/1086.97 c | 1510766 | 1000 20000 100000 | 96733 85014 140 | 0.000 % |
1090.13/1090.89 c | 1516071 | 1000 20000 100000 | 96733 90319 140 | 0.000 % |
1094.72/1095.40 c | 1521906 | 1000 20000 100000 | 94248 85137 140 | 0.000 % |
1099.42/1100.19 c | 1528324 | 1000 20000 100000 | 94248 91555 140 | 0.000 % |
1104.82/1105.57 c | 1535383 | 1000 20000 100000 | 93231 87146 140 | 0.000 % |
1110.72/1111.42 c | 1543148 | 1000 20000 100000 | 91764 84466 140 | 0.000 % |
1117.31/1118.05 c | 1551689 | 1000 20000 100000 | 91320 82793 141 | 0.000 % |
1124.71/1125.43 c | 1561083 | 1000 20000 100000 | 91104 80929 142 | 0.000 % |
1131.81/1132.56 c | 1571417 | 1000 20000 100000 | 89846 81169 143 | 0.000 % |
1139.90/1140.64 c | 1582783 | 1000 20000 100000 | 89753 82758 143 | 0.000 % |
1149.60/1150.35 c | 1595285 | 1000 20000 100000 | 2147483647 95260 144 | 0.000 % |
1161.00/1161.74 c | 1609038 | 1000 20000 100000 | 99975 95914 144 | 0.000 % |
1161.10/1161.85 c | 1609139 | 1000 20000 100000 | 99975 96015 144 | 0.000 % |
1161.20/1161.95 c | 1609249 | 1000 20000 100000 | 99975 96125 144 | 0.000 % |
1161.30/1162.05 c | 1609372 | 1000 20000 100000 | 99975 96248 144 | 0.000 % |
1161.40/1162.16 c | 1609505 | 1000 20000 100000 | 99975 96381 144 | 0.000 % |
1161.60/1162.33 c | 1609654 | 1000 20000 100000 | 99975 96530 144 | 0.000 % |
1161.70/1162.49 c | 1609814 | 1000 20000 100000 | 99975 96690 144 | 0.000 % |
1161.90/1162.64 c | 1609990 | 1000 20000 100000 | 99975 96866 144 | 0.000 % |
1162.10/1162.82 c | 1610184 | 1000 20000 100000 | 96876 97060 144 | 0.000 % |
1162.30/1163.08 c | 1610399 | 1000 20000 100000 | 96876 84359 143 | 0.000 % |
1162.50/1163.26 c | 1610632 | 1000 20000 100000 | 96876 84592 143 | 0.000 % |
1162.70/1163.45 c | 1610891 | 1000 20000 100000 | 96876 84851 143 | 0.000 % |
1162.90/1163.65 c | 1611172 | 1000 20000 100000 | 96876 85132 143 | 0.000 % |
1163.10/1163.88 c | 1611481 | 1000 20000 100000 | 96876 85441 143 | 0.000 % |
1163.40/1164.12 c | 1611821 | 1000 20000 100000 | 96876 85781 143 | 0.000 % |
1163.70/1164.40 c | 1612193 | 1000 20000 100000 | 96876 86153 143 | 0.000 % |
1164.00/1164.70 c | 1612602 | 1000 20000 100000 | 96876 86562 143 | 0.000 % |
1164.30/1165.01 c | 1613052 | 1000 20000 100000 | 96876 87012 143 | 0.000 % |
1164.70/1165.45 c | 1613545 | 1000 20000 100000 | 96876 87505 143 | 0.000 % |
1165.20/1165.92 c | 1614087 | 1000 20000 100000 | 96876 88047 143 | 0.000 % |
1165.70/1166.44 c | 1614684 | 1000 20000 100000 | 96876 88644 143 | 0.000 % |
1166.20/1166.94 c | 1615339 | 1000 20000 100000 | 96876 89299 142 | 0.000 % |
1166.80/1167.53 c | 1616059 | 1000 20000 100000 | 96876 90019 142 | 0.000 % |
1167.40/1168.14 c | 1616852 | 1000 20000 100000 | 96876 90812 142 | 0.000 % |
1168.10/1168.82 c | 1617723 | 1000 20000 100000 | 96876 91683 142 | 0.000 % |
1168.80/1169.58 c | 1618681 | 1000 20000 100000 | 96876 92641 142 | 0.000 % |
1169.70/1170.41 c | 1619735 | 1000 20000 100000 | 96876 93695 142 | 0.000 % |
1170.59/1171.35 c | 1620893 | 1000 20000 100000 | 93960 82247 141 | 0.000 % |
1171.49/1172.26 c | 1622166 | 1000 20000 100000 | 93960 83520 141 | 0.000 % |
1172.39/1173.14 c | 1623566 | 1000 20000 100000 | 93960 84920 141 | 0.000 % |
1173.59/1174.39 c | 1625106 | 1000 20000 100000 | 93960 86460 141 | 0.000 % |
1174.89/1175.65 c | 1626800 | 1000 20000 100000 | 93960 88154 141 | 0.000 % |
1176.20/1176.96 c | 1628667 | 1000 20000 100000 | 93960 90021 141 | 0.000 % |
1177.79/1178.53 c | 1630717 | 1000 20000 100000 | 91354 81435 141 | 0.000 % |
1179.39/1180.20 c | 1632971 | 1000 20000 100000 | 91354 83689 140 | 0.000 % |
1181.19/1181.92 c | 1635450 | 1000 20000 100000 | 91354 86168 140 | 0.000 % |
1183.08/1183.90 c | 1638175 | 1000 20000 100000 | 91354 88893 140 | 0.000 % |
1185.48/1186.20 c | 1641174 | 1000 20000 100000 | 90721 82347 140 | 0.000 % |
1187.78/1188.51 c | 1644470 | 1000 20000 100000 | 90721 85643 140 | 0.000 % |
1190.38/1191.12 c | 1648097 | 1000 20000 100000 | 90721 89270 140 | 0.000 % |
1193.18/1193.97 c | 1652086 | 1000 20000 100000 | 2147483647 84149 139 | 0.000 % |
1196.28/1197.00 c | 1656472 | 1000 20000 100000 | 2147483647 88535 139 | 0.000 % |
1199.68/1200.42 c | 1661296 | 1000 20000 100000 | 92063 82885 139 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832447-1242773334/watcher-1832447-1242773334 -o /tmp/evaluation-result-1832447-1242773334/solver-1832447-1242773334 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832447-1242773334.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.91 0.97 0.95 3/65 10595
/proc/meminfo: memFree=1807736/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305362672 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 243665698898 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/10595/statm: 1339 235 195 169 0 50 0
[pid=10596] ppid=10595 vsize=5356 CPUtime=0
/proc/10596/stat : 10596 (SatELiteGTI) S 10595 10595 10344 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 305362672 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/10596/statm: 1339 238 198 169 0 50 0
[pid=10598] ppid=10596 vsize=5356 CPUtime=0
/proc/10598/stat : 10598 (SatELiteGTI) R 10596 10595 10344 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665530151 0 0 4096 0 0 0 0 17 1 0 0
/proc/10598/statm: 1339 239 199 169 0 50 0
[startup+0.0703991 s]
/proc/loadavg: 0.91 0.97 0.95 3/65 10595
/proc/meminfo: memFree=1807736/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.101403 s]
/proc/loadavg: 0.91 0.97 0.95 3/65 10595
/proc/meminfo: memFree=1807736/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.301439 s]
/proc/loadavg: 0.91 0.97 0.95 3/65 10595
/proc/meminfo: memFree=1807736/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.701511 s]
/proc/loadavg: 0.91 0.97 0.95 3/65 10595
/proc/meminfo: memFree=1807736/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50166 s]
/proc/loadavg: 0.91 0.97 0.95 2/67 10601
/proc/meminfo: memFree=1801640/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
[pid=10601] ppid=10595 vsize=7036 CPUtime=1.43
/proc/10601/stat : 10601 (minisat_static) R 10595 10595 10344 0 -1 4194304 1503 0 0 0 143 0 0 0 25 0 1 0 305362678 7204864 1489 1992294400 134512640 135215339 4294956240 18446744073709551615 134538089 0 0 4096 3 0 0 0 17 0 0 0
/proc/10601/statm: 1759 1489 77 171 0 1586 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12392
[startup+3.10295 s]
/proc/loadavg: 0.91 0.97 0.95 2/67 10601
/proc/meminfo: memFree=1799208/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
[pid=10601] ppid=10595 vsize=11656 CPUtime=3.04
/proc/10601/stat : 10601 (minisat_static) R 10595 10595 10344 0 -1 4194304 2683 0 0 0 303 1 0 0 25 0 1 0 305362678 11935744 2669 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/10601/statm: 2914 2669 77 171 0 2741 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17012
[startup+6.30152 s]
/proc/loadavg: 0.92 0.97 0.95 2/67 10601
/proc/meminfo: memFree=1791336/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
[pid=10601] ppid=10595 vsize=18288 CPUtime=6.23
/proc/10601/stat : 10601 (minisat_static) R 10595 10595 10344 0 -1 4194304 4318 0 0 0 622 1 0 0 25 0 1 0 305362678 18726912 4304 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/10601/statm: 4572 4305 77 171 0 4399 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 23644
[startup+12.7017 s]
/proc/loadavg: 0.93 0.97 0.95 2/67 10601
/proc/meminfo: memFree=1781432/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
[pid=10601] ppid=10595 vsize=27476 CPUtime=12.62
/proc/10601/stat : 10601 (minisat_static) R 10595 10595 10344 0 -1 4194304 6604 0 0 0 1259 3 0 0 25 0 1 0 305362678 28135424 6590 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/10601/statm: 6869 6590 77 171 0 6696 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 32832
[startup+25.502 s]
/proc/loadavg: 0.94 0.97 0.95 2/67 10601
/proc/meminfo: memFree=1767736/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
[pid=10601] ppid=10595 vsize=40664 CPUtime=25.41
/proc/10601/stat : 10601 (minisat_static) R 10595 10595 10344 0 -1 4194304 9892 0 0 0 2536 5 0 0 25 0 1 0 305362678 41639936 9878 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10601/statm: 10166 9878 77 171 0 9993 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 46020
[startup+51.1016 s]
/proc/loadavg: 0.96 0.97 0.95 2/67 10601
/proc/meminfo: memFree=1752952/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
[pid=10601] ppid=10595 vsize=55100 CPUtime=51.01
/proc/10601/stat : 10601 (minisat_static) R 10595 10595 10344 0 -1 4194304 13501 0 0 0 5091 10 0 0 25 0 1 0 305362678 56422400 13487 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10601/statm: 13775 13487 77 171 0 13602 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 60456
[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.95 2/67 10601
/proc/meminfo: memFree=1752760/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
[pid=10601] ppid=10595 vsize=55100 CPUtime=102.18
/proc/10601/stat : 10601 (minisat_static) R 10595 10595 10344 0 -1 4194304 13501 0 0 0 10208 10 0 0 25 0 1 0 305362678 56422400 13487 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/10601/statm: 13775 13487 77 171 0 13602 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 60456
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 10601
/proc/meminfo: memFree=1752184/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
[pid=10601] ppid=10595 vsize=55628 CPUtime=162.14
/proc/10601/stat : 10601 (minisat_static) R 10595 10595 10344 0 -1 4194304 13619 0 0 0 16204 10 0 0 25 0 1 0 305362678 56963072 13605 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10601/statm: 13907 13605 77 171 0 13734 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 60984
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 10601
/proc/meminfo: memFree=1747000/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
[pid=10601] ppid=10595 vsize=60776 CPUtime=222.11
/proc/10601/stat : 10601 (minisat_static) R 10595 10595 10344 0 -1 4194304 14898 0 0 0 22199 12 0 0 25 0 1 0 305362678 62234624 14884 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10601/statm: 15194 14884 77 171 0 15021 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 66132
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 10601
/proc/meminfo: memFree=1746936/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
[pid=10601] ppid=10595 vsize=60716 CPUtime=282.06
/proc/10601/stat : 10601 (minisat_static) R 10595 10595 10344 0 -1 4194304 14898 0 0 0 28194 12 0 0 25 0 1 0 305362678 62173184 14884 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10601/statm: 15179 14884 77 171 0 15006 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 66072
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 10601
/proc/meminfo: memFree=1746808/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
[pid=10601] ppid=10595 vsize=60716 CPUtime=342.04
/proc/10601/stat : 10601 (minisat_static) R 10595 10595 10344 0 -1 4194304 14898 0 0 0 34191 13 0 0 25 0 1 0 305362678 62173184 14884 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10601/statm: 15179 14884 77 171 0 15006 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 66072
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 10601
/proc/meminfo: memFree=1744888/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
[pid=10601] ppid=10595 vsize=62432 CPUtime=402
################
# More data... #
################
/proc/10601/statm: 15608 15332 77 171 0 15435 0
Current children cumulated CPU time (s) 521.96
Current children cumulated vsize (KiB) 67788
[startup+582.303 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 10601
/proc/meminfo: memFree=1743032/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
[pid=10601] ppid=10595 vsize=64016 CPUtime=581.89
/proc/10601/stat : 10601 (minisat_static) R 10595 10595 10344 0 -1 4194304 15727 0 0 0 58175 14 0 0 25 0 1 0 305362678 65552384 15713 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10601/statm: 16004 15713 77 171 0 15831 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 69372
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 10601
/proc/meminfo: memFree=1743032/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
[pid=10601] ppid=10595 vsize=63744 CPUtime=641.85
/proc/10601/stat : 10601 (minisat_static) R 10595 10595 10344 0 -1 4194304 15727 0 0 0 64171 14 0 0 25 0 1 0 305362678 65273856 15660 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10601/statm: 15936 15660 77 171 0 15763 0
Current children cumulated CPU time (s) 641.89
Current children cumulated vsize (KiB) 69100
[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 10601
/proc/meminfo: memFree=1742904/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
[pid=10601] ppid=10595 vsize=63744 CPUtime=701.81
/proc/10601/stat : 10601 (minisat_static) R 10595 10595 10344 0 -1 4194304 15727 0 0 0 70167 14 0 0 25 0 1 0 305362678 65273856 15660 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10601/statm: 15936 15660 77 171 0 15763 0
Current children cumulated CPU time (s) 701.85
Current children cumulated vsize (KiB) 69100
[startup+762.305 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 10607
/proc/meminfo: memFree=1741296/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
[pid=10601] ppid=10595 vsize=65196 CPUtime=761.79
/proc/10601/stat : 10601 (minisat_static) R 10595 10595 10344 0 -1 4194304 16087 0 0 0 76164 15 0 0 25 0 1 0 305362678 66760704 16020 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10601/statm: 16299 16020 77 171 0 16126 0
Current children cumulated CPU time (s) 761.83
Current children cumulated vsize (KiB) 70552
[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 10607
/proc/meminfo: memFree=1741296/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
[pid=10601] ppid=10595 vsize=65196 CPUtime=821.75
/proc/10601/stat : 10601 (minisat_static) R 10595 10595 10344 0 -1 4194304 16087 0 0 0 82160 15 0 0 25 0 1 0 305362678 66760704 16020 1992294400 134512640 135215339 4294956240 18446744073709551615 134528764 0 0 4096 3 0 0 0 17 0 0 0
/proc/10601/statm: 16299 16020 77 171 0 16126 0
Current children cumulated CPU time (s) 821.79
Current children cumulated vsize (KiB) 70552
[startup+882.303 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 10607
/proc/meminfo: memFree=1741296/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
[pid=10601] ppid=10595 vsize=65196 CPUtime=881.71
/proc/10601/stat : 10601 (minisat_static) R 10595 10595 10344 0 -1 4194304 16087 0 0 0 88156 15 0 0 25 0 1 0 305362678 66760704 16020 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10601/statm: 16299 16020 77 171 0 16126 0
Current children cumulated CPU time (s) 881.75
Current children cumulated vsize (KiB) 70552
[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 10607
/proc/meminfo: memFree=1741232/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
[pid=10601] ppid=10595 vsize=65196 CPUtime=941.68
/proc/10601/stat : 10601 (minisat_static) R 10595 10595 10344 0 -1 4194304 16087 0 0 0 94153 15 0 0 25 0 1 0 305362678 66760704 16020 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10601/statm: 16299 16020 77 171 0 16126 0
Current children cumulated CPU time (s) 941.72
Current children cumulated vsize (KiB) 70552
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 10607
/proc/meminfo: memFree=1739824/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
[pid=10601] ppid=10595 vsize=66648 CPUtime=1001.64
/proc/10601/stat : 10601 (minisat_static) R 10595 10595 10344 0 -1 4194304 16422 0 0 0 100149 15 0 0 25 0 1 0 305362678 68247552 16355 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10601/statm: 16662 16355 77 171 0 16489 0
Current children cumulated CPU time (s) 1001.68
Current children cumulated vsize (KiB) 72004
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 10607
/proc/meminfo: memFree=1739704/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
[pid=10601] ppid=10595 vsize=66632 CPUtime=1061.6
/proc/10601/stat : 10601 (minisat_static) R 10595 10595 10344 0 -1 4194304 16422 0 0 0 106145 15 0 0 25 0 1 0 305362678 68231168 16355 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10601/statm: 16658 16355 77 171 0 16485 0
Current children cumulated CPU time (s) 1061.64
Current children cumulated vsize (KiB) 71988
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 10607
/proc/meminfo: memFree=1739640/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
[pid=10601] ppid=10595 vsize=66632 CPUtime=1121.57
/proc/10601/stat : 10601 (minisat_static) R 10595 10595 10344 0 -1 4194304 16422 0 0 0 112142 15 0 0 25 0 1 0 305362678 68231168 16355 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10601/statm: 16658 16355 77 171 0 16485 0
Current children cumulated CPU time (s) 1121.61
Current children cumulated vsize (KiB) 71988
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 10607
/proc/meminfo: memFree=1738488/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
[pid=10601] ppid=10595 vsize=67556 CPUtime=1181.54
/proc/10601/stat : 10601 (minisat_static) R 10595 10595 10344 0 -1 4194304 16677 0 0 0 118138 16 0 0 25 0 1 0 305362678 69177344 16610 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10601/statm: 16889 16610 77 171 0 16716 0
Current children cumulated CPU time (s) 1181.58
Current children cumulated vsize (KiB) 72912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 10607
/proc/meminfo: memFree=1738488/2055920 swapFree=4075908/4192956
[pid=10595] ppid=10593 vsize=5356 CPUtime=0.04
/proc/10595/stat : 10595 (SatELiteGTI) S 10593 10595 10344 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305362672 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10595/statm: 1339 239 197 169 0 50 0
[pid=10601] ppid=10595 vsize=67556 CPUtime=1200.04
/proc/10601/stat : 10601 (minisat_static) R 10595 10595 10344 0 -1 4194304 16677 0 0 0 119988 16 0 0 25 0 1 0 305362678 69177344 16610 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10601/statm: 16889 16610 77 171 0 16716 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 72912
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10595 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=46992
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=8998
# CPU time returned by wait4() is 0.05599
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.81
CPU time (s): 1200.08
CPU user time (s): 1199.92
CPU system time (s): 0.16
CPU usage (%): 99.939
Max. virtual memory (cumulated for all children) (KiB): 72912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.046992
system time used= 0.008998
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= 14
involuntary context switches= 17
runsolver used 1.18982 second user time and 3.2855 second system time
The end
Begin job on node84 at 2009-05-20 00:48:54
IDJOB=1832447
IDBENCH=70187
IDSOLVER=671
FILE ID=node84/1832447-1242773334
PBS_JOBID= 9322220
Free space on /tmp= 66292 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/1000/unif-k5-r20-v1000-c20000-S1284372491-036.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832447-1242773334/watcher-1832447-1242773334 -o /tmp/evaluation-result-1832447-1242773334/solver-1832447-1242773334 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832447-1242773334.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2936351992cd53f891ea98e5e0e8663e
RANDOM SEED=1912880590
node84.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.259
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.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1808216 kB
Buffers: 13680 kB
Cached: 89628 kB
SwapCached: 111164 kB
Active: 117792 kB
Inactive: 98328 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1808216 kB
SwapTotal: 4192956 kB
SwapFree: 4075908 kB
Dirty: 2048 kB
Writeback: 0 kB
Mapped: 15988 kB
Slab: 17664 kB
Committed_AS: 965984 kB
PageTables: 1380 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66288 MiB
End job on node84 at 2009-05-20 01:08:57