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 | 95535 225263 | 28660 0 0 nan | 0.000 % |
1.29/1.36 c | 0 | 58933 176133 | -- 0 -- -- | -- | -36262/-48154
1.29/1.36 c ==============================================================================
1.29/1.36 c Result : #vars: 14170 #clauses: 58933 #literals: 176133
1.29/1.36 c CPU time: 1.3298 s
1.29/1.36 c ==============================================================================
1.38/1.43 c This is MiniSat 2.0 beta
1.38/1.43 c WARNING: for repeatability, setting FPU to use double precision
1.38/1.43 c ============================[ Problem Statistics ]=============================
1.38/1.43 c | |
1.38/1.43 c | Number of variables: 14170 |
1.38/1.43 c | Number of clauses: 58933 |
1.38/1.47 c | Parsing time: 0.03 s |
1.38/1.47 c ============================[ Search Statistics ]==============================
1.38/1.47 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.38/1.47 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.38/1.47 c ===============================================================================
1.38/1.47 c | 0 | 14170 58933 176133 | 19644 0 nan | 0.000 % |
1.42/1.65 c | 101 | 14151 58933 176133 | 19644 94 40 | 2.491 % |
1.42/1.97 c | 201 | 13817 57120 171610 | 19644 191 33 | 2.491 % |
2.28/2.32 c | 302 | 13817 57120 171610 | 19644 292 30 | 2.491 % |
2.57/2.64 c | 413 | 13817 57120 171610 | 19644 403 30 | 2.491 % |
2.97/3.04 c | 514 | 13817 57120 171610 | 19644 504 29 | 2.491 % |
3.47/3.52 c | 624 | 13817 57120 171610 | 19644 614 28 | 2.491 % |
3.67/3.79 c | 745 | 13817 57120 171610 | 19644 735 36 | 2.491 % |
4.07/4.10 c | 846 | 13817 57120 171610 | 19644 836 35 | 2.491 % |
4.57/4.62 c | 956 | 13817 57120 171610 | 19644 946 33 | 2.491 % |
4.87/4.94 c | 1078 | 13817 57120 171610 | 19644 1068 33 | 2.491 % |
5.48/5.59 c | 1212 | 13817 57120 171610 | 19644 1202 32 | 2.491 % |
6.07/6.10 c | 1314 | 13817 57120 171610 | 19644 1304 31 | 2.491 % |
6.58/6.62 c | 1425 | 13817 57120 171610 | 19644 1415 30 | 2.491 % |
7.07/7.13 c | 1551 | 13817 57120 171610 | 19644 1541 30 | 2.491 % |
7.68/7.70 c | 1684 | 13817 57120 171610 | 19644 1674 29 | 2.491 % |
8.17/8.21 c | 1830 | 13817 57120 171610 | 19644 1820 29 | 2.491 % |
8.57/8.63 c | 1932 | 13817 57120 171610 | 19644 1922 29 | 2.491 % |
9.07/9.17 c | 2043 | 13817 57120 171610 | 19644 2033 28 | 2.491 % |
9.27/9.37 c | 2164 | 13817 57120 171610 | 19644 2154 29 | 2.491 % |
9.87/9.92 c | 2297 | 13817 57120 171610 | 19644 2287 30 | 2.491 % |
10.37/10.42 c | 2443 | 13817 57120 171610 | 19644 2433 30 | 2.491 % |
11.17/11.21 c | 2604 | 13817 57120 171610 | 19644 2594 29 | 2.491 % |
11.57/11.64 c | 2704 | 13817 57120 171610 | 19644 2694 29 | 2.491 % |
11.87/11.97 c | 2815 | 13817 57120 171610 | 19644 2805 29 | 2.491 % |
12.27/12.33 c | 2937 | 13817 57120 171610 | 19644 2927 29 | 2.491 % |
12.57/12.69 c | 3072 | 13817 57120 171610 | 19644 3062 29 | 2.491 % |
12.87/12.93 c | 3219 | 13817 57120 171610 | 19644 3209 30 | 2.491 % |
13.37/13.48 c | 3379 | 13817 57120 171610 | 19644 3369 31 | 2.491 % |
14.07/14.15 c | 3556 | 13817 57120 171610 | 19644 3546 31 | 2.491 % |
14.47/14.53 c | 3657 | 13817 57120 171610 | 19644 3647 31 | 2.491 % |
14.98/15.08 c | 3768 | 13817 57120 171610 | 19644 3758 30 | 2.491 % |
15.48/15.59 c | 3890 | 13817 57120 171610 | 19644 3880 30 | 2.491 % |
16.18/16.23 c | 4024 | 13817 57120 171610 | 19644 4014 30 | 2.491 % |
16.58/16.63 c | 4171 | 13817 57120 171610 | 19644 4161 30 | 2.491 % |
17.28/17.32 c | 4333 | 13817 57120 171610 | 19644 4323 31 | 2.491 % |
17.78/17.89 c | 4510 | 13817 57120 171610 | 19644 4500 31 | 2.491 % |
18.58/18.65 c | 4704 | 13817 57120 171610 | 19644 4694 30 | 2.491 % |
18.98/19.09 c | 4804 | 13817 57120 171610 | 19644 4794 30 | 2.491 % |
19.58/19.60 c | 4914 | 13817 57120 171610 | 19644 4904 30 | 2.491 % |
19.88/19.97 c | 5036 | 13817 57120 171610 | 19644 5026 30 | 2.491 % |
20.58/20.61 c | 5169 | 13817 57120 171610 | 19644 5159 30 | 2.491 % |
21.08/21.14 c | 5315 | 13817 57120 171610 | 19644 5305 30 | 2.491 % |
21.68/21.77 c | 5476 | 13817 57120 171610 | 19644 5466 30 | 2.491 % |
22.48/22.56 c | 5653 | 13817 57120 171610 | 19644 5643 30 | 2.491 % |
23.58/23.61 c | 5847 | 13817 57120 171610 | 19644 5837 29 | 2.491 % |
24.58/24.66 c | 6059 | 13817 57120 171610 | 19644 6049 29 | 2.491 % |
24.98/25.08 c | 6159 | 13817 57120 171610 | 19644 6149 30 | 2.491 % |
25.28/25.39 c | 6269 | 13817 57120 171610 | 19644 6259 30 | 2.491 % |
25.68/25.74 c | 6391 | 13817 57120 171610 | 19644 6381 30 | 2.491 % |
26.28/26.39 c | 6525 | 13817 57120 171610 | 19644 6515 29 | 2.491 % |
26.98/27.00 c | 6671 | 13817 57120 171610 | 19644 6661 29 | 2.491 % |
27.68/27.74 c | 6832 | 13817 57120 171610 | 19644 6822 29 | 2.491 % |
28.28/28.35 c | 7009 | 13817 57120 171610 | 19644 6999 29 | 2.491 % |
28.68/28.78 c | 7202 | 13817 57120 171610 | 19644 7192 30 | 2.491 % |
29.58/29.68 c | 7414 | 13817 57120 171610 | 19644 7404 30 | 2.491 % |
30.48/30.50 c | 7648 | 13817 57120 171610 | 19644 7638 30 | 2.491 % |
30.78/30.82 c | 7749 | 13817 57120 171610 | 19644 7739 30 | 2.491 % |
31.18/31.25 c | 7859 | 13817 57120 171610 | 19644 7849 30 | 2.491 % |
31.88/31.91 c | 7981 | 13817 57120 171610 | 19644 7971 30 | 2.491 % |
32.58/32.62 c | 8115 | 13817 57120 171610 | 19644 8105 30 | 2.491 % |
32.88/32.90 c | 8262 | 13817 57120 171610 | 19644 8252 30 | 2.491 % |
32.98/33.04 c | 8422 | 13817 57120 171610 | 19644 8412 31 | 2.491 % |
33.48/33.56 c | 8601 | 13817 57120 171610 | 19644 8591 32 | 2.491 % |
34.08/34.16 c | 8794 | 13817 57120 171610 | 19644 8784 32 | 2.491 % |
34.77/34.88 c | 9007 | 13817 57120 171610 | 19644 8997 32 | 2.491 % |
35.97/36.02 c | 9241 | 13817 57120 171610 | 19644 9231 32 | 2.491 % |
37.27/37.31 c | 9497 | 13817 57120 171610 | 19644 9487 31 | 2.491 % |
37.67/37.70 c | 9600 | 13817 57120 171610 | 19644 9590 31 | 2.491 % |
38.17/38.24 c | 9711 | 13817 57120 171610 | 19644 9701 31 | 2.491 % |
38.67/38.74 c | 9833 | 13817 57120 171610 | 19644 9823 31 | 2.491 % |
39.27/39.30 c | 9966 | 13817 57120 171610 | 19644 9956 31 | 2.491 % |
39.97/40.01 c | 10113 | 13817 57120 171610 | 2147483647 10103 31 | 2.491 % |
40.77/40.81 c | 10273 | 13817 57120 171610 | 2147483647 10263 31 | 2.491 % |
41.47/41.53 c | 10449 | 13817 57120 171610 | 2147483647 10439 31 | 2.491 % |
42.27/42.30 c | 10643 | 13817 57120 171610 | 2147483647 10633 31 | 2.491 % |
43.07/43.10 c | 10856 | 13817 57120 171610 | 2147483647 10846 31 | 2.491 % |
43.97/44.09 c | 11090 | 13817 57120 171610 | 2147483647 11080 31 | 2.491 % |
45.18/45.22 c | 11347 | 13817 57120 171610 | 2147483647 11337 31 | 2.491 % |
46.47/46.50 c | 11628 | 13817 57120 171610 | 2147483647 11618 31 | 2.491 % |
46.97/47.04 c | 11729 | 13817 57120 171610 | 2147483647 11719 31 | 2.491 % |
47.38/47.48 c | 11839 | 13817 57120 171610 | 2147483647 11829 31 | 2.491 % |
47.97/48.04 c | 11961 | 13817 57120 171610 | 2147483647 11951 31 | 2.491 % |
48.57/48.66 c | 12095 | 13817 57120 171610 | 2147483647 12085 31 | 2.491 % |
49.27/49.33 c | 12241 | 13817 57120 171610 | 2147483647 12231 31 | 2.491 % |
49.97/50.00 c | 12401 | 13817 57120 171610 | 2147483647 12391 31 | 2.491 % |
50.68/50.74 c | 12577 | 13817 57120 171610 | 2147483647 12567 31 | 2.491 % |
51.47/51.50 c | 12770 | 13817 57120 171610 | 2147483647 12760 31 | 2.491 % |
52.27/52.30 c | 12983 | 13817 57120 171610 | 2147483647 12973 31 | 2.491 % |
53.37/53.41 c | 13216 | 13817 57120 171610 | 2147483647 13206 31 | 2.491 % |
54.67/54.74 c | 13472 | 13817 57120 171610 | 2147483647 13462 31 | 2.491 % |
55.67/55.75 c | 13753 | 13817 57120 171610 | 2147483647 13743 31 | 2.491 % |
57.07/57.14 c | 14063 | 13817 57120 171610 | 2147483647 14053 31 | 2.491 % |
57.47/57.59 c | 14163 | 13817 57120 171610 | 2147483647 14153 31 | 2.491 % |
58.07/58.16 c | 14274 | 13817 57120 171610 | 2147483647 14264 31 | 2.491 % |
58.57/58.66 c | 14395 | 13817 57120 171610 | 2147483647 14385 31 | 2.491 % |
59.27/59.31 c | 14528 | 13817 57120 171610 | 2147483647 14518 31 | 2.491 % |
59.77/59.89 c | 14674 | 13817 57120 171610 | 2147483647 14664 31 | 2.491 % |
60.37/60.46 c | 14834 | 13817 57120 171610 | 2147483647 14824 31 | 2.491 % |
61.07/61.19 c | 15011 | 13817 57120 171610 | 2147483647 15001 31 | 2.491 % |
61.87/61.93 c | 15205 | 13817 57120 171610 | 2147483647 15195 31 | 2.491 % |
62.97/63.06 c | 15418 | 13817 57120 171610 | 2147483647 15408 31 | 2.491 % |
64.27/64.31 c | 15652 | 13817 57120 171610 | 2147483647 15642 31 | 2.491 % |
64.87/65.00 c | 15908 | 13817 57120 171610 | 2147483647 15898 31 | 2.491 % |
66.27/66.33 c | 16190 | 13817 57120 171610 | 2147483647 16180 31 | 2.491 % |
67.37/67.44 c | 16501 | 13817 57120 171610 | 2147483647 16491 31 | 2.491 % |
69.07/69.11 c | 16840 | 13817 57120 171610 | 2147483647 16830 31 | 2.491 % |
69.47/69.55 c | 16941 | 13817 57120 171610 | 2147483647 16931 31 | 2.491 % |
69.87/69.96 c | 17052 | 13817 57120 171610 | 2147483647 17042 31 | 2.491 % |
70.38/70.47 c | 17174 | 13817 57120 171610 | 2147483647 17164 31 | 2.491 % |
70.87/70.96 c | 17309 | 13817 57120 171610 | 2147483647 17299 31 | 2.491 % |
71.77/71.81 c | 17456 | 13817 57120 171610 | 2147483647 17446 31 | 2.491 % |
72.68/72.71 c | 17617 | 13817 57120 171610 | 2147483647 17607 31 | 2.491 % |
73.37/73.45 c | 17795 | 13817 57120 171610 | 2147483647 17785 31 | 2.491 % |
74.27/74.36 c | 17988 | 13817 57120 171610 | 2147483647 17978 31 | 2.491 % |
75.07/75.16 c | 18200 | 13817 57120 171610 | 2147483647 18190 31 | 2.491 % |
75.27/75.39 c | 18433 | 13817 57120 171610 | 2147483647 18423 32 | 2.491 % |
76.37/76.43 c | 18689 | 13817 57120 171610 | 2147483647 18679 32 | 2.491 % |
77.67/77.70 c | 18971 | 13817 57120 171610 | 2147483647 18961 32 | 2.491 % |
78.97/79.05 c | 19281 | 13817 57120 171610 | 2147483647 19271 32 | 2.491 % |
80.18/80.23 c | 19620 | 13817 57120 171610 | 2147483647 19610 32 | 2.491 % |
81.78/81.83 c | 19993 | 13817 57120 171610 | 2147483647 19983 32 | 2.491 % |
82.18/82.26 c | 20094 | 13817 57120 171610 | 2147483647 20084 32 | 2.491 % |
82.58/82.62 c | 20205 | 13817 57120 171610 | 2147483647 20195 32 | 2.491 % |
83.08/83.18 c | 20327 | 13817 57120 171610 | 2147483647 20317 32 | 2.491 % |
83.68/83.75 c | 20461 | 13817 57120 171610 | 2147483647 20451 32 | 2.491 % |
84.28/84.38 c | 20608 | 13817 57120 171610 | 2147483647 20598 32 | 2.491 % |
85.18/85.21 c | 20769 | 13817 57120 171610 | 2147483647 20759 32 | 2.491 % |
85.98/86.03 c | 20946 | 13817 57120 171610 | 2147483647 20936 32 | 2.491 % |
86.38/86.47 c | 21141 | 13817 57120 171610 | 2147483647 21131 32 | 2.491 % |
87.58/87.62 c | 21354 | 13817 57120 171610 | 2147483647 21344 32 | 2.491 % |
88.78/88.81 c | 21588 | 13817 57120 171610 | 2147483647 21578 32 | 2.491 % |
90.08/90.16 c | 21845 | 13817 57120 171610 | 2147483647 21835 32 | 2.491 % |
91.58/91.62 c | 22127 | 13817 57120 171610 | 2147483647 22117 32 | 2.491 % |
93.38/93.46 c | 22436 | 13817 57120 171610 | 2147483647 22426 32 | 2.491 % |
95.28/95.37 c | 22775 | 13817 57120 171610 | 2147483647 22765 31 | 2.491 % |
97.18/97.29 c | 23147 | 13817 57120 171610 | 2147483647 23137 31 | 2.491 % |
99.18/99.21 c | 23556 | 13817 57120 171610 | 2147483647 23546 31 | 2.491 % |
99.58/99.66 c | 23656 | 13817 57120 171610 | 2147483647 23646 31 | 2.491 % |
100.28/100.30 c | 23767 | 13817 57120 171610 | 2147483647 23757 31 | 2.491 % |
100.88/100.91 c | 23890 | 13817 57120 171610 | 2147483647 23880 31 | 2.491 % |
101.58/101.64 c | 24024 | 13817 57120 171610 | 2147483647 24014 31 | 2.491 % |
102.18/102.27 c | 24170 | 13817 57120 171610 | 2147483647 24160 31 | 2.491 % |
102.98/103.03 c | 24330 | 13817 57120 171610 | 2147483647 24320 31 | 2.491 % |
103.88/104.00 c | 24506 | 13817 57120 171610 | 2147483647 24496 31 | 2.491 % |
105.08/105.17 c | 24700 | 13817 57120 171610 | 2147483647 24690 31 | 2.491 % |
106.28/106.33 c | 24913 | 13817 57120 171610 | 2147483647 24903 31 | 2.491 % |
107.28/107.38 c | 25146 | 13817 57120 171610 | 2147483647 25136 31 | 2.491 % |
108.78/108.82 c | 25402 | 13817 57120 171610 | 2147483647 25392 31 | 2.491 % |
110.09/110.19 c | 25683 | 13817 57120 171610 | 2147483647 25673 31 | 2.491 % |
111.48/111.56 c | 25992 | 13817 57120 171610 | 2147483647 25982 31 | 2.491 % |
113.39/113.49 c | 26331 | 13817 57120 171610 | 2147483647 26321 31 | 2.491 % |
115.28/115.39 c | 26703 | 13817 57120 171610 | 2147483647 26693 31 | 2.491 % |
117.38/117.40 c | 27113 | 13817 57120 171610 | 2147483647 27103 31 | 2.491 % |
119.58/119.63 c | 27563 | 13817 57120 171610 | 2147483647 27553 31 | 2.491 % |
120.08/120.15 c | 27665 | 13817 57120 171610 | 2147483647 27655 31 | 2.491 % |
120.58/120.63 c | 27775 | 13817 57120 171610 | 2147483647 27765 31 | 2.491 % |
121.08/121.13 c | 27896 | 13817 57120 171610 | 2147483647 27886 31 | 2.491 % |
121.58/121.64 c | 28030 | 13817 57120 171610 | 2147483647 28020 31 | 2.491 % |
122.28/122.35 c | 28176 | 13817 57120 171610 | 2147483647 28166 31 | 2.491 % |
122.88/122.93 c | 28337 | 13817 57120 171610 | 2147483647 28327 31 | 2.491 % |
123.48/123.59 c | 28514 | 13817 57120 171610 | 2147483647 28504 31 | 2.491 % |
124.28/124.39 c | 28707 | 13817 57120 171610 | 2147483647 28697 31 | 2.491 % |
125.18/125.28 c | 28921 | 13817 57120 171610 | 2147483647 28911 31 | 2.491 % |
126.48/126.53 c | 29154 | 13817 57120 171610 | 2147483647 29144 31 | 2.491 % |
127.68/127.74 c | 29410 | 13817 57120 171610 | 2147483647 29400 31 | 2.491 % |
128.78/128.82 c | 29692 | 13817 57120 171610 | 2147483647 29682 31 | 2.491 % |
130.38/130.50 c | 30001 | 13817 57120 171610 | 2147483647 29991 32 | 2.491 % |
132.48/132.52 c | 30341 | 13817 57120 171610 | 2147483647 30331 32 | 2.491 % |
134.48/134.58 c | 30714 | 13817 57120 171610 | 2147483647 30704 31 | 2.491 % |
136.98/137.00 c | 31123 | 13817 57120 171610 | 2147483647 31113 31 | 2.491 % |
139.18/139.29 c | 31572 | 13817 57120 171610 | 2147483647 31562 31 | 2.491 % |
141.68/141.70 c | 32065 | 13817 57120 171610 | 2147483647 32055 31 | 2.491 % |
142.09/142.11 c | 32165 | 13817 57120 171610 | 2147483647 32155 31 | 2.491 % |
142.59/142.63 c | 32277 | 13817 57120 171610 | 2147483647 32267 31 | 2.491 % |
143.09/143.14 c | 32399 | 13817 57120 171610 | 2147483647 32389 31 | 2.491 % |
143.69/143.75 c | 32533 | 13817 57120 171610 | 2147483647 32523 31 | 2.491 % |
144.19/144.24 c | 32679 | 13817 57120 171610 | 2147483647 32669 31 | 2.491 % |
145.09/145.16 c | 32840 | 13817 57120 171610 | 2147483647 32830 31 | 2.491 % |
145.99/146.08 c | 33016 | 13817 57120 171610 | 2147483647 33006 31 | 2.491 % |
147.09/147.14 c | 33209 | 13817 57120 171610 | 2147483647 33199 31 | 2.491 % |
148.29/148.31 c | 33421 | 13817 57120 171610 | 2147483647 33411 31 | 2.491 % |
149.09/149.10 c | 33654 | 13817 57120 171610 | 2147483647 33644 32 | 2.491 % |
150.49/150.55 c | 33910 | 13817 57120 171610 | 2147483647 33900 32 | 2.491 % |
152.09/152.12 c | 34192 | 13817 57120 171610 | 2147483647 34182 32 | 2.491 % |
153.89/153.91 c | 34501 | 13817 57120 171610 | 2147483647 34491 32 | 2.491 % |
155.39/155.40 c | 34841 | 13817 57120 171610 | 2147483647 34831 32 | 2.491 % |
157.39/157.46 c | 35213 | 13817 57120 171610 | 2147483647 35203 32 | 2.491 % |
159.49/159.60 c | 35622 | 13817 57120 171610 | 2147483647 35612 32 | 2.491 % |
161.89/161.92 c | 36073 | 13817 57120 171610 | 2147483647 36063 32 | 2.491 % |
164.49/164.58 c | 36568 | 13817 57120 171610 | 2147483647 36558 32 | 2.491 % |
166.49/166.53 c | 37111 | 13817 57120 171610 | 2147483647 37101 32 | 2.491 % |
166.99/167.00 c | 37211 | 13817 57120 171610 | 2147483647 37201 32 | 2.491 % |
167.49/167.59 c | 37322 | 13817 57120 171610 | 2147483647 37312 32 | 2.491 % |
168.19/168.28 c | 37443 | 13817 57120 171610 | 2147483647 37433 32 | 2.491 % |
168.99/169.08 c | 37576 | 13817 57120 171610 | 2147483647 37566 32 | 2.491 % |
169.89/169.92 c | 37723 | 13817 57120 171610 | 2147483647 37713 32 | 2.491 % |
170.89/170.99 c | 37884 | 13817 57120 171610 | 2147483647 37874 32 | 2.491 % |
171.29/171.37 c | 38060 | 13817 57120 171610 | 2147483647 38050 32 | 2.491 % |
172.39/172.42 c | 38253 | 13817 57120 171610 | 2147483647 38243 32 | 2.491 % |
173.69/173.71 c | 38465 | 13817 57120 171610 | 2147483647 38455 32 | 2.491 % |
174.89/174.94 c | 38698 | 13817 57120 171610 | 2147483647 38688 32 | 2.491 % |
176.39/176.44 c | 38955 | 13817 57120 171610 | 2147483647 38945 32 | 2.491 % |
177.99/178.01 c | 39237 | 13817 57120 171610 | 2147483647 39227 32 | 2.491 % |
179.69/179.72 c | 39547 | 13817 57120 171610 | 2147483647 39537 32 | 2.491 % |
181.69/181.76 c | 39886 | 13817 57120 171610 | 2147483647 39876 32 | 2.491 % |
183.69/183.80 c | 40258 | 13817 57120 171610 | 2147483647 40248 32 | 2.491 % |
185.89/185.93 c | 40668 | 13817 57120 171610 | 2147483647 40658 32 | 2.491 % |
188.39/188.45 c | 41117 | 13817 57120 171610 | 2147483647 41107 32 | 2.491 % |
191.09/191.12 c | 41612 | 13817 57120 171610 | 2147483647 41602 32 | 2.491 % |
193.99/194.05 c | 42154 | 13817 57120 171610 | 2147483647 42144 32 | 2.491 % |
197.19/197.28 c | 42751 | 13817 57120 171610 | 2147483647 42741 32 | 2.491 % |
197.59/197.61 c | 42851 | 13817 57120 171610 | 2147483647 42841 32 | 2.491 % |
198.19/198.20 c | 42962 | 13817 57120 171610 | 2147483647 42952 32 | 2.491 % |
198.69/198.75 c | 43083 | 13817 57120 171610 | 2147483647 43073 32 | 2.491 % |
199.19/199.26 c | 43216 | 13817 57120 171610 | 2147483647 43206 32 | 2.491 % |
200.20/200.21 c | 43363 | 13817 57120 171610 | 2147483647 43353 32 | 2.491 % |
201.10/201.17 c | 43524 | 13817 57120 171610 | 2147483647 43514 32 | 2.491 % |
202.10/202.16 c | 43701 | 13817 57120 171610 | 2147483647 43691 32 | 2.491 % |
203.20/203.25 c | 43895 | 13817 57120 171610 | 2147483647 43885 32 | 2.491 % |
204.50/204.51 c | 44108 | 13817 57120 171610 | 2147483647 44098 32 | 2.491 % |
205.70/205.73 c | 44342 | 13817 57120 171610 | 2147483647 44332 32 | 2.491 % |
207.10/207.11 c | 44599 | 13817 57120 171610 | 2147483647 44589 32 | 2.491 % |
208.70/208.76 c | 44881 | 13817 57120 171610 | 2147483647 44871 32 | 2.491 % |
210.30/210.34 c | 45190 | 13817 57120 171610 | 2147483647 45180 32 | 2.491 % |
212.20/212.21 c | 45530 | 13817 57120 171610 | 2147483647 45520 32 | 2.491 % |
213.89/213.95 c | 45903 | 13817 57120 171610 | 2147483647 45893 32 | 2.491 % |
216.20/216.28 c | 46313 | 13817 57120 171610 | 2147483647 46303 32 | 2.491 % |
218.80/218.81 c | 46763 | 13817 57120 171610 | 2147483647 46753 32 | 2.491 % |
221.60/221.61 c | 47257 | 13817 57120 171610 | 2147483647 47247 32 | 2.491 % |
224.80/224.87 c | 47799 | 13817 57120 171610 | 2147483647 47789 32 | 2.491 % |
228.40/228.45 c | 48395 | 13817 57120 171610 | 2147483647 48385 32 | 2.491 % |
232.20/232.27 c | 49051 | 13817 57120 171610 | 2147483647 49041 32 | 2.491 % |
232.70/232.78 c | 49151 | 13817 57120 171610 | 2147483647 49141 32 | 2.491 % |
233.50/233.54 c | 49262 | 13817 57120 171610 | 2147483647 49252 32 | 2.491 % |
234.30/234.31 c | 49384 | 13817 57120 171610 | 2147483647 49374 32 | 2.491 % |
235.10/235.10 c | 49518 | 13817 57120 171610 | 2147483647 49508 32 | 2.491 % |
236.10/236.12 c | 49664 | 13817 57120 171610 | 2147483647 49654 32 | 2.491 % |
236.90/236.94 c | 49824 | 13817 57120 171610 | 2147483647 49814 32 | 2.491 % |
238.00/238.02 c | 50001 | 13817 57120 171610 | 2147483647 49991 32 | 2.491 % |
239.30/239.30 c | 50194 | 13817 57120 171610 | 2147483647 50184 32 | 2.491 % |
240.60/240.65 c | 50406 | 13817 57120 171610 | 2147483647 50396 32 | 2.491 % |
242.00/242.07 c | 50641 | 13817 57120 171610 | 2147483647 50631 32 | 2.491 % |
243.50/243.58 c | 50897 | 13817 57120 171610 | 2147483647 50887 32 | 2.491 % |
244.50/244.52 c | 51181 | 13817 57120 171610 | 2147483647 51171 32 | 2.491 % |
246.20/246.26 c | 51490 | 13817 57120 171610 | 2147483647 51480 32 | 2.491 % |
247.80/247.87 c | 51830 | 13817 57120 171610 | 2147483647 51820 32 | 2.491 % |
250.00/250.08 c | 52203 | 13817 57120 171610 | 2147483647 52193 32 | 2.491 % |
251.50/251.51 c | 52613 | 13817 57120 171610 | 2147483647 52603 32 | 2.491 % |
253.40/253.48 c | 53063 | 13817 57120 171610 | 2147483647 53053 32 | 2.491 % |
256.40/256.43 c | 53557 | 13817 57120 171610 | 2147483647 53547 32 | 2.491 % |
259.60/259.62 c | 54099 | 13817 57120 171610 | 2147483647 54089 32 | 2.491 % |
263.40/263.45 c | 54695 | 13817 57120 171610 | 2147483647 54685 32 | 2.491 % |
267.20/267.23 c | 55351 | 13817 57120 171610 | 2147483647 55341 32 | 2.491 % |
271.70/271.73 c | 56071 | 13817 57120 171610 | 2147483647 56061 32 | 2.491 % |
272.40/272.45 c | 56172 | 13817 57120 171610 | 2147483647 56162 32 | 2.491 % |
273.20/273.23 c | 56283 | 13817 57120 171610 | 2147483647 56273 32 | 2.491 % |
273.90/273.95 c | 56404 | 13817 57120 171610 | 2147483647 56394 32 | 2.491 % |
274.60/274.68 c | 56537 | 13817 57120 171610 | 2147483647 56527 32 | 2.491 % |
275.50/275.58 c | 56684 | 13817 57120 171610 | 2147483647 56674 32 | 2.491 % |
276.40/276.42 c | 56844 | 13817 57120 171610 | 2147483647 56834 32 | 2.491 % |
277.50/277.50 c | 57021 | 13817 57120 171610 | 2147483647 57011 32 | 2.491 % |
278.60/278.65 c | 57214 | 13817 57120 171610 | 2147483647 57204 32 | 2.491 % |
280.00/280.00 c | 57428 | 13817 57120 171610 | 2147483647 57418 32 | 2.491 % |
281.40/281.43 c | 57662 | 13817 57120 171610 | 2147483647 57652 32 | 2.491 % |
282.40/282.49 c | 57919 | 13817 57120 171610 | 2147483647 57909 32 | 2.491 % |
284.10/284.16 c | 58201 | 13817 57120 171610 | 2147483647 58191 32 | 2.491 % |
285.90/285.95 c | 58511 | 13817 57120 171610 | 2147483647 58501 32 | 2.491 % |
288.10/288.16 c | 58850 | 13817 57120 171610 | 2147483647 58840 32 | 2.491 % |
290.51/290.59 c | 59224 | 13817 57120 171610 | 2147483647 59214 32 | 2.491 % |
293.20/293.21 c | 59633 | 13817 57120 171610 | 2147483647 59623 32 | 2.491 % |
296.21/296.28 c | 60083 | 13817 57120 171610 | 2147483647 60073 32 | 2.491 % |
299.51/299.53 c | 60576 | 13817 57120 171610 | 2147483647 60566 32 | 2.491 % |
302.81/302.86 c | 61118 | 13817 57120 171610 | 2147483647 61108 32 | 2.491 % |
307.11/307.11 c | 61715 | 13817 57120 171610 | 2147483647 61705 32 | 2.491 % |
311.31/311.32 c | 62370 | 13817 57120 171610 | 2147483647 62360 32 | 2.491 % |
316.11/316.17 c | 63091 | 13817 57120 171610 | 2147483647 63081 32 | 2.491 % |
321.31/321.35 c | 63884 | 13817 57120 171610 | 2147483647 63874 32 | 2.491 % |
322.01/322.09 c | 63984 | 13817 57120 171610 | 2147483647 63974 32 | 2.491 % |
322.71/322.77 c | 64095 | 13817 57120 171610 | 2147483647 64085 32 | 2.491 % |
323.51/323.52 c | 64216 | 13817 57120 171610 | 2147483647 64206 32 | 2.491 % |
324.11/324.13 c | 64350 | 13817 57120 171610 | 2147483647 64340 32 | 2.491 % |
325.01/325.05 c | 64496 | 13817 57120 171610 | 2147483647 64486 32 | 2.491 % |
326.11/326.18 c | 64656 | 13817 57120 171610 | 2147483647 64646 32 | 2.491 % |
327.41/327.45 c | 64832 | 13817 57120 171610 | 2147483647 64822 32 | 2.491 % |
328.91/328.92 c | 65026 | 13817 57120 171610 | 2147483647 65016 32 | 2.491 % |
330.31/330.37 c | 65238 | 13817 57120 171610 | 2147483647 65228 32 | 2.491 % |
331.91/331.90 c | 65473 | 13817 57120 171610 | 2147483647 65463 32 | 2.491 % |
333.31/333.35 c | 65730 | 13817 57120 171610 | 2147483647 65720 32 | 2.491 % |
335.11/335.19 c | 66012 | 13817 57120 171610 | 2147483647 66002 32 | 2.491 % |
337.31/337.33 c | 66324 | 13817 57120 171610 | 2147483647 66314 32 | 2.491 % |
339.71/339.78 c | 66665 | 13817 57120 171610 | 2147483647 66655 31 | 2.491 % |
342.21/342.27 c | 67037 | 13817 57120 171610 | 2147483647 67027 31 | 2.491 % |
344.71/344.75 c | 67448 | 13817 57120 171610 | 2147483647 67438 32 | 2.491 % |
347.31/347.36 c | 67897 | 13817 57120 171610 | 2147483647 67887 32 | 2.491 % |
350.21/350.26 c | 68390 | 13817 57120 171610 | 2147483647 68380 32 | 2.491 % |
353.61/353.61 c | 68934 | 13817 57120 171610 | 2147483647 68924 32 | 2.491 % |
357.21/357.25 c | 69531 | 13817 57120 171610 | 2147483647 69521 32 | 2.491 % |
361.72/361.78 c | 70187 | 13817 57120 171610 | 2147483647 70177 32 | 2.491 % |
366.32/366.31 c | 70907 | 13817 57120 171610 | 2147483647 70897 32 | 2.491 % |
370.82/370.87 c | 71699 | 13817 57120 171610 | 2147483647 71689 32 | 2.491 % |
375.72/375.73 c | 72571 | 13817 57120 171610 | 2147483647 72561 32 | 2.491 % |
376.02/376.03 c | 72672 | 13817 57120 171610 | 2147483647 72662 32 | 2.491 % |
376.51/376.56 c | 72783 | 13817 57120 171610 | 2147483647 72773 33 | 2.491 % |
377.32/377.33 c | 72904 | 13817 57120 171610 | 2147483647 72894 33 | 2.491 % |
377.81/377.83 c | 73038 | 13817 57120 171610 | 2147483647 73028 33 | 2.491 % |
378.72/378.70 c | 73186 | 13817 57120 171610 | 2147483647 73176 33 | 2.491 % |
379.72/379.78 c | 73346 | 13817 57120 171610 | 2147483647 73336 33 | 2.491 % |
380.92/380.95 c | 73522 | 13817 57120 171610 | 2147483647 73512 33 | 2.491 % |
382.21/382.28 c | 73715 | 13817 57120 171610 | 2147483647 73705 33 | 2.491 % |
383.81/383.84 c | 73927 | 13817 57120 171610 | 2147483647 73917 33 | 2.491 % |
385.61/385.61 c | 74161 | 13817 57120 171610 | 2147483647 74151 32 | 2.491 % |
387.42/387.49 c | 74418 | 13817 57120 171610 | 2147483647 74408 32 | 2.491 % |
389.61/389.65 c | 74700 | 13817 57120 171610 | 2147483647 74690 32 | 2.491 % |
391.72/391.71 c | 75011 | 13817 57120 171610 | 2147483647 75001 32 | 2.491 % |
393.22/393.25 c | 75352 | 13817 57120 171610 | 2147483647 75342 32 | 2.491 % |
395.42/395.48 c | 75726 | 13817 57120 171610 | 2147483647 75716 32 | 2.491 % |
398.22/398.21 c | 76136 | 13817 57120 171610 | 2147483647 76126 32 | 2.491 % |
401.42/401.40 c | 76585 | 13817 57120 171610 | 2147483647 76575 32 | 2.491 % |
404.92/404.93 c | 77079 | 13817 57120 171610 | 2147483647 77069 32 | 2.491 % |
408.32/408.30 c | 77622 | 13817 57120 171610 | 2147483647 77612 32 | 2.491 % |
412.22/412.25 c | 78219 | 13817 57120 171610 | 2147483647 78209 32 | 2.491 % |
416.92/416.91 c | 78874 | 13817 57120 171610 | 2147483647 78864 32 | 2.491 % |
420.92/420.93 c | 79595 | 13817 57120 171610 | 2147483647 79585 33 | 2.491 % |
426.22/426.24 c | 80387 | 13817 57120 171610 | 2147483647 80377 33 | 2.491 % |
432.43/432.45 c | 81258 | 13817 57120 171610 | 2147483647 81248 33 | 2.491 % |
439.23/439.24 c | 82217 | 13817 57120 171610 | 2147483647 82207 33 | 2.491 % |
440.03/440.01 c | 82318 | 13817 57120 171610 | 2147483647 82308 33 | 2.491 % |
440.83/440.87 c | 82428 | 13817 57120 171610 | 2147483647 82418 33 | 2.491 % |
441.53/441.50 c | 82550 | 13817 57120 171610 | 2147483647 82540 33 | 2.491 % |
442.53/442.52 c | 82684 | 13817 57120 171610 | 2147483647 82674 33 | 2.491 % |
443.53/443.53 c | 82831 | 13817 57120 171610 | 2147483647 82821 33 | 2.491 % |
444.83/444.81 c | 82992 | 13817 57120 171610 | 2147483647 82982 33 | 2.491 % |
445.93/445.92 c | 83169 | 13817 57120 171610 | 2147483647 83159 33 | 2.491 % |
446.63/446.64 c | 83362 | 13817 57120 171610 | 2147483647 83352 33 | 2.491 % |
448.23/448.28 c | 83576 | 13817 57120 171610 | 2147483647 83566 33 | 2.491 % |
450.13/450.16 c | 83809 | 13817 57120 171610 | 2147483647 83799 33 | 2.491 % |
451.93/451.92 c | 84065 | 13817 57120 171610 | 2147483647 84055 33 | 2.491 % |
453.93/453.96 c | 84346 | 13817 57120 171610 | 2147483647 84336 33 | 2.491 % |
456.23/456.20 c | 84656 | 13817 57120 171610 | 2147483647 84646 33 | 2.491 % |
457.13/457.11 c | 84995 | 13817 57120 171610 | 2147483647 84985 33 | 2.491 % |
459.73/459.79 c | 85367 | 13817 57120 171610 | 2147483647 85357 33 | 2.491 % |
462.03/462.08 c | 85777 | 13817 57120 171610 | 2147483647 85767 33 | 2.491 % |
465.62/465.69 c | 86227 | 13817 57120 171610 | 2147483647 86217 33 | 2.491 % |
469.02/469.09 c | 86720 | 13817 57120 171610 | 2147483647 86710 33 | 2.491 % |
473.03/473.01 c | 87262 | 13817 57120 171610 | 2147483647 87252 33 | 2.491 % |
477.33/477.34 c | 87858 | 13817 57120 171610 | 2147483647 87848 33 | 2.491 % |
481.83/481.80 c | 88513 | 13817 57120 171610 | 2147483647 88503 33 | 2.491 % |
487.22/487.21 c | 89233 | 13817 57120 171610 | 2147483647 89223 33 | 2.491 % |
493.13/493.18 c | 90026 | 13817 57120 171610 | 2147483647 90016 33 | 2.491 % |
499.63/499.61 c | 90899 | 13817 57120 171610 | 2147483647 90889 33 | 2.491 % |
506.83/506.90 c | 91858 | 13817 57120 171610 | 2147483647 91848 33 | 2.491 % |
514.63/514.60 c | 92911 | 13817 57120 171610 | 2147483647 92901 33 | 2.491 % |
515.43/515.45 c | 93012 | 13817 57120 171610 | 2147483647 93002 33 | 2.491 % |
516.24/516.28 c | 93124 | 13817 57120 171610 | 2147483647 93114 33 | 2.491 % |
517.24/517.25 c | 93246 | 13817 57120 171610 | 2147483647 93236 33 | 2.491 % |
518.04/518.05 c | 93380 | 13817 57120 171610 | 2147483647 93370 33 | 2.491 % |
519.14/519.11 c | 93527 | 13817 57120 171610 | 2147483647 93517 33 | 2.491 % |
520.24/520.26 c | 93687 | 13817 57120 171610 | 2147483647 93677 33 | 2.491 % |
521.44/521.48 c | 93863 | 13817 57120 171610 | 2147483647 93853 33 | 2.491 % |
522.44/522.46 c | 94056 | 13817 57120 171610 | 2147483647 94046 33 | 2.491 % |
523.64/523.68 c | 94269 | 13817 57120 171610 | 2147483647 94259 33 | 2.491 % |
525.34/525.32 c | 94502 | 13817 57120 171610 | 2147483647 94492 33 | 2.491 % |
526.74/526.72 c | 94759 | 13817 57120 171610 | 2147483647 94749 33 | 2.491 % |
528.74/528.75 c | 95040 | 13817 57120 171610 | 2147483647 95030 33 | 2.491 % |
530.94/530.92 c | 95349 | 13817 57120 171610 | 2147483647 95339 33 | 2.491 % |
533.34/533.33 c | 95689 | 13817 57120 171610 | 2147483647 95679 33 | 2.491 % |
535.84/535.90 c | 96061 | 13817 57120 171610 | 2147483647 96051 33 | 2.491 % |
539.04/539.00 c | 96471 | 13817 57120 171610 | 2147483647 96461 33 | 2.491 % |
541.64/541.69 c | 96921 | 13817 57120 171610 | 2147483647 96911 33 | 2.491 % |
545.34/545.37 c | 97414 | 13817 57120 171610 | 2147483647 97404 33 | 2.491 % |
549.14/549.19 c | 97957 | 13817 57120 171610 | 2147483647 97947 33 | 2.491 % |
553.74/553.72 c | 98554 | 13817 57120 171610 | 2147483647 98544 33 | 2.491 % |
558.84/558.80 c | 99209 | 13817 57120 171610 | 2147483647 99199 33 | 2.491 % |
564.54/564.53 c | 99930 | 13817 57120 171610 | 2147483647 99920 33 | 2.491 % |
570.84/570.87 c | 100722 | 13817 57120 171610 | 2147483647 100712 33 | 2.491 % |
577.64/577.64 c | 101593 | 13817 57120 171610 | 2147483647 101583 33 | 2.491 % |
584.84/584.86 c | 102551 | 13817 57120 171610 | 2147483647 102541 33 | 2.491 % |
593.14/593.18 c | 103604 | 13817 57120 171610 | 2147483647 103594 33 | 2.491 % |
602.15/602.18 c | 104763 | 13817 57120 171610 | 2147483647 104753 33 | 2.491 % |
603.05/603.00 c | 104865 | 13817 57120 171610 | 2147483647 104855 33 | 2.491 % |
603.85/603.89 c | 104975 | 13817 57120 171610 | 2147483647 104965 33 | 2.491 % |
604.95/604.92 c | 105097 | 13817 57120 171610 | 2147483647 105087 33 | 2.491 % |
605.95/605.97 c | 105230 | 13817 57120 171610 | 2147483647 105220 33 | 2.491 % |
607.25/607.22 c | 105377 | 13817 57120 171610 | 2147483647 105367 33 | 2.491 % |
608.45/608.47 c | 105538 | 13817 57120 171610 | 2147483647 105528 33 | 2.491 % |
609.65/609.69 c | 105716 | 13817 57120 171610 | 2147483647 105706 33 | 2.491 % |
610.65/610.65 c | 105909 | 13817 57120 171610 | 2147483647 105899 33 | 2.491 % |
611.75/611.71 c | 106123 | 13817 57120 171610 | 2147483647 106113 33 | 2.491 % |
613.35/613.37 c | 106357 | 13817 57120 171610 | 2147483647 106347 33 | 2.491 % |
614.45/614.41 c | 106613 | 13817 57120 171610 | 2147483647 106603 33 | 2.491 % |
616.85/616.86 c | 106895 | 13817 57120 171610 | 2147483647 106885 33 | 2.491 % |
619.25/619.23 c | 107205 | 13817 57120 171610 | 2147483647 107195 33 | 2.491 % |
621.75/621.78 c | 107545 | 13817 57120 171610 | 2147483647 107535 33 | 2.491 % |
624.45/624.45 c | 107917 | 13817 57120 171610 | 2147483647 107907 33 | 2.491 % |
626.35/626.35 c | 108327 | 13817 57120 171610 | 2147483647 108317 33 | 2.491 % |
629.95/629.94 c | 108776 | 13817 57120 171610 | 2147483647 108766 33 | 2.491 % |
633.55/633.54 c | 109270 | 13817 57120 171610 | 2147483647 109260 33 | 2.491 % |
637.75/637.76 c | 109813 | 13817 57120 171610 | 2147483647 109803 33 | 2.491 % |
642.35/642.33 c | 110409 | 13817 57120 171610 | 2147483647 110399 33 | 2.491 % |
647.55/647.59 c | 111065 | 13817 57120 171610 | 2147483647 111055 33 | 2.491 % |
653.15/653.17 c | 111785 | 13817 57120 171610 | 2147483647 111775 33 | 2.491 % |
659.46/659.42 c | 112578 | 13817 57120 171610 | 2147483647 112568 33 | 2.491 % |
666.76/666.71 c | 113450 | 13817 57120 171610 | 2147483647 113440 33 | 2.491 % |
673.96/673.90 c | 114408 | 13817 57120 171610 | 2147483647 114398 33 | 2.491 % |
682.16/682.14 c | 115461 | 13817 57120 171610 | 2147483647 115451 33 | 2.491 % |
690.86/690.82 c | 116619 | 13817 57120 171610 | 2147483647 116609 33 | 2.491 % |
699.56/699.57 c | 117896 | 13817 57120 171610 | 2147483647 117886 33 | 2.491 % |
700.36/700.39 c | 117996 | 13817 57120 171610 | 2147483647 117986 33 | 2.491 % |
701.26/701.27 c | 118107 | 13817 57120 171610 | 2147483647 118097 33 | 2.491 % |
702.26/702.24 c | 118231 | 13817 57120 171610 | 2147483647 118221 33 | 2.491 % |
703.16/703.13 c | 118364 | 13817 57120 171610 | 2147483647 118354 33 | 2.491 % |
704.26/704.23 c | 118511 | 13817 57120 171610 | 2147483647 118501 33 | 2.491 % |
705.46/705.42 c | 118672 | 13817 57120 171610 | 2147483647 118662 33 | 2.491 % |
706.66/706.68 c | 118849 | 13817 57120 171610 | 2147483647 118839 33 | 2.491 % |
708.26/708.22 c | 119043 | 13817 57120 171610 | 2147483647 119033 33 | 2.491 % |
710.06/710.06 c | 119256 | 13817 57120 171610 | 2147483647 119246 33 | 2.491 % |
712.16/712.14 c | 119489 | 13817 57120 171610 | 2147483647 119479 33 | 2.491 % |
714.26/714.27 c | 119746 | 13817 57120 171610 | 2147483647 119736 33 | 2.491 % |
716.16/716.12 c | 120028 | 13817 57120 171610 | 2147483647 120018 33 | 2.491 % |
718.46/718.45 c | 120338 | 13817 57120 171610 | 2147483647 120328 33 | 2.491 % |
721.56/721.56 c | 120678 | 13817 57120 171610 | 2147483647 120668 33 | 2.491 % |
724.36/724.38 c | 121051 | 13817 57120 171610 | 2147483647 121041 33 | 2.491 % |
727.56/727.59 c | 121460 | 13817 57120 171610 | 2147483647 121450 33 | 2.491 % |
731.47/731.40 c | 121911 | 13817 57120 171610 | 2147483647 121901 33 | 2.491 % |
735.66/735.62 c | 122404 | 13817 57120 171610 | 2147483647 122394 33 | 2.491 % |
740.37/740.39 c | 122946 | 13817 57120 171610 | 2147483647 122936 33 | 2.491 % |
745.06/745.06 c | 123542 | 13817 57120 171610 | 2147483647 123532 33 | 2.491 % |
750.97/750.98 c | 124197 | 13817 57120 171610 | 2147483647 124187 33 | 2.491 % |
756.87/756.86 c | 124918 | 13817 57120 171610 | 2147483647 124908 33 | 2.491 % |
763.27/763.20 c | 125711 | 13817 57120 171610 | 2147483647 125701 33 | 2.491 % |
770.27/770.20 c | 126584 | 13817 57120 171610 | 2147483647 126574 33 | 2.491 % |
778.87/778.80 c | 127542 | 13817 57120 171610 | 2147483647 127532 33 | 2.491 % |
788.57/788.56 c | 128595 | 13817 57120 171610 | 2147483647 128585 33 | 2.491 % |
797.47/797.42 c | 129753 | 13817 57120 171610 | 2147483647 129743 33 | 2.491 % |
808.87/808.80 c | 131026 | 13817 57120 171610 | 2147483647 131016 33 | 2.491 % |
820.97/820.96 c | 132427 | 13817 57120 171610 | 2147483647 132417 33 | 2.491 % |
821.88/821.82 c | 132527 | 13817 57120 171610 | 2147483647 132517 33 | 2.491 % |
822.67/822.63 c | 132638 | 13817 57120 171610 | 2147483647 132628 33 | 2.491 % |
823.67/823.65 c | 132759 | 13817 57120 171610 | 2147483647 132749 33 | 2.491 % |
824.87/824.85 c | 132892 | 13817 57120 171610 | 2147483647 132882 33 | 2.491 % |
826.18/826.16 c | 133038 | 13817 57120 171610 | 2147483647 133028 33 | 2.491 % |
827.77/827.74 c | 133199 | 13817 57120 171610 | 2147483647 133189 33 | 2.491 % |
829.17/829.14 c | 133375 | 13817 57120 171610 | 2147483647 133365 33 | 2.491 % |
830.77/830.77 c | 133568 | 13817 57120 171610 | 2147483647 133558 33 | 2.491 % |
832.78/832.75 c | 133780 | 13817 57120 171610 | 2147483647 133770 33 | 2.491 % |
834.98/834.96 c | 134014 | 13817 57120 171610 | 2147483647 134004 33 | 2.491 % |
837.37/837.36 c | 134271 | 13817 57120 171610 | 2147483647 134261 33 | 2.491 % |
839.77/839.79 c | 134553 | 13817 57120 171610 | 2147483647 134543 33 | 2.491 % |
842.78/842.73 c | 134863 | 13817 57120 171610 | 2147483647 134853 33 | 2.491 % |
845.67/845.61 c | 135203 | 13817 57120 171610 | 2147483647 135193 33 | 2.491 % |
848.77/848.75 c | 135575 | 13817 57120 171610 | 2147483647 135565 33 | 2.491 % |
852.37/852.31 c | 135985 | 13817 57120 171610 | 2147483647 135975 33 | 2.491 % |
856.67/856.60 c | 136435 | 13817 57120 171610 | 2147483647 136425 33 | 2.491 % |
861.28/861.28 c | 136928 | 13817 57120 171610 | 2147483647 136918 33 | 2.491 % |
866.38/866.36 c | 137470 | 13817 57120 171610 | 2147483647 137460 32 | 2.491 % |
871.98/871.95 c | 138067 | 13817 57120 171610 | 2147483647 138057 32 | 2.491 % |
877.59/877.59 c | 138722 | 13817 57120 171610 | 2147483647 138712 32 | 2.491 % |
884.08/884.07 c | 139442 | 13817 57120 171610 | 2147483647 139432 32 | 2.491 % |
891.49/891.45 c | 140235 | 13817 57120 171610 | 2147483647 140225 32 | 2.491 % |
899.49/899.40 c | 141106 | 13817 57120 171610 | 2147483647 141096 32 | 2.491 % |
909.09/909.06 c | 142064 | 13817 57120 171610 | 2147483647 142054 32 | 2.491 % |
918.49/918.46 c | 143117 | 13817 57120 171610 | 2147483647 143107 32 | 2.491 % |
928.69/928.69 c | 144275 | 13817 57120 171610 | 2147483647 144265 32 | 2.491 % |
939.49/939.46 c | 145549 | 13817 57120 171610 | 2147483647 145539 32 | 2.491 % |
953.19/953.13 c | 146949 | 13817 57120 171610 | 2147483647 146939 32 | 2.491 % |
967.39/967.37 c | 148489 | 13817 57120 171610 | 2147483647 148479 32 | 2.491 % |
968.29/968.26 c | 148589 | 13817 57120 171610 | 2147483647 148579 32 | 2.491 % |
969.39/969.34 c | 148699 | 13817 57120 171610 | 2147483647 148689 32 | 2.491 % |
970.49/970.48 c | 148821 | 13817 57120 171610 | 2147483647 148811 32 | 2.491 % |
971.29/971.28 c | 148954 | 13817 57120 171610 | 2147483647 148944 32 | 2.491 % |
972.69/972.62 c | 149100 | 13817 57120 171610 | 2147483647 149090 32 | 2.491 % |
974.09/974.06 c | 149262 | 13817 57120 171610 | 2147483647 149252 32 | 2.491 % |
975.39/975.34 c | 149439 | 13817 57120 171610 | 2147483647 149429 32 | 2.491 % |
977.39/977.32 c | 149632 | 13817 57120 171610 | 2147483647 149622 32 | 2.491 % |
979.29/979.23 c | 149844 | 13817 57120 171610 | 2147483647 149834 32 | 2.491 % |
981.59/981.56 c | 150078 | 13817 57120 171610 | 2147483647 150068 32 | 2.491 % |
983.69/983.68 c | 150334 | 13817 57120 171610 | 2147483647 150324 32 | 2.491 % |
986.39/986.37 c | 150616 | 13817 57120 171610 | 2147483647 150606 32 | 2.491 % |
989.19/989.16 c | 150926 | 13817 57120 171610 | 2147483647 150916 32 | 2.491 % |
992.49/992.47 c | 151265 | 13817 57120 171610 | 2147483647 151255 32 | 2.491 % |
995.99/995.95 c | 151638 | 13817 57120 171610 | 2147483647 151628 32 | 2.491 % |
999.50/999.45 c | 152047 | 13817 57120 171610 | 2147483647 152037 32 | 2.491 % |
1003.70/1003.65 c | 152497 | 13817 57120 171610 | 2147483647 152487 32 | 2.491 % |
1008.20/1008.13 c | 152990 | 13817 57120 171610 | 2147483647 152980 32 | 2.491 % |
1012.50/1012.46 c | 153532 | 13817 57120 171610 | 2147483647 153522 32 | 2.491 % |
1018.30/1018.28 c | 154128 | 13817 57120 171610 | 2147483647 154118 32 | 2.491 % |
1024.10/1024.05 c | 154783 | 13817 57120 171610 | 2147483647 154773 32 | 2.491 % |
1030.91/1030.88 c | 155504 | 13817 57120 171610 | 2147483647 155494 32 | 2.491 % |
1037.90/1037.80 c | 156297 | 13817 57120 171610 | 2147483647 156287 32 | 2.491 % |
1046.21/1046.15 c | 157169 | 13817 57120 171610 | 2147483647 157159 32 | 2.491 % |
1054.80/1054.71 c | 158128 | 13817 57120 171610 | 2147483647 158118 32 | 2.491 % |
1064.40/1064.37 c | 159182 | 13817 57120 171610 | 2147483647 159172 32 | 2.491 % |
1074.01/1073.98 c | 160341 | 13817 57120 171610 | 2147483647 160331 32 | 2.491 % |
1084.41/1084.32 c | 161615 | 13817 57120 171610 | 2147483647 161605 32 | 2.491 % |
1094.62/1094.53 c | 163015 | 13817 57120 171610 | 2147483647 163005 32 | 2.491 % |
1109.62/1109.53 c | 164556 | 13817 57120 171610 | 2147483647 164546 32 | 2.491 % |
1125.12/1125.00 c | 166252 | 13817 57120 171610 | 2147483647 166242 32 | 2.491 % |
1125.82/1125.73 c | 166353 | 13817 57120 171610 | 2147483647 166343 32 | 2.491 % |
1126.82/1126.76 c | 166463 | 13817 57120 171610 | 2147483647 166453 32 | 2.491 % |
1127.82/1127.77 c | 166585 | 13817 57120 171610 | 2147483647 166575 32 | 2.491 % |
1129.32/1129.21 c | 166718 | 13817 57120 171610 | 2147483647 166708 32 | 2.491 % |
1130.52/1130.45 c | 166864 | 13817 57120 171610 | 2147483647 166854 32 | 2.491 % |
1132.32/1132.24 c | 167024 | 13817 57120 171610 | 2147483647 167014 32 | 2.491 % |
1134.32/1134.26 c | 167202 | 13817 57120 171610 | 2147483647 167192 32 | 2.491 % |
1136.32/1136.23 c | 167396 | 13817 57120 171610 | 2147483647 167386 32 | 2.491 % |
1138.22/1138.15 c | 167608 | 13817 57120 171610 | 2147483647 167598 32 | 2.491 % |
1139.82/1139.79 c | 167842 | 13817 57120 171610 | 2147483647 167832 32 | 2.491 % |
1141.82/1141.74 c | 168100 | 13817 57120 171610 | 2147483647 168090 32 | 2.491 % |
1144.12/1144.03 c | 168382 | 13817 57120 171610 | 2147483647 168372 32 | 2.491 % |
1147.22/1147.19 c | 168691 | 13817 57120 171610 | 2147483647 168681 32 | 2.491 % |
1150.62/1150.55 c | 169030 | 13817 57120 171610 | 2147483647 169020 32 | 2.491 % |
1154.12/1154.03 c | 169403 | 13817 57120 171610 | 2147483647 169393 32 | 2.491 % |
1158.22/1158.11 c | 169812 | 13817 57120 171610 | 2147483647 169802 32 | 2.491 % |
1162.72/1162.65 c | 170262 | 13817 57120 171610 | 2147483647 170252 32 | 2.491 % |
1167.32/1167.25 c | 170756 | 13817 57120 171610 | 2147483647 170746 32 | 2.491 % |
1172.92/1172.85 c | 171298 | 13817 57120 171610 | 2147483647 171288 32 | 2.491 % |
1178.42/1178.39 c | 171894 | 13817 57120 171610 | 2147483647 171884 32 | 2.491 % |
1184.42/1184.37 c | 172550 | 13817 57120 171610 | 2147483647 172540 32 | 2.491 % |
1191.53/1191.45 c | 173271 | 13817 57120 171610 | 2147483647 173261 32 | 2.491 % |
1198.62/1198.53 c | 174063 | 13817 57120 171610 | 2147483647 174053 32 | 2.491 % |
1205.93/1205.87 c | 174935 | 13817 57120 171610 | 2147483647 174925 32 | 2.491 % |
1214.63/1214.52 c | 175894 | 13817 57120 171610 | 2147483647 175884 32 | 2.491 % |
1224.13/1224.03 c | 176948 | 13817 57120 171610 | 2147483647 176938 32 | 2.491 % |
1234.63/1234.52 c | 178107 | 13817 57120 171610 | 2147483647 178097 32 | 2.491 % |
1245.63/1245.54 c | 179380 | 13817 57120 171610 | 2147483647 179370 32 | 2.491 % |
1257.93/1257.85 c | 180781 | 13817 57120 171610 | 2147483647 180771 32 | 2.491 % |
1271.13/1271.07 c | 182321 | 13817 57120 171610 | 2147483647 182311 32 | 2.491 % |
1287.34/1287.22 c | 184015 | 13817 57120 171610 | 2147483647 184005 32 | 2.491 % |
1305.74/1305.66 c | 185878 | 13817 57120 171610 | 2147483647 185868 32 | 2.491 % |
1306.84/1306.72 c | 185978 | 13817 57120 171610 | 2147483647 185968 32 | 2.491 % |
1308.04/1307.94 c | 186090 | 13817 57120 171610 | 2147483647 186080 32 | 2.491 % |
1309.24/1309.10 c | 186211 | 13817 57120 171610 | 2147483647 186201 32 | 2.491 % |
1310.74/1310.60 c | 186345 | 13817 57120 171610 | 2147483647 186335 32 | 2.491 % |
1312.24/1312.10 c | 186491 | 13817 57120 171610 | 2147483647 186481 32 | 2.491 % |
1314.04/1313.94 c | 186651 | 13817 57120 171610 | 2147483647 186641 32 | 2.491 % |
1315.54/1315.42 c | 186828 | 13817 57120 171610 | 2147483647 186818 32 | 2.491 % |
1317.24/1317.18 c | 187022 | 13817 57120 171610 | 2147483647 187012 32 | 2.491 % |
1319.34/1319.25 c | 187235 | 13817 57120 171610 | 2147483647 187225 32 | 2.491 % |
1321.24/1321.17 c | 187468 | 13817 57120 171610 | 2147483647 187458 32 | 2.491 % |
1323.74/1323.70 c | 187725 | 13817 57120 171610 | 2147483647 187715 32 | 2.491 % |
1326.44/1326.37 c | 188006 | 13817 57120 171610 | 2147483647 187996 32 | 2.491 % |
1329.64/1329.53 c | 188316 | 13817 57120 171610 | 2147483647 188306 32 | 2.491 % |
1333.64/1333.57 c | 188655 | 13817 57120 171610 | 2147483647 188645 32 | 2.491 % |
1337.44/1337.37 c | 189028 | 13817 57120 171610 | 2147483647 189018 32 | 2.491 % |
1341.64/1341.53 c | 189437 | 13817 57120 171610 | 2147483647 189427 32 | 2.491 % |
1346.64/1346.52 c | 189886 | 13817 57120 171610 | 2147483647 189876 32 | 2.491 % |
1351.84/1351.80 c | 190380 | 13817 57120 171610 | 2147483647 190370 32 | 2.491 % |
1357.14/1357.09 c | 190922 | 13817 57120 171610 | 2147483647 190912 32 | 2.491 % |
1363.44/1363.39 c | 191519 | 13817 57120 171610 | 2147483647 191509 32 | 2.491 % |
1370.54/1370.40 c | 192176 | 13817 57120 171610 | 2147483647 192166 32 | 2.491 % |
1378.35/1378.21 c | 192898 | 13817 57120 171610 | 2147483647 192888 32 | 2.491 % |
1386.95/1386.86 c | 193691 | 13817 57120 171610 | 2147483647 193681 32 | 2.491 % |
1395.15/1395.03 c | 194562 | 13817 57120 171610 | 2147483647 194552 32 | 2.491 % |
1404.65/1404.55 c | 195521 | 13817 57120 171610 | 2147483647 195511 32 | 2.491 % |
1415.86/1415.72 c | 196575 | 13817 57120 171610 | 2147483647 196565 32 | 2.491 % |
1427.75/1427.68 c | 197734 | 13817 57120 171610 | 2147483647 197724 32 | 2.491 % |
1438.75/1438.66 c | 199007 | 13817 57120 171610 | 2147483647 198997 32 | 2.491 % |
1453.96/1453.89 c | 200408 | 13817 57120 171610 | 2147483647 200398 32 | 2.491 % |
1469.96/1469.85 c | 201948 | 13817 57120 171610 | 2147483647 201938 32 | 2.491 % |
1484.76/1484.66 c | 203643 | 13817 57120 171610 | 2147483647 203633 32 | 2.491 % |
1500.26/1500.12 c | 205507 | 13817 57120 171610 | 2147483647 205497 32 | 2.491 % |
1522.86/1522.79 c | 207556 | 13817 57120 171610 | 2147483647 207546 32 | 2.491 % |
1524.17/1524.01 c | 207656 | 13817 57120 171610 | 2147483647 207646 32 | 2.491 % |
1525.37/1525.28 c | 207766 | 13817 57120 171610 | 2147483647 207756 32 | 2.491 % |
1526.57/1526.43 c | 207887 | 13817 57120 171610 | 2147483647 207877 32 | 2.491 % |
1528.18/1528.01 c | 208020 | 13817 57120 171610 | 2147483647 208010 32 | 2.491 % |
1529.47/1529.37 c | 208167 | 13817 57120 171610 | 2147483647 208157 32 | 2.491 % |
1531.27/1531.13 c | 208328 | 13817 57120 171610 | 2147483647 208318 32 | 2.491 % |
1532.97/1532.81 c | 208506 | 13817 57120 171610 | 2147483647 208496 32 | 2.491 % |
1534.97/1534.82 c | 208701 | 13817 57120 171610 | 2147483647 208691 32 | 2.491 % |
1537.17/1537.07 c | 208913 | 13817 57120 171610 | 2147483647 208903 32 | 2.491 % |
1539.37/1539.28 c | 209147 | 13817 57120 171610 | 2147483647 209137 32 | 2.491 % |
1542.17/1542.01 c | 209403 | 13817 57120 171610 | 2147483647 209393 32 | 2.491 % |
1545.27/1545.11 c | 209685 | 13817 57120 171610 | 2147483647 209675 32 | 2.491 % |
1548.57/1548.47 c | 209995 | 13817 57120 171610 | 2147483647 209985 32 | 2.491 % |
1552.47/1552.33 c | 210334 | 13817 57120 171610 | 2147483647 210324 32 | 2.491 % |
1556.07/1555.95 c | 210706 | 13817 57120 171610 | 2147483647 210696 32 | 2.491 % |
1560.47/1560.31 c | 211116 | 13817 57120 171610 | 2147483647 211106 32 | 2.491 % |
1565.07/1564.92 c | 211566 | 13817 57120 171610 | 2147483647 211556 32 | 2.491 % |
1570.47/1570.39 c | 212059 | 13817 57120 171610 | 2147483647 212049 32 | 2.491 % |
1576.37/1576.20 c | 212601 | 13817 57120 171610 | 2147483647 212591 32 | 2.491 % |
1582.37/1582.24 c | 213198 | 13817 57120 171610 | 2147483647 213188 32 | 2.491 % |
1588.97/1588.81 c | 213853 | 13817 57120 171610 | 2147483647 213843 32 | 2.491 % |
1595.78/1595.64 c | 214574 | 13817 57120 171610 | 2147483647 214564 32 | 2.491 % |
1605.19/1605.01 c | 215366 | 13817 57120 171610 | 2147483647 215356 32 | 2.491 % |
1614.28/1614.11 c | 216238 | 13817 57120 171610 | 2147483647 216228 32 | 2.491 % |
1623.68/1623.58 c | 217197 | 13817 57120 171610 | 2147483647 217187 32 | 2.491 % |
1636.48/1636.31 c | 218250 | 13817 57120 171610 | 2147483647 218240 32 | 2.491 % |
1649.88/1649.76 c | 219409 | 13817 57120 171610 | 2147483647 219399 32 | 2.491 % |
1664.88/1664.73 c | 220682 | 13817 57120 171610 | 2147483647 220672 32 | 2.491 % |
1678.38/1678.27 c | 222082 | 13817 57120 171610 | 2147483647 222072 32 | 2.491 % |
1695.80/1695.63 c | 223622 | 13817 57120 171610 | 2147483647 223612 32 | 2.491 % |
1714.00/1713.88 c | 225317 | 13817 57120 171610 | 2147483647 225307 32 | 2.491 % |
1735.30/1735.13 c | 227181 | 13817 57120 171610 | 2147483647 227171 32 | 2.491 % |
1754.50/1754.39 c | 229230 | 13817 57120 171610 | 2147483647 229220 32 | 2.491 % |
1765.70/1765.57 c | 231483 | 13817 57120 171610 | 2147483647 231473 32 | 2.491 % |
1766.80/1766.65 c | 231584 | 13817 57120 171610 | 2147483647 231574 32 | 2.491 % |
1767.80/1767.62 c | 231694 | 13817 57120 171610 | 2147483647 231684 32 | 2.491 % |
1768.90/1768.79 c | 231815 | 13817 57120 171610 | 2147483647 231805 32 | 2.491 % |
1770.50/1770.32 c | 231951 | 13817 57120 171610 | 2147483647 231941 32 | 2.491 % |
1772.20/1772.06 c | 232100 | 13817 57120 171610 | 2147483647 232090 32 | 2.491 % |
1774.00/1773.82 c | 232260 | 13817 57120 171610 | 2147483647 232250 32 | 2.491 % |
1776.00/1775.83 c | 232436 | 13817 57120 171610 | 2147483647 232426 32 | 2.491 % |
1777.90/1777.71 c | 232629 | 13817 57120 171610 | 2147483647 232619 32 | 2.491 % |
1780.60/1780.45 c | 232843 | 13817 57120 171610 | 2147483647 232833 32 | 2.491 % |
1783.31/1783.16 c | 233076 | 13817 57120 171610 | 2147483647 233066 32 | 2.491 % |
1786.41/1786.24 c | 233333 | 13817 57120 171610 | 2147483647 233323 32 | 2.491 % |
1789.31/1789.11 c | 233614 | 13817 57120 171610 | 2147483647 233604 32 | 2.491 % |
1792.81/1792.63 c | 233923 | 13817 57120 171610 | 2147483647 233913 32 | 2.491 % |
1796.80/1796.60 c | 234262 | 13817 57120 171610 | 2147483647 234252 32 | 2.491 % |
1801.20/1801.06 c | 234634 | 13817 57120 171610 | 2147483647 234624 32 | 2.491 % |
1806.20/1806.01 c | 235044 | 13817 57120 171610 | 2147483647 235034 32 | 2.491 % |
1811.40/1811.24 c | 235493 | 13817 57120 171610 | 2147483647 235483 32 | 2.491 % |
1816.41/1816.22 c | 235989 | 13817 57120 171610 | 2147483647 235979 32 | 2.491 % |
1822.20/1822.08 c | 236532 | 13817 57120 171610 | 2147483647 236522 32 | 2.491 % |
1829.70/1829.58 c | 237128 | 13817 57120 171610 | 2147483647 237118 32 | 2.491 % |
1837.31/1837.14 c | 237784 | 13817 57120 171610 | 2147483647 237774 32 | 2.491 % |
1846.51/1846.35 c | 238504 | 13817 57120 171610 | 2147483647 238494 32 | 2.491 % |
1855.02/1854.87 c | 239296 | 13817 57120 171610 | 2147483647 239286 32 | 2.491 % |
1866.01/1865.84 c | 240167 | 13817 57120 171610 | 2147483647 240157 32 | 2.491 % |
1878.31/1878.11 c | 241125 | 13817 57120 171610 | 2147483647 241115 32 | 2.491 % |
1891.12/1891.00 c | 242178 | 13817 57120 171610 | 2147483647 242168 32 | 2.491 % |
1905.92/1905.75 c | 243336 | 13817 57120 171610 | 2147483647 243326 32 | 2.491 % |
1920.22/1920.01 c | 244611 | 13817 57120 171610 | 2147483647 244601 32 | 2.491 % |
1935.42/1935.27 c | 246011 | 13817 57120 171610 | 2147483647 246001 32 | 2.491 % |
1952.23/1952.05 c | 247551 | 13817 57120 171610 | 2147483647 247541 32 | 2.491 % |
1970.03/1969.81 c | 249246 | 13817 57120 171610 | 2147483647 249236 32 | 2.491 % |
1992.53/1992.31 c | 251110 | 13817 57120 171610 | 2147483647 251100 32 | 2.491 % |
2013.93/2013.79 c | 253160 | 13817 57120 171610 | 2147483647 253150 32 | 2.491 % |
2041.03/2040.89 c | 255414 | 13817 57120 171610 | 2147483647 255404 32 | 2.491 % |
2070.64/2070.49 c | 257893 | 13817 57120 171610 | 2147483647 257883 32 | 2.491 % |
2071.85/2071.65 c | 257993 | 13817 57120 171610 | 2147483647 257983 32 | 2.491 % |
2072.75/2072.51 c | 258103 | 13817 57120 171610 | 2147483647 258093 32 | 2.491 % |
2074.34/2074.17 c | 258225 | 13817 57120 171610 | 2147483647 258215 32 | 2.491 % |
2075.95/2075.78 c | 258359 | 13817 57120 171610 | 2147483647 258349 32 | 2.491 % |
2077.44/2077.29 c | 258505 | 13817 57120 171610 | 2147483647 258495 32 | 2.491 % |
2079.15/2078.91 c | 258666 | 13817 57120 171610 | 2147483647 258656 32 | 2.491 % |
2081.34/2081.12 c | 258842 | 13817 57120 171610 | 2147483647 258832 32 | 2.491 % |
2083.65/2083.50 c | 259036 | 13817 57120 171610 | 2147483647 259026 32 | 2.491 % |
2086.34/2086.11 c | 259249 | 13817 57120 171610 | 2147483647 259239 32 | 2.491 % |
2088.85/2088.68 c | 259482 | 13817 57120 171610 | 2147483647 259472 32 | 2.491 % |
2090.64/2090.45 c | 259739 | 13817 57120 171610 | 2147483647 259729 32 | 2.491 % |
2093.84/2093.61 c | 260021 | 13817 57120 171610 | 2147483647 260011 32 | 2.491 % |
2097.65/2097.50 c | 260330 | 13817 57120 171610 | 2147483647 260320 32 | 2.491 % |
2101.94/2101.78 c | 260669 | 13817 57120 171610 | 2147483647 260659 32 | 2.491 % |
2106.15/2106.00 c | 261042 | 13817 57120 171610 | 2147483647 261032 32 | 2.491 % |
2110.64/2110.46 c | 261451 | 13817 57120 171610 | 2147483647 261441 32 | 2.491 % |
2116.24/2116.04 c | 261902 | 13817 57120 171610 | 2147483647 261892 32 | 2.491 % |
2122.54/2122.39 c | 262396 | 13817 57120 171610 | 2147483647 262386 32 | 2.491 % |
2129.05/2128.88 c | 262938 | 13817 57120 171610 | 2147483647 262928 32 | 2.491 % |
2135.55/2135.35 c | 263536 | 13817 57120 171610 | 2147483647 263526 32 | 2.491 % |
2143.75/2143.56 c | 264191 | 13817 57120 171610 | 2147483647 264181 32 | 2.491 % |
2152.35/2152.17 c | 264911 | 13817 57120 171610 | 2147483647 264901 32 | 2.491 % |
2161.26/2161.06 c | 265704 | 13817 57120 171610 | 2147483647 265694 32 | 2.491 % |
2172.06/2171.87 c | 266575 | 13817 57120 171610 | 2147483647 266565 32 | 2.491 % |
2181.26/2181.09 c | 267533 | 13817 57120 171610 | 2147483647 267523 32 | 2.491 % |
2194.66/2194.41 c | 268586 | 13817 57120 171610 | 2147483647 268576 32 | 2.491 % |
2209.76/2209.56 c | 269744 | 13817 57120 171610 | 2147483647 269734 32 | 2.491 % |
2225.26/2225.08 c | 271017 | 13817 57120 171610 | 2147483647 271007 32 | 2.491 % |
2243.76/2243.59 c | 272417 | 13817 57120 171610 | 2147483647 272407 32 | 2.491 % |
2262.16/2261.91 c | 273957 | 13817 57120 171610 | 2147483647 273947 32 | 2.491 % |
2282.46/2282.21 c | 275651 | 13817 57120 171610 | 2147483647 275641 32 | 2.491 % |
2306.67/2306.46 c | 277515 | 13817 57120 171610 | 2147483647 277505 32 | 2.491 % |
2332.98/2332.73 c | 279565 | 13817 57120 171610 | 2147483647 279555 32 | 2.491 % |
2362.58/2362.35 c | 281819 | 13817 57120 171610 | 2147483647 281809 32 | 2.491 % |
2389.98/2389.73 c | 284297 | 13817 57120 171610 | 2147483647 284287 32 | 2.491 % |
2423.28/2423.09 c | 287022 | 13817 57120 171610 | 2147483647 287012 32 | 2.491 % |
2424.39/2424.15 c | 287122 | 13817 57120 171610 | 2147483647 287112 32 | 2.491 % |
2425.49/2425.28 c | 287232 | 13817 57120 171610 | 2147483647 287222 32 | 2.491 % |
2426.69/2426.50 c | 287354 | 13817 57120 171610 | 2147483647 287344 32 | 2.491 % |
2428.39/2428.13 c | 287487 | 13817 57120 171610 | 2147483647 287477 32 | 2.491 % |
2430.49/2430.21 c | 287633 | 13817 57120 171610 | 2147483647 287623 32 | 2.491 % |
2432.69/2432.40 c | 287794 | 13817 57120 171610 | 2147483647 287784 32 | 2.491 % |
2434.99/2434.73 c | 287970 | 13817 57120 171610 | 2147483647 287960 32 | 2.491 % |
2437.49/2437.21 c | 288163 | 13817 57120 171610 | 2147483647 288153 32 | 2.491 % |
2439.09/2438.83 c | 288376 | 13817 57120 171610 | 2147483647 288366 32 | 2.491 % |
2440.99/2440.73 c | 288610 | 13817 57120 171610 | 2147483647 288600 32 | 2.491 % |
2443.99/2443.73 c | 288867 | 13817 57120 171610 | 2147483647 288857 32 | 2.491 % |
2447.69/2447.44 c | 289148 | 13817 57120 171610 | 2147483647 289138 32 | 2.491 % |
2451.59/2451.36 c | 289457 | 13817 57120 171610 | 2147483647 289447 32 | 2.491 % |
2455.89/2455.67 c | 289796 | 13817 57120 171610 | 2147483647 289786 32 | 2.491 % |
2459.99/2459.77 c | 290168 | 13817 57120 171610 | 2147483647 290158 32 | 2.491 % |
2464.79/2464.59 c | 290577 | 13817 57120 171610 | 2147483647 290567 32 | 2.491 % |
2470.49/2470.29 c | 291027 | 13817 57120 171610 | 2147483647 291017 32 | 2.491 % |
2476.69/2476.48 c | 291520 | 13817 57120 171610 | 2147483647 291510 32 | 2.491 % |
2483.99/2483.74 c | 292063 | 13817 57120 171610 | 2147483647 292053 32 | 2.491 % |
2492.20/2491.96 c | 292660 | 13817 57120 171610 | 2147483647 292650 32 | 2.491 % |
2501.70/2501.45 c | 293316 | 13817 57120 171610 | 2147483647 293306 32 | 2.491 % |
2511.70/2511.49 c | 294037 | 13817 57120 171610 | 2147483647 294027 32 | 2.491 % |
2521.90/2521.66 c | 294830 | 13817 57120 171610 | 2147483647 294820 32 | 2.491 % |
2533.40/2533.16 c | 295702 | 13817 57120 171610 | 2147483647 295692 32 | 2.491 % |
2545.40/2545.13 c | 296660 | 13817 57120 171610 | 2147483647 296650 32 | 2.491 % |
2551.60/2551.37 c | 297713 | 13817 57120 171610 | 2147483647 297703 32 | 2.491 % |
2567.41/2567.18 c | 298873 | 13817 57120 171610 | 2147483647 298863 32 | 2.491 % |
2584.31/2584.04 c | 300146 | 13817 57120 171610 | 2147483647 300136 32 | 2.491 % |
2603.21/2602.96 c | 301547 | 13817 57120 171610 | 2147483647 301537 32 | 2.491 % |
2626.12/2625.82 c | 303088 | 13817 57120 171610 | 2147483647 303078 32 | 2.491 % |
2648.71/2648.47 c | 304783 | 13817 57120 171610 | 2147483647 304773 32 | 2.491 % |
2672.32/2672.05 c | 306647 | 13817 57120 171610 | 2147483647 306637 32 | 2.491 % |
2700.22/2699.92 c | 308697 | 13817 57120 171610 | 2147483647 308687 32 | 2.491 % |
2729.62/2729.35 c | 310950 | 13817 57120 171610 | 2147483647 310940 32 | 2.491 % |
2761.74/2761.45 c | 313429 | 13817 57120 171610 | 2147483647 313419 32 | 2.491 % |
2802.04/2801.74 c | 316155 | 13817 57120 171610 | 2147483647 316145 32 | 2.491 % |
2843.44/2843.12 c | 319153 | 13817 57120 171610 | 2147483647 319143 32 | 2.491 % |
2844.95/2844.68 c | 319253 | 13817 57120 171610 | 2147483647 319243 32 | 2.491 % |
2846.54/2846.29 c | 319364 | 13817 57120 171610 | 2147483647 319354 32 | 2.491 % |
2848.35/2848.04 c | 319485 | 13817 57120 171610 | 2147483647 319475 32 | 2.491 % |
2850.04/2849.71 c | 319619 | 13817 57120 171610 | 2147483647 319609 32 | 2.491 % |
2852.04/2851.73 c | 319767 | 13817 57120 171610 | 2147483647 319757 32 | 2.491 % |
2854.24/2853.97 c | 319927 | 13817 57120 171610 | 2147483647 319917 32 | 2.491 % |
2856.24/2855.96 c | 320104 | 13817 57120 171610 | 2147483647 320094 32 | 2.491 % |
2859.04/2858.71 c | 320298 | 13817 57120 171610 | 2147483647 320288 32 | 2.491 % |
2861.94/2861.65 c | 320511 | 13817 57120 171610 | 2147483647 320501 32 | 2.491 % |
2865.64/2865.30 c | 320744 | 13817 57120 171610 | 2147483647 320734 32 | 2.491 % |
2869.34/2869.00 c | 321002 | 13817 57120 171610 | 2147483647 320992 32 | 2.491 % |
2873.55/2873.25 c | 321284 | 13817 57120 171610 | 2147483647 321274 32 | 2.491 % |
2878.84/2878.52 c | 321593 | 13817 57120 171610 | 2147483647 321583 32 | 2.491 % |
2883.94/2883.64 c | 321933 | 13817 57120 171610 | 2147483647 321923 32 | 2.491 % |
2888.64/2888.35 c | 322306 | 13817 57120 171610 | 2147483647 322296 32 | 2.491 % |
2894.04/2893.71 c | 322715 | 13817 57120 171610 | 2147483647 322705 32 | 2.491 % |
2900.45/2900.15 c | 323165 | 13817 57120 171610 | 2147483647 323155 32 | 2.491 % |
2907.25/2906.93 c | 323659 | 13817 57120 171610 | 2147483647 323649 32 | 2.491 % |
2915.06/2914.79 c | 324202 | 13817 57120 171610 | 2147483647 324192 32 | 2.491 % |
2923.16/2922.86 c | 324800 | 13817 57120 171610 | 2147483647 324790 32 | 2.491 % |
2932.56/2932.22 c | 325455 | 13817 57120 171610 | 2147483647 325445 32 | 2.491 % |
2941.56/2941.28 c | 326175 | 13817 57120 171610 | 2147483647 326165 32 | 2.491 % |
2951.96/2951.66 c | 326967 | 13817 57120 171610 | 2147483647 326957 32 | 2.491 % |
2965.26/2964.94 c | 327838 | 13817 57120 171610 | 2147483647 327828 32 | 2.491 % |
2979.36/2979.06 c | 328797 | 13817 57120 171610 | 2147483647 328787 32 | 2.491 % |
2994.06/2993.79 c | 329851 | 13817 57120 171610 | 2147483647 329841 32 | 2.491 % |
3009.47/3009.17 c | 331010 | 13817 57120 171610 | 2147483647 331000 32 | 2.491 % |
3026.97/3026.66 c | 332283 | 13817 57120 171610 | 2147483647 332273 32 | 2.491 % |
3046.67/3046.34 c | 333684 | 13817 57120 171610 | 2147483647 333674 32 | 2.491 % |
3062.57/3062.23 c | 335225 | 13817 57120 171610 | 2147483647 335215 32 | 2.491 % |
3089.78/3089.43 c | 336920 | 13817 57120 171610 | 2147483647 336910 32 | 2.491 % |
3117.68/3117.38 c | 338783 | 13817 57120 171610 | 2147483647 338773 32 | 2.491 % |
3145.88/3145.51 c | 340834 | 13817 57120 171610 | 2147483647 340824 32 | 2.491 % |
3178.18/3177.87 c | 343087 | 13817 57120 171610 | 2147483647 343077 32 | 2.491 % |
3215.29/3214.90 c | 345565 | 13817 57120 171610 | 2147483647 345555 32 | 2.491 % |
3254.80/3254.48 c | 348290 | 13817 57120 171610 | 2147483647 348280 32 | 2.491 % |
3299.00/3298.63 c | 351288 | 13817 57120 171610 | 2147483647 351278 32 | 2.491 % |
3334.61/3334.24 c | 354585 | 13817 57120 171610 | 2147483647 354575 33 | 2.491 % |
3336.31/3335.91 c | 354686 | 13817 57120 171610 | 2147483647 354676 33 | 2.491 % |
3337.81/3337.45 c | 354798 | 13817 57120 171610 | 2147483647 354788 33 | 2.491 % |
3339.51/3339.18 c | 354919 | 13817 57120 171610 | 2147483647 354909 33 | 2.491 % |
3341.31/3340.98 c | 355052 | 13817 57120 171610 | 2147483647 355042 33 | 2.491 % |
3343.71/3343.34 c | 355198 | 13817 57120 171610 | 2147483647 355188 33 | 2.491 % |
3346.21/3345.87 c | 355359 | 13817 57120 171610 | 2147483647 355349 33 | 2.491 % |
3348.81/3348.41 c | 355536 | 13817 57120 171610 | 2147483647 355526 33 | 2.491 % |
3351.81/3351.49 c | 355731 | 13817 57120 171610 | 2147483647 355721 33 | 2.491 % |
3354.91/3354.56 c | 355944 | 13817 57120 171610 | 2147483647 355934 33 | 2.491 % |
3358.41/3358.09 c | 356177 | 13817 57120 171610 | 2147483647 356167 33 | 2.491 % |
3361.51/3361.13 c | 356433 | 13817 57120 171610 | 2147483647 356423 33 | 2.491 % |
3365.42/3365.04 c | 356714 | 13817 57120 171610 | 2147483647 356704 33 | 2.491 % |
3370.12/3369.75 c | 357024 | 13817 57120 171610 | 2147483647 357014 33 | 2.491 % |
3375.82/3375.42 c | 357363 | 13817 57120 171610 | 2147483647 357353 33 | 2.491 % |
3381.42/3381.03 c | 357737 | 13817 57120 171610 | 2147483647 357727 33 | 2.491 % |
3387.32/3386.91 c | 358147 | 13817 57120 171610 | 2147483647 358137 33 | 2.491 % |
3393.92/3393.51 c | 358596 | 13817 57120 171610 | 2147483647 358586 33 | 2.491 % |
3402.22/3401.85 c | 359090 | 13817 57120 171610 | 2147483647 359080 33 | 2.491 % |
3410.82/3410.47 c | 359632 | 13817 57120 171610 | 2147483647 359622 33 | 2.491 % |
3419.52/3419.15 c | 360229 | 13817 57120 171610 | 2147483647 360219 33 | 2.491 % |
3429.22/3428.87 c | 360884 | 13817 57120 171610 | 2147483647 360874 32 | 2.491 % |
3439.92/3439.53 c | 361605 | 13817 57120 171610 | 2147483647 361595 32 | 2.491 % |
3452.42/3452.05 c | 362398 | 13817 57120 171610 | 2147483647 362388 32 | 2.491 % |
3465.42/3465.08 c | 363270 | 13817 57120 171610 | 2147483647 363260 32 | 2.491 % |
3478.12/3477.70 c | 364228 | 13817 57120 171610 | 2147483647 364218 32 | 2.491 % |
3495.02/3494.67 c | 365281 | 13817 57120 171610 | 2147483647 365271 32 | 2.491 % |
3511.73/3511.34 c | 366439 | 13817 57120 171610 | 2147483647 366429 32 | 2.491 % |
3531.53/3531.13 c | 367714 | 13817 57120 171610 | 2147483647 367704 32 | 2.491 % |
3553.66/3553.32 c | 369115 | 13817 57120 171610 | 2147483647 369105 33 | 2.491 % |
3569.96/3569.68 c | 370657 | 13817 57120 171610 | 2147483647 370647 33 | 2.491 % |
3591.86/3591.60 c | 372351 | 13817 57120 171610 | 2147483647 372341 33 | 2.491 % |
3622.87/3622.59 c | 374214 | 13817 57120 171610 | 2147483647 374204 33 | 2.491 % |
3653.07/3652.75 c | 376263 | 13817 57120 171610 | 2147483647 376253 33 | 2.491 % |
3685.28/3684.91 c | 378517 | 13817 57120 171610 | 2147483647 378507 33 | 2.491 % |
3724.68/3724.36 c | 380996 | 13817 57120 171610 | 2147483647 380986 33 | 2.491 % |
3767.59/3767.20 c | 383722 | 13817 57120 171610 | 2147483647 383712 33 | 2.491 % |
3810.79/3810.48 c | 386719 | 13817 57120 171610 | 2147483647 386709 33 | 2.491 % |
3860.10/3859.75 c | 390015 | 13817 57120 171610 | 2147483647 390005 33 | 2.491 % |
3912.81/3912.40 c | 393640 | 13817 57120 171610 | 2147483647 393630 33 | 2.491 % |
3914.41/3914.04 c | 393740 | 13817 57120 171610 | 2147483647 393730 33 | 2.491 % |
3916.11/3915.76 c | 393852 | 13817 57120 171610 | 2147483647 393842 33 | 2.491 % |
3918.21/3917.81 c | 393973 | 13817 57120 171610 | 2147483647 393963 33 | 2.491 % |
3920.31/3919.94 c | 394107 | 13817 57120 171610 | 2147483647 394097 33 | 2.491 % |
3922.81/3922.42 c | 394255 | 13817 57120 171610 | 2147483647 394245 33 | 2.491 % |
3925.22/3924.84 c | 394416 | 13817 57120 171610 | 2147483647 394406 33 | 2.491 % |
3927.91/3927.52 c | 394593 | 13817 57120 171610 | 2147483647 394583 33 | 2.491 % |
3930.72/3930.40 c | 394787 | 13817 57120 171610 | 2147483647 394777 33 | 2.491 % |
3934.12/3933.79 c | 395002 | 13817 57120 171610 | 2147483647 394992 33 | 2.491 % |
3937.91/3937.54 c | 395236 | 13817 57120 171610 | 2147483647 395226 33 | 2.491 % |
3941.31/3940.93 c | 395492 | 13817 57120 171610 | 2147483647 395482 33 | 2.491 % |
3945.61/3945.26 c | 395773 | 13817 57120 171610 | 2147483647 395763 33 | 2.491 % |
3950.11/3949.70 c | 396083 | 13817 57120 171610 | 2147483647 396073 33 | 2.491 % |
3955.11/3954.77 c | 396423 | 13817 57120 171610 | 2147483647 396413 33 | 2.491 % |
3959.91/3959.52 c | 396796 | 13817 57120 171610 | 2147483647 396786 33 | 2.491 % |
3966.11/3965.77 c | 397205 | 13817 57120 171610 | 2147483647 397195 33 | 2.491 % |
3972.71/3972.35 c | 397656 | 13817 57120 171610 | 2147483647 397646 33 | 2.491 % |
3980.41/3980.08 c | 398150 | 13817 57120 171610 | 2147483647 398140 33 | 2.491 % |
3988.31/3987.98 c | 398693 | 13817 57120 171610 | 2147483647 398683 33 | 2.491 % |
3996.52/3996.14 c | 399292 | 13817 57120 171610 | 2147483647 399282 33 | 2.491 % |
4006.92/4006.53 c | 399949 | 13817 57120 171610 | 2147483647 399939 33 | 2.491 % |
4019.72/4019.33 c | 400669 | 13817 57120 171610 | 2147483647 400659 33 | 2.491 % |
4032.22/4031.84 c | 401462 | 13817 57120 171610 | 2147483647 401452 33 | 2.491 % |
4043.53/4043.10 c | 402334 | 13817 57120 171610 | 2147483647 402324 33 | 2.491 % |
4057.73/4057.36 c | 403293 | 13817 57120 171610 | 2147483647 403283 33 | 2.491 % |
4074.23/4073.84 c | 404346 | 13817 57120 171610 | 2147483647 404336 33 | 2.491 % |
4091.43/4091.03 c | 405505 | 13817 57120 171610 | 2147483647 405495 33 | 2.491 % |
4110.83/4110.40 c | 406779 | 13817 57120 171610 | 2147483647 406769 33 | 2.491 % |
4134.83/4134.40 c | 408179 | 13817 57120 171610 | 2147483647 408169 33 | 2.491 % |
4159.04/4158.65 c | 409720 | 13817 57120 171610 | 2147483647 409710 33 | 2.491 % |
4188.75/4188.31 c | 411415 | 13817 57120 171610 | 2147483647 411405 33 | 2.491 % |
4218.75/4218.37 c | 413279 | 13817 57120 171610 | 2147483647 413269 33 | 2.491 % |
4251.05/4250.60 c | 415329 | 13817 57120 171610 | 2147483647 415319 33 | 2.491 % |
4284.55/4284.10 c | 417583 | 13817 57120 171610 | 2147483647 417573 33 | 2.491 % |
4325.36/4324.97 c | 420061 | 13817 57120 171610 | 2147483647 420051 33 | 2.491 % |
4372.07/4371.63 c | 422788 | 13817 57120 171610 | 2147483647 422778 33 | 2.491 % |
4421.98/4421.51 c | 425785 | 13817 57120 171610 | 2147483647 425775 33 | 2.491 % |
4476.49/4476.10 c | 429081 | 13817 57120 171610 | 2147483647 429071 33 | 2.491 % |
4535.79/4535.38 c | 432706 | 13817 57120 171610 | 2147483647 432696 32 | 2.491 % |
4600.99/4600.51 c | 436694 | 13817 57120 171610 | 2147483647 436684 33 | 2.491 % |
4602.70/4602.25 c | 436795 | 13817 57120 171610 | 2147483647 436785 33 | 2.491 % |
4604.00/4603.54 c | 436905 | 13817 57120 171610 | 2147483647 436895 33 | 2.491 % |
4606.10/4605.60 c | 437028 | 13817 57120 171610 | 2147483647 437018 33 | 2.491 % |
4608.90/4608.41 c | 437161 | 13817 57120 171610 | 2147483647 437151 33 | 2.491 % |
4611.30/4610.83 c | 437307 | 13817 57120 171610 | 2147483647 437297 33 | 2.491 % |
4613.70/4613.21 c | 437467 | 13817 57120 171610 | 2147483647 437457 33 | 2.491 % |
4616.10/4615.64 c | 437643 | 13817 57120 171610 | 2147483647 437633 33 | 2.491 % |
4619.40/4618.97 c | 437836 | 13817 57120 171610 | 2147483647 437826 33 | 2.491 % |
4622.70/4622.22 c | 438048 | 13817 57120 171610 | 2147483647 438038 33 | 2.491 % |
4626.80/4626.38 c | 438281 | 13817 57120 171610 | 2147483647 438271 33 | 2.491 % |
4631.20/4630.73 c | 438540 | 13817 57120 171610 | 2147483647 438530 33 | 2.491 % |
4635.60/4635.10 c | 438822 | 13817 57120 171610 | 2147483647 438812 33 | 2.491 % |
4640.90/4640.43 c | 439132 | 13817 57120 171610 | 2147483647 439122 33 | 2.491 % |
4647.10/4646.67 c | 439472 | 13817 57120 171610 | 2147483647 439462 33 | 2.491 % |
4653.80/4653.36 c | 439845 | 13817 57120 171610 | 2147483647 439835 33 | 2.491 % |
4661.31/4660.85 c | 440254 | 13817 57120 171610 | 2147483647 440244 33 | 2.491 % |
4669.80/4669.36 c | 440703 | 13817 57120 171610 | 2147483647 440693 33 | 2.491 % |
4678.20/4677.73 c | 441197 | 13817 57120 171610 | 2147483647 441187 33 | 2.491 % |
4688.30/4687.84 c | 441741 | 13817 57120 171610 | 2147483647 441731 33 | 2.491 % |
4698.02/4697.53 c | 442338 | 13817 57120 171610 | 2147483647 442328 33 | 2.491 % |
4708.52/4708.02 c | 442993 | 13817 57120 171610 | 2147483647 442983 33 | 2.491 % |
4720.42/4719.97 c | 443713 | 13817 57120 171610 | 2147483647 443703 33 | 2.491 % |
4733.52/4733.05 c | 444505 | 13817 57120 171610 | 2147483647 444495 33 | 2.491 % |
4748.02/4747.52 c | 445376 | 13817 57120 171610 | 2147483647 445366 33 | 2.491 % |
4762.92/4762.42 c | 446334 | 13817 57120 171610 | 2147483647 446324 33 | 2.491 % |
4781.02/4780.57 c | 447388 | 13817 57120 171610 | 2147483647 447378 33 | 2.491 % |
4801.22/4800.77 c | 448548 | 13817 57120 171610 | 2147483647 448538 33 | 2.491 % |
4820.92/4820.41 c | 449822 | 13817 57120 171610 | 2147483647 449812 33 | 2.491 % |
4845.83/4845.34 c | 451223 | 13817 57120 171610 | 2147483647 451213 33 | 2.491 % |
4871.94/4871.48 c | 452764 | 13817 57120 171610 | 2147483647 452754 32 | 2.491 % |
4900.34/4899.80 c | 454458 | 13817 57120 171610 | 2147483647 454448 32 | 2.491 % |
4933.24/4932.73 c | 456322 | 13817 57120 171610 | 2147483647 456312 32 | 2.491 % |
4968.35/4967.84 c | 458371 | 13817 57120 171610 | 2147483647 458361 32 | 2.491 % |
5007.86/5007.31 c | 460625 | 13817 57120 171610 | 2147483647 460615 32 | 2.491 % |
5046.05/5045.59 c | 463103 | 13817 57120 171610 | 2147483647 463093 33 | 2.491 % |
5089.26/5088.72 c | 465828 | 13817 57120 171610 | 2147483647 465818 33 | 2.491 % |
5139.27/5138.76 c | 468825 | 13817 57120 171610 | 2147483647 468815 32 | 2.491 % |
5197.08/5196.53 c | 472121 | 13817 57120 171610 | 2147483647 472111 32 | 2.491 % |
5263.69/5263.18 c | 475746 | 13817 57120 171610 | 2147483647 475736 32 | 2.491 % |
5331.09/5330.51 c | 479734 | 13817 57120 171610 | 2147483647 479724 32 | 2.491 % |
5410.50/5409.96 c | 484120 | 13817 57120 171610 | 2147483647 484110 32 | 2.491 % |
5412.40/5411.88 c | 484221 | 13817 57120 171610 | 2147483647 484211 32 | 2.491 % |
5414.20/5413.64 c | 484331 | 13817 57120 171610 | 2147483647 484321 32 | 2.491 % |
5416.91/5416.38 c | 484453 | 13817 57120 171610 | 2147483647 484443 32 | 2.491 % |
5419.71/5419.12 c | 484587 | 13817 57120 171610 | 2147483647 484577 32 | 2.491 % |
5422.71/5422.16 c | 484733 | 13817 57120 171610 | 2147483647 484723 32 | 2.491 % |
5425.01/5424.40 c | 484893 | 13817 57120 171610 | 2147483647 484883 32 | 2.491 % |
5427.21/5426.69 c | 485069 | 13817 57120 171610 | 2147483647 485059 32 | 2.491 % |
5430.91/5430.31 c | 485263 | 13817 57120 171610 | 2147483647 485253 32 | 2.491 % |
5434.51/5433.95 c | 485475 | 13817 57120 171610 | 2147483647 485465 32 | 2.491 % |
5438.61/5438.03 c | 485708 | 13817 57120 171610 | 2147483647 485698 32 | 2.491 % |
5443.42/5442.80 c | 485965 | 13817 57120 171610 | 2147483647 485955 32 | 2.491 % |
5448.61/5448.05 c | 486247 | 13817 57120 171610 | 2147483647 486237 32 | 2.491 % |
5453.21/5452.68 c | 486557 | 13817 57120 171610 | 2147483647 486547 32 | 2.491 % |
5459.41/5458.85 c | 486897 | 13817 57120 171610 | 2147483647 486887 32 | 2.491 % |
5466.21/5465.61 c | 487269 | 13817 57120 171610 | 2147483647 487259 32 | 2.491 % |
5473.31/5472.70 c | 487678 | 13817 57120 171610 | 2147483647 487668 32 | 2.491 % |
5481.71/5481.14 c | 488127 | 13817 57120 171610 | 2147483647 488117 32 | 2.491 % |
5489.72/5489.18 c | 488621 | 13817 57120 171610 | 2147483647 488611 32 | 2.491 % |
5496.92/5496.32 c | 489163 | 13817 57120 171610 | 2147483647 489153 32 | 2.491 % |
5508.61/5508.06 c | 489759 | 13817 57120 171610 | 2147483647 489749 32 | 2.491 % |
5518.72/5518.11 c | 490415 | 13817 57120 171610 | 489991 490405 32 | 2.491 % |
5534.82/5534.26 c | 491136 | 13817 57120 171610 | 489991 436789 32 | 2.491 % |
5551.13/5550.51 c | 491928 | 13817 57120 171610 | 489991 437581 32 | 2.491 % |
5567.63/5567.02 c | 492799 | 13817 57120 171610 | 489991 438452 32 | 2.491 % |
5583.83/5583.27 c | 493757 | 13817 57120 171610 | 489991 439410 32 | 2.491 % |
5601.94/5601.35 c | 494810 | 13817 57120 171610 | 489991 440463 32 | 2.491 % |
5620.93/5620.39 c | 495969 | 13817 57120 171610 | 489991 441622 32 | 2.491 % |
5643.24/5642.62 c | 497242 | 13817 57120 171610 | 489991 442895 32 | 2.491 % |
5654.34/5653.77 c | 498642 | 13817 57120 171610 | 489991 444295 32 | 2.491 % |
5679.34/5678.79 c | 500183 | 13817 57120 171610 | 2147483647 445836 32 | 2.491 % |
5707.05/5706.45 c | 501877 | 13817 57120 171610 | 2147483647 447530 32 | 2.491 % |
5740.25/5739.62 c | 503741 | 13817 57120 171610 | 2147483647 449394 32 | 2.491 % |
5773.15/5772.56 c | 505791 | 13817 57120 171610 | 2147483647 451444 32 | 2.491 % |
5813.96/5813.37 c | 508045 | 13817 57120 171610 | 2147483647 453698 32 | 2.491 % |
5867.86/5867.26 c | 510523 | 13817 57120 171610 | 2147483647 456176 32 | 2.491 % |
5916.37/5915.74 c | 513250 | 13817 57120 171610 | 2147483647 458903 32 | 2.491 % |
5966.09/5965.45 c | 516247 | 13817 57120 171610 | 2147483647 461900 32 | 2.491 % |
6018.29/6017.62 c | 519543 | 13817 57120 171610 | 2147483647 465196 32 | 2.491 % |
6081.99/6081.37 c | 523169 | 13817 57120 171610 | 2147483647 468822 32 | 2.491 % |
6152.40/6151.74 c | 527156 | 13817 57120 171610 | 2147483647 472809 32 | 2.491 % |
6223.91/6223.29 c | 531541 | 13817 57120 171610 | 475653 477194 32 | 2.491 % |
6303.62/6302.91 c | 536364 | 13817 57120 171610 | 475653 420874 32 | 2.491 % |
6305.02/6304.38 c | 536464 | 13817 57120 171610 | 475653 420974 32 | 2.491 % |
6306.92/6306.25 c | 536574 | 13817 57120 171610 | 475653 421084 32 | 2.491 % |
6309.42/6308.71 c | 536695 | 13817 57120 171610 | 475653 421205 32 | 2.491 % |
6311.92/6311.20 c | 536829 | 13817 57120 171610 | 475653 421339 32 | 2.491 % |
6314.73/6314.02 c | 536976 | 13817 57120 171610 | 475653 421486 32 | 2.491 % |
6317.33/6316.65 c | 537136 | 13817 57120 171610 | 475653 421646 32 | 2.491 % |
6320.43/6319.70 c | 537312 | 13817 57120 171610 | 475653 421822 32 | 2.491 % |
6324.03/6323.38 c | 537506 | 13817 57120 171610 | 475653 422016 32 | 2.491 % |
6327.63/6326.99 c | 537721 | 13817 57120 171610 | 475653 422231 32 | 2.491 % |
6331.73/6331.05 c | 537954 | 13817 57120 171610 | 475653 422464 32 | 2.491 % |
6336.03/6335.32 c | 538211 | 13817 57120 171610 | 475653 422721 32 | 2.491 % |
6340.63/6339.94 c | 538493 | 13817 57120 171610 | 475653 423003 32 | 2.491 % |
6345.54/6344.90 c | 538802 | 13817 57120 171610 | 475653 423312 32 | 2.491 % |
6351.73/6351.07 c | 539142 | 13817 57120 171610 | 475653 423652 32 | 2.491 % |
6357.54/6356.80 c | 539517 | 13817 57120 171610 | 475653 424027 32 | 2.491 % |
6364.34/6363.64 c | 539926 | 13817 57120 171610 | 475653 424436 32 | 2.491 % |
6371.24/6370.58 c | 540376 | 13817 57120 171610 | 424510 424886 32 | 2.491 % |
6382.24/6381.58 c | 540869 | 13817 57120 171610 | 424510 382891 32 | 2.491 % |
6389.64/6388.98 c | 541411 | 13817 57120 171610 | 424510 383433 32 | 2.491 % |
6396.44/6395.75 c | 542007 | 13817 57120 171610 | 424510 384029 32 | 2.491 % |
6406.24/6405.54 c | 542664 | 13817 57120 171610 | 424510 384686 32 | 2.491 % |
6417.74/6417.03 c | 543385 | 13817 57120 171610 | 424510 385407 32 | 2.491 % |
6430.14/6429.41 c | 544178 | 13817 57120 171610 | 424510 386200 32 | 2.491 % |
6443.04/6442.32 c | 545050 | 13817 57120 171610 | 424510 387072 32 | 2.491 % |
6457.85/6457.16 c | 546008 | 13817 57120 171610 | 424510 388030 32 | 2.491 % |
6473.65/6472.91 c | 547062 | 13817 57120 171610 | 424510 389084 32 | 2.491 % |
6494.15/6493.47 c | 548220 | 13817 57120 171610 | 424510 390242 32 | 2.491 % |
6514.95/6514.29 c | 549495 | 13817 57120 171610 | 424510 391517 32 | 2.491 % |
6537.65/6536.92 c | 550895 | 13817 57120 171610 | 2147483647 392917 32 | 2.491 % |
6563.26/6562.60 c | 552436 | 13817 57120 171610 | 2147483647 394458 32 | 2.491 % |
6591.56/6590.81 c | 554131 | 13817 57120 171610 | 2147483647 396153 33 | 2.491 % |
6622.06/6621.38 c | 555994 | 13817 57120 171610 | 2147483647 398016 33 | 2.491 % |
6656.67/6655.94 c | 558044 | 13817 57120 171610 | 2147483647 400066 33 | 2.491 % |
6694.58/6693.87 c | 560299 | 13817 57120 171610 | 2147483647 402321 32 | 2.491 % |
6733.78/6733.02 c | 562778 | 13817 57120 171610 | 2147483647 404800 32 | 2.491 % |
6776.19/6775.42 c | 565505 | 13817 57120 171610 | 2147483647 407527 32 | 2.491 % |
6825.09/6824.33 c | 568505 | 13817 57120 171610 | 2147483647 410527 32 | 2.491 % |
6876.60/6875.87 c | 571802 | 13817 57120 171610 | 2147483647 413824 32 | 2.491 % |
6932.51/6931.79 c | 575427 | 13817 57120 171610 | 2147483647 417449 32 | 2.491 % |
6999.42/6998.65 c | 579414 | 13817 57120 171610 | 2147483647 421436 32 | 2.491 % |
7072.73/7071.93 c | 583799 | 13817 57120 171610 | 2147483647 425821 32 | 2.491 % |
7147.82/7147.02 c | 588623 | 13817 57120 171610 | 2147483647 430645 32 | 2.491 % |
7234.84/7234.04 c | 593928 | 13817 57120 171610 | 2147483647 435950 32 | 2.491 % |
7236.44/7235.68 c | 594029 | 13817 57120 171610 | 2147483647 436051 32 | 2.491 % |
7238.44/7237.60 c | 594139 | 13817 57120 171610 | 2147483647 436161 32 | 2.491 % |
7240.44/7239.69 c | 594261 | 13817 57120 171610 | 2147483647 436283 32 | 2.491 % |
7242.84/7242.06 c | 594395 | 13817 57120 171610 | 2147483647 436417 32 | 2.491 % |
7245.24/7244.47 c | 594541 | 13817 57120 171610 | 2147483647 436563 32 | 2.491 % |
7248.24/7247.41 c | 594703 | 13817 57120 171610 | 2147483647 436725 32 | 2.491 % |
7251.34/7250.55 c | 594879 | 13817 57120 171610 | 2147483647 436901 32 | 2.491 % |
7254.54/7253.72 c | 595073 | 13817 57120 171610 | 2147483647 437095 32 | 2.491 % |
7257.74/7256.90 c | 595287 | 13817 57120 171610 | 2147483647 437309 32 | 2.491 % |
7261.95/7261.18 c | 595521 | 13817 57120 171610 | 2147483647 437543 32 | 2.491 % |
7266.95/7266.16 c | 595778 | 13817 57120 171610 | 2147483647 437800 32 | 2.491 % |
7271.95/7271.10 c | 596059 | 13817 57120 171610 | 2147483647 438081 32 | 2.491 % |
7276.75/7275.97 c | 596368 | 13817 57120 171610 | 2147483647 438390 32 | 2.491 % |
7282.96/7282.20 c | 596708 | 13817 57120 171610 | 2147483647 438730 32 | 2.491 % |
7289.55/7288.71 c | 597080 | 13817 57120 171610 | 2147483647 439102 32 | 2.491 % |
7296.45/7295.63 c | 597489 | 13817 57120 171610 | 2147483647 439511 32 | 2.491 % |
7303.25/7302.46 c | 597938 | 13817 57120 171610 | 2147483647 439960 32 | 2.491 % |
7311.56/7310.71 c | 598432 | 13817 57120 171610 | 2147483647 440454 32 | 2.491 % |
7320.26/7319.45 c | 598974 | 13817 57120 171610 | 2147483647 440996 32 | 2.491 % |
7330.45/7329.67 c | 599571 | 13817 57120 171610 | 2147483647 441593 32 | 2.491 % |
7342.45/7341.61 c | 600227 | 13817 57120 171610 | 2147483647 442249 32 | 2.491 % |
7352.86/7352.06 c | 600949 | 13817 57120 171610 | 2147483647 442971 32 | 2.491 % |
7366.06/7365.20 c | 601741 | 13817 57120 171610 | 2147483647 443763 32 | 2.491 % |
7380.76/7379.97 c | 602613 | 13817 57120 171610 | 2147483647 444635 32 | 2.491 % |
7398.66/7397.86 c | 603571 | 13817 57120 171610 | 2147483647 445593 32 | 2.491 % |
7417.86/7417.05 c | 604624 | 13817 57120 171610 | 2147483647 446646 32 | 2.491 % |
7440.27/7439.41 c | 605783 | 13817 57120 171610 | 2147483647 447805 32 | 2.491 % |
7460.77/7459.96 c | 607056 | 13817 57120 171610 | 2147483647 449078 32 | 2.491 % |
7485.57/7484.79 c | 608457 | 13817 57120 171610 | 2147483647 450479 32 | 2.491 % |
7511.47/7510.67 c | 609998 | 13817 57120 171610 | 2147483647 452020 32 | 2.491 % |
7534.27/7533.46 c | 611694 | 13817 57120 171610 | 2147483647 453716 32 | 2.491 % |
7565.28/7564.49 c | 613557 | 13817 57120 171610 | 2147483647 455579 32 | 2.491 % |
7600.68/7599.86 c | 615606 | 13817 57120 171610 | 2147483647 457628 32 | 2.491 % |
7639.29/7638.49 c | 617860 | 13817 57120 171610 | 2147483647 459882 32 | 2.491 % |
7681.49/7680.64 c | 620338 | 13817 57120 171610 | 2147483647 462360 32 | 2.491 % |
7728.71/7727.88 c | 623063 | 13817 57120 171610 | 2147483647 465085 32 | 2.491 % |
7779.51/7778.67 c | 626061 | 13817 57120 171610 | 2147483647 468083 32 | 2.491 % |
7837.92/7837.02 c | 629358 | 13817 57120 171610 | 2147483647 471380 32 | 2.491 % |
7894.63/7893.72 c | 632983 | 13817 57120 171610 | 2147483647 475005 32 | 2.491 % |
7964.03/7963.13 c | 636971 | 13817 57120 171610 | 2147483647 478993 32 | 2.491 % |
8041.64/8040.77 c | 641357 | 13817 57120 171610 | 482024 483379 32 | 2.491 % |
8128.45/8127.51 c | 646180 | 13817 57120 171610 | 482024 435608 32 | 2.491 % |
8213.37/8212.42 c | 651485 | 13817 57120 171610 | 2147483647 440913 32 | 2.491 % |
8316.58/8315.68 c | 657321 | 13817 57120 171610 | 2147483647 446749 32 | 2.491 % |
8318.58/8317.65 c | 657422 | 13817 57120 171610 | 2147483647 446850 32 | 2.491 % |
8320.68/8319.77 c | 657533 | 13817 57120 171610 | 2147483647 446961 32 | 2.491 % |
8323.08/8322.11 c | 657654 | 13817 57120 171610 | 2147483647 447082 32 | 2.491 % |
8325.29/8324.30 c | 657789 | 13817 57120 171610 | 2147483647 447217 32 | 2.491 % |
8327.79/8326.80 c | 657936 | 13817 57120 171610 | 2147483647 447364 32 | 2.491 % |
8330.69/8329.71 c | 658098 | 13817 57120 171610 | 2147483647 447526 32 | 2.491 % |
8333.59/8332.69 c | 658274 | 13817 57120 171610 | 2147483647 447702 32 | 2.491 % |
8336.79/8335.89 c | 658467 | 13817 57120 171610 | 2147483647 447895 32 | 2.491 % |
8339.89/8338.91 c | 658680 | 13817 57120 171610 | 2147483647 448108 32 | 2.491 % |
8344.09/8343.17 c | 658914 | 13817 57120 171610 | 2147483647 448342 32 | 2.491 % |
8348.29/8347.39 c | 659170 | 13817 57120 171610 | 2147483647 448598 32 | 2.491 % |
8353.29/8352.33 c | 659452 | 13817 57120 171610 | 2147483647 448880 32 | 2.491 % |
8358.19/8357.28 c | 659762 | 13817 57120 171610 | 2147483647 449190 32 | 2.491 % |
8364.09/8363.15 c | 660103 | 13817 57120 171610 | 2147483647 449531 32 | 2.491 % |
8370.59/8369.61 c | 660475 | 13817 57120 171610 | 2147483647 449903 32 | 2.491 % |
8377.39/8376.40 c | 660884 | 13817 57120 171610 | 2147483647 450312 32 | 2.491 % |
8385.79/8384.89 c | 661333 | 13817 57120 171610 | 2147483647 450761 32 | 2.491 % |
8394.39/8393.43 c | 661827 | 13817 57120 171610 | 2147483647 451255 32 | 2.491 % |
8403.59/8402.68 c | 662370 | 13817 57120 171610 | 2147483647 451798 32 | 2.491 % |
8411.29/8410.30 c | 662968 | 13817 57120 171610 | 2147483647 452396 32 | 2.491 % |
8422.99/8422.02 c | 663624 | 13817 57120 171610 | 2147483647 453052 32 | 2.491 % |
8434.60/8433.69 c | 664344 | 13817 57120 171610 | 2147483647 453772 32 | 2.491 % |
8446.50/8445.59 c | 665137 | 13817 57120 171610 | 2147483647 454565 32 | 2.491 % |
8460.70/8459.75 c | 666009 | 13817 57120 171610 | 2147483647 455437 32 | 2.491 % |
8478.20/8477.29 c | 666969 | 13817 57120 171610 | 2147483647 456397 32 | 2.491 % |
8496.41/8495.46 c | 668022 | 13817 57120 171610 | 2147483647 457450 32 | 2.491 % |
8517.21/8516.26 c | 669180 | 13817 57120 171610 | 2147483647 458608 32 | 2.491 % |
8539.61/8538.69 c | 670453 | 13817 57120 171610 | 2147483647 459881 32 | 2.491 % |
8566.71/8565.80 c | 671855 | 13817 57120 171610 | 2147483647 461283 32 | 2.491 % |
8592.81/8591.81 c | 673395 | 13817 57120 171610 | 2147483647 462823 32 | 2.491 % |
8619.62/8618.61 c | 675089 | 13817 57120 171610 | 2147483647 464517 32 | 2.491 % |
8655.72/8654.78 c | 676952 | 13817 57120 171610 | 2147483647 466380 32 | 2.491 % |
8690.22/8689.23 c | 679001 | 13817 57120 171610 | 2147483647 468429 32 | 2.491 % |
8728.03/8727.03 c | 681254 | 13817 57120 171610 | 2147483647 470682 32 | 2.491 % |
8773.64/8772.62 c | 683733 | 13817 57120 171610 | 2147483647 473161 32 | 2.491 % |
8821.54/8820.50 c | 686458 | 13817 57120 171610 | 2147483647 475886 32 | 2.491 % |
8876.06/8875.00 c | 689455 | 13817 57120 171610 | 2147483647 478883 32 | 2.491 % |
8939.06/8938.02 c | 692752 | 13817 57120 171610 | 479428 434042 32 | 2.491 % |
8997.57/8996.54 c | 696377 | 13817 57120 171610 | 479428 437667 32 | 2.491 % |
9065.68/9064.61 c | 700364 | 13817 57120 171610 | 2147483647 441654 32 | 2.491 % |
9137.39/9136.35 c | 704750 | 13817 57120 171610 | 2147483647 446040 32 | 2.491 % |
9212.70/9211.69 c | 709573 | 13817 57120 171610 | 2147483647 450863 32 | 2.491 % |
9307.71/9306.69 c | 714878 | 13817 57120 171610 | 2147483647 456168 32 | 2.491 % |
9411.23/9410.15 c | 720714 | 13817 57120 171610 | 2147483647 462004 32 | 2.491 % |
9532.34/9531.28 c | 727133 | 13817 57120 171610 | 2147483647 468423 32 | 2.491 % |
9534.54/9533.48 c | 727233 | 13817 57120 171610 | 2147483647 468523 32 | 2.491 % |
9536.84/9535.75 c | 727343 | 13817 57120 171610 | 2147483647 468633 32 | 2.491 % |
9539.24/9538.11 c | 727465 | 13817 57120 171610 | 2147483647 468755 32 | 2.491 % |
9542.04/9540.93 c | 727598 | 13817 57120 171610 | 2147483647 468888 32 | 2.491 % |
9545.34/9544.25 c | 727744 | 13817 57120 171610 | 2147483647 469034 32 | 2.491 % |
9548.54/9547.43 c | 727906 | 13817 57120 171610 | 2147483647 469196 32 | 2.491 % |
9551.84/9550.72 c | 728083 | 13817 57120 171610 | 2147483647 469373 32 | 2.491 % |
9555.64/9554.52 c | 728276 | 13817 57120 171610 | 2147483647 469566 32 | 2.491 % |
9558.94/9557.89 c | 728488 | 13817 57120 171610 | 2147483647 469778 32 | 2.491 % |
9563.34/9562.29 c | 728722 | 13817 57120 171610 | 2147483647 470012 32 | 2.491 % |
9567.94/9566.85 c | 728979 | 13817 57120 171610 | 2147483647 470269 32 | 2.491 % |
9572.74/9571.60 c | 729261 | 13817 57120 171610 | 2147483647 470551 32 | 2.491 % |
9578.14/9577.02 c | 729571 | 13817 57120 171610 | 2147483647 470861 32 | 2.491 % |
9584.54/9583.46 c | 729913 | 13817 57120 171610 | 2147483647 471203 32 | 2.491 % |
9592.54/9591.48 c | 730286 | 13817 57120 171610 | 2147483647 471576 32 | 2.491 % |
9600.04/9598.96 c | 730696 | 13817 57120 171610 | 2147483647 471986 32 | 2.491 % |
9608.44/9607.31 c | 731145 | 13817 57120 171610 | 2147483647 472435 32 | 2.491 % |
9617.74/9616.62 c | 731640 | 13817 57120 171610 | 2147483647 472930 32 | 2.491 % |
9627.25/9626.16 c | 732183 | 13817 57120 171610 | 2147483647 473473 32 | 2.491 % |
9637.84/9636.74 c | 732780 | 13817 57120 171610 | 2147483647 474070 32 | 2.491 % |
9649.75/9648.68 c | 733436 | 13817 57120 171610 | 2147483647 474726 32 | 2.491 % |
9661.25/9660.17 c | 734156 | 13817 57120 171610 | 2147483647 475446 32 | 2.491 % |
9676.06/9674.94 c | 734948 | 13817 57120 171610 | 2147483647 476238 32 | 2.491 % |
9691.96/9690.82 c | 735820 | 13817 57120 171610 | 2147483647 477110 32 | 2.491 % |
9709.66/9708.50 c | 736779 | 13817 57120 171610 | 2147483647 478069 32 | 2.491 % |
9730.16/9729.02 c | 737832 | 13817 57120 171610 | 2147483647 479122 32 | 2.491 % |
9749.47/9748.35 c | 738993 | 13817 57120 171610 | 2147483647 480283 32 | 2.491 % |
9773.37/9772.20 c | 740266 | 13817 57120 171610 | 481290 481556 32 | 2.491 % |
9797.37/9796.21 c | 741666 | 13817 57120 171610 | 481290 482956 32 | 2.491 % |
9833.47/9832.37 c | 743206 | 13817 57120 171610 | 481290 434486 32 | 2.491 % |
9862.58/9861.41 c | 744901 | 13817 57120 171610 | 481290 436181 32 | 2.491 % |
9893.18/9892.09 c | 746765 | 13817 57120 171610 | 481290 438045 31 | 2.491 % |
9927.28/9926.10 c | 748815 | 13817 57120 171610 | 481290 440095 31 | 2.491 % |
9963.79/9962.61 c | 751068 | 13817 57120 171610 | 2147483647 442348 31 | 2.491 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837344-1242867787/watcher-1837344-1242867787 -o /tmp/evaluation-result-1837344-1242867787/solver-1837344-1242867787 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837344-1242867787.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.00 0.99 0.96 3/64 13718
/proc/meminfo: memFree=1542392/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=0
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 314812149 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 231962542162 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/13718/statm: 1339 235 195 169 0 50 0
[pid=13719] ppid=13718 vsize=5356 CPUtime=0
/proc/13719/stat : 13719 (SatELiteGTI) S 13718 13718 13641 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 314812150 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/13719/statm: 1339 238 198 169 0 50 0
[pid=13721] ppid=13719 vsize=2596 CPUtime=0
/proc/13721/stat : 13721 (sed) R 13719 13718 13641 0 -1 4194304 134 0 0 0 0 0 0 0 18 0 1 0 314812150 2658304 108 1992294400 4194304 4240196 548682069056 18446744073709551615 4215480 0 0 4096 0 0 0 0 17 1 0 0
/proc/13721/statm: 651 119 96 11 0 55 0
[startup+0.10492 s]
/proc/loadavg: 1.00 0.99 0.96 3/64 13718
/proc/meminfo: memFree=1542392/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=0
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314812149 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13718/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.201892 s]
/proc/loadavg: 1.00 0.99 0.96 3/64 13718
/proc/meminfo: memFree=1542392/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=0
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314812149 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13718/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301864 s]
/proc/loadavg: 1.00 0.99 0.96 3/64 13718
/proc/meminfo: memFree=1542392/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=0
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314812149 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13718/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701749 s]
/proc/loadavg: 1.00 0.99 0.96 3/64 13718
/proc/meminfo: memFree=1542392/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=0
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314812149 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13718/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50253 s]
/proc/loadavg: 1.00 0.99 0.96 2/66 13723
/proc/meminfo: memFree=1522984/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=1.42
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 336 4391 0 0 0 0 138 4 16 0 1 0 314812149 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13718/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 5356
[startup+3.10107 s]
/proc/loadavg: 1.00 0.99 0.96 2/66 13724
/proc/meminfo: memFree=1532008/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=1.42
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 336 4391 0 0 0 0 138 4 16 0 1 0 314812149 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13718/statm: 1339 239 197 169 0 50 0
[pid=13724] ppid=13718 vsize=5880 CPUtime=1.65
/proc/13724/stat : 13724 (minisat_static) R 13718 13718 13641 0 -1 4194304 1322 0 0 0 165 0 0 0 25 0 1 0 314812293 6021120 1308 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/13724/statm: 1470 1308 76 171 0 1297 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 11236
[startup+6.30115 s]
/proc/loadavg: 1.00 0.99 0.96 2/66 13724
/proc/meminfo: memFree=1531624/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=1.42
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 336 4391 0 0 0 0 138 4 16 0 1 0 314812149 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13718/statm: 1339 239 197 169 0 50 0
[pid=13724] ppid=13718 vsize=6012 CPUtime=4.85
/proc/13724/stat : 13724 (minisat_static) R 13718 13718 13641 0 -1 4194304 1361 0 0 0 485 0 0 0 25 0 1 0 314812293 6156288 1347 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13724/statm: 1503 1347 76 171 0 1330 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 11368
[startup+12.7013 s]
/proc/loadavg: 1.00 0.99 0.96 2/66 13724
/proc/meminfo: memFree=1531496/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=1.42
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 336 4391 0 0 0 0 138 4 16 0 1 0 314812149 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13718/statm: 1339 239 197 169 0 50 0
[pid=13724] ppid=13718 vsize=6408 CPUtime=11.25
/proc/13724/stat : 13724 (minisat_static) R 13718 13718 13641 0 -1 4194304 1431 0 0 0 1125 0 0 0 25 0 1 0 314812293 6561792 1417 1992294400 134512640 135215339 4294956240 18446744073709551615 134528764 0 0 4096 3 0 0 0 17 1 0 0
/proc/13724/statm: 1602 1417 76 171 0 1429 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 11764
[startup+25.5017 s]
/proc/loadavg: 1.00 0.99 0.96 2/66 13724
/proc/meminfo: memFree=1530984/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=1.42
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 336 4391 0 0 0 0 138 4 16 0 1 0 314812149 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13718/statm: 1339 239 197 169 0 50 0
[pid=13724] ppid=13718 vsize=6840 CPUtime=24.06
/proc/13724/stat : 13724 (minisat_static) R 13718 13718 13641 0 -1 4194304 1564 0 0 0 2405 1 0 0 25 0 1 0 314812293 7004160 1550 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13724/statm: 1710 1550 76 171 0 1537 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12196
[startup+51.1014 s]
/proc/loadavg: 1.00 0.99 0.96 2/66 13724
/proc/meminfo: memFree=1529960/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=1.42
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 336 4391 0 0 0 0 138 4 16 0 1 0 314812149 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13718/statm: 1339 239 197 169 0 50 0
[pid=13724] ppid=13718 vsize=8028 CPUtime=49.65
/proc/13724/stat : 13724 (minisat_static) R 13718 13718 13641 0 -1 4194304 1842 0 0 0 4964 1 0 0 25 0 1 0 314812293 8220672 1828 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/13724/statm: 2007 1828 76 171 0 1834 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 13384
[startup+102.302 s]
/proc/loadavg: 1.00 0.99 0.96 2/66 13724
/proc/meminfo: memFree=1527848/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=1.42
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 336 4391 0 0 0 0 138 4 16 0 1 0 314812149 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13718/statm: 1339 239 197 169 0 50 0
[pid=13724] ppid=13718 vsize=9972 CPUtime=100.87
/proc/13724/stat : 13724 (minisat_static) R 13718 13718 13641 0 -1 4194304 2344 0 0 0 10085 2 0 0 25 0 1 0 314812293 10211328 2330 1992294400 134512640 135215339 4294956240 18446744073709551615 134538420 0 0 4096 3 0 0 0 17 1 0 0
/proc/13724/statm: 2493 2330 76 171 0 2320 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 15328
[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.96 2/66 13724
/proc/meminfo: memFree=1525736/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=1.42
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 336 4391 0 0 0 0 138 4 16 0 1 0 314812149 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13718/statm: 1339 239 197 169 0 50 0
[pid=13724] ppid=13718 vsize=12208 CPUtime=160.87
/proc/13724/stat : 13724 (minisat_static) R 13718 13718 13641 0 -1 4194304 2861 0 0 0 16084 3 0 0 25 0 1 0 314812293 12500992 2847 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13724/statm: 3052 2847 76 171 0 2879 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 17564
[startup+222.306 s]
/proc/loadavg: 1.00 0.99 0.96 2/66 13724
/proc/meminfo: memFree=1523688/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=1.42
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 336 4391 0 0 0 0 138 4 16 0 1 0 314812149 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13718/statm: 1339 239 197 169 0 50 0
[pid=13724] ppid=13718 vsize=14148 CPUtime=220.88
/proc/13724/stat : 13724 (minisat_static) R 13718 13718 13641 0 -1 4194304 3349 0 0 0 22084 4 0 0 25 0 1 0 314812293 14487552 3335 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13724/statm: 3537 3335 76 171 0 3364 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 19504
[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.96 2/66 13724
/proc/meminfo: memFree=1521832/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=1.42
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 336 4391 0 0 0 0 138 4 16 0 1 0 314812149 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13718/statm: 1339 239 197 169 0 50 0
[pid=13724] ppid=13718 vsize=15944 CPUtime=280.88
/proc/13724/stat : 13724 (minisat_static) R 13718 13718 13641 0 -1 4194304 3823 0 0 0 28084 4 0 0 25 0 1 0 314812293 16326656 3809 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/13724/statm: 3986 3809 76 171 0 3813 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 21300
[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.96 2/66 13724
/proc/meminfo: memFree=1520424/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=1.42
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 336 4391 0 0 0 0 138 4 16 0 1 0 314812149 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13718/statm: 1339 239 197 169 0 50 0
[pid=13724] ppid=13718 vsize=17456 CPUtime=340.89
/proc/13724/stat : 13724 (minisat_static) R 13718 13718 13641 0 -1 4194304 4162 0 0 0 34084 5 0 0 25 0 1 0 314812293 17874944 4148 1992294400 134512640 135215339 4294956240 18446744073709551615 134538445 0 0 4096 3 0 0 0 17 1 0 0
/proc/13724/statm: 4364 4148 76 171 0 4191 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 22812
[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.96 2/66 13724
/proc/meminfo: memFree=1518504/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=1.42
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 336 4391 0 0 0 0 138 4 16 0 1 0 314812149 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13718/statm: 1339 239 197 169 0 50 0
[pid=13724] ppid=13718 vsize=19468 CPUtime=400.9
/proc/13724/stat : 13724 (minisat_static) R 13718 13718 13641 0 -1 4194304 4641 0 0 0 40084 6 0 0 25 0 1 0 314812293 19935232 4627 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13724/statm: 4867 4627 76 171 0 4694 0
Current children cumulated CPU time (s) 402.32
################
# More data... #
################
/proc/13724/statm: 24360 23240 76 171 0 24187 0
Current children cumulated CPU time (s) 9283.41
Current children cumulated vsize (KiB) 102796
[startup+9342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14218
/proc/meminfo: memFree=1397864/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=1.42
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 336 4391 0 0 0 0 138 4 16 0 1 0 314812149 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13718/statm: 1339 239 197 169 0 50 0
[pid=13724] ppid=13718 vsize=97440 CPUtime=9342
/proc/13724/stat : 13724 (minisat_static) R 13718 13718 13641 0 -1 4194304 23254 0 0 0 934146 54 0 0 25 0 1 0 314812293 99778560 23240 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13724/statm: 24360 23240 76 171 0 24187 0
Current children cumulated CPU time (s) 9343.42
Current children cumulated vsize (KiB) 102796
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14218
/proc/meminfo: memFree=1397864/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=1.42
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 336 4391 0 0 0 0 138 4 16 0 1 0 314812149 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13718/statm: 1339 239 197 169 0 50 0
[pid=13724] ppid=13718 vsize=97440 CPUtime=9402
/proc/13724/stat : 13724 (minisat_static) R 13718 13718 13641 0 -1 4194304 23254 0 0 0 940146 54 0 0 25 0 1 0 314812293 99778560 23240 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 1 0 0
/proc/13724/statm: 24360 23240 76 171 0 24187 0
Current children cumulated CPU time (s) 9403.42
Current children cumulated vsize (KiB) 102796
[startup+9462.31 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 14218
/proc/meminfo: memFree=1397800/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=1.42
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 336 4391 0 0 0 0 138 4 16 0 1 0 314812149 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13718/statm: 1339 239 197 169 0 50 0
[pid=13724] ppid=13718 vsize=97440 CPUtime=9462.01
/proc/13724/stat : 13724 (minisat_static) R 13718 13718 13641 0 -1 4194304 23258 0 0 0 946147 54 0 0 25 0 1 0 314812293 99778560 23244 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13724/statm: 24360 23244 76 171 0 24187 0
Current children cumulated CPU time (s) 9463.43
Current children cumulated vsize (KiB) 102796
[startup+9522.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 14218
/proc/meminfo: memFree=1397800/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=1.42
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 336 4391 0 0 0 0 138 4 16 0 1 0 314812149 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13718/statm: 1339 239 197 169 0 50 0
[pid=13724] ppid=13718 vsize=97440 CPUtime=9522.02
/proc/13724/stat : 13724 (minisat_static) R 13718 13718 13641 0 -1 4194304 23259 0 0 0 952148 54 0 0 25 0 1 0 314812293 99778560 23245 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13724/statm: 24360 23245 76 171 0 24187 0
Current children cumulated CPU time (s) 9523.44
Current children cumulated vsize (KiB) 102796
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14218
/proc/meminfo: memFree=1397608/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=1.42
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 336 4391 0 0 0 0 138 4 16 0 1 0 314812149 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13718/statm: 1339 239 197 169 0 50 0
[pid=13724] ppid=13718 vsize=97680 CPUtime=9582.02
/proc/13724/stat : 13724 (minisat_static) R 13718 13718 13641 0 -1 4194304 23293 0 0 0 958148 54 0 0 25 0 1 0 314812293 100024320 23279 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/13724/statm: 24420 23279 76 171 0 24247 0
Current children cumulated CPU time (s) 9583.44
Current children cumulated vsize (KiB) 103036
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14218
/proc/meminfo: memFree=1397544/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=1.42
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 336 4391 0 0 0 0 138 4 16 0 1 0 314812149 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13718/statm: 1339 239 197 169 0 50 0
[pid=13724] ppid=13718 vsize=97680 CPUtime=9642.02
/proc/13724/stat : 13724 (minisat_static) R 13718 13718 13641 0 -1 4194304 23294 0 0 0 964148 54 0 0 25 0 1 0 314812293 100024320 23280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13724/statm: 24420 23280 76 171 0 24247 0
Current children cumulated CPU time (s) 9643.44
Current children cumulated vsize (KiB) 103036
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14218
/proc/meminfo: memFree=1397480/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=1.42
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 336 4391 0 0 0 0 138 4 16 0 1 0 314812149 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13718/statm: 1339 239 197 169 0 50 0
[pid=13724] ppid=13718 vsize=97680 CPUtime=9702.04
/proc/13724/stat : 13724 (minisat_static) R 13718 13718 13641 0 -1 4194304 23311 0 0 0 970149 55 0 0 25 0 1 0 314812293 100024320 23297 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13724/statm: 24420 23297 76 171 0 24247 0
Current children cumulated CPU time (s) 9703.46
Current children cumulated vsize (KiB) 103036
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14218
/proc/meminfo: memFree=1397352/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=1.42
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 336 4391 0 0 0 0 138 4 16 0 1 0 314812149 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13718/statm: 1339 239 197 169 0 50 0
[pid=13724] ppid=13718 vsize=97760 CPUtime=9762.05
/proc/13724/stat : 13724 (minisat_static) R 13718 13718 13641 0 -1 4194304 23322 0 0 0 976150 55 0 0 25 0 1 0 314812293 100106240 23308 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13724/statm: 24440 23308 76 171 0 24267 0
Current children cumulated CPU time (s) 9763.47
Current children cumulated vsize (KiB) 103116
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14218
/proc/meminfo: memFree=1397352/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=1.42
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 336 4391 0 0 0 0 138 4 16 0 1 0 314812149 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13718/statm: 1339 239 197 169 0 50 0
[pid=13724] ppid=13718 vsize=97760 CPUtime=9822.05
/proc/13724/stat : 13724 (minisat_static) R 13718 13718 13641 0 -1 4194304 23331 0 0 0 982150 55 0 0 25 0 1 0 314812293 100106240 23317 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13724/statm: 24440 23317 76 171 0 24267 0
Current children cumulated CPU time (s) 9823.47
Current children cumulated vsize (KiB) 103116
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14218
/proc/meminfo: memFree=1397288/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=1.42
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 336 4391 0 0 0 0 138 4 16 0 1 0 314812149 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13718/statm: 1339 239 197 169 0 50 0
[pid=13724] ppid=13718 vsize=97760 CPUtime=9882.06
/proc/13724/stat : 13724 (minisat_static) R 13718 13718 13641 0 -1 4194304 23331 0 0 0 988151 55 0 0 25 0 1 0 314812293 100106240 23317 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13724/statm: 24440 23317 76 171 0 24267 0
Current children cumulated CPU time (s) 9883.48
Current children cumulated vsize (KiB) 103116
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14218
/proc/meminfo: memFree=1397288/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=1.42
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 336 4391 0 0 0 0 138 4 16 0 1 0 314812149 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13718/statm: 1339 239 197 169 0 50 0
[pid=13724] ppid=13718 vsize=97760 CPUtime=9942.07
/proc/13724/stat : 13724 (minisat_static) R 13718 13718 13641 0 -1 4194304 23331 0 0 0 994152 55 0 0 25 0 1 0 314812293 100106240 23317 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13724/statm: 24440 23317 76 171 0 24267 0
Current children cumulated CPU time (s) 9943.49
Current children cumulated vsize (KiB) 103116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+9998.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14218
/proc/meminfo: memFree=1397288/2055920 swapFree=4039304/4192956
[pid=13718] ppid=13716 vsize=5356 CPUtime=1.42
/proc/13718/stat : 13718 (SatELiteGTI) S 13716 13718 13641 0 -1 4194304 336 4391 0 0 0 0 138 4 16 0 1 0 314812149 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13718/statm: 1339 239 197 169 0 50 0
[pid=13724] ppid=13718 vsize=97760 CPUtime=9998.68
/proc/13724/stat : 13724 (minisat_static) R 13718 13718 13641 0 -1 4194304 23331 0 0 0 999813 55 0 0 25 0 1 0 314812293 100106240 23317 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/13724/statm: 24440 23317 76 171 0 24267 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 103116
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 13718 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=387789
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=44993
# CPU time returned by wait4() is 1.43278
# 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): 9998.91
CPU time (s): 10000.1
CPU user time (s): 9999.51
CPU system time (s): 0.59
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 103116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.38779
system time used= 0.044993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4727
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= 13
involuntary context switches= 8
runsolver used 11.9112 second user time and 24.5313 second system time
The end
Begin job on node16 at 2009-05-21 03:03:08
IDJOB=1837344
IDBENCH=70874
IDSOLVER=674
FILE ID=node16/1837344-1242867787
PBS_JOBID= 9328575
Free space on /tmp= 66280 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-24-s100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837344-1242867787/watcher-1837344-1242867787 -o /tmp/evaluation-result-1837344-1242867787/solver-1837344-1242867787 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837344-1242867787.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 107f2922072d64498e09af3270c7b9c3
RANDOM SEED=589046512
node16.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.234
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.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1542872 kB
Buffers: 38052 kB
Cached: 290236 kB
SwapCached: 147780 kB
Active: 212672 kB
Inactive: 265020 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1542872 kB
SwapTotal: 4192956 kB
SwapFree: 4039304 kB
Dirty: 3100 kB
Writeback: 0 kB
Mapped: 13480 kB
Slab: 21432 kB
Committed_AS: 1111136 kB
PageTables: 1440 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66272 MiB
End job on node16 at 2009-05-21 05:49:49