0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 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.04/0.06 c | Parsing time: 0.01 s |
0.04/0.07 c ============================[ Search Statistics ]==============================
0.04/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.04/0.07 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.04/0.07 c ===============================================================================
0.04/0.07 c | 0 | 900 18000 90000 | 6000 0 nan | 0.000 % |
0.04/0.08 c | 100 | 900 18000 90000 | 6000 100 96 | 0.000 % |
0.04/0.09 c | 200 | 900 18000 90000 | 6000 200 102 | 0.000 % |
0.04/0.10 c | 300 | 900 18000 90000 | 6000 300 104 | 0.000 % |
0.04/0.11 c | 410 | 900 18000 90000 | 6000 410 107 | 0.000 % |
0.04/0.12 c | 512 | 900 18000 90000 | 6000 512 110 | 0.000 % |
0.04/0.13 c | 622 | 900 18000 90000 | 6000 622 109 | 0.000 % |
0.04/0.15 c | 744 | 900 18000 90000 | 6000 744 112 | 0.000 % |
0.04/0.16 c | 844 | 900 18000 90000 | 6000 844 110 | 0.000 % |
0.04/0.17 c | 954 | 900 18000 90000 | 6000 954 111 | 0.000 % |
0.04/0.18 c | 1076 | 900 18000 90000 | 6000 1076 111 | 0.000 % |
0.04/0.19 c | 1210 | 900 18000 90000 | 6000 1210 110 | 0.000 % |
0.04/0.20 c | 1310 | 900 18000 90000 | 6000 1310 110 | 0.000 % |
0.04/0.21 c | 1422 | 900 18000 90000 | 6000 1422 110 | 0.000 % |
0.04/0.23 c | 1543 | 900 18000 90000 | 6000 1543 111 | 0.000 % |
0.04/0.24 c | 1678 | 900 18000 90000 | 6000 1678 112 | 0.000 % |
0.04/0.25 c | 1824 | 900 18000 90000 | 6000 1824 113 | 0.000 % |
0.04/0.27 c | 1924 | 900 18000 90000 | 6000 1924 114 | 0.000 % |
0.04/0.28 c | 2034 | 900 18000 90000 | 6000 2034 115 | 0.000 % |
0.04/0.29 c | 2155 | 900 18000 90000 | 6000 2155 115 | 0.000 % |
0.04/0.31 c | 2288 | 900 18000 90000 | 6000 2288 114 | 0.000 % |
0.04/0.32 c | 2436 | 900 18000 90000 | 6000 2436 114 | 0.000 % |
0.04/0.34 c | 2596 | 900 18000 90000 | 6000 2596 114 | 0.000 % |
0.04/0.35 c | 2696 | 900 18000 90000 | 6000 2696 113 | 0.000 % |
0.04/0.37 c | 2807 | 900 18000 90000 | 6000 2807 113 | 0.000 % |
0.04/0.38 c | 2928 | 900 18000 90000 | 6000 2928 112 | 0.000 % |
0.04/0.39 c | 3061 | 900 18000 90000 | 6000 3061 113 | 0.000 % |
0.04/0.41 c | 3207 | 900 18000 90000 | 6000 3207 114 | 0.000 % |
0.04/0.43 c | 3370 | 900 18000 90000 | 6000 3370 114 | 0.000 % |
0.04/0.45 c | 3546 | 900 18000 90000 | 6000 3546 114 | 0.000 % |
0.04/0.46 c | 3646 | 900 18000 90000 | 6000 3646 114 | 0.000 % |
0.04/0.47 c | 3756 | 900 18000 90000 | 6000 3756 114 | 0.000 % |
0.04/0.49 c | 3878 | 900 18000 90000 | 6000 3878 114 | 0.000 % |
0.04/0.50 c | 4013 | 900 18000 90000 | 6000 4013 114 | 0.000 % |
0.04/0.52 c | 4160 | 900 18000 90000 | 6000 4160 114 | 0.000 % |
0.04/0.54 c | 4320 | 900 18000 90000 | 6000 4320 114 | 0.000 % |
0.04/0.56 c | 4497 | 900 18000 90000 | 6000 4497 113 | 0.000 % |
0.04/0.58 c | 4692 | 900 18000 90000 | 6000 4692 113 | 0.000 % |
0.04/0.59 c | 4792 | 900 18000 90000 | 6000 4792 113 | 0.000 % |
0.04/0.61 c | 4902 | 900 18000 90000 | 6000 4902 113 | 0.000 % |
0.04/0.62 c | 5023 | 900 18000 90000 | 6000 5023 113 | 0.000 % |
0.04/0.64 c | 5157 | 900 18000 90000 | 6000 5157 113 | 0.000 % |
0.04/0.66 c | 5304 | 900 18000 90000 | 6000 5304 113 | 0.000 % |
0.04/0.68 c | 5464 | 900 18000 90000 | 6000 5464 113 | 0.000 % |
0.04/0.70 c | 5640 | 900 18000 90000 | 6000 5640 114 | 0.000 % |
0.04/0.73 c | 5834 | 900 18000 90000 | 6000 5834 114 | 0.000 % |
0.04/0.75 c | 6046 | 900 18000 90000 | 6000 6046 114 | 0.000 % |
0.04/0.77 c | 6146 | 900 18000 90000 | 6000 5542 113 | 0.000 % |
0.04/0.79 c | 6257 | 900 18000 90000 | 6000 5653 113 | 0.000 % |
0.04/0.80 c | 6378 | 900 18000 90000 | 6000 5774 113 | 0.000 % |
0.04/0.82 c | 6511 | 900 18000 90000 | 6000 5907 113 | 0.000 % |
0.04/0.84 c | 6657 | 900 18000 90000 | 6000 6053 113 | 0.000 % |
0.04/0.86 c | 6818 | 900 18000 90000 | 6000 5609 113 | 0.000 % |
0.04/0.88 c | 6994 | 900 18000 90000 | 6000 5785 113 | 0.000 % |
0.04/0.90 c | 7189 | 900 18000 90000 | 6000 5980 113 | 0.000 % |
0.04/0.93 c | 7403 | 900 18000 90000 | 6000 6194 113 | 0.000 % |
0.04/0.96 c | 7636 | 900 18000 90000 | 6000 5808 112 | 0.000 % |
0.04/0.97 c | 7738 | 900 18000 90000 | 6000 5910 112 | 0.000 % |
0.04/0.99 c | 7849 | 900 18000 90000 | 6000 6021 112 | 0.000 % |
0.97/1.01 c | 7970 | 900 18000 90000 | 6000 5540 111 | 0.000 % |
0.97/1.03 c | 8105 | 900 18000 90000 | 6000 5675 111 | 0.000 % |
0.97/1.04 c | 8251 | 900 18000 90000 | 6000 5821 111 | 0.000 % |
0.97/1.06 c | 8411 | 900 18000 90000 | 6000 5981 111 | 0.000 % |
0.97/1.09 c | 8587 | 900 18000 90000 | 6000 6157 112 | 0.000 % |
1.07/1.12 c | 8781 | 900 18000 90000 | 6000 5736 111 | 0.000 % |
1.07/1.14 c | 8993 | 900 18000 90000 | 6000 5948 112 | 0.000 % |
1.07/1.17 c | 9227 | 900 18000 90000 | 6000 6182 111 | 0.000 % |
1.17/1.21 c | 9483 | 900 18000 90000 | 6000 5820 111 | 0.000 % |
1.17/1.22 c | 9583 | 900 18000 90000 | 6000 5920 111 | 0.000 % |
1.17/1.23 c | 9693 | 900 18000 90000 | 6000 6030 111 | 0.000 % |
1.17/1.25 c | 9814 | 900 18000 90000 | 6000 5548 112 | 0.000 % |
1.17/1.27 c | 9947 | 900 18000 90000 | 6000 5681 112 | 0.000 % |
1.17/1.28 c | 10093 | 900 18000 90000 | 2147483647 5827 111 | 0.000 % |
1.27/1.31 c | 10255 | 900 18000 90000 | 2147483647 5989 111 | 0.000 % |
1.27/1.33 c | 10433 | 900 18000 90000 | 2147483647 6167 112 | 0.000 % |
1.27/1.36 c | 10627 | 900 18000 90000 | 2147483647 6361 112 | 0.000 % |
1.27/1.38 c | 10840 | 900 18000 90000 | 2147483647 6574 113 | 0.000 % |
1.38/1.41 c | 11075 | 900 18000 90000 | 2147483647 6809 113 | 0.000 % |
1.38/1.45 c | 11333 | 900 18000 90000 | 2147483647 7067 113 | 0.000 % |
1.38/1.49 c | 11615 | 900 18000 90000 | 2147483647 7349 113 | 0.000 % |
1.48/1.50 c | 11715 | 900 18000 90000 | 2147483647 7449 113 | 0.000 % |
1.48/1.52 c | 11826 | 900 18000 90000 | 2147483647 7560 113 | 0.000 % |
1.48/1.53 c | 11949 | 900 18000 90000 | 2147483647 7683 113 | 0.000 % |
1.48/1.55 c | 12084 | 900 18000 90000 | 2147483647 7818 113 | 0.000 % |
1.48/1.58 c | 12231 | 900 18000 90000 | 2147483647 7965 113 | 0.000 % |
1.58/1.60 c | 12391 | 900 18000 90000 | 2147483647 8125 113 | 0.000 % |
1.58/1.62 c | 12568 | 900 18000 90000 | 2147483647 8302 113 | 0.000 % |
1.58/1.65 c | 12761 | 900 18000 90000 | 2147483647 8495 113 | 0.000 % |
1.58/1.68 c | 12973 | 900 18000 90000 | 2147483647 8707 113 | 0.000 % |
1.67/1.71 c | 13206 | 900 18000 90000 | 2147483647 8940 113 | 0.000 % |
1.67/1.75 c | 13462 | 900 18000 90000 | 2147483647 9196 114 | 0.000 % |
1.67/1.79 c | 13743 | 900 18000 90000 | 2147483647 9477 114 | 0.000 % |
1.77/1.83 c | 14052 | 900 18000 90000 | 2147483647 9786 114 | 0.000 % |
1.77/1.85 c | 14153 | 900 18000 90000 | 2147483647 9887 113 | 0.000 % |
1.77/1.87 c | 14264 | 900 18000 90000 | 2147483647 9998 114 | 0.000 % |
1.77/1.89 c | 14385 | 900 18000 90000 | 2147483647 10119 113 | 0.000 % |
1.87/1.91 c | 14519 | 900 18000 90000 | 2147483647 10253 114 | 0.000 % |
1.87/1.93 c | 14667 | 900 18000 90000 | 2147483647 10401 114 | 0.000 % |
1.87/1.96 c | 14827 | 900 18000 90000 | 2147483647 10561 114 | 0.000 % |
1.87/1.99 c | 15005 | 900 18000 90000 | 2147483647 10739 114 | 0.000 % |
1.97/2.02 c | 15198 | 900 18000 90000 | 2147483647 10932 114 | 0.000 % |
1.97/2.05 c | 15410 | 900 18000 90000 | 2147483647 11144 114 | 0.000 % |
1.97/2.09 c | 15644 | 900 18000 90000 | 2147483647 11378 114 | 0.000 % |
2.07/2.12 c | 15901 | 900 18000 90000 | 2147483647 11635 114 | 0.000 % |
2.07/2.17 c | 16183 | 900 18000 90000 | 2147483647 11917 114 | 0.000 % |
2.17/2.22 c | 16492 | 900 18000 90000 | 2147483647 12226 114 | 0.000 % |
2.17/2.28 c | 16832 | 900 18000 90000 | 2147483647 12566 114 | 0.000 % |
2.17/2.29 c | 16932 | 900 18000 90000 | 2147483647 12666 113 | 0.000 % |
2.27/2.31 c | 17042 | 900 18000 90000 | 2147483647 12776 113 | 0.000 % |
2.27/2.34 c | 17163 | 900 18000 90000 | 2147483647 12897 113 | 0.000 % |
2.27/2.36 c | 17298 | 900 18000 90000 | 2147483647 13032 113 | 0.000 % |
2.27/2.39 c | 17444 | 900 18000 90000 | 2147483647 13178 113 | 0.000 % |
2.37/2.42 c | 17606 | 900 18000 90000 | 2147483647 13340 114 | 0.000 % |
2.37/2.45 c | 17782 | 900 18000 90000 | 2147483647 13516 114 | 0.000 % |
2.37/2.49 c | 17977 | 900 18000 90000 | 2147483647 13711 114 | 0.000 % |
2.46/2.52 c | 18190 | 900 18000 90000 | 2147483647 13924 114 | 0.000 % |
2.46/2.56 c | 18423 | 900 18000 90000 | 2147483647 14157 114 | 0.000 % |
2.56/2.61 c | 18679 | 900 18000 90000 | 2147483647 14413 114 | 0.000 % |
2.56/2.66 c | 18962 | 900 18000 90000 | 2147483647 14696 114 | 0.000 % |
2.66/2.71 c | 19272 | 900 18000 90000 | 2147483647 15006 114 | 0.000 % |
2.66/2.77 c | 19613 | 900 18000 90000 | 2147483647 15347 114 | 0.000 % |
2.76/2.85 c | 19987 | 900 18000 90000 | 2147483647 15721 114 | 0.000 % |
2.76/2.87 c | 20087 | 900 18000 90000 | 2147483647 15821 114 | 0.000 % |
2.76/2.89 c | 20197 | 900 18000 90000 | 2147483647 15931 114 | 0.000 % |
2.87/2.92 c | 20319 | 900 18000 90000 | 2147483647 16053 114 | 0.000 % |
2.87/2.95 c | 20454 | 900 18000 90000 | 2147483647 16188 114 | 0.000 % |
2.87/2.98 c | 20602 | 900 18000 90000 | 2147483647 16336 114 | 0.000 % |
2.97/3.01 c | 20762 | 900 18000 90000 | 2147483647 16496 114 | 0.000 % |
2.97/3.05 c | 20940 | 900 18000 90000 | 2147483647 16674 114 | 0.000 % |
2.97/3.09 c | 21135 | 900 18000 90000 | 2147483647 16869 114 | 0.000 % |
3.07/3.13 c | 21350 | 900 18000 90000 | 2147483647 17084 114 | 0.000 % |
3.07/3.17 c | 21583 | 900 18000 90000 | 2147483647 17317 114 | 0.000 % |
3.17/3.23 c | 21841 | 900 18000 90000 | 2147483647 17575 114 | 0.000 % |
3.17/3.29 c | 22122 | 900 18000 90000 | 2147483647 17856 114 | 0.000 % |
3.27/3.35 c | 22432 | 900 18000 90000 | 2147483647 18166 114 | 0.000 % |
3.37/3.43 c | 22771 | 900 18000 90000 | 2147483647 18505 114 | 0.000 % |
3.47/3.51 c | 23143 | 900 18000 90000 | 2147483647 18877 114 | 0.000 % |
3.57/3.60 c | 23553 | 900 18000 90000 | 2147483647 19287 114 | 0.000 % |
3.57/3.62 c | 23654 | 900 18000 90000 | 2147483647 19388 114 | 0.000 % |
3.57/3.65 c | 23764 | 900 18000 90000 | 2147483647 19498 114 | 0.000 % |
3.57/3.68 c | 23886 | 900 18000 90000 | 2147483647 19620 114 | 0.000 % |
3.67/3.71 c | 24020 | 900 18000 90000 | 2147483647 19754 114 | 0.000 % |
3.67/3.75 c | 24167 | 900 18000 90000 | 2147483647 19901 114 | 0.000 % |
3.67/3.79 c | 24328 | 900 18000 90000 | 2147483647 20062 114 | 0.000 % |
3.77/3.83 c | 24504 | 900 18000 90000 | 2147483647 20238 114 | 0.000 % |
3.77/3.88 c | 24697 | 900 18000 90000 | 2147483647 20431 114 | 0.000 % |
3.87/3.93 c | 24909 | 900 18000 90000 | 2147483647 20643 114 | 0.000 % |
3.87/3.99 c | 25145 | 900 18000 90000 | 2147483647 20879 114 | 0.000 % |
3.96/4.05 c | 25401 | 900 18000 90000 | 2147483647 21135 114 | 0.000 % |
4.06/4.12 c | 25682 | 900 18000 90000 | 2147483647 21416 115 | 0.000 % |
4.06/4.19 c | 25991 | 900 18000 90000 | 2147483647 21725 115 | 0.000 % |
4.16/4.27 c | 26333 | 900 18000 90000 | 2147483647 22067 115 | 0.000 % |
4.27/4.36 c | 26707 | 900 18000 90000 | 2147483647 22441 115 | 0.000 % |
4.38/4.46 c | 27117 | 900 18000 90000 | 2147483647 22851 115 | 0.000 % |
4.47/4.56 c | 27566 | 900 18000 90000 | 2147483647 23300 115 | 0.000 % |
4.47/4.59 c | 27666 | 900 18000 90000 | 2147483647 23400 115 | 0.000 % |
4.57/4.63 c | 27777 | 900 18000 90000 | 2147483647 23511 115 | 0.000 % |
4.57/4.66 c | 27898 | 900 18000 90000 | 2147483647 23632 115 | 0.000 % |
4.57/4.70 c | 28032 | 900 18000 90000 | 2147483647 23766 115 | 0.000 % |
4.67/4.74 c | 28178 | 900 18000 90000 | 2147483647 23912 115 | 0.000 % |
4.67/4.78 c | 28339 | 900 18000 90000 | 2147483647 24073 115 | 0.000 % |
4.77/4.82 c | 28518 | 900 18000 90000 | 2147483647 24252 115 | 0.000 % |
4.77/4.88 c | 28712 | 900 18000 90000 | 2147483647 24446 115 | 0.000 % |
4.87/4.94 c | 28925 | 900 18000 90000 | 2147483647 24659 115 | 0.000 % |
4.87/4.99 c | 29159 | 900 18000 90000 | 2147483647 24893 115 | 0.000 % |
4.97/5.06 c | 29416 | 900 18000 90000 | 2147483647 25150 115 | 0.000 % |
5.07/5.14 c | 29698 | 900 18000 90000 | 2147483647 25432 115 | 0.000 % |
5.17/5.22 c | 30008 | 900 18000 90000 | 2147483647 25742 115 | 0.000 % |
5.27/5.30 c | 30348 | 900 18000 90000 | 2147483647 26082 115 | 0.000 % |
5.27/5.40 c | 30722 | 900 18000 90000 | 2147483647 26456 115 | 0.000 % |
5.47/5.51 c | 31131 | 900 18000 90000 | 2147483647 26865 115 | 0.000 % |
5.57/5.64 c | 31580 | 900 18000 90000 | 2147483647 27314 115 | 0.000 % |
5.67/5.78 c | 32073 | 900 18000 90000 | 2147483647 27807 115 | 0.000 % |
5.77/5.82 c | 32173 | 900 18000 90000 | 2147483647 27907 115 | 0.000 % |
5.77/5.86 c | 32283 | 900 18000 90000 | 2147483647 28017 115 | 0.000 % |
5.77/5.90 c | 32404 | 900 18000 90000 | 2147483647 28138 115 | 0.000 % |
5.87/5.94 c | 32538 | 900 18000 90000 | 2147483647 28272 115 | 0.000 % |
5.87/5.99 c | 32685 | 900 18000 90000 | 2147483647 28419 115 | 0.000 % |
5.97/6.04 c | 32847 | 900 18000 90000 | 2147483647 28581 115 | 0.000 % |
5.97/6.08 c | 33023 | 900 18000 90000 | 2147483647 28757 115 | 0.000 % |
6.07/6.15 c | 33217 | 900 18000 90000 | 2147483647 28951 115 | 0.000 % |
6.16/6.21 c | 33429 | 900 18000 90000 | 2147483647 29163 115 | 0.000 % |
6.16/6.28 c | 33662 | 900 18000 90000 | 2147483647 29396 115 | 0.000 % |
6.26/6.36 c | 33918 | 900 18000 90000 | 2147483647 29652 115 | 0.000 % |
6.36/6.44 c | 34199 | 900 18000 90000 | 2147483647 29933 115 | 0.000 % |
6.47/6.52 c | 34508 | 900 18000 90000 | 2147483647 30242 115 | 0.000 % |
6.56/6.63 c | 34848 | 900 18000 90000 | 2147483647 30582 115 | 0.000 % |
6.66/6.75 c | 35221 | 900 18000 90000 | 2147483647 30955 115 | 0.000 % |
6.76/6.87 c | 35630 | 900 18000 90000 | 2147483647 31364 115 | 0.000 % |
6.97/7.01 c | 36082 | 900 18000 90000 | 2147483647 31816 115 | 0.000 % |
7.06/7.17 c | 36575 | 900 18000 90000 | 2147483647 32309 115 | 0.000 % |
7.26/7.34 c | 37118 | 900 18000 90000 | 2147483647 32852 116 | 0.000 % |
7.26/7.37 c | 37218 | 900 18000 90000 | 2147483647 32952 115 | 0.000 % |
7.36/7.41 c | 37328 | 900 18000 90000 | 2147483647 33062 115 | 0.000 % |
7.36/7.44 c | 37449 | 900 18000 90000 | 2147483647 33183 115 | 0.000 % |
7.36/7.49 c | 37582 | 900 18000 90000 | 2147483647 33316 115 | 0.000 % |
7.46/7.56 c | 37731 | 900 18000 90000 | 2147483647 33465 115 | 0.000 % |
7.57/7.61 c | 37891 | 900 18000 90000 | 2147483647 33625 115 | 0.000 % |
7.57/7.67 c | 38068 | 900 18000 90000 | 2147483647 33802 115 | 0.000 % |
7.67/7.75 c | 38261 | 900 18000 90000 | 2147483647 33995 115 | 0.000 % |
7.76/7.82 c | 38473 | 900 18000 90000 | 2147483647 34207 115 | 0.000 % |
7.86/7.90 c | 38710 | 900 18000 90000 | 2147483647 34444 115 | 0.000 % |
7.86/7.99 c | 38966 | 900 18000 90000 | 2147483647 34700 115 | 0.000 % |
7.96/8.09 c | 39247 | 900 18000 90000 | 2147483647 34981 115 | 0.000 % |
8.06/8.18 c | 39556 | 900 18000 90000 | 2147483647 35290 116 | 0.000 % |
8.26/8.31 c | 39895 | 900 18000 90000 | 2147483647 35629 116 | 0.000 % |
8.36/8.45 c | 40269 | 900 18000 90000 | 2147483647 36003 116 | 0.000 % |
8.46/8.59 c | 40678 | 900 18000 90000 | 2147483647 36412 116 | 0.000 % |
8.66/8.74 c | 41128 | 900 18000 90000 | 2147483647 36862 116 | 0.000 % |
8.86/8.91 c | 41622 | 900 18000 90000 | 2147483647 37356 116 | 0.000 % |
9.06/9.10 c | 42164 | 900 18000 90000 | 2147483647 37898 116 | 0.000 % |
9.26/9.31 c | 42762 | 900 18000 90000 | 2147483647 38496 116 | 0.000 % |
9.26/9.35 c | 42864 | 900 18000 90000 | 2147483647 38598 116 | 0.000 % |
9.36/9.40 c | 42975 | 900 18000 90000 | 2147483647 38709 116 | 0.000 % |
9.36/9.45 c | 43098 | 900 18000 90000 | 2147483647 38832 116 | 0.000 % |
9.46/9.52 c | 43231 | 900 18000 90000 | 2147483647 38965 116 | 0.000 % |
9.46/9.57 c | 43377 | 900 18000 90000 | 2147483647 39111 116 | 0.000 % |
9.56/9.64 c | 43539 | 900 18000 90000 | 2147483647 39273 116 | 0.000 % |
9.66/9.72 c | 43716 | 900 18000 90000 | 2147483647 39450 116 | 0.000 % |
9.66/9.80 c | 43909 | 900 18000 90000 | 2147483647 39643 116 | 0.000 % |
9.76/9.88 c | 44121 | 900 18000 90000 | 2147483647 39855 116 | 0.000 % |
9.86/9.97 c | 44355 | 900 18000 90000 | 2147483647 40089 116 | 0.000 % |
9.96/10.07 c | 44611 | 900 18000 90000 | 2147483647 40345 116 | 0.000 % |
10.05/10.18 c | 44893 | 900 18000 90000 | 2147483647 40627 116 | 0.000 % |
10.25/10.30 c | 45203 | 900 18000 90000 | 2147483647 40937 116 | 0.000 % |
10.35/10.43 c | 45542 | 900 18000 90000 | 2147483647 41276 116 | 0.000 % |
10.45/10.58 c | 45915 | 900 18000 90000 | 2147483647 41649 116 | 0.000 % |
10.65/10.73 c | 46324 | 900 18000 90000 | 2147483647 42058 116 | 0.000 % |
10.86/10.92 c | 46773 | 900 18000 90000 | 2147483647 42507 116 | 0.000 % |
10.96/11.09 c | 47266 | 900 18000 90000 | 2147483647 43000 117 | 0.000 % |
11.25/11.31 c | 47810 | 900 18000 90000 | 2147483647 43544 117 | 0.000 % |
11.46/11.52 c | 48406 | 900 18000 90000 | 2147483647 44140 117 | 0.000 % |
11.66/11.77 c | 49061 | 900 18000 90000 | 2147483647 44795 118 | 0.000 % |
11.76/11.83 c | 49161 | 900 18000 90000 | 2147483647 44895 118 | 0.000 % |
11.76/11.88 c | 49272 | 900 18000 90000 | 2147483647 45006 118 | 0.000 % |
11.86/11.94 c | 49396 | 900 18000 90000 | 2147483647 45130 118 | 0.000 % |
11.96/12.00 c | 49531 | 900 18000 90000 | 2147483647 45265 117 | 0.000 % |
11.96/12.08 c | 49677 | 900 18000 90000 | 2147483647 45411 117 | 0.000 % |
12.06/12.16 c | 49837 | 900 18000 90000 | 2147483647 45571 117 | 0.000 % |
12.16/12.24 c | 50014 | 900 18000 90000 | 2147483647 45748 117 | 0.000 % |
12.26/12.34 c | 50208 | 900 18000 90000 | 2147483647 45942 117 | 0.000 % |
12.36/12.42 c | 50421 | 900 18000 90000 | 2147483647 46155 117 | 0.000 % |
12.46/12.52 c | 50655 | 900 18000 90000 | 2147483647 46389 117 | 0.000 % |
12.56/12.63 c | 50911 | 900 18000 90000 | 2147483647 46645 117 | 0.000 % |
12.66/12.74 c | 51192 | 900 18000 90000 | 2147483647 46926 117 | 0.000 % |
12.75/12.87 c | 51501 | 900 18000 90000 | 2147483647 47235 117 | 0.000 % |
12.95/13.05 c | 51841 | 900 18000 90000 | 2147483647 47575 117 | 0.000 % |
13.15/13.23 c | 52217 | 900 18000 90000 | 2147483647 47951 117 | 0.000 % |
13.34/13.41 c | 52627 | 900 18000 90000 | 2147483647 48361 117 | 0.000 % |
13.54/13.60 c | 53076 | 900 18000 90000 | 2147483647 48810 117 | 0.000 % |
13.74/13.85 c | 53569 | 900 18000 90000 | 2147483647 49303 117 | 0.000 % |
14.04/14.12 c | 54111 | 900 18000 90000 | 2147483647 49845 117 | 0.000 % |
14.26/14.37 c | 54707 | 900 18000 90000 | 2147483647 50441 117 | 0.000 % |
14.55/14.67 c | 55364 | 900 18000 90000 | 2147483647 51098 117 | 0.000 % |
14.95/15.00 c | 56084 | 900 18000 90000 | 2147483647 51818 118 | 0.000 % |
14.95/15.06 c | 56188 | 900 18000 90000 | 2147483647 51922 118 | 0.000 % |
15.05/15.13 c | 56300 | 900 18000 90000 | 2147483647 52034 117 | 0.000 % |
15.05/15.18 c | 56421 | 900 18000 90000 | 2147483647 52155 117 | 0.000 % |
15.15/15.25 c | 56555 | 900 18000 90000 | 2147483647 52289 117 | 0.000 % |
15.25/15.33 c | 56701 | 900 18000 90000 | 2147483647 52435 117 | 0.000 % |
15.35/15.41 c | 56863 | 900 18000 90000 | 2147483647 52597 117 | 0.000 % |
15.45/15.51 c | 57039 | 900 18000 90000 | 2147483647 52773 117 | 0.000 % |
15.55/15.62 c | 57232 | 900 18000 90000 | 2147483647 52966 117 | 0.000 % |
15.65/15.72 c | 57444 | 900 18000 90000 | 2147483647 53178 117 | 0.000 % |
15.75/15.84 c | 57681 | 900 18000 90000 | 2147483647 53415 117 | 0.000 % |
15.84/15.96 c | 57937 | 900 18000 90000 | 2147483647 53671 117 | 0.000 % |
16.04/16.11 c | 58220 | 900 18000 90000 | 2147483647 53954 118 | 0.000 % |
16.14/16.27 c | 58530 | 900 18000 90000 | 2147483647 54264 118 | 0.000 % |
16.34/16.47 c | 58869 | 900 18000 90000 | 2147483647 54603 118 | 0.000 % |
16.54/16.65 c | 59242 | 900 18000 90000 | 2147483647 54976 117 | 0.000 % |
16.75/16.84 c | 59652 | 900 18000 90000 | 2147483647 55386 118 | 0.000 % |
16.95/17.05 c | 60103 | 900 18000 90000 | 2147483647 55837 118 | 0.000 % |
17.25/17.30 c | 60596 | 900 18000 90000 | 2147483647 56330 118 | 0.000 % |
17.45/17.58 c | 61139 | 900 18000 90000 | 2147483647 56873 118 | 0.000 % |
17.85/17.92 c | 61736 | 900 18000 90000 | 2147483647 57470 118 | 0.000 % |
18.15/18.23 c | 62391 | 900 18000 90000 | 2147483647 58125 118 | 0.000 % |
18.44/18.57 c | 63113 | 900 18000 90000 | 2147483647 58847 118 | 0.000 % |
18.84/18.99 c | 63906 | 900 18000 90000 | 2147483647 59640 118 | 0.000 % |
18.94/19.04 c | 64006 | 900 18000 90000 | 2147483647 59740 118 | 0.000 % |
19.04/19.12 c | 64116 | 900 18000 90000 | 2147483647 59850 118 | 0.000 % |
19.14/19.20 c | 64240 | 900 18000 90000 | 2147483647 59974 118 | 0.000 % |
19.14/19.28 c | 64375 | 900 18000 90000 | 2147483647 60109 118 | 0.000 % |
19.24/19.36 c | 64522 | 900 18000 90000 | 2147483647 60256 118 | 0.000 % |
19.34/19.47 c | 64682 | 900 18000 90000 | 2147483647 60416 118 | 0.000 % |
19.44/19.57 c | 64858 | 900 18000 90000 | 2147483647 60592 118 | 0.000 % |
19.54/19.69 c | 65052 | 900 18000 90000 | 2147483647 60786 118 | 0.000 % |
19.74/19.84 c | 65268 | 900 18000 90000 | 2147483647 61002 118 | 0.000 % |
19.84/19.97 c | 65503 | 900 18000 90000 | 2147483647 61237 118 | 0.000 % |
20.04/20.15 c | 65759 | 900 18000 90000 | 2147483647 61493 118 | 0.000 % |
20.14/20.28 c | 66041 | 900 18000 90000 | 2147483647 61775 118 | 0.000 % |
20.33/20.48 c | 66350 | 900 18000 90000 | 2147483647 62084 118 | 0.000 % |
20.53/20.67 c | 66689 | 900 18000 90000 | 2147483647 62423 118 | 0.000 % |
20.74/20.86 c | 67063 | 900 18000 90000 | 2147483647 62797 118 | 0.000 % |
21.03/21.12 c | 67473 | 900 18000 90000 | 2147483647 63207 118 | 0.000 % |
21.23/21.37 c | 67923 | 900 18000 90000 | 2147483647 63657 118 | 0.000 % |
21.54/21.64 c | 68416 | 900 18000 90000 | 2147483647 64150 118 | 0.000 % |
21.85/21.95 c | 68958 | 900 18000 90000 | 2147483647 64692 118 | 0.000 % |
22.24/22.30 c | 69555 | 900 18000 90000 | 2147483647 65289 118 | 0.000 % |
22.54/22.67 c | 70211 | 900 18000 90000 | 2147483647 65945 118 | 0.000 % |
22.95/23.10 c | 70931 | 900 18000 90000 | 2147483647 66665 118 | 0.000 % |
23.44/23.58 c | 71725 | 900 18000 90000 | 2147483647 67459 118 | 0.000 % |
24.04/24.10 c | 72598 | 900 18000 90000 | 2147483647 68332 118 | 0.000 % |
24.04/24.18 c | 72699 | 900 18000 90000 | 2147483647 68433 118 | 0.000 % |
24.14/24.26 c | 72811 | 900 18000 90000 | 2147483647 68545 118 | 0.000 % |
24.23/24.34 c | 72932 | 900 18000 90000 | 2147483647 68666 118 | 0.000 % |
24.33/24.44 c | 73067 | 900 18000 90000 | 2147483647 68801 118 | 0.000 % |
24.43/24.55 c | 73217 | 900 18000 90000 | 2147483647 68951 118 | 0.000 % |
24.53/24.66 c | 73379 | 900 18000 90000 | 2147483647 69113 118 | 0.000 % |
24.63/24.76 c | 73555 | 900 18000 90000 | 2147483647 69289 118 | 0.000 % |
24.83/24.90 c | 73752 | 900 18000 90000 | 2147483647 69486 118 | 0.000 % |
24.94/25.03 c | 73964 | 900 18000 90000 | 2147483647 69698 118 | 0.000 % |
25.04/25.18 c | 74199 | 900 18000 90000 | 2147483647 69933 118 | 0.000 % |
25.25/25.33 c | 74455 | 900 18000 90000 | 2147483647 70189 118 | 0.000 % |
25.44/25.51 c | 74736 | 900 18000 90000 | 2147483647 70470 118 | 0.000 % |
25.64/25.72 c | 75045 | 900 18000 90000 | 2147483647 70779 118 | 0.000 % |
25.84/25.94 c | 75385 | 900 18000 90000 | 2147483647 71119 118 | 0.000 % |
26.04/26.19 c | 75757 | 900 18000 90000 | 2147483647 71491 118 | 0.000 % |
26.34/26.45 c | 76166 | 900 18000 90000 | 2147483647 71900 118 | 0.000 % |
26.64/26.75 c | 76616 | 900 18000 90000 | 2147483647 72350 118 | 0.000 % |
26.94/27.05 c | 77111 | 900 18000 90000 | 2147483647 72845 118 | 0.000 % |
27.23/27.38 c | 77653 | 900 18000 90000 | 2147483647 73387 118 | 0.000 % |
27.63/27.73 c | 78250 | 900 18000 90000 | 2147483647 73984 118 | 0.000 % |
28.03/28.13 c | 78905 | 900 18000 90000 | 2147483647 74639 118 | 0.000 % |
28.44/28.59 c | 79626 | 900 18000 90000 | 2147483647 75360 118 | 0.000 % |
28.94/29.07 c | 80419 | 900 18000 90000 | 2147483647 76153 118 | 0.000 % |
29.54/29.64 c | 81290 | 900 18000 90000 | 2147483647 77024 118 | 0.000 % |
30.13/30.28 c | 82248 | 900 18000 90000 | 2147483647 77982 118 | 0.000 % |
30.23/30.36 c | 82352 | 900 18000 90000 | 2147483647 78086 118 | 0.000 % |
30.33/30.44 c | 82462 | 900 18000 90000 | 2147483647 78196 118 | 0.000 % |
30.43/30.53 c | 82584 | 900 18000 90000 | 2147483647 78318 118 | 0.000 % |
30.53/30.64 c | 82718 | 900 18000 90000 | 2147483647 78452 118 | 0.000 % |
30.64/30.77 c | 82865 | 900 18000 90000 | 2147483647 78599 118 | 0.000 % |
30.74/30.89 c | 83026 | 900 18000 90000 | 2147483647 78760 118 | 0.000 % |
30.93/31.04 c | 83204 | 900 18000 90000 | 2147483647 78938 118 | 0.000 % |
31.03/31.19 c | 83398 | 900 18000 90000 | 2147483647 79132 118 | 0.000 % |
31.23/31.35 c | 83610 | 900 18000 90000 | 2147483647 79344 118 | 0.000 % |
31.43/31.52 c | 83843 | 900 18000 90000 | 2147483647 79577 118 | 0.000 % |
31.63/31.72 c | 84099 | 900 18000 90000 | 2147483647 79833 118 | 0.000 % |
31.83/31.95 c | 84380 | 900 18000 90000 | 2147483647 80114 118 | 0.000 % |
32.03/32.18 c | 84690 | 900 18000 90000 | 2147483647 80424 118 | 0.000 % |
32.33/32.42 c | 85029 | 900 18000 90000 | 2147483647 80763 118 | 0.000 % |
32.63/32.72 c | 85401 | 900 18000 90000 | 2147483647 81135 118 | 0.000 % |
32.94/33.01 c | 85810 | 900 18000 90000 | 2147483647 81544 118 | 0.000 % |
33.23/33.31 c | 86260 | 900 18000 90000 | 2147483647 81994 118 | 0.000 % |
33.53/33.65 c | 86753 | 900 18000 90000 | 2147483647 82487 118 | 0.000 % |
33.94/34.04 c | 87295 | 900 18000 90000 | 2147483647 83029 118 | 0.000 % |
34.33/34.47 c | 87891 | 900 18000 90000 | 2147483647 83625 118 | 0.000 % |
34.83/34.92 c | 88546 | 900 18000 90000 | 2147483647 84280 118 | 0.000 % |
35.33/35.50 c | 89266 | 900 18000 90000 | 2147483647 85000 118 | 0.000 % |
36.03/36.12 c | 90060 | 900 18000 90000 | 85734 85794 118 | 0.000 % |
36.63/36.76 c | 90932 | 900 18000 90000 | 85734 76354 119 | 0.000 % |
37.33/37.41 c | 91890 | 900 18000 90000 | 85734 77312 119 | 0.000 % |
37.92/38.08 c | 92943 | 900 18000 90000 | 85734 78365 119 | 0.000 % |
38.02/38.15 c | 93044 | 900 18000 90000 | 85734 78466 119 | 0.000 % |
38.12/38.27 c | 93156 | 900 18000 90000 | 85734 78578 119 | 0.000 % |
38.22/38.36 c | 93278 | 900 18000 90000 | 85734 78700 119 | 0.000 % |
38.33/38.48 c | 93411 | 900 18000 90000 | 85734 78833 119 | 0.000 % |
38.52/38.60 c | 93557 | 900 18000 90000 | 85734 78979 119 | 0.000 % |
38.62/38.73 c | 93717 | 900 18000 90000 | 85734 79139 119 | 0.000 % |
38.72/38.85 c | 93893 | 900 18000 90000 | 85734 79315 119 | 0.000 % |
38.92/39.01 c | 94086 | 900 18000 90000 | 85734 79508 119 | 0.000 % |
39.02/39.18 c | 94298 | 900 18000 90000 | 85734 79720 119 | 0.000 % |
39.22/39.36 c | 94534 | 900 18000 90000 | 85734 79956 119 | 0.000 % |
39.43/39.56 c | 94790 | 900 18000 90000 | 85734 80212 119 | 0.000 % |
39.62/39.76 c | 95073 | 900 18000 90000 | 85734 80495 119 | 0.000 % |
39.92/40.00 c | 95384 | 900 18000 90000 | 85734 80806 119 | 0.000 % |
40.12/40.24 c | 95723 | 900 18000 90000 | 85734 81145 118 | 0.000 % |
40.32/40.48 c | 96095 | 900 18000 90000 | 85734 81517 118 | 0.000 % |
40.62/40.78 c | 96506 | 900 18000 90000 | 85734 81928 119 | 0.000 % |
41.02/41.14 c | 96957 | 900 18000 90000 | 85734 82379 119 | 0.000 % |
41.32/41.49 c | 97450 | 900 18000 90000 | 85734 82872 118 | 0.000 % |
41.72/41.87 c | 97993 | 900 18000 90000 | 85734 83415 118 | 0.000 % |
42.12/42.29 c | 98589 | 900 18000 90000 | 85734 84011 118 | 0.000 % |
42.72/42.82 c | 99244 | 900 18000 90000 | 85734 84666 118 | 0.000 % |
43.22/43.35 c | 99964 | 900 18000 90000 | 85734 85386 118 | 0.000 % |
43.82/43.92 c | 100756 | 900 18000 90000 | 85425 74429 119 | 0.000 % |
44.32/44.44 c | 101627 | 900 18000 90000 | 85425 75300 119 | 0.000 % |
44.92/45.06 c | 102586 | 900 18000 90000 | 85425 76259 119 | 0.000 % |
45.62/45.76 c | 103639 | 900 18000 90000 | 85425 77312 119 | 0.000 % |
46.42/46.56 c | 104798 | 900 18000 90000 | 85425 78471 119 | 0.000 % |
46.52/46.63 c | 104898 | 900 18000 90000 | 85425 78571 119 | 0.000 % |
46.62/46.71 c | 105008 | 900 18000 90000 | 85425 78681 119 | 0.000 % |
46.72/46.83 c | 105130 | 900 18000 90000 | 85425 78803 119 | 0.000 % |
46.82/46.93 c | 105264 | 900 18000 90000 | 85425 78937 119 | 0.000 % |
46.92/47.03 c | 105411 | 900 18000 90000 | 85425 79084 119 | 0.000 % |
47.02/47.14 c | 105572 | 900 18000 90000 | 85425 79245 119 | 0.000 % |
47.12/47.29 c | 105749 | 900 18000 90000 | 85425 79422 119 | 0.000 % |
47.32/47.44 c | 105942 | 900 18000 90000 | 85425 79615 119 | 0.000 % |
47.52/47.60 c | 106154 | 900 18000 90000 | 85425 79827 119 | 0.000 % |
47.62/47.75 c | 106387 | 900 18000 90000 | 85425 80060 119 | 0.000 % |
47.82/47.93 c | 106646 | 900 18000 90000 | 85425 80319 119 | 0.000 % |
48.02/48.12 c | 106928 | 900 18000 90000 | 85425 80601 119 | 0.000 % |
48.22/48.32 c | 107238 | 900 18000 90000 | 85425 80911 119 | 0.000 % |
48.42/48.54 c | 107578 | 900 18000 90000 | 85425 81251 119 | 0.000 % |
48.72/48.86 c | 107951 | 900 18000 90000 | 85425 81624 119 | 0.000 % |
49.02/49.17 c | 108363 | 900 18000 90000 | 85425 82036 119 | 0.000 % |
49.42/49.51 c | 108814 | 900 18000 90000 | 85425 82487 119 | 0.000 % |
49.72/49.88 c | 109309 | 900 18000 90000 | 85425 82982 119 | 0.000 % |
50.12/50.25 c | 109853 | 900 18000 90000 | 85425 83526 119 | 0.000 % |
50.62/50.77 c | 110449 | 900 18000 90000 | 83674 72663 120 | 0.000 % |
51.02/51.19 c | 111105 | 900 18000 90000 | 83674 73319 120 | 0.000 % |
51.52/51.63 c | 111825 | 900 18000 90000 | 83674 74039 120 | 0.000 % |
52.02/52.10 c | 112619 | 900 18000 90000 | 83674 74833 120 | 0.000 % |
52.52/52.63 c | 113490 | 900 18000 90000 | 83674 75704 120 | 0.000 % |
53.12/53.21 c | 114450 | 900 18000 90000 | 83674 76664 120 | 0.000 % |
53.72/53.85 c | 115503 | 900 18000 90000 | 83674 77717 120 | 0.000 % |
54.62/54.70 c | 116664 | 900 18000 90000 | 83674 78878 120 | 0.000 % |
55.42/55.57 c | 117937 | 900 18000 90000 | 83674 80151 120 | 0.000 % |
55.52/55.65 c | 118037 | 900 18000 90000 | 83674 80251 120 | 0.000 % |
55.62/55.76 c | 118148 | 900 18000 90000 | 83674 80362 120 | 0.000 % |
55.72/55.86 c | 118270 | 900 18000 90000 | 83674 80484 120 | 0.000 % |
55.82/55.96 c | 118403 | 900 18000 90000 | 83674 80617 120 | 0.000 % |
55.92/56.07 c | 118549 | 900 18000 90000 | 83674 80763 120 | 0.000 % |
56.13/56.21 c | 118709 | 900 18000 90000 | 83674 80923 120 | 0.000 % |
56.22/56.35 c | 118887 | 900 18000 90000 | 83674 81101 120 | 0.000 % |
56.32/56.49 c | 119082 | 900 18000 90000 | 83674 81296 120 | 0.000 % |
56.52/56.67 c | 119294 | 900 18000 90000 | 83674 81508 120 | 0.000 % |
56.72/56.86 c | 119529 | 900 18000 90000 | 83674 81743 120 | 0.000 % |
56.92/57.08 c | 119786 | 900 18000 90000 | 83674 82000 120 | 0.000 % |
57.13/57.29 c | 120069 | 900 18000 90000 | 82214 82283 120 | 0.000 % |
57.42/57.58 c | 120379 | 900 18000 90000 | 82214 72267 119 | 0.000 % |
57.72/57.81 c | 120718 | 900 18000 90000 | 82214 72606 119 | 0.000 % |
57.92/58.05 c | 121091 | 900 18000 90000 | 82214 72979 119 | 0.000 % |
58.22/58.33 c | 121500 | 900 18000 90000 | 82214 73388 119 | 0.000 % |
58.52/58.66 c | 121949 | 900 18000 90000 | 82214 73837 119 | 0.000 % |
58.82/58.97 c | 122442 | 900 18000 90000 | 82214 74330 119 | 0.000 % |
59.22/59.34 c | 122986 | 900 18000 90000 | 82214 74874 119 | 0.000 % |
59.62/59.73 c | 123582 | 900 18000 90000 | 82214 75470 119 | 0.000 % |
60.02/60.19 c | 124238 | 900 18000 90000 | 82214 76126 119 | 0.000 % |
60.52/60.67 c | 124958 | 900 18000 90000 | 82214 76846 119 | 0.000 % |
61.12/61.20 c | 125750 | 900 18000 90000 | 82214 77638 119 | 0.000 % |
61.62/61.77 c | 126621 | 900 18000 90000 | 82214 78509 119 | 0.000 % |
62.32/62.41 c | 127579 | 900 18000 90000 | 82214 79467 119 | 0.000 % |
63.02/63.19 c | 128633 | 900 18000 90000 | 82214 80521 119 | 0.000 % |
63.82/63.91 c | 129792 | 900 18000 90000 | 82214 81680 120 | 0.000 % |
64.62/64.76 c | 131065 | 900 18000 90000 | 81888 73128 120 | 0.000 % |
65.52/65.64 c | 132468 | 900 18000 90000 | 81888 74531 120 | 0.000 % |
65.62/65.72 c | 132568 | 900 18000 90000 | 81888 74631 120 | 0.000 % |
65.72/65.80 c | 132679 | 900 18000 90000 | 81888 74742 120 | 0.000 % |
65.82/65.90 c | 132802 | 900 18000 90000 | 81888 74865 120 | 0.000 % |
65.92/66.00 c | 132935 | 900 18000 90000 | 81888 74998 120 | 0.000 % |
66.02/66.10 c | 133081 | 900 18000 90000 | 81888 75144 120 | 0.000 % |
66.12/66.23 c | 133241 | 900 18000 90000 | 81888 75304 120 | 0.000 % |
66.22/66.36 c | 133417 | 900 18000 90000 | 81888 75480 120 | 0.000 % |
66.32/66.49 c | 133611 | 900 18000 90000 | 81888 75674 120 | 0.000 % |
66.52/66.64 c | 133823 | 900 18000 90000 | 81888 75886 120 | 0.000 % |
66.62/66.79 c | 134057 | 900 18000 90000 | 81888 76120 120 | 0.000 % |
66.82/66.99 c | 134313 | 900 18000 90000 | 81888 76376 120 | 0.000 % |
67.02/67.19 c | 134594 | 900 18000 90000 | 81888 76657 120 | 0.000 % |
67.32/67.43 c | 134904 | 900 18000 90000 | 81888 76967 120 | 0.000 % |
67.52/67.68 c | 135243 | 900 18000 90000 | 81888 77306 120 | 0.000 % |
67.82/67.94 c | 135616 | 900 18000 90000 | 81888 77679 120 | 0.000 % |
68.12/68.22 c | 136026 | 900 18000 90000 | 81888 78089 120 | 0.000 % |
68.42/68.55 c | 136477 | 900 18000 90000 | 81888 78540 120 | 0.000 % |
68.82/68.94 c | 136970 | 900 18000 90000 | 81888 79033 120 | 0.000 % |
69.22/69.34 c | 137512 | 900 18000 90000 | 81888 79575 120 | 0.000 % |
69.72/69.84 c | 138110 | 900 18000 90000 | 81888 80173 120 | 0.000 % |
70.12/70.30 c | 138765 | 900 18000 90000 | 81888 80828 120 | 0.000 % |
70.62/70.77 c | 139485 | 900 18000 90000 | 81888 81548 120 | 0.000 % |
71.22/71.36 c | 140277 | 900 18000 90000 | 82063 82340 120 | 0.000 % |
71.82/71.92 c | 141149 | 900 18000 90000 | 82063 73021 120 | 0.000 % |
72.42/72.53 c | 142107 | 900 18000 90000 | 82063 73979 120 | 0.000 % |
73.02/73.16 c | 143161 | 900 18000 90000 | 82063 75033 120 | 0.000 % |
73.82/73.91 c | 144319 | 900 18000 90000 | 82063 76191 120 | 0.000 % |
74.62/74.72 c | 145592 | 900 18000 90000 | 82063 77464 120 | 0.000 % |
75.61/75.78 c | 146993 | 900 18000 90000 | 82063 78865 121 | 0.000 % |
76.71/76.80 c | 148536 | 900 18000 90000 | 82063 80408 121 | 0.000 % |
76.71/76.89 c | 148636 | 900 18000 90000 | 82063 80508 121 | 0.000 % |
76.82/76.99 c | 148746 | 900 18000 90000 | 82063 80618 121 | 0.000 % |
76.92/77.08 c | 148869 | 900 18000 90000 | 82063 80741 121 | 0.000 % |
77.01/77.18 c | 149002 | 900 18000 90000 | 82063 80874 121 | 0.000 % |
77.21/77.30 c | 149149 | 900 18000 90000 | 82063 81021 121 | 0.000 % |
77.31/77.42 c | 149309 | 900 18000 90000 | 82063 81181 121 | 0.000 % |
77.41/77.56 c | 149486 | 900 18000 90000 | 82063 81358 121 | 0.000 % |
77.51/77.69 c | 149680 | 900 18000 90000 | 82063 81552 121 | 0.000 % |
77.71/77.85 c | 149894 | 900 18000 90000 | 82063 81766 121 | 0.000 % |
77.92/78.03 c | 150129 | 900 18000 90000 | 81872 82001 121 | 0.000 % |
78.11/78.23 c | 150386 | 900 18000 90000 | 81872 72946 121 | 0.000 % |
78.31/78.42 c | 150667 | 900 18000 90000 | 81872 73227 121 | 0.000 % |
78.51/78.64 c | 150976 | 900 18000 90000 | 81872 73536 121 | 0.000 % |
78.71/78.84 c | 151316 | 900 18000 90000 | 81872 73876 121 | 0.000 % |
78.91/79.08 c | 151688 | 900 18000 90000 | 81872 74248 121 | 0.000 % |
79.21/79.36 c | 152098 | 900 18000 90000 | 81872 74658 121 | 0.000 % |
79.61/79.72 c | 152547 | 900 18000 90000 | 81872 75107 121 | 0.000 % |
79.91/80.06 c | 153040 | 900 18000 90000 | 81872 75600 121 | 0.000 % |
80.31/80.45 c | 153583 | 900 18000 90000 | 81872 76143 121 | 0.000 % |
80.71/80.85 c | 154180 | 900 18000 90000 | 81872 76740 121 | 0.000 % |
81.11/81.28 c | 154835 | 900 18000 90000 | 81872 77395 121 | 0.000 % |
81.61/81.72 c | 155560 | 900 18000 90000 | 81872 78120 121 | 0.000 % |
82.11/82.29 c | 156353 | 900 18000 90000 | 81872 78913 121 | 0.000 % |
82.71/82.89 c | 157224 | 900 18000 90000 | 81872 79784 121 | 0.000 % |
83.41/83.54 c | 158184 | 900 18000 90000 | 81872 80744 121 | 0.000 % |
84.11/84.20 c | 159237 | 900 18000 90000 | 81872 81797 121 | 0.000 % |
84.81/84.97 c | 160398 | 900 18000 90000 | 73046 65229 122 | 0.000 % |
85.51/85.69 c | 161672 | 900 18000 90000 | 73046 66503 122 | 0.000 % |
86.31/86.44 c | 163073 | 900 18000 90000 | 73046 67904 122 | 0.000 % |
87.21/87.38 c | 164613 | 900 18000 90000 | 73046 69444 122 | 0.000 % |
88.31/88.42 c | 166307 | 900 18000 90000 | 73046 71138 122 | 0.000 % |
88.31/88.49 c | 166407 | 900 18000 90000 | 73046 71238 122 | 0.000 % |
88.41/88.55 c | 166517 | 900 18000 90000 | 73046 71348 122 | 0.000 % |
88.51/88.66 c | 166638 | 900 18000 90000 | 73046 71469 122 | 0.000 % |
88.61/88.74 c | 166771 | 900 18000 90000 | 73046 71602 122 | 0.000 % |
88.71/88.84 c | 166917 | 900 18000 90000 | 73046 71748 122 | 0.000 % |
88.81/88.95 c | 167077 | 900 18000 90000 | 73046 71908 122 | 0.000 % |
88.91/89.09 c | 167254 | 900 18000 90000 | 73046 72085 122 | 0.000 % |
89.11/89.23 c | 167447 | 900 18000 90000 | 73046 72278 122 | 0.000 % |
89.31/89.41 c | 167662 | 900 18000 90000 | 73046 72493 122 | 0.000 % |
89.41/89.54 c | 167896 | 900 18000 90000 | 73046 72727 122 | 0.000 % |
89.61/89.71 c | 168153 | 900 18000 90000 | 73046 72984 122 | 0.000 % |
89.81/89.90 c | 168434 | 900 18000 90000 | 73046 73265 122 | 0.000 % |
90.01/90.13 c | 168743 | 900 18000 90000 | 73046 66248 122 | 0.000 % |
90.21/90.33 c | 169083 | 900 18000 90000 | 73046 66588 122 | 0.000 % |
90.41/90.59 c | 169458 | 900 18000 90000 | 73046 66963 122 | 0.000 % |
90.71/90.87 c | 169869 | 900 18000 90000 | 73046 67374 122 | 0.000 % |
91.01/91.16 c | 170318 | 900 18000 90000 | 2147483647 67823 122 | 0.000 % |
91.31/91.46 c | 170814 | 900 18000 90000 | 2147483647 68319 122 | 0.000 % |
91.71/91.80 c | 171356 | 900 18000 90000 | 2147483647 68861 122 | 0.000 % |
92.01/92.18 c | 171953 | 900 18000 90000 | 2147483647 69458 122 | 0.000 % |
92.40/92.59 c | 172610 | 900 18000 90000 | 2147483647 70115 122 | 0.000 % |
92.90/93.01 c | 173330 | 900 18000 90000 | 2147483647 70835 122 | 0.000 % |
93.31/93.46 c | 174122 | 900 18000 90000 | 2147483647 71627 122 | 0.000 % |
93.90/94.00 c | 174993 | 900 18000 90000 | 2147483647 72498 122 | 0.000 % |
94.41/94.59 c | 175952 | 900 18000 90000 | 2147483647 73457 122 | 0.000 % |
95.10/95.23 c | 177006 | 900 18000 90000 | 2147483647 74511 122 | 0.000 % |
95.90/96.08 c | 178164 | 900 18000 90000 | 2147483647 75669 122 | 0.000 % |
96.80/96.90 c | 179440 | 900 18000 90000 | 2147483647 76945 122 | 0.000 % |
97.71/97.81 c | 180841 | 900 18000 90000 | 2147483647 78346 122 | 0.000 % |
98.60/98.78 c | 182381 | 900 18000 90000 | 2147483647 79886 122 | 0.000 % |
99.70/99.86 c | 184075 | 900 18000 90000 | 2147483647 81580 123 | 0.000 % |
101.00/101.16 c | 185939 | 900 18000 90000 | 2147483647 83444 123 | 0.000 % |
101.10/101.25 c | 186040 | 900 18000 90000 | 2147483647 83545 123 | 0.000 % |
101.20/101.35 c | 186151 | 900 18000 90000 | 2147483647 83656 123 | 0.000 % |
101.30/101.45 c | 186272 | 900 18000 90000 | 2147483647 83777 123 | 0.000 % |
101.40/101.55 c | 186406 | 900 18000 90000 | 2147483647 83911 123 | 0.000 % |
101.50/101.67 c | 186556 | 900 18000 90000 | 2147483647 84061 123 | 0.000 % |
101.70/101.80 c | 186716 | 900 18000 90000 | 2147483647 84221 123 | 0.000 % |
101.80/101.95 c | 186892 | 900 18000 90000 | 2147483647 84397 123 | 0.000 % |
102.00/102.11 c | 187086 | 900 18000 90000 | 2147483647 84591 123 | 0.000 % |
102.10/102.29 c | 187301 | 900 18000 90000 | 2147483647 84806 123 | 0.000 % |
102.30/102.47 c | 187534 | 900 18000 90000 | 2147483647 85039 123 | 0.000 % |
102.50/102.68 c | 187792 | 900 18000 90000 | 2147483647 85297 123 | 0.000 % |
102.79/102.90 c | 188074 | 900 18000 90000 | 2147483647 85579 123 | 0.000 % |
102.99/103.19 c | 188384 | 900 18000 90000 | 2147483647 85889 123 | 0.000 % |
103.29/103.46 c | 188723 | 900 18000 90000 | 2147483647 86228 123 | 0.000 % |
103.60/103.74 c | 189097 | 900 18000 90000 | 2147483647 86602 123 | 0.000 % |
104.00/104.10 c | 189507 | 900 18000 90000 | 2147483647 87012 123 | 0.000 % |
104.30/104.48 c | 189958 | 900 18000 90000 | 2147483647 87463 123 | 0.000 % |
104.79/104.90 c | 190452 | 900 18000 90000 | 87505 76418 123 | 0.000 % |
105.09/105.26 c | 190996 | 900 18000 90000 | 87505 76962 123 | 0.000 % |
105.50/105.69 c | 191593 | 900 18000 90000 | 87505 77559 123 | 0.000 % |
105.99/106.17 c | 192248 | 900 18000 90000 | 87505 78214 123 | 0.000 % |
106.50/106.62 c | 192969 | 900 18000 90000 | 87505 78935 123 | 0.000 % |
107.09/107.21 c | 193761 | 900 18000 90000 | 87505 79727 123 | 0.000 % |
107.70/107.81 c | 194633 | 900 18000 90000 | 87505 80599 123 | 0.000 % |
108.39/108.52 c | 195592 | 900 18000 90000 | 87505 81558 123 | 0.000 % |
109.09/109.28 c | 196646 | 900 18000 90000 | 87505 82612 123 | 0.000 % |
109.99/110.10 c | 197805 | 900 18000 90000 | 87505 83771 123 | 0.000 % |
110.79/110.96 c | 199079 | 900 18000 90000 | 87505 85045 123 | 0.000 % |
111.99/112.11 c | 200483 | 900 18000 90000 | 85966 75016 123 | 0.000 % |
112.99/113.14 c | 202024 | 900 18000 90000 | 85966 76557 123 | 0.000 % |
114.19/114.35 c | 203719 | 900 18000 90000 | 85966 78252 123 | 0.000 % |
115.49/115.66 c | 205582 | 900 18000 90000 | 85966 80115 124 | 0.000 % |
117.09/117.20 c | 207631 | 900 18000 90000 | 85966 82164 124 | 0.000 % |
117.09/117.29 c | 207732 | 900 18000 90000 | 85966 82265 124 | 0.000 % |
117.19/117.37 c | 207842 | 900 18000 90000 | 85966 82375 124 | 0.000 % |
117.29/117.45 c | 207963 | 900 18000 90000 | 85966 82496 124 | 0.000 % |
117.39/117.57 c | 208096 | 900 18000 90000 | 85966 82629 124 | 0.000 % |
117.59/117.71 c | 208243 | 900 18000 90000 | 85966 82776 124 | 0.000 % |
117.69/117.83 c | 208403 | 900 18000 90000 | 85966 82936 124 | 0.000 % |
117.79/117.98 c | 208579 | 900 18000 90000 | 85966 83112 124 | 0.000 % |
117.99/118.15 c | 208772 | 900 18000 90000 | 85966 83305 124 | 0.000 % |
118.19/118.30 c | 208985 | 900 18000 90000 | 85966 83518 124 | 0.000 % |
118.29/118.49 c | 209220 | 900 18000 90000 | 85966 83753 124 | 0.000 % |
118.49/118.67 c | 209477 | 900 18000 90000 | 85966 84010 124 | 0.000 % |
118.69/118.86 c | 209758 | 900 18000 90000 | 85966 84291 124 | 0.000 % |
118.89/119.09 c | 210070 | 900 18000 90000 | 84535 84603 124 | 0.000 % |
119.29/119.40 c | 210410 | 900 18000 90000 | 84535 73505 124 | 0.000 % |
119.49/119.68 c | 210782 | 900 18000 90000 | 84535 73877 124 | 0.000 % |
119.79/119.95 c | 211193 | 900 18000 90000 | 84535 74288 124 | 0.000 % |
120.09/120.26 c | 211642 | 900 18000 90000 | 84535 74737 124 | 0.000 % |
120.39/120.55 c | 212136 | 900 18000 90000 | 84535 75231 124 | 0.000 % |
120.79/120.92 c | 212678 | 900 18000 90000 | 84535 75773 124 | 0.000 % |
121.19/121.30 c | 213275 | 900 18000 90000 | 84535 76370 124 | 0.000 % |
121.59/121.73 c | 213930 | 900 18000 90000 | 84535 77025 124 | 0.000 % |
121.99/122.19 c | 214652 | 900 18000 90000 | 84535 77747 124 | 0.000 % |
122.49/122.66 c | 215445 | 900 18000 90000 | 84535 78540 124 | 0.000 % |
123.09/123.23 c | 216316 | 900 18000 90000 | 84535 79411 124 | 0.000 % |
123.69/123.84 c | 217276 | 900 18000 90000 | 84535 80371 124 | 0.000 % |
124.39/124.56 c | 218329 | 900 18000 90000 | 84535 81424 124 | 0.000 % |
125.19/125.35 c | 219487 | 900 18000 90000 | 84535 82582 124 | 0.000 % |
126.18/126.30 c | 220760 | 900 18000 90000 | 83098 74406 124 | 0.000 % |
126.98/127.18 c | 222162 | 900 18000 90000 | 83098 75808 124 | 0.000 % |
127.98/128.14 c | 223702 | 900 18000 90000 | 83098 77348 124 | 0.000 % |
129.08/129.24 c | 225398 | 900 18000 90000 | 83098 79044 124 | 0.000 % |
130.28/130.49 c | 227261 | 900 18000 90000 | 83098 80907 124 | 0.000 % |
131.68/131.85 c | 229311 | 900 18000 90000 | 83098 82957 124 | 0.000 % |
133.18/133.34 c | 231564 | 900 18000 90000 | 74392 67991 124 | 0.000 % |
133.28/133.43 c | 231665 | 900 18000 90000 | 74392 68092 124 | 0.000 % |
133.38/133.51 c | 231776 | 900 18000 90000 | 74392 68203 124 | 0.000 % |
133.38/133.59 c | 231897 | 900 18000 90000 | 74392 68324 124 | 0.000 % |
133.48/133.69 c | 232030 | 900 18000 90000 | 74392 68457 124 | 0.000 % |
133.68/133.80 c | 232177 | 900 18000 90000 | 74392 68604 124 | 0.000 % |
133.78/133.91 c | 232338 | 900 18000 90000 | 74392 68765 124 | 0.000 % |
133.88/134.02 c | 232515 | 900 18000 90000 | 74392 68942 124 | 0.000 % |
133.98/134.18 c | 232708 | 900 18000 90000 | 74392 69135 124 | 0.000 % |
134.18/134.31 c | 232921 | 900 18000 90000 | 74392 69348 124 | 0.000 % |
134.28/134.46 c | 233155 | 900 18000 90000 | 74392 69582 124 | 0.000 % |
134.48/134.62 c | 233411 | 900 18000 90000 | 74392 69838 124 | 0.000 % |
134.67/134.81 c | 233694 | 900 18000 90000 | 74392 70121 123 | 0.000 % |
134.87/135.00 c | 234005 | 900 18000 90000 | 74392 70432 124 | 0.000 % |
135.08/135.25 c | 234347 | 900 18000 90000 | 74392 70774 123 | 0.000 % |
135.37/135.51 c | 234720 | 900 18000 90000 | 74392 71147 123 | 0.000 % |
135.57/135.77 c | 235131 | 900 18000 90000 | 74392 71558 123 | 0.000 % |
135.87/136.03 c | 235580 | 900 18000 90000 | 74392 72007 123 | 0.000 % |
136.18/136.38 c | 236073 | 900 18000 90000 | 74392 72500 123 | 0.000 % |
136.57/136.73 c | 236616 | 900 18000 90000 | 74392 73043 123 | 0.000 % |
136.97/137.15 c | 237212 | 900 18000 90000 | 74392 73639 123 | 0.000 % |
137.38/137.57 c | 237867 | 900 18000 90000 | 74392 74294 123 | 0.000 % |
137.87/138.09 c | 238587 | 900 18000 90000 | 74392 67544 124 | 0.000 % |
138.48/138.61 c | 239380 | 900 18000 90000 | 74392 68337 124 | 0.000 % |
138.97/139.18 c | 240251 | 900 18000 90000 | 2147483647 69208 124 | 0.000 % |
139.67/139.81 c | 241212 | 900 18000 90000 | 2147483647 70169 124 | 0.000 % |
140.27/140.44 c | 242265 | 900 18000 90000 | 2147483647 71222 124 | 0.000 % |
140.97/141.16 c | 243424 | 900 18000 90000 | 2147483647 72381 124 | 0.000 % |
141.78/141.92 c | 244697 | 900 18000 90000 | 2147483647 73654 124 | 0.000 % |
142.67/142.83 c | 246097 | 900 18000 90000 | 2147483647 75054 124 | 0.000 % |
143.67/143.87 c | 247639 | 900 18000 90000 | 2147483647 76596 124 | 0.000 % |
144.77/144.93 c | 249333 | 900 18000 90000 | 2147483647 78290 124 | 0.000 % |
145.97/146.18 c | 251197 | 900 18000 90000 | 2147483647 80154 124 | 0.000 % |
147.37/147.52 c | 253248 | 900 18000 90000 | 2147483647 82205 124 | 0.000 % |
148.86/149.03 c | 255501 | 900 18000 90000 | 2147483647 84458 125 | 0.000 % |
150.66/150.89 c | 257980 | 900 18000 90000 | 2147483647 86937 125 | 0.000 % |
150.76/150.97 c | 258080 | 900 18000 90000 | 2147483647 87037 125 | 0.000 % |
150.86/151.07 c | 258192 | 900 18000 90000 | 2147483647 87149 125 | 0.000 % |
150.96/151.19 c | 258313 | 900 18000 90000 | 2147483647 87270 125 | 0.000 % |
151.06/151.28 c | 258446 | 900 18000 90000 | 2147483647 87403 125 | 0.000 % |
151.26/151.41 c | 258592 | 900 18000 90000 | 2147483647 87549 125 | 0.000 % |
151.36/151.56 c | 258754 | 900 18000 90000 | 2147483647 87711 125 | 0.000 % |
151.56/151.72 c | 258930 | 900 18000 90000 | 2147483647 87887 125 | 0.000 % |
151.66/151.89 c | 259125 | 900 18000 90000 | 2147483647 88082 125 | 0.000 % |
151.86/152.07 c | 259338 | 900 18000 90000 | 2147483647 88295 125 | 0.000 % |
152.06/152.27 c | 259571 | 900 18000 90000 | 2147483647 88528 125 | 0.000 % |
152.26/152.50 c | 259827 | 900 18000 90000 | 2147483647 88784 125 | 0.000 % |
152.56/152.71 c | 260109 | 900 18000 90000 | 88957 89066 125 | 0.000 % |
152.76/152.98 c | 260420 | 900 18000 90000 | 88957 77096 124 | 0.000 % |
153.06/153.22 c | 260759 | 900 18000 90000 | 88957 77435 124 | 0.000 % |
153.26/153.47 c | 261134 | 900 18000 90000 | 88957 77810 124 | 0.000 % |
153.55/153.78 c | 261543 | 900 18000 90000 | 88957 78219 124 | 0.000 % |
153.95/154.16 c | 261992 | 900 18000 90000 | 88957 78668 124 | 0.000 % |
154.35/154.54 c | 262485 | 900 18000 90000 | 88957 79161 124 | 0.000 % |
154.75/154.92 c | 263027 | 900 18000 90000 | 88957 79703 124 | 0.000 % |
155.25/155.40 c | 263624 | 900 18000 90000 | 88957 80300 124 | 0.000 % |
155.65/155.86 c | 264279 | 900 18000 90000 | 88957 80955 124 | 0.000 % |
156.15/156.38 c | 265000 | 900 18000 90000 | 88957 81676 124 | 0.000 % |
156.75/156.95 c | 265792 | 900 18000 90000 | 88957 82468 124 | 0.000 % |
157.35/157.56 c | 266663 | 900 18000 90000 | 88957 83339 124 | 0.000 % |
158.05/158.20 c | 267623 | 900 18000 90000 | 88957 84299 124 | 0.000 % |
158.75/158.94 c | 268678 | 900 18000 90000 | 88957 85354 124 | 0.000 % |
159.55/159.77 c | 269838 | 900 18000 90000 | 88957 86514 124 | 0.000 % |
160.46/160.70 c | 271111 | 900 18000 90000 | 86677 75655 124 | 0.000 % |
161.35/161.59 c | 272511 | 900 18000 90000 | 86677 77055 124 | 0.000 % |
162.45/162.68 c | 274051 | 900 18000 90000 | 86677 78595 124 | 0.000 % |
163.66/163.83 c | 275745 | 900 18000 90000 | 86677 80289 124 | 0.000 % |
164.85/165.06 c | 277609 | 900 18000 90000 | 86677 82153 124 | 0.000 % |
166.25/166.48 c | 279659 | 900 18000 90000 | 86677 84203 124 | 0.000 % |
167.85/168.07 c | 281913 | 900 18000 90000 | 84544 75596 124 | 0.000 % |
169.45/169.64 c | 284391 | 900 18000 90000 | 84544 78074 124 | 0.000 % |
171.15/171.38 c | 287117 | 900 18000 90000 | 84544 80800 124 | 0.000 % |
171.25/171.44 c | 287217 | 900 18000 90000 | 84544 80900 124 | 0.000 % |
171.35/171.52 c | 287328 | 900 18000 90000 | 84544 81011 124 | 0.000 % |
171.45/171.61 c | 287450 | 900 18000 90000 | 84544 81133 124 | 0.000 % |
171.55/171.72 c | 287583 | 900 18000 90000 | 84544 81266 124 | 0.000 % |
171.65/171.85 c | 287729 | 900 18000 90000 | 84544 81412 124 | 0.000 % |
171.74/171.98 c | 287890 | 900 18000 90000 | 84544 81573 124 | 0.000 % |
171.94/172.13 c | 288066 | 900 18000 90000 | 84544 81749 124 | 0.000 % |
172.04/172.30 c | 288259 | 900 18000 90000 | 84544 81942 124 | 0.000 % |
172.24/172.47 c | 288472 | 900 18000 90000 | 84544 82155 124 | 0.000 % |
172.45/172.65 c | 288707 | 900 18000 90000 | 84544 82390 124 | 0.000 % |
172.64/172.84 c | 288965 | 900 18000 90000 | 84544 82648 124 | 0.000 % |
172.84/173.07 c | 289249 | 900 18000 90000 | 84544 82932 124 | 0.000 % |
173.14/173.31 c | 289558 | 900 18000 90000 | 84544 83241 124 | 0.000 % |
173.34/173.59 c | 289897 | 900 18000 90000 | 84544 83580 124 | 0.000 % |
173.65/173.87 c | 290273 | 900 18000 90000 | 83684 83956 124 | 0.000 % |
174.04/174.21 c | 290682 | 900 18000 90000 | 83684 74321 124 | 0.000 % |
174.34/174.50 c | 291133 | 900 18000 90000 | 83684 74772 124 | 0.000 % |
174.65/174.85 c | 291626 | 900 18000 90000 | 83684 75265 124 | 0.000 % |
175.04/175.21 c | 292170 | 900 18000 90000 | 83684 75809 124 | 0.000 % |
175.44/175.61 c | 292767 | 900 18000 90000 | 83684 76406 124 | 0.000 % |
175.85/176.09 c | 293424 | 900 18000 90000 | 83684 77063 124 | 0.000 % |
176.34/176.59 c | 294146 | 900 18000 90000 | 83684 77785 124 | 0.000 % |
176.94/177.13 c | 294939 | 900 18000 90000 | 83684 78578 124 | 0.000 % |
177.54/177.72 c | 295811 | 900 18000 90000 | 83684 79450 124 | 0.000 % |
178.14/178.38 c | 296771 | 900 18000 90000 | 83684 80410 124 | 0.000 % |
178.84/179.09 c | 297825 | 900 18000 90000 | 83684 81464 124 | 0.000 % |
179.64/179.86 c | 298984 | 900 18000 90000 | 83684 82623 124 | 0.000 % |
180.44/180.69 c | 300257 | 900 18000 90000 | 83643 83896 124 | 0.000 % |
181.44/181.60 c | 301657 | 900 18000 90000 | 83643 75609 123 | 0.000 % |
182.34/182.56 c | 303198 | 900 18000 90000 | 83643 77150 124 | 0.000 % |
183.54/183.71 c | 304892 | 900 18000 90000 | 83643 78844 124 | 0.000 % |
184.84/185.03 c | 306755 | 900 18000 90000 | 83643 80707 124 | 0.000 % |
186.23/186.40 c | 308804 | 900 18000 90000 | 83643 82756 124 | 0.000 % |
187.73/187.97 c | 311057 | 900 18000 90000 | 83954 75726 124 | 0.000 % |
189.33/189.59 c | 313536 | 900 18000 90000 | 83954 78205 124 | 0.000 % |
191.24/191.41 c | 316262 | 900 18000 90000 | 83954 80931 124 | 0.000 % |
193.33/193.58 c | 319260 | 900 18000 90000 | 83954 83929 124 | 0.000 % |
193.43/193.65 c | 319361 | 900 18000 90000 | 83954 84030 124 | 0.000 % |
193.53/193.76 c | 319471 | 900 18000 90000 | 83954 73993 124 | 0.000 % |
193.63/193.85 c | 319592 | 900 18000 90000 | 83954 74114 124 | 0.000 % |
193.73/193.96 c | 319726 | 900 18000 90000 | 83954 74248 124 | 0.000 % |
193.83/194.07 c | 319872 | 900 18000 90000 | 83954 74394 124 | 0.000 % |
193.92/194.16 c | 320032 | 900 18000 90000 | 74522 74554 124 | 0.000 % |
194.12/194.33 c | 320208 | 900 18000 90000 | 74522 65708 123 | 0.000 % |
194.22/194.46 c | 320403 | 900 18000 90000 | 74522 65903 123 | 0.000 % |
194.32/194.58 c | 320615 | 900 18000 90000 | 74522 66115 123 | 0.000 % |
194.53/194.74 c | 320849 | 900 18000 90000 | 74522 66349 123 | 0.000 % |
194.72/194.90 c | 321105 | 900 18000 90000 | 74522 66605 123 | 0.000 % |
194.82/195.06 c | 321386 | 900 18000 90000 | 74522 66886 123 | 0.000 % |
195.02/195.26 c | 321696 | 900 18000 90000 | 74522 67196 123 | 0.000 % |
195.22/195.47 c | 322035 | 900 18000 90000 | 74522 67535 123 | 0.000 % |
195.53/195.72 c | 322407 | 900 18000 90000 | 74522 67907 123 | 0.000 % |
195.72/195.98 c | 322817 | 900 18000 90000 | 74522 68317 123 | 0.000 % |
196.02/196.27 c | 323269 | 900 18000 90000 | 74522 68769 123 | 0.000 % |
196.32/196.55 c | 323764 | 900 18000 90000 | 74522 69264 123 | 0.000 % |
196.63/196.88 c | 324307 | 900 18000 90000 | 74522 69807 123 | 0.000 % |
197.02/197.24 c | 324903 | 900 18000 90000 | 74522 70403 123 | 0.000 % |
197.42/197.63 c | 325559 | 900 18000 90000 | 74522 71059 123 | 0.000 % |
197.92/198.10 c | 326281 | 900 18000 90000 | 74522 71781 123 | 0.000 % |
198.42/198.65 c | 327073 | 900 18000 90000 | 74522 72573 123 | 0.000 % |
199.02/199.25 c | 327945 | 900 18000 90000 | 74522 73445 123 | 0.000 % |
199.62/199.88 c | 328903 | 900 18000 90000 | 74522 74403 123 | 0.000 % |
200.32/200.56 c | 329957 | 900 18000 90000 | 74522 67972 123 | 0.000 % |
201.02/201.24 c | 331116 | 900 18000 90000 | 2147483647 69131 123 | 0.000 % |
201.72/201.98 c | 332389 | 900 18000 90000 | 2147483647 70404 123 | 0.000 % |
202.52/202.78 c | 333789 | 900 18000 90000 | 2147483647 71804 123 | 0.000 % |
203.42/203.68 c | 335329 | 900 18000 90000 | 2147483647 73344 123 | 0.000 % |
204.52/204.72 c | 337024 | 900 18000 90000 | 2147483647 75039 123 | 0.000 % |
205.72/205.99 c | 338887 | 900 18000 90000 | 2147483647 76902 123 | 0.000 % |
207.12/207.37 c | 340936 | 900 18000 90000 | 2147483647 78951 123 | 0.000 % |
208.62/208.80 c | 343189 | 900 18000 90000 | 2147483647 81204 123 | 0.000 % |
210.21/210.47 c | 345669 | 900 18000 90000 | 2147483647 83684 123 | 0.000 % |
212.21/212.41 c | 348394 | 900 18000 90000 | 2147483647 86409 124 | 0.000 % |
214.32/214.52 c | 351392 | 900 18000 90000 | 88015 78624 124 | 0.000 % |
216.52/216.73 c | 354689 | 900 18000 90000 | 88015 81921 124 | 0.000 % |
216.61/216.81 c | 354789 | 900 18000 90000 | 88015 82021 124 | 0.000 % |
216.71/216.90 c | 354900 | 900 18000 90000 | 88015 82132 124 | 0.000 % |
216.71/216.99 c | 355021 | 900 18000 90000 | 88015 82253 124 | 0.000 % |
216.91/217.12 c | 355154 | 900 18000 90000 | 88015 82386 124 | 0.000 % |
217.01/217.23 c | 355301 | 900 18000 90000 | 88015 82533 124 | 0.000 % |
217.11/217.35 c | 355461 | 900 18000 90000 | 88015 82693 124 | 0.000 % |
217.31/217.51 c | 355640 | 900 18000 90000 | 88015 82872 124 | 0.000 % |
217.41/217.66 c | 355833 | 900 18000 90000 | 88015 83065 124 | 0.000 % |
217.61/217.82 c | 356045 | 900 18000 90000 | 88015 83277 124 | 0.000 % |
217.81/218.02 c | 356278 | 900 18000 90000 | 88015 83510 124 | 0.000 % |
218.01/218.21 c | 356535 | 900 18000 90000 | 88015 83767 124 | 0.000 % |
218.21/218.44 c | 356817 | 900 18000 90000 | 88015 84049 124 | 0.000 % |
218.41/218.67 c | 357127 | 900 18000 90000 | 88015 84359 124 | 0.000 % |
218.71/218.94 c | 357468 | 900 18000 90000 | 88015 84700 124 | 0.000 % |
219.01/219.23 c | 357840 | 900 18000 90000 | 88015 85072 124 | 0.000 % |
219.31/219.52 c | 358253 | 900 18000 90000 | 88015 85485 124 | 0.000 % |
219.61/219.84 c | 358702 | 900 18000 90000 | 88015 85934 124 | 0.000 % |
220.01/220.22 c | 359196 | 900 18000 90000 | 88015 86428 124 | 0.000 % |
220.41/220.62 c | 359739 | 900 18000 90000 | 88015 86971 124 | 0.000 % |
220.91/221.12 c | 360335 | 900 18000 90000 | 87233 75528 123 | 0.000 % |
221.31/221.57 c | 360991 | 900 18000 90000 | 87233 76184 123 | 0.000 % |
221.81/222.06 c | 361712 | 900 18000 90000 | 87233 76905 123 | 0.000 % |
222.31/222.57 c | 362505 | 900 18000 90000 | 87233 77698 123 | 0.000 % |
223.01/223.24 c | 363377 | 900 18000 90000 | 87233 78570 123 | 0.000 % |
223.71/223.91 c | 364336 | 900 18000 90000 | 87233 79529 123 | 0.000 % |
224.31/224.59 c | 365389 | 900 18000 90000 | 87233 80582 123 | 0.000 % |
225.11/225.38 c | 366547 | 900 18000 90000 | 87233 81740 123 | 0.000 % |
226.01/226.23 c | 367821 | 900 18000 90000 | 87233 83014 123 | 0.000 % |
226.90/227.20 c | 369224 | 900 18000 90000 | 87233 84417 124 | 0.000 % |
228.00/228.27 c | 370764 | 900 18000 90000 | 85193 75186 124 | 0.000 % |
229.10/229.35 c | 372459 | 900 18000 90000 | 85193 76881 124 | 0.000 % |
230.30/230.57 c | 374324 | 900 18000 90000 | 85193 78746 124 | 0.000 % |
231.70/231.94 c | 376374 | 900 18000 90000 | 85193 80796 124 | 0.000 % |
233.10/233.38 c | 378630 | 900 18000 90000 | 85193 83052 124 | 0.000 % |
235.00/235.23 c | 381108 | 900 18000 90000 | 84422 75840 124 | 0.000 % |
236.70/236.92 c | 383833 | 900 18000 90000 | 84422 78565 124 | 0.000 % |
238.79/239.04 c | 386831 | 900 18000 90000 | 84422 81563 124 | 0.000 % |
241.29/241.53 c | 390129 | 900 18000 90000 | 75334 75462 124 | 0.000 % |
243.49/243.77 c | 393754 | 900 18000 90000 | 75334 70700 125 | 0.000 % |
243.59/243.84 c | 393854 | 900 18000 90000 | 75334 70800 125 | 0.000 % |
243.69/243.92 c | 393964 | 900 18000 90000 | 75334 70910 125 | 0.000 % |
243.79/244.01 c | 394085 | 900 18000 90000 | 75334 71031 125 | 0.000 % |
243.89/244.12 c | 394221 | 900 18000 90000 | 75334 71167 125 | 0.000 % |
243.99/244.24 c | 394371 | 900 18000 90000 | 75334 71317 125 | 0.000 % |
244.09/244.35 c | 394531 | 900 18000 90000 | 75334 71477 125 | 0.000 % |
244.19/244.49 c | 394707 | 900 18000 90000 | 75334 71653 125 | 0.000 % |
244.39/244.61 c | 394900 | 900 18000 90000 | 75334 71846 125 | 0.000 % |
244.49/244.75 c | 395113 | 900 18000 90000 | 75334 72059 125 | 0.000 % |
244.69/244.90 c | 395347 | 900 18000 90000 | 75334 72293 125 | 0.000 % |
244.79/245.08 c | 395603 | 900 18000 90000 | 75334 72549 125 | 0.000 % |
244.99/245.28 c | 395884 | 900 18000 90000 | 75334 72830 125 | 0.000 % |
245.19/245.48 c | 396193 | 900 18000 90000 | 75334 73139 125 | 0.000 % |
245.49/245.70 c | 396534 | 900 18000 90000 | 75334 73480 124 | 0.000 % |
245.69/245.96 c | 396908 | 900 18000 90000 | 75334 73854 124 | 0.000 % |
245.99/246.24 c | 397318 | 900 18000 90000 | 75334 74264 124 | 0.000 % |
246.29/246.52 c | 397768 | 900 18000 90000 | 75334 74714 124 | 0.000 % |
246.59/246.84 c | 398261 | 900 18000 90000 | 75334 75207 124 | 0.000 % |
246.99/247.23 c | 398803 | 900 18000 90000 | 75334 68182 125 | 0.000 % |
247.39/247.60 c | 399403 | 900 18000 90000 | 75334 68782 125 | 0.000 % |
247.68/247.97 c | 400058 | 900 18000 90000 | 2147483647 69437 125 | 0.000 % |
248.18/248.47 c | 400779 | 900 18000 90000 | 2147483647 70158 124 | 0.000 % |
248.68/248.95 c | 401572 | 900 18000 90000 | 2147483647 70951 125 | 0.000 % |
249.18/249.50 c | 402443 | 900 18000 90000 | 2147483647 71822 125 | 0.000 % |
249.78/250.06 c | 403401 | 900 18000 90000 | 2147483647 72780 125 | 0.000 % |
250.49/250.72 c | 404455 | 900 18000 90000 | 2147483647 73834 125 | 0.000 % |
251.18/251.42 c | 405614 | 900 18000 90000 | 2147483647 74993 125 | 0.000 % |
251.98/252.21 c | 406888 | 900 18000 90000 | 2147483647 76267 125 | 0.000 % |
252.79/253.10 c | 408288 | 900 18000 90000 | 2147483647 77667 125 | 0.000 % |
253.79/254.07 c | 409829 | 900 18000 90000 | 2147483647 79208 125 | 0.000 % |
254.99/255.21 c | 411524 | 900 18000 90000 | 2147483647 80903 125 | 0.000 % |
256.18/256.50 c | 413387 | 900 18000 90000 | 2147483647 82766 125 | 0.000 % |
257.68/257.93 c | 415437 | 900 18000 90000 | 2147483647 84816 125 | 0.000 % |
259.18/259.43 c | 417691 | 900 18000 90000 | 2147483647 87070 125 | 0.000 % |
260.89/261.16 c | 420170 | 900 18000 90000 | 89380 89549 125 | 0.000 % |
262.89/263.12 c | 422895 | 900 18000 90000 | 89380 81410 125 | 0.000 % |
264.89/265.11 c | 425894 | 900 18000 90000 | 89380 84409 125 | 0.000 % |
267.09/267.39 c | 429193 | 900 18000 90000 | 89380 87708 125 | 0.000 % |
269.69/269.90 c | 432820 | 900 18000 90000 | 88516 80056 125 | 0.000 % |
272.28/272.56 c | 436809 | 900 18000 90000 | 88516 84045 125 | 0.000 % |
272.38/272.64 c | 436913 | 900 18000 90000 | 88516 84149 125 | 0.000 % |
272.49/272.71 c | 437023 | 900 18000 90000 | 88516 84259 125 | 0.000 % |
272.59/272.83 c | 437146 | 900 18000 90000 | 88516 84382 125 | 0.000 % |
272.68/272.95 c | 437279 | 900 18000 90000 | 88516 84515 125 | 0.000 % |
272.78/273.05 c | 437425 | 900 18000 90000 | 88516 84661 125 | 0.000 % |
272.88/273.18 c | 437586 | 900 18000 90000 | 88516 84822 125 | 0.000 % |
273.08/273.34 c | 437762 | 900 18000 90000 | 88516 84998 125 | 0.000 % |
273.18/273.49 c | 437956 | 900 18000 90000 | 88516 85192 125 | 0.000 % |
273.38/273.66 c | 438168 | 900 18000 90000 | 88516 85404 125 | 0.000 % |
273.59/273.83 c | 438402 | 900 18000 90000 | 88516 85638 125 | 0.000 % |
273.78/274.04 c | 438658 | 900 18000 90000 | 88516 85894 125 | 0.000 % |
273.98/274.26 c | 438940 | 900 18000 90000 | 88516 86176 125 | 0.000 % |
274.18/274.49 c | 439250 | 900 18000 90000 | 88516 86486 125 | 0.000 % |
274.48/274.75 c | 439589 | 900 18000 90000 | 88516 86825 125 | 0.000 % |
274.79/275.07 c | 439961 | 900 18000 90000 | 88516 87197 125 | 0.000 % |
275.18/275.44 c | 440370 | 900 18000 90000 | 87238 75802 126 | 0.000 % |
275.48/275.74 c | 440819 | 900 18000 90000 | 87238 76251 125 | 0.000 % |
275.79/276.09 c | 441313 | 900 18000 90000 | 87238 76745 125 | 0.000 % |
276.18/276.46 c | 441855 | 900 18000 90000 | 87238 77287 125 | 0.000 % |
276.58/276.86 c | 442453 | 900 18000 90000 | 87238 77885 125 | 0.000 % |
277.08/277.30 c | 443112 | 900 18000 90000 | 87238 78544 125 | 0.000 % |
277.48/277.77 c | 443832 | 900 18000 90000 | 87238 79264 125 | 0.000 % |
277.98/278.26 c | 444624 | 900 18000 90000 | 87238 80056 125 | 0.000 % |
278.58/278.84 c | 445495 | 900 18000 90000 | 87238 80927 125 | 0.000 % |
279.28/279.51 c | 446453 | 900 18000 90000 | 87238 81885 125 | 0.000 % |
279.98/280.26 c | 447507 | 900 18000 90000 | 87238 82939 125 | 0.000 % |
280.78/281.09 c | 448665 | 900 18000 90000 | 87238 84097 125 | 0.000 % |
281.78/282.03 c | 449938 | 900 18000 90000 | 87238 85370 125 | 0.000 % |
282.78/283.08 c | 451338 | 900 18000 90000 | 85434 75348 125 | 0.000 % |
283.77/284.03 c | 452879 | 900 18000 90000 | 85434 76889 125 | 0.000 % |
284.87/285.15 c | 454574 | 900 18000 90000 | 85434 78584 125 | 0.000 % |
286.17/286.47 c | 456437 | 900 18000 90000 | 85434 80447 125 | 0.000 % |
287.57/287.88 c | 458486 | 900 18000 90000 | 85434 82496 125 | 0.000 % |
289.17/289.48 c | 460740 | 900 18000 90000 | 84012 74108 125 | 0.000 % |
290.67/290.99 c | 463218 | 900 18000 90000 | 84012 76586 126 | 0.000 % |
292.47/292.73 c | 465943 | 900 18000 90000 | 84012 79311 126 | 0.000 % |
294.37/294.69 c | 468940 | 900 18000 90000 | 84012 82308 126 | 0.000 % |
296.77/297.05 c | 472236 | 900 18000 90000 | 83368 76692 126 | 0.000 % |
299.07/299.38 c | 475861 | 900 18000 90000 | 83368 80317 126 | 0.000 % |
301.97/302.25 c | 479848 | 900 18000 90000 | 83368 75673 126 | 0.000 % |
304.57/304.82 c | 484234 | 900 18000 90000 | 75828 72355 127 | 0.000 % |
304.57/304.89 c | 484334 | 900 18000 90000 | 75828 72455 127 | 0.000 % |
304.67/304.97 c | 484444 | 900 18000 90000 | 75828 72565 127 | 0.000 % |
304.77/305.05 c | 484566 | 900 18000 90000 | 75828 72687 127 | 0.000 % |
304.86/305.16 c | 484699 | 900 18000 90000 | 75828 72820 127 | 0.000 % |
304.96/305.26 c | 484845 | 900 18000 90000 | 75828 72966 127 | 0.000 % |
305.06/305.36 c | 485005 | 900 18000 90000 | 75828 73126 127 | 0.000 % |
305.26/305.50 c | 485181 | 900 18000 90000 | 75828 73302 127 | 0.000 % |
305.36/305.64 c | 485374 | 900 18000 90000 | 75828 73495 127 | 0.000 % |
305.47/305.80 c | 485590 | 900 18000 90000 | 75828 73711 127 | 0.000 % |
305.66/305.96 c | 485824 | 900 18000 90000 | 75828 73945 126 | 0.000 % |
305.86/306.13 c | 486080 | 900 18000 90000 | 75828 74201 126 | 0.000 % |
306.06/306.32 c | 486361 | 900 18000 90000 | 75828 74482 126 | 0.000 % |
306.26/306.52 c | 486671 | 900 18000 90000 | 75828 74792 126 | 0.000 % |
306.46/306.75 c | 487010 | 900 18000 90000 | 75828 75131 126 | 0.000 % |
306.76/307.01 c | 487382 | 900 18000 90000 | 75828 75503 126 | 0.000 % |
306.96/307.28 c | 487792 | 900 18000 90000 | 75828 75913 126 | 0.000 % |
307.36/307.60 c | 488241 | 900 18000 90000 | 75828 68771 126 | 0.000 % |
307.56/307.89 c | 488735 | 900 18000 90000 | 75828 69265 126 | 0.000 % |
307.96/308.26 c | 489277 | 900 18000 90000 | 75828 69807 126 | 0.000 % |
308.36/308.63 c | 489873 | 900 18000 90000 | 75828 70403 126 | 0.000 % |
308.77/309.02 c | 490528 | 900 18000 90000 | 2147483647 71058 126 | 0.000 % |
309.16/309.48 c | 491250 | 900 18000 90000 | 2147483647 71780 126 | 0.000 % |
309.66/309.98 c | 492045 | 900 18000 90000 | 2147483647 72575 126 | 0.000 % |
310.26/310.54 c | 492916 | 900 18000 90000 | 2147483647 73446 126 | 0.000 % |
310.86/311.17 c | 493875 | 900 18000 90000 | 2147483647 74405 126 | 0.000 % |
311.56/311.88 c | 494930 | 900 18000 90000 | 2147483647 75460 126 | 0.000 % |
312.26/312.59 c | 496088 | 900 18000 90000 | 2147483647 76618 126 | 0.000 % |
313.16/313.43 c | 497361 | 900 18000 90000 | 2147483647 77891 126 | 0.000 % |
314.06/314.33 c | 498762 | 900 18000 90000 | 2147483647 79292 126 | 0.000 % |
315.06/315.33 c | 500302 | 900 18000 90000 | 2147483647 80832 126 | 0.000 % |
316.16/316.46 c | 501998 | 900 18000 90000 | 2147483647 82528 126 | 0.000 % |
317.46/317.73 c | 503861 | 900 18000 90000 | 2147483647 84391 126 | 0.000 % |
318.86/319.13 c | 505910 | 900 18000 90000 | 2147483647 86440 126 | 0.000 % |
320.45/320.76 c | 508164 | 900 18000 90000 | 2147483647 88694 126 | 0.000 % |
322.25/322.51 c | 510643 | 900 18000 90000 | 90532 79931 126 | 0.000 % |
323.95/324.21 c | 513368 | 900 18000 90000 | 90532 82656 125 | 0.000 % |
325.85/326.14 c | 516367 | 900 18000 90000 | 90532 85655 126 | 0.000 % |
328.25/328.58 c | 519663 | 900 18000 90000 | 90532 88951 126 | 0.000 % |
330.75/331.04 c | 523289 | 900 18000 90000 | 89288 80771 126 | 0.000 % |
333.64/333.98 c | 527276 | 900 18000 90000 | 89288 84758 127 | 0.000 % |
336.74/337.02 c | 531663 | 900 18000 90000 | 87482 78166 127 | 0.000 % |
340.04/340.36 c | 536492 | 900 18000 90000 | 87482 82995 127 | 0.000 % |
340.14/340.43 c | 536592 | 900 18000 90000 | 87482 83095 127 | 0.000 % |
340.24/340.54 c | 536702 | 900 18000 90000 | 87482 83205 127 | 0.000 % |
340.34/340.64 c | 536823 | 900 18000 90000 | 87482 83326 127 | 0.000 % |
340.44/340.74 c | 536956 | 900 18000 90000 | 87482 83459 127 | 0.000 % |
340.54/340.86 c | 537102 | 900 18000 90000 | 87482 83605 127 | 0.000 % |
340.64/340.98 c | 537265 | 900 18000 90000 | 87482 83768 127 | 0.000 % |
340.84/341.14 c | 537441 | 900 18000 90000 | 87482 83944 127 | 0.000 % |
340.94/341.29 c | 537636 | 900 18000 90000 | 87482 84139 127 | 0.000 % |
341.14/341.44 c | 537848 | 900 18000 90000 | 87482 84351 127 | 0.000 % |
341.34/341.61 c | 538081 | 900 18000 90000 | 87482 84584 127 | 0.000 % |
341.54/341.84 c | 538338 | 900 18000 90000 | 87482 84841 127 | 0.000 % |
341.74/342.05 c | 538620 | 900 18000 90000 | 87482 85123 127 | 0.000 % |
341.94/342.29 c | 538930 | 900 18000 90000 | 87482 85433 127 | 0.000 % |
342.24/342.54 c | 539271 | 900 18000 90000 | 87482 85774 127 | 0.000 % |
342.54/342.84 c | 539645 | 900 18000 90000 | 87482 86148 127 | 0.000 % |
342.84/343.13 c | 540054 | 900 18000 90000 | 86503 86557 127 | 0.000 % |
343.24/343.50 c | 540503 | 900 18000 90000 | 86503 75887 126 | 0.000 % |
343.54/343.84 c | 540997 | 900 18000 90000 | 86503 76381 126 | 0.000 % |
343.94/344.22 c | 541539 | 900 18000 90000 | 86503 76923 126 | 0.000 % |
344.34/344.67 c | 542135 | 900 18000 90000 | 86503 77519 126 | 0.000 % |
344.84/345.10 c | 542790 | 900 18000 90000 | 86503 78174 126 | 0.000 % |
345.34/345.62 c | 543512 | 900 18000 90000 | 86503 78896 126 | 0.000 % |
345.83/346.16 c | 544304 | 900 18000 90000 | 86503 79688 126 | 0.000 % |
346.43/346.75 c | 545175 | 900 18000 90000 | 86503 80559 125 | 0.000 % |
347.03/347.38 c | 546133 | 900 18000 90000 | 86503 81517 126 | 0.000 % |
347.73/348.07 c | 547186 | 900 18000 90000 | 86503 82570 125 | 0.000 % |
348.53/348.82 c | 548344 | 900 18000 90000 | 86503 83728 126 | 0.000 % |
349.44/349.71 c | 549619 | 900 18000 90000 | 86503 85003 126 | 0.000 % |
350.33/350.68 c | 551019 | 900 18000 90000 | 85386 75843 125 | 0.000 % |
351.43/351.70 c | 552561 | 900 18000 90000 | 85386 77385 125 | 0.000 % |
352.53/352.83 c | 554256 | 900 18000 90000 | 85386 79080 125 | 0.000 % |
353.84/354.11 c | 556120 | 900 18000 90000 | 85386 80944 125 | 0.000 % |
355.23/355.55 c | 558169 | 900 18000 90000 | 85386 82993 125 | 0.000 % |
356.83/357.18 c | 560422 | 900 18000 90000 | 84824 75009 125 | 0.000 % |
358.53/358.86 c | 562901 | 900 18000 90000 | 84824 77488 126 | 0.000 % |
360.33/360.61 c | 565626 | 900 18000 90000 | 84824 80213 126 | 0.000 % |
362.43/362.75 c | 568623 | 900 18000 90000 | 84824 83210 126 | 0.000 % |
364.63/364.97 c | 571919 | 900 18000 90000 | 84587 76682 127 | 0.000 % |
367.03/367.31 c | 575545 | 900 18000 90000 | 84587 80308 127 | 0.000 % |
369.73/370.06 c | 579533 | 900 18000 90000 | 84587 84296 127 | 0.000 % |
372.63/372.99 c | 583918 | 900 18000 90000 | 84764 78217 127 | 0.000 % |
375.82/376.18 c | 588741 | 900 18000 90000 | 84764 83040 127 | 0.000 % |
379.32/379.62 c | 594048 | 900 18000 90000 | 84299 77888 128 | 0.000 % |
379.42/379.70 c | 594148 | 900 18000 90000 | 84299 77988 127 | 0.000 % |
379.42/379.78 c | 594259 | 900 18000 90000 | 84299 78099 127 | 0.000 % |
379.52/379.87 c | 594380 | 900 18000 90000 | 84299 78220 127 | 0.000 % |
379.62/379.96 c | 594514 | 900 18000 90000 | 84299 78354 127 | 0.000 % |
379.72/380.09 c | 594661 | 900 18000 90000 | 84299 78501 127 | 0.000 % |
379.92/380.21 c | 594821 | 900 18000 90000 | 84299 78661 127 | 0.000 % |
380.02/380.31 c | 594999 | 900 18000 90000 | 84299 78839 127 | 0.000 % |
380.12/380.46 c | 595192 | 900 18000 90000 | 84299 79032 127 | 0.000 % |
380.32/380.61 c | 595407 | 900 18000 90000 | 84299 79247 127 | 0.000 % |
380.42/380.78 c | 595641 | 900 18000 90000 | 84299 79481 127 | 0.000 % |
380.62/380.97 c | 595900 | 900 18000 90000 | 84299 79740 127 | 0.000 % |
380.82/381.17 c | 596183 | 900 18000 90000 | 84299 80023 127 | 0.000 % |
381.02/381.37 c | 596493 | 900 18000 90000 | 84299 80333 127 | 0.000 % |
381.32/381.62 c | 596833 | 900 18000 90000 | 84299 80673 127 | 0.000 % |
381.52/381.88 c | 597205 | 900 18000 90000 | 84299 81045 127 | 0.000 % |
381.82/382.17 c | 597615 | 900 18000 90000 | 84299 81455 127 | 0.000 % |
382.12/382.48 c | 598065 | 900 18000 90000 | 84299 81905 127 | 0.000 % |
382.52/382.89 c | 598560 | 900 18000 90000 | 84299 82400 127 | 0.000 % |
382.92/383.29 c | 599104 | 900 18000 90000 | 84299 82944 127 | 0.000 % |
383.42/383.74 c | 599704 | 900 18000 90000 | 84299 83544 127 | 0.000 % |
383.92/384.29 c | 600360 | 900 18000 90000 | 83841 73466 126 | 0.000 % |
384.42/384.77 c | 601080 | 900 18000 90000 | 83841 74186 126 | 0.000 % |
385.02/385.36 c | 601872 | 900 18000 90000 | 83841 74978 126 | 0.000 % |
385.62/385.91 c | 602744 | 900 18000 90000 | 83841 75850 126 | 0.000 % |
386.22/386.55 c | 603705 | 900 18000 90000 | 83841 76811 126 | 0.000 % |
386.92/387.24 c | 604759 | 900 18000 90000 | 83841 77865 126 | 0.000 % |
387.72/388.01 c | 605917 | 900 18000 90000 | 83841 79023 126 | 0.000 % |
388.61/388.90 c | 607192 | 900 18000 90000 | 83841 80298 126 | 0.000 % |
389.51/389.80 c | 608592 | 900 18000 90000 | 83841 81698 126 | 0.000 % |
390.61/390.96 c | 610133 | 900 18000 90000 | 83108 83239 126 | 0.000 % |
391.71/392.08 c | 611827 | 900 18000 90000 | 83108 74856 126 | 0.000 % |
393.01/393.30 c | 613690 | 900 18000 90000 | 83108 76719 126 | 0.000 % |
394.31/394.67 c | 615740 | 900 18000 90000 | 83108 78769 126 | 0.000 % |
395.91/396.21 c | 617993 | 900 18000 90000 | 83108 81022 126 | 0.000 % |
397.71/398.01 c | 620472 | 900 18000 90000 | 83029 74405 127 | 0.000 % |
399.31/399.69 c | 623197 | 900 18000 90000 | 83029 77130 127 | 0.000 % |
401.31/401.66 c | 626194 | 900 18000 90000 | 83029 80127 127 | 0.000 % |
403.71/404.10 c | 629492 | 900 18000 90000 | 83029 74877 127 | 0.000 % |
406.11/406.48 c | 633118 | 900 18000 90000 | 75385 70702 127 | 0.000 % |
408.71/409.09 c | 637106 | 900 18000 90000 | 75385 74690 128 | 0.000 % |
411.61/411.93 c | 641491 | 900 18000 90000 | 2147483647 71509 127 | 0.000 % |
414.80/415.19 c | 646314 | 900 18000 90000 | 2147483647 76332 128 | 0.000 % |
418.70/419.02 c | 651619 | 900 18000 90000 | 2147483647 81637 128 | 0.000 % |
422.70/423.02 c | 657454 | 900 18000 90000 | 2147483647 87472 127 | 0.000 % |
422.80/423.11 c | 657555 | 900 18000 90000 | 2147483647 87573 127 | 0.000 % |
422.90/423.23 c | 657666 | 900 18000 90000 | 2147483647 87684 127 | 0.000 % |
423.00/423.35 c | 657788 | 900 18000 90000 | 2147483647 87806 127 | 0.000 % |
423.10/423.46 c | 657922 | 900 18000 90000 | 2147483647 87940 127 | 0.000 % |
423.20/423.57 c | 658068 | 900 18000 90000 | 2147483647 88086 127 | 0.000 % |
423.40/423.73 c | 658229 | 900 18000 90000 | 2147483647 88247 127 | 0.000 % |
423.50/423.87 c | 658405 | 900 18000 90000 | 2147483647 88423 127 | 0.000 % |
423.70/424.04 c | 658601 | 900 18000 90000 | 2147483647 88619 127 | 0.000 % |
423.80/424.19 c | 658813 | 900 18000 90000 | 2147483647 88831 127 | 0.000 % |
424.00/424.39 c | 659046 | 900 18000 90000 | 2147483647 89064 127 | 0.000 % |
424.30/424.61 c | 659303 | 900 18000 90000 | 2147483647 89321 127 | 0.000 % |
424.50/424.84 c | 659584 | 900 18000 90000 | 2147483647 89602 127 | 0.000 % |
424.70/425.10 c | 659893 | 900 18000 90000 | 2147483647 89911 127 | 0.000 % |
424.99/425.33 c | 660232 | 900 18000 90000 | 90019 90250 127 | 0.000 % |
425.30/425.61 c | 660607 | 900 18000 90000 | 90019 78355 127 | 0.000 % |
425.49/425.88 c | 661016 | 900 18000 90000 | 90019 78764 127 | 0.000 % |
425.79/426.19 c | 661466 | 900 18000 90000 | 90019 79214 127 | 0.000 % |
426.19/426.53 c | 661961 | 900 18000 90000 | 90019 79709 127 | 0.000 % |
426.60/426.90 c | 662506 | 900 18000 90000 | 90019 80254 127 | 0.000 % |
427.00/427.36 c | 663103 | 900 18000 90000 | 90019 80851 127 | 0.000 % |
427.50/427.81 c | 663760 | 900 18000 90000 | 90019 81508 127 | 0.000 % |
428.00/428.34 c | 664482 | 900 18000 90000 | 90019 82230 127 | 0.000 % |
428.60/428.90 c | 665275 | 900 18000 90000 | 90019 83023 126 | 0.000 % |
429.20/429.51 c | 666146 | 900 18000 90000 | 90019 83894 126 | 0.000 % |
429.80/430.16 c | 667104 | 900 18000 90000 | 90019 84852 126 | 0.000 % |
430.50/430.86 c | 668160 | 900 18000 90000 | 90019 85908 126 | 0.000 % |
431.30/431.68 c | 669318 | 900 18000 90000 | 90019 87066 126 | 0.000 % |
432.30/432.66 c | 670593 | 900 18000 90000 | 87749 76379 126 | 0.000 % |
433.20/433.58 c | 671993 | 900 18000 90000 | 87749 77779 126 | 0.000 % |
434.30/434.62 c | 673533 | 900 18000 90000 | 87749 79319 126 | 0.000 % |
435.40/435.71 c | 675228 | 900 18000 90000 | 87749 81014 126 | 0.000 % |
436.59/436.99 c | 677091 | 900 18000 90000 | 87749 82877 126 | 0.000 % |
437.99/438.38 c | 679140 | 900 18000 90000 | 87749 84926 126 | 0.000 % |
439.60/439.94 c | 681395 | 900 18000 90000 | 85786 76437 127 | 0.000 % |
441.09/441.45 c | 683873 | 900 18000 90000 | 85786 78915 127 | 0.000 % |
442.90/443.27 c | 686599 | 900 18000 90000 | 85786 81641 127 | 0.000 % |
444.89/445.29 c | 689596 | 900 18000 90000 | 85786 84638 127 | 0.000 % |
447.09/447.48 c | 692892 | 900 18000 90000 | 85043 77725 127 | 0.000 % |
449.49/449.85 c | 696518 | 900 18000 90000 | 85043 81351 127 | 0.000 % |
452.19/452.58 c | 700506 | 900 18000 90000 | 84833 74751 127 | 0.000 % |
454.89/455.28 c | 704894 | 900 18000 90000 | 84833 79139 126 | 0.000 % |
458.09/458.45 c | 709717 | 900 18000 90000 | 84833 83962 126 | 0.000 % |
461.59/461.93 c | 715024 | 900 18000 90000 | 84245 79292 126 | 0.000 % |
465.38/465.74 c | 720859 | 900 18000 90000 | 84268 75526 127 | 0.000 % |
469.68/470.02 c | 727278 | 900 18000 90000 | 84268 81945 128 | 0.000 % |
469.78/470.10 c | 727378 | 900 18000 90000 | 84268 82045 128 | 0.000 % |
469.78/470.19 c | 727488 | 900 18000 90000 | 84268 82155 128 | 0.000 % |
469.88/470.29 c | 727610 | 900 18000 90000 | 84268 82277 128 | 0.000 % |
470.08/470.41 c | 727745 | 900 18000 90000 | 84268 82412 128 | 0.000 % |
470.18/470.52 c | 727891 | 900 18000 90000 | 84268 82558 128 | 0.000 % |
470.28/470.64 c | 728051 | 900 18000 90000 | 84268 82718 128 | 0.000 % |
470.48/470.81 c | 728228 | 900 18000 90000 | 84268 82895 128 | 0.000 % |
470.58/470.95 c | 728421 | 900 18000 90000 | 84268 83088 128 | 0.000 % |
470.78/471.12 c | 728633 | 900 18000 90000 | 84268 83300 128 | 0.000 % |
470.88/471.29 c | 728866 | 900 18000 90000 | 84268 83533 128 | 0.000 % |
471.08/471.46 c | 729122 | 900 18000 90000 | 84268 83789 128 | 0.000 % |
471.28/471.68 c | 729403 | 900 18000 90000 | 84268 84070 128 | 0.000 % |
471.48/471.88 c | 729712 | 900 18000 90000 | 84268 84379 128 | 0.000 % |
471.78/472.17 c | 730051 | 900 18000 90000 | 74300 74349 128 | 0.000 % |
472.08/472.47 c | 730423 | 900 18000 90000 | 74300 65616 129 | 0.000 % |
472.38/472.74 c | 730834 | 900 18000 90000 | 74300 66027 129 | 0.000 % |
472.68/473.02 c | 731284 | 900 18000 90000 | 74300 66477 129 | 0.000 % |
472.98/473.34 c | 731782 | 900 18000 90000 | 74300 66975 129 | 0.000 % |
473.28/473.67 c | 732325 | 900 18000 90000 | 74300 67518 129 | 0.000 % |
473.68/474.06 c | 732921 | 900 18000 90000 | 74300 68114 129 | 0.000 % |
474.08/474.45 c | 733576 | 900 18000 90000 | 74300 68769 129 | 0.000 % |
474.58/474.96 c | 734296 | 900 18000 90000 | 74300 69489 129 | 0.000 % |
475.08/475.48 c | 735088 | 900 18000 90000 | 74300 70281 129 | 0.000 % |
475.68/476.07 c | 735959 | 900 18000 90000 | 74300 71152 128 | 0.000 % |
476.38/476.75 c | 736919 | 900 18000 90000 | 74300 72112 128 | 0.000 % |
477.08/477.43 c | 737974 | 900 18000 90000 | 74300 73167 128 | 0.000 % |
477.78/478.18 c | 739134 | 900 18000 90000 | 74300 74327 128 | 0.000 % |
478.68/479.01 c | 740408 | 900 18000 90000 | 2147483647 68169 128 | 0.000 % |
479.48/479.87 c | 741808 | 900 18000 90000 | 2147483647 69569 128 | 0.000 % |
480.38/480.75 c | 743349 | 900 18000 90000 | 2147483647 71110 128 | 0.000 % |
481.38/481.74 c | 745043 | 900 18000 90000 | 2147483647 72804 128 | 0.000 % |
482.58/482.98 c | 746907 | 900 18000 90000 | 2147483647 74668 128 | 0.000 % |
483.97/484.37 c | 748957 | 900 18000 90000 | 2147483647 76718 128 | 0.000 % |
485.47/485.83 c | 751210 | 900 18000 90000 | 2147483647 78971 128 | 0.000 % |
487.07/487.46 c | 753689 | 900 18000 90000 | 2147483647 81450 128 | 0.000 % |
488.87/489.25 c | 756415 | 900 18000 90000 | 2147483647 84176 128 | 0.000 % |
490.97/491.32 c | 759414 | 900 18000 90000 | 2147483647 87175 128 | 0.000 % |
493.07/493.49 c | 762711 | 900 18000 90000 | 87761 80145 128 | 0.000 % |
495.57/496.00 c | 766336 | 900 18000 90000 | 87761 83770 129 | 0.000 % |
498.47/498.86 c | 770326 | 900 18000 90000 | 87434 76562 129 | 0.000 % |
501.57/501.94 c | 774711 | 900 18000 90000 | 87434 80947 129 | 0.000 % |
505.07/505.43 c | 779534 | 900 18000 90000 | 87434 85770 130 | 0.000 % |
508.56/508.98 c | 784841 | 900 18000 90000 | 86240 80251 131 | 0.000 % |
512.66/513.03 c | 790677 | 900 18000 90000 | 85410 74693 132 | 0.000 % |
516.76/517.17 c | 797095 | 900 18000 90000 | 85410 81111 132 | 0.000 % |
521.36/521.73 c | 804155 | 900 18000 90000 | 84016 77466 130 | 0.000 % |
521.46/521.81 c | 804256 | 900 18000 90000 | 84016 77567 130 | 0.000 % |
521.56/521.90 c | 804369 | 900 18000 90000 | 84016 77680 130 | 0.000 % |
521.56/522.00 c | 804490 | 900 18000 90000 | 84016 77801 130 | 0.000 % |
521.76/522.10 c | 804625 | 900 18000 90000 | 84016 77936 130 | 0.000 % |
521.86/522.22 c | 804773 | 900 18000 90000 | 84016 78084 130 | 0.000 % |
521.96/522.33 c | 804934 | 900 18000 90000 | 84016 78245 130 | 0.000 % |
522.06/522.47 c | 805112 | 900 18000 90000 | 84016 78423 130 | 0.000 % |
522.26/522.62 c | 805305 | 900 18000 90000 | 84016 78616 130 | 0.000 % |
522.36/522.77 c | 805518 | 900 18000 90000 | 84016 78829 130 | 0.000 % |
522.56/522.95 c | 805751 | 900 18000 90000 | 84016 79062 130 | 0.000 % |
522.76/523.14 c | 806007 | 900 18000 90000 | 84016 79318 129 | 0.000 % |
522.96/523.39 c | 806290 | 900 18000 90000 | 84016 79601 129 | 0.000 % |
523.26/523.61 c | 806599 | 900 18000 90000 | 84016 79910 129 | 0.000 % |
523.46/523.87 c | 806939 | 900 18000 90000 | 84016 80250 129 | 0.000 % |
523.76/524.17 c | 807311 | 900 18000 90000 | 84016 80622 129 | 0.000 % |
524.06/524.46 c | 807720 | 900 18000 90000 | 84016 81031 129 | 0.000 % |
524.36/524.79 c | 808169 | 900 18000 90000 | 84016 81480 129 | 0.000 % |
524.76/525.14 c | 808662 | 900 18000 90000 | 84016 81973 129 | 0.000 % |
525.16/525.54 c | 809205 | 900 18000 90000 | 84016 82516 129 | 0.000 % |
525.66/526.01 c | 809802 | 900 18000 90000 | 84016 83113 129 | 0.000 % |
526.15/526.52 c | 810457 | 900 18000 90000 | 83312 72682 131 | 0.000 % |
526.56/526.97 c | 811177 | 900 18000 90000 | 83312 73402 130 | 0.000 % |
527.05/527.47 c | 811970 | 900 18000 90000 | 83312 74195 130 | 0.000 % |
527.66/528.05 c | 812842 | 900 18000 90000 | 83312 75067 130 | 0.000 % |
528.25/528.66 c | 813800 | 900 18000 90000 | 83312 76025 130 | 0.000 % |
528.95/529.31 c | 814854 | 900 18000 90000 | 83312 77079 130 | 0.000 % |
529.65/530.02 c | 816013 | 900 18000 90000 | 83312 78238 130 | 0.000 % |
530.55/530.90 c | 817286 | 900 18000 90000 | 83312 79511 130 | 0.000 % |
531.45/531.81 c | 818686 | 900 18000 90000 | 83312 80911 130 | 0.000 % |
532.45/532.83 c | 820227 | 900 18000 90000 | 82225 82452 130 | 0.000 % |
533.55/534.00 c | 821921 | 900 18000 90000 | 82225 74843 130 | 0.000 % |
534.75/535.20 c | 823784 | 900 18000 90000 | 82225 76706 130 | 0.000 % |
536.15/536.56 c | 825835 | 900 18000 90000 | 82225 78757 130 | 0.000 % |
537.65/538.05 c | 828089 | 900 18000 90000 | 82225 81011 130 | 0.000 % |
539.35/539.76 c | 830568 | 900 18000 90000 | 74071 66742 130 | 0.000 % |
540.95/541.34 c | 833294 | 900 18000 90000 | 74071 69468 130 | 0.000 % |
542.75/543.10 c | 836291 | 900 18000 90000 | 74071 72465 130 | 0.000 % |
544.75/545.10 c | 839588 | 900 18000 90000 | 74071 68325 130 | 0.000 % |
546.85/547.27 c | 843215 | 900 18000 90000 | 2147483647 71952 130 | 0.000 % |
549.35/549.79 c | 847202 | 900 18000 90000 | 2147483647 75939 130 | 0.000 % |
552.44/552.80 c | 851588 | 900 18000 90000 | 2147483647 80325 130 | 0.000 % |
555.94/556.34 c | 856415 | 900 18000 90000 | 2147483647 85152 130 | 0.000 % |
559.84/560.30 c | 861722 | 900 18000 90000 | 88737 78542 129 | 0.000 % |
563.74/564.13 c | 867557 | 900 18000 90000 | 88737 84377 129 | 0.000 % |
568.24/568.69 c | 873975 | 900 18000 90000 | 86820 78909 128 | 0.000 % |
573.43/573.82 c | 881034 | 900 18000 90000 | 84934 74721 129 | 0.000 % |
578.83/579.29 c | 888798 | 900 18000 90000 | 84934 82485 129 | 0.000 % |
578.93/579.37 c | 888898 | 900 18000 90000 | 84934 82585 129 | 0.000 % |
579.03/579.46 c | 889009 | 900 18000 90000 | 84934 82696 129 | 0.000 % |
579.13/579.58 c | 889130 | 900 18000 90000 | 84934 82817 129 | 0.000 % |
579.23/579.69 c | 889263 | 900 18000 90000 | 84934 82950 129 | 0.000 % |
579.33/579.79 c | 889409 | 900 18000 90000 | 84934 83096 129 | 0.000 % |
579.53/579.91 c | 889570 | 900 18000 90000 | 84934 83257 129 | 0.000 % |
579.63/580.06 c | 889746 | 900 18000 90000 | 84934 83433 129 | 0.000 % |
579.83/580.21 c | 889939 | 900 18000 90000 | 84934 83626 129 | 0.000 % |
579.93/580.37 c | 890151 | 900 18000 90000 | 83688 83838 129 | 0.000 % |
580.13/580.58 c | 890384 | 900 18000 90000 | 83688 73338 129 | 0.000 % |
580.33/580.75 c | 890643 | 900 18000 90000 | 83688 73597 129 | 0.000 % |
580.53/580.94 c | 890925 | 900 18000 90000 | 83688 73879 129 | 0.000 % |
580.73/581.16 c | 891235 | 900 18000 90000 | 83688 74189 129 | 0.000 % |
581.03/581.42 c | 891574 | 900 18000 90000 | 83688 74528 129 | 0.000 % |
581.33/581.71 c | 891946 | 900 18000 90000 | 83688 74900 129 | 0.000 % |
581.63/582.01 c | 892356 | 900 18000 90000 | 83688 75310 129 | 0.000 % |
581.93/582.30 c | 892806 | 900 18000 90000 | 83688 75760 129 | 0.000 % |
582.23/582.65 c | 893300 | 900 18000 90000 | 83688 76254 129 | 0.000 % |
582.63/583.00 c | 893843 | 900 18000 90000 | 83688 76797 129 | 0.000 % |
583.03/583.40 c | 894440 | 900 18000 90000 | 83688 77394 129 | 0.000 % |
583.43/583.83 c | 895096 | 900 18000 90000 | 83688 78050 129 | 0.000 % |
583.93/584.38 c | 895817 | 900 18000 90000 | 83688 78771 129 | 0.000 % |
584.53/584.90 c | 896609 | 900 18000 90000 | 83688 79563 129 | 0.000 % |
585.13/585.51 c | 897482 | 900 18000 90000 | 83688 80436 129 | 0.000 % |
585.83/586.21 c | 898440 | 900 18000 90000 | 83688 81394 129 | 0.000 % |
586.53/586.93 c | 899494 | 900 18000 90000 | 83688 82448 129 | 0.000 % |
587.33/587.75 c | 900656 | 900 18000 90000 | 82956 73399 129 | 0.000 % |
588.13/588.57 c | 901931 | 900 18000 90000 | 82956 74674 129 | 0.000 % |
589.03/589.50 c | 903334 | 900 18000 90000 | 82956 76077 129 | 0.000 % |
590.12/590.51 c | 904874 | 900 18000 90000 | 82956 77617 129 | 0.000 % |
591.12/591.58 c | 906569 | 900 18000 90000 | 82956 79312 129 | 0.000 % |
592.43/592.89 c | 908434 | 900 18000 90000 | 82956 81177 129 | 0.000 % |
593.92/594.35 c | 910484 | 900 18000 90000 | 82743 73308 129 | 0.000 % |
595.42/595.82 c | 912739 | 900 18000 90000 | 82743 75563 129 | 0.000 % |
597.12/597.53 c | 915218 | 900 18000 90000 | 82743 78042 129 | 0.000 % |
599.02/599.41 c | 917943 | 900 18000 90000 | 82743 80767 129 | 0.000 % |
601.11/601.50 c | 920941 | 900 18000 90000 | 82825 74133 129 | 0.000 % |
603.21/603.69 c | 924238 | 900 18000 90000 | 82825 77430 129 | 0.000 % |
605.81/606.26 c | 927864 | 900 18000 90000 | 82825 81056 129 | 0.000 % |
608.41/608.82 c | 931851 | 900 18000 90000 | 74326 68558 129 | 0.000 % |
610.91/611.39 c | 936236 | 900 18000 90000 | 74326 72943 129 | 0.000 % |
613.91/614.34 c | 941063 | 900 18000 90000 | 2147483647 70308 129 | 0.000 % |
617.01/617.44 c | 946368 | 900 18000 90000 | 2147483647 75613 129 | 0.000 % |
620.61/621.07 c | 952203 | 900 18000 90000 | 2147483647 81448 130 | 0.000 % |
625.01/625.43 c | 958622 | 900 18000 90000 | 2147483647 87867 129 | 0.000 % |
630.11/630.54 c | 965682 | 900 18000 90000 | 89246 83814 129 | 0.000 % |
635.80/636.23 c | 973447 | 900 18000 90000 | 88135 79763 130 | 0.000 % |
641.80/642.24 c | 981987 | 900 18000 90000 | 86319 76862 131 | 0.000 % |
641.91/642.32 c | 982088 | 900 18000 90000 | 86319 76963 131 | 0.000 % |
642.01/642.44 c | 982199 | 900 18000 90000 | 86319 77074 131 | 0.000 % |
642.10/642.53 c | 982320 | 900 18000 90000 | 86319 77195 131 | 0.000 % |
642.20/642.61 c | 982453 | 900 18000 90000 | 86319 77328 131 | 0.000 % |
642.30/642.73 c | 982600 | 900 18000 90000 | 86319 77475 131 | 0.000 % |
642.40/642.84 c | 982762 | 900 18000 90000 | 86319 77637 131 | 0.000 % |
642.50/642.96 c | 982938 | 900 18000 90000 | 86319 77813 131 | 0.000 % |
642.70/643.11 c | 983132 | 900 18000 90000 | 86319 78007 131 | 0.000 % |
642.80/643.26 c | 983345 | 900 18000 90000 | 86319 78220 131 | 0.000 % |
643.00/643.44 c | 983579 | 900 18000 90000 | 86319 78454 131 | 0.000 % |
643.20/643.66 c | 983835 | 900 18000 90000 | 86319 78710 131 | 0.000 % |
643.40/643.85 c | 984116 | 900 18000 90000 | 86319 78991 131 | 0.000 % |
643.60/644.05 c | 984425 | 900 18000 90000 | 86319 79300 131 | 0.000 % |
643.90/644.31 c | 984766 | 900 18000 90000 | 86319 79641 131 | 0.000 % |
644.10/644.56 c | 985138 | 900 18000 90000 | 86319 80013 131 | 0.000 % |
644.40/644.86 c | 985547 | 900 18000 90000 | 86319 80422 131 | 0.000 % |
644.80/645.25 c | 985996 | 900 18000 90000 | 86319 80871 131 | 0.000 % |
645.20/645.62 c | 986489 | 900 18000 90000 | 86319 81364 131 | 0.000 % |
645.60/646.03 c | 987031 | 900 18000 90000 | 86319 81906 131 | 0.000 % |
646.00/646.49 c | 987630 | 900 18000 90000 | 86319 82505 131 | 0.000 % |
646.50/646.96 c | 988287 | 900 18000 90000 | 86319 83162 131 | 0.000 % |
647.00/647.48 c | 989007 | 900 18000 90000 | 86319 83882 131 | 0.000 % |
647.60/648.04 c | 989799 | 900 18000 90000 | 86319 84674 131 | 0.000 % |
648.29/648.75 c | 990671 | 900 18000 90000 | 84877 73927 130 | 0.000 % |
648.89/649.38 c | 991629 | 900 18000 90000 | 84877 74885 130 | 0.000 % |
649.60/650.07 c | 992682 | 900 18000 90000 | 84877 75938 130 | 0.000 % |
650.39/650.81 c | 993841 | 900 18000 90000 | 84877 77097 130 | 0.000 % |
651.09/651.59 c | 995118 | 900 18000 90000 | 84877 78374 130 | 0.000 % |
652.09/652.51 c | 996518 | 900 18000 90000 | 84877 79774 129 | 0.000 % |
653.09/653.57 c | 998058 | 900 18000 90000 | 84877 81314 129 | 0.000 % |
654.39/654.81 c | 999753 | 900 18000 90000 | 84877 83009 129 | 0.000 % |
655.59/656.05 c | 1001618 | 900 18000 90000 | 83256 74581 129 | 0.000 % |
656.89/657.37 c | 1003667 | 900 18000 90000 | 83256 76630 129 | 0.000 % |
658.39/658.82 c | 1005920 | 900 18000 90000 | 83256 78883 129 | 0.000 % |
660.09/660.54 c | 1008400 | 900 18000 90000 | 83256 81363 128 | 0.000 % |
662.09/662.51 c | 1011125 | 900 18000 90000 | 82964 75281 128 | 0.000 % |
664.09/664.58 c | 1014124 | 900 18000 90000 | 82964 78280 128 | 0.000 % |
666.29/666.77 c | 1017424 | 900 18000 90000 | 82964 81580 128 | 0.000 % |
668.69/669.15 c | 1021051 | 900 18000 90000 | 75066 68249 127 | 0.000 % |
670.99/671.43 c | 1025039 | 900 18000 90000 | 75066 72237 128 | 0.000 % |
673.69/674.11 c | 1029424 | 900 18000 90000 | 75066 69084 128 | 0.000 % |
676.48/676.99 c | 1034248 | 900 18000 90000 | 2147483647 73908 128 | 0.000 % |
679.88/680.34 c | 1039557 | 900 18000 90000 | 2147483647 79217 128 | 0.000 % |
683.69/684.18 c | 1045392 | 900 18000 90000 | 2147483647 85052 129 | 0.000 % |
688.37/688.84 c | 1051810 | 900 18000 90000 | 89663 79478 128 | 0.000 % |
693.47/693.96 c | 1058869 | 900 18000 90000 | 89663 86537 129 | 0.000 % |
699.17/699.63 c | 1066635 | 900 18000 90000 | 87669 81865 129 | 0.000 % |
705.57/706.00 c | 1075176 | 900 18000 90000 | 85233 78630 130 | 0.000 % |
712.27/712.74 c | 1084571 | 900 18000 90000 | 83455 76829 132 | 0.000 % |
712.37/712.83 c | 1084671 | 900 18000 90000 | 83455 76929 132 | 0.000 % |
712.46/712.91 c | 1084782 | 900 18000 90000 | 83455 77040 132 | 0.000 % |
712.46/712.99 c | 1084904 | 900 18000 90000 | 83455 77162 132 | 0.000 % |
712.56/713.08 c | 1085037 | 900 18000 90000 | 83455 77295 132 | 0.000 % |
712.76/713.21 c | 1085185 | 900 18000 90000 | 83455 77443 132 | 0.000 % |
712.86/713.32 c | 1085345 | 900 18000 90000 | 83455 77603 132 | 0.000 % |
712.96/713.45 c | 1085524 | 900 18000 90000 | 83455 77782 132 | 0.000 % |
713.16/713.62 c | 1085718 | 900 18000 90000 | 83455 77976 132 | 0.000 % |
713.26/713.78 c | 1085931 | 900 18000 90000 | 83455 78189 132 | 0.000 % |
713.47/713.94 c | 1086164 | 900 18000 90000 | 83455 78422 132 | 0.000 % |
713.66/714.13 c | 1086422 | 900 18000 90000 | 83455 78680 132 | 0.000 % |
713.86/714.33 c | 1086703 | 900 18000 90000 | 83455 78961 132 | 0.000 % |
714.06/714.53 c | 1087014 | 900 18000 90000 | 83455 79272 132 | 0.000 % |
714.36/714.84 c | 1087354 | 900 18000 90000 | 83455 79612 131 | 0.000 % |
714.66/715.14 c | 1087727 | 900 18000 90000 | 83455 79985 131 | 0.000 % |
714.96/715.44 c | 1088136 | 900 18000 90000 | 83455 80394 131 | 0.000 % |
715.26/715.77 c | 1088585 | 900 18000 90000 | 83455 80843 131 | 0.000 % |
715.67/716.18 c | 1089078 | 900 18000 90000 | 83455 81336 131 | 0.000 % |
716.16/716.60 c | 1089623 | 900 18000 90000 | 83455 81881 131 | 0.000 % |
716.56/717.04 c | 1090220 | 900 18000 90000 | 82259 82478 131 | 0.000 % |
717.06/717.51 c | 1090875 | 900 18000 90000 | 82259 72312 131 | 0.000 % |
717.46/717.96 c | 1091596 | 900 18000 90000 | 82259 73033 131 | 0.000 % |
718.06/718.51 c | 1092389 | 900 18000 90000 | 82259 73826 131 | 0.000 % |
718.56/719.07 c | 1093263 | 900 18000 90000 | 82259 74700 131 | 0.000 % |
719.16/719.66 c | 1094221 | 900 18000 90000 | 82259 75658 131 | 0.000 % |
719.87/720.33 c | 1095276 | 900 18000 90000 | 82259 76713 131 | 0.000 % |
720.57/721.07 c | 1096435 | 900 18000 90000 | 82259 77872 131 | 0.000 % |
721.37/721.88 c | 1097708 | 900 18000 90000 | 82259 79145 131 | 0.000 % |
722.27/722.77 c | 1099108 | 900 18000 90000 | 82259 80545 131 | 0.000 % |
723.27/723.79 c | 1100649 | 900 18000 90000 | 81439 73177 131 | 0.000 % |
724.37/724.82 c | 1102343 | 900 18000 90000 | 81439 74871 131 | 0.000 % |
725.47/726.00 c | 1104206 | 900 18000 90000 | 81439 76734 131 | 0.000 % |
726.67/727.19 c | 1106257 | 900 18000 90000 | 81439 78785 131 | 0.000 % |
728.16/728.64 c | 1108510 | 900 18000 90000 | 81439 81038 130 | 0.000 % |
729.87/730.32 c | 1110988 | 900 18000 90000 | 74302 67715 130 | 0.000 % |
731.46/731.96 c | 1113713 | 900 18000 90000 | 74302 70440 129 | 0.000 % |
733.36/733.84 c | 1116712 | 900 18000 90000 | 74302 73439 129 | 0.000 % |
735.46/735.96 c | 1120009 | 900 18000 90000 | 2147483647 69278 129 | 0.000 % |
737.76/738.20 c | 1123635 | 900 18000 90000 | 2147483647 72904 129 | 0.000 % |
740.36/740.86 c | 1127622 | 900 18000 90000 | 2147483647 76891 129 | 0.000 % |
743.26/743.75 c | 1132007 | 900 18000 90000 | 2147483647 81276 130 | 0.000 % |
746.46/746.95 c | 1136830 | 900 18000 90000 | 2147483647 86099 129 | 0.000 % |
750.05/750.56 c | 1142136 | 900 18000 90000 | 89269 79703 129 | 0.000 % |
754.16/754.62 c | 1147973 | 900 18000 90000 | 89269 85540 129 | 0.000 % |
758.85/759.37 c | 1154392 | 900 18000 90000 | 87568 80605 129 | 0.000 % |
763.85/764.35 c | 1161452 | 900 18000 90000 | 86213 77245 128 | 0.000 % |
769.35/769.84 c | 1169216 | 900 18000 90000 | 86213 85009 128 | 0.000 % |
775.75/776.27 c | 1177758 | 900 18000 90000 | 85793 83316 130 | 0.000 % |
782.54/783.07 c | 1187155 | 900 18000 90000 | 85558 82561 130 | 0.000 % |
790.44/790.94 c | 1197489 | 900 18000 90000 | 85406 82459 131 | 0.000 % |
790.54/791.04 c | 1197590 | 900 18000 90000 | 85406 82560 131 | 0.000 % |
790.64/791.15 c | 1197701 | 900 18000 90000 | 85406 82671 131 | 0.000 % |
790.74/791.23 c | 1197824 | 900 18000 90000 | 85406 82794 131 | 0.000 % |
790.84/791.33 c | 1197960 | 900 18000 90000 | 85406 82930 131 | 0.000 % |
790.94/791.45 c | 1198106 | 900 18000 90000 | 85406 83076 131 | 0.000 % |
791.04/791.58 c | 1198266 | 900 18000 90000 | 85406 83236 131 | 0.000 % |
791.24/791.71 c | 1198442 | 900 18000 90000 | 85406 83412 131 | 0.000 % |
791.34/791.87 c | 1198639 | 900 18000 90000 | 85406 83609 131 | 0.000 % |
791.54/792.01 c | 1198851 | 900 18000 90000 | 85406 83821 131 | 0.000 % |
791.63/792.18 c | 1199084 | 900 18000 90000 | 85406 84054 131 | 0.000 % |
791.93/792.42 c | 1199342 | 900 18000 90000 | 85406 84312 131 | 0.000 % |
792.13/792.64 c | 1199624 | 900 18000 90000 | 85406 84594 131 | 0.000 % |
792.43/792.90 c | 1199935 | 900 18000 90000 | 85406 84905 130 | 0.000 % |
792.64/793.17 c | 1200274 | 900 18000 90000 | 84972 85244 130 | 0.000 % |
792.93/793.49 c | 1200646 | 900 18000 90000 | 84972 74323 130 | 0.000 % |
793.23/793.76 c | 1201055 | 900 18000 90000 | 84972 74732 130 | 0.000 % |
793.53/794.08 c | 1201506 | 900 18000 90000 | 84972 75183 130 | 0.000 % |
793.93/794.44 c | 1202000 | 900 18000 90000 | 84972 75677 130 | 0.000 % |
794.33/794.85 c | 1202545 | 900 18000 90000 | 84972 76222 130 | 0.000 % |
794.74/795.30 c | 1203141 | 900 18000 90000 | 84972 76818 130 | 0.000 % |
795.23/795.73 c | 1203796 | 900 18000 90000 | 84972 77473 130 | 0.000 % |
795.73/796.24 c | 1204517 | 900 18000 90000 | 84972 78194 130 | 0.000 % |
796.33/796.82 c | 1205309 | 900 18000 90000 | 84972 78986 130 | 0.000 % |
796.83/797.37 c | 1206180 | 900 18000 90000 | 84972 79857 130 | 0.000 % |
797.43/797.98 c | 1207138 | 900 18000 90000 | 84972 80815 129 | 0.000 % |
798.13/798.66 c | 1208191 | 900 18000 90000 | 84972 81868 129 | 0.000 % |
798.93/799.46 c | 1209350 | 900 18000 90000 | 84972 83027 129 | 0.000 % |
799.93/800.42 c | 1210625 | 900 18000 90000 | 83679 73802 129 | 0.000 % |
800.73/801.27 c | 1212028 | 900 18000 90000 | 83679 75205 129 | 0.000 % |
801.73/802.21 c | 1213568 | 900 18000 90000 | 83679 76745 129 | 0.000 % |
802.73/803.29 c | 1215264 | 900 18000 90000 | 83679 78441 129 | 0.000 % |
804.03/804.52 c | 1217127 | 900 18000 90000 | 83679 80304 129 | 0.000 % |
805.53/806.01 c | 1219177 | 900 18000 90000 | 83679 82354 129 | 0.000 % |
807.12/807.67 c | 1221430 | 900 18000 90000 | 83180 75259 129 | 0.000 % |
808.62/809.19 c | 1223908 | 900 18000 90000 | 83180 77737 129 | 0.000 % |
810.52/811.02 c | 1226634 | 900 18000 90000 | 83180 80463 129 | 0.000 % |
812.52/813.08 c | 1229634 | 900 18000 90000 | 83180 83463 129 | 0.000 % |
814.72/815.23 c | 1232932 | 900 18000 90000 | 74617 69119 127 | 0.000 % |
816.92/817.47 c | 1236557 | 900 18000 90000 | 74617 72744 128 | 0.000 % |
819.22/819.79 c | 1240544 | 900 18000 90000 | 2147483647 69235 127 | 0.000 % |
821.92/822.41 c | 1244930 | 900 18000 90000 | 2147483647 73621 127 | 0.000 % |
825.01/825.52 c | 1249755 | 900 18000 90000 | 2147483647 78446 127 | 0.000 % |
828.71/829.20 c | 1255060 | 900 18000 90000 | 2147483647 83751 127 | 0.000 % |
833.01/833.53 c | 1260895 | 900 18000 90000 | 88692 76995 127 | 0.000 % |
837.31/837.82 c | 1267313 | 900 18000 90000 | 88692 83413 127 | 0.000 % |
842.31/842.80 c | 1274373 | 900 18000 90000 | 86101 78801 127 | 0.000 % |
847.81/848.38 c | 1282139 | 900 18000 90000 | 84428 76044 129 | 0.000 % |
854.00/854.57 c | 1290680 | 900 18000 90000 | 83907 74398 130 | 0.000 % |
860.81/861.35 c | 1300074 | 900 18000 90000 | 83718 83792 130 | 0.000 % |
868.20/868.71 c | 1310409 | 900 18000 90000 | 72228 62158 130 | 0.000 % |
875.39/875.97 c | 1321778 | 900 18000 90000 | 2147483647 73527 131 | 0.000 % |
875.49/876.04 c | 1321878 | 900 18000 90000 | 2147483647 73627 131 | 0.000 % |
875.59/876.12 c | 1321988 | 900 18000 90000 | 2147483647 73737 131 | 0.000 % |
875.69/876.20 c | 1322109 | 900 18000 90000 | 2147483647 73858 131 | 0.000 % |
875.69/876.29 c | 1322243 | 900 18000 90000 | 2147483647 73992 131 | 0.000 % |
875.79/876.39 c | 1322389 | 900 18000 90000 | 2147483647 74138 131 | 0.000 % |
875.99/876.51 c | 1322549 | 900 18000 90000 | 2147483647 74298 131 | 0.000 % |
876.10/876.68 c | 1322726 | 900 18000 90000 | 2147483647 74475 131 | 0.000 % |
876.29/876.81 c | 1322920 | 900 18000 90000 | 2147483647 74669 131 | 0.000 % |
876.39/876.96 c | 1323134 | 900 18000 90000 | 2147483647 74883 131 | 0.000 % |
876.59/877.12 c | 1323367 | 900 18000 90000 | 2147483647 75116 131 | 0.000 % |
876.79/877.30 c | 1323624 | 900 18000 90000 | 2147483647 75373 131 | 0.000 % |
876.89/877.49 c | 1323906 | 900 18000 90000 | 2147483647 75655 131 | 0.000 % |
877.20/877.70 c | 1324215 | 900 18000 90000 | 2147483647 75964 131 | 0.000 % |
877.39/877.96 c | 1324554 | 900 18000 90000 | 2147483647 76303 131 | 0.000 % |
877.69/878.25 c | 1324927 | 900 18000 90000 | 2147483647 76676 130 | 0.000 % |
877.99/878.56 c | 1325336 | 900 18000 90000 | 2147483647 77085 130 | 0.000 % |
878.30/878.88 c | 1325785 | 900 18000 90000 | 2147483647 77534 130 | 0.000 % |
878.69/879.21 c | 1326280 | 900 18000 90000 | 2147483647 78029 130 | 0.000 % |
878.99/879.58 c | 1326824 | 900 18000 90000 | 2147483647 78573 130 | 0.000 % |
879.50/880.01 c | 1327420 | 900 18000 90000 | 2147483647 79169 130 | 0.000 % |
879.89/880.43 c | 1328075 | 900 18000 90000 | 2147483647 79824 130 | 0.000 % |
880.39/880.98 c | 1328796 | 900 18000 90000 | 2147483647 80545 130 | 0.000 % |
880.99/881.59 c | 1329589 | 900 18000 90000 | 2147483647 81338 130 | 0.000 % |
881.69/882.25 c | 1330462 | 900 18000 90000 | 81749 72226 130 | 0.000 % |
882.29/882.88 c | 1331420 | 900 18000 90000 | 81749 73184 130 | 0.000 % |
882.99/883.52 c | 1332473 | 900 18000 90000 | 81749 74237 130 | 0.000 % |
883.69/884.29 c | 1333631 | 900 18000 90000 | 81749 75395 130 | 0.000 % |
884.49/885.03 c | 1334904 | 900 18000 90000 | 81749 76668 130 | 0.000 % |
885.29/885.89 c | 1336304 | 900 18000 90000 | 81749 78068 129 | 0.000 % |
886.29/886.86 c | 1337846 | 900 18000 90000 | 81749 79610 129 | 0.000 % |
887.49/888.00 c | 1339542 | 900 18000 90000 | 81749 81306 129 | 0.000 % |
888.79/889.33 c | 1341405 | 900 18000 90000 | 81766 74588 129 | 0.000 % |
890.09/890.68 c | 1343455 | 900 18000 90000 | 81766 76638 129 | 0.000 % |
891.59/892.11 c | 1345708 | 900 18000 90000 | 81766 78891 129 | 0.000 % |
893.19/893.76 c | 1348186 | 900 18000 90000 | 81766 81369 129 | 0.000 % |
895.09/895.62 c | 1350913 | 900 18000 90000 | 74384 67423 129 | 0.000 % |
896.99/897.54 c | 1353912 | 900 18000 90000 | 74384 70422 129 | 0.000 % |
899.08/899.67 c | 1357208 | 900 18000 90000 | 74384 73718 129 | 0.000 % |
901.39/901.91 c | 1360833 | 900 18000 90000 | 2147483647 69878 129 | 0.000 % |
903.88/904.43 c | 1364820 | 900 18000 90000 | 2147483647 73865 130 | 0.000 % |
906.78/907.33 c | 1369205 | 900 18000 90000 | 2147483647 78250 130 | 0.000 % |
910.28/910.85 c | 1374029 | 900 18000 90000 | 2147483647 83074 130 | 0.000 % |
913.98/914.58 c | 1379337 | 900 18000 90000 | 2147483647 88382 130 | 0.000 % |
918.07/918.61 c | 1385175 | 900 18000 90000 | 89045 82016 130 | 0.000 % |
922.57/923.14 c | 1391593 | 900 18000 90000 | 86842 77228 129 | 0.000 % |
927.37/927.95 c | 1398653 | 900 18000 90000 | 86842 84288 130 | 0.000 % |
932.47/933.02 c | 1406417 | 900 18000 90000 | 85635 80204 131 | 0.000 % |
938.57/939.14 c | 1414961 | 900 18000 90000 | 83787 78297 133 | 0.000 % |
945.06/945.68 c | 1424356 | 900 18000 90000 | 83337 78317 134 | 0.000 % |
952.56/953.19 c | 1434689 | 900 18000 90000 | 74058 70046 135 | 0.000 % |
960.66/961.21 c | 1446055 | 900 18000 90000 | 2147483647 73977 136 | 0.000 % |
968.86/969.48 c | 1458557 | 900 18000 90000 | 2147483647 86479 135 | 0.000 % |
968.96/969.57 c | 1458657 | 900 18000 90000 | 2147483647 86579 135 | 0.000 % |
969.06/969.67 c | 1458767 | 900 18000 90000 | 2147483647 86689 135 | 0.000 % |
969.16/969.76 c | 1458889 | 900 18000 90000 | 2147483647 86811 135 | 0.000 % |
969.26/969.88 c | 1459022 | 900 18000 90000 | 2147483647 86944 135 | 0.000 % |
969.46/970.01 c | 1459169 | 900 18000 90000 | 2147483647 87091 135 | 0.000 % |
969.56/970.13 c | 1459329 | 900 18000 90000 | 2147483647 87251 135 | 0.000 % |
969.66/970.27 c | 1459505 | 900 18000 90000 | 2147483647 87427 135 | 0.000 % |
969.86/970.44 c | 1459698 | 900 18000 90000 | 2147483647 87620 135 | 0.000 % |
970.06/970.64 c | 1459910 | 900 18000 90000 | 2147483647 87832 135 | 0.000 % |
970.25/970.82 c | 1460143 | 900 18000 90000 | 87922 88065 135 | 0.000 % |
970.45/971.05 c | 1460400 | 900 18000 90000 | 87922 75502 136 | 0.000 % |
970.66/971.24 c | 1460683 | 900 18000 90000 | 87922 75785 135 | 0.000 % |
970.85/971.49 c | 1460992 | 900 18000 90000 | 87922 76094 135 | 0.000 % |
971.15/971.74 c | 1461333 | 900 18000 90000 | 87922 76435 135 | 0.000 % |
971.45/972.00 c | 1461708 | 900 18000 90000 | 87922 76810 135 | 0.000 % |
971.65/972.29 c | 1462118 | 900 18000 90000 | 87922 77220 135 | 0.000 % |
971.95/972.59 c | 1462568 | 900 18000 90000 | 87922 77670 135 | 0.000 % |
972.45/973.00 c | 1463061 | 900 18000 90000 | 87922 78163 135 | 0.000 % |
972.75/973.37 c | 1463603 | 900 18000 90000 | 87922 78705 135 | 0.000 % |
973.15/973.78 c | 1464201 | 900 18000 90000 | 87922 79303 135 | 0.000 % |
973.65/974.22 c | 1464856 | 900 18000 90000 | 87922 79958 135 | 0.000 % |
974.06/974.68 c | 1465577 | 900 18000 90000 | 87922 80679 135 | 0.000 % |
974.65/975.29 c | 1466369 | 900 18000 90000 | 87922 81471 134 | 0.000 % |
975.35/975.93 c | 1467240 | 900 18000 90000 | 87922 82342 134 | 0.000 % |
975.95/976.58 c | 1468198 | 900 18000 90000 | 87922 83300 134 | 0.000 % |
976.75/977.33 c | 1469253 | 900 18000 90000 | 87922 84355 134 | 0.000 % |
977.65/978.23 c | 1470411 | 900 18000 90000 | 85102 73798 134 | 0.000 % |
978.46/979.07 c | 1471684 | 900 18000 90000 | 85102 75071 134 | 0.000 % |
979.35/979.99 c | 1473085 | 900 18000 90000 | 85102 76472 133 | 0.000 % |
980.55/981.14 c | 1474625 | 900 18000 90000 | 85102 78012 133 | 0.000 % |
981.65/982.27 c | 1476320 | 900 18000 90000 | 85102 79707 133 | 0.000 % |
982.95/983.58 c | 1478183 | 900 18000 90000 | 85102 81570 133 | 0.000 % |
984.35/984.97 c | 1480232 | 900 18000 90000 | 83387 83619 133 | 0.000 % |
985.95/986.53 c | 1482487 | 900 18000 90000 | 83387 75683 132 | 0.000 % |
987.55/988.16 c | 1484966 | 900 18000 90000 | 83387 78162 133 | 0.000 % |
989.45/990.06 c | 1487693 | 900 18000 90000 | 83387 80889 133 | 0.000 % |
991.74/992.32 c | 1490691 | 900 18000 90000 | 83196 74454 131 | 0.000 % |
993.94/994.53 c | 1493987 | 900 18000 90000 | 83196 77750 131 | 0.000 % |
996.44/997.08 c | 1497613 | 900 18000 90000 | 83196 81376 131 | 0.000 % |
999.25/999.81 c | 1501600 | 900 18000 90000 | 74710 68337 129 | 0.000 % |
1002.04/1002.62 c | 1505987 | 900 18000 90000 | 74710 72724 129 | 0.000 % |
1005.13/1005.73 c | 1510812 | 900 18000 90000 | 2147483647 70046 129 | 0.000 % |
1008.43/1009.05 c | 1516118 | 900 18000 90000 | 2147483647 75352 129 | 0.000 % |
1012.43/1013.01 c | 1521953 | 900 18000 90000 | 2147483647 81187 129 | 0.000 % |
1017.33/1017.90 c | 1528371 | 900 18000 90000 | 2147483647 87605 129 | 0.000 % |
1022.63/1023.28 c | 1535431 | 900 18000 90000 | 89234 82863 128 | 0.000 % |
1028.52/1029.17 c | 1543197 | 900 18000 90000 | 87432 78508 130 | 0.000 % |
1034.92/1035.56 c | 1551737 | 900 18000 90000 | 85314 75675 130 | 0.000 % |
1041.92/1042.52 c | 1561131 | 900 18000 90000 | 83938 74103 130 | 0.000 % |
1049.21/1049.89 c | 1571465 | 900 18000 90000 | 82972 74475 131 | 0.000 % |
1057.81/1058.44 c | 1582833 | 900 18000 90000 | 83011 74858 131 | 0.000 % |
1067.51/1068.19 c | 1595335 | 900 18000 90000 | 82025 76635 132 | 0.000 % |
1078.41/1079.09 c | 1609088 | 900 18000 90000 | 81301 80271 133 | 0.000 % |
1078.51/1079.18 c | 1609190 | 900 18000 90000 | 81301 80373 133 | 0.000 % |
1078.60/1079.26 c | 1609301 | 900 18000 90000 | 81301 80484 133 | 0.000 % |
1078.70/1079.35 c | 1609423 | 900 18000 90000 | 81301 80606 133 | 0.000 % |
1078.80/1079.46 c | 1609556 | 900 18000 90000 | 81301 80739 133 | 0.000 % |
1079.00/1079.60 c | 1609703 | 900 18000 90000 | 81301 80886 133 | 0.000 % |
1079.11/1079.71 c | 1609863 | 900 18000 90000 | 81301 81046 133 | 0.000 % |
1079.21/1079.85 c | 1610039 | 900 18000 90000 | 81183 81222 133 | 0.000 % |
1079.41/1080.04 c | 1610232 | 900 18000 90000 | 81183 70469 133 | 0.000 % |
1079.51/1080.17 c | 1610446 | 900 18000 90000 | 81183 70683 133 | 0.000 % |
1079.71/1080.32 c | 1610679 | 900 18000 90000 | 81183 70916 133 | 0.000 % |
1079.81/1080.48 c | 1610935 | 900 18000 90000 | 81183 71172 133 | 0.000 % |
1080.01/1080.66 c | 1611217 | 900 18000 90000 | 81183 71454 133 | 0.000 % |
1080.21/1080.88 c | 1611526 | 900 18000 90000 | 81183 71763 133 | 0.000 % |
1080.51/1081.11 c | 1611867 | 900 18000 90000 | 81183 72104 133 | 0.000 % |
1080.71/1081.36 c | 1612239 | 900 18000 90000 | 81183 72476 133 | 0.000 % |
1081.01/1081.62 c | 1612648 | 900 18000 90000 | 81183 72885 133 | 0.000 % |
1081.31/1081.90 c | 1613098 | 900 18000 90000 | 81183 73335 133 | 0.000 % |
1081.61/1082.22 c | 1613591 | 900 18000 90000 | 81183 73828 133 | 0.000 % |
1081.91/1082.56 c | 1614133 | 900 18000 90000 | 81183 74370 133 | 0.000 % |
1082.31/1082.93 c | 1614729 | 900 18000 90000 | 81183 74966 133 | 0.000 % |
1082.71/1083.33 c | 1615385 | 900 18000 90000 | 81183 75622 133 | 0.000 % |
1083.11/1083.77 c | 1616107 | 900 18000 90000 | 81183 76344 133 | 0.000 % |
1083.61/1084.27 c | 1616899 | 900 18000 90000 | 81183 77136 133 | 0.000 % |
1084.21/1084.82 c | 1617772 | 900 18000 90000 | 81183 78009 132 | 0.000 % |
1084.81/1085.45 c | 1618732 | 900 18000 90000 | 81183 78969 132 | 0.000 % |
1085.51/1086.18 c | 1619786 | 900 18000 90000 | 81183 80023 132 | 0.000 % |
1086.31/1086.95 c | 1620944 | 900 18000 90000 | 80237 72795 132 | 0.000 % |
1087.11/1087.75 c | 1622217 | 900 18000 90000 | 80237 74068 132 | 0.000 % |
1088.00/1088.63 c | 1623621 | 900 18000 90000 | 80237 75472 132 | 0.000 % |
1088.90/1089.56 c | 1625161 | 900 18000 90000 | 80237 77012 132 | 0.000 % |
1089.90/1090.59 c | 1626856 | 900 18000 90000 | 80237 78707 132 | 0.000 % |
1091.20/1091.81 c | 1628719 | 900 18000 90000 | 80237 80570 132 | 0.000 % |
1092.50/1093.17 c | 1630768 | 900 18000 90000 | 2147483647 74562 132 | 0.000 % |
1093.99/1094.65 c | 1633021 | 900 18000 90000 | 2147483647 76815 132 | 0.000 % |
1095.59/1096.29 c | 1635500 | 900 18000 90000 | 2147483647 79294 132 | 0.000 % |
1097.28/1097.98 c | 1638227 | 900 18000 90000 | 2147483647 82021 132 | 0.000 % |
1099.39/1100.01 c | 1641227 | 900 18000 90000 | 83795 75573 132 | 0.000 % |
1101.59/1102.23 c | 1644524 | 900 18000 90000 | 83795 78870 132 | 0.000 % |
1103.98/1104.67 c | 1648149 | 900 18000 90000 | 83795 82495 132 | 0.000 % |
1106.78/1107.42 c | 1652138 | 900 18000 90000 | 74136 67341 131 | 0.000 % |
1109.29/1109.95 c | 1656523 | 900 18000 90000 | 74136 71726 131 | 0.000 % |
1112.18/1112.88 c | 1661346 | 900 18000 90000 | 2147483647 69103 129 | 0.000 % |
1115.38/1116.09 c | 1666652 | 900 18000 90000 | 2147483647 74409 129 | 0.000 % |
1119.28/1119.93 c | 1672488 | 900 18000 90000 | 2147483647 80245 130 | 0.000 % |
1123.58/1124.26 c | 1678906 | 900 18000 90000 | 2147483647 86663 130 | 0.000 % |
1128.68/1129.32 c | 1685967 | 900 18000 90000 | 87758 83180 128 | 0.000 % |
1134.28/1134.92 c | 1693734 | 900 18000 90000 | 87215 79106 129 | 0.000 % |
1140.97/1141.67 c | 1702276 | 900 18000 90000 | 85372 75895 130 | 0.000 % |
1148.16/1148.89 c | 1711673 | 900 18000 90000 | 83619 74532 131 | 0.000 % |
1155.96/1156.68 c | 1722007 | 900 18000 90000 | 82859 73508 132 | 0.000 % |
1163.46/1164.12 c | 1733377 | 900 18000 90000 | 81501 73527 134 | 0.000 % |
1171.75/1172.47 c | 1745879 | 900 18000 90000 | 80151 75446 134 | 0.000 % |
1181.15/1181.82 c | 1759631 | 900 18000 90000 | 79567 79525 134 | 0.000 % |
1191.64/1192.35 c | 1774759 | 900 18000 90000 | 2147483647 69949 134 | 0.000 % |
1191.74/1192.43 c | 1774859 | 900 18000 90000 | 2147483647 70049 134 | 0.000 % |
1191.84/1192.51 c | 1774971 | 900 18000 90000 | 2147483647 70161 134 | 0.000 % |
1191.84/1192.59 c | 1775092 | 900 18000 90000 | 2147483647 70282 134 | 0.000 % |
1191.94/1192.69 c | 1775225 | 900 18000 90000 | 2147483647 70415 134 | 0.000 % |
1192.14/1192.81 c | 1775373 | 900 18000 90000 | 2147483647 70563 134 | 0.000 % |
1192.24/1192.91 c | 1775533 | 900 18000 90000 | 2147483647 70723 134 | 0.000 % |
1192.34/1193.04 c | 1775710 | 900 18000 90000 | 2147483647 70900 134 | 0.000 % |
1192.44/1193.19 c | 1775903 | 900 18000 90000 | 2147483647 71093 134 | 0.000 % |
1192.64/1193.34 c | 1776116 | 900 18000 90000 | 2147483647 71306 134 | 0.000 % |
1192.74/1193.50 c | 1776350 | 900 18000 90000 | 2147483647 71540 134 | 0.000 % |
1192.94/1193.68 c | 1776606 | 900 18000 90000 | 2147483647 71796 134 | 0.000 % |
1193.14/1193.87 c | 1776887 | 900 18000 90000 | 2147483647 72077 134 | 0.000 % |
1193.34/1194.05 c | 1777197 | 900 18000 90000 | 2147483647 72387 134 | 0.000 % |
1193.54/1194.26 c | 1777536 | 900 18000 90000 | 2147483647 72726 133 | 0.000 % |
1193.84/1194.53 c | 1777909 | 900 18000 90000 | 2147483647 73099 133 | 0.000 % |
1194.14/1194.80 c | 1778318 | 900 18000 90000 | 2147483647 73508 133 | 0.000 % |
1194.44/1195.10 c | 1778767 | 900 18000 90000 | 2147483647 73957 133 | 0.000 % |
1194.74/1195.41 c | 1779262 | 900 18000 90000 | 2147483647 74452 133 | 0.000 % |
1195.04/1195.76 c | 1779805 | 900 18000 90000 | 2147483647 74995 133 | 0.000 % |
1195.44/1196.11 c | 1780401 | 900 18000 90000 | 2147483647 75591 133 | 0.000 % |
1195.84/1196.53 c | 1781056 | 900 18000 90000 | 2147483647 76246 133 | 0.000 % |
1196.34/1197.04 c | 1781776 | 900 18000 90000 | 2147483647 76966 133 | 0.000 % |
1196.84/1197.57 c | 1782569 | 900 18000 90000 | 2147483647 77759 133 | 0.000 % |
1197.43/1198.14 c | 1783440 | 900 18000 90000 | 2147483647 78630 133 | 0.000 % |
1198.13/1198.84 c | 1784400 | 900 18000 90000 | 2147483647 79590 132 | 0.000 % |
1198.83/1199.55 c | 1785454 | 900 18000 90000 | 2147483647 80644 132 | 0.000 % |
1199.63/1200.31 c | 1786615 | 900 18000 90000 | 2147483647 81805 132 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832517-1242780100/watcher-1832517-1242780100 -o /tmp/evaluation-result-1832517-1242780100/solver-1832517-1242780100 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832517-1242780100.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 0.99 0.91 3/64 11872
/proc/meminfo: memFree=1946488/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306038154 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11872/statm: 1339 237 197 169 0 50 0
[startup+0.055774 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 11872
/proc/meminfo: memFree=1946488/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.101773 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 11872
/proc/meminfo: memFree=1946488/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.301794 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 11872
/proc/meminfo: memFree=1946488/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.701837 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 11872
/proc/meminfo: memFree=1946488/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50193 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 11878
/proc/meminfo: memFree=1941160/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
[pid=11878] ppid=11872 vsize=6584 CPUtime=1.44
/proc/11878/stat : 11878 (minisat_static) R 11872 11872 11746 0 -1 4194304 1385 0 0 0 143 1 0 0 25 0 1 0 306038160 6742016 1371 1992294400 134512640 135215339 4294956240 18446744073709551615 134528726 0 0 4096 3 0 0 0 17 0 0 0
/proc/11878/statm: 1646 1371 77 171 0 1473 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11940
[startup+3.10111 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 11878
/proc/meminfo: memFree=1938472/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
[pid=11878] ppid=11872 vsize=11072 CPUtime=3.03
/proc/11878/stat : 11878 (minisat_static) R 11872 11872 11746 0 -1 4194304 2531 0 0 0 301 2 0 0 25 0 1 0 306038160 11337728 2517 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11878/statm: 2768 2517 77 171 0 2595 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 16428
[startup+6.30247 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 11878
/proc/meminfo: memFree=1930928/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
[pid=11878] ppid=11872 vsize=17376 CPUtime=6.22
/proc/11878/stat : 11878 (minisat_static) R 11872 11872 11746 0 -1 4194304 4085 0 0 0 619 3 0 0 25 0 1 0 306038160 17793024 4071 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/11878/statm: 4344 4071 77 171 0 4171 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 22732
[startup+12.7012 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 11878
/proc/meminfo: memFree=1921200/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
[pid=11878] ppid=11872 vsize=26300 CPUtime=12.62
/proc/11878/stat : 11878 (minisat_static) R 11872 11872 11746 0 -1 4194304 6324 0 0 0 1257 5 0 0 25 0 1 0 306038160 26931200 6310 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/11878/statm: 6575 6310 77 171 0 6402 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 31656
[startup+25.5016 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 11878
/proc/meminfo: memFree=1908720/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
[pid=11878] ppid=11872 vsize=38432 CPUtime=25.4
/proc/11878/stat : 11878 (minisat_static) R 11872 11872 11746 0 -1 4194304 9325 0 0 0 2531 9 0 0 25 0 1 0 306038160 39354368 9311 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11878/statm: 9608 9311 77 171 0 9435 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 43788
[startup+51.1014 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 11878
/proc/meminfo: memFree=1900464/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
[pid=11878] ppid=11872 vsize=46220 CPUtime=50.98
/proc/11878/stat : 11878 (minisat_static) R 11872 11872 11746 0 -1 4194304 11314 0 0 0 5087 11 0 0 25 0 1 0 306038160 47329280 11300 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11878/statm: 11555 11300 77 171 0 11382 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 51576
[startup+102.305 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 11878
/proc/meminfo: memFree=1898992/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
[pid=11878] ppid=11872 vsize=47672 CPUtime=102.16
/proc/11878/stat : 11878 (minisat_static) R 11872 11872 11746 0 -1 4194304 11666 0 0 0 10204 12 0 0 25 0 1 0 306038160 48816128 11652 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/11878/statm: 11918 11653 77 171 0 11745 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 53028
[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 11880
/proc/meminfo: memFree=1895664/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
[pid=11878] ppid=11872 vsize=50708 CPUtime=162.11
/proc/11878/stat : 11878 (minisat_static) R 11872 11872 11746 0 -1 4194304 12432 0 0 0 16198 13 0 0 25 0 1 0 306038160 51924992 12418 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11878/statm: 12677 12418 77 171 0 12504 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 56064
[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 11880
/proc/meminfo: memFree=1895600/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
[pid=11878] ppid=11872 vsize=50708 CPUtime=222.07
/proc/11878/stat : 11878 (minisat_static) R 11872 11872 11746 0 -1 4194304 12432 0 0 0 22194 13 0 0 25 0 1 0 306038160 51924992 12418 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/11878/statm: 12677 12418 77 171 0 12504 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 56064
[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 11880
/proc/meminfo: memFree=1894640/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
[pid=11878] ppid=11872 vsize=51632 CPUtime=282.04
/proc/11878/stat : 11878 (minisat_static) R 11872 11872 11746 0 -1 4194304 12650 0 0 0 28190 14 0 0 25 0 1 0 306038160 52871168 12636 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11878/statm: 12908 12636 77 171 0 12735 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 56988
[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 11880
/proc/meminfo: memFree=1893360/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
[pid=11878] ppid=11872 vsize=52820 CPUtime=342
/proc/11878/stat : 11878 (minisat_static) R 11872 11872 11746 0 -1 4194304 12959 0 0 0 34186 14 0 0 25 0 1 0 306038160 54087680 12945 1992294400 134512640 135215339 4294956240 18446744073709551615 134528846 0 0 4096 3 0 0 0 17 0 0 0
/proc/11878/statm: 13205 12945 77 171 0 13032 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 58176
[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 11880
/proc/meminfo: memFree=1893552/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
[pid=11878] ppid=11872 vsize=52372 CPUtime=401.97
/proc/11878/stat : 11878 (minisat_static) R 11872 11872 11746 0 -1 4194304 12959 0 0 0 40183 14 0 0 25 0 1 0 306038160 53628928 12844 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/11878/statm: 13093 12844 77 171 0 12920 0
Current children cumulated CPU time (s) 402.01
Current children cumulated vsize (KiB) 57728
[startup+462.302 s]
################
# More data... #
################
/proc/11878/statm: 13568 13291 77 171 0 13395 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 59628
[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 11880
/proc/meminfo: memFree=1891376/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
[pid=11878] ppid=11872 vsize=54404 CPUtime=641.87
/proc/11878/stat : 11878 (minisat_static) R 11872 11872 11746 0 -1 4194304 13449 0 0 0 64172 15 0 0 25 0 1 0 306038160 55709696 13323 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11878/statm: 13601 13323 77 171 0 13428 0
Current children cumulated CPU time (s) 641.91
Current children cumulated vsize (KiB) 59760
[startup+702.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 11880
/proc/meminfo: memFree=1891056/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
[pid=11878] ppid=11872 vsize=54536 CPUtime=701.83
/proc/11878/stat : 11878 (minisat_static) R 11872 11872 11746 0 -1 4194304 13490 0 0 0 70168 15 0 0 25 0 1 0 306038160 55844864 13364 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11878/statm: 13634 13364 77 171 0 13461 0
Current children cumulated CPU time (s) 701.87
Current children cumulated vsize (KiB) 59892
[startup+762.305 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 11880
/proc/meminfo: memFree=1890672/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
[pid=11878] ppid=11872 vsize=54800 CPUtime=761.81
/proc/11878/stat : 11878 (minisat_static) R 11872 11872 11746 0 -1 4194304 13559 0 0 0 76165 16 0 0 25 0 1 0 306038160 56115200 13433 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/11878/statm: 13700 13433 77 171 0 13527 0
Current children cumulated CPU time (s) 761.85
Current children cumulated vsize (KiB) 60156
[startup+822.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 11880
/proc/meminfo: memFree=1890608/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
[pid=11878] ppid=11872 vsize=54576 CPUtime=821.78
/proc/11878/stat : 11878 (minisat_static) R 11872 11872 11746 0 -1 4194304 13559 0 0 0 82162 16 0 0 25 0 1 0 306038160 55885824 13395 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/11878/statm: 13644 13395 77 171 0 13471 0
Current children cumulated CPU time (s) 821.82
Current children cumulated vsize (KiB) 59932
[startup+882.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 11880
/proc/meminfo: memFree=1890544/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
[pid=11878] ppid=11872 vsize=54576 CPUtime=881.75
/proc/11878/stat : 11878 (minisat_static) R 11872 11872 11746 0 -1 4194304 13559 0 0 0 88159 16 0 0 25 0 1 0 306038160 55885824 13395 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11878/statm: 13644 13395 77 171 0 13471 0
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (KiB) 59932
[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 11880
/proc/meminfo: memFree=1889840/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
[pid=11878] ppid=11872 vsize=55368 CPUtime=941.73
/proc/11878/stat : 11878 (minisat_static) R 11872 11872 11746 0 -1 4194304 13726 0 0 0 94157 16 0 0 25 0 1 0 306038160 56696832 13562 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11878/statm: 13842 13562 77 171 0 13669 0
Current children cumulated CPU time (s) 941.77
Current children cumulated vsize (KiB) 60724
[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 11880
/proc/meminfo: memFree=1888240/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
[pid=11878] ppid=11872 vsize=56824 CPUtime=1001.7
/proc/11878/stat : 11878 (minisat_static) R 11872 11872 11746 0 -1 4194304 14108 0 0 0 100153 17 0 0 25 0 1 0 306038160 58187776 13944 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/11878/statm: 14206 13944 77 171 0 14033 0
Current children cumulated CPU time (s) 1001.74
Current children cumulated vsize (KiB) 62180
[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 11880
/proc/meminfo: memFree=1888112/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
[pid=11878] ppid=11872 vsize=56824 CPUtime=1061.67
/proc/11878/stat : 11878 (minisat_static) R 11872 11872 11746 0 -1 4194304 14108 0 0 0 106150 17 0 0 25 0 1 0 306038160 58187776 13944 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11878/statm: 14206 13944 77 171 0 14033 0
Current children cumulated CPU time (s) 1061.71
Current children cumulated vsize (KiB) 62180
[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 11880
/proc/meminfo: memFree=1888048/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
[pid=11878] ppid=11872 vsize=56824 CPUtime=1121.64
/proc/11878/stat : 11878 (minisat_static) R 11872 11872 11746 0 -1 4194304 14108 0 0 0 112146 18 0 0 25 0 1 0 306038160 58187776 13944 1992294400 134512640 135215339 4294956240 18446744073709551615 134532666 0 0 4096 3 0 0 0 17 0 0 0
/proc/11878/statm: 14206 13944 77 171 0 14033 0
Current children cumulated CPU time (s) 1121.68
Current children cumulated vsize (KiB) 62180
[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 11886
/proc/meminfo: memFree=1887728/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
[pid=11878] ppid=11872 vsize=56824 CPUtime=1181.61
/proc/11878/stat : 11878 (minisat_static) R 11872 11872 11746 0 -1 4194304 14108 0 0 0 118143 18 0 0 25 0 1 0 306038160 58187776 13944 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/11878/statm: 14206 13944 77 171 0 14033 0
Current children cumulated CPU time (s) 1181.65
Current children cumulated vsize (KiB) 62180
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 11886
/proc/meminfo: memFree=1887728/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
[pid=11878] ppid=11872 vsize=56824 CPUtime=1200
/proc/11878/stat : 11878 (minisat_static) R 11872 11872 11746 0 -1 4194304 14108 0 0 0 119982 18 0 0 25 0 1 0 306038160 58187776 13944 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11878/statm: 14206 13944 77 171 0 14033 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 62180
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 11886
/proc/meminfo: memFree=1887728/2055920 swapFree=4178740/4192956
[pid=11872] ppid=11870 vsize=5356 CPUtime=0.04
/proc/11872/stat : 11872 (SatELiteGTI) S 11870 11872 11746 0 -1 4194304 336 730 0 0 0 0 4 0 16 0 1 0 306038154 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11872/statm: 1339 239 197 169 0 50 0
[pid=11878] ppid=11872 vsize=56824 CPUtime=1200
/proc/11878/stat : 11878 (minisat_static) R 11872 11872 11746 0 -1 4194304 14108 0 0 0 119982 18 0 0 25 0 1 0 306038160 58187776 13944 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11878/statm: 14206 13944 77 171 0 14033 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 62180
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11872 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=45993
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=9998
# CPU time returned by wait4() is 0.055991
# while last known CPU time is 1200.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.04
CPU user time (s): 1199.86
CPU system time (s): 0.18
CPU usage (%): 99.944
Max. virtual memory (cumulated for all children) (KiB): 62180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.045993
system time used= 0.009998
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= 6
runsolver used 1.11183 second user time and 3.40648 second system time
The end
Begin job on node42 at 2009-05-20 02:41:40
IDJOB=1832517
IDBENCH=70222
IDSOLVER=671
FILE ID=node42/1832517-1242780100
PBS_JOBID= 9322338
Free space on /tmp= 66376 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/900/unif-k5-r20-v900-c18000-S1738391204-028.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832517-1242780100/watcher-1832517-1242780100 -o /tmp/evaluation-result-1832517-1242780100/solver-1832517-1242780100 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832517-1242780100.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= fd29fc2170c47e49781a555a781e5652
RANDOM SEED=1471070740
node42.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.232
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.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1947032 kB
Buffers: 21440 kB
Cached: 50448 kB
SwapCached: 8692 kB
Active: 20368 kB
Inactive: 61956 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1947032 kB
SwapTotal: 4192956 kB
SwapFree: 4178740 kB
Dirty: 2012 kB
Writeback: 0 kB
Mapped: 14472 kB
Slab: 12736 kB
Committed_AS: 1112380 kB
PageTables: 1396 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= 66376 MiB
End job on node42 at 2009-05-20 03:01:43