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 | 96586 227896 | 28975 0 0 nan | 0.000 % |
1.29/1.38 c | 0 | 59532 176727 | -- 0 -- -- | -- | -36714/-50193
1.29/1.38 c ==============================================================================
1.29/1.38 c Result : #vars: 14331 #clauses: 59532 #literals: 176727
1.29/1.38 c CPU time: 1.3378 s
1.29/1.38 c ==============================================================================
1.38/1.46 c This is MiniSat 2.0 beta
1.38/1.46 c WARNING: for repeatability, setting FPU to use double precision
1.38/1.46 c ============================[ Problem Statistics ]=============================
1.38/1.46 c | |
1.38/1.47 c | Number of variables: 14331 |
1.38/1.47 c | Number of clauses: 59532 |
1.44/1.50 c | Parsing time: 0.03 s |
1.44/1.51 c ============================[ Search Statistics ]==============================
1.44/1.51 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.44/1.51 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.44/1.51 c ===============================================================================
1.44/1.51 c | 0 | 14331 59532 176727 | 19844 0 nan | 0.000 % |
1.44/1.53 c | 100 | 14310 59532 176727 | 19844 95 53 | 1.598 % |
1.44/1.75 c | 200 | 14308 59532 176727 | 19844 194 57 | 1.884 % |
1.44/1.91 c | 304 | 14061 58095 173028 | 19844 297 55 | 1.884 % |
2.06/2.11 c | 414 | 14019 57902 172528 | 19844 405 53 | 2.177 % |
2.26/2.39 c | 514 | 14019 57902 172528 | 19844 505 52 | 2.177 % |
2.46/2.56 c | 625 | 14019 57902 172528 | 19844 616 53 | 2.177 % |
2.76/2.85 c | 747 | 14019 57902 172528 | 19844 738 51 | 2.177 % |
3.06/3.20 c | 848 | 14019 57902 172528 | 19844 839 48 | 2.177 % |
3.56/3.61 c | 959 | 14019 57902 172528 | 19844 950 48 | 2.177 % |
3.96/4.08 c | 1080 | 14019 57902 172528 | 19844 1071 45 | 2.177 % |
4.37/4.43 c | 1213 | 14019 57902 172528 | 19844 1204 44 | 2.177 % |
4.76/4.84 c | 1314 | 14019 57902 172528 | 19844 1305 43 | 2.177 % |
5.06/5.16 c | 1424 | 14019 57902 172528 | 19844 1415 43 | 2.177 % |
5.46/5.56 c | 1545 | 14019 57902 172528 | 19844 1536 43 | 2.177 % |
5.86/5.91 c | 1681 | 14019 57902 172528 | 19844 1672 42 | 2.177 % |
6.46/6.56 c | 1827 | 14019 57902 172528 | 19844 1818 40 | 2.177 % |
6.86/6.92 c | 1927 | 14019 57902 172528 | 19844 1918 40 | 2.177 % |
7.26/7.37 c | 2038 | 14019 57902 172528 | 19844 2029 40 | 2.177 % |
7.66/7.70 c | 2160 | 14019 57902 172528 | 19844 2151 39 | 2.177 % |
8.06/8.12 c | 2293 | 14019 57902 172528 | 19844 2284 39 | 2.177 % |
8.56/8.64 c | 2439 | 14019 57902 172528 | 19844 2430 39 | 2.177 % |
9.16/9.26 c | 2599 | 14019 57902 172528 | 19844 2590 39 | 2.177 % |
9.46/9.58 c | 2700 | 14019 57902 172528 | 19844 2691 38 | 2.177 % |
9.96/10.00 c | 2810 | 14019 57902 172528 | 19844 2801 38 | 2.177 % |
10.46/10.53 c | 2931 | 14019 57902 172528 | 19844 2922 38 | 2.177 % |
10.86/10.94 c | 3064 | 14019 57902 172528 | 19844 3055 38 | 2.177 % |
11.36/11.45 c | 3210 | 14019 57902 172528 | 19844 3201 38 | 2.177 % |
12.06/12.15 c | 3371 | 14019 57902 172528 | 19844 3362 38 | 2.177 % |
12.55/12.61 c | 3548 | 14019 57902 172528 | 19844 3539 38 | 2.177 % |
12.95/13.03 c | 3648 | 14019 57902 172528 | 19844 3639 37 | 2.177 % |
13.45/13.51 c | 3759 | 14019 57902 172528 | 19844 3750 37 | 2.177 % |
13.75/13.88 c | 3880 | 14019 57902 172528 | 19844 3871 37 | 2.177 % |
14.26/14.35 c | 4015 | 14019 57902 172528 | 19844 4006 38 | 2.177 % |
14.65/14.79 c | 4161 | 14019 57902 172528 | 19844 4152 37 | 2.177 % |
15.26/15.31 c | 4321 | 14019 57902 172528 | 19844 4312 38 | 2.177 % |
15.75/15.88 c | 4498 | 14019 57902 172528 | 19844 4489 38 | 2.177 % |
16.46/16.59 c | 4691 | 14019 57902 172528 | 19844 4682 38 | 2.177 % |
16.75/16.80 c | 4792 | 14019 57902 172528 | 19844 4783 39 | 2.177 % |
16.95/17.03 c | 4903 | 14019 57902 172528 | 19844 4894 39 | 2.177 % |
17.25/17.39 c | 5024 | 14019 57902 172528 | 19844 5015 39 | 2.177 % |
17.75/17.87 c | 5157 | 14019 57902 172528 | 19844 5148 39 | 2.177 % |
18.35/18.46 c | 5303 | 14019 57902 172528 | 19844 5294 38 | 2.177 % |
18.95/19.05 c | 5463 | 14019 57902 172528 | 19844 5454 38 | 2.177 % |
19.55/19.69 c | 5640 | 14019 57902 172528 | 19844 5631 39 | 2.177 % |
20.45/20.56 c | 5833 | 14019 57902 172528 | 19844 5824 38 | 2.177 % |
20.85/20.92 c | 6047 | 14019 57902 172528 | 19844 6038 39 | 2.177 % |
21.05/21.17 c | 6148 | 14019 57902 172528 | 19844 6139 39 | 2.177 % |
21.45/21.56 c | 6258 | 14019 57902 172528 | 19844 6249 39 | 2.177 % |
21.95/22.06 c | 6381 | 14019 57902 172528 | 19844 6372 39 | 2.177 % |
22.35/22.42 c | 6514 | 14019 57902 172528 | 19844 6505 39 | 2.177 % |
22.95/23.09 c | 6661 | 14019 57902 172528 | 19844 6652 39 | 2.177 % |
23.45/23.57 c | 6823 | 14019 57902 172528 | 19844 6814 39 | 2.177 % |
24.05/24.19 c | 7000 | 14019 57902 172528 | 19844 6991 39 | 2.177 % |
24.65/24.78 c | 7193 | 14019 57902 172528 | 19844 7184 39 | 2.177 % |
25.55/25.63 c | 7406 | 14019 57902 172528 | 19844 7397 40 | 2.177 % |
26.06/26.16 c | 7639 | 14019 57902 172528 | 19844 7630 39 | 2.177 % |
26.36/26.48 c | 7739 | 14019 57902 172528 | 19844 7730 39 | 2.177 % |
26.86/26.90 c | 7849 | 14019 57902 172528 | 19844 7840 39 | 2.177 % |
27.26/27.38 c | 7970 | 14019 57902 172528 | 19844 7961 39 | 2.177 % |
27.76/27.83 c | 8105 | 14019 57902 172528 | 19844 8096 39 | 2.177 % |
28.46/28.51 c | 8251 | 14019 57902 172528 | 19844 8242 39 | 2.177 % |
29.05/29.17 c | 8412 | 14019 57902 172528 | 19844 8403 39 | 2.177 % |
29.65/29.72 c | 8588 | 14019 57902 172528 | 19844 8579 39 | 2.177 % |
30.35/30.44 c | 8782 | 14019 57902 172528 | 19844 8773 39 | 2.177 % |
31.15/31.25 c | 8996 | 14019 57902 172528 | 19844 8987 39 | 2.177 % |
32.15/32.27 c | 9229 | 14019 57902 172528 | 19844 9220 39 | 2.177 % |
33.35/33.44 c | 9486 | 14019 57902 172528 | 19844 9477 38 | 2.177 % |
33.75/33.83 c | 9588 | 14019 57902 172528 | 19844 9579 38 | 2.177 % |
34.25/34.31 c | 9698 | 14019 57902 172528 | 19844 9689 38 | 2.177 % |
34.65/34.70 c | 9821 | 14019 57902 172528 | 19844 9812 38 | 2.177 % |
35.05/35.17 c | 9955 | 14019 57902 172528 | 19844 9946 38 | 2.177 % |
35.74/35.88 c | 10101 | 14019 57902 172528 | 2147483647 10092 38 | 2.177 % |
36.64/36.73 c | 10262 | 14019 57902 172528 | 2147483647 10253 38 | 2.177 % |
37.44/37.57 c | 10439 | 14019 57902 172528 | 2147483647 10430 38 | 2.177 % |
38.24/38.36 c | 10633 | 14019 57902 172528 | 2147483647 10624 38 | 2.177 % |
39.14/39.23 c | 10846 | 14019 57902 172528 | 2147483647 10837 37 | 2.177 % |
39.94/40.04 c | 11079 | 14019 57902 172528 | 2147483647 11070 38 | 2.177 % |
40.74/40.86 c | 11335 | 14019 57902 172528 | 2147483647 11326 38 | 2.177 % |
41.94/42.03 c | 11616 | 14019 57902 172528 | 2147483647 11607 38 | 2.177 % |
42.14/42.29 c | 11717 | 14019 57902 172528 | 2147483647 11708 38 | 2.177 % |
42.54/42.62 c | 11828 | 14019 57902 172528 | 2147483647 11819 38 | 2.177 % |
43.04/43.14 c | 11949 | 14019 57902 172528 | 2147483647 11940 38 | 2.177 % |
43.54/43.67 c | 12083 | 14019 57902 172528 | 2147483647 12074 38 | 2.177 % |
44.35/44.41 c | 12230 | 14019 57902 172528 | 2147483647 12221 38 | 2.177 % |
45.05/45.11 c | 12390 | 14019 57902 172528 | 2147483647 12381 38 | 2.177 % |
45.45/45.59 c | 12567 | 14019 57902 172528 | 2147483647 12558 38 | 2.177 % |
46.45/46.59 c | 12760 | 14019 57902 172528 | 2147483647 12751 38 | 2.177 % |
47.55/47.61 c | 12972 | 14019 57902 172528 | 2147483647 12963 37 | 2.177 % |
48.25/48.39 c | 13205 | 14019 57902 172528 | 2147483647 13196 38 | 2.177 % |
49.35/49.44 c | 13462 | 14019 57902 172528 | 2147483647 13453 37 | 2.177 % |
50.64/50.77 c | 13744 | 14019 57902 172528 | 2147483647 13735 38 | 2.177 % |
51.94/52.01 c | 14054 | 14019 57902 172528 | 2147483647 14045 38 | 2.177 % |
52.44/52.57 c | 14154 | 14019 57902 172528 | 2147483647 14145 38 | 2.177 % |
53.04/53.17 c | 14264 | 14019 57902 172528 | 2147483647 14255 38 | 2.177 % |
53.64/53.71 c | 14386 | 14019 57902 172528 | 2147483647 14377 38 | 2.177 % |
54.14/54.24 c | 14522 | 14019 57902 172528 | 2147483647 14513 38 | 2.177 % |
54.64/54.76 c | 14668 | 14019 57902 172528 | 2147483647 14659 38 | 2.177 % |
55.34/55.48 c | 14830 | 14019 57902 172528 | 2147483647 14821 37 | 2.177 % |
56.24/56.33 c | 15008 | 14019 57902 172528 | 2147483647 14999 37 | 2.177 % |
56.34/56.49 c | 15201 | 14019 57902 172528 | 2147483647 15192 38 | 2.177 % |
57.34/57.50 c | 15414 | 14019 57902 172528 | 2147483647 15405 38 | 2.177 % |
58.04/58.20 c | 15649 | 14019 57902 172528 | 2147483647 15640 38 | 2.177 % |
58.64/58.79 c | 15905 | 14019 57902 172528 | 2147483647 15896 38 | 2.177 % |
59.34/59.48 c | 16189 | 14019 57902 172528 | 2147483647 16180 39 | 2.177 % |
60.64/60.78 c | 16499 | 14019 57902 172528 | 2147483647 16490 39 | 2.177 % |
62.04/62.16 c | 16838 | 14019 57902 172528 | 2147483647 16829 39 | 2.177 % |
62.44/62.58 c | 16939 | 14019 57902 172528 | 2147483647 16930 39 | 2.177 % |
63.04/63.15 c | 17050 | 14019 57902 172528 | 2147483647 17041 39 | 2.177 % |
63.74/63.88 c | 17172 | 14019 57902 172528 | 2147483647 17163 39 | 2.177 % |
64.44/64.56 c | 17306 | 14019 57902 172528 | 2147483647 17297 39 | 2.177 % |
65.14/65.30 c | 17453 | 14019 57902 172528 | 2147483647 17444 39 | 2.177 % |
65.94/66.00 c | 17614 | 14019 57902 172528 | 2147483647 17605 39 | 2.177 % |
66.53/66.67 c | 17790 | 14019 57902 172528 | 2147483647 17781 39 | 2.177 % |
67.53/67.61 c | 17984 | 14019 57902 172528 | 2147483647 17975 39 | 2.177 % |
68.43/68.58 c | 18196 | 14019 57902 172528 | 2147483647 18187 39 | 2.177 % |
69.53/69.62 c | 18430 | 14019 57902 172528 | 2147483647 18421 39 | 2.177 % |
70.63/70.77 c | 18687 | 14019 57902 172528 | 2147483647 18678 39 | 2.177 % |
71.93/72.09 c | 18969 | 14019 57902 172528 | 2147483647 18960 39 | 2.177 % |
73.43/73.55 c | 19278 | 14019 57902 172528 | 2147483647 19269 39 | 2.177 % |
74.93/75.04 c | 19618 | 14019 57902 172528 | 2147483647 19609 39 | 2.177 % |
76.33/76.49 c | 19991 | 14019 57902 172528 | 2147483647 19982 39 | 2.177 % |
76.93/77.01 c | 20091 | 14019 57902 172528 | 2147483647 20082 39 | 2.177 % |
77.43/77.58 c | 20201 | 14019 57902 172528 | 2147483647 20192 38 | 2.177 % |
78.23/78.30 c | 20322 | 14019 57902 172528 | 2147483647 20313 38 | 2.177 % |
78.93/79.07 c | 20455 | 14019 57902 172528 | 2147483647 20446 38 | 2.177 % |
79.83/79.95 c | 20602 | 14019 57902 172528 | 2147483647 20593 38 | 2.177 % |
80.53/80.64 c | 20764 | 14019 57902 172528 | 2147483647 20755 38 | 2.177 % |
81.23/81.38 c | 20940 | 14019 57902 172528 | 2147483647 20931 38 | 2.177 % |
81.92/82.09 c | 21133 | 14019 57902 172528 | 2147483647 21124 38 | 2.177 % |
82.92/83.04 c | 21345 | 14019 57902 172528 | 2147483647 21336 38 | 2.177 % |
83.72/83.85 c | 21578 | 14019 57902 172528 | 2147483647 21569 38 | 2.177 % |
84.92/85.05 c | 21834 | 14019 57902 172528 | 2147483647 21825 38 | 2.177 % |
86.12/86.28 c | 22115 | 14019 57902 172528 | 2147483647 22106 38 | 2.177 % |
87.52/87.66 c | 22424 | 14019 57902 172528 | 2147483647 22415 38 | 2.177 % |
89.03/89.13 c | 22763 | 14019 57902 172528 | 2147483647 22754 38 | 2.177 % |
90.62/90.70 c | 23135 | 14019 57902 172528 | 2147483647 23126 38 | 2.177 % |
92.12/92.29 c | 23545 | 14019 57902 172528 | 2147483647 23536 38 | 2.177 % |
92.42/92.55 c | 23646 | 14019 57902 172528 | 2147483647 23637 38 | 2.177 % |
92.82/92.93 c | 23756 | 14019 57902 172528 | 2147483647 23747 38 | 2.177 % |
93.32/93.41 c | 23877 | 14019 57902 172528 | 2147483647 23868 38 | 2.177 % |
93.92/94.01 c | 24010 | 14019 57902 172528 | 2147483647 24001 38 | 2.177 % |
94.42/94.51 c | 24157 | 14019 57902 172528 | 2147483647 24148 38 | 2.177 % |
94.92/95.08 c | 24319 | 14019 57902 172528 | 2147483647 24310 38 | 2.177 % |
95.72/95.80 c | 24496 | 14019 57902 172528 | 2147483647 24487 38 | 2.177 % |
96.72/96.85 c | 24689 | 14019 57902 172528 | 2147483647 24680 38 | 2.177 % |
98.02/98.16 c | 24902 | 14019 57902 172528 | 2147483647 24893 38 | 2.177 % |
99.22/99.32 c | 25136 | 14019 57902 172528 | 2147483647 25127 38 | 2.177 % |
100.42/100.55 c | 25393 | 14019 57902 172528 | 2147483647 25384 38 | 2.177 % |
101.71/101.89 c | 25674 | 14019 57902 172528 | 2147483647 25665 38 | 2.177 % |
103.11/103.27 c | 25984 | 14019 57902 172528 | 2147483647 25975 38 | 2.177 % |
104.81/104.91 c | 26324 | 14019 57902 172528 | 2147483647 26315 38 | 2.177 % |
106.31/106.47 c | 26696 | 14019 57902 172528 | 2147483647 26687 38 | 2.177 % |
108.51/108.66 c | 27106 | 14019 57902 172528 | 2147483647 27097 38 | 2.177 % |
111.22/111.31 c | 27555 | 14019 57902 172528 | 2147483647 27546 37 | 2.177 % |
111.72/111.86 c | 27656 | 14019 57902 172528 | 2147483647 27647 37 | 2.177 % |
112.32/112.43 c | 27768 | 14019 57902 172528 | 2147483647 27759 37 | 2.177 % |
112.92/113.04 c | 27891 | 14019 57902 172528 | 2147483647 27882 37 | 2.177 % |
113.52/113.68 c | 28025 | 14019 57902 172528 | 2147483647 28016 37 | 2.177 % |
114.22/114.38 c | 28172 | 14019 57902 172528 | 2147483647 28163 37 | 2.177 % |
115.02/115.16 c | 28333 | 14019 57902 172528 | 2147483647 28324 37 | 2.177 % |
116.02/116.18 c | 28512 | 14019 57902 172528 | 2147483647 28503 37 | 2.177 % |
117.02/117.18 c | 28706 | 14019 57902 172528 | 2147483647 28697 37 | 2.177 % |
118.12/118.28 c | 28918 | 14019 57902 172528 | 2147483647 28909 37 | 2.177 % |
119.32/119.49 c | 29151 | 14019 57902 172528 | 2147483647 29142 37 | 2.177 % |
120.61/120.70 c | 29408 | 14019 57902 172528 | 2147483647 29399 37 | 2.177 % |
121.92/122.03 c | 29691 | 14019 57902 172528 | 2147483647 29682 37 | 2.177 % |
123.41/123.51 c | 30001 | 14019 57902 172528 | 2147483647 29992 37 | 2.177 % |
125.11/125.21 c | 30341 | 14019 57902 172528 | 2147483647 30332 37 | 2.177 % |
126.81/126.93 c | 30714 | 14019 57902 172528 | 2147483647 30705 37 | 2.177 % |
127.31/127.40 c | 31124 | 14019 57902 172528 | 2147483647 31115 38 | 2.177 % |
129.81/129.92 c | 31573 | 14019 57902 172528 | 2147483647 31564 38 | 2.177 % |
132.71/132.80 c | 32066 | 14019 57902 172528 | 2147483647 32057 38 | 2.177 % |
132.91/133.10 c | 32166 | 14019 57902 172528 | 2147483647 32157 38 | 2.177 % |
133.40/133.55 c | 32276 | 14019 57902 172528 | 2147483647 32267 38 | 2.177 % |
134.11/134.29 c | 32397 | 14019 57902 172528 | 2147483647 32388 38 | 2.177 % |
134.90/135.01 c | 32530 | 14019 57902 172528 | 2147483647 32521 38 | 2.177 % |
135.80/135.92 c | 32679 | 14019 57902 172528 | 2147483647 32670 38 | 2.177 % |
136.70/136.84 c | 32839 | 14019 57902 172528 | 2147483647 32830 38 | 2.177 % |
137.80/137.94 c | 33015 | 14019 57902 172528 | 2147483647 33006 38 | 2.177 % |
138.80/138.90 c | 33208 | 14019 57902 172528 | 2147483647 33199 38 | 2.177 % |
139.80/139.96 c | 33422 | 14019 57902 172528 | 2147483647 33413 38 | 2.177 % |
141.00/141.12 c | 33655 | 14019 57902 172528 | 2147483647 33646 38 | 2.177 % |
142.50/142.62 c | 33912 | 14019 57902 172528 | 2147483647 33903 38 | 2.177 % |
143.60/143.75 c | 34194 | 14019 57902 172528 | 2147483647 34185 38 | 2.177 % |
145.40/145.55 c | 34504 | 14019 57902 172528 | 2147483647 34495 38 | 2.177 % |
147.10/147.26 c | 34843 | 14019 57902 172528 | 2147483647 34834 38 | 2.177 % |
149.30/149.49 c | 35215 | 14019 57902 172528 | 2147483647 35206 37 | 2.177 % |
151.60/151.76 c | 35624 | 14019 57902 172528 | 2147483647 35615 37 | 2.177 % |
152.10/152.24 c | 36074 | 14019 57902 172528 | 2147483647 36065 38 | 2.177 % |
154.70/154.80 c | 36567 | 14019 57902 172528 | 2147483647 36558 38 | 2.177 % |
157.10/157.27 c | 37110 | 14019 57902 172528 | 2147483647 37101 38 | 2.177 % |
157.59/157.78 c | 37210 | 14019 57902 172528 | 2147483647 37201 38 | 2.177 % |
158.30/158.41 c | 37320 | 14019 57902 172528 | 2147483647 37311 38 | 2.177 % |
158.99/159.12 c | 37441 | 14019 57902 172528 | 2147483647 37432 38 | 2.177 % |
159.69/159.84 c | 37574 | 14019 57902 172528 | 2147483647 37565 38 | 2.177 % |
160.29/160.45 c | 37720 | 14019 57902 172528 | 2147483647 37711 38 | 2.177 % |
161.09/161.20 c | 37880 | 14019 57902 172528 | 2147483647 37871 38 | 2.177 % |
161.69/161.86 c | 38057 | 14019 57902 172528 | 2147483647 38048 38 | 2.177 % |
162.69/162.86 c | 38250 | 14019 57902 172528 | 2147483647 38241 38 | 2.177 % |
163.90/164.04 c | 38462 | 14019 57902 172528 | 2147483647 38453 38 | 2.177 % |
165.20/165.35 c | 38695 | 14019 57902 172528 | 2147483647 38686 38 | 2.177 % |
166.70/166.82 c | 38952 | 14019 57902 172528 | 2147483647 38943 38 | 2.177 % |
168.10/168.27 c | 39233 | 14019 57902 172528 | 2147483647 39224 38 | 2.177 % |
170.00/170.12 c | 39542 | 14019 57902 172528 | 2147483647 39533 38 | 2.177 % |
172.09/172.27 c | 39882 | 14019 57902 172528 | 2147483647 39873 38 | 2.177 % |
174.39/174.58 c | 40254 | 14019 57902 172528 | 2147483647 40245 38 | 2.177 % |
176.59/176.76 c | 40664 | 14019 57902 172528 | 2147483647 40655 38 | 2.177 % |
179.19/179.32 c | 41113 | 14019 57902 172528 | 2147483647 41104 38 | 2.177 % |
182.29/182.43 c | 41607 | 14019 57902 172528 | 2147483647 41598 37 | 2.177 % |
185.19/185.32 c | 42150 | 14019 57902 172528 | 2147483647 42141 37 | 2.177 % |
188.29/188.43 c | 42747 | 14019 57902 172528 | 2147483647 42738 37 | 2.177 % |
188.49/188.70 c | 42848 | 14019 57902 172528 | 2147483647 42839 37 | 2.177 % |
188.89/189.04 c | 42958 | 14019 57902 172528 | 2147483647 42949 37 | 2.177 % |
189.29/189.48 c | 43079 | 14019 57902 172528 | 2147483647 43070 37 | 2.177 % |
190.09/190.22 c | 43212 | 14019 57902 172528 | 2147483647 43203 37 | 2.177 % |
190.89/191.00 c | 43359 | 14019 57902 172528 | 2147483647 43350 37 | 2.177 % |
191.89/192.01 c | 43519 | 14019 57902 172528 | 2147483647 43510 37 | 2.177 % |
192.78/192.90 c | 43696 | 14019 57902 172528 | 2147483647 43687 37 | 2.177 % |
193.78/193.94 c | 43889 | 14019 57902 172528 | 2147483647 43880 37 | 2.177 % |
194.98/195.11 c | 44101 | 14019 57902 172528 | 2147483647 44092 37 | 2.177 % |
196.28/196.42 c | 44334 | 14019 57902 172528 | 2147483647 44325 37 | 2.177 % |
197.89/198.00 c | 44591 | 14019 57902 172528 | 2147483647 44582 37 | 2.177 % |
199.48/199.63 c | 44873 | 14019 57902 172528 | 2147483647 44864 37 | 2.177 % |
201.28/201.41 c | 45183 | 14019 57902 172528 | 2147483647 45174 37 | 2.177 % |
203.08/203.23 c | 45522 | 14019 57902 172528 | 2147483647 45513 37 | 2.177 % |
204.98/205.11 c | 45894 | 14019 57902 172528 | 2147483647 45885 37 | 2.177 % |
207.48/207.64 c | 46304 | 14019 57902 172528 | 2147483647 46295 37 | 2.177 % |
209.88/210.06 c | 46755 | 14019 57902 172528 | 2147483647 46746 37 | 2.177 % |
212.28/212.42 c | 47248 | 14019 57902 172528 | 2147483647 47239 37 | 2.177 % |
214.87/215.09 c | 47790 | 14019 57902 172528 | 2147483647 47781 37 | 2.177 % |
217.97/218.16 c | 48387 | 14019 57902 172528 | 2147483647 48378 37 | 2.177 % |
220.47/220.69 c | 49042 | 14019 57902 172528 | 2147483647 49033 38 | 2.177 % |
221.17/221.32 c | 49144 | 14019 57902 172528 | 2147483647 49135 38 | 2.177 % |
221.67/221.81 c | 49255 | 14019 57902 172528 | 2147483647 49246 38 | 2.177 % |
222.17/222.38 c | 49377 | 14019 57902 172528 | 2147483647 49368 38 | 2.177 % |
223.17/223.30 c | 49511 | 14019 57902 172528 | 2147483647 49502 38 | 2.177 % |
224.07/224.24 c | 49657 | 14019 57902 172528 | 2147483647 49648 38 | 2.177 % |
224.57/224.79 c | 49818 | 14019 57902 172528 | 2147483647 49809 38 | 2.177 % |
225.67/225.85 c | 49994 | 14019 57902 172528 | 2147483647 49985 38 | 2.177 % |
226.57/226.70 c | 50187 | 14019 57902 172528 | 2147483647 50178 38 | 2.177 % |
227.27/227.47 c | 50400 | 14019 57902 172528 | 2147483647 50391 38 | 2.177 % |
228.67/228.80 c | 50635 | 14019 57902 172528 | 2147483647 50626 38 | 2.177 % |
230.17/230.31 c | 50893 | 14019 57902 172528 | 2147483647 50884 38 | 2.177 % |
231.57/231.74 c | 51174 | 14019 57902 172528 | 2147483647 51165 38 | 2.177 % |
233.26/233.49 c | 51483 | 14019 57902 172528 | 2147483647 51474 38 | 2.177 % |
234.07/234.22 c | 51823 | 14019 57902 172528 | 2147483647 51814 38 | 2.177 % |
236.16/236.38 c | 52195 | 14019 57902 172528 | 2147483647 52186 38 | 2.177 % |
238.26/238.48 c | 52604 | 14019 57902 172528 | 2147483647 52595 38 | 2.177 % |
240.77/240.95 c | 53053 | 14019 57902 172528 | 2147483647 53044 38 | 2.177 % |
243.36/243.56 c | 53546 | 14019 57902 172528 | 2147483647 53537 38 | 2.177 % |
246.66/246.88 c | 54089 | 14019 57902 172528 | 2147483647 54080 38 | 2.177 % |
250.26/250.49 c | 54685 | 14019 57902 172528 | 2147483647 54676 38 | 2.177 % |
253.77/253.99 c | 55340 | 14019 57902 172528 | 2147483647 55331 38 | 2.177 % |
258.16/258.34 c | 56061 | 14019 57902 172528 | 2147483647 56052 38 | 2.177 % |
258.86/259.05 c | 56161 | 14019 57902 172528 | 2147483647 56152 38 | 2.177 % |
259.66/259.82 c | 56271 | 14019 57902 172528 | 2147483647 56262 38 | 2.177 % |
260.36/260.52 c | 56392 | 14019 57902 172528 | 2147483647 56383 38 | 2.177 % |
261.26/261.43 c | 56526 | 14019 57902 172528 | 2147483647 56517 38 | 2.177 % |
262.06/262.23 c | 56672 | 14019 57902 172528 | 2147483647 56663 38 | 2.177 % |
263.06/263.24 c | 56833 | 14019 57902 172528 | 2147483647 56824 38 | 2.177 % |
264.16/264.36 c | 57009 | 14019 57902 172528 | 2147483647 57000 38 | 2.177 % |
265.16/265.37 c | 57202 | 14019 57902 172528 | 2147483647 57193 38 | 2.177 % |
266.16/266.39 c | 57416 | 14019 57902 172528 | 2147483647 57407 38 | 2.177 % |
267.45/267.62 c | 57650 | 14019 57902 172528 | 2147483647 57641 38 | 2.177 % |
269.05/269.24 c | 57906 | 14019 57902 172528 | 2147483647 57897 38 | 2.177 % |
270.75/270.99 c | 58188 | 14019 57902 172528 | 2147483647 58179 38 | 2.177 % |
272.85/273.09 c | 58497 | 14019 57902 172528 | 2147483647 58488 38 | 2.177 % |
275.25/275.48 c | 58836 | 14019 57902 172528 | 2147483647 58827 38 | 2.177 % |
277.85/278.03 c | 59208 | 14019 57902 172528 | 2147483647 59199 38 | 2.177 % |
280.15/280.34 c | 59617 | 14019 57902 172528 | 2147483647 59608 38 | 2.177 % |
283.05/283.22 c | 60066 | 14019 57902 172528 | 2147483647 60057 38 | 2.177 % |
286.45/286.61 c | 60559 | 14019 57902 172528 | 2147483647 60550 38 | 2.177 % |
289.94/290.12 c | 61101 | 14019 57902 172528 | 2147483647 61092 38 | 2.177 % |
294.04/294.23 c | 61697 | 14019 57902 172528 | 2147483647 61688 38 | 2.177 % |
297.94/298.10 c | 62352 | 14019 57902 172528 | 2147483647 62343 38 | 2.177 % |
302.54/302.73 c | 63072 | 14019 57902 172528 | 2147483647 63063 38 | 2.177 % |
307.04/307.20 c | 63864 | 14019 57902 172528 | 2147483647 63855 38 | 2.177 % |
307.64/307.85 c | 63965 | 14019 57902 172528 | 2147483647 63956 38 | 2.177 % |
308.34/308.57 c | 64076 | 14019 57902 172528 | 2147483647 64067 38 | 2.177 % |
309.04/309.25 c | 64198 | 14019 57902 172528 | 2147483647 64189 38 | 2.177 % |
309.84/310.07 c | 64331 | 14019 57902 172528 | 2147483647 64322 38 | 2.177 % |
310.74/310.98 c | 64477 | 14019 57902 172528 | 2147483647 64468 38 | 2.177 % |
311.83/312.07 c | 64638 | 14019 57902 172528 | 2147483647 64629 38 | 2.177 % |
312.33/312.55 c | 64817 | 14019 57902 172528 | 2147483647 64808 38 | 2.177 % |
313.43/313.68 c | 65012 | 14019 57902 172528 | 2147483647 65003 38 | 2.177 % |
314.83/315.02 c | 65224 | 14019 57902 172528 | 2147483647 65215 38 | 2.177 % |
316.13/316.33 c | 65458 | 14019 57902 172528 | 2147483647 65449 38 | 2.177 % |
317.64/317.86 c | 65714 | 14019 57902 172528 | 2147483647 65705 38 | 2.177 % |
319.43/319.65 c | 65995 | 14019 57902 172528 | 2147483647 65986 38 | 2.177 % |
320.63/320.88 c | 66304 | 14019 57902 172528 | 2147483647 66295 38 | 2.177 % |
321.63/321.81 c | 66646 | 14019 57902 172528 | 2147483647 66637 39 | 2.177 % |
323.63/323.80 c | 67019 | 14019 57902 172528 | 2147483647 67010 39 | 2.177 % |
326.83/327.00 c | 67429 | 14019 57902 172528 | 2147483647 67420 39 | 2.177 % |
330.52/330.76 c | 67878 | 14019 57902 172528 | 2147483647 67869 38 | 2.177 % |
333.82/334.06 c | 68373 | 14019 57902 172528 | 2147483647 68364 38 | 2.177 % |
337.33/337.54 c | 68915 | 14019 57902 172528 | 2147483647 68906 38 | 2.177 % |
341.53/341.72 c | 69511 | 14019 57902 172528 | 2147483647 69502 38 | 2.177 % |
345.42/345.61 c | 70166 | 14019 57902 172528 | 2147483647 70157 38 | 2.177 % |
349.92/350.15 c | 70888 | 14019 57902 172528 | 2147483647 70879 38 | 2.177 % |
354.82/355.02 c | 71681 | 14019 57902 172528 | 2147483647 71672 38 | 2.177 % |
360.42/360.61 c | 72553 | 14019 57902 172528 | 2147483647 72544 38 | 2.177 % |
361.02/361.26 c | 72653 | 14019 57902 172528 | 2147483647 72644 38 | 2.177 % |
361.92/362.16 c | 72764 | 14019 57902 172528 | 2147483647 72755 38 | 2.177 % |
362.62/362.89 c | 72885 | 14019 57902 172528 | 2147483647 72876 38 | 2.177 % |
363.51/363.76 c | 73019 | 14019 57902 172528 | 2147483647 73010 38 | 2.177 % |
364.52/364.78 c | 73166 | 14019 57902 172528 | 2147483647 73157 38 | 2.177 % |
365.71/365.98 c | 73326 | 14019 57902 172528 | 2147483647 73317 38 | 2.177 % |
366.91/367.12 c | 73502 | 14019 57902 172528 | 2147483647 73493 38 | 2.177 % |
368.11/368.36 c | 73695 | 14019 57902 172528 | 2147483647 73686 38 | 2.177 % |
369.71/369.96 c | 73910 | 14019 57902 172528 | 2147483647 73901 38 | 2.177 % |
371.21/371.46 c | 74146 | 14019 57902 172528 | 2147483647 74137 38 | 2.177 % |
372.31/372.58 c | 74403 | 14019 57902 172528 | 2147483647 74394 38 | 2.177 % |
373.81/374.08 c | 74685 | 14019 57902 172528 | 2147483647 74676 38 | 2.177 % |
375.81/376.04 c | 74995 | 14019 57902 172528 | 2147483647 74986 38 | 2.177 % |
378.31/378.58 c | 75335 | 14019 57902 172528 | 2147483647 75326 38 | 2.177 % |
380.91/381.16 c | 75708 | 14019 57902 172528 | 2147483647 75699 38 | 2.177 % |
383.90/384.18 c | 76118 | 14019 57902 172528 | 2147483647 76109 38 | 2.177 % |
387.20/387.48 c | 76567 | 14019 57902 172528 | 2147483647 76558 38 | 2.177 % |
390.60/390.87 c | 77060 | 14019 57902 172528 | 2147483647 77051 38 | 2.177 % |
394.60/394.87 c | 77602 | 14019 57902 172528 | 2147483647 77593 38 | 2.177 % |
398.50/398.73 c | 78198 | 14019 57902 172528 | 2147483647 78189 38 | 2.177 % |
403.30/403.51 c | 78854 | 14019 57902 172528 | 2147483647 78845 38 | 2.177 % |
407.40/407.65 c | 79574 | 14019 57902 172528 | 2147483647 79565 38 | 2.177 % |
412.60/412.87 c | 80367 | 14019 57902 172528 | 2147483647 80358 38 | 2.177 % |
418.20/418.44 c | 81238 | 14019 57902 172528 | 2147483647 81229 38 | 2.177 % |
423.50/423.78 c | 82196 | 14019 57902 172528 | 2147483647 82187 38 | 2.177 % |
424.20/424.41 c | 82298 | 14019 57902 172528 | 2147483647 82289 38 | 2.177 % |
424.80/425.08 c | 82408 | 14019 57902 172528 | 2147483647 82399 38 | 2.177 % |
425.60/425.89 c | 82530 | 14019 57902 172528 | 2147483647 82521 38 | 2.177 % |
426.39/426.67 c | 82664 | 14019 57902 172528 | 2147483647 82655 38 | 2.177 % |
427.39/427.60 c | 82810 | 14019 57902 172528 | 2147483647 82801 38 | 2.177 % |
428.39/428.61 c | 82971 | 14019 57902 172528 | 2147483647 82962 38 | 2.177 % |
429.59/429.87 c | 83147 | 14019 57902 172528 | 2147483647 83138 38 | 2.177 % |
431.09/431.31 c | 83340 | 14019 57902 172528 | 2147483647 83331 38 | 2.177 % |
432.10/432.39 c | 83552 | 14019 57902 172528 | 2147483647 83543 38 | 2.177 % |
433.69/433.98 c | 83786 | 14019 57902 172528 | 2147483647 83777 38 | 2.177 % |
435.69/435.91 c | 84043 | 14019 57902 172528 | 2147483647 84034 38 | 2.177 % |
437.79/438.00 c | 84324 | 14019 57902 172528 | 2147483647 84315 38 | 2.177 % |
440.09/440.30 c | 84634 | 14019 57902 172528 | 2147483647 84625 38 | 2.177 % |
442.59/442.86 c | 84973 | 14019 57902 172528 | 2147483647 84964 38 | 2.177 % |
445.49/445.72 c | 85345 | 14019 57902 172528 | 2147483647 85336 38 | 2.177 % |
448.18/448.44 c | 85755 | 14019 57902 172528 | 2147483647 85746 38 | 2.177 % |
451.18/451.43 c | 86205 | 14019 57902 172528 | 2147483647 86196 38 | 2.177 % |
454.18/454.48 c | 86698 | 14019 57902 172528 | 2147483647 86689 38 | 2.177 % |
457.88/458.14 c | 87240 | 14019 57902 172528 | 2147483647 87231 38 | 2.177 % |
460.18/460.47 c | 87836 | 14019 57902 172528 | 2147483647 87827 38 | 2.177 % |
464.27/464.53 c | 88491 | 14019 57902 172528 | 2147483647 88482 38 | 2.177 % |
468.77/469.03 c | 89211 | 14019 57902 172528 | 2147483647 89202 38 | 2.177 % |
473.57/473.84 c | 90003 | 14019 57902 172528 | 2147483647 89994 38 | 2.177 % |
480.87/481.11 c | 90874 | 14019 57902 172528 | 2147483647 90865 38 | 2.177 % |
485.17/485.48 c | 91832 | 14019 57902 172528 | 2147483647 91823 38 | 2.177 % |
492.57/492.82 c | 92885 | 14019 57902 172528 | 2147483647 92876 38 | 2.177 % |
493.27/493.55 c | 92986 | 14019 57902 172528 | 2147483647 92977 38 | 2.177 % |
494.17/494.42 c | 93096 | 14019 57902 172528 | 2147483647 93087 38 | 2.177 % |
495.07/495.32 c | 93217 | 14019 57902 172528 | 2147483647 93208 38 | 2.177 % |
496.16/496.45 c | 93350 | 14019 57902 172528 | 2147483647 93341 38 | 2.177 % |
497.46/497.74 c | 93496 | 14019 57902 172528 | 2147483647 93487 38 | 2.177 % |
498.46/498.72 c | 93657 | 14019 57902 172528 | 2147483647 93648 38 | 2.177 % |
499.86/500.10 c | 93834 | 14019 57902 172528 | 2147483647 93825 38 | 2.177 % |
501.06/501.31 c | 94027 | 14019 57902 172528 | 2147483647 94018 38 | 2.177 % |
502.66/502.99 c | 94240 | 14019 57902 172528 | 2147483647 94231 38 | 2.177 % |
504.36/504.62 c | 94473 | 14019 57902 172528 | 2147483647 94464 38 | 2.177 % |
506.06/506.35 c | 94729 | 14019 57902 172528 | 2147483647 94720 38 | 2.177 % |
508.26/508.53 c | 95011 | 14019 57902 172528 | 2147483647 95002 38 | 2.177 % |
510.36/510.67 c | 95322 | 14019 57902 172528 | 2147483647 95313 38 | 2.177 % |
513.36/513.66 c | 95662 | 14019 57902 172528 | 2147483647 95653 38 | 2.177 % |
516.26/516.59 c | 96034 | 14019 57902 172528 | 2147483647 96025 38 | 2.177 % |
518.96/519.22 c | 96444 | 14019 57902 172528 | 2147483647 96435 38 | 2.177 % |
522.16/522.43 c | 96893 | 14019 57902 172528 | 2147483647 96884 38 | 2.177 % |
525.95/526.20 c | 97386 | 14019 57902 172528 | 2147483647 97377 38 | 2.177 % |
529.95/530.25 c | 97929 | 14019 57902 172528 | 2147483647 97920 38 | 2.177 % |
534.45/534.77 c | 98525 | 14019 57902 172528 | 2147483647 98516 38 | 2.177 % |
539.64/539.93 c | 99181 | 14019 57902 172528 | 2147483647 99172 38 | 2.177 % |
545.14/545.46 c | 99902 | 14019 57902 172528 | 2147483647 99893 38 | 2.177 % |
551.64/551.98 c | 100694 | 14019 57902 172528 | 2147483647 100685 38 | 2.177 % |
559.04/559.31 c | 101566 | 14019 57902 172528 | 2147483647 101557 38 | 2.177 % |
566.63/566.93 c | 102524 | 14019 57902 172528 | 2147483647 102515 38 | 2.177 % |
574.23/574.51 c | 103578 | 14019 57902 172528 | 2147483647 103569 38 | 2.177 % |
582.93/583.22 c | 104736 | 14019 57902 172528 | 2147483647 104727 38 | 2.177 % |
583.73/584.08 c | 104836 | 14019 57902 172528 | 2147483647 104827 38 | 2.177 % |
584.62/584.91 c | 104946 | 14019 57902 172528 | 2147483647 104937 38 | 2.177 % |
585.22/585.51 c | 105067 | 14019 57902 172528 | 2147483647 105058 38 | 2.177 % |
586.32/586.61 c | 105201 | 14019 57902 172528 | 2147483647 105192 38 | 2.177 % |
587.53/587.87 c | 105349 | 14019 57902 172528 | 2147483647 105340 38 | 2.177 % |
588.33/588.62 c | 105509 | 14019 57902 172528 | 2147483647 105500 38 | 2.177 % |
589.93/590.22 c | 105686 | 14019 57902 172528 | 2147483647 105677 38 | 2.177 % |
591.33/591.66 c | 105881 | 14019 57902 172528 | 2147483647 105872 38 | 2.177 % |
592.93/593.29 c | 106093 | 14019 57902 172528 | 2147483647 106084 38 | 2.177 % |
594.83/595.14 c | 106326 | 14019 57902 172528 | 2147483647 106317 38 | 2.177 % |
596.83/597.13 c | 106582 | 14019 57902 172528 | 2147483647 106573 38 | 2.177 % |
599.33/599.67 c | 106863 | 14019 57902 172528 | 2147483647 106854 38 | 2.177 % |
601.53/601.88 c | 107172 | 14019 57902 172528 | 2147483647 107163 38 | 2.177 % |
603.33/603.63 c | 107512 | 14019 57902 172528 | 2147483647 107503 38 | 2.177 % |
606.33/606.64 c | 107886 | 14019 57902 172528 | 2147483647 107877 38 | 2.177 % |
609.72/610.08 c | 108295 | 14019 57902 172528 | 2147483647 108286 38 | 2.177 % |
613.43/613.76 c | 108745 | 14019 57902 172528 | 2147483647 108736 38 | 2.177 % |
617.32/617.63 c | 109238 | 14019 57902 172528 | 2147483647 109229 38 | 2.177 % |
621.42/621.73 c | 109781 | 14019 57902 172528 | 2147483647 109772 38 | 2.177 % |
625.42/625.79 c | 110377 | 14019 57902 172528 | 2147483647 110368 38 | 2.177 % |
630.42/630.74 c | 111032 | 14019 57902 172528 | 2147483647 111023 37 | 2.177 % |
635.52/635.88 c | 111753 | 14019 57902 172528 | 2147483647 111744 38 | 2.177 % |
642.11/642.40 c | 112545 | 14019 57902 172528 | 2147483647 112536 38 | 2.177 % |
648.91/649.24 c | 113417 | 14019 57902 172528 | 2147483647 113408 38 | 2.177 % |
656.41/656.75 c | 114375 | 14019 57902 172528 | 2147483647 114366 37 | 2.177 % |
664.40/664.78 c | 115428 | 14019 57902 172528 | 2147483647 115419 38 | 2.177 % |
674.09/674.45 c | 116587 | 14019 57902 172528 | 2147483647 116578 38 | 2.177 % |
684.50/684.86 c | 117860 | 14019 57902 172528 | 2147483647 117851 38 | 2.177 % |
685.30/685.62 c | 117962 | 14019 57902 172528 | 2147483647 117953 38 | 2.177 % |
686.10/686.48 c | 118072 | 14019 57902 172528 | 2147483647 118063 38 | 2.177 % |
687.00/687.31 c | 118193 | 14019 57902 172528 | 2147483647 118184 38 | 2.177 % |
687.90/688.21 c | 118326 | 14019 57902 172528 | 2147483647 118317 38 | 2.177 % |
688.99/689.37 c | 118472 | 14019 57902 172528 | 2147483647 118463 38 | 2.177 % |
690.69/691.02 c | 118632 | 14019 57902 172528 | 2147483647 118623 38 | 2.177 % |
692.39/692.72 c | 118808 | 14019 57902 172528 | 2147483647 118799 37 | 2.177 % |
693.99/694.34 c | 119001 | 14019 57902 172528 | 2147483647 118992 38 | 2.177 % |
695.90/696.27 c | 119213 | 14019 57902 172528 | 2147483647 119204 38 | 2.177 % |
697.69/698.01 c | 119446 | 14019 57902 172528 | 2147483647 119437 38 | 2.177 % |
699.99/700.40 c | 119702 | 14019 57902 172528 | 2147483647 119693 38 | 2.177 % |
702.19/702.57 c | 119985 | 14019 57902 172528 | 2147483647 119976 38 | 2.177 % |
703.19/703.55 c | 120294 | 14019 57902 172528 | 2147483647 120285 38 | 2.177 % |
706.09/706.48 c | 120634 | 14019 57902 172528 | 2147483647 120625 38 | 2.177 % |
708.79/709.12 c | 121007 | 14019 57902 172528 | 2147483647 120998 38 | 2.177 % |
712.49/712.85 c | 121417 | 14019 57902 172528 | 2147483647 121408 38 | 2.177 % |
715.88/716.22 c | 121866 | 14019 57902 172528 | 2147483647 121857 38 | 2.177 % |
719.58/719.98 c | 122360 | 14019 57902 172528 | 2147483647 122351 38 | 2.177 % |
723.68/724.05 c | 122902 | 14019 57902 172528 | 2147483647 122893 38 | 2.177 % |
728.37/728.77 c | 123498 | 14019 57902 172528 | 2147483647 123489 38 | 2.177 % |
733.37/733.79 c | 124154 | 14019 57902 172528 | 2147483647 124145 38 | 2.177 % |
735.97/736.31 c | 124874 | 14019 57902 172528 | 2147483647 124865 38 | 2.177 % |
742.37/742.77 c | 125667 | 14019 57902 172528 | 2147483647 125658 38 | 2.177 % |
748.67/749.10 c | 126538 | 14019 57902 172528 | 2147483647 126529 38 | 2.177 % |
757.57/757.97 c | 127497 | 14019 57902 172528 | 2147483647 127488 38 | 2.177 % |
766.16/766.60 c | 128551 | 14019 57902 172528 | 2147483647 128542 38 | 2.177 % |
775.56/775.95 c | 129709 | 14019 57902 172528 | 2147483647 129700 38 | 2.177 % |
786.45/786.89 c | 130983 | 14019 57902 172528 | 2147483647 130974 38 | 2.177 % |
797.95/798.36 c | 132383 | 14019 57902 172528 | 2147483647 132374 38 | 2.177 % |
798.45/798.86 c | 132483 | 14019 57902 172528 | 2147483647 132474 38 | 2.177 % |
799.25/799.64 c | 132593 | 14019 57902 172528 | 2147483647 132584 38 | 2.177 % |
800.25/800.65 c | 132716 | 14019 57902 172528 | 2147483647 132707 38 | 2.177 % |
801.15/801.55 c | 132849 | 14019 57902 172528 | 2147483647 132840 38 | 2.177 % |
802.35/802.74 c | 132997 | 14019 57902 172528 | 2147483647 132988 38 | 2.177 % |
803.45/803.84 c | 133157 | 14019 57902 172528 | 2147483647 133148 38 | 2.177 % |
804.95/805.39 c | 133333 | 14019 57902 172528 | 2147483647 133324 38 | 2.177 % |
806.85/807.30 c | 133526 | 14019 57902 172528 | 2147483647 133517 38 | 2.177 % |
809.35/809.74 c | 133738 | 14019 57902 172528 | 2147483647 133729 38 | 2.177 % |
811.45/811.80 c | 133971 | 14019 57902 172528 | 2147483647 133962 38 | 2.177 % |
813.65/814.02 c | 134227 | 14019 57902 172528 | 2147483647 134218 38 | 2.177 % |
815.85/816.28 c | 134508 | 14019 57902 172528 | 2147483647 134499 38 | 2.177 % |
818.84/819.30 c | 134817 | 14019 57902 172528 | 2147483647 134808 38 | 2.177 % |
822.34/822.72 c | 135157 | 14019 57902 172528 | 2147483647 135148 38 | 2.177 % |
825.64/826.10 c | 135529 | 14019 57902 172528 | 2147483647 135520 38 | 2.177 % |
828.84/829.28 c | 135939 | 14019 57902 172528 | 2147483647 135930 38 | 2.177 % |
832.73/833.15 c | 136388 | 14019 57902 172528 | 2147483647 136379 38 | 2.177 % |
836.93/837.30 c | 136881 | 14019 57902 172528 | 2147483647 136872 38 | 2.177 % |
841.23/841.64 c | 137424 | 14019 57902 172528 | 2147483647 137415 38 | 2.177 % |
845.33/845.75 c | 138021 | 14019 57902 172528 | 2147483647 138012 38 | 2.177 % |
850.52/850.94 c | 138677 | 14019 57902 172528 | 2147483647 138668 38 | 2.177 % |
856.43/856.85 c | 139398 | 14019 57902 172528 | 2147483647 139389 38 | 2.177 % |
863.02/863.47 c | 140191 | 14019 57902 172528 | 2147483647 140182 38 | 2.177 % |
870.62/871.01 c | 141063 | 14019 57902 172528 | 2147483647 141054 38 | 2.177 % |
880.21/880.69 c | 142022 | 14019 57902 172528 | 2147483647 142013 38 | 2.177 % |
888.91/889.34 c | 143075 | 14019 57902 172528 | 2147483647 143066 38 | 2.177 % |
899.81/900.23 c | 144233 | 14019 57902 172528 | 2147483647 144224 38 | 2.177 % |
911.70/912.16 c | 145507 | 14019 57902 172528 | 2147483647 145498 38 | 2.177 % |
924.31/924.79 c | 146908 | 14019 57902 172528 | 2147483647 146899 38 | 2.177 % |
937.70/938.15 c | 148448 | 14019 57902 172528 | 2147483647 148439 38 | 2.177 % |
938.50/939.00 c | 148549 | 14019 57902 172528 | 2147483647 148540 38 | 2.177 % |
939.70/940.14 c | 148659 | 14019 57902 172528 | 2147483647 148650 38 | 2.177 % |
940.80/941.22 c | 148780 | 14019 57902 172528 | 2147483647 148771 38 | 2.177 % |
942.00/942.49 c | 148914 | 14019 57902 172528 | 2147483647 148905 38 | 2.177 % |
943.09/943.58 c | 149060 | 14019 57902 172528 | 2147483647 149051 38 | 2.177 % |
944.09/944.58 c | 149221 | 14019 57902 172528 | 2147483647 149212 38 | 2.177 % |
945.79/946.23 c | 149397 | 14019 57902 172528 | 2147483647 149388 38 | 2.177 % |
947.19/947.63 c | 149591 | 14019 57902 172528 | 2147483647 149582 38 | 2.177 % |
949.19/949.62 c | 149803 | 14019 57902 172528 | 2147483647 149794 38 | 2.177 % |
951.19/951.66 c | 150036 | 14019 57902 172528 | 2147483647 150027 38 | 2.177 % |
953.79/954.27 c | 150292 | 14019 57902 172528 | 2147483647 150283 38 | 2.177 % |
956.59/957.02 c | 150573 | 14019 57902 172528 | 2147483647 150564 38 | 2.177 % |
959.79/960.20 c | 150884 | 14019 57902 172528 | 2147483647 150875 38 | 2.177 % |
962.98/963.45 c | 151225 | 14019 57902 172528 | 2147483647 151216 38 | 2.177 % |
966.49/966.94 c | 151599 | 14019 57902 172528 | 2147483647 151590 38 | 2.177 % |
970.28/970.72 c | 152009 | 14019 57902 172528 | 2147483647 152000 38 | 2.177 % |
974.28/974.78 c | 152459 | 14019 57902 172528 | 2147483647 152450 38 | 2.177 % |
978.18/978.65 c | 152953 | 14019 57902 172528 | 2147483647 152944 38 | 2.177 % |
982.68/983.15 c | 153496 | 14019 57902 172528 | 2147483647 153487 38 | 2.177 % |
987.57/988.04 c | 154092 | 14019 57902 172528 | 2147483647 154083 38 | 2.177 % |
993.87/994.33 c | 154747 | 14019 57902 172528 | 2147483647 154738 38 | 2.177 % |
1000.97/1001.45 c | 155468 | 14019 57902 172528 | 2147483647 155459 38 | 2.177 % |
1008.47/1008.93 c | 156260 | 14019 57902 172528 | 2147483647 156251 38 | 2.177 % |
1016.17/1016.62 c | 157132 | 14019 57902 172528 | 2147483647 157123 38 | 2.177 % |
1024.17/1024.67 c | 158090 | 14019 57902 172528 | 2147483647 158081 38 | 2.177 % |
1034.87/1035.39 c | 159144 | 14019 57902 172528 | 2147483647 159135 38 | 2.177 % |
1045.36/1045.87 c | 160303 | 14019 57902 172528 | 2147483647 160294 38 | 2.177 % |
1054.56/1055.07 c | 161576 | 14019 57902 172528 | 2147483647 161567 38 | 2.177 % |
1067.35/1067.80 c | 162977 | 14019 57902 172528 | 2147483647 162968 38 | 2.177 % |
1076.05/1076.54 c | 164518 | 14019 57902 172528 | 2147483647 164509 38 | 2.177 % |
1088.04/1088.53 c | 166214 | 14019 57902 172528 | 2147483647 166205 38 | 2.177 % |
1088.94/1089.45 c | 166314 | 14019 57902 172528 | 2147483647 166305 38 | 2.177 % |
1090.14/1090.67 c | 166426 | 14019 57902 172528 | 2147483647 166417 38 | 2.177 % |
1091.44/1091.95 c | 166547 | 14019 57902 172528 | 2147483647 166538 38 | 2.177 % |
1092.94/1093.43 c | 166681 | 14019 57902 172528 | 2147483647 166672 38 | 2.177 % |
1094.54/1095.06 c | 166827 | 14019 57902 172528 | 2147483647 166818 38 | 2.177 % |
1096.34/1096.87 c | 166988 | 14019 57902 172528 | 2147483647 166979 38 | 2.177 % |
1098.24/1098.76 c | 167165 | 14019 57902 172528 | 2147483647 167156 38 | 2.177 % |
1100.04/1100.56 c | 167358 | 14019 57902 172528 | 2147483647 167349 38 | 2.177 % |
1102.23/1102.74 c | 167571 | 14019 57902 172528 | 2147483647 167562 38 | 2.177 % |
1104.73/1105.20 c | 167804 | 14019 57902 172528 | 2147483647 167795 38 | 2.177 % |
1107.33/1107.83 c | 168060 | 14019 57902 172528 | 2147483647 168051 38 | 2.177 % |
1110.03/1110.50 c | 168342 | 14019 57902 172528 | 2147483647 168333 38 | 2.177 % |
1112.83/1113.39 c | 168653 | 14019 57902 172528 | 2147483647 168644 38 | 2.177 % |
1116.23/1116.77 c | 168992 | 14019 57902 172528 | 2147483647 168983 38 | 2.177 % |
1120.03/1120.59 c | 169364 | 14019 57902 172528 | 2147483647 169355 38 | 2.177 % |
1122.63/1123.11 c | 169775 | 14019 57902 172528 | 2147483647 169766 38 | 2.177 % |
1126.52/1127.09 c | 170224 | 14019 57902 172528 | 2147483647 170215 38 | 2.177 % |
1131.13/1131.69 c | 170717 | 14019 57902 172528 | 2147483647 170708 38 | 2.177 % |
1136.23/1136.74 c | 171260 | 14019 57902 172528 | 2147483647 171251 38 | 2.177 % |
1141.83/1142.32 c | 171856 | 14019 57902 172528 | 2147483647 171847 38 | 2.177 % |
1147.93/1148.40 c | 172512 | 14019 57902 172528 | 2147483647 172503 38 | 2.177 % |
1154.12/1154.63 c | 173233 | 14019 57902 172528 | 2147483647 173224 38 | 2.177 % |
1161.62/1162.16 c | 174025 | 14019 57902 172528 | 2147483647 174016 38 | 2.177 % |
1170.71/1171.23 c | 174897 | 14019 57902 172528 | 2147483647 174888 38 | 2.177 % |
1180.01/1180.57 c | 175856 | 14019 57902 172528 | 2147483647 175847 38 | 2.177 % |
1190.31/1190.86 c | 176910 | 14019 57902 172528 | 2147483647 176901 38 | 2.177 % |
1201.80/1202.37 c | 178068 | 14019 57902 172528 | 2147483647 178059 38 | 2.177 % |
1215.69/1216.20 c | 179342 | 14019 57902 172528 | 2147483647 179333 38 | 2.177 % |
1230.10/1230.62 c | 180743 | 14019 57902 172528 | 2147483647 180734 38 | 2.177 % |
1245.09/1245.60 c | 182284 | 14019 57902 172528 | 2147483647 182275 38 | 2.177 % |
1262.88/1263.49 c | 183979 | 14019 57902 172528 | 2147483647 183970 38 | 2.177 % |
1279.67/1280.24 c | 185843 | 14019 57902 172528 | 2147483647 185834 38 | 2.177 % |
1280.77/1281.30 c | 185944 | 14019 57902 172528 | 2147483647 185935 38 | 2.177 % |
1281.87/1282.48 c | 186054 | 14019 57902 172528 | 2147483647 186045 38 | 2.177 % |
1283.27/1283.84 c | 186175 | 14019 57902 172528 | 2147483647 186166 38 | 2.177 % |
1284.47/1285.09 c | 186308 | 14019 57902 172528 | 2147483647 186299 38 | 2.177 % |
1285.97/1286.57 c | 186455 | 14019 57902 172528 | 2147483647 186446 38 | 2.177 % |
1286.57/1287.17 c | 186616 | 14019 57902 172528 | 2147483647 186607 38 | 2.177 % |
1288.27/1288.80 c | 186793 | 14019 57902 172528 | 2147483647 186784 38 | 2.177 % |
1289.77/1290.33 c | 186986 | 14019 57902 172528 | 2147483647 186977 38 | 2.177 % |
1291.97/1292.57 c | 187199 | 14019 57902 172528 | 2147483647 187190 38 | 2.177 % |
1294.07/1294.61 c | 187432 | 14019 57902 172528 | 2147483647 187423 38 | 2.177 % |
1296.27/1296.88 c | 187688 | 14019 57902 172528 | 2147483647 187679 38 | 2.177 % |
1298.67/1299.24 c | 187969 | 14019 57902 172528 | 2147483647 187960 38 | 2.177 % |
1301.37/1301.96 c | 188278 | 14019 57902 172528 | 2147483647 188269 38 | 2.177 % |
1304.96/1305.54 c | 188618 | 14019 57902 172528 | 2147483647 188609 38 | 2.177 % |
1308.76/1309.32 c | 188991 | 14019 57902 172528 | 2147483647 188982 38 | 2.177 % |
1312.96/1313.58 c | 189401 | 14019 57902 172528 | 2147483647 189392 38 | 2.177 % |
1317.06/1317.69 c | 189851 | 14019 57902 172528 | 2147483647 189842 38 | 2.177 % |
1321.76/1322.34 c | 190345 | 14019 57902 172528 | 2147483647 190336 38 | 2.177 % |
1326.85/1327.45 c | 190887 | 14019 57902 172528 | 2147483647 190878 38 | 2.177 % |
1332.75/1333.38 c | 191484 | 14019 57902 172528 | 2147483647 191475 38 | 2.177 % |
1340.55/1341.18 c | 192140 | 14019 57902 172528 | 2147483647 192131 38 | 2.177 % |
1347.95/1348.58 c | 192861 | 14019 57902 172528 | 2147483647 192852 38 | 2.177 % |
1355.75/1356.37 c | 193653 | 14019 57902 172528 | 2147483647 193644 38 | 2.177 % |
1363.85/1364.45 c | 194524 | 14019 57902 172528 | 2147483647 194515 38 | 2.177 % |
1373.24/1373.81 c | 195483 | 14019 57902 172528 | 2147483647 195474 38 | 2.177 % |
1383.53/1384.17 c | 196537 | 14019 57902 172528 | 2147483647 196528 38 | 2.177 % |
1396.23/1396.81 c | 197696 | 14019 57902 172528 | 2147483647 197687 38 | 2.177 % |
1408.22/1408.90 c | 198969 | 14019 57902 172528 | 2147483647 198960 38 | 2.177 % |
1423.62/1424.24 c | 200370 | 14019 57902 172528 | 2147483647 200361 38 | 2.177 % |
1439.92/1440.52 c | 201912 | 14019 57902 172528 | 2147483647 201903 38 | 2.177 % |
1456.01/1456.60 c | 203607 | 14019 57902 172528 | 2147483647 203598 38 | 2.177 % |
1474.40/1475.05 c | 205471 | 14019 57902 172528 | 2147483647 205462 38 | 2.177 % |
1496.49/1497.15 c | 207520 | 14019 57902 172528 | 2147483647 207511 38 | 2.177 % |
1497.39/1498.02 c | 207620 | 14019 57902 172528 | 2147483647 207611 38 | 2.177 % |
1498.29/1498.96 c | 207730 | 14019 57902 172528 | 2147483647 207721 38 | 2.177 % |
1499.39/1500.07 c | 207852 | 14019 57902 172528 | 2147483647 207843 38 | 2.177 % |
1500.00/1500.61 c | 207986 | 14019 57902 172528 | 2147483647 207977 38 | 2.177 % |
1501.40/1502.08 c | 208132 | 14019 57902 172528 | 2147483647 208123 38 | 2.177 % |
1503.10/1503.78 c | 208292 | 14019 57902 172528 | 2147483647 208283 38 | 2.177 % |
1505.10/1505.78 c | 208468 | 14019 57902 172528 | 2147483647 208459 38 | 2.177 % |
1507.30/1508.00 c | 208662 | 14019 57902 172528 | 2147483647 208653 38 | 2.177 % |
1509.19/1509.85 c | 208875 | 14019 57902 172528 | 2147483647 208866 38 | 2.177 % |
1511.69/1512.35 c | 209108 | 14019 57902 172528 | 2147483647 209099 38 | 2.177 % |
1514.89/1515.55 c | 209365 | 14019 57902 172528 | 2147483647 209356 38 | 2.177 % |
1517.49/1518.18 c | 209647 | 14019 57902 172528 | 2147483647 209638 38 | 2.177 % |
1520.79/1521.40 c | 209956 | 14019 57902 172528 | 2147483647 209947 38 | 2.177 % |
1523.79/1524.47 c | 210297 | 14019 57902 172528 | 2147483647 210288 38 | 2.177 % |
1526.69/1527.31 c | 210669 | 14019 57902 172528 | 2147483647 210660 38 | 2.177 % |
1531.09/1531.76 c | 211079 | 14019 57902 172528 | 2147483647 211070 38 | 2.177 % |
1535.88/1536.56 c | 211529 | 14019 57902 172528 | 2147483647 211520 38 | 2.177 % |
1541.88/1542.52 c | 212023 | 14019 57902 172528 | 2147483647 212014 38 | 2.177 % |
1547.78/1548.44 c | 212565 | 14019 57902 172528 | 2147483647 212556 38 | 2.177 % |
1554.78/1555.41 c | 213162 | 14019 57902 172528 | 2147483647 213153 38 | 2.177 % |
1562.17/1562.83 c | 213818 | 14019 57902 172528 | 2147483647 213809 38 | 2.177 % |
1569.77/1570.47 c | 214538 | 14019 57902 172528 | 2147483647 214529 38 | 2.177 % |
1579.27/1579.95 c | 215331 | 14019 57902 172528 | 2147483647 215322 38 | 2.177 % |
1588.46/1589.17 c | 216203 | 14019 57902 172528 | 2147483647 216194 38 | 2.177 % |
1598.66/1599.38 c | 217161 | 14019 57902 172528 | 2147483647 217152 38 | 2.177 % |
1609.15/1609.80 c | 218216 | 14019 57902 172528 | 2147483647 218207 38 | 2.177 % |
1621.55/1622.21 c | 219374 | 14019 57902 172528 | 2147483647 219365 38 | 2.177 % |
1635.34/1636.02 c | 220647 | 14019 57902 172528 | 2147483647 220638 38 | 2.177 % |
1649.34/1650.05 c | 222047 | 14019 57902 172528 | 2147483647 222038 38 | 2.177 % |
1667.03/1667.71 c | 223588 | 14019 57902 172528 | 2147483647 223579 38 | 2.177 % |
1685.54/1686.28 c | 225282 | 14019 57902 172528 | 2147483647 225273 38 | 2.177 % |
1704.52/1705.23 c | 227145 | 14019 57902 172528 | 2147483647 227136 38 | 2.177 % |
1724.81/1725.51 c | 229194 | 14019 57902 172528 | 2147483647 229185 38 | 2.177 % |
1751.70/1752.45 c | 231448 | 14019 57902 172528 | 2147483647 231439 38 | 2.177 % |
1752.90/1753.67 c | 231549 | 14019 57902 172528 | 2147483647 231540 38 | 2.177 % |
1753.90/1754.60 c | 231659 | 14019 57902 172528 | 2147483647 231650 38 | 2.177 % |
1755.30/1756.09 c | 231781 | 14019 57902 172528 | 2147483647 231772 38 | 2.177 % |
1756.20/1756.96 c | 231914 | 14019 57902 172528 | 2147483647 231905 38 | 2.177 % |
1757.70/1758.42 c | 232060 | 14019 57902 172528 | 2147483647 232051 38 | 2.177 % |
1759.69/1760.43 c | 232222 | 14019 57902 172528 | 2147483647 232213 38 | 2.177 % |
1761.89/1762.65 c | 232399 | 14019 57902 172528 | 2147483647 232390 38 | 2.177 % |
1763.60/1764.33 c | 232593 | 14019 57902 172528 | 2147483647 232584 38 | 2.177 % |
1766.00/1766.73 c | 232806 | 14019 57902 172528 | 2147483647 232797 38 | 2.177 % |
1767.40/1768.13 c | 233039 | 14019 57902 172528 | 2147483647 233030 38 | 2.177 % |
1770.10/1770.84 c | 233296 | 14019 57902 172528 | 2147483647 233287 38 | 2.177 % |
1773.20/1773.91 c | 233577 | 14019 57902 172528 | 2147483647 233568 38 | 2.177 % |
1777.10/1777.82 c | 233887 | 14019 57902 172528 | 2147483647 233878 38 | 2.177 % |
1781.10/1781.81 c | 234226 | 14019 57902 172528 | 2147483647 234217 38 | 2.177 % |
1785.19/1785.91 c | 234600 | 14019 57902 172528 | 2147483647 234591 38 | 2.177 % |
1789.89/1790.67 c | 235011 | 14019 57902 172528 | 2147483647 235002 38 | 2.177 % |
1795.59/1796.40 c | 235462 | 14019 57902 172528 | 2147483647 235453 38 | 2.177 % |
1800.59/1801.39 c | 235956 | 14019 57902 172528 | 2147483647 235947 38 | 2.177 % |
1806.38/1807.20 c | 236498 | 14019 57902 172528 | 2147483647 236489 38 | 2.177 % |
1813.09/1813.82 c | 237094 | 14019 57902 172528 | 2147483647 237085 38 | 2.177 % |
1819.78/1820.50 c | 237749 | 14019 57902 172528 | 2147483647 237740 38 | 2.177 % |
1828.07/1828.84 c | 238469 | 14019 57902 172528 | 2147483647 238460 38 | 2.177 % |
1836.97/1837.79 c | 239262 | 14019 57902 172528 | 2147483647 239253 38 | 2.177 % |
1847.37/1848.11 c | 240133 | 14019 57902 172528 | 2147483647 240124 38 | 2.177 % |
1857.07/1857.84 c | 241093 | 14019 57902 172528 | 2147483647 241084 38 | 2.177 % |
1869.96/1870.75 c | 242146 | 14019 57902 172528 | 2147483647 242137 38 | 2.177 % |
1883.46/1884.25 c | 243304 | 14019 57902 172528 | 2147483647 243295 38 | 2.177 % |
1897.25/1898.05 c | 244578 | 14019 57902 172528 | 2147483647 244569 38 | 2.177 % |
1914.95/1915.74 c | 245979 | 14019 57902 172528 | 2147483647 245970 38 | 2.177 % |
1933.54/1934.32 c | 247519 | 14019 57902 172528 | 2147483647 247510 38 | 2.177 % |
1952.44/1953.20 c | 249215 | 14019 57902 172528 | 2147483647 249206 38 | 2.177 % |
1971.13/1971.97 c | 251079 | 14019 57902 172528 | 2147483647 251070 38 | 2.177 % |
1997.32/1998.14 c | 253131 | 14019 57902 172528 | 2147483647 253122 38 | 2.177 % |
2020.01/2020.85 c | 255384 | 14019 57902 172528 | 2147483647 255375 38 | 2.177 % |
2049.39/2050.27 c | 257863 | 14019 57902 172528 | 2147483647 257854 38 | 2.177 % |
2050.49/2051.39 c | 257964 | 14019 57902 172528 | 2147483647 257955 38 | 2.177 % |
2051.09/2051.92 c | 258074 | 14019 57902 172528 | 2147483647 258065 38 | 2.177 % |
2052.49/2053.31 c | 258196 | 14019 57902 172528 | 2147483647 258187 38 | 2.177 % |
2054.09/2054.94 c | 258330 | 14019 57902 172528 | 2147483647 258321 38 | 2.177 % |
2055.89/2056.78 c | 258477 | 14019 57902 172528 | 2147483647 258468 38 | 2.177 % |
2057.69/2058.51 c | 258638 | 14019 57902 172528 | 2147483647 258629 38 | 2.177 % |
2059.09/2059.97 c | 258814 | 14019 57902 172528 | 2147483647 258805 38 | 2.177 % |
2060.99/2061.82 c | 259008 | 14019 57902 172528 | 2147483647 258999 38 | 2.177 % |
2063.29/2064.18 c | 259220 | 14019 57902 172528 | 2147483647 259211 38 | 2.177 % |
2066.09/2066.96 c | 259453 | 14019 57902 172528 | 2147483647 259444 38 | 2.177 % |
2069.58/2070.43 c | 259710 | 14019 57902 172528 | 2147483647 259701 38 | 2.177 % |
2073.08/2073.90 c | 259991 | 14019 57902 172528 | 2147483647 259982 38 | 2.177 % |
2076.49/2077.36 c | 260301 | 14019 57902 172528 | 2147483647 260292 38 | 2.177 % |
2080.49/2081.36 c | 260640 | 14019 57902 172528 | 2147483647 260631 38 | 2.177 % |
2084.69/2085.51 c | 261012 | 14019 57902 172528 | 2147483647 261003 38 | 2.177 % |
2090.38/2091.28 c | 261422 | 14019 57902 172528 | 2147483647 261413 38 | 2.177 % |
2096.38/2097.26 c | 261872 | 14019 57902 172528 | 2147483647 261863 38 | 2.177 % |
2102.28/2103.19 c | 262365 | 14019 57902 172528 | 2147483647 262356 38 | 2.177 % |
2109.28/2110.15 c | 262907 | 14019 57902 172528 | 2147483647 262898 38 | 2.177 % |
2116.77/2117.62 c | 263504 | 14019 57902 172528 | 2147483647 263495 38 | 2.177 % |
2125.37/2126.25 c | 264159 | 14019 57902 172528 | 2147483647 264150 38 | 2.177 % |
2132.47/2133.31 c | 264879 | 14019 57902 172528 | 2147483647 264870 38 | 2.177 % |
2141.66/2142.59 c | 265671 | 14019 57902 172528 | 2147483647 265662 38 | 2.177 % |
2151.26/2152.14 c | 266542 | 14019 57902 172528 | 2147483647 266533 38 | 2.177 % |
2162.35/2163.20 c | 267500 | 14019 57902 172528 | 2147483647 267491 38 | 2.177 % |
2175.55/2176.49 c | 268554 | 14019 57902 172528 | 2147483647 268545 38 | 2.177 % |
2186.54/2187.40 c | 269712 | 14019 57902 172528 | 2147483647 269703 38 | 2.177 % |
2202.04/2202.95 c | 270985 | 14019 57902 172528 | 2147483647 270976 38 | 2.177 % |
2219.43/2220.30 c | 272386 | 14019 57902 172528 | 2147483647 272377 38 | 2.177 % |
2238.63/2239.52 c | 273926 | 14019 57902 172528 | 2147483647 273917 38 | 2.177 % |
2261.72/2262.68 c | 275621 | 14019 57902 172528 | 2147483647 275612 38 | 2.177 % |
2280.51/2281.41 c | 277485 | 14019 57902 172528 | 2147483647 277476 38 | 2.177 % |
2299.60/2300.58 c | 279534 | 14019 57902 172528 | 2147483647 279525 39 | 2.177 % |
2328.09/2329.01 c | 281787 | 14019 57902 172528 | 2147483647 281778 38 | 2.177 % |
2361.08/2362.04 c | 284265 | 14019 57902 172528 | 2147483647 284256 38 | 2.177 % |
2396.98/2397.98 c | 286990 | 14019 57902 172528 | 2147483647 286981 39 | 2.177 % |
2398.37/2399.34 c | 287090 | 14019 57902 172528 | 2147483647 287081 39 | 2.177 % |
2399.97/2400.92 c | 287200 | 14019 57902 172528 | 2147483647 287191 39 | 2.177 % |
2401.07/2402.02 c | 287321 | 14019 57902 172528 | 2147483647 287312 39 | 2.177 % |
2402.87/2403.80 c | 287454 | 14019 57902 172528 | 2147483647 287445 39 | 2.177 % |
2404.27/2405.27 c | 287602 | 14019 57902 172528 | 2147483647 287593 39 | 2.177 % |
2406.47/2407.48 c | 287762 | 14019 57902 172528 | 2147483647 287753 39 | 2.177 % |
2409.27/2410.23 c | 287938 | 14019 57902 172528 | 2147483647 287929 39 | 2.177 % |
2411.87/2412.84 c | 288131 | 14019 57902 172528 | 2147483647 288122 39 | 2.177 % |
2414.76/2415.73 c | 288343 | 14019 57902 172528 | 2147483647 288334 39 | 2.177 % |
2418.26/2419.21 c | 288576 | 14019 57902 172528 | 2147483647 288567 39 | 2.177 % |
2422.76/2423.79 c | 288833 | 14019 57902 172528 | 2147483647 288824 38 | 2.177 % |
2427.26/2428.21 c | 289115 | 14019 57902 172528 | 2147483647 289106 38 | 2.177 % |
2431.46/2432.42 c | 289425 | 14019 57902 172528 | 2147483647 289416 38 | 2.177 % |
2435.96/2436.91 c | 289765 | 14019 57902 172528 | 2147483647 289756 38 | 2.177 % |
2441.16/2442.13 c | 290138 | 14019 57902 172528 | 2147483647 290129 38 | 2.177 % |
2446.56/2447.53 c | 290547 | 14019 57902 172528 | 2147483647 290538 38 | 2.177 % |
2453.65/2454.62 c | 290997 | 14019 57902 172528 | 2147483647 290988 38 | 2.177 % |
2460.64/2461.63 c | 291490 | 14019 57902 172528 | 2147483647 291481 38 | 2.177 % |
2467.54/2468.53 c | 292032 | 14019 57902 172528 | 2147483647 292023 38 | 2.177 % |
2476.14/2477.10 c | 292629 | 14019 57902 172528 | 2147483647 292620 39 | 2.177 % |
2484.33/2485.34 c | 293284 | 14019 57902 172528 | 2147483647 293275 39 | 2.177 % |
2494.03/2495.01 c | 294005 | 14019 57902 172528 | 2147483647 293996 39 | 2.177 % |
2504.33/2505.37 c | 294798 | 14019 57902 172528 | 2147483647 294789 39 | 2.177 % |
2514.62/2515.61 c | 295669 | 14019 57902 172528 | 2147483647 295660 39 | 2.177 % |
2525.33/2526.39 c | 296628 | 14019 57902 172528 | 2147483647 296619 39 | 2.177 % |
2538.02/2539.00 c | 297682 | 14019 57902 172528 | 2147483647 297673 39 | 2.177 % |
2553.81/2554.88 c | 298840 | 14019 57902 172528 | 2147483647 298831 39 | 2.177 % |
2570.40/2571.43 c | 300113 | 14019 57902 172528 | 2147483647 300104 39 | 2.177 % |
2585.50/2586.54 c | 301514 | 14019 57902 172528 | 2147483647 301505 39 | 2.177 % |
2607.99/2609.06 c | 303055 | 14019 57902 172528 | 2147483647 303046 39 | 2.177 % |
2630.08/2631.18 c | 304750 | 14019 57902 172528 | 2147483647 304741 39 | 2.177 % |
2656.68/2657.75 c | 306614 | 14019 57902 172528 | 2147483647 306605 39 | 2.177 % |
2684.57/2685.67 c | 308664 | 14019 57902 172528 | 2147483647 308655 39 | 2.177 % |
2715.86/2717.00 c | 310917 | 14019 57902 172528 | 2147483647 310908 39 | 2.177 % |
2746.94/2748.02 c | 313395 | 14019 57902 172528 | 2147483647 313386 39 | 2.177 % |
2784.53/2785.65 c | 316120 | 14019 57902 172528 | 2147483647 316111 39 | 2.177 % |
2819.62/2820.71 c | 319117 | 14019 57902 172528 | 2147483647 319108 39 | 2.177 % |
2820.72/2821.85 c | 319218 | 14019 57902 172528 | 2147483647 319209 39 | 2.177 % |
2822.53/2823.64 c | 319328 | 14019 57902 172528 | 2147483647 319319 39 | 2.177 % |
2824.02/2825.18 c | 319449 | 14019 57902 172528 | 2147483647 319440 39 | 2.177 % |
2825.92/2827.06 c | 319582 | 14019 57902 172528 | 2147483647 319573 39 | 2.177 % |
2827.52/2828.63 c | 319728 | 14019 57902 172528 | 2147483647 319719 39 | 2.177 % |
2830.01/2831.13 c | 319888 | 14019 57902 172528 | 2147483647 319879 39 | 2.177 % |
2832.61/2833.77 c | 320064 | 14019 57902 172528 | 2147483647 320055 39 | 2.177 % |
2835.51/2836.60 c | 320257 | 14019 57902 172528 | 2147483647 320248 39 | 2.177 % |
2838.51/2839.65 c | 320470 | 14019 57902 172528 | 2147483647 320461 39 | 2.177 % |
2841.51/2842.63 c | 320706 | 14019 57902 172528 | 2147483647 320697 39 | 2.177 % |
2845.61/2846.71 c | 320963 | 14019 57902 172528 | 2147483647 320954 39 | 2.177 % |
2849.91/2851.08 c | 321246 | 14019 57902 172528 | 2147483647 321237 39 | 2.177 % |
2853.00/2854.15 c | 321555 | 14019 57902 172528 | 2147483647 321546 39 | 2.177 % |
2858.10/2859.26 c | 321894 | 14019 57902 172528 | 2147483647 321885 39 | 2.177 % |
2863.60/2864.77 c | 322266 | 14019 57902 172528 | 2147483647 322257 39 | 2.177 % |
2869.40/2870.53 c | 322676 | 14019 57902 172528 | 2147483647 322667 39 | 2.177 % |
2875.60/2876.78 c | 323126 | 14019 57902 172528 | 2147483647 323117 39 | 2.177 % |
2882.09/2883.22 c | 323619 | 14019 57902 172528 | 2147483647 323610 39 | 2.177 % |
2889.79/2890.93 c | 324163 | 14019 57902 172528 | 2147483647 324154 39 | 2.177 % |
2898.39/2899.52 c | 324759 | 14019 57902 172528 | 2147483647 324750 39 | 2.177 % |
2907.78/2908.94 c | 325415 | 14019 57902 172528 | 2147483647 325406 39 | 2.177 % |
2916.98/2918.20 c | 326138 | 14019 57902 172528 | 2147483647 326129 39 | 2.177 % |
2928.09/2929.23 c | 326930 | 14019 57902 172528 | 2147483647 326921 39 | 2.177 % |
2939.18/2940.33 c | 327802 | 14019 57902 172528 | 2147483647 327793 39 | 2.177 % |
2952.28/2953.42 c | 328760 | 14019 57902 172528 | 2147483647 328751 39 | 2.177 % |
2966.77/2967.91 c | 329814 | 14019 57902 172528 | 2147483647 329805 39 | 2.177 % |
2982.66/2983.83 c | 330973 | 14019 57902 172528 | 2147483647 330964 39 | 2.177 % |
3000.66/3001.86 c | 332247 | 14019 57902 172528 | 2147483647 332238 39 | 2.177 % |
3020.84/3022.04 c | 333648 | 14019 57902 172528 | 2147483647 333639 39 | 2.177 % |
3041.63/3042.85 c | 335190 | 14019 57902 172528 | 2147483647 335181 39 | 2.177 % |
3063.73/3064.92 c | 336884 | 14019 57902 172528 | 2147483647 336875 39 | 2.177 % |
3089.52/3090.75 c | 338747 | 14019 57902 172528 | 2147483647 338738 39 | 2.177 % |
3118.30/3119.58 c | 340796 | 14019 57902 172528 | 2147483647 340787 39 | 2.177 % |
3149.29/3150.52 c | 343052 | 14019 57902 172528 | 2147483647 343043 39 | 2.177 % |
3185.06/3186.41 c | 345531 | 14019 57902 172528 | 2147483647 345522 39 | 2.177 % |
3225.35/3226.77 c | 348259 | 14019 57902 172528 | 2147483647 348250 39 | 2.177 % |
3264.54/3265.93 c | 351257 | 14019 57902 172528 | 2147483647 351248 39 | 2.177 % |
3313.41/3314.85 c | 354553 | 14019 57902 172528 | 2147483647 354544 39 | 2.177 % |
3315.21/3316.63 c | 354653 | 14019 57902 172528 | 2147483647 354644 39 | 2.177 % |
3317.01/3318.44 c | 354763 | 14019 57902 172528 | 2147483647 354754 39 | 2.177 % |
3319.21/3320.65 c | 354884 | 14019 57902 172528 | 2147483647 354875 39 | 2.177 % |
3321.41/3322.85 c | 355018 | 14019 57902 172528 | 2147483647 355009 39 | 2.177 % |
3324.11/3325.50 c | 355166 | 14019 57902 172528 | 2147483647 355157 39 | 2.177 % |
3326.81/3328.21 c | 355326 | 14019 57902 172528 | 2147483647 355317 39 | 2.177 % |
3329.21/3330.67 c | 355503 | 14019 57902 172528 | 2147483647 355494 39 | 2.177 % |
3332.30/3333.73 c | 355697 | 14019 57902 172528 | 2147483647 355688 39 | 2.177 % |
3335.10/3336.51 c | 355911 | 14019 57902 172528 | 2147483647 355902 39 | 2.177 % |
3338.50/3339.95 c | 356144 | 14019 57902 172528 | 2147483647 356135 39 | 2.177 % |
3342.50/3343.99 c | 356400 | 14019 57902 172528 | 2147483647 356391 39 | 2.177 % |
3346.60/3348.05 c | 356682 | 14019 57902 172528 | 2147483647 356673 39 | 2.177 % |
3351.30/3352.78 c | 356992 | 14019 57902 172528 | 2147483647 356983 39 | 2.177 % |
3355.89/3357.37 c | 357332 | 14019 57902 172528 | 2147483647 357323 39 | 2.177 % |
3361.09/3362.52 c | 357705 | 14019 57902 172528 | 2147483647 357696 39 | 2.177 % |
3367.19/3368.63 c | 358115 | 14019 57902 172528 | 2147483647 358106 39 | 2.177 % |
3372.99/3374.40 c | 358564 | 14019 57902 172528 | 2147483647 358555 39 | 2.177 % |
3380.19/3381.64 c | 359058 | 14019 57902 172528 | 2147483647 359049 39 | 2.177 % |
3389.18/3390.60 c | 359601 | 14019 57902 172528 | 2147483647 359592 39 | 2.177 % |
3396.48/3397.91 c | 360197 | 14019 57902 172528 | 2147483647 360188 39 | 2.177 % |
3405.18/3406.68 c | 360853 | 14019 57902 172528 | 2147483647 360844 39 | 2.177 % |
3415.47/3416.97 c | 361573 | 14019 57902 172528 | 2147483647 361564 39 | 2.177 % |
3428.38/3429.85 c | 362366 | 14019 57902 172528 | 2147483647 362357 39 | 2.177 % |
3441.58/3443.01 c | 363237 | 14019 57902 172528 | 2147483647 363228 39 | 2.177 % |
3457.46/3458.99 c | 364196 | 14019 57902 172528 | 2147483647 364187 39 | 2.177 % |
3471.76/3473.20 c | 365250 | 14019 57902 172528 | 2147483647 365241 39 | 2.177 % |
3488.75/3490.22 c | 366408 | 14019 57902 172528 | 2147483647 366399 39 | 2.177 % |
3507.64/3509.14 c | 367683 | 14019 57902 172528 | 2147483647 367674 39 | 2.177 % |
3530.03/3531.52 c | 369085 | 14019 57902 172528 | 2147483647 369076 39 | 2.177 % |
3555.72/3557.20 c | 370626 | 14019 57902 172528 | 2147483647 370617 39 | 2.177 % |
3584.71/3586.25 c | 372320 | 14019 57902 172528 | 2147483647 372311 39 | 2.177 % |
3613.50/3615.07 c | 374184 | 14019 57902 172528 | 2147483647 374175 39 | 2.177 % |
3636.00/3637.54 c | 376234 | 14019 57902 172528 | 2147483647 376225 39 | 2.177 % |
3672.29/3673.88 c | 378488 | 14019 57902 172528 | 2147483647 378479 39 | 2.177 % |
3708.87/3710.49 c | 380966 | 14019 57902 172528 | 2147483647 380957 39 | 2.177 % |
3750.16/3751.75 c | 383692 | 14019 57902 172528 | 2147483647 383683 39 | 2.177 % |
3797.14/3798.77 c | 386690 | 14019 57902 172528 | 2147483647 386681 39 | 2.177 % |
3850.22/3851.89 c | 389986 | 14019 57902 172528 | 2147483647 389977 39 | 2.177 % |
3909.40/3911.07 c | 393612 | 14019 57902 172528 | 2147483647 393603 39 | 2.177 % |
3911.00/3912.67 c | 393712 | 14019 57902 172528 | 2147483647 393703 39 | 2.177 % |
3912.70/3914.32 c | 393822 | 14019 57902 172528 | 2147483647 393813 39 | 2.177 % |
3914.70/3916.40 c | 393944 | 14019 57902 172528 | 2147483647 393935 39 | 2.177 % |
3916.79/3918.48 c | 394077 | 14019 57902 172528 | 2147483647 394068 39 | 2.177 % |
3919.59/3921.22 c | 394223 | 14019 57902 172528 | 2147483647 394214 39 | 2.177 % |
3922.00/3923.68 c | 394384 | 14019 57902 172528 | 2147483647 394375 39 | 2.177 % |
3925.09/3926.75 c | 394561 | 14019 57902 172528 | 2147483647 394552 39 | 2.177 % |
3928.89/3930.52 c | 394756 | 14019 57902 172528 | 2147483647 394747 39 | 2.177 % |
3932.39/3934.01 c | 394969 | 14019 57902 172528 | 2147483647 394960 39 | 2.177 % |
3935.59/3937.20 c | 395203 | 14019 57902 172528 | 2147483647 395194 39 | 2.177 % |
3939.99/3941.63 c | 395460 | 14019 57902 172528 | 2147483647 395451 39 | 2.177 % |
3943.18/3944.89 c | 395742 | 14019 57902 172528 | 2147483647 395733 39 | 2.177 % |
3948.49/3950.14 c | 396052 | 14019 57902 172528 | 2147483647 396043 39 | 2.177 % |
3954.78/3956.47 c | 396392 | 14019 57902 172528 | 2147483647 396383 39 | 2.177 % |
3960.48/3962.15 c | 396765 | 14019 57902 172528 | 2147483647 396756 39 | 2.177 % |
3965.67/3967.32 c | 397175 | 14019 57902 172528 | 2147483647 397166 39 | 2.177 % |
3972.58/3974.24 c | 397625 | 14019 57902 172528 | 2147483647 397616 39 | 2.177 % |
3979.98/3981.65 c | 398118 | 14019 57902 172528 | 2147483647 398109 39 | 2.177 % |
3988.97/3990.69 c | 398660 | 14019 57902 172528 | 2147483647 398651 39 | 2.177 % |
3996.57/3998.22 c | 399257 | 14019 57902 172528 | 2147483647 399248 39 | 2.177 % |
4007.56/4009.25 c | 399912 | 14019 57902 172528 | 2147483647 399903 39 | 2.177 % |
4017.46/4019.14 c | 400632 | 14019 57902 172528 | 2147483647 400623 39 | 2.177 % |
4029.35/4031.04 c | 401425 | 14019 57902 172528 | 2147483647 401416 39 | 2.177 % |
4042.75/4044.41 c | 402296 | 14019 57902 172528 | 2147483647 402287 39 | 2.177 % |
4057.54/4059.21 c | 403254 | 14019 57902 172528 | 2147483647 403245 39 | 2.177 % |
4073.54/4075.27 c | 404309 | 14019 57902 172528 | 2147483647 404300 39 | 2.177 % |
4091.74/4093.47 c | 405468 | 14019 57902 172528 | 2147483647 405459 39 | 2.177 % |
4110.93/4112.67 c | 406741 | 14019 57902 172528 | 2147483647 406732 39 | 2.177 % |
4131.32/4133.07 c | 408143 | 14019 57902 172528 | 2147483647 408134 39 | 2.177 % |
4154.71/4156.41 c | 409683 | 14019 57902 172528 | 2147483647 409674 39 | 2.177 % |
4183.10/4184.84 c | 411378 | 14019 57902 172528 | 2147483647 411369 39 | 2.177 % |
4216.09/4217.87 c | 413242 | 14019 57902 172528 | 2147483647 413233 39 | 2.177 % |
4250.37/4252.14 c | 415293 | 14019 57902 172528 | 2147483647 415284 39 | 2.177 % |
4288.47/4290.23 c | 417546 | 14019 57902 172528 | 2147483647 417537 39 | 2.177 % |
4333.95/4335.79 c | 420024 | 14019 57902 172528 | 2147483647 420015 39 | 2.177 % |
4381.13/4382.94 c | 422749 | 14019 57902 172528 | 2147483647 422740 39 | 2.177 % |
4424.32/4426.19 c | 425747 | 14019 57902 172528 | 2147483647 425738 39 | 2.177 % |
4477.00/4478.84 c | 429043 | 14019 57902 172528 | 2147483647 429034 39 | 2.177 % |
4539.38/4541.26 c | 432669 | 14019 57902 172528 | 2147483647 432660 39 | 2.177 % |
4597.36/4599.28 c | 436656 | 14019 57902 172528 | 2147483647 436647 39 | 2.177 % |
4598.85/4600.77 c | 436756 | 14019 57902 172528 | 2147483647 436747 39 | 2.177 % |
4600.95/4602.86 c | 436866 | 14019 57902 172528 | 2147483647 436857 39 | 2.177 % |
4603.25/4605.18 c | 436988 | 14019 57902 172528 | 2147483647 436979 39 | 2.177 % |
4605.55/4607.47 c | 437121 | 14019 57902 172528 | 2147483647 437112 39 | 2.177 % |
4608.05/4609.95 c | 437268 | 14019 57902 172528 | 2147483647 437259 39 | 2.177 % |
4610.75/4612.68 c | 437429 | 14019 57902 172528 | 2147483647 437420 39 | 2.177 % |
4613.55/4615.43 c | 437605 | 14019 57902 172528 | 2147483647 437596 39 | 2.177 % |
4616.35/4618.25 c | 437799 | 14019 57902 172528 | 2147483647 437790 39 | 2.177 % |
4619.85/4621.71 c | 438012 | 14019 57902 172528 | 2147483647 438003 39 | 2.177 % |
4624.34/4626.28 c | 438246 | 14019 57902 172528 | 2147483647 438237 39 | 2.177 % |
4629.24/4631.17 c | 438503 | 14019 57902 172528 | 2147483647 438494 39 | 2.177 % |
4634.94/4636.86 c | 438784 | 14019 57902 172528 | 2147483647 438775 39 | 2.177 % |
4640.54/4642.40 c | 439094 | 14019 57902 172528 | 2147483647 439085 39 | 2.177 % |
4646.53/4648.48 c | 439435 | 14019 57902 172528 | 2147483647 439426 39 | 2.177 % |
4652.73/4654.67 c | 439808 | 14019 57902 172528 | 2147483647 439799 39 | 2.177 % |
4659.43/4661.38 c | 440217 | 14019 57902 172528 | 2147483647 440208 39 | 2.177 % |
4667.23/4669.14 c | 440667 | 14019 57902 172528 | 2147483647 440658 39 | 2.177 % |
4675.62/4677.51 c | 441160 | 14019 57902 172528 | 2147483647 441151 39 | 2.177 % |
4683.82/4685.77 c | 441702 | 14019 57902 172528 | 2147483647 441693 39 | 2.177 % |
4694.02/4695.97 c | 442299 | 14019 57902 172528 | 2147483647 442290 39 | 2.177 % |
4704.01/4705.96 c | 442954 | 14019 57902 172528 | 2147483647 442945 39 | 2.177 % |
4716.42/4718.32 c | 443674 | 14019 57902 172528 | 2147483647 443665 39 | 2.177 % |
4729.91/4731.85 c | 444466 | 14019 57902 172528 | 2147483647 444457 39 | 2.177 % |
4745.30/4747.21 c | 445337 | 14019 57902 172528 | 2147483647 445328 39 | 2.177 % |
4763.99/4765.93 c | 446295 | 14019 57902 172528 | 2147483647 446286 39 | 2.177 % |
4784.38/4786.36 c | 447348 | 14019 57902 172528 | 2147483647 447339 39 | 2.177 % |
4808.77/4810.71 c | 448506 | 14019 57902 172528 | 2147483647 448497 39 | 2.177 % |
4828.96/4830.92 c | 449780 | 14019 57902 172528 | 2147483647 449771 39 | 2.177 % |
4854.26/4856.22 c | 451181 | 14019 57902 172528 | 2147483647 451172 39 | 2.177 % |
4878.66/4880.65 c | 452723 | 14019 57902 172528 | 2147483647 452714 39 | 2.177 % |
4909.04/4911.08 c | 454420 | 14019 57902 172528 | 2147483647 454411 39 | 2.177 % |
4936.83/4938.85 c | 456283 | 14019 57902 172528 | 2147483647 456274 39 | 2.177 % |
4973.62/4975.66 c | 458332 | 14019 57902 172528 | 2147483647 458323 39 | 2.177 % |
5015.41/5017.49 c | 460586 | 14019 57902 172528 | 2147483647 460577 39 | 2.177 % |
5063.39/5065.50 c | 463064 | 14019 57902 172528 | 2147483647 463055 39 | 2.177 % |
5112.77/5114.89 c | 465789 | 14019 57902 172528 | 2147483647 465780 39 | 2.177 % |
5161.26/5163.39 c | 468786 | 14019 57902 172528 | 2147483647 468777 39 | 2.177 % |
5216.13/5218.20 c | 472082 | 14019 57902 172528 | 2147483647 472073 39 | 2.177 % |
5287.50/5289.68 c | 475707 | 14019 57902 172528 | 2147483647 475698 39 | 2.177 % |
5365.68/5367.89 c | 479694 | 14019 57902 172528 | 2147483647 479685 39 | 2.177 % |
5448.45/5450.65 c | 484080 | 14019 57902 172528 | 2147483647 484071 39 | 2.177 % |
5450.55/5452.77 c | 484180 | 14019 57902 172528 | 2147483647 484171 39 | 2.177 % |
5452.65/5454.89 c | 484290 | 14019 57902 172528 | 2147483647 484281 39 | 2.177 % |
5455.05/5457.28 c | 484412 | 14019 57902 172528 | 2147483647 484403 39 | 2.177 % |
5457.85/5460.01 c | 484546 | 14019 57902 172528 | 2147483647 484537 39 | 2.177 % |
5460.95/5463.10 c | 484692 | 14019 57902 172528 | 2147483647 484683 39 | 2.177 % |
5464.54/5466.77 c | 484853 | 14019 57902 172528 | 2147483647 484844 39 | 2.177 % |
5468.24/5470.45 c | 485030 | 14019 57902 172528 | 2147483647 485021 39 | 2.177 % |
5472.04/5474.29 c | 485224 | 14019 57902 172528 | 2147483647 485215 39 | 2.177 % |
5476.24/5478.40 c | 485436 | 14019 57902 172528 | 2147483647 485427 39 | 2.177 % |
5480.84/5483.09 c | 485670 | 14019 57902 172528 | 2147483647 485661 39 | 2.177 % |
5485.34/5487.53 c | 485926 | 14019 57902 172528 | 2147483647 485917 39 | 2.177 % |
5491.24/5493.48 c | 486210 | 14019 57902 172528 | 2147483647 486201 39 | 2.177 % |
5497.73/5499.99 c | 486520 | 14019 57902 172528 | 2147483647 486511 39 | 2.177 % |
5505.22/5507.44 c | 486859 | 14019 57902 172528 | 2147483647 486850 39 | 2.177 % |
5511.92/5514.16 c | 487231 | 14019 57902 172528 | 2147483647 487222 39 | 2.177 % |
5519.92/5522.19 c | 487641 | 14019 57902 172528 | 2147483647 487632 39 | 2.177 % |
5528.21/5530.45 c | 488091 | 14019 57902 172528 | 2147483647 488082 39 | 2.177 % |
5538.71/5540.91 c | 488585 | 14019 57902 172528 | 2147483647 488576 39 | 2.177 % |
5551.21/5553.40 c | 489127 | 14019 57902 172528 | 2147483647 489118 39 | 2.177 % |
5563.70/5565.91 c | 489724 | 14019 57902 172528 | 2147483647 489715 39 | 2.177 % |
5576.61/5578.86 c | 490379 | 14019 57902 172528 | 2147483647 490370 39 | 2.177 % |
5590.30/5592.51 c | 491101 | 14019 57902 172528 | 2147483647 491092 39 | 2.177 % |
5604.09/5606.37 c | 491894 | 14019 57902 172528 | 2147483647 491885 39 | 2.177 % |
5621.48/5623.72 c | 492766 | 14019 57902 172528 | 2147483647 492757 39 | 2.177 % |
5640.28/5642.56 c | 493724 | 14019 57902 172528 | 2147483647 493715 39 | 2.177 % |
5657.57/5659.86 c | 494779 | 14019 57902 172528 | 2147483647 494770 39 | 2.177 % |
5678.36/5680.67 c | 495937 | 14019 57902 172528 | 2147483647 495928 39 | 2.177 % |
5692.66/5694.96 c | 497211 | 14019 57902 172528 | 2147483647 497202 39 | 2.177 % |
5717.25/5719.51 c | 498612 | 14019 57902 172528 | 2147483647 498603 39 | 2.177 % |
5744.84/5747.14 c | 500153 | 14019 57902 172528 | 499991 500144 39 | 2.177 % |
5768.73/5771.05 c | 501849 | 14019 57902 172528 | 499991 501840 39 | 2.177 % |
5808.22/5810.57 c | 503712 | 14019 57902 172528 | 499991 437067 39 | 2.177 % |
5843.60/5845.95 c | 505761 | 14019 57902 172528 | 499991 439116 39 | 2.177 % |
5881.19/5883.58 c | 508015 | 14019 57902 172528 | 499991 441370 39 | 2.177 % |
5923.67/5926.04 c | 510494 | 14019 57902 172528 | 2147483647 443849 39 | 2.177 % |
5966.86/5969.24 c | 513221 | 14019 57902 172528 | 2147483647 446576 39 | 2.177 % |
6022.64/6025.08 c | 516218 | 14019 57902 172528 | 2147483647 449573 39 | 2.177 % |
6079.72/6082.13 c | 519515 | 14019 57902 172528 | 2147483647 452870 39 | 2.177 % |
6148.00/6150.46 c | 523141 | 14019 57902 172528 | 2147483647 456496 39 | 2.177 % |
6220.47/6222.95 c | 527129 | 14019 57902 172528 | 2147483647 460484 39 | 2.177 % |
6285.15/6287.61 c | 531514 | 14019 57902 172528 | 2147483647 464869 39 | 2.177 % |
6370.42/6372.90 c | 536338 | 14019 57902 172528 | 2147483647 469693 39 | 2.177 % |
6372.22/6374.76 c | 536438 | 14019 57902 172528 | 2147483647 469793 39 | 2.177 % |
6374.02/6376.52 c | 536548 | 14019 57902 172528 | 2147483647 469903 39 | 2.177 % |
6376.42/6378.93 c | 536669 | 14019 57902 172528 | 2147483647 470024 39 | 2.177 % |
6378.42/6381.00 c | 536803 | 14019 57902 172528 | 2147483647 470158 39 | 2.177 % |
6381.02/6383.50 c | 536950 | 14019 57902 172528 | 2147483647 470305 39 | 2.177 % |
6383.32/6385.87 c | 537111 | 14019 57902 172528 | 2147483647 470466 39 | 2.177 % |
6386.22/6388.71 c | 537287 | 14019 57902 172528 | 2147483647 470642 39 | 2.177 % |
6389.71/6392.28 c | 537481 | 14019 57902 172528 | 2147483647 470836 39 | 2.177 % |
6393.92/6396.42 c | 537693 | 14019 57902 172528 | 2147483647 471048 39 | 2.177 % |
6397.51/6400.09 c | 537929 | 14019 57902 172528 | 2147483647 471284 39 | 2.177 % |
6402.01/6404.58 c | 538185 | 14019 57902 172528 | 2147483647 471540 39 | 2.177 % |
6406.71/6409.26 c | 538467 | 14019 57902 172528 | 2147483647 471822 39 | 2.177 % |
6412.41/6414.94 c | 538776 | 14019 57902 172528 | 2147483647 472131 39 | 2.177 % |
6418.11/6420.66 c | 539115 | 14019 57902 172528 | 2147483647 472470 39 | 2.177 % |
6425.70/6428.29 c | 539488 | 14019 57902 172528 | 2147483647 472843 39 | 2.177 % |
6431.90/6434.42 c | 539899 | 14019 57902 172528 | 2147483647 473254 39 | 2.177 % |
6440.49/6443.09 c | 540349 | 14019 57902 172528 | 473355 473704 39 | 2.177 % |
6452.69/6455.29 c | 540843 | 14019 57902 172528 | 473355 421765 39 | 2.177 % |
6462.48/6465.06 c | 541386 | 14019 57902 172528 | 473355 422308 39 | 2.177 % |
6474.98/6477.56 c | 541982 | 14019 57902 172528 | 473355 422904 39 | 2.177 % |
6485.67/6488.29 c | 542637 | 14019 57902 172528 | 473355 423559 39 | 2.177 % |
6499.97/6502.58 c | 543357 | 14019 57902 172528 | 473355 424279 39 | 2.177 % |
6512.56/6515.12 c | 544149 | 14019 57902 172528 | 473355 425071 39 | 2.177 % |
6528.16/6530.78 c | 545021 | 14019 57902 172528 | 473355 425943 39 | 2.177 % |
6546.55/6549.15 c | 545979 | 14019 57902 172528 | 473355 426901 39 | 2.177 % |
6563.44/6566.00 c | 547033 | 14019 57902 172528 | 473355 427955 39 | 2.177 % |
6581.84/6584.49 c | 548192 | 14019 57902 172528 | 473355 429114 39 | 2.177 % |
6603.43/6606.02 c | 549465 | 14019 57902 172528 | 473355 430387 39 | 2.177 % |
6627.42/6630.02 c | 550865 | 14019 57902 172528 | 2147483647 431787 39 | 2.177 % |
6652.92/6655.56 c | 552405 | 14019 57902 172528 | 2147483647 433327 39 | 2.177 % |
6682.61/6685.20 c | 554100 | 14019 57902 172528 | 2147483647 435022 39 | 2.177 % |
6716.79/6719.44 c | 555963 | 14019 57902 172528 | 2147483647 436885 39 | 2.177 % |
6749.87/6752.58 c | 558013 | 14019 57902 172528 | 2147483647 438935 39 | 2.177 % |
6790.66/6793.39 c | 560266 | 14019 57902 172528 | 2147483647 441188 39 | 2.177 % |
6833.44/6836.12 c | 562745 | 14019 57902 172528 | 2147483647 443667 39 | 2.177 % |
6881.62/6884.34 c | 565470 | 14019 57902 172528 | 2147483647 446392 39 | 2.177 % |
6937.61/6940.32 c | 568467 | 14019 57902 172528 | 2147483647 449389 39 | 2.177 % |
6991.69/6994.43 c | 571763 | 14019 57902 172528 | 2147483647 452685 39 | 2.177 % |
7059.17/7061.90 c | 575388 | 14019 57902 172528 | 2147483647 456310 38 | 2.177 % |
7123.94/7126.74 c | 579375 | 14019 57902 172528 | 2147483647 460297 39 | 2.177 % |
7197.11/7199.91 c | 583760 | 14019 57902 172528 | 2147483647 464682 39 | 2.177 % |
7270.40/7273.24 c | 588584 | 14019 57902 172528 | 2147483647 469506 39 | 2.177 % |
7353.66/7356.57 c | 593889 | 14019 57902 172528 | 2147483647 474811 39 | 2.177 % |
7355.46/7358.39 c | 593990 | 14019 57902 172528 | 2147483647 474912 39 | 2.177 % |
7357.66/7360.52 c | 594100 | 14019 57902 172528 | 2147483647 475022 39 | 2.177 % |
7360.06/7362.96 c | 594222 | 14019 57902 172528 | 2147483647 475144 39 | 2.177 % |
7362.26/7365.11 c | 594355 | 14019 57902 172528 | 2147483647 475277 39 | 2.177 % |
7365.25/7368.16 c | 594502 | 14019 57902 172528 | 2147483647 475424 39 | 2.177 % |
7368.35/7371.23 c | 594663 | 14019 57902 172528 | 2147483647 475585 39 | 2.177 % |
7371.56/7374.48 c | 594839 | 14019 57902 172528 | 2147483647 475761 39 | 2.177 % |
7374.95/7377.88 c | 595032 | 14019 57902 172528 | 2147483647 475954 39 | 2.177 % |
7379.65/7382.51 c | 595245 | 14019 57902 172528 | 2147483647 476167 39 | 2.177 % |
7383.45/7386.31 c | 595478 | 14019 57902 172528 | 2147483647 476400 39 | 2.177 % |
7388.45/7391.39 c | 595734 | 14019 57902 172528 | 2147483647 476656 39 | 2.177 % |
7394.04/7396.91 c | 596015 | 14019 57902 172528 | 2147483647 476937 39 | 2.177 % |
7400.74/7403.68 c | 596326 | 14019 57902 172528 | 2147483647 477248 39 | 2.177 % |
7407.54/7410.44 c | 596665 | 14019 57902 172528 | 2147483647 477587 39 | 2.177 % |
7414.94/7417.85 c | 597038 | 14019 57902 172528 | 2147483647 477960 39 | 2.177 % |
7423.63/7426.57 c | 597447 | 14019 57902 172528 | 2147483647 478369 39 | 2.177 % |
7433.13/7436.04 c | 597896 | 14019 57902 172528 | 2147483647 478818 39 | 2.177 % |
7441.23/7444.10 c | 598389 | 14019 57902 172528 | 2147483647 479311 39 | 2.177 % |
7451.42/7454.37 c | 598932 | 14019 57902 172528 | 2147483647 479854 39 | 2.177 % |
7462.62/7465.51 c | 599528 | 14019 57902 172528 | 2147483647 480450 39 | 2.177 % |
7471.71/7474.61 c | 600184 | 14019 57902 172528 | 480923 481106 39 | 2.177 % |
7485.12/7488.01 c | 600905 | 14019 57902 172528 | 480923 481827 39 | 2.177 % |
7503.31/7506.21 c | 601697 | 14019 57902 172528 | 480923 414304 39 | 2.177 % |
7519.60/7522.51 c | 602568 | 14019 57902 172528 | 480923 415175 39 | 2.177 % |
7536.20/7539.19 c | 603527 | 14019 57902 172528 | 480923 416134 39 | 2.177 % |
7553.89/7556.81 c | 604581 | 14019 57902 172528 | 480923 417188 39 | 2.177 % |
7576.18/7579.12 c | 605740 | 14019 57902 172528 | 480923 418347 39 | 2.177 % |
7599.57/7602.53 c | 607014 | 14019 57902 172528 | 480923 419621 39 | 2.177 % |
7625.96/7628.95 c | 608415 | 14019 57902 172528 | 480923 421022 39 | 2.177 % |
7648.25/7651.26 c | 609955 | 14019 57902 172528 | 480923 422562 39 | 2.177 % |
7675.84/7678.80 c | 611650 | 14019 57902 172528 | 2147483647 424257 39 | 2.177 % |
7703.43/7706.41 c | 613514 | 14019 57902 172528 | 2147483647 426121 39 | 2.177 % |
7732.02/7735.08 c | 615565 | 14019 57902 172528 | 2147483647 428172 39 | 2.177 % |
7773.61/7776.63 c | 617818 | 14019 57902 172528 | 2147483647 430425 39 | 2.177 % |
7814.70/7817.78 c | 620296 | 14019 57902 172528 | 2147483647 432903 39 | 2.177 % |
7858.58/7861.70 c | 623022 | 14019 57902 172528 | 2147483647 435629 39 | 2.177 % |
7915.56/7918.65 c | 626019 | 14019 57902 172528 | 2147483647 438626 39 | 2.177 % |
7973.74/7976.85 c | 629315 | 14019 57902 172528 | 2147483647 441922 39 | 2.177 % |
8029.31/8032.48 c | 632941 | 14019 57902 172528 | 2147483647 445548 39 | 2.177 % |
8098.89/8102.05 c | 636930 | 14019 57902 172528 | 2147483647 449537 39 | 2.177 % |
8178.27/8181.43 c | 641316 | 14019 57902 172528 | 2147483647 453923 39 | 2.177 % |
8262.84/8266.04 c | 646139 | 14019 57902 172528 | 2147483647 458746 39 | 2.177 % |
8354.90/8358.14 c | 651445 | 14019 57902 172528 | 2147483647 464052 39 | 2.177 % |
8437.17/8440.43 c | 657281 | 14019 57902 172528 | 2147483647 469888 39 | 2.177 % |
8438.97/8442.28 c | 657382 | 14019 57902 172528 | 2147483647 469989 39 | 2.177 % |
8440.77/8444.07 c | 657492 | 14019 57902 172528 | 2147483647 470099 39 | 2.177 % |
8443.67/8446.92 c | 657614 | 14019 57902 172528 | 2147483647 470221 39 | 2.177 % |
8446.27/8449.57 c | 657748 | 14019 57902 172528 | 2147483647 470355 39 | 2.177 % |
8449.07/8452.31 c | 657895 | 14019 57902 172528 | 2147483647 470502 39 | 2.177 % |
8452.27/8455.56 c | 658056 | 14019 57902 172528 | 2147483647 470663 39 | 2.177 % |
8455.77/8459.08 c | 658232 | 14019 57902 172528 | 2147483647 470839 39 | 2.177 % |
8459.76/8463.08 c | 658425 | 14019 57902 172528 | 2147483647 471032 39 | 2.177 % |
8463.86/8467.17 c | 658638 | 14019 57902 172528 | 2147483647 471245 39 | 2.177 % |
8468.56/8471.85 c | 658874 | 14019 57902 172528 | 2147483647 471481 39 | 2.177 % |
8474.06/8477.35 c | 659131 | 14019 57902 172528 | 2147483647 471738 39 | 2.177 % |
8480.06/8483.31 c | 659412 | 14019 57902 172528 | 2147483647 472019 39 | 2.177 % |
8486.05/8489.34 c | 659721 | 14019 57902 172528 | 2147483647 472328 39 | 2.177 % |
8493.35/8496.61 c | 660062 | 14019 57902 172528 | 472608 472669 39 | 2.177 % |
8501.46/8504.79 c | 660434 | 14019 57902 172528 | 472608 473041 39 | 2.177 % |
8513.35/8516.64 c | 660843 | 14019 57902 172528 | 472608 412229 39 | 2.177 % |
8521.25/8524.55 c | 661292 | 14019 57902 172528 | 472608 412678 39 | 2.177 % |
8528.45/8531.72 c | 661785 | 14019 57902 172528 | 472608 413171 39 | 2.177 % |
8537.84/8541.16 c | 662327 | 14019 57902 172528 | 472608 413713 39 | 2.177 % |
8547.74/8551.09 c | 662924 | 14019 57902 172528 | 472608 414310 39 | 2.177 % |
8558.54/8561.84 c | 663580 | 14019 57902 172528 | 472608 414966 39 | 2.177 % |
8571.93/8575.26 c | 664301 | 14019 57902 172528 | 472608 415687 39 | 2.177 % |
8585.43/8588.79 c | 665094 | 14019 57902 172528 | 472608 416480 39 | 2.177 % |
8602.32/8605.60 c | 665965 | 14019 57902 172528 | 472608 417351 39 | 2.177 % |
8618.81/8622.17 c | 666923 | 14019 57902 172528 | 472608 418309 39 | 2.177 % |
8634.70/8638.03 c | 667977 | 14019 57902 172528 | 472608 419363 39 | 2.177 % |
8654.50/8657.88 c | 669135 | 14019 57902 172528 | 472608 420521 39 | 2.177 % |
8676.89/8680.28 c | 670409 | 14019 57902 172528 | 2147483647 421795 39 | 2.177 % |
8700.88/8704.26 c | 671809 | 14019 57902 172528 | 2147483647 423195 39 | 2.177 % |
8726.77/8730.12 c | 673349 | 14019 57902 172528 | 2147483647 424735 39 | 2.177 % |
8760.16/8763.51 c | 675043 | 14019 57902 172528 | 2147483647 426429 39 | 2.177 % |
8794.15/8797.55 c | 676906 | 14019 57902 172528 | 2147483647 428292 39 | 2.177 % |
8830.64/8834.10 c | 678955 | 14019 57902 172528 | 2147483647 430341 39 | 2.177 % |
8872.32/8875.71 c | 681208 | 14019 57902 172528 | 2147483647 432594 39 | 2.177 % |
8912.51/8915.97 c | 683687 | 14019 57902 172528 | 2147483647 435073 39 | 2.177 % |
8957.29/8960.79 c | 686412 | 14019 57902 172528 | 2147483647 437798 39 | 2.177 % |
9012.67/9016.19 c | 689409 | 14019 57902 172528 | 2147483647 440795 39 | 2.177 % |
9071.25/9074.75 c | 692705 | 14019 57902 172528 | 2147483647 444091 39 | 2.177 % |
9128.23/9131.75 c | 696330 | 14019 57902 172528 | 2147483647 447716 39 | 2.177 % |
9195.41/9198.99 c | 700318 | 14019 57902 172528 | 2147483647 451704 39 | 2.177 % |
9268.68/9272.26 c | 704704 | 14019 57902 172528 | 2147483647 456090 39 | 2.177 % |
9358.15/9361.78 c | 709529 | 14019 57902 172528 | 2147483647 460915 39 | 2.177 % |
9465.81/9469.41 c | 714835 | 14019 57902 172528 | 2147483647 466221 39 | 2.177 % |
9568.07/9571.70 c | 720670 | 14019 57902 172528 | 471386 472056 39 | 2.177 % |
9679.73/9683.44 c | 727089 | 14019 57902 172528 | 471386 408270 39 | 2.177 % |
9681.74/9685.48 c | 727189 | 14019 57902 172528 | 471386 408370 39 | 2.177 % |
9683.94/9687.60 c | 727299 | 14019 57902 172528 | 471386 408480 39 | 2.177 % |
9686.43/9690.14 c | 727420 | 14019 57902 172528 | 471386 408601 39 | 2.177 % |
9689.03/9692.75 c | 727554 | 14019 57902 172528 | 471386 408735 39 | 2.177 % |
9691.93/9695.63 c | 727701 | 14019 57902 172528 | 471386 408882 39 | 2.177 % |
9695.03/9698.73 c | 727862 | 14019 57902 172528 | 471386 409043 39 | 2.177 % |
9698.43/9702.10 c | 728038 | 14019 57902 172528 | 471386 409219 39 | 2.177 % |
9702.12/9705.85 c | 728232 | 14019 57902 172528 | 471386 409413 39 | 2.177 % |
9706.03/9709.75 c | 728445 | 14019 57902 172528 | 471386 409626 39 | 2.177 % |
9710.22/9713.98 c | 728679 | 14019 57902 172528 | 471386 409860 39 | 2.177 % |
9715.12/9718.88 c | 728935 | 14019 57902 172528 | 471386 410116 39 | 2.177 % |
9720.22/9723.93 c | 729216 | 14019 57902 172528 | 471386 410397 39 | 2.177 % |
9725.12/9728.86 c | 729525 | 14019 57902 172528 | 471386 410706 39 | 2.177 % |
9730.61/9734.37 c | 729865 | 14019 57902 172528 | 471386 411046 39 | 2.177 % |
9735.51/9739.29 c | 730237 | 14019 57902 172528 | 2147483647 411418 39 | 2.177 % |
9742.71/9746.45 c | 730647 | 14019 57902 172528 | 2147483647 411828 39 | 2.177 % |
9750.71/9754.49 c | 731096 | 14019 57902 172528 | 2147483647 412277 39 | 2.177 % |
9760.10/9763.87 c | 731590 | 14019 57902 172528 | 2147483647 412771 39 | 2.177 % |
9769.90/9773.60 c | 732133 | 14019 57902 172528 | 2147483647 413314 39 | 2.177 % |
9780.59/9784.35 c | 732730 | 14019 57902 172528 | 2147483647 413911 39 | 2.177 % |
9791.99/9795.71 c | 733386 | 14019 57902 172528 | 2147483647 414567 39 | 2.177 % |
9804.29/9808.02 c | 734107 | 14019 57902 172528 | 2147483647 415288 39 | 2.177 % |
9818.58/9822.33 c | 734899 | 14019 57902 172528 | 2147483647 416080 39 | 2.177 % |
9834.27/9838.02 c | 735770 | 14019 57902 172528 | 2147483647 416951 39 | 2.177 % |
9851.97/9855.78 c | 736730 | 14019 57902 172528 | 2147483647 417911 39 | 2.177 % |
9870.26/9874.03 c | 737784 | 14019 57902 172528 | 2147483647 418965 39 | 2.177 % |
9890.16/9893.97 c | 738942 | 14019 57902 172528 | 2147483647 420123 39 | 2.177 % |
9913.06/9916.81 c | 740217 | 14019 57902 172528 | 2147483647 421398 39 | 2.177 % |
9937.65/9941.41 c | 741618 | 14019 57902 172528 | 2147483647 422799 39 | 2.177 % |
9964.04/9967.84 c | 743158 | 14019 57902 172528 | 2147483647 424339 39 | 2.177 % |
9994.22/9998.04 c | 744852 | 14019 57902 172528 | 2147483647 426033 39 | 2.177 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837346-1242868147/watcher-1837346-1242868147 -o /tmp/evaluation-result-1837346-1242868147/solver-1837346-1242868147 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837346-1242868147.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: 0.92 0.96 0.90 3/64 12216
/proc/meminfo: memFree=1714560/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=0
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314849445 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12216/statm: 1339 237 197 169 0 50 0
[startup+0.0891061 s]
/proc/loadavg: 0.92 0.96 0.90 3/64 12216
/proc/meminfo: memFree=1714560/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=0
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314849445 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12216/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101106 s]
/proc/loadavg: 0.92 0.96 0.90 3/64 12216
/proc/meminfo: memFree=1714560/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=0
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314849445 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12216/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301147 s]
/proc/loadavg: 0.92 0.96 0.90 3/64 12216
/proc/meminfo: memFree=1714560/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=0
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314849445 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12216/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701226 s]
/proc/loadavg: 0.92 0.96 0.90 3/64 12216
/proc/meminfo: memFree=1714560/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=0
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314849445 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12216/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.5014 s]
/proc/loadavg: 0.93 0.96 0.90 2/66 12221
/proc/meminfo: memFree=1696432/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 336 4525 0 0 0 0 139 5 16 0 1 0 314849445 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12216/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 5356
[startup+3.1017 s]
/proc/loadavg: 0.93 0.96 0.90 2/66 12222
/proc/meminfo: memFree=1704176/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 336 4525 0 0 0 0 139 5 16 0 1 0 314849445 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12216/statm: 1339 239 197 169 0 50 0
[pid=12222] ppid=12216 vsize=6116 CPUtime=1.62
/proc/12222/stat : 12222 (minisat_static) R 12216 12216 12179 0 -1 4194304 1359 0 0 0 162 0 0 0 25 0 1 0 314849592 6262784 1345 1992294400 134512640 135215339 4294956240 18446744073709551615 134538335 0 0 4096 3 0 0 0 17 1 0 0
/proc/12222/statm: 1529 1345 77 171 0 1356 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 11472
[startup+6.30134 s]
/proc/loadavg: 0.93 0.96 0.90 2/66 12222
/proc/meminfo: memFree=1703728/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 336 4525 0 0 0 0 139 5 16 0 1 0 314849445 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12216/statm: 1339 239 197 169 0 50 0
[pid=12222] ppid=12216 vsize=6248 CPUtime=4.82
/proc/12222/stat : 12222 (minisat_static) R 12216 12216 12179 0 -1 4194304 1406 0 0 0 481 1 0 0 25 0 1 0 314849592 6397952 1392 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12222/statm: 1562 1392 77 171 0 1389 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 11604
[startup+12.7016 s]
/proc/loadavg: 0.94 0.96 0.91 2/66 12222
/proc/meminfo: memFree=1703552/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 336 4525 0 0 0 0 139 5 16 0 1 0 314849445 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12216/statm: 1339 239 197 169 0 50 0
[pid=12222] ppid=12216 vsize=6512 CPUtime=11.21
/proc/12222/stat : 12222 (minisat_static) R 12216 12216 12179 0 -1 4194304 1490 0 0 0 1120 1 0 0 25 0 1 0 314849592 6668288 1476 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12222/statm: 1628 1476 77 171 0 1455 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 11868
[startup+25.5011 s]
/proc/loadavg: 0.95 0.96 0.91 2/66 12222
/proc/meminfo: memFree=1702792/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 336 4525 0 0 0 0 139 5 16 0 1 0 314849445 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12216/statm: 1339 239 197 169 0 50 0
[pid=12222] ppid=12216 vsize=7312 CPUtime=24.01
/proc/12222/stat : 12222 (minisat_static) R 12216 12216 12179 0 -1 4194304 1688 0 0 0 2400 1 0 0 25 0 1 0 314849592 7487488 1674 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/12222/statm: 1828 1674 77 171 0 1655 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 12668
[startup+51.1012 s]
/proc/loadavg: 0.97 0.97 0.91 2/66 12222
/proc/meminfo: memFree=1701640/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 336 4525 0 0 0 0 139 5 16 0 1 0 314849445 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12216/statm: 1339 239 197 169 0 50 0
[pid=12222] ppid=12216 vsize=8540 CPUtime=49.6
/proc/12222/stat : 12222 (minisat_static) R 12216 12216 12179 0 -1 4194304 1992 0 0 0 4957 3 0 0 25 0 1 0 314849592 8744960 1978 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12222/statm: 2135 1978 77 171 0 1962 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 13896
[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.91 2/66 12222
/proc/meminfo: memFree=1699336/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 336 4525 0 0 0 0 139 5 16 0 1 0 314849445 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12216/statm: 1339 239 197 169 0 50 0
[pid=12222] ppid=12216 vsize=10880 CPUtime=100.78
/proc/12222/stat : 12222 (minisat_static) R 12216 12216 12179 0 -1 4194304 2571 0 0 0 10075 3 0 0 25 0 1 0 314849592 11141120 2557 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/12222/statm: 2720 2557 77 171 0 2547 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 16236
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12222
/proc/meminfo: memFree=1696712/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 336 4525 0 0 0 0 139 5 16 0 1 0 314849445 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12216/statm: 1339 239 197 169 0 50 0
[pid=12222] ppid=12216 vsize=13344 CPUtime=160.75
/proc/12222/stat : 12222 (minisat_static) R 12216 12216 12179 0 -1 4194304 3181 0 0 0 16071 4 0 0 25 0 1 0 314849592 13664256 3167 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/12222/statm: 3336 3167 77 171 0 3163 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 18700
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12222
/proc/meminfo: memFree=1694536/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 336 4525 0 0 0 0 139 5 16 0 1 0 314849445 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12216/statm: 1339 239 197 169 0 50 0
[pid=12222] ppid=12216 vsize=15624 CPUtime=220.73
/proc/12222/stat : 12222 (minisat_static) R 12216 12216 12179 0 -1 4194304 3716 0 0 0 22068 5 0 0 25 0 1 0 314849592 15998976 3702 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/12222/statm: 3906 3702 77 171 0 3733 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 20980
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12222
/proc/meminfo: memFree=1692424/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 336 4525 0 0 0 0 139 5 16 0 1 0 314849445 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12216/statm: 1339 239 197 169 0 50 0
[pid=12222] ppid=12216 vsize=17664 CPUtime=280.71
/proc/12222/stat : 12222 (minisat_static) R 12216 12216 12179 0 -1 4194304 4249 0 0 0 28065 6 0 0 25 0 1 0 314849592 18087936 4235 1992294400 134512640 135215339 4294956240 18446744073709551615 134528647 0 0 4096 3 0 0 0 17 1 0 0
/proc/12222/statm: 4416 4235 77 171 0 4243 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 23020
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12222
/proc/meminfo: memFree=1690320/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 336 4525 0 0 0 0 139 5 16 0 1 0 314849445 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12216/statm: 1339 239 197 169 0 50 0
[pid=12222] ppid=12216 vsize=19776 CPUtime=340.69
/proc/12222/stat : 12222 (minisat_static) R 12216 12216 12179 0 -1 4194304 4747 0 0 0 34062 7 0 0 25 0 1 0 314849592 20250624 4733 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/12222/statm: 4944 4733 77 171 0 4771 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 25132
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12222
/proc/meminfo: memFree=1688464/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 336 4525 0 0 0 0 139 5 16 0 1 0 314849445 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12216/statm: 1339 239 197 169 0 50 0
[pid=12222] ppid=12216 vsize=21464 CPUtime=400.66
/proc/12222/stat : 12222 (minisat_static) R 12216 12216 12179 0 -1 4194304 5172 0 0 0 40059 7 0 0 25 0 1 0 314849592 21979136 5158 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/12222/statm: 5366 5158 77 171 0 5193 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 26820
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12222
/proc/meminfo: memFree=1686608/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
################
# More data... #
################
/proc/12222/statm: 27838 26853 77 171 0 27665 0
Current children cumulated CPU time (s) 9338.76
Current children cumulated vsize (KiB) 116708
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 12716
/proc/meminfo: memFree=1549968/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 336 4525 0 0 0 0 139 5 16 0 1 0 314849445 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12216/statm: 1339 239 197 169 0 50 0
[pid=12222] ppid=12216 vsize=111352 CPUtime=9397.29
/proc/12222/stat : 12222 (minisat_static) R 12216 12216 12179 0 -1 4194304 26867 0 0 0 939669 60 0 0 25 0 1 0 314849592 114024448 26853 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12222/statm: 27838 26853 77 171 0 27665 0
Current children cumulated CPU time (s) 9398.73
Current children cumulated vsize (KiB) 116708
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 12716
/proc/meminfo: memFree=1549968/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 336 4525 0 0 0 0 139 5 16 0 1 0 314849445 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12216/statm: 1339 239 197 169 0 50 0
[pid=12222] ppid=12216 vsize=111352 CPUtime=9457.28
/proc/12222/stat : 12222 (minisat_static) R 12216 12216 12179 0 -1 4194304 26867 0 0 0 945667 61 0 0 25 0 1 0 314849592 114024448 26853 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/12222/statm: 27838 26853 77 171 0 27665 0
Current children cumulated CPU time (s) 9458.72
Current children cumulated vsize (KiB) 116708
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 12716
/proc/meminfo: memFree=1549968/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 336 4525 0 0 0 0 139 5 16 0 1 0 314849445 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12216/statm: 1339 239 197 169 0 50 0
[pid=12222] ppid=12216 vsize=111352 CPUtime=9517.25
/proc/12222/stat : 12222 (minisat_static) R 12216 12216 12179 0 -1 4194304 26869 0 0 0 951664 61 0 0 25 0 1 0 314849592 114024448 26855 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12222/statm: 27838 26855 77 171 0 27665 0
Current children cumulated CPU time (s) 9518.69
Current children cumulated vsize (KiB) 116708
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 12716
/proc/meminfo: memFree=1549968/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 336 4525 0 0 0 0 139 5 16 0 1 0 314849445 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12216/statm: 1339 239 197 169 0 50 0
[pid=12222] ppid=12216 vsize=111352 CPUtime=9577.23
/proc/12222/stat : 12222 (minisat_static) R 12216 12216 12179 0 -1 4194304 26870 0 0 0 957662 61 0 0 25 0 1 0 314849592 114024448 26856 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12222/statm: 27838 26856 77 171 0 27665 0
Current children cumulated CPU time (s) 9578.67
Current children cumulated vsize (KiB) 116708
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 12716
/proc/meminfo: memFree=1549968/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 336 4525 0 0 0 0 139 5 16 0 1 0 314849445 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12216/statm: 1339 239 197 169 0 50 0
[pid=12222] ppid=12216 vsize=111352 CPUtime=9637.21
/proc/12222/stat : 12222 (minisat_static) R 12216 12216 12179 0 -1 4194304 26870 0 0 0 963660 61 0 0 25 0 1 0 314849592 114024448 26856 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/12222/statm: 27838 26856 77 171 0 27665 0
Current children cumulated CPU time (s) 9638.65
Current children cumulated vsize (KiB) 116708
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 12716
/proc/meminfo: memFree=1549840/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 336 4525 0 0 0 0 139 5 16 0 1 0 314849445 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12216/statm: 1339 239 197 169 0 50 0
[pid=12222] ppid=12216 vsize=111352 CPUtime=9697.19
/proc/12222/stat : 12222 (minisat_static) R 12216 12216 12179 0 -1 4194304 26870 0 0 0 969658 61 0 0 25 0 1 0 314849592 114024448 26856 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/12222/statm: 27838 26856 77 171 0 27665 0
Current children cumulated CPU time (s) 9698.63
Current children cumulated vsize (KiB) 116708
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 12716
/proc/meminfo: memFree=1549776/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 336 4525 0 0 0 0 139 5 16 0 1 0 314849445 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12216/statm: 1339 239 197 169 0 50 0
[pid=12222] ppid=12216 vsize=111352 CPUtime=9757.16
/proc/12222/stat : 12222 (minisat_static) R 12216 12216 12179 0 -1 4194304 26873 0 0 0 975655 61 0 0 25 0 1 0 314849592 114024448 26859 1992294400 134512640 135215339 4294956240 18446744073709551615 134539381 0 0 4096 3 0 0 0 17 1 0 0
/proc/12222/statm: 27838 26859 77 171 0 27665 0
Current children cumulated CPU time (s) 9758.6
Current children cumulated vsize (KiB) 116708
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 12716
/proc/meminfo: memFree=1549776/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 336 4525 0 0 0 0 139 5 16 0 1 0 314849445 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12216/statm: 1339 239 197 169 0 50 0
[pid=12222] ppid=12216 vsize=111352 CPUtime=9817.14
/proc/12222/stat : 12222 (minisat_static) R 12216 12216 12179 0 -1 4194304 26873 0 0 0 981653 61 0 0 25 0 1 0 314849592 114024448 26859 1992294400 134512640 135215339 4294956240 18446744073709551615 134538556 0 0 4096 3 0 0 0 17 1 0 0
/proc/12222/statm: 27838 26859 77 171 0 27665 0
Current children cumulated CPU time (s) 9818.58
Current children cumulated vsize (KiB) 116708
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 12716
/proc/meminfo: memFree=1549776/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 336 4525 0 0 0 0 139 5 16 0 1 0 314849445 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12216/statm: 1339 239 197 169 0 50 0
[pid=12222] ppid=12216 vsize=111352 CPUtime=9877.12
/proc/12222/stat : 12222 (minisat_static) R 12216 12216 12179 0 -1 4194304 26873 0 0 0 987651 61 0 0 25 0 1 0 314849592 114024448 26859 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12222/statm: 27838 26859 77 171 0 27665 0
Current children cumulated CPU time (s) 9878.56
Current children cumulated vsize (KiB) 116708
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 12716
/proc/meminfo: memFree=1549712/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 336 4525 0 0 0 0 139 5 16 0 1 0 314849445 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12216/statm: 1339 239 197 169 0 50 0
[pid=12222] ppid=12216 vsize=111352 CPUtime=9937.11
/proc/12222/stat : 12222 (minisat_static) R 12216 12216 12179 0 -1 4194304 26874 0 0 0 993649 62 0 0 25 0 1 0 314849592 114024448 26860 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12222/statm: 27838 26860 77 171 0 27665 0
Current children cumulated CPU time (s) 9938.55
Current children cumulated vsize (KiB) 116708
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 12716
/proc/meminfo: memFree=1549648/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 336 4525 0 0 0 0 139 5 16 0 1 0 314849445 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12216/statm: 1339 239 197 169 0 50 0
[pid=12222] ppid=12216 vsize=111532 CPUtime=9997.09
/proc/12222/stat : 12222 (minisat_static) R 12216 12216 12179 0 -1 4194304 26887 0 0 0 999647 62 0 0 25 0 1 0 314849592 114208768 26873 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12222/statm: 27883 26873 77 171 0 27710 0
Current children cumulated CPU time (s) 9998.53
Current children cumulated vsize (KiB) 116888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003.8 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 12716
/proc/meminfo: memFree=1549648/2055920 swapFree=4180320/4192956
[pid=12216] ppid=12214 vsize=5356 CPUtime=1.44
/proc/12216/stat : 12216 (SatELiteGTI) S 12214 12216 12179 0 -1 4194304 336 4525 0 0 0 0 139 5 16 0 1 0 314849445 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12216/statm: 1339 239 197 169 0 50 0
[pid=12222] ppid=12216 vsize=111532 CPUtime=9998.59
/proc/12222/stat : 12222 (minisat_static) R 12216 12216 12179 0 -1 4194304 26887 0 0 0 999797 62 0 0 25 0 1 0 314849592 114208768 26873 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/12222/statm: 27883 26873 77 171 0 27710 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 116888
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 12216 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=401786
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=52991
# CPU time returned by wait4() is 1.45478
# while last known CPU time is 10000
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10003.8
CPU time (s): 10000
CPU user time (s): 9999.36
CPU system time (s): 0.67
CPU usage (%): 99.9622
Max. virtual memory (cumulated for all children) (KiB): 116888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.40179
system time used= 0.052991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4861
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 8
runsolver used 11.9422 second user time and 24.3733 second system time
The end
Begin job on node1 at 2009-05-21 03:09:08
IDJOB=1837346
IDBENCH=70875
IDSOLVER=674
FILE ID=node1/1837346-1242868147
PBS_JOBID= 9328588
Free space on /tmp= 66092 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-28-s100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837346-1242868147/watcher-1837346-1242868147 -o /tmp/evaluation-result-1837346-1242868147/solver-1837346-1242868147 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837346-1242868147.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 06e51f5d7b210924fc518c0569affee4
RANDOM SEED=23971790
node1.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.259
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 : 5931.00
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.259
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: 1715296 kB
Buffers: 17424 kB
Cached: 281140 kB
SwapCached: 6756 kB
Active: 25884 kB
Inactive: 280896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1715296 kB
SwapTotal: 4192956 kB
SwapFree: 4180320 kB
Dirty: 3324 kB
Writeback: 0 kB
Mapped: 13328 kB
Slab: 19852 kB
Committed_AS: 1109316 kB
PageTables: 1436 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= 66088 MiB
End job on node1 at 2009-05-21 05:55:53