0.00/0.00 c Parsing...
0.00/0.03 c ==============================================================================
0.00/0.03 c | | ORIGINAL | LEARNT | |
0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.03 c ==============================================================================
0.00/0.03 c | 0 | 61409 123673 | 18422 0 0 nan | 0.000 % |
0.00/0.23 c | 0 | 60148 195295 | -- 0 -- -- | -- | -1261/71622
0.00/0.23 c ==============================================================================
0.00/0.23 c Result : #vars: 900 #clauses: 60148 #literals: 195295
0.00/0.23 c CPU time: 0.214967 s
0.00/0.23 c ==============================================================================
0.00/0.29 c This is MiniSat 2.0 beta
0.00/0.29 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.29 c ============================[ Problem Statistics ]=============================
0.00/0.29 c | |
0.00/0.29 c | Number of variables: 900 |
0.00/0.29 c | Number of clauses: 60148 |
0.27/0.32 c | Parsing time: 0.03 s |
0.27/0.32 c ============================[ Search Statistics ]==============================
0.27/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.27/0.32 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.27/0.32 c ===============================================================================
0.27/0.32 c | 0 | 900 60148 195295 | 20049 0 nan | 0.000 % |
0.27/0.33 c | 100 | 900 60148 195295 | 20049 100 86 | 0.000 % |
0.27/0.34 c | 200 | 900 60148 195295 | 20049 200 81 | 0.000 % |
0.27/0.35 c | 301 | 900 60148 195295 | 20049 301 72 | 0.000 % |
0.27/0.36 c | 413 | 900 60148 195295 | 20049 413 64 | 0.015 % |
0.27/0.37 c | 514 | 900 60148 195295 | 20049 514 59 | 0.019 % |
0.27/0.38 c | 624 | 900 60148 195295 | 20049 624 64 | 0.000 % |
0.27/0.39 c | 745 | 900 60148 195295 | 20049 745 62 | 0.000 % |
0.27/0.40 c | 845 | 900 60148 195295 | 20049 845 64 | 0.000 % |
0.27/0.41 c | 957 | 900 60148 195295 | 20049 957 64 | 0.017 % |
0.27/0.42 c | 1079 | 900 60148 195295 | 20049 1079 61 | 0.000 % |
0.27/0.44 c | 1214 | 900 60148 195295 | 20049 1214 63 | 0.000 % |
0.27/0.45 c | 1314 | 900 60148 195295 | 20049 1314 61 | 0.000 % |
0.27/0.46 c | 1424 | 900 60148 195295 | 20049 1424 60 | 0.014 % |
0.27/0.47 c | 1545 | 900 60148 195295 | 20049 1545 59 | 0.019 % |
0.27/0.48 c | 1679 | 900 60148 195295 | 20049 1679 60 | 0.000 % |
0.27/0.50 c | 1826 | 900 60148 195295 | 20049 1826 59 | 0.000 % |
0.27/0.51 c | 1929 | 900 60148 195295 | 20049 1929 58 | 0.000 % |
0.27/0.52 c | 2039 | 900 60148 195295 | 20049 2039 58 | 0.017 % |
0.27/0.53 c | 2160 | 900 60148 195295 | 20049 2160 60 | 0.000 % |
0.27/0.55 c | 2293 | 900 60148 195295 | 20049 2293 62 | 0.000 % |
0.27/0.56 c | 2439 | 900 60148 195295 | 20049 2439 63 | 0.000 % |
0.27/0.58 c | 2599 | 900 60148 195295 | 20049 2599 63 | 0.000 % |
0.27/0.59 c | 2701 | 900 60148 195295 | 20049 2701 64 | 0.000 % |
0.27/0.60 c | 2812 | 900 60148 195295 | 20049 2812 64 | 0.000 % |
0.27/0.62 c | 2934 | 900 60148 195295 | 20049 2934 64 | 0.014 % |
0.27/0.63 c | 3067 | 900 60148 195295 | 20049 3067 63 | 0.014 % |
0.27/0.65 c | 3213 | 900 60148 195295 | 20049 3213 64 | 0.000 % |
0.27/0.66 c | 3374 | 900 60148 195295 | 20049 3374 64 | 0.000 % |
0.27/0.68 c | 3550 | 900 60148 195295 | 20049 3550 62 | 0.015 % |
0.27/0.70 c | 3650 | 900 60148 195295 | 20049 3650 63 | 0.000 % |
0.27/0.71 c | 3760 | 900 60148 195295 | 20049 3760 64 | 0.000 % |
0.27/0.72 c | 3881 | 900 60148 195295 | 20049 3881 64 | 0.000 % |
0.27/0.74 c | 4014 | 900 60148 195295 | 20049 4014 64 | 0.000 % |
0.27/0.76 c | 4162 | 900 60148 195295 | 20049 4162 65 | 0.000 % |
0.27/0.78 c | 4322 | 900 60148 195295 | 20049 4322 66 | 0.000 % |
0.27/0.80 c | 4498 | 900 60148 195295 | 20049 4498 66 | 0.000 % |
0.27/0.82 c | 4691 | 900 60148 195295 | 20049 4691 67 | 0.000 % |
0.27/0.83 c | 4791 | 900 60148 195295 | 20049 4791 67 | 0.000 % |
0.27/0.85 c | 4901 | 900 60148 195295 | 20049 4901 67 | 0.015 % |
0.27/0.86 c | 5023 | 900 60148 195295 | 20049 5023 66 | 0.000 % |
0.27/0.88 c | 5156 | 900 60148 195295 | 20049 5156 67 | 0.000 % |
0.27/0.90 c | 5302 | 900 60148 195295 | 20049 5302 66 | 0.000 % |
0.27/0.91 c | 5462 | 900 60148 195295 | 20049 5462 66 | 0.000 % |
0.27/0.94 c | 5640 | 900 60148 195295 | 20049 5640 65 | 0.000 % |
0.27/0.96 c | 5837 | 900 60148 195295 | 20049 5837 65 | 0.000 % |
0.27/0.98 c | 6049 | 900 60148 195295 | 20049 6049 64 | 0.019 % |
0.27/1.00 c | 6149 | 900 60148 195295 | 20049 6149 65 | 0.000 % |
0.97/1.02 c | 6259 | 900 60148 195295 | 20049 6259 64 | 0.000 % |
0.97/1.03 c | 6381 | 900 60148 195295 | 20049 6381 64 | 0.014 % |
0.97/1.05 c | 6517 | 900 60148 195295 | 20049 6517 64 | 0.014 % |
0.97/1.07 c | 6665 | 900 60148 195295 | 20049 6665 64 | 0.000 % |
0.97/1.09 c | 6828 | 900 60148 195295 | 20049 6828 65 | 0.000 % |
1.07/1.12 c | 7007 | 900 60148 195295 | 20049 7007 65 | 0.000 % |
1.07/1.15 c | 7200 | 900 60148 195295 | 20049 7200 66 | 0.000 % |
1.07/1.18 c | 7413 | 900 60148 195295 | 20049 7413 66 | 0.000 % |
1.16/1.22 c | 7648 | 900 60148 195295 | 20049 7648 66 | 0.018 % |
1.16/1.23 c | 7748 | 900 60148 195295 | 20049 7748 65 | 0.000 % |
1.16/1.25 c | 7858 | 900 60148 195295 | 20049 7858 65 | 0.018 % |
1.16/1.26 c | 7979 | 900 60148 195295 | 20049 7979 65 | 0.000 % |
1.16/1.28 c | 8113 | 900 60148 195295 | 20049 8113 65 | 0.017 % |
1.26/1.31 c | 8260 | 900 60148 195295 | 20049 8260 64 | 0.017 % |
1.26/1.33 c | 8420 | 900 60148 195295 | 20049 8420 64 | 0.000 % |
1.26/1.36 c | 8599 | 900 60148 195295 | 20049 8599 64 | 0.019 % |
1.26/1.39 c | 8793 | 900 60148 195295 | 20049 8793 65 | 0.000 % |
1.36/1.42 c | 9007 | 900 60148 195295 | 20049 9007 64 | 0.015 % |
1.36/1.46 c | 9241 | 900 60148 195295 | 20049 9241 65 | 0.000 % |
1.36/1.49 c | 9499 | 900 60148 195295 | 20049 9499 65 | 0.000 % |
1.46/1.51 c | 9599 | 900 60148 195295 | 20049 9599 65 | 0.000 % |
1.46/1.53 c | 9709 | 900 60148 195295 | 20049 9709 65 | 0.000 % |
1.46/1.55 c | 9832 | 900 60148 195295 | 20049 9832 65 | 0.000 % |
1.46/1.57 c | 9965 | 900 60148 195295 | 20049 9965 65 | 0.017 % |
1.46/1.59 c | 10111 | 900 60148 195295 | 2147483647 10111 65 | 0.000 % |
1.56/1.62 c | 10271 | 900 60148 195295 | 2147483647 10271 64 | 0.019 % |
1.56/1.64 c | 10448 | 900 60148 195295 | 2147483647 10448 64 | 0.000 % |
1.56/1.67 c | 10643 | 900 60148 195295 | 2147483647 10643 64 | 0.000 % |
1.66/1.71 c | 10856 | 900 60148 195295 | 2147483647 10856 64 | 0.000 % |
1.66/1.75 c | 11089 | 900 60148 195295 | 2147483647 11089 64 | 0.000 % |
1.76/1.80 c | 11345 | 900 60148 195295 | 2147483647 11345 65 | 0.000 % |
1.76/1.86 c | 11627 | 900 60148 195295 | 2147483647 11627 65 | 0.000 % |
1.76/1.88 c | 11730 | 900 60148 195295 | 2147483647 11730 65 | 0.000 % |
1.76/1.90 c | 11841 | 900 60148 195295 | 2147483647 11841 65 | 0.000 % |
1.86/1.92 c | 11962 | 900 60148 195295 | 2147483647 11962 65 | 0.016 % |
1.86/1.94 c | 12095 | 900 60148 195295 | 2147483647 12095 65 | 0.000 % |
1.86/1.97 c | 12241 | 900 60148 195295 | 2147483647 12241 65 | 0.000 % |
1.96/2.01 c | 12402 | 900 60148 195295 | 2147483647 12402 65 | 0.000 % |
1.96/2.04 c | 12578 | 900 60148 195295 | 2147483647 12578 65 | 0.017 % |
1.96/2.08 c | 12774 | 900 60148 195295 | 2147483647 12774 65 | 0.000 % |
2.06/2.13 c | 12987 | 900 60148 195295 | 2147483647 12987 66 | 0.000 % |
2.06/2.17 c | 13220 | 900 60148 195295 | 2147483647 13220 66 | 0.000 % |
2.16/2.22 c | 13476 | 900 60148 195295 | 2147483647 13476 65 | 0.018 % |
2.16/2.28 c | 13759 | 900 60148 195295 | 2147483647 13759 65 | 0.000 % |
2.26/2.35 c | 14068 | 900 60148 195295 | 2147483647 14068 65 | 0.000 % |
2.26/2.37 c | 14169 | 900 60148 195295 | 2147483647 14169 65 | 0.000 % |
2.26/2.40 c | 14279 | 900 60148 195295 | 2147483647 14279 65 | 0.000 % |
2.36/2.42 c | 14400 | 900 60148 195295 | 2147483647 14400 65 | 0.000 % |
2.36/2.45 c | 14535 | 900 60148 195295 | 2147483647 14535 65 | 0.000 % |
2.36/2.49 c | 14685 | 900 60148 195295 | 2147483647 14685 65 | 0.000 % |
2.46/2.52 c | 14846 | 900 60148 195295 | 2147483647 14846 65 | 0.000 % |
2.46/2.56 c | 15022 | 900 60148 195295 | 2147483647 15022 65 | 0.000 % |
2.56/2.61 c | 15215 | 900 60148 195295 | 2147483647 15215 65 | 0.000 % |
2.56/2.65 c | 15428 | 900 60148 195295 | 2147483647 15428 65 | 0.012 % |
2.66/2.71 c | 15663 | 900 60148 195295 | 2147483647 15663 65 | 0.017 % |
2.66/2.76 c | 15919 | 900 60148 195295 | 2147483647 15919 64 | 0.017 % |
2.76/2.83 c | 16201 | 900 60148 195295 | 2147483647 16201 64 | 0.019 % |
2.76/2.89 c | 16510 | 900 60148 195295 | 2147483647 16510 63 | 0.019 % |
2.86/2.99 c | 16849 | 900 60148 195295 | 2147483647 16849 64 | 0.000 % |
2.96/3.01 c | 16949 | 900 60148 195295 | 2147483647 16949 64 | 0.000 % |
2.96/3.03 c | 17059 | 900 60148 195295 | 2147483647 17059 64 | 0.000 % |
2.96/3.06 c | 17180 | 900 60148 195295 | 2147483647 17180 64 | 0.000 % |
2.96/3.09 c | 17313 | 900 60148 195295 | 2147483647 17313 64 | 0.000 % |
3.06/3.12 c | 17463 | 900 60148 195295 | 2147483647 17463 64 | 0.000 % |
3.06/3.16 c | 17624 | 900 60148 195295 | 2147483647 17624 64 | 0.017 % |
3.17/3.21 c | 17800 | 900 60148 195295 | 2147483647 17800 64 | 0.017 % |
3.17/3.25 c | 17994 | 900 60148 195295 | 2147483647 17994 64 | 0.000 % |
3.27/3.31 c | 18207 | 900 60148 195295 | 2147483647 18207 64 | 0.000 % |
3.27/3.36 c | 18441 | 900 60148 195295 | 2147483647 18441 64 | 0.000 % |
3.37/3.42 c | 18698 | 900 60148 195295 | 2147483647 18698 64 | 0.000 % |
3.46/3.50 c | 18979 | 900 60148 195295 | 2147483647 18979 64 | 0.000 % |
3.46/3.58 c | 19288 | 900 60148 195295 | 2147483647 19288 63 | 0.000 % |
3.56/3.66 c | 19629 | 900 60148 195295 | 2147483647 19629 63 | 0.016 % |
3.66/3.74 c | 20002 | 900 60148 195295 | 2147483647 20002 63 | 0.000 % |
3.66/3.78 c | 20102 | 900 60148 195295 | 2147483647 20102 63 | 0.000 % |
3.76/3.81 c | 20215 | 900 60148 195295 | 2147483647 20215 63 | 0.000 % |
3.76/3.84 c | 20336 | 900 60148 195295 | 2147483647 20336 63 | 0.000 % |
3.76/3.88 c | 20471 | 900 60148 195295 | 2147483647 20471 63 | 0.021 % |
3.86/3.92 c | 20617 | 900 60148 195295 | 2147483647 20617 63 | 0.021 % |
3.86/3.95 c | 20778 | 900 60148 195295 | 2147483647 20778 63 | 0.016 % |
3.96/4.00 c | 20954 | 900 60148 195295 | 2147483647 20954 63 | 0.021 % |
3.96/4.06 c | 21147 | 900 60148 195295 | 2147483647 21147 63 | 0.000 % |
4.06/4.12 c | 21359 | 900 60148 195295 | 2147483647 21359 63 | 0.018 % |
4.06/4.18 c | 21593 | 900 60148 195295 | 2147483647 21593 63 | 0.018 % |
4.16/4.27 c | 21849 | 900 60148 195295 | 2147483647 21849 63 | 0.000 % |
4.27/4.35 c | 22133 | 900 60148 195295 | 2147483647 22133 63 | 0.000 % |
4.37/4.44 c | 22442 | 900 60148 195295 | 2147483647 22442 63 | 0.016 % |
4.46/4.54 c | 22781 | 900 60148 195295 | 2147483647 22781 63 | 0.000 % |
4.56/4.65 c | 23153 | 900 60148 195295 | 2147483647 23153 63 | 0.000 % |
4.66/4.78 c | 23565 | 900 60148 195295 | 2147483647 23565 62 | 0.016 % |
4.76/4.81 c | 23667 | 900 60148 195295 | 2147483647 23667 63 | 0.000 % |
4.76/4.84 c | 23778 | 900 60148 195295 | 2147483647 23778 63 | 0.000 % |
4.76/4.87 c | 23899 | 900 60148 195295 | 2147483647 23899 63 | 0.018 % |
4.86/4.91 c | 24033 | 900 60148 195295 | 2147483647 24033 63 | 0.000 % |
4.86/4.96 c | 24179 | 900 60148 195295 | 2147483647 24179 63 | 0.000 % |
4.96/5.02 c | 24339 | 900 60148 195295 | 2147483647 24339 63 | 0.000 % |
4.96/5.06 c | 24520 | 900 60148 195295 | 2147483647 24520 63 | 0.017 % |
5.06/5.13 c | 24713 | 900 60148 195295 | 2147483647 24713 63 | 0.000 % |
5.06/5.19 c | 24926 | 900 60148 195295 | 2147483647 24926 63 | 0.000 % |
5.16/5.25 c | 25159 | 900 60148 195295 | 2147483647 25159 63 | 0.000 % |
5.26/5.34 c | 25416 | 900 60148 195295 | 2147483647 25416 63 | 0.000 % |
5.36/5.42 c | 25698 | 900 60148 195295 | 2147483647 25698 63 | 0.000 % |
5.36/5.50 c | 26007 | 900 60148 195295 | 2147483647 26007 63 | 0.000 % |
5.56/5.61 c | 26346 | 900 60148 195295 | 2147483647 26346 64 | 0.000 % |
5.67/5.72 c | 26720 | 900 60148 195295 | 2147483647 26720 64 | 0.000 % |
5.77/5.86 c | 27129 | 900 60148 195295 | 2147483647 27129 64 | 0.000 % |
5.97/6.01 c | 27578 | 900 60148 195295 | 2147483647 27578 64 | 0.016 % |
5.97/6.07 c | 27678 | 900 60148 195295 | 2147483647 27678 64 | 0.000 % |
6.07/6.11 c | 27788 | 900 60148 195295 | 2147483647 27788 64 | 0.000 % |
6.07/6.14 c | 27909 | 900 60148 195295 | 2147483647 27909 65 | 0.000 % |
6.07/6.19 c | 28043 | 900 60148 195295 | 2147483647 28043 65 | 0.000 % |
6.17/6.25 c | 28189 | 900 60148 195295 | 2147483647 28189 65 | 0.000 % |
6.17/6.29 c | 28349 | 900 60148 195295 | 2147483647 28349 65 | 0.018 % |
6.26/6.34 c | 28525 | 900 60148 195295 | 2147483647 28525 65 | 0.020 % |
6.36/6.42 c | 28718 | 900 60148 195295 | 2147483647 28718 65 | 0.000 % |
6.47/6.50 c | 28933 | 900 60148 195295 | 2147483647 28933 65 | 0.000 % |
6.47/6.57 c | 29166 | 900 60148 195295 | 2147483647 29166 65 | 0.000 % |
6.57/6.66 c | 29423 | 900 60148 195295 | 2147483647 29423 65 | 0.021 % |
6.66/6.77 c | 29704 | 900 60148 195295 | 2147483647 29704 65 | 0.000 % |
6.76/6.89 c | 30014 | 900 60148 195295 | 2147483647 30014 65 | 0.000 % |
6.96/7.03 c | 30354 | 900 60148 195295 | 2147483647 30354 65 | 0.000 % |
7.06/7.15 c | 30728 | 900 60148 195295 | 2147483647 30728 65 | 0.000 % |
7.26/7.31 c | 31137 | 900 60148 195295 | 2147483647 31137 65 | 0.000 % |
7.46/7.51 c | 31586 | 900 60148 195295 | 2147483647 31586 65 | 0.014 % |
7.66/7.71 c | 32080 | 900 60148 195295 | 2147483647 32080 65 | 0.000 % |
7.66/7.76 c | 32180 | 900 60148 195295 | 2147483647 32180 66 | 0.000 % |
7.76/7.80 c | 32290 | 900 60148 195295 | 2147483647 32290 66 | 0.000 % |
7.76/7.85 c | 32416 | 900 60148 195295 | 2147483647 32416 66 | 0.000 % |
7.76/7.89 c | 32549 | 900 60148 195295 | 2147483647 32549 66 | 0.015 % |
7.86/7.97 c | 32696 | 900 60148 195295 | 2147483647 32696 66 | 0.000 % |
7.96/8.04 c | 32856 | 900 60148 195295 | 2147483647 32856 66 | 0.000 % |
8.06/8.11 c | 33032 | 900 60148 195295 | 2147483647 33032 66 | 0.000 % |
8.16/8.21 c | 33225 | 900 60148 195295 | 2147483647 33225 66 | 0.000 % |
8.16/8.30 c | 33437 | 900 60148 195295 | 2147483647 33437 66 | 0.000 % |
8.27/8.39 c | 33671 | 900 60148 195295 | 2147483647 33671 66 | 0.014 % |
8.37/8.49 c | 33927 | 900 60148 195295 | 2147483647 33927 66 | 0.014 % |
8.47/8.59 c | 34209 | 900 60148 195295 | 2147483647 34209 66 | 0.016 % |
8.67/8.73 c | 34519 | 900 60148 195295 | 2147483647 34519 66 | 0.000 % |
8.77/8.88 c | 34858 | 900 60148 195295 | 2147483647 34858 66 | 0.000 % |
8.97/9.02 c | 35230 | 900 60148 195295 | 2147483647 35230 66 | 0.000 % |
9.06/9.17 c | 35639 | 900 60148 195295 | 2147483647 35639 65 | 0.016 % |
9.26/9.35 c | 36091 | 900 60148 195295 | 2147483647 36091 65 | 0.018 % |
9.46/9.59 c | 36585 | 900 60148 195295 | 2147483647 36585 66 | 0.000 % |
9.77/9.85 c | 37127 | 900 60148 195295 | 2147483647 37127 66 | 0.000 % |
9.87/9.91 c | 37227 | 900 60148 195295 | 2147483647 37227 66 | 0.000 % |
9.87/9.96 c | 37337 | 900 60148 195295 | 2147483647 37337 66 | 0.000 % |
9.96/10.01 c | 37460 | 900 60148 195295 | 2147483647 37460 66 | 0.000 % |
9.96/10.06 c | 37593 | 900 60148 195295 | 2147483647 37593 66 | 0.000 % |
10.06/10.13 c | 37739 | 900 60148 195295 | 2147483647 37739 66 | 0.000 % |
10.16/10.20 c | 37899 | 900 60148 195295 | 2147483647 37899 66 | 0.000 % |
10.16/10.28 c | 38075 | 900 60148 195295 | 2147483647 38075 66 | 0.017 % |
10.26/10.38 c | 38268 | 900 60148 195295 | 2147483647 38268 66 | 0.000 % |
10.36/10.49 c | 38480 | 900 60148 195295 | 2147483647 38480 66 | 0.000 % |
10.56/10.61 c | 38713 | 900 60148 195295 | 2147483647 38713 67 | 0.016 % |
10.66/10.73 c | 38969 | 900 60148 195295 | 2147483647 38969 67 | 0.000 % |
10.76/10.88 c | 39250 | 900 60148 195295 | 2147483647 39250 66 | 0.017 % |
10.97/11.04 c | 39559 | 900 60148 195295 | 2147483647 39559 66 | 0.021 % |
11.06/11.17 c | 39899 | 900 60148 195295 | 2147483647 39899 67 | 0.000 % |
11.16/11.28 c | 40271 | 900 60148 195295 | 2147483647 40271 66 | 0.000 % |
11.36/11.43 c | 40681 | 900 60148 195295 | 2147483647 40681 67 | 0.017 % |
11.56/11.62 c | 41130 | 900 60148 195295 | 2147483647 41130 67 | 0.000 % |
11.76/11.87 c | 41625 | 900 60148 195295 | 2147483647 41625 67 | 0.000 % |
12.06/12.12 c | 42169 | 900 60148 195295 | 2147483647 42169 67 | 0.000 % |
12.36/12.40 c | 42769 | 900 60148 195295 | 2147483647 42769 67 | 0.000 % |
12.36/12.45 c | 42871 | 900 60148 195295 | 2147483647 42871 67 | 0.014 % |
12.36/12.50 c | 42982 | 900 60148 195295 | 2147483647 42982 67 | 0.014 % |
12.46/12.56 c | 43105 | 900 60148 195295 | 2147483647 43105 67 | 0.000 % |
12.56/12.61 c | 43238 | 900 60148 195295 | 2147483647 43238 67 | 0.015 % |
12.56/12.69 c | 43386 | 900 60148 195295 | 2147483647 43386 67 | 0.000 % |
12.66/12.78 c | 43548 | 900 60148 195295 | 2147483647 43548 67 | 0.000 % |
12.76/12.90 c | 43724 | 900 60148 195295 | 2147483647 43724 67 | 0.000 % |
12.86/12.99 c | 43918 | 900 60148 195295 | 2147483647 43918 67 | 0.019 % |
12.96/13.07 c | 44131 | 900 60148 195295 | 2147483647 44131 67 | 0.000 % |
13.06/13.19 c | 44364 | 900 60148 195295 | 2147483647 44364 67 | 0.000 % |
13.26/13.33 c | 44620 | 900 60148 195295 | 2147483647 44620 66 | 0.018 % |
13.36/13.47 c | 44902 | 900 60148 195295 | 2147483647 44902 66 | 0.000 % |
13.56/13.63 c | 45212 | 900 60148 195295 | 2147483647 45212 66 | 0.000 % |
13.66/13.79 c | 45552 | 900 60148 195295 | 2147483647 45552 66 | 0.018 % |
13.96/14.05 c | 45924 | 900 60148 195295 | 2147483647 45924 66 | 0.000 % |
14.16/14.25 c | 46334 | 900 60148 195295 | 2147483647 46334 66 | 0.000 % |
14.36/14.45 c | 46784 | 900 60148 195295 | 2147483647 46784 66 | 0.000 % |
14.55/14.69 c | 47279 | 900 60148 195295 | 2147483647 47279 66 | 0.000 % |
14.95/15.02 c | 47821 | 900 60148 195295 | 2147483647 47821 66 | 0.017 % |
15.27/15.32 c | 48417 | 900 60148 195295 | 2147483647 48417 66 | 0.000 % |
15.56/15.69 c | 49072 | 900 60148 195295 | 2147483647 49072 66 | 0.000 % |
15.66/15.77 c | 49173 | 900 60148 195295 | 2147483647 49173 66 | 0.000 % |
15.76/15.85 c | 49283 | 900 60148 195295 | 2147483647 49283 66 | 0.000 % |
15.86/15.91 c | 49405 | 900 60148 195295 | 2147483647 49405 66 | 0.000 % |
15.86/15.99 c | 49538 | 900 60148 195295 | 2147483647 49538 66 | 0.000 % |
15.96/16.08 c | 49684 | 900 60148 195295 | 2147483647 49684 66 | 0.000 % |
16.06/16.17 c | 49845 | 900 60148 195295 | 2147483647 49845 66 | 0.000 % |
16.16/16.26 c | 50021 | 900 60148 195295 | 2147483647 50021 66 | 0.018 % |
16.26/16.39 c | 50215 | 900 60148 195295 | 2147483647 50215 66 | 0.000 % |
16.46/16.53 c | 50427 | 900 60148 195295 | 2147483647 50427 66 | 0.000 % |
16.56/16.64 c | 50662 | 900 60148 195295 | 2147483647 50662 66 | 0.000 % |
16.66/16.77 c | 50918 | 900 60148 195295 | 2147483647 50918 66 | 0.000 % |
16.86/16.90 c | 51200 | 900 60148 195295 | 2147483647 51200 66 | 0.018 % |
16.96/17.09 c | 51511 | 900 60148 195295 | 2147483647 51511 66 | 0.000 % |
17.25/17.35 c | 51852 | 900 60148 195295 | 2147483647 51852 66 | 0.000 % |
17.46/17.59 c | 52224 | 900 60148 195295 | 2147483647 52224 66 | 0.015 % |
17.76/17.80 c | 52633 | 900 60148 195295 | 2147483647 52633 66 | 0.017 % |
17.96/18.04 c | 53083 | 900 60148 195295 | 2147483647 53083 66 | 0.015 % |
18.26/18.38 c | 53577 | 900 60148 195295 | 2147483647 53577 66 | 0.000 % |
18.67/18.72 c | 54120 | 900 60148 195295 | 2147483647 54120 66 | 0.000 % |
19.06/19.11 c | 54718 | 900 60148 195295 | 2147483647 54718 67 | 0.000 % |
19.36/19.49 c | 55373 | 900 60148 195295 | 2147483647 55373 66 | 0.000 % |
19.86/19.93 c | 56093 | 900 60148 195295 | 2147483647 56093 67 | 0.000 % |
19.96/20.00 c | 56193 | 900 60148 195295 | 2147483647 56193 67 | 0.000 % |
20.06/20.10 c | 56304 | 900 60148 195295 | 2147483647 56304 67 | 0.000 % |
20.06/20.20 c | 56425 | 900 60148 195295 | 2147483647 56425 67 | 0.000 % |
20.16/20.27 c | 56558 | 900 60148 195295 | 2147483647 56558 67 | 0.000 % |
20.26/20.39 c | 56705 | 900 60148 195295 | 2147483647 56705 67 | 0.000 % |
20.36/20.49 c | 56868 | 900 60148 195295 | 2147483647 56868 67 | 0.000 % |
20.46/20.58 c | 57045 | 900 60148 195295 | 2147483647 57045 67 | 0.000 % |
20.66/20.73 c | 57238 | 900 60148 195295 | 2147483647 57238 67 | 0.000 % |
20.76/20.86 c | 57453 | 900 60148 195295 | 2147483647 57453 67 | 0.000 % |
20.96/21.03 c | 57686 | 900 60148 195295 | 2147483647 57686 67 | 0.000 % |
21.06/21.19 c | 57943 | 900 60148 195295 | 2147483647 57943 67 | 0.017 % |
21.26/21.36 c | 58224 | 900 60148 195295 | 2147483647 58224 67 | 0.015 % |
21.46/21.56 c | 58533 | 900 60148 195295 | 2147483647 58533 67 | 0.017 % |
21.76/21.84 c | 58872 | 900 60148 195295 | 2147483647 58872 67 | 0.000 % |
21.96/22.09 c | 59244 | 900 60148 195295 | 2147483647 59244 67 | 0.020 % |
22.26/22.36 c | 59654 | 900 60148 195295 | 2147483647 59654 67 | 0.000 % |
22.56/22.62 c | 60106 | 900 60148 195295 | 2147483647 60106 67 | 0.019 % |
22.86/22.90 c | 60599 | 900 60148 195295 | 2147483647 60599 66 | 0.019 % |
23.26/23.30 c | 61141 | 900 60148 195295 | 2147483647 61141 67 | 0.000 % |
23.66/23.79 c | 61738 | 900 60148 195295 | 2147483647 61738 67 | 0.000 % |
24.16/24.23 c | 62393 | 900 60148 195295 | 2147483647 62393 66 | 0.020 % |
24.75/24.88 c | 63113 | 900 60148 195295 | 2147483647 63113 66 | 0.000 % |
25.45/25.54 c | 63906 | 900 60148 195295 | 2147483647 63906 66 | 0.020 % |
25.55/25.62 c | 64006 | 900 60148 195295 | 2147483647 64006 66 | 0.000 % |
25.65/25.74 c | 64116 | 900 60148 195295 | 2147483647 64116 66 | 0.000 % |
25.76/25.81 c | 64238 | 900 60148 195295 | 2147483647 64238 66 | 0.016 % |
25.76/25.89 c | 64372 | 900 60148 195295 | 2147483647 64372 66 | 0.017 % |
25.86/25.99 c | 64518 | 900 60148 195295 | 2147483647 64518 66 | 0.000 % |
25.96/26.10 c | 64679 | 900 60148 195295 | 2147483647 64679 66 | 0.000 % |
26.16/26.21 c | 64856 | 900 60148 195295 | 2147483647 64856 66 | 0.000 % |
26.26/26.36 c | 65050 | 900 60148 195295 | 2147483647 65050 66 | 0.019 % |
26.36/26.50 c | 65265 | 900 60148 195295 | 2147483647 65265 66 | 0.000 % |
26.66/26.70 c | 65498 | 900 60148 195295 | 2147483647 65498 66 | 0.015 % |
26.76/26.88 c | 65754 | 900 60148 195295 | 2147483647 65754 66 | 0.000 % |
26.96/27.09 c | 66037 | 900 60148 195295 | 2147483647 66037 66 | 0.000 % |
27.16/27.29 c | 66347 | 900 60148 195295 | 2147483647 66347 66 | 0.000 % |
27.46/27.51 c | 66688 | 900 60148 195295 | 2147483647 66688 66 | 0.000 % |
27.76/27.83 c | 67060 | 900 60148 195295 | 2147483647 67060 66 | 0.000 % |
28.06/28.19 c | 67469 | 900 60148 195295 | 2147483647 67469 67 | 0.000 % |
28.56/28.64 c | 67919 | 900 60148 195295 | 2147483647 67919 67 | 0.000 % |
28.85/28.97 c | 68412 | 900 60148 195295 | 2147483647 68412 67 | 0.000 % |
29.35/29.45 c | 68955 | 900 60148 195295 | 2147483647 68955 67 | 0.017 % |
29.75/29.84 c | 69552 | 900 60148 195295 | 2147483647 69552 67 | 0.000 % |
30.35/30.45 c | 70207 | 900 60148 195295 | 70001 70207 67 | 0.000 % |
30.85/30.99 c | 70928 | 900 60148 195295 | 70001 62958 66 | 0.000 % |
31.55/31.62 c | 71721 | 900 60148 195295 | 70001 63751 66 | 0.000 % |
32.05/32.18 c | 72592 | 900 60148 195295 | 70001 64622 66 | 0.017 % |
32.15/32.28 c | 72695 | 900 60148 195295 | 70001 64725 66 | 0.000 % |
32.35/32.40 c | 72805 | 900 60148 195295 | 70001 64835 66 | 0.000 % |
32.35/32.50 c | 72926 | 900 60148 195295 | 70001 64956 66 | 0.000 % |
32.45/32.59 c | 73061 | 900 60148 195295 | 70001 65091 66 | 0.021 % |
32.65/32.74 c | 73209 | 900 60148 195295 | 70001 65239 66 | 0.000 % |
32.75/32.87 c | 73370 | 900 60148 195295 | 70001 65400 66 | 0.000 % |
32.96/33.02 c | 73546 | 900 60148 195295 | 70001 65576 66 | 0.000 % |
33.15/33.25 c | 73739 | 900 60148 195295 | 70001 65769 66 | 0.000 % |
33.35/33.46 c | 73951 | 900 60148 195295 | 70001 65981 66 | 0.000 % |
33.55/33.63 c | 74186 | 900 60148 195295 | 70001 66216 66 | 0.000 % |
33.75/33.87 c | 74442 | 900 60148 195295 | 70001 66472 66 | 0.016 % |
33.95/34.06 c | 74725 | 900 60148 195295 | 70001 66755 66 | 0.016 % |
34.25/34.30 c | 75037 | 900 60148 195295 | 70001 67067 66 | 0.016 % |
34.55/34.62 c | 75376 | 900 60148 195295 | 70001 67406 66 | 0.000 % |
34.85/34.97 c | 75750 | 900 60148 195295 | 70001 67780 66 | 0.000 % |
35.15/35.29 c | 76160 | 900 60148 195295 | 70001 68190 66 | 0.000 % |
35.55/35.65 c | 76609 | 900 60148 195295 | 70001 68639 66 | 0.000 % |
35.95/36.06 c | 77102 | 900 60148 195295 | 70001 69132 66 | 0.018 % |
36.35/36.46 c | 77644 | 900 60148 195295 | 70001 69674 66 | 0.016 % |
36.85/36.91 c | 78240 | 900 60148 195295 | 70001 70270 66 | 0.016 % |
37.36/37.40 c | 78896 | 900 60148 195295 | 70001 60628 65 | 0.000 % |
37.85/37.91 c | 79616 | 900 60148 195295 | 70001 61348 65 | 0.000 % |
38.36/38.42 c | 80408 | 900 60148 195295 | 61733 62140 64 | 0.017 % |
38.85/38.94 c | 81279 | 900 60148 195295 | 61733 54451 61 | 0.017 % |
39.56/39.61 c | 82239 | 900 60148 195295 | 61733 55411 61 | 0.000 % |
39.56/39.68 c | 82339 | 900 60148 195295 | 61733 55511 61 | 0.015 % |
39.65/39.77 c | 82450 | 900 60148 195295 | 61733 55622 61 | 0.000 % |
39.75/39.88 c | 82572 | 900 60148 195295 | 61733 55744 61 | 0.017 % |
39.85/39.99 c | 82705 | 900 60148 195295 | 61733 55877 61 | 0.000 % |
40.05/40.10 c | 82853 | 900 60148 195295 | 61733 56025 61 | 0.019 % |
40.15/40.21 c | 83013 | 900 60148 195295 | 61733 56185 61 | 0.000 % |
40.25/40.36 c | 83189 | 900 60148 195295 | 61733 56361 62 | 0.000 % |
40.45/40.50 c | 83382 | 900 60148 195295 | 61733 56554 62 | 0.000 % |
40.56/40.65 c | 83595 | 900 60148 195295 | 61733 56767 62 | 0.000 % |
40.75/40.84 c | 83829 | 900 60148 195295 | 61733 57001 62 | 0.000 % |
40.95/41.02 c | 84085 | 900 60148 195295 | 61733 57257 62 | 0.000 % |
41.25/41.30 c | 84367 | 900 60148 195295 | 61733 57539 62 | 0.000 % |
41.35/41.49 c | 84676 | 900 60148 195295 | 61733 57848 62 | 0.000 % |
41.55/41.70 c | 85019 | 900 60148 195295 | 61733 58191 62 | 0.018 % |
41.95/42.00 c | 85391 | 900 60148 195295 | 61733 58563 63 | 0.000 % |
42.25/42.36 c | 85800 | 900 60148 195295 | 61733 58972 63 | 0.000 % |
42.55/42.63 c | 86249 | 900 60148 195295 | 61733 59421 63 | 0.000 % |
42.85/42.95 c | 86742 | 900 60148 195295 | 61733 59914 63 | 0.000 % |
43.25/43.30 c | 87284 | 900 60148 195295 | 61733 60456 63 | 0.000 % |
43.65/43.73 c | 87883 | 900 60148 195295 | 61733 61055 62 | 0.015 % |
44.15/44.22 c | 88540 | 900 60148 195295 | 61733 61712 62 | 0.000 % |
44.85/44.92 c | 89260 | 900 60148 195295 | 61733 55156 61 | 0.000 % |
45.35/45.45 c | 90056 | 900 60148 195295 | 55898 55952 61 | 0.000 % |
46.15/46.21 c | 90927 | 900 60148 195295 | 55898 50597 60 | 0.000 % |
46.65/46.78 c | 91885 | 900 60148 195295 | 55898 51555 61 | 0.000 % |
47.35/47.40 c | 92938 | 900 60148 195295 | 55898 52608 61 | 0.000 % |
47.35/47.48 c | 93038 | 900 60148 195295 | 55898 52708 61 | 0.016 % |
47.45/47.59 c | 93148 | 900 60148 195295 | 55898 52818 61 | 0.000 % |
47.55/47.67 c | 93269 | 900 60148 195295 | 55898 52939 61 | 0.000 % |
47.65/47.76 c | 93402 | 900 60148 195295 | 55898 53072 61 | 0.000 % |
47.75/47.86 c | 93549 | 900 60148 195295 | 55898 53219 61 | 0.000 % |
47.95/48.00 c | 93709 | 900 60148 195295 | 55898 53379 61 | 0.000 % |
48.05/48.14 c | 93885 | 900 60148 195295 | 55898 53555 61 | 0.000 % |
48.14/48.26 c | 94078 | 900 60148 195295 | 55898 53748 61 | 0.000 % |
48.35/48.45 c | 94292 | 900 60148 195295 | 55898 53962 61 | 0.000 % |
48.54/48.64 c | 94527 | 900 60148 195295 | 55898 54197 61 | 0.000 % |
48.74/48.88 c | 94788 | 900 60148 195295 | 55898 54458 62 | 0.000 % |
48.94/49.06 c | 95070 | 900 60148 195295 | 55898 54740 62 | 0.000 % |
49.14/49.22 c | 95380 | 900 60148 195295 | 55898 55050 62 | 0.000 % |
49.35/49.44 c | 95720 | 900 60148 195295 | 55898 55390 62 | 0.000 % |
49.64/49.74 c | 96093 | 900 60148 195295 | 55898 55763 62 | 0.000 % |
49.94/50.08 c | 96502 | 900 60148 195295 | 55898 56172 62 | 0.000 % |
50.34/50.45 c | 96952 | 900 60148 195295 | 55898 51005 61 | 0.000 % |
50.74/50.80 c | 97446 | 900 60148 195295 | 55898 51499 61 | 0.017 % |
51.04/51.15 c | 97989 | 900 60148 195295 | 55898 52042 61 | 0.018 % |
51.55/51.62 c | 98585 | 900 60148 195295 | 55898 52638 62 | 0.016 % |
52.04/52.13 c | 99242 | 900 60148 195295 | 55898 53295 62 | 0.000 % |
52.54/52.62 c | 99965 | 900 60148 195295 | 55898 54018 62 | 0.000 % |
53.14/53.24 c | 100759 | 900 60148 195295 | 54053 48941 61 | 0.000 % |
53.64/53.76 c | 101630 | 900 60148 195295 | 54053 49812 61 | 0.000 % |
54.24/54.35 c | 102588 | 900 60148 195295 | 54053 50770 61 | 0.019 % |
55.04/55.18 c | 103641 | 900 60148 195295 | 54053 51823 61 | 0.000 % |
55.84/55.97 c | 104802 | 900 60148 195295 | 54053 52984 62 | 0.016 % |
55.94/56.05 c | 104903 | 900 60148 195295 | 54053 53085 62 | 0.000 % |
56.04/56.13 c | 105013 | 900 60148 195295 | 54053 53195 62 | 0.000 % |
56.14/56.25 c | 105134 | 900 60148 195295 | 54053 53316 62 | 0.000 % |
56.24/56.36 c | 105269 | 900 60148 195295 | 54053 53451 62 | 0.000 % |
56.34/56.49 c | 105416 | 900 60148 195295 | 54053 53598 62 | 0.000 % |
56.54/56.64 c | 105582 | 900 60148 195295 | 54053 53764 62 | 0.000 % |
56.74/56.81 c | 105758 | 900 60148 195295 | 54053 53940 62 | 0.000 % |
56.84/56.94 c | 105952 | 900 60148 195295 | 54053 54134 62 | 0.000 % |
56.94/57.10 c | 106164 | 900 60148 195295 | 54053 48119 61 | 0.000 % |
57.14/57.26 c | 106397 | 900 60148 195295 | 54053 48352 61 | 0.016 % |
57.34/57.44 c | 106653 | 900 60148 195295 | 54053 48608 61 | 0.016 % |
57.54/57.67 c | 106938 | 900 60148 195295 | 54053 48893 61 | 0.000 % |
57.84/57.90 c | 107249 | 900 60148 195295 | 54053 49204 61 | 0.000 % |
57.94/58.09 c | 107588 | 900 60148 195295 | 54053 49543 61 | 0.017 % |
58.24/58.36 c | 107960 | 900 60148 195295 | 54053 49915 61 | 0.000 % |
58.54/58.66 c | 108369 | 900 60148 195295 | 54053 50324 62 | 0.000 % |
58.94/59.01 c | 108819 | 900 60148 195295 | 54053 50774 62 | 0.017 % |
59.24/59.31 c | 109312 | 900 60148 195295 | 54053 51267 62 | 0.015 % |
59.54/59.66 c | 109854 | 900 60148 195295 | 54053 51809 62 | 0.017 % |
59.93/60.09 c | 110452 | 900 60148 195295 | 51955 52407 61 | 0.015 % |
60.44/60.51 c | 111108 | 900 60148 195295 | 51955 46936 59 | 0.000 % |
60.84/60.96 c | 111828 | 900 60148 195295 | 51955 47656 59 | 0.000 % |
61.33/61.41 c | 112620 | 900 60148 195295 | 51955 48448 59 | 0.000 % |
61.83/61.96 c | 113491 | 900 60148 195295 | 51955 49319 59 | 0.018 % |
62.43/62.54 c | 114449 | 900 60148 195295 | 51955 50277 59 | 0.000 % |
63.13/63.23 c | 115502 | 900 60148 195295 | 51955 51330 59 | 0.020 % |
64.03/64.16 c | 116660 | 900 60148 195295 | 51955 47245 60 | 0.000 % |
65.03/65.10 c | 117933 | 900 60148 195295 | 51955 48518 60 | 0.000 % |
65.03/65.16 c | 118033 | 900 60148 195295 | 51955 48618 60 | 0.000 % |
65.13/65.23 c | 118146 | 900 60148 195295 | 51955 48731 61 | 0.000 % |
65.23/65.34 c | 118270 | 900 60148 195295 | 51955 48855 61 | 0.000 % |
65.33/65.41 c | 118406 | 900 60148 195295 | 51955 48991 61 | 0.000 % |
65.43/65.53 c | 118552 | 900 60148 195295 | 51955 49137 61 | 0.000 % |
65.53/65.64 c | 118717 | 900 60148 195295 | 51955 49302 61 | 0.000 % |
65.63/65.76 c | 118895 | 900 60148 195295 | 51955 49480 61 | 0.000 % |
65.73/65.86 c | 119090 | 900 60148 195295 | 51955 49675 61 | 0.000 % |
65.94/66.08 c | 119302 | 900 60148 195295 | 51955 49887 61 | 0.000 % |
66.13/66.29 c | 119538 | 900 60148 195295 | 51955 50123 61 | 0.000 % |
66.43/66.51 c | 119796 | 900 60148 195295 | 51955 50381 62 | 0.000 % |
66.63/66.76 c | 120077 | 900 60148 195295 | 50586 50662 62 | 0.000 % |
66.93/67.02 c | 120386 | 900 60148 195295 | 50586 45761 60 | 0.000 % |
67.03/67.20 c | 120725 | 900 60148 195295 | 50586 46100 61 | 0.000 % |
67.33/67.42 c | 121103 | 900 60148 195295 | 50586 46478 61 | 0.000 % |
67.53/67.67 c | 121512 | 900 60148 195295 | 50586 46887 61 | 0.000 % |
67.93/68.06 c | 121963 | 900 60148 195295 | 50586 47338 61 | 0.000 % |
68.23/68.36 c | 122456 | 900 60148 195295 | 50586 47831 62 | 0.000 % |
68.63/68.75 c | 123000 | 900 60148 195295 | 50586 48375 62 | 0.000 % |
69.13/69.30 c | 123597 | 900 60148 195295 | 50586 48972 63 | 0.000 % |
69.83/69.94 c | 124253 | 900 60148 195295 | 50586 49628 63 | 0.000 % |
70.33/70.45 c | 124973 | 900 60148 195295 | 50586 50348 63 | 0.000 % |
70.93/71.06 c | 125765 | 900 60148 195295 | 50586 45596 63 | 0.000 % |
71.53/71.61 c | 126638 | 900 60148 195295 | 50586 46469 63 | 0.000 % |
72.23/72.31 c | 127598 | 900 60148 195295 | 50586 47429 64 | 0.000 % |
73.22/73.35 c | 128652 | 900 60148 195295 | 50586 48483 64 | 0.000 % |
74.22/74.35 c | 129810 | 900 60148 195295 | 50586 49641 65 | 0.000 % |
75.12/75.22 c | 131085 | 900 60148 195295 | 49831 45298 63 | 0.016 % |
76.42/76.56 c | 132485 | 900 60148 195295 | 49831 46698 65 | 0.000 % |
76.52/76.65 c | 132587 | 900 60148 195295 | 49831 46800 65 | 0.000 % |
76.62/76.76 c | 132698 | 900 60148 195295 | 49831 46911 65 | 0.000 % |
76.72/76.85 c | 132819 | 900 60148 195295 | 49831 47032 65 | 0.000 % |
76.83/76.94 c | 132959 | 900 60148 195295 | 49831 47172 65 | 0.017 % |
76.92/77.05 c | 133107 | 900 60148 195295 | 49831 47320 65 | 0.000 % |
77.02/77.16 c | 133267 | 900 60148 195295 | 49831 47480 65 | 0.000 % |
77.12/77.26 c | 133445 | 900 60148 195295 | 49831 47658 65 | 0.018 % |
77.32/77.41 c | 133638 | 900 60148 195295 | 49831 47851 65 | 0.000 % |
77.42/77.56 c | 133852 | 900 60148 195295 | 49831 48065 65 | 0.000 % |
77.62/77.72 c | 134087 | 900 60148 195295 | 49831 48300 65 | 0.000 % |
77.82/77.91 c | 134343 | 900 60148 195295 | 49831 48556 65 | 0.000 % |
77.93/78.10 c | 134624 | 900 60148 195295 | 49831 48837 65 | 0.000 % |
78.12/78.29 c | 134935 | 900 60148 195295 | 49831 49148 65 | 0.000 % |
78.52/78.61 c | 135277 | 900 60148 195295 | 49831 49490 65 | 0.016 % |
78.72/78.85 c | 135649 | 900 60148 195295 | 49831 49862 65 | 0.017 % |
79.02/79.13 c | 136058 | 900 60148 195295 | 49831 45285 65 | 0.016 % |
79.32/79.43 c | 136507 | 900 60148 195295 | 49831 45734 65 | 0.000 % |
79.72/79.88 c | 137000 | 900 60148 195295 | 49831 46227 66 | 0.000 % |
80.12/80.27 c | 137542 | 900 60148 195295 | 49831 46769 67 | 0.000 % |
80.72/80.90 c | 138140 | 900 60148 195295 | 49831 47367 67 | 0.000 % |
81.42/81.50 c | 138796 | 900 60148 195295 | 49831 48023 67 | 0.000 % |
82.12/82.22 c | 139518 | 900 60148 195295 | 49831 48745 68 | 0.000 % |
82.92/83.06 c | 140310 | 900 60148 195295 | 49228 49537 68 | 0.000 % |
83.62/83.70 c | 141181 | 900 60148 195295 | 49228 44497 67 | 0.000 % |
84.22/84.31 c | 142139 | 900 60148 195295 | 49228 45455 67 | 0.000 % |
84.82/84.92 c | 143193 | 900 60148 195295 | 49228 46509 67 | 0.000 % |
85.52/85.68 c | 144353 | 900 60148 195295 | 49228 47669 67 | 0.000 % |
86.42/86.56 c | 145626 | 900 60148 195295 | 49228 48942 66 | 0.019 % |
87.52/87.60 c | 147026 | 900 60148 195295 | 49228 45064 67 | 0.018 % |
88.82/88.93 c | 148567 | 900 60148 195295 | 49228 46605 69 | 0.000 % |
88.92/89.03 c | 148668 | 900 60148 195295 | 49228 46706 69 | 0.000 % |
89.02/89.16 c | 148779 | 900 60148 195295 | 49228 46817 69 | 0.000 % |
89.12/89.27 c | 148901 | 900 60148 195295 | 49228 46939 69 | 0.000 % |
89.22/89.39 c | 149034 | 900 60148 195295 | 49228 47072 69 | 0.000 % |
89.42/89.58 c | 149182 | 900 60148 195295 | 49228 47220 69 | 0.000 % |
89.62/89.70 c | 149342 | 900 60148 195295 | 49228 47380 69 | 0.000 % |
89.72/89.83 c | 149519 | 900 60148 195295 | 49228 47557 69 | 0.014 % |
89.92/90.03 c | 149712 | 900 60148 195295 | 49228 47750 69 | 0.000 % |
90.12/90.23 c | 149924 | 900 60148 195295 | 49228 47962 69 | 0.000 % |
90.22/90.35 c | 150157 | 900 60148 195295 | 48038 48195 69 | 0.000 % |
90.42/90.60 c | 150414 | 900 60148 195295 | 48038 42682 68 | 0.000 % |
90.62/90.77 c | 150695 | 900 60148 195295 | 48038 42963 68 | 0.000 % |
90.82/90.92 c | 151004 | 900 60148 195295 | 48038 43272 68 | 0.016 % |
91.12/91.23 c | 151343 | 900 60148 195295 | 48038 43611 68 | 0.000 % |
91.42/91.50 c | 151716 | 900 60148 195295 | 48038 43984 68 | 0.000 % |
91.72/91.82 c | 152126 | 900 60148 195295 | 48038 44394 68 | 0.000 % |
92.02/92.12 c | 152575 | 900 60148 195295 | 48038 44843 68 | 0.000 % |
92.42/92.54 c | 153074 | 900 60148 195295 | 48038 45342 68 | 0.000 % |
92.92/93.03 c | 153616 | 900 60148 195295 | 48038 45884 69 | 0.000 % |
93.42/93.52 c | 154212 | 900 60148 195295 | 48038 46480 68 | 0.000 % |
93.92/94.00 c | 154873 | 900 60148 195295 | 48038 47141 69 | 0.000 % |
94.32/94.50 c | 155593 | 900 60148 195295 | 48038 47861 69 | 0.000 % |
95.11/95.23 c | 156385 | 900 60148 195295 | 48038 42600 66 | 0.000 % |
95.71/95.88 c | 157256 | 900 60148 195295 | 48038 43471 66 | 0.000 % |
96.41/96.58 c | 158216 | 900 60148 195295 | 48038 44431 67 | 0.000 % |
97.21/97.30 c | 159269 | 900 60148 195295 | 48038 45484 67 | 0.000 % |
98.01/98.11 c | 160427 | 900 60148 195295 | 46216 46642 67 | 0.018 % |
98.83/99.00 c | 161702 | 900 60148 195295 | 46216 42178 64 | 0.018 % |
99.82/99.97 c | 163103 | 900 60148 195295 | 46216 43579 63 | 0.017 % |
101.02/101.14 c | 164643 | 900 60148 195295 | 46216 45119 62 | 0.017 % |
102.32/102.41 c | 166339 | 900 60148 195295 | 46216 41711 60 | 0.000 % |
102.32/102.48 c | 166440 | 900 60148 195295 | 46216 41812 60 | 0.000 % |
102.42/102.55 c | 166551 | 900 60148 195295 | 46216 41923 60 | 0.000 % |
102.52/102.69 c | 166674 | 900 60148 195295 | 46216 42046 60 | 0.000 % |
102.72/102.80 c | 166807 | 900 60148 195295 | 46216 42179 60 | 0.000 % |
102.82/102.90 c | 166953 | 900 60148 195295 | 46216 42325 60 | 0.000 % |
102.92/103.03 c | 167116 | 900 60148 195295 | 46216 42488 60 | 0.020 % |
103.02/103.16 c | 167293 | 900 60148 195295 | 46216 42665 60 | 0.000 % |
103.12/103.28 c | 167487 | 900 60148 195295 | 46216 42859 60 | 0.020 % |
103.33/103.42 c | 167699 | 900 60148 195295 | 46216 43071 60 | 0.020 % |
103.52/103.60 c | 167933 | 900 60148 195295 | 46216 43305 60 | 0.000 % |
103.62/103.75 c | 168189 | 900 60148 195295 | 46216 43561 60 | 0.000 % |
103.82/103.94 c | 168470 | 900 60148 195295 | 46216 43842 60 | 0.015 % |
104.12/104.22 c | 168779 | 900 60148 195295 | 46216 44151 61 | 0.000 % |
104.32/104.44 c | 169118 | 900 60148 195295 | 46216 44490 61 | 0.000 % |
104.62/104.71 c | 169490 | 900 60148 195295 | 46216 44862 61 | 0.000 % |
104.82/104.99 c | 169899 | 900 60148 195295 | 46216 45271 61 | 0.000 % |
105.22/105.36 c | 170348 | 900 60148 195295 | 45373 45720 61 | 0.016 % |
105.52/105.67 c | 170842 | 900 60148 195295 | 45373 41622 57 | 0.000 % |
105.82/105.94 c | 171384 | 900 60148 195295 | 45373 42164 57 | 0.000 % |
106.22/106.34 c | 171980 | 900 60148 195295 | 45373 42760 58 | 0.000 % |
106.62/106.72 c | 172637 | 900 60148 195295 | 45373 43417 58 | 0.018 % |
107.02/107.18 c | 173358 | 900 60148 195295 | 45373 44138 58 | 0.000 % |
107.52/107.64 c | 174152 | 900 60148 195295 | 45373 44932 58 | 0.000 % |
108.12/108.23 c | 175026 | 900 60148 195295 | 45373 41237 58 | 0.000 % |
108.82/108.92 c | 175984 | 900 60148 195295 | 45373 42195 59 | 0.000 % |
109.42/109.52 c | 177037 | 900 60148 195295 | 45373 43248 60 | 0.000 % |
110.32/110.49 c | 178195 | 900 60148 195295 | 45373 44406 61 | 0.000 % |
111.12/111.25 c | 179468 | 900 60148 195295 | 45373 45679 61 | 0.018 % |
112.02/112.13 c | 180869 | 900 60148 195295 | 2147483647 42513 59 | 0.000 % |
112.91/113.07 c | 182409 | 900 60148 195295 | 2147483647 44053 60 | 0.018 % |
114.11/114.28 c | 184103 | 900 60148 195295 | 2147483647 45747 60 | 0.000 % |
115.32/115.50 c | 185968 | 900 60148 195295 | 2147483647 47612 61 | 0.000 % |
115.42/115.57 c | 186068 | 900 60148 195295 | 2147483647 47712 61 | 0.000 % |
115.51/115.67 c | 186178 | 900 60148 195295 | 2147483647 47822 61 | 0.000 % |
115.61/115.75 c | 186299 | 900 60148 195295 | 2147483647 47943 61 | 0.000 % |
115.71/115.86 c | 186432 | 900 60148 195295 | 2147483647 48076 61 | 0.000 % |
115.81/115.98 c | 186579 | 900 60148 195295 | 2147483647 48223 61 | 0.015 % |
116.01/116.13 c | 186739 | 900 60148 195295 | 2147483647 48383 61 | 0.000 % |
116.11/116.26 c | 186915 | 900 60148 195295 | 2147483647 48559 61 | 0.000 % |
116.31/116.46 c | 187108 | 900 60148 195295 | 2147483647 48752 61 | 0.000 % |
116.42/116.59 c | 187321 | 900 60148 195295 | 2147483647 48965 61 | 0.018 % |
116.61/116.75 c | 187555 | 900 60148 195295 | 2147483647 49199 61 | 0.017 % |
116.81/116.97 c | 187814 | 900 60148 195295 | 2147483647 49458 61 | 0.000 % |
117.11/117.20 c | 188097 | 900 60148 195295 | 2147483647 49741 62 | 0.000 % |
117.31/117.43 c | 188406 | 900 60148 195295 | 2147483647 50050 62 | 0.000 % |
117.52/117.69 c | 188745 | 900 60148 195295 | 2147483647 50389 62 | 0.000 % |
117.81/117.98 c | 189117 | 900 60148 195295 | 2147483647 50761 62 | 0.000 % |
118.21/118.32 c | 189526 | 900 60148 195295 | 2147483647 51170 63 | 0.000 % |
118.62/118.77 c | 189976 | 900 60148 195295 | 2147483647 51620 63 | 0.000 % |
119.01/119.18 c | 190469 | 900 60148 195295 | 2147483647 52113 63 | 0.000 % |
119.41/119.52 c | 191012 | 900 60148 195295 | 2147483647 52656 63 | 0.018 % |
120.01/120.10 c | 191609 | 900 60148 195295 | 2147483647 53253 64 | 0.000 % |
120.51/120.62 c | 192264 | 900 60148 195295 | 2147483647 53908 64 | 0.000 % |
121.11/121.29 c | 192987 | 900 60148 195295 | 2147483647 54631 65 | 0.000 % |
121.81/121.97 c | 193782 | 900 60148 195295 | 2147483647 55426 65 | 0.000 % |
122.51/122.68 c | 194653 | 900 60148 195295 | 2147483647 56297 65 | 0.000 % |
123.31/123.46 c | 195612 | 900 60148 195295 | 2147483647 57256 66 | 0.019 % |
124.21/124.39 c | 196666 | 900 60148 195295 | 2147483647 58310 66 | 0.000 % |
125.31/125.40 c | 197824 | 900 60148 195295 | 2147483647 59468 66 | 0.000 % |
126.31/126.47 c | 199097 | 900 60148 195295 | 2147483647 60741 66 | 0.000 % |
127.71/127.89 c | 200497 | 900 60148 195295 | 61645 62141 67 | 0.000 % |
129.11/129.25 c | 202037 | 900 60148 195295 | 61645 54034 64 | 0.021 % |
130.81/130.96 c | 203732 | 900 60148 195295 | 61645 55729 66 | 0.000 % |
132.40/132.54 c | 205595 | 900 60148 195295 | 61645 57592 67 | 0.000 % |
134.80/134.92 c | 207647 | 900 60148 195295 | 61645 59644 69 | 0.000 % |
134.90/135.02 c | 207749 | 900 60148 195295 | 61645 59746 69 | 0.000 % |
134.90/135.09 c | 207859 | 900 60148 195295 | 61645 59856 69 | 0.000 % |
135.00/135.19 c | 207981 | 900 60148 195295 | 61645 59978 69 | 0.000 % |
135.11/135.29 c | 208116 | 900 60148 195295 | 61645 60113 69 | 0.000 % |
135.30/135.40 c | 208264 | 900 60148 195295 | 61645 60261 69 | 0.015 % |
135.30/135.49 c | 208427 | 900 60148 195295 | 61645 60424 69 | 0.017 % |
135.50/135.65 c | 208603 | 900 60148 195295 | 61645 60600 69 | 0.017 % |
135.70/135.81 c | 208798 | 900 60148 195295 | 61645 60795 69 | 0.000 % |
135.90/136.01 c | 209014 | 900 60148 195295 | 61645 61011 69 | 0.019 % |
136.10/136.27 c | 209247 | 900 60148 195295 | 61645 61244 69 | 0.000 % |
136.40/136.55 c | 209503 | 900 60148 195295 | 61645 61500 69 | 0.000 % |
136.70/136.88 c | 209785 | 900 60148 195295 | 61645 61782 69 | 0.000 % |
137.10/137.21 c | 210095 | 900 60148 195295 | 52263 52358 71 | 0.000 % |
137.41/137.59 c | 210436 | 900 60148 195295 | 52263 44346 70 | 0.000 % |
137.80/137.91 c | 210809 | 900 60148 195295 | 52263 44719 70 | 0.000 % |
138.10/138.28 c | 211221 | 900 60148 195295 | 52263 45131 70 | 0.000 % |
138.41/138.58 c | 211673 | 900 60148 195295 | 52263 45583 70 | 0.000 % |
138.80/138.93 c | 212166 | 900 60148 195295 | 52263 46076 70 | 0.000 % |
139.10/139.29 c | 212710 | 900 60148 195295 | 52263 46620 70 | 0.019 % |
139.51/139.67 c | 213309 | 900 60148 195295 | 52263 47219 70 | 0.019 % |
140.00/140.13 c | 213964 | 900 60148 195295 | 52263 47874 69 | 0.019 % |
140.50/140.61 c | 214685 | 900 60148 195295 | 52263 48595 69 | 0.000 % |
141.00/141.18 c | 215478 | 900 60148 195295 | 52263 49388 69 | 0.000 % |
141.90/142.00 c | 216354 | 900 60148 195295 | 52263 50264 70 | 0.000 % |
142.70/142.86 c | 217315 | 900 60148 195295 | 52263 51225 70 | 0.000 % |
143.50/143.67 c | 218372 | 900 60148 195295 | 52263 52282 70 | 0.000 % |
144.40/144.53 c | 219533 | 900 60148 195295 | 52263 45882 68 | 0.000 % |
145.60/145.74 c | 220807 | 900 60148 195295 | 46349 40442 67 | 0.000 % |
146.70/146.86 c | 222208 | 900 60148 195295 | 46349 41843 67 | 0.000 % |
147.70/147.83 c | 223749 | 900 60148 195295 | 46349 43384 67 | 0.000 % |
148.90/149.05 c | 225444 | 900 60148 195295 | 46349 45079 68 | 0.017 % |
150.30/150.40 c | 227308 | 900 60148 195295 | 46349 41543 67 | 0.000 % |
151.60/151.80 c | 229357 | 900 60148 195295 | 46349 43592 67 | 0.000 % |
153.30/153.48 c | 231612 | 900 60148 195295 | 44235 40524 63 | 0.015 % |
153.40/153.54 c | 231714 | 900 60148 195295 | 44235 40626 63 | 0.000 % |
153.50/153.61 c | 231826 | 900 60148 195295 | 44235 40738 63 | 0.018 % |
153.50/153.69 c | 231947 | 900 60148 195295 | 44235 40859 63 | 0.015 % |
153.70/153.80 c | 232080 | 900 60148 195295 | 44235 40992 63 | 0.015 % |
153.80/153.93 c | 232227 | 900 60148 195295 | 44235 41139 63 | 0.000 % |
153.90/154.05 c | 232391 | 900 60148 195295 | 44235 41303 63 | 0.000 % |
154.00/154.17 c | 232568 | 900 60148 195295 | 44235 41480 64 | 0.000 % |
154.10/154.29 c | 232762 | 900 60148 195295 | 44235 41674 64 | 0.000 % |
154.30/154.43 c | 232974 | 900 60148 195295 | 44235 41886 64 | 0.000 % |
154.40/154.58 c | 233213 | 900 60148 195295 | 44235 42125 64 | 0.000 % |
154.60/154.73 c | 233469 | 900 60148 195295 | 44235 42381 64 | 0.018 % |
154.80/154.91 c | 233751 | 900 60148 195295 | 44235 42663 65 | 0.000 % |
155.00/155.15 c | 234062 | 900 60148 195295 | 44235 42974 65 | 0.000 % |
155.30/155.40 c | 234401 | 900 60148 195295 | 44235 43313 65 | 0.000 % |
155.60/155.72 c | 234774 | 900 60148 195295 | 44235 43686 65 | 0.000 % |
155.80/155.98 c | 235185 | 900 60148 195295 | 44235 44097 66 | 0.000 % |
156.10/156.28 c | 235634 | 900 60148 195295 | 44235 44546 66 | 0.000 % |
156.50/156.64 c | 236129 | 900 60148 195295 | 44235 40083 61 | 0.000 % |
156.90/157.02 c | 236672 | 900 60148 195295 | 44235 40626 61 | 0.000 % |
157.30/157.47 c | 237270 | 900 60148 195295 | 44235 41224 62 | 0.000 % |
157.80/157.90 c | 237926 | 900 60148 195295 | 44235 41880 63 | 0.000 % |
158.30/158.45 c | 238646 | 900 60148 195295 | 44235 42600 63 | 0.000 % |
158.79/158.90 c | 239438 | 900 60148 195295 | 44235 43392 64 | 0.000 % |
159.40/159.51 c | 240309 | 900 60148 195295 | 2147483647 44263 64 | 0.000 % |
159.99/160.12 c | 241268 | 900 60148 195295 | 2147483647 45222 64 | 0.000 % |
160.79/160.93 c | 242321 | 900 60148 195295 | 2147483647 46275 64 | 0.016 % |
161.60/161.79 c | 243480 | 900 60148 195295 | 2147483647 47434 64 | 0.000 % |
162.60/162.75 c | 244755 | 900 60148 195295 | 2147483647 48709 65 | 0.000 % |
163.49/163.69 c | 246156 | 900 60148 195295 | 2147483647 50110 64 | 0.000 % |
164.80/164.96 c | 247698 | 900 60148 195295 | 2147483647 51652 64 | 0.000 % |
166.00/166.15 c | 249392 | 900 60148 195295 | 2147483647 53346 64 | 0.017 % |
167.59/167.80 c | 251259 | 900 60148 195295 | 53957 48094 62 | 0.000 % |
169.09/169.24 c | 253308 | 900 60148 195295 | 53957 50143 63 | 0.000 % |
171.09/171.27 c | 255561 | 900 60148 195295 | 53957 52396 65 | 0.017 % |
173.39/173.53 c | 258039 | 900 60148 195295 | 53957 46932 65 | 0.000 % |
173.49/173.68 c | 258141 | 900 60148 195295 | 53957 47034 65 | 0.000 % |
173.59/173.78 c | 258251 | 900 60148 195295 | 53957 47144 65 | 0.000 % |
173.69/173.88 c | 258375 | 900 60148 195295 | 53957 47268 65 | 0.000 % |
173.79/173.96 c | 258508 | 900 60148 195295 | 53957 47401 65 | 0.000 % |
173.89/174.09 c | 258655 | 900 60148 195295 | 53957 47548 66 | 0.000 % |
174.09/174.20 c | 258815 | 900 60148 195295 | 53957 47708 66 | 0.000 % |
174.19/174.34 c | 258993 | 900 60148 195295 | 53957 47886 66 | 0.000 % |
174.29/174.46 c | 259187 | 900 60148 195295 | 53957 48080 66 | 0.000 % |
174.49/174.66 c | 259399 | 900 60148 195295 | 53957 48292 66 | 0.000 % |
174.69/174.84 c | 259633 | 900 60148 195295 | 53957 48526 66 | 0.020 % |
174.89/175.04 c | 259892 | 900 60148 195295 | 53957 48785 66 | 0.000 % |
175.09/175.28 c | 260176 | 900 60148 195295 | 48893 49069 66 | 0.000 % |
175.49/175.60 c | 260485 | 900 60148 195295 | 48893 42626 65 | 0.000 % |
175.69/175.84 c | 260825 | 900 60148 195295 | 48893 42966 65 | 0.000 % |
175.89/176.09 c | 261197 | 900 60148 195295 | 48893 43338 65 | 0.018 % |
176.19/176.33 c | 261606 | 900 60148 195295 | 48893 43747 65 | 0.000 % |
176.49/176.66 c | 262060 | 900 60148 195295 | 48893 44201 65 | 0.000 % |
176.99/177.16 c | 262554 | 900 60148 195295 | 48893 44695 66 | 0.000 % |
177.49/177.65 c | 263101 | 900 60148 195295 | 48893 45242 66 | 0.000 % |
177.89/178.03 c | 263699 | 900 60148 195295 | 48893 45840 66 | 0.000 % |
178.39/178.56 c | 264357 | 900 60148 195295 | 48893 46498 66 | 0.000 % |
178.99/179.16 c | 265077 | 900 60148 195295 | 48893 47218 66 | 0.000 % |
179.69/179.86 c | 265869 | 900 60148 195295 | 48893 48010 67 | 0.000 % |
180.39/180.51 c | 266743 | 900 60148 195295 | 48893 48884 67 | 0.000 % |
181.09/181.24 c | 267703 | 900 60148 195295 | 48893 44186 65 | 0.019 % |
181.79/181.99 c | 268756 | 900 60148 195295 | 48893 45239 65 | 0.000 % |
182.69/182.86 c | 269919 | 900 60148 195295 | 48893 46402 65 | 0.000 % |
183.79/183.95 c | 271192 | 900 60148 195295 | 46486 42414 62 | 0.000 % |
184.69/184.82 c | 272593 | 900 60148 195295 | 46486 43815 63 | 0.000 % |
185.98/186.12 c | 274133 | 900 60148 195295 | 46486 45355 64 | 0.000 % |
187.38/187.52 c | 275828 | 900 60148 195295 | 46486 42180 65 | 0.000 % |
188.49/188.62 c | 277692 | 900 60148 195295 | 46486 44044 65 | 0.015 % |
189.78/189.99 c | 279743 | 900 60148 195295 | 46486 46095 65 | 0.016 % |
191.48/191.68 c | 281996 | 900 60148 195295 | 2147483647 48348 64 | 0.016 % |
193.78/193.94 c | 284475 | 900 60148 195295 | 2147483647 50827 64 | 0.016 % |
195.88/196.04 c | 287201 | 900 60148 195295 | 2147483647 53553 65 | 0.016 % |
195.98/196.11 c | 287301 | 900 60148 195295 | 2147483647 53653 65 | 0.016 % |
195.98/196.19 c | 287411 | 900 60148 195295 | 2147483647 53763 65 | 0.016 % |
196.08/196.29 c | 287533 | 900 60148 195295 | 2147483647 53885 65 | 0.000 % |
196.28/196.41 c | 287668 | 900 60148 195295 | 2147483647 54020 65 | 0.000 % |
196.38/196.55 c | 287814 | 900 60148 195295 | 2147483647 54166 65 | 0.000 % |
196.48/196.68 c | 287977 | 900 60148 195295 | 2147483647 54329 65 | 0.000 % |
196.68/196.85 c | 288153 | 900 60148 195295 | 2147483647 54505 65 | 0.000 % |
196.78/196.99 c | 288347 | 900 60148 195295 | 2147483647 54699 65 | 0.000 % |
197.08/197.20 c | 288560 | 900 60148 195295 | 2147483647 54912 65 | 0.000 % |
197.28/197.41 c | 288796 | 900 60148 195295 | 2147483647 55148 65 | 0.000 % |
197.48/197.66 c | 289052 | 900 60148 195295 | 2147483647 55404 65 | 0.000 % |
197.78/197.90 c | 289335 | 900 60148 195295 | 2147483647 55687 66 | 0.000 % |
197.98/198.18 c | 289645 | 900 60148 195295 | 2147483647 55997 66 | 0.000 % |
198.28/198.46 c | 289984 | 900 60148 195295 | 2147483647 56336 66 | 0.000 % |
198.68/198.81 c | 290357 | 900 60148 195295 | 56352 56709 66 | 0.000 % |
198.98/199.16 c | 290769 | 900 60148 195295 | 56352 50394 66 | 0.000 % |
199.28/199.48 c | 291221 | 900 60148 195295 | 56352 50846 66 | 0.000 % |
199.68/199.83 c | 291715 | 900 60148 195295 | 56352 51340 66 | 0.018 % |
200.08/200.21 c | 292257 | 900 60148 195295 | 56352 51882 66 | 0.000 % |
200.58/200.73 c | 292853 | 900 60148 195295 | 56352 52478 66 | 0.016 % |
201.08/201.25 c | 293508 | 900 60148 195295 | 56352 53133 66 | 0.000 % |
201.78/202.00 c | 294228 | 900 60148 195295 | 56352 53853 67 | 0.000 % |
202.38/202.55 c | 295020 | 900 60148 195295 | 56352 54645 67 | 0.000 % |
203.28/203.48 c | 295891 | 900 60148 195295 | 56352 55516 68 | 0.000 % |
204.08/204.24 c | 296849 | 900 60148 195295 | 56352 56474 68 | 0.000 % |
204.88/205.06 c | 297903 | 900 60148 195295 | 56352 49941 63 | 0.000 % |
205.68/205.87 c | 299063 | 900 60148 195295 | 56352 51101 63 | 0.000 % |
206.88/207.05 c | 300336 | 900 60148 195295 | 52041 52374 65 | 0.000 % |
207.98/208.12 c | 301736 | 900 60148 195295 | 52041 46707 63 | 0.000 % |
208.98/209.15 c | 303278 | 900 60148 195295 | 52041 48249 63 | 0.018 % |
210.28/210.42 c | 304974 | 900 60148 195295 | 52041 49945 64 | 0.000 % |
211.57/211.72 c | 306838 | 900 60148 195295 | 52041 51809 63 | 0.015 % |
212.97/213.18 c | 308887 | 900 60148 195295 | 52041 47747 62 | 0.000 % |
214.67/214.87 c | 311141 | 900 60148 195295 | 48864 44345 61 | 0.000 % |
216.37/216.56 c | 313619 | 900 60148 195295 | 48864 46823 62 | 0.000 % |
218.17/218.38 c | 316344 | 900 60148 195295 | 48864 44077 63 | 0.000 % |
220.37/220.56 c | 319341 | 900 60148 195295 | 48864 47074 62 | 0.000 % |
220.47/220.64 c | 319441 | 900 60148 195295 | 48864 47174 62 | 0.019 % |
220.57/220.73 c | 319554 | 900 60148 195295 | 48864 47287 62 | 0.000 % |
220.67/220.83 c | 319676 | 900 60148 195295 | 48864 47409 62 | 0.000 % |
220.78/220.91 c | 319810 | 900 60148 195295 | 48864 47543 62 | 0.000 % |
220.78/220.98 c | 319957 | 900 60148 195295 | 48864 47690 62 | 0.016 % |
220.88/221.08 c | 320118 | 900 60148 195295 | 47734 47851 62 | 0.016 % |
221.08/221.23 c | 320294 | 900 60148 195295 | 47734 42493 61 | 0.014 % |
221.18/221.34 c | 320487 | 900 60148 195295 | 47734 42686 61 | 0.000 % |
221.28/221.47 c | 320702 | 900 60148 195295 | 47734 42901 61 | 0.000 % |
221.48/221.61 c | 320937 | 900 60148 195295 | 47734 43136 61 | 0.017 % |
221.58/221.78 c | 321193 | 900 60148 195295 | 47734 43392 61 | 0.017 % |
221.78/221.96 c | 321476 | 900 60148 195295 | 47734 43675 61 | 0.000 % |
221.98/222.18 c | 321786 | 900 60148 195295 | 47734 43985 61 | 0.000 % |
222.28/222.42 c | 322126 | 900 60148 195295 | 47734 44325 61 | 0.000 % |
222.48/222.63 c | 322502 | 900 60148 195295 | 47734 44701 61 | 0.019 % |
222.78/222.90 c | 322911 | 900 60148 195295 | 47734 45110 62 | 0.000 % |
222.98/223.19 c | 323361 | 900 60148 195295 | 47734 45560 62 | 0.000 % |
223.38/223.51 c | 323854 | 900 60148 195295 | 47734 46053 62 | 0.000 % |
223.78/223.93 c | 324400 | 900 60148 195295 | 47734 46599 62 | 0.000 % |
224.18/224.31 c | 324997 | 900 60148 195295 | 47734 47196 63 | 0.000 % |
224.48/224.70 c | 325654 | 900 60148 195295 | 47734 47853 63 | 0.000 % |
225.18/225.32 c | 326374 | 900 60148 195295 | 47734 43788 61 | 0.000 % |
225.68/225.86 c | 327167 | 900 60148 195295 | 47734 44581 62 | 0.000 % |
226.28/226.43 c | 328038 | 900 60148 195295 | 47734 45452 62 | 0.000 % |
227.08/227.26 c | 328997 | 900 60148 195295 | 47734 46411 63 | 0.000 % |
228.08/228.23 c | 330050 | 900 60148 195295 | 2147483647 47464 64 | 0.000 % |
228.98/229.15 c | 331209 | 900 60148 195295 | 2147483647 48623 66 | 0.000 % |
230.18/230.37 c | 332482 | 900 60148 195295 | 2147483647 49896 67 | 0.000 % |
231.38/231.57 c | 333885 | 900 60148 195295 | 2147483647 51299 69 | 0.000 % |
232.78/232.94 c | 335425 | 900 60148 195295 | 2147483647 52839 70 | 0.000 % |
234.38/234.52 c | 337119 | 900 60148 195295 | 2147483647 54533 70 | 0.000 % |
235.88/236.02 c | 338985 | 900 60148 195295 | 2147483647 56399 70 | 0.018 % |
237.77/237.95 c | 341036 | 900 60148 195295 | 57414 50728 66 | 0.000 % |
240.08/240.30 c | 343289 | 900 60148 195295 | 57414 52981 69 | 0.000 % |
242.17/242.37 c | 345767 | 900 60148 195295 | 57414 55459 70 | 0.017 % |
244.47/244.60 c | 348492 | 900 60148 195295 | 57414 50181 71 | 0.000 % |
247.07/247.25 c | 351490 | 900 60148 195295 | 51689 45194 72 | 0.000 % |
250.07/250.21 c | 354786 | 900 60148 195295 | 51689 48490 74 | 0.000 % |
250.17/250.32 c | 354886 | 900 60148 195295 | 51689 48590 74 | 0.000 % |
250.27/250.43 c | 355002 | 900 60148 195295 | 51689 48706 74 | 0.000 % |
250.37/250.58 c | 355124 | 900 60148 195295 | 51689 48828 74 | 0.000 % |
250.58/250.71 c | 355257 | 900 60148 195295 | 51689 48961 74 | 0.000 % |
250.68/250.84 c | 355403 | 900 60148 195295 | 51689 49107 74 | 0.000 % |
250.77/250.99 c | 355563 | 900 60148 195295 | 51689 49267 74 | 0.000 % |
250.97/251.18 c | 355740 | 900 60148 195295 | 51689 49444 74 | 0.000 % |
251.17/251.35 c | 355934 | 900 60148 195295 | 51689 49638 74 | 0.000 % |
251.47/251.63 c | 356146 | 900 60148 195295 | 51689 49850 74 | 0.000 % |
251.68/251.83 c | 356379 | 900 60148 195295 | 51689 50083 74 | 0.000 % |
251.87/252.05 c | 356636 | 900 60148 195295 | 51689 50340 74 | 0.000 % |
252.07/252.28 c | 356917 | 900 60148 195295 | 51689 50621 74 | 0.000 % |
252.37/252.51 c | 357227 | 900 60148 195295 | 51689 50931 74 | 0.000 % |
252.57/252.77 c | 357566 | 900 60148 195295 | 51689 51270 74 | 0.000 % |
252.97/253.16 c | 357939 | 900 60148 195295 | 51689 51643 75 | 0.000 % |
253.37/253.59 c | 358348 | 900 60148 195295 | 51689 52052 75 | 0.000 % |
253.87/254.07 c | 358797 | 900 60148 195295 | 51689 43707 75 | 0.000 % |
254.37/254.52 c | 359290 | 900 60148 195295 | 51689 44200 75 | 0.000 % |
254.87/255.00 c | 359834 | 900 60148 195295 | 51689 44744 75 | 0.017 % |
255.27/255.47 c | 360430 | 900 60148 195295 | 44911 45340 75 | 0.000 % |
255.77/255.93 c | 361085 | 900 60148 195295 | 44911 38480 67 | 0.000 % |
256.37/256.57 c | 361805 | 900 60148 195295 | 44911 39200 68 | 0.000 % |
256.97/257.16 c | 362602 | 900 60148 195295 | 44911 39997 68 | 0.000 % |
257.57/257.70 c | 363473 | 900 60148 195295 | 44911 40868 69 | 0.000 % |
258.27/258.47 c | 364431 | 900 60148 195295 | 44911 41826 69 | 0.000 % |
259.17/259.37 c | 365485 | 900 60148 195295 | 44911 42880 70 | 0.000 % |
259.97/260.11 c | 366643 | 900 60148 195295 | 44911 44038 70 | 0.000 % |
260.67/260.90 c | 367916 | 900 60148 195295 | 44911 45311 70 | 0.000 % |
261.67/261.86 c | 369316 | 900 60148 195295 | 44911 40926 70 | 0.000 % |
262.86/263.01 c | 370862 | 900 60148 195295 | 41611 37355 66 | 0.018 % |
264.06/264.27 c | 372556 | 900 60148 195295 | 41611 39049 66 | 0.000 % |
265.36/265.51 c | 374419 | 900 60148 195295 | 41611 40912 68 | 0.000 % |
266.76/266.91 c | 376470 | 900 60148 195295 | 41611 38767 66 | 0.000 % |
268.17/268.37 c | 378724 | 900 60148 195295 | 41611 41021 66 | 0.000 % |
269.76/269.96 c | 381202 | 900 60148 195295 | 2147483647 39291 64 | 0.000 % |
271.66/271.83 c | 383927 | 900 60148 195295 | 2147483647 42016 64 | 0.018 % |
273.86/274.08 c | 386925 | 900 60148 195295 | 2147483647 45014 63 | 0.018 % |
276.26/276.45 c | 390223 | 900 60148 195295 | 48090 48312 62 | 0.000 % |
279.06/279.26 c | 393848 | 900 60148 195295 | 48090 46722 58 | 0.018 % |
279.16/279.34 c | 393948 | 900 60148 195295 | 48090 46822 58 | 0.018 % |
279.26/279.44 c | 394058 | 900 60148 195295 | 48090 46932 58 | 0.017 % |
279.36/279.56 c | 394179 | 900 60148 195295 | 48090 47053 58 | 0.000 % |
279.46/279.64 c | 394313 | 900 60148 195295 | 48090 47187 58 | 0.000 % |
279.56/279.76 c | 394459 | 900 60148 195295 | 48090 47333 58 | 0.000 % |
279.66/279.87 c | 394619 | 900 60148 195295 | 48090 47493 58 | 0.000 % |
279.76/279.97 c | 394797 | 900 60148 195295 | 48090 47671 59 | 0.000 % |
279.86/280.09 c | 394990 | 900 60148 195295 | 48090 47864 59 | 0.000 % |
280.06/280.22 c | 395202 | 900 60148 195295 | 48090 48076 59 | 0.020 % |
280.16/280.36 c | 395437 | 900 60148 195295 | 48090 48311 59 | 0.000 % |
280.36/280.56 c | 395697 | 900 60148 195295 | 48090 42827 56 | 0.014 % |
280.56/280.73 c | 395978 | 900 60148 195295 | 48090 43108 56 | 0.019 % |
280.76/280.92 c | 396292 | 900 60148 195295 | 48090 43422 56 | 0.000 % |
281.06/281.20 c | 396635 | 900 60148 195295 | 48090 43765 56 | 0.000 % |
281.26/281.45 c | 397009 | 900 60148 195295 | 48090 44139 57 | 0.000 % |
281.55/281.74 c | 397418 | 900 60148 195295 | 48090 44548 57 | 0.000 % |
281.85/282.08 c | 397868 | 900 60148 195295 | 48090 44998 57 | 0.000 % |
282.26/282.41 c | 398361 | 900 60148 195295 | 48090 45491 58 | 0.000 % |
282.56/282.75 c | 398906 | 900 60148 195295 | 48090 46036 58 | 0.000 % |
282.96/283.10 c | 399502 | 900 60148 195295 | 48090 46632 59 | 0.000 % |
283.25/283.49 c | 400157 | 900 60148 195295 | 2147483647 47287 59 | 0.000 % |
283.85/284.03 c | 400878 | 900 60148 195295 | 2147483647 48008 60 | 0.000 % |
284.35/284.52 c | 401672 | 900 60148 195295 | 2147483647 48802 60 | 0.000 % |
284.85/285.06 c | 402544 | 900 60148 195295 | 2147483647 49674 61 | 0.000 % |
285.76/285.95 c | 403502 | 900 60148 195295 | 2147483647 50632 62 | 0.000 % |
286.65/286.84 c | 404558 | 900 60148 195295 | 2147483647 51688 63 | 0.000 % |
287.85/288.05 c | 405717 | 900 60148 195295 | 2147483647 52847 64 | 0.000 % |
288.85/289.05 c | 406991 | 900 60148 195295 | 2147483647 54121 65 | 0.000 % |
290.15/290.36 c | 408393 | 900 60148 195295 | 2147483647 55523 65 | 0.000 % |
291.55/291.77 c | 409934 | 900 60148 195295 | 2147483647 57064 66 | 0.000 % |
293.15/293.35 c | 411628 | 900 60148 195295 | 57131 51703 65 | 0.018 % |
294.85/295.09 c | 413491 | 900 60148 195295 | 57131 53566 65 | 0.000 % |
296.55/296.79 c | 415540 | 900 60148 195295 | 57131 55615 65 | 0.000 % |
298.85/299.02 c | 417794 | 900 60148 195295 | 57131 49700 65 | 0.000 % |
300.65/300.85 c | 420272 | 900 60148 195295 | 51910 52178 67 | 0.000 % |
302.75/302.92 c | 422998 | 900 60148 195295 | 51910 47681 67 | 0.015 % |
305.55/305.74 c | 425995 | 900 60148 195295 | 51910 50678 67 | 0.015 % |
308.45/308.69 c | 429295 | 900 60148 195295 | 51910 46709 71 | 0.000 % |
311.05/311.28 c | 432921 | 900 60148 195295 | 47414 43696 68 | 0.016 % |
313.74/313.92 c | 436908 | 900 60148 195295 | 47414 47683 68 | 0.017 % |
313.84/314.02 c | 437011 | 900 60148 195295 | 47414 41954 62 | 0.017 % |
313.94/314.14 c | 437125 | 900 60148 195295 | 47414 42068 63 | 0.000 % |
314.04/314.25 c | 437246 | 900 60148 195295 | 47414 42189 63 | 0.000 % |
314.14/314.38 c | 437379 | 900 60148 195295 | 47414 42322 63 | 0.000 % |
314.24/314.49 c | 437526 | 900 60148 195295 | 47414 42469 63 | 0.000 % |
314.35/314.59 c | 437686 | 900 60148 195295 | 47414 42629 63 | 0.000 % |
314.54/314.71 c | 437863 | 900 60148 195295 | 47414 42806 63 | 0.000 % |
314.64/314.84 c | 438057 | 900 60148 195295 | 47414 43000 64 | 0.000 % |
314.84/315.01 c | 438272 | 900 60148 195295 | 47414 43215 64 | 0.000 % |
314.94/315.19 c | 438505 | 900 60148 195295 | 47414 43448 64 | 0.000 % |
315.24/315.43 c | 438762 | 900 60148 195295 | 47414 43705 65 | 0.000 % |
315.44/315.64 c | 439044 | 900 60148 195295 | 47414 43987 65 | 0.000 % |
315.74/315.91 c | 439353 | 900 60148 195295 | 47414 44296 65 | 0.000 % |
316.04/316.21 c | 439693 | 900 60148 195295 | 47414 44636 65 | 0.000 % |
316.24/316.49 c | 440066 | 900 60148 195295 | 44945 45009 66 | 0.000 % |
316.64/316.87 c | 440475 | 900 60148 195295 | 44945 40187 64 | 0.000 % |
317.04/317.20 c | 440929 | 900 60148 195295 | 44945 40641 64 | 0.000 % |
317.34/317.52 c | 441422 | 900 60148 195295 | 44945 41134 65 | 0.000 % |
317.74/317.93 c | 441965 | 900 60148 195295 | 44945 41677 65 | 0.000 % |
318.04/318.28 c | 442561 | 900 60148 195295 | 44945 42273 65 | 0.018 % |
318.64/318.85 c | 443216 | 900 60148 195295 | 44945 42928 66 | 0.000 % |
319.04/319.29 c | 443939 | 900 60148 195295 | 44945 43651 67 | 0.000 % |
319.54/319.79 c | 444734 | 900 60148 195295 | 44945 44446 67 | 0.000 % |
320.23/320.40 c | 445606 | 900 60148 195295 | 44945 45318 68 | 0.000 % |
320.73/320.95 c | 446565 | 900 60148 195295 | 44945 41746 68 | 0.000 % |
321.63/321.82 c | 447621 | 900 60148 195295 | 44945 42802 69 | 0.000 % |
322.43/322.67 c | 448780 | 900 60148 195295 | 44945 43961 70 | 0.000 % |
323.24/323.47 c | 450057 | 900 60148 195295 | 2147483647 45238 70 | 0.017 % |
324.63/324.89 c | 451457 | 900 60148 195295 | 2147483647 46638 71 | 0.000 % |
325.93/326.10 c | 453001 | 900 60148 195295 | 2147483647 48182 72 | 0.000 % |
327.73/327.91 c | 454695 | 900 60148 195295 | 2147483647 49876 73 | 0.000 % |
329.23/329.40 c | 456561 | 900 60148 195295 | 2147483647 51742 74 | 0.000 % |
331.23/331.43 c | 458612 | 900 60148 195295 | 2147483647 53793 76 | 0.000 % |
333.23/333.42 c | 460865 | 900 60148 195295 | 55181 49132 74 | 0.000 % |
335.13/335.35 c | 463343 | 900 60148 195295 | 55181 51610 75 | 0.000 % |
337.73/337.90 c | 466069 | 900 60148 195295 | 55181 54336 76 | 0.000 % |
340.73/341.00 c | 469068 | 900 60148 195295 | 55181 48977 81 | 0.000 % |
344.62/344.85 c | 472366 | 900 60148 195295 | 49911 44200 86 | 0.000 % |
348.53/348.73 c | 475993 | 900 60148 195295 | 49911 47827 87 | 0.000 % |
352.73/352.94 c | 479982 | 900 60148 195295 | 49911 43386 85 | 0.000 % |
356.53/356.73 c | 484367 | 900 60148 195295 | 43404 40311 81 | 0.000 % |
356.63/356.83 c | 484467 | 900 60148 195295 | 43404 40411 81 | 0.017 % |
356.73/356.95 c | 484577 | 900 60148 195295 | 43404 40521 81 | 0.000 % |
356.93/357.13 c | 484700 | 900 60148 195295 | 43404 40644 81 | 0.000 % |
357.03/357.21 c | 484833 | 900 60148 195295 | 43404 40777 81 | 0.000 % |
357.13/357.34 c | 484979 | 900 60148 195295 | 43404 40923 81 | 0.000 % |
357.23/357.46 c | 485139 | 900 60148 195295 | 43404 41083 81 | 0.000 % |
357.43/357.62 c | 485317 | 900 60148 195295 | 43404 41261 81 | 0.000 % |
357.53/357.78 c | 485511 | 900 60148 195295 | 43404 41455 81 | 0.000 % |
357.83/358.00 c | 485723 | 900 60148 195295 | 43404 41667 82 | 0.000 % |
358.03/358.25 c | 485958 | 900 60148 195295 | 43404 41902 82 | 0.000 % |
358.23/358.45 c | 486215 | 900 60148 195295 | 43404 42159 82 | 0.000 % |
358.43/358.68 c | 486496 | 900 60148 195295 | 43404 42440 82 | 0.000 % |
358.63/358.89 c | 486806 | 900 60148 195295 | 43404 42750 81 | 0.000 % |
359.03/359.21 c | 487146 | 900 60148 195295 | 43404 43090 81 | 0.000 % |
359.23/359.48 c | 487519 | 900 60148 195295 | 43404 43463 81 | 0.020 % |
359.63/359.83 c | 487929 | 900 60148 195295 | 43404 37793 78 | 0.000 % |
360.03/360.22 c | 488378 | 900 60148 195295 | 43404 38242 78 | 0.000 % |
360.33/360.55 c | 488873 | 900 60148 195295 | 43404 38737 79 | 0.000 % |
360.73/360.90 c | 489416 | 900 60148 195295 | 43404 39280 79 | 0.000 % |
361.03/361.26 c | 490012 | 900 60148 195295 | 39864 39876 79 | 0.000 % |
361.63/361.85 c | 490668 | 900 60148 195295 | 39864 35159 77 | 0.000 % |
362.13/362.34 c | 491389 | 900 60148 195295 | 39864 35880 78 | 0.000 % |
362.62/362.88 c | 492181 | 900 60148 195295 | 39864 36672 77 | 0.000 % |
363.22/363.43 c | 493055 | 900 60148 195295 | 39864 37546 77 | 0.000 % |
364.12/364.32 c | 494016 | 900 60148 195295 | 39864 38507 79 | 0.000 % |
364.93/365.13 c | 495070 | 900 60148 195295 | 39864 39561 80 | 0.000 % |
365.92/366.15 c | 496230 | 900 60148 195295 | 39864 36700 76 | 0.000 % |
366.82/367.01 c | 497503 | 900 60148 195295 | 39864 37973 77 | 0.000 % |
367.92/368.13 c | 498905 | 900 60148 195295 | 39864 39375 78 | 0.000 % |
369.43/369.68 c | 500445 | 900 60148 195295 | 2147483647 36888 75 | 0.000 % |
370.62/370.89 c | 502139 | 900 60148 195295 | 2147483647 38582 76 | 0.000 % |
372.32/372.51 c | 504002 | 900 60148 195295 | 2147483647 40445 76 | 0.000 % |
374.32/374.54 c | 506051 | 900 60148 195295 | 2147483647 42494 78 | 0.000 % |
376.62/376.82 c | 508306 | 900 60148 195295 | 2147483647 44749 80 | 0.000 % |
378.72/378.99 c | 510784 | 900 60148 195295 | 46444 41016 79 | 0.000 % |
381.02/381.29 c | 513509 | 900 60148 195295 | 46444 43741 79 | 0.000 % |
384.31/384.52 c | 516507 | 900 60148 195295 | 46444 39998 84 | 0.000 % |
387.71/387.92 c | 519803 | 900 60148 195295 | 46444 43294 88 | 0.000 % |
390.51/390.75 c | 523429 | 900 60148 195295 | 43493 40849 90 | 0.000 % |
393.62/393.82 c | 527417 | 900 60148 195295 | 43493 39718 88 | 0.000 % |
397.11/397.38 c | 531804 | 900 60148 195295 | 42303 38974 86 | 0.000 % |
401.41/401.65 c | 536627 | 900 60148 195295 | 42303 38168 85 | 0.000 % |
401.51/401.77 c | 536728 | 900 60148 195295 | 42303 38269 85 | 0.000 % |
401.61/401.89 c | 536840 | 900 60148 195295 | 42303 38381 85 | 0.000 % |
401.81/402.00 c | 536961 | 900 60148 195295 | 42303 38502 85 | 0.000 % |
401.91/402.13 c | 537099 | 900 60148 195295 | 42303 38640 85 | 0.015 % |
402.11/402.33 c | 537246 | 900 60148 195295 | 42303 38787 85 | 0.000 % |
402.21/402.48 c | 537406 | 900 60148 195295 | 42303 38947 85 | 0.000 % |
402.31/402.59 c | 537583 | 900 60148 195295 | 42303 39124 85 | 0.000 % |
402.51/402.79 c | 537778 | 900 60148 195295 | 42303 39319 85 | 0.000 % |
402.71/402.96 c | 537992 | 900 60148 195295 | 42303 39533 85 | 0.000 % |
402.91/403.10 c | 538225 | 900 60148 195295 | 42303 39766 85 | 0.000 % |
403.01/403.28 c | 538483 | 900 60148 195295 | 42303 40024 85 | 0.000 % |
403.21/403.46 c | 538764 | 900 60148 195295 | 42303 40305 85 | 0.015 % |
403.41/403.69 c | 539076 | 900 60148 195295 | 42303 40617 85 | 0.000 % |
403.71/403.97 c | 539421 | 900 60148 195295 | 42303 40962 85 | 0.000 % |
404.11/404.36 c | 539793 | 900 60148 195295 | 42303 41334 85 | 0.000 % |
404.41/404.63 c | 540203 | 900 60148 195295 | 41543 41744 85 | 0.000 % |
404.71/404.93 c | 540655 | 900 60148 195295 | 41543 36797 84 | 0.000 % |
405.11/405.36 c | 541148 | 900 60148 195295 | 41543 37290 84 | 0.000 % |
405.51/405.76 c | 541691 | 900 60148 195295 | 41543 37833 84 | 0.000 % |
405.81/406.08 c | 542287 | 900 60148 195295 | 41543 38429 84 | 0.000 % |
406.21/406.42 c | 542943 | 900 60148 195295 | 41543 39085 84 | 0.000 % |
406.71/406.91 c | 543666 | 900 60148 195295 | 41543 39808 83 | 0.000 % |
407.01/407.27 c | 544458 | 900 60148 195295 | 41543 40600 83 | 0.015 % |
407.51/407.78 c | 545330 | 900 60148 195295 | 41543 41472 83 | 0.000 % |
408.21/408.42 c | 546288 | 900 60148 195295 | 41543 38225 79 | 0.017 % |
408.81/409.01 c | 547345 | 900 60148 195295 | 41543 39282 79 | 0.000 % |
409.61/409.82 c | 548504 | 900 60148 195295 | 41543 40441 79 | 0.000 % |
410.81/411.05 c | 549777 | 900 60148 195295 | 41543 41714 80 | 0.000 % |
411.71/411.99 c | 551177 | 900 60148 195295 | 2147483647 38943 77 | 0.000 % |
412.61/412.85 c | 552717 | 900 60148 195295 | 2147483647 40483 77 | 0.000 % |
413.81/414.04 c | 554412 | 900 60148 195295 | 2147483647 42178 77 | 0.000 % |
415.20/415.40 c | 556277 | 900 60148 195295 | 2147483647 44043 78 | 0.000 % |
416.90/417.13 c | 558326 | 900 60148 195295 | 2147483647 46092 78 | 0.000 % |
418.70/418.99 c | 560582 | 900 60148 195295 | 2147483647 48348 77 | 0.000 % |
420.50/420.72 c | 563060 | 900 60148 195295 | 2147483647 50826 79 | 0.000 % |
423.10/423.31 c | 565785 | 900 60148 195295 | 2147483647 53551 81 | 0.000 % |
425.20/425.46 c | 568784 | 900 60148 195295 | 2147483647 56550 82 | 0.000 % |
428.50/428.72 c | 572080 | 900 60148 195295 | 57766 50954 77 | 0.000 % |
432.10/432.37 c | 575707 | 900 60148 195295 | 57766 54581 79 | 0.000 % |
436.09/436.36 c | 579694 | 900 60148 195295 | 57766 48695 79 | 0.000 % |
439.70/439.95 c | 584082 | 900 60148 195295 | 49001 44618 80 | 0.000 % |
444.49/444.77 c | 588907 | 900 60148 195295 | 49001 49443 84 | 0.000 % |
449.49/449.70 c | 594212 | 900 60148 195295 | 42122 38878 84 | 0.000 % |
449.59/449.82 c | 594312 | 900 60148 195295 | 42122 38978 84 | 0.000 % |
449.69/449.91 c | 594422 | 900 60148 195295 | 42122 39088 84 | 0.000 % |
449.79/450.01 c | 594544 | 900 60148 195295 | 42122 39210 84 | 0.000 % |
449.89/450.16 c | 594678 | 900 60148 195295 | 42122 39344 85 | 0.000 % |
450.09/450.34 c | 594824 | 900 60148 195295 | 42122 39490 85 | 0.000 % |
450.19/450.44 c | 594984 | 900 60148 195295 | 42122 39650 85 | 0.000 % |
450.29/450.58 c | 595160 | 900 60148 195295 | 42122 39826 85 | 0.019 % |
450.49/450.71 c | 595354 | 900 60148 195295 | 42122 40020 84 | 0.000 % |
450.59/450.85 c | 595566 | 900 60148 195295 | 42122 40232 84 | 0.019 % |
450.89/451.13 c | 595799 | 900 60148 195295 | 42122 40465 84 | 0.000 % |
451.09/451.32 c | 596056 | 900 60148 195295 | 42122 40722 84 | 0.020 % |
451.29/451.58 c | 596337 | 900 60148 195295 | 42122 41003 84 | 0.000 % |
451.59/451.85 c | 596649 | 900 60148 195295 | 42122 41315 85 | 0.000 % |
451.99/452.21 c | 596993 | 900 60148 195295 | 42122 41659 85 | 0.000 % |
452.39/452.64 c | 597368 | 900 60148 195295 | 42122 42034 85 | 0.000 % |
452.79/453.09 c | 597778 | 900 60148 195295 | 42122 35718 83 | 0.000 % |
453.29/453.52 c | 598227 | 900 60148 195295 | 42122 36167 83 | 0.000 % |
453.69/453.98 c | 598721 | 900 60148 195295 | 42122 36661 84 | 0.000 % |
454.19/454.47 c | 599263 | 900 60148 195295 | 42122 37203 84 | 0.000 % |
454.59/454.84 c | 599860 | 900 60148 195295 | 42122 37800 84 | 0.000 % |
455.09/455.35 c | 600515 | 900 60148 195295 | 37941 32671 81 | 0.000 % |
455.59/455.85 c | 601237 | 900 60148 195295 | 37941 33393 82 | 0.000 % |
456.08/456.30 c | 602029 | 900 60148 195295 | 37941 34185 82 | 0.000 % |
456.88/457.11 c | 602902 | 900 60148 195295 | 37941 35058 82 | 0.000 % |
457.68/457.92 c | 603860 | 900 60148 195295 | 37941 36016 82 | 0.000 % |
458.39/458.64 c | 604913 | 900 60148 195295 | 37941 37069 82 | 0.000 % |
459.08/459.38 c | 606071 | 900 60148 195295 | 37941 38227 81 | 0.000 % |
459.98/460.23 c | 607345 | 900 60148 195295 | 37941 34964 80 | 0.000 % |
460.88/461.18 c | 608747 | 900 60148 195295 | 37941 36366 80 | 0.000 % |
461.88/462.19 c | 610288 | 900 60148 195295 | 2147483647 37907 79 | 0.016 % |
463.18/463.43 c | 611982 | 900 60148 195295 | 2147483647 39601 78 | 0.000 % |
464.68/464.91 c | 613847 | 900 60148 195295 | 2147483647 41466 78 | 0.000 % |
465.98/466.27 c | 615896 | 900 60148 195295 | 2147483647 43515 77 | 0.016 % |
467.38/467.62 c | 618152 | 900 60148 195295 | 2147483647 45771 76 | 0.000 % |
469.08/469.37 c | 620633 | 900 60148 195295 | 2147483647 48252 75 | 0.018 % |
471.18/471.45 c | 623363 | 900 60148 195295 | 2147483647 50982 74 | 0.019 % |
473.88/474.19 c | 626363 | 900 60148 195295 | 2147483647 53982 73 | 0.018 % |
476.28/476.52 c | 629659 | 900 60148 195295 | 2147483647 57278 73 | 0.018 % |
478.98/479.23 c | 633284 | 900 60148 195295 | 57620 52992 67 | 0.018 % |
483.07/483.38 c | 637271 | 900 60148 195295 | 57620 56979 69 | 0.000 % |
486.98/487.29 c | 641659 | 900 60148 195295 | 51142 45669 64 | 0.000 % |
489.87/490.16 c | 646482 | 900 60148 195295 | 51142 50492 66 | 0.000 % |
493.58/493.82 c | 651789 | 900 60148 195295 | 2147483647 50636 68 | 0.000 % |
497.88/498.18 c | 657628 | 900 60148 195295 | 2147483647 56475 68 | 0.000 % |
497.98/498.29 c | 657728 | 900 60148 195295 | 2147483647 56575 68 | 0.017 % |
498.18/498.40 c | 657839 | 900 60148 195295 | 2147483647 56686 68 | 0.017 % |
498.18/498.49 c | 657960 | 900 60148 195295 | 2147483647 56807 68 | 0.014 % |
498.38/498.65 c | 658098 | 900 60148 195295 | 2147483647 56945 68 | 0.017 % |
498.48/498.77 c | 658244 | 900 60148 195295 | 2147483647 57091 68 | 0.000 % |
498.68/498.90 c | 658405 | 900 60148 195295 | 2147483647 57252 68 | 0.000 % |
498.78/499.04 c | 658581 | 900 60148 195295 | 2147483647 57428 68 | 0.017 % |
498.98/499.21 c | 658774 | 900 60148 195295 | 2147483647 57621 68 | 0.000 % |
499.08/499.38 c | 658987 | 900 60148 195295 | 2147483647 57834 68 | 0.000 % |
499.28/499.53 c | 659220 | 900 60148 195295 | 2147483647 58067 68 | 0.017 % |
499.48/499.70 c | 659476 | 900 60148 195295 | 2147483647 58323 68 | 0.000 % |
499.68/499.93 c | 659759 | 900 60148 195295 | 2147483647 58606 68 | 0.018 % |
499.88/500.14 c | 660070 | 900 60148 195295 | 2147483647 58917 68 | 0.000 % |
500.28/500.57 c | 660409 | 900 60148 195295 | 2147483647 59256 69 | 0.000 % |
500.68/500.97 c | 660781 | 900 60148 195295 | 2147483647 59628 69 | 0.000 % |
501.08/501.37 c | 661190 | 900 60148 195295 | 2147483647 60037 69 | 0.000 % |
501.48/501.72 c | 661641 | 900 60148 195295 | 2147483647 60488 69 | 0.000 % |
501.88/502.11 c | 662134 | 900 60148 195295 | 2147483647 60981 69 | 0.000 % |
502.28/502.54 c | 662676 | 900 60148 195295 | 2147483647 61523 69 | 0.000 % |
502.78/503.08 c | 663272 | 900 60148 195295 | 2147483647 62119 70 | 0.016 % |
503.48/503.78 c | 663928 | 900 60148 195295 | 2147483647 62775 70 | 0.000 % |
504.08/504.39 c | 664648 | 900 60148 195295 | 2147483647 63495 70 | 0.000 % |
504.88/505.11 c | 665440 | 900 60148 195295 | 2147483647 64287 70 | 0.000 % |
505.48/505.77 c | 666312 | 900 60148 195295 | 2147483647 65159 70 | 0.000 % |
506.18/506.43 c | 667270 | 900 60148 195295 | 2147483647 66117 70 | 0.000 % |
507.17/507.41 c | 668323 | 900 60148 195295 | 2147483647 67170 70 | 0.000 % |
508.07/508.32 c | 669482 | 900 60148 195295 | 2147483647 68329 70 | 0.000 % |
509.27/509.55 c | 670756 | 900 60148 195295 | 68848 58757 71 | 0.000 % |
510.47/510.70 c | 672158 | 900 60148 195295 | 68848 60159 71 | 0.000 % |
511.87/512.14 c | 673698 | 900 60148 195295 | 68848 61699 70 | 0.017 % |
513.57/513.86 c | 675393 | 900 60148 195295 | 68848 63394 70 | 0.017 % |
515.17/515.48 c | 677258 | 900 60148 195295 | 68848 65259 70 | 0.000 % |
516.97/517.23 c | 679307 | 900 60148 195295 | 68848 67308 70 | 0.000 % |
518.87/519.19 c | 681561 | 900 60148 195295 | 68002 57852 71 | 0.000 % |
521.37/521.68 c | 684039 | 900 60148 195295 | 68002 60330 72 | 0.000 % |
524.47/524.79 c | 686765 | 900 60148 195295 | 68002 63056 74 | 0.000 % |
527.07/527.39 c | 689762 | 900 60148 195295 | 68002 66053 75 | 0.000 % |
529.97/530.28 c | 693058 | 900 60148 195295 | 66296 58078 71 | 0.000 % |
533.66/533.98 c | 696683 | 900 60148 195295 | 66296 61703 74 | 0.000 % |
537.96/538.22 c | 700670 | 900 60148 195295 | 65020 54755 74 | 0.000 % |
542.26/542.52 c | 705056 | 900 60148 195295 | 65020 59141 76 | 0.000 % |
547.56/547.85 c | 709880 | 900 60148 195295 | 65020 63965 80 | 0.000 % |
553.36/553.65 c | 715187 | 900 60148 195295 | 64085 57696 83 | 0.000 % |
560.26/560.50 c | 721023 | 900 60148 195295 | 62509 50722 87 | 0.000 % |
569.06/569.30 c | 727441 | 900 60148 195295 | 62509 57140 91 | 0.000 % |
569.16/569.46 c | 727541 | 900 60148 195295 | 62509 57240 91 | 0.000 % |
569.36/569.68 c | 727654 | 900 60148 195295 | 62509 57353 91 | 0.000 % |
569.57/569.88 c | 727778 | 900 60148 195295 | 62509 57477 91 | 0.000 % |
569.76/570.03 c | 727911 | 900 60148 195295 | 62509 57610 91 | 0.000 % |
569.86/570.17 c | 728058 | 900 60148 195295 | 62509 57757 91 | 0.000 % |
570.06/570.38 c | 728218 | 900 60148 195295 | 62509 57917 92 | 0.000 % |
570.36/570.64 c | 728394 | 900 60148 195295 | 62509 58093 92 | 0.000 % |
570.67/570.91 c | 728588 | 900 60148 195295 | 62509 58287 92 | 0.000 % |
570.96/571.24 c | 728800 | 900 60148 195295 | 62509 58499 92 | 0.000 % |
571.26/571.57 c | 729035 | 900 60148 195295 | 62509 58734 92 | 0.000 % |
571.66/571.92 c | 729291 | 900 60148 195295 | 62509 58990 92 | 0.000 % |
571.96/572.29 c | 729572 | 900 60148 195295 | 62509 59271 92 | 0.000 % |
572.46/572.78 c | 729881 | 900 60148 195295 | 62509 59580 92 | 0.000 % |
572.86/573.13 c | 730220 | 900 60148 195295 | 59699 59919 92 | 0.018 % |
573.26/573.51 c | 730592 | 900 60148 195295 | 59699 46860 88 | 0.000 % |
573.76/574.05 c | 731003 | 900 60148 195295 | 59699 47271 89 | 0.000 % |
574.26/574.53 c | 731453 | 900 60148 195295 | 59699 47721 89 | 0.000 % |
574.76/575.03 c | 731948 | 900 60148 195295 | 59699 48216 89 | 0.000 % |
575.35/575.65 c | 732491 | 900 60148 195295 | 59699 48759 89 | 0.000 % |
576.06/576.31 c | 733088 | 900 60148 195295 | 59699 49356 89 | 0.000 % |
576.65/576.95 c | 733743 | 900 60148 195295 | 59699 50011 90 | 0.000 % |
577.26/577.56 c | 734466 | 900 60148 195295 | 59699 50734 90 | 0.000 % |
578.15/578.40 c | 735260 | 900 60148 195295 | 59699 51528 89 | 0.015 % |
579.05/579.35 c | 736131 | 900 60148 195295 | 59699 52399 89 | 0.017 % |
580.05/580.31 c | 737089 | 900 60148 195295 | 59699 53357 88 | 0.000 % |
581.45/581.80 c | 738144 | 900 60148 195295 | 59699 54412 89 | 0.000 % |
583.05/583.35 c | 739306 | 900 60148 195295 | 59699 55574 90 | 0.000 % |
584.75/585.08 c | 740581 | 900 60148 195295 | 56270 43844 83 | 0.000 % |
586.45/586.70 c | 741982 | 900 60148 195295 | 56270 45245 84 | 0.000 % |
588.55/588.84 c | 743523 | 900 60148 195295 | 56270 46786 84 | 0.000 % |
590.75/591.03 c | 745217 | 900 60148 195295 | 56270 48480 85 | 0.000 % |
592.45/592.75 c | 747080 | 900 60148 195295 | 56270 50343 83 | 0.000 % |
594.35/594.69 c | 749129 | 900 60148 195295 | 56270 52392 85 | 0.000 % |
596.55/596.82 c | 751383 | 900 60148 195295 | 53265 42856 81 | 0.000 % |
599.05/599.36 c | 753861 | 900 60148 195295 | 53265 45334 80 | 0.019 % |
601.64/601.90 c | 756586 | 900 60148 195295 | 53265 48059 80 | 0.000 % |
606.04/606.32 c | 759584 | 900 60148 195295 | 53265 51057 82 | 0.000 % |
609.05/609.37 c | 762880 | 900 60148 195295 | 51473 43097 77 | 0.000 % |
612.34/612.62 c | 766507 | 900 60148 195295 | 51473 46724 77 | 0.000 % |
617.44/617.72 c | 770496 | 900 60148 195295 | 50218 41694 78 | 0.000 % |
622.44/622.75 c | 774881 | 900 60148 195295 | 50218 46079 81 | 0.000 % |
627.33/627.67 c | 779704 | 900 60148 195295 | 50218 42465 82 | 0.000 % |
631.83/632.17 c | 785009 | 900 60148 195295 | 42761 40775 81 | 0.000 % |
637.13/637.41 c | 790844 | 900 60148 195295 | 39430 34792 83 | 0.000 % |
642.14/642.40 c | 797264 | 900 60148 195295 | 39430 36736 80 | 0.000 % |
648.03/648.34 c | 804324 | 900 60148 195295 | 39472 39597 80 | 0.000 % |
648.13/648.46 c | 804425 | 900 60148 195295 | 39472 35011 77 | 0.000 % |
648.23/648.57 c | 804536 | 900 60148 195295 | 39472 35122 77 | 0.000 % |
648.43/648.71 c | 804658 | 900 60148 195295 | 39472 35244 77 | 0.000 % |
648.43/648.79 c | 804792 | 900 60148 195295 | 39472 35378 77 | 0.000 % |
648.53/648.86 c | 804939 | 900 60148 195295 | 39472 35525 77 | 0.000 % |
648.63/648.98 c | 805100 | 900 60148 195295 | 39472 35686 77 | 0.000 % |
648.83/649.11 c | 805277 | 900 60148 195295 | 39472 35863 77 | 0.000 % |
648.93/649.24 c | 805470 | 900 60148 195295 | 39472 36056 77 | 0.000 % |
649.03/649.38 c | 805682 | 900 60148 195295 | 39472 36268 77 | 0.000 % |
649.23/649.53 c | 805917 | 900 60148 195295 | 39472 36503 77 | 0.000 % |
649.33/649.66 c | 806173 | 900 60148 195295 | 39472 36759 77 | 0.019 % |
649.53/649.82 c | 806454 | 900 60148 195295 | 39472 37040 77 | 0.000 % |
649.73/650.03 c | 806763 | 900 60148 195295 | 39472 37349 77 | 0.019 % |
649.93/650.23 c | 807103 | 900 60148 195295 | 39472 37689 77 | 0.000 % |
650.23/650.50 c | 807476 | 900 60148 195295 | 39472 38062 77 | 0.000 % |
650.53/650.81 c | 807891 | 900 60148 195295 | 39472 38477 77 | 0.000 % |
650.83/651.10 c | 808340 | 900 60148 195295 | 39472 38926 77 | 0.000 % |
651.13/651.44 c | 808834 | 900 60148 195295 | 39472 39420 77 | 0.000 % |
651.53/651.81 c | 809378 | 900 60148 195295 | 39472 39964 77 | 0.019 % |
651.83/652.17 c | 809976 | 900 60148 195295 | 39472 36533 76 | 0.000 % |
652.23/652.55 c | 810631 | 900 60148 195295 | 2147483647 37188 76 | 0.000 % |
652.83/653.10 c | 811352 | 900 60148 195295 | 2147483647 37909 76 | 0.000 % |
653.33/653.68 c | 812145 | 900 60148 195295 | 2147483647 38702 76 | 0.021 % |
653.73/654.07 c | 813019 | 900 60148 195295 | 2147483647 39576 76 | 0.000 % |
654.63/654.90 c | 813977 | 900 60148 195295 | 2147483647 40534 76 | 0.000 % |
655.53/655.88 c | 815036 | 900 60148 195295 | 2147483647 41593 77 | 0.000 % |
656.63/656.98 c | 816196 | 900 60148 195295 | 2147483647 42753 78 | 0.000 % |
657.93/658.23 c | 817472 | 900 60148 195295 | 2147483647 44029 79 | 0.000 % |
659.32/659.67 c | 818874 | 900 60148 195295 | 2147483647 45431 81 | 0.000 % |
660.73/661.02 c | 820414 | 900 60148 195295 | 46557 46971 80 | 0.000 % |
662.12/662.47 c | 822111 | 900 60148 195295 | 46557 43436 79 | 0.000 % |
663.62/663.91 c | 823974 | 900 60148 195295 | 46557 45299 79 | 0.000 % |
665.23/665.59 c | 826026 | 900 60148 195295 | 46557 40375 76 | 0.000 % |
667.33/667.60 c | 828279 | 900 60148 195295 | 46557 42628 78 | 0.000 % |
669.12/669.44 c | 830758 | 900 60148 195295 | 44350 38709 75 | 0.000 % |
671.22/671.51 c | 833487 | 900 60148 195295 | 44350 41438 75 | 0.000 % |
673.32/673.68 c | 836484 | 900 60148 195295 | 44350 44435 76 | 0.000 % |
675.72/676.08 c | 839781 | 900 60148 195295 | 44350 42545 75 | 0.000 % |
678.82/679.15 c | 843406 | 900 60148 195295 | 42765 40277 75 | 0.000 % |
681.91/682.24 c | 847395 | 900 60148 195295 | 42765 37902 69 | 0.000 % |
684.71/685.06 c | 851780 | 900 60148 195295 | 40507 37634 69 | 0.000 % |
687.51/687.88 c | 856605 | 900 60148 195295 | 40507 38360 69 | 0.000 % |
690.81/691.16 c | 861910 | 900 60148 195295 | 2147483647 39556 66 | 0.014 % |
694.81/695.14 c | 867745 | 900 60148 195295 | 2147483647 45391 67 | 0.000 % |
699.01/699.31 c | 874165 | 900 60148 195295 | 2147483647 51811 67 | 0.000 % |
704.91/705.29 c | 881224 | 900 60148 195295 | 57647 51813 66 | 0.000 % |
710.91/711.26 c | 888988 | 900 60148 195295 | 57647 51659 64 | 0.000 % |
711.01/711.33 c | 889088 | 900 60148 195295 | 57647 51759 64 | 0.014 % |
711.11/711.43 c | 889199 | 900 60148 195295 | 57647 51870 65 | 0.000 % |
711.21/711.54 c | 889320 | 900 60148 195295 | 57647 51991 65 | 0.000 % |
711.31/711.63 c | 889453 | 900 60148 195295 | 57647 52124 65 | 0.000 % |
711.41/711.72 c | 889599 | 900 60148 195295 | 57647 52270 65 | 0.019 % |
711.50/711.86 c | 889760 | 900 60148 195295 | 57647 52431 65 | 0.000 % |
711.60/711.96 c | 889939 | 900 60148 195295 | 57647 52610 65 | 0.000 % |
711.70/712.09 c | 890132 | 900 60148 195295 | 52673 52803 65 | 0.000 % |
711.90/712.26 c | 890344 | 900 60148 195295 | 52673 46202 63 | 0.000 % |
712.10/712.40 c | 890578 | 900 60148 195295 | 52673 46436 63 | 0.000 % |
712.30/712.63 c | 890834 | 900 60148 195295 | 52673 46692 63 | 0.000 % |
712.51/712.82 c | 891115 | 900 60148 195295 | 52673 46973 63 | 0.000 % |
712.70/713.02 c | 891426 | 900 60148 195295 | 52673 47284 63 | 0.000 % |
712.90/713.27 c | 891767 | 900 60148 195295 | 52673 47625 64 | 0.000 % |
713.20/713.52 c | 892139 | 900 60148 195295 | 52673 47997 64 | 0.000 % |
713.40/713.76 c | 892550 | 900 60148 195295 | 52673 48408 64 | 0.019 % |
713.80/714.17 c | 892999 | 900 60148 195295 | 52673 48857 64 | 0.000 % |
714.10/714.45 c | 893492 | 900 60148 195295 | 52673 49350 65 | 0.000 % |
714.61/714.91 c | 894034 | 900 60148 195295 | 52673 49892 65 | 0.018 % |
715.00/715.34 c | 894630 | 900 60148 195295 | 52673 50488 66 | 0.000 % |
715.40/715.74 c | 895285 | 900 60148 195295 | 52673 51143 66 | 0.000 % |
715.90/716.20 c | 896005 | 900 60148 195295 | 52673 51863 66 | 0.000 % |
716.50/716.83 c | 896797 | 900 60148 195295 | 52673 52655 67 | 0.000 % |
717.20/717.55 c | 897668 | 900 60148 195295 | 52673 48216 66 | 0.000 % |
717.90/718.21 c | 898628 | 900 60148 195295 | 52673 49176 66 | 0.000 % |
718.60/718.92 c | 899681 | 900 60148 195295 | 52673 50229 67 | 0.000 % |
719.50/719.88 c | 900839 | 900 60148 195295 | 2147483647 51387 67 | 0.000 % |
720.50/720.84 c | 902112 | 900 60148 195295 | 2147483647 52660 67 | 0.018 % |
721.50/721.88 c | 903512 | 900 60148 195295 | 2147483647 54060 67 | 0.000 % |
723.20/723.51 c | 905054 | 900 60148 195295 | 2147483647 55602 68 | 0.000 % |
724.60/724.92 c | 906748 | 900 60148 195295 | 2147483647 57296 70 | 0.000 % |
726.10/726.42 c | 908611 | 900 60148 195295 | 2147483647 59159 71 | 0.000 % |
728.10/728.41 c | 910661 | 900 60148 195295 | 60550 53162 71 | 0.000 % |
730.40/730.74 c | 912914 | 900 60148 195295 | 60550 55415 72 | 0.000 % |
732.69/733.06 c | 915392 | 900 60148 195295 | 60550 57893 72 | 0.000 % |
734.79/735.19 c | 918118 | 900 60148 195295 | 60550 60619 73 | 0.000 % |
736.99/737.39 c | 921115 | 900 60148 195295 | 53487 46680 73 | 0.000 % |
739.49/739.86 c | 924411 | 900 60148 195295 | 53487 49976 73 | 0.000 % |
742.49/742.82 c | 928036 | 900 60148 195295 | 53487 53601 71 | 0.018 % |
746.19/746.57 c | 932024 | 900 60148 195295 | 48340 43535 70 | 0.000 % |
750.89/751.23 c | 936409 | 900 60148 195295 | 48340 47920 75 | 0.000 % |
755.29/755.66 c | 941232 | 900 60148 195295 | 45259 40452 71 | 0.000 % |
759.59/759.93 c | 946539 | 900 60148 195295 | 45259 40052 71 | 0.000 % |
765.19/765.56 c | 952379 | 900 60148 195295 | 43513 41088 78 | 0.000 % |
770.69/771.01 c | 958797 | 900 60148 195295 | 43513 43046 81 | 0.000 % |
776.28/776.68 c | 965856 | 900 60148 195295 | 38914 35626 75 | 0.000 % |
782.48/782.84 c | 973620 | 900 60148 195295 | 35688 35538 76 | 0.000 % |
788.48/788.80 c | 982160 | 900 60148 195295 | 2147483647 36839 72 | 0.000 % |
788.48/788.89 c | 982260 | 900 60148 195295 | 2147483647 36939 72 | 0.000 % |
788.58/788.98 c | 982370 | 900 60148 195295 | 2147483647 37049 72 | 0.000 % |
788.68/789.10 c | 982491 | 900 60148 195295 | 2147483647 37170 72 | 0.015 % |
788.78/789.19 c | 982628 | 900 60148 195295 | 2147483647 37307 72 | 0.000 % |
788.88/789.29 c | 982775 | 900 60148 195295 | 2147483647 37454 72 | 0.000 % |
789.08/789.41 c | 982935 | 900 60148 195295 | 2147483647 37614 72 | 0.000 % |
789.18/789.52 c | 983111 | 900 60148 195295 | 2147483647 37790 72 | 0.000 % |
789.28/789.64 c | 983304 | 900 60148 195295 | 2147483647 37983 72 | 0.000 % |
789.38/789.77 c | 983517 | 900 60148 195295 | 2147483647 38196 73 | 0.000 % |
789.58/789.93 c | 983752 | 900 60148 195295 | 2147483647 38431 73 | 0.000 % |
789.68/790.09 c | 984010 | 900 60148 195295 | 2147483647 38689 73 | 0.000 % |
789.87/790.27 c | 984292 | 900 60148 195295 | 2147483647 38971 73 | 0.000 % |
790.07/790.48 c | 984602 | 900 60148 195295 | 2147483647 39281 73 | 0.000 % |
790.27/790.66 c | 984942 | 900 60148 195295 | 2147483647 39621 73 | 0.000 % |
790.48/790.85 c | 985315 | 900 60148 195295 | 2147483647 39994 73 | 0.000 % |
790.67/791.07 c | 985726 | 900 60148 195295 | 2147483647 40405 73 | 0.000 % |
790.97/791.32 c | 986176 | 900 60148 195295 | 2147483647 40855 73 | 0.000 % |
791.17/791.58 c | 986669 | 900 60148 195295 | 2147483647 41348 73 | 0.000 % |
791.47/791.87 c | 987212 | 900 60148 195295 | 2147483647 41891 73 | 0.019 % |
791.87/792.20 c | 987808 | 900 60148 195295 | 2147483647 42487 73 | 0.000 % |
792.27/792.63 c | 988464 | 900 60148 195295 | 2147483647 43143 73 | 0.019 % |
792.68/793.02 c | 989184 | 900 60148 195295 | 2147483647 43863 73 | 0.016 % |
793.07/793.49 c | 989976 | 900 60148 195295 | 2147483647 44655 73 | 0.000 % |
793.78/794.11 c | 990849 | 900 60148 195295 | 2147483647 45528 73 | 0.000 % |
794.27/794.70 c | 991809 | 900 60148 195295 | 2147483647 46488 73 | 0.017 % |
794.98/795.33 c | 992863 | 900 60148 195295 | 2147483647 47542 74 | 0.000 % |
795.87/796.25 c | 994021 | 900 60148 195295 | 2147483647 48700 74 | 0.000 % |
796.98/797.36 c | 995297 | 900 60148 195295 | 2147483647 49976 75 | 0.000 % |
797.88/798.23 c | 996699 | 900 60148 195295 | 2147483647 51378 76 | 0.000 % |
798.98/799.35 c | 998240 | 900 60148 195295 | 2147483647 52919 75 | 0.000 % |
800.18/800.56 c | 999934 | 900 60148 195295 | 2147483647 54613 75 | 0.000 % |
801.58/801.96 c | 1001797 | 900 60148 195295 | 2147483647 56476 75 | 0.000 % |
802.98/803.36 c | 1003846 | 900 60148 195295 | 2147483647 58525 75 | 0.000 % |
804.68/805.02 c | 1006100 | 900 60148 195295 | 2147483647 60779 76 | 0.000 % |
806.58/806.94 c | 1008580 | 900 60148 195295 | 2147483647 63259 76 | 0.000 % |
809.38/809.78 c | 1011306 | 900 60148 195295 | 64680 56703 75 | 0.000 % |
812.17/812.56 c | 1014303 | 900 60148 195295 | 64680 59700 75 | 0.016 % |
815.47/815.80 c | 1017599 | 900 60148 195295 | 64680 62996 75 | 0.016 % |
819.37/819.79 c | 1021225 | 900 60148 195295 | 54103 46094 73 | 0.000 % |
821.97/822.39 c | 1025212 | 900 60148 195295 | 54103 50081 73 | 0.000 % |
825.37/825.70 c | 1029598 | 900 60148 195295 | 54103 47454 72 | 0.018 % |
829.37/829.77 c | 1034421 | 900 60148 195295 | 47856 45838 73 | 0.000 % |
833.37/833.78 c | 1039728 | 900 60148 195295 | 47856 45509 75 | 0.000 % |
837.57/837.99 c | 1045564 | 900 60148 195295 | 45781 45981 73 | 0.000 % |
842.97/843.33 c | 1051984 | 900 60148 195295 | 2147483647 47457 76 | 0.000 % |
848.77/849.11 c | 1059045 | 900 60148 195295 | 2147483647 54518 76 | 0.000 % |
856.76/857.14 c | 1066812 | 900 60148 195295 | 55473 54761 81 | 0.000 % |
864.86/865.21 c | 1075352 | 900 60148 195295 | 49578 47255 80 | 0.000 % |
873.16/873.58 c | 1084746 | 900 60148 195295 | 44630 42770 74 | 0.018 % |
873.26/873.66 c | 1084846 | 900 60148 195295 | 44630 42870 74 | 0.018 % |
873.36/873.74 c | 1084956 | 900 60148 195295 | 44630 42980 74 | 0.000 % |
873.46/873.86 c | 1085077 | 900 60148 195295 | 44630 43101 74 | 0.000 % |
873.66/874.01 c | 1085212 | 900 60148 195295 | 44630 43236 74 | 0.000 % |
873.76/874.13 c | 1085358 | 900 60148 195295 | 44630 43382 74 | 0.000 % |
873.86/874.25 c | 1085518 | 900 60148 195295 | 44630 43542 74 | 0.000 % |
874.06/874.41 c | 1085694 | 900 60148 195295 | 44630 43718 75 | 0.000 % |
874.16/874.55 c | 1085890 | 900 60148 195295 | 44630 43914 75 | 0.000 % |
874.36/874.72 c | 1086102 | 900 60148 195295 | 44630 44126 75 | 0.000 % |
874.46/874.88 c | 1086335 | 900 60148 195295 | 44630 44359 75 | 0.000 % |
874.66/875.07 c | 1086591 | 900 60148 195295 | 44630 44615 75 | 0.018 % |
874.96/875.38 c | 1086872 | 900 60148 195295 | 44630 44896 75 | 0.000 % |
875.26/875.65 c | 1087181 | 900 60148 195295 | 44630 38867 75 | 0.000 % |
875.45/875.87 c | 1087520 | 900 60148 195295 | 44630 39206 75 | 0.000 % |
875.75/876.17 c | 1087896 | 900 60148 195295 | 44630 39582 75 | 0.000 % |
876.05/876.47 c | 1088305 | 900 60148 195295 | 44630 39991 75 | 0.000 % |
876.36/876.72 c | 1088754 | 900 60148 195295 | 44630 40440 75 | 0.000 % |
876.75/877.11 c | 1089248 | 900 60148 195295 | 44630 40934 75 | 0.000 % |
877.15/877.50 c | 1089791 | 900 60148 195295 | 44630 41477 76 | 0.000 % |
877.55/877.95 c | 1090387 | 900 60148 195295 | 41686 42073 76 | 0.000 % |
878.05/878.40 c | 1091044 | 900 60148 195295 | 41686 37577 73 | 0.000 % |
878.56/878.92 c | 1091765 | 900 60148 195295 | 41686 38298 74 | 0.000 % |
879.05/879.45 c | 1092561 | 900 60148 195295 | 41686 39094 74 | 0.000 % |
879.56/880.00 c | 1093432 | 900 60148 195295 | 41686 39965 75 | 0.000 % |
880.25/880.64 c | 1094390 | 900 60148 195295 | 41686 40923 76 | 0.000 % |
880.95/881.33 c | 1095443 | 900 60148 195295 | 41686 41976 76 | 0.000 % |
881.85/882.21 c | 1096601 | 900 60148 195295 | 41686 38927 71 | 0.000 % |
882.85/883.27 c | 1097874 | 900 60148 195295 | 41686 40200 71 | 0.000 % |
884.05/884.45 c | 1099275 | 900 60148 195295 | 41686 41601 72 | 0.000 % |
885.35/885.74 c | 1100816 | 900 60148 195295 | 37864 34642 67 | 0.000 % |
886.25/886.69 c | 1102511 | 900 60148 195295 | 37864 36337 68 | 0.000 % |
887.85/888.20 c | 1104375 | 900 60148 195295 | 37864 38201 71 | 0.000 % |
888.95/889.34 c | 1106426 | 900 60148 195295 | 37864 36432 71 | 0.000 % |
890.35/890.76 c | 1108680 | 900 60148 195295 | 37864 34874 73 | 0.000 % |
891.95/892.36 c | 1111158 | 900 60148 195295 | 2147483647 37352 73 | 0.000 % |
893.65/894.06 c | 1113888 | 900 60148 195295 | 2147483647 40082 75 | 0.000 % |
895.84/896.21 c | 1116885 | 900 60148 195295 | 2147483647 43079 74 | 0.000 % |
898.55/898.94 c | 1120181 | 900 60148 195295 | 2147483647 46375 73 | 0.017 % |
901.34/901.74 c | 1123808 | 900 60148 195295 | 2147483647 50002 73 | 0.000 % |
904.64/905.05 c | 1127797 | 900 60148 195295 | 2147483647 53991 72 | 0.017 % |
908.54/908.99 c | 1132183 | 900 60148 195295 | 56194 50385 72 | 0.000 % |
912.94/913.36 c | 1137006 | 900 60148 195295 | 56194 55208 73 | 0.000 % |
918.14/918.56 c | 1142313 | 900 60148 195295 | 48554 42783 70 | 0.000 % |
922.54/922.95 c | 1148150 | 900 60148 195295 | 48554 48620 70 | 0.000 % |
927.34/927.78 c | 1154570 | 900 60148 195295 | 43202 41511 69 | 0.000 % |
933.93/934.34 c | 1161631 | 900 60148 195295 | 41550 38492 79 | 0.000 % |
940.33/940.72 c | 1169397 | 900 60148 195295 | 41550 41581 83 | 0.000 % |
947.63/948.05 c | 1177937 | 900 60148 195295 | 37419 36378 82 | 0.000 % |
954.93/955.33 c | 1187331 | 900 60148 195295 | 33682 33395 83 | 0.000 % |
963.02/963.43 c | 1197665 | 900 60148 195295 | 32600 29885 75 | 0.019 % |
963.13/963.53 c | 1197769 | 900 60148 195295 | 32600 29989 75 | 0.000 % |
963.23/963.65 c | 1197879 | 900 60148 195295 | 32600 30099 75 | 0.019 % |
963.32/963.72 c | 1198002 | 900 60148 195295 | 32600 30222 75 | 0.000 % |
963.32/963.79 c | 1198139 | 900 60148 195295 | 32600 30359 76 | 0.000 % |
963.42/963.88 c | 1198285 | 900 60148 195295 | 32600 30505 76 | 0.000 % |
963.52/963.99 c | 1198445 | 900 60148 195295 | 32600 30665 76 | 0.000 % |
963.72/964.15 c | 1198622 | 900 60148 195295 | 32600 30842 76 | 0.000 % |
963.82/964.28 c | 1198816 | 900 60148 195295 | 32600 31036 76 | 0.000 % |
963.92/964.38 c | 1199028 | 900 60148 195295 | 32600 31248 77 | 0.000 % |
964.12/964.55 c | 1199261 | 900 60148 195295 | 32600 31481 77 | 0.000 % |
964.23/964.68 c | 1199519 | 900 60148 195295 | 32600 31739 77 | 0.000 % |
964.42/964.84 c | 1199800 | 900 60148 195295 | 32600 32020 77 | 0.000 % |
964.62/965.03 c | 1200109 | 900 60148 195295 | 2147483647 32329 77 | 0.000 % |
964.82/965.23 c | 1200448 | 900 60148 195295 | 2147483647 32668 77 | 0.000 % |
965.02/965.46 c | 1200820 | 900 60148 195295 | 2147483647 33040 77 | 0.000 % |
965.33/965.73 c | 1201229 | 900 60148 195295 | 2147483647 33449 77 | 0.000 % |
965.52/965.94 c | 1201678 | 900 60148 195295 | 2147483647 33898 77 | 0.000 % |
965.82/966.25 c | 1202171 | 900 60148 195295 | 2147483647 34391 77 | 0.014 % |
966.12/966.56 c | 1202713 | 900 60148 195295 | 2147483647 34933 76 | 0.018 % |
966.43/966.86 c | 1203309 | 900 60148 195295 | 2147483647 35529 76 | 0.018 % |
966.72/967.19 c | 1203968 | 900 60148 195295 | 2147483647 36188 76 | 0.015 % |
967.12/967.59 c | 1204690 | 900 60148 195295 | 2147483647 36910 75 | 0.000 % |
967.53/967.98 c | 1205483 | 900 60148 195295 | 2147483647 37703 75 | 0.019 % |
968.02/968.46 c | 1206354 | 900 60148 195295 | 2147483647 38574 74 | 0.019 % |
968.63/969.01 c | 1207312 | 900 60148 195295 | 2147483647 39532 74 | 0.018 % |
969.02/969.44 c | 1208370 | 900 60148 195295 | 2147483647 40590 74 | 0.000 % |
969.62/970.01 c | 1209528 | 900 60148 195295 | 2147483647 41748 73 | 0.000 % |
970.52/970.95 c | 1210802 | 900 60148 195295 | 2147483647 43022 74 | 0.000 % |
971.22/971.70 c | 1212203 | 900 60148 195295 | 2147483647 44423 74 | 0.000 % |
971.93/972.36 c | 1213743 | 900 60148 195295 | 2147483647 45963 74 | 0.000 % |
973.32/973.73 c | 1215437 | 900 60148 195295 | 2147483647 47657 75 | 0.000 % |
974.92/975.33 c | 1217301 | 900 60148 195295 | 2147483647 49521 75 | 0.018 % |
976.62/977.06 c | 1219350 | 900 60148 195295 | 2147483647 51570 75 | 0.000 % |
978.52/978.99 c | 1221603 | 900 60148 195295 | 2147483647 53823 75 | 0.018 % |
980.52/980.91 c | 1224082 | 900 60148 195295 | 2147483647 56302 75 | 0.018 % |
983.42/983.88 c | 1226807 | 900 60148 195295 | 2147483647 59027 77 | 0.000 % |
986.12/986.55 c | 1229805 | 900 60148 195295 | 2147483647 62025 78 | 0.000 % |
989.11/989.51 c | 1233101 | 900 60148 195295 | 62220 56593 76 | 0.000 % |
991.91/992.37 c | 1236728 | 900 60148 195295 | 62220 60220 77 | 0.000 % |
995.91/996.37 c | 1240715 | 900 60148 195295 | 53567 45782 74 | 0.000 % |
1001.11/1001.51 c | 1245100 | 900 60148 195295 | 53567 50167 77 | 0.000 % |
1006.61/1007.00 c | 1249923 | 900 60148 195295 | 53567 45745 79 | 0.000 % |
1012.31/1012.76 c | 1255230 | 900 60148 195295 | 45823 43041 80 | 0.000 % |
1018.21/1018.60 c | 1261068 | 900 60148 195295 | 40321 35000 77 | 0.000 % |
1024.31/1024.77 c | 1267487 | 900 60148 195295 | 40321 35788 79 | 0.000 % |
1031.00/1031.45 c | 1274547 | 900 60148 195295 | 38303 37411 80 | 0.000 % |
1039.01/1039.41 c | 1282312 | 900 60148 195295 | 37311 34341 83 | 0.000 % |
1046.40/1046.86 c | 1290852 | 900 60148 195295 | 36422 32161 87 | 0.000 % |
1052.20/1052.64 c | 1300246 | 900 60148 195295 | 2147483647 34249 84 | 0.000 % |
1061.00/1061.49 c | 1310579 | 900 60148 195295 | 44007 38593 79 | 0.000 % |
1071.49/1071.97 c | 1321945 | 900 60148 195295 | 42467 39216 82 | 0.000 % |
1071.59/1072.08 c | 1322047 | 900 60148 195295 | 42467 39318 82 | 0.000 % |
1071.79/1072.21 c | 1322158 | 900 60148 195295 | 42467 39429 82 | 0.000 % |
1071.89/1072.31 c | 1322279 | 900 60148 195295 | 42467 39550 82 | 0.000 % |
1071.89/1072.38 c | 1322412 | 900 60148 195295 | 42467 39683 82 | 0.000 % |
1072.00/1072.46 c | 1322558 | 900 60148 195295 | 42467 39829 82 | 0.000 % |
1072.10/1072.58 c | 1322720 | 900 60148 195295 | 42467 39991 82 | 0.000 % |
1072.29/1072.73 c | 1322896 | 900 60148 195295 | 42467 40167 82 | 0.000 % |
1072.39/1072.89 c | 1323089 | 900 60148 195295 | 42467 40360 82 | 0.000 % |
1072.59/1073.02 c | 1323302 | 900 60148 195295 | 42467 40573 82 | 0.000 % |
1072.79/1073.23 c | 1323536 | 900 60148 195295 | 42467 40807 82 | 0.000 % |
1072.99/1073.46 c | 1323792 | 900 60148 195295 | 42467 41063 83 | 0.000 % |
1073.19/1073.62 c | 1324074 | 900 60148 195295 | 42467 41345 82 | 0.000 % |
1073.49/1073.90 c | 1324386 | 900 60148 195295 | 42467 41657 83 | 0.000 % |
1073.69/1074.16 c | 1324727 | 900 60148 195295 | 42467 41998 83 | 0.000 % |
1073.99/1074.47 c | 1325101 | 900 60148 195295 | 42467 42372 83 | 0.000 % |
1074.29/1074.79 c | 1325511 | 900 60148 195295 | 42467 42782 83 | 0.000 % |
1074.79/1075.29 c | 1325963 | 900 60148 195295 | 42467 38217 81 | 0.000 % |
1075.19/1075.62 c | 1326456 | 900 60148 195295 | 42467 38710 82 | 0.000 % |
1075.59/1076.00 c | 1326998 | 900 60148 195295 | 42467 39252 82 | 0.000 % |
1075.99/1076.47 c | 1327594 | 900 60148 195295 | 42467 39848 82 | 0.000 % |
1076.69/1077.12 c | 1328251 | 900 60148 195295 | 42467 40505 82 | 0.000 % |
1077.29/1077.79 c | 1328971 | 900 60148 195295 | 42467 41225 82 | 0.000 % |
1077.99/1078.41 c | 1329765 | 900 60148 195295 | 42467 42019 82 | 0.000 % |
1078.79/1079.21 c | 1330637 | 900 60148 195295 | 42255 37758 82 | 0.000 % |
1079.39/1079.85 c | 1331596 | 900 60148 195295 | 42255 38717 82 | 0.000 % |
1080.30/1080.72 c | 1332649 | 900 60148 195295 | 42255 39770 82 | 0.000 % |
1081.29/1081.71 c | 1333807 | 900 60148 195295 | 42255 40928 82 | 0.000 % |
1082.39/1082.83 c | 1335082 | 900 60148 195295 | 42255 42203 82 | 0.000 % |
1083.59/1084.06 c | 1336484 | 900 60148 195295 | 42255 38593 82 | 0.000 % |
1085.39/1085.84 c | 1338025 | 900 60148 195295 | 42255 40134 83 | 0.000 % |
1086.99/1087.46 c | 1339722 | 900 60148 195295 | 42255 41831 84 | 0.000 % |
1088.60/1089.07 c | 1341586 | 900 60148 195295 | 42109 38106 86 | 0.000 % |
1090.49/1090.95 c | 1343637 | 900 60148 195295 | 42109 40157 87 | 0.000 % |
1092.79/1093.28 c | 1345891 | 900 60148 195295 | 42109 42411 88 | 0.000 % |
1095.09/1095.52 c | 1348370 | 900 60148 195295 | 42109 38546 85 | 0.000 % |
1097.79/1098.25 c | 1351095 | 900 60148 195295 | 40178 35258 83 | 0.000 % |
1100.69/1101.13 c | 1354093 | 900 60148 195295 | 40178 38256 85 | 0.000 % |
1103.89/1104.37 c | 1357393 | 900 60148 195295 | 40178 35367 85 | 0.000 % |
1106.88/1107.30 c | 1361019 | 900 60148 195295 | 37974 33708 86 | 0.000 % |
1111.08/1111.55 c | 1365006 | 900 60148 195295 | 37974 37695 89 | 0.000 % |
1116.09/1116.55 c | 1369391 | 900 60148 195295 | 37974 36415 90 | 0.000 % |
1120.58/1121.04 c | 1374218 | 900 60148 195295 | 37025 35072 88 | 0.000 % |
1125.38/1125.89 c | 1379523 | 900 60148 195295 | 37025 34172 88 | 0.000 % |
1130.78/1131.25 c | 1385361 | 900 60148 195295 | 34649 34703 92 | 0.000 % |
1137.38/1137.87 c | 1391779 | 900 60148 195295 | 35093 31960 91 | 0.000 % |
1144.58/1145.08 c | 1398838 | 900 60148 195295 | 35093 33882 90 | 0.000 % |
1153.48/1153.90 c | 1406607 | 900 60148 195295 | 35044 31500 91 | 0.000 % |
1162.07/1162.53 c | 1415147 | 900 60148 195295 | 34893 34812 90 | 0.000 % |
1170.87/1171.37 c | 1424541 | 900 60148 195295 | 34607 33663 90 | 0.000 % |
1183.37/1183.89 c | 1434874 | 900 60148 195295 | 34082 34174 91 | 0.000 % |
1194.36/1194.83 c | 1446241 | 900 60148 195295 | 30184 29379 90 | 0.000 % |
1200.06/1200.51 HOME/SatELiteGTI: line 36: 25042 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-1834103-1242828025/watcher-1834103-1242828025 -o /tmp/evaluation-result-1834103-1242828025/solver-1834103-1242828025 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834103-1242828025.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25036
/proc/meminfo: memFree=1929976/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0
/proc/25036/stat : 25036 (SatELiteGTI) R 25034 25036 24788 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 310829649 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406113779 0 0 4100 65536 0 0 0 17 0 0 0
/proc/25036/statm: 1339 237 197 169 0 50 0
[startup+0.0927591 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25036
/proc/meminfo: memFree=1929976/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310829649 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25036/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10276 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25036
/proc/meminfo: memFree=1929976/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310829649 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25036/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301781 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25036
/proc/meminfo: memFree=1929976/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5356
[startup+0.702821 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25036
/proc/meminfo: memFree=1929976/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5356
[startup+1.50189 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 25042
/proc/meminfo: memFree=1922792/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=7580 CPUtime=1.19
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 1762 0 0 0 119 0 0 0 25 0 1 0 310829678 7761920 1748 1992294400 134512640 135215339 4294956240 18446744073709551615 134721303 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 1895 1748 77 171 0 1722 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 12936
[startup+3.10104 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 25042
/proc/meminfo: memFree=1920680/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=9752 CPUtime=2.79
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 2339 0 0 0 279 0 0 0 25 0 1 0 310829678 9986048 2325 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 2438 2325 77 171 0 2265 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15108
[startup+6.30134 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 25042
/proc/meminfo: memFree=1916968/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=13164 CPUtime=5.99
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 3176 0 0 0 597 2 0 0 25 0 1 0 310829678 13479936 3162 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 3291 3162 77 171 0 3118 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 18520
[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 25042
/proc/meminfo: memFree=1911464/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=18128 CPUtime=12.39
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 4391 0 0 0 1236 3 0 0 25 0 1 0 310829678 18563072 4377 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 4532 4377 77 171 0 4359 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 23484
[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 25042
/proc/meminfo: memFree=1904816/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=24460 CPUtime=25.18
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 5967 0 0 0 2513 5 0 0 25 0 1 0 310829678 25047040 5953 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 6115 5953 77 171 0 5942 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 29816
[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 25048
/proc/meminfo: memFree=1902192/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=26704 CPUtime=50.77
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 6553 0 0 0 5070 7 0 0 25 0 1 0 310829678 27344896 6539 1992294400 134512640 135215339 4294956240 18446744073709551615 134538905 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 6676 6539 77 171 0 6503 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 32060
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 25048
/proc/meminfo: memFree=1902128/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=26704 CPUtime=101.95
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 6554 0 0 0 10187 8 0 0 25 0 1 0 310829678 27344896 6540 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 6676 6540 77 171 0 6503 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 32060
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25048
/proc/meminfo: memFree=1902064/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=26704 CPUtime=161.92
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 6554 0 0 0 16184 8 0 0 25 0 1 0 310829678 27344896 6540 1992294400 134512640 135215339 4294956240 18446744073709551615 134532758 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 6676 6540 77 171 0 6503 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 32060
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25048
/proc/meminfo: memFree=1901936/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=26704 CPUtime=221.91
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 6554 0 0 0 22182 9 0 0 25 0 1 0 310829678 27344896 6540 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 6676 6540 77 171 0 6503 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 32060
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25048
/proc/meminfo: memFree=1901872/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=26864 CPUtime=281.88
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 6561 0 0 0 28179 9 0 0 25 0 1 0 310829678 27508736 6547 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 6716 6547 77 171 0 6543 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 32220
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25048
/proc/meminfo: memFree=1900976/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=27524 CPUtime=341.85
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 6758 0 0 0 34176 9 0 0 25 0 1 0 310829678 28184576 6744 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 6881 6744 77 171 0 6708 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 32880
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25048
/proc/meminfo: memFree=1900336/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=28056 CPUtime=401.84
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 6884 0 0 0 40174 10 0 0 25 0 1 0 310829678 28729344 6870 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 7014 6870 77 171 0 6841 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 33412
[startup+462.302 s]
################
# More data... #
################
[pid=25042] ppid=25036 vsize=30604 CPUtime=521.8
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 7520 0 0 0 52169 11 0 0 25 0 1 0 310829678 31338496 7506 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 7651 7506 77 171 0 7478 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 35960
[startup+582.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25048
/proc/meminfo: memFree=1894576/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=33536 CPUtime=581.78
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 8245 0 0 0 58166 12 0 0 25 0 1 0 310829678 34340864 8231 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 8384 8231 77 171 0 8211 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 38892
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25048
/proc/meminfo: memFree=1894448/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=33536 CPUtime=641.77
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 8245 0 0 0 64165 12 0 0 25 0 1 0 310829678 34340864 8231 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 8384 8231 77 171 0 8211 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 38892
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25048
/proc/meminfo: memFree=1894384/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=33536 CPUtime=701.74
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 8245 0 0 0 70162 12 0 0 25 0 1 0 310829678 34340864 8231 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 8384 8231 77 171 0 8211 0
Current children cumulated CPU time (s) 702.01
Current children cumulated vsize (KiB) 38892
[startup+762.307 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25048
/proc/meminfo: memFree=1894320/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=33536 CPUtime=761.72
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 8245 0 0 0 76160 12 0 0 25 0 1 0 310829678 34340864 8231 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 8384 8231 77 171 0 8211 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 38892
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25048
/proc/meminfo: memFree=1894192/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=33536 CPUtime=821.7
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 8245 0 0 0 82157 13 0 0 25 0 1 0 310829678 34340864 8231 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 8384 8231 77 171 0 8211 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 38892
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25048
/proc/meminfo: memFree=1894064/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=33536 CPUtime=881.68
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 8245 0 0 0 88155 13 0 0 25 0 1 0 310829678 34340864 8231 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 8384 8231 77 171 0 8211 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 38892
[startup+942.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25048
/proc/meminfo: memFree=1893936/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=33536 CPUtime=941.66
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 8246 0 0 0 94153 13 0 0 25 0 1 0 310829678 34340864 8232 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 8384 8232 77 171 0 8211 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 38892
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25048
/proc/meminfo: memFree=1893936/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=33536 CPUtime=1001.64
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 8248 0 0 0 100151 13 0 0 25 0 1 0 310829678 34340864 8234 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 8384 8234 77 171 0 8211 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 38892
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25048
/proc/meminfo: memFree=1893808/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=33536 CPUtime=1061.63
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 8250 0 0 0 106150 13 0 0 25 0 1 0 310829678 34340864 8236 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 8384 8236 77 171 0 8211 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 38892
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25048
/proc/meminfo: memFree=1893680/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=33536 CPUtime=1121.61
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 8250 0 0 0 112147 14 0 0 25 0 1 0 310829678 34340864 8236 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 8384 8236 77 171 0 8211 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 38892
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25048
/proc/meminfo: memFree=1893616/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=33536 CPUtime=1181.6
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 8251 0 0 0 118146 14 0 0 25 0 1 0 310829678 34340864 8237 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 8384 8237 77 171 0 8211 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 38892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25048
/proc/meminfo: memFree=1893552/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=33536 CPUtime=1199.79
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 8251 0 0 0 119965 14 0 0 25 0 1 0 310829678 34340864 8237 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 8384 8237 77 171 0 8211 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 38892
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25048
/proc/meminfo: memFree=1893552/2055920 swapFree=4180684/4192956
[pid=25036] ppid=25034 vsize=5356 CPUtime=0.27
/proc/25036/stat : 25036 (SatELiteGTI) S 25034 25036 24788 0 -1 4194304 336 1625 0 0 0 0 26 1 16 0 1 0 310829649 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25036/statm: 1339 239 197 169 0 50 0
[pid=25042] ppid=25036 vsize=33536 CPUtime=1199.79
/proc/25042/stat : 25042 (minisat_static) R 25036 25036 24788 0 -1 4194304 8251 0 0 0 119965 14 0 0 25 0 1 0 310829678 34340864 8237 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25042/statm: 8384 8237 77 171 0 8211 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 38892
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.09
CPU user time (s): 1199.93
CPU system time (s): 0.165974
CPU usage (%): 99.9653
Max. virtual memory (cumulated for all children) (KiB): 38892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.93
system time used= 0.165974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10219
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= 16
involuntary context switches= 4849
runsolver used 1.45078 second user time and 3.04354 second system time
The end
Begin job on node61 at 2009-05-20 16:00:25
IDJOB=1834103
IDBENCH=71365
IDSOLVER=671
FILE ID=node61/1834103-1242828025
PBS_JOBID= 9322549
Free space on /tmp= 66280 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v945c61409gyes4.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834103-1242828025/watcher-1834103-1242828025 -o /tmp/evaluation-result-1834103-1242828025/solver-1834103-1242828025 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834103-1242828025.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= df9c42090e37db3e7c6222a93cb90a4d
RANDOM SEED=1045696841
node61.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.216
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.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1930528 kB
Buffers: 17888 kB
Cached: 68004 kB
SwapCached: 6724 kB
Active: 38948 kB
Inactive: 55460 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1930528 kB
SwapTotal: 4192956 kB
SwapFree: 4180684 kB
Dirty: 2300 kB
Writeback: 0 kB
Mapped: 13428 kB
Slab: 17200 kB
Committed_AS: 1051724 kB
PageTables: 1384 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264884 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66276 MiB
End job on node61 at 2009-05-20 16:20:28