0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 15300 107100 | 4589 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 180 #clauses: 15300 #literals: 107100
0.00/0.02 c CPU time: 0.019996 s
0.00/0.02 c ==============================================================================
0.00/0.05 c This is MiniSat 2.0 beta
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c ============================[ Problem Statistics ]=============================
0.00/0.05 c | |
0.00/0.05 c | Number of variables: 180 |
0.00/0.05 c | Number of clauses: 15300 |
0.00/0.07 c | Parsing time: 0.01 s |
0.00/0.07 c ============================[ Search Statistics ]==============================
0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.07 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.07 c ===============================================================================
0.00/0.07 c | 0 | 180 15300 107100 | 5100 0 nan | 0.000 % |
0.00/0.08 c | 100 | 180 15300 107100 | 5100 100 52 | 0.003 % |
0.00/0.09 c | 201 | 180 15300 107100 | 5100 201 53 | 0.003 % |
0.05/0.10 c | 303 | 180 15300 107100 | 5100 303 53 | 0.003 % |
0.05/0.11 c | 414 | 180 15300 107100 | 5100 414 53 | 0.003 % |
0.05/0.12 c | 515 | 180 15300 107100 | 5100 515 53 | 0.003 % |
0.05/0.12 c | 626 | 180 15300 107100 | 5100 626 53 | 0.003 % |
0.05/0.13 c | 747 | 180 15300 107100 | 5100 747 53 | 0.003 % |
0.05/0.14 c | 848 | 180 15300 107100 | 5100 848 53 | 0.003 % |
0.05/0.15 c | 959 | 180 15300 107100 | 5100 959 53 | 0.003 % |
0.05/0.16 c | 1082 | 180 15300 107100 | 5100 1082 54 | 0.003 % |
0.05/0.17 c | 1215 | 180 15300 107100 | 5100 1215 54 | 0.003 % |
0.05/0.18 c | 1317 | 180 15300 107100 | 5100 1317 54 | 0.003 % |
0.05/0.19 c | 1427 | 180 15300 107100 | 5100 1427 54 | 0.003 % |
0.05/0.20 c | 1548 | 180 15300 107100 | 5100 1548 53 | 0.003 % |
0.05/0.21 c | 1682 | 180 15300 107100 | 5100 1682 53 | 0.003 % |
0.05/0.22 c | 1829 | 180 15300 107100 | 5100 1829 53 | 0.003 % |
0.05/0.23 c | 1930 | 180 15300 107100 | 5100 1930 53 | 0.003 % |
0.05/0.24 c | 2040 | 180 15300 107100 | 5100 2040 53 | 0.003 % |
0.05/0.25 c | 2162 | 180 15300 107100 | 5100 2162 53 | 0.003 % |
0.05/0.26 c | 2295 | 180 15300 107100 | 5100 2295 53 | 0.003 % |
0.05/0.28 c | 2441 | 180 15300 107100 | 5100 2441 53 | 0.003 % |
0.05/0.29 c | 2602 | 180 15300 107100 | 5100 2602 53 | 0.003 % |
0.05/0.30 c | 2703 | 180 15300 107100 | 5100 2703 53 | 0.003 % |
0.05/0.31 c | 2813 | 180 15300 107100 | 5100 2813 53 | 0.003 % |
0.05/0.32 c | 2934 | 180 15300 107100 | 5100 2934 53 | 0.003 % |
0.05/0.33 c | 3067 | 180 15300 107100 | 5100 3067 53 | 0.003 % |
0.05/0.35 c | 3213 | 180 15300 107100 | 5100 3213 53 | 0.003 % |
0.05/0.36 c | 3373 | 180 15300 107100 | 5100 3373 53 | 0.003 % |
0.05/0.38 c | 3549 | 180 15300 107100 | 5100 3549 53 | 0.003 % |
0.05/0.39 c | 3650 | 180 15300 107100 | 5100 3650 53 | 0.003 % |
0.05/0.40 c | 3760 | 180 15300 107100 | 5100 3760 53 | 0.003 % |
0.05/0.41 c | 3883 | 180 15300 107100 | 5100 3883 53 | 0.003 % |
0.05/0.42 c | 4017 | 180 15300 107100 | 5100 4017 53 | 0.003 % |
0.05/0.44 c | 4164 | 180 15300 107100 | 5100 4164 53 | 0.003 % |
0.05/0.45 c | 4325 | 180 15300 107100 | 5100 4325 53 | 0.003 % |
0.05/0.47 c | 4501 | 180 15300 107100 | 5100 4501 53 | 0.003 % |
0.05/0.49 c | 4696 | 180 15300 107100 | 5100 4696 53 | 0.003 % |
0.05/0.50 c | 4797 | 180 15300 107100 | 5100 4797 53 | 0.003 % |
0.05/0.51 c | 4909 | 180 15300 107100 | 5100 4909 53 | 0.003 % |
0.05/0.52 c | 5031 | 180 15300 107100 | 5100 5031 53 | 0.003 % |
0.05/0.54 c | 5166 | 180 15300 107100 | 5100 5166 53 | 0.003 % |
0.05/0.55 c | 5312 | 180 15300 107100 | 5100 4796 53 | 0.003 % |
0.05/0.57 c | 5472 | 180 15300 107100 | 5100 4956 53 | 0.003 % |
0.05/0.59 c | 5649 | 180 15300 107100 | 5100 5133 53 | 0.003 % |
0.05/0.61 c | 5842 | 180 15300 107100 | 5100 4813 52 | 0.003 % |
0.05/0.63 c | 6054 | 180 15300 107100 | 5100 5025 52 | 0.003 % |
0.05/0.64 c | 6154 | 180 15300 107100 | 5100 5125 52 | 0.003 % |
0.05/0.65 c | 6265 | 180 15300 107100 | 5100 4724 52 | 0.003 % |
0.05/0.66 c | 6386 | 180 15300 107100 | 5100 4845 52 | 0.003 % |
0.05/0.68 c | 6519 | 180 15300 107100 | 5100 4978 52 | 0.003 % |
0.05/0.69 c | 6665 | 180 15300 107100 | 5100 5124 52 | 0.003 % |
0.05/0.71 c | 6825 | 180 15300 107100 | 5100 4772 52 | 0.003 % |
0.05/0.73 c | 7003 | 180 15300 107100 | 5100 4950 52 | 0.003 % |
0.05/0.75 c | 7197 | 180 15300 107100 | 5100 5144 52 | 0.003 % |
0.05/0.77 c | 7409 | 180 15300 107100 | 5100 4842 52 | 0.003 % |
0.05/0.79 c | 7642 | 180 15300 107100 | 5100 5075 52 | 0.003 % |
0.05/0.80 c | 7744 | 180 15300 107100 | 5100 5177 52 | 0.003 % |
0.05/0.82 c | 7854 | 180 15300 107100 | 5100 4770 52 | 0.003 % |
0.05/0.83 c | 7975 | 180 15300 107100 | 5100 4891 52 | 0.003 % |
0.05/0.84 c | 8108 | 180 15300 107100 | 5100 5024 52 | 0.003 % |
0.05/0.86 c | 8254 | 180 15300 107100 | 5100 5170 52 | 0.003 % |
0.05/0.88 c | 8414 | 180 15300 107100 | 5100 4813 52 | 0.003 % |
0.05/0.90 c | 8592 | 180 15300 107100 | 5100 4991 52 | 0.003 % |
0.05/0.92 c | 8785 | 180 15300 107100 | 5100 5184 52 | 0.003 % |
0.05/0.94 c | 8998 | 180 15300 107100 | 5100 4879 52 | 0.003 % |
0.05/0.96 c | 9231 | 180 15300 107100 | 5100 5112 52 | 0.003 % |
0.05/0.99 c | 9487 | 180 15300 107100 | 5100 4857 52 | 0.003 % |
0.98/1.00 c | 9589 | 180 15300 107100 | 5100 4959 52 | 0.003 % |
0.98/1.02 c | 9700 | 180 15300 107100 | 5100 5070 52 | 0.003 % |
0.98/1.03 c | 9824 | 180 15300 107100 | 5100 5194 52 | 0.003 % |
0.98/1.04 c | 9958 | 180 15300 107100 | 5100 4809 52 | 0.003 % |
0.98/1.06 c | 10105 | 180 15300 107100 | 2147483647 4956 52 | 0.003 % |
0.98/1.08 c | 10266 | 180 15300 107100 | 2147483647 5117 52 | 0.003 % |
0.98/1.09 c | 10443 | 180 15300 107100 | 2147483647 5294 52 | 0.003 % |
1.08/1.11 c | 10636 | 180 15300 107100 | 2147483647 5487 52 | 0.003 % |
1.08/1.14 c | 10848 | 180 15300 107100 | 2147483647 5699 52 | 0.003 % |
1.08/1.16 c | 11083 | 180 15300 107100 | 2147483647 5934 52 | 0.003 % |
1.08/1.19 c | 11340 | 180 15300 107100 | 2147483647 6191 52 | 0.003 % |
1.18/1.22 c | 11621 | 180 15300 107100 | 2147483647 6472 52 | 0.003 % |
1.18/1.23 c | 11721 | 180 15300 107100 | 2147483647 6572 52 | 0.003 % |
1.18/1.24 c | 11831 | 180 15300 107100 | 2147483647 6682 52 | 0.003 % |
1.18/1.26 c | 11952 | 180 15300 107100 | 2147483647 6803 52 | 0.003 % |
1.18/1.28 c | 12085 | 180 15300 107100 | 2147483647 6936 52 | 0.003 % |
1.18/1.29 c | 12232 | 180 15300 107100 | 2147483647 7083 52 | 0.003 % |
1.28/1.31 c | 12392 | 180 15300 107100 | 2147483647 7243 52 | 0.003 % |
1.28/1.33 c | 12573 | 180 15300 107100 | 2147483647 7424 52 | 0.003 % |
1.28/1.36 c | 12766 | 180 15300 107100 | 2147483647 7617 52 | 0.003 % |
1.28/1.38 c | 12979 | 180 15300 107100 | 2147483647 7830 52 | 0.003 % |
1.38/1.41 c | 13212 | 180 15300 107100 | 2147483647 8063 52 | 0.003 % |
1.38/1.44 c | 13468 | 180 15300 107100 | 2147483647 8319 52 | 0.003 % |
1.38/1.48 c | 13753 | 180 15300 107100 | 2147483647 8604 52 | 0.003 % |
1.48/1.52 c | 14063 | 180 15300 107100 | 2147483647 8914 52 | 0.003 % |
1.48/1.53 c | 14163 | 180 15300 107100 | 2147483647 9014 52 | 0.003 % |
1.48/1.55 c | 14273 | 180 15300 107100 | 2147483647 9124 52 | 0.003 % |
1.48/1.57 c | 14395 | 180 15300 107100 | 2147483647 9246 52 | 0.003 % |
1.48/1.59 c | 14530 | 180 15300 107100 | 2147483647 9381 52 | 0.003 % |
1.58/1.61 c | 14677 | 180 15300 107100 | 2147483647 9528 52 | 0.003 % |
1.58/1.63 c | 14838 | 180 15300 107100 | 2147483647 9689 52 | 0.003 % |
1.58/1.66 c | 15014 | 180 15300 107100 | 2147483647 9865 52 | 0.003 % |
1.58/1.69 c | 15208 | 180 15300 107100 | 2147483647 10059 52 | 0.003 % |
1.67/1.71 c | 15421 | 180 15300 107100 | 2147483647 10272 52 | 0.003 % |
1.67/1.75 c | 15654 | 180 15300 107100 | 2147483647 10505 52 | 0.003 % |
1.67/1.78 c | 15911 | 180 15300 107100 | 2147483647 10762 52 | 0.003 % |
1.77/1.82 c | 16192 | 180 15300 107100 | 2147483647 11043 52 | 0.003 % |
1.77/1.87 c | 16504 | 180 15300 107100 | 2147483647 11355 52 | 0.003 % |
1.87/1.93 c | 16843 | 180 15300 107100 | 2147483647 11694 52 | 0.003 % |
1.87/1.94 c | 16944 | 180 15300 107100 | 2147483647 11795 52 | 0.003 % |
1.87/1.96 c | 17054 | 180 15300 107100 | 2147483647 11905 52 | 0.003 % |
1.87/1.98 c | 17175 | 180 15300 107100 | 2147483647 12026 52 | 0.003 % |
1.97/2.01 c | 17308 | 180 15300 107100 | 2147483647 12159 52 | 0.003 % |
1.97/2.03 c | 17454 | 180 15300 107100 | 2147483647 12305 52 | 0.003 % |
1.97/2.06 c | 17615 | 180 15300 107100 | 2147483647 12466 52 | 0.003 % |
1.97/2.09 c | 17794 | 180 15300 107100 | 2147483647 12645 52 | 0.003 % |
2.08/2.12 c | 17987 | 180 15300 107100 | 2147483647 12838 52 | 0.003 % |
2.08/2.15 c | 18200 | 180 15300 107100 | 2147483647 13051 52 | 0.003 % |
2.08/2.19 c | 18434 | 180 15300 107100 | 2147483647 13285 52 | 0.003 % |
2.18/2.24 c | 18691 | 180 15300 107100 | 2147483647 13542 52 | 0.003 % |
2.18/2.29 c | 18972 | 180 15300 107100 | 2147483647 13823 52 | 0.003 % |
2.28/2.34 c | 19281 | 180 15300 107100 | 2147483647 14132 52 | 0.003 % |
2.38/2.40 c | 19622 | 180 15300 107100 | 2147483647 14473 52 | 0.003 % |
2.38/2.46 c | 19995 | 180 15300 107100 | 2147483647 14846 52 | 0.003 % |
2.38/2.48 c | 20095 | 180 15300 107100 | 2147483647 14946 52 | 0.003 % |
2.48/2.50 c | 20208 | 180 15300 107100 | 2147483647 15059 52 | 0.003 % |
2.48/2.52 c | 20331 | 180 15300 107100 | 2147483647 15182 52 | 0.003 % |
2.48/2.55 c | 20465 | 180 15300 107100 | 2147483647 15316 52 | 0.003 % |
2.48/2.57 c | 20614 | 180 15300 107100 | 2147483647 15465 52 | 0.003 % |
2.58/2.60 c | 20774 | 180 15300 107100 | 2147483647 15625 52 | 0.003 % |
2.58/2.63 c | 20950 | 180 15300 107100 | 2147483647 15801 52 | 0.003 % |
2.58/2.67 c | 21143 | 180 15300 107100 | 2147483647 15994 52 | 0.003 % |
2.68/2.71 c | 21355 | 180 15300 107100 | 2147483647 16206 52 | 0.003 % |
2.68/2.76 c | 21590 | 180 15300 107100 | 2147483647 16441 52 | 0.003 % |
2.78/2.83 c | 21846 | 180 15300 107100 | 2147483647 16697 52 | 0.003 % |
2.78/2.88 c | 22128 | 180 15300 107100 | 2147483647 16979 52 | 0.003 % |
2.88/2.94 c | 22437 | 180 15300 107100 | 2147483647 17288 52 | 0.003 % |
2.98/3.01 c | 22777 | 180 15300 107100 | 2147483647 17628 52 | 0.003 % |
2.98/3.09 c | 23149 | 180 15300 107100 | 2147483647 18000 53 | 0.003 % |
3.08/3.17 c | 23560 | 180 15300 107100 | 2147483647 18411 53 | 0.003 % |
3.18/3.21 c | 23662 | 180 15300 107100 | 2147483647 18513 53 | 0.003 % |
3.18/3.23 c | 23774 | 180 15300 107100 | 2147483647 18625 53 | 0.003 % |
3.18/3.26 c | 23895 | 180 15300 107100 | 2147483647 18746 53 | 0.003 % |
3.18/3.29 c | 24030 | 180 15300 107100 | 2147483647 18881 53 | 0.003 % |
3.28/3.33 c | 24178 | 180 15300 107100 | 2147483647 19029 53 | 0.003 % |
3.28/3.36 c | 24338 | 180 15300 107100 | 2147483647 19189 53 | 0.003 % |
3.38/3.40 c | 24514 | 180 15300 107100 | 2147483647 19365 53 | 0.003 % |
3.38/3.45 c | 24707 | 180 15300 107100 | 2147483647 19558 53 | 0.003 % |
3.48/3.51 c | 24919 | 180 15300 107100 | 2147483647 19770 53 | 0.003 % |
3.48/3.57 c | 25153 | 180 15300 107100 | 2147483647 20004 53 | 0.003 % |
3.58/3.63 c | 25410 | 180 15300 107100 | 2147483647 20261 53 | 0.003 % |
3.68/3.71 c | 25692 | 180 15300 107100 | 2147483647 20543 53 | 0.003 % |
3.68/3.79 c | 26003 | 180 15300 107100 | 2147483647 20854 53 | 0.003 % |
3.78/3.87 c | 26342 | 180 15300 107100 | 2147483647 21193 53 | 0.003 % |
3.88/3.96 c | 26714 | 180 15300 107100 | 2147483647 21565 53 | 0.003 % |
3.97/4.06 c | 27124 | 180 15300 107100 | 2147483647 21975 53 | 0.003 % |
4.07/4.17 c | 27573 | 180 15300 107100 | 2147483647 22424 53 | 0.003 % |
4.17/4.20 c | 27673 | 180 15300 107100 | 2147483647 22524 53 | 0.003 % |
4.17/4.23 c | 27786 | 180 15300 107100 | 2147483647 22637 53 | 0.003 % |
4.17/4.26 c | 27908 | 180 15300 107100 | 2147483647 22759 53 | 0.003 % |
4.28/4.30 c | 28041 | 180 15300 107100 | 2147483647 22892 53 | 0.003 % |
4.28/4.35 c | 28188 | 180 15300 107100 | 2147483647 23039 53 | 0.003 % |
4.28/4.39 c | 28350 | 180 15300 107100 | 2147483647 23201 53 | 0.003 % |
4.38/4.44 c | 28526 | 180 15300 107100 | 2147483647 23377 53 | 0.003 % |
4.47/4.50 c | 28719 | 180 15300 107100 | 2147483647 23570 53 | 0.003 % |
4.47/4.56 c | 28933 | 180 15300 107100 | 2147483647 23784 53 | 0.003 % |
4.57/4.64 c | 29168 | 180 15300 107100 | 2147483647 24019 53 | 0.003 % |
4.67/4.71 c | 29428 | 180 15300 107100 | 2147483647 24279 53 | 0.003 % |
4.67/4.79 c | 29711 | 180 15300 107100 | 2147483647 24562 53 | 0.003 % |
4.77/4.87 c | 30021 | 180 15300 107100 | 2147483647 24872 53 | 0.003 % |
4.87/4.98 c | 30360 | 180 15300 107100 | 2147483647 25211 53 | 0.003 % |
4.97/5.08 c | 30733 | 180 15300 107100 | 2147483647 25584 53 | 0.003 % |
5.17/5.20 c | 31142 | 180 15300 107100 | 2147483647 25993 53 | 0.003 % |
5.27/5.33 c | 31593 | 180 15300 107100 | 2147483647 26444 53 | 0.003 % |
5.37/5.50 c | 32087 | 180 15300 107100 | 2147483647 26938 53 | 0.003 % |
5.47/5.53 c | 32187 | 180 15300 107100 | 2147483647 27038 53 | 0.003 % |
5.47/5.57 c | 32299 | 180 15300 107100 | 2147483647 27150 53 | 0.003 % |
5.57/5.61 c | 32420 | 180 15300 107100 | 2147483647 27271 53 | 0.003 % |
5.57/5.66 c | 32554 | 180 15300 107100 | 2147483647 27405 53 | 0.003 % |
5.66/5.72 c | 32700 | 180 15300 107100 | 2147483647 27551 53 | 0.003 % |
5.66/5.78 c | 32860 | 180 15300 107100 | 2147483647 27711 53 | 0.003 % |
5.76/5.84 c | 33037 | 180 15300 107100 | 2147483647 27888 53 | 0.003 % |
5.86/5.91 c | 33231 | 180 15300 107100 | 2147483647 28082 53 | 0.003 % |
5.86/5.98 c | 33444 | 180 15300 107100 | 2147483647 28295 53 | 0.003 % |
5.96/6.06 c | 33677 | 180 15300 107100 | 2147483647 28528 53 | 0.003 % |
6.06/6.16 c | 33934 | 180 15300 107100 | 2147483647 28785 53 | 0.003 % |
6.16/6.26 c | 34215 | 180 15300 107100 | 2147483647 29066 53 | 0.003 % |
6.26/6.35 c | 34524 | 180 15300 107100 | 2147483647 29375 53 | 0.003 % |
6.36/6.49 c | 34865 | 180 15300 107100 | 2147483647 29716 53 | 0.003 % |
6.57/6.63 c | 35237 | 180 15300 107100 | 2147483647 30088 53 | 0.003 % |
6.67/6.77 c | 35647 | 180 15300 107100 | 2147483647 30498 53 | 0.003 % |
6.87/6.91 c | 36098 | 180 15300 107100 | 2147483647 30949 53 | 0.003 % |
7.07/7.10 c | 36593 | 180 15300 107100 | 2147483647 31444 53 | 0.003 % |
7.17/7.29 c | 37135 | 180 15300 107100 | 2147483647 31986 53 | 0.003 % |
7.27/7.33 c | 37235 | 180 15300 107100 | 2147483647 32086 53 | 0.003 % |
7.27/7.37 c | 37347 | 180 15300 107100 | 2147483647 32198 53 | 0.003 % |
7.37/7.42 c | 37468 | 180 15300 107100 | 2147483647 32319 53 | 0.003 % |
7.37/7.48 c | 37601 | 180 15300 107100 | 2147483647 32452 53 | 0.003 % |
7.47/7.54 c | 37748 | 180 15300 107100 | 2147483647 32599 53 | 0.003 % |
7.57/7.61 c | 37908 | 180 15300 107100 | 2147483647 32759 53 | 0.003 % |
7.57/7.68 c | 38084 | 180 15300 107100 | 2147483647 32935 53 | 0.003 % |
7.67/7.76 c | 38278 | 180 15300 107100 | 2147483647 33129 53 | 0.003 % |
7.77/7.85 c | 38491 | 180 15300 107100 | 2147483647 33342 53 | 0.003 % |
7.87/7.95 c | 38724 | 180 15300 107100 | 2147483647 33575 53 | 0.003 % |
7.97/8.03 c | 38983 | 180 15300 107100 | 2147483647 33834 53 | 0.003 % |
8.06/8.13 c | 39264 | 180 15300 107100 | 2147483647 34115 53 | 0.003 % |
8.16/8.24 c | 39575 | 180 15300 107100 | 2147483647 34426 53 | 0.003 % |
8.26/8.37 c | 39915 | 180 15300 107100 | 2147483647 34766 53 | 0.003 % |
8.46/8.51 c | 40287 | 180 15300 107100 | 2147483647 35138 53 | 0.003 % |
8.56/8.69 c | 40697 | 180 15300 107100 | 2147483647 35548 53 | 0.003 % |
8.77/8.87 c | 41146 | 180 15300 107100 | 2147483647 35997 53 | 0.003 % |
8.96/9.05 c | 41640 | 180 15300 107100 | 2147483647 36491 53 | 0.003 % |
9.26/9.30 c | 42183 | 180 15300 107100 | 2147483647 37034 53 | 0.003 % |
9.46/9.56 c | 42779 | 180 15300 107100 | 2147483647 37630 53 | 0.003 % |
9.56/9.60 c | 42879 | 180 15300 107100 | 2147483647 37730 53 | 0.003 % |
9.56/9.65 c | 42990 | 180 15300 107100 | 2147483647 37841 53 | 0.003 % |
9.66/9.72 c | 43113 | 180 15300 107100 | 2147483647 37964 53 | 0.003 % |
9.66/9.79 c | 43247 | 180 15300 107100 | 2147483647 38098 53 | 0.003 % |
9.76/9.85 c | 43393 | 180 15300 107100 | 2147483647 38244 53 | 0.003 % |
9.86/9.92 c | 43553 | 180 15300 107100 | 2147483647 38404 53 | 0.003 % |
9.96/10.02 c | 43729 | 180 15300 107100 | 2147483647 38580 53 | 0.003 % |
10.07/10.13 c | 43922 | 180 15300 107100 | 2147483647 38773 53 | 0.003 % |
10.17/10.23 c | 44134 | 180 15300 107100 | 2147483647 38985 53 | 0.003 % |
10.27/10.34 c | 44367 | 180 15300 107100 | 2147483647 39218 53 | 0.003 % |
10.37/10.48 c | 44623 | 180 15300 107100 | 2147483647 39474 53 | 0.003 % |
10.56/10.61 c | 44904 | 180 15300 107100 | 2147483647 39755 53 | 0.003 % |
10.66/10.74 c | 45214 | 180 15300 107100 | 2147483647 40065 53 | 0.003 % |
10.87/10.90 c | 45553 | 180 15300 107100 | 2147483647 40404 53 | 0.003 % |
11.07/11.11 c | 45926 | 180 15300 107100 | 2147483647 40777 53 | 0.003 % |
11.26/11.31 c | 46335 | 180 15300 107100 | 2147483647 41186 53 | 0.003 % |
11.46/11.53 c | 46784 | 180 15300 107100 | 2147483647 41635 53 | 0.003 % |
11.66/11.74 c | 47277 | 180 15300 107100 | 2147483647 42128 53 | 0.003 % |
11.86/11.99 c | 47819 | 180 15300 107100 | 2147483647 42670 53 | 0.003 % |
12.16/12.27 c | 48415 | 180 15300 107100 | 2147483647 43266 53 | 0.003 % |
12.46/12.56 c | 49070 | 180 15300 107100 | 2147483647 43921 53 | 0.003 % |
12.56/12.62 c | 49172 | 180 15300 107100 | 2147483647 44023 53 | 0.003 % |
12.56/12.68 c | 49282 | 180 15300 107100 | 2147483647 44133 53 | 0.003 % |
12.66/12.75 c | 49403 | 180 15300 107100 | 2147483647 44254 53 | 0.003 % |
12.76/12.81 c | 49536 | 180 15300 107100 | 2147483647 44387 53 | 0.003 % |
12.86/12.90 c | 49682 | 180 15300 107100 | 2147483647 44533 53 | 0.003 % |
12.86/12.99 c | 49842 | 180 15300 107100 | 2147483647 44693 53 | 0.003 % |
12.96/13.09 c | 50019 | 180 15300 107100 | 2147483647 44870 53 | 0.003 % |
13.16/13.20 c | 50212 | 180 15300 107100 | 2147483647 45063 53 | 0.003 % |
13.26/13.31 c | 50427 | 180 15300 107100 | 2147483647 45278 53 | 0.003 % |
13.36/13.43 c | 50660 | 180 15300 107100 | 2147483647 45511 53 | 0.003 % |
13.46/13.57 c | 50918 | 180 15300 107100 | 2147483647 45769 53 | 0.003 % |
13.66/13.72 c | 51200 | 180 15300 107100 | 2147483647 46051 53 | 0.003 % |
13.76/13.88 c | 51509 | 180 15300 107100 | 2147483647 46360 53 | 0.003 % |
14.06/14.12 c | 51848 | 180 15300 107100 | 2147483647 46699 53 | 0.003 % |
14.26/14.35 c | 52222 | 180 15300 107100 | 2147483647 47073 53 | 0.003 % |
14.46/14.57 c | 52632 | 180 15300 107100 | 2147483647 47483 53 | 0.003 % |
14.76/14.81 c | 53081 | 180 15300 107100 | 2147483647 47932 53 | 0.003 % |
15.06/15.13 c | 53575 | 180 15300 107100 | 2147483647 48426 53 | 0.003 % |
15.37/15.45 c | 54119 | 180 15300 107100 | 2147483647 48970 53 | 0.003 % |
15.66/15.77 c | 54715 | 180 15300 107100 | 2147483647 49566 53 | 0.003 % |
16.06/16.12 c | 55372 | 180 15300 107100 | 2147483647 50223 53 | 0.003 % |
16.46/16.51 c | 56093 | 180 15300 107100 | 2147483647 50944 53 | 0.003 % |
16.46/16.59 c | 56194 | 180 15300 107100 | 2147483647 51045 53 | 0.003 % |
16.56/16.68 c | 56304 | 180 15300 107100 | 2147483647 51155 53 | 0.003 % |
16.66/16.76 c | 56426 | 180 15300 107100 | 2147483647 51277 53 | 0.003 % |
16.76/16.84 c | 56560 | 180 15300 107100 | 2147483647 51411 53 | 0.003 % |
16.86/16.95 c | 56706 | 180 15300 107100 | 2147483647 51557 53 | 0.003 % |
16.96/17.06 c | 56866 | 180 15300 107100 | 2147483647 51717 53 | 0.003 % |
17.06/17.16 c | 57043 | 180 15300 107100 | 2147483647 51894 53 | 0.003 % |
17.25/17.31 c | 57238 | 180 15300 107100 | 2147483647 52089 53 | 0.003 % |
17.35/17.45 c | 57450 | 180 15300 107100 | 2147483647 52301 53 | 0.003 % |
17.46/17.60 c | 57684 | 180 15300 107100 | 2147483647 52535 53 | 0.003 % |
17.65/17.75 c | 57940 | 180 15300 107100 | 2147483647 52791 53 | 0.003 % |
17.85/17.94 c | 58221 | 180 15300 107100 | 2147483647 53072 53 | 0.003 % |
18.05/18.13 c | 58530 | 180 15300 107100 | 2147483647 53381 53 | 0.003 % |
18.26/18.35 c | 58869 | 180 15300 107100 | 2147483647 53720 53 | 0.003 % |
18.46/18.57 c | 59242 | 180 15300 107100 | 2147483647 54093 53 | 0.003 % |
18.76/18.80 c | 59652 | 180 15300 107100 | 2147483647 54503 53 | 0.003 % |
18.96/19.05 c | 60101 | 180 15300 107100 | 2147483647 54952 53 | 0.003 % |
19.26/19.33 c | 60595 | 180 15300 107100 | 2147483647 55446 53 | 0.003 % |
19.66/19.71 c | 61139 | 180 15300 107100 | 2147483647 55990 53 | 0.003 % |
20.06/20.12 c | 61736 | 180 15300 107100 | 2147483647 56587 53 | 0.003 % |
20.46/20.50 c | 62393 | 180 15300 107100 | 2147483647 57244 53 | 0.003 % |
20.86/20.98 c | 63114 | 180 15300 107100 | 2147483647 57965 53 | 0.003 % |
21.36/21.46 c | 63906 | 180 15300 107100 | 2147483647 58757 53 | 0.003 % |
21.46/21.52 c | 64008 | 180 15300 107100 | 2147483647 58859 53 | 0.003 % |
21.56/21.62 c | 64118 | 180 15300 107100 | 2147483647 58969 53 | 0.003 % |
21.66/21.71 c | 64242 | 180 15300 107100 | 2147483647 59093 53 | 0.003 % |
21.76/21.81 c | 64375 | 180 15300 107100 | 2147483647 59226 53 | 0.003 % |
21.86/21.92 c | 64522 | 180 15300 107100 | 2147483647 59373 53 | 0.003 % |
21.96/22.07 c | 64682 | 180 15300 107100 | 2147483647 59533 53 | 0.003 % |
22.16/22.20 c | 64860 | 180 15300 107100 | 2147483647 59711 53 | 0.003 % |
22.26/22.34 c | 65053 | 180 15300 107100 | 2147483647 59904 53 | 0.003 % |
22.46/22.51 c | 65266 | 180 15300 107100 | 2147483647 60117 53 | 0.003 % |
22.56/22.70 c | 65499 | 180 15300 107100 | 2147483647 60350 53 | 0.003 % |
22.75/22.88 c | 65757 | 180 15300 107100 | 2147483647 60608 53 | 0.003 % |
22.96/23.08 c | 66038 | 180 15300 107100 | 2147483647 60889 53 | 0.003 % |
23.25/23.32 c | 66348 | 180 15300 107100 | 2147483647 61199 53 | 0.003 % |
23.55/23.60 c | 66687 | 180 15300 107100 | 2147483647 61538 53 | 0.003 % |
23.75/23.88 c | 67060 | 180 15300 107100 | 2147483647 61911 53 | 0.003 % |
24.06/24.20 c | 67469 | 180 15300 107100 | 2147483647 62320 53 | 0.003 % |
24.45/24.52 c | 67918 | 180 15300 107100 | 2147483647 62769 53 | 0.003 % |
24.75/24.86 c | 68411 | 180 15300 107100 | 2147483647 63262 53 | 0.003 % |
25.16/25.24 c | 68953 | 180 15300 107100 | 2147483647 63804 53 | 0.003 % |
25.55/25.63 c | 69549 | 180 15300 107100 | 2147483647 64400 53 | 0.003 % |
26.05/26.19 c | 70204 | 180 15300 107100 | 2147483647 65055 53 | 0.003 % |
26.64/26.75 c | 70925 | 180 15300 107100 | 2147483647 65776 53 | 0.003 % |
27.24/27.36 c | 71718 | 180 15300 107100 | 2147483647 66569 53 | 0.003 % |
27.85/27.98 c | 72589 | 180 15300 107100 | 2147483647 67440 53 | 0.003 % |
27.95/28.08 c | 72690 | 180 15300 107100 | 2147483647 67541 53 | 0.003 % |
28.05/28.18 c | 72800 | 180 15300 107100 | 2147483647 67651 53 | 0.003 % |
28.25/28.31 c | 72922 | 180 15300 107100 | 2147483647 67773 53 | 0.003 % |
28.35/28.43 c | 73056 | 180 15300 107100 | 2147483647 67907 53 | 0.003 % |
28.45/28.58 c | 73202 | 180 15300 107100 | 2147483647 68053 53 | 0.003 % |
28.64/28.73 c | 73362 | 180 15300 107100 | 2147483647 68213 53 | 0.003 % |
28.74/28.88 c | 73538 | 180 15300 107100 | 2147483647 68389 53 | 0.003 % |
28.94/29.05 c | 73732 | 180 15300 107100 | 2147483647 68583 53 | 0.003 % |
29.14/29.22 c | 73945 | 180 15300 107100 | 2147483647 68796 53 | 0.003 % |
29.34/29.41 c | 74178 | 180 15300 107100 | 2147483647 69029 53 | 0.003 % |
29.55/29.60 c | 74435 | 180 15300 107100 | 2147483647 69286 53 | 0.003 % |
29.74/29.83 c | 74716 | 180 15300 107100 | 2147483647 69567 53 | 0.003 % |
29.94/30.08 c | 75025 | 180 15300 107100 | 2147483647 69876 53 | 0.003 % |
30.24/30.39 c | 75365 | 180 15300 107100 | 2147483647 70216 53 | 0.003 % |
30.65/30.71 c | 75738 | 180 15300 107100 | 2147483647 70589 53 | 0.003 % |
30.94/31.01 c | 76148 | 180 15300 107100 | 2147483647 70999 53 | 0.003 % |
31.24/31.37 c | 76598 | 180 15300 107100 | 2147483647 71449 53 | 0.003 % |
31.74/31.88 c | 77093 | 180 15300 107100 | 2147483647 71944 53 | 0.003 % |
32.24/32.36 c | 77635 | 180 15300 107100 | 2147483647 72486 53 | 0.003 % |
32.74/32.82 c | 78231 | 180 15300 107100 | 2147483647 73082 53 | 0.003 % |
33.14/33.28 c | 78886 | 180 15300 107100 | 2147483647 73737 53 | 0.003 % |
33.64/33.77 c | 79609 | 180 15300 107100 | 2147483647 74460 53 | 0.003 % |
34.34/34.42 c | 80401 | 180 15300 107100 | 74853 64210 53 | 0.003 % |
34.84/34.98 c | 81272 | 180 15300 107100 | 74853 65081 53 | 0.003 % |
35.54/35.65 c | 82233 | 180 15300 107100 | 74853 66042 53 | 0.003 % |
35.64/35.72 c | 82335 | 180 15300 107100 | 74853 66144 53 | 0.003 % |
35.64/35.79 c | 82445 | 180 15300 107100 | 74853 66254 53 | 0.003 % |
35.74/35.88 c | 82569 | 180 15300 107100 | 74853 66378 53 | 0.003 % |
35.94/36.03 c | 82702 | 180 15300 107100 | 74853 66511 53 | 0.003 % |
36.04/36.14 c | 82848 | 180 15300 107100 | 74853 66657 53 | 0.003 % |
36.14/36.27 c | 83009 | 180 15300 107100 | 74853 66818 53 | 0.003 % |
36.34/36.44 c | 83185 | 180 15300 107100 | 74853 66994 53 | 0.003 % |
36.54/36.60 c | 83378 | 180 15300 107100 | 74853 67187 53 | 0.003 % |
36.64/36.76 c | 83592 | 180 15300 107100 | 74853 67401 53 | 0.003 % |
36.84/36.98 c | 83827 | 180 15300 107100 | 74853 67636 53 | 0.003 % |
37.14/37.22 c | 84083 | 180 15300 107100 | 74853 67892 53 | 0.003 % |
37.34/37.50 c | 84366 | 180 15300 107100 | 74853 68175 53 | 0.003 % |
37.64/37.76 c | 84676 | 180 15300 107100 | 74853 68485 53 | 0.003 % |
37.93/38.02 c | 85015 | 180 15300 107100 | 74853 68824 53 | 0.003 % |
38.23/38.34 c | 85387 | 180 15300 107100 | 74853 69196 53 | 0.003 % |
38.53/38.69 c | 85796 | 180 15300 107100 | 74853 69605 53 | 0.003 % |
38.93/39.04 c | 86246 | 180 15300 107100 | 74853 70055 53 | 0.003 % |
39.33/39.42 c | 86739 | 180 15300 107100 | 74853 70548 53 | 0.003 % |
39.73/39.81 c | 87281 | 180 15300 107100 | 74853 71090 53 | 0.003 % |
40.13/40.21 c | 87877 | 180 15300 107100 | 74853 71686 53 | 0.003 % |
40.54/40.66 c | 88532 | 180 15300 107100 | 74853 72341 53 | 0.003 % |
41.23/41.31 c | 89252 | 180 15300 107100 | 74853 73061 53 | 0.003 % |
41.83/41.98 c | 90044 | 180 15300 107100 | 73810 73853 53 | 0.003 % |
42.53/42.68 c | 90915 | 180 15300 107100 | 73810 63359 53 | 0.003 % |
43.23/43.39 c | 91874 | 180 15300 107100 | 73810 64318 53 | 0.003 % |
43.94/44.10 c | 92927 | 180 15300 107100 | 73810 65371 53 | 0.003 % |
44.03/44.17 c | 93028 | 180 15300 107100 | 73810 65472 53 | 0.003 % |
44.13/44.28 c | 93138 | 180 15300 107100 | 73810 65582 53 | 0.003 % |
44.23/44.38 c | 93259 | 180 15300 107100 | 73810 65703 53 | 0.003 % |
44.33/44.48 c | 93392 | 180 15300 107100 | 73810 65836 53 | 0.003 % |
44.53/44.61 c | 93539 | 180 15300 107100 | 73810 65983 53 | 0.003 % |
44.63/44.78 c | 93699 | 180 15300 107100 | 73810 66143 53 | 0.003 % |
44.83/44.93 c | 93875 | 180 15300 107100 | 73810 66319 53 | 0.003 % |
44.94/45.09 c | 94068 | 180 15300 107100 | 73810 66512 53 | 0.003 % |
45.13/45.27 c | 94283 | 180 15300 107100 | 73810 66727 53 | 0.003 % |
45.33/45.45 c | 94517 | 180 15300 107100 | 73810 66961 53 | 0.003 % |
45.53/45.67 c | 94774 | 180 15300 107100 | 73810 67218 53 | 0.003 % |
45.73/45.88 c | 95056 | 180 15300 107100 | 73810 67500 53 | 0.003 % |
46.03/46.15 c | 95366 | 180 15300 107100 | 73810 67810 53 | 0.003 % |
46.33/46.44 c | 95707 | 180 15300 107100 | 73810 68151 53 | 0.003 % |
46.63/46.74 c | 96079 | 180 15300 107100 | 73810 68523 53 | 0.003 % |
47.03/47.14 c | 96488 | 180 15300 107100 | 73810 68932 53 | 0.003 % |
47.43/47.55 c | 96937 | 180 15300 107100 | 73810 69381 53 | 0.003 % |
47.83/47.95 c | 97432 | 180 15300 107100 | 73810 69876 53 | 0.003 % |
48.23/48.34 c | 97974 | 180 15300 107100 | 73810 70418 53 | 0.003 % |
48.63/48.76 c | 98571 | 180 15300 107100 | 73810 71015 53 | 0.003 % |
49.23/49.30 c | 99228 | 180 15300 107100 | 73810 71672 53 | 0.003 % |
49.73/49.88 c | 99950 | 180 15300 107100 | 73810 72394 53 | 0.003 % |
50.33/50.48 c | 100744 | 180 15300 107100 | 72444 61897 53 | 0.003 % |
50.93/51.06 c | 101617 | 180 15300 107100 | 72444 62770 53 | 0.003 % |
51.53/51.61 c | 102575 | 180 15300 107100 | 72444 63728 53 | 0.003 % |
52.33/52.48 c | 103628 | 180 15300 107100 | 72444 64781 53 | 0.003 % |
53.13/53.29 c | 104787 | 180 15300 107100 | 72444 65940 53 | 0.003 % |
53.23/53.37 c | 104891 | 180 15300 107100 | 72444 66044 53 | 0.003 % |
53.33/53.45 c | 105001 | 180 15300 107100 | 72444 66154 53 | 0.003 % |
53.43/53.58 c | 105123 | 180 15300 107100 | 72444 66276 53 | 0.003 % |
53.53/53.69 c | 105259 | 180 15300 107100 | 72444 66412 53 | 0.003 % |
53.63/53.80 c | 105405 | 180 15300 107100 | 72444 66558 53 | 0.003 % |
53.83/53.92 c | 105567 | 180 15300 107100 | 72444 66720 53 | 0.003 % |
53.93/54.09 c | 105744 | 180 15300 107100 | 72444 66897 53 | 0.003 % |
54.13/54.25 c | 105938 | 180 15300 107100 | 72444 67091 53 | 0.003 % |
54.33/54.42 c | 106150 | 180 15300 107100 | 72444 67303 53 | 0.003 % |
54.53/54.60 c | 106383 | 180 15300 107100 | 72444 67536 53 | 0.003 % |
54.72/54.81 c | 106640 | 180 15300 107100 | 72444 67793 53 | 0.003 % |
54.93/55.02 c | 106922 | 180 15300 107100 | 72444 68075 53 | 0.003 % |
55.12/55.24 c | 107231 | 180 15300 107100 | 72444 68384 53 | 0.003 % |
55.32/55.49 c | 107574 | 180 15300 107100 | 72444 68727 53 | 0.003 % |
55.72/55.85 c | 107949 | 180 15300 107100 | 72444 69102 53 | 0.003 % |
56.03/56.17 c | 108358 | 180 15300 107100 | 72444 69511 53 | 0.003 % |
56.42/56.51 c | 108807 | 180 15300 107100 | 72444 69960 53 | 0.003 % |
56.72/56.89 c | 109300 | 180 15300 107100 | 72444 70453 53 | 0.003 % |
57.13/57.27 c | 109844 | 180 15300 107100 | 72444 70997 53 | 0.003 % |
57.62/57.73 c | 110440 | 180 15300 107100 | 71154 61284 53 | 0.003 % |
58.02/58.18 c | 111095 | 180 15300 107100 | 71154 61939 53 | 0.003 % |
58.62/58.78 c | 111815 | 180 15300 107100 | 71154 62659 53 | 0.003 % |
59.23/59.33 c | 112609 | 180 15300 107100 | 71154 63453 53 | 0.003 % |
59.72/59.89 c | 113480 | 180 15300 107100 | 71154 64324 53 | 0.003 % |
60.43/60.53 c | 114438 | 180 15300 107100 | 71154 65282 53 | 0.003 % |
61.12/61.21 c | 115492 | 180 15300 107100 | 71154 66336 53 | 0.003 % |
61.82/61.93 c | 116650 | 180 15300 107100 | 71154 67494 53 | 0.003 % |
62.63/62.74 c | 117924 | 180 15300 107100 | 71154 68768 53 | 0.003 % |
62.72/62.81 c | 118025 | 180 15300 107100 | 71154 68869 53 | 0.003 % |
62.82/62.94 c | 118135 | 180 15300 107100 | 71154 68979 53 | 0.003 % |
62.92/63.05 c | 118257 | 180 15300 107100 | 71154 69101 53 | 0.003 % |
63.02/63.16 c | 118390 | 180 15300 107100 | 71154 69234 53 | 0.003 % |
63.12/63.27 c | 118536 | 180 15300 107100 | 71154 69380 53 | 0.003 % |
63.32/63.44 c | 118697 | 180 15300 107100 | 71154 69541 53 | 0.003 % |
63.42/63.59 c | 118873 | 180 15300 107100 | 71154 69717 53 | 0.003 % |
63.62/63.75 c | 119067 | 180 15300 107100 | 71154 69911 53 | 0.003 % |
63.82/63.96 c | 119280 | 180 15300 107100 | 71154 70124 53 | 0.003 % |
64.02/64.15 c | 119513 | 180 15300 107100 | 71154 70357 53 | 0.003 % |
64.32/64.40 c | 119771 | 180 15300 107100 | 71154 70615 53 | 0.003 % |
64.52/64.64 c | 120054 | 180 15300 107100 | 70845 70898 53 | 0.003 % |
64.82/64.96 c | 120364 | 180 15300 107100 | 70845 61358 53 | 0.003 % |
65.12/65.23 c | 120703 | 180 15300 107100 | 70845 61697 53 | 0.003 % |
65.32/65.48 c | 121077 | 180 15300 107100 | 70845 62071 53 | 0.003 % |
65.72/65.83 c | 121487 | 180 15300 107100 | 70845 62481 53 | 0.003 % |
66.02/66.18 c | 121936 | 180 15300 107100 | 70845 62930 53 | 0.003 % |
66.42/66.57 c | 122429 | 180 15300 107100 | 70845 63423 53 | 0.003 % |
66.82/66.93 c | 122972 | 180 15300 107100 | 70845 63966 53 | 0.003 % |
67.22/67.32 c | 123568 | 180 15300 107100 | 70845 64562 53 | 0.003 % |
67.82/67.91 c | 124225 | 180 15300 107100 | 70845 65219 53 | 0.003 % |
68.32/68.45 c | 124946 | 180 15300 107100 | 70845 65940 53 | 0.003 % |
68.92/69.04 c | 125738 | 180 15300 107100 | 70845 66732 53 | 0.003 % |
69.52/69.67 c | 126611 | 180 15300 107100 | 70845 67605 53 | 0.003 % |
70.22/70.35 c | 127569 | 180 15300 107100 | 70845 68563 53 | 0.003 % |
71.12/71.25 c | 128623 | 180 15300 107100 | 70845 69617 53 | 0.003 % |
72.02/72.12 c | 129781 | 180 15300 107100 | 70845 70775 53 | 0.003 % |
72.81/72.96 c | 131055 | 180 15300 107100 | 60813 53203 53 | 0.003 % |
73.71/73.80 c | 132455 | 180 15300 107100 | 60813 54603 53 | 0.003 % |
73.71/73.86 c | 132555 | 180 15300 107100 | 60813 54703 53 | 0.003 % |
73.81/73.95 c | 132666 | 180 15300 107100 | 60813 54814 53 | 0.003 % |
73.91/74.02 c | 132790 | 180 15300 107100 | 60813 54938 53 | 0.003 % |
74.01/74.12 c | 132924 | 180 15300 107100 | 60813 55072 53 | 0.003 % |
74.11/74.22 c | 133070 | 180 15300 107100 | 60813 55218 53 | 0.003 % |
74.21/74.34 c | 133233 | 180 15300 107100 | 60813 55381 53 | 0.003 % |
74.31/74.47 c | 133412 | 180 15300 107100 | 60813 55560 53 | 0.003 % |
74.51/74.61 c | 133605 | 180 15300 107100 | 60813 55753 53 | 0.003 % |
74.61/74.74 c | 133818 | 180 15300 107100 | 60813 55966 53 | 0.003 % |
74.71/74.88 c | 134053 | 180 15300 107100 | 60813 56201 53 | 0.003 % |
74.91/75.07 c | 134310 | 180 15300 107100 | 60813 56458 53 | 0.003 % |
75.11/75.26 c | 134594 | 180 15300 107100 | 60813 56742 53 | 0.003 % |
75.31/75.47 c | 134903 | 180 15300 107100 | 60813 57051 53 | 0.003 % |
75.61/75.70 c | 135243 | 180 15300 107100 | 60813 57391 53 | 0.003 % |
75.81/75.96 c | 135616 | 180 15300 107100 | 60813 57764 53 | 0.003 % |
76.11/76.22 c | 136025 | 180 15300 107100 | 60813 58173 53 | 0.003 % |
76.41/76.55 c | 136474 | 180 15300 107100 | 60813 58622 53 | 0.003 % |
76.81/76.91 c | 136968 | 180 15300 107100 | 60813 59116 53 | 0.003 % |
77.11/77.27 c | 137511 | 180 15300 107100 | 60813 59659 53 | 0.003 % |
77.61/77.70 c | 138108 | 180 15300 107100 | 60813 60256 53 | 0.003 % |
78.01/78.20 c | 138766 | 180 15300 107100 | 60813 54510 53 | 0.003 % |
78.51/78.64 c | 139486 | 180 15300 107100 | 60813 55230 53 | 0.003 % |
79.01/79.15 c | 140279 | 180 15300 107100 | 55744 50361 53 | 0.003 % |
79.51/79.61 c | 141150 | 180 15300 107100 | 55744 51232 53 | 0.003 % |
80.01/80.11 c | 142108 | 180 15300 107100 | 55744 52190 53 | 0.003 % |
80.50/80.67 c | 143161 | 180 15300 107100 | 55744 53243 53 | 0.003 % |
81.21/81.37 c | 144320 | 180 15300 107100 | 55744 54402 53 | 0.003 % |
82.00/82.13 c | 145593 | 180 15300 107100 | 55744 55675 53 | 0.003 % |
82.80/82.99 c | 146993 | 180 15300 107100 | 55744 51493 53 | 0.003 % |
83.80/83.91 c | 148533 | 180 15300 107100 | 55744 53033 53 | 0.003 % |
83.80/83.99 c | 148635 | 180 15300 107100 | 55744 53135 53 | 0.003 % |
83.90/84.06 c | 148748 | 180 15300 107100 | 55744 53248 53 | 0.003 % |
84.00/84.14 c | 148869 | 180 15300 107100 | 55744 53369 53 | 0.003 % |
84.10/84.21 c | 149002 | 180 15300 107100 | 55744 53502 53 | 0.003 % |
84.20/84.33 c | 149150 | 180 15300 107100 | 55744 53650 53 | 0.003 % |
84.30/84.44 c | 149310 | 180 15300 107100 | 55744 53810 53 | 0.003 % |
84.40/84.56 c | 149486 | 180 15300 107100 | 55744 53986 53 | 0.003 % |
84.51/84.68 c | 149680 | 180 15300 107100 | 55744 54180 53 | 0.003 % |
84.70/84.80 c | 149893 | 180 15300 107100 | 55744 54393 53 | 0.003 % |
84.80/84.94 c | 150126 | 180 15300 107100 | 2147483647 54626 53 | 0.003 % |
85.00/85.10 c | 150383 | 180 15300 107100 | 2147483647 54883 53 | 0.003 % |
85.10/85.28 c | 150664 | 180 15300 107100 | 2147483647 55164 53 | 0.003 % |
85.30/85.44 c | 150974 | 180 15300 107100 | 2147483647 55474 53 | 0.003 % |
85.50/85.65 c | 151314 | 180 15300 107100 | 2147483647 55814 53 | 0.003 % |
85.71/85.87 c | 151686 | 180 15300 107100 | 2147483647 56186 53 | 0.003 % |
86.00/86.13 c | 152095 | 180 15300 107100 | 2147483647 56595 53 | 0.003 % |
86.30/86.45 c | 152544 | 180 15300 107100 | 2147483647 57044 53 | 0.003 % |
86.60/86.76 c | 153038 | 180 15300 107100 | 2147483647 57538 53 | 0.003 % |
87.00/87.11 c | 153580 | 180 15300 107100 | 2147483647 58080 53 | 0.003 % |
87.40/87.52 c | 154178 | 180 15300 107100 | 2147483647 58678 53 | 0.003 % |
87.70/87.87 c | 154833 | 180 15300 107100 | 2147483647 59333 53 | 0.003 % |
88.20/88.34 c | 155553 | 180 15300 107100 | 2147483647 60053 53 | 0.003 % |
88.80/88.93 c | 156346 | 180 15300 107100 | 2147483647 60846 53 | 0.003 % |
89.40/89.60 c | 157218 | 180 15300 107100 | 2147483647 61718 53 | 0.003 % |
90.11/90.28 c | 158176 | 180 15300 107100 | 2147483647 62676 53 | 0.003 % |
90.90/91.00 c | 159229 | 180 15300 107100 | 2147483647 63729 53 | 0.003 % |
91.60/91.72 c | 160387 | 180 15300 107100 | 2147483647 64887 53 | 0.003 % |
92.40/92.51 c | 161660 | 180 15300 107100 | 2147483647 66160 53 | 0.003 % |
93.30/93.46 c | 163063 | 180 15300 107100 | 2147483647 67563 53 | 0.003 % |
94.60/94.73 c | 164604 | 180 15300 107100 | 2147483647 69104 53 | 0.003 % |
96.00/96.10 c | 166298 | 180 15300 107100 | 2147483647 70798 53 | 0.003 % |
96.00/96.18 c | 166399 | 180 15300 107100 | 2147483647 70899 53 | 0.003 % |
96.10/96.27 c | 166510 | 180 15300 107100 | 2147483647 71010 53 | 0.003 % |
96.30/96.40 c | 166631 | 180 15300 107100 | 2147483647 71131 53 | 0.003 % |
96.40/96.53 c | 166764 | 180 15300 107100 | 2147483647 71264 53 | 0.003 % |
96.50/96.67 c | 166913 | 180 15300 107100 | 2147483647 71413 53 | 0.003 % |
96.71/96.82 c | 167073 | 180 15300 107100 | 2147483647 71573 53 | 0.003 % |
96.90/97.03 c | 167250 | 180 15300 107100 | 2147483647 71750 53 | 0.003 % |
97.00/97.20 c | 167444 | 180 15300 107100 | 2147483647 71944 53 | 0.003 % |
97.30/97.40 c | 167656 | 180 15300 107100 | 2147483647 72156 53 | 0.003 % |
97.40/97.59 c | 167891 | 180 15300 107100 | 2147483647 72391 53 | 0.003 % |
97.60/97.79 c | 168147 | 180 15300 107100 | 2147483647 72647 53 | 0.003 % |
97.80/97.99 c | 168428 | 180 15300 107100 | 2147483647 72928 53 | 0.003 % |
98.10/98.23 c | 168738 | 180 15300 107100 | 2147483647 73238 53 | 0.003 % |
98.40/98.52 c | 169077 | 180 15300 107100 | 2147483647 73577 53 | 0.003 % |
98.80/98.90 c | 169449 | 180 15300 107100 | 2147483647 73949 53 | 0.003 % |
99.10/99.28 c | 169858 | 180 15300 107100 | 2147483647 74358 53 | 0.003 % |
99.60/99.73 c | 170307 | 180 15300 107100 | 74501 64277 53 | 0.003 % |
99.90/100.06 c | 170800 | 180 15300 107100 | 74501 64770 53 | 0.003 % |
100.30/100.41 c | 171342 | 180 15300 107100 | 74501 65312 53 | 0.003 % |
100.70/100.82 c | 171940 | 180 15300 107100 | 74501 65910 53 | 0.003 % |
101.10/101.29 c | 172595 | 180 15300 107100 | 74501 66565 53 | 0.003 % |
101.80/101.93 c | 173319 | 180 15300 107100 | 74501 67289 53 | 0.003 % |
102.40/102.50 c | 174112 | 180 15300 107100 | 74501 68082 53 | 0.003 % |
103.00/103.17 c | 174983 | 180 15300 107100 | 74501 68953 53 | 0.003 % |
103.80/103.90 c | 175943 | 180 15300 107100 | 74501 69913 53 | 0.003 % |
104.60/104.72 c | 176998 | 180 15300 107100 | 74501 70968 53 | 0.003 % |
105.40/105.54 c | 178156 | 180 15300 107100 | 74501 72126 53 | 0.003 % |
106.29/106.48 c | 179429 | 180 15300 107100 | 74501 73399 53 | 0.003 % |
107.39/107.60 c | 180830 | 180 15300 107100 | 73973 63651 53 | 0.003 % |
108.39/108.57 c | 182370 | 180 15300 107100 | 73973 65191 53 | 0.003 % |
109.49/109.66 c | 184065 | 180 15300 107100 | 73973 66886 53 | 0.003 % |
111.09/111.20 c | 185929 | 180 15300 107100 | 73973 68750 53 | 0.003 % |
111.09/111.30 c | 186030 | 180 15300 107100 | 73973 68851 53 | 0.003 % |
111.29/111.41 c | 186140 | 180 15300 107100 | 73973 68961 53 | 0.003 % |
111.39/111.50 c | 186262 | 180 15300 107100 | 73973 69083 53 | 0.003 % |
111.49/111.62 c | 186395 | 180 15300 107100 | 73973 69216 53 | 0.003 % |
111.59/111.73 c | 186541 | 180 15300 107100 | 73973 69362 53 | 0.003 % |
111.79/111.90 c | 186703 | 180 15300 107100 | 73973 69524 53 | 0.003 % |
111.89/112.08 c | 186881 | 180 15300 107100 | 73973 69702 53 | 0.003 % |
112.09/112.23 c | 187075 | 180 15300 107100 | 73973 69896 53 | 0.003 % |
112.29/112.42 c | 187287 | 180 15300 107100 | 73973 70108 53 | 0.003 % |
112.49/112.63 c | 187522 | 180 15300 107100 | 73973 70343 53 | 0.003 % |
112.69/112.85 c | 187778 | 180 15300 107100 | 73973 70599 53 | 0.003 % |
112.99/113.10 c | 188059 | 180 15300 107100 | 73973 70880 53 | 0.003 % |
113.29/113.40 c | 188368 | 180 15300 107100 | 73973 71189 53 | 0.003 % |
113.59/113.71 c | 188707 | 180 15300 107100 | 73973 71528 53 | 0.003 % |
113.89/114.02 c | 189079 | 180 15300 107100 | 73973 71900 53 | 0.003 % |
114.30/114.41 c | 189488 | 180 15300 107100 | 73973 72309 53 | 0.003 % |
114.59/114.76 c | 189937 | 180 15300 107100 | 73973 72758 53 | 0.003 % |
115.09/115.20 c | 190431 | 180 15300 107100 | 72826 62475 53 | 0.003 % |
115.49/115.60 c | 190974 | 180 15300 107100 | 72826 63018 53 | 0.003 % |
115.89/116.05 c | 191572 | 180 15300 107100 | 72826 63616 53 | 0.003 % |
116.39/116.59 c | 192227 | 180 15300 107100 | 72826 64271 53 | 0.003 % |
116.99/117.11 c | 192949 | 180 15300 107100 | 72826 64993 53 | 0.003 % |
117.49/117.68 c | 193741 | 180 15300 107100 | 72826 65785 53 | 0.003 % |
118.09/118.28 c | 194612 | 180 15300 107100 | 72826 66656 53 | 0.003 % |
118.78/118.93 c | 195571 | 180 15300 107100 | 72826 67615 53 | 0.003 % |
119.58/119.77 c | 196625 | 180 15300 107100 | 72826 68669 53 | 0.003 % |
120.48/120.60 c | 197783 | 180 15300 107100 | 72826 69827 53 | 0.003 % |
121.38/121.53 c | 199057 | 180 15300 107100 | 72826 71101 53 | 0.003 % |
122.58/122.75 c | 200459 | 180 15300 107100 | 72046 61774 53 | 0.003 % |
123.68/123.80 c | 201999 | 180 15300 107100 | 72046 63314 53 | 0.003 % |
124.78/124.91 c | 203693 | 180 15300 107100 | 72046 65008 53 | 0.003 % |
125.88/126.03 c | 205556 | 180 15300 107100 | 72046 66871 53 | 0.003 % |
127.39/127.54 c | 207606 | 180 15300 107100 | 72046 68921 53 | 0.003 % |
127.48/127.62 c | 207710 | 180 15300 107100 | 72046 69025 53 | 0.003 % |
127.58/127.70 c | 207823 | 180 15300 107100 | 72046 69138 53 | 0.003 % |
127.68/127.81 c | 207945 | 180 15300 107100 | 72046 69260 53 | 0.003 % |
127.78/127.91 c | 208078 | 180 15300 107100 | 72046 69393 53 | 0.003 % |
127.88/128.05 c | 208224 | 180 15300 107100 | 72046 69539 53 | 0.003 % |
127.98/128.18 c | 208385 | 180 15300 107100 | 72046 69700 53 | 0.003 % |
128.18/128.34 c | 208562 | 180 15300 107100 | 72046 69877 53 | 0.003 % |
128.38/128.52 c | 208755 | 180 15300 107100 | 72046 70070 53 | 0.003 % |
128.58/128.73 c | 208967 | 180 15300 107100 | 72046 70282 53 | 0.003 % |
128.78/128.94 c | 209201 | 180 15300 107100 | 72046 70516 53 | 0.003 % |
128.98/129.12 c | 209457 | 180 15300 107100 | 72046 70772 53 | 0.003 % |
129.18/129.36 c | 209738 | 180 15300 107100 | 72046 71053 53 | 0.003 % |
129.38/129.58 c | 210047 | 180 15300 107100 | 71315 71362 53 | 0.003 % |
129.78/129.96 c | 210388 | 180 15300 107100 | 71315 62042 53 | 0.003 % |
130.08/130.24 c | 210761 | 180 15300 107100 | 71315 62415 53 | 0.003 % |
130.38/130.54 c | 211171 | 180 15300 107100 | 71315 62825 53 | 0.003 % |
130.68/130.84 c | 211620 | 180 15300 107100 | 71315 63274 53 | 0.003 % |
131.08/131.22 c | 212115 | 180 15300 107100 | 71315 63769 53 | 0.003 % |
131.38/131.57 c | 212657 | 180 15300 107100 | 71315 64311 53 | 0.003 % |
131.88/132.01 c | 213253 | 180 15300 107100 | 71315 64907 53 | 0.003 % |
132.28/132.47 c | 213908 | 180 15300 107100 | 71315 65562 53 | 0.003 % |
132.78/132.94 c | 214628 | 180 15300 107100 | 71315 66282 53 | 0.003 % |
133.28/133.47 c | 215420 | 180 15300 107100 | 71315 67074 53 | 0.003 % |
133.88/134.04 c | 216292 | 180 15300 107100 | 71315 67946 53 | 0.003 % |
134.48/134.69 c | 217250 | 180 15300 107100 | 71315 68904 53 | 0.003 % |
135.28/135.47 c | 218304 | 180 15300 107100 | 71315 69958 53 | 0.003 % |
136.18/136.34 c | 219462 | 180 15300 107100 | 71315 71116 53 | 0.003 % |
137.08/137.24 c | 220735 | 180 15300 107100 | 61917 54252 53 | 0.003 % |
137.78/137.98 c | 222137 | 180 15300 107100 | 61917 55654 53 | 0.003 % |
138.68/138.82 c | 223678 | 180 15300 107100 | 61917 57195 53 | 0.003 % |
139.58/139.75 c | 225372 | 180 15300 107100 | 61917 58889 53 | 0.003 % |
140.68/140.84 c | 227235 | 180 15300 107100 | 61917 60752 53 | 0.003 % |
142.08/142.20 c | 229284 | 180 15300 107100 | 61917 56602 53 | 0.003 % |
143.38/143.53 c | 231539 | 180 15300 107100 | 2147483647 58857 53 | 0.003 % |
143.48/143.62 c | 231640 | 180 15300 107100 | 2147483647 58958 53 | 0.003 % |
143.58/143.70 c | 231750 | 180 15300 107100 | 2147483647 59068 53 | 0.003 % |
143.58/143.79 c | 231871 | 180 15300 107100 | 2147483647 59189 53 | 0.003 % |
143.68/143.87 c | 232004 | 180 15300 107100 | 2147483647 59322 53 | 0.003 % |
143.88/144.01 c | 232150 | 180 15300 107100 | 2147483647 59468 53 | 0.003 % |
143.98/144.13 c | 232311 | 180 15300 107100 | 2147483647 59629 53 | 0.003 % |
144.07/144.24 c | 232488 | 180 15300 107100 | 2147483647 59806 53 | 0.003 % |
144.17/144.36 c | 232681 | 180 15300 107100 | 2147483647 59999 53 | 0.003 % |
144.37/144.52 c | 232894 | 180 15300 107100 | 2147483647 60212 53 | 0.003 % |
144.47/144.68 c | 233127 | 180 15300 107100 | 2147483647 60445 53 | 0.003 % |
144.67/144.85 c | 233383 | 180 15300 107100 | 2147483647 60701 53 | 0.003 % |
144.87/145.05 c | 233664 | 180 15300 107100 | 2147483647 60982 53 | 0.003 % |
145.08/145.27 c | 233973 | 180 15300 107100 | 2147483647 61291 53 | 0.003 % |
145.37/145.52 c | 234313 | 180 15300 107100 | 2147483647 61631 53 | 0.003 % |
145.57/145.77 c | 234686 | 180 15300 107100 | 2147483647 62004 53 | 0.003 % |
145.87/146.07 c | 235095 | 180 15300 107100 | 2147483647 62413 53 | 0.003 % |
146.27/146.42 c | 235544 | 180 15300 107100 | 2147483647 62862 53 | 0.003 % |
146.58/146.79 c | 236038 | 180 15300 107100 | 2147483647 63356 53 | 0.003 % |
146.98/147.17 c | 236580 | 180 15300 107100 | 2147483647 63898 53 | 0.003 % |
147.48/147.61 c | 237176 | 180 15300 107100 | 2147483647 64494 53 | 0.003 % |
147.98/148.12 c | 237832 | 180 15300 107100 | 2147483647 65150 53 | 0.003 % |
148.48/148.63 c | 238553 | 180 15300 107100 | 2147483647 65871 53 | 0.003 % |
148.98/149.20 c | 239345 | 180 15300 107100 | 2147483647 66663 53 | 0.003 % |
149.78/149.90 c | 240216 | 180 15300 107100 | 67318 60452 53 | 0.003 % |
150.28/150.49 c | 241174 | 180 15300 107100 | 67318 61410 53 | 0.003 % |
151.08/151.22 c | 242228 | 180 15300 107100 | 67318 62464 53 | 0.003 % |
151.78/151.96 c | 243386 | 180 15300 107100 | 67318 63622 53 | 0.003 % |
152.58/152.74 c | 244659 | 180 15300 107100 | 67318 64895 53 | 0.003 % |
153.48/153.62 c | 246059 | 180 15300 107100 | 67318 66295 53 | 0.003 % |
154.58/154.76 c | 247599 | 180 15300 107100 | 67318 60688 53 | 0.003 % |
155.78/155.90 c | 249295 | 180 15300 107100 | 67318 62384 53 | 0.003 % |
156.88/157.09 c | 251158 | 180 15300 107100 | 63089 57569 53 | 0.003 % |
158.07/158.23 c | 253208 | 180 15300 107100 | 63089 59619 53 | 0.003 % |
159.38/159.55 c | 255461 | 180 15300 107100 | 63089 61872 53 | 0.003 % |
160.87/161.01 c | 257940 | 180 15300 107100 | 63089 58034 53 | 0.003 % |
160.87/161.08 c | 258043 | 180 15300 107100 | 63089 58137 53 | 0.003 % |
160.97/161.19 c | 258153 | 180 15300 107100 | 63089 58247 53 | 0.003 % |
161.07/161.26 c | 258274 | 180 15300 107100 | 63089 58368 53 | 0.003 % |
161.17/161.38 c | 258408 | 180 15300 107100 | 63089 58502 53 | 0.003 % |
161.27/161.49 c | 258555 | 180 15300 107100 | 63089 58649 53 | 0.003 % |
161.48/161.62 c | 258715 | 180 15300 107100 | 63089 58809 53 | 0.003 % |
161.58/161.72 c | 258892 | 180 15300 107100 | 63089 58986 53 | 0.003 % |
161.67/161.83 c | 259085 | 180 15300 107100 | 63089 59179 53 | 0.003 % |
161.87/162.00 c | 259298 | 180 15300 107100 | 63089 59392 53 | 0.003 % |
161.97/162.19 c | 259533 | 180 15300 107100 | 63089 59627 53 | 0.003 % |
162.17/162.38 c | 259789 | 180 15300 107100 | 63089 59883 53 | 0.003 % |
162.37/162.59 c | 260070 | 180 15300 107100 | 2147483647 60164 53 | 0.003 % |
162.68/162.85 c | 260381 | 180 15300 107100 | 2147483647 60475 53 | 0.003 % |
162.97/163.10 c | 260720 | 180 15300 107100 | 2147483647 60814 53 | 0.003 % |
163.17/163.35 c | 261092 | 180 15300 107100 | 2147483647 61186 53 | 0.003 % |
163.47/163.67 c | 261502 | 180 15300 107100 | 2147483647 61596 53 | 0.003 % |
163.78/163.99 c | 261951 | 180 15300 107100 | 2147483647 62045 53 | 0.003 % |
164.17/164.31 c | 262445 | 180 15300 107100 | 2147483647 62539 53 | 0.003 % |
164.47/164.67 c | 262990 | 180 15300 107100 | 2147483647 63084 53 | 0.003 % |
164.87/165.07 c | 263586 | 180 15300 107100 | 2147483647 63680 53 | 0.003 % |
165.37/165.58 c | 264242 | 180 15300 107100 | 2147483647 64336 53 | 0.003 % |
165.97/166.11 c | 264963 | 180 15300 107100 | 2147483647 65057 53 | 0.003 % |
166.47/166.61 c | 265756 | 180 15300 107100 | 2147483647 65850 53 | 0.003 % |
167.07/167.25 c | 266627 | 180 15300 107100 | 2147483647 66721 53 | 0.003 % |
167.77/167.95 c | 267586 | 180 15300 107100 | 2147483647 67680 53 | 0.003 % |
168.57/168.75 c | 268643 | 180 15300 107100 | 2147483647 68737 53 | 0.003 % |
169.47/169.68 c | 269801 | 180 15300 107100 | 2147483647 69895 53 | 0.003 % |
170.47/170.61 c | 271074 | 180 15300 107100 | 70096 62342 53 | 0.003 % |
171.37/171.56 c | 272475 | 180 15300 107100 | 70096 63743 53 | 0.003 % |
172.37/172.53 c | 274016 | 180 15300 107100 | 70096 65284 53 | 0.003 % |
173.67/173.82 c | 275710 | 180 15300 107100 | 70096 66978 53 | 0.003 % |
174.97/175.17 c | 277573 | 180 15300 107100 | 70096 68841 53 | 0.003 % |
176.57/176.74 c | 279624 | 180 15300 107100 | 70096 61797 53 | 0.003 % |
177.97/178.16 c | 281878 | 180 15300 107100 | 62175 56047 53 | 0.003 % |
179.46/179.68 c | 284357 | 180 15300 107100 | 62175 58526 53 | 0.003 % |
181.37/181.59 c | 287082 | 180 15300 107100 | 62175 61251 53 | 0.003 % |
181.47/181.68 c | 287183 | 180 15300 107100 | 62175 61352 53 | 0.003 % |
181.56/181.76 c | 287294 | 180 15300 107100 | 62175 61463 53 | 0.003 % |
181.67/181.83 c | 287417 | 180 15300 107100 | 62175 61586 53 | 0.003 % |
181.77/181.93 c | 287551 | 180 15300 107100 | 62175 61720 53 | 0.003 % |
181.87/182.06 c | 287700 | 180 15300 107100 | 62175 61869 53 | 0.003 % |
181.97/182.19 c | 287861 | 180 15300 107100 | 62175 62030 53 | 0.003 % |
182.17/182.32 c | 288039 | 180 15300 107100 | 62175 62208 53 | 0.003 % |
182.37/182.51 c | 288232 | 180 15300 107100 | 62175 56166 53 | 0.003 % |
182.47/182.68 c | 288446 | 180 15300 107100 | 62175 56380 53 | 0.003 % |
182.66/182.84 c | 288679 | 180 15300 107100 | 62175 56613 53 | 0.003 % |
182.86/183.00 c | 288936 | 180 15300 107100 | 62175 56870 53 | 0.003 % |
182.96/183.19 c | 289217 | 180 15300 107100 | 62175 57151 53 | 0.003 % |
183.16/183.37 c | 289527 | 180 15300 107100 | 62175 57461 53 | 0.003 % |
183.47/183.66 c | 289866 | 180 15300 107100 | 62175 57800 53 | 0.003 % |
183.76/183.93 c | 290238 | 180 15300 107100 | 57935 52260 53 | 0.003 % |
183.96/184.16 c | 290647 | 180 15300 107100 | 57935 52669 53 | 0.003 % |
184.26/184.40 c | 291097 | 180 15300 107100 | 57935 53119 53 | 0.003 % |
184.56/184.73 c | 291590 | 180 15300 107100 | 57935 53612 53 | 0.003 % |
184.96/185.10 c | 292134 | 180 15300 107100 | 57935 54156 53 | 0.003 % |
185.26/185.47 c | 292732 | 180 15300 107100 | 57935 54754 53 | 0.003 % |
185.76/185.90 c | 293388 | 180 15300 107100 | 57935 55410 53 | 0.003 % |
186.16/186.39 c | 294108 | 180 15300 107100 | 57935 56130 53 | 0.003 % |
186.66/186.87 c | 294901 | 180 15300 107100 | 57935 56923 53 | 0.003 % |
187.16/187.37 c | 295772 | 180 15300 107100 | 57935 57794 53 | 0.003 % |
187.76/187.90 c | 296730 | 180 15300 107100 | 57935 52950 53 | 0.003 % |
188.26/188.47 c | 297783 | 180 15300 107100 | 57935 54003 53 | 0.003 % |
188.86/189.01 c | 298941 | 180 15300 107100 | 57935 55161 53 | 0.003 % |
189.56/189.70 c | 300214 | 180 15300 107100 | 2147483647 56434 53 | 0.003 % |
190.36/190.53 c | 301614 | 180 15300 107100 | 2147483647 57834 53 | 0.003 % |
191.26/191.47 c | 303155 | 180 15300 107100 | 2147483647 59375 53 | 0.003 % |
192.36/192.55 c | 304852 | 180 15300 107100 | 2147483647 61072 53 | 0.003 % |
193.56/193.77 c | 306715 | 180 15300 107100 | 2147483647 62935 53 | 0.003 % |
194.96/195.16 c | 308765 | 180 15300 107100 | 2147483647 64985 53 | 0.003 % |
196.55/196.73 c | 311018 | 180 15300 107100 | 2147483647 67238 53 | 0.003 % |
198.35/198.58 c | 313497 | 180 15300 107100 | 2147483647 69717 53 | 0.003 % |
200.35/200.55 c | 316223 | 180 15300 107100 | 2147483647 72443 53 | 0.003 % |
202.75/202.91 c | 319220 | 180 15300 107100 | 2147483647 75440 53 | 0.003 % |
202.85/203.00 c | 319322 | 180 15300 107100 | 2147483647 75542 53 | 0.003 % |
202.95/203.12 c | 319432 | 180 15300 107100 | 2147483647 75652 53 | 0.003 % |
203.05/203.24 c | 319553 | 180 15300 107100 | 2147483647 75773 53 | 0.003 % |
203.15/203.38 c | 319686 | 180 15300 107100 | 2147483647 75906 53 | 0.003 % |
203.36/203.52 c | 319832 | 180 15300 107100 | 2147483647 76052 53 | 0.003 % |
203.45/203.66 c | 319992 | 180 15300 107100 | 2147483647 76212 53 | 0.003 % |
203.65/203.88 c | 320168 | 180 15300 107100 | 76221 65212 53 | 0.003 % |
203.85/204.04 c | 320361 | 180 15300 107100 | 76221 65405 53 | 0.003 % |
204.05/204.21 c | 320574 | 180 15300 107100 | 76221 65618 53 | 0.003 % |
204.25/204.41 c | 320808 | 180 15300 107100 | 76221 65852 53 | 0.003 % |
204.45/204.63 c | 321066 | 180 15300 107100 | 76221 66110 53 | 0.003 % |
204.65/204.87 c | 321350 | 180 15300 107100 | 76221 66394 53 | 0.003 % |
204.85/205.08 c | 321659 | 180 15300 107100 | 76221 66703 53 | 0.003 % |
205.15/205.35 c | 321998 | 180 15300 107100 | 76221 67042 53 | 0.003 % |
205.45/205.63 c | 322370 | 180 15300 107100 | 76221 67414 53 | 0.003 % |
205.75/205.93 c | 322782 | 180 15300 107100 | 76221 67826 53 | 0.003 % |
206.05/206.26 c | 323233 | 180 15300 107100 | 76221 68277 53 | 0.003 % |
206.35/206.59 c | 323726 | 180 15300 107100 | 76221 68770 53 | 0.003 % |
206.75/206.98 c | 324269 | 180 15300 107100 | 76221 69313 53 | 0.003 % |
207.25/207.44 c | 324865 | 180 15300 107100 | 76221 69909 53 | 0.003 % |
207.75/207.93 c | 325521 | 180 15300 107100 | 76221 70565 53 | 0.003 % |
208.35/208.55 c | 326241 | 180 15300 107100 | 76221 71285 53 | 0.003 % |
208.94/209.18 c | 327033 | 180 15300 107100 | 76221 72077 53 | 0.003 % |
209.64/209.86 c | 327904 | 180 15300 107100 | 76221 72948 53 | 0.003 % |
210.44/210.61 c | 328862 | 180 15300 107100 | 76221 73906 53 | 0.003 % |
211.24/211.49 c | 329919 | 180 15300 107100 | 76221 74963 53 | 0.003 % |
212.14/212.37 c | 331077 | 180 15300 107100 | 75045 64295 53 | 0.003 % |
213.14/213.30 c | 332350 | 180 15300 107100 | 75045 65568 53 | 0.003 % |
214.04/214.27 c | 333750 | 180 15300 107100 | 75045 66968 53 | 0.003 % |
215.04/215.25 c | 335291 | 180 15300 107100 | 75045 68509 53 | 0.003 % |
216.34/216.51 c | 336986 | 180 15300 107100 | 75045 70204 53 | 0.003 % |
217.64/217.87 c | 338850 | 180 15300 107100 | 75045 72068 53 | 0.003 % |
219.14/219.34 c | 340900 | 180 15300 107100 | 73218 63531 53 | 0.003 % |
220.54/220.78 c | 343155 | 180 15300 107100 | 73218 65786 54 | 0.003 % |
222.24/222.44 c | 345633 | 180 15300 107100 | 73218 68264 53 | 0.003 % |
224.14/224.34 c | 348358 | 180 15300 107100 | 73218 70989 53 | 0.003 % |
226.03/226.29 c | 351355 | 180 15300 107100 | 72634 64734 53 | 0.003 % |
228.13/228.35 c | 354651 | 180 15300 107100 | 72634 68030 53 | 0.003 % |
228.23/228.43 c | 354751 | 180 15300 107100 | 72634 68130 53 | 0.003 % |
228.33/228.51 c | 354861 | 180 15300 107100 | 72634 68240 53 | 0.003 % |
228.43/228.60 c | 354982 | 180 15300 107100 | 72634 68361 53 | 0.003 % |
228.54/228.70 c | 355115 | 180 15300 107100 | 72634 68494 53 | 0.003 % |
228.63/228.82 c | 355262 | 180 15300 107100 | 72634 68641 53 | 0.003 % |
228.73/228.95 c | 355423 | 180 15300 107100 | 72634 68802 53 | 0.003 % |
228.83/229.09 c | 355599 | 180 15300 107100 | 72634 68978 53 | 0.003 % |
229.03/229.27 c | 355794 | 180 15300 107100 | 72634 69173 53 | 0.003 % |
229.23/229.46 c | 356007 | 180 15300 107100 | 72634 69386 53 | 0.003 % |
229.43/229.67 c | 356240 | 180 15300 107100 | 72634 69619 53 | 0.003 % |
229.63/229.90 c | 356497 | 180 15300 107100 | 72634 69876 53 | 0.003 % |
229.93/230.14 c | 356778 | 180 15300 107100 | 72634 70157 53 | 0.003 % |
230.13/230.39 c | 357088 | 180 15300 107100 | 72634 70467 53 | 0.003 % |
230.43/230.67 c | 357427 | 180 15300 107100 | 72634 70806 53 | 0.003 % |
230.73/230.97 c | 357799 | 180 15300 107100 | 72634 71178 53 | 0.003 % |
231.03/231.30 c | 358209 | 180 15300 107100 | 72634 71588 53 | 0.003 % |
231.43/231.65 c | 358659 | 180 15300 107100 | 72634 72038 53 | 0.003 % |
231.83/232.04 c | 359153 | 180 15300 107100 | 72634 72532 53 | 0.003 % |
232.23/232.47 c | 359695 | 180 15300 107100 | 72634 63040 54 | 0.003 % |
232.73/232.91 c | 360293 | 180 15300 107100 | 63345 55049 54 | 0.003 % |
233.03/233.28 c | 360948 | 180 15300 107100 | 63345 55704 54 | 0.003 % |
233.53/233.70 c | 361668 | 180 15300 107100 | 63345 56424 54 | 0.003 % |
233.93/234.15 c | 362460 | 180 15300 107100 | 63345 57216 54 | 0.003 % |
234.43/234.68 c | 363332 | 180 15300 107100 | 63345 58088 54 | 0.003 % |
235.03/235.28 c | 364290 | 180 15300 107100 | 63345 59046 54 | 0.003 % |
235.63/235.87 c | 365343 | 180 15300 107100 | 63345 60099 54 | 0.003 % |
236.33/236.54 c | 366501 | 180 15300 107100 | 63345 61257 54 | 0.003 % |
237.23/237.48 c | 367774 | 180 15300 107100 | 63345 62530 54 | 0.003 % |
238.23/238.48 c | 369174 | 180 15300 107100 | 63345 57588 54 | 0.003 % |
239.23/239.48 c | 370715 | 180 15300 107100 | 2147483647 59129 54 | 0.003 % |
240.33/240.51 c | 372409 | 180 15300 107100 | 2147483647 60823 54 | 0.003 % |
241.43/241.67 c | 374274 | 180 15300 107100 | 2147483647 62688 54 | 0.003 % |
242.72/242.94 c | 376324 | 180 15300 107100 | 2147483647 64738 54 | 0.003 % |
244.22/244.45 c | 378578 | 180 15300 107100 | 2147483647 66992 54 | 0.003 % |
245.82/246.08 c | 381056 | 180 15300 107100 | 68414 62302 54 | 0.003 % |
247.52/247.79 c | 383781 | 180 15300 107100 | 68414 65027 54 | 0.003 % |
249.43/249.66 c | 386778 | 180 15300 107100 | 68414 68024 54 | 0.003 % |
251.52/251.80 c | 390077 | 180 15300 107100 | 63433 63509 54 | 0.003 % |
253.72/253.94 c | 393704 | 180 15300 107100 | 63433 60250 54 | 0.003 % |
253.82/254.01 c | 393806 | 180 15300 107100 | 63433 60352 54 | 0.003 % |
253.82/254.08 c | 393916 | 180 15300 107100 | 63433 60462 54 | 0.003 % |
253.92/254.16 c | 394037 | 180 15300 107100 | 63433 60583 54 | 0.003 % |
254.01/254.25 c | 394170 | 180 15300 107100 | 63433 60716 54 | 0.003 % |
254.11/254.38 c | 394318 | 180 15300 107100 | 63433 60864 54 | 0.003 % |
254.31/254.50 c | 394479 | 180 15300 107100 | 63433 61025 54 | 0.003 % |
254.41/254.62 c | 394656 | 180 15300 107100 | 63433 61202 54 | 0.003 % |
254.51/254.78 c | 394849 | 180 15300 107100 | 63433 61395 54 | 0.003 % |
254.71/254.95 c | 395062 | 180 15300 107100 | 63433 61608 54 | 0.003 % |
254.92/255.11 c | 395296 | 180 15300 107100 | 63433 61842 54 | 0.003 % |
255.11/255.30 c | 395552 | 180 15300 107100 | 63433 62098 54 | 0.003 % |
255.31/255.55 c | 395833 | 180 15300 107100 | 63433 62379 54 | 0.003 % |
255.51/255.78 c | 396142 | 180 15300 107100 | 63433 62688 54 | 0.003 % |
255.81/256.03 c | 396481 | 180 15300 107100 | 63433 63027 54 | 0.003 % |
256.02/256.29 c | 396854 | 180 15300 107100 | 63433 63400 54 | 0.003 % |
256.41/256.61 c | 397263 | 180 15300 107100 | 63433 57397 54 | 0.003 % |
256.61/256.87 c | 397712 | 180 15300 107100 | 63433 57846 54 | 0.003 % |
256.91/257.13 c | 398206 | 180 15300 107100 | 63433 58340 54 | 0.003 % |
257.21/257.42 c | 398750 | 180 15300 107100 | 63433 58884 54 | 0.003 % |
257.61/257.80 c | 399348 | 180 15300 107100 | 63433 59482 54 | 0.003 % |
257.91/258.19 c | 400006 | 180 15300 107100 | 2147483647 60140 54 | 0.003 % |
258.51/258.73 c | 400727 | 180 15300 107100 | 2147483647 60861 54 | 0.003 % |
259.01/259.28 c | 401521 | 180 15300 107100 | 2147483647 61655 54 | 0.003 % |
259.61/259.86 c | 402392 | 180 15300 107100 | 2147483647 62526 54 | 0.003 % |
260.21/260.44 c | 403350 | 180 15300 107100 | 2147483647 63484 53 | 0.003 % |
260.81/261.08 c | 404403 | 180 15300 107100 | 2147483647 64537 53 | 0.003 % |
261.61/261.84 c | 405561 | 180 15300 107100 | 2147483647 65695 53 | 0.003 % |
262.61/262.86 c | 406836 | 180 15300 107100 | 2147483647 66970 53 | 0.003 % |
263.71/263.91 c | 408236 | 180 15300 107100 | 2147483647 68370 53 | 0.003 % |
264.81/265.02 c | 409777 | 180 15300 107100 | 2147483647 69911 53 | 0.003 % |
265.91/266.20 c | 411471 | 180 15300 107100 | 70135 63279 54 | 0.003 % |
267.21/267.40 c | 413335 | 180 15300 107100 | 70135 65143 54 | 0.003 % |
268.50/268.79 c | 415384 | 180 15300 107100 | 70135 67192 54 | 0.003 % |
270.20/270.41 c | 417637 | 180 15300 107100 | 70135 69445 54 | 0.003 % |
271.90/272.10 c | 420115 | 180 15300 107100 | 63279 55977 54 | 0.003 % |
273.50/273.75 c | 422842 | 180 15300 107100 | 63279 58704 54 | 0.003 % |
275.30/275.60 c | 425839 | 180 15300 107100 | 63279 61701 54 | 0.003 % |
277.50/277.71 c | 429136 | 180 15300 107100 | 63279 58662 53 | 0.003 % |
279.50/279.78 c | 432763 | 180 15300 107100 | 2147483647 62289 54 | 0.003 % |
282.30/282.52 c | 436752 | 180 15300 107100 | 2147483647 66278 54 | 0.003 % |
282.30/282.58 c | 436852 | 180 15300 107100 | 2147483647 66378 54 | 0.003 % |
282.40/282.67 c | 436965 | 180 15300 107100 | 2147483647 66491 54 | 0.003 % |
282.50/282.77 c | 437089 | 180 15300 107100 | 2147483647 66615 54 | 0.003 % |
282.70/282.90 c | 437222 | 180 15300 107100 | 2147483647 66748 54 | 0.003 % |
282.80/283.02 c | 437368 | 180 15300 107100 | 2147483647 66894 54 | 0.003 % |
282.90/283.14 c | 437529 | 180 15300 107100 | 2147483647 67055 54 | 0.003 % |
283.00/283.29 c | 437705 | 180 15300 107100 | 2147483647 67231 54 | 0.003 % |
283.19/283.45 c | 437900 | 180 15300 107100 | 2147483647 67426 54 | 0.003 % |
283.39/283.63 c | 438112 | 180 15300 107100 | 2147483647 67638 54 | 0.003 % |
283.60/283.83 c | 438348 | 180 15300 107100 | 2147483647 67874 53 | 0.003 % |
283.79/284.04 c | 438605 | 180 15300 107100 | 2147483647 68131 53 | 0.003 % |
283.99/284.26 c | 438887 | 180 15300 107100 | 2147483647 68413 53 | 0.003 % |
284.19/284.49 c | 439196 | 180 15300 107100 | 2147483647 68722 53 | 0.003 % |
284.49/284.76 c | 439535 | 180 15300 107100 | 2147483647 69061 54 | 0.003 % |
284.89/285.10 c | 439911 | 180 15300 107100 | 2147483647 69437 54 | 0.003 % |
285.19/285.43 c | 440321 | 180 15300 107100 | 69529 62024 54 | 0.003 % |
285.49/285.77 c | 440772 | 180 15300 107100 | 69529 62475 54 | 0.003 % |
285.89/286.11 c | 441266 | 180 15300 107100 | 69529 62969 54 | 0.003 % |
286.29/286.55 c | 441808 | 180 15300 107100 | 69529 63511 54 | 0.003 % |
286.70/286.98 c | 442405 | 180 15300 107100 | 69529 64108 54 | 0.003 % |
287.20/287.44 c | 443061 | 180 15300 107100 | 69529 64764 54 | 0.003 % |
287.80/288.00 c | 443783 | 180 15300 107100 | 69529 65486 54 | 0.003 % |
288.30/288.57 c | 444577 | 180 15300 107100 | 69529 66280 54 | 0.003 % |
289.01/289.25 c | 445449 | 180 15300 107100 | 69529 67152 54 | 0.003 % |
289.70/289.97 c | 446407 | 180 15300 107100 | 69529 68110 54 | 0.003 % |
290.50/290.74 c | 447461 | 180 15300 107100 | 69529 69164 54 | 0.003 % |
291.30/291.57 c | 448620 | 180 15300 107100 | 69529 61093 53 | 0.003 % |
292.10/292.33 c | 449895 | 180 15300 107100 | 69529 62368 53 | 0.003 % |
292.90/293.16 c | 451295 | 180 15300 107100 | 62474 56018 53 | 0.003 % |
293.80/294.07 c | 452838 | 180 15300 107100 | 62474 57561 53 | 0.003 % |
294.80/295.05 c | 454532 | 180 15300 107100 | 62474 59255 53 | 0.003 % |
296.10/296.32 c | 456395 | 180 15300 107100 | 62474 61118 53 | 0.003 % |
297.50/297.72 c | 458444 | 180 15300 107100 | 62474 56912 53 | 0.003 % |
298.79/299.00 c | 460697 | 180 15300 107100 | 2147483647 59165 53 | 0.003 % |
300.29/300.50 c | 463176 | 180 15300 107100 | 2147483647 61644 53 | 0.003 % |
301.99/302.22 c | 465903 | 180 15300 107100 | 2147483647 64371 53 | 0.003 % |
303.79/304.07 c | 468901 | 180 15300 107100 | 2147483647 67369 53 | 0.003 % |
306.09/306.38 c | 472197 | 180 15300 107100 | 2147483647 70665 54 | 0.003 % |
308.68/308.95 c | 475822 | 180 15300 107100 | 2147483647 74290 53 | 0.003 % |
311.58/311.88 c | 479811 | 180 15300 107100 | 2147483647 78279 53 | 0.003 % |
314.78/315.05 c | 484198 | 180 15300 107100 | 78468 72300 54 | 0.003 % |
314.88/315.12 c | 484300 | 180 15300 107100 | 78468 72402 54 | 0.003 % |
314.98/315.21 c | 484410 | 180 15300 107100 | 78468 72512 54 | 0.003 % |
315.08/315.30 c | 484531 | 180 15300 107100 | 78468 72633 54 | 0.003 % |
315.18/315.44 c | 484665 | 180 15300 107100 | 78468 72767 54 | 0.003 % |
315.28/315.57 c | 484812 | 180 15300 107100 | 78468 72914 54 | 0.003 % |
315.48/315.71 c | 484974 | 180 15300 107100 | 78468 73076 54 | 0.003 % |
315.58/315.88 c | 485151 | 180 15300 107100 | 78468 73253 54 | 0.003 % |
315.78/316.04 c | 485344 | 180 15300 107100 | 78468 73446 54 | 0.003 % |
315.98/316.20 c | 485556 | 180 15300 107100 | 78468 73658 54 | 0.003 % |
316.18/316.41 c | 485790 | 180 15300 107100 | 78468 73892 54 | 0.003 % |
316.38/316.63 c | 486046 | 180 15300 107100 | 78468 74148 54 | 0.003 % |
316.58/316.86 c | 486329 | 180 15300 107100 | 78468 74431 54 | 0.003 % |
316.88/317.13 c | 486641 | 180 15300 107100 | 78468 74743 54 | 0.003 % |
317.18/317.41 c | 486981 | 180 15300 107100 | 78468 75083 54 | 0.003 % |
317.48/317.71 c | 487354 | 180 15300 107100 | 78468 75456 54 | 0.003 % |
317.78/318.03 c | 487764 | 180 15300 107100 | 78468 75866 54 | 0.003 % |
318.18/318.40 c | 488213 | 180 15300 107100 | 78468 76315 54 | 0.003 % |
318.48/318.79 c | 488706 | 180 15300 107100 | 78468 76808 54 | 0.003 % |
318.98/319.21 c | 489251 | 180 15300 107100 | 78468 77353 54 | 0.003 % |
319.48/319.71 c | 489847 | 180 15300 107100 | 78468 77949 54 | 0.003 % |
319.98/320.25 c | 490502 | 180 15300 107100 | 78104 66792 53 | 0.003 % |
320.48/320.77 c | 491225 | 180 15300 107100 | 78104 67515 53 | 0.003 % |
321.08/321.39 c | 492017 | 180 15300 107100 | 78104 68307 53 | 0.003 % |
321.88/322.11 c | 492890 | 180 15300 107100 | 78104 69180 53 | 0.003 % |
322.57/322.82 c | 493850 | 180 15300 107100 | 78104 70140 53 | 0.003 % |
323.37/323.61 c | 494905 | 180 15300 107100 | 78104 71195 53 | 0.003 % |
324.18/324.46 c | 496064 | 180 15300 107100 | 78104 72354 53 | 0.003 % |
325.17/325.41 c | 497339 | 180 15300 107100 | 78104 73629 53 | 0.003 % |
326.17/326.44 c | 498739 | 180 15300 107100 | 78104 75029 53 | 0.003 % |
327.37/327.68 c | 500279 | 180 15300 107100 | 76291 64522 53 | 0.003 % |
328.58/328.82 c | 501973 | 180 15300 107100 | 76291 66216 53 | 0.003 % |
329.87/330.14 c | 503836 | 180 15300 107100 | 76291 68079 53 | 0.003 % |
331.27/331.57 c | 505885 | 180 15300 107100 | 76291 70128 53 | 0.003 % |
332.87/333.18 c | 508138 | 180 15300 107100 | 76291 72381 53 | 0.003 % |
334.77/335.10 c | 510616 | 180 15300 107100 | 74243 64840 53 | 0.003 % |
336.57/336.88 c | 513343 | 180 15300 107100 | 74243 67567 53 | 0.003 % |
338.67/338.99 c | 516340 | 180 15300 107100 | 74243 70564 53 | 0.003 % |
341.07/341.38 c | 519636 | 180 15300 107100 | 74243 73860 53 | 0.003 % |
343.36/343.62 c | 523262 | 180 15300 107100 | 74225 68116 53 | 0.003 % |
345.86/346.11 c | 527250 | 180 15300 107100 | 74225 72104 53 | 0.003 % |
348.76/349.08 c | 531635 | 180 15300 107100 | 65793 59409 53 | 0.003 % |
351.86/352.10 c | 536458 | 180 15300 107100 | 65793 64232 53 | 0.003 % |
351.86/352.16 c | 536560 | 180 15300 107100 | 65793 64334 53 | 0.003 % |
351.96/352.25 c | 536670 | 180 15300 107100 | 65793 64444 53 | 0.003 % |
352.06/352.34 c | 536793 | 180 15300 107100 | 65793 64567 53 | 0.003 % |
352.16/352.44 c | 536928 | 180 15300 107100 | 65793 64702 53 | 0.003 % |
352.26/352.55 c | 537074 | 180 15300 107100 | 65793 64848 53 | 0.003 % |
352.36/352.67 c | 537234 | 180 15300 107100 | 65793 65008 53 | 0.003 % |
352.46/352.80 c | 537410 | 180 15300 107100 | 65793 65184 53 | 0.003 % |
352.66/352.95 c | 537603 | 180 15300 107100 | 65793 65377 53 | 0.003 % |
352.76/353.10 c | 537816 | 180 15300 107100 | 65793 65590 53 | 0.003 % |
352.96/353.27 c | 538050 | 180 15300 107100 | 65793 65824 53 | 0.003 % |
353.26/353.52 c | 538308 | 180 15300 107100 | 65793 59455 53 | 0.003 % |
353.46/353.71 c | 538590 | 180 15300 107100 | 65793 59737 53 | 0.003 % |
353.66/353.93 c | 538899 | 180 15300 107100 | 65793 60046 53 | 0.003 % |
353.86/354.16 c | 539238 | 180 15300 107100 | 65793 60385 53 | 0.003 % |
354.16/354.41 c | 539612 | 180 15300 107100 | 65793 60759 53 | 0.003 % |
354.36/354.68 c | 540023 | 180 15300 107100 | 61147 61170 53 | 0.003 % |
354.76/355.00 c | 540472 | 180 15300 107100 | 61147 55437 53 | 0.003 % |
355.06/355.30 c | 540966 | 180 15300 107100 | 61147 55931 53 | 0.003 % |
355.35/355.66 c | 541510 | 180 15300 107100 | 61147 56475 53 | 0.003 % |
355.75/356.07 c | 542106 | 180 15300 107100 | 61147 57071 53 | 0.003 % |
356.16/356.47 c | 542761 | 180 15300 107100 | 61147 57726 53 | 0.003 % |
356.55/356.89 c | 543483 | 180 15300 107100 | 61147 58448 53 | 0.003 % |
357.05/357.35 c | 544277 | 180 15300 107100 | 61147 59242 53 | 0.003 % |
357.65/357.91 c | 545148 | 180 15300 107100 | 61147 60113 53 | 0.003 % |
358.25/358.50 c | 546106 | 180 15300 107100 | 61147 61071 53 | 0.003 % |
358.85/359.19 c | 547159 | 180 15300 107100 | 61147 56002 53 | 0.003 % |
359.55/359.83 c | 548318 | 180 15300 107100 | 61147 57161 53 | 0.003 % |
360.25/360.59 c | 549591 | 180 15300 107100 | 61147 58434 53 | 0.003 % |
361.25/361.50 c | 550994 | 180 15300 107100 | 2147483647 59837 53 | 0.003 % |
362.15/362.44 c | 552534 | 180 15300 107100 | 2147483647 61377 53 | 0.003 % |
363.25/363.57 c | 554228 | 180 15300 107100 | 2147483647 63071 53 | 0.003 % |
364.55/364.84 c | 556092 | 180 15300 107100 | 2147483647 64935 53 | 0.003 % |
366.05/366.30 c | 558141 | 180 15300 107100 | 2147483647 66984 53 | 0.003 % |
367.65/367.90 c | 560395 | 180 15300 107100 | 68843 61395 53 | 0.003 % |
369.04/369.40 c | 562873 | 180 15300 107100 | 68843 63873 53 | 0.003 % |
370.75/371.05 c | 565599 | 180 15300 107100 | 68843 66599 53 | 0.003 % |
372.65/372.94 c | 568597 | 180 15300 107100 | 68843 62129 53 | 0.003 % |
374.64/374.98 c | 571895 | 180 15300 107100 | 63533 58673 53 | 0.003 % |
376.84/377.14 c | 575520 | 180 15300 107100 | 63533 62298 53 | 0.003 % |
379.25/379.58 c | 579507 | 180 15300 107100 | 63533 59924 53 | 0.003 % |
382.04/382.35 c | 583892 | 180 15300 107100 | 2147483647 64309 53 | 0.003 % |
385.24/385.57 c | 588716 | 180 15300 107100 | 2147483647 69133 53 | 0.003 % |
388.63/388.98 c | 594021 | 180 15300 107100 | 70418 66927 54 | 0.003 % |
388.73/389.08 c | 594121 | 180 15300 107100 | 70418 67027 54 | 0.003 % |
388.83/389.16 c | 594232 | 180 15300 107100 | 70418 67138 54 | 0.003 % |
388.93/389.25 c | 594353 | 180 15300 107100 | 70418 67259 54 | 0.003 % |
389.04/389.36 c | 594488 | 180 15300 107100 | 70418 67394 54 | 0.003 % |
389.14/389.47 c | 594635 | 180 15300 107100 | 70418 67541 54 | 0.003 % |
389.23/389.60 c | 594796 | 180 15300 107100 | 70418 67702 54 | 0.003 % |
389.43/389.73 c | 594972 | 180 15300 107100 | 70418 67878 53 | 0.003 % |
389.53/389.89 c | 595166 | 180 15300 107100 | 70418 68072 53 | 0.003 % |
389.73/390.06 c | 595380 | 180 15300 107100 | 70418 68286 53 | 0.003 % |
389.93/390.23 c | 595613 | 180 15300 107100 | 70418 68519 53 | 0.003 % |
390.14/390.42 c | 595869 | 180 15300 107100 | 70418 68775 53 | 0.003 % |
390.33/390.64 c | 596151 | 180 15300 107100 | 70418 69057 53 | 0.003 % |
390.53/390.86 c | 596461 | 180 15300 107100 | 70418 69367 53 | 0.003 % |
390.83/391.12 c | 596801 | 180 15300 107100 | 70418 69707 53 | 0.003 % |
391.13/391.42 c | 597175 | 180 15300 107100 | 70418 70081 53 | 0.003 % |
391.43/391.72 c | 597584 | 180 15300 107100 | 70418 70490 53 | 0.003 % |
391.93/392.21 c | 598034 | 180 15300 107100 | 70418 62288 53 | 0.003 % |
392.33/392.63 c | 598527 | 180 15300 107100 | 70418 62781 53 | 0.003 % |
392.73/393.03 c | 599071 | 180 15300 107100 | 70418 63325 53 | 0.003 % |
393.23/393.50 c | 599667 | 180 15300 107100 | 70418 63921 53 | 0.003 % |
393.73/394.00 c | 600322 | 180 15300 107100 | 64254 56164 54 | 0.003 % |
394.13/394.44 c | 601042 | 180 15300 107100 | 64254 56884 54 | 0.003 % |
394.63/394.96 c | 601834 | 180 15300 107100 | 64254 57676 54 | 0.003 % |
395.23/395.58 c | 602705 | 180 15300 107100 | 64254 58547 54 | 0.003 % |
395.93/396.20 c | 603663 | 180 15300 107100 | 64254 59505 54 | 0.003 % |
396.63/396.93 c | 604717 | 180 15300 107100 | 64254 60559 54 | 0.003 % |
397.33/397.66 c | 605875 | 180 15300 107100 | 64254 61717 54 | 0.003 % |
398.13/398.49 c | 607148 | 180 15300 107100 | 64254 62990 54 | 0.003 % |
399.13/399.48 c | 608548 | 180 15300 107100 | 64254 57351 54 | 0.003 % |
400.23/400.56 c | 610090 | 180 15300 107100 | 58805 52590 54 | 0.003 % |
401.23/401.59 c | 611784 | 180 15300 107100 | 58805 54284 54 | 0.003 % |
402.43/402.70 c | 613648 | 180 15300 107100 | 58805 56148 54 | 0.003 % |
403.53/403.88 c | 615697 | 180 15300 107100 | 58805 58197 54 | 0.003 % |
404.83/405.12 c | 617952 | 180 15300 107100 | 58805 54564 54 | 0.003 % |
406.23/406.54 c | 620431 | 180 15300 107100 | 2147483647 57043 54 | 0.003 % |
407.83/408.16 c | 623157 | 180 15300 107100 | 2147483647 59769 54 | 0.003 % |
409.72/410.03 c | 626154 | 180 15300 107100 | 2147483647 62766 54 | 0.003 % |
411.72/412.02 c | 629450 | 180 15300 107100 | 2147483647 66062 54 | 0.003 % |
414.12/414.40 c | 633077 | 180 15300 107100 | 2147483647 69689 54 | 0.003 % |
417.12/417.41 c | 637064 | 180 15300 107100 | 2147483647 73676 54 | 0.003 % |
420.72/421.07 c | 641452 | 180 15300 107100 | 76612 66673 54 | 0.003 % |
424.02/424.30 c | 646275 | 180 15300 107100 | 76612 71496 54 | 0.003 % |
427.62/427.94 c | 651580 | 180 15300 107100 | 75222 65932 54 | 0.003 % |
431.72/432.01 c | 657418 | 180 15300 107100 | 75222 71770 54 | 0.003 % |
431.82/432.11 c | 657518 | 180 15300 107100 | 75222 71870 54 | 0.003 % |
431.92/432.22 c | 657629 | 180 15300 107100 | 75222 71981 54 | 0.003 % |
432.02/432.33 c | 657750 | 180 15300 107100 | 75222 72102 54 | 0.003 % |
432.12/432.46 c | 657884 | 180 15300 107100 | 75222 72236 54 | 0.003 % |
432.32/432.61 c | 658030 | 180 15300 107100 | 75222 72382 54 | 0.003 % |
432.42/432.76 c | 658190 | 180 15300 107100 | 75222 72542 54 | 0.003 % |
432.62/432.94 c | 658368 | 180 15300 107100 | 75222 72720 54 | 0.003 % |
432.81/433.12 c | 658561 | 180 15300 107100 | 75222 72913 54 | 0.003 % |
433.01/433.33 c | 658773 | 180 15300 107100 | 75222 73125 54 | 0.003 % |
433.21/433.54 c | 659008 | 180 15300 107100 | 75222 73360 54 | 0.003 % |
433.41/433.77 c | 659264 | 180 15300 107100 | 75222 73616 54 | 0.003 % |
433.71/434.00 c | 659545 | 180 15300 107100 | 75222 73897 54 | 0.003 % |
433.91/434.26 c | 659855 | 180 15300 107100 | 75222 74207 54 | 0.003 % |
434.31/434.63 c | 660195 | 180 15300 107100 | 74352 63354 54 | 0.003 % |
434.51/434.88 c | 660567 | 180 15300 107100 | 74352 63726 54 | 0.003 % |
434.91/435.20 c | 660976 | 180 15300 107100 | 74352 64135 54 | 0.003 % |
435.21/435.54 c | 661427 | 180 15300 107100 | 74352 64586 54 | 0.003 % |
435.61/435.93 c | 661922 | 180 15300 107100 | 74352 65081 54 | 0.003 % |
436.01/436.34 c | 662464 | 180 15300 107100 | 74352 65623 54 | 0.003 % |
436.51/436.82 c | 663060 | 180 15300 107100 | 74352 66219 54 | 0.003 % |
437.11/437.50 c | 663715 | 180 15300 107100 | 74352 66874 54 | 0.003 % |
437.71/438.07 c | 664435 | 180 15300 107100 | 74352 67594 54 | 0.003 % |
438.31/438.67 c | 665228 | 180 15300 107100 | 74352 68387 54 | 0.003 % |
439.01/439.34 c | 666100 | 180 15300 107100 | 74352 69259 54 | 0.003 % |
439.71/440.05 c | 667058 | 180 15300 107100 | 74352 70217 54 | 0.003 % |
440.61/440.92 c | 668112 | 180 15300 107100 | 74352 71271 54 | 0.003 % |
441.50/441.81 c | 669271 | 180 15300 107100 | 74352 72430 54 | 0.003 % |
442.50/442.80 c | 670545 | 180 15300 107100 | 73160 62572 54 | 0.003 % |
443.60/443.92 c | 671945 | 180 15300 107100 | 73160 63972 54 | 0.003 % |
444.70/445.01 c | 673485 | 180 15300 107100 | 73160 65512 54 | 0.003 % |
445.80/446.14 c | 675180 | 180 15300 107100 | 73160 67207 54 | 0.003 % |
447.00/447.34 c | 677043 | 180 15300 107100 | 73160 69070 54 | 0.003 % |
448.80/449.10 c | 679093 | 180 15300 107100 | 73160 71120 54 | 0.003 % |
450.61/450.94 c | 681346 | 180 15300 107100 | 72027 63126 54 | 0.003 % |
452.30/452.63 c | 683824 | 180 15300 107100 | 72027 65604 54 | 0.003 % |
454.10/454.46 c | 686549 | 180 15300 107100 | 72027 68329 54 | 0.003 % |
456.50/456.85 c | 689547 | 180 15300 107100 | 72027 71327 54 | 0.003 % |
459.00/459.37 c | 692845 | 180 15300 107100 | 71781 65423 54 | 0.003 % |
461.40/461.78 c | 696472 | 180 15300 107100 | 71781 69050 54 | 0.003 % |
464.20/464.58 c | 700459 | 180 15300 107100 | 63864 56655 54 | 0.003 % |
466.70/467.09 c | 704844 | 180 15300 107100 | 63864 61040 54 | 0.003 % |
469.49/469.85 c | 709667 | 180 15300 107100 | 63864 59469 54 | 0.003 % |
472.70/473.06 c | 714975 | 180 15300 107100 | 2147483647 64777 54 | 0.003 % |
476.69/477.09 c | 720810 | 180 15300 107100 | 69803 63308 53 | 0.003 % |
480.78/481.13 c | 727228 | 180 15300 107100 | 69803 69726 54 | 0.003 % |
480.88/481.21 c | 727330 | 180 15300 107100 | 69803 69828 54 | 0.003 % |
480.98/481.34 c | 727440 | 180 15300 107100 | 69803 62775 54 | 0.003 % |
481.08/481.42 c | 727561 | 180 15300 107100 | 69803 62896 54 | 0.003 % |
481.18/481.55 c | 727694 | 180 15300 107100 | 69803 63029 54 | 0.003 % |
481.28/481.66 c | 727843 | 180 15300 107100 | 69803 63178 54 | 0.003 % |
481.39/481.78 c | 728003 | 180 15300 107100 | 69803 63338 54 | 0.003 % |
481.58/481.94 c | 728181 | 180 15300 107100 | 69803 63516 54 | 0.003 % |
481.68/482.09 c | 728375 | 180 15300 107100 | 69803 63710 54 | 0.003 % |
481.88/482.25 c | 728587 | 180 15300 107100 | 69803 63922 54 | 0.003 % |
482.08/482.44 c | 728820 | 180 15300 107100 | 69803 64155 54 | 0.003 % |
482.28/482.63 c | 729078 | 180 15300 107100 | 69803 64413 54 | 0.003 % |
482.49/482.86 c | 729360 | 180 15300 107100 | 69803 64695 54 | 0.003 % |
482.68/483.07 c | 729670 | 180 15300 107100 | 69803 65005 54 | 0.003 % |
482.98/483.31 c | 730011 | 180 15300 107100 | 65336 65346 54 | 0.003 % |
483.28/483.63 c | 730383 | 180 15300 107100 | 65336 58426 54 | 0.003 % |
483.48/483.88 c | 730794 | 180 15300 107100 | 65336 58837 54 | 0.003 % |
483.78/484.15 c | 731244 | 180 15300 107100 | 65336 59287 54 | 0.003 % |
484.08/484.48 c | 731737 | 180 15300 107100 | 65336 59780 54 | 0.003 % |
484.48/484.89 c | 732283 | 180 15300 107100 | 65336 60326 54 | 0.003 % |
484.98/485.31 c | 732880 | 180 15300 107100 | 65336 60923 54 | 0.003 % |
485.38/485.76 c | 733535 | 180 15300 107100 | 65336 61578 54 | 0.003 % |
485.98/486.32 c | 734256 | 180 15300 107100 | 65336 62299 54 | 0.003 % |
486.48/486.89 c | 735048 | 180 15300 107100 | 65336 63091 54 | 0.003 % |
487.18/487.54 c | 735920 | 180 15300 107100 | 65336 63963 54 | 0.003 % |
487.78/488.19 c | 736879 | 180 15300 107100 | 65336 64922 54 | 0.003 % |
488.48/488.88 c | 737934 | 180 15300 107100 | 65336 58173 54 | 0.003 % |
489.38/489.72 c | 739093 | 180 15300 107100 | 65336 59332 54 | 0.003 % |
490.18/490.56 c | 740368 | 180 15300 107100 | 60240 53549 54 | 0.003 % |
490.98/491.30 c | 741769 | 180 15300 107100 | 60240 54950 54 | 0.003 % |
491.78/492.13 c | 743310 | 180 15300 107100 | 60240 56491 54 | 0.003 % |
492.78/493.11 c | 745007 | 180 15300 107100 | 60240 58188 54 | 0.003 % |
493.98/494.38 c | 746872 | 180 15300 107100 | 60240 60053 54 | 0.003 % |
495.28/495.64 c | 748922 | 180 15300 107100 | 60240 56070 54 | 0.003 % |
496.58/496.91 c | 751175 | 180 15300 107100 | 2147483647 58323 54 | 0.003 % |
498.08/498.48 c | 753653 | 180 15300 107100 | 2147483647 60801 54 | 0.003 % |
499.98/500.38 c | 756381 | 180 15300 107100 | 2147483647 63529 54 | 0.003 % |
502.17/502.53 c | 759379 | 180 15300 107100 | 2147483647 66527 54 | 0.003 % |
504.37/504.75 c | 762675 | 180 15300 107100 | 2147483647 69823 54 | 0.003 % |
507.07/507.41 c | 766302 | 180 15300 107100 | 2147483647 73450 54 | 0.003 % |
509.97/510.40 c | 770291 | 180 15300 107100 | 77150 66668 54 | 0.003 % |
513.07/513.45 c | 774676 | 180 15300 107100 | 77150 71053 54 | 0.003 % |
516.27/516.67 c | 779500 | 180 15300 107100 | 77150 75877 54 | 0.003 % |
520.17/520.52 c | 784805 | 180 15300 107100 | 76380 70739 54 | 0.003 % |
524.46/524.82 c | 790640 | 180 15300 107100 | 75934 65303 54 | 0.003 % |
528.96/529.36 c | 797058 | 180 15300 107100 | 75934 71721 54 | 0.003 % |
533.95/534.39 c | 804120 | 180 15300 107100 | 74663 68325 54 | 0.003 % |
534.05/534.46 c | 804221 | 180 15300 107100 | 74663 68426 54 | 0.003 % |
534.16/534.54 c | 804332 | 180 15300 107100 | 74663 68537 54 | 0.003 % |
534.26/534.64 c | 804454 | 180 15300 107100 | 74663 68659 54 | 0.003 % |
534.35/534.75 c | 804589 | 180 15300 107100 | 74663 68794 54 | 0.003 % |
534.45/534.89 c | 804735 | 180 15300 107100 | 74663 68940 54 | 0.003 % |
534.65/535.03 c | 804895 | 180 15300 107100 | 74663 69100 54 | 0.003 % |
534.75/535.19 c | 805072 | 180 15300 107100 | 74663 69277 54 | 0.003 % |
534.95/535.35 c | 805265 | 180 15300 107100 | 74663 69470 54 | 0.003 % |
535.15/535.53 c | 805478 | 180 15300 107100 | 74663 69683 54 | 0.003 % |
535.36/535.73 c | 805713 | 180 15300 107100 | 74663 69918 54 | 0.003 % |
535.55/535.96 c | 805969 | 180 15300 107100 | 74663 70174 54 | 0.003 % |
535.75/536.18 c | 806250 | 180 15300 107100 | 74663 70455 54 | 0.003 % |
536.05/536.43 c | 806559 | 180 15300 107100 | 74663 70764 54 | 0.003 % |
536.36/536.75 c | 806899 | 180 15300 107100 | 74663 71104 54 | 0.003 % |
536.65/537.05 c | 807273 | 180 15300 107100 | 74663 71478 54 | 0.003 % |
536.95/537.38 c | 807682 | 180 15300 107100 | 74663 71887 54 | 0.003 % |
537.35/537.77 c | 808132 | 180 15300 107100 | 74663 72337 54 | 0.003 % |
537.75/538.13 c | 808627 | 180 15300 107100 | 74663 72832 54 | 0.003 % |
538.15/538.58 c | 809169 | 180 15300 107100 | 74663 73374 54 | 0.003 % |
538.66/539.03 c | 809766 | 180 15300 107100 | 74663 73971 54 | 0.003 % |
539.15/539.56 c | 810421 | 180 15300 107100 | 74205 63716 54 | 0.003 % |
539.55/539.99 c | 811144 | 180 15300 107100 | 74205 64439 54 | 0.003 % |
540.15/540.51 c | 811936 | 180 15300 107100 | 74205 65231 54 | 0.003 % |
540.65/541.06 c | 812808 | 180 15300 107100 | 74205 66103 54 | 0.003 % |
541.25/541.67 c | 813767 | 180 15300 107100 | 74205 67062 54 | 0.003 % |
541.95/542.36 c | 814823 | 180 15300 107100 | 74205 68118 54 | 0.003 % |
542.65/543.08 c | 815983 | 180 15300 107100 | 74205 69278 54 | 0.003 % |
543.55/543.91 c | 817256 | 180 15300 107100 | 74205 70551 54 | 0.003 % |
544.55/544.91 c | 818658 | 180 15300 107100 | 74205 71953 54 | 0.003 % |
545.65/546.04 c | 820199 | 180 15300 107100 | 73297 63788 54 | 0.003 % |
546.75/547.16 c | 821896 | 180 15300 107100 | 73297 65485 54 | 0.003 % |
547.95/548.31 c | 823759 | 180 15300 107100 | 73297 67348 54 | 0.003 % |
549.35/549.78 c | 825808 | 180 15300 107100 | 73297 69397 54 | 0.003 % |
551.05/551.43 c | 828063 | 180 15300 107100 | 73297 71652 54 | 0.003 % |
552.95/553.36 c | 830542 | 180 15300 107100 | 63215 54840 54 | 0.003 % |
554.64/555.00 c | 833267 | 180 15300 107100 | 63215 57565 54 | 0.003 % |
556.54/556.91 c | 836265 | 180 15300 107100 | 63215 60563 54 | 0.003 % |
558.54/558.96 c | 839563 | 180 15300 107100 | 63215 57531 54 | 0.003 % |
560.84/561.26 c | 843188 | 180 15300 107100 | 2147483647 61156 54 | 0.003 % |
563.44/563.82 c | 847176 | 180 15300 107100 | 2147483647 65144 54 | 0.003 % |
566.35/566.72 c | 851562 | 180 15300 107100 | 67968 62211 54 | 0.003 % |
569.64/570.04 c | 856386 | 180 15300 107100 | 67968 67035 54 | 0.003 % |
573.04/573.47 c | 861691 | 180 15300 107100 | 62836 57521 54 | 0.003 % |
576.54/576.96 c | 867526 | 180 15300 107100 | 62836 57064 54 | 0.003 % |
580.24/580.63 c | 873945 | 180 15300 107100 | 2147483647 63483 54 | 0.003 % |
585.24/585.60 c | 881004 | 180 15300 107100 | 2147483647 70542 54 | 0.003 % |
590.73/591.18 c | 888768 | 180 15300 107100 | 2147483647 78306 54 | 0.003 % |
590.83/591.27 c | 888868 | 180 15300 107100 | 2147483647 78406 54 | 0.003 % |
590.93/591.36 c | 888978 | 180 15300 107100 | 2147483647 78516 54 | 0.003 % |
591.03/591.47 c | 889099 | 180 15300 107100 | 2147483647 78637 54 | 0.003 % |
591.23/591.62 c | 889233 | 180 15300 107100 | 2147483647 78771 54 | 0.003 % |
591.34/591.78 c | 889380 | 180 15300 107100 | 2147483647 78918 54 | 0.003 % |
591.53/591.93 c | 889541 | 180 15300 107100 | 2147483647 79079 54 | 0.003 % |
591.73/592.14 c | 889719 | 180 15300 107100 | 2147483647 79257 54 | 0.003 % |
591.93/592.32 c | 889914 | 180 15300 107100 | 2147483647 79452 54 | 0.003 % |
592.13/592.59 c | 890126 | 180 15300 107100 | 79539 67095 54 | 0.003 % |
592.33/592.76 c | 890359 | 180 15300 107100 | 79539 67328 54 | 0.003 % |
592.54/592.94 c | 890615 | 180 15300 107100 | 79539 67584 54 | 0.003 % |
592.73/593.12 c | 890896 | 180 15300 107100 | 79539 67865 54 | 0.003 % |
592.93/593.34 c | 891205 | 180 15300 107100 | 79539 68174 54 | 0.003 % |
593.23/593.60 c | 891544 | 180 15300 107100 | 79539 68513 54 | 0.003 % |
593.63/594.02 c | 891918 | 180 15300 107100 | 79539 68887 54 | 0.003 % |
593.93/594.39 c | 892328 | 180 15300 107100 | 79539 69297 54 | 0.003 % |
594.33/594.77 c | 892777 | 180 15300 107100 | 79539 69746 54 | 0.003 % |
594.73/595.17 c | 893270 | 180 15300 107100 | 79539 70239 54 | 0.003 % |
595.13/595.56 c | 893813 | 180 15300 107100 | 79539 70782 54 | 0.003 % |
595.63/596.02 c | 894409 | 180 15300 107100 | 79539 71378 54 | 0.003 % |
596.13/596.51 c | 895064 | 180 15300 107100 | 79539 72033 54 | 0.003 % |
596.83/597.24 c | 895784 | 180 15300 107100 | 79539 72753 54 | 0.003 % |
597.53/597.90 c | 896577 | 180 15300 107100 | 79539 73546 54 | 0.003 % |
598.33/598.72 c | 897448 | 180 15300 107100 | 79539 74417 54 | 0.003 % |
599.13/599.51 c | 898406 | 180 15300 107100 | 79539 75375 54 | 0.003 % |
599.93/600.35 c | 899461 | 180 15300 107100 | 79539 76430 54 | 0.003 % |
600.93/601.39 c | 900620 | 180 15300 107100 | 76970 64458 54 | 0.003 % |
601.83/602.27 c | 901893 | 180 15300 107100 | 76970 65731 54 | 0.003 % |
602.73/603.16 c | 903293 | 180 15300 107100 | 76970 67131 54 | 0.003 % |
603.83/604.27 c | 904835 | 180 15300 107100 | 76970 68673 54 | 0.003 % |
605.03/605.44 c | 906529 | 180 15300 107100 | 76970 70367 54 | 0.003 % |
606.62/607.01 c | 908393 | 180 15300 107100 | 76970 72231 54 | 0.003 % |
608.22/608.69 c | 910442 | 180 15300 107100 | 73838 62792 54 | 0.003 % |
609.72/610.11 c | 912695 | 180 15300 107100 | 73838 65045 54 | 0.003 % |
611.52/611.91 c | 915175 | 180 15300 107100 | 73838 67525 54 | 0.003 % |
613.51/613.92 c | 917900 | 180 15300 107100 | 73838 70250 54 | 0.003 % |
615.71/616.13 c | 920897 | 180 15300 107100 | 72351 63494 54 | 0.003 % |
617.72/618.19 c | 924193 | 180 15300 107100 | 72351 66790 54 | 0.003 % |
620.21/620.60 c | 927818 | 180 15300 107100 | 72351 70415 54 | 0.003 % |
622.91/623.39 c | 931806 | 180 15300 107100 | 63890 58040 54 | 0.003 % |
625.81/626.22 c | 936192 | 180 15300 107100 | 63890 62426 54 | 0.003 % |
628.81/629.26 c | 941015 | 180 15300 107100 | 2147483647 60852 54 | 0.003 % |
632.11/632.57 c | 946321 | 180 15300 107100 | 2147483647 66158 54 | 0.003 % |
636.01/636.48 c | 952158 | 180 15300 107100 | 69837 64049 54 | 0.003 % |
640.11/640.51 c | 958577 | 180 15300 107100 | 69837 62285 54 | 0.003 % |
644.21/644.63 c | 965637 | 180 15300 107100 | 63710 61880 54 | 0.003 % |
648.80/649.26 c | 973403 | 180 15300 107100 | 2147483647 63266 54 | 0.003 % |
654.60/655.09 c | 981943 | 180 15300 107100 | 69863 64553 54 | 0.003 % |
654.70/655.16 c | 982044 | 180 15300 107100 | 69863 64654 54 | 0.003 % |
654.80/655.26 c | 982155 | 180 15300 107100 | 69863 64765 54 | 0.003 % |
654.90/655.34 c | 982276 | 180 15300 107100 | 69863 64886 54 | 0.003 % |
655.00/655.44 c | 982409 | 180 15300 107100 | 69863 65019 54 | 0.003 % |
655.11/655.55 c | 982555 | 180 15300 107100 | 69863 65165 54 | 0.003 % |
655.21/655.68 c | 982716 | 180 15300 107100 | 69863 65326 54 | 0.003 % |
655.40/655.86 c | 982893 | 180 15300 107100 | 69863 65503 54 | 0.003 % |
655.60/656.02 c | 983086 | 180 15300 107100 | 69863 65696 54 | 0.003 % |
655.80/656.21 c | 983299 | 180 15300 107100 | 69863 65909 54 | 0.003 % |
656.00/656.41 c | 983534 | 180 15300 107100 | 69863 66144 54 | 0.003 % |
656.20/656.65 c | 983790 | 180 15300 107100 | 69863 66400 54 | 0.003 % |
656.40/656.89 c | 984071 | 180 15300 107100 | 69863 66681 54 | 0.003 % |
656.70/657.18 c | 984380 | 180 15300 107100 | 69863 66990 54 | 0.003 % |
657.00/657.45 c | 984719 | 180 15300 107100 | 69863 67329 54 | 0.003 % |
657.30/657.73 c | 985092 | 180 15300 107100 | 69863 67702 54 | 0.003 % |
657.60/658.07 c | 985502 | 180 15300 107100 | 69863 68112 54 | 0.003 % |
658.00/658.42 c | 985952 | 180 15300 107100 | 69863 68562 54 | 0.003 % |
658.40/658.83 c | 986445 | 180 15300 107100 | 69863 69055 54 | 0.003 % |
658.79/659.28 c | 986987 | 180 15300 107100 | 69863 69597 54 | 0.003 % |
659.39/659.90 c | 987583 | 180 15300 107100 | 69863 60757 54 | 0.003 % |
659.99/660.41 c | 988240 | 180 15300 107100 | 69863 61414 54 | 0.003 % |
660.49/660.90 c | 988961 | 180 15300 107100 | 69863 62135 54 | 0.003 % |
660.99/661.40 c | 989754 | 180 15300 107100 | 69863 62928 54 | 0.003 % |
661.49/661.94 c | 990625 | 180 15300 107100 | 63174 55511 54 | 0.003 % |
661.99/662.45 c | 991584 | 180 15300 107100 | 63174 56470 54 | 0.003 % |
662.69/663.12 c | 992639 | 180 15300 107100 | 63174 57525 54 | 0.003 % |
663.49/663.90 c | 993797 | 180 15300 107100 | 63174 58683 54 | 0.003 % |
664.29/664.70 c | 995070 | 180 15300 107100 | 63174 59956 54 | 0.003 % |
665.19/665.67 c | 996472 | 180 15300 107100 | 63174 61358 54 | 0.003 % |
666.19/666.63 c | 998012 | 180 15300 107100 | 63174 62898 54 | 0.003 % |
667.39/667.81 c | 999706 | 180 15300 107100 | 63174 57960 54 | 0.003 % |
668.59/669.02 c | 1001570 | 180 15300 107100 | 58259 53733 54 | 0.003 % |
669.79/670.23 c | 1003620 | 180 15300 107100 | 58259 55783 54 | 0.003 % |
671.19/671.67 c | 1005875 | 180 15300 107100 | 58259 58038 54 | 0.003 % |
672.59/673.05 c | 1008353 | 180 15300 107100 | 58259 54682 54 | 0.003 % |
674.19/674.67 c | 1011078 | 180 15300 107100 | 2147483647 57407 54 | 0.003 % |
676.39/676.85 c | 1014075 | 180 15300 107100 | 2147483647 60404 54 | 0.003 % |
678.79/679.21 c | 1017371 | 180 15300 107100 | 2147483647 63700 54 | 0.003 % |
681.08/681.55 c | 1020997 | 180 15300 107100 | 66330 59911 54 | 0.003 % |
683.48/683.96 c | 1024985 | 180 15300 107100 | 66330 63899 54 | 0.003 % |
686.28/686.74 c | 1029370 | 180 15300 107100 | 66330 61329 54 | 0.003 % |
689.08/689.59 c | 1034194 | 180 15300 107100 | 2147483647 66153 54 | 0.003 % |
692.58/693.02 c | 1039501 | 180 15300 107100 | 2147483647 71460 54 | 0.003 % |
696.78/697.27 c | 1045338 | 180 15300 107100 | 71959 69373 54 | 0.003 % |
701.28/701.74 c | 1051757 | 180 15300 107100 | 63740 56625 55 | 0.003 % |
705.37/705.82 c | 1058817 | 180 15300 107100 | 63740 63685 55 | 0.003 % |
709.67/710.18 c | 1066583 | 180 15300 107100 | 2147483647 65068 55 | 0.003 % |
715.07/715.57 c | 1075124 | 180 15300 107100 | 68486 66568 55 | 0.003 % |
721.27/721.76 c | 1084519 | 180 15300 107100 | 63357 60489 55 | 0.003 % |
721.37/721.84 c | 1084619 | 180 15300 107100 | 63357 60589 55 | 0.003 % |
721.46/721.92 c | 1084729 | 180 15300 107100 | 63357 60699 55 | 0.003 % |
721.56/722.01 c | 1084850 | 180 15300 107100 | 63357 60820 55 | 0.003 % |
721.66/722.12 c | 1084983 | 180 15300 107100 | 63357 60953 55 | 0.003 % |
721.76/722.21 c | 1085129 | 180 15300 107100 | 63357 61099 55 | 0.003 % |
721.86/722.32 c | 1085289 | 180 15300 107100 | 63357 61259 55 | 0.003 % |
721.96/722.46 c | 1085466 | 180 15300 107100 | 63357 61436 55 | 0.003 % |
722.17/722.60 c | 1085660 | 180 15300 107100 | 63357 61630 55 | 0.003 % |
722.27/722.74 c | 1085874 | 180 15300 107100 | 63357 61844 55 | 0.003 % |
722.46/722.91 c | 1086107 | 180 15300 107100 | 63357 62077 55 | 0.003 % |
722.56/723.06 c | 1086363 | 180 15300 107100 | 63357 62333 55 | 0.003 % |
722.76/723.26 c | 1086644 | 180 15300 107100 | 63357 62614 55 | 0.003 % |
722.96/723.47 c | 1086955 | 180 15300 107100 | 63357 62925 55 | 0.003 % |
723.27/723.71 c | 1087295 | 180 15300 107100 | 63357 63265 55 | 0.003 % |
723.56/724.02 c | 1087669 | 180 15300 107100 | 63357 56753 55 | 0.003 % |
723.76/724.27 c | 1088078 | 180 15300 107100 | 63357 57162 55 | 0.003 % |
724.16/724.60 c | 1088528 | 180 15300 107100 | 63357 57612 55 | 0.003 % |
724.46/724.94 c | 1089022 | 180 15300 107100 | 63357 58106 54 | 0.003 % |
724.86/725.34 c | 1089564 | 180 15300 107100 | 63357 58648 54 | 0.003 % |
725.36/725.85 c | 1090160 | 180 15300 107100 | 59084 52745 54 | 0.003 % |
725.76/726.23 c | 1090815 | 180 15300 107100 | 59084 53400 54 | 0.003 % |
726.06/726.58 c | 1091537 | 180 15300 107100 | 59084 54122 54 | 0.003 % |
726.56/727.08 c | 1092329 | 180 15300 107100 | 59084 54914 54 | 0.003 % |
727.16/727.60 c | 1093201 | 180 15300 107100 | 59084 55786 54 | 0.003 % |
727.66/728.15 c | 1094162 | 180 15300 107100 | 59084 56747 54 | 0.003 % |
728.26/728.70 c | 1095218 | 180 15300 107100 | 59084 57803 54 | 0.003 % |
728.86/729.32 c | 1096377 | 180 15300 107100 | 59084 58962 54 | 0.003 % |
729.56/730.08 c | 1097650 | 180 15300 107100 | 59084 54318 54 | 0.003 % |
730.36/730.85 c | 1099052 | 180 15300 107100 | 59084 55720 54 | 0.003 % |
731.56/732.00 c | 1100593 | 180 15300 107100 | 2147483647 57261 54 | 0.003 % |
732.66/733.14 c | 1102288 | 180 15300 107100 | 2147483647 58956 54 | 0.003 % |
733.96/734.43 c | 1104157 | 180 15300 107100 | 2147483647 60825 54 | 0.003 % |
735.26/735.73 c | 1106206 | 180 15300 107100 | 2147483647 62874 54 | 0.003 % |
736.66/737.13 c | 1108459 | 180 15300 107100 | 2147483647 65127 54 | 0.003 % |
738.26/738.74 c | 1110938 | 180 15300 107100 | 2147483647 67606 54 | 0.003 % |
739.95/740.48 c | 1113665 | 180 15300 107100 | 2147483647 70333 54 | 0.003 % |
742.06/742.57 c | 1116663 | 180 15300 107100 | 2147483647 73331 54 | 0.003 % |
744.26/744.79 c | 1119961 | 180 15300 107100 | 2147483647 76629 54 | 0.003 % |
746.75/747.25 c | 1123587 | 180 15300 107100 | 76668 70539 54 | 0.003 % |
749.85/750.34 c | 1127574 | 180 15300 107100 | 76668 74526 54 | 0.003 % |
753.14/753.63 c | 1131959 | 180 15300 107100 | 65557 57769 53 | 0.003 % |
756.04/756.57 c | 1136782 | 180 15300 107100 | 65557 62592 53 | 0.003 % |
759.24/759.77 c | 1142087 | 180 15300 107100 | 58731 54583 54 | 0.003 % |
762.44/762.97 c | 1147923 | 180 15300 107100 | 58731 54538 53 | 0.003 % |
766.15/766.64 c | 1154341 | 180 15300 107100 | 2147483647 60956 53 | 0.003 % |
771.04/771.51 c | 1161400 | 180 15300 107100 | 2147483647 68015 54 | 0.003 % |
776.54/777.07 c | 1169164 | 180 15300 107100 | 2147483647 75779 54 | 0.003 % |
782.54/783.09 c | 1177704 | 180 15300 107100 | 76617 74239 54 | 0.003 % |
788.83/789.38 c | 1187100 | 180 15300 107100 | 76535 72988 54 | 0.003 % |
795.73/796.24 c | 1197434 | 180 15300 107100 | 75889 72650 54 | 0.003 % |
795.83/796.33 c | 1197534 | 180 15300 107100 | 75889 72750 54 | 0.003 % |
795.93/796.44 c | 1197644 | 180 15300 107100 | 75889 72860 54 | 0.003 % |
796.03/796.55 c | 1197767 | 180 15300 107100 | 75889 72983 54 | 0.003 % |
796.13/796.64 c | 1197900 | 180 15300 107100 | 75889 73116 54 | 0.003 % |
796.23/796.75 c | 1198046 | 180 15300 107100 | 75889 73262 54 | 0.003 % |
796.43/796.92 c | 1198207 | 180 15300 107100 | 75889 73423 54 | 0.003 % |
796.52/797.06 c | 1198383 | 180 15300 107100 | 75889 73599 54 | 0.003 % |
796.72/797.23 c | 1198576 | 180 15300 107100 | 75889 73792 54 | 0.003 % |
796.93/797.46 c | 1198788 | 180 15300 107100 | 75889 74004 54 | 0.003 % |
797.12/797.65 c | 1199023 | 180 15300 107100 | 75889 74239 54 | 0.003 % |
797.32/797.88 c | 1199280 | 180 15300 107100 | 75889 74496 54 | 0.003 % |
797.62/798.12 c | 1199561 | 180 15300 107100 | 75889 74777 54 | 0.003 % |
797.92/798.42 c | 1199870 | 180 15300 107100 | 75889 75086 54 | 0.003 % |
798.22/798.77 c | 1200210 | 180 15300 107100 | 75216 64841 54 | 0.003 % |
798.52/799.03 c | 1200582 | 180 15300 107100 | 75216 65213 54 | 0.003 % |
798.82/799.34 c | 1200991 | 180 15300 107100 | 75216 65622 54 | 0.003 % |
799.13/799.63 c | 1201440 | 180 15300 107100 | 75216 66071 54 | 0.003 % |
799.42/799.94 c | 1201933 | 180 15300 107100 | 75216 66564 54 | 0.003 % |
799.82/800.35 c | 1202476 | 180 15300 107100 | 75216 67107 54 | 0.003 % |
800.23/800.76 c | 1203072 | 180 15300 107100 | 75216 67703 54 | 0.003 % |
800.72/801.27 c | 1203728 | 180 15300 107100 | 75216 68359 54 | 0.003 % |
801.22/801.80 c | 1204449 | 180 15300 107100 | 75216 69080 54 | 0.003 % |
801.92/802.41 c | 1205244 | 180 15300 107100 | 75216 69875 54 | 0.003 % |
802.53/803.03 c | 1206116 | 180 15300 107100 | 75216 70747 54 | 0.003 % |
803.22/803.72 c | 1207074 | 180 15300 107100 | 75216 71705 54 | 0.003 % |
804.02/804.59 c | 1208127 | 180 15300 107100 | 75216 72758 54 | 0.003 % |
804.92/805.41 c | 1209285 | 180 15300 107100 | 75216 73916 54 | 0.003 % |
805.92/806.45 c | 1210558 | 180 15300 107100 | 74634 63826 54 | 0.003 % |
806.92/807.43 c | 1211958 | 180 15300 107100 | 74634 65226 54 | 0.003 % |
808.12/808.62 c | 1213498 | 180 15300 107100 | 74634 66766 54 | 0.003 % |
809.42/809.91 c | 1215192 | 180 15300 107100 | 74634 68460 54 | 0.003 % |
810.82/811.30 c | 1217056 | 180 15300 107100 | 74634 70324 54 | 0.003 % |
812.32/812.86 c | 1219107 | 180 15300 107100 | 74634 72375 54 | 0.003 % |
814.12/814.61 c | 1221360 | 180 15300 107100 | 73268 63812 54 | 0.003 % |
815.62/816.13 c | 1223838 | 180 15300 107100 | 73268 66290 54 | 0.003 % |
817.41/817.90 c | 1226563 | 180 15300 107100 | 73268 69015 54 | 0.003 % |
819.71/820.28 c | 1229564 | 180 15300 107100 | 73268 72016 54 | 0.003 % |
822.11/822.67 c | 1232864 | 180 15300 107100 | 72452 65578 54 | 0.003 % |
824.52/825.06 c | 1236491 | 180 15300 107100 | 72452 69205 54 | 0.003 % |
827.31/827.83 c | 1240479 | 180 15300 107100 | 62909 54913 53 | 0.003 % |
829.91/830.41 c | 1244865 | 180 15300 107100 | 62909 59299 53 | 0.003 % |
832.61/833.14 c | 1249690 | 180 15300 107100 | 62909 57824 54 | 0.003 % |
835.90/836.47 c | 1254996 | 180 15300 107100 | 2147483647 63130 54 | 0.003 % |
839.90/840.41 c | 1260832 | 180 15300 107100 | 2147483647 68966 54 | 0.003 % |
844.50/845.06 c | 1267250 | 180 15300 107100 | 2147483647 75384 54 | 0.003 % |
849.80/850.37 c | 1274309 | 180 15300 107100 | 78135 71327 54 | 0.003 % |
855.80/856.31 c | 1282073 | 180 15300 107100 | 77018 67059 54 | 0.003 % |
861.50/862.00 c | 1290617 | 180 15300 107100 | 74990 65019 54 | 0.003 % |
867.19/867.78 c | 1300013 | 180 15300 107100 | 74402 74415 55 | 0.003 % |
873.89/874.42 c | 1310346 | 180 15300 107100 | 65381 57210 55 | 0.003 % |
880.59/881.14 c | 1321712 | 180 15300 107100 | 2147483647 62029 55 | 0.003 % |
880.69/881.22 c | 1321812 | 180 15300 107100 | 2147483647 62129 55 | 0.003 % |
880.69/881.30 c | 1321924 | 180 15300 107100 | 2147483647 62241 55 | 0.003 % |
880.79/881.39 c | 1322045 | 180 15300 107100 | 2147483647 62362 55 | 0.003 % |
880.99/881.51 c | 1322178 | 180 15300 107100 | 2147483647 62495 55 | 0.003 % |
881.09/881.62 c | 1322325 | 180 15300 107100 | 2147483647 62642 55 | 0.003 % |
881.19/881.75 c | 1322486 | 180 15300 107100 | 2147483647 62803 55 | 0.003 % |
881.29/881.89 c | 1322662 | 180 15300 107100 | 2147483647 62979 55 | 0.003 % |
881.49/882.04 c | 1322855 | 180 15300 107100 | 2147483647 63172 55 | 0.003 % |
881.59/882.20 c | 1323067 | 180 15300 107100 | 2147483647 63384 55 | 0.003 % |
881.79/882.38 c | 1323300 | 180 15300 107100 | 2147483647 63617 55 | 0.003 % |
881.98/882.56 c | 1323558 | 180 15300 107100 | 2147483647 63875 55 | 0.003 % |
882.18/882.75 c | 1323840 | 180 15300 107100 | 2147483647 64157 55 | 0.003 % |
882.48/883.00 c | 1324152 | 180 15300 107100 | 2147483647 64469 55 | 0.003 % |
882.68/883.27 c | 1324492 | 180 15300 107100 | 2147483647 64809 55 | 0.003 % |
882.98/883.56 c | 1324864 | 180 15300 107100 | 2147483647 65181 55 | 0.003 % |
883.28/883.85 c | 1325275 | 180 15300 107100 | 2147483647 65592 55 | 0.003 % |
883.58/884.16 c | 1325724 | 180 15300 107100 | 2147483647 66041 55 | 0.003 % |
883.88/884.49 c | 1326217 | 180 15300 107100 | 2147483647 66534 55 | 0.003 % |
884.28/884.84 c | 1326760 | 180 15300 107100 | 2147483647 67077 55 | 0.003 % |
884.68/885.29 c | 1327356 | 180 15300 107100 | 2147483647 67673 55 | 0.003 % |
885.18/885.73 c | 1328012 | 180 15300 107100 | 2147483647 68329 55 | 0.003 % |
885.78/886.37 c | 1328732 | 180 15300 107100 | 2147483647 69049 55 | 0.003 % |
886.38/886.98 c | 1329527 | 180 15300 107100 | 2147483647 69844 55 | 0.003 % |
887.18/887.76 c | 1330399 | 180 15300 107100 | 70318 61506 55 | 0.003 % |
887.88/888.47 c | 1331359 | 180 15300 107100 | 70318 62466 55 | 0.003 % |
888.68/889.20 c | 1332412 | 180 15300 107100 | 70318 63519 55 | 0.003 % |
889.48/890.03 c | 1333571 | 180 15300 107100 | 70318 64678 55 | 0.003 % |
890.38/890.96 c | 1334845 | 180 15300 107100 | 70318 65952 55 | 0.003 % |
891.48/892.07 c | 1336250 | 180 15300 107100 | 70318 67357 55 | 0.003 % |
892.77/893.32 c | 1337791 | 180 15300 107100 | 70318 68898 55 | 0.003 % |
894.07/894.69 c | 1339486 | 180 15300 107100 | 70318 60813 54 | 0.003 % |
895.27/895.87 c | 1341351 | 180 15300 107100 | 61328 54281 54 | 0.003 % |
896.37/896.93 c | 1343401 | 180 15300 107100 | 61328 56331 54 | 0.003 % |
897.67/898.20 c | 1345656 | 180 15300 107100 | 61328 58586 54 | 0.003 % |
899.18/899.74 c | 1348135 | 180 15300 107100 | 61328 61065 54 | 0.003 % |
900.67/901.29 c | 1350860 | 180 15300 107100 | 2147483647 57650 54 | 0.003 % |
902.37/902.96 c | 1353857 | 180 15300 107100 | 2147483647 60647 54 | 0.003 % |
904.57/905.14 c | 1357154 | 180 15300 107100 | 2147483647 63944 54 | 0.003 % |
907.07/907.61 c | 1360779 | 180 15300 107100 | 2147483647 67569 54 | 0.003 % |
909.67/910.22 c | 1364767 | 180 15300 107100 | 2147483647 71557 54 | 0.003 % |
912.97/913.52 c | 1369152 | 180 15300 107100 | 2147483647 75942 54 | 0.003 % |
916.37/916.94 c | 1373975 | 180 15300 107100 | 76792 70974 54 | 0.003 % |
920.17/920.78 c | 1379280 | 180 15300 107100 | 76792 76279 54 | 0.003 % |
924.06/924.62 c | 1385115 | 180 15300 107100 | 66530 62608 54 | 0.003 % |
928.15/928.76 c | 1391534 | 180 15300 107100 | 2147483647 62296 54 | 0.003 % |
932.55/933.12 c | 1398594 | 180 15300 107100 | 2147483647 69356 54 | 0.003 % |
937.55/938.12 c | 1406360 | 180 15300 107100 | 70762 69112 54 | 0.003 % |
942.65/943.26 c | 1414900 | 180 15300 107100 | 64343 61805 54 | 0.003 % |
947.75/948.36 c | 1424295 | 180 15300 107100 | 2147483647 64757 54 | 0.003 % |
954.65/955.30 c | 1434628 | 180 15300 107100 | 2147483647 75090 54 | 0.003 % |
962.05/962.61 c | 1445994 | 180 15300 107100 | 80462 75300 54 | 0.003 % |
970.25/970.86 c | 1458496 | 180 15300 107100 | 79307 76769 54 | 0.003 % |
970.35/970.94 c | 1458596 | 180 15300 107100 | 79307 76869 54 | 0.003 % |
970.45/971.06 c | 1458707 | 180 15300 107100 | 79307 76980 54 | 0.003 % |
970.55/971.16 c | 1458829 | 180 15300 107100 | 79307 77102 54 | 0.003 % |
970.65/971.27 c | 1458964 | 180 15300 107100 | 79307 77237 54 | 0.003 % |
970.85/971.40 c | 1459111 | 180 15300 107100 | 79307 77384 54 | 0.003 % |
970.95/971.53 c | 1459274 | 180 15300 107100 | 79307 77547 54 | 0.003 % |
971.05/971.69 c | 1459451 | 180 15300 107100 | 79307 77724 54 | 0.003 % |
971.25/971.85 c | 1459644 | 180 15300 107100 | 79307 77917 54 | 0.003 % |
971.45/972.03 c | 1459856 | 180 15300 107100 | 79307 78129 54 | 0.003 % |
971.75/972.34 c | 1460089 | 180 15300 107100 | 78274 67301 54 | 0.003 % |
971.95/972.57 c | 1460345 | 180 15300 107100 | 78274 67557 54 | 0.003 % |
972.25/972.82 c | 1460626 | 180 15300 107100 | 78274 67838 54 | 0.003 % |
972.45/973.05 c | 1460935 | 180 15300 107100 | 78274 68147 54 | 0.003 % |
972.74/973.32 c | 1461276 | 180 15300 107100 | 78274 68488 54 | 0.003 % |
973.04/973.65 c | 1461650 | 180 15300 107100 | 78274 68862 54 | 0.003 % |
973.34/973.98 c | 1462059 | 180 15300 107100 | 78274 69271 54 | 0.003 % |
973.74/974.39 c | 1462510 | 180 15300 107100 | 78274 69722 54 | 0.003 % |
974.24/974.84 c | 1463005 | 180 15300 107100 | 78274 70217 54 | 0.003 % |
974.74/975.38 c | 1463548 | 180 15300 107100 | 78274 70760 54 | 0.003 % |
975.34/975.93 c | 1464146 | 180 15300 107100 | 78274 71358 54 | 0.003 % |
975.94/976.58 c | 1464801 | 180 15300 107100 | 78274 72013 54 | 0.003 % |
976.54/977.12 c | 1465522 | 180 15300 107100 | 78274 72734 54 | 0.003 % |
977.34/977.92 c | 1466316 | 180 15300 107100 | 78274 73528 54 | 0.003 % |
978.04/978.69 c | 1467188 | 180 15300 107100 | 78274 74400 54 | 0.003 % |
978.94/979.50 c | 1468147 | 180 15300 107100 | 78274 75359 54 | 0.003 % |
979.74/980.32 c | 1469203 | 180 15300 107100 | 78274 76415 54 | 0.003 % |
980.64/981.27 c | 1470363 | 180 15300 107100 | 77212 64134 54 | 0.003 % |
981.44/982.09 c | 1471636 | 180 15300 107100 | 77212 65407 54 | 0.003 % |
982.34/982.97 c | 1473036 | 180 15300 107100 | 77212 66807 54 | 0.003 % |
983.44/984.01 c | 1474577 | 180 15300 107100 | 77212 68348 54 | 0.003 % |
984.83/985.42 c | 1476271 | 180 15300 107100 | 77212 70042 54 | 0.003 % |
986.14/986.75 c | 1478134 | 180 15300 107100 | 77212 71905 54 | 0.003 % |
987.63/988.24 c | 1480185 | 180 15300 107100 | 73773 63265 54 | 0.003 % |
989.03/989.65 c | 1482441 | 180 15300 107100 | 73773 65521 54 | 0.003 % |
990.63/991.26 c | 1484919 | 180 15300 107100 | 73773 67999 54 | 0.003 % |
992.53/993.16 c | 1487647 | 180 15300 107100 | 73773 70727 54 | 0.003 % |
994.63/995.24 c | 1490644 | 180 15300 107100 | 73081 64471 54 | 0.003 % |
996.73/997.30 c | 1493940 | 180 15300 107100 | 73081 67767 54 | 0.003 % |
999.03/999.64 c | 1497565 | 180 15300 107100 | 73081 71392 54 | 0.003 % |
1001.83/1002.45 c | 1501552 | 180 15300 107100 | 64764 58286 53 | 0.003 % |
1004.43/1005.01 c | 1505939 | 180 15300 107100 | 64764 62673 53 | 0.003 % |
1007.23/1007.82 c | 1510764 | 180 15300 107100 | 2147483647 60960 53 | 0.003 % |
1010.63/1011.21 c | 1516071 | 180 15300 107100 | 2147483647 66267 53 | 0.003 % |
1014.52/1015.15 c | 1521907 | 180 15300 107100 | 70196 64055 53 | 0.003 % |
1018.62/1019.22 c | 1528325 | 180 15300 107100 | 70196 62524 54 | 0.003 % |
1022.71/1023.39 c | 1535385 | 180 15300 107100 | 64199 62372 54 | 0.003 % |
1027.71/1028.31 c | 1543150 | 180 15300 107100 | 2147483647 63709 54 | 0.003 % |
1033.21/1033.89 c | 1551691 | 180 15300 107100 | 70560 64860 54 | 0.003 % |
1039.11/1039.77 c | 1561085 | 180 15300 107100 | 65810 60012 54 | 0.003 % |
1045.41/1046.01 c | 1571418 | 180 15300 107100 | 2147483647 63757 54 | 0.003 % |
1052.90/1053.59 c | 1582784 | 180 15300 107100 | 72340 66698 55 | 0.003 % |
1061.60/1062.28 c | 1595286 | 180 15300 107100 | 64220 61158 55 | 0.003 % |
1070.29/1070.91 c | 1609038 | 180 15300 107100 | 58976 55933 56 | 0.003 % |
1070.29/1070.99 c | 1609139 | 180 15300 107100 | 58976 56034 56 | 0.003 % |
1070.39/1071.06 c | 1609251 | 180 15300 107100 | 58976 56146 56 | 0.003 % |
1070.49/1071.13 c | 1609374 | 180 15300 107100 | 58976 56269 56 | 0.003 % |
1070.59/1071.20 c | 1609508 | 180 15300 107100 | 58976 56403 56 | 0.003 % |
1070.69/1071.33 c | 1609654 | 180 15300 107100 | 58976 56549 56 | 0.003 % |
1070.79/1071.47 c | 1609814 | 180 15300 107100 | 58976 56709 56 | 0.003 % |
1070.89/1071.59 c | 1609991 | 180 15300 107100 | 58976 56886 56 | 0.003 % |
1071.09/1071.73 c | 1610184 | 180 15300 107100 | 2147483647 57079 56 | 0.003 % |
1071.19/1071.87 c | 1610396 | 180 15300 107100 | 2147483647 57291 56 | 0.003 % |
1071.39/1072.03 c | 1610630 | 180 15300 107100 | 2147483647 57525 56 | 0.003 % |
1071.59/1072.20 c | 1610888 | 180 15300 107100 | 2147483647 57783 56 | 0.003 % |
1071.69/1072.37 c | 1611169 | 180 15300 107100 | 2147483647 58064 56 | 0.003 % |
1071.89/1072.57 c | 1611478 | 180 15300 107100 | 2147483647 58373 56 | 0.003 % |
1072.09/1072.77 c | 1611817 | 180 15300 107100 | 2147483647 58712 56 | 0.003 % |
1072.29/1072.96 c | 1612189 | 180 15300 107100 | 2147483647 59084 56 | 0.003 % |
1072.59/1073.21 c | 1612598 | 180 15300 107100 | 2147483647 59493 56 | 0.003 % |
1072.89/1073.54 c | 1613047 | 180 15300 107100 | 2147483647 59942 56 | 0.003 % |
1073.29/1073.92 c | 1613541 | 180 15300 107100 | 2147483647 60436 56 | 0.003 % |
1073.59/1074.26 c | 1614083 | 180 15300 107100 | 2147483647 60978 56 | 0.003 % |
1073.99/1074.62 c | 1614680 | 180 15300 107100 | 2147483647 61575 55 | 0.003 % |
1074.39/1075.06 c | 1615335 | 180 15300 107100 | 2147483647 62230 55 | 0.003 % |
1074.89/1075.53 c | 1616055 | 180 15300 107100 | 2147483647 62950 55 | 0.003 % |
1075.48/1076.11 c | 1616847 | 180 15300 107100 | 2147483647 63742 55 | 0.003 % |
1076.08/1076.78 c | 1617718 | 180 15300 107100 | 2147483647 64613 55 | 0.003 % |
1076.78/1077.42 c | 1618677 | 180 15300 107100 | 2147483647 65572 55 | 0.003 % |
1077.39/1078.07 c | 1619730 | 180 15300 107100 | 2147483647 66625 55 | 0.003 % |
1078.08/1078.78 c | 1620888 | 180 15300 107100 | 66895 61065 55 | 0.003 % |
1078.88/1079.59 c | 1622161 | 180 15300 107100 | 66895 62338 55 | 0.003 % |
1079.78/1080.40 c | 1623561 | 180 15300 107100 | 66895 63738 55 | 0.003 % |
1080.98/1081.61 c | 1625103 | 180 15300 107100 | 66895 65280 55 | 0.003 % |
1082.18/1082.86 c | 1626800 | 180 15300 107100 | 66895 66977 55 | 0.003 % |
1083.28/1083.95 c | 1628663 | 180 15300 107100 | 66895 60988 55 | 0.003 % |
1084.48/1085.16 c | 1630712 | 180 15300 107100 | 62327 56413 55 | 0.003 % |
1085.78/1086.47 c | 1632967 | 180 15300 107100 | 62327 58668 55 | 0.003 % |
1087.28/1087.97 c | 1635445 | 180 15300 107100 | 62327 61146 55 | 0.003 % |
1088.98/1089.64 c | 1638170 | 180 15300 107100 | 62327 57630 55 | 0.003 % |
1090.78/1091.47 c | 1641169 | 180 15300 107100 | 2147483647 60629 55 | 0.003 % |
1093.08/1093.71 c | 1644467 | 180 15300 107100 | 2147483647 63927 55 | 0.003 % |
1095.67/1096.32 c | 1648092 | 180 15300 107100 | 2147483647 67552 55 | 0.003 % |
1098.57/1099.21 c | 1652081 | 180 15300 107100 | 69460 63686 54 | 0.003 % |
1101.27/1101.98 c | 1656468 | 180 15300 107100 | 69460 68073 54 | 0.003 % |
1104.17/1104.86 c | 1661292 | 180 15300 107100 | 63292 57436 54 | 0.003 % |
1107.37/1108.06 c | 1666597 | 180 15300 107100 | 63292 62741 54 | 0.003 % |
1111.16/1111.85 c | 1672434 | 180 15300 107100 | 2147483647 62241 54 | 0.003 % |
1115.36/1116.06 c | 1678852 | 180 15300 107100 | 2147483647 68659 54 | 0.003 % |
1120.36/1121.08 c | 1685912 | 180 15300 107100 | 69807 67707 54 | 0.003 % |
1125.66/1126.33 c | 1693677 | 180 15300 107100 | 63474 59865 54 | 0.003 % |
1130.96/1131.65 c | 1702217 | 180 15300 107100 | 2147483647 62050 54 | 0.003 % |
1137.45/1138.10 c | 1711611 | 180 15300 107100 | 2147483647 71444 54 | 0.003 % |
1145.15/1145.88 c | 1721945 | 180 15300 107100 | 79834 70454 54 | 0.003 % |
1153.44/1154.14 c | 1733312 | 180 15300 107100 | 78511 69867 54 | 0.003 % |
1162.64/1163.34 c | 1745814 | 180 15300 107100 | 76555 71266 54 | 0.003 % |
1172.74/1173.47 c | 1759566 | 180 15300 107100 | 75453 74109 54 | 0.003 % |
1182.44/1183.19 c | 1774693 | 180 15300 107100 | 74380 68127 54 | 0.003 % |
1182.54/1183.26 c | 1774793 | 180 15300 107100 | 74380 68227 54 | 0.003 % |
1182.64/1183.34 c | 1774905 | 180 15300 107100 | 74380 68339 54 | 0.003 % |
1182.74/1183.44 c | 1775030 | 180 15300 107100 | 74380 68464 54 | 0.003 % |
1182.84/1183.55 c | 1775164 | 180 15300 107100 | 74380 68598 54 | 0.003 % |
1182.94/1183.66 c | 1775310 | 180 15300 107100 | 74380 68744 54 | 0.003 % |
1183.04/1183.78 c | 1775471 | 180 15300 107100 | 74380 68905 54 | 0.003 % |
1183.24/1183.94 c | 1775649 | 180 15300 107100 | 74380 69083 54 | 0.003 % |
1183.34/1184.09 c | 1775842 | 180 15300 107100 | 74380 69276 54 | 0.003 % |
1183.54/1184.29 c | 1776054 | 180 15300 107100 | 74380 69488 54 | 0.003 % |
1183.74/1184.49 c | 1776288 | 180 15300 107100 | 74380 69722 54 | 0.003 % |
1183.94/1184.68 c | 1776544 | 180 15300 107100 | 74380 69978 54 | 0.003 % |
1184.23/1184.92 c | 1776826 | 180 15300 107100 | 74380 70260 54 | 0.003 % |
1184.43/1185.16 c | 1777136 | 180 15300 107100 | 74380 70570 54 | 0.003 % |
1184.73/1185.41 c | 1777475 | 180 15300 107100 | 74380 70909 54 | 0.003 % |
1184.93/1185.68 c | 1777848 | 180 15300 107100 | 74380 71282 54 | 0.003 % |
1185.23/1185.94 c | 1778259 | 180 15300 107100 | 74380 71693 54 | 0.003 % |
1185.53/1186.22 c | 1778708 | 180 15300 107100 | 74380 72142 54 | 0.003 % |
1185.83/1186.54 c | 1779201 | 180 15300 107100 | 74380 72635 54 | 0.003 % |
1186.23/1186.92 c | 1779745 | 180 15300 107100 | 74380 73179 54 | 0.003 % |
1186.63/1187.36 c | 1780341 | 180 15300 107100 | 73434 62701 54 | 0.003 % |
1187.03/1187.77 c | 1780996 | 180 15300 107100 | 73434 63356 54 | 0.003 % |
1187.54/1188.21 c | 1781716 | 180 15300 107100 | 73434 64076 54 | 0.003 % |
1188.04/1188.76 c | 1782508 | 180 15300 107100 | 73434 64868 54 | 0.003 % |
1188.74/1189.43 c | 1783379 | 180 15300 107100 | 73434 65739 54 | 0.003 % |
1189.34/1190.05 c | 1784337 | 180 15300 107100 | 73434 66697 54 | 0.003 % |
1190.04/1190.75 c | 1785393 | 180 15300 107100 | 73434 67753 54 | 0.003 % |
1190.84/1191.51 c | 1786551 | 180 15300 107100 | 73434 68911 54 | 0.003 % |
1191.84/1192.52 c | 1787824 | 180 15300 107100 | 73434 70184 54 | 0.003 % |
1192.94/1193.61 c | 1789224 | 180 15300 107100 | 73434 71584 54 | 0.003 % |
1193.94/1194.65 c | 1790765 | 180 15300 107100 | 72361 63053 54 | 0.003 % |
1195.04/1195.73 c | 1792459 | 180 15300 107100 | 72361 64747 54 | 0.003 % |
1196.14/1196.88 c | 1794323 | 180 15300 107100 | 72361 66611 54 | 0.003 % |
1197.63/1198.39 c | 1796373 | 180 15300 107100 | 72361 68661 54 | 0.003 % |
1199.33/1200.06 c | 1798627 | 180 15300 107100 | 72361 70915 54 | 0.003 % |
1200.03/1200.71 HOME/SatELiteGTI: line 36: 1128 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-1832597-1242785024/watcher-1832597-1242785024 -o /tmp/evaluation-result-1832597-1242785024/solver-1832597-1242785024 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832597-1242785024.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.03 1.02 1.00 3/65 1122
/proc/meminfo: memFree=1750576/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306532286 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 269807747154 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/1122/statm: 1339 235 195 169 0 50 0
[pid=1123] ppid=1122 vsize=5356 CPUtime=0
/proc/1123/stat : 1123 (SatELiteGTI) S 1122 1122 556 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306532287 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/1123/statm: 1339 238 198 169 0 50 0
[pid=1125] ppid=1123 vsize=0 CPUtime=0
/proc/1125/stat : 1125 (SatELiteGTI) R 1123 1122 556 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 306532287 0 0 1992294400 0 0 0 18446744073709551615 269807578407 0 0 4096 0 0 0 0 17 0 0 0
/proc/1125/statm: 0 0 0 0 0 0 0
[startup+0.045205 s]
/proc/loadavg: 1.03 1.02 1.00 3/65 1122
/proc/meminfo: memFree=1750576/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306532286 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1122/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101205 s]
/proc/loadavg: 1.03 1.02 1.00 3/65 1122
/proc/meminfo: memFree=1750576/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356
[startup+0.301223 s]
/proc/loadavg: 1.03 1.02 1.00 3/65 1122
/proc/meminfo: memFree=1750576/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356
[startup+0.701265 s]
/proc/loadavg: 1.03 1.02 1.00 3/65 1122
/proc/meminfo: memFree=1750576/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356
[startup+1.50135 s]
/proc/loadavg: 1.03 1.02 1.00 2/67 1128
/proc/meminfo: memFree=1746912/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=4956 CPUtime=1.43
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 1001 0 0 0 143 0 0 0 25 0 1 0 306532292 5074944 987 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 1239 987 76 171 0 1066 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10312
[startup+3.10252 s]
/proc/loadavg: 1.03 1.02 1.00 2/67 1128
/proc/meminfo: memFree=1744992/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=7260 CPUtime=3.03
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 1569 0 0 0 302 1 0 0 25 0 1 0 306532292 7434240 1555 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 1815 1556 76 171 0 1642 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 12616
[startup+6.30186 s]
/proc/loadavg: 1.03 1.02 1.00 2/67 1128
/proc/meminfo: memFree=1741472/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=10156 CPUtime=6.21
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 2268 0 0 0 620 1 0 0 25 0 1 0 306532292 10399744 2254 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 2539 2254 76 171 0 2366 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 15512
[startup+12.7015 s]
/proc/loadavg: 1.02 1.02 1.00 2/67 1128
/proc/meminfo: memFree=1737440/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=13800 CPUtime=12.61
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 3200 0 0 0 1258 3 0 0 25 0 1 0 306532292 14131200 3186 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 3450 3186 76 171 0 3277 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 19156
[startup+25.5019 s]
/proc/loadavg: 1.02 1.02 1.00 2/67 1128
/proc/meminfo: memFree=1732192/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=18944 CPUtime=25.4
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 4450 0 0 0 2535 5 0 0 25 0 1 0 306532292 19398656 4436 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 4736 4436 76 171 0 4563 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 24300
[startup+51.1016 s]
/proc/loadavg: 1.01 1.02 1.00 2/67 1128
/proc/meminfo: memFree=1729312/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=21604 CPUtime=50.98
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 5130 0 0 0 5092 6 0 0 25 0 1 0 306532292 22122496 5116 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 5401 5116 76 171 0 5228 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 26960
[startup+102.305 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 1128
/proc/meminfo: memFree=1728672/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=22136 CPUtime=102.15
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 5262 0 0 0 10209 6 0 0 25 0 1 0 306532292 22667264 5248 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 5534 5248 76 171 0 5361 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 27492
[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 1128
/proc/meminfo: memFree=1728480/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=22136 CPUtime=162.12
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 5263 0 0 0 16205 7 0 0 25 0 1 0 306532292 22667264 5249 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 5534 5249 76 171 0 5361 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 27492
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1128
/proc/meminfo: memFree=1727456/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=22940 CPUtime=222.09
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 5478 0 0 0 22202 7 0 0 25 0 1 0 306532292 23490560 5464 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 5735 5464 76 171 0 5562 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 28296
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1128
/proc/meminfo: memFree=1727392/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=22940 CPUtime=282.05
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 5478 0 0 0 28198 7 0 0 25 0 1 0 306532292 23490560 5464 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 5735 5464 76 171 0 5562 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 28296
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1128
/proc/meminfo: memFree=1726376/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=23864 CPUtime=342.02
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 5719 0 0 0 34194 8 0 0 25 0 1 0 306532292 24436736 5705 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 5966 5705 76 171 0 5793 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 29220
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1128
/proc/meminfo: memFree=1726248/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=23864 CPUtime=401.98
################
# More data... #
################
[pid=1128] ppid=1122 vsize=24148 CPUtime=521.91
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 5779 0 0 0 52183 8 0 0 25 0 1 0 306532292 24727552 5765 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 6037 5765 76 171 0 5864 0
Current children cumulated CPU time (s) 521.96
Current children cumulated vsize (KiB) 29504
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1128
/proc/meminfo: memFree=1725736/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=24284 CPUtime=581.89
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 5798 0 0 0 58180 9 0 0 25 0 1 0 306532292 24866816 5784 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 6071 5784 76 171 0 5898 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 29640
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1128
/proc/meminfo: memFree=1724776/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=25088 CPUtime=641.86
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 6007 0 0 0 64177 9 0 0 25 0 1 0 306532292 25690112 5993 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 6272 5993 76 171 0 6099 0
Current children cumulated CPU time (s) 641.91
Current children cumulated vsize (KiB) 30444
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1128
/proc/meminfo: memFree=1724648/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=25088 CPUtime=701.83
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 6007 0 0 0 70174 9 0 0 25 0 1 0 306532292 25690112 5993 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 6272 5993 76 171 0 6099 0
Current children cumulated CPU time (s) 701.88
Current children cumulated vsize (KiB) 30444
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1128
/proc/meminfo: memFree=1724456/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=25088 CPUtime=761.8
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 6007 0 0 0 76171 9 0 0 25 0 1 0 306532292 25690112 5993 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 6272 5993 76 171 0 6099 0
Current children cumulated CPU time (s) 761.85
Current children cumulated vsize (KiB) 30444
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1128
/proc/meminfo: memFree=1724328/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=25088 CPUtime=821.76
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 6007 0 0 0 82167 9 0 0 25 0 1 0 306532292 25690112 5993 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 6272 5993 76 171 0 6099 0
Current children cumulated CPU time (s) 821.81
Current children cumulated vsize (KiB) 30444
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1128
/proc/meminfo: memFree=1724200/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=25088 CPUtime=881.74
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 6007 0 0 0 88165 9 0 0 25 0 1 0 306532292 25690112 5993 1992294400 134512640 135215339 4294956240 18446744073709551615 134528872 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 6272 5993 76 171 0 6099 0
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (KiB) 30444
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1128
/proc/meminfo: memFree=1724072/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=25088 CPUtime=941.7
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 6007 0 0 0 94161 9 0 0 25 0 1 0 306532292 25690112 5993 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 6272 5993 76 171 0 6099 0
Current children cumulated CPU time (s) 941.75
Current children cumulated vsize (KiB) 30444
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1128
/proc/meminfo: memFree=1723240/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=25888 CPUtime=1001.68
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 6217 0 0 0 100158 10 0 0 25 0 1 0 306532292 26509312 6203 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 6472 6203 76 171 0 6299 0
Current children cumulated CPU time (s) 1001.73
Current children cumulated vsize (KiB) 31244
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1128
/proc/meminfo: memFree=1723112/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=25888 CPUtime=1061.65
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 6217 0 0 0 106155 10 0 0 25 0 1 0 306532292 26509312 6203 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 6472 6203 76 171 0 6299 0
Current children cumulated CPU time (s) 1061.7
Current children cumulated vsize (KiB) 31244
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1128
/proc/meminfo: memFree=1723048/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=25888 CPUtime=1121.61
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 6217 0 0 0 112151 10 0 0 25 0 1 0 306532292 26509312 6203 1992294400 134512640 135215339 4294956240 18446744073709551615 134529088 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 6472 6203 76 171 0 6299 0
Current children cumulated CPU time (s) 1121.66
Current children cumulated vsize (KiB) 31244
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1128
/proc/meminfo: memFree=1722600/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=26296 CPUtime=1181.59
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 6311 0 0 0 118149 10 0 0 25 0 1 0 306532292 26927104 6297 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 6574 6297 76 171 0 6401 0
Current children cumulated CPU time (s) 1181.64
Current children cumulated vsize (KiB) 31652
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1128
/proc/meminfo: memFree=1722472/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=26436 CPUtime=1199.98
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 6344 0 0 0 119987 11 0 0 25 0 1 0 306532292 27070464 6330 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 6609 6330 76 171 0 6436 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 31792
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1128
/proc/meminfo: memFree=1722472/2055920 swapFree=4179368/4192956
[pid=1122] ppid=1120 vsize=5356 CPUtime=0.05
/proc/1122/stat : 1122 (SatELiteGTI) S 1120 1122 556 0 -1 4194304 336 709 0 0 0 0 5 0 17 0 1 0 306532286 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1122/statm: 1339 239 197 169 0 50 0
[pid=1128] ppid=1122 vsize=26436 CPUtime=1199.98
/proc/1128/stat : 1128 (minisat_static) R 1122 1122 556 0 -1 4194304 6344 0 0 0 119987 11 0 0 25 0 1 0 306532292 27070464 6330 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/1128/statm: 6609 6330 76 171 0 6436 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 31792
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.71
CPU time (s): 1200.05
CPU user time (s): 1199.93
CPU system time (s): 0.118981
CPU usage (%): 99.9449
Max. virtual memory (cumulated for all children) (KiB): 31792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.93
system time used= 0.118981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7398
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= 5936
runsolver used 1.15582 second user time and 3.36549 second system time
The end
Begin job on node81 at 2009-05-20 04:03:45
IDJOB=1832597
IDBENCH=70262
IDSOLVER=671
FILE ID=node81/1832597-1242785024
PBS_JOBID= 9322343
Free space on /tmp= 126528 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/180/unif-k7-r85-v180-c15300-S907861678-077.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832597-1242785024/watcher-1832597-1242785024 -o /tmp/evaluation-result-1832597-1242785024/solver-1832597-1242785024 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832597-1242785024.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3d095d003b98913e818830d59841a8fe
RANDOM SEED=1535172649
node81.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.234
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.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1751056 kB
Buffers: 30864 kB
Cached: 225732 kB
SwapCached: 7176 kB
Active: 100676 kB
Inactive: 164572 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1751056 kB
SwapTotal: 4192956 kB
SwapFree: 4179368 kB
Dirty: 2012 kB
Writeback: 0 kB
Mapped: 13756 kB
Slab: 25376 kB
Committed_AS: 937780 kB
PageTables: 1452 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126524 MiB
End job on node81 at 2009-05-20 04:23:47