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-1716311-1240614180.cnf
0.00/0.00 c parsed header 'p cnf 151952 697321'
4.40/4.42 c initialized 151952 variables
4.40/4.42 c found 697321 non trivial clauses
4.40/4.42 c
4.40/4.42 c random number generator seed 0
4.40/4.42 c
4.40/4.42 c seconds variables original learned agility
4.40/4.42 c level used conflicts limit MB
4.40/4.42 c
4.40/4.42 c s 4.4 0.0 116e3 23.2 119e3 0 0 0 0.0 20.6
4.49/4.50 c
4.49/4.50 c initial reduction limit 66692 clauses
4.49/4.50 c
4.49/4.50 c + 4.5 55.5 116e3 23.7 119e3 100 95 73361 0.2 20.8
4.49/4.50 c R 4.5 55.5 116e3 23.7 119e3 100 95 73361 0.2 20.8
4.69/4.72 c + 4.7 45.3 115e3 28.3 119e3 250 242 80697 2.6 20.9
4.79/4.89 c R 4.9 83.8 115e3 30.7 119e3 332 324 80697 1.7 21.4
5.19/5.26 c s 5.3 63.4 108e3 36.6 115e3 418 388 80697 2.7 21.6
5.39/5.43 c + 5.4 55.7 101e3 41.9 115e3 475 433 88766 0.7 21.8
6.09/6.16 c s 6.2 107.3 91874 54.2 107e3 599 521 88766 0.1 21.8
7.19/7.27 c s 7.3 127.2 83706 64.7 101e3 808 695 88766 1.8 21.9
7.29/7.33 c + 7.3 125.8 83610 64.7 101e3 812 698 97642 3.1 21.9
8.19/8.26 c R 8.3 113.3 77608 71.5 101e3 1121 990 97642 6.2 22.4
8.29/8.39 c s 8.4 113.5 77171 71.7 96913 1131 916 97642 0.2 22.2
9.19/9.21 c + 9.2 108.0 74123 74.2 96913 1317 1090 107e3 3.9 22.4
9.19/9.26 c R 9.3 107.9 74123 74.3 96913 1344 1117 107e3 8.4 22.4
9.49/9.58 c s 9.6 106.0 74006 74.9 94836 1398 1156 107e3 0.1 22.3
10.19/10.24 c R 10.2 102.4 71294 75.9 94836 1576 1325 107e3 8.0 22.5
10.79/10.90 c s 10.9 106.9 70097 77.3 92209 1742 1481 107e3 1.8 22.6
11.09/11.14 c R 11.1 107.9 70097 77.3 92209 1840 1578 107e3 14.0 22.6
11.68/11.78 c + 11.8 107.5 67429 79.9 92209 2074 1808 118e3 3.0 22.8
12.09/12.13 c R 12.1 113.0 67398 80.3 92209 2185 1917 118e3 10.3 22.9
12.38/12.49 c s 12.5 112.4 67398 80.4 89766 2289 2018 118e3 2.1 22.9
12.38/12.49 c
12.38/12.49 c seconds variables original learned agility
12.38/12.49 c level used conflicts limit MB
12.38/12.49 c
13.09/13.11 c R 13.1 111.3 67398 81.0 89766 2490 2219 118e3 5.3 23.0
13.58/13.67 c R 13.7 110.8 67302 81.2 89766 2719 2446 118e3 6.9 23.2
14.38/14.42 c s 14.4 109.6 66990 81.5 89312 2956 2675 118e3 6.2 23.3
14.58/14.68 c R 14.7 109.8 66990 81.5 89312 3048 2767 118e3 6.2 23.4
15.18/15.21 c + 15.2 113.4 66990 81.7 89312 3209 2928 129e3 7.2 23.6
15.68/15.75 c R 15.7 114.3 66969 82.1 89312 3335 3052 129e3 4.4 23.8
16.08/16.12 c R 16.1 114.4 66947 82.2 89312 3440 3156 129e3 5.5 23.8
16.98/17.01 c s 17.0 114.4 66947 82.3 89261 3608 3322 129e3 2.3 24.0
17.38/17.40 c R 17.4 114.1 66947 82.5 89261 3742 3456 129e3 10.1 24.1
18.49/18.51 c R 18.5 113.4 66919 82.9 89261 4124 3837 129e3 2.9 24.4
19.49/19.54 c R 19.5 113.8 66919 82.9 89261 4428 4141 129e3 5.5 24.7
19.59/19.62 c s 19.6 113.7 66919 82.9 89234 4428 4138 129e3 0.0 24.7
20.99/21.06 c R 21.1 125.0 66819 83.8 89234 4750 4456 129e3 1.0 25.0
21.29/21.30 c s 21.3 125.9 66798 83.9 89110 4777 4474 129e3 0.8 25.0
21.49/21.58 c R 21.6 126.1 66798 83.9 89110 4877 4573 129e3 4.0 25.1
21.59/21.69 c + 21.7 125.8 66798 83.9 89110 4911 4607 142e3 8.1 25.1
22.28/22.35 c R 22.3 127.7 66798 84.0 89110 5180 4876 142e3 9.7 25.4
22.68/22.71 c R 22.7 127.0 66775 84.0 89110 5309 5004 142e3 4.4 25.5
23.28/23.34 c s 23.3 127.0 66775 84.0 89088 5508 5201 142e3 5.0 25.6
23.58/23.68 c R 23.7 127.0 66775 84.1 89088 5610 5303 142e3 4.8 25.6
24.09/24.19 c R 24.2 126.4 66747 84.1 89088 5750 5442 142e3 3.1 25.7
24.78/24.84 c R 24.8 126.4 66701 84.4 89088 5902 5593 142e3 6.4 25.8
24.78/24.84 c
24.78/24.84 c seconds variables original learned agility
24.78/24.84 c level used conflicts limit MB
24.78/24.84 c
24.98/25.07 c s 25.1 126.2 66701 84.4 89011 5955 5645 142e3 6.0 25.9
25.78/25.86 c R 25.9 125.3 66701 84.4 89011 6205 5895 142e3 9.7 26.2
26.68/26.75 c R 26.7 124.8 66679 84.4 89011 6414 6100 142e3 2.5 26.3
27.68/27.70 c R 27.7 124.8 66679 84.5 89011 6716 6401 142e3 4.2 26.6
27.68/27.77 c s 27.8 124.8 66679 84.5 88986 6716 6401 142e3 0.0 26.6
29.68/29.72 c R 29.7 123.8 66651 84.6 88986 7261 6942 142e3 16.0 27.1
30.18/30.28 c + 30.3 123.1 66651 84.6 88986 7464 7145 157e3 2.4 27.2
30.67/30.74 c s 30.7 123.0 66651 84.6 88961 7528 7207 157e3 2.4 27.2
30.97/31.03 c R 31.0 122.6 66605 84.6 88961 7662 7339 157e3 22.4 27.3
32.47/32.58 c R 32.6 121.6 66583 84.7 88961 8090 7765 157e3 4.7 27.6
33.77/33.87 c s 33.9 121.2 66583 84.7 88879 8318 7985 157e3 4.0 27.8
34.37/34.46 c R 34.4 121.6 66561 84.7 88879 8457 8122 157e3 5.4 28.0
35.46/35.52 c R 35.5 128.7 65571 84.9 88879 8740 8402 157e3 6.9 28.3
35.56/35.68 c s 35.7 128.9 65571 84.9 88357 8762 8423 157e3 3.6 28.3
36.36/36.45 c R 36.4 128.5 65482 85.0 88357 8943 8603 157e3 9.6 28.5
37.37/37.45 c R 37.4 127.7 65474 85.0 88357 9210 8869 157e3 9.5 28.7
38.17/38.22 c s 38.2 127.5 65376 85.1 88128 9414 9064 157e3 6.5 28.8
38.26/38.38 c R 38.4 127.4 65376 85.1 88128 9453 9103 157e3 5.0 28.8
39.58/39.66 c R 39.6 126.6 65376 85.1 88128 9754 9403 157e3 5.3 29.0
40.47/40.59 c s 40.6 126.0 65357 85.1 88101 9977 9621 157e3 6.3 29.2
40.67/40.70 c R 40.7 125.9 65357 85.1 88101 10001 9645 157e3 4.3 29.2
41.47/41.56 c R 41.5 125.6 65338 85.1 88101 10218 9861 157e3 4.9 29.3
41.47/41.56 c
41.47/41.56 c seconds variables original learned agility
41.47/41.56 c level used conflicts limit MB
41.47/41.56 c
42.37/42.49 c s 42.5 125.1 64934 85.4 87784 10406 10043 157e3 3.5 29.4
42.67/42.79 c R 42.8 124.8 64934 85.4 87784 10457 10094 157e3 3.7 29.5
43.87/43.94 c R 43.9 124.3 64934 85.4 87784 10761 10398 157e3 5.0 29.6
45.76/45.86 c + 45.8 123.6 64934 85.4 87784 11293 10930 172e3 4.5 30.0
46.77/46.81 c R 46.8 123.8 64934 85.4 87784 11564 11201 172e3 3.6 30.2
49.07/49.12 c s 49.1 123.8 64915 85.5 87759 12118 11753 172e3 5.6 30.7
49.87/49.99 c R 50.0 123.3 64758 85.6 87759 12311 11937 172e3 2.6 30.8
50.87/50.92 c s 50.9 123.4 64758 85.6 87577 12572 12195 172e3 2.7 31.0
51.27/51.38 c R 51.4 123.9 64739 85.6 87577 12703 12323 172e3 3.9 31.1
52.27/52.33 c R 52.3 123.3 64715 85.6 87577 12925 12542 172e3 2.4 31.2
52.67/52.78 c s 52.8 123.0 64715 85.6 87526 13023 12630 172e3 5.0 31.3
53.56/53.63 c R 53.6 122.8 64715 85.6 87526 13225 12831 172e3 7.6 31.4
56.07/56.12 c R 56.1 122.1 64715 85.7 87526 14027 13633 172e3 3.6 31.9
61.15/61.27 c s 61.2 121.1 64696 85.7 87496 15464 15064 172e3 4.9 32.9
61.46/61.53 c R 61.5 121.2 64696 85.7 87496 15564 15164 172e3 5.3 32.9
62.66/62.71 c R 62.7 120.8 64695 85.7 87496 15855 15454 172e3 3.5 33.1
63.46/63.52 c s 63.5 120.6 64695 85.7 87496 16041 15639 172e3 5.0 33.2
63.76/63.88 c R 63.9 120.4 64695 85.7 87496 16156 15753 172e3 7.4 33.2
66.45/66.58 c R 66.5 120.1 64695 85.7 87496 16958 16555 172e3 3.4 33.8
66.75/66.88 c + 66.9 120.0 64695 85.7 87496 17036 16633 190e3 3.2 33.9
70.96/71.08 c s 71.0 118.8 64676 85.7 87468 18194 17784 190e3 2.7 34.4
71.46/71.57 c R 71.5 118.5 64676 85.7 87468 18294 17884 190e3 3.7 34.4
71.46/71.57 c
71.46/71.57 c seconds variables original learned agility
71.46/71.57 c level used conflicts limit MB
71.46/71.57 c
72.26/72.31 c R 72.3 118.2 64675 85.7 87468 18462 18050 190e3 8.4 34.5
72.75/72.85 c R 72.8 117.9 64648 85.7 87468 18589 18176 190e3 3.5 34.6
73.56/73.61 c s 73.6 117.6 64648 85.7 87439 18750 18334 190e3 2.9 34.7
74.15/74.27 c R 74.2 117.4 64648 85.7 87439 18892 18476 190e3 5.1 34.7
75.95/76.04 c R 76.0 116.5 64647 85.7 87439 19329 18910 190e3 2.3 34.9
76.55/76.61 c s 76.6 116.2 64647 85.7 87439 19450 19031 190e3 2.9 35.0
77.45/77.56 c R 77.5 116.0 64647 85.7 87439 19630 19211 190e3 3.7 35.1
79.55/79.67 c R 79.6 115.4 64643 85.7 87439 20041 19621 190e3 3.4 35.3
79.65/79.76 c s 79.7 115.4 64643 85.7 87438 20041 19620 190e3 0.0 35.3
80.85/80.97 c R 80.9 115.3 64643 85.7 87438 20344 19922 190e3 3.6 35.5
83.85/83.98 c R 83.9 114.2 64643 85.8 87438 21147 20723 190e3 5.8 35.8
90.44/90.59 c R 90.5 113.1 64643 85.8 87438 23158 22734 190e3 7.1 37.2
91.15/91.20 c s 91.2 112.9 64624 85.8 87413 23289 22855 190e3 3.5 37.3
91.54/91.68 c R 91.6 112.7 64605 85.8 87413 23425 22990 190e3 4.6 37.4
92.94/93.02 c R 93.0 112.3 63090 86.2 87413 23763 23315 190e3 4.5 37.7
93.24/93.38 c s 93.3 112.3 63090 86.2 85858 23828 23367 190e3 4.5 37.7
94.45/94.54 c R 94.5 112.0 63090 86.2 85858 24073 23612 190e3 6.1 37.8
97.65/97.70 c R 97.7 111.7 63090 86.2 85858 24877 24416 190e3 3.3 38.4
100.34/100.47 c + 100.4 111.4 63090 86.2 85858 25650 25189 209e3 5.1 38.9
104.74/104.87 c R 104.8 111.1 63090 86.2 85858 26888 26427 209e3 3.6 39.8
106.33/106.48 c s 106.4 111.0 29868 93.2 40585 27412 25484 209e3 0.4 39.6
106.33/106.49 c R 106.4 111.0 29868 93.2 40585 27412 25484 209e3 0.4 39.6
106.33/106.49 c
106.33/106.49 c seconds variables original learned agility
106.33/106.49 c level used conflicts limit MB
106.33/106.49 c
106.93/107.07 c R 107.0 110.7 29868 93.2 40585 27713 25785 209e3 5.5 39.6
108.32/108.44 c R 108.4 109.8 29868 93.3 40585 28516 26588 209e3 6.4 39.8
112.13/112.29 c R 112.2 107.6 29868 93.3 40585 30518 28589 209e3 4.1 40.2
115.22/115.40 c s 115.3 106.3 14888 96.6 17660 31813 29391 209e3 0.8 39.9
115.33/115.40 c R 115.3 106.3 14888 96.6 17660 31813 29391 209e3 0.8 39.9
115.82/115.97 c R 115.9 106.0 14888 96.6 17660 32114 29692 209e3 3.9 40.0
116.92/117.02 c R 117.0 105.2 14888 96.6 17660 32920 30497 209e3 12.1 40.1
119.62/119.74 c R 119.7 103.2 14888 96.6 17660 34926 32501 209e3 3.6 40.5
120.22/120.37 c s 120.3 102.9 14871 96.6 17654 35270 32829 209e3 3.0 40.5
120.42/120.59 c R 120.5 102.8 14850 96.6 17654 35387 32945 209e3 1.9 40.6
120.92/121.07 c R 121.0 102.4 14850 96.6 17654 35688 33244 209e3 1.7 40.6
122.02/122.14 c s 122.1 102.1 11089 97.4 12827 36151 33030 209e3 2.0 40.4
122.52/122.60 c R 122.5 101.8 11089 97.4 12827 36553 33432 209e3 3.2 40.4
124.82/124.91 c R 124.8 100.0 11089 97.4 12827 38562 35439 209e3 5.9 40.7
125.42/125.50 c + 125.4 99.6 11089 97.4 12827 39064 35941 230e3 5.2 40.8
126.42/126.55 c s 126.5 98.7 11088 97.4 12827 40063 36937 230e3 5.5 40.9
126.52/126.67 c R 126.6 98.5 11088 97.4 12827 40164 37038 230e3 4.0 40.9
126.82/126.99 c R 126.9 98.3 11088 97.4 12827 40464 37338 230e3 4.6 41.0
127.62/127.80 c R 127.7 97.7 11088 97.4 12827 41267 38141 230e3 8.7 41.1
130.22/130.31 c R 130.2 96.0 11088 97.4 12827 43270 40137 230e3 3.3 41.4
136.52/136.60 c R 136.5 92.4 11088 97.4 12827 48087 44953 230e3 4.3 42.0
149.91/150.05 c + 150.0 86.3 11088 97.4 12827 58445 55308 253e3 3.6 43.5
149.91/150.05 c
149.91/150.05 c seconds variables original learned agility
149.91/150.05 c level used conflicts limit MB
149.91/150.05 c
151.31/151.48 c R 151.4 85.9 11088 97.4 12827 59313 56175 253e3 3.6 43.6
187.00/187.12 c R 187.0 74.8 11088 97.4 12827 84973 81829 253e3 4.1 47.3
190.80/190.96 c + 190.9 73.9 11088 97.4 12827 87516 84372 278e3 3.5 47.6
217.88/218.01 c s 217.9 68.4 10380 97.7 11590 104e3 101e3 278e3 5.9 49.6
217.88/218.08 c R 218.0 68.4 10380 97.7 11590 104e3 101e3 278e3 5.3 49.6
218.38/218.59 c R 218.5 68.3 10380 97.7 11590 105e3 101e3 278e3 5.4 49.7
220.18/220.36 c R 220.3 68.1 10380 97.7 11590 105e3 102e3 278e3 4.8 49.8
223.89/224.02 c R 223.9 67.6 10380 97.7 11590 107e3 104e3 278e3 5.5 50.1
231.38/231.50 c R 231.4 66.3 10380 97.7 11590 112e3 109e3 278e3 4.5 50.8
249.66/249.88 c R 249.8 64.1 10380 97.7 11590 123e3 120e3 278e3 13.5 52.6
264.06/264.28 c + 264.2 62.6 10380 97.7 11590 131e3 127e3 306e3 3.4 54.7
288.14/288.39 c s 288.2 60.7 9482 97.8 10618 143e3 139e3 306e3 4.1 56.5
288.34/288.53 c R 288.4 60.7 9482 97.8 10618 143e3 139e3 306e3 4.9 56.5
288.94/289.15 c R 289.0 60.6 9482 97.8 10618 143e3 140e3 306e3 6.5 56.6
290.84/291.01 c R 290.9 60.5 9482 97.8 10618 144e3 140e3 306e3 5.2 56.7
295.13/295.36 c R 295.2 60.2 9482 97.8 10618 146e3 142e3 306e3 6.0 57.0
295.33/295.55 c s 295.4 60.2 9461 97.8 10604 146e3 142e3 306e3 6.9 57.0
295.64/295.81 c R 295.7 60.2 9461 97.8 10604 146e3 142e3 306e3 3.8 57.0
296.23/296.45 c R 296.3 60.2 9461 97.8 10604 146e3 143e3 306e3 3.5 57.1
297.94/298.19 c R 298.0 60.0 9461 97.8 10604 147e3 144e3 306e3 3.4 57.2
302.34/302.57 c R 302.4 59.7 9461 97.8 10604 149e3 146e3 306e3 4.3 57.5
313.43/313.66 c R 313.5 59.1 9461 97.8 10604 154e3 150e3 306e3 5.0 58.3
313.43/313.66 c
313.43/313.66 c seconds variables original learned agility
313.43/313.66 c level used conflicts limit MB
313.43/313.66 c
338.71/338.91 c R 338.7 57.5 9461 97.8 10604 165e3 162e3 306e3 5.4 59.9
390.59/390.80 c R 390.6 54.7 9461 97.9 10604 191e3 187e3 306e3 6.2 63.8
404.98/405.22 c + 405.0 54.2 9461 97.9 10604 196e3 193e3 337e3 5.5 64.6
433.87/434.16 c s 433.9 53.1 9328 97.9 10365 206e3 202e3 337e3 4.5 66.0
434.17/434.41 c R 434.2 53.1 9328 97.9 10365 206e3 203e3 337e3 5.2 66.0
434.87/435.17 c R 435.0 53.1 9328 97.9 10365 206e3 203e3 337e3 6.7 66.1
436.77/437.09 c R 436.9 53.0 9328 97.9 10365 207e3 204e3 337e3 5.6 66.2
442.37/442.64 c R 442.4 52.8 9328 97.9 10365 209e3 206e3 337e3 5.0 66.5
453.36/453.68 c R 453.5 52.4 9328 97.9 10365 214e3 211e3 337e3 6.1 67.2
482.35/482.66 c R 482.4 51.5 9328 97.9 10365 225e3 222e3 337e3 4.1 68.9
557.01/557.32 c R 557.0 49.2 9328 97.9 10365 251e3 247e3 337e3 4.4 72.2
584.82/585.14 c s 584.9 48.5 9039 98.0 10017 260e3 257e3 337e3 4.6 73.4
585.01/585.40 c R 585.1 48.4 9039 98.0 10017 260e3 257e3 337e3 4.4 73.4
585.92/586.21 c R 585.9 48.4 9039 98.0 10017 260e3 257e3 337e3 4.2 73.5
588.31/588.60 c R 588.3 48.4 9039 98.0 10017 261e3 258e3 337e3 9.7 73.6
594.31/594.62 c R 594.3 48.2 9039 98.0 10017 263e3 260e3 337e3 11.7 73.8
608.00/608.32 c R 608.0 47.8 9039 98.0 10017 268e3 265e3 337e3 4.6 74.4
638.20/638.54 c R 638.2 47.0 9039 98.0 10017 279e3 276e3 337e3 7.1 75.9
689.86/690.26 c + 689.9 46.2 9039 98.0 10017 294e3 291e3 370e3 9.9 78.1
717.25/717.66 c R 717.3 45.7 9039 98.0 10017 305e3 301e3 370e3 5.4 79.7
901.18/901.65 c R 901.2 43.1 9039 98.0 10017 363e3 359e3 370e3 7.4 88.0
1033.93/1034.40 c + 103e1 40.5 9039 98.0 10017 441e3 97258 407e3 4.7 37.8
1033.93/1034.40 c
1033.93/1034.40 c seconds variables original learned agility
1033.93/1034.40 c level used conflicts limit MB
1033.93/1034.40 c
1108.69/1109.23 c R 111e1 39.4 9039 98.0 10017 491e3 146e3 407e3 8.9 45.2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1716311-1240614180/watcher-1716311-1240614180 -o /tmp/evaluation-result-1716311-1240614180/solver-1716311-1240614180 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1716311-1240614180.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.92 0.98 0.90 3/64 22051
/proc/meminfo: memFree=976624/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=9656 CPUtime=0
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 638 0 0 0 0 0 0 0 18 0 1 0 89446728 9887744 623 1992294400 134512640 135137933 4294956240 18446744073709551615 134532354 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 2414 629 53 152 0 2260 0
[startup+0.0660649 s]
/proc/loadavg: 0.92 0.98 0.90 3/64 22051
/proc/meminfo: memFree=976624/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=12008 CPUtime=0.06
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 2793 0 0 0 5 1 0 0 18 0 1 0 89446728 12296192 2778 1992294400 134512640 135137933 4294956240 18446744073709551615 134689438 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 3002 2779 56 152 0 2848 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12008
[startup+0.101068 s]
/proc/loadavg: 0.92 0.98 0.90 3/64 22051
/proc/meminfo: memFree=976624/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=13196 CPUtime=0.09
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 3098 0 0 0 8 1 0 0 18 0 1 0 89446728 13512704 3083 1992294400 134512640 135137933 4294956240 18446744073709551615 134689438 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 3299 3083 56 152 0 3145 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13196
[startup+0.301086 s]
/proc/loadavg: 0.92 0.98 0.90 3/64 22051
/proc/meminfo: memFree=976624/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=18632 CPUtime=0.29
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 4449 0 0 0 26 3 0 0 20 0 1 0 89446728 19079168 4434 1992294400 134512640 135137933 4294956240 18446744073709551615 134689438 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 4658 4434 56 152 0 4504 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18632
[startup+0.701125 s]
/proc/loadavg: 0.92 0.98 0.90 3/64 22051
/proc/meminfo: memFree=976624/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=24864 CPUtime=0.69
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 5850 0 0 0 65 4 0 0 24 0 1 0 89446728 25460736 5835 1992294400 134512640 135137933 4294956240 18446744073709551615 134528640 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 6216 5835 61 152 0 6062 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24864
[startup+1.50131 s]
/proc/loadavg: 0.92 0.98 0.90 2/65 22052
/proc/meminfo: memFree=953320/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=24864 CPUtime=1.49
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 5874 0 0 0 145 4 0 0 25 0 1 0 89446728 25460736 5859 1992294400 134512640 135137933 4294956240 18446744073709551615 134548801 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 6216 5859 61 152 0 6062 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24864
[startup+3.10136 s]
/proc/loadavg: 1.01 1.00 0.91 2/65 22052
/proc/meminfo: memFree=952872/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=24864 CPUtime=3.09
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 5874 0 0 0 305 4 0 0 25 0 1 0 89446728 25460736 5859 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 6216 5859 61 152 0 6062 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24864
[startup+6.30168 s]
/proc/loadavg: 1.01 1.00 0.91 2/65 22052
/proc/meminfo: memFree=952680/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=25892 CPUtime=6.29
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 6048 0 0 0 625 4 0 0 25 0 1 0 89446728 26513408 6033 1992294400 134512640 135137933 4294956240 18446744073709551615 134548661 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 6473 6033 69 152 0 6319 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25892
[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 22052
/proc/meminfo: memFree=951792/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=27148 CPUtime=12.68
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 6293 0 0 0 1264 4 0 0 25 0 1 0 89446728 27799552 6278 1992294400 134512640 135137933 4294956240 18446744073709551615 134551455 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 6787 6278 69 152 0 6633 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27148
[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 22052
/proc/meminfo: memFree=948720/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=30316 CPUtime=25.48
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 7084 0 0 0 2543 5 0 0 25 0 1 0 89446728 31043584 7069 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 7579 7069 69 152 0 7425 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30316
[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 22052
/proc/meminfo: memFree=943600/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=35332 CPUtime=51.07
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 8373 0 0 0 5100 7 0 0 25 0 1 0 89446728 36179968 8358 1992294400 134512640 135137933 4294956240 18446744073709551615 134552061 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 8833 8358 69 152 0 8679 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 35332
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 22052
/proc/meminfo: memFree=934832/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=43912 CPUtime=102.25
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 10517 0 0 0 10216 9 0 0 25 0 1 0 89446728 44965888 10502 1992294400 134512640 135137933 4294956240 18446744073709551615 134522698 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 10978 10502 69 152 0 10824 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 43912
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 22052
/proc/meminfo: memFree=928944/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=49968 CPUtime=162.21
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 12013 0 0 0 16209 12 0 0 25 0 1 0 89446728 51167232 11995 1992294400 134512640 135137933 4294956240 18446744073709551615 134548608 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 12492 11995 69 152 0 12338 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 49968
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 22052
/proc/meminfo: memFree=923248/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=55512 CPUtime=222.18
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 13413 0 0 0 22206 12 0 0 25 0 1 0 89446728 56844288 13395 1992294400 134512640 135137933 4294956240 18446744073709551615 134547667 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 13878 13395 69 152 0 13724 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 55512
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 22052
/proc/meminfo: memFree=917680/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=61948 CPUtime=282.15
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 14812 0 0 0 28201 14 0 0 25 0 1 0 89446728 63434752 14794 1992294400 134512640 135137933 4294956240 18446744073709551615 134548608 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 15487 14794 69 152 0 15333 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 61948
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 22052
/proc/meminfo: memFree=913328/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=66172 CPUtime=342.11
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 15895 0 0 0 34195 16 0 0 25 0 1 0 89446728 67760128 15877 1992294400 134512640 135137933 4294956240 18446744073709551615 134527844 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 16543 15877 69 152 0 16389 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 66172
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 22052
/proc/meminfo: memFree=908528/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=70924 CPUtime=402.09
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 17095 0 0 0 40191 18 0 0 25 0 1 0 89446728 72626176 17077 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 17731 17077 69 152 0 17577 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 70924
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 22052
/proc/meminfo: memFree=905008/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=74224 CPUtime=462.07
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 17963 0 0 0 46187 20 0 0 25 0 1 0 89446728 76005376 17945 1992294400 134512640 135137933 4294956240 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 18556 17945 69 152 0 18402 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 74224
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 22052
/proc/meminfo: memFree=901744/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=77392 CPUtime=522.03
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 18780 0 0 0 52182 21 0 0 25 0 1 0 89446728 79249408 18762 1992294400 134512640 135137933 4294956240 18446744073709551615 134548661 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 19348 18762 69 152 0 19194 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 77392
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 22052
/proc/meminfo: memFree=898864/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=80296 CPUtime=582
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 19510 0 0 0 58179 21 0 0 25 0 1 0 89446728 82223104 19492 1992294400 134512640 135137933 4294956240 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 20074 19492 69 152 0 19920 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 80296
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 22052
/proc/meminfo: memFree=895856/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=83068 CPUtime=642
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 20241 0 0 0 64177 23 0 0 25 0 1 0 89446728 85061632 20223 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 20767 20223 69 152 0 20613 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 83068
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 22052
/proc/meminfo: memFree=892912/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=86104 CPUtime=701.95
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 21003 0 0 0 70172 23 0 0 25 0 1 0 89446728 88170496 20985 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 21526 20985 69 152 0 21372 0
Current children cumulated CPU time (s) 701.95
Current children cumulated vsize (KiB) 86104
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 22052
/proc/meminfo: memFree=889520/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=89404 CPUtime=761.94
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 21848 0 0 0 76170 24 0 0 25 0 1 0 89446728 91549696 21830 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 22351 21830 69 152 0 22197 0
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (KiB) 89404
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 22052
/proc/meminfo: memFree=887088/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=91780 CPUtime=821.91
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 22457 0 0 0 82166 25 0 0 25 0 1 0 89446728 93982720 22439 1992294400 134512640 135137933 4294956240 18446744073709551615 134548661 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 22945 22439 69 152 0 22791 0
Current children cumulated CPU time (s) 821.91
Current children cumulated vsize (KiB) 91780
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 22052
/proc/meminfo: memFree=884080/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=94684 CPUtime=881.88
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 23214 0 0 0 88162 26 0 0 25 0 1 0 89446728 96956416 23196 1992294400 134512640 135137933 4294956240 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 23671 23196 69 152 0 23517 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 94684
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 22052
/proc/meminfo: memFree=881392/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=97324 CPUtime=941.85
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 23890 0 0 0 94158 27 0 0 25 0 1 0 89446728 99659776 23872 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 24331 23872 69 152 0 24177 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 97324
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 22052
/proc/meminfo: memFree=879664/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=99640 CPUtime=1001.83
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 24316 0 0 0 100156 27 0 0 25 0 1 0 89446728 102031360 24295 1992294400 134512640 135137933 4294956240 18446744073709551615 134548930 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 24910 24295 69 152 0 24756 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 99640
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 22052
/proc/meminfo: memFree=879600/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=99640 CPUtime=1061.81
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 24316 0 0 0 106153 28 0 0 25 0 1 0 89446728 102031360 24295 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 24910 24295 69 152 0 24756 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 99640
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 22052
/proc/meminfo: memFree=879600/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=99640 CPUtime=1121.79
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 24316 0 0 0 112151 28 0 0 25 0 1 0 89446728 102031360 24295 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 24910 24295 69 152 0 24756 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 99640
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 22052
/proc/meminfo: memFree=879600/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=99640 CPUtime=1181.77
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 24316 0 0 0 118149 28 0 0 25 0 1 0 89446728 102031360 24295 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 24910 24295 69 152 0 24756 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 99640
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 22052
/proc/meminfo: memFree=879600/2055920 swapFree=4192956/4192956
[pid=22051] ppid=22049 vsize=99640 CPUtime=1200.06
/proc/22051/stat : 22051 (picosat) R 22049 22051 21792 0 -1 4194304 24316 0 0 0 119978 28 0 0 25 0 1 0 89446728 102031360 24295 1992294400 134512640 135137933 4294956240 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 0 0 0
/proc/22051/statm: 24910 24295 69 152 0 24756 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 99640
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.62
CPU time (s): 1200.08
CPU user time (s): 1199.78
CPU system time (s): 0.298954
CPU usage (%): 99.955
Max. virtual memory (cumulated for all children) (KiB): 99640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.78
system time used= 0.298954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24316
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= 3206
runsolver used 0.958854 second user time and 3.42848 second system time
The end
Begin job on node36 at 2009-04-25 01:03:01
IDJOB=1716311
IDBENCH=20374
IDSOLVER=506
FILE ID=node36/1716311-1240614180
PBS_JOBID= 9186278
Free space on /tmp= 66388 MiB
SOLVER NAME= picosat 913
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-5-15-u.cnf
COMMAND LINE= HOME/picosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1716311-1240614180/watcher-1716311-1240614180 -o /tmp/evaluation-result-1716311-1240614180/solver-1716311-1240614180 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1716311-1240614180.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c716daea92d5e29b94f85a19b52859ac
RANDOM SEED=431656029
node36.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: 977104 kB
Buffers: 91492 kB
Cached: 877780 kB
SwapCached: 0 kB
Active: 140640 kB
Inactive: 842532 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 977104 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 12836 kB
Writeback: 0 kB
Mapped: 23684 kB
Slab: 81724 kB
Committed_AS: 275760 kB
PageTables: 1356 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= 66388 MiB
End job on node36 at 2009-04-25 01:23:04