0.00/0.00 c PicoSAT SAT Solver Version 913
0.00/0.00 c Copyright (c) 2006 - 2009 Armin Biere JKU Linz
0.00/0.00 c gcc -Wall -Wextra -m32 -static -DNDEBUG -O3 -fomit-frame-pointer -finline-limit=1000000
0.00/0.00 c
0.00/0.00 c parsing HOME/instance-1716207-1240612638.cnf
0.00/0.00 c parsed header 'p cnf 246502 1169243'
6.99/7.00 c initialized 246502 variables
6.99/7.00 c found 1169243 non trivial clauses
6.99/7.00 c
6.99/7.00 c random number generator seed 0
6.99/7.00 c
6.99/7.00 c seconds variables original learned agility
6.99/7.00 c level used conflicts limit MB
6.99/7.00 c
6.99/7.00 c s 7.0 0.0 191e3 22.2 232e3 0 0 0 0.0 34.3
6.99/7.05 c
6.99/7.05 c initial reduction limit 127848 clauses
6.99/7.05 c
6.99/7.05 c + 7.1 58.0 191e3 22.5 232e3 100 93 140e3 0.3 34.3
6.99/7.06 c R 7.1 58.0 191e3 22.5 232e3 100 93 140e3 0.3 34.3
7.29/7.30 c + 7.3 57.5 191e3 24.2 232e3 250 240 154e3 0.4 34.8
7.89/7.91 c s 7.9 100.4 188e3 27.3 231e3 372 344 154e3 0.1 34.9
8.49/8.50 c + 8.5 117.0 185e3 30.4 231e3 475 429 170e3 2.3 35.0
8.79/8.90 c s 8.9 116.7 181e3 33.0 229e3 579 515 170e3 1.8 35.0
9.79/9.88 c s 9.9 101.5 170e3 39.8 224e3 725 623 170e3 0.4 35.4
10.39/10.43 c + 10.4 92.8 161e3 44.2 224e3 812 683 187e3 2.4 35.5
10.79/10.88 c s 10.9 91.6 159e3 45.6 218e3 890 745 187e3 1.3 35.4
11.19/11.27 c R 11.3 93.3 156e3 49.7 218e3 1028 872 187e3 4.6 35.5
11.89/11.97 c s 12.0 99.2 152e3 52.1 214e3 1097 912 187e3 0.2 35.5
12.99/13.03 c s 13.0 93.3 145e3 58.5 210e3 1295 1091 187e3 1.4 35.6
13.09/13.15 c + 13.2 92.8 145e3 59.5 210e3 1317 1110 205e3 0.1 35.6
14.19/14.28 c s 14.3 90.0 138e3 64.0 207e3 1461 1239 205e3 1.0 35.7
15.29/15.38 c s 15.4 85.9 133e3 65.7 205e3 1627 1366 205e3 0.4 35.7
16.49/16.55 c s 16.5 83.5 130e3 68.0 202e3 1814 1534 205e3 0.7 35.7
17.78/17.83 c s 17.8 83.1 130e3 69.5 202e3 1903 1615 205e3 0.0 35.8
18.98/19.02 c s 19.0 82.2 126e3 70.5 200e3 2049 1740 205e3 0.2 35.9
19.08/19.10 c + 19.1 82.2 126e3 70.7 200e3 2074 1764 226e3 1.3 35.9
20.18/20.25 c s 20.2 80.3 125e3 71.3 199e3 2229 1902 226e3 1.4 36.0
20.18/20.25 c
20.18/20.25 c seconds variables original learned agility
20.18/20.25 c level used conflicts limit MB
20.18/20.25 c
21.39/21.47 c R 21.5 80.7 122e3 72.4 199e3 2416 2076 226e3 5.6 36.1
21.49/21.58 c s 21.6 80.6 122e3 72.4 198e3 2416 2073 226e3 2.7 36.0
22.89/22.93 c s 22.9 82.1 107e3 76.3 176e3 2624 2034 226e3 3.2 35.7
24.19/24.23 c s 24.2 82.5 105e3 77.8 174e3 2899 2265 226e3 0.3 36.3
25.49/25.50 c s 25.5 81.7 103e3 79.5 172e3 3175 2509 226e3 0.2 36.3
25.69/25.72 c + 25.7 81.4 102e3 79.7 172e3 3209 2541 249e3 4.4 36.3
26.39/26.46 c R 26.5 84.8 95498 81.7 172e3 3396 2723 249e3 5.7 36.6
26.78/26.87 c s 26.9 86.6 95354 81.9 161e3 3487 2779 249e3 0.2 36.3
27.68/27.75 c R 27.7 85.9 95332 82.1 161e3 3634 2923 249e3 1.9 36.4
28.18/28.24 c s 28.2 85.8 95261 82.1 161e3 3670 2958 249e3 1.5 36.4
28.68/28.70 c R 28.7 85.6 95261 82.2 161e3 3749 3035 249e3 1.9 36.4
29.69/29.73 c s 29.7 86.8 94036 83.5 159e3 3883 3160 249e3 6.9 36.5
30.38/30.41 c R 30.4 86.6 92323 83.8 159e3 4033 3307 249e3 13.2 36.6
31.68/31.75 c s 31.7 88.0 92323 84.7 158e3 4310 3575 249e3 5.3 36.8
32.88/32.92 c R 32.9 87.4 91260 85.2 158e3 4541 3799 249e3 7.1 37.0
33.18/33.23 c R 33.2 87.8 90952 85.3 158e3 4653 3909 249e3 3.9 37.0
33.28/33.36 c s 33.4 87.8 90952 85.3 157e3 4653 3907 249e3 0.1 37.0
34.58/34.64 c + 34.6 89.8 89929 85.7 157e3 4911 4164 274e3 3.7 37.2
34.88/34.90 c s 34.9 89.8 89929 85.7 157e3 4967 4218 274e3 2.4 37.2
34.88/34.90 c R 34.9 89.8 89929 85.7 157e3 4967 4218 274e3 2.4 37.2
35.88/35.90 c R 35.9 90.0 89860 85.9 157e3 5163 4413 274e3 4.2 37.4
36.47/36.59 c R 36.6 91.3 89835 86.0 157e3 5278 4527 274e3 3.7 37.6
36.47/36.59 c
36.47/36.59 c seconds variables original learned agility
36.47/36.59 c level used conflicts limit MB
36.47/36.59 c
36.97/37.01 c s 37.0 91.4 89835 86.1 157e3 5369 4616 274e3 1.3 37.6
38.67/38.70 c s 38.7 93.7 89366 86.3 156e3 5660 4883 274e3 5.1 37.8
38.67/38.77 c R 38.7 93.7 89366 86.3 156e3 5666 4889 274e3 3.2 37.8
39.27/39.31 c R 39.3 93.6 89347 86.3 156e3 5769 4987 274e3 2.8 37.8
40.68/40.78 c R 40.8 94.0 89347 86.4 156e3 6073 5291 274e3 4.4 38.1
40.87/40.91 c s 40.9 94.0 89347 86.4 156e3 6073 5291 274e3 0.0 38.1
42.88/42.95 c R 42.9 95.6 89299 86.6 156e3 6614 5831 274e3 6.9 38.7
43.07/43.13 c s 43.1 95.6 89299 86.6 156e3 6619 5836 274e3 0.7 38.7
44.07/44.12 c R 44.1 95.6 89299 86.8 156e3 6917 6133 274e3 7.5 39.0
45.67/45.80 c s 45.8 97.1 89214 86.9 156e3 7254 6468 274e3 6.7 39.5
46.17/46.26 c R 46.2 97.7 89214 86.9 156e3 7355 6569 274e3 1.9 39.5
46.77/46.80 c + 46.8 97.6 89039 87.0 156e3 7464 6671 301e3 2.0 39.6
47.37/47.47 c s 47.4 97.5 88446 87.2 155e3 7568 6773 301e3 2.8 39.6
47.57/47.63 c R 47.6 97.4 88446 87.3 155e3 7610 6815 301e3 5.3 39.6
49.07/49.16 c R 49.1 97.6 88393 87.4 155e3 7945 7147 301e3 6.7 39.9
49.37/49.42 c s 49.4 97.5 88393 87.4 155e3 7982 7184 301e3 2.0 39.9
50.17/50.23 c R 50.2 96.6 87493 87.6 155e3 8162 7342 301e3 4.2 40.0
50.57/50.70 c s 50.7 96.5 87493 87.6 154e3 8232 7398 301e3 1.5 39.9
51.77/51.86 c R 51.8 96.5 87493 87.6 154e3 8464 7626 301e3 5.6 40.1
52.47/52.51 c s 52.5 96.4 87128 87.8 153e3 8536 7695 301e3 1.8 40.1
52.87/52.93 c R 52.9 96.3 87128 87.8 153e3 8636 7795 301e3 6.6 40.2
54.17/54.27 c R 54.3 96.7 78957 89.0 153e3 8956 8101 301e3 8.9 40.5
54.17/54.27 c
54.17/54.27 c seconds variables original learned agility
54.17/54.27 c level used conflicts limit MB
54.17/54.27 c
54.57/54.65 c s 54.6 96.6 78957 89.0 137e3 8993 7801 301e3 0.8 40.0
55.47/55.53 c R 55.5 97.1 78785 89.0 137e3 9236 8032 301e3 4.2 40.1
56.17/56.23 c s 56.2 97.0 78785 89.0 136e3 9492 8287 301e3 4.7 40.2
56.67/56.76 c R 56.7 96.6 78609 89.1 136e3 9639 8430 301e3 8.0 40.3
57.57/57.67 c s 57.6 96.1 78438 89.2 136e3 9831 8619 301e3 1.4 40.3
57.77/57.87 c R 57.8 96.1 78438 89.2 136e3 9882 8667 301e3 3.5 40.3
58.46/58.56 c R 58.5 95.5 78260 89.2 136e3 10092 8868 301e3 7.1 40.5
58.96/59.10 c s 59.1 95.4 78260 89.2 136e3 10222 8994 301e3 1.6 40.5
59.66/59.73 c R 59.7 95.3 78260 89.2 136e3 10394 9165 301e3 2.0 40.6
63.26/63.33 c R 63.3 98.7 78260 89.3 136e3 11198 9963 301e3 2.4 41.5
63.76/63.85 c + 63.8 98.8 78260 89.3 136e3 11293 10058 331e3 2.4 41.5
64.17/64.22 c s 64.2 98.9 78019 89.4 135e3 11341 10105 331e3 4.1 41.6
64.77/64.80 c R 64.8 99.6 77901 89.5 135e3 11457 10220 331e3 1.5 41.7
66.36/66.44 c s 66.4 101.2 77783 89.5 135e3 11706 10466 331e3 2.1 42.0
66.76/66.81 c R 66.8 101.2 77783 89.5 135e3 11777 10537 331e3 4.0 42.0
67.86/67.98 c R 68.0 101.5 77783 89.5 135e3 12081 10841 331e3 5.8 42.3
68.46/68.55 c R 68.5 101.4 77651 89.6 135e3 12198 10957 331e3 4.9 42.4
69.17/69.25 c s 69.2 101.5 77651 89.6 135e3 12305 11064 331e3 1.4 42.5
70.27/70.36 c R 70.3 101.8 77651 89.6 135e3 12502 11261 331e3 2.6 42.7
72.16/72.28 c s 72.3 101.7 74231 90.2 129e3 12737 11374 331e3 3.2 42.7
72.56/72.65 c R 72.6 101.7 74231 90.2 129e3 12810 11447 331e3 4.6 42.8
73.56/73.69 c R 73.7 101.8 74231 90.2 129e3 13112 11748 331e3 3.2 43.1
73.56/73.69 c
73.56/73.69 c seconds variables original learned agility
73.56/73.69 c level used conflicts limit MB
73.56/73.69 c
76.65/76.76 c R 76.7 103.4 74231 90.2 129e3 13919 12549 331e3 1.6 43.7
79.35/79.46 c s 79.4 103.7 74206 90.2 129e3 14484 13113 331e3 7.4 44.3
79.75/79.81 c R 79.8 103.6 74206 90.2 129e3 14584 13213 331e3 5.9 44.3
80.75/80.81 c R 80.8 103.3 74206 90.2 129e3 14885 13514 331e3 6.0 44.6
83.06/83.11 c R 83.1 103.6 74206 90.3 129e3 15689 14318 331e3 4.0 45.2
86.36/86.41 c s 86.4 103.9 74023 90.4 128e3 16360 14970 331e3 5.2 45.6
87.96/88.02 c s 88.0 103.2 73238 90.6 127e3 16595 15192 331e3 2.6 45.7
88.15/88.27 c R 88.2 103.2 73238 90.6 127e3 16649 15246 331e3 9.1 45.8
89.45/89.55 c R 89.5 103.6 73238 90.6 127e3 16958 15555 331e3 1.4 46.1
89.95/90.08 c + 90.1 103.7 73238 90.6 127e3 17075 15671 364e3 5.6 46.2
93.25/93.31 c R 93.3 103.3 73238 90.6 127e3 17760 16353 364e3 1.1 46.5
102.45/102.57 c R 102.5 102.2 73238 90.7 127e3 19766 18353 364e3 2.6 47.9
106.65/106.77 c s 106.7 103.3 72786 90.8 126e3 20581 19131 364e3 2.8 48.7
107.05/107.11 c R 107.1 103.2 72786 90.8 126e3 20660 19210 364e3 7.6 48.8
108.35/108.43 c R 108.4 103.0 72786 90.8 126e3 20964 19507 364e3 5.6 49.0
111.34/111.42 c R 111.4 103.2 72786 90.8 126e3 21767 20310 364e3 4.9 49.8
123.15/123.28 c s 123.2 102.8 72656 90.9 126e3 23586 22111 364e3 5.5 51.7
123.64/123.78 c R 123.7 102.8 72656 91.0 126e3 23679 22204 364e3 8.4 51.8
125.34/125.49 c R 125.4 102.8 72656 91.0 126e3 23984 22508 364e3 5.0 52.0
128.35/128.43 c R 128.4 102.6 72656 91.0 126e3 24788 23311 364e3 11.2 52.6
132.24/132.32 c + 132.3 102.9 72656 91.0 126e3 25722 24240 401e3 12.1 53.3
136.44/136.54 c R 136.5 103.1 72656 91.0 126e3 26795 25311 401e3 3.9 54.1
136.44/136.54 c
136.44/136.54 c seconds variables original learned agility
136.44/136.54 c level used conflicts limit MB
136.44/136.54 c
158.63/158.79 c R 158.7 104.0 72656 91.0 126e3 31610 30124 401e3 12.0 58.0
173.43/173.52 c s 173.5 103.9 62571 92.2 109e3 35098 33271 401e3 0.9 60.4
173.73/173.90 c R 173.8 103.8 62571 92.2 109e3 35192 33365 401e3 7.5 60.5
174.73/174.83 c R 174.8 103.7 62571 92.2 109e3 35492 33665 401e3 13.6 60.6
175.72/175.85 c s 175.8 103.5 62548 92.3 109e3 35757 33927 401e3 2.9 60.8
175.93/176.04 c R 176.0 103.4 62548 92.3 109e3 35786 33956 401e3 1.9 60.8
177.73/177.84 c R 177.8 103.3 62548 92.3 109e3 36089 34258 401e3 1.8 60.9
180.53/180.63 c R 180.6 103.2 62548 92.3 109e3 36892 35060 401e3 8.9 61.5
186.73/186.81 c + 186.7 104.6 62548 92.3 109e3 38649 36815 441e3 3.7 63.1
187.73/187.81 c R 187.7 105.0 62548 92.3 109e3 38897 37063 441e3 1.9 63.3
193.02/193.10 c s 193.0 104.8 58193 92.7 102e3 40096 38126 441e3 1.1 63.9
193.53/193.66 c R 193.6 104.8 58193 92.7 102e3 40183 38213 441e3 0.9 63.9
194.72/194.89 c R 194.8 104.7 58193 92.7 102e3 40487 38514 441e3 3.9 64.1
197.83/197.99 c R 197.9 104.4 58193 92.7 102e3 41292 39319 441e3 7.1 64.5
204.73/204.80 c R 204.7 104.0 58193 92.7 102e3 43298 41322 441e3 5.9 65.8
220.32/220.48 c s 220.4 103.4 54949 93.2 94608 47897 45249 441e3 3.6 67.9
220.52/220.68 c R 220.6 103.3 54949 93.2 94608 47933 45285 441e3 6.7 67.9
221.52/221.66 c R 221.6 103.2 54949 93.2 94608 48236 45588 441e3 6.1 68.0
224.11/224.21 c R 224.1 102.9 54949 93.2 94608 49037 46389 441e3 4.4 68.3
230.11/230.28 c R 230.2 102.0 54949 93.2 94608 51043 48391 441e3 3.2 69.1
241.01/241.14 c s 241.1 101.1 54809 93.3 94342 54384 51689 441e3 3.5 71.1
241.41/241.51 c R 241.4 101.1 54809 93.3 94342 54481 51785 441e3 6.5 71.2
241.41/241.51 c
241.41/241.51 c seconds variables original learned agility
241.41/241.51 c level used conflicts limit MB
241.41/241.51 c
242.92/243.07 c R 243.0 101.0 54786 93.3 94342 54886 52189 441e3 2.5 71.4
243.91/244.05 c s 244.0 100.9 54786 93.3 94300 55141 52440 441e3 6.7 71.6
244.11/244.29 c R 244.2 100.9 54786 93.3 94300 55188 52486 441e3 3.5 71.6
244.81/244.93 c R 244.8 100.9 54750 93.3 94300 55325 52622 441e3 2.8 71.7
246.01/246.11 c R 246.0 100.8 54750 93.3 94300 55627 52923 441e3 7.7 71.9
246.21/246.39 c s 246.3 100.9 54750 93.3 94244 55668 52963 441e3 3.5 71.9
248.61/248.78 c R 248.7 100.8 54750 93.3 94244 56431 53726 441e3 3.5 72.4
253.51/253.63 c + 253.6 100.3 54750 93.3 94244 58113 55408 485e3 3.0 73.2
254.41/254.58 c R 254.5 100.2 54750 93.3 94244 58436 55730 485e3 3.3 73.3
269.90/270.06 c R 270.0 101.3 54750 93.3 94244 63252 60542 485e3 6.8 76.5
295.50/295.68 c s 295.6 100.3 52750 93.7 87554 69991 67020 485e3 4.0 79.8
295.71/295.88 c R 295.8 100.3 52750 93.7 87554 70036 67065 485e3 10.5 79.9
296.80/296.95 c R 296.9 100.2 52750 93.7 87554 70336 67365 485e3 3.8 80.1
299.20/299.31 c R 299.2 100.0 52750 93.7 87554 71137 68164 485e3 7.7 80.6
306.80/306.95 c R 306.9 99.8 52750 93.7 87554 73143 70170 485e3 4.8 81.5
324.09/324.24 c s 324.1 98.6 51823 93.9 82423 77827 74700 485e3 6.8 83.4
324.19/324.33 c R 324.2 98.6 51823 93.9 82423 77838 74710 485e3 4.2 83.4
325.19/325.30 c R 325.2 98.6 51823 94.0 82423 78140 75011 485e3 6.6 83.6
328.59/328.71 c R 328.6 98.6 51823 94.0 82423 78941 75811 485e3 4.5 84.1
332.09/332.28 c s 332.2 98.4 51801 94.0 82376 79771 76637 485e3 5.0 84.6
332.69/332.83 c R 332.7 98.5 51801 94.0 82376 79871 76736 485e3 5.0 84.7
333.79/333.94 c R 333.8 98.4 51801 94.0 82376 80173 77038 485e3 4.2 84.9
333.79/333.94 c
333.79/333.94 c seconds variables original learned agility
333.79/333.94 c level used conflicts limit MB
333.79/333.94 c
336.39/336.55 c R 336.4 98.6 51801 94.0 82376 80973 77838 485e3 3.2 86.6
344.39/344.56 c R 344.5 98.4 51801 94.0 82376 82982 79847 485e3 4.0 87.6
361.88/362.04 c + 361.9 97.5 51801 94.0 82376 87329 84194 534e3 6.5 89.6
364.18/364.35 c R 364.2 97.4 51801 94.0 82376 87807 84671 534e3 1.4 89.7
404.58/404.71 c R 404.6 96.8 51801 94.0 82376 99050 95910 534e3 4.7 94.9
471.85/472.02 c s 471.9 95.6 48082 94.8 69912 117e3 114e3 534e3 2.2 103.8
471.85/472.02 c R 471.9 95.6 48082 94.8 69912 117e3 114e3 534e3 2.2 103.8
472.95/473.10 c R 473.0 95.6 48082 94.8 69912 118e3 114e3 534e3 3.2 103.9
475.45/475.67 c R 475.5 95.5 48082 94.8 69912 119e3 115e3 534e3 3.4 104.3
483.86/484.03 c R 483.9 95.6 48082 94.8 69912 121e3 117e3 534e3 5.8 105.9
504.04/504.28 c R 504.1 94.9 48082 94.8 69912 125e3 122e3 534e3 4.9 107.8
523.34/523.51 c + 523.4 94.2 48082 94.8 69912 131e3 127e3 587e3 3.4 110.8
544.93/545.12 c R 545.0 93.7 48082 94.8 69912 137e3 133e3 587e3 6.4 112.9
607.81/608.06 c s 607.9 93.4 48007 94.9 69292 152e3 148e3 587e3 2.5 121.0
608.21/608.45 c R 608.3 93.4 48007 94.9 69292 152e3 148e3 587e3 5.8 121.1
609.41/609.63 c R 609.5 93.4 48007 94.9 69292 152e3 149e3 587e3 13.7 121.2
612.71/612.91 c R 612.7 93.4 48007 94.9 69292 153e3 149e3 587e3 5.5 121.6
621.52/621.77 c R 621.6 93.3 48007 94.9 69292 155e3 151e3 587e3 2.7 122.5
639.11/639.32 c R 639.1 92.8 48007 94.9 69292 160e3 156e3 587e3 4.6 124.4
690.00/690.27 c R 690.1 92.0 48007 94.9 69292 171e3 167e3 587e3 7.4 129.7
794.37/794.68 c + 794.5 89.2 48007 94.9 69292 196e3 192e3 646e3 9.9 140.3
796.77/797.06 c R 796.8 89.1 48007 94.9 69292 197e3 193e3 646e3 7.4 140.5
796.77/797.06 c
796.77/797.06 c seconds variables original learned agility
796.77/797.06 c level used conflicts limit MB
796.77/797.06 c
1044.41/1044.77 c R 104e1 86.0 48007 95.0 69292 255e3 251e3 646e3 6.9 167.1
1171.18/1171.51 c s 117e1 84.5 26781 97.1 36552 279e3 273e3 646e3 0.8 176.1
1171.18/1171.52 c R 117e1 84.5 26781 97.1 36552 279e3 273e3 646e3 0.8 176.1
1172.77/1173.17 c R 117e1 84.5 26781 97.1 36552 279e3 273e3 646e3 4.4 176.2
1175.87/1176.29 c R 118e1 84.4 26781 97.1 36552 280e3 274e3 646e3 6.9 176.5
1183.37/1183.78 c R 118e1 84.3 26781 97.1 36552 282e3 276e3 646e3 7.2 177.1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1716207-1240612638/watcher-1716207-1240612638 -o /tmp/evaluation-result-1716207-1240612638/solver-1716207-1240612638 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1716207-1240612638.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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.98 0.98 1.00 3/64 14354
/proc/meminfo: memFree=1767608/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=14756 CPUtime=0
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 560 0 0 0 0 0 0 0 18 0 1 0 89297470 15110144 545 1992294400 134512640 135137933 4294956224 18446744073709551615 134532134 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 3689 550 53 152 0 3535 0
[startup+0.036481 s]
/proc/loadavg: 0.98 0.98 1.00 3/64 14354
/proc/meminfo: memFree=1767608/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=15784 CPUtime=0.03
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 3847 0 0 0 2 1 0 0 18 0 1 0 89297470 16162816 3832 1992294400 134512640 135137933 4294956224 18446744073709551615 134689438 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 3946 3832 56 152 0 3792 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15784
[startup+0.101487 s]
/proc/loadavg: 0.98 0.98 1.00 3/64 14354
/proc/meminfo: memFree=1767608/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=17896 CPUtime=0.09
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 4365 0 0 0 8 1 0 0 18 0 1 0 89297470 18325504 4350 1992294400 134512640 135137933 4294956224 18446744073709551615 134689438 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 4474 4350 56 152 0 4320 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17896
[startup+0.301508 s]
/proc/loadavg: 0.98 0.98 1.00 3/64 14354
/proc/meminfo: memFree=1767608/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=22780 CPUtime=0.29
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 5594 0 0 0 27 2 0 0 19 0 1 0 89297470 23326720 5579 1992294400 134512640 135137933 4294956224 18446744073709551615 134689438 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 5695 5579 56 152 0 5541 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22780
[startup+0.701548 s]
/proc/loadavg: 0.98 0.98 1.00 3/64 14354
/proc/meminfo: memFree=1767608/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=33972 CPUtime=0.69
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 8268 0 0 0 64 5 0 0 22 0 1 0 89297470 34787328 8253 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 8493 8253 56 152 0 8339 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33972
[startup+1.50163 s]
/proc/loadavg: 0.98 0.98 1.00 3/65 14355
/proc/meminfo: memFree=1727920/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=40564 CPUtime=1.49
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 9759 0 0 0 142 7 0 0 25 0 1 0 89297470 41537536 9744 1992294400 134512640 135137933 4294956224 18446744073709551615 134560867 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 10141 9744 61 152 0 9987 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40564
[startup+3.10179 s]
/proc/loadavg: 0.98 0.98 1.00 2/65 14355
/proc/meminfo: memFree=1728304/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=40960 CPUtime=3.09
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 9800 0 0 0 302 7 0 0 25 0 1 0 89297470 41943040 9785 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 10240 9785 61 152 0 10086 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40960
[startup+6.30112 s]
/proc/loadavg: 0.98 0.98 1.00 2/65 14355
/proc/meminfo: memFree=1728304/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=40960 CPUtime=6.29
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 9800 0 0 0 622 7 0 0 25 0 1 0 89297470 41943040 9785 1992294400 134512640 135137933 4294956224 18446744073709551615 134549015 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 10240 9785 61 152 0 10086 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40960
[startup+12.7028 s]
/proc/loadavg: 0.98 0.98 1.00 2/65 14357
/proc/meminfo: memFree=1727792/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=41872 CPUtime=12.69
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 10016 0 0 0 1262 7 0 0 25 0 1 0 89297470 42876928 10001 1992294400 134512640 135137933 4294956224 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 10468 10001 69 152 0 10314 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41872
[startup+25.5011 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 14357
/proc/meminfo: memFree=1726704/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=43308 CPUtime=25.49
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 10306 0 0 0 2541 8 0 0 25 0 1 0 89297470 44347392 10291 1992294400 134512640 135137933 4294956224 18446744073709551615 134525434 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 10827 10291 69 152 0 10673 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43308
[startup+51.1017 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 14357
/proc/meminfo: memFree=1723312/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=46740 CPUtime=51.07
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 11196 0 0 0 5098 9 0 0 25 0 1 0 89297470 47861760 11181 1992294400 134512640 135137933 4294956224 18446744073709551615 134548801 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 11685 11181 69 152 0 11531 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 46740
[startup+102.306 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 14357
/proc/meminfo: memFree=1714736/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=55056 CPUtime=102.26
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 13295 0 0 0 10214 12 0 0 25 0 1 0 89297470 56377344 13280 1992294400 134512640 135137933 4294956224 18446744073709551615 134552061 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 13764 13280 69 152 0 13610 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 55056
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 14357
/proc/meminfo: memFree=1703920/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=65876 CPUtime=162.24
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 16015 0 0 0 16209 15 0 0 25 0 1 0 89297470 67457024 15994 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 16469 15994 69 152 0 16315 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 65876
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 14357
/proc/meminfo: memFree=1693360/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=76172 CPUtime=222.22
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 18628 0 0 0 22204 18 0 0 25 0 1 0 89297470 78000128 18607 1992294400 134512640 135137933 4294956224 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 19043 18607 69 152 0 18889 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 76172
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 14357
/proc/meminfo: memFree=1683120/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=86336 CPUtime=282.2
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 21182 0 0 0 28199 21 0 0 25 0 1 0 89297470 88408064 21161 1992294400 134512640 135137933 4294956224 18446744073709551615 134552108 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 21584 21161 69 152 0 21430 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 86336
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 14357
/proc/meminfo: memFree=1674288/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=95940 CPUtime=342.18
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 23360 0 0 0 34195 23 0 0 25 0 1 0 89297470 98242560 23339 1992294400 134512640 135137933 4294956224 18446744073709551615 134552425 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 23985 23339 69 152 0 23831 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 95940
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 14357
/proc/meminfo: memFree=1666672/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=103596 CPUtime=402.17
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 25266 0 0 0 40192 25 0 0 25 0 1 0 89297470 106082304 25245 1992294400 134512640 135137933 4294956224 18446744073709551615 134553618 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 25899 25245 69 152 0 25745 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 103596
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 14357
/proc/meminfo: memFree=1658416/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=111648 CPUtime=462.16
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 27315 0 0 0 46188 28 0 0 25 0 1 0 89297470 114327552 27294 1992294400 134512640 135137933 4294956224 18446744073709551615 134552061 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 27912 27294 69 152 0 27758 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 111648
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 14357
/proc/meminfo: memFree=1649904/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=120228 CPUtime=522.14
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 29456 0 0 0 52184 30 0 0 25 0 1 0 89297470 123113472 29435 1992294400 134512640 135137933 4294956224 18446744073709551615 134527903 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 30057 29435 69 152 0 29903 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 120228
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 14357
/proc/meminfo: memFree=1641520/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=128412 CPUtime=582.12
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 31539 0 0 0 58179 33 0 0 25 0 1 0 89297470 131493888 31518 1992294400 134512640 135137933 4294956224 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 32103 31518 69 152 0 31949 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 128412
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 14357
/proc/meminfo: memFree=1635120/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=134616 CPUtime=642.12
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 33113 0 0 0 64178 34 0 0 25 0 1 0 89297470 137846784 33092 1992294400 134512640 135137933 4294956224 18446744073709551615 134552415 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 33654 33092 69 152 0 33500 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 134616
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 14357
/proc/meminfo: memFree=1628464/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=141216 CPUtime=702.09
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 34748 0 0 0 70173 36 0 0 25 0 1 0 89297470 144605184 34727 1992294400 134512640 135137933 4294956224 18446744073709551615 134553611 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 35304 34727 69 152 0 35150 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 141216
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 14357
/proc/meminfo: memFree=1621936/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=147552 CPUtime=762.09
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 36358 0 0 0 76170 39 0 0 25 0 1 0 89297470 151093248 36337 1992294400 134512640 135137933 4294956224 18446744073709551615 134553611 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 36888 36337 69 152 0 36734 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 147552
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 14357
/proc/meminfo: memFree=1615408/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=154152 CPUtime=822.06
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 38008 0 0 0 82165 41 0 0 25 0 1 0 89297470 157851648 37987 1992294400 134512640 135137933 4294956224 18446744073709551615 134553618 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 38538 37987 69 152 0 38384 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 154152
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 14357
/proc/meminfo: memFree=1609264/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=160092 CPUtime=882.05
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 39516 0 0 0 88161 44 0 0 25 0 1 0 89297470 163934208 39495 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 40023 39495 69 152 0 39869 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 160092
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 14357
/proc/meminfo: memFree=1602544/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=166692 CPUtime=942.03
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 41199 0 0 0 94158 45 0 0 25 0 1 0 89297470 170692608 41178 1992294400 134512640 135137933 4294956224 18446744073709551615 134527763 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 41673 41178 69 152 0 41519 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 166692
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 14357
/proc/meminfo: memFree=1597552/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=171708 CPUtime=1002.02
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 42453 0 0 0 100155 47 0 0 25 0 1 0 89297470 175828992 42432 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 42927 42432 69 152 0 42773 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 171708
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 14357
/proc/meminfo: memFree=1589040/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=180156 CPUtime=1062
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 44578 0 0 0 106150 50 0 0 25 0 1 0 89297470 184479744 44557 1992294400 134512640 135137933 4294956224 18446744073709551615 134548801 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 45039 44557 69 152 0 44885 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 180156
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 14357
/proc/meminfo: memFree=1583728/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=185304 CPUtime=1121.99
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 45879 0 0 0 112148 51 0 0 25 0 1 0 89297470 189751296 45858 1992294400 134512640 135137933 4294956224 18446744073709551615 134527739 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 46326 45858 69 152 0 46172 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 185304
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 14357
/proc/meminfo: memFree=1579504/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=189396 CPUtime=1181.97
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 46931 0 0 0 118145 52 0 0 25 0 1 0 89297470 193941504 46910 1992294400 134512640 135137933 4294956224 18446744073709551615 134552059 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 47349 46910 69 152 0 47195 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 189396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 14357
/proc/meminfo: memFree=1577712/2055920 swapFree=4180592/4192956
[pid=14354] ppid=14352 vsize=191112 CPUtime=1200.07
/proc/14354/stat : 14354 (picosat) R 14352 14354 14107 0 -1 4194304 47370 0 0 0 119954 53 0 0 25 0 1 0 89297470 195698688 47349 1992294400 134512640 135137933 4294956224 18446744073709551615 134551959 0 0 4096 0 0 0 0 17 1 0 0
/proc/14354/statm: 47778 47349 69 152 0 47624 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 191112
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.44
CPU time (s): 1200.11
CPU user time (s): 1199.55
CPU system time (s): 0.562914
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 191112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.55
system time used= 0.562914
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47370
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= 2
involuntary context switches= 2761
runsolver used 0.891864 second user time and 2.54761 second system time
The end
Begin job on node24 at 2009-04-25 00:37:20
IDJOB=1716207
IDBENCH=20372
IDSOLVER=506
FILE ID=node24/1716207-1240612638
PBS_JOBID= 9186290
Free space on /tmp= 66220 MiB
SOLVER NAME= picosat 913
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-10-19-u.cnf
COMMAND LINE= HOME/picosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1716207-1240612638/watcher-1716207-1240612638 -o /tmp/evaluation-result-1716207-1240612638/solver-1716207-1240612638 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1716207-1240612638.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1f049803198bb32ab05476465773cc39
RANDOM SEED=617879866
node24.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1768024 kB
Buffers: 39768 kB
Cached: 198188 kB
SwapCached: 6708 kB
Active: 117948 kB
Inactive: 129272 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1768024 kB
SwapTotal: 4192956 kB
SwapFree: 4180592 kB
Dirty: 21912 kB
Writeback: 0 kB
Mapped: 14016 kB
Slab: 26552 kB
Committed_AS: 338276 kB
PageTables: 1452 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66220 MiB
End job on node24 at 2009-04-25 00:57:22