0.00/0.00 c Parsing...
0.00/0.03 c ==============================================================================
0.00/0.03 c | | ORIGINAL | LEARNT | |
0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.03 c ==============================================================================
0.00/0.03 c | 0 | 30972 81428 | 9291 0 0 nan | 0.000 % |
0.22/0.24 c | 0 | 22056 71256 | -- 0 -- -- | -- | -8916/-10172
0.22/0.24 c ==============================================================================
0.22/0.24 c Result : #vars: 3830 #clauses: 22056 #literals: 71256
0.22/0.24 c CPU time: 0.23 s
0.22/0.24 c ==============================================================================
0.22/0.27 c This is MiniSat 2.0 beta
0.22/0.27 c WARNING: for repeatability, setting FPU to use double precision
0.22/0.27 c ============================[ Problem Statistics ]=============================
0.22/0.27 c | |
0.22/0.27 c | Number of variables: 3830 |
0.22/0.27 c | Number of clauses: 22056 |
0.22/0.28 c | Parsing time: 0.01 s |
0.22/0.28 c ============================[ Search Statistics ]==============================
0.22/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.22/0.28 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.22/0.28 c ===============================================================================
0.22/0.28 c | 0 | 3830 22056 71256 | 7352 0 nan | 0.000 % |
0.22/0.29 c | 102 | 3830 22056 71256 | 7352 102 10 | 0.000 % |
0.22/0.30 c | 203 | 3830 22056 71256 | 7352 203 13 | 0.000 % |
0.28/0.31 c | 304 | 3830 22056 71256 | 7352 304 22 | 0.000 % |
0.28/0.32 c | 415 | 3830 22056 71256 | 7352 415 21 | 0.000 % |
0.28/0.33 c | 517 | 3830 22056 71256 | 7352 517 20 | 0.000 % |
0.28/0.34 c | 627 | 3830 22056 71256 | 7352 627 19 | 0.000 % |
0.28/0.35 c | 748 | 3830 22056 71256 | 7352 748 20 | 0.000 % |
0.28/0.36 c | 852 | 3830 22056 71256 | 7352 852 20 | 0.000 % |
0.28/0.37 c | 962 | 3830 22056 71256 | 7352 962 19 | 0.000 % |
0.28/0.38 c | 1085 | 3830 22056 71256 | 7352 1085 20 | 0.000 % |
0.28/0.40 c | 1219 | 3830 22056 71256 | 7352 1219 20 | 0.000 % |
0.28/0.41 c | 1320 | 3830 22056 71256 | 7352 1320 21 | 0.000 % |
0.28/0.42 c | 1430 | 3830 22056 71256 | 7352 1430 22 | 0.000 % |
0.28/0.43 c | 1552 | 3830 22056 71256 | 7352 1552 22 | 0.000 % |
0.28/0.45 c | 1685 | 3830 22056 71256 | 7352 1685 21 | 0.000 % |
0.28/0.46 c | 1833 | 3830 22056 71256 | 7352 1833 22 | 0.000 % |
0.28/0.47 c | 1933 | 3830 22056 71256 | 7352 1933 21 | 0.000 % |
0.28/0.48 c | 2044 | 3830 22056 71256 | 7352 2044 21 | 0.000 % |
0.28/0.49 c | 2165 | 3830 22056 71256 | 7352 2165 21 | 0.000 % |
0.28/0.50 c | 2300 | 3830 22056 71256 | 7352 2300 21 | 0.000 % |
0.28/0.53 c | 2448 | 3830 22056 71256 | 7352 2448 21 | 0.000 % |
0.28/0.54 c | 2610 | 3830 22056 71256 | 7352 2610 23 | 0.000 % |
0.28/0.55 c | 2710 | 3830 22056 71256 | 7352 2710 22 | 0.000 % |
0.28/0.56 c | 2820 | 3830 22056 71256 | 7352 2820 23 | 0.000 % |
0.28/0.58 c | 2941 | 3830 22056 71256 | 7352 2941 23 | 0.000 % |
0.28/0.60 c | 3075 | 3830 22056 71256 | 7352 3075 24 | 0.000 % |
0.28/0.61 c | 3221 | 3830 22056 71256 | 7352 3221 24 | 0.000 % |
0.28/0.63 c | 3381 | 3830 22056 71256 | 7352 3381 25 | 0.000 % |
0.28/0.66 c | 3557 | 3830 22056 71256 | 7352 3557 25 | 0.000 % |
0.28/0.67 c | 3657 | 3830 22056 71256 | 7352 3657 25 | 0.000 % |
0.28/0.68 c | 3767 | 3830 22056 71256 | 7352 3767 25 | 0.000 % |
0.28/0.70 c | 3889 | 3830 22056 71256 | 7352 3889 25 | 0.000 % |
0.28/0.72 c | 4022 | 3830 22056 71256 | 7352 4022 25 | 0.000 % |
0.28/0.74 c | 4170 | 3830 22056 71256 | 7352 4170 26 | 0.001 % |
0.28/0.76 c | 4330 | 3830 22056 71256 | 7352 4330 26 | 0.000 % |
0.28/0.79 c | 4507 | 3830 22056 71256 | 7352 4507 26 | 0.000 % |
0.28/0.82 c | 4703 | 3830 22056 71256 | 7352 4703 26 | 0.000 % |
0.28/0.84 c | 4805 | 3830 22056 71256 | 7352 4805 27 | 0.000 % |
0.28/0.85 c | 4916 | 3830 22056 71256 | 7352 4916 27 | 0.000 % |
0.28/0.88 c | 5037 | 3830 22056 71256 | 7352 5037 27 | 0.000 % |
0.28/0.90 c | 5170 | 3830 22056 71256 | 7352 5170 27 | 0.001 % |
0.28/0.92 c | 5317 | 3830 22056 71256 | 7352 5317 28 | 0.000 % |
0.28/0.95 c | 5478 | 3830 22056 71256 | 7352 5478 28 | 0.000 % |
0.28/0.99 c | 5654 | 3830 22056 71256 | 7352 5654 29 | 0.000 % |
1.02/1.02 c | 5847 | 3830 22056 71256 | 7352 5847 29 | 0.000 % |
1.02/1.05 c | 6059 | 3830 22056 71256 | 7352 6059 29 | 0.000 % |
1.02/1.07 c | 6160 | 3830 22056 71256 | 7352 6160 29 | 0.000 % |
1.02/1.09 c | 6270 | 3830 22056 71256 | 7352 6270 29 | 0.000 % |
1.02/1.11 c | 6391 | 3830 22056 71256 | 7352 6391 29 | 0.000 % |
1.13/1.14 c | 6524 | 3830 22056 71256 | 7352 6524 30 | 0.000 % |
1.13/1.16 c | 6670 | 3830 22056 71256 | 7352 6670 30 | 0.000 % |
1.13/1.19 c | 6834 | 3830 22056 71256 | 7352 6834 29 | 0.000 % |
1.22/1.22 c | 7011 | 3830 22056 71256 | 7352 7011 30 | 0.000 % |
1.22/1.25 c | 7204 | 3830 22056 71256 | 7352 7204 30 | 0.000 % |
1.22/1.28 c | 7419 | 3830 22056 71256 | 7352 7419 30 | 0.000 % |
1.32/1.32 c | 7652 | 3830 22056 71256 | 7352 6911 30 | 0.000 % |
1.32/1.35 c | 7752 | 3830 22056 71256 | 7352 7011 30 | 0.000 % |
1.32/1.37 c | 7862 | 3830 22056 71256 | 7352 7121 30 | 0.000 % |
1.32/1.39 c | 7983 | 3830 22056 71256 | 7352 7242 30 | 0.000 % |
1.42/1.42 c | 8117 | 3830 22056 71256 | 7352 7376 30 | 0.000 % |
1.42/1.45 c | 8264 | 3830 22056 71256 | 7352 6786 30 | 0.000 % |
1.42/1.48 c | 8424 | 3830 22056 71256 | 7352 6946 30 | 0.000 % |
1.52/1.52 c | 8600 | 3830 22056 71256 | 7352 7122 30 | 0.000 % |
1.52/1.56 c | 8793 | 3830 22056 71256 | 7352 7315 30 | 0.000 % |
1.52/1.60 c | 9005 | 3830 22056 71256 | 7352 7527 30 | 0.000 % |
1.62/1.64 c | 9238 | 3830 22056 71256 | 7352 7008 29 | 0.000 % |
1.62/1.68 c | 9494 | 3830 22056 71256 | 7352 7264 30 | 0.000 % |
1.72/1.71 c | 9594 | 3830 22056 71256 | 7352 7364 30 | 0.000 % |
1.72/1.73 c | 9706 | 3830 22056 71256 | 7352 6740 29 | 0.000 % |
1.72/1.75 c | 9828 | 3830 22056 71256 | 7352 6862 29 | 0.000 % |
1.72/1.78 c | 9962 | 3830 22056 71256 | 7352 6996 29 | 0.000 % |
1.72/1.80 c | 10108 | 3830 22056 71256 | 2147483647 7142 29 | 0.000 % |
1.82/1.82 c | 10269 | 3830 22056 71256 | 2147483647 7303 30 | 0.000 % |
1.82/1.86 c | 10446 | 3830 22056 71256 | 2147483647 7480 30 | 0.000 % |
1.82/1.90 c | 10640 | 3830 22056 71256 | 2147483647 7674 31 | 0.000 % |
1.92/1.94 c | 10852 | 3830 22056 71256 | 2147483647 7886 31 | 0.000 % |
1.92/1.98 c | 11085 | 3830 22056 71256 | 2147483647 8119 31 | 0.000 % |
2.02/2.03 c | 11341 | 3830 22056 71256 | 2147483647 8375 31 | 0.000 % |
2.02/2.07 c | 11622 | 3830 22056 71256 | 2147483647 8656 32 | 0.000 % |
2.02/2.10 c | 11722 | 3830 22056 71256 | 2147483647 8756 32 | 0.000 % |
2.12/2.12 c | 11832 | 3830 22056 71256 | 2147483647 8866 32 | 0.000 % |
2.12/2.15 c | 11954 | 3830 22056 71256 | 2147483647 8988 32 | 0.000 % |
2.12/2.17 c | 12087 | 3830 22056 71256 | 2147483647 9121 32 | 0.000 % |
2.12/2.20 c | 12234 | 3830 22056 71256 | 2147483647 9268 32 | 0.000 % |
2.23/2.23 c | 12395 | 3830 22056 71256 | 2147483647 9429 32 | 0.000 % |
2.23/2.27 c | 12571 | 3830 22056 71256 | 2147483647 9605 32 | 0.000 % |
2.32/2.32 c | 12764 | 3830 22056 71256 | 2147483647 9798 32 | 0.000 % |
2.32/2.35 c | 12976 | 3830 22056 71256 | 2147483647 10010 33 | 0.000 % |
2.32/2.39 c | 13209 | 3830 22056 71256 | 2147483647 10243 33 | 0.000 % |
2.42/2.45 c | 13468 | 3830 22056 71256 | 2147483647 10502 33 | 0.000 % |
2.42/2.50 c | 13750 | 3830 22056 71256 | 2147483647 10784 34 | 0.000 % |
2.52/2.58 c | 14060 | 3830 22056 71256 | 2147483647 11094 34 | 0.000 % |
2.52/2.60 c | 14161 | 3830 22056 71256 | 2147483647 11195 34 | 0.000 % |
2.62/2.63 c | 14272 | 3830 22056 71256 | 2147483647 11306 34 | 0.000 % |
2.62/2.65 c | 14393 | 3830 22056 71256 | 2147483647 11427 34 | 0.000 % |
2.62/2.70 c | 14527 | 3830 22056 71256 | 2147483647 11561 34 | 0.000 % |
2.72/2.72 c | 14673 | 3830 22056 71256 | 2147483647 11707 34 | 0.000 % |
2.72/2.76 c | 14833 | 3830 22056 71256 | 2147483647 11867 34 | 0.000 % |
2.72/2.79 c | 15011 | 3830 22056 71256 | 2147483647 12045 34 | 0.000 % |
2.82/2.83 c | 15205 | 3830 22056 71256 | 2147483647 12239 34 | 0.000 % |
2.82/2.87 c | 15417 | 3830 22056 71256 | 2147483647 12451 34 | 0.000 % |
2.92/2.91 c | 15650 | 3830 22056 71256 | 2147483647 12684 34 | 0.000 % |
2.92/2.98 c | 15906 | 3830 22056 71256 | 2147483647 12940 34 | 0.000 % |
3.02/3.04 c | 16187 | 3830 22056 71256 | 2147483647 13221 33 | 0.000 % |
3.02/3.10 c | 16497 | 3830 22056 71256 | 2147483647 13531 33 | 0.000 % |
3.12/3.18 c | 16837 | 3830 22056 71256 | 2147483647 13871 33 | 0.000 % |
3.22/3.21 c | 16938 | 3830 22056 71256 | 2147483647 13972 33 | 0.000 % |
3.22/3.24 c | 17048 | 3830 22056 71256 | 2147483647 14082 33 | 0.000 % |
3.22/3.28 c | 17169 | 3830 22056 71256 | 2147483647 14203 33 | 0.000 % |
3.22/3.30 c | 17303 | 3830 22056 71256 | 2147483647 14337 33 | 0.000 % |
3.33/3.36 c | 17451 | 3829 22047 71236 | 2147483647 14484 33 | 0.026 % |
3.42/3.41 c | 17611 | 3829 22047 71236 | 2147483647 14644 33 | 0.026 % |
3.42/3.44 c | 17787 | 3829 22047 71236 | 2147483647 14820 33 | 0.026 % |
3.42/3.50 c | 17980 | 3829 22047 71236 | 2147483647 15013 33 | 0.026 % |
3.52/3.56 c | 18192 | 3829 22047 71236 | 2147483647 15225 34 | 0.026 % |
3.62/3.62 c | 18426 | 3829 22047 71236 | 2147483647 15459 34 | 0.026 % |
3.62/3.69 c | 18682 | 3829 22047 71236 | 2147483647 15715 35 | 0.026 % |
3.72/3.76 c | 18965 | 3829 22047 71236 | 2147483647 15998 35 | 0.026 % |
3.82/3.84 c | 19275 | 3829 22047 71236 | 2147483647 16308 36 | 0.026 % |
3.92/3.92 c | 19615 | 3829 22047 71236 | 2147483647 16648 36 | 0.026 % |
3.92/4.00 c | 19988 | 3829 22047 71236 | 2147483647 17021 36 | 0.026 % |
4.02/4.02 c | 20088 | 3829 22047 71236 | 2147483647 17121 36 | 0.026 % |
4.02/4.06 c | 20199 | 3829 22047 71236 | 2147483647 17232 36 | 0.027 % |
4.02/4.09 c | 20321 | 3829 22047 71236 | 2147483647 17354 36 | 0.026 % |
4.12/4.13 c | 20454 | 3829 22047 71236 | 2147483647 17487 36 | 0.026 % |
4.12/4.17 c | 20600 | 3829 22047 71236 | 2147483647 17633 36 | 0.026 % |
4.22/4.22 c | 20760 | 3829 22047 71236 | 2147483647 17793 36 | 0.026 % |
4.22/4.27 c | 20937 | 3829 22047 71236 | 2147483647 17970 36 | 0.026 % |
4.32/4.33 c | 21130 | 3829 22047 71236 | 2147483647 18163 36 | 0.026 % |
4.32/4.40 c | 21343 | 3829 22047 71236 | 2147483647 18376 37 | 0.026 % |
4.43/4.49 c | 21578 | 3829 22047 71236 | 2147483647 18611 37 | 0.026 % |
4.52/4.55 c | 21834 | 3829 22047 71236 | 2147483647 18867 36 | 0.026 % |
4.62/4.61 c | 22115 | 3829 22047 71236 | 2147483647 19148 36 | 0.026 % |
4.62/4.69 c | 22424 | 3829 22047 71236 | 2147483647 19457 36 | 0.026 % |
4.72/4.78 c | 22766 | 3829 22047 71236 | 2147483647 19799 36 | 0.026 % |
4.82/4.89 c | 23138 | 3829 22047 71236 | 2147483647 20171 36 | 0.027 % |
4.92/4.99 c | 23547 | 3829 22047 71236 | 2147483647 20580 36 | 0.026 % |
5.02/5.02 c | 23647 | 3829 22047 71236 | 2147483647 20680 36 | 0.026 % |
5.02/5.06 c | 23757 | 3829 22047 71236 | 2147483647 20790 36 | 0.026 % |
5.02/5.10 c | 23878 | 3829 22047 71236 | 2147483647 20911 36 | 0.026 % |
5.12/5.17 c | 24013 | 3829 22047 71236 | 2147483647 21046 36 | 0.026 % |
5.22/5.21 c | 24159 | 3829 22047 71236 | 2147483647 21192 36 | 0.026 % |
5.22/5.26 c | 24321 | 3829 22047 71236 | 2147483647 21354 36 | 0.026 % |
5.22/5.30 c | 24498 | 3829 22047 71236 | 2147483647 21531 36 | 0.026 % |
5.32/5.37 c | 24693 | 3829 22047 71236 | 2147483647 21726 36 | 0.026 % |
5.42/5.45 c | 24907 | 3829 22047 71236 | 2147483647 21940 36 | 0.026 % |
5.53/5.53 c | 25141 | 3829 22047 71236 | 2147483647 22174 36 | 0.026 % |
5.62/5.62 c | 25398 | 3829 22047 71236 | 2147483647 22431 36 | 0.026 % |
5.72/5.71 c | 25681 | 3829 22047 71236 | 2147483647 22714 36 | 0.026 % |
5.72/5.77 c | 25991 | 3829 22047 71236 | 2147483647 23024 37 | 0.026 % |
5.92/5.94 c | 26331 | 3829 22047 71236 | 2147483647 23364 37 | 0.026 % |
6.02/6.10 c | 26704 | 3829 22047 71236 | 2147483647 23737 37 | 0.026 % |
6.22/6.26 c | 27114 | 3829 22047 71236 | 2147483647 24147 36 | 0.026 % |
6.42/6.41 c | 27564 | 3829 22047 71236 | 2147483647 24597 37 | 0.026 % |
6.42/6.45 c | 27664 | 3829 22047 71236 | 2147483647 24697 36 | 0.026 % |
6.42/6.48 c | 27774 | 3829 22047 71236 | 2147483647 24807 36 | 0.026 % |
6.52/6.53 c | 27895 | 3829 22047 71236 | 2147483647 24928 36 | 0.026 % |
6.52/6.57 c | 28028 | 3829 22047 71236 | 2147483647 25061 36 | 0.026 % |
6.63/6.63 c | 28174 | 3829 22047 71236 | 2147483647 25207 36 | 0.026 % |
6.63/6.68 c | 28334 | 3829 22047 71236 | 2147483647 25367 37 | 0.026 % |
6.72/6.73 c | 28510 | 3829 22047 71236 | 2147483647 25543 37 | 0.026 % |
6.72/6.79 c | 28704 | 3829 22047 71236 | 2147483647 25737 37 | 0.026 % |
6.82/6.86 c | 28917 | 3829 22047 71236 | 2147483647 25950 36 | 0.026 % |
6.92/6.95 c | 29150 | 3829 22047 71236 | 2147483647 26183 36 | 0.026 % |
7.02/7.09 c | 29407 | 3829 22047 71236 | 2147483647 26440 36 | 0.026 % |
7.12/7.17 c | 29688 | 3829 22047 71236 | 2147483647 26721 36 | 0.026 % |
7.22/7.29 c | 29997 | 3829 22047 71236 | 2147483647 27030 36 | 0.026 % |
7.32/7.40 c | 30339 | 3829 22047 71236 | 2147483647 27372 36 | 0.026 % |
7.52/7.52 c | 30713 | 3829 22047 71236 | 2147483647 27746 37 | 0.026 % |
7.62/7.67 c | 31122 | 3829 22047 71236 | 2147483647 28155 37 | 0.026 % |
7.82/7.81 c | 31571 | 3829 22047 71236 | 2147483647 28604 37 | 0.026 % |
7.92/8.00 c | 32064 | 3829 22047 71236 | 2147483647 29097 37 | 0.026 % |
8.02/8.04 c | 32166 | 3829 22047 71236 | 2147483647 29199 37 | 0.026 % |
8.02/8.08 c | 32276 | 3829 22047 71236 | 2147483647 29309 37 | 0.026 % |
8.12/8.12 c | 32397 | 3829 22047 71236 | 2147483647 29430 37 | 0.026 % |
8.12/8.19 c | 32530 | 3829 22047 71236 | 2147483647 29563 37 | 0.026 % |
8.22/8.27 c | 32678 | 3829 22047 71236 | 2147483647 29711 37 | 0.026 % |
8.32/8.32 c | 32838 | 3829 22047 71236 | 2147483647 29871 37 | 0.026 % |
8.42/8.41 c | 33014 | 3829 22047 71236 | 2147483647 30047 37 | 0.026 % |
8.42/8.46 c | 33209 | 3829 22047 71236 | 2147483647 30242 37 | 0.026 % |
8.52/8.53 c | 33421 | 3829 22047 71236 | 2147483647 30454 37 | 0.026 % |
8.52/8.59 c | 33654 | 3829 22047 71236 | 2147483647 30687 37 | 0.026 % |
8.62/8.68 c | 33910 | 3829 22047 71236 | 2147483647 30943 37 | 0.026 % |
8.72/8.78 c | 34197 | 3829 22047 71236 | 2147483647 31230 37 | 0.026 % |
8.92/8.94 c | 34510 | 3829 22047 71236 | 2147483647 31543 37 | 0.026 % |
9.02/9.08 c | 34849 | 3829 22047 71236 | 2147483647 31882 37 | 0.026 % |
9.12/9.19 c | 35222 | 3829 22047 71236 | 2147483647 32255 38 | 0.026 % |
9.32/9.36 c | 35631 | 3829 22047 71236 | 2147483647 32664 38 | 0.026 % |
9.52/9.54 c | 36080 | 3829 22047 71236 | 2147483647 33113 38 | 0.026 % |
9.72/9.75 c | 36573 | 3829 22047 71236 | 2147483647 33606 38 | 0.026 % |
9.93/9.96 c | 37118 | 3829 22047 71236 | 2147483647 34151 38 | 0.026 % |
9.93/10.00 c | 37218 | 3829 22047 71236 | 2147483647 34251 38 | 0.026 % |
10.02/10.04 c | 37329 | 3829 22047 71236 | 2147483647 34362 38 | 0.026 % |
10.02/10.10 c | 37452 | 3829 22047 71236 | 2147483647 34485 38 | 0.026 % |
10.12/10.14 c | 37585 | 3829 22047 71236 | 2147483647 34618 38 | 0.026 % |
10.22/10.21 c | 37731 | 3829 22047 71236 | 2147483647 34764 38 | 0.026 % |
10.22/10.27 c | 37891 | 3829 22047 71236 | 2147483647 34924 38 | 0.026 % |
10.32/10.33 c | 38067 | 3829 22047 71236 | 2147483647 35100 38 | 0.026 % |
10.42/10.44 c | 38260 | 3829 22047 71236 | 2147483647 35293 38 | 0.026 % |
10.52/10.56 c | 38475 | 3829 22047 71236 | 2147483647 35508 38 | 0.026 % |
10.62/10.67 c | 38710 | 3829 22047 71236 | 2147483647 35743 38 | 0.026 % |
10.82/10.85 c | 38968 | 3829 22047 71236 | 2147483647 36001 38 | 0.026 % |
10.92/10.97 c | 39250 | 3829 22047 71236 | 2147483647 36283 38 | 0.026 % |
11.12/11.13 c | 39560 | 3829 22047 71236 | 2147483647 36593 38 | 0.026 % |
11.32/11.33 c | 39900 | 3829 22047 71236 | 2147483647 36933 38 | 0.026 % |
11.52/11.53 c | 40272 | 3829 22047 71236 | 2147483647 37305 38 | 0.026 % |
11.82/11.82 c | 40683 | 3829 22047 71236 | 2147483647 37716 38 | 0.026 % |
12.02/12.08 c | 41133 | 3829 22047 71236 | 2147483647 38166 38 | 0.026 % |
12.32/12.34 c | 41627 | 3829 22047 71236 | 2147483647 38660 38 | 0.026 % |
12.62/12.62 c | 42169 | 3829 22047 71236 | 2147483647 39202 38 | 0.026 % |
12.92/12.98 c | 42766 | 3829 22047 71236 | 2147483647 39799 38 | 0.026 % |
13.02/13.05 c | 42867 | 3829 22047 71236 | 2147483647 39900 39 | 0.026 % |
13.12/13.11 c | 42978 | 3829 22047 71236 | 2147483647 40011 39 | 0.026 % |
13.12/13.19 c | 43101 | 3829 22047 71236 | 2147483647 40134 39 | 0.026 % |
13.23/13.28 c | 43234 | 3829 22047 71236 | 2147483647 40267 39 | 0.026 % |
13.32/13.34 c | 43380 | 3829 22047 71236 | 2147483647 40413 39 | 0.026 % |
13.42/13.42 c | 43540 | 3829 22047 71236 | 2147483647 40573 39 | 0.026 % |
13.52/13.53 c | 43716 | 3829 22047 71236 | 2147483647 40749 39 | 0.026 % |
13.62/13.67 c | 43909 | 3829 22047 71236 | 2147483647 40942 39 | 0.026 % |
13.72/13.75 c | 44121 | 3829 22047 71236 | 2147483647 41154 39 | 0.026 % |
13.82/13.86 c | 44354 | 3829 22047 71236 | 2147483647 41387 39 | 0.026 % |
13.92/13.98 c | 44611 | 3829 22047 71236 | 2147483647 41644 39 | 0.026 % |
14.12/14.13 c | 44894 | 3829 22047 71236 | 2147483647 41927 39 | 0.026 % |
14.22/14.23 c | 45203 | 3829 22047 71236 | 2147483647 42236 39 | 0.026 % |
14.42/14.45 c | 45543 | 3829 22047 71236 | 2147483647 42576 39 | 0.026 % |
14.62/14.65 c | 45915 | 3829 22047 71236 | 2147483647 42948 39 | 0.026 % |
14.82/14.89 c | 46324 | 3829 22047 71236 | 2147483647 43357 39 | 0.026 % |
15.12/15.16 c | 46773 | 3829 22047 71236 | 2147483647 43806 39 | 0.026 % |
15.43/15.49 c | 47267 | 3829 22047 71236 | 2147483647 44300 39 | 0.026 % |
15.72/15.80 c | 47809 | 3829 22047 71236 | 2147483647 44842 39 | 0.026 % |
16.22/16.21 c | 48406 | 3829 22047 71236 | 2147483647 45439 39 | 0.026 % |
16.62/16.68 c | 49061 | 3829 22047 71236 | 2147483647 46094 39 | 0.026 % |
16.72/16.75 c | 49164 | 3829 22047 71236 | 2147483647 46197 39 | 0.026 % |
16.82/16.83 c | 49274 | 3829 22047 71236 | 2147483647 46307 39 | 0.026 % |
16.92/16.93 c | 49395 | 3829 22047 71236 | 2147483647 46428 39 | 0.026 % |
17.02/17.01 c | 49528 | 3829 22047 71236 | 2147483647 46561 39 | 0.026 % |
17.12/17.15 c | 49676 | 3829 22047 71236 | 2147483647 46709 39 | 0.026 % |
17.22/17.25 c | 49836 | 3829 22047 71236 | 2147483647 46869 39 | 0.026 % |
17.32/17.40 c | 50012 | 3829 22047 71236 | 2147483647 47045 39 | 0.026 % |
17.52/17.54 c | 50206 | 3829 22047 71236 | 2147483647 47239 39 | 0.026 % |
17.63/17.70 c | 50418 | 3829 22047 71236 | 2147483647 47451 38 | 0.026 % |
17.82/17.86 c | 50651 | 3829 22047 71236 | 2147483647 47684 38 | 0.026 % |
17.92/17.99 c | 50907 | 3829 22047 71236 | 2147483647 47940 38 | 0.026 % |
18.12/18.17 c | 51190 | 3829 22047 71236 | 2147483647 48223 38 | 0.026 % |
18.32/18.35 c | 51500 | 3829 22047 71236 | 2147483647 48533 38 | 0.026 % |
18.62/18.61 c | 51841 | 3829 22047 71236 | 2147483647 48874 38 | 0.026 % |
18.82/18.88 c | 52215 | 3829 22047 71236 | 2147483647 49248 38 | 0.026 % |
18.92/18.98 c | 52624 | 3829 22047 71236 | 2147483647 49657 38 | 0.026 % |
19.32/19.31 c | 53073 | 3829 22047 71236 | 2147483647 50106 38 | 0.026 % |
19.52/19.59 c | 53566 | 3829 22047 71236 | 2147483647 50599 38 | 0.026 % |
19.92/19.94 c | 54108 | 3829 22047 71236 | 2147483647 51141 38 | 0.026 % |
20.22/20.28 c | 54705 | 3829 22047 71236 | 2147483647 51738 38 | 0.026 % |
20.62/20.66 c | 55360 | 3829 22047 71236 | 2147483647 52393 38 | 0.026 % |
21.32/21.32 c | 56084 | 3829 22047 71236 | 2147483647 53117 38 | 0.026 % |
21.32/21.40 c | 56184 | 3829 22047 71236 | 2147483647 53217 38 | 0.026 % |
21.42/21.48 c | 56297 | 3829 22047 71236 | 2147483647 53330 38 | 0.026 % |
21.52/21.58 c | 56419 | 3829 22047 71236 | 2147483647 53452 38 | 0.026 % |
21.62/21.66 c | 56554 | 3829 22047 71236 | 2147483647 53587 38 | 0.026 % |
21.72/21.78 c | 56701 | 3829 22047 71236 | 2147483647 53734 38 | 0.026 % |
21.82/21.89 c | 56862 | 3829 22047 71236 | 2147483647 53895 38 | 0.026 % |
22.03/22.04 c | 57038 | 3829 22047 71236 | 2147483647 54071 38 | 0.026 % |
22.12/22.15 c | 57231 | 3829 22047 71236 | 2147483647 54264 38 | 0.026 % |
22.32/22.31 c | 57443 | 3829 22047 71236 | 2147483647 54476 38 | 0.026 % |
22.42/22.50 c | 57677 | 3829 22047 71236 | 2147483647 54710 38 | 0.026 % |
22.72/22.72 c | 57936 | 3829 22047 71236 | 2147483647 54969 39 | 0.026 % |
22.92/22.93 c | 58218 | 3829 22047 71236 | 2147483647 55251 39 | 0.026 % |
23.13/23.19 c | 58529 | 3829 22047 71236 | 2147483647 55562 39 | 0.026 % |
23.42/23.43 c | 58868 | 3829 22047 71236 | 2147483647 55901 39 | 0.026 % |
23.72/23.74 c | 59240 | 3829 22047 71236 | 2147483647 56273 38 | 0.026 % |
24.02/24.06 c | 59650 | 3829 22047 71236 | 2147483647 56683 38 | 0.026 % |
24.42/24.44 c | 60099 | 3829 22047 71236 | 2147483647 57132 38 | 0.026 % |
24.72/24.79 c | 60594 | 3829 22047 71236 | 2147483647 57627 38 | 0.026 % |
25.12/25.16 c | 61136 | 3829 22047 71236 | 2147483647 58169 38 | 0.026 % |
25.72/25.74 c | 61732 | 3829 22047 71236 | 2147483647 58765 38 | 0.026 % |
26.32/26.33 c | 62389 | 3829 22047 71236 | 2147483647 59422 38 | 0.026 % |
26.92/26.96 c | 63110 | 3829 22047 71236 | 2147483647 60143 39 | 0.026 % |
27.62/27.63 c | 63902 | 3829 22047 71236 | 2147483647 60935 39 | 0.026 % |
27.72/27.74 c | 64004 | 3829 22047 71236 | 2147483647 61037 39 | 0.026 % |
27.82/27.82 c | 64114 | 3829 22047 71236 | 2147483647 61147 39 | 0.026 % |
27.92/27.95 c | 64236 | 3829 22047 71236 | 2147483647 61269 39 | 0.026 % |
28.02/28.07 c | 64369 | 3829 22047 71236 | 2147483647 61402 39 | 0.026 % |
28.12/28.20 c | 64515 | 3829 22047 71236 | 2147483647 61548 39 | 0.026 % |
28.32/28.37 c | 64675 | 3829 22047 71236 | 2147483647 61708 39 | 0.026 % |
28.52/28.52 c | 64851 | 3829 22047 71236 | 2147483647 61884 39 | 0.026 % |
28.63/28.68 c | 65044 | 3829 22047 71236 | 2147483647 62077 39 | 0.026 % |
28.82/28.86 c | 65256 | 3829 22047 71236 | 2147483647 62289 39 | 0.026 % |
28.92/29.00 c | 65492 | 3829 22047 71236 | 2147483647 62525 39 | 0.026 % |
29.12/29.16 c | 65748 | 3829 22047 71236 | 2147483647 62781 39 | 0.026 % |
29.32/29.34 c | 66030 | 3829 22047 71236 | 2147483647 63063 39 | 0.026 % |
29.52/29.54 c | 66340 | 3829 22047 71236 | 2147483647 63373 39 | 0.026 % |
29.73/29.79 c | 66681 | 3829 22047 71236 | 2147483647 63714 39 | 0.026 % |
30.02/30.04 c | 67053 | 3829 22047 71236 | 2147483647 64086 39 | 0.026 % |
30.42/30.50 c | 67463 | 3829 22047 71236 | 2147483647 64496 39 | 0.027 % |
30.83/30.90 c | 67912 | 3829 22047 71236 | 2147483647 64945 39 | 0.026 % |
31.42/31.43 c | 68405 | 3829 22047 71236 | 2147483647 65438 39 | 0.026 % |
32.02/32.03 c | 68947 | 3829 22047 71236 | 2147483647 65980 39 | 0.026 % |
32.42/32.47 c | 69543 | 3829 22047 71236 | 2147483647 66576 39 | 0.026 % |
33.12/33.13 c | 70199 | 3829 22047 71236 | 2147483647 67232 38 | 0.026 % |
33.62/33.69 c | 70921 | 3829 22047 71236 | 2147483647 67954 38 | 0.026 % |
34.52/34.54 c | 71716 | 3829 22047 71236 | 2147483647 68749 38 | 0.026 % |
35.12/35.15 c | 72588 | 3829 22047 71236 | 2147483647 69621 38 | 0.026 % |
35.23/35.28 c | 72690 | 3829 22047 71236 | 2147483647 69723 38 | 0.026 % |
35.32/35.37 c | 72800 | 3829 22047 71236 | 2147483647 69833 38 | 0.026 % |
35.42/35.50 c | 72923 | 3829 22047 71236 | 2147483647 69956 38 | 0.026 % |
35.62/35.70 c | 73058 | 3829 22047 71236 | 2147483647 70091 38 | 0.026 % |
35.82/35.85 c | 73205 | 3829 22047 71236 | 2147483647 70238 38 | 0.026 % |
36.02/36.00 c | 73365 | 3829 22047 71236 | 2147483647 70398 38 | 0.026 % |
36.12/36.16 c | 73542 | 3829 22047 71236 | 2147483647 70575 38 | 0.026 % |
36.33/36.33 c | 73736 | 3829 22047 71236 | 2147483647 70769 38 | 0.026 % |
36.42/36.50 c | 73948 | 3829 22047 71236 | 2147483647 70981 38 | 0.026 % |
36.62/36.67 c | 74182 | 3829 22047 71236 | 2147483647 71215 38 | 0.026 % |
36.82/36.88 c | 74439 | 3829 22047 71236 | 2147483647 71472 38 | 0.026 % |
37.12/37.19 c | 74723 | 3829 22047 71236 | 2147483647 71756 38 | 0.026 % |
37.52/37.52 c | 75032 | 3829 22047 71236 | 2147483647 72065 38 | 0.026 % |
37.82/37.83 c | 75371 | 3829 22047 71236 | 2147483647 72404 38 | 0.026 % |
38.12/38.15 c | 75743 | 3829 22047 71236 | 2147483647 72776 38 | 0.026 % |
38.42/38.43 c | 76152 | 3829 22047 71236 | 2147483647 73185 38 | 0.026 % |
38.72/38.75 c | 76601 | 3829 22047 71236 | 2147483647 73634 38 | 0.026 % |
39.12/39.17 c | 77095 | 3829 22047 71236 | 2147483647 74128 38 | 0.026 % |
39.52/39.60 c | 77639 | 3829 22047 71236 | 2147483647 74672 38 | 0.026 % |
40.02/40.09 c | 78236 | 3829 22047 71236 | 2147483647 75269 38 | 0.026 % |
40.62/40.61 c | 78892 | 3829 22047 71236 | 2147483647 75925 38 | 0.026 % |
41.42/41.43 c | 79613 | 3829 22047 71236 | 2147483647 76646 38 | 0.026 % |
42.22/42.27 c | 80406 | 3829 22047 71236 | 2147483647 77439 38 | 0.026 % |
43.42/43.47 c | 81277 | 3829 22047 71236 | 2147483647 78310 38 | 0.026 % |
45.03/45.11 c | 82235 | 3829 22047 71236 | 2147483647 79268 38 | 0.026 % |
45.23/45.28 c | 82335 | 3829 22047 71236 | 2147483647 79368 38 | 0.026 % |
45.43/45.42 c | 82445 | 3829 22047 71236 | 2147483647 79478 38 | 0.026 % |
45.53/45.57 c | 82567 | 3829 22047 71236 | 2147483647 79600 38 | 0.026 % |
45.63/45.70 c | 82700 | 3829 22047 71236 | 2147483647 79733 38 | 0.026 % |
45.83/45.86 c | 82846 | 3829 22047 71236 | 2147483647 79879 38 | 0.026 % |
45.93/46.01 c | 83008 | 3829 22047 71236 | 2147483647 80041 38 | 0.026 % |
46.23/46.25 c | 83185 | 3829 22047 71236 | 2147483647 80218 38 | 0.026 % |
46.43/46.44 c | 83379 | 3829 22047 71236 | 2147483647 80412 38 | 0.026 % |
46.63/46.68 c | 83591 | 3829 22047 71236 | 2147483647 80624 38 | 0.026 % |
46.93/46.95 c | 83828 | 3829 22047 71236 | 2147483647 80861 38 | 0.026 % |
47.13/47.19 c | 84086 | 3829 22047 71236 | 2147483647 81119 38 | 0.026 % |
47.43/47.48 c | 84369 | 3829 22047 71236 | 2147483647 81402 38 | 0.026 % |
47.83/47.86 c | 84678 | 3829 22047 71236 | 2147483647 81711 38 | 0.026 % |
48.13/48.21 c | 85017 | 3829 22047 71236 | 2147483647 82050 38 | 0.026 % |
48.73/48.77 c | 85389 | 3828 22038 71216 | 2147483647 82420 38 | 0.052 % |
49.13/49.14 c | 85799 | 3828 22038 71216 | 2147483647 82830 38 | 0.052 % |
49.63/49.66 c | 86248 | 3828 22038 71216 | 2147483647 83279 38 | 0.052 % |
50.23/50.23 c | 86741 | 3828 22038 71216 | 2147483647 83772 38 | 0.052 % |
50.73/50.78 c | 87284 | 3828 22038 71216 | 2147483647 84315 38 | 0.052 % |
51.23/51.24 c | 87881 | 3828 22038 71216 | 2147483647 84912 38 | 0.052 % |
51.93/51.95 c | 88540 | 3828 22038 71216 | 2147483647 85571 38 | 0.052 % |
52.63/52.62 c | 89261 | 3828 22038 71216 | 2147483647 86292 38 | 0.052 % |
53.33/53.37 c | 90053 | 3828 22038 71216 | 2147483647 87084 38 | 0.052 % |
54.03/54.03 c | 90925 | 3828 22038 71216 | 2147483647 87956 38 | 0.052 % |
54.73/54.75 c | 91884 | 3828 22038 71216 | 2147483647 88915 38 | 0.052 % |
55.93/55.92 c | 92939 | 3828 22038 71216 | 2147483647 89970 39 | 0.052 % |
56.03/56.08 c | 93040 | 3828 22038 71216 | 2147483647 90071 39 | 0.052 % |
56.23/56.23 c | 93151 | 3828 22038 71216 | 2147483647 90182 39 | 0.052 % |
56.33/56.34 c | 93272 | 3828 22038 71216 | 2147483647 90303 39 | 0.053 % |
56.43/56.46 c | 93405 | 3828 22038 71216 | 2147483647 90436 39 | 0.052 % |
56.63/56.62 c | 93552 | 3828 22038 71216 | 2147483647 90583 39 | 0.052 % |
56.73/56.80 c | 93712 | 3828 22038 71216 | 2147483647 90743 39 | 0.052 % |
57.03/57.02 c | 93888 | 3828 22038 71216 | 2147483647 90919 39 | 0.052 % |
57.13/57.21 c | 94082 | 3828 22038 71216 | 2147483647 91113 39 | 0.052 % |
57.43/57.46 c | 94294 | 3828 22038 71216 | 2147483647 91325 39 | 0.053 % |
57.73/57.79 c | 94527 | 3828 22038 71216 | 2147483647 91558 39 | 0.053 % |
58.03/58.04 c | 94783 | 3828 22038 71216 | 2147483647 91814 39 | 0.052 % |
58.33/58.36 c | 95064 | 3828 22038 71216 | 2147483647 92095 39 | 0.052 % |
58.73/58.72 c | 95373 | 3828 22038 71216 | 2147483647 92404 39 | 0.052 % |
59.13/59.18 c | 95713 | 3828 22038 71216 | 2147483647 92744 39 | 0.052 % |
59.73/59.77 c | 96085 | 3828 22038 71216 | 2147483647 93116 39 | 0.052 % |
60.23/60.22 c | 96495 | 3828 22038 71216 | 2147483647 93526 39 | 0.052 % |
60.83/60.84 c | 96948 | 3828 22038 71216 | 2147483647 93979 39 | 0.052 % |
61.43/61.42 c | 97442 | 3828 22038 71216 | 2147483647 94473 39 | 0.053 % |
62.13/62.13 c | 97986 | 3828 22038 71216 | 2147483647 95017 39 | 0.052 % |
62.73/62.72 c | 98582 | 3828 22038 71216 | 2147483647 95613 39 | 0.052 % |
63.43/63.46 c | 99237 | 3828 22038 71216 | 2147483647 96268 39 | 0.052 % |
64.43/64.42 c | 99957 | 3828 22038 71216 | 2147483647 96988 39 | 0.053 % |
65.23/65.28 c | 100750 | 3828 22038 71216 | 2147483647 97781 39 | 0.052 % |
66.13/66.19 c | 101623 | 3828 22038 71216 | 2147483647 98654 39 | 0.052 % |
67.33/67.40 c | 102581 | 3828 22038 71216 | 2147483647 99612 39 | 0.052 % |
68.63/68.67 c | 103634 | 3828 22038 71216 | 2147483647 100665 39 | 0.053 % |
69.73/69.78 c | 104793 | 3828 22038 71216 | 2147483647 101824 39 | 0.052 % |
69.93/69.92 c | 104893 | 3828 22038 71216 | 2147483647 101924 39 | 0.052 % |
70.13/70.14 c | 105006 | 3828 22038 71216 | 2147483647 102037 39 | 0.052 % |
70.23/70.31 c | 105128 | 3828 22038 71216 | 2147483647 102159 39 | 0.052 % |
70.53/70.52 c | 105264 | 3828 22038 71216 | 2147483647 102295 39 | 0.052 % |
70.73/70.72 c | 105411 | 3828 22038 71216 | 2147483647 102442 39 | 0.052 % |
70.83/70.89 c | 105571 | 3828 22038 71216 | 2147483647 102602 39 | 0.052 % |
71.13/71.12 c | 105751 | 3828 22038 71216 | 2147483647 102782 39 | 0.052 % |
71.43/71.45 c | 105944 | 3828 22038 71216 | 2147483647 102975 39 | 0.052 % |
71.83/71.85 c | 106157 | 3828 22038 71216 | 2147483647 103188 39 | 0.052 % |
72.13/72.18 c | 106391 | 3828 22038 71216 | 2147483647 103422 39 | 0.052 % |
72.43/72.49 c | 106647 | 3828 22038 71216 | 2147483647 103678 39 | 0.053 % |
72.83/72.89 c | 106929 | 3828 22038 71216 | 2147483647 103960 39 | 0.052 % |
73.33/73.37 c | 107239 | 3828 22038 71216 | 2147483647 104270 39 | 0.052 % |
73.73/73.77 c | 107578 | 3828 22038 71216 | 2147483647 104609 39 | 0.052 % |
74.43/74.41 c | 107952 | 3828 22038 71216 | 2147483647 104983 39 | 0.053 % |
74.83/74.89 c | 108361 | 3828 22038 71216 | 2147483647 105392 39 | 0.052 % |
75.53/75.54 c | 108810 | 3828 22038 71216 | 2147483647 105841 39 | 0.052 % |
76.23/76.24 c | 109305 | 3828 22038 71216 | 2147483647 106336 39 | 0.052 % |
76.93/76.98 c | 109848 | 3828 22038 71216 | 2147483647 106879 39 | 0.052 % |
77.93/77.98 c | 110444 | 3828 22038 71216 | 2147483647 107475 39 | 0.052 % |
78.83/78.87 c | 111099 | 3828 22038 71216 | 2147483647 108130 39 | 0.052 % |
79.93/79.94 c | 111820 | 3828 22038 71216 | 2147483647 108851 39 | 0.052 % |
81.13/81.14 c | 112612 | 3828 22038 71216 | 2147483647 109643 39 | 0.052 % |
82.43/82.51 c | 113486 | 3828 22038 71216 | 2147483647 110517 39 | 0.052 % |
83.83/83.88 c | 114444 | 3828 22038 71216 | 2147483647 111475 39 | 0.052 % |
85.13/85.19 c | 115500 | 3828 22038 71216 | 2147483647 112531 39 | 0.052 % |
87.03/87.02 c | 116658 | 3827 22029 71196 | 2147483647 113687 39 | 0.079 % |
88.93/89.00 c | 117932 | 3827 22029 71196 | 2147483647 114961 39 | 0.079 % |
89.13/89.13 c | 118032 | 3827 22029 71196 | 2147483647 115061 39 | 0.078 % |
89.33/89.36 c | 118143 | 3827 22029 71196 | 2147483647 115172 39 | 0.079 % |
89.53/89.60 c | 118265 | 3827 22029 71196 | 2147483647 115294 38 | 0.079 % |
89.73/89.81 c | 118398 | 3827 22029 71196 | 2147483647 115427 38 | 0.078 % |
89.93/90.00 c | 118546 | 3827 22029 71196 | 2147483647 115575 38 | 0.079 % |
90.23/90.21 c | 118707 | 3827 22029 71196 | 2147483647 115736 38 | 0.079 % |
90.53/90.56 c | 118883 | 3827 22029 71196 | 2147483647 115912 38 | 0.078 % |
90.93/90.97 c | 119077 | 3827 22029 71196 | 2147483647 116106 38 | 0.078 % |
91.23/91.31 c | 119289 | 3827 22029 71196 | 2147483647 116318 38 | 0.079 % |
91.63/91.67 c | 119522 | 3827 22029 71196 | 2147483647 116551 38 | 0.078 % |
92.13/92.11 c | 119778 | 3827 22029 71196 | 2147483647 116807 38 | 0.079 % |
92.43/92.47 c | 120060 | 3827 22029 71196 | 2147483647 117089 38 | 0.078 % |
92.93/93.00 c | 120369 | 3827 22029 71196 | 2147483647 117398 38 | 0.079 % |
93.33/93.36 c | 120708 | 3827 22029 71196 | 2147483647 117737 38 | 0.078 % |
93.83/93.85 c | 121081 | 3827 22029 71196 | 2147483647 118110 38 | 0.078 % |
94.33/94.41 c | 121490 | 3827 22029 71196 | 2147483647 118519 38 | 0.079 % |
95.13/95.21 c | 121940 | 3827 22029 71196 | 2147483647 118969 38 | 0.079 % |
96.03/96.03 c | 122436 | 3827 22029 71196 | 2147483647 119465 38 | 0.079 % |
96.93/96.94 c | 122979 | 3827 22029 71196 | 2147483647 120008 38 | 0.079 % |
97.93/97.94 c | 123576 | 3827 22029 71196 | 2147483647 120605 38 | 0.079 % |
98.93/98.96 c | 124231 | 3827 22029 71196 | 2147483647 121260 38 | 0.078 % |
100.13/100.17 c | 124952 | 3827 22029 71196 | 2147483647 121981 38 | 0.078 % |
101.83/101.86 c | 125745 | 3827 22029 71196 | 2147483647 122774 38 | 0.078 % |
103.43/103.47 c | 126618 | 3827 22029 71196 | 2147483647 123647 38 | 0.078 % |
105.03/105.04 c | 127577 | 3827 22029 71196 | 2147483647 124606 38 | 0.078 % |
106.43/106.51 c | 128630 | 3827 22029 71196 | 2147483647 125659 38 | 0.079 % |
108.03/108.01 c | 129788 | 3827 22029 71196 | 2147483647 126817 38 | 0.079 % |
110.53/110.60 c | 131062 | 3827 22029 71196 | 127032 108051 37 | 0.078 % |
112.33/112.39 c | 132464 | 3827 22029 71196 | 127032 109453 37 | 0.079 % |
112.53/112.53 c | 132564 | 3827 22029 71196 | 127032 109553 37 | 0.079 % |
112.63/112.71 c | 132675 | 3827 22029 71196 | 127032 109664 37 | 0.079 % |
112.83/112.89 c | 132796 | 3827 22029 71196 | 127032 109785 37 | 0.079 % |
113.03/113.08 c | 132930 | 3827 22029 71196 | 127032 109919 37 | 0.078 % |
113.23/113.28 c | 133077 | 3827 22029 71196 | 127032 110066 37 | 0.078 % |
113.43/113.48 c | 133237 | 3827 22029 71196 | 127032 110226 37 | 0.079 % |
113.73/113.78 c | 133413 | 3827 22029 71196 | 127032 110402 37 | 0.078 % |
114.03/114.08 c | 133606 | 3827 22029 71196 | 127032 110595 37 | 0.078 % |
114.44/114.45 c | 133818 | 3827 22029 71196 | 127032 110807 37 | 0.078 % |
114.73/114.77 c | 134052 | 3827 22029 71196 | 127032 111041 37 | 0.078 % |
115.33/115.35 c | 134309 | 3827 22029 71196 | 127032 111298 37 | 0.079 % |
115.83/115.86 c | 134592 | 3827 22029 71196 | 127032 111581 37 | 0.078 % |
116.23/116.22 c | 134901 | 3827 22029 71196 | 127032 111890 37 | 0.079 % |
116.64/116.65 c | 135240 | 3827 22029 71196 | 127032 112229 37 | 0.079 % |
117.03/117.09 c | 135612 | 3827 22029 71196 | 127032 112601 37 | 0.079 % |
117.63/117.71 c | 136023 | 3827 22029 71196 | 127032 113012 37 | 0.078 % |
118.53/118.52 c | 136473 | 3827 22029 71196 | 127032 113462 37 | 0.079 % |
119.03/119.04 c | 136967 | 3827 22029 71196 | 127032 113956 37 | 0.079 % |
120.03/120.05 c | 137513 | 3827 22029 71196 | 127032 114502 37 | 0.079 % |
121.04/121.11 c | 138109 | 3827 22029 71196 | 127032 115098 37 | 0.079 % |
122.23/122.22 c | 138765 | 3827 22029 71196 | 127032 115754 37 | 0.078 % |
123.43/123.46 c | 139488 | 3827 22029 71196 | 127032 116477 37 | 0.078 % |
124.53/124.53 c | 140281 | 3827 22029 71196 | 116989 117270 37 | 0.079 % |
126.13/126.17 c | 141154 | 3827 22029 71196 | 116989 99466 36 | 0.079 % |
127.23/127.31 c | 142112 | 3827 22029 71196 | 116989 100424 36 | 0.078 % |
128.53/128.53 c | 143165 | 3827 22029 71196 | 116989 101477 36 | 0.078 % |
129.84/129.83 c | 144323 | 3827 22029 71196 | 116989 102635 36 | 0.078 % |
131.33/131.37 c | 145597 | 3827 22029 71196 | 116989 103909 36 | 0.078 % |
133.53/133.59 c | 146997 | 3827 22029 71196 | 116989 105309 36 | 0.079 % |
135.63/135.70 c | 148537 | 3827 22029 71196 | 116989 106849 36 | 0.079 % |
135.83/135.87 c | 148637 | 3827 22029 71196 | 116989 106949 36 | 0.079 % |
135.93/135.97 c | 148749 | 3827 22029 71196 | 116989 107061 36 | 0.078 % |
136.13/136.14 c | 148877 | 3827 22029 71196 | 116989 107189 36 | 0.079 % |
136.33/136.38 c | 149011 | 3827 22029 71196 | 116989 107323 36 | 0.079 % |
136.73/136.73 c | 149157 | 3827 22029 71196 | 116989 107469 36 | 0.079 % |
136.83/136.89 c | 149318 | 3827 22029 71196 | 116989 107630 36 | 0.079 % |
137.13/137.11 c | 149494 | 3827 22029 71196 | 116989 107806 36 | 0.078 % |
137.33/137.36 c | 149687 | 3827 22029 71196 | 116989 107999 36 | 0.078 % |
137.73/137.76 c | 149900 | 3827 22029 71196 | 116989 108212 36 | 0.078 % |
138.03/138.03 c | 150133 | 3827 22029 71196 | 108313 108445 36 | 0.079 % |
138.83/138.88 c | 150390 | 3827 22029 71196 | 108313 90733 35 | 0.078 % |
139.33/139.32 c | 150671 | 3827 22029 71196 | 108313 91014 35 | 0.078 % |
139.63/139.68 c | 150980 | 3827 22029 71196 | 108313 91323 35 | 0.078 % |
140.13/140.17 c | 151319 | 3827 22029 71196 | 108313 91662 35 | 0.078 % |
140.63/140.69 c | 151692 | 3827 22029 71196 | 108313 92035 35 | 0.078 % |
141.23/141.30 c | 152104 | 3827 22029 71196 | 108313 92447 35 | 0.078 % |
141.83/141.91 c | 152553 | 3827 22029 71196 | 108313 92896 35 | 0.079 % |
142.53/142.57 c | 153046 | 3827 22029 71196 | 108313 93389 35 | 0.078 % |
143.23/143.28 c | 153588 | 3827 22029 71196 | 108313 93931 35 | 0.079 % |
144.14/144.14 c | 154184 | 3827 22029 71196 | 108313 94527 35 | 0.079 % |
144.93/144.94 c | 154839 | 3827 22029 71196 | 108313 95182 35 | 0.079 % |
145.73/145.72 c | 155562 | 3827 22029 71196 | 108313 95905 35 | 0.078 % |
146.63/146.71 c | 156354 | 3827 22029 71196 | 108313 96697 35 | 0.079 % |
147.93/148.00 c | 157225 | 3827 22029 71196 | 108313 97568 35 | 0.078 % |
149.43/149.46 c | 158183 | 3827 22029 71196 | 108313 98526 35 | 0.079 % |
150.93/150.99 c | 159238 | 3827 22029 71196 | 108313 99581 35 | 0.078 % |
152.43/152.43 c | 160398 | 3827 22029 71196 | 2147483647 100741 35 | 0.078 % |
153.83/153.89 c | 161673 | 3827 22029 71196 | 2147483647 102016 35 | 0.078 % |
155.43/155.51 c | 163073 | 3827 22029 71196 | 2147483647 103416 35 | 0.078 % |
157.03/157.08 c | 164616 | 3827 22029 71196 | 2147483647 104959 36 | 0.079 % |
158.83/158.81 c | 166311 | 3827 22029 71196 | 2147483647 106654 36 | 0.078 % |
158.83/158.89 c | 166412 | 3827 22029 71196 | 2147483647 106755 36 | 0.078 % |
159.03/159.02 c | 166525 | 3827 22029 71196 | 2147483647 106868 36 | 0.078 % |
159.13/159.16 c | 166646 | 3827 22029 71196 | 2147483647 106989 36 | 0.079 % |
159.23/159.29 c | 166779 | 3827 22029 71196 | 2147483647 107122 36 | 0.079 % |
159.43/159.44 c | 166926 | 3827 22029 71196 | 2147483647 107269 36 | 0.079 % |
159.63/159.65 c | 167087 | 3827 22029 71196 | 2147483647 107430 36 | 0.078 % |
159.83/159.88 c | 167266 | 3827 22029 71196 | 2147483647 107609 36 | 0.079 % |
160.13/160.14 c | 167459 | 3827 22029 71196 | 2147483647 107802 36 | 0.078 % |
160.33/160.38 c | 167671 | 3827 22029 71196 | 2147483647 108014 36 | 0.078 % |
160.53/160.55 c | 167905 | 3827 22029 71196 | 2147483647 108248 36 | 0.078 % |
160.93/160.91 c | 168162 | 3827 22029 71196 | 2147483647 108505 36 | 0.078 % |
161.23/161.23 c | 168445 | 3827 22029 71196 | 2147483647 108788 36 | 0.078 % |
161.43/161.48 c | 168754 | 3827 22029 71196 | 2147483647 109097 36 | 0.079 % |
161.74/161.76 c | 169093 | 3827 22029 71196 | 2147483647 109436 36 | 0.078 % |
162.23/162.24 c | 169466 | 3827 22029 71196 | 2147483647 109809 36 | 0.079 % |
162.63/162.69 c | 169876 | 3827 22029 71196 | 2147483647 110219 36 | 0.078 % |
163.13/163.16 c | 170325 | 3827 22029 71196 | 110343 110668 36 | 0.078 % |
163.94/163.93 c | 170819 | 3827 22029 71196 | 110343 96845 35 | 0.078 % |
164.43/164.47 c | 171361 | 3827 22029 71196 | 110343 97387 35 | 0.078 % |
165.04/165.02 c | 171958 | 3827 22029 71196 | 110343 97984 35 | 0.079 % |
165.63/165.64 c | 172614 | 3827 22029 71196 | 110343 98640 35 | 0.078 % |
166.33/166.40 c | 173334 | 3827 22029 71196 | 110343 99360 35 | 0.079 % |
167.03/167.09 c | 174127 | 3827 22029 71196 | 110343 100153 35 | 0.078 % |
167.73/167.80 c | 174998 | 3827 22029 71196 | 110343 101024 36 | 0.078 % |
168.63/168.68 c | 175956 | 3827 22029 71196 | 110343 101982 36 | 0.079 % |
169.74/169.80 c | 177010 | 3827 22029 71196 | 110343 103036 36 | 0.078 % |
170.64/170.66 c | 178168 | 3827 22029 71196 | 110343 104194 36 | 0.078 % |
171.94/171.98 c | 179445 | 3827 22029 71196 | 110343 105471 36 | 0.078 % |
173.04/173.09 c | 180846 | 3827 22029 71196 | 106027 106872 37 | 0.078 % |
174.64/174.70 c | 182387 | 3827 22029 71196 | 106027 92891 36 | 0.078 % |
175.94/175.95 c | 184084 | 3827 22029 71196 | 106027 94588 36 | 0.078 % |
177.04/177.12 c | 185948 | 3827 22029 71196 | 106027 96452 37 | 0.079 % |
177.24/177.24 c | 186051 | 3827 22029 71196 | 106027 96555 37 | 0.078 % |
177.44/177.45 c | 186163 | 3827 22029 71196 | 106027 96667 37 | 0.079 % |
177.54/177.59 c | 186286 | 3827 22029 71196 | 106027 96790 37 | 0.079 % |
177.74/177.75 c | 186419 | 3827 22029 71196 | 106027 96923 37 | 0.078 % |
177.84/177.89 c | 186568 | 3827 22029 71196 | 106027 97072 37 | 0.079 % |
178.14/178.12 c | 186728 | 3827 22029 71196 | 106027 97232 37 | 0.079 % |
178.24/178.28 c | 186904 | 3827 22029 71196 | 106027 97408 37 | 0.079 % |
178.44/178.45 c | 187097 | 3827 22029 71196 | 106027 97601 37 | 0.079 % |
178.64/178.64 c | 187310 | 3827 22029 71196 | 106027 97814 37 | 0.079 % |
178.84/178.89 c | 187544 | 3827 22029 71196 | 106027 98048 37 | 0.079 % |
179.14/179.14 c | 187800 | 3827 22029 71196 | 106027 98304 37 | 0.079 % |
179.44/179.43 c | 188081 | 3827 22029 71196 | 106027 98585 37 | 0.079 % |
179.74/179.77 c | 188390 | 3827 22029 71196 | 106027 98894 37 | 0.079 % |
180.24/180.26 c | 188730 | 3827 22029 71196 | 106027 99234 37 | 0.078 % |
180.54/180.61 c | 189104 | 3827 22029 71196 | 106027 99608 37 | 0.078 % |
181.04/181.02 c | 189516 | 3827 22029 71196 | 106027 100020 37 | 0.078 % |
181.54/181.59 c | 189965 | 3827 22029 71196 | 106027 100469 37 | 0.079 % |
182.14/182.21 c | 190460 | 3827 22029 71196 | 100506 100964 37 | 0.079 % |
183.34/183.39 c | 191004 | 3827 22029 71196 | 100506 90806 37 | 0.079 % |
183.94/183.96 c | 191601 | 3827 22029 71196 | 100506 91403 37 | 0.079 % |
184.64/184.64 c | 192258 | 3827 22029 71196 | 100506 92060 37 | 0.079 % |
185.24/185.24 c | 192979 | 3827 22029 71196 | 100506 92781 37 | 0.078 % |
185.94/186.00 c | 193771 | 3827 22029 71196 | 100506 93573 37 | 0.079 % |
186.54/186.58 c | 194642 | 3827 22029 71196 | 100506 94444 37 | 0.078 % |
187.14/187.21 c | 195601 | 3827 22029 71196 | 100506 95403 37 | 0.078 % |
188.14/188.14 c | 196655 | 3827 22029 71196 | 100506 96457 37 | 0.079 % |
189.14/189.19 c | 197815 | 3827 22029 71196 | 100506 97617 38 | 0.079 % |
190.54/190.54 c | 199088 | 3827 22029 71196 | 100506 98890 38 | 0.078 % |
192.04/192.07 c | 200488 | 3827 22029 71196 | 99802 100290 38 | 0.079 % |
193.94/193.96 c | 202029 | 3827 22029 71196 | 99802 90646 38 | 0.078 % |
195.34/195.41 c | 203723 | 3827 22029 71196 | 99802 92340 38 | 0.079 % |
196.84/196.82 c | 205587 | 3827 22029 71196 | 99802 94204 38 | 0.078 % |
199.04/199.09 c | 207636 | 3827 22029 71196 | 99802 96253 38 | 0.079 % |
199.14/199.14 c | 207736 | 3827 22029 71196 | 99802 96353 38 | 0.078 % |
199.14/199.20 c | 207847 | 3827 22029 71196 | 99802 96464 38 | 0.078 % |
199.24/199.30 c | 207970 | 3827 22029 71196 | 99802 96587 38 | 0.078 % |
199.44/199.43 c | 208103 | 3827 22029 71196 | 99802 96720 38 | 0.078 % |
199.54/199.55 c | 208249 | 3827 22029 71196 | 99802 96866 38 | 0.079 % |
199.64/199.70 c | 208412 | 3827 22029 71196 | 99802 97029 38 | 0.078 % |
199.94/199.92 c | 208589 | 3827 22029 71196 | 99802 97206 38 | 0.078 % |
200.14/200.18 c | 208782 | 3827 22029 71196 | 99802 97399 38 | 0.079 % |
200.34/200.33 c | 208995 | 3827 22029 71196 | 99802 97612 38 | 0.079 % |
200.54/200.54 c | 209228 | 3827 22029 71196 | 99802 97845 38 | 0.078 % |
200.74/200.74 c | 209484 | 3827 22029 71196 | 99802 98101 38 | 0.078 % |
201.04/201.04 c | 209765 | 3827 22029 71196 | 99802 98382 38 | 0.078 % |
201.34/201.33 c | 210075 | 3827 22029 71196 | 2147483647 98692 38 | 0.079 % |
201.64/201.66 c | 210414 | 3827 22029 71196 | 2147483647 99031 38 | 0.079 % |
202.04/202.07 c | 210786 | 3827 22029 71196 | 2147483647 99403 38 | 0.079 % |
202.44/202.49 c | 211196 | 3827 22029 71196 | 2147483647 99813 38 | 0.079 % |
202.84/202.89 c | 211645 | 3827 22029 71196 | 2147483647 100262 38 | 0.078 % |
203.24/203.30 c | 212139 | 3827 22029 71196 | 2147483647 100756 38 | 0.079 % |
203.84/203.91 c | 212681 | 3827 22029 71196 | 2147483647 101298 38 | 0.078 % |
204.54/204.52 c | 213278 | 3827 22029 71196 | 2147483647 101895 38 | 0.078 % |
205.34/205.38 c | 213933 | 3827 22029 71196 | 2147483647 102550 38 | 0.079 % |
206.34/206.38 c | 214653 | 3827 22029 71196 | 2147483647 103270 38 | 0.079 % |
207.14/207.14 c | 215446 | 3827 22029 71196 | 2147483647 104063 38 | 0.078 % |
207.94/208.00 c | 216318 | 3827 22029 71196 | 2147483647 104935 38 | 0.078 % |
208.84/208.90 c | 217276 | 3827 22029 71196 | 2147483647 105893 38 | 0.079 % |
210.14/210.16 c | 218330 | 3827 22029 71196 | 2147483647 106947 38 | 0.078 % |
211.64/211.63 c | 219488 | 3827 22029 71196 | 2147483647 108105 38 | 0.078 % |
212.54/212.52 c | 220762 | 3827 22029 71196 | 2147483647 109379 39 | 0.078 % |
214.34/214.33 c | 222163 | 3827 22029 71196 | 2147483647 110780 39 | 0.078 % |
216.04/216.09 c | 223703 | 3827 22029 71196 | 2147483647 112320 39 | 0.079 % |
218.04/218.05 c | 225397 | 3827 22029 71196 | 2147483647 114014 39 | 0.078 % |
219.84/219.90 c | 227260 | 3827 22029 71196 | 2147483647 115877 39 | 0.078 % |
222.34/222.39 c | 229309 | 3827 22029 71196 | 2147483647 117926 39 | 0.078 % |
225.94/225.96 c | 231564 | 3827 22029 71196 | 118617 100380 38 | 0.078 % |
226.04/226.09 c | 231666 | 3827 22029 71196 | 118617 100482 38 | 0.079 % |
226.14/226.17 c | 231776 | 3827 22029 71196 | 118617 100592 38 | 0.079 % |
226.34/226.32 c | 231897 | 3827 22029 71196 | 118617 100713 38 | 0.078 % |
226.44/226.45 c | 232030 | 3827 22029 71196 | 118617 100846 38 | 0.078 % |
226.64/226.68 c | 232176 | 3827 22029 71196 | 118617 100992 38 | 0.078 % |
226.84/226.83 c | 232336 | 3827 22029 71196 | 118617 101152 38 | 0.079 % |
227.04/227.01 c | 232513 | 3827 22029 71196 | 118617 101329 38 | 0.079 % |
227.14/227.17 c | 232709 | 3827 22029 71196 | 118617 101525 38 | 0.079 % |
227.34/227.40 c | 232923 | 3827 22029 71196 | 118617 101739 38 | 0.079 % |
227.64/227.65 c | 233158 | 3827 22029 71196 | 118617 101974 38 | 0.079 % |
227.84/227.89 c | 233414 | 3827 22029 71196 | 118617 102230 38 | 0.079 % |
228.24/228.29 c | 233696 | 3827 22029 71196 | 118617 102512 38 | 0.078 % |
228.54/228.57 c | 234005 | 3827 22029 71196 | 118617 102821 38 | 0.078 % |
229.04/229.02 c | 234345 | 3827 22029 71196 | 118617 103161 38 | 0.079 % |
229.34/229.40 c | 234717 | 3827 22029 71196 | 118617 103533 38 | 0.078 % |
229.74/229.75 c | 235126 | 3827 22029 71196 | 118617 103942 38 | 0.079 % |
230.34/230.32 c | 235576 | 3827 22029 71196 | 118617 104392 38 | 0.079 % |
230.74/230.76 c | 236073 | 3827 22029 71196 | 118617 104889 38 | 0.079 % |
231.44/231.50 c | 236615 | 3827 22029 71196 | 118617 105431 38 | 0.079 % |
232.04/232.09 c | 237213 | 3827 22029 71196 | 118617 106029 38 | 0.078 % |
232.94/232.92 c | 237871 | 3827 22029 71196 | 118617 106687 38 | 0.078 % |
233.84/233.83 c | 238592 | 3827 22029 71196 | 118617 107408 39 | 0.078 % |
235.04/235.05 c | 239384 | 3827 22029 71196 | 118617 108200 38 | 0.079 % |
235.94/235.92 c | 240258 | 3827 22029 71196 | 108816 109074 39 | 0.078 % |
237.24/237.25 c | 241216 | 3827 22029 71196 | 108816 95093 39 | 0.079 % |
238.24/238.29 c | 242269 | 3827 22029 71196 | 108816 96146 39 | 0.079 % |
239.54/239.52 c | 243427 | 3827 22029 71196 | 108816 97304 39 | 0.078 % |
240.54/240.53 c | 244702 | 3827 22029 71196 | 108816 98579 39 | 0.079 % |
241.74/241.80 c | 246104 | 3827 22029 71196 | 108816 99981 39 | 0.078 % |
243.34/243.39 c | 247646 | 3827 22029 71196 | 108816 101523 39 | 0.078 % |
244.94/244.97 c | 249340 | 3827 22029 71196 | 108816 103217 39 | 0.079 % |
247.44/247.42 c | 251203 | 3827 22029 71196 | 103878 84906 37 | 0.078 % |
249.84/249.82 c | 253253 | 3827 22029 71196 | 103878 86956 38 | 0.078 % |
252.64/252.62 c | 255507 | 3827 22029 71196 | 103878 89210 38 | 0.078 % |
254.74/254.79 c | 257985 | 3827 22029 71196 | 103878 91688 38 | 0.079 % |
254.94/254.94 c | 258085 | 3827 22029 71196 | 103878 91788 38 | 0.078 % |
255.14/255.13 c | 258196 | 3827 22029 71196 | 103878 91899 38 | 0.079 % |
255.25/255.29 c | 258318 | 3827 22029 71196 | 103878 92021 38 | 0.079 % |
255.44/255.43 c | 258452 | 3827 22029 71196 | 103878 92155 38 | 0.078 % |
255.54/255.58 c | 258600 | 3827 22029 71196 | 103878 92303 38 | 0.079 % |
255.74/255.75 c | 258760 | 3827 22029 71196 | 103878 92463 38 | 0.078 % |
255.84/255.89 c | 258936 | 3827 22029 71196 | 103878 92639 38 | 0.079 % |
256.04/256.05 c | 259129 | 3827 22029 71196 | 103878 92832 38 | 0.078 % |
256.24/256.26 c | 259341 | 3827 22029 71196 | 103878 93044 38 | 0.078 % |
256.44/256.48 c | 259575 | 3827 22029 71196 | 103878 93278 38 | 0.079 % |
256.74/256.77 c | 259831 | 3827 22029 71196 | 103878 93534 38 | 0.079 % |
257.04/257.07 c | 260113 | 3827 22029 71196 | 93703 93816 38 | 0.079 % |
257.54/257.52 c | 260423 | 3827 22029 71196 | 93703 82791 37 | 0.078 % |
257.84/257.82 c | 260762 | 3827 22029 71196 | 93703 83130 37 | 0.079 % |
258.14/258.12 c | 261134 | 3827 22029 71196 | 93703 83502 37 | 0.078 % |
258.44/258.48 c | 261546 | 3827 22029 71196 | 93703 83914 37 | 0.079 % |
258.94/258.96 c | 261996 | 3827 22029 71196 | 93703 84364 37 | 0.079 % |
259.34/259.35 c | 262489 | 3827 22029 71196 | 93703 84857 37 | 0.079 % |
259.94/259.91 c | 263033 | 3827 22029 71196 | 93703 85401 37 | 0.078 % |
260.44/260.48 c | 263630 | 3827 22029 71196 | 93703 85998 37 | 0.079 % |
261.14/261.15 c | 264285 | 3827 22029 71196 | 93703 86653 37 | 0.078 % |
261.74/261.72 c | 265007 | 3827 22029 71196 | 93703 87375 37 | 0.079 % |
262.54/262.58 c | 265800 | 3827 22029 71196 | 93703 88168 37 | 0.079 % |
263.34/263.35 c | 266671 | 3827 22029 71196 | 93703 89039 37 | 0.079 % |
264.24/264.26 c | 267629 | 3827 22029 71196 | 93703 89997 37 | 0.078 % |
265.44/265.44 c | 268683 | 3827 22029 71196 | 93703 91051 37 | 0.078 % |
266.44/266.49 c | 269841 | 3827 22029 71196 | 93703 92209 37 | 0.078 % |
267.74/267.74 c | 271119 | 3827 22029 71196 | 2147483647 93487 37 | 0.079 % |
269.04/269.08 c | 272520 | 3827 22029 71196 | 2147483647 94888 37 | 0.079 % |
270.84/270.91 c | 274060 | 3827 22029 71196 | 2147483647 96428 37 | 0.079 % |
272.64/272.65 c | 275754 | 3827 22029 71196 | 2147483647 98122 37 | 0.079 % |
274.54/274.59 c | 277618 | 3827 22029 71196 | 2147483647 99986 37 | 0.079 % |
276.15/276.17 c | 279667 | 3827 22029 71196 | 2147483647 102035 37 | 0.079 % |
278.84/278.83 c | 281924 | 3827 22029 71196 | 2147483647 104292 37 | 0.079 % |
281.84/281.82 c | 284404 | 3827 22029 71196 | 2147483647 106772 37 | 0.078 % |
284.95/284.98 c | 287129 | 3827 22029 71196 | 2147483647 109497 37 | 0.079 % |
285.14/285.12 c | 287229 | 3827 22029 71196 | 2147483647 109597 37 | 0.079 % |
285.24/285.26 c | 287339 | 3827 22029 71196 | 2147483647 109707 37 | 0.079 % |
285.34/285.41 c | 287460 | 3827 22029 71196 | 2147483647 109828 37 | 0.078 % |
285.54/285.57 c | 287593 | 3827 22029 71196 | 2147483647 109961 37 | 0.078 % |
285.74/285.73 c | 287744 | 3827 22029 71196 | 2147483647 110112 37 | 0.079 % |
285.94/285.94 c | 287904 | 3827 22029 71196 | 2147483647 110272 37 | 0.079 % |
286.14/286.13 c | 288080 | 3827 22029 71196 | 2147483647 110448 37 | 0.078 % |
286.44/286.46 c | 288273 | 3827 22029 71196 | 2147483647 110641 37 | 0.079 % |
286.74/286.75 c | 288485 | 3827 22029 71196 | 2147483647 110853 37 | 0.078 % |
286.94/286.95 c | 288720 | 3827 22029 71196 | 2147483647 111088 37 | 0.079 % |
287.24/287.27 c | 288978 | 3827 22029 71196 | 2147483647 111346 37 | 0.078 % |
287.54/287.55 c | 289259 | 3827 22029 71196 | 2147483647 111627 37 | 0.078 % |
287.84/287.83 c | 289569 | 3827 22029 71196 | 2147483647 111937 37 | 0.078 % |
288.25/288.31 c | 289911 | 3827 22029 71196 | 2147483647 112279 37 | 0.079 % |
288.84/288.82 c | 290283 | 3827 22029 71196 | 112371 112651 37 | 0.079 % |
289.74/289.80 c | 290694 | 3827 22029 71196 | 112371 95071 36 | 0.078 % |
290.34/290.35 c | 291143 | 3827 22029 71196 | 112371 95520 36 | 0.079 % |
290.94/290.99 c | 291638 | 3827 22029 71196 | 112371 96015 36 | 0.079 % |
291.74/291.71 c | 292181 | 3827 22029 71196 | 112371 96558 36 | 0.079 % |
292.34/292.35 c | 292777 | 3827 22029 71196 | 112371 97154 36 | 0.078 % |
292.84/292.87 c | 293432 | 3827 22029 71196 | 112371 97809 37 | 0.078 % |
293.64/293.63 c | 294153 | 3827 22029 71196 | 112371 98530 37 | 0.078 % |
294.44/294.51 c | 294945 | 3827 22029 71196 | 112371 99322 37 | 0.078 % |
295.65/295.62 c | 295819 | 3827 22029 71196 | 112371 100196 37 | 0.078 % |
296.35/296.42 c | 296778 | 3827 22029 71196 | 112371 101155 37 | 0.078 % |
297.05/297.10 c | 297831 | 3827 22029 71196 | 112371 102208 38 | 0.078 % |
297.85/297.84 c | 298989 | 3827 22029 71196 | 112371 103366 38 | 0.078 % |
298.45/298.47 c | 300264 | 3827 22029 71196 | 104377 104641 39 | 0.078 % |
299.35/299.42 c | 301668 | 3827 22029 71196 | 104377 93408 39 | 0.078 % |
300.95/300.97 c | 303209 | 3827 22029 71196 | 104377 94949 39 | 0.078 % |
302.65/302.72 c | 304903 | 3827 22029 71196 | 104377 96643 39 | 0.078 % |
304.65/304.71 c | 306768 | 3827 22029 71196 | 104377 98508 40 | 0.078 % |
306.65/306.71 c | 308817 | 3827 22029 71196 | 104377 100557 40 | 0.078 % |
309.05/309.04 c | 311070 | 3827 22029 71196 | 2147483647 102810 40 | 0.078 % |
310.95/310.93 c | 313549 | 3827 22029 71196 | 2147483647 105289 40 | 0.078 % |
313.95/313.94 c | 316275 | 3827 22029 71196 | 2147483647 108015 40 | 0.079 % |
317.15/317.20 c | 319273 | 3827 22029 71196 | 2147483647 111013 40 | 0.078 % |
317.25/317.31 c | 319373 | 3827 22029 71196 | 2147483647 111113 40 | 0.079 % |
317.45/317.44 c | 319483 | 3827 22029 71196 | 2147483647 111223 40 | 0.079 % |
317.65/317.62 c | 319605 | 3827 22029 71196 | 2147483647 111345 40 | 0.078 % |
317.85/317.82 c | 319740 | 3827 22029 71196 | 2147483647 111480 40 | 0.079 % |
317.95/317.99 c | 319887 | 3827 22029 71196 | 2147483647 111627 40 | 0.078 % |
318.15/318.17 c | 320047 | 3827 22029 71196 | 111742 111787 40 | 0.078 % |
318.95/318.93 c | 320223 | 3827 22029 71196 | 111742 95692 40 | 0.079 % |
319.15/319.12 c | 320417 | 3827 22029 71196 | 111742 95886 40 | 0.078 % |
319.35/319.40 c | 320629 | 3827 22029 71196 | 111742 96098 40 | 0.079 % |
319.65/319.69 c | 320863 | 3827 22029 71196 | 111742 96332 40 | 0.079 % |
320.05/320.02 c | 321119 | 3827 22029 71196 | 111742 96588 40 | 0.078 % |
320.25/320.29 c | 321401 | 3827 22029 71196 | 111742 96870 40 | 0.079 % |
320.65/320.67 c | 321710 | 3827 22029 71196 | 111742 97179 40 | 0.079 % |
321.05/321.09 c | 322049 | 3827 22029 71196 | 111742 97518 40 | 0.078 % |
321.35/321.37 c | 322422 | 3827 22029 71196 | 111742 97891 40 | 0.079 % |
321.65/321.68 c | 322833 | 3827 22029 71196 | 111742 98302 40 | 0.079 % |
321.95/322.02 c | 323282 | 3827 22029 71196 | 111742 98751 40 | 0.079 % |
322.35/322.35 c | 323779 | 3827 22029 71196 | 111742 99248 40 | 0.079 % |
322.75/322.78 c | 324321 | 3827 22029 71196 | 111742 99790 40 | 0.079 % |
323.25/323.24 c | 324917 | 3827 22029 71196 | 111742 100386 40 | 0.078 % |
323.75/323.77 c | 325574 | 3827 22029 71196 | 111742 101043 41 | 0.079 % |
324.65/324.66 c | 326294 | 3827 22029 71196 | 111742 101763 40 | 0.079 % |
325.65/325.67 c | 327087 | 3827 22029 71196 | 111742 102556 40 | 0.079 % |
326.55/326.54 c | 327960 | 3827 22029 71196 | 111742 103429 40 | 0.079 % |
327.55/327.53 c | 328918 | 3827 22029 71196 | 111742 104387 41 | 0.078 % |
328.84/328.81 c | 329973 | 3827 22029 71196 | 111742 105442 41 | 0.078 % |
330.54/330.53 c | 331133 | 3827 22029 71196 | 105469 89883 40 | 0.078 % |
331.74/331.79 c | 332407 | 3827 22029 71196 | 105469 91157 40 | 0.078 % |
333.34/333.36 c | 333808 | 3827 22029 71196 | 105469 92558 40 | 0.078 % |
335.24/335.24 c | 335348 | 3827 22029 71196 | 105469 94098 40 | 0.078 % |
336.94/336.99 c | 337044 | 3827 22029 71196 | 105469 95794 40 | 0.079 % |
338.84/338.84 c | 338909 | 3827 22029 71196 | 105469 97659 40 | 0.079 % |
340.74/340.72 c | 340958 | 3827 22029 71196 | 98752 99708 40 | 0.078 % |
342.84/342.87 c | 343211 | 3827 22029 71196 | 98752 86034 41 | 0.079 % |
345.44/345.50 c | 345689 | 3827 22029 71196 | 98752 88512 41 | 0.078 % |
348.54/348.57 c | 348414 | 3827 22029 71196 | 98752 91237 41 | 0.079 % |
352.54/352.51 c | 351411 | 3827 22029 71196 | 2147483647 94234 41 | 0.079 % |
357.24/357.25 c | 354708 | 3827 22029 71196 | 2147483647 97531 41 | 0.078 % |
357.34/357.39 c | 354809 | 3827 22029 71196 | 2147483647 97632 41 | 0.078 % |
357.54/357.54 c | 354919 | 3827 22029 71196 | 2147483647 97742 41 | 0.079 % |
357.74/357.71 c | 355040 | 3827 22029 71196 | 2147483647 97863 41 | 0.078 % |
357.84/357.90 c | 355173 | 3827 22029 71196 | 2147483647 97996 41 | 0.079 % |
358.04/358.11 c | 355320 | 3827 22029 71196 | 2147483647 98143 41 | 0.078 % |
358.34/358.35 c | 355481 | 3827 22029 71196 | 2147483647 98304 41 | 0.079 % |
358.64/358.61 c | 355657 | 3827 22029 71196 | 2147483647 98480 41 | 0.078 % |
358.74/358.77 c | 355851 | 3827 22029 71196 | 2147483647 98674 41 | 0.079 % |
359.04/359.06 c | 356063 | 3827 22029 71196 | 2147483647 98886 41 | 0.078 % |
359.44/359.41 c | 356300 | 3827 22029 71196 | 2147483647 99123 41 | 0.079 % |
359.64/359.63 c | 356557 | 3827 22029 71196 | 2147483647 99380 41 | 0.079 % |
360.04/360.06 c | 356839 | 3827 22029 71196 | 2147483647 99662 41 | 0.079 % |
360.34/360.33 c | 357148 | 3827 22029 71196 | 2147483647 99971 41 | 0.078 % |
360.74/360.73 c | 357487 | 3827 22029 71196 | 2147483647 100310 41 | 0.078 % |
361.14/361.16 c | 357859 | 3827 22029 71196 | 2147483647 100682 41 | 0.078 % |
361.54/361.57 c | 358269 | 3827 22029 71196 | 2147483647 101092 41 | 0.079 % |
362.04/362.08 c | 358719 | 3827 22029 71196 | 2147483647 101542 41 | 0.078 % |
362.64/362.64 c | 359213 | 3827 22029 71196 | 2147483647 102036 41 | 0.078 % |
363.14/363.20 c | 359755 | 3827 22029 71196 | 2147483647 102578 41 | 0.079 % |
363.74/363.75 c | 360354 | 3827 22029 71196 | 2147483647 103177 41 | 0.079 % |
364.54/364.58 c | 361013 | 3827 22029 71196 | 2147483647 103836 41 | 0.078 % |
365.34/365.31 c | 361735 | 3827 22029 71196 | 2147483647 104558 41 | 0.079 % |
366.24/366.24 c | 362528 | 3827 22029 71196 | 2147483647 105351 41 | 0.079 % |
367.34/367.35 c | 363401 | 3827 22029 71196 | 2147483647 106224 41 | 0.079 % |
368.55/368.57 c | 364359 | 3827 22029 71196 | 2147483647 107182 41 | 0.078 % |
369.84/369.90 c | 365412 | 3827 22029 71196 | 2147483647 108235 41 | 0.078 % |
371.44/371.45 c | 366570 | 3827 22029 71196 | 2147483647 109393 41 | 0.078 % |
372.64/372.63 c | 367844 | 3827 22029 71196 | 2147483647 110667 42 | 0.079 % |
374.14/374.20 c | 369244 | 3827 22029 71196 | 2147483647 112067 42 | 0.078 % |
375.74/375.76 c | 370785 | 3827 22029 71196 | 112828 113608 42 | 0.079 % |
377.94/377.93 c | 372480 | 3827 22029 71196 | 112828 96452 43 | 0.079 % |
379.64/379.67 c | 374343 | 3827 22029 71196 | 112828 98315 43 | 0.079 % |
381.44/381.49 c | 376393 | 3827 22029 71196 | 112828 100365 43 | 0.078 % |
383.44/383.46 c | 378646 | 3827 22029 71196 | 112828 102618 43 | 0.078 % |
386.44/386.47 c | 381124 | 3827 22029 71196 | 103972 93805 40 | 0.078 % |
389.54/389.52 c | 383853 | 3827 22029 71196 | 103972 96534 40 | 0.079 % |
392.44/392.45 c | 386852 | 3827 22029 71196 | 103972 99533 40 | 0.078 % |
396.05/396.03 c | 390149 | 3827 22029 71196 | 2147483647 102830 41 | 0.079 % |
400.84/400.89 c | 393775 | 3827 22029 71196 | 2147483647 106456 41 | 0.078 % |
401.04/401.03 c | 393875 | 3827 22029 71196 | 2147483647 106556 41 | 0.078 % |
401.24/401.21 c | 393985 | 3827 22029 71196 | 2147483647 106666 41 | 0.079 % |
401.34/401.33 c | 394107 | 3827 22029 71196 | 2147483647 106788 41 | 0.078 % |
401.44/401.51 c | 394240 | 3827 22029 71196 | 2147483647 106921 41 | 0.078 % |
401.64/401.65 c | 394386 | 3827 22029 71196 | 2147483647 107067 41 | 0.078 % |
401.84/401.84 c | 394546 | 3827 22029 71196 | 2147483647 107227 41 | 0.079 % |
402.04/402.04 c | 394724 | 3827 22029 71196 | 2147483647 107405 41 | 0.079 % |
402.24/402.25 c | 394917 | 3827 22029 71196 | 2147483647 107598 41 | 0.078 % |
402.54/402.51 c | 395130 | 3827 22029 71196 | 2147483647 107811 41 | 0.078 % |
402.74/402.73 c | 395365 | 3827 22029 71196 | 2147483647 108046 41 | 0.078 % |
402.94/402.95 c | 395622 | 3827 22029 71196 | 2147483647 108303 41 | 0.079 % |
403.24/403.21 c | 395903 | 3827 22029 71196 | 2147483647 108584 41 | 0.079 % |
403.54/403.52 c | 396212 | 3827 22029 71196 | 2147483647 108893 41 | 0.078 % |
403.84/403.89 c | 396553 | 3827 22029 71196 | 2147483647 109234 41 | 0.078 % |
404.24/404.24 c | 396925 | 3827 22029 71196 | 2147483647 109606 41 | 0.079 % |
404.74/404.72 c | 397335 | 3827 22029 71196 | 2147483647 110016 41 | 0.079 % |
405.24/405.23 c | 397785 | 3827 22029 71196 | 2147483647 110466 41 | 0.079 % |
405.74/405.80 c | 398278 | 3827 22029 71196 | 2147483647 110959 41 | 0.079 % |
406.44/406.45 c | 398824 | 3827 22029 71196 | 2147483647 111505 41 | 0.078 % |
407.24/407.25 c | 399420 | 3827 22029 71196 | 2147483647 112101 41 | 0.078 % |
407.94/407.91 c | 400075 | 3827 22029 71196 | 2147483647 112756 41 | 0.078 % |
408.84/408.85 c | 400795 | 3827 22029 71196 | 2147483647 113476 41 | 0.079 % |
409.74/409.76 c | 401588 | 3827 22029 71196 | 2147483647 114269 41 | 0.078 % |
410.64/410.67 c | 402462 | 3827 22029 71196 | 2147483647 115143 41 | 0.079 % |
411.64/411.70 c | 403421 | 3827 22029 71196 | 2147483647 116102 41 | 0.078 % |
413.04/413.07 c | 404475 | 3827 22029 71196 | 2147483647 117156 41 | 0.078 % |
414.54/414.58 c | 405633 | 3827 22029 71196 | 2147483647 118314 41 | 0.078 % |
416.24/416.29 c | 406907 | 3827 22029 71196 | 2147483647 119588 41 | 0.078 % |
418.05/418.04 c | 408311 | 3827 22029 71196 | 2147483647 120992 41 | 0.079 % |
419.84/419.90 c | 409851 | 3827 22029 71196 | 2147483647 122532 41 | 0.079 % |
422.45/422.46 c | 411545 | 3827 22029 71196 | 122681 107260 40 | 0.078 % |
424.85/424.82 c | 413408 | 3827 22029 71196 | 122681 109123 40 | 0.079 % |
427.05/427.09 c | 415458 | 3827 22029 71196 | 122681 111173 40 | 0.078 % |
428.75/428.78 c | 417711 | 3827 22029 71196 | 122681 113426 40 | 0.078 % |
432.15/432.14 c | 420190 | 3827 22029 71196 | 115715 115905 40 | 0.079 % |
435.85/435.83 c | 422916 | 3827 22029 71196 | 115715 104828 39 | 0.078 % |
439.05/439.07 c | 425914 | 3826 22020 71176 | 115715 107824 39 | 0.105 % |
442.25/442.31 c | 429211 | 3826 22020 71176 | 115715 111121 40 | 0.104 % |
447.05/447.04 c | 432836 | 3826 22020 71176 | 111910 101943 40 | 0.104 % |
450.65/450.62 c | 436826 | 3826 22020 71176 | 111910 105933 40 | 0.104 % |
450.65/450.70 c | 436928 | 3826 22020 71176 | 111910 106035 40 | 0.104 % |
450.75/450.78 c | 437038 | 3826 22020 71176 | 111910 106145 40 | 0.104 % |
450.95/450.93 c | 437159 | 3826 22020 71176 | 111910 106266 40 | 0.105 % |
451.15/451.11 c | 437293 | 3826 22020 71176 | 111910 106400 40 | 0.105 % |
451.25/451.30 c | 437439 | 3826 22020 71176 | 111910 106546 40 | 0.104 % |
451.45/451.47 c | 437599 | 3826 22020 71176 | 111910 106706 40 | 0.104 % |
451.65/451.68 c | 437775 | 3826 22020 71176 | 111910 106882 40 | 0.105 % |
451.85/451.89 c | 437968 | 3826 22020 71176 | 111910 107075 40 | 0.105 % |
452.15/452.14 c | 438181 | 3826 22020 71176 | 111910 107288 40 | 0.104 % |
452.45/452.47 c | 438414 | 3826 22020 71176 | 111910 107521 40 | 0.104 % |
452.75/452.75 c | 438671 | 3826 22020 71176 | 111910 107778 40 | 0.104 % |
453.15/453.13 c | 438953 | 3826 22020 71176 | 111910 108060 40 | 0.104 % |
453.45/453.46 c | 439265 | 3826 22020 71176 | 111910 108372 40 | 0.105 % |
453.95/453.99 c | 439604 | 3826 22020 71176 | 111910 108711 40 | 0.104 % |
454.55/454.59 c | 439976 | 3826 22020 71176 | 111910 109083 40 | 0.105 % |
455.05/455.03 c | 440385 | 3826 22020 71176 | 109108 109492 40 | 0.104 % |
455.75/455.77 c | 440836 | 3826 22020 71176 | 109108 95299 40 | 0.105 % |
456.35/456.37 c | 441331 | 3826 22020 71176 | 109108 95794 40 | 0.105 % |
457.05/457.07 c | 441874 | 3826 22020 71176 | 109108 96337 40 | 0.105 % |
457.85/457.82 c | 442470 | 3826 22020 71176 | 109108 96933 40 | 0.104 % |
458.55/458.52 c | 443126 | 3826 22020 71176 | 109108 97589 40 | 0.104 % |
459.15/459.13 c | 443847 | 3826 22020 71176 | 109108 98310 40 | 0.105 % |
460.35/460.39 c | 444641 | 3826 22020 71176 | 109108 99104 40 | 0.104 % |
461.15/461.11 c | 445514 | 3826 22020 71176 | 109108 99977 40 | 0.105 % |
461.95/461.92 c | 446472 | 3826 22020 71176 | 109108 100935 40 | 0.105 % |
463.05/463.03 c | 447527 | 3826 22020 71176 | 109108 101990 40 | 0.105 % |
464.55/464.55 c | 448686 | 3826 22020 71176 | 109108 103149 40 | 0.105 % |
465.65/465.69 c | 449960 | 3826 22020 71176 | 109108 104423 40 | 0.104 % |
467.65/467.65 c | 451361 | 3826 22020 71176 | 104463 90925 39 | 0.104 % |
469.05/469.08 c | 452902 | 3826 22020 71176 | 104463 92466 39 | 0.104 % |
470.65/470.69 c | 454597 | 3826 22020 71176 | 104463 94161 40 | 0.104 % |
473.05/473.08 c | 456461 | 3826 22020 71176 | 104463 96025 39 | 0.105 % |
475.35/475.32 c | 458511 | 3826 22020 71176 | 104463 98075 39 | 0.104 % |
477.45/477.49 c | 460768 | 3826 22020 71176 | 2147483647 100332 39 | 0.105 % |
479.45/479.46 c | 463246 | 3826 22020 71176 | 2147483647 102810 40 | 0.104 % |
482.65/482.67 c | 465971 | 3826 22020 71176 | 2147483647 105535 40 | 0.104 % |
485.55/485.53 c | 468970 | 3826 22020 71176 | 2147483647 108534 40 | 0.105 % |
489.45/489.49 c | 472267 | 3826 22020 71176 | 109564 98443 40 | 0.105 % |
493.96/493.92 c | 475894 | 3826 22020 71176 | 109564 102070 40 | 0.105 % |
498.75/498.79 c | 479882 | 3826 22020 71176 | 109564 106058 40 | 0.105 % |
503.15/503.16 c | 484270 | 3826 22020 71176 | 2147483647 110446 40 | 0.104 % |
503.35/503.36 c | 484371 | 3826 22020 71176 | 2147483647 110547 40 | 0.105 % |
503.55/503.54 c | 484481 | 3826 22020 71176 | 2147483647 110657 40 | 0.104 % |
503.75/503.72 c | 484602 | 3826 22020 71176 | 2147483647 110778 40 | 0.104 % |
503.86/503.85 c | 484735 | 3826 22020 71176 | 2147483647 110911 40 | 0.104 % |
504.05/504.01 c | 484881 | 3826 22020 71176 | 2147483647 111057 40 | 0.104 % |
504.25/504.21 c | 485041 | 3826 22020 71176 | 2147483647 111217 40 | 0.105 % |
504.45/504.41 c | 485218 | 3826 22020 71176 | 2147483647 111394 40 | 0.105 % |
504.65/504.66 c | 485414 | 3826 22020 71176 | 2147483647 111590 40 | 0.105 % |
504.96/504.96 c | 485627 | 3826 22020 71176 | 2147483647 111803 40 | 0.104 % |
505.25/505.21 c | 485862 | 3826 22020 71176 | 2147483647 112038 40 | 0.105 % |
505.55/505.59 c | 486118 | 3826 22020 71176 | 2147483647 112294 40 | 0.104 % |
505.95/505.93 c | 486399 | 3826 22020 71176 | 2147483647 112575 40 | 0.105 % |
506.35/506.31 c | 486708 | 3826 22020 71176 | 2147483647 112884 40 | 0.104 % |
506.75/506.74 c | 487047 | 3826 22020 71176 | 2147483647 113223 40 | 0.104 % |
507.16/507.14 c | 487420 | 3826 22020 71176 | 2147483647 113596 40 | 0.105 % |
507.55/507.54 c | 487831 | 3826 22020 71176 | 2147483647 114007 40 | 0.104 % |
508.15/508.11 c | 488280 | 3826 22020 71176 | 2147483647 114456 40 | 0.105 % |
508.55/508.58 c | 488773 | 3826 22020 71176 | 2147483647 114949 40 | 0.104 % |
509.45/509.45 c | 489315 | 3826 22020 71176 | 2147483647 115491 40 | 0.105 % |
510.05/510.10 c | 489912 | 3826 22020 71176 | 2147483647 116088 40 | 0.104 % |
510.85/510.84 c | 490567 | 3826 22020 71176 | 116178 116743 40 | 0.105 % |
512.05/512.08 c | 491287 | 3826 22020 71176 | 116178 102722 40 | 0.105 % |
512.85/512.88 c | 492080 | 3826 22020 71176 | 116178 103515 40 | 0.104 % |
513.85/513.89 c | 492952 | 3826 22020 71176 | 116178 104387 40 | 0.105 % |
514.75/514.76 c | 493910 | 3826 22020 71176 | 116178 105345 40 | 0.105 % |
515.65/515.63 c | 494963 | 3826 22020 71176 | 116178 106398 40 | 0.104 % |
516.95/516.95 c | 496121 | 3826 22020 71176 | 116178 107556 40 | 0.104 % |
518.35/518.34 c | 497394 | 3826 22020 71176 | 116178 108829 40 | 0.104 % |
519.65/519.66 c | 498794 | 3826 22020 71176 | 116178 110229 40 | 0.104 % |
521.55/521.58 c | 500338 | 3826 22020 71176 | 111437 111773 40 | 0.105 % |
523.85/523.87 c | 502032 | 3826 22020 71176 | 111437 100316 39 | 0.104 % |
525.75/525.78 c | 503896 | 3826 22020 71176 | 111437 102180 39 | 0.105 % |
528.55/528.52 c | 505946 | 3826 22020 71176 | 111437 104230 39 | 0.105 % |
531.45/531.42 c | 508199 | 3826 22020 71176 | 111437 106483 39 | 0.104 % |
533.95/534.00 c | 510681 | 3826 22020 71176 | 108284 108965 39 | 0.104 % |
537.45/537.44 c | 513406 | 3826 22020 71176 | 108284 94409 38 | 0.105 % |
541.15/541.12 c | 516404 | 3826 22020 71176 | 108284 97407 38 | 0.105 % |
545.05/545.06 c | 519701 | 3826 22020 71176 | 108284 100704 38 | 0.105 % |
549.06/549.06 c | 523328 | 3826 22020 71176 | 2147483647 104331 38 | 0.105 % |
554.46/554.50 c | 527315 | 3826 22020 71176 | 2147483647 108318 38 | 0.104 % |
559.86/559.85 c | 531700 | 3826 22020 71176 | 111004 95501 36 | 0.105 % |
564.86/564.86 c | 536526 | 3826 22020 71176 | 111004 100327 36 | 0.104 % |
564.96/564.99 c | 536628 | 3826 22020 71176 | 111004 100429 36 | 0.105 % |
565.16/565.13 c | 536740 | 3826 22020 71176 | 111004 100541 36 | 0.104 % |
565.16/565.20 c | 536861 | 3826 22020 71176 | 111004 100662 36 | 0.105 % |
565.36/565.33 c | 536997 | 3826 22020 71176 | 111004 100798 36 | 0.104 % |
565.56/565.52 c | 537143 | 3826 22020 71176 | 111004 100944 36 | 0.105 % |
565.66/565.66 c | 537306 | 3826 22020 71176 | 111004 101107 36 | 0.104 % |
565.76/565.81 c | 537483 | 3826 22020 71176 | 111004 101284 36 | 0.104 % |
566.06/566.02 c | 537679 | 3826 22020 71176 | 111004 101480 36 | 0.104 % |
566.36/566.35 c | 537892 | 3826 22020 71176 | 111004 101693 36 | 0.104 % |
566.76/566.73 c | 538125 | 3826 22020 71176 | 111004 101926 36 | 0.104 % |
567.06/567.05 c | 538383 | 3826 22020 71176 | 111004 102184 36 | 0.105 % |
567.46/567.43 c | 538664 | 3826 22020 71176 | 111004 102465 36 | 0.104 % |
567.86/567.82 c | 538973 | 3826 22020 71176 | 111004 102774 36 | 0.104 % |
568.06/568.11 c | 539313 | 3826 22020 71176 | 111004 103114 36 | 0.104 % |
568.46/568.48 c | 539685 | 3826 22020 71176 | 111004 103486 36 | 0.104 % |
568.96/568.95 c | 540094 | 3826 22020 71176 | 103801 103895 36 | 0.104 % |
570.16/570.11 c | 540545 | 3825 22011 71156 | 103801 91967 36 | 0.131 % |
570.66/570.63 c | 541039 | 3825 22011 71156 | 103801 92461 36 | 0.131 % |
570.96/570.98 c | 541582 | 3825 22011 71156 | 103801 93004 36 | 0.131 % |
571.76/571.75 c | 542181 | 3825 22011 71156 | 103801 93603 36 | 0.131 % |
572.66/572.65 c | 542841 | 3825 22011 71156 | 103801 94263 36 | 0.131 % |
573.76/573.72 c | 543562 | 3825 22011 71156 | 103801 94984 36 | 0.131 % |
574.46/574.44 c | 544354 | 3825 22011 71156 | 103801 95776 36 | 0.131 % |
575.46/575.47 c | 545225 | 3825 22011 71156 | 103801 96647 36 | 0.131 % |
576.46/576.45 c | 546185 | 3825 22011 71156 | 103801 97607 36 | 0.131 % |
577.76/577.76 c | 547238 | 3825 22011 71156 | 103801 98660 36 | 0.131 % |
579.06/579.03 c | 548396 | 3825 22011 71156 | 103801 99818 36 | 0.131 % |
580.26/580.23 c | 549669 | 3825 22011 71156 | 103801 101091 36 | 0.131 % |
581.86/581.88 c | 551072 | 3825 22011 71156 | 101422 88414 35 | 0.131 % |
583.46/583.49 c | 552613 | 3825 22011 71156 | 101422 89955 35 | 0.131 % |
585.46/585.42 c | 554307 | 3825 22011 71156 | 101422 91649 35 | 0.131 % |
586.96/586.99 c | 556170 | 3825 22011 71156 | 101422 93512 35 | 0.131 % |
589.26/589.22 c | 558220 | 3825 22011 71156 | 101422 95562 35 | 0.131 % |
592.06/592.09 c | 560475 | 3825 22011 71156 | 2147483647 97817 36 | 0.131 % |
595.16/595.17 c | 562953 | 3825 22011 71156 | 2147483647 100295 36 | 0.131 % |
598.26/598.28 c | 565680 | 3825 22011 71156 | 2147483647 103022 36 | 0.131 % |
601.96/601.99 c | 568677 | 3825 22011 71156 | 2147483647 106019 36 | 0.131 % |
606.76/606.76 c | 571973 | 3825 22011 71156 | 107345 91891 36 | 0.131 % |
610.76/610.73 c | 575599 | 3825 22011 71156 | 107345 95517 36 | 0.131 % |
614.96/614.94 c | 579586 | 3825 22011 71156 | 107345 99504 35 | 0.131 % |
619.16/619.15 c | 583974 | 3825 22011 71156 | 99921 89671 35 | 0.131 % |
623.56/623.59 c | 588797 | 3825 22011 71156 | 99921 94494 36 | 0.131 % |
628.86/628.89 c | 594106 | 3825 22011 71156 | 2147483647 99803 36 | 0.131 % |
628.96/629.00 c | 594206 | 3825 22011 71156 | 2147483647 99903 36 | 0.131 % |
629.16/629.14 c | 594316 | 3825 22011 71156 | 2147483647 100013 36 | 0.131 % |
629.27/629.31 c | 594437 | 3825 22011 71156 | 2147483647 100134 36 | 0.131 % |
629.46/629.42 c | 594570 | 3825 22011 71156 | 2147483647 100267 36 | 0.131 % |
629.66/629.65 c | 594716 | 3825 22011 71156 | 2147483647 100413 36 | 0.131 % |
629.86/629.86 c | 594876 | 3825 22011 71156 | 2147483647 100573 36 | 0.131 % |
630.16/630.15 c | 595053 | 3825 22011 71156 | 2147483647 100750 36 | 0.131 % |
630.37/630.39 c | 595246 | 3825 22011 71156 | 2147483647 100943 36 | 0.131 % |
630.56/630.57 c | 595458 | 3825 22011 71156 | 2147483647 101155 36 | 0.131 % |
630.96/630.93 c | 595693 | 3825 22011 71156 | 2147483647 101390 36 | 0.131 % |
631.26/631.25 c | 595949 | 3825 22011 71156 | 2147483647 101646 36 | 0.131 % |
631.66/631.69 c | 596232 | 3825 22011 71156 | 2147483647 101929 36 | 0.131 % |
631.96/631.98 c | 596541 | 3825 22011 71156 | 2147483647 102238 36 | 0.131 % |
632.36/632.35 c | 596880 | 3825 22011 71156 | 2147483647 102577 36 | 0.131 % |
632.76/632.76 c | 597254 | 3825 22011 71156 | 2147483647 102951 36 | 0.131 % |
633.06/633.10 c | 597667 | 3825 22011 71156 | 2147483647 103364 36 | 0.131 % |
633.67/633.67 c | 598118 | 3825 22011 71156 | 2147483647 103815 36 | 0.131 % |
634.06/634.09 c | 598615 | 3825 22011 71156 | 2147483647 104312 36 | 0.131 % |
634.56/634.57 c | 599157 | 3825 22011 71156 | 2147483647 104854 36 | 0.131 % |
635.16/635.20 c | 599753 | 3825 22011 71156 | 2147483647 105450 36 | 0.131 % |
635.96/635.97 c | 600408 | 3825 22011 71156 | 2147483647 106105 36 | 0.131 % |
636.86/636.83 c | 601128 | 3825 22011 71156 | 2147483647 106825 36 | 0.131 % |
637.36/637.40 c | 601921 | 3825 22011 71156 | 2147483647 107618 36 | 0.131 % |
638.07/638.10 c | 602792 | 3825 22011 71156 | 2147483647 108489 36 | 0.131 % |
638.76/638.79 c | 603752 | 3825 22011 71156 | 2147483647 109449 37 | 0.131 % |
639.36/639.39 c | 604806 | 3825 22011 71156 | 2147483647 110503 37 | 0.131 % |
640.06/640.06 c | 605964 | 3825 22011 71156 | 2147483647 111661 37 | 0.131 % |
641.37/641.38 c | 607238 | 3825 22011 71156 | 2147483647 112935 37 | 0.131 % |
642.76/642.78 c | 608642 | 3825 22011 71156 | 2147483647 114339 37 | 0.131 % |
643.86/643.87 c | 610184 | 3825 22011 71156 | 2147483647 115881 38 | 0.131 % |
645.66/645.68 c | 611878 | 3825 22011 71156 | 2147483647 117575 38 | 0.131 % |
647.97/647.97 c | 613743 | 3825 22011 71156 | 2147483647 119440 38 | 0.131 % |
651.16/651.18 c | 615792 | 3825 22011 71156 | 2147483647 121489 38 | 0.131 % |
653.56/653.56 c | 618046 | 3824 22002 71136 | 2147483647 123741 38 | 0.157 % |
657.06/657.04 c | 620524 | 3824 22002 71136 | 125695 126219 38 | 0.157 % |
660.96/660.96 c | 623251 | 3824 22002 71136 | 125695 115560 38 | 0.157 % |
664.06/664.02 c | 626248 | 3824 22002 71136 | 125695 118557 38 | 0.157 % |
667.96/667.93 c | 629544 | 3824 22002 71136 | 125695 121853 38 | 0.157 % |
672.97/673.02 c | 633169 | 3824 22002 71136 | 122310 103945 38 | 0.157 % |
678.27/678.31 c | 637156 | 3824 22002 71136 | 122310 107932 38 | 0.157 % |
685.07/685.07 c | 641541 | 3824 22002 71136 | 110776 93778 37 | 0.157 % |
689.86/689.81 c | 646364 | 3824 22002 71136 | 110776 98601 37 | 0.157 % |
696.56/696.57 c | 651669 | 3824 22002 71136 | 102237 91293 37 | 0.157 % |
703.06/703.03 c | 657504 | 3824 22002 71136 | 102237 97128 37 | 0.157 % |
703.16/703.13 c | 657605 | 3824 22002 71136 | 102237 97229 37 | 0.157 % |
703.26/703.27 c | 657715 | 3824 22002 71136 | 102237 97339 37 | 0.157 % |
703.36/703.40 c | 657836 | 3824 22002 71136 | 102237 97460 37 | 0.157 % |
703.56/703.51 c | 657970 | 3824 22002 71136 | 102237 97594 37 | 0.157 % |
703.66/703.70 c | 658116 | 3824 22002 71136 | 102237 97740 37 | 0.157 % |
703.86/703.88 c | 658276 | 3824 22002 71136 | 102237 97900 37 | 0.157 % |
704.16/704.13 c | 658453 | 3824 22002 71136 | 102237 98077 37 | 0.157 % |
704.36/704.36 c | 658648 | 3824 22002 71136 | 102237 98272 37 | 0.157 % |
704.66/704.61 c | 658860 | 3824 22002 71136 | 102237 98484 37 | 0.157 % |
704.86/704.84 c | 659095 | 3824 22002 71136 | 102237 98719 37 | 0.157 % |
705.26/705.24 c | 659351 | 3824 22002 71136 | 102237 98975 37 | 0.157 % |
705.76/705.76 c | 659633 | 3824 22002 71136 | 102237 99257 37 | 0.157 % |
706.06/706.10 c | 659942 | 3824 22002 71136 | 102237 99566 37 | 0.157 % |
706.46/706.42 c | 660281 | 3824 22002 71136 | 2147483647 99905 37 | 0.157 % |
706.76/706.78 c | 660654 | 3824 22002 71136 | 2147483647 100278 37 | 0.157 % |
707.26/707.25 c | 661065 | 3824 22002 71136 | 2147483647 100689 37 | 0.157 % |
707.76/707.76 c | 661514 | 3824 22002 71136 | 2147483647 101138 37 | 0.157 % |
708.26/708.30 c | 662007 | 3824 22002 71136 | 2147483647 101631 37 | 0.157 % |
708.66/708.69 c | 662550 | 3824 22002 71136 | 2147483647 102174 37 | 0.157 % |
709.66/709.66 c | 663146 | 3824 22002 71136 | 2147483647 102770 37 | 0.157 % |
710.46/710.50 c | 663801 | 3824 22002 71136 | 2147483647 103425 37 | 0.157 % |
711.56/711.52 c | 664523 | 3824 22002 71136 | 2147483647 104147 37 | 0.157 % |
712.26/712.21 c | 665315 | 3824 22002 71136 | 2147483647 104939 37 | 0.157 % |
713.26/713.25 c | 666188 | 3824 22002 71136 | 2147483647 105812 37 | 0.157 % |
714.26/714.23 c | 667147 | 3824 22002 71136 | 2147483647 106771 37 | 0.157 % |
715.26/715.26 c | 668200 | 3824 22002 71136 | 2147483647 107824 37 | 0.157 % |
716.56/716.54 c | 669358 | 3824 22002 71136 | 2147483647 108982 38 | 0.157 % |
718.16/718.15 c | 670631 | 3824 22002 71136 | 109626 110255 38 | 0.157 % |
719.56/719.56 c | 672031 | 3824 22002 71136 | 109626 97406 37 | 0.157 % |
721.16/721.19 c | 673572 | 3824 22002 71136 | 109626 98947 38 | 0.157 % |
722.66/722.68 c | 675267 | 3824 22002 71136 | 109626 100642 38 | 0.157 % |
724.36/724.38 c | 677130 | 3824 22002 71136 | 109626 102505 38 | 0.157 % |
727.16/727.14 c | 679181 | 3824 22002 71136 | 109626 104556 38 | 0.157 % |
728.76/728.75 c | 681435 | 3824 22002 71136 | 105375 106810 38 | 0.157 % |
731.46/731.41 c | 683913 | 3824 22002 71136 | 105375 93608 36 | 0.157 % |
733.86/733.82 c | 686639 | 3824 22002 71136 | 105375 96334 36 | 0.157 % |
736.86/736.82 c | 689639 | 3824 22002 71136 | 105375 99334 37 | 0.157 % |
740.16/740.18 c | 692935 | 3824 22002 71136 | 99695 92604 37 | 0.157 % |
742.36/742.31 c | 696560 | 3824 22002 71136 | 99695 96229 39 | 0.157 % |
746.46/746.44 c | 700547 | 3824 22002 71136 | 2147483647 100216 39 | 0.157 % |
751.66/751.62 c | 704932 | 3824 22002 71136 | 2147483647 104601 38 | 0.157 % |
756.96/756.96 c | 709756 | 3824 22002 71136 | 2147483647 109425 39 | 0.157 % |
763.16/763.16 c | 715062 | 3824 22002 71136 | 109669 97051 39 | 0.157 % |
767.87/767.85 c | 720898 | 3824 22002 71136 | 101989 102887 40 | 0.157 % |
773.26/773.28 c | 727317 | 3824 22002 71136 | 101989 90294 41 | 0.157 % |
773.37/773.36 c | 727421 | 3824 22002 71136 | 101989 90398 41 | 0.157 % |
773.46/773.47 c | 727534 | 3824 22002 71136 | 101989 90511 41 | 0.157 % |
773.66/773.63 c | 727656 | 3824 22002 71136 | 101989 90633 41 | 0.157 % |
773.76/773.78 c | 727789 | 3824 22002 71136 | 101989 90766 41 | 0.157 % |
773.96/773.91 c | 727937 | 3824 22002 71136 | 101989 90914 41 | 0.157 % |
774.06/774.06 c | 728098 | 3824 22002 71136 | 101989 91075 41 | 0.157 % |
774.36/774.40 c | 728275 | 3824 22002 71136 | 101989 91252 41 | 0.157 % |
774.56/774.60 c | 728468 | 3824 22002 71136 | 101989 91445 41 | 0.157 % |
774.86/774.84 c | 728680 | 3824 22002 71136 | 101989 91657 41 | 0.157 % |
775.06/775.08 c | 728913 | 3824 22002 71136 | 101989 91890 41 | 0.157 % |
775.36/775.35 c | 729170 | 3824 22002 71136 | 101989 92147 41 | 0.157 % |
775.76/775.72 c | 729453 | 3824 22002 71136 | 101989 92430 41 | 0.157 % |
776.06/776.06 c | 729762 | 3824 22002 71136 | 101989 92739 41 | 0.157 % |
776.36/776.39 c | 730101 | 3824 22002 71136 | 92977 93078 41 | 0.157 % |
776.96/776.99 c | 730474 | 3824 22002 71136 | 92977 80820 42 | 0.157 % |
777.26/777.27 c | 730884 | 3824 22002 71136 | 92977 81230 42 | 0.157 % |
777.66/777.70 c | 731334 | 3824 22002 71136 | 92977 81680 42 | 0.157 % |
778.06/778.10 c | 731829 | 3824 22002 71136 | 92977 82175 42 | 0.157 % |
778.56/778.54 c | 732372 | 3824 22002 71136 | 92977 82718 42 | 0.157 % |
779.06/779.09 c | 732968 | 3824 22002 71136 | 92977 83314 42 | 0.157 % |
779.76/779.73 c | 733623 | 3824 22002 71136 | 92977 83969 42 | 0.157 % |
780.46/780.50 c | 734343 | 3824 22002 71136 | 92977 84689 41 | 0.157 % |
781.36/781.39 c | 735135 | 3824 22002 71136 | 92977 85481 41 | 0.157 % |
782.26/782.23 c | 736010 | 3824 22002 71136 | 92977 86356 41 | 0.157 % |
783.16/783.16 c | 736969 | 3824 22002 71136 | 92977 87315 42 | 0.157 % |
783.96/783.94 c | 738024 | 3824 22002 71136 | 92977 88370 42 | 0.157 % |
785.26/785.27 c | 739182 | 3824 22002 71136 | 92977 89528 42 | 0.157 % |
786.46/786.43 c | 740456 | 3824 22002 71136 | 90346 90802 42 | 0.157 % |
788.26/788.21 c | 741857 | 3824 22002 71136 | 90346 81817 40 | 0.157 % |
789.76/789.75 c | 743398 | 3824 22002 71136 | 90346 83358 41 | 0.157 % |
791.66/791.63 c | 745092 | 3824 22002 71136 | 90346 85052 40 | 0.157 % |
793.46/793.50 c | 746959 | 3824 22002 71136 | 90346 86919 40 | 0.157 % |
795.56/795.58 c | 749009 | 3824 22002 71136 | 90346 88969 40 | 0.157 % |
798.27/798.25 c | 751263 | 3824 22002 71136 | 2147483647 91223 40 | 0.157 % |
800.77/800.81 c | 753743 | 3824 22002 71136 | 2147483647 93703 40 | 0.157 % |
803.77/803.76 c | 756468 | 3824 22002 71136 | 2147483647 96428 40 | 0.157 % |
807.57/807.57 c | 759465 | 3824 22002 71136 | 2147483647 99425 40 | 0.157 % |
811.87/811.82 c | 762761 | 3824 22002 71136 | 2147483647 102721 40 | 0.157 % |
816.07/816.08 c | 766386 | 3824 22002 71136 | 2147483647 106346 40 | 0.157 % |
821.27/821.26 c | 770376 | 3824 22002 71136 | 109963 110336 41 | 0.157 % |
826.67/826.70 c | 774761 | 3824 22002 71136 | 109963 98437 39 | 0.157 % |
831.57/831.59 c | 779584 | 3824 22002 71136 | 109963 103260 39 | 0.157 % |
837.17/837.15 c | 784891 | 3824 22002 71136 | 103676 91376 38 | 0.157 % |
843.17/843.15 c | 790729 | 3824 22002 71136 | 96485 97214 39 | 0.157 % |
848.87/848.84 c | 797148 | 3824 22002 71136 | 96485 91083 38 | 0.157 % |
855.77/855.80 c | 804207 | 3824 22002 71136 | 93936 82962 37 | 0.157 % |
855.97/855.91 c | 804307 | 3824 22002 71136 | 93936 83062 37 | 0.157 % |
856.07/856.04 c | 804417 | 3824 22002 71136 | 93936 83172 37 | 0.157 % |
856.17/856.14 c | 804540 | 3824 22002 71136 | 93936 83295 37 | 0.157 % |
856.27/856.27 c | 804677 | 3824 22002 71136 | 93936 83432 37 | 0.157 % |
856.47/856.45 c | 804823 | 3824 22002 71136 | 93936 83578 37 | 0.157 % |
856.67/856.64 c | 804984 | 3824 22002 71136 | 93936 83739 37 | 0.157 % |
856.77/856.78 c | 805161 | 3824 22002 71136 | 93936 83916 37 | 0.157 % |
856.97/856.99 c | 805354 | 3824 22002 71136 | 93936 84109 37 | 0.157 % |
857.27/857.24 c | 805568 | 3824 22002 71136 | 93936 84323 37 | 0.157 % |
857.57/857.51 c | 805801 | 3824 22002 71136 | 93936 84556 37 | 0.157 % |
857.67/857.66 c | 806058 | 3824 22002 71136 | 93936 84813 37 | 0.157 % |
858.07/858.11 c | 806339 | 3824 22002 71136 | 93936 85094 37 | 0.157 % |
858.37/858.32 c | 806651 | 3824 22002 71136 | 93936 85406 37 | 0.157 % |
858.57/858.51 c | 806990 | 3824 22002 71136 | 93936 85745 37 | 0.157 % |
858.87/858.82 c | 807362 | 3824 22002 71136 | 93936 86117 37 | 0.157 % |
859.17/859.21 c | 807771 | 3824 22002 71136 | 93936 86526 37 | 0.157 % |
859.57/859.59 c | 808221 | 3824 22002 71136 | 93936 86976 37 | 0.157 % |
859.97/859.97 c | 808714 | 3824 22002 71136 | 93936 87469 37 | 0.157 % |
860.47/860.46 c | 809257 | 3824 22002 71136 | 93936 88012 37 | 0.157 % |
860.97/860.93 c | 809854 | 3824 22002 71136 | 93936 88609 38 | 0.157 % |
861.47/861.44 c | 810509 | 3824 22002 71136 | 88755 89264 38 | 0.157 % |
862.37/862.35 c | 811229 | 3824 22002 71136 | 88755 81058 38 | 0.157 % |
863.07/863.03 c | 812021 | 3824 22002 71136 | 88755 81850 38 | 0.157 % |
863.97/863.95 c | 812892 | 3824 22002 71136 | 88755 82721 38 | 0.157 % |
864.77/864.73 c | 813851 | 3824 22002 71136 | 88755 83680 38 | 0.157 % |
865.37/865.39 c | 814904 | 3824 22002 71136 | 88755 84733 38 | 0.157 % |
866.47/866.41 c | 816062 | 3824 22002 71136 | 88755 85891 38 | 0.157 % |
867.37/867.36 c | 817335 | 3824 22002 71136 | 88755 87164 38 | 0.157 % |
868.87/868.83 c | 818735 | 3824 22002 71136 | 88755 88564 38 | 0.157 % |
870.47/870.49 c | 820276 | 3824 22002 71136 | 2147483647 81141 38 | 0.157 % |
871.77/871.77 c | 821971 | 3824 22002 71136 | 2147483647 82836 38 | 0.157 % |
873.37/873.37 c | 823834 | 3824 22002 71136 | 2147483647 84699 38 | 0.157 % |
875.17/875.12 c | 825883 | 3824 22002 71136 | 2147483647 86748 39 | 0.157 % |
876.87/876.88 c | 828139 | 3824 22002 71136 | 2147483647 89004 40 | 0.157 % |
878.87/878.88 c | 830618 | 3824 22002 71136 | 2147483647 91483 40 | 0.157 % |
881.87/881.86 c | 833344 | 3824 22002 71136 | 2147483647 94209 41 | 0.157 % |
884.27/884.27 c | 836342 | 3824 22002 71136 | 2147483647 97207 41 | 0.157 % |
888.57/888.60 c | 839641 | 3824 22002 71136 | 2147483647 100506 41 | 0.157 % |
892.97/892.99 c | 843267 | 3824 22002 71136 | 2147483647 104132 42 | 0.157 % |
897.07/897.07 c | 847259 | 3824 22002 71136 | 2147483647 108124 42 | 0.157 % |
901.97/901.98 c | 851645 | 3824 22002 71136 | 2147483647 112510 42 | 0.157 % |
907.58/907.56 c | 856469 | 3824 22002 71136 | 2147483647 117334 43 | 0.157 % |
915.28/915.28 c | 861774 | 3824 22002 71136 | 120867 106878 43 | 0.157 % |
921.77/921.78 c | 867611 | 3824 22002 71136 | 120867 112715 44 | 0.157 % |
929.28/929.26 c | 874033 | 3824 22002 71136 | 115104 107561 44 | 0.157 % |
936.68/936.68 c | 881092 | 3824 22002 71136 | 113528 114620 45 | 0.157 % |
944.58/944.58 c | 888856 | 3824 22002 71136 | 113528 104132 45 | 0.157 % |
944.78/944.73 c | 888956 | 3824 22002 71136 | 113528 104232 45 | 0.157 % |
944.88/944.86 c | 889068 | 3824 22002 71136 | 113528 104344 45 | 0.157 % |
945.08/945.01 c | 889189 | 3824 22002 71136 | 113528 104465 45 | 0.157 % |
945.28/945.21 c | 889323 | 3824 22002 71136 | 113528 104599 45 | 0.157 % |
945.48/945.43 c | 889470 | 3824 22002 71136 | 113528 104746 45 | 0.157 % |
945.68/945.67 c | 889630 | 3824 22002 71136 | 113528 104906 45 | 0.157 % |
945.98/945.95 c | 889806 | 3824 22002 71136 | 113528 105082 45 | 0.157 % |
946.18/946.14 c | 889999 | 3824 22002 71136 | 113528 105275 45 | 0.157 % |
946.38/946.33 c | 890211 | 3824 22002 71136 | 105277 105487 45 | 0.157 % |
947.08/947.04 c | 890444 | 3824 22002 71136 | 105277 88506 45 | 0.157 % |
947.28/947.29 c | 890703 | 3824 22002 71136 | 105277 88765 45 | 0.157 % |
947.58/947.55 c | 890986 | 3824 22002 71136 | 105277 89048 45 | 0.157 % |
947.78/947.79 c | 891296 | 3824 22002 71136 | 105277 89358 45 | 0.157 % |
948.18/948.16 c | 891635 | 3824 22002 71136 | 105277 89697 45 | 0.157 % |
948.68/948.62 c | 892010 | 3824 22002 71136 | 105277 90072 45 | 0.157 % |
949.18/949.15 c | 892419 | 3824 22002 71136 | 105277 90481 45 | 0.157 % |
949.68/949.64 c | 892868 | 3824 22002 71136 | 105277 90930 45 | 0.157 % |
950.08/950.11 c | 893361 | 3824 22002 71136 | 105277 91423 45 | 0.157 % |
950.78/950.76 c | 893907 | 3824 22002 71136 | 105277 91969 45 | 0.157 % |
951.38/951.37 c | 894503 | 3824 22002 71136 | 105277 92565 45 | 0.157 % |
952.08/952.04 c | 895158 | 3824 22002 71136 | 105277 93220 45 | 0.157 % |
952.58/952.53 c | 895879 | 3824 22002 71136 | 105277 93941 45 | 0.157 % |
953.18/953.21 c | 896672 | 3824 22002 71136 | 105277 94734 45 | 0.157 % |
954.18/954.16 c | 897543 | 3824 22002 71136 | 105277 95605 45 | 0.157 % |
955.38/955.40 c | 898503 | 3824 22002 71136 | 105277 96565 44 | 0.157 % |
956.58/956.60 c | 899556 | 3824 22002 71136 | 105277 97618 45 | 0.157 % |
958.38/958.33 c | 900714 | 3824 22002 71136 | 98063 86342 43 | 0.157 % |
959.58/959.58 c | 901988 | 3824 22002 71136 | 98063 87616 42 | 0.157 % |
961.28/961.24 c | 903392 | 3824 22002 71136 | 98063 89020 42 | 0.157 % |
962.48/962.47 c | 904932 | 3824 22002 71136 | 98063 90560 42 | 0.157 % |
963.98/964.00 c | 906628 | 3824 22002 71136 | 98063 92256 43 | 0.157 % |
966.28/966.26 c | 908491 | 3824 22002 71136 | 98063 94119 43 | 0.157 % |
968.58/968.56 c | 910540 | 3824 22002 71136 | 2147483647 96168 43 | 0.157 % |
970.78/970.75 c | 912794 | 3824 22002 71136 | 2147483647 98422 43 | 0.157 % |
973.18/973.19 c | 915273 | 3824 22002 71136 | 2147483647 100901 42 | 0.157 % |
977.08/977.06 c | 917998 | 3824 22002 71136 | 2147483647 103626 42 | 0.157 % |
980.78/980.81 c | 920995 | 3824 22002 71136 | 2147483647 106623 42 | 0.157 % |
984.98/984.98 c | 924294 | 3824 22002 71136 | 2147483647 109922 41 | 0.157 % |
989.28/989.25 c | 927919 | 3824 22002 71136 | 2147483647 113547 41 | 0.157 % |
993.98/993.93 c | 931910 | 3824 22002 71136 | 2147483647 117538 41 | 0.157 % |
998.78/998.77 c | 936297 | 3824 22002 71136 | 2147483647 121925 41 | 0.157 % |
1005.88/1005.90 c | 941120 | 3824 22002 71136 | 125629 110014 40 | 0.157 % |
1011.48/1011.43 c | 946428 | 3824 22002 71136 | 125629 115322 40 | 0.157 % |
1018.38/1018.35 c | 952263 | 3824 22002 71136 | 118897 102845 39 | 0.157 % |
1025.29/1025.24 c | 958681 | 3824 22002 71136 | 118897 109263 39 | 0.157 % |
1031.58/1031.53 c | 965740 | 3824 22002 71136 | 110582 101655 38 | 0.157 % |
1038.58/1038.60 c | 973504 | 3824 22002 71136 | 105916 94359 39 | 0.157 % |
1048.88/1048.87 c | 982046 | 3824 22002 71136 | 100855 91599 38 | 0.157 % |
1048.98/1048.99 c | 982146 | 3824 22002 71136 | 100855 91699 38 | 0.157 % |
1049.08/1049.10 c | 982256 | 3824 22002 71136 | 100855 91809 38 | 0.157 % |
1049.18/1049.18 c | 982381 | 3824 22002 71136 | 100855 91934 38 | 0.157 % |
1049.38/1049.37 c | 982514 | 3824 22002 71136 | 100855 92067 38 | 0.157 % |
1049.58/1049.57 c | 982662 | 3824 22002 71136 | 100855 92215 38 | 0.157 % |
1049.78/1049.71 c | 982823 | 3824 22002 71136 | 100855 92376 38 | 0.157 % |
1049.88/1049.85 c | 982999 | 3824 22002 71136 | 100855 92552 38 | 0.157 % |
1050.08/1050.06 c | 983193 | 3824 22002 71136 | 100855 92746 38 | 0.157 % |
1050.28/1050.26 c | 983405 | 3824 22002 71136 | 100855 92958 38 | 0.157 % |
1050.48/1050.47 c | 983638 | 3824 22002 71136 | 100855 93191 38 | 0.157 % |
1050.68/1050.69 c | 983894 | 3824 22002 71136 | 100855 93447 38 | 0.157 % |
1050.98/1050.99 c | 984177 | 3824 22002 71136 | 100855 93730 38 | 0.157 % |
1051.28/1051.23 c | 984487 | 3824 22002 71136 | 100855 94040 38 | 0.157 % |
1051.58/1051.57 c | 984826 | 3824 22002 71136 | 100855 94379 38 | 0.157 % |
1052.08/1052.04 c | 985199 | 3824 22002 71136 | 100855 94752 38 | 0.157 % |
1052.48/1052.43 c | 985609 | 3824 22002 71136 | 100855 95162 38 | 0.157 % |
1052.88/1052.85 c | 986058 | 3824 22002 71136 | 100855 95611 38 | 0.157 % |
1053.28/1053.29 c | 986551 | 3824 22002 71136 | 100855 96104 38 | 0.157 % |
1054.18/1054.11 c | 987093 | 3824 22002 71136 | 100855 96646 38 | 0.157 % |
1054.88/1054.86 c | 987689 | 3824 22002 71136 | 100855 97242 38 | 0.157 % |
1055.58/1055.52 c | 988344 | 3824 22002 71136 | 100855 97897 38 | 0.157 % |
1056.38/1056.36 c | 989065 | 3824 22002 71136 | 100855 98618 38 | 0.157 % |
1057.18/1057.13 c | 989857 | 3824 22002 71136 | 100855 99410 38 | 0.157 % |
1058.08/1058.02 c | 990730 | 3824 22002 71136 | 99554 100283 38 | 0.157 % |
1059.28/1059.24 c | 991688 | 3824 22002 71136 | 99554 90197 38 | 0.157 % |
1060.18/1060.20 c | 992741 | 3824 22002 71136 | 99554 91250 38 | 0.157 % |
1061.58/1061.56 c | 993902 | 3824 22002 71136 | 99554 92411 38 | 0.157 % |
1062.58/1062.59 c | 995175 | 3824 22002 71136 | 99554 93684 38 | 0.157 % |
1064.38/1064.32 c | 996575 | 3824 22002 71136 | 99554 95084 38 | 0.157 % |
1065.88/1065.90 c | 998117 | 3824 22002 71136 | 99554 96626 38 | 0.157 % |
1067.28/1067.28 c | 999811 | 3824 22002 71136 | 99554 98320 39 | 0.157 % |
1069.78/1069.78 c | 1001676 | 3824 22002 71136 | 98512 87009 39 | 0.157 % |
1071.18/1071.18 c | 1003725 | 3824 22002 71136 | 98512 89058 39 | 0.157 % |
1073.68/1073.61 c | 1005978 | 3824 22002 71136 | 98512 91311 39 | 0.157 % |
1077.18/1077.11 c | 1008456 | 3824 22002 71136 | 98512 93789 39 | 0.157 % |
1079.98/1079.91 c | 1011181 | 3824 22002 71136 | 2147483647 96514 39 | 0.157 % |
1081.98/1081.92 c | 1014180 | 3824 22002 71136 | 2147483647 99513 40 | 0.157 % |
1084.58/1084.52 c | 1017476 | 3824 22002 71136 | 2147483647 102809 41 | 0.157 % |
1088.18/1088.20 c | 1021101 | 3824 22002 71136 | 105334 94496 41 | 0.157 % |
1092.58/1092.60 c | 1025090 | 3824 22002 71136 | 105334 98485 41 | 0.157 % |
1097.08/1097.04 c | 1029475 | 3824 22002 71136 | 105334 102870 41 | 0.157 % |
1101.38/1101.38 c | 1034298 | 3824 22002 71136 | 2147483647 107693 41 | 0.157 % |
1107.78/1107.74 c | 1039603 | 3824 22002 71136 | 2147483647 112998 41 | 0.157 % |
1113.98/1114.00 c | 1045438 | 3824 22002 71136 | 2147483647 118833 42 | 0.157 % |
1123.08/1123.03 c | 1051857 | 3824 22002 71136 | 123395 105700 41 | 0.157 % |
1130.58/1130.58 c | 1058917 | 3824 22002 71136 | 123395 112760 42 | 0.157 % |
1139.78/1139.73 c | 1066682 | 3824 22002 71136 | 113844 98898 43 | 0.157 % |
1148.98/1148.93 c | 1075222 | 3824 22002 71136 | 102216 92803 46 | 0.157 % |
1159.98/1159.93 c | 1084617 | 3824 22002 71136 | 97582 91525 47 | 0.157 % |
1160.08/1160.04 c | 1084717 | 3824 22002 71136 | 97582 91625 47 | 0.157 % |
1160.18/1160.19 c | 1084827 | 3824 22002 71136 | 97582 91735 47 | 0.157 % |
1160.38/1160.35 c | 1084949 | 3824 22002 71136 | 97582 91857 47 | 0.157 % |
1160.59/1160.53 c | 1085083 | 3824 22002 71136 | 97582 91991 47 | 0.157 % |
1160.68/1160.67 c | 1085230 | 3824 22002 71136 | 97582 92138 47 | 0.157 % |
1160.88/1160.89 c | 1085391 | 3824 22002 71136 | 97582 92299 47 | 0.157 % |
1160.98/1160.99 c | 1085568 | 3824 22002 71136 | 97582 92476 47 | 0.157 % |
1161.28/1161.28 c | 1085763 | 3824 22002 71136 | 97582 92671 47 | 0.157 % |
1161.58/1161.51 c | 1085975 | 3824 22002 71136 | 97582 92883 47 | 0.157 % |
1161.78/1161.72 c | 1086208 | 3824 22002 71136 | 97582 93116 47 | 0.157 % |
1161.98/1161.95 c | 1086469 | 3824 22002 71136 | 97582 93377 47 | 0.157 % |
1162.28/1162.28 c | 1086751 | 3824 22002 71136 | 97582 93659 47 | 0.157 % |
1162.58/1162.51 c | 1087061 | 3824 22002 71136 | 97582 93969 47 | 0.157 % |
1162.79/1162.74 c | 1087401 | 3824 22002 71136 | 97582 94309 47 | 0.157 % |
1163.18/1163.13 c | 1087775 | 3824 22002 71136 | 97582 94683 47 | 0.157 % |
1163.48/1163.46 c | 1088184 | 3824 22002 71136 | 97582 95092 47 | 0.157 % |
1163.89/1163.90 c | 1088633 | 3824 22002 71136 | 97582 95541 47 | 0.157 % |
1164.38/1164.30 c | 1089127 | 3824 22002 71136 | 97582 96035 47 | 0.157 % |
1164.88/1164.90 c | 1089671 | 3824 22002 71136 | 97582 96579 47 | 0.157 % |
1165.48/1165.47 c | 1090268 | 3824 22002 71136 | 96908 97176 47 | 0.157 % |
1166.28/1166.25 c | 1090923 | 3824 22002 71136 | 96908 86663 46 | 0.157 % |
1166.98/1166.97 c | 1091644 | 3824 22002 71136 | 96908 87384 46 | 0.157 % |
1167.78/1167.79 c | 1092436 | 3824 22002 71136 | 96908 88176 46 | 0.157 % |
1168.68/1168.70 c | 1093307 | 3824 22002 71136 | 96908 89047 46 | 0.157 % |
1169.88/1169.84 c | 1094267 | 3824 22002 71136 | 96908 90007 46 | 0.157 % |
1171.28/1171.21 c | 1095320 | 3824 22002 71136 | 96908 91060 46 | 0.157 % |
1172.48/1172.49 c | 1096478 | 3824 22002 71136 | 96908 92218 46 | 0.157 % |
1174.09/1174.06 c | 1097753 | 3824 22002 71136 | 96908 93493 46 | 0.157 % |
1175.79/1175.74 c | 1099154 | 3824 22002 71136 | 96908 94894 46 | 0.157 % |
1177.29/1177.21 c | 1100695 | 3824 22002 71136 | 95741 96435 46 | 0.157 % |
1179.19/1179.18 c | 1102389 | 3824 22002 71136 | 95741 86421 45 | 0.157 % |
1181.09/1181.11 c | 1104253 | 3824 22002 71136 | 95741 88285 45 | 0.157 % |
1182.99/1182.91 c | 1106302 | 3824 22002 71136 | 95741 90334 45 | 0.157 % |
1184.79/1184.75 c | 1108556 | 3824 22002 71136 | 95741 92588 45 | 0.157 % |
1187.39/1187.40 c | 1111034 | 3824 22002 71136 | 2147483647 95066 45 | 0.157 % |
1190.29/1190.21 c | 1113760 | 3824 22002 71136 | 2147483647 97792 45 | 0.157 % |
1192.69/1192.63 c | 1116758 | 3824 22002 71136 | 2147483647 100790 45 | 0.157 % |
1196.49/1196.47 c | 1120054 | 3824 22002 71136 | 2147483647 104086 45 | 0.157 % |
1200.09/1200.02 HOME/SatELiteGTI: line 36: 18584 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820422-1242441895/watcher-1820422-1242441895 -o /tmp/evaluation-result-1820422-1242441895/solver-1820422-1242441895 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820422-1242441895.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 18578
/proc/meminfo: memFree=867996/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2412 CPUtime=0.01
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 367 645 0 0 0 1 0 0 18 0 1 0 1008690442 2469888 276 4294967295 134512640 135169312 3212964720 3212963256 3085422318 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/18578/statm: 603 276 235 161 0 42 0
[pid=18582] ppid=18578 vsize=952 CPUtime=0
/proc/18582/stat : 18582 (SatELite_releas) R 18578 18578 16367 0 -1 4202496 134 0 0 0 0 0 0 0 20 0 1 0 1008690442 974848 70 4294967295 134512640 135223648 3217903632 3217902352 134734703 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18582/statm: 238 71 45 174 0 63 0
[startup+0.080525 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 18578
/proc/meminfo: memFree=867996/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2412 CPUtime=0.01
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 367 645 0 0 0 1 0 0 18 0 1 0 1008690442 2469888 276 4294967295 134512640 135169312 3212964720 3212963256 3085422318 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/18578/statm: 603 276 235 161 0 42 0
[pid=18582] ppid=18578 vsize=6372 CPUtime=0.08
/proc/18582/stat : 18582 (SatELite_releas) R 18578 18578 16367 0 -1 4202496 1339 0 0 0 7 1 0 0 21 0 1 0 1008690442 6524928 1275 4294967295 134512640 135223648 3217903632 3217901648 134586840 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18582/statm: 1593 1276 73 174 0 1418 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8784
[startup+0.110522 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 18578
/proc/meminfo: memFree=867996/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2412 CPUtime=0.01
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 367 645 0 0 0 1 0 0 18 0 1 0 1008690442 2469888 276 4294967295 134512640 135169312 3212964720 3212963256 3085422318 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/18578/statm: 603 276 235 161 0 42 0
[pid=18582] ppid=18578 vsize=6504 CPUtime=0.11
/proc/18582/stat : 18582 (SatELite_releas) R 18578 18578 16367 0 -1 4202496 1389 0 0 0 10 1 0 0 21 0 1 0 1008690442 6660096 1325 4294967295 134512640 135223648 3217903632 3217901648 134586890 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18582/statm: 1626 1325 73 174 0 1451 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 8916
[startup+0.310511 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 18578
/proc/meminfo: memFree=867996/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 2416
[startup+0.710489 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 18578
/proc/meminfo: memFree=867996/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 2416
[startup+1.51044 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 18584
/proc/meminfo: memFree=864236/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=4312 CPUtime=1.24
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 871 0 0 0 122 2 0 0 22 0 1 0 1008690469 4415488 806 4294967295 134512640 135215339 3218598176 3218596464 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18584/statm: 1078 806 72 172 0 905 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 6728
[startup+3.11035 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 18585
/proc/meminfo: memFree=863492/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=5500 CPUtime=2.84
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 1155 0 0 0 282 2 0 0 25 0 1 0 1008690469 5632000 1090 4294967295 134512640 135215339 3218598176 3218596464 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18584/statm: 1375 1090 72 172 0 1202 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 7916
[startup+6.31017 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 18585
/proc/meminfo: memFree=861020/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=7616 CPUtime=6.04
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 1697 0 0 0 602 2 0 0 25 0 1 0 1008690469 7798784 1632 4294967295 134512640 135215339 3218598176 3218596464 134528700 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18584/statm: 1904 1632 73 172 0 1731 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 10032
[startup+12.7098 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 18585
/proc/meminfo: memFree=857660/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=10720 CPUtime=12.44
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 2469 0 0 0 1241 3 0 0 25 0 1 0 1008690469 10977280 2404 4294967295 134512640 135215339 3218598176 3218596464 134529148 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18584/statm: 2680 2404 73 172 0 2507 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 13136
[startup+25.5091 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 18770
/proc/meminfo: memFree=853484/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=14408 CPUtime=25.24
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 3381 0 0 0 2521 3 0 0 25 0 1 0 1008690469 14753792 3316 4294967295 134512640 135215339 3218598176 3218596464 134528644 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18584/statm: 3602 3316 73 172 0 3429 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 16824
[startup+51.1177 s]
/proc/loadavg: 1.06 1.02 1.00 2/99 18772
/proc/meminfo: memFree=848696/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=19548 CPUtime=50.85
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 4637 0 0 0 5081 4 0 0 25 0 1 0 1008690469 20017152 4572 4294967295 134512640 135215339 3218598176 3218596464 134528740 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18584/statm: 4887 4572 73 172 0 4714 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 21964
[startup+102.315 s]
/proc/loadavg: 1.02 1.01 1.00 2/99 18959
/proc/meminfo: memFree=841168/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=26844 CPUtime=102.05
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 6440 0 0 0 10193 12 0 0 25 0 1 0 1008690469 27488256 6375 4294967295 134512640 135215339 3218598176 3218596464 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18584/statm: 6711 6375 73 172 0 6538 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 29260
[startup+162.311 s]
/proc/loadavg: 1.01 1.00 1.00 3/99 19146
/proc/meminfo: memFree=839804/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=28024 CPUtime=162.05
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 6736 0 0 0 16190 15 0 0 25 0 1 0 1008690469 28696576 6671 4294967295 134512640 135215339 3218598176 3218596176 134532952 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18584/statm: 7006 6671 73 172 0 6833 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 30440
[startup+222.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 19334
/proc/meminfo: memFree=839680/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=28180 CPUtime=222.06
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 6783 0 0 0 22190 16 0 0 25 0 1 0 1008690469 28856320 6718 4294967295 134512640 135215339 3218598176 3218596464 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18584/statm: 7045 6718 73 172 0 6872 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 30596
[startup+282.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 19522
/proc/meminfo: memFree=839596/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=28180 CPUtime=282.06
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 6785 0 0 0 28190 16 0 0 25 0 1 0 1008690469 28856320 6720 4294967295 134512640 135215339 3218598176 3218596240 134538065 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18584/statm: 7045 6720 73 172 0 6872 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 30596
[startup+342.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 19713
/proc/meminfo: memFree=839556/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=28376 CPUtime=342.06
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 6827 0 0 0 34190 16 0 0 25 0 1 0 1008690469 29057024 6762 4294967295 134512640 135215339 3218598176 3218596464 134529091 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18584/statm: 7094 6762 73 172 0 6921 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 30792
[startup+402.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 19904
/proc/meminfo: memFree=839440/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
################
# More data... #
################
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=29776 CPUtime=462.07
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 7161 0 0 0 46191 16 0 0 25 0 1 0 1008690469 30490624 7096 4294967295 134512640 135215339 3218598176 3218596240 134538110 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18584/statm: 7444 7096 73 172 0 7271 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 32192
[startup+522.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 20279
/proc/meminfo: memFree=838200/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=29776 CPUtime=522.07
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 7174 0 0 0 52191 16 0 0 25 0 1 0 1008690469 30490624 7109 4294967295 134512640 135215339 3218598176 3218596464 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18584/statm: 7444 7109 73 172 0 7271 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 32192
[startup+582.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 20467
/proc/meminfo: memFree=838100/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=29960 CPUtime=582.08
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 7209 0 0 0 58189 19 0 0 25 0 1 0 1008690469 30679040 7144 4294967295 134512640 135215339 3218598176 3218596464 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18584/statm: 7490 7144 73 172 0 7317 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 32376
[startup+642.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 20656
/proc/meminfo: memFree=837820/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=30188 CPUtime=642.08
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 7258 0 0 0 64189 19 0 0 25 0 1 0 1008690469 30912512 7193 4294967295 134512640 135215339 3218598176 3218596464 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18584/statm: 7547 7193 73 172 0 7374 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 32604
[startup+702.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 20843
/proc/meminfo: memFree=837944/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=30268 CPUtime=702.08
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 7271 0 0 0 70189 19 0 0 25 0 1 0 1008690469 30994432 7206 4294967295 134512640 135215339 3218598176 3218596464 134528624 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18584/statm: 7567 7206 73 172 0 7394 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 32684
[startup+762.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 21034
/proc/meminfo: memFree=837448/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=30268 CPUtime=762.09
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 7281 0 0 0 76188 21 0 0 25 0 1 0 1008690469 30994432 7216 4294967295 134512640 135215339 3218598176 3218596464 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18584/statm: 7567 7216 73 172 0 7394 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 32684
[startup+822.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 21222
/proc/meminfo: memFree=837612/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=30268 CPUtime=822.09
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 7281 0 0 0 82185 24 0 0 25 0 1 0 1008690469 30994432 7216 4294967295 134512640 135215339 3218598176 3218596464 134528700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18584/statm: 7567 7216 73 172 0 7394 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 32684
[startup+882.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 21410
/proc/meminfo: memFree=837356/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=30572 CPUtime=882.09
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 7353 0 0 0 88184 25 0 0 25 0 1 0 1008690469 31305728 7288 4294967295 134512640 135215339 3218598176 3218596272 134527239 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18584/statm: 7643 7288 73 172 0 7470 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 32988
[startup+942.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 21610
/proc/meminfo: memFree=836548/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=31500 CPUtime=942.1
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 7572 0 0 0 94181 29 0 0 25 0 1 0 1008690469 32256000 7507 4294967295 134512640 135215339 3218598176 3218596464 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18584/statm: 7875 7507 73 172 0 7702 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 33916
[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 21797
/proc/meminfo: memFree=836092/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=31640 CPUtime=1002.1
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 7616 0 0 0 100180 30 0 0 25 0 1 0 1008690469 32399360 7551 4294967295 134512640 135215339 3218598176 3218596464 134528899 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18584/statm: 7910 7551 73 172 0 7737 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 34056
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 21984
/proc/meminfo: memFree=835960/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=32044 CPUtime=1062.1
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 7677 0 0 0 106180 30 0 0 25 0 1 0 1008690469 32813056 7612 4294967295 134512640 135215339 3218598176 3218596464 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18584/statm: 8011 7612 73 172 0 7838 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 34460
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 22176
/proc/meminfo: memFree=835620/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=32176 CPUtime=1122.1
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 7742 0 0 0 112180 30 0 0 25 0 1 0 1008690469 32948224 7677 4294967295 134512640 135215339 3218598176 3218596464 134528673 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18584/statm: 8044 7677 73 172 0 7871 0
Current children cumulated CPU time (s) 1122.38
Current children cumulated vsize (KiB) 34592
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 22364
/proc/meminfo: memFree=835248/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=32488 CPUtime=1182.11
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 7786 0 0 0 118181 30 0 0 25 0 1 0 1008690469 33267712 7721 4294967295 134512640 135215339 3218598176 3218596464 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18584/statm: 8122 7721 73 172 0 7949 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 34904
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 22365
/proc/meminfo: memFree=835320/2074464 swapFree=1949244/1959888
[pid=18578] ppid=18576 vsize=2416 CPUtime=0.28
/proc/18578/stat : 18578 (SatELiteGTI) S 18576 18578 16367 0 -1 4194304 386 2195 0 0 0 1 25 2 17 0 1 0 1008690442 2473984 277 4294967295 134512640 135169312 3212964720 3212960936 3085422318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/18578/statm: 604 277 235 161 0 43 0
[pid=18584] ppid=18578 vsize=32488 CPUtime=1199.81
/proc/18584/stat : 18584 (minisat_static) R 18578 18578 16367 0 -1 4202496 7791 0 0 0 119951 30 0 0 25 0 1 0 1008690469 33267712 7726 4294967295 134512640 135215339 3218598176 3218596464 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18584/statm: 8122 7726 73 172 0 7949 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 34904
Sending SIGTERM to process tree (bottom up)
Sleeping Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.1
CPU user time (s): 1199.76
CPU system time (s): 0.34
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 34904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.76
system time used= 0.34
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10650
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= 20
involuntary context switches= 782
runsolver used 0.03 second user time and 0.03 second system time
The end
Begin job on tipi11 at 2009-05-16 04:44:55
IDJOB=1820422
IDBENCH=20402
IDSOLVER=657
FILE ID=tipi11/1820422-1242441895
PBS_JOBID=
Free space on /tmp= 10741 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-25.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820422-1242441895/watcher-1820422-1242441895 -o /tmp/evaluation-result-1820422-1242441895/solver-1820422-1242441895 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820422-1242441895.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0acd143a4e60b38309663b5993b5ded9
RANDOM SEED= 479631113
Linux tipi11 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 868508 kB
Buffers: 25428 kB
Cached: 1090952 kB
SwapCached: 5336 kB
Active: 324288 kB
Inactive: 803980 kB
HighTotal: 1178688 kB
HighFree: 226696 kB
LowTotal: 895776 kB
LowFree: 641812 kB
SwapTotal: 1959888 kB
SwapFree: 1949244 kB
Dirty: 2104 kB
Writeback: 0 kB
AnonPages: 10944 kB
Mapped: 5112 kB
Slab: 69792 kB
PageTables: 424 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 97128 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 10741 MiB
End job on tipi11 at 2009-05-16 05:04:55