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 | 95938 226308 | 28781 0 0 nan | 0.000 % |
1.21/1.25 c | 0 | 59390 177244 | -- 0 -- -- | -- | -36208/-48088
1.21/1.25 c ==============================================================================
1.21/1.25 c Result : #vars: 14277 #clauses: 59390 #literals: 177244
1.21/1.25 c CPU time: 1.22 s
1.21/1.25 c ==============================================================================
1.31/1.32 c This is MiniSat 2.0 beta
1.31/1.32 c WARNING: for repeatability, setting FPU to use double precision
1.31/1.32 c ============================[ Problem Statistics ]=============================
1.31/1.32 c | |
1.31/1.32 c | Number of variables: 14277 |
1.31/1.32 c | Number of clauses: 59390 |
1.31/1.36 c | Parsing time: 0.02 s |
1.31/1.36 c ============================[ Search Statistics ]==============================
1.31/1.36 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.31/1.36 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.31/1.36 c ===============================================================================
1.31/1.36 c | 0 | 14277 59390 177244 | 19796 0 nan | 0.000 % |
1.32/1.53 c | 100 | 14238 59390 177244 | 19796 91 28 | 2.627 % |
1.32/1.99 c | 202 | 13902 57442 172321 | 19796 183 27 | 2.627 % |
2.11/2.18 c | 303 | 13902 57442 172321 | 19796 284 34 | 2.627 % |
2.51/2.57 c | 413 | 13902 57442 172321 | 19796 394 33 | 2.627 % |
2.81/2.86 c | 513 | 13902 57442 172321 | 19796 494 34 | 2.627 % |
3.21/3.27 c | 623 | 13902 57442 172321 | 19796 604 34 | 2.627 % |
3.71/3.72 c | 744 | 13902 57442 172321 | 19796 725 32 | 2.627 % |
4.11/4.16 c | 845 | 13902 57442 172321 | 19796 826 32 | 2.627 % |
4.51/4.58 c | 958 | 13902 57442 172321 | 19796 939 31 | 2.627 % |
5.01/5.09 c | 1081 | 13902 57442 172321 | 19796 1062 30 | 2.627 % |
5.61/5.70 c | 1214 | 13902 57442 172321 | 19796 1195 29 | 2.627 % |
6.01/6.02 c | 1315 | 13902 57442 172321 | 19796 1296 29 | 2.627 % |
6.31/6.35 c | 1426 | 13902 57442 172321 | 19796 1407 30 | 2.627 % |
6.81/6.88 c | 1547 | 13902 57442 172321 | 19796 1528 30 | 2.627 % |
7.51/7.53 c | 1680 | 13902 57442 172321 | 19796 1661 30 | 2.627 % |
8.11/8.19 c | 1826 | 13902 57442 172321 | 19796 1807 29 | 2.627 % |
8.31/8.32 c | 1926 | 13902 57442 172321 | 19796 1907 31 | 2.627 % |
8.61/8.68 c | 2037 | 13902 57442 172321 | 19796 2018 32 | 2.627 % |
9.01/9.08 c | 2159 | 13902 57442 172321 | 19796 2140 32 | 2.627 % |
9.61/9.65 c | 2292 | 13902 57442 172321 | 19796 2273 33 | 2.627 % |
10.11/10.16 c | 2439 | 13902 57442 172321 | 19796 2420 33 | 2.627 % |
10.41/10.49 c | 2600 | 13902 57442 172321 | 19796 2581 33 | 2.627 % |
10.71/10.75 c | 2700 | 13902 57442 172321 | 19796 2681 33 | 2.627 % |
11.01/11.01 c | 2811 | 13902 57442 172321 | 19796 2792 34 | 2.627 % |
11.31/11.35 c | 2932 | 13902 57442 172321 | 19796 2913 35 | 2.627 % |
11.61/11.70 c | 3065 | 13902 57442 172321 | 19796 3046 35 | 2.627 % |
12.01/12.09 c | 3212 | 13902 57442 172321 | 19796 3193 35 | 2.627 % |
12.41/12.48 c | 3373 | 13902 57442 172321 | 19796 3354 35 | 2.627 % |
13.31/13.33 c | 3550 | 13902 57442 172321 | 19796 3531 35 | 2.627 % |
13.71/13.75 c | 3651 | 13902 57442 172321 | 19796 3632 35 | 2.627 % |
14.21/14.25 c | 3761 | 13902 57442 172321 | 19796 3742 34 | 2.627 % |
14.71/14.75 c | 3882 | 13902 57442 172321 | 19796 3863 34 | 2.627 % |
15.21/15.26 c | 4016 | 13902 57442 172321 | 19796 3997 34 | 2.627 % |
15.91/15.95 c | 4163 | 13902 57442 172321 | 19796 4144 34 | 2.627 % |
16.61/16.62 c | 4324 | 13902 57442 172321 | 19796 4305 33 | 2.627 % |
17.11/17.19 c | 4501 | 13902 57442 172321 | 19796 4482 33 | 2.627 % |
17.71/17.76 c | 4695 | 13902 57442 172321 | 19796 4676 34 | 2.627 % |
18.01/18.02 c | 4796 | 13902 57442 172321 | 19796 4777 34 | 2.627 % |
18.21/18.25 c | 4907 | 13902 57442 172321 | 19796 4888 34 | 2.627 % |
18.61/18.67 c | 5028 | 13902 57442 172321 | 19796 5009 34 | 2.627 % |
19.11/19.14 c | 5162 | 13902 57442 172321 | 19796 5143 34 | 2.627 % |
19.51/19.59 c | 5309 | 13902 57442 172321 | 19796 5290 34 | 2.627 % |
20.31/20.32 c | 5470 | 13902 57442 172321 | 19796 5451 34 | 2.627 % |
20.61/20.64 c | 5649 | 13902 57442 172321 | 19796 5630 35 | 2.627 % |
21.11/21.18 c | 5844 | 13902 57442 172321 | 19796 5825 35 | 2.627 % |
22.11/22.13 c | 6058 | 13902 57442 172321 | 19796 6039 35 | 2.627 % |
22.41/22.45 c | 6158 | 13902 57442 172321 | 19796 6139 35 | 2.627 % |
22.81/22.87 c | 6268 | 13902 57442 172321 | 19796 6249 35 | 2.627 % |
23.21/23.28 c | 6389 | 13902 57442 172321 | 19796 6370 35 | 2.627 % |
23.61/23.68 c | 6523 | 13902 57442 172321 | 19796 6504 35 | 2.627 % |
24.01/24.08 c | 6669 | 13902 57442 172321 | 19796 6650 36 | 2.627 % |
24.41/24.49 c | 6829 | 13902 57442 172321 | 19796 6810 36 | 2.627 % |
25.21/25.21 c | 7006 | 13902 57442 172321 | 19796 6987 36 | 2.627 % |
26.01/26.06 c | 7199 | 13902 57442 172321 | 19796 7180 36 | 2.627 % |
27.01/27.06 c | 7411 | 13902 57442 172321 | 19796 7392 36 | 2.627 % |
28.11/28.13 c | 7645 | 13902 57442 172321 | 19796 7626 36 | 2.627 % |
28.51/28.61 c | 7746 | 13902 57442 172321 | 19796 7727 36 | 2.627 % |
29.11/29.16 c | 7857 | 13902 57442 172321 | 19796 7838 35 | 2.627 % |
29.72/29.75 c | 7978 | 13902 57442 172321 | 19796 7959 35 | 2.627 % |
30.31/30.36 c | 8111 | 13902 57442 172321 | 19796 8092 35 | 2.627 % |
31.01/31.07 c | 8257 | 13902 57442 172321 | 19796 8238 35 | 2.627 % |
31.81/31.87 c | 8419 | 13902 57442 172321 | 19796 8400 35 | 2.627 % |
32.51/32.55 c | 8595 | 13902 57442 172321 | 19796 8576 35 | 2.627 % |
33.41/33.45 c | 8789 | 13902 57442 172321 | 19796 8770 34 | 2.627 % |
34.51/34.59 c | 9001 | 13902 57442 172321 | 19796 8982 34 | 2.627 % |
35.61/35.66 c | 9236 | 13902 57442 172321 | 19796 9217 34 | 2.627 % |
36.91/36.99 c | 9493 | 13902 57442 172321 | 19796 9474 34 | 2.627 % |
37.42/37.45 c | 9594 | 13902 57442 172321 | 19796 9575 34 | 2.627 % |
37.81/37.84 c | 9706 | 13902 57442 172321 | 19796 9687 34 | 2.627 % |
38.31/38.31 c | 9828 | 13902 57442 172321 | 19796 9809 33 | 2.627 % |
38.81/38.86 c | 9962 | 13902 57442 172321 | 19796 9943 34 | 2.627 % |
39.41/39.44 c | 10110 | 13902 57442 172321 | 2147483647 10091 33 | 2.627 % |
40.01/40.06 c | 10271 | 13902 57442 172321 | 2147483647 10252 33 | 2.627 % |
40.61/40.68 c | 10447 | 13902 57442 172321 | 2147483647 10428 34 | 2.627 % |
41.41/41.41 c | 10640 | 13902 57442 172321 | 2147483647 10621 34 | 2.627 % |
42.31/42.33 c | 10853 | 13902 57442 172321 | 2147483647 10834 34 | 2.627 % |
43.41/43.45 c | 11087 | 13902 57442 172321 | 2147483647 11068 34 | 2.627 % |
44.31/44.31 c | 11346 | 13902 57442 172321 | 2147483647 11327 33 | 2.627 % |
45.51/45.60 c | 11628 | 13902 57442 172321 | 2147483647 11609 33 | 2.627 % |
46.11/46.13 c | 11729 | 13902 57442 172321 | 2147483647 11710 33 | 2.627 % |
46.71/46.71 c | 11839 | 13902 57442 172321 | 2147483647 11820 33 | 2.627 % |
47.32/47.35 c | 11960 | 13902 57442 172321 | 2147483647 11941 33 | 2.627 % |
48.01/48.06 c | 12094 | 13902 57442 172321 | 2147483647 12075 33 | 2.627 % |
48.71/48.71 c | 12242 | 13902 57442 172321 | 2147483647 12223 33 | 2.627 % |
49.31/49.34 c | 12402 | 13902 57442 172321 | 2147483647 12383 33 | 2.627 % |
50.01/50.03 c | 12578 | 13902 57442 172321 | 2147483647 12559 33 | 2.627 % |
50.71/50.75 c | 12771 | 13902 57442 172321 | 2147483647 12752 33 | 2.627 % |
51.61/51.67 c | 12984 | 13902 57442 172321 | 2147483647 12965 33 | 2.627 % |
52.51/52.55 c | 13217 | 13902 57442 172321 | 2147483647 13198 33 | 2.627 % |
53.01/53.09 c | 13473 | 13902 57442 172321 | 2147483647 13454 34 | 2.627 % |
53.41/53.47 c | 13754 | 13902 57442 172321 | 2147483647 13735 34 | 2.627 % |
54.81/54.86 c | 14064 | 13902 57442 172321 | 2147483647 14045 35 | 2.627 % |
55.32/55.33 c | 14165 | 13902 57442 172321 | 2147483647 14146 35 | 2.627 % |
55.72/55.80 c | 14276 | 13902 57442 172321 | 2147483647 14257 35 | 2.627 % |
56.32/56.34 c | 14398 | 13902 57442 172321 | 2147483647 14379 35 | 2.627 % |
57.02/57.04 c | 14532 | 13902 57442 172321 | 2147483647 14513 35 | 2.627 % |
57.82/57.82 c | 14679 | 13902 57442 172321 | 2147483647 14660 35 | 2.627 % |
58.62/58.66 c | 14839 | 13902 57442 172321 | 2147483647 14820 35 | 2.627 % |
59.32/59.41 c | 15016 | 13902 57442 172321 | 2147483647 14997 34 | 2.627 % |
60.42/60.44 c | 15210 | 13902 57442 172321 | 2147483647 15191 34 | 2.627 % |
61.42/61.43 c | 15422 | 13902 57442 172321 | 2147483647 15403 34 | 2.627 % |
62.62/62.67 c | 15656 | 13902 57442 172321 | 2147483647 15637 34 | 2.627 % |
63.72/63.79 c | 15912 | 13902 57442 172321 | 2147483647 15893 34 | 2.627 % |
65.32/65.39 c | 16194 | 13902 57442 172321 | 2147483647 16175 34 | 2.627 % |
66.93/67.01 c | 16503 | 13902 57442 172321 | 2147483647 16484 34 | 2.627 % |
68.83/68.87 c | 16842 | 13902 57442 172321 | 2147483647 16823 34 | 2.627 % |
69.43/69.48 c | 16942 | 13902 57442 172321 | 2147483647 16923 34 | 2.627 % |
70.13/70.15 c | 17052 | 13902 57442 172321 | 2147483647 17033 34 | 2.627 % |
70.73/70.78 c | 17173 | 13902 57442 172321 | 2147483647 17154 33 | 2.627 % |
71.53/71.52 c | 17306 | 13902 57442 172321 | 2147483647 17287 33 | 2.627 % |
71.73/71.81 c | 17453 | 13902 57442 172321 | 2147483647 17434 33 | 2.627 % |
72.43/72.44 c | 17613 | 13902 57442 172321 | 2147483647 17594 34 | 2.627 % |
73.23/73.23 c | 17790 | 13902 57442 172321 | 2147483647 17771 34 | 2.627 % |
73.83/73.84 c | 17985 | 13902 57442 172321 | 2147483647 17966 34 | 2.627 % |
74.73/74.76 c | 18198 | 13902 57442 172321 | 2147483647 18179 34 | 2.627 % |
75.53/75.60 c | 18431 | 13902 57442 172321 | 2147483647 18412 34 | 2.627 % |
76.13/76.21 c | 18688 | 13902 57442 172321 | 2147483647 18669 34 | 2.627 % |
77.53/77.56 c | 18969 | 13902 57442 172321 | 2147483647 18950 34 | 2.627 % |
78.93/78.94 c | 19278 | 13902 57442 172321 | 2147483647 19259 34 | 2.627 % |
80.43/80.51 c | 19618 | 13902 57442 172321 | 2147483647 19599 34 | 2.627 % |
81.93/81.95 c | 19990 | 13902 57442 172321 | 2147483647 19971 34 | 2.627 % |
82.33/82.34 c | 20091 | 13902 57442 172321 | 2147483647 20072 34 | 2.627 % |
82.83/82.82 c | 20201 | 13902 57442 172321 | 2147483647 20182 34 | 2.627 % |
83.23/83.31 c | 20323 | 13902 57442 172321 | 2147483647 20304 34 | 2.627 % |
83.93/83.97 c | 20456 | 13902 57442 172321 | 2147483647 20437 34 | 2.627 % |
84.73/84.79 c | 20602 | 13902 57442 172321 | 2147483647 20583 34 | 2.627 % |
85.53/85.61 c | 20762 | 13902 57442 172321 | 2147483647 20743 34 | 2.627 % |
86.13/86.16 c | 20939 | 13902 57442 172321 | 2147483647 20920 34 | 2.627 % |
87.03/87.07 c | 21132 | 13902 57442 172321 | 2147483647 21113 34 | 2.627 % |
87.53/87.59 c | 21345 | 13902 57442 172321 | 2147483647 21326 34 | 2.627 % |
88.23/88.27 c | 21579 | 13902 57442 172321 | 2147483647 21560 34 | 2.627 % |
89.33/89.33 c | 21836 | 13902 57442 172321 | 2147483647 21817 35 | 2.627 % |
90.83/90.86 c | 22118 | 13902 57442 172321 | 2147483647 22099 35 | 2.627 % |
92.53/92.56 c | 22427 | 13902 57442 172321 | 2147483647 22408 34 | 2.627 % |
94.03/94.07 c | 22768 | 13902 57442 172321 | 2147483647 22749 34 | 2.627 % |
95.93/95.94 c | 23142 | 13902 57442 172321 | 2147483647 23123 34 | 2.627 % |
98.03/98.07 c | 23552 | 13902 57442 172321 | 2147483647 23533 34 | 2.627 % |
98.63/98.71 c | 23652 | 13902 57442 172321 | 2147483647 23633 34 | 2.627 % |
99.23/99.29 c | 23762 | 13902 57442 172321 | 2147483647 23743 34 | 2.627 % |
99.83/99.89 c | 23884 | 13902 57442 172321 | 2147483647 23865 34 | 2.627 % |
100.53/100.53 c | 24018 | 13902 57442 172321 | 2147483647 23999 34 | 2.627 % |
101.13/101.19 c | 24165 | 13902 57442 172321 | 2147483647 24146 34 | 2.627 % |
101.83/101.84 c | 24325 | 13902 57442 172321 | 2147483647 24306 34 | 2.627 % |
102.83/102.87 c | 24501 | 13902 57442 172321 | 2147483647 24482 34 | 2.627 % |
103.93/103.95 c | 24695 | 13902 57442 172321 | 2147483647 24676 34 | 2.627 % |
104.83/104.84 c | 24908 | 13902 57442 172321 | 2147483647 24889 34 | 2.627 % |
105.53/105.55 c | 25141 | 13902 57442 172321 | 2147483647 25122 34 | 2.627 % |
106.63/106.63 c | 25398 | 13902 57442 172321 | 2147483647 25379 34 | 2.627 % |
107.93/107.95 c | 25680 | 13902 57442 172321 | 2147483647 25661 34 | 2.627 % |
109.33/109.33 c | 25990 | 13902 57442 172321 | 2147483647 25971 34 | 2.627 % |
110.83/110.85 c | 26329 | 13902 57442 172321 | 2147483647 26310 34 | 2.627 % |
112.33/112.38 c | 26701 | 13902 57442 172321 | 2147483647 26682 34 | 2.627 % |
113.53/113.55 c | 27111 | 13902 57442 172321 | 2147483647 27092 34 | 2.627 % |
114.33/114.36 c | 27560 | 13902 57442 172321 | 2147483647 27541 35 | 2.627 % |
114.83/114.85 c | 27660 | 13902 57442 172321 | 2147483647 27641 35 | 2.627 % |
115.53/115.57 c | 27771 | 13902 57442 172321 | 2147483647 27752 35 | 2.627 % |
116.23/116.25 c | 27893 | 13902 57442 172321 | 2147483647 27874 34 | 2.627 % |
116.93/116.94 c | 28026 | 13902 57442 172321 | 2147483647 28007 34 | 2.627 % |
117.53/117.60 c | 28172 | 13902 57442 172321 | 2147483647 28153 34 | 2.627 % |
118.33/118.41 c | 28332 | 13902 57442 172321 | 2147483647 28313 34 | 2.627 % |
118.93/118.99 c | 28508 | 13902 57442 172321 | 2147483647 28489 34 | 2.627 % |
119.43/119.51 c | 28701 | 13902 57442 172321 | 2147483647 28682 35 | 2.627 % |
120.43/120.50 c | 28914 | 13902 57442 172321 | 2147483647 28895 35 | 2.627 % |
121.63/121.65 c | 29148 | 13902 57442 172321 | 2147483647 29129 35 | 2.627 % |
122.83/122.86 c | 29404 | 13902 57442 172321 | 2147483647 29385 34 | 2.627 % |
124.03/124.09 c | 29686 | 13902 57442 172321 | 2147483647 29667 34 | 2.627 % |
125.23/125.31 c | 29995 | 13902 57442 172321 | 2147483647 29976 34 | 2.627 % |
127.13/127.14 c | 30335 | 13902 57442 172321 | 2147483647 30316 34 | 2.627 % |
129.03/129.04 c | 30708 | 13902 57442 172321 | 2147483647 30689 34 | 2.627 % |
131.13/131.19 c | 31117 | 13902 57442 172321 | 2147483647 31098 34 | 2.627 % |
133.23/133.26 c | 31567 | 13902 57442 172321 | 2147483647 31548 34 | 2.627 % |
135.93/135.94 c | 32060 | 13902 57442 172321 | 2147483647 32041 34 | 2.627 % |
136.43/136.48 c | 32162 | 13902 57442 172321 | 2147483647 32143 34 | 2.627 % |
137.13/137.18 c | 32272 | 13902 57442 172321 | 2147483647 32253 34 | 2.627 % |
137.83/137.82 c | 32393 | 13902 57442 172321 | 2147483647 32374 34 | 2.627 % |
138.63/138.62 c | 32527 | 13902 57442 172321 | 2147483647 32508 34 | 2.627 % |
139.33/139.40 c | 32673 | 13902 57442 172321 | 2147483647 32654 34 | 2.627 % |
140.13/140.14 c | 32833 | 13902 57442 172321 | 2147483647 32814 34 | 2.627 % |
141.13/141.12 c | 33009 | 13902 57442 172321 | 2147483647 32990 34 | 2.627 % |
142.03/142.07 c | 33202 | 13902 57442 172321 | 2147483647 33183 34 | 2.627 % |
143.33/143.36 c | 33415 | 13902 57442 172321 | 2147483647 33396 34 | 2.627 % |
144.73/144.76 c | 33649 | 13902 57442 172321 | 2147483647 33630 34 | 2.627 % |
146.23/146.25 c | 33905 | 13902 57442 172321 | 2147483647 33886 34 | 2.627 % |
147.73/147.72 c | 34186 | 13902 57442 172321 | 2147483647 34167 34 | 2.627 % |
149.64/149.68 c | 34495 | 13902 57442 172321 | 2147483647 34476 34 | 2.627 % |
151.23/151.29 c | 34835 | 13902 57442 172321 | 2147483647 34816 34 | 2.627 % |
153.23/153.31 c | 35208 | 13902 57442 172321 | 2147483647 35189 34 | 2.627 % |
155.43/155.44 c | 35618 | 13902 57442 172321 | 2147483647 35599 34 | 2.627 % |
157.93/157.96 c | 36067 | 13902 57442 172321 | 2147483647 36048 34 | 2.627 % |
160.73/160.79 c | 36560 | 13902 57442 172321 | 2147483647 36541 34 | 2.627 % |
163.83/163.91 c | 37103 | 13902 57442 172321 | 2147483647 37084 34 | 2.627 % |
164.33/164.40 c | 37204 | 13902 57442 172321 | 2147483647 37185 34 | 2.627 % |
165.04/165.02 c | 37316 | 13902 57442 172321 | 2147483647 37297 34 | 2.627 % |
165.63/165.67 c | 37439 | 13902 57442 172321 | 2147483647 37420 34 | 2.627 % |
166.43/166.46 c | 37574 | 13902 57442 172321 | 2147483647 37555 34 | 2.627 % |
167.33/167.36 c | 37720 | 13902 57442 172321 | 2147483647 37701 34 | 2.627 % |
168.13/168.17 c | 37880 | 13902 57442 172321 | 2147483647 37861 34 | 2.627 % |
169.33/169.35 c | 38057 | 13902 57442 172321 | 2147483647 38038 34 | 2.627 % |
170.63/170.64 c | 38251 | 13902 57442 172321 | 2147483647 38232 34 | 2.627 % |
171.73/171.80 c | 38463 | 13902 57442 172321 | 2147483647 38444 34 | 2.627 % |
172.93/172.97 c | 38698 | 13902 57442 172321 | 2147483647 38679 34 | 2.627 % |
174.43/174.44 c | 38954 | 13902 57442 172321 | 2147483647 38935 34 | 2.627 % |
176.13/176.12 c | 39236 | 13902 57442 172321 | 2147483647 39217 34 | 2.627 % |
178.03/178.09 c | 39545 | 13902 57442 172321 | 2147483647 39526 34 | 2.627 % |
180.13/180.14 c | 39884 | 13902 57442 172321 | 2147483647 39865 34 | 2.627 % |
182.23/182.25 c | 40257 | 13902 57442 172321 | 2147483647 40238 33 | 2.627 % |
184.63/184.70 c | 40666 | 13902 57442 172321 | 2147483647 40647 33 | 2.627 % |
187.13/187.19 c | 41115 | 13902 57442 172321 | 2147483647 41096 33 | 2.627 % |
190.03/190.03 c | 41609 | 13902 57442 172321 | 2147483647 41590 33 | 2.627 % |
193.23/193.24 c | 42152 | 13902 57442 172321 | 2147483647 42133 33 | 2.627 % |
197.03/197.09 c | 42749 | 13902 57442 172321 | 2147483647 42730 33 | 2.627 % |
197.64/197.66 c | 42849 | 13902 57442 172321 | 2147483647 42830 33 | 2.627 % |
198.34/198.40 c | 42960 | 13902 57442 172321 | 2147483647 42941 33 | 2.627 % |
198.94/198.98 c | 43081 | 13902 57442 172321 | 2147483647 43062 33 | 2.627 % |
199.64/199.69 c | 43215 | 13902 57442 172321 | 2147483647 43196 33 | 2.627 % |
200.34/200.36 c | 43362 | 13902 57442 172321 | 2147483647 43343 33 | 2.627 % |
201.04/201.12 c | 43522 | 13902 57442 172321 | 2147483647 43503 33 | 2.627 % |
202.04/202.05 c | 43699 | 13902 57442 172321 | 2147483647 43680 33 | 2.627 % |
202.84/202.88 c | 43892 | 13902 57442 172321 | 2147483647 43873 33 | 2.627 % |
204.14/204.14 c | 44104 | 13902 57442 172321 | 2147483647 44085 33 | 2.627 % |
205.24/205.22 c | 44337 | 13902 57442 172321 | 2147483647 44318 33 | 2.627 % |
206.44/206.45 c | 44594 | 13902 57442 172321 | 2147483647 44575 33 | 2.627 % |
208.24/208.28 c | 44876 | 13902 57442 172321 | 2147483647 44857 33 | 2.627 % |
210.14/210.19 c | 45185 | 13902 57442 172321 | 2147483647 45166 33 | 2.627 % |
212.44/212.45 c | 45525 | 13902 57442 172321 | 2147483647 45506 33 | 2.627 % |
214.14/214.19 c | 45897 | 13902 57442 172321 | 2147483647 45878 33 | 2.627 % |
217.04/217.06 c | 46307 | 13902 57442 172321 | 2147483647 46288 33 | 2.627 % |
219.84/219.84 c | 46757 | 13902 57442 172321 | 2147483647 46738 33 | 2.627 % |
222.64/222.67 c | 47250 | 13902 57442 172321 | 2147483647 47231 33 | 2.627 % |
225.74/225.74 c | 47793 | 13902 57442 172321 | 2147483647 47774 33 | 2.627 % |
229.34/229.39 c | 48389 | 13902 57442 172321 | 2147483647 48370 33 | 2.627 % |
233.04/233.11 c | 49044 | 13902 57442 172321 | 2147483647 49025 33 | 2.627 % |
233.74/233.77 c | 49145 | 13902 57442 172321 | 2147483647 49126 33 | 2.627 % |
234.44/234.43 c | 49256 | 13902 57442 172321 | 2147483647 49237 33 | 2.627 % |
234.94/234.96 c | 49378 | 13902 57442 172321 | 2147483647 49359 33 | 2.627 % |
235.54/235.55 c | 49511 | 13902 57442 172321 | 2147483647 49492 33 | 2.627 % |
236.04/236.03 c | 49657 | 13902 57442 172321 | 2147483647 49638 33 | 2.627 % |
236.54/236.61 c | 49817 | 13902 57442 172321 | 2147483647 49798 33 | 2.627 % |
237.34/237.34 c | 49993 | 13902 57442 172321 | 2147483647 49974 33 | 2.627 % |
238.04/238.11 c | 50187 | 13902 57442 172321 | 2147483647 50168 33 | 2.627 % |
239.24/239.25 c | 50399 | 13902 57442 172321 | 2147483647 50380 33 | 2.627 % |
240.84/240.87 c | 50632 | 13902 57442 172321 | 2147483647 50613 33 | 2.627 % |
242.54/242.56 c | 50890 | 13902 57442 172321 | 2147483647 50871 33 | 2.627 % |
244.34/244.41 c | 51171 | 13902 57442 172321 | 2147483647 51152 33 | 2.627 % |
245.94/245.95 c | 51482 | 13902 57442 172321 | 2147483647 51463 33 | 2.627 % |
247.64/247.68 c | 51821 | 13902 57442 172321 | 2147483647 51802 33 | 2.627 % |
250.04/250.10 c | 52194 | 13902 57442 172321 | 2147483647 52175 33 | 2.627 % |
252.43/252.50 c | 52604 | 13902 57442 172321 | 2147483647 52585 33 | 2.627 % |
255.43/255.41 c | 53053 | 13902 57442 172321 | 2147483647 53034 33 | 2.627 % |
258.13/258.18 c | 53547 | 13902 57442 172321 | 2147483647 53528 33 | 2.627 % |
261.53/261.52 c | 54091 | 13902 57442 172321 | 2147483647 54072 33 | 2.627 % |
264.93/264.97 c | 54688 | 13902 57442 172321 | 2147483647 54669 33 | 2.627 % |
269.23/269.27 c | 55343 | 13902 57442 172321 | 2147483647 55324 33 | 2.627 % |
273.43/273.49 c | 56064 | 13902 57442 172321 | 2147483647 56045 33 | 2.627 % |
274.13/274.10 c | 56164 | 13902 57442 172321 | 2147483647 56145 33 | 2.627 % |
274.83/274.83 c | 56275 | 13902 57442 172321 | 2147483647 56256 33 | 2.627 % |
275.53/275.53 c | 56397 | 13902 57442 172321 | 2147483647 56378 33 | 2.627 % |
276.43/276.42 c | 56531 | 13902 57442 172321 | 2147483647 56512 33 | 2.627 % |
277.33/277.35 c | 56678 | 13902 57442 172321 | 2147483647 56659 33 | 2.627 % |
278.34/278.34 c | 56838 | 13902 57442 172321 | 2147483647 56819 33 | 2.627 % |
279.44/279.42 c | 57014 | 13902 57442 172321 | 2147483647 56995 33 | 2.627 % |
280.33/280.31 c | 57207 | 13902 57442 172321 | 2147483647 57188 33 | 2.627 % |
281.73/281.77 c | 57419 | 13902 57442 172321 | 2147483647 57400 33 | 2.627 % |
283.33/283.35 c | 57652 | 13902 57442 172321 | 2147483647 57633 33 | 2.627 % |
284.83/284.81 c | 57909 | 13902 57442 172321 | 2147483647 57890 33 | 2.627 % |
286.73/286.76 c | 58190 | 13902 57442 172321 | 2147483647 58171 33 | 2.627 % |
288.53/288.54 c | 58500 | 13902 57442 172321 | 2147483647 58481 33 | 2.627 % |
290.13/290.18 c | 58840 | 13902 57442 172321 | 2147483647 58821 33 | 2.627 % |
292.43/292.42 c | 59213 | 13902 57442 172321 | 2147483647 59194 33 | 2.627 % |
294.93/294.92 c | 59622 | 13902 57442 172321 | 2147483647 59603 33 | 2.627 % |
297.83/297.87 c | 60072 | 13902 57442 172321 | 2147483647 60053 33 | 2.627 % |
301.03/301.09 c | 60567 | 13902 57442 172321 | 2147483647 60548 33 | 2.627 % |
304.43/304.43 c | 61109 | 13902 57442 172321 | 2147483647 61090 33 | 2.627 % |
308.33/308.32 c | 61705 | 13902 57442 172321 | 2147483647 61686 33 | 2.627 % |
312.73/312.76 c | 62361 | 13902 57442 172321 | 2147483647 62342 33 | 2.627 % |
317.63/317.62 c | 63082 | 13902 57442 172321 | 2147483647 63063 33 | 2.627 % |
322.73/322.74 c | 63874 | 13902 57442 172321 | 2147483647 63855 33 | 2.627 % |
323.33/323.40 c | 63975 | 13902 57442 172321 | 2147483647 63956 33 | 2.627 % |
324.03/324.03 c | 64085 | 13902 57442 172321 | 2147483647 64066 33 | 2.627 % |
324.83/324.86 c | 64207 | 13902 57442 172321 | 2147483647 64188 33 | 2.627 % |
325.64/325.67 c | 64340 | 13902 57442 172321 | 2147483647 64321 33 | 2.627 % |
326.63/326.68 c | 64486 | 13902 57442 172321 | 2147483647 64467 33 | 2.627 % |
327.63/327.65 c | 64647 | 13902 57442 172321 | 2147483647 64628 33 | 2.627 % |
328.94/328.93 c | 64824 | 13902 57442 172321 | 2147483647 64805 33 | 2.627 % |
330.14/330.20 c | 65017 | 13902 57442 172321 | 2147483647 64998 33 | 2.627 % |
331.54/331.58 c | 65229 | 13902 57442 172321 | 2147483647 65210 33 | 2.627 % |
333.14/333.16 c | 65462 | 13902 57442 172321 | 2147483647 65443 33 | 2.627 % |
334.54/334.53 c | 65719 | 13902 57442 172321 | 2147483647 65700 33 | 2.627 % |
336.34/336.40 c | 66001 | 13902 57442 172321 | 2147483647 65982 33 | 2.627 % |
338.54/338.58 c | 66311 | 13902 57442 172321 | 2147483647 66292 33 | 2.627 % |
340.44/340.47 c | 66650 | 13902 57442 172321 | 2147483647 66631 33 | 2.627 % |
342.54/342.52 c | 67022 | 13902 57442 172321 | 2147483647 67003 33 | 2.627 % |
344.64/344.63 c | 67432 | 13902 57442 172321 | 2147483647 67413 33 | 2.627 % |
347.14/347.15 c | 67883 | 13902 57442 172321 | 2147483647 67864 33 | 2.627 % |
350.54/350.60 c | 68377 | 13902 57442 172321 | 2147483647 68358 33 | 2.627 % |
353.74/353.79 c | 68919 | 13902 57442 172321 | 2147483647 68900 33 | 2.627 % |
357.74/357.73 c | 69516 | 13902 57442 172321 | 2147483647 69497 33 | 2.627 % |
362.14/362.20 c | 70173 | 13902 57442 172321 | 2147483647 70154 33 | 2.627 % |
367.44/367.44 c | 70894 | 13902 57442 172321 | 2147483647 70875 33 | 2.627 % |
373.24/373.24 c | 71687 | 13902 57442 172321 | 2147483647 71668 33 | 2.627 % |
379.34/379.40 c | 72558 | 13902 57442 172321 | 2147483647 72539 33 | 2.627 % |
380.04/380.04 c | 72658 | 13902 57442 172321 | 2147483647 72639 33 | 2.627 % |
380.64/380.67 c | 72768 | 13902 57442 172321 | 2147483647 72749 33 | 2.627 % |
381.54/381.56 c | 72889 | 13902 57442 172321 | 2147483647 72870 33 | 2.627 % |
382.44/382.49 c | 73023 | 13902 57442 172321 | 2147483647 73004 33 | 2.627 % |
383.54/383.60 c | 73169 | 13902 57442 172321 | 2147483647 73150 33 | 2.627 % |
384.64/384.67 c | 73330 | 13902 57442 172321 | 2147483647 73311 33 | 2.627 % |
385.74/385.77 c | 73506 | 13902 57442 172321 | 2147483647 73487 33 | 2.627 % |
387.04/387.03 c | 73699 | 13902 57442 172321 | 2147483647 73680 33 | 2.627 % |
388.44/388.49 c | 73911 | 13902 57442 172321 | 2147483647 73892 33 | 2.627 % |
390.04/390.08 c | 74144 | 13902 57442 172321 | 2147483647 74125 33 | 2.627 % |
391.94/391.95 c | 74400 | 13902 57442 172321 | 2147483647 74381 33 | 2.627 % |
394.14/394.11 c | 74681 | 13902 57442 172321 | 2147483647 74662 33 | 2.627 % |
396.24/396.25 c | 74992 | 13902 57442 172321 | 2147483647 74973 33 | 2.627 % |
398.84/398.87 c | 75332 | 13902 57442 172321 | 2147483647 75313 32 | 2.627 % |
401.14/401.17 c | 75705 | 13902 57442 172321 | 2147483647 75686 32 | 2.627 % |
403.64/403.65 c | 76116 | 13902 57442 172321 | 2147483647 76097 32 | 2.627 % |
406.54/406.59 c | 76566 | 13902 57442 172321 | 2147483647 76547 32 | 2.627 % |
409.85/409.91 c | 77060 | 13902 57442 172321 | 2147483647 77041 32 | 2.627 % |
413.75/413.79 c | 77603 | 13902 57442 172321 | 2147483647 77584 32 | 2.627 % |
418.06/418.10 c | 78199 | 13902 57442 172321 | 2147483647 78180 32 | 2.627 % |
422.15/422.18 c | 78854 | 13902 57442 172321 | 2147483647 78835 32 | 2.627 % |
426.95/427.00 c | 79575 | 13902 57442 172321 | 2147483647 79556 32 | 2.627 % |
430.95/430.96 c | 80368 | 13902 57442 172321 | 2147483647 80349 32 | 2.627 % |
437.15/437.14 c | 81241 | 13902 57442 172321 | 2147483647 81222 32 | 2.627 % |
443.85/443.84 c | 82199 | 13902 57442 172321 | 2147483647 82180 32 | 2.627 % |
444.55/444.51 c | 82301 | 13902 57442 172321 | 2147483647 82282 32 | 2.627 % |
445.25/445.26 c | 82411 | 13902 57442 172321 | 2147483647 82392 32 | 2.627 % |
445.95/445.92 c | 82532 | 13902 57442 172321 | 2147483647 82513 32 | 2.627 % |
446.85/446.90 c | 82665 | 13902 57442 172321 | 2147483647 82646 32 | 2.627 % |
447.95/448.00 c | 82812 | 13902 57442 172321 | 2147483647 82793 32 | 2.627 % |
449.15/449.15 c | 82974 | 13902 57442 172321 | 2147483647 82955 32 | 2.627 % |
450.25/450.24 c | 83151 | 13902 57442 172321 | 2147483647 83132 32 | 2.627 % |
451.45/451.44 c | 83346 | 13902 57442 172321 | 2147483647 83327 32 | 2.627 % |
452.55/452.58 c | 83561 | 13902 57442 172321 | 2147483647 83542 32 | 2.627 % |
454.15/454.14 c | 83795 | 13902 57442 172321 | 2147483647 83776 32 | 2.627 % |
455.65/455.64 c | 84051 | 13902 57442 172321 | 2147483647 84032 32 | 2.627 % |
457.55/457.60 c | 84334 | 13902 57442 172321 | 2147483647 84315 32 | 2.627 % |
459.55/459.57 c | 84644 | 13902 57442 172321 | 2147483647 84625 32 | 2.627 % |
461.56/461.54 c | 84986 | 13902 57442 172321 | 2147483647 84967 32 | 2.627 % |
464.26/464.31 c | 85359 | 13902 57442 172321 | 2147483647 85340 32 | 2.627 % |
467.36/467.33 c | 85770 | 13902 57442 172321 | 2147483647 85751 32 | 2.627 % |
470.26/470.27 c | 86220 | 13902 57442 172321 | 2147483647 86201 32 | 2.627 % |
473.56/473.58 c | 86713 | 13902 57442 172321 | 2147483647 86694 32 | 2.627 % |
477.46/477.45 c | 87255 | 13902 57442 172321 | 2147483647 87236 32 | 2.627 % |
481.86/481.84 c | 87852 | 13902 57442 172321 | 2147483647 87833 32 | 2.627 % |
486.46/486.50 c | 88508 | 13902 57442 172321 | 2147483647 88489 32 | 2.627 % |
491.06/491.03 c | 89228 | 13902 57442 172321 | 2147483647 89209 32 | 2.627 % |
496.66/496.63 c | 90021 | 13902 57442 172321 | 2147483647 90002 32 | 2.627 % |
502.66/502.62 c | 90892 | 13902 57442 172321 | 2147483647 90873 33 | 2.627 % |
509.06/509.05 c | 91853 | 13902 57442 172321 | 2147483647 91834 33 | 2.627 % |
513.76/513.75 c | 92906 | 13902 57442 172321 | 2147483647 92887 33 | 2.627 % |
514.46/514.47 c | 93006 | 13902 57442 172321 | 2147483647 92987 33 | 2.627 % |
515.36/515.39 c | 93116 | 13902 57442 172321 | 2147483647 93097 33 | 2.627 % |
516.46/516.43 c | 93237 | 13902 57442 172321 | 2147483647 93218 33 | 2.627 % |
517.66/517.64 c | 93371 | 13902 57442 172321 | 2147483647 93352 33 | 2.627 % |
518.96/519.00 c | 93519 | 13902 57442 172321 | 2147483647 93500 33 | 2.627 % |
520.26/520.24 c | 93680 | 13902 57442 172321 | 2147483647 93661 33 | 2.627 % |
521.46/521.51 c | 93856 | 13902 57442 172321 | 2147483647 93837 33 | 2.627 % |
522.86/522.83 c | 94051 | 13902 57442 172321 | 2147483647 94032 33 | 2.627 % |
524.46/524.51 c | 94264 | 13902 57442 172321 | 2147483647 94245 33 | 2.627 % |
526.16/526.15 c | 94497 | 13902 57442 172321 | 2147483647 94478 33 | 2.627 % |
528.16/528.13 c | 94753 | 13902 57442 172321 | 2147483647 94734 33 | 2.627 % |
530.26/530.27 c | 95035 | 13902 57442 172321 | 2147483647 95016 33 | 2.627 % |
532.26/532.29 c | 95344 | 13902 57442 172321 | 2147483647 95325 33 | 2.627 % |
534.46/534.49 c | 95683 | 13902 57442 172321 | 2147483647 95664 33 | 2.627 % |
537.36/537.36 c | 96056 | 13902 57442 172321 | 2147483647 96037 33 | 2.627 % |
540.17/540.16 c | 96465 | 13902 57442 172321 | 2147483647 96446 33 | 2.627 % |
543.16/543.19 c | 96915 | 13902 57442 172321 | 2147483647 96896 33 | 2.627 % |
546.66/546.70 c | 97411 | 13902 57442 172321 | 2147483647 97392 33 | 2.627 % |
550.16/550.17 c | 97953 | 13902 57442 172321 | 2147483647 97934 33 | 2.627 % |
554.86/554.81 c | 98549 | 13902 57442 172321 | 2147483647 98530 33 | 2.627 % |
560.36/560.33 c | 99204 | 13902 57442 172321 | 2147483647 99185 33 | 2.627 % |
565.96/565.93 c | 99924 | 13902 57442 172321 | 2147483647 99905 33 | 2.627 % |
571.56/571.58 c | 100716 | 13902 57442 172321 | 2147483647 100697 33 | 2.627 % |
577.36/577.34 c | 101588 | 13902 57442 172321 | 2147483647 101569 33 | 2.627 % |
585.16/585.12 c | 102546 | 13902 57442 172321 | 2147483647 102527 33 | 2.627 % |
592.57/592.53 c | 103600 | 13902 57442 172321 | 2147483647 103581 33 | 2.627 % |
601.27/601.30 c | 104758 | 13902 57442 172321 | 2147483647 104739 33 | 2.627 % |
602.07/602.08 c | 104859 | 13902 57442 172321 | 2147483647 104840 33 | 2.627 % |
602.97/602.93 c | 104969 | 13902 57442 172321 | 2147483647 104950 33 | 2.627 % |
603.87/603.91 c | 105091 | 13902 57442 172321 | 2147483647 105072 33 | 2.627 % |
605.07/605.10 c | 105225 | 13902 57442 172321 | 2147483647 105206 33 | 2.627 % |
606.27/606.26 c | 105371 | 13902 57442 172321 | 2147483647 105352 33 | 2.627 % |
607.47/607.47 c | 105531 | 13902 57442 172321 | 2147483647 105512 33 | 2.627 % |
608.67/608.70 c | 105707 | 13902 57442 172321 | 2147483647 105688 33 | 2.627 % |
610.16/610.13 c | 105900 | 13902 57442 172321 | 2147483647 105881 33 | 2.627 % |
611.96/611.95 c | 106112 | 13902 57442 172321 | 2147483647 106093 33 | 2.627 % |
613.86/613.83 c | 106345 | 13902 57442 172321 | 2147483647 106326 33 | 2.627 % |
615.66/615.64 c | 106601 | 13902 57442 172321 | 2147483647 106582 33 | 2.627 % |
617.76/617.80 c | 106882 | 13902 57442 172321 | 2147483647 106863 33 | 2.627 % |
620.16/620.18 c | 107191 | 13902 57442 172321 | 2147483647 107172 33 | 2.627 % |
622.16/622.15 c | 107530 | 13902 57442 172321 | 2147483647 107511 33 | 2.627 % |
624.76/624.75 c | 107904 | 13902 57442 172321 | 2147483647 107885 33 | 2.627 % |
627.96/627.97 c | 108314 | 13902 57442 172321 | 2147483647 108295 33 | 2.627 % |
630.86/630.86 c | 108763 | 13902 57442 172321 | 2147483647 108744 33 | 2.627 % |
634.86/634.85 c | 109257 | 13902 57442 172321 | 2147483647 109238 33 | 2.627 % |
639.16/639.17 c | 109799 | 13902 57442 172321 | 2147483647 109780 33 | 2.627 % |
643.86/643.81 c | 110396 | 13902 57442 172321 | 2147483647 110377 33 | 2.627 % |
648.86/648.84 c | 111051 | 13902 57442 172321 | 2147483647 111032 33 | 2.627 % |
655.06/655.03 c | 111772 | 13902 57442 172321 | 2147483647 111753 33 | 2.627 % |
662.26/662.30 c | 112565 | 13902 57442 172321 | 2147483647 112546 33 | 2.627 % |
669.26/669.21 c | 113437 | 13902 57442 172321 | 2147483647 113418 33 | 2.627 % |
676.66/676.68 c | 114396 | 13902 57442 172321 | 2147483647 114377 33 | 2.627 % |
685.16/685.15 c | 115449 | 13902 57442 172321 | 2147483647 115430 33 | 2.627 % |
694.66/694.70 c | 116607 | 13902 57442 172321 | 2147483647 116588 33 | 2.627 % |
703.66/703.65 c | 117881 | 13902 57442 172321 | 2147483647 117862 33 | 2.627 % |
704.46/704.46 c | 117982 | 13902 57442 172321 | 2147483647 117963 33 | 2.627 % |
705.36/705.30 c | 118092 | 13902 57442 172321 | 2147483647 118073 33 | 2.627 % |
706.36/706.39 c | 118214 | 13902 57442 172321 | 2147483647 118195 33 | 2.627 % |
707.66/707.68 c | 118348 | 13902 57442 172321 | 2147483647 118329 33 | 2.627 % |
708.96/708.97 c | 118495 | 13902 57442 172321 | 2147483647 118476 33 | 2.627 % |
710.36/710.32 c | 118656 | 13902 57442 172321 | 2147483647 118637 33 | 2.627 % |
711.86/711.84 c | 118832 | 13902 57442 172321 | 2147483647 118813 33 | 2.627 % |
713.46/713.42 c | 119025 | 13902 57442 172321 | 2147483647 119006 33 | 2.627 % |
715.46/715.50 c | 119238 | 13902 57442 172321 | 2147483647 119219 33 | 2.627 % |
717.56/717.51 c | 119471 | 13902 57442 172321 | 2147483647 119452 33 | 2.627 % |
719.56/719.53 c | 119727 | 13902 57442 172321 | 2147483647 119708 33 | 2.627 % |
721.67/721.62 c | 120009 | 13902 57442 172321 | 2147483647 119990 33 | 2.627 % |
724.37/724.36 c | 120319 | 13902 57442 172321 | 2147483647 120300 33 | 2.627 % |
727.47/727.42 c | 120659 | 13902 57442 172321 | 2147483647 120640 33 | 2.627 % |
730.37/730.38 c | 121031 | 13902 57442 172321 | 2147483647 121012 33 | 2.627 % |
734.07/734.04 c | 121440 | 13902 57442 172321 | 2147483647 121421 33 | 2.627 % |
737.37/737.35 c | 121891 | 13902 57442 172321 | 2147483647 121872 33 | 2.627 % |
741.57/741.55 c | 122385 | 13902 57442 172321 | 2147483647 122366 33 | 2.627 % |
746.27/746.23 c | 122928 | 13902 57442 172321 | 2147483647 122909 33 | 2.627 % |
750.77/750.76 c | 123526 | 13902 57442 172321 | 2147483647 123507 33 | 2.627 % |
756.27/756.25 c | 124181 | 13902 57442 172321 | 2147483647 124162 33 | 2.627 % |
761.57/761.57 c | 124901 | 13902 57442 172321 | 2147483647 124882 33 | 2.627 % |
768.38/768.33 c | 125693 | 13902 57442 172321 | 2147483647 125674 33 | 2.627 % |
775.68/775.63 c | 126565 | 13902 57442 172321 | 2147483647 126546 33 | 2.627 % |
784.38/784.32 c | 127524 | 13902 57442 172321 | 2147483647 127505 33 | 2.627 % |
792.78/792.73 c | 128577 | 13902 57442 172321 | 2147483647 128558 33 | 2.627 % |
802.28/802.30 c | 129735 | 13902 57442 172321 | 2147483647 129716 33 | 2.627 % |
813.88/813.85 c | 131009 | 13902 57442 172321 | 2147483647 130990 33 | 2.627 % |
825.58/825.56 c | 132409 | 13902 57442 172321 | 2147483647 132390 33 | 2.627 % |
826.38/826.34 c | 132509 | 13902 57442 172321 | 2147483647 132490 33 | 2.627 % |
827.48/827.42 c | 132619 | 13902 57442 172321 | 2147483647 132600 33 | 2.627 % |
828.58/828.53 c | 132740 | 13902 57442 172321 | 2147483647 132721 33 | 2.627 % |
829.58/829.52 c | 132873 | 13902 57442 172321 | 2147483647 132854 33 | 2.627 % |
830.88/830.82 c | 133020 | 13902 57442 172321 | 2147483647 133001 33 | 2.627 % |
832.48/832.47 c | 133180 | 13902 57442 172321 | 2147483647 133161 33 | 2.627 % |
834.08/834.10 c | 133356 | 13902 57442 172321 | 2147483647 133337 33 | 2.627 % |
835.88/835.91 c | 133550 | 13902 57442 172321 | 2147483647 133531 33 | 2.627 % |
837.88/837.82 c | 133764 | 13902 57442 172321 | 2147483647 133745 33 | 2.627 % |
839.78/839.76 c | 133998 | 13902 57442 172321 | 2147483647 133979 33 | 2.627 % |
842.28/842.27 c | 134255 | 13902 57442 172321 | 2147483647 134236 33 | 2.627 % |
844.18/844.12 c | 134538 | 13902 57442 172321 | 2147483647 134519 33 | 2.627 % |
847.18/847.14 c | 134847 | 13902 57442 172321 | 2147483647 134828 33 | 2.627 % |
850.48/850.46 c | 135187 | 13902 57442 172321 | 2147483647 135168 33 | 2.627 % |
853.58/853.60 c | 135559 | 13902 57442 172321 | 2147483647 135540 33 | 2.627 % |
857.09/857.11 c | 135968 | 13902 57442 172321 | 2147483647 135949 33 | 2.627 % |
860.89/860.87 c | 136417 | 13902 57442 172321 | 2147483647 136398 33 | 2.627 % |
865.19/865.18 c | 136910 | 13902 57442 172321 | 2147483647 136891 33 | 2.627 % |
869.79/869.77 c | 137453 | 13902 57442 172321 | 2147483647 137434 33 | 2.627 % |
874.69/874.67 c | 138049 | 13902 57442 172321 | 2147483647 138030 33 | 2.627 % |
880.59/880.58 c | 138705 | 13902 57442 172321 | 2147483647 138686 33 | 2.627 % |
886.99/886.98 c | 139426 | 13902 57442 172321 | 2147483647 139407 33 | 2.627 % |
893.49/893.42 c | 140220 | 13902 57442 172321 | 2147483647 140201 33 | 2.627 % |
898.29/898.29 c | 141091 | 13902 57442 172321 | 2147483647 141072 33 | 2.627 % |
905.09/905.09 c | 142050 | 13902 57442 172321 | 2147483647 142031 33 | 2.627 % |
914.39/914.34 c | 143104 | 13902 57442 172321 | 2147483647 143085 33 | 2.627 % |
924.49/924.44 c | 144262 | 13902 57442 172321 | 2147483647 144243 33 | 2.627 % |
935.69/935.64 c | 145535 | 13902 57442 172321 | 2147483647 145516 33 | 2.627 % |
949.99/949.94 c | 146935 | 13902 57442 172321 | 2147483647 146916 33 | 2.627 % |
964.09/964.09 c | 148476 | 13902 57442 172321 | 2147483647 148457 33 | 2.627 % |
964.99/964.95 c | 148577 | 13902 57442 172321 | 2147483647 148558 33 | 2.627 % |
965.69/965.66 c | 148687 | 13902 57442 172321 | 2147483647 148668 33 | 2.627 % |
966.59/966.55 c | 148808 | 13902 57442 172321 | 2147483647 148789 33 | 2.627 % |
967.78/967.73 c | 148941 | 13902 57442 172321 | 2147483647 148922 33 | 2.627 % |
968.68/968.69 c | 149088 | 13902 57442 172321 | 2147483647 149069 33 | 2.627 % |
970.29/970.22 c | 149249 | 13902 57442 172321 | 2147483647 149230 33 | 2.627 % |
971.68/971.64 c | 149425 | 13902 57442 172321 | 2147483647 149406 33 | 2.627 % |
973.48/973.45 c | 149619 | 13902 57442 172321 | 2147483647 149600 33 | 2.627 % |
975.68/975.70 c | 149832 | 13902 57442 172321 | 2147483647 149813 33 | 2.627 % |
977.38/977.31 c | 150066 | 13902 57442 172321 | 2147483647 150047 33 | 2.627 % |
980.19/980.11 c | 150322 | 13902 57442 172321 | 2147483647 150303 33 | 2.627 % |
983.08/983.01 c | 150604 | 13902 57442 172321 | 2147483647 150585 33 | 2.627 % |
986.08/986.04 c | 150914 | 13902 57442 172321 | 2147483647 150895 33 | 2.627 % |
988.39/988.40 c | 151253 | 13902 57442 172321 | 2147483647 151234 33 | 2.627 % |
991.89/991.84 c | 151625 | 13902 57442 172321 | 2147483647 151606 33 | 2.627 % |
994.79/994.75 c | 152036 | 13902 57442 172321 | 2147483647 152017 33 | 2.627 % |
999.19/999.21 c | 152485 | 13902 57442 172321 | 2147483647 152466 33 | 2.627 % |
1003.69/1003.65 c | 152978 | 13902 57442 172321 | 2147483647 152959 33 | 2.627 % |
1008.49/1008.46 c | 153521 | 13902 57442 172321 | 2147483647 153502 33 | 2.627 % |
1013.79/1013.72 c | 154118 | 13902 57442 172321 | 2147483647 154099 33 | 2.627 % |
1020.29/1020.24 c | 154773 | 13902 57442 172321 | 2147483647 154754 33 | 2.627 % |
1026.99/1026.99 c | 155495 | 13902 57442 172321 | 2147483647 155476 33 | 2.627 % |
1035.09/1035.05 c | 156287 | 13902 57442 172321 | 2147483647 156268 33 | 2.627 % |
1043.39/1043.35 c | 157160 | 13902 57442 172321 | 2147483647 157141 33 | 2.627 % |
1052.19/1052.12 c | 158119 | 13902 57442 172321 | 2147483647 158100 33 | 2.627 % |
1062.39/1062.39 c | 159173 | 13902 57442 172321 | 2147483647 159154 33 | 2.627 % |
1073.79/1073.74 c | 160331 | 13902 57442 172321 | 2147483647 160312 33 | 2.627 % |
1086.79/1086.79 c | 161605 | 13902 57442 172321 | 2147483647 161586 33 | 2.627 % |
1099.29/1099.26 c | 163005 | 13902 57442 172321 | 2147483647 162986 33 | 2.627 % |
1114.90/1114.85 c | 164545 | 13902 57442 172321 | 2147483647 164526 33 | 2.627 % |
1132.91/1132.92 c | 166239 | 13902 57442 172321 | 2147483647 166220 33 | 2.627 % |
1133.91/1133.86 c | 166339 | 13902 57442 172321 | 2147483647 166320 33 | 2.627 % |
1134.81/1134.77 c | 166449 | 13902 57442 172321 | 2147483647 166430 33 | 2.627 % |
1135.91/1135.87 c | 166570 | 13902 57442 172321 | 2147483647 166551 33 | 2.627 % |
1137.31/1137.29 c | 166704 | 13902 57442 172321 | 2147483647 166685 33 | 2.627 % |
1138.91/1138.82 c | 166850 | 13902 57442 172321 | 2147483647 166831 33 | 2.627 % |
1140.31/1140.24 c | 167011 | 13902 57442 172321 | 2147483647 166992 33 | 2.627 % |
1141.91/1141.87 c | 167187 | 13902 57442 172321 | 2147483647 167168 33 | 2.627 % |
1143.81/1143.80 c | 167381 | 13902 57442 172321 | 2147483647 167362 33 | 2.627 % |
1145.91/1145.88 c | 167593 | 13902 57442 172321 | 2147483647 167574 33 | 2.627 % |
1148.01/1148.01 c | 167826 | 13902 57442 172321 | 2147483647 167807 33 | 2.627 % |
1150.21/1150.20 c | 168083 | 13902 57442 172321 | 2147483647 168064 33 | 2.627 % |
1152.61/1152.60 c | 168364 | 13902 57442 172321 | 2147483647 168345 33 | 2.627 % |
1155.81/1155.80 c | 168673 | 13902 57442 172321 | 2147483647 168654 33 | 2.627 % |
1159.71/1159.70 c | 169013 | 13902 57442 172321 | 2147483647 168994 33 | 2.627 % |
1163.21/1163.15 c | 169385 | 13902 57442 172321 | 2147483647 169366 33 | 2.627 % |
1167.11/1167.10 c | 169795 | 13902 57442 172321 | 2147483647 169776 33 | 2.627 % |
1170.91/1170.84 c | 170246 | 13902 57442 172321 | 2147483647 170227 33 | 2.627 % |
1175.91/1175.83 c | 170739 | 13902 57442 172321 | 2147483647 170720 33 | 2.627 % |
1181.31/1181.23 c | 171282 | 13902 57442 172321 | 2147483647 171263 33 | 2.627 % |
1186.51/1186.42 c | 171879 | 13902 57442 172321 | 2147483647 171860 33 | 2.627 % |
1191.81/1191.79 c | 172534 | 13902 57442 172321 | 2147483647 172515 33 | 2.627 % |
1199.31/1199.26 c | 173254 | 13902 57442 172321 | 2147483647 173235 33 | 2.627 % |
1200.01/1199.92 HOME/SatELiteGTI: line 36: 12875 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-1821142-1242511122/watcher-1821142-1242511122 -o /tmp/evaluation-result-1821142-1242511122/solver-1821142-1242511122 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821142-1242511122.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: 0.92 0.98 0.99 2/91 12869
/proc/meminfo: memFree=1416076/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2416 CPUtime=0
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 368 646 0 0 0 0 0 0 25 0 1 0 1015610341 2473984 277 4294967295 134512640 135169312 3214214304 3214212840 3085549294 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/12869/statm: 604 277 235 161 0 43 0
[pid=12873] ppid=12869 vsize=952 CPUtime=0
/proc/12873/stat : 12873 (SatELite_releas) R 12869 12869 15108 0 -1 4202496 116 0 0 0 0 0 0 0 25 0 1 0 1015610341 974848 51 4294967295 134512640 135223648 3217590208 3217587732 134818097 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12873/statm: 239 55 44 174 0 64 0
[startup+0.059664 s]
/proc/loadavg: 0.92 0.98 0.99 2/91 12869
/proc/meminfo: memFree=1416076/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2416 CPUtime=0
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 368 646 0 0 0 0 0 0 25 0 1 0 1015610341 2473984 277 4294967295 134512640 135169312 3214214304 3214212840 3085549294 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/12869/statm: 604 277 235 161 0 43 0
[pid=12873] ppid=12869 vsize=9572 CPUtime=0.06
/proc/12873/stat : 12873 (SatELite_releas) R 12869 12869 15108 0 -1 4202496 2210 0 0 0 6 0 0 0 25 0 1 0 1015610341 9801728 2145 4294967295 134512640 135223648 3217590208 3217588776 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12873/statm: 2393 2145 47 174 0 2218 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11988
[startup+0.109647 s]
/proc/loadavg: 0.92 0.98 0.99 2/91 12869
/proc/meminfo: memFree=1416076/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2416 CPUtime=0
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 368 646 0 0 0 0 0 0 25 0 1 0 1015610341 2473984 277 4294967295 134512640 135169312 3214214304 3214212840 3085549294 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/12869/statm: 604 277 235 161 0 43 0
[pid=12873] ppid=12869 vsize=14556 CPUtime=0.11
/proc/12873/stat : 12873 (SatELite_releas) R 12869 12869 15108 0 -1 4202496 3487 0 0 0 10 1 0 0 25 0 1 0 1015610341 14905344 3279 4294967295 134512640 135223648 3217590208 3217588120 134725153 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12873/statm: 3639 3279 108 174 0 3464 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 16972
[startup+0.309631 s]
/proc/loadavg: 0.92 0.98 0.99 2/91 12869
/proc/meminfo: memFree=1416076/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2416 CPUtime=0
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 368 646 0 0 0 0 0 0 25 0 1 0 1015610341 2473984 277 4294967295 134512640 135169312 3214214304 3214212840 3085549294 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/12869/statm: 604 277 235 161 0 43 0
[pid=12873] ppid=12869 vsize=14936 CPUtime=0.31
/proc/12873/stat : 12873 (SatELite_releas) R 12869 12869 15108 0 -1 4202496 3670 0 0 0 29 2 0 0 25 0 1 0 1015610341 15294464 3427 4294967295 134512640 135223648 3217590208 3217588208 134548993 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12873/statm: 3734 3427 73 174 0 3559 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 17352
[startup+0.709601 s]
/proc/loadavg: 0.92 0.98 0.99 2/91 12869
/proc/meminfo: memFree=1416076/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2416 CPUtime=0
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 368 646 0 0 0 0 0 0 25 0 1 0 1015610341 2473984 277 4294967295 134512640 135169312 3214214304 3214212840 3085549294 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/12869/statm: 604 277 235 161 0 43 0
[pid=12873] ppid=12869 vsize=15748 CPUtime=0.71
/proc/12873/stat : 12873 (SatELite_releas) R 12869 12869 15108 0 -1 4202496 3865 0 0 0 68 3 0 0 25 0 1 0 1015610341 16125952 3622 4294967295 134512640 135223648 3217590208 3217588224 134586721 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12873/statm: 3937 3622 73 174 0 3762 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 18164
[startup+1.50954 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 12874
/proc/meminfo: memFree=1397344/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2420 CPUtime=1.32
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 386 4818 0 0 0 0 129 3 20 0 1 0 1015610341 2478080 278 4294967295 134512640 135169312 3214214304 3214210520 3085549294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12869/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 2420
[startup+3.10942 s]
/proc/loadavg: 0.92 0.98 0.99 3/93 12875
/proc/meminfo: memFree=1406024/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2420 CPUtime=1.32
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 386 4818 0 0 0 0 129 3 20 0 1 0 1015610341 2478080 278 4294967295 134512640 135169312 3214214304 3214210520 3085549294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12869/statm: 605 278 235 161 0 44 0
[pid=12875] ppid=12869 vsize=5996 CPUtime=1.79
/proc/12875/stat : 12875 (minisat_static) R 12869 12869 15108 0 -1 4202496 1380 0 0 0 176 3 0 0 25 0 1 0 1015610473 6139904 1315 4294967295 134512640 135215339 3217164224 3217162512 134528863 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12875/statm: 1499 1315 72 172 0 1326 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 8416
[startup+6.30917 s]
/proc/loadavg: 0.93 0.98 0.99 3/93 12875
/proc/meminfo: memFree=1405900/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2420 CPUtime=1.32
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 386 4818 0 0 0 0 129 3 20 0 1 0 1015610341 2478080 278 4294967295 134512640 135169312 3214214304 3214210520 3085549294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12869/statm: 605 278 235 161 0 44 0
[pid=12875] ppid=12869 vsize=6132 CPUtime=4.99
/proc/12875/stat : 12875 (minisat_static) R 12869 12869 15108 0 -1 4202496 1414 0 0 0 496 3 0 0 25 0 1 0 1015610473 6279168 1349 4294967295 134512640 135215339 3217164224 3217162512 134528908 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12875/statm: 1533 1349 72 172 0 1360 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 8552
[startup+12.7087 s]
/proc/loadavg: 0.93 0.98 0.99 3/93 12875
/proc/meminfo: memFree=1405344/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2420 CPUtime=1.32
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 386 4818 0 0 0 0 129 3 20 0 1 0 1015610341 2478080 278 4294967295 134512640 135169312 3214214304 3214210520 3085549294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12869/statm: 605 278 235 161 0 44 0
[pid=12875] ppid=12869 vsize=6528 CPUtime=11.39
/proc/12875/stat : 12875 (minisat_static) R 12869 12869 15108 0 -1 4202496 1517 0 0 0 1136 3 0 0 25 0 1 0 1015610473 6684672 1452 4294967295 134512640 135215339 3217164224 3217162512 134529051 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12875/statm: 1632 1452 72 172 0 1459 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 8948
[startup+25.5077 s]
/proc/loadavg: 0.95 0.98 0.99 3/93 12876
/proc/meminfo: memFree=1404788/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2420 CPUtime=1.32
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 386 4818 0 0 0 0 129 3 20 0 1 0 1015610341 2478080 278 4294967295 134512640 135169312 3214214304 3214210520 3085549294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12869/statm: 605 278 235 161 0 44 0
[pid=12875] ppid=12869 vsize=7188 CPUtime=24.19
/proc/12875/stat : 12875 (minisat_static) R 12869 12869 15108 0 -1 4202496 1694 0 0 0 2416 3 0 0 25 0 1 0 1015610473 7360512 1629 4294967295 134512640 135215339 3217164224 3217162512 134528917 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12875/statm: 1797 1629 72 172 0 1624 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 9608
[startup+51.1057 s]
/proc/loadavg: 0.96 0.98 0.99 3/93 12877
/proc/meminfo: memFree=1403788/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2420 CPUtime=1.32
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 386 4818 0 0 0 0 129 3 20 0 1 0 1015610341 2478080 278 4294967295 134512640 135169312 3214214304 3214210520 3085549294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12869/statm: 605 278 235 161 0 44 0
[pid=12875] ppid=12869 vsize=8164 CPUtime=49.79
/proc/12875/stat : 12875 (minisat_static) R 12869 12869 15108 0 -1 4202496 1925 0 0 0 4976 3 0 0 25 0 1 0 1015610473 8359936 1860 4294967295 134512640 135215339 3217164224 3217162512 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12875/statm: 2041 1860 72 172 0 1868 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 10584
[startup+102.322 s]
/proc/loadavg: 0.98 0.98 0.99 2/93 13065
/proc/meminfo: memFree=1401620/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2420 CPUtime=1.32
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 386 4818 0 0 0 0 129 3 20 0 1 0 1015610341 2478080 278 4294967295 134512640 135169312 3214214304 3214210520 3085549294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12869/statm: 605 278 235 161 0 44 0
[pid=12875] ppid=12869 vsize=10228 CPUtime=101.01
/proc/12875/stat : 12875 (minisat_static) R 12869 12869 15108 0 -1 4202496 2454 0 0 0 10096 5 0 0 25 0 1 0 1015610473 10473472 2389 4294967295 134512640 135215339 3217164224 3217162512 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12875/statm: 2557 2389 72 172 0 2384 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 12648
[startup+162.317 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 13253
/proc/meminfo: memFree=1399140/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2420 CPUtime=1.32
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 386 4818 0 0 0 0 129 3 20 0 1 0 1015610341 2478080 278 4294967295 134512640 135169312 3214214304 3214210520 3085549294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12869/statm: 605 278 235 161 0 44 0
[pid=12875] ppid=12869 vsize=12512 CPUtime=161.01
/proc/12875/stat : 12875 (minisat_static) R 12869 12869 15108 0 -1 4202496 2994 0 0 0 16095 6 0 0 25 0 1 0 1015610473 12812288 2929 4294967295 134512640 135215339 3217164224 3217162288 134538089 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12875/statm: 3128 2929 72 172 0 2955 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 14932
[startup+222.323 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 13446
/proc/meminfo: memFree=1397272/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2420 CPUtime=1.32
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 386 4818 0 0 0 0 129 3 20 0 1 0 1015610341 2478080 278 4294967295 134512640 135169312 3214214304 3214210520 3085549294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12869/statm: 605 278 235 161 0 44 0
[pid=12875] ppid=12869 vsize=14228 CPUtime=221.02
/proc/12875/stat : 12875 (minisat_static) R 12869 12869 15108 0 -1 4202496 3415 0 0 0 22095 7 0 0 25 0 1 0 1015610473 14569472 3350 4294967295 134512640 135215339 3217164224 3217162288 134538384 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12875/statm: 3557 3350 72 172 0 3384 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 16648
[startup+282.308 s]
/proc/loadavg: 0.99 0.98 0.99 4/93 13632
/proc/meminfo: memFree=1395420/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2420 CPUtime=1.32
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 386 4818 0 0 0 0 129 3 20 0 1 0 1015610341 2478080 278 4294967295 134512640 135169312 3214214304 3214210520 3085549294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12869/statm: 605 278 235 161 0 44 0
[pid=12875] ppid=12869 vsize=16036 CPUtime=281.01
/proc/12875/stat : 12875 (minisat_static) R 12869 12869 15108 0 -1 4202496 3880 0 0 0 28094 7 0 0 25 0 1 0 1015610473 16420864 3815 4294967295 134512640 135215339 3217164224 3217162288 134538362 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12875/statm: 4009 3815 72 172 0 3836 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 18456
[startup+342.314 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 13820
/proc/meminfo: memFree=1393972/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2420 CPUtime=1.32
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 386 4818 0 0 0 0 129 3 20 0 1 0 1015610341 2478080 278 4294967295 134512640 135169312 3214214304 3214210520 3085549294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12869/statm: 605 278 235 161 0 44 0
[pid=12875] ppid=12869 vsize=17648 CPUtime=341.02
/proc/12875/stat : 12875 (minisat_static) R 12869 12869 15108 0 -1 4202496 4258 0 0 0 34094 8 0 0 25 0 1 0 1015610473 18071552 4193 4294967295 134512640 135215339 3217164224 3217162288 134538032 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12875/statm: 4412 4193 72 172 0 4239 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 20068
[startup+402.309 s]
################
# More data... #
################
[pid=12875] ppid=12869 vsize=22568 CPUtime=521.04
/proc/12875/stat : 12875 (minisat_static) R 12869 12869 15108 0 -1 4202496 5421 0 0 0 52096 8 0 0 25 0 1 0 1015610473 23109632 5356 4294967295 134512640 135215339 3217164224 3217162512 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12875/statm: 5642 5356 72 172 0 5469 0
Current children cumulated CPU time (s) 522.36
Current children cumulated vsize (KiB) 24988
[startup+582.315 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 14577
/proc/meminfo: memFree=1388012/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2420 CPUtime=1.32
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 386 4818 0 0 0 0 129 3 20 0 1 0 1015610341 2478080 278 4294967295 134512640 135169312 3214214304 3214210520 3085549294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12869/statm: 605 278 235 161 0 44 0
[pid=12875] ppid=12869 vsize=24120 CPUtime=581.04
/proc/12875/stat : 12875 (minisat_static) R 12869 12869 15108 0 -1 4202496 5816 0 0 0 58096 8 0 0 25 0 1 0 1015610473 24698880 5751 4294967295 134512640 135215339 3217164224 3217162512 134528624 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12875/statm: 6030 5751 72 172 0 5857 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 26540
[startup+642.311 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 14765
/proc/meminfo: memFree=1386300/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2420 CPUtime=1.32
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 386 4818 0 0 0 0 129 3 20 0 1 0 1015610341 2478080 278 4294967295 134512640 135169312 3214214304 3214210520 3085549294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12869/statm: 605 278 235 161 0 44 0
[pid=12875] ppid=12869 vsize=25580 CPUtime=641.04
/proc/12875/stat : 12875 (minisat_static) R 12869 12869 15108 0 -1 4202496 6187 0 0 0 64096 8 0 0 25 0 1 0 1015610473 26193920 6122 4294967295 134512640 135215339 3217164224 3217162288 134539387 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12875/statm: 6395 6122 72 172 0 6222 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 28000
[startup+702.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 14953
/proc/meminfo: memFree=1384812/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2420 CPUtime=1.32
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 386 4818 0 0 0 0 129 3 20 0 1 0 1015610341 2478080 278 4294967295 134512640 135169312 3214214304 3214210520 3085549294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12869/statm: 605 278 235 161 0 44 0
[pid=12875] ppid=12869 vsize=27024 CPUtime=701.04
/proc/12875/stat : 12875 (minisat_static) R 12869 12869 15108 0 -1 4202496 6529 0 0 0 70096 8 0 0 25 0 1 0 1015610473 27672576 6464 4294967295 134512640 135215339 3217164224 3217162496 134525713 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12875/statm: 6756 6464 72 172 0 6583 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 29444
[startup+762.321 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 15144
/proc/meminfo: memFree=1383324/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2420 CPUtime=1.32
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 386 4818 0 0 0 0 129 3 20 0 1 0 1015610341 2478080 278 4294967295 134512640 135169312 3214214304 3214210520 3085549294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12869/statm: 605 278 235 161 0 44 0
[pid=12875] ppid=12869 vsize=28448 CPUtime=761.06
/proc/12875/stat : 12875 (minisat_static) R 12869 12869 15108 0 -1 4202496 6870 0 0 0 76096 10 0 0 25 0 1 0 1015610473 29130752 6805 4294967295 134512640 135215339 3217164224 3217162512 134528884 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12875/statm: 7112 6805 72 172 0 6939 0
Current children cumulated CPU time (s) 762.38
Current children cumulated vsize (KiB) 30868
[startup+822.317 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 15333
/proc/meminfo: memFree=1382448/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2420 CPUtime=1.32
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 386 4818 0 0 0 0 129 3 20 0 1 0 1015610341 2478080 278 4294967295 134512640 135169312 3214214304 3214210520 3085549294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12869/statm: 605 278 235 161 0 44 0
[pid=12875] ppid=12869 vsize=29444 CPUtime=821.06
/proc/12875/stat : 12875 (minisat_static) R 12869 12869 15108 0 -1 4202496 7134 0 0 0 82092 14 0 0 25 0 1 0 1015610473 30150656 7069 4294967295 134512640 135215339 3217164224 3217162512 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12875/statm: 7361 7069 72 172 0 7188 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 31864
[startup+882.322 s]
/proc/loadavg: 1.14 1.02 1.00 2/93 15519
/proc/meminfo: memFree=1381464/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2420 CPUtime=1.32
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 386 4818 0 0 0 0 129 3 20 0 1 0 1015610341 2478080 278 4294967295 134512640 135169312 3214214304 3214210520 3085549294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12869/statm: 605 278 235 161 0 44 0
[pid=12875] ppid=12869 vsize=30848 CPUtime=881.07
/proc/12875/stat : 12875 (minisat_static) R 12869 12869 15108 0 -1 4202496 7425 0 0 0 88093 14 0 0 25 0 1 0 1015610473 31588352 7360 4294967295 134512640 135215339 3217164224 3217162512 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12875/statm: 7712 7360 72 172 0 7539 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 33268
[startup+942.318 s]
/proc/loadavg: 1.24 1.08 1.03 3/93 15707
/proc/meminfo: memFree=1380108/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2420 CPUtime=1.32
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 386 4818 0 0 0 0 129 3 20 0 1 0 1015610341 2478080 278 4294967295 134512640 135169312 3214214304 3214210520 3085549294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12869/statm: 605 278 235 161 0 44 0
[pid=12875] ppid=12869 vsize=32208 CPUtime=941.07
/proc/12875/stat : 12875 (minisat_static) R 12869 12869 15108 0 -1 4202496 7762 0 0 0 94093 14 0 0 25 0 1 0 1015610473 32980992 7697 4294967295 134512640 135215339 3217164224 3217162512 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12875/statm: 8052 7697 72 172 0 7879 0
Current children cumulated CPU time (s) 942.39
Current children cumulated vsize (KiB) 34628
[startup+1002.31 s]
/proc/loadavg: 1.09 1.06 1.02 3/93 15899
/proc/meminfo: memFree=1378496/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2420 CPUtime=1.32
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 386 4818 0 0 0 0 129 3 20 0 1 0 1015610341 2478080 278 4294967295 134512640 135169312 3214214304 3214210520 3085549294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12869/statm: 605 278 235 161 0 44 0
[pid=12875] ppid=12869 vsize=33744 CPUtime=1001.07
/proc/12875/stat : 12875 (minisat_static) R 12869 12869 15108 0 -1 4202496 8156 0 0 0 100093 14 0 0 25 0 1 0 1015610473 34553856 8091 4294967295 134512640 135215339 3217164224 3217162512 134528869 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12875/statm: 8436 8091 72 172 0 8263 0
Current children cumulated CPU time (s) 1002.39
Current children cumulated vsize (KiB) 36164
[startup+1062.31 s]
/proc/loadavg: 1.03 1.05 1.01 2/93 16087
/proc/meminfo: memFree=1377380/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2420 CPUtime=1.32
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 386 4818 0 0 0 0 129 3 20 0 1 0 1015610341 2478080 278 4294967295 134512640 135169312 3214214304 3214210520 3085549294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12869/statm: 605 278 235 161 0 44 0
[pid=12875] ppid=12869 vsize=34920 CPUtime=1061.07
/proc/12875/stat : 12875 (minisat_static) R 12869 12869 15108 0 -1 4202496 8466 0 0 0 106092 15 0 0 25 0 1 0 1015610473 35758080 8401 4294967295 134512640 135215339 3217164224 3217162512 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12875/statm: 8730 8401 72 172 0 8557 0
Current children cumulated CPU time (s) 1062.39
Current children cumulated vsize (KiB) 37340
[startup+1122.32 s]
/proc/loadavg: 1.01 1.04 1.01 2/93 16279
/proc/meminfo: memFree=1376496/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2420 CPUtime=1.32
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 386 4818 0 0 0 0 129 3 20 0 1 0 1015610341 2478080 278 4294967295 134512640 135169312 3214214304 3214210520 3085549294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12869/statm: 605 278 235 161 0 44 0
[pid=12875] ppid=12869 vsize=36116 CPUtime=1121.09
/proc/12875/stat : 12875 (minisat_static) R 12869 12869 15108 0 -1 4202496 8707 0 0 0 112093 16 0 0 25 0 1 0 1015610473 36982784 8642 4294967295 134512640 135215339 3217164224 3217162512 134529083 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12875/statm: 9029 8642 72 172 0 8856 0
Current children cumulated CPU time (s) 1122.41
Current children cumulated vsize (KiB) 38536
[startup+1182.32 s]
/proc/loadavg: 1.00 1.03 1.00 2/93 16465
/proc/meminfo: memFree=1375264/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2420 CPUtime=1.32
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 386 4818 0 0 0 0 129 3 20 0 1 0 1015610341 2478080 278 4294967295 134512640 135169312 3214214304 3214210520 3085549294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12869/statm: 605 278 235 161 0 44 0
[pid=12875] ppid=12869 vsize=37200 CPUtime=1181.09
/proc/12875/stat : 12875 (minisat_static) R 12869 12869 15108 0 -1 4202496 9006 0 0 0 118091 18 0 0 25 0 1 0 1015610473 38092800 8941 4294967295 134512640 135215339 3217164224 3217162512 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12875/statm: 9300 8941 72 172 0 9127 0
Current children cumulated CPU time (s) 1182.41
Current children cumulated vsize (KiB) 39620
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.92 s]
/proc/loadavg: 1.00 1.03 1.00 3/93 16651
/proc/meminfo: memFree=1374772/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2420 CPUtime=1.32
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 386 4818 0 0 0 0 129 3 20 0 1 0 1015610341 2478080 278 4294967295 134512640 135169312 3214214304 3214210520 3085549294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12869/statm: 605 278 235 161 0 44 0
[pid=12875] ppid=12869 vsize=37464 CPUtime=1198.69
/proc/12875/stat : 12875 (minisat_static) R 12869 12869 15108 0 -1 4202496 9080 0 0 0 119850 19 0 0 25 0 1 0 1015610473 38363136 9015 4294967295 134512640 135215339 3217164224 3217162512 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12875/statm: 9366 9015 72 172 0 9193 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 39884
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1199.92 s]
/proc/loadavg: 1.00 1.03 1.00 3/93 16651
/proc/meminfo: memFree=1374772/2074464 swapFree=1952056/1959888
[pid=12869] ppid=12867 vsize=2420 CPUtime=1.32
/proc/12869/stat : 12869 (SatELiteGTI) S 12867 12869 15108 0 -1 4194304 386 4818 0 0 0 0 129 3 20 0 1 0 1015610341 2478080 278 4294967295 134512640 135169312 3214214304 3214210520 3085549294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12869/statm: 605 278 235 161 0 44 0
[pid=12875] ppid=12869 vsize=37464 CPUtime=1198.69
/proc/12875/stat : 12875 (minisat_static) R 12869 12869 15108 0 -1 4202496 9080 0 0 0 119850 19 0 0 25 0 1 0 1015610473 38363136 9015 4294967295 134512640 135215339 3217164224 3217162512 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12875/statm: 9366 9015 72 172 0 9193 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 39884
Child status: 143
Real time (s): 1199.93
CPU time (s): 1200.02
CPU user time (s): 1199.79
CPU system time (s): 0.23
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 39884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.79
system time used= 0.23
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14562
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= 22
involuntary context switches= 3829
runsolver used 0.01 second user time and 0.02 second system time
The end
Begin job on tipi24 at 2009-05-16 23:58:42
IDJOB=1821142
IDBENCH=70850
IDSOLVER=657
FILE ID=tipi24/1821142-1242511122
PBS_JOBID=
Free space on /tmp= 9945 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-26-s100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821142-1242511122/watcher-1821142-1242511122 -o /tmp/evaluation-result-1821142-1242511122/solver-1821142-1242511122 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821142-1242511122.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a2be03cdc152990d030fb3c2aea1f730
RANDOM SEED= 1306816838
Linux tipi24 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.461
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.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
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.75
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
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.461
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.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1416456 kB
Buffers: 28232 kB
Cached: 548952 kB
SwapCached: 3828 kB
Active: 83564 kB
Inactive: 503144 kB
HighTotal: 1178688 kB
HighFree: 710804 kB
LowTotal: 895776 kB
LowFree: 705652 kB
SwapTotal: 1959888 kB
SwapFree: 1952056 kB
Dirty: 3408 kB
Writeback: 0 kB
AnonPages: 8460 kB
Mapped: 3124 kB
Slab: 63060 kB
PageTables: 484 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87792 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9945 MiB
End job on tipi24 at 2009-05-17 00:18:42