0.00/0.01 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 18000 90000 | 5399 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 900 #clauses: 18000 #literals: 90000
0.00/0.02 c CPU time: 0.017997 s
0.00/0.02 c ==============================================================================
0.00/0.05 c This is MiniSat 2.0 beta
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c ============================[ Problem Statistics ]=============================
0.00/0.05 c | |
0.00/0.05 c | Number of variables: 900 |
0.00/0.05 c | Number of clauses: 18000 |
0.00/0.06 c | Parsing time: 0.01 s |
0.00/0.06 c ============================[ Search Statistics ]==============================
0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.06 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.06 c ===============================================================================
0.00/0.06 c | 0 | 900 18000 90000 | 6000 0 nan | 0.000 % |
0.00/0.08 c | 100 | 900 18000 90000 | 6000 100 117 | 0.000 % |
0.00/0.09 c | 200 | 900 18000 90000 | 6000 200 117 | 0.000 % |
0.04/0.10 c | 300 | 900 18000 90000 | 6000 300 113 | 0.000 % |
0.04/0.11 c | 410 | 900 18000 90000 | 6000 410 110 | 0.000 % |
0.04/0.12 c | 510 | 900 18000 90000 | 6000 510 110 | 0.000 % |
0.04/0.13 c | 621 | 900 18000 90000 | 6000 621 107 | 0.000 % |
0.04/0.14 c | 742 | 900 18000 90000 | 6000 742 107 | 0.000 % |
0.04/0.15 c | 844 | 900 18000 90000 | 6000 844 106 | 0.000 % |
0.04/0.17 c | 954 | 900 18000 90000 | 6000 954 106 | 0.000 % |
0.04/0.18 c | 1077 | 900 18000 90000 | 6000 1077 106 | 0.000 % |
0.04/0.19 c | 1210 | 900 18000 90000 | 6000 1210 108 | 0.000 % |
0.04/0.20 c | 1310 | 900 18000 90000 | 6000 1310 108 | 0.000 % |
0.04/0.21 c | 1420 | 900 18000 90000 | 6000 1420 107 | 0.000 % |
0.04/0.23 c | 1543 | 900 18000 90000 | 6000 1543 107 | 0.000 % |
0.04/0.24 c | 1677 | 900 18000 90000 | 6000 1677 106 | 0.000 % |
0.04/0.26 c | 1823 | 900 18000 90000 | 6000 1823 106 | 0.000 % |
0.04/0.27 c | 1924 | 900 18000 90000 | 6000 1924 107 | 0.000 % |
0.04/0.28 c | 2034 | 900 18000 90000 | 6000 2034 107 | 0.000 % |
0.04/0.29 c | 2155 | 900 18000 90000 | 6000 2155 107 | 0.000 % |
0.04/0.31 c | 2290 | 900 18000 90000 | 6000 2290 107 | 0.000 % |
0.04/0.33 c | 2437 | 900 18000 90000 | 6000 2437 107 | 0.000 % |
0.04/0.34 c | 2597 | 900 18000 90000 | 6000 2597 108 | 0.000 % |
0.04/0.36 c | 2697 | 900 18000 90000 | 6000 2697 108 | 0.000 % |
0.04/0.37 c | 2807 | 900 18000 90000 | 6000 2807 108 | 0.000 % |
0.04/0.39 c | 2928 | 900 18000 90000 | 6000 2928 108 | 0.000 % |
0.04/0.40 c | 3063 | 900 18000 90000 | 6000 3063 109 | 0.000 % |
0.04/0.42 c | 3211 | 900 18000 90000 | 6000 3211 109 | 0.000 % |
0.04/0.44 c | 3372 | 900 18000 90000 | 6000 3372 110 | 0.000 % |
0.04/0.46 c | 3548 | 900 18000 90000 | 6000 3548 110 | 0.000 % |
0.04/0.47 c | 3648 | 900 18000 90000 | 6000 3648 110 | 0.000 % |
0.04/0.48 c | 3759 | 900 18000 90000 | 6000 3759 109 | 0.000 % |
0.04/0.50 c | 3883 | 900 18000 90000 | 6000 3883 110 | 0.000 % |
0.04/0.52 c | 4017 | 900 18000 90000 | 6000 4017 110 | 0.000 % |
0.04/0.53 c | 4163 | 900 18000 90000 | 6000 4163 110 | 0.000 % |
0.04/0.55 c | 4323 | 900 18000 90000 | 6000 4323 110 | 0.000 % |
0.04/0.57 c | 4499 | 900 18000 90000 | 6000 4499 111 | 0.000 % |
0.04/0.60 c | 4694 | 900 18000 90000 | 6000 4694 111 | 0.000 % |
0.04/0.61 c | 4795 | 900 18000 90000 | 6000 4795 111 | 0.000 % |
0.04/0.62 c | 4906 | 900 18000 90000 | 6000 4906 110 | 0.000 % |
0.04/0.64 c | 5027 | 900 18000 90000 | 6000 5027 110 | 0.000 % |
0.04/0.66 c | 5162 | 900 18000 90000 | 6000 5162 111 | 0.000 % |
0.04/0.68 c | 5309 | 900 18000 90000 | 6000 5309 111 | 0.000 % |
0.04/0.70 c | 5470 | 900 18000 90000 | 6000 5470 111 | 0.000 % |
0.04/0.72 c | 5646 | 900 18000 90000 | 6000 5646 112 | 0.000 % |
0.04/0.74 c | 5839 | 900 18000 90000 | 6000 5839 112 | 0.000 % |
0.04/0.77 c | 6053 | 900 18000 90000 | 6000 6053 112 | 0.000 % |
0.04/0.79 c | 6153 | 900 18000 90000 | 6000 5548 111 | 0.000 % |
0.04/0.80 c | 6263 | 900 18000 90000 | 6000 5658 111 | 0.000 % |
0.04/0.82 c | 6385 | 900 18000 90000 | 6000 5780 111 | 0.000 % |
0.04/0.83 c | 6518 | 900 18000 90000 | 6000 5913 111 | 0.000 % |
0.04/0.85 c | 6666 | 900 18000 90000 | 6000 6061 111 | 0.000 % |
0.04/0.87 c | 6828 | 900 18000 90000 | 6000 5617 111 | 0.000 % |
0.04/0.90 c | 7005 | 900 18000 90000 | 6000 5794 111 | 0.000 % |
0.04/0.92 c | 7201 | 900 18000 90000 | 6000 5990 111 | 0.000 % |
0.04/0.95 c | 7413 | 900 18000 90000 | 6000 6202 111 | 0.000 % |
0.04/0.98 c | 7646 | 900 18000 90000 | 6000 5815 112 | 0.000 % |
0.04/0.99 c | 7748 | 900 18000 90000 | 6000 5917 112 | 0.000 % |
0.98/1.01 c | 7858 | 900 18000 90000 | 6000 6027 112 | 0.000 % |
0.98/1.02 c | 7979 | 900 18000 90000 | 6000 5546 112 | 0.000 % |
0.98/1.04 c | 8114 | 900 18000 90000 | 6000 5681 112 | 0.000 % |
0.98/1.06 c | 8262 | 900 18000 90000 | 6000 5829 112 | 0.000 % |
0.98/1.08 c | 8422 | 900 18000 90000 | 6000 5989 112 | 0.000 % |
0.98/1.10 c | 8599 | 900 18000 90000 | 6000 6166 112 | 0.000 % |
1.08/1.13 c | 8793 | 900 18000 90000 | 6000 5744 112 | 0.000 % |
1.08/1.15 c | 9008 | 900 18000 90000 | 6000 5959 112 | 0.000 % |
1.08/1.18 c | 9243 | 900 18000 90000 | 6000 6194 113 | 0.000 % |
1.17/1.22 c | 9500 | 900 18000 90000 | 6000 5832 113 | 0.000 % |
1.17/1.23 c | 9602 | 900 18000 90000 | 6000 5934 113 | 0.000 % |
1.17/1.24 c | 9712 | 900 18000 90000 | 6000 6044 113 | 0.000 % |
1.17/1.26 c | 9835 | 900 18000 90000 | 6000 5563 113 | 0.000 % |
1.17/1.28 c | 9968 | 900 18000 90000 | 6000 5696 112 | 0.000 % |
1.17/1.30 c | 10116 | 900 18000 90000 | 2147483647 5844 113 | 0.000 % |
1.27/1.32 c | 10277 | 900 18000 90000 | 2147483647 6005 113 | 0.000 % |
1.27/1.34 c | 10455 | 900 18000 90000 | 2147483647 6183 113 | 0.000 % |
1.27/1.36 c | 10649 | 900 18000 90000 | 2147483647 6377 112 | 0.000 % |
1.27/1.39 c | 10861 | 900 18000 90000 | 2147483647 6589 112 | 0.000 % |
1.37/1.42 c | 11094 | 900 18000 90000 | 2147483647 6822 112 | 0.000 % |
1.37/1.46 c | 11350 | 900 18000 90000 | 2147483647 7078 113 | 0.000 % |
1.37/1.49 c | 11631 | 900 18000 90000 | 2147483647 7359 113 | 0.000 % |
1.47/1.51 c | 11732 | 900 18000 90000 | 2147483647 7460 113 | 0.000 % |
1.47/1.52 c | 11842 | 900 18000 90000 | 2147483647 7570 113 | 0.000 % |
1.47/1.54 c | 11963 | 900 18000 90000 | 2147483647 7691 112 | 0.000 % |
1.47/1.56 c | 12096 | 900 18000 90000 | 2147483647 7824 112 | 0.000 % |
1.47/1.58 c | 12242 | 900 18000 90000 | 2147483647 7970 112 | 0.000 % |
1.57/1.61 c | 12403 | 900 18000 90000 | 2147483647 8131 112 | 0.000 % |
1.57/1.63 c | 12579 | 900 18000 90000 | 2147483647 8307 112 | 0.000 % |
1.57/1.66 c | 12772 | 900 18000 90000 | 2147483647 8500 113 | 0.000 % |
1.57/1.69 c | 12984 | 900 18000 90000 | 2147483647 8712 113 | 0.000 % |
1.67/1.73 c | 13217 | 900 18000 90000 | 2147483647 8945 113 | 0.000 % |
1.67/1.76 c | 13474 | 900 18000 90000 | 2147483647 9202 114 | 0.000 % |
1.77/1.81 c | 13756 | 900 18000 90000 | 2147483647 9484 114 | 0.000 % |
1.77/1.85 c | 14065 | 900 18000 90000 | 2147483647 9793 113 | 0.000 % |
1.77/1.87 c | 14165 | 900 18000 90000 | 2147483647 9893 113 | 0.000 % |
1.77/1.89 c | 14276 | 900 18000 90000 | 2147483647 10004 113 | 0.000 % |
1.87/1.90 c | 14399 | 900 18000 90000 | 2147483647 10127 113 | 0.000 % |
1.87/1.92 c | 14532 | 900 18000 90000 | 2147483647 10260 114 | 0.000 % |
1.87/1.95 c | 14679 | 900 18000 90000 | 2147483647 10407 113 | 0.000 % |
1.87/1.98 c | 14839 | 900 18000 90000 | 2147483647 10567 114 | 0.000 % |
1.97/2.00 c | 15015 | 900 18000 90000 | 2147483647 10743 114 | 0.000 % |
1.97/2.04 c | 15210 | 900 18000 90000 | 2147483647 10938 113 | 0.000 % |
1.97/2.07 c | 15424 | 900 18000 90000 | 2147483647 11152 114 | 0.000 % |
2.07/2.11 c | 15657 | 900 18000 90000 | 2147483647 11385 114 | 0.000 % |
2.07/2.15 c | 15913 | 900 18000 90000 | 2147483647 11641 114 | 0.000 % |
2.07/2.20 c | 16195 | 900 18000 90000 | 2147483647 11923 113 | 0.000 % |
2.17/2.24 c | 16504 | 900 18000 90000 | 2147483647 12232 113 | 0.000 % |
2.27/2.30 c | 16843 | 900 18000 90000 | 2147483647 12571 114 | 0.000 % |
2.27/2.32 c | 16946 | 900 18000 90000 | 2147483647 12674 114 | 0.000 % |
2.27/2.34 c | 17058 | 900 18000 90000 | 2147483647 12786 114 | 0.000 % |
2.27/2.37 c | 17179 | 900 18000 90000 | 2147483647 12907 114 | 0.000 % |
2.27/2.39 c | 17312 | 900 18000 90000 | 2147483647 13040 114 | 0.000 % |
2.37/2.41 c | 17459 | 900 18000 90000 | 2147483647 13187 114 | 0.000 % |
2.37/2.44 c | 17619 | 900 18000 90000 | 2147483647 13347 114 | 0.000 % |
2.37/2.47 c | 17796 | 900 18000 90000 | 2147483647 13524 114 | 0.000 % |
2.47/2.51 c | 17991 | 900 18000 90000 | 2147483647 13719 114 | 0.000 % |
2.47/2.54 c | 18203 | 900 18000 90000 | 2147483647 13931 114 | 0.000 % |
2.47/2.59 c | 18436 | 900 18000 90000 | 2147483647 14164 114 | 0.000 % |
2.58/2.64 c | 18692 | 900 18000 90000 | 2147483647 14420 114 | 0.000 % |
2.58/2.69 c | 18974 | 900 18000 90000 | 2147483647 14702 114 | 0.000 % |
2.68/2.75 c | 19284 | 900 18000 90000 | 2147483647 15012 114 | 0.000 % |
2.78/2.81 c | 19623 | 900 18000 90000 | 2147483647 15351 115 | 0.000 % |
2.78/2.88 c | 19997 | 900 18000 90000 | 2147483647 15725 115 | 0.000 % |
2.78/2.89 c | 20098 | 900 18000 90000 | 2147483647 15826 115 | 0.000 % |
2.88/2.92 c | 20208 | 900 18000 90000 | 2147483647 15936 115 | 0.000 % |
2.88/2.95 c | 20330 | 900 18000 90000 | 2147483647 16058 115 | 0.000 % |
2.88/2.97 c | 20463 | 900 18000 90000 | 2147483647 16191 115 | 0.000 % |
2.98/3.01 c | 20610 | 900 18000 90000 | 2147483647 16338 114 | 0.000 % |
2.98/3.04 c | 20770 | 900 18000 90000 | 2147483647 16498 115 | 0.000 % |
2.98/3.07 c | 20946 | 900 18000 90000 | 2147483647 16674 115 | 0.000 % |
3.08/3.11 c | 21141 | 900 18000 90000 | 2147483647 16869 115 | 0.000 % |
3.08/3.15 c | 21355 | 900 18000 90000 | 2147483647 17083 115 | 0.000 % |
3.18/3.20 c | 21588 | 900 18000 90000 | 2147483647 17316 115 | 0.000 % |
3.18/3.26 c | 21845 | 900 18000 90000 | 2147483647 17573 115 | 0.000 % |
3.28/3.32 c | 22128 | 900 18000 90000 | 2147483647 17856 115 | 0.000 % |
3.28/3.38 c | 22438 | 900 18000 90000 | 2147483647 18166 115 | 0.000 % |
3.38/3.45 c | 22778 | 900 18000 90000 | 2147483647 18506 115 | 0.000 % |
3.48/3.52 c | 23151 | 900 18000 90000 | 2147483647 18879 115 | 0.000 % |
3.58/3.61 c | 23560 | 900 18000 90000 | 2147483647 19288 116 | 0.000 % |
3.58/3.64 c | 23661 | 900 18000 90000 | 2147483647 19389 115 | 0.000 % |
3.58/3.66 c | 23771 | 900 18000 90000 | 2147483647 19499 115 | 0.000 % |
3.58/3.69 c | 23893 | 900 18000 90000 | 2147483647 19621 115 | 0.000 % |
3.68/3.72 c | 24027 | 900 18000 90000 | 2147483647 19755 115 | 0.000 % |
3.68/3.76 c | 24173 | 900 18000 90000 | 2147483647 19901 115 | 0.000 % |
3.68/3.79 c | 24334 | 900 18000 90000 | 2147483647 20062 115 | 0.000 % |
3.78/3.83 c | 24510 | 900 18000 90000 | 2147483647 20238 115 | 0.000 % |
3.78/3.88 c | 24704 | 900 18000 90000 | 2147483647 20432 115 | 0.000 % |
3.88/3.93 c | 24917 | 900 18000 90000 | 2147483647 20645 115 | 0.000 % |
3.88/3.99 c | 25151 | 900 18000 90000 | 2147483647 20879 115 | 0.000 % |
3.98/4.05 c | 25407 | 900 18000 90000 | 2147483647 21135 115 | 0.000 % |
4.07/4.12 c | 25689 | 900 18000 90000 | 2147483647 21417 116 | 0.000 % |
4.07/4.19 c | 26002 | 900 18000 90000 | 2147483647 21730 116 | 0.000 % |
4.17/4.27 c | 26341 | 900 18000 90000 | 2147483647 22069 116 | 0.000 % |
4.28/4.36 c | 26714 | 900 18000 90000 | 2147483647 22442 116 | 0.000 % |
4.38/4.45 c | 27123 | 900 18000 90000 | 2147483647 22851 116 | 0.000 % |
4.47/4.57 c | 27572 | 900 18000 90000 | 2147483647 23300 116 | 0.000 % |
4.57/4.60 c | 27673 | 900 18000 90000 | 2147483647 23401 116 | 0.000 % |
4.57/4.63 c | 27786 | 900 18000 90000 | 2147483647 23514 116 | 0.000 % |
4.57/4.67 c | 27907 | 900 18000 90000 | 2147483647 23635 116 | 0.000 % |
4.67/4.70 c | 28040 | 900 18000 90000 | 2147483647 23768 116 | 0.000 % |
4.67/4.74 c | 28186 | 900 18000 90000 | 2147483647 23914 116 | 0.000 % |
4.67/4.79 c | 28348 | 900 18000 90000 | 2147483647 24076 116 | 0.000 % |
4.77/4.83 c | 28525 | 900 18000 90000 | 2147483647 24253 116 | 0.000 % |
4.77/4.89 c | 28718 | 900 18000 90000 | 2147483647 24446 116 | 0.000 % |
4.87/4.95 c | 28930 | 900 18000 90000 | 2147483647 24658 116 | 0.000 % |
4.97/5.00 c | 29164 | 900 18000 90000 | 2147483647 24892 116 | 0.000 % |
4.97/5.07 c | 29420 | 900 18000 90000 | 2147483647 25148 116 | 0.000 % |
5.07/5.14 c | 29701 | 900 18000 90000 | 2147483647 25429 116 | 0.000 % |
5.17/5.23 c | 30010 | 900 18000 90000 | 2147483647 25738 116 | 0.000 % |
5.27/5.32 c | 30349 | 900 18000 90000 | 2147483647 26077 116 | 0.000 % |
5.38/5.42 c | 30722 | 900 18000 90000 | 2147483647 26450 116 | 0.000 % |
5.48/5.54 c | 31132 | 900 18000 90000 | 2147483647 26860 116 | 0.000 % |
5.58/5.66 c | 31581 | 900 18000 90000 | 2147483647 27309 116 | 0.000 % |
5.78/5.80 c | 32074 | 900 18000 90000 | 2147483647 27802 116 | 0.000 % |
5.78/5.84 c | 32174 | 900 18000 90000 | 2147483647 27902 116 | 0.000 % |
5.78/5.87 c | 32285 | 900 18000 90000 | 2147483647 28013 116 | 0.000 % |
5.88/5.91 c | 32408 | 900 18000 90000 | 2147483647 28136 116 | 0.000 % |
5.88/5.95 c | 32542 | 900 18000 90000 | 2147483647 28270 116 | 0.000 % |
5.98/6.00 c | 32688 | 900 18000 90000 | 2147483647 28416 116 | 0.000 % |
5.98/6.05 c | 32848 | 900 18000 90000 | 2147483647 28576 116 | 0.000 % |
6.08/6.10 c | 33024 | 900 18000 90000 | 2147483647 28752 116 | 0.000 % |
6.08/6.17 c | 33220 | 900 18000 90000 | 2147483647 28948 116 | 0.000 % |
6.18/6.23 c | 33432 | 900 18000 90000 | 2147483647 29160 116 | 0.000 % |
6.18/6.29 c | 33665 | 900 18000 90000 | 2147483647 29393 116 | 0.000 % |
6.28/6.37 c | 33921 | 900 18000 90000 | 2147483647 29649 116 | 0.000 % |
6.37/6.46 c | 34204 | 900 18000 90000 | 2147483647 29932 116 | 0.000 % |
6.48/6.55 c | 34513 | 900 18000 90000 | 2147483647 30241 116 | 0.000 % |
6.58/6.66 c | 34852 | 900 18000 90000 | 2147483647 30580 116 | 0.000 % |
6.67/6.77 c | 35224 | 900 18000 90000 | 2147483647 30952 116 | 0.000 % |
6.87/6.90 c | 35633 | 900 18000 90000 | 2147483647 31361 116 | 0.000 % |
6.97/7.04 c | 36082 | 900 18000 90000 | 2147483647 31810 116 | 0.000 % |
7.18/7.20 c | 36575 | 900 18000 90000 | 2147483647 32303 116 | 0.000 % |
7.28/7.38 c | 37117 | 900 18000 90000 | 2147483647 32845 116 | 0.000 % |
7.38/7.42 c | 37217 | 900 18000 90000 | 2147483647 32945 116 | 0.000 % |
7.38/7.46 c | 37327 | 900 18000 90000 | 2147483647 33055 116 | 0.000 % |
7.48/7.50 c | 37448 | 900 18000 90000 | 2147483647 33176 116 | 0.000 % |
7.48/7.54 c | 37581 | 900 18000 90000 | 2147483647 33309 116 | 0.000 % |
7.48/7.60 c | 37728 | 900 18000 90000 | 2147483647 33456 116 | 0.000 % |
7.58/7.66 c | 37888 | 900 18000 90000 | 2147483647 33616 116 | 0.000 % |
7.68/7.72 c | 38064 | 900 18000 90000 | 2147483647 33792 116 | 0.000 % |
7.78/7.80 c | 38257 | 900 18000 90000 | 2147483647 33985 116 | 0.000 % |
7.78/7.87 c | 38469 | 900 18000 90000 | 2147483647 34197 116 | 0.000 % |
7.88/7.95 c | 38703 | 900 18000 90000 | 2147483647 34431 116 | 0.000 % |
7.97/8.04 c | 38959 | 900 18000 90000 | 2147483647 34687 116 | 0.000 % |
8.07/8.14 c | 39241 | 900 18000 90000 | 2147483647 34969 116 | 0.000 % |
8.17/8.24 c | 39551 | 900 18000 90000 | 2147483647 35279 116 | 0.000 % |
8.27/8.37 c | 39891 | 900 18000 90000 | 2147483647 35619 116 | 0.000 % |
8.47/8.50 c | 40264 | 900 18000 90000 | 2147483647 35992 116 | 0.000 % |
8.57/8.65 c | 40675 | 900 18000 90000 | 2147483647 36403 116 | 0.000 % |
8.67/8.80 c | 41124 | 900 18000 90000 | 2147483647 36852 116 | 0.000 % |
8.87/8.97 c | 41617 | 900 18000 90000 | 2147483647 37345 116 | 0.000 % |
9.07/9.16 c | 42159 | 900 18000 90000 | 2147483647 37887 116 | 0.000 % |
9.27/9.37 c | 42756 | 900 18000 90000 | 2147483647 38484 117 | 0.000 % |
9.38/9.40 c | 42858 | 900 18000 90000 | 2147483647 38586 116 | 0.000 % |
9.38/9.45 c | 42968 | 900 18000 90000 | 2147483647 38696 116 | 0.000 % |
9.48/9.50 c | 43091 | 900 18000 90000 | 2147483647 38819 116 | 0.000 % |
9.48/9.57 c | 43224 | 900 18000 90000 | 2147483647 38952 116 | 0.000 % |
9.57/9.63 c | 43371 | 900 18000 90000 | 2147483647 39099 116 | 0.000 % |
9.57/9.69 c | 43534 | 900 18000 90000 | 2147483647 39262 116 | 0.000 % |
9.67/9.77 c | 43712 | 900 18000 90000 | 2147483647 39440 116 | 0.000 % |
9.78/9.85 c | 43905 | 900 18000 90000 | 2147483647 39633 116 | 0.000 % |
9.88/9.94 c | 44118 | 900 18000 90000 | 2147483647 39846 116 | 0.000 % |
9.97/10.03 c | 44351 | 900 18000 90000 | 2147483647 40079 116 | 0.000 % |
10.07/10.13 c | 44607 | 900 18000 90000 | 2147483647 40335 117 | 0.000 % |
10.17/10.25 c | 44888 | 900 18000 90000 | 2147483647 40616 117 | 0.000 % |
10.27/10.36 c | 45197 | 900 18000 90000 | 2147483647 40925 117 | 0.000 % |
10.37/10.49 c | 45539 | 900 18000 90000 | 2147483647 41267 117 | 0.000 % |
10.57/10.65 c | 45911 | 900 18000 90000 | 2147483647 41639 117 | 0.000 % |
10.77/10.80 c | 46323 | 900 18000 90000 | 2147483647 42051 117 | 0.000 % |
10.87/10.98 c | 46772 | 900 18000 90000 | 2147483647 42500 117 | 0.000 % |
11.07/11.16 c | 47265 | 900 18000 90000 | 2147483647 42993 117 | 0.000 % |
11.27/11.36 c | 47809 | 900 18000 90000 | 2147483647 43537 117 | 0.000 % |
11.57/11.60 c | 48407 | 900 18000 90000 | 2147483647 44135 117 | 0.000 % |
11.77/11.87 c | 49062 | 900 18000 90000 | 2147483647 44790 117 | 0.000 % |
11.87/11.93 c | 49163 | 900 18000 90000 | 2147483647 44891 117 | 0.000 % |
11.87/11.98 c | 49273 | 900 18000 90000 | 2147483647 45001 117 | 0.000 % |
11.97/12.04 c | 49395 | 900 18000 90000 | 2147483647 45123 117 | 0.000 % |
11.97/12.10 c | 49530 | 900 18000 90000 | 2147483647 45258 117 | 0.000 % |
12.07/12.17 c | 49677 | 900 18000 90000 | 2147483647 45405 117 | 0.000 % |
12.17/12.24 c | 49838 | 900 18000 90000 | 2147483647 45566 117 | 0.000 % |
12.27/12.31 c | 50014 | 900 18000 90000 | 2147483647 45742 117 | 0.000 % |
12.37/12.41 c | 50207 | 900 18000 90000 | 2147483647 45935 117 | 0.000 % |
12.47/12.50 c | 50420 | 900 18000 90000 | 2147483647 46148 117 | 0.000 % |
12.57/12.62 c | 50654 | 900 18000 90000 | 2147483647 46382 117 | 0.000 % |
12.67/12.71 c | 50910 | 900 18000 90000 | 2147483647 46638 117 | 0.000 % |
12.77/12.85 c | 51192 | 900 18000 90000 | 2147483647 46920 117 | 0.000 % |
12.87/12.98 c | 51502 | 900 18000 90000 | 2147483647 47230 117 | 0.000 % |
13.08/13.14 c | 51841 | 900 18000 90000 | 2147483647 47569 117 | 0.000 % |
13.27/13.31 c | 52215 | 900 18000 90000 | 2147483647 47943 117 | 0.000 % |
13.37/13.48 c | 52624 | 900 18000 90000 | 2147483647 48352 117 | 0.000 % |
13.57/13.66 c | 53073 | 900 18000 90000 | 2147483647 48801 117 | 0.000 % |
13.77/13.88 c | 53566 | 900 18000 90000 | 2147483647 49294 117 | 0.000 % |
14.07/14.12 c | 54109 | 900 18000 90000 | 2147483647 49837 117 | 0.000 % |
14.37/14.40 c | 54707 | 900 18000 90000 | 2147483647 50435 117 | 0.000 % |
14.67/14.70 c | 55362 | 900 18000 90000 | 2147483647 51090 117 | 0.000 % |
14.97/15.03 c | 56082 | 900 18000 90000 | 2147483647 51810 117 | 0.000 % |
14.97/15.09 c | 56183 | 900 18000 90000 | 2147483647 51911 117 | 0.000 % |
15.07/15.14 c | 56293 | 900 18000 90000 | 2147483647 52021 117 | 0.000 % |
15.17/15.21 c | 56414 | 900 18000 90000 | 2147483647 52142 117 | 0.000 % |
15.17/15.27 c | 56547 | 900 18000 90000 | 2147483647 52275 117 | 0.000 % |
15.27/15.36 c | 56693 | 900 18000 90000 | 2147483647 52421 117 | 0.000 % |
15.37/15.45 c | 56853 | 900 18000 90000 | 2147483647 52581 117 | 0.000 % |
15.46/15.55 c | 57030 | 900 18000 90000 | 2147483647 52758 117 | 0.000 % |
15.56/15.67 c | 57224 | 900 18000 90000 | 2147483647 52952 117 | 0.000 % |
15.66/15.78 c | 57438 | 900 18000 90000 | 2147483647 53166 117 | 0.000 % |
15.76/15.89 c | 57671 | 900 18000 90000 | 2147483647 53399 117 | 0.000 % |
15.96/16.02 c | 57928 | 900 18000 90000 | 2147483647 53656 117 | 0.000 % |
16.06/16.16 c | 58212 | 900 18000 90000 | 2147483647 53940 117 | 0.000 % |
16.26/16.31 c | 58521 | 900 18000 90000 | 2147483647 54249 117 | 0.000 % |
16.37/16.47 c | 58860 | 900 18000 90000 | 2147483647 54588 117 | 0.000 % |
16.56/16.66 c | 59233 | 900 18000 90000 | 2147483647 54961 117 | 0.000 % |
16.76/16.87 c | 59642 | 900 18000 90000 | 2147483647 55370 117 | 0.000 % |
16.96/17.09 c | 60094 | 900 18000 90000 | 2147483647 55822 117 | 0.000 % |
17.26/17.37 c | 60587 | 900 18000 90000 | 2147483647 56315 117 | 0.000 % |
17.56/17.68 c | 61129 | 900 18000 90000 | 2147483647 56857 117 | 0.000 % |
17.87/17.99 c | 61726 | 900 18000 90000 | 2147483647 57454 117 | 0.000 % |
18.27/18.32 c | 62382 | 900 18000 90000 | 2147483647 58110 117 | 0.000 % |
18.57/18.67 c | 63102 | 900 18000 90000 | 2147483647 58830 117 | 0.000 % |
18.97/19.07 c | 63896 | 900 18000 90000 | 2147483647 59624 117 | 0.000 % |
19.06/19.13 c | 63998 | 900 18000 90000 | 2147483647 59726 117 | 0.000 % |
19.06/19.19 c | 64109 | 900 18000 90000 | 2147483647 59837 117 | 0.000 % |
19.16/19.25 c | 64230 | 900 18000 90000 | 2147483647 59958 117 | 0.000 % |
19.26/19.32 c | 64363 | 900 18000 90000 | 2147483647 60091 117 | 0.000 % |
19.36/19.41 c | 64510 | 900 18000 90000 | 2147483647 60238 117 | 0.000 % |
19.46/19.53 c | 64672 | 900 18000 90000 | 2147483647 60400 117 | 0.000 % |
19.56/19.63 c | 64850 | 900 18000 90000 | 2147483647 60578 117 | 0.000 % |
19.67/19.74 c | 65044 | 900 18000 90000 | 2147483647 60772 117 | 0.000 % |
19.77/19.88 c | 65257 | 900 18000 90000 | 2147483647 60985 117 | 0.000 % |
19.96/20.02 c | 65490 | 900 18000 90000 | 2147483647 61218 117 | 0.000 % |
20.06/20.15 c | 65747 | 900 18000 90000 | 2147483647 61475 117 | 0.000 % |
20.26/20.30 c | 66029 | 900 18000 90000 | 2147483647 61757 117 | 0.000 % |
20.46/20.51 c | 66340 | 900 18000 90000 | 2147483647 62068 117 | 0.000 % |
20.66/20.70 c | 66679 | 900 18000 90000 | 2147483647 62407 117 | 0.000 % |
20.86/20.90 c | 67053 | 900 18000 90000 | 2147483647 62781 118 | 0.000 % |
21.06/21.15 c | 67462 | 900 18000 90000 | 2147483647 63190 118 | 0.000 % |
21.36/21.43 c | 67912 | 900 18000 90000 | 2147483647 63640 118 | 0.000 % |
21.66/21.71 c | 68405 | 900 18000 90000 | 2147483647 64133 118 | 0.000 % |
21.87/21.99 c | 68950 | 900 18000 90000 | 2147483647 64678 118 | 0.000 % |
22.26/22.34 c | 69546 | 900 18000 90000 | 2147483647 65274 118 | 0.000 % |
22.66/22.71 c | 70205 | 900 18000 90000 | 2147483647 65933 118 | 0.000 % |
23.06/23.13 c | 70926 | 900 18000 90000 | 2147483647 66654 118 | 0.000 % |
23.57/23.61 c | 71721 | 900 18000 90000 | 2147483647 67449 118 | 0.000 % |
24.07/24.14 c | 72593 | 900 18000 90000 | 2147483647 68321 118 | 0.000 % |
24.17/24.22 c | 72695 | 900 18000 90000 | 2147483647 68423 118 | 0.000 % |
24.17/24.29 c | 72805 | 900 18000 90000 | 2147483647 68533 118 | 0.000 % |
24.26/24.37 c | 72926 | 900 18000 90000 | 2147483647 68654 118 | 0.000 % |
24.36/24.46 c | 73059 | 900 18000 90000 | 2147483647 68787 118 | 0.000 % |
24.46/24.58 c | 73205 | 900 18000 90000 | 2147483647 68933 118 | 0.000 % |
24.56/24.68 c | 73366 | 900 18000 90000 | 2147483647 69094 118 | 0.000 % |
24.76/24.81 c | 73542 | 900 18000 90000 | 2147483647 69270 118 | 0.000 % |
24.86/24.95 c | 73736 | 900 18000 90000 | 2147483647 69464 118 | 0.000 % |
24.96/25.09 c | 73950 | 900 18000 90000 | 2147483647 69678 118 | 0.000 % |
25.16/25.23 c | 74183 | 900 18000 90000 | 2147483647 69911 118 | 0.000 % |
25.36/25.40 c | 74439 | 900 18000 90000 | 2147483647 70167 118 | 0.000 % |
25.46/25.59 c | 74720 | 900 18000 90000 | 2147483647 70448 118 | 0.000 % |
25.66/25.77 c | 75029 | 900 18000 90000 | 2147483647 70757 118 | 0.000 % |
25.96/26.01 c | 75369 | 900 18000 90000 | 2147483647 71097 118 | 0.000 % |
26.16/26.23 c | 75742 | 900 18000 90000 | 2147483647 71470 118 | 0.000 % |
26.36/26.48 c | 76152 | 900 18000 90000 | 2147483647 71880 118 | 0.000 % |
26.65/26.77 c | 76601 | 900 18000 90000 | 2147483647 72329 118 | 0.000 % |
26.95/27.07 c | 77095 | 900 18000 90000 | 2147483647 72823 118 | 0.000 % |
27.35/27.45 c | 77637 | 900 18000 90000 | 2147483647 73365 118 | 0.000 % |
27.75/27.83 c | 78235 | 900 18000 90000 | 2147483647 73963 118 | 0.000 % |
28.15/28.24 c | 78891 | 900 18000 90000 | 2147483647 74619 118 | 0.000 % |
28.56/28.68 c | 79611 | 900 18000 90000 | 2147483647 75339 118 | 0.000 % |
29.16/29.20 c | 80403 | 900 18000 90000 | 2147483647 76131 118 | 0.000 % |
29.66/29.77 c | 81274 | 900 18000 90000 | 2147483647 77002 118 | 0.000 % |
30.36/30.42 c | 82232 | 900 18000 90000 | 2147483647 77960 118 | 0.000 % |
30.46/30.50 c | 82335 | 900 18000 90000 | 2147483647 78063 118 | 0.000 % |
30.46/30.57 c | 82445 | 900 18000 90000 | 2147483647 78173 118 | 0.000 % |
30.56/30.65 c | 82567 | 900 18000 90000 | 2147483647 78295 118 | 0.000 % |
30.66/30.78 c | 82701 | 900 18000 90000 | 2147483647 78429 118 | 0.000 % |
30.76/30.89 c | 82847 | 900 18000 90000 | 2147483647 78575 118 | 0.000 % |
30.96/31.00 c | 83010 | 900 18000 90000 | 2147483647 78738 118 | 0.000 % |
31.06/31.15 c | 83186 | 900 18000 90000 | 2147483647 78914 118 | 0.000 % |
31.26/31.30 c | 83382 | 900 18000 90000 | 2147483647 79110 118 | 0.000 % |
31.36/31.44 c | 83594 | 900 18000 90000 | 2147483647 79322 118 | 0.000 % |
31.56/31.64 c | 83830 | 900 18000 90000 | 2147483647 79558 118 | 0.000 % |
31.76/31.82 c | 84086 | 900 18000 90000 | 2147483647 79814 118 | 0.000 % |
31.96/32.05 c | 84367 | 900 18000 90000 | 2147483647 80095 118 | 0.000 % |
32.16/32.27 c | 84677 | 900 18000 90000 | 2147483647 80405 118 | 0.000 % |
32.36/32.49 c | 85017 | 900 18000 90000 | 2147483647 80745 118 | 0.000 % |
32.66/32.79 c | 85390 | 900 18000 90000 | 2147483647 81118 118 | 0.000 % |
32.96/33.09 c | 85799 | 900 18000 90000 | 2147483647 81527 118 | 0.000 % |
33.35/33.40 c | 86248 | 900 18000 90000 | 2147483647 81976 118 | 0.000 % |
33.65/33.74 c | 86741 | 900 18000 90000 | 2147483647 82469 118 | 0.000 % |
34.06/34.11 c | 87285 | 900 18000 90000 | 2147483647 83013 118 | 0.000 % |
34.45/34.53 c | 87882 | 900 18000 90000 | 2147483647 83610 118 | 0.000 % |
34.95/35.02 c | 88539 | 900 18000 90000 | 2147483647 84267 118 | 0.000 % |
35.55/35.61 c | 89260 | 900 18000 90000 | 2147483647 84988 118 | 0.000 % |
36.05/36.16 c | 90054 | 900 18000 90000 | 85729 85782 118 | 0.000 % |
36.75/36.80 c | 90927 | 900 18000 90000 | 85729 76820 119 | 0.000 % |
37.35/37.44 c | 91886 | 900 18000 90000 | 85729 77779 119 | 0.000 % |
38.06/38.11 c | 92939 | 900 18000 90000 | 85729 78832 119 | 0.000 % |
38.06/38.19 c | 93039 | 900 18000 90000 | 85729 78932 119 | 0.000 % |
38.16/38.28 c | 93150 | 900 18000 90000 | 85729 79043 119 | 0.000 % |
38.26/38.38 c | 93272 | 900 18000 90000 | 85729 79165 119 | 0.000 % |
38.36/38.48 c | 93406 | 900 18000 90000 | 85729 79299 119 | 0.000 % |
38.46/38.59 c | 93552 | 900 18000 90000 | 85729 79445 119 | 0.000 % |
38.66/38.73 c | 93712 | 900 18000 90000 | 85729 79605 119 | 0.000 % |
38.75/38.88 c | 93888 | 900 18000 90000 | 85729 79781 118 | 0.000 % |
38.95/39.02 c | 94081 | 900 18000 90000 | 85729 79974 118 | 0.000 % |
39.05/39.19 c | 94293 | 900 18000 90000 | 85729 80186 118 | 0.000 % |
39.25/39.35 c | 94527 | 900 18000 90000 | 85729 80420 119 | 0.000 % |
39.46/39.54 c | 94785 | 900 18000 90000 | 85729 80678 119 | 0.000 % |
39.65/39.75 c | 95066 | 900 18000 90000 | 85729 80959 119 | 0.000 % |
39.85/39.99 c | 95376 | 900 18000 90000 | 85729 81269 118 | 0.000 % |
40.15/40.25 c | 95717 | 900 18000 90000 | 85729 81610 119 | 0.000 % |
40.45/40.52 c | 96089 | 900 18000 90000 | 85729 81982 119 | 0.000 % |
40.75/40.86 c | 96500 | 900 18000 90000 | 85729 82393 119 | 0.000 % |
41.15/41.21 c | 96949 | 900 18000 90000 | 85729 82842 118 | 0.000 % |
41.45/41.56 c | 97442 | 900 18000 90000 | 85729 83335 118 | 0.000 % |
41.85/41.93 c | 97986 | 900 18000 90000 | 85729 83879 118 | 0.000 % |
42.15/42.29 c | 98582 | 900 18000 90000 | 85729 84475 118 | 0.000 % |
42.65/42.78 c | 99239 | 900 18000 90000 | 85729 85132 118 | 0.000 % |
43.15/43.27 c | 99960 | 900 18000 90000 | 85729 85853 118 | 0.000 % |
43.75/43.81 c | 100752 | 900 18000 90000 | 74700 65967 119 | 0.000 % |
44.15/44.29 c | 101624 | 900 18000 90000 | 74700 66839 119 | 0.000 % |
44.75/44.84 c | 102583 | 900 18000 90000 | 74700 67798 119 | 0.000 % |
45.45/45.55 c | 103640 | 900 18000 90000 | 74700 68855 119 | 0.000 % |
46.15/46.29 c | 104798 | 900 18000 90000 | 74700 70013 119 | 0.000 % |
46.24/46.35 c | 104899 | 900 18000 90000 | 74700 70114 119 | 0.000 % |
46.34/46.42 c | 105010 | 900 18000 90000 | 74700 70225 119 | 0.000 % |
46.44/46.52 c | 105133 | 900 18000 90000 | 74700 70348 119 | 0.000 % |
46.54/46.61 c | 105266 | 900 18000 90000 | 74700 70481 119 | 0.000 % |
46.64/46.71 c | 105412 | 900 18000 90000 | 74700 70627 119 | 0.000 % |
46.74/46.82 c | 105572 | 900 18000 90000 | 74700 70787 119 | 0.000 % |
46.84/46.96 c | 105749 | 900 18000 90000 | 74700 70964 119 | 0.000 % |
46.94/47.08 c | 105942 | 900 18000 90000 | 74700 71157 119 | 0.000 % |
47.15/47.21 c | 106156 | 900 18000 90000 | 74700 71371 119 | 0.000 % |
47.25/47.38 c | 106389 | 900 18000 90000 | 74700 71604 119 | 0.000 % |
47.44/47.53 c | 106646 | 900 18000 90000 | 74700 71861 119 | 0.000 % |
47.64/47.71 c | 106928 | 900 18000 90000 | 74700 72143 119 | 0.000 % |
47.84/47.90 c | 107237 | 900 18000 90000 | 74700 72452 119 | 0.000 % |
48.04/48.11 c | 107577 | 900 18000 90000 | 74700 72792 119 | 0.000 % |
48.25/48.40 c | 107950 | 900 18000 90000 | 74700 73165 119 | 0.000 % |
48.54/48.66 c | 108363 | 900 18000 90000 | 74700 73578 119 | 0.000 % |
48.84/48.95 c | 108812 | 900 18000 90000 | 74700 74027 119 | 0.000 % |
49.14/49.26 c | 109306 | 900 18000 90000 | 74700 74521 119 | 0.000 % |
49.54/49.65 c | 109848 | 900 18000 90000 | 74700 67563 119 | 0.000 % |
49.84/50.00 c | 110446 | 900 18000 90000 | 2147483647 68161 119 | 0.000 % |
50.24/50.37 c | 111102 | 900 18000 90000 | 2147483647 68817 119 | 0.000 % |
50.74/50.82 c | 111822 | 900 18000 90000 | 2147483647 69537 119 | 0.000 % |
51.14/51.29 c | 112614 | 900 18000 90000 | 2147483647 70329 119 | 0.000 % |
51.74/51.80 c | 113485 | 900 18000 90000 | 2147483647 71200 119 | 0.000 % |
52.34/52.40 c | 114443 | 900 18000 90000 | 2147483647 72158 119 | 0.000 % |
52.94/53.03 c | 115496 | 900 18000 90000 | 2147483647 73211 119 | 0.000 % |
53.64/53.73 c | 116655 | 900 18000 90000 | 2147483647 74370 119 | 0.000 % |
54.44/54.52 c | 117928 | 900 18000 90000 | 2147483647 75643 119 | 0.000 % |
54.44/54.58 c | 118028 | 900 18000 90000 | 2147483647 75743 119 | 0.000 % |
54.54/54.68 c | 118138 | 900 18000 90000 | 2147483647 75853 119 | 0.000 % |
54.64/54.76 c | 118259 | 900 18000 90000 | 2147483647 75974 119 | 0.000 % |
54.74/54.85 c | 118392 | 900 18000 90000 | 2147483647 76107 119 | 0.000 % |
54.84/54.95 c | 118539 | 900 18000 90000 | 2147483647 76254 119 | 0.000 % |
54.94/55.09 c | 118700 | 900 18000 90000 | 2147483647 76415 119 | 0.000 % |
55.14/55.22 c | 118877 | 900 18000 90000 | 2147483647 76592 119 | 0.000 % |
55.24/55.36 c | 119070 | 900 18000 90000 | 2147483647 76785 119 | 0.000 % |
55.44/55.53 c | 119283 | 900 18000 90000 | 2147483647 76998 119 | 0.000 % |
55.54/55.69 c | 119517 | 900 18000 90000 | 2147483647 77232 119 | 0.000 % |
55.74/55.89 c | 119773 | 900 18000 90000 | 2147483647 77488 119 | 0.000 % |
56.04/56.11 c | 120055 | 900 18000 90000 | 2147483647 77770 119 | 0.000 % |
56.24/56.36 c | 120364 | 900 18000 90000 | 2147483647 78079 119 | 0.000 % |
56.54/56.60 c | 120703 | 900 18000 90000 | 2147483647 78418 119 | 0.000 % |
56.74/56.88 c | 121076 | 900 18000 90000 | 2147483647 78791 119 | 0.000 % |
57.04/57.17 c | 121485 | 900 18000 90000 | 2147483647 79200 119 | 0.000 % |
57.34/57.49 c | 121935 | 900 18000 90000 | 2147483647 79650 119 | 0.000 % |
57.74/57.84 c | 122428 | 900 18000 90000 | 2147483647 80143 119 | 0.000 % |
58.04/58.18 c | 122971 | 900 18000 90000 | 2147483647 80686 119 | 0.000 % |
58.44/58.58 c | 123567 | 900 18000 90000 | 2147483647 81282 119 | 0.000 % |
58.94/59.06 c | 124223 | 900 18000 90000 | 2147483647 81938 119 | 0.000 % |
59.44/59.55 c | 124944 | 900 18000 90000 | 2147483647 82659 119 | 0.000 % |
60.04/60.12 c | 125736 | 900 18000 90000 | 2147483647 83451 119 | 0.000 % |
60.64/60.73 c | 126608 | 900 18000 90000 | 2147483647 84323 119 | 0.000 % |
61.24/61.38 c | 127566 | 900 18000 90000 | 2147483647 85281 119 | 0.000 % |
62.03/62.18 c | 128619 | 900 18000 90000 | 2147483647 86334 119 | 0.000 % |
62.83/62.98 c | 129777 | 900 18000 90000 | 2147483647 87492 119 | 0.000 % |
63.73/63.88 c | 131050 | 900 18000 90000 | 87715 77796 119 | 0.000 % |
64.73/64.87 c | 132451 | 900 18000 90000 | 87715 79197 120 | 0.000 % |
64.83/64.96 c | 132552 | 900 18000 90000 | 87715 79298 120 | 0.000 % |
64.93/65.05 c | 132663 | 900 18000 90000 | 87715 79409 120 | 0.000 % |
65.03/65.15 c | 132787 | 900 18000 90000 | 87715 79533 120 | 0.000 % |
65.13/65.24 c | 132924 | 900 18000 90000 | 87715 79670 120 | 0.000 % |
65.23/65.36 c | 133071 | 900 18000 90000 | 87715 79817 120 | 0.000 % |
65.43/65.50 c | 133231 | 900 18000 90000 | 87715 79977 120 | 0.000 % |
65.53/65.64 c | 133408 | 900 18000 90000 | 87715 80154 120 | 0.000 % |
65.63/65.78 c | 133602 | 900 18000 90000 | 87715 80348 120 | 0.000 % |
65.83/65.94 c | 133814 | 900 18000 90000 | 87715 80560 120 | 0.000 % |
66.03/66.11 c | 134048 | 900 18000 90000 | 87715 80794 120 | 0.000 % |
66.23/66.34 c | 134304 | 900 18000 90000 | 87715 81050 120 | 0.000 % |
66.43/66.55 c | 134586 | 900 18000 90000 | 87715 81332 120 | 0.000 % |
66.73/66.80 c | 134896 | 900 18000 90000 | 87715 81642 120 | 0.000 % |
66.93/67.04 c | 135235 | 900 18000 90000 | 87715 81981 120 | 0.000 % |
67.23/67.30 c | 135608 | 900 18000 90000 | 87715 82354 120 | 0.000 % |
67.43/67.58 c | 136020 | 900 18000 90000 | 87715 82766 120 | 0.000 % |
67.83/67.96 c | 136471 | 900 18000 90000 | 87715 83217 120 | 0.000 % |
68.23/68.34 c | 136965 | 900 18000 90000 | 87715 83711 120 | 0.000 % |
68.63/68.72 c | 137509 | 900 18000 90000 | 87715 84255 120 | 0.000 % |
69.03/69.18 c | 138105 | 900 18000 90000 | 87715 84851 120 | 0.000 % |
69.52/69.67 c | 138760 | 900 18000 90000 | 87715 85506 120 | 0.000 % |
70.02/70.20 c | 139483 | 900 18000 90000 | 87715 86229 120 | 0.000 % |
70.62/70.79 c | 140278 | 900 18000 90000 | 86749 87024 120 | 0.000 % |
71.33/71.43 c | 141151 | 900 18000 90000 | 86749 75819 120 | 0.000 % |
71.92/72.02 c | 142109 | 900 18000 90000 | 86749 76777 120 | 0.000 % |
72.53/72.68 c | 143162 | 900 18000 90000 | 86749 77830 120 | 0.000 % |
73.32/73.47 c | 144321 | 900 18000 90000 | 86749 78989 120 | 0.000 % |
74.12/74.29 c | 145594 | 900 18000 90000 | 86749 80262 120 | 0.000 % |
75.12/75.25 c | 146995 | 900 18000 90000 | 86749 81663 120 | 0.000 % |
76.22/76.30 c | 148535 | 900 18000 90000 | 86749 83203 121 | 0.000 % |
76.32/76.40 c | 148636 | 900 18000 90000 | 86749 83304 121 | 0.000 % |
76.42/76.50 c | 148746 | 900 18000 90000 | 86749 83414 121 | 0.000 % |
76.42/76.60 c | 148867 | 900 18000 90000 | 86749 83535 121 | 0.000 % |
76.52/76.69 c | 149000 | 900 18000 90000 | 86749 83668 121 | 0.000 % |
76.72/76.82 c | 149146 | 900 18000 90000 | 86749 83814 121 | 0.000 % |
76.83/76.96 c | 149306 | 900 18000 90000 | 86749 83974 121 | 0.000 % |
77.02/77.10 c | 149483 | 900 18000 90000 | 86749 84151 121 | 0.000 % |
77.12/77.23 c | 149676 | 900 18000 90000 | 86749 84344 121 | 0.000 % |
77.22/77.38 c | 149888 | 900 18000 90000 | 86749 84556 121 | 0.000 % |
77.42/77.55 c | 150121 | 900 18000 90000 | 84668 84789 121 | 0.000 % |
77.62/77.77 c | 150377 | 900 18000 90000 | 84668 74510 121 | 0.000 % |
77.82/77.97 c | 150658 | 900 18000 90000 | 84668 74791 121 | 0.000 % |
78.12/78.20 c | 150967 | 900 18000 90000 | 84668 75100 120 | 0.000 % |
78.32/78.41 c | 151306 | 900 18000 90000 | 84668 75439 120 | 0.000 % |
78.52/78.66 c | 151682 | 900 18000 90000 | 84668 75815 120 | 0.000 % |
78.82/78.95 c | 152091 | 900 18000 90000 | 84668 76224 120 | 0.000 % |
79.12/79.28 c | 152541 | 900 18000 90000 | 84668 76674 120 | 0.000 % |
79.52/79.63 c | 153036 | 900 18000 90000 | 84668 77169 121 | 0.000 % |
79.92/80.02 c | 153578 | 900 18000 90000 | 84668 77711 120 | 0.000 % |
80.32/80.45 c | 154176 | 900 18000 90000 | 84668 78309 121 | 0.000 % |
80.72/80.89 c | 154833 | 900 18000 90000 | 84668 78966 120 | 0.000 % |
81.22/81.36 c | 155553 | 900 18000 90000 | 84668 79686 121 | 0.000 % |
81.82/81.91 c | 156345 | 900 18000 90000 | 84668 80478 121 | 0.000 % |
82.32/82.47 c | 157216 | 900 18000 90000 | 84668 81349 121 | 0.000 % |
83.02/83.12 c | 158174 | 900 18000 90000 | 84668 82307 121 | 0.000 % |
83.72/83.80 c | 159230 | 900 18000 90000 | 84668 83363 121 | 0.000 % |
84.52/84.65 c | 160392 | 900 18000 90000 | 84137 74924 120 | 0.000 % |
85.32/85.46 c | 161666 | 900 18000 90000 | 84137 76198 121 | 0.000 % |
86.22/86.35 c | 163066 | 900 18000 90000 | 84137 77598 121 | 0.000 % |
87.22/87.35 c | 164609 | 900 18000 90000 | 84137 79141 121 | 0.000 % |
88.32/88.47 c | 166306 | 900 18000 90000 | 84137 80838 121 | 0.000 % |
88.42/88.55 c | 166407 | 900 18000 90000 | 84137 80939 121 | 0.000 % |
88.52/88.64 c | 166517 | 900 18000 90000 | 84137 81049 121 | 0.000 % |
88.62/88.74 c | 166639 | 900 18000 90000 | 84137 81171 121 | 0.000 % |
88.72/88.85 c | 166775 | 900 18000 90000 | 84137 81307 121 | 0.000 % |
88.82/88.96 c | 166921 | 900 18000 90000 | 84137 81453 121 | 0.000 % |
88.92/89.08 c | 167081 | 900 18000 90000 | 84137 81613 121 | 0.000 % |
89.12/89.25 c | 167260 | 900 18000 90000 | 84137 81792 121 | 0.000 % |
89.22/89.40 c | 167454 | 900 18000 90000 | 84137 81986 121 | 0.000 % |
89.42/89.56 c | 167666 | 900 18000 90000 | 84137 82198 121 | 0.000 % |
89.62/89.73 c | 167900 | 900 18000 90000 | 84137 82432 121 | 0.000 % |
89.82/89.92 c | 168157 | 900 18000 90000 | 84137 82689 121 | 0.000 % |
90.02/90.11 c | 168441 | 900 18000 90000 | 84137 82973 121 | 0.000 % |
90.22/90.35 c | 168750 | 900 18000 90000 | 84137 83282 121 | 0.000 % |
90.42/90.59 c | 169090 | 900 18000 90000 | 84137 83622 121 | 0.000 % |
90.71/90.89 c | 169462 | 900 18000 90000 | 84137 83994 121 | 0.000 % |
91.01/91.17 c | 169873 | 900 18000 90000 | 84137 84405 121 | 0.000 % |
91.41/91.53 c | 170322 | 900 18000 90000 | 74844 75166 121 | 0.000 % |
91.71/91.84 c | 170816 | 900 18000 90000 | 74844 67077 121 | 0.000 % |
92.02/92.14 c | 171359 | 900 18000 90000 | 74844 67620 121 | 0.000 % |
92.41/92.51 c | 171955 | 900 18000 90000 | 74844 68216 121 | 0.000 % |
92.81/92.92 c | 172610 | 900 18000 90000 | 74844 68871 121 | 0.000 % |
93.21/93.33 c | 173332 | 900 18000 90000 | 74844 69593 121 | 0.000 % |
93.71/93.81 c | 174124 | 900 18000 90000 | 74844 70385 121 | 0.000 % |
94.21/94.32 c | 174996 | 900 18000 90000 | 74844 71257 121 | 0.000 % |
94.81/94.91 c | 175955 | 900 18000 90000 | 74844 72216 122 | 0.000 % |
95.41/95.51 c | 177009 | 900 18000 90000 | 74844 73270 122 | 0.000 % |
96.11/96.27 c | 178169 | 900 18000 90000 | 74844 74430 122 | 0.000 % |
97.01/97.12 c | 179444 | 900 18000 90000 | 74844 68186 122 | 0.000 % |
97.82/97.92 c | 180844 | 900 18000 90000 | 2147483647 69586 122 | 0.000 % |
98.61/98.79 c | 182385 | 900 18000 90000 | 2147483647 71127 122 | 0.000 % |
99.61/99.79 c | 184079 | 900 18000 90000 | 2147483647 72821 123 | 0.000 % |
100.91/101.01 c | 185943 | 900 18000 90000 | 2147483647 74685 123 | 0.000 % |
100.91/101.08 c | 186044 | 900 18000 90000 | 2147483647 74786 123 | 0.000 % |
101.02/101.18 c | 186155 | 900 18000 90000 | 2147483647 74897 123 | 0.000 % |
101.12/101.26 c | 186276 | 900 18000 90000 | 2147483647 75018 123 | 0.000 % |
101.21/101.37 c | 186411 | 900 18000 90000 | 2147483647 75153 123 | 0.000 % |
101.31/101.49 c | 186559 | 900 18000 90000 | 2147483647 75301 123 | 0.000 % |
101.51/101.62 c | 186719 | 900 18000 90000 | 2147483647 75461 123 | 0.000 % |
101.61/101.74 c | 186896 | 900 18000 90000 | 2147483647 75638 123 | 0.000 % |
101.71/101.89 c | 187090 | 900 18000 90000 | 2147483647 75832 123 | 0.000 % |
101.91/102.04 c | 187306 | 900 18000 90000 | 2147483647 76048 122 | 0.000 % |
102.11/102.22 c | 187540 | 900 18000 90000 | 2147483647 76282 122 | 0.000 % |
102.31/102.43 c | 187796 | 900 18000 90000 | 2147483647 76538 122 | 0.000 % |
102.51/102.62 c | 188078 | 900 18000 90000 | 2147483647 76820 122 | 0.000 % |
102.71/102.85 c | 188387 | 900 18000 90000 | 2147483647 77129 122 | 0.000 % |
102.91/103.07 c | 188727 | 900 18000 90000 | 2147483647 77469 122 | 0.000 % |
103.21/103.35 c | 189100 | 900 18000 90000 | 2147483647 77842 122 | 0.000 % |
103.51/103.60 c | 189509 | 900 18000 90000 | 2147483647 78251 122 | 0.000 % |
103.81/103.92 c | 189959 | 900 18000 90000 | 2147483647 78701 122 | 0.000 % |
104.11/104.24 c | 190452 | 900 18000 90000 | 2147483647 79194 122 | 0.000 % |
104.51/104.60 c | 190995 | 900 18000 90000 | 2147483647 79737 122 | 0.000 % |
104.91/105.01 c | 191592 | 900 18000 90000 | 2147483647 80334 122 | 0.000 % |
105.31/105.47 c | 192248 | 900 18000 90000 | 2147483647 80990 122 | 0.000 % |
105.81/105.96 c | 192968 | 900 18000 90000 | 2147483647 81710 122 | 0.000 % |
106.41/106.54 c | 193760 | 900 18000 90000 | 2147483647 82502 122 | 0.000 % |
107.00/107.12 c | 194633 | 900 18000 90000 | 2147483647 83375 122 | 0.000 % |
107.61/107.78 c | 195592 | 900 18000 90000 | 2147483647 84334 122 | 0.000 % |
108.50/108.62 c | 196645 | 900 18000 90000 | 2147483647 85387 122 | 0.000 % |
109.31/109.46 c | 197803 | 900 18000 90000 | 2147483647 86545 122 | 0.000 % |
110.31/110.41 c | 199077 | 900 18000 90000 | 2147483647 87819 123 | 0.000 % |
111.41/111.53 c | 200478 | 900 18000 90000 | 88743 77453 123 | 0.000 % |
112.41/112.54 c | 202020 | 900 18000 90000 | 88743 78995 123 | 0.000 % |
113.51/113.68 c | 203715 | 900 18000 90000 | 88743 80690 123 | 0.000 % |
114.81/114.93 c | 205579 | 900 18000 90000 | 88743 82554 123 | 0.000 % |
116.31/116.40 c | 207628 | 900 18000 90000 | 88743 84603 123 | 0.000 % |
116.31/116.48 c | 207728 | 900 18000 90000 | 88743 84703 123 | 0.000 % |
116.41/116.58 c | 207838 | 900 18000 90000 | 88743 84813 123 | 0.000 % |
116.51/116.67 c | 207959 | 900 18000 90000 | 88743 84934 123 | 0.000 % |
116.61/116.79 c | 208093 | 900 18000 90000 | 88743 85068 123 | 0.000 % |
116.81/116.94 c | 208239 | 900 18000 90000 | 88743 85214 123 | 0.000 % |
116.91/117.07 c | 208399 | 900 18000 90000 | 88743 85374 123 | 0.000 % |
117.11/117.22 c | 208575 | 900 18000 90000 | 88743 85550 123 | 0.000 % |
117.30/117.40 c | 208768 | 900 18000 90000 | 88743 85743 123 | 0.000 % |
117.40/117.57 c | 208980 | 900 18000 90000 | 88743 85955 123 | 0.000 % |
117.61/117.75 c | 209213 | 900 18000 90000 | 88743 86188 123 | 0.000 % |
117.81/117.94 c | 209469 | 900 18000 90000 | 88743 86444 123 | 0.000 % |
118.01/118.17 c | 209750 | 900 18000 90000 | 88743 86725 123 | 0.000 % |
118.21/118.38 c | 210060 | 900 18000 90000 | 86975 87035 123 | 0.000 % |
118.50/118.67 c | 210399 | 900 18000 90000 | 86975 75817 123 | 0.000 % |
118.80/118.94 c | 210772 | 900 18000 90000 | 86975 76190 123 | 0.000 % |
119.00/119.19 c | 211181 | 900 18000 90000 | 86975 76599 123 | 0.000 % |
119.40/119.50 c | 211630 | 900 18000 90000 | 86975 77048 123 | 0.000 % |
119.71/119.83 c | 212123 | 900 18000 90000 | 86975 77541 123 | 0.000 % |
120.10/120.21 c | 212665 | 900 18000 90000 | 86975 78083 123 | 0.000 % |
120.40/120.59 c | 213261 | 900 18000 90000 | 86975 78679 123 | 0.000 % |
120.91/121.01 c | 213918 | 900 18000 90000 | 86975 79336 123 | 0.000 % |
121.30/121.47 c | 214638 | 900 18000 90000 | 86975 80056 123 | 0.000 % |
121.91/122.02 c | 215430 | 900 18000 90000 | 86975 80848 123 | 0.000 % |
122.40/122.58 c | 216301 | 900 18000 90000 | 86975 81719 123 | 0.000 % |
123.10/123.27 c | 217260 | 900 18000 90000 | 86975 82678 123 | 0.000 % |
123.80/123.98 c | 218313 | 900 18000 90000 | 86975 83731 123 | 0.000 % |
124.60/124.77 c | 219472 | 900 18000 90000 | 86975 84890 123 | 0.000 % |
125.60/125.72 c | 220745 | 900 18000 90000 | 85419 75505 123 | 0.000 % |
126.50/126.64 c | 222145 | 900 18000 90000 | 85419 76905 123 | 0.000 % |
127.40/127.60 c | 223686 | 900 18000 90000 | 85419 78446 123 | 0.000 % |
128.50/128.69 c | 225380 | 900 18000 90000 | 85419 80140 123 | 0.000 % |
129.70/129.82 c | 227243 | 900 18000 90000 | 85419 82003 123 | 0.000 % |
131.10/131.22 c | 229293 | 900 18000 90000 | 85419 84053 124 | 0.000 % |
132.60/132.72 c | 231548 | 900 18000 90000 | 84760 76610 124 | 0.000 % |
132.70/132.80 c | 231649 | 900 18000 90000 | 84760 76711 124 | 0.000 % |
132.70/132.89 c | 231759 | 900 18000 90000 | 84760 76821 124 | 0.000 % |
132.80/132.98 c | 231885 | 900 18000 90000 | 84760 76947 124 | 0.000 % |
132.90/133.07 c | 232020 | 900 18000 90000 | 84760 77082 124 | 0.000 % |
133.10/133.20 c | 232167 | 900 18000 90000 | 84760 77229 124 | 0.000 % |
133.19/133.31 c | 232327 | 900 18000 90000 | 84760 77389 123 | 0.000 % |
133.29/133.44 c | 232504 | 900 18000 90000 | 84760 77566 123 | 0.000 % |
133.49/133.61 c | 232698 | 900 18000 90000 | 84760 77760 123 | 0.000 % |
133.59/133.77 c | 232910 | 900 18000 90000 | 84760 77972 123 | 0.000 % |
133.79/133.94 c | 233143 | 900 18000 90000 | 84760 78205 123 | 0.000 % |
134.00/134.11 c | 233400 | 900 18000 90000 | 84760 78462 123 | 0.000 % |
134.19/134.30 c | 233681 | 900 18000 90000 | 84760 78743 123 | 0.000 % |
134.39/134.51 c | 233991 | 900 18000 90000 | 84760 79053 123 | 0.000 % |
134.59/134.75 c | 234332 | 900 18000 90000 | 84760 79394 123 | 0.000 % |
134.79/134.99 c | 234706 | 900 18000 90000 | 84760 79768 123 | 0.000 % |
135.10/135.29 c | 235116 | 900 18000 90000 | 84760 80178 123 | 0.000 % |
135.39/135.59 c | 235565 | 900 18000 90000 | 84760 80627 123 | 0.000 % |
135.79/135.97 c | 236059 | 900 18000 90000 | 84760 81121 123 | 0.000 % |
136.30/136.41 c | 236602 | 900 18000 90000 | 84760 81664 123 | 0.000 % |
136.69/136.84 c | 237199 | 900 18000 90000 | 84760 82261 123 | 0.000 % |
137.19/137.32 c | 237854 | 900 18000 90000 | 84760 82916 123 | 0.000 % |
137.69/137.82 c | 238574 | 900 18000 90000 | 84760 83636 123 | 0.000 % |
138.29/138.40 c | 239366 | 900 18000 90000 | 84760 84428 123 | 0.000 % |
138.89/139.08 c | 240238 | 900 18000 90000 | 85062 85300 123 | 0.000 % |
139.59/139.77 c | 241198 | 900 18000 90000 | 85062 75633 123 | 0.000 % |
140.29/140.42 c | 242251 | 900 18000 90000 | 85062 76686 123 | 0.000 % |
140.99/141.15 c | 243411 | 900 18000 90000 | 85062 77846 123 | 0.000 % |
141.79/141.95 c | 244687 | 900 18000 90000 | 85062 79122 123 | 0.000 % |
142.69/142.88 c | 246088 | 900 18000 90000 | 85062 80523 123 | 0.000 % |
143.79/143.98 c | 247628 | 900 18000 90000 | 85062 82063 123 | 0.000 % |
144.99/145.16 c | 249324 | 900 18000 90000 | 85062 83759 123 | 0.000 % |
146.29/146.43 c | 251188 | 900 18000 90000 | 84435 75444 123 | 0.000 % |
147.59/147.70 c | 253238 | 900 18000 90000 | 84435 77494 123 | 0.000 % |
148.89/149.08 c | 255491 | 900 18000 90000 | 84435 79747 123 | 0.000 % |
150.49/150.67 c | 257969 | 900 18000 90000 | 84435 82225 123 | 0.000 % |
150.59/150.74 c | 258069 | 900 18000 90000 | 84435 82325 123 | 0.000 % |
150.69/150.85 c | 258179 | 900 18000 90000 | 84435 82435 123 | 0.000 % |
150.79/150.96 c | 258302 | 900 18000 90000 | 84435 82558 123 | 0.000 % |
150.89/151.06 c | 258437 | 900 18000 90000 | 84435 82693 123 | 0.000 % |
150.99/151.19 c | 258584 | 900 18000 90000 | 84435 82840 123 | 0.000 % |
151.19/151.35 c | 258746 | 900 18000 90000 | 84435 83002 123 | 0.000 % |
151.29/151.49 c | 258923 | 900 18000 90000 | 84435 83179 123 | 0.000 % |
151.49/151.65 c | 259116 | 900 18000 90000 | 84435 83372 123 | 0.000 % |
151.69/151.83 c | 259330 | 900 18000 90000 | 84435 83586 123 | 0.000 % |
151.89/152.01 c | 259564 | 900 18000 90000 | 84435 83820 123 | 0.000 % |
152.09/152.24 c | 259820 | 900 18000 90000 | 84435 84076 123 | 0.000 % |
152.29/152.46 c | 260102 | 900 18000 90000 | 84257 84358 123 | 0.000 % |
152.59/152.72 c | 260411 | 900 18000 90000 | 84257 74902 122 | 0.000 % |
152.79/152.96 c | 260751 | 900 18000 90000 | 84257 75242 122 | 0.000 % |
153.09/153.22 c | 261123 | 900 18000 90000 | 84257 75614 122 | 0.000 % |
153.39/153.50 c | 261533 | 900 18000 90000 | 84257 76024 122 | 0.000 % |
153.69/153.83 c | 261984 | 900 18000 90000 | 84257 76475 122 | 0.000 % |
153.98/154.17 c | 262479 | 900 18000 90000 | 84257 76970 122 | 0.000 % |
154.38/154.50 c | 263021 | 900 18000 90000 | 84257 77512 122 | 0.000 % |
154.78/154.94 c | 263617 | 900 18000 90000 | 84257 78108 122 | 0.000 % |
155.28/155.42 c | 264273 | 900 18000 90000 | 84257 78764 122 | 0.000 % |
155.68/155.88 c | 264995 | 900 18000 90000 | 84257 79486 122 | 0.000 % |
156.18/156.39 c | 265787 | 900 18000 90000 | 84257 80278 122 | 0.000 % |
156.78/156.99 c | 266658 | 900 18000 90000 | 84257 81149 122 | 0.000 % |
157.48/157.62 c | 267620 | 900 18000 90000 | 84257 82111 122 | 0.000 % |
158.19/158.33 c | 268674 | 900 18000 90000 | 84257 83165 123 | 0.000 % |
158.98/159.16 c | 269833 | 900 18000 90000 | 84257 84324 122 | 0.000 % |
159.78/159.97 c | 271107 | 900 18000 90000 | 74825 67558 122 | 0.000 % |
160.58/160.75 c | 272507 | 900 18000 90000 | 74825 68958 122 | 0.000 % |
161.49/161.69 c | 274048 | 900 18000 90000 | 74825 70499 122 | 0.000 % |
162.59/162.74 c | 275744 | 900 18000 90000 | 74825 72195 123 | 0.000 % |
163.69/163.88 c | 277607 | 900 18000 90000 | 74825 74058 123 | 0.000 % |
164.98/165.16 c | 279657 | 900 18000 90000 | 74825 68595 123 | 0.000 % |
166.28/166.50 c | 281910 | 900 18000 90000 | 2147483647 70848 123 | 0.000 % |
167.68/167.87 c | 284388 | 900 18000 90000 | 2147483647 73326 123 | 0.000 % |
169.38/169.53 c | 287114 | 900 18000 90000 | 2147483647 76052 123 | 0.000 % |
169.48/169.61 c | 287215 | 900 18000 90000 | 2147483647 76153 123 | 0.000 % |
169.48/169.68 c | 287325 | 900 18000 90000 | 2147483647 76263 123 | 0.000 % |
169.58/169.78 c | 287446 | 900 18000 90000 | 2147483647 76384 123 | 0.000 % |
169.68/169.87 c | 287580 | 900 18000 90000 | 2147483647 76518 123 | 0.000 % |
169.88/170.01 c | 287731 | 900 18000 90000 | 2147483647 76669 123 | 0.000 % |
169.98/170.13 c | 287891 | 900 18000 90000 | 2147483647 76829 123 | 0.000 % |
170.08/170.26 c | 288069 | 900 18000 90000 | 2147483647 77007 123 | 0.000 % |
170.28/170.41 c | 288262 | 900 18000 90000 | 2147483647 77200 123 | 0.000 % |
170.38/170.57 c | 288474 | 900 18000 90000 | 2147483647 77412 123 | 0.000 % |
170.58/170.71 c | 288707 | 900 18000 90000 | 2147483647 77645 123 | 0.000 % |
170.68/170.89 c | 288963 | 900 18000 90000 | 2147483647 77901 123 | 0.000 % |
170.98/171.10 c | 289244 | 900 18000 90000 | 2147483647 78182 123 | 0.000 % |
171.18/171.32 c | 289554 | 900 18000 90000 | 2147483647 78492 123 | 0.000 % |
171.38/171.59 c | 289895 | 900 18000 90000 | 2147483647 78833 123 | 0.000 % |
171.68/171.86 c | 290267 | 900 18000 90000 | 2147483647 79205 123 | 0.000 % |
171.98/172.17 c | 290676 | 900 18000 90000 | 2147483647 79614 123 | 0.000 % |
172.38/172.52 c | 291126 | 900 18000 90000 | 2147483647 80064 123 | 0.000 % |
172.68/172.86 c | 291619 | 900 18000 90000 | 2147483647 80557 123 | 0.000 % |
173.08/173.21 c | 292162 | 900 18000 90000 | 2147483647 81100 123 | 0.000 % |
173.48/173.65 c | 292758 | 900 18000 90000 | 2147483647 81696 123 | 0.000 % |
173.88/174.07 c | 293414 | 900 18000 90000 | 2147483647 82352 123 | 0.000 % |
174.38/174.57 c | 294135 | 900 18000 90000 | 2147483647 83073 123 | 0.000 % |
174.88/175.07 c | 294928 | 900 18000 90000 | 2147483647 83866 123 | 0.000 % |
175.48/175.64 c | 295802 | 900 18000 90000 | 2147483647 84740 123 | 0.000 % |
176.18/176.30 c | 296760 | 900 18000 90000 | 2147483647 85698 123 | 0.000 % |
176.88/177.01 c | 297816 | 900 18000 90000 | 2147483647 86754 123 | 0.000 % |
177.68/177.80 c | 298974 | 900 18000 90000 | 2147483647 87912 123 | 0.000 % |
178.57/178.70 c | 300247 | 900 18000 90000 | 88938 89185 123 | 0.000 % |
179.47/179.62 c | 301650 | 900 18000 90000 | 88938 80468 123 | 0.000 % |
180.47/180.64 c | 303191 | 900 18000 90000 | 88938 82009 123 | 0.000 % |
181.67/181.83 c | 304886 | 900 18000 90000 | 88938 83704 123 | 0.000 % |
182.97/183.13 c | 306749 | 900 18000 90000 | 88938 85567 123 | 0.000 % |
184.37/184.58 c | 308798 | 900 18000 90000 | 88938 87616 123 | 0.000 % |
185.97/186.14 c | 311051 | 900 18000 90000 | 88819 78534 123 | 0.000 % |
187.77/187.93 c | 313529 | 900 18000 90000 | 88819 81012 123 | 0.000 % |
189.67/189.85 c | 316254 | 900 18000 90000 | 88819 83737 123 | 0.000 % |
191.77/191.91 c | 319252 | 900 18000 90000 | 88819 86735 123 | 0.000 % |
191.77/191.97 c | 319353 | 900 18000 90000 | 88819 86836 123 | 0.000 % |
191.87/192.07 c | 319463 | 900 18000 90000 | 88819 86946 123 | 0.000 % |
191.97/192.18 c | 319584 | 900 18000 90000 | 88819 87067 123 | 0.000 % |
192.17/192.33 c | 319719 | 900 18000 90000 | 88819 87202 123 | 0.000 % |
192.27/192.44 c | 319866 | 900 18000 90000 | 88819 87349 123 | 0.000 % |
192.37/192.57 c | 320027 | 900 18000 90000 | 87483 87510 123 | 0.000 % |
192.57/192.78 c | 320203 | 900 18000 90000 | 87483 75871 124 | 0.000 % |
192.77/192.92 c | 320396 | 900 18000 90000 | 87483 76064 124 | 0.000 % |
192.87/193.07 c | 320610 | 900 18000 90000 | 87483 76278 124 | 0.000 % |
193.07/193.23 c | 320844 | 900 18000 90000 | 87483 76512 124 | 0.000 % |
193.27/193.42 c | 321100 | 900 18000 90000 | 87483 76768 124 | 0.000 % |
193.47/193.62 c | 321382 | 900 18000 90000 | 87483 77050 123 | 0.000 % |
193.67/193.86 c | 321692 | 900 18000 90000 | 87483 77360 123 | 0.000 % |
193.87/194.07 c | 322031 | 900 18000 90000 | 87483 77699 123 | 0.000 % |
194.17/194.37 c | 322403 | 900 18000 90000 | 87483 78071 123 | 0.000 % |
194.47/194.66 c | 322812 | 900 18000 90000 | 87483 78480 123 | 0.000 % |
194.77/194.99 c | 323265 | 900 18000 90000 | 87483 78933 123 | 0.000 % |
195.17/195.36 c | 323762 | 900 18000 90000 | 87483 79430 123 | 0.000 % |
195.57/195.72 c | 324304 | 900 18000 90000 | 87483 79972 123 | 0.000 % |
195.97/196.14 c | 324901 | 900 18000 90000 | 87483 80569 123 | 0.000 % |
196.37/196.58 c | 325557 | 900 18000 90000 | 87483 81225 123 | 0.000 % |
196.97/197.15 c | 326277 | 900 18000 90000 | 87483 81945 123 | 0.000 % |
197.56/197.71 c | 327071 | 900 18000 90000 | 87483 82739 123 | 0.000 % |
198.16/198.35 c | 327944 | 900 18000 90000 | 87483 83612 123 | 0.000 % |
198.87/199.04 c | 328902 | 900 18000 90000 | 87483 84570 123 | 0.000 % |
199.66/199.81 c | 329956 | 900 18000 90000 | 87483 85624 123 | 0.000 % |
200.47/200.63 c | 331114 | 900 18000 90000 | 85668 75455 123 | 0.000 % |
201.27/201.40 c | 332388 | 900 18000 90000 | 85668 76729 123 | 0.000 % |
202.07/202.21 c | 333789 | 900 18000 90000 | 85668 78130 123 | 0.000 % |
203.07/203.26 c | 335330 | 900 18000 90000 | 85668 79671 123 | 0.000 % |
204.27/204.45 c | 337026 | 900 18000 90000 | 85668 81367 123 | 0.000 % |
205.57/205.73 c | 338889 | 900 18000 90000 | 85668 83230 123 | 0.000 % |
206.97/207.13 c | 340940 | 900 18000 90000 | 84341 75431 124 | 0.000 % |
208.37/208.57 c | 343193 | 900 18000 90000 | 84341 77684 124 | 0.000 % |
209.97/210.13 c | 345671 | 900 18000 90000 | 84341 80162 124 | 0.000 % |
211.77/211.93 c | 348398 | 900 18000 90000 | 84341 82889 124 | 0.000 % |
213.67/213.90 c | 351396 | 900 18000 90000 | 2147483647 85887 124 | 0.000 % |
216.07/216.29 c | 354693 | 900 18000 90000 | 2147483647 89184 124 | 0.000 % |
216.17/216.37 c | 354793 | 900 18000 90000 | 2147483647 89284 124 | 0.000 % |
216.26/216.46 c | 354904 | 900 18000 90000 | 2147483647 89395 124 | 0.000 % |
216.36/216.58 c | 355025 | 900 18000 90000 | 2147483647 89516 124 | 0.000 % |
216.57/216.73 c | 355160 | 900 18000 90000 | 2147483647 89651 124 | 0.000 % |
216.66/216.86 c | 355306 | 900 18000 90000 | 2147483647 89797 124 | 0.000 % |
216.86/217.00 c | 355466 | 900 18000 90000 | 2147483647 89957 124 | 0.000 % |
216.96/217.14 c | 355642 | 900 18000 90000 | 2147483647 90133 124 | 0.000 % |
217.16/217.30 c | 355836 | 900 18000 90000 | 2147483647 90327 124 | 0.000 % |
217.26/217.46 c | 356048 | 900 18000 90000 | 2147483647 90539 124 | 0.000 % |
217.46/217.69 c | 356281 | 900 18000 90000 | 2147483647 90772 124 | 0.000 % |
217.67/217.90 c | 356538 | 900 18000 90000 | 2147483647 91029 124 | 0.000 % |
217.96/218.14 c | 356819 | 900 18000 90000 | 2147483647 91310 124 | 0.000 % |
218.26/218.42 c | 357128 | 900 18000 90000 | 2147483647 91619 124 | 0.000 % |
218.56/218.71 c | 357467 | 900 18000 90000 | 2147483647 91958 124 | 0.000 % |
218.76/218.99 c | 357841 | 900 18000 90000 | 2147483647 92332 124 | 0.000 % |
219.16/219.34 c | 358252 | 900 18000 90000 | 2147483647 92743 124 | 0.000 % |
219.46/219.69 c | 358702 | 900 18000 90000 | 2147483647 93193 124 | 0.000 % |
219.86/220.08 c | 359197 | 900 18000 90000 | 2147483647 93688 124 | 0.000 % |
220.26/220.50 c | 359739 | 900 18000 90000 | 2147483647 94230 124 | 0.000 % |
220.86/221.06 c | 360339 | 900 18000 90000 | 94491 81242 123 | 0.000 % |
221.35/221.52 c | 360994 | 900 18000 90000 | 94491 81897 123 | 0.000 % |
221.75/221.98 c | 361714 | 900 18000 90000 | 94491 82617 123 | 0.000 % |
222.35/222.54 c | 362507 | 900 18000 90000 | 94491 83410 123 | 0.000 % |
223.06/223.21 c | 363379 | 900 18000 90000 | 94491 84282 123 | 0.000 % |
223.65/223.88 c | 364338 | 900 18000 90000 | 94491 85241 123 | 0.000 % |
224.35/224.59 c | 365392 | 900 18000 90000 | 94491 86295 123 | 0.000 % |
225.15/225.38 c | 366550 | 900 18000 90000 | 94491 87453 123 | 0.000 % |
226.15/226.33 c | 367823 | 900 18000 90000 | 94491 88726 123 | 0.000 % |
227.15/227.33 c | 369225 | 900 18000 90000 | 94491 90128 123 | 0.000 % |
228.25/228.49 c | 370769 | 900 18000 90000 | 90903 78400 124 | 0.000 % |
229.45/229.62 c | 372463 | 900 18000 90000 | 90903 80094 124 | 0.000 % |
230.65/230.86 c | 374326 | 900 18000 90000 | 90903 81957 124 | 0.000 % |
232.05/232.24 c | 376376 | 900 18000 90000 | 90903 84007 124 | 0.000 % |
233.65/233.84 c | 378631 | 900 18000 90000 | 90903 86262 124 | 0.000 % |
235.45/235.60 c | 381109 | 900 18000 90000 | 87634 77709 124 | 0.000 % |
237.15/237.30 c | 383835 | 900 18000 90000 | 87634 80435 124 | 0.000 % |
239.15/239.36 c | 386832 | 900 18000 90000 | 87634 83432 124 | 0.000 % |
241.45/241.60 c | 390129 | 900 18000 90000 | 86603 86729 124 | 0.000 % |
244.05/244.27 c | 393757 | 900 18000 90000 | 86603 79977 124 | 0.000 % |
244.15/244.33 c | 393857 | 900 18000 90000 | 86603 80077 124 | 0.000 % |
244.25/244.42 c | 393967 | 900 18000 90000 | 86603 80187 124 | 0.000 % |
244.35/244.50 c | 394089 | 900 18000 90000 | 86603 80309 124 | 0.000 % |
244.45/244.61 c | 394222 | 900 18000 90000 | 86603 80442 124 | 0.000 % |
244.55/244.71 c | 394370 | 900 18000 90000 | 86603 80590 124 | 0.000 % |
244.65/244.82 c | 394530 | 900 18000 90000 | 86603 80750 124 | 0.000 % |
244.75/244.97 c | 394706 | 900 18000 90000 | 86603 80926 124 | 0.000 % |
244.94/245.12 c | 394900 | 900 18000 90000 | 86603 81120 124 | 0.000 % |
245.05/245.30 c | 395112 | 900 18000 90000 | 86603 81332 124 | 0.000 % |
245.24/245.47 c | 395347 | 900 18000 90000 | 86603 81567 124 | 0.000 % |
245.45/245.66 c | 395605 | 900 18000 90000 | 86603 81825 124 | 0.000 % |
245.65/245.85 c | 395886 | 900 18000 90000 | 86603 82106 124 | 0.000 % |
245.85/246.08 c | 396195 | 900 18000 90000 | 86603 82415 124 | 0.000 % |
246.16/246.32 c | 396534 | 900 18000 90000 | 86603 82754 124 | 0.000 % |
246.45/246.62 c | 396908 | 900 18000 90000 | 86603 83128 124 | 0.000 % |
246.75/246.93 c | 397317 | 900 18000 90000 | 86603 83537 124 | 0.000 % |
247.05/247.26 c | 397770 | 900 18000 90000 | 86603 83990 124 | 0.000 % |
247.45/247.60 c | 398264 | 900 18000 90000 | 86603 84484 124 | 0.000 % |
247.75/247.99 c | 398806 | 900 18000 90000 | 86603 85026 124 | 0.000 % |
248.25/248.46 c | 399402 | 900 18000 90000 | 86603 85622 124 | 0.000 % |
248.75/248.95 c | 400058 | 900 18000 90000 | 86221 86278 124 | 0.000 % |
249.35/249.54 c | 400780 | 900 18000 90000 | 86221 75985 124 | 0.000 % |
249.85/250.06 c | 401572 | 900 18000 90000 | 86221 76777 124 | 0.000 % |
250.45/250.67 c | 402443 | 900 18000 90000 | 86221 77648 124 | 0.000 % |
251.15/251.35 c | 403402 | 900 18000 90000 | 86221 78607 124 | 0.000 % |
251.85/252.08 c | 404455 | 900 18000 90000 | 86221 79660 124 | 0.000 % |
252.65/252.84 c | 405614 | 900 18000 90000 | 86221 80819 124 | 0.000 % |
253.55/253.75 c | 406887 | 900 18000 90000 | 86221 82092 124 | 0.000 % |
254.55/254.72 c | 408287 | 900 18000 90000 | 86221 83492 124 | 0.000 % |
255.55/255.78 c | 409827 | 900 18000 90000 | 86221 85032 124 | 0.000 % |
256.75/256.93 c | 411522 | 900 18000 90000 | 85206 76246 124 | 0.000 % |
257.95/258.18 c | 413385 | 900 18000 90000 | 85206 78109 124 | 0.000 % |
259.25/259.49 c | 415434 | 900 18000 90000 | 85206 80158 124 | 0.000 % |
260.65/260.89 c | 417688 | 900 18000 90000 | 85206 82412 124 | 0.000 % |
262.35/262.51 c | 420166 | 900 18000 90000 | 84724 84890 124 | 0.000 % |
264.14/264.37 c | 422893 | 900 18000 90000 | 84724 78170 125 | 0.000 % |
266.14/266.39 c | 425890 | 900 18000 90000 | 84724 81167 125 | 0.000 % |
268.44/268.63 c | 429188 | 900 18000 90000 | 84724 84465 125 | 0.000 % |
270.84/271.03 c | 432813 | 900 18000 90000 | 76253 71143 125 | 0.000 % |
273.34/273.54 c | 436801 | 900 18000 90000 | 76253 75131 125 | 0.000 % |
273.44/273.61 c | 436904 | 900 18000 90000 | 76253 75234 125 | 0.000 % |
273.54/273.70 c | 437016 | 900 18000 90000 | 76253 75346 125 | 0.000 % |
273.54/273.80 c | 437137 | 900 18000 90000 | 76253 75467 125 | 0.000 % |
273.74/273.91 c | 437272 | 900 18000 90000 | 76253 75602 125 | 0.000 % |
273.84/274.02 c | 437420 | 900 18000 90000 | 76253 75750 125 | 0.000 % |
273.94/274.15 c | 437581 | 900 18000 90000 | 76253 75911 125 | 0.000 % |
274.14/274.30 c | 437757 | 900 18000 90000 | 76253 76087 125 | 0.000 % |
274.24/274.45 c | 437950 | 900 18000 90000 | 76253 76280 125 | 0.000 % |
274.44/274.61 c | 438162 | 900 18000 90000 | 76253 68864 125 | 0.000 % |
274.54/274.75 c | 438397 | 900 18000 90000 | 76253 69099 125 | 0.000 % |
274.74/274.91 c | 438653 | 900 18000 90000 | 76253 69355 125 | 0.000 % |
274.84/275.09 c | 438939 | 900 18000 90000 | 76253 69641 125 | 0.000 % |
275.14/275.30 c | 439248 | 900 18000 90000 | 76253 69950 125 | 0.000 % |
275.34/275.50 c | 439587 | 900 18000 90000 | 76253 70289 125 | 0.000 % |
275.54/275.77 c | 439963 | 900 18000 90000 | 76253 70665 125 | 0.000 % |
275.84/276.02 c | 440372 | 900 18000 90000 | 2147483647 71074 125 | 0.000 % |
276.14/276.32 c | 440821 | 900 18000 90000 | 2147483647 71523 125 | 0.000 % |
276.44/276.62 c | 441314 | 900 18000 90000 | 2147483647 72016 125 | 0.000 % |
276.74/276.98 c | 441856 | 900 18000 90000 | 2147483647 72558 125 | 0.000 % |
277.13/277.38 c | 442453 | 900 18000 90000 | 2147483647 73155 125 | 0.000 % |
277.63/277.81 c | 443109 | 900 18000 90000 | 2147483647 73811 125 | 0.000 % |
278.04/278.27 c | 443829 | 900 18000 90000 | 2147483647 74531 125 | 0.000 % |
278.53/278.73 c | 444621 | 900 18000 90000 | 2147483647 75323 125 | 0.000 % |
279.03/279.25 c | 445492 | 900 18000 90000 | 2147483647 76194 125 | 0.000 % |
279.63/279.83 c | 446452 | 900 18000 90000 | 2147483647 77154 125 | 0.000 % |
280.34/280.52 c | 447505 | 900 18000 90000 | 2147483647 78207 125 | 0.000 % |
281.03/281.24 c | 448664 | 900 18000 90000 | 2147483647 79366 125 | 0.000 % |
281.83/282.08 c | 449937 | 900 18000 90000 | 2147483647 80639 124 | 0.000 % |
282.83/283.03 c | 451337 | 900 18000 90000 | 2147483647 82039 124 | 0.000 % |
283.83/284.10 c | 452877 | 900 18000 90000 | 2147483647 83579 124 | 0.000 % |
285.13/285.34 c | 454571 | 900 18000 90000 | 2147483647 85273 124 | 0.000 % |
286.43/286.69 c | 456434 | 900 18000 90000 | 2147483647 87136 125 | 0.000 % |
288.04/288.24 c | 458484 | 900 18000 90000 | 2147483647 89186 125 | 0.000 % |
289.63/289.86 c | 460738 | 900 18000 90000 | 90705 79961 125 | 0.000 % |
291.23/291.46 c | 463216 | 900 18000 90000 | 90705 82439 125 | 0.000 % |
293.13/293.30 c | 465941 | 900 18000 90000 | 90705 85164 126 | 0.000 % |
295.23/295.43 c | 468939 | 900 18000 90000 | 90705 88162 125 | 0.000 % |
297.53/297.73 c | 472238 | 900 18000 90000 | 89223 80444 125 | 0.000 % |
300.03/300.25 c | 475863 | 900 18000 90000 | 89223 84069 126 | 0.000 % |
303.02/303.21 c | 479850 | 900 18000 90000 | 89223 88056 125 | 0.000 % |
306.23/306.47 c | 484239 | 900 18000 90000 | 88207 81088 127 | 0.000 % |
306.33/306.55 c | 484341 | 900 18000 90000 | 88207 81190 127 | 0.000 % |
306.43/306.64 c | 484451 | 900 18000 90000 | 88207 81300 127 | 0.000 % |
306.52/306.74 c | 484573 | 900 18000 90000 | 88207 81422 127 | 0.000 % |
306.63/306.87 c | 484709 | 900 18000 90000 | 88207 81558 127 | 0.000 % |
306.73/306.97 c | 484855 | 900 18000 90000 | 88207 81704 127 | 0.000 % |
306.82/307.10 c | 485015 | 900 18000 90000 | 88207 81864 127 | 0.000 % |
307.02/307.25 c | 485191 | 900 18000 90000 | 88207 82040 127 | 0.000 % |
307.12/307.39 c | 485384 | 900 18000 90000 | 88207 82233 127 | 0.000 % |
307.32/307.57 c | 485597 | 900 18000 90000 | 88207 82446 127 | 0.000 % |
307.52/307.75 c | 485833 | 900 18000 90000 | 88207 82682 127 | 0.000 % |
307.73/307.95 c | 486089 | 900 18000 90000 | 88207 82938 127 | 0.000 % |
307.92/308.17 c | 486370 | 900 18000 90000 | 88207 83219 127 | 0.000 % |
308.22/308.42 c | 486679 | 900 18000 90000 | 88207 83528 126 | 0.000 % |
308.42/308.66 c | 487020 | 900 18000 90000 | 88207 83869 126 | 0.000 % |
308.72/308.96 c | 487392 | 900 18000 90000 | 88207 84241 126 | 0.000 % |
309.02/309.24 c | 487802 | 900 18000 90000 | 88207 84651 126 | 0.000 % |
309.32/309.56 c | 488251 | 900 18000 90000 | 88207 85100 126 | 0.000 % |
309.72/309.91 c | 488745 | 900 18000 90000 | 88207 85594 126 | 0.000 % |
310.12/310.35 c | 489290 | 900 18000 90000 | 88207 86139 126 | 0.000 % |
310.62/310.81 c | 489887 | 900 18000 90000 | 88207 86736 126 | 0.000 % |
311.12/311.32 c | 490542 | 900 18000 90000 | 86849 76150 126 | 0.000 % |
311.62/311.83 c | 491262 | 900 18000 90000 | 86849 76870 126 | 0.000 % |
312.12/312.37 c | 492055 | 900 18000 90000 | 86849 77663 126 | 0.000 % |
312.72/312.92 c | 492926 | 900 18000 90000 | 86849 78534 126 | 0.000 % |
313.42/313.60 c | 493887 | 900 18000 90000 | 86849 79495 126 | 0.000 % |
314.12/314.31 c | 494941 | 900 18000 90000 | 86849 80549 126 | 0.000 % |
314.92/315.12 c | 496099 | 900 18000 90000 | 86849 81707 126 | 0.000 % |
315.82/316.06 c | 497372 | 900 18000 90000 | 86849 82980 126 | 0.000 % |
316.81/317.06 c | 498772 | 900 18000 90000 | 86849 84380 126 | 0.000 % |
317.91/318.14 c | 500312 | 900 18000 90000 | 85609 85920 126 | 0.000 % |
319.01/319.23 c | 502006 | 900 18000 90000 | 85609 76539 126 | 0.000 % |
320.21/320.45 c | 503869 | 900 18000 90000 | 85609 78402 126 | 0.000 % |
321.61/321.83 c | 505918 | 900 18000 90000 | 85609 80451 126 | 0.000 % |
323.12/323.33 c | 508172 | 900 18000 90000 | 85609 82705 126 | 0.000 % |
324.71/324.99 c | 510651 | 900 18000 90000 | 84535 75574 125 | 0.000 % |
326.61/326.80 c | 513378 | 900 18000 90000 | 84535 78301 125 | 0.000 % |
328.61/328.80 c | 516375 | 900 18000 90000 | 84535 81298 125 | 0.000 % |
331.01/331.21 c | 519671 | 900 18000 90000 | 84535 84594 125 | 0.000 % |
333.21/333.49 c | 523297 | 900 18000 90000 | 75880 71150 127 | 0.000 % |
335.81/336.08 c | 527285 | 900 18000 90000 | 75880 75138 127 | 0.000 % |
338.61/338.80 c | 531671 | 900 18000 90000 | 2147483647 71903 126 | 0.000 % |
341.61/341.86 c | 536495 | 900 18000 90000 | 2147483647 76727 126 | 0.000 % |
341.71/341.95 c | 536596 | 900 18000 90000 | 2147483647 76828 126 | 0.000 % |
341.81/342.05 c | 536709 | 900 18000 90000 | 2147483647 76941 126 | 0.000 % |
341.91/342.13 c | 536830 | 900 18000 90000 | 2147483647 77062 126 | 0.000 % |
342.01/342.23 c | 536963 | 900 18000 90000 | 2147483647 77195 126 | 0.000 % |
342.11/342.34 c | 537111 | 900 18000 90000 | 2147483647 77343 126 | 0.000 % |
342.20/342.45 c | 537271 | 900 18000 90000 | 2147483647 77503 126 | 0.000 % |
342.30/342.58 c | 537447 | 900 18000 90000 | 2147483647 77679 126 | 0.000 % |
342.50/342.74 c | 537644 | 900 18000 90000 | 2147483647 77876 126 | 0.000 % |
342.60/342.89 c | 537858 | 900 18000 90000 | 2147483647 78090 126 | 0.000 % |
342.80/343.06 c | 538094 | 900 18000 90000 | 2147483647 78326 126 | 0.000 % |
343.01/343.28 c | 538350 | 900 18000 90000 | 2147483647 78582 126 | 0.000 % |
343.20/343.49 c | 538632 | 900 18000 90000 | 2147483647 78864 126 | 0.000 % |
343.50/343.70 c | 538943 | 900 18000 90000 | 2147483647 79175 126 | 0.000 % |
343.70/343.94 c | 539282 | 900 18000 90000 | 2147483647 79514 126 | 0.000 % |
344.01/344.22 c | 539654 | 900 18000 90000 | 2147483647 79886 126 | 0.000 % |
344.20/344.48 c | 540066 | 900 18000 90000 | 2147483647 80298 126 | 0.000 % |
344.60/344.81 c | 540515 | 900 18000 90000 | 2147483647 80747 125 | 0.000 % |
344.90/345.18 c | 541008 | 900 18000 90000 | 2147483647 81240 125 | 0.000 % |
345.30/345.57 c | 541551 | 900 18000 90000 | 2147483647 81783 125 | 0.000 % |
345.80/346.00 c | 542148 | 900 18000 90000 | 2147483647 82380 125 | 0.000 % |
346.21/346.45 c | 542804 | 900 18000 90000 | 2147483647 83036 125 | 0.000 % |
346.70/346.94 c | 543524 | 900 18000 90000 | 2147483647 83756 125 | 0.000 % |
347.30/347.55 c | 544317 | 900 18000 90000 | 2147483647 84549 125 | 0.000 % |
347.90/348.15 c | 545190 | 900 18000 90000 | 2147483647 85422 125 | 0.000 % |
348.60/348.86 c | 546149 | 900 18000 90000 | 2147483647 86381 125 | 0.000 % |
349.30/349.60 c | 547203 | 900 18000 90000 | 2147483647 87435 125 | 0.000 % |
350.20/350.47 c | 548363 | 900 18000 90000 | 2147483647 88595 125 | 0.000 % |
351.10/351.39 c | 549636 | 900 18000 90000 | 2147483647 89868 125 | 0.000 % |
352.20/352.47 c | 551038 | 900 18000 90000 | 90233 78842 124 | 0.000 % |
353.30/353.53 c | 552578 | 900 18000 90000 | 90233 80382 124 | 0.000 % |
354.40/354.68 c | 554273 | 900 18000 90000 | 90233 82077 125 | 0.000 % |
355.80/356.09 c | 556136 | 900 18000 90000 | 90233 83940 125 | 0.000 % |
357.30/357.56 c | 558185 | 900 18000 90000 | 90233 85989 125 | 0.000 % |
359.00/359.29 c | 560438 | 900 18000 90000 | 87805 76523 124 | 0.000 % |
360.60/360.83 c | 562919 | 900 18000 90000 | 87805 79004 124 | 0.000 % |
362.39/362.64 c | 565646 | 900 18000 90000 | 87805 81731 125 | 0.000 % |
364.39/364.68 c | 568646 | 900 18000 90000 | 87805 84731 125 | 0.000 % |
366.79/367.01 c | 571945 | 900 18000 90000 | 86087 78166 125 | 0.000 % |
369.40/369.68 c | 575570 | 900 18000 90000 | 86087 81791 126 | 0.000 % |
372.29/372.59 c | 579558 | 900 18000 90000 | 86087 85779 126 | 0.000 % |
375.19/375.48 c | 583944 | 900 18000 90000 | 86221 79243 126 | 0.000 % |
378.49/378.76 c | 588768 | 900 18000 90000 | 86221 84067 126 | 0.000 % |
382.09/382.34 c | 594074 | 900 18000 90000 | 85299 79134 127 | 0.000 % |
382.19/382.44 c | 594175 | 900 18000 90000 | 85299 79235 127 | 0.000 % |
382.29/382.52 c | 594285 | 900 18000 90000 | 85299 79345 127 | 0.000 % |
382.39/382.61 c | 594407 | 900 18000 90000 | 85299 79467 127 | 0.000 % |
382.49/382.71 c | 594540 | 900 18000 90000 | 85299 79600 127 | 0.000 % |
382.59/382.83 c | 594687 | 900 18000 90000 | 85299 79747 126 | 0.000 % |
382.69/382.95 c | 594848 | 900 18000 90000 | 85299 79908 126 | 0.000 % |
382.79/383.09 c | 595024 | 900 18000 90000 | 85299 80084 126 | 0.000 % |
382.99/383.25 c | 595217 | 900 18000 90000 | 85299 80277 126 | 0.000 % |
383.19/383.41 c | 595430 | 900 18000 90000 | 85299 80490 126 | 0.000 % |
383.29/383.58 c | 595664 | 900 18000 90000 | 85299 80724 126 | 0.000 % |
383.49/383.76 c | 595921 | 900 18000 90000 | 85299 80981 126 | 0.000 % |
383.69/383.95 c | 596202 | 900 18000 90000 | 85299 81262 126 | 0.000 % |
383.88/384.15 c | 596513 | 900 18000 90000 | 85299 81573 126 | 0.000 % |
384.18/384.42 c | 596852 | 900 18000 90000 | 85299 81912 126 | 0.000 % |
384.38/384.68 c | 597224 | 900 18000 90000 | 85299 82284 126 | 0.000 % |
384.69/384.95 c | 597633 | 900 18000 90000 | 85299 82693 126 | 0.000 % |
384.98/385.26 c | 598082 | 900 18000 90000 | 85299 83142 126 | 0.000 % |
385.38/385.63 c | 598575 | 900 18000 90000 | 85299 83635 126 | 0.000 % |
385.79/386.05 c | 599118 | 900 18000 90000 | 85299 84178 126 | 0.000 % |
386.18/386.49 c | 599716 | 900 18000 90000 | 85299 84776 126 | 0.000 % |
386.78/387.04 c | 600371 | 900 18000 90000 | 85061 74713 126 | 0.000 % |
387.28/387.52 c | 601091 | 900 18000 90000 | 85061 75433 126 | 0.000 % |
387.78/388.08 c | 601885 | 900 18000 90000 | 85061 76227 126 | 0.000 % |
388.48/388.73 c | 602756 | 900 18000 90000 | 85061 77098 126 | 0.000 % |
389.09/389.31 c | 603715 | 900 18000 90000 | 85061 78057 126 | 0.000 % |
389.68/389.98 c | 604770 | 900 18000 90000 | 85061 79112 125 | 0.000 % |
390.48/390.75 c | 605929 | 900 18000 90000 | 85061 80271 125 | 0.000 % |
391.29/391.58 c | 607206 | 900 18000 90000 | 85061 81548 125 | 0.000 % |
392.18/392.46 c | 608606 | 900 18000 90000 | 85061 82948 125 | 0.000 % |
393.28/393.55 c | 610146 | 900 18000 90000 | 84342 84488 125 | 0.000 % |
394.38/394.66 c | 611842 | 900 18000 90000 | 84342 76571 125 | 0.000 % |
395.58/395.84 c | 613707 | 900 18000 90000 | 84342 78436 125 | 0.000 % |
396.88/397.20 c | 615756 | 900 18000 90000 | 84342 80485 125 | 0.000 % |
398.38/398.64 c | 618010 | 900 18000 90000 | 84342 82739 125 | 0.000 % |
400.18/400.44 c | 620491 | 900 18000 90000 | 75490 67749 127 | 0.000 % |
401.88/402.14 c | 623216 | 900 18000 90000 | 75490 70474 127 | 0.000 % |
403.78/404.03 c | 626213 | 900 18000 90000 | 75490 73471 127 | 0.000 % |
405.78/406.08 c | 629509 | 900 18000 90000 | 75490 69185 127 | 0.000 % |
407.98/408.22 c | 633135 | 900 18000 90000 | 2147483647 72811 127 | 0.000 % |
410.47/410.72 c | 637123 | 900 18000 90000 | 2147483647 76799 128 | 0.000 % |
413.47/413.71 c | 641510 | 900 18000 90000 | 2147483647 81186 128 | 0.000 % |
416.58/416.89 c | 646334 | 900 18000 90000 | 2147483647 86010 128 | 0.000 % |
420.57/420.80 c | 651640 | 900 18000 90000 | 89677 80085 128 | 0.000 % |
424.37/424.63 c | 657475 | 900 18000 90000 | 89677 85920 128 | 0.000 % |
424.47/424.72 c | 657579 | 900 18000 90000 | 89677 86024 128 | 0.000 % |
424.57/424.83 c | 657689 | 900 18000 90000 | 89677 86134 128 | 0.000 % |
424.67/424.94 c | 657811 | 900 18000 90000 | 89677 86256 128 | 0.000 % |
424.77/425.04 c | 657945 | 900 18000 90000 | 89677 86390 128 | 0.000 % |
424.87/425.15 c | 658091 | 900 18000 90000 | 89677 86536 128 | 0.000 % |
425.07/425.31 c | 658252 | 900 18000 90000 | 89677 86697 128 | 0.000 % |
425.17/425.46 c | 658430 | 900 18000 90000 | 89677 86875 128 | 0.000 % |
425.37/425.64 c | 658625 | 900 18000 90000 | 89677 87070 128 | 0.000 % |
425.57/425.80 c | 658837 | 900 18000 90000 | 89677 87282 128 | 0.000 % |
425.67/425.99 c | 659070 | 900 18000 90000 | 89677 87515 128 | 0.000 % |
425.97/426.23 c | 659327 | 900 18000 90000 | 89677 87772 128 | 0.000 % |
426.17/426.45 c | 659608 | 900 18000 90000 | 89677 88053 128 | 0.000 % |
426.37/426.69 c | 659917 | 900 18000 90000 | 89677 88362 128 | 0.000 % |
426.67/426.94 c | 660256 | 900 18000 90000 | 88446 88701 127 | 0.000 % |
426.97/427.26 c | 660628 | 900 18000 90000 | 88446 77504 127 | 0.000 % |
427.27/427.51 c | 661037 | 900 18000 90000 | 88446 77913 127 | 0.000 % |
427.57/427.85 c | 661486 | 900 18000 90000 | 88446 78362 127 | 0.000 % |
427.86/428.18 c | 661980 | 900 18000 90000 | 88446 78856 127 | 0.000 % |
428.26/428.53 c | 662523 | 900 18000 90000 | 88446 79399 127 | 0.000 % |
428.67/428.95 c | 663119 | 900 18000 90000 | 88446 79995 127 | 0.000 % |
429.16/429.41 c | 663776 | 900 18000 90000 | 88446 80652 127 | 0.000 % |
429.66/429.94 c | 664498 | 900 18000 90000 | 88446 81374 127 | 0.000 % |
430.16/430.48 c | 665292 | 900 18000 90000 | 88446 82168 127 | 0.000 % |
430.87/431.16 c | 666165 | 900 18000 90000 | 88446 83041 127 | 0.000 % |
431.56/431.84 c | 667124 | 900 18000 90000 | 88446 84000 126 | 0.000 % |
432.36/432.62 c | 668177 | 900 18000 90000 | 88446 85053 126 | 0.000 % |
433.17/433.41 c | 669335 | 900 18000 90000 | 88446 86211 126 | 0.000 % |
434.06/434.35 c | 670608 | 900 18000 90000 | 86877 76335 126 | 0.000 % |
434.96/435.22 c | 672009 | 900 18000 90000 | 86877 77736 126 | 0.000 % |
435.96/436.29 c | 673549 | 900 18000 90000 | 86877 79276 126 | 0.000 % |
437.26/437.50 c | 675243 | 900 18000 90000 | 86877 80970 126 | 0.000 % |
438.56/438.82 c | 677106 | 900 18000 90000 | 86877 82833 126 | 0.000 % |
439.96/440.24 c | 679157 | 900 18000 90000 | 86877 84884 126 | 0.000 % |
441.46/441.78 c | 681412 | 900 18000 90000 | 85729 76864 127 | 0.000 % |
443.16/443.41 c | 683891 | 900 18000 90000 | 85729 79343 127 | 0.000 % |
444.86/445.16 c | 686618 | 900 18000 90000 | 85729 82070 128 | 0.000 % |
446.86/447.17 c | 689617 | 900 18000 90000 | 85729 85069 128 | 0.000 % |
449.26/449.59 c | 692913 | 900 18000 90000 | 85452 78959 128 | 0.000 % |
451.86/452.14 c | 696538 | 900 18000 90000 | 85452 82584 128 | 0.000 % |
454.55/454.90 c | 700525 | 900 18000 90000 | 75868 67359 127 | 0.000 % |
457.26/457.60 c | 704911 | 900 18000 90000 | 75868 71745 127 | 0.000 % |
460.35/460.63 c | 709735 | 900 18000 90000 | 75868 68952 127 | 0.000 % |
463.45/463.78 c | 715040 | 900 18000 90000 | 2147483647 74257 127 | 0.000 % |
467.16/467.47 c | 720875 | 900 18000 90000 | 2147483647 80092 127 | 0.000 % |
471.85/472.18 c | 727293 | 900 18000 90000 | 2147483647 86510 128 | 0.000 % |
471.95/472.27 c | 727393 | 900 18000 90000 | 2147483647 86610 128 | 0.000 % |
472.05/472.37 c | 727503 | 900 18000 90000 | 2147483647 86720 128 | 0.000 % |
472.15/472.49 c | 727624 | 900 18000 90000 | 2147483647 86841 128 | 0.000 % |
472.35/472.61 c | 727758 | 900 18000 90000 | 2147483647 86975 128 | 0.000 % |
472.45/472.73 c | 727905 | 900 18000 90000 | 2147483647 87122 128 | 0.000 % |
472.55/472.86 c | 728065 | 900 18000 90000 | 2147483647 87282 127 | 0.000 % |
472.75/473.03 c | 728241 | 900 18000 90000 | 2147483647 87458 127 | 0.000 % |
472.85/473.18 c | 728434 | 900 18000 90000 | 2147483647 87651 127 | 0.000 % |
473.05/473.35 c | 728646 | 900 18000 90000 | 2147483647 87863 127 | 0.000 % |
473.25/473.55 c | 728879 | 900 18000 90000 | 2147483647 88096 127 | 0.000 % |
473.45/473.75 c | 729137 | 900 18000 90000 | 2147483647 88354 127 | 0.000 % |
473.65/473.99 c | 729418 | 900 18000 90000 | 2147483647 88635 127 | 0.000 % |
473.95/474.23 c | 729730 | 900 18000 90000 | 2147483647 88947 127 | 0.000 % |
474.25/474.50 c | 730070 | 900 18000 90000 | 89217 89287 127 | 0.000 % |
474.55/474.87 c | 730442 | 900 18000 90000 | 89217 77413 127 | 0.000 % |
474.85/475.15 c | 730852 | 900 18000 90000 | 89217 77823 127 | 0.000 % |
475.15/475.46 c | 731301 | 900 18000 90000 | 89217 78272 127 | 0.000 % |
475.55/475.82 c | 731794 | 900 18000 90000 | 89217 78765 127 | 0.000 % |
475.95/476.21 c | 732338 | 900 18000 90000 | 89217 79309 127 | 0.000 % |
476.34/476.66 c | 732935 | 900 18000 90000 | 89217 79906 127 | 0.000 % |
476.85/477.15 c | 733590 | 900 18000 90000 | 89217 80561 127 | 0.000 % |
477.45/477.72 c | 734310 | 900 18000 90000 | 89217 81281 127 | 0.000 % |
478.04/478.31 c | 735103 | 900 18000 90000 | 89217 82074 127 | 0.000 % |
478.64/478.90 c | 735974 | 900 18000 90000 | 89217 82945 127 | 0.000 % |
479.25/479.57 c | 736935 | 900 18000 90000 | 89217 83906 127 | 0.000 % |
480.04/480.32 c | 737991 | 900 18000 90000 | 89217 84962 127 | 0.000 % |
480.84/481.15 c | 739152 | 900 18000 90000 | 89217 86123 126 | 0.000 % |
481.74/482.09 c | 740425 | 900 18000 90000 | 86971 76136 128 | 0.000 % |
482.65/482.95 c | 741825 | 900 18000 90000 | 86971 77536 128 | 0.000 % |
483.75/484.01 c | 743365 | 900 18000 90000 | 86971 79076 128 | 0.000 % |
484.75/485.09 c | 745060 | 900 18000 90000 | 86971 80771 128 | 0.000 % |
486.14/486.44 c | 746924 | 900 18000 90000 | 86971 82635 128 | 0.000 % |
487.54/487.80 c | 748974 | 900 18000 90000 | 86971 84685 128 | 0.000 % |
489.14/489.49 c | 751228 | 900 18000 90000 | 85712 76285 129 | 0.000 % |
490.84/491.17 c | 753706 | 900 18000 90000 | 85712 78763 129 | 0.000 % |
492.64/492.92 c | 756432 | 900 18000 90000 | 85712 81489 129 | 0.000 % |
494.74/495.02 c | 759431 | 900 18000 90000 | 85712 84488 129 | 0.000 % |
497.04/497.38 c | 762729 | 900 18000 90000 | 85059 77937 128 | 0.000 % |
499.44/499.79 c | 766354 | 900 18000 90000 | 85059 81562 128 | 0.000 % |
502.24/502.58 c | 770342 | 900 18000 90000 | 85208 85550 128 | 0.000 % |
505.24/505.58 c | 774727 | 900 18000 90000 | 85208 80570 127 | 0.000 % |
508.53/508.89 c | 779550 | 900 18000 90000 | 85208 85393 128 | 0.000 % |
511.83/512.19 c | 784856 | 900 18000 90000 | 76098 72213 126 | 0.000 % |
515.63/515.92 c | 790691 | 900 18000 90000 | 2147483647 70323 126 | 0.000 % |
519.73/520.10 c | 797110 | 900 18000 90000 | 2147483647 76742 126 | 0.000 % |
524.73/525.07 c | 804169 | 900 18000 90000 | 2147483647 83801 127 | 0.000 % |
524.83/525.14 c | 804270 | 900 18000 90000 | 2147483647 83902 127 | 0.000 % |
524.93/525.22 c | 804380 | 900 18000 90000 | 2147483647 84012 127 | 0.000 % |
525.03/525.32 c | 804504 | 900 18000 90000 | 2147483647 84136 127 | 0.000 % |
525.13/525.44 c | 804637 | 900 18000 90000 | 2147483647 84269 127 | 0.000 % |
525.23/525.57 c | 804784 | 900 18000 90000 | 2147483647 84416 127 | 0.000 % |
525.33/525.69 c | 804945 | 900 18000 90000 | 2147483647 84577 127 | 0.000 % |
525.53/525.83 c | 805121 | 900 18000 90000 | 2147483647 84753 127 | 0.000 % |
525.63/525.98 c | 805319 | 900 18000 90000 | 2147483647 84951 127 | 0.000 % |
525.83/526.13 c | 805531 | 900 18000 90000 | 2147483647 85163 127 | 0.000 % |
526.03/526.34 c | 805764 | 900 18000 90000 | 2147483647 85396 127 | 0.000 % |
526.23/526.57 c | 806021 | 900 18000 90000 | 2147483647 85653 127 | 0.000 % |
526.53/526.82 c | 806302 | 900 18000 90000 | 2147483647 85934 127 | 0.000 % |
526.72/527.08 c | 806611 | 900 18000 90000 | 2147483647 86243 127 | 0.000 % |
527.02/527.32 c | 806950 | 900 18000 90000 | 2147483647 86582 127 | 0.000 % |
527.32/527.60 c | 807324 | 900 18000 90000 | 2147483647 86956 127 | 0.000 % |
527.63/527.91 c | 807735 | 900 18000 90000 | 2147483647 87367 127 | 0.000 % |
527.92/528.26 c | 808184 | 900 18000 90000 | 2147483647 87816 127 | 0.000 % |
528.32/528.64 c | 808677 | 900 18000 90000 | 2147483647 88309 127 | 0.000 % |
528.73/529.05 c | 809220 | 900 18000 90000 | 2147483647 88852 127 | 0.000 % |
529.22/529.50 c | 809817 | 900 18000 90000 | 2147483647 89449 127 | 0.000 % |
529.83/530.10 c | 810473 | 900 18000 90000 | 89637 77791 127 | 0.000 % |
530.32/530.62 c | 811193 | 900 18000 90000 | 89637 78511 127 | 0.000 % |
530.82/531.19 c | 811985 | 900 18000 90000 | 89637 79303 127 | 0.000 % |
531.42/531.79 c | 812857 | 900 18000 90000 | 89637 80175 127 | 0.000 % |
532.13/532.48 c | 813815 | 900 18000 90000 | 89637 81133 127 | 0.000 % |
532.92/533.22 c | 814869 | 900 18000 90000 | 89637 82187 127 | 0.000 % |
533.72/534.02 c | 816027 | 900 18000 90000 | 89637 83345 126 | 0.000 % |
534.72/535.01 c | 817301 | 900 18000 90000 | 89637 84619 126 | 0.000 % |
535.72/536.02 c | 818703 | 900 18000 90000 | 89637 86021 126 | 0.000 % |
536.72/537.08 c | 820243 | 900 18000 90000 | 87319 87561 126 | 0.000 % |
537.92/538.23 c | 821937 | 900 18000 90000 | 87319 77808 127 | 0.000 % |
539.02/539.38 c | 823801 | 900 18000 90000 | 87319 79672 126 | 0.000 % |
540.42/540.75 c | 825850 | 900 18000 90000 | 87319 81721 126 | 0.000 % |
542.02/542.39 c | 828103 | 900 18000 90000 | 87319 83974 126 | 0.000 % |
543.72/544.08 c | 830581 | 900 18000 90000 | 85871 76619 126 | 0.000 % |
545.52/545.87 c | 833306 | 900 18000 90000 | 85871 79344 126 | 0.000 % |
547.52/547.87 c | 836303 | 900 18000 90000 | 85871 82341 126 | 0.000 % |
549.72/550.08 c | 839600 | 900 18000 90000 | 85871 85638 127 | 0.000 % |
552.21/552.56 c | 843227 | 900 18000 90000 | 86039 79049 127 | 0.000 % |
555.01/555.38 c | 847215 | 900 18000 90000 | 86039 83037 127 | 0.000 % |
558.11/558.44 c | 851603 | 900 18000 90000 | 85822 76592 127 | 0.000 % |
561.11/561.49 c | 856426 | 900 18000 90000 | 85822 81415 128 | 0.000 % |
564.81/565.16 c | 861733 | 900 18000 90000 | 84989 77223 128 | 0.000 % |
568.81/569.13 c | 867568 | 900 18000 90000 | 84989 83058 129 | 0.000 % |
573.00/573.30 c | 873988 | 900 18000 90000 | 76630 72584 129 | 0.000 % |
577.30/577.60 c | 881049 | 900 18000 90000 | 2147483647 71950 130 | 0.000 % |
582.10/582.40 c | 888814 | 900 18000 90000 | 2147483647 79715 130 | 0.000 % |
582.10/582.47 c | 888914 | 900 18000 90000 | 2147483647 79815 130 | 0.000 % |
582.20/582.54 c | 889024 | 900 18000 90000 | 2147483647 79925 130 | 0.000 % |
582.30/582.64 c | 889145 | 900 18000 90000 | 2147483647 80046 130 | 0.000 % |
582.40/582.73 c | 889278 | 900 18000 90000 | 2147483647 80179 130 | 0.000 % |
582.50/582.85 c | 889425 | 900 18000 90000 | 2147483647 80326 130 | 0.000 % |
582.60/582.97 c | 889585 | 900 18000 90000 | 2147483647 80486 130 | 0.000 % |
582.80/583.11 c | 889761 | 900 18000 90000 | 2147483647 80662 130 | 0.000 % |
582.90/583.26 c | 889954 | 900 18000 90000 | 2147483647 80855 129 | 0.000 % |
583.10/583.40 c | 890167 | 900 18000 90000 | 80901 81068 129 | 0.000 % |
583.30/583.61 c | 890401 | 900 18000 90000 | 80901 72479 131 | 0.000 % |
583.40/583.78 c | 890657 | 900 18000 90000 | 80901 72735 131 | 0.000 % |
583.60/583.96 c | 890940 | 900 18000 90000 | 80901 73018 131 | 0.000 % |
583.80/584.16 c | 891252 | 900 18000 90000 | 80901 73330 130 | 0.000 % |
584.00/584.37 c | 891591 | 900 18000 90000 | 80901 73669 130 | 0.000 % |
584.30/584.64 c | 891964 | 900 18000 90000 | 80901 74042 130 | 0.000 % |
584.60/584.91 c | 892373 | 900 18000 90000 | 80901 74451 130 | 0.000 % |
584.90/585.21 c | 892823 | 900 18000 90000 | 80901 74901 130 | 0.000 % |
585.20/585.54 c | 893317 | 900 18000 90000 | 80901 75395 130 | 0.000 % |
585.60/585.90 c | 893859 | 900 18000 90000 | 80901 75937 130 | 0.000 % |
585.90/586.29 c | 894455 | 900 18000 90000 | 80901 76533 130 | 0.000 % |
586.40/586.71 c | 895110 | 900 18000 90000 | 80901 77188 130 | 0.000 % |
586.80/587.19 c | 895830 | 900 18000 90000 | 80901 77908 130 | 0.000 % |
587.40/587.70 c | 896622 | 900 18000 90000 | 80901 78700 130 | 0.000 % |
587.90/588.27 c | 897493 | 900 18000 90000 | 80901 79571 130 | 0.000 % |
588.50/588.89 c | 898452 | 900 18000 90000 | 80901 80530 130 | 0.000 % |
589.30/589.64 c | 899507 | 900 18000 90000 | 80901 73464 130 | 0.000 % |
590.10/590.42 c | 900665 | 900 18000 90000 | 2147483647 74622 130 | 0.000 % |
590.90/591.27 c | 901938 | 900 18000 90000 | 2147483647 75895 130 | 0.000 % |
591.80/592.18 c | 903339 | 900 18000 90000 | 2147483647 77296 130 | 0.000 % |
592.79/593.19 c | 904879 | 900 18000 90000 | 2147483647 78836 130 | 0.000 % |
593.99/594.32 c | 906573 | 900 18000 90000 | 2147483647 80530 130 | 0.000 % |
595.39/595.71 c | 908437 | 900 18000 90000 | 2147483647 82394 130 | 0.000 % |
596.79/597.12 c | 910486 | 900 18000 90000 | 83958 75448 130 | 0.000 % |
598.29/598.64 c | 912742 | 900 18000 90000 | 83958 77704 129 | 0.000 % |
599.99/600.30 c | 915220 | 900 18000 90000 | 83958 80182 129 | 0.000 % |
601.79/602.14 c | 917947 | 900 18000 90000 | 83958 82909 129 | 0.000 % |
603.89/604.27 c | 920944 | 900 18000 90000 | 75833 68753 129 | 0.000 % |
605.89/606.28 c | 924240 | 900 18000 90000 | 75833 72049 129 | 0.000 % |
608.29/608.67 c | 927865 | 900 18000 90000 | 75833 75674 129 | 0.000 % |
610.89/611.26 c | 931852 | 900 18000 90000 | 2147483647 72049 129 | 0.000 % |
613.59/613.96 c | 936238 | 900 18000 90000 | 2147483647 76435 129 | 0.000 % |
616.79/617.18 c | 941061 | 900 18000 90000 | 2147483647 81258 130 | 0.000 % |
620.79/621.12 c | 946368 | 900 18000 90000 | 2147483647 86565 130 | 0.000 % |
625.09/625.40 c | 952204 | 900 18000 90000 | 90198 80137 129 | 0.000 % |
629.69/630.01 c | 958622 | 900 18000 90000 | 90198 86555 130 | 0.000 % |
634.78/635.13 c | 965683 | 900 18000 90000 | 87934 81882 130 | 0.000 % |
640.08/640.41 c | 973447 | 900 18000 90000 | 86199 79091 131 | 0.000 % |
646.18/646.59 c | 981988 | 900 18000 90000 | 85644 77191 132 | 0.000 % |
646.28/646.66 c | 982089 | 900 18000 90000 | 85644 77292 132 | 0.000 % |
646.38/646.76 c | 982200 | 900 18000 90000 | 85644 77403 132 | 0.000 % |
646.48/646.85 c | 982321 | 900 18000 90000 | 85644 77524 132 | 0.000 % |
646.58/646.96 c | 982455 | 900 18000 90000 | 85644 77658 132 | 0.000 % |
646.68/647.08 c | 982604 | 900 18000 90000 | 85644 77807 132 | 0.000 % |
646.88/647.20 c | 982764 | 900 18000 90000 | 85644 77967 131 | 0.000 % |
646.98/647.34 c | 982942 | 900 18000 90000 | 85644 78145 131 | 0.000 % |
647.08/647.48 c | 983135 | 900 18000 90000 | 85644 78338 131 | 0.000 % |
647.28/647.63 c | 983348 | 900 18000 90000 | 85644 78551 131 | 0.000 % |
647.48/647.80 c | 983581 | 900 18000 90000 | 85644 78784 131 | 0.000 % |
647.68/648.00 c | 983838 | 900 18000 90000 | 85644 79041 131 | 0.000 % |
647.88/648.21 c | 984119 | 900 18000 90000 | 85644 79322 131 | 0.000 % |
648.08/648.43 c | 984429 | 900 18000 90000 | 85644 79632 131 | 0.000 % |
648.28/648.66 c | 984769 | 900 18000 90000 | 85644 79972 131 | 0.000 % |
648.59/648.91 c | 985141 | 900 18000 90000 | 85644 80344 131 | 0.000 % |
648.88/649.22 c | 985550 | 900 18000 90000 | 85644 80753 131 | 0.000 % |
649.28/649.61 c | 985999 | 900 18000 90000 | 85644 81202 131 | 0.000 % |
649.68/650.03 c | 986493 | 900 18000 90000 | 85644 81696 131 | 0.000 % |
650.08/650.41 c | 987035 | 900 18000 90000 | 85644 82238 131 | 0.000 % |
650.48/650.88 c | 987631 | 900 18000 90000 | 85644 82834 131 | 0.000 % |
650.98/651.34 c | 988287 | 900 18000 90000 | 85644 83490 131 | 0.000 % |
651.48/651.81 c | 989007 | 900 18000 90000 | 85644 84210 130 | 0.000 % |
652.08/652.40 c | 989799 | 900 18000 90000 | 85644 85002 130 | 0.000 % |
652.68/653.06 c | 990670 | 900 18000 90000 | 85207 74885 131 | 0.000 % |
653.28/653.68 c | 991628 | 900 18000 90000 | 85207 75843 131 | 0.000 % |
653.98/654.37 c | 992681 | 900 18000 90000 | 85207 76896 131 | 0.000 % |
654.78/655.13 c | 993840 | 900 18000 90000 | 85207 78055 131 | 0.000 % |
655.58/655.95 c | 995115 | 900 18000 90000 | 85207 79330 131 | 0.000 % |
656.58/656.90 c | 996515 | 900 18000 90000 | 85207 80730 131 | 0.000 % |
657.68/658.05 c | 998056 | 900 18000 90000 | 85207 82271 131 | 0.000 % |
658.88/659.21 c | 999750 | 900 18000 90000 | 85207 83965 130 | 0.000 % |
660.08/660.46 c | 1001614 | 900 18000 90000 | 84216 75546 130 | 0.000 % |
661.38/661.73 c | 1003663 | 900 18000 90000 | 84216 77595 130 | 0.000 % |
662.88/663.22 c | 1005917 | 900 18000 90000 | 84216 79849 130 | 0.000 % |
664.47/664.83 c | 1008396 | 900 18000 90000 | 84216 82328 129 | 0.000 % |
666.28/666.68 c | 1011122 | 900 18000 90000 | 83937 75895 129 | 0.000 % |
668.38/668.72 c | 1014119 | 900 18000 90000 | 83937 78892 129 | 0.000 % |
670.47/670.89 c | 1017415 | 900 18000 90000 | 83937 82188 128 | 0.000 % |
672.97/673.39 c | 1021040 | 900 18000 90000 | 76109 69370 127 | 0.000 % |
675.37/675.75 c | 1025028 | 900 18000 90000 | 76109 73358 127 | 0.000 % |
678.07/678.48 c | 1029414 | 900 18000 90000 | 76109 70102 127 | 0.000 % |
680.97/681.36 c | 1034239 | 900 18000 90000 | 2147483647 74927 127 | 0.000 % |
684.56/684.95 c | 1039548 | 900 18000 90000 | 2147483647 80236 127 | 0.000 % |
688.56/688.98 c | 1045384 | 900 18000 90000 | 2147483647 86072 127 | 0.000 % |
693.56/693.99 c | 1051803 | 900 18000 90000 | 90689 79820 127 | 0.000 % |
698.46/698.80 c | 1058862 | 900 18000 90000 | 90689 86879 127 | 0.000 % |
703.86/704.25 c | 1066626 | 900 18000 90000 | 88017 83047 127 | 0.000 % |
709.86/710.22 c | 1075166 | 900 18000 90000 | 86421 80848 128 | 0.000 % |
716.96/717.38 c | 1084560 | 900 18000 90000 | 85682 79936 129 | 0.000 % |
717.05/717.48 c | 1084660 | 900 18000 90000 | 85682 80036 129 | 0.000 % |
717.15/717.56 c | 1084770 | 900 18000 90000 | 85682 80146 129 | 0.000 % |
717.25/717.65 c | 1084891 | 900 18000 90000 | 85682 80267 129 | 0.000 % |
717.35/717.74 c | 1085026 | 900 18000 90000 | 85682 80402 129 | 0.000 % |
717.45/717.87 c | 1085173 | 900 18000 90000 | 85682 80549 129 | 0.000 % |
717.55/717.98 c | 1085335 | 900 18000 90000 | 85682 80711 129 | 0.000 % |
717.75/718.13 c | 1085512 | 900 18000 90000 | 85682 80888 129 | 0.000 % |
717.86/718.29 c | 1085705 | 900 18000 90000 | 85682 81081 129 | 0.000 % |
718.05/718.48 c | 1085917 | 900 18000 90000 | 85682 81293 129 | 0.000 % |
718.25/718.66 c | 1086153 | 900 18000 90000 | 85682 81529 129 | 0.000 % |
718.45/718.85 c | 1086409 | 900 18000 90000 | 85682 81785 129 | 0.000 % |
718.65/719.06 c | 1086692 | 900 18000 90000 | 85682 82068 129 | 0.000 % |
718.85/719.26 c | 1087001 | 900 18000 90000 | 85682 82377 129 | 0.000 % |
719.15/719.54 c | 1087341 | 900 18000 90000 | 85682 82717 129 | 0.000 % |
719.45/719.84 c | 1087714 | 900 18000 90000 | 85682 83090 129 | 0.000 % |
719.75/720.16 c | 1088123 | 900 18000 90000 | 85682 83499 128 | 0.000 % |
720.16/720.50 c | 1088572 | 900 18000 90000 | 85682 83948 128 | 0.000 % |
720.45/720.88 c | 1089065 | 900 18000 90000 | 85682 84441 128 | 0.000 % |
720.95/721.31 c | 1089607 | 900 18000 90000 | 85682 84983 128 | 0.000 % |
721.35/721.70 c | 1090203 | 900 18000 90000 | 85376 85579 128 | 0.000 % |
721.75/722.16 c | 1090858 | 900 18000 90000 | 85376 75314 129 | 0.000 % |
722.26/722.69 c | 1091578 | 900 18000 90000 | 85376 76034 128 | 0.000 % |
722.85/723.24 c | 1092372 | 900 18000 90000 | 85376 76828 128 | 0.000 % |
723.46/723.82 c | 1093247 | 900 18000 90000 | 85376 77703 128 | 0.000 % |
724.05/724.45 c | 1094206 | 900 18000 90000 | 85376 78662 128 | 0.000 % |
724.75/725.14 c | 1095259 | 900 18000 90000 | 85376 79715 128 | 0.000 % |
725.55/725.93 c | 1096418 | 900 18000 90000 | 85376 80874 128 | 0.000 % |
726.35/726.79 c | 1097692 | 900 18000 90000 | 85376 82148 128 | 0.000 % |
727.35/727.73 c | 1099092 | 900 18000 90000 | 85376 83548 128 | 0.000 % |
728.55/728.96 c | 1100634 | 900 18000 90000 | 84456 75324 128 | 0.000 % |
729.65/730.09 c | 1102328 | 900 18000 90000 | 84456 77018 128 | 0.000 % |
730.95/731.34 c | 1104192 | 900 18000 90000 | 84456 78882 128 | 0.000 % |
732.25/732.65 c | 1106242 | 900 18000 90000 | 84456 80932 128 | 0.000 % |
733.75/734.19 c | 1108496 | 900 18000 90000 | 84456 83186 128 | 0.000 % |
735.55/735.99 c | 1110974 | 900 18000 90000 | 84693 75863 127 | 0.000 % |
737.45/737.82 c | 1113699 | 900 18000 90000 | 84693 78588 127 | 0.000 % |
739.34/739.74 c | 1116698 | 900 18000 90000 | 84693 81587 128 | 0.000 % |
741.54/741.99 c | 1119994 | 900 18000 90000 | 84693 84883 128 | 0.000 % |
743.84/744.29 c | 1123619 | 900 18000 90000 | 75826 71453 127 | 0.000 % |
746.34/746.70 c | 1127607 | 900 18000 90000 | 75826 75441 127 | 0.000 % |
748.94/749.39 c | 1131992 | 900 18000 90000 | 2147483647 72213 127 | 0.000 % |
752.14/752.59 c | 1136815 | 900 18000 90000 | 2147483647 77036 127 | 0.000 % |
755.84/756.25 c | 1142120 | 900 18000 90000 | 2147483647 82341 127 | 0.000 % |
759.84/760.29 c | 1147955 | 900 18000 90000 | 2147483647 88176 127 | 0.000 % |
764.73/765.11 c | 1154374 | 900 18000 90000 | 90222 84164 126 | 0.000 % |
769.83/770.22 c | 1161433 | 900 18000 90000 | 89790 80058 125 | 0.000 % |
775.43/775.82 c | 1169197 | 900 18000 90000 | 89790 87822 126 | 0.000 % |
781.63/782.08 c | 1177740 | 900 18000 90000 | 88626 84802 128 | 0.000 % |
788.73/789.10 c | 1187135 | 900 18000 90000 | 87062 83046 129 | 0.000 % |
796.72/797.19 c | 1197468 | 900 18000 90000 | 85911 82159 129 | 0.000 % |
796.82/797.28 c | 1197568 | 900 18000 90000 | 85911 82259 129 | 0.000 % |
796.92/797.37 c | 1197678 | 900 18000 90000 | 85911 82369 129 | 0.000 % |
797.03/797.46 c | 1197799 | 900 18000 90000 | 85911 82490 129 | 0.000 % |
797.13/797.56 c | 1197932 | 900 18000 90000 | 85911 82623 129 | 0.000 % |
797.22/797.68 c | 1198080 | 900 18000 90000 | 85911 82771 128 | 0.000 % |
797.42/797.80 c | 1198240 | 900 18000 90000 | 85911 82931 128 | 0.000 % |
797.52/797.94 c | 1198416 | 900 18000 90000 | 85911 83107 128 | 0.000 % |
797.62/798.09 c | 1198610 | 900 18000 90000 | 85911 83301 128 | 0.000 % |
797.82/798.24 c | 1198822 | 900 18000 90000 | 85911 83513 128 | 0.000 % |
798.02/798.42 c | 1199055 | 900 18000 90000 | 85911 83746 128 | 0.000 % |
798.23/798.61 c | 1199311 | 900 18000 90000 | 85911 84002 128 | 0.000 % |
798.42/798.84 c | 1199592 | 900 18000 90000 | 85911 84283 128 | 0.000 % |
798.62/799.08 c | 1199901 | 900 18000 90000 | 85911 84592 128 | 0.000 % |
798.92/799.36 c | 1200240 | 900 18000 90000 | 84692 84931 128 | 0.000 % |
799.23/799.65 c | 1200613 | 900 18000 90000 | 84692 73625 128 | 0.000 % |
799.52/799.92 c | 1201023 | 900 18000 90000 | 84692 74035 128 | 0.000 % |
799.82/800.22 c | 1201472 | 900 18000 90000 | 84692 74484 128 | 0.000 % |
800.12/800.53 c | 1201967 | 900 18000 90000 | 84692 74979 128 | 0.000 % |
800.43/800.88 c | 1202510 | 900 18000 90000 | 84692 75522 128 | 0.000 % |
800.92/801.32 c | 1203109 | 900 18000 90000 | 84692 76121 128 | 0.000 % |
801.32/801.72 c | 1203764 | 900 18000 90000 | 84692 76776 128 | 0.000 % |
801.82/802.21 c | 1204484 | 900 18000 90000 | 84692 77496 128 | 0.000 % |
802.32/802.75 c | 1205279 | 900 18000 90000 | 84692 78291 128 | 0.000 % |
802.82/803.29 c | 1206152 | 900 18000 90000 | 84692 79164 127 | 0.000 % |
803.52/803.93 c | 1207111 | 900 18000 90000 | 84692 80123 127 | 0.000 % |
804.22/804.63 c | 1208164 | 900 18000 90000 | 84692 81176 127 | 0.000 % |
804.92/805.39 c | 1209323 | 900 18000 90000 | 84692 82335 127 | 0.000 % |
805.92/806.31 c | 1210596 | 900 18000 90000 | 83012 74013 127 | 0.000 % |
806.72/807.14 c | 1211996 | 900 18000 90000 | 83012 75413 127 | 0.000 % |
807.82/808.20 c | 1213537 | 900 18000 90000 | 83012 76954 127 | 0.000 % |
808.92/809.35 c | 1215233 | 900 18000 90000 | 83012 78650 127 | 0.000 % |
810.12/810.50 c | 1217096 | 900 18000 90000 | 83012 80513 127 | 0.000 % |
811.32/811.77 c | 1219146 | 900 18000 90000 | 83012 82563 127 | 0.000 % |
812.72/813.18 c | 1221402 | 900 18000 90000 | 74125 67613 127 | 0.000 % |
814.22/814.60 c | 1223880 | 900 18000 90000 | 74125 70091 127 | 0.000 % |
815.82/816.24 c | 1226605 | 900 18000 90000 | 74125 72816 127 | 0.000 % |
817.61/818.04 c | 1229604 | 900 18000 90000 | 74125 68371 127 | 0.000 % |
819.51/819.98 c | 1232900 | 900 18000 90000 | 2147483647 71667 127 | 0.000 % |
821.71/822.19 c | 1236526 | 900 18000 90000 | 2147483647 75293 127 | 0.000 % |
824.11/824.54 c | 1240513 | 900 18000 90000 | 2147483647 79280 128 | 0.000 % |
826.91/827.34 c | 1244898 | 900 18000 90000 | 2147483647 83665 127 | 0.000 % |
830.21/830.64 c | 1249722 | 900 18000 90000 | 2147483647 88489 128 | 0.000 % |
834.01/834.45 c | 1255027 | 900 18000 90000 | 88768 83160 127 | 0.000 % |
838.00/838.49 c | 1260862 | 900 18000 90000 | 88134 76806 126 | 0.000 % |
842.00/842.44 c | 1267280 | 900 18000 90000 | 88134 83224 127 | 0.000 % |
846.80/847.24 c | 1274339 | 900 18000 90000 | 85944 79182 127 | 0.000 % |
852.10/852.57 c | 1282103 | 900 18000 90000 | 84843 76847 130 | 0.000 % |
858.30/858.72 c | 1290643 | 900 18000 90000 | 84746 75022 131 | 0.000 % |
865.40/865.84 c | 1300037 | 900 18000 90000 | 84379 84416 132 | 0.000 % |
872.29/872.72 c | 1310371 | 900 18000 90000 | 83835 73283 134 | 0.000 % |
879.50/880.00 c | 1321737 | 900 18000 90000 | 82912 75999 134 | 0.000 % |
879.60/880.07 c | 1321838 | 900 18000 90000 | 82912 76100 134 | 0.000 % |
879.69/880.15 c | 1321950 | 900 18000 90000 | 82912 76212 134 | 0.000 % |
879.79/880.23 c | 1322073 | 900 18000 90000 | 82912 76335 134 | 0.000 % |
879.89/880.35 c | 1322210 | 900 18000 90000 | 82912 76472 134 | 0.000 % |
879.99/880.47 c | 1322356 | 900 18000 90000 | 82912 76618 134 | 0.000 % |
880.09/880.59 c | 1322516 | 900 18000 90000 | 82912 76778 134 | 0.000 % |
880.29/880.75 c | 1322692 | 900 18000 90000 | 82912 76954 134 | 0.000 % |
880.39/880.89 c | 1322885 | 900 18000 90000 | 82912 77147 134 | 0.000 % |
880.60/881.06 c | 1323098 | 900 18000 90000 | 82912 77360 134 | 0.000 % |
880.79/881.23 c | 1323333 | 900 18000 90000 | 82912 77595 134 | 0.000 % |
880.99/881.43 c | 1323589 | 900 18000 90000 | 82912 77851 134 | 0.000 % |
881.19/881.65 c | 1323870 | 900 18000 90000 | 82912 78132 134 | 0.000 % |
881.39/881.88 c | 1324181 | 900 18000 90000 | 82912 78443 133 | 0.000 % |
881.59/882.08 c | 1324520 | 900 18000 90000 | 82912 78782 133 | 0.000 % |
881.89/882.36 c | 1324892 | 900 18000 90000 | 82912 79154 133 | 0.000 % |
882.19/882.67 c | 1325302 | 900 18000 90000 | 82912 79564 133 | 0.000 % |
882.49/882.97 c | 1325752 | 900 18000 90000 | 82912 80014 133 | 0.000 % |
882.89/883.34 c | 1326246 | 900 18000 90000 | 82912 80508 133 | 0.000 % |
883.29/883.72 c | 1326788 | 900 18000 90000 | 82912 81050 133 | 0.000 % |
883.69/884.10 c | 1327386 | 900 18000 90000 | 82912 81648 133 | 0.000 % |
884.09/884.56 c | 1328042 | 900 18000 90000 | 82912 82304 133 | 0.000 % |
884.70/885.12 c | 1328763 | 900 18000 90000 | 82912 83025 133 | 0.000 % |
885.30/885.71 c | 1329556 | 900 18000 90000 | 82912 73867 133 | 0.000 % |
885.90/886.32 c | 1330427 | 900 18000 90000 | 74311 66069 132 | 0.000 % |
886.40/886.87 c | 1331386 | 900 18000 90000 | 74311 67028 132 | 0.000 % |
887.10/887.51 c | 1332441 | 900 18000 90000 | 74311 68083 132 | 0.000 % |
887.70/888.16 c | 1333599 | 900 18000 90000 | 74311 69241 132 | 0.000 % |
888.49/888.94 c | 1334873 | 900 18000 90000 | 74311 70515 132 | 0.000 % |
889.40/889.85 c | 1336273 | 900 18000 90000 | 74311 71915 132 | 0.000 % |
890.29/890.79 c | 1337816 | 900 18000 90000 | 74311 73458 132 | 0.000 % |
891.39/891.85 c | 1339511 | 900 18000 90000 | 74311 67690 131 | 0.000 % |
892.49/892.97 c | 1341375 | 900 18000 90000 | 2147483647 69554 131 | 0.000 % |
893.69/894.16 c | 1343424 | 900 18000 90000 | 2147483647 71603 131 | 0.000 % |
895.00/895.49 c | 1345679 | 900 18000 90000 | 2147483647 73858 131 | 0.000 % |
896.49/896.98 c | 1348158 | 900 18000 90000 | 2147483647 76337 131 | 0.000 % |
898.30/898.71 c | 1350883 | 900 18000 90000 | 2147483647 79062 131 | 0.000 % |
900.19/900.67 c | 1353880 | 900 18000 90000 | 2147483647 82059 131 | 0.000 % |
902.49/902.90 c | 1357176 | 900 18000 90000 | 2147483647 85355 131 | 0.000 % |
904.99/905.49 c | 1360801 | 900 18000 90000 | 88179 79333 130 | 0.000 % |
907.89/908.38 c | 1364789 | 900 18000 90000 | 88179 83321 130 | 0.000 % |
911.09/911.51 c | 1369174 | 900 18000 90000 | 88179 87706 129 | 0.000 % |
914.29/914.71 c | 1373997 | 900 18000 90000 | 77679 72256 127 | 0.000 % |
917.68/918.15 c | 1379303 | 900 18000 90000 | 77679 77562 128 | 0.000 % |
921.29/921.78 c | 1385138 | 900 18000 90000 | 2147483647 75600 127 | 0.000 % |
925.69/926.16 c | 1391556 | 900 18000 90000 | 2147483647 82018 127 | 0.000 % |
930.78/931.21 c | 1398615 | 900 18000 90000 | 2147483647 89077 127 | 0.000 % |
936.38/936.82 c | 1406382 | 900 18000 90000 | 90463 84760 128 | 0.000 % |
942.18/942.62 c | 1414922 | 900 18000 90000 | 88378 81772 129 | 0.000 % |
949.07/949.51 c | 1424317 | 900 18000 90000 | 86850 79802 130 | 0.000 % |
956.97/957.46 c | 1434650 | 900 18000 90000 | 85486 78825 132 | 0.000 % |
965.57/966.09 c | 1446017 | 900 18000 90000 | 84178 79303 133 | 0.000 % |
973.57/974.05 c | 1458520 | 900 18000 90000 | 83287 81405 133 | 0.000 % |
973.67/974.12 c | 1458621 | 900 18000 90000 | 83287 81506 133 | 0.000 % |
973.77/974.20 c | 1458731 | 900 18000 90000 | 83287 81616 133 | 0.000 % |
973.77/974.29 c | 1458853 | 900 18000 90000 | 83287 81738 133 | 0.000 % |
973.87/974.40 c | 1458988 | 900 18000 90000 | 83287 81873 133 | 0.000 % |
973.97/974.50 c | 1459136 | 900 18000 90000 | 83287 82021 132 | 0.000 % |
974.17/974.61 c | 1459296 | 900 18000 90000 | 83287 82181 132 | 0.000 % |
974.27/974.74 c | 1459475 | 900 18000 90000 | 83287 82360 132 | 0.000 % |
974.37/974.88 c | 1459669 | 900 18000 90000 | 83287 82554 132 | 0.000 % |
974.57/975.02 c | 1459882 | 900 18000 90000 | 83287 82767 132 | 0.000 % |
974.67/975.20 c | 1460116 | 900 18000 90000 | 82885 83001 132 | 0.000 % |
974.97/975.44 c | 1460372 | 900 18000 90000 | 82885 73199 133 | 0.000 % |
975.17/975.66 c | 1460655 | 900 18000 90000 | 82885 73482 133 | 0.000 % |
975.36/975.87 c | 1460964 | 900 18000 90000 | 82885 73791 133 | 0.000 % |
975.56/976.09 c | 1461303 | 900 18000 90000 | 82885 74130 133 | 0.000 % |
975.86/976.34 c | 1461675 | 900 18000 90000 | 82885 74502 132 | 0.000 % |
976.16/976.60 c | 1462085 | 900 18000 90000 | 82885 74912 132 | 0.000 % |
976.46/976.91 c | 1462534 | 900 18000 90000 | 82885 75361 132 | 0.000 % |
976.76/977.26 c | 1463028 | 900 18000 90000 | 82885 75855 132 | 0.000 % |
977.16/977.66 c | 1463570 | 900 18000 90000 | 82885 76397 132 | 0.000 % |
977.56/978.08 c | 1464167 | 900 18000 90000 | 82885 76994 132 | 0.000 % |
978.06/978.56 c | 1464822 | 900 18000 90000 | 82885 77649 132 | 0.000 % |
978.47/979.00 c | 1465542 | 900 18000 90000 | 82885 78369 132 | 0.000 % |
979.06/979.58 c | 1466334 | 900 18000 90000 | 82885 79161 132 | 0.000 % |
979.66/980.17 c | 1467206 | 900 18000 90000 | 82885 80033 132 | 0.000 % |
980.36/980.82 c | 1468164 | 900 18000 90000 | 82885 80991 132 | 0.000 % |
981.06/981.53 c | 1469218 | 900 18000 90000 | 82885 82045 132 | 0.000 % |
981.86/982.38 c | 1470376 | 900 18000 90000 | 82828 73525 131 | 0.000 % |
982.66/983.15 c | 1471649 | 900 18000 90000 | 82828 74798 131 | 0.000 % |
983.56/984.07 c | 1473050 | 900 18000 90000 | 82828 76199 131 | 0.000 % |
984.56/985.10 c | 1474590 | 900 18000 90000 | 82828 77739 131 | 0.000 % |
985.76/986.23 c | 1476285 | 900 18000 90000 | 82828 79434 131 | 0.000 % |
986.96/987.44 c | 1478148 | 900 18000 90000 | 82828 81297 131 | 0.000 % |
988.46/988.90 c | 1480197 | 900 18000 90000 | 73942 74138 130 | 0.000 % |
989.76/990.27 c | 1482451 | 900 18000 90000 | 73942 68296 130 | 0.000 % |
991.16/991.64 c | 1484929 | 900 18000 90000 | 73942 70774 129 | 0.000 % |
992.76/993.26 c | 1487654 | 900 18000 90000 | 73942 73499 129 | 0.000 % |
994.55/995.07 c | 1490652 | 900 18000 90000 | 2147483647 69072 129 | 0.000 % |
996.45/996.99 c | 1493948 | 900 18000 90000 | 2147483647 72368 129 | 0.000 % |
998.65/999.16 c | 1497573 | 900 18000 90000 | 2147483647 75993 129 | 0.000 % |
1001.15/1001.64 c | 1501560 | 900 18000 90000 | 2147483647 79980 129 | 0.000 % |
1004.15/1004.67 c | 1505947 | 900 18000 90000 | 2147483647 84367 129 | 0.000 % |
1007.65/1008.17 c | 1510771 | 900 18000 90000 | 88420 77667 128 | 0.000 % |
1011.35/1011.81 c | 1516077 | 900 18000 90000 | 88420 82973 128 | 0.000 % |
1015.65/1016.15 c | 1521912 | 900 18000 90000 | 86897 76933 127 | 0.000 % |
1020.25/1020.78 c | 1528330 | 900 18000 90000 | 86897 83351 128 | 0.000 % |
1025.35/1025.82 c | 1535389 | 900 18000 90000 | 85022 78842 128 | 0.000 % |
1030.54/1031.04 c | 1543155 | 900 18000 90000 | 83453 76115 129 | 0.000 % |
1036.44/1036.90 c | 1551696 | 900 18000 90000 | 82960 74860 130 | 0.000 % |
1042.84/1043.37 c | 1561090 | 900 18000 90000 | 83164 75527 131 | 0.000 % |
1050.04/1050.51 c | 1571426 | 900 18000 90000 | 74906 67754 132 | 0.000 % |
1057.44/1057.98 c | 1582792 | 900 18000 90000 | 2147483647 71598 133 | 0.000 % |
1065.93/1066.47 c | 1595294 | 900 18000 90000 | 2147483647 84100 133 | 0.000 % |
1076.12/1076.65 c | 1609046 | 900 18000 90000 | 88807 86828 133 | 0.000 % |
1076.22/1076.75 c | 1609148 | 900 18000 90000 | 88807 86930 133 | 0.000 % |
1076.33/1076.82 c | 1609258 | 900 18000 90000 | 88807 87040 133 | 0.000 % |
1076.43/1076.93 c | 1609379 | 900 18000 90000 | 88807 87161 133 | 0.000 % |
1076.52/1077.05 c | 1609512 | 900 18000 90000 | 88807 87294 133 | 0.000 % |
1076.62/1077.20 c | 1609658 | 900 18000 90000 | 88807 87440 133 | 0.000 % |
1076.82/1077.34 c | 1609818 | 900 18000 90000 | 88807 87600 133 | 0.000 % |
1076.92/1077.49 c | 1609994 | 900 18000 90000 | 88807 87776 133 | 0.000 % |
1077.12/1077.67 c | 1610189 | 900 18000 90000 | 87782 87971 133 | 0.000 % |
1077.32/1077.89 c | 1610403 | 900 18000 90000 | 87782 75995 133 | 0.000 % |
1077.53/1078.04 c | 1610638 | 900 18000 90000 | 87782 76230 133 | 0.000 % |
1077.72/1078.21 c | 1610894 | 900 18000 90000 | 87782 76486 133 | 0.000 % |
1077.82/1078.39 c | 1611175 | 900 18000 90000 | 87782 76767 133 | 0.000 % |
1078.02/1078.58 c | 1611484 | 900 18000 90000 | 87782 77076 133 | 0.000 % |
1078.32/1078.83 c | 1611823 | 900 18000 90000 | 87782 77415 132 | 0.000 % |
1078.53/1079.08 c | 1612197 | 900 18000 90000 | 87782 77789 132 | 0.000 % |
1078.82/1079.34 c | 1612606 | 900 18000 90000 | 87782 78198 132 | 0.000 % |
1079.12/1079.64 c | 1613056 | 900 18000 90000 | 87782 78648 132 | 0.000 % |
1079.52/1080.01 c | 1613549 | 900 18000 90000 | 87782 79141 132 | 0.000 % |
1079.82/1080.39 c | 1614092 | 900 18000 90000 | 87782 79684 132 | 0.000 % |
1080.32/1080.85 c | 1614688 | 900 18000 90000 | 87782 80280 132 | 0.000 % |
1080.82/1081.31 c | 1615344 | 900 18000 90000 | 87782 80936 132 | 0.000 % |
1081.32/1081.80 c | 1616064 | 900 18000 90000 | 87782 81656 132 | 0.000 % |
1081.82/1082.37 c | 1616857 | 900 18000 90000 | 87782 82449 132 | 0.000 % |
1082.42/1082.99 c | 1617728 | 900 18000 90000 | 87782 83320 132 | 0.000 % |
1083.12/1083.67 c | 1618686 | 900 18000 90000 | 87782 84278 131 | 0.000 % |
1083.92/1084.42 c | 1619742 | 900 18000 90000 | 87782 85334 131 | 0.000 % |
1084.82/1085.35 c | 1620902 | 900 18000 90000 | 85592 75599 131 | 0.000 % |
1085.62/1086.18 c | 1622175 | 900 18000 90000 | 85592 76872 131 | 0.000 % |
1086.62/1087.10 c | 1623579 | 900 18000 90000 | 85592 78276 131 | 0.000 % |
1087.62/1088.17 c | 1625120 | 900 18000 90000 | 85592 79817 131 | 0.000 % |
1088.72/1089.29 c | 1626814 | 900 18000 90000 | 85592 81511 131 | 0.000 % |
1090.02/1090.54 c | 1628677 | 900 18000 90000 | 85592 83374 131 | 0.000 % |
1091.52/1092.07 c | 1630726 | 900 18000 90000 | 84698 75590 131 | 0.000 % |
1093.02/1093.59 c | 1632979 | 900 18000 90000 | 84698 77843 131 | 0.000 % |
1094.62/1095.14 c | 1635458 | 900 18000 90000 | 84698 80322 130 | 0.000 % |
1096.42/1096.94 c | 1638184 | 900 18000 90000 | 84698 83048 130 | 0.000 % |
1098.42/1098.99 c | 1641182 | 900 18000 90000 | 84866 76489 130 | 0.000 % |
1100.62/1101.10 c | 1644478 | 900 18000 90000 | 84866 79785 130 | 0.000 % |
1103.01/1103.58 c | 1648104 | 900 18000 90000 | 84866 83411 130 | 0.000 % |
1105.81/1106.35 c | 1652091 | 900 18000 90000 | 75922 69719 128 | 0.000 % |
1108.51/1109.09 c | 1656476 | 900 18000 90000 | 75922 74104 128 | 0.000 % |
1111.62/1112.11 c | 1661299 | 900 18000 90000 | 2147483647 71305 127 | 0.000 % |
1114.81/1115.37 c | 1666606 | 900 18000 90000 | 2147483647 76612 127 | 0.000 % |
1118.91/1119.42 c | 1672441 | 900 18000 90000 | 2147483647 82447 127 | 0.000 % |
1123.51/1124.01 c | 1678859 | 900 18000 90000 | 2147483647 88865 128 | 0.000 % |
1128.31/1128.88 c | 1685920 | 900 18000 90000 | 90006 84578 127 | 0.000 % |
1134.00/1134.56 c | 1693686 | 900 18000 90000 | 88658 81024 128 | 0.000 % |
1140.21/1140.75 c | 1702229 | 900 18000 90000 | 87340 78773 129 | 0.000 % |
1147.00/1147.58 c | 1711623 | 900 18000 90000 | 86545 77773 129 | 0.000 % |
1154.80/1155.32 c | 1721956 | 900 18000 90000 | 86153 77607 131 | 0.000 % |
1163.90/1164.46 c | 1733324 | 900 18000 90000 | 85652 77493 133 | 0.000 % |
1173.79/1174.30 c | 1745826 | 900 18000 90000 | 84169 78397 134 | 0.000 % |
1184.49/1185.03 c | 1759581 | 900 18000 90000 | 82572 80746 134 | 0.000 % |
1193.49/1194.08 c | 1774709 | 900 18000 90000 | 80846 75678 135 | 0.000 % |
1193.59/1194.15 c | 1774809 | 900 18000 90000 | 80846 75778 135 | 0.000 % |
1193.69/1194.23 c | 1774924 | 900 18000 90000 | 80846 75893 135 | 0.000 % |
1193.79/1194.31 c | 1775046 | 900 18000 90000 | 80846 76015 135 | 0.000 % |
1193.89/1194.43 c | 1775179 | 900 18000 90000 | 80846 76148 135 | 0.000 % |
1193.99/1194.52 c | 1775326 | 900 18000 90000 | 80846 76295 135 | 0.000 % |
1194.09/1194.64 c | 1775487 | 900 18000 90000 | 80846 76456 135 | 0.000 % |
1194.29/1194.80 c | 1775664 | 900 18000 90000 | 80846 76633 135 | 0.000 % |
1194.39/1194.94 c | 1775859 | 900 18000 90000 | 80846 76828 135 | 0.000 % |
1194.48/1195.08 c | 1776071 | 900 18000 90000 | 80846 77040 135 | 0.000 % |
1194.68/1195.25 c | 1776304 | 900 18000 90000 | 80846 77273 135 | 0.000 % |
1194.88/1195.41 c | 1776562 | 900 18000 90000 | 80846 77531 135 | 0.000 % |
1195.09/1195.62 c | 1776844 | 900 18000 90000 | 80846 77813 135 | 0.000 % |
1195.29/1195.85 c | 1777153 | 900 18000 90000 | 80846 78122 135 | 0.000 % |
1195.49/1196.07 c | 1777492 | 900 18000 90000 | 80846 78461 135 | 0.000 % |
1195.79/1196.32 c | 1777865 | 900 18000 90000 | 80846 78834 134 | 0.000 % |
1195.99/1196.59 c | 1778275 | 900 18000 90000 | 80846 79244 134 | 0.000 % |
1196.29/1196.89 c | 1778726 | 900 18000 90000 | 80846 79695 134 | 0.000 % |
1196.68/1197.26 c | 1779220 | 900 18000 90000 | 80846 80189 134 | 0.000 % |
1197.08/1197.65 c | 1779764 | 900 18000 90000 | 80846 80733 134 | 0.000 % |
1197.48/1198.09 c | 1780360 | 900 18000 90000 | 80969 71312 134 | 0.000 % |
1197.98/1198.52 c | 1781018 | 900 18000 90000 | 80969 71970 134 | 0.000 % |
1198.49/1199.03 c | 1781739 | 900 18000 90000 | 80969 72691 134 | 0.000 % |
1198.98/1199.54 c | 1782531 | 900 18000 90000 | 80969 73483 134 | 0.000 % |
1199.49/1200.09 c | 1783404 | 900 18000 90000 | 80969 74356 134 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832519-1242780889/watcher-1832519-1242780889 -o /tmp/evaluation-result-1832519-1242780889/solver-1832519-1242780889 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832519-1242780889.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 26165
/proc/meminfo: memFree=1498304/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 276 0 0 0 0 0 0 0 19 0 1 0 306118360 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 251279409234 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/26165/statm: 1339 235 195 169 0 50 0
[pid=26166] ppid=26165 vsize=5356 CPUtime=0
/proc/26166/stat : 26166 (SatELiteGTI) S 26165 26165 26058 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 306118361 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/26166/statm: 1339 238 198 169 0 50 0
[pid=26168] ppid=26166 vsize=5356 CPUtime=0
/proc/26168/stat : 26168 (SatELiteGTI) R 26166 26165 26058 0 -1 4194368 19 0 0 0 0 0 0 0 22 0 1 0 306118361 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279240487 0 0 4096 0 0 0 0 17 1 0 0
/proc/26168/statm: 1339 239 199 169 0 50 0
[startup+0.026334 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 26165
/proc/meminfo: memFree=1498304/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 306118360 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26165/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101342 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 26165
/proc/meminfo: memFree=1498304/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.301369 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 26165
/proc/meminfo: memFree=1498304/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.701419 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 26165
/proc/meminfo: memFree=1498304/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50152 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26171
/proc/meminfo: memFree=1492976/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
[pid=26171] ppid=26165 vsize=6452 CPUtime=1.43
/proc/26171/stat : 26171 (minisat_static) R 26165 26165 26058 0 -1 4194304 1378 0 0 0 143 0 0 0 25 0 1 0 306118366 6606848 1364 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/26171/statm: 1613 1364 77 171 0 1440 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11808
[startup+3.10172 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26171
/proc/meminfo: memFree=1490352/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
[pid=26171] ppid=26165 vsize=11072 CPUtime=3.04
/proc/26171/stat : 26171 (minisat_static) R 26165 26165 26058 0 -1 4194304 2534 0 0 0 303 1 0 0 25 0 1 0 306118366 11337728 2520 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26171/statm: 2768 2520 77 171 0 2595 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 16428
[startup+6.30112 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26171
/proc/meminfo: memFree=1482736/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
[pid=26171] ppid=26165 vsize=17452 CPUtime=6.24
/proc/26171/stat : 26171 (minisat_static) R 26165 26165 26058 0 -1 4194304 4106 0 0 0 622 2 0 0 25 0 1 0 306118366 17870848 4092 1992294400 134512640 135215339 4294956240 18446744073709551615 134539284 0 0 4096 3 0 0 0 17 1 0 0
/proc/26171/statm: 4363 4092 77 171 0 4190 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 22808
[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26171
/proc/meminfo: memFree=1473208/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
[pid=26171] ppid=26165 vsize=26112 CPUtime=12.63
/proc/26171/stat : 26171 (minisat_static) R 26165 26165 26058 0 -1 4194304 6279 0 0 0 1258 5 0 0 25 0 1 0 306118366 26738688 6265 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26171/statm: 6528 6265 77 171 0 6355 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 31468
[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26171
/proc/meminfo: memFree=1460536/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
[pid=26171] ppid=26165 vsize=38244 CPUtime=25.42
/proc/26171/stat : 26171 (minisat_static) R 26165 26165 26058 0 -1 4194304 9302 0 0 0 2534 8 0 0 25 0 1 0 306118366 39161856 9288 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26171/statm: 9561 9288 77 171 0 9388 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 43600
[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26171
/proc/meminfo: memFree=1452088/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
[pid=26171] ppid=26165 vsize=46428 CPUtime=51
/proc/26171/stat : 26171 (minisat_static) R 26165 26165 26058 0 -1 4194304 11336 0 0 0 5090 10 0 0 25 0 1 0 306118366 47542272 11322 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26171/statm: 11607 11322 77 171 0 11434 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 51784
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26171
/proc/meminfo: memFree=1450488/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
[pid=26171] ppid=26165 vsize=47880 CPUtime=102.17
/proc/26171/stat : 26171 (minisat_static) R 26165 26165 26058 0 -1 4194304 11720 0 0 0 10207 10 0 0 25 0 1 0 306118366 49029120 11706 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26171/statm: 11970 11706 77 171 0 11797 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 53236
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26171
/proc/meminfo: memFree=1448440/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
[pid=26171] ppid=26165 vsize=49760 CPUtime=162.14
/proc/26171/stat : 26171 (minisat_static) R 26165 26165 26058 0 -1 4194304 12195 0 0 0 16203 11 0 0 25 0 1 0 306118366 50954240 12181 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26171/statm: 12440 12181 77 171 0 12267 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 55116
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26171
/proc/meminfo: memFree=1444408/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
[pid=26171] ppid=26165 vsize=53900 CPUtime=222.11
/proc/26171/stat : 26171 (minisat_static) R 26165 26165 26058 0 -1 4194304 13169 0 0 0 22199 12 0 0 25 0 1 0 306118366 55193600 13155 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/26171/statm: 13475 13155 77 171 0 13302 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 59256
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26171
/proc/meminfo: memFree=1444344/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
[pid=26171] ppid=26165 vsize=53772 CPUtime=282.09
/proc/26171/stat : 26171 (minisat_static) R 26165 26165 26058 0 -1 4194304 13169 0 0 0 28196 13 0 0 25 0 1 0 306118366 55062528 13152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/26171/statm: 13443 13152 77 171 0 13270 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 59128
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26171
/proc/meminfo: memFree=1444280/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
[pid=26171] ppid=26165 vsize=53772 CPUtime=342.07
/proc/26171/stat : 26171 (minisat_static) R 26165 26165 26058 0 -1 4194304 13169 0 0 0 34194 13 0 0 25 0 1 0 306118366 55062528 13152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26171/statm: 13443 13152 77 171 0 13270 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 59128
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26177
/proc/meminfo: memFree=1443896/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
[pid=26171] ppid=26165 vsize=53768 CPUtime=402.04
################
# More data... #
################
/proc/26171/statm: 13442 13151 77 171 0 13269 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 59124
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26177
/proc/meminfo: memFree=1443832/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
[pid=26171] ppid=26165 vsize=53764 CPUtime=581.96
/proc/26171/stat : 26171 (minisat_static) R 26165 26165 26058 0 -1 4194304 13169 0 0 0 58183 13 0 0 25 0 1 0 306118366 55054336 13150 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/26171/statm: 13441 13150 77 171 0 13268 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 59120
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26177
/proc/meminfo: memFree=1442168/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
[pid=26171] ppid=26165 vsize=55344 CPUtime=641.95
/proc/26171/stat : 26171 (minisat_static) R 26165 26165 26058 0 -1 4194304 13560 0 0 0 64181 14 0 0 25 0 1 0 306118366 56672256 13540 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/26171/statm: 13836 13540 77 171 0 13663 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 60700
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26177
/proc/meminfo: memFree=1442104/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
[pid=26171] ppid=26165 vsize=55344 CPUtime=701.92
/proc/26171/stat : 26171 (minisat_static) R 26165 26165 26058 0 -1 4194304 13561 0 0 0 70178 14 0 0 25 0 1 0 306118366 56672256 13541 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26171/statm: 13836 13541 77 171 0 13663 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 60700
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26177
/proc/meminfo: memFree=1441976/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
[pid=26171] ppid=26165 vsize=55344 CPUtime=761.9
/proc/26171/stat : 26171 (minisat_static) R 26165 26165 26058 0 -1 4194304 13561 0 0 0 76176 14 0 0 25 0 1 0 306118366 56672256 13541 1992294400 134512640 135215339 4294956240 18446744073709551615 134528748 0 0 4096 3 0 0 0 17 1 0 0
/proc/26171/statm: 13836 13541 77 171 0 13663 0
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (KiB) 60700
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26177
/proc/meminfo: memFree=1441848/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
[pid=26171] ppid=26165 vsize=55344 CPUtime=821.87
/proc/26171/stat : 26171 (minisat_static) R 26165 26165 26058 0 -1 4194304 13561 0 0 0 82173 14 0 0 25 0 1 0 306118366 56672256 13541 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26171/statm: 13836 13541 77 171 0 13663 0
Current children cumulated CPU time (s) 821.91
Current children cumulated vsize (KiB) 60700
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26177
/proc/meminfo: memFree=1441784/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
[pid=26171] ppid=26165 vsize=55344 CPUtime=881.85
/proc/26171/stat : 26171 (minisat_static) R 26165 26165 26058 0 -1 4194304 13561 0 0 0 88171 14 0 0 25 0 1 0 306118366 56672256 13541 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26171/statm: 13836 13541 77 171 0 13663 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 60700
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26177
/proc/meminfo: memFree=1441528/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
[pid=26171] ppid=26165 vsize=55476 CPUtime=941.84
/proc/26171/stat : 26171 (minisat_static) R 26165 26165 26058 0 -1 4194304 13596 0 0 0 94169 15 0 0 25 0 1 0 306118366 56807424 13576 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/26171/statm: 13869 13576 77 171 0 13696 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 60832
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26177
/proc/meminfo: memFree=1441464/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
[pid=26171] ppid=26165 vsize=55436 CPUtime=1001.81
/proc/26171/stat : 26171 (minisat_static) R 26165 26165 26058 0 -1 4194304 13596 0 0 0 100166 15 0 0 25 0 1 0 306118366 56766464 13569 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26171/statm: 13859 13569 77 171 0 13686 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 60792
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26177
/proc/meminfo: memFree=1441400/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
[pid=26171] ppid=26165 vsize=55412 CPUtime=1061.79
/proc/26171/stat : 26171 (minisat_static) R 26165 26165 26058 0 -1 4194304 13596 0 0 0 106164 15 0 0 25 0 1 0 306118366 56741888 13563 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26171/statm: 13853 13563 77 171 0 13680 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 60768
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26177
/proc/meminfo: memFree=1439608/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
[pid=26171] ppid=26165 vsize=57128 CPUtime=1121.77
/proc/26171/stat : 26171 (minisat_static) R 26165 26165 26058 0 -1 4194304 14021 0 0 0 112162 15 0 0 25 0 1 0 306118366 58499072 13988 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/26171/statm: 14282 13988 77 171 0 14109 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 62484
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26177
/proc/meminfo: memFree=1439544/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
[pid=26171] ppid=26165 vsize=57128 CPUtime=1181.75
/proc/26171/stat : 26171 (minisat_static) R 26165 26165 26058 0 -1 4194304 14021 0 0 0 118160 15 0 0 25 0 1 0 306118366 58499072 13988 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26171/statm: 14282 13988 77 171 0 14109 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 62484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26177
/proc/meminfo: memFree=1439544/2055920 swapFree=4179876/4192956
[pid=26165] ppid=26163 vsize=5356 CPUtime=0.04
/proc/26165/stat : 26165 (SatELiteGTI) S 26163 26165 26058 0 -1 4194304 336 730 0 0 0 0 4 0 18 0 1 0 306118360 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26165/statm: 1339 239 197 169 0 50 0
[pid=26171] ppid=26165 vsize=57128 CPUtime=1200.05
/proc/26171/stat : 26171 (minisat_static) R 26165 26165 26058 0 -1 4194304 14021 0 0 0 119990 15 0 0 25 0 1 0 306118366 58499072 13988 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/26171/statm: 14282 13988 77 171 0 14109 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 62484
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26165 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=42993
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=5999
# CPU time returned by wait4() is 0.048992
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.09
CPU user time (s): 1199.94
CPU system time (s): 0.15
CPU usage (%): 99.9565
Max. virtual memory (cumulated for all children) (KiB): 62484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.042993
system time used= 0.005999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1066
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= 14
involuntary context switches= 7
runsolver used 1.11083 second user time and 3.40448 second system time
The end
Begin job on node92 at 2009-05-20 02:54:50
IDJOB=1832519
IDBENCH=70223
IDSOLVER=671
FILE ID=node92/1832519-1242780889
PBS_JOBID= 9322307
Free space on /tmp= 65928 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/900/unif-k5-r20-v900-c18000-S1119648091-064.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832519-1242780889/watcher-1832519-1242780889 -o /tmp/evaluation-result-1832519-1242780889/solver-1832519-1242780889 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832519-1242780889.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a0e1aec07865a725709061f3f17cc524
RANDOM SEED=574132922
node92.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.245
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.245
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1498784 kB
Buffers: 23544 kB
Cached: 487896 kB
SwapCached: 7332 kB
Active: 341852 kB
Inactive: 178412 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1498784 kB
SwapTotal: 4192956 kB
SwapFree: 4179876 kB
Dirty: 2008 kB
Writeback: 0 kB
Mapped: 13952 kB
Slab: 22780 kB
Committed_AS: 787704 kB
PageTables: 1464 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65924 MiB
End job on node92 at 2009-05-20 03:14:52