0.00/0.01 c Parsing...
0.00/0.04 c ==============================================================================
0.00/0.04 c | | ORIGINAL | LEARNT | |
0.00/0.04 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.04 c ==============================================================================
0.00/0.04 c | 0 | 30972 81428 | 9291 0 0 nan | 0.000 % |
0.00/0.26 c | 0 | 22056 71256 | -- 0 -- -- | -- | -8916/-10172
0.00/0.26 c ==============================================================================
0.00/0.26 c Result : #vars: 3830 #clauses: 22056 #literals: 71256
0.00/0.26 c CPU time: 0.240963 s
0.00/0.26 c ==============================================================================
0.00/0.29 c This is MiniSat 2.0 beta
0.00/0.29 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.29 c ============================[ Problem Statistics ]=============================
0.00/0.29 c | |
0.00/0.29 c | Number of variables: 3830 |
0.00/0.29 c | Number of clauses: 22056 |
0.27/0.30 c | Parsing time: 0.01 s |
0.27/0.30 c ============================[ Search Statistics ]==============================
0.27/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.27/0.30 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.27/0.30 c ===============================================================================
0.27/0.30 c | 0 | 3830 22056 71256 | 7352 0 nan | 0.000 % |
0.27/0.31 c | 102 | 3830 22056 71256 | 7352 102 10 | 0.000 % |
0.27/0.32 c | 203 | 3830 22056 71256 | 7352 203 13 | 0.000 % |
0.27/0.33 c | 304 | 3830 22056 71256 | 7352 304 22 | 0.000 % |
0.27/0.34 c | 415 | 3830 22056 71256 | 7352 415 21 | 0.000 % |
0.27/0.35 c | 517 | 3830 22056 71256 | 7352 517 20 | 0.000 % |
0.27/0.36 c | 627 | 3830 22056 71256 | 7352 627 19 | 0.000 % |
0.27/0.37 c | 748 | 3830 22056 71256 | 7352 748 20 | 0.000 % |
0.27/0.38 c | 852 | 3830 22056 71256 | 7352 852 20 | 0.000 % |
0.27/0.39 c | 962 | 3830 22056 71256 | 7352 962 19 | 0.000 % |
0.27/0.41 c | 1085 | 3830 22056 71256 | 7352 1085 20 | 0.000 % |
0.27/0.42 c | 1219 | 3830 22056 71256 | 7352 1219 20 | 0.000 % |
0.27/0.43 c | 1320 | 3830 22056 71256 | 7352 1320 21 | 0.000 % |
0.27/0.45 c | 1430 | 3830 22056 71256 | 7352 1430 22 | 0.000 % |
0.27/0.46 c | 1552 | 3830 22056 71256 | 7352 1552 22 | 0.000 % |
0.27/0.48 c | 1685 | 3830 22056 71256 | 7352 1685 21 | 0.000 % |
0.27/0.49 c | 1833 | 3830 22056 71256 | 7352 1833 22 | 0.000 % |
0.27/0.50 c | 1933 | 3830 22056 71256 | 7352 1933 21 | 0.000 % |
0.27/0.51 c | 2044 | 3830 22056 71256 | 7352 2044 21 | 0.000 % |
0.27/0.52 c | 2165 | 3830 22056 71256 | 7352 2165 21 | 0.000 % |
0.27/0.54 c | 2300 | 3830 22056 71256 | 7352 2300 21 | 0.000 % |
0.27/0.56 c | 2448 | 3830 22056 71256 | 7352 2448 21 | 0.000 % |
0.27/0.57 c | 2610 | 3830 22056 71256 | 7352 2610 23 | 0.000 % |
0.27/0.59 c | 2710 | 3830 22056 71256 | 7352 2710 22 | 0.000 % |
0.27/0.60 c | 2820 | 3830 22056 71256 | 7352 2820 23 | 0.000 % |
0.27/0.62 c | 2941 | 3830 22056 71256 | 7352 2941 23 | 0.000 % |
0.27/0.63 c | 3075 | 3830 22056 71256 | 7352 3075 24 | 0.000 % |
0.27/0.65 c | 3221 | 3830 22056 71256 | 7352 3221 24 | 0.000 % |
0.27/0.67 c | 3381 | 3830 22056 71256 | 7352 3381 25 | 0.000 % |
0.27/0.70 c | 3557 | 3830 22056 71256 | 7352 3557 25 | 0.000 % |
0.27/0.71 c | 3657 | 3830 22056 71256 | 7352 3657 25 | 0.000 % |
0.27/0.72 c | 3767 | 3830 22056 71256 | 7352 3767 25 | 0.000 % |
0.27/0.74 c | 3889 | 3830 22056 71256 | 7352 3889 25 | 0.000 % |
0.27/0.76 c | 4022 | 3830 22056 71256 | 7352 4022 25 | 0.000 % |
0.27/0.78 c | 4170 | 3830 22056 71256 | 7352 4170 26 | 0.001 % |
0.27/0.80 c | 4330 | 3830 22056 71256 | 7352 4330 26 | 0.000 % |
0.27/0.83 c | 4507 | 3830 22056 71256 | 7352 4507 26 | 0.000 % |
0.27/0.87 c | 4703 | 3830 22056 71256 | 7352 4703 26 | 0.000 % |
0.27/0.88 c | 4805 | 3830 22056 71256 | 7352 4805 27 | 0.000 % |
0.27/0.90 c | 4916 | 3830 22056 71256 | 7352 4916 27 | 0.000 % |
0.27/0.92 c | 5037 | 3830 22056 71256 | 7352 5037 27 | 0.000 % |
0.27/0.94 c | 5170 | 3830 22056 71256 | 7352 5170 27 | 0.001 % |
0.27/0.97 c | 5317 | 3830 22056 71256 | 7352 5317 28 | 0.000 % |
0.27/1.00 c | 5478 | 3830 22056 71256 | 7352 5478 28 | 0.000 % |
0.97/1.03 c | 5654 | 3830 22056 71256 | 7352 5654 29 | 0.000 % |
0.97/1.06 c | 5847 | 3830 22056 71256 | 7352 5847 29 | 0.000 % |
0.97/1.10 c | 6059 | 3830 22056 71256 | 7352 6059 29 | 0.000 % |
1.07/1.12 c | 6160 | 3830 22056 71256 | 7352 6160 29 | 0.000 % |
1.07/1.13 c | 6270 | 3830 22056 71256 | 7352 6270 29 | 0.000 % |
1.07/1.15 c | 6391 | 3830 22056 71256 | 7352 6391 29 | 0.000 % |
1.07/1.18 c | 6524 | 3830 22056 71256 | 7352 6524 30 | 0.000 % |
1.17/1.21 c | 6670 | 3830 22056 71256 | 7352 6670 30 | 0.000 % |
1.17/1.23 c | 6834 | 3830 22056 71256 | 7352 6834 29 | 0.000 % |
1.17/1.26 c | 7011 | 3830 22056 71256 | 7352 7011 30 | 0.000 % |
1.17/1.29 c | 7204 | 3830 22056 71256 | 7352 7204 30 | 0.000 % |
1.27/1.32 c | 7419 | 3830 22056 71256 | 7352 7419 30 | 0.000 % |
1.27/1.36 c | 7652 | 3830 22056 71256 | 7352 6911 30 | 0.000 % |
1.27/1.39 c | 7752 | 3830 22056 71256 | 7352 7011 30 | 0.000 % |
1.37/1.40 c | 7862 | 3830 22056 71256 | 7352 7121 30 | 0.000 % |
1.37/1.42 c | 7983 | 3830 22056 71256 | 7352 7242 30 | 0.000 % |
1.37/1.45 c | 8117 | 3830 22056 71256 | 7352 7376 30 | 0.000 % |
1.37/1.48 c | 8264 | 3830 22056 71256 | 7352 6786 30 | 0.000 % |
1.47/1.51 c | 8424 | 3830 22056 71256 | 7352 6946 30 | 0.000 % |
1.47/1.55 c | 8600 | 3830 22056 71256 | 7352 7122 30 | 0.000 % |
1.47/1.58 c | 8793 | 3830 22056 71256 | 7352 7315 30 | 0.000 % |
1.57/1.62 c | 9005 | 3830 22056 71256 | 7352 7527 30 | 0.000 % |
1.57/1.67 c | 9238 | 3830 22056 71256 | 7352 7008 29 | 0.000 % |
1.67/1.71 c | 9494 | 3830 22056 71256 | 7352 7264 30 | 0.000 % |
1.67/1.73 c | 9594 | 3830 22056 71256 | 7352 7364 30 | 0.000 % |
1.67/1.75 c | 9706 | 3830 22056 71256 | 7352 6740 29 | 0.000 % |
1.67/1.77 c | 9828 | 3830 22056 71256 | 7352 6862 29 | 0.000 % |
1.67/1.80 c | 9962 | 3830 22056 71256 | 7352 6996 29 | 0.000 % |
1.77/1.82 c | 10108 | 3830 22056 71256 | 2147483647 7142 29 | 0.000 % |
1.77/1.84 c | 10269 | 3830 22056 71256 | 2147483647 7303 30 | 0.000 % |
1.77/1.88 c | 10446 | 3830 22056 71256 | 2147483647 7480 30 | 0.000 % |
1.87/1.92 c | 10640 | 3830 22056 71256 | 2147483647 7674 31 | 0.000 % |
1.87/1.96 c | 10852 | 3830 22056 71256 | 2147483647 7886 31 | 0.000 % |
1.96/2.00 c | 11085 | 3830 22056 71256 | 2147483647 8119 31 | 0.000 % |
1.96/2.04 c | 11341 | 3830 22056 71256 | 2147483647 8375 31 | 0.000 % |
1.96/2.09 c | 11622 | 3830 22056 71256 | 2147483647 8656 32 | 0.000 % |
2.07/2.12 c | 11722 | 3830 22056 71256 | 2147483647 8756 32 | 0.000 % |
2.07/2.13 c | 11832 | 3830 22056 71256 | 2147483647 8866 32 | 0.000 % |
2.07/2.16 c | 11954 | 3830 22056 71256 | 2147483647 8988 32 | 0.000 % |
2.07/2.18 c | 12087 | 3830 22056 71256 | 2147483647 9121 32 | 0.000 % |
2.17/2.21 c | 12234 | 3830 22056 71256 | 2147483647 9268 32 | 0.000 % |
2.17/2.23 c | 12395 | 3830 22056 71256 | 2147483647 9429 32 | 0.000 % |
2.17/2.28 c | 12571 | 3830 22056 71256 | 2147483647 9605 32 | 0.000 % |
2.26/2.32 c | 12764 | 3830 22056 71256 | 2147483647 9798 32 | 0.000 % |
2.26/2.35 c | 12976 | 3830 22056 71256 | 2147483647 10010 33 | 0.000 % |
2.26/2.39 c | 13209 | 3830 22056 71256 | 2147483647 10243 33 | 0.000 % |
2.36/2.44 c | 13468 | 3830 22056 71256 | 2147483647 10502 33 | 0.000 % |
2.46/2.50 c | 13750 | 3830 22056 71256 | 2147483647 10784 34 | 0.000 % |
2.46/2.57 c | 14060 | 3830 22056 71256 | 2147483647 11094 34 | 0.000 % |
2.46/2.59 c | 14161 | 3830 22056 71256 | 2147483647 11195 34 | 0.000 % |
2.56/2.61 c | 14272 | 3830 22056 71256 | 2147483647 11306 34 | 0.000 % |
2.56/2.64 c | 14393 | 3830 22056 71256 | 2147483647 11427 34 | 0.000 % |
2.56/2.68 c | 14527 | 3830 22056 71256 | 2147483647 11561 34 | 0.000 % |
2.66/2.70 c | 14673 | 3830 22056 71256 | 2147483647 11707 34 | 0.000 % |
2.66/2.73 c | 14833 | 3830 22056 71256 | 2147483647 11867 34 | 0.000 % |
2.66/2.77 c | 15011 | 3830 22056 71256 | 2147483647 12045 34 | 0.000 % |
2.76/2.80 c | 15205 | 3830 22056 71256 | 2147483647 12239 34 | 0.000 % |
2.76/2.84 c | 15417 | 3830 22056 71256 | 2147483647 12451 34 | 0.000 % |
2.76/2.88 c | 15650 | 3830 22056 71256 | 2147483647 12684 34 | 0.000 % |
2.86/2.94 c | 15906 | 3830 22056 71256 | 2147483647 12940 34 | 0.000 % |
2.96/3.00 c | 16187 | 3830 22056 71256 | 2147483647 13221 33 | 0.000 % |
2.96/3.06 c | 16497 | 3830 22056 71256 | 2147483647 13531 33 | 0.000 % |
3.06/3.13 c | 16837 | 3830 22056 71256 | 2147483647 13871 33 | 0.000 % |
3.06/3.16 c | 16938 | 3830 22056 71256 | 2147483647 13972 33 | 0.000 % |
3.06/3.19 c | 17048 | 3830 22056 71256 | 2147483647 14082 33 | 0.000 % |
3.16/3.22 c | 17169 | 3830 22056 71256 | 2147483647 14203 33 | 0.000 % |
3.16/3.25 c | 17303 | 3830 22056 71256 | 2147483647 14337 33 | 0.000 % |
3.16/3.30 c | 17451 | 3829 22047 71236 | 2147483647 14484 33 | 0.026 % |
3.26/3.34 c | 17611 | 3829 22047 71236 | 2147483647 14644 33 | 0.026 % |
3.26/3.37 c | 17787 | 3829 22047 71236 | 2147483647 14820 33 | 0.026 % |
3.36/3.42 c | 17980 | 3829 22047 71236 | 2147483647 15013 33 | 0.026 % |
3.36/3.48 c | 18192 | 3829 22047 71236 | 2147483647 15225 34 | 0.026 % |
3.46/3.53 c | 18426 | 3829 22047 71236 | 2147483647 15459 34 | 0.026 % |
3.46/3.59 c | 18682 | 3829 22047 71236 | 2147483647 15715 35 | 0.026 % |
3.56/3.66 c | 18965 | 3829 22047 71236 | 2147483647 15998 35 | 0.026 % |
3.66/3.73 c | 19275 | 3829 22047 71236 | 2147483647 16308 36 | 0.026 % |
3.76/3.80 c | 19615 | 3829 22047 71236 | 2147483647 16648 36 | 0.026 % |
3.76/3.88 c | 19988 | 3829 22047 71236 | 2147483647 17021 36 | 0.026 % |
3.76/3.90 c | 20088 | 3829 22047 71236 | 2147483647 17121 36 | 0.026 % |
3.86/3.94 c | 20199 | 3829 22047 71236 | 2147483647 17232 36 | 0.027 % |
3.86/3.96 c | 20321 | 3829 22047 71236 | 2147483647 17354 36 | 0.026 % |
3.86/3.99 c | 20454 | 3829 22047 71236 | 2147483647 17487 36 | 0.026 % |
3.96/4.04 c | 20600 | 3829 22047 71236 | 2147483647 17633 36 | 0.026 % |
3.96/4.07 c | 20760 | 3829 22047 71236 | 2147483647 17793 36 | 0.026 % |
4.06/4.12 c | 20937 | 3829 22047 71236 | 2147483647 17970 36 | 0.026 % |
4.06/4.17 c | 21130 | 3829 22047 71236 | 2147483647 18163 36 | 0.026 % |
4.16/4.23 c | 21343 | 3829 22047 71236 | 2147483647 18376 37 | 0.026 % |
4.27/4.31 c | 21578 | 3829 22047 71236 | 2147483647 18611 37 | 0.026 % |
4.27/4.37 c | 21834 | 3829 22047 71236 | 2147483647 18867 36 | 0.026 % |
4.37/4.42 c | 22115 | 3829 22047 71236 | 2147483647 19148 36 | 0.026 % |
4.46/4.50 c | 22424 | 3829 22047 71236 | 2147483647 19457 36 | 0.026 % |
4.46/4.58 c | 22766 | 3829 22047 71236 | 2147483647 19799 36 | 0.026 % |
4.56/4.68 c | 23138 | 3829 22047 71236 | 2147483647 20171 36 | 0.027 % |
4.66/4.77 c | 23547 | 3829 22047 71236 | 2147483647 20580 36 | 0.026 % |
4.76/4.80 c | 23647 | 3829 22047 71236 | 2147483647 20680 36 | 0.026 % |
4.76/4.84 c | 23757 | 3829 22047 71236 | 2147483647 20790 36 | 0.026 % |
4.76/4.88 c | 23878 | 3829 22047 71236 | 2147483647 20911 36 | 0.026 % |
4.86/4.93 c | 24013 | 3829 22047 71236 | 2147483647 21046 36 | 0.026 % |
4.86/4.97 c | 24159 | 3829 22047 71236 | 2147483647 21192 36 | 0.026 % |
4.96/5.01 c | 24321 | 3829 22047 71236 | 2147483647 21354 36 | 0.026 % |
4.96/5.05 c | 24498 | 3829 22047 71236 | 2147483647 21531 36 | 0.026 % |
5.06/5.11 c | 24693 | 3829 22047 71236 | 2147483647 21726 36 | 0.026 % |
5.06/5.18 c | 24907 | 3829 22047 71236 | 2147483647 21940 36 | 0.026 % |
5.16/5.25 c | 25141 | 3829 22047 71236 | 2147483647 22174 36 | 0.026 % |
5.26/5.33 c | 25398 | 3829 22047 71236 | 2147483647 22431 36 | 0.026 % |
5.37/5.41 c | 25681 | 3829 22047 71236 | 2147483647 22714 36 | 0.026 % |
5.37/5.47 c | 25991 | 3829 22047 71236 | 2147483647 23024 37 | 0.026 % |
5.56/5.61 c | 26331 | 3829 22047 71236 | 2147483647 23364 37 | 0.026 % |
5.66/5.74 c | 26704 | 3829 22047 71236 | 2147483647 23737 37 | 0.026 % |
5.76/5.89 c | 27114 | 3829 22047 71236 | 2147483647 24147 36 | 0.026 % |
5.96/6.02 c | 27564 | 3829 22047 71236 | 2147483647 24597 37 | 0.026 % |
5.96/6.05 c | 27664 | 3829 22047 71236 | 2147483647 24697 36 | 0.026 % |
5.96/6.08 c | 27774 | 3829 22047 71236 | 2147483647 24807 36 | 0.026 % |
6.06/6.13 c | 27895 | 3829 22047 71236 | 2147483647 24928 36 | 0.026 % |
6.06/6.17 c | 28028 | 3829 22047 71236 | 2147483647 25061 36 | 0.026 % |
6.16/6.22 c | 28174 | 3829 22047 71236 | 2147483647 25207 36 | 0.026 % |
6.16/6.26 c | 28334 | 3829 22047 71236 | 2147483647 25367 37 | 0.026 % |
6.26/6.31 c | 28510 | 3829 22047 71236 | 2147483647 25543 37 | 0.026 % |
6.26/6.36 c | 28704 | 3829 22047 71236 | 2147483647 25737 37 | 0.026 % |
6.36/6.42 c | 28917 | 3829 22047 71236 | 2147483647 25950 36 | 0.026 % |
6.36/6.49 c | 29150 | 3829 22047 71236 | 2147483647 26183 36 | 0.026 % |
6.56/6.60 c | 29407 | 3829 22047 71236 | 2147483647 26440 36 | 0.026 % |
6.56/6.68 c | 29688 | 3829 22047 71236 | 2147483647 26721 36 | 0.026 % |
6.66/6.79 c | 29997 | 3829 22047 71236 | 2147483647 27030 36 | 0.026 % |
6.76/6.88 c | 30339 | 3829 22047 71236 | 2147483647 27372 36 | 0.026 % |
6.86/6.99 c | 30713 | 3829 22047 71236 | 2147483647 27746 37 | 0.026 % |
7.06/7.12 c | 31122 | 3829 22047 71236 | 2147483647 28155 37 | 0.026 % |
7.16/7.24 c | 31571 | 3829 22047 71236 | 2147483647 28604 37 | 0.026 % |
7.36/7.41 c | 32064 | 3829 22047 71236 | 2147483647 29097 37 | 0.026 % |
7.36/7.44 c | 32166 | 3829 22047 71236 | 2147483647 29199 37 | 0.026 % |
7.36/7.48 c | 32276 | 3829 22047 71236 | 2147483647 29309 37 | 0.026 % |
7.46/7.52 c | 32397 | 3829 22047 71236 | 2147483647 29430 37 | 0.026 % |
7.46/7.58 c | 32530 | 3829 22047 71236 | 2147483647 29563 37 | 0.026 % |
7.56/7.64 c | 32678 | 3829 22047 71236 | 2147483647 29711 37 | 0.026 % |
7.56/7.68 c | 32838 | 3829 22047 71236 | 2147483647 29871 37 | 0.026 % |
7.66/7.75 c | 33014 | 3829 22047 71236 | 2147483647 30047 37 | 0.026 % |
7.76/7.81 c | 33209 | 3829 22047 71236 | 2147483647 30242 37 | 0.026 % |
7.76/7.87 c | 33421 | 3829 22047 71236 | 2147483647 30454 37 | 0.026 % |
7.86/7.92 c | 33654 | 3829 22047 71236 | 2147483647 30687 37 | 0.026 % |
7.96/8.00 c | 33910 | 3829 22047 71236 | 2147483647 30943 37 | 0.026 % |
7.96/8.09 c | 34197 | 3829 22047 71236 | 2147483647 31230 37 | 0.026 % |
8.15/8.22 c | 34510 | 3829 22047 71236 | 2147483647 31543 37 | 0.026 % |
8.25/8.34 c | 34849 | 3829 22047 71236 | 2147483647 31882 37 | 0.026 % |
8.35/8.44 c | 35222 | 3829 22047 71236 | 2147483647 32255 38 | 0.026 % |
8.45/8.58 c | 35631 | 3829 22047 71236 | 2147483647 32664 38 | 0.026 % |
8.66/8.74 c | 36080 | 3829 22047 71236 | 2147483647 33113 38 | 0.026 % |
8.85/8.92 c | 36573 | 3829 22047 71236 | 2147483647 33606 38 | 0.026 % |
9.05/9.10 c | 37118 | 3829 22047 71236 | 2147483647 34151 38 | 0.026 % |
9.05/9.13 c | 37218 | 3829 22047 71236 | 2147483647 34251 38 | 0.026 % |
9.05/9.17 c | 37329 | 3829 22047 71236 | 2147483647 34362 38 | 0.026 % |
9.15/9.22 c | 37452 | 3829 22047 71236 | 2147483647 34485 38 | 0.026 % |
9.15/9.26 c | 37585 | 3829 22047 71236 | 2147483647 34618 38 | 0.026 % |
9.25/9.32 c | 37731 | 3829 22047 71236 | 2147483647 34764 38 | 0.026 % |
9.25/9.37 c | 37891 | 3829 22047 71236 | 2147483647 34924 38 | 0.026 % |
9.35/9.43 c | 38067 | 3829 22047 71236 | 2147483647 35100 38 | 0.026 % |
9.45/9.52 c | 38260 | 3829 22047 71236 | 2147483647 35293 38 | 0.026 % |
9.55/9.62 c | 38475 | 3829 22047 71236 | 2147483647 35508 38 | 0.026 % |
9.65/9.72 c | 38710 | 3829 22047 71236 | 2147483647 35743 38 | 0.026 % |
9.76/9.86 c | 38968 | 3829 22047 71236 | 2147483647 36001 38 | 0.026 % |
9.86/9.97 c | 39250 | 3829 22047 71236 | 2147483647 36283 38 | 0.026 % |
10.05/10.10 c | 39560 | 3829 22047 71236 | 2147483647 36593 38 | 0.026 % |
10.15/10.27 c | 39900 | 3829 22047 71236 | 2147483647 36933 38 | 0.026 % |
10.35/10.44 c | 40272 | 3829 22047 71236 | 2147483647 37305 38 | 0.026 % |
10.56/10.67 c | 40683 | 3829 22047 71236 | 2147483647 37716 38 | 0.026 % |
10.76/10.89 c | 41133 | 3829 22047 71236 | 2147483647 38166 38 | 0.026 % |
11.06/11.12 c | 41627 | 3829 22047 71236 | 2147483647 38660 38 | 0.026 % |
11.25/11.35 c | 42169 | 3829 22047 71236 | 2147483647 39202 38 | 0.026 % |
11.55/11.66 c | 42766 | 3829 22047 71236 | 2147483647 39799 38 | 0.026 % |
11.65/11.71 c | 42867 | 3829 22047 71236 | 2147483647 39900 39 | 0.026 % |
11.65/11.77 c | 42978 | 3829 22047 71236 | 2147483647 40011 39 | 0.026 % |
11.75/11.83 c | 43101 | 3829 22047 71236 | 2147483647 40134 39 | 0.026 % |
11.85/11.90 c | 43234 | 3829 22047 71236 | 2147483647 40267 39 | 0.026 % |
11.85/11.96 c | 43380 | 3829 22047 71236 | 2147483647 40413 39 | 0.026 % |
11.96/12.03 c | 43540 | 3829 22047 71236 | 2147483647 40573 39 | 0.026 % |
12.06/12.12 c | 43716 | 3829 22047 71236 | 2147483647 40749 39 | 0.026 % |
12.15/12.23 c | 43909 | 3829 22047 71236 | 2147483647 40942 39 | 0.026 % |
12.25/12.30 c | 44121 | 3829 22047 71236 | 2147483647 41154 39 | 0.026 % |
12.25/12.39 c | 44354 | 3829 22047 71236 | 2147483647 41387 39 | 0.026 % |
12.35/12.49 c | 44611 | 3829 22047 71236 | 2147483647 41644 39 | 0.026 % |
12.55/12.62 c | 44894 | 3829 22047 71236 | 2147483647 41927 39 | 0.026 % |
12.65/12.71 c | 45203 | 3829 22047 71236 | 2147483647 42236 39 | 0.026 % |
12.75/12.89 c | 45543 | 3829 22047 71236 | 2147483647 42576 39 | 0.026 % |
12.95/13.06 c | 45915 | 3829 22047 71236 | 2147483647 42948 39 | 0.026 % |
13.15/13.26 c | 46324 | 3829 22047 71236 | 2147483647 43357 39 | 0.026 % |
13.35/13.49 c | 46773 | 3829 22047 71236 | 2147483647 43806 39 | 0.026 % |
13.65/13.76 c | 47267 | 3829 22047 71236 | 2147483647 44300 39 | 0.026 % |
13.94/14.01 c | 47809 | 3829 22047 71236 | 2147483647 44842 39 | 0.026 % |
14.25/14.35 c | 48406 | 3829 22047 71236 | 2147483647 45439 39 | 0.026 % |
14.64/14.73 c | 49061 | 3829 22047 71236 | 2147483647 46094 39 | 0.026 % |
14.64/14.79 c | 49164 | 3829 22047 71236 | 2147483647 46197 39 | 0.026 % |
14.74/14.86 c | 49274 | 3829 22047 71236 | 2147483647 46307 39 | 0.026 % |
14.85/14.94 c | 49395 | 3829 22047 71236 | 2147483647 46428 39 | 0.026 % |
14.95/15.01 c | 49528 | 3829 22047 71236 | 2147483647 46561 39 | 0.026 % |
15.05/15.12 c | 49676 | 3829 22047 71236 | 2147483647 46709 39 | 0.026 % |
15.15/15.21 c | 49836 | 3829 22047 71236 | 2147483647 46869 39 | 0.026 % |
15.25/15.33 c | 50012 | 3829 22047 71236 | 2147483647 47045 39 | 0.026 % |
15.35/15.45 c | 50206 | 3829 22047 71236 | 2147483647 47239 39 | 0.026 % |
15.45/15.58 c | 50418 | 3829 22047 71236 | 2147483647 47451 38 | 0.026 % |
15.65/15.71 c | 50651 | 3829 22047 71236 | 2147483647 47684 38 | 0.026 % |
15.75/15.82 c | 50907 | 3829 22047 71236 | 2147483647 47940 38 | 0.026 % |
15.85/15.96 c | 51190 | 3829 22047 71236 | 2147483647 48223 38 | 0.026 % |
16.05/16.11 c | 51500 | 3829 22047 71236 | 2147483647 48533 38 | 0.026 % |
16.25/16.33 c | 51841 | 3829 22047 71236 | 2147483647 48874 38 | 0.026 % |
16.45/16.56 c | 52215 | 3829 22047 71236 | 2147483647 49248 38 | 0.026 % |
16.55/16.65 c | 52624 | 3829 22047 71236 | 2147483647 49657 38 | 0.026 % |
16.85/16.93 c | 53073 | 3829 22047 71236 | 2147483647 50106 38 | 0.026 % |
17.05/17.16 c | 53566 | 3829 22047 71236 | 2147483647 50599 38 | 0.026 % |
17.35/17.45 c | 54108 | 3829 22047 71236 | 2147483647 51141 38 | 0.026 % |
17.65/17.73 c | 54705 | 3829 22047 71236 | 2147483647 51738 38 | 0.026 % |
17.94/18.04 c | 55360 | 3829 22047 71236 | 2147483647 52393 38 | 0.026 % |
18.44/18.56 c | 56084 | 3829 22047 71236 | 2147483647 53117 38 | 0.026 % |
18.55/18.63 c | 56184 | 3829 22047 71236 | 2147483647 53217 38 | 0.026 % |
18.55/18.70 c | 56297 | 3829 22047 71236 | 2147483647 53330 38 | 0.026 % |
18.65/18.78 c | 56419 | 3829 22047 71236 | 2147483647 53452 38 | 0.026 % |
18.74/18.86 c | 56554 | 3829 22047 71236 | 2147483647 53587 38 | 0.026 % |
18.84/18.95 c | 56701 | 3829 22047 71236 | 2147483647 53734 38 | 0.026 % |
18.94/19.05 c | 56862 | 3829 22047 71236 | 2147483647 53895 38 | 0.026 % |
19.04/19.18 c | 57038 | 3829 22047 71236 | 2147483647 54071 38 | 0.026 % |
19.14/19.27 c | 57231 | 3829 22047 71236 | 2147483647 54264 38 | 0.026 % |
19.34/19.40 c | 57443 | 3829 22047 71236 | 2147483647 54476 38 | 0.026 % |
19.44/19.55 c | 57677 | 3829 22047 71236 | 2147483647 54710 38 | 0.026 % |
19.65/19.72 c | 57936 | 3829 22047 71236 | 2147483647 54969 39 | 0.026 % |
19.75/19.89 c | 58218 | 3829 22047 71236 | 2147483647 55251 39 | 0.026 % |
19.94/20.09 c | 58529 | 3829 22047 71236 | 2147483647 55562 39 | 0.026 % |
20.14/20.29 c | 58868 | 3829 22047 71236 | 2147483647 55901 39 | 0.026 % |
20.44/20.55 c | 59240 | 3829 22047 71236 | 2147483647 56273 38 | 0.026 % |
20.74/20.82 c | 59650 | 3829 22047 71236 | 2147483647 56683 38 | 0.026 % |
21.04/21.13 c | 60099 | 3829 22047 71236 | 2147483647 57132 38 | 0.026 % |
21.34/21.40 c | 60594 | 3829 22047 71236 | 2147483647 57627 38 | 0.026 % |
21.64/21.72 c | 61136 | 3829 22047 71236 | 2147483647 58169 38 | 0.026 % |
22.04/22.18 c | 61732 | 3829 22047 71236 | 2147483647 58765 38 | 0.026 % |
22.54/22.65 c | 62389 | 3829 22047 71236 | 2147483647 59422 38 | 0.026 % |
23.04/23.15 c | 63110 | 3829 22047 71236 | 2147483647 60143 39 | 0.026 % |
23.54/23.68 c | 63902 | 3829 22047 71236 | 2147483647 60935 39 | 0.026 % |
23.64/23.77 c | 64004 | 3829 22047 71236 | 2147483647 61037 39 | 0.026 % |
23.74/23.84 c | 64114 | 3829 22047 71236 | 2147483647 61147 39 | 0.026 % |
23.84/23.94 c | 64236 | 3829 22047 71236 | 2147483647 61269 39 | 0.026 % |
23.94/24.04 c | 64369 | 3829 22047 71236 | 2147483647 61402 39 | 0.026 % |
24.05/24.15 c | 64515 | 3829 22047 71236 | 2147483647 61548 39 | 0.026 % |
24.15/24.29 c | 64675 | 3829 22047 71236 | 2147483647 61708 39 | 0.026 % |
24.34/24.41 c | 64851 | 3829 22047 71236 | 2147483647 61884 39 | 0.026 % |
24.44/24.54 c | 65044 | 3829 22047 71236 | 2147483647 62077 39 | 0.026 % |
24.54/24.70 c | 65256 | 3829 22047 71236 | 2147483647 62289 39 | 0.026 % |
24.74/24.82 c | 65492 | 3829 22047 71236 | 2147483647 62525 39 | 0.026 % |
24.84/24.96 c | 65748 | 3829 22047 71236 | 2147483647 62781 39 | 0.026 % |
25.04/25.11 c | 66030 | 3829 22047 71236 | 2147483647 63063 39 | 0.026 % |
25.14/25.27 c | 66340 | 3829 22047 71236 | 2147483647 63373 39 | 0.026 % |
25.34/25.48 c | 66681 | 3829 22047 71236 | 2147483647 63714 39 | 0.026 % |
25.54/25.68 c | 67053 | 3829 22047 71236 | 2147483647 64086 39 | 0.026 % |
25.94/26.06 c | 67463 | 3829 22047 71236 | 2147483647 64496 39 | 0.027 % |
26.24/26.37 c | 67912 | 3829 22047 71236 | 2147483647 64945 39 | 0.026 % |
26.64/26.77 c | 68405 | 3829 22047 71236 | 2147483647 65438 39 | 0.026 % |
27.14/27.24 c | 68947 | 3829 22047 71236 | 2147483647 65980 39 | 0.026 % |
27.44/27.59 c | 69543 | 3829 22047 71236 | 2147483647 66576 39 | 0.026 % |
28.04/28.13 c | 70199 | 3829 22047 71236 | 2147483647 67232 38 | 0.026 % |
28.44/28.58 c | 70921 | 3829 22047 71236 | 2147483647 67954 38 | 0.026 % |
29.14/29.23 c | 71716 | 3829 22047 71236 | 2147483647 68749 38 | 0.026 % |
29.64/29.72 c | 72588 | 3829 22047 71236 | 2147483647 69621 38 | 0.026 % |
29.73/29.82 c | 72690 | 3829 22047 71236 | 2147483647 69723 38 | 0.026 % |
29.83/29.90 c | 72800 | 3829 22047 71236 | 2147483647 69833 38 | 0.026 % |
29.83/30.00 c | 72923 | 3829 22047 71236 | 2147483647 69956 38 | 0.026 % |
30.03/30.15 c | 73058 | 3829 22047 71236 | 2147483647 70091 38 | 0.026 % |
30.13/30.27 c | 73205 | 3829 22047 71236 | 2147483647 70238 38 | 0.026 % |
30.23/30.39 c | 73365 | 3829 22047 71236 | 2147483647 70398 38 | 0.026 % |
30.44/30.52 c | 73542 | 3829 22047 71236 | 2147483647 70575 38 | 0.026 % |
30.54/30.66 c | 73736 | 3829 22047 71236 | 2147483647 70769 38 | 0.026 % |
30.65/30.79 c | 73948 | 3829 22047 71236 | 2147483647 70981 38 | 0.026 % |
30.84/30.92 c | 74182 | 3829 22047 71236 | 2147483647 71215 38 | 0.026 % |
30.94/31.09 c | 74439 | 3829 22047 71236 | 2147483647 71472 38 | 0.026 % |
31.24/31.33 c | 74723 | 3829 22047 71236 | 2147483647 71756 38 | 0.026 % |
31.44/31.59 c | 75032 | 3829 22047 71236 | 2147483647 72065 38 | 0.026 % |
31.74/31.82 c | 75371 | 3829 22047 71236 | 2147483647 72404 38 | 0.026 % |
31.94/32.08 c | 75743 | 3829 22047 71236 | 2147483647 72776 38 | 0.026 % |
32.24/32.30 c | 76152 | 3829 22047 71236 | 2147483647 73185 38 | 0.026 % |
32.44/32.55 c | 76601 | 3829 22047 71236 | 2147483647 73634 38 | 0.026 % |
32.74/32.87 c | 77095 | 3829 22047 71236 | 2147483647 74128 38 | 0.026 % |
33.14/33.22 c | 77639 | 3829 22047 71236 | 2147483647 74672 38 | 0.026 % |
33.54/33.62 c | 78236 | 3829 22047 71236 | 2147483647 75269 38 | 0.026 % |
33.94/34.04 c | 78892 | 3829 22047 71236 | 2147483647 75925 38 | 0.026 % |
34.54/34.69 c | 79613 | 3829 22047 71236 | 2147483647 76646 38 | 0.026 % |
35.24/35.36 c | 80406 | 3829 22047 71236 | 2147483647 77439 38 | 0.026 % |
36.24/36.33 c | 81277 | 3829 22047 71236 | 2147483647 78310 38 | 0.026 % |
37.54/37.64 c | 82235 | 3829 22047 71236 | 2147483647 79268 38 | 0.026 % |
37.64/37.78 c | 82335 | 3829 22047 71236 | 2147483647 79368 38 | 0.026 % |
37.74/37.89 c | 82445 | 3829 22047 71236 | 2147483647 79478 38 | 0.026 % |
37.94/38.01 c | 82567 | 3829 22047 71236 | 2147483647 79600 38 | 0.026 % |
38.04/38.12 c | 82700 | 3829 22047 71236 | 2147483647 79733 38 | 0.026 % |
38.14/38.25 c | 82846 | 3829 22047 71236 | 2147483647 79879 38 | 0.026 % |
38.23/38.37 c | 83008 | 3829 22047 71236 | 2147483647 80041 38 | 0.026 % |
38.44/38.57 c | 83185 | 3829 22047 71236 | 2147483647 80218 38 | 0.026 % |
38.63/38.72 c | 83379 | 3829 22047 71236 | 2147483647 80412 38 | 0.026 % |
38.83/38.91 c | 83591 | 3829 22047 71236 | 2147483647 80624 38 | 0.026 % |
39.03/39.12 c | 83828 | 3829 22047 71236 | 2147483647 80861 38 | 0.026 % |
39.23/39.31 c | 84086 | 3829 22047 71236 | 2147483647 81119 38 | 0.026 % |
39.44/39.54 c | 84369 | 3829 22047 71236 | 2147483647 81402 38 | 0.026 % |
39.73/39.83 c | 84678 | 3829 22047 71236 | 2147483647 81711 38 | 0.026 % |
40.03/40.11 c | 85017 | 3829 22047 71236 | 2147483647 82050 38 | 0.026 % |
40.43/40.58 c | 85389 | 3828 22038 71216 | 2147483647 82420 38 | 0.052 % |
40.73/40.87 c | 85799 | 3828 22038 71216 | 2147483647 82830 38 | 0.052 % |
41.13/41.29 c | 86248 | 3828 22038 71216 | 2147483647 83279 38 | 0.052 % |
41.63/41.73 c | 86741 | 3828 22038 71216 | 2147483647 83772 38 | 0.052 % |
42.03/42.18 c | 87284 | 3828 22038 71216 | 2147483647 84315 38 | 0.052 % |
42.44/42.56 c | 87881 | 3828 22038 71216 | 2147483647 84912 38 | 0.052 % |
43.04/43.13 c | 88540 | 3828 22038 71216 | 2147483647 85571 38 | 0.052 % |
43.54/43.64 c | 89261 | 3828 22038 71216 | 2147483647 86292 38 | 0.052 % |
44.14/44.23 c | 90053 | 3828 22038 71216 | 2147483647 87084 38 | 0.052 % |
44.64/44.76 c | 90925 | 3828 22038 71216 | 2147483647 87956 38 | 0.052 % |
45.24/45.33 c | 91884 | 3828 22038 71216 | 2147483647 88915 38 | 0.052 % |
46.14/46.25 c | 92939 | 3828 22038 71216 | 2147483647 89970 39 | 0.052 % |
46.23/46.37 c | 93040 | 3828 22038 71216 | 2147483647 90071 39 | 0.052 % |
46.33/46.49 c | 93151 | 3828 22038 71216 | 2147483647 90182 39 | 0.052 % |
46.43/46.58 c | 93272 | 3828 22038 71216 | 2147483647 90303 39 | 0.053 % |
46.53/46.67 c | 93405 | 3828 22038 71216 | 2147483647 90436 39 | 0.052 % |
46.63/46.79 c | 93552 | 3828 22038 71216 | 2147483647 90583 39 | 0.052 % |
46.83/46.93 c | 93712 | 3828 22038 71216 | 2147483647 90743 39 | 0.052 % |
47.03/47.11 c | 93888 | 3828 22038 71216 | 2147483647 90919 39 | 0.052 % |
47.13/47.26 c | 94082 | 3828 22038 71216 | 2147483647 91113 39 | 0.052 % |
47.33/47.45 c | 94294 | 3828 22038 71216 | 2147483647 91325 39 | 0.053 % |
47.63/47.70 c | 94527 | 3828 22038 71216 | 2147483647 91558 39 | 0.053 % |
47.83/47.91 c | 94783 | 3828 22038 71216 | 2147483647 91814 39 | 0.052 % |
48.03/48.17 c | 95064 | 3828 22038 71216 | 2147483647 92095 39 | 0.052 % |
48.33/48.45 c | 95373 | 3828 22038 71216 | 2147483647 92404 39 | 0.052 % |
48.73/48.81 c | 95713 | 3828 22038 71216 | 2147483647 92744 39 | 0.052 % |
49.13/49.26 c | 96085 | 3828 22038 71216 | 2147483647 93116 39 | 0.052 % |
49.53/49.62 c | 96495 | 3828 22038 71216 | 2147483647 93526 39 | 0.052 % |
49.92/50.09 c | 96948 | 3828 22038 71216 | 2147483647 93979 39 | 0.052 % |
50.43/50.54 c | 97442 | 3828 22038 71216 | 2147483647 94473 39 | 0.053 % |
50.92/51.09 c | 97986 | 3828 22038 71216 | 2147483647 95017 39 | 0.052 % |
51.43/51.54 c | 98582 | 3828 22038 71216 | 2147483647 95613 39 | 0.052 % |
52.03/52.10 c | 99237 | 3828 22038 71216 | 2147483647 96268 39 | 0.052 % |
52.74/52.83 c | 99957 | 3828 22038 71216 | 2147483647 96988 39 | 0.053 % |
53.33/53.48 c | 100750 | 3828 22038 71216 | 2147483647 97781 39 | 0.052 % |
54.03/54.20 c | 101623 | 3828 22038 71216 | 2147483647 98654 39 | 0.052 % |
54.94/55.09 c | 102581 | 3828 22038 71216 | 2147483647 99612 39 | 0.052 % |
55.93/56.07 c | 103634 | 3828 22038 71216 | 2147483647 100665 39 | 0.053 % |
56.83/56.91 c | 104793 | 3828 22038 71216 | 2147483647 101824 39 | 0.052 % |
56.93/57.02 c | 104893 | 3828 22038 71216 | 2147483647 101924 39 | 0.052 % |
57.03/57.19 c | 105006 | 3828 22038 71216 | 2147483647 102037 39 | 0.052 % |
57.23/57.33 c | 105128 | 3828 22038 71216 | 2147483647 102159 39 | 0.052 % |
57.33/57.49 c | 105264 | 3828 22038 71216 | 2147483647 102295 39 | 0.052 % |
57.53/57.64 c | 105411 | 3828 22038 71216 | 2147483647 102442 39 | 0.052 % |
57.63/57.77 c | 105571 | 3828 22038 71216 | 2147483647 102602 39 | 0.052 % |
57.83/57.95 c | 105751 | 3828 22038 71216 | 2147483647 102782 39 | 0.052 % |
58.13/58.20 c | 105944 | 3828 22038 71216 | 2147483647 102975 39 | 0.052 % |
58.43/58.50 c | 106157 | 3828 22038 71216 | 2147483647 103188 39 | 0.052 % |
58.63/58.75 c | 106391 | 3828 22038 71216 | 2147483647 103422 39 | 0.052 % |
58.83/58.98 c | 106647 | 3828 22038 71216 | 2147483647 103678 39 | 0.053 % |
59.13/59.29 c | 106929 | 3828 22038 71216 | 2147483647 103960 39 | 0.052 % |
59.53/59.66 c | 107239 | 3828 22038 71216 | 2147483647 104270 39 | 0.052 % |
59.82/59.96 c | 107578 | 3828 22038 71216 | 2147483647 104609 39 | 0.052 % |
60.33/60.47 c | 107952 | 3828 22038 71216 | 2147483647 104983 39 | 0.053 % |
60.72/60.85 c | 108361 | 3828 22038 71216 | 2147483647 105392 39 | 0.052 % |
61.22/61.36 c | 108810 | 3828 22038 71216 | 2147483647 105841 39 | 0.052 % |
61.82/61.90 c | 109305 | 3828 22038 71216 | 2147483647 106336 39 | 0.052 % |
62.32/62.46 c | 109848 | 3828 22038 71216 | 2147483647 106879 39 | 0.052 % |
63.12/63.23 c | 110444 | 3828 22038 71216 | 2147483647 107475 39 | 0.052 % |
63.82/63.93 c | 111099 | 3828 22038 71216 | 2147483647 108130 39 | 0.052 % |
64.62/64.78 c | 111820 | 3828 22038 71216 | 2147483647 108851 39 | 0.052 % |
65.62/65.71 c | 112612 | 3828 22038 71216 | 2147483647 109643 39 | 0.052 % |
66.62/66.78 c | 113486 | 3828 22038 71216 | 2147483647 110517 39 | 0.052 % |
67.73/67.84 c | 114444 | 3828 22038 71216 | 2147483647 111475 39 | 0.052 % |
68.73/68.81 c | 115500 | 3828 22038 71216 | 2147483647 112531 39 | 0.052 % |
70.13/70.21 c | 116658 | 3827 22029 71196 | 2147483647 113687 39 | 0.079 % |
71.52/71.68 c | 117932 | 3827 22029 71196 | 2147483647 114961 39 | 0.079 % |
71.62/71.78 c | 118032 | 3827 22029 71196 | 2147483647 115061 39 | 0.078 % |
71.82/71.96 c | 118143 | 3827 22029 71196 | 2147483647 115172 39 | 0.079 % |
72.02/72.14 c | 118265 | 3827 22029 71196 | 2147483647 115294 38 | 0.079 % |
72.12/72.29 c | 118398 | 3827 22029 71196 | 2147483647 115427 38 | 0.078 % |
72.32/72.43 c | 118546 | 3827 22029 71196 | 2147483647 115575 38 | 0.079 % |
72.43/72.60 c | 118707 | 3827 22029 71196 | 2147483647 115736 38 | 0.079 % |
72.72/72.86 c | 118883 | 3827 22029 71196 | 2147483647 115912 38 | 0.078 % |
73.02/73.17 c | 119077 | 3827 22029 71196 | 2147483647 116106 38 | 0.078 % |
73.32/73.43 c | 119289 | 3827 22029 71196 | 2147483647 116318 38 | 0.079 % |
73.63/73.71 c | 119522 | 3827 22029 71196 | 2147483647 116551 38 | 0.078 % |
73.92/74.05 c | 119778 | 3827 22029 71196 | 2147483647 116807 38 | 0.079 % |
74.22/74.31 c | 120060 | 3827 22029 71196 | 2147483647 117089 38 | 0.078 % |
74.63/74.73 c | 120369 | 3827 22029 71196 | 2147483647 117398 38 | 0.079 % |
74.92/75.00 c | 120708 | 3827 22029 71196 | 2147483647 117737 38 | 0.078 % |
75.22/75.38 c | 121081 | 3827 22029 71196 | 2147483647 118110 38 | 0.078 % |
75.72/75.83 c | 121490 | 3827 22029 71196 | 2147483647 118519 38 | 0.079 % |
76.32/76.42 c | 121940 | 3827 22029 71196 | 2147483647 118969 38 | 0.079 % |
76.92/77.05 c | 122436 | 3827 22029 71196 | 2147483647 119465 38 | 0.079 % |
77.62/77.76 c | 122979 | 3827 22029 71196 | 2147483647 120008 38 | 0.079 % |
78.42/78.52 c | 123576 | 3827 22029 71196 | 2147483647 120605 38 | 0.079 % |
79.12/79.29 c | 124231 | 3827 22029 71196 | 2147483647 121260 38 | 0.078 % |
80.12/80.22 c | 124952 | 3827 22029 71196 | 2147483647 121981 38 | 0.078 % |
81.42/81.52 c | 125745 | 3827 22029 71196 | 2147483647 122774 38 | 0.078 % |
82.62/82.73 c | 126618 | 3827 22029 71196 | 2147483647 123647 38 | 0.078 % |
83.81/83.91 c | 127577 | 3827 22029 71196 | 2147483647 124606 38 | 0.078 % |
84.92/85.01 c | 128630 | 3827 22029 71196 | 2147483647 125659 38 | 0.079 % |
86.02/86.12 c | 129788 | 3827 22029 71196 | 2147483647 126817 38 | 0.079 % |
88.02/88.12 c | 131062 | 3827 22029 71196 | 127032 108051 37 | 0.078 % |
89.32/89.46 c | 132464 | 3827 22029 71196 | 127032 109453 37 | 0.079 % |
89.42/89.57 c | 132564 | 3827 22029 71196 | 127032 109553 37 | 0.079 % |
89.62/89.70 c | 132675 | 3827 22029 71196 | 127032 109664 37 | 0.079 % |
89.72/89.85 c | 132796 | 3827 22029 71196 | 127032 109785 37 | 0.079 % |
89.82/89.99 c | 132930 | 3827 22029 71196 | 127032 109919 37 | 0.078 % |
90.02/90.14 c | 133077 | 3827 22029 71196 | 127032 110066 37 | 0.078 % |
90.22/90.30 c | 133237 | 3827 22029 71196 | 127032 110226 37 | 0.079 % |
90.42/90.54 c | 133413 | 3827 22029 71196 | 127032 110402 37 | 0.078 % |
90.62/90.76 c | 133606 | 3827 22029 71196 | 127032 110595 37 | 0.078 % |
90.92/91.04 c | 133818 | 3827 22029 71196 | 127032 110807 37 | 0.078 % |
91.12/91.28 c | 134052 | 3827 22029 71196 | 127032 111041 37 | 0.078 % |
91.62/91.73 c | 134309 | 3827 22029 71196 | 127032 111298 37 | 0.079 % |
92.02/92.13 c | 134592 | 3827 22029 71196 | 127032 111581 37 | 0.078 % |
92.32/92.40 c | 134901 | 3827 22029 71196 | 127032 111890 37 | 0.079 % |
92.62/92.73 c | 135240 | 3827 22029 71196 | 127032 112229 37 | 0.079 % |
92.92/93.05 c | 135612 | 3827 22029 71196 | 127032 112601 37 | 0.079 % |
93.42/93.51 c | 136023 | 3827 22029 71196 | 127032 113012 37 | 0.078 % |
94.02/94.11 c | 136473 | 3827 22029 71196 | 127032 113462 37 | 0.079 % |
94.42/94.51 c | 136967 | 3827 22029 71196 | 127032 113956 37 | 0.079 % |
95.12/95.29 c | 137513 | 3827 22029 71196 | 127032 114502 37 | 0.079 % |
95.92/96.10 c | 138109 | 3827 22029 71196 | 127032 115098 37 | 0.079 % |
96.82/96.96 c | 138765 | 3827 22029 71196 | 127032 115754 37 | 0.078 % |
97.82/97.97 c | 139488 | 3827 22029 71196 | 127032 116477 37 | 0.078 % |
98.72/98.81 c | 140281 | 3827 22029 71196 | 116989 117270 37 | 0.079 % |
100.02/100.18 c | 141154 | 3827 22029 71196 | 116989 99466 36 | 0.079 % |
100.91/101.02 c | 142112 | 3827 22029 71196 | 116989 100424 36 | 0.078 % |
101.81/101.93 c | 143165 | 3827 22029 71196 | 116989 101477 36 | 0.078 % |
102.81/102.90 c | 144323 | 3827 22029 71196 | 116989 102635 36 | 0.078 % |
103.91/104.06 c | 145597 | 3827 22029 71196 | 116989 103909 36 | 0.078 % |
105.71/105.81 c | 146997 | 3827 22029 71196 | 116989 105309 36 | 0.079 % |
107.21/107.32 c | 148537 | 3827 22029 71196 | 116989 106849 36 | 0.079 % |
107.31/107.45 c | 148637 | 3827 22029 71196 | 116989 106949 36 | 0.079 % |
107.41/107.53 c | 148749 | 3827 22029 71196 | 116989 107061 36 | 0.078 % |
107.51/107.66 c | 148877 | 3827 22029 71196 | 116989 107189 36 | 0.079 % |
107.72/107.84 c | 149011 | 3827 22029 71196 | 116989 107323 36 | 0.079 % |
108.01/108.12 c | 149157 | 3827 22029 71196 | 116989 107469 36 | 0.079 % |
108.11/108.25 c | 149318 | 3827 22029 71196 | 116989 107630 36 | 0.079 % |
108.31/108.42 c | 149494 | 3827 22029 71196 | 116989 107806 36 | 0.078 % |
108.51/108.60 c | 149687 | 3827 22029 71196 | 116989 107999 36 | 0.078 % |
108.82/108.91 c | 149900 | 3827 22029 71196 | 116989 108212 36 | 0.078 % |
109.01/109.12 c | 150133 | 3827 22029 71196 | 108313 108445 36 | 0.079 % |
109.71/109.84 c | 150390 | 3827 22029 71196 | 108313 90733 35 | 0.078 % |
110.01/110.19 c | 150671 | 3827 22029 71196 | 108313 91014 35 | 0.078 % |
110.31/110.46 c | 150980 | 3827 22029 71196 | 108313 91323 35 | 0.078 % |
110.71/110.83 c | 151319 | 3827 22029 71196 | 108313 91662 35 | 0.078 % |
111.11/111.21 c | 151692 | 3827 22029 71196 | 108313 92035 35 | 0.078 % |
111.51/111.68 c | 152104 | 3827 22029 71196 | 108313 92447 35 | 0.078 % |
112.01/112.13 c | 152553 | 3827 22029 71196 | 108313 92896 35 | 0.079 % |
112.51/112.64 c | 153046 | 3827 22029 71196 | 108313 93389 35 | 0.078 % |
113.11/113.21 c | 153588 | 3827 22029 71196 | 108313 93931 35 | 0.079 % |
113.71/113.86 c | 154184 | 3827 22029 71196 | 108313 94527 35 | 0.079 % |
114.31/114.47 c | 154839 | 3827 22029 71196 | 108313 95182 35 | 0.079 % |
114.91/115.09 c | 155562 | 3827 22029 71196 | 108313 95905 35 | 0.078 % |
115.71/115.85 c | 156354 | 3827 22029 71196 | 108313 96697 35 | 0.079 % |
116.71/116.87 c | 157225 | 3827 22029 71196 | 108313 97568 35 | 0.078 % |
117.91/118.03 c | 158183 | 3827 22029 71196 | 108313 98526 35 | 0.079 % |
119.10/119.20 c | 159238 | 3827 22029 71196 | 108313 99581 35 | 0.078 % |
120.10/120.29 c | 160398 | 3827 22029 71196 | 2147483647 100741 35 | 0.078 % |
121.20/121.39 c | 161673 | 3827 22029 71196 | 2147483647 102016 35 | 0.078 % |
122.70/122.89 c | 163073 | 3827 22029 71196 | 2147483647 103416 35 | 0.078 % |
124.30/124.41 c | 164616 | 3827 22029 71196 | 2147483647 104959 36 | 0.079 % |
125.90/126.05 c | 166311 | 3827 22029 71196 | 2147483647 106654 36 | 0.078 % |
126.00/126.13 c | 166412 | 3827 22029 71196 | 2147483647 106755 36 | 0.078 % |
126.10/126.26 c | 166525 | 3827 22029 71196 | 2147483647 106868 36 | 0.078 % |
126.20/126.40 c | 166646 | 3827 22029 71196 | 2147483647 106989 36 | 0.079 % |
126.40/126.53 c | 166779 | 3827 22029 71196 | 2147483647 107122 36 | 0.079 % |
126.50/126.68 c | 166926 | 3827 22029 71196 | 2147483647 107269 36 | 0.079 % |
126.70/126.87 c | 167087 | 3827 22029 71196 | 2147483647 107430 36 | 0.078 % |
126.90/127.09 c | 167266 | 3827 22029 71196 | 2147483647 107609 36 | 0.079 % |
127.20/127.34 c | 167459 | 3827 22029 71196 | 2147483647 107802 36 | 0.078 % |
127.40/127.58 c | 167671 | 3827 22029 71196 | 2147483647 108014 36 | 0.078 % |
127.60/127.74 c | 167905 | 3827 22029 71196 | 2147483647 108248 36 | 0.078 % |
127.90/128.08 c | 168162 | 3827 22029 71196 | 2147483647 108505 36 | 0.078 % |
128.20/128.38 c | 168445 | 3827 22029 71196 | 2147483647 108788 36 | 0.078 % |
128.50/128.61 c | 168754 | 3827 22029 71196 | 2147483647 109097 36 | 0.079 % |
128.70/128.87 c | 169093 | 3827 22029 71196 | 2147483647 109436 36 | 0.078 % |
129.20/129.35 c | 169466 | 3827 22029 71196 | 2147483647 109809 36 | 0.079 % |
129.60/129.76 c | 169876 | 3827 22029 71196 | 2147483647 110219 36 | 0.078 % |
130.10/130.21 c | 170325 | 3827 22029 71196 | 110343 110668 36 | 0.078 % |
130.80/130.95 c | 170819 | 3827 22029 71196 | 110343 96845 35 | 0.078 % |
131.30/131.46 c | 171361 | 3827 22029 71196 | 110343 97387 35 | 0.078 % |
131.80/131.98 c | 171958 | 3827 22029 71196 | 110343 97984 35 | 0.079 % |
132.40/132.55 c | 172614 | 3827 22029 71196 | 110343 98640 35 | 0.078 % |
133.10/133.27 c | 173334 | 3827 22029 71196 | 110343 99360 35 | 0.079 % |
133.80/133.91 c | 174127 | 3827 22029 71196 | 110343 100153 35 | 0.078 % |
134.40/134.57 c | 174998 | 3827 22029 71196 | 110343 101024 36 | 0.078 % |
135.20/135.40 c | 175956 | 3827 22029 71196 | 110343 101982 36 | 0.079 % |
136.30/136.45 c | 177010 | 3827 22029 71196 | 110343 103036 36 | 0.078 % |
137.10/137.27 c | 178168 | 3827 22029 71196 | 110343 104194 36 | 0.078 % |
138.40/138.52 c | 179445 | 3827 22029 71196 | 110343 105471 36 | 0.078 % |
139.39/139.58 c | 180846 | 3827 22029 71196 | 106027 106872 37 | 0.078 % |
140.89/141.09 c | 182387 | 3827 22029 71196 | 106027 92891 36 | 0.078 % |
142.19/142.32 c | 184084 | 3827 22029 71196 | 106027 94588 36 | 0.078 % |
143.29/143.45 c | 185948 | 3827 22029 71196 | 106027 96452 37 | 0.079 % |
143.39/143.58 c | 186051 | 3827 22029 71196 | 106027 96555 37 | 0.078 % |
143.59/143.79 c | 186163 | 3827 22029 71196 | 106027 96667 37 | 0.079 % |
143.79/143.93 c | 186286 | 3827 22029 71196 | 106027 96790 37 | 0.079 % |
143.90/144.07 c | 186419 | 3827 22029 71196 | 106027 96923 37 | 0.078 % |
144.09/144.22 c | 186568 | 3827 22029 71196 | 106027 97072 37 | 0.079 % |
144.29/144.46 c | 186728 | 3827 22029 71196 | 106027 97232 37 | 0.079 % |
144.49/144.62 c | 186904 | 3827 22029 71196 | 106027 97408 37 | 0.079 % |
144.59/144.78 c | 187097 | 3827 22029 71196 | 106027 97601 37 | 0.079 % |
144.79/144.97 c | 187310 | 3827 22029 71196 | 106027 97814 37 | 0.079 % |
145.09/145.21 c | 187544 | 3827 22029 71196 | 106027 98048 37 | 0.079 % |
145.29/145.45 c | 187800 | 3827 22029 71196 | 106027 98304 37 | 0.079 % |
145.59/145.72 c | 188081 | 3827 22029 71196 | 106027 98585 37 | 0.079 % |
145.89/146.05 c | 188390 | 3827 22029 71196 | 106027 98894 37 | 0.079 % |
146.39/146.53 c | 188730 | 3827 22029 71196 | 106027 99234 37 | 0.078 % |
146.69/146.87 c | 189104 | 3827 22029 71196 | 106027 99608 37 | 0.078 % |
147.09/147.27 c | 189516 | 3827 22029 71196 | 106027 100020 37 | 0.078 % |
147.69/147.81 c | 189965 | 3827 22029 71196 | 106027 100469 37 | 0.079 % |
148.29/148.40 c | 190460 | 3827 22029 71196 | 100506 100964 37 | 0.079 % |
149.39/149.54 c | 191004 | 3827 22029 71196 | 100506 90806 37 | 0.079 % |
149.89/150.08 c | 191601 | 3827 22029 71196 | 100506 91403 37 | 0.079 % |
150.59/150.71 c | 192258 | 3827 22029 71196 | 100506 92060 37 | 0.079 % |
151.09/151.28 c | 192979 | 3827 22029 71196 | 100506 92781 37 | 0.078 % |
151.89/152.03 c | 193771 | 3827 22029 71196 | 100506 93573 37 | 0.079 % |
152.39/152.58 c | 194642 | 3827 22029 71196 | 100506 94444 37 | 0.078 % |
152.99/153.18 c | 195601 | 3827 22029 71196 | 100506 95403 37 | 0.078 % |
153.89/154.05 c | 196655 | 3827 22029 71196 | 100506 96457 37 | 0.079 % |
154.89/155.05 c | 197815 | 3827 22029 71196 | 100506 97617 38 | 0.079 % |
156.19/156.31 c | 199088 | 3827 22029 71196 | 100506 98890 38 | 0.078 % |
157.58/157.79 c | 200488 | 3827 22029 71196 | 99802 100290 38 | 0.079 % |
159.48/159.61 c | 202029 | 3827 22029 71196 | 99802 90646 38 | 0.078 % |
160.88/161.02 c | 203723 | 3827 22029 71196 | 99802 92340 38 | 0.079 % |
162.18/162.37 c | 205587 | 3827 22029 71196 | 99802 94204 38 | 0.078 % |
164.48/164.60 c | 207636 | 3827 22029 71196 | 99802 96253 38 | 0.079 % |
164.48/164.65 c | 207736 | 3827 22029 71196 | 99802 96353 38 | 0.078 % |
164.58/164.71 c | 207847 | 3827 22029 71196 | 99802 96464 38 | 0.078 % |
164.68/164.82 c | 207970 | 3827 22029 71196 | 99802 96587 38 | 0.078 % |
164.79/164.94 c | 208103 | 3827 22029 71196 | 99802 96720 38 | 0.078 % |
164.89/165.07 c | 208249 | 3827 22029 71196 | 99802 96866 38 | 0.079 % |
165.08/165.22 c | 208412 | 3827 22029 71196 | 99802 97029 38 | 0.078 % |
165.28/165.44 c | 208589 | 3827 22029 71196 | 99802 97206 38 | 0.078 % |
165.48/165.69 c | 208782 | 3827 22029 71196 | 99802 97399 38 | 0.079 % |
165.68/165.84 c | 208995 | 3827 22029 71196 | 99802 97612 38 | 0.079 % |
165.88/166.04 c | 209228 | 3827 22029 71196 | 99802 97845 38 | 0.078 % |
166.08/166.23 c | 209484 | 3827 22029 71196 | 99802 98101 38 | 0.078 % |
166.38/166.53 c | 209765 | 3827 22029 71196 | 99802 98382 38 | 0.078 % |
166.68/166.82 c | 210075 | 3827 22029 71196 | 2147483647 98692 38 | 0.079 % |
166.98/167.13 c | 210414 | 3827 22029 71196 | 2147483647 99031 38 | 0.079 % |
167.38/167.51 c | 210786 | 3827 22029 71196 | 2147483647 99403 38 | 0.079 % |
167.68/167.89 c | 211196 | 3827 22029 71196 | 2147483647 99813 38 | 0.079 % |
168.08/168.27 c | 211645 | 3827 22029 71196 | 2147483647 100262 38 | 0.078 % |
168.48/168.65 c | 212139 | 3827 22029 71196 | 2147483647 100756 38 | 0.079 % |
169.08/169.21 c | 212681 | 3827 22029 71196 | 2147483647 101298 38 | 0.078 % |
169.68/169.80 c | 213278 | 3827 22029 71196 | 2147483647 101895 38 | 0.078 % |
170.48/170.63 c | 213933 | 3827 22029 71196 | 2147483647 102550 38 | 0.079 % |
171.48/171.61 c | 214653 | 3827 22029 71196 | 2147483647 103270 38 | 0.079 % |
172.18/172.36 c | 215446 | 3827 22029 71196 | 2147483647 104063 38 | 0.078 % |
172.98/173.19 c | 216318 | 3827 22029 71196 | 2147483647 104935 38 | 0.078 % |
173.88/174.07 c | 217276 | 3827 22029 71196 | 2147483647 105893 38 | 0.079 % |
175.09/175.22 c | 218330 | 3827 22029 71196 | 2147483647 106947 38 | 0.078 % |
176.49/176.65 c | 219488 | 3827 22029 71196 | 2147483647 108105 38 | 0.078 % |
177.39/177.51 c | 220762 | 3827 22029 71196 | 2147483647 109379 39 | 0.078 % |
179.19/179.31 c | 222163 | 3827 22029 71196 | 2147483647 110780 39 | 0.078 % |
180.78/180.95 c | 223703 | 3827 22029 71196 | 2147483647 112320 39 | 0.079 % |
182.68/182.80 c | 225397 | 3827 22029 71196 | 2147483647 114014 39 | 0.078 % |
184.38/184.57 c | 227260 | 3827 22029 71196 | 2147483647 115877 39 | 0.078 % |
186.79/186.97 c | 229309 | 3827 22029 71196 | 2147483647 117926 39 | 0.078 % |
190.28/190.40 c | 231564 | 3827 22029 71196 | 118617 100380 38 | 0.078 % |
190.38/190.53 c | 231666 | 3827 22029 71196 | 118617 100482 38 | 0.079 % |
190.48/190.61 c | 231776 | 3827 22029 71196 | 118617 100592 38 | 0.079 % |
190.58/190.75 c | 231897 | 3827 22029 71196 | 118617 100713 38 | 0.078 % |
190.68/190.88 c | 232030 | 3827 22029 71196 | 118617 100846 38 | 0.078 % |
190.98/191.11 c | 232176 | 3827 22029 71196 | 118617 100992 38 | 0.078 % |
191.08/191.25 c | 232336 | 3827 22029 71196 | 118617 101152 38 | 0.079 % |
191.28/191.43 c | 232513 | 3827 22029 71196 | 118617 101329 38 | 0.079 % |
191.38/191.58 c | 232709 | 3827 22029 71196 | 118617 101525 38 | 0.079 % |
191.68/191.80 c | 232923 | 3827 22029 71196 | 118617 101739 38 | 0.079 % |
191.88/192.03 c | 233158 | 3827 22029 71196 | 118617 101974 38 | 0.079 % |
192.08/192.26 c | 233414 | 3827 22029 71196 | 118617 102230 38 | 0.079 % |
192.48/192.66 c | 233696 | 3827 22029 71196 | 118617 102512 38 | 0.078 % |
192.78/192.91 c | 234005 | 3827 22029 71196 | 118617 102821 38 | 0.078 % |
193.18/193.35 c | 234345 | 3827 22029 71196 | 118617 103161 38 | 0.079 % |
193.58/193.72 c | 234717 | 3827 22029 71196 | 118617 103533 38 | 0.078 % |
193.88/194.05 c | 235126 | 3827 22029 71196 | 118617 103942 38 | 0.079 % |
194.48/194.61 c | 235576 | 3827 22029 71196 | 118617 104392 38 | 0.079 % |
194.88/195.04 c | 236073 | 3827 22029 71196 | 118617 104889 38 | 0.079 % |
195.58/195.77 c | 236615 | 3827 22029 71196 | 118617 105431 38 | 0.079 % |
196.18/196.34 c | 237213 | 3827 22029 71196 | 118617 106029 38 | 0.078 % |
196.98/197.12 c | 237871 | 3827 22029 71196 | 118617 106687 38 | 0.078 % |
197.78/197.97 c | 238592 | 3827 22029 71196 | 118617 107408 39 | 0.078 % |
198.98/199.18 c | 239384 | 3827 22029 71196 | 118617 108200 38 | 0.079 % |
199.78/200.00 c | 240258 | 3827 22029 71196 | 108816 109074 39 | 0.078 % |
201.08/201.25 c | 241216 | 3827 22029 71196 | 108816 95093 39 | 0.079 % |
202.08/202.23 c | 242269 | 3827 22029 71196 | 108816 96146 39 | 0.079 % |
203.18/203.37 c | 243427 | 3827 22029 71196 | 108816 97304 39 | 0.078 % |
204.18/204.33 c | 244702 | 3827 22029 71196 | 108816 98579 39 | 0.079 % |
205.37/205.51 c | 246104 | 3827 22029 71196 | 108816 99981 39 | 0.078 % |
206.77/206.96 c | 247646 | 3827 22029 71196 | 108816 101523 39 | 0.078 % |
208.27/208.43 c | 249340 | 3827 22029 71196 | 108816 103217 39 | 0.079 % |
210.47/210.68 c | 251203 | 3827 22029 71196 | 103878 84906 37 | 0.078 % |
212.77/212.92 c | 253253 | 3827 22029 71196 | 103878 86956 38 | 0.078 % |
215.37/215.57 c | 255507 | 3827 22029 71196 | 103878 89210 38 | 0.078 % |
217.47/217.63 c | 257985 | 3827 22029 71196 | 103878 91688 38 | 0.079 % |
217.57/217.78 c | 258085 | 3827 22029 71196 | 103878 91788 38 | 0.078 % |
217.77/217.97 c | 258196 | 3827 22029 71196 | 103878 91899 38 | 0.079 % |
217.97/218.13 c | 258318 | 3827 22029 71196 | 103878 92021 38 | 0.079 % |
218.07/218.27 c | 258452 | 3827 22029 71196 | 103878 92155 38 | 0.078 % |
218.27/218.41 c | 258600 | 3827 22029 71196 | 103878 92303 38 | 0.079 % |
218.37/218.58 c | 258760 | 3827 22029 71196 | 103878 92463 38 | 0.078 % |
218.57/218.72 c | 258936 | 3827 22029 71196 | 103878 92639 38 | 0.079 % |
218.67/218.88 c | 259129 | 3827 22029 71196 | 103878 92832 38 | 0.078 % |
218.87/219.09 c | 259341 | 3827 22029 71196 | 103878 93044 38 | 0.078 % |
219.17/219.31 c | 259575 | 3827 22029 71196 | 103878 93278 38 | 0.079 % |
219.37/219.59 c | 259831 | 3827 22029 71196 | 103878 93534 38 | 0.079 % |
219.67/219.88 c | 260113 | 3827 22029 71196 | 93703 93816 38 | 0.079 % |
220.17/220.31 c | 260423 | 3827 22029 71196 | 93703 82791 37 | 0.078 % |
220.47/220.60 c | 260762 | 3827 22029 71196 | 93703 83130 37 | 0.079 % |
220.67/220.90 c | 261134 | 3827 22029 71196 | 93703 83502 37 | 0.078 % |
221.07/221.25 c | 261546 | 3827 22029 71196 | 93703 83914 37 | 0.079 % |
221.57/221.74 c | 261996 | 3827 22029 71196 | 93703 84364 37 | 0.079 % |
221.97/222.11 c | 262489 | 3827 22029 71196 | 93703 84857 37 | 0.079 % |
222.46/222.68 c | 263033 | 3827 22029 71196 | 93703 85401 37 | 0.078 % |
223.07/223.22 c | 263630 | 3827 22029 71196 | 93703 85998 37 | 0.079 % |
223.66/223.86 c | 264285 | 3827 22029 71196 | 93703 86653 37 | 0.078 % |
224.27/224.40 c | 265007 | 3827 22029 71196 | 93703 87375 37 | 0.079 % |
225.06/225.24 c | 265800 | 3827 22029 71196 | 93703 88168 37 | 0.079 % |
225.76/225.96 c | 266671 | 3827 22029 71196 | 93703 89039 37 | 0.079 % |
226.66/226.83 c | 267629 | 3827 22029 71196 | 93703 89997 37 | 0.078 % |
227.76/227.96 c | 268683 | 3827 22029 71196 | 93703 91051 37 | 0.078 % |
228.76/228.96 c | 269841 | 3827 22029 71196 | 93703 92209 37 | 0.078 % |
229.96/230.18 c | 271119 | 3827 22029 71196 | 2147483647 93487 37 | 0.079 % |
231.26/231.44 c | 272520 | 3827 22029 71196 | 2147483647 94888 37 | 0.079 % |
233.06/233.24 c | 274060 | 3827 22029 71196 | 2147483647 96428 37 | 0.079 % |
234.66/234.86 c | 275754 | 3827 22029 71196 | 2147483647 98122 37 | 0.079 % |
236.56/236.71 c | 277618 | 3827 22029 71196 | 2147483647 99986 37 | 0.079 % |
238.06/238.21 c | 279667 | 3827 22029 71196 | 2147483647 102035 37 | 0.079 % |
240.56/240.78 c | 281924 | 3827 22029 71196 | 2147483647 104292 37 | 0.079 % |
243.36/243.55 c | 284404 | 3827 22029 71196 | 2147483647 106772 37 | 0.078 % |
246.26/246.46 c | 287129 | 3827 22029 71196 | 2147483647 109497 37 | 0.079 % |
246.35/246.58 c | 287229 | 3827 22029 71196 | 2147483647 109597 37 | 0.079 % |
246.55/246.71 c | 287339 | 3827 22029 71196 | 2147483647 109707 37 | 0.079 % |
246.65/246.84 c | 287460 | 3827 22029 71196 | 2147483647 109828 37 | 0.078 % |
246.75/246.99 c | 287593 | 3827 22029 71196 | 2147483647 109961 37 | 0.078 % |
246.95/247.16 c | 287744 | 3827 22029 71196 | 2147483647 110112 37 | 0.079 % |
247.15/247.36 c | 287904 | 3827 22029 71196 | 2147483647 110272 37 | 0.079 % |
247.36/247.56 c | 288080 | 3827 22029 71196 | 2147483647 110448 37 | 0.078 % |
247.65/247.89 c | 288273 | 3827 22029 71196 | 2147483647 110641 37 | 0.079 % |
247.95/248.16 c | 288485 | 3827 22029 71196 | 2147483647 110853 37 | 0.078 % |
248.15/248.35 c | 288720 | 3827 22029 71196 | 2147483647 111088 37 | 0.079 % |
248.46/248.65 c | 288978 | 3827 22029 71196 | 2147483647 111346 37 | 0.078 % |
248.75/248.91 c | 289259 | 3827 22029 71196 | 2147483647 111627 37 | 0.078 % |
248.95/249.18 c | 289569 | 3827 22029 71196 | 2147483647 111937 37 | 0.078 % |
249.45/249.63 c | 289911 | 3827 22029 71196 | 2147483647 112279 37 | 0.079 % |
249.95/250.11 c | 290283 | 3827 22029 71196 | 112371 112651 37 | 0.079 % |
250.85/251.02 c | 290694 | 3827 22029 71196 | 112371 95071 36 | 0.078 % |
251.35/251.55 c | 291143 | 3827 22029 71196 | 112371 95520 36 | 0.079 % |
251.95/252.16 c | 291638 | 3827 22029 71196 | 112371 96015 36 | 0.079 % |
252.65/252.84 c | 292181 | 3827 22029 71196 | 112371 96558 36 | 0.079 % |
253.25/253.44 c | 292777 | 3827 22029 71196 | 112371 97154 36 | 0.078 % |
253.75/253.92 c | 293432 | 3827 22029 71196 | 112371 97809 37 | 0.078 % |
254.45/254.62 c | 294153 | 3827 22029 71196 | 112371 98530 37 | 0.078 % |
255.25/255.47 c | 294945 | 3827 22029 71196 | 112371 99322 37 | 0.078 % |
256.35/256.57 c | 295819 | 3827 22029 71196 | 112371 100196 37 | 0.078 % |
257.15/257.33 c | 296778 | 3827 22029 71196 | 112371 101155 37 | 0.078 % |
257.75/257.99 c | 297831 | 3827 22029 71196 | 112371 102208 38 | 0.078 % |
258.55/258.71 c | 298989 | 3827 22029 71196 | 112371 103366 38 | 0.078 % |
259.15/259.32 c | 300264 | 3827 22029 71196 | 104377 104641 39 | 0.078 % |
260.05/260.23 c | 301668 | 3827 22029 71196 | 104377 93408 39 | 0.078 % |
261.65/261.81 c | 303209 | 3827 22029 71196 | 104377 94949 39 | 0.078 % |
263.35/263.52 c | 304903 | 3827 22029 71196 | 104377 96643 39 | 0.078 % |
265.24/265.45 c | 306768 | 3827 22029 71196 | 104377 98508 40 | 0.078 % |
267.24/267.40 c | 308817 | 3827 22029 71196 | 104377 100557 40 | 0.078 % |
269.54/269.73 c | 311070 | 3827 22029 71196 | 2147483647 102810 40 | 0.078 % |
271.24/271.48 c | 313549 | 3827 22029 71196 | 2147483647 105289 40 | 0.078 % |
274.14/274.37 c | 316275 | 3827 22029 71196 | 2147483647 108015 40 | 0.079 % |
277.14/277.36 c | 319273 | 3827 22029 71196 | 2147483647 111013 40 | 0.078 % |
277.24/277.46 c | 319373 | 3827 22029 71196 | 2147483647 111113 40 | 0.079 % |
277.34/277.58 c | 319483 | 3827 22029 71196 | 2147483647 111223 40 | 0.079 % |
277.54/277.76 c | 319605 | 3827 22029 71196 | 2147483647 111345 40 | 0.078 % |
277.74/277.94 c | 319740 | 3827 22029 71196 | 2147483647 111480 40 | 0.079 % |
277.84/278.09 c | 319887 | 3827 22029 71196 | 2147483647 111627 40 | 0.078 % |
278.04/278.26 c | 320047 | 3827 22029 71196 | 111742 111787 40 | 0.078 % |
278.74/278.98 c | 320223 | 3827 22029 71196 | 111742 95692 40 | 0.079 % |
278.94/279.16 c | 320417 | 3827 22029 71196 | 111742 95886 40 | 0.078 % |
279.24/279.44 c | 320629 | 3827 22029 71196 | 111742 96098 40 | 0.079 % |
279.54/279.72 c | 320863 | 3827 22029 71196 | 111742 96332 40 | 0.079 % |
279.84/280.05 c | 321119 | 3827 22029 71196 | 111742 96588 40 | 0.078 % |
280.14/280.31 c | 321401 | 3827 22029 71196 | 111742 96870 40 | 0.079 % |
280.44/280.69 c | 321710 | 3827 22029 71196 | 111742 97179 40 | 0.079 % |
280.84/281.09 c | 322049 | 3827 22029 71196 | 111742 97518 40 | 0.078 % |
281.14/281.35 c | 322422 | 3827 22029 71196 | 111742 97891 40 | 0.079 % |
281.44/281.64 c | 322833 | 3827 22029 71196 | 111742 98302 40 | 0.079 % |
281.74/281.97 c | 323282 | 3827 22029 71196 | 111742 98751 40 | 0.079 % |
282.04/282.28 c | 323779 | 3827 22029 71196 | 111742 99248 40 | 0.079 % |
282.44/282.68 c | 324321 | 3827 22029 71196 | 111742 99790 40 | 0.079 % |
282.94/283.12 c | 324917 | 3827 22029 71196 | 111742 100386 40 | 0.078 % |
283.44/283.63 c | 325574 | 3827 22029 71196 | 111742 101043 41 | 0.079 % |
284.34/284.51 c | 326294 | 3827 22029 71196 | 111742 101763 40 | 0.079 % |
285.24/285.46 c | 327087 | 3827 22029 71196 | 111742 102556 40 | 0.079 % |
286.04/286.26 c | 327960 | 3827 22029 71196 | 111742 103429 40 | 0.079 % |
286.95/287.18 c | 328918 | 3827 22029 71196 | 111742 104387 41 | 0.078 % |
288.15/288.36 c | 329973 | 3827 22029 71196 | 111742 105442 41 | 0.078 % |
289.74/289.92 c | 331133 | 3827 22029 71196 | 105469 89883 40 | 0.078 % |
290.94/291.10 c | 332407 | 3827 22029 71196 | 105469 91157 40 | 0.078 % |
292.35/292.56 c | 333808 | 3827 22029 71196 | 105469 92558 40 | 0.078 % |
294.04/294.29 c | 335348 | 3827 22029 71196 | 105469 94098 40 | 0.078 % |
295.75/295.91 c | 337044 | 3827 22029 71196 | 105469 95794 40 | 0.079 % |
297.44/297.66 c | 338909 | 3827 22029 71196 | 105469 97659 40 | 0.079 % |
299.24/299.41 c | 340958 | 3827 22029 71196 | 98752 99708 40 | 0.078 % |
301.24/301.49 c | 343211 | 3827 22029 71196 | 98752 86034 41 | 0.079 % |
303.84/304.01 c | 345689 | 3827 22029 71196 | 98752 88512 41 | 0.078 % |
306.74/306.90 c | 348414 | 3827 22029 71196 | 98752 91237 41 | 0.079 % |
310.44/310.62 c | 351411 | 3827 22029 71196 | 2147483647 94234 41 | 0.079 % |
314.84/315.08 c | 354708 | 3827 22029 71196 | 2147483647 97531 41 | 0.078 % |
315.03/315.21 c | 354809 | 3827 22029 71196 | 2147483647 97632 41 | 0.078 % |
315.13/315.36 c | 354919 | 3827 22029 71196 | 2147483647 97742 41 | 0.079 % |
315.33/315.52 c | 355040 | 3827 22029 71196 | 2147483647 97863 41 | 0.078 % |
315.54/315.71 c | 355173 | 3827 22029 71196 | 2147483647 97996 41 | 0.079 % |
315.73/315.91 c | 355320 | 3827 22029 71196 | 2147483647 98143 41 | 0.078 % |
315.93/316.15 c | 355481 | 3827 22029 71196 | 2147483647 98304 41 | 0.079 % |
316.23/316.41 c | 355657 | 3827 22029 71196 | 2147483647 98480 41 | 0.078 % |
316.33/316.56 c | 355851 | 3827 22029 71196 | 2147483647 98674 41 | 0.079 % |
316.64/316.83 c | 356063 | 3827 22029 71196 | 2147483647 98886 41 | 0.078 % |
316.93/317.18 c | 356300 | 3827 22029 71196 | 2147483647 99123 41 | 0.079 % |
317.23/317.40 c | 356557 | 3827 22029 71196 | 2147483647 99380 41 | 0.079 % |
317.64/317.81 c | 356839 | 3827 22029 71196 | 2147483647 99662 41 | 0.079 % |
317.83/318.06 c | 357148 | 3827 22029 71196 | 2147483647 99971 41 | 0.078 % |
318.23/318.44 c | 357487 | 3827 22029 71196 | 2147483647 100310 41 | 0.078 % |
318.63/318.88 c | 357859 | 3827 22029 71196 | 2147483647 100682 41 | 0.078 % |
319.03/319.26 c | 358269 | 3827 22029 71196 | 2147483647 101092 41 | 0.079 % |
319.53/319.76 c | 358719 | 3827 22029 71196 | 2147483647 101542 41 | 0.078 % |
320.13/320.30 c | 359213 | 3827 22029 71196 | 2147483647 102036 41 | 0.078 % |
320.63/320.84 c | 359755 | 3827 22029 71196 | 2147483647 102578 41 | 0.079 % |
321.13/321.35 c | 360354 | 3827 22029 71196 | 2147483647 103177 41 | 0.079 % |
321.93/322.14 c | 361013 | 3827 22029 71196 | 2147483647 103836 41 | 0.078 % |
322.63/322.85 c | 361735 | 3827 22029 71196 | 2147483647 104558 41 | 0.079 % |
323.53/323.73 c | 362528 | 3827 22029 71196 | 2147483647 105351 41 | 0.079 % |
324.63/324.80 c | 363401 | 3827 22029 71196 | 2147483647 106224 41 | 0.079 % |
325.83/326.00 c | 364359 | 3827 22029 71196 | 2147483647 107182 41 | 0.078 % |
327.03/327.26 c | 365412 | 3827 22029 71196 | 2147483647 108235 41 | 0.078 % |
328.53/328.76 c | 366570 | 3827 22029 71196 | 2147483647 109393 41 | 0.078 % |
329.63/329.83 c | 367844 | 3827 22029 71196 | 2147483647 110667 42 | 0.079 % |
331.13/331.32 c | 369244 | 3827 22029 71196 | 2147483647 112067 42 | 0.078 % |
332.53/332.75 c | 370785 | 3827 22029 71196 | 112828 113608 42 | 0.079 % |
334.53/334.78 c | 372480 | 3827 22029 71196 | 112828 96452 43 | 0.079 % |
336.22/336.43 c | 374343 | 3827 22029 71196 | 112828 98315 43 | 0.079 % |
337.92/338.16 c | 376393 | 3827 22029 71196 | 112828 100365 43 | 0.078 % |
339.92/340.13 c | 378646 | 3827 22029 71196 | 112828 102618 43 | 0.078 % |
342.72/342.99 c | 381124 | 3827 22029 71196 | 103972 93805 40 | 0.078 % |
345.72/345.95 c | 383853 | 3827 22029 71196 | 103972 96534 40 | 0.079 % |
348.62/348.81 c | 386852 | 3827 22029 71196 | 103972 99533 40 | 0.078 % |
351.92/352.19 c | 390149 | 3827 22029 71196 | 2147483647 102830 41 | 0.079 % |
356.82/357.05 c | 393775 | 3827 22029 71196 | 2147483647 106456 41 | 0.078 % |
356.92/357.19 c | 393875 | 3827 22029 71196 | 2147483647 106556 41 | 0.078 % |
357.12/357.36 c | 393985 | 3827 22029 71196 | 2147483647 106666 41 | 0.079 % |
357.22/357.49 c | 394107 | 3827 22029 71196 | 2147483647 106788 41 | 0.078 % |
357.42/357.66 c | 394240 | 3827 22029 71196 | 2147483647 106921 41 | 0.078 % |
357.52/357.80 c | 394386 | 3827 22029 71196 | 2147483647 107067 41 | 0.078 % |
357.72/357.98 c | 394546 | 3827 22029 71196 | 2147483647 107227 41 | 0.079 % |
357.92/358.18 c | 394724 | 3827 22029 71196 | 2147483647 107405 41 | 0.079 % |
358.12/358.38 c | 394917 | 3827 22029 71196 | 2147483647 107598 41 | 0.078 % |
358.42/358.64 c | 395130 | 3827 22029 71196 | 2147483647 107811 41 | 0.078 % |
358.62/358.85 c | 395365 | 3827 22029 71196 | 2147483647 108046 41 | 0.078 % |
358.82/359.05 c | 395622 | 3827 22029 71196 | 2147483647 108303 41 | 0.079 % |
359.02/359.30 c | 395903 | 3827 22029 71196 | 2147483647 108584 41 | 0.079 % |
359.32/359.59 c | 396212 | 3827 22029 71196 | 2147483647 108893 41 | 0.078 % |
359.72/359.94 c | 396553 | 3827 22029 71196 | 2147483647 109234 41 | 0.078 % |
360.02/360.28 c | 396925 | 3827 22029 71196 | 2147483647 109606 41 | 0.079 % |
360.52/360.73 c | 397335 | 3827 22029 71196 | 2147483647 110016 41 | 0.079 % |
361.02/361.21 c | 397785 | 3827 22029 71196 | 2147483647 110466 41 | 0.079 % |
361.51/361.76 c | 398278 | 3827 22029 71196 | 2147483647 110959 41 | 0.079 % |
362.11/362.39 c | 398824 | 3827 22029 71196 | 2147483647 111505 41 | 0.078 % |
362.91/363.14 c | 399420 | 3827 22029 71196 | 2147483647 112101 41 | 0.078 % |
363.51/363.76 c | 400075 | 3827 22029 71196 | 2147483647 112756 41 | 0.078 % |
364.51/364.70 c | 400795 | 3827 22029 71196 | 2147483647 113476 41 | 0.079 % |
365.31/365.58 c | 401588 | 3827 22029 71196 | 2147483647 114269 41 | 0.078 % |
366.21/366.44 c | 402462 | 3827 22029 71196 | 2147483647 115143 41 | 0.079 % |
367.22/367.41 c | 403421 | 3827 22029 71196 | 2147483647 116102 41 | 0.078 % |
368.51/368.70 c | 404475 | 3827 22029 71196 | 2147483647 117156 41 | 0.078 % |
369.91/370.14 c | 405633 | 3827 22029 71196 | 2147483647 118314 41 | 0.078 % |
371.51/371.77 c | 406907 | 3827 22029 71196 | 2147483647 119588 41 | 0.078 % |
373.11/373.37 c | 408311 | 3827 22029 71196 | 2147483647 120992 41 | 0.079 % |
374.81/375.07 c | 409851 | 3827 22029 71196 | 2147483647 122532 41 | 0.079 % |
377.31/377.50 c | 411545 | 3827 22029 71196 | 122681 107260 40 | 0.078 % |
379.51/379.76 c | 413408 | 3827 22029 71196 | 122681 109123 40 | 0.079 % |
381.71/381.95 c | 415458 | 3827 22029 71196 | 122681 111173 40 | 0.078 % |
383.30/383.57 c | 417711 | 3827 22029 71196 | 122681 113426 40 | 0.078 % |
386.50/386.78 c | 420190 | 3827 22029 71196 | 115715 115905 40 | 0.079 % |
390.00/390.21 c | 422916 | 3827 22029 71196 | 115715 104828 39 | 0.078 % |
393.10/393.37 c | 425914 | 3826 22020 71176 | 115715 107824 39 | 0.105 % |
396.20/396.45 c | 429211 | 3826 22020 71176 | 115715 111121 40 | 0.104 % |
400.60/400.86 c | 432836 | 3826 22020 71176 | 111910 101943 40 | 0.104 % |
404.00/404.24 c | 436826 | 3826 22020 71176 | 111910 105933 40 | 0.104 % |
404.10/404.32 c | 436928 | 3826 22020 71176 | 111910 106035 40 | 0.104 % |
404.10/404.39 c | 437038 | 3826 22020 71176 | 111910 106145 40 | 0.104 % |
404.30/404.54 c | 437159 | 3826 22020 71176 | 111910 106266 40 | 0.105 % |
404.50/404.72 c | 437293 | 3826 22020 71176 | 111910 106400 40 | 0.105 % |
404.70/404.90 c | 437439 | 3826 22020 71176 | 111910 106546 40 | 0.104 % |
404.80/405.07 c | 437599 | 3826 22020 71176 | 111910 106706 40 | 0.104 % |
405.00/405.27 c | 437775 | 3826 22020 71176 | 111910 106882 40 | 0.105 % |
405.20/405.48 c | 437968 | 3826 22020 71176 | 111910 107075 40 | 0.105 % |
405.50/405.71 c | 438181 | 3826 22020 71176 | 111910 107288 40 | 0.104 % |
405.80/406.04 c | 438414 | 3826 22020 71176 | 111910 107521 40 | 0.104 % |
406.10/406.32 c | 438671 | 3826 22020 71176 | 111910 107778 40 | 0.104 % |
406.40/406.69 c | 438953 | 3826 22020 71176 | 111910 108060 40 | 0.104 % |
406.80/407.03 c | 439265 | 3826 22020 71176 | 111910 108372 40 | 0.105 % |
407.30/407.53 c | 439604 | 3826 22020 71176 | 111910 108711 40 | 0.104 % |
407.90/408.11 c | 439976 | 3826 22020 71176 | 111910 109083 40 | 0.105 % |
408.30/408.53 c | 440385 | 3826 22020 71176 | 109108 109492 40 | 0.104 % |
409.00/409.24 c | 440836 | 3826 22020 71176 | 109108 95299 40 | 0.105 % |
409.60/409.82 c | 441331 | 3826 22020 71176 | 109108 95794 40 | 0.105 % |
410.20/410.49 c | 441874 | 3826 22020 71176 | 109108 96337 40 | 0.105 % |
411.00/411.21 c | 442470 | 3826 22020 71176 | 109108 96933 40 | 0.104 % |
411.60/411.88 c | 443126 | 3826 22020 71176 | 109108 97589 40 | 0.104 % |
412.20/412.47 c | 443847 | 3826 22020 71176 | 109108 98310 40 | 0.105 % |
413.40/413.65 c | 444641 | 3826 22020 71176 | 109108 99104 40 | 0.104 % |
414.09/414.33 c | 445514 | 3826 22020 71176 | 109108 99977 40 | 0.105 % |
414.79/415.09 c | 446472 | 3826 22020 71176 | 109108 100935 40 | 0.105 % |
415.89/416.15 c | 447527 | 3826 22020 71176 | 109108 101990 40 | 0.105 % |
417.29/417.59 c | 448686 | 3826 22020 71176 | 109108 103149 40 | 0.105 % |
418.39/418.66 c | 449960 | 3826 22020 71176 | 109108 104423 40 | 0.104 % |
420.19/420.47 c | 451361 | 3826 22020 71176 | 104463 90925 39 | 0.104 % |
421.59/421.81 c | 452902 | 3826 22020 71176 | 104463 92466 39 | 0.104 % |
423.09/423.36 c | 454597 | 3826 22020 71176 | 104463 94161 40 | 0.104 % |
425.49/425.71 c | 456461 | 3826 22020 71176 | 104463 96025 39 | 0.105 % |
427.59/427.86 c | 458511 | 3826 22020 71176 | 104463 98075 39 | 0.104 % |
429.59/429.88 c | 460768 | 3826 22020 71176 | 2147483647 100332 39 | 0.105 % |
431.49/431.72 c | 463246 | 3826 22020 71176 | 2147483647 102810 40 | 0.104 % |
434.49/434.73 c | 465971 | 3826 22020 71176 | 2147483647 105535 40 | 0.104 % |
437.18/437.47 c | 468970 | 3826 22020 71176 | 2147483647 108534 40 | 0.105 % |
440.98/441.23 c | 472267 | 3826 22020 71176 | 109564 98443 40 | 0.105 % |
445.30/445.51 c | 475894 | 3826 22020 71176 | 109564 102070 40 | 0.105 % |
449.79/450.09 c | 479882 | 3826 22020 71176 | 109564 106058 40 | 0.105 % |
453.89/454.18 c | 484270 | 3826 22020 71176 | 2147483647 110446 40 | 0.104 % |
454.09/454.38 c | 484371 | 3826 22020 71176 | 2147483647 110547 40 | 0.105 % |
454.29/454.55 c | 484481 | 3826 22020 71176 | 2147483647 110657 40 | 0.104 % |
454.49/454.73 c | 484602 | 3826 22020 71176 | 2147483647 110778 40 | 0.104 % |
454.59/454.85 c | 484735 | 3826 22020 71176 | 2147483647 110911 40 | 0.104 % |
454.79/455.00 c | 484881 | 3826 22020 71176 | 2147483647 111057 40 | 0.104 % |
454.89/455.19 c | 485041 | 3826 22020 71176 | 2147483647 111217 40 | 0.105 % |
455.09/455.39 c | 485218 | 3826 22020 71176 | 2147483647 111394 40 | 0.105 % |
455.39/455.64 c | 485414 | 3826 22020 71176 | 2147483647 111590 40 | 0.105 % |
455.69/455.91 c | 485627 | 3826 22020 71176 | 2147483647 111803 40 | 0.104 % |
455.89/456.16 c | 485862 | 3826 22020 71176 | 2147483647 112038 40 | 0.105 % |
456.29/456.53 c | 486118 | 3826 22020 71176 | 2147483647 112294 40 | 0.104 % |
456.59/456.85 c | 486399 | 3826 22020 71176 | 2147483647 112575 40 | 0.105 % |
456.99/457.22 c | 486708 | 3826 22020 71176 | 2147483647 112884 40 | 0.104 % |
457.39/457.62 c | 487047 | 3826 22020 71176 | 2147483647 113223 40 | 0.104 % |
457.79/458.00 c | 487420 | 3826 22020 71176 | 2147483647 113596 40 | 0.105 % |
458.09/458.37 c | 487831 | 3826 22020 71176 | 2147483647 114007 40 | 0.104 % |
458.69/458.91 c | 488280 | 3826 22020 71176 | 2147483647 114456 40 | 0.105 % |
459.09/459.35 c | 488773 | 3826 22020 71176 | 2147483647 114949 40 | 0.104 % |
459.89/460.19 c | 489315 | 3826 22020 71176 | 2147483647 115491 40 | 0.105 % |
460.59/460.80 c | 489912 | 3826 22020 71176 | 2147483647 116088 40 | 0.104 % |
461.29/461.50 c | 490567 | 3826 22020 71176 | 116178 116743 40 | 0.105 % |
462.39/462.67 c | 491287 | 3826 22020 71176 | 116178 102722 40 | 0.105 % |
463.19/463.43 c | 492080 | 3826 22020 71176 | 116178 103515 40 | 0.104 % |
464.09/464.39 c | 492952 | 3826 22020 71176 | 116178 104387 40 | 0.105 % |
464.99/465.24 c | 493910 | 3826 22020 71176 | 116178 105345 40 | 0.105 % |
465.78/466.06 c | 494963 | 3826 22020 71176 | 116178 106398 40 | 0.104 % |
467.08/467.31 c | 496121 | 3826 22020 71176 | 116178 107556 40 | 0.104 % |
468.39/468.60 c | 497394 | 3826 22020 71176 | 116178 108829 40 | 0.104 % |
469.58/469.81 c | 498794 | 3826 22020 71176 | 116178 110229 40 | 0.104 % |
471.38/471.61 c | 500338 | 3826 22020 71176 | 111437 111773 40 | 0.105 % |
473.48/473.74 c | 502032 | 3826 22020 71176 | 111437 100316 39 | 0.104 % |
475.28/475.52 c | 503896 | 3826 22020 71176 | 111437 102180 39 | 0.105 % |
477.88/478.15 c | 505946 | 3826 22020 71176 | 111437 104230 39 | 0.105 % |
480.68/480.93 c | 508199 | 3826 22020 71176 | 111437 106483 39 | 0.104 % |
483.08/483.39 c | 510681 | 3826 22020 71176 | 108284 108965 39 | 0.104 % |
486.37/486.69 c | 513406 | 3826 22020 71176 | 108284 94409 38 | 0.105 % |
489.97/490.22 c | 516404 | 3826 22020 71176 | 108284 97407 38 | 0.105 % |
493.68/493.94 c | 519701 | 3826 22020 71176 | 108284 100704 38 | 0.105 % |
497.47/497.76 c | 523328 | 3826 22020 71176 | 2147483647 104331 38 | 0.105 % |
502.67/502.96 c | 527315 | 3826 22020 71176 | 2147483647 108318 38 | 0.104 % |
507.67/507.96 c | 531700 | 3826 22020 71176 | 111004 95501 36 | 0.105 % |
512.37/512.69 c | 536526 | 3826 22020 71176 | 111004 100327 36 | 0.104 % |
512.57/512.83 c | 536628 | 3826 22020 71176 | 111004 100429 36 | 0.105 % |
512.67/512.97 c | 536740 | 3826 22020 71176 | 111004 100541 36 | 0.104 % |
512.77/513.04 c | 536861 | 3826 22020 71176 | 111004 100662 36 | 0.105 % |
512.87/513.16 c | 536997 | 3826 22020 71176 | 111004 100798 36 | 0.104 % |
513.07/513.34 c | 537143 | 3826 22020 71176 | 111004 100944 36 | 0.105 % |
513.17/513.47 c | 537306 | 3826 22020 71176 | 111004 101107 36 | 0.104 % |
513.37/513.61 c | 537483 | 3826 22020 71176 | 111004 101284 36 | 0.104 % |
513.57/513.82 c | 537679 | 3826 22020 71176 | 111004 101480 36 | 0.104 % |
513.87/514.13 c | 537892 | 3826 22020 71176 | 111004 101693 36 | 0.104 % |
514.17/514.50 c | 538125 | 3826 22020 71176 | 111004 101926 36 | 0.104 % |
514.57/514.80 c | 538383 | 3826 22020 71176 | 111004 102184 36 | 0.105 % |
514.87/515.17 c | 538664 | 3826 22020 71176 | 111004 102465 36 | 0.104 % |
515.27/515.54 c | 538973 | 3826 22020 71176 | 111004 102774 36 | 0.104 % |
515.57/515.82 c | 539313 | 3826 22020 71176 | 111004 103114 36 | 0.104 % |
515.87/516.16 c | 539685 | 3826 22020 71176 | 111004 103486 36 | 0.104 % |
516.37/516.61 c | 540094 | 3826 22020 71176 | 103801 103895 36 | 0.104 % |
517.37/517.68 c | 540545 | 3825 22011 71156 | 103801 91967 36 | 0.131 % |
517.87/518.19 c | 541039 | 3825 22011 71156 | 103801 92461 36 | 0.131 % |
518.26/518.53 c | 541582 | 3825 22011 71156 | 103801 93004 36 | 0.131 % |
519.07/519.30 c | 542181 | 3825 22011 71156 | 103801 93603 36 | 0.131 % |
519.86/520.17 c | 542841 | 3825 22011 71156 | 103801 94263 36 | 0.131 % |
520.96/521.24 c | 543562 | 3825 22011 71156 | 103801 94984 36 | 0.131 % |
521.66/521.91 c | 544354 | 3825 22011 71156 | 103801 95776 36 | 0.131 % |
522.66/522.91 c | 545225 | 3825 22011 71156 | 103801 96647 36 | 0.131 % |
523.56/523.89 c | 546185 | 3825 22011 71156 | 103801 97607 36 | 0.131 % |
524.86/525.17 c | 547238 | 3825 22011 71156 | 103801 98660 36 | 0.131 % |
526.06/526.36 c | 548396 | 3825 22011 71156 | 103801 99818 36 | 0.131 % |
527.16/527.46 c | 549669 | 3825 22011 71156 | 103801 101091 36 | 0.131 % |
528.77/529.00 c | 551072 | 3825 22011 71156 | 101422 88414 35 | 0.131 % |
530.26/530.55 c | 552613 | 3825 22011 71156 | 101422 89955 35 | 0.131 % |
532.17/532.41 c | 554307 | 3825 22011 71156 | 101422 91649 35 | 0.131 % |
533.56/533.89 c | 556170 | 3825 22011 71156 | 101422 93512 35 | 0.131 % |
535.66/535.96 c | 558220 | 3825 22011 71156 | 101422 95562 35 | 0.131 % |
538.36/538.62 c | 560475 | 3825 22011 71156 | 2147483647 97817 36 | 0.131 % |
541.26/541.57 c | 562953 | 3825 22011 71156 | 2147483647 100295 36 | 0.131 % |
544.16/544.48 c | 565680 | 3825 22011 71156 | 2147483647 103022 36 | 0.131 % |
547.66/547.93 c | 568677 | 3825 22011 71156 | 2147483647 106019 36 | 0.131 % |
552.16/552.41 c | 571973 | 3825 22011 71156 | 107345 91891 36 | 0.131 % |
555.95/556.22 c | 575599 | 3825 22011 71156 | 107345 95517 36 | 0.131 % |
559.95/560.24 c | 579586 | 3825 22011 71156 | 107345 99504 35 | 0.131 % |
563.96/564.23 c | 583974 | 3825 22011 71156 | 99921 89671 35 | 0.131 % |
568.15/568.41 c | 588797 | 3825 22011 71156 | 99921 94494 36 | 0.131 % |
573.15/573.44 c | 594106 | 3825 22011 71156 | 2147483647 99803 36 | 0.131 % |
573.25/573.55 c | 594206 | 3825 22011 71156 | 2147483647 99903 36 | 0.131 % |
573.35/573.68 c | 594316 | 3825 22011 71156 | 2147483647 100013 36 | 0.131 % |
573.55/573.84 c | 594437 | 3825 22011 71156 | 2147483647 100134 36 | 0.131 % |
573.65/573.95 c | 594570 | 3825 22011 71156 | 2147483647 100267 36 | 0.131 % |
573.85/574.18 c | 594716 | 3825 22011 71156 | 2147483647 100413 36 | 0.131 % |
574.05/574.39 c | 594876 | 3825 22011 71156 | 2147483647 100573 36 | 0.131 % |
574.35/574.68 c | 595053 | 3825 22011 71156 | 2147483647 100750 36 | 0.131 % |
574.65/574.93 c | 595246 | 3825 22011 71156 | 2147483647 100943 36 | 0.131 % |
574.85/575.11 c | 595458 | 3825 22011 71156 | 2147483647 101155 36 | 0.131 % |
575.15/575.46 c | 595693 | 3825 22011 71156 | 2147483647 101390 36 | 0.131 % |
575.45/575.76 c | 595949 | 3825 22011 71156 | 2147483647 101646 36 | 0.131 % |
575.85/576.19 c | 596232 | 3825 22011 71156 | 2147483647 101929 36 | 0.131 % |
576.15/576.46 c | 596541 | 3825 22011 71156 | 2147483647 102238 36 | 0.131 % |
576.55/576.82 c | 596880 | 3825 22011 71156 | 2147483647 102577 36 | 0.131 % |
576.95/577.23 c | 597254 | 3825 22011 71156 | 2147483647 102951 36 | 0.131 % |
577.25/577.56 c | 597667 | 3825 22011 71156 | 2147483647 103364 36 | 0.131 % |
577.85/578.13 c | 598118 | 3825 22011 71156 | 2147483647 103815 36 | 0.131 % |
578.25/578.54 c | 598615 | 3825 22011 71156 | 2147483647 104312 36 | 0.131 % |
578.75/579.02 c | 599157 | 3825 22011 71156 | 2147483647 104854 36 | 0.131 % |
579.35/579.64 c | 599753 | 3825 22011 71156 | 2147483647 105450 36 | 0.131 % |
580.15/580.42 c | 600408 | 3825 22011 71156 | 2147483647 106105 36 | 0.131 % |
580.94/581.22 c | 601128 | 3825 22011 71156 | 2147483647 106825 36 | 0.131 % |
581.44/581.75 c | 601921 | 3825 22011 71156 | 2147483647 107618 36 | 0.131 % |
582.04/582.38 c | 602792 | 3825 22011 71156 | 2147483647 108489 36 | 0.131 % |
582.75/583.06 c | 603752 | 3825 22011 71156 | 2147483647 109449 37 | 0.131 % |
583.34/583.63 c | 604806 | 3825 22011 71156 | 2147483647 110503 37 | 0.131 % |
583.94/584.26 c | 605964 | 3825 22011 71156 | 2147483647 111661 37 | 0.131 % |
585.24/585.53 c | 607238 | 3825 22011 71156 | 2147483647 112935 37 | 0.131 % |
586.54/586.87 c | 608642 | 3825 22011 71156 | 2147483647 114339 37 | 0.131 % |
587.64/587.92 c | 610184 | 3825 22011 71156 | 2147483647 115881 38 | 0.131 % |
589.35/589.66 c | 611878 | 3825 22011 71156 | 2147483647 117575 38 | 0.131 % |
591.54/591.83 c | 613743 | 3825 22011 71156 | 2147483647 119440 38 | 0.131 % |
594.64/594.99 c | 615792 | 3825 22011 71156 | 2147483647 121489 38 | 0.131 % |
596.94/597.26 c | 618046 | 3824 22002 71136 | 2147483647 123741 38 | 0.157 % |
600.24/600.58 c | 620524 | 3824 22002 71136 | 125695 126219 38 | 0.157 % |
604.04/604.30 c | 623251 | 3824 22002 71136 | 125695 115560 38 | 0.157 % |
606.84/607.15 c | 626248 | 3824 22002 71136 | 125695 118557 38 | 0.157 % |
610.43/610.75 c | 629544 | 3824 22002 71136 | 125695 121853 38 | 0.157 % |
615.23/615.54 c | 633169 | 3824 22002 71136 | 122310 103945 38 | 0.157 % |
620.23/620.60 c | 637156 | 3824 22002 71136 | 122310 107932 38 | 0.157 % |
626.73/627.02 c | 641541 | 3824 22002 71136 | 110776 93778 37 | 0.157 % |
631.23/631.52 c | 646364 | 3824 22002 71136 | 110776 98601 37 | 0.157 % |
637.73/638.05 c | 651669 | 3824 22002 71136 | 102237 91293 37 | 0.157 % |
644.02/644.34 c | 657504 | 3824 22002 71136 | 102237 97128 37 | 0.157 % |
644.12/644.44 c | 657605 | 3824 22002 71136 | 102237 97229 37 | 0.157 % |
644.23/644.58 c | 657715 | 3824 22002 71136 | 102237 97339 37 | 0.157 % |
644.42/644.70 c | 657836 | 3824 22002 71136 | 102237 97460 37 | 0.157 % |
644.53/644.81 c | 657970 | 3824 22002 71136 | 102237 97594 37 | 0.157 % |
644.63/644.99 c | 658116 | 3824 22002 71136 | 102237 97740 37 | 0.157 % |
644.83/645.17 c | 658276 | 3824 22002 71136 | 102237 97900 37 | 0.157 % |
645.13/645.41 c | 658453 | 3824 22002 71136 | 102237 98077 37 | 0.157 % |
645.34/645.64 c | 658648 | 3824 22002 71136 | 102237 98272 37 | 0.157 % |
645.53/645.87 c | 658860 | 3824 22002 71136 | 102237 98484 37 | 0.157 % |
645.73/646.09 c | 659095 | 3824 22002 71136 | 102237 98719 37 | 0.157 % |
646.13/646.49 c | 659351 | 3824 22002 71136 | 102237 98975 37 | 0.157 % |
646.73/647.00 c | 659633 | 3824 22002 71136 | 102237 99257 37 | 0.157 % |
647.03/647.34 c | 659942 | 3824 22002 71136 | 102237 99566 37 | 0.157 % |
647.33/647.65 c | 660281 | 3824 22002 71136 | 2147483647 99905 37 | 0.157 % |
647.64/647.99 c | 660654 | 3824 22002 71136 | 2147483647 100278 37 | 0.157 % |
648.13/648.45 c | 661065 | 3824 22002 71136 | 2147483647 100689 37 | 0.157 % |
648.64/648.93 c | 661514 | 3824 22002 71136 | 2147483647 101138 37 | 0.157 % |
649.13/649.46 c | 662007 | 3824 22002 71136 | 2147483647 101631 37 | 0.157 % |
649.53/649.82 c | 662550 | 3824 22002 71136 | 2147483647 102174 37 | 0.157 % |
650.43/650.80 c | 663146 | 3824 22002 71136 | 2147483647 102770 37 | 0.157 % |
651.23/651.59 c | 663801 | 3824 22002 71136 | 2147483647 103425 37 | 0.157 % |
652.23/652.57 c | 664523 | 3824 22002 71136 | 2147483647 104147 37 | 0.157 % |
652.93/653.21 c | 665315 | 3824 22002 71136 | 2147483647 104939 37 | 0.157 % |
653.83/654.18 c | 666188 | 3824 22002 71136 | 2147483647 105812 37 | 0.157 % |
654.73/655.09 c | 667147 | 3824 22002 71136 | 2147483647 106771 37 | 0.157 % |
655.73/656.05 c | 668200 | 3824 22002 71136 | 2147483647 107824 37 | 0.157 % |
656.93/657.24 c | 669358 | 3824 22002 71136 | 2147483647 108982 38 | 0.157 % |
658.43/658.73 c | 670631 | 3824 22002 71136 | 109626 110255 38 | 0.157 % |
659.73/660.04 c | 672031 | 3824 22002 71136 | 109626 97406 37 | 0.157 % |
661.33/661.60 c | 673572 | 3824 22002 71136 | 109626 98947 38 | 0.157 % |
662.73/663.00 c | 675267 | 3824 22002 71136 | 109626 100642 38 | 0.157 % |
664.33/664.62 c | 677130 | 3824 22002 71136 | 109626 102505 38 | 0.157 % |
667.03/667.35 c | 679181 | 3824 22002 71136 | 109626 104556 38 | 0.157 % |
668.53/668.86 c | 681435 | 3824 22002 71136 | 105375 106810 38 | 0.157 % |
671.02/671.37 c | 683913 | 3824 22002 71136 | 105375 93608 36 | 0.157 % |
673.32/673.67 c | 686639 | 3824 22002 71136 | 105375 96334 36 | 0.157 % |
676.23/676.57 c | 689639 | 3824 22002 71136 | 105375 99334 37 | 0.157 % |
679.53/679.81 c | 692935 | 3824 22002 71136 | 99695 92604 37 | 0.157 % |
681.52/681.83 c | 696560 | 3824 22002 71136 | 99695 96229 39 | 0.157 % |
685.42/685.76 c | 700547 | 3824 22002 71136 | 2147483647 100216 39 | 0.157 % |
690.42/690.71 c | 704932 | 3824 22002 71136 | 2147483647 104601 38 | 0.157 % |
695.42/695.70 c | 709756 | 3824 22002 71136 | 2147483647 109425 39 | 0.157 % |
701.21/701.52 c | 715062 | 3824 22002 71136 | 109669 97051 39 | 0.157 % |
705.51/705.86 c | 720898 | 3824 22002 71136 | 101989 102887 40 | 0.157 % |
710.61/710.91 c | 727317 | 3824 22002 71136 | 101989 90294 41 | 0.157 % |
710.71/711.00 c | 727421 | 3824 22002 71136 | 101989 90398 41 | 0.157 % |
710.81/711.10 c | 727534 | 3824 22002 71136 | 101989 90511 41 | 0.157 % |
710.91/711.25 c | 727656 | 3824 22002 71136 | 101989 90633 41 | 0.157 % |
711.11/711.41 c | 727789 | 3824 22002 71136 | 101989 90766 41 | 0.157 % |
711.21/711.53 c | 727937 | 3824 22002 71136 | 101989 90914 41 | 0.157 % |
711.31/711.68 c | 728098 | 3824 22002 71136 | 101989 91075 41 | 0.157 % |
711.71/712.03 c | 728275 | 3824 22002 71136 | 101989 91252 41 | 0.157 % |
711.91/712.22 c | 728468 | 3824 22002 71136 | 101989 91445 41 | 0.157 % |
712.11/712.45 c | 728680 | 3824 22002 71136 | 101989 91657 41 | 0.157 % |
712.31/712.69 c | 728913 | 3824 22002 71136 | 101989 91890 41 | 0.157 % |
712.61/712.94 c | 729170 | 3824 22002 71136 | 101989 92147 41 | 0.157 % |
712.91/713.30 c | 729453 | 3824 22002 71136 | 101989 92430 41 | 0.157 % |
713.31/713.62 c | 729762 | 3824 22002 71136 | 101989 92739 41 | 0.157 % |
713.61/713.94 c | 730101 | 3824 22002 71136 | 92977 93078 41 | 0.157 % |
714.11/714.49 c | 730474 | 3824 22002 71136 | 92977 80820 42 | 0.157 % |
714.41/714.75 c | 730884 | 3824 22002 71136 | 92977 81230 42 | 0.157 % |
714.81/715.16 c | 731334 | 3824 22002 71136 | 92977 81680 42 | 0.157 % |
715.21/715.53 c | 731829 | 3824 22002 71136 | 92977 82175 42 | 0.157 % |
715.61/715.95 c | 732372 | 3824 22002 71136 | 92977 82718 42 | 0.157 % |
716.11/716.48 c | 732968 | 3824 22002 71136 | 92977 83314 42 | 0.157 % |
716.71/717.08 c | 733623 | 3824 22002 71136 | 92977 83969 42 | 0.157 % |
717.51/717.83 c | 734343 | 3824 22002 71136 | 92977 84689 41 | 0.157 % |
718.31/718.70 c | 735135 | 3824 22002 71136 | 92977 85481 41 | 0.157 % |
719.21/719.51 c | 736010 | 3824 22002 71136 | 92977 86356 41 | 0.157 % |
720.01/720.38 c | 736969 | 3824 22002 71136 | 92977 87315 42 | 0.157 % |
720.81/721.11 c | 738024 | 3824 22002 71136 | 92977 88370 42 | 0.157 % |
722.11/722.42 c | 739182 | 3824 22002 71136 | 92977 89528 42 | 0.157 % |
723.21/723.53 c | 740456 | 3824 22002 71136 | 90346 90802 42 | 0.157 % |
724.90/725.23 c | 741857 | 3824 22002 71136 | 90346 81817 40 | 0.157 % |
726.30/726.68 c | 743398 | 3824 22002 71136 | 90346 83358 41 | 0.157 % |
728.20/728.50 c | 745092 | 3824 22002 71136 | 90346 85052 40 | 0.157 % |
729.90/730.30 c | 746959 | 3824 22002 71136 | 90346 86919 40 | 0.157 % |
732.00/732.31 c | 749009 | 3824 22002 71136 | 90346 88969 40 | 0.157 % |
734.51/734.82 c | 751263 | 3824 22002 71136 | 2147483647 91223 40 | 0.157 % |
736.90/737.25 c | 753743 | 3824 22002 71136 | 2147483647 93703 40 | 0.157 % |
739.70/740.03 c | 756468 | 3824 22002 71136 | 2147483647 96428 40 | 0.157 % |
743.30/743.64 c | 759465 | 3824 22002 71136 | 2147483647 99425 40 | 0.157 % |
747.30/747.61 c | 762761 | 3824 22002 71136 | 2147483647 102721 40 | 0.157 % |
751.19/751.55 c | 766386 | 3824 22002 71136 | 2147483647 106346 40 | 0.157 % |
755.99/756.36 c | 770376 | 3824 22002 71136 | 109963 110336 41 | 0.157 % |
761.09/761.46 c | 774761 | 3824 22002 71136 | 109963 98437 39 | 0.157 % |
765.69/766.02 c | 779584 | 3824 22002 71136 | 109963 103260 39 | 0.157 % |
770.89/771.26 c | 784891 | 3824 22002 71136 | 103676 91376 38 | 0.157 % |
776.49/776.87 c | 790729 | 3824 22002 71136 | 96485 97214 39 | 0.157 % |
781.89/782.29 c | 797148 | 3824 22002 71136 | 96485 91083 38 | 0.157 % |
788.48/788.89 c | 804207 | 3824 22002 71136 | 93936 82962 37 | 0.157 % |
788.58/788.99 c | 804307 | 3824 22002 71136 | 93936 83062 37 | 0.157 % |
788.78/789.11 c | 804417 | 3824 22002 71136 | 93936 83172 37 | 0.157 % |
788.88/789.21 c | 804540 | 3824 22002 71136 | 93936 83295 37 | 0.157 % |
788.98/789.34 c | 804677 | 3824 22002 71136 | 93936 83432 37 | 0.157 % |
789.18/789.52 c | 804823 | 3824 22002 71136 | 93936 83578 37 | 0.157 % |
789.28/789.70 c | 804984 | 3824 22002 71136 | 93936 83739 37 | 0.157 % |
789.49/789.83 c | 805161 | 3824 22002 71136 | 93936 83916 37 | 0.157 % |
789.68/790.04 c | 805354 | 3824 22002 71136 | 93936 84109 37 | 0.157 % |
789.88/790.29 c | 805568 | 3824 22002 71136 | 93936 84323 37 | 0.157 % |
790.18/790.57 c | 805801 | 3824 22002 71136 | 93936 84556 37 | 0.157 % |
790.38/790.71 c | 806058 | 3824 22002 71136 | 93936 84813 37 | 0.157 % |
790.78/791.15 c | 806339 | 3824 22002 71136 | 93936 85094 37 | 0.157 % |
790.98/791.36 c | 806651 | 3824 22002 71136 | 93936 85406 37 | 0.157 % |
791.18/791.55 c | 806990 | 3824 22002 71136 | 93936 85745 37 | 0.157 % |
791.49/791.84 c | 807362 | 3824 22002 71136 | 93936 86117 37 | 0.157 % |
791.89/792.21 c | 807771 | 3824 22002 71136 | 93936 86526 37 | 0.157 % |
792.19/792.58 c | 808221 | 3824 22002 71136 | 93936 86976 37 | 0.157 % |
792.59/792.95 c | 808714 | 3824 22002 71136 | 93936 87469 37 | 0.157 % |
793.09/793.43 c | 809257 | 3824 22002 71136 | 93936 88012 37 | 0.157 % |
793.49/793.88 c | 809854 | 3824 22002 71136 | 93936 88609 38 | 0.157 % |
793.99/794.37 c | 810509 | 3824 22002 71136 | 88755 89264 38 | 0.157 % |
794.89/795.23 c | 811229 | 3824 22002 71136 | 88755 81058 38 | 0.157 % |
795.49/795.87 c | 812021 | 3824 22002 71136 | 88755 81850 38 | 0.157 % |
796.39/796.74 c | 812892 | 3824 22002 71136 | 88755 82721 38 | 0.157 % |
797.09/797.49 c | 813851 | 3824 22002 71136 | 88755 83680 38 | 0.157 % |
797.79/798.11 c | 814904 | 3824 22002 71136 | 88755 84733 38 | 0.157 % |
798.69/799.09 c | 816062 | 3824 22002 71136 | 88755 85891 38 | 0.157 % |
799.69/800.01 c | 817335 | 3824 22002 71136 | 88755 87164 38 | 0.157 % |
801.09/801.46 c | 818735 | 3824 22002 71136 | 88755 88564 38 | 0.157 % |
802.69/803.04 c | 820276 | 3824 22002 71136 | 2147483647 81141 38 | 0.157 % |
803.89/804.28 c | 821971 | 3824 22002 71136 | 2147483647 82836 38 | 0.157 % |
805.49/805.80 c | 823834 | 3824 22002 71136 | 2147483647 84699 38 | 0.157 % |
807.09/807.43 c | 825883 | 3824 22002 71136 | 2147483647 86748 39 | 0.157 % |
808.79/809.10 c | 828139 | 3824 22002 71136 | 2147483647 89004 40 | 0.157 % |
810.59/811.00 c | 830618 | 3824 22002 71136 | 2147483647 91483 40 | 0.157 % |
813.49/813.84 c | 833344 | 3824 22002 71136 | 2147483647 94209 41 | 0.157 % |
815.79/816.13 c | 836342 | 3824 22002 71136 | 2147483647 97207 41 | 0.157 % |
819.88/820.29 c | 839641 | 3824 22002 71136 | 2147483647 100506 41 | 0.157 % |
824.18/824.50 c | 843267 | 3824 22002 71136 | 2147483647 104132 42 | 0.157 % |
827.98/828.34 c | 847259 | 3824 22002 71136 | 2147483647 108124 42 | 0.157 % |
832.58/832.93 c | 851645 | 3824 22002 71136 | 2147483647 112510 42 | 0.157 % |
837.78/838.12 c | 856469 | 3824 22002 71136 | 2147483647 117334 43 | 0.157 % |
845.07/845.42 c | 861774 | 3824 22002 71136 | 120867 106878 43 | 0.157 % |
851.37/851.78 c | 867611 | 3824 22002 71136 | 120867 112715 44 | 0.157 % |
858.67/859.06 c | 874033 | 3824 22002 71136 | 115104 107561 44 | 0.157 % |
865.57/865.95 c | 881092 | 3824 22002 71136 | 113528 114620 45 | 0.157 % |
872.97/873.33 c | 888856 | 3824 22002 71136 | 113528 104132 45 | 0.157 % |
873.07/873.48 c | 888956 | 3824 22002 71136 | 113528 104232 45 | 0.157 % |
873.26/873.60 c | 889068 | 3824 22002 71136 | 113528 104344 45 | 0.157 % |
873.36/873.75 c | 889189 | 3824 22002 71136 | 113528 104465 45 | 0.157 % |
873.56/873.95 c | 889323 | 3824 22002 71136 | 113528 104599 45 | 0.157 % |
873.76/874.17 c | 889470 | 3824 22002 71136 | 113528 104746 45 | 0.157 % |
873.96/874.40 c | 889630 | 3824 22002 71136 | 113528 104906 45 | 0.157 % |
874.26/874.67 c | 889806 | 3824 22002 71136 | 113528 105082 45 | 0.157 % |
874.46/874.86 c | 889999 | 3824 22002 71136 | 113528 105275 45 | 0.157 % |
874.66/875.04 c | 890211 | 3824 22002 71136 | 105277 105487 45 | 0.157 % |
875.27/875.68 c | 890444 | 3824 22002 71136 | 105277 88506 45 | 0.157 % |
875.56/875.91 c | 890703 | 3824 22002 71136 | 105277 88765 45 | 0.157 % |
875.76/876.16 c | 890986 | 3824 22002 71136 | 105277 89048 45 | 0.157 % |
875.96/876.39 c | 891296 | 3824 22002 71136 | 105277 89358 45 | 0.157 % |
876.36/876.73 c | 891635 | 3824 22002 71136 | 105277 89697 45 | 0.157 % |
876.76/877.18 c | 892010 | 3824 22002 71136 | 105277 90072 45 | 0.157 % |
877.36/877.72 c | 892419 | 3824 22002 71136 | 105277 90481 45 | 0.157 % |
877.76/878.19 c | 892868 | 3824 22002 71136 | 105277 90930 45 | 0.157 % |
878.26/878.66 c | 893361 | 3824 22002 71136 | 105277 91423 45 | 0.157 % |
878.96/879.30 c | 893907 | 3824 22002 71136 | 105277 91969 45 | 0.157 % |
879.46/879.88 c | 894503 | 3824 22002 71136 | 105277 92565 45 | 0.157 % |
880.16/880.52 c | 895158 | 3824 22002 71136 | 105277 93220 45 | 0.157 % |
880.56/880.99 c | 895879 | 3824 22002 71136 | 105277 93941 45 | 0.157 % |
881.26/881.63 c | 896672 | 3824 22002 71136 | 105277 94734 45 | 0.157 % |
882.16/882.56 c | 897543 | 3824 22002 71136 | 105277 95605 45 | 0.157 % |
883.36/883.77 c | 898503 | 3824 22002 71136 | 105277 96565 44 | 0.157 % |
884.56/884.92 c | 899556 | 3824 22002 71136 | 105277 97618 45 | 0.157 % |
886.16/886.57 c | 900714 | 3824 22002 71136 | 98063 86342 43 | 0.157 % |
887.36/887.77 c | 901988 | 3824 22002 71136 | 98063 87616 42 | 0.157 % |
888.95/889.39 c | 903392 | 3824 22002 71136 | 98063 89020 42 | 0.157 % |
890.25/890.60 c | 904932 | 3824 22002 71136 | 98063 90560 42 | 0.157 % |
891.66/892.10 c | 906628 | 3824 22002 71136 | 98063 92256 43 | 0.157 % |
893.96/894.36 c | 908491 | 3824 22002 71136 | 98063 94119 43 | 0.157 % |
896.25/896.65 c | 910540 | 3824 22002 71136 | 2147483647 96168 43 | 0.157 % |
898.36/898.74 c | 912794 | 3824 22002 71136 | 2147483647 98422 43 | 0.157 % |
900.75/901.10 c | 915273 | 3824 22002 71136 | 2147483647 100901 42 | 0.157 % |
904.45/904.84 c | 917998 | 3824 22002 71136 | 2147483647 103626 42 | 0.157 % |
907.95/908.38 c | 920995 | 3824 22002 71136 | 2147483647 106623 42 | 0.157 % |
911.95/912.35 c | 924294 | 3824 22002 71136 | 2147483647 109922 41 | 0.157 % |
916.05/916.43 c | 927919 | 3824 22002 71136 | 2147483647 113547 41 | 0.157 % |
920.45/920.85 c | 931910 | 3824 22002 71136 | 2147483647 117538 41 | 0.157 % |
925.14/925.50 c | 936297 | 3824 22002 71136 | 2147483647 121925 41 | 0.157 % |
931.94/932.36 c | 941120 | 3824 22002 71136 | 125629 110014 40 | 0.157 % |
937.14/937.53 c | 946428 | 3824 22002 71136 | 125629 115322 40 | 0.157 % |
943.64/944.06 c | 952263 | 3824 22002 71136 | 118897 102845 39 | 0.157 % |
950.14/950.58 c | 958681 | 3824 22002 71136 | 118897 109263 39 | 0.157 % |
956.03/956.49 c | 965740 | 3824 22002 71136 | 110582 101655 38 | 0.157 % |
962.63/963.06 c | 973504 | 3824 22002 71136 | 105916 94359 39 | 0.157 % |
972.54/972.92 c | 982046 | 3824 22002 71136 | 100855 91599 38 | 0.157 % |
972.64/973.04 c | 982146 | 3824 22002 71136 | 100855 91699 38 | 0.157 % |
972.74/973.14 c | 982256 | 3824 22002 71136 | 100855 91809 38 | 0.157 % |
972.84/973.22 c | 982381 | 3824 22002 71136 | 100855 91934 38 | 0.157 % |
973.04/973.41 c | 982514 | 3824 22002 71136 | 100855 92067 38 | 0.157 % |
973.24/973.60 c | 982662 | 3824 22002 71136 | 100855 92215 38 | 0.157 % |
973.34/973.74 c | 982823 | 3824 22002 71136 | 100855 92376 38 | 0.157 % |
973.44/973.87 c | 982999 | 3824 22002 71136 | 100855 92552 38 | 0.157 % |
973.64/974.07 c | 983193 | 3824 22002 71136 | 100855 92746 38 | 0.157 % |
973.84/974.25 c | 983405 | 3824 22002 71136 | 100855 92958 38 | 0.157 % |
974.04/974.45 c | 983638 | 3824 22002 71136 | 100855 93191 38 | 0.157 % |
974.24/974.65 c | 983894 | 3824 22002 71136 | 100855 93447 38 | 0.157 % |
974.54/974.93 c | 984177 | 3824 22002 71136 | 100855 93730 38 | 0.157 % |
974.74/975.16 c | 984487 | 3824 22002 71136 | 100855 94040 38 | 0.157 % |
975.04/975.48 c | 984826 | 3824 22002 71136 | 100855 94379 38 | 0.157 % |
975.54/975.93 c | 985199 | 3824 22002 71136 | 100855 94752 38 | 0.157 % |
975.84/976.29 c | 985609 | 3824 22002 71136 | 100855 95162 38 | 0.157 % |
976.24/976.67 c | 986058 | 3824 22002 71136 | 100855 95611 38 | 0.157 % |
976.74/977.10 c | 986551 | 3824 22002 71136 | 100855 96104 38 | 0.157 % |
977.54/977.93 c | 987093 | 3824 22002 71136 | 100855 96646 38 | 0.157 % |
978.24/978.67 c | 987689 | 3824 22002 71136 | 100855 97242 38 | 0.157 % |
978.84/979.28 c | 988344 | 3824 22002 71136 | 100855 97897 38 | 0.157 % |
979.64/980.09 c | 989065 | 3824 22002 71136 | 100855 98618 38 | 0.157 % |
980.44/980.82 c | 989857 | 3824 22002 71136 | 100855 99410 38 | 0.157 % |
981.24/981.66 c | 990730 | 3824 22002 71136 | 99554 100283 38 | 0.157 % |
982.43/982.81 c | 991688 | 3824 22002 71136 | 99554 90197 38 | 0.157 % |
983.33/983.72 c | 992741 | 3824 22002 71136 | 99554 91250 38 | 0.157 % |
984.63/985.04 c | 993902 | 3824 22002 71136 | 99554 92411 38 | 0.157 % |
985.63/986.00 c | 995175 | 3824 22002 71136 | 99554 93684 38 | 0.157 % |
987.23/987.63 c | 996575 | 3824 22002 71136 | 99554 95084 38 | 0.157 % |
988.63/989.06 c | 998117 | 3824 22002 71136 | 99554 96626 38 | 0.157 % |
989.93/990.34 c | 999811 | 3824 22002 71136 | 99554 98320 39 | 0.157 % |
992.23/992.67 c | 1001676 | 3824 22002 71136 | 98512 87009 39 | 0.157 % |
993.63/994.02 c | 1003725 | 3824 22002 71136 | 98512 89058 39 | 0.157 % |
995.93/996.38 c | 1005978 | 3824 22002 71136 | 98512 91311 39 | 0.157 % |
999.43/999.81 c | 1008456 | 3824 22002 71136 | 98512 93789 39 | 0.157 % |
1002.03/1002.49 c | 1011181 | 3824 22002 71136 | 2147483647 96514 39 | 0.157 % |
1004.03/1004.41 c | 1014180 | 3824 22002 71136 | 2147483647 99513 40 | 0.157 % |
1006.43/1006.88 c | 1017476 | 3824 22002 71136 | 2147483647 102809 41 | 0.157 % |
1009.83/1010.28 c | 1021101 | 3824 22002 71136 | 105334 94496 41 | 0.157 % |
1014.03/1014.46 c | 1025090 | 3824 22002 71136 | 105334 98485 41 | 0.157 % |
1018.32/1018.72 c | 1029475 | 3824 22002 71136 | 105334 102870 41 | 0.157 % |
1022.53/1023.00 c | 1034298 | 3824 22002 71136 | 2147483647 107693 41 | 0.157 % |
1028.62/1029.03 c | 1039603 | 3824 22002 71136 | 2147483647 112998 41 | 0.157 % |
1034.52/1034.90 c | 1045438 | 3824 22002 71136 | 2147483647 118833 42 | 0.157 % |
1043.01/1043.47 c | 1051857 | 3824 22002 71136 | 123395 105700 41 | 0.157 % |
1050.21/1050.67 c | 1058917 | 3824 22002 71136 | 123395 112760 42 | 0.157 % |
1058.91/1059.36 c | 1066682 | 3824 22002 71136 | 113844 98898 43 | 0.157 % |
1067.61/1068.02 c | 1075222 | 3824 22002 71136 | 102216 92803 46 | 0.157 % |
1077.90/1078.34 c | 1084617 | 3824 22002 71136 | 97582 91525 47 | 0.157 % |
1078.00/1078.45 c | 1084717 | 3824 22002 71136 | 97582 91625 47 | 0.157 % |
1078.10/1078.59 c | 1084827 | 3824 22002 71136 | 97582 91735 47 | 0.157 % |
1078.30/1078.74 c | 1084949 | 3824 22002 71136 | 97582 91857 47 | 0.157 % |
1078.50/1078.92 c | 1085083 | 3824 22002 71136 | 97582 91991 47 | 0.157 % |
1078.61/1079.07 c | 1085230 | 3824 22002 71136 | 97582 92138 47 | 0.157 % |
1078.80/1079.29 c | 1085391 | 3824 22002 71136 | 97582 92299 47 | 0.157 % |
1078.90/1079.39 c | 1085568 | 3824 22002 71136 | 97582 92476 47 | 0.157 % |
1079.20/1079.69 c | 1085763 | 3824 22002 71136 | 97582 92671 47 | 0.157 % |
1079.50/1079.91 c | 1085975 | 3824 22002 71136 | 97582 92883 47 | 0.157 % |
1079.70/1080.13 c | 1086208 | 3824 22002 71136 | 97582 93116 47 | 0.157 % |
1079.90/1080.35 c | 1086469 | 3824 22002 71136 | 97582 93377 47 | 0.157 % |
1080.20/1080.68 c | 1086751 | 3824 22002 71136 | 97582 93659 47 | 0.157 % |
1080.50/1080.91 c | 1087061 | 3824 22002 71136 | 97582 93969 47 | 0.157 % |
1080.70/1081.14 c | 1087401 | 3824 22002 71136 | 97582 94309 47 | 0.157 % |
1081.10/1081.53 c | 1087775 | 3824 22002 71136 | 97582 94683 47 | 0.157 % |
1081.40/1081.85 c | 1088184 | 3824 22002 71136 | 97582 95092 47 | 0.157 % |
1081.80/1082.28 c | 1088633 | 3824 22002 71136 | 97582 95541 47 | 0.157 % |
1082.20/1082.68 c | 1089127 | 3824 22002 71136 | 97582 96035 47 | 0.157 % |
1082.80/1083.26 c | 1089671 | 3824 22002 71136 | 97582 96579 47 | 0.157 % |
1083.40/1083.81 c | 1090268 | 3824 22002 71136 | 96908 97176 47 | 0.157 % |
1084.10/1084.54 c | 1090923 | 3824 22002 71136 | 96908 86663 46 | 0.157 % |
1084.80/1085.23 c | 1091644 | 3824 22002 71136 | 96908 87384 46 | 0.157 % |
1085.60/1086.00 c | 1092436 | 3824 22002 71136 | 96908 88176 46 | 0.157 % |
1086.50/1086.92 c | 1093307 | 3824 22002 71136 | 96908 89047 46 | 0.157 % |
1087.60/1088.04 c | 1094267 | 3824 22002 71136 | 96908 90007 46 | 0.157 % |
1088.90/1089.36 c | 1095320 | 3824 22002 71136 | 96908 91060 46 | 0.157 % |
1090.10/1090.58 c | 1096478 | 3824 22002 71136 | 96908 92218 46 | 0.157 % |
1091.60/1092.05 c | 1097753 | 3824 22002 71136 | 96908 93493 46 | 0.157 % |
1093.19/1093.66 c | 1099154 | 3824 22002 71136 | 96908 94894 46 | 0.157 % |
1094.69/1095.11 c | 1100695 | 3824 22002 71136 | 95741 96435 46 | 0.157 % |
1096.59/1097.05 c | 1102389 | 3824 22002 71136 | 95741 86421 45 | 0.157 % |
1098.50/1098.91 c | 1104253 | 3824 22002 71136 | 95741 88285 45 | 0.157 % |
1100.19/1100.65 c | 1106302 | 3824 22002 71136 | 95741 90334 45 | 0.157 % |
1101.99/1102.43 c | 1108556 | 3824 22002 71136 | 95741 92588 45 | 0.157 % |
1104.49/1104.98 c | 1111034 | 3824 22002 71136 | 2147483647 95066 45 | 0.157 % |
1107.19/1107.66 c | 1113760 | 3824 22002 71136 | 2147483647 97792 45 | 0.157 % |
1109.50/1109.98 c | 1116758 | 3824 22002 71136 | 2147483647 100790 45 | 0.157 % |
1113.19/1113.64 c | 1120054 | 3824 22002 71136 | 2147483647 104086 45 | 0.157 % |
1116.59/1117.05 c | 1123682 | 3824 22002 71136 | 2147483647 107714 44 | 0.157 % |
1120.29/1120.72 c | 1127669 | 3824 22002 71136 | 2147483647 111701 44 | 0.157 % |
1125.99/1126.41 c | 1132055 | 3824 22002 71136 | 114032 97608 43 | 0.157 % |
1130.79/1131.28 c | 1136880 | 3824 22002 71136 | 114032 102433 43 | 0.157 % |
1136.79/1137.23 c | 1142185 | 3824 22002 71136 | 105554 91999 40 | 0.157 % |
1141.69/1142.19 c | 1148020 | 3824 22002 71136 | 105554 97834 40 | 0.157 % |
1147.68/1148.10 c | 1154439 | 3824 22002 71136 | 99815 89891 38 | 0.157 % |
1153.98/1154.45 c | 1161498 | 3824 22002 71136 | 95452 80795 37 | 0.157 % |
1162.48/1162.91 c | 1169263 | 3824 22002 71136 | 95452 88560 38 | 0.157 % |
1170.88/1171.33 c | 1177804 | 3824 22002 71136 | 89299 84447 40 | 0.157 % |
1179.58/1180.01 c | 1187199 | 3824 22002 71136 | 86644 85072 40 | 0.157 % |
1189.78/1190.26 c | 1197534 | 3824 22002 71136 | 2147483647 86668 41 | 0.157 % |
1189.98/1190.42 c | 1197634 | 3824 22002 71136 | 2147483647 86768 41 | 0.157 % |
1190.08/1190.57 c | 1197744 | 3824 22002 71136 | 2147483647 86878 41 | 0.157 % |
1190.18/1190.66 c | 1197865 | 3824 22002 71136 | 2147483647 86999 41 | 0.157 % |
1190.38/1190.81 c | 1197999 | 3824 22002 71136 | 2147483647 87133 41 | 0.157 % |
1190.58/1191.01 c | 1198146 | 3824 22002 71136 | 2147483647 87280 41 | 0.157 % |
1190.78/1191.22 c | 1198308 | 3824 22002 71136 | 2147483647 87442 41 | 0.157 % |
1190.88/1191.39 c | 1198484 | 3824 22002 71136 | 2147483647 87618 41 | 0.157 % |
1191.07/1191.56 c | 1198677 | 3824 22002 71136 | 2147483647 87811 41 | 0.157 % |
1191.17/1191.66 c | 1198889 | 3824 22002 71136 | 2147483647 88023 41 | 0.157 % |
1191.37/1191.89 c | 1199123 | 3824 22002 71136 | 2147483647 88257 41 | 0.157 % |
1191.57/1192.09 c | 1199379 | 3824 22002 71136 | 2147483647 88513 41 | 0.157 % |
1191.88/1192.35 c | 1199660 | 3824 22002 71136 | 2147483647 88794 41 | 0.157 % |
1192.17/1192.64 c | 1199972 | 3824 22002 71136 | 2147483647 89106 41 | 0.157 % |
1192.57/1193.05 c | 1200312 | 3824 22002 71136 | 2147483647 89446 41 | 0.157 % |
1192.87/1193.32 c | 1200685 | 3824 22002 71136 | 2147483647 89819 41 | 0.157 % |
1193.17/1193.60 c | 1201095 | 3824 22002 71136 | 2147483647 90229 41 | 0.157 % |
1193.47/1193.94 c | 1201544 | 3824 22002 71136 | 2147483647 90678 41 | 0.157 % |
1194.18/1194.68 c | 1202037 | 3824 22002 71136 | 2147483647 91171 41 | 0.157 % |
1194.77/1195.20 c | 1202579 | 3824 22002 71136 | 2147483647 91713 41 | 0.157 % |
1195.37/1195.81 c | 1203177 | 3824 22002 71136 | 2147483647 92311 41 | 0.157 % |
1195.67/1196.17 c | 1203834 | 3824 22002 71136 | 2147483647 92968 41 | 0.157 % |
1196.37/1196.87 c | 1204556 | 3824 22002 71136 | 2147483647 93690 42 | 0.157 % |
1197.07/1197.60 c | 1205348 | 3824 22002 71136 | 2147483647 94482 42 | 0.157 % |
1198.07/1198.52 c | 1206219 | 3824 22002 71136 | 2147483647 95353 41 | 0.157 % |
1199.27/1199.73 c | 1207179 | 3824 22002 71136 | 2147483647 96313 41 | 0.157 % |
1200.07/1200.51 HOME/SatELiteGTI: line 36: 24468 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832049-1242768906/watcher-1832049-1242768906 -o /tmp/evaluation-result-1832049-1242768906/solver-1832049-1242768906 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832049-1242768906.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 24462
/proc/meminfo: memFree=1828312/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304918167 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 237 197 169 0 50 0
[startup+0.0958901 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 24462
/proc/meminfo: memFree=1828312/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304918167 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101885 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 24462
/proc/meminfo: memFree=1828312/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304918167 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301903 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 24462
/proc/meminfo: memFree=1828312/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5356
[startup+0.701933 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 24462
/proc/meminfo: memFree=1828312/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5356
[startup+1.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24468
/proc/meminfo: memFree=1824520/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=4308 CPUtime=1.2
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 822 0 0 0 120 0 0 0 25 0 1 0 304918196 4411392 808 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 1077 808 76 171 0 904 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9664
[startup+3.10115 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24468
/proc/meminfo: memFree=1823752/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=5496 CPUtime=2.79
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 1113 0 0 0 279 0 0 0 25 0 1 0 304918196 5627904 1099 1992294400 134512640 135215339 4294956240 18446744073709551615 134528930 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 1374 1099 76 171 0 1201 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 10852
[startup+6.30144 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24468
/proc/meminfo: memFree=1820872/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=7876 CPUtime=5.99
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 1706 0 0 0 598 1 0 0 25 0 1 0 304918196 8065024 1692 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 1969 1692 77 171 0 1796 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 13232
[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24468
/proc/meminfo: memFree=1817224/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=11456 CPUtime=12.38
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 2563 0 0 0 1236 2 0 0 25 0 1 0 304918196 11730944 2549 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 2864 2549 77 171 0 2691 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 16812
[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24468
/proc/meminfo: memFree=1812744/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=15784 CPUtime=25.17
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 3619 0 0 0 2513 4 0 0 25 0 1 0 304918196 16162816 3605 1992294400 134512640 135215339 4294956240 18446744073709551615 134528824 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 3946 3605 77 171 0 3773 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 21140
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24468
/proc/meminfo: memFree=1806792/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=21708 CPUtime=50.75
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 5111 0 0 0 5069 6 0 0 25 0 1 0 304918196 22228992 5097 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 5427 5097 77 171 0 5254 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 27064
[startup+102.305 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 24468
/proc/meminfo: memFree=1800328/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=28020 CPUtime=101.95
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 6670 0 0 0 10186 9 0 0 25 0 1 0 304918196 28692480 6656 1992294400 134512640 135215339 4294956240 18446744073709551615 134532650 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 7005 6656 77 171 0 6832 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 33376
[startup+162.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 24468
/proc/meminfo: memFree=1800072/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=28176 CPUtime=161.91
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 6708 0 0 0 16182 9 0 0 25 0 1 0 304918196 28852224 6694 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 7044 6694 77 171 0 6871 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 33532
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24468
/proc/meminfo: memFree=1799880/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=28176 CPUtime=221.89
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 6738 0 0 0 22179 10 0 0 25 0 1 0 304918196 28852224 6724 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 7044 6724 77 171 0 6871 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 33532
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24468
/proc/meminfo: memFree=1799688/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=28372 CPUtime=281.87
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 6779 0 0 0 28177 10 0 0 25 0 1 0 304918196 29052928 6765 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 7093 6765 77 171 0 6920 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 33728
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24468
/proc/meminfo: memFree=1799432/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=28524 CPUtime=341.85
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 6809 0 0 0 34174 11 0 0 25 0 1 0 304918196 29208576 6795 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 7131 6795 77 171 0 6958 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 33880
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24468
/proc/meminfo: memFree=1798152/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=29772 CPUtime=401.83
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 7095 0 0 0 40172 11 0 0 25 0 1 0 304918196 30486528 7081 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 7443 7081 77 171 0 7270 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 35128
[startup+462.301 s]
################
# More data... #
################
[pid=24468] ppid=24462 vsize=29960 CPUtime=521.79
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 7161 0 0 0 52167 12 0 0 25 0 1 0 304918196 30679040 7147 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 7490 7147 77 171 0 7317 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 35316
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24470
/proc/meminfo: memFree=1797320/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=30184 CPUtime=581.77
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 7207 0 0 0 58165 12 0 0 25 0 1 0 304918196 30908416 7193 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 7546 7193 77 171 0 7373 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 35540
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24470
/proc/meminfo: memFree=1797256/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=30264 CPUtime=641.76
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 7223 0 0 0 64164 12 0 0 25 0 1 0 304918196 30990336 7209 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 7566 7209 77 171 0 7393 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 35620
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24470
/proc/meminfo: memFree=1797000/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=30264 CPUtime=701.74
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 7234 0 0 0 70161 13 0 0 25 0 1 0 304918196 30990336 7220 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 7566 7220 77 171 0 7393 0
Current children cumulated CPU time (s) 702.01
Current children cumulated vsize (KiB) 35620
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24470
/proc/meminfo: memFree=1796872/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=30264 CPUtime=761.73
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 7244 0 0 0 76160 13 0 0 25 0 1 0 304918196 30990336 7230 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 7566 7230 77 171 0 7393 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 35620
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24470
/proc/meminfo: memFree=1796616/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=30572 CPUtime=821.71
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 7306 0 0 0 82157 14 0 0 25 0 1 0 304918196 31305728 7292 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 7643 7292 77 171 0 7470 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 35928
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24470
/proc/meminfo: memFree=1795592/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=31640 CPUtime=881.69
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 7544 0 0 0 88155 14 0 0 25 0 1 0 304918196 32399360 7530 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 7910 7530 77 171 0 7737 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 36996
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24470
/proc/meminfo: memFree=1795272/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=31864 CPUtime=941.67
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 7588 0 0 0 94153 14 0 0 25 0 1 0 304918196 32628736 7574 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 7966 7574 77 171 0 7793 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 37220
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24470
/proc/meminfo: memFree=1795080/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=32044 CPUtime=1001.66
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 7631 0 0 0 100151 15 0 0 25 0 1 0 304918196 32813056 7617 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 8011 7617 77 171 0 7838 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 37400
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24470
/proc/meminfo: memFree=1794696/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=32316 CPUtime=1061.64
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 7702 0 0 0 106149 15 0 0 25 0 1 0 304918196 33091584 7688 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 8079 7688 77 171 0 7906 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 37672
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24470
/proc/meminfo: memFree=1794376/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=32484 CPUtime=1121.62
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 7746 0 0 0 112147 15 0 0 25 0 1 0 304918196 33263616 7732 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 8121 7732 77 171 0 7948 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 37840
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24470
/proc/meminfo: memFree=1794312/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=32484 CPUtime=1181.61
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 7748 0 0 0 118145 16 0 0 25 0 1 0 304918196 33263616 7734 1992294400 134512640 135215339 4294956240 18446744073709551615 134545892 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 8121 7734 77 171 0 7948 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 37840
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24470
/proc/meminfo: memFree=1794248/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=32484 CPUtime=1199.8
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 7749 0 0 0 119964 16 0 0 25 0 1 0 304918196 33263616 7735 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 8121 7735 77 171 0 7948 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 37840
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 24470
/proc/meminfo: memFree=1794248/2055920 swapFree=4180300/4192956
[pid=24462] ppid=24460 vsize=5356 CPUtime=0.27
/proc/24462/stat : 24462 (SatELiteGTI) S 24460 24462 24275 0 -1 4194304 336 1753 0 0 0 0 26 1 15 0 1 0 304918167 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24462/statm: 1339 239 197 169 0 50 0
[pid=24468] ppid=24462 vsize=32484 CPUtime=1199.8
/proc/24468/stat : 24468 (minisat_static) R 24462 24462 24275 0 -1 4194304 7749 0 0 0 119964 16 0 0 25 0 1 0 304918196 33263616 7735 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/24468/statm: 8121 7735 77 171 0 7948 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 37840
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.1
CPU user time (s): 1199.91
CPU system time (s): 0.187971
CPU usage (%): 99.9653
Max. virtual memory (cumulated for all children) (KiB): 37840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.91
system time used= 0.187971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9847
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= 26
involuntary context switches= 4153
runsolver used 1.45078 second user time and 3.03854 second system time
The end
Begin job on node51 at 2009-05-19 23:35:06
IDJOB=1832049
IDBENCH=20402
IDSOLVER=671
FILE ID=node51/1832049-1242768906
PBS_JOBID= 9322250
Free space on /tmp= 66232 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832049-1242768906/watcher-1832049-1242768906 -o /tmp/evaluation-result-1832049-1242768906/solver-1832049-1242768906 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832049-1242768906.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0acd143a4e60b38309663b5993b5ded9
RANDOM SEED=765881778
node51.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1828856 kB
Buffers: 13736 kB
Cached: 176200 kB
SwapCached: 6788 kB
Active: 46700 kB
Inactive: 151988 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1828856 kB
SwapTotal: 4192956 kB
SwapFree: 4180300 kB
Dirty: 2080 kB
Writeback: 0 kB
Mapped: 13984 kB
Slab: 14480 kB
Committed_AS: 883320 kB
PageTables: 1408 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66232 MiB
End job on node51 at 2009-05-19 23:55:09