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-1728951-1240743320.cnf
0.00/0.00 c parsed header 'p cnf 9638 31795'
1.79/1.85 c initialized 9638 variables
1.79/1.85 c found 31795 non trivial clauses
1.79/1.85 c
1.79/1.85 c random number generator seed 0
1.79/1.85 c
1.79/1.85 c seconds variables original learned agility
1.79/1.85 c level used conflicts limit MB
1.79/1.85 c
1.79/1.85 c s 1.8 0.0 5337 92.7 11021 1415 0 0 0.0 1.4
1.79/1.86 c
1.79/1.86 c initial reduction limit 9352 clauses
1.79/1.86 c
1.79/1.86 c + 1.9 30.2 5267 95.2 11021 1515 28 10287 6.0 1.4
1.79/1.88 c N 1.9 30.5 5267 96.9 11021 1594 103 10287 26.4 1.4
1.79/1.90 c + 1.9 30.8 5267 97.0 11021 1665 169 11315 26.5 1.4
1.89/1.97 c + 2.0 31.0 5267 97.2 11021 1890 379 12446 23.2 1.5
1.89/1.97 c R 2.0 31.0 5267 97.2 11021 1896 385 12446 21.8 1.5
1.99/2.05 c s 2.0 30.2 5252 99.0 10872 2043 521 12446 17.4 1.6
1.99/2.05 c R 2.1 30.0 5252 99.0 10872 2075 552 12446 19.7 1.6
2.10/2.12 c + 2.1 29.1 5252 99.0 10872 2227 698 13690 24.8 1.6
2.10/2.20 c R 2.2 28.6 5252 99.0 10872 2376 845 13690 18.5 1.7
2.20/2.28 c R 2.3 28.0 5246 99.0 10872 2554 1020 13690 17.8 1.7
2.29/2.36 c + 2.4 27.6 5246 99.1 10872 2732 1188 15059 20.1 1.8
2.39/2.41 c s 2.4 27.4 5246 99.1 10861 2821 1277 15059 17.1 1.8
2.39/2.43 c R 2.4 27.3 5246 99.1 10861 2857 1313 15059 20.7 1.8
2.69/2.77 c + 2.8 26.0 5246 99.1 10861 3489 1934 16564 12.4 2.0
2.79/2.87 c R 2.9 25.6 5246 99.1 10861 3661 2104 16564 12.1 2.1
2.99/3.00 c R 3.0 25.9 5242 99.1 10861 3940 2377 16564 19.4 2.1
2.99/3.04 c s 3.0 25.8 5242 99.1 10855 4020 2456 16564 14.7 2.1
3.09/3.16 c R 3.2 25.5 5242 99.1 10855 4240 2674 16564 17.6 2.2
3.30/3.35 c + 3.4 25.0 5242 99.2 10855 4624 3050 18220 24.8 2.3
3.49/3.58 c R 3.6 24.5 5242 99.2 10855 5042 3466 18220 20.2 2.5
3.49/3.58 c
3.49/3.58 c seconds variables original learned agility
3.49/3.58 c level used conflicts limit MB
3.49/3.58 c
4.09/4.17 c + 4.2 23.8 5242 99.2 10855 6326 4735 20042 11.3 2.8
4.40/4.48 c R 4.5 23.7 5242 99.2 10855 7047 5451 20042 17.5 3.0
5.29/5.35 c + 5.4 22.6 5242 99.2 10855 8879 7264 22046 15.9 3.3
6.68/6.77 c R 6.8 21.7 5242 99.2 10855 11864 10231 22046 16.8 3.8
7.18/7.28 c + 7.3 21.4 5242 99.2 10855 12708 11072 24250 16.4 4.0
7.49/7.53 c s 7.5 21.2 5231 99.2 10836 13167 11527 24250 11.6 4.1
7.49/7.59 c R 7.6 21.2 5231 99.2 10836 13271 11630 24250 19.6 4.1
7.69/7.74 c R 7.7 21.0 5231 99.2 10836 13571 11927 24250 17.7 4.2
8.18/8.21 c R 8.2 20.8 5231 99.2 10836 14373 12728 24250 16.9 4.4
9.18/9.29 c s 9.3 20.4 5229 99.2 10831 16056 14402 24250 17.9 4.6
9.28/9.35 c R 9.4 20.4 5229 99.2 10831 16159 14501 24250 17.5 4.6
9.48/9.53 c R 9.5 20.3 5229 99.2 10831 16459 14798 24250 16.4 4.7
9.98/10.04 c N 10.0 20.2 5229 99.2 10831 17264 15600 24250 23.6 4.8
10.78/10.83 c + 10.8 19.9 5229 99.2 10831 18451 16783 26675 23.5 5.0
11.18/11.29 c R 11.3 19.7 5229 99.2 10831 19273 17602 26675 15.4 5.2
13.39/13.44 c s 13.4 19.2 5223 99.2 10820 22459 20769 26675 16.9 5.7
13.49/13.50 c R 13.5 19.2 5223 99.2 10820 22559 20869 26675 17.6 5.7
13.69/13.71 c R 13.7 19.1 5223 99.2 10820 22862 21167 26675 18.6 5.8
13.89/13.98 c R 14.0 19.1 5217 99.2 10820 23165 21469 26675 18.0 5.8
14.19/14.21 c R 14.2 19.0 5217 99.2 10820 23465 21768 26675 15.5 5.9
14.79/14.85 c R 14.8 18.9 5217 99.2 10820 24266 22569 26675 16.5 6.0
14.79/14.89 c s 14.9 18.9 5217 99.2 10809 24295 22598 26675 15.0 6.0
14.79/14.89 c
14.79/14.89 c seconds variables original learned agility
14.79/14.89 c level used conflicts limit MB
14.79/14.89 c
16.69/16.73 c R 16.7 18.5 5217 99.2 10809 26276 24576 26675 17.7 6.3
17.49/17.52 c + 17.5 18.4 5217 99.2 10809 27065 25365 29342 15.1 6.4
18.69/18.79 c s 18.8 18.2 5209 99.2 10793 28390 26685 29342 15.6 6.6
18.79/18.88 c R 18.9 18.2 5209 99.2 10793 28494 26789 29342 20.9 6.6
19.09/19.12 c R 19.1 18.2 5209 99.2 10793 28794 27085 29342 19.1 6.7
19.79/19.81 c R 19.8 18.1 5209 99.2 10793 29595 27878 29342 17.0 6.8
21.48/21.57 c N 21.6 17.9 5209 99.2 10793 31600 15201 29342 23.2 3.8
24.78/24.81 c N 24.8 17.5 5209 99.2 10793 36409 19991 29342 23.9 4.7
27.39/27.45 c + 27.5 17.3 5209 99.2 10793 39986 23547 32276 19.3 5.3
33.98/34.06 c R 34.1 17.3 5209 99.2 10793 47639 31159 32276 22.6 7.4
37.58/37.65 c s 37.6 17.5 5161 99.2 10705 53443 17997 32276 26.4 5.7
37.68/37.71 c N 37.7 17.5 5161 99.2 10705 53543 18091 32276 27.8 5.7
37.88/37.92 c N 37.9 17.4 5161 99.2 10705 53844 18391 32276 30.2 5.7
38.48/38.56 c N 38.6 17.4 5161 99.2 10705 54644 19190 32276 30.5 5.8
39.78/39.87 c R 39.9 17.4 5161 99.2 10705 56651 21191 32276 21.7 6.4
41.68/41.80 c + 41.8 17.5 5161 99.2 10705 59367 23897 35503 21.9 7.0
42.98/43.06 c N 43.1 17.6 5161 99.2 10705 61462 25991 35503 27.3 7.6
52.68/52.77 c N 52.8 17.5 5161 99.2 10705 72685 18020 35503 34.5 5.3
64.18/64.28 c + 64.3 17.1 5161 99.2 10705 88438 33752 39053 28.4 8.6
64.58/64.68 c s 64.7 17.2 5141 99.2 10672 89012 34308 39053 17.5 8.8
64.68/64.79 c R 64.8 17.2 5141 99.2 10672 89114 34410 39053 22.7 8.8
64.98/65.09 c N 65.1 17.2 5141 99.2 10672 89415 34710 39053 23.7 8.9
64.98/65.09 c
64.98/65.09 c seconds variables original learned agility
64.98/65.09 c level used conflicts limit MB
64.98/65.09 c
65.48/65.56 c N 65.5 17.2 5141 99.2 10672 90217 35509 39053 26.8 9.1
66.98/67.09 c N 67.1 17.2 5141 99.2 10672 92221 37508 39053 27.3 9.6
70.38/70.46 c N 70.4 17.5 5141 99.2 10672 97034 21847 39053 28.8 6.1
70.67/70.79 c s 70.8 17.5 5135 99.2 10661 97506 22317 39053 24.0 6.3
70.77/70.88 c R 70.9 17.6 5127 99.2 10661 97690 22494 39053 2.4 6.3
70.87/70.92 c R 70.9 17.9 5107 99.2 10661 97887 22657 39053 20.6 6.3
70.97/71.08 c N 71.1 17.9 5107 99.2 10661 98187 22956 39053 35.1 6.4
71.48/71.56 c N 71.5 17.8 5107 99.2 10661 98989 23752 39053 35.6 6.5
72.67/72.78 c s 72.8 17.8 4972 99.2 10371 100e3 25045 39053 30.7 6.8
73.17/73.22 c N 73.2 17.8 4972 99.2 10371 100e3 25680 39053 29.6 7.0
76.37/76.42 c R 76.4 17.8 4972 99.2 10371 105e3 30486 39053 22.4 8.1
84.97/85.07 c N 85.1 17.9 4972 99.2 10371 117e3 20513 39053 27.8 6.1
95.87/95.96 c + 95.9 17.9 4972 99.2 10371 132e3 35562 42958 33.6 9.6
104.36/104.44 c N 104.4 17.8 4972 99.2 10371 142e3 22831 42958 30.6 6.5
110.46/110.53 c s 110.5 17.7 4943 99.2 10318 152e3 32306 42958 22.3 8.6
110.56/110.64 c R 110.6 17.7 4941 99.2 10318 152e3 32406 42958 20.0 8.6
110.86/110.92 c N 110.9 17.7 4941 99.2 10318 152e3 32703 42958 25.3 8.7
111.46/111.57 c N 111.5 17.7 4941 99.2 10318 153e3 33506 42958 24.0 9.0
112.86/112.98 c N 113.0 17.7 4941 99.2 10318 155e3 35509 42958 30.7 9.4
113.06/113.10 c s 113.1 17.7 4941 99.2 10313 155e3 35631 42958 35.1 9.4
116.36/116.40 c N 116.4 17.8 4941 99.2 10313 160e3 40321 42958 31.9 10.8
123.65/123.73 c N 123.7 19.2 4941 100.0 10313 171e3 28540 42958 33.7 8.8
123.65/123.73 c
123.65/123.73 c seconds variables original learned agility
123.65/123.73 c level used conflicts limit MB
123.65/123.73 c
143.45/143.54 c N 143.5 19.6 4941 100.0 10313 197e3 32451 42958 40.3 9.6
143.85/143.95 c + 143.9 19.6 4941 100.0 10313 197e3 32911 47253 30.5 9.7
193.94/194.09 c N 194.0 19.4 4941 100.0 10313 254e3 38436 47253 32.1 10.5
226.53/226.68 c + 226.6 19.0 4941 100.0 10313 295e3 26349 51978 26.2 6.4
297.51/297.69 c N 297.6 18.4 4941 100.0 10313 382e3 23743 51978 28.2 5.6
336.30/336.42 c s 336.3 18.3 4938 100.0 10308 428e3 33518 51978 25.9 8.0
336.40/336.53 c N 336.4 18.3 4938 100.0 10308 428e3 33617 51978 31.8 8.1
336.70/336.84 c N 336.7 18.3 4938 100.0 10308 428e3 33916 51978 24.3 8.1
337.30/337.46 c N 337.4 18.3 4938 100.0 10308 429e3 34719 51978 31.5 8.3
338.70/338.82 c N 338.7 18.3 4938 100.0 10308 431e3 36717 51978 28.4 8.7
342.59/342.79 c N 342.7 18.2 4938 100.0 10308 436e3 41521 51978 28.5 9.6
345.99/346.19 c s 346.1 18.2 4933 100.0 10299 440e3 45147 51978 8.1 10.4
346.09/346.24 c R 346.1 18.2 4925 100.0 10299 440e3 45247 51978 2.6 10.4
346.30/346.43 c N 346.3 18.2 4876 100.0 10299 440e3 45395 51978 39.8 10.4
346.49/346.68 c R 346.6 18.2 4874 100.0 10299 440e3 45658 51978 21.6 10.5
346.79/346.98 c N 346.9 18.2 4874 100.0 10299 440e3 45959 51978 23.6 10.6
347.40/347.54 c N 347.4 18.2 4874 100.0 10299 441e3 46758 51978 27.5 10.8
348.39/348.56 c + 348.5 18.2 4874 100.0 10299 442e3 47809 57175 29.7 11.0
348.69/348.81 c s 348.7 18.2 4874 100.0 10203 443e3 48039 57175 22.0 11.0
349.39/349.51 c N 349.4 18.2 4874 100.0 10203 443e3 48763 57175 30.2 11.2
354.09/354.29 c N 354.2 18.3 4874 100.0 10203 448e3 53571 57175 25.0 12.3
354.59/354.74 c s 354.6 18.3 4872 100.0 10198 448e3 53898 57175 21.0 12.4
354.59/354.74 c
354.59/354.74 c seconds variables original learned agility
354.59/354.74 c level used conflicts limit MB
354.59/354.74 c
354.69/354.83 c R 354.7 18.3 4872 100.0 10198 449e3 53999 57175 10.7 12.4
354.99/355.10 c N 355.0 18.3 4872 100.0 10198 449e3 54300 57175 23.9 12.5
355.89/356.06 c N 356.0 18.3 4872 100.0 10198 450e3 55101 57175 24.0 12.7
357.89/358.01 c N 357.9 18.3 4872 100.0 10198 452e3 57103 57175 25.3 13.1
360.69/360.87 c R 360.8 18.3 4872 100.0 10198 456e3 23651 57175 20.2 6.3
367.09/367.26 c N 367.2 18.3 4872 100.0 10198 468e3 34869 57175 26.9 8.3
387.38/387.56 c N 387.5 18.2 4872 100.0 10198 493e3 24052 57175 36.5 5.3
434.37/434.57 c N 434.5 17.9 4872 100.0 10198 551e3 43901 57175 39.5 7.9
526.64/526.86 c + 526.7 17.4 4872 100.0 10198 663e3 41403 62892 34.4 8.6
540.54/540.73 c N 540.6 17.3 4872 100.0 10198 679e3 57443 62892 29.0 11.5
736.38/736.64 c s 736.4 16.1 4814 100.0 10090 914e3 23891 62892 17.0 6.1
736.38/736.69 c N 736.5 16.1 4810 100.0 10090 914e3 23999 62892 27.9 6.1
736.48/736.78 c N 736.6 16.1 4804 100.0 10090 914e3 24140 62892 25.6 6.1
736.69/736.94 c N 736.7 16.1 4804 100.0 10090 914e3 24439 62892 28.0 6.2
737.08/737.30 c N 737.1 16.1 4804 100.0 10090 915e3 25243 62892 33.4 6.4
738.28/738.58 c s 738.4 16.1 4804 100.0 10073 917e3 27099 62892 37.8 6.7
738.38/738.66 c N 738.5 16.1 4804 100.0 10073 917e3 27253 62892 27.5 6.8
741.28/741.60 c R 741.4 16.1 4804 100.0 10073 922e3 32063 62892 15.6 8.0
750.78/751.00 c N 750.8 16.1 4804 100.0 10073 933e3 43268 62892 38.2 10.0
774.18/774.46 c N 774.2 16.0 4804 100.0 10073 959e3 24749 62892 37.9 5.9
807.96/808.21 c + 808.0 15.8 4804 100.0 10073 994e3 60278 69181 36.1 12.8
827.25/827.52 c N 827.3 15.7 4804 100.0 10073 101e4 31292 69181 38.0 7.5
827.25/827.52 c
827.25/827.52 c seconds variables original learned agility
827.25/827.52 c level used conflicts limit MB
827.25/827.52 c
878.64/878.96 c s 878.7 15.4 4741 100.0 9932 107e4 14132 69181 43.4 4.2
878.74/879.01 c N 878.8 15.4 4741 100.0 9932 107e4 14221 69181 30.0 4.2
878.84/879.12 c N 878.9 15.4 4741 100.0 9932 107e4 14526 69181 24.7 4.3
879.15/879.44 c N 879.2 15.4 4741 100.0 9932 107e4 15332 69181 26.3 4.5
880.45/880.73 c N 880.5 15.4 4741 100.0 9932 107e4 17331 69181 38.8 5.0
883.25/883.57 c N 883.3 15.4 4741 100.0 9932 108e4 22139 69181 45.3 6.0
889.65/889.91 c R 889.7 15.4 4741 100.0 9932 109e4 33339 69181 12.2 8.5
908.44/908.73 c s 908.5 15.4 4736 100.0 9926 110e4 49530 69181 36.5 11.9
908.54/908.82 c R 908.6 15.4 4736 100.0 9926 111e4 49627 69181 21.6 11.9
908.74/909.06 c N 908.8 15.4 4736 100.0 9926 111e4 49927 69181 25.0 11.9
909.34/909.65 c N 909.4 15.4 4736 100.0 9926 111e4 50729 69181 28.6 12.1
910.54/910.83 c N 910.6 15.4 4736 100.0 9926 111e4 52737 69181 26.1 12.6
915.34/915.65 c N 915.4 15.4 4736 100.0 9926 111e4 57546 69181 38.6 13.6
927.13/927.48 c N 927.2 15.4 4736 100.0 9926 112e4 68760 69181 23.8 15.5
947.23/947.56 c R 947.3 15.6 4736 100.0 9926 115e4 47584 69181 20.4 10.2
1014.51/1014.87 c N 101e1 15.4 4736 100.0 9926 121e4 58608 69181 31.9 10.8
1070.39/1070.74 c s 107e1 15.3 4703 100.0 9838 126e4 66534 69181 33.9 13.1
1070.49/1070.85 c N 107e1 15.3 4703 100.0 9838 126e4 66632 69181 23.9 13.2
1070.69/1071.06 c R 107e1 15.3 4703 100.0 9838 126e4 66933 69181 21.4 13.2
1071.39/1071.77 c N 107e1 15.3 4703 100.0 9838 126e4 67731 69181 29.0 13.4
1072.99/1073.33 c N 107e1 15.3 4703 100.0 9838 126e4 23962 69181 28.9 4.9
1075.19/1075.51 c R 108e1 15.3 4703 100.0 9838 127e4 28767 69181 12.1 5.9
1075.19/1075.51 c
1075.19/1075.51 c seconds variables original learned agility
1075.19/1075.51 c level used conflicts limit MB
1075.19/1075.51 c
1081.19/1081.55 c N 108e1 15.4 4703 100.0 9838 128e4 39975 69181 40.9 7.7
1096.89/1097.26 c s 110e1 15.5 4673 100.0 9752 130e4 57229 69181 14.5 11.3
1096.99/1097.31 c R 110e1 15.5 4673 100.0 9752 130e4 57318 69181 14.7 11.3
1097.19/1097.51 c N 110e1 15.5 4673 100.0 9752 130e4 57618 69181 31.1 11.3
1097.69/1098.09 c N 110e1 15.5 4673 100.0 9752 130e4 58419 69181 33.8 11.5
1099.18/1099.57 c N 110e1 15.5 4673 100.0 9752 130e4 60429 69181 28.7 11.9
1103.48/1103.82 c N 110e1 15.5 4673 100.0 9752 131e4 65239 69181 29.7 13.0
1111.78/1112.17 c R 111e1 15.5 4673 100.0 9752 132e4 26744 69181 22.6 7.3
1117.08/1117.50 c s 112e1 15.5 4633 100.0 9678 132e4 33829 69181 19.0 8.8
1117.18/1117.57 c R 112e1 15.5 4633 100.0 9678 132e4 33919 69181 19.3 8.8
1117.48/1117.82 c N 112e1 15.5 4633 100.0 9678 132e4 34219 69181 27.1 8.9
1117.98/1118.34 c R 112e1 15.5 4633 100.0 9678 132e4 35022 69181 17.3 9.2
1119.48/1119.82 c N 112e1 15.5 4633 100.0 9678 133e4 37025 69181 39.1 9.6
1122.98/1123.32 c N 112e1 15.5 4633 100.0 9678 133e4 41832 69181 41.5 10.4
1132.07/1132.47 c N 113e1 15.5 4633 100.0 9678 134e4 53047 69181 36.4 12.3
1154.67/1155.10 c N 115e1 15.5 4633 100.0 9678 137e4 30447 69181 23.7 6.9
1161.27/1161.64 c s 116e1 15.5 4610 100.0 9643 138e4 41443 69181 9.6 9.7
1161.37/1161.73 c N 116e1 15.5 4610 100.0 9643 138e4 41534 69181 23.7 9.7
1161.67/1162.01 c N 116e1 15.5 4610 100.0 9643 138e4 41834 69181 24.7 9.8
1162.37/1162.72 c N 116e1 15.5 4610 100.0 9643 138e4 42635 69181 30.2 9.9
1163.76/1164.12 c N 116e1 15.5 4610 100.0 9643 138e4 44642 69181 33.4 10.2
1167.66/1168.04 c N 117e1 15.5 4610 100.0 9643 139e4 49451 69181 32.3 10.9
1167.66/1168.04 c
1167.66/1168.04 c seconds variables original learned agility
1167.66/1168.04 c level used conflicts limit MB
1167.66/1168.04 c
1176.06/1176.47 c N 118e1 15.5 4610 100.0 9643 140e4 60664 69181 36.3 12.8
1193.36/1193.79 c N 119e1 15.6 4610 100.0 9643 142e4 38105 69181 41.3 7.7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1728951-1240743320/watcher-1728951-1240743320 -o /tmp/evaluation-result-1728951-1240743320/solver-1728951-1240743320 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1728951-1240743320.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.91 0.97 0.99 3/65 11457
/proc/meminfo: memFree=1742328/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=1524 CPUtime=0
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 265 0 0 0 0 0 0 0 20 0 1 0 102361394 1560576 250 1992294400 134512640 135137933 4294956224 18446744073709551615 134544898 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 381 250 56 152 0 227 0
[startup+0.059383 s]
/proc/loadavg: 0.91 0.97 0.99 3/65 11457
/proc/meminfo: memFree=1742328/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=2316 CPUtime=0.05
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 463 0 0 0 5 0 0 0 20 0 1 0 102361394 2371584 448 1992294400 134512640 135137933 4294956224 18446744073709551615 134547458 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 579 448 61 152 0 425 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2316
[startup+0.101387 s]
/proc/loadavg: 0.91 0.97 0.99 3/65 11457
/proc/meminfo: memFree=1742328/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=2504 CPUtime=0.09
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 483 0 0 0 9 0 0 0 20 0 1 0 102361394 2564096 468 1992294400 134512640 135137933 4294956224 18446744073709551615 134522637 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 626 468 61 152 0 472 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2504
[startup+0.301413 s]
/proc/loadavg: 0.91 0.97 0.99 3/65 11457
/proc/meminfo: memFree=1742328/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=2504 CPUtime=0.29
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 495 0 0 0 29 0 0 0 22 0 1 0 102361394 2564096 480 1992294400 134512640 135137933 4294956224 18446744073709551615 134527844 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 626 480 61 152 0 472 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2504
[startup+0.701462 s]
/proc/loadavg: 0.91 0.97 0.99 3/65 11457
/proc/meminfo: memFree=1742328/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=2504 CPUtime=0.69
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 502 0 0 0 69 0 0 0 25 0 1 0 102361394 2564096 487 1992294400 134512640 135137933 4294956224 18446744073709551615 134527763 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 626 487 61 152 0 472 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2504
[startup+1.50156 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 11458
/proc/meminfo: memFree=1740528/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=2504 CPUtime=1.49
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 511 0 0 0 149 0 0 0 25 0 1 0 102361394 2564096 496 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 626 496 61 152 0 472 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2504
[startup+3.10176 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 11458
/proc/meminfo: memFree=1740208/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=3312 CPUtime=3.09
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 709 0 0 0 309 0 0 0 25 0 1 0 102361394 3391488 694 1992294400 134512640 135137933 4294956224 18446744073709551615 134551390 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 828 694 69 152 0 674 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3312
[startup+6.30116 s]
/proc/loadavg: 0.92 0.97 0.99 2/66 11458
/proc/meminfo: memFree=1738424/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=4800 CPUtime=6.29
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 1092 0 0 0 629 0 0 0 25 0 1 0 102361394 4915200 1077 1992294400 134512640 135137933 4294956224 18446744073709551615 134548828 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 1200 1077 69 152 0 1046 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4800
[startup+12.702 s]
/proc/loadavg: 0.93 0.97 0.99 2/66 11458
/proc/meminfo: memFree=1736248/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=6780 CPUtime=12.69
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 1566 0 0 0 1268 1 0 0 25 0 1 0 102361394 6942720 1551 1992294400 134512640 135137933 4294956224 18446744073709551615 134551430 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 1695 1551 69 152 0 1541 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6780
[startup+25.5016 s]
/proc/loadavg: 0.94 0.97 0.99 2/66 11458
/proc/meminfo: memFree=1734264/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=8640 CPUtime=25.48
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 2016 0 0 0 2547 1 0 0 25 0 1 0 102361394 8847360 2001 1992294400 134512640 135137933 4294956224 18446744073709551615 134522672 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 2160 2001 69 152 0 2006 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8640
[startup+51.1018 s]
/proc/loadavg: 0.96 0.97 0.99 2/66 11458
/proc/meminfo: memFree=1731960/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=11016 CPUtime=51.08
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 2625 0 0 0 5106 2 0 0 25 0 1 0 102361394 11280384 2610 1992294400 134512640 135137933 4294956224 18446744073709551615 134548661 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 2754 2610 69 152 0 2600 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 11016
[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/66 11458
/proc/meminfo: memFree=1729848/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=12992 CPUtime=102.26
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 3088 0 0 0 10224 2 0 0 25 0 1 0 102361394 13303808 3073 1992294400 134512640 135137933 4294956224 18446744073709551615 134551387 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 3248 3073 69 152 0 3094 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 12992
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 11458
/proc/meminfo: memFree=1727352/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=15368 CPUtime=162.25
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 3678 0 0 0 16222 3 0 0 25 0 1 0 102361394 15736832 3663 1992294400 134512640 135137933 4294956224 18446744073709551615 134548608 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 3842 3663 69 152 0 3688 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 15368
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 11458
/proc/meminfo: memFree=1727352/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=15368 CPUtime=222.23
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 3678 0 0 0 22220 3 0 0 25 0 1 0 102361394 15736832 3663 1992294400 134512640 135137933 4294956224 18446744073709551615 134548994 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 3842 3663 69 152 0 3688 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 15368
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 11458
/proc/meminfo: memFree=1727288/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=15368 CPUtime=282.21
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 3687 0 0 0 28218 3 0 0 25 0 1 0 102361394 15736832 3672 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 3842 3672 69 152 0 3688 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 15368
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 11464
/proc/meminfo: memFree=1726960/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=15368 CPUtime=342.19
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 3687 0 0 0 34216 3 0 0 25 0 1 0 102361394 15736832 3672 1992294400 134512640 135137933 4294956224 18446744073709551615 134554570 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 3842 3672 69 152 0 3688 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 15368
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 11464
/proc/meminfo: memFree=1726968/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=15368 CPUtime=402.18
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 3697 0 0 0 40215 3 0 0 25 0 1 0 102361394 15736832 3682 1992294400 134512640 135137933 4294956224 18446744073709551615 134548828 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 3842 3682 69 152 0 3688 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 15368
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 11464
/proc/meminfo: memFree=1726904/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=15368 CPUtime=462.16
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 3697 0 0 0 46213 3 0 0 25 0 1 0 102361394 15736832 3682 1992294400 134512640 135137933 4294956224 18446744073709551615 134549012 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 3842 3682 69 152 0 3688 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 15368
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 11464
/proc/meminfo: memFree=1726904/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=15368 CPUtime=522.14
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 3697 0 0 0 52211 3 0 0 25 0 1 0 102361394 15736832 3682 1992294400 134512640 135137933 4294956224 18446744073709551615 134545768 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 3842 3682 69 152 0 3688 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 15368
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 11464
/proc/meminfo: memFree=1726840/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=15616 CPUtime=582.13
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 3709 0 0 0 58210 3 0 0 25 0 1 0 102361394 15990784 3694 1992294400 134512640 135137933 4294956224 18446744073709551615 134552123 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 3904 3694 69 152 0 3750 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 15616
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 11464
/proc/meminfo: memFree=1726840/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=15616 CPUtime=642.11
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 3709 0 0 0 64208 3 0 0 25 0 1 0 102361394 15990784 3694 1992294400 134512640 135137933 4294956224 18446744073709551615 134548608 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 3904 3694 69 152 0 3750 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 15616
[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 11464
/proc/meminfo: memFree=1726840/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=15616 CPUtime=702.09
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 3709 0 0 0 70206 3 0 0 25 0 1 0 102361394 15990784 3694 1992294400 134512640 135137933 4294956224 18446744073709551615 134552918 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 3904 3694 69 152 0 3750 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 15616
[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 11464
/proc/meminfo: memFree=1726840/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=15616 CPUtime=762.08
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 3709 0 0 0 76205 3 0 0 25 0 1 0 102361394 15990784 3694 1992294400 134512640 135137933 4294956224 18446744073709551615 134548890 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 3904 3694 69 152 0 3750 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 15616
[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 11464
/proc/meminfo: memFree=1726008/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=16528 CPUtime=822.06
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 3904 0 0 0 82203 3 0 0 25 0 1 0 102361394 16924672 3889 1992294400 134512640 135137933 4294956224 18446744073709551615 134522736 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 4132 3889 69 152 0 3978 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 16528
[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 11464
/proc/meminfo: memFree=1726008/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=16528 CPUtime=882.05
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 3904 0 0 0 88201 4 0 0 25 0 1 0 102361394 16924672 3889 1992294400 134512640 135137933 4294956224 18446744073709551615 134548801 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 4132 3889 69 152 0 3978 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 16528
[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 11464
/proc/meminfo: memFree=1725048/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=17452 CPUtime=942.03
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 4138 0 0 0 94199 4 0 0 25 0 1 0 102361394 17870848 4123 1992294400 134512640 135137933 4294956224 18446744073709551615 134552108 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 4363 4123 69 152 0 4209 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 17452
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 11464
/proc/meminfo: memFree=1725048/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=17452 CPUtime=1002.01
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 4138 0 0 0 100197 4 0 0 25 0 1 0 102361394 17870848 4123 1992294400 134512640 135137933 4294956224 18446744073709551615 134552037 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 4363 4123 69 152 0 4209 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 17452
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 11464
/proc/meminfo: memFree=1724984/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=17452 CPUtime=1061.99
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 4138 0 0 0 106195 4 0 0 25 0 1 0 102361394 17870848 4123 1992294400 134512640 135137933 4294956224 18446744073709551615 134527916 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 4363 4123 69 152 0 4209 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 17452
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 11464
/proc/meminfo: memFree=1724920/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=17452 CPUtime=1121.98
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 4138 0 0 0 112194 4 0 0 25 0 1 0 102361394 17870848 4123 1992294400 134512640 135137933 4294956224 18446744073709551615 134548661 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 4363 4123 69 152 0 4209 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 17452
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 11464
/proc/meminfo: memFree=1724920/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=17452 CPUtime=1181.96
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 4138 0 0 0 118192 4 0 0 25 0 1 0 102361394 17870848 4123 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 4363 4123 69 152 0 4209 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 17452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 11464
/proc/meminfo: memFree=1724856/2055920 swapFree=4192812/4192956
[pid=11457] ppid=11455 vsize=17452 CPUtime=1200.06
/proc/11457/stat : 11457 (picosat) R 11455 11457 11081 0 -1 4194304 4138 0 0 0 120002 4 0 0 25 0 1 0 102361394 17870848 4123 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/11457/statm: 4363 4123 69 152 0 4209 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 17452
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.41
CPU time (s): 1200.07
CPU user time (s): 1200.02
CPU system time (s): 0.046992
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 17452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.02
system time used= 0.046992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4138
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= 2498
runsolver used 1.39879 second user time and 2.66759 second system time
The end
Begin job on node92 at 2009-04-26 12:55:20
IDJOB=1728951
IDBENCH=24690
IDSOLVER=506
FILE ID=node92/1728951-1240743320
PBS_JOBID= 9186964
Free space on /tmp= 66552 MiB
SOLVER NAME= picosat 913
BENCH NAME= SAT07/crafted/Hard/contest02/pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf
COMMAND LINE= HOME/picosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1728951-1240743320/watcher-1728951-1240743320 -o /tmp/evaluation-result-1728951-1240743320/solver-1728951-1240743320 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1728951-1240743320.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ad877d677446ba8c798f8e71c4c035c2
RANDOM SEED=456590961
node92.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.245
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.245
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1742744 kB
Buffers: 19872 kB
Cached: 225468 kB
SwapCached: 140 kB
Active: 33616 kB
Inactive: 225744 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1742744 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1196 kB
Writeback: 0 kB
Mapped: 23572 kB
Slab: 39704 kB
Committed_AS: 188632 kB
PageTables: 1460 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= 66552 MiB
End job on node92 at 2009-04-26 13:15:22