Trace number 1563603

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
MXC 2009-03-10UNSAT 46.6109 46.6482

General information on the benchmark

NameAPPLICATIONS/c32sat/
post-cbmc-aes-ele-noholes.cnf
MD5SUMf135b1d0c8abb3603a01568e46f7396a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark32.0141
Satisfiable
(Un)Satisfiability was proved
Number of variables270963
Number of clauses1601376
Sum of the clauses size4314698
Maximum clause length257
Minimum clause length1
Number of clauses of size 139870
Number of clauses of size 21147330
Number of clauses of size 3334113
Number of clauses of size 49978
Number of clauses of size 50
Number of clauses of size over 570085

Solver Data 

46.55/46.61	c starting MXC with:
46.55/46.61	c cnf_path = HOME/instance-1563603-1238787969.cnf
46.55/46.61	c restart_strategy = auto
46.55/46.61	c sign_strategy = cached
46.55/46.61	c use_preprocessing = -1
46.55/46.61	c output_implicant = 1
46.55/46.61	c timeout_seconds = 0
46.55/46.61	c running SatELite... done
46.55/46.61	c 124587 vars eliminated
46.55/46.61	c received 142941 units and 108079 clauses from SatELite
46.55/46.61	c 267527 assignments made, starting to guess now
46.55/46.61	c ===================================[MXC]=====================================
46.55/46.61	c | Conflicts |                Clause Statistics                   |   Vars   |
46.55/46.61	c |           |    CARD     BIN      O3+      L3+   L3+Lim  Lit/CL |          |
46.55/46.61	c =============================================================================
46.55/46.61	c |         0 |       0    1380   106699        0        0     nan |   270963 |
46.55/46.61	c |       100 |       0    1399   106699       81     1050     8.5 |     3436 |
46.55/46.61	c |       210 |       0    1399   106699      191     1105     9.7 |     3436 |
46.55/46.61	c |       441 |       0    1399   106699      422     1220    11.9 |     3436 |
46.55/46.61	c |       805 |       0    1399   106699      786     1402    10.6 |     3436 |
46.55/46.61	c |      1315 |       0    1400   106699     1295     1657    10.0 |     3436 |
46.55/46.61	c |      1986 |       0    1401   106699     1965     1993    10.3 |     3436 |
46.55/46.61	c |      2834 |       0    1402   106699     1800     2417    15.8 |     3435 |
46.55/46.61	c |      3876 |       0    1402   106699     2842     2938    21.2 |     3435 |
46.55/46.61	c |      5132 |       0    1400   106692     2583     3566    25.5 |     3435 |
46.55/46.61	c |      6623 |       0    1402   106692     4072     4311    19.8 |     3435 |
46.55/46.61	c |      8373 |       0    1402   106692     3546     5186    14.9 |     3435 |
46.55/46.61	c |     10408 |       0    1402   106692     5581     6204    17.4 |     3435 |
46.55/46.61	c |     12756 |       0    1404   106692     4518     7378    16.4 |     3435 |
46.55/46.61	c |     15449 |       0    1404   106692     7211     8724    17.9 |     3435 |
46.55/46.61	c |     18521 |       0    1408   106692     5160    10260    17.5 |     3435 |
46.55/46.61	c |     22010 |       0    1408   106692     8649    12005    19.0 |     3435 |
46.55/46.61	c |     25958 |       0    1409   106692    12596    13979    20.9 |     3435 |
46.55/46.61	c |     30411 |       0    1411   106692     9368    16205    21.2 |     3435 |
46.55/46.61	c |     35419 |       0    1421   106692    14366    18709    20.7 |     3435 |
46.55/46.61	c |     41038 |       0    1421   106692    19985    21519    22.4 |     3435 |
46.55/46.61	c |     47329 |       0    1421   106692    14753    24664    24.8 |     3435 |
46.55/46.61	c |     54360 |       0    1421   106692    21784    28180    25.5 |     3435 |
46.55/46.61	c |     62205 |       0    1421   106692    29629    32102    24.7 |     3435 |
46.55/46.61	c |     70945 |       0    1422   106692    21083    36472    21.8 |     3435 |
46.55/46.61	c |     80669 |       0    1432   106692    30797    41334    20.9 |     3435 |
46.55/46.61	c |     91476 |       0    1436   106692    41600    46738    20.8 |     3435 |
46.55/46.61	c |    103474 |       0    1436   106692    27661    52737    19.3 |     3435 |
46.55/46.61	c |    116782 |       0    1447   106692    40958    59391    17.7 |     3435 |
46.55/46.61	c |    131532 |       0    1453   106692    55702    62268    16.4 |     3435 |
46.55/46.61	c |    143641 |       0    1494   106692    36208    64169    15.1 |     3421 |
46.55/46.61	c ----- stats for thread 0 -----
46.55/46.61	c restarts: 33
46.55/46.61	c decisions: 227156
46.55/46.61	c propagations: 6436775
46.55/46.61	c conflicts: 143641
46.55/46.61	c 46.570s elapsed
46.55/46.61	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1563603-1238787969/watcher-1563603-1238787969 -o /tmp/evaluation-result-1563603-1238787969/solver-1563603-1238787969 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/mxc-sat09 -i HOME/instance-1563603-1238787969.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: 1.00 1.00 1.00 3/80 16761
/proc/meminfo: memFree=1776112/2055912 swapFree=4170588/4192956
[pid=16761] ppid=16759 vsize=33520 CPUtime=0
/proc/16761/stat : 16761 (mxc-sat09) R 16759 16761 16487 0 -1 4194304 1038 0 0 0 0 0 0 0 18 0 1 0 1151461023 34324480 1024 1992294400 134512640 135192793 4294956208 18446744073709551615 134779278 0 0 4096 0 0 0 0 17 0 0 0
/proc/16761/statm: 8380 1031 46 166 0 8211 0

[startup+0.061132 s]
/proc/loadavg: 1.00 1.00 1.00 3/80 16761
/proc/meminfo: memFree=1776112/2055912 swapFree=4170588/4192956
[pid=16761] ppid=16759 vsize=67340 CPUtime=0.05
/proc/16761/stat : 16761 (mxc-sat09) R 16759 16761 16487 0 -1 4194304 9933 0 0 0 0 5 0 0 18 0 1 0 1151461023 68956160 9919 1992294400 134512640 135192793 4294956208 18446744073709551615 134527814 0 0 4096 0 0 0 0 17 0 0 0
/proc/16761/statm: 16835 9927 50 166 0 16666 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 67340

[startup+0.101135 s]
/proc/loadavg: 1.00 1.00 1.00 3/80 16761
/proc/meminfo: memFree=1776112/2055912 swapFree=4170588/4192956
[pid=16761] ppid=16759 vsize=90408 CPUtime=0.09
/proc/16761/stat : 16761 (mxc-sat09) R 16759 16761 16487 0 -1 4194304 15275 0 0 0 2 7 0 0 18 0 1 0 1151461023 92577792 15230 1992294400 134512640 135192793 4294956208 18446744073709551615 134569060 0 0 4096 0 0 0 0 17 0 0 0
/proc/16761/statm: 22602 15233 53 166 0 22433 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 90408

[startup+0.301155 s]
/proc/loadavg: 1.00 1.00 1.00 3/80 16761
/proc/meminfo: memFree=1776112/2055912 swapFree=4170588/4192956
[pid=16761] ppid=16759 vsize=123880 CPUtime=0.29
/proc/16761/stat : 16761 (mxc-sat09) R 16759 16761 16487 0 -1 4194304 22770 0 0 0 19 10 0 0 19 0 1 0 1151461023 126853120 22593 1992294400 134512640 135192793 4294956208 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 0 0 0
/proc/16761/statm: 30970 22593 55 166 0 30801 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 123880

[startup+0.701199 s]
/proc/loadavg: 1.00 1.00 1.00 3/80 16761
/proc/meminfo: memFree=1776112/2055912 swapFree=4170588/4192956
[pid=16761] ppid=16759 vsize=153512 CPUtime=0.69
/proc/16761/stat : 16761 (mxc-sat09) R 16759 16761 16487 0 -1 4194304 30165 0 0 0 54 15 0 0 23 0 1 0 1151461023 157196288 29988 1992294400 134512640 135192793 4294956208 18446744073709551615 134539576 0 0 4096 0 0 0 0 17 1 0 0
/proc/16761/statm: 38378 29988 55 166 0 38209 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 153512

[startup+1.50129 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 16762
/proc/meminfo: memFree=1637288/2055912 swapFree=4170588/4192956
[pid=16761] ppid=16759 vsize=151864 CPUtime=1.48
/proc/16761/stat : 16761 (mxc-sat09) R 16759 16761 16487 0 -1 4194304 37211 0 0 0 127 21 0 0 25 0 1 0 1151461023 155508736 28865 1992294400 134512640 135192793 4294956208 18446744073709551615 134563437 0 0 4096 0 0 0 0 17 1 0 0
/proc/16761/statm: 37966 28865 56 166 0 37797 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 151864

[startup+3.10145 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 16762
/proc/meminfo: memFree=1649128/2055912 swapFree=4170588/4192956
[pid=16761] ppid=16759 vsize=177968 CPUtime=3.08
/proc/16761/stat : 16761 (mxc-sat09) R 16759 16761 16487 0 -1 4194304 44153 0 0 0 284 24 0 0 25 0 1 0 1151461023 182239232 35807 1992294400 134512640 135192793 4294956208 18446744073709551615 134577000 0 0 4096 0 0 0 0 17 0 0 0
/proc/16761/statm: 44492 35807 56 166 0 44323 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 177968

[startup+6.30278 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 16762
/proc/meminfo: memFree=1622888/2055912 swapFree=4170588/4192956
[pid=16761] ppid=16759 vsize=193432 CPUtime=6.28
/proc/16761/stat : 16761 (mxc-sat09) R 16759 16761 16487 0 -1 4194304 47461 0 0 0 602 26 0 0 25 0 1 0 1151461023 198074368 39115 1992294400 134512640 135192793 4294956208 18446744073709551615 134567773 0 0 4096 0 0 0 0 17 0 0 0
/proc/16761/statm: 48358 39115 56 166 0 48189 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 193432

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 16762
/proc/meminfo: memFree=1600488/2055912 swapFree=4170588/4192956
[pid=16761] ppid=16759 vsize=212948 CPUtime=12.67
/proc/16761/stat : 16761 (mxc-sat09) R 16759 16761 16487 0 -1 4194304 52660 0 0 0 1239 28 0 0 25 0 1 0 1151461023 218058752 44314 1992294400 134512640 135192793 4294956208 18446744073709551615 134568075 0 0 4096 0 0 0 0 17 0 0 0
/proc/16761/statm: 53237 44314 56 166 0 53068 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 212948

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 16762
/proc/meminfo: memFree=1589288/2055912 swapFree=4170588/4192956
[pid=16761] ppid=16759 vsize=221824 CPUtime=25.47
/proc/16761/stat : 16761 (mxc-sat09) R 16759 16761 16487 0 -1 4194304 59294 0 0 0 2516 31 0 0 25 0 1 0 1151461023 227147776 46756 1992294400 134512640 135192793 4294956208 18446744073709551615 134534128 0 0 4096 0 0 0 0 17 0 0 0
/proc/16761/statm: 55456 46756 73 166 0 55287 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 221824

Solver just ended. Dumping a history of the last processes samples

[startup+38.3011 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 16762
/proc/meminfo: memFree=1588648/2055912 swapFree=4170588/4192956
[pid=16761] ppid=16759 vsize=221824 CPUtime=38.26
/proc/16761/stat : 16761 (mxc-sat09) R 16759 16761 16487 0 -1 4194304 59306 0 0 0 3795 31 0 0 25 0 1 0 1151461023 227147776 46768 1992294400 134512640 135192793 4294956208 18446744073709551615 134533842 0 0 4096 0 0 0 0 17 0 0 0
/proc/16761/statm: 55456 46768 73 166 0 55287 0
Current children cumulated CPU time (s) 38.26
Current children cumulated vsize (KiB) 221824

[startup+41.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 16762
/proc/meminfo: memFree=1589096/2055912 swapFree=4170588/4192956
[pid=16761] ppid=16759 vsize=221824 CPUtime=41.46
/proc/16761/stat : 16761 (mxc-sat09) R 16759 16761 16487 0 -1 4194304 59307 0 0 0 4115 31 0 0 25 0 1 0 1151461023 227147776 46769 1992294400 134512640 135192793 4294956208 18446744073709551615 134534016 0 0 4096 0 0 0 0 17 0 0 0
/proc/16761/statm: 55456 46769 73 166 0 55287 0
Current children cumulated CPU time (s) 41.46
Current children cumulated vsize (KiB) 221824

[startup+44.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 16762
/proc/meminfo: memFree=1589096/2055912 swapFree=4170588/4192956
[pid=16761] ppid=16759 vsize=221824 CPUtime=44.66
/proc/16761/stat : 16761 (mxc-sat09) R 16759 16761 16487 0 -1 4194304 59322 0 0 0 4435 31 0 0 25 0 1 0 1151461023 227147776 46784 1992294400 134512640 135192793 4294956208 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/16761/statm: 55456 46784 73 166 0 55287 0
Current children cumulated CPU time (s) 44.66
Current children cumulated vsize (KiB) 221824

[startup+45.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 16762
/proc/meminfo: memFree=1589096/2055912 swapFree=4170588/4192956
[pid=16761] ppid=16759 vsize=221824 CPUtime=45.45
/proc/16761/stat : 16761 (mxc-sat09) R 16759 16761 16487 0 -1 4194304 59322 0 0 0 4514 31 0 0 25 0 1 0 1151461023 227147776 46784 1992294400 134512640 135192793 4294956208 18446744073709551615 134549771 0 0 4096 0 0 0 0 17 0 0 0
/proc/16761/statm: 55456 46784 73 166 0 55287 0
Current children cumulated CPU time (s) 45.45
Current children cumulated vsize (KiB) 221824

[startup+46.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 16762
/proc/meminfo: memFree=1589096/2055912 swapFree=4170588/4192956
[pid=16761] ppid=16759 vsize=221824 CPUtime=46.25
/proc/16761/stat : 16761 (mxc-sat09) R 16759 16761 16487 0 -1 4194304 59322 0 0 0 4594 31 0 0 25 0 1 0 1151461023 227147776 46784 1992294400 134512640 135192793 4294956208 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 0 0 0
/proc/16761/statm: 55456 46784 73 166 0 55287 0
Current children cumulated CPU time (s) 46.25
Current children cumulated vsize (KiB) 221824

[startup+46.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 16762
/proc/meminfo: memFree=1589096/2055912 swapFree=4170588/4192956
[pid=16761] ppid=16759 vsize=221824 CPUtime=46.45
/proc/16761/stat : 16761 (mxc-sat09) R 16759 16761 16487 0 -1 4194304 59322 0 0 0 4614 31 0 0 25 0 1 0 1151461023 227147776 46784 1992294400 134512640 135192793 4294956208 18446744073709551615 134548130 0 0 4096 0 0 0 0 17 0 0 0
/proc/16761/statm: 55456 46784 73 166 0 55287 0
Current children cumulated CPU time (s) 46.45
Current children cumulated vsize (KiB) 221824

[startup+46.602 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 16762
/proc/meminfo: memFree=1589096/2055912 swapFree=4170588/4192956
[pid=16761] ppid=16759 vsize=221824 CPUtime=46.55
/proc/16761/stat : 16761 (mxc-sat09) R 16759 16761 16487 0 -1 4194304 59322 0 0 0 4624 31 0 0 25 0 1 0 1151461023 227147776 46784 1992294400 134512640 135192793 4294956208 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 0 0 0
/proc/16761/statm: 55456 46784 73 166 0 55287 0
Current children cumulated CPU time (s) 46.55
Current children cumulated vsize (KiB) 221824

Child status: 20
Real time (s): 46.6482
CPU time (s): 46.6109
CPU user time (s): 46.264
CPU system time (s): 0.346947
CPU usage (%): 99.9201
Max. virtual memory (cumulated for all children) (KiB): 244788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.264
system time used= 0.346947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59325
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= 164

runsolver used 0.054991 second user time and 0.165974 second system time

The end

Launcher Data 

Begin job on node78 at 2009-04-03 21:46:11
IDJOB=1563603
IDBENCH=70957
IDSOLVER=504
FILE ID=node78/1563603-1238787969
PBS_JOBID= 9085622
Free space on /tmp= 126820 MiB

SOLVER NAME= MXC 2009-03-10
BENCH NAME= SAT09/APPLICATIONS/c32sat/post-cbmc-aes-ele-noholes.cnf
COMMAND LINE= HOME/mxc-sat09 -i BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1563603-1238787969/watcher-1563603-1238787969 -o /tmp/evaluation-result-1563603-1238787969/solver-1563603-1238787969 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/mxc-sat09 -i HOME/instance-1563603-1238787969.cnf

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= f135b1d0c8abb3603a01568e46f7396a
RANDOM SEED=2032857512

node78.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.214
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.214
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:      2055912 kB
MemFree:       1776528 kB
Buffers:         29652 kB
Cached:         173256 kB
SwapCached:       7620 kB
Active:          95560 kB
Inactive:       117564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055912 kB
LowFree:       1776528 kB
SwapTotal:     4192956 kB
SwapFree:      4170588 kB
Dirty:           33360 kB
Writeback:           0 kB
Mapped:          15876 kB
Slab:            50424 kB
Committed_AS:  2911664 kB
PageTables:       2556 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126820 MiB
End job on node78 at 2009-04-03 21:46:58