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.015997 s
0.00/0.02 c ==============================================================================
0.03/0.06 c This is MiniSat 2.0 beta
0.03/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.03/0.06 c ============================[ Problem Statistics ]=============================
0.03/0.06 c | |
0.03/0.06 c | Number of variables: 900 |
0.03/0.06 c | Number of clauses: 18000 |
0.03/0.07 c | Parsing time: 0.01 s |
0.03/0.07 c ============================[ Search Statistics ]==============================
0.03/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.03/0.07 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.03/0.07 c ===============================================================================
0.03/0.07 c | 0 | 900 18000 90000 | 6000 0 nan | 0.000 % |
0.03/0.09 c | 100 | 900 18000 90000 | 6000 100 106 | 0.000 % |
0.03/0.10 c | 203 | 900 18000 90000 | 6000 203 104 | 0.000 % |
0.03/0.11 c | 303 | 900 18000 90000 | 6000 303 106 | 0.000 % |
0.03/0.12 c | 416 | 900 18000 90000 | 6000 416 108 | 0.000 % |
0.03/0.13 c | 516 | 900 18000 90000 | 6000 516 111 | 0.000 % |
0.03/0.14 c | 627 | 900 18000 90000 | 6000 627 111 | 0.000 % |
0.03/0.15 c | 748 | 900 18000 90000 | 6000 748 111 | 0.000 % |
0.03/0.16 c | 849 | 900 18000 90000 | 6000 849 110 | 0.000 % |
0.03/0.17 c | 960 | 900 18000 90000 | 6000 960 109 | 0.000 % |
0.03/0.19 c | 1084 | 900 18000 90000 | 6000 1084 112 | 0.000 % |
0.03/0.20 c | 1217 | 900 18000 90000 | 6000 1217 113 | 0.000 % |
0.03/0.21 c | 1317 | 900 18000 90000 | 6000 1317 112 | 0.000 % |
0.03/0.22 c | 1428 | 900 18000 90000 | 6000 1428 113 | 0.000 % |
0.03/0.24 c | 1549 | 900 18000 90000 | 6000 1549 112 | 0.000 % |
0.03/0.25 c | 1682 | 900 18000 90000 | 6000 1682 112 | 0.000 % |
0.03/0.26 c | 1828 | 900 18000 90000 | 6000 1828 112 | 0.000 % |
0.03/0.28 c | 1928 | 900 18000 90000 | 6000 1928 113 | 0.000 % |
0.03/0.29 c | 2038 | 900 18000 90000 | 6000 2038 113 | 0.000 % |
0.03/0.30 c | 2159 | 900 18000 90000 | 6000 2159 113 | 0.000 % |
0.03/0.32 c | 2293 | 900 18000 90000 | 6000 2293 113 | 0.000 % |
0.03/0.33 c | 2440 | 900 18000 90000 | 6000 2440 113 | 0.000 % |
0.03/0.35 c | 2601 | 900 18000 90000 | 6000 2601 113 | 0.000 % |
0.03/0.36 c | 2703 | 900 18000 90000 | 6000 2703 113 | 0.000 % |
0.03/0.38 c | 2815 | 900 18000 90000 | 6000 2815 113 | 0.000 % |
0.03/0.39 c | 2937 | 900 18000 90000 | 6000 2937 114 | 0.000 % |
0.03/0.41 c | 3071 | 900 18000 90000 | 6000 3071 114 | 0.000 % |
0.03/0.42 c | 3218 | 900 18000 90000 | 6000 3218 115 | 0.000 % |
0.03/0.44 c | 3378 | 900 18000 90000 | 6000 3378 115 | 0.000 % |
0.03/0.46 c | 3556 | 900 18000 90000 | 6000 3556 115 | 0.000 % |
0.03/0.48 c | 3660 | 900 18000 90000 | 6000 3660 115 | 0.000 % |
0.03/0.49 c | 3772 | 900 18000 90000 | 6000 3772 115 | 0.000 % |
0.03/0.51 c | 3893 | 900 18000 90000 | 6000 3893 115 | 0.000 % |
0.03/0.52 c | 4027 | 900 18000 90000 | 6000 4027 115 | 0.000 % |
0.03/0.54 c | 4173 | 900 18000 90000 | 6000 4173 115 | 0.000 % |
0.03/0.56 c | 4333 | 900 18000 90000 | 6000 4333 115 | 0.000 % |
0.03/0.58 c | 4509 | 900 18000 90000 | 6000 4509 114 | 0.000 % |
0.03/0.60 c | 4707 | 900 18000 90000 | 6000 4707 115 | 0.000 % |
0.03/0.62 c | 4807 | 900 18000 90000 | 6000 4807 114 | 0.000 % |
0.03/0.63 c | 4917 | 900 18000 90000 | 6000 4917 114 | 0.000 % |
0.03/0.65 c | 5039 | 900 18000 90000 | 6000 5039 114 | 0.000 % |
0.03/0.66 c | 5175 | 900 18000 90000 | 6000 5175 114 | 0.000 % |
0.03/0.68 c | 5322 | 900 18000 90000 | 6000 5322 114 | 0.000 % |
0.03/0.70 c | 5484 | 900 18000 90000 | 6000 5484 114 | 0.000 % |
0.03/0.73 c | 5662 | 900 18000 90000 | 6000 5662 114 | 0.000 % |
0.03/0.75 c | 5856 | 900 18000 90000 | 6000 5856 114 | 0.000 % |
0.03/0.78 c | 6071 | 900 18000 90000 | 6000 6071 114 | 0.000 % |
0.03/0.79 c | 6172 | 900 18000 90000 | 6000 5565 114 | 0.000 % |
0.03/0.81 c | 6284 | 900 18000 90000 | 6000 5677 114 | 0.000 % |
0.03/0.83 c | 6409 | 900 18000 90000 | 6000 5802 114 | 0.000 % |
0.03/0.85 c | 6544 | 900 18000 90000 | 6000 5937 114 | 0.000 % |
0.03/0.87 c | 6690 | 900 18000 90000 | 6000 6083 114 | 0.000 % |
0.03/0.89 c | 6850 | 900 18000 90000 | 6000 5635 113 | 0.000 % |
0.03/0.91 c | 7026 | 900 18000 90000 | 6000 5811 114 | 0.000 % |
0.03/0.94 c | 7220 | 900 18000 90000 | 6000 6005 114 | 0.000 % |
0.03/0.96 c | 7432 | 900 18000 90000 | 6000 5617 114 | 0.000 % |
0.03/0.99 c | 7667 | 900 18000 90000 | 6000 5852 114 | 0.000 % |
0.95/1.01 c | 7767 | 900 18000 90000 | 6000 5952 114 | 0.000 % |
0.95/1.03 c | 7878 | 900 18000 90000 | 6000 6063 113 | 0.000 % |
0.95/1.04 c | 8001 | 900 18000 90000 | 6000 5580 113 | 0.000 % |
0.95/1.06 c | 8134 | 900 18000 90000 | 6000 5713 113 | 0.000 % |
0.95/1.08 c | 8280 | 900 18000 90000 | 6000 5859 113 | 0.000 % |
0.95/1.10 c | 8442 | 900 18000 90000 | 6000 6021 113 | 0.000 % |
1.05/1.13 c | 8618 | 900 18000 90000 | 6000 5595 112 | 0.000 % |
1.05/1.15 c | 8813 | 900 18000 90000 | 6000 5790 113 | 0.000 % |
1.05/1.18 c | 9025 | 900 18000 90000 | 6000 6002 113 | 0.000 % |
1.14/1.21 c | 9258 | 900 18000 90000 | 6000 5635 112 | 0.000 % |
1.14/1.24 c | 9514 | 900 18000 90000 | 6000 5891 112 | 0.000 % |
1.14/1.25 c | 9614 | 900 18000 90000 | 6000 5991 112 | 0.000 % |
1.14/1.27 c | 9725 | 900 18000 90000 | 6000 6102 112 | 0.000 % |
1.14/1.28 c | 9846 | 900 18000 90000 | 6000 5613 112 | 0.000 % |
1.24/1.30 c | 9979 | 900 18000 90000 | 6000 5746 112 | 0.000 % |
1.24/1.32 c | 10127 | 900 18000 90000 | 2147483647 5894 112 | 0.000 % |
1.24/1.34 c | 10287 | 900 18000 90000 | 2147483647 6054 112 | 0.000 % |
1.24/1.36 c | 10464 | 900 18000 90000 | 2147483647 6231 112 | 0.000 % |
1.24/1.39 c | 10657 | 900 18000 90000 | 2147483647 6424 112 | 0.000 % |
1.34/1.42 c | 10869 | 900 18000 90000 | 2147483647 6636 112 | 0.000 % |
1.34/1.45 c | 11102 | 900 18000 90000 | 2147483647 6869 113 | 0.000 % |
1.34/1.48 c | 11358 | 900 18000 90000 | 2147483647 7125 113 | 0.000 % |
1.44/1.52 c | 11640 | 900 18000 90000 | 2147483647 7407 113 | 0.000 % |
1.44/1.53 c | 11740 | 900 18000 90000 | 2147483647 7507 113 | 0.000 % |
1.44/1.55 c | 11851 | 900 18000 90000 | 2147483647 7618 112 | 0.000 % |
1.44/1.57 c | 11973 | 900 18000 90000 | 2147483647 7740 113 | 0.000 % |
1.44/1.59 c | 12108 | 900 18000 90000 | 2147483647 7875 112 | 0.000 % |
1.54/1.61 c | 12255 | 900 18000 90000 | 2147483647 8022 112 | 0.000 % |
1.54/1.63 c | 12417 | 900 18000 90000 | 2147483647 8184 113 | 0.000 % |
1.54/1.66 c | 12594 | 900 18000 90000 | 2147483647 8361 113 | 0.000 % |
1.54/1.68 c | 12788 | 900 18000 90000 | 2147483647 8555 113 | 0.000 % |
1.64/1.71 c | 13001 | 900 18000 90000 | 2147483647 8768 113 | 0.000 % |
1.64/1.75 c | 13234 | 900 18000 90000 | 2147483647 9001 113 | 0.000 % |
1.64/1.78 c | 13490 | 900 18000 90000 | 2147483647 9257 113 | 0.000 % |
1.75/1.82 c | 13772 | 900 18000 90000 | 2147483647 9539 113 | 0.000 % |
1.75/1.87 c | 14083 | 900 18000 90000 | 2147483647 9850 113 | 0.000 % |
1.75/1.89 c | 14184 | 900 18000 90000 | 2147483647 9951 113 | 0.000 % |
1.85/1.91 c | 14296 | 900 18000 90000 | 2147483647 10063 113 | 0.000 % |
1.85/1.92 c | 14417 | 900 18000 90000 | 2147483647 10184 113 | 0.000 % |
1.85/1.94 c | 14550 | 900 18000 90000 | 2147483647 10317 113 | 0.000 % |
1.85/1.97 c | 14696 | 900 18000 90000 | 2147483647 10463 113 | 0.000 % |
1.85/1.99 c | 14858 | 900 18000 90000 | 2147483647 10625 113 | 0.000 % |
1.95/2.02 c | 15034 | 900 18000 90000 | 2147483647 10801 113 | 0.000 % |
1.95/2.06 c | 15227 | 900 18000 90000 | 2147483647 10994 113 | 0.000 % |
1.95/2.09 c | 15439 | 900 18000 90000 | 2147483647 11206 113 | 0.000 % |
2.05/2.13 c | 15673 | 900 18000 90000 | 2147483647 11440 113 | 0.000 % |
2.05/2.17 c | 15931 | 900 18000 90000 | 2147483647 11698 114 | 0.000 % |
2.15/2.22 c | 16212 | 900 18000 90000 | 2147483647 11979 114 | 0.000 % |
2.15/2.27 c | 16521 | 900 18000 90000 | 2147483647 12288 114 | 0.000 % |
2.25/2.32 c | 16860 | 900 18000 90000 | 2147483647 12627 114 | 0.000 % |
2.25/2.34 c | 16960 | 900 18000 90000 | 2147483647 12727 114 | 0.000 % |
2.25/2.36 c | 17070 | 900 18000 90000 | 2147483647 12837 114 | 0.000 % |
2.25/2.39 c | 17191 | 900 18000 90000 | 2147483647 12958 114 | 0.000 % |
2.35/2.41 c | 17327 | 900 18000 90000 | 2147483647 13094 114 | 0.000 % |
2.35/2.44 c | 17475 | 900 18000 90000 | 2147483647 13242 114 | 0.000 % |
2.35/2.46 c | 17636 | 900 18000 90000 | 2147483647 13403 114 | 0.000 % |
2.35/2.49 c | 17812 | 900 18000 90000 | 2147483647 13579 114 | 0.000 % |
2.45/2.53 c | 18005 | 900 18000 90000 | 2147483647 13772 114 | 0.000 % |
2.45/2.57 c | 18217 | 900 18000 90000 | 2147483647 13984 114 | 0.000 % |
2.55/2.61 c | 18450 | 900 18000 90000 | 2147483647 14217 114 | 0.000 % |
2.55/2.66 c | 18706 | 900 18000 90000 | 2147483647 14473 114 | 0.000 % |
2.64/2.72 c | 18987 | 900 18000 90000 | 2147483647 14754 114 | 0.000 % |
2.64/2.77 c | 19296 | 900 18000 90000 | 2147483647 15063 114 | 0.000 % |
2.74/2.84 c | 19637 | 900 18000 90000 | 2147483647 15404 114 | 0.000 % |
2.84/2.91 c | 20010 | 900 18000 90000 | 2147483647 15777 114 | 0.000 % |
2.84/2.93 c | 20110 | 900 18000 90000 | 2147483647 15877 114 | 0.000 % |
2.84/2.95 c | 20220 | 900 18000 90000 | 2147483647 15987 114 | 0.000 % |
2.84/2.98 c | 20342 | 900 18000 90000 | 2147483647 16109 114 | 0.000 % |
2.94/3.01 c | 20479 | 900 18000 90000 | 2147483647 16246 115 | 0.000 % |
2.94/3.04 c | 20627 | 900 18000 90000 | 2147483647 16394 115 | 0.000 % |
2.94/3.07 c | 20787 | 900 18000 90000 | 2147483647 16554 115 | 0.000 % |
3.04/3.11 c | 20965 | 900 18000 90000 | 2147483647 16732 115 | 0.000 % |
3.04/3.15 c | 21158 | 900 18000 90000 | 2147483647 16925 114 | 0.000 % |
3.04/3.20 c | 21371 | 900 18000 90000 | 2147483647 17138 114 | 0.000 % |
3.15/3.24 c | 21604 | 900 18000 90000 | 2147483647 17371 115 | 0.000 % |
3.15/3.30 c | 21860 | 900 18000 90000 | 2147483647 17627 115 | 0.000 % |
3.26/3.35 c | 22141 | 900 18000 90000 | 2147483647 17908 115 | 0.000 % |
3.35/3.42 c | 22451 | 900 18000 90000 | 2147483647 18218 115 | 0.000 % |
3.35/3.49 c | 22790 | 900 18000 90000 | 2147483647 18557 115 | 0.000 % |
3.45/3.56 c | 23162 | 900 18000 90000 | 2147483647 18929 115 | 0.000 % |
3.55/3.65 c | 23573 | 900 18000 90000 | 2147483647 19340 115 | 0.000 % |
3.55/3.68 c | 23673 | 900 18000 90000 | 2147483647 19440 115 | 0.000 % |
3.65/3.70 c | 23786 | 900 18000 90000 | 2147483647 19553 115 | 0.000 % |
3.65/3.73 c | 23907 | 900 18000 90000 | 2147483647 19674 115 | 0.000 % |
3.65/3.76 c | 24040 | 900 18000 90000 | 2147483647 19807 115 | 0.000 % |
3.75/3.80 c | 24187 | 900 18000 90000 | 2147483647 19954 115 | 0.000 % |
3.75/3.84 c | 24348 | 900 18000 90000 | 2147483647 20115 115 | 0.000 % |
3.75/3.88 c | 24524 | 900 18000 90000 | 2147483647 20291 115 | 0.000 % |
3.85/3.93 c | 24717 | 900 18000 90000 | 2147483647 20484 115 | 0.000 % |
3.85/3.98 c | 24931 | 900 18000 90000 | 2147483647 20698 115 | 0.000 % |
3.95/4.03 c | 25166 | 900 18000 90000 | 2147483647 20933 115 | 0.000 % |
3.95/4.09 c | 25422 | 900 18000 90000 | 2147483647 21189 115 | 0.000 % |
4.05/4.16 c | 25703 | 900 18000 90000 | 2147483647 21470 115 | 0.000 % |
4.15/4.23 c | 26012 | 900 18000 90000 | 2147483647 21779 115 | 0.000 % |
4.25/4.31 c | 26351 | 900 18000 90000 | 2147483647 22118 115 | 0.000 % |
4.25/4.39 c | 26723 | 900 18000 90000 | 2147483647 22490 115 | 0.000 % |
4.35/4.49 c | 27132 | 900 18000 90000 | 2147483647 22899 115 | 0.000 % |
4.55/4.60 c | 27581 | 900 18000 90000 | 2147483647 23348 115 | 0.000 % |
4.55/4.63 c | 27683 | 900 18000 90000 | 2147483647 23450 115 | 0.000 % |
4.55/4.66 c | 27793 | 900 18000 90000 | 2147483647 23560 115 | 0.000 % |
4.55/4.69 c | 27914 | 900 18000 90000 | 2147483647 23681 115 | 0.000 % |
4.65/4.73 c | 28048 | 900 18000 90000 | 2147483647 23815 115 | 0.000 % |
4.65/4.77 c | 28196 | 900 18000 90000 | 2147483647 23963 115 | 0.000 % |
4.75/4.82 c | 28356 | 900 18000 90000 | 2147483647 24123 115 | 0.000 % |
4.75/4.87 c | 28532 | 900 18000 90000 | 2147483647 24299 115 | 0.000 % |
4.85/4.93 c | 28726 | 900 18000 90000 | 2147483647 24493 115 | 0.000 % |
4.85/4.99 c | 28938 | 900 18000 90000 | 2147483647 24705 115 | 0.000 % |
4.94/5.05 c | 29171 | 900 18000 90000 | 2147483647 24938 115 | 0.000 % |
5.04/5.12 c | 29427 | 900 18000 90000 | 2147483647 25194 115 | 0.000 % |
5.14/5.20 c | 29708 | 900 18000 90000 | 2147483647 25475 115 | 0.000 % |
5.14/5.28 c | 30018 | 900 18000 90000 | 2147483647 25785 115 | 0.000 % |
5.24/5.38 c | 30358 | 900 18000 90000 | 2147483647 26125 115 | 0.000 % |
5.35/5.48 c | 30730 | 900 18000 90000 | 2147483647 26497 115 | 0.000 % |
5.45/5.59 c | 31140 | 900 18000 90000 | 2147483647 26907 115 | 0.000 % |
5.64/5.72 c | 31590 | 900 18000 90000 | 2147483647 27357 116 | 0.000 % |
5.74/5.86 c | 32084 | 900 18000 90000 | 2147483647 27851 116 | 0.000 % |
5.74/5.90 c | 32184 | 900 18000 90000 | 2147483647 27951 116 | 0.000 % |
5.84/5.93 c | 32297 | 900 18000 90000 | 2147483647 28064 116 | 0.000 % |
5.84/5.97 c | 32419 | 900 18000 90000 | 2147483647 28186 116 | 0.000 % |
5.94/6.01 c | 32552 | 900 18000 90000 | 2147483647 28319 116 | 0.000 % |
5.94/6.05 c | 32698 | 900 18000 90000 | 2147483647 28465 116 | 0.000 % |
6.04/6.10 c | 32859 | 900 18000 90000 | 2147483647 28626 116 | 0.000 % |
6.04/6.15 c | 33035 | 900 18000 90000 | 2147483647 28802 116 | 0.000 % |
6.14/6.22 c | 33229 | 900 18000 90000 | 2147483647 28996 116 | 0.000 % |
6.14/6.29 c | 33441 | 900 18000 90000 | 2147483647 29208 116 | 0.000 % |
6.24/6.36 c | 33674 | 900 18000 90000 | 2147483647 29441 116 | 0.000 % |
6.34/6.44 c | 33930 | 900 18000 90000 | 2147483647 29697 116 | 0.000 % |
6.45/6.52 c | 34211 | 900 18000 90000 | 2147483647 29978 116 | 0.000 % |
6.45/6.60 c | 34520 | 900 18000 90000 | 2147483647 30287 116 | 0.000 % |
6.65/6.71 c | 34862 | 900 18000 90000 | 2147483647 30629 116 | 0.000 % |
6.75/6.82 c | 35234 | 900 18000 90000 | 2147483647 31001 116 | 0.000 % |
6.85/6.95 c | 35643 | 900 18000 90000 | 2147483647 31410 116 | 0.000 % |
6.95/7.09 c | 36092 | 900 18000 90000 | 2147483647 31859 116 | 0.000 % |
7.15/7.24 c | 36586 | 900 18000 90000 | 2147483647 32353 116 | 0.000 % |
7.34/7.42 c | 37128 | 900 18000 90000 | 2147483647 32895 116 | 0.000 % |
7.34/7.45 c | 37229 | 900 18000 90000 | 2147483647 32996 116 | 0.000 % |
7.34/7.49 c | 37339 | 900 18000 90000 | 2147483647 33106 116 | 0.000 % |
7.44/7.53 c | 37460 | 900 18000 90000 | 2147483647 33227 116 | 0.000 % |
7.44/7.58 c | 37593 | 900 18000 90000 | 2147483647 33360 116 | 0.000 % |
7.55/7.63 c | 37740 | 900 18000 90000 | 2147483647 33507 116 | 0.000 % |
7.55/7.69 c | 37900 | 900 18000 90000 | 2147483647 33667 116 | 0.000 % |
7.65/7.74 c | 38076 | 900 18000 90000 | 2147483647 33843 116 | 0.000 % |
7.74/7.81 c | 38269 | 900 18000 90000 | 2147483647 34036 116 | 0.000 % |
7.74/7.89 c | 38481 | 900 18000 90000 | 2147483647 34248 116 | 0.000 % |
7.84/7.98 c | 38714 | 900 18000 90000 | 2147483647 34481 116 | 0.000 % |
7.94/8.07 c | 38970 | 900 18000 90000 | 2147483647 34737 116 | 0.000 % |
8.04/8.16 c | 39252 | 900 18000 90000 | 2147483647 35019 116 | 0.000 % |
8.14/8.26 c | 39561 | 900 18000 90000 | 2147483647 35328 116 | 0.000 % |
8.35/8.40 c | 39901 | 900 18000 90000 | 2147483647 35668 116 | 0.000 % |
8.45/8.52 c | 40274 | 900 18000 90000 | 2147483647 36041 116 | 0.000 % |
8.55/8.66 c | 40686 | 900 18000 90000 | 2147483647 36453 116 | 0.000 % |
8.75/8.82 c | 41135 | 900 18000 90000 | 2147483647 36902 116 | 0.000 % |
8.85/8.99 c | 41628 | 900 18000 90000 | 2147483647 37395 117 | 0.000 % |
9.05/9.19 c | 42171 | 900 18000 90000 | 2147483647 37938 117 | 0.000 % |
9.35/9.41 c | 42767 | 900 18000 90000 | 2147483647 38534 117 | 0.000 % |
9.35/9.44 c | 42868 | 900 18000 90000 | 2147483647 38635 117 | 0.000 % |
9.35/9.49 c | 42978 | 900 18000 90000 | 2147483647 38745 117 | 0.000 % |
9.45/9.55 c | 43099 | 900 18000 90000 | 2147483647 38866 116 | 0.000 % |
9.55/9.61 c | 43234 | 900 18000 90000 | 2147483647 39001 116 | 0.000 % |
9.55/9.67 c | 43380 | 900 18000 90000 | 2147483647 39147 116 | 0.000 % |
9.65/9.72 c | 43540 | 900 18000 90000 | 2147483647 39307 116 | 0.000 % |
9.75/9.81 c | 43716 | 900 18000 90000 | 2147483647 39483 116 | 0.000 % |
9.75/9.88 c | 43910 | 900 18000 90000 | 2147483647 39677 116 | 0.000 % |
9.85/9.97 c | 44122 | 900 18000 90000 | 2147483647 39889 116 | 0.000 % |
9.95/10.05 c | 44356 | 900 18000 90000 | 2147483647 40123 117 | 0.000 % |
10.05/10.15 c | 44612 | 900 18000 90000 | 2147483647 40379 117 | 0.000 % |
10.15/10.25 c | 44894 | 900 18000 90000 | 2147483647 40661 117 | 0.000 % |
10.24/10.37 c | 45203 | 900 18000 90000 | 2147483647 40970 117 | 0.000 % |
10.44/10.52 c | 45543 | 900 18000 90000 | 2147483647 41310 117 | 0.000 % |
10.54/10.68 c | 45915 | 900 18000 90000 | 2147483647 41682 117 | 0.000 % |
10.74/10.83 c | 46325 | 900 18000 90000 | 2147483647 42092 117 | 0.000 % |
10.95/11.01 c | 46774 | 900 18000 90000 | 2147483647 42541 117 | 0.000 % |
11.14/11.20 c | 47267 | 900 18000 90000 | 2147483647 43034 117 | 0.000 % |
11.34/11.41 c | 47810 | 900 18000 90000 | 2147483647 43577 117 | 0.000 % |
11.54/11.66 c | 48410 | 900 18000 90000 | 2147483647 44177 117 | 0.000 % |
11.84/11.94 c | 49066 | 900 18000 90000 | 2147483647 44833 117 | 0.000 % |
11.84/11.99 c | 49166 | 900 18000 90000 | 2147483647 44933 117 | 0.000 % |
11.94/12.04 c | 49278 | 900 18000 90000 | 2147483647 45045 117 | 0.000 % |
11.94/12.09 c | 49399 | 900 18000 90000 | 2147483647 45166 117 | 0.000 % |
12.04/12.15 c | 49533 | 900 18000 90000 | 2147483647 45300 117 | 0.000 % |
12.14/12.23 c | 49679 | 900 18000 90000 | 2147483647 45446 117 | 0.000 % |
12.14/12.30 c | 49839 | 900 18000 90000 | 2147483647 45606 117 | 0.000 % |
12.24/12.37 c | 50015 | 900 18000 90000 | 2147483647 45782 117 | 0.000 % |
12.34/12.47 c | 50208 | 900 18000 90000 | 2147483647 45975 117 | 0.000 % |
12.45/12.56 c | 50422 | 900 18000 90000 | 2147483647 46189 117 | 0.000 % |
12.55/12.67 c | 50656 | 900 18000 90000 | 2147483647 46423 117 | 0.000 % |
12.65/12.79 c | 50913 | 900 18000 90000 | 2147483647 46680 117 | 0.000 % |
12.85/12.93 c | 51195 | 900 18000 90000 | 2147483647 46962 117 | 0.000 % |
12.95/13.06 c | 51504 | 900 18000 90000 | 2147483647 47271 117 | 0.000 % |
13.15/13.22 c | 51844 | 900 18000 90000 | 2147483647 47611 117 | 0.000 % |
13.24/13.38 c | 52216 | 900 18000 90000 | 2147483647 47983 117 | 0.000 % |
13.44/13.56 c | 52625 | 900 18000 90000 | 2147483647 48392 117 | 0.000 % |
13.64/13.75 c | 53075 | 900 18000 90000 | 2147483647 48842 117 | 0.000 % |
13.84/14.00 c | 53568 | 900 18000 90000 | 2147483647 49335 117 | 0.000 % |
14.15/14.24 c | 54110 | 900 18000 90000 | 2147483647 49877 117 | 0.000 % |
14.44/14.51 c | 54708 | 900 18000 90000 | 2147483647 50475 117 | 0.000 % |
14.64/14.77 c | 55363 | 900 18000 90000 | 2147483647 51130 117 | 0.000 % |
14.94/15.08 c | 56084 | 900 18000 90000 | 2147483647 51851 117 | 0.000 % |
15.04/15.15 c | 56184 | 900 18000 90000 | 2147483647 51951 117 | 0.000 % |
15.14/15.20 c | 56295 | 900 18000 90000 | 2147483647 52062 117 | 0.000 % |
15.14/15.27 c | 56416 | 900 18000 90000 | 2147483647 52183 117 | 0.000 % |
15.24/15.34 c | 56550 | 900 18000 90000 | 2147483647 52317 117 | 0.000 % |
15.34/15.43 c | 56697 | 900 18000 90000 | 2147483647 52464 117 | 0.000 % |
15.44/15.51 c | 56858 | 900 18000 90000 | 2147483647 52625 117 | 0.000 % |
15.44/15.59 c | 57034 | 900 18000 90000 | 2147483647 52801 117 | 0.000 % |
15.54/15.69 c | 57227 | 900 18000 90000 | 2147483647 52994 117 | 0.000 % |
15.74/15.80 c | 57439 | 900 18000 90000 | 2147483647 53206 117 | 0.000 % |
15.84/15.93 c | 57672 | 900 18000 90000 | 2147483647 53439 117 | 0.000 % |
15.94/16.06 c | 57930 | 900 18000 90000 | 2147483647 53697 117 | 0.000 % |
16.04/16.19 c | 58212 | 900 18000 90000 | 2147483647 53979 117 | 0.000 % |
16.24/16.33 c | 58522 | 900 18000 90000 | 2147483647 54289 117 | 0.000 % |
16.44/16.53 c | 58863 | 900 18000 90000 | 2147483647 54630 117 | 0.000 % |
16.65/16.71 c | 59236 | 900 18000 90000 | 2147483647 55003 117 | 0.000 % |
16.75/16.89 c | 59647 | 900 18000 90000 | 2147483647 55414 117 | 0.000 % |
17.04/17.13 c | 60096 | 900 18000 90000 | 2147483647 55863 117 | 0.000 % |
17.24/17.39 c | 60589 | 900 18000 90000 | 2147483647 56356 117 | 0.000 % |
17.55/17.68 c | 61131 | 900 18000 90000 | 2147483647 56898 117 | 0.000 % |
17.84/17.99 c | 61728 | 900 18000 90000 | 2147483647 57495 117 | 0.000 % |
18.24/18.32 c | 62383 | 900 18000 90000 | 2147483647 58150 117 | 0.000 % |
18.55/18.67 c | 63103 | 900 18000 90000 | 2147483647 58870 117 | 0.000 % |
18.94/19.08 c | 63896 | 900 18000 90000 | 2147483647 59663 118 | 0.000 % |
19.04/19.12 c | 63997 | 900 18000 90000 | 2147483647 59764 118 | 0.000 % |
19.04/19.18 c | 64109 | 900 18000 90000 | 2147483647 59876 118 | 0.000 % |
19.14/19.25 c | 64230 | 900 18000 90000 | 2147483647 59997 118 | 0.000 % |
19.24/19.32 c | 64366 | 900 18000 90000 | 2147483647 60133 118 | 0.000 % |
19.34/19.41 c | 64514 | 900 18000 90000 | 2147483647 60281 118 | 0.000 % |
19.44/19.50 c | 64675 | 900 18000 90000 | 2147483647 60442 118 | 0.000 % |
19.54/19.60 c | 64851 | 900 18000 90000 | 2147483647 60618 118 | 0.000 % |
19.65/19.70 c | 65044 | 900 18000 90000 | 2147483647 60811 117 | 0.000 % |
19.75/19.84 c | 65258 | 900 18000 90000 | 2147483647 61025 117 | 0.000 % |
19.84/19.98 c | 65491 | 900 18000 90000 | 2147483647 61258 117 | 0.000 % |
20.04/20.11 c | 65748 | 900 18000 90000 | 2147483647 61515 117 | 0.000 % |
20.14/20.28 c | 66029 | 900 18000 90000 | 2147483647 61796 117 | 0.000 % |
20.34/20.46 c | 66339 | 900 18000 90000 | 2147483647 62106 117 | 0.000 % |
20.55/20.67 c | 66678 | 900 18000 90000 | 2147483647 62445 118 | 0.000 % |
20.75/20.89 c | 67051 | 900 18000 90000 | 2147483647 62818 118 | 0.000 % |
21.04/21.13 c | 67460 | 900 18000 90000 | 2147483647 63227 118 | 0.000 % |
21.24/21.38 c | 67911 | 900 18000 90000 | 2147483647 63678 118 | 0.000 % |
21.54/21.67 c | 68404 | 900 18000 90000 | 2147483647 64171 118 | 0.000 % |
21.85/21.97 c | 68947 | 900 18000 90000 | 2147483647 64714 118 | 0.000 % |
22.24/22.32 c | 69544 | 900 18000 90000 | 2147483647 65311 118 | 0.000 % |
22.64/22.71 c | 70199 | 900 18000 90000 | 2147483647 65966 118 | 0.000 % |
22.94/23.10 c | 70919 | 900 18000 90000 | 2147483647 66686 118 | 0.000 % |
23.45/23.54 c | 71712 | 900 18000 90000 | 2147483647 67479 118 | 0.000 % |
23.95/24.00 c | 72584 | 900 18000 90000 | 2147483647 68351 118 | 0.000 % |
23.95/24.08 c | 72685 | 900 18000 90000 | 2147483647 68452 118 | 0.000 % |
24.05/24.15 c | 72796 | 900 18000 90000 | 2147483647 68563 118 | 0.000 % |
24.15/24.24 c | 72918 | 900 18000 90000 | 2147483647 68685 118 | 0.000 % |
24.24/24.33 c | 73052 | 900 18000 90000 | 2147483647 68819 118 | 0.000 % |
24.34/24.45 c | 73199 | 900 18000 90000 | 2147483647 68966 118 | 0.000 % |
24.44/24.56 c | 73359 | 900 18000 90000 | 2147483647 69126 118 | 0.000 % |
24.54/24.68 c | 73536 | 900 18000 90000 | 2147483647 69303 118 | 0.000 % |
24.74/24.82 c | 73730 | 900 18000 90000 | 2147483647 69497 118 | 0.000 % |
24.84/24.96 c | 73945 | 900 18000 90000 | 2147483647 69712 118 | 0.000 % |
25.04/25.12 c | 74178 | 900 18000 90000 | 2147483647 69945 118 | 0.000 % |
25.15/25.30 c | 74434 | 900 18000 90000 | 2147483647 70201 118 | 0.000 % |
25.34/25.48 c | 74715 | 900 18000 90000 | 2147483647 70482 118 | 0.000 % |
25.54/25.68 c | 75024 | 900 18000 90000 | 2147483647 70791 118 | 0.000 % |
25.84/25.91 c | 75363 | 900 18000 90000 | 2147483647 71130 118 | 0.000 % |
26.04/26.14 c | 75736 | 900 18000 90000 | 2147483647 71503 118 | 0.000 % |
26.34/26.41 c | 76145 | 900 18000 90000 | 2147483647 71912 118 | 0.000 % |
26.64/26.71 c | 76594 | 900 18000 90000 | 2147483647 72361 118 | 0.000 % |
26.94/27.03 c | 77088 | 900 18000 90000 | 2147483647 72855 118 | 0.000 % |
27.24/27.39 c | 77631 | 900 18000 90000 | 2147483647 73398 118 | 0.000 % |
27.64/27.76 c | 78227 | 900 18000 90000 | 2147483647 73994 118 | 0.000 % |
28.04/28.15 c | 78883 | 900 18000 90000 | 2147483647 74650 118 | 0.000 % |
28.55/28.63 c | 79603 | 900 18000 90000 | 2147483647 75370 118 | 0.000 % |
29.04/29.15 c | 80396 | 900 18000 90000 | 2147483647 76163 118 | 0.000 % |
29.65/29.72 c | 81267 | 900 18000 90000 | 2147483647 77034 118 | 0.000 % |
30.24/30.34 c | 82225 | 900 18000 90000 | 2147483647 77992 118 | 0.000 % |
30.34/30.41 c | 82325 | 900 18000 90000 | 2147483647 78092 118 | 0.000 % |
30.34/30.48 c | 82436 | 900 18000 90000 | 2147483647 78203 118 | 0.000 % |
30.44/30.57 c | 82559 | 900 18000 90000 | 2147483647 78326 118 | 0.000 % |
30.54/30.70 c | 82694 | 900 18000 90000 | 2147483647 78461 118 | 0.000 % |
30.74/30.82 c | 82842 | 900 18000 90000 | 2147483647 78609 118 | 0.000 % |
30.84/30.94 c | 83002 | 900 18000 90000 | 2147483647 78769 118 | 0.000 % |
31.04/31.10 c | 83178 | 900 18000 90000 | 2147483647 78945 118 | 0.000 % |
31.14/31.24 c | 83371 | 900 18000 90000 | 2147483647 79138 118 | 0.000 % |
31.24/31.39 c | 83584 | 900 18000 90000 | 2147483647 79351 118 | 0.000 % |
31.44/31.57 c | 83819 | 900 18000 90000 | 2147483647 79586 118 | 0.000 % |
31.64/31.76 c | 84075 | 900 18000 90000 | 2147483647 79842 118 | 0.000 % |
31.84/31.96 c | 84356 | 900 18000 90000 | 2147483647 80123 118 | 0.000 % |
32.03/32.19 c | 84666 | 900 18000 90000 | 2147483647 80433 118 | 0.000 % |
32.33/32.42 c | 85005 | 900 18000 90000 | 2147483647 80772 118 | 0.000 % |
32.64/32.70 c | 85377 | 900 18000 90000 | 2147483647 81144 118 | 0.000 % |
32.84/32.99 c | 85788 | 900 18000 90000 | 2147483647 81555 118 | 0.000 % |
33.24/33.32 c | 86239 | 900 18000 90000 | 2147483647 82006 118 | 0.000 % |
33.54/33.69 c | 86733 | 900 18000 90000 | 2147483647 82500 118 | 0.000 % |
33.94/34.06 c | 87276 | 900 18000 90000 | 2147483647 83043 118 | 0.000 % |
34.33/34.46 c | 87873 | 900 18000 90000 | 2147483647 83640 118 | 0.000 % |
34.83/34.92 c | 88530 | 900 18000 90000 | 2147483647 84297 118 | 0.000 % |
35.33/35.44 c | 89251 | 900 18000 90000 | 2147483647 85018 118 | 0.000 % |
35.93/36.06 c | 90043 | 900 18000 90000 | 85767 85810 118 | 0.000 % |
36.63/36.73 c | 90916 | 900 18000 90000 | 85767 76432 119 | 0.000 % |
37.24/37.32 c | 91874 | 900 18000 90000 | 85767 77390 119 | 0.000 % |
37.93/38.01 c | 92927 | 900 18000 90000 | 85767 78443 119 | 0.000 % |
37.93/38.10 c | 93027 | 900 18000 90000 | 85767 78543 119 | 0.000 % |
38.03/38.19 c | 93137 | 900 18000 90000 | 85767 78653 119 | 0.000 % |
38.13/38.29 c | 93258 | 900 18000 90000 | 85767 78774 119 | 0.000 % |
38.23/38.39 c | 93391 | 900 18000 90000 | 85767 78907 119 | 0.000 % |
38.33/38.50 c | 93540 | 900 18000 90000 | 85767 79056 119 | 0.000 % |
38.53/38.64 c | 93702 | 900 18000 90000 | 85767 79218 119 | 0.000 % |
38.63/38.77 c | 93878 | 900 18000 90000 | 85767 79394 119 | 0.000 % |
38.83/38.91 c | 94071 | 900 18000 90000 | 85767 79587 119 | 0.000 % |
38.93/39.09 c | 94283 | 900 18000 90000 | 85767 79799 119 | 0.000 % |
39.13/39.25 c | 94518 | 900 18000 90000 | 85767 80034 119 | 0.000 % |
39.33/39.44 c | 94775 | 900 18000 90000 | 85767 80291 119 | 0.000 % |
39.53/39.65 c | 95056 | 900 18000 90000 | 85767 80572 119 | 0.000 % |
39.83/39.90 c | 95366 | 900 18000 90000 | 85767 80882 119 | 0.000 % |
40.03/40.14 c | 95705 | 900 18000 90000 | 85767 81221 119 | 0.000 % |
40.23/40.39 c | 96078 | 900 18000 90000 | 85767 81594 119 | 0.000 % |
40.53/40.70 c | 96487 | 900 18000 90000 | 85767 82003 119 | 0.000 % |
40.82/40.99 c | 96938 | 900 18000 90000 | 85767 82454 119 | 0.000 % |
41.22/41.30 c | 97431 | 900 18000 90000 | 85767 82947 119 | 0.000 % |
41.52/41.68 c | 97976 | 900 18000 90000 | 85767 83492 119 | 0.000 % |
42.02/42.13 c | 98572 | 900 18000 90000 | 85767 84088 119 | 0.000 % |
42.52/42.65 c | 99227 | 900 18000 90000 | 85767 84743 119 | 0.000 % |
43.03/43.11 c | 99947 | 900 18000 90000 | 85767 85463 119 | 0.000 % |
43.63/43.70 c | 100740 | 900 18000 90000 | 85516 74839 119 | 0.000 % |
44.13/44.22 c | 101613 | 900 18000 90000 | 85516 75712 119 | 0.000 % |
44.73/44.87 c | 102572 | 900 18000 90000 | 85516 76671 119 | 0.000 % |
45.43/45.57 c | 103625 | 900 18000 90000 | 85516 77724 119 | 0.000 % |
46.23/46.34 c | 104783 | 900 18000 90000 | 85516 78882 119 | 0.000 % |
46.33/46.41 c | 104883 | 900 18000 90000 | 85516 78982 119 | 0.000 % |
46.33/46.48 c | 104994 | 900 18000 90000 | 85516 79093 119 | 0.000 % |
46.43/46.57 c | 105115 | 900 18000 90000 | 85516 79214 119 | 0.000 % |
46.53/46.66 c | 105248 | 900 18000 90000 | 85516 79347 119 | 0.000 % |
46.63/46.77 c | 105394 | 900 18000 90000 | 85516 79493 119 | 0.000 % |
46.83/46.90 c | 105555 | 900 18000 90000 | 85516 79654 119 | 0.000 % |
46.93/47.06 c | 105733 | 900 18000 90000 | 85516 79832 119 | 0.000 % |
47.13/47.22 c | 105927 | 900 18000 90000 | 85516 80026 119 | 0.000 % |
47.23/47.38 c | 106141 | 900 18000 90000 | 85516 80240 119 | 0.000 % |
47.43/47.56 c | 106375 | 900 18000 90000 | 85516 80474 119 | 0.000 % |
47.63/47.75 c | 106631 | 900 18000 90000 | 85516 80730 119 | 0.000 % |
47.83/47.95 c | 106912 | 900 18000 90000 | 85516 81011 119 | 0.000 % |
48.03/48.17 c | 107222 | 900 18000 90000 | 85516 81321 119 | 0.000 % |
48.34/48.41 c | 107561 | 900 18000 90000 | 85516 81660 119 | 0.000 % |
48.63/48.72 c | 107933 | 900 18000 90000 | 85516 82032 119 | 0.000 % |
48.93/49.01 c | 108342 | 900 18000 90000 | 85516 82441 119 | 0.000 % |
49.23/49.31 c | 108791 | 900 18000 90000 | 85516 82890 119 | 0.000 % |
49.53/49.64 c | 109286 | 900 18000 90000 | 85516 83385 119 | 0.000 % |
49.93/50.04 c | 109828 | 900 18000 90000 | 85516 83927 119 | 0.000 % |
50.43/50.51 c | 110424 | 900 18000 90000 | 84101 74027 119 | 0.000 % |
50.83/50.94 c | 111079 | 900 18000 90000 | 84101 74682 120 | 0.000 % |
51.33/51.43 c | 111800 | 900 18000 90000 | 84101 75403 119 | 0.000 % |
51.83/51.97 c | 112593 | 900 18000 90000 | 84101 76196 119 | 0.000 % |
52.43/52.58 c | 113464 | 900 18000 90000 | 84101 77067 120 | 0.000 % |
53.03/53.19 c | 114422 | 900 18000 90000 | 84101 78025 120 | 0.000 % |
53.73/53.86 c | 115476 | 900 18000 90000 | 84101 79079 120 | 0.000 % |
54.43/54.59 c | 116634 | 900 18000 90000 | 84101 80237 120 | 0.000 % |
55.23/55.38 c | 117907 | 900 18000 90000 | 84101 81510 120 | 0.000 % |
55.33/55.46 c | 118008 | 900 18000 90000 | 84101 81611 120 | 0.000 % |
55.43/55.58 c | 118120 | 900 18000 90000 | 84101 81723 120 | 0.000 % |
55.53/55.68 c | 118241 | 900 18000 90000 | 84101 81844 120 | 0.000 % |
55.63/55.79 c | 118374 | 900 18000 90000 | 84101 81977 120 | 0.000 % |
55.73/55.89 c | 118520 | 900 18000 90000 | 84101 82123 120 | 0.000 % |
55.93/56.04 c | 118680 | 900 18000 90000 | 84101 82283 120 | 0.000 % |
56.03/56.18 c | 118857 | 900 18000 90000 | 84101 82460 120 | 0.000 % |
56.23/56.33 c | 119051 | 900 18000 90000 | 84101 82654 120 | 0.000 % |
56.33/56.49 c | 119266 | 900 18000 90000 | 84101 82869 120 | 0.000 % |
56.53/56.66 c | 119499 | 900 18000 90000 | 84101 83102 120 | 0.000 % |
56.73/56.85 c | 119757 | 900 18000 90000 | 84101 83360 120 | 0.000 % |
56.93/57.05 c | 120039 | 900 18000 90000 | 83603 83642 120 | 0.000 % |
57.23/57.33 c | 120349 | 900 18000 90000 | 83603 73616 120 | 0.000 % |
57.43/57.56 c | 120688 | 900 18000 90000 | 83603 73955 120 | 0.000 % |
57.72/57.81 c | 121060 | 900 18000 90000 | 83603 74327 120 | 0.000 % |
58.02/58.12 c | 121470 | 900 18000 90000 | 83603 74737 120 | 0.000 % |
58.32/58.45 c | 121920 | 900 18000 90000 | 83603 75187 120 | 0.000 % |
58.62/58.78 c | 122416 | 900 18000 90000 | 83603 75683 120 | 0.000 % |
59.02/59.12 c | 122959 | 900 18000 90000 | 83603 76226 120 | 0.000 % |
59.42/59.52 c | 123556 | 900 18000 90000 | 83603 76823 120 | 0.000 % |
59.82/59.98 c | 124211 | 900 18000 90000 | 83603 77478 120 | 0.000 % |
60.32/60.47 c | 124933 | 900 18000 90000 | 83603 78200 120 | 0.000 % |
60.82/60.99 c | 125726 | 900 18000 90000 | 83603 78993 120 | 0.000 % |
61.42/61.54 c | 126598 | 900 18000 90000 | 83603 79865 120 | 0.000 % |
62.12/62.20 c | 127556 | 900 18000 90000 | 83603 80823 120 | 0.000 % |
62.82/62.97 c | 128610 | 900 18000 90000 | 83603 81877 120 | 0.000 % |
63.62/63.78 c | 129769 | 900 18000 90000 | 83603 83036 120 | 0.000 % |
64.52/64.68 c | 131042 | 900 18000 90000 | 83267 74144 120 | 0.000 % |
65.52/65.63 c | 132442 | 900 18000 90000 | 83267 75544 120 | 0.000 % |
65.62/65.70 c | 132542 | 900 18000 90000 | 83267 75644 120 | 0.000 % |
65.62/65.79 c | 132653 | 900 18000 90000 | 83267 75755 120 | 0.000 % |
65.72/65.88 c | 132775 | 900 18000 90000 | 83267 75877 120 | 0.000 % |
65.82/65.98 c | 132910 | 900 18000 90000 | 83267 76012 120 | 0.000 % |
65.92/66.10 c | 133056 | 900 18000 90000 | 83267 76158 120 | 0.000 % |
66.12/66.23 c | 133217 | 900 18000 90000 | 83267 76319 120 | 0.000 % |
66.22/66.36 c | 133393 | 900 18000 90000 | 83267 76495 120 | 0.000 % |
66.32/66.49 c | 133586 | 900 18000 90000 | 83267 76688 120 | 0.000 % |
66.52/66.65 c | 133798 | 900 18000 90000 | 83267 76900 120 | 0.000 % |
66.72/66.82 c | 134031 | 900 18000 90000 | 83267 77133 120 | 0.000 % |
66.92/67.02 c | 134287 | 900 18000 90000 | 83267 77389 120 | 0.000 % |
67.11/67.22 c | 134569 | 900 18000 90000 | 83267 77671 120 | 0.000 % |
67.31/67.46 c | 134879 | 900 18000 90000 | 83267 77981 120 | 0.000 % |
67.61/67.70 c | 135220 | 900 18000 90000 | 83267 78322 120 | 0.000 % |
67.81/67.97 c | 135593 | 900 18000 90000 | 83267 78695 120 | 0.000 % |
68.12/68.28 c | 136003 | 900 18000 90000 | 83267 79105 120 | 0.000 % |
68.51/68.61 c | 136452 | 900 18000 90000 | 83267 79554 120 | 0.000 % |
68.91/69.00 c | 136945 | 900 18000 90000 | 83267 80047 120 | 0.000 % |
69.22/69.37 c | 137488 | 900 18000 90000 | 83267 80590 120 | 0.000 % |
69.61/69.74 c | 138085 | 900 18000 90000 | 83267 81187 120 | 0.000 % |
70.11/70.28 c | 138741 | 900 18000 90000 | 83267 81843 120 | 0.000 % |
70.61/70.77 c | 139461 | 900 18000 90000 | 83267 82563 120 | 0.000 % |
71.21/71.36 c | 140254 | 900 18000 90000 | 83102 83356 120 | 0.000 % |
71.81/72.00 c | 141126 | 900 18000 90000 | 83102 73463 120 | 0.000 % |
72.51/72.62 c | 142084 | 900 18000 90000 | 83102 74421 120 | 0.000 % |
73.21/73.35 c | 143140 | 900 18000 90000 | 83102 75477 120 | 0.000 % |
74.01/74.14 c | 144298 | 900 18000 90000 | 83102 76635 120 | 0.000 % |
74.81/74.96 c | 145571 | 900 18000 90000 | 83102 77908 121 | 0.000 % |
75.81/75.92 c | 146973 | 900 18000 90000 | 83102 79310 121 | 0.000 % |
76.91/77.03 c | 148516 | 900 18000 90000 | 83102 80853 121 | 0.000 % |
77.01/77.14 c | 148618 | 900 18000 90000 | 83102 80955 121 | 0.000 % |
77.11/77.24 c | 148728 | 900 18000 90000 | 83102 81065 121 | 0.000 % |
77.21/77.34 c | 148849 | 900 18000 90000 | 83102 81186 121 | 0.000 % |
77.31/77.44 c | 148982 | 900 18000 90000 | 83102 81319 121 | 0.000 % |
77.41/77.54 c | 149128 | 900 18000 90000 | 83102 81465 121 | 0.000 % |
77.51/77.65 c | 149288 | 900 18000 90000 | 83102 81625 121 | 0.000 % |
77.61/77.77 c | 149464 | 900 18000 90000 | 83102 81801 121 | 0.000 % |
77.81/77.92 c | 149659 | 900 18000 90000 | 83102 81996 121 | 0.000 % |
77.91/78.10 c | 149873 | 900 18000 90000 | 83102 82210 121 | 0.000 % |
78.11/78.26 c | 150106 | 900 18000 90000 | 82338 82443 121 | 0.000 % |
78.31/78.48 c | 150365 | 900 18000 90000 | 82338 72627 121 | 0.000 % |
78.51/78.68 c | 150646 | 900 18000 90000 | 82338 72908 121 | 0.000 % |
78.71/78.87 c | 150956 | 900 18000 90000 | 82338 73218 121 | 0.000 % |
78.91/79.08 c | 151296 | 900 18000 90000 | 82338 73558 121 | 0.000 % |
79.21/79.32 c | 151672 | 900 18000 90000 | 82338 73934 121 | 0.000 % |
79.51/79.61 c | 152082 | 900 18000 90000 | 82338 74344 121 | 0.000 % |
79.81/79.92 c | 152531 | 900 18000 90000 | 82338 74793 121 | 0.000 % |
80.11/80.26 c | 153024 | 900 18000 90000 | 82338 75286 121 | 0.000 % |
80.51/80.64 c | 153566 | 900 18000 90000 | 82338 75828 121 | 0.000 % |
80.91/81.05 c | 154163 | 900 18000 90000 | 82338 76425 121 | 0.000 % |
81.31/81.48 c | 154818 | 900 18000 90000 | 82338 77080 121 | 0.000 % |
81.81/81.94 c | 155540 | 900 18000 90000 | 82338 77802 121 | 0.000 % |
82.41/82.52 c | 156332 | 900 18000 90000 | 82338 78594 121 | 0.000 % |
83.01/83.18 c | 157204 | 900 18000 90000 | 82338 79466 121 | 0.000 % |
83.71/83.82 c | 158163 | 900 18000 90000 | 82338 80425 121 | 0.000 % |
84.41/84.54 c | 159216 | 900 18000 90000 | 82338 81478 121 | 0.000 % |
85.21/85.38 c | 160374 | 900 18000 90000 | 82263 73018 121 | 0.000 % |
86.00/86.16 c | 161650 | 900 18000 90000 | 82263 74294 121 | 0.000 % |
86.90/87.04 c | 163050 | 900 18000 90000 | 82263 75694 122 | 0.000 % |
88.00/88.11 c | 164590 | 900 18000 90000 | 82263 77234 122 | 0.000 % |
89.20/89.31 c | 166284 | 900 18000 90000 | 82263 78928 122 | 0.000 % |
89.20/89.38 c | 166385 | 900 18000 90000 | 82263 79029 122 | 0.000 % |
89.30/89.47 c | 166495 | 900 18000 90000 | 82263 79139 122 | 0.000 % |
89.40/89.57 c | 166616 | 900 18000 90000 | 82263 79260 122 | 0.000 % |
89.50/89.67 c | 166752 | 900 18000 90000 | 82263 79396 122 | 0.000 % |
89.60/89.77 c | 166899 | 900 18000 90000 | 82263 79543 122 | 0.000 % |
89.70/89.89 c | 167060 | 900 18000 90000 | 82263 79704 122 | 0.000 % |
89.90/90.06 c | 167236 | 900 18000 90000 | 82263 79880 122 | 0.000 % |
90.11/90.21 c | 167430 | 900 18000 90000 | 82263 80074 122 | 0.000 % |
90.20/90.37 c | 167644 | 900 18000 90000 | 82263 80288 122 | 0.000 % |
90.40/90.53 c | 167877 | 900 18000 90000 | 82263 80521 122 | 0.000 % |
90.60/90.72 c | 168134 | 900 18000 90000 | 82263 80778 122 | 0.000 % |
90.80/90.92 c | 168415 | 900 18000 90000 | 82263 81059 122 | 0.000 % |
91.00/91.13 c | 168724 | 900 18000 90000 | 82263 81368 122 | 0.000 % |
91.21/91.37 c | 169063 | 900 18000 90000 | 82263 81707 122 | 0.000 % |
91.50/91.70 c | 169435 | 900 18000 90000 | 82263 82079 122 | 0.000 % |
91.90/92.01 c | 169845 | 900 18000 90000 | 82263 82489 122 | 0.000 % |
92.21/92.33 c | 170295 | 900 18000 90000 | 72804 73098 122 | 0.000 % |
92.50/92.66 c | 170790 | 900 18000 90000 | 72804 64935 122 | 0.000 % |
92.80/92.97 c | 171333 | 900 18000 90000 | 72804 65478 122 | 0.000 % |
93.20/93.32 c | 171931 | 900 18000 90000 | 72804 66076 122 | 0.000 % |
93.60/93.71 c | 172586 | 900 18000 90000 | 72804 66731 122 | 0.000 % |
94.00/94.18 c | 173306 | 900 18000 90000 | 72804 67451 122 | 0.000 % |
94.50/94.67 c | 174101 | 900 18000 90000 | 72804 68246 122 | 0.000 % |
95.00/95.20 c | 174972 | 900 18000 90000 | 72804 69117 122 | 0.000 % |
95.60/95.77 c | 175930 | 900 18000 90000 | 72804 70075 122 | 0.000 % |
96.20/96.38 c | 176983 | 900 18000 90000 | 72804 71128 122 | 0.000 % |
96.90/97.06 c | 178141 | 900 18000 90000 | 72804 72286 122 | 0.000 % |
97.70/97.89 c | 179414 | 900 18000 90000 | 72804 66248 122 | 0.000 % |
98.50/98.66 c | 180814 | 900 18000 90000 | 2147483647 67648 122 | 0.000 % |
99.40/99.55 c | 182355 | 900 18000 90000 | 2147483647 69189 122 | 0.000 % |
100.40/100.54 c | 184049 | 900 18000 90000 | 2147483647 70883 122 | 0.000 % |
101.60/101.78 c | 185915 | 900 18000 90000 | 2147483647 72749 122 | 0.000 % |
101.70/101.85 c | 186017 | 900 18000 90000 | 2147483647 72851 122 | 0.000 % |
101.80/101.94 c | 186128 | 900 18000 90000 | 2147483647 72962 122 | 0.000 % |
101.90/102.03 c | 186249 | 900 18000 90000 | 2147483647 73083 122 | 0.000 % |
102.00/102.13 c | 186382 | 900 18000 90000 | 2147483647 73216 122 | 0.000 % |
102.10/102.23 c | 186529 | 900 18000 90000 | 2147483647 73363 122 | 0.000 % |
102.20/102.36 c | 186689 | 900 18000 90000 | 2147483647 73523 122 | 0.000 % |
102.30/102.49 c | 186866 | 900 18000 90000 | 2147483647 73700 122 | 0.000 % |
102.50/102.63 c | 187060 | 900 18000 90000 | 2147483647 73894 122 | 0.000 % |
102.60/102.79 c | 187273 | 900 18000 90000 | 2147483647 74107 122 | 0.000 % |
102.80/102.97 c | 187507 | 900 18000 90000 | 2147483647 74341 122 | 0.000 % |
103.00/103.17 c | 187765 | 900 18000 90000 | 2147483647 74599 122 | 0.000 % |
103.20/103.36 c | 188047 | 900 18000 90000 | 2147483647 74881 122 | 0.000 % |
103.40/103.57 c | 188358 | 900 18000 90000 | 2147483647 75192 122 | 0.000 % |
103.70/103.80 c | 188697 | 900 18000 90000 | 2147483647 75531 122 | 0.000 % |
103.90/104.06 c | 189069 | 900 18000 90000 | 2147483647 75903 122 | 0.000 % |
104.20/104.36 c | 189478 | 900 18000 90000 | 2147483647 76312 122 | 0.000 % |
104.50/104.67 c | 189929 | 900 18000 90000 | 2147483647 76763 122 | 0.000 % |
104.89/105.00 c | 190423 | 900 18000 90000 | 2147483647 77257 122 | 0.000 % |
105.19/105.36 c | 190966 | 900 18000 90000 | 2147483647 77800 122 | 0.000 % |
105.59/105.73 c | 191562 | 900 18000 90000 | 2147483647 78396 122 | 0.000 % |
106.09/106.22 c | 192218 | 900 18000 90000 | 2147483647 79052 122 | 0.000 % |
106.60/106.74 c | 192938 | 900 18000 90000 | 2147483647 79772 122 | 0.000 % |
107.09/107.29 c | 193730 | 900 18000 90000 | 2147483647 80564 122 | 0.000 % |
107.70/107.86 c | 194602 | 900 18000 90000 | 2147483647 81436 122 | 0.000 % |
108.39/108.52 c | 195560 | 900 18000 90000 | 2147483647 82394 122 | 0.000 % |
109.19/109.34 c | 196613 | 900 18000 90000 | 2147483647 83447 122 | 0.000 % |
109.99/110.18 c | 197772 | 900 18000 90000 | 2147483647 84606 122 | 0.000 % |
111.00/111.12 c | 199045 | 900 18000 90000 | 2147483647 85879 122 | 0.000 % |
112.10/112.21 c | 200449 | 900 18000 90000 | 86834 76385 122 | 0.000 % |
113.10/113.23 c | 201991 | 900 18000 90000 | 86834 77927 122 | 0.000 % |
114.10/114.28 c | 203685 | 900 18000 90000 | 86834 79621 122 | 0.000 % |
115.30/115.50 c | 205549 | 900 18000 90000 | 86834 81485 122 | 0.000 % |
116.89/117.00 c | 207598 | 900 18000 90000 | 86834 83534 122 | 0.000 % |
116.89/117.09 c | 207699 | 900 18000 90000 | 86834 83635 122 | 0.000 % |
116.99/117.19 c | 207810 | 900 18000 90000 | 86834 83746 122 | 0.000 % |
117.09/117.26 c | 207931 | 900 18000 90000 | 86834 83867 122 | 0.000 % |
117.19/117.38 c | 208064 | 900 18000 90000 | 86834 84000 122 | 0.000 % |
117.39/117.52 c | 208210 | 900 18000 90000 | 86834 84146 122 | 0.000 % |
117.49/117.66 c | 208372 | 900 18000 90000 | 86834 84308 122 | 0.000 % |
117.69/117.80 c | 208548 | 900 18000 90000 | 86834 84484 122 | 0.000 % |
117.79/117.97 c | 208742 | 900 18000 90000 | 86834 84678 122 | 0.000 % |
117.99/118.14 c | 208955 | 900 18000 90000 | 86834 84891 122 | 0.000 % |
118.19/118.33 c | 209188 | 900 18000 90000 | 86834 85124 122 | 0.000 % |
118.39/118.52 c | 209445 | 900 18000 90000 | 86834 85381 122 | 0.000 % |
118.59/118.73 c | 209727 | 900 18000 90000 | 86834 85663 122 | 0.000 % |
118.79/118.97 c | 210037 | 900 18000 90000 | 85936 85973 122 | 0.000 % |
119.09/119.29 c | 210377 | 900 18000 90000 | 85936 75336 122 | 0.000 % |
119.39/119.55 c | 210750 | 900 18000 90000 | 85936 75709 122 | 0.000 % |
119.69/119.82 c | 211159 | 900 18000 90000 | 85936 76118 122 | 0.000 % |
119.99/120.11 c | 211608 | 900 18000 90000 | 85936 76567 122 | 0.000 % |
120.29/120.47 c | 212101 | 900 18000 90000 | 85936 77060 122 | 0.000 % |
120.69/120.80 c | 212644 | 900 18000 90000 | 85936 77603 122 | 0.000 % |
120.99/121.17 c | 213240 | 900 18000 90000 | 85936 78199 122 | 0.000 % |
121.39/121.57 c | 213896 | 900 18000 90000 | 85936 78855 122 | 0.000 % |
121.89/122.03 c | 214617 | 900 18000 90000 | 85936 79576 122 | 0.000 % |
122.39/122.51 c | 215409 | 900 18000 90000 | 85936 80368 122 | 0.000 % |
122.89/123.09 c | 216281 | 900 18000 90000 | 85936 81240 122 | 0.000 % |
123.59/123.73 c | 217240 | 900 18000 90000 | 85936 82199 122 | 0.000 % |
124.29/124.42 c | 218294 | 900 18000 90000 | 85936 83253 122 | 0.000 % |
125.09/125.25 c | 219453 | 900 18000 90000 | 85936 84412 122 | 0.000 % |
125.99/126.16 c | 220726 | 900 18000 90000 | 84960 75559 122 | 0.000 % |
126.89/127.00 c | 222126 | 900 18000 90000 | 84960 76959 122 | 0.000 % |
127.79/127.96 c | 223666 | 900 18000 90000 | 84960 78499 122 | 0.000 % |
128.89/129.02 c | 225361 | 900 18000 90000 | 84960 80194 122 | 0.000 % |
130.09/130.25 c | 227224 | 900 18000 90000 | 84960 82057 123 | 0.000 % |
131.49/131.60 c | 229273 | 900 18000 90000 | 84960 84106 123 | 0.000 % |
132.99/133.11 c | 231526 | 900 18000 90000 | 84833 77017 123 | 0.000 % |
133.08/133.20 c | 231626 | 900 18000 90000 | 84833 77117 123 | 0.000 % |
133.08/133.28 c | 231738 | 900 18000 90000 | 84833 77229 123 | 0.000 % |
133.18/133.38 c | 231860 | 900 18000 90000 | 84833 77351 123 | 0.000 % |
133.28/133.49 c | 231994 | 900 18000 90000 | 84833 77485 123 | 0.000 % |
133.48/133.61 c | 232141 | 900 18000 90000 | 84833 77632 123 | 0.000 % |
133.58/133.74 c | 232301 | 900 18000 90000 | 84833 77792 123 | 0.000 % |
133.68/133.86 c | 232478 | 900 18000 90000 | 84833 77969 123 | 0.000 % |
133.88/134.02 c | 232673 | 900 18000 90000 | 84833 78164 123 | 0.000 % |
133.99/134.16 c | 232885 | 900 18000 90000 | 84833 78376 123 | 0.000 % |
134.18/134.32 c | 233118 | 900 18000 90000 | 84833 78609 123 | 0.000 % |
134.38/134.51 c | 233375 | 900 18000 90000 | 84833 78866 123 | 0.000 % |
134.58/134.70 c | 233656 | 900 18000 90000 | 84833 79147 123 | 0.000 % |
134.78/134.90 c | 233965 | 900 18000 90000 | 84833 79456 123 | 0.000 % |
134.98/135.14 c | 234304 | 900 18000 90000 | 84833 79795 123 | 0.000 % |
135.19/135.39 c | 234676 | 900 18000 90000 | 84833 80167 122 | 0.000 % |
135.48/135.67 c | 235086 | 900 18000 90000 | 84833 80577 122 | 0.000 % |
135.88/136.02 c | 235536 | 900 18000 90000 | 84833 81027 122 | 0.000 % |
136.19/136.37 c | 236029 | 900 18000 90000 | 84833 81520 122 | 0.000 % |
136.58/136.75 c | 236571 | 900 18000 90000 | 84833 82062 122 | 0.000 % |
136.98/137.19 c | 237167 | 900 18000 90000 | 84833 82658 122 | 0.000 % |
137.48/137.68 c | 237822 | 900 18000 90000 | 84833 83313 122 | 0.000 % |
137.98/138.16 c | 238543 | 900 18000 90000 | 84833 84034 122 | 0.000 % |
138.58/138.77 c | 239338 | 900 18000 90000 | 84833 84829 122 | 0.000 % |
139.28/139.41 c | 240212 | 900 18000 90000 | 74550 74760 122 | 0.000 % |
139.78/140.00 c | 241173 | 900 18000 90000 | 74550 66482 122 | 0.000 % |
140.38/140.59 c | 242226 | 900 18000 90000 | 74550 67535 122 | 0.000 % |
141.08/141.23 c | 243385 | 900 18000 90000 | 74550 68694 122 | 0.000 % |
141.79/141.98 c | 244659 | 900 18000 90000 | 74550 69968 122 | 0.000 % |
142.68/142.80 c | 246059 | 900 18000 90000 | 74550 71368 122 | 0.000 % |
143.68/143.81 c | 247599 | 900 18000 90000 | 74550 72908 122 | 0.000 % |
144.78/144.93 c | 249296 | 900 18000 90000 | 74550 74605 122 | 0.000 % |
145.88/146.09 c | 251161 | 900 18000 90000 | 2147483647 69010 122 | 0.000 % |
147.18/147.33 c | 253210 | 900 18000 90000 | 2147483647 71059 122 | 0.000 % |
148.48/148.66 c | 255463 | 900 18000 90000 | 2147483647 73312 122 | 0.000 % |
149.98/150.18 c | 257943 | 900 18000 90000 | 2147483647 75792 123 | 0.000 % |
150.08/150.26 c | 258044 | 900 18000 90000 | 2147483647 75893 122 | 0.000 % |
150.18/150.36 c | 258154 | 900 18000 90000 | 2147483647 76003 122 | 0.000 % |
150.28/150.44 c | 258277 | 900 18000 90000 | 2147483647 76126 122 | 0.000 % |
150.38/150.55 c | 258410 | 900 18000 90000 | 2147483647 76259 122 | 0.000 % |
150.48/150.66 c | 258557 | 900 18000 90000 | 2147483647 76406 122 | 0.000 % |
150.58/150.79 c | 258718 | 900 18000 90000 | 2147483647 76567 122 | 0.000 % |
150.78/150.92 c | 258895 | 900 18000 90000 | 2147483647 76744 122 | 0.000 % |
150.88/151.06 c | 259089 | 900 18000 90000 | 2147483647 76938 122 | 0.000 % |
151.08/151.24 c | 259302 | 900 18000 90000 | 2147483647 77151 122 | 0.000 % |
151.28/151.40 c | 259535 | 900 18000 90000 | 2147483647 77384 122 | 0.000 % |
151.48/151.60 c | 259791 | 900 18000 90000 | 2147483647 77640 122 | 0.000 % |
151.58/151.79 c | 260073 | 900 18000 90000 | 2147483647 77922 122 | 0.000 % |
151.88/152.02 c | 260383 | 900 18000 90000 | 2147483647 78232 122 | 0.000 % |
152.08/152.25 c | 260723 | 900 18000 90000 | 2147483647 78572 122 | 0.000 % |
152.38/152.51 c | 261095 | 900 18000 90000 | 2147483647 78944 122 | 0.000 % |
152.68/152.81 c | 261506 | 900 18000 90000 | 2147483647 79355 122 | 0.000 % |
152.98/153.14 c | 261955 | 900 18000 90000 | 2147483647 79804 122 | 0.000 % |
153.38/153.50 c | 262448 | 900 18000 90000 | 2147483647 80297 122 | 0.000 % |
153.68/153.87 c | 262992 | 900 18000 90000 | 2147483647 80841 122 | 0.000 % |
154.08/154.26 c | 263589 | 900 18000 90000 | 2147483647 81438 122 | 0.000 % |
154.58/154.72 c | 264244 | 900 18000 90000 | 2147483647 82093 122 | 0.000 % |
155.07/155.22 c | 264964 | 900 18000 90000 | 2147483647 82813 122 | 0.000 % |
155.57/155.76 c | 265756 | 900 18000 90000 | 2147483647 83605 122 | 0.000 % |
156.17/156.37 c | 266630 | 900 18000 90000 | 2147483647 84479 122 | 0.000 % |
156.87/157.05 c | 267588 | 900 18000 90000 | 2147483647 85437 122 | 0.000 % |
157.67/157.85 c | 268641 | 900 18000 90000 | 2147483647 86490 122 | 0.000 % |
158.57/158.71 c | 269801 | 900 18000 90000 | 2147483647 87650 123 | 0.000 % |
159.38/159.60 c | 271074 | 900 18000 90000 | 87850 77628 123 | 0.000 % |
160.37/160.58 c | 272475 | 900 18000 90000 | 87850 79029 123 | 0.000 % |
161.37/161.59 c | 274015 | 900 18000 90000 | 87850 80569 123 | 0.000 % |
162.67/162.82 c | 275709 | 900 18000 90000 | 87850 82263 123 | 0.000 % |
163.87/164.00 c | 277572 | 900 18000 90000 | 87850 84126 123 | 0.000 % |
165.37/165.50 c | 279623 | 900 18000 90000 | 87850 86177 123 | 0.000 % |
166.87/167.03 c | 281876 | 900 18000 90000 | 86554 76519 122 | 0.000 % |
168.47/168.63 c | 284354 | 900 18000 90000 | 86554 78997 123 | 0.000 % |
170.27/170.47 c | 287081 | 900 18000 90000 | 86554 81724 123 | 0.000 % |
170.37/170.56 c | 287181 | 900 18000 90000 | 86554 81824 123 | 0.000 % |
170.47/170.65 c | 287292 | 900 18000 90000 | 86554 81935 123 | 0.000 % |
170.57/170.75 c | 287414 | 900 18000 90000 | 86554 82057 123 | 0.000 % |
170.67/170.86 c | 287547 | 900 18000 90000 | 86554 82190 123 | 0.000 % |
170.77/170.98 c | 287693 | 900 18000 90000 | 86554 82336 123 | 0.000 % |
170.97/171.10 c | 287854 | 900 18000 90000 | 86554 82497 123 | 0.000 % |
171.07/171.25 c | 288030 | 900 18000 90000 | 86554 82673 123 | 0.000 % |
171.27/171.42 c | 288224 | 900 18000 90000 | 86554 82867 123 | 0.000 % |
171.37/171.58 c | 288437 | 900 18000 90000 | 86554 83080 123 | 0.000 % |
171.57/171.76 c | 288671 | 900 18000 90000 | 86554 83314 123 | 0.000 % |
171.77/171.96 c | 288927 | 900 18000 90000 | 86554 83570 123 | 0.000 % |
171.97/172.18 c | 289209 | 900 18000 90000 | 86554 83852 123 | 0.000 % |
172.17/172.39 c | 289518 | 900 18000 90000 | 86554 84161 123 | 0.000 % |
172.47/172.69 c | 289857 | 900 18000 90000 | 86554 84500 122 | 0.000 % |
172.76/172.98 c | 290229 | 900 18000 90000 | 84643 84872 122 | 0.000 % |
173.16/173.30 c | 290638 | 900 18000 90000 | 84643 74127 123 | 0.000 % |
173.36/173.59 c | 291088 | 900 18000 90000 | 84643 74577 123 | 0.000 % |
173.76/173.93 c | 291581 | 900 18000 90000 | 84643 75070 123 | 0.000 % |
174.16/174.32 c | 292125 | 900 18000 90000 | 84643 75614 123 | 0.000 % |
174.46/174.69 c | 292721 | 900 18000 90000 | 84643 76210 123 | 0.000 % |
174.96/175.10 c | 293376 | 900 18000 90000 | 84643 76865 122 | 0.000 % |
175.46/175.62 c | 294096 | 900 18000 90000 | 84643 77585 122 | 0.000 % |
175.96/176.16 c | 294889 | 900 18000 90000 | 84643 78378 122 | 0.000 % |
176.57/176.70 c | 295760 | 900 18000 90000 | 84643 79249 122 | 0.000 % |
177.07/177.29 c | 296718 | 900 18000 90000 | 84643 80207 122 | 0.000 % |
177.76/177.99 c | 297771 | 900 18000 90000 | 84643 81260 122 | 0.000 % |
178.56/178.76 c | 298930 | 900 18000 90000 | 84643 82419 122 | 0.000 % |
179.46/179.64 c | 300204 | 900 18000 90000 | 83489 83693 123 | 0.000 % |
180.36/180.55 c | 301604 | 900 18000 90000 | 83489 75057 122 | 0.000 % |
181.37/181.53 c | 303144 | 900 18000 90000 | 83489 76597 122 | 0.000 % |
182.37/182.60 c | 304838 | 900 18000 90000 | 83489 78291 122 | 0.000 % |
183.66/183.85 c | 306701 | 900 18000 90000 | 83489 80154 122 | 0.000 % |
185.06/185.21 c | 308753 | 900 18000 90000 | 83489 82206 122 | 0.000 % |
186.46/186.69 c | 311007 | 900 18000 90000 | 83453 75678 123 | 0.000 % |
188.16/188.35 c | 313485 | 900 18000 90000 | 83453 78156 123 | 0.000 % |
189.96/190.16 c | 316210 | 900 18000 90000 | 83453 80881 123 | 0.000 % |
192.06/192.23 c | 319207 | 900 18000 90000 | 83453 73992 123 | 0.000 % |
192.16/192.30 c | 319310 | 900 18000 90000 | 83453 74095 123 | 0.000 % |
192.16/192.38 c | 319420 | 900 18000 90000 | 83453 74205 123 | 0.000 % |
192.26/192.48 c | 319541 | 900 18000 90000 | 83453 74326 123 | 0.000 % |
192.36/192.58 c | 319675 | 900 18000 90000 | 83453 74460 123 | 0.000 % |
192.46/192.69 c | 319821 | 900 18000 90000 | 83453 74606 123 | 0.000 % |
192.66/192.80 c | 319982 | 900 18000 90000 | 83453 74767 123 | 0.000 % |
192.76/192.92 c | 320158 | 900 18000 90000 | 74785 74943 123 | 0.000 % |
192.86/193.07 c | 320352 | 900 18000 90000 | 74785 66302 123 | 0.000 % |
193.06/193.20 c | 320564 | 900 18000 90000 | 74785 66514 123 | 0.000 % |
193.16/193.37 c | 320798 | 900 18000 90000 | 74785 66748 123 | 0.000 % |
193.36/193.52 c | 321055 | 900 18000 90000 | 74785 67005 123 | 0.000 % |
193.46/193.70 c | 321336 | 900 18000 90000 | 74785 67286 123 | 0.000 % |
193.76/193.91 c | 321645 | 900 18000 90000 | 74785 67595 123 | 0.000 % |
193.96/194.13 c | 321984 | 900 18000 90000 | 74785 67934 123 | 0.000 % |
194.16/194.37 c | 322357 | 900 18000 90000 | 74785 68307 123 | 0.000 % |
194.46/194.62 c | 322766 | 900 18000 90000 | 74785 68716 123 | 0.000 % |
194.66/194.88 c | 323217 | 900 18000 90000 | 74785 69167 123 | 0.000 % |
195.06/195.20 c | 323710 | 900 18000 90000 | 74785 69660 123 | 0.000 % |
195.36/195.52 c | 324252 | 900 18000 90000 | 74785 70202 123 | 0.000 % |
195.66/195.86 c | 324848 | 900 18000 90000 | 74785 70798 123 | 0.000 % |
196.06/196.24 c | 325504 | 900 18000 90000 | 74785 71454 123 | 0.000 % |
196.55/196.72 c | 326224 | 900 18000 90000 | 74785 72174 123 | 0.000 % |
197.05/197.24 c | 327016 | 900 18000 90000 | 74785 72966 123 | 0.000 % |
197.65/197.80 c | 327887 | 900 18000 90000 | 74785 73837 123 | 0.000 % |
198.25/198.43 c | 328846 | 900 18000 90000 | 74785 74796 123 | 0.000 % |
198.96/199.11 c | 329900 | 900 18000 90000 | 74785 68371 123 | 0.000 % |
199.55/199.79 c | 331059 | 900 18000 90000 | 2147483647 69530 123 | 0.000 % |
200.35/200.58 c | 332333 | 900 18000 90000 | 2147483647 70804 123 | 0.000 % |
201.25/201.46 c | 333736 | 900 18000 90000 | 2147483647 72207 123 | 0.000 % |
202.26/202.43 c | 335276 | 900 18000 90000 | 2147483647 73747 123 | 0.000 % |
203.25/203.46 c | 336970 | 900 18000 90000 | 2147483647 75441 123 | 0.000 % |
204.35/204.55 c | 338833 | 900 18000 90000 | 2147483647 77304 123 | 0.000 % |
205.65/205.82 c | 340884 | 900 18000 90000 | 2147483647 79355 124 | 0.000 % |
207.15/207.34 c | 343137 | 900 18000 90000 | 2147483647 81608 124 | 0.000 % |
208.75/208.96 c | 345618 | 900 18000 90000 | 2147483647 84089 124 | 0.000 % |
210.65/210.85 c | 348344 | 900 18000 90000 | 2147483647 86815 124 | 0.000 % |
212.84/213.02 c | 351342 | 900 18000 90000 | 88471 79606 124 | 0.000 % |
214.94/215.17 c | 354640 | 900 18000 90000 | 88471 82904 124 | 0.000 % |
215.04/215.23 c | 354740 | 900 18000 90000 | 88471 83004 124 | 0.000 % |
215.14/215.32 c | 354850 | 900 18000 90000 | 88471 83114 124 | 0.000 % |
215.24/215.41 c | 354971 | 900 18000 90000 | 88471 83235 124 | 0.000 % |
215.35/215.52 c | 355104 | 900 18000 90000 | 88471 83368 124 | 0.000 % |
215.45/215.63 c | 355250 | 900 18000 90000 | 88471 83514 124 | 0.000 % |
215.54/215.76 c | 355410 | 900 18000 90000 | 88471 83674 124 | 0.000 % |
215.74/215.91 c | 355588 | 900 18000 90000 | 88471 83852 124 | 0.000 % |
215.94/216.10 c | 355782 | 900 18000 90000 | 88471 84046 124 | 0.000 % |
216.04/216.26 c | 355995 | 900 18000 90000 | 88471 84259 124 | 0.000 % |
216.24/216.47 c | 356228 | 900 18000 90000 | 88471 84492 124 | 0.000 % |
216.45/216.65 c | 356484 | 900 18000 90000 | 88471 84748 124 | 0.000 % |
216.64/216.86 c | 356765 | 900 18000 90000 | 88471 85029 124 | 0.000 % |
216.84/217.08 c | 357074 | 900 18000 90000 | 88471 85338 124 | 0.000 % |
217.14/217.37 c | 357413 | 900 18000 90000 | 88471 85677 124 | 0.000 % |
217.44/217.65 c | 357785 | 900 18000 90000 | 88471 86049 124 | 0.000 % |
217.74/217.96 c | 358195 | 900 18000 90000 | 88471 86459 124 | 0.000 % |
218.14/218.31 c | 358646 | 900 18000 90000 | 88471 86910 124 | 0.000 % |
218.44/218.68 c | 359139 | 900 18000 90000 | 88471 87403 124 | 0.000 % |
218.84/219.05 c | 359681 | 900 18000 90000 | 88471 87945 124 | 0.000 % |
219.34/219.52 c | 360277 | 900 18000 90000 | 88266 88541 124 | 0.000 % |
219.75/219.98 c | 360932 | 900 18000 90000 | 88266 77810 124 | 0.000 % |
220.24/220.45 c | 361653 | 900 18000 90000 | 88266 78531 124 | 0.000 % |
220.74/220.98 c | 362447 | 900 18000 90000 | 88266 79325 124 | 0.000 % |
221.34/221.54 c | 363319 | 900 18000 90000 | 88266 80197 124 | 0.000 % |
221.94/222.16 c | 364278 | 900 18000 90000 | 88266 81156 124 | 0.000 % |
222.64/222.84 c | 365331 | 900 18000 90000 | 88266 82209 124 | 0.000 % |
223.44/223.64 c | 366489 | 900 18000 90000 | 88266 83367 124 | 0.000 % |
224.34/224.50 c | 367762 | 900 18000 90000 | 88266 84640 124 | 0.000 % |
225.24/225.46 c | 369162 | 900 18000 90000 | 88266 86040 124 | 0.000 % |
226.34/226.58 c | 370703 | 900 18000 90000 | 86880 76836 125 | 0.000 % |
227.44/227.63 c | 372399 | 900 18000 90000 | 86880 78532 125 | 0.000 % |
228.64/228.85 c | 374265 | 900 18000 90000 | 86880 80398 125 | 0.000 % |
229.94/230.16 c | 376314 | 900 18000 90000 | 86880 82447 125 | 0.000 % |
231.54/231.76 c | 378567 | 900 18000 90000 | 86880 84700 125 | 0.000 % |
233.34/233.57 c | 381045 | 900 18000 90000 | 86135 76809 125 | 0.000 % |
235.04/235.30 c | 383770 | 900 18000 90000 | 86135 79534 125 | 0.000 % |
236.94/237.19 c | 386767 | 900 18000 90000 | 86135 82531 125 | 0.000 % |
239.24/239.40 c | 390065 | 900 18000 90000 | 85765 85829 125 | 0.000 % |
241.64/241.80 c | 393690 | 900 18000 90000 | 85765 79524 125 | 0.000 % |
241.64/241.88 c | 393791 | 900 18000 90000 | 85765 79625 125 | 0.000 % |
241.74/241.95 c | 393901 | 900 18000 90000 | 85765 79735 125 | 0.000 % |
241.84/242.03 c | 394023 | 900 18000 90000 | 85765 79857 125 | 0.000 % |
241.93/242.15 c | 394157 | 900 18000 90000 | 85765 79991 125 | 0.000 % |
242.03/242.28 c | 394303 | 900 18000 90000 | 85765 80137 125 | 0.000 % |
242.23/242.40 c | 394463 | 900 18000 90000 | 85765 80297 125 | 0.000 % |
242.33/242.54 c | 394639 | 900 18000 90000 | 85765 80473 125 | 0.000 % |
242.43/242.67 c | 394835 | 900 18000 90000 | 85765 80669 125 | 0.000 % |
242.63/242.81 c | 395047 | 900 18000 90000 | 85765 80881 125 | 0.000 % |
242.84/243.02 c | 395280 | 900 18000 90000 | 85765 81114 125 | 0.000 % |
243.03/243.22 c | 395538 | 900 18000 90000 | 85765 81372 125 | 0.000 % |
243.23/243.44 c | 395819 | 900 18000 90000 | 85765 81653 125 | 0.000 % |
243.43/243.69 c | 396131 | 900 18000 90000 | 85765 81965 125 | 0.000 % |
243.73/243.94 c | 396470 | 900 18000 90000 | 85765 82304 125 | 0.000 % |
244.03/244.22 c | 396844 | 900 18000 90000 | 85765 82678 125 | 0.000 % |
244.33/244.53 c | 397253 | 900 18000 90000 | 85765 83087 124 | 0.000 % |
244.63/244.83 c | 397704 | 900 18000 90000 | 85765 83538 124 | 0.000 % |
244.93/245.17 c | 398197 | 900 18000 90000 | 85765 84031 124 | 0.000 % |
245.33/245.57 c | 398740 | 900 18000 90000 | 85765 84574 124 | 0.000 % |
245.73/245.99 c | 399337 | 900 18000 90000 | 85765 85171 124 | 0.000 % |
246.23/246.46 c | 399997 | 900 18000 90000 | 85765 85831 124 | 0.000 % |
246.73/246.96 c | 400719 | 900 18000 90000 | 74996 66429 125 | 0.000 % |
247.23/247.42 c | 401515 | 900 18000 90000 | 74996 67225 125 | 0.000 % |
247.73/247.97 c | 402387 | 900 18000 90000 | 74996 68097 125 | 0.000 % |
248.23/248.49 c | 403345 | 900 18000 90000 | 74996 69055 125 | 0.000 % |
248.93/249.10 c | 404400 | 900 18000 90000 | 74996 70110 124 | 0.000 % |
249.53/249.79 c | 405559 | 900 18000 90000 | 74996 71269 125 | 0.000 % |
250.33/250.57 c | 406833 | 900 18000 90000 | 74996 72543 125 | 0.000 % |
251.23/251.41 c | 408233 | 900 18000 90000 | 74996 73943 125 | 0.000 % |
252.23/252.43 c | 409773 | 900 18000 90000 | 74996 67953 124 | 0.000 % |
253.23/253.45 c | 411467 | 900 18000 90000 | 2147483647 69647 124 | 0.000 % |
254.43/254.63 c | 413330 | 900 18000 90000 | 2147483647 71510 124 | 0.000 % |
255.63/255.88 c | 415379 | 900 18000 90000 | 2147483647 73559 124 | 0.000 % |
257.03/257.29 c | 417633 | 900 18000 90000 | 2147483647 75813 124 | 0.000 % |
258.63/258.87 c | 420112 | 900 18000 90000 | 2147483647 78292 124 | 0.000 % |
260.43/260.63 c | 422838 | 900 18000 90000 | 2147483647 81018 124 | 0.000 % |
262.53/262.73 c | 425837 | 900 18000 90000 | 2147483647 84017 124 | 0.000 % |
264.83/265.08 c | 429133 | 900 18000 90000 | 2147483647 87313 124 | 0.000 % |
267.42/267.66 c | 432758 | 900 18000 90000 | 88182 80632 124 | 0.000 % |
270.22/270.40 c | 436747 | 900 18000 90000 | 88182 84621 124 | 0.000 % |
270.22/270.47 c | 436847 | 900 18000 90000 | 88182 84721 124 | 0.000 % |
270.32/270.56 c | 436957 | 900 18000 90000 | 88182 84831 124 | 0.000 % |
270.43/270.66 c | 437081 | 900 18000 90000 | 88182 84955 124 | 0.000 % |
270.52/270.79 c | 437214 | 900 18000 90000 | 88182 85088 124 | 0.000 % |
270.72/270.91 c | 437360 | 900 18000 90000 | 88182 85234 124 | 0.000 % |
270.82/271.04 c | 437520 | 900 18000 90000 | 88182 85394 124 | 0.000 % |
270.93/271.19 c | 437696 | 900 18000 90000 | 88182 85570 124 | 0.000 % |
271.13/271.35 c | 437889 | 900 18000 90000 | 88182 85763 124 | 0.000 % |
271.33/271.53 c | 438102 | 900 18000 90000 | 88182 85976 124 | 0.000 % |
271.53/271.72 c | 438336 | 900 18000 90000 | 88182 86210 124 | 0.000 % |
271.73/271.92 c | 438592 | 900 18000 90000 | 88182 86466 124 | 0.000 % |
271.93/272.16 c | 438873 | 900 18000 90000 | 88182 86747 124 | 0.000 % |
272.13/272.39 c | 439183 | 900 18000 90000 | 88182 87057 124 | 0.000 % |
272.43/272.66 c | 439522 | 900 18000 90000 | 88182 87396 124 | 0.000 % |
272.73/272.96 c | 439896 | 900 18000 90000 | 88182 87770 124 | 0.000 % |
273.13/273.30 c | 440306 | 900 18000 90000 | 87875 88180 124 | 0.000 % |
273.43/273.67 c | 440756 | 900 18000 90000 | 87875 76938 124 | 0.000 % |
273.83/274.00 c | 441249 | 900 18000 90000 | 87875 77431 124 | 0.000 % |
274.13/274.36 c | 441793 | 900 18000 90000 | 87875 77975 124 | 0.000 % |
274.53/274.75 c | 442389 | 900 18000 90000 | 87875 78571 124 | 0.000 % |
274.93/275.17 c | 443044 | 900 18000 90000 | 87875 79226 124 | 0.000 % |
275.53/275.72 c | 443764 | 900 18000 90000 | 87875 79946 124 | 0.000 % |
276.03/276.25 c | 444556 | 900 18000 90000 | 87875 80738 124 | 0.000 % |
276.63/276.88 c | 445428 | 900 18000 90000 | 87875 81610 124 | 0.000 % |
277.33/277.57 c | 446386 | 900 18000 90000 | 87875 82568 124 | 0.000 % |
278.13/278.34 c | 447441 | 900 18000 90000 | 87875 83623 124 | 0.000 % |
279.03/279.20 c | 448600 | 900 18000 90000 | 87875 84782 124 | 0.000 % |
279.93/280.14 c | 449874 | 900 18000 90000 | 87875 86056 124 | 0.000 % |
280.93/281.13 c | 451274 | 900 18000 90000 | 86185 75500 124 | 0.000 % |
281.83/282.09 c | 452815 | 900 18000 90000 | 86185 77041 123 | 0.000 % |
283.02/283.22 c | 454510 | 900 18000 90000 | 86185 78736 124 | 0.000 % |
284.32/284.51 c | 456374 | 900 18000 90000 | 86185 80600 124 | 0.000 % |
285.83/286.00 c | 458425 | 900 18000 90000 | 86185 82651 124 | 0.000 % |
287.42/287.64 c | 460678 | 900 18000 90000 | 84227 73904 124 | 0.000 % |
288.92/289.20 c | 463156 | 900 18000 90000 | 84227 76382 124 | 0.000 % |
290.72/290.91 c | 465885 | 900 18000 90000 | 84227 79111 124 | 0.000 % |
292.62/292.83 c | 468884 | 900 18000 90000 | 84227 82110 125 | 0.000 % |
294.82/295.01 c | 472181 | 900 18000 90000 | 83227 76265 125 | 0.000 % |
297.12/297.32 c | 475807 | 900 18000 90000 | 83227 79891 125 | 0.000 % |
299.92/300.12 c | 479794 | 900 18000 90000 | 83227 74788 126 | 0.000 % |
302.62/302.83 c | 484179 | 900 18000 90000 | 74994 70990 127 | 0.000 % |
302.62/302.89 c | 484280 | 900 18000 90000 | 74994 71091 127 | 0.000 % |
302.72/302.97 c | 484392 | 900 18000 90000 | 74994 71203 127 | 0.000 % |
302.82/303.05 c | 484513 | 900 18000 90000 | 74994 71324 126 | 0.000 % |
302.92/303.16 c | 484648 | 900 18000 90000 | 74994 71459 126 | 0.000 % |
303.02/303.25 c | 484794 | 900 18000 90000 | 74994 71605 126 | 0.000 % |
303.12/303.36 c | 484954 | 900 18000 90000 | 74994 71765 126 | 0.000 % |
303.22/303.48 c | 485131 | 900 18000 90000 | 74994 71942 126 | 0.000 % |
303.42/303.61 c | 485327 | 900 18000 90000 | 74994 72138 126 | 0.000 % |
303.52/303.76 c | 485540 | 900 18000 90000 | 74994 72351 126 | 0.000 % |
303.72/303.94 c | 485773 | 900 18000 90000 | 74994 72584 126 | 0.000 % |
303.92/304.11 c | 486031 | 900 18000 90000 | 74994 72842 126 | 0.000 % |
304.12/304.31 c | 486313 | 900 18000 90000 | 74994 73124 126 | 0.000 % |
304.32/304.52 c | 486623 | 900 18000 90000 | 74994 73434 126 | 0.000 % |
304.52/304.74 c | 486962 | 900 18000 90000 | 74994 73773 126 | 0.000 % |
304.72/304.98 c | 487334 | 900 18000 90000 | 74994 74145 126 | 0.000 % |
305.02/305.27 c | 487745 | 900 18000 90000 | 74994 74556 126 | 0.000 % |
305.32/305.56 c | 488194 | 900 18000 90000 | 74994 75005 126 | 0.000 % |
305.72/305.91 c | 488687 | 900 18000 90000 | 74994 67998 126 | 0.000 % |
306.02/306.26 c | 489229 | 900 18000 90000 | 74994 68540 126 | 0.000 % |
306.42/306.62 c | 489827 | 900 18000 90000 | 74994 69138 126 | 0.000 % |
306.82/307.01 c | 490482 | 900 18000 90000 | 2147483647 69793 126 | 0.000 % |
307.22/307.48 c | 491202 | 900 18000 90000 | 2147483647 70513 126 | 0.000 % |
307.72/307.95 c | 491995 | 900 18000 90000 | 2147483647 71306 126 | 0.000 % |
308.22/308.47 c | 492867 | 900 18000 90000 | 2147483647 72178 126 | 0.000 % |
308.82/309.10 c | 493826 | 900 18000 90000 | 2147483647 73137 126 | 0.000 % |
309.51/309.77 c | 494880 | 900 18000 90000 | 2147483647 74191 126 | 0.000 % |
310.31/310.50 c | 496038 | 900 18000 90000 | 2147483647 75349 126 | 0.000 % |
311.12/311.35 c | 497311 | 900 18000 90000 | 2147483647 76622 126 | 0.000 % |
312.01/312.26 c | 498712 | 900 18000 90000 | 2147483647 78023 126 | 0.000 % |
313.01/313.26 c | 500253 | 900 18000 90000 | 2147483647 79564 126 | 0.000 % |
314.21/314.40 c | 501947 | 900 18000 90000 | 2147483647 81258 126 | 0.000 % |
315.42/315.68 c | 503810 | 900 18000 90000 | 2147483647 83121 126 | 0.000 % |
316.91/317.11 c | 505860 | 900 18000 90000 | 2147483647 85171 126 | 0.000 % |
318.51/318.77 c | 508113 | 900 18000 90000 | 2147483647 87424 126 | 0.000 % |
320.31/320.52 c | 510592 | 900 18000 90000 | 89311 78741 126 | 0.000 % |
322.11/322.38 c | 513317 | 900 18000 90000 | 89311 81466 126 | 0.000 % |
324.21/324.40 c | 516317 | 900 18000 90000 | 89311 84466 126 | 0.000 % |
326.51/326.74 c | 519613 | 900 18000 90000 | 89311 87762 126 | 0.000 % |
329.11/329.35 c | 523238 | 900 18000 90000 | 88149 79391 127 | 0.000 % |
331.91/332.13 c | 527225 | 900 18000 90000 | 88149 83378 127 | 0.000 % |
335.01/335.24 c | 531611 | 900 18000 90000 | 86153 76510 128 | 0.000 % |
338.20/338.49 c | 536435 | 900 18000 90000 | 86153 81334 128 | 0.000 % |
338.30/338.56 c | 536537 | 900 18000 90000 | 86153 81436 128 | 0.000 % |
338.40/338.65 c | 536647 | 900 18000 90000 | 86153 81546 128 | 0.000 % |
338.51/338.75 c | 536768 | 900 18000 90000 | 86153 81667 128 | 0.000 % |
338.61/338.85 c | 536902 | 900 18000 90000 | 86153 81801 128 | 0.000 % |
338.70/338.96 c | 537048 | 900 18000 90000 | 86153 81947 128 | 0.000 % |
338.90/339.12 c | 537209 | 900 18000 90000 | 86153 82108 128 | 0.000 % |
339.00/339.24 c | 537385 | 900 18000 90000 | 86153 82284 128 | 0.000 % |
339.10/339.39 c | 537579 | 900 18000 90000 | 86153 82478 128 | 0.000 % |
339.30/339.57 c | 537791 | 900 18000 90000 | 86153 82690 128 | 0.000 % |
339.50/339.74 c | 538027 | 900 18000 90000 | 86153 82926 128 | 0.000 % |
339.71/339.96 c | 538283 | 900 18000 90000 | 86153 83182 128 | 0.000 % |
339.90/340.18 c | 538564 | 900 18000 90000 | 86153 83463 128 | 0.000 % |
340.20/340.44 c | 538874 | 900 18000 90000 | 86153 83773 127 | 0.000 % |
340.50/340.70 c | 539215 | 900 18000 90000 | 86153 84114 128 | 0.000 % |
340.71/341.00 c | 539587 | 900 18000 90000 | 86153 84486 128 | 0.000 % |
341.10/341.33 c | 539999 | 900 18000 90000 | 86153 84898 127 | 0.000 % |
341.40/341.68 c | 540450 | 900 18000 90000 | 84899 73982 127 | 0.000 % |
341.81/342.00 c | 540943 | 900 18000 90000 | 84899 74475 127 | 0.000 % |
342.10/342.35 c | 541486 | 900 18000 90000 | 84899 75018 127 | 0.000 % |
342.50/342.73 c | 542082 | 900 18000 90000 | 84899 75614 127 | 0.000 % |
342.91/343.17 c | 542738 | 900 18000 90000 | 84899 76270 127 | 0.000 % |
343.40/343.63 c | 543459 | 900 18000 90000 | 84899 76991 127 | 0.000 % |
343.90/344.15 c | 544252 | 900 18000 90000 | 84899 77784 127 | 0.000 % |
344.50/344.72 c | 545123 | 900 18000 90000 | 84899 78655 127 | 0.000 % |
345.10/345.37 c | 546081 | 900 18000 90000 | 84899 79613 127 | 0.000 % |
345.90/346.10 c | 547135 | 900 18000 90000 | 84899 80667 127 | 0.000 % |
346.70/346.90 c | 548294 | 900 18000 90000 | 84899 81826 127 | 0.000 % |
347.50/347.79 c | 549568 | 900 18000 90000 | 84899 83100 127 | 0.000 % |
348.60/348.81 c | 550969 | 900 18000 90000 | 83534 73961 126 | 0.000 % |
349.50/349.72 c | 552510 | 900 18000 90000 | 83534 75502 126 | 0.000 % |
350.60/350.82 c | 554204 | 900 18000 90000 | 83534 77196 126 | 0.000 % |
351.90/352.10 c | 556071 | 900 18000 90000 | 83534 79063 126 | 0.000 % |
353.30/353.54 c | 558123 | 900 18000 90000 | 83534 81115 126 | 0.000 % |
354.80/355.07 c | 560376 | 900 18000 90000 | 82992 73754 126 | 0.000 % |
356.40/356.63 c | 562854 | 900 18000 90000 | 82992 76232 126 | 0.000 % |
358.19/358.44 c | 565581 | 900 18000 90000 | 82992 78959 126 | 0.000 % |
360.39/360.63 c | 568578 | 900 18000 90000 | 82992 81956 126 | 0.000 % |
362.49/362.79 c | 571875 | 900 18000 90000 | 74235 67965 126 | 0.000 % |
364.59/364.84 c | 575500 | 900 18000 90000 | 74235 71590 126 | 0.000 % |
366.99/367.27 c | 579487 | 900 18000 90000 | 74235 68123 126 | 0.000 % |
369.79/370.00 c | 583873 | 900 18000 90000 | 2147483647 72509 127 | 0.000 % |
372.99/373.23 c | 588696 | 900 18000 90000 | 2147483647 77332 128 | 0.000 % |
376.59/376.86 c | 594002 | 900 18000 90000 | 2147483647 82638 128 | 0.000 % |
376.69/376.95 c | 594102 | 900 18000 90000 | 2147483647 82738 128 | 0.000 % |
376.79/377.05 c | 594215 | 900 18000 90000 | 2147483647 82851 128 | 0.000 % |
376.89/377.14 c | 594336 | 900 18000 90000 | 2147483647 82972 128 | 0.000 % |
376.99/377.25 c | 594471 | 900 18000 90000 | 2147483647 83107 128 | 0.000 % |
377.09/377.37 c | 594617 | 900 18000 90000 | 2147483647 83253 128 | 0.000 % |
377.19/377.50 c | 594777 | 900 18000 90000 | 2147483647 83413 128 | 0.000 % |
377.39/377.64 c | 594953 | 900 18000 90000 | 2147483647 83589 128 | 0.000 % |
377.59/377.80 c | 595147 | 900 18000 90000 | 2147483647 83783 128 | 0.000 % |
377.69/377.95 c | 595359 | 900 18000 90000 | 2147483647 83995 128 | 0.000 % |
377.89/378.13 c | 595592 | 900 18000 90000 | 2147483647 84228 128 | 0.000 % |
378.09/378.36 c | 595848 | 900 18000 90000 | 2147483647 84484 128 | 0.000 % |
378.29/378.56 c | 596129 | 900 18000 90000 | 2147483647 84765 128 | 0.000 % |
378.59/378.82 c | 596439 | 900 18000 90000 | 2147483647 85075 128 | 0.000 % |
378.79/379.08 c | 596779 | 900 18000 90000 | 2147483647 85415 128 | 0.000 % |
379.09/379.36 c | 597154 | 900 18000 90000 | 2147483647 85790 128 | 0.000 % |
379.39/379.65 c | 597564 | 900 18000 90000 | 2147483647 86200 128 | 0.000 % |
379.79/380.03 c | 598014 | 900 18000 90000 | 2147483647 86650 128 | 0.000 % |
380.19/380.45 c | 598507 | 900 18000 90000 | 2147483647 87143 128 | 0.000 % |
380.69/380.90 c | 599050 | 900 18000 90000 | 2147483647 87686 128 | 0.000 % |
381.09/381.39 c | 599647 | 900 18000 90000 | 2147483647 88283 127 | 0.000 % |
381.69/381.93 c | 600305 | 900 18000 90000 | 88636 88941 127 | 0.000 % |
382.19/382.47 c | 601027 | 900 18000 90000 | 88636 77529 127 | 0.000 % |
382.78/383.01 c | 601821 | 900 18000 90000 | 88636 78323 127 | 0.000 % |
383.28/383.56 c | 602692 | 900 18000 90000 | 88636 79194 127 | 0.000 % |
383.98/384.20 c | 603650 | 900 18000 90000 | 88636 80152 127 | 0.000 % |
384.58/384.88 c | 604703 | 900 18000 90000 | 88636 81205 127 | 0.000 % |
385.38/385.64 c | 605863 | 900 18000 90000 | 88636 82365 127 | 0.000 % |
386.28/386.52 c | 607138 | 900 18000 90000 | 88636 83640 127 | 0.000 % |
387.28/387.54 c | 608539 | 900 18000 90000 | 88636 85041 127 | 0.000 % |
388.48/388.73 c | 610079 | 900 18000 90000 | 86502 86581 127 | 0.000 % |
389.68/389.90 c | 611774 | 900 18000 90000 | 86502 77462 126 | 0.000 % |
390.98/391.21 c | 613637 | 900 18000 90000 | 86502 79325 126 | 0.000 % |
392.38/392.64 c | 615687 | 900 18000 90000 | 86502 81375 126 | 0.000 % |
393.98/394.21 c | 617941 | 900 18000 90000 | 86502 83629 127 | 0.000 % |
395.78/396.03 c | 620419 | 900 18000 90000 | 85689 75678 128 | 0.000 % |
397.48/397.77 c | 623144 | 900 18000 90000 | 85689 78403 128 | 0.000 % |
399.48/399.76 c | 626142 | 900 18000 90000 | 85689 81401 128 | 0.000 % |
401.78/402.04 c | 629440 | 900 18000 90000 | 85689 84699 128 | 0.000 % |
404.28/404.58 c | 633066 | 900 18000 90000 | 85260 78717 128 | 0.000 % |
407.08/407.33 c | 637055 | 900 18000 90000 | 85260 82706 128 | 0.000 % |
410.08/410.39 c | 641440 | 900 18000 90000 | 74623 66446 128 | 0.000 % |
413.07/413.34 c | 646264 | 900 18000 90000 | 74623 71270 128 | 0.000 % |
416.37/416.62 c | 651569 | 900 18000 90000 | 2147483647 69082 128 | 0.000 % |
419.97/420.20 c | 657407 | 900 18000 90000 | 2147483647 74920 129 | 0.000 % |
419.97/420.27 c | 657507 | 900 18000 90000 | 2147483647 75020 129 | 0.000 % |
420.07/420.37 c | 657617 | 900 18000 90000 | 2147483647 75130 129 | 0.000 % |
420.17/420.45 c | 657740 | 900 18000 90000 | 2147483647 75253 129 | 0.000 % |
420.27/420.55 c | 657873 | 900 18000 90000 | 2147483647 75386 129 | 0.000 % |
420.37/420.64 c | 658019 | 900 18000 90000 | 2147483647 75532 129 | 0.000 % |
420.47/420.79 c | 658179 | 900 18000 90000 | 2147483647 75692 129 | 0.000 % |
420.67/420.92 c | 658355 | 900 18000 90000 | 2147483647 75868 129 | 0.000 % |
420.77/421.07 c | 658550 | 900 18000 90000 | 2147483647 76063 129 | 0.000 % |
420.97/421.24 c | 658762 | 900 18000 90000 | 2147483647 76275 129 | 0.000 % |
421.17/421.40 c | 658996 | 900 18000 90000 | 2147483647 76509 129 | 0.000 % |
421.27/421.58 c | 659252 | 900 18000 90000 | 2147483647 76765 128 | 0.000 % |
421.47/421.75 c | 659534 | 900 18000 90000 | 2147483647 77047 128 | 0.000 % |
421.77/422.00 c | 659843 | 900 18000 90000 | 2147483647 77356 128 | 0.000 % |
421.97/422.26 c | 660182 | 900 18000 90000 | 77514 77695 128 | 0.000 % |
422.27/422.54 c | 660555 | 900 18000 90000 | 77514 69819 127 | 0.000 % |
422.57/422.80 c | 660964 | 900 18000 90000 | 77514 70228 127 | 0.000 % |
422.77/423.05 c | 661414 | 900 18000 90000 | 77514 70678 127 | 0.000 % |
423.07/423.35 c | 661907 | 900 18000 90000 | 77514 71171 127 | 0.000 % |
423.37/423.69 c | 662450 | 900 18000 90000 | 77514 71714 127 | 0.000 % |
423.87/424.11 c | 663047 | 900 18000 90000 | 77514 72311 127 | 0.000 % |
424.27/424.56 c | 663703 | 900 18000 90000 | 77514 72967 127 | 0.000 % |
424.77/425.03 c | 664426 | 900 18000 90000 | 77514 73690 127 | 0.000 % |
425.27/425.53 c | 665220 | 900 18000 90000 | 77514 74484 127 | 0.000 % |
425.77/426.10 c | 666092 | 900 18000 90000 | 77514 75356 127 | 0.000 % |
426.47/426.76 c | 667051 | 900 18000 90000 | 77514 76315 127 | 0.000 % |
427.17/427.47 c | 668104 | 900 18000 90000 | 77514 77368 127 | 0.000 % |
427.97/428.24 c | 669264 | 900 18000 90000 | 77514 70746 128 | 0.000 % |
428.77/429.02 c | 670538 | 900 18000 90000 | 2147483647 72020 128 | 0.000 % |
429.67/429.97 c | 671938 | 900 18000 90000 | 2147483647 73420 128 | 0.000 % |
430.67/430.92 c | 673479 | 900 18000 90000 | 2147483647 74961 128 | 0.000 % |
431.76/432.03 c | 675173 | 900 18000 90000 | 2147483647 76655 128 | 0.000 % |
432.97/433.26 c | 677036 | 900 18000 90000 | 2147483647 78518 128 | 0.000 % |
434.47/434.77 c | 679085 | 900 18000 90000 | 2147483647 80567 128 | 0.000 % |
436.07/436.37 c | 681338 | 900 18000 90000 | 81482 73880 128 | 0.000 % |
437.67/437.99 c | 683816 | 900 18000 90000 | 81482 76358 128 | 0.000 % |
439.47/439.73 c | 686543 | 900 18000 90000 | 81482 79085 128 | 0.000 % |
441.47/441.77 c | 689541 | 900 18000 90000 | 81482 73159 127 | 0.000 % |
443.47/443.74 c | 692838 | 900 18000 90000 | 73619 68336 127 | 0.000 % |
445.67/445.93 c | 696463 | 900 18000 90000 | 73619 71961 127 | 0.000 % |
448.17/448.48 c | 700450 | 900 18000 90000 | 2147483647 68556 127 | 0.000 % |
450.77/451.08 c | 704835 | 900 18000 90000 | 2147483647 72941 128 | 0.000 % |
453.87/454.10 c | 709662 | 900 18000 90000 | 2147483647 77768 129 | 0.000 % |
457.46/457.78 c | 714969 | 900 18000 90000 | 2147483647 83075 129 | 0.000 % |
461.86/462.11 c | 720805 | 900 18000 90000 | 88106 78211 130 | 0.000 % |
466.56/466.80 c | 727224 | 900 18000 90000 | 88106 84630 130 | 0.000 % |
466.56/466.89 c | 727324 | 900 18000 90000 | 88106 84730 130 | 0.000 % |
466.66/466.97 c | 727434 | 900 18000 90000 | 88106 84840 130 | 0.000 % |
466.76/467.07 c | 727555 | 900 18000 90000 | 88106 84961 130 | 0.000 % |
466.96/467.21 c | 727689 | 900 18000 90000 | 88106 85095 130 | 0.000 % |
467.06/467.33 c | 727835 | 900 18000 90000 | 88106 85241 130 | 0.000 % |
467.16/467.45 c | 727997 | 900 18000 90000 | 88106 85403 130 | 0.000 % |
467.36/467.60 c | 728173 | 900 18000 90000 | 88106 85579 130 | 0.000 % |
467.46/467.75 c | 728366 | 900 18000 90000 | 88106 85772 130 | 0.000 % |
467.66/467.93 c | 728578 | 900 18000 90000 | 88106 85984 130 | 0.000 % |
467.86/468.14 c | 728811 | 900 18000 90000 | 88106 86217 130 | 0.000 % |
468.06/468.34 c | 729069 | 900 18000 90000 | 88106 86475 130 | 0.000 % |
468.26/468.59 c | 729350 | 900 18000 90000 | 88106 86756 130 | 0.000 % |
468.56/468.83 c | 729661 | 900 18000 90000 | 88106 87067 130 | 0.000 % |
468.86/469.10 c | 730003 | 900 18000 90000 | 88106 87409 130 | 0.000 % |
469.16/469.43 c | 730375 | 900 18000 90000 | 87409 76041 129 | 0.000 % |
469.46/469.70 c | 730784 | 900 18000 90000 | 87409 76450 129 | 0.000 % |
469.76/470.01 c | 731233 | 900 18000 90000 | 87409 76899 129 | 0.000 % |
470.06/470.36 c | 731726 | 900 18000 90000 | 87409 77392 129 | 0.000 % |
470.46/470.72 c | 732268 | 900 18000 90000 | 87409 77934 129 | 0.000 % |
470.85/471.17 c | 732865 | 900 18000 90000 | 87409 78531 129 | 0.000 % |
471.35/471.61 c | 733522 | 900 18000 90000 | 87409 79188 129 | 0.000 % |
471.85/472.14 c | 734243 | 900 18000 90000 | 87409 79909 129 | 0.000 % |
472.45/472.72 c | 735037 | 900 18000 90000 | 87409 80703 129 | 0.000 % |
473.05/473.35 c | 735910 | 900 18000 90000 | 87409 81576 129 | 0.000 % |
473.76/474.04 c | 736871 | 900 18000 90000 | 87409 82537 129 | 0.000 % |
474.55/474.85 c | 737924 | 900 18000 90000 | 87409 83590 129 | 0.000 % |
475.35/475.63 c | 739082 | 900 18000 90000 | 87409 84748 129 | 0.000 % |
476.35/476.62 c | 740355 | 900 18000 90000 | 85666 74203 129 | 0.000 % |
477.25/477.51 c | 741758 | 900 18000 90000 | 85666 75606 129 | 0.000 % |
478.26/478.51 c | 743299 | 900 18000 90000 | 85666 77147 129 | 0.000 % |
479.26/479.58 c | 744993 | 900 18000 90000 | 85666 78841 129 | 0.000 % |
480.46/480.76 c | 746857 | 900 18000 90000 | 85666 80705 129 | 0.000 % |
481.85/482.14 c | 748906 | 900 18000 90000 | 85666 82754 129 | 0.000 % |
483.35/483.64 c | 751160 | 900 18000 90000 | 83849 75192 129 | 0.000 % |
484.85/485.17 c | 753638 | 900 18000 90000 | 83849 77670 129 | 0.000 % |
486.55/486.81 c | 756365 | 900 18000 90000 | 83849 80397 129 | 0.000 % |
488.55/488.85 c | 759362 | 900 18000 90000 | 83849 83394 128 | 0.000 % |
490.65/490.99 c | 762659 | 900 18000 90000 | 84033 77389 129 | 0.000 % |
492.95/493.29 c | 766285 | 900 18000 90000 | 84033 81015 129 | 0.000 % |
495.65/495.95 c | 770274 | 900 18000 90000 | 75855 76129 129 | 0.000 % |
498.25/498.54 c | 774659 | 900 18000 90000 | 75855 72545 128 | 0.000 % |
501.35/501.65 c | 779485 | 900 18000 90000 | 75855 69754 128 | 0.000 % |
504.65/504.91 c | 784791 | 900 18000 90000 | 2147483647 75060 128 | 0.000 % |
508.44/508.77 c | 790628 | 900 18000 90000 | 2147483647 80897 129 | 0.000 % |
513.24/513.50 c | 797046 | 900 18000 90000 | 2147483647 87315 130 | 0.000 % |
518.04/518.37 c | 804107 | 900 18000 90000 | 90270 82640 130 | 0.000 % |
518.14/518.45 c | 804207 | 900 18000 90000 | 90270 82740 130 | 0.000 % |
518.24/518.53 c | 804317 | 900 18000 90000 | 90270 82850 130 | 0.000 % |
518.34/518.64 c | 804439 | 900 18000 90000 | 90270 82972 130 | 0.000 % |
518.44/518.74 c | 804573 | 900 18000 90000 | 90270 83106 130 | 0.000 % |
518.54/518.88 c | 804720 | 900 18000 90000 | 90270 83253 130 | 0.000 % |
518.74/519.01 c | 804880 | 900 18000 90000 | 90270 83413 130 | 0.000 % |
518.84/519.14 c | 805059 | 900 18000 90000 | 90270 83592 130 | 0.000 % |
519.04/519.32 c | 805252 | 900 18000 90000 | 90270 83785 130 | 0.000 % |
519.14/519.49 c | 805464 | 900 18000 90000 | 90270 83997 130 | 0.000 % |
519.34/519.69 c | 805699 | 900 18000 90000 | 90270 84232 130 | 0.000 % |
519.54/519.86 c | 805957 | 900 18000 90000 | 90270 84490 129 | 0.000 % |
519.74/520.08 c | 806238 | 900 18000 90000 | 90270 84771 129 | 0.000 % |
520.04/520.30 c | 806548 | 900 18000 90000 | 90270 85081 129 | 0.000 % |
520.24/520.57 c | 806887 | 900 18000 90000 | 90270 85420 129 | 0.000 % |
520.54/520.84 c | 807259 | 900 18000 90000 | 90270 85792 129 | 0.000 % |
520.84/521.17 c | 807669 | 900 18000 90000 | 90270 86202 129 | 0.000 % |
521.24/521.52 c | 808118 | 900 18000 90000 | 90270 86651 129 | 0.000 % |
521.64/521.91 c | 808612 | 900 18000 90000 | 90270 87145 129 | 0.000 % |
521.93/522.29 c | 809154 | 900 18000 90000 | 90270 87687 129 | 0.000 % |
522.43/522.72 c | 809751 | 900 18000 90000 | 90270 88284 129 | 0.000 % |
522.93/523.27 c | 810406 | 900 18000 90000 | 88533 76055 129 | 0.000 % |
523.43/523.75 c | 811126 | 900 18000 90000 | 88533 76775 129 | 0.000 % |
524.03/524.31 c | 811918 | 900 18000 90000 | 88533 77567 129 | 0.000 % |
524.53/524.85 c | 812790 | 900 18000 90000 | 88533 78439 129 | 0.000 % |
525.13/525.48 c | 813748 | 900 18000 90000 | 88533 79397 129 | 0.000 % |
525.83/526.17 c | 814802 | 900 18000 90000 | 88533 80451 129 | 0.000 % |
526.64/526.93 c | 815961 | 900 18000 90000 | 88533 81610 129 | 0.000 % |
527.53/527.81 c | 817234 | 900 18000 90000 | 88533 82883 129 | 0.000 % |
528.53/528.84 c | 818634 | 900 18000 90000 | 88533 84283 129 | 0.000 % |
529.63/529.93 c | 820174 | 900 18000 90000 | 85649 85823 129 | 0.000 % |
530.73/531.09 c | 821869 | 900 18000 90000 | 85649 76920 129 | 0.000 % |
531.93/532.27 c | 823732 | 900 18000 90000 | 85649 78783 129 | 0.000 % |
533.43/533.72 c | 825784 | 900 18000 90000 | 85649 80835 129 | 0.000 % |
535.03/535.32 c | 828037 | 900 18000 90000 | 85649 83088 129 | 0.000 % |
536.73/537.06 c | 830515 | 900 18000 90000 | 85051 74742 129 | 0.000 % |
538.53/538.80 c | 833240 | 900 18000 90000 | 85051 77467 129 | 0.000 % |
540.53/540.82 c | 836238 | 900 18000 90000 | 85051 80465 129 | 0.000 % |
542.93/543.22 c | 839535 | 900 18000 90000 | 85051 83762 129 | 0.000 % |
545.13/545.50 c | 843160 | 900 18000 90000 | 84227 77128 129 | 0.000 % |
547.63/547.98 c | 847147 | 900 18000 90000 | 84227 81115 129 | 0.000 % |
550.73/551.05 c | 851533 | 900 18000 90000 | 83970 75850 129 | 0.000 % |
554.03/554.37 c | 856357 | 900 18000 90000 | 83970 80674 129 | 0.000 % |
557.62/557.97 c | 861662 | 900 18000 90000 | 74217 67057 126 | 0.000 % |
561.22/561.53 c | 867500 | 900 18000 90000 | 74217 72895 127 | 0.000 % |
565.22/565.50 c | 873918 | 900 18000 90000 | 2147483647 71862 126 | 0.000 % |
569.72/570.09 c | 880977 | 900 18000 90000 | 2147483647 78921 127 | 0.000 % |
575.42/575.74 c | 888741 | 900 18000 90000 | 2147483647 86685 127 | 0.000 % |
575.52/575.83 c | 888841 | 900 18000 90000 | 2147483647 86785 127 | 0.000 % |
575.62/575.93 c | 888951 | 900 18000 90000 | 2147483647 86895 127 | 0.000 % |
575.72/576.03 c | 889072 | 900 18000 90000 | 2147483647 87016 127 | 0.000 % |
575.82/576.17 c | 889206 | 900 18000 90000 | 2147483647 87150 127 | 0.000 % |
575.92/576.30 c | 889352 | 900 18000 90000 | 2147483647 87296 127 | 0.000 % |
576.12/576.42 c | 889512 | 900 18000 90000 | 2147483647 87456 127 | 0.000 % |
576.22/576.58 c | 889690 | 900 18000 90000 | 2147483647 87634 127 | 0.000 % |
576.42/576.74 c | 889883 | 900 18000 90000 | 2147483647 87827 127 | 0.000 % |
576.62/576.92 c | 890098 | 900 18000 90000 | 87945 88042 127 | 0.000 % |
576.82/577.15 c | 890334 | 900 18000 90000 | 87945 76483 128 | 0.000 % |
577.02/577.34 c | 890590 | 900 18000 90000 | 87945 76739 128 | 0.000 % |
577.22/577.54 c | 890872 | 900 18000 90000 | 87945 77021 128 | 0.000 % |
577.42/577.78 c | 891181 | 900 18000 90000 | 87945 77330 128 | 0.000 % |
577.72/578.03 c | 891520 | 900 18000 90000 | 87945 77669 128 | 0.000 % |
578.02/578.32 c | 891892 | 900 18000 90000 | 87945 78041 128 | 0.000 % |
578.32/578.61 c | 892303 | 900 18000 90000 | 87945 78452 127 | 0.000 % |
578.52/578.90 c | 892752 | 900 18000 90000 | 87945 78901 127 | 0.000 % |
578.92/579.23 c | 893245 | 900 18000 90000 | 87945 79394 127 | 0.000 % |
579.22/579.60 c | 893787 | 900 18000 90000 | 87945 79936 127 | 0.000 % |
579.72/580.00 c | 894383 | 900 18000 90000 | 87945 80532 127 | 0.000 % |
580.12/580.45 c | 895038 | 900 18000 90000 | 87945 81187 127 | 0.000 % |
580.72/581.01 c | 895760 | 900 18000 90000 | 87945 81909 127 | 0.000 % |
581.22/581.57 c | 896552 | 900 18000 90000 | 87945 82701 127 | 0.000 % |
581.82/582.18 c | 897425 | 900 18000 90000 | 87945 83574 127 | 0.000 % |
582.52/582.86 c | 898386 | 900 18000 90000 | 87945 84535 127 | 0.000 % |
583.32/583.60 c | 899440 | 900 18000 90000 | 87945 85589 127 | 0.000 % |
584.12/584.44 c | 900599 | 900 18000 90000 | 86149 75108 127 | 0.000 % |
585.02/585.37 c | 901872 | 900 18000 90000 | 86149 76381 127 | 0.000 % |
585.92/586.29 c | 903275 | 900 18000 90000 | 86149 77784 127 | 0.000 % |
586.92/587.27 c | 904818 | 900 18000 90000 | 86149 79327 127 | 0.000 % |
588.12/588.44 c | 906514 | 900 18000 90000 | 86149 81023 127 | 0.000 % |
589.41/589.79 c | 908377 | 900 18000 90000 | 86149 82886 127 | 0.000 % |
591.01/591.32 c | 910428 | 900 18000 90000 | 84511 74301 127 | 0.000 % |
592.41/592.71 c | 912681 | 900 18000 90000 | 84511 76554 127 | 0.000 % |
593.91/594.24 c | 915160 | 900 18000 90000 | 84511 79033 127 | 0.000 % |
595.61/595.93 c | 917885 | 900 18000 90000 | 84511 81758 127 | 0.000 % |
597.61/597.93 c | 920883 | 900 18000 90000 | 83873 76011 127 | 0.000 % |
599.71/600.01 c | 924181 | 900 18000 90000 | 83873 79309 127 | 0.000 % |
602.11/602.45 c | 927807 | 900 18000 90000 | 83873 82935 127 | 0.000 % |
604.91/605.22 c | 931795 | 900 18000 90000 | 76414 70513 127 | 0.000 % |
607.71/608.01 c | 936180 | 900 18000 90000 | 76414 74898 127 | 0.000 % |
610.71/611.04 c | 941003 | 900 18000 90000 | 2147483647 72047 126 | 0.000 % |
614.21/614.50 c | 946308 | 900 18000 90000 | 2147483647 77352 126 | 0.000 % |
618.01/618.35 c | 952144 | 900 18000 90000 | 81045 74193 126 | 0.000 % |
622.21/622.59 c | 958563 | 900 18000 90000 | 81045 80612 127 | 0.000 % |
626.40/626.73 c | 965622 | 900 18000 90000 | 73342 71398 129 | 0.000 % |
631.11/631.43 c | 973388 | 900 18000 90000 | 2147483647 71796 130 | 0.000 % |
636.80/637.10 c | 981930 | 900 18000 90000 | 2147483647 80338 131 | 0.000 % |
636.80/637.17 c | 982031 | 900 18000 90000 | 2147483647 80439 131 | 0.000 % |
636.90/637.27 c | 982142 | 900 18000 90000 | 2147483647 80550 131 | 0.000 % |
637.00/637.38 c | 982267 | 900 18000 90000 | 2147483647 80675 131 | 0.000 % |
637.10/637.48 c | 982404 | 900 18000 90000 | 2147483647 80812 131 | 0.000 % |
637.30/637.61 c | 982550 | 900 18000 90000 | 2147483647 80958 131 | 0.000 % |
637.40/637.77 c | 982713 | 900 18000 90000 | 2147483647 81121 131 | 0.000 % |
637.60/637.90 c | 982889 | 900 18000 90000 | 2147483647 81297 131 | 0.000 % |
637.70/638.06 c | 983084 | 900 18000 90000 | 2147483647 81492 131 | 0.000 % |
637.90/638.24 c | 983296 | 900 18000 90000 | 2147483647 81704 131 | 0.000 % |
638.10/638.44 c | 983529 | 900 18000 90000 | 2147483647 81937 131 | 0.000 % |
638.30/638.67 c | 983785 | 900 18000 90000 | 2147483647 82193 131 | 0.000 % |
638.50/638.88 c | 984066 | 900 18000 90000 | 2147483647 82474 131 | 0.000 % |
638.80/639.13 c | 984375 | 900 18000 90000 | 2147483647 82783 131 | 0.000 % |
639.00/639.38 c | 984714 | 900 18000 90000 | 2147483647 83122 131 | 0.000 % |
639.30/639.65 c | 985087 | 900 18000 90000 | 2147483647 83495 131 | 0.000 % |
639.60/639.94 c | 985498 | 900 18000 90000 | 2147483647 83906 131 | 0.000 % |
639.90/640.28 c | 985948 | 900 18000 90000 | 2147483647 84356 130 | 0.000 % |
640.30/640.65 c | 986441 | 900 18000 90000 | 2147483647 84849 130 | 0.000 % |
640.70/641.07 c | 986984 | 900 18000 90000 | 2147483647 85392 130 | 0.000 % |
641.20/641.50 c | 987580 | 900 18000 90000 | 2147483647 85988 130 | 0.000 % |
641.70/642.01 c | 988236 | 900 18000 90000 | 2147483647 86644 130 | 0.000 % |
642.20/642.58 c | 988958 | 900 18000 90000 | 2147483647 87366 130 | 0.000 % |
642.80/643.17 c | 989750 | 900 18000 90000 | 2147483647 88158 130 | 0.000 % |
643.50/643.83 c | 990625 | 900 18000 90000 | 88408 76544 130 | 0.000 % |
644.10/644.49 c | 991583 | 900 18000 90000 | 88408 77502 130 | 0.000 % |
644.90/645.21 c | 992636 | 900 18000 90000 | 88408 78555 130 | 0.000 % |
645.70/646.05 c | 993794 | 900 18000 90000 | 88408 79713 130 | 0.000 % |
646.60/646.98 c | 995068 | 900 18000 90000 | 88408 80987 130 | 0.000 % |
647.60/647.98 c | 996468 | 900 18000 90000 | 88408 82387 130 | 0.000 % |
648.70/649.08 c | 998008 | 900 18000 90000 | 88408 83927 130 | 0.000 % |
649.99/650.31 c | 999702 | 900 18000 90000 | 88408 85621 130 | 0.000 % |
651.19/651.57 c | 1001565 | 900 18000 90000 | 85920 75627 130 | 0.000 % |
652.49/652.89 c | 1003614 | 900 18000 90000 | 85920 77676 130 | 0.000 % |
654.20/654.53 c | 1005867 | 900 18000 90000 | 85920 79929 129 | 0.000 % |
655.99/656.34 c | 1008346 | 900 18000 90000 | 85920 82408 129 | 0.000 % |
657.99/658.33 c | 1011072 | 900 18000 90000 | 84062 74541 129 | 0.000 % |
659.99/660.35 c | 1014071 | 900 18000 90000 | 84062 77540 129 | 0.000 % |
662.19/662.57 c | 1017368 | 900 18000 90000 | 84062 80837 129 | 0.000 % |
664.69/665.03 c | 1020994 | 900 18000 90000 | 83469 74290 130 | 0.000 % |
667.19/667.55 c | 1024982 | 900 18000 90000 | 83469 78278 130 | 0.000 % |
670.19/670.55 c | 1029367 | 900 18000 90000 | 83469 82663 130 | 0.000 % |
673.69/674.01 c | 1034190 | 900 18000 90000 | 83296 78422 129 | 0.000 % |
677.29/677.65 c | 1039496 | 900 18000 90000 | 83296 74097 129 | 0.000 % |
680.98/681.30 c | 1045332 | 900 18000 90000 | 74601 71478 129 | 0.000 % |
685.18/685.51 c | 1051752 | 900 18000 90000 | 2147483647 70410 128 | 0.000 % |
689.68/690.03 c | 1058813 | 900 18000 90000 | 2147483647 77471 129 | 0.000 % |
695.08/695.45 c | 1066578 | 900 18000 90000 | 2147483647 85236 130 | 0.000 % |
700.98/701.35 c | 1075119 | 900 18000 90000 | 88660 81728 133 | 0.000 % |
707.88/708.24 c | 1084514 | 900 18000 90000 | 86609 78508 135 | 0.000 % |
707.98/708.32 c | 1084616 | 900 18000 90000 | 86609 78610 135 | 0.000 % |
708.08/708.41 c | 1084727 | 900 18000 90000 | 86609 78721 135 | 0.000 % |
708.18/708.50 c | 1084849 | 900 18000 90000 | 86609 78843 135 | 0.000 % |
708.28/708.60 c | 1084983 | 900 18000 90000 | 86609 78977 135 | 0.000 % |
708.38/708.73 c | 1085129 | 900 18000 90000 | 86609 79123 135 | 0.000 % |
708.48/708.86 c | 1085291 | 900 18000 90000 | 86609 79285 135 | 0.000 % |
708.58/708.98 c | 1085467 | 900 18000 90000 | 86609 79461 135 | 0.000 % |
708.78/709.15 c | 1085663 | 900 18000 90000 | 86609 79657 135 | 0.000 % |
708.98/709.30 c | 1085877 | 900 18000 90000 | 86609 79871 135 | 0.000 % |
709.08/709.47 c | 1086111 | 900 18000 90000 | 86609 80105 135 | 0.000 % |
709.28/709.65 c | 1086367 | 900 18000 90000 | 86609 80361 135 | 0.000 % |
709.48/709.86 c | 1086648 | 900 18000 90000 | 86609 80642 135 | 0.000 % |
709.68/710.09 c | 1086958 | 900 18000 90000 | 86609 80952 135 | 0.000 % |
709.98/710.32 c | 1087297 | 900 18000 90000 | 86609 81291 135 | 0.000 % |
710.18/710.56 c | 1087669 | 900 18000 90000 | 86609 81663 135 | 0.000 % |
710.48/710.87 c | 1088078 | 900 18000 90000 | 86609 82072 135 | 0.000 % |
710.87/711.21 c | 1088527 | 900 18000 90000 | 86609 82521 135 | 0.000 % |
711.17/711.59 c | 1089021 | 900 18000 90000 | 86609 83015 135 | 0.000 % |
711.67/712.03 c | 1089563 | 900 18000 90000 | 86609 83557 134 | 0.000 % |
712.17/712.51 c | 1090160 | 900 18000 90000 | 83995 84154 134 | 0.000 % |
712.57/712.99 c | 1090818 | 900 18000 90000 | 83995 73022 136 | 0.000 % |
713.07/713.43 c | 1091538 | 900 18000 90000 | 83995 73742 136 | 0.000 % |
713.58/713.96 c | 1092331 | 900 18000 90000 | 83995 74535 135 | 0.000 % |
714.17/714.56 c | 1093202 | 900 18000 90000 | 83995 75406 135 | 0.000 % |
714.87/715.21 c | 1094160 | 900 18000 90000 | 83995 76364 135 | 0.000 % |
715.57/715.97 c | 1095213 | 900 18000 90000 | 83995 77417 135 | 0.000 % |
716.37/716.77 c | 1096371 | 900 18000 90000 | 83995 78575 135 | 0.000 % |
717.27/717.66 c | 1097646 | 900 18000 90000 | 83995 79850 135 | 0.000 % |
718.17/718.59 c | 1099046 | 900 18000 90000 | 83995 81250 135 | 0.000 % |
719.27/719.66 c | 1100586 | 900 18000 90000 | 82206 72899 134 | 0.000 % |
720.37/720.74 c | 1102281 | 900 18000 90000 | 82206 74594 133 | 0.000 % |
721.57/721.93 c | 1104147 | 900 18000 90000 | 82206 76460 133 | 0.000 % |
722.87/723.26 c | 1106197 | 900 18000 90000 | 82206 78510 133 | 0.000 % |
724.47/724.81 c | 1108450 | 900 18000 90000 | 82206 80763 133 | 0.000 % |
726.07/726.48 c | 1110928 | 900 18000 90000 | 82314 74069 133 | 0.000 % |
727.77/728.18 c | 1113653 | 900 18000 90000 | 82314 76794 133 | 0.000 % |
729.87/730.21 c | 1116650 | 900 18000 90000 | 82314 79791 132 | 0.000 % |
732.07/732.48 c | 1119947 | 900 18000 90000 | 82314 74442 132 | 0.000 % |
734.16/734.57 c | 1123572 | 900 18000 90000 | 74497 70281 131 | 0.000 % |
736.57/736.91 c | 1127560 | 900 18000 90000 | 74497 74269 131 | 0.000 % |
739.16/739.55 c | 1131945 | 900 18000 90000 | 2147483647 71172 130 | 0.000 % |
742.07/742.41 c | 1136768 | 900 18000 90000 | 2147483647 75995 130 | 0.000 % |
745.47/745.87 c | 1142074 | 900 18000 90000 | 2147483647 81301 130 | 0.000 % |
749.87/750.20 c | 1147909 | 900 18000 90000 | 2147483647 87136 130 | 0.000 % |
754.46/754.86 c | 1154327 | 900 18000 90000 | 89228 81343 128 | 0.000 % |
759.66/760.05 c | 1161386 | 900 18000 90000 | 87019 76448 126 | 0.000 % |
765.05/765.48 c | 1169150 | 900 18000 90000 | 87019 84212 127 | 0.000 % |
771.15/771.59 c | 1177691 | 900 18000 90000 | 85065 82035 128 | 0.000 % |
778.05/778.43 c | 1187085 | 900 18000 90000 | 84344 81199 128 | 0.000 % |
785.05/785.45 c | 1197419 | 900 18000 90000 | 84118 81094 129 | 0.000 % |
785.15/785.52 c | 1197520 | 900 18000 90000 | 84118 81195 129 | 0.000 % |
785.25/785.61 c | 1197630 | 900 18000 90000 | 84118 81305 129 | 0.000 % |
785.35/785.70 c | 1197753 | 900 18000 90000 | 84118 81428 129 | 0.000 % |
785.45/785.81 c | 1197886 | 900 18000 90000 | 84118 81561 129 | 0.000 % |
785.55/785.93 c | 1198032 | 900 18000 90000 | 84118 81707 129 | 0.000 % |
785.65/786.06 c | 1198192 | 900 18000 90000 | 84118 81867 129 | 0.000 % |
785.85/786.20 c | 1198368 | 900 18000 90000 | 84118 82043 129 | 0.000 % |
785.95/786.34 c | 1198564 | 900 18000 90000 | 84118 82239 129 | 0.000 % |
786.15/786.51 c | 1198777 | 900 18000 90000 | 84118 82452 129 | 0.000 % |
786.35/786.70 c | 1199010 | 900 18000 90000 | 84118 82685 129 | 0.000 % |
786.55/786.93 c | 1199266 | 900 18000 90000 | 84118 82941 129 | 0.000 % |
786.75/787.14 c | 1199547 | 900 18000 90000 | 84118 83222 129 | 0.000 % |
786.95/787.39 c | 1199856 | 900 18000 90000 | 84118 83531 128 | 0.000 % |
787.25/787.64 c | 1200197 | 900 18000 90000 | 83675 83872 128 | 0.000 % |
787.55/787.94 c | 1200570 | 900 18000 90000 | 83675 72879 129 | 0.000 % |
787.85/788.24 c | 1200979 | 900 18000 90000 | 83675 73288 129 | 0.000 % |
788.15/788.55 c | 1201430 | 900 18000 90000 | 83675 73739 129 | 0.000 % |
788.45/788.85 c | 1201925 | 900 18000 90000 | 83675 74234 129 | 0.000 % |
788.85/789.21 c | 1202467 | 900 18000 90000 | 83675 74776 129 | 0.000 % |
789.15/789.57 c | 1203063 | 900 18000 90000 | 83675 75372 129 | 0.000 % |
789.65/790.07 c | 1203719 | 900 18000 90000 | 83675 76028 128 | 0.000 % |
790.15/790.56 c | 1204440 | 900 18000 90000 | 83675 76749 128 | 0.000 % |
790.65/791.07 c | 1205233 | 900 18000 90000 | 83675 77542 128 | 0.000 % |
791.14/791.60 c | 1206110 | 900 18000 90000 | 83675 78419 128 | 0.000 % |
791.84/792.23 c | 1207068 | 900 18000 90000 | 83675 79377 128 | 0.000 % |
792.54/792.96 c | 1208121 | 900 18000 90000 | 83675 80430 128 | 0.000 % |
793.44/793.81 c | 1209279 | 900 18000 90000 | 83675 81588 128 | 0.000 % |
794.34/794.73 c | 1210552 | 900 18000 90000 | 82310 73104 128 | 0.000 % |
795.24/795.63 c | 1211952 | 900 18000 90000 | 82310 74504 128 | 0.000 % |
796.24/796.66 c | 1213492 | 900 18000 90000 | 82310 76044 128 | 0.000 % |
797.34/797.73 c | 1215186 | 900 18000 90000 | 82310 77738 127 | 0.000 % |
798.54/798.94 c | 1217053 | 900 18000 90000 | 82310 79605 127 | 0.000 % |
800.04/800.42 c | 1219103 | 900 18000 90000 | 82310 81655 127 | 0.000 % |
801.54/801.93 c | 1221359 | 900 18000 90000 | 82552 74516 127 | 0.000 % |
803.14/803.55 c | 1223837 | 900 18000 90000 | 82552 76994 127 | 0.000 % |
805.04/805.45 c | 1226564 | 900 18000 90000 | 82552 79721 127 | 0.000 % |
807.24/807.65 c | 1229561 | 900 18000 90000 | 82552 82718 127 | 0.000 % |
809.24/809.67 c | 1232857 | 900 18000 90000 | 73913 68583 125 | 0.000 % |
811.34/811.80 c | 1236482 | 900 18000 90000 | 73913 72208 126 | 0.000 % |
813.74/814.20 c | 1240473 | 900 18000 90000 | 2147483647 68774 125 | 0.000 % |
816.53/816.95 c | 1244858 | 900 18000 90000 | 2147483647 73159 126 | 0.000 % |
819.63/820.06 c | 1249681 | 900 18000 90000 | 2147483647 77982 126 | 0.000 % |
823.23/823.64 c | 1254986 | 900 18000 90000 | 2147483647 83287 127 | 0.000 % |
827.43/827.88 c | 1260821 | 900 18000 90000 | 88302 78990 127 | 0.000 % |
831.73/832.19 c | 1267240 | 900 18000 90000 | 88302 85409 127 | 0.000 % |
837.03/837.41 c | 1274299 | 900 18000 90000 | 88170 81882 127 | 0.000 % |
842.92/843.32 c | 1282064 | 900 18000 90000 | 87585 78430 128 | 0.000 % |
848.62/849.02 c | 1290604 | 900 18000 90000 | 86366 75106 130 | 0.000 % |
855.02/855.49 c | 1299998 | 900 18000 90000 | 86366 84500 132 | 0.000 % |
862.22/862.64 c | 1310333 | 900 18000 90000 | 83702 84034 133 | 0.000 % |
870.32/870.78 c | 1321699 | 900 18000 90000 | 82079 72926 134 | 0.000 % |
870.42/870.84 c | 1321799 | 900 18000 90000 | 82079 73026 134 | 0.000 % |
870.52/870.93 c | 1321909 | 900 18000 90000 | 82079 73136 134 | 0.000 % |
870.62/871.01 c | 1322030 | 900 18000 90000 | 82079 73257 134 | 0.000 % |
870.72/871.12 c | 1322164 | 900 18000 90000 | 82079 73391 134 | 0.000 % |
870.82/871.24 c | 1322310 | 900 18000 90000 | 82079 73537 134 | 0.000 % |
870.92/871.36 c | 1322470 | 900 18000 90000 | 82079 73697 134 | 0.000 % |
871.02/871.49 c | 1322646 | 900 18000 90000 | 82079 73873 134 | 0.000 % |
871.22/871.61 c | 1322840 | 900 18000 90000 | 82079 74067 134 | 0.000 % |
871.32/871.75 c | 1323052 | 900 18000 90000 | 82079 74279 134 | 0.000 % |
871.52/871.93 c | 1323285 | 900 18000 90000 | 82079 74512 134 | 0.000 % |
871.62/872.08 c | 1323541 | 900 18000 90000 | 82079 74768 134 | 0.000 % |
871.92/872.31 c | 1323822 | 900 18000 90000 | 82079 75049 134 | 0.000 % |
872.12/872.55 c | 1324133 | 900 18000 90000 | 82079 75360 134 | 0.000 % |
872.32/872.77 c | 1324473 | 900 18000 90000 | 82079 75700 134 | 0.000 % |
872.62/873.04 c | 1324845 | 900 18000 90000 | 82079 76072 134 | 0.000 % |
872.82/873.28 c | 1325255 | 900 18000 90000 | 82079 76482 134 | 0.000 % |
873.22/873.60 c | 1325706 | 900 18000 90000 | 82079 76933 134 | 0.000 % |
873.51/873.93 c | 1326199 | 900 18000 90000 | 82079 77426 133 | 0.000 % |
873.91/874.30 c | 1326742 | 900 18000 90000 | 82079 77969 133 | 0.000 % |
874.21/874.70 c | 1327338 | 900 18000 90000 | 82079 78565 133 | 0.000 % |
874.71/875.12 c | 1327993 | 900 18000 90000 | 82079 79220 133 | 0.000 % |
875.22/875.61 c | 1328713 | 900 18000 90000 | 82079 79940 133 | 0.000 % |
875.71/876.14 c | 1329505 | 900 18000 90000 | 82079 80732 133 | 0.000 % |
876.32/876.78 c | 1330376 | 900 18000 90000 | 81227 72217 132 | 0.000 % |
877.01/877.41 c | 1331339 | 900 18000 90000 | 81227 73180 132 | 0.000 % |
877.71/878.10 c | 1332394 | 900 18000 90000 | 81227 74235 132 | 0.000 % |
878.42/878.83 c | 1333552 | 900 18000 90000 | 81227 75393 132 | 0.000 % |
879.31/879.72 c | 1334825 | 900 18000 90000 | 81227 76666 132 | 0.000 % |
880.21/880.67 c | 1336227 | 900 18000 90000 | 81227 78068 132 | 0.000 % |
881.31/881.77 c | 1337767 | 900 18000 90000 | 81227 79608 132 | 0.000 % |
882.51/882.91 c | 1339461 | 900 18000 90000 | 81227 81302 131 | 0.000 % |
883.61/884.08 c | 1341324 | 900 18000 90000 | 72726 66136 131 | 0.000 % |
884.81/885.26 c | 1343374 | 900 18000 90000 | 72726 68186 131 | 0.000 % |
886.21/886.64 c | 1345628 | 900 18000 90000 | 72726 70440 131 | 0.000 % |
887.71/888.18 c | 1348107 | 900 18000 90000 | 72726 72919 131 | 0.000 % |
889.41/889.81 c | 1350833 | 900 18000 90000 | 2147483647 68354 130 | 0.000 % |
891.20/891.68 c | 1353832 | 900 18000 90000 | 2147483647 71353 130 | 0.000 % |
893.50/893.94 c | 1357129 | 900 18000 90000 | 2147483647 74650 130 | 0.000 % |
896.01/896.41 c | 1360755 | 900 18000 90000 | 2147483647 78276 130 | 0.000 % |
898.70/899.11 c | 1364743 | 900 18000 90000 | 2147483647 82264 130 | 0.000 % |
901.70/902.17 c | 1369129 | 900 18000 90000 | 2147483647 86650 130 | 0.000 % |
905.30/905.74 c | 1373952 | 900 18000 90000 | 87523 81226 129 | 0.000 % |
909.10/909.55 c | 1379259 | 900 18000 90000 | 87523 86533 129 | 0.000 % |
913.10/913.52 c | 1385096 | 900 18000 90000 | 87276 81282 127 | 0.000 % |
917.20/917.65 c | 1391514 | 900 18000 90000 | 86187 76551 126 | 0.000 % |
921.80/922.25 c | 1398573 | 900 18000 90000 | 86187 83610 126 | 0.000 % |
926.49/926.96 c | 1406337 | 900 18000 90000 | 85038 79977 127 | 0.000 % |
931.89/932.33 c | 1414879 | 900 18000 90000 | 83642 78379 127 | 0.000 % |
938.19/938.63 c | 1424274 | 900 18000 90000 | 83500 77644 128 | 0.000 % |
945.69/946.17 c | 1434607 | 900 18000 90000 | 83372 77342 130 | 0.000 % |
953.89/954.30 c | 1445973 | 900 18000 90000 | 82736 78004 130 | 0.000 % |
963.38/963.88 c | 1458477 | 900 18000 90000 | 82032 80144 132 | 0.000 % |
963.48/963.97 c | 1458577 | 900 18000 90000 | 82032 80244 132 | 0.000 % |
963.58/964.06 c | 1458687 | 900 18000 90000 | 82032 80354 132 | 0.000 % |
963.68/964.16 c | 1458809 | 900 18000 90000 | 82032 80476 132 | 0.000 % |
963.78/964.26 c | 1458943 | 900 18000 90000 | 82032 80610 132 | 0.000 % |
963.88/964.38 c | 1459091 | 900 18000 90000 | 82032 80758 132 | 0.000 % |
964.08/964.53 c | 1459252 | 900 18000 90000 | 82032 80919 132 | 0.000 % |
964.19/964.68 c | 1459428 | 900 18000 90000 | 82032 81095 132 | 0.000 % |
964.38/964.83 c | 1459621 | 900 18000 90000 | 82032 81288 132 | 0.000 % |
964.48/964.98 c | 1459833 | 900 18000 90000 | 82032 81500 132 | 0.000 % |
964.68/965.15 c | 1460067 | 900 18000 90000 | 81671 81734 132 | 0.000 % |
964.98/965.40 c | 1460323 | 900 18000 90000 | 81671 71002 132 | 0.000 % |
965.18/965.60 c | 1460607 | 900 18000 90000 | 81671 71286 132 | 0.000 % |
965.40/965.83 c | 1460916 | 900 18000 90000 | 81671 71595 132 | 0.000 % |
965.59/966.04 c | 1461259 | 900 18000 90000 | 81671 71938 132 | 0.000 % |
965.79/966.29 c | 1461631 | 900 18000 90000 | 81671 72310 132 | 0.000 % |
966.09/966.55 c | 1462041 | 900 18000 90000 | 81671 72720 132 | 0.000 % |
966.39/966.84 c | 1462490 | 900 18000 90000 | 81671 73169 132 | 0.000 % |
966.69/967.18 c | 1462983 | 900 18000 90000 | 81671 73662 132 | 0.000 % |
967.09/967.51 c | 1463527 | 900 18000 90000 | 81671 74206 132 | 0.000 % |
967.49/967.94 c | 1464123 | 900 18000 90000 | 81671 74802 132 | 0.000 % |
967.89/968.37 c | 1464779 | 900 18000 90000 | 81671 75458 132 | 0.000 % |
968.39/968.88 c | 1465500 | 900 18000 90000 | 81671 76179 131 | 0.000 % |
968.99/969.40 c | 1466293 | 900 18000 90000 | 81671 76972 131 | 0.000 % |
969.59/970.01 c | 1467164 | 900 18000 90000 | 81671 77843 131 | 0.000 % |
970.19/970.63 c | 1468122 | 900 18000 90000 | 81671 78801 131 | 0.000 % |
970.89/971.34 c | 1469176 | 900 18000 90000 | 81671 79855 131 | 0.000 % |
971.69/972.14 c | 1470334 | 900 18000 90000 | 80679 81013 131 | 0.000 % |
972.49/972.97 c | 1471607 | 900 18000 90000 | 80679 72848 131 | 0.000 % |
973.39/973.80 c | 1473009 | 900 18000 90000 | 80679 74250 131 | 0.000 % |
974.39/974.82 c | 1474549 | 900 18000 90000 | 80679 75790 131 | 0.000 % |
975.49/975.99 c | 1476244 | 900 18000 90000 | 80679 77485 130 | 0.000 % |
976.79/977.22 c | 1478110 | 900 18000 90000 | 80679 79351 130 | 0.000 % |
978.19/978.63 c | 1480160 | 900 18000 90000 | 72476 72635 130 | 0.000 % |
979.49/979.95 c | 1482413 | 900 18000 90000 | 72476 67273 130 | 0.000 % |
980.99/981.44 c | 1484891 | 900 18000 90000 | 72476 69751 130 | 0.000 % |
982.69/983.14 c | 1487616 | 900 18000 90000 | 72476 72476 130 | 0.000 % |
984.48/984.93 c | 1490613 | 900 18000 90000 | 2147483647 68226 130 | 0.000 % |
986.48/986.98 c | 1493911 | 900 18000 90000 | 2147483647 71524 130 | 0.000 % |
988.78/989.24 c | 1497536 | 900 18000 90000 | 2147483647 75149 130 | 0.000 % |
991.38/991.87 c | 1501524 | 900 18000 90000 | 2147483647 79137 130 | 0.000 % |
994.48/994.96 c | 1505909 | 900 18000 90000 | 2147483647 83522 130 | 0.000 % |
998.18/998.64 c | 1510732 | 900 18000 90000 | 87614 76548 129 | 0.000 % |
1001.98/1002.42 c | 1516037 | 900 18000 90000 | 87614 81853 130 | 0.000 % |
1005.98/1006.42 c | 1521872 | 900 18000 90000 | 85818 76689 129 | 0.000 % |
1010.38/1010.86 c | 1528291 | 900 18000 90000 | 85818 83108 130 | 0.000 % |
1015.67/1016.11 c | 1535350 | 900 18000 90000 | 84819 80120 129 | 0.000 % |
1021.27/1021.74 c | 1543114 | 900 18000 90000 | 84770 78095 131 | 0.000 % |
1027.67/1028.18 c | 1551654 | 900 18000 90000 | 84982 76308 132 | 0.000 % |
1034.67/1035.14 c | 1561048 | 900 18000 90000 | 84656 75172 134 | 0.000 % |
1041.37/1041.85 c | 1571382 | 900 18000 90000 | 84126 74266 135 | 0.000 % |
1048.97/1049.43 c | 1582749 | 900 18000 90000 | 82886 75388 136 | 0.000 % |
1057.36/1057.81 c | 1595252 | 900 18000 90000 | 82640 78079 137 | 0.000 % |
1067.46/1067.93 c | 1609004 | 900 18000 90000 | 82827 81854 137 | 0.000 % |
1067.56/1068.04 c | 1609105 | 900 18000 90000 | 82827 81955 137 | 0.000 % |
1067.66/1068.12 c | 1609215 | 900 18000 90000 | 82827 82065 137 | 0.000 % |
1067.76/1068.22 c | 1609336 | 900 18000 90000 | 82827 82186 137 | 0.000 % |
1067.86/1068.33 c | 1609470 | 900 18000 90000 | 82827 82320 137 | 0.000 % |
1067.96/1068.45 c | 1609619 | 900 18000 90000 | 82827 82469 137 | 0.000 % |
1068.06/1068.58 c | 1609780 | 900 18000 90000 | 82827 82630 137 | 0.000 % |
1068.26/1068.71 c | 1609957 | 900 18000 90000 | 82827 82807 137 | 0.000 % |
1068.36/1068.85 c | 1610150 | 900 18000 90000 | 82850 83000 137 | 0.000 % |
1068.56/1069.04 c | 1610362 | 900 18000 90000 | 82850 72144 136 | 0.000 % |
1068.66/1069.20 c | 1610595 | 900 18000 90000 | 82850 72377 136 | 0.000 % |
1068.96/1069.41 c | 1610851 | 900 18000 90000 | 82850 72633 136 | 0.000 % |
1069.16/1069.61 c | 1611134 | 900 18000 90000 | 82850 72916 136 | 0.000 % |
1069.36/1069.82 c | 1611443 | 900 18000 90000 | 82850 73225 136 | 0.000 % |
1069.56/1070.07 c | 1611782 | 900 18000 90000 | 82850 73564 136 | 0.000 % |
1069.86/1070.32 c | 1612155 | 900 18000 90000 | 82850 73937 136 | 0.000 % |
1070.06/1070.58 c | 1612564 | 900 18000 90000 | 82850 74346 136 | 0.000 % |
1070.46/1070.98 c | 1613017 | 900 18000 90000 | 82850 74799 136 | 0.000 % |
1070.86/1071.31 c | 1613510 | 900 18000 90000 | 82850 75292 136 | 0.000 % |
1071.26/1071.72 c | 1614052 | 900 18000 90000 | 82850 75834 135 | 0.000 % |
1071.66/1072.19 c | 1614648 | 900 18000 90000 | 82850 76430 135 | 0.000 % |
1072.16/1072.63 c | 1615303 | 900 18000 90000 | 82850 77085 135 | 0.000 % |
1072.55/1073.10 c | 1616023 | 900 18000 90000 | 82850 77805 135 | 0.000 % |
1073.16/1073.66 c | 1616815 | 900 18000 90000 | 82850 78597 135 | 0.000 % |
1073.75/1074.28 c | 1617686 | 900 18000 90000 | 82850 79468 135 | 0.000 % |
1074.45/1074.94 c | 1618648 | 900 18000 90000 | 82850 80430 135 | 0.000 % |
1075.15/1075.68 c | 1619701 | 900 18000 90000 | 82850 81483 135 | 0.000 % |
1075.95/1076.46 c | 1620860 | 900 18000 90000 | 81783 72484 134 | 0.000 % |
1076.75/1077.25 c | 1622135 | 900 18000 90000 | 81783 73759 134 | 0.000 % |
1077.56/1078.06 c | 1623535 | 900 18000 90000 | 81783 75159 134 | 0.000 % |
1078.66/1079.17 c | 1625079 | 900 18000 90000 | 81783 76703 134 | 0.000 % |
1079.85/1080.34 c | 1626775 | 900 18000 90000 | 81783 78399 134 | 0.000 % |
1080.95/1081.48 c | 1628640 | 900 18000 90000 | 81783 80264 133 | 0.000 % |
1082.45/1082.92 c | 1630689 | 900 18000 90000 | 81625 72944 133 | 0.000 % |
1083.75/1084.22 c | 1632943 | 900 18000 90000 | 81625 75198 132 | 0.000 % |
1085.35/1085.83 c | 1635423 | 900 18000 90000 | 81625 77678 132 | 0.000 % |
1087.15/1087.67 c | 1638149 | 900 18000 90000 | 81625 80404 132 | 0.000 % |
1089.15/1089.60 c | 1641149 | 900 18000 90000 | 73924 67648 130 | 0.000 % |
1090.95/1091.47 c | 1644445 | 900 18000 90000 | 73924 70944 130 | 0.000 % |
1093.05/1093.57 c | 1648070 | 900 18000 90000 | 73924 67142 129 | 0.000 % |
1095.45/1095.93 c | 1652058 | 900 18000 90000 | 2147483647 71130 129 | 0.000 % |
1098.15/1098.61 c | 1656444 | 900 18000 90000 | 2147483647 75516 129 | 0.000 % |
1101.34/1101.86 c | 1661267 | 900 18000 90000 | 2147483647 80339 129 | 0.000 % |
1104.95/1105.48 c | 1666572 | 900 18000 90000 | 2147483647 85644 129 | 0.000 % |
1109.14/1109.66 c | 1672407 | 900 18000 90000 | 89072 79441 128 | 0.000 % |
1113.64/1114.15 c | 1678825 | 900 18000 90000 | 89072 85859 128 | 0.000 % |
1118.84/1119.35 c | 1685884 | 900 18000 90000 | 87034 81359 127 | 0.000 % |
1124.24/1124.72 c | 1693649 | 900 18000 90000 | 85475 77992 129 | 0.000 % |
1130.63/1131.12 c | 1702189 | 900 18000 90000 | 84345 75763 130 | 0.000 % |
1136.94/1137.49 c | 1711585 | 900 18000 90000 | 83575 74500 131 | 0.000 % |
1143.93/1144.42 c | 1721919 | 900 18000 90000 | 82915 73478 132 | 0.000 % |
1151.53/1152.02 c | 1733287 | 900 18000 90000 | 81559 74521 133 | 0.000 % |
1160.63/1161.18 c | 1745790 | 900 18000 90000 | 81234 77576 136 | 0.000 % |
1170.93/1171.41 c | 1759543 | 900 18000 90000 | 71967 65284 139 | 0.000 % |
1179.72/1180.25 c | 1774672 | 900 18000 90000 | 2147483647 67199 139 | 0.000 % |
1179.82/1180.33 c | 1774772 | 900 18000 90000 | 2147483647 67299 139 | 0.000 % |
1179.92/1180.41 c | 1774882 | 900 18000 90000 | 2147483647 67409 139 | 0.000 % |
1179.92/1180.50 c | 1775003 | 900 18000 90000 | 2147483647 67530 139 | 0.000 % |
1180.12/1180.61 c | 1775139 | 900 18000 90000 | 2147483647 67666 139 | 0.000 % |
1180.22/1180.71 c | 1775285 | 900 18000 90000 | 2147483647 67812 139 | 0.000 % |
1180.32/1180.82 c | 1775446 | 900 18000 90000 | 2147483647 67973 139 | 0.000 % |
1180.42/1180.94 c | 1775623 | 900 18000 90000 | 2147483647 68150 139 | 0.000 % |
1180.52/1181.05 c | 1775817 | 900 18000 90000 | 2147483647 68344 139 | 0.000 % |
1180.72/1181.20 c | 1776029 | 900 18000 90000 | 2147483647 68556 139 | 0.000 % |
1180.82/1181.37 c | 1776262 | 900 18000 90000 | 2147483647 68789 139 | 0.000 % |
1181.02/1181.56 c | 1776521 | 900 18000 90000 | 2147483647 69048 138 | 0.000 % |
1181.22/1181.76 c | 1776802 | 900 18000 90000 | 2147483647 69329 138 | 0.000 % |
1181.42/1181.95 c | 1777111 | 900 18000 90000 | 2147483647 69638 138 | 0.000 % |
1181.62/1182.18 c | 1777450 | 900 18000 90000 | 2147483647 69977 138 | 0.000 % |
1181.82/1182.40 c | 1777822 | 900 18000 90000 | 2147483647 70349 138 | 0.000 % |
1182.12/1182.66 c | 1778231 | 900 18000 90000 | 2147483647 70758 138 | 0.000 % |
1182.42/1182.94 c | 1778682 | 900 18000 90000 | 2147483647 71209 138 | 0.000 % |
1182.72/1183.27 c | 1779176 | 900 18000 90000 | 2147483647 71703 138 | 0.000 % |
1183.02/1183.59 c | 1779718 | 900 18000 90000 | 2147483647 72245 138 | 0.000 % |
1183.42/1183.90 c | 1780314 | 900 18000 90000 | 2147483647 72841 137 | 0.000 % |
1183.72/1184.29 c | 1780970 | 900 18000 90000 | 2147483647 73497 137 | 0.000 % |
1184.22/1184.72 c | 1781690 | 900 18000 90000 | 2147483647 74217 137 | 0.000 % |
1184.62/1185.14 c | 1782485 | 900 18000 90000 | 2147483647 75012 137 | 0.000 % |
1185.12/1185.70 c | 1783356 | 900 18000 90000 | 2147483647 75883 137 | 0.000 % |
1185.82/1186.31 c | 1784314 | 900 18000 90000 | 2147483647 76841 136 | 0.000 % |
1186.42/1186.96 c | 1785367 | 900 18000 90000 | 2147483647 77894 136 | 0.000 % |
1187.12/1187.63 c | 1786525 | 900 18000 90000 | 2147483647 79052 136 | 0.000 % |
1188.12/1188.61 c | 1787798 | 900 18000 90000 | 2147483647 80325 136 | 0.000 % |
1189.12/1189.68 c | 1789198 | 900 18000 90000 | 2147483647 81725 136 | 0.000 % |
1190.32/1190.85 c | 1790739 | 900 18000 90000 | 2147483647 83266 136 | 0.000 % |
1191.51/1192.01 c | 1792434 | 900 18000 90000 | 2147483647 84961 135 | 0.000 % |
1192.81/1193.33 c | 1794297 | 900 18000 90000 | 2147483647 86824 135 | 0.000 % |
1194.32/1194.88 c | 1796347 | 900 18000 90000 | 2147483647 88874 135 | 0.000 % |
1196.11/1196.65 c | 1798602 | 900 18000 90000 | 2147483647 91129 135 | 0.000 % |
1197.91/1198.44 c | 1801080 | 900 18000 90000 | 92529 80317 135 | 0.000 % |
1199.81/1200.36 c | 1803805 | 900 18000 90000 | 92529 83042 135 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832501-1242773945/watcher-1832501-1242773945 -o /tmp/evaluation-result-1832501-1242773945/solver-1832501-1242773945 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832501-1242773945.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 853
/proc/meminfo: memFree=1759936/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305424229 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/853/statm: 1339 237 197 169 0 50 0
[pid=857] ppid=853 vsize=1136 CPUtime=0
/proc/857/stat : 857 (SatELite_releas) R 853 853 595 0 -1 4194304 158 0 0 0 0 0 0 0 18 0 1 0 305424230 1163264 144 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/857/statm: 284 145 49 173 0 109 0
[startup+0.0494659 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 853
/proc/meminfo: memFree=1759936/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305424229 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/853/statm: 1339 237 197 169 0 50 0
[pid=857] ppid=853 vsize=2432 CPUtime=0.03
/proc/857/stat : 857 (SatELite_releas) R 853 853 595 0 -1 4194304 479 0 0 0 3 0 0 0 18 0 1 0 305424230 2490368 464 1992294400 134512640 135223648 4294956128 18446744073709551615 134736942 0 0 4096 3 0 0 0 17 1 0 0
/proc/857/statm: 608 464 75 173 0 433 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7788
[startup+0.101473 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 853
/proc/meminfo: memFree=1759936/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.301498 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 853
/proc/meminfo: memFree=1759936/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.701546 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 853
/proc/meminfo: memFree=1759936/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.50163 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 859
/proc/meminfo: memFree=1754672/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
[pid=859] ppid=853 vsize=6452 CPUtime=1.41
/proc/859/stat : 859 (minisat_static) R 853 853 595 0 -1 4194304 1361 0 0 0 141 0 0 0 25 0 1 0 305424236 6606848 1347 1992294400 134512640 135215339 4294956256 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/859/statm: 1613 1347 77 171 0 1440 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 11808
[startup+3.10181 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 859
/proc/meminfo: memFree=1752048/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
[pid=859] ppid=853 vsize=11072 CPUtime=3.01
/proc/859/stat : 859 (minisat_static) R 853 853 595 0 -1 4194304 2518 0 0 0 300 1 0 0 25 0 1 0 305424236 11337728 2504 1992294400 134512640 135215339 4294956256 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/859/statm: 2768 2504 77 171 0 2595 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 16428
[startup+6.30217 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 859
/proc/meminfo: memFree=1744496/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
[pid=859] ppid=853 vsize=17308 CPUtime=6.21
/proc/859/stat : 859 (minisat_static) R 853 853 595 0 -1 4194304 4078 0 0 0 619 2 0 0 25 0 1 0 305424236 17723392 4064 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/859/statm: 4327 4064 77 171 0 4154 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 22664
[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 859
/proc/meminfo: memFree=1734968/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
[pid=859] ppid=853 vsize=26100 CPUtime=12.62
/proc/859/stat : 859 (minisat_static) R 853 853 595 0 -1 4194304 6256 0 0 0 1257 5 0 0 25 0 1 0 305424236 26726400 6242 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/859/statm: 6525 6242 77 171 0 6352 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 31456
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 859
/proc/meminfo: memFree=1722104/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
[pid=859] ppid=853 vsize=38364 CPUtime=25.41
/proc/859/stat : 859 (minisat_static) R 853 853 595 0 -1 4194304 9318 0 0 0 2533 8 0 0 25 0 1 0 305424236 39284736 9304 1992294400 134512640 135215339 4294956256 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/859/statm: 9591 9304 77 171 0 9418 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 43720
[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 859
/proc/meminfo: memFree=1713656/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
[pid=859] ppid=853 vsize=46548 CPUtime=51
/proc/859/stat : 859 (minisat_static) R 853 853 595 0 -1 4194304 11365 0 0 0 5089 11 0 0 25 0 1 0 305424236 47665152 11351 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/859/statm: 11637 11351 77 171 0 11464 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 51904
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 859
/proc/meminfo: memFree=1713656/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
[pid=859] ppid=853 vsize=46532 CPUtime=102.17
/proc/859/stat : 859 (minisat_static) R 853 853 595 0 -1 4194304 11365 0 0 0 10206 11 0 0 25 0 1 0 305424236 47648768 11351 1992294400 134512640 135215339 4294956256 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/859/statm: 11633 11351 77 171 0 11460 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 51888
[startup+162.302 s]
/proc/loadavg: 1.07 1.02 1.00 2/67 865
/proc/meminfo: memFree=1710200/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
[pid=859] ppid=853 vsize=49700 CPUtime=162.14
/proc/859/stat : 859 (minisat_static) R 853 853 595 0 -1 4194304 12160 0 0 0 16202 12 0 0 25 0 1 0 305424236 50892800 12146 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/859/statm: 12425 12146 77 171 0 12252 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 55056
[startup+222.302 s]
/proc/loadavg: 1.10 1.03 1.01 2/67 865
/proc/meminfo: memFree=1709112/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
[pid=859] ppid=853 vsize=50756 CPUtime=222.11
/proc/859/stat : 859 (minisat_static) R 853 853 595 0 -1 4194304 12420 0 0 0 22199 12 0 0 25 0 1 0 305424236 51974144 12406 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/859/statm: 12689 12406 77 171 0 12516 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 56112
[startup+282.301 s]
/proc/loadavg: 1.04 1.02 1.00 2/67 865
/proc/meminfo: memFree=1708856/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
[pid=859] ppid=853 vsize=50888 CPUtime=282.1
/proc/859/stat : 859 (minisat_static) R 853 853 595 0 -1 4194304 12462 0 0 0 28197 13 0 0 25 0 1 0 305424236 52109312 12448 1992294400 134512640 135215339 4294956256 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/859/statm: 12722 12448 77 171 0 12549 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 56244
[startup+342.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/67 865
/proc/meminfo: memFree=1707384/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
[pid=859] ppid=853 vsize=52208 CPUtime=342.07
/proc/859/stat : 859 (minisat_static) R 853 853 595 0 -1 4194304 12810 0 0 0 34194 13 0 0 25 0 1 0 305424236 53460992 12796 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/859/statm: 13052 12796 77 171 0 12879 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 57564
[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 865
/proc/meminfo: memFree=1706936/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
[pid=859] ppid=853 vsize=52736 CPUtime=402.05
################
# More data... #
################
/proc/859/statm: 13688 13428 77 171 0 13515 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 60108
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 865
/proc/meminfo: memFree=1704440/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
[pid=859] ppid=853 vsize=54752 CPUtime=641.97
/proc/859/stat : 859 (minisat_static) R 853 853 595 0 -1 4194304 13470 0 0 0 64183 14 0 0 25 0 1 0 305424236 56066048 13428 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/859/statm: 13688 13428 77 171 0 13515 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 60108
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 865
/proc/meminfo: memFree=1704248/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
[pid=859] ppid=853 vsize=54752 CPUtime=701.95
/proc/859/stat : 859 (minisat_static) R 853 853 595 0 -1 4194304 13470 0 0 0 70181 14 0 0 25 0 1 0 305424236 56066048 13428 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/859/statm: 13688 13428 77 171 0 13515 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 60108
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 865
/proc/meminfo: memFree=1703864/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
[pid=859] ppid=853 vsize=55016 CPUtime=761.93
/proc/859/stat : 859 (minisat_static) R 853 853 595 0 -1 4194304 13542 0 0 0 76179 14 0 0 25 0 1 0 305424236 56336384 13500 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/859/statm: 13754 13500 77 171 0 13581 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 60372
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 865
/proc/meminfo: memFree=1703800/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
[pid=859] ppid=853 vsize=55016 CPUtime=821.9
/proc/859/stat : 859 (minisat_static) R 853 853 595 0 -1 4194304 13542 0 0 0 82176 14 0 0 25 0 1 0 305424236 56336384 13500 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/859/statm: 13754 13500 77 171 0 13581 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 60372
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 865
/proc/meminfo: memFree=1703736/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
[pid=859] ppid=853 vsize=55016 CPUtime=881.88
/proc/859/stat : 859 (minisat_static) R 853 853 595 0 -1 4194304 13542 0 0 0 88174 14 0 0 25 0 1 0 305424236 56336384 13500 1992294400 134512640 135215339 4294956256 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/859/statm: 13754 13500 77 171 0 13581 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 60372
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 865
/proc/meminfo: memFree=1703608/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
[pid=859] ppid=853 vsize=55016 CPUtime=941.86
/proc/859/stat : 859 (minisat_static) R 853 853 595 0 -1 4194304 13542 0 0 0 94172 14 0 0 25 0 1 0 305424236 56336384 13500 1992294400 134512640 135215339 4294956256 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/859/statm: 13754 13500 77 171 0 13581 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 60372
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 865
/proc/meminfo: memFree=1703544/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
[pid=859] ppid=853 vsize=55016 CPUtime=1001.85
/proc/859/stat : 859 (minisat_static) R 853 853 595 0 -1 4194304 13542 0 0 0 100170 15 0 0 25 0 1 0 305424236 56336384 13500 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/859/statm: 13754 13500 77 171 0 13581 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 60372
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 865
/proc/meminfo: memFree=1703480/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
[pid=859] ppid=853 vsize=55016 CPUtime=1061.83
/proc/859/stat : 859 (minisat_static) R 853 853 595 0 -1 4194304 13542 0 0 0 106168 15 0 0 25 0 1 0 305424236 56336384 13500 1992294400 134512640 135215339 4294956256 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/859/statm: 13754 13500 77 171 0 13581 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 60372
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 865
/proc/meminfo: memFree=1702648/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
[pid=859] ppid=853 vsize=55808 CPUtime=1121.81
/proc/859/stat : 859 (minisat_static) R 853 853 595 0 -1 4194304 13716 0 0 0 112166 15 0 0 25 0 1 0 305424236 57147392 13674 1992294400 134512640 135215339 4294956256 18446744073709551615 134529085 0 0 4096 3 0 0 0 17 1 0 0
/proc/859/statm: 13952 13674 77 171 0 13779 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 61164
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 865
/proc/meminfo: memFree=1702776/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
[pid=859] ppid=853 vsize=55300 CPUtime=1181.79
/proc/859/stat : 859 (minisat_static) R 853 853 595 0 -1 4194304 13716 0 0 0 118164 15 0 0 25 0 1 0 305424236 56627200 13575 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/859/statm: 13825 13575 77 171 0 13652 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 60656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 865
/proc/meminfo: memFree=1698296/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
[pid=859] ppid=853 vsize=60232 CPUtime=1199.98
/proc/859/stat : 859 (minisat_static) R 853 853 595 0 -1 4194304 14876 0 0 0 119982 16 0 0 25 0 1 0 305424236 61677568 14735 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/859/statm: 15058 14735 77 171 0 14885 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 65588
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 865
/proc/meminfo: memFree=1698296/2055920 swapFree=4124164/4192956
[pid=853] ppid=851 vsize=5356 CPUtime=0.03
/proc/853/stat : 853 (SatELiteGTI) S 851 853 595 0 -1 4194304 336 730 0 0 0 0 3 0 17 0 1 0 305424229 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/853/statm: 1339 239 197 169 0 50 0
[pid=859] ppid=853 vsize=60232 CPUtime=1199.98
/proc/859/stat : 859 (minisat_static) R 853 853 595 0 -1 4194304 14876 0 0 0 119982 16 0 0 25 0 1 0 305424236 61677568 14735 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/859/statm: 15058 14735 77 171 0 14885 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 65588
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 853 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=40993
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=11998
# CPU time returned by wait4() is 0.052991
# while last known CPU time is 1200.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.01
CPU user time (s): 1199.85
CPU system time (s): 0.16
CPU usage (%): 99.9581
Max. virtual memory (cumulated for all children) (KiB): 65588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.040993
system time used= 0.011998
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= 15
involuntary context switches= 6
runsolver used 1.26781 second user time and 3.23851 second system time
The end
Begin job on node85 at 2009-05-20 00:59:06
IDJOB=1832501
IDBENCH=70214
IDSOLVER=671
FILE ID=node85/1832501-1242773945
PBS_JOBID= 9322219
Free space on /tmp= 126512 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/900/unif-k5-r20-v900-c18000-S1573578038-005.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832501-1242773945/watcher-1832501-1242773945 -o /tmp/evaluation-result-1832501-1242773945/solver-1832501-1242773945 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832501-1242773945.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6079b5c5aa5b129580ea074d44eca93f
RANDOM SEED=1912880590
node85.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.238
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.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1760480 kB
Buffers: 19140 kB
Cached: 177684 kB
SwapCached: 63276 kB
Active: 74112 kB
Inactive: 188052 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1760480 kB
SwapTotal: 4192956 kB
SwapFree: 4124164 kB
Dirty: 2012 kB
Writeback: 0 kB
Mapped: 13944 kB
Slab: 19292 kB
Committed_AS: 944408 kB
PageTables: 1388 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= 126512 MiB
End job on node85 at 2009-05-20 01:19:08