0.00/0.00 c Parsing...
0.00/0.08 c ==============================================================================
0.00/0.08 c | | ORIGINAL | LEARNT | |
0.00/0.08 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.08 c ==============================================================================
0.00/0.08 c | 0 | 94904 223730 | 28471 0 0 nan | 0.000 % |
1.19/1.29 c | 0 | 57479 171136 | -- 0 -- -- | -- | -37085/-51618
1.19/1.29 c ==============================================================================
1.19/1.29 c Result : #vars: 13839 #clauses: 57479 #literals: 171136
1.19/1.29 c CPU time: 1.24081 s
1.19/1.29 c ==============================================================================
1.28/1.35 c This is MiniSat 2.0 beta
1.28/1.35 c WARNING: for repeatability, setting FPU to use double precision
1.28/1.35 c ============================[ Problem Statistics ]=============================
1.28/1.35 c | |
1.28/1.35 c | Number of variables: 13839 |
1.28/1.35 c | Number of clauses: 57479 |
1.28/1.39 c | Parsing time: 0.03 s |
1.28/1.39 c ============================[ Search Statistics ]==============================
1.28/1.39 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.28/1.39 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.28/1.39 c ===============================================================================
1.28/1.39 c | 0 | 13839 57479 171136 | 19159 0 nan | 0.000 % |
1.34/1.60 c | 100 | 13830 57479 171136 | 19159 96 32 | 0.780 % |
1.34/2.01 c | 200 | 13731 56852 169569 | 19159 193 29 | 0.780 % |
2.28/2.34 c | 300 | 13685 56640 169088 | 19159 292 27 | 1.113 % |
2.67/2.70 c | 411 | 13685 56640 169088 | 19159 403 25 | 1.113 % |
3.07/3.13 c | 512 | 13685 56640 169088 | 19159 504 26 | 1.113 % |
3.27/3.38 c | 623 | 13685 56640 169088 | 19159 615 25 | 1.113 % |
3.67/3.72 c | 744 | 13685 56640 169088 | 19159 736 26 | 1.113 % |
4.07/4.10 c | 845 | 13685 56640 169088 | 19159 837 26 | 1.113 % |
4.47/4.51 c | 956 | 13685 56640 169088 | 19159 948 25 | 1.113 % |
4.76/4.80 c | 1077 | 13685 56640 169088 | 19159 1069 26 | 1.113 % |
5.16/5.22 c | 1211 | 13685 56640 169088 | 19159 1203 26 | 1.113 % |
5.57/5.66 c | 1311 | 13685 56640 169088 | 19159 1303 26 | 1.113 % |
6.06/6.15 c | 1421 | 13685 56640 169088 | 19159 1413 26 | 1.113 % |
6.57/6.60 c | 1542 | 13685 56640 169088 | 19159 1534 25 | 1.113 % |
6.96/7.08 c | 1676 | 13685 56640 169088 | 19159 1668 25 | 1.113 % |
7.67/7.73 c | 1823 | 13685 56640 169088 | 19159 1815 25 | 1.113 % |
8.06/8.14 c | 1923 | 13685 56640 169088 | 19159 1915 24 | 1.113 % |
8.36/8.47 c | 2034 | 13685 56640 169088 | 19159 2026 25 | 1.113 % |
8.56/8.66 c | 2156 | 13685 56640 169088 | 19159 2148 25 | 1.113 % |
8.96/9.08 c | 2289 | 13685 56640 169088 | 19159 2281 26 | 1.113 % |
9.56/9.69 c | 2436 | 13685 56640 169088 | 19159 2428 27 | 1.113 % |
9.76/9.90 c | 2597 | 13685 56640 169088 | 19159 2589 29 | 1.113 % |
10.16/10.23 c | 2697 | 13685 56640 169088 | 19159 2689 29 | 1.113 % |
10.56/10.61 c | 2807 | 13685 56640 169088 | 19159 2799 28 | 1.113 % |
10.96/11.06 c | 2928 | 13685 56640 169088 | 19159 2920 28 | 1.113 % |
11.46/11.57 c | 3062 | 13685 56640 169088 | 19159 3054 28 | 1.113 % |
12.06/12.20 c | 3209 | 13685 56640 169088 | 19159 3201 28 | 1.113 % |
12.66/12.75 c | 3369 | 13685 56640 169088 | 19159 3361 27 | 1.113 % |
13.36/13.47 c | 3545 | 13685 56640 169088 | 19159 3537 27 | 1.113 % |
13.66/13.79 c | 3646 | 13685 56640 169088 | 19159 3638 27 | 1.113 % |
14.06/14.19 c | 3756 | 13685 56640 169088 | 19159 3748 27 | 1.113 % |
14.56/14.63 c | 3878 | 13685 56640 169088 | 19159 3870 27 | 1.113 % |
15.16/15.20 c | 4011 | 13685 56640 169088 | 19159 4003 27 | 1.113 % |
15.66/15.72 c | 4158 | 13685 56640 169088 | 19159 4150 27 | 1.113 % |
16.26/16.38 c | 4319 | 13685 56640 169088 | 19159 4311 27 | 1.113 % |
17.06/17.17 c | 4497 | 13685 56640 169088 | 19159 4489 27 | 1.113 % |
17.86/17.93 c | 4693 | 13685 56640 169088 | 19159 4685 27 | 1.113 % |
18.26/18.35 c | 4795 | 13685 56640 169088 | 19159 4787 27 | 1.113 % |
18.76/18.82 c | 4905 | 13685 56640 169088 | 19159 4897 27 | 1.113 % |
19.26/19.38 c | 5027 | 13685 56640 169088 | 19159 5019 26 | 1.113 % |
19.86/19.97 c | 5160 | 13685 56640 169088 | 19159 5152 26 | 1.113 % |
20.36/20.45 c | 5306 | 13634 56423 168588 | 19159 5292 27 | 1.481 % |
20.96/21.09 c | 5467 | 13634 56423 168588 | 19159 5453 27 | 1.481 % |
21.65/21.70 c | 5643 | 13634 56423 168588 | 19159 5629 27 | 1.481 % |
22.35/22.47 c | 5836 | 13634 56423 168588 | 19159 5822 27 | 1.481 % |
23.25/23.32 c | 6048 | 13634 56423 168588 | 19159 6034 27 | 1.481 % |
23.55/23.67 c | 6151 | 13634 56423 168588 | 19159 6137 27 | 1.481 % |
24.05/24.10 c | 6262 | 13634 56423 168588 | 19159 6248 27 | 1.481 % |
24.55/24.69 c | 6383 | 13634 56423 168588 | 19159 6369 27 | 1.481 % |
25.15/25.26 c | 6516 | 13634 56423 168588 | 19159 6502 27 | 1.481 % |
25.85/25.93 c | 6663 | 13634 56423 168588 | 19159 6649 27 | 1.481 % |
26.55/26.67 c | 6824 | 13634 56423 168588 | 19159 6810 27 | 1.481 % |
27.35/27.40 c | 7000 | 13634 56423 168588 | 19159 6986 27 | 1.481 % |
27.95/28.06 c | 7193 | 13634 56423 168588 | 19159 7179 27 | 1.481 % |
28.75/28.81 c | 7406 | 13634 56423 168588 | 19159 7392 27 | 1.481 % |
29.55/29.61 c | 7639 | 13634 56423 168588 | 19159 7625 27 | 1.481 % |
29.85/29.99 c | 7740 | 13634 56423 168588 | 19159 7726 27 | 1.481 % |
30.35/30.46 c | 7851 | 13634 56423 168588 | 19159 7837 27 | 1.481 % |
30.95/31.05 c | 7973 | 13634 56423 168588 | 19159 7959 27 | 1.481 % |
31.65/31.73 c | 8107 | 13634 56423 168588 | 19159 8093 27 | 1.481 % |
32.35/32.47 c | 8254 | 13634 56423 168588 | 19159 8240 27 | 1.481 % |
32.95/33.02 c | 8416 | 13634 56423 168588 | 19159 8402 27 | 1.481 % |
33.75/33.80 c | 8593 | 13634 56423 168588 | 19159 8579 27 | 1.481 % |
34.54/34.65 c | 8786 | 13634 56423 168588 | 19159 8772 27 | 1.481 % |
35.54/35.61 c | 8998 | 13634 56423 168588 | 19159 8984 27 | 1.481 % |
36.44/36.51 c | 9231 | 13634 56423 168588 | 19159 9217 27 | 1.481 % |
37.24/37.33 c | 9488 | 13634 56423 168588 | 19159 9474 27 | 1.481 % |
37.64/37.77 c | 9589 | 13634 56423 168588 | 19159 9575 27 | 1.481 % |
38.24/38.34 c | 9699 | 13634 56423 168588 | 19159 9685 27 | 1.481 % |
38.84/38.92 c | 9820 | 13634 56423 168588 | 19159 9806 27 | 1.481 % |
39.34/39.46 c | 9953 | 13634 56423 168588 | 19159 9939 27 | 1.481 % |
39.94/40.07 c | 10101 | 13634 56423 168588 | 2147483647 10087 27 | 1.481 % |
40.54/40.68 c | 10262 | 13634 56423 168588 | 2147483647 10248 27 | 1.481 % |
41.33/41.47 c | 10439 | 13634 56423 168588 | 2147483647 10425 27 | 1.481 % |
42.23/42.30 c | 10633 | 13634 56423 168588 | 2147483647 10619 27 | 1.481 % |
43.13/43.27 c | 10846 | 13634 56423 168588 | 2147483647 10832 26 | 1.481 % |
43.94/44.06 c | 11079 | 13634 56423 168588 | 2147483647 11065 26 | 1.481 % |
44.83/44.92 c | 11336 | 13634 56423 168588 | 2147483647 11322 27 | 1.481 % |
46.14/46.21 c | 11617 | 13634 56423 168588 | 2147483647 11603 27 | 1.481 % |
46.53/46.62 c | 11717 | 13634 56423 168588 | 2147483647 11703 27 | 1.481 % |
47.03/47.17 c | 11827 | 13634 56423 168588 | 2147483647 11813 27 | 1.481 % |
47.43/47.55 c | 11948 | 13634 56423 168588 | 2147483647 11934 27 | 1.481 % |
47.93/48.07 c | 12081 | 13634 56423 168588 | 2147483647 12067 27 | 1.481 % |
48.53/48.70 c | 12228 | 13634 56423 168588 | 2147483647 12214 27 | 1.481 % |
49.33/49.46 c | 12389 | 13634 56423 168588 | 2147483647 12375 27 | 1.481 % |
50.13/50.26 c | 12565 | 13634 56423 168588 | 2147483647 12551 27 | 1.481 % |
51.03/51.18 c | 12760 | 13634 56423 168588 | 2147483647 12746 26 | 1.481 % |
52.13/52.24 c | 12973 | 13634 56423 168588 | 2147483647 12959 26 | 1.481 % |
53.13/53.20 c | 13206 | 13585 56211 168104 | 2147483647 13190 26 | 1.835 % |
54.13/54.28 c | 13462 | 13585 56211 168104 | 2147483647 13446 27 | 1.835 % |
55.43/55.58 c | 13744 | 13585 56211 168104 | 2147483647 13728 27 | 1.835 % |
56.93/57.02 c | 14053 | 13585 56211 168104 | 2147483647 14037 27 | 1.835 % |
57.23/57.36 c | 14153 | 13585 56211 168104 | 2147483647 14137 27 | 1.835 % |
57.53/57.64 c | 14264 | 13585 56211 168104 | 2147483647 14248 27 | 1.835 % |
58.13/58.26 c | 14387 | 13585 56211 168104 | 2147483647 14371 27 | 1.835 % |
58.63/58.78 c | 14520 | 13585 56211 168104 | 2147483647 14504 27 | 1.835 % |
59.33/59.48 c | 14666 | 13585 56211 168104 | 2147483647 14650 27 | 1.835 % |
60.23/60.36 c | 14827 | 13585 56211 168104 | 2147483647 14811 27 | 1.835 % |
60.93/61.04 c | 15005 | 13585 56211 168104 | 2147483647 14989 27 | 1.835 % |
61.73/61.85 c | 15199 | 13585 56211 168104 | 2147483647 15183 27 | 1.835 % |
62.63/62.78 c | 15413 | 13585 56211 168104 | 2147483647 15397 26 | 1.835 % |
63.73/63.88 c | 15647 | 13585 56211 168104 | 2147483647 15631 26 | 1.835 % |
64.93/65.04 c | 15904 | 13585 56211 168104 | 2147483647 15888 26 | 1.835 % |
66.03/66.19 c | 16185 | 13585 56211 168104 | 2147483647 16169 26 | 1.836 % |
67.42/67.56 c | 16495 | 13585 56211 168104 | 2147483647 16479 26 | 1.835 % |
69.03/69.14 c | 16836 | 13585 56211 168104 | 2147483647 16820 26 | 1.835 % |
69.43/69.58 c | 16937 | 13585 56211 168104 | 2147483647 16921 26 | 1.835 % |
69.93/70.08 c | 17047 | 13585 56211 168104 | 2147483647 17031 26 | 1.835 % |
70.43/70.55 c | 17169 | 13585 56211 168104 | 2147483647 17153 26 | 1.835 % |
71.03/71.16 c | 17303 | 13585 56211 168104 | 2147483647 17287 26 | 1.835 % |
71.73/71.83 c | 17449 | 13585 56211 168104 | 2147483647 17433 26 | 1.835 % |
72.43/72.52 c | 17609 | 13585 56211 168104 | 2147483647 17593 26 | 1.835 % |
73.23/73.39 c | 17786 | 13585 56211 168104 | 2147483647 17770 26 | 1.835 % |
74.32/74.42 c | 17980 | 13585 56211 168104 | 2147483647 17964 26 | 1.835 % |
75.32/75.42 c | 18193 | 13585 56211 168104 | 2147483647 18177 26 | 1.835 % |
76.32/76.42 c | 18426 | 13585 56211 168104 | 2147483647 18410 26 | 1.835 % |
77.62/77.77 c | 18683 | 13585 56211 168104 | 2147483647 18667 26 | 1.835 % |
79.02/79.19 c | 18965 | 13585 56211 168104 | 2147483647 18949 26 | 1.835 % |
80.51/80.69 c | 19274 | 13585 56211 168104 | 2147483647 19258 26 | 1.835 % |
82.11/82.26 c | 19614 | 13585 56211 168104 | 2147483647 19598 26 | 1.835 % |
83.91/84.01 c | 19986 | 13585 56211 168104 | 2147483647 19970 26 | 1.835 % |
84.31/84.47 c | 20086 | 13585 56211 168104 | 2147483647 20070 26 | 1.835 % |
84.91/85.09 c | 20196 | 13585 56211 168104 | 2147483647 20180 26 | 1.835 % |
85.61/85.77 c | 20318 | 13585 56211 168104 | 2147483647 20302 25 | 1.835 % |
86.31/86.48 c | 20451 | 13585 56211 168104 | 2147483647 20435 25 | 1.835 % |
87.11/87.20 c | 20598 | 13585 56211 168104 | 2147483647 20582 26 | 1.835 % |
87.81/87.96 c | 20758 | 13585 56211 168104 | 2147483647 20742 26 | 1.835 % |
88.61/88.79 c | 20934 | 13585 56211 168104 | 2147483647 20918 26 | 1.835 % |
89.71/89.85 c | 21127 | 13585 56211 168104 | 2147483647 21111 25 | 1.835 % |
90.61/90.77 c | 21339 | 13585 56211 168104 | 2147483647 21323 26 | 1.835 % |
91.71/91.82 c | 21572 | 13585 56211 168104 | 2147483647 21556 25 | 1.835 % |
92.91/93.07 c | 21828 | 13585 56211 168104 | 2147483647 21812 26 | 1.835 % |
94.11/94.27 c | 22109 | 13585 56211 168104 | 2147483647 22093 25 | 1.835 % |
95.11/95.25 c | 22418 | 13585 56211 168104 | 2147483647 22402 26 | 1.835 % |
96.81/96.92 c | 22757 | 13585 56211 168104 | 2147483647 22741 26 | 1.835 % |
98.50/98.65 c | 23129 | 13585 56211 168104 | 2147483647 23113 26 | 1.835 % |
100.50/100.60 c | 23539 | 13585 56211 168104 | 2147483647 23523 26 | 1.835 % |
100.90/101.08 c | 23639 | 13585 56211 168104 | 2147483647 23623 26 | 1.835 % |
101.50/101.65 c | 23750 | 13585 56211 168104 | 2147483647 23734 26 | 1.835 % |
102.10/102.23 c | 23872 | 13585 56211 168104 | 2147483647 23856 26 | 1.835 % |
102.80/102.93 c | 24006 | 13585 56211 168104 | 2147483647 23990 26 | 1.835 % |
103.50/103.69 c | 24153 | 13585 56211 168104 | 2147483647 24137 26 | 1.835 % |
104.30/104.44 c | 24313 | 13585 56211 168104 | 2147483647 24297 26 | 1.836 % |
105.30/105.40 c | 24489 | 13585 56211 168104 | 2147483647 24473 26 | 1.835 % |
106.10/106.24 c | 24682 | 13585 56211 168104 | 2147483647 24666 26 | 1.835 % |
106.90/107.04 c | 24895 | 13585 56211 168104 | 2147483647 24879 26 | 1.835 % |
108.10/108.27 c | 25128 | 13585 56211 168104 | 2147483647 25112 26 | 1.836 % |
108.80/108.99 c | 25384 | 13585 56211 168104 | 2147483647 25368 26 | 1.835 % |
110.10/110.22 c | 25665 | 13585 56211 168104 | 2147483647 25649 26 | 1.835 % |
111.70/111.87 c | 25975 | 13585 56211 168104 | 2147483647 25959 26 | 1.835 % |
113.59/113.76 c | 26315 | 13585 56211 168104 | 2147483647 26299 26 | 1.835 % |
115.29/115.49 c | 26688 | 13585 56211 168104 | 2147483647 26672 26 | 1.835 % |
117.09/117.23 c | 27097 | 13585 56211 168104 | 2147483647 27081 26 | 1.835 % |
119.39/119.51 c | 27548 | 13585 56211 168104 | 2147483647 27532 26 | 1.835 % |
119.79/119.93 c | 27648 | 13585 56211 168104 | 2147483647 27632 26 | 1.835 % |
120.29/120.49 c | 27759 | 13585 56211 168104 | 2147483647 27743 26 | 1.835 % |
120.99/121.11 c | 27881 | 13585 56211 168104 | 2147483647 27865 26 | 1.835 % |
121.49/121.66 c | 28014 | 13585 56211 168104 | 2147483647 27998 26 | 1.836 % |
122.29/122.49 c | 28162 | 13585 56211 168104 | 2147483647 28146 26 | 1.835 % |
123.09/123.21 c | 28323 | 13585 56211 168104 | 2147483647 28307 26 | 1.835 % |
124.09/124.20 c | 28499 | 13585 56211 168104 | 2147483647 28483 26 | 1.835 % |
124.88/125.04 c | 28692 | 13585 56211 168104 | 2147483647 28676 26 | 1.835 % |
125.88/126.09 c | 28904 | 13585 56211 168104 | 2147483647 28888 26 | 1.835 % |
126.98/127.17 c | 29137 | 13585 56211 168104 | 2147483647 29121 26 | 1.835 % |
128.28/128.49 c | 29394 | 13585 56211 168104 | 2147483647 29378 26 | 1.835 % |
129.38/129.56 c | 29675 | 13585 56211 168104 | 2147483647 29659 26 | 1.835 % |
130.88/131.06 c | 29985 | 13585 56211 168104 | 2147483647 29969 26 | 1.835 % |
132.68/132.86 c | 30324 | 13585 56211 168104 | 2147483647 30308 26 | 1.835 % |
134.58/134.77 c | 30696 | 13585 56211 168104 | 2147483647 30680 26 | 1.835 % |
136.38/136.53 c | 31105 | 13585 56211 168104 | 2147483647 31089 26 | 1.835 % |
138.48/138.69 c | 31554 | 13585 56211 168104 | 2147483647 31538 26 | 1.835 % |
141.18/141.32 c | 32048 | 13585 56211 168104 | 2147483647 32032 26 | 1.835 % |
141.67/141.82 c | 32148 | 13585 56211 168104 | 2147483647 32132 26 | 1.835 % |
141.78/141.99 c | 32258 | 13585 56211 168104 | 2147483647 32242 26 | 1.835 % |
142.37/142.59 c | 32379 | 13585 56211 168104 | 2147483647 32363 26 | 1.835 % |
142.88/143.09 c | 32513 | 13585 56211 168104 | 2147483647 32497 26 | 1.835 % |
143.77/143.93 c | 32659 | 13585 56211 168104 | 2147483647 32643 26 | 1.835 % |
144.67/144.80 c | 32820 | 13585 56211 168104 | 2147483647 32804 26 | 1.835 % |
145.27/145.45 c | 32997 | 13585 56211 168104 | 2147483647 32981 26 | 1.836 % |
146.18/146.37 c | 33190 | 13585 56211 168104 | 2147483647 33174 26 | 1.835 % |
147.17/147.31 c | 33403 | 13585 56211 168104 | 2147483647 33387 26 | 1.835 % |
148.38/148.57 c | 33637 | 13585 56211 168104 | 2147483647 33621 26 | 1.835 % |
148.97/149.14 c | 33893 | 13585 56211 168104 | 2147483647 33877 26 | 1.835 % |
150.27/150.47 c | 34174 | 13585 56211 168104 | 2147483647 34158 26 | 1.835 % |
152.07/152.21 c | 34484 | 13585 56211 168104 | 2147483647 34468 26 | 1.835 % |
153.97/154.14 c | 34825 | 13585 56211 168104 | 2147483647 34809 26 | 1.836 % |
155.97/156.17 c | 35198 | 13585 56211 168104 | 2147483647 35182 26 | 1.835 % |
158.17/158.33 c | 35609 | 13585 56211 168104 | 2147483647 35593 26 | 1.836 % |
160.17/160.35 c | 36059 | 13585 56211 168104 | 2147483647 36043 26 | 1.835 % |
162.77/162.91 c | 36553 | 13585 56211 168104 | 2147483647 36537 26 | 1.835 % |
165.87/166.07 c | 37096 | 13585 56211 168104 | 2147483647 37080 26 | 1.835 % |
166.37/166.53 c | 37198 | 13585 56211 168104 | 2147483647 37182 26 | 1.835 % |
167.07/167.21 c | 37308 | 13585 56211 168104 | 2147483647 37292 26 | 1.835 % |
167.57/167.73 c | 37429 | 13585 56211 168104 | 2147483647 37413 26 | 1.835 % |
168.27/168.44 c | 37563 | 13585 56211 168104 | 2147483647 37547 26 | 1.835 % |
169.16/169.30 c | 37709 | 13585 56211 168104 | 2147483647 37693 26 | 1.835 % |
170.06/170.29 c | 37870 | 13585 56211 168104 | 2147483647 37854 26 | 1.835 % |
171.06/171.26 c | 38046 | 13585 56211 168104 | 2147483647 38030 26 | 1.835 % |
172.16/172.35 c | 38240 | 13585 56211 168104 | 2147483647 38224 26 | 1.835 % |
173.36/173.56 c | 38452 | 13585 56211 168104 | 2147483647 38436 26 | 1.835 % |
174.66/174.86 c | 38685 | 13585 56211 168104 | 2147483647 38669 26 | 1.835 % |
176.16/176.32 c | 38941 | 13585 56211 168104 | 2147483647 38925 26 | 1.836 % |
177.36/177.57 c | 39222 | 13585 56211 168104 | 2147483647 39206 26 | 1.835 % |
179.16/179.33 c | 39532 | 13585 56211 168104 | 2147483647 39516 26 | 1.835 % |
181.06/181.22 c | 39872 | 13585 56211 168104 | 2147483647 39856 26 | 1.835 % |
182.65/182.83 c | 40244 | 13585 56211 168104 | 2147483647 40228 26 | 1.835 % |
184.76/184.94 c | 40654 | 13585 56211 168104 | 2147483647 40638 26 | 1.835 % |
186.95/187.17 c | 41105 | 13585 56211 168104 | 2147483647 41089 26 | 1.835 % |
189.16/189.30 c | 41598 | 13585 56211 168104 | 2147483647 41582 26 | 1.835 % |
191.76/191.90 c | 42141 | 13585 56211 168104 | 2147483647 42125 26 | 1.835 % |
194.56/194.72 c | 42737 | 13585 56211 168104 | 2147483647 42721 26 | 1.835 % |
195.06/195.28 c | 42837 | 13585 56211 168104 | 2147483647 42821 26 | 1.836 % |
195.56/195.80 c | 42947 | 13585 56211 168104 | 2147483647 42931 26 | 1.835 % |
195.96/196.19 c | 43068 | 13585 56211 168104 | 2147483647 43052 26 | 1.835 % |
196.56/196.77 c | 43202 | 13585 56211 168104 | 2147483647 43186 26 | 1.835 % |
197.26/197.47 c | 43348 | 13585 56211 168104 | 2147483647 43332 26 | 1.835 % |
198.16/198.35 c | 43508 | 13585 56211 168104 | 2147483647 43492 26 | 1.835 % |
199.25/199.46 c | 43685 | 13585 56211 168104 | 2147483647 43669 26 | 1.835 % |
200.35/200.58 c | 43878 | 13585 56211 168104 | 2147483647 43862 26 | 1.835 % |
201.55/201.71 c | 44091 | 13585 56211 168104 | 2147483647 44075 26 | 1.836 % |
202.65/202.88 c | 44325 | 13585 56211 168104 | 2147483647 44309 26 | 1.835 % |
203.85/204.09 c | 44582 | 13585 56211 168104 | 2147483647 44566 26 | 1.836 % |
205.05/205.25 c | 44864 | 13585 56211 168104 | 2147483647 44848 26 | 1.835 % |
206.35/206.59 c | 45174 | 13585 56211 168104 | 2147483647 45158 26 | 1.836 % |
208.25/208.47 c | 45513 | 13585 56211 168104 | 2147483647 45497 26 | 1.835 % |
210.05/210.26 c | 45885 | 13585 56211 168104 | 2147483647 45869 26 | 1.835 % |
211.95/212.15 c | 46295 | 13585 56211 168104 | 2147483647 46279 26 | 1.835 % |
214.25/214.43 c | 46744 | 13585 56211 168104 | 2147483647 46728 26 | 1.835 % |
217.24/217.40 c | 47237 | 13585 56211 168104 | 2147483647 47221 26 | 1.835 % |
220.24/220.40 c | 47780 | 13585 56211 168104 | 2147483647 47764 26 | 1.835 % |
223.94/224.13 c | 48379 | 13585 56211 168104 | 2147483647 48363 26 | 1.835 % |
227.24/227.48 c | 49035 | 13585 56211 168104 | 2147483647 49019 26 | 1.835 % |
227.84/228.00 c | 49135 | 13585 56211 168104 | 2147483647 49119 26 | 1.835 % |
228.54/228.73 c | 49245 | 13585 56211 168104 | 2147483647 49229 26 | 1.835 % |
229.24/229.44 c | 49367 | 13585 56211 168104 | 2147483647 49351 26 | 1.835 % |
230.04/230.29 c | 49500 | 13585 56211 168104 | 2147483647 49484 26 | 1.835 % |
230.84/231.03 c | 49646 | 13585 56211 168104 | 2147483647 49630 26 | 1.835 % |
231.63/231.86 c | 49807 | 13585 56211 168104 | 2147483647 49791 26 | 1.835 % |
232.53/232.70 c | 49983 | 13585 56211 168104 | 2147483647 49967 26 | 1.835 % |
233.53/233.71 c | 50176 | 13585 56211 168104 | 2147483647 50160 26 | 1.835 % |
234.83/235.01 c | 50390 | 13585 56211 168104 | 2147483647 50374 26 | 1.835 % |
235.93/236.13 c | 50623 | 13585 56211 168104 | 2147483647 50607 26 | 1.835 % |
237.33/237.60 c | 50879 | 13585 56211 168104 | 2147483647 50863 26 | 1.835 % |
239.03/239.27 c | 51160 | 13585 56211 168104 | 2147483647 51144 26 | 1.835 % |
241.03/241.27 c | 51469 | 13585 56211 168104 | 2147483647 51453 26 | 1.835 % |
243.03/243.29 c | 51809 | 13585 56211 168104 | 2147483647 51793 26 | 1.835 % |
244.93/245.19 c | 52181 | 13585 56211 168104 | 2147483647 52165 26 | 1.836 % |
247.23/247.43 c | 52590 | 13585 56211 168104 | 2147483647 52574 26 | 1.835 % |
249.63/249.80 c | 53039 | 13585 56211 168104 | 2147483647 53023 26 | 1.835 % |
252.62/252.89 c | 53532 | 13585 56211 168104 | 2147483647 53516 26 | 1.835 % |
256.02/256.22 c | 54074 | 13585 56211 168104 | 2147483647 54058 26 | 1.835 % |
259.81/260.05 c | 54671 | 13585 56211 168104 | 2147483647 54655 26 | 1.835 % |
263.82/264.08 c | 55326 | 13585 56211 168104 | 2147483647 55310 26 | 1.835 % |
268.51/268.76 c | 56046 | 13585 56211 168104 | 2147483647 56030 26 | 1.835 % |
268.91/269.17 c | 56148 | 13585 56211 168104 | 2147483647 56132 26 | 1.835 % |
269.51/269.78 c | 56259 | 13585 56211 168104 | 2147483647 56243 26 | 1.835 % |
270.21/270.45 c | 56381 | 13585 56211 168104 | 2147483647 56365 26 | 1.836 % |
270.91/271.12 c | 56514 | 13585 56211 168104 | 2147483647 56498 26 | 1.835 % |
271.71/271.92 c | 56662 | 13585 56211 168104 | 2147483647 56646 26 | 1.835 % |
272.71/272.98 c | 56823 | 13585 56211 168104 | 2147483647 56807 26 | 1.836 % |
273.71/273.99 c | 57000 | 13585 56211 168104 | 2147483647 56984 26 | 1.835 % |
274.91/275.14 c | 57194 | 13585 56211 168104 | 2147483647 57178 26 | 1.836 % |
276.01/276.29 c | 57406 | 13585 56211 168104 | 2147483647 57390 26 | 1.836 % |
277.40/277.61 c | 57641 | 13585 56211 168104 | 2147483647 57625 26 | 1.835 % |
278.71/278.92 c | 57897 | 13585 56211 168104 | 2147483647 57881 26 | 1.835 % |
280.32/280.54 c | 58179 | 13585 56211 168104 | 2147483647 58163 26 | 1.835 % |
282.41/282.65 c | 58489 | 13585 56211 168104 | 2147483647 58473 26 | 1.835 % |
284.61/284.81 c | 58831 | 13585 56211 168104 | 2147483647 58815 26 | 1.835 % |
286.81/287.02 c | 59203 | 13585 56211 168104 | 2147483647 59187 26 | 1.835 % |
289.31/289.56 c | 59613 | 13585 56211 168104 | 2147483647 59597 26 | 1.835 % |
291.91/292.14 c | 60062 | 13585 56211 168104 | 2147483647 60046 26 | 1.835 % |
294.61/294.81 c | 60556 | 13585 56211 168104 | 2147483647 60540 26 | 1.835 % |
297.91/298.11 c | 61099 | 13585 56211 168104 | 2147483647 61083 26 | 1.835 % |
301.40/301.62 c | 61695 | 13585 56211 168104 | 2147483647 61679 26 | 1.835 % |
304.99/305.25 c | 62350 | 13585 56211 168104 | 2147483647 62334 26 | 1.835 % |
307.80/308.10 c | 63071 | 13585 56211 168104 | 2147483647 63055 26 | 1.835 % |
312.29/312.56 c | 63863 | 13585 56211 168104 | 2147483647 63847 26 | 1.835 % |
312.89/313.17 c | 63963 | 13585 56211 168104 | 2147483647 63947 26 | 1.835 % |
313.69/313.91 c | 64073 | 13585 56211 168104 | 2147483647 64057 26 | 1.836 % |
314.49/314.71 c | 64195 | 13585 56211 168104 | 2147483647 64179 26 | 1.836 % |
315.29/315.51 c | 64330 | 13585 56211 168104 | 2147483647 64314 26 | 1.835 % |
316.19/316.44 c | 64476 | 13585 56211 168104 | 2147483647 64460 26 | 1.835 % |
317.19/317.46 c | 64637 | 13585 56211 168104 | 2147483647 64621 26 | 1.835 % |
318.19/318.41 c | 64814 | 13585 56211 168104 | 2147483647 64798 26 | 1.835 % |
319.49/319.70 c | 65010 | 13585 56211 168104 | 2147483647 64994 26 | 1.835 % |
320.78/321.09 c | 65222 | 13585 56211 168104 | 2147483647 65206 26 | 1.835 % |
322.38/322.66 c | 65456 | 13585 56211 168104 | 2147483647 65440 26 | 1.836 % |
323.98/324.28 c | 65714 | 13585 56211 168104 | 2147483647 65698 26 | 1.835 % |
325.68/325.90 c | 65995 | 13585 56211 168104 | 2147483647 65979 26 | 1.835 % |
327.59/327.86 c | 66305 | 13585 56211 168104 | 2147483647 66289 26 | 1.835 % |
329.38/329.66 c | 66645 | 13585 56211 168104 | 2147483647 66629 26 | 1.835 % |
331.78/332.04 c | 67017 | 13585 56211 168104 | 2147483647 67001 26 | 1.836 % |
334.58/334.87 c | 67426 | 13585 56211 168104 | 2147483647 67410 26 | 1.835 % |
337.38/337.62 c | 67876 | 13585 56211 168104 | 2147483647 67860 26 | 1.835 % |
340.48/340.79 c | 68370 | 13585 56211 168104 | 2147483647 68354 26 | 1.835 % |
344.08/344.34 c | 68913 | 13585 56211 168104 | 2147483647 68897 26 | 1.835 % |
347.67/347.96 c | 69509 | 13585 56211 168104 | 2147483647 69493 26 | 1.835 % |
351.27/351.51 c | 70164 | 13585 56211 168104 | 2147483647 70148 26 | 1.836 % |
355.77/356.00 c | 70885 | 13585 56211 168104 | 2147483647 70869 26 | 1.836 % |
360.57/360.83 c | 71678 | 13585 56211 168104 | 2147483647 71662 26 | 1.836 % |
366.17/366.47 c | 72549 | 13585 56211 168104 | 2147483647 72533 26 | 1.835 % |
366.87/367.14 c | 72651 | 13585 56211 168104 | 2147483647 72635 26 | 1.835 % |
367.67/367.92 c | 72761 | 13585 56211 168104 | 2147483647 72745 26 | 1.836 % |
368.37/368.64 c | 72882 | 13585 56211 168104 | 2147483647 72866 26 | 1.836 % |
369.27/369.60 c | 73016 | 13585 56211 168104 | 2147483647 73000 26 | 1.835 % |
370.37/370.62 c | 73162 | 13585 56211 168104 | 2147483647 73146 26 | 1.835 % |
371.37/371.65 c | 73322 | 13585 56211 168104 | 2147483647 73306 26 | 1.835 % |
372.47/372.78 c | 73498 | 13585 56211 168104 | 2147483647 73482 26 | 1.835 % |
373.87/374.15 c | 73693 | 13585 56211 168104 | 2147483647 73677 26 | 1.836 % |
375.37/375.60 c | 73905 | 13585 56211 168104 | 2147483647 73889 26 | 1.835 % |
376.96/377.27 c | 74138 | 13585 56211 168104 | 2147483647 74122 26 | 1.835 % |
378.76/379.05 c | 74394 | 13585 56211 168104 | 2147483647 74378 26 | 1.835 % |
380.66/380.94 c | 74675 | 13585 56211 168104 | 2147483647 74659 26 | 1.835 % |
382.46/382.75 c | 74988 | 13585 56211 168104 | 2147483647 74972 26 | 1.835 % |
384.56/384.87 c | 75328 | 13585 56211 168104 | 2147483647 75312 26 | 1.835 % |
386.56/386.80 c | 75701 | 13585 56211 168104 | 2147483647 75685 26 | 1.835 % |
389.26/389.53 c | 76110 | 13585 56211 168104 | 2147483647 76094 26 | 1.835 % |
391.36/391.68 c | 76559 | 13585 56211 168104 | 2147483647 76543 26 | 1.835 % |
394.16/394.50 c | 77053 | 13585 56211 168104 | 2147483647 77037 26 | 1.835 % |
397.75/398.06 c | 77598 | 13585 56211 168104 | 2147483647 77582 26 | 1.835 % |
401.55/401.80 c | 78195 | 13585 56211 168104 | 2147483647 78179 26 | 1.835 % |
404.95/405.22 c | 78851 | 13585 56211 168104 | 2147483647 78835 26 | 1.835 % |
409.95/410.28 c | 79571 | 13585 56211 168104 | 2147483647 79555 26 | 1.836 % |
415.55/415.86 c | 80363 | 13585 56211 168104 | 2147483647 80347 26 | 1.835 % |
421.24/421.58 c | 81234 | 13585 56211 168104 | 2147483647 81218 26 | 1.836 % |
427.84/428.10 c | 82192 | 13585 56211 168104 | 2147483647 82176 26 | 1.835 % |
428.54/428.81 c | 82292 | 13585 56211 168104 | 2147483647 82276 26 | 1.835 % |
429.14/429.46 c | 82402 | 13585 56211 168104 | 2147483647 82386 26 | 1.835 % |
429.74/430.09 c | 82523 | 13585 56211 168104 | 2147483647 82507 26 | 1.835 % |
430.74/431.03 c | 82656 | 13585 56211 168104 | 2147483647 82640 26 | 1.835 % |
431.64/431.93 c | 82802 | 13585 56211 168104 | 2147483647 82786 26 | 1.835 % |
432.64/432.94 c | 82963 | 13585 56211 168104 | 2147483647 82947 26 | 1.835 % |
433.93/434.22 c | 83139 | 13585 56211 168104 | 2147483647 83123 26 | 1.836 % |
434.73/435.07 c | 83332 | 13585 56211 168104 | 2147483647 83316 26 | 1.835 % |
436.13/436.41 c | 83544 | 13585 56211 168104 | 2147483647 83528 26 | 1.835 % |
437.64/437.96 c | 83779 | 13585 56211 168104 | 2147483647 83763 26 | 1.836 % |
439.43/439.77 c | 84036 | 13585 56211 168104 | 2147483647 84020 26 | 1.836 % |
441.33/441.67 c | 84317 | 13585 56211 168104 | 2147483647 84301 26 | 1.835 % |
443.42/443.77 c | 84626 | 13585 56211 168104 | 2147483647 84610 26 | 1.835 % |
445.92/446.24 c | 84966 | 13585 56211 168104 | 2147483647 84950 26 | 1.835 % |
448.32/448.68 c | 85340 | 13585 56211 168104 | 2147483647 85324 26 | 1.835 % |
451.02/451.33 c | 85749 | 13585 56211 168104 | 2147483647 85733 26 | 1.835 % |
453.82/454.17 c | 86198 | 13585 56211 168104 | 2147483647 86182 26 | 1.835 % |
457.32/457.65 c | 86691 | 13585 56211 168104 | 2147483647 86675 26 | 1.835 % |
461.02/461.37 c | 87234 | 13585 56211 168104 | 2147483647 87218 26 | 1.835 % |
465.12/465.46 c | 87831 | 13585 56211 168104 | 2147483647 87815 26 | 1.835 % |
469.91/470.29 c | 88487 | 13585 56211 168104 | 2147483647 88471 26 | 1.836 % |
473.01/473.35 c | 89207 | 13585 56211 168104 | 2147483647 89191 26 | 1.835 % |
478.11/478.49 c | 89999 | 13585 56211 168104 | 2147483647 89983 26 | 1.835 % |
483.71/484.09 c | 90871 | 13585 56211 168104 | 2147483647 90855 26 | 1.835 % |
491.00/491.39 c | 91829 | 13585 56211 168104 | 2147483647 91813 26 | 1.835 % |
496.80/497.14 c | 92882 | 13585 56211 168104 | 2147483647 92866 26 | 1.835 % |
497.40/497.79 c | 92982 | 13585 56211 168104 | 2147483647 92966 26 | 1.835 % |
498.30/498.68 c | 93092 | 13585 56211 168104 | 2147483647 93076 26 | 1.835 % |
499.30/499.68 c | 93213 | 13585 56211 168104 | 2147483647 93197 26 | 1.835 % |
500.30/500.67 c | 93347 | 13585 56211 168104 | 2147483647 93331 26 | 1.835 % |
501.30/501.65 c | 93494 | 13585 56211 168104 | 2147483647 93478 26 | 1.835 % |
502.30/502.68 c | 93654 | 13585 56211 168104 | 2147483647 93638 26 | 1.835 % |
503.70/504.01 c | 93830 | 13585 56211 168104 | 2147483647 93814 26 | 1.835 % |
505.00/505.33 c | 94023 | 13585 56211 168104 | 2147483647 94007 26 | 1.835 % |
506.60/506.95 c | 94235 | 13585 56211 168104 | 2147483647 94219 26 | 1.835 % |
508.10/508.48 c | 94468 | 13585 56211 168104 | 2147483647 94452 26 | 1.835 % |
510.20/510.52 c | 94724 | 13585 56211 168104 | 2147483647 94708 26 | 1.836 % |
512.09/512.49 c | 95006 | 13585 56211 168104 | 2147483647 94990 26 | 1.836 % |
514.10/514.41 c | 95315 | 13585 56211 168104 | 2147483647 95299 26 | 1.835 % |
516.59/516.96 c | 95655 | 13585 56211 168104 | 2147483647 95639 26 | 1.835 % |
519.19/519.56 c | 96027 | 13585 56211 168104 | 2147483647 96011 26 | 1.835 % |
521.99/522.39 c | 96437 | 13585 56211 168104 | 2147483647 96421 26 | 1.835 % |
524.99/525.39 c | 96887 | 13585 56211 168104 | 2147483647 96871 26 | 1.835 % |
528.89/529.21 c | 97380 | 13585 56211 168104 | 2147483647 97364 26 | 1.836 % |
532.88/533.29 c | 97922 | 13585 56211 168104 | 2147483647 97906 26 | 1.835 % |
537.29/537.70 c | 98518 | 13585 56211 168104 | 2147483647 98502 26 | 1.835 % |
542.39/542.72 c | 99174 | 13585 56211 168104 | 2147483647 99158 26 | 1.835 % |
547.59/547.98 c | 99894 | 13585 56211 168104 | 2147483647 99878 26 | 1.835 % |
553.29/553.62 c | 100687 | 13585 56211 168104 | 2147483647 100671 26 | 1.836 % |
559.59/559.96 c | 101558 | 13585 56211 168104 | 2147483647 101542 26 | 1.835 % |
566.78/567.16 c | 102517 | 13585 56211 168104 | 2147483647 102501 26 | 1.835 % |
574.47/574.85 c | 103570 | 13585 56211 168104 | 2147483647 103554 26 | 1.835 % |
583.07/583.41 c | 104729 | 13585 56211 168104 | 2147483647 104713 26 | 1.835 % |
583.77/584.14 c | 104829 | 13585 56211 168104 | 2147483647 104813 26 | 1.836 % |
584.57/584.98 c | 104942 | 13585 56211 168104 | 2147483647 104926 26 | 1.835 % |
585.47/585.85 c | 105063 | 13585 56211 168104 | 2147483647 105047 26 | 1.835 % |
586.36/586.73 c | 105197 | 13585 56211 168104 | 2147483647 105181 26 | 1.835 % |
587.26/587.60 c | 105344 | 13585 56211 168104 | 2147483647 105328 26 | 1.835 % |
588.17/588.59 c | 105504 | 13585 56211 168104 | 2147483647 105488 26 | 1.836 % |
589.56/589.95 c | 105681 | 13585 56211 168104 | 2147483647 105665 26 | 1.835 % |
590.86/591.28 c | 105874 | 13585 56211 168104 | 2147483647 105858 26 | 1.836 % |
592.26/592.65 c | 106086 | 13585 56211 168104 | 2147483647 106070 26 | 1.835 % |
593.76/594.15 c | 106320 | 13585 56211 168104 | 2147483647 106304 26 | 1.835 % |
595.36/595.74 c | 106576 | 13585 56211 168104 | 2147483647 106560 26 | 1.836 % |
596.96/597.37 c | 106857 | 13585 56211 168104 | 2147483647 106841 26 | 1.835 % |
599.26/599.67 c | 107166 | 13585 56211 168104 | 2147483647 107150 26 | 1.835 % |
601.36/601.80 c | 107506 | 13585 56211 168104 | 2147483647 107490 26 | 1.835 % |
603.76/604.11 c | 107879 | 13585 56211 168104 | 2147483647 107863 26 | 1.835 % |
606.45/606.89 c | 108288 | 13585 56211 168104 | 2147483647 108272 26 | 1.836 % |
609.75/610.14 c | 108738 | 13585 56211 168104 | 2147483647 108722 26 | 1.835 % |
612.85/613.29 c | 109232 | 13585 56211 168104 | 2147483647 109216 26 | 1.835 % |
616.25/616.63 c | 109775 | 13585 56211 168104 | 2147483647 109759 26 | 1.835 % |
620.05/620.42 c | 110373 | 13585 56211 168104 | 2147483647 110357 26 | 1.835 % |
624.64/625.08 c | 111030 | 13585 56211 168104 | 2147483647 111014 26 | 1.835 % |
630.64/631.01 c | 111751 | 13585 56211 168104 | 2147483647 111735 26 | 1.835 % |
636.94/637.39 c | 112544 | 13585 56211 168104 | 2147483647 112528 26 | 1.835 % |
643.95/644.37 c | 113415 | 13585 56211 168104 | 2147483647 113399 26 | 1.835 % |
650.85/651.25 c | 114373 | 13585 56211 168104 | 2147483647 114357 26 | 1.835 % |
656.04/656.48 c | 115426 | 13585 56211 168104 | 2147483647 115410 26 | 1.835 % |
660.44/660.89 c | 116585 | 13585 56211 168104 | 2147483647 116569 26 | 1.835 % |
670.33/670.76 c | 117858 | 13585 56211 168104 | 2147483647 117842 27 | 1.835 % |
671.03/671.40 c | 117959 | 13585 56211 168104 | 2147483647 117943 27 | 1.836 % |
671.93/672.32 c | 118070 | 13585 56211 168104 | 2147483647 118054 27 | 1.835 % |
672.93/673.31 c | 118192 | 13585 56211 168104 | 2147483647 118176 27 | 1.835 % |
674.03/674.46 c | 118326 | 13585 56211 168104 | 2147483647 118310 27 | 1.835 % |
675.33/675.71 c | 118473 | 13585 56211 168104 | 2147483647 118457 27 | 1.835 % |
676.53/676.96 c | 118634 | 13585 56211 168104 | 2147483647 118618 27 | 1.835 % |
677.73/678.17 c | 118810 | 13585 56211 168104 | 2147483647 118794 27 | 1.835 % |
679.43/679.84 c | 119005 | 13585 56211 168104 | 2147483647 118989 27 | 1.835 % |
681.12/681.55 c | 119218 | 13585 56211 168104 | 2147483647 119202 27 | 1.835 % |
682.92/683.35 c | 119451 | 13585 56211 168104 | 2147483647 119435 27 | 1.835 % |
685.03/685.43 c | 119709 | 13585 56211 168104 | 2147483647 119693 27 | 1.835 % |
687.13/687.59 c | 119991 | 13585 56211 168104 | 2147483647 119975 26 | 1.835 % |
689.02/689.47 c | 120302 | 13585 56211 168104 | 2147483647 120286 26 | 1.835 % |
691.62/692.09 c | 120641 | 13585 56211 168104 | 2147483647 120625 27 | 1.835 % |
694.42/694.88 c | 121014 | 13585 56211 168104 | 2147483647 120998 27 | 1.835 % |
697.72/698.12 c | 121424 | 13585 56211 168104 | 2147483647 121408 26 | 1.835 % |
701.22/701.68 c | 121874 | 13585 56211 168104 | 2147483647 121858 26 | 1.835 % |
705.51/705.99 c | 122368 | 13585 56211 168104 | 2147483647 122352 26 | 1.835 % |
710.11/710.52 c | 122911 | 13585 56211 168104 | 2147483647 122895 26 | 1.835 % |
715.01/715.42 c | 123508 | 13585 56211 168104 | 2147483647 123492 26 | 1.836 % |
719.20/719.66 c | 124163 | 13585 56211 168104 | 2147483647 124147 27 | 1.836 % |
725.20/725.67 c | 124883 | 13585 56211 168104 | 2147483647 124867 27 | 1.835 % |
731.70/732.18 c | 125676 | 13585 56211 168104 | 2147483647 125660 26 | 1.835 % |
738.80/739.24 c | 126547 | 13585 56211 168104 | 2147483647 126531 26 | 1.835 % |
746.29/746.78 c | 127505 | 13585 56211 168104 | 2147483647 127489 26 | 1.835 % |
754.39/754.86 c | 128558 | 13585 56211 168104 | 2147483647 128542 26 | 1.835 % |
763.19/763.60 c | 129717 | 13585 56211 168104 | 2147483647 129701 26 | 1.835 % |
773.28/773.80 c | 130992 | 13585 56211 168104 | 2147483647 130976 26 | 1.835 % |
784.68/785.15 c | 132392 | 13585 56211 168104 | 2147483647 132376 26 | 1.836 % |
785.48/785.96 c | 132493 | 13585 56211 168104 | 2147483647 132477 26 | 1.835 % |
786.48/786.95 c | 132604 | 13585 56211 168104 | 2147483647 132588 26 | 1.836 % |
787.48/787.94 c | 132726 | 13585 56211 168104 | 2147483647 132710 26 | 1.836 % |
788.58/789.06 c | 132860 | 13585 56211 168104 | 2147483647 132844 26 | 1.835 % |
789.78/790.25 c | 133007 | 13585 56211 168104 | 2147483647 132991 26 | 1.835 % |
791.18/791.61 c | 133167 | 13585 56211 168104 | 2147483647 133151 26 | 1.835 % |
792.58/793.01 c | 133343 | 13585 56211 168104 | 2147483647 133327 26 | 1.836 % |
794.18/794.61 c | 133536 | 13585 56211 168104 | 2147483647 133520 26 | 1.835 % |
796.08/796.56 c | 133748 | 13585 56211 168104 | 2147483647 133732 26 | 1.835 % |
797.97/798.42 c | 133982 | 13585 56211 168104 | 2147483647 133966 26 | 1.835 % |
799.97/800.49 c | 134240 | 13585 56211 168104 | 2147483647 134224 26 | 1.835 % |
802.37/802.81 c | 134522 | 13585 56211 168104 | 2147483647 134506 26 | 1.835 % |
804.57/805.09 c | 134831 | 13585 56211 168104 | 2147483647 134815 26 | 1.836 % |
807.37/807.87 c | 135170 | 13585 56211 168104 | 2147483647 135154 26 | 1.835 % |
810.47/810.92 c | 135542 | 13585 56211 168104 | 2147483647 135526 26 | 1.835 % |
813.67/814.14 c | 135951 | 13585 56211 168104 | 2147483647 135935 26 | 1.835 % |
817.46/817.92 c | 136400 | 13585 56211 168104 | 2147483647 136384 26 | 1.835 % |
821.16/821.68 c | 136893 | 13585 56211 168104 | 2147483647 136877 26 | 1.835 % |
825.06/825.50 c | 137435 | 13585 56211 168104 | 2147483647 137419 26 | 1.835 % |
829.56/830.03 c | 138031 | 13585 56211 168104 | 2147483647 138015 26 | 1.835 % |
833.65/834.14 c | 138687 | 13585 56211 168104 | 2147483647 138671 26 | 1.836 % |
839.75/840.28 c | 139408 | 13585 56211 168104 | 2147483647 139392 26 | 1.835 % |
846.24/846.74 c | 140201 | 13585 56211 168104 | 2147483647 140185 26 | 1.835 % |
852.54/853.06 c | 141073 | 13585 56211 168104 | 2147483647 141057 26 | 1.836 % |
860.24/860.77 c | 142032 | 13585 56211 168104 | 2147483647 142016 26 | 1.836 % |
868.45/868.95 c | 143085 | 13585 56211 168104 | 2147483647 143069 26 | 1.835 % |
877.14/877.60 c | 144243 | 13585 56211 168104 | 2147483647 144227 26 | 1.835 % |
886.84/887.31 c | 145516 | 13585 56211 168104 | 2147483647 145500 26 | 1.836 % |
898.43/898.92 c | 146918 | 13585 56211 168104 | 2147483647 146902 26 | 1.835 % |
911.13/911.60 c | 148458 | 13585 56211 168104 | 2147483647 148442 26 | 1.835 % |
911.93/912.46 c | 148558 | 13585 56211 168104 | 2147483647 148542 26 | 1.835 % |
912.93/913.48 c | 148668 | 13585 56211 168104 | 2147483647 148652 26 | 1.835 % |
914.03/914.57 c | 148790 | 13585 56211 168104 | 2147483647 148774 26 | 1.835 % |
915.13/915.69 c | 148923 | 13585 56211 168104 | 2147483647 148907 26 | 1.835 % |
916.23/916.79 c | 149069 | 13585 56211 168104 | 2147483647 149053 26 | 1.835 % |
917.63/918.13 c | 149229 | 13585 56211 168104 | 2147483647 149213 26 | 1.836 % |
919.23/919.72 c | 149406 | 13585 56211 168104 | 2147483647 149390 26 | 1.835 % |
920.73/921.24 c | 149599 | 13585 56211 168104 | 2147483647 149583 26 | 1.836 % |
922.33/922.87 c | 149811 | 13585 56211 168104 | 2147483647 149795 26 | 1.835 % |
924.22/924.74 c | 150044 | 13585 56211 168104 | 2147483647 150028 26 | 1.835 % |
926.12/926.65 c | 150301 | 13585 56211 168104 | 2147483647 150285 26 | 1.836 % |
928.52/929.05 c | 150582 | 13585 56211 168104 | 2147483647 150566 26 | 1.835 % |
931.12/931.64 c | 150892 | 13585 56211 168104 | 2147483647 150876 26 | 1.835 % |
933.92/934.44 c | 151231 | 13585 56211 168104 | 2147483647 151215 26 | 1.835 % |
936.82/937.39 c | 151604 | 13585 56211 168104 | 2147483647 151588 26 | 1.836 % |
940.02/940.59 c | 152013 | 13585 56211 168104 | 2147483647 151997 26 | 1.836 % |
943.82/944.31 c | 152463 | 13585 56211 168104 | 2147483647 152447 26 | 1.836 % |
946.92/947.45 c | 152956 | 13585 56211 168104 | 2147483647 152940 26 | 1.835 % |
951.12/951.63 c | 153498 | 13585 56211 168104 | 2147483647 153482 26 | 1.835 % |
956.71/957.29 c | 154094 | 13585 56211 168104 | 2147483647 154078 26 | 1.835 % |
962.71/963.23 c | 154749 | 13585 56211 168104 | 2147483647 154733 26 | 1.835 % |
969.41/969.92 c | 155471 | 13585 56211 168104 | 2147483647 155455 26 | 1.835 % |
976.81/977.36 c | 156263 | 13585 56211 168104 | 2147483647 156247 26 | 1.835 % |
984.01/984.55 c | 157135 | 13585 56211 168104 | 2147483647 157119 26 | 1.835 % |
991.00/991.56 c | 158093 | 13585 56211 168104 | 2147483647 158077 26 | 1.835 % |
1000.00/1000.56 c | 159146 | 13585 56211 168104 | 2147483647 159130 26 | 1.835 % |
1007.80/1008.32 c | 160304 | 13585 56211 168104 | 2147483647 160288 26 | 1.835 % |
1018.89/1019.41 c | 161578 | 13585 56211 168104 | 2147483647 161562 26 | 1.835 % |
1031.69/1032.23 c | 162979 | 13585 56211 168104 | 2147483647 162963 26 | 1.835 % |
1038.99/1039.55 c | 164524 | 13585 56211 168104 | 2147483647 164508 26 | 1.836 % |
1054.88/1055.46 c | 166219 | 13585 56211 168104 | 2147483647 166203 26 | 1.835 % |
1055.49/1056.09 c | 166321 | 13585 56211 168104 | 2147483647 166305 26 | 1.835 % |
1056.59/1057.13 c | 166431 | 13585 56211 168104 | 2147483647 166415 26 | 1.836 % |
1057.58/1058.12 c | 166552 | 13585 56211 168104 | 2147483647 166536 26 | 1.835 % |
1058.79/1059.38 c | 166686 | 13585 56211 168104 | 2147483647 166670 26 | 1.835 % |
1059.99/1060.55 c | 166832 | 13585 56211 168104 | 2147483647 166816 26 | 1.835 % |
1061.28/1061.89 c | 166993 | 13585 56211 168104 | 2147483647 166977 26 | 1.835 % |
1062.68/1063.22 c | 167169 | 13585 56211 168104 | 2147483647 167153 26 | 1.835 % |
1064.38/1064.97 c | 167363 | 13585 56211 168104 | 2147483647 167347 26 | 1.836 % |
1066.18/1066.76 c | 167575 | 13585 56211 168104 | 2147483647 167559 26 | 1.836 % |
1068.28/1068.80 c | 167809 | 13585 56211 168104 | 2147483647 167793 26 | 1.835 % |
1070.48/1071.01 c | 168066 | 13585 56211 168104 | 2147483647 168050 26 | 1.836 % |
1073.08/1073.66 c | 168348 | 13585 56211 168104 | 2147483647 168332 26 | 1.835 % |
1075.78/1076.33 c | 168657 | 13585 56211 168104 | 2147483647 168641 26 | 1.835 % |
1078.68/1079.22 c | 168998 | 13585 56211 168104 | 2147483647 168982 26 | 1.835 % |
1081.47/1082.02 c | 169371 | 13585 56211 168104 | 2147483647 169355 26 | 1.836 % |
1084.77/1085.33 c | 169780 | 13585 56211 168104 | 2147483647 169764 26 | 1.835 % |
1088.37/1088.99 c | 170230 | 13585 56211 168104 | 2147483647 170214 26 | 1.835 % |
1092.47/1093.01 c | 170724 | 13585 56211 168104 | 2147483647 170708 26 | 1.835 % |
1097.17/1097.70 c | 171266 | 13585 56211 168104 | 2147483647 171250 26 | 1.835 % |
1102.56/1103.19 c | 171862 | 13585 56211 168104 | 2147483647 171846 26 | 1.835 % |
1108.26/1108.85 c | 172518 | 13585 56211 168104 | 2147483647 172502 26 | 1.835 % |
1114.56/1115.18 c | 173238 | 13585 56211 168104 | 2147483647 173222 26 | 1.835 % |
1121.75/1122.38 c | 174030 | 13585 56211 168104 | 2147483647 174014 26 | 1.835 % |
1129.85/1130.43 c | 174901 | 13585 56211 168104 | 2147483647 174885 26 | 1.835 % |
1138.35/1138.92 c | 175860 | 13585 56211 168104 | 2147483647 175844 26 | 1.835 % |
1147.04/1147.63 c | 176914 | 13585 56211 168104 | 2147483647 176898 26 | 1.835 % |
1157.34/1157.96 c | 178072 | 13585 56211 168104 | 2147483647 178056 26 | 1.835 % |
1169.05/1169.65 c | 179345 | 13585 56211 168104 | 2147483647 179329 26 | 1.836 % |
1180.74/1181.33 c | 180747 | 13585 56211 168104 | 2147483647 180731 26 | 1.835 % |
1193.53/1194.16 c | 182288 | 13585 56211 168104 | 2147483647 182272 26 | 1.835 % |
1208.23/1208.89 c | 183983 | 13585 56211 168104 | 2147483647 183967 26 | 1.835 % |
1226.52/1227.17 c | 185849 | 13585 56211 168104 | 2147483647 185833 26 | 1.835 % |
1227.52/1228.13 c | 185949 | 13585 56211 168104 | 2147483647 185933 26 | 1.835 % |
1228.62/1229.26 c | 186059 | 13585 56211 168104 | 2147483647 186043 26 | 1.835 % |
1229.82/1230.46 c | 186181 | 13585 56211 168104 | 2147483647 186165 26 | 1.835 % |
1231.12/1231.71 c | 186315 | 13585 56211 168104 | 2147483647 186299 26 | 1.836 % |
1232.42/1233.06 c | 186462 | 13585 56211 168104 | 2147483647 186446 26 | 1.836 % |
1233.72/1234.39 c | 186622 | 13585 56211 168104 | 2147483647 186606 26 | 1.835 % |
1235.02/1235.66 c | 186798 | 13585 56211 168104 | 2147483647 186782 26 | 1.835 % |
1236.72/1237.37 c | 186992 | 13585 56211 168104 | 2147483647 186976 26 | 1.836 % |
1238.72/1239.34 c | 187204 | 13585 56211 168104 | 2147483647 187188 26 | 1.835 % |
1240.92/1241.50 c | 187438 | 13585 56211 168104 | 2147483647 187422 26 | 1.835 % |
1243.41/1244.00 c | 187694 | 13585 56211 168104 | 2147483647 187678 26 | 1.835 % |
1246.01/1246.63 c | 187976 | 13585 56211 168104 | 2147483647 187960 26 | 1.835 % |
1249.31/1249.96 c | 188286 | 13585 56211 168104 | 2147483647 188270 26 | 1.835 % |
1252.21/1252.84 c | 188626 | 13585 56211 168104 | 2147483647 188610 26 | 1.835 % |
1255.81/1256.40 c | 188999 | 13585 56211 168104 | 2147483647 188983 26 | 1.835 % |
1259.61/1260.27 c | 189409 | 13585 56211 168104 | 2147483647 189393 26 | 1.835 % |
1262.81/1263.44 c | 189859 | 13585 56211 168104 | 2147483647 189843 26 | 1.835 % |
1267.21/1267.87 c | 190352 | 13585 56211 168104 | 2147483647 190336 26 | 1.835 % |
1272.61/1273.20 c | 190895 | 13585 56211 168104 | 2147483647 190879 26 | 1.835 % |
1278.90/1279.50 c | 191491 | 13585 56211 168104 | 2147483647 191475 26 | 1.835 % |
1285.10/1285.73 c | 192146 | 13585 56211 168104 | 2147483647 192130 26 | 1.836 % |
1292.21/1292.87 c | 192867 | 13585 56211 168104 | 2147483647 192851 26 | 1.835 % |
1300.10/1300.78 c | 193659 | 13585 56211 168104 | 2147483647 193643 26 | 1.835 % |
1308.30/1308.92 c | 194530 | 13585 56211 168104 | 2147483647 194514 26 | 1.835 % |
1317.30/1317.96 c | 195489 | 13585 56211 168104 | 2147483647 195473 26 | 1.835 % |
1327.39/1328.09 c | 196543 | 13585 56211 168104 | 2147483647 196527 26 | 1.835 % |
1338.09/1338.71 c | 197702 | 13585 56211 168104 | 2147483647 197686 26 | 1.835 % |
1349.28/1349.99 c | 198976 | 13585 56211 168104 | 2147483647 198960 26 | 1.836 % |
1362.88/1363.56 c | 200377 | 13585 56211 168104 | 2147483647 200361 26 | 1.835 % |
1377.28/1377.97 c | 201917 | 13585 56211 168104 | 2147483647 201901 26 | 1.835 % |
1392.57/1393.22 c | 203611 | 13585 56211 168104 | 2147483647 203595 26 | 1.836 % |
1409.57/1410.27 c | 205475 | 13585 56211 168104 | 2147483647 205459 26 | 1.836 % |
1430.86/1431.58 c | 207524 | 13585 56211 168104 | 2147483647 207508 26 | 1.835 % |
1431.86/1432.55 c | 207624 | 13585 56211 168104 | 2147483647 207608 26 | 1.835 % |
1432.86/1433.58 c | 207734 | 13585 56211 168104 | 2147483647 207718 26 | 1.835 % |
1434.06/1434.77 c | 207855 | 13585 56211 168104 | 2147483647 207839 26 | 1.835 % |
1435.36/1436.07 c | 207988 | 13585 56211 168104 | 2147483647 207972 26 | 1.836 % |
1436.86/1437.56 c | 208134 | 13585 56211 168104 | 2147483647 208118 26 | 1.835 % |
1438.36/1439.03 c | 208294 | 13585 56211 168104 | 2147483647 208278 26 | 1.835 % |
1439.96/1440.64 c | 208471 | 13585 56211 168104 | 2147483647 208455 26 | 1.835 % |
1442.06/1442.70 c | 208665 | 13585 56211 168104 | 2147483647 208649 26 | 1.835 % |
1444.06/1444.76 c | 208879 | 13585 56211 168104 | 2147483647 208863 26 | 1.835 % |
1445.56/1446.25 c | 209113 | 13585 56211 168104 | 2147483647 209097 26 | 1.835 % |
1448.06/1448.79 c | 209369 | 13585 56211 168104 | 2147483647 209353 26 | 1.835 % |
1450.76/1451.45 c | 209651 | 13585 56211 168104 | 2147483647 209635 26 | 1.835 % |
1453.66/1454.30 c | 209960 | 13585 56211 168104 | 2147483647 209944 26 | 1.836 % |
1456.65/1457.35 c | 210300 | 13585 56211 168104 | 2147483647 210284 26 | 1.836 % |
1460.55/1461.22 c | 210674 | 13585 56211 168104 | 2147483647 210658 26 | 1.836 % |
1464.66/1465.36 c | 211084 | 13585 56211 168104 | 2147483647 211068 26 | 1.835 % |
1469.35/1470.03 c | 211534 | 13585 56211 168104 | 2147483647 211518 26 | 1.835 % |
1474.35/1475.05 c | 212028 | 13585 56211 168104 | 2147483647 212012 26 | 1.835 % |
1479.35/1480.00 c | 212571 | 13585 56211 168104 | 2147483647 212555 26 | 1.836 % |
1483.85/1484.58 c | 213169 | 13585 56211 168104 | 2147483647 213153 26 | 1.836 % |
1489.85/1490.60 c | 213825 | 13585 56211 168104 | 2147483647 213809 26 | 1.835 % |
1496.94/1497.66 c | 214546 | 13585 56211 168104 | 2147483647 214530 26 | 1.835 % |
1504.04/1504.74 c | 215338 | 13585 56211 168104 | 2147483647 215322 26 | 1.835 % |
1512.54/1513.23 c | 216210 | 13585 56211 168104 | 2147483647 216194 26 | 1.836 % |
1522.73/1523.48 c | 217168 | 13585 56211 168104 | 2147483647 217152 26 | 1.835 % |
1532.93/1533.67 c | 218222 | 13585 56211 168104 | 2147483647 218206 26 | 1.835 % |
1545.22/1545.92 c | 219380 | 13585 56211 168104 | 2147483647 219364 26 | 1.835 % |
1558.92/1559.68 c | 220654 | 13585 56211 168104 | 2147483647 220638 26 | 1.835 % |
1571.61/1572.35 c | 222055 | 13585 56211 168104 | 2147483647 222039 26 | 1.835 % |
1588.40/1589.17 c | 223595 | 13585 56211 168104 | 2147483647 223579 26 | 1.835 % |
1605.80/1606.52 c | 225289 | 13585 56211 168104 | 2147483647 225273 26 | 1.835 % |
1622.90/1623.69 c | 227152 | 13585 56211 168104 | 2147483647 227136 26 | 1.835 % |
1641.89/1642.67 c | 229201 | 13585 56211 168104 | 2147483647 229185 26 | 1.836 % |
1663.19/1663.94 c | 231455 | 13585 56211 168104 | 2147483647 231439 26 | 1.835 % |
1663.99/1664.80 c | 231555 | 13585 56211 168104 | 2147483647 231539 26 | 1.835 % |
1664.99/1665.75 c | 231665 | 13585 56211 168104 | 2147483647 231649 26 | 1.835 % |
1666.19/1666.98 c | 231787 | 13585 56211 168104 | 2147483647 231771 26 | 1.835 % |
1667.69/1668.49 c | 231921 | 13585 56211 168104 | 2147483647 231905 26 | 1.835 % |
1668.59/1669.38 c | 232068 | 13585 56211 168104 | 2147483647 232052 26 | 1.836 % |
1670.49/1671.25 c | 232229 | 13585 56211 168104 | 2147483647 232213 26 | 1.835 % |
1672.19/1672.94 c | 232406 | 13585 56211 168104 | 2147483647 232390 26 | 1.835 % |
1674.29/1675.07 c | 232599 | 13585 56211 168104 | 2147483647 232583 26 | 1.835 % |
1676.49/1677.29 c | 232811 | 13585 56211 168104 | 2147483647 232795 26 | 1.836 % |
1678.99/1679.78 c | 233045 | 13585 56211 168104 | 2147483647 233029 26 | 1.835 % |
1681.38/1682.17 c | 233301 | 13585 56211 168104 | 2147483647 233285 26 | 1.835 % |
1684.08/1684.85 c | 233583 | 13585 56211 168104 | 2147483647 233567 26 | 1.835 % |
1687.68/1688.41 c | 233893 | 13585 56211 168104 | 2147483647 233877 26 | 1.835 % |
1691.08/1691.82 c | 234232 | 13585 56211 168104 | 2147483647 234216 26 | 1.835 % |
1695.08/1695.85 c | 234604 | 13585 56211 168104 | 2147483647 234588 26 | 1.835 % |
1699.28/1700.03 c | 235014 | 13585 56211 168104 | 2147483647 234998 26 | 1.835 % |
1703.38/1704.11 c | 235463 | 13585 56211 168104 | 2147483647 235447 26 | 1.835 % |
1708.07/1708.86 c | 235959 | 13585 56211 168104 | 2147483647 235943 26 | 1.836 % |
1713.57/1714.37 c | 236502 | 13585 56211 168104 | 2147483647 236486 26 | 1.835 % |
1719.47/1720.21 c | 237099 | 13585 56211 168104 | 2147483647 237083 26 | 1.835 % |
1725.87/1726.61 c | 237754 | 13585 56211 168104 | 2147483647 237738 26 | 1.835 % |
1732.76/1733.55 c | 238474 | 13585 56211 168104 | 2147483647 238458 26 | 1.835 % |
1740.46/1741.21 c | 239267 | 13585 56211 168104 | 2147483647 239251 26 | 1.836 % |
1749.56/1750.34 c | 240138 | 13585 56211 168104 | 2147483647 240122 26 | 1.836 % |
1759.55/1760.30 c | 241097 | 13585 56211 168104 | 2147483647 241081 26 | 1.835 % |
1769.55/1770.33 c | 242150 | 13585 56211 168104 | 2147483647 242134 26 | 1.836 % |
1781.35/1782.13 c | 243309 | 13585 56211 168104 | 2147483647 243293 26 | 1.835 % |
1794.34/1795.10 c | 244584 | 13585 56211 168104 | 2147483647 244568 25 | 1.836 % |
1809.04/1809.84 c | 245985 | 13585 56211 168104 | 2147483647 245969 25 | 1.835 % |
1825.73/1826.52 c | 247526 | 13585 56211 168104 | 2147483647 247510 25 | 1.835 % |
1845.62/1846.43 c | 249220 | 13585 56211 168104 | 2147483647 249204 25 | 1.835 % |
1863.32/1864.13 c | 251083 | 13585 56211 168104 | 2147483647 251067 25 | 1.836 % |
1885.52/1886.39 c | 253132 | 13585 56211 168104 | 2147483647 253116 25 | 1.835 % |
1909.11/1909.97 c | 255385 | 13585 56211 168104 | 2147483647 255369 25 | 1.836 % |
1935.10/1935.96 c | 257863 | 13585 56211 168104 | 2147483647 257847 25 | 1.836 % |
1936.20/1937.01 c | 257963 | 13585 56211 168104 | 2147483647 257947 25 | 1.835 % |
1937.20/1938.05 c | 258074 | 13585 56211 168104 | 2147483647 258058 25 | 1.835 % |
1938.70/1939.50 c | 258197 | 13585 56211 168104 | 2147483647 258181 25 | 1.835 % |
1940.00/1940.89 c | 258331 | 13585 56211 168104 | 2147483647 258315 25 | 1.835 % |
1941.60/1942.49 c | 258478 | 13585 56211 168104 | 2147483647 258462 25 | 1.835 % |
1943.30/1944.13 c | 258641 | 13585 56211 168104 | 2147483647 258625 25 | 1.835 % |
1945.39/1946.26 c | 258819 | 13585 56211 168104 | 2147483647 258803 25 | 1.835 % |
1947.69/1948.60 c | 259012 | 13585 56211 168104 | 2147483647 258996 25 | 1.835 % |
1949.99/1950.89 c | 259224 | 13585 56211 168104 | 2147483647 259208 25 | 1.836 % |
1952.49/1953.31 c | 259457 | 13585 56211 168104 | 2147483647 259441 25 | 1.836 % |
1955.29/1956.17 c | 259713 | 13585 56211 168104 | 2147483647 259697 25 | 1.835 % |
1958.59/1959.40 c | 259994 | 13585 56211 168104 | 2147483647 259978 25 | 1.835 % |
1961.79/1962.64 c | 260304 | 13585 56211 168104 | 2147483647 260288 25 | 1.835 % |
1965.39/1966.23 c | 260644 | 13585 56211 168104 | 2147483647 260628 25 | 1.835 % |
1969.49/1970.38 c | 261017 | 13585 56211 168104 | 2147483647 261001 25 | 1.835 % |
1974.49/1975.35 c | 261426 | 13585 56211 168104 | 2147483647 261410 25 | 1.835 % |
1979.29/1980.19 c | 261875 | 13585 56211 168104 | 2147483647 261859 25 | 1.835 % |
1984.38/1985.28 c | 262369 | 13585 56211 168104 | 2147483647 262353 25 | 1.835 % |
1990.28/1991.16 c | 262911 | 13585 56211 168104 | 2147483647 262895 25 | 1.836 % |
1996.98/1997.82 c | 263507 | 13585 56211 168104 | 2147483647 263491 25 | 1.835 % |
2004.08/2004.95 c | 264162 | 13585 56211 168104 | 2147483647 264146 25 | 1.836 % |
2011.28/2012.13 c | 264882 | 13585 56211 168104 | 2147483647 264866 25 | 1.835 % |
2020.27/2021.11 c | 265675 | 13585 56211 168104 | 2147483647 265659 25 | 1.835 % |
2029.87/2030.73 c | 266548 | 13585 56211 168104 | 2147483647 266532 25 | 1.835 % |
2041.07/2041.98 c | 267506 | 13585 56211 168104 | 2147483647 267490 25 | 1.835 % |
2054.07/2054.93 c | 268560 | 13585 56211 168104 | 2147483647 268544 25 | 1.835 % |
2067.06/2067.92 c | 269718 | 13585 56211 168104 | 2147483647 269702 25 | 1.835 % |
2081.15/2082.03 c | 270991 | 13585 56211 168104 | 2147483647 270975 25 | 1.835 % |
2091.05/2091.98 c | 272391 | 13585 56211 168104 | 2147483647 272375 25 | 1.835 % |
2106.64/2107.58 c | 273932 | 13585 56211 168104 | 2147483647 273916 25 | 1.835 % |
2120.74/2121.69 c | 275626 | 13585 56211 168104 | 2147483647 275610 25 | 1.835 % |
2142.13/2143.07 c | 277489 | 13585 56211 168104 | 2147483647 277473 25 | 1.835 % |
2164.42/2165.34 c | 279538 | 13585 56211 168104 | 2147483647 279522 25 | 1.835 % |
2186.21/2187.15 c | 281792 | 13585 56211 168104 | 2147483647 281776 25 | 1.835 % |
2213.52/2214.42 c | 284270 | 13585 56211 168104 | 2147483647 284254 25 | 1.835 % |
2244.51/2245.44 c | 286995 | 13585 56211 168104 | 2147483647 286979 25 | 1.836 % |
2245.61/2246.59 c | 287097 | 13585 56211 168104 | 2147483647 287081 25 | 1.835 % |
2247.11/2248.03 c | 287209 | 13585 56211 168104 | 2147483647 287193 25 | 1.835 % |
2248.51/2249.50 c | 287330 | 13585 56211 168104 | 2147483647 287314 25 | 1.835 % |
2250.11/2251.06 c | 287464 | 13585 56211 168104 | 2147483647 287448 25 | 1.835 % |
2252.01/2252.90 c | 287611 | 13585 56211 168104 | 2147483647 287595 25 | 1.835 % |
2253.80/2254.79 c | 287771 | 13585 56211 168104 | 2147483647 287755 25 | 1.835 % |
2255.80/2256.73 c | 287949 | 13585 56211 168104 | 2147483647 287933 25 | 1.835 % |
2258.00/2258.94 c | 288143 | 13585 56211 168104 | 2147483647 288127 25 | 1.835 % |
2260.30/2261.24 c | 288356 | 13585 56211 168104 | 2147483647 288340 25 | 1.835 % |
2263.00/2263.93 c | 288590 | 13585 56211 168104 | 2147483647 288574 25 | 1.836 % |
2265.70/2266.67 c | 288846 | 13585 56211 168104 | 2147483647 288830 25 | 1.835 % |
2268.40/2269.30 c | 289127 | 13585 56211 168104 | 2147483647 289111 25 | 1.836 % |
2271.49/2272.49 c | 289436 | 13585 56211 168104 | 2147483647 289420 25 | 1.835 % |
2274.09/2275.04 c | 289777 | 13585 56211 168104 | 2147483647 289761 25 | 1.835 % |
2277.69/2278.67 c | 290149 | 13585 56211 168104 | 2147483647 290133 25 | 1.835 % |
2282.39/2283.31 c | 290559 | 13585 56211 168104 | 2147483647 290543 25 | 1.835 % |
2287.29/2288.25 c | 291009 | 13585 56211 168104 | 2147483647 290993 25 | 1.835 % |
2292.49/2293.49 c | 291502 | 13585 56211 168104 | 2147483647 291486 25 | 1.835 % |
2298.98/2299.96 c | 292044 | 13585 56211 168104 | 2147483647 292028 25 | 1.835 % |
2306.08/2307.01 c | 292641 | 13585 56211 168104 | 2147483647 292625 25 | 1.836 % |
2312.98/2313.97 c | 293296 | 13585 56211 168104 | 2147483647 293280 25 | 1.835 % |
2321.78/2322.79 c | 294016 | 13585 56211 168104 | 2147483647 294000 25 | 1.835 % |
2330.97/2331.99 c | 294809 | 13585 56211 168104 | 2147483647 294793 25 | 1.835 % |
2341.27/2342.24 c | 295680 | 13585 56211 168104 | 2147483647 295664 25 | 1.835 % |
2353.37/2354.39 c | 296639 | 13585 56211 168104 | 2147483647 296623 25 | 1.835 % |
2364.86/2365.85 c | 297693 | 13585 56211 168104 | 2147483647 297677 25 | 1.836 % |
2378.26/2379.30 c | 298853 | 13585 56211 168104 | 2147483647 298837 25 | 1.835 % |
2391.95/2392.92 c | 300127 | 13585 56211 168104 | 2147483647 300111 25 | 1.835 % |
2407.06/2408.07 c | 301527 | 13585 56211 168104 | 2147483647 301511 25 | 1.835 % |
2424.15/2425.16 c | 303067 | 13585 56211 168104 | 2147483647 303051 25 | 1.836 % |
2442.44/2443.48 c | 304761 | 13585 56211 168104 | 2147483647 304745 25 | 1.835 % |
2463.64/2464.65 c | 306626 | 13585 56211 168104 | 2147483647 306610 25 | 1.835 % |
2486.13/2487.14 c | 308676 | 13585 56211 168104 | 2147483647 308660 25 | 1.835 % |
2513.42/2514.42 c | 310930 | 13585 56211 168104 | 2147483647 310914 25 | 1.835 % |
2543.51/2544.53 c | 313408 | 13585 56211 168104 | 2147483647 313392 25 | 1.835 % |
2575.50/2576.50 c | 316134 | 13585 56211 168104 | 2147483647 316118 25 | 1.835 % |
2610.09/2611.20 c | 319131 | 13585 56211 168104 | 2147483647 319115 25 | 1.835 % |
2611.29/2612.39 c | 319231 | 13585 56211 168104 | 2147483647 319215 25 | 1.835 % |
2612.59/2613.68 c | 319342 | 13585 56211 168104 | 2147483647 319326 25 | 1.835 % |
2614.19/2615.20 c | 319463 | 13585 56211 168104 | 2147483647 319447 25 | 1.835 % |
2615.49/2616.56 c | 319596 | 13585 56211 168104 | 2147483647 319580 25 | 1.835 % |
2617.39/2618.42 c | 319745 | 13585 56211 168104 | 2147483647 319729 25 | 1.836 % |
2618.79/2619.82 c | 319906 | 13585 56211 168104 | 2147483647 319890 25 | 1.835 % |
2620.78/2621.82 c | 320083 | 13585 56211 168104 | 2147483647 320067 25 | 1.835 % |
2623.08/2624.12 c | 320276 | 13585 56211 168104 | 2147483647 320260 25 | 1.836 % |
2625.78/2626.82 c | 320489 | 13585 56211 168104 | 2147483647 320473 25 | 1.835 % |
2628.58/2629.64 c | 320724 | 13585 56211 168104 | 2147483647 320708 25 | 1.835 % |
2631.68/2632.75 c | 320980 | 13585 56211 168104 | 2147483647 320964 25 | 1.835 % |
2635.18/2636.24 c | 321261 | 13585 56211 168104 | 2147483647 321245 25 | 1.836 % |
2638.98/2640.05 c | 321571 | 13585 56211 168104 | 2147483647 321555 25 | 1.835 % |
2643.77/2644.88 c | 321910 | 13585 56211 168104 | 2147483647 321894 25 | 1.835 % |
2648.18/2649.29 c | 322282 | 13585 56211 168104 | 2147483647 322266 25 | 1.835 % |
2653.78/2654.81 c | 322692 | 13585 56211 168104 | 2147483647 322676 25 | 1.835 % |
2659.17/2660.25 c | 323142 | 13585 56211 168104 | 2147483647 323126 25 | 1.835 % |
2665.07/2666.15 c | 323636 | 13585 56211 168104 | 2147483647 323620 25 | 1.835 % |
2671.17/2672.23 c | 324179 | 13585 56211 168104 | 2147483647 324163 25 | 1.835 % |
2677.87/2678.98 c | 324776 | 13585 56211 168104 | 2147483647 324760 25 | 1.835 % |
2686.37/2687.45 c | 325431 | 13585 56211 168104 | 2147483647 325415 25 | 1.836 % |
2694.96/2696.04 c | 326152 | 13585 56211 168104 | 2147483647 326136 25 | 1.835 % |
2704.46/2705.51 c | 326944 | 13585 56211 168104 | 2147483647 326928 25 | 1.835 % |
2714.66/2715.73 c | 327815 | 13585 56211 168104 | 2147483647 327799 25 | 1.835 % |
2725.75/2726.89 c | 328774 | 13585 56211 168104 | 2147483647 328758 25 | 1.835 % |
2737.95/2739.08 c | 329828 | 13585 56211 168104 | 2147483647 329812 25 | 1.836 % |
2751.44/2752.55 c | 330986 | 13585 56211 168104 | 2147483647 330970 25 | 1.835 % |
2766.14/2767.29 c | 332260 | 13585 56211 168104 | 2147483647 332244 25 | 1.836 % |
2782.63/2783.77 c | 333660 | 13585 56211 168104 | 2147483647 333644 25 | 1.835 % |
2799.43/2800.52 c | 335200 | 13585 56211 168104 | 2147483647 335184 25 | 1.836 % |
2822.02/2823.16 c | 336894 | 13585 56211 168104 | 2147483647 336878 25 | 1.835 % |
2846.31/2847.44 c | 338757 | 13585 56211 168104 | 2147483647 338741 25 | 1.835 % |
2868.60/2869.70 c | 340806 | 13585 56211 168104 | 2147483647 340790 25 | 1.835 % |
2897.41/2898.51 c | 343059 | 13585 56211 168104 | 2147483647 343043 25 | 1.835 % |
2931.09/2932.27 c | 345537 | 13585 56211 168104 | 2147483647 345521 25 | 1.835 % |
2965.69/2966.82 c | 348262 | 13585 56211 168104 | 2147483647 348246 25 | 1.835 % |
3003.17/3004.35 c | 351259 | 13585 56211 168104 | 2147483647 351243 25 | 1.835 % |
3042.66/3043.80 c | 354555 | 13585 56211 168104 | 2147483647 354539 25 | 1.836 % |
3043.96/3045.15 c | 354655 | 13585 56211 168104 | 2147483647 354639 25 | 1.836 % |
3045.46/3046.62 c | 354767 | 13585 56211 168104 | 2147483647 354751 25 | 1.835 % |
3046.96/3048.16 c | 354889 | 13585 56211 168104 | 2147483647 354873 25 | 1.836 % |
3048.56/3049.74 c | 355023 | 13585 56211 168104 | 2147483647 355007 25 | 1.835 % |
3050.46/3051.62 c | 355169 | 13585 56211 168104 | 2147483647 355153 25 | 1.835 % |
3052.46/3053.61 c | 355330 | 13585 56211 168104 | 2147483647 355314 25 | 1.835 % |
3054.66/3055.89 c | 355506 | 13585 56211 168104 | 2147483647 355490 25 | 1.835 % |
3057.35/3058.50 c | 355700 | 13585 56211 168104 | 2147483647 355684 25 | 1.835 % |
3060.05/3061.21 c | 355915 | 13585 56211 168104 | 2147483647 355899 25 | 1.835 % |
3062.75/3063.95 c | 356149 | 13585 56211 168104 | 2147483647 356133 25 | 1.835 % |
3065.85/3067.06 c | 356405 | 13585 56211 168104 | 2147483647 356389 25 | 1.835 % |
3069.55/3070.76 c | 356686 | 13585 56211 168104 | 2147483647 356670 25 | 1.835 % |
3073.75/3074.98 c | 356996 | 13585 56211 168104 | 2147483647 356980 25 | 1.835 % |
3077.95/3079.12 c | 357335 | 13585 56211 168104 | 2147483647 357319 25 | 1.835 % |
3082.95/3084.11 c | 357708 | 13585 56211 168104 | 2147483647 357692 25 | 1.835 % |
3087.84/3089.00 c | 358117 | 13585 56211 168104 | 2147483647 358101 25 | 1.836 % |
3093.34/3094.52 c | 358567 | 13585 56211 168104 | 2147483647 358551 25 | 1.835 % |
3099.34/3100.51 c | 359061 | 13585 56211 168104 | 2147483647 359045 25 | 1.835 % |
3106.54/3107.76 c | 359604 | 13585 56211 168104 | 2147483647 359588 25 | 1.835 % |
3114.14/3115.31 c | 360200 | 13585 56211 168104 | 2147483647 360184 25 | 1.835 % |
3122.73/3123.96 c | 360855 | 13585 56211 168104 | 2147483647 360839 25 | 1.836 % |
3132.03/3133.28 c | 361577 | 13585 56211 168104 | 2147483647 361561 25 | 1.835 % |
3140.32/3141.59 c | 362369 | 13585 56211 168104 | 2147483647 362353 25 | 1.836 % |
3150.33/3151.58 c | 363240 | 13585 56211 168104 | 2147483647 363224 25 | 1.835 % |
3160.52/3161.70 c | 364199 | 13585 56211 168104 | 2147483647 364183 25 | 1.835 % |
3173.92/3175.15 c | 365252 | 13585 56211 168104 | 2147483647 365236 25 | 1.835 % |
3189.41/3190.67 c | 366411 | 13585 56211 168104 | 2147483647 366395 25 | 1.835 % |
3204.01/3205.21 c | 367684 | 13585 56211 168104 | 2147483647 367668 25 | 1.835 % |
3223.10/3224.31 c | 369084 | 13585 56211 168104 | 2147483647 369068 25 | 1.836 % |
3243.30/3244.52 c | 370625 | 13585 56211 168104 | 2147483647 370609 25 | 1.836 % |
3264.59/3265.81 c | 372321 | 13585 56211 168104 | 2147483647 372305 25 | 1.835 % |
3288.48/3289.73 c | 374184 | 13585 56211 168104 | 2147483647 374168 25 | 1.835 % |
3312.78/3314.01 c | 376234 | 13585 56211 168104 | 2147483647 376218 25 | 1.836 % |
3343.17/3344.43 c | 378487 | 13585 56211 168104 | 2147483647 378471 25 | 1.835 % |
3374.16/3375.44 c | 380966 | 13585 56211 168104 | 2147483647 380950 25 | 1.836 % |
3412.45/3413.74 c | 383691 | 13585 56211 168104 | 2147483647 383675 25 | 1.835 % |
3451.72/3453.08 c | 386689 | 13585 56211 168104 | 2147483647 386673 25 | 1.836 % |
3492.30/3493.69 c | 389986 | 13585 56211 168104 | 2147483647 389970 25 | 1.835 % |
3539.07/3540.44 c | 393612 | 13585 56211 168104 | 2147483647 393596 25 | 1.836 % |
3540.57/3541.91 c | 393713 | 13585 56211 168104 | 2147483647 393697 25 | 1.836 % |
3542.07/3543.44 c | 393823 | 13585 56211 168104 | 2147483647 393807 25 | 1.836 % |
3543.66/3545.01 c | 393945 | 13585 56211 168104 | 2147483647 393929 25 | 1.836 % |
3545.16/3546.55 c | 394078 | 13585 56211 168104 | 2147483647 394062 25 | 1.835 % |
3547.16/3548.55 c | 394225 | 13585 56211 168104 | 2147483647 394209 25 | 1.836 % |
3548.86/3550.21 c | 394386 | 13585 56211 168104 | 2147483647 394370 25 | 1.835 % |
3550.46/3551.86 c | 394562 | 13585 56211 168104 | 2147483647 394546 25 | 1.836 % |
3552.26/3553.67 c | 394755 | 13585 56211 168104 | 2147483647 394739 25 | 1.836 % |
3554.36/3555.72 c | 394968 | 13585 56211 168104 | 2147483647 394952 25 | 1.835 % |
3556.66/3558.08 c | 395201 | 13585 56211 168104 | 2147483647 395185 25 | 1.835 % |
3560.65/3562.00 c | 395457 | 13585 56211 168104 | 2147483647 395441 25 | 1.835 % |
3564.96/3566.35 c | 395739 | 13585 56211 168104 | 2147483647 395723 25 | 1.835 % |
3570.01/3571.78 c | 396050 | 13585 56211 168104 | 2147483647 396034 25 | 1.835 % |
3575.29/3577.06 c | 396390 | 13585 56211 168104 | 2147483647 396374 25 | 1.835 % |
3580.37/3582.17 c | 396762 | 13585 56211 168104 | 2147483647 396746 25 | 1.835 % |
3585.47/3587.26 c | 397171 | 13585 56211 168104 | 2147483647 397155 25 | 1.835 % |
3591.86/3593.65 c | 397620 | 13585 56211 168104 | 2147483647 397604 25 | 1.835 % |
3598.36/3600.17 c | 398113 | 13585 56211 168104 | 2147483647 398097 25 | 1.835 % |
3605.45/3607.28 c | 398655 | 13585 56211 168104 | 2147483647 398639 25 | 1.835 % |
3613.34/3615.11 c | 399252 | 13585 56211 168104 | 2147483647 399236 25 | 1.835 % |
3622.34/3624.12 c | 399908 | 13585 56211 168104 | 2147483647 399892 25 | 1.835 % |
3631.74/3633.52 c | 400630 | 13585 56211 168104 | 2147483647 400614 25 | 1.835 % |
3641.13/3642.93 c | 401422 | 13585 56211 168104 | 2147483647 401406 25 | 1.835 % |
3651.53/3653.35 c | 402293 | 13585 56211 168104 | 2147483647 402277 25 | 1.836 % |
3663.62/3665.41 c | 403252 | 13585 56211 168104 | 2147483647 403236 25 | 1.835 % |
3678.01/3679.89 c | 404306 | 13585 56211 168104 | 2147483647 404290 25 | 1.835 % |
3694.91/3696.72 c | 405465 | 13585 56211 168104 | 2147483647 405449 25 | 1.835 % |
3712.60/3714.40 c | 406739 | 13585 56211 168104 | 2147483647 406723 25 | 1.835 % |
3730.29/3732.11 c | 408139 | 13585 56211 168104 | 2147483647 408123 25 | 1.835 % |
3749.89/3751.72 c | 409680 | 13585 56211 168104 | 2147483647 409664 25 | 1.835 % |
3774.77/3776.66 c | 411374 | 13585 56211 168104 | 2147483647 411358 25 | 1.836 % |
3802.36/3804.26 c | 413240 | 13585 56211 168104 | 2147483647 413224 25 | 1.835 % |
3830.05/3831.98 c | 415289 | 13585 56211 168104 | 2147483647 415273 25 | 1.835 % |
3860.74/3862.61 c | 417543 | 13585 56211 168104 | 2147483647 417527 25 | 1.835 % |
3895.73/3897.61 c | 420022 | 13585 56211 168104 | 2147483647 420006 25 | 1.836 % |
3932.82/3934.73 c | 422748 | 13585 56211 168104 | 2147483647 422732 25 | 1.835 % |
3973.99/3975.99 c | 425746 | 13585 56211 168104 | 2147483647 425730 25 | 1.836 % |
4017.68/4019.65 c | 429043 | 13585 56211 168104 | 2147483647 429027 25 | 1.836 % |
4065.45/4067.40 c | 432668 | 13585 56211 168104 | 2147483647 432652 25 | 1.836 % |
4116.44/4118.41 c | 436655 | 13585 56211 168104 | 2147483647 436639 25 | 1.835 % |
4117.84/4119.87 c | 436755 | 13585 56211 168104 | 2147483647 436739 25 | 1.836 % |
4119.24/4121.25 c | 436865 | 13585 56211 168104 | 2147483647 436849 25 | 1.836 % |
4121.04/4123.04 c | 436986 | 13585 56211 168104 | 2147483647 436970 25 | 1.836 % |
4122.84/4124.83 c | 437119 | 13585 56211 168104 | 2147483647 437103 25 | 1.836 % |
4124.94/4126.96 c | 437265 | 13585 56211 168104 | 2147483647 437249 25 | 1.835 % |
4127.44/4129.46 c | 437426 | 13585 56211 168104 | 2147483647 437410 25 | 1.835 % |
4129.43/4131.48 c | 437602 | 13585 56211 168104 | 2147483647 437586 25 | 1.835 % |
4132.53/4134.59 c | 437795 | 13585 56211 168104 | 2147483647 437779 25 | 1.835 % |
4135.83/4137.82 c | 438008 | 13585 56211 168104 | 2147483647 437992 25 | 1.836 % |
4139.53/4141.59 c | 438241 | 13585 56211 168104 | 2147483647 438225 25 | 1.835 % |
4143.43/4145.44 c | 438499 | 13585 56211 168104 | 2147483647 438483 25 | 1.835 % |
4147.23/4149.20 c | 438781 | 13585 56211 168104 | 2147483647 438765 25 | 1.835 % |
4151.63/4153.68 c | 439090 | 13585 56211 168104 | 2147483647 439074 25 | 1.835 % |
4156.32/4158.37 c | 439429 | 13585 56211 168104 | 2147483647 439413 25 | 1.835 % |
4161.72/4163.74 c | 439801 | 13585 56211 168104 | 2147483647 439785 25 | 1.835 % |
4167.32/4169.31 c | 440210 | 13585 56211 168104 | 2147483647 440194 25 | 1.836 % |
4173.91/4175.90 c | 440659 | 13585 56211 168104 | 2147483647 440643 25 | 1.835 % |
4181.41/4183.46 c | 441152 | 13585 56211 168104 | 2147483647 441136 25 | 1.835 % |
4189.21/4191.26 c | 441695 | 13585 56211 168104 | 2147483647 441679 25 | 1.835 % |
4196.51/4198.56 c | 442291 | 13585 56211 168104 | 2147483647 442275 25 | 1.835 % |
4206.10/4208.12 c | 442947 | 13585 56211 168104 | 2147483647 442931 25 | 1.836 % |
4217.40/4219.45 c | 443668 | 13585 56211 168104 | 2147483647 443652 25 | 1.835 % |
4229.29/4231.36 c | 444460 | 13585 56211 168104 | 2147483647 444444 25 | 1.836 % |
4242.09/4244.12 c | 445332 | 13585 56211 168104 | 2147483647 445316 25 | 1.835 % |
4256.59/4258.66 c | 446291 | 13585 56211 168104 | 2147483647 446275 25 | 1.835 % |
4272.58/4274.63 c | 447345 | 13585 56211 168104 | 2147483647 447329 25 | 1.835 % |
4286.77/4288.83 c | 448503 | 13585 56211 168104 | 2147483647 448487 25 | 1.835 % |
4305.57/4307.67 c | 449776 | 13585 56211 168104 | 2147483647 449760 25 | 1.835 % |
4323.65/4325.70 c | 451177 | 13585 56211 168104 | 2147483647 451161 25 | 1.835 % |
4346.25/4348.40 c | 452718 | 13585 56211 168104 | 2147483647 452702 25 | 1.836 % |
4372.94/4375.10 c | 454413 | 13585 56211 168104 | 2147483647 454397 25 | 1.835 % |
4399.12/4401.24 c | 456276 | 13585 56211 168104 | 2147483647 456260 25 | 1.835 % |
4426.21/4428.36 c | 458325 | 13585 56211 168104 | 2147483647 458309 25 | 1.835 % |
4457.69/4459.88 c | 460578 | 13585 56211 168104 | 2147483647 460562 25 | 1.835 % |
4492.98/4495.16 c | 463056 | 13585 56211 168104 | 2147483647 463040 25 | 1.835 % |
4529.57/4531.75 c | 465783 | 13585 56211 168104 | 2147483647 465767 24 | 1.836 % |
4572.86/4575.08 c | 468780 | 13585 56211 168104 | 2147483647 468764 24 | 1.835 % |
4623.93/4626.16 c | 472076 | 13585 56211 168104 | 2147483647 472060 24 | 1.835 % |
4678.00/4680.25 c | 475701 | 13585 56211 168104 | 2147483647 475685 24 | 1.835 % |
4739.88/4742.13 c | 479689 | 13585 56211 168104 | 2147483647 479673 24 | 1.836 % |
4794.16/4796.48 c | 484074 | 13585 56211 168104 | 2147483647 484058 24 | 1.835 % |
4795.66/4797.98 c | 484175 | 13585 56211 168104 | 2147483647 484159 24 | 1.835 % |
4797.46/4799.79 c | 484286 | 13585 56211 168104 | 2147483647 484270 24 | 1.836 % |
4799.16/4801.42 c | 484407 | 13585 56211 168104 | 2147483647 484391 24 | 1.836 % |
4800.96/4803.28 c | 484540 | 13585 56211 168104 | 2147483647 484524 24 | 1.836 % |
4803.15/4805.42 c | 484687 | 13585 56211 168104 | 2147483647 484671 24 | 1.835 % |
4805.65/4807.93 c | 484847 | 13585 56211 168104 | 2147483647 484831 24 | 1.836 % |
4808.45/4810.73 c | 485023 | 13585 56211 168104 | 2147483647 485007 24 | 1.835 % |
4811.15/4813.40 c | 485216 | 13585 56211 168104 | 2147483647 485200 24 | 1.836 % |
4814.35/4816.62 c | 485428 | 13585 56211 168104 | 2147483647 485412 24 | 1.835 % |
4818.05/4820.32 c | 485661 | 13585 56211 168104 | 2147483647 485645 24 | 1.835 % |
4821.74/4824.08 c | 485919 | 13585 56211 168104 | 2147483647 485903 24 | 1.835 % |
4826.04/4828.34 c | 486200 | 13585 56211 168104 | 2147483647 486184 24 | 1.835 % |
4830.64/4832.96 c | 486509 | 13585 56211 168104 | 2147483647 486493 24 | 1.835 % |
4836.04/4838.31 c | 486848 | 13585 56211 168104 | 2147483647 486832 24 | 1.835 % |
4841.64/4843.97 c | 487221 | 13585 56211 168104 | 2147483647 487205 24 | 1.836 % |
4847.03/4849.33 c | 487632 | 13585 56211 168104 | 2147483647 487616 24 | 1.835 % |
4853.63/4855.96 c | 488083 | 13585 56211 168104 | 2147483647 488067 24 | 1.835 % |
4860.03/4862.39 c | 488576 | 13585 56211 168104 | 2147483647 488560 24 | 1.836 % |
4867.83/4870.18 c | 489119 | 13585 56211 168104 | 2147483647 489103 24 | 1.835 % |
4876.52/4878.81 c | 489715 | 13585 56211 168104 | 2147483647 489699 24 | 1.835 % |
4886.02/4888.40 c | 490371 | 13585 56211 168104 | 2147483647 490355 24 | 1.835 % |
4896.61/4898.94 c | 491092 | 13585 56211 168104 | 2147483647 491076 24 | 1.836 % |
4909.11/4911.50 c | 491885 | 13585 56211 168104 | 2147483647 491869 24 | 1.835 % |
4923.00/4925.40 c | 492756 | 13585 56211 168104 | 2147483647 492740 24 | 1.835 % |
4937.50/4939.83 c | 493715 | 13585 56211 168104 | 2147483647 493699 24 | 1.835 % |
4953.19/4955.58 c | 494769 | 13585 56211 168104 | 2147483647 494753 24 | 1.835 % |
4970.78/4973.17 c | 495927 | 13585 56211 168104 | 2147483647 495911 24 | 1.835 % |
4990.27/4992.68 c | 497202 | 13585 56211 168104 | 2147483647 497186 24 | 1.835 % |
5012.26/5014.63 c | 498602 | 13585 56211 168104 | 2147483647 498586 24 | 1.835 % |
5035.35/5037.76 c | 500143 | 13585 56211 168104 | 2147483647 500127 24 | 1.836 % |
5061.75/5064.17 c | 501838 | 13585 56211 168104 | 2147483647 501822 24 | 1.835 % |
5093.23/5095.68 c | 503701 | 13585 56211 168104 | 2147483647 503685 24 | 1.835 % |
5123.31/5125.72 c | 505751 | 13585 56211 168104 | 2147483647 505735 25 | 1.835 % |
5161.20/5163.65 c | 508004 | 13585 56211 168104 | 2147483647 507988 25 | 1.835 % |
5198.28/5200.80 c | 510482 | 13585 56211 168104 | 2147483647 510466 25 | 1.835 % |
5237.67/5240.14 c | 513207 | 13585 56211 168104 | 2147483647 513191 25 | 1.835 % |
5284.45/5286.91 c | 516204 | 13585 56211 168104 | 2147483647 516188 25 | 1.836 % |
5334.33/5336.81 c | 519500 | 13585 56211 168104 | 2147483647 519484 24 | 1.835 % |
5396.09/5398.66 c | 523125 | 13585 56211 168104 | 2147483647 523109 24 | 1.835 % |
5451.88/5454.47 c | 527112 | 13585 56211 168104 | 2147483647 527096 25 | 1.835 % |
5550.34/5552.97 c | 531497 | 13585 56211 168104 | 529984 461598 25 | 1.835 % |
5624.40/5627.08 c | 536320 | 13585 56211 168104 | 529984 466421 25 | 1.835 % |
5625.80/5628.50 c | 536420 | 13585 56211 168104 | 529984 466521 25 | 1.835 % |
5627.60/5630.23 c | 536531 | 13585 56211 168104 | 529984 466632 25 | 1.835 % |
5629.70/5632.34 c | 536652 | 13585 56211 168104 | 529984 466753 25 | 1.835 % |
5631.40/5634.02 c | 536785 | 13585 56211 168104 | 529984 466886 25 | 1.835 % |
5633.70/5636.33 c | 536931 | 13585 56211 168104 | 529984 467032 25 | 1.835 % |
5636.50/5639.12 c | 537091 | 13585 56211 168104 | 529984 467192 25 | 1.835 % |
5639.69/5642.32 c | 537270 | 13585 56211 168104 | 529984 467371 25 | 1.835 % |
5642.29/5644.96 c | 537463 | 13585 56211 168104 | 529984 467564 25 | 1.835 % |
5645.09/5647.70 c | 537675 | 13585 56211 168104 | 529984 467776 25 | 1.836 % |
5648.29/5650.95 c | 537908 | 13585 56211 168104 | 529984 468009 25 | 1.835 % |
5652.49/5655.14 c | 538164 | 13585 56211 168104 | 529984 468265 25 | 1.835 % |
5656.79/5659.40 c | 538445 | 13585 56211 168104 | 529984 468546 25 | 1.836 % |
5661.68/5664.31 c | 538755 | 13585 56211 168104 | 529984 468856 25 | 1.835 % |
5666.89/5669.50 c | 539095 | 13585 56211 168104 | 529984 469196 25 | 1.836 % |
5672.98/5675.62 c | 539467 | 13585 56211 168104 | 529984 469568 25 | 1.836 % |
5679.58/5682.22 c | 539876 | 13585 56211 168104 | 529984 469977 25 | 1.835 % |
5685.88/5688.51 c | 540325 | 13585 56211 168104 | 2147483647 470426 25 | 1.835 % |
5693.07/5695.73 c | 540818 | 13585 56211 168104 | 2147483647 470919 25 | 1.835 % |
5701.77/5704.46 c | 541360 | 13585 56211 168104 | 2147483647 471461 25 | 1.835 % |
5711.16/5713.88 c | 541957 | 13585 56211 168104 | 2147483647 472058 25 | 1.835 % |
5720.56/5723.21 c | 542613 | 13585 56211 168104 | 2147483647 472714 25 | 1.836 % |
5731.96/5734.62 c | 543333 | 13585 56211 168104 | 2147483647 473434 25 | 1.836 % |
5745.65/5748.32 c | 544125 | 13585 56211 168104 | 2147483647 474226 25 | 1.835 % |
5759.25/5761.91 c | 544996 | 13585 56211 168104 | 2147483647 475097 25 | 1.835 % |
5773.44/5776.13 c | 545955 | 13585 56211 168104 | 2147483647 476056 25 | 1.836 % |
5787.84/5790.50 c | 547009 | 13585 56211 168104 | 2147483647 477110 25 | 1.835 % |
5808.02/5810.76 c | 548169 | 13585 56211 168104 | 2147483647 478270 25 | 1.835 % |
5827.22/5829.93 c | 549442 | 13585 56211 168104 | 2147483647 479543 25 | 1.835 % |
5847.61/5850.36 c | 550842 | 13585 56211 168104 | 2147483647 480943 25 | 1.835 % |
5869.50/5872.23 c | 552382 | 13585 56211 168104 | 2147483647 482483 25 | 1.835 % |
5895.68/5898.47 c | 554076 | 13585 56211 168104 | 2147483647 484177 25 | 1.835 % |
5923.48/5926.30 c | 555940 | 13585 56211 168104 | 2147483647 486041 25 | 1.835 % |
5955.56/5958.38 c | 557991 | 13585 56211 168104 | 2147483647 488092 25 | 1.835 % |
5991.44/5994.23 c | 560244 | 13585 56211 168104 | 2147483647 490345 25 | 1.835 % |
6028.93/6031.77 c | 562723 | 13585 56211 168104 | 2147483647 492824 25 | 1.835 % |
6070.81/6073.60 c | 565448 | 13585 56211 168104 | 2147483647 495549 25 | 1.836 % |
6118.59/6121.46 c | 568445 | 13585 56211 168104 | 2147483647 498546 25 | 1.835 % |
6170.67/6173.53 c | 571741 | 13585 56211 168104 | 2147483647 501842 25 | 1.835 % |
6227.75/6230.67 c | 575367 | 13585 56211 168104 | 2147483647 505468 25 | 1.835 % |
6282.03/6284.99 c | 579355 | 13585 56211 168104 | 2147483647 509456 25 | 1.836 % |
6356.61/6359.59 c | 583741 | 13585 56211 168104 | 2147483647 513842 25 | 1.835 % |
6430.27/6433.29 c | 588565 | 13585 56211 168104 | 2147483647 518666 25 | 1.835 % |
6513.33/6516.31 c | 593871 | 13585 56211 168104 | 2147483647 523972 25 | 1.836 % |
6514.83/6517.83 c | 593971 | 13585 56211 168104 | 2147483647 524072 25 | 1.836 % |
6516.53/6519.50 c | 594082 | 13585 56211 168104 | 2147483647 524183 25 | 1.836 % |
6518.73/6521.71 c | 594204 | 13585 56211 168104 | 2147483647 524305 25 | 1.835 % |
6521.03/6524.07 c | 594337 | 13585 56211 168104 | 2147483647 524438 25 | 1.835 % |
6523.53/6526.58 c | 594483 | 13585 56211 168104 | 2147483647 524584 25 | 1.835 % |
6525.93/6528.93 c | 594644 | 13585 56211 168104 | 2147483647 524745 25 | 1.835 % |
6528.53/6531.56 c | 594820 | 13585 56211 168104 | 2147483647 524921 25 | 1.835 % |
6531.93/6534.98 c | 595014 | 13585 56211 168104 | 2147483647 525115 25 | 1.835 % |
6535.53/6538.57 c | 595226 | 13585 56211 168104 | 2147483647 525327 25 | 1.835 % |
6539.43/6542.47 c | 595459 | 13585 56211 168104 | 2147483647 525560 25 | 1.835 % |
6543.33/6546.37 c | 595716 | 13585 56211 168104 | 2147483647 525817 25 | 1.835 % |
6547.53/6550.51 c | 595997 | 13585 56211 168104 | 2147483647 526098 25 | 1.836 % |
6552.22/6555.21 c | 596306 | 13585 56211 168104 | 2147483647 526407 25 | 1.835 % |
6557.32/6560.34 c | 596645 | 13585 56211 168104 | 2147483647 526746 25 | 1.836 % |
6561.71/6564.79 c | 597020 | 13585 56211 168104 | 2147483647 527121 25 | 1.835 % |
6567.81/6570.82 c | 597429 | 13585 56211 168104 | 2147483647 527530 25 | 1.835 % |
6575.21/6578.23 c | 597880 | 13585 56211 168104 | 2147483647 527981 25 | 1.835 % |
6582.71/6585.72 c | 598374 | 13585 56211 168104 | 2147483647 528475 25 | 1.836 % |
6590.80/6593.80 c | 598917 | 13585 56211 168104 | 2147483647 529018 25 | 1.835 % |
6601.00/6604.05 c | 599514 | 13585 56211 168104 | 2147483647 529615 25 | 1.836 % |
6610.79/6613.84 c | 600169 | 13585 56211 168104 | 530102 530270 25 | 1.836 % |
6624.29/6627.38 c | 600889 | 13585 56211 168104 | 530102 530990 25 | 1.835 % |
6643.68/6646.73 c | 601682 | 13585 56211 168104 | 530102 476481 24 | 1.836 % |
6657.87/6660.97 c | 602554 | 13585 56211 168104 | 530102 477353 24 | 1.836 % |
6668.77/6671.83 c | 603512 | 13585 56211 168104 | 530102 478311 24 | 1.835 % |
6685.16/6688.30 c | 604566 | 13585 56211 168104 | 530102 479365 24 | 1.835 % |
6702.75/6705.84 c | 605725 | 13585 56211 168104 | 530102 480524 24 | 1.836 % |
6722.84/6725.93 c | 606999 | 13585 56211 168104 | 530102 481798 24 | 1.835 % |
6744.53/6747.65 c | 608399 | 13585 56211 168104 | 530102 483198 24 | 1.835 % |
6765.92/6769.07 c | 609940 | 13585 56211 168104 | 530102 484739 24 | 1.836 % |
6792.61/6795.77 c | 611634 | 13585 56211 168104 | 2147483647 486433 24 | 1.835 % |
6819.50/6822.68 c | 613498 | 13585 56211 168104 | 2147483647 488297 24 | 1.836 % |
6850.89/6854.09 c | 615549 | 13585 56211 168104 | 2147483647 490348 25 | 1.835 % |
6884.97/6888.14 c | 617802 | 13585 56211 168104 | 2147483647 492601 25 | 1.835 % |
6922.35/6925.58 c | 620280 | 13585 56211 168104 | 2147483647 495079 24 | 1.836 % |
6973.43/6976.60 c | 623006 | 13585 56211 168104 | 2147483647 497805 25 | 1.835 % |
7020.81/7024.04 c | 626003 | 13585 56211 168104 | 2147483647 500802 25 | 1.836 % |
7071.69/7074.99 c | 629300 | 13585 56211 168104 | 2147483647 504099 25 | 1.835 % |
7134.87/7138.17 c | 632926 | 13585 56211 168104 | 504799 449196 24 | 1.835 % |
7190.54/7193.87 c | 636914 | 13585 56211 168104 | 504799 453184 25 | 1.835 % |
7256.21/7259.54 c | 641299 | 13585 56211 168104 | 2147483647 457569 25 | 1.835 % |
7328.28/7331.64 c | 646123 | 13585 56211 168104 | 2147483647 462393 24 | 1.836 % |
7412.64/7416.05 c | 651428 | 13585 56211 168104 | 2147483647 467698 24 | 1.835 % |
7498.31/7501.79 c | 657265 | 13585 56211 168104 | 2147483647 473535 24 | 1.835 % |
7499.91/7503.36 c | 657365 | 13585 56211 168104 | 2147483647 473635 24 | 1.836 % |
7501.70/7505.12 c | 657475 | 13585 56211 168104 | 2147483647 473745 24 | 1.835 % |
7503.90/7507.30 c | 657597 | 13585 56211 168104 | 2147483647 473867 24 | 1.836 % |
7506.20/7509.67 c | 657730 | 13585 56211 168104 | 2147483647 474000 24 | 1.835 % |
7508.50/7511.95 c | 657877 | 13585 56211 168104 | 2147483647 474147 24 | 1.835 % |
7511.10/7514.51 c | 658038 | 13585 56211 168104 | 2147483647 474308 24 | 1.836 % |
7514.10/7517.50 c | 658215 | 13585 56211 168104 | 2147483647 474485 24 | 1.836 % |
7517.40/7520.81 c | 658408 | 13585 56211 168104 | 2147483647 474678 24 | 1.835 % |
7520.79/7524.28 c | 658621 | 13585 56211 168104 | 2147483647 474891 24 | 1.836 % |
7524.19/7527.65 c | 658855 | 13585 56211 168104 | 2147483647 475125 24 | 1.836 % |
7527.89/7531.31 c | 659111 | 13585 56211 168104 | 2147483647 475381 24 | 1.835 % |
7532.09/7535.55 c | 659393 | 13585 56211 168104 | 2147483647 475663 24 | 1.835 % |
7536.79/7540.21 c | 659703 | 13585 56211 168104 | 2147483647 475973 24 | 1.835 % |
7542.09/7545.55 c | 660043 | 13585 56211 168104 | 2147483647 476313 24 | 1.835 % |
7547.88/7551.36 c | 660416 | 13585 56211 168104 | 2147483647 476686 24 | 1.835 % |
7554.28/7557.70 c | 660827 | 13585 56211 168104 | 2147483647 477097 24 | 1.835 % |
7560.78/7564.24 c | 661277 | 13585 56211 168104 | 2147483647 477547 24 | 1.835 % |
7568.38/7571.82 c | 661771 | 13585 56211 168104 | 2147483647 478041 24 | 1.835 % |
7576.97/7580.41 c | 662313 | 13585 56211 168104 | 2147483647 478583 24 | 1.835 % |
7586.27/7589.76 c | 662909 | 13585 56211 168104 | 2147483647 479179 24 | 1.835 % |
7595.76/7599.22 c | 663566 | 13585 56211 168104 | 2147483647 479836 24 | 1.836 % |
7606.56/7610.06 c | 664286 | 13585 56211 168104 | 2147483647 480556 24 | 1.835 % |
7617.26/7620.79 c | 665078 | 13585 56211 168104 | 2147483647 481348 24 | 1.835 % |
7631.05/7634.54 c | 665950 | 13585 56211 168104 | 2147483647 482220 24 | 1.836 % |
7645.44/7648.92 c | 666908 | 13585 56211 168104 | 2147483647 483178 24 | 1.835 % |
7661.13/7664.63 c | 667961 | 13585 56211 168104 | 2147483647 484231 24 | 1.835 % |
7678.43/7681.95 c | 669121 | 13585 56211 168104 | 2147483647 485391 24 | 1.835 % |
7697.82/7701.37 c | 670395 | 13585 56211 168104 | 2147483647 486665 24 | 1.835 % |
7718.81/7722.33 c | 671795 | 13585 56211 168104 | 2147483647 488065 24 | 1.835 % |
7741.91/7745.42 c | 673335 | 13585 56211 168104 | 2147483647 489605 24 | 1.836 % |
7765.80/7769.38 c | 675029 | 13585 56211 168104 | 2147483647 491299 24 | 1.835 % |
7793.58/7797.12 c | 676893 | 13585 56211 168104 | 2147483647 493163 24 | 1.836 % |
7825.17/7828.74 c | 678943 | 13585 56211 168104 | 2147483647 495213 24 | 1.835 % |
7858.06/7861.64 c | 681197 | 13585 56211 168104 | 2147483647 497467 24 | 1.835 % |
7895.34/7898.97 c | 683676 | 13585 56211 168104 | 2147483647 499946 24 | 1.835 % |
7937.22/7940.89 c | 686401 | 13585 56211 168104 | 2147483647 502671 24 | 1.836 % |
7977.71/7981.35 c | 689398 | 13585 56211 168104 | 2147483647 505668 24 | 1.835 % |
8030.19/8033.90 c | 692694 | 13585 56211 168104 | 2147483647 508964 24 | 1.836 % |
8089.26/8092.91 c | 696320 | 13585 56211 168104 | 2147483647 512590 24 | 1.835 % |
8152.74/8156.41 c | 700308 | 13585 56211 168104 | 2147483647 516578 24 | 1.835 % |
8227.20/8230.95 c | 704693 | 13585 56211 168104 | 2147483647 520963 24 | 1.835 % |
8305.78/8309.57 c | 709517 | 13585 56211 168104 | 2147483647 525787 24 | 1.835 % |
8392.65/8396.43 c | 714822 | 13585 56211 168104 | 2147483647 531092 24 | 1.835 % |
8487.01/8490.84 c | 720657 | 13585 56211 168104 | 2147483647 536927 24 | 1.835 % |
8590.95/8594.89 c | 727076 | 13585 56211 168104 | 2147483647 543346 24 | 1.836 % |
8592.65/8596.54 c | 727176 | 13585 56211 168104 | 2147483647 543446 24 | 1.835 % |
8594.25/8598.14 c | 727287 | 13585 56211 168104 | 2147483647 543557 24 | 1.836 % |
8595.95/8599.87 c | 727408 | 13585 56211 168104 | 2147483647 543678 24 | 1.835 % |
8598.25/8602.14 c | 727543 | 13585 56211 168104 | 2147483647 543813 24 | 1.835 % |
8600.55/8604.49 c | 727690 | 13585 56211 168104 | 2147483647 543960 24 | 1.835 % |
8602.84/8606.79 c | 727851 | 13585 56211 168104 | 2147483647 544121 24 | 1.836 % |
8605.74/8609.61 c | 728028 | 13585 56211 168104 | 2147483647 544298 24 | 1.835 % |
8608.84/8612.77 c | 728221 | 13585 56211 168104 | 2147483647 544491 24 | 1.835 % |
8612.34/8616.22 c | 728433 | 13585 56211 168104 | 2147483647 544703 24 | 1.835 % |
8616.24/8620.18 c | 728666 | 13585 56211 168104 | 2147483647 544936 24 | 1.836 % |
8620.44/8624.34 c | 728922 | 13585 56211 168104 | 2147483647 545192 24 | 1.835 % |
8625.44/8629.39 c | 729204 | 13585 56211 168104 | 2147483647 545474 24 | 1.835 % |
8630.74/8634.67 c | 729515 | 13585 56211 168104 | 2147483647 545785 24 | 1.835 % |
8636.64/8640.59 c | 729856 | 13585 56211 168104 | 2147483647 546126 24 | 1.836 % |
8643.13/8647.06 c | 730229 | 13585 56211 168104 | 546270 546499 24 | 1.836 % |
8650.33/8654.22 c | 730639 | 13585 56211 168104 | 546270 546909 24 | 1.835 % |
8667.02/8670.90 c | 731089 | 13585 56211 168104 | 546270 487473 24 | 1.836 % |
8674.31/8678.25 c | 731582 | 13585 56211 168104 | 546270 487966 24 | 1.835 % |
8682.92/8686.84 c | 732124 | 13585 56211 168104 | 546270 488508 24 | 1.835 % |
8691.61/8695.60 c | 732723 | 13585 56211 168104 | 546270 489107 24 | 1.835 % |
8701.31/8705.22 c | 733379 | 13585 56211 168104 | 546270 489763 24 | 1.835 % |
8712.80/8716.70 c | 734099 | 13585 56211 168104 | 546270 490483 24 | 1.835 % |
8723.60/8727.53 c | 734891 | 13585 56211 168104 | 546270 491275 24 | 1.835 % |
8735.49/8739.44 c | 735762 | 13585 56211 168104 | 546270 492146 24 | 1.835 % |
8748.79/8752.74 c | 736721 | 13585 56211 168104 | 546270 493105 24 | 1.835 % |
8763.18/8767.10 c | 737774 | 13585 56211 168104 | 546270 494158 24 | 1.835 % |
8778.57/8782.57 c | 738933 | 13585 56211 168104 | 546270 495317 24 | 1.836 % |
8797.27/8801.22 c | 740206 | 13585 56211 168104 | 496384 496590 24 | 1.836 % |
8827.05/8831.10 c | 741609 | 13585 56211 168104 | 496384 448201 24 | 1.835 % |
8849.34/8853.40 c | 743149 | 13585 56211 168104 | 496384 449741 24 | 1.835 % |
8868.43/8872.40 c | 744843 | 13585 56211 168104 | 496384 451435 24 | 1.835 % |
8894.72/8898.70 c | 746707 | 13585 56211 168104 | 496384 453299 24 | 1.835 % |
8922.90/8926.96 c | 748757 | 13585 56211 168104 | 496384 455349 24 | 1.835 % |
8954.29/8958.36 c | 751011 | 13585 56211 168104 | 456592 457603 24 | 1.836 % |
9003.77/9007.88 c | 753490 | 13585 56211 168104 | 456592 414322 24 | 1.835 % |
9042.95/9047.10 c | 756215 | 13585 56211 168104 | 456592 417047 24 | 1.835 % |
9084.54/9088.66 c | 759212 | 13585 56211 168104 | 456592 420044 24 | 1.835 % |
9130.62/9134.71 c | 762509 | 13585 56211 168104 | 2147483647 423341 24 | 1.835 % |
9178.90/9183.02 c | 766136 | 13585 56211 168104 | 2147483647 426968 24 | 1.835 % |
9232.97/9237.11 c | 770124 | 13585 56211 168104 | 2147483647 430956 24 | 1.836 % |
9293.55/9297.72 c | 774510 | 13585 56211 168104 | 2147483647 435342 24 | 1.835 % |
9362.93/9367.19 c | 779333 | 13585 56211 168104 | 2147483647 440165 24 | 1.835 % |
9430.70/9434.96 c | 784638 | 13585 56211 168104 | 2147483647 445470 24 | 1.835 % |
9516.06/9520.33 c | 790473 | 13585 56211 168104 | 2147483647 451305 24 | 1.835 % |
9605.92/9610.27 c | 796891 | 13585 56211 168104 | 2147483647 457723 24 | 1.835 % |
9709.47/9713.83 c | 803950 | 13585 56211 168104 | 2147483647 464782 24 | 1.835 % |
9711.17/9715.52 c | 804050 | 13585 56211 168104 | 2147483647 464882 24 | 1.836 % |
9712.97/9717.36 c | 804161 | 13585 56211 168104 | 2147483647 464993 24 | 1.836 % |
9715.17/9719.54 c | 804283 | 13585 56211 168104 | 2147483647 465115 24 | 1.835 % |
9717.47/9721.82 c | 804417 | 13585 56211 168104 | 2147483647 465249 24 | 1.835 % |
9719.57/9723.96 c | 804563 | 13585 56211 168104 | 2147483647 465395 24 | 1.835 % |
9722.27/9726.62 c | 804724 | 13585 56211 168104 | 2147483647 465556 24 | 1.836 % |
9725.07/9729.46 c | 804901 | 13585 56211 168104 | 2147483647 465733 24 | 1.835 % |
9728.17/9732.52 c | 805095 | 13585 56211 168104 | 2147483647 465927 24 | 1.835 % |
9731.77/9736.19 c | 805307 | 13585 56211 168104 | 2147483647 466139 24 | 1.836 % |
9735.86/9740.29 c | 805541 | 13585 56211 168104 | 2147483647 466373 24 | 1.835 % |
9739.66/9744.06 c | 805798 | 13585 56211 168104 | 2147483647 466630 24 | 1.835 % |
9743.56/9747.96 c | 806079 | 13585 56211 168104 | 2147483647 466911 24 | 1.835 % |
9747.96/9752.39 c | 806389 | 13585 56211 168104 | 2147483647 467221 24 | 1.836 % |
9753.05/9757.44 c | 806729 | 13585 56211 168104 | 2147483647 467561 24 | 1.836 % |
9758.25/9762.67 c | 807101 | 13585 56211 168104 | 2147483647 467933 24 | 1.835 % |
9764.85/9769.23 c | 807511 | 13585 56211 168104 | 2147483647 468343 24 | 1.835 % |
9771.05/9775.47 c | 807961 | 13585 56211 168104 | 2147483647 468793 24 | 1.835 % |
9778.35/9782.76 c | 808454 | 13585 56211 168104 | 2147483647 469286 24 | 1.835 % |
9786.64/9791.05 c | 808997 | 13585 56211 168104 | 2147483647 469829 24 | 1.835 % |
9795.73/9800.14 c | 809594 | 13585 56211 168104 | 2147483647 470426 24 | 1.836 % |
9804.63/9809.05 c | 810249 | 13585 56211 168104 | 2147483647 471081 24 | 1.835 % |
9815.03/9819.45 c | 810969 | 13585 56211 168104 | 2147483647 471801 24 | 1.835 % |
9827.32/9831.71 c | 811762 | 13585 56211 168104 | 2147483647 472594 24 | 1.836 % |
9840.32/9844.76 c | 812634 | 13585 56211 168104 | 2147483647 473466 24 | 1.836 % |
9853.81/9858.30 c | 813592 | 13585 56211 168104 | 2147483647 474424 24 | 1.835 % |
9868.30/9872.76 c | 814646 | 13585 56211 168104 | 2147483647 475478 24 | 1.835 % |
9884.90/9889.38 c | 815805 | 13585 56211 168104 | 2147483647 476637 24 | 1.835 % |
9904.29/9908.72 c | 817078 | 13585 56211 168104 | 2147483647 477910 24 | 1.835 % |
9926.49/9930.96 c | 818479 | 13585 56211 168104 | 2147483647 479311 24 | 1.835 % |
9949.58/9954.09 c | 820019 | 13585 56211 168104 | 2147483647 480851 24 | 1.835 % |
9976.97/9981.44 c | 821714 | 13585 56211 168104 | 2147483647 482546 24 | 1.835 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837342-1242867754/watcher-1837342-1242867754 -o /tmp/evaluation-result-1837342-1242867754/solver-1837342-1242867754 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837342-1242867754.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.01 1.00 0.93 3/65 6474
/proc/meminfo: memFree=1824072/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=0
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 3972946 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 224264945746 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/6474/statm: 1339 235 195 169 0 50 0
[pid=6475] ppid=6474 vsize=5356 CPUtime=0
/proc/6475/stat : 6475 (SatELiteGTI) S 6474 6474 6369 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 3972946 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/6475/statm: 1339 238 198 169 0 50 0
[pid=6477] ppid=6475 vsize=88 CPUtime=0
/proc/6477/stat : 6477 (sed) R 6475 6474 6369 0 -1 4194304 19 0 0 0 0 0 0 0 21 0 1 0 3972946 90112 1 1992294400 0 0 548682069784 18446744073709551615 224264776999 0 0 4096 0 0 0 0 17 0 0 0
/proc/6477/statm: 46 4 0 11 0 9 0
[startup+0.10709 s]
/proc/loadavg: 1.01 1.00 0.93 3/65 6474
/proc/meminfo: memFree=1824072/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=0
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 3972946 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.2021 s]
/proc/loadavg: 1.01 1.00 0.93 3/65 6474
/proc/meminfo: memFree=1824072/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=0
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 3972946 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30211 s]
/proc/loadavg: 1.01 1.00 0.93 3/65 6474
/proc/meminfo: memFree=1824072/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=0
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 3972946 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.70215 s]
/proc/loadavg: 1.01 1.00 0.93 3/65 6474
/proc/meminfo: memFree=1824072/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=0
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 3972946 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50224 s]
/proc/loadavg: 1.01 1.00 0.93 2/67 6479
/proc/meminfo: memFree=1804792/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=1.34
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 336 4727 0 0 0 0 129 5 16 0 1 0 3972946 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 5356
[startup+3.10141 s]
/proc/loadavg: 1.01 1.00 0.93 2/67 6480
/proc/meminfo: memFree=1814008/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=1.34
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 336 4727 0 0 0 0 129 5 16 0 1 0 3972946 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 239 197 169 0 50 0
[pid=6480] ppid=6474 vsize=5864 CPUtime=1.73
/proc/6480/stat : 6480 (minisat_static) R 6474 6474 6369 0 -1 4194304 1303 0 0 0 173 0 0 0 25 0 1 0 3973081 6004736 1289 1992294400 134512640 135215339 4294956240 18446744073709551615 134532724 0 0 4096 3 0 0 0 17 1 0 0
/proc/6480/statm: 1466 1289 76 171 0 1293 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 11220
[startup+6.30173 s]
/proc/loadavg: 1.09 1.02 0.93 2/67 6480
/proc/meminfo: memFree=1813752/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=1.34
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 336 4727 0 0 0 0 129 5 16 0 1 0 3972946 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 239 197 169 0 50 0
[pid=6480] ppid=6474 vsize=6000 CPUtime=4.92
/proc/6480/stat : 6480 (minisat_static) R 6474 6474 6369 0 -1 4194304 1343 0 0 0 492 0 0 0 25 0 1 0 3973081 6144000 1329 1992294400 134512640 135215339 4294956240 18446744073709551615 134538113 0 0 4096 3 0 0 0 17 0 0 0
/proc/6480/statm: 1500 1329 76 171 0 1327 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 11356
[startup+12.7014 s]
/proc/loadavg: 1.08 1.02 0.93 2/67 6480
/proc/meminfo: memFree=1813496/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=1.34
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 336 4727 0 0 0 0 129 5 16 0 1 0 3972946 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 239 197 169 0 50 0
[pid=6480] ppid=6474 vsize=6268 CPUtime=11.32
/proc/6480/stat : 6480 (minisat_static) R 6474 6474 6369 0 -1 4194304 1419 0 0 0 1132 0 0 0 25 0 1 0 3973081 6418432 1405 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/6480/statm: 1567 1405 76 171 0 1394 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 11624
[startup+25.5018 s]
/proc/loadavg: 1.06 1.01 0.93 2/67 6480
/proc/meminfo: memFree=1813176/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=1.34
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 336 4727 0 0 0 0 129 5 16 0 1 0 3972946 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 239 197 169 0 50 0
[pid=6480] ppid=6474 vsize=6800 CPUtime=24.11
/proc/6480/stat : 6480 (minisat_static) R 6474 6474 6369 0 -1 4194304 1539 0 0 0 2411 0 0 0 25 0 1 0 3973081 6963200 1525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6480/statm: 1700 1525 76 171 0 1527 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 12156
[startup+51.1015 s]
/proc/loadavg: 1.04 1.01 0.93 2/67 6480
/proc/meminfo: memFree=1812344/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=1.34
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 336 4727 0 0 0 0 129 5 16 0 1 0 3972946 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 239 197 169 0 50 0
[pid=6480] ppid=6474 vsize=7724 CPUtime=49.69
/proc/6480/stat : 6480 (minisat_static) R 6474 6474 6369 0 -1 4194304 1774 0 0 0 4969 0 0 0 25 0 1 0 3973081 7909376 1760 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/6480/statm: 1931 1760 76 171 0 1758 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 13080
[startup+102.302 s]
/proc/loadavg: 1.02 1.01 0.93 2/67 6480
/proc/meminfo: memFree=1810552/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=1.34
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 336 4727 0 0 0 0 129 5 16 0 1 0 3972946 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 239 197 169 0 50 0
[pid=6480] ppid=6474 vsize=9352 CPUtime=100.86
/proc/6480/stat : 6480 (minisat_static) R 6474 6474 6369 0 -1 4194304 2174 0 0 0 10085 1 0 0 25 0 1 0 3973081 9576448 2160 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 0 0 0
/proc/6480/statm: 2338 2160 76 171 0 2165 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 14708
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 6480
/proc/meminfo: memFree=1808504/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=1.34
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 336 4727 0 0 0 0 129 5 16 0 1 0 3972946 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 239 197 169 0 50 0
[pid=6480] ppid=6474 vsize=11392 CPUtime=160.83
/proc/6480/stat : 6480 (minisat_static) R 6474 6474 6369 0 -1 4194304 2654 0 0 0 16082 1 0 0 25 0 1 0 3973081 11665408 2640 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6480/statm: 2848 2640 76 171 0 2675 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 16748
[startup+222.306 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 6480
/proc/meminfo: memFree=1806648/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=1.34
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 336 4727 0 0 0 0 129 5 16 0 1 0 3972946 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 239 197 169 0 50 0
[pid=6480] ppid=6474 vsize=13188 CPUtime=220.8
/proc/6480/stat : 6480 (minisat_static) R 6474 6474 6369 0 -1 4194304 3109 0 0 0 22078 2 0 0 25 0 1 0 3973081 13504512 3095 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 0 0 0
/proc/6480/statm: 3297 3095 76 171 0 3124 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 18544
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 6480
/proc/meminfo: memFree=1804984/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=1.34
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 336 4727 0 0 0 0 129 5 16 0 1 0 3972946 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 239 197 169 0 50 0
[pid=6480] ppid=6474 vsize=14708 CPUtime=280.77
/proc/6480/stat : 6480 (minisat_static) R 6474 6474 6369 0 -1 4194304 3495 0 0 0 28074 3 0 0 25 0 1 0 3973081 15060992 3481 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/6480/statm: 3677 3481 76 171 0 3504 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 20064
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 6480
/proc/meminfo: memFree=1803448/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=1.34
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 336 4727 0 0 0 0 129 5 16 0 1 0 3972946 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 239 197 169 0 50 0
[pid=6480] ppid=6474 vsize=16208 CPUtime=340.74
/proc/6480/stat : 6480 (minisat_static) R 6474 6474 6369 0 -1 4194304 3843 0 0 0 34071 3 0 0 25 0 1 0 3973081 16596992 3829 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/6480/statm: 4052 3829 76 171 0 3879 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 21564
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 6480
/proc/meminfo: memFree=1802040/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=1.34
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 336 4727 0 0 0 0 129 5 16 0 1 0 3972946 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 239 197 169 0 50 0
[pid=6480] ppid=6474 vsize=17572 CPUtime=400.71
/proc/6480/stat : 6480 (minisat_static) R 6474 6474 6369 0 -1 4194304 4180 0 0 0 40067 4 0 0 25 0 1 0 3973081 17993728 4166 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6480/statm: 4393 4166 76 171 0 4220 0
Current children cumulated CPU time (s) 402.05
################
# More data... #
################
/proc/6480/statm: 21980 20945 76 171 0 21807 0
Current children cumulated CPU time (s) 9338.15
Current children cumulated vsize (KiB) 93276
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6992
/proc/meminfo: memFree=1686776/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=1.34
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 336 4727 0 0 0 0 129 5 16 0 1 0 3972946 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 239 197 169 0 50 0
[pid=6480] ppid=6474 vsize=87920 CPUtime=9396.77
/proc/6480/stat : 6480 (minisat_static) R 6474 6474 6369 0 -1 4194304 20959 0 0 0 939641 36 0 0 25 0 1 0 3973081 90030080 20945 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6480/statm: 21980 20945 76 171 0 21807 0
Current children cumulated CPU time (s) 9398.11
Current children cumulated vsize (KiB) 93276
[startup+9462.31 s]
/proc/loadavg: 1.06 1.01 1.00 2/67 6992
/proc/meminfo: memFree=1686776/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=1.34
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 336 4727 0 0 0 0 129 5 16 0 1 0 3972946 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 239 197 169 0 50 0
[pid=6480] ppid=6474 vsize=87920 CPUtime=9456.75
/proc/6480/stat : 6480 (minisat_static) R 6474 6474 6369 0 -1 4194304 20959 0 0 0 945639 36 0 0 25 0 1 0 3973081 90030080 20945 1992294400 134512640 135215339 4294956240 18446744073709551615 134538556 0 0 4096 3 0 0 0 17 0 0 0
/proc/6480/statm: 21980 20945 76 171 0 21807 0
Current children cumulated CPU time (s) 9458.09
Current children cumulated vsize (KiB) 93276
[startup+9522.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/67 6992
/proc/meminfo: memFree=1686776/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=1.34
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 336 4727 0 0 0 0 129 5 16 0 1 0 3972946 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 239 197 169 0 50 0
[pid=6480] ppid=6474 vsize=87920 CPUtime=9516.72
/proc/6480/stat : 6480 (minisat_static) R 6474 6474 6369 0 -1 4194304 20959 0 0 0 951636 36 0 0 25 0 1 0 3973081 90030080 20945 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/6480/statm: 21980 20945 76 171 0 21807 0
Current children cumulated CPU time (s) 9518.06
Current children cumulated vsize (KiB) 93276
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6992
/proc/meminfo: memFree=1686712/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=1.34
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 336 4727 0 0 0 0 129 5 16 0 1 0 3972946 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 239 197 169 0 50 0
[pid=6480] ppid=6474 vsize=87920 CPUtime=9576.69
/proc/6480/stat : 6480 (minisat_static) R 6474 6474 6369 0 -1 4194304 20959 0 0 0 957633 36 0 0 25 0 1 0 3973081 90030080 20945 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/6480/statm: 21980 20945 76 171 0 21807 0
Current children cumulated CPU time (s) 9578.03
Current children cumulated vsize (KiB) 93276
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6992
/proc/meminfo: memFree=1686712/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=1.34
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 336 4727 0 0 0 0 129 5 16 0 1 0 3972946 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 239 197 169 0 50 0
[pid=6480] ppid=6474 vsize=87920 CPUtime=9636.67
/proc/6480/stat : 6480 (minisat_static) R 6474 6474 6369 0 -1 4194304 20959 0 0 0 963631 36 0 0 25 0 1 0 3973081 90030080 20945 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6480/statm: 21980 20945 76 171 0 21807 0
Current children cumulated CPU time (s) 9638.01
Current children cumulated vsize (KiB) 93276
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6992
/proc/meminfo: memFree=1686584/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=1.34
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 336 4727 0 0 0 0 129 5 16 0 1 0 3972946 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 239 197 169 0 50 0
[pid=6480] ppid=6474 vsize=87920 CPUtime=9696.64
/proc/6480/stat : 6480 (minisat_static) R 6474 6474 6369 0 -1 4194304 20959 0 0 0 969628 36 0 0 25 0 1 0 3973081 90030080 20945 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/6480/statm: 21980 20945 76 171 0 21807 0
Current children cumulated CPU time (s) 9697.98
Current children cumulated vsize (KiB) 93276
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6992
/proc/meminfo: memFree=1686520/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=1.34
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 336 4727 0 0 0 0 129 5 16 0 1 0 3972946 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 239 197 169 0 50 0
[pid=6480] ppid=6474 vsize=87920 CPUtime=9756.61
/proc/6480/stat : 6480 (minisat_static) R 6474 6474 6369 0 -1 4194304 20964 0 0 0 975625 36 0 0 25 0 1 0 3973081 90030080 20950 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/6480/statm: 21980 20950 76 171 0 21807 0
Current children cumulated CPU time (s) 9757.95
Current children cumulated vsize (KiB) 93276
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6992
/proc/meminfo: memFree=1686520/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=1.34
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 336 4727 0 0 0 0 129 5 16 0 1 0 3972946 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 239 197 169 0 50 0
[pid=6480] ppid=6474 vsize=87920 CPUtime=9816.59
/proc/6480/stat : 6480 (minisat_static) R 6474 6474 6369 0 -1 4194304 20964 0 0 0 981623 36 0 0 25 0 1 0 3973081 90030080 20950 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6480/statm: 21980 20950 76 171 0 21807 0
Current children cumulated CPU time (s) 9817.93
Current children cumulated vsize (KiB) 93276
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6992
/proc/meminfo: memFree=1686520/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=1.34
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 336 4727 0 0 0 0 129 5 16 0 1 0 3972946 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 239 197 169 0 50 0
[pid=6480] ppid=6474 vsize=87920 CPUtime=9876.56
/proc/6480/stat : 6480 (minisat_static) R 6474 6474 6369 0 -1 4194304 20965 0 0 0 987620 36 0 0 25 0 1 0 3973081 90030080 20951 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6480/statm: 21980 20951 76 171 0 21807 0
Current children cumulated CPU time (s) 9877.9
Current children cumulated vsize (KiB) 93276
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6992
/proc/meminfo: memFree=1686456/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=1.34
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 336 4727 0 0 0 0 129 5 16 0 1 0 3972946 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 239 197 169 0 50 0
[pid=6480] ppid=6474 vsize=88100 CPUtime=9936.54
/proc/6480/stat : 6480 (minisat_static) R 6474 6474 6369 0 -1 4194304 20977 0 0 0 993617 37 0 0 25 0 1 0 3973081 90214400 20963 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/6480/statm: 22025 20963 76 171 0 21852 0
Current children cumulated CPU time (s) 9937.88
Current children cumulated vsize (KiB) 93456
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6992
/proc/meminfo: memFree=1686456/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=1.34
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 336 4727 0 0 0 0 129 5 16 0 1 0 3972946 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 239 197 169 0 50 0
[pid=6480] ppid=6474 vsize=88100 CPUtime=9996.52
/proc/6480/stat : 6480 (minisat_static) R 6474 6474 6369 0 -1 4194304 20977 0 0 0 999615 37 0 0 25 0 1 0 3973081 90214400 20963 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6480/statm: 22025 20963 76 171 0 21852 0
Current children cumulated CPU time (s) 9997.86
Current children cumulated vsize (KiB) 93456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10004.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6992
/proc/meminfo: memFree=1686456/2055920 swapFree=4176500/4192956
[pid=6474] ppid=6472 vsize=5356 CPUtime=1.34
/proc/6474/stat : 6474 (SatELiteGTI) S 6472 6474 6369 0 -1 4194304 336 4727 0 0 0 0 129 5 16 0 1 0 3972946 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6474/statm: 1339 239 197 169 0 50 0
[pid=6480] ppid=6474 vsize=88100 CPUtime=9998.72
/proc/6480/stat : 6480 (minisat_static) R 6474 6474 6369 0 -1 4194304 20977 0 0 0 999835 37 0 0 25 0 1 0 3973081 90214400 20963 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/6480/statm: 22025 20963 76 171 0 21852 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 93456
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6474 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=294803
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=54991
# CPU time returned by wait4() is 1.34979
# while last known CPU time is 10000.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10004.5
CPU time (s): 10000.1
CPU user time (s): 9999.64
CPU system time (s): 0.42
CPU usage (%): 99.9555
Max. virtual memory (cumulated for all children) (KiB): 93456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.2948
system time used= 0.054991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5063
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 26
runsolver used 8.79266 second user time and 27.7328 second system time
The end
Begin job on node82 at 2009-05-21 03:02:34
IDJOB=1837342
IDBENCH=70873
IDSOLVER=674
FILE ID=node82/1837342-1242867754
PBS_JOBID= 9328585
Free space on /tmp= 66040 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-21-s100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837342-1242867754/watcher-1837342-1242867754 -o /tmp/evaluation-result-1837342-1242867754/solver-1837342-1242867754 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837342-1242867754.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d34c45eae853ce60c342643824196dbf
RANDOM SEED=1259501628
node82.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1824616 kB
Buffers: 25828 kB
Cached: 160832 kB
SwapCached: 9928 kB
Active: 115916 kB
Inactive: 82440 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1824616 kB
SwapTotal: 4192956 kB
SwapFree: 4176500 kB
Dirty: 3548 kB
Writeback: 0 kB
Mapped: 12520 kB
Slab: 18936 kB
Committed_AS: 66696 kB
PageTables: 1388 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66032 MiB
End job on node82 at 2009-05-21 05:49:21