0.00/0.00 c Parsing...
0.13/0.15 c ==============================================================================
0.13/0.15 c | | ORIGINAL | LEARNT | |
0.13/0.15 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.13/0.15 c ==============================================================================
0.13/0.15 c | 0 | 163622 479140 | 49086 0 0 nan | 0.000 % |
1.13/1.19 c | 0 | 73221 247132 | -- 0 -- -- | -- | -84687/-214858
1.13/1.19 c ==============================================================================
1.13/1.19 c Result : #vars: 8333 #clauses: 73221 #literals: 247132
1.13/1.19 c CPU time: 1.16 s
1.13/1.19 c ==============================================================================
1.23/1.28 c This is MiniSat 2.0 beta
1.23/1.28 c WARNING: for repeatability, setting FPU to use double precision
1.23/1.28 c ============================[ Problem Statistics ]=============================
1.23/1.28 c | |
1.23/1.28 c | Number of variables: 8333 |
1.23/1.28 c | Number of clauses: 73221 |
1.29/1.33 c | Parsing time: 0.05 s |
1.29/1.33 c ============================[ Search Statistics ]==============================
1.29/1.33 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.29/1.33 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.29/1.33 c ===============================================================================
1.29/1.33 c | 0 | 8333 73221 247132 | 24407 0 nan | 0.000 % |
1.29/1.35 c | 513 | 8332 73221 247132 | 24407 512 11 | 0.012 % |
1.29/1.38 c | 1026 | 8332 73221 247132 | 24407 1025 13 | 0.012 % |
1.29/1.41 c | 1539 | 8331 73221 247132 | 24407 1537 13 | 0.036 % |
1.29/1.46 c | 2563 | 8331 73221 247132 | 24407 2561 13 | 0.036 % |
1.29/1.49 c | 3075 | 8330 72780 244975 | 24407 3072 14 | 0.036 % |
1.29/1.52 c | 3588 | 8330 72780 244975 | 24407 3585 14 | 0.036 % |
1.29/1.59 c | 4612 | 8330 72780 244975 | 24407 4609 14 | 0.036 % |
1.29/1.72 c | 6660 | 8330 72780 244975 | 24407 6657 15 | 0.036 % |
1.29/1.75 c | 7172 | 8330 72780 244975 | 24407 7169 15 | 0.036 % |
1.29/1.80 c | 7685 | 8330 72780 244975 | 24407 7682 15 | 0.036 % |
1.29/1.88 c | 8713 | 8330 72780 244975 | 24407 8710 15 | 0.036 % |
1.29/1.92 c | 9227 | 8330 72780 244975 | 24407 9224 16 | 0.036 % |
1.29/1.97 c | 9739 | 8330 72780 244975 | 24407 9736 16 | 0.036 % |
1.29/2.05 c | 10763 | 8330 72780 244975 | 2147483647 10760 16 | 0.036 % |
2.22/2.25 c | 12811 | 8330 72780 244975 | 2147483647 12808 16 | 0.036 % |
2.72/2.72 c | 16908 | 8330 72780 244975 | 2147483647 16905 17 | 0.036 % |
2.72/2.78 c | 17420 | 8330 72780 244975 | 2147483647 17417 17 | 0.036 % |
2.82/2.84 c | 17932 | 8330 72780 244975 | 2147483647 17929 17 | 0.036 % |
2.92/2.97 c | 18957 | 8330 72780 244975 | 2147483647 18954 17 | 0.036 % |
3.02/3.04 c | 19469 | 8330 72780 244975 | 2147483647 19466 17 | 0.036 % |
3.12/3.11 c | 19982 | 8330 72780 244975 | 2147483647 19979 17 | 0.036 % |
3.22/3.23 c | 21006 | 8330 72780 244975 | 2147483647 21003 17 | 0.036 % |
3.42/3.47 c | 23054 | 8330 72780 244975 | 2147483647 23051 17 | 0.036 % |
3.52/3.53 c | 23566 | 8330 72780 244975 | 2147483647 23563 17 | 0.036 % |
3.52/3.60 c | 24078 | 8330 72780 244975 | 2147483647 24075 17 | 0.036 % |
3.72/3.78 c | 25102 | 8330 72780 244975 | 2147483647 25099 17 | 0.036 % |
3.82/3.87 c | 25614 | 8330 72780 244975 | 2147483647 25611 17 | 0.036 % |
3.92/3.97 c | 26127 | 8330 72780 244975 | 2147483647 26124 17 | 0.036 % |
4.12/4.19 c | 27151 | 8330 72780 244975 | 2147483647 27148 17 | 0.036 % |
4.52/4.55 c | 29199 | 8330 72780 244975 | 2147483647 29196 17 | 0.036 % |
5.42/5.47 c | 33296 | 8330 72780 244975 | 2147483647 33293 18 | 0.036 % |
7.52/7.55 c | 41488 | 8330 72780 244975 | 39998 36042 18 | 0.036 % |
7.62/7.68 c | 42001 | 8330 72780 244975 | 39998 36555 18 | 0.036 % |
7.72/7.81 c | 42513 | 8330 72780 244975 | 39998 37067 18 | 0.036 % |
8.02/8.08 c | 43537 | 8330 72780 244975 | 39998 38091 18 | 0.036 % |
8.12/8.19 c | 44051 | 8330 72780 244975 | 39998 38605 18 | 0.036 % |
8.22/8.31 c | 44563 | 8330 72780 244975 | 39998 39117 18 | 0.036 % |
8.62/8.62 c | 45590 | 8330 72780 244975 | 39998 40144 18 | 0.036 % |
9.22/9.23 c | 47641 | 8330 72780 244975 | 39998 35141 18 | 0.036 % |
9.32/9.36 c | 48154 | 8330 72780 244975 | 39998 35654 18 | 0.036 % |
9.52/9.52 c | 48666 | 8330 72780 244975 | 39998 36166 18 | 0.036 % |
9.72/9.80 c | 49692 | 8330 72780 244975 | 39998 37192 18 | 0.036 % |
9.92/9.96 c | 50204 | 8330 72780 244975 | 37500 37704 18 | 0.036 % |
10.02/10.10 c | 50717 | 8330 72780 244975 | 37500 31285 18 | 0.036 % |
10.32/10.32 c | 51743 | 8330 72780 244975 | 37500 32311 18 | 0.036 % |
10.82/10.81 c | 53796 | 8330 72780 244975 | 37500 34364 18 | 0.036 % |
11.72/11.76 c | 57894 | 8330 72780 244975 | 37500 32854 18 | 0.036 % |
11.82/11.84 c | 58406 | 8330 72780 244975 | 37500 33366 18 | 0.036 % |
11.92/11.96 c | 58920 | 8330 72780 244975 | 37500 33880 18 | 0.036 % |
12.12/12.15 c | 59947 | 8330 72780 244975 | 37500 34907 18 | 0.036 % |
12.22/12.26 c | 60459 | 8330 72780 244975 | 34960 35419 18 | 0.036 % |
12.42/12.44 c | 60971 | 8330 72780 244975 | 34960 31162 18 | 0.036 % |
12.52/12.59 c | 61996 | 8330 72780 244975 | 34960 32187 18 | 0.036 % |
13.02/13.04 c | 64044 | 8330 72780 244975 | 34960 34235 18 | 0.036 % |
13.12/13.13 c | 64556 | 8330 72780 244975 | 34960 34747 18 | 0.036 % |
13.22/13.28 c | 65068 | 8330 72780 244975 | 34960 35259 18 | 0.036 % |
13.52/13.57 c | 66093 | 8330 72780 244975 | 34960 31717 18 | 0.036 % |
13.72/13.73 c | 66605 | 8330 72780 244975 | 34960 32229 18 | 0.036 % |
13.82/13.85 c | 67118 | 8330 72780 244975 | 34960 32742 18 | 0.036 % |
14.12/14.14 c | 68142 | 8330 72780 244975 | 34960 33766 18 | 0.036 % |
14.62/14.62 c | 70190 | 8330 72780 244975 | 30981 31171 18 | 0.036 % |
15.62/15.61 c | 74287 | 8330 72780 244975 | 30981 31218 18 | 0.036 % |
17.82/17.87 c | 82479 | 8330 72780 244975 | 30157 29449 18 | 0.036 % |
22.72/22.75 c | 98864 | 8330 72780 244975 | 2147483647 36689 19 | 0.036 % |
22.82/22.90 c | 99379 | 8330 72780 244975 | 2147483647 37204 19 | 0.036 % |
23.02/23.03 c | 99893 | 8330 72780 244975 | 2147483647 37718 19 | 0.036 % |
23.32/23.31 c | 100918 | 8330 72780 244975 | 2147483647 38743 19 | 0.036 % |
23.42/23.44 c | 101430 | 8330 72780 244975 | 2147483647 39255 20 | 0.036 % |
23.52/23.53 c | 101942 | 8330 72780 244975 | 2147483647 39767 20 | 0.036 % |
23.82/23.84 c | 102967 | 8330 72780 244975 | 2147483647 40792 20 | 0.036 % |
24.52/24.51 c | 105015 | 8330 72780 244975 | 2147483647 42840 20 | 0.036 % |
24.52/24.59 c | 105527 | 8330 72780 244975 | 2147483647 43352 20 | 0.036 % |
24.62/24.70 c | 106042 | 8330 72780 244975 | 2147483647 43867 20 | 0.036 % |
24.82/24.87 c | 107067 | 8330 72780 244975 | 2147483647 44892 20 | 0.036 % |
24.92/24.96 c | 107580 | 8330 72780 244975 | 2147483647 45405 20 | 0.036 % |
25.02/25.07 c | 108092 | 8330 72780 244975 | 2147483647 45917 20 | 0.036 % |
25.22/25.24 c | 109116 | 8330 72780 244975 | 2147483647 46941 19 | 0.036 % |
25.62/25.69 c | 111164 | 8330 72780 244975 | 47825 42781 19 | 0.036 % |
26.52/26.56 c | 115260 | 8330 72780 244975 | 47825 46877 19 | 0.036 % |
26.72/26.71 c | 115772 | 8330 72780 244975 | 47825 47389 19 | 0.036 % |
26.72/26.81 c | 116287 | 8330 72780 244975 | 47825 47904 19 | 0.036 % |
27.02/27.10 c | 117312 | 8330 72780 244975 | 47825 40596 18 | 0.036 % |
27.22/27.24 c | 117824 | 8330 72780 244975 | 47825 41108 18 | 0.036 % |
27.32/27.34 c | 118336 | 8330 72780 244975 | 47825 41620 18 | 0.036 % |
27.62/27.66 c | 119361 | 8330 72780 244975 | 47825 42645 18 | 0.036 % |
28.32/28.31 c | 121409 | 8330 72780 244975 | 43284 37225 17 | 0.036 % |
28.42/28.45 c | 121921 | 8330 72780 244975 | 43284 37737 17 | 0.036 % |
28.52/28.56 c | 122433 | 8330 72780 244975 | 43284 38249 17 | 0.036 % |
28.82/28.88 c | 123458 | 8330 72780 244975 | 43284 39274 17 | 0.036 % |
28.92/28.99 c | 123970 | 8330 72780 244975 | 43284 39786 18 | 0.036 % |
29.12/29.12 c | 124483 | 8330 72780 244975 | 43284 40299 18 | 0.036 % |
29.32/29.40 c | 125509 | 8330 72780 244975 | 43284 41325 18 | 0.036 % |
29.72/29.78 c | 127557 | 8330 72780 244975 | 43284 43373 17 | 0.036 % |
30.82/30.87 c | 131657 | 8330 72780 244975 | 38788 34336 16 | 0.036 % |
33.42/33.50 c | 139849 | 8330 72780 244975 | 38788 35926 17 | 0.036 % |
33.62/33.63 c | 140364 | 8330 72780 244975 | 36077 36441 17 | 0.036 % |
33.82/33.82 c | 140883 | 8330 72780 244975 | 36077 30899 17 | 0.036 % |
34.02/34.05 c | 141908 | 8330 72780 244975 | 36077 31924 17 | 0.036 % |
34.22/34.21 c | 142420 | 8330 72780 244975 | 36077 32436 17 | 0.036 % |
34.32/34.35 c | 142932 | 8330 72780 244975 | 36077 32948 17 | 0.036 % |
34.62/34.65 c | 143958 | 8330 72780 244975 | 36077 33974 17 | 0.036 % |
35.42/35.44 c | 146006 | 8330 72780 244975 | 36077 36022 17 | 0.036 % |
35.62/35.62 c | 146518 | 8330 72780 244975 | 36077 30591 16 | 0.036 % |
35.72/35.79 c | 147031 | 8330 72780 244975 | 36077 31104 16 | 0.036 % |
36.12/36.16 c | 148055 | 8330 72780 244975 | 36077 32128 16 | 0.036 % |
36.32/36.32 c | 148567 | 8330 72780 244975 | 36077 32640 16 | 0.036 % |
36.52/36.57 c | 149079 | 8330 72780 244975 | 36077 33152 16 | 0.036 % |
36.92/36.93 c | 150105 | 8330 72780 244975 | 34073 34178 17 | 0.036 % |
37.62/37.65 c | 152154 | 8330 72780 244975 | 34073 30404 16 | 0.036 % |
39.32/39.37 c | 156252 | 8330 72780 244975 | 34073 28679 16 | 0.036 % |
39.62/39.62 c | 156764 | 8330 72780 244975 | 34073 29191 16 | 0.036 % |
39.72/39.80 c | 157278 | 8330 72780 244975 | 34073 29705 16 | 0.036 % |
40.12/40.15 c | 158304 | 8330 72780 244975 | 34073 30731 16 | 0.036 % |
40.32/40.35 c | 158816 | 8330 72780 244975 | 34073 31243 16 | 0.036 % |
40.52/40.52 c | 159329 | 8330 72780 244975 | 34073 31756 16 | 0.036 % |
40.92/40.91 c | 160353 | 8330 72780 244975 | 32428 27262 15 | 0.036 % |
41.62/41.67 c | 162402 | 8330 72780 244975 | 32428 29311 16 | 0.036 % |
41.82/41.89 c | 162914 | 8330 72780 244975 | 32428 29823 16 | 0.036 % |
42.02/42.07 c | 163426 | 8330 72780 244975 | 32428 30335 16 | 0.036 % |
42.42/42.42 c | 164450 | 8330 72780 244975 | 32428 31359 16 | 0.036 % |
42.52/42.60 c | 164963 | 8330 72780 244975 | 32428 31872 16 | 0.036 % |
42.82/42.83 c | 165479 | 8330 72780 244975 | 32428 32388 16 | 0.036 % |
43.22/43.29 c | 166504 | 8330 72780 244975 | 32428 28114 15 | 0.036 % |
44.02/44.10 c | 168556 | 8330 72780 244975 | 32428 30166 16 | 0.036 % |
45.72/45.78 c | 172652 | 8330 72780 244975 | 31610 29226 15 | 0.036 % |
48.72/48.80 c | 180844 | 8330 72780 244975 | 31544 27554 15 | 0.036 % |
51.72/51.76 c | 197231 | 8328 72492 243834 | 2147483647 26462 17 | 0.060 % |
64.72/64.73 c | 229999 | 8327 72489 243828 | 49233 43192 19 | 0.072 % |
64.82/64.87 c | 230512 | 8327 72489 243828 | 43193 43705 19 | 0.072 % |
65.02/65.04 c | 231024 | 8327 72489 243828 | 43193 36768 18 | 0.072 % |
65.22/65.28 c | 232049 | 8327 72489 243828 | 43193 37793 18 | 0.072 % |
65.42/65.40 c | 232563 | 8327 72489 243828 | 43193 38307 18 | 0.072 % |
65.42/65.47 c | 233075 | 8327 72489 243828 | 43193 38819 18 | 0.072 % |
65.92/65.93 c | 234099 | 8327 72489 243828 | 43193 39843 18 | 0.072 % |
66.52/66.54 c | 236149 | 8327 72489 243828 | 43193 41893 18 | 0.072 % |
66.72/66.76 c | 236661 | 8327 72489 243828 | 43193 42405 18 | 0.072 % |
66.92/66.92 c | 237173 | 8327 72489 243828 | 43193 42917 18 | 0.072 % |
67.22/67.30 c | 238198 | 8327 72489 243828 | 43193 36701 18 | 0.072 % |
67.42/67.46 c | 238710 | 8327 72489 243828 | 43193 37213 18 | 0.072 % |
67.62/67.63 c | 239222 | 8327 72489 243828 | 43193 37725 18 | 0.072 % |
67.92/68.00 c | 240246 | 8327 72489 243828 | 38503 38749 18 | 0.072 % |
68.72/68.74 c | 242294 | 8327 72489 243828 | 38503 34624 17 | 0.072 % |
69.92/69.96 c | 246390 | 8327 72489 243828 | 38503 38720 18 | 0.072 % |
70.12/70.18 c | 246902 | 8327 72489 243828 | 38503 34045 18 | 0.072 % |
70.32/70.32 c | 247414 | 8327 72489 243828 | 38503 34557 18 | 0.072 % |
70.72/70.71 c | 248438 | 8327 72489 243828 | 38503 35581 18 | 0.072 % |
70.82/70.88 c | 248950 | 8327 72489 243828 | 38503 36093 18 | 0.072 % |
71.02/71.02 c | 249462 | 8327 72489 243828 | 38503 36605 18 | 0.072 % |
71.22/71.27 c | 250486 | 8327 72489 243828 | 37143 37629 18 | 0.072 % |
71.82/71.88 c | 252534 | 8327 72489 243828 | 37143 34837 18 | 0.072 % |
72.02/72.02 c | 253046 | 8327 72489 243828 | 37143 35349 18 | 0.072 % |
72.12/72.19 c | 253559 | 8327 72489 243828 | 37143 35862 19 | 0.072 % |
72.42/72.41 c | 254585 | 8312 71067 236225 | 37143 34852 19 | 0.252 % |
72.52/72.57 c | 255097 | 8312 71067 236225 | 37143 35364 19 | 0.252 % |
72.63/72.70 c | 255609 | 8312 71067 236225 | 37143 35876 19 | 0.252 % |
73.02/73.03 c | 256633 | 8312 71067 236225 | 37143 36900 19 | 0.252 % |
73.62/73.70 c | 258681 | 8312 71067 236225 | 37143 34272 19 | 0.252 % |
75.02/75.04 c | 262777 | 8312 71067 236225 | 35593 33961 19 | 0.252 % |
78.02/78.11 c | 270971 | 8312 71067 236225 | 32577 29640 18 | 0.252 % |
78.32/78.32 c | 271483 | 8312 71067 236225 | 32577 30152 18 | 0.252 % |
78.42/78.48 c | 271997 | 8312 71067 236225 | 32577 30666 18 | 0.252 % |
78.72/78.74 c | 273021 | 8312 71067 236225 | 32577 31690 18 | 0.252 % |
78.92/78.93 c | 273534 | 8310 71061 236213 | 32577 32184 18 | 0.276 % |
79.02/79.06 c | 274046 | 8310 71061 236213 | 32577 32696 18 | 0.276 % |
79.42/79.47 c | 275070 | 8310 71061 236213 | 32577 30104 17 | 0.276 % |
80.02/80.06 c | 277120 | 8309 71061 236213 | 32577 32153 18 | 0.288 % |
80.22/80.23 c | 277633 | 8309 71061 236213 | 32577 32666 18 | 0.288 % |
80.42/80.43 c | 278145 | 8309 71058 236207 | 32577 29427 17 | 0.288 % |
80.82/80.84 c | 279169 | 8309 71058 236207 | 32577 30451 17 | 0.288 % |
80.92/81.00 c | 279681 | 8309 71058 236207 | 32577 30963 17 | 0.288 % |
81.12/81.16 c | 280195 | 8309 71058 236207 | 31282 31477 18 | 0.288 % |
81.43/81.48 c | 281219 | 8309 71058 236207 | 31282 28877 17 | 0.288 % |
82.12/82.17 c | 283267 | 8309 71058 236207 | 31282 30925 17 | 0.288 % |
83.52/83.57 c | 287365 | 8309 71058 236207 | 31282 31829 17 | 0.288 % |
83.72/83.77 c | 287879 | 8309 71058 236207 | 31282 28731 17 | 0.288 % |
83.82/83.90 c | 288391 | 8309 71058 236207 | 31282 29243 17 | 0.288 % |
84.22/84.26 c | 289419 | 8309 71058 236207 | 31282 30271 17 | 0.288 % |
84.32/84.38 c | 289932 | 8309 71058 236207 | 31282 30784 17 | 0.288 % |
84.52/84.52 c | 290444 | 8309 71058 236207 | 30852 31296 17 | 0.288 % |
84.82/84.86 c | 291468 | 8309 71058 236207 | 30852 28738 17 | 0.288 % |
85.42/85.49 c | 293517 | 8309 71058 236207 | 30852 30787 17 | 0.288 % |
85.62/85.70 c | 294029 | 8309 71058 236207 | 30852 27711 17 | 0.288 % |
85.83/85.84 c | 294543 | 8309 71058 236207 | 30852 28225 17 | 0.288 % |
86.12/86.19 c | 295568 | 8309 71058 236207 | 30852 29250 17 | 0.288 % |
86.32/86.38 c | 296082 | 8309 71058 236207 | 30852 29764 17 | 0.288 % |
86.52/86.55 c | 296594 | 8309 71058 236207 | 30852 30276 17 | 0.288 % |
86.82/86.88 c | 297618 | 8309 71058 236207 | 30852 27790 17 | 0.288 % |
87.52/87.54 c | 299666 | 8309 71058 236207 | 30852 29838 17 | 0.288 % |
88.72/88.80 c | 303763 | 8309 71058 236207 | 30172 27413 17 | 0.288 % |
91.52/91.58 c | 311956 | 8309 71058 236207 | 2147483647 29538 17 | 0.288 % |
99.53/99.60 c | 328340 | 8309 71058 236207 | 2147483647 45922 18 | 0.288 % |
99.83/99.89 c | 328853 | 8309 71058 236207 | 2147483647 46435 18 | 0.288 % |
100.13/100.15 c | 329366 | 8309 71058 236207 | 2147483647 46948 18 | 0.288 % |
100.63/100.62 c | 330390 | 8309 71058 236207 | 47582 47972 18 | 0.288 % |
100.83/100.91 c | 330902 | 8309 71058 236207 | 47582 41032 18 | 0.288 % |
101.13/101.13 c | 331416 | 8309 71058 236207 | 47582 41546 18 | 0.288 % |
101.63/101.64 c | 332442 | 8309 71058 236207 | 47582 42572 18 | 0.288 % |
102.63/102.63 c | 334490 | 8309 71058 236207 | 47582 44620 18 | 0.288 % |
102.83/102.88 c | 335002 | 8309 71058 236207 | 47582 45132 18 | 0.288 % |
103.03/103.06 c | 335516 | 8309 71058 236207 | 47582 45646 18 | 0.288 % |
103.43/103.43 c | 336541 | 8309 71058 236207 | 47582 46671 18 | 0.288 % |
103.63/103.67 c | 337055 | 8309 71058 236207 | 47582 47185 18 | 0.288 % |
103.93/103.92 c | 337568 | 8309 71058 236207 | 47582 47698 18 | 0.288 % |
104.33/104.37 c | 338592 | 8309 71058 236207 | 47582 40438 18 | 0.288 % |
105.13/105.21 c | 340640 | 8309 71058 236207 | 41846 35292 18 | 0.288 % |
106.63/106.69 c | 344736 | 8309 71058 236207 | 41846 39388 18 | 0.288 % |
106.83/106.86 c | 345248 | 8309 71058 236207 | 41846 39900 18 | 0.288 % |
107.03/107.03 c | 345761 | 8309 71058 236207 | 41846 40413 18 | 0.288 % |
107.43/107.47 c | 346785 | 8309 71058 236207 | 41846 41437 18 | 0.288 % |
107.73/107.75 c | 347297 | 8309 71058 236207 | 41846 41949 18 | 0.288 % |
108.03/108.03 c | 347811 | 8309 71058 236207 | 41846 35482 18 | 0.288 % |
108.43/108.46 c | 348838 | 8309 71058 236207 | 41846 36509 18 | 0.288 % |
109.13/109.14 c | 350887 | 8309 71058 236207 | 37673 32515 17 | 0.288 % |
109.23/109.29 c | 351400 | 8309 71058 236207 | 37673 33028 18 | 0.288 % |
109.53/109.52 c | 351913 | 8309 71058 236207 | 37673 33541 18 | 0.288 % |
109.83/109.87 c | 352937 | 8309 71058 236207 | 37673 34565 18 | 0.288 % |
110.03/110.09 c | 353449 | 8309 71058 236207 | 37673 35077 18 | 0.288 % |
110.23/110.27 c | 353964 | 8309 71058 236207 | 37673 35592 18 | 0.288 % |
110.63/110.69 c | 354989 | 8309 71058 236207 | 37673 36617 18 | 0.288 % |
111.43/111.45 c | 357037 | 8309 71058 236207 | 37673 32833 17 | 0.288 % |
112.83/112.89 c | 361135 | 8309 71058 236207 | 35797 31686 17 | 0.288 % |
115.84/115.85 c | 369327 | 8309 71058 236207 | 35797 35139 18 | 0.288 % |
116.04/116.03 c | 369839 | 8309 71058 236207 | 35797 35651 18 | 0.288 % |
116.14/116.14 c | 370351 | 8309 71058 236207 | 35813 36163 18 | 0.288 % |
116.44/116.49 c | 371375 | 8309 71058 236207 | 35813 32778 18 | 0.288 % |
116.64/116.66 c | 371887 | 8309 71058 236207 | 35813 33290 18 | 0.288 % |
116.84/116.90 c | 372399 | 8309 71058 236207 | 35813 33802 18 | 0.288 % |
117.24/117.26 c | 373424 | 8309 71058 236207 | 35813 34827 18 | 0.288 % |
118.04/118.04 c | 375474 | 8309 71058 236207 | 35813 32325 17 | 0.288 % |
118.14/118.18 c | 375986 | 8309 71058 236207 | 35813 32837 17 | 0.288 % |
118.34/118.34 c | 376498 | 8309 71058 236207 | 35813 33349 17 | 0.288 % |
118.74/118.73 c | 377526 | 8309 71058 236207 | 35813 34377 17 | 0.288 % |
118.94/118.93 c | 378039 | 8309 71058 236207 | 35813 34890 18 | 0.288 % |
119.14/119.13 c | 378551 | 8309 71058 236207 | 35813 35402 18 | 0.288 % |
119.54/119.53 c | 379577 | 8309 71058 236207 | 35813 31693 17 | 0.288 % |
120.14/120.17 c | 381625 | 8309 71058 236207 | 32116 29690 18 | 0.288 % |
121.44/121.51 c | 385722 | 8309 71058 236207 | 32116 30050 17 | 0.288 % |
121.64/121.69 c | 386234 | 8309 71058 236207 | 32116 30562 18 | 0.288 % |
121.84/121.87 c | 386746 | 8309 71058 236207 | 32116 31074 18 | 0.288 % |
122.24/122.26 c | 387771 | 8309 71058 236207 | 32116 32099 18 | 0.288 % |
122.44/122.49 c | 388284 | 8309 71058 236207 | 32116 29090 17 | 0.288 % |
122.64/122.64 c | 388797 | 8309 71058 236207 | 32116 29603 17 | 0.288 % |
123.04/123.03 c | 389821 | 8309 71058 236207 | 32116 30627 17 | 0.288 % |
123.84/123.87 c | 391872 | 8309 71058 236207 | 30806 29379 18 | 0.288 % |
123.94/124.01 c | 392384 | 8309 71058 236207 | 30806 29891 18 | 0.288 % |
124.14/124.20 c | 392896 | 8309 71058 236207 | 30806 30403 18 | 0.288 % |
124.54/124.59 c | 393920 | 8309 71058 236207 | 30806 28330 17 | 0.288 % |
124.74/124.74 c | 394432 | 8309 71058 236207 | 30806 28842 18 | 0.288 % |
124.84/124.92 c | 394947 | 8309 71058 236207 | 30806 29357 18 | 0.288 % |
125.24/125.32 c | 395972 | 8309 71058 236207 | 30806 30382 18 | 0.288 % |
126.04/126.11 c | 398020 | 8309 71058 236207 | 30806 29328 18 | 0.288 % |
127.54/127.53 c | 402117 | 8309 71058 236207 | 2147483647 30314 17 | 0.288 % |
130.84/130.84 c | 410309 | 8309 71058 236207 | 38198 33582 17 | 0.288 % |
138.74/138.82 c | 426694 | 8309 71058 236207 | 38042 33802 17 | 0.288 % |
151.94/151.96 c | 459462 | 8309 71058 236207 | 32534 30706 18 | 0.288 % |
180.34/180.41 c | 524998 | 8309 71058 236207 | 32148 30270 20 | 0.288 % |
180.54/180.56 c | 525511 | 8309 71058 236207 | 32148 30783 20 | 0.288 % |
180.64/180.68 c | 526025 | 8309 71058 236207 | 32148 31297 20 | 0.288 % |
180.94/180.94 c | 527051 | 8307 71055 236201 | 32148 32315 20 | 0.312 % |
181.04/181.10 c | 527564 | 8307 71055 236201 | 32148 29597 20 | 0.312 % |
181.24/181.27 c | 528077 | 8307 71055 236201 | 32148 30110 20 | 0.312 % |
181.55/181.60 c | 529101 | 8307 71055 236201 | 32148 31134 20 | 0.312 % |
182.14/182.21 c | 531149 | 8307 71055 236201 | 2147483647 33182 20 | 0.312 % |
182.34/182.38 c | 531661 | 8307 71052 236195 | 2147483647 33691 20 | 0.312 % |
182.54/182.53 c | 532173 | 8307 71052 236195 | 2147483647 34203 20 | 0.312 % |
182.65/182.69 c | 533197 | 8307 71052 236195 | 2147483647 35227 20 | 0.312 % |
182.84/182.84 c | 533709 | 8307 71052 236195 | 2147483647 35739 20 | 0.312 % |
182.94/182.96 c | 534221 | 8307 71052 236195 | 2147483647 36251 20 | 0.312 % |
183.44/183.45 c | 535245 | 8307 71052 236195 | 2147483647 37275 20 | 0.312 % |
184.44/184.48 c | 537294 | 8307 71052 236195 | 2147483647 39324 20 | 0.312 % |
186.14/186.15 c | 541390 | 8307 71052 236195 | 42030 38474 19 | 0.312 % |
186.34/186.36 c | 541902 | 8307 71052 236195 | 42030 38986 19 | 0.312 % |
186.54/186.54 c | 542414 | 8307 71052 236195 | 42030 39498 20 | 0.312 % |
186.94/186.94 c | 543439 | 8307 71052 236195 | 42030 40523 20 | 0.312 % |
187.14/187.12 c | 543952 | 8307 71052 236195 | 42030 41036 20 | 0.312 % |
187.24/187.30 c | 544466 | 8307 71052 236195 | 42030 41550 20 | 0.312 % |
187.64/187.68 c | 545490 | 8307 71052 236195 | 42030 36951 19 | 0.312 % |
188.34/188.35 c | 547538 | 8307 71052 236195 | 42030 38999 19 | 0.312 % |
188.54/188.59 c | 548051 | 8307 71052 236195 | 42030 39512 19 | 0.312 % |
188.74/188.75 c | 548566 | 8307 71052 236195 | 42030 40027 19 | 0.312 % |
189.14/189.14 c | 549590 | 8307 71052 236195 | 42030 41051 19 | 0.312 % |
189.34/189.36 c | 550102 | 8307 71052 236195 | 41461 41563 19 | 0.312 % |
189.54/189.61 c | 550617 | 8307 71052 236195 | 41461 36118 18 | 0.312 % |
189.94/189.96 c | 551641 | 8307 71052 236195 | 41461 37142 18 | 0.312 % |
190.84/190.86 c | 553691 | 8307 71052 236195 | 41461 39192 18 | 0.312 % |
192.44/192.42 c | 557789 | 8307 71052 236195 | 41461 37348 18 | 0.312 % |
195.34/195.41 c | 565981 | 8307 71052 236195 | 39559 35083 18 | 0.312 % |
195.54/195.61 c | 566493 | 8307 71052 236195 | 39559 35595 18 | 0.312 % |
195.74/195.81 c | 567006 | 8307 71052 236195 | 39559 36108 18 | 0.312 % |
196.15/196.20 c | 568030 | 8307 71052 236195 | 39559 37132 18 | 0.312 % |
196.35/196.40 c | 568542 | 8307 71052 236195 | 39559 37644 18 | 0.312 % |
196.55/196.56 c | 569054 | 8307 71052 236195 | 39559 38156 18 | 0.312 % |
196.95/196.94 c | 570078 | 8307 71052 236195 | 39102 39180 18 | 0.312 % |
197.65/197.68 c | 572126 | 8307 71052 236195 | 39102 35768 18 | 0.312 % |
197.85/197.91 c | 572639 | 8307 71052 236195 | 39102 36281 18 | 0.312 % |
198.15/198.14 c | 573153 | 8307 71052 236195 | 39102 36795 18 | 0.312 % |
198.45/198.47 c | 574180 | 8307 71052 236195 | 39102 37822 18 | 0.312 % |
198.65/198.62 c | 574692 | 8307 71052 236195 | 39102 38334 18 | 0.312 % |
198.75/198.81 c | 575205 | 8307 71052 236195 | 39102 38847 18 | 0.312 % |
199.25/199.28 c | 576231 | 8307 71052 236195 | 39102 33910 17 | 0.312 % |
199.85/199.90 c | 578279 | 8307 71052 236195 | 39102 35958 17 | 0.312 % |
201.55/201.59 c | 582376 | 8307 71052 236195 | 37679 34293 17 | 0.312 % |
201.75/201.78 c | 582889 | 8307 71052 236195 | 37679 34806 17 | 0.312 % |
201.95/201.99 c | 583403 | 8307 71052 236195 | 37679 35320 17 | 0.312 % |
202.35/202.38 c | 584428 | 8307 71052 236195 | 37679 36345 17 | 0.312 % |
202.65/202.63 c | 584940 | 8307 71052 236195 | 37679 36857 17 | 0.312 % |
202.85/202.87 c | 585452 | 8307 71052 236195 | 37679 37369 17 | 0.312 % |
203.15/203.22 c | 586477 | 8307 71052 236195 | 37679 32752 17 | 0.312 % |
203.95/203.97 c | 588526 | 8307 71052 236195 | 37679 34801 17 | 0.312 % |
204.15/204.16 c | 589040 | 8307 71052 236195 | 37679 35315 17 | 0.312 % |
204.35/204.40 c | 589555 | 8307 71052 236195 | 37679 35830 17 | 0.312 % |
204.85/204.89 c | 590580 | 8307 71052 236195 | 36275 31509 16 | 0.312 % |
204.95/205.02 c | 591092 | 8307 71052 236195 | 36275 32021 16 | 0.312 % |
205.25/205.23 c | 591604 | 8307 71052 236195 | 36275 32533 16 | 0.312 % |
205.65/205.72 c | 592628 | 8307 71052 236195 | 36275 33557 17 | 0.312 % |
206.65/206.66 c | 594676 | 8307 71052 236195 | 36275 35605 17 | 0.312 % |
208.45/208.43 c | 598772 | 8307 71052 236195 | 36275 34917 17 | 0.312 % |
211.75/211.76 c | 606964 | 8307 71052 236195 | 36146 34151 18 | 0.312 % |
218.75/218.76 c | 623348 | 8307 71052 236195 | 2147483647 35404 18 | 0.312 % |
218.95/219.01 c | 623860 | 8307 71052 236195 | 2147483647 35916 18 | 0.312 % |
219.15/219.22 c | 624373 | 8307 71052 236195 | 2147483647 36429 18 | 0.312 % |
219.55/219.60 c | 625398 | 8307 71052 236195 | 2147483647 37454 18 | 0.312 % |
219.75/219.79 c | 625910 | 8307 71052 236195 | 2147483647 37966 18 | 0.312 % |
219.95/220.01 c | 626423 | 8307 71052 236195 | 2147483647 38479 19 | 0.312 % |
220.35/220.40 c | 627447 | 8307 71052 236195 | 2147483647 39503 19 | 0.312 % |
221.25/221.24 c | 629497 | 8307 71052 236195 | 2147483647 41553 19 | 0.312 % |
221.55/221.52 c | 630009 | 8307 71052 236195 | 42057 42065 19 | 0.312 % |
221.75/221.79 c | 630523 | 8307 71052 236195 | 42057 36812 18 | 0.312 % |
222.15/222.13 c | 631547 | 8307 71052 236195 | 42057 37836 18 | 0.312 % |
222.25/222.30 c | 632059 | 8307 71052 236195 | 42057 38348 18 | 0.312 % |
222.45/222.49 c | 632571 | 8307 71052 236195 | 42057 38860 18 | 0.312 % |
222.85/222.90 c | 633596 | 8307 71052 236195 | 42057 39885 18 | 0.312 % |
223.65/223.63 c | 635644 | 8307 71052 236195 | 42057 41933 19 | 0.312 % |
225.15/225.21 c | 639740 | 8307 71052 236195 | 42057 39625 18 | 0.312 % |
225.45/225.44 c | 640252 | 8307 71052 236195 | 39886 33748 18 | 0.312 % |
225.55/225.60 c | 640765 | 8307 71052 236195 | 39886 34261 18 | 0.312 % |
225.85/225.89 c | 641790 | 8307 71052 236195 | 39886 35286 18 | 0.312 % |
226.05/226.05 c | 642303 | 8307 71052 236195 | 39886 35799 18 | 0.312 % |
226.25/226.28 c | 642815 | 8304 71043 236177 | 39886 36301 18 | 0.348 % |
226.65/226.64 c | 643839 | 8304 71043 236177 | 39886 37325 18 | 0.348 % |
227.35/227.39 c | 645887 | 8304 71043 236177 | 39886 39373 18 | 0.348 % |
227.55/227.62 c | 646399 | 8304 71043 236177 | 39886 39885 18 | 0.348 % |
227.85/227.87 c | 646911 | 8304 71043 236177 | 39886 34671 17 | 0.348 % |
228.25/228.23 c | 647935 | 8304 71043 236177 | 39886 35695 18 | 0.348 % |
228.35/228.37 c | 648447 | 8304 71043 236177 | 39886 36207 18 | 0.348 % |
228.55/228.54 c | 648959 | 8304 71043 236177 | 39886 36719 18 | 0.348 % |
228.85/228.87 c | 649984 | 8304 71043 236177 | 39886 37744 18 | 0.348 % |
229.65/229.67 c | 652032 | 8304 71043 236177 | 37760 34456 17 | 0.348 % |
231.25/231.28 c | 656128 | 8304 71043 236177 | 37760 33324 18 | 0.348 % |
234.35/234.40 c | 664321 | 8304 71043 236177 | 37199 36560 18 | 0.348 % |
234.55/234.58 c | 664833 | 8304 71043 236177 | 37199 37072 18 | 0.348 % |
234.75/234.81 c | 665346 | 8304 71043 236177 | 37199 32834 18 | 0.348 % |
235.05/235.10 c | 666371 | 8304 71043 236177 | 37199 33859 18 | 0.348 % |
235.35/235.33 c | 666884 | 8304 71043 236177 | 37199 34372 18 | 0.348 % |
235.55/235.55 c | 667398 | 8304 71043 236177 | 37199 34886 18 | 0.348 % |
235.95/235.95 c | 668423 | 8304 71043 236177 | 37199 35911 18 | 0.348 % |
236.65/236.68 c | 670473 | 8304 71043 236177 | 37488 32882 18 | 0.348 % |
236.85/236.83 c | 670985 | 8304 71043 236177 | 37488 33394 18 | 0.348 % |
236.95/237.00 c | 671497 | 8304 71043 236177 | 37488 33906 18 | 0.348 % |
237.25/237.26 c | 672521 | 8304 71043 236177 | 37488 34930 18 | 0.348 % |
237.45/237.49 c | 673033 | 8304 71043 236177 | 37488 35442 18 | 0.348 % |
237.65/237.72 c | 673545 | 8304 71043 236177 | 37488 35954 18 | 0.348 % |
238.15/238.12 c | 674569 | 8304 71043 236177 | 37488 36978 18 | 0.348 % |
238.85/238.91 c | 676617 | 8304 71043 236177 | 37488 33860 18 | 0.348 % |
240.85/240.89 c | 680713 | 8304 71043 236177 | 37243 33068 17 | 0.348 % |
241.05/241.09 c | 681227 | 8304 71043 236177 | 37243 33582 17 | 0.348 % |
241.25/241.27 c | 681740 | 8304 71043 236177 | 37243 34095 17 | 0.348 % |
241.55/241.61 c | 682766 | 8304 71043 236177 | 37243 35121 18 | 0.348 % |
241.85/241.84 c | 683280 | 8304 71043 236177 | 37243 35635 18 | 0.348 % |
242.05/242.06 c | 683793 | 8304 71043 236177 | 37243 36148 18 | 0.348 % |
242.45/242.48 c | 684817 | 8304 71043 236177 | 37243 37172 18 | 0.348 % |
243.25/243.23 c | 686866 | 8304 71043 236177 | 37243 33641 17 | 0.348 % |
243.35/243.40 c | 687378 | 8304 71043 236177 | 37243 34153 17 | 0.348 % |
243.55/243.61 c | 687890 | 8304 71043 236177 | 37243 34665 17 | 0.348 % |
243.95/243.96 c | 688915 | 8304 71043 236177 | 37243 35690 17 | 0.348 % |
244.05/244.10 c | 689427 | 8304 71043 236177 | 37243 36202 17 | 0.348 % |
244.25/244.32 c | 689939 | 8304 71043 236177 | 37243 36714 17 | 0.348 % |
244.65/244.69 c | 690963 | 8304 71043 236177 | 36776 32667 17 | 0.348 % |
245.25/245.26 c | 693011 | 8304 71043 236177 | 36776 34715 17 | 0.348 % |
247.04/247.03 c | 697108 | 8304 71043 236177 | 36776 33702 17 | 0.348 % |
250.34/250.36 c | 705301 | 8304 71043 236177 | 36596 36845 18 | 0.348 % |
256.64/256.66 c | 721685 | 8302 71037 236165 | 31567 29812 17 | 0.372 % |
271.24/271.27 c | 754454 | 8301 71034 236159 | 39161 37794 18 | 0.384 % |
271.44/271.48 c | 754966 | 8301 71034 236159 | 39161 38306 18 | 0.384 % |
271.64/271.66 c | 755480 | 8301 71034 236159 | 39161 38820 18 | 0.384 % |
272.14/272.14 c | 756504 | 8300 70927 235839 | 39161 34543 18 | 0.396 % |
272.34/272.32 c | 757016 | 8300 70927 235839 | 39161 35055 18 | 0.396 % |
272.44/272.48 c | 757530 | 8300 70927 235839 | 39161 35569 18 | 0.396 % |
272.85/272.85 c | 758557 | 8300 70927 235839 | 39161 36596 18 | 0.396 % |
273.54/273.54 c | 760605 | 8300 70927 235839 | 38040 33556 19 | 0.396 % |
273.74/273.72 c | 761118 | 8300 70927 235839 | 38040 34069 19 | 0.396 % |
273.84/273.89 c | 761630 | 8300 70927 235839 | 38040 34581 19 | 0.396 % |
274.34/274.32 c | 762655 | 8300 70927 235839 | 38040 35606 19 | 0.396 % |
274.54/274.54 c | 763167 | 8300 70927 235839 | 38040 36118 19 | 0.396 % |
274.74/274.72 c | 763679 | 8300 70927 235839 | 38040 36630 19 | 0.396 % |
275.24/275.24 c | 764703 | 8300 70927 235839 | 38040 37654 19 | 0.396 % |
276.15/276.13 c | 766751 | 8300 70927 235839 | 38040 34206 18 | 0.396 % |
277.74/277.77 c | 770847 | 8300 70927 235839 | 37455 33039 18 | 0.396 % |
277.94/277.97 c | 771359 | 8300 70927 235839 | 37455 33551 18 | 0.396 % |
278.14/278.17 c | 771872 | 8300 70927 235839 | 37455 34064 18 | 0.396 % |
278.54/278.51 c | 772897 | 8300 70927 235839 | 37455 35089 18 | 0.396 % |
278.64/278.68 c | 773409 | 8300 70927 235839 | 37455 35601 18 | 0.396 % |
278.84/278.86 c | 773921 | 8300 70927 235839 | 37455 36113 18 | 0.396 % |
279.34/279.34 c | 774946 | 8300 70927 235839 | 37455 37138 18 | 0.396 % |
280.34/280.32 c | 776995 | 8300 70927 235839 | 37455 33893 18 | 0.396 % |
280.55/280.55 c | 777508 | 8300 70927 235839 | 37455 34406 18 | 0.396 % |
280.74/280.73 c | 778021 | 8300 70927 235839 | 37455 34919 18 | 0.396 % |
281.04/281.10 c | 779046 | 8300 70927 235839 | 37455 35944 18 | 0.396 % |
281.34/281.34 c | 779559 | 8300 70927 235839 | 37455 36457 18 | 0.396 % |
281.54/281.53 c | 780071 | 8300 70927 235839 | 36899 36969 18 | 0.396 % |
281.94/281.93 c | 781096 | 8300 70927 235839 | 36899 32914 18 | 0.396 % |
282.64/282.66 c | 783144 | 8300 70927 235839 | 36899 34962 18 | 0.396 % |
284.04/284.09 c | 787240 | 8300 70927 235839 | 36899 34044 17 | 0.396 % |
288.04/288.08 c | 795432 | 8300 70927 235839 | 36805 37032 17 | 0.396 % |
288.25/288.28 c | 795944 | 8300 70927 235839 | 36805 31613 17 | 0.396 % |
288.44/288.46 c | 796457 | 8300 70927 235839 | 36805 32126 17 | 0.396 % |
288.74/288.71 c | 797483 | 8300 70927 235839 | 36805 33152 17 | 0.396 % |
288.84/288.84 c | 797997 | 8300 70927 235839 | 36805 33666 17 | 0.396 % |
289.04/289.03 c | 798512 | 8300 70927 235839 | 36805 34181 17 | 0.396 % |
289.44/289.48 c | 799537 | 8300 70927 235839 | 36805 35206 17 | 0.396 % |
290.24/290.22 c | 801587 | 8300 70927 235839 | 35672 32154 17 | 0.396 % |
290.34/290.37 c | 802099 | 8300 70927 235839 | 35672 32666 17 | 0.396 % |
290.54/290.53 c | 802613 | 8300 70927 235839 | 35672 33180 17 | 0.396 % |
290.94/290.93 c | 803637 | 8300 70927 235839 | 35672 34204 17 | 0.396 % |
291.14/291.16 c | 804149 | 8300 70927 235839 | 35672 34716 17 | 0.396 % |
291.34/291.37 c | 804661 | 8300 70927 235839 | 35672 35228 17 | 0.396 % |
291.84/291.86 c | 805685 | 8300 70927 235839 | 35672 31623 17 | 0.396 % |
292.65/292.68 c | 807733 | 8300 70927 235839 | 35672 33671 17 | 0.396 % |
294.15/294.20 c | 811830 | 8300 70927 235839 | 35938 33567 17 | 0.396 % |
294.35/294.35 c | 812342 | 8300 70927 235839 | 35938 34079 17 | 0.396 % |
294.55/294.52 c | 812860 | 8300 70927 235839 | 35938 34597 17 | 0.396 % |
294.85/294.88 c | 813884 | 8300 70927 235839 | 35938 35621 18 | 0.396 % |
295.05/295.06 c | 814397 | 8300 70927 235839 | 35938 36134 18 | 0.396 % |
295.25/295.28 c | 814910 | 8300 70927 235839 | 35938 32933 18 | 0.396 % |
295.65/295.71 c | 815935 | 8300 70927 235839 | 35938 33958 18 | 0.396 % |
296.75/296.73 c | 817983 | 8300 70927 235839 | 35938 36006 18 | 0.396 % |
296.95/296.93 c | 818495 | 8300 70927 235839 | 35938 32622 18 | 0.396 % |
297.15/297.19 c | 819007 | 8300 70927 235839 | 35938 33134 18 | 0.396 % |
297.55/297.58 c | 820031 | 8300 70927 235839 | 34127 34158 18 | 0.396 % |
297.75/297.78 c | 820543 | 8300 70927 235839 | 34127 30700 18 | 0.396 % |
297.95/297.93 c | 821056 | 8300 70927 235839 | 34127 31213 18 | 0.396 % |
298.35/298.37 c | 822080 | 8300 70927 235839 | 34127 32237 18 | 0.396 % |
299.05/299.10 c | 824129 | 8299 70924 235833 | 34127 34285 18 | 0.408 % |
300.55/300.54 c | 828225 | 8299 70924 235833 | 34127 30277 18 | 0.408 % |
303.25/303.24 c | 836417 | 8299 70924 235833 | 32053 31274 17 | 0.408 % |
310.25/310.31 c | 852802 | 8299 70924 235833 | 41616 39402 17 | 0.408 % |
310.55/310.52 c | 853314 | 8299 70924 235833 | 41616 39914 18 | 0.408 % |
310.65/310.69 c | 853827 | 8299 70924 235833 | 41616 40427 18 | 0.408 % |
311.05/311.10 c | 854851 | 8299 70924 235833 | 41616 41451 18 | 0.408 % |
311.35/311.38 c | 855363 | 8299 70924 235833 | 41616 36106 17 | 0.408 % |
311.55/311.58 c | 855877 | 8299 70924 235833 | 41616 36620 17 | 0.408 % |
311.85/311.90 c | 856904 | 8299 70924 235833 | 41616 37647 17 | 0.408 % |
312.75/312.79 c | 858955 | 8298 70921 235827 | 41616 39695 17 | 0.420 % |
312.95/312.98 c | 859467 | 8298 70921 235827 | 41616 40207 17 | 0.420 % |
313.15/313.18 c | 859979 | 8298 70921 235827 | 41616 40719 17 | 0.420 % |
313.55/313.61 c | 861005 | 8298 70921 235827 | 40745 35873 17 | 0.420 % |
313.75/313.80 c | 861519 | 8298 70921 235827 | 40745 36387 17 | 0.420 % |
313.95/313.98 c | 862032 | 8298 70921 235827 | 40745 36900 17 | 0.420 % |
314.35/314.34 c | 863057 | 8298 70921 235827 | 40745 37925 17 | 0.420 % |
315.15/315.18 c | 865107 | 8298 70921 235827 | 40745 39975 17 | 0.420 % |
317.05/317.08 c | 869204 | 8298 70921 235827 | 40745 37781 18 | 0.420 % |
317.25/317.29 c | 869716 | 8298 70921 235827 | 40745 38293 18 | 0.420 % |
317.45/317.44 c | 870230 | 8298 70921 235827 | 38582 38807 18 | 0.420 % |
317.85/317.83 c | 871254 | 8298 70921 235827 | 38582 33957 17 | 0.420 % |
317.95/318.00 c | 871767 | 8298 70921 235827 | 38582 34470 17 | 0.420 % |
318.25/318.27 c | 872279 | 8298 70921 235827 | 38582 34982 17 | 0.420 % |
318.65/318.67 c | 873303 | 8298 70921 235827 | 38582 36006 18 | 0.420 % |
319.45/319.43 c | 875351 | 8298 70921 235827 | 38582 38054 18 | 0.420 % |
319.55/319.61 c | 875863 | 8298 70921 235827 | 38582 38566 18 | 0.420 % |
319.85/319.86 c | 876375 | 8298 70921 235827 | 38582 33659 18 | 0.420 % |
320.25/320.29 c | 877400 | 8298 70921 235827 | 38582 34684 18 | 0.420 % |
320.45/320.47 c | 877913 | 8298 70921 235827 | 38582 35197 18 | 0.420 % |
320.65/320.68 c | 878428 | 8298 70921 235827 | 38582 35712 18 | 0.420 % |
321.15/321.15 c | 879456 | 8298 70921 235827 | 38582 36740 18 | 0.420 % |
321.85/321.86 c | 881504 | 8298 70921 235827 | 37286 33606 18 | 0.420 % |
323.25/323.29 c | 885600 | 8298 70921 235827 | 37286 33239 18 | 0.420 % |
326.45/326.46 c | 893792 | 8298 70921 235827 | 37639 36342 19 | 0.420 % |
326.55/326.61 c | 894304 | 8298 70921 235827 | 37639 36854 19 | 0.420 % |
326.75/326.80 c | 894816 | 8298 70921 235827 | 37639 37366 19 | 0.420 % |
327.25/327.31 c | 895840 | 8298 70921 235827 | 37639 33169 18 | 0.420 % |
327.45/327.50 c | 896353 | 8298 70921 235827 | 37639 33682 19 | 0.420 % |
327.75/327.75 c | 896865 | 8298 70921 235827 | 37639 34194 19 | 0.420 % |
328.15/328.18 c | 897889 | 8298 70921 235827 | 37639 35218 19 | 0.420 % |
328.95/328.96 c | 899939 | 8298 70921 235827 | 37639 37268 19 | 0.420 % |
329.15/329.15 c | 900451 | 8298 70921 235827 | 37329 37780 19 | 0.420 % |
329.35/329.38 c | 900963 | 8298 70921 235827 | 37329 32993 18 | 0.420 % |
329.85/329.84 c | 901988 | 8298 70921 235827 | 37329 34018 19 | 0.420 % |
330.05/330.03 c | 902501 | 8298 70921 235827 | 37329 34531 19 | 0.420 % |
330.25/330.30 c | 903015 | 8298 70921 235827 | 37329 35045 19 | 0.420 % |
330.75/330.77 c | 904039 | 8298 70921 235827 | 37329 36069 19 | 0.420 % |
331.65/331.65 c | 906088 | 8298 70921 235827 | 37329 32930 18 | 0.420 % |
333.55/333.58 c | 910184 | 8298 70921 235827 | 36842 32013 18 | 0.420 % |
333.75/333.76 c | 910699 | 8298 70921 235827 | 36842 32528 18 | 0.420 % |
333.95/333.96 c | 911211 | 8298 70921 235827 | 36842 33040 18 | 0.420 % |
334.35/334.32 c | 912235 | 8298 70921 235827 | 36842 34064 18 | 0.420 % |
334.55/334.54 c | 912748 | 8298 70921 235827 | 36842 34577 18 | 0.420 % |
334.75/334.75 c | 913260 | 8298 70921 235827 | 36842 35089 18 | 0.420 % |
335.15/335.16 c | 914284 | 8298 70921 235827 | 36842 36113 18 | 0.420 % |
336.05/336.06 c | 916332 | 8298 70921 235827 | 36842 33179 18 | 0.420 % |
336.25/336.23 c | 916845 | 8298 70921 235827 | 36842 33692 18 | 0.420 % |
336.45/336.46 c | 917357 | 8298 70921 235827 | 36842 34204 18 | 0.420 % |
336.85/336.86 c | 918381 | 8298 70921 235827 | 36842 35228 18 | 0.420 % |
337.05/337.06 c | 918893 | 8298 70921 235827 | 36842 35740 18 | 0.420 % |
337.25/337.27 c | 919407 | 8298 70921 235827 | 36842 36254 18 | 0.420 % |
337.65/337.71 c | 920431 | 8298 70921 235827 | 36849 32493 18 | 0.420 % |
338.75/338.72 c | 922482 | 8298 70921 235827 | 36849 34544 18 | 0.420 % |
340.55/340.54 c | 926578 | 8298 70921 235827 | 36849 33921 17 | 0.420 % |
343.75/343.80 c | 934771 | 8298 70921 235827 | 32501 30041 17 | 0.420 % |
349.75/349.72 c | 951155 | 8297 70918 235821 | 41991 37710 18 | 0.432 % |
363.65/363.70 c | 983924 | 8296 70915 235815 | 36926 35541 18 | 0.444 % |
388.36/388.35 c | 1049461 | 8292 70903 235791 | 39917 37061 19 | 0.504 % |
442.46/442.47 c | 1180534 | 8278 70740 235351 | 38595 39129 19 | 0.660 % |
442.66/442.64 c | 1181046 | 8278 70740 235351 | 38595 34695 19 | 0.660 % |
442.86/442.84 c | 1181558 | 8278 70740 235351 | 38595 35207 19 | 0.660 % |
443.16/443.18 c | 1182583 | 8278 70740 235351 | 38595 36232 19 | 0.660 % |
443.26/443.31 c | 1183096 | 8278 70740 235351 | 38595 36745 19 | 0.660 % |
443.46/443.50 c | 1183608 | 8278 70740 235351 | 38595 37257 19 | 0.660 % |
443.86/443.84 c | 1184633 | 8278 70740 235351 | 38595 38282 19 | 0.660 % |
444.46/444.46 c | 1186685 | 8278 70740 235351 | 38595 34934 19 | 0.660 % |
444.56/444.61 c | 1187197 | 8278 70740 235351 | 38595 35446 19 | 0.660 % |
444.76/444.79 c | 1187709 | 8278 70740 235351 | 38595 35958 19 | 0.660 % |
445.16/445.19 c | 1188735 | 8278 70740 235351 | 38595 36984 19 | 0.660 % |
445.36/445.33 c | 1189247 | 8278 70740 235351 | 38595 37496 19 | 0.660 % |
445.46/445.48 c | 1189760 | 8278 70740 235351 | 38595 38009 19 | 0.660 % |
445.76/445.76 c | 1190784 | 8278 70740 235351 | 38249 34453 19 | 0.660 % |
446.46/446.51 c | 1192833 | 8278 70740 235351 | 38249 36502 19 | 0.660 % |
447.86/447.84 c | 1196929 | 8278 70740 235351 | 38249 35704 19 | 0.660 % |
448.06/448.05 c | 1197443 | 8278 70740 235351 | 38249 36218 19 | 0.660 % |
448.26/448.23 c | 1197955 | 8278 70740 235351 | 38249 36730 19 | 0.660 % |
448.56/448.58 c | 1198979 | 8278 70740 235351 | 38249 37754 19 | 0.660 % |
448.76/448.73 c | 1199492 | 8278 70740 235351 | 38249 38267 19 | 0.660 % |
448.96/448.98 c | 1200004 | 8278 70740 235351 | 34047 34051 19 | 0.660 % |
449.26/449.28 c | 1201028 | 8278 70740 235351 | 34047 30857 18 | 0.660 % |
449.97/449.98 c | 1203077 | 8278 70740 235351 | 34047 32906 18 | 0.660 % |
450.16/450.15 c | 1203589 | 8278 70740 235351 | 34047 33418 18 | 0.660 % |
450.36/450.33 c | 1204101 | 8278 70740 235351 | 34047 33930 18 | 0.660 % |
450.76/450.73 c | 1205129 | 8278 70740 235351 | 34047 30906 17 | 0.660 % |
450.96/450.94 c | 1205643 | 8278 70740 235351 | 34047 31420 18 | 0.660 % |
451.07/451.09 c | 1206155 | 8277 70737 235345 | 34047 31931 18 | 0.672 % |
451.36/451.41 c | 1207179 | 8277 70737 235345 | 34047 32955 18 | 0.672 % |
452.26/452.24 c | 1209227 | 8277 70737 235345 | 34047 30826 17 | 0.672 % |
453.76/453.75 c | 1213323 | 8277 70737 235345 | 31599 31262 17 | 0.672 % |
457.56/457.55 c | 1221515 | 8277 70737 235345 | 2147483647 33063 18 | 0.672 % |
457.67/457.70 c | 1222027 | 8277 70737 235345 | 2147483647 33575 18 | 0.672 % |
457.86/457.90 c | 1222539 | 8277 70737 235345 | 2147483647 34087 18 | 0.672 % |
458.36/458.34 c | 1223564 | 8277 70737 235345 | 2147483647 35112 18 | 0.672 % |
458.56/458.54 c | 1224076 | 8276 70734 235339 | 2147483647 35621 18 | 0.684 % |
458.77/458.77 c | 1224589 | 8276 70734 235339 | 2147483647 36134 18 | 0.684 % |
459.06/459.06 c | 1225613 | 8276 70734 235339 | 2147483647 37158 18 | 0.684 % |
459.76/459.73 c | 1227661 | 8276 70734 235339 | 2147483647 39206 18 | 0.684 % |
459.96/459.96 c | 1228174 | 8276 70734 235339 | 2147483647 39719 19 | 0.684 % |
460.16/460.12 c | 1228688 | 8276 70734 235339 | 2147483647 40233 19 | 0.684 % |
460.66/460.66 c | 1229715 | 8276 70734 235339 | 2147483647 41260 19 | 0.684 % |
460.86/460.82 c | 1230227 | 8276 70734 235339 | 41546 41772 19 | 0.684 % |
461.06/461.11 c | 1230741 | 8275 70630 235028 | 41546 36373 18 | 0.696 % |
461.46/461.49 c | 1231766 | 8275 70630 235028 | 41546 37398 18 | 0.696 % |
462.16/462.21 c | 1233814 | 8275 70630 235028 | 41546 39446 18 | 0.696 % |
463.96/463.97 c | 1237910 | 8274 70627 235022 | 41546 37137 18 | 0.708 % |
464.16/464.20 c | 1238422 | 8274 70627 235022 | 41546 37649 18 | 0.708 % |
464.36/464.39 c | 1238935 | 8274 70627 235022 | 41546 38162 18 | 0.708 % |
464.76/464.78 c | 1239960 | 8274 70627 235022 | 41546 39187 18 | 0.708 % |
465.06/465.02 c | 1240472 | 8274 70627 235022 | 39228 33717 18 | 0.708 % |
465.16/465.19 c | 1240984 | 8274 70627 235022 | 39228 34229 18 | 0.708 % |
465.66/465.62 c | 1242011 | 8274 70627 235022 | 39228 35256 18 | 0.708 % |
466.16/466.19 c | 1244059 | 8274 70627 235022 | 39228 37304 19 | 0.708 % |
466.47/466.44 c | 1244573 | 8274 70627 235022 | 39228 37818 19 | 0.708 % |
466.56/466.60 c | 1245085 | 8274 70627 235022 | 39228 38330 19 | 0.708 % |
467.16/467.13 c | 1246109 | 8274 70627 235022 | 39228 39354 19 | 0.708 % |
467.36/467.36 c | 1246621 | 8274 70627 235022 | 39228 34287 18 | 0.708 % |
467.57/467.54 c | 1247133 | 8274 70627 235022 | 39228 34799 18 | 0.708 % |
468.06/468.02 c | 1248157 | 8274 70627 235022 | 39228 35823 19 | 0.708 % |
468.86/468.83 c | 1250205 | 8270 70515 234696 | 37656 37860 19 | 0.756 % |
470.56/470.60 c | 1254302 | 8270 70515 234696 | 37656 36549 18 | 0.756 % |
474.46/474.45 c | 1262494 | 8270 70515 234696 | 36959 34089 18 | 0.756 % |
482.16/482.16 c | 1278878 | 8270 70515 234696 | 36715 35747 19 | 0.756 % |
482.46/482.42 c | 1279393 | 8270 70515 234696 | 36715 36262 19 | 0.756 % |
482.56/482.59 c | 1279905 | 8270 70515 234696 | 36715 36774 19 | 0.756 % |
483.06/483.01 c | 1280929 | 8270 70515 234696 | 36869 32588 19 | 0.756 % |
483.16/483.18 c | 1281443 | 8270 70515 234696 | 36869 33102 19 | 0.756 % |
483.36/483.33 c | 1281957 | 8270 70515 234696 | 36869 33616 19 | 0.756 % |
483.76/483.74 c | 1282984 | 8270 70515 234696 | 36869 34643 19 | 0.756 % |
484.66/484.64 c | 1285032 | 8270 70515 234696 | 36869 36691 19 | 0.756 % |
484.96/484.93 c | 1285545 | 8270 70515 234696 | 36869 31569 19 | 0.756 % |
485.06/485.04 c | 1286057 | 8270 70515 234696 | 36869 32081 19 | 0.756 % |
485.36/485.36 c | 1287081 | 8270 70515 234696 | 36869 33105 19 | 0.756 % |
485.56/485.56 c | 1287593 | 8270 70515 234696 | 36869 33617 19 | 0.756 % |
485.76/485.73 c | 1288108 | 8270 70515 234696 | 36869 34132 19 | 0.756 % |
486.16/486.18 c | 1289132 | 8270 70515 234696 | 36869 35156 19 | 0.756 % |
487.16/487.14 c | 1291181 | 8270 70515 234696 | 36024 31900 18 | 0.756 % |
488.66/488.67 c | 1295280 | 8270 70515 234696 | 36024 35999 19 | 0.756 % |
488.96/488.99 c | 1295793 | 8269 70512 234690 | 36024 31752 19 | 0.768 % |
489.16/489.19 c | 1296305 | 8269 70512 234690 | 36024 32264 19 | 0.768 % |
489.57/489.54 c | 1297331 | 8269 70512 234690 | 36024 33290 19 | 0.768 % |
489.67/489.71 c | 1297843 | 8269 70512 234690 | 36024 33802 19 | 0.768 % |
489.97/489.97 c | 1298355 | 8269 70512 234690 | 36024 34314 19 | 0.768 % |
490.57/490.54 c | 1299381 | 8269 70512 234690 | 36024 35340 19 | 0.768 % |
491.37/491.38 c | 1301429 | 8269 70512 234690 | 35959 32594 19 | 0.768 % |
491.57/491.55 c | 1301942 | 8269 70512 234690 | 35959 33107 19 | 0.768 % |
491.77/491.74 c | 1302455 | 8269 70512 234690 | 35959 33620 19 | 0.768 % |
492.07/492.07 c | 1303479 | 8269 70512 234690 | 35959 34644 19 | 0.768 % |
492.27/492.27 c | 1303994 | 8269 70512 234690 | 35959 35159 19 | 0.768 % |
492.47/492.42 c | 1304506 | 8269 70512 234690 | 35959 35671 19 | 0.768 % |
492.87/492.85 c | 1305530 | 8269 70512 234690 | 35959 32148 18 | 0.768 % |
493.67/493.68 c | 1307580 | 8269 70512 234690 | 35959 34198 18 | 0.768 % |
495.47/495.43 c | 1311676 | 8269 70512 234690 | 31621 28893 17 | 0.768 % |
498.97/498.95 c | 1319868 | 8269 70512 234690 | 31621 29602 17 | 0.768 % |
499.07/499.10 c | 1320380 | 8269 70512 234690 | 29734 30114 17 | 0.768 % |
499.37/499.35 c | 1320893 | 8269 70512 234690 | 29734 27404 17 | 0.768 % |
499.77/499.75 c | 1321917 | 8269 70512 234690 | 29734 28428 17 | 0.768 % |
499.97/499.93 c | 1322430 | 8269 70512 234690 | 29734 28941 17 | 0.768 % |
500.17/500.17 c | 1322942 | 8269 70512 234690 | 29734 29453 17 | 0.768 % |
500.57/500.56 c | 1323966 | 8269 70512 234690 | 29734 27240 17 | 0.768 % |
501.37/501.33 c | 1326015 | 8269 70512 234690 | 29734 29289 18 | 0.768 % |
501.47/501.52 c | 1326530 | 8269 70512 234690 | 29734 29804 18 | 0.768 % |
501.67/501.69 c | 1327043 | 8269 70512 234690 | 29734 27222 17 | 0.768 % |
502.07/502.04 c | 1328068 | 8269 70512 234690 | 29734 28247 18 | 0.768 % |
502.17/502.20 c | 1328581 | 8269 70512 234690 | 29734 28760 18 | 0.768 % |
502.47/502.42 c | 1329094 | 8269 70512 234690 | 29734 29273 18 | 0.768 % |
502.77/502.81 c | 1330121 | 8269 70512 234690 | 26821 26942 17 | 0.768 % |
503.37/503.39 c | 1332169 | 8269 70512 234690 | 26821 26000 17 | 0.768 % |
504.67/504.64 c | 1336265 | 8269 70512 234690 | 26821 24665 17 | 0.768 % |
504.77/504.77 c | 1336778 | 8269 70512 234690 | 26821 25178 17 | 0.768 % |
504.87/504.90 c | 1337290 | 8269 70512 234690 | 26821 25690 17 | 0.768 % |
505.27/505.26 c | 1338314 | 8269 70512 234690 | 26821 26714 17 | 0.768 % |
505.47/505.43 c | 1338826 | 8269 70512 234690 | 26821 24508 17 | 0.768 % |
505.57/505.57 c | 1339340 | 8269 70512 234690 | 26821 25022 17 | 0.768 % |
505.87/505.83 c | 1340365 | 8269 70512 234690 | 2147483647 26047 17 | 0.768 % |
506.47/506.46 c | 1342413 | 8269 70512 234690 | 2147483647 28095 17 | 0.768 % |
506.57/506.61 c | 1342925 | 8269 70512 234690 | 2147483647 28607 17 | 0.768 % |
506.77/506.80 c | 1343437 | 8269 70512 234690 | 2147483647 29119 17 | 0.768 % |
507.17/507.16 c | 1344462 | 8269 70512 234690 | 2147483647 30144 17 | 0.768 % |
507.37/507.35 c | 1344976 | 8269 70512 234690 | 2147483647 30658 17 | 0.768 % |
507.57/507.56 c | 1345488 | 8269 70512 234690 | 2147483647 31170 17 | 0.768 % |
508.07/508.02 c | 1346512 | 8269 70512 234690 | 2147483647 32194 17 | 0.768 % |
508.97/508.97 c | 1348560 | 8269 70512 234690 | 2147483647 34242 18 | 0.768 % |
510.37/510.36 c | 1352656 | 8269 70512 234690 | 35682 34258 18 | 0.768 % |
513.37/513.34 c | 1360850 | 8269 70512 234690 | 33069 30221 17 | 0.768 % |
518.87/518.84 c | 1377235 | 8269 70512 234690 | 31412 31914 18 | 0.768 % |
532.67/532.70 c | 1410003 | 8265 70478 234610 | 37273 37276 19 | 0.816 % |
532.87/532.89 c | 1410515 | 8265 70478 234610 | 37273 32740 19 | 0.816 % |
533.17/533.12 c | 1411028 | 8265 70478 234610 | 37273 33253 19 | 0.816 % |
533.57/533.56 c | 1412053 | 8265 70478 234610 | 37273 34278 19 | 0.816 % |
533.77/533.74 c | 1412565 | 8265 70478 234610 | 37273 34790 19 | 0.816 % |
533.87/533.89 c | 1413077 | 8265 70478 234610 | 37273 35302 19 | 0.816 % |
534.27/534.25 c | 1414102 | 8265 70478 234610 | 37273 36327 20 | 0.816 % |
535.07/535.06 c | 1416150 | 8265 70478 234610 | 37273 32969 19 | 0.816 % |
535.27/535.29 c | 1416664 | 8265 70478 234610 | 37273 33483 19 | 0.816 % |
535.47/535.45 c | 1417177 | 8265 70478 234610 | 37273 33996 19 | 0.816 % |
535.77/535.74 c | 1418203 | 8265 70478 234610 | 37273 35022 19 | 0.816 % |
535.97/535.95 c | 1418715 | 8265 70478 234610 | 37273 35534 19 | 0.816 % |
536.17/536.14 c | 1419228 | 8265 70478 234610 | 37273 36047 19 | 0.816 % |
536.47/536.47 c | 1420254 | 8265 70478 234610 | 36820 37073 20 | 0.816 % |
537.27/537.22 c | 1422306 | 8265 70478 234610 | 36820 34300 19 | 0.816 % |
539.07/539.03 c | 1426403 | 8265 70478 234610 | 36820 32840 18 | 0.816 % |
539.27/539.25 c | 1426916 | 8265 70478 234610 | 36820 33353 18 | 0.816 % |
539.47/539.45 c | 1427429 | 8265 70478 234610 | 36820 33866 19 | 0.816 % |
539.87/539.82 c | 1428453 | 8265 70478 234610 | 36820 34890 19 | 0.816 % |
540.07/540.08 c | 1428966 | 8265 70478 234610 | 36820 35403 19 | 0.816 % |
540.27/540.22 c | 1429478 | 8265 70478 234610 | 36820 35915 19 | 0.816 % |
540.67/540.67 c | 1430503 | 8265 70478 234610 | 36437 36940 19 | 0.816 % |
541.57/541.54 c | 1432551 | 8265 70478 234610 | 36437 33219 18 | 0.816 % |
541.77/541.72 c | 1433063 | 8265 70478 234610 | 36437 33731 18 | 0.816 % |
541.97/541.94 c | 1433577 | 8265 70478 234610 | 36437 34245 19 | 0.816 % |
542.27/542.27 c | 1434601 | 8265 70478 234610 | 36437 35269 19 | 0.816 % |
542.47/542.45 c | 1435114 | 8265 70478 234610 | 36437 35782 19 | 0.816 % |
542.67/542.66 c | 1435626 | 8265 70478 234610 | 36437 36294 19 | 0.816 % |
543.07/543.02 c | 1436650 | 8265 70478 234610 | 36437 32021 18 | 0.816 % |
543.77/543.78 c | 1438698 | 8265 70478 234610 | 36437 34069 18 | 0.816 % |
545.27/545.30 c | 1442794 | 8265 70478 234610 | 35371 33313 18 | 0.816 % |
548.47/548.49 c | 1450986 | 8265 70478 234610 | 35676 31883 17 | 0.816 % |
548.67/548.69 c | 1451499 | 8265 70478 234610 | 35676 32396 17 | 0.816 % |
548.87/548.85 c | 1452011 | 8265 70478 234610 | 35676 32908 18 | 0.816 % |
549.37/549.33 c | 1453036 | 8265 70478 234610 | 35676 33933 18 | 0.816 % |
549.47/549.49 c | 1453551 | 8265 70478 234610 | 35676 34448 18 | 0.816 % |
549.67/549.69 c | 1454064 | 8265 70478 234610 | 35676 34961 18 | 0.816 % |
550.27/550.25 c | 1455089 | 8265 70478 234610 | 35676 30708 17 | 0.816 % |
550.97/550.99 c | 1457137 | 8265 70478 234610 | 35676 32756 18 | 0.816 % |
551.27/551.22 c | 1457649 | 8265 70478 234610 | 35676 33268 18 | 0.816 % |
551.47/551.41 c | 1458161 | 8265 70478 234610 | 35676 33780 18 | 0.816 % |
551.77/551.80 c | 1459185 | 8265 70478 234610 | 35676 34804 18 | 0.816 % |
552.07/552.02 c | 1459697 | 8265 70478 234610 | 35676 35316 18 | 0.816 % |
552.17/552.22 c | 1460209 | 8265 70478 234610 | 35620 35828 18 | 0.816 % |
552.67/552.65 c | 1461237 | 8265 70478 234610 | 35620 31769 18 | 0.816 % |
553.47/553.48 c | 1463285 | 8265 70478 234610 | 35620 33817 18 | 0.816 % |
555.37/555.38 c | 1467381 | 8265 70478 234610 | 35620 33383 18 | 0.816 % |
555.58/555.61 c | 1467893 | 8265 70478 234610 | 35620 33895 18 | 0.816 % |
555.87/555.83 c | 1468405 | 8265 70478 234610 | 35620 34407 18 | 0.816 % |
556.27/556.22 c | 1469429 | 8265 70478 234610 | 35620 35431 18 | 0.816 % |
556.47/556.43 c | 1469941 | 8265 70478 234610 | 35620 35943 18 | 0.816 % |
556.68/556.69 c | 1470454 | 8265 70478 234610 | 31613 28144 17 | 0.816 % |
556.97/557.01 c | 1471478 | 8265 70478 234610 | 31613 29168 18 | 0.816 % |
557.67/557.66 c | 1473528 | 8265 70478 234610 | 31613 31218 18 | 0.816 % |
557.87/557.88 c | 1474040 | 8265 70478 234610 | 31613 31730 18 | 0.816 % |
558.07/558.09 c | 1474552 | 8265 70478 234610 | 31613 28634 17 | 0.816 % |
558.47/558.44 c | 1475576 | 8265 70478 234610 | 31613 29658 17 | 0.816 % |
558.67/558.62 c | 1476088 | 8265 70478 234610 | 31613 30170 17 | 0.816 % |
558.77/558.79 c | 1476603 | 8265 70478 234610 | 31613 30685 18 | 0.816 % |
559.17/559.11 c | 1477627 | 8265 70478 234610 | 31613 31709 18 | 0.816 % |
559.98/559.96 c | 1479676 | 8265 70478 234610 | 31613 29990 17 | 0.816 % |
561.77/561.74 c | 1483773 | 8265 70478 234610 | 30314 27175 17 | 0.816 % |
565.07/565.04 c | 1491965 | 8265 70478 234610 | 30085 28575 16 | 0.816 % |
570.77/570.79 c | 1508350 | 8265 70478 234610 | 29768 28679 17 | 0.816 % |
571.07/571.02 c | 1508862 | 8265 70478 234610 | 29768 29191 17 | 0.816 % |
571.17/571.17 c | 1509374 | 8265 70478 234610 | 29768 29703 17 | 0.816 % |
571.57/571.55 c | 1510398 | 8265 70478 234610 | 2147483647 27704 17 | 0.816 % |
571.67/571.69 c | 1510910 | 8265 70478 234610 | 2147483647 28216 17 | 0.816 % |
571.87/571.81 c | 1511422 | 8265 70478 234610 | 2147483647 28728 17 | 0.816 % |
572.08/572.09 c | 1512446 | 8265 70478 234610 | 2147483647 29752 17 | 0.816 % |
572.87/572.84 c | 1514496 | 8265 70478 234610 | 2147483647 31802 17 | 0.816 % |
572.97/573.01 c | 1515008 | 8265 70478 234610 | 2147483647 32314 17 | 0.816 % |
573.27/573.21 c | 1515521 | 8265 70478 234610 | 2147483647 32827 18 | 0.816 % |
573.67/573.65 c | 1516545 | 8265 70478 234610 | 2147483647 33851 18 | 0.816 % |
573.87/573.85 c | 1517058 | 8265 70478 234610 | 2147483647 34364 18 | 0.816 % |
574.07/574.09 c | 1517570 | 8265 70478 234610 | 2147483647 34876 18 | 0.816 % |
574.37/574.40 c | 1518594 | 8265 70478 234610 | 2147483647 35900 18 | 0.816 % |
575.27/575.25 c | 1520643 | 8265 70478 234610 | 37308 33175 17 | 0.816 % |
576.77/576.80 c | 1524739 | 8265 70478 234610 | 37308 37271 18 | 0.816 % |
576.97/576.95 c | 1525252 | 8265 70478 234610 | 37308 37784 18 | 0.816 % |
577.17/577.17 c | 1525764 | 8265 70478 234610 | 37308 32794 17 | 0.816 % |
577.58/577.54 c | 1526790 | 8265 70478 234610 | 37308 33820 17 | 0.816 % |
577.77/577.75 c | 1527302 | 8265 70478 234610 | 37308 34332 17 | 0.816 % |
577.97/577.94 c | 1527815 | 8265 70478 234610 | 37308 34845 18 | 0.816 % |
578.27/578.24 c | 1528840 | 8265 70478 234610 | 37308 35870 18 | 0.816 % |
578.87/578.91 c | 1530888 | 8265 70478 234610 | 37030 33031 18 | 0.816 % |
579.07/579.08 c | 1531400 | 8265 70478 234610 | 37030 33543 18 | 0.816 % |
579.27/579.27 c | 1531913 | 8265 70478 234610 | 37030 34056 18 | 0.816 % |
579.67/579.62 c | 1532937 | 8265 70478 234610 | 37030 35080 18 | 0.816 % |
579.87/579.81 c | 1533449 | 8265 70478 234610 | 37030 35592 18 | 0.816 % |
579.97/579.97 c | 1533961 | 8265 70478 234610 | 37030 36104 18 | 0.816 % |
580.27/580.29 c | 1534985 | 8265 70478 234610 | 37030 37128 18 | 0.816 % |
581.07/581.07 c | 1537034 | 8265 70478 234610 | 37030 34013 18 | 0.816 % |
582.77/582.73 c | 1541131 | 8265 70478 234610 | 36980 32223 18 | 0.816 % |
586.27/586.29 c | 1549324 | 8265 70478 234610 | 36980 34283 18 | 0.816 % |
586.47/586.48 c | 1549837 | 8265 70478 234610 | 36980 34796 18 | 0.816 % |
586.67/586.66 c | 1550349 | 8265 70478 234610 | 34959 29633 17 | 0.816 % |
587.08/587.04 c | 1551374 | 8265 70478 234610 | 34959 30658 17 | 0.816 % |
587.18/587.20 c | 1551892 | 8265 70478 234610 | 34959 31176 17 | 0.816 % |
587.38/587.38 c | 1552404 | 8265 70478 234610 | 34959 31688 17 | 0.816 % |
587.78/587.81 c | 1553428 | 8265 70478 234610 | 34959 32712 17 | 0.816 % |
588.68/588.63 c | 1555476 | 8265 70478 234610 | 34959 34760 18 | 0.816 % |
588.88/588.88 c | 1555991 | 8265 70478 234610 | 34959 35275 18 | 0.816 % |
589.08/589.10 c | 1556505 | 8265 70478 234610 | 34959 30591 17 | 0.816 % |
589.48/589.43 c | 1557529 | 8265 70478 234610 | 34959 31615 17 | 0.816 % |
589.68/589.66 c | 1558041 | 8265 70478 234610 | 34959 32127 17 | 0.816 % |
589.88/589.84 c | 1558553 | 8265 70478 234610 | 34959 32639 17 | 0.816 % |
590.28/590.26 c | 1559578 | 8265 70478 234610 | 34959 33664 18 | 0.816 % |
590.88/590.84 c | 1561626 | 8265 70478 234610 | 34086 30906 17 | 0.816 % |
592.78/592.79 c | 1565724 | 8265 70478 234610 | 34086 30221 17 | 0.816 % |
592.98/593.01 c | 1566238 | 8265 70478 234610 | 34086 30735 17 | 0.816 % |
593.18/593.20 c | 1566753 | 8265 70478 234610 | 34086 31250 17 | 0.816 % |
593.58/593.62 c | 1567777 | 8265 70478 234610 | 34086 32274 17 | 0.816 % |
593.88/593.83 c | 1568290 | 8265 70478 234610 | 34086 32787 17 | 0.816 % |
594.08/594.04 c | 1568802 | 8265 70478 234610 | 34086 33299 17 | 0.816 % |
594.48/594.48 c | 1569827 | 8265 70478 234610 | 34086 34324 18 | 0.816 % |
595.48/595.43 c | 1571875 | 8265 70478 234610 | 29658 27461 17 | 0.816 % |
595.68/595.67 c | 1572390 | 8265 70478 234610 | 29658 27976 17 | 0.816 % |
595.88/595.87 c | 1572904 | 8265 70478 234610 | 29658 28490 17 | 0.816 % |
596.18/596.22 c | 1573928 | 8265 70478 234610 | 29658 29514 17 | 0.816 % |
596.38/596.37 c | 1574441 | 8265 70478 234610 | 29658 30027 17 | 0.816 % |
596.58/596.56 c | 1574953 | 8265 70478 234610 | 29658 26866 17 | 0.816 % |
596.98/596.92 c | 1575979 | 8263 70472 234598 | 29658 27889 17 | 0.840 % |
597.68/597.69 c | 1578027 | 8263 70472 234598 | 29658 29937 17 | 0.840 % |
599.38/599.32 c | 1582125 | 8263 70472 234598 | 28539 27286 17 | 0.840 % |
601.98/601.94 c | 1590317 | 8263 70472 234598 | 2147483647 26473 17 | 0.840 % |
608.67/608.66 c | 1606701 | 8263 70472 234598 | 36158 33993 19 | 0.840 % |
623.07/623.10 c | 1639469 | 8263 70472 234598 | 41561 37926 20 | 0.840 % |
654.47/654.44 c | 1705005 | 8262 70369 234290 | 30498 28052 17 | 0.852 % |
654.58/654.57 c | 1705518 | 8262 70369 234290 | 30498 28565 17 | 0.852 % |
654.67/654.70 c | 1706030 | 8262 70369 234290 | 30498 29077 17 | 0.852 % |
654.97/654.97 c | 1707054 | 8262 70369 234290 | 30498 30101 17 | 0.852 % |
655.27/655.22 c | 1707567 | 8262 70369 234290 | 30498 30614 18 | 0.852 % |
655.37/655.38 c | 1708079 | 8262 70369 234290 | 30498 27472 17 | 0.852 % |
655.68/655.69 c | 1709103 | 8262 70369 234290 | 30498 28496 17 | 0.852 % |
656.47/656.42 c | 1711151 | 8262 70369 234290 | 29393 27072 17 | 0.852 % |
656.57/656.53 c | 1711663 | 8262 70369 234290 | 29393 27584 17 | 0.852 % |
656.67/656.69 c | 1712175 | 8262 70369 234290 | 29393 28096 17 | 0.852 % |
657.07/657.06 c | 1713199 | 8262 70369 234290 | 29393 29120 18 | 0.852 % |
657.27/657.25 c | 1713714 | 8262 70369 234290 | 29393 29635 18 | 0.852 % |
657.47/657.44 c | 1714226 | 8262 70369 234290 | 29393 26649 17 | 0.852 % |
657.77/657.75 c | 1715251 | 8262 70369 234290 | 29393 27674 17 | 0.852 % |
658.67/658.64 c | 1717299 | 8262 70369 234290 | 29393 29722 18 | 0.852 % |
660.17/660.11 c | 1721395 | 8262 70369 234290 | 28849 26856 17 | 0.852 % |
660.37/660.30 c | 1721907 | 8262 70369 234290 | 28849 27368 17 | 0.852 % |
660.57/660.50 c | 1722419 | 8262 70369 234290 | 28849 27880 17 | 0.852 % |
660.87/660.87 c | 1723444 | 8262 70369 234290 | 28849 28905 18 | 0.852 % |
661.07/661.01 c | 1723956 | 8262 70369 234290 | 28849 26408 18 | 0.852 % |
661.18/661.16 c | 1724469 | 8262 70369 234290 | 28849 26921 18 | 0.852 % |
661.47/661.43 c | 1725493 | 8262 70369 234290 | 28849 27945 17 | 0.852 % |
662.28/662.30 c | 1727541 | 8262 70369 234290 | 28849 26989 17 | 0.852 % |
662.47/662.46 c | 1728054 | 8262 70369 234290 | 28849 27502 17 | 0.852 % |
662.67/662.61 c | 1728568 | 8262 70369 234290 | 28849 28016 17 | 0.852 % |
662.97/662.91 c | 1729594 | 8262 70369 234290 | 28849 29042 17 | 0.852 % |
663.07/663.08 c | 1730106 | 8262 70369 234290 | 26282 26388 17 | 0.852 % |
663.27/663.26 c | 1730620 | 8262 70369 234290 | 26282 24000 17 | 0.852 % |
663.67/663.64 c | 1731644 | 8262 70369 234290 | 26282 25024 17 | 0.852 % |
664.37/664.39 c | 1733693 | 8262 70369 234290 | 26282 24379 17 | 0.852 % |
665.87/665.89 c | 1737790 | 8262 70369 234290 | 26282 25816 17 | 0.852 % |
668.27/668.20 c | 1745987 | 8262 70369 234290 | 2147483647 31297 18 | 0.852 % |
668.47/668.43 c | 1746501 | 8262 70369 234290 | 2147483647 31811 18 | 0.852 % |
668.67/668.64 c | 1747014 | 8262 70369 234290 | 2147483647 32324 18 | 0.852 % |
669.07/669.05 c | 1748039 | 8262 70369 234290 | 2147483647 33349 18 | 0.852 % |
669.17/669.17 c | 1748551 | 8262 70369 234290 | 2147483647 33861 18 | 0.852 % |
669.37/669.38 c | 1749064 | 8262 70369 234290 | 2147483647 34374 18 | 0.852 % |
669.77/669.77 c | 1750088 | 8262 70369 234290 | 35310 35398 18 | 0.852 % |
670.67/670.66 c | 1752136 | 8262 70369 234290 | 35310 33682 18 | 0.852 % |
670.87/670.87 c | 1752649 | 8262 70369 234290 | 35310 34195 18 | 0.852 % |
671.08/671.04 c | 1753162 | 8262 70369 234290 | 35310 34708 18 | 0.852 % |
671.47/671.45 c | 1754186 | 8262 70369 234290 | 35310 31217 18 | 0.852 % |
671.67/671.64 c | 1754700 | 8262 70369 234290 | 35310 31731 18 | 0.852 % |
671.77/671.79 c | 1755212 | 8262 70369 234290 | 35310 32243 18 | 0.852 % |
672.18/672.14 c | 1756238 | 8262 70369 234290 | 35310 33269 18 | 0.852 % |
672.77/672.74 c | 1758286 | 8262 70369 234290 | 35310 35317 18 | 0.852 % |
674.38/674.36 c | 1762383 | 8262 70369 234290 | 32549 30746 17 | 0.852 % |
674.57/674.55 c | 1762899 | 8262 70369 234290 | 32549 31262 17 | 0.852 % |
674.67/674.66 c | 1763411 | 8262 70369 234290 | 32549 31774 18 | 0.852 % |
675.07/675.03 c | 1764436 | 8262 70369 234290 | 32549 32799 18 | 0.852 % |
675.27/675.28 c | 1764950 | 8262 70369 234290 | 32549 30034 17 | 0.852 % |
675.48/675.41 c | 1765463 | 8262 70369 234290 | 32549 30547 17 | 0.852 % |
675.77/675.78 c | 1766488 | 8262 70369 234290 | 32549 31572 17 | 0.852 % |
676.67/676.63 c | 1768536 | 8262 70369 234290 | 32549 29903 17 | 0.852 % |
676.77/676.80 c | 1769048 | 8262 70369 234290 | 32549 30415 17 | 0.852 % |
676.97/676.95 c | 1769561 | 8262 70369 234290 | 32549 30928 18 | 0.852 % |
677.37/677.34 c | 1770585 | 8262 70369 234290 | 31367 27886 17 | 0.852 % |
677.57/677.51 c | 1771098 | 8262 70369 234290 | 31367 28399 17 | 0.852 % |
677.77/677.70 c | 1771610 | 8262 70369 234290 | 31367 28911 18 | 0.852 % |
677.97/677.97 c | 1772634 | 8262 70369 234290 | 31367 29935 18 | 0.852 % |
678.78/678.75 c | 1774683 | 8262 70369 234290 | 31367 28390 18 | 0.852 % |
680.27/680.23 c | 1778779 | 8262 70369 234290 | 31367 29318 18 | 0.852 % |
683.37/683.31 c | 1786971 | 8261 70366 234284 | 2147483647 37509 19 | 0.864 % |
690.48/690.51 c | 1803356 | 8260 70363 234278 | 39163 36509 18 | 0.876 % |
690.68/690.70 c | 1803869 | 8260 70363 234278 | 39163 37022 18 | 0.876 % |
690.98/691.00 c | 1804382 | 8260 70363 234278 | 39163 37535 18 | 0.876 % |
691.38/691.40 c | 1805407 | 8260 70363 234278 | 39163 38560 18 | 0.876 % |
691.68/691.63 c | 1805920 | 8260 70363 234278 | 39163 39073 18 | 0.876 % |
691.88/691.91 c | 1806432 | 8260 70363 234278 | 39163 33203 17 | 0.876 % |
692.28/692.26 c | 1807458 | 8260 70363 234278 | 39163 34229 17 | 0.876 % |
693.08/693.06 c | 1809507 | 8260 70363 234278 | 39163 36278 17 | 0.876 % |
693.28/693.25 c | 1810020 | 8260 70363 234278 | 36771 36791 17 | 0.876 % |
693.48/693.49 c | 1810532 | 8260 70363 234278 | 36771 31453 17 | 0.876 % |
693.88/693.85 c | 1811556 | 8260 70363 234278 | 36771 32477 17 | 0.876 % |
694.08/694.06 c | 1812068 | 8260 70363 234278 | 36771 32989 17 | 0.876 % |
694.28/694.27 c | 1812583 | 8260 70363 234278 | 36771 33504 17 | 0.876 % |
694.58/694.60 c | 1813607 | 8260 70363 234278 | 36771 34528 17 | 0.876 % |
695.68/695.65 c | 1815658 | 8260 70363 234278 | 36771 36579 17 | 0.876 % |
697.18/697.14 c | 1819757 | 8260 70363 234278 | 36771 35088 18 | 0.876 % |
697.28/697.31 c | 1820269 | 8260 70363 234278 | 35332 35600 18 | 0.876 % |
697.58/697.53 c | 1820782 | 8260 70363 234278 | 35332 31063 17 | 0.876 % |
697.98/697.92 c | 1821806 | 8260 70363 234278 | 35332 32087 17 | 0.876 % |
698.18/698.19 c | 1822318 | 8260 70363 234278 | 35332 32599 17 | 0.876 % |
698.38/698.40 c | 1822830 | 8260 70363 234278 | 35332 33111 18 | 0.876 % |
698.78/698.81 c | 1823854 | 8260 70363 234278 | 35332 34135 18 | 0.876 % |
699.68/699.65 c | 1825902 | 8260 70363 234278 | 35332 30820 17 | 0.876 % |
699.88/699.81 c | 1826414 | 8260 70363 234278 | 35332 31332 18 | 0.876 % |
700.08/700.03 c | 1826927 | 8260 70363 234278 | 35332 31845 18 | 0.876 % |
700.38/700.39 c | 1827952 | 8260 70363 234278 | 35332 32870 18 | 0.876 % |
700.68/700.62 c | 1828464 | 8260 70363 234278 | 35332 33382 18 | 0.876 % |
700.78/700.74 c | 1828976 | 8260 70363 234278 | 35332 33894 18 | 0.876 % |
701.18/701.18 c | 1830002 | 8260 70363 234278 | 35332 34920 18 | 0.876 % |
701.98/701.92 c | 1832050 | 8260 70363 234278 | 34920 31837 18 | 0.876 % |
703.78/703.77 c | 1836147 | 8260 70363 234278 | 34920 30913 18 | 0.876 % |
707.08/707.08 c | 1844339 | 8260 70363 234278 | 34767 34232 18 | 0.876 % |
707.38/707.33 c | 1844852 | 8260 70363 234278 | 34767 34745 18 | 0.876 % |
707.58/707.56 c | 1845365 | 8260 70363 234278 | 34767 30314 18 | 0.876 % |
707.98/707.98 c | 1846392 | 8260 70363 234278 | 34767 31341 18 | 0.876 % |
708.18/708.15 c | 1846904 | 8260 70363 234278 | 34767 31853 18 | 0.876 % |
708.38/708.34 c | 1847417 | 8260 70363 234278 | 34767 32366 18 | 0.876 % |
708.78/708.77 c | 1848442 | 8260 70363 234278 | 34767 33391 18 | 0.876 % |
709.78/709.73 c | 1850490 | 8260 70363 234278 | 34949 30338 18 | 0.876 % |
709.88/709.87 c | 1851002 | 8260 70363 234278 | 34949 30850 18 | 0.876 % |
710.08/710.04 c | 1851514 | 8260 70363 234278 | 34949 31362 18 | 0.876 % |
710.48/710.47 c | 1852538 | 8260 70363 234278 | 34949 32386 18 | 0.876 % |
710.68/710.68 c | 1853052 | 8260 70363 234278 | 34949 32900 18 | 0.876 % |
710.88/710.85 c | 1853565 | 8260 70363 234278 | 34949 33413 18 | 0.876 % |
711.08/711.10 c | 1854590 | 8260 70363 234278 | 34949 34438 18 | 0.876 % |
712.08/712.07 c | 1856639 | 8260 70363 234278 | 34949 31508 18 | 0.876 % |
713.98/713.96 c | 1860736 | 8260 70363 234278 | 34869 30727 17 | 0.876 % |
714.08/714.10 c | 1861249 | 8260 70363 234278 | 34869 31240 17 | 0.876 % |
714.38/714.34 c | 1861761 | 8260 70363 234278 | 34869 31752 17 | 0.876 % |
714.78/714.76 c | 1862788 | 8260 70363 234278 | 34869 32779 17 | 0.876 % |
714.98/714.95 c | 1863300 | 8260 70363 234278 | 34869 33291 18 | 0.876 % |
715.18/715.18 c | 1863812 | 8260 70363 234278 | 34869 33803 18 | 0.876 % |
715.58/715.58 c | 1864836 | 8260 70363 234278 | 34869 34827 18 | 0.876 % |
716.38/716.39 c | 1866884 | 8260 70363 234278 | 34869 32235 18 | 0.876 % |
716.58/716.56 c | 1867396 | 8260 70363 234278 | 34869 32747 18 | 0.876 % |
716.78/716.78 c | 1867909 | 8260 70363 234278 | 34869 33260 18 | 0.876 % |
717.28/717.25 c | 1868933 | 8260 70363 234278 | 34869 34284 18 | 0.876 % |
717.58/717.54 c | 1869446 | 8260 70363 234278 | 34869 34797 18 | 0.876 % |
717.88/717.81 c | 1869960 | 8260 70363 234278 | 34869 35311 18 | 0.876 % |
718.18/718.17 c | 1870985 | 8260 70363 234278 | 30537 27421 17 | 0.876 % |
718.88/718.82 c | 1873034 | 8260 70363 234278 | 30537 29470 18 | 0.876 % |
720.68/720.69 c | 1877130 | 8260 70363 234278 | 30537 30101 18 | 0.876 % |
723.88/723.83 c | 1885322 | 8260 70363 234278 | 29259 27816 18 | 0.876 % |
730.38/730.31 c | 1901706 | 8260 70363 234278 | 2147483647 29022 17 | 0.876 % |
744.38/744.32 c | 1934474 | 8260 70363 234278 | 30765 27496 18 | 0.876 % |
744.48/744.46 c | 1934986 | 8260 70363 234278 | 30765 28008 18 | 0.876 % |
744.68/744.66 c | 1935499 | 8260 70363 234278 | 30765 28521 18 | 0.876 % |
744.88/744.89 c | 1936523 | 8260 70363 234278 | 30765 29545 18 | 0.876 % |
745.08/745.06 c | 1937035 | 8260 70363 234278 | 30765 30057 18 | 0.876 % |
745.28/745.26 c | 1937547 | 8260 70363 234278 | 30765 30569 18 | 0.876 % |
745.48/745.48 c | 1938572 | 8260 70363 234278 | 30765 28012 18 | 0.876 % |
746.18/746.14 c | 1940620 | 8260 70363 234278 | 29440 26604 18 | 0.876 % |
746.38/746.38 c | 1941133 | 8260 70363 234278 | 29440 27117 18 | 0.876 % |
746.68/746.62 c | 1941646 | 8260 70363 234278 | 29440 27630 18 | 0.876 % |
747.08/747.01 c | 1942670 | 8260 70363 234278 | 29440 28654 18 | 0.876 % |
747.18/747.20 c | 1943185 | 8260 70363 234278 | 29440 29169 18 | 0.876 % |
747.38/747.33 c | 1943698 | 8260 70363 234278 | 29440 29682 18 | 0.876 % |
747.68/747.61 c | 1944722 | 8260 70363 234278 | 29440 27393 18 | 0.876 % |
748.18/748.13 c | 1946771 | 8260 70363 234278 | 29440 29442 18 | 0.876 % |
749.48/749.46 c | 1950869 | 8260 70363 234278 | 2147483647 27609 18 | 0.876 % |
749.68/749.63 c | 1951381 | 8260 70363 234278 | 2147483647 28121 18 | 0.876 % |
749.88/749.81 c | 1951896 | 8260 70363 234278 | 2147483647 28636 18 | 0.876 % |
750.08/750.07 c | 1952920 | 8260 70363 234278 | 2147483647 29660 18 | 0.876 % |
750.29/750.23 c | 1953432 | 8260 70363 234278 | 2147483647 30172 18 | 0.876 % |
750.38/750.38 c | 1953945 | 8260 70363 234278 | 2147483647 30685 18 | 0.876 % |
750.68/750.67 c | 1954969 | 8260 70363 234278 | 2147483647 31709 18 | 0.876 % |
751.48/751.42 c | 1957017 | 8260 70363 234278 | 2147483647 33757 18 | 0.876 % |
751.68/751.64 c | 1957529 | 8260 70363 234278 | 2147483647 34269 18 | 0.876 % |
751.78/751.80 c | 1958042 | 8260 70363 234278 | 2147483647 34782 18 | 0.876 % |
752.18/752.17 c | 1959067 | 8260 70363 234278 | 2147483647 35807 18 | 0.876 % |
752.38/752.41 c | 1959579 | 8260 70363 234278 | 2147483647 36319 18 | 0.876 % |
752.68/752.62 c | 1960091 | 8260 70363 234278 | 36740 36831 18 | 0.876 % |
752.98/752.97 c | 1961116 | 8260 70363 234278 | 36740 33752 18 | 0.876 % |
753.68/753.70 c | 1963166 | 8260 70363 234278 | 36740 35802 18 | 0.876 % |
755.28/755.23 c | 1967262 | 8260 70363 234278 | 36740 35612 18 | 0.876 % |
758.78/758.78 c | 1975454 | 8260 70363 234278 | 34000 32016 17 | 0.876 % |
758.98/758.98 c | 1975967 | 8260 70363 234278 | 34000 32529 17 | 0.876 % |
759.18/759.18 c | 1976480 | 8260 70363 234278 | 34000 33042 18 | 0.876 % |
759.68/759.61 c | 1977504 | 8259 70360 234272 | 34000 34064 18 | 0.888 % |
759.78/759.80 c | 1978016 | 8259 70360 234272 | 34000 30682 17 | 0.888 % |
759.98/759.99 c | 1978531 | 8259 70360 234272 | 34000 31197 18 | 0.888 % |
760.28/760.30 c | 1979555 | 8259 70360 234272 | 34000 32221 18 | 0.888 % |
761.08/761.01 c | 1981603 | 8259 70360 234272 | 32666 30593 18 | 0.888 % |
761.18/761.17 c | 1982119 | 8259 70360 234272 | 32666 31109 18 | 0.888 % |
761.38/761.39 c | 1982632 | 8259 70360 234272 | 32666 31622 18 | 0.888 % |
761.78/761.80 c | 1983656 | 8259 70360 234272 | 32666 32646 18 | 0.888 % |
761.98/761.99 c | 1984169 | 8259 70360 234272 | 32666 29236 17 | 0.888 % |
762.18/762.17 c | 1984682 | 8259 70360 234272 | 32666 29749 17 | 0.888 % |
762.58/762.52 c | 1985706 | 8259 70360 234272 | 32666 30773 17 | 0.888 % |
763.28/763.22 c | 1987754 | 8259 70360 234272 | 32666 32821 18 | 0.888 % |
764.88/764.84 c | 1991852 | 8259 70360 234272 | 31385 29566 17 | 0.888 % |
765.08/765.04 c | 1992364 | 8259 70360 234272 | 31385 30078 17 | 0.888 % |
765.18/765.19 c | 1992878 | 8259 70360 234272 | 31385 30592 17 | 0.888 % |
765.69/765.62 c | 1993904 | 8259 70360 234272 | 31385 27826 17 | 0.888 % |
765.88/765.83 c | 1994416 | 8259 70360 234272 | 31385 28338 17 | 0.888 % |
766.08/766.04 c | 1994929 | 8259 70360 234272 | 31385 28851 17 | 0.888 % |
766.48/766.44 c | 1995954 | 8259 70360 234272 | 31385 29876 17 | 0.888 % |
767.08/767.06 c | 1998002 | 8259 70360 234272 | 31385 28050 17 | 0.888 % |
767.38/767.33 c | 1998514 | 8259 70360 234272 | 31385 28562 17 | 0.888 % |
767.58/767.53 c | 1999026 | 8259 70360 234272 | 31385 29074 17 | 0.888 % |
767.89/767.87 c | 2000050 | 8259 70360 234272 | 30049 30098 17 | 0.888 % |
768.08/768.08 c | 2000562 | 8259 70360 234272 | 30049 26451 16 | 0.888 % |
768.28/768.24 c | 2001074 | 8259 70360 234272 | 30049 26963 16 | 0.888 % |
768.48/768.49 c | 2002099 | 8259 70360 234272 | 30049 27988 17 | 0.888 % |
769.48/769.42 c | 2004148 | 8259 70360 234272 | 30049 30037 17 | 0.888 % |
770.88/770.87 c | 2008244 | 8259 70360 234272 | 30049 30141 17 | 0.888 % |
774.08/774.05 c | 2016436 | 8259 70360 234272 | 28168 28256 17 | 0.888 % |
779.78/779.74 c | 2032820 | 8258 70344 234239 | 2147483647 38721 18 | 0.900 % |
779.99/779.94 c | 2033332 | 8258 70344 234239 | 2147483647 39233 18 | 0.900 % |
780.18/780.15 c | 2033846 | 8258 70344 234239 | 2147483647 39747 18 | 0.900 % |
780.68/780.69 c | 2034871 | 8258 70344 234239 | 2147483647 40772 18 | 0.900 % |
780.98/780.98 c | 2035383 | 8257 70341 234233 | 2147483647 41280 18 | 0.912 % |
781.18/781.16 c | 2035896 | 8257 70341 234233 | 2147483647 41793 19 | 0.912 % |
781.78/781.78 c | 2036920 | 8257 70341 234233 | 2147483647 42817 19 | 0.912 % |
782.79/782.74 c | 2038968 | 8257 70341 234233 | 2147483647 44865 19 | 0.912 % |
782.99/782.98 c | 2039480 | 8257 70341 234233 | 2147483647 45377 19 | 0.912 % |
783.29/783.24 c | 2039993 | 8257 70341 234233 | 2147483647 45890 19 | 0.912 % |
783.79/783.78 c | 2041017 | 8257 70341 234233 | 45897 39065 19 | 0.912 % |
784.09/784.08 c | 2041530 | 8257 70341 234233 | 45897 39578 19 | 0.912 % |
784.39/784.34 c | 2042042 | 8257 70341 234233 | 45897 40090 19 | 0.912 % |
784.89/784.85 c | 2043066 | 8257 70341 234233 | 45897 41114 19 | 0.912 % |
785.89/785.90 c | 2045114 | 8257 70341 234233 | 45897 43162 19 | 0.912 % |
787.89/787.85 c | 2049210 | 8257 70341 234233 | 45897 38553 19 | 0.912 % |
788.19/788.13 c | 2049722 | 8257 70341 234233 | 45897 39065 19 | 0.912 % |
788.39/788.41 c | 2050234 | 8257 70341 234233 | 39343 39577 19 | 0.912 % |
788.89/788.84 c | 2051259 | 8257 70341 234233 | 39343 33231 18 | 0.912 % |
789.09/789.05 c | 2051773 | 8257 70341 234233 | 39343 33745 18 | 0.912 % |
789.29/789.26 c | 2052285 | 8257 70341 234233 | 39343 34257 18 | 0.912 % |
789.69/789.65 c | 2053310 | 8257 70341 234233 | 39343 35282 18 | 0.912 % |
790.59/790.52 c | 2055361 | 8257 70341 234233 | 39343 37333 18 | 0.912 % |
790.79/790.71 c | 2055873 | 8257 70341 234233 | 39343 37845 18 | 0.912 % |
790.99/790.97 c | 2056385 | 8257 70341 234233 | 39343 38357 18 | 0.912 % |
791.49/791.51 c | 2057410 | 8257 70341 234233 | 39343 39382 19 | 0.912 % |
791.79/791.81 c | 2057923 | 8257 70341 234233 | 39343 33206 18 | 0.912 % |
791.99/792.00 c | 2058436 | 8257 70341 234233 | 39343 33719 18 | 0.912 % |
792.49/792.42 c | 2059463 | 8256 70338 234227 | 39343 34744 18 | 0.924 % |
793.29/793.24 c | 2061513 | 8256 70338 234227 | 35282 31203 17 | 0.924 % |
794.79/794.81 c | 2065611 | 8256 70338 234227 | 35282 35301 18 | 0.924 % |
798.19/798.16 c | 2073803 | 8256 70338 234227 | 34838 33803 18 | 0.924 % |
798.39/798.40 c | 2074316 | 8256 70338 234227 | 34838 34316 18 | 0.924 % |
798.59/798.60 c | 2074832 | 8256 70338 234227 | 34838 34832 18 | 0.924 % |
799.09/799.03 c | 2075856 | 8256 70338 234227 | 34838 30502 17 | 0.924 % |
799.19/799.17 c | 2076368 | 8256 70338 234227 | 34838 31014 17 | 0.924 % |
799.39/799.35 c | 2076880 | 8256 70338 234227 | 34838 31526 17 | 0.924 % |
799.79/799.81 c | 2077904 | 8256 70338 234227 | 34838 32550 17 | 0.924 % |
800.59/800.57 c | 2079954 | 8256 70338 234227 | 34838 34600 18 | 0.924 % |
800.89/800.85 c | 2080468 | 8256 70338 234227 | 34646 30073 17 | 0.924 % |
801.09/801.06 c | 2080981 | 8256 70338 234227 | 34646 30586 17 | 0.924 % |
801.49/801.48 c | 2082005 | 8256 70338 234227 | 34646 31610 18 | 0.924 % |
801.79/801.72 c | 2082517 | 8256 70338 234227 | 34646 32122 18 | 0.924 % |
801.89/801.91 c | 2083029 | 8256 70338 234227 | 34646 32634 18 | 0.924 % |
802.49/802.44 c | 2084054 | 8256 70338 234227 | 34646 33659 18 | 0.924 % |
803.59/803.59 c | 2086102 | 8256 70338 234227 | 34646 30361 17 | 0.924 % |
805.09/805.07 c | 2090199 | 8256 70338 234227 | 34260 34458 17 | 0.924 % |
805.29/805.25 c | 2090711 | 8256 70338 234227 | 34260 30213 17 | 0.924 % |
805.49/805.48 c | 2091223 | 8256 70338 234227 | 34260 30725 17 | 0.924 % |
805.69/805.67 c | 2092252 | 8256 70338 234227 | 34260 31754 17 | 0.924 % |
805.89/805.83 c | 2092764 | 8256 70338 234227 | 34260 32266 17 | 0.924 % |
806.09/806.02 c | 2093277 | 8256 70338 234227 | 34260 32779 17 | 0.924 % |
806.49/806.44 c | 2094304 | 8256 70338 234227 | 34260 33806 17 | 0.924 % |
807.29/807.24 c | 2096355 | 8256 70338 234227 | 34260 31614 17 | 0.924 % |
807.49/807.44 c | 2096867 | 8256 70338 234227 | 34260 32126 17 | 0.924 % |
807.69/807.61 c | 2097380 | 8256 70338 234227 | 34260 32639 17 | 0.924 % |
808.19/808.17 c | 2098404 | 8256 70338 234227 | 34260 33663 18 | 0.924 % |
808.49/808.42 c | 2098918 | 8256 70338 234227 | 34260 34177 18 | 0.924 % |
808.69/808.63 c | 2099430 | 8256 70338 234227 | 34260 30252 17 | 0.924 % |
809.19/809.20 c | 2100454 | 8256 70338 234227 | 30822 27102 17 | 0.924 % |
809.89/809.87 c | 2102502 | 8256 70338 234227 | 30822 29150 17 | 0.924 % |
811.59/811.55 c | 2106598 | 8256 70338 234227 | 30822 29972 17 | 0.924 % |
814.79/814.81 c | 2114792 | 8255 70236 233922 | 30034 28065 17 | 0.936 % |
821.39/821.40 c | 2131176 | 8254 70136 233623 | 29758 27462 16 | 0.948 % |
833.89/833.83 c | 2163944 | 8252 70111 233563 | 39614 37960 20 | 0.972 % |
862.69/862.62 c | 2229480 | 8249 70087 233506 | 33915 32778 18 | 1.008 % |
912.50/912.47 c | 2360554 | 8245 70072 233476 | 37595 32930 19 | 1.056 % |
1014.21/1014.12 c | 2622698 | 8227 69921 233075 | 30289 29154 19 | 1.272 % |
1014.31/1014.29 c | 2623210 | 8227 69921 233075 | 30289 29666 19 | 1.272 % |
1014.51/1014.46 c | 2623723 | 8227 69921 233075 | 30289 30179 19 | 1.272 % |
1014.81/1014.77 c | 2624748 | 8227 69921 233075 | 30289 27556 19 | 1.272 % |
1014.91/1014.89 c | 2625260 | 8226 69921 233075 | 30289 28067 19 | 1.284 % |
1015.11/1015.06 c | 2625773 | 8226 69918 233069 | 30289 28578 19 | 1.284 % |
1015.41/1015.35 c | 2626797 | 8226 69918 233069 | 30289 29602 19 | 1.284 % |
1015.91/1015.83 c | 2628845 | 8226 69918 233069 | 30289 28221 19 | 1.284 % |
1016.01/1015.97 c | 2629359 | 8226 69918 233069 | 30289 28735 19 | 1.284 % |
1016.11/1016.10 c | 2629871 | 8226 69918 233069 | 30289 29247 19 | 1.284 % |
1016.51/1016.43 c | 2630896 | 8226 69918 233069 | 29376 27069 18 | 1.284 % |
1016.61/1016.56 c | 2631408 | 8226 69918 233069 | 29376 27581 18 | 1.284 % |
1016.71/1016.70 c | 2631920 | 8226 69918 233069 | 29376 28093 18 | 1.284 % |
1017.01/1016.98 c | 2632945 | 8226 69918 233069 | 29376 29118 18 | 1.284 % |
1017.61/1017.58 c | 2634993 | 8226 69918 233069 | 29376 28197 18 | 1.284 % |
1018.71/1018.63 c | 2639089 | 8226 69918 233069 | 29376 29319 18 | 1.284 % |
1018.81/1018.77 c | 2639601 | 8226 69918 233069 | 29376 29831 18 | 1.284 % |
1019.01/1018.92 c | 2640114 | 8226 69918 233069 | 2147483647 27361 17 | 1.284 % |
1019.21/1019.21 c | 2641140 | 8225 69915 233063 | 2147483647 28386 17 | 1.296 % |
1019.41/1019.34 c | 2641653 | 8225 69915 233063 | 2147483647 28899 17 | 1.296 % |
1019.51/1019.47 c | 2642166 | 8225 69915 233063 | 2147483647 29412 17 | 1.296 % |
1019.81/1019.72 c | 2643190 | 8225 69915 233063 | 2147483647 30436 18 | 1.296 % |
1020.41/1020.38 c | 2645238 | 8225 69915 233063 | 2147483647 32484 18 | 1.296 % |
1020.61/1020.53 c | 2645750 | 8225 69915 233063 | 2147483647 32996 18 | 1.296 % |
1020.71/1020.68 c | 2646263 | 8225 69915 233063 | 2147483647 33509 18 | 1.296 % |
1021.01/1020.95 c | 2647288 | 8225 69915 233063 | 2147483647 34534 18 | 1.296 % |
1021.21/1021.13 c | 2647800 | 8225 69915 233063 | 2147483647 35046 18 | 1.296 % |
1021.31/1021.30 c | 2648312 | 8225 69915 233063 | 2147483647 35558 18 | 1.296 % |
1021.71/1021.69 c | 2649336 | 8225 69915 233063 | 2147483647 36582 18 | 1.296 % |
1022.41/1022.36 c | 2651385 | 8225 69915 233063 | 37246 33559 18 | 1.296 % |
1023.71/1023.70 c | 2655481 | 8225 69915 233063 | 37246 32963 18 | 1.296 % |
1026.31/1026.22 c | 2663673 | 8224 69912 233057 | 37481 36046 18 | 1.308 % |
1026.41/1026.35 c | 2664185 | 8224 69912 233057 | 37481 36558 18 | 1.308 % |
1026.51/1026.51 c | 2664698 | 8224 69912 233057 | 37481 37071 18 | 1.308 % |
1026.91/1026.88 c | 2665722 | 8224 69912 233057 | 37481 32816 18 | 1.308 % |
1027.11/1027.04 c | 2666235 | 8224 69912 233057 | 37481 33329 18 | 1.308 % |
1027.21/1027.19 c | 2666749 | 8224 69912 233057 | 37481 33843 18 | 1.308 % |
1027.51/1027.49 c | 2667774 | 8224 69912 233057 | 37481 34868 18 | 1.308 % |
1028.31/1028.22 c | 2669825 | 8224 69912 233057 | 37481 36919 18 | 1.308 % |
1028.41/1028.37 c | 2670337 | 8224 69912 233057 | 37094 37431 18 | 1.308 % |
1028.61/1028.53 c | 2670851 | 8224 69912 233057 | 37094 32612 18 | 1.308 % |
1028.91/1028.89 c | 2671879 | 8224 69912 233057 | 37094 33640 18 | 1.308 % |
1029.11/1029.05 c | 2672391 | 8224 69912 233057 | 37094 34152 18 | 1.308 % |
1029.21/1029.20 c | 2672904 | 8224 69912 233057 | 37094 34665 18 | 1.308 % |
1029.61/1029.54 c | 2673931 | 8224 69912 233057 | 37094 35692 18 | 1.308 % |
1030.31/1030.22 c | 2675979 | 8224 69912 233057 | 37094 32285 18 | 1.308 % |
1031.71/1031.67 c | 2680077 | 8224 69912 233057 | 36307 36383 18 | 1.308 % |
1031.91/1031.88 c | 2680589 | 8224 69912 233057 | 36307 31184 17 | 1.308 % |
1032.11/1032.02 c | 2681102 | 8224 69912 233057 | 36307 31697 17 | 1.308 % |
1032.41/1032.34 c | 2682126 | 8224 69912 233057 | 36307 32721 18 | 1.308 % |
1032.51/1032.51 c | 2682639 | 8224 69912 233057 | 36307 33234 18 | 1.308 % |
1032.71/1032.70 c | 2683152 | 8224 69912 233057 | 36307 33747 18 | 1.308 % |
1033.11/1033.01 c | 2684177 | 8224 69912 233057 | 36307 34772 18 | 1.308 % |
1033.81/1033.72 c | 2686227 | 8224 69912 233057 | 36307 31537 17 | 1.308 % |
1033.91/1033.89 c | 2686740 | 8224 69912 233057 | 36307 32050 17 | 1.308 % |
1034.12/1034.09 c | 2687252 | 8224 69912 233057 | 36307 32562 17 | 1.308 % |
1034.51/1034.44 c | 2688276 | 8224 69912 233057 | 36307 33586 18 | 1.308 % |
1034.71/1034.63 c | 2688788 | 8224 69912 233057 | 36307 34098 18 | 1.308 % |
1034.91/1034.87 c | 2689301 | 8224 69912 233057 | 36307 34611 18 | 1.308 % |
1035.31/1035.28 c | 2690326 | 8224 69912 233057 | 35311 30806 17 | 1.308 % |
1035.91/1035.89 c | 2692374 | 8224 69912 233057 | 35311 32854 17 | 1.308 % |
1037.31/1037.24 c | 2696472 | 8224 69912 233057 | 35311 32256 17 | 1.308 % |
1039.91/1039.90 c | 2704667 | 8223 69909 233051 | 30890 31139 18 | 1.320 % |
1045.01/1044.95 c | 2721051 | 8223 69909 233051 | 2147483647 27832 19 | 1.320 % |
1045.12/1045.03 c | 2721563 | 8223 69909 233051 | 2147483647 28344 19 | 1.320 % |
1045.21/1045.20 c | 2722075 | 8223 69909 233051 | 2147483647 28856 19 | 1.320 % |
1045.51/1045.50 c | 2723099 | 8223 69909 233051 | 2147483647 29880 19 | 1.320 % |
1045.71/1045.65 c | 2723611 | 8223 69909 233051 | 2147483647 30392 19 | 1.320 % |
1045.81/1045.75 c | 2724125 | 8223 69909 233051 | 2147483647 30906 19 | 1.320 % |
1046.11/1046.05 c | 2725150 | 8223 69909 233051 | 2147483647 31931 19 | 1.320 % |
1046.81/1046.75 c | 2727199 | 8223 69909 233051 | 2147483647 33980 19 | 1.320 % |
1046.91/1046.90 c | 2727711 | 8223 69909 233051 | 2147483647 34492 19 | 1.320 % |
1047.11/1047.08 c | 2728225 | 8223 69909 233051 | 2147483647 35006 19 | 1.320 % |
1047.41/1047.34 c | 2729249 | 8223 69909 233051 | 2147483647 36030 19 | 1.320 % |
1047.51/1047.51 c | 2729761 | 8223 69909 233051 | 2147483647 36542 19 | 1.320 % |
1047.71/1047.66 c | 2730274 | 8223 69909 233051 | 36781 37055 19 | 1.320 % |
1048.11/1048.03 c | 2731301 | 8223 69909 233051 | 36781 33638 19 | 1.320 % |
1048.81/1048.74 c | 2733351 | 8223 69909 233051 | 36781 35688 19 | 1.320 % |
1050.11/1050.07 c | 2737449 | 8223 69909 233051 | 36781 34458 18 | 1.320 % |
1050.31/1050.25 c | 2737961 | 8223 69909 233051 | 36781 34970 18 | 1.320 % |
1050.51/1050.43 c | 2738473 | 8223 69909 233051 | 36781 35482 18 | 1.320 % |
1050.81/1050.77 c | 2739497 | 8223 69909 233051 | 36781 36506 18 | 1.320 % |
1051.01/1050.94 c | 2740009 | 8223 69909 233051 | 37009 37018 18 | 1.320 % |
1051.11/1051.09 c | 2740521 | 8223 69909 233051 | 37009 32329 17 | 1.320 % |
1051.51/1051.43 c | 2741545 | 8223 69909 233051 | 37009 33353 17 | 1.320 % |
1052.31/1052.24 c | 2743593 | 8223 69909 233051 | 37009 35401 18 | 1.320 % |
1052.41/1052.40 c | 2744105 | 8223 69909 233051 | 37009 35913 18 | 1.320 % |
1052.61/1052.58 c | 2744617 | 8223 69909 233051 | 37009 36425 18 | 1.320 % |
1053.01/1052.95 c | 2745641 | 8223 69909 233051 | 37009 31811 17 | 1.320 % |
1053.21/1053.13 c | 2746153 | 8223 69909 233051 | 37009 32323 17 | 1.320 % |
1053.31/1053.26 c | 2746665 | 8223 69909 233051 | 37009 32835 17 | 1.320 % |
1053.61/1053.60 c | 2747689 | 8223 69909 233051 | 37009 33859 17 | 1.320 % |
1054.41/1054.35 c | 2749737 | 8223 69909 233051 | 37009 35907 17 | 1.320 % |
1055.71/1055.62 c | 2753833 | 8223 69909 233051 | 36170 34530 17 | 1.320 % |
1058.71/1058.63 c | 2762028 | 8223 69909 233051 | 36208 33651 17 | 1.320 % |
1058.81/1058.77 c | 2762541 | 8223 69909 233051 | 36208 34164 17 | 1.320 % |
1059.01/1058.96 c | 2763056 | 8223 69909 233051 | 36208 34679 17 | 1.320 % |
1059.42/1059.34 c | 2764082 | 8223 69909 233051 | 36208 35705 17 | 1.320 % |
1059.51/1059.48 c | 2764594 | 8223 69909 233051 | 36208 36217 18 | 1.320 % |
1059.71/1059.66 c | 2765107 | 8223 69909 233051 | 36208 31642 17 | 1.320 % |
1060.11/1060.09 c | 2766131 | 8223 69909 233051 | 36208 32666 17 | 1.320 % |
1060.81/1060.78 c | 2768179 | 8223 69909 233051 | 36208 34714 18 | 1.320 % |
1061.01/1060.95 c | 2768691 | 8223 69909 233051 | 36208 35226 18 | 1.320 % |
1061.21/1061.15 c | 2769204 | 8223 69909 233051 | 36208 35739 18 | 1.320 % |
1061.62/1061.55 c | 2770228 | 8223 69909 233051 | 36535 36763 18 | 1.320 % |
1061.81/1061.78 c | 2770742 | 8223 69909 233051 | 36535 32217 17 | 1.320 % |
1062.01/1061.96 c | 2771254 | 8223 69909 233051 | 36535 32729 18 | 1.320 % |
1062.31/1062.25 c | 2772278 | 8223 69909 233051 | 36535 33753 18 | 1.320 % |
1063.11/1063.10 c | 2774326 | 8223 69909 233051 | 36535 35801 18 | 1.320 % |
1064.41/1064.38 c | 2778423 | 8223 69909 233051 | 36535 34775 18 | 1.320 % |
1064.61/1064.60 c | 2778937 | 8223 69909 233051 | 36535 35289 18 | 1.320 % |
1064.81/1064.75 c | 2779449 | 8223 69909 233051 | 36535 35801 18 | 1.320 % |
1065.21/1065.20 c | 2780473 | 8223 69909 233051 | 36352 31666 18 | 1.320 % |
1065.41/1065.36 c | 2780985 | 8223 69909 233051 | 36352 32178 18 | 1.320 % |
1065.61/1065.53 c | 2781497 | 8223 69909 233051 | 36352 32690 18 | 1.320 % |
1065.91/1065.89 c | 2782521 | 8223 69909 233051 | 36352 33714 18 | 1.320 % |
1066.71/1066.61 c | 2784569 | 8223 69909 233051 | 36352 35762 18 | 1.320 % |
1066.91/1066.83 c | 2785082 | 8223 69909 233051 | 36352 36275 18 | 1.320 % |
1067.12/1067.06 c | 2785594 | 8223 69909 233051 | 36352 31471 17 | 1.320 % |
1067.41/1067.35 c | 2786619 | 8223 69909 233051 | 36352 32496 18 | 1.320 % |
1067.51/1067.49 c | 2787132 | 8223 69909 233051 | 36352 33009 18 | 1.320 % |
1067.71/1067.67 c | 2787644 | 8223 69909 233051 | 36352 33521 18 | 1.320 % |
1068.01/1067.93 c | 2788669 | 8223 69909 233051 | 36352 34546 18 | 1.320 % |
1068.61/1068.58 c | 2790718 | 8223 69909 233051 | 35877 31790 18 | 1.320 % |
1070.21/1070.12 c | 2794815 | 8223 69909 233051 | 35877 35887 18 | 1.320 % |
1073.41/1073.41 c | 2803007 | 8222 69906 233045 | 36184 33373 17 | 1.332 % |
1079.62/1079.53 c | 2819391 | 8221 69903 233039 | 35062 34411 17 | 1.344 % |
1090.12/1090.08 c | 2852160 | 8221 69903 233039 | 31293 29321 18 | 1.344 % |
1090.32/1090.25 c | 2852675 | 8221 69903 233039 | 31293 29836 18 | 1.344 % |
1090.42/1090.39 c | 2853187 | 8221 69903 233039 | 31293 30348 18 | 1.344 % |
1090.72/1090.64 c | 2854211 | 8221 69903 233039 | 31293 31372 18 | 1.344 % |
1090.82/1090.78 c | 2854724 | 8221 69903 233039 | 31293 28250 18 | 1.344 % |
1090.92/1090.89 c | 2855237 | 8221 69903 233039 | 31293 28763 18 | 1.344 % |
1091.12/1091.12 c | 2856261 | 8221 69903 233039 | 31293 29787 18 | 1.344 % |
1091.72/1091.69 c | 2858310 | 8221 69903 233039 | 31293 31836 18 | 1.344 % |
1091.92/1091.85 c | 2858822 | 8221 69903 233039 | 31293 28674 18 | 1.344 % |
1092.02/1092.00 c | 2859336 | 8221 69903 233039 | 31293 29188 18 | 1.344 % |
1092.32/1092.30 c | 2860362 | 8221 69903 233039 | 29853 30214 18 | 1.344 % |
1092.52/1092.48 c | 2860876 | 8221 69903 233039 | 29853 27447 17 | 1.344 % |
1092.62/1092.61 c | 2861389 | 8221 69903 233039 | 29853 27960 17 | 1.344 % |
1092.92/1092.90 c | 2862414 | 8221 69903 233039 | 29853 28985 17 | 1.344 % |
1093.62/1093.52 c | 2864464 | 8221 69903 233039 | 29853 27987 17 | 1.344 % |
1094.82/1094.78 c | 2868560 | 8221 69903 233039 | 29853 29061 17 | 1.344 % |
1095.02/1094.93 c | 2869072 | 8221 69903 233039 | 29853 29573 17 | 1.344 % |
1095.12/1095.07 c | 2869584 | 8221 69903 233039 | 29853 30085 17 | 1.344 % |
1095.32/1095.31 c | 2870610 | 8221 69903 233039 | 2147483647 28099 17 | 1.344 % |
1095.52/1095.46 c | 2871123 | 8221 69903 233039 | 2147483647 28612 17 | 1.344 % |
1095.62/1095.60 c | 2871635 | 8221 69903 233039 | 2147483647 29124 17 | 1.344 % |
1095.92/1095.87 c | 2872660 | 8221 69903 233039 | 2147483647 30149 17 | 1.344 % |
1096.52/1096.51 c | 2874708 | 8221 69903 233039 | 2147483647 32197 18 | 1.344 % |
1096.72/1096.70 c | 2875220 | 8221 69903 233039 | 2147483647 32709 18 | 1.344 % |
1096.92/1096.86 c | 2875733 | 8221 69903 233039 | 2147483647 33222 18 | 1.344 % |
1097.22/1097.17 c | 2876758 | 8221 69903 233039 | 2147483647 34247 18 | 1.344 % |
1097.42/1097.34 c | 2877270 | 8221 69903 233039 | 2147483647 34759 18 | 1.344 % |
1097.52/1097.51 c | 2877784 | 8221 69903 233039 | 2147483647 35273 18 | 1.344 % |
1098.02/1097.92 c | 2878808 | 8220 69900 233033 | 2147483647 36294 18 | 1.356 % |
1098.82/1098.79 c | 2880857 | 8220 69900 233033 | 37487 33495 18 | 1.356 % |
1100.12/1100.10 c | 2884953 | 8220 69900 233033 | 37487 37591 18 | 1.356 % |
1103.22/1103.20 c | 2893145 | 8220 69900 233033 | 37833 36018 18 | 1.356 % |
1103.42/1103.35 c | 2893657 | 8220 69900 233033 | 37833 36530 18 | 1.356 % |
1103.62/1103.55 c | 2894171 | 8220 69900 233033 | 37833 37044 18 | 1.356 % |
1104.02/1103.95 c | 2895196 | 8220 69900 233033 | 37833 38069 18 | 1.356 % |
1104.22/1104.15 c | 2895710 | 8220 69900 233033 | 37833 33201 18 | 1.356 % |
1104.32/1104.31 c | 2896223 | 8220 69900 233033 | 37833 33714 18 | 1.356 % |
1104.82/1104.74 c | 2897248 | 8220 69900 233033 | 37833 34739 18 | 1.356 % |
1105.42/1105.32 c | 2899296 | 8220 69900 233033 | 37833 36787 18 | 1.356 % |
1105.62/1105.54 c | 2899813 | 8220 69900 233033 | 37833 37304 18 | 1.356 % |
1105.82/1105.72 c | 2900325 | 8220 69900 233033 | 37491 37816 18 | 1.356 % |
1106.32/1106.23 c | 2901353 | 8220 69900 233033 | 37491 33213 18 | 1.356 % |
1106.52/1106.45 c | 2901866 | 8220 69900 233033 | 37491 33726 18 | 1.356 % |
1106.72/1106.66 c | 2902378 | 8220 69900 233033 | 37491 34238 18 | 1.356 % |
1107.12/1107.02 c | 2903404 | 8220 69900 233033 | 37491 35264 18 | 1.356 % |
1107.82/1107.72 c | 2905454 | 8219 69801 232737 | 37491 37312 18 | 1.368 % |
1109.22/1109.17 c | 2909551 | 8219 69801 232737 | 37491 35581 18 | 1.368 % |
1109.42/1109.39 c | 2910064 | 8219 69801 232737 | 36032 36094 18 | 1.368 % |
1109.62/1109.58 c | 2910579 | 8219 69801 232737 | 36032 31252 17 | 1.368 % |
1110.02/1109.96 c | 2911603 | 8219 69801 232737 | 36032 32276 17 | 1.368 % |
1110.22/1110.18 c | 2912119 | 8217 69776 232677 | 36032 32788 17 | 1.392 % |
1110.42/1110.35 c | 2912631 | 8217 69776 232677 | 36032 33300 17 | 1.392 % |
1110.82/1110.72 c | 2913656 | 8217 69776 232677 | 36032 34325 17 | 1.392 % |
1111.62/1111.57 c | 2915704 | 8217 69776 232677 | 36032 30709 17 | 1.392 % |
1111.72/1111.67 c | 2916216 | 8217 69776 232677 | 36032 31221 17 | 1.392 % |
1111.92/1111.85 c | 2916728 | 8217 69776 232677 | 36032 31733 17 | 1.392 % |
1112.22/1112.20 c | 2917754 | 8217 69776 232677 | 36032 32759 17 | 1.392 % |
1112.42/1112.40 c | 2918267 | 8217 69776 232677 | 36032 33272 17 | 1.392 % |
1112.72/1112.63 c | 2918779 | 8217 69776 232677 | 36032 33784 17 | 1.392 % |
1113.12/1113.07 c | 2919803 | 8217 69776 232677 | 36032 34808 17 | 1.392 % |
1114.02/1113.97 c | 2921851 | 8217 69776 232677 | 35005 31116 17 | 1.392 % |
1115.32/1115.29 c | 2925948 | 8217 69776 232677 | 35005 35213 18 | 1.392 % |
1118.62/1118.62 c | 2934140 | 8217 69776 232677 | 34184 32683 17 | 1.392 % |
1123.82/1123.74 c | 2950524 | 8217 69776 232677 | 31135 28501 17 | 1.392 % |
1123.92/1123.88 c | 2951036 | 8217 69776 232677 | 31135 29013 17 | 1.392 % |
1124.12/1124.02 c | 2951548 | 8217 69776 232677 | 31135 29525 17 | 1.392 % |
1124.42/1124.32 c | 2952572 | 8217 69776 232677 | 31135 30549 17 | 1.392 % |
1124.52/1124.45 c | 2953085 | 8217 69776 232677 | 31135 31062 17 | 1.392 % |
1124.72/1124.62 c | 2953597 | 8217 69776 232677 | 31135 28426 17 | 1.392 % |
1125.02/1124.94 c | 2954622 | 8217 69776 232677 | 31135 29451 17 | 1.392 % |
1125.52/1125.51 c | 2956671 | 8217 69776 232677 | 31135 31500 17 | 1.392 % |
1125.72/1125.68 c | 2957184 | 8217 69776 232677 | 31135 28863 17 | 1.392 % |
1125.92/1125.84 c | 2957696 | 8217 69776 232677 | 31135 29375 17 | 1.392 % |
1126.12/1126.11 c | 2958721 | 8217 69776 232677 | 31135 30400 17 | 1.392 % |
1126.32/1126.25 c | 2959234 | 8217 69776 232677 | 31135 30913 17 | 1.392 % |
1126.42/1126.39 c | 2959747 | 8217 69776 232677 | 31135 31426 17 | 1.392 % |
1126.72/1126.65 c | 2960771 | 8217 69776 232677 | 2147483647 29308 17 | 1.392 % |
1127.32/1127.27 c | 2962824 | 8217 69776 232677 | 2147483647 31361 17 | 1.392 % |
1128.72/1128.65 c | 2966920 | 8217 69776 232677 | 2147483647 35457 17 | 1.392 % |
1128.92/1128.85 c | 2967432 | 8217 69776 232677 | 2147483647 35969 17 | 1.392 % |
1129.12/1129.04 c | 2967945 | 8217 69776 232677 | 2147483647 36482 18 | 1.392 % |
1129.52/1129.42 c | 2968971 | 8217 69776 232677 | 2147483647 37508 18 | 1.392 % |
1129.62/1129.58 c | 2969483 | 8217 69776 232677 | 2147483647 38020 18 | 1.392 % |
1129.82/1129.77 c | 2969997 | 8217 69776 232677 | 2147483647 38534 18 | 1.392 % |
1130.32/1130.24 c | 2971023 | 8217 69776 232677 | 38538 34830 17 | 1.392 % |
1130.92/1130.87 c | 2973073 | 8217 69776 232677 | 38538 36880 18 | 1.392 % |
1131.12/1131.06 c | 2973585 | 8217 69776 232677 | 38538 37392 18 | 1.392 % |
1131.32/1131.31 c | 2974097 | 8217 69776 232677 | 38538 37904 18 | 1.392 % |
1131.82/1131.76 c | 2975123 | 8216 69773 232671 | 38538 33149 17 | 1.404 % |
1132.02/1131.94 c | 2975635 | 8216 69773 232671 | 38538 33661 17 | 1.404 % |
1132.22/1132.13 c | 2976148 | 8216 69773 232671 | 38538 34174 17 | 1.404 % |
1132.62/1132.53 c | 2977172 | 8216 69773 232671 | 38538 35198 17 | 1.404 % |
1133.32/1133.27 c | 2979220 | 8216 69773 232671 | 38538 37246 17 | 1.404 % |
1135.02/1134.92 c | 2983316 | 8216 69773 232671 | 38027 34906 17 | 1.404 % |
1137.62/1137.57 c | 2991510 | 8216 69773 232671 | 35534 31397 17 | 1.404 % |
1137.82/1137.78 c | 2992023 | 8216 69773 232671 | 35534 31910 18 | 1.404 % |
1138.02/1137.96 c | 2992535 | 8216 69773 232671 | 35534 32422 18 | 1.404 % |
1138.32/1138.30 c | 2993563 | 8216 69773 232671 | 35534 33450 18 | 1.404 % |
1138.52/1138.48 c | 2994076 | 8216 69773 232671 | 35534 33963 18 | 1.404 % |
1138.72/1138.68 c | 2994592 | 8216 69773 232671 | 35534 34479 18 | 1.404 % |
1139.22/1139.13 c | 2995619 | 8216 69773 232671 | 35534 35506 18 | 1.404 % |
1139.82/1139.78 c | 2997667 | 8216 69773 232671 | 35534 32282 18 | 1.404 % |
1140.02/1139.98 c | 2998179 | 8216 69773 232671 | 35534 32794 18 | 1.404 % |
1140.22/1140.14 c | 2998691 | 8216 69773 232671 | 35534 33306 18 | 1.404 % |
1140.52/1140.51 c | 2999716 | 8215 69770 232665 | 35534 34328 18 | 1.416 % |
1140.72/1140.67 c | 3000228 | 8215 69770 232665 | 34612 34840 18 | 1.416 % |
1140.92/1140.88 c | 3000742 | 8215 69770 232665 | 34612 30633 18 | 1.416 % |
1141.32/1141.25 c | 3001767 | 8215 69770 232665 | 34612 31658 18 | 1.416 % |
1142.02/1141.94 c | 3003815 | 8215 69770 232665 | 34612 33706 18 | 1.416 % |
1143.52/1143.48 c | 3007912 | 8215 69770 232665 | 34612 33093 17 | 1.416 % |
1143.72/1143.68 c | 3008424 | 8215 69770 232665 | 34612 33605 17 | 1.416 % |
1143.92/1143.86 c | 3008936 | 8215 69770 232665 | 34612 34117 17 | 1.416 % |
1144.32/1144.25 c | 3009960 | 8215 69770 232665 | 34612 30501 17 | 1.416 % |
1144.52/1144.47 c | 3010472 | 8215 69770 232665 | 30541 27002 16 | 1.416 % |
1144.72/1144.66 c | 3010984 | 8215 69770 232665 | 30541 27514 16 | 1.416 % |
1145.12/1145.06 c | 3012010 | 8215 69770 232665 | 30541 28540 16 | 1.416 % |
1145.82/1145.77 c | 3014058 | 8215 69770 232665 | 30541 30588 17 | 1.416 % |
1146.02/1145.97 c | 3014570 | 8215 69770 232665 | 30541 27266 16 | 1.416 % |
1146.22/1146.17 c | 3015083 | 8215 69770 232665 | 30541 27779 16 | 1.416 % |
1146.62/1146.52 c | 3016108 | 8215 69770 232665 | 30541 28804 16 | 1.416 % |
1146.72/1146.68 c | 3016621 | 8215 69770 232665 | 30541 29317 16 | 1.416 % |
1146.92/1146.87 c | 3017136 | 8215 69770 232665 | 30541 29832 16 | 1.416 % |
1147.22/1147.19 c | 3018161 | 8215 69770 232665 | 30541 30857 16 | 1.416 % |
1147.92/1147.90 c | 3020209 | 8215 69770 232665 | 28769 28975 16 | 1.416 % |
1149.12/1149.07 c | 3024305 | 8215 69770 232665 | 28769 26336 16 | 1.416 % |
1151.83/1151.79 c | 3032497 | 8215 69770 232665 | 28891 28456 16 | 1.416 % |
1157.33/1157.25 c | 3048882 | 8215 69770 232665 | 27188 25017 16 | 1.416 % |
1169.72/1169.69 c | 3081650 | 8213 69671 232372 | 31462 28750 17 | 1.440 % |
1191.43/1191.38 c | 3147187 | 8207 69468 231777 | 30684 30923 18 | 1.524 % |
1191.63/1191.56 c | 3147699 | 8206 69465 231771 | 30684 27979 17 | 1.524 % |
1191.83/1191.74 c | 3148211 | 8206 69465 231771 | 30684 28491 18 | 1.524 % |
1192.13/1192.05 c | 3149236 | 8206 69465 231771 | 30684 29516 18 | 1.524 % |
1192.23/1192.20 c | 3149748 | 8206 69465 231771 | 30684 30028 18 | 1.524 % |
1192.43/1192.35 c | 3150260 | 8206 69465 231771 | 30280 30540 18 | 1.524 % |
1192.73/1192.69 c | 3151284 | 8206 69465 231771 | 30280 28109 17 | 1.524 % |
1193.33/1193.24 c | 3153332 | 8206 69465 231771 | 30280 30157 18 | 1.524 % |
1193.43/1193.42 c | 3153845 | 8206 69465 231771 | 30280 27583 18 | 1.524 % |
1193.63/1193.54 c | 3154359 | 8206 69465 231771 | 30280 28097 18 | 1.524 % |
1193.93/1193.84 c | 3155384 | 8206 69465 231771 | 30280 29122 18 | 1.524 % |
1194.03/1193.98 c | 3155899 | 8206 69465 231771 | 30280 29637 18 | 1.524 % |
1194.23/1194.15 c | 3156414 | 8206 69465 231771 | 30280 30152 18 | 1.524 % |
1194.53/1194.43 c | 3157438 | 8206 69465 231771 | 30280 28118 17 | 1.524 % |
1195.13/1195.06 c | 3159486 | 8206 69465 231771 | 30280 30166 17 | 1.524 % |
1196.53/1196.42 c | 3163582 | 8206 69465 231771 | 27419 25312 17 | 1.524 % |
1196.63/1196.57 c | 3164096 | 8206 69465 231771 | 27419 25826 17 | 1.524 % |
1196.83/1196.72 c | 3164608 | 8206 69465 231771 | 27419 26338 17 | 1.524 % |
1197.13/1197.09 c | 3165632 | 8206 69465 231771 | 27419 27362 17 | 1.524 % |
1197.33/1197.28 c | 3166145 | 8206 69465 231771 | 27419 25099 17 | 1.524 % |
1197.53/1197.44 c | 3166657 | 8206 69465 231771 | 27419 25611 17 | 1.524 % |
1197.73/1197.70 c | 3167682 | 8206 69465 231771 | 27419 26636 17 | 1.524 % |
1198.13/1198.10 c | 3169730 | 8206 69465 231771 | 27419 25869 17 | 1.524 % |
1198.33/1198.24 c | 3170244 | 8206 69465 231771 | 2147483647 26383 17 | 1.524 % |
1198.43/1198.38 c | 3170756 | 8206 69465 231771 | 2147483647 26895 17 | 1.524 % |
1198.83/1198.78 c | 3171782 | 8206 69465 231771 | 2147483647 27921 17 | 1.524 % |
1198.93/1198.90 c | 3172294 | 8206 69465 231771 | 2147483647 28433 17 | 1.524 % |
1199.13/1199.06 c | 3172806 | 8206 69465 231771 | 2147483647 28945 17 | 1.524 % |
1199.43/1199.34 c | 3173833 | 8206 69465 231771 | 2147483647 29972 17 | 1.524 % |
1200.03/1199.92 HOME/SatELiteGTI: line 36: 18595 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821383-1242523037/watcher-1821383-1242523037 -o /tmp/evaluation-result-1821383-1242523037/solver-1821383-1242523037 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821383-1242523037.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 18589
/proc/meminfo: memFree=428216/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2412 CPUtime=0.01
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 368 644 0 0 0 1 0 0 25 0 1 0 1016800857 2469888 276 4294967295 134512640 135169312 3213792304 3213790840 3085397742 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/18589/statm: 603 276 235 161 0 42 0
[pid=18593] ppid=18589 vsize=952 CPUtime=0.01
/proc/18593/stat : 18593 (SatELite_releas) R 18589 18589 14060 0 -1 4202496 119 0 0 0 0 1 0 0 25 0 1 0 1016800858 974848 56 4294967295 134512640 135223648 3214724368 3214723244 134576032 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18593/statm: 238 58 47 174 0 63 0
[startup+0.054682 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 18589
/proc/meminfo: memFree=428216/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2412 CPUtime=0.01
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 368 644 0 0 0 1 0 0 25 0 1 0 1016800857 2469888 276 4294967295 134512640 135169312 3213792304 3213790840 3085397742 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/18589/statm: 603 276 235 161 0 42 0
[pid=18593] ppid=18589 vsize=6672 CPUtime=0.06
/proc/18593/stat : 18593 (SatELite_releas) R 18589 18589 14060 0 -1 4202496 1543 0 0 0 5 1 0 0 25 0 1 0 1016800858 6832128 1479 4294967295 134512640 135223648 3214724368 3214723320 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18593/statm: 1668 1480 47 174 0 1493 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9084
[startup+0.114675 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 18589
/proc/meminfo: memFree=428216/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2412 CPUtime=0.01
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 368 644 0 0 0 1 0 0 25 0 1 0 1016800857 2469888 276 4294967295 134512640 135169312 3213792304 3213790840 3085397742 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/18589/statm: 603 276 235 161 0 42 0
[pid=18593] ppid=18589 vsize=13220 CPUtime=0.12
/proc/18593/stat : 18593 (SatELite_releas) R 18589 18589 14060 0 -1 4202496 3028 0 0 0 11 1 0 0 25 0 1 0 1016800858 13537280 2964 4294967295 134512640 135223648 3214724368 3214723320 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18593/statm: 3305 2964 47 174 0 3130 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 15632
[startup+0.314657 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 18589
/proc/meminfo: memFree=428216/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2412 CPUtime=0.01
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 368 644 0 0 0 1 0 0 25 0 1 0 1016800857 2469888 276 4294967295 134512640 135169312 3213792304 3213790840 3085397742 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/18589/statm: 603 276 235 161 0 42 0
[pid=18593] ppid=18589 vsize=22588 CPUtime=0.32
/proc/18593/stat : 18593 (SatELite_releas) R 18589 18589 14060 0 -1 4202496 4735 0 0 0 29 3 0 0 25 0 1 0 1016800858 23130112 4671 4294967295 134512640 135223648 3214724368 3214722448 134549042 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18593/statm: 5647 4671 72 174 0 5472 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 25000
[startup+0.714622 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 18589
/proc/meminfo: memFree=428216/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2412 CPUtime=0.01
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 368 644 0 0 0 1 0 0 25 0 1 0 1016800857 2469888 276 4294967295 134512640 135169312 3213792304 3213790840 3085397742 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/18589/statm: 603 276 235 161 0 42 0
[pid=18593] ppid=18589 vsize=22364 CPUtime=0.72
/proc/18593/stat : 18593 (SatELite_releas) R 18589 18589 14060 0 -1 4202496 5093 0 0 0 68 4 0 0 25 0 1 0 1016800858 22900736 4624 4294967295 134512640 135223648 3214724368 3214722384 134586635 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18593/statm: 5591 4624 73 174 0 5416 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 24776
[startup+1.51456 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 18594
/proc/meminfo: memFree=406864/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 2416
[startup+3.11443 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18595
/proc/meminfo: memFree=419016/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=7852 CPUtime=1.83
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 1880 0 0 0 182 1 0 0 25 0 1 0 1016800985 8040448 1815 4294967295 134512640 135216591 3220749104 3220747296 134528969 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18595/statm: 1963 1815 75 172 0 1790 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 10268
[startup+6.31415 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 18595
/proc/meminfo: memFree=416444/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=9732 CPUtime=5.03
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 2355 0 0 0 502 1 0 0 25 0 1 0 1016800985 9965568 2290 4294967295 134512640 135216591 3220749104 3220747296 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18595/statm: 2433 2290 75 172 0 2260 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 12148
[startup+12.7136 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18595
/proc/meminfo: memFree=415236/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=10392 CPUtime=11.43
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 2516 0 0 0 1142 1 0 0 25 0 1 0 1016800985 10641408 2451 4294967295 134512640 135216591 3220749104 3220747296 134528917 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18595/statm: 2598 2451 75 172 0 2425 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 12808
[startup+25.5125 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18597
/proc/meminfo: memFree=414060/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=11792 CPUtime=24.23
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 2836 0 0 0 2421 2 0 0 25 0 1 0 1016800985 12075008 2771 4294967295 134512640 135216591 3220749104 3220747296 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18595/statm: 2948 2771 75 172 0 2775 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 14208
[startup+51.1103 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18783
/proc/meminfo: memFree=413740/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=12188 CPUtime=49.83
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 2925 0 0 0 4981 2 0 0 25 0 1 0 1016800985 12480512 2860 4294967295 134512640 135216591 3220749104 3220747296 134528860 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3047 2860 75 172 0 2874 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 14604
[startup+102.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18969
/proc/meminfo: memFree=412956/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=12608 CPUtime=101.04
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3032 0 0 0 10102 2 0 0 25 0 1 0 1016800985 12910592 2967 4294967295 134512640 135216591 3220749104 3220747296 134528902 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3152 2967 75 172 0 2979 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 15024
[startup+162.321 s]
/proc/loadavg: 1.08 1.03 1.01 2/95 19156
/proc/meminfo: memFree=412616/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=12900 CPUtime=161.05
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3090 0 0 0 16103 2 0 0 25 0 1 0 1016800985 13209600 3025 4294967295 134512640 135216591 3220749104 3220747296 134528888 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3225 3025 75 172 0 3052 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 15316
[startup+222.325 s]
/proc/loadavg: 1.06 1.03 1.01 2/95 19344
/proc/meminfo: memFree=412832/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=13036 CPUtime=221.06
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3154 0 0 0 22104 2 0 0 25 0 1 0 1016800985 13348864 3089 4294967295 134512640 135216591 3220749104 3220747296 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3259 3089 75 172 0 3086 0
Current children cumulated CPU time (s) 222.35
Current children cumulated vsize (KiB) 15452
[startup+282.31 s]
/proc/loadavg: 1.17 1.06 1.01 2/95 19533
/proc/meminfo: memFree=412616/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=13180 CPUtime=281.05
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3185 0 0 0 28103 2 0 0 25 0 1 0 1016800985 13496320 3120 4294967295 134512640 135216591 3220749104 3220747296 134529068 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3295 3120 75 172 0 3122 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 15596
[startup+342.315 s]
/proc/loadavg: 1.06 1.04 1.00 3/95 19728
/proc/meminfo: memFree=412204/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=13312 CPUtime=341.06
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3208 0 0 0 34104 2 0 0 25 0 1 0 1016800985 13631488 3143 4294967295 134512640 135216591 3220749104 3220747296 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3328 3143 75 172 0 3155 0
Current children cumulated CPU time (s) 342.35
Current children cumulated vsize (KiB) 15728
[startup+402.32 s]
################
# More data... #
################
[pid=18595] ppid=18589 vsize=13756 CPUtime=581.08
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3297 0 0 0 58105 3 0 0 25 0 1 0 1016800985 14086144 3232 4294967295 134512640 135216591 3220749104 3220747296 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3439 3232 75 172 0 3266 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 16172
[startup+642.309 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 20667
/proc/meminfo: memFree=411824/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=13756 CPUtime=641.08
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3324 0 0 0 64105 3 0 0 25 0 1 0 1016800985 14086144 3259 4294967295 134512640 135216591 3220749104 3220747072 134538247 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3439 3259 75 172 0 3266 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 16172
[startup+702.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 20857
/proc/meminfo: memFree=411684/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=13908 CPUtime=701.09
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3347 0 0 0 70106 3 0 0 25 0 1 0 1016800985 14241792 3282 4294967295 134512640 135216591 3220749104 3220747296 134528826 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3477 3282 75 172 0 3304 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 16324
[startup+762.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21044
/proc/meminfo: memFree=411436/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=13908 CPUtime=761.1
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3355 0 0 0 76107 3 0 0 25 0 1 0 1016800985 14241792 3290 4294967295 134512640 135216591 3220749104 3220747296 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3477 3290 75 172 0 3304 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 16324
[startup+822.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 21232
/proc/meminfo: memFree=411592/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=13908 CPUtime=821.1
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3355 0 0 0 82106 4 0 0 25 0 1 0 1016800985 14241792 3290 4294967295 134512640 135216591 3220749104 3220747296 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3477 3290 75 172 0 3304 0
Current children cumulated CPU time (s) 822.39
Current children cumulated vsize (KiB) 16324
[startup+882.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21421
/proc/meminfo: memFree=411344/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=14056 CPUtime=881.11
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3379 0 0 0 88107 4 0 0 25 0 1 0 1016800985 14393344 3314 4294967295 134512640 135216591 3220749104 3220747296 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3514 3314 75 172 0 3341 0
Current children cumulated CPU time (s) 882.4
Current children cumulated vsize (KiB) 16472
[startup+942.323 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21610
/proc/meminfo: memFree=411188/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=14216 CPUtime=941.12
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3415 0 0 0 94108 4 0 0 25 0 1 0 1016800985 14557184 3350 4294967295 134512640 135216591 3220749104 3220747296 134528936 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3554 3350 75 172 0 3381 0
Current children cumulated CPU time (s) 942.41
Current children cumulated vsize (KiB) 16632
[startup+1002.32 s]
/proc/loadavg: 1.06 1.01 1.00 2/95 21796
/proc/meminfo: memFree=411180/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=14216 CPUtime=1001.12
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3427 0 0 0 100108 4 0 0 25 0 1 0 1016800985 14557184 3362 4294967295 134512640 135216591 3220749104 3220747296 134528974 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18595/statm: 3554 3362 75 172 0 3381 0
Current children cumulated CPU time (s) 1002.41
Current children cumulated vsize (KiB) 16632
[startup+1062.31 s]
/proc/loadavg: 1.02 1.01 1.00 3/95 21983
/proc/meminfo: memFree=410940/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=14348 CPUtime=1061.12
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3449 0 0 0 106108 4 0 0 25 0 1 0 1016800985 14692352 3384 4294967295 134512640 135216591 3220749104 3220747296 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18595/statm: 3587 3384 75 172 0 3414 0
Current children cumulated CPU time (s) 1062.41
Current children cumulated vsize (KiB) 16764
[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 22175
/proc/meminfo: memFree=411064/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=14348 CPUtime=1121.13
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3451 0 0 0 112109 4 0 0 25 0 1 0 1016800985 14692352 3386 4294967295 134512640 135216591 3220749104 3220747296 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18595/statm: 3587 3386 75 172 0 3414 0
Current children cumulated CPU time (s) 1122.42
Current children cumulated vsize (KiB) 16764
[startup+1182.32 s]
/proc/loadavg: 1.08 1.02 1.01 2/95 22364
/proc/meminfo: memFree=411188/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=14348 CPUtime=1181.14
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3464 0 0 0 118110 4 0 0 25 0 1 0 1016800985 14692352 3399 4294967295 134512640 135216591 3220749104 3220747296 134528888 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18595/statm: 3587 3399 75 172 0 3414 0
Current children cumulated CPU time (s) 1182.43
Current children cumulated vsize (KiB) 16764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.92 s]
/proc/loadavg: 1.06 1.01 1.00 2/95 22364
/proc/meminfo: memFree=411464/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=14488 CPUtime=1198.74
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3468 0 0 0 119870 4 0 0 25 0 1 0 1016800985 14835712 3403 4294967295 134512640 135216591 3220749104 3220747296 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18595/statm: 3622 3403 75 172 0 3449 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 16904
Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples
[startup+1199.92 s]
/proc/loadavg: 1.06 1.01 1.00 2/95 22364
/proc/meminfo: memFree=411464/2074464 swapFree=1949056/1959888
[pid=18589] ppid=18587 vsize=2416 CPUtime=1.29
/proc/18589/stat : 18589 (SatELiteGTI) S 18587 18589 14060 0 -1 4194304 386 6295 0 0 0 1 123 5 18 0 1 0 1016800857 2473984 277 4294967295 134512640 135169312 3213792304 3213788520 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18589/statm: 604 277 235 161 0 43 0
[pid=18595] ppid=18589 vsize=14488 CPUtime=1198.74
/proc/18595/stat : 18595 (minisat_static) R 18589 18589 14060 0 -1 4202496 3468 0 0 0 119870 4 0 0 25 0 1 0 1016800985 14835712 3403 4294967295 134512640 135216591 3220749104 3220747296 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18595/statm: 3622 3403 75 172 0 3449 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 16904
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18589 and gives
# childrusage.ru_utime.tv_sec=1199
# childrusage.ru_utime.tv_usec=930000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=100000
# CPU time returned by wait4() is 1200.03
# while last known CPU time is 1200.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1199.93
CPU time (s): 1200.03
CPU user time (s): 1199.93
CPU system time (s): 0.1
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 27996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.93
system time used= 0.1
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10427
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= 19
involuntary context switches= 3735
runsolver used 0.01 second user time and 0.03 second system time
The end
Begin job on tipi27 at 2009-05-17 03:17:17
IDJOB=1821383
IDBENCH=70947
IDSOLVER=658
FILE ID=tipi27/1821383-1242523037
PBS_JOBID=
Free space on /tmp= 9071 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_l48_lambda.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821383-1242523037/watcher-1821383-1242523037 -o /tmp/evaluation-result-1821383-1242523037/solver-1821383-1242523037 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821383-1242523037.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e7c28f6a200a1c1912fbaacfb3572515
RANDOM SEED= 673990504
Linux tipi27 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 428480 kB
Buffers: 67072 kB
Cached: 1446400 kB
SwapCached: 5508 kB
Active: 689664 kB
Inactive: 833656 kB
HighTotal: 1178688 kB
HighFree: 159716 kB
LowTotal: 895776 kB
LowFree: 268764 kB
SwapTotal: 1959888 kB
SwapFree: 1949056 kB
Dirty: 4904 kB
Writeback: 0 kB
AnonPages: 9012 kB
Mapped: 3272 kB
Slab: 114340 kB
PageTables: 696 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90624 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9071 MiB
End job on tipi27 at 2009-05-17 03:37:17