0.00/0.00 c Parsing...
0.06/0.09 c ==============================================================================
0.06/0.09 c | | ORIGINAL | LEARNT | |
0.06/0.09 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.06/0.09 c ==============================================================================
0.06/0.09 c | 0 | 94548 222824 | 28364 0 0 nan | 0.000 % |
1.22/1.27 c | 0 | 56930 168628 | -- 0 -- -- | -- | -37278/-53220
1.22/1.27 c ==============================================================================
1.22/1.27 c Result : #vars: 13726 #clauses: 56930 #literals: 168628
1.22/1.27 c CPU time: 1.27 s
1.22/1.27 c ==============================================================================
1.32/1.33 c This is MiniSat 2.0 beta
1.32/1.33 c WARNING: for repeatability, setting FPU to use double precision
1.32/1.33 c ============================[ Problem Statistics ]=============================
1.32/1.33 c | |
1.32/1.34 c | Number of variables: 13726 |
1.32/1.34 c | Number of clauses: 56930 |
1.32/1.38 c | Parsing time: 0.03 s |
1.32/1.38 c ============================[ Search Statistics ]==============================
1.32/1.38 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.32/1.38 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.32/1.38 c ===============================================================================
1.32/1.38 c | 0 | 13726 56930 168628 | 18976 0 nan | 0.000 % |
1.34/1.57 c | 100 | 13715 56930 168628 | 18976 96 31 | 0.503 % |
1.34/2.03 c | 200 | 13579 56111 166639 | 18976 111 21 | 1.071 % |
2.48/2.56 c | 300 | 13579 56111 166639 | 18976 211 20 | 1.071 % |
2.98/3.04 c | 410 | 13579 56111 166639 | 18976 321 24 | 1.071 % |
3.38/3.50 c | 512 | 13579 56111 166639 | 18976 423 27 | 1.071 % |
3.68/3.80 c | 622 | 13579 56111 166639 | 18976 533 27 | 1.071 % |
4.08/4.15 c | 744 | 13579 56111 166639 | 18976 655 28 | 1.071 % |
4.56/4.61 c | 844 | 13579 56111 166639 | 18976 755 28 | 1.071 % |
4.96/5.08 c | 954 | 13579 56111 166639 | 18976 865 27 | 1.071 % |
5.55/5.67 c | 1078 | 13579 56111 166639 | 18976 989 27 | 1.071 % |
6.05/6.18 c | 1212 | 13579 56111 166639 | 18976 1123 26 | 1.071 % |
6.55/6.67 c | 1312 | 13579 56111 166639 | 18976 1223 25 | 1.071 % |
7.14/7.25 c | 1423 | 13579 56111 166639 | 18976 1334 25 | 1.071 % |
7.82/7.92 c | 1544 | 13579 56111 166639 | 18976 1455 24 | 1.071 % |
8.52/8.68 c | 1678 | 13579 56111 166639 | 18976 1589 24 | 1.071 % |
9.10/9.30 c | 1825 | 13579 56111 166639 | 18976 1736 23 | 1.071 % |
9.60/9.79 c | 1927 | 13528 55894 166139 | 18976 1835 23 | 1.443 % |
10.10/10.29 c | 2037 | 13528 55894 166139 | 18976 1945 23 | 1.443 % |
10.60/10.75 c | 2158 | 13528 55894 166139 | 18976 2066 23 | 1.443 % |
11.40/11.54 c | 2292 | 13528 55894 166139 | 18976 2200 23 | 1.443 % |
12.30/12.43 c | 2438 | 13528 55894 166139 | 18976 2346 22 | 1.443 % |
13.11/13.24 c | 2600 | 13528 55894 166139 | 18976 2508 23 | 1.443 % |
13.70/13.83 c | 2700 | 13528 55894 166139 | 18976 2608 23 | 1.443 % |
14.30/14.43 c | 2811 | 13528 55894 166139 | 18976 2719 23 | 1.443 % |
15.00/15.17 c | 2933 | 13528 55894 166139 | 18976 2841 23 | 1.443 % |
15.80/16.01 c | 3067 | 13528 55894 166139 | 18976 2975 23 | 1.443 % |
16.78/16.93 c | 3214 | 13528 55894 166139 | 18976 3122 23 | 1.443 % |
17.69/17.90 c | 3375 | 13528 55894 166139 | 18976 3283 22 | 1.443 % |
18.69/18.82 c | 3551 | 13528 55894 166139 | 18976 3459 22 | 1.443 % |
19.09/19.25 c | 3651 | 13528 55894 166139 | 18976 3559 23 | 1.443 % |
19.29/19.50 c | 3763 | 13528 55894 166139 | 18976 3671 23 | 1.443 % |
19.89/20.09 c | 3886 | 13528 55894 166139 | 18976 3794 24 | 1.443 % |
20.39/20.60 c | 4021 | 13528 55894 166139 | 18976 3929 24 | 1.443 % |
21.09/21.28 c | 4167 | 13528 55894 166139 | 18976 4075 24 | 1.443 % |
21.99/22.15 c | 4327 | 13528 55894 166139 | 18976 4235 23 | 1.443 % |
22.77/22.95 c | 4503 | 13528 55894 166139 | 18976 4411 23 | 1.443 % |
23.47/23.65 c | 4697 | 13528 55894 166139 | 18976 4605 24 | 1.443 % |
23.97/24.17 c | 4797 | 13528 55894 166139 | 18976 4705 24 | 1.443 % |
24.47/24.66 c | 4908 | 13528 55894 166139 | 18976 4816 24 | 1.443 % |
24.97/25.16 c | 5030 | 13528 55894 166139 | 18976 4938 24 | 1.443 % |
25.47/25.72 c | 5163 | 13479 55682 165655 | 18976 5066 24 | 1.800 % |
26.07/26.23 c | 5309 | 13479 55682 165655 | 18976 5212 25 | 1.800 % |
26.67/26.86 c | 5470 | 13479 55682 165655 | 18976 5373 25 | 1.800 % |
27.27/27.50 c | 5647 | 13479 55682 165655 | 18976 5550 24 | 1.800 % |
28.07/28.28 c | 5840 | 13479 55682 165655 | 18976 5743 24 | 1.800 % |
28.96/29.22 c | 6052 | 13479 55682 165655 | 18976 5955 24 | 1.800 % |
29.46/29.63 c | 6153 | 13479 55682 165655 | 18976 6056 24 | 1.800 % |
29.96/30.19 c | 6263 | 13479 55682 165655 | 18976 6166 24 | 1.800 % |
30.66/30.85 c | 6385 | 13479 55682 165655 | 18976 6288 24 | 1.800 % |
31.26/31.50 c | 6519 | 13479 55682 165655 | 18976 6422 24 | 1.800 % |
31.96/32.20 c | 6665 | 13479 55682 165655 | 18976 6568 24 | 1.800 % |
32.56/32.74 c | 6828 | 13479 55682 165655 | 18976 6731 24 | 1.800 % |
33.26/33.44 c | 7005 | 13479 55682 165655 | 18976 6908 24 | 1.800 % |
33.94/34.22 c | 7198 | 13479 55682 165655 | 18976 7101 24 | 1.800 % |
34.83/35.06 c | 7410 | 13479 55682 165655 | 18976 7313 24 | 1.800 % |
35.93/36.15 c | 7644 | 13479 55682 165655 | 18976 7547 24 | 1.800 % |
36.23/36.52 c | 7744 | 13479 55682 165655 | 18976 7647 24 | 1.800 % |
36.73/36.98 c | 7856 | 13479 55682 165655 | 18976 7759 24 | 1.800 % |
37.23/37.49 c | 7977 | 13479 55682 165655 | 18976 7880 24 | 1.800 % |
37.83/38.06 c | 8111 | 13479 55682 165655 | 18976 8014 24 | 1.800 % |
38.53/38.76 c | 8257 | 13479 55682 165655 | 18976 8160 24 | 1.800 % |
39.33/39.54 c | 8417 | 13479 55682 165655 | 18976 8320 23 | 1.800 % |
40.13/40.42 c | 8593 | 13479 55682 165655 | 18976 8496 23 | 1.800 % |
41.03/41.23 c | 8787 | 13479 55682 165655 | 18976 8690 23 | 1.800 % |
42.03/42.22 c | 8999 | 13479 55682 165655 | 18976 8902 23 | 1.800 % |
42.93/43.22 c | 9232 | 13479 55682 165655 | 18976 9135 23 | 1.800 % |
44.23/44.43 c | 9488 | 13479 55682 165655 | 18976 9391 24 | 1.800 % |
44.63/44.90 c | 9588 | 13479 55682 165655 | 18976 9491 23 | 1.800 % |
45.23/45.42 c | 9698 | 13479 55682 165655 | 18976 9601 23 | 1.800 % |
45.73/45.97 c | 9819 | 13479 55682 165655 | 18976 9722 23 | 1.800 % |
46.33/46.61 c | 9952 | 13479 55682 165655 | 18976 9855 23 | 1.800 % |
47.13/47.34 c | 10098 | 13479 55682 165655 | 2147483647 10001 23 | 1.800 % |
47.73/48.00 c | 10258 | 13479 55682 165655 | 2147483647 10161 23 | 1.800 % |
48.43/48.69 c | 10434 | 13479 55682 165655 | 2147483647 10337 23 | 1.800 % |
49.43/49.64 c | 10629 | 13479 55682 165655 | 2147483647 10532 23 | 1.800 % |
50.33/50.60 c | 10841 | 13479 55682 165655 | 2147483647 10744 23 | 1.800 % |
50.73/50.93 c | 11076 | 13479 55682 165655 | 2147483647 10979 24 | 1.800 % |
51.73/51.96 c | 11332 | 13479 55682 165655 | 2147483647 11235 24 | 1.800 % |
52.83/53.04 c | 11613 | 13479 55682 165655 | 2147483647 11516 24 | 1.800 % |
53.03/53.28 c | 11713 | 13479 55682 165655 | 2147483647 11616 24 | 1.800 % |
53.53/53.76 c | 11823 | 13479 55682 165655 | 2147483647 11726 24 | 1.800 % |
54.03/54.30 c | 11944 | 13479 55682 165655 | 2147483647 11847 24 | 1.800 % |
54.73/54.95 c | 12078 | 13479 55682 165655 | 2147483647 11981 24 | 1.800 % |
55.33/55.57 c | 12224 | 13479 55682 165655 | 2147483647 12127 24 | 1.800 % |
56.03/56.28 c | 12385 | 13479 55682 165655 | 2147483647 12288 24 | 1.800 % |
56.93/57.18 c | 12561 | 13479 55682 165655 | 2147483647 12464 24 | 1.800 % |
57.73/57.98 c | 12754 | 13479 55682 165655 | 2147483647 12657 24 | 1.800 % |
58.73/58.96 c | 12966 | 13479 55682 165655 | 2147483647 12869 24 | 1.800 % |
59.83/60.10 c | 13199 | 13479 55682 165655 | 2147483647 13102 24 | 1.800 % |
61.03/61.29 c | 13455 | 13479 55682 165655 | 2147483647 13358 24 | 1.800 % |
62.33/62.54 c | 13737 | 13479 55682 165655 | 2147483647 13640 24 | 1.800 % |
63.73/63.96 c | 14047 | 13479 55682 165655 | 2147483647 13950 24 | 1.800 % |
64.13/64.41 c | 14149 | 13479 55682 165655 | 2147483647 14052 24 | 1.800 % |
64.73/64.96 c | 14260 | 13479 55682 165655 | 2147483647 14163 24 | 1.800 % |
65.33/65.59 c | 14381 | 13479 55682 165655 | 2147483647 14284 24 | 1.800 % |
65.93/66.19 c | 14515 | 13479 55682 165655 | 2147483647 14418 24 | 1.800 % |
66.63/66.82 c | 14662 | 13479 55682 165655 | 2147483647 14565 23 | 1.800 % |
67.13/67.34 c | 14822 | 13479 55682 165655 | 2147483647 14725 24 | 1.800 % |
67.93/68.15 c | 14999 | 13479 55682 165655 | 2147483647 14902 24 | 1.800 % |
68.83/69.03 c | 15192 | 13479 55682 165655 | 2147483647 15095 24 | 1.800 % |
69.83/70.10 c | 15404 | 13479 55682 165655 | 2147483647 15307 24 | 1.800 % |
70.83/71.08 c | 15638 | 13479 55682 165655 | 2147483647 15541 24 | 1.800 % |
72.03/72.26 c | 15896 | 13479 55682 165655 | 2147483647 15799 24 | 1.800 % |
73.13/73.42 c | 16178 | 13479 55682 165655 | 2147483647 16081 24 | 1.800 % |
74.43/74.72 c | 16487 | 13479 55682 165655 | 2147483647 16390 24 | 1.800 % |
75.73/75.93 c | 16827 | 13479 55682 165655 | 2147483647 16730 24 | 1.800 % |
76.23/76.44 c | 16928 | 13479 55682 165655 | 2147483647 16831 24 | 1.800 % |
76.73/76.94 c | 17039 | 13479 55682 165655 | 2147483647 16942 24 | 1.800 % |
77.23/77.44 c | 17160 | 13479 55682 165655 | 2147483647 17063 24 | 1.800 % |
77.83/78.08 c | 17293 | 13479 55682 165655 | 2147483647 17196 24 | 1.800 % |
78.43/78.65 c | 17440 | 13479 55682 165655 | 2147483647 17343 24 | 1.800 % |
78.83/79.05 c | 17600 | 13479 55682 165655 | 2147483647 17503 24 | 1.800 % |
79.53/79.74 c | 17777 | 13479 55682 165655 | 2147483647 17680 24 | 1.800 % |
80.33/80.62 c | 17971 | 13479 55682 165655 | 2147483647 17874 24 | 1.800 % |
81.53/81.73 c | 18184 | 13479 55682 165655 | 2147483647 18087 24 | 1.800 % |
82.73/82.95 c | 18417 | 13479 55682 165655 | 2147483647 18320 24 | 1.800 % |
84.03/84.27 c | 18673 | 13479 55682 165655 | 2147483647 18576 24 | 1.800 % |
85.72/85.95 c | 18954 | 13479 55682 165655 | 2147483647 18857 24 | 1.800 % |
87.32/87.56 c | 19263 | 13479 55682 165655 | 2147483647 19166 24 | 1.800 % |
88.93/89.15 c | 19602 | 13479 55682 165655 | 2147483647 19505 24 | 1.800 % |
90.62/90.88 c | 19974 | 13479 55682 165655 | 2147483647 19877 24 | 1.800 % |
91.22/91.46 c | 20075 | 13479 55682 165655 | 2147483647 19978 24 | 1.800 % |
91.62/91.89 c | 20186 | 13479 55682 165655 | 2147483647 20089 24 | 1.800 % |
92.32/92.53 c | 20308 | 13479 55682 165655 | 2147483647 20211 24 | 1.800 % |
92.92/93.16 c | 20442 | 13479 55682 165655 | 2147483647 20345 24 | 1.800 % |
93.52/93.79 c | 20588 | 13479 55682 165655 | 2147483647 20491 24 | 1.800 % |
94.22/94.42 c | 20749 | 13479 55682 165655 | 2147483647 20652 24 | 1.800 % |
94.92/95.13 c | 20926 | 13479 55682 165655 | 2147483647 20829 24 | 1.800 % |
95.82/96.09 c | 21120 | 13479 55682 165655 | 2147483647 21023 24 | 1.800 % |
96.82/97.09 c | 21332 | 13479 55682 165655 | 2147483647 21235 24 | 1.800 % |
97.92/98.14 c | 21567 | 13433 55470 165174 | 2147483647 21469 24 | 2.135 % |
99.22/99.44 c | 21823 | 13433 55470 165174 | 2147483647 21725 24 | 2.135 % |
100.62/100.87 c | 22105 | 13433 55470 165174 | 2147483647 22007 24 | 2.135 % |
100.92/101.18 c | 22417 | 13433 55470 165174 | 2147483647 22319 25 | 2.135 % |
102.32/102.54 c | 22757 | 13433 55470 165174 | 2147483647 22659 25 | 2.135 % |
104.42/104.63 c | 23129 | 13433 55470 165174 | 2147483647 23031 25 | 2.135 % |
106.62/106.81 c | 23538 | 13433 55470 165174 | 2147483647 23440 25 | 2.135 % |
107.22/107.43 c | 23639 | 13433 55470 165174 | 2147483647 23541 25 | 2.135 % |
107.82/108.03 c | 23750 | 13433 55470 165174 | 2147483647 23652 25 | 2.135 % |
108.32/108.58 c | 23871 | 13433 55470 165174 | 2147483647 23773 25 | 2.135 % |
109.02/109.28 c | 24004 | 13433 55470 165174 | 2147483647 23906 25 | 2.135 % |
109.83/110.05 c | 24151 | 13433 55470 165174 | 2147483647 24053 25 | 2.135 % |
110.72/110.96 c | 24311 | 13433 55470 165174 | 2147483647 24213 25 | 2.135 % |
111.62/111.89 c | 24488 | 13433 55470 165174 | 2147483647 24390 25 | 2.135 % |
112.62/112.91 c | 24681 | 13433 55470 165174 | 2147483647 24583 25 | 2.135 % |
113.82/114.10 c | 24893 | 13433 55470 165174 | 2147483647 24795 25 | 2.135 % |
115.22/115.44 c | 25127 | 13433 55470 165174 | 2147483647 25029 25 | 2.135 % |
116.52/116.76 c | 25383 | 13433 55470 165174 | 2147483647 25285 25 | 2.135 % |
117.32/117.59 c | 25664 | 13433 55470 165174 | 2147483647 25566 25 | 2.135 % |
118.92/119.16 c | 25973 | 13433 55470 165174 | 2147483647 25875 25 | 2.135 % |
120.52/120.73 c | 26314 | 13433 55470 165174 | 2147483647 26216 25 | 2.135 % |
122.02/122.29 c | 26686 | 13433 55470 165174 | 2147483647 26588 25 | 2.135 % |
124.13/124.37 c | 27097 | 13433 55470 165174 | 2147483647 26999 25 | 2.135 % |
126.22/126.50 c | 27547 | 13433 55470 165174 | 2147483647 27449 25 | 2.135 % |
126.82/127.04 c | 27647 | 13433 55470 165174 | 2147483647 27549 25 | 2.135 % |
127.43/127.63 c | 27758 | 13433 55470 165174 | 2147483647 27660 25 | 2.135 % |
128.02/128.29 c | 27880 | 13433 55470 165174 | 2147483647 27782 25 | 2.135 % |
128.62/128.88 c | 28013 | 13433 55470 165174 | 2147483647 27915 25 | 2.135 % |
129.42/129.66 c | 28160 | 13433 55470 165174 | 2147483647 28062 25 | 2.135 % |
129.92/130.19 c | 28320 | 13433 55470 165174 | 2147483647 28222 25 | 2.135 % |
130.83/131.09 c | 28496 | 13433 55470 165174 | 2147483647 28398 25 | 2.135 % |
131.83/132.06 c | 28689 | 13433 55470 165174 | 2147483647 28591 25 | 2.135 % |
132.93/133.12 c | 28903 | 13433 55470 165174 | 2147483647 28805 25 | 2.135 % |
133.83/134.09 c | 29137 | 13433 55470 165174 | 2147483647 29039 25 | 2.135 % |
135.43/135.62 c | 29394 | 13433 55470 165174 | 2147483647 29296 25 | 2.135 % |
137.03/137.31 c | 29676 | 13433 55470 165174 | 2147483647 29578 25 | 2.135 % |
138.63/138.85 c | 29985 | 13433 55470 165174 | 2147483647 29887 25 | 2.135 % |
140.33/140.59 c | 30324 | 13433 55470 165174 | 2147483647 30226 25 | 2.135 % |
142.23/142.43 c | 30696 | 13433 55470 165174 | 2147483647 30598 25 | 2.135 % |
144.33/144.55 c | 31105 | 13433 55470 165174 | 2147483647 31007 25 | 2.135 % |
146.73/146.94 c | 31554 | 13433 55470 165174 | 2147483647 31456 25 | 2.135 % |
149.23/149.42 c | 32047 | 13433 55470 165174 | 2147483647 31949 25 | 2.135 % |
149.73/149.96 c | 32147 | 13433 55470 165174 | 2147483647 32049 25 | 2.135 % |
150.13/150.35 c | 32257 | 13433 55470 165174 | 2147483647 32159 25 | 2.135 % |
150.73/150.97 c | 32379 | 13433 55470 165174 | 2147483647 32281 25 | 2.135 % |
151.43/151.72 c | 32512 | 13433 55470 165174 | 2147483647 32414 25 | 2.135 % |
152.13/152.40 c | 32658 | 13433 55470 165174 | 2147483647 32560 25 | 2.135 % |
153.23/153.43 c | 32818 | 13433 55470 165174 | 2147483647 32720 25 | 2.135 % |
154.13/154.35 c | 32995 | 13433 55470 165174 | 2147483647 32897 25 | 2.135 % |
155.23/155.47 c | 33189 | 13433 55470 165174 | 2147483647 33091 25 | 2.135 % |
156.33/156.61 c | 33402 | 13433 55470 165174 | 2147483647 33304 25 | 2.135 % |
157.43/157.68 c | 33635 | 13433 55470 165174 | 2147483647 33537 25 | 2.135 % |
159.03/159.25 c | 33892 | 13433 55470 165174 | 2147483647 33794 25 | 2.135 % |
160.23/160.48 c | 34174 | 13433 55470 165174 | 2147483647 34076 25 | 2.135 % |
161.73/161.97 c | 34484 | 13433 55470 165174 | 2147483647 34386 25 | 2.135 % |
163.23/163.51 c | 34824 | 13433 55470 165174 | 2147483647 34726 25 | 2.135 % |
165.13/165.35 c | 35196 | 13433 55470 165174 | 2147483647 35098 25 | 2.135 % |
166.83/167.05 c | 35605 | 13433 55470 165174 | 2147483647 35507 25 | 2.135 % |
169.03/169.28 c | 36054 | 13433 55470 165174 | 2147483647 35956 25 | 2.135 % |
171.63/171.82 c | 36549 | 13433 55470 165174 | 2147483647 36451 25 | 2.135 % |
173.63/173.86 c | 37092 | 13433 55470 165174 | 2147483647 36994 25 | 2.135 % |
174.13/174.34 c | 37192 | 13433 55470 165174 | 2147483647 37094 26 | 2.135 % |
174.43/174.64 c | 37303 | 13433 55470 165174 | 2147483647 37205 26 | 2.135 % |
174.93/175.14 c | 37425 | 13433 55470 165174 | 2147483647 37327 26 | 2.135 % |
175.63/175.91 c | 37559 | 13433 55470 165174 | 2147483647 37461 26 | 2.135 % |
176.53/176.77 c | 37707 | 13433 55470 165174 | 2147483647 37609 26 | 2.135 % |
177.33/177.59 c | 37867 | 13433 55470 165174 | 2147483647 37769 26 | 2.135 % |
178.43/178.61 c | 38044 | 13433 55470 165174 | 2147483647 37946 26 | 2.135 % |
179.23/179.51 c | 38238 | 13433 55470 165174 | 2147483647 38140 26 | 2.135 % |
180.03/180.22 c | 38450 | 13433 55470 165174 | 2147483647 38352 26 | 2.135 % |
181.03/181.30 c | 38684 | 13433 55470 165174 | 2147483647 38586 26 | 2.135 % |
182.23/182.49 c | 38940 | 13433 55470 165174 | 2147483647 38842 26 | 2.135 % |
184.03/184.26 c | 39222 | 13433 55470 165174 | 2147483647 39124 26 | 2.135 % |
186.03/186.27 c | 39531 | 13433 55470 165174 | 2147483647 39433 26 | 2.135 % |
188.33/188.54 c | 39871 | 13433 55470 165174 | 2147483647 39773 26 | 2.135 % |
190.23/190.46 c | 40244 | 13433 55470 165174 | 2147483647 40146 26 | 2.135 % |
191.73/191.95 c | 40653 | 13433 55470 165174 | 2147483647 40555 26 | 2.135 % |
194.23/194.45 c | 41102 | 13433 55470 165174 | 2147483647 41004 26 | 2.135 % |
196.53/196.82 c | 41596 | 13433 55470 165174 | 2147483647 41498 26 | 2.135 % |
199.82/200.01 c | 42139 | 13433 55470 165174 | 2147483647 42041 26 | 2.135 % |
203.33/203.55 c | 42735 | 13433 55470 165174 | 2147483647 42637 25 | 2.135 % |
203.82/204.05 c | 42835 | 13433 55470 165174 | 2147483647 42737 25 | 2.135 % |
204.52/204.73 c | 42946 | 13433 55470 165174 | 2147483647 42848 25 | 2.135 % |
205.32/205.55 c | 43068 | 13433 55470 165174 | 2147483647 42970 25 | 2.135 % |
206.12/206.38 c | 43202 | 13433 55470 165174 | 2147483647 43104 25 | 2.135 % |
207.12/207.34 c | 43350 | 13433 55470 165174 | 2147483647 43252 25 | 2.135 % |
208.12/208.34 c | 43511 | 13433 55470 165174 | 2147483647 43413 25 | 2.135 % |
209.12/209.39 c | 43687 | 13433 55470 165174 | 2147483647 43589 25 | 2.135 % |
210.32/210.60 c | 43880 | 13433 55470 165174 | 2147483647 43782 25 | 2.135 % |
211.42/211.70 c | 44094 | 13433 55470 165174 | 2147483647 43996 25 | 2.135 % |
212.62/212.89 c | 44327 | 13433 55470 165174 | 2147483647 44229 25 | 2.135 % |
214.22/214.45 c | 44584 | 13433 55470 165174 | 2147483647 44486 25 | 2.135 % |
215.82/216.06 c | 44867 | 13433 55470 165174 | 2147483647 44769 25 | 2.135 % |
217.63/217.88 c | 45177 | 13433 55470 165174 | 2147483647 45079 25 | 2.135 % |
219.83/220.02 c | 45517 | 13433 55470 165174 | 2147483647 45419 25 | 2.135 % |
222.03/222.29 c | 45890 | 13433 55470 165174 | 2147483647 45792 25 | 2.135 % |
224.52/224.77 c | 46300 | 13433 55470 165174 | 2147483647 46202 25 | 2.135 % |
227.02/227.21 c | 46751 | 13433 55470 165174 | 2147483647 46653 25 | 2.135 % |
229.92/230.11 c | 47246 | 13433 55470 165174 | 2147483647 47148 25 | 2.135 % |
232.72/232.91 c | 47788 | 13433 55470 165174 | 2147483647 47690 25 | 2.135 % |
235.92/236.19 c | 48385 | 13433 55470 165174 | 2147483647 48287 25 | 2.135 % |
239.42/239.61 c | 49040 | 13433 55470 165174 | 2147483647 48942 25 | 2.135 % |
239.92/240.13 c | 49140 | 13433 55470 165174 | 2147483647 49042 25 | 2.135 % |
240.62/240.81 c | 49251 | 13433 55470 165174 | 2147483647 49153 25 | 2.135 % |
241.12/241.32 c | 49372 | 13433 55470 165174 | 2147483647 49274 25 | 2.135 % |
241.92/242.12 c | 49506 | 13433 55470 165174 | 2147483647 49408 25 | 2.135 % |
242.82/243.02 c | 49653 | 13433 55470 165174 | 2147483647 49555 25 | 2.135 % |
243.82/244.03 c | 49814 | 13433 55470 165174 | 2147483647 49716 25 | 2.135 % |
244.82/245.03 c | 49990 | 13433 55470 165174 | 2147483647 49892 25 | 2.135 % |
245.63/245.83 c | 50183 | 13433 55470 165174 | 2147483647 50085 25 | 2.135 % |
246.73/246.93 c | 50395 | 13433 55470 165174 | 2147483647 50297 25 | 2.135 % |
248.03/248.26 c | 50629 | 13433 55470 165174 | 2147483647 50531 25 | 2.135 % |
249.73/249.96 c | 50885 | 13433 55470 165174 | 2147483647 50787 25 | 2.135 % |
251.63/251.83 c | 51166 | 13433 55470 165174 | 2147483647 51068 25 | 2.135 % |
253.53/253.77 c | 51475 | 13433 55470 165174 | 2147483647 51377 25 | 2.135 % |
255.73/255.96 c | 51815 | 13433 55470 165174 | 2147483647 51717 25 | 2.135 % |
258.03/258.25 c | 52187 | 13433 55470 165174 | 2147483647 52089 25 | 2.135 % |
260.83/261.09 c | 52597 | 13433 55470 165174 | 2147483647 52499 25 | 2.135 % |
263.43/263.61 c | 53047 | 13433 55470 165174 | 2147483647 52949 25 | 2.135 % |
266.43/266.62 c | 53540 | 13433 55470 165174 | 2147483647 53442 25 | 2.135 % |
269.73/269.97 c | 54084 | 13433 55470 165174 | 2147483647 53986 25 | 2.135 % |
273.23/273.42 c | 54681 | 13433 55470 165174 | 2147483647 54583 25 | 2.135 % |
277.03/277.29 c | 55337 | 13433 55470 165174 | 2147483647 55239 25 | 2.135 % |
280.83/281.06 c | 56057 | 13433 55470 165174 | 2147483647 55959 25 | 2.135 % |
281.43/281.66 c | 56158 | 13433 55470 165174 | 2147483647 56060 25 | 2.135 % |
282.13/282.39 c | 56268 | 13433 55470 165174 | 2147483647 56170 25 | 2.135 % |
283.03/283.25 c | 56390 | 13433 55470 165174 | 2147483647 56292 25 | 2.135 % |
283.93/284.17 c | 56523 | 13433 55470 165174 | 2147483647 56425 25 | 2.135 % |
284.83/285.04 c | 56671 | 13433 55470 165174 | 2147483647 56573 25 | 2.135 % |
285.53/285.77 c | 56832 | 13433 55470 165174 | 2147483647 56734 25 | 2.135 % |
286.43/286.65 c | 57009 | 13433 55470 165174 | 2147483647 56911 25 | 2.135 % |
287.53/287.78 c | 57202 | 13433 55470 165174 | 2147483647 57104 25 | 2.135 % |
288.83/289.06 c | 57414 | 13433 55470 165174 | 2147483647 57316 25 | 2.135 % |
290.23/290.47 c | 57648 | 13433 55470 165174 | 2147483647 57550 25 | 2.135 % |
292.13/292.33 c | 57905 | 13433 55470 165174 | 2147483647 57807 25 | 2.135 % |
293.83/294.02 c | 58186 | 13433 55470 165174 | 2147483647 58088 25 | 2.135 % |
295.63/295.86 c | 58495 | 13433 55470 165174 | 2147483647 58397 25 | 2.135 % |
297.63/297.87 c | 58834 | 13433 55470 165174 | 2147483647 58736 25 | 2.135 % |
299.83/300.10 c | 59207 | 13433 55470 165174 | 2147483647 59109 25 | 2.135 % |
302.23/302.42 c | 59616 | 13433 55470 165174 | 2147483647 59518 25 | 2.135 % |
305.03/305.25 c | 60066 | 13433 55470 165174 | 2147483647 59968 25 | 2.135 % |
308.13/308.38 c | 60561 | 13433 55470 165174 | 2147483647 60463 25 | 2.135 % |
311.63/311.85 c | 61104 | 13433 55470 165174 | 2147483647 61006 25 | 2.135 % |
315.43/315.65 c | 61700 | 13433 55470 165174 | 2147483647 61602 25 | 2.135 % |
319.63/319.83 c | 62357 | 13433 55470 165174 | 2147483647 62259 25 | 2.135 % |
323.33/323.58 c | 63078 | 13433 55470 165174 | 2147483647 62980 25 | 2.135 % |
328.43/328.61 c | 63870 | 13433 55470 165174 | 2147483647 63772 25 | 2.135 % |
329.03/329.23 c | 63970 | 13433 55470 165174 | 2147483647 63872 25 | 2.135 % |
329.73/329.99 c | 64081 | 13433 55470 165174 | 2147483647 63983 25 | 2.135 % |
330.63/330.84 c | 64205 | 13433 55470 165174 | 2147483647 64107 25 | 2.135 % |
331.53/331.71 c | 64338 | 13433 55470 165174 | 2147483647 64240 25 | 2.135 % |
332.33/332.58 c | 64485 | 13433 55470 165174 | 2147483647 64387 25 | 2.135 % |
333.43/333.67 c | 64646 | 13433 55470 165174 | 2147483647 64548 25 | 2.135 % |
334.53/334.77 c | 64822 | 13433 55470 165174 | 2147483647 64724 25 | 2.135 % |
335.73/335.94 c | 65016 | 13433 55470 165174 | 2147483647 64918 25 | 2.135 % |
337.03/337.22 c | 65228 | 13433 55470 165174 | 2147483647 65130 25 | 2.135 % |
338.53/338.75 c | 65461 | 13433 55470 165174 | 2147483647 65363 25 | 2.135 % |
340.43/340.62 c | 65717 | 13433 55470 165174 | 2147483647 65619 25 | 2.135 % |
342.43/342.69 c | 65999 | 13433 55470 165174 | 2147483647 65901 25 | 2.135 % |
344.53/344.75 c | 66308 | 13433 55470 165174 | 2147483647 66210 25 | 2.135 % |
346.73/346.94 c | 66647 | 13433 55470 165174 | 2147483647 66549 25 | 2.135 % |
348.73/348.94 c | 67020 | 13433 55470 165174 | 2147483647 66922 25 | 2.135 % |
351.43/351.65 c | 67429 | 13433 55470 165174 | 2147483647 67331 25 | 2.135 % |
353.93/354.19 c | 67879 | 13433 55470 165174 | 2147483647 67781 25 | 2.135 % |
355.83/356.05 c | 68372 | 13433 55470 165174 | 2147483647 68274 25 | 2.135 % |
358.13/358.38 c | 68915 | 13433 55470 165174 | 2147483647 68817 25 | 2.135 % |
360.84/361.06 c | 69513 | 13433 55470 165174 | 2147483647 69415 26 | 2.135 % |
364.74/364.96 c | 70168 | 13433 55470 165174 | 2147483647 70070 26 | 2.135 % |
369.24/369.49 c | 70888 | 13433 55470 165174 | 2147483647 70790 26 | 2.135 % |
374.34/374.58 c | 71681 | 13433 55470 165174 | 2147483647 71583 26 | 2.135 % |
379.74/379.99 c | 72553 | 13433 55470 165174 | 2147483647 72455 26 | 2.135 % |
380.54/380.81 c | 72654 | 13433 55470 165174 | 2147483647 72556 26 | 2.135 % |
381.44/381.63 c | 72765 | 13433 55470 165174 | 2147483647 72667 26 | 2.135 % |
382.24/382.48 c | 72887 | 13433 55470 165174 | 2147483647 72789 26 | 2.135 % |
383.24/383.46 c | 73020 | 13433 55470 165174 | 2147483647 72922 26 | 2.135 % |
384.14/384.34 c | 73168 | 13433 55470 165174 | 2147483647 73070 26 | 2.135 % |
385.14/385.40 c | 73329 | 13433 55470 165174 | 2147483647 73231 26 | 2.135 % |
386.34/386.58 c | 73505 | 13433 55470 165174 | 2147483647 73407 26 | 2.135 % |
387.74/387.98 c | 73698 | 13433 55470 165174 | 2147483647 73600 26 | 2.135 % |
389.34/389.52 c | 73911 | 13433 55470 165174 | 2147483647 73813 26 | 2.135 % |
390.84/391.02 c | 74145 | 13433 55470 165174 | 2147483647 74047 26 | 2.135 % |
392.34/392.59 c | 74402 | 13433 55470 165174 | 2147483647 74304 26 | 2.135 % |
394.54/394.73 c | 74684 | 13433 55470 165174 | 2147483647 74586 26 | 2.135 % |
396.24/396.42 c | 74993 | 13433 55470 165174 | 2147483647 74895 26 | 2.135 % |
398.04/398.25 c | 75332 | 13433 55470 165174 | 2147483647 75234 26 | 2.135 % |
399.24/399.47 c | 75704 | 13433 55470 165174 | 2147483647 75606 26 | 2.135 % |
402.14/402.35 c | 76113 | 13433 55470 165174 | 2147483647 76015 26 | 2.135 % |
405.34/405.60 c | 76562 | 13433 55470 165174 | 2147483647 76464 26 | 2.135 % |
408.84/409.08 c | 77055 | 13433 55470 165174 | 2147483647 76957 26 | 2.135 % |
412.64/412.82 c | 77598 | 13433 55470 165174 | 2147483647 77500 26 | 2.135 % |
416.34/416.60 c | 78195 | 13433 55470 165174 | 2147483647 78097 26 | 2.135 % |
420.64/420.88 c | 78851 | 13433 55470 165174 | 2147483647 78753 26 | 2.135 % |
425.74/425.99 c | 79572 | 13433 55470 165174 | 2147483647 79474 26 | 2.135 % |
431.64/431.83 c | 80365 | 13433 55470 165174 | 2147483647 80267 26 | 2.135 % |
437.34/437.58 c | 81236 | 13433 55470 165174 | 2147483647 81138 26 | 2.135 % |
443.53/443.73 c | 82195 | 13433 55470 165174 | 2147483647 82097 26 | 2.135 % |
444.24/444.41 c | 82295 | 13433 55470 165174 | 2147483647 82197 26 | 2.135 % |
444.93/445.11 c | 82406 | 13433 55470 165174 | 2147483647 82308 26 | 2.135 % |
445.73/445.93 c | 82528 | 13433 55470 165174 | 2147483647 82430 26 | 2.135 % |
446.63/446.82 c | 82661 | 13433 55470 165174 | 2147483647 82563 26 | 2.135 % |
447.63/447.83 c | 82808 | 13433 55470 165174 | 2147483647 82710 26 | 2.135 % |
448.73/448.97 c | 82968 | 13433 55470 165174 | 2147483647 82870 26 | 2.135 % |
450.03/450.20 c | 83145 | 13433 55470 165174 | 2147483647 83047 26 | 2.135 % |
451.33/451.52 c | 83340 | 13433 55470 165174 | 2147483647 83242 26 | 2.135 % |
452.83/453.05 c | 83555 | 13433 55470 165174 | 2147483647 83457 26 | 2.135 % |
454.33/454.55 c | 83789 | 13433 55470 165174 | 2147483647 83691 26 | 2.135 % |
455.93/456.13 c | 84046 | 13433 55470 165174 | 2147483647 83948 26 | 2.135 % |
457.73/457.95 c | 84327 | 13433 55470 165174 | 2147483647 84229 26 | 2.135 % |
459.93/460.14 c | 84637 | 13433 55470 165174 | 2147483647 84539 26 | 2.135 % |
462.63/462.87 c | 84976 | 13433 55470 165174 | 2147483647 84878 26 | 2.135 % |
465.73/465.93 c | 85349 | 13433 55470 165174 | 2147483647 85251 26 | 2.135 % |
468.23/468.47 c | 85759 | 13433 55470 165174 | 2147483647 85661 26 | 2.135 % |
471.23/471.45 c | 86209 | 13433 55470 165174 | 2147483647 86111 26 | 2.135 % |
474.84/475.07 c | 86702 | 13433 55470 165174 | 2147483647 86604 26 | 2.135 % |
478.94/479.20 c | 87245 | 13433 55470 165174 | 2147483647 87147 26 | 2.135 % |
482.84/483.07 c | 87843 | 13433 55470 165174 | 2147483647 87745 26 | 2.135 % |
487.24/487.45 c | 88498 | 13433 55470 165174 | 2147483647 88400 26 | 2.135 % |
492.64/492.82 c | 89218 | 13433 55470 165174 | 2147483647 89120 26 | 2.135 % |
498.24/498.48 c | 90010 | 13433 55470 165174 | 2147483647 89912 26 | 2.135 % |
504.44/504.66 c | 90882 | 13433 55470 165174 | 2147483647 90784 26 | 2.135 % |
511.54/511.72 c | 91841 | 13433 55470 165174 | 2147483647 91743 26 | 2.135 % |
519.14/519.39 c | 92894 | 13433 55470 165174 | 2147483647 92796 26 | 2.135 % |
519.94/520.19 c | 92995 | 13433 55470 165174 | 2147483647 92897 26 | 2.135 % |
520.74/521.00 c | 93105 | 13433 55470 165174 | 2147483647 93007 26 | 2.135 % |
521.64/521.86 c | 93226 | 13433 55470 165174 | 2147483647 93128 26 | 2.135 % |
522.54/522.80 c | 93360 | 13433 55470 165174 | 2147483647 93262 26 | 2.135 % |
523.54/523.71 c | 93508 | 13433 55470 165174 | 2147483647 93410 26 | 2.135 % |
524.44/524.70 c | 93668 | 13433 55470 165174 | 2147483647 93570 26 | 2.135 % |
525.94/526.16 c | 93845 | 13433 55470 165174 | 2147483647 93747 26 | 2.135 % |
526.94/527.20 c | 94038 | 13433 55470 165174 | 2147483647 93940 26 | 2.135 % |
528.44/528.62 c | 94251 | 13433 55470 165174 | 2147483647 94153 26 | 2.135 % |
530.14/530.32 c | 94485 | 13433 55470 165174 | 2147483647 94387 26 | 2.135 % |
532.04/532.26 c | 94741 | 13433 55470 165174 | 2147483647 94643 26 | 2.135 % |
534.04/534.25 c | 95023 | 13433 55470 165174 | 2147483647 94925 26 | 2.135 % |
536.24/536.42 c | 95332 | 13433 55470 165174 | 2147483647 95234 26 | 2.135 % |
538.84/539.01 c | 95672 | 13433 55470 165174 | 2147483647 95574 26 | 2.135 % |
541.74/541.95 c | 96045 | 13433 55470 165174 | 2147483647 95947 26 | 2.135 % |
544.74/544.98 c | 96454 | 13433 55470 165174 | 2147483647 96356 26 | 2.135 % |
547.74/547.99 c | 96905 | 13433 55470 165174 | 2147483647 96807 26 | 2.135 % |
551.64/551.87 c | 97398 | 13433 55470 165174 | 2147483647 97300 26 | 2.135 % |
555.35/555.54 c | 97941 | 13433 55470 165174 | 2147483647 97843 26 | 2.135 % |
559.54/559.71 c | 98539 | 13433 55470 165174 | 2147483647 98441 26 | 2.135 % |
564.34/564.58 c | 99194 | 13433 55470 165174 | 2147483647 99096 26 | 2.135 % |
569.74/569.92 c | 99915 | 13433 55470 165174 | 2147483647 99817 26 | 2.135 % |
575.94/576.11 c | 100708 | 13433 55470 165174 | 2147483647 100610 26 | 2.135 % |
582.64/582.82 c | 101579 | 13433 55470 165174 | 2147483647 101481 25 | 2.135 % |
590.15/590.34 c | 102538 | 13433 55470 165174 | 2147483647 102440 25 | 2.135 % |
598.25/598.51 c | 103591 | 13433 55470 165174 | 2147483647 103493 25 | 2.135 % |
607.35/607.56 c | 104751 | 13433 55470 165174 | 2147483647 104653 25 | 2.135 % |
608.05/608.29 c | 104852 | 13433 55470 165174 | 2147483647 104754 25 | 2.135 % |
608.85/609.04 c | 104963 | 13433 55470 165174 | 2147483647 104865 25 | 2.135 % |
609.85/610.09 c | 105084 | 13433 55470 165174 | 2147483647 104986 25 | 2.135 % |
610.85/611.03 c | 105217 | 13433 55470 165174 | 2147483647 105119 25 | 2.135 % |
612.05/612.22 c | 105364 | 13433 55470 165174 | 2147483647 105266 25 | 2.135 % |
613.05/613.23 c | 105524 | 13433 55470 165174 | 2147483647 105426 25 | 2.135 % |
614.25/614.48 c | 105701 | 13433 55470 165174 | 2147483647 105603 25 | 2.135 % |
615.65/615.85 c | 105895 | 13433 55470 165174 | 2147483647 105797 25 | 2.135 % |
617.45/617.71 c | 106108 | 13433 55470 165174 | 2147483647 106010 25 | 2.135 % |
619.35/619.61 c | 106341 | 13433 55470 165174 | 2147483647 106243 25 | 2.135 % |
621.55/621.74 c | 106597 | 13433 55470 165174 | 2147483647 106499 25 | 2.135 % |
623.55/623.79 c | 106878 | 13433 55470 165174 | 2147483647 106780 25 | 2.135 % |
626.15/626.39 c | 107188 | 13433 55470 165174 | 2147483647 107090 25 | 2.135 % |
628.35/628.60 c | 107527 | 13433 55470 165174 | 2147483647 107429 25 | 2.135 % |
631.15/631.40 c | 107899 | 13433 55470 165174 | 2147483647 107801 25 | 2.135 % |
634.55/634.72 c | 108308 | 13433 55470 165174 | 2147483647 108210 25 | 2.135 % |
638.05/638.27 c | 108757 | 13433 55470 165174 | 2147483647 108659 25 | 2.135 % |
641.95/642.20 c | 109251 | 13433 55470 165174 | 2147483647 109153 25 | 2.135 % |
645.75/645.98 c | 109794 | 13433 55470 165174 | 2147483647 109696 25 | 2.135 % |
650.25/650.50 c | 110390 | 13433 55470 165174 | 2147483647 110292 25 | 2.135 % |
655.46/655.68 c | 111046 | 13433 55470 165174 | 2147483647 110948 25 | 2.135 % |
661.25/661.44 c | 111766 | 13433 55470 165174 | 2147483647 111668 25 | 2.135 % |
667.45/667.68 c | 112559 | 13433 55470 165174 | 2147483647 112461 25 | 2.135 % |
673.75/673.94 c | 113432 | 13433 55470 165174 | 2147483647 113334 25 | 2.135 % |
681.45/681.62 c | 114390 | 13433 55470 165174 | 2147483647 114292 25 | 2.135 % |
689.95/690.16 c | 115444 | 13433 55470 165174 | 2147483647 115346 25 | 2.135 % |
699.15/699.40 c | 116604 | 13433 55470 165174 | 2147483647 116506 25 | 2.135 % |
709.96/710.13 c | 117878 | 13433 55470 165174 | 2147483647 117780 25 | 2.135 % |
710.76/710.92 c | 117979 | 13433 55470 165174 | 2147483647 117881 25 | 2.135 % |
711.56/711.75 c | 118090 | 13433 55470 165174 | 2147483647 117992 25 | 2.135 % |
712.66/712.84 c | 118211 | 13433 55470 165174 | 2147483647 118113 25 | 2.135 % |
713.56/713.78 c | 118344 | 13433 55470 165174 | 2147483647 118246 25 | 2.135 % |
714.36/714.58 c | 118491 | 13433 55470 165174 | 2147483647 118393 25 | 2.135 % |
715.56/715.77 c | 118651 | 13433 55470 165174 | 2147483647 118553 25 | 2.135 % |
716.96/717.14 c | 118827 | 13433 55470 165174 | 2147483647 118729 25 | 2.135 % |
718.46/718.70 c | 119020 | 13433 55470 165174 | 2147483647 118922 25 | 2.135 % |
720.36/720.59 c | 119233 | 13433 55470 165174 | 2147483647 119135 25 | 2.135 % |
722.46/722.68 c | 119466 | 13433 55470 165174 | 2147483647 119368 25 | 2.135 % |
724.56/724.79 c | 119723 | 13433 55470 165174 | 2147483647 119625 25 | 2.135 % |
726.86/727.07 c | 120005 | 13433 55470 165174 | 2147483647 119907 25 | 2.135 % |
729.36/729.61 c | 120314 | 13433 55470 165174 | 2147483647 120216 25 | 2.135 % |
732.36/732.53 c | 120655 | 13433 55470 165174 | 2147483647 120557 25 | 2.135 % |
735.26/735.48 c | 121027 | 13433 55470 165174 | 2147483647 120929 25 | 2.135 % |
738.56/738.80 c | 121436 | 13433 55470 165174 | 2147483647 121338 25 | 2.135 % |
742.06/742.31 c | 121886 | 13433 55470 165174 | 2147483647 121788 25 | 2.135 % |
746.16/746.38 c | 122380 | 13433 55470 165174 | 2147483647 122282 25 | 2.135 % |
749.06/749.27 c | 122922 | 13433 55470 165174 | 2147483647 122824 25 | 2.135 % |
752.86/753.07 c | 123519 | 13433 55470 165174 | 2147483647 123421 25 | 2.135 % |
757.96/758.20 c | 124174 | 13433 55470 165174 | 2147483647 124076 25 | 2.135 % |
763.86/764.11 c | 124894 | 13433 55470 165174 | 2147483647 124796 25 | 2.135 % |
770.16/770.38 c | 125687 | 13433 55470 165174 | 2147483647 125589 25 | 2.135 % |
776.66/776.84 c | 126559 | 13433 55470 165174 | 2147483647 126461 25 | 2.135 % |
784.76/785.01 c | 127518 | 13433 55470 165174 | 2147483647 127420 25 | 2.135 % |
793.46/793.67 c | 128571 | 13433 55470 165174 | 2147483647 128473 25 | 2.135 % |
802.86/803.09 c | 129730 | 13433 55470 165174 | 2147483647 129632 25 | 2.135 % |
814.26/814.50 c | 131004 | 13433 55470 165174 | 2147483647 130906 25 | 2.135 % |
825.66/825.89 c | 132404 | 13433 55470 165174 | 2147483647 132306 25 | 2.135 % |
826.66/826.82 c | 132504 | 13433 55470 165174 | 2147483647 132406 25 | 2.135 % |
827.46/827.61 c | 132614 | 13433 55470 165174 | 2147483647 132516 25 | 2.135 % |
828.46/828.65 c | 132736 | 13433 55470 165174 | 2147483647 132638 25 | 2.135 % |
829.66/829.82 c | 132870 | 13433 55470 165174 | 2147483647 132772 25 | 2.135 % |
830.76/830.99 c | 133017 | 13433 55470 165174 | 2147483647 132919 25 | 2.135 % |
832.26/832.48 c | 133178 | 13433 55470 165174 | 2147483647 133080 25 | 2.135 % |
833.96/834.16 c | 133356 | 13433 55470 165174 | 2147483647 133258 25 | 2.135 % |
835.66/835.90 c | 133550 | 13433 55470 165174 | 2147483647 133452 25 | 2.135 % |
837.06/837.29 c | 133763 | 13433 55470 165174 | 2147483647 133665 25 | 2.135 % |
839.06/839.27 c | 133997 | 13433 55470 165174 | 2147483647 133899 25 | 2.135 % |
841.36/841.56 c | 134255 | 13433 55470 165174 | 2147483647 134157 25 | 2.135 % |
843.76/844.00 c | 134537 | 13433 55470 165174 | 2147483647 134439 25 | 2.135 % |
846.26/846.49 c | 134846 | 13433 55470 165174 | 2147483647 134748 25 | 2.135 % |
849.36/849.58 c | 135187 | 13433 55470 165174 | 2147483647 135089 25 | 2.135 % |
852.86/853.05 c | 135560 | 13433 55470 165174 | 2147483647 135462 25 | 2.135 % |
856.06/856.28 c | 135969 | 13433 55470 165174 | 2147483647 135871 25 | 2.135 % |
859.76/859.97 c | 136419 | 13433 55470 165174 | 2147483647 136321 25 | 2.135 % |
864.26/864.46 c | 136913 | 13433 55470 165174 | 2147483647 136815 25 | 2.135 % |
868.66/868.81 c | 137455 | 13433 55470 165174 | 2147483647 137357 25 | 2.135 % |
873.56/873.77 c | 138051 | 13433 55470 165174 | 2147483647 137953 25 | 2.135 % |
879.46/879.69 c | 138707 | 13433 55470 165174 | 2147483647 138609 25 | 2.135 % |
885.76/885.98 c | 139427 | 13433 55470 165174 | 2147483647 139329 25 | 2.135 % |
893.07/893.30 c | 140220 | 13433 55470 165174 | 2147483647 140122 25 | 2.135 % |
901.46/901.67 c | 141091 | 13433 55470 165174 | 2147483647 140993 25 | 2.135 % |
909.66/909.85 c | 142049 | 13433 55470 165174 | 2147483647 141951 25 | 2.135 % |
917.56/917.73 c | 143103 | 13433 55470 165174 | 2147483647 143005 25 | 2.135 % |
927.26/927.41 c | 144262 | 13433 55470 165174 | 2147483647 144164 25 | 2.135 % |
937.97/938.20 c | 145536 | 13433 55470 165174 | 2147483647 145438 25 | 2.135 % |
950.47/950.67 c | 146936 | 13433 55470 165174 | 2147483647 146838 25 | 2.135 % |
964.57/964.77 c | 148476 | 13433 55470 165174 | 2147483647 148378 25 | 2.135 % |
965.47/965.62 c | 148578 | 13433 55470 165174 | 2147483647 148480 25 | 2.135 % |
966.37/966.56 c | 148688 | 13433 55470 165174 | 2147483647 148590 25 | 2.135 % |
967.27/967.44 c | 148809 | 13433 55470 165174 | 2147483647 148711 25 | 2.135 % |
968.37/968.56 c | 148943 | 13433 55470 165174 | 2147483647 148845 25 | 2.135 % |
969.77/969.97 c | 149090 | 13433 55470 165174 | 2147483647 148992 25 | 2.135 % |
971.27/971.45 c | 149251 | 13433 55470 165174 | 2147483647 149153 25 | 2.135 % |
972.87/973.05 c | 149428 | 13433 55470 165174 | 2147483647 149330 25 | 2.135 % |
974.57/974.77 c | 149623 | 13433 55470 165174 | 2147483647 149525 25 | 2.135 % |
976.37/976.55 c | 149836 | 13433 55470 165174 | 2147483647 149738 25 | 2.135 % |
978.27/978.48 c | 150070 | 13433 55470 165174 | 2147483647 149972 25 | 2.135 % |
980.37/980.53 c | 150328 | 13433 55470 165174 | 2147483647 150230 25 | 2.135 % |
982.97/983.12 c | 150610 | 13433 55470 165174 | 2147483647 150512 25 | 2.135 % |
985.87/986.04 c | 150919 | 13433 55470 165174 | 2147483647 150821 25 | 2.135 % |
988.87/989.03 c | 151258 | 13433 55470 165174 | 2147483647 151160 25 | 2.135 % |
992.07/992.26 c | 151630 | 13433 55470 165174 | 2147483647 151532 25 | 2.135 % |
996.07/996.25 c | 152040 | 13433 55470 165174 | 2147483647 151942 25 | 2.135 % |
1000.27/1000.43 c | 152490 | 13433 55470 165174 | 2147483647 152392 25 | 2.135 % |
1004.97/1005.13 c | 152984 | 13433 55470 165174 | 2147483647 152886 25 | 2.135 % |
1009.77/1009.95 c | 153526 | 13433 55470 165174 | 2147483647 153428 25 | 2.135 % |
1015.27/1015.51 c | 154122 | 13433 55470 165174 | 2147483647 154024 25 | 2.135 % |
1018.57/1018.77 c | 154777 | 13433 55470 165174 | 2147483647 154679 25 | 2.135 % |
1022.97/1023.18 c | 155497 | 13433 55470 165174 | 2147483647 155399 25 | 2.135 % |
1030.47/1030.63 c | 156289 | 13433 55470 165174 | 2147483647 156191 25 | 2.135 % |
1039.07/1039.27 c | 157162 | 13433 55470 165174 | 2147483647 157064 25 | 2.135 % |
1047.18/1047.35 c | 158120 | 13433 55470 165174 | 2147483647 158022 25 | 2.135 % |
1056.88/1057.10 c | 159173 | 13433 55470 165174 | 2147483647 159075 25 | 2.135 % |
1067.97/1068.12 c | 160331 | 13433 55470 165174 | 2147483647 160233 25 | 2.135 % |
1080.47/1080.63 c | 161605 | 13433 55470 165174 | 2147483647 161507 25 | 2.135 % |
1093.97/1094.15 c | 163005 | 13433 55470 165174 | 2147483647 162907 25 | 2.135 % |
1108.67/1108.88 c | 164545 | 13433 55470 165174 | 2147483647 164447 25 | 2.135 % |
1123.37/1123.53 c | 166240 | 13433 55470 165174 | 2147483647 166142 25 | 2.135 % |
1124.47/1124.65 c | 166342 | 13433 55470 165174 | 2147483647 166244 25 | 2.135 % |
1125.57/1125.79 c | 166452 | 13433 55470 165174 | 2147483647 166354 25 | 2.135 % |
1126.17/1126.34 c | 166573 | 13433 55470 165174 | 2147483647 166475 25 | 2.135 % |
1127.47/1127.69 c | 166707 | 13433 55470 165174 | 2147483647 166609 25 | 2.135 % |
1128.97/1129.20 c | 166853 | 13433 55470 165174 | 2147483647 166755 25 | 2.135 % |
1130.47/1130.68 c | 167013 | 13433 55470 165174 | 2147483647 166915 25 | 2.135 % |
1132.17/1132.37 c | 167189 | 13433 55470 165174 | 2147483647 167091 25 | 2.135 % |
1134.17/1134.40 c | 167383 | 13433 55470 165174 | 2147483647 167285 25 | 2.135 % |
1136.37/1136.51 c | 167596 | 13433 55470 165174 | 2147483647 167498 25 | 2.135 % |
1138.57/1138.72 c | 167831 | 13433 55470 165174 | 2147483647 167733 25 | 2.135 % |
1141.07/1141.22 c | 168089 | 13433 55470 165174 | 2147483647 167991 25 | 2.135 % |
1143.27/1143.50 c | 168370 | 13433 55470 165174 | 2147483647 168272 25 | 2.135 % |
1146.17/1146.34 c | 168679 | 13433 55470 165174 | 2147483647 168581 25 | 2.135 % |
1148.77/1148.99 c | 169019 | 13433 55470 165174 | 2147483647 168921 25 | 2.135 % |
1151.58/1151.75 c | 169391 | 13433 55470 165174 | 2147483647 169293 25 | 2.135 % |
1154.77/1155.00 c | 169801 | 13433 55470 165174 | 2147483647 169703 25 | 2.135 % |
1158.87/1159.02 c | 170250 | 13433 55470 165174 | 2147483647 170152 25 | 2.135 % |
1162.77/1162.98 c | 170743 | 13433 55470 165174 | 2147483647 170645 25 | 2.135 % |
1168.07/1168.25 c | 171285 | 13433 55470 165174 | 2147483647 171187 25 | 2.135 % |
1173.37/1173.51 c | 171881 | 13433 55470 165174 | 2147483647 171783 25 | 2.135 % |
1179.37/1179.59 c | 172537 | 13433 55470 165174 | 2147483647 172439 25 | 2.135 % |
1185.37/1185.59 c | 173258 | 13433 55470 165174 | 2147483647 173160 25 | 2.135 % |
1192.67/1192.86 c | 174050 | 13433 55470 165174 | 2147483647 173952 25 | 2.135 % |
1200.07/1200.21 HOME/SatELiteGTI: line 36: 10132 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821148-1242512210/watcher-1821148-1242512210 -o /tmp/evaluation-result-1821148-1242512210/solver-1821148-1242512210 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821148-1242512210.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.01 1.00 1.00 2/93 10126
/proc/meminfo: memFree=1191364/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2416 CPUtime=0
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1015721862 2473984 277 4294967295 134512640 135169312 3221097264 3221095800 3085254382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10126/statm: 604 277 235 161 0 43 0
[pid=10130] ppid=10126 vsize=952 CPUtime=0
/proc/10130/stat : 10130 (SatELite_releas) R 10126 10126 10114 0 -1 4202496 91 0 0 0 0 0 0 0 18 0 1 0 1015721863 974848 27 4294967295 134512640 135223648 3219474832 3219474716 134661920 0 0 0 0 0 0 0 17 0 0 0 0
/proc/10130/statm: 238 40 31 174 0 63 0
[startup+0.056999 s]
/proc/loadavg: 1.01 1.00 1.00 2/93 10126
/proc/meminfo: memFree=1191364/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2416 CPUtime=0
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1015721862 2473984 277 4294967295 134512640 135169312 3221097264 3221095800 3085254382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10126/statm: 604 277 235 161 0 43 0
[pid=10130] ppid=10126 vsize=8652 CPUtime=0.06
/proc/10130/stat : 10130 (SatELite_releas) R 10126 10126 10114 0 -1 4202496 2035 0 0 0 6 0 0 0 18 0 1 0 1015721863 8859648 1971 4294967295 134512640 135223648 3219474832 3219473400 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10130/statm: 2163 1972 47 174 0 1988 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11068
[startup+0.116996 s]
/proc/loadavg: 1.01 1.00 1.00 2/93 10126
/proc/meminfo: memFree=1191364/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2416 CPUtime=0
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1015721862 2473984 277 4294967295 134512640 135169312 3221097264 3221095800 3085254382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10126/statm: 604 277 235 161 0 43 0
[pid=10130] ppid=10126 vsize=13736 CPUtime=0.12
/proc/10130/stat : 10130 (SatELite_releas) R 10126 10126 10114 0 -1 4202496 3406 0 0 0 12 0 0 0 18 0 1 0 1015721863 14065664 3204 4294967295 134512640 135223648 3219474832 3219472848 134586971 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10130/statm: 3434 3204 73 174 0 3259 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 16152
[startup+0.316985 s]
/proc/loadavg: 1.01 1.00 1.00 2/93 10126
/proc/meminfo: memFree=1191364/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2416 CPUtime=0
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1015721862 2473984 277 4294967295 134512640 135169312 3221097264 3221095800 3085254382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10126/statm: 604 277 235 161 0 43 0
[pid=10130] ppid=10126 vsize=14464 CPUtime=0.32
/proc/10130/stat : 10130 (SatELite_releas) R 10126 10126 10114 0 -1 4202496 3589 0 0 0 32 0 0 0 18 0 1 0 1015721863 14811136 3387 4294967295 134512640 135223648 3219474832 3219472848 134586689 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10130/statm: 3616 3387 73 174 0 3441 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 16880
[startup+0.716966 s]
/proc/loadavg: 1.01 1.00 1.00 2/93 10126
/proc/meminfo: memFree=1191364/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2416 CPUtime=0
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1015721862 2473984 277 4294967295 134512640 135169312 3221097264 3221095800 3085254382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10126/statm: 604 277 235 161 0 43 0
[pid=10130] ppid=10126 vsize=16028 CPUtime=0.72
/proc/10130/stat : 10130 (SatELite_releas) R 10126 10126 10114 0 -1 4202496 3783 0 0 0 72 0 0 0 18 0 1 0 1015721863 16412672 3581 4294967295 134512640 135223648 3219474832 3219472848 134586662 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10130/statm: 4007 3581 73 174 0 3832 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 18444
[startup+1.51693 s]
/proc/loadavg: 1.01 1.00 1.00 3/95 10131
/proc/meminfo: memFree=1173616/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2420 CPUtime=1.34
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 386 4874 0 0 0 0 133 1 18 0 1 0 1015721862 2478080 278 4294967295 134512640 135169312 3221097264 3221093480 3085254382 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10126/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 2420
[startup+3.11686 s]
/proc/loadavg: 1.01 1.00 1.00 2/95 10132
/proc/meminfo: memFree=1182172/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2420 CPUtime=1.34
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 386 4874 0 0 0 0 133 1 18 0 1 0 1015721862 2478080 278 4294967295 134512640 135169312 3221097264 3221093480 3085254382 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10126/statm: 605 278 235 161 0 44 0
[pid=10132] ppid=10126 vsize=5860 CPUtime=1.74
/proc/10132/stat : 10132 (minisat_static) R 10126 10126 10114 0 -1 4202496 1335 0 0 0 173 1 0 0 25 0 1 0 1015721996 6000640 1270 4294967295 134512640 135215339 3216887680 3216885968 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10132/statm: 1465 1270 72 172 0 1292 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 8280
[startup+6.3167 s]
/proc/loadavg: 1.01 1.00 1.00 2/95 10132
/proc/meminfo: memFree=1182048/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2420 CPUtime=1.34
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 386 4874 0 0 0 0 133 1 18 0 1 0 1015721862 2478080 278 4294967295 134512640 135169312 3221097264 3221093480 3085254382 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10126/statm: 605 278 235 161 0 44 0
[pid=10132] ppid=10126 vsize=5992 CPUtime=4.91
/proc/10132/stat : 10132 (minisat_static) R 10126 10126 10114 0 -1 4202496 1370 0 0 0 490 1 0 0 25 0 1 0 1015721996 6135808 1305 4294967295 134512640 135215339 3216887680 3216885968 134528691 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10132/statm: 1498 1305 72 172 0 1325 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 8412
[startup+12.7164 s]
/proc/loadavg: 1.01 1.00 1.00 3/95 10135
/proc/meminfo: memFree=1181508/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2420 CPUtime=1.34
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 386 4874 0 0 0 0 133 1 18 0 1 0 1015721862 2478080 278 4294967295 134512640 135169312 3221097264 3221093480 3085254382 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10126/statm: 605 278 235 161 0 44 0
[pid=10132] ppid=10126 vsize=6116 CPUtime=11.26
/proc/10132/stat : 10132 (minisat_static) R 10126 10126 10114 0 -1 4202496 1414 0 0 0 1125 1 0 0 25 0 1 0 1015721996 6262784 1349 4294967295 134512640 135215339 3216887680 3216885968 134528884 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10132/statm: 1529 1349 72 172 0 1356 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 8536
[startup+25.5258 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10137
/proc/meminfo: memFree=1181448/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2420 CPUtime=1.34
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 386 4874 0 0 0 0 133 1 18 0 1 0 1015721862 2478080 278 4294967295 134512640 135169312 3221097264 3221093480 3085254382 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10126/statm: 605 278 235 161 0 44 0
[pid=10132] ppid=10126 vsize=6508 CPUtime=24.03
/proc/10132/stat : 10132 (minisat_static) R 10126 10126 10114 0 -1 4202496 1508 0 0 0 2402 1 0 0 25 0 1 0 1015721996 6664192 1443 4294967295 134512640 135215339 3216887680 3216885968 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10132/statm: 1627 1443 72 172 0 1454 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 8928
[startup+51.1245 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 10320
/proc/meminfo: memFree=1180628/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2420 CPUtime=1.34
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 386 4874 0 0 0 0 133 1 18 0 1 0 1015721862 2478080 278 4294967295 134512640 135169312 3221097264 3221093480 3085254382 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10126/statm: 605 278 235 161 0 44 0
[pid=10132] ppid=10126 vsize=7332 CPUtime=49.59
/proc/10132/stat : 10132 (minisat_static) R 10126 10126 10114 0 -1 4202496 1721 0 0 0 4957 2 0 0 25 0 1 0 1015721996 7507968 1656 4294967295 134512640 135215339 3216887680 3216885968 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10132/statm: 1833 1656 72 172 0 1660 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 9752
[startup+102.322 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 10509
/proc/meminfo: memFree=1178564/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2420 CPUtime=1.34
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 386 4874 0 0 0 0 133 1 18 0 1 0 1015721862 2478080 278 4294967295 134512640 135169312 3221097264 3221093480 3085254382 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10126/statm: 605 278 235 161 0 44 0
[pid=10132] ppid=10126 vsize=9108 CPUtime=100.79
/proc/10132/stat : 10132 (minisat_static) R 10126 10126 10114 0 -1 4202496 2152 0 0 0 10076 3 0 0 25 0 1 0 1015721996 9326592 2087 4294967295 134512640 135215339 3216887680 3216885744 134537955 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10132/statm: 2277 2087 72 172 0 2104 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 11528
[startup+162.319 s]
/proc/loadavg: 1.00 1.00 1.00 4/95 10696
/proc/meminfo: memFree=1176836/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2420 CPUtime=1.34
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 386 4874 0 0 0 0 133 1 18 0 1 0 1015721862 2478080 278 4294967295 134512640 135169312 3221097264 3221093480 3085254382 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10126/statm: 605 278 235 161 0 44 0
[pid=10132] ppid=10126 vsize=10884 CPUtime=160.79
/proc/10132/stat : 10132 (minisat_static) R 10126 10126 10114 0 -1 4202496 2580 0 0 0 16075 4 0 0 25 0 1 0 1015721996 11145216 2515 4294967295 134512640 135215339 3216887680 3216885680 134532626 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10132/statm: 2721 2515 72 172 0 2548 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 13304
[startup+222.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 10885
/proc/meminfo: memFree=1174968/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2420 CPUtime=1.34
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 386 4874 0 0 0 0 133 1 18 0 1 0 1015721862 2478080 278 4294967295 134512640 135169312 3221097264 3221093480 3085254382 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10126/statm: 605 278 235 161 0 44 0
[pid=10132] ppid=10126 vsize=12624 CPUtime=220.78
/proc/10132/stat : 10132 (minisat_static) R 10126 10126 10114 0 -1 4202496 3014 0 0 0 22073 5 0 0 25 0 1 0 1015721996 12926976 2949 4294967295 134512640 135215339 3216887680 3216885952 134525121 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10132/statm: 3156 2949 72 172 0 2983 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 15044
[startup+282.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 11073
/proc/meminfo: memFree=1173432/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2420 CPUtime=1.34
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 386 4874 0 0 0 0 133 1 18 0 1 0 1015721862 2478080 278 4294967295 134512640 135169312 3221097264 3221093480 3085254382 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10126/statm: 605 278 235 161 0 44 0
[pid=10132] ppid=10126 vsize=14108 CPUtime=280.79
/proc/10132/stat : 10132 (minisat_static) R 10126 10126 10114 0 -1 4202496 3374 0 0 0 28074 5 0 0 25 0 1 0 1015721996 14446592 3309 4294967295 134512640 135215339 3216887680 3216885968 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10132/statm: 3527 3309 72 172 0 3354 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 16528
[startup+342.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 11259
/proc/meminfo: memFree=1171900/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2420 CPUtime=1.34
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 386 4874 0 0 0 0 133 1 18 0 1 0 1015721862 2478080 278 4294967295 134512640 135169312 3221097264 3221093480 3085254382 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10126/statm: 605 278 235 161 0 44 0
[pid=10132] ppid=10126 vsize=15756 CPUtime=340.79
/proc/10132/stat : 10132 (minisat_static) R 10126 10126 10114 0 -1 4202496 3734 0 0 0 34074 5 0 0 25 0 1 0 1015721996 16134144 3669 4294967295 134512640 135215339 3216887680 3216885968 134528624 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10132/statm: 3939 3669 72 172 0 3766 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 18176
[startup+402.318 s]
################
# More data... #
################
/proc/10126/statm: 605 278 235 161 0 44 0
[pid=10132] ppid=10126 vsize=18572 CPUtime=460.79
/proc/10132/stat : 10132 (minisat_static) R 10126 10126 10114 0 -1 4202496 4468 0 0 0 46073 6 0 0 25 0 1 0 1015721996 19017728 4403 4294967295 134512640 135215339 3216887680 3216885680 134532704 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10132/statm: 4643 4403 72 172 0 4470 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 20992
[startup+522.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 11830
/proc/meminfo: memFree=1167620/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2420 CPUtime=1.34
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 386 4874 0 0 0 0 133 1 18 0 1 0 1015721862 2478080 278 4294967295 134512640 135169312 3221097264 3221093480 3085254382 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10126/statm: 605 278 235 161 0 44 0
[pid=10132] ppid=10126 vsize=20048 CPUtime=520.8
/proc/10132/stat : 10132 (minisat_static) R 10126 10126 10114 0 -1 4202496 4780 0 0 0 52074 6 0 0 25 0 1 0 1015721996 20529152 4715 4294967295 134512640 135215339 3216887680 3216885968 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10132/statm: 5012 4715 72 172 0 4839 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 22468
[startup+582.309 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 12018
/proc/meminfo: memFree=1166660/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2420 CPUtime=1.34
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 386 4874 0 0 0 0 133 1 18 0 1 0 1015721862 2478080 278 4294967295 134512640 135169312 3221097264 3221093480 3085254382 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10126/statm: 605 278 235 161 0 44 0
[pid=10132] ppid=10126 vsize=21096 CPUtime=580.8
/proc/10132/stat : 10132 (minisat_static) R 10126 10126 10114 0 -1 4202496 5066 0 0 0 58074 6 0 0 25 0 1 0 1015721996 21602304 5001 4294967295 134512640 135215339 3216887680 3216885968 134528742 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10132/statm: 5274 5001 72 172 0 5101 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 23516
[startup+642.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 12204
/proc/meminfo: memFree=1165700/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2420 CPUtime=1.34
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 386 4874 0 0 0 0 133 1 18 0 1 0 1015721862 2478080 278 4294967295 134512640 135169312 3221097264 3221093480 3085254382 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10126/statm: 605 278 235 161 0 44 0
[pid=10132] ppid=10126 vsize=22264 CPUtime=640.81
/proc/10132/stat : 10132 (minisat_static) R 10126 10126 10114 0 -1 4202496 5324 0 0 0 64075 6 0 0 25 0 1 0 1015721996 22798336 5259 4294967295 134512640 135215339 3216887680 3216885680 134532626 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10132/statm: 5566 5259 72 172 0 5393 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 24684
[startup+702.323 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 12397
/proc/meminfo: memFree=1164760/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2420 CPUtime=1.34
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 386 4874 0 0 0 0 133 1 18 0 1 0 1015721862 2478080 278 4294967295 134512640 135169312 3221097264 3221093480 3085254382 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10126/statm: 605 278 235 161 0 44 0
[pid=10132] ppid=10126 vsize=23212 CPUtime=700.82
/proc/10132/stat : 10132 (minisat_static) R 10126 10126 10114 0 -1 4202496 5581 0 0 0 70076 6 0 0 25 0 1 0 1015721996 23769088 5516 4294967295 134512640 135215339 3216887680 3216885968 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10132/statm: 5803 5516 72 172 0 5630 0
Current children cumulated CPU time (s) 702.16
Current children cumulated vsize (KiB) 25632
[startup+762.32 s]
/proc/loadavg: 1.18 1.04 1.01 3/95 12584
/proc/meminfo: memFree=1163444/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2420 CPUtime=1.34
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 386 4874 0 0 0 0 133 1 18 0 1 0 1015721862 2478080 278 4294967295 134512640 135169312 3221097264 3221093480 3085254382 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10126/statm: 605 278 235 161 0 44 0
[pid=10132] ppid=10126 vsize=24580 CPUtime=760.82
/proc/10132/stat : 10132 (minisat_static) R 10126 10126 10114 0 -1 4202496 5912 0 0 0 76076 6 0 0 25 0 1 0 1015721996 25169920 5847 4294967295 134512640 135215339 3216887680 3216885968 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10132/statm: 6145 5847 72 172 0 5972 0
Current children cumulated CPU time (s) 762.16
Current children cumulated vsize (KiB) 27000
[startup+822.317 s]
/proc/loadavg: 1.06 1.03 1.00 2/95 12773
/proc/meminfo: memFree=1162412/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2420 CPUtime=1.34
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 386 4874 0 0 0 0 133 1 18 0 1 0 1015721862 2478080 278 4294967295 134512640 135169312 3221097264 3221093480 3085254382 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10126/statm: 605 278 235 161 0 44 0
[pid=10132] ppid=10126 vsize=25520 CPUtime=820.82
/proc/10132/stat : 10132 (minisat_static) R 10126 10126 10114 0 -1 4202496 6131 0 0 0 82076 6 0 0 25 0 1 0 1015721996 26132480 6066 4294967295 134512640 135215339 3216887680 3216885952 134525048 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10132/statm: 6380 6066 72 172 0 6207 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 27940
[startup+882.314 s]
/proc/loadavg: 1.09 1.04 1.00 3/95 12961
/proc/meminfo: memFree=1161444/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2420 CPUtime=1.34
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 386 4874 0 0 0 0 133 1 18 0 1 0 1015721862 2478080 278 4294967295 134512640 135169312 3221097264 3221093480 3085254382 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10126/statm: 605 278 235 161 0 44 0
[pid=10132] ppid=10126 vsize=26604 CPUtime=880.82
/proc/10132/stat : 10132 (minisat_static) R 10126 10126 10114 0 -1 4202496 6346 0 0 0 88076 6 0 0 25 0 1 0 1015721996 27242496 6281 4294967295 134512640 135215339 3216887680 3216885968 134529085 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10132/statm: 6651 6281 72 172 0 6478 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 29024
[startup+942.321 s]
/proc/loadavg: 1.16 1.06 1.01 2/95 13147
/proc/meminfo: memFree=1160700/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2420 CPUtime=1.34
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 386 4874 0 0 0 0 133 1 18 0 1 0 1015721862 2478080 278 4294967295 134512640 135169312 3221097264 3221093480 3085254382 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10126/statm: 605 278 235 161 0 44 0
[pid=10132] ppid=10126 vsize=27492 CPUtime=940.83
/proc/10132/stat : 10132 (minisat_static) R 10126 10126 10114 0 -1 4202496 6556 0 0 0 94077 6 0 0 25 0 1 0 1015721996 28151808 6491 4294967295 134512640 135215339 3216887680 3216885968 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10132/statm: 6873 6491 72 172 0 6700 0
Current children cumulated CPU time (s) 942.17
Current children cumulated vsize (KiB) 29912
[startup+1002.32 s]
/proc/loadavg: 1.12 1.06 1.01 2/95 13336
/proc/meminfo: memFree=1159700/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2420 CPUtime=1.34
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 386 4874 0 0 0 0 133 1 18 0 1 0 1015721862 2478080 278 4294967295 134512640 135169312 3221097264 3221093480 3085254382 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10126/statm: 605 278 235 161 0 44 0
[pid=10132] ppid=10126 vsize=28364 CPUtime=1000.83
/proc/10132/stat : 10132 (minisat_static) R 10126 10126 10114 0 -1 4202496 6773 0 0 0 100077 6 0 0 25 0 1 0 1015721996 29044736 6708 4294967295 134512640 135215339 3216887680 3216885968 134529051 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10132/statm: 7091 6708 72 172 0 6918 0
Current children cumulated CPU time (s) 1002.17
Current children cumulated vsize (KiB) 30784
[startup+1062.33 s]
/proc/loadavg: 1.04 1.05 1.00 3/95 13527
/proc/meminfo: memFree=1158724/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2420 CPUtime=1.34
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 386 4874 0 0 0 0 133 1 18 0 1 0 1015721862 2478080 278 4294967295 134512640 135169312 3221097264 3221093480 3085254382 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10126/statm: 605 278 235 161 0 44 0
[pid=10132] ppid=10126 vsize=29548 CPUtime=1060.84
/proc/10132/stat : 10132 (minisat_static) R 10126 10126 10114 0 -1 4202496 7074 0 0 0 106078 6 0 0 25 0 1 0 1015721996 30257152 7009 4294967295 134512640 135215339 3216887680 3216885968 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10132/statm: 7387 7009 72 172 0 7214 0
Current children cumulated CPU time (s) 1062.18
Current children cumulated vsize (KiB) 31968
[startup+1122.31 s]
/proc/loadavg: 1.05 1.05 1.00 2/95 13716
/proc/meminfo: memFree=1158120/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2420 CPUtime=1.34
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 386 4874 0 0 0 0 133 1 18 0 1 0 1015721862 2478080 278 4294967295 134512640 135169312 3221097264 3221093480 3085254382 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10126/statm: 605 278 235 161 0 44 0
[pid=10132] ppid=10126 vsize=30356 CPUtime=1120.83
/proc/10132/stat : 10132 (minisat_static) R 10126 10126 10114 0 -1 4202496 7289 0 0 0 112077 6 0 0 25 0 1 0 1015721996 31084544 7224 4294967295 134512640 135215339 3216887680 3216885968 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10132/statm: 7589 7224 72 172 0 7416 0
Current children cumulated CPU time (s) 1122.17
Current children cumulated vsize (KiB) 32776
[startup+1182.31 s]
/proc/loadavg: 1.02 1.04 1.00 3/95 13904
/proc/meminfo: memFree=1156544/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2420 CPUtime=1.34
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 386 4874 0 0 0 0 133 1 18 0 1 0 1015721862 2478080 278 4294967295 134512640 135169312 3221097264 3221093480 3085254382 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10126/statm: 605 278 235 161 0 44 0
[pid=10132] ppid=10126 vsize=31712 CPUtime=1180.83
/proc/10132/stat : 10132 (minisat_static) R 10126 10126 10114 0 -1 4202496 7596 0 0 0 118075 8 0 0 25 0 1 0 1015721996 32473088 7531 4294967295 134512640 135215339 3216887680 3216885968 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10132/statm: 7928 7531 72 172 0 7755 0
Current children cumulated CPU time (s) 1182.17
Current children cumulated vsize (KiB) 34132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.21 s]
/proc/loadavg: 1.01 1.04 1.00 3/95 13905
/proc/meminfo: memFree=1156696/2074464 swapFree=1950884/1959888
[pid=10126] ppid=10124 vsize=2420 CPUtime=1.34
/proc/10126/stat : 10126 (SatELiteGTI) S 10124 10126 10114 0 -1 4194304 386 4874 0 0 0 0 133 1 18 0 1 0 1015721862 2478080 278 4294967295 134512640 135169312 3221097264 3221093480 3085254382 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10126/statm: 605 278 235 161 0 44 0
[pid=10132] ppid=10126 vsize=31712 CPUtime=1198.73
/proc/10132/stat : 10132 (minisat_static) R 10126 10126 10114 0 -1 4202496 7615 0 0 0 119865 8 0 0 25 0 1 0 1015721996 32473088 7550 4294967295 134512640 135215339 3216887680 3216885744 134538104 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10132/statm: 7928 7550 72 172 0 7755 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 34132
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.22
CPU time (s): 1200.08
CPU user time (s): 1199.98
CPU system time (s): 0.1
CPU usage (%): 99.9883
Max. virtual memory (cumulated for all children) (KiB): 34132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.98
system time used= 0.1
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13152
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= 20
involuntary context switches= 2744
runsolver used 0.03 second user time and 0.01 second system time
The end
Begin job on tipi13 at 2009-05-17 00:16:50
IDJOB=1821148
IDBENCH=70853
IDSOLVER=657
FILE ID=tipi13/1821148-1242512210
PBS_JOBID=
Free space on /tmp= 7059 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-20-s100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821148-1242512210/watcher-1821148-1242512210 -o /tmp/evaluation-result-1821148-1242512210/solver-1821148-1242512210 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821148-1242512210.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5d7745a7593199a47cd1accba5810ed0
RANDOM SEED= 1818203551
Linux tipi13 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1191380 kB
Buffers: 44064 kB
Cached: 745752 kB
SwapCached: 3516 kB
Active: 349896 kB
Inactive: 449436 kB
HighTotal: 1178688 kB
HighFree: 456164 kB
LowTotal: 895776 kB
LowFree: 735216 kB
SwapTotal: 1959888 kB
SwapFree: 1950884 kB
Dirty: 3228 kB
Writeback: 0 kB
AnonPages: 8628 kB
Mapped: 3112 kB
Slab: 74612 kB
PageTables: 648 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90596 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 7059 MiB
End job on tipi13 at 2009-05-17 00:36:51