0.00/0.00 c Parsing...
0.00/0.01 c ==============================================================================
0.00/0.01 c | | ORIGINAL | LEARNT | |
0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.01 c ==============================================================================
0.00/0.01 c | 0 | 14710 33107 | 4412 0 0 nan | 0.000 % |
0.00/0.03 c ==============================================================================
0.00/0.03 c Result : #vars: 2211 #clauses: 14710 #literals: 33107
0.00/0.03 c CPU time: 0.030995 s
0.00/0.03 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: 2211 |
0.00/0.05 c | Number of clauses: 14710 |
0.00/0.06 c | Parsing time: 0.01 s |
0.00/0.06 c ============================[ Search Statistics ]==============================
0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.06 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.06 c ===============================================================================
0.00/0.06 c | 0 | 2211 14710 33107 | 4903 0 nan | 0.000 % |
0.00/0.07 c | 100 | 2210 14710 33107 | 4903 99 27 | 0.046 % |
0.00/0.08 c | 200 | 2210 14710 33107 | 4903 199 31 | 0.045 % |
0.00/0.09 c | 301 | 2210 14703 33093 | 4903 299 31 | 0.090 % |
0.04/0.10 c | 411 | 2210 14703 33093 | 4903 409 32 | 0.091 % |
0.04/0.11 c | 512 | 2209 14692 33071 | 4903 510 33 | 0.090 % |
0.04/0.12 c | 623 | 2209 14692 33071 | 4903 621 35 | 0.091 % |
0.04/0.14 c | 744 | 2208 14679 33045 | 4903 741 37 | 0.136 % |
0.04/0.15 c | 844 | 2208 14679 33045 | 4903 841 37 | 0.136 % |
0.04/0.16 c | 955 | 2207 14668 33023 | 4903 951 38 | 0.181 % |
0.04/0.18 c | 1078 | 2207 14668 33023 | 4903 1074 38 | 0.181 % |
0.04/0.20 c | 1212 | 2206 14660 33007 | 4903 1207 39 | 0.226 % |
0.04/0.21 c | 1312 | 2206 14660 33007 | 4903 1305 40 | 0.317 % |
0.04/0.22 c | 1422 | 2206 14660 33007 | 4903 1415 40 | 0.317 % |
0.04/0.24 c | 1544 | 2204 14637 32961 | 4903 1537 39 | 0.317 % |
0.04/0.25 c | 1677 | 2204 14637 32961 | 4903 1669 39 | 0.362 % |
0.04/0.27 c | 1823 | 2204 14637 32961 | 4903 1815 39 | 0.362 % |
0.04/0.29 c | 1923 | 2203 14628 32943 | 4903 1915 39 | 0.362 % |
0.04/0.30 c | 2033 | 2203 14628 32943 | 4903 2024 39 | 0.407 % |
0.04/0.32 c | 2154 | 2203 14628 32943 | 4903 2145 39 | 0.407 % |
0.04/0.34 c | 2287 | 2202 14619 32925 | 4903 2278 39 | 0.407 % |
0.04/0.36 c | 2433 | 2202 14619 32925 | 4903 2424 40 | 0.407 % |
0.04/0.38 c | 2593 | 2202 14619 32925 | 4903 2584 40 | 0.407 % |
0.04/0.40 c | 2693 | 2201 14610 32907 | 4903 2683 40 | 0.452 % |
0.04/0.41 c | 2808 | 2201 14610 32907 | 4903 2798 40 | 0.452 % |
0.04/0.43 c | 2930 | 2201 14610 32907 | 4903 2920 41 | 0.452 % |
0.04/0.45 c | 3064 | 2201 14610 32907 | 4903 3054 41 | 0.452 % |
0.04/0.47 c | 3212 | 2200 14598 32883 | 4903 3201 41 | 0.498 % |
0.04/0.49 c | 3374 | 2200 14598 32883 | 4903 3363 41 | 0.498 % |
0.04/0.52 c | 3553 | 2200 14598 32883 | 4903 3542 41 | 0.498 % |
0.04/0.53 c | 3653 | 2200 14598 32883 | 4903 3642 41 | 0.498 % |
0.04/0.55 c | 3766 | 2200 14598 32883 | 4903 3755 41 | 0.498 % |
0.04/0.57 c | 3887 | 2200 14598 32883 | 4903 3876 41 | 0.498 % |
0.04/0.59 c | 4021 | 2200 14598 32883 | 4903 4010 41 | 0.498 % |
0.04/0.61 c | 4168 | 2200 14598 32883 | 4903 4157 41 | 0.498 % |
0.04/0.64 c | 4330 | 2200 14598 32883 | 4903 4319 41 | 0.498 % |
0.04/0.67 c | 4506 | 2200 14598 32883 | 4903 4495 42 | 0.498 % |
0.04/0.70 c | 4700 | 2200 14598 32883 | 4903 4689 42 | 0.498 % |
0.04/0.72 c | 4802 | 2200 14598 32883 | 4903 4791 42 | 0.498 % |
0.04/0.74 c | 4913 | 2200 14598 32883 | 4903 4902 42 | 0.498 % |
0.04/0.76 c | 5035 | 2200 14598 32883 | 4903 5024 42 | 0.498 % |
0.04/0.78 c | 5169 | 2200 14598 32883 | 4903 4656 41 | 0.498 % |
0.04/0.81 c | 5317 | 2200 14598 32883 | 4903 4804 41 | 0.498 % |
0.04/0.83 c | 5477 | 2200 14598 32883 | 4903 4964 41 | 0.498 % |
0.04/0.87 c | 5653 | 2199 14589 32865 | 4903 4643 41 | 0.543 % |
0.04/0.90 c | 5848 | 2199 14589 32865 | 4903 4837 40 | 0.588 % |
0.04/0.94 c | 6062 | 2199 14589 32865 | 4903 5051 41 | 0.588 % |
0.04/0.96 c | 6165 | 2199 14589 32865 | 4903 4649 40 | 0.588 % |
0.04/0.98 c | 6275 | 2199 14589 32865 | 4903 4759 40 | 0.588 % |
0.98/1.00 c | 6396 | 2199 14589 32865 | 4903 4880 40 | 0.588 % |
0.98/1.03 c | 6530 | 2198 14577 32841 | 4903 4516 39 | 0.588 % |
0.98/1.06 c | 6679 | 2198 14577 32841 | 4903 4665 39 | 0.588 % |
0.98/1.09 c | 6840 | 2198 14577 32841 | 4903 4826 40 | 0.588 % |
1.08/1.13 c | 7017 | 2198 14577 32841 | 4903 5003 40 | 0.588 % |
1.08/1.16 c | 7213 | 2198 14577 32841 | 4903 4699 38 | 0.588 % |
1.17/1.20 c | 7425 | 2198 14577 32841 | 4903 4911 39 | 0.588 % |
1.17/1.24 c | 7659 | 2198 14577 32841 | 4903 5145 39 | 0.588 % |
1.17/1.26 c | 7759 | 2198 14577 32841 | 4903 4731 39 | 0.588 % |
1.17/1.28 c | 7869 | 2198 14577 32841 | 4903 4841 39 | 0.588 % |
1.27/1.30 c | 7990 | 2198 14577 32841 | 4903 4962 39 | 0.588 % |
1.27/1.33 c | 8123 | 2198 14577 32841 | 4903 4599 38 | 0.588 % |
1.27/1.35 c | 8269 | 2198 14577 32841 | 4903 4745 38 | 0.588 % |
1.27/1.38 c | 8430 | 2198 14577 32841 | 4903 4906 38 | 0.588 % |
1.37/1.41 c | 8607 | 2198 14577 32841 | 4903 4578 37 | 0.588 % |
1.37/1.45 c | 8802 | 2198 14577 32841 | 4903 4773 38 | 0.588 % |
1.37/1.49 c | 9014 | 2198 14577 32841 | 4903 4985 39 | 0.588 % |
1.47/1.53 c | 9250 | 2198 14577 32841 | 4903 4723 39 | 0.588 % |
1.47/1.57 c | 9506 | 2198 14577 32841 | 4903 4979 40 | 0.588 % |
1.47/1.59 c | 9607 | 2198 14577 32841 | 4903 4583 39 | 0.589 % |
1.57/1.61 c | 9717 | 2198 14577 32841 | 4903 4693 39 | 0.588 % |
1.57/1.63 c | 9838 | 2198 14577 32841 | 4903 4814 39 | 0.588 % |
1.57/1.66 c | 9971 | 2198 14577 32841 | 4903 4947 40 | 0.588 % |
1.57/1.69 c | 10118 | 2198 14577 32841 | 2147483647 4600 39 | 0.588 % |
1.67/1.72 c | 10278 | 2198 14577 32841 | 2147483647 4760 40 | 0.588 % |
1.67/1.75 c | 10456 | 2198 14577 32841 | 2147483647 4938 40 | 0.588 % |
1.67/1.78 c | 10651 | 2198 14577 32841 | 2147483647 5133 40 | 0.588 % |
1.77/1.82 c | 10864 | 2198 14577 32841 | 2147483647 5346 40 | 0.588 % |
1.77/1.87 c | 11098 | 2198 14577 32841 | 2147483647 5580 40 | 0.588 % |
1.87/1.92 c | 11354 | 2198 14577 32841 | 2147483647 5836 41 | 0.590 % |
1.87/1.97 c | 11637 | 2198 14577 32841 | 2147483647 6119 41 | 0.588 % |
1.87/1.99 c | 11737 | 2198 14577 32841 | 2147483647 6219 42 | 0.588 % |
1.97/2.02 c | 11849 | 2198 14577 32841 | 2147483647 6331 42 | 0.588 % |
1.97/2.04 c | 11970 | 2198 14577 32841 | 2147483647 6452 42 | 0.588 % |
1.97/2.07 c | 12103 | 2198 14577 32841 | 2147483647 6585 42 | 0.588 % |
2.08/2.11 c | 12249 | 2197 14564 32815 | 2147483647 6730 42 | 0.633 % |
2.08/2.15 c | 12410 | 2197 14564 32815 | 2147483647 6891 43 | 0.633 % |
2.08/2.19 c | 12588 | 2197 14564 32815 | 2147483647 7069 43 | 0.633 % |
2.18/2.23 c | 12781 | 2197 14564 32815 | 2147483647 7262 43 | 0.634 % |
2.18/2.28 c | 12994 | 2197 14564 32815 | 2147483647 7475 43 | 0.633 % |
2.27/2.33 c | 13228 | 2197 14564 32815 | 2147483647 7709 43 | 0.633 % |
2.27/2.40 c | 13484 | 2197 14564 32815 | 2147483647 7965 44 | 0.633 % |
2.37/2.47 c | 13767 | 2197 14564 32815 | 2147483647 8248 44 | 0.633 % |
2.47/2.53 c | 14076 | 2197 14564 32815 | 2147483647 8557 44 | 0.633 % |
2.47/2.56 c | 14178 | 2197 14564 32815 | 2147483647 8659 44 | 0.633 % |
2.47/2.59 c | 14288 | 2197 14564 32815 | 2147483647 8769 44 | 0.633 % |
2.57/2.62 c | 14409 | 2197 14564 32815 | 2147483647 8890 44 | 0.633 % |
2.57/2.66 c | 14545 | 2197 14564 32815 | 2147483647 9026 44 | 0.633 % |
2.67/2.70 c | 14691 | 2197 14564 32815 | 2147483647 9172 44 | 0.633 % |
2.67/2.75 c | 14853 | 2197 14564 32815 | 2147483647 9334 44 | 0.633 % |
2.67/2.79 c | 15029 | 2197 14564 32815 | 2147483647 9510 44 | 0.633 % |
2.77/2.84 c | 15223 | 2197 14564 32815 | 2147483647 9704 45 | 0.633 % |
2.87/2.90 c | 15436 | 2197 14564 32815 | 2147483647 9917 45 | 0.633 % |
2.87/2.97 c | 15671 | 2197 14564 32815 | 2147483647 10152 45 | 0.633 % |
2.97/3.04 c | 15927 | 2197 14564 32815 | 2147483647 10408 45 | 0.633 % |
3.07/3.12 c | 16208 | 2197 14564 32815 | 2147483647 10689 45 | 0.633 % |
3.07/3.20 c | 16518 | 2197 14564 32815 | 2147483647 10999 45 | 0.633 % |
3.17/3.30 c | 16858 | 2197 14564 32815 | 2147483647 11339 45 | 0.633 % |
3.27/3.33 c | 16959 | 2197 14564 32815 | 2147483647 11440 45 | 0.633 % |
3.27/3.36 c | 17069 | 2197 14564 32815 | 2147483647 11550 46 | 0.633 % |
3.37/3.40 c | 17192 | 2197 14564 32815 | 2147483647 11673 46 | 0.633 % |
3.37/3.45 c | 17326 | 2197 14564 32815 | 2147483647 11807 46 | 0.633 % |
3.37/3.49 c | 17472 | 2197 14564 32815 | 2147483647 11953 46 | 0.633 % |
3.47/3.54 c | 17632 | 2197 14564 32815 | 2147483647 12113 46 | 0.633 % |
3.57/3.60 c | 17808 | 2197 14564 32815 | 2147483647 12289 46 | 0.633 % |
3.57/3.65 c | 18002 | 2197 14564 32815 | 2147483647 12483 46 | 0.633 % |
3.67/3.73 c | 18214 | 2197 14564 32815 | 2147483647 12695 46 | 0.633 % |
3.77/3.81 c | 18449 | 2197 14564 32815 | 2147483647 12930 46 | 0.635 % |
3.87/3.91 c | 18705 | 2197 14564 32815 | 2147483647 13186 46 | 0.633 % |
3.97/4.01 c | 18986 | 2197 14564 32815 | 2147483647 13467 46 | 0.633 % |
4.07/4.11 c | 19295 | 2197 14564 32815 | 2147483647 13776 46 | 0.633 % |
4.17/4.23 c | 19634 | 2197 14564 32815 | 2147483647 14115 46 | 0.633 % |
4.27/4.35 c | 20007 | 2197 14564 32815 | 2147483647 14488 46 | 0.633 % |
4.27/4.39 c | 20107 | 2197 14564 32815 | 2147483647 14588 46 | 0.633 % |
4.37/4.42 c | 20219 | 2197 14564 32815 | 2147483647 14700 46 | 0.633 % |
4.37/4.47 c | 20340 | 2197 14564 32815 | 2147483647 14821 46 | 0.633 % |
4.47/4.52 c | 20475 | 2197 14564 32815 | 2147483647 14956 46 | 0.633 % |
4.47/4.58 c | 20625 | 2197 14564 32815 | 2147483647 15106 47 | 0.633 % |
4.57/4.64 c | 20785 | 2197 14564 32815 | 2147483647 15266 47 | 0.633 % |
4.67/4.71 c | 20961 | 2197 14564 32815 | 2147483647 15442 47 | 0.633 % |
4.67/4.77 c | 21155 | 2197 14564 32815 | 2147483647 15636 47 | 0.633 % |
4.77/4.86 c | 21367 | 2197 14564 32815 | 2147483647 15848 47 | 0.633 % |
4.87/4.93 c | 21600 | 2197 14564 32815 | 2147483647 16081 47 | 0.633 % |
4.97/5.04 c | 21856 | 2197 14564 32815 | 2147483647 16337 47 | 0.633 % |
5.07/5.15 c | 22139 | 2197 14564 32815 | 2147483647 16620 47 | 0.633 % |
5.17/5.26 c | 22448 | 2197 14564 32815 | 2147483647 16929 48 | 0.634 % |
5.38/5.40 c | 22787 | 2197 14564 32815 | 2147483647 17268 48 | 0.633 % |
5.48/5.56 c | 23160 | 2197 14564 32815 | 2147483647 17641 48 | 0.633 % |
5.67/5.74 c | 23570 | 2197 14564 32815 | 2147483647 18051 48 | 0.633 % |
5.67/5.78 c | 23672 | 2197 14564 32815 | 2147483647 18153 48 | 0.633 % |
5.77/5.83 c | 23783 | 2197 14564 32815 | 2147483647 18264 48 | 0.633 % |
5.77/5.88 c | 23904 | 2197 14564 32815 | 2147483647 18385 48 | 0.633 % |
5.87/5.94 c | 24037 | 2197 14564 32815 | 2147483647 18518 48 | 0.633 % |
5.97/6.01 c | 24183 | 2197 14564 32815 | 2147483647 18664 48 | 0.633 % |
5.97/6.08 c | 24343 | 2197 14564 32815 | 2147483647 18824 48 | 0.633 % |
6.07/6.17 c | 24522 | 2197 14564 32815 | 2147483647 19003 48 | 0.633 % |
6.17/6.27 c | 24716 | 2197 14564 32815 | 2147483647 19197 48 | 0.633 % |
6.27/6.37 c | 24929 | 2197 14564 32815 | 2147483647 19410 48 | 0.634 % |
6.37/6.48 c | 25162 | 2197 14564 32815 | 2147483647 19643 48 | 0.633 % |
6.48/6.60 c | 25418 | 2197 14564 32815 | 2147483647 19899 48 | 0.633 % |
6.67/6.73 c | 25699 | 2197 14564 32815 | 2147483647 20180 48 | 0.633 % |
6.77/6.89 c | 26008 | 2197 14564 32815 | 2147483647 20489 48 | 0.633 % |
6.97/7.05 c | 26347 | 2197 14564 32815 | 2147483647 20828 48 | 0.633 % |
7.17/7.24 c | 26719 | 2197 14564 32815 | 2147483647 21200 48 | 0.633 % |
7.37/7.46 c | 27130 | 2197 14564 32815 | 2147483647 21611 48 | 0.633 % |
7.57/7.68 c | 27581 | 2197 14564 32815 | 2147483647 22062 48 | 0.633 % |
7.67/7.73 c | 27681 | 2197 14564 32815 | 2147483647 22162 48 | 0.633 % |
7.77/7.81 c | 27791 | 2197 14564 32815 | 2147483647 22272 48 | 0.633 % |
7.77/7.88 c | 27912 | 2197 14564 32815 | 2147483647 22393 48 | 0.633 % |
7.87/7.95 c | 28045 | 2197 14564 32815 | 2147483647 22526 48 | 0.633 % |
7.97/8.05 c | 28191 | 2197 14564 32815 | 2147483647 22672 48 | 0.633 % |
8.07/8.12 c | 28353 | 2197 14564 32815 | 2147483647 22834 48 | 0.633 % |
8.17/8.21 c | 28530 | 2197 14564 32815 | 2147483647 23011 49 | 0.633 % |
8.27/8.33 c | 28723 | 2197 14564 32815 | 2147483647 23204 49 | 0.633 % |
8.37/8.42 c | 28935 | 2197 14564 32815 | 2147483647 23416 49 | 0.634 % |
8.47/8.55 c | 29168 | 2197 14564 32815 | 2147483647 23649 49 | 0.633 % |
8.67/8.71 c | 29426 | 2197 14564 32815 | 2147483647 23907 49 | 0.633 % |
8.77/8.88 c | 29707 | 2197 14564 32815 | 2147483647 24188 48 | 0.633 % |
8.96/9.07 c | 30016 | 2197 14564 32815 | 2147483647 24497 49 | 0.633 % |
9.16/9.29 c | 30355 | 2197 14564 32815 | 2147483647 24836 49 | 0.634 % |
9.46/9.52 c | 30728 | 2197 14564 32815 | 2147483647 25209 48 | 0.633 % |
9.66/9.75 c | 31137 | 2197 14564 32815 | 2147483647 25618 49 | 0.633 % |
9.96/10.02 c | 31588 | 2197 14564 32815 | 2147483647 26069 48 | 0.633 % |
10.27/10.34 c | 32082 | 2197 14564 32815 | 2147483647 26563 48 | 0.634 % |
10.37/10.42 c | 32182 | 2197 14564 32815 | 2147483647 26663 48 | 0.633 % |
10.37/10.49 c | 32294 | 2197 14564 32815 | 2147483647 26775 48 | 0.633 % |
10.47/10.58 c | 32416 | 2197 14564 32815 | 2147483647 26897 48 | 0.633 % |
10.57/10.66 c | 32549 | 2197 14564 32815 | 2147483647 27030 49 | 0.633 % |
10.67/10.78 c | 32697 | 2197 14564 32815 | 2147483647 27178 49 | 0.633 % |
10.77/10.88 c | 32861 | 2197 14564 32815 | 2147483647 27342 48 | 0.633 % |
10.97/11.00 c | 33039 | 2197 14564 32815 | 2147483647 27520 48 | 0.633 % |
11.07/11.13 c | 33232 | 2197 14564 32815 | 2147483647 27713 48 | 0.633 % |
11.17/11.25 c | 33444 | 2197 14564 32815 | 2147483647 27925 48 | 0.633 % |
11.37/11.40 c | 33678 | 2197 14564 32815 | 2147483647 28159 49 | 0.633 % |
11.47/11.56 c | 33936 | 2197 14564 32815 | 2147483647 28417 49 | 0.633 % |
11.67/11.76 c | 34219 | 2197 14564 32815 | 2147483647 28700 49 | 0.633 % |
11.87/11.96 c | 34528 | 2197 14564 32815 | 2147483647 29009 49 | 0.633 % |
12.17/12.24 c | 34870 | 2197 14564 32815 | 2147483647 29351 49 | 0.633 % |
12.37/12.48 c | 35244 | 2197 14564 32815 | 2147483647 29725 49 | 0.633 % |
12.67/12.77 c | 35655 | 2197 14564 32815 | 2147483647 30136 49 | 0.633 % |
12.97/13.08 c | 36105 | 2197 14564 32815 | 2147483647 30586 49 | 0.633 % |
13.37/13.41 c | 36598 | 2197 14564 32815 | 2147483647 31079 49 | 0.633 % |
13.67/13.73 c | 37142 | 2197 14564 32815 | 2147483647 31623 49 | 0.633 % |
13.76/13.82 c | 37242 | 2197 14564 32815 | 2147483647 31723 49 | 0.633 % |
13.86/13.91 c | 37353 | 2197 14564 32815 | 2147483647 31834 49 | 0.633 % |
13.96/14.01 c | 37475 | 2197 14564 32815 | 2147483647 31956 49 | 0.633 % |
14.06/14.10 c | 37608 | 2197 14564 32815 | 2147483647 32089 49 | 0.633 % |
14.17/14.20 c | 37756 | 2197 14564 32815 | 2147483647 32237 49 | 0.633 % |
14.17/14.30 c | 37916 | 2197 14564 32815 | 2147483647 32397 49 | 0.633 % |
14.36/14.44 c | 38092 | 2197 14564 32815 | 2147483647 32573 49 | 0.633 % |
14.56/14.60 c | 38288 | 2197 14564 32815 | 2147483647 32769 49 | 0.633 % |
14.66/14.75 c | 38503 | 2197 14564 32815 | 2147483647 32984 50 | 0.633 % |
14.86/14.93 c | 38737 | 2197 14564 32815 | 2147483647 33218 50 | 0.633 % |
15.06/15.16 c | 38993 | 2197 14564 32815 | 2147483647 33474 50 | 0.633 % |
15.36/15.40 c | 39275 | 2197 14564 32815 | 2147483647 33756 50 | 0.633 % |
15.56/15.60 c | 39588 | 2197 14564 32815 | 2147483647 34069 50 | 0.633 % |
15.76/15.86 c | 39927 | 2197 14564 32815 | 2147483647 34408 50 | 0.633 % |
16.06/16.14 c | 40300 | 2197 14564 32815 | 2147483647 34781 50 | 0.633 % |
16.36/16.48 c | 40711 | 2197 14564 32815 | 2147483647 35192 50 | 0.633 % |
16.66/16.78 c | 41160 | 2197 14564 32815 | 2147483647 35641 50 | 0.633 % |
17.07/17.17 c | 41653 | 2197 14564 32815 | 2147483647 36134 50 | 0.633 % |
17.57/17.61 c | 42196 | 2197 14564 32815 | 2147483647 36677 50 | 0.633 % |
18.06/18.15 c | 42793 | 2197 14564 32815 | 2147483647 37274 50 | 0.633 % |
18.16/18.24 c | 42893 | 2197 14564 32815 | 2147483647 37374 50 | 0.633 % |
18.26/18.33 c | 43003 | 2197 14564 32815 | 2147483647 37484 50 | 0.633 % |
18.36/18.45 c | 43127 | 2197 14564 32815 | 2147483647 37608 50 | 0.633 % |
18.46/18.58 c | 43261 | 2197 14564 32815 | 2147483647 37742 50 | 0.633 % |
18.66/18.74 c | 43410 | 2197 14564 32815 | 2147483647 37891 50 | 0.633 % |
18.76/18.88 c | 43572 | 2197 14564 32815 | 2147483647 38053 50 | 0.633 % |
18.96/19.06 c | 43749 | 2197 14564 32815 | 2147483647 38230 50 | 0.633 % |
19.16/19.23 c | 43942 | 2197 14564 32815 | 2147483647 38423 50 | 0.633 % |
19.36/19.43 c | 44155 | 2197 14564 32815 | 2147483647 38636 50 | 0.633 % |
19.56/19.60 c | 44390 | 2197 14564 32815 | 2147483647 38871 50 | 0.633 % |
19.76/19.81 c | 44647 | 2197 14564 32815 | 2147483647 39128 50 | 0.633 % |
19.96/20.06 c | 44929 | 2197 14564 32815 | 2147483647 39410 50 | 0.633 % |
20.26/20.33 c | 45239 | 2197 14564 32815 | 2147483647 39720 50 | 0.633 % |
20.55/20.66 c | 45578 | 2197 14564 32815 | 2147483647 40059 50 | 0.633 % |
20.95/21.00 c | 45950 | 2197 14564 32815 | 2147483647 40431 50 | 0.633 % |
21.25/21.35 c | 46362 | 2197 14564 32815 | 2147483647 40843 50 | 0.633 % |
21.65/21.77 c | 46811 | 2197 14564 32815 | 2147483647 41292 50 | 0.633 % |
22.05/22.18 c | 47304 | 2197 14564 32815 | 2147483647 41785 50 | 0.633 % |
22.55/22.68 c | 47849 | 2197 14564 32815 | 2147483647 42330 50 | 0.633 % |
23.06/23.16 c | 48445 | 2197 14564 32815 | 2147483647 42926 50 | 0.633 % |
23.75/23.83 c | 49100 | 2197 14564 32815 | 2147483647 43581 51 | 0.633 % |
23.85/23.92 c | 49202 | 2197 14564 32815 | 2147483647 43683 51 | 0.633 % |
23.95/24.03 c | 49313 | 2197 14564 32815 | 2147483647 43794 51 | 0.633 % |
24.06/24.16 c | 49434 | 2197 14564 32815 | 2147483647 43915 51 | 0.633 % |
24.25/24.34 c | 49567 | 2197 14564 32815 | 2147483647 44048 51 | 0.634 % |
24.35/24.49 c | 49716 | 2197 14564 32815 | 2147483647 44197 51 | 0.633 % |
24.55/24.67 c | 49876 | 2197 14564 32815 | 2147483647 44357 51 | 0.633 % |
24.75/24.84 c | 50054 | 2197 14564 32815 | 2147483647 44535 51 | 0.633 % |
24.95/25.05 c | 50247 | 2197 14564 32815 | 2147483647 44728 51 | 0.634 % |
25.15/25.23 c | 50459 | 2197 14564 32815 | 2147483647 44940 51 | 0.633 % |
25.35/25.49 c | 50693 | 2197 14564 32815 | 2147483647 45174 51 | 0.633 % |
25.65/25.71 c | 50951 | 2197 14564 32815 | 2147483647 45432 51 | 0.633 % |
25.85/25.95 c | 51232 | 2197 14564 32815 | 2147483647 45713 51 | 0.633 % |
26.15/26.25 c | 51541 | 2197 14564 32815 | 2147483647 46022 51 | 0.633 % |
26.55/26.67 c | 51882 | 2197 14564 32815 | 2147483647 46363 51 | 0.634 % |
26.95/27.07 c | 52254 | 2197 14564 32815 | 2147483647 46735 51 | 0.633 % |
27.45/27.52 c | 52663 | 2197 14564 32815 | 2147483647 47144 51 | 0.633 % |
28.04/28.10 c | 53113 | 2197 14564 32815 | 2147483647 47594 51 | 0.633 % |
28.55/28.61 c | 53606 | 2197 14564 32815 | 2147483647 48087 51 | 0.633 % |
29.04/29.10 c | 54150 | 2197 14564 32815 | 2147483647 48631 51 | 0.633 % |
29.65/29.77 c | 54747 | 2197 14564 32815 | 2147483647 49228 51 | 0.633 % |
30.44/30.56 c | 55402 | 2197 14564 32815 | 2147483647 49883 51 | 0.633 % |
31.24/31.33 c | 56124 | 2197 14564 32815 | 2147483647 50605 51 | 0.633 % |
31.34/31.45 c | 56225 | 2197 14564 32815 | 2147483647 50706 51 | 0.633 % |
31.54/31.60 c | 56335 | 2197 14564 32815 | 2147483647 50816 51 | 0.633 % |
31.64/31.78 c | 56457 | 2197 14564 32815 | 2147483647 50938 51 | 0.633 % |
31.85/31.97 c | 56592 | 2197 14564 32815 | 2147483647 51073 51 | 0.634 % |
32.14/32.21 c | 56739 | 2197 14564 32815 | 2147483647 51220 51 | 0.633 % |
32.24/32.39 c | 56899 | 2197 14564 32815 | 2147483647 51380 51 | 0.633 % |
32.54/32.62 c | 57075 | 2197 14564 32815 | 2147483647 51556 51 | 0.633 % |
32.74/32.83 c | 57270 | 2197 14564 32815 | 2147483647 51751 51 | 0.633 % |
32.94/33.06 c | 57482 | 2197 14564 32815 | 2147483647 51963 51 | 0.633 % |
33.24/33.33 c | 57716 | 2197 14564 32815 | 2147483647 52197 51 | 0.633 % |
33.54/33.70 c | 57972 | 2197 14564 32815 | 2147483647 52453 51 | 0.633 % |
33.94/34.09 c | 58253 | 2197 14564 32815 | 2147483647 52734 51 | 0.633 % |
34.44/34.52 c | 58562 | 2197 14564 32815 | 2147483647 53043 51 | 0.633 % |
34.84/34.94 c | 58901 | 2197 14564 32815 | 2147483647 53382 51 | 0.634 % |
35.34/35.44 c | 59273 | 2197 14564 32815 | 2147483647 53754 51 | 0.633 % |
35.84/35.93 c | 59683 | 2197 14564 32815 | 2147483647 54164 51 | 0.633 % |
36.25/36.39 c | 60135 | 2197 14564 32815 | 2147483647 54616 51 | 0.633 % |
36.84/36.94 c | 60628 | 2197 14564 32815 | 2147483647 55109 51 | 0.633 % |
37.44/37.55 c | 61171 | 2197 14564 32815 | 2147483647 55652 51 | 0.633 % |
38.24/38.36 c | 61768 | 2197 14564 32815 | 2147483647 56249 51 | 0.633 % |
39.04/39.18 c | 62423 | 2197 14564 32815 | 2147483647 56904 52 | 0.633 % |
40.04/40.16 c | 63144 | 2197 14564 32815 | 2147483647 57625 52 | 0.633 % |
41.14/41.24 c | 63938 | 2197 14564 32815 | 2147483647 58419 52 | 0.633 % |
41.24/41.36 c | 64039 | 2197 14564 32815 | 2147483647 58520 52 | 0.634 % |
41.44/41.52 c | 64149 | 2197 14564 32815 | 2147483647 58630 52 | 0.633 % |
41.64/41.71 c | 64272 | 2197 14564 32815 | 2147483647 58753 52 | 0.633 % |
41.74/41.89 c | 64405 | 2197 14564 32815 | 2147483647 58886 51 | 0.633 % |
41.94/42.07 c | 64551 | 2197 14564 32815 | 2147483647 59032 51 | 0.633 % |
42.24/42.37 c | 64712 | 2197 14564 32815 | 2147483647 59193 51 | 0.634 % |
42.44/42.58 c | 64888 | 2197 14564 32815 | 2147483647 59369 52 | 0.633 % |
42.74/42.83 c | 65081 | 2197 14564 32815 | 2147483647 59562 52 | 0.633 % |
43.13/43.20 c | 65295 | 2197 14564 32815 | 2147483647 59776 52 | 0.633 % |
43.43/43.52 c | 65528 | 2197 14564 32815 | 2147483647 60009 52 | 0.633 % |
43.73/43.90 c | 65785 | 2197 14564 32815 | 2147483647 60266 51 | 0.633 % |
44.23/44.32 c | 66066 | 2197 14564 32815 | 2147483647 60547 51 | 0.633 % |
44.63/44.73 c | 66375 | 2197 14564 32815 | 2147483647 60856 51 | 0.633 % |
45.13/45.23 c | 66714 | 2197 14564 32815 | 2147483647 61195 51 | 0.633 % |
45.63/45.74 c | 67086 | 2197 14564 32815 | 2147483647 61567 51 | 0.633 % |
46.33/46.43 c | 67495 | 2197 14564 32815 | 2147483647 61976 51 | 0.633 % |
46.93/47.05 c | 67945 | 2197 14564 32815 | 2147483647 62426 51 | 0.633 % |
47.63/47.76 c | 68438 | 2197 14564 32815 | 2147483647 62919 51 | 0.633 % |
48.43/48.55 c | 68982 | 2197 14564 32815 | 2147483647 63463 51 | 0.633 % |
49.13/49.25 c | 69578 | 2197 14564 32815 | 2147483647 64059 51 | 0.633 % |
50.13/50.25 c | 70233 | 2197 14564 32815 | 64481 64714 51 | 0.633 % |
51.03/51.15 c | 70956 | 2197 14564 32815 | 64481 55860 50 | 0.633 % |
52.13/52.23 c | 71748 | 2197 14564 32815 | 64481 56652 50 | 0.634 % |
53.33/53.40 c | 72619 | 2197 14564 32815 | 64481 57523 51 | 0.633 % |
53.43/53.57 c | 72719 | 2197 14564 32815 | 64481 57623 51 | 0.633 % |
53.63/53.74 c | 72829 | 2197 14564 32815 | 64481 57733 51 | 0.633 % |
53.73/53.89 c | 72950 | 2197 14564 32815 | 64481 57854 50 | 0.633 % |
53.93/54.09 c | 73085 | 2197 14564 32815 | 64481 57989 51 | 0.633 % |
54.13/54.29 c | 73232 | 2197 14564 32815 | 64481 58136 51 | 0.634 % |
54.33/54.46 c | 73392 | 2197 14564 32815 | 64481 58296 51 | 0.633 % |
54.53/54.69 c | 73569 | 2197 14564 32815 | 64481 58473 51 | 0.633 % |
54.83/54.99 c | 73763 | 2197 14564 32815 | 64481 58667 51 | 0.634 % |
55.13/55.27 c | 73977 | 2197 14564 32815 | 64481 58881 51 | 0.634 % |
55.52/55.62 c | 74211 | 2197 14564 32815 | 64481 59115 51 | 0.633 % |
55.82/55.98 c | 74470 | 2197 14564 32815 | 64481 59374 51 | 0.633 % |
56.22/56.39 c | 74755 | 2197 14564 32815 | 64481 59659 51 | 0.633 % |
56.72/56.80 c | 75064 | 2197 14564 32815 | 64481 59968 51 | 0.633 % |
57.13/57.28 c | 75404 | 2197 14564 32815 | 64481 60308 51 | 0.634 % |
57.52/57.68 c | 75776 | 2197 14564 32815 | 64481 60680 51 | 0.634 % |
58.02/58.13 c | 76188 | 2197 14564 32815 | 64481 61092 51 | 0.634 % |
58.72/58.86 c | 76637 | 2197 14564 32815 | 64481 61541 51 | 0.633 % |
59.42/59.53 c | 77130 | 2197 14564 32815 | 64481 62034 51 | 0.633 % |
60.12/60.29 c | 77672 | 2197 14564 32815 | 64481 62576 51 | 0.633 % |
61.02/61.16 c | 78268 | 2197 14564 32815 | 64481 63172 51 | 0.633 % |
61.92/62.07 c | 78923 | 2197 14564 32815 | 64481 63827 51 | 0.633 % |
63.12/63.20 c | 79644 | 2197 14564 32815 | 64481 64548 51 | 0.633 % |
64.02/64.12 c | 80438 | 2197 14564 32815 | 54614 46495 48 | 0.633 % |
64.82/64.98 c | 81309 | 2197 14564 32815 | 54614 47366 48 | 0.633 % |
65.72/65.89 c | 82270 | 2197 14564 32815 | 54614 48327 48 | 0.634 % |
65.92/66.02 c | 82375 | 2197 14564 32815 | 54614 48432 48 | 0.633 % |
66.02/66.16 c | 82485 | 2197 14564 32815 | 54614 48542 48 | 0.633 % |
66.22/66.31 c | 82606 | 2197 14564 32815 | 54614 48663 48 | 0.633 % |
66.32/66.49 c | 82739 | 2197 14564 32815 | 54614 48796 48 | 0.633 % |
66.52/66.68 c | 82885 | 2197 14564 32815 | 54614 48942 48 | 0.633 % |
66.72/66.86 c | 83045 | 2197 14564 32815 | 54614 49102 48 | 0.633 % |
66.92/67.04 c | 83223 | 2197 14564 32815 | 54614 49280 48 | 0.633 % |
67.11/67.27 c | 83416 | 2197 14564 32815 | 54614 49473 48 | 0.634 % |
67.31/67.50 c | 83628 | 2197 14564 32815 | 54614 49685 48 | 0.633 % |
67.61/67.75 c | 83861 | 2197 14564 32815 | 54614 49918 48 | 0.633 % |
67.91/68.04 c | 84118 | 2197 14564 32815 | 54614 50175 48 | 0.633 % |
68.21/68.36 c | 84401 | 2197 14564 32815 | 54614 50458 48 | 0.633 % |
68.61/68.70 c | 84712 | 2197 14564 32815 | 54614 50769 48 | 0.633 % |
68.91/69.09 c | 85051 | 2197 14564 32815 | 54614 51108 49 | 0.633 % |
69.41/69.51 c | 85425 | 2197 14564 32815 | 54614 51482 49 | 0.633 % |
69.81/69.99 c | 85834 | 2197 14564 32815 | 54614 51891 49 | 0.633 % |
70.41/70.55 c | 86284 | 2197 14564 32815 | 54614 52341 49 | 0.633 % |
70.91/71.07 c | 86779 | 2197 14564 32815 | 54614 52836 49 | 0.633 % |
71.51/71.62 c | 87321 | 2197 14564 32815 | 54614 53378 49 | 0.633 % |
72.21/72.37 c | 87918 | 2197 14564 32815 | 54614 53975 49 | 0.633 % |
73.11/73.21 c | 88573 | 2197 14564 32815 | 54614 54630 49 | 0.634 % |
73.91/74.02 c | 89293 | 2197 14564 32815 | 54614 49622 48 | 0.633 % |
74.71/74.84 c | 90086 | 2197 14564 32815 | 50329 50415 48 | 0.633 % |
75.61/75.71 c | 90957 | 2197 14564 32815 | 50329 46047 47 | 0.633 % |
76.21/76.37 c | 91915 | 2197 14564 32815 | 50329 47005 48 | 0.633 % |
77.31/77.45 c | 92968 | 2197 14564 32815 | 50329 48058 48 | 0.633 % |
77.41/77.56 c | 93068 | 2197 14564 32815 | 50329 48158 48 | 0.633 % |
77.51/77.69 c | 93178 | 2197 14564 32815 | 50329 48268 48 | 0.634 % |
77.71/77.82 c | 93299 | 2197 14564 32815 | 50329 48389 48 | 0.633 % |
77.81/78.00 c | 93435 | 2197 14564 32815 | 50329 48525 48 | 0.633 % |
78.01/78.15 c | 93582 | 2197 14564 32815 | 50329 48672 48 | 0.633 % |
78.21/78.35 c | 93743 | 2197 14564 32815 | 50329 48833 48 | 0.634 % |
78.41/78.57 c | 93920 | 2197 14564 32815 | 50329 49010 48 | 0.633 % |
78.71/78.82 c | 94114 | 2197 14564 32815 | 50329 49204 48 | 0.633 % |
78.91/79.05 c | 94328 | 2197 14564 32815 | 50329 49418 48 | 0.633 % |
79.21/79.31 c | 94563 | 2197 14564 32815 | 50329 49653 48 | 0.633 % |
79.51/79.60 c | 94821 | 2197 14564 32815 | 50329 49911 48 | 0.633 % |
79.81/79.97 c | 95102 | 2197 14564 32815 | 50329 50192 48 | 0.634 % |
80.21/80.35 c | 95411 | 2197 14564 32815 | 50329 50501 48 | 0.633 % |
80.61/80.74 c | 95752 | 2197 14564 32815 | 50329 45792 47 | 0.633 % |
81.01/81.11 c | 96126 | 2197 14564 32815 | 50329 46166 47 | 0.633 % |
81.41/81.53 c | 96537 | 2197 14564 32815 | 50329 46577 47 | 0.633 % |
81.81/81.91 c | 96991 | 2197 14564 32815 | 50329 47031 48 | 0.633 % |
82.21/82.37 c | 97484 | 2197 14564 32815 | 50329 47524 48 | 0.633 % |
82.81/82.98 c | 98026 | 2197 14564 32815 | 50329 48066 48 | 0.633 % |
83.51/83.64 c | 98622 | 2197 14564 32815 | 50329 48662 48 | 0.634 % |
84.30/84.46 c | 99277 | 2197 14564 32815 | 50329 49317 48 | 0.633 % |
85.20/85.30 c | 99997 | 2197 14564 32815 | 50329 50037 48 | 0.633 % |
86.10/86.26 c | 100789 | 2197 14564 32815 | 2147483647 50829 48 | 0.633 % |
87.00/87.18 c | 101660 | 2197 14564 32815 | 2147483647 51700 48 | 0.633 % |
88.10/88.28 c | 102618 | 2197 14564 32815 | 2147483647 52658 48 | 0.633 % |
89.30/89.48 c | 103671 | 2197 14564 32815 | 2147483647 53711 48 | 0.633 % |
90.80/90.94 c | 104829 | 2197 14564 32815 | 2147483647 54869 49 | 0.633 % |
90.90/91.04 c | 104929 | 2197 14564 32815 | 2147483647 54969 49 | 0.633 % |
91.00/91.18 c | 105039 | 2197 14564 32815 | 2147483647 55079 49 | 0.633 % |
91.21/91.37 c | 105160 | 2197 14564 32815 | 2147483647 55200 49 | 0.634 % |
91.40/91.53 c | 105294 | 2197 14564 32815 | 2147483647 55334 49 | 0.633 % |
91.60/91.72 c | 105443 | 2197 14564 32815 | 2147483647 55483 49 | 0.633 % |
91.80/91.96 c | 105607 | 2197 14564 32815 | 2147483647 55647 49 | 0.633 % |
92.10/92.21 c | 105783 | 2197 14564 32815 | 2147483647 55823 49 | 0.633 % |
92.40/92.50 c | 105980 | 2197 14564 32815 | 2147483647 56020 49 | 0.633 % |
92.60/92.77 c | 106192 | 2197 14564 32815 | 2147483647 56232 49 | 0.633 % |
92.90/93.05 c | 106425 | 2197 14564 32815 | 2147483647 56465 49 | 0.633 % |
93.30/93.42 c | 106681 | 2197 14564 32815 | 2147483647 56721 49 | 0.633 % |
93.60/93.76 c | 106963 | 2197 14564 32815 | 2147483647 57003 49 | 0.633 % |
94.00/94.16 c | 107272 | 2197 14564 32815 | 2147483647 57312 49 | 0.633 % |
94.40/94.58 c | 107611 | 2197 14564 32815 | 2147483647 57651 49 | 0.633 % |
94.90/95.04 c | 107985 | 2197 14564 32815 | 2147483647 58025 49 | 0.633 % |
95.50/95.60 c | 108395 | 2197 14564 32815 | 2147483647 58435 49 | 0.634 % |
96.10/96.23 c | 108846 | 2197 14564 32815 | 2147483647 58886 49 | 0.633 % |
96.61/96.77 c | 109340 | 2197 14564 32815 | 2147483647 59380 49 | 0.633 % |
97.30/97.41 c | 109882 | 2197 14564 32815 | 2147483647 59922 49 | 0.633 % |
97.90/98.04 c | 110478 | 2197 14564 32815 | 60041 60518 49 | 0.634 % |
98.70/98.86 c | 111133 | 2197 14564 32815 | 60041 54600 48 | 0.633 % |
99.50/99.66 c | 111854 | 2197 14564 32815 | 60041 55321 49 | 0.633 % |
100.40/100.58 c | 112646 | 2197 14564 32815 | 60041 56113 49 | 0.633 % |
101.50/101.61 c | 113519 | 2197 14564 32815 | 60041 56986 49 | 0.633 % |
102.60/102.73 c | 114478 | 2197 14564 32815 | 60041 57945 49 | 0.633 % |
103.90/104.03 c | 115533 | 2197 14564 32815 | 60041 59000 49 | 0.633 % |
105.20/105.34 c | 116691 | 2197 14564 32815 | 60041 60158 49 | 0.634 % |
106.80/106.97 c | 117964 | 2197 14564 32815 | 60041 54215 49 | 0.633 % |
107.00/107.12 c | 118064 | 2197 14564 32815 | 60041 54315 49 | 0.633 % |
107.10/107.26 c | 118175 | 2197 14564 32815 | 60041 54426 49 | 0.634 % |
107.30/107.44 c | 118298 | 2197 14564 32815 | 60041 54549 49 | 0.633 % |
107.50/107.61 c | 118433 | 2197 14564 32815 | 60041 54684 49 | 0.633 % |
107.60/107.79 c | 118580 | 2197 14564 32815 | 60041 54831 49 | 0.633 % |
107.90/108.03 c | 118740 | 2197 14564 32815 | 60041 54991 49 | 0.634 % |
108.10/108.29 c | 118917 | 2197 14564 32815 | 60041 55168 49 | 0.633 % |
108.40/108.52 c | 119112 | 2197 14564 32815 | 60041 55363 49 | 0.633 % |
108.60/108.80 c | 119326 | 2197 14564 32815 | 60041 55577 49 | 0.633 % |
109.00/109.13 c | 119559 | 2197 14564 32815 | 60041 55810 49 | 0.633 % |
109.30/109.45 c | 119816 | 2197 14564 32815 | 60041 56067 49 | 0.633 % |
109.60/109.79 c | 120101 | 2197 14564 32815 | 56251 56352 49 | 0.634 % |
110.10/110.21 c | 120410 | 2197 14564 32815 | 56251 49798 48 | 0.633 % |
110.40/110.58 c | 120752 | 2197 14564 32815 | 56251 50140 48 | 0.633 % |
110.79/110.97 c | 121127 | 2197 14564 32815 | 56251 50515 48 | 0.633 % |
111.19/111.36 c | 121536 | 2197 14564 32815 | 56251 50924 48 | 0.633 % |
111.69/111.81 c | 121985 | 2197 14564 32815 | 56251 51373 48 | 0.633 % |
112.19/112.34 c | 122478 | 2197 14564 32815 | 56251 51866 48 | 0.633 % |
112.69/112.88 c | 123020 | 2197 14564 32815 | 56251 52408 48 | 0.634 % |
113.39/113.57 c | 123616 | 2197 14564 32815 | 56251 53004 48 | 0.634 % |
114.20/114.35 c | 124271 | 2197 14564 32815 | 56251 53659 48 | 0.633 % |
115.09/115.26 c | 124994 | 2197 14564 32815 | 56251 54382 48 | 0.633 % |
115.89/116.10 c | 125787 | 2197 14564 32815 | 56251 55175 49 | 0.633 % |
116.99/117.11 c | 126658 | 2197 14564 32815 | 56251 56046 49 | 0.633 % |
117.90/118.05 c | 127617 | 2197 14564 32815 | 56251 51178 48 | 0.633 % |
119.00/119.14 c | 128670 | 2197 14564 32815 | 56251 52231 48 | 0.633 % |
120.20/120.34 c | 129828 | 2197 14564 32815 | 56251 53389 48 | 0.633 % |
121.80/121.95 c | 131101 | 2197 14564 32815 | 2147483647 54662 48 | 0.633 % |
123.50/123.64 c | 132502 | 2197 14564 32815 | 2147483647 56063 48 | 0.633 % |
123.70/123.82 c | 132602 | 2197 14564 32815 | 2147483647 56163 48 | 0.633 % |
123.80/123.97 c | 132712 | 2197 14564 32815 | 2147483647 56273 48 | 0.633 % |
124.00/124.12 c | 132833 | 2197 14564 32815 | 2147483647 56394 48 | 0.633 % |
124.10/124.28 c | 132968 | 2197 14564 32815 | 2147483647 56529 48 | 0.633 % |
124.30/124.46 c | 133114 | 2197 14564 32815 | 2147483647 56675 48 | 0.633 % |
124.50/124.66 c | 133274 | 2197 14564 32815 | 2147483647 56835 48 | 0.633 % |
124.80/124.91 c | 133451 | 2197 14564 32815 | 2147483647 57012 48 | 0.633 % |
125.00/125.13 c | 133644 | 2197 14564 32815 | 2147483647 57205 48 | 0.633 % |
125.20/125.34 c | 133860 | 2197 14564 32815 | 2147483647 57421 48 | 0.633 % |
125.39/125.58 c | 134094 | 2197 14564 32815 | 2147483647 57655 49 | 0.633 % |
125.79/125.97 c | 134351 | 2197 14564 32815 | 2147483647 57912 49 | 0.634 % |
126.19/126.36 c | 134632 | 2197 14564 32815 | 2147483647 58193 49 | 0.633 % |
126.59/126.73 c | 134941 | 2197 14564 32815 | 2147483647 58502 49 | 0.633 % |
127.00/127.15 c | 135281 | 2197 14564 32815 | 2147483647 58842 49 | 0.633 % |
127.50/127.65 c | 135656 | 2197 14564 32815 | 2147483647 59217 49 | 0.633 % |
128.09/128.23 c | 136065 | 2197 14564 32815 | 2147483647 59626 49 | 0.633 % |
128.69/128.83 c | 136515 | 2197 14564 32815 | 2147483647 60076 49 | 0.634 % |
129.29/129.46 c | 137008 | 2197 14564 32815 | 2147483647 60569 49 | 0.634 % |
129.99/130.16 c | 137550 | 2197 14564 32815 | 2147483647 61111 49 | 0.634 % |
130.99/131.19 c | 138149 | 2197 14564 32815 | 2147483647 61710 49 | 0.634 % |
131.90/132.04 c | 138807 | 2197 14564 32815 | 2147483647 62368 49 | 0.633 % |
132.90/133.05 c | 139528 | 2197 14564 32815 | 2147483647 63089 49 | 0.633 % |
133.89/134.07 c | 140320 | 2197 14564 32815 | 63562 63881 49 | 0.633 % |
134.89/135.01 c | 141192 | 2197 14564 32815 | 63562 55682 47 | 0.633 % |
136.19/136.36 c | 142150 | 2197 14564 32815 | 63562 56640 47 | 0.633 % |
137.39/137.52 c | 143206 | 2197 14564 32815 | 63562 57696 47 | 0.633 % |
138.89/139.00 c | 144364 | 2197 14564 32815 | 63562 58854 47 | 0.633 % |
140.39/140.53 c | 145640 | 2197 14564 32815 | 63562 60130 48 | 0.633 % |
142.09/142.26 c | 147040 | 2197 14564 32815 | 63562 61530 48 | 0.633 % |
144.09/144.29 c | 148580 | 2197 14564 32815 | 63562 63070 48 | 0.633 % |
144.29/144.43 c | 148680 | 2197 14564 32815 | 63562 63170 48 | 0.633 % |
144.39/144.58 c | 148790 | 2197 14564 32815 | 63562 63280 48 | 0.633 % |
144.59/144.75 c | 148911 | 2197 14564 32815 | 63562 63401 48 | 0.633 % |
144.79/144.95 c | 149044 | 2197 14564 32815 | 63562 63534 48 | 0.633 % |
144.99/145.15 c | 149192 | 2197 14564 32815 | 63562 63682 48 | 0.635 % |
145.18/145.39 c | 149352 | 2197 14564 32815 | 63562 54068 46 | 0.633 % |
145.48/145.60 c | 149529 | 2197 14564 32815 | 63562 54245 46 | 0.633 % |
145.68/145.85 c | 149723 | 2197 14564 32815 | 63562 54439 46 | 0.634 % |
145.98/146.12 c | 149936 | 2197 14564 32815 | 63562 54652 46 | 0.633 % |
146.19/146.39 c | 150169 | 2197 14564 32815 | 54716 54885 46 | 0.633 % |
146.48/146.65 c | 150427 | 2197 14564 32815 | 54716 46957 44 | 0.633 % |
146.78/146.95 c | 150711 | 2197 14564 32815 | 54716 47241 44 | 0.633 % |
147.08/147.27 c | 151020 | 2197 14564 32815 | 54716 47550 44 | 0.633 % |
147.48/147.65 c | 151360 | 2197 14564 32815 | 54716 47890 44 | 0.633 % |
147.88/148.06 c | 151732 | 2197 14564 32815 | 54716 48262 44 | 0.633 % |
148.29/148.47 c | 152141 | 2197 14564 32815 | 54716 48671 44 | 0.633 % |
148.78/148.94 c | 152590 | 2197 14564 32815 | 54716 49120 45 | 0.633 % |
149.28/149.46 c | 153083 | 2197 14564 32815 | 54716 49613 45 | 0.633 % |
149.78/149.96 c | 153625 | 2197 14564 32815 | 54716 50155 45 | 0.633 % |
150.49/150.64 c | 154222 | 2197 14564 32815 | 54716 50752 45 | 0.633 % |
151.28/151.48 c | 154881 | 2197 14564 32815 | 54716 51411 45 | 0.633 % |
152.18/152.36 c | 155601 | 2197 14564 32815 | 54716 52131 45 | 0.633 % |
152.98/153.16 c | 156393 | 2197 14564 32815 | 54716 52923 45 | 0.633 % |
153.88/154.06 c | 157265 | 2197 14564 32815 | 54716 53795 45 | 0.633 % |
154.88/155.06 c | 158223 | 2197 14564 32815 | 54716 54753 45 | 0.633 % |
156.08/156.25 c | 159280 | 2197 14564 32815 | 54716 50335 44 | 0.633 % |
157.38/157.52 c | 160440 | 2197 14564 32815 | 2147483647 51495 45 | 0.633 % |
158.58/158.72 c | 161713 | 2197 14564 32815 | 2147483647 52768 45 | 0.633 % |
159.88/160.07 c | 163113 | 2197 14564 32815 | 2147483647 54168 46 | 0.633 % |
161.28/161.48 c | 164653 | 2197 14564 32815 | 2147483647 55708 46 | 0.633 % |
163.08/163.28 c | 166349 | 2197 14564 32815 | 2147483647 57404 47 | 0.633 % |
163.28/163.40 c | 166450 | 2197 14564 32815 | 2147483647 57505 47 | 0.633 % |
163.28/163.49 c | 166561 | 2197 14564 32815 | 2147483647 57616 47 | 0.633 % |
163.58/163.71 c | 166682 | 2197 14564 32815 | 2147483647 57737 47 | 0.633 % |
163.68/163.89 c | 166817 | 2197 14564 32815 | 2147483647 57872 47 | 0.633 % |
163.88/164.06 c | 166966 | 2197 14564 32815 | 2147483647 58021 47 | 0.633 % |
164.08/164.29 c | 167127 | 2197 14564 32815 | 2147483647 58182 47 | 0.633 % |
164.38/164.55 c | 167304 | 2197 14564 32815 | 2147483647 58359 47 | 0.633 % |
164.57/164.76 c | 167498 | 2197 14564 32815 | 2147483647 58553 47 | 0.633 % |
164.88/165.05 c | 167713 | 2197 14564 32815 | 2147483647 58768 47 | 0.633 % |
165.17/165.36 c | 167946 | 2197 14564 32815 | 2147483647 59001 47 | 0.633 % |
165.57/165.71 c | 168203 | 2197 14564 32815 | 2147483647 59258 47 | 0.633 % |
165.88/166.05 c | 168484 | 2197 14564 32815 | 2147483647 59539 47 | 0.633 % |
166.17/166.37 c | 168793 | 2197 14564 32815 | 2147483647 59848 47 | 0.633 % |
166.57/166.75 c | 169135 | 2197 14564 32815 | 2147483647 60190 47 | 0.633 % |
167.08/167.28 c | 169507 | 2197 14564 32815 | 2147483647 60562 47 | 0.633 % |
167.67/167.84 c | 169921 | 2197 14564 32815 | 2147483647 60976 47 | 0.633 % |
168.18/168.30 c | 170373 | 2197 14564 32815 | 2147483647 61428 47 | 0.633 % |
168.77/168.90 c | 170866 | 2197 14564 32815 | 2147483647 61921 48 | 0.633 % |
169.47/169.61 c | 171408 | 2197 14564 32815 | 2147483647 62463 48 | 0.634 % |
170.17/170.40 c | 172005 | 2197 14564 32815 | 2147483647 63060 48 | 0.633 % |
171.07/171.21 c | 172660 | 2197 14564 32815 | 2147483647 63715 48 | 0.633 % |
171.97/172.19 c | 173381 | 2197 14564 32815 | 2147483647 64436 48 | 0.633 % |
173.07/173.26 c | 174173 | 2197 14564 32815 | 2147483647 65228 48 | 0.633 % |
174.47/174.61 c | 175045 | 2197 14564 32815 | 2147483647 66100 48 | 0.633 % |
175.67/175.81 c | 176003 | 2197 14564 32815 | 2147483647 67058 48 | 0.633 % |
177.07/177.28 c | 177056 | 2197 14564 32815 | 2147483647 68111 48 | 0.634 % |
178.77/178.94 c | 178215 | 2197 14564 32815 | 2147483647 69270 48 | 0.634 % |
180.37/180.54 c | 179488 | 2197 14564 32815 | 2147483647 70543 48 | 0.633 % |
182.47/182.62 c | 180890 | 2197 14564 32815 | 71055 60208 47 | 0.633 % |
184.36/184.56 c | 182430 | 2197 14564 32815 | 71055 61748 47 | 0.633 % |
186.46/186.64 c | 184124 | 2197 14564 32815 | 71055 63442 47 | 0.633 % |
188.76/188.93 c | 185988 | 2197 14564 32815 | 71055 65306 47 | 0.633 % |
188.86/189.07 c | 186088 | 2197 14564 32815 | 71055 65406 47 | 0.633 % |
189.06/189.24 c | 186199 | 2197 14564 32815 | 71055 65517 47 | 0.633 % |
189.16/189.37 c | 186320 | 2197 14564 32815 | 71055 65638 47 | 0.633 % |
189.36/189.54 c | 186455 | 2197 14564 32815 | 71055 65773 48 | 0.633 % |
189.56/189.76 c | 186603 | 2197 14564 32815 | 71055 65921 48 | 0.633 % |
189.76/189.95 c | 186763 | 2197 14564 32815 | 71055 66081 48 | 0.633 % |
189.96/190.18 c | 186941 | 2197 14564 32815 | 71055 66259 48 | 0.633 % |
190.36/190.53 c | 187134 | 2197 14564 32815 | 71055 66452 48 | 0.633 % |
190.66/190.88 c | 187346 | 2197 14564 32815 | 71055 66664 48 | 0.633 % |
191.06/191.23 c | 187579 | 2197 14564 32815 | 71055 66897 48 | 0.633 % |
191.46/191.62 c | 187835 | 2197 14564 32815 | 71055 67153 48 | 0.634 % |
191.86/192.01 c | 188118 | 2197 14564 32815 | 71055 67436 48 | 0.633 % |
192.26/192.47 c | 188427 | 2197 14564 32815 | 71055 67745 48 | 0.633 % |
192.76/192.91 c | 188767 | 2197 14564 32815 | 71055 68085 48 | 0.633 % |
193.26/193.43 c | 189139 | 2197 14564 32815 | 71055 68457 48 | 0.633 % |
193.76/193.98 c | 189549 | 2197 14564 32815 | 71055 68867 48 | 0.634 % |
194.36/194.60 c | 189998 | 2197 14564 32815 | 71055 69316 48 | 0.633 % |
195.06/195.23 c | 190491 | 2197 14564 32815 | 69321 69809 48 | 0.633 % |
195.86/196.05 c | 191033 | 2197 14564 32815 | 69321 58460 47 | 0.633 % |
196.66/196.81 c | 191629 | 2197 14564 32815 | 69321 59056 47 | 0.634 % |
197.55/197.74 c | 192285 | 2197 14564 32815 | 69321 59712 47 | 0.633 % |
198.35/198.59 c | 193006 | 2197 14564 32815 | 69321 60433 47 | 0.634 % |
199.35/199.59 c | 193800 | 2197 14564 32815 | 69321 61227 47 | 0.633 % |
200.55/200.74 c | 194672 | 2197 14564 32815 | 69321 62099 47 | 0.633 % |
201.85/202.06 c | 195632 | 2197 14564 32815 | 69321 63059 47 | 0.633 % |
203.15/203.39 c | 196687 | 2197 14564 32815 | 69321 64114 48 | 0.633 % |
204.75/204.92 c | 197845 | 2197 14564 32815 | 69321 65272 48 | 0.633 % |
206.55/206.79 c | 199118 | 2197 14564 32815 | 69321 66545 48 | 0.633 % |
208.55/208.72 c | 200518 | 2197 14564 32815 | 67428 56957 47 | 0.633 % |
210.15/210.39 c | 202061 | 2197 14564 32815 | 67428 58500 47 | 0.633 % |
212.05/212.22 c | 203755 | 2197 14564 32815 | 67428 60194 48 | 0.633 % |
214.54/214.73 c | 205618 | 2197 14564 32815 | 67428 62057 48 | 0.633 % |
217.04/217.24 c | 207667 | 2197 14564 32815 | 67428 64106 48 | 0.633 % |
217.14/217.37 c | 207767 | 2197 14564 32815 | 67428 64206 48 | 0.633 % |
217.34/217.54 c | 207877 | 2197 14564 32815 | 67428 64316 48 | 0.633 % |
217.55/217.72 c | 207999 | 2197 14564 32815 | 67428 64438 48 | 0.633 % |
217.74/217.91 c | 208132 | 2197 14564 32815 | 67428 64571 48 | 0.633 % |
217.94/218.11 c | 208279 | 2197 14564 32815 | 67428 64718 49 | 0.633 % |
218.14/218.31 c | 208441 | 2197 14564 32815 | 67428 64880 49 | 0.633 % |
218.34/218.60 c | 208617 | 2197 14564 32815 | 67428 65056 49 | 0.633 % |
218.65/218.82 c | 208810 | 2197 14564 32815 | 67428 65249 49 | 0.633 % |
218.84/219.10 c | 209022 | 2197 14564 32815 | 67428 65461 49 | 0.633 % |
219.24/219.49 c | 209255 | 2197 14564 32815 | 67428 65694 49 | 0.634 % |
219.64/219.85 c | 209511 | 2197 14564 32815 | 67428 65950 49 | 0.633 % |
220.04/220.28 c | 209792 | 2197 14564 32815 | 67428 66231 49 | 0.633 % |
220.54/220.71 c | 210101 | 2197 14564 32815 | 66439 66540 49 | 0.633 % |
220.85/221.09 c | 210444 | 2197 14564 32815 | 66439 56012 47 | 0.633 % |
221.34/221.54 c | 210816 | 2197 14564 32815 | 66439 56384 47 | 0.633 % |
221.74/221.97 c | 211226 | 2197 14564 32815 | 66439 56794 47 | 0.633 % |
222.34/222.56 c | 211677 | 2197 14564 32815 | 66439 57245 47 | 0.633 % |
222.84/223.05 c | 212170 | 2197 14564 32815 | 66439 57738 47 | 0.633 % |
223.54/223.74 c | 212712 | 2197 14564 32815 | 66439 58280 47 | 0.633 % |
224.34/224.58 c | 213309 | 2197 14564 32815 | 66439 58877 47 | 0.633 % |
225.24/225.42 c | 213964 | 2197 14564 32815 | 66439 59532 47 | 0.633 % |
225.94/226.16 c | 214685 | 2197 14564 32815 | 66439 60253 48 | 0.633 % |
227.04/227.26 c | 215478 | 2197 14564 32815 | 66439 61046 48 | 0.633 % |
228.14/228.32 c | 216349 | 2197 14564 32815 | 66439 61917 48 | 0.633 % |
229.14/229.32 c | 217309 | 2197 14564 32815 | 66439 62877 48 | 0.633 % |
230.34/230.59 c | 218363 | 2197 14564 32815 | 66439 63931 49 | 0.633 % |
231.84/232.06 c | 219523 | 2197 14564 32815 | 66439 65091 49 | 0.633 % |
233.64/233.83 c | 220799 | 2197 14564 32815 | 65568 57079 48 | 0.633 % |
235.34/235.59 c | 222201 | 2197 14564 32815 | 65568 58481 48 | 0.633 % |
237.44/237.65 c | 223741 | 2197 14564 32815 | 65568 60021 48 | 0.633 % |
239.64/239.84 c | 225435 | 2197 14564 32815 | 65568 61715 48 | 0.633 % |
242.13/242.39 c | 227303 | 2197 14564 32815 | 65568 63583 48 | 0.633 % |
244.23/244.43 c | 229352 | 2197 14564 32815 | 65568 65632 49 | 0.633 % |
246.53/246.76 c | 231605 | 2197 14564 32815 | 56938 50982 47 | 0.633 % |
246.63/246.89 c | 231706 | 2197 14564 32815 | 56938 51083 47 | 0.633 % |
246.83/247.03 c | 231816 | 2197 14564 32815 | 56938 51193 47 | 0.633 % |
246.93/247.15 c | 231937 | 2197 14564 32815 | 56938 51314 47 | 0.633 % |
247.03/247.29 c | 232071 | 2197 14564 32815 | 56938 51448 47 | 0.633 % |
247.23/247.47 c | 232217 | 2197 14564 32815 | 56938 51594 47 | 0.633 % |
247.43/247.68 c | 232379 | 2197 14564 32815 | 56938 51756 47 | 0.633 % |
247.73/247.91 c | 232555 | 2197 14564 32815 | 56938 51932 47 | 0.633 % |
247.93/248.16 c | 232748 | 2197 14564 32815 | 56938 52125 47 | 0.633 % |
248.23/248.42 c | 232960 | 2197 14564 32815 | 56938 52337 47 | 0.633 % |
248.43/248.68 c | 233194 | 2197 14564 32815 | 56938 52571 47 | 0.633 % |
248.73/248.99 c | 233450 | 2197 14564 32815 | 56938 52827 47 | 0.633 % |
249.13/249.30 c | 233733 | 2197 14564 32815 | 56938 53110 47 | 0.633 % |
249.43/249.67 c | 234043 | 2197 14564 32815 | 56938 53420 47 | 0.633 % |
249.83/250.07 c | 234382 | 2197 14564 32815 | 56938 53759 48 | 0.633 % |
250.23/250.45 c | 234756 | 2197 14564 32815 | 56938 54133 48 | 0.633 % |
250.73/250.97 c | 235165 | 2197 14564 32815 | 56938 54542 48 | 0.633 % |
251.23/251.44 c | 235614 | 2197 14564 32815 | 56938 54991 48 | 0.633 % |
251.83/252.03 c | 236107 | 2197 14564 32815 | 56938 55484 48 | 0.633 % |
252.53/252.71 c | 236650 | 2197 14564 32815 | 56938 56027 48 | 0.633 % |
253.03/253.29 c | 237249 | 2197 14564 32815 | 56938 56626 48 | 0.633 % |
253.83/254.07 c | 237904 | 2197 14564 32815 | 56938 51136 48 | 0.633 % |
254.63/254.81 c | 238627 | 2197 14564 32815 | 56938 51859 48 | 0.633 % |
255.43/255.62 c | 239419 | 2197 14564 32815 | 56938 52651 48 | 0.633 % |
256.32/256.52 c | 240290 | 2197 14564 32815 | 53232 53522 48 | 0.633 % |
257.42/257.60 c | 241249 | 2197 14564 32815 | 53232 49129 47 | 0.633 % |
258.52/258.74 c | 242305 | 2197 14564 32815 | 53232 50185 48 | 0.633 % |
260.02/260.24 c | 243464 | 2197 14564 32815 | 53232 51344 48 | 0.633 % |
261.72/261.95 c | 244738 | 2197 14564 32815 | 53232 52618 48 | 0.633 % |
263.52/263.75 c | 246138 | 2197 14564 32815 | 53232 48662 47 | 0.633 % |
265.12/265.36 c | 247678 | 2197 14564 32815 | 53232 50202 47 | 0.633 % |
267.03/267.20 c | 249372 | 2197 14564 32815 | 53232 51896 48 | 0.633 % |
268.92/269.10 c | 251235 | 2197 14564 32815 | 2147483647 53759 48 | 0.633 % |
271.12/271.37 c | 253285 | 2197 14564 32815 | 2147483647 55809 49 | 0.633 % |
273.92/274.14 c | 255539 | 2197 14564 32815 | 2147483647 58063 49 | 0.633 % |
276.92/277.15 c | 258017 | 2197 14564 32815 | 2147483647 60541 49 | 0.633 % |
277.12/277.31 c | 258117 | 2197 14564 32815 | 2147483647 60641 49 | 0.633 % |
277.22/277.43 c | 258227 | 2197 14564 32815 | 2147483647 60751 49 | 0.633 % |
277.42/277.64 c | 258353 | 2197 14564 32815 | 2147483647 60877 49 | 0.633 % |
277.62/277.86 c | 258488 | 2197 14564 32815 | 2147483647 61012 49 | 0.633 % |
277.82/278.01 c | 258636 | 2197 14564 32815 | 2147483647 61160 49 | 0.633 % |
278.02/278.21 c | 258798 | 2197 14564 32815 | 2147483647 61322 49 | 0.633 % |
278.22/278.44 c | 258974 | 2197 14564 32815 | 2147483647 61498 50 | 0.633 % |
278.52/278.72 c | 259168 | 2197 14564 32815 | 2147483647 61692 50 | 0.633 % |
278.82/279.06 c | 259380 | 2197 14564 32815 | 2147483647 61904 50 | 0.633 % |
279.12/279.35 c | 259613 | 2197 14564 32815 | 2147483647 62137 50 | 0.633 % |
279.42/279.67 c | 259870 | 2197 14564 32815 | 2147483647 62394 50 | 0.633 % |
279.92/280.16 c | 260151 | 2197 14564 32815 | 62525 62675 50 | 0.633 % |
280.32/280.52 c | 260460 | 2197 14564 32815 | 62525 55144 48 | 0.633 % |
280.72/280.91 c | 260799 | 2197 14564 32815 | 62525 55483 48 | 0.633 % |
281.12/281.34 c | 261173 | 2197 14564 32815 | 62525 55857 48 | 0.633 % |
281.52/281.78 c | 261584 | 2197 14564 32815 | 62525 56268 48 | 0.633 % |
282.12/282.31 c | 262033 | 2197 14564 32815 | 62525 56717 48 | 0.633 % |
282.72/282.92 c | 262526 | 2197 14564 32815 | 62525 57210 48 | 0.633 % |
283.41/283.63 c | 263068 | 2197 14564 32815 | 62525 57752 48 | 0.633 % |
284.01/284.29 c | 263666 | 2197 14564 32815 | 62525 58350 48 | 0.633 % |
285.01/285.26 c | 264321 | 2197 14564 32815 | 62525 59005 48 | 0.633 % |
285.91/286.17 c | 265042 | 2197 14564 32815 | 62525 59726 48 | 0.633 % |
287.01/287.24 c | 265836 | 2197 14564 32815 | 62525 60520 48 | 0.633 % |
288.02/288.25 c | 266710 | 2197 14564 32815 | 62525 61394 48 | 0.634 % |
289.41/289.63 c | 267669 | 2197 14564 32815 | 62525 62353 48 | 0.633 % |
290.81/291.04 c | 268725 | 2197 14564 32815 | 62525 54789 47 | 0.633 % |
292.11/292.36 c | 269884 | 2197 14564 32815 | 62525 55948 48 | 0.633 % |
293.42/293.69 c | 271158 | 2197 14564 32815 | 56064 50011 46 | 0.633 % |
294.71/294.90 c | 272558 | 2197 14564 32815 | 56064 51411 46 | 0.633 % |
296.21/296.41 c | 274098 | 2197 14564 32815 | 56064 52951 46 | 0.633 % |
298.11/298.34 c | 275792 | 2197 14564 32815 | 56064 54645 46 | 0.633 % |
300.41/300.62 c | 277656 | 2197 14564 32815 | 56064 50845 45 | 0.633 % |
302.61/302.87 c | 279705 | 2197 14564 32815 | 56064 52894 46 | 0.633 % |
305.21/305.40 c | 281959 | 2197 14564 32815 | 2147483647 55148 46 | 0.633 % |
308.21/308.41 c | 284438 | 2197 14564 32815 | 2147483647 57627 46 | 0.633 % |
311.20/311.42 c | 287164 | 2197 14564 32815 | 2147483647 60353 47 | 0.633 % |
311.30/311.55 c | 287265 | 2197 14564 32815 | 2147483647 60454 47 | 0.633 % |
311.50/311.72 c | 287375 | 2197 14564 32815 | 2147483647 60564 47 | 0.633 % |
311.70/311.90 c | 287496 | 2197 14564 32815 | 2147483647 60685 47 | 0.633 % |
311.90/312.11 c | 287630 | 2197 14564 32815 | 2147483647 60819 47 | 0.633 % |
312.11/312.32 c | 287777 | 2197 14564 32815 | 2147483647 60966 47 | 0.633 % |
312.30/312.56 c | 287938 | 2197 14564 32815 | 2147483647 61127 47 | 0.633 % |
312.60/312.80 c | 288118 | 2197 14564 32815 | 2147483647 61307 47 | 0.633 % |
312.80/313.07 c | 288313 | 2197 14564 32815 | 2147483647 61502 47 | 0.633 % |
313.10/313.33 c | 288525 | 2197 14564 32815 | 2147483647 61714 47 | 0.633 % |
313.40/313.63 c | 288759 | 2197 14564 32815 | 2147483647 61948 47 | 0.635 % |
313.70/314.00 c | 289015 | 2197 14564 32815 | 2147483647 62204 47 | 0.634 % |
314.10/314.37 c | 289296 | 2197 14564 32815 | 2147483647 62485 48 | 0.633 % |
314.60/314.84 c | 289606 | 2197 14564 32815 | 2147483647 62795 48 | 0.633 % |
315.00/315.27 c | 289946 | 2197 14564 32815 | 2147483647 63135 48 | 0.633 % |
315.50/315.76 c | 290320 | 2197 14564 32815 | 63192 63509 48 | 0.633 % |
315.90/316.19 c | 290729 | 2197 14564 32815 | 63192 56631 46 | 0.633 % |
316.50/316.73 c | 291178 | 2197 14564 32815 | 63192 57080 47 | 0.633 % |
317.00/317.21 c | 291672 | 2197 14564 32815 | 63192 57574 47 | 0.633 % |
317.60/317.88 c | 292214 | 2197 14564 32815 | 63192 58116 47 | 0.633 % |
318.20/318.48 c | 292813 | 2197 14564 32815 | 63192 58715 47 | 0.633 % |
319.10/319.32 c | 293468 | 2197 14564 32815 | 63192 59370 47 | 0.633 % |
319.90/320.18 c | 294190 | 2197 14564 32815 | 63192 60092 47 | 0.633 % |
320.90/321.12 c | 294983 | 2197 14564 32815 | 63192 60885 47 | 0.633 % |
322.00/322.25 c | 295854 | 2197 14564 32815 | 63192 61756 48 | 0.633 % |
323.30/323.50 c | 296812 | 2197 14564 32815 | 63192 62714 48 | 0.633 % |
324.30/324.53 c | 297868 | 2197 14564 32815 | 63192 63770 48 | 0.633 % |
325.79/326.04 c | 299026 | 2197 14564 32815 | 63192 57576 47 | 0.633 % |
327.39/327.66 c | 300299 | 2197 14564 32815 | 58550 58849 47 | 0.634 % |
328.99/329.28 c | 301699 | 2197 14564 32815 | 58550 53249 46 | 0.633 % |
330.59/330.87 c | 303239 | 2197 14564 32815 | 58550 54789 46 | 0.633 % |
332.89/333.11 c | 304935 | 2197 14564 32815 | 58550 56485 47 | 0.633 % |
334.79/335.08 c | 306798 | 2197 14564 32815 | 58550 58348 47 | 0.633 % |
337.09/337.36 c | 308848 | 2197 14564 32815 | 58550 53803 47 | 0.633 % |
339.69/339.94 c | 311102 | 2197 14564 32815 | 54955 50252 46 | 0.633 % |
342.09/342.38 c | 313581 | 2197 14564 32815 | 54955 52731 47 | 0.633 % |
344.69/344.93 c | 316308 | 2197 14564 32815 | 54955 55458 48 | 0.634 % |
347.69/348.00 c | 319305 | 2197 14564 32815 | 54955 52910 48 | 0.633 % |
347.89/348.10 c | 319405 | 2197 14564 32815 | 54955 53010 48 | 0.633 % |
347.99/348.23 c | 319515 | 2197 14564 32815 | 54955 53120 48 | 0.633 % |
348.09/348.39 c | 319636 | 2197 14564 32815 | 54955 53241 48 | 0.633 % |
348.29/348.57 c | 319770 | 2197 14564 32815 | 54955 53375 48 | 0.633 % |
348.49/348.75 c | 319916 | 2197 14564 32815 | 54955 53521 48 | 0.633 % |
348.69/348.95 c | 320076 | 2197 14564 32815 | 2147483647 53681 48 | 0.633 % |
348.98/349.24 c | 320254 | 2197 14564 32815 | 2147483647 53859 48 | 0.635 % |
349.28/349.53 c | 320447 | 2197 14564 32815 | 2147483647 54052 48 | 0.633 % |
349.49/349.77 c | 320666 | 2197 14564 32815 | 2147483647 54271 48 | 0.633 % |
349.78/350.07 c | 320899 | 2197 14564 32815 | 2147483647 54504 48 | 0.633 % |
350.19/350.42 c | 321156 | 2197 14564 32815 | 2147483647 54761 48 | 0.633 % |
350.39/350.70 c | 321440 | 2197 14564 32815 | 2147483647 55045 48 | 0.633 % |
350.78/351.09 c | 321749 | 2197 14564 32815 | 2147483647 55354 49 | 0.633 % |
351.18/351.46 c | 322088 | 2197 14564 32815 | 2147483647 55693 49 | 0.633 % |
351.69/351.92 c | 322464 | 2197 14564 32815 | 2147483647 56069 49 | 0.634 % |
352.08/352.39 c | 322873 | 2197 14564 32815 | 2147483647 56478 49 | 0.633 % |
352.68/353.00 c | 323322 | 2197 14564 32815 | 2147483647 56927 49 | 0.633 % |
353.38/353.61 c | 323815 | 2197 14564 32815 | 2147483647 57420 49 | 0.633 % |
354.08/354.37 c | 324357 | 2197 14564 32815 | 2147483647 57962 49 | 0.633 % |
354.88/355.10 c | 324954 | 2197 14564 32815 | 2147483647 58559 49 | 0.633 % |
355.78/356.03 c | 325609 | 2197 14564 32815 | 2147483647 59214 49 | 0.633 % |
356.68/356.97 c | 326331 | 2197 14564 32815 | 2147483647 59936 49 | 0.633 % |
357.68/357.98 c | 327123 | 2197 14564 32815 | 2147483647 60728 49 | 0.633 % |
358.88/359.14 c | 327995 | 2197 14564 32815 | 2147483647 61600 49 | 0.633 % |
360.38/360.60 c | 328953 | 2197 14564 32815 | 2147483647 62558 49 | 0.633 % |
361.78/362.05 c | 330007 | 2197 14564 32815 | 63605 63612 50 | 0.633 % |
363.18/363.47 c | 331165 | 2197 14564 32815 | 63605 55634 48 | 0.633 % |
364.48/364.79 c | 332438 | 2197 14564 32815 | 63605 56907 48 | 0.633 % |
366.18/366.47 c | 333838 | 2197 14564 32815 | 63605 58307 49 | 0.633 % |
368.08/368.40 c | 335379 | 2197 14564 32815 | 63605 59848 49 | 0.633 % |
370.38/370.63 c | 337073 | 2197 14564 32815 | 63605 61542 49 | 0.633 % |
372.58/372.86 c | 338936 | 2197 14564 32815 | 63605 63405 50 | 0.634 % |
375.07/375.38 c | 340986 | 2197 14564 32815 | 55304 48514 46 | 0.633 % |
377.28/377.53 c | 343247 | 2197 14564 32815 | 55304 50775 46 | 0.633 % |
379.88/380.16 c | 345726 | 2197 14564 32815 | 55304 53254 47 | 0.633 % |
383.28/383.59 c | 348451 | 2197 14564 32815 | 55304 50387 45 | 0.633 % |
386.38/386.69 c | 351448 | 2197 14564 32815 | 2147483647 53384 45 | 0.634 % |
389.88/390.18 c | 354745 | 2197 14564 32815 | 2147483647 56681 46 | 0.633 % |
390.08/390.33 c | 354845 | 2197 14564 32815 | 2147483647 56781 46 | 0.633 % |
390.18/390.47 c | 354957 | 2197 14564 32815 | 2147483647 56893 46 | 0.633 % |
390.38/390.62 c | 355082 | 2197 14564 32815 | 2147483647 57018 46 | 0.633 % |
390.58/390.83 c | 355216 | 2197 14564 32815 | 2147483647 57152 47 | 0.633 % |
390.78/391.01 c | 355362 | 2197 14564 32815 | 2147483647 57298 47 | 0.633 % |
390.98/391.22 c | 355522 | 2197 14564 32815 | 2147483647 57458 47 | 0.634 % |
391.18/391.46 c | 355702 | 2197 14564 32815 | 2147483647 57638 47 | 0.633 % |
391.38/391.66 c | 355896 | 2197 14564 32815 | 2147483647 57832 47 | 0.633 % |
391.68/391.96 c | 356109 | 2197 14564 32815 | 2147483647 58045 47 | 0.633 % |
391.98/392.23 c | 356346 | 2197 14564 32815 | 2147483647 58282 47 | 0.633 % |
392.28/392.52 c | 356603 | 2197 14564 32815 | 2147483647 58539 47 | 0.633 % |
392.58/392.87 c | 356884 | 2197 14564 32815 | 2147483647 58820 47 | 0.633 % |
392.98/393.20 c | 357193 | 2197 14564 32815 | 2147483647 59129 47 | 0.633 % |
393.38/393.65 c | 357532 | 2197 14564 32815 | 2147483647 59468 47 | 0.633 % |
393.88/394.16 c | 357904 | 2197 14564 32815 | 2147483647 59840 47 | 0.633 % |
394.48/394.79 c | 358314 | 2197 14564 32815 | 2147483647 60250 47 | 0.633 % |
395.08/395.32 c | 358764 | 2197 14564 32815 | 2147483647 60700 47 | 0.633 % |
395.68/395.95 c | 359258 | 2197 14564 32815 | 2147483647 61194 48 | 0.633 % |
396.28/396.59 c | 359800 | 2197 14564 32815 | 2147483647 61736 48 | 0.634 % |
396.98/397.21 c | 360397 | 2197 14564 32815 | 61936 62333 48 | 0.633 % |
397.78/398.00 c | 361053 | 2197 14564 32815 | 61936 55657 46 | 0.633 % |
398.58/398.84 c | 361775 | 2197 14564 32815 | 61936 56379 46 | 0.634 % |
399.48/399.76 c | 362567 | 2197 14564 32815 | 61936 57171 46 | 0.633 % |
400.47/400.70 c | 363438 | 2197 14564 32815 | 61936 58042 46 | 0.634 % |
401.67/401.91 c | 364397 | 2197 14564 32815 | 61936 59001 47 | 0.633 % |
402.77/403.04 c | 365450 | 2197 14564 32815 | 61936 60054 47 | 0.633 % |
403.97/404.29 c | 366609 | 2197 14564 32815 | 61936 61213 47 | 0.633 % |
405.37/405.69 c | 367882 | 2197 14564 32815 | 61936 62486 48 | 0.633 % |
406.97/407.29 c | 369283 | 2197 14564 32815 | 61936 56312 47 | 0.633 % |
408.77/409.01 c | 370826 | 2197 14564 32815 | 57029 51352 46 | 0.633 % |
410.37/410.69 c | 372520 | 2197 14564 32815 | 57029 53046 47 | 0.633 % |
412.47/412.71 c | 374383 | 2197 14564 32815 | 57029 54909 47 | 0.633 % |
414.37/414.62 c | 376433 | 2197 14564 32815 | 57029 56959 48 | 0.633 % |
416.97/417.27 c | 378686 | 2197 14564 32815 | 57029 53467 47 | 0.633 % |
419.47/419.78 c | 381165 | 2197 14564 32815 | 2147483647 55946 47 | 0.633 % |
422.27/422.57 c | 383890 | 2197 14564 32815 | 2147483647 58671 48 | 0.633 % |
425.87/426.19 c | 386887 | 2197 14564 32815 | 2147483647 61668 48 | 0.633 % |
429.56/429.80 c | 390185 | 2197 14564 32815 | 64781 64966 49 | 0.634 % |
433.56/433.81 c | 393810 | 2197 14564 32815 | 64781 61410 50 | 0.633 % |
433.66/433.94 c | 393910 | 2197 14564 32815 | 64781 61510 50 | 0.633 % |
433.86/434.10 c | 394020 | 2197 14564 32815 | 64781 61620 50 | 0.633 % |
434.06/434.31 c | 394141 | 2197 14564 32815 | 64781 61741 50 | 0.634 % |
434.17/434.47 c | 394275 | 2197 14564 32815 | 64781 61875 50 | 0.633 % |
434.36/434.66 c | 394421 | 2197 14564 32815 | 64781 62021 50 | 0.633 % |
434.66/434.94 c | 394581 | 2197 14564 32815 | 64781 62181 50 | 0.633 % |
434.86/435.17 c | 394758 | 2197 14564 32815 | 64781 62358 50 | 0.634 % |
435.16/435.40 c | 394951 | 2197 14564 32815 | 64781 62551 50 | 0.634 % |
435.36/435.65 c | 395164 | 2197 14564 32815 | 64781 62764 50 | 0.633 % |
435.66/435.99 c | 395399 | 2197 14564 32815 | 64781 62999 50 | 0.633 % |
436.06/436.31 c | 395656 | 2197 14564 32815 | 64781 63256 50 | 0.633 % |
436.36/436.69 c | 395939 | 2197 14564 32815 | 64781 63539 50 | 0.633 % |
436.86/437.12 c | 396248 | 2197 14564 32815 | 64781 63848 50 | 0.633 % |
437.26/437.55 c | 396587 | 2197 14564 32815 | 64781 64187 50 | 0.633 % |
437.76/438.04 c | 396960 | 2197 14564 32815 | 64781 64560 50 | 0.634 % |
438.26/438.53 c | 397371 | 2197 14564 32815 | 64781 64971 50 | 0.633 % |
438.86/439.16 c | 397824 | 2197 14564 32815 | 64781 56876 50 | 0.633 % |
439.56/439.89 c | 398317 | 2197 14564 32815 | 64781 57369 50 | 0.633 % |
440.26/440.59 c | 398860 | 2197 14564 32815 | 64781 57912 50 | 0.633 % |
440.96/441.28 c | 399458 | 2197 14564 32815 | 64781 58510 50 | 0.633 % |
441.86/442.15 c | 400114 | 2197 14564 32815 | 59052 59166 50 | 0.633 % |
442.76/443.02 c | 400834 | 2197 14564 32815 | 59052 51949 49 | 0.633 % |
443.46/443.77 c | 401627 | 2197 14564 32815 | 59052 52742 49 | 0.633 % |
444.46/444.74 c | 402498 | 2197 14564 32815 | 59052 53613 49 | 0.633 % |
445.56/445.82 c | 403457 | 2197 14564 32815 | 59052 54572 49 | 0.633 % |
446.86/447.15 c | 404510 | 2197 14564 32815 | 59052 55625 49 | 0.633 % |
448.05/448.32 c | 405669 | 2197 14564 32815 | 59052 56784 50 | 0.634 % |
449.66/449.99 c | 406944 | 2197 14564 32815 | 59052 58059 50 | 0.633 % |
451.55/451.85 c | 408345 | 2197 14564 32815 | 59052 59460 50 | 0.633 % |
453.45/453.71 c | 409885 | 2197 14564 32815 | 59052 53929 48 | 0.633 % |
455.16/455.42 c | 411582 | 2197 14564 32815 | 54044 49514 47 | 0.633 % |
457.15/457.41 c | 413447 | 2197 14564 32815 | 54044 51379 47 | 0.633 % |
459.15/459.42 c | 415497 | 2197 14564 32815 | 54044 53429 48 | 0.633 % |
461.75/462.02 c | 417750 | 2197 14564 32815 | 54044 50241 47 | 0.633 % |
464.65/464.97 c | 420228 | 2197 14564 32815 | 2147483647 52719 47 | 0.633 % |
467.75/468.08 c | 422955 | 2197 14564 32815 | 2147483647 55446 48 | 0.633 % |
471.65/471.95 c | 425953 | 2197 14564 32815 | 2147483647 58444 49 | 0.633 % |
475.55/475.87 c | 429249 | 2197 14564 32815 | 2147483647 61740 49 | 0.633 % |
480.24/480.58 c | 432875 | 2197 14564 32815 | 62491 58348 49 | 0.633 % |
485.64/485.99 c | 436864 | 2197 14564 32815 | 62491 62337 49 | 0.633 % |
485.84/486.15 c | 436966 | 2197 14564 32815 | 62491 62439 49 | 0.634 % |
486.04/486.37 c | 437076 | 2197 14564 32815 | 62491 62549 49 | 0.633 % |
486.24/486.57 c | 437199 | 2197 14564 32815 | 62491 54345 46 | 0.633 % |
486.44/486.74 c | 437332 | 2197 14564 32815 | 62491 54478 46 | 0.633 % |
486.64/486.94 c | 437482 | 2197 14564 32815 | 62491 54628 46 | 0.633 % |
486.84/487.18 c | 437646 | 2197 14564 32815 | 62491 54792 46 | 0.633 % |
487.14/487.44 c | 437822 | 2197 14564 32815 | 62491 54968 46 | 0.633 % |
487.34/487.69 c | 438015 | 2197 14564 32815 | 62491 55161 46 | 0.633 % |
487.64/487.98 c | 438227 | 2197 14564 32815 | 62491 55373 46 | 0.634 % |
488.04/488.31 c | 438460 | 2197 14564 32815 | 62491 55606 46 | 0.633 % |
488.34/488.65 c | 438716 | 2197 14564 32815 | 62491 55862 46 | 0.633 % |
488.74/489.03 c | 438997 | 2197 14564 32815 | 62491 56143 46 | 0.633 % |
489.14/489.45 c | 439308 | 2197 14564 32815 | 62491 56454 46 | 0.633 % |
489.54/489.85 c | 439647 | 2197 14564 32815 | 62491 56793 46 | 0.633 % |
489.94/490.29 c | 440022 | 2197 14564 32815 | 57146 57168 46 | 0.633 % |
490.44/490.77 c | 440434 | 2197 14564 32815 | 57146 49797 44 | 0.633 % |
490.94/491.22 c | 440883 | 2197 14564 32815 | 57146 50246 45 | 0.633 % |
491.44/491.77 c | 441377 | 2197 14564 32815 | 57146 50740 45 | 0.633 % |
491.94/492.24 c | 441920 | 2197 14564 32815 | 57146 51283 45 | 0.634 % |
492.54/492.81 c | 442516 | 2197 14564 32815 | 57146 51879 45 | 0.633 % |
493.24/493.60 c | 443172 | 2197 14564 32815 | 57146 52535 45 | 0.633 % |
494.04/494.37 c | 443892 | 2197 14564 32815 | 57146 53255 46 | 0.633 % |
494.94/495.25 c | 444685 | 2197 14564 32815 | 57146 54048 46 | 0.633 % |
495.84/496.14 c | 445556 | 2197 14564 32815 | 57146 54919 46 | 0.633 % |
496.84/497.16 c | 446515 | 2197 14564 32815 | 57146 55878 46 | 0.633 % |
497.94/498.26 c | 447570 | 2197 14564 32815 | 57146 56933 47 | 0.633 % |
499.04/499.40 c | 448728 | 2197 14564 32815 | 57146 51956 46 | 0.633 % |
500.43/500.80 c | 450001 | 2197 14564 32815 | 53228 53229 46 | 0.633 % |
502.03/502.31 c | 451404 | 2197 14564 32815 | 53228 48891 45 | 0.634 % |
503.44/503.78 c | 452944 | 2197 14564 32815 | 53228 50431 45 | 0.633 % |
505.33/505.65 c | 454638 | 2197 14564 32815 | 53228 52125 46 | 0.633 % |
507.63/507.94 c | 456503 | 2197 14564 32815 | 53228 48631 45 | 0.633 % |
509.73/510.05 c | 458552 | 2197 14564 32815 | 53228 50680 45 | 0.633 % |
511.73/512.09 c | 460805 | 2197 14564 32815 | 2147483647 52933 46 | 0.634 % |
514.73/515.00 c | 463284 | 2197 14564 32815 | 2147483647 55412 47 | 0.633 % |
517.63/517.96 c | 466012 | 2197 14564 32815 | 2147483647 58140 47 | 0.633 % |
521.13/521.42 c | 469009 | 2197 14564 32815 | 2147483647 61137 48 | 0.634 % |
525.02/525.34 c | 472307 | 2197 14564 32815 | 62128 57201 46 | 0.633 % |
528.83/529.15 c | 475932 | 2197 14564 32815 | 62128 60826 48 | 0.633 % |
533.92/534.26 c | 479921 | 2197 14564 32815 | 62128 57304 48 | 0.633 % |
538.82/539.14 c | 484307 | 2197 14564 32815 | 57383 54738 47 | 0.633 % |
538.92/539.24 c | 484408 | 2197 14564 32815 | 57383 54839 48 | 0.633 % |
539.02/539.36 c | 484519 | 2197 14564 32815 | 57383 54950 48 | 0.633 % |
539.22/539.53 c | 484640 | 2197 14564 32815 | 57383 55071 48 | 0.634 % |
539.32/539.68 c | 484773 | 2197 14564 32815 | 57383 55204 48 | 0.633 % |
539.52/539.87 c | 484920 | 2197 14564 32815 | 57383 55351 48 | 0.633 % |
539.72/540.05 c | 485082 | 2197 14564 32815 | 57383 55513 48 | 0.633 % |
539.92/540.28 c | 485259 | 2197 14564 32815 | 57383 55690 48 | 0.633 % |
540.22/540.54 c | 485452 | 2197 14564 32815 | 57383 55883 48 | 0.633 % |
540.52/540.84 c | 485667 | 2197 14564 32815 | 57383 56098 48 | 0.633 % |
540.82/541.16 c | 485902 | 2197 14564 32815 | 57383 56333 48 | 0.633 % |
541.12/541.43 c | 486160 | 2197 14564 32815 | 57383 56591 48 | 0.633 % |
541.52/541.86 c | 486441 | 2197 14564 32815 | 57383 56872 48 | 0.633 % |
541.92/542.28 c | 486752 | 2197 14564 32815 | 57383 57183 48 | 0.634 % |
542.32/542.65 c | 487091 | 2197 14564 32815 | 57383 57522 48 | 0.633 % |
542.82/543.13 c | 487465 | 2197 14564 32815 | 57383 51756 46 | 0.634 % |
543.22/543.56 c | 487877 | 2197 14564 32815 | 57383 52168 46 | 0.634 % |
543.72/544.08 c | 488329 | 2197 14564 32815 | 57383 52620 46 | 0.633 % |
544.32/544.60 c | 488822 | 2197 14564 32815 | 57383 53113 46 | 0.633 % |
544.82/545.11 c | 489364 | 2197 14564 32815 | 57383 53655 47 | 0.633 % |
545.32/545.70 c | 489960 | 2197 14564 32815 | 57383 54251 47 | 0.633 % |
546.01/546.39 c | 490615 | 2197 14564 32815 | 2147483647 54906 47 | 0.633 % |
546.91/547.22 c | 491336 | 2197 14564 32815 | 2147483647 55627 48 | 0.633 % |
547.81/548.10 c | 492128 | 2197 14564 32815 | 2147483647 56419 48 | 0.633 % |
548.81/549.12 c | 493000 | 2197 14564 32815 | 2147483647 57291 48 | 0.633 % |
549.91/550.28 c | 493959 | 2197 14564 32815 | 2147483647 58250 48 | 0.634 % |
551.21/551.58 c | 495012 | 2197 14564 32815 | 2147483647 59303 48 | 0.633 % |
552.81/553.18 c | 496170 | 2197 14564 32815 | 2147483647 60461 48 | 0.634 % |
554.31/554.65 c | 497443 | 2197 14564 32815 | 2147483647 61734 48 | 0.634 % |
556.01/556.40 c | 498845 | 2197 14564 32815 | 2147483647 63136 49 | 0.633 % |
558.11/558.48 c | 500386 | 2197 14564 32815 | 64294 56688 47 | 0.633 % |
560.11/560.46 c | 502082 | 2197 14564 32815 | 64294 58384 47 | 0.633 % |
562.11/562.49 c | 503947 | 2197 14564 32815 | 64294 60249 48 | 0.633 % |
564.51/564.84 c | 506000 | 2197 14564 32815 | 64294 62302 48 | 0.633 % |
567.31/567.61 c | 508253 | 2197 14564 32815 | 64294 64555 49 | 0.634 % |
570.00/570.32 c | 510731 | 2197 14564 32815 | 58227 51835 47 | 0.633 % |
573.20/573.59 c | 513458 | 2197 14564 32815 | 58227 54562 48 | 0.633 % |
577.00/577.30 c | 516455 | 2197 14564 32815 | 58227 57559 48 | 0.633 % |
580.60/580.93 c | 519752 | 2197 14564 32815 | 58227 54422 47 | 0.633 % |
584.50/584.89 c | 523380 | 2197 14564 32815 | 54673 52369 47 | 0.633 % |
588.90/589.26 c | 527373 | 2197 14564 32815 | 54673 50851 46 | 0.633 % |
593.80/594.17 c | 531758 | 2197 14564 32815 | 2147483647 55236 47 | 0.633 % |
600.20/600.53 c | 536582 | 2197 14564 32815 | 2147483647 60060 47 | 0.633 % |
600.39/600.70 c | 536682 | 2197 14564 32815 | 2147483647 60160 47 | 0.633 % |
600.49/600.87 c | 536792 | 2197 14564 32815 | 2147483647 60270 47 | 0.633 % |
600.69/601.05 c | 536914 | 2197 14564 32815 | 2147483647 60392 47 | 0.633 % |
600.89/601.26 c | 537047 | 2197 14564 32815 | 2147483647 60525 47 | 0.633 % |
601.09/601.46 c | 537194 | 2197 14564 32815 | 2147483647 60672 47 | 0.633 % |
601.30/601.69 c | 537354 | 2197 14564 32815 | 2147483647 60832 47 | 0.633 % |
601.59/601.90 c | 537530 | 2197 14564 32815 | 2147483647 61008 48 | 0.633 % |
601.79/602.16 c | 537723 | 2197 14564 32815 | 2147483647 61201 48 | 0.633 % |
602.09/602.43 c | 537935 | 2197 14564 32815 | 2147483647 61413 48 | 0.633 % |
602.39/602.74 c | 538168 | 2197 14564 32815 | 2147483647 61646 48 | 0.633 % |
602.89/603.20 c | 538426 | 2197 14564 32815 | 2147483647 61904 48 | 0.633 % |
603.29/603.68 c | 538708 | 2197 14564 32815 | 2147483647 62186 48 | 0.633 % |
603.79/604.15 c | 539018 | 2197 14564 32815 | 2147483647 62496 48 | 0.633 % |
604.19/604.52 c | 539357 | 2197 14564 32815 | 2147483647 62835 48 | 0.633 % |
604.69/605.01 c | 539732 | 2197 14564 32815 | 2147483647 63210 48 | 0.633 % |
605.19/605.57 c | 540141 | 2197 14564 32815 | 63480 63619 48 | 0.633 % |
605.79/606.12 c | 540590 | 2197 14564 32815 | 63480 55626 47 | 0.633 % |
606.29/606.66 c | 541083 | 2197 14564 32815 | 63480 56119 47 | 0.633 % |
606.99/607.33 c | 541629 | 2197 14564 32815 | 63480 56665 47 | 0.633 % |
607.89/608.23 c | 542226 | 2197 14564 32815 | 63480 57262 47 | 0.633 % |
608.69/609.07 c | 542883 | 2197 14564 32815 | 63480 57919 47 | 0.634 % |
609.69/610.01 c | 543604 | 2197 14564 32815 | 63480 58640 47 | 0.634 % |
610.59/610.93 c | 544396 | 2197 14564 32815 | 63480 59432 47 | 0.634 % |
611.69/612.07 c | 545268 | 2197 14564 32815 | 63480 60304 47 | 0.633 % |
612.99/613.32 c | 546227 | 2197 14564 32815 | 63480 61263 48 | 0.633 % |
614.39/614.78 c | 547280 | 2197 14564 32815 | 63480 62316 48 | 0.633 % |
615.79/616.12 c | 548438 | 2197 14564 32815 | 63480 63474 48 | 0.633 % |
617.19/617.58 c | 549712 | 2197 14564 32815 | 63480 55762 47 | 0.633 % |
618.78/619.12 c | 551115 | 2197 14564 32815 | 56052 49807 45 | 0.633 % |
620.58/620.93 c | 552655 | 2197 14564 32815 | 56052 51347 46 | 0.633 % |
622.38/622.76 c | 554349 | 2197 14564 32815 | 56052 53041 46 | 0.633 % |
624.39/624.77 c | 556212 | 2197 14564 32815 | 56052 54904 47 | 0.633 % |
626.69/627.08 c | 558262 | 2197 14564 32815 | 56052 51308 46 | 0.633 % |
629.18/629.56 c | 560515 | 2197 14564 32815 | 2147483647 53561 46 | 0.633 % |
631.78/632.10 c | 562995 | 2197 14564 32815 | 2147483647 56041 47 | 0.633 % |
635.18/635.51 c | 565721 | 2197 14564 32815 | 2147483647 58767 47 | 0.633 % |
638.88/639.26 c | 568718 | 2197 14564 32815 | 2147483647 61764 48 | 0.633 % |
643.38/643.79 c | 572014 | 2197 14564 32815 | 63048 57918 47 | 0.633 % |
647.48/647.86 c | 575640 | 2197 14564 32815 | 63048 61544 47 | 0.634 % |
651.88/652.21 c | 579628 | 2197 14564 32815 | 63048 57357 48 | 0.633 % |
657.17/657.55 c | 584013 | 2197 14564 32815 | 57729 54349 48 | 0.633 % |
662.27/662.66 c | 588836 | 2197 14564 32815 | 57729 52847 48 | 0.634 % |
668.17/668.51 c | 594143 | 2197 14564 32815 | 54011 52401 47 | 0.633 % |
668.27/668.64 c | 594243 | 2197 14564 32815 | 54011 52501 47 | 0.633 % |
668.37/668.80 c | 594353 | 2197 14564 32815 | 54011 52611 47 | 0.633 % |
668.56/668.97 c | 594474 | 2197 14564 32815 | 54011 52732 47 | 0.633 % |
668.76/669.15 c | 594608 | 2197 14564 32815 | 54011 52866 47 | 0.633 % |
668.96/669.33 c | 594754 | 2197 14564 32815 | 54011 53012 47 | 0.633 % |
669.16/669.51 c | 594914 | 2197 14564 32815 | 54011 53172 47 | 0.633 % |
669.36/669.75 c | 595090 | 2197 14564 32815 | 54011 53348 47 | 0.633 % |
669.57/669.99 c | 595283 | 2197 14564 32815 | 54011 53541 47 | 0.633 % |
669.86/670.27 c | 595496 | 2197 14564 32815 | 54011 53754 47 | 0.633 % |
670.16/670.53 c | 595730 | 2197 14564 32815 | 54011 53988 47 | 0.633 % |
670.57/670.94 c | 595986 | 2197 14564 32815 | 54011 48824 46 | 0.633 % |
670.86/671.29 c | 596268 | 2197 14564 32815 | 54011 49106 46 | 0.633 % |
671.26/671.67 c | 596579 | 2197 14564 32815 | 54011 49417 46 | 0.633 % |
671.67/672.08 c | 596918 | 2197 14564 32815 | 54011 49756 46 | 0.633 % |
672.06/672.47 c | 597291 | 2197 14564 32815 | 54011 50129 46 | 0.633 % |
672.56/672.97 c | 597701 | 2197 14564 32815 | 54011 50539 46 | 0.633 % |
673.06/673.41 c | 598150 | 2197 14564 32815 | 54011 50988 46 | 0.633 % |
673.56/673.98 c | 598644 | 2197 14564 32815 | 54011 51482 46 | 0.634 % |
674.26/674.65 c | 599186 | 2197 14564 32815 | 54011 52024 46 | 0.633 % |
674.97/675.31 c | 599784 | 2197 14564 32815 | 54011 52622 46 | 0.634 % |
675.66/676.06 c | 600439 | 2197 14564 32815 | 2147483647 53277 46 | 0.633 % |
676.46/676.88 c | 601159 | 2197 14564 32815 | 2147483647 53997 46 | 0.633 % |
677.36/677.70 c | 601951 | 2197 14564 32815 | 2147483647 54789 46 | 0.633 % |
678.36/678.74 c | 602823 | 2197 14564 32815 | 2147483647 55661 47 | 0.633 % |
679.36/679.72 c | 603781 | 2197 14564 32815 | 2147483647 56619 47 | 0.633 % |
680.47/680.88 c | 604834 | 2197 14564 32815 | 2147483647 57672 48 | 0.633 % |
681.86/682.25 c | 605993 | 2197 14564 32815 | 2147483647 58831 48 | 0.633 % |
683.46/683.82 c | 607268 | 2197 14564 32815 | 2147483647 60106 48 | 0.633 % |
685.16/685.60 c | 608668 | 2197 14564 32815 | 2147483647 61506 48 | 0.633 % |
687.36/687.70 c | 610209 | 2197 14564 32815 | 62838 63047 48 | 0.633 % |
689.36/689.78 c | 611903 | 2197 14564 32815 | 62838 57488 47 | 0.633 % |
691.36/691.72 c | 613766 | 2197 14564 32815 | 62838 59351 47 | 0.633 % |
693.95/694.33 c | 615815 | 2197 14564 32815 | 62838 61400 48 | 0.633 % |
696.55/696.91 c | 618072 | 2197 14564 32815 | 62838 56373 48 | 0.634 % |
698.95/699.31 c | 620550 | 2197 14564 32815 | 58305 52177 46 | 0.634 % |
701.65/702.03 c | 623277 | 2197 14564 32815 | 58305 54904 47 | 0.634 % |
704.65/705.04 c | 626276 | 2197 14564 32815 | 58305 57903 48 | 0.633 % |
708.45/708.84 c | 629572 | 2197 14564 32815 | 58305 55329 47 | 0.633 % |
712.55/712.97 c | 633197 | 2197 14564 32815 | 2147483647 58954 48 | 0.633 % |
717.25/717.63 c | 637185 | 2197 14564 32815 | 2147483647 62942 48 | 0.633 % |
722.55/722.99 c | 641571 | 2197 14564 32815 | 65757 59122 48 | 0.633 % |
726.65/727.06 c | 646394 | 2197 14564 32815 | 65757 63945 50 | 0.633 % |
732.95/733.33 c | 651699 | 2197 14564 32815 | 59963 54242 50 | 0.633 % |
741.05/741.42 c | 657534 | 2197 14564 32815 | 59963 60077 51 | 0.633 % |
741.24/741.60 c | 657634 | 2197 14564 32815 | 59963 52137 50 | 0.633 % |
741.34/741.74 c | 657744 | 2197 14564 32815 | 59963 52247 50 | 0.633 % |
741.54/741.91 c | 657867 | 2197 14564 32815 | 59963 52370 50 | 0.633 % |
741.64/742.06 c | 658002 | 2197 14564 32815 | 59963 52505 50 | 0.633 % |
741.84/742.23 c | 658148 | 2197 14564 32815 | 59963 52651 50 | 0.634 % |
742.05/742.43 c | 658310 | 2197 14564 32815 | 59963 52813 50 | 0.633 % |
742.24/742.61 c | 658487 | 2197 14564 32815 | 59963 52990 50 | 0.633 % |
742.44/742.82 c | 658681 | 2197 14564 32815 | 59963 53184 50 | 0.633 % |
742.74/743.11 c | 658893 | 2197 14564 32815 | 59963 53396 50 | 0.633 % |
742.94/743.38 c | 659126 | 2197 14564 32815 | 59963 53629 50 | 0.633 % |
743.24/743.63 c | 659382 | 2197 14564 32815 | 59963 53885 50 | 0.633 % |
743.54/743.90 c | 659666 | 2197 14564 32815 | 59963 54169 50 | 0.633 % |
743.84/744.25 c | 659975 | 2197 14564 32815 | 59963 54478 50 | 0.633 % |
744.24/744.62 c | 660314 | 2197 14564 32815 | 54504 54817 50 | 0.633 % |
744.74/745.13 c | 660686 | 2197 14564 32815 | 54504 48304 49 | 0.633 % |
745.14/745.58 c | 661095 | 2197 14564 32815 | 54504 48713 49 | 0.633 % |
745.54/745.97 c | 661547 | 2197 14564 32815 | 54504 49165 49 | 0.634 % |
746.14/746.53 c | 662041 | 2197 14564 32815 | 54504 49659 49 | 0.633 % |
746.74/747.15 c | 662584 | 2197 14564 32815 | 54504 50202 49 | 0.633 % |
747.34/747.76 c | 663180 | 2197 14564 32815 | 54504 50798 49 | 0.633 % |
748.04/748.49 c | 663835 | 2197 14564 32815 | 54504 51453 49 | 0.633 % |
748.94/749.38 c | 664555 | 2197 14564 32815 | 54504 52173 49 | 0.633 % |
749.94/750.33 c | 665348 | 2197 14564 32815 | 54504 52966 49 | 0.634 % |
751.04/751.46 c | 666220 | 2197 14564 32815 | 54504 53838 49 | 0.633 % |
752.14/752.54 c | 667178 | 2197 14564 32815 | 54504 54796 49 | 0.633 % |
753.34/753.79 c | 668231 | 2197 14564 32815 | 54504 49571 48 | 0.633 % |
754.54/754.93 c | 669392 | 2197 14564 32815 | 54504 50732 49 | 0.633 % |
756.04/756.44 c | 670665 | 2197 14564 32815 | 51340 46488 48 | 0.633 % |
757.63/758.01 c | 672065 | 2197 14564 32815 | 51340 47888 48 | 0.633 % |
759.13/759.56 c | 673606 | 2197 14564 32815 | 51340 49429 49 | 0.634 % |
760.74/761.17 c | 675300 | 2197 14564 32815 | 51340 51123 49 | 0.633 % |
762.94/763.31 c | 677164 | 2197 14564 32815 | 51340 47801 49 | 0.633 % |
765.14/765.51 c | 679213 | 2197 14564 32815 | 51340 49850 49 | 0.633 % |
767.83/768.29 c | 681468 | 2197 14564 32815 | 2147483647 52105 50 | 0.633 % |
770.73/771.14 c | 683948 | 2197 14564 32815 | 2147483647 54585 50 | 0.633 % |
773.83/774.28 c | 686675 | 2197 14564 32815 | 2147483647 57312 51 | 0.633 % |
777.53/777.92 c | 689672 | 2197 14564 32815 | 2147483647 60309 51 | 0.633 % |
781.93/782.34 c | 692969 | 2197 14564 32815 | 2147483647 63606 52 | 0.633 % |
787.32/787.73 c | 696595 | 2197 14564 32815 | 2147483647 67232 52 | 0.633 % |
792.92/793.38 c | 700582 | 2197 14564 32815 | 70637 59770 49 | 0.633 % |
798.72/799.12 c | 704967 | 2197 14564 32815 | 70637 64155 49 | 0.633 % |
805.72/806.15 c | 709791 | 2197 14564 32815 | 70637 68979 50 | 0.633 % |
812.92/813.30 c | 715096 | 2197 14564 32815 | 69189 61984 50 | 0.633 % |
819.71/820.17 c | 720931 | 2197 14564 32815 | 66888 57533 49 | 0.633 % |
827.21/827.67 c | 727349 | 2197 14564 32815 | 66888 63951 50 | 0.633 % |
827.51/827.90 c | 727449 | 2197 14564 32815 | 66888 64051 50 | 0.633 % |
827.71/828.12 c | 727562 | 2197 14564 32815 | 66888 64164 50 | 0.633 % |
827.92/828.33 c | 727683 | 2197 14564 32815 | 66888 64285 50 | 0.633 % |
828.11/828.54 c | 727816 | 2197 14564 32815 | 66888 64418 50 | 0.633 % |
828.31/828.80 c | 727964 | 2197 14564 32815 | 66888 64566 50 | 0.633 % |
828.61/829.07 c | 728124 | 2197 14564 32815 | 66888 64726 50 | 0.633 % |
828.91/829.32 c | 728303 | 2197 14564 32815 | 66888 64905 50 | 0.633 % |
829.11/829.57 c | 728496 | 2197 14564 32815 | 66888 65098 50 | 0.633 % |
829.51/829.92 c | 728709 | 2197 14564 32815 | 66888 65311 50 | 0.633 % |
829.81/830.23 c | 728944 | 2197 14564 32815 | 66888 65546 51 | 0.633 % |
830.21/830.61 c | 729201 | 2197 14564 32815 | 66888 65803 51 | 0.633 % |
830.51/830.95 c | 729482 | 2197 14564 32815 | 66888 66084 51 | 0.633 % |
831.01/831.42 c | 729791 | 2197 14564 32815 | 66888 66393 51 | 0.633 % |
831.31/831.80 c | 730131 | 2197 14564 32815 | 66603 66733 51 | 0.633 % |
831.91/832.30 c | 730504 | 2197 14564 32815 | 66603 56540 49 | 0.633 % |
832.41/832.82 c | 730913 | 2197 14564 32815 | 66603 56949 49 | 0.633 % |
833.01/833.43 c | 731363 | 2197 14564 32815 | 66603 57399 49 | 0.633 % |
833.61/834.05 c | 731856 | 2197 14564 32815 | 66603 57892 49 | 0.633 % |
834.31/834.71 c | 732398 | 2197 14564 32815 | 66603 58434 49 | 0.633 % |
835.21/835.60 c | 732996 | 2197 14564 32815 | 66603 59032 49 | 0.633 % |
836.10/836.51 c | 733654 | 2197 14564 32815 | 66603 59690 49 | 0.633 % |
837.00/837.49 c | 734374 | 2197 14564 32815 | 66603 60410 50 | 0.633 % |
838.20/838.67 c | 735166 | 2197 14564 32815 | 66603 61202 50 | 0.633 % |
839.40/839.88 c | 736043 | 2197 14564 32815 | 66603 62079 50 | 0.633 % |
840.70/841.15 c | 737001 | 2197 14564 32815 | 66603 63037 50 | 0.633 % |
842.00/842.47 c | 738054 | 2197 14564 32815 | 66603 64090 50 | 0.633 % |
843.70/844.17 c | 739216 | 2197 14564 32815 | 66603 65252 50 | 0.633 % |
845.20/845.67 c | 740489 | 2197 14564 32815 | 66036 66525 51 | 0.633 % |
846.90/847.37 c | 741890 | 2197 14564 32815 | 66036 57586 49 | 0.633 % |
849.10/849.57 c | 743430 | 2197 14564 32815 | 66036 59126 49 | 0.633 % |
851.20/851.62 c | 745124 | 2197 14564 32815 | 66036 60820 50 | 0.633 % |
853.40/853.86 c | 746987 | 2197 14564 32815 | 66036 62683 50 | 0.633 % |
855.99/856.41 c | 749037 | 2197 14564 32815 | 66036 64733 51 | 0.633 % |
858.79/859.28 c | 751290 | 2197 14564 32815 | 65699 56508 49 | 0.633 % |
862.09/862.53 c | 753770 | 2197 14564 32815 | 65699 58988 50 | 0.633 % |
865.19/865.61 c | 756496 | 2197 14564 32815 | 65699 61714 50 | 0.633 % |
868.69/869.17 c | 759493 | 2197 14564 32815 | 65699 64711 50 | 0.633 % |
872.59/873.07 c | 762790 | 2197 14564 32815 | 65218 58894 49 | 0.633 % |
876.89/877.31 c | 766417 | 2197 14564 32815 | 65218 62521 49 | 0.633 % |
882.38/882.83 c | 770407 | 2197 14564 32815 | 56514 48627 46 | 0.633 % |
887.08/887.54 c | 774793 | 2197 14564 32815 | 56514 53013 47 | 0.633 % |
892.38/892.88 c | 779617 | 2197 14564 32815 | 56514 52141 48 | 0.633 % |
897.98/898.48 c | 784923 | 2197 14564 32815 | 2147483647 57447 49 | 0.633 % |
905.27/905.73 c | 790758 | 2197 14564 32815 | 62528 56040 49 | 0.633 % |
912.97/913.47 c | 797178 | 2197 14564 32815 | 62528 62460 50 | 0.633 % |
920.97/921.44 c | 804238 | 2197 14564 32815 | 56583 53244 50 | 0.634 % |
921.07/921.54 c | 804340 | 2197 14564 32815 | 56583 53346 50 | 0.633 % |
921.17/921.68 c | 804454 | 2197 14564 32815 | 56583 53460 50 | 0.633 % |
921.37/921.85 c | 804577 | 2197 14564 32815 | 56583 53583 50 | 0.633 % |
921.57/922.05 c | 804711 | 2197 14564 32815 | 56583 53717 50 | 0.634 % |
921.77/922.22 c | 804857 | 2197 14564 32815 | 56583 53863 50 | 0.633 % |
921.97/922.44 c | 805019 | 2197 14564 32815 | 56583 54025 50 | 0.633 % |
922.27/922.71 c | 805197 | 2197 14564 32815 | 56583 54203 50 | 0.633 % |
922.47/922.91 c | 805390 | 2197 14564 32815 | 56583 54396 50 | 0.633 % |
922.67/923.20 c | 805604 | 2197 14564 32815 | 56583 54610 50 | 0.633 % |
922.96/923.47 c | 805838 | 2197 14564 32815 | 56583 54844 50 | 0.633 % |
923.26/923.75 c | 806094 | 2197 14564 32815 | 56583 55100 50 | 0.633 % |
923.57/924.02 c | 806375 | 2197 14564 32815 | 56583 55381 51 | 0.634 % |
923.97/924.42 c | 806686 | 2197 14564 32815 | 56583 55692 51 | 0.633 % |
924.36/924.81 c | 807026 | 2197 14564 32815 | 56583 56032 51 | 0.633 % |
924.86/925.34 c | 807398 | 2197 14564 32815 | 56583 56404 51 | 0.634 % |
925.36/925.87 c | 807807 | 2197 14564 32815 | 56583 56813 51 | 0.633 % |
925.96/926.40 c | 808256 | 2197 14564 32815 | 56583 50718 50 | 0.633 % |
926.46/926.91 c | 808749 | 2197 14564 32815 | 56583 51211 50 | 0.633 % |
926.87/927.40 c | 809292 | 2197 14564 32815 | 56583 51754 50 | 0.633 % |
927.66/928.17 c | 809888 | 2197 14564 32815 | 56583 52350 50 | 0.633 % |
928.46/928.99 c | 810544 | 2197 14564 32815 | 52462 47225 49 | 0.633 % |
929.16/929.66 c | 811266 | 2197 14564 32815 | 52462 47947 49 | 0.634 % |
930.07/930.57 c | 812059 | 2197 14564 32815 | 52462 48740 49 | 0.633 % |
930.96/931.44 c | 812931 | 2197 14564 32815 | 52462 49612 50 | 0.633 % |
931.96/932.41 c | 813892 | 2197 14564 32815 | 52462 50573 50 | 0.633 % |
932.96/933.41 c | 814945 | 2197 14564 32815 | 52462 51626 50 | 0.633 % |
934.36/934.84 c | 816105 | 2197 14564 32815 | 52462 47513 49 | 0.633 % |
935.66/936.14 c | 817380 | 2197 14564 32815 | 52462 48788 49 | 0.633 % |
937.06/937.58 c | 818780 | 2197 14564 32815 | 52462 50188 49 | 0.633 % |
938.76/939.28 c | 820320 | 2197 14564 32815 | 2147483647 51728 50 | 0.633 % |
940.96/941.47 c | 822014 | 2197 14564 32815 | 2147483647 53422 50 | 0.633 % |
942.66/943.18 c | 823882 | 2197 14564 32815 | 2147483647 55290 51 | 0.633 % |
945.26/945.73 c | 825933 | 2197 14564 32815 | 2147483647 57341 51 | 0.633 % |
948.06/948.53 c | 828188 | 2197 14564 32815 | 2147483647 59596 52 | 0.633 % |
951.66/952.15 c | 830666 | 2197 14564 32815 | 61411 54788 51 | 0.633 % |
955.46/955.90 c | 833393 | 2197 14564 32815 | 61411 57515 52 | 0.633 % |
959.45/959.94 c | 836390 | 2197 14564 32815 | 61411 60512 52 | 0.633 % |
963.55/964.03 c | 839687 | 2197 14564 32815 | 61411 55539 50 | 0.633 % |
967.35/967.83 c | 843313 | 2197 14564 32815 | 55854 51649 49 | 0.633 % |
971.75/972.30 c | 847302 | 2197 14564 32815 | 55854 55638 50 | 0.633 % |
976.74/977.23 c | 851687 | 2197 14564 32815 | 2147483647 54217 50 | 0.633 % |
983.14/983.69 c | 856510 | 2197 14564 32815 | 2147483647 59040 52 | 0.633 % |
989.04/989.53 c | 861815 | 2197 14564 32815 | 62530 55900 51 | 0.634 % |
997.04/997.50 c | 867655 | 2197 14564 32815 | 62530 61740 52 | 0.633 % |
1004.04/1004.57 c | 874076 | 2197 14564 32815 | 55007 51590 48 | 0.633 % |
1010.73/1011.24 c | 881136 | 2197 14564 32815 | 2147483647 53088 50 | 0.633 % |
1020.33/1020.85 c | 888900 | 2197 14564 32815 | 2147483647 60852 52 | 0.633 % |
1020.43/1020.97 c | 889002 | 2197 14564 32815 | 2147483647 60954 52 | 0.633 % |
1020.63/1021.16 c | 889115 | 2197 14564 32815 | 2147483647 61067 52 | 0.633 % |
1020.73/1021.28 c | 889236 | 2197 14564 32815 | 2147483647 61188 52 | 0.633 % |
1020.93/1021.45 c | 889369 | 2197 14564 32815 | 2147483647 61321 52 | 0.633 % |
1021.13/1021.63 c | 889515 | 2197 14564 32815 | 2147483647 61467 52 | 0.633 % |
1021.33/1021.90 c | 889675 | 2197 14564 32815 | 2147483647 61627 52 | 0.634 % |
1021.63/1022.14 c | 889854 | 2197 14564 32815 | 2147483647 61806 52 | 0.633 % |
1021.83/1022.39 c | 890047 | 2197 14564 32815 | 61957 61999 52 | 0.633 % |
1022.13/1022.67 c | 890259 | 2197 14564 32815 | 61957 54414 51 | 0.633 % |
1022.43/1022.93 c | 890492 | 2197 14564 32815 | 61957 54647 51 | 0.633 % |
1022.63/1023.18 c | 890750 | 2197 14564 32815 | 61957 54905 51 | 0.633 % |
1023.03/1023.53 c | 891031 | 2197 14564 32815 | 61957 55186 51 | 0.633 % |
1023.43/1023.96 c | 891345 | 2197 14564 32815 | 61957 55500 51 | 0.633 % |
1023.83/1024.32 c | 891684 | 2197 14564 32815 | 61957 55839 51 | 0.633 % |
1024.23/1024.79 c | 892059 | 2197 14564 32815 | 61957 56214 51 | 0.633 % |
1024.73/1025.30 c | 892468 | 2197 14564 32815 | 61957 56623 51 | 0.633 % |
1025.33/1025.88 c | 892919 | 2197 14564 32815 | 61957 57074 51 | 0.633 % |
1025.93/1026.50 c | 893413 | 2197 14564 32815 | 61957 57568 51 | 0.634 % |
1026.73/1027.30 c | 893955 | 2197 14564 32815 | 61957 58110 51 | 0.633 % |
1027.63/1028.13 c | 894552 | 2197 14564 32815 | 61957 58707 52 | 0.633 % |
1028.53/1029.06 c | 895212 | 2197 14564 32815 | 61957 59367 52 | 0.633 % |
1029.52/1030.04 c | 895935 | 2197 14564 32815 | 61957 60090 52 | 0.633 % |
1030.63/1031.10 c | 896733 | 2197 14564 32815 | 61957 60888 52 | 0.633 % |
1031.52/1032.04 c | 897610 | 2197 14564 32815 | 61957 61765 52 | 0.633 % |
1032.72/1033.22 c | 898568 | 2197 14564 32815 | 61957 54409 50 | 0.633 % |
1033.92/1034.42 c | 899621 | 2197 14564 32815 | 61957 55462 50 | 0.633 % |
1035.22/1035.72 c | 900780 | 2197 14564 32815 | 55844 49431 49 | 0.633 % |
1036.52/1037.07 c | 902053 | 2197 14564 32815 | 55844 50704 49 | 0.633 % |
1037.82/1038.38 c | 903454 | 2197 14564 32815 | 55844 52105 49 | 0.634 % |
1039.62/1040.15 c | 904995 | 2197 14564 32815 | 55844 53646 50 | 0.633 % |
1041.32/1041.86 c | 906690 | 2197 14564 32815 | 55844 55341 50 | 0.633 % |
1043.22/1043.79 c | 908555 | 2197 14564 32815 | 55844 51566 50 | 0.633 % |
1045.52/1046.09 c | 910604 | 2197 14564 32815 | 2147483647 53615 50 | 0.634 % |
1048.12/1048.63 c | 912857 | 2197 14564 32815 | 2147483647 55868 50 | 0.633 % |
1051.02/1051.57 c | 915335 | 2197 14564 32815 | 2147483647 58346 51 | 0.633 % |
1054.61/1055.11 c | 918060 | 2197 14564 32815 | 2147483647 61071 51 | 0.633 % |
1058.11/1058.69 c | 921057 | 2197 14564 32815 | 63012 56540 51 | 0.633 % |
1061.61/1062.10 c | 924354 | 2197 14564 32815 | 63012 59837 51 | 0.633 % |
1066.41/1066.91 c | 927979 | 2197 14564 32815 | 63012 63462 52 | 0.633 % |
1071.51/1072.06 c | 931966 | 2197 14564 32815 | 57744 52243 48 | 0.633 % |
1076.51/1077.09 c | 936353 | 2197 14564 32815 | 57744 56630 49 | 0.633 % |
1082.21/1082.77 c | 941179 | 2197 14564 32815 | 53766 49054 48 | 0.633 % |
1088.51/1089.01 c | 946485 | 2197 14564 32815 | 53766 48730 48 | 0.633 % |
1095.01/1095.53 c | 952320 | 2197 14564 32815 | 2147483647 54565 50 | 0.633 % |
1102.30/1102.84 c | 958740 | 2197 14564 32815 | 2147483647 60985 51 | 0.633 % |
1111.70/1112.29 c | 965799 | 2197 14564 32815 | 62247 60787 51 | 0.633 % |
1122.00/1122.52 c | 973563 | 2197 14564 32815 | 56524 52607 49 | 0.633 % |
1130.49/1131.05 c | 982103 | 2197 14564 32815 | 2147483647 55302 50 | 0.633 % |
1130.59/1131.19 c | 982205 | 2197 14564 32815 | 2147483647 55404 50 | 0.633 % |
1130.79/1131.33 c | 982316 | 2197 14564 32815 | 2147483647 55515 50 | 0.633 % |
1130.89/1131.49 c | 982439 | 2197 14564 32815 | 2147483647 55638 50 | 0.633 % |
1131.09/1131.66 c | 982572 | 2197 14564 32815 | 2147483647 55771 50 | 0.633 % |
1131.30/1131.84 c | 982721 | 2197 14564 32815 | 2147483647 55920 50 | 0.634 % |
1131.49/1132.04 c | 982881 | 2197 14564 32815 | 2147483647 56080 50 | 0.633 % |
1131.69/1132.30 c | 983058 | 2197 14564 32815 | 2147483647 56257 50 | 0.633 % |
1131.99/1132.58 c | 983251 | 2197 14564 32815 | 2147483647 56450 50 | 0.633 % |
1132.29/1132.85 c | 983465 | 2197 14564 32815 | 2147483647 56664 50 | 0.633 % |
1132.59/1133.18 c | 983699 | 2197 14564 32815 | 2147483647 56898 51 | 0.634 % |
1132.99/1133.55 c | 983957 | 2197 14564 32815 | 2147483647 57156 51 | 0.633 % |
1133.39/1133.98 c | 984239 | 2197 14564 32815 | 2147483647 57438 51 | 0.633 % |
1133.79/1134.38 c | 984548 | 2197 14564 32815 | 2147483647 57747 51 | 0.633 % |
1134.29/1134.86 c | 984887 | 2197 14564 32815 | 2147483647 58086 51 | 0.633 % |
1134.79/1135.38 c | 985260 | 2197 14564 32815 | 2147483647 58459 51 | 0.633 % |
1135.39/1135.94 c | 985670 | 2197 14564 32815 | 2147483647 58869 51 | 0.633 % |
1135.99/1136.58 c | 986119 | 2197 14564 32815 | 2147483647 59318 51 | 0.633 % |
1136.59/1137.16 c | 986612 | 2197 14564 32815 | 2147483647 59811 51 | 0.633 % |
1137.39/1137.94 c | 987154 | 2197 14564 32815 | 2147483647 60353 51 | 0.633 % |
1138.09/1138.67 c | 987750 | 2197 14564 32815 | 2147483647 60949 51 | 0.633 % |
1138.89/1139.49 c | 988405 | 2197 14564 32815 | 2147483647 61604 51 | 0.633 % |
1139.79/1140.37 c | 989125 | 2197 14564 32815 | 2147483647 62324 51 | 0.633 % |
1140.89/1141.49 c | 989917 | 2197 14564 32815 | 2147483647 63116 52 | 0.633 % |
1142.19/1142.77 c | 990789 | 2197 14564 32815 | 63200 55522 50 | 0.633 % |
1143.39/1143.97 c | 991747 | 2197 14564 32815 | 63200 56480 50 | 0.633 % |
1144.59/1145.15 c | 992800 | 2197 14564 32815 | 63200 57533 50 | 0.633 % |
1145.78/1146.33 c | 993959 | 2197 14564 32815 | 63200 58692 51 | 0.633 % |
1147.48/1148.00 c | 995232 | 2197 14564 32815 | 63200 59965 51 | 0.633 % |
1148.99/1149.51 c | 996632 | 2197 14564 32815 | 63200 61365 51 | 0.633 % |
1151.09/1151.63 c | 998176 | 2197 14564 32815 | 63200 62909 52 | 0.633 % |
1153.18/1153.79 c | 999870 | 2197 14564 32815 | 63200 57716 51 | 0.633 % |
1155.38/1155.94 c | 1001733 | 2197 14564 32815 | 57848 53564 50 | 0.633 % |
1157.48/1158.10 c | 1003784 | 2197 14564 32815 | 57848 55615 51 | 0.633 % |
1160.18/1160.74 c | 1006040 | 2197 14564 32815 | 57848 57871 51 | 0.633 % |
1162.78/1163.38 c | 1008518 | 2197 14564 32815 | 57848 54562 51 | 0.633 % |
1165.88/1166.49 c | 1011243 | 2197 14564 32815 | 56044 51276 50 | 0.633 % |
1169.07/1169.62 c | 1014242 | 2197 14564 32815 | 56044 54275 51 | 0.633 % |
1172.57/1173.12 c | 1017538 | 2197 14564 32815 | 56044 51925 51 | 0.633 % |
1176.17/1176.70 c | 1021165 | 2197 14564 32815 | 2147483647 55552 52 | 0.634 % |
1180.97/1181.52 c | 1025153 | 2197 14564 32815 | 2147483647 59540 53 | 0.633 % |
1186.97/1187.56 c | 1029539 | 2197 14564 32815 | 2147483647 63926 53 | 0.633 % |
1192.47/1193.07 c | 1034362 | 2197 14564 32815 | 64388 60659 52 | 0.633 % |
1199.16/1199.73 c | 1039667 | 2197 14564 32815 | 64388 57111 51 | 0.633 % |
1200.07/1200.61 HOME/SatELiteGTI: line 36: 13290 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832293-1242771543/watcher-1832293-1242771543 -o /tmp/evaluation-result-1832293-1242771543/solver-1832293-1242771543 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832293-1242771543.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.99 3/64 13284
/proc/meminfo: memFree=1973040/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305187042 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13284/statm: 1339 237 197 169 0 50 0
[startup+0.0139691 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 13284
/proc/meminfo: memFree=1973040/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305187042 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13284/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102984 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 13284
/proc/meminfo: memFree=1973040/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.303021 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 13284
/proc/meminfo: memFree=1973040/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.701073 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 13284
/proc/meminfo: memFree=1973040/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50118 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 13290
/proc/meminfo: memFree=1970400/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=3692 CPUtime=1.43
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 606 0 0 0 143 0 0 0 25 0 1 0 305187047 3780608 592 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 923 592 76 171 0 750 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9048
[startup+3.10142 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 13290
/proc/meminfo: memFree=1969952/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=5024 CPUtime=3.03
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 935 0 0 0 303 0 0 0 25 0 1 0 305187047 5144576 921 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 1256 921 76 171 0 1083 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 10380
[startup+6.30188 s]
/proc/loadavg: 0.92 0.97 0.99 2/66 13290
/proc/meminfo: memFree=1967200/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=7200 CPUtime=6.23
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 1477 0 0 0 622 1 0 0 25 0 1 0 305187047 7372800 1463 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 1800 1463 76 171 0 1627 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 12556
[startup+12.7018 s]
/proc/loadavg: 0.93 0.97 0.99 2/66 13290
/proc/meminfo: memFree=1964192/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=9872 CPUtime=12.63
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 2132 0 0 0 1261 2 0 0 25 0 1 0 305187047 10108928 2118 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 2468 2118 76 171 0 2295 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 15228
[startup+25.5027 s]
/proc/loadavg: 0.94 0.97 0.99 2/66 13290
/proc/meminfo: memFree=1960096/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=13780 CPUtime=25.41
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 3123 0 0 0 2538 3 0 0 25 0 1 0 305187047 14110720 3109 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 3445 3109 76 171 0 3272 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 19136
[startup+51.1024 s]
/proc/loadavg: 0.96 0.97 0.99 2/66 13290
/proc/meminfo: memFree=1954976/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=18920 CPUtime=50.99
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 4384 0 0 0 5095 4 0 0 25 0 1 0 305187047 19374080 4370 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 4730 4370 76 171 0 4557 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 24276
[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.99 2/66 13290
/proc/meminfo: memFree=1954784/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=18920 CPUtime=102.16
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 4393 0 0 0 10212 4 0 0 25 0 1 0 305187047 19374080 4379 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 4730 4379 76 171 0 4557 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 24276
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 13290
/proc/meminfo: memFree=1954656/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=18920 CPUtime=162.14
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 4403 0 0 0 16209 5 0 0 25 0 1 0 305187047 19374080 4389 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 4730 4389 76 171 0 4557 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 24276
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 13290
/proc/meminfo: memFree=1953120/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=20384 CPUtime=222.1
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 4750 0 0 0 22205 5 0 0 25 0 1 0 305187047 20873216 4736 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 5096 4736 76 171 0 4923 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 25740
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 13290
/proc/meminfo: memFree=1953056/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=20384 CPUtime=282.08
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 4750 0 0 0 28203 5 0 0 25 0 1 0 305187047 20873216 4736 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 5096 4736 76 171 0 4923 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 25740
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 13290
/proc/meminfo: memFree=1952928/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=20384 CPUtime=342.05
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 4751 0 0 0 34200 5 0 0 25 0 1 0 305187047 20873216 4737 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 5096 4737 77 171 0 4923 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 25740
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 13290
/proc/meminfo: memFree=1952800/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=20384 CPUtime=402.03
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 4751 0 0 0 40197 6 0 0 25 0 1 0 305187047 20873216 4737 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 5096 4737 77 171 0 4923 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 25740
[startup+462.303 s]
################
# More data... #
################
[pid=13290] ppid=13284 vsize=20384 CPUtime=462.01
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 4751 0 0 0 46195 6 0 0 25 0 1 0 305187047 20873216 4737 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 5096 4737 77 171 0 4923 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 25740
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 13290
/proc/meminfo: memFree=1952608/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=20384 CPUtime=521.99
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 4751 0 0 0 52193 6 0 0 25 0 1 0 305187047 20873216 4737 1992294400 134512640 135215339 4294956240 18446744073709551615 134538594 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 5096 4737 77 171 0 4923 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 25740
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 13290
/proc/meminfo: memFree=1952544/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=20384 CPUtime=581.96
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 4758 0 0 0 58190 6 0 0 25 0 1 0 305187047 20873216 4744 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 5096 4744 77 171 0 4923 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 25740
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 13290
/proc/meminfo: memFree=1952480/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=20384 CPUtime=641.94
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 4763 0 0 0 64188 6 0 0 25 0 1 0 305187047 20873216 4749 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 5096 4749 77 171 0 4923 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 25740
[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 13290
/proc/meminfo: memFree=1952352/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=20384 CPUtime=701.91
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 4763 0 0 0 70185 6 0 0 25 0 1 0 305187047 20873216 4749 1992294400 134512640 135215339 4294956240 18446744073709551615 134529088 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 5096 4749 77 171 0 4923 0
Current children cumulated CPU time (s) 701.95
Current children cumulated vsize (KiB) 25740
[startup+762.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 13290
/proc/meminfo: memFree=1951520/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=21044 CPUtime=761.9
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 4937 0 0 0 76183 7 0 0 25 0 1 0 305187047 21549056 4923 1992294400 134512640 135215339 4294956240 18446744073709551615 134529088 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 5261 4923 77 171 0 5088 0
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (KiB) 26400
[startup+822.301 s]
/proc/loadavg: 1.04 0.99 0.99 2/66 13290
/proc/meminfo: memFree=1949728/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=22760 CPUtime=821.87
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 5364 0 0 0 82179 8 0 0 25 0 1 0 305187047 23306240 5350 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 5690 5350 77 171 0 5517 0
Current children cumulated CPU time (s) 821.91
Current children cumulated vsize (KiB) 28116
[startup+882.302 s]
/proc/loadavg: 1.05 1.00 1.00 2/66 13290
/proc/meminfo: memFree=1949728/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=22760 CPUtime=881.84
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 5364 0 0 0 88176 8 0 0 25 0 1 0 305187047 23306240 5350 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 5690 5350 77 171 0 5517 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 28116
[startup+942.301 s]
/proc/loadavg: 1.02 1.00 1.00 2/66 13290
/proc/meminfo: memFree=1949600/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=22760 CPUtime=941.82
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 5364 0 0 0 94174 8 0 0 25 0 1 0 305187047 23306240 5350 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 5690 5350 77 171 0 5517 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 28116
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13290
/proc/meminfo: memFree=1949536/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=22760 CPUtime=1001.8
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 5364 0 0 0 100172 8 0 0 25 0 1 0 305187047 23306240 5350 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 5690 5350 77 171 0 5517 0
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (KiB) 28116
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13290
/proc/meminfo: memFree=1949472/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=22760 CPUtime=1061.77
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 5364 0 0 0 106169 8 0 0 25 0 1 0 305187047 23306240 5350 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 5690 5350 77 171 0 5517 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 28116
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13290
/proc/meminfo: memFree=1949344/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=22760 CPUtime=1121.76
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 5364 0 0 0 112167 9 0 0 25 0 1 0 305187047 23306240 5350 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 5690 5350 77 171 0 5517 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 28116
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13290
/proc/meminfo: memFree=1949280/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=22760 CPUtime=1181.73
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 5364 0 0 0 118164 9 0 0 25 0 1 0 305187047 23306240 5350 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 5690 5350 77 171 0 5517 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 28116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13290
/proc/meminfo: memFree=1949216/2055920 swapFree=4179688/4192956
[pid=13284] ppid=13282 vsize=5356 CPUtime=0.04
/proc/13284/stat : 13284 (SatELiteGTI) S 13282 13284 13123 0 -1 4194304 336 646 0 0 0 0 4 0 16 0 1 0 305187042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13284/statm: 1339 239 197 169 0 50 0
[pid=13290] ppid=13284 vsize=22760 CPUtime=1200.03
/proc/13290/stat : 13290 (minisat_static) R 13284 13284 13123 0 -1 4194304 5364 0 0 0 119994 9 0 0 25 0 1 0 305187047 23306240 5350 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13290/statm: 5690 5350 77 171 0 5517 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 28116
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)
Real time (s): 1200.61
CPU time (s): 1200.09
CPU user time (s): 1199.99
CPU system time (s): 0.102984
CPU usage (%): 99.9565
Max. virtual memory (cumulated for all children) (KiB): 28116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.99
system time used= 0.102984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6355
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= 28
involuntary context switches= 4844
runsolver used 1.3478 second user time and 3.14852 second system time
The end
Begin job on node30 at 2009-05-20 00:19:03
IDJOB=1832293
IDBENCH=24697
IDSOLVER=671
FILE ID=node30/1832293-1242771543
PBS_JOBID= 9322268
Free space on /tmp= 66400 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest03/others/bqwh.40.reg.520.sat05-433.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832293-1242771543/watcher-1832293-1242771543 -o /tmp/evaluation-result-1832293-1242771543/solver-1832293-1242771543 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832293-1242771543.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= cf535bf919bca60e7bcea01358de0b4c
RANDOM SEED=116215484
node30.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.265
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.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1973520 kB
Buffers: 10148 kB
Cached: 36948 kB
SwapCached: 7440 kB
Active: 23932 kB
Inactive: 31984 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1973520 kB
SwapTotal: 4192956 kB
SwapFree: 4179688 kB
Dirty: 1768 kB
Writeback: 0 kB
Mapped: 13952 kB
Slab: 12580 kB
Committed_AS: 1129912 kB
PageTables: 1360 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= 66400 MiB
End job on node30 at 2009-05-20 00:39:05