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 | 95911 226247 | 28773 0 0 nan | 0.000 % |
1.28/1.39 c | 0 | 59414 177649 | -- 0 -- -- | -- | -36157/-47622
1.28/1.39 c ==============================================================================
1.28/1.39 c Result : #vars: 14275 #clauses: 59414 #literals: 177649
1.28/1.39 c CPU time: 1.34679 s
1.28/1.39 c ==============================================================================
1.38/1.45 c This is MiniSat 2.0 beta
1.38/1.45 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.46 c | Number of variables: 14275 |
1.38/1.46 c | Number of clauses: 59414 |
1.38/1.49 c | Parsing time: 0.03 s |
1.38/1.50 c ============================[ Search Statistics ]==============================
1.38/1.50 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.38/1.50 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.38/1.50 c ===============================================================================
1.38/1.50 c | 0 | 14275 59414 177649 | 19804 0 nan | 0.000 % |
1.44/1.57 c | 100 | 14255 59414 177649 | 19804 92 39 | 2.508 % |
1.44/1.97 c | 201 | 13917 57520 172850 | 19804 188 54 | 2.508 % |
2.27/2.31 c | 302 | 13917 57520 172850 | 19804 289 45 | 2.508 % |
2.57/2.67 c | 412 | 13917 57520 172850 | 19804 399 42 | 2.508 % |
2.87/2.96 c | 512 | 13917 57520 172850 | 19804 499 40 | 2.508 % |
3.27/3.30 c | 623 | 13917 57520 172850 | 19804 610 37 | 2.508 % |
3.67/3.79 c | 745 | 13917 57520 172850 | 19804 732 36 | 2.508 % |
4.17/4.21 c | 846 | 13917 57520 172850 | 19804 833 34 | 2.508 % |
4.57/4.63 c | 957 | 13917 57520 172850 | 19804 944 33 | 2.508 % |
4.97/5.07 c | 1079 | 13917 57520 172850 | 19804 1066 33 | 2.508 % |
5.17/5.28 c | 1213 | 13917 57520 172850 | 19804 1200 34 | 2.508 % |
5.57/5.65 c | 1314 | 13917 57520 172850 | 19804 1301 36 | 2.508 % |
5.97/6.00 c | 1425 | 13917 57520 172850 | 19804 1412 35 | 2.508 % |
6.17/6.26 c | 1547 | 13917 57520 172850 | 19804 1534 36 | 2.508 % |
6.47/6.58 c | 1680 | 13917 57520 172850 | 19804 1667 35 | 2.508 % |
6.97/7.00 c | 1826 | 13917 57520 172850 | 19804 1813 36 | 2.508 % |
7.27/7.32 c | 1926 | 13917 57520 172850 | 19804 1913 36 | 2.508 % |
7.37/7.48 c | 2037 | 13917 57520 172850 | 19804 2024 36 | 2.508 % |
7.77/7.81 c | 2160 | 13917 57520 172850 | 19804 2147 37 | 2.508 % |
8.17/8.27 c | 2294 | 13917 57520 172850 | 19804 2281 39 | 2.508 % |
8.47/8.53 c | 2441 | 13917 57520 172850 | 19804 2428 38 | 2.508 % |
8.97/9.05 c | 2604 | 13917 57520 172850 | 19804 2591 38 | 2.508 % |
9.36/9.40 c | 2704 | 13917 57520 172850 | 19804 2691 38 | 2.508 % |
9.66/9.72 c | 2814 | 13917 57520 172850 | 19804 2801 38 | 2.508 % |
9.96/10.06 c | 2937 | 13917 57520 172850 | 19804 2924 38 | 2.508 % |
10.46/10.53 c | 3070 | 13917 57520 172850 | 19804 3057 37 | 2.508 % |
11.06/11.19 c | 3216 | 13917 57520 172850 | 19804 3203 37 | 2.508 % |
11.66/11.72 c | 3376 | 13917 57520 172850 | 19804 3363 36 | 2.508 % |
12.26/12.34 c | 3553 | 13917 57520 172850 | 19804 3540 36 | 2.508 % |
12.56/12.63 c | 3653 | 13917 57520 172850 | 19804 3640 36 | 2.508 % |
12.96/13.03 c | 3763 | 13917 57520 172850 | 19804 3750 36 | 2.508 % |
13.46/13.50 c | 3885 | 13917 57520 172850 | 19804 3872 35 | 2.508 % |
13.96/14.07 c | 4018 | 13917 57520 172850 | 19804 4005 35 | 2.508 % |
14.36/14.45 c | 4167 | 13917 57520 172850 | 19804 4154 35 | 2.508 % |
14.86/14.97 c | 4328 | 13917 57520 172850 | 19804 4315 35 | 2.508 % |
15.36/15.46 c | 4505 | 13917 57520 172850 | 19804 4492 35 | 2.508 % |
16.06/16.16 c | 4699 | 13917 57520 172850 | 19804 4686 34 | 2.508 % |
16.46/16.57 c | 4799 | 13917 57520 172850 | 19804 4786 34 | 2.508 % |
16.86/16.97 c | 4910 | 13917 57520 172850 | 19804 4897 34 | 2.508 % |
17.36/17.47 c | 5032 | 13917 57520 172850 | 19804 5019 34 | 2.508 % |
17.96/18.08 c | 5165 | 13917 57520 172850 | 19804 5152 34 | 2.508 % |
18.66/18.70 c | 5311 | 13917 57520 172850 | 19804 5298 34 | 2.508 % |
19.06/19.18 c | 5471 | 13917 57520 172850 | 19804 5458 34 | 2.508 % |
19.76/19.81 c | 5648 | 13917 57520 172850 | 19804 5635 34 | 2.508 % |
20.56/20.61 c | 5841 | 13917 57520 172850 | 19804 5828 34 | 2.508 % |
21.36/21.41 c | 6054 | 13917 57520 172850 | 19804 6041 34 | 2.508 % |
21.76/21.83 c | 6154 | 13917 57520 172850 | 19804 6141 34 | 2.508 % |
22.25/22.31 c | 6264 | 13917 57520 172850 | 19804 6251 34 | 2.508 % |
22.75/22.88 c | 6386 | 13917 57520 172850 | 19804 6373 34 | 2.508 % |
23.35/23.46 c | 6519 | 13917 57520 172850 | 19804 6506 34 | 2.508 % |
23.85/23.96 c | 6666 | 13917 57520 172850 | 19804 6653 33 | 2.508 % |
24.55/24.61 c | 6826 | 13917 57520 172850 | 19804 6813 33 | 2.508 % |
25.26/25.32 c | 7002 | 13917 57520 172850 | 19804 6989 33 | 2.508 % |
25.75/25.85 c | 7195 | 13917 57520 172850 | 19804 7182 34 | 2.508 % |
26.55/26.64 c | 7407 | 13917 57520 172850 | 19804 7394 34 | 2.508 % |
27.36/27.50 c | 7642 | 13917 57520 172850 | 19804 7629 34 | 2.508 % |
27.75/27.87 c | 7742 | 13917 57520 172850 | 19804 7729 34 | 2.508 % |
28.35/28.40 c | 7852 | 13917 57520 172850 | 19804 7839 33 | 2.508 % |
28.75/28.89 c | 7973 | 13917 57520 172850 | 19804 7960 33 | 2.508 % |
29.36/29.50 c | 8107 | 13917 57520 172850 | 19804 8094 33 | 2.508 % |
30.06/30.10 c | 8254 | 13917 57520 172850 | 19804 8241 33 | 2.508 % |
30.36/30.46 c | 8416 | 13917 57520 172850 | 19804 8403 33 | 2.508 % |
31.16/31.24 c | 8592 | 13917 57520 172850 | 19804 8579 33 | 2.508 % |
32.06/32.12 c | 8786 | 13917 57520 172850 | 19804 8773 33 | 2.508 % |
32.96/33.01 c | 8998 | 13917 57520 172850 | 19804 8985 33 | 2.508 % |
33.95/34.03 c | 9232 | 13871 57308 172369 | 19804 9218 33 | 2.830 % |
35.15/35.25 c | 9489 | 13871 57308 172369 | 19804 9475 33 | 2.830 % |
35.64/35.73 c | 9590 | 13871 57308 172369 | 19804 9576 33 | 2.830 % |
36.15/36.27 c | 9700 | 13871 57308 172369 | 19804 9686 33 | 2.830 % |
36.64/36.75 c | 9825 | 13871 57308 172369 | 19804 9811 33 | 2.830 % |
37.14/37.30 c | 9958 | 13871 57308 172369 | 19804 9944 33 | 2.830 % |
37.84/37.99 c | 10105 | 13871 57308 172369 | 2147483647 10091 32 | 2.830 % |
38.54/38.68 c | 10267 | 13871 57308 172369 | 2147483647 10253 32 | 2.830 % |
39.44/39.58 c | 10444 | 13871 57308 172369 | 2147483647 10430 32 | 2.830 % |
40.23/40.36 c | 10639 | 13871 57308 172369 | 2147483647 10625 32 | 2.830 % |
41.23/41.39 c | 10853 | 13871 57308 172369 | 2147483647 10839 32 | 2.830 % |
42.43/42.57 c | 11086 | 13871 57308 172369 | 2147483647 11072 32 | 2.830 % |
43.63/43.75 c | 11343 | 13871 57308 172369 | 2147483647 11329 32 | 2.830 % |
44.73/44.85 c | 11625 | 13871 57308 172369 | 2147483647 11611 32 | 2.830 % |
44.83/44.97 c | 11727 | 13871 57308 172369 | 2147483647 11713 32 | 2.830 % |
45.33/45.45 c | 11837 | 13871 57308 172369 | 2147483647 11823 32 | 2.830 % |
45.83/45.99 c | 11958 | 13871 57308 172369 | 2147483647 11944 32 | 2.830 % |
46.53/46.66 c | 12091 | 13871 57308 172369 | 2147483647 12077 32 | 2.830 % |
47.23/47.31 c | 12237 | 13871 57308 172369 | 2147483647 12223 32 | 2.830 % |
47.63/47.72 c | 12397 | 13871 57308 172369 | 2147483647 12383 32 | 2.830 % |
48.43/48.50 c | 12574 | 13871 57308 172369 | 2147483647 12560 32 | 2.830 % |
49.33/49.47 c | 12768 | 13871 57308 172369 | 2147483647 12754 32 | 2.830 % |
50.22/50.33 c | 12981 | 13871 57308 172369 | 2147483647 12967 32 | 2.830 % |
51.02/51.15 c | 13215 | 13871 57308 172369 | 2147483647 13201 32 | 2.830 % |
52.02/52.15 c | 13471 | 13871 57308 172369 | 2147483647 13457 32 | 2.830 % |
53.22/53.36 c | 13752 | 13871 57308 172369 | 2147483647 13738 32 | 2.830 % |
54.62/54.76 c | 14062 | 13871 57308 172369 | 2147483647 14048 32 | 2.830 % |
55.12/55.22 c | 14162 | 13871 57308 172369 | 2147483647 14148 32 | 2.830 % |
55.52/55.63 c | 14273 | 13871 57308 172369 | 2147483647 14259 32 | 2.830 % |
56.03/56.11 c | 14395 | 13871 57308 172369 | 2147483647 14381 32 | 2.830 % |
56.32/56.46 c | 14529 | 13871 57308 172369 | 2147483647 14515 32 | 2.830 % |
56.82/56.94 c | 14679 | 13871 57308 172369 | 2147483647 14665 32 | 2.830 % |
57.43/57.50 c | 14840 | 13871 57308 172369 | 2147483647 14826 32 | 2.830 % |
58.13/58.27 c | 15018 | 13871 57308 172369 | 2147483647 15004 32 | 2.830 % |
58.73/58.88 c | 15211 | 13871 57308 172369 | 2147483647 15197 33 | 2.830 % |
59.73/59.83 c | 15423 | 13871 57308 172369 | 2147483647 15409 32 | 2.830 % |
60.73/60.83 c | 15657 | 13871 57308 172369 | 2147483647 15643 32 | 2.830 % |
61.73/61.87 c | 15913 | 13871 57308 172369 | 2147483647 15899 32 | 2.830 % |
62.93/63.07 c | 16195 | 13871 57308 172369 | 2147483647 16181 32 | 2.830 % |
64.63/64.70 c | 16504 | 13871 57308 172369 | 2147483647 16490 32 | 2.830 % |
66.32/66.44 c | 16843 | 13871 57308 172369 | 2147483647 16829 32 | 2.830 % |
66.72/66.84 c | 16943 | 13871 57308 172369 | 2147483647 16929 32 | 2.830 % |
67.23/67.31 c | 17053 | 13871 57308 172369 | 2147483647 17039 32 | 2.830 % |
67.72/67.87 c | 17175 | 13871 57308 172369 | 2147483647 17161 32 | 2.830 % |
68.42/68.56 c | 17308 | 13871 57308 172369 | 2147483647 17294 32 | 2.830 % |
69.13/69.26 c | 17455 | 13871 57308 172369 | 2147483647 17441 32 | 2.830 % |
70.02/70.16 c | 17615 | 13871 57308 172369 | 2147483647 17601 32 | 2.830 % |
70.92/71.03 c | 17791 | 13871 57308 172369 | 2147483647 17777 32 | 2.830 % |
71.92/72.06 c | 17984 | 13871 57308 172369 | 2147483647 17970 32 | 2.830 % |
72.62/72.73 c | 18196 | 13871 57308 172369 | 2147483647 18182 32 | 2.830 % |
73.82/73.94 c | 18430 | 13871 57308 172369 | 2147483647 18416 32 | 2.830 % |
74.82/74.98 c | 18686 | 13871 57308 172369 | 2147483647 18672 32 | 2.830 % |
75.82/75.95 c | 18967 | 13871 57308 172369 | 2147483647 18953 32 | 2.830 % |
77.12/77.28 c | 19276 | 13871 57308 172369 | 2147483647 19262 32 | 2.830 % |
78.52/78.66 c | 19615 | 13871 57308 172369 | 2147483647 19601 32 | 2.830 % |
80.12/80.23 c | 19988 | 13871 57308 172369 | 2147483647 19974 32 | 2.830 % |
80.51/80.68 c | 20088 | 13871 57308 172369 | 2147483647 20074 32 | 2.830 % |
80.91/81.01 c | 20198 | 13871 57308 172369 | 2147483647 20184 32 | 2.830 % |
81.01/81.15 c | 20320 | 13871 57308 172369 | 2147483647 20306 32 | 2.830 % |
81.71/81.84 c | 20453 | 13871 57308 172369 | 2147483647 20439 33 | 2.830 % |
82.51/82.60 c | 20599 | 13871 57308 172369 | 2147483647 20585 33 | 2.830 % |
83.31/83.46 c | 20760 | 13871 57308 172369 | 2147483647 20746 33 | 2.830 % |
84.01/84.16 c | 20936 | 13871 57308 172369 | 2147483647 20922 33 | 2.830 % |
85.01/85.17 c | 21129 | 13871 57308 172369 | 2147483647 21115 32 | 2.830 % |
86.21/86.35 c | 21341 | 13871 57308 172369 | 2147483647 21327 32 | 2.830 % |
87.11/87.29 c | 21576 | 13871 57308 172369 | 2147483647 21562 32 | 2.830 % |
88.31/88.44 c | 21832 | 13871 57308 172369 | 2147483647 21818 33 | 2.830 % |
89.61/89.78 c | 22114 | 13871 57308 172369 | 2147483647 22100 33 | 2.830 % |
91.21/91.39 c | 22424 | 13871 57308 172369 | 2147483647 22410 32 | 2.830 % |
91.80/91.92 c | 22764 | 13871 57308 172369 | 2147483647 22750 33 | 2.830 % |
93.60/93.77 c | 23137 | 13871 57308 172369 | 2147483647 23123 33 | 2.830 % |
95.51/95.62 c | 23547 | 13871 57308 172369 | 2147483647 23533 33 | 2.830 % |
96.00/96.17 c | 23649 | 13871 57308 172369 | 2147483647 23635 33 | 2.830 % |
96.61/96.72 c | 23759 | 13871 57308 172369 | 2147483647 23745 33 | 2.830 % |
97.00/97.17 c | 23880 | 13871 57308 172369 | 2147483647 23866 33 | 2.830 % |
97.71/97.89 c | 24013 | 13871 57308 172369 | 2147483647 23999 33 | 2.830 % |
98.40/98.56 c | 24159 | 13871 57308 172369 | 2147483647 24145 33 | 2.830 % |
99.10/99.27 c | 24319 | 13871 57308 172369 | 2147483647 24305 33 | 2.830 % |
100.00/100.15 c | 24496 | 13871 57308 172369 | 2147483647 24482 33 | 2.830 % |
100.50/100.64 c | 24689 | 13871 57308 172369 | 2147483647 24675 34 | 2.830 % |
101.40/101.52 c | 24902 | 13871 57308 172369 | 2147483647 24888 34 | 2.830 % |
102.50/102.69 c | 25136 | 13871 57308 172369 | 2147483647 25122 34 | 2.830 % |
103.80/103.91 c | 25392 | 13871 57308 172369 | 2147483647 25378 34 | 2.830 % |
105.19/105.34 c | 25673 | 13871 57308 172369 | 2147483647 25659 34 | 2.830 % |
106.61/106.73 c | 25982 | 13871 57308 172369 | 2147483647 25968 34 | 2.830 % |
108.50/108.61 c | 26321 | 13871 57308 172369 | 2147483647 26307 34 | 2.830 % |
110.20/110.36 c | 26693 | 13871 57308 172369 | 2147483647 26679 34 | 2.830 % |
111.70/111.84 c | 27103 | 13871 57308 172369 | 2147483647 27089 34 | 2.830 % |
113.70/113.89 c | 27553 | 13871 57308 172369 | 2147483647 27539 34 | 2.830 % |
114.30/114.45 c | 27653 | 13871 57308 172369 | 2147483647 27639 34 | 2.830 % |
114.90/115.04 c | 27763 | 13871 57308 172369 | 2147483647 27749 34 | 2.830 % |
115.30/115.50 c | 27885 | 13871 57308 172369 | 2147483647 27871 34 | 2.830 % |
116.00/116.14 c | 28019 | 13871 57308 172369 | 2147483647 28005 34 | 2.830 % |
116.60/116.77 c | 28166 | 13871 57308 172369 | 2147483647 28152 34 | 2.830 % |
117.40/117.50 c | 28326 | 13871 57308 172369 | 2147483647 28312 34 | 2.830 % |
118.10/118.26 c | 28503 | 13871 57308 172369 | 2147483647 28489 34 | 2.830 % |
119.10/119.28 c | 28697 | 13871 57308 172369 | 2147483647 28683 34 | 2.830 % |
120.20/120.33 c | 28910 | 13871 57308 172369 | 2147483647 28896 34 | 2.830 % |
121.60/121.72 c | 29143 | 13871 57308 172369 | 2147483647 29129 34 | 2.830 % |
123.10/123.23 c | 29400 | 13871 57308 172369 | 2147483647 29386 34 | 2.830 % |
124.69/124.81 c | 29682 | 13871 57308 172369 | 2147483647 29668 34 | 2.830 % |
126.49/126.66 c | 29992 | 13871 57308 172369 | 2147483647 29978 34 | 2.830 % |
128.49/128.62 c | 30332 | 13871 57308 172369 | 2147483647 30318 33 | 2.830 % |
129.49/129.67 c | 30705 | 13871 57308 172369 | 2147483647 30691 34 | 2.830 % |
131.29/131.44 c | 31115 | 13871 57308 172369 | 2147483647 31101 34 | 2.830 % |
132.99/133.15 c | 31566 | 13871 57308 172369 | 2147483647 31552 34 | 2.830 % |
135.78/135.95 c | 32059 | 13871 57308 172369 | 2147483647 32045 34 | 2.830 % |
136.19/136.33 c | 32159 | 13871 57308 172369 | 2147483647 32145 34 | 2.830 % |
136.68/136.89 c | 32269 | 13871 57308 172369 | 2147483647 32255 34 | 2.830 % |
137.08/137.29 c | 32390 | 13871 57308 172369 | 2147483647 32376 34 | 2.830 % |
137.48/137.61 c | 32523 | 13871 57308 172369 | 2147483647 32509 34 | 2.830 % |
137.88/138.01 c | 32670 | 13871 57308 172369 | 2147483647 32656 34 | 2.830 % |
138.78/138.90 c | 32831 | 13871 57308 172369 | 2147483647 32817 34 | 2.830 % |
139.59/139.72 c | 33008 | 13871 57308 172369 | 2147483647 32994 34 | 2.830 % |
140.48/140.67 c | 33202 | 13871 57308 172369 | 2147483647 33188 34 | 2.830 % |
141.58/141.72 c | 33415 | 13871 57308 172369 | 2147483647 33401 34 | 2.830 % |
142.89/143.02 c | 33648 | 13871 57308 172369 | 2147483647 33634 34 | 2.830 % |
144.28/144.44 c | 33905 | 13871 57308 172369 | 2147483647 33891 34 | 2.830 % |
145.88/146.07 c | 34186 | 13871 57308 172369 | 2147483647 34172 34 | 2.830 % |
146.68/146.84 c | 34496 | 13871 57308 172369 | 2147483647 34482 34 | 2.830 % |
148.78/148.96 c | 34836 | 13871 57308 172369 | 2147483647 34822 34 | 2.830 % |
150.98/151.12 c | 35209 | 13871 57308 172369 | 2147483647 35195 34 | 2.830 % |
153.18/153.34 c | 35619 | 13871 57308 172369 | 2147483647 35605 34 | 2.830 % |
155.77/155.94 c | 36069 | 13871 57308 172369 | 2147483647 36055 34 | 2.830 % |
158.28/158.42 c | 36562 | 13871 57308 172369 | 2147483647 36548 34 | 2.830 % |
161.17/161.39 c | 37105 | 13871 57308 172369 | 2147483647 37091 33 | 2.830 % |
161.87/162.07 c | 37205 | 13871 57308 172369 | 2147483647 37191 33 | 2.830 % |
162.68/162.83 c | 37315 | 13871 57308 172369 | 2147483647 37301 33 | 2.830 % |
163.37/163.50 c | 37437 | 13871 57308 172369 | 2147483647 37423 33 | 2.830 % |
164.07/164.26 c | 37570 | 13871 57308 172369 | 2147483647 37556 33 | 2.830 % |
164.97/165.14 c | 37717 | 13871 57308 172369 | 2147483647 37703 33 | 2.830 % |
165.87/166.05 c | 37878 | 13871 57308 172369 | 2147483647 37864 33 | 2.830 % |
166.77/166.96 c | 38054 | 13871 57308 172369 | 2147483647 38040 33 | 2.830 % |
167.86/168.03 c | 38247 | 13871 57308 172369 | 2147483647 38233 33 | 2.830 % |
168.97/169.20 c | 38460 | 13871 57308 172369 | 2147483647 38446 33 | 2.830 % |
170.36/170.53 c | 38694 | 13871 57308 172369 | 2147483647 38680 33 | 2.830 % |
171.75/171.95 c | 38951 | 13871 57308 172369 | 2147483647 38937 33 | 2.830 % |
173.55/173.75 c | 39232 | 13871 57308 172369 | 2147483647 39218 33 | 2.830 % |
175.44/175.64 c | 39541 | 13871 57308 172369 | 2147483647 39527 33 | 2.830 % |
176.85/177.06 c | 39881 | 13871 57308 172369 | 2147483647 39867 33 | 2.830 % |
178.84/179.09 c | 40253 | 13871 57308 172369 | 2147483647 40239 33 | 2.830 % |
181.14/181.34 c | 40663 | 13871 57308 172369 | 2147483647 40649 33 | 2.830 % |
183.24/183.47 c | 41113 | 13871 57308 172369 | 2147483647 41099 33 | 2.830 % |
185.44/185.61 c | 41607 | 13871 57308 172369 | 2147483647 41593 33 | 2.830 % |
188.24/188.49 c | 42149 | 13871 57308 172369 | 2147483647 42135 33 | 2.830 % |
191.04/191.25 c | 42746 | 13871 57308 172369 | 2147483647 42732 33 | 2.830 % |
191.64/191.80 c | 42847 | 13871 57308 172369 | 2147483647 42833 33 | 2.830 % |
191.94/192.10 c | 42957 | 13871 57308 172369 | 2147483647 42943 33 | 2.830 % |
192.43/192.66 c | 43079 | 13871 57308 172369 | 2147483647 43065 33 | 2.830 % |
193.03/193.21 c | 43212 | 13871 57308 172369 | 2147483647 43198 33 | 2.830 % |
193.73/193.92 c | 43358 | 13871 57308 172369 | 2147483647 43344 33 | 2.830 % |
194.44/194.69 c | 43519 | 13871 57308 172369 | 2147483647 43505 33 | 2.830 % |
195.43/195.66 c | 43696 | 13871 57308 172369 | 2147483647 43682 33 | 2.830 % |
196.53/196.70 c | 43890 | 13871 57308 172369 | 2147483647 43876 33 | 2.830 % |
197.53/197.76 c | 44102 | 13871 57308 172369 | 2147483647 44088 33 | 2.830 % |
198.13/198.39 c | 44335 | 13871 57308 172369 | 2147483647 44321 33 | 2.830 % |
199.43/199.61 c | 44592 | 13871 57308 172369 | 2147483647 44578 33 | 2.830 % |
200.63/200.80 c | 44873 | 13871 57308 172369 | 2147483647 44859 33 | 2.830 % |
201.73/201.95 c | 45183 | 13871 57308 172369 | 2147483647 45169 34 | 2.830 % |
203.73/203.90 c | 45522 | 13871 57308 172369 | 2147483647 45508 33 | 2.830 % |
205.73/205.94 c | 45895 | 13871 57308 172369 | 2147483647 45881 33 | 2.830 % |
208.23/208.40 c | 46304 | 13871 57308 172369 | 2147483647 46290 34 | 2.830 % |
210.83/211.10 c | 46754 | 13871 57308 172369 | 2147483647 46740 33 | 2.830 % |
213.63/213.87 c | 47247 | 13871 57308 172369 | 2147483647 47233 33 | 2.830 % |
217.02/217.24 c | 47789 | 13871 57308 172369 | 2147483647 47775 33 | 2.830 % |
220.32/220.54 c | 48385 | 13871 57308 172369 | 2147483647 48371 33 | 2.830 % |
223.72/223.98 c | 49040 | 13871 57308 172369 | 2147483647 49026 33 | 2.830 % |
224.32/224.53 c | 49141 | 13871 57308 172369 | 2147483647 49127 33 | 2.830 % |
224.82/225.06 c | 49253 | 13871 57308 172369 | 2147483647 49239 34 | 2.830 % |
225.51/225.76 c | 49375 | 13871 57308 172369 | 2147483647 49361 34 | 2.830 % |
226.11/226.37 c | 49508 | 13871 57308 172369 | 2147483647 49494 34 | 2.830 % |
227.01/227.25 c | 49654 | 13871 57308 172369 | 2147483647 49640 34 | 2.830 % |
228.01/228.25 c | 49815 | 13871 57308 172369 | 2147483647 49801 34 | 2.830 % |
229.21/229.44 c | 49991 | 13871 57308 172369 | 2147483647 49977 33 | 2.830 % |
230.21/230.49 c | 50185 | 13871 57308 172369 | 2147483647 50171 33 | 2.830 % |
231.41/231.65 c | 50398 | 13871 57308 172369 | 2147483647 50384 33 | 2.830 % |
232.61/232.87 c | 50631 | 13871 57308 172369 | 2147483647 50617 33 | 2.830 % |
233.71/233.96 c | 50888 | 13871 57308 172369 | 2147483647 50874 34 | 2.830 % |
234.81/235.08 c | 51169 | 13871 57308 172369 | 2147483647 51155 34 | 2.830 % |
236.21/236.46 c | 51479 | 13871 57308 172369 | 2147483647 51465 34 | 2.830 % |
237.51/237.74 c | 51819 | 13871 57308 172369 | 2147483647 51805 34 | 2.830 % |
239.71/239.96 c | 52191 | 13871 57308 172369 | 2147483647 52177 34 | 2.830 % |
241.31/241.52 c | 52600 | 13871 57308 172369 | 2147483647 52586 34 | 2.830 % |
243.61/243.88 c | 53049 | 13871 57308 172369 | 2147483647 53035 34 | 2.830 % |
246.60/246.88 c | 53543 | 13871 57308 172369 | 2147483647 53529 34 | 2.830 % |
249.81/250.03 c | 54085 | 13871 57308 172369 | 2147483647 54071 34 | 2.830 % |
253.21/253.47 c | 54684 | 13871 57308 172369 | 2147483647 54670 34 | 2.830 % |
257.51/257.76 c | 55340 | 13871 57308 172369 | 2147483647 55326 34 | 2.830 % |
261.70/261.92 c | 56060 | 13871 57308 172369 | 2147483647 56046 34 | 2.830 % |
262.30/262.54 c | 56161 | 13871 57308 172369 | 2147483647 56147 34 | 2.830 % |
262.90/263.16 c | 56271 | 13871 57308 172369 | 2147483647 56257 34 | 2.830 % |
263.50/263.77 c | 56393 | 13871 57308 172369 | 2147483647 56379 34 | 2.830 % |
264.20/264.46 c | 56527 | 13871 57308 172369 | 2147483647 56513 34 | 2.830 % |
265.10/265.34 c | 56673 | 13871 57308 172369 | 2147483647 56659 34 | 2.830 % |
265.90/266.12 c | 56834 | 13871 57308 172369 | 2147483647 56820 34 | 2.830 % |
266.30/266.53 c | 57011 | 13871 57308 172369 | 2147483647 56997 34 | 2.830 % |
267.00/267.25 c | 57205 | 13871 57308 172369 | 2147483647 57191 34 | 2.830 % |
268.10/268.34 c | 57417 | 13871 57308 172369 | 2147483647 57403 34 | 2.830 % |
269.10/269.37 c | 57650 | 13871 57308 172369 | 2147483647 57636 34 | 2.830 % |
270.59/270.87 c | 57906 | 13871 57308 172369 | 2147483647 57892 34 | 2.830 % |
271.79/272.10 c | 58188 | 13871 57308 172369 | 2147483647 58174 34 | 2.830 % |
273.49/273.73 c | 58498 | 13871 57308 172369 | 2147483647 58484 34 | 2.830 % |
275.39/275.67 c | 58838 | 13871 57308 172369 | 2147483647 58824 34 | 2.830 % |
277.79/278.01 c | 59210 | 13871 57308 172369 | 2147483647 59196 34 | 2.830 % |
278.59/278.82 c | 59619 | 13871 57308 172369 | 2147483647 59605 35 | 2.830 % |
280.99/281.25 c | 60069 | 13871 57308 172369 | 2147483647 60055 35 | 2.830 % |
284.39/284.61 c | 60563 | 13871 57308 172369 | 2147483647 60549 35 | 2.830 % |
287.69/287.94 c | 61106 | 13871 57308 172369 | 2147483647 61092 35 | 2.830 % |
290.58/290.82 c | 61702 | 13871 57308 172369 | 2147483647 61688 35 | 2.830 % |
293.69/293.92 c | 62357 | 13871 57308 172369 | 2147483647 62343 35 | 2.830 % |
297.69/297.91 c | 63077 | 13871 57308 172369 | 2147483647 63063 35 | 2.830 % |
302.19/302.45 c | 63870 | 13871 57308 172369 | 2147483647 63856 35 | 2.830 % |
302.79/303.06 c | 63971 | 13871 57308 172369 | 2147483647 63957 35 | 2.830 % |
303.49/303.71 c | 64082 | 13871 57308 172369 | 2147483647 64068 35 | 2.830 % |
304.08/304.36 c | 64203 | 13871 57308 172369 | 2147483647 64189 35 | 2.830 % |
304.88/305.17 c | 64338 | 13871 57308 172369 | 2147483647 64324 35 | 2.830 % |
305.78/306.09 c | 64484 | 13871 57308 172369 | 2147483647 64470 35 | 2.830 % |
306.98/307.22 c | 64644 | 13871 57308 172369 | 2147483647 64630 35 | 2.830 % |
308.08/308.33 c | 64820 | 13871 57308 172369 | 2147483647 64806 35 | 2.830 % |
309.48/309.71 c | 65013 | 13871 57308 172369 | 2147483647 64999 35 | 2.830 % |
310.88/311.13 c | 65225 | 13871 57308 172369 | 2147483647 65211 35 | 2.830 % |
312.48/312.77 c | 65458 | 13871 57308 172369 | 2147483647 65444 35 | 2.830 % |
314.17/314.47 c | 65714 | 13871 57308 172369 | 2147483647 65700 35 | 2.830 % |
316.08/316.35 c | 65996 | 13871 57308 172369 | 2147483647 65982 34 | 2.830 % |
318.17/318.41 c | 66306 | 13871 57308 172369 | 2147483647 66292 34 | 2.830 % |
320.37/320.66 c | 66645 | 13871 57308 172369 | 2147483647 66631 34 | 2.830 % |
322.67/322.99 c | 67017 | 13871 57308 172369 | 2147483647 67003 34 | 2.830 % |
325.27/325.53 c | 67426 | 13871 57308 172369 | 2147483647 67412 34 | 2.830 % |
327.87/328.10 c | 67876 | 13871 57308 172369 | 2147483647 67862 34 | 2.830 % |
330.67/331.00 c | 68370 | 13871 57308 172369 | 2147483647 68356 35 | 2.830 % |
332.77/333.08 c | 68913 | 13871 57308 172369 | 2147483647 68899 35 | 2.830 % |
333.86/334.18 c | 69509 | 13871 57308 172369 | 2147483647 69495 35 | 2.830 % |
337.76/338.08 c | 70164 | 13871 57308 172369 | 2147483647 70150 35 | 2.830 % |
340.26/340.57 c | 70886 | 13871 57308 172369 | 2147483647 70872 35 | 2.830 % |
345.06/345.35 c | 71678 | 13871 57308 172369 | 2147483647 71664 36 | 2.830 % |
349.95/350.21 c | 72550 | 13871 57308 172369 | 2147483647 72536 36 | 2.830 % |
350.55/350.87 c | 72651 | 13871 57308 172369 | 2147483647 72637 36 | 2.830 % |
351.34/351.61 c | 72763 | 13871 57308 172369 | 2147483647 72749 36 | 2.830 % |
352.14/352.42 c | 72884 | 13871 57308 172369 | 2147483647 72870 36 | 2.830 % |
352.84/353.16 c | 73018 | 13871 57308 172369 | 2147483647 73004 36 | 2.830 % |
353.54/353.83 c | 73165 | 13871 57308 172369 | 2147483647 73151 36 | 2.830 % |
354.54/354.80 c | 73325 | 13871 57308 172369 | 2147483647 73311 36 | 2.830 % |
355.64/355.90 c | 73501 | 13871 57308 172369 | 2147483647 73487 36 | 2.830 % |
356.84/357.20 c | 73694 | 13871 57308 172369 | 2147483647 73680 36 | 2.830 % |
358.14/358.46 c | 73907 | 13871 57308 172369 | 2147483647 73893 36 | 2.830 % |
359.84/360.17 c | 74140 | 13871 57308 172369 | 2147483647 74126 36 | 2.830 % |
361.64/361.95 c | 74396 | 13871 57308 172369 | 2147483647 74382 36 | 2.830 % |
363.44/363.75 c | 74677 | 13871 57308 172369 | 2147483647 74663 36 | 2.830 % |
365.63/365.90 c | 74986 | 13871 57308 172369 | 2147483647 74972 36 | 2.830 % |
367.83/368.13 c | 75325 | 13871 57308 172369 | 2147483647 75311 36 | 2.830 % |
370.63/370.99 c | 75698 | 13871 57308 172369 | 2147483647 75684 36 | 2.830 % |
373.13/373.48 c | 76107 | 13871 57308 172369 | 2147483647 76093 35 | 2.830 % |
376.33/376.68 c | 76556 | 13871 57308 172369 | 2147483647 76542 35 | 2.830 % |
380.03/380.31 c | 77051 | 13871 57308 172369 | 2147483647 77037 35 | 2.830 % |
383.53/383.90 c | 77593 | 13871 57308 172369 | 2147483647 77579 35 | 2.830 % |
387.63/387.90 c | 78192 | 13871 57308 172369 | 2147483647 78178 35 | 2.830 % |
391.72/392.04 c | 78847 | 13871 57308 172369 | 2147483647 78833 35 | 2.830 % |
396.92/397.21 c | 79569 | 13871 57308 172369 | 2147483647 79555 35 | 2.830 % |
402.22/402.52 c | 80362 | 13871 57308 172369 | 2147483647 80348 35 | 2.830 % |
408.42/408.71 c | 81234 | 13871 57308 172369 | 2147483647 81220 35 | 2.830 % |
414.82/415.10 c | 82192 | 13871 57308 172369 | 2147483647 82178 35 | 2.830 % |
415.42/415.80 c | 82294 | 13871 57308 172369 | 2147483647 82280 35 | 2.830 % |
416.21/416.54 c | 82404 | 13871 57308 172369 | 2147483647 82390 35 | 2.830 % |
416.81/417.19 c | 82526 | 13871 57308 172369 | 2147483647 82512 35 | 2.830 % |
417.92/418.22 c | 82660 | 13871 57308 172369 | 2147483647 82646 35 | 2.830 % |
419.01/419.33 c | 82806 | 13871 57308 172369 | 2147483647 82792 35 | 2.830 % |
420.01/420.36 c | 82966 | 13871 57308 172369 | 2147483647 82952 35 | 2.830 % |
421.21/421.57 c | 83143 | 13871 57308 172369 | 2147483647 83129 35 | 2.830 % |
422.61/422.96 c | 83337 | 13871 57308 172369 | 2147483647 83323 35 | 2.830 % |
423.81/424.18 c | 83549 | 13871 57308 172369 | 2147483647 83535 35 | 2.830 % |
425.42/425.77 c | 83783 | 13871 57308 172369 | 2147483647 83769 35 | 2.830 % |
426.91/427.21 c | 84039 | 13871 57308 172369 | 2147483647 84025 35 | 2.830 % |
428.62/429.00 c | 84320 | 13871 57308 172369 | 2147483647 84306 35 | 2.830 % |
430.91/431.21 c | 84630 | 13871 57308 172369 | 2147483647 84616 35 | 2.830 % |
433.41/433.70 c | 84969 | 13871 57308 172369 | 2147483647 84955 35 | 2.830 % |
435.81/436.13 c | 85341 | 13871 57308 172369 | 2147483647 85327 35 | 2.830 % |
438.71/439.04 c | 85750 | 13871 57308 172369 | 2147483647 85736 35 | 2.830 % |
441.70/442.09 c | 86200 | 13871 57308 172369 | 2147483647 86186 35 | 2.830 % |
444.40/444.75 c | 86693 | 13871 57308 172369 | 2147483647 86679 35 | 2.830 % |
448.00/448.35 c | 87235 | 13871 57308 172369 | 2147483647 87221 35 | 2.830 % |
450.39/450.78 c | 87831 | 13871 57308 172369 | 2147483647 87817 35 | 2.830 % |
455.00/455.38 c | 88487 | 13871 57308 172369 | 2147483647 88473 35 | 2.830 % |
460.49/460.88 c | 89208 | 13871 57308 172369 | 2147483647 89194 35 | 2.830 % |
466.28/466.68 c | 90000 | 13871 57308 172369 | 2147483647 89986 35 | 2.830 % |
472.38/472.70 c | 90872 | 13871 57308 172369 | 2147483647 90858 35 | 2.830 % |
479.38/479.75 c | 91831 | 13871 57308 172369 | 2147483647 91817 35 | 2.830 % |
486.68/487.05 c | 92885 | 13871 57308 172369 | 2147483647 92871 35 | 2.830 % |
487.48/487.82 c | 92985 | 13871 57308 172369 | 2147483647 92971 35 | 2.830 % |
488.38/488.76 c | 93096 | 13871 57308 172369 | 2147483647 93082 35 | 2.830 % |
489.47/489.82 c | 93218 | 13871 57308 172369 | 2147483647 93204 35 | 2.830 % |
490.57/490.96 c | 93351 | 13871 57308 172369 | 2147483647 93337 35 | 2.830 % |
491.57/491.93 c | 93498 | 13871 57308 172369 | 2147483647 93484 35 | 2.830 % |
492.57/492.95 c | 93658 | 13871 57308 172369 | 2147483647 93644 35 | 2.830 % |
493.77/494.14 c | 93834 | 13871 57308 172369 | 2147483647 93820 35 | 2.830 % |
494.97/495.38 c | 94029 | 13871 57308 172369 | 2147483647 94015 35 | 2.830 % |
496.47/496.87 c | 94241 | 13871 57308 172369 | 2147483647 94227 35 | 2.830 % |
497.77/498.15 c | 94474 | 13871 57308 172369 | 2147483647 94460 35 | 2.830 % |
499.87/500.25 c | 94730 | 13871 57308 172369 | 2147483647 94716 35 | 2.830 % |
502.07/502.45 c | 95012 | 13871 57308 172369 | 2147483647 94998 35 | 2.830 % |
504.47/504.84 c | 95321 | 13871 57308 172369 | 2147483647 95307 35 | 2.830 % |
506.77/507.19 c | 95661 | 13871 57308 172369 | 2147483647 95647 35 | 2.830 % |
509.66/510.03 c | 96034 | 13871 57308 172369 | 2147483647 96020 35 | 2.830 % |
512.76/513.18 c | 96444 | 13871 57308 172369 | 2147483647 96430 35 | 2.830 % |
515.86/516.22 c | 96893 | 13871 57308 172369 | 2147483647 96879 35 | 2.830 % |
519.56/519.91 c | 97386 | 13871 57308 172369 | 2147483647 97372 35 | 2.830 % |
523.56/523.92 c | 97928 | 13871 57308 172369 | 2147483647 97914 35 | 2.830 % |
528.06/528.43 c | 98524 | 13871 57308 172369 | 2147483647 98510 35 | 2.830 % |
532.06/532.45 c | 99182 | 13871 57308 172369 | 2147483647 99168 35 | 2.830 % |
536.55/537.00 c | 99903 | 13871 57308 172369 | 2147483647 99889 35 | 2.830 % |
542.25/542.67 c | 100696 | 13871 57308 172369 | 2147483647 100682 35 | 2.830 % |
548.84/549.21 c | 101567 | 13871 57308 172369 | 2147483647 101553 35 | 2.830 % |
555.14/555.53 c | 102526 | 13871 57308 172369 | 2147483647 102512 35 | 2.830 % |
563.04/563.47 c | 103579 | 13871 57308 172369 | 2147483647 103565 35 | 2.830 % |
571.73/572.14 c | 104738 | 13871 57308 172369 | 2147483647 104724 35 | 2.830 % |
572.43/572.86 c | 104839 | 13871 57308 172369 | 2147483647 104825 35 | 2.830 % |
573.23/573.63 c | 104949 | 13871 57308 172369 | 2147483647 104935 35 | 2.830 % |
574.23/574.66 c | 105070 | 13871 57308 172369 | 2147483647 105056 35 | 2.830 % |
574.83/575.22 c | 105203 | 13871 57308 172369 | 2147483647 105189 35 | 2.830 % |
575.93/576.32 c | 105351 | 13871 57308 172369 | 2147483647 105337 35 | 2.830 % |
577.22/577.61 c | 105512 | 13871 57308 172369 | 2147483647 105498 35 | 2.830 % |
578.72/579.11 c | 105689 | 13871 57308 172369 | 2147483647 105675 35 | 2.830 % |
580.22/580.64 c | 105884 | 13871 57308 172369 | 2147483647 105870 35 | 2.830 % |
581.33/581.76 c | 106097 | 13871 57308 172369 | 2147483647 106083 35 | 2.830 % |
583.23/583.63 c | 106331 | 13871 57308 172369 | 2147483647 106317 35 | 2.830 % |
585.33/585.78 c | 106587 | 13871 57308 172369 | 2147483647 106573 35 | 2.830 % |
587.62/588.08 c | 106868 | 13871 57308 172369 | 2147483647 106854 35 | 2.830 % |
590.23/590.61 c | 107177 | 13871 57308 172369 | 2147483647 107163 35 | 2.830 % |
592.72/593.14 c | 107516 | 13871 57308 172369 | 2147483647 107502 35 | 2.830 % |
595.52/595.95 c | 107888 | 13871 57308 172369 | 2147483647 107874 35 | 2.830 % |
597.02/597.47 c | 108297 | 13871 57308 172369 | 2147483647 108283 35 | 2.830 % |
600.22/600.62 c | 108747 | 13871 57308 172369 | 2147483647 108733 35 | 2.830 % |
603.62/604.05 c | 109240 | 13871 57308 172369 | 2147483647 109226 35 | 2.830 % |
605.72/606.20 c | 109782 | 13871 57308 172369 | 2147483647 109768 35 | 2.830 % |
609.51/609.98 c | 110381 | 13871 57308 172369 | 2147483647 110367 36 | 2.830 % |
614.01/614.49 c | 111037 | 13871 57308 172369 | 2147483647 111023 36 | 2.830 % |
620.01/620.45 c | 111757 | 13871 57308 172369 | 2147483647 111743 36 | 2.830 % |
627.00/627.44 c | 112549 | 13871 57308 172369 | 2147483647 112535 35 | 2.830 % |
633.70/634.18 c | 113422 | 13871 57308 172369 | 2147483647 113408 35 | 2.830 % |
641.50/641.96 c | 114381 | 13871 57308 172369 | 2147483647 114367 35 | 2.830 % |
649.99/650.45 c | 115434 | 13871 57308 172369 | 2147483647 115420 35 | 2.830 % |
658.29/658.78 c | 116592 | 13871 57308 172369 | 2147483647 116578 35 | 2.830 % |
666.98/667.46 c | 117865 | 13871 57308 172369 | 2147483647 117851 35 | 2.830 % |
667.88/668.35 c | 117966 | 13871 57308 172369 | 2147483647 117952 35 | 2.830 % |
668.78/669.28 c | 118077 | 13871 57308 172369 | 2147483647 118063 35 | 2.830 % |
669.88/670.32 c | 118198 | 13871 57308 172369 | 2147483647 118184 35 | 2.830 % |
670.78/671.30 c | 118331 | 13871 57308 172369 | 2147483647 118317 35 | 2.830 % |
671.98/672.49 c | 118477 | 13871 57308 172369 | 2147483647 118463 35 | 2.830 % |
673.37/673.87 c | 118638 | 13871 57308 172369 | 2147483647 118624 35 | 2.830 % |
674.77/675.27 c | 118815 | 13871 57308 172369 | 2147483647 118801 35 | 2.830 % |
676.17/676.63 c | 119009 | 13871 57308 172369 | 2147483647 118995 35 | 2.830 % |
677.98/678.49 c | 119221 | 13871 57308 172369 | 2147483647 119207 35 | 2.830 % |
679.78/680.28 c | 119454 | 13871 57308 172369 | 2147483647 119440 35 | 2.830 % |
681.88/682.31 c | 119711 | 13871 57308 172369 | 2147483647 119697 35 | 2.830 % |
684.18/684.67 c | 119992 | 13871 57308 172369 | 2147483647 119978 35 | 2.830 % |
686.28/686.76 c | 120301 | 13871 57308 172369 | 2147483647 120287 35 | 2.830 % |
688.47/688.94 c | 120641 | 13871 57308 172369 | 2147483647 120627 35 | 2.830 % |
691.07/691.58 c | 121013 | 13871 57308 172369 | 2147483647 120999 35 | 2.830 % |
694.57/695.02 c | 121423 | 13871 57308 172369 | 2147483647 121409 35 | 2.830 % |
698.07/698.53 c | 121872 | 13871 57308 172369 | 2147483647 121858 35 | 2.830 % |
702.37/702.83 c | 122366 | 13871 57308 172369 | 2147483647 122352 35 | 2.830 % |
706.87/707.35 c | 122909 | 13871 57308 172369 | 2147483647 122895 35 | 2.830 % |
711.75/712.21 c | 123506 | 13871 57308 172369 | 2147483647 123492 35 | 2.830 % |
717.54/718.09 c | 124161 | 13871 57308 172369 | 2147483647 124147 35 | 2.830 % |
722.94/723.46 c | 124881 | 13871 57308 172369 | 2147483647 124867 35 | 2.830 % |
729.63/730.17 c | 125673 | 13871 57308 172369 | 2147483647 125659 35 | 2.830 % |
735.63/736.14 c | 126545 | 13871 57308 172369 | 2147483647 126531 35 | 2.830 % |
743.83/744.37 c | 127503 | 13871 57308 172369 | 2147483647 127489 35 | 2.830 % |
752.73/753.22 c | 128556 | 13871 57308 172369 | 2147483647 128542 35 | 2.830 % |
763.30/763.85 c | 129714 | 13871 57308 172369 | 2147483647 129700 35 | 2.830 % |
773.90/774.40 c | 130988 | 13871 57308 172369 | 2147483647 130974 35 | 2.830 % |
785.39/785.96 c | 132389 | 13871 57308 172369 | 2147483647 132375 35 | 2.830 % |
786.19/786.76 c | 132490 | 13871 57308 172369 | 2147483647 132476 35 | 2.830 % |
786.69/787.28 c | 132602 | 13871 57308 172369 | 2147483647 132588 35 | 2.830 % |
787.79/788.33 c | 132724 | 13871 57308 172369 | 2147483647 132710 35 | 2.830 % |
788.69/789.27 c | 132859 | 13871 57308 172369 | 2147483647 132845 35 | 2.830 % |
790.09/790.68 c | 133006 | 13871 57308 172369 | 2147483647 132992 35 | 2.830 % |
791.59/792.14 c | 133166 | 13871 57308 172369 | 2147483647 133152 35 | 2.830 % |
793.09/793.61 c | 133342 | 13871 57308 172369 | 2147483647 133328 35 | 2.830 % |
794.49/795.10 c | 133536 | 13871 57308 172369 | 2147483647 133522 35 | 2.830 % |
796.39/796.96 c | 133748 | 13871 57308 172369 | 2147483647 133734 35 | 2.830 % |
797.68/798.23 c | 133982 | 13871 57308 172369 | 2147483647 133968 35 | 2.830 % |
799.78/800.38 c | 134238 | 13871 57308 172369 | 2147483647 134224 35 | 2.830 % |
802.18/802.74 c | 134519 | 13871 57308 172369 | 2147483647 134505 35 | 2.830 % |
804.97/805.53 c | 134828 | 13871 57308 172369 | 2147483647 134814 35 | 2.830 % |
807.98/808.54 c | 135168 | 13871 57308 172369 | 2147483647 135154 35 | 2.830 % |
810.77/811.39 c | 135541 | 13871 57308 172369 | 2147483647 135527 35 | 2.830 % |
814.27/814.85 c | 135951 | 13871 57308 172369 | 2147483647 135937 35 | 2.830 % |
817.77/818.40 c | 136400 | 13871 57308 172369 | 2147483647 136386 35 | 2.830 % |
821.78/822.32 c | 136896 | 13871 57308 172369 | 2147483647 136882 35 | 2.830 % |
826.47/827.02 c | 137440 | 13871 57308 172369 | 2147483647 137426 35 | 2.830 % |
828.27/828.85 c | 138036 | 13871 57308 172369 | 2147483647 138022 35 | 2.830 % |
834.07/834.66 c | 138691 | 13871 57308 172369 | 2147483647 138677 35 | 2.830 % |
840.07/840.67 c | 139412 | 13871 57308 172369 | 2147483647 139398 35 | 2.830 % |
847.06/847.66 c | 140204 | 13871 57308 172369 | 2147483647 140190 35 | 2.830 % |
853.96/854.58 c | 141075 | 13871 57308 172369 | 2147483647 141061 35 | 2.830 % |
862.25/862.80 c | 142034 | 13871 57308 172369 | 2147483647 142020 35 | 2.830 % |
872.95/873.55 c | 143087 | 13871 57308 172369 | 2147483647 143073 35 | 2.830 % |
882.75/883.31 c | 144245 | 13871 57308 172369 | 2147483647 144231 35 | 2.830 % |
891.63/892.24 c | 145518 | 13871 57308 172369 | 2147483647 145504 35 | 2.830 % |
903.83/904.48 c | 146918 | 13871 57308 172369 | 2147483647 146904 35 | 2.830 % |
916.83/917.45 c | 148458 | 13871 57308 172369 | 2147483647 148444 35 | 2.830 % |
917.72/918.40 c | 148558 | 13871 57308 172369 | 2147483647 148544 35 | 2.830 % |
918.82/919.43 c | 148668 | 13871 57308 172369 | 2147483647 148654 35 | 2.830 % |
920.03/920.61 c | 148790 | 13871 57308 172369 | 2147483647 148776 35 | 2.830 % |
921.22/921.89 c | 148923 | 13871 57308 172369 | 2147483647 148909 35 | 2.830 % |
922.52/923.17 c | 149070 | 13871 57308 172369 | 2147483647 149056 35 | 2.830 % |
924.02/924.66 c | 149230 | 13871 57308 172369 | 2147483647 149216 35 | 2.830 % |
925.22/925.90 c | 149406 | 13871 57308 172369 | 2147483647 149392 35 | 2.830 % |
927.02/927.60 c | 149599 | 13871 57308 172369 | 2147483647 149585 35 | 2.830 % |
928.71/929.33 c | 149812 | 13871 57308 172369 | 2147483647 149798 35 | 2.830 % |
931.12/931.72 c | 150045 | 13871 57308 172369 | 2147483647 150031 35 | 2.830 % |
933.41/934.03 c | 150302 | 13871 57308 172369 | 2147483647 150288 35 | 2.830 % |
936.11/936.74 c | 150583 | 13871 57308 172369 | 2147483647 150569 35 | 2.830 % |
939.01/939.65 c | 150893 | 13871 57308 172369 | 2147483647 150879 35 | 2.830 % |
942.20/942.82 c | 151233 | 13871 57308 172369 | 2147483647 151219 35 | 2.830 % |
945.70/946.38 c | 151606 | 13871 57308 172369 | 2147483647 151592 35 | 2.830 % |
948.20/948.87 c | 152015 | 13871 57308 172369 | 2147483647 152001 35 | 2.830 % |
952.70/953.35 c | 152465 | 13871 57308 172369 | 2147483647 152451 35 | 2.830 % |
957.30/957.94 c | 152960 | 13871 57308 172369 | 2147483647 152946 35 | 2.830 % |
962.30/962.97 c | 153503 | 13871 57308 172369 | 2147483647 153489 35 | 2.830 % |
966.20/966.90 c | 154099 | 13871 57308 172369 | 2147483647 154085 35 | 2.830 % |
972.49/973.13 c | 154755 | 13871 57308 172369 | 2147483647 154741 35 | 2.830 % |
978.39/979.09 c | 155476 | 13871 57308 172369 | 2147483647 155462 35 | 2.830 % |
986.19/986.81 c | 156268 | 13871 57308 172369 | 2147483647 156254 35 | 2.830 % |
994.38/995.03 c | 157139 | 13871 57308 172369 | 2147483647 157125 35 | 2.830 % |
1003.49/1004.19 c | 158097 | 13871 57308 172369 | 2147483647 158083 35 | 2.830 % |
1014.38/1015.01 c | 159150 | 13871 57308 172369 | 2147483647 159136 35 | 2.830 % |
1024.77/1025.48 c | 160309 | 13871 57308 172369 | 2147483647 160295 35 | 2.830 % |
1035.77/1036.43 c | 161582 | 13871 57308 172369 | 2147483647 161568 35 | 2.830 % |
1048.76/1049.47 c | 162982 | 13871 57308 172369 | 2147483647 162968 35 | 2.830 % |
1062.96/1063.67 c | 164522 | 13871 57308 172369 | 2147483647 164508 35 | 2.830 % |
1079.04/1079.72 c | 166217 | 13871 57308 172369 | 2147483647 166203 35 | 2.830 % |
1080.04/1080.70 c | 166318 | 13871 57308 172369 | 2147483647 166304 35 | 2.830 % |
1080.94/1081.69 c | 166428 | 13871 57308 172369 | 2147483647 166414 35 | 2.830 % |
1081.94/1082.65 c | 166549 | 13871 57308 172369 | 2147483647 166535 35 | 2.830 % |
1083.34/1084.04 c | 166682 | 13871 57308 172369 | 2147483647 166668 35 | 2.830 % |
1084.84/1085.53 c | 166829 | 13871 57308 172369 | 2147483647 166815 35 | 2.830 % |
1086.44/1087.15 c | 166990 | 13871 57308 172369 | 2147483647 166976 35 | 2.830 % |
1088.24/1088.92 c | 167167 | 13871 57308 172369 | 2147483647 167153 35 | 2.830 % |
1090.34/1091.00 c | 167361 | 13871 57308 172369 | 2147483647 167347 35 | 2.830 % |
1092.44/1093.18 c | 167573 | 13871 57308 172369 | 2147483647 167559 35 | 2.830 % |
1094.53/1095.29 c | 167806 | 13871 57308 172369 | 2147483647 167792 35 | 2.830 % |
1096.93/1097.70 c | 168062 | 13871 57308 172369 | 2147483647 168048 35 | 2.830 % |
1099.34/1100.02 c | 168343 | 13871 57308 172369 | 2147483647 168329 35 | 2.830 % |
1102.23/1102.91 c | 168652 | 13871 57308 172369 | 2147483647 168638 35 | 2.830 % |
1105.23/1105.91 c | 168993 | 13871 57308 172369 | 2147483647 168979 35 | 2.830 % |
1108.43/1109.14 c | 169365 | 13871 57308 172369 | 2147483647 169351 35 | 2.830 % |
1110.23/1110.94 c | 169774 | 13871 57308 172369 | 2147483647 169760 35 | 2.830 % |
1114.52/1115.28 c | 170224 | 13871 57308 172369 | 2147483647 170210 35 | 2.830 % |
1119.12/1119.83 c | 170718 | 13871 57308 172369 | 2147483647 170704 35 | 2.830 % |
1123.42/1124.16 c | 171260 | 13871 57308 172369 | 2147483647 171246 35 | 2.830 % |
1128.72/1129.44 c | 171857 | 13871 57308 172369 | 2147483647 171843 35 | 2.830 % |
1133.71/1134.45 c | 172513 | 13871 57308 172369 | 2147483647 172499 35 | 2.830 % |
1140.02/1140.78 c | 173234 | 13871 57308 172369 | 2147483647 173220 35 | 2.830 % |
1147.72/1148.48 c | 174026 | 13871 57308 172369 | 2147483647 174012 35 | 2.830 % |
1155.11/1155.89 c | 174898 | 13871 57308 172369 | 2147483647 174884 35 | 2.830 % |
1164.50/1165.28 c | 175857 | 13871 57308 172369 | 2147483647 175843 35 | 2.830 % |
1176.00/1176.78 c | 176911 | 13871 57308 172369 | 2147483647 176897 35 | 2.830 % |
1187.39/1188.20 c | 178069 | 13871 57308 172369 | 2147483647 178055 35 | 2.830 % |
1199.89/1200.66 c | 179345 | 13871 57308 172369 | 2147483647 179331 35 | 2.830 % |
1213.87/1214.63 c | 180746 | 13871 57308 172369 | 2147483647 180732 35 | 2.830 % |
1227.37/1228.17 c | 182287 | 13871 57308 172369 | 2147483647 182273 35 | 2.830 % |
1236.17/1236.91 c | 183982 | 13871 57308 172369 | 2147483647 183968 35 | 2.830 % |
1254.76/1255.55 c | 185845 | 13871 57308 172369 | 2147483647 185831 35 | 2.830 % |
1255.86/1256.62 c | 185945 | 13871 57308 172369 | 2147483647 185931 35 | 2.830 % |
1256.96/1257.76 c | 186055 | 13871 57308 172369 | 2147483647 186041 35 | 2.830 % |
1258.26/1259.09 c | 186177 | 13871 57308 172369 | 2147483647 186163 35 | 2.830 % |
1259.76/1260.52 c | 186311 | 13871 57308 172369 | 2147483647 186297 35 | 2.830 % |
1261.35/1262.11 c | 186458 | 13871 57308 172369 | 2147483647 186444 35 | 2.830 % |
1263.06/1263.83 c | 186619 | 13871 57308 172369 | 2147483647 186605 35 | 2.830 % |
1264.65/1265.44 c | 186795 | 13871 57308 172369 | 2147483647 186781 35 | 2.830 % |
1266.05/1266.82 c | 186989 | 13871 57308 172369 | 2147483647 186975 35 | 2.830 % |
1268.25/1269.08 c | 187203 | 13871 57308 172369 | 2147483647 187189 35 | 2.830 % |
1270.55/1271.37 c | 187436 | 13871 57308 172369 | 2147483647 187422 35 | 2.830 % |
1273.25/1274.09 c | 187692 | 13871 57308 172369 | 2147483647 187678 35 | 2.830 % |
1276.05/1276.86 c | 187973 | 13871 57308 172369 | 2147483647 187959 35 | 2.830 % |
1279.05/1279.85 c | 188283 | 13871 57308 172369 | 2147483647 188269 35 | 2.830 % |
1282.85/1283.60 c | 188622 | 13871 57308 172369 | 2147483647 188608 35 | 2.830 % |
1286.84/1287.63 c | 188994 | 13871 57308 172369 | 2147483647 188980 35 | 2.830 % |
1291.04/1291.88 c | 189404 | 13871 57308 172369 | 2147483647 189390 35 | 2.830 % |
1295.54/1296.32 c | 189853 | 13871 57308 172369 | 2147483647 189839 35 | 2.830 % |
1300.93/1301.78 c | 190346 | 13871 57308 172369 | 2147483647 190332 35 | 2.830 % |
1307.13/1307.95 c | 190888 | 13871 57308 172369 | 2147483647 190874 35 | 2.830 % |
1312.53/1313.32 c | 191484 | 13871 57308 172369 | 2147483647 191470 35 | 2.830 % |
1318.53/1319.32 c | 192139 | 13871 57308 172369 | 2147483647 192125 35 | 2.830 % |
1325.73/1326.53 c | 192860 | 13871 57308 172369 | 2147483647 192846 35 | 2.830 % |
1333.71/1334.53 c | 193654 | 13871 57308 172369 | 2147483647 193640 35 | 2.830 % |
1342.31/1343.20 c | 194527 | 13871 57308 172369 | 2147483647 194513 35 | 2.830 % |
1352.30/1353.13 c | 195486 | 13871 57308 172369 | 2147483647 195472 35 | 2.830 % |
1363.00/1363.82 c | 196539 | 13871 57308 172369 | 2147483647 196525 35 | 2.830 % |
1374.59/1375.45 c | 197698 | 13871 57308 172369 | 2147483647 197684 35 | 2.830 % |
1387.78/1388.65 c | 198971 | 13871 57308 172369 | 2147483647 198957 35 | 2.830 % |
1403.28/1404.11 c | 200372 | 13871 57308 172369 | 2147483647 200358 35 | 2.830 % |
1419.37/1420.25 c | 201913 | 13871 57308 172369 | 2147483647 201899 35 | 2.830 % |
1435.86/1436.72 c | 203607 | 13871 57308 172369 | 2147483647 203593 35 | 2.830 % |
1453.76/1454.69 c | 205470 | 13871 57308 172369 | 2147483647 205456 35 | 2.830 % |
1475.75/1476.65 c | 207520 | 13871 57308 172369 | 2147483647 207506 35 | 2.830 % |
1476.95/1477.87 c | 207620 | 13871 57308 172369 | 2147483647 207606 35 | 2.830 % |
1478.25/1479.11 c | 207731 | 13871 57308 172369 | 2147483647 207717 35 | 2.830 % |
1479.55/1480.48 c | 207852 | 13871 57308 172369 | 2147483647 207838 35 | 2.830 % |
1481.05/1481.97 c | 207986 | 13871 57308 172369 | 2147483647 207972 35 | 2.830 % |
1482.75/1483.63 c | 208132 | 13871 57308 172369 | 2147483647 208118 35 | 2.830 % |
1484.65/1485.50 c | 208293 | 13871 57308 172369 | 2147483647 208279 35 | 2.830 % |
1486.35/1487.26 c | 208470 | 13871 57308 172369 | 2147483647 208456 35 | 2.830 % |
1488.55/1489.48 c | 208664 | 13871 57308 172369 | 2147483647 208650 35 | 2.830 % |
1490.94/1491.88 c | 208876 | 13871 57308 172369 | 2147483647 208862 35 | 2.830 % |
1493.85/1494.77 c | 209111 | 13871 57308 172369 | 2147483647 209097 35 | 2.830 % |
1496.84/1497.77 c | 209367 | 13871 57308 172369 | 2147483647 209353 35 | 2.830 % |
1499.94/1500.87 c | 209648 | 13871 57308 172369 | 2147483647 209634 35 | 2.830 % |
1502.54/1503.44 c | 209958 | 13871 57308 172369 | 2147483647 209944 35 | 2.830 % |
1505.64/1506.58 c | 210298 | 13871 57308 172369 | 2147483647 210284 35 | 2.830 % |
1508.74/1509.60 c | 210671 | 13871 57308 172369 | 2147483647 210657 35 | 2.830 % |
1513.04/1513.94 c | 211081 | 13871 57308 172369 | 2147483647 211067 35 | 2.830 % |
1518.03/1518.94 c | 211530 | 13871 57308 172369 | 2147483647 211516 35 | 2.830 % |
1522.83/1523.79 c | 212024 | 13871 57308 172369 | 2147483647 212010 35 | 2.830 % |
1528.82/1529.78 c | 212566 | 13871 57308 172369 | 2147483647 212552 35 | 2.830 % |
1535.52/1536.45 c | 213163 | 13871 57308 172369 | 2147483647 213149 35 | 2.830 % |
1542.02/1542.94 c | 213819 | 13871 57308 172369 | 2147483647 213805 35 | 2.830 % |
1549.11/1550.02 c | 214541 | 13871 57308 172369 | 2147483647 214527 35 | 2.830 % |
1558.82/1559.71 c | 215333 | 13871 57308 172369 | 2147483647 215319 35 | 2.830 % |
1567.80/1568.74 c | 216206 | 13871 57308 172369 | 2147483647 216192 34 | 2.830 % |
1578.09/1579.06 c | 217164 | 13871 57308 172369 | 2147483647 217150 34 | 2.830 % |
1588.99/1589.99 c | 218217 | 13871 57308 172369 | 2147483647 218203 34 | 2.830 % |
1600.79/1601.76 c | 219377 | 13871 57308 172369 | 2147483647 219363 34 | 2.830 % |
1615.28/1616.21 c | 220651 | 13871 57308 172369 | 2147483647 220637 34 | 2.830 % |
1631.07/1632.00 c | 222052 | 13871 57308 172369 | 2147483647 222038 34 | 2.830 % |
1649.46/1650.45 c | 223592 | 13871 57308 172369 | 2147483647 223578 34 | 2.830 % |
1668.86/1669.85 c | 225286 | 13871 57308 172369 | 2147483647 225272 34 | 2.830 % |
1688.65/1689.62 c | 227149 | 13871 57308 172369 | 2147483647 227135 34 | 2.830 % |
1710.54/1711.60 c | 229200 | 13871 57308 172369 | 2147483647 229186 34 | 2.830 % |
1736.72/1737.75 c | 231453 | 13871 57308 172369 | 2147483647 231439 34 | 2.830 % |
1737.82/1738.88 c | 231554 | 13871 57308 172369 | 2147483647 231540 34 | 2.830 % |
1738.92/1739.93 c | 231665 | 13871 57308 172369 | 2147483647 231651 34 | 2.830 % |
1739.72/1740.74 c | 231787 | 13871 57308 172369 | 2147483647 231773 34 | 2.830 % |
1741.22/1742.23 c | 231921 | 13871 57308 172369 | 2147483647 231907 34 | 2.830 % |
1743.02/1744.07 c | 232070 | 13871 57308 172369 | 2147483647 232056 34 | 2.830 % |
1745.11/1746.13 c | 232232 | 13871 57308 172369 | 2147483647 232218 34 | 2.830 % |
1747.51/1748.57 c | 232408 | 13871 57308 172369 | 2147483647 232394 34 | 2.830 % |
1749.41/1750.47 c | 232601 | 13871 57308 172369 | 2147483647 232587 34 | 2.830 % |
1751.31/1752.36 c | 232814 | 13871 57308 172369 | 2147483647 232800 34 | 2.830 % |
1754.01/1755.02 c | 233049 | 13871 57308 172369 | 2147483647 233035 34 | 2.830 % |
1756.81/1757.85 c | 233306 | 13871 57308 172369 | 2147483647 233292 34 | 2.830 % |
1760.01/1761.07 c | 233587 | 13871 57308 172369 | 2147483647 233573 34 | 2.830 % |
1762.80/1763.84 c | 233897 | 13871 57308 172369 | 2147483647 233883 34 | 2.830 % |
1765.10/1766.19 c | 234236 | 13871 57308 172369 | 2147483647 234222 34 | 2.830 % |
1769.90/1770.97 c | 234608 | 13871 57308 172369 | 2147483647 234594 34 | 2.830 % |
1774.60/1775.64 c | 235018 | 13871 57308 172369 | 2147483647 235004 34 | 2.830 % |
1780.29/1781.31 c | 235467 | 13871 57308 172369 | 2147483647 235453 34 | 2.830 % |
1784.99/1786.06 c | 235960 | 13871 57308 172369 | 2147483647 235946 34 | 2.830 % |
1790.99/1792.06 c | 236503 | 13871 57308 172369 | 2147483647 236489 34 | 2.830 % |
1797.78/1798.84 c | 237099 | 13871 57308 172369 | 2147483647 237085 34 | 2.830 % |
1805.08/1806.16 c | 237755 | 13871 57308 172369 | 2147483647 237741 34 | 2.830 % |
1810.98/1812.07 c | 238475 | 13871 57308 172369 | 2147483647 238461 34 | 2.830 % |
1820.27/1821.36 c | 239267 | 13871 57308 172369 | 2147483647 239253 34 | 2.830 % |
1829.27/1830.35 c | 240139 | 13871 57308 172369 | 2147483647 240125 34 | 2.830 % |
1840.66/1841.73 c | 241098 | 13871 57308 172369 | 2147483647 241084 34 | 2.830 % |
1852.96/1854.05 c | 242151 | 13871 57308 172369 | 2147483647 242137 34 | 2.830 % |
1866.66/1867.76 c | 243310 | 13871 57308 172369 | 2147483647 243296 34 | 2.830 % |
1881.05/1882.14 c | 244584 | 13871 57308 172369 | 2147483647 244570 34 | 2.830 % |
1895.64/1896.70 c | 245985 | 13871 57308 172369 | 2147483647 245971 34 | 2.830 % |
1911.13/1912.22 c | 247526 | 13871 57308 172369 | 2147483647 247512 34 | 2.830 % |
1927.82/1928.94 c | 249222 | 13871 57308 172369 | 2147483647 249208 34 | 2.830 % |
1950.51/1951.68 c | 251086 | 13871 57308 172369 | 2147483647 251072 34 | 2.830 % |
1973.40/1974.59 c | 253137 | 13871 57308 172369 | 2147483647 253123 34 | 2.830 % |
1997.59/1998.77 c | 255390 | 13871 57308 172369 | 2147483647 255376 35 | 2.830 % |
2027.18/2028.34 c | 257868 | 13871 57308 172369 | 2147483647 257854 35 | 2.830 % |
2028.28/2029.49 c | 257969 | 13871 57308 172369 | 2147483647 257955 35 | 2.830 % |
2029.38/2030.60 c | 258079 | 13871 57308 172369 | 2147483647 258065 35 | 2.830 % |
2030.87/2032.02 c | 258200 | 13871 57308 172369 | 2147483647 258186 35 | 2.830 % |
2032.17/2033.36 c | 258333 | 13871 57308 172369 | 2147483647 258319 35 | 2.830 % |
2033.67/2034.90 c | 258479 | 13871 57308 172369 | 2147483647 258465 35 | 2.830 % |
2035.67/2036.86 c | 258639 | 13871 57308 172369 | 2147483647 258625 35 | 2.830 % |
2037.77/2038.97 c | 258816 | 13871 57308 172369 | 2147483647 258802 35 | 2.830 % |
2039.97/2041.16 c | 259009 | 13871 57308 172369 | 2147483647 258995 35 | 2.830 % |
2042.57/2043.75 c | 259222 | 13871 57308 172369 | 2147483647 259208 35 | 2.830 % |
2045.46/2046.68 c | 259456 | 13871 57308 172369 | 2147483647 259442 35 | 2.830 % |
2048.56/2049.74 c | 259712 | 13871 57308 172369 | 2147483647 259698 35 | 2.830 % |
2052.47/2053.68 c | 259994 | 13871 57308 172369 | 2147483647 259980 35 | 2.830 % |
2056.36/2057.58 c | 260303 | 13871 57308 172369 | 2147483647 260289 35 | 2.830 % |
2060.55/2061.78 c | 260642 | 13871 57308 172369 | 2147483647 260628 35 | 2.830 % |
2065.25/2066.49 c | 261014 | 13871 57308 172369 | 2147483647 261000 35 | 2.830 % |
2070.65/2071.85 c | 261423 | 13871 57308 172369 | 2147483647 261409 35 | 2.830 % |
2076.25/2077.45 c | 261873 | 13871 57308 172369 | 2147483647 261859 35 | 2.830 % |
2082.05/2083.28 c | 262367 | 13871 57308 172369 | 2147483647 262353 35 | 2.830 % |
2088.44/2089.61 c | 262910 | 13871 57308 172369 | 2147483647 262896 35 | 2.830 % |
2096.14/2097.34 c | 263506 | 13871 57308 172369 | 2147483647 263492 35 | 2.830 % |
2104.73/2105.97 c | 264161 | 13871 57308 172369 | 2147483647 264147 35 | 2.830 % |
2113.43/2114.61 c | 264881 | 13871 57308 172369 | 2147483647 264867 35 | 2.830 % |
2121.22/2122.46 c | 265673 | 13871 57308 172369 | 2147483647 265659 35 | 2.830 % |
2131.32/2132.55 c | 266544 | 13871 57308 172369 | 2147483647 266530 35 | 2.830 % |
2141.81/2143.01 c | 267503 | 13871 57308 172369 | 2147483647 267489 35 | 2.830 % |
2155.09/2156.30 c | 268556 | 13871 57308 172369 | 2147483647 268542 35 | 2.830 % |
2169.48/2170.74 c | 269714 | 13871 57308 172369 | 2147483647 269700 35 | 2.830 % |
2184.28/2185.57 c | 270988 | 13871 57308 172369 | 2147483647 270974 35 | 2.830 % |
2201.16/2202.47 c | 272390 | 13871 57308 172369 | 2147483647 272376 34 | 2.830 % |
2214.35/2215.64 c | 273930 | 13871 57308 172369 | 2147483647 273916 34 | 2.830 % |
2233.95/2235.21 c | 275624 | 13871 57308 172369 | 2147483647 275610 35 | 2.830 % |
2257.73/2259.05 c | 277488 | 13871 57308 172369 | 2147483647 277474 35 | 2.830 % |
2282.73/2284.06 c | 279537 | 13871 57308 172369 | 2147483647 279523 35 | 2.830 % |
2311.22/2312.58 c | 281790 | 13871 57308 172369 | 2147483647 281776 35 | 2.830 % |
2338.90/2340.23 c | 284269 | 13871 57308 172369 | 2147483647 284255 35 | 2.830 % |
2368.39/2369.70 c | 286995 | 13871 57308 172369 | 2147483647 286981 35 | 2.830 % |
2369.89/2371.29 c | 287096 | 13871 57308 172369 | 2147483647 287082 35 | 2.830 % |
2370.99/2372.31 c | 287207 | 13871 57308 172369 | 2147483647 287193 35 | 2.830 % |
2372.49/2373.87 c | 287328 | 13871 57308 172369 | 2147483647 287314 35 | 2.830 % |
2374.08/2375.41 c | 287462 | 13871 57308 172369 | 2147483647 287448 35 | 2.830 % |
2375.78/2377.19 c | 287609 | 13871 57308 172369 | 2147483647 287595 35 | 2.830 % |
2377.58/2378.93 c | 287769 | 13871 57308 172369 | 2147483647 287755 35 | 2.830 % |
2379.88/2381.25 c | 287946 | 13871 57308 172369 | 2147483647 287932 35 | 2.830 % |
2383.08/2384.45 c | 288139 | 13871 57308 172369 | 2147483647 288125 35 | 2.830 % |
2385.87/2387.27 c | 288352 | 13871 57308 172369 | 2147483647 288338 35 | 2.830 % |
2388.67/2390.08 c | 288587 | 13871 57308 172369 | 2147483647 288573 35 | 2.830 % |
2392.28/2393.64 c | 288843 | 13871 57308 172369 | 2147483647 288829 35 | 2.830 % |
2394.97/2396.38 c | 289124 | 13871 57308 172369 | 2147483647 289110 35 | 2.830 % |
2399.17/2400.52 c | 289434 | 13871 57308 172369 | 2147483647 289420 35 | 2.830 % |
2403.47/2404.89 c | 289773 | 13871 57308 172369 | 2147483647 289759 35 | 2.830 % |
2407.97/2409.34 c | 290146 | 13871 57308 172369 | 2147483647 290132 35 | 2.830 % |
2413.26/2414.69 c | 290556 | 13871 57308 172369 | 2147483647 290542 35 | 2.830 % |
2420.65/2422.09 c | 291007 | 13871 57308 172369 | 2147483647 290993 35 | 2.830 % |
2428.15/2429.52 c | 291501 | 13871 57308 172369 | 2147483647 291487 35 | 2.830 % |
2434.55/2435.93 c | 292044 | 13871 57308 172369 | 2147483647 292030 35 | 2.830 % |
2442.55/2443.94 c | 292641 | 13871 57308 172369 | 2147483647 292627 35 | 2.830 % |
2451.55/2452.99 c | 293297 | 13871 57308 172369 | 2147483647 293283 35 | 2.830 % |
2461.34/2462.70 c | 294017 | 13871 57308 172369 | 2147483647 294003 35 | 2.830 % |
2472.23/2473.62 c | 294811 | 13871 57308 172369 | 2147483647 294797 35 | 2.830 % |
2482.83/2484.28 c | 295682 | 13871 57308 172369 | 2147483647 295668 35 | 2.830 % |
2492.02/2493.43 c | 296640 | 13871 57308 172369 | 2147483647 296626 35 | 2.830 % |
2505.02/2506.47 c | 297693 | 13871 57308 172369 | 2147483647 297679 35 | 2.830 % |
2519.81/2521.29 c | 298851 | 13871 57308 172369 | 2147483647 298837 35 | 2.830 % |
2536.60/2538.07 c | 300125 | 13871 57308 172369 | 2147483647 300111 35 | 2.830 % |
2553.20/2554.69 c | 301526 | 13871 57308 172369 | 2147483647 301512 35 | 2.830 % |
2573.89/2575.34 c | 303068 | 13871 57308 172369 | 2147483647 303054 35 | 2.830 % |
2597.08/2598.58 c | 304763 | 13871 57308 172369 | 2147483647 304749 35 | 2.830 % |
2621.47/2622.99 c | 306628 | 13871 57308 172369 | 2147483647 306614 35 | 2.830 % |
2649.05/2650.53 c | 308677 | 13871 57308 172369 | 2147483647 308663 35 | 2.830 % |
2678.14/2679.65 c | 310931 | 13871 57308 172369 | 2147483647 310917 35 | 2.830 % |
2711.62/2713.11 c | 313409 | 13871 57308 172369 | 2147483647 313395 35 | 2.830 % |
2747.28/2748.82 c | 316134 | 13871 57308 172369 | 2147483647 316120 35 | 2.830 % |
2785.56/2787.17 c | 319131 | 13871 57308 172369 | 2147483647 319117 35 | 2.830 % |
2786.76/2788.33 c | 319231 | 13871 57308 172369 | 2147483647 319217 35 | 2.830 % |
2788.26/2789.88 c | 319341 | 13871 57308 172369 | 2147483647 319327 35 | 2.830 % |
2789.76/2791.37 c | 319462 | 13871 57308 172369 | 2147483647 319448 35 | 2.830 % |
2791.46/2793.05 c | 319596 | 13871 57308 172369 | 2147483647 319582 35 | 2.830 % |
2793.66/2795.22 c | 319742 | 13871 57308 172369 | 2147483647 319728 35 | 2.830 % |
2795.96/2797.54 c | 319902 | 13871 57308 172369 | 2147483647 319888 35 | 2.830 % |
2798.06/2799.61 c | 320078 | 13871 57308 172369 | 2147483647 320064 35 | 2.830 % |
2800.96/2802.50 c | 320272 | 13871 57308 172369 | 2147483647 320258 35 | 2.830 % |
2804.16/2805.77 c | 320484 | 13871 57308 172369 | 2147483647 320470 35 | 2.830 % |
2807.45/2809.00 c | 320718 | 13871 57308 172369 | 2147483647 320704 35 | 2.830 % |
2810.95/2812.55 c | 320974 | 13871 57308 172369 | 2147483647 320960 35 | 2.830 % |
2814.95/2816.50 c | 321256 | 13871 57308 172369 | 2147483647 321242 35 | 2.830 % |
2819.15/2820.79 c | 321566 | 13871 57308 172369 | 2147483647 321552 35 | 2.830 % |
2823.94/2825.59 c | 321905 | 13871 57308 172369 | 2147483647 321891 35 | 2.830 % |
2829.34/2830.96 c | 322277 | 13871 57308 172369 | 2147483647 322263 35 | 2.830 % |
2834.84/2836.44 c | 322687 | 13871 57308 172369 | 2147483647 322673 35 | 2.830 % |
2840.74/2842.36 c | 323137 | 13871 57308 172369 | 2147483647 323123 35 | 2.830 % |
2847.53/2849.10 c | 323631 | 13871 57308 172369 | 2147483647 323617 35 | 2.830 % |
2854.93/2856.50 c | 324174 | 13871 57308 172369 | 2147483647 324160 35 | 2.830 % |
2862.83/2864.43 c | 324772 | 13871 57308 172369 | 2147483647 324758 35 | 2.830 % |
2872.52/2874.20 c | 325428 | 13871 57308 172369 | 2147483647 325414 35 | 2.830 % |
2882.71/2884.31 c | 326148 | 13871 57308 172369 | 2147483647 326134 35 | 2.830 % |
2893.01/2894.61 c | 326940 | 13871 57308 172369 | 2147483647 326926 35 | 2.830 % |
2901.50/2903.10 c | 327811 | 13871 57308 172369 | 2147483647 327797 35 | 2.830 % |
2912.99/2914.67 c | 328769 | 13871 57308 172369 | 2147483647 328755 35 | 2.830 % |
2928.98/2930.66 c | 329822 | 13871 57308 172369 | 2147483647 329808 35 | 2.830 % |
2945.99/2947.68 c | 330980 | 13871 57308 172369 | 2147483647 330966 35 | 2.830 % |
2961.43/2963.16 c | 332254 | 13871 57308 172369 | 2147483647 332240 35 | 2.830 % |
2981.12/2982.84 c | 333654 | 13871 57308 172369 | 2147483647 333640 35 | 2.830 % |
3003.30/3005.06 c | 335196 | 13871 57308 172369 | 2147483647 335182 35 | 2.830 % |
3027.89/3029.63 c | 336890 | 13871 57308 172369 | 2147483647 336876 35 | 2.830 % |
3052.98/3054.73 c | 338755 | 13871 57308 172369 | 2147483647 338741 35 | 2.830 % |
3080.26/3082.00 c | 340805 | 13871 57308 172369 | 2147483647 340791 35 | 2.830 % |
3112.45/3114.27 c | 343059 | 13871 57308 172369 | 2147483647 343045 35 | 2.830 % |
3148.72/3150.51 c | 345539 | 13871 57308 172369 | 2147483647 345525 35 | 2.830 % |
3189.71/3191.54 c | 348265 | 13871 57308 172369 | 2147483647 348251 35 | 2.830 % |
3232.68/3234.52 c | 351262 | 13871 57308 172369 | 2147483647 351248 35 | 2.830 % |
3279.06/3280.99 c | 354558 | 13871 57308 172369 | 2147483647 354544 35 | 2.830 % |
3280.76/3282.60 c | 354659 | 13871 57308 172369 | 2147483647 354645 35 | 2.830 % |
3282.46/3284.33 c | 354769 | 13871 57308 172369 | 2147483647 354755 35 | 2.830 % |
3284.26/3286.13 c | 354890 | 13871 57308 172369 | 2147483647 354876 35 | 2.830 % |
3286.26/3288.11 c | 355023 | 13871 57308 172369 | 2147483647 355009 35 | 2.830 % |
3288.26/3290.20 c | 355170 | 13871 57308 172369 | 2147483647 355156 35 | 2.830 % |
3290.66/3292.55 c | 355331 | 13871 57308 172369 | 2147483647 355317 35 | 2.830 % |
3293.05/3294.94 c | 355508 | 13871 57308 172369 | 2147483647 355494 35 | 2.830 % |
3295.96/3297.88 c | 355701 | 13871 57308 172369 | 2147483647 355687 35 | 2.830 % |
3299.35/3301.21 c | 355914 | 13871 57308 172369 | 2147483647 355900 35 | 2.830 % |
3302.65/3304.52 c | 356147 | 13871 57308 172369 | 2147483647 356133 35 | 2.830 % |
3306.55/3308.49 c | 356404 | 13871 57308 172369 | 2147483647 356390 35 | 2.830 % |
3310.75/3312.60 c | 356685 | 13871 57308 172369 | 2147483647 356671 35 | 2.830 % |
3315.75/3317.69 c | 356994 | 13871 57308 172369 | 2147483647 356980 35 | 2.830 % |
3320.64/3322.52 c | 357333 | 13871 57308 172369 | 2147483647 357319 35 | 2.830 % |
3326.23/3328.15 c | 357707 | 13871 57308 172369 | 2147483647 357693 35 | 2.830 % |
3332.33/3334.26 c | 358116 | 13871 57308 172369 | 2147483647 358102 35 | 2.830 % |
3338.73/3340.66 c | 358566 | 13871 57308 172369 | 2147483647 358552 35 | 2.830 % |
3347.03/3348.90 c | 359059 | 13871 57308 172369 | 2147483647 359045 35 | 2.830 % |
3355.42/3357.36 c | 359602 | 13871 57308 172369 | 2147483647 359588 35 | 2.830 % |
3364.22/3366.10 c | 360200 | 13871 57308 172369 | 2147483647 360186 35 | 2.830 % |
3373.71/3375.61 c | 360856 | 13871 57308 172369 | 2147483647 360842 35 | 2.830 % |
3384.30/3386.29 c | 361577 | 13871 57308 172369 | 2147483647 361563 35 | 2.830 % |
3396.21/3398.16 c | 362369 | 13871 57308 172369 | 2147483647 362355 35 | 2.830 % |
3409.59/3411.58 c | 363241 | 13871 57308 172369 | 2147483647 363227 35 | 2.830 % |
3424.29/3426.24 c | 364199 | 13871 57308 172369 | 2147483647 364185 35 | 2.830 % |
3439.98/3441.95 c | 365252 | 13871 57308 172369 | 2147483647 365238 35 | 2.830 % |
3456.07/3458.09 c | 366411 | 13871 57308 172369 | 2147483647 366397 35 | 2.830 % |
3474.96/3476.99 c | 367684 | 13871 57308 172369 | 2147483647 367670 35 | 2.830 % |
3496.85/3498.81 c | 369084 | 13871 57308 172369 | 2147483647 369070 35 | 2.830 % |
3523.24/3525.28 c | 370624 | 13871 57308 172369 | 2147483647 370610 35 | 2.830 % |
3549.42/3551.48 c | 372318 | 13871 57308 172369 | 2147483647 372304 35 | 2.830 % |
3578.01/3580.06 c | 374181 | 13871 57308 172369 | 2147483647 374167 35 | 2.830 % |
3608.20/3610.21 c | 376231 | 13871 57308 172369 | 2147483647 376217 35 | 2.830 % |
3639.28/3641.37 c | 378485 | 13871 57308 172369 | 2147483647 378471 35 | 2.830 % |
3675.57/3677.68 c | 380964 | 13871 57308 172369 | 2147483647 380950 35 | 2.830 % |
3720.25/3722.30 c | 383690 | 13871 57308 172369 | 2147483647 383676 35 | 2.830 % |
3759.43/3761.50 c | 386687 | 13871 57308 172369 | 2147483647 386673 35 | 2.830 % |
3815.30/3817.42 c | 389983 | 13871 57308 172369 | 2147483647 389969 35 | 2.830 % |
3857.68/3859.85 c | 393608 | 13871 57308 172369 | 2147483647 393594 35 | 2.830 % |
3859.27/3861.45 c | 393710 | 13871 57308 172369 | 2147483647 393696 35 | 2.830 % |
3861.07/3863.25 c | 393820 | 13871 57308 172369 | 2147483647 393806 35 | 2.830 % |
3862.87/3865.01 c | 393943 | 13871 57308 172369 | 2147483647 393929 35 | 2.830 % |
3864.57/3866.71 c | 394076 | 13871 57308 172369 | 2147483647 394062 35 | 2.830 % |
3867.07/3869.25 c | 394222 | 13871 57308 172369 | 2147483647 394208 35 | 2.830 % |
3868.57/3870.75 c | 394382 | 13871 57308 172369 | 2147483647 394368 35 | 2.830 % |
3870.57/3872.77 c | 394558 | 13871 57308 172369 | 2147483647 394544 35 | 2.830 % |
3874.27/3876.41 c | 394753 | 13871 57308 172369 | 2147483647 394739 35 | 2.830 % |
3877.26/3879.46 c | 394965 | 13871 57308 172369 | 2147483647 394951 35 | 2.830 % |
3881.46/3883.65 c | 395198 | 13871 57308 172369 | 2147483647 395184 35 | 2.830 % |
3885.36/3887.57 c | 395455 | 13871 57308 172369 | 2147483647 395441 35 | 2.830 % |
3888.86/3891.09 c | 395736 | 13871 57308 172369 | 2147483647 395722 35 | 2.830 % |
3893.76/3895.92 c | 396046 | 13871 57308 172369 | 2147483647 396032 35 | 2.830 % |
3899.16/3901.40 c | 396387 | 13871 57308 172369 | 2147483647 396373 35 | 2.830 % |
3905.75/3907.90 c | 396760 | 13871 57308 172369 | 2147483647 396746 35 | 2.830 % |
3911.45/3913.69 c | 397169 | 13871 57308 172369 | 2147483647 397155 35 | 2.830 % |
3919.45/3921.63 c | 397618 | 13871 57308 172369 | 2147483647 397604 35 | 2.830 % |
3926.64/3928.83 c | 398111 | 13871 57308 172369 | 2147483647 398097 35 | 2.830 % |
3936.54/3938.76 c | 398653 | 13871 57308 172369 | 2147483647 398639 35 | 2.830 % |
3947.13/3949.36 c | 399249 | 13871 57308 172369 | 2147483647 399235 35 | 2.830 % |
3957.43/3959.66 c | 399905 | 13871 57308 172369 | 2147483647 399891 35 | 2.830 % |
3969.12/3971.35 c | 400627 | 13871 57308 172369 | 2147483647 400613 35 | 2.830 % |
3983.52/3985.79 c | 401420 | 13871 57308 172369 | 2147483647 401406 35 | 2.830 % |
3998.41/4000.69 c | 402291 | 13871 57308 172369 | 2147483647 402277 35 | 2.830 % |
4012.00/4014.26 c | 403249 | 13871 57308 172369 | 2147483647 403235 35 | 2.830 % |
4029.20/4031.45 c | 404302 | 13871 57308 172369 | 2147483647 404288 35 | 2.830 % |
4047.78/4050.08 c | 405461 | 13871 57308 172369 | 2147483647 405447 35 | 2.830 % |
4066.77/4069.03 c | 406735 | 13871 57308 172369 | 2147483647 406721 35 | 2.830 % |
4086.76/4089.00 c | 408135 | 13871 57308 172369 | 2147483647 408121 35 | 2.830 % |
4110.76/4113.03 c | 409675 | 13871 57308 172369 | 2147483647 409661 35 | 2.830 % |
4138.15/4140.43 c | 411369 | 13871 57308 172369 | 2147483647 411355 35 | 2.830 % |
4167.33/4169.64 c | 413233 | 13871 57308 172369 | 2147483647 413219 35 | 2.830 % |
4197.02/4199.30 c | 415282 | 13871 57308 172369 | 2147483647 415268 35 | 2.830 % |
4232.07/4234.40 c | 417535 | 13871 57308 172369 | 2147483647 417521 35 | 2.830 % |
4271.45/4273.84 c | 420014 | 13871 57308 172369 | 2147483647 420000 35 | 2.830 % |
4315.53/4317.92 c | 422741 | 13871 57308 172369 | 2147483647 422727 35 | 2.830 % |
4356.11/4358.57 c | 425738 | 13871 57308 172369 | 2147483647 425724 35 | 2.830 % |
4409.69/4412.17 c | 429035 | 13871 57308 172369 | 2147483647 429021 35 | 2.830 % |
4471.26/4473.71 c | 432660 | 13871 57308 172369 | 2147483647 432646 35 | 2.830 % |
4538.83/4541.38 c | 436649 | 13871 57308 172369 | 2147483647 436635 35 | 2.830 % |
4540.23/4542.73 c | 436750 | 13871 57308 172369 | 2147483647 436736 35 | 2.830 % |
4542.43/4544.95 c | 436861 | 13871 57308 172369 | 2147483647 436847 35 | 2.830 % |
4545.13/4547.60 c | 436984 | 13871 57308 172369 | 2147483647 436970 35 | 2.830 % |
4547.52/4550.06 c | 437118 | 13871 57308 172369 | 2147483647 437104 35 | 2.830 % |
4550.02/4552.60 c | 437265 | 13871 57308 172369 | 2147483647 437251 35 | 2.830 % |
4551.62/4554.19 c | 437425 | 13871 57308 172369 | 2147483647 437411 35 | 2.830 % |
4554.42/4556.93 c | 437602 | 13871 57308 172369 | 2147483647 437588 35 | 2.830 % |
4557.72/4560.26 c | 437797 | 13871 57308 172369 | 2147483647 437783 35 | 2.830 % |
4561.22/4563.74 c | 438009 | 13871 57308 172369 | 2147483647 437995 35 | 2.830 % |
4565.72/4568.23 c | 438242 | 13871 57308 172369 | 2147483647 438228 35 | 2.830 % |
4570.51/4573.07 c | 438499 | 13871 57308 172369 | 2147483647 438485 35 | 2.830 % |
4575.31/4577.83 c | 438780 | 13871 57308 172369 | 2147483647 438766 35 | 2.830 % |
4580.70/4583.20 c | 439090 | 13871 57308 172369 | 2147483647 439076 35 | 2.830 % |
4585.70/4588.21 c | 439429 | 13871 57308 172369 | 2147483647 439415 35 | 2.830 % |
4592.20/4594.73 c | 439802 | 13871 57308 172369 | 2147483647 439788 35 | 2.830 % |
4598.00/4600.58 c | 440212 | 13871 57308 172369 | 2147483647 440198 35 | 2.830 % |
4605.80/4608.37 c | 440661 | 13871 57308 172369 | 2147483647 440647 35 | 2.830 % |
4614.49/4617.05 c | 441155 | 13871 57308 172369 | 2147483647 441141 35 | 2.830 % |
4624.18/4626.78 c | 441699 | 13871 57308 172369 | 2147483647 441685 35 | 2.830 % |
4635.08/4637.68 c | 442295 | 13871 57308 172369 | 2147483647 442281 35 | 2.830 % |
4646.47/4649.09 c | 442950 | 13871 57308 172369 | 2147483647 442936 35 | 2.830 % |
4657.66/4660.29 c | 443671 | 13871 57308 172369 | 2147483647 443657 35 | 2.830 % |
4669.96/4672.55 c | 444463 | 13871 57308 172369 | 2147483647 444449 35 | 2.830 % |
4683.96/4686.50 c | 445334 | 13871 57308 172369 | 2147483647 445320 35 | 2.830 % |
4701.44/4704.02 c | 446292 | 13871 57308 172369 | 2147483647 446278 35 | 2.830 % |
4718.23/4720.83 c | 447345 | 13871 57308 172369 | 2147483647 447331 35 | 2.830 % |
4736.03/4738.66 c | 448503 | 13871 57308 172369 | 2147483647 448489 35 | 2.830 % |
4758.51/4761.13 c | 449776 | 13871 57308 172369 | 2147483647 449762 35 | 2.830 % |
4783.70/4786.30 c | 451176 | 13871 57308 172369 | 2147483647 451162 35 | 2.830 % |
4807.09/4809.71 c | 452717 | 13871 57308 172369 | 2147483647 452703 35 | 2.830 % |
4833.79/4836.47 c | 454412 | 13871 57308 172369 | 2147483647 454398 35 | 2.830 % |
4866.57/4869.28 c | 456276 | 13871 57308 172369 | 2147483647 456262 35 | 2.830 % |
4898.35/4901.00 c | 458325 | 13871 57308 172369 | 2147483647 458311 35 | 2.830 % |
4933.54/4936.26 c | 460578 | 13871 57308 172369 | 2147483647 460564 35 | 2.830 % |
4977.12/4979.85 c | 463057 | 13871 57308 172369 | 2147483647 463043 35 | 2.830 % |
5025.50/5028.25 c | 465783 | 13871 57308 172369 | 2147483647 465769 35 | 2.830 % |
5077.96/5080.77 c | 468781 | 13871 57308 172369 | 2147483647 468767 35 | 2.830 % |
5134.63/5137.40 c | 472078 | 13871 57308 172369 | 2147483647 472064 35 | 2.830 % |
5202.20/5205.07 c | 475705 | 13871 57308 172369 | 2147483647 475691 35 | 2.830 % |
5266.76/5269.61 c | 479692 | 13871 57308 172369 | 2147483647 479678 35 | 2.830 % |
5350.22/5353.18 c | 484078 | 13871 57308 172369 | 479986 435857 35 | 2.830 % |
5352.42/5355.33 c | 484179 | 13871 57308 172369 | 479986 435958 35 | 2.830 % |
5354.52/5357.45 c | 484290 | 13871 57308 172369 | 479986 436069 35 | 2.830 % |
5356.82/5359.73 c | 484411 | 13871 57308 172369 | 479986 436190 35 | 2.830 % |
5359.22/5362.15 c | 484544 | 13871 57308 172369 | 479986 436323 35 | 2.830 % |
5362.02/5364.90 c | 484691 | 13871 57308 172369 | 479986 436470 35 | 2.830 % |
5365.02/5367.93 c | 484851 | 13871 57308 172369 | 479986 436630 35 | 2.830 % |
5368.01/5370.96 c | 485027 | 13871 57308 172369 | 479986 436806 35 | 2.830 % |
5370.81/5373.79 c | 485220 | 13871 57308 172369 | 479986 436999 35 | 2.830 % |
5374.71/5377.67 c | 485433 | 13871 57308 172369 | 479986 437212 35 | 2.830 % |
5378.51/5381.47 c | 485666 | 13871 57308 172369 | 479986 437445 35 | 2.830 % |
5383.11/5386.10 c | 485922 | 13871 57308 172369 | 479986 437701 35 | 2.830 % |
5387.90/5390.87 c | 486204 | 13871 57308 172369 | 479986 437983 35 | 2.830 % |
5392.90/5395.88 c | 486514 | 13871 57308 172369 | 479986 438293 35 | 2.830 % |
5398.60/5401.52 c | 486855 | 13871 57308 172369 | 479986 438634 35 | 2.830 % |
5405.39/5408.34 c | 487227 | 13871 57308 172369 | 479986 439006 35 | 2.830 % |
5412.39/5415.39 c | 487637 | 13871 57308 172369 | 479986 439416 35 | 2.830 % |
5420.09/5423.07 c | 488087 | 13871 57308 172369 | 479986 439866 35 | 2.830 % |
5428.68/5431.65 c | 488580 | 13871 57308 172369 | 479986 440359 35 | 2.830 % |
5438.77/5441.71 c | 489123 | 13871 57308 172369 | 479986 440902 35 | 2.830 % |
5449.36/5452.39 c | 489720 | 13871 57308 172369 | 479986 441499 35 | 2.830 % |
5460.16/5463.12 c | 490376 | 13871 57308 172369 | 2147483647 442155 35 | 2.830 % |
5473.05/5476.03 c | 491096 | 13871 57308 172369 | 2147483647 442875 35 | 2.830 % |
5487.14/5490.12 c | 491888 | 13871 57308 172369 | 2147483647 443667 35 | 2.830 % |
5501.13/5504.17 c | 492762 | 13871 57308 172369 | 2147483647 444541 35 | 2.830 % |
5517.93/5520.99 c | 493721 | 13871 57308 172369 | 2147483647 445500 35 | 2.830 % |
5535.11/5538.15 c | 494775 | 13871 57308 172369 | 2147483647 446554 35 | 2.830 % |
5553.11/5556.14 c | 495933 | 13871 57308 172369 | 2147483647 447712 35 | 2.830 % |
5571.70/5574.77 c | 497206 | 13871 57308 172369 | 2147483647 448985 35 | 2.830 % |
5598.19/5601.23 c | 498608 | 13871 57308 172369 | 2147483647 450387 35 | 2.830 % |
5626.68/5629.78 c | 500150 | 13871 57308 172369 | 2147483647 451929 35 | 2.830 % |
5657.66/5660.72 c | 501844 | 13871 57308 172369 | 2147483647 453623 35 | 2.830 % |
5690.35/5693.42 c | 503708 | 13871 57308 172369 | 2147483647 455487 35 | 2.830 % |
5727.33/5730.49 c | 505758 | 13871 57308 172369 | 2147483647 457537 35 | 2.830 % |
5766.51/5769.70 c | 508012 | 13871 57308 172369 | 2147483647 459791 35 | 2.830 % |
5812.39/5815.57 c | 510490 | 13871 57308 172369 | 2147483647 462269 35 | 2.830 % |
5859.06/5862.21 c | 513215 | 13871 57308 172369 | 2147483647 464994 35 | 2.830 % |
5909.74/5912.98 c | 516214 | 13871 57308 172369 | 2147483647 467993 35 | 2.830 % |
5969.61/5972.87 c | 519510 | 13871 57308 172369 | 2147483647 471289 35 | 2.830 % |
6036.68/6039.94 c | 523136 | 13871 57308 172369 | 2147483647 474915 35 | 2.830 % |
6103.65/6106.96 c | 527123 | 13871 57308 172369 | 2147483647 478902 35 | 2.830 % |
6180.91/6184.26 c | 531508 | 13871 57308 172369 | 2147483647 483287 34 | 2.830 % |
6269.27/6272.64 c | 536331 | 13871 57308 172369 | 2147483647 488110 34 | 2.830 % |
6271.07/6274.42 c | 536432 | 13871 57308 172369 | 2147483647 488211 34 | 2.830 % |
6273.17/6276.56 c | 536542 | 13871 57308 172369 | 2147483647 488321 34 | 2.830 % |
6275.47/6278.81 c | 536663 | 13871 57308 172369 | 2147483647 488442 34 | 2.830 % |
6278.16/6281.57 c | 536796 | 13871 57308 172369 | 2147483647 488575 34 | 2.830 % |
6280.97/6284.36 c | 536942 | 13871 57308 172369 | 2147483647 488721 34 | 2.830 % |
6284.16/6287.56 c | 537103 | 13871 57308 172369 | 2147483647 488882 34 | 2.830 % |
6288.25/6291.64 c | 537279 | 13871 57308 172369 | 2147483647 489058 34 | 2.830 % |
6291.95/6295.38 c | 537473 | 13871 57308 172369 | 2147483647 489252 34 | 2.830 % |
6295.54/6298.95 c | 537685 | 13871 57308 172369 | 2147483647 489464 34 | 2.830 % |
6299.44/6302.82 c | 537921 | 13871 57308 172369 | 2147483647 489700 34 | 2.830 % |
6302.34/6305.71 c | 538177 | 13871 57308 172369 | 2147483647 489956 34 | 2.830 % |
6307.94/6311.30 c | 538459 | 13871 57308 172369 | 2147483647 490238 34 | 2.830 % |
6313.34/6316.75 c | 538769 | 13871 57308 172369 | 2147483647 490548 34 | 2.830 % |
6319.14/6322.52 c | 539108 | 13871 57308 172369 | 2147483647 490887 34 | 2.830 % |
6326.04/6329.50 c | 539480 | 13871 57308 172369 | 2147483647 491259 34 | 2.830 % |
6333.93/6337.33 c | 539889 | 13871 57308 172369 | 2147483647 491668 34 | 2.830 % |
6342.32/6345.72 c | 540339 | 13871 57308 172369 | 491779 492118 34 | 2.830 % |
6352.43/6355.88 c | 540833 | 13871 57308 172369 | 491779 492612 34 | 2.830 % |
6366.92/6370.38 c | 541376 | 13871 57308 172369 | 491779 440483 34 | 2.830 % |
6376.62/6380.09 c | 541972 | 13871 57308 172369 | 491779 441079 34 | 2.830 % |
6387.10/6390.54 c | 542628 | 13871 57308 172369 | 491779 441735 34 | 2.830 % |
6399.10/6402.53 c | 543348 | 13871 57308 172369 | 491779 442455 34 | 2.830 % |
6412.09/6415.59 c | 544140 | 13871 57308 172369 | 491779 443247 34 | 2.830 % |
6424.07/6427.58 c | 545014 | 13871 57308 172369 | 491779 444121 34 | 2.830 % |
6441.57/6445.09 c | 545973 | 13871 57308 172369 | 491779 445080 34 | 2.830 % |
6459.46/6462.98 c | 547027 | 13871 57308 172369 | 491779 446134 34 | 2.830 % |
6480.84/6484.33 c | 548185 | 13871 57308 172369 | 491779 447292 34 | 2.830 % |
6505.93/6509.40 c | 549459 | 13871 57308 172369 | 491779 448566 34 | 2.830 % |
6531.22/6534.71 c | 550859 | 13871 57308 172369 | 2147483647 449966 34 | 2.830 % |
6559.30/6562.86 c | 552400 | 13871 57308 172369 | 2147483647 451507 34 | 2.830 % |
6591.29/6594.88 c | 554096 | 13871 57308 172369 | 2147483647 453203 34 | 2.830 % |
6629.87/6633.41 c | 555959 | 13871 57308 172369 | 2147483647 455066 34 | 2.830 % |
6664.45/6668.06 c | 558008 | 13871 57308 172369 | 2147483647 457115 34 | 2.830 % |
6708.43/6712.07 c | 560261 | 13871 57308 172369 | 2147483647 459368 34 | 2.830 % |
6750.60/6754.20 c | 562739 | 13871 57308 172369 | 2147483647 461846 34 | 2.830 % |
6796.99/6800.61 c | 565465 | 13871 57308 172369 | 2147483647 464572 34 | 2.830 % |
6848.47/6852.10 c | 568462 | 13871 57308 172369 | 2147483647 467569 34 | 2.830 % |
6905.24/6908.96 c | 571760 | 13871 57308 172369 | 2147483647 470867 34 | 2.830 % |
6958.92/6962.63 c | 575385 | 13871 57308 172369 | 2147483647 474492 34 | 2.830 % |
7027.68/7031.46 c | 579373 | 13871 57308 172369 | 2147483647 478480 34 | 2.830 % |
7110.11/7113.97 c | 583759 | 13871 57308 172369 | 479108 426364 34 | 2.830 % |
7187.38/7191.22 c | 588583 | 13871 57308 172369 | 479108 431188 34 | 2.830 % |
7268.34/7272.21 c | 593888 | 13871 57308 172369 | 2147483647 436493 34 | 2.830 % |
7270.04/7273.90 c | 593989 | 13871 57308 172369 | 2147483647 436594 34 | 2.830 % |
7272.04/7275.93 c | 594100 | 13871 57308 172369 | 2147483647 436705 34 | 2.830 % |
7274.43/7278.34 c | 594222 | 13871 57308 172369 | 2147483647 436827 34 | 2.830 % |
7276.93/7280.88 c | 594355 | 13871 57308 172369 | 2147483647 436960 34 | 2.830 % |
7279.13/7283.10 c | 594502 | 13871 57308 172369 | 2147483647 437107 34 | 2.830 % |
7282.43/7286.35 c | 594662 | 13871 57308 172369 | 2147483647 437267 34 | 2.830 % |
7285.42/7289.34 c | 594838 | 13871 57308 172369 | 2147483647 437443 34 | 2.830 % |
7288.62/7292.59 c | 595031 | 13871 57308 172369 | 2147483647 437636 34 | 2.830 % |
7292.52/7296.45 c | 595243 | 13871 57308 172369 | 2147483647 437848 34 | 2.830 % |
7296.12/7300.04 c | 595476 | 13871 57308 172369 | 2147483647 438081 34 | 2.830 % |
7300.61/7304.56 c | 595734 | 13871 57308 172369 | 2147483647 438339 34 | 2.830 % |
7306.01/7309.96 c | 596016 | 13871 57308 172369 | 2147483647 438621 34 | 2.830 % |
7311.91/7315.83 c | 596325 | 13871 57308 172369 | 2147483647 438930 34 | 2.830 % |
7318.71/7322.61 c | 596665 | 13871 57308 172369 | 2147483647 439270 34 | 2.830 % |
7325.00/7328.96 c | 597038 | 13871 57308 172369 | 2147483647 439643 34 | 2.830 % |
7332.90/7336.81 c | 597447 | 13871 57308 172369 | 2147483647 440052 34 | 2.830 % |
7341.39/7345.38 c | 597897 | 13871 57308 172369 | 2147483647 440502 34 | 2.830 % |
7349.89/7353.84 c | 598390 | 13871 57308 172369 | 2147483647 440995 34 | 2.830 % |
7358.69/7362.67 c | 598933 | 13871 57308 172369 | 2147483647 441538 34 | 2.830 % |
7368.78/7372.74 c | 599529 | 13871 57308 172369 | 2147483647 442134 34 | 2.830 % |
7380.17/7384.11 c | 600185 | 13871 57308 172369 | 2147483647 442790 34 | 2.830 % |
7391.77/7395.80 c | 600905 | 13871 57308 172369 | 2147483647 443510 34 | 2.830 % |
7406.16/7410.15 c | 601698 | 13871 57308 172369 | 2147483647 444303 34 | 2.830 % |
7422.16/7426.12 c | 602569 | 13871 57308 172369 | 2147483647 445174 34 | 2.830 % |
7439.65/7443.68 c | 603527 | 13871 57308 172369 | 2147483647 446132 34 | 2.830 % |
7460.14/7464.12 c | 604581 | 13871 57308 172369 | 2147483647 447186 34 | 2.830 % |
7480.23/7484.25 c | 605739 | 13871 57308 172369 | 2147483647 448344 34 | 2.830 % |
7502.80/7506.85 c | 607012 | 13871 57308 172369 | 2147483647 449617 34 | 2.830 % |
7525.30/7529.39 c | 608412 | 13871 57308 172369 | 2147483647 451017 34 | 2.830 % |
7550.08/7554.12 c | 609952 | 13871 57308 172369 | 2147483647 452557 34 | 2.830 % |
7579.27/7583.34 c | 611647 | 13871 57308 172369 | 2147483647 454252 34 | 2.830 % |
7613.36/7617.50 c | 613510 | 13871 57308 172369 | 2147483647 456115 34 | 2.830 % |
7652.63/7656.72 c | 615562 | 13871 57308 172369 | 2147483647 458167 34 | 2.830 % |
7692.71/7696.84 c | 617816 | 13871 57308 172369 | 2147483647 460421 34 | 2.830 % |
7734.79/7738.94 c | 620295 | 13871 57308 172369 | 462605 462900 34 | 2.830 % |
7781.47/7785.60 c | 623021 | 13871 57308 172369 | 462605 417594 34 | 2.830 % |
7831.16/7835.35 c | 626018 | 13871 57308 172369 | 462605 420591 34 | 2.830 % |
7887.61/7891.82 c | 629314 | 13871 57308 172369 | 462605 423887 34 | 2.830 % |
7945.48/7949.78 c | 632941 | 13871 57308 172369 | 2147483647 427514 34 | 2.830 % |
7991.16/7995.47 c | 636928 | 13871 57308 172369 | 2147483647 431501 34 | 2.830 % |
8067.12/8071.43 c | 641313 | 13871 57308 172369 | 2147483647 435886 34 | 2.830 % |
8141.48/8145.88 c | 646138 | 13871 57308 172369 | 2147483647 440711 34 | 2.830 % |
8231.84/8236.24 c | 651444 | 13871 57308 172369 | 2147483647 446017 35 | 2.830 % |
8330.50/8334.96 c | 657279 | 13871 57308 172369 | 2147483647 451852 35 | 2.830 % |
8332.30/8336.77 c | 657379 | 13871 57308 172369 | 2147483647 451952 35 | 2.830 % |
8334.30/8338.74 c | 657489 | 13871 57308 172369 | 2147483647 452062 35 | 2.830 % |
8336.59/8341.07 c | 657611 | 13871 57308 172369 | 2147483647 452184 35 | 2.830 % |
8338.09/8342.53 c | 657744 | 13871 57308 172369 | 2147483647 452317 35 | 2.830 % |
8340.99/8345.48 c | 657890 | 13871 57308 172369 | 2147483647 452463 35 | 2.830 % |
8344.29/8348.72 c | 658051 | 13871 57308 172369 | 2147483647 452624 35 | 2.830 % |
8347.69/8352.13 c | 658228 | 13871 57308 172369 | 2147483647 452801 35 | 2.830 % |
8351.29/8355.72 c | 658422 | 13871 57308 172369 | 2147483647 452995 35 | 2.830 % |
8355.09/8359.51 c | 658634 | 13871 57308 172369 | 2147483647 453207 35 | 2.830 % |
8359.18/8363.63 c | 658867 | 13871 57308 172369 | 2147483647 453440 35 | 2.830 % |
8363.37/8367.87 c | 659123 | 13871 57308 172369 | 2147483647 453696 35 | 2.830 % |
8368.68/8373.12 c | 659405 | 13871 57308 172369 | 2147483647 453978 35 | 2.830 % |
8373.18/8377.61 c | 659716 | 13871 57308 172369 | 2147483647 454289 35 | 2.830 % |
8378.57/8383.09 c | 660057 | 13871 57308 172369 | 2147483647 454630 35 | 2.830 % |
8385.77/8390.24 c | 660430 | 13871 57308 172369 | 2147483647 455003 35 | 2.830 % |
8392.87/8397.33 c | 660840 | 13871 57308 172369 | 2147483647 455413 35 | 2.830 % |
8400.95/8405.48 c | 661289 | 13871 57308 172369 | 2147483647 455862 35 | 2.830 % |
8409.64/8414.15 c | 661783 | 13871 57308 172369 | 2147483647 456356 35 | 2.830 % |
8418.84/8423.38 c | 662326 | 13871 57308 172369 | 2147483647 456899 35 | 2.830 % |
8429.83/8434.37 c | 662923 | 13871 57308 172369 | 2147483647 457496 35 | 2.830 % |
8442.33/8446.87 c | 663579 | 13871 57308 172369 | 2147483647 458152 35 | 2.830 % |
8455.22/8459.72 c | 664300 | 13871 57308 172369 | 2147483647 458873 35 | 2.830 % |
8469.21/8473.74 c | 665093 | 13871 57308 172369 | 2147483647 459666 35 | 2.830 % |
8485.41/8489.91 c | 665964 | 13871 57308 172369 | 2147483647 460537 35 | 2.830 % |
8501.50/8506.04 c | 666923 | 13871 57308 172369 | 2147483647 461496 35 | 2.830 % |
8519.49/8524.00 c | 667976 | 13871 57308 172369 | 2147483647 462549 35 | 2.830 % |
8539.98/8544.59 c | 669135 | 13871 57308 172369 | 2147483647 463708 35 | 2.830 % |
8564.07/8568.64 c | 670409 | 13871 57308 172369 | 2147483647 464982 35 | 2.830 % |
8587.75/8592.32 c | 671809 | 13871 57308 172369 | 2147483647 466382 35 | 2.830 % |
8613.64/8618.29 c | 673349 | 13871 57308 172369 | 2147483647 467922 35 | 2.830 % |
8641.53/8646.17 c | 675043 | 13871 57308 172369 | 2147483647 469616 35 | 2.830 % |
8675.22/8679.85 c | 676907 | 13871 57308 172369 | 2147483647 471480 35 | 2.830 % |
8710.90/8715.53 c | 678956 | 13871 57308 172369 | 2147483647 473529 35 | 2.830 % |
8755.38/8760.06 c | 681209 | 13871 57308 172369 | 474574 475782 35 | 2.830 % |
8805.66/8810.39 c | 683688 | 13871 57308 172369 | 474574 428126 35 | 2.830 % |
8854.33/8859.02 c | 686414 | 13871 57308 172369 | 474574 430852 35 | 2.830 % |
8897.21/8901.91 c | 689412 | 13871 57308 172369 | 474574 433850 35 | 2.830 % |
8955.09/8959.82 c | 692708 | 13871 57308 172369 | 2147483647 437146 35 | 2.830 % |
9019.25/9024.01 c | 696334 | 13871 57308 172369 | 2147483647 440772 35 | 2.830 % |
9088.22/9093.01 c | 700322 | 13871 57308 172369 | 2147483647 444760 35 | 2.830 % |
9163.79/9168.62 c | 704707 | 13871 57308 172369 | 2147483647 449145 35 | 2.830 % |
9252.75/9257.62 c | 709532 | 13871 57308 172369 | 2147483647 453970 35 | 2.830 % |
9351.90/9356.80 c | 714838 | 13871 57308 172369 | 2147483647 459276 34 | 2.830 % |
9458.44/9463.47 c | 720674 | 13871 57308 172369 | 2147483647 465112 34 | 2.830 % |
9575.78/9580.88 c | 727093 | 13871 57308 172369 | 2147483647 471531 35 | 2.830 % |
9577.88/9582.97 c | 727194 | 13871 57308 172369 | 2147483647 471632 35 | 2.830 % |
9580.18/9585.20 c | 727304 | 13871 57308 172369 | 2147483647 471742 35 | 2.830 % |
9582.28/9587.30 c | 727426 | 13871 57308 172369 | 2147483647 471864 35 | 2.830 % |
9584.58/9589.70 c | 727559 | 13871 57308 172369 | 2147483647 471997 35 | 2.830 % |
9587.38/9592.41 c | 727705 | 13871 57308 172369 | 2147483647 472143 35 | 2.830 % |
9590.18/9595.24 c | 727866 | 13871 57308 172369 | 2147483647 472304 35 | 2.830 % |
9592.98/9598.07 c | 728043 | 13871 57308 172369 | 2147483647 472481 35 | 2.830 % |
9596.38/9601.46 c | 728236 | 13871 57308 172369 | 2147483647 472674 35 | 2.830 % |
9600.08/9605.20 c | 728449 | 13871 57308 172369 | 2147483647 472887 35 | 2.830 % |
9604.87/9609.92 c | 728683 | 13871 57308 172369 | 2147483647 473121 35 | 2.830 % |
9609.37/9614.41 c | 728939 | 13871 57308 172369 | 2147483647 473377 35 | 2.830 % |
9614.56/9619.66 c | 729220 | 13871 57308 172369 | 2147483647 473658 35 | 2.830 % |
9620.06/9625.15 c | 729529 | 13871 57308 172369 | 2147483647 473967 35 | 2.830 % |
9626.36/9631.42 c | 729869 | 13871 57308 172369 | 2147483647 474307 35 | 2.830 % |
9633.06/9638.17 c | 730241 | 13871 57308 172369 | 2147483647 474679 35 | 2.830 % |
9640.76/9645.82 c | 730650 | 13871 57308 172369 | 2147483647 475088 35 | 2.830 % |
9649.35/9654.46 c | 731101 | 13871 57308 172369 | 2147483647 475539 35 | 2.830 % |
9657.15/9662.22 c | 731594 | 13871 57308 172369 | 2147483647 476032 35 | 2.830 % |
9665.44/9670.54 c | 732137 | 13871 57308 172369 | 2147483647 476575 35 | 2.830 % |
9675.14/9680.27 c | 732734 | 13871 57308 172369 | 2147483647 477172 35 | 2.830 % |
9686.53/9691.69 c | 733390 | 13871 57308 172369 | 2147483647 477828 35 | 2.830 % |
9698.03/9703.17 c | 734110 | 13871 57308 172369 | 2147483647 478548 35 | 2.830 % |
9711.32/9716.49 c | 734903 | 13871 57308 172369 | 2147483647 479341 35 | 2.830 % |
9726.71/9731.85 c | 735774 | 13871 57308 172369 | 2147483647 480212 35 | 2.830 % |
9744.70/9749.85 c | 736732 | 13871 57308 172369 | 2147483647 481170 35 | 2.830 % |
9763.80/9768.90 c | 737785 | 13871 57308 172369 | 2147483647 482223 35 | 2.830 % |
9785.09/9790.22 c | 738943 | 13871 57308 172369 | 2147483647 483381 35 | 2.830 % |
9806.08/9811.24 c | 740216 | 13871 57308 172369 | 484438 484654 35 | 2.830 % |
9832.77/9837.94 c | 741616 | 13871 57308 172369 | 484438 486054 35 | 2.830 % |
9866.75/9871.92 c | 743157 | 13871 57308 172369 | 484438 438990 35 | 2.830 % |
9897.33/9902.56 c | 744852 | 13871 57308 172369 | 484438 440685 34 | 2.830 % |
9929.62/9934.89 c | 746715 | 13871 57308 172369 | 484438 442548 35 | 2.830 % |
9964.50/9969.70 c | 748765 | 13871 57308 172369 | 484438 444598 35 | 2.830 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837348-1242868365/watcher-1837348-1242868365 -o /tmp/evaluation-result-1837348-1242868365/solver-1837348-1242868365 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837348-1242868365.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.99 0.97 0.95 3/64 19018
/proc/meminfo: memFree=1867944/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=0
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 314863817 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 218076250194 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/19018/statm: 1339 235 195 169 0 50 0
[pid=19019] ppid=19018 vsize=5356 CPUtime=0
/proc/19019/stat : 19019 (SatELiteGTI) S 19018 19018 18942 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 314863817 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/19019/statm: 1339 238 198 169 0 50 0
[pid=19021] ppid=19019 vsize=192 CPUtime=0
/proc/19021/stat : 19021 (sed) R 19019 19018 18942 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 314863817 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 218073462153 0 0 4096 0 0 0 0 17 0 0 0
/proc/19021/statm: 60 30 23 11 0 11 0
[startup+0.0979721 s]
/proc/loadavg: 0.99 0.97 0.95 3/64 19018
/proc/meminfo: memFree=1867944/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=0
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314863817 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19018/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102972 s]
/proc/loadavg: 0.99 0.97 0.95 3/64 19018
/proc/meminfo: memFree=1867944/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=0
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314863817 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19018/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302007 s]
/proc/loadavg: 0.99 0.97 0.95 3/64 19018
/proc/meminfo: memFree=1867944/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=0
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314863817 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19018/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701073 s]
/proc/loadavg: 0.99 0.97 0.95 3/64 19018
/proc/meminfo: memFree=1867944/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=0
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314863817 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19018/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.5022 s]
/proc/loadavg: 0.99 0.97 0.95 2/66 19023
/proc/meminfo: memFree=1849624/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=1.44
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 336 4306 0 0 0 0 141 3 16 0 1 0 314863817 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19018/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 5356
[startup+3.10146 s]
/proc/loadavg: 0.99 0.97 0.95 2/66 19024
/proc/meminfo: memFree=1857624/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=1.44
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 336 4306 0 0 0 0 141 3 16 0 1 0 314863817 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19018/statm: 1339 239 197 169 0 50 0
[pid=19024] ppid=19018 vsize=5896 CPUtime=1.63
/proc/19024/stat : 19024 (minisat_static) R 19018 19018 18942 0 -1 4194304 1333 0 0 0 163 0 0 0 25 0 1 0 314863963 6037504 1319 1992294400 134512640 135215339 4294956240 18446744073709551615 134528899 0 0 4096 3 0 0 0 17 0 0 0
/proc/19024/statm: 1474 1319 76 171 0 1301 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 11252
[startup+6.303 s]
/proc/loadavg: 0.99 0.97 0.95 2/66 19024
/proc/meminfo: memFree=1857176/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=1.44
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 336 4306 0 0 0 0 141 3 16 0 1 0 314863817 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19018/statm: 1339 239 197 169 0 50 0
[pid=19024] ppid=19018 vsize=6160 CPUtime=4.83
/proc/19024/stat : 19024 (minisat_static) R 19018 19018 18942 0 -1 4194304 1382 0 0 0 483 0 0 0 25 0 1 0 314863963 6307840 1368 1992294400 134512640 135215339 4294956240 18446744073709551615 134538536 0 0 4096 3 0 0 0 17 0 0 0
/proc/19024/statm: 1540 1368 76 171 0 1367 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 11516
[startup+12.7011 s]
/proc/loadavg: 0.99 0.97 0.95 2/66 19024
/proc/meminfo: memFree=1856864/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=1.44
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 336 4306 0 0 0 0 141 3 16 0 1 0 314863817 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19018/statm: 1339 239 197 169 0 50 0
[pid=19024] ppid=19018 vsize=6556 CPUtime=11.22
/proc/19024/stat : 19024 (minisat_static) R 19018 19018 18942 0 -1 4194304 1482 0 0 0 1122 0 0 0 25 0 1 0 314863963 6713344 1468 1992294400 134512640 135215339 4294956240 18446744073709551615 134532643 0 0 4096 3 0 0 0 17 0 0 0
/proc/19024/statm: 1639 1468 76 171 0 1466 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 11912
[startup+25.5012 s]
/proc/loadavg: 0.99 0.97 0.95 2/66 19024
/proc/meminfo: memFree=1856416/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=1.44
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 336 4306 0 0 0 0 141 3 16 0 1 0 314863817 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19018/statm: 1339 239 197 169 0 50 0
[pid=19024] ppid=19018 vsize=7088 CPUtime=24.01
/proc/19024/stat : 19024 (minisat_static) R 19018 19018 18942 0 -1 4194304 1622 0 0 0 2401 0 0 0 25 0 1 0 314863963 7258112 1608 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19024/statm: 1772 1608 76 171 0 1599 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 12444
[startup+51.1015 s]
/proc/loadavg: 0.99 0.97 0.95 2/66 19024
/proc/meminfo: memFree=1855392/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=1.44
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 336 4306 0 0 0 0 141 3 16 0 1 0 314863817 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19018/statm: 1339 239 197 169 0 50 0
[pid=19024] ppid=19018 vsize=8204 CPUtime=49.58
/proc/19024/stat : 19024 (minisat_static) R 19018 19018 18942 0 -1 4194304 1877 0 0 0 4957 1 0 0 25 0 1 0 314863963 8400896 1863 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19024/statm: 2051 1863 76 171 0 1878 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 13560
[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.95 2/66 19024
/proc/meminfo: memFree=1853024/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=1.44
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 336 4306 0 0 0 0 141 3 16 0 1 0 314863817 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19018/statm: 1339 239 197 169 0 50 0
[pid=19024] ppid=19018 vsize=10376 CPUtime=100.76
/proc/19024/stat : 19024 (minisat_static) R 19018 19018 18942 0 -1 4194304 2437 0 0 0 10074 2 0 0 25 0 1 0 314863963 10625024 2423 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/19024/statm: 2594 2423 76 171 0 2421 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 15732
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/66 19024
/proc/meminfo: memFree=1850784/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=1.44
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 336 4306 0 0 0 0 141 3 16 0 1 0 314863817 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19018/statm: 1339 239 197 169 0 50 0
[pid=19024] ppid=19018 vsize=12428 CPUtime=160.73
/proc/19024/stat : 19024 (minisat_static) R 19018 19018 18942 0 -1 4194304 2955 0 0 0 16070 3 0 0 25 0 1 0 314863963 12726272 2941 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 0 0 0
/proc/19024/statm: 3107 2941 76 171 0 2934 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 17784
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/66 19024
/proc/meminfo: memFree=1848608/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=1.44
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 336 4306 0 0 0 0 141 3 16 0 1 0 314863817 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19018/statm: 1339 239 197 169 0 50 0
[pid=19024] ppid=19018 vsize=14704 CPUtime=220.68
/proc/19024/stat : 19024 (minisat_static) R 19018 19018 18942 0 -1 4194304 3482 0 0 0 22065 3 0 0 25 0 1 0 314863963 15056896 3468 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19024/statm: 3676 3468 76 171 0 3503 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 20060
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/66 19024
/proc/meminfo: memFree=1846304/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=1.44
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 336 4306 0 0 0 0 141 3 16 0 1 0 314863817 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19018/statm: 1339 239 197 169 0 50 0
[pid=19024] ppid=19018 vsize=17000 CPUtime=280.65
/proc/19024/stat : 19024 (minisat_static) R 19018 19018 18942 0 -1 4194304 4066 0 0 0 28061 4 0 0 25 0 1 0 314863963 17408000 4052 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19024/statm: 4250 4052 76 171 0 4077 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 22356
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/66 19024
/proc/meminfo: memFree=1843936/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=1.44
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 336 4306 0 0 0 0 141 3 16 0 1 0 314863817 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19018/statm: 1339 239 197 169 0 50 0
[pid=19024] ppid=19018 vsize=19280 CPUtime=340.62
/proc/19024/stat : 19024 (minisat_static) R 19018 19018 18942 0 -1 4194304 4614 0 0 0 34057 5 0 0 25 0 1 0 314863963 19742720 4600 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19024/statm: 4820 4600 76 171 0 4647 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 24636
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/66 19024
/proc/meminfo: memFree=1842336/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=1.44
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 336 4306 0 0 0 0 141 3 16 0 1 0 314863817 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19018/statm: 1339 239 197 169 0 50 0
[pid=19024] ppid=19018 vsize=20892 CPUtime=400.57
/proc/19024/stat : 19024 (minisat_static) R 19018 19018 18942 0 -1 4194304 5012 0 0 0 40052 5 0 0 25 0 1 0 314863963 21393408 4998 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/19024/statm: 5223 4998 76 171 0 5050 0
Current children cumulated CPU time (s) 402.01
################
# More data... #
################
/proc/19024/statm: 25512 24338 76 171 0 25339 0
Current children cumulated CPU time (s) 9397.37
Current children cumulated vsize (KiB) 107404
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19518
/proc/meminfo: memFree=1723744/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=1.44
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 336 4306 0 0 0 0 141 3 16 0 1 0 314863817 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19018/statm: 1339 239 197 169 0 50 0
[pid=19024] ppid=19018 vsize=102048 CPUtime=9455.9
/proc/19024/stat : 19024 (minisat_static) R 19018 19018 18942 0 -1 4194304 24352 0 0 0 945548 42 0 0 25 0 1 0 314863963 104497152 24338 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19024/statm: 25512 24338 76 171 0 25339 0
Current children cumulated CPU time (s) 9457.34
Current children cumulated vsize (KiB) 107404
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19518
/proc/meminfo: memFree=1723680/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=1.44
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 336 4306 0 0 0 0 141 3 16 0 1 0 314863817 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19018/statm: 1339 239 197 169 0 50 0
[pid=19024] ppid=19018 vsize=102192 CPUtime=9515.88
/proc/19024/stat : 19024 (minisat_static) R 19018 19018 18942 0 -1 4194304 24361 0 0 0 951546 42 0 0 25 0 1 0 314863963 104644608 24347 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 0 0 0
/proc/19024/statm: 25548 24347 76 171 0 25375 0
Current children cumulated CPU time (s) 9517.32
Current children cumulated vsize (KiB) 107548
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19518
/proc/meminfo: memFree=1723680/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=1.44
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 336 4306 0 0 0 0 141 3 16 0 1 0 314863817 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19018/statm: 1339 239 197 169 0 50 0
[pid=19024] ppid=19018 vsize=102192 CPUtime=9575.84
/proc/19024/stat : 19024 (minisat_static) R 19018 19018 18942 0 -1 4194304 24376 0 0 0 957542 42 0 0 25 0 1 0 314863963 104644608 24362 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/19024/statm: 25548 24362 76 171 0 25375 0
Current children cumulated CPU time (s) 9577.28
Current children cumulated vsize (KiB) 107548
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19518
/proc/meminfo: memFree=1723488/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=1.44
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 336 4306 0 0 0 0 141 3 16 0 1 0 314863817 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19018/statm: 1339 239 197 169 0 50 0
[pid=19024] ppid=19018 vsize=102380 CPUtime=9635.82
/proc/19024/stat : 19024 (minisat_static) R 19018 19018 18942 0 -1 4194304 24408 0 0 0 963540 42 0 0 25 0 1 0 314863963 104837120 24394 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/19024/statm: 25595 24394 76 171 0 25422 0
Current children cumulated CPU time (s) 9637.26
Current children cumulated vsize (KiB) 107736
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19518
/proc/meminfo: memFree=1723232/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=1.44
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 336 4306 0 0 0 0 141 3 16 0 1 0 314863817 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19018/statm: 1339 239 197 169 0 50 0
[pid=19024] ppid=19018 vsize=102380 CPUtime=9695.79
/proc/19024/stat : 19024 (minisat_static) R 19018 19018 18942 0 -1 4194304 24412 0 0 0 969537 42 0 0 25 0 1 0 314863963 104837120 24398 1992294400 134512640 135215339 4294956240 18446744073709551615 134528791 0 0 4096 3 0 0 0 17 0 0 0
/proc/19024/statm: 25595 24398 76 171 0 25422 0
Current children cumulated CPU time (s) 9697.23
Current children cumulated vsize (KiB) 107736
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19518
/proc/meminfo: memFree=1723168/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=1.44
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 336 4306 0 0 0 0 141 3 16 0 1 0 314863817 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19018/statm: 1339 239 197 169 0 50 0
[pid=19024] ppid=19018 vsize=102460 CPUtime=9755.76
/proc/19024/stat : 19024 (minisat_static) R 19018 19018 18942 0 -1 4194304 24427 0 0 0 975533 43 0 0 25 0 1 0 314863963 104919040 24413 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19024/statm: 25615 24413 76 171 0 25442 0
Current children cumulated CPU time (s) 9757.2
Current children cumulated vsize (KiB) 107816
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19518
/proc/meminfo: memFree=1723104/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=1.44
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 336 4306 0 0 0 0 141 3 16 0 1 0 314863817 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19018/statm: 1339 239 197 169 0 50 0
[pid=19024] ppid=19018 vsize=102460 CPUtime=9815.73
/proc/19024/stat : 19024 (minisat_static) R 19018 19018 18942 0 -1 4194304 24432 0 0 0 981530 43 0 0 25 0 1 0 314863963 104919040 24418 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/19024/statm: 25615 24418 76 171 0 25442 0
Current children cumulated CPU time (s) 9817.17
Current children cumulated vsize (KiB) 107816
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19518
/proc/meminfo: memFree=1723104/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=1.44
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 336 4306 0 0 0 0 141 3 16 0 1 0 314863817 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19018/statm: 1339 239 197 169 0 50 0
[pid=19024] ppid=19018 vsize=102460 CPUtime=9875.71
/proc/19024/stat : 19024 (minisat_static) R 19018 19018 18942 0 -1 4194304 24432 0 0 0 987528 43 0 0 25 0 1 0 314863963 104919040 24418 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19024/statm: 25615 24418 76 171 0 25442 0
Current children cumulated CPU time (s) 9877.15
Current children cumulated vsize (KiB) 107816
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19518
/proc/meminfo: memFree=1723040/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=1.44
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 336 4306 0 0 0 0 141 3 16 0 1 0 314863817 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19018/statm: 1339 239 197 169 0 50 0
[pid=19024] ppid=19018 vsize=102460 CPUtime=9935.67
/proc/19024/stat : 19024 (minisat_static) R 19018 19018 18942 0 -1 4194304 24438 0 0 0 993524 43 0 0 25 0 1 0 314863963 104919040 24424 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19024/statm: 25615 24424 76 171 0 25442 0
Current children cumulated CPU time (s) 9937.11
Current children cumulated vsize (KiB) 107816
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19518
/proc/meminfo: memFree=1722976/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=1.44
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 336 4306 0 0 0 0 141 3 16 0 1 0 314863817 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19018/statm: 1339 239 197 169 0 50 0
[pid=19024] ppid=19018 vsize=102460 CPUtime=9995.64
/proc/19024/stat : 19024 (minisat_static) R 19018 19018 18942 0 -1 4194304 24443 0 0 0 999521 43 0 0 25 0 1 0 314863963 104919040 24429 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/19024/statm: 25615 24429 76 171 0 25442 0
Current children cumulated CPU time (s) 9997.08
Current children cumulated vsize (KiB) 107816
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10005.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19518
/proc/meminfo: memFree=1722976/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=1.44
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 336 4306 0 0 0 0 141 3 16 0 1 0 314863817 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19018/statm: 1339 239 197 169 0 50 0
[pid=19024] ppid=19018 vsize=102460 CPUtime=9998.64
/proc/19024/stat : 19024 (minisat_static) R 19018 19018 18942 0 -1 4194304 24443 0 0 0 999821 43 0 0 25 0 1 0 314863963 104919040 24429 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/19024/statm: 25615 24429 76 171 0 25442 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 107816
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10005.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19518
/proc/meminfo: memFree=1722976/2055920 swapFree=4180384/4192956
[pid=19018] ppid=19016 vsize=5356 CPUtime=1.44
/proc/19018/stat : 19018 (SatELiteGTI) S 19016 19018 18942 0 -1 4194304 336 4306 0 0 0 0 141 3 16 0 1 0 314863817 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19018/statm: 1339 239 197 169 0 50 0
[pid=19024] ppid=19018 vsize=102460 CPUtime=9998.64
/proc/19024/stat : 19024 (minisat_static) R 19018 19018 18942 0 -1 4194304 24443 0 0 0 999821 43 0 0 25 0 1 0 314863963 104919040 24429 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/19024/statm: 25615 24429 76 171 0 25442 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 107816
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19018 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=410785
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=41993
# CPU time returned by wait4() is 1.45278
# while last known CPU time is 10000.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10005.3
CPU time (s): 10000.1
CPU user time (s): 9999.62
CPU system time (s): 0.46
CPU usage (%): 99.9477
Max. virtual memory (cumulated for all children) (KiB): 107816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.41078
system time used= 0.041993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4642
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 24
runsolver used 8.45971 second user time and 28.0437 second system time
The end
Begin job on node57 at 2009-05-21 03:12:45
IDJOB=1837348
IDBENCH=70878
IDSOLVER=674
FILE ID=node57/1837348-1242868365
PBS_JOBID= 9328566
Free space on /tmp= 65928 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-25-s100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837348-1242868365/watcher-1837348-1242868365 -o /tmp/evaluation-result-1837348-1242868365/solver-1837348-1242868365 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837348-1242868365.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c4b5df05f50ec97b624a18161f6d43b5
RANDOM SEED=448555911
node57.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.256
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.256
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: 1868424 kB
Buffers: 21468 kB
Cached: 100076 kB
SwapCached: 6092 kB
Active: 37984 kB
Inactive: 91208 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1868424 kB
SwapTotal: 4192956 kB
SwapFree: 4180384 kB
Dirty: 3108 kB
Writeback: 0 kB
Mapped: 13512 kB
Slab: 44440 kB
Committed_AS: 906628 kB
PageTables: 1392 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= 65920 MiB
End job on node57 at 2009-05-21 05:59:33