0.00/0.01 c Parsing...
0.01/0.15 c ==============================================================================
0.01/0.15 c | | ORIGINAL | LEARNT | |
0.01/0.15 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.01/0.15 c ==============================================================================
0.01/0.15 c | 0 | 147030 430190 | 44108 0 0 nan | 0.000 % |
1.02/1.09 c | 0 | 64819 218530 | -- 0 -- -- | -- | -76809/-195446
1.02/1.09 c ==============================================================================
1.02/1.09 c Result : #vars: 7453 #clauses: 64819 #literals: 218530
1.02/1.09 c CPU time: 1.06 s
1.02/1.09 c ==============================================================================
1.12/1.17 c This is MiniSat 2.0 beta
1.12/1.17 c WARNING: for repeatability, setting FPU to use double precision
1.12/1.17 c ============================[ Problem Statistics ]=============================
1.12/1.17 c | |
1.12/1.18 c | Number of variables: 7453 |
1.12/1.18 c | Number of clauses: 64819 |
1.17/1.21 c | Parsing time: 0.04 s |
1.17/1.22 c ============================[ Search Statistics ]==============================
1.17/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.17/1.22 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.17/1.22 c ===============================================================================
1.17/1.22 c | 0 | 7453 64819 218530 | 21606 0 nan | 0.000 % |
1.17/1.24 c | 512 | 7452 64819 218530 | 21606 511 12 | 0.013 % |
1.17/1.26 c | 1024 | 7452 64819 218530 | 21606 1023 12 | 0.013 % |
1.17/1.29 c | 1536 | 7452 64819 218530 | 21606 1535 13 | 0.013 % |
1.17/1.34 c | 2560 | 7452 64819 218530 | 21606 2559 13 | 0.013 % |
1.17/1.37 c | 3072 | 7452 64682 217869 | 21606 3071 14 | 0.013 % |
1.17/1.41 c | 3585 | 7452 64682 217869 | 21606 3584 14 | 0.013 % |
1.17/1.48 c | 4609 | 7452 64682 217869 | 21606 4608 14 | 0.013 % |
1.17/1.62 c | 6657 | 7452 64682 217869 | 21606 6656 15 | 0.013 % |
1.17/1.66 c | 7169 | 7452 64682 217869 | 21606 7168 15 | 0.013 % |
1.17/1.68 c | 7681 | 7452 64682 217869 | 21606 7680 14 | 0.013 % |
1.17/1.75 c | 8706 | 7452 64682 217869 | 21606 8705 14 | 0.013 % |
1.17/1.80 c | 9222 | 7450 64414 216553 | 21606 9219 14 | 0.040 % |
1.17/1.85 c | 9734 | 7450 64414 216553 | 21606 9731 14 | 0.040 % |
1.17/1.94 c | 10758 | 7450 64414 216553 | 2147483647 10755 14 | 0.040 % |
2.11/2.15 c | 12807 | 7450 64414 216553 | 2147483647 12804 15 | 0.040 % |
2.61/2.64 c | 16903 | 7450 64414 216553 | 2147483647 16900 16 | 0.040 % |
2.61/2.70 c | 17415 | 7450 64414 216553 | 2147483647 17412 16 | 0.040 % |
2.71/2.76 c | 17927 | 7450 64414 216553 | 2147483647 17924 16 | 0.040 % |
2.81/2.89 c | 18951 | 7450 64414 216553 | 2147483647 18948 17 | 0.040 % |
2.91/2.97 c | 19465 | 7450 64414 216553 | 2147483647 19462 17 | 0.040 % |
3.01/3.01 c | 19977 | 7450 64414 216553 | 2147483647 19974 17 | 0.040 % |
3.11/3.13 c | 21002 | 7450 64414 216553 | 2147483647 20999 17 | 0.040 % |
3.41/3.48 c | 23051 | 7450 64414 216553 | 2147483647 23048 17 | 0.040 % |
3.51/3.58 c | 23563 | 7450 64414 216553 | 2147483647 23560 17 | 0.040 % |
3.61/3.66 c | 24076 | 7450 64414 216553 | 2147483647 24073 17 | 0.040 % |
3.81/3.81 c | 25101 | 7450 64414 216553 | 2147483647 25098 17 | 0.040 % |
3.81/3.89 c | 25613 | 7450 64414 216553 | 2147483647 25610 17 | 0.040 % |
3.91/3.96 c | 26125 | 7450 64414 216553 | 2147483647 26122 17 | 0.040 % |
4.11/4.13 c | 27152 | 7450 64414 216553 | 2147483647 27149 17 | 0.040 % |
4.42/4.46 c | 29201 | 7450 64414 216553 | 2147483647 29198 17 | 0.040 % |
5.21/5.22 c | 33297 | 7450 64414 216553 | 2147483647 33294 18 | 0.040 % |
7.21/7.30 c | 41489 | 7450 64414 216553 | 2147483647 41486 18 | 0.040 % |
7.41/7.42 c | 42002 | 7450 64414 216553 | 2147483647 41999 18 | 0.040 % |
7.51/7.54 c | 42514 | 7450 64414 216553 | 2147483647 42511 18 | 0.040 % |
7.81/7.82 c | 43538 | 7449 64283 215650 | 2147483647 43533 18 | 0.054 % |
7.91/7.93 c | 44050 | 7449 64283 215650 | 2147483647 44045 18 | 0.054 % |
8.01/8.08 c | 44562 | 7449 64283 215650 | 2147483647 44557 18 | 0.054 % |
8.41/8.42 c | 45587 | 7449 64283 215650 | 2147483647 45582 18 | 0.054 % |
8.91/8.99 c | 47638 | 7449 64283 215650 | 2147483647 47633 19 | 0.054 % |
9.11/9.15 c | 48151 | 7449 64283 215650 | 2147483647 48146 19 | 0.054 % |
9.31/9.33 c | 48666 | 7449 64283 215650 | 2147483647 48661 19 | 0.054 % |
9.51/9.56 c | 49692 | 7449 64283 215650 | 2147483647 49687 19 | 0.054 % |
9.72/9.74 c | 50205 | 7449 64283 215650 | 49996 41507 19 | 0.054 % |
9.82/9.82 c | 50717 | 7449 64283 215650 | 49996 42019 19 | 0.054 % |
10.02/10.05 c | 51741 | 7449 64283 215650 | 49996 43043 19 | 0.054 % |
10.52/10.60 c | 53790 | 7449 64283 215650 | 49996 45092 19 | 0.054 % |
11.92/11.96 c | 57886 | 7449 64283 215650 | 49996 49188 19 | 0.054 % |
12.02/12.11 c | 58401 | 7449 64283 215650 | 49996 49703 19 | 0.054 % |
12.22/12.28 c | 58913 | 7449 64283 215650 | 49996 50215 19 | 0.054 % |
12.72/12.72 c | 59938 | 7449 64283 215650 | 49996 41347 19 | 0.054 % |
12.82/12.88 c | 60451 | 7449 64283 215650 | 41409 33781 18 | 0.054 % |
12.92/13.00 c | 60963 | 7449 64283 215650 | 41409 34293 18 | 0.054 % |
13.22/13.28 c | 61987 | 7449 64283 215650 | 41409 35317 18 | 0.054 % |
13.72/13.76 c | 64035 | 7449 64283 215650 | 41409 37365 18 | 0.054 % |
13.82/13.88 c | 64547 | 7449 64283 215650 | 41409 37877 18 | 0.054 % |
14.02/14.02 c | 65059 | 7449 64283 215650 | 41409 38389 18 | 0.054 % |
14.22/14.25 c | 66084 | 7449 64283 215650 | 41409 39414 18 | 0.054 % |
14.42/14.42 c | 66596 | 7449 64283 215650 | 41409 39926 18 | 0.054 % |
14.52/14.54 c | 67108 | 7449 64283 215650 | 41409 40438 18 | 0.054 % |
14.82/14.85 c | 68132 | 7449 64283 215650 | 41409 41462 18 | 0.054 % |
15.42/15.51 c | 70180 | 7449 64283 215650 | 36629 36808 18 | 0.054 % |
16.72/16.78 c | 74277 | 7449 64283 215650 | 36629 34967 18 | 0.054 % |
18.72/18.73 c | 82469 | 7449 64283 215650 | 35409 33544 18 | 0.054 % |
23.52/23.58 c | 98853 | 7449 64283 215650 | 33082 30102 19 | 0.054 % |
23.62/23.67 c | 99365 | 7449 64283 215650 | 33082 30614 19 | 0.054 % |
23.82/23.83 c | 99880 | 7449 64283 215650 | 33082 31129 19 | 0.054 % |
24.02/24.10 c | 100904 | 7449 64283 215650 | 31249 28740 19 | 0.054 % |
24.12/24.18 c | 101418 | 7449 64283 215650 | 31249 29254 19 | 0.054 % |
24.22/24.31 c | 101931 | 7448 64150 214996 | 31249 29766 19 | 0.067 % |
24.42/24.47 c | 102959 | 7448 64150 214996 | 31249 30794 18 | 0.067 % |
24.82/24.85 c | 105009 | 7448 64150 214996 | 31249 29689 18 | 0.067 % |
24.92/24.92 c | 105522 | 7448 64150 214996 | 31249 30202 18 | 0.067 % |
25.02/25.02 c | 106035 | 7448 64150 214996 | 31249 30715 18 | 0.067 % |
25.12/25.18 c | 107060 | 7448 64150 214996 | 31249 28601 17 | 0.067 % |
25.22/25.30 c | 107573 | 7448 64150 214996 | 31249 29114 17 | 0.067 % |
25.42/25.43 c | 108085 | 7448 64150 214996 | 31249 29626 17 | 0.067 % |
25.62/25.66 c | 109109 | 7448 64150 214996 | 31249 30650 17 | 0.067 % |
26.12/26.19 c | 111158 | 7448 64150 214996 | 2147483647 29560 17 | 0.067 % |
27.52/27.54 c | 115254 | 7448 64150 214996 | 2147483647 33656 17 | 0.067 % |
27.72/27.74 c | 115767 | 7448 64150 214996 | 2147483647 34169 17 | 0.067 % |
27.82/27.88 c | 116280 | 7448 64150 214996 | 2147483647 34682 18 | 0.067 % |
28.22/28.25 c | 117304 | 7448 64150 214996 | 2147483647 35706 18 | 0.067 % |
28.42/28.45 c | 117817 | 7448 64150 214996 | 2147483647 36219 18 | 0.067 % |
28.62/28.65 c | 118330 | 7448 64150 214996 | 2147483647 36732 18 | 0.067 % |
28.92/28.99 c | 119354 | 7448 64150 214996 | 2147483647 37756 18 | 0.067 % |
29.72/29.78 c | 121403 | 7448 64150 214996 | 38402 33740 18 | 0.067 % |
29.92/29.95 c | 121915 | 7448 64150 214996 | 38402 34252 18 | 0.067 % |
30.02/30.08 c | 122427 | 7448 64150 214996 | 38402 34764 18 | 0.067 % |
30.42/30.46 c | 123454 | 7448 64150 214996 | 38402 35791 18 | 0.067 % |
30.62/30.69 c | 123966 | 7448 64150 214996 | 38402 36303 18 | 0.067 % |
30.82/30.88 c | 124479 | 7448 64150 214996 | 38402 36816 18 | 0.067 % |
31.22/31.28 c | 125504 | 7448 64150 214996 | 38402 37841 18 | 0.067 % |
32.02/32.04 c | 127552 | 7448 64150 214996 | 38402 33013 18 | 0.067 % |
33.82/33.88 c | 131649 | 7448 64150 214996 | 35461 30628 18 | 0.067 % |
36.42/36.45 c | 139841 | 7448 64150 214996 | 35461 32778 18 | 0.067 % |
36.52/36.59 c | 140354 | 7448 64150 214996 | 32937 27945 17 | 0.067 % |
36.62/36.70 c | 140869 | 7448 64150 214996 | 32937 28460 17 | 0.067 % |
36.82/36.89 c | 141895 | 7448 64150 214996 | 32937 29486 17 | 0.067 % |
36.92/36.96 c | 142407 | 7448 64150 214996 | 32937 29998 17 | 0.067 % |
36.92/37.01 c | 142919 | 7448 64150 214996 | 32937 30510 17 | 0.067 % |
37.12/37.16 c | 143943 | 7448 64150 214996 | 32937 31534 17 | 0.067 % |
37.62/37.62 c | 145992 | 7448 64150 214996 | 32937 30257 17 | 0.067 % |
37.72/37.73 c | 146504 | 7448 64150 214996 | 32937 30769 17 | 0.067 % |
37.82/37.82 c | 147016 | 7448 64150 214996 | 32937 31281 17 | 0.067 % |
38.12/38.13 c | 148042 | 7448 64150 214996 | 32937 32307 17 | 0.067 % |
38.32/38.35 c | 148555 | 7448 64150 214996 | 32937 32820 17 | 0.067 % |
38.42/38.47 c | 149069 | 7448 64150 214996 | 32937 33334 17 | 0.067 % |
38.72/38.77 c | 150094 | 7448 64150 214996 | 2147483647 31026 17 | 0.067 % |
39.42/39.47 c | 152143 | 7448 64150 214996 | 2147483647 33075 17 | 0.067 % |
41.02/41.10 c | 156244 | 7448 64150 214996 | 2147483647 37176 17 | 0.067 % |
41.32/41.32 c | 156756 | 7448 64150 214996 | 2147483647 37688 17 | 0.067 % |
41.52/41.53 c | 157269 | 7448 64150 214996 | 2147483647 38201 17 | 0.067 % |
41.92/41.94 c | 158294 | 7448 64150 214996 | 2147483647 39226 18 | 0.067 % |
42.12/42.18 c | 158806 | 7448 64150 214996 | 2147483647 39738 18 | 0.067 % |
42.42/42.42 c | 159318 | 7448 64150 214996 | 2147483647 40250 18 | 0.067 % |
42.82/42.87 c | 160342 | 7448 64150 214996 | 40932 34926 17 | 0.067 % |
43.82/43.84 c | 162391 | 7448 64150 214996 | 40932 36975 17 | 0.067 % |
44.02/44.08 c | 162903 | 7448 64150 214996 | 40932 37487 17 | 0.067 % |
44.22/44.30 c | 163418 | 7448 64150 214996 | 40932 38002 17 | 0.067 % |
44.62/44.67 c | 164444 | 7448 64150 214996 | 40932 39028 17 | 0.067 % |
44.82/44.87 c | 164956 | 7448 64150 214996 | 40932 39540 17 | 0.067 % |
45.12/45.13 c | 165468 | 7448 64150 214996 | 40932 40052 17 | 0.067 % |
45.62/45.64 c | 166492 | 7448 64150 214996 | 40932 33326 17 | 0.067 % |
46.42/46.51 c | 168541 | 7448 64150 214996 | 40932 35375 17 | 0.067 % |
48.12/48.19 c | 172637 | 7448 64150 214996 | 36837 32569 17 | 0.067 % |
50.62/50.63 c | 180829 | 7448 64150 214996 | 33355 34184 17 | 0.067 % |
55.21/55.24 c | 197215 | 7448 64150 214996 | 2147483647 39490 19 | 0.067 % |
68.71/68.73 c | 229984 | 7448 64150 214996 | 45456 40116 22 | 0.067 % |
68.91/68.90 c | 230497 | 7448 64150 214996 | 40132 40629 22 | 0.067 % |
69.01/69.09 c | 231009 | 7448 64150 214996 | 40132 34544 21 | 0.067 % |
69.21/69.24 c | 232033 | 7448 64150 214996 | 40132 35568 21 | 0.067 % |
69.31/69.31 c | 232546 | 7448 64150 214996 | 40132 36081 21 | 0.067 % |
69.41/69.43 c | 233058 | 7448 64150 214996 | 40132 36593 21 | 0.067 % |
69.51/69.60 c | 234082 | 7448 64150 214996 | 40132 37617 21 | 0.067 % |
69.91/69.95 c | 236130 | 7448 64150 214996 | 40132 39665 21 | 0.067 % |
70.01/70.04 c | 236642 | 7448 64150 214996 | 40132 40177 20 | 0.067 % |
70.11/70.19 c | 237156 | 7448 64150 214996 | 40132 35839 19 | 0.067 % |
70.41/70.43 c | 238180 | 7448 64150 214996 | 40132 36863 20 | 0.067 % |
70.61/70.60 c | 238695 | 7448 64150 214996 | 40132 37378 20 | 0.067 % |
70.71/70.75 c | 239209 | 7448 64150 214996 | 40132 37892 20 | 0.067 % |
70.91/70.98 c | 240233 | 7448 64150 214996 | 38684 38916 20 | 0.067 % |
71.51/71.58 c | 242283 | 7448 64150 214996 | 38684 36405 20 | 0.067 % |
72.81/72.90 c | 246380 | 7448 64150 214996 | 38684 35601 20 | 0.067 % |
73.01/73.03 c | 246892 | 7448 64150 214996 | 38684 36113 20 | 0.067 % |
73.11/73.18 c | 247405 | 7448 64150 214996 | 38684 36626 20 | 0.067 % |
73.41/73.47 c | 248432 | 7448 64150 214996 | 38684 37653 20 | 0.067 % |
73.61/73.62 c | 248944 | 7448 64150 214996 | 38684 38165 20 | 0.067 % |
73.71/73.77 c | 249457 | 7448 64150 214996 | 38684 38678 20 | 0.067 % |
74.01/74.09 c | 250481 | 7448 64150 214996 | 39223 39702 20 | 0.067 % |
74.71/74.77 c | 252529 | 7448 64150 214996 | 39223 36777 20 | 0.067 % |
74.81/74.85 c | 253043 | 7448 64150 214996 | 39223 37291 20 | 0.067 % |
75.01/75.02 c | 253555 | 7448 64150 214996 | 39223 37803 20 | 0.067 % |
75.11/75.16 c | 254580 | 7448 64150 214996 | 39223 38828 20 | 0.067 % |
75.21/75.26 c | 255092 | 7448 64150 214996 | 39223 34708 19 | 0.067 % |
75.31/75.35 c | 255605 | 7448 64150 214996 | 39223 35221 19 | 0.067 % |
75.51/75.57 c | 256629 | 7448 64150 214996 | 39223 36245 20 | 0.067 % |
76.21/76.25 c | 258677 | 7448 64150 214996 | 39223 38293 20 | 0.067 % |
77.61/77.62 c | 262773 | 7448 64150 214996 | 34925 33562 20 | 0.067 % |
80.12/80.15 c | 270967 | 7448 64150 214996 | 2147483647 34694 19 | 0.067 % |
80.22/80.26 c | 271480 | 7448 64150 214996 | 2147483647 35207 20 | 0.067 % |
80.32/80.40 c | 271992 | 7448 64150 214996 | 2147483647 35719 20 | 0.067 % |
80.62/80.70 c | 273016 | 7448 64150 214996 | 2147483647 36743 20 | 0.067 % |
80.72/80.80 c | 273529 | 7448 64150 214996 | 2147483647 37256 20 | 0.067 % |
80.92/80.93 c | 274041 | 7448 64150 214996 | 2147483647 37768 20 | 0.067 % |
81.01/81.09 c | 275068 | 7448 64150 214996 | 2147483647 38795 19 | 0.067 % |
81.61/81.64 c | 277117 | 7439 63217 209903 | 2147483647 38080 20 | 0.188 % |
81.71/81.74 c | 277630 | 7439 63217 209903 | 2147483647 38593 20 | 0.188 % |
81.81/81.84 c | 278142 | 7439 63217 209903 | 2147483647 39105 20 | 0.188 % |
82.01/82.10 c | 279166 | 7439 63217 209903 | 2147483647 40129 20 | 0.188 % |
82.21/82.26 c | 279678 | 7439 63217 209903 | 2147483647 40641 20 | 0.188 % |
82.31/82.39 c | 280192 | 7439 63217 209903 | 40966 41155 20 | 0.188 % |
82.81/82.83 c | 281217 | 7439 63217 209903 | 40966 37479 19 | 0.188 % |
83.41/83.50 c | 283265 | 7439 63217 209903 | 40966 39527 19 | 0.188 % |
84.91/84.96 c | 287361 | 7439 63217 209903 | 40966 38014 19 | 0.188 % |
85.11/85.16 c | 287874 | 7439 63217 209903 | 40966 38527 19 | 0.188 % |
85.31/85.33 c | 288387 | 7439 63217 209903 | 40966 39040 19 | 0.188 % |
85.71/85.75 c | 289413 | 7439 63217 209903 | 40966 40066 19 | 0.188 % |
85.82/85.91 c | 289925 | 7439 63217 209903 | 40966 40578 19 | 0.188 % |
86.01/86.04 c | 290437 | 7439 63217 209903 | 40653 41090 19 | 0.188 % |
86.31/86.38 c | 291461 | 7439 63217 209903 | 40653 36534 18 | 0.188 % |
87.11/87.11 c | 293511 | 7439 63217 209903 | 40653 38584 18 | 0.188 % |
87.21/87.30 c | 294023 | 7439 63217 209903 | 40653 39096 18 | 0.188 % |
87.41/87.42 c | 294535 | 7439 63217 209903 | 40653 39608 18 | 0.188 % |
87.81/87.82 c | 295561 | 7439 63217 209903 | 40653 40634 18 | 0.188 % |
87.91/88.00 c | 296073 | 7439 63217 209903 | 40653 35097 17 | 0.188 % |
88.11/88.14 c | 296585 | 7439 63217 209903 | 40653 35609 17 | 0.188 % |
88.41/88.42 c | 297609 | 7439 63217 209903 | 40653 36633 17 | 0.188 % |
89.12/89.20 c | 299658 | 7439 63217 209903 | 40653 38682 18 | 0.188 % |
90.61/90.65 c | 303756 | 7439 63217 209903 | 39025 36722 18 | 0.188 % |
93.91/93.96 c | 311948 | 7439 63217 209903 | 37727 34737 18 | 0.188 % |
100.01/100.10 c | 328334 | 7439 63217 209903 | 37819 35683 20 | 0.188 % |
100.31/100.34 c | 328846 | 7439 63217 209903 | 37819 36195 20 | 0.188 % |
100.51/100.55 c | 329358 | 7439 63217 209903 | 37819 36707 20 | 0.188 % |
100.81/100.86 c | 330382 | 7439 63217 209903 | 37349 37731 20 | 0.188 % |
101.01/101.11 c | 330895 | 7439 63217 209903 | 37349 33027 19 | 0.188 % |
101.22/101.22 c | 331407 | 7439 63217 209903 | 37349 33539 19 | 0.188 % |
101.41/101.50 c | 332432 | 7439 63217 209903 | 37349 34564 19 | 0.188 % |
102.11/102.18 c | 334480 | 7439 63217 209903 | 37349 36612 19 | 0.188 % |
102.32/102.35 c | 334992 | 7439 63217 209903 | 37349 37124 19 | 0.188 % |
102.51/102.54 c | 335504 | 7439 63217 209903 | 37349 32821 19 | 0.188 % |
102.81/102.86 c | 336529 | 7439 63217 209903 | 37349 33846 19 | 0.188 % |
103.01/103.02 c | 337041 | 7439 63217 209903 | 37349 34358 19 | 0.188 % |
103.11/103.20 c | 337553 | 7439 63217 209903 | 37349 34870 19 | 0.188 % |
103.51/103.57 c | 338577 | 7439 63217 209903 | 37349 35894 19 | 0.188 % |
104.11/104.17 c | 340626 | 7439 63217 209903 | 37318 33034 18 | 0.188 % |
105.62/105.68 c | 344722 | 7439 63217 209903 | 37318 37130 19 | 0.188 % |
105.81/105.90 c | 345235 | 7439 63217 209903 | 37318 32571 18 | 0.188 % |
106.01/106.08 c | 345747 | 7439 63217 209903 | 37318 33083 18 | 0.188 % |
106.41/106.44 c | 346771 | 7439 63217 209903 | 37318 34107 18 | 0.188 % |
106.61/106.61 c | 347284 | 7439 63217 209903 | 37318 34620 18 | 0.188 % |
106.81/106.81 c | 347796 | 7439 63217 209903 | 37318 35132 18 | 0.188 % |
107.11/107.17 c | 348822 | 7439 63217 209903 | 37318 36158 18 | 0.188 % |
107.91/107.95 c | 350871 | 7439 63217 209903 | 37336 32859 18 | 0.188 % |
108.11/108.11 c | 351383 | 7439 63217 209903 | 37336 33371 18 | 0.188 % |
108.21/108.30 c | 351895 | 7439 63217 209903 | 37336 33883 18 | 0.188 % |
108.51/108.51 c | 352919 | 7439 63217 209903 | 37336 34907 18 | 0.188 % |
108.61/108.63 c | 353431 | 7439 63217 209903 | 37336 35419 18 | 0.188 % |
108.81/108.85 c | 353943 | 7439 63217 209903 | 37336 35931 18 | 0.188 % |
109.11/109.14 c | 354967 | 7439 63217 209903 | 37336 36955 18 | 0.188 % |
109.91/109.97 c | 357015 | 7439 63217 209903 | 37336 33523 18 | 0.188 % |
111.51/111.57 c | 361112 | 7439 63217 209903 | 36510 32449 18 | 0.188 % |
115.21/115.26 c | 369304 | 7439 63217 209903 | 36510 35638 18 | 0.188 % |
115.41/115.46 c | 369816 | 7439 63217 209903 | 36510 36150 19 | 0.188 % |
115.61/115.69 c | 370328 | 7439 63217 209903 | 36334 31783 18 | 0.188 % |
115.91/115.99 c | 371353 | 7439 63217 209903 | 36334 32808 18 | 0.188 % |
116.11/116.13 c | 371865 | 7439 63217 209903 | 36334 33320 18 | 0.188 % |
116.21/116.28 c | 372377 | 7439 63217 209903 | 36334 33832 18 | 0.188 % |
116.62/116.65 c | 373401 | 7439 63217 209903 | 36334 34856 18 | 0.188 % |
117.21/117.29 c | 375450 | 7439 63217 209903 | 36334 32553 18 | 0.188 % |
117.41/117.44 c | 375962 | 7439 63217 209903 | 36334 33065 18 | 0.188 % |
117.61/117.63 c | 376474 | 7439 63217 209903 | 36334 33577 18 | 0.188 % |
117.91/118.00 c | 377498 | 7439 63217 209903 | 36334 34601 19 | 0.188 % |
118.21/118.24 c | 378010 | 7439 63217 209903 | 36334 35113 19 | 0.188 % |
118.41/118.46 c | 378524 | 7439 63217 209903 | 36334 35627 19 | 0.188 % |
118.82/118.82 c | 379548 | 7439 63217 209903 | 36334 36651 19 | 0.188 % |
119.31/119.31 c | 381596 | 7439 63217 209903 | 32658 30667 18 | 0.188 % |
120.71/120.72 c | 385693 | 7439 63217 209903 | 32658 31067 19 | 0.188 % |
120.81/120.87 c | 386205 | 7439 63217 209903 | 32658 31579 19 | 0.188 % |
121.02/121.03 c | 386717 | 7439 63217 209903 | 32658 32091 19 | 0.188 % |
121.31/121.37 c | 387742 | 7439 63217 209903 | 32658 29536 18 | 0.188 % |
121.51/121.53 c | 388256 | 7439 63217 209903 | 32658 30050 18 | 0.188 % |
121.61/121.69 c | 388768 | 7439 63217 209903 | 32658 30562 18 | 0.188 % |
122.01/122.04 c | 389792 | 7439 63217 209903 | 32658 31586 18 | 0.188 % |
122.61/122.66 c | 391841 | 7439 63217 209903 | 31796 30132 18 | 0.188 % |
122.71/122.80 c | 392353 | 7439 63217 209903 | 31796 30644 18 | 0.188 % |
122.91/122.96 c | 392865 | 7439 63217 209903 | 31796 31156 18 | 0.188 % |
123.31/123.34 c | 393891 | 7439 63217 209903 | 31796 32182 18 | 0.188 % |
123.51/123.51 c | 394403 | 7439 63217 209903 | 31796 29472 18 | 0.188 % |
123.61/123.66 c | 394916 | 7439 63217 209903 | 31796 29985 18 | 0.188 % |
123.91/123.95 c | 395942 | 7439 63217 209903 | 31796 31011 18 | 0.188 % |
124.61/124.65 c | 397990 | 7439 63217 209903 | 31796 29851 18 | 0.188 % |
125.91/125.99 c | 402086 | 7439 63217 209903 | 2147483647 33947 19 | 0.188 % |
129.11/129.19 c | 410280 | 7439 63217 209903 | 41862 37035 18 | 0.188 % |
138.21/138.24 c | 426664 | 7439 63217 209903 | 40438 33800 17 | 0.188 % |
150.12/150.21 c | 459432 | 7439 63217 209903 | 34217 31242 18 | 0.188 % |
175.62/175.64 c | 524969 | 7439 63217 209903 | 30775 28898 17 | 0.188 % |
175.72/175.77 c | 525483 | 7439 63217 209903 | 30775 29412 17 | 0.188 % |
175.92/175.93 c | 525996 | 7439 63217 209903 | 30775 29925 18 | 0.188 % |
176.12/176.16 c | 527020 | 7439 63217 209903 | 30775 30949 18 | 0.188 % |
176.22/176.31 c | 527532 | 7439 63217 209903 | 30775 28367 18 | 0.188 % |
176.32/176.41 c | 528045 | 7439 63217 209903 | 30775 28880 18 | 0.188 % |
176.52/176.56 c | 529069 | 7439 63217 209903 | 30775 29904 18 | 0.188 % |
176.82/176.90 c | 531118 | 7439 63217 209903 | 2147483647 31953 17 | 0.188 % |
176.92/176.98 c | 531631 | 7439 63217 209903 | 2147483647 32466 17 | 0.188 % |
177.02/177.10 c | 532145 | 7439 63217 209903 | 2147483647 32980 17 | 0.188 % |
177.22/177.31 c | 533169 | 7439 63217 209903 | 2147483647 34004 17 | 0.188 % |
177.32/177.40 c | 533681 | 7439 63217 209903 | 2147483647 34516 17 | 0.188 % |
177.42/177.49 c | 534194 | 7439 63217 209903 | 2147483647 35029 17 | 0.188 % |
177.72/177.75 c | 535219 | 7439 63217 209903 | 2147483647 36054 17 | 0.188 % |
178.42/178.42 c | 537267 | 7439 63217 209903 | 2147483647 38102 17 | 0.188 % |
179.82/179.83 c | 541363 | 7439 63217 209903 | 40835 37400 17 | 0.188 % |
179.92/179.99 c | 541875 | 7439 63217 209903 | 40835 37912 17 | 0.188 % |
180.12/180.18 c | 542387 | 7439 63217 209903 | 40835 38424 17 | 0.188 % |
180.52/180.59 c | 543413 | 7439 63217 209903 | 40835 39450 17 | 0.188 % |
180.72/180.76 c | 543929 | 7439 63217 209903 | 40835 39966 17 | 0.188 % |
180.92/180.92 c | 544442 | 7439 63217 209903 | 40835 40479 17 | 0.188 % |
181.22/181.29 c | 545467 | 7439 63217 209903 | 40835 35874 17 | 0.188 % |
181.92/182.01 c | 547515 | 7439 63217 209903 | 40835 37922 17 | 0.188 % |
182.22/182.22 c | 548027 | 7439 63217 209903 | 40835 38434 17 | 0.188 % |
182.42/182.41 c | 548540 | 7439 63217 209903 | 40835 38947 17 | 0.188 % |
182.82/182.82 c | 549566 | 7439 63217 209903 | 40835 39973 18 | 0.188 % |
183.02/183.03 c | 550080 | 7439 63217 209903 | 40409 40487 18 | 0.188 % |
183.22/183.23 c | 550592 | 7439 63217 209903 | 40409 34986 17 | 0.188 % |
183.42/183.46 c | 551616 | 7439 63217 209903 | 40409 36010 17 | 0.188 % |
184.22/184.23 c | 553664 | 7439 63217 209903 | 40409 38058 17 | 0.188 % |
185.62/185.70 c | 557760 | 7439 63217 209903 | 40409 36370 18 | 0.188 % |
188.52/188.61 c | 565953 | 7439 63217 209903 | 38615 38766 19 | 0.188 % |
188.82/188.83 c | 566467 | 7439 63217 209903 | 38615 34212 18 | 0.188 % |
189.02/189.04 c | 566979 | 7439 63217 209903 | 38615 34724 18 | 0.188 % |
189.42/189.43 c | 568003 | 7439 63217 209903 | 38615 35748 18 | 0.188 % |
189.52/189.59 c | 568515 | 7439 63217 209903 | 38615 36260 18 | 0.188 % |
189.72/189.78 c | 569029 | 7439 63217 209903 | 38615 36774 19 | 0.188 % |
190.12/190.20 c | 570053 | 7439 63217 209903 | 37747 37798 19 | 0.188 % |
191.02/191.03 c | 572103 | 7439 63217 209903 | 37747 34574 18 | 0.188 % |
191.12/191.21 c | 572615 | 7439 63217 209903 | 37747 35086 18 | 0.188 % |
191.32/191.37 c | 573127 | 7439 63217 209903 | 37747 35598 18 | 0.188 % |
191.72/191.81 c | 574152 | 7439 63217 209903 | 37747 36623 19 | 0.188 % |
191.92/192.00 c | 574664 | 7439 63217 209903 | 37747 37135 19 | 0.188 % |
192.12/192.21 c | 575176 | 7439 63217 209903 | 37747 37647 19 | 0.188 % |
192.52/192.55 c | 576201 | 7439 63217 209903 | 37747 32807 19 | 0.188 % |
193.32/193.34 c | 578250 | 7439 63217 209903 | 37747 34856 19 | 0.188 % |
194.72/194.76 c | 582351 | 7439 63217 209903 | 36607 33672 19 | 0.188 % |
194.92/194.98 c | 582864 | 7439 63217 209903 | 36607 34185 19 | 0.188 % |
195.12/195.19 c | 583376 | 7439 63217 209903 | 36607 34697 19 | 0.188 % |
195.62/195.66 c | 584403 | 7439 63217 209903 | 36607 35724 19 | 0.188 % |
195.82/195.89 c | 584915 | 7439 63217 209903 | 36607 36236 19 | 0.188 % |
196.02/196.05 c | 585428 | 7439 63217 209903 | 36607 36749 19 | 0.188 % |
196.32/196.38 c | 586452 | 7439 63217 209903 | 36607 32757 19 | 0.188 % |
197.12/197.21 c | 588501 | 7439 63217 209903 | 36607 34806 19 | 0.188 % |
197.32/197.40 c | 589014 | 7439 63217 209903 | 36607 35319 19 | 0.188 % |
197.52/197.61 c | 589526 | 7439 63217 209903 | 36607 35831 19 | 0.188 % |
197.82/197.91 c | 590550 | 7439 63217 209903 | 36306 36855 19 | 0.188 % |
198.12/198.17 c | 591063 | 7439 63217 209903 | 36306 32729 19 | 0.188 % |
198.32/198.35 c | 591575 | 7439 63217 209903 | 36306 33241 19 | 0.188 % |
198.72/198.74 c | 592599 | 7439 63217 209903 | 36306 34265 19 | 0.188 % |
199.52/199.58 c | 594647 | 7439 63217 209903 | 36306 36313 19 | 0.188 % |
201.12/201.21 c | 598743 | 7439 63217 209903 | 36306 35483 19 | 0.188 % |
204.62/204.71 c | 606936 | 7439 63217 209903 | 31658 29895 18 | 0.188 % |
210.62/210.63 c | 623320 | 7439 63217 209903 | 2147483647 30361 19 | 0.188 % |
210.82/210.81 c | 623833 | 7439 63217 209903 | 2147483647 30874 19 | 0.188 % |
210.92/211.01 c | 624345 | 7439 63217 209903 | 2147483647 31386 19 | 0.188 % |
211.32/211.40 c | 625369 | 7439 63217 209903 | 2147483647 32410 20 | 0.188 % |
211.52/211.54 c | 625881 | 7439 63217 209903 | 2147483647 32922 20 | 0.188 % |
211.72/211.71 c | 626393 | 7439 63217 209903 | 2147483647 33434 20 | 0.188 % |
212.02/212.08 c | 627418 | 7439 63217 209903 | 2147483647 34459 20 | 0.188 % |
213.02/213.11 c | 629466 | 7439 63217 209903 | 2147483647 36507 20 | 0.188 % |
213.22/213.29 c | 629978 | 7439 63217 209903 | 2147483647 37019 20 | 0.188 % |
213.42/213.47 c | 630493 | 7439 63217 209903 | 37041 33268 19 | 0.188 % |
213.72/213.75 c | 631517 | 7439 63217 209903 | 37041 34292 20 | 0.188 % |
213.82/213.85 c | 632031 | 7439 63217 209903 | 37041 34806 19 | 0.188 % |
213.92/213.92 c | 632543 | 7439 63217 209903 | 37041 35318 19 | 0.188 % |
214.02/214.09 c | 633567 | 7439 63217 209903 | 37041 36342 19 | 0.188 % |
214.82/214.82 c | 635616 | 7439 63217 209903 | 37041 34109 19 | 0.188 % |
216.12/216.12 c | 639712 | 7439 63217 209903 | 37041 34325 19 | 0.188 % |
216.32/216.40 c | 640224 | 7439 63217 209903 | 34613 31004 18 | 0.188 % |
216.42/216.51 c | 640740 | 7439 63217 209903 | 34613 31520 18 | 0.188 % |
216.92/216.97 c | 641766 | 7439 63217 209903 | 34613 32546 18 | 0.188 % |
217.12/217.14 c | 642279 | 7439 63217 209903 | 34613 33059 18 | 0.188 % |
217.32/217.32 c | 642793 | 7439 63217 209903 | 34613 33573 18 | 0.188 % |
217.62/217.68 c | 643817 | 7439 63217 209903 | 34613 34597 19 | 0.188 % |
218.32/218.35 c | 645865 | 7439 63217 209903 | 34613 32679 18 | 0.188 % |
218.42/218.50 c | 646378 | 7439 63217 209903 | 34613 33192 18 | 0.188 % |
218.62/218.67 c | 646891 | 7439 63217 209903 | 34613 33705 18 | 0.188 % |
219.02/219.04 c | 647917 | 7439 63217 209903 | 34613 34731 18 | 0.188 % |
219.22/219.24 c | 648429 | 7439 63217 209903 | 34613 31629 18 | 0.188 % |
219.32/219.40 c | 648941 | 7439 63217 209903 | 34613 32141 18 | 0.188 % |
219.72/219.73 c | 649965 | 7439 63217 209903 | 34613 33165 18 | 0.188 % |
220.32/220.32 c | 652014 | 7439 63217 209903 | 33201 31844 18 | 0.188 % |
221.72/221.74 c | 656110 | 7439 63217 209903 | 33201 32593 18 | 0.188 % |
224.92/224.99 c | 664302 | 7439 63217 209903 | 33110 30457 19 | 0.188 % |
225.22/225.23 c | 664816 | 7439 63217 209903 | 33110 30971 19 | 0.188 % |
225.42/225.42 c | 665331 | 7439 63217 209903 | 33110 31486 19 | 0.188 % |
225.82/225.83 c | 666359 | 7439 63217 209903 | 33110 32514 19 | 0.188 % |
226.02/226.03 c | 666873 | 7439 63217 209903 | 33110 33028 19 | 0.188 % |
226.22/226.22 c | 667385 | 7439 63217 209903 | 33110 29778 19 | 0.188 % |
226.52/226.52 c | 668409 | 7439 63217 209903 | 33110 30802 19 | 0.188 % |
227.32/227.39 c | 670457 | 7439 63217 209903 | 32393 29157 19 | 0.188 % |
227.52/227.52 c | 670969 | 7439 63217 209903 | 32393 29669 19 | 0.188 % |
227.62/227.69 c | 671481 | 7439 63217 209903 | 32393 30181 19 | 0.188 % |
227.92/227.96 c | 672506 | 7439 63217 209903 | 32393 31206 19 | 0.188 % |
228.12/228.13 c | 673022 | 7439 63217 209903 | 32393 31722 19 | 0.188 % |
228.32/228.35 c | 673535 | 7439 63217 209903 | 32393 32235 19 | 0.188 % |
228.62/228.66 c | 674559 | 7439 63217 209903 | 32393 29784 19 | 0.188 % |
229.32/229.35 c | 676608 | 7439 63217 209903 | 32393 31833 19 | 0.188 % |
230.62/230.64 c | 680704 | 7439 63217 209903 | 31676 29035 19 | 0.188 % |
230.72/230.77 c | 681216 | 7439 63217 209903 | 31676 29547 19 | 0.188 % |
230.82/230.90 c | 681728 | 7439 63217 209903 | 31676 30059 19 | 0.188 % |
231.32/231.32 c | 682752 | 7439 63217 209903 | 31676 31083 19 | 0.188 % |
231.52/231.52 c | 683264 | 7439 63217 209903 | 31676 31595 19 | 0.188 % |
231.72/231.73 c | 683776 | 7439 63217 209903 | 31676 32107 19 | 0.188 % |
232.13/232.17 c | 684800 | 7439 63217 209903 | 31676 29801 19 | 0.188 % |
233.02/233.05 c | 686848 | 7439 63217 209903 | 31676 31849 19 | 0.188 % |
233.23/233.24 c | 687360 | 7439 63217 209903 | 31676 29177 18 | 0.188 % |
233.42/233.41 c | 687873 | 7439 63217 209903 | 31676 29690 19 | 0.188 % |
233.82/233.86 c | 688898 | 7439 63217 209903 | 31676 30715 19 | 0.188 % |
234.02/234.06 c | 689411 | 7439 63217 209903 | 31676 31228 19 | 0.188 % |
234.22/234.23 c | 689924 | 7439 63217 209903 | 31676 31741 19 | 0.188 % |
234.52/234.58 c | 690948 | 7439 63217 209903 | 2147483647 29591 19 | 0.188 % |
235.32/235.34 c | 692996 | 7439 63217 209903 | 2147483647 31639 19 | 0.188 % |
236.72/236.71 c | 697095 | 7439 63217 209903 | 2147483647 35738 19 | 0.188 % |
240.22/240.25 c | 705289 | 7439 63217 209903 | 38643 33131 19 | 0.188 % |
247.53/247.52 c | 721673 | 7439 63217 209903 | 35998 31749 18 | 0.188 % |
260.52/260.53 c | 754443 | 7439 63217 209903 | 30691 28562 19 | 0.188 % |
260.62/260.67 c | 754957 | 7439 63217 209903 | 30691 29076 19 | 0.188 % |
260.73/260.81 c | 755469 | 7439 63217 209903 | 30691 29588 19 | 0.188 % |
260.92/261.01 c | 756494 | 7439 63217 209903 | 30691 30613 19 | 0.188 % |
261.02/261.10 c | 757006 | 7439 63217 209903 | 30691 31125 19 | 0.188 % |
261.22/261.25 c | 757518 | 7439 63217 209903 | 30691 28525 19 | 0.188 % |
261.52/261.58 c | 758542 | 7439 63217 209903 | 30691 29549 19 | 0.188 % |
262.22/262.24 c | 760590 | 7439 63217 209903 | 2147483647 28504 18 | 0.188 % |
262.32/262.39 c | 761104 | 7439 63217 209903 | 2147483647 29018 18 | 0.188 % |
262.42/262.50 c | 761620 | 7439 63217 209903 | 2147483647 29534 18 | 0.188 % |
262.72/262.74 c | 762644 | 7439 63217 209903 | 2147483647 30558 19 | 0.188 % |
262.82/262.88 c | 763156 | 7439 63217 209903 | 2147483647 31070 19 | 0.188 % |
263.02/263.02 c | 763668 | 7439 63217 209903 | 2147483647 31582 19 | 0.188 % |
263.22/263.23 c | 764692 | 7439 63217 209903 | 2147483647 32606 19 | 0.188 % |
263.82/263.86 c | 766740 | 7439 63217 209903 | 2147483647 34654 19 | 0.188 % |
265.02/265.03 c | 770837 | 7439 63217 209903 | 2147483647 38751 20 | 0.188 % |
265.22/265.22 c | 771350 | 7439 63217 209903 | 2147483647 39264 20 | 0.188 % |
265.42/265.43 c | 771862 | 7439 63217 209903 | 2147483647 39776 20 | 0.188 % |
265.82/265.81 c | 772886 | 7439 63217 209903 | 2147483647 40800 20 | 0.188 % |
266.02/266.04 c | 773398 | 7439 63217 209903 | 2147483647 41312 20 | 0.188 % |
266.32/266.31 c | 773914 | 7439 63217 209903 | 2147483647 41828 20 | 0.188 % |
266.72/266.79 c | 774939 | 7439 63217 209903 | 2147483647 42853 20 | 0.188 % |
267.82/267.84 c | 776987 | 7439 63217 209903 | 2147483647 44901 20 | 0.188 % |
268.02/268.05 c | 777499 | 7439 63217 209903 | 2147483647 45413 20 | 0.188 % |
268.22/268.22 c | 778011 | 7439 63217 209903 | 2147483647 45925 20 | 0.188 % |
268.72/268.79 c | 779042 | 7439 63217 209903 | 2147483647 46956 20 | 0.188 % |
268.92/268.95 c | 779555 | 7439 63217 209903 | 2147483647 47469 20 | 0.188 % |
269.02/269.06 c | 780068 | 7439 63217 209903 | 47916 47982 20 | 0.188 % |
269.53/269.60 c | 781092 | 7439 63217 209903 | 47916 42044 20 | 0.188 % |
270.42/270.44 c | 783143 | 7439 63217 209903 | 47916 44095 20 | 0.188 % |
272.73/272.81 c | 787242 | 7439 63217 209903 | 47916 39066 20 | 0.188 % |
276.83/276.87 c | 795434 | 7439 63217 209903 | 41827 39209 19 | 0.188 % |
277.03/277.05 c | 795948 | 7439 63217 209903 | 41827 39723 19 | 0.188 % |
277.23/277.28 c | 796461 | 7439 63217 209903 | 41827 40236 19 | 0.188 % |
277.63/277.66 c | 797485 | 7439 63217 209903 | 41827 41260 19 | 0.188 % |
277.83/277.84 c | 797997 | 7439 63217 209903 | 41827 41772 19 | 0.188 % |
278.03/278.12 c | 798509 | 7439 63217 209903 | 41827 34778 18 | 0.188 % |
278.53/278.53 c | 799534 | 7439 63217 209903 | 41827 35803 18 | 0.188 % |
279.23/279.27 c | 801582 | 7439 63217 209903 | 36269 31407 18 | 0.188 % |
279.43/279.47 c | 802095 | 7439 63217 209903 | 36269 31920 18 | 0.188 % |
279.63/279.62 c | 802607 | 7439 63217 209903 | 36269 32432 18 | 0.188 % |
279.93/279.97 c | 803631 | 7439 63217 209903 | 36269 33456 18 | 0.188 % |
280.13/280.14 c | 804144 | 7439 63217 209903 | 36269 33969 18 | 0.188 % |
280.33/280.33 c | 804657 | 7439 63217 209903 | 36269 34482 18 | 0.188 % |
280.73/280.81 c | 805681 | 7439 63217 209903 | 36269 35506 18 | 0.188 % |
281.73/281.72 c | 807730 | 7439 63217 209903 | 36269 31801 18 | 0.188 % |
283.33/283.38 c | 811828 | 7439 63217 209903 | 34071 30895 18 | 0.188 % |
283.53/283.61 c | 812340 | 7439 63217 209903 | 34071 31407 18 | 0.188 % |
283.83/283.82 c | 812852 | 7439 63217 209903 | 34071 31919 18 | 0.188 % |
284.13/284.20 c | 813876 | 7439 63217 209903 | 34071 32943 18 | 0.188 % |
284.43/284.43 c | 814388 | 7439 63217 209903 | 34071 33455 18 | 0.188 % |
284.53/284.61 c | 814901 | 7439 63217 209903 | 34071 33968 18 | 0.188 % |
285.03/285.10 c | 815927 | 7439 63217 209903 | 34071 30712 18 | 0.188 % |
285.93/285.99 c | 817975 | 7439 63217 209903 | 34071 32760 18 | 0.188 % |
286.13/286.20 c | 818487 | 7439 63217 209903 | 34071 33272 18 | 0.188 % |
286.33/286.39 c | 819000 | 7439 63217 209903 | 34071 33785 18 | 0.188 % |
286.73/286.74 c | 820024 | 7439 63217 209903 | 30488 30511 18 | 0.188 % |
286.93/286.95 c | 820537 | 7439 63217 209903 | 30488 27224 17 | 0.188 % |
287.03/287.06 c | 821050 | 7439 63217 209903 | 30488 27737 17 | 0.188 % |
287.43/287.46 c | 822076 | 7439 63217 209903 | 30488 28763 18 | 0.188 % |
288.13/288.21 c | 824124 | 7439 63217 209903 | 30488 30811 18 | 0.188 % |
289.33/289.37 c | 828220 | 7439 63217 209903 | 30488 27954 18 | 0.188 % |
292.23/292.24 c | 836412 | 7438 63214 209897 | 29735 26872 18 | 0.201 % |
297.93/297.99 c | 852796 | 7438 63214 209897 | 2147483647 29099 18 | 0.201 % |
298.13/298.17 c | 853308 | 7438 63214 209897 | 2147483647 29611 18 | 0.201 % |
298.33/298.35 c | 853820 | 7438 63214 209897 | 2147483647 30123 18 | 0.201 % |
298.73/298.75 c | 854844 | 7438 63214 209897 | 2147483647 31147 18 | 0.201 % |
298.83/298.90 c | 855357 | 7438 63214 209897 | 2147483647 31660 18 | 0.201 % |
299.13/299.13 c | 855870 | 7438 63214 209897 | 2147483647 32173 18 | 0.201 % |
299.43/299.49 c | 856894 | 7438 63214 209897 | 2147483647 33197 18 | 0.201 % |
300.13/300.17 c | 858943 | 7438 63214 209897 | 2147483647 35246 19 | 0.201 % |
300.33/300.36 c | 859455 | 7438 63214 209897 | 2147483647 35758 19 | 0.201 % |
300.53/300.54 c | 859970 | 7438 63214 209897 | 2147483647 36273 19 | 0.201 % |
300.83/300.88 c | 860998 | 7438 63214 209897 | 36304 33564 18 | 0.201 % |
301.03/301.10 c | 861511 | 7438 63214 209897 | 36304 34077 18 | 0.201 % |
301.23/301.30 c | 862023 | 7438 63214 209897 | 36304 34589 18 | 0.201 % |
301.63/301.71 c | 863047 | 7438 63214 209897 | 36304 35613 18 | 0.201 % |
302.33/302.41 c | 865095 | 7438 63214 209897 | 36304 33066 18 | 0.201 % |
304.03/304.02 c | 869191 | 7438 63214 209897 | 36304 32570 19 | 0.201 % |
304.23/304.29 c | 869704 | 7438 63214 209897 | 36304 33083 19 | 0.201 % |
304.43/304.49 c | 870216 | 7438 63214 209897 | 33381 33595 19 | 0.201 % |
304.83/304.88 c | 871240 | 7438 63214 209897 | 33381 30396 19 | 0.201 % |
305.03/305.06 c | 871754 | 7438 63214 209897 | 33381 30910 19 | 0.201 % |
305.23/305.23 c | 872267 | 7438 63214 209897 | 33381 31423 19 | 0.201 % |
305.63/305.61 c | 873294 | 7438 63214 209897 | 33381 32450 19 | 0.201 % |
306.23/306.26 c | 875342 | 7438 63214 209897 | 33381 30271 19 | 0.201 % |
306.43/306.48 c | 875855 | 7438 63214 209897 | 33381 30784 19 | 0.201 % |
306.63/306.66 c | 876367 | 7438 63214 209897 | 33381 31296 19 | 0.201 % |
307.03/307.04 c | 877391 | 7438 63214 209897 | 33381 32320 19 | 0.201 % |
307.13/307.19 c | 877904 | 7438 63214 209897 | 33381 32833 19 | 0.201 % |
307.33/307.38 c | 878416 | 7438 63214 209897 | 33381 33345 19 | 0.201 % |
307.73/307.74 c | 879440 | 7438 63214 209897 | 33381 30109 18 | 0.201 % |
308.43/308.51 c | 881490 | 7438 63214 209897 | 30671 28340 18 | 0.201 % |
310.23/310.24 c | 885587 | 7438 63214 209897 | 30671 29272 18 | 0.201 % |
314.13/314.17 c | 893779 | 7438 63214 209897 | 30277 27305 18 | 0.201 % |
314.33/314.39 c | 894291 | 7438 63214 209897 | 30277 27817 18 | 0.201 % |
314.53/314.57 c | 894807 | 7438 63214 209897 | 30277 28333 18 | 0.201 % |
314.83/314.91 c | 895832 | 7438 63214 209897 | 30277 29358 18 | 0.201 % |
315.03/315.06 c | 896344 | 7438 63214 209897 | 30277 29870 18 | 0.201 % |
315.13/315.21 c | 896856 | 7438 63214 209897 | 30277 30382 18 | 0.201 % |
315.53/315.61 c | 897881 | 7438 63214 209897 | 30277 28369 18 | 0.201 % |
316.43/316.43 c | 899929 | 7438 63214 209897 | 30277 30417 18 | 0.201 % |
316.63/316.63 c | 900441 | 7438 63214 209897 | 2147483647 27888 18 | 0.201 % |
316.73/316.81 c | 900954 | 7438 63214 209897 | 2147483647 28401 18 | 0.201 % |
317.03/317.04 c | 901978 | 7438 63214 209897 | 2147483647 29425 18 | 0.201 % |
317.23/317.27 c | 902492 | 7438 63214 209897 | 2147483647 29939 18 | 0.201 % |
317.43/317.44 c | 903004 | 7438 63214 209897 | 2147483647 30451 19 | 0.201 % |
317.73/317.79 c | 904028 | 7438 63214 209897 | 2147483647 31475 19 | 0.201 % |
318.53/318.54 c | 906076 | 7438 63214 209897 | 2147483647 33523 19 | 0.201 % |
320.33/320.33 c | 910172 | 7438 63214 209897 | 37449 37619 19 | 0.201 % |
320.53/320.59 c | 910684 | 7438 63214 209897 | 37449 33941 19 | 0.201 % |
320.83/320.82 c | 911196 | 7438 63214 209897 | 37449 34453 19 | 0.201 % |
321.23/321.28 c | 912221 | 7438 63214 209897 | 37449 35478 19 | 0.201 % |
321.43/321.45 c | 912733 | 7438 63214 209897 | 37449 35990 19 | 0.201 % |
321.63/321.63 c | 913246 | 7438 63214 209897 | 37449 36503 19 | 0.201 % |
322.03/322.04 c | 914270 | 7438 63214 209897 | 37449 37527 19 | 0.201 % |
322.83/322.85 c | 916318 | 7438 63214 209897 | 37449 35238 19 | 0.201 % |
323.03/323.04 c | 916830 | 7438 63214 209897 | 37449 35750 19 | 0.201 % |
323.23/323.26 c | 917342 | 7438 63214 209897 | 37449 36262 19 | 0.201 % |
323.73/323.74 c | 918366 | 7438 63214 209897 | 37449 37286 19 | 0.201 % |
323.83/323.88 c | 918878 | 7438 63214 209897 | 37449 37798 19 | 0.201 % |
324.03/324.08 c | 919391 | 7438 63214 209897 | 37449 33548 19 | 0.201 % |
324.33/324.41 c | 920416 | 7438 63214 209897 | 34157 34573 19 | 0.201 % |
325.23/325.29 c | 922465 | 7438 63214 209897 | 34157 32587 18 | 0.201 % |
326.93/326.92 c | 926561 | 7438 63214 209897 | 34157 32342 18 | 0.201 % |
330.33/330.35 c | 934753 | 7438 63214 209897 | 31374 28358 17 | 0.201 % |
336.33/336.31 c | 951137 | 7438 63214 209897 | 2147483647 28975 19 | 0.201 % |
350.03/350.11 c | 983906 | 7438 63214 209897 | 30954 30875 18 | 0.201 % |
375.03/375.07 c | 1049443 | 7438 63214 209897 | 35830 35023 19 | 0.201 % |
427.53/427.56 c | 1180516 | 7437 63211 209891 | 26556 27068 20 | 0.215 % |
427.73/427.71 c | 1181029 | 7437 63211 209891 | 26556 24875 20 | 0.215 % |
427.83/427.83 c | 1181542 | 7437 63211 209891 | 26556 25388 20 | 0.215 % |
428.03/428.08 c | 1182567 | 7437 63211 209891 | 26556 26413 20 | 0.215 % |
428.23/428.22 c | 1183082 | 7437 63211 209891 | 26556 24248 20 | 0.215 % |
428.33/428.35 c | 1183595 | 7437 63211 209891 | 26556 24761 20 | 0.215 % |
428.43/428.48 c | 1184619 | 7437 63211 209891 | 26556 25785 19 | 0.215 % |
428.73/428.79 c | 1186668 | 7437 63211 209891 | 26556 25149 19 | 0.215 % |
428.83/428.88 c | 1187180 | 7437 63211 209891 | 26556 25661 18 | 0.215 % |
428.93/428.96 c | 1187695 | 7437 63211 209891 | 26556 26176 19 | 0.215 % |
429.13/429.19 c | 1188721 | 7437 63211 209891 | 26556 24520 18 | 0.215 % |
429.33/429.34 c | 1189233 | 7437 63211 209891 | 26556 25032 18 | 0.215 % |
429.43/429.46 c | 1189747 | 7437 63211 209891 | 26556 25546 18 | 0.215 % |
429.73/429.72 c | 1190772 | 7437 63211 209891 | 2147483647 26571 18 | 0.215 % |
430.23/430.21 c | 1192820 | 7437 63211 209891 | 2147483647 28619 18 | 0.215 % |
431.33/431.36 c | 1196916 | 7437 63211 209891 | 2147483647 32715 19 | 0.215 % |
431.43/431.50 c | 1197430 | 7437 63211 209891 | 2147483647 33229 19 | 0.215 % |
431.63/431.69 c | 1197943 | 7437 63211 209891 | 2147483647 33742 19 | 0.215 % |
431.94/432.00 c | 1198967 | 7437 63211 209891 | 2147483647 34766 19 | 0.215 % |
432.14/432.15 c | 1199480 | 7437 63211 209891 | 2147483647 35279 19 | 0.215 % |
432.24/432.28 c | 1199992 | 7437 63211 209891 | 2147483647 35791 19 | 0.215 % |
432.64/432.62 c | 1201017 | 7437 63211 209891 | 2147483647 36816 19 | 0.215 % |
433.54/433.57 c | 1203065 | 7437 63211 209891 | 2147483647 38864 19 | 0.215 % |
433.74/433.77 c | 1203577 | 7437 63211 209891 | 2147483647 39376 19 | 0.215 % |
433.84/433.84 c | 1204089 | 7437 63211 209891 | 2147483647 39888 19 | 0.215 % |
434.14/434.18 c | 1205113 | 7389 62655 208380 | 2147483647 40812 19 | 0.859 % |
434.34/434.37 c | 1205625 | 7389 62655 208380 | 2147483647 41324 19 | 0.859 % |
434.54/434.55 c | 1206139 | 7389 62655 208380 | 2147483647 41838 19 | 0.859 % |
434.94/434.95 c | 1207164 | 7389 62655 208380 | 2147483647 42863 19 | 0.859 % |
435.74/435.78 c | 1209214 | 7389 62655 208380 | 2147483647 44913 19 | 0.859 % |
437.54/437.57 c | 1213310 | 7388 62559 208093 | 45699 41949 19 | 0.872 % |
441.24/441.23 c | 1221503 | 7388 62559 208093 | 40447 34900 18 | 0.872 % |
441.44/441.46 c | 1222016 | 7388 62559 208093 | 40447 35413 18 | 0.872 % |
441.54/441.61 c | 1222528 | 7388 62559 208093 | 40447 35925 18 | 0.872 % |
442.04/442.06 c | 1223552 | 7388 62559 208093 | 40447 36949 18 | 0.872 % |
442.24/442.22 c | 1224065 | 7388 62559 208093 | 40447 37462 18 | 0.872 % |
442.44/442.43 c | 1224577 | 7388 62559 208093 | 40447 37974 18 | 0.872 % |
442.94/442.92 c | 1225602 | 7388 62559 208093 | 40447 38999 18 | 0.872 % |
443.64/443.71 c | 1227651 | 7388 62559 208093 | 40447 34045 18 | 0.872 % |
443.94/443.92 c | 1228164 | 7388 62559 208093 | 40447 34558 18 | 0.872 % |
444.14/444.14 c | 1228677 | 7388 62559 208093 | 40447 35071 18 | 0.872 % |
444.44/444.49 c | 1229702 | 7388 62559 208093 | 40447 36096 18 | 0.872 % |
444.64/444.66 c | 1230214 | 7388 62559 208093 | 36394 36608 18 | 0.872 % |
444.84/444.87 c | 1230726 | 7388 62559 208093 | 36394 30932 18 | 0.872 % |
445.24/445.24 c | 1231752 | 7388 62559 208093 | 36394 31958 18 | 0.872 % |
445.94/445.99 c | 1233802 | 7388 62559 208093 | 36394 34008 18 | 0.872 % |
447.64/447.68 c | 1237901 | 7388 62559 208093 | 36394 33116 18 | 0.872 % |
447.84/447.87 c | 1238413 | 7388 62559 208093 | 36394 33628 18 | 0.872 % |
448.04/448.04 c | 1238926 | 7388 62559 208093 | 36394 34141 18 | 0.872 % |
448.44/448.45 c | 1239954 | 7388 62559 208093 | 36394 35169 18 | 0.872 % |
448.64/448.66 c | 1240466 | 7388 62559 208093 | 35217 35681 18 | 0.872 % |
448.84/448.85 c | 1240978 | 7388 62559 208093 | 35217 31104 18 | 0.872 % |
449.14/449.19 c | 1242002 | 7388 62559 208093 | 35217 32128 18 | 0.872 % |
450.14/450.11 c | 1244050 | 7388 62559 208093 | 35217 34176 18 | 0.872 % |
450.34/450.33 c | 1244562 | 7384 62547 208069 | 35217 34665 18 | 0.926 % |
450.54/450.53 c | 1245074 | 7384 62547 208069 | 35217 35177 18 | 0.926 % |
450.84/450.84 c | 1246099 | 7384 62547 208069 | 35217 31470 18 | 0.926 % |
451.04/451.02 c | 1246613 | 7384 62547 208069 | 35217 31984 18 | 0.926 % |
451.24/451.24 c | 1247125 | 7384 62547 208069 | 35217 32496 18 | 0.926 % |
451.54/451.60 c | 1248149 | 7384 62547 208069 | 35217 33520 19 | 0.926 % |
452.34/452.39 c | 1250197 | 7384 62547 208069 | 35374 30829 18 | 0.926 % |
454.14/454.16 c | 1254294 | 7384 62547 208069 | 35374 34926 19 | 0.926 % |
457.44/457.46 c | 1262486 | 7384 62547 208069 | 31113 29394 18 | 0.926 % |
463.64/463.70 c | 1278872 | 7382 62523 208012 | 29215 28884 18 | 0.953 % |
463.84/463.88 c | 1279385 | 7382 62523 208012 | 29215 29397 18 | 0.953 % |
464.04/464.03 c | 1279897 | 7382 62523 208012 | 29215 26970 17 | 0.953 % |
464.34/464.38 c | 1280921 | 7382 62523 208012 | 2147483647 27994 18 | 0.953 % |
464.54/464.51 c | 1281435 | 7382 62523 208012 | 2147483647 28508 18 | 0.953 % |
464.64/464.65 c | 1281947 | 7382 62523 208012 | 2147483647 29020 18 | 0.953 % |
465.04/465.03 c | 1282975 | 7382 62523 208012 | 2147483647 30048 18 | 0.953 % |
465.64/465.68 c | 1285026 | 7382 62523 208012 | 2147483647 32099 18 | 0.953 % |
465.84/465.87 c | 1285538 | 7382 62523 208012 | 2147483647 32611 18 | 0.953 % |
466.04/466.03 c | 1286050 | 7382 62523 208012 | 2147483647 33123 18 | 0.953 % |
466.44/466.44 c | 1287076 | 7382 62523 208012 | 2147483647 34149 18 | 0.953 % |
466.54/466.60 c | 1287590 | 7382 62523 208012 | 2147483647 34663 18 | 0.953 % |
466.74/466.81 c | 1288103 | 7382 62523 208012 | 2147483647 35176 19 | 0.953 % |
467.14/467.21 c | 1289127 | 7382 62523 208012 | 2147483647 36200 19 | 0.953 % |
467.94/468.00 c | 1291175 | 7380 62517 208000 | 37074 33757 19 | 0.980 % |
469.34/469.36 c | 1295271 | 7380 62517 208000 | 37074 33117 19 | 0.993 % |
469.54/469.54 c | 1295784 | 7380 62517 208000 | 37074 33630 19 | 0.993 % |
469.64/469.68 c | 1296296 | 7379 62422 207716 | 37074 34141 19 | 0.993 % |
470.04/470.05 c | 1297320 | 7379 62422 207716 | 37074 35165 19 | 0.993 % |
470.24/470.26 c | 1297832 | 7379 62422 207716 | 37074 35677 19 | 0.993 % |
470.44/470.45 c | 1298345 | 7379 62422 207716 | 37074 36190 19 | 0.993 % |
470.84/470.87 c | 1299370 | 7379 62422 207716 | 37074 37215 19 | 0.993 % |
471.64/471.69 c | 1301419 | 7379 62422 207716 | 33130 30333 19 | 0.993 % |
471.84/471.84 c | 1301931 | 7379 62422 207716 | 33130 30845 19 | 0.993 % |
471.94/471.99 c | 1302444 | 7379 62422 207716 | 33130 31358 19 | 0.993 % |
472.34/472.32 c | 1303468 | 7379 62422 207716 | 33130 32382 19 | 0.993 % |
472.44/472.45 c | 1303982 | 7379 62422 207716 | 33130 32896 19 | 0.993 % |
472.54/472.60 c | 1304497 | 7379 62422 207716 | 33130 33411 19 | 0.993 % |
472.94/473.00 c | 1305521 | 7379 62422 207716 | 33130 30285 18 | 0.993 % |
473.74/473.75 c | 1307569 | 7379 62422 207716 | 33130 32333 19 | 0.993 % |
475.24/475.26 c | 1311665 | 7379 62422 207716 | 30388 27946 18 | 0.993 % |
478.24/478.27 c | 1319857 | 7379 62422 207716 | 30388 28899 17 | 0.993 % |
478.44/478.47 c | 1320369 | 7379 62422 207716 | 29044 29411 17 | 0.993 % |
478.64/478.65 c | 1320881 | 7379 62422 207716 | 29044 26655 17 | 0.993 % |
478.94/478.92 c | 1321906 | 7379 62422 207716 | 29044 27680 17 | 0.993 % |
479.04/479.09 c | 1322418 | 7379 62422 207716 | 29044 28192 17 | 0.993 % |
479.24/479.27 c | 1322931 | 7379 62422 207716 | 29044 28705 17 | 0.993 % |
479.54/479.55 c | 1323955 | 7379 62422 207716 | 29044 26616 17 | 0.993 % |
480.24/480.30 c | 1326003 | 7379 62422 207716 | 29044 28664 17 | 0.993 % |
480.44/480.48 c | 1326515 | 7379 62422 207716 | 29044 29176 17 | 0.993 % |
480.64/480.66 c | 1327028 | 7379 62422 207716 | 29044 26535 17 | 0.993 % |
480.94/480.94 c | 1328053 | 7379 62422 207716 | 29044 27560 17 | 0.993 % |
481.14/481.12 c | 1328566 | 7379 62422 207716 | 29044 28073 17 | 0.993 % |
481.34/481.32 c | 1329079 | 7379 62422 207716 | 29044 28586 17 | 0.993 % |
481.54/481.60 c | 1330103 | 7379 62422 207716 | 26264 26365 17 | 0.993 % |
482.14/482.13 c | 1332151 | 7379 62422 207716 | 26264 25517 17 | 0.993 % |
483.54/483.58 c | 1336247 | 7379 62422 207716 | 26264 24286 17 | 0.993 % |
483.74/483.72 c | 1336759 | 7379 62422 207716 | 26264 24798 17 | 0.993 % |
483.84/483.87 c | 1337273 | 7379 62422 207716 | 26264 25312 17 | 0.993 % |
484.14/484.16 c | 1338298 | 7379 62422 207716 | 26264 26337 17 | 0.993 % |
484.34/484.33 c | 1338810 | 7379 62422 207716 | 26264 24173 17 | 0.993 % |
484.54/484.52 c | 1339323 | 7379 62422 207716 | 26264 24686 17 | 0.993 % |
484.74/484.76 c | 1340349 | 7379 62422 207716 | 2147483647 25712 17 | 0.993 % |
485.34/485.39 c | 1342398 | 7379 62422 207716 | 2147483647 27761 18 | 0.993 % |
485.54/485.56 c | 1342910 | 7379 62422 207716 | 2147483647 28273 18 | 0.993 % |
485.74/485.71 c | 1343423 | 7379 62422 207716 | 2147483647 28786 18 | 0.993 % |
485.94/485.98 c | 1344447 | 7379 62422 207716 | 2147483647 29810 18 | 0.993 % |
486.14/486.19 c | 1344959 | 7379 62422 207716 | 2147483647 30322 18 | 0.993 % |
486.34/486.34 c | 1345472 | 7379 62422 207716 | 2147483647 30835 18 | 0.993 % |
486.74/486.72 c | 1346496 | 7379 62422 207716 | 2147483647 31859 18 | 0.993 % |
487.24/487.28 c | 1348545 | 7379 62422 207716 | 2147483647 33908 18 | 0.993 % |
488.94/488.93 c | 1352641 | 7379 62422 207716 | 2147483647 38004 19 | 0.993 % |
492.85/492.83 c | 1360834 | 7379 62422 207716 | 45363 38677 18 | 0.993 % |
501.54/501.55 c | 1377218 | 7379 62422 207716 | 38905 38753 18 | 0.993 % |
515.24/515.26 c | 1409989 | 7379 62422 207716 | 30938 30651 19 | 0.993 % |
515.34/515.37 c | 1410503 | 7379 62422 207716 | 2147483647 31165 19 | 0.993 % |
515.54/515.54 c | 1411015 | 7379 62422 207716 | 2147483647 31677 19 | 0.993 % |
515.84/515.86 c | 1412039 | 7379 62422 207716 | 2147483647 32701 19 | 0.993 % |
516.04/516.03 c | 1412551 | 7379 62422 207716 | 2147483647 33213 19 | 0.993 % |
516.14/516.16 c | 1413064 | 7379 62422 207716 | 2147483647 33726 19 | 0.993 % |
516.34/516.39 c | 1414089 | 7379 62422 207716 | 2147483647 34751 19 | 0.993 % |
517.24/517.24 c | 1416137 | 7379 62422 207716 | 2147483647 36799 20 | 0.993 % |
517.44/517.48 c | 1416652 | 7379 62422 207716 | 2147483647 37314 20 | 0.993 % |
517.74/517.71 c | 1417165 | 7379 62422 207716 | 2147483647 37827 20 | 0.993 % |
518.04/518.04 c | 1418189 | 7379 62422 207716 | 2147483647 38851 20 | 0.993 % |
518.15/518.20 c | 1418701 | 7379 62422 207716 | 2147483647 39363 20 | 0.993 % |
518.34/518.36 c | 1419214 | 7379 62422 207716 | 2147483647 39876 20 | 0.993 % |
518.74/518.79 c | 1420239 | 7379 62422 207716 | 40664 40901 20 | 0.993 % |
519.54/519.52 c | 1422289 | 7379 62422 207716 | 40664 37621 20 | 0.993 % |
521.34/521.37 c | 1426386 | 7379 62422 207716 | 40664 35962 19 | 0.993 % |
521.54/521.57 c | 1426900 | 7379 62422 207716 | 40664 36476 19 | 0.993 % |
521.74/521.74 c | 1427412 | 7379 62422 207716 | 40664 36988 19 | 0.993 % |
522.14/522.11 c | 1428436 | 7379 62422 207716 | 40664 38012 19 | 0.993 % |
522.24/522.30 c | 1428948 | 7379 62422 207716 | 40664 38524 19 | 0.993 % |
522.44/522.50 c | 1429461 | 7379 62422 207716 | 40664 39037 19 | 0.993 % |
522.94/522.94 c | 1430486 | 7379 62422 207716 | 39576 34132 18 | 0.993 % |
523.84/523.88 c | 1432536 | 7379 62422 207716 | 39576 36182 19 | 0.993 % |
524.04/524.04 c | 1433049 | 7379 62422 207716 | 39576 36695 19 | 0.993 % |
524.24/524.25 c | 1433561 | 7379 62422 207716 | 39576 37207 19 | 0.993 % |
524.64/524.70 c | 1434585 | 7379 62422 207716 | 39576 38231 19 | 0.993 % |
524.84/524.86 c | 1435098 | 7379 62422 207716 | 39576 38744 19 | 0.993 % |
525.04/525.04 c | 1435613 | 7379 62422 207716 | 39576 39259 19 | 0.993 % |
525.44/525.49 c | 1436638 | 7379 62422 207716 | 39576 33699 18 | 0.993 % |
526.14/526.18 c | 1438688 | 7379 62422 207716 | 39576 35749 19 | 0.993 % |
527.94/527.91 c | 1442784 | 7378 62419 207710 | 37062 33681 18 | 1.006 % |
531.24/531.24 c | 1450978 | 7378 62419 207710 | 34635 29998 18 | 1.006 % |
531.44/531.44 c | 1451490 | 7378 62419 207710 | 34635 30510 18 | 1.006 % |
531.64/531.64 c | 1452002 | 7378 62419 207710 | 34635 31022 18 | 1.006 % |
532.04/532.10 c | 1453026 | 7378 62419 207710 | 34635 32046 18 | 1.006 % |
532.24/532.27 c | 1453538 | 7378 62419 207710 | 34635 32558 18 | 1.006 % |
532.45/532.45 c | 1454050 | 7378 62419 207710 | 34635 33070 18 | 1.006 % |
532.84/532.85 c | 1455074 | 7378 62419 207710 | 34635 34094 18 | 1.006 % |
533.65/533.62 c | 1457123 | 7378 62419 207710 | 34635 30655 18 | 1.006 % |
533.75/533.79 c | 1457635 | 7378 62419 207710 | 34635 31167 18 | 1.006 % |
533.95/533.98 c | 1458147 | 7378 62419 207710 | 34635 31679 18 | 1.006 % |
534.45/534.44 c | 1459173 | 7378 62419 207710 | 34635 32705 18 | 1.006 % |
534.65/534.71 c | 1459687 | 7378 62419 207710 | 34635 33219 18 | 1.006 % |
534.85/534.88 c | 1460200 | 7378 62419 207710 | 33534 33732 18 | 1.006 % |
535.35/535.36 c | 1461224 | 7378 62419 207710 | 33534 29747 18 | 1.006 % |
536.05/536.02 c | 1463272 | 7378 62419 207710 | 33534 31795 18 | 1.006 % |
537.55/537.53 c | 1467368 | 7378 62419 207710 | 33534 30800 18 | 1.006 % |
537.75/537.74 c | 1467881 | 7378 62419 207710 | 33534 31313 18 | 1.006 % |
537.95/537.92 c | 1468396 | 7378 62419 207710 | 33534 31828 18 | 1.006 % |
538.35/538.35 c | 1469420 | 7378 62419 207710 | 33534 32852 18 | 1.006 % |
538.55/538.56 c | 1469932 | 7378 62419 207710 | 33534 33364 18 | 1.006 % |
538.75/538.75 c | 1470444 | 7378 62419 207710 | 33433 29035 18 | 1.006 % |
539.15/539.17 c | 1471469 | 7378 62419 207710 | 33433 30060 18 | 1.006 % |
539.75/539.76 c | 1473519 | 7378 62419 207710 | 33433 32110 18 | 1.006 % |
539.95/539.94 c | 1474031 | 7378 62419 207710 | 33433 32622 18 | 1.006 % |
540.05/540.11 c | 1474543 | 7378 62419 207710 | 33433 33134 18 | 1.006 % |
540.45/540.49 c | 1475567 | 7378 62419 207710 | 33433 29685 18 | 1.006 % |
540.65/540.69 c | 1476079 | 7378 62419 207710 | 33433 30197 18 | 1.006 % |
540.85/540.85 c | 1476591 | 7378 62419 207710 | 33433 30709 18 | 1.006 % |
541.05/541.02 c | 1477615 | 7378 62419 207710 | 33433 31733 18 | 1.006 % |
541.65/541.65 c | 1479665 | 7378 62419 207710 | 33433 33783 18 | 1.006 % |
543.05/543.02 c | 1483762 | 7378 62419 207710 | 29924 29974 18 | 1.006 % |
545.65/545.65 c | 1491954 | 7378 62419 207710 | 2147483647 32098 18 | 1.006 % |
552.35/552.34 c | 1508338 | 7377 62416 207704 | 40145 36986 18 | 1.020 % |
552.55/552.52 c | 1508853 | 7377 62416 207704 | 40145 37501 18 | 1.020 % |
552.75/552.74 c | 1509365 | 7377 62416 207704 | 40145 38013 18 | 1.020 % |
553.15/553.19 c | 1510389 | 7377 62416 207704 | 38649 39037 18 | 1.020 % |
553.35/553.38 c | 1510901 | 7377 62416 207704 | 38649 33098 18 | 1.020 % |
553.55/553.55 c | 1511414 | 7377 62416 207704 | 38649 33611 18 | 1.020 % |
553.75/553.81 c | 1512438 | 7377 62416 207704 | 38649 34635 18 | 1.020 % |
554.65/554.62 c | 1514487 | 7377 62416 207704 | 38649 36684 18 | 1.020 % |
554.85/554.82 c | 1514999 | 7377 62416 207704 | 38649 37196 18 | 1.020 % |
555.05/555.03 c | 1515511 | 7377 62416 207704 | 38649 37708 18 | 1.020 % |
555.45/555.44 c | 1516536 | 7377 62416 207704 | 38649 38733 18 | 1.020 % |
555.65/555.66 c | 1517050 | 7377 62416 207704 | 38649 33253 18 | 1.020 % |
555.85/555.84 c | 1517564 | 7377 62416 207704 | 38649 33767 18 | 1.020 % |
556.25/556.23 c | 1518588 | 7377 62416 207704 | 38649 34791 18 | 1.020 % |
557.15/557.16 c | 1520638 | 7377 62416 207704 | 36203 30888 18 | 1.020 % |
558.95/558.98 c | 1524734 | 7377 62416 207704 | 36203 34984 18 | 1.020 % |
559.15/559.16 c | 1525246 | 7377 62416 207704 | 36203 35496 18 | 1.020 % |
559.35/559.36 c | 1525758 | 7377 62416 207704 | 36203 36008 18 | 1.020 % |
559.85/559.84 c | 1526785 | 7377 62416 207704 | 36203 31347 18 | 1.020 % |
559.95/560.01 c | 1527297 | 7377 62416 207704 | 36203 31859 18 | 1.020 % |
560.25/560.22 c | 1527810 | 7377 62416 207704 | 36203 32372 18 | 1.020 % |
560.65/560.64 c | 1528835 | 7377 62416 207704 | 36203 33397 18 | 1.020 % |
561.45/561.45 c | 1530883 | 7377 62416 207704 | 34563 30685 18 | 1.020 % |
561.65/561.63 c | 1531398 | 7377 62416 207704 | 34563 31200 18 | 1.020 % |
561.85/561.88 c | 1531911 | 7377 62416 207704 | 34563 31713 18 | 1.020 % |
562.25/562.30 c | 1532937 | 7377 62416 207704 | 34563 32739 18 | 1.020 % |
562.55/562.54 c | 1533450 | 7377 62416 207704 | 34563 33252 18 | 1.020 % |
562.75/562.74 c | 1533963 | 7377 62416 207704 | 34563 33765 18 | 1.020 % |
563.05/563.09 c | 1534987 | 7377 62416 207704 | 34563 34789 18 | 1.020 % |
563.75/563.74 c | 1537035 | 7377 62416 207704 | 34563 32192 18 | 1.020 % |
565.45/565.50 c | 1541132 | 7377 62416 207704 | 30447 27235 17 | 1.020 % |
568.15/568.20 c | 1549324 | 7376 62413 207698 | 30447 28402 18 | 1.033 % |
568.45/568.41 c | 1549839 | 7376 62413 207698 | 30447 28917 18 | 1.033 % |
568.55/568.60 c | 1550351 | 7376 62413 207698 | 29078 29429 18 | 1.033 % |
568.85/568.90 c | 1551376 | 7376 62413 207698 | 29078 27211 18 | 1.033 % |
569.05/569.09 c | 1551892 | 7376 62413 207698 | 29078 27727 18 | 1.033 % |
569.25/569.23 c | 1552404 | 7376 62413 207698 | 29078 28239 18 | 1.033 % |
569.55/569.57 c | 1553428 | 7376 62413 207698 | 29078 29263 18 | 1.033 % |
570.15/570.19 c | 1555476 | 7376 62413 207698 | 29078 28385 18 | 1.033 % |
570.35/570.38 c | 1555988 | 7376 62413 207698 | 29078 28897 18 | 1.033 % |
570.55/570.58 c | 1556500 | 7376 62413 207698 | 29078 26473 17 | 1.033 % |
570.95/570.94 c | 1557525 | 7376 62413 207698 | 29078 27498 18 | 1.033 % |
571.05/571.02 c | 1558038 | 7376 62413 207698 | 29078 28011 18 | 1.033 % |
571.15/571.20 c | 1558551 | 7376 62413 207698 | 29078 28524 18 | 1.033 % |
571.45/571.50 c | 1559575 | 7376 62413 207698 | 29078 29548 18 | 1.033 % |
572.15/572.12 c | 1561624 | 7376 62413 207698 | 2147483647 28643 18 | 1.033 % |
573.55/573.52 c | 1565720 | 7376 62413 207698 | 2147483647 32739 18 | 1.033 % |
573.65/573.68 c | 1566233 | 7376 62413 207698 | 2147483647 33252 19 | 1.033 % |
573.85/573.84 c | 1566745 | 7376 62413 207698 | 2147483647 33764 19 | 1.033 % |
574.25/574.23 c | 1567769 | 7376 62413 207698 | 2147483647 34788 19 | 1.033 % |
574.35/574.40 c | 1568283 | 7376 62413 207698 | 2147483647 35302 19 | 1.033 % |
574.55/574.60 c | 1568795 | 7376 62413 207698 | 2147483647 35814 19 | 1.033 % |
574.95/574.98 c | 1569819 | 7376 62413 207698 | 2147483647 36838 19 | 1.033 % |
575.75/575.79 c | 1571867 | 7376 62413 207698 | 37019 33891 19 | 1.033 % |
575.95/575.98 c | 1572379 | 7376 62413 207698 | 37019 34403 19 | 1.033 % |
576.15/576.18 c | 1572892 | 7376 62413 207698 | 37019 34916 19 | 1.033 % |
576.45/576.50 c | 1573917 | 7376 62413 207698 | 37019 35941 19 | 1.033 % |
576.65/576.68 c | 1574430 | 7376 62413 207698 | 37019 36454 19 | 1.033 % |
576.85/576.87 c | 1574943 | 7376 62413 207698 | 37019 36967 19 | 1.033 % |
577.25/577.26 c | 1575967 | 7376 62413 207698 | 37019 32407 18 | 1.033 % |
577.95/577.92 c | 1578016 | 7376 62413 207698 | 37019 34456 19 | 1.033 % |
579.25/579.23 c | 1582113 | 7375 62410 207692 | 36440 33010 18 | 1.047 % |
582.15/582.15 c | 1590305 | 7375 62410 207692 | 36440 36745 18 | 1.047 % |
587.45/587.48 c | 1606690 | 7375 62410 207692 | 32505 31038 19 | 1.047 % |
597.95/598.00 c | 1639459 | 7375 62410 207692 | 29746 29916 17 | 1.047 % |
620.46/620.47 c | 1704996 | 7367 62373 207617 | 31869 29697 18 | 1.154 % |
620.65/620.62 c | 1705508 | 7367 62373 207617 | 31869 30209 18 | 1.154 % |
620.75/620.74 c | 1706020 | 7367 62373 207617 | 31869 30721 18 | 1.154 % |
620.95/621.01 c | 1707044 | 7367 62373 207617 | 31869 31745 18 | 1.154 % |
621.25/621.22 c | 1707556 | 7367 62373 207617 | 31869 28606 18 | 1.154 % |
621.35/621.37 c | 1708068 | 7367 62373 207617 | 31869 29118 18 | 1.154 % |
621.65/621.69 c | 1709092 | 7367 62373 207617 | 31869 30142 18 | 1.154 % |
622.25/622.30 c | 1711141 | 7367 62373 207617 | 31050 28445 18 | 1.154 % |
622.45/622.51 c | 1711653 | 7367 62373 207617 | 31050 28957 18 | 1.154 % |
622.66/622.68 c | 1712165 | 7367 62373 207617 | 31050 29469 18 | 1.154 % |
622.95/622.95 c | 1713189 | 7367 62373 207617 | 31050 30493 18 | 1.154 % |
623.15/623.13 c | 1713703 | 7367 62373 207617 | 31050 31007 18 | 1.154 % |
623.25/623.28 c | 1714216 | 7367 62373 207617 | 31050 31520 18 | 1.154 % |
623.65/623.62 c | 1715243 | 7367 62373 207617 | 31050 29149 18 | 1.154 % |
624.35/624.34 c | 1717293 | 7367 62373 207617 | 31050 31199 18 | 1.154 % |
625.35/625.37 c | 1721390 | 7367 62373 207617 | 2147483647 32128 18 | 1.154 % |
625.45/625.46 c | 1721904 | 7367 62373 207617 | 2147483647 32642 18 | 1.154 % |
625.65/625.66 c | 1722419 | 7367 62373 207617 | 2147483647 33157 19 | 1.154 % |
625.96/625.97 c | 1723443 | 7367 62373 207617 | 2147483647 34181 19 | 1.154 % |
626.15/626.16 c | 1723956 | 7367 62373 207617 | 2147483647 34694 19 | 1.154 % |
626.35/626.32 c | 1724469 | 7367 62373 207617 | 2147483647 35207 19 | 1.154 % |
626.65/626.64 c | 1725493 | 7367 62373 207617 | 2147483647 36231 19 | 1.154 % |
627.45/627.46 c | 1727544 | 7367 62373 207617 | 2147483647 38282 19 | 1.154 % |
627.65/627.66 c | 1728057 | 7367 62373 207617 | 2147483647 38795 19 | 1.154 % |
627.75/627.75 c | 1728569 | 7367 62373 207617 | 2147483647 39307 19 | 1.154 % |
628.05/628.08 c | 1729593 | 7367 62373 207617 | 2147483647 40331 19 | 1.154 % |
628.25/628.23 c | 1730105 | 7367 62373 207617 | 40738 40843 19 | 1.154 % |
628.45/628.43 c | 1730617 | 7367 62373 207617 | 40738 35700 19 | 1.154 % |
628.65/628.69 c | 1731641 | 7367 62373 207617 | 40738 36724 19 | 1.154 % |
629.35/629.39 c | 1733689 | 7367 62373 207617 | 40738 38772 19 | 1.154 % |
630.85/630.90 c | 1737785 | 7367 62373 207617 | 40738 36809 19 | 1.154 % |
634.25/634.29 c | 1745977 | 7367 62373 207617 | 39024 39368 18 | 1.154 % |
634.55/634.54 c | 1746489 | 7367 62373 207617 | 39024 33975 18 | 1.154 % |
634.65/634.69 c | 1747002 | 7367 62373 207617 | 39024 34488 18 | 1.154 % |
634.95/634.99 c | 1748026 | 7367 62373 207617 | 39024 35512 18 | 1.154 % |
635.15/635.16 c | 1748539 | 7367 62373 207617 | 39024 36025 18 | 1.154 % |
635.35/635.33 c | 1749051 | 7367 62373 207617 | 39024 36537 18 | 1.154 % |
635.65/635.61 c | 1750075 | 7367 62373 207617 | 37486 37561 18 | 1.154 % |
636.25/636.22 c | 1752123 | 7367 62373 207617 | 37486 33623 18 | 1.154 % |
636.35/636.36 c | 1752635 | 7367 62373 207617 | 37486 34135 18 | 1.154 % |
636.55/636.51 c | 1753149 | 7367 62373 207617 | 37486 34649 18 | 1.154 % |
636.85/636.89 c | 1754173 | 7367 62373 207617 | 37486 35673 18 | 1.154 % |
637.05/637.04 c | 1754688 | 7367 62373 207617 | 37486 36188 18 | 1.154 % |
637.15/637.17 c | 1755200 | 7367 62373 207617 | 37486 36700 18 | 1.154 % |
637.45/637.50 c | 1756225 | 7367 62373 207617 | 37486 37725 18 | 1.154 % |
638.55/638.52 c | 1758273 | 7367 62373 207617 | 37486 34125 18 | 1.154 % |
640.05/640.10 c | 1762370 | 7367 62373 207617 | 35852 32372 18 | 1.154 % |
640.26/640.25 c | 1762882 | 7367 62373 207617 | 35852 32884 18 | 1.154 % |
640.45/640.46 c | 1763394 | 7367 62373 207617 | 35852 33396 18 | 1.154 % |
640.85/640.84 c | 1764419 | 7367 62373 207617 | 35852 34421 18 | 1.154 % |
641.05/641.03 c | 1764931 | 7367 62373 207617 | 35852 34933 18 | 1.154 % |
641.15/641.19 c | 1765444 | 7367 62373 207617 | 35852 35446 18 | 1.154 % |
641.55/641.59 c | 1766470 | 7367 62373 207617 | 35852 31215 18 | 1.154 % |
642.25/642.22 c | 1768519 | 7367 62373 207617 | 35852 33264 18 | 1.154 % |
642.35/642.40 c | 1769031 | 7367 62373 207617 | 35852 33776 18 | 1.154 % |
642.55/642.55 c | 1769543 | 7367 62373 207617 | 35852 34288 18 | 1.154 % |
642.95/642.97 c | 1770567 | 7367 62373 207617 | 34745 30147 18 | 1.154 % |
643.15/643.15 c | 1771079 | 7367 62373 207617 | 34745 30659 18 | 1.154 % |
643.25/643.30 c | 1771592 | 7367 62373 207617 | 34745 31172 18 | 1.154 % |
643.65/643.64 c | 1772616 | 7367 62373 207617 | 34745 32196 18 | 1.154 % |
644.45/644.48 c | 1774664 | 7363 62361 207593 | 34745 34226 18 | 1.208 % |
645.95/646.01 c | 1778761 | 7363 62361 207593 | 34745 32893 18 | 1.208 % |
648.95/648.92 c | 1786953 | 7363 62361 207593 | 34133 31435 18 | 1.208 % |
655.45/655.42 c | 1803339 | 7363 62361 207593 | 28445 26014 19 | 1.208 % |
655.55/655.54 c | 1803852 | 7363 62361 207593 | 28445 26527 19 | 1.208 % |
655.66/655.65 c | 1804365 | 7363 62361 207593 | 28445 27040 19 | 1.208 % |
655.85/655.90 c | 1805389 | 7363 62361 207593 | 28445 28064 19 | 1.208 % |
656.05/656.03 c | 1805902 | 7363 62361 207593 | 28445 28577 19 | 1.208 % |
656.15/656.19 c | 1806415 | 7363 62361 207593 | 28445 26233 18 | 1.208 % |
656.45/656.44 c | 1807439 | 7363 62361 207593 | 28445 27257 18 | 1.208 % |
656.95/656.95 c | 1809487 | 7363 62361 207593 | 28445 26413 18 | 1.208 % |
657.05/657.05 c | 1810000 | 7363 62361 207593 | 28445 26926 18 | 1.208 % |
657.15/657.18 c | 1810513 | 7363 62361 207593 | 2147483647 27439 18 | 1.208 % |
657.35/657.37 c | 1811539 | 7363 62361 207593 | 2147483647 28465 18 | 1.208 % |
657.55/657.53 c | 1812051 | 7363 62361 207593 | 2147483647 28977 18 | 1.208 % |
657.65/657.64 c | 1812563 | 7363 62361 207593 | 2147483647 29489 19 | 1.208 % |
657.95/657.93 c | 1813588 | 7363 62361 207593 | 2147483647 30514 19 | 1.208 % |
658.45/658.49 c | 1815638 | 7363 62361 207593 | 2147483647 32564 19 | 1.208 % |
659.85/659.84 c | 1819734 | 7363 62361 207593 | 2147483647 36660 19 | 1.208 % |
659.95/659.99 c | 1820246 | 7363 62361 207593 | 36926 37172 19 | 1.208 % |
660.15/660.18 c | 1820758 | 7363 62361 207593 | 36926 33886 18 | 1.208 % |
660.55/660.57 c | 1821782 | 7363 62361 207593 | 36926 34910 18 | 1.208 % |
660.75/660.76 c | 1822295 | 7363 62361 207593 | 36926 35423 18 | 1.208 % |
660.85/660.88 c | 1822807 | 7363 62361 207593 | 36926 35935 18 | 1.208 % |
661.25/661.26 c | 1823834 | 7363 62361 207593 | 36926 36962 18 | 1.208 % |
661.95/661.98 c | 1825883 | 7363 62361 207593 | 36926 34559 18 | 1.208 % |
662.15/662.18 c | 1826395 | 7363 62361 207593 | 36926 35071 18 | 1.208 % |
662.45/662.41 c | 1826907 | 7363 62361 207593 | 36926 35583 18 | 1.208 % |
662.75/662.75 c | 1827933 | 7363 62361 207593 | 36926 36609 18 | 1.208 % |
662.95/662.92 c | 1828446 | 7363 62361 207593 | 36926 37122 18 | 1.208 % |
663.15/663.13 c | 1828959 | 7363 62361 207593 | 36926 32839 18 | 1.208 % |
663.55/663.55 c | 1829984 | 7363 62361 207593 | 36926 33864 18 | 1.208 % |
664.25/664.24 c | 1832033 | 7363 62361 207593 | 33881 31267 18 | 1.208 % |
665.46/665.45 c | 1836133 | 7363 62361 207593 | 33881 31266 18 | 1.208 % |
667.56/667.60 c | 1844325 | 7363 62361 207593 | 31411 29143 19 | 1.208 % |
667.76/667.76 c | 1844837 | 7363 62361 207593 | 31411 29655 19 | 1.208 % |
667.86/667.88 c | 1845350 | 7363 62361 207593 | 31411 30168 19 | 1.208 % |
668.16/668.18 c | 1846374 | 7363 62361 207593 | 31411 31192 19 | 1.208 % |
668.36/668.33 c | 1846887 | 7363 62361 207593 | 31411 31705 19 | 1.208 % |
668.46/668.50 c | 1847401 | 7363 62361 207593 | 31411 28841 19 | 1.208 % |
668.76/668.79 c | 1848425 | 7363 62361 207593 | 31411 29865 19 | 1.208 % |
669.36/669.39 c | 1850473 | 7363 62361 207593 | 31441 28553 19 | 1.208 % |
669.56/669.52 c | 1850986 | 7363 62361 207593 | 31441 29066 19 | 1.208 % |
669.66/669.66 c | 1851498 | 7363 62361 207593 | 31441 29578 19 | 1.208 % |
669.96/669.95 c | 1852522 | 7363 62361 207593 | 31441 30602 19 | 1.208 % |
670.16/670.13 c | 1853034 | 7363 62361 207593 | 31441 31114 19 | 1.208 % |
670.26/670.29 c | 1853547 | 7363 62361 207593 | 31441 31627 19 | 1.208 % |
670.56/670.57 c | 1854571 | 7363 62361 207593 | 31441 28759 19 | 1.208 % |
671.16/671.13 c | 1856619 | 7363 62361 207593 | 31441 30807 19 | 1.208 % |
672.26/672.30 c | 1860716 | 7363 62361 207593 | 30576 31290 18 | 1.208 % |
672.46/672.46 c | 1861229 | 7363 62361 207593 | 30576 28226 18 | 1.208 % |
672.66/672.62 c | 1861742 | 7363 62361 207593 | 30576 28739 18 | 1.208 % |
672.96/672.95 c | 1862769 | 7363 62361 207593 | 30576 29766 18 | 1.208 % |
673.06/673.10 c | 1863282 | 7363 62361 207593 | 30576 30279 18 | 1.208 % |
673.26/673.27 c | 1863795 | 7363 62361 207593 | 30576 30792 18 | 1.208 % |
673.56/673.59 c | 1864821 | 7363 62361 207593 | 30576 28508 17 | 1.208 % |
674.16/674.17 c | 1866871 | 7363 62361 207593 | 30576 30558 18 | 1.208 % |
674.36/674.36 c | 1867383 | 7363 62361 207593 | 30576 27751 17 | 1.208 % |
674.56/674.54 c | 1867896 | 7363 62361 207593 | 30576 28264 17 | 1.208 % |
674.86/674.85 c | 1868920 | 7363 62361 207593 | 30576 29288 18 | 1.208 % |
675.06/675.03 c | 1869433 | 7363 62361 207593 | 30576 29801 18 | 1.208 % |
675.16/675.19 c | 1869946 | 7363 62361 207593 | 30576 30314 18 | 1.208 % |
675.56/675.61 c | 1870970 | 7363 62361 207593 | 30369 28059 17 | 1.208 % |
676.36/676.35 c | 1873019 | 7363 62361 207593 | 30369 30108 18 | 1.208 % |
677.56/677.53 c | 1877115 | 7363 62361 207593 | 30369 27509 17 | 1.208 % |
680.36/680.34 c | 1885308 | 7363 62361 207593 | 30395 28788 18 | 1.208 % |
686.46/686.50 c | 1901693 | 7363 62361 207593 | 29330 27771 18 | 1.208 % |
696.46/696.42 c | 1934461 | 7363 62361 207593 | 32521 32149 18 | 1.208 % |
696.56/696.57 c | 1934974 | 7363 62361 207593 | 32521 32662 19 | 1.208 % |
696.76/696.74 c | 1935487 | 7363 62361 207593 | 32521 28424 18 | 1.208 % |
697.06/697.03 c | 1936511 | 7363 62361 207593 | 32521 29448 18 | 1.208 % |
697.16/697.20 c | 1937025 | 7363 62361 207593 | 32521 29962 18 | 1.208 % |
697.36/697.36 c | 1937538 | 7363 62361 207593 | 32521 30475 18 | 1.208 % |
697.66/697.64 c | 1938563 | 7363 62361 207593 | 32521 31500 18 | 1.208 % |
698.26/698.29 c | 1940612 | 7363 62361 207593 | 32938 28794 18 | 1.208 % |
698.46/698.42 c | 1941126 | 7363 62361 207593 | 32938 29308 18 | 1.208 % |
698.56/698.57 c | 1941638 | 7363 62361 207593 | 32938 29820 18 | 1.208 % |
698.86/698.90 c | 1942663 | 7363 62361 207593 | 32938 30845 18 | 1.208 % |
699.06/699.04 c | 1943176 | 7363 62361 207593 | 32938 31358 18 | 1.208 % |
699.16/699.21 c | 1943689 | 7363 62361 207593 | 32938 31871 18 | 1.208 % |
699.46/699.50 c | 1944714 | 7363 62361 207593 | 32938 32896 18 | 1.208 % |
700.16/700.14 c | 1946762 | 7363 62361 207593 | 32938 30561 18 | 1.208 % |
701.46/701.48 c | 1950858 | 7363 62361 207593 | 29724 27002 17 | 1.208 % |
701.66/701.63 c | 1951371 | 7363 62361 207593 | 29724 27515 17 | 1.208 % |
701.76/701.77 c | 1951883 | 7363 62361 207593 | 29724 28027 17 | 1.208 % |
702.06/702.07 c | 1952907 | 7363 62361 207593 | 29724 29051 18 | 1.208 % |
702.16/702.21 c | 1953421 | 7363 62361 207593 | 29724 29565 18 | 1.208 % |
702.36/702.36 c | 1953934 | 7363 62361 207593 | 29724 30078 18 | 1.208 % |
702.66/702.64 c | 1954958 | 7363 62361 207593 | 29724 27923 18 | 1.208 % |
703.16/703.17 c | 1957008 | 7363 62361 207593 | 29724 29973 18 | 1.208 % |
703.36/703.35 c | 1957520 | 7363 62361 207593 | 29724 27488 17 | 1.208 % |
703.46/703.43 c | 1958033 | 7363 62361 207593 | 29724 28001 17 | 1.208 % |
703.66/703.67 c | 1959057 | 7363 62361 207593 | 29724 29025 17 | 1.208 % |
703.86/703.82 c | 1959572 | 7363 62361 207593 | 29724 29540 17 | 1.208 % |
703.96/703.98 c | 1960084 | 7363 62361 207593 | 2147483647 27056 17 | 1.208 % |
704.26/704.26 c | 1961110 | 7362 62268 207315 | 2147483647 28080 17 | 1.221 % |
704.86/704.90 c | 1963158 | 7362 62268 207315 | 2147483647 30128 17 | 1.221 % |
706.26/706.28 c | 1967254 | 7362 62268 207315 | 2147483647 34224 17 | 1.221 % |
709.26/709.28 c | 1975448 | 7362 62268 207315 | 36970 32699 17 | 1.221 % |
709.46/709.47 c | 1975960 | 7362 62268 207315 | 36970 33211 17 | 1.221 % |
709.66/709.62 c | 1976472 | 7362 62268 207315 | 36970 33723 17 | 1.221 % |
710.06/710.03 c | 1977497 | 7362 62268 207315 | 36970 34748 17 | 1.221 % |
710.26/710.21 c | 1978009 | 7362 62268 207315 | 36970 35260 17 | 1.221 % |
710.36/710.40 c | 1978523 | 7362 62268 207315 | 36970 35774 17 | 1.221 % |
710.96/710.92 c | 1979548 | 7362 62268 207315 | 36970 36799 18 | 1.221 % |
711.66/711.67 c | 1981597 | 7362 62268 207315 | 31683 28415 17 | 1.221 % |
711.86/711.83 c | 1982110 | 7362 62268 207315 | 31683 28928 17 | 1.221 % |
711.96/711.92 c | 1982623 | 7362 62268 207315 | 31683 29441 17 | 1.221 % |
712.16/712.19 c | 1983648 | 7362 62268 207315 | 31683 30466 17 | 1.221 % |
712.36/712.33 c | 1984162 | 7362 62268 207315 | 31683 30980 17 | 1.221 % |
712.56/712.52 c | 1984674 | 7362 62268 207315 | 31683 31492 17 | 1.221 % |
712.86/712.84 c | 1985698 | 7362 62268 207315 | 31683 28205 17 | 1.221 % |
713.36/713.41 c | 1987748 | 7362 62268 207315 | 31683 30255 17 | 1.221 % |
714.56/714.53 c | 1991844 | 7362 62268 207315 | 28502 27041 17 | 1.221 % |
714.66/714.67 c | 1992357 | 7362 62268 207315 | 28502 27554 17 | 1.221 % |
714.86/714.83 c | 1992869 | 7362 62268 207315 | 28502 28066 17 | 1.221 % |
715.16/715.19 c | 1993893 | 7362 62268 207315 | 28502 26033 17 | 1.221 % |
715.36/715.33 c | 1994405 | 7362 62268 207315 | 28502 26545 17 | 1.221 % |
715.46/715.48 c | 1994917 | 7362 62268 207315 | 28502 27057 17 | 1.221 % |
715.76/715.73 c | 1995942 | 7362 62268 207315 | 28502 28082 17 | 1.221 % |
716.16/716.19 c | 1997991 | 7362 62268 207315 | 28502 27217 17 | 1.221 % |
716.36/716.35 c | 1998503 | 7362 62268 207315 | 28502 27729 18 | 1.221 % |
716.56/716.52 c | 1999015 | 7362 62268 207315 | 28502 28241 18 | 1.221 % |
716.86/716.86 c | 2000039 | 7362 62268 207315 | 26216 26255 17 | 1.221 % |
717.06/717.06 c | 2000552 | 7362 62268 207315 | 26216 23811 17 | 1.221 % |
717.16/717.20 c | 2001064 | 7362 62268 207315 | 26216 24323 17 | 1.221 % |
717.56/717.56 c | 2002089 | 7362 62268 207315 | 26216 25348 17 | 1.221 % |
718.06/718.11 c | 2004138 | 7362 62268 207315 | 26216 24746 17 | 1.221 % |
719.06/719.09 c | 2008234 | 7362 62268 207315 | 26216 26188 18 | 1.221 % |
721.26/721.24 c | 2016426 | 7362 62268 207315 | 2147483647 31723 18 | 1.221 % |
727.06/727.03 c | 2032810 | 7362 62268 207315 | 30877 29119 17 | 1.221 % |
727.16/727.13 c | 2033323 | 7362 62268 207315 | 30877 29632 17 | 1.221 % |
727.36/727.32 c | 2033836 | 7362 62268 207315 | 30877 30145 17 | 1.221 % |
727.66/727.63 c | 2034862 | 7362 62268 207315 | 30877 31171 17 | 1.221 % |
727.76/727.78 c | 2035375 | 7362 62268 207315 | 30877 27274 17 | 1.221 % |
727.96/727.92 c | 2035888 | 7362 62268 207315 | 30877 27787 17 | 1.221 % |
728.16/728.17 c | 2036913 | 7362 62268 207315 | 30877 28812 17 | 1.221 % |
728.66/728.70 c | 2038962 | 7362 62268 207315 | 30877 30861 18 | 1.221 % |
728.86/728.89 c | 2039477 | 7362 62268 207315 | 30877 27700 17 | 1.221 % |
728.96/729.01 c | 2039989 | 7362 62268 207315 | 30877 28212 17 | 1.221 % |
729.26/729.30 c | 2041014 | 7362 62268 207315 | 28223 25790 17 | 1.221 % |
729.46/729.49 c | 2041527 | 7362 62268 207315 | 28223 26303 17 | 1.221 % |
729.56/729.60 c | 2042039 | 7362 62268 207315 | 28223 26815 17 | 1.221 % |
729.86/729.88 c | 2043064 | 7362 62268 207315 | 28223 27840 17 | 1.221 % |
730.66/730.61 c | 2045112 | 7362 62268 207315 | 28223 26503 17 | 1.221 % |
731.76/731.73 c | 2049210 | 7362 62268 207315 | 28223 27733 17 | 1.221 % |
731.86/731.88 c | 2049722 | 7362 62268 207315 | 28223 28245 17 | 1.221 % |
732.06/732.02 c | 2050237 | 7362 62268 207315 | 2147483647 28760 17 | 1.221 % |
732.36/732.34 c | 2051262 | 7362 62268 207315 | 2147483647 29785 18 | 1.221 % |
732.46/732.51 c | 2051775 | 7362 62268 207315 | 2147483647 30298 18 | 1.221 % |
732.66/732.65 c | 2052287 | 7362 62268 207315 | 2147483647 30810 18 | 1.221 % |
733.06/733.01 c | 2053311 | 7362 62268 207315 | 2147483647 31834 18 | 1.221 % |
733.66/733.67 c | 2055359 | 7362 62268 207315 | 2147483647 33882 18 | 1.221 % |
733.86/733.86 c | 2055871 | 7362 62268 207315 | 2147483647 34394 18 | 1.221 % |
734.16/734.11 c | 2056385 | 7362 62268 207315 | 2147483647 34908 18 | 1.221 % |
734.46/734.50 c | 2057413 | 7362 62268 207315 | 2147483647 35936 18 | 1.221 % |
734.66/734.67 c | 2057926 | 7362 62268 207315 | 2147483647 36449 18 | 1.221 % |
734.76/734.80 c | 2058438 | 7362 62268 207315 | 2147483647 36961 18 | 1.221 % |
735.26/735.24 c | 2059463 | 7362 62268 207315 | 2147483647 37986 18 | 1.221 % |
735.86/735.86 c | 2061512 | 7362 62268 207315 | 38526 35042 18 | 1.221 % |
737.46/737.44 c | 2065608 | 7362 62268 207315 | 38526 33508 18 | 1.221 % |
740.26/740.23 c | 2073800 | 7362 62268 207315 | 37900 36036 18 | 1.221 % |
740.46/740.42 c | 2074312 | 7362 62268 207315 | 37900 36548 18 | 1.221 % |
740.56/740.58 c | 2074825 | 7362 62268 207315 | 37900 37061 18 | 1.221 % |
741.06/741.07 c | 2075849 | 7362 62268 207315 | 37900 38085 18 | 1.221 % |
741.26/741.29 c | 2076361 | 7362 62268 207315 | 37900 32357 17 | 1.221 % |
741.47/741.49 c | 2076874 | 7362 62268 207315 | 37900 32870 17 | 1.221 % |
741.96/741.94 c | 2077900 | 7362 62268 207315 | 37900 33896 17 | 1.221 % |
742.76/742.80 c | 2079951 | 7362 62268 207315 | 37900 35947 18 | 1.221 % |
742.96/743.00 c | 2080464 | 7362 62268 207315 | 35996 36460 18 | 1.221 % |
743.16/743.16 c | 2080977 | 7362 62268 207315 | 35996 31262 17 | 1.221 % |
743.46/743.43 c | 2082002 | 7362 62268 207315 | 35996 32287 17 | 1.221 % |
743.56/743.61 c | 2082514 | 7362 62268 207315 | 35996 32799 18 | 1.221 % |
743.76/743.78 c | 2083027 | 7362 62268 207315 | 35996 33312 18 | 1.221 % |
744.26/744.22 c | 2084052 | 7362 62268 207315 | 35996 34337 18 | 1.221 % |
744.86/744.89 c | 2086104 | 7362 62268 207315 | 35996 36389 18 | 1.221 % |
746.36/746.39 c | 2090200 | 7362 62268 207315 | 34835 35035 18 | 1.221 % |
746.56/746.56 c | 2090712 | 7362 62268 207315 | 34835 30348 17 | 1.221 % |
746.66/746.67 c | 2091224 | 7362 62268 207315 | 34835 30860 17 | 1.221 % |
746.97/746.94 c | 2092250 | 7362 62268 207315 | 34835 31886 18 | 1.221 % |
747.16/747.14 c | 2092762 | 7362 62268 207315 | 34835 32398 18 | 1.221 % |
747.26/747.30 c | 2093275 | 7362 62268 207315 | 34835 32911 18 | 1.221 % |
747.56/747.61 c | 2094299 | 7362 62268 207315 | 34835 33935 18 | 1.221 % |
748.36/748.31 c | 2096347 | 7362 62268 207315 | 34835 31506 18 | 1.221 % |
748.46/748.44 c | 2096860 | 7362 62268 207315 | 34835 32019 18 | 1.221 % |
748.66/748.66 c | 2097372 | 7362 62268 207315 | 34835 32531 18 | 1.221 % |
748.96/749.00 c | 2098396 | 7362 62268 207315 | 34835 33555 18 | 1.221 % |
749.17/749.17 c | 2098908 | 7362 62268 207315 | 34835 34067 18 | 1.221 % |
749.36/749.32 c | 2099421 | 7362 62268 207315 | 34835 34580 18 | 1.221 % |
749.66/749.70 c | 2100447 | 7362 62268 207315 | 35160 31074 18 | 1.221 % |
750.36/750.31 c | 2102496 | 7362 62268 207315 | 35160 33123 18 | 1.221 % |
751.66/751.67 c | 2106593 | 7362 62268 207315 | 35160 32678 18 | 1.221 % |
754.56/754.57 c | 2114785 | 7360 62258 207292 | 31649 29308 18 | 1.248 % |
759.96/759.91 c | 2131169 | 7360 62258 207292 | 2147483647 32598 18 | 1.248 % |
770.95/770.93 c | 2163937 | 7359 62165 207014 | 37468 35419 20 | 1.275 % |
794.27/794.29 c | 2229477 | 7357 62159 207002 | 29245 28436 18 | 1.288 % |
840.27/840.31 c | 2360550 | 7355 62153 206990 | 28940 26282 17 | 1.315 % |
924.67/924.65 c | 2622694 | 7354 62063 206721 | 38629 35246 19 | 1.328 % |
924.77/924.79 c | 2623206 | 7354 62063 206721 | 38629 35758 19 | 1.328 % |
924.97/924.95 c | 2623718 | 7354 62063 206721 | 38629 36270 19 | 1.328 % |
925.27/925.25 c | 2624742 | 7354 62063 206721 | 38629 37294 19 | 1.328 % |
925.37/925.38 c | 2625254 | 7354 62063 206721 | 38629 37806 19 | 1.328 % |
925.57/925.55 c | 2625767 | 7354 62063 206721 | 38629 38319 19 | 1.328 % |
925.87/925.84 c | 2626792 | 7354 62063 206721 | 38629 39344 19 | 1.328 % |
926.48/926.46 c | 2628841 | 7354 62063 206721 | 38629 35308 18 | 1.328 % |
926.58/926.58 c | 2629353 | 7354 62063 206721 | 38629 35820 18 | 1.328 % |
926.78/926.74 c | 2629865 | 7354 62063 206721 | 38629 36332 18 | 1.328 % |
927.08/927.06 c | 2630889 | 7354 62063 206721 | 36467 32098 18 | 1.328 % |
927.18/927.20 c | 2631401 | 7354 62063 206721 | 36467 32610 18 | 1.328 % |
927.38/927.37 c | 2631913 | 7354 62063 206721 | 36467 33122 18 | 1.328 % |
927.68/927.65 c | 2632938 | 7354 62063 206721 | 36467 34147 18 | 1.328 % |
928.38/928.36 c | 2634986 | 7354 62063 206721 | 36467 36195 19 | 1.328 % |
929.78/929.78 c | 2639083 | 7354 62063 206721 | 36467 35233 18 | 1.328 % |
929.98/929.95 c | 2639595 | 7354 62063 206721 | 36467 35745 18 | 1.328 % |
930.08/930.10 c | 2640107 | 7354 62063 206721 | 36150 36257 18 | 1.328 % |
930.48/930.49 c | 2641131 | 7354 62063 206721 | 36150 32030 18 | 1.328 % |
930.58/930.59 c | 2641643 | 7354 62063 206721 | 36150 32542 18 | 1.328 % |
930.68/930.69 c | 2642157 | 7354 62063 206721 | 36150 33056 18 | 1.328 % |
930.98/930.98 c | 2643181 | 7354 62063 206721 | 36150 34080 18 | 1.328 % |
931.58/931.62 c | 2645229 | 7349 61961 206428 | 36150 36107 18 | 1.395 % |
931.78/931.79 c | 2645741 | 7349 61961 206428 | 36150 31858 18 | 1.396 % |
931.98/931.93 c | 2646253 | 7349 61961 206428 | 36150 32370 18 | 1.396 % |
932.28/932.23 c | 2647280 | 7349 61961 206428 | 36150 33397 18 | 1.396 % |
932.38/932.38 c | 2647794 | 7349 61961 206428 | 36150 33911 18 | 1.396 % |
932.58/932.54 c | 2648308 | 7349 61961 206428 | 36150 34425 18 | 1.396 % |
932.88/932.85 c | 2649332 | 7349 61961 206428 | 36150 35449 18 | 1.396 % |
933.58/933.53 c | 2651380 | 7349 61961 206428 | 36118 32523 18 | 1.396 % |
934.98/935.01 c | 2655476 | 7349 61961 206428 | 36118 31665 18 | 1.396 % |
937.68/937.68 c | 2663668 | 7348 61958 206422 | 36190 34797 18 | 1.409 % |
937.88/937.84 c | 2664180 | 7348 61958 206422 | 36190 35309 18 | 1.409 % |
938.08/938.02 c | 2664695 | 7348 61958 206422 | 36190 35824 18 | 1.409 % |
938.48/938.42 c | 2665723 | 7348 61958 206422 | 36190 31268 18 | 1.409 % |
938.58/938.60 c | 2666239 | 7348 61958 206422 | 36190 31784 18 | 1.409 % |
938.78/938.76 c | 2666751 | 7348 61958 206422 | 36190 32296 18 | 1.409 % |
939.08/939.09 c | 2667775 | 7348 61958 206422 | 36190 33320 18 | 1.409 % |
939.88/939.89 c | 2669824 | 7348 61958 206422 | 36190 35369 18 | 1.409 % |
940.08/940.11 c | 2670337 | 7348 61958 206422 | 35545 30583 17 | 1.409 % |
940.28/940.27 c | 2670852 | 7348 61958 206422 | 35545 31098 17 | 1.409 % |
940.58/940.57 c | 2671878 | 7348 61958 206422 | 35545 32124 18 | 1.409 % |
940.78/940.74 c | 2672391 | 7348 61958 206422 | 35545 32637 18 | 1.409 % |
940.88/940.91 c | 2672903 | 7348 61958 206422 | 35545 33149 18 | 1.409 % |
941.38/941.32 c | 2673927 | 7348 61958 206422 | 35545 34173 18 | 1.409 % |
942.08/942.11 c | 2675975 | 7348 61958 206422 | 35545 31154 17 | 1.409 % |
943.38/943.39 c | 2680071 | 7348 61958 206422 | 35179 35250 17 | 1.409 % |
943.58/943.60 c | 2680583 | 7348 61958 206422 | 35179 30786 17 | 1.409 % |
943.78/943.76 c | 2681095 | 7348 61958 206422 | 35179 31298 17 | 1.409 % |
944.18/944.16 c | 2682119 | 7348 61958 206422 | 35179 32322 17 | 1.409 % |
944.28/944.30 c | 2682631 | 7348 61958 206422 | 35179 32834 17 | 1.409 % |
944.58/944.53 c | 2683145 | 7348 61958 206422 | 35179 33348 17 | 1.409 % |
944.78/944.81 c | 2684169 | 7348 61958 206422 | 35179 34372 17 | 1.409 % |
945.58/945.58 c | 2686218 | 7348 61958 206422 | 35179 31234 17 | 1.409 % |
945.78/945.78 c | 2686730 | 7348 61958 206422 | 35179 31746 17 | 1.409 % |
945.98/945.97 c | 2687246 | 7348 61958 206422 | 35179 32262 17 | 1.409 % |
946.38/946.39 c | 2688270 | 7348 61958 206422 | 35179 33286 17 | 1.409 % |
946.48/946.51 c | 2688782 | 7348 61958 206422 | 35179 33798 17 | 1.409 % |
946.68/946.68 c | 2689296 | 7348 61958 206422 | 35179 34312 17 | 1.409 % |
947.08/947.05 c | 2690321 | 7348 61958 206422 | 35016 35337 18 | 1.409 % |
947.78/947.77 c | 2692369 | 7348 61958 206422 | 35016 32018 17 | 1.409 % |
949.18/949.16 c | 2696465 | 7348 61958 206422 | 35016 31229 17 | 1.409 % |
952.08/952.10 c | 2704659 | 7346 61952 206410 | 34758 34460 17 | 1.436 % |
957.48/957.51 c | 2721043 | 7346 61952 206410 | 29954 26498 18 | 1.436 % |
957.68/957.64 c | 2721556 | 7346 61952 206410 | 29954 27011 18 | 1.436 % |
957.78/957.81 c | 2722068 | 7346 61952 206410 | 29954 27523 18 | 1.436 % |
958.08/958.11 c | 2723092 | 7346 61952 206410 | 29954 28547 18 | 1.436 % |
958.28/958.27 c | 2723604 | 7346 61952 206410 | 29954 29059 18 | 1.436 % |
958.48/958.43 c | 2724116 | 7346 61952 206410 | 29954 29571 18 | 1.436 % |
958.78/958.74 c | 2725140 | 7346 61952 206410 | 29954 26505 18 | 1.436 % |
959.28/959.26 c | 2727189 | 7346 61952 206410 | 29954 28554 18 | 1.436 % |
959.48/959.43 c | 2727702 | 7346 61952 206410 | 29954 29067 18 | 1.436 % |
959.58/959.60 c | 2728215 | 7346 61952 206410 | 29954 29580 18 | 1.436 % |
959.98/959.93 c | 2729239 | 7346 61952 206410 | 29954 26944 17 | 1.436 % |
960.08/960.11 c | 2729754 | 7346 61952 206410 | 29954 27459 17 | 1.436 % |
960.28/960.25 c | 2730266 | 7346 61952 206410 | 27705 27971 17 | 1.436 % |
960.58/960.55 c | 2731290 | 7346 61952 206410 | 27705 25695 17 | 1.436 % |
961.28/961.22 c | 2733339 | 7346 61952 206410 | 27705 27744 17 | 1.436 % |
962.68/962.66 c | 2737437 | 7346 61952 206410 | 27705 25329 16 | 1.436 % |
962.88/962.83 c | 2737950 | 7346 61952 206410 | 27705 25842 16 | 1.436 % |
963.08/963.02 c | 2738463 | 7346 61952 206410 | 27705 26355 17 | 1.436 % |
963.28/963.31 c | 2739488 | 7346 61952 206410 | 27705 27380 17 | 1.436 % |
963.48/963.44 c | 2740001 | 7346 61952 206410 | 27705 27893 17 | 1.436 % |
963.58/963.55 c | 2740514 | 7346 61952 206410 | 27893 25583 16 | 1.436 % |
963.78/963.76 c | 2741539 | 7346 61952 206410 | 27893 26608 17 | 1.436 % |
964.38/964.33 c | 2743588 | 7346 61952 206410 | 27893 25830 17 | 1.436 % |
964.48/964.50 c | 2744100 | 7346 61952 206410 | 27893 26342 17 | 1.436 % |
964.68/964.66 c | 2744614 | 7346 61952 206410 | 27893 26856 17 | 1.436 % |
964.98/964.97 c | 2745640 | 7346 61952 206410 | 27893 27882 17 | 1.436 % |
965.18/965.13 c | 2746152 | 7346 61952 206410 | 27893 25557 16 | 1.436 % |
965.28/965.28 c | 2746666 | 7346 61952 206410 | 27893 26071 17 | 1.436 % |
965.48/965.50 c | 2747690 | 7346 61952 206410 | 27893 27095 17 | 1.436 % |
966.08/966.10 c | 2749740 | 7346 61952 206410 | 27893 26308 17 | 1.436 % |
967.28/967.27 c | 2753836 | 7346 61952 206410 | 2147483647 30404 18 | 1.436 % |
969.98/969.96 c | 2762028 | 7346 61952 206410 | 36568 34717 18 | 1.436 % |
970.18/970.17 c | 2762542 | 7346 61952 206410 | 36568 35231 18 | 1.436 % |
970.38/970.35 c | 2763054 | 7346 61952 206410 | 36568 35743 18 | 1.436 % |
970.68/970.66 c | 2764082 | 7346 61952 206410 | 36568 36771 18 | 1.436 % |
970.88/970.89 c | 2764594 | 7346 61952 206410 | 36568 32593 18 | 1.436 % |
971.08/971.04 c | 2765107 | 7346 61952 206410 | 36568 33106 18 | 1.436 % |
971.38/971.37 c | 2766131 | 7346 61952 206410 | 36568 34130 19 | 1.436 % |
972.18/972.20 c | 2768180 | 7346 61952 206410 | 36568 36179 19 | 1.436 % |
972.48/972.43 c | 2768692 | 7346 61952 206410 | 36568 36691 19 | 1.436 % |
972.68/972.66 c | 2769206 | 7346 61952 206410 | 36568 31737 18 | 1.436 % |
973.08/973.08 c | 2770230 | 7346 61952 206410 | 32533 32761 18 | 1.436 % |
973.28/973.25 c | 2770742 | 7346 61952 206410 | 32533 28400 17 | 1.436 % |
973.38/973.38 c | 2771254 | 7346 61952 206410 | 32533 28912 18 | 1.436 % |
973.68/973.63 c | 2772278 | 7346 61952 206410 | 32533 29936 18 | 1.436 % |
974.38/974.31 c | 2774326 | 7346 61952 206410 | 32533 31984 18 | 1.436 % |
975.58/975.58 c | 2778422 | 7346 61952 206410 | 32533 31827 18 | 1.436 % |
975.78/975.73 c | 2778934 | 7346 61952 206410 | 32533 32339 18 | 1.436 % |
975.88/975.87 c | 2779446 | 7346 61952 206410 | 32533 32851 18 | 1.436 % |
976.08/976.10 c | 2780471 | 7346 61952 206410 | 29185 29656 18 | 1.436 % |
976.28/976.24 c | 2780984 | 7346 61952 206410 | 29185 26729 17 | 1.436 % |
976.38/976.38 c | 2781498 | 7346 61952 206410 | 29185 27243 17 | 1.436 % |
976.68/976.71 c | 2782522 | 7346 61952 206410 | 29185 28267 18 | 1.436 % |
977.38/977.37 c | 2784570 | 7346 61952 206410 | 29185 27199 17 | 1.436 % |
977.58/977.53 c | 2785082 | 7346 61952 206410 | 29185 27711 18 | 1.436 % |
977.68/977.67 c | 2785594 | 7346 61952 206410 | 29185 28223 18 | 1.436 % |
977.98/977.99 c | 2786618 | 7346 61952 206410 | 29185 29247 18 | 1.436 % |
978.18/978.15 c | 2787130 | 7346 61952 206410 | 29185 26598 18 | 1.436 % |
978.28/978.30 c | 2787644 | 7346 61952 206410 | 29185 27112 18 | 1.436 % |
978.58/978.61 c | 2788670 | 7346 61952 206410 | 29185 28138 18 | 1.436 % |
979.18/979.16 c | 2790722 | 7346 61952 206410 | 29469 27160 17 | 1.436 % |
980.48/980.48 c | 2794818 | 7346 61952 206410 | 29469 28111 17 | 1.436 % |
982.98/982.98 c | 2803011 | 7346 61952 206410 | 27144 27298 17 | 1.436 % |
988.38/988.37 c | 2819395 | 7345 61936 206377 | 25801 24685 18 | 1.449 % |
999.58/999.53 c | 2852164 | 7345 61936 206377 | 29034 27678 16 | 1.449 % |
999.68/999.67 c | 2852677 | 7345 61936 206377 | 29034 28191 16 | 1.449 % |
999.78/999.75 c | 2853190 | 7345 61936 206377 | 29034 28704 16 | 1.449 % |
1000.08/1000.02 c | 2854215 | 7345 61936 206377 | 29034 26521 16 | 1.449 % |
1000.08/1000.10 c | 2854728 | 7345 61936 206377 | 29034 27034 16 | 1.449 % |
1000.18/1000.21 c | 2855241 | 7345 61936 206377 | 29034 27547 16 | 1.449 % |
1000.48/1000.43 c | 2856266 | 7345 61936 206377 | 29034 28572 16 | 1.449 % |
1000.88/1000.88 c | 2858316 | 7345 61936 206377 | 29034 27665 16 | 1.449 % |
1001.08/1001.04 c | 2858830 | 7345 61936 206377 | 29034 28179 16 | 1.449 % |
1001.18/1001.18 c | 2859342 | 7345 61936 206377 | 29034 28691 16 | 1.449 % |
1001.48/1001.44 c | 2860366 | 7345 61936 206377 | 2147483647 29715 16 | 1.449 % |
1001.58/1001.55 c | 2860878 | 7345 61936 206377 | 2147483647 30227 17 | 1.449 % |
1001.78/1001.72 c | 2861391 | 7345 61936 206377 | 2147483647 30740 17 | 1.449 % |
1001.98/1001.99 c | 2862416 | 7345 61936 206377 | 2147483647 31765 17 | 1.449 % |
1002.68/1002.70 c | 2864464 | 7345 61936 206377 | 2147483647 33813 17 | 1.449 % |
1003.98/1003.93 c | 2868560 | 7345 61936 206377 | 2147483647 37909 17 | 1.449 % |
1004.08/1004.09 c | 2869072 | 7345 61936 206377 | 2147483647 38421 18 | 1.449 % |
1004.28/1004.30 c | 2869584 | 7345 61936 206377 | 2147483647 38933 18 | 1.449 % |
1004.68/1004.63 c | 2870608 | 7345 61936 206377 | 39351 35384 18 | 1.449 % |
1004.78/1004.78 c | 2871120 | 7345 61936 206377 | 39351 35896 18 | 1.449 % |
1004.98/1004.91 c | 2871632 | 7345 61936 206377 | 39351 36408 18 | 1.449 % |
1005.28/1005.24 c | 2872656 | 7345 61936 206377 | 39351 37432 18 | 1.449 % |
1005.98/1005.97 c | 2874704 | 7345 61936 206377 | 39351 39480 18 | 1.449 % |
1006.28/1006.21 c | 2875218 | 7345 61936 206377 | 39351 34802 18 | 1.449 % |
1006.38/1006.35 c | 2875731 | 7345 61936 206377 | 39351 35315 18 | 1.449 % |
1006.68/1006.68 c | 2876756 | 7345 61936 206377 | 39351 36340 18 | 1.449 % |
1006.88/1006.83 c | 2877269 | 7345 61936 206377 | 39351 36853 18 | 1.449 % |
1007.08/1007.02 c | 2877781 | 7345 61936 206377 | 39351 37365 18 | 1.449 % |
1007.28/1007.28 c | 2878805 | 7345 61936 206377 | 39351 38389 18 | 1.449 % |
1008.18/1008.15 c | 2880854 | 7345 61936 206377 | 39584 34591 18 | 1.449 % |
1009.48/1009.42 c | 2884950 | 7345 61936 206377 | 39584 38687 19 | 1.449 % |
1012.58/1012.52 c | 2893142 | 7345 61936 206377 | 37300 34228 19 | 1.449 % |
1012.68/1012.66 c | 2893657 | 7345 61936 206377 | 37300 34743 19 | 1.449 % |
1012.88/1012.87 c | 2894169 | 7345 61936 206377 | 37300 35255 19 | 1.449 % |
1013.19/1013.18 c | 2895193 | 7345 61936 206377 | 37300 36279 19 | 1.449 % |
1013.38/1013.37 c | 2895705 | 7345 61936 206377 | 37300 36791 19 | 1.449 % |
1013.58/1013.54 c | 2896218 | 7345 61936 206377 | 37300 37304 19 | 1.449 % |
1013.88/1013.90 c | 2897242 | 7345 61936 206377 | 37300 32202 19 | 1.449 % |
1014.78/1014.76 c | 2899291 | 7345 61936 206377 | 37300 34251 19 | 1.449 % |
1014.98/1014.93 c | 2899804 | 7345 61936 206377 | 37300 34764 19 | 1.449 % |
1015.08/1015.11 c | 2900317 | 7345 61936 206377 | 34960 35277 19 | 1.449 % |
1015.48/1015.49 c | 2901342 | 7345 61936 206377 | 34960 30613 19 | 1.449 % |
1015.68/1015.66 c | 2901854 | 7345 61936 206377 | 34960 31125 19 | 1.449 % |
1015.78/1015.81 c | 2902366 | 7345 61936 206377 | 34960 31637 19 | 1.449 % |
1016.08/1016.06 c | 2903391 | 7345 61936 206377 | 34960 32662 19 | 1.449 % |
1016.88/1016.81 c | 2905439 | 7345 61936 206377 | 34960 34710 19 | 1.449 % |
1018.48/1018.48 c | 2909540 | 7345 61936 206377 | 34960 33364 18 | 1.449 % |
1018.69/1018.62 c | 2910053 | 7345 61936 206377 | 33824 33877 18 | 1.449 % |
1018.88/1018.83 c | 2910567 | 7345 61936 206377 | 33824 29120 17 | 1.449 % |
1019.08/1019.11 c | 2911592 | 7345 61936 206377 | 33824 30145 17 | 1.449 % |
1019.28/1019.23 c | 2912105 | 7345 61936 206377 | 33824 30658 18 | 1.449 % |
1019.38/1019.40 c | 2912618 | 7345 61936 206377 | 33824 31171 18 | 1.449 % |
1019.68/1019.72 c | 2913642 | 7345 61936 206377 | 33824 32195 18 | 1.449 % |
1020.38/1020.37 c | 2915691 | 7345 61936 206377 | 33824 29514 17 | 1.449 % |
1020.58/1020.56 c | 2916206 | 7345 61936 206377 | 33824 30029 17 | 1.449 % |
1020.68/1020.69 c | 2916719 | 7345 61936 206377 | 33824 30542 17 | 1.449 % |
1020.98/1021.00 c | 2917743 | 7345 61936 206377 | 33824 31566 17 | 1.449 % |
1021.18/1021.15 c | 2918260 | 7345 61936 206377 | 33824 32083 18 | 1.449 % |
1021.38/1021.31 c | 2918772 | 7345 61936 206377 | 33824 32595 18 | 1.449 % |
1021.68/1021.62 c | 2919796 | 7345 61936 206377 | 33824 33619 18 | 1.449 % |
1022.28/1022.25 c | 2921844 | 7345 61936 206377 | 33824 30969 17 | 1.449 % |
1023.48/1023.41 c | 2925940 | 7340 61834 206084 | 33824 30668 17 | 1.516 % |
1026.18/1026.18 c | 2934134 | 7340 61834 206084 | 30288 30730 18 | 1.516 % |
1031.38/1031.40 c | 2950518 | 7340 61834 206084 | 29937 27098 18 | 1.516 % |
1031.58/1031.53 c | 2951034 | 7340 61834 206084 | 29937 27614 18 | 1.516 % |
1031.68/1031.68 c | 2951547 | 7340 61834 206084 | 29937 28127 18 | 1.516 % |
1031.98/1031.92 c | 2952573 | 7340 61834 206084 | 29937 29153 18 | 1.516 % |
1032.08/1032.07 c | 2953085 | 7340 61834 206084 | 29937 29665 18 | 1.516 % |
1032.28/1032.26 c | 2953600 | 7340 61834 206084 | 29937 30180 18 | 1.516 % |
1032.58/1032.54 c | 2954625 | 7338 61828 206072 | 29937 27775 18 | 1.543 % |
1032.99/1032.99 c | 2956673 | 7338 61828 206072 | 29937 29823 18 | 1.543 % |
1033.08/1033.09 c | 2957185 | 7338 61828 206072 | 29937 30335 18 | 1.543 % |
1033.28/1033.25 c | 2957698 | 7338 61828 206072 | 29937 27761 17 | 1.543 % |
1033.48/1033.50 c | 2958722 | 7338 61828 206072 | 29937 28785 18 | 1.543 % |
1033.68/1033.62 c | 2959235 | 7338 61828 206072 | 29937 29298 18 | 1.543 % |
1033.78/1033.80 c | 2959748 | 7338 61828 206072 | 29937 29811 18 | 1.543 % |
1034.09/1034.07 c | 2960772 | 7338 61828 206072 | 2147483647 30835 18 | 1.543 % |
1034.88/1034.87 c | 2962820 | 7338 61828 206072 | 2147483647 32883 18 | 1.543 % |
1036.58/1036.57 c | 2966916 | 7338 61828 206072 | 2147483647 36979 18 | 1.543 % |
1036.78/1036.73 c | 2967428 | 7338 61828 206072 | 2147483647 37491 18 | 1.543 % |
1036.98/1036.93 c | 2967942 | 7338 61828 206072 | 2147483647 38005 18 | 1.543 % |
1037.39/1037.37 c | 2968967 | 7338 61828 206072 | 2147483647 39030 18 | 1.543 % |
1037.58/1037.57 c | 2969480 | 7338 61828 206072 | 2147483647 39543 18 | 1.543 % |
1037.78/1037.77 c | 2969993 | 7338 61828 206072 | 2147483647 40056 18 | 1.543 % |
1038.28/1038.24 c | 2971017 | 7338 61828 206072 | 40063 35263 18 | 1.543 % |
1038.98/1038.97 c | 2973065 | 7338 61828 206072 | 40063 37311 18 | 1.543 % |
1039.18/1039.13 c | 2973577 | 7338 61828 206072 | 40063 37823 18 | 1.543 % |
1039.38/1039.33 c | 2974091 | 7338 61828 206072 | 40063 38337 18 | 1.543 % |
1039.68/1039.63 c | 2975115 | 7338 61828 206072 | 40063 39361 18 | 1.543 % |
1039.88/1039.86 c | 2975628 | 7338 61828 206072 | 40063 39874 18 | 1.543 % |
1040.08/1040.05 c | 2976140 | 7338 61828 206072 | 40063 40386 18 | 1.543 % |
1040.48/1040.41 c | 2977165 | 7338 61828 206072 | 40063 34685 18 | 1.543 % |
1041.08/1041.09 c | 2979217 | 7338 61828 206072 | 40063 36737 18 | 1.543 % |
1042.78/1042.82 c | 2983313 | 7338 61828 206072 | 37520 34709 18 | 1.543 % |
1045.48/1045.44 c | 2991505 | 7338 61828 206072 | 35956 32226 17 | 1.543 % |
1045.68/1045.67 c | 2992017 | 7338 61828 206072 | 35956 32738 17 | 1.543 % |
1045.88/1045.84 c | 2992530 | 7338 61828 206072 | 35956 33251 18 | 1.543 % |
1046.19/1046.18 c | 2993554 | 7338 61828 206072 | 35956 34275 18 | 1.543 % |
1046.38/1046.39 c | 2994066 | 7338 61828 206072 | 35956 34787 18 | 1.543 % |
1046.58/1046.59 c | 2994581 | 7338 61828 206072 | 35956 35302 18 | 1.543 % |
1046.98/1047.00 c | 2995605 | 7338 61828 206072 | 35956 36326 18 | 1.543 % |
1047.68/1047.63 c | 2997654 | 7338 61828 206072 | 35956 33085 18 | 1.543 % |
1047.88/1047.83 c | 2998167 | 7338 61828 206072 | 35956 33598 18 | 1.543 % |
1047.98/1047.99 c | 2998681 | 7338 61828 206072 | 35956 34112 18 | 1.543 % |
1048.28/1048.30 c | 2999707 | 7338 61828 206072 | 35956 35138 18 | 1.543 % |
1048.48/1048.47 c | 3000220 | 7338 61828 206072 | 35432 35651 18 | 1.543 % |
1048.58/1048.59 c | 3000733 | 7338 61828 206072 | 35432 30920 18 | 1.543 % |
1048.88/1048.84 c | 3001757 | 7338 61828 206072 | 35432 31944 18 | 1.543 % |
1049.49/1049.42 c | 3003809 | 7338 61828 206072 | 35432 33996 18 | 1.543 % |
1050.59/1050.55 c | 3007905 | 7338 61828 206072 | 35432 33625 18 | 1.543 % |
1050.68/1050.69 c | 3008418 | 7338 61828 206072 | 35432 34138 18 | 1.543 % |
1050.88/1050.87 c | 3008930 | 7338 61828 206072 | 35432 34650 18 | 1.543 % |
1051.28/1051.25 c | 3009954 | 7338 61828 206072 | 35432 35674 18 | 1.543 % |
1051.48/1051.47 c | 3010467 | 7338 61828 206072 | 31183 27692 17 | 1.543 % |
1051.58/1051.60 c | 3010980 | 7338 61828 206072 | 31183 28205 17 | 1.543 % |
1051.98/1051.92 c | 3012006 | 7338 61828 206072 | 31183 29231 17 | 1.543 % |
1052.79/1052.72 c | 3014054 | 7338 61828 206072 | 31183 31279 17 | 1.543 % |
1052.88/1052.89 c | 3014566 | 7338 61828 206072 | 31183 27726 17 | 1.543 % |
1053.08/1053.04 c | 3015078 | 7338 61828 206072 | 31183 28238 17 | 1.543 % |
1053.38/1053.38 c | 3016103 | 7338 61828 206072 | 31183 29263 17 | 1.543 % |
1053.58/1053.54 c | 3016616 | 7338 61828 206072 | 31183 29776 17 | 1.543 % |
1053.78/1053.72 c | 3017129 | 7338 61828 206072 | 31183 30289 17 | 1.543 % |
1054.08/1054.02 c | 3018153 | 7338 61828 206072 | 31183 31313 17 | 1.543 % |
1054.68/1054.62 c | 3020201 | 7338 61828 206072 | 29107 29308 17 | 1.543 % |
1055.98/1056.01 c | 3024298 | 7338 61828 206072 | 29107 26829 17 | 1.543 % |
1058.49/1058.44 c | 3032491 | 7338 61828 206072 | 2147483647 31938 18 | 1.543 % |
1065.79/1065.72 c | 3048875 | 7338 61828 206072 | 39447 35545 18 | 1.543 % |
1077.39/1077.41 c | 3081644 | 7338 61828 206072 | 36331 32922 17 | 1.543 % |
1099.59/1099.56 c | 3147180 | 7337 61825 206066 | 29117 26940 18 | 1.557 % |
1099.69/1099.71 c | 3147693 | 7337 61825 206066 | 29117 27453 18 | 1.556 % |
1099.89/1099.84 c | 3148206 | 7337 61825 206066 | 29117 27966 18 | 1.557 % |
1100.19/1100.12 c | 3149231 | 7337 61825 206066 | 29117 28991 18 | 1.557 % |
1100.29/1100.22 c | 3149743 | 7337 61825 206066 | 29117 29503 18 | 1.557 % |
1100.39/1100.39 c | 3150255 | 7337 61825 206066 | 2147483647 27065 18 | 1.556 % |
1100.69/1100.63 c | 3151279 | 7337 61825 206066 | 2147483647 28089 18 | 1.557 % |
1101.39/1101.35 c | 3153327 | 7337 61825 206066 | 2147483647 30137 18 | 1.557 % |
1101.49/1101.51 c | 3153839 | 7337 61825 206066 | 2147483647 30649 18 | 1.557 % |
1101.69/1101.66 c | 3154351 | 7337 61825 206066 | 2147483647 31161 18 | 1.557 % |
1101.99/1101.95 c | 3155377 | 7337 61825 206066 | 2147483647 32187 18 | 1.557 % |
1102.09/1102.08 c | 3155892 | 7337 61825 206066 | 2147483647 32702 18 | 1.557 % |
1102.29/1102.21 c | 3156406 | 7337 61825 206066 | 2147483647 33216 18 | 1.557 % |
1102.49/1102.48 c | 3157434 | 7337 61825 206066 | 2147483647 34244 18 | 1.557 % |
1103.09/1103.04 c | 3159482 | 7337 61825 206066 | 2147483647 36292 19 | 1.557 % |
1104.59/1104.57 c | 3163578 | 7337 61825 206066 | 36810 35961 18 | 1.557 % |
1104.69/1104.70 c | 3164090 | 7337 61825 206066 | 36810 36473 18 | 1.557 % |
1104.89/1104.90 c | 3164603 | 7337 61825 206066 | 36810 36986 18 | 1.557 % |
1105.19/1105.18 c | 3165627 | 7337 61825 206066 | 36810 32776 18 | 1.557 % |
1105.39/1105.37 c | 3166139 | 7337 61825 206066 | 36810 33288 18 | 1.557 % |
1105.49/1105.51 c | 3166652 | 7337 61825 206066 | 36810 33801 18 | 1.557 % |
1105.89/1105.89 c | 3167678 | 7337 61825 206066 | 36810 34827 18 | 1.557 % |
1106.59/1106.58 c | 3169726 | 7337 61825 206066 | 36810 36875 19 | 1.557 % |
1106.79/1106.75 c | 3170238 | 7337 61825 206066 | 37151 37387 19 | 1.557 % |
1106.99/1106.92 c | 3170750 | 7337 61825 206066 | 37151 32544 18 | 1.557 % |
1107.19/1107.18 c | 3171774 | 7337 61825 206066 | 37151 33568 18 | 1.557 % |
1107.39/1107.33 c | 3172286 | 7337 61825 206066 | 37151 34080 18 | 1.556 % |
1107.49/1107.48 c | 3172799 | 7337 61825 206066 | 37151 34593 18 | 1.557 % |
1107.89/1107.87 c | 3173826 | 7337 61825 206066 | 37151 35620 18 | 1.557 % |
1108.59/1108.59 c | 3175875 | 7337 61825 206066 | 37151 32489 18 | 1.557 % |
1110.19/1110.15 c | 3179973 | 7337 61825 206066 | 37151 36587 18 | 1.557 % |
1113.49/1113.47 c | 3188166 | 7337 61825 206066 | 36615 33875 18 | 1.557 % |
1113.69/1113.64 c | 3188679 | 7337 61825 206066 | 36615 34388 18 | 1.557 % |
1113.89/1113.81 c | 3189192 | 7337 61825 206066 | 36615 34901 18 | 1.557 % |
1114.19/1114.16 c | 3190216 | 7337 61825 206066 | 35709 35925 18 | 1.557 % |
1114.39/1114.35 c | 3190728 | 7337 61825 206066 | 35709 30818 17 | 1.557 % |
1114.59/1114.52 c | 3191241 | 7337 61825 206066 | 35709 31331 17 | 1.557 % |
1114.89/1114.84 c | 3192266 | 7337 61825 206066 | 35709 32356 17 | 1.557 % |
1115.59/1115.55 c | 3194315 | 7337 61825 206066 | 35709 34405 17 | 1.557 % |
1115.79/1115.75 c | 3194828 | 7337 61825 206066 | 35709 34918 17 | 1.557 % |
1115.89/1115.90 c | 3195340 | 7337 61825 206066 | 35709 35430 18 | 1.557 % |
1116.29/1116.28 c | 3196364 | 7337 61825 206066 | 35709 31141 17 | 1.557 % |
1116.49/1116.48 c | 3196876 | 7337 61825 206066 | 35709 31653 17 | 1.557 % |
1116.59/1116.60 c | 3197390 | 7337 61825 206066 | 35709 32167 17 | 1.556 % |
1116.89/1116.85 c | 3198414 | 7337 61825 206066 | 35709 33191 17 | 1.557 % |
1117.69/1117.62 c | 3200462 | 7337 61825 206066 | 34777 30266 17 | 1.557 % |
1118.99/1118.98 c | 3204558 | 7337 61825 206066 | 34777 34362 17 | 1.557 % |
1119.19/1119.21 c | 3205070 | 7337 61825 206066 | 34777 34874 17 | 1.557 % |
1119.39/1119.40 c | 3205583 | 7337 61825 206066 | 34777 30708 17 | 1.557 % |
1119.89/1119.87 c | 3206608 | 7337 61825 206066 | 34777 31733 17 | 1.557 % |
1119.99/1120.00 c | 3207120 | 7337 61825 206066 | 34777 32245 17 | 1.557 % |
1120.19/1120.18 c | 3207632 | 7337 61825 206066 | 34777 32757 17 | 1.557 % |
1120.59/1120.52 c | 3208657 | 7337 61825 206066 | 34777 33782 17 | 1.557 % |
1121.09/1121.09 c | 3210705 | 7337 61825 206066 | 35128 30738 17 | 1.557 % |
1121.29/1121.30 c | 3211219 | 7337 61825 206066 | 35128 31252 17 | 1.557 % |
1121.49/1121.45 c | 3211731 | 7337 61825 206066 | 35128 31764 17 | 1.557 % |
1121.89/1121.85 c | 3212755 | 7337 61825 206066 | 35128 32788 18 | 1.557 % |
1122.09/1122.04 c | 3213267 | 7337 61825 206066 | 35128 33300 18 | 1.557 % |
1122.29/1122.23 c | 3213780 | 7337 61825 206066 | 35128 33813 18 | 1.557 % |
1122.59/1122.58 c | 3214804 | 7337 61825 206066 | 35128 34837 18 | 1.557 % |
1123.19/1123.19 c | 3216853 | 7337 61825 206066 | 35128 31878 17 | 1.557 % |
1124.79/1124.76 c | 3220949 | 7337 61825 206066 | 35025 30951 17 | 1.557 % |
1127.98/1127.92 c | 3229141 | 7337 61825 206066 | 35025 33963 18 | 1.557 % |
1133.88/1133.87 c | 3245525 | 7336 61736 205800 | 34905 35161 18 | 1.570 % |
1134.08/1134.01 c | 3246038 | 7336 61736 205800 | 34905 30754 18 | 1.570 % |
1134.19/1134.19 c | 3246552 | 7336 61736 205800 | 34905 31268 18 | 1.570 % |
1134.58/1134.52 c | 3247577 | 7336 61736 205800 | 34905 32293 18 | 1.570 % |
1134.78/1134.71 c | 3248089 | 7336 61736 205800 | 34905 32805 18 | 1.570 % |
1134.88/1134.85 c | 3248601 | 7336 61736 205800 | 34905 33317 18 | 1.570 % |
1135.18/1135.12 c | 3249625 | 7336 61736 205800 | 34905 34341 18 | 1.570 % |
1135.68/1135.66 c | 3251674 | 7336 61736 205800 | 34717 31536 18 | 1.570 % |
1135.78/1135.80 c | 3252186 | 7336 61736 205800 | 34717 32048 18 | 1.570 % |
1135.98/1135.95 c | 3252699 | 7336 61736 205800 | 34717 32561 18 | 1.570 % |
1136.28/1136.21 c | 3253723 | 7336 61736 205800 | 34717 33585 18 | 1.570 % |
1136.39/1136.34 c | 3254235 | 7336 61736 205800 | 34717 34097 18 | 1.570 % |
1136.58/1136.51 c | 3254747 | 7336 61736 205800 | 34717 34609 18 | 1.570 % |
1136.88/1136.84 c | 3255772 | 7336 61736 205800 | 34717 31182 17 | 1.570 % |
1137.49/1137.48 c | 3257821 | 7336 61736 205800 | 34717 33231 17 | 1.570 % |
1138.69/1138.66 c | 3261917 | 7336 61736 205800 | 31034 28989 17 | 1.570 % |
1138.79/1138.81 c | 3262432 | 7336 61736 205800 | 31034 29504 17 | 1.570 % |
1138.99/1138.93 c | 3262944 | 7336 61736 205800 | 31034 30016 17 | 1.570 % |
1139.29/1139.25 c | 3263968 | 7336 61736 205800 | 31034 31040 17 | 1.570 % |
1139.49/1139.42 c | 3264480 | 7336 61736 205800 | 31034 27891 17 | 1.570 % |
1139.59/1139.54 c | 3264992 | 7336 61736 205800 | 31034 28403 17 | 1.570 % |
1139.89/1139.81 c | 3266017 | 7336 61736 205800 | 31034 29428 17 | 1.570 % |
1140.69/1140.64 c | 3268069 | 7336 61736 205800 | 31034 27751 17 | 1.570 % |
1140.80/1140.77 c | 3268582 | 7336 61736 205800 | 31034 28264 17 | 1.570 % |
1140.89/1140.88 c | 3269094 | 7336 61736 205800 | 31034 28776 17 | 1.570 % |
1141.29/1141.21 c | 3270118 | 7336 61736 205800 | 29682 29800 17 | 1.570 % |
1141.39/1141.35 c | 3270630 | 7336 61736 205800 | 29682 26759 17 | 1.570 % |
1141.49/1141.48 c | 3271142 | 7336 61736 205800 | 29682 27271 17 | 1.570 % |
1141.79/1141.74 c | 3272169 | 7336 61736 205800 | 29682 28298 17 | 1.570 % |
1142.39/1142.34 c | 3274217 | 7336 61736 205800 | 29682 27059 17 | 1.570 % |
1143.59/1143.53 c | 3278313 | 7336 61736 205800 | 29682 27795 17 | 1.570 % |
1146.09/1146.08 c | 3286505 | 7336 61736 205800 | 29484 28877 17 | 1.570 % |
1146.19/1146.22 c | 3287018 | 7336 61736 205800 | 29484 29390 17 | 1.570 % |
1146.39/1146.39 c | 3287531 | 7336 61736 205800 | 29484 29903 17 | 1.570 % |
1146.69/1146.68 c | 3288556 | 7336 61736 205800 | 29484 27090 17 | 1.570 % |
1146.89/1146.87 c | 3289069 | 7336 61736 205800 | 29484 27603 17 | 1.570 % |
1147.09/1147.04 c | 3289583 | 7336 61736 205800 | 29484 28117 17 | 1.570 % |
1147.29/1147.22 c | 3290607 | 7336 61736 205800 | 28535 25674 17 | 1.570 % |
1147.59/1147.54 c | 3292657 | 7336 61736 205800 | 28535 27724 17 | 1.570 % |
1147.69/1147.62 c | 3293170 | 7336 61736 205800 | 28535 28237 16 | 1.570 % |
1147.69/1147.70 c | 3293684 | 7336 61736 205800 | 28535 28751 16 | 1.570 % |
1147.99/1147.98 c | 3294708 | 7336 61736 205800 | 28535 26833 16 | 1.570 % |
1148.19/1148.11 c | 3295220 | 7336 61736 205800 | 28535 27345 16 | 1.570 % |
1148.29/1148.23 c | 3295735 | 7336 61736 205800 | 28535 27860 16 | 1.570 % |
1148.50/1148.49 c | 3296759 | 7336 61736 205800 | 28535 28884 17 | 1.570 % |
1148.99/1148.98 c | 3298808 | 7336 61736 205800 | 28535 28045 17 | 1.570 % |
1150.39/1150.36 c | 3302904 | 7336 61736 205800 | 2147483647 29256 17 | 1.570 % |
1150.59/1150.51 c | 3303416 | 7336 61736 205800 | 2147483647 29768 17 | 1.570 % |
1150.70/1150.69 c | 3303928 | 7336 61736 205800 | 2147483647 30280 17 | 1.570 % |
1150.99/1150.91 c | 3304952 | 7336 61736 205800 | 2147483647 31304 17 | 1.570 % |
1151.09/1151.11 c | 3305467 | 7336 61736 205800 | 2147483647 31819 17 | 1.570 % |
1151.29/1151.26 c | 3305980 | 7336 61736 205800 | 2147483647 32332 17 | 1.570 % |
1151.59/1151.56 c | 3307007 | 7336 61736 205800 | 2147483647 33359 18 | 1.570 % |
1152.29/1152.29 c | 3309056 | 7336 61736 205800 | 2147483647 35408 18 | 1.570 % |
1152.49/1152.48 c | 3309568 | 7336 61736 205800 | 2147483647 35920 18 | 1.570 % |
1152.69/1152.70 c | 3310080 | 7336 61736 205800 | 36357 36432 18 | 1.570 % |
1153.09/1153.08 c | 3311105 | 7336 61736 205800 | 36357 32500 17 | 1.570 % |
1153.29/1153.24 c | 3311618 | 7336 61736 205800 | 36357 33013 17 | 1.570 % |
1153.39/1153.37 c | 3312131 | 7336 61736 205800 | 36357 33526 17 | 1.570 % |
1153.69/1153.70 c | 3313157 | 7336 61736 205800 | 36357 34552 17 | 1.570 % |
1154.39/1154.40 c | 3315206 | 7336 61736 205800 | 36357 36601 17 | 1.570 % |
1155.59/1155.58 c | 3319303 | 7336 61736 205800 | 36357 35447 18 | 1.570 % |
1157.99/1157.95 c | 3327495 | 7336 61736 205800 | 36146 33735 17 | 1.570 % |
1163.79/1163.76 c | 3343880 | 7336 61736 205800 | 35724 34311 17 | 1.570 % |
1174.29/1174.24 c | 3376648 | 7336 61736 205800 | 35654 33055 19 | 1.570 % |
1174.39/1174.40 c | 3377160 | 7336 61736 205800 | 35654 33567 19 | 1.570 % |
1174.59/1174.55 c | 3377672 | 7336 61736 205800 | 35654 34079 19 | 1.570 % |
1174.90/1174.85 c | 3378696 | 7336 61736 205800 | 35654 35103 19 | 1.570 % |
1175.09/1175.05 c | 3379209 | 7336 61736 205800 | 35654 35616 19 | 1.570 % |
1175.29/1175.24 c | 3379723 | 7336 61736 205800 | 35654 36130 19 | 1.570 % |
1175.59/1175.57 c | 3380747 | 7336 61736 205800 | 31656 28274 18 | 1.570 % |
1176.29/1176.27 c | 3382799 | 7336 61736 205800 | 31656 30326 18 | 1.570 % |
1176.49/1176.46 c | 3383312 | 7336 61736 205800 | 31656 30839 18 | 1.570 % |
1176.69/1176.61 c | 3383826 | 7336 61736 205800 | 31656 31353 18 | 1.570 % |
1176.99/1176.97 c | 3384850 | 7336 61736 205800 | 31656 28616 18 | 1.570 % |
1177.19/1177.11 c | 3385362 | 7336 61736 205800 | 31656 29128 18 | 1.570 % |
1177.29/1177.27 c | 3385874 | 7336 61736 205800 | 31656 29640 18 | 1.570 % |
1177.49/1177.48 c | 3386901 | 7336 61736 205800 | 31656 30667 18 | 1.570 % |
1178.29/1178.28 c | 3388950 | 7336 61736 205800 | 31656 28819 18 | 1.570 % |
1179.69/1179.63 c | 3393046 | 7336 61736 205800 | 29870 29451 17 | 1.570 % |
1179.79/1179.77 c | 3393559 | 7336 61736 205800 | 29870 29964 17 | 1.570 % |
1179.99/1179.96 c | 3394071 | 7336 61736 205800 | 29870 27144 17 | 1.570 % |
1180.29/1180.21 c | 3395096 | 7336 61736 205800 | 29870 28169 17 | 1.570 % |
1180.49/1180.42 c | 3395608 | 7336 61736 205800 | 29870 28681 17 | 1.570 % |
1180.59/1180.57 c | 3396120 | 7336 61736 205800 | 29870 29193 17 | 1.570 % |
1180.99/1180.95 c | 3397144 | 7336 61736 205800 | 29870 30217 17 | 1.570 % |
1181.69/1181.62 c | 3399192 | 7336 61736 205800 | 29870 28729 17 | 1.570 % |
1181.89/1181.81 c | 3399705 | 7336 61736 205800 | 29870 29242 17 | 1.570 % |
1181.99/1181.99 c | 3400217 | 7336 61736 205800 | 29537 29754 17 | 1.570 % |
1182.29/1182.22 c | 3401241 | 7336 61736 205800 | 29537 27217 17 | 1.570 % |
1182.39/1182.36 c | 3401753 | 7336 61736 205800 | 29537 27729 17 | 1.570 % |
1182.60/1182.52 c | 3402267 | 7336 61736 205800 | 29537 28243 17 | 1.570 % |
1182.89/1182.90 c | 3403291 | 7336 61736 205800 | 29537 29267 17 | 1.570 % |
1183.89/1183.83 c | 3405341 | 7336 61736 205800 | 29537 28336 17 | 1.570 % |
1184.99/1184.99 c | 3409438 | 7336 61736 205800 | 29537 29286 17 | 1.570 % |
1187.29/1187.30 c | 3417630 | 7335 61649 205540 | 29849 28333 17 | 1.583 % |
1187.49/1187.42 c | 3418143 | 7335 61649 205540 | 29849 28846 17 | 1.583 % |
1187.59/1187.53 c | 3418656 | 7335 61649 205540 | 29849 29359 17 | 1.583 % |
1187.79/1187.73 c | 3419681 | 7335 61649 205540 | 29849 30384 17 | 1.583 % |
1187.89/1187.87 c | 3420193 | 7335 61649 205540 | 2147483647 27858 17 | 1.583 % |
1188.10/1188.03 c | 3420706 | 7335 61649 205540 | 2147483647 28371 17 | 1.583 % |
1188.40/1188.35 c | 3421731 | 7335 61649 205540 | 2147483647 29396 17 | 1.583 % |
1189.00/1189.01 c | 3423780 | 7335 61649 205540 | 2147483647 31445 17 | 1.583 % |
1189.20/1189.16 c | 3424294 | 7335 61649 205540 | 2147483647 31959 17 | 1.583 % |
1189.40/1189.36 c | 3424806 | 7335 61649 205540 | 2147483647 32471 17 | 1.583 % |
1189.70/1189.69 c | 3425832 | 7335 61649 205540 | 2147483647 33497 17 | 1.583 % |
1190.00/1189.94 c | 3426344 | 7335 61649 205540 | 2147483647 34009 17 | 1.583 % |
1190.10/1190.10 c | 3426856 | 7335 61649 205540 | 2147483647 34521 17 | 1.583 % |
1190.40/1190.35 c | 3427883 | 7335 61649 205540 | 2147483647 35548 18 | 1.583 % |
1191.10/1191.08 c | 3429931 | 7335 61649 205540 | 2147483647 37596 18 | 1.583 % |
1192.70/1192.70 c | 3434028 | 7335 61649 205540 | 37665 36924 18 | 1.583 % |
1192.90/1192.89 c | 3434542 | 7335 61649 205540 | 37665 37438 18 | 1.583 % |
1193.10/1193.10 c | 3435055 | 7335 61649 205540 | 37665 37951 18 | 1.583 % |
1193.60/1193.58 c | 3436079 | 7335 61649 205540 | 37665 33505 18 | 1.583 % |
1193.80/1193.73 c | 3436592 | 7335 61649 205540 | 37665 34018 18 | 1.583 % |
1194.00/1193.94 c | 3437104 | 7335 61649 205540 | 37665 34530 18 | 1.583 % |
1194.30/1194.31 c | 3438128 | 7335 61649 205540 | 37665 35554 18 | 1.583 % |
1195.00/1194.99 c | 3440177 | 7335 61649 205540 | 37426 37603 18 | 1.583 % |
1195.30/1195.24 c | 3440689 | 7335 61649 205540 | 37426 32507 18 | 1.583 % |
1195.50/1195.46 c | 3441201 | 7335 61649 205540 | 37426 33019 18 | 1.583 % |
1195.90/1195.86 c | 3442226 | 7335 61649 205540 | 37426 34044 18 | 1.583 % |
1196.10/1196.02 c | 3442740 | 7335 61649 205540 | 37426 34558 18 | 1.583 % |
1196.20/1196.16 c | 3443252 | 7335 61649 205540 | 37426 35070 18 | 1.583 % |
1196.50/1196.46 c | 3444276 | 7335 61649 205540 | 37426 36094 18 | 1.583 % |
1197.10/1197.05 c | 3446325 | 7335 61649 205540 | 37426 32306 18 | 1.583 % |
1198.50/1198.50 c | 3450422 | 7335 61649 205540 | 35981 30850 17 | 1.583 % |
1200.00/1199.92 HOME/SatELiteGTI: line 36: 14968 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-1821341-1242521343/watcher-1821341-1242521343 -o /tmp/evaluation-result-1821341-1242521343/solver-1821341-1242521343 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821341-1242521343.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 0.96 0.97 3/94 14965
/proc/meminfo: memFree=1392916/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2412 CPUtime=0.01
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 336 0 0 0 1 0 0 0 25 0 1 0 1016632393 2469888 270 4294967295 134512640 135169312 3220460176 3220457768 3085067182 0 0 4 65536 3222620697 0 0 17 3 0 0 0
/proc/14962/statm: 603 270 230 161 0 42 0
[pid=14963] ppid=14962 vsize=2412 CPUtime=0
/proc/14963/stat : 14963 (SatELiteGTI) R 14962 14962 15108 0 -1 4194368 102 0 0 0 0 0 0 0 25 0 1 0 1016632394 2469888 114 4294967295 134512640 135169312 3220460176 3220456396 3084875636 0 65538 0 65538 0 0 0 17 3 0 0 0
/proc/14963/statm: 603 114 72 161 0 42 0
[pid=14964] ppid=14963 vsize=0 CPUtime=0
/proc/14964/stat : 14964 (SatELiteGTI) Z 14963 14962 15108 0 -1 4194380 143 0 0 0 0 0 0 0 25 0 1 0 1016632394 0 0 4294967295 0 0 0 0 0 0 0 0 65538 3222378830 0 0 17 3 0 0 0
/proc/14964/statm: 0 0 0 0 0 0 0
[pid=14965] ppid=14963 vsize=2412 CPUtime=0
/proc/14965/stat : 14965 (SatELiteGTI) R 14963 14962 15108 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 1 0 1016632394 2469888 42 4294967295 134512640 135169312 3220460176 3220456396 3084875636 0 65538 0 65538 0 0 0 17 3 0 0 0
/proc/14965/statm: 603 42 0 161 0 42 0
[startup+0.091588 s]
/proc/loadavg: 1.00 0.96 0.97 3/94 14965
/proc/meminfo: memFree=1392916/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2412 CPUtime=0.01
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 365 645 0 0 1 0 0 0 25 0 1 0 1016632393 2469888 275 4294967295 134512640 135169312 3220460176 3220458712 3084873454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14962/statm: 603 275 235 161 0 42 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2412
[startup+0.111575 s]
/proc/loadavg: 1.00 0.96 0.97 3/94 14965
/proc/meminfo: memFree=1392916/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2412 CPUtime=0.01
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 365 645 0 0 1 0 0 0 25 0 1 0 1016632393 2469888 275 4294967295 134512640 135169312 3220460176 3220458712 3084873454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14962/statm: 603 275 235 161 0 42 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2412
[startup+0.311554 s]
/proc/loadavg: 1.00 0.96 0.97 3/94 14965
/proc/meminfo: memFree=1392916/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2412 CPUtime=0.01
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 365 645 0 0 1 0 0 0 25 0 1 0 1016632393 2469888 275 4294967295 134512640 135169312 3220460176 3220458712 3084873454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14962/statm: 603 275 235 161 0 42 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2412
[startup+0.711523 s]
/proc/loadavg: 1.00 0.96 0.97 3/94 14965
/proc/meminfo: memFree=1392916/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2412 CPUtime=0.01
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 365 645 0 0 1 0 0 0 25 0 1 0 1016632393 2469888 275 4294967295 134512640 135169312 3220460176 3220458712 3084873454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14962/statm: 603 275 235 161 0 42 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2412
[startup+1.51146 s]
/proc/loadavg: 1.00 0.96 0.97 2/93 14967
/proc/meminfo: memFree=1373804/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 2416
[startup+3.11134 s]
/proc/loadavg: 1.00 0.96 0.97 2/93 14969
/proc/meminfo: memFree=1384840/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=7388 CPUtime=1.94
/proc/14968/stat : 14968 (minisat_static) R 14962 14962 15108 0 -1 4202496 1763 0 0 0 194 0 0 0 25 0 1 0 1016632511 7565312 1698 4294967295 134512640 135216591 3215965856 3215964048 134528842 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14968/statm: 1847 1698 75 172 0 1674 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 9804
[startup+6.31109 s]
/proc/loadavg: 1.00 0.96 0.97 2/93 14969
/proc/meminfo: memFree=1382360/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=9404 CPUtime=5.14
/proc/14968/stat : 14968 (minisat_static) R 14962 14962 15108 0 -1 4202496 2247 0 0 0 514 0 0 0 25 0 1 0 1016632511 9629696 2182 4294967295 134512640 135216591 3215965856 3215964048 134528842 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14968/statm: 2351 2182 75 172 0 2178 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 11820
[startup+12.7206 s]
/proc/loadavg: 1.00 0.97 0.97 2/93 14969
/proc/meminfo: memFree=1380084/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=11208 CPUtime=11.55
/proc/14968/stat : 14968 (minisat_static) R 14962 14962 15108 0 -1 4202496 2682 0 0 0 1155 0 0 0 25 0 1 0 1016632511 11476992 2617 4294967295 134512640 135216591 3215965856 3215964048 134528842 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14968/statm: 2802 2617 75 172 0 2629 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 13624
[startup+25.5196 s]
/proc/loadavg: 1.00 0.97 0.97 2/93 14970
/proc/meminfo: memFree=1379932/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=11340 CPUtime=24.35
/proc/14968/stat : 14968 (minisat_static) R 14962 14962 15108 0 -1 4202496 2715 0 0 0 2435 0 0 0 25 0 1 0 1016632511 11612160 2650 4294967295 134512640 135216591 3215965856 3215964048 134528948 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14968/statm: 2835 2650 75 172 0 2662 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 13756
[startup+51.1177 s]
/proc/loadavg: 1.00 0.97 0.97 2/93 14978
/proc/meminfo: memFree=1379668/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=11604 CPUtime=49.95
/proc/14968/stat : 14968 (minisat_static) R 14962 14962 15108 0 -1 4202496 2787 0 0 0 4995 0 0 0 25 0 1 0 1016632511 11882496 2722 4294967295 134512640 135216591 3215965856 3215964048 134528842 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14968/statm: 2901 2722 75 172 0 2728 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 14020
[startup+102.324 s]
/proc/loadavg: 1.00 0.97 0.97 3/93 15166
/proc/meminfo: memFree=1378880/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=12708 CPUtime=101.15
/proc/14968/stat : 14968 (minisat_static) R 14962 14962 15108 0 -1 4202496 3074 0 0 0 10115 0 0 0 25 0 1 0 1016632511 13012992 3009 4294967295 134512640 135216591 3215965856 3215964048 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14968/statm: 3177 3009 75 172 0 3004 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 15124
[startup+162.319 s]
/proc/loadavg: 1.00 0.97 0.97 3/93 15356
/proc/meminfo: memFree=1378592/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=12992 CPUtime=161.15
/proc/14968/stat : 14968 (minisat_static) R 14962 14962 15108 0 -1 4202496 3129 0 0 0 16114 1 0 0 25 0 1 0 1016632511 13303808 3064 4294967295 134512640 135216591 3215965856 3215964048 134529251 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14968/statm: 3248 3064 75 172 0 3075 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 15408
[startup+222.315 s]
/proc/loadavg: 1.00 0.97 0.97 2/93 15544
/proc/meminfo: memFree=1378756/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=13152 CPUtime=221.15
/proc/14968/stat : 14968 (minisat_static) R 14962 14962 15108 0 -1 4202496 3180 0 0 0 22113 2 0 0 25 0 1 0 1016632511 13467648 3115 4294967295 134512640 135216591 3215965856 3215964048 134529023 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14968/statm: 3288 3115 75 172 0 3115 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 15568
[startup+282.32 s]
/proc/loadavg: 1.00 0.97 0.97 3/93 15733
/proc/meminfo: memFree=1378632/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=13288 CPUtime=281.16
/proc/14968/stat : 14968 (minisat_static) R 14962 14962 15108 0 -1 4202496 3207 0 0 0 28113 3 0 0 25 0 1 0 1016632511 13606912 3142 4294967295 134512640 135216591 3215965856 3215964048 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14968/statm: 3322 3142 75 172 0 3149 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 15704
[startup+342.315 s]
/proc/loadavg: 1.00 0.97 0.97 3/93 15919
/proc/meminfo: memFree=1378748/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=13288 CPUtime=341.16
/proc/14968/stat : 14968 (minisat_static) R 14962 14962 15108 0 -1 4202496 3213 0 0 0 34113 3 0 0 25 0 1 0 1016632511 13606912 3148 4294967295 134512640 135216591 3215965856 3215964048 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14968/statm: 3322 3148 75 172 0 3149 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 15704
[startup+402.311 s]
/proc/loadavg: 1.00 0.97 0.97 3/93 16107
/proc/meminfo: memFree=1378748/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=13436 CPUtime=401.16
################
# More data... #
################
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=13868 CPUtime=521.17
/proc/14968/stat : 14968 (minisat_static) R 14962 14962 15108 0 -1 4202496 3329 0 0 0 52114 3 0 0 25 0 1 0 1016632511 14200832 3264 4294967295 134512640 135216591 3215965856 3215964048 134528894 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14968/statm: 3467 3264 75 172 0 3294 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 16284
[startup+582.317 s]
/proc/loadavg: 1.12 1.03 0.99 3/93 16676
/proc/meminfo: memFree=1378012/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=13868 CPUtime=581.18
/proc/14968/stat : 14968 (minisat_static) R 14962 14962 15108 0 -1 4202496 3349 0 0 0 58114 4 0 0 25 0 1 0 1016632511 14200832 3284 4294967295 134512640 135216591 3215965856 3215964048 134528948 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14968/statm: 3467 3284 75 172 0 3294 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 16284
[startup+642.312 s]
/proc/loadavg: 1.04 1.02 0.99 3/93 16862
/proc/meminfo: memFree=1378012/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=14028 CPUtime=641.18
/proc/14968/stat : 14968 (minisat_static) R 14962 14962 15108 0 -1 4202496 3380 0 0 0 64114 4 0 0 25 0 1 0 1016632511 14364672 3315 4294967295 134512640 135216591 3215965856 3215963856 134527532 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14968/statm: 3507 3315 75 172 0 3334 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 16444
[startup+702.318 s]
/proc/loadavg: 1.01 1.02 0.99 3/93 17050
/proc/meminfo: memFree=1377772/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=14172 CPUtime=701.19
/proc/14968/stat : 14968 (minisat_static) R 14962 14962 15108 0 -1 4202496 3397 0 0 0 70115 4 0 0 25 0 1 0 1016632511 14512128 3332 4294967295 134512640 135216591 3215965856 3215964048 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14968/statm: 3543 3332 75 172 0 3370 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 16588
[startup+762.323 s]
/proc/loadavg: 1.00 1.01 0.99 2/93 17238
/proc/meminfo: memFree=1377896/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=14172 CPUtime=761.2
/proc/14968/stat : 14968 (minisat_static) R 14962 14962 15108 0 -1 4202496 3406 0 0 0 76116 4 0 0 25 0 1 0 1016632511 14512128 3341 4294967295 134512640 135216591 3215965856 3215964048 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14968/statm: 3543 3341 75 172 0 3370 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 16588
[startup+822.318 s]
/proc/loadavg: 1.10 1.04 1.00 3/93 17430
/proc/meminfo: memFree=1377772/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=14456 CPUtime=821.2
/proc/14968/stat : 14968 (minisat_static) R 14962 14962 15108 0 -1 4202496 3467 0 0 0 82115 5 0 0 25 0 1 0 1016632511 14802944 3402 4294967295 134512640 135216591 3215965856 3215964048 134528902 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14968/statm: 3614 3402 75 172 0 3441 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 16872
[startup+882.314 s]
/proc/loadavg: 1.07 1.04 1.00 4/93 17619
/proc/meminfo: memFree=1377516/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=14588 CPUtime=881.2
/proc/14968/stat : 14968 (minisat_static) R 14962 14962 15108 0 -1 4202496 3516 0 0 0 88115 5 0 0 25 0 1 0 1016632511 14938112 3451 4294967295 134512640 135216591 3215965856 3215964048 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14968/statm: 3647 3451 75 172 0 3474 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 17004
[startup+942.319 s]
/proc/loadavg: 1.02 1.03 1.00 2/93 17805
/proc/meminfo: memFree=1377268/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=14740 CPUtime=941.21
/proc/14968/stat : 14968 (minisat_static) R 14962 14962 15108 0 -1 4202496 3561 0 0 0 94116 5 0 0 25 0 1 0 1016632511 15093760 3496 4294967295 134512640 135216591 3215965856 3215964048 134528860 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14968/statm: 3685 3496 75 172 0 3512 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 17156
[startup+1002.31 s]
/proc/loadavg: 1.01 1.02 1.00 3/93 17993
/proc/meminfo: memFree=1377276/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=14872 CPUtime=1001.21
/proc/14968/stat : 14968 (minisat_static) R 14962 14962 15108 0 -1 4202496 3572 0 0 0 100115 6 0 0 25 0 1 0 1016632511 15228928 3507 4294967295 134512640 135216591 3215965856 3215964048 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14968/statm: 3718 3507 75 172 0 3545 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 17288
[startup+1062.32 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 18181
/proc/meminfo: memFree=1377152/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=14872 CPUtime=1061.22
/proc/14968/stat : 14968 (minisat_static) R 14962 14962 15108 0 -1 4202496 3583 0 0 0 106116 6 0 0 25 0 1 0 1016632511 15228928 3518 4294967295 134512640 135216591 3215965856 3215964048 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14968/statm: 3718 3518 75 172 0 3545 0
Current children cumulated CPU time (s) 1062.39
Current children cumulated vsize (KiB) 17288
[startup+1122.32 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 18373
/proc/meminfo: memFree=1377400/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=15012 CPUtime=1121.22
/proc/14968/stat : 14968 (minisat_static) R 14962 14962 15108 0 -1 4202496 3606 0 0 0 112116 6 0 0 25 0 1 0 1016632511 15372288 3541 4294967295 134512640 135216591 3215965856 3215964048 134528962 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14968/statm: 3753 3541 75 172 0 3580 0
Current children cumulated CPU time (s) 1122.39
Current children cumulated vsize (KiB) 17428
[startup+1182.31 s]
/proc/loadavg: 1.04 1.02 1.00 2/93 18562
/proc/meminfo: memFree=1377020/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=15012 CPUtime=1181.22
/proc/14968/stat : 14968 (minisat_static) R 14962 14962 15108 0 -1 4202496 3621 0 0 0 118116 6 0 0 25 0 1 0 1016632511 15372288 3556 4294967295 134512640 135216591 3215965856 3215964048 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14968/statm: 3753 3556 75 172 0 3580 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 17428
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.92 s]
/proc/loadavg: 1.03 1.02 1.00 3/93 18745
/proc/meminfo: memFree=1376736/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=15012 CPUtime=1198.83
/proc/14968/stat : 14968 (minisat_static) R 14962 14962 15108 0 -1 4202496 3621 0 0 0 119877 6 0 0 25 0 1 0 1016632511 15372288 3556 4294967295 134512640 135216591 3215965856 3215964048 134528902 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14968/statm: 3753 3556 75 172 0 3580 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 17428
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1199.92 s]
/proc/loadavg: 1.03 1.02 1.00 3/93 18745
/proc/meminfo: memFree=1376736/2074464 swapFree=1952056/1959888
[pid=14962] ppid=14960 vsize=2416 CPUtime=1.17
/proc/14962/stat : 14962 (SatELiteGTI) S 14960 14962 15108 0 -1 4194304 384 5667 0 0 1 0 113 3 20 0 1 0 1016632393 2473984 276 4294967295 134512640 135169312 3220460176 3220456392 3084873454 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14962/statm: 604 276 235 161 0 43 0
[pid=14968] ppid=14962 vsize=15012 CPUtime=1198.83
/proc/14968/stat : 14968 (minisat_static) R 14962 14962 15108 0 -1 4202496 3621 0 0 0 119877 6 0 0 25 0 1 0 1016632511 15372288 3556 4294967295 134512640 135216591 3215965856 3215964048 134528902 0 0 0 3 0 0 0 17 2 0 0 0
/proc/14968/statm: 3753 3556 75 172 0 3580 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 17428
Child status: 143
Real time (s): 1199.93
CPU time (s): 1200
CPU user time (s): 1199.91
CPU system time (s): 0.09
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 23408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.91
system time used= 0.09
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9950
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= 28
involuntary context switches= 2234
runsolver used 0.02 second user time and 0.02 second system time
The end
Begin job on tipi24 at 2009-05-17 02:49:03
IDJOB=1821341
IDBENCH=70940
IDSOLVER=658
FILE ID=tipi24/1821341-1242521343
PBS_JOBID=
Free space on /tmp= 9943 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_l44_lambda.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821341-1242521343/watcher-1821341-1242521343 -o /tmp/evaluation-result-1821341-1242521343/solver-1821341-1242521343 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821341-1242521343.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a7bc41b32260e4459b2bee7c18cacba1
RANDOM SEED= 2028175371
Linux tipi24 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.461
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.461
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.75
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
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.461
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.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1393420 kB
Buffers: 29736 kB
Cached: 569512 kB
SwapCached: 3828 kB
Active: 94980 kB
Inactive: 513728 kB
HighTotal: 1178688 kB
HighFree: 689496 kB
LowTotal: 895776 kB
LowFree: 703924 kB
SwapTotal: 1959888 kB
SwapFree: 1952056 kB
Dirty: 4588 kB
Writeback: 0 kB
AnonPages: 8984 kB
Mapped: 3264 kB
Slab: 63348 kB
PageTables: 484 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87804 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9943 MiB
End job on tipi24 at 2009-05-17 03:09:03