Trace number 459967

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, and are wall clock time (not CPU 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
MiraXT v3? (MO) 4247.09 2141.39

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
MD5SUM8e22d84b1ae625d44fbf300a32374a2d
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables164158
Number of clauses730719
Sum of the clauses size1660140
Maximum clause length10
Minimum clause length1
Number of clauses of size 112474
Number of clauses of size 2600009
Number of clauses of size 387256
Number of clauses of size 43440
Number of clauses of size 513760
Number of clauses of size over 513780

Solver Data (download as text)

0.00/0.00	c Starting MiraXTv3...

Verifier Data (download as text)

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node1/watcher-459967-1179235373 -o ROOT/results/node1/solver-459967-1179235373 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/459967-1179235373/MiraXTv3_dyn /tmp/evaluation/459967-1179235373/instance-459967-1179235373.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 15000 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.00 0.00 0.00 3/77 21326
/proc/meminfo: memFree=1460528/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=3788 CPUtime=0
/proc/21326/stat : 21326 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194304 418 0 0 0 0 0 0 0 18 0 1 0 399575253 3878912 393 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/21326/statm: 947 402 202 20 0 305 0

[startup+0.022374 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 21326
/proc/meminfo: memFree=1460528/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=7232 CPUtime=0.01
/proc/21326/stat : 21326 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194304 1254 0 0 0 1 0 0 0 18 0 1 0 399575253 7405568 1229 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 6264443 0 0 4096 0 0 0 0 17 0 0 0
/proc/21326/statm: 1808 1230 206 20 0 1166 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7232

[startup+0.101383 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 21326
/proc/meminfo: memFree=1460528/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=14876 CPUtime=0.09
/proc/21326/stat : 21326 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194304 3168 0 0 0 8 1 0 0 18 0 1 0 399575253 15233024 3143 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134579267 0 0 4096 0 0 0 0 17 0 0 0
/proc/21326/statm: 3719 3143 206 20 0 3077 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14876

[startup+0.301406 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 21326
/proc/meminfo: memFree=1460528/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=37536 CPUtime=0.29
/proc/21326/stat : 21326 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194304 7865 0 0 0 25 4 0 0 19 0 1 0 399575253 38436864 7840 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 6264443 0 0 4096 0 0 0 0 17 0 0 0
/proc/21326/statm: 9384 7840 206 20 0 8742 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37536

[startup+0.701453 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 21326
/proc/meminfo: memFree=1460528/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=57736 CPUtime=0.69
/proc/21326/stat : 21326 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194304 12831 0 0 0 62 7 0 0 23 0 1 0 399575253 59121664 12806 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134570320 0 0 4096 0 0 0 0 17 0 0 0
/proc/21326/statm: 14434 12806 206 20 0 13792 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57736

[startup+1.50155 s]
/proc/loadavg: 0.00 0.00 0.00 2/78 21327
/proc/meminfo: memFree=1401640/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=74416 CPUtime=1.49
/proc/21326/stat : 21326 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194304 16563 0 0 0 140 9 0 0 25 0 1 0 399575253 76201984 16538 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 6264443 0 0 4096 0 0 0 0 17 0 0 0
/proc/21326/statm: 18604 16538 207 20 0 17962 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 74416

[startup+3.10175 s]
/proc/loadavg: 0.00 0.00 0.00 2/78 21327
/proc/meminfo: memFree=1384296/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=102044 CPUtime=3.11
/proc/21326/stat : 21326 (MiraXTv3_dyn) S 21324 21326 21252 0 -1 4194304 25350 0 0 0 298 13 0 0 25 0 3 0 399575253 104493056 22695 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21326/statm: 25511 22707 212 20 0 24869 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 102044

[startup+6.30211 s]
/proc/loadavg: 0.08 0.02 0.01 2/80 21329
/proc/meminfo: memFree=1308440/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=257952 CPUtime=6.58
/proc/21326/stat : 21326 (MiraXTv3_dyn) S 21324 21326 21252 0 -1 4194304 40765 0 0 0 635 23 0 0 25 0 3 0 399575253 264142848 38109 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21326/statm: 64488 38109 218 20 0 63846 0
[pid=21326/tid=21328] ppid=21324 vsize=257952 CPUtime=3.21
/proc/21326/task/21328/stat : 21328 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 12601 0 0 0 313 8 0 0 25 0 3 0 399575562 264142848 38109 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526205 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21326/tid=21329] ppid=21324 vsize=257952 CPUtime=0.28
/proc/21326/task/21329/stat : 21329 (MiraXTv3_dyn) S 21324 21326 21252 0 -1 4194368 7144 0 0 0 25 3 0 0 17 0 3 0 399575562 264142848 38109 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.58
Current children cumulated vsize (KiB) 257952

[startup+12.7019 s]
/proc/loadavg: 0.15 0.03 0.01 2/80 21329
/proc/meminfo: memFree=1308192/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=258976 CPUtime=12.97
/proc/21326/stat : 21326 (MiraXTv3_dyn) S 21324 21326 21252 0 -1 4194304 40831 0 0 0 1274 23 0 0 25 0 3 0 399575253 265191424 38175 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21326/statm: 64744 38175 218 20 0 64102 0
[pid=21326/tid=21328] ppid=21324 vsize=258976 CPUtime=9.6
/proc/21326/task/21328/stat : 21328 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 12667 0 0 0 952 8 0 0 25 0 3 0 399575562 265191424 38175 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21326/tid=21329] ppid=21324 vsize=258976 CPUtime=0.28
/proc/21326/task/21329/stat : 21329 (MiraXTv3_dyn) S 21324 21326 21252 0 -1 4194368 7144 0 0 0 25 3 0 0 17 0 3 0 399575562 265191424 38175 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.97
Current children cumulated vsize (KiB) 258976

[startup+25.5014 s]
/proc/loadavg: 0.34 0.08 0.02 3/80 21329
/proc/meminfo: memFree=1313120/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=253560 CPUtime=26.28
/proc/21326/stat : 21326 (MiraXTv3_dyn) S 21324 21326 21252 0 -1 4194304 41004 0 0 0 2605 23 0 0 25 0 3 0 399575253 259645440 37022 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21326/statm: 63390 37022 218 20 0 62748 0
[pid=21326/tid=21328] ppid=21324 vsize=253560 CPUtime=22.4
/proc/21326/task/21328/stat : 21328 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 12713 0 0 0 2232 8 0 0 25 0 3 0 399575562 259645440 37022 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21326/tid=21329] ppid=21324 vsize=253560 CPUtime=0.79
/proc/21326/task/21329/stat : 21329 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 7271 0 0 0 76 3 0 0 20 0 3 0 399575562 259645440 37022 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526207 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 26.28
Current children cumulated vsize (KiB) 253560

[startup+51.1014 s]
/proc/loadavg: 1.05 0.27 0.09 3/80 21329
/proc/meminfo: memFree=1262368/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=305904 CPUtime=77.35
/proc/21326/stat : 21326 (MiraXTv3_dyn) S 21324 21326 21252 0 -1 4194304 54308 0 0 0 7699 36 0 0 25 0 3 0 399575253 313245696 50326 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21326/statm: 76476 50326 218 20 0 75834 0
[pid=21326/tid=21328] ppid=21324 vsize=305904 CPUtime=47.96
/proc/21326/task/21328/stat : 21328 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 18606 0 0 0 4782 14 0 0 25 0 3 0 399575562 313245696 50326 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21326/tid=21329] ppid=21324 vsize=305904 CPUtime=26.29
/proc/21326/task/21329/stat : 21329 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 14682 0 0 0 2620 9 0 0 25 0 3 0 399575562 313245696 50326 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 77.35
Current children cumulated vsize (KiB) 305904

[startup+102.306 s]
/proc/loadavg: 1.59 0.53 0.18 3/80 21329
/proc/meminfo: memFree=1177888/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=386492 CPUtime=179.51
/proc/21326/stat : 21326 (MiraXTv3_dyn) S 21324 21326 21252 0 -1 4194304 74715 0 0 0 17895 56 0 0 25 0 3 0 399575253 395767808 70733 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21326/statm: 96623 70733 218 20 0 95981 0
[pid=21326/tid=21328] ppid=21324 vsize=386492 CPUtime=99.13
/proc/21326/task/21328/stat : 21328 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 28212 0 0 0 9889 24 0 0 25 0 3 0 399575562 395767808 70733 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526205 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21326/tid=21329] ppid=21324 vsize=386492 CPUtime=77.29
/proc/21326/task/21329/stat : 21329 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 25483 0 0 0 7710 19 0 0 25 0 3 0 399575562 395767808 70733 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134520111 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 179.51
Current children cumulated vsize (KiB) 386492

[startup+162.301 s]
/proc/loadavg: 1.91 0.81 0.30 3/80 21329
/proc/meminfo: memFree=978336/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=587116 CPUtime=299.23
/proc/21326/stat : 21326 (MiraXTv3_dyn) S 21324 21326 21252 0 -1 4194304 125121 0 0 0 29816 107 0 0 25 0 3 0 399575253 601206784 121025 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21326/statm: 146779 121025 218 20 0 146137 0
[pid=21326/tid=21328] ppid=21324 vsize=587116 CPUtime=159.08
/proc/21326/task/21328/stat : 21328 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 54928 0 0 0 15855 53 0 0 25 0 3 0 399575562 601206784 121025 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134566011 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21326/tid=21329] ppid=21324 vsize=587116 CPUtime=137.05
/proc/21326/task/21329/stat : 21329 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 49173 0 0 0 13663 42 0 0 25 0 3 0 399575562 601206784 121025 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134542695 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 299.23
Current children cumulated vsize (KiB) 587116

[startup+222.301 s]
/proc/loadavg: 2.03 1.04 0.41 3/80 21329
/proc/meminfo: memFree=786464/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=776020 CPUtime=418.94
/proc/21326/stat : 21326 (MiraXTv3_dyn) S 21324 21326 21252 0 -1 4194304 172690 0 0 0 41738 156 0 0 25 0 3 0 399575253 794644480 168459 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21326/statm: 194005 168459 218 20 0 193363 0
[pid=21326/tid=21328] ppid=21324 vsize=776020 CPUtime=219.03
/proc/21326/task/21328/stat : 21328 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 77543 0 0 0 21822 81 0 0 25 0 3 0 399575562 794644480 168459 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21326/tid=21329] ppid=21324 vsize=776020 CPUtime=196.81
/proc/21326/task/21329/stat : 21329 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 74127 0 0 0 19619 62 0 0 25 0 3 0 399575562 794644480 168459 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526205 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 418.94
Current children cumulated vsize (KiB) 776020

[startup+282.301 s]
/proc/loadavg: 2.07 1.23 0.51 3/80 21329
/proc/meminfo: memFree=647456/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=913620 CPUtime=538.6
/proc/21326/stat : 21326 (MiraXTv3_dyn) S 21324 21326 21252 0 -1 4194304 207345 0 0 0 53667 193 0 0 25 0 3 0 399575253 935546880 203008 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21326/statm: 228405 203008 218 20 0 227763 0
[pid=21326/tid=21328] ppid=21324 vsize=913620 CPUtime=278.99
/proc/21326/task/21328/stat : 21328 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 97169 0 0 0 27795 104 0 0 25 0 3 0 399575562 935546880 203008 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21326/tid=21329] ppid=21324 vsize=913620 CPUtime=256.52
/proc/21326/task/21329/stat : 21329 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 89156 0 0 0 25575 77 0 0 25 0 3 0 399575562 935546880 203008 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 538.6
Current children cumulated vsize (KiB) 913620

[startup+342.301 s]
/proc/loadavg: 2.08 1.38 0.61 3/80 21329
/proc/meminfo: memFree=647328/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=913620 CPUtime=658.32
/proc/21326/stat : 21326 (MiraXTv3_dyn) S 21324 21326 21252 0 -1 4194304 207407 0 0 0 65639 193 0 0 25 0 3 0 399575253 935546880 203070 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21326/statm: 228405 203070 218 20 0 227763 0
[pid=21326/tid=21328] ppid=21324 vsize=913620 CPUtime=338.95
/proc/21326/task/21328/stat : 21328 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 97202 0 0 0 33791 104 0 0 25 0 3 0 399575562 935546880 203070 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134528295 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21326/tid=21329] ppid=21324 vsize=913620 CPUtime=316.28
/proc/21326/task/21329/stat : 21329 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 89185 0 0 0 31551 77 0 0 25 0 3 0 399575562 935546880 203070 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 658.32
Current children cumulated vsize (KiB) 913620

[startup+402.301 s]
/proc/loadavg: 2.07 1.51 0.70 3/80 21329
/proc/meminfo: memFree=647200/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=913620 CPUtime=778.03
/proc/21326/stat : 21326 (MiraXTv3_dyn) S 21324 21326 21252 0 -1 4194304 207453 0 0 0 77609 194 0 0 25 0 3 0 399575253 935546880 203116 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21326/statm: 228405 203116 218 20 0 227763 0
[pid=21326/tid=21328] ppid=21324 vsize=913620 CPUtime=398.9
/proc/21326/task/21328/stat : 21328 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 97225 0 0 0 39786 104 0 0 25 0 3 0 399575562 935546880 203116 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21326/tid=21329] ppid=21324 vsize=913620 CPUtime=376.03

################
# More data... #
################


[startup+1542.3 s]
/proc/loadavg: 2.10 2.07 1.66 3/80 21331
/proc/meminfo: memFree=16288/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=1737332 CPUtime=3052.34
/proc/21326/stat : 21326 (MiraXTv3_dyn) S 21324 21326 21252 0 -1 4194304 413546 0 0 0 304824 410 0 0 25 0 3 0 399575253 1779027968 408658 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21326/statm: 434333 408658 218 20 0 433691 0
[pid=21326/tid=21328] ppid=21324 vsize=1737332 CPUtime=1537.07
/proc/21326/task/21328/stat : 21328 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 213415 0 0 0 153468 239 0 0 25 0 3 0 399575562 1779027968 408658 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21326/tid=21329] ppid=21324 vsize=1737332 CPUtime=1512.18
/proc/21326/task/21329/stat : 21329 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 179111 0 0 0 151059 159 0 0 25 0 3 0 399575562 1779027968 408658 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3052.34
Current children cumulated vsize (KiB) 1737332

[startup+1602.3 s]
/proc/loadavg: 2.16 2.09 1.69 3/80 21331
/proc/meminfo: memFree=16288/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=1737332 CPUtime=3172.06
/proc/21326/stat : 21326 (MiraXTv3_dyn) S 21324 21326 21252 0 -1 4194304 413548 0 0 0 316795 411 0 0 25 0 3 0 399575253 1779027968 408660 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21326/statm: 434333 408660 218 20 0 433691 0
[pid=21326/tid=21328] ppid=21324 vsize=1737332 CPUtime=1596.82
/proc/21326/task/21328/stat : 21328 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 213416 0 0 0 159443 239 0 0 25 0 3 0 399575562 1779027968 408660 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 6264476 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21326/tid=21329] ppid=21324 vsize=1737332 CPUtime=1572.15
/proc/21326/task/21329/stat : 21329 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 179112 0 0 0 157055 160 0 0 25 0 3 0 399575562 1779027968 408660 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3172.06
Current children cumulated vsize (KiB) 1737332

[startup+1662.3 s]
/proc/loadavg: 2.06 2.07 1.70 3/80 21331
/proc/meminfo: memFree=16224/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=1737332 CPUtime=3291.77
/proc/21326/stat : 21326 (MiraXTv3_dyn) S 21324 21326 21252 0 -1 4194304 413549 0 0 0 328766 411 0 0 25 0 3 0 399575253 1779027968 408661 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21326/statm: 434333 408661 218 20 0 433691 0
[pid=21326/tid=21328] ppid=21324 vsize=1737332 CPUtime=1656.58
/proc/21326/task/21328/stat : 21328 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 213416 0 0 0 165419 239 0 0 25 0 3 0 399575562 1779027968 408661 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21326/tid=21329] ppid=21324 vsize=1737332 CPUtime=1632.1
/proc/21326/task/21329/stat : 21329 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 179113 0 0 0 163050 160 0 0 25 0 3 0 399575562 1779027968 408661 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3291.77
Current children cumulated vsize (KiB) 1737332

[startup+1722.3 s]
/proc/loadavg: 2.07 2.07 1.73 3/80 21331
/proc/meminfo: memFree=16288/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=1737332 CPUtime=3411.5
/proc/21326/stat : 21326 (MiraXTv3_dyn) S 21324 21326 21252 0 -1 4194304 413550 0 0 0 340738 412 0 0 25 0 3 0 399575253 1779027968 408662 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21326/statm: 434333 408662 218 20 0 433691 0
[pid=21326/tid=21328] ppid=21324 vsize=1737332 CPUtime=1716.35
/proc/21326/task/21328/stat : 21328 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 213417 0 0 0 171395 240 0 0 25 0 3 0 399575562 1779027968 408662 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21326/tid=21329] ppid=21324 vsize=1737332 CPUtime=1692.05
/proc/21326/task/21329/stat : 21329 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 179113 0 0 0 169045 160 0 0 25 0 3 0 399575562 1779027968 408662 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134520702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3411.5
Current children cumulated vsize (KiB) 1737332

[startup+1782.3 s]
/proc/loadavg: 2.07 2.07 1.74 3/80 21331
/proc/meminfo: memFree=16096/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=1737332 CPUtime=3531.22
/proc/21326/stat : 21326 (MiraXTv3_dyn) S 21324 21326 21252 0 -1 4194304 413550 0 0 0 352710 412 0 0 25 0 3 0 399575253 1779027968 408662 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21326/statm: 434333 408662 218 20 0 433691 0
[pid=21326/tid=21328] ppid=21324 vsize=1737332 CPUtime=1776.11
/proc/21326/task/21328/stat : 21328 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 213417 0 0 0 177371 240 0 0 25 0 3 0 399575562 1779027968 408662 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21326/tid=21329] ppid=21324 vsize=1737332 CPUtime=1752.01
/proc/21326/task/21329/stat : 21329 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 179113 0 0 0 175041 160 0 0 25 0 3 0 399575562 1779027968 408662 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3531.22
Current children cumulated vsize (KiB) 1737332

[startup+1842.3 s]
/proc/loadavg: 2.06 2.07 1.76 3/80 21331
/proc/meminfo: memFree=15392/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=1742996 CPUtime=3650.9
/proc/21326/stat : 21326 (MiraXTv3_dyn) S 21324 21326 21252 0 -1 4194304 414981 0 0 0 364676 414 0 0 25 0 3 0 399575253 1784827904 410019 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21326/statm: 435749 410019 218 20 0 435107 0
[pid=21326/tid=21328] ppid=21324 vsize=1742996 CPUtime=1835.87
/proc/21326/task/21328/stat : 21328 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 214021 0 0 0 183346 241 0 0 25 0 3 0 399575562 1784827904 410019 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21326/tid=21329] ppid=21324 vsize=1742996 CPUtime=1811.94
/proc/21326/task/21329/stat : 21329 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 179940 0 0 0 181033 161 0 0 25 0 3 0 399575562 1784827904 410019 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3650.9
Current children cumulated vsize (KiB) 1742996

[startup+1902.3 s]
/proc/loadavg: 2.06 2.06 1.78 3/80 21331
/proc/meminfo: memFree=15456/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=1742996 CPUtime=3770.58
/proc/21326/stat : 21326 (MiraXTv3_dyn) S 21324 21326 21252 0 -1 4194304 414983 0 0 0 376644 414 0 0 25 0 3 0 399575253 1784827904 410021 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21326/statm: 435749 410021 218 20 0 435107 0
[pid=21326/tid=21328] ppid=21324 vsize=1742996 CPUtime=1895.61
/proc/21326/task/21328/stat : 21328 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 214022 0 0 0 189320 241 0 0 25 0 3 0 399575562 1784827904 410021 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21326/tid=21329] ppid=21324 vsize=1742996 CPUtime=1871.88
/proc/21326/task/21329/stat : 21329 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 179941 0 0 0 187027 161 0 0 25 0 3 0 399575562 1784827904 410021 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3770.58
Current children cumulated vsize (KiB) 1742996

[startup+1962.3 s]
/proc/loadavg: 2.06 2.06 1.80 3/80 21331
/proc/meminfo: memFree=15456/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=1742996 CPUtime=3890.32
/proc/21326/stat : 21326 (MiraXTv3_dyn) S 21324 21326 21252 0 -1 4194304 414983 0 0 0 388617 415 0 0 25 0 3 0 399575253 1784827904 410021 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21326/statm: 435749 410021 218 20 0 435107 0
[pid=21326/tid=21328] ppid=21324 vsize=1742996 CPUtime=1955.37
/proc/21326/task/21328/stat : 21328 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 214022 0 0 0 195296 241 0 0 25 0 3 0 399575562 1784827904 410021 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21326/tid=21329] ppid=21324 vsize=1742996 CPUtime=1931.85
/proc/21326/task/21329/stat : 21329 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 179941 0 0 0 193024 161 0 0 25 0 3 0 399575562 1784827904 410021 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526195 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3890.32
Current children cumulated vsize (KiB) 1742996

[startup+2022.3 s]
/proc/loadavg: 2.17 2.09 1.82 3/80 21331
/proc/meminfo: memFree=15456/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=1742996 CPUtime=4010.03
/proc/21326/stat : 21326 (MiraXTv3_dyn) S 21324 21326 21252 0 -1 4194304 414983 0 0 0 400588 415 0 0 25 0 3 0 399575253 1784827904 410021 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21326/statm: 435749 410021 218 20 0 435107 0
[pid=21326/tid=21328] ppid=21324 vsize=1742996 CPUtime=2015.14
/proc/21326/task/21328/stat : 21328 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 214022 0 0 0 201272 242 0 0 25 0 3 0 399575562 1784827904 410021 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134517144 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21326/tid=21329] ppid=21324 vsize=1742996 CPUtime=1991.8
/proc/21326/task/21329/stat : 21329 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 179941 0 0 0 199019 161 0 0 25 0 3 0 399575562 1784827904 410021 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4010.03
Current children cumulated vsize (KiB) 1742996

[startup+2082.31 s]
/proc/loadavg: 2.13 2.09 1.83 3/80 21331
/proc/meminfo: memFree=15264/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=1742996 CPUtime=4129.75
/proc/21326/stat : 21326 (MiraXTv3_dyn) S 21324 21326 21252 0 -1 4194304 415081 0 0 0 412559 416 0 0 25 0 3 0 399575253 1784827904 410119 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21326/statm: 435749 410119 218 20 0 435107 0
[pid=21326/tid=21328] ppid=21324 vsize=1742996 CPUtime=2074.9
/proc/21326/task/21328/stat : 21328 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 214023 0 0 0 207248 242 0 0 25 0 3 0 399575562 1784827904 410119 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21326/tid=21329] ppid=21324 vsize=1742996 CPUtime=2051.75
/proc/21326/task/21329/stat : 21329 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 180038 0 0 0 205014 161 0 0 25 0 3 0 399575562 1784827904 410119 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4129.75
Current children cumulated vsize (KiB) 1742996



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+2141.1 s]
/proc/loadavg: 2.15 2.10 1.85 3/80 21331
/proc/meminfo: memFree=15392/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=1843240 CPUtime=4246.8
/proc/21326/stat : 21326 (MiraXTv3_dyn) S 21324 21326 21252 0 -1 4194304 440042 0 0 0 424249 431 0 0 25 0 3 0 399575253 1887477760 435080 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21326/statm: 460810 435080 218 20 0 460168 0
[pid=21326/tid=21328] ppid=21324 vsize=1843240 CPUtime=2133.46
/proc/21326/task/21328/stat : 21328 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 214291 0 0 0 213103 243 0 0 25 0 3 0 399575562 1887477760 435080 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21326/tid=21329] ppid=21324 vsize=1843240 CPUtime=2110.24
/proc/21326/task/21329/stat : 21329 (MiraXTv3_dyn) R 21324 21326 21252 0 -1 4194368 204731 0 0 0 210848 176 0 0 25 0 3 0 399575562 1887477760 435080 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4246.8
Current children cumulated vsize (KiB) 1843240

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+2141.21 s]
/proc/loadavg: 2.15 2.10 1.85 3/80 21331
/proc/meminfo: memFree=15392/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=0 CPUtime=4246.91
/proc/21326/stat : 21326 (MiraXTv3_dyn) Z 21324 21326 21252 0 -1 4195340 440047 0 0 0 424250 441 0 0 16 0 2 0 399575253 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21326/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4246.91
Current children cumulated vsize (KiB) 0

[startup+2141.3 s]
/proc/loadavg: 2.15 2.10 1.85 3/80 21331
/proc/meminfo: memFree=15392/2055920 swapFree=4145760/4192956
[pid=21326] ppid=21324 vsize=0 CPUtime=4247
/proc/21326/stat : 21326 (MiraXTv3_dyn) Z 21324 21326 21252 0 -1 4195340 440047 0 0 0 424250 450 0 0 16 0 2 0 399575253 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21326/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4247
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2141.39
CPU time (s): 4247.09
CPU user time (s): 4242.5
CPU system time (s): 4.5863
CPU usage (%): 198.333
Max. virtual memory (cumulated for all children) (KiB): 1843240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4242.5
system time used= 4.5863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 440047
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= 849
involuntary context switches= 80400

runsolver used 2.20167 second user time and 5.64814 second system time

The end

Launcher Data (download as text)

Begin job on node1 on Tue May 15 13:22:54 UTC 2007

IDJOB= 459967
IDBENCH= 20386
IDSOLVER= 196
FILE ID= node1/459967-1179235373

PBS_JOBID= 5274531

Free space on /tmp= 66524 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf
COMMAND LINE= /tmp/evaluation/459967-1179235373/MiraXTv3_dyn /tmp/evaluation/459967-1179235373/instance-459967-1179235373.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-459967-1179235373 -o ROOT/results/node1/solver-459967-1179235373 -C 10000 -W 15000 -M 1800 --output-limit 1,15  /tmp/evaluation/459967-1179235373/MiraXTv3_dyn /tmp/evaluation/459967-1179235373/instance-459967-1179235373.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  8e22d84b1ae625d44fbf300a32374a2d

RANDOM SEED= 700517177

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB

Linux node1.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.234
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.234
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:       1460808 kB
Buffers:        134680 kB
Cached:         349812 kB
SwapCached:      14832 kB
Active:         208220 kB
Inactive:       301264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1460808 kB
SwapTotal:     4192956 kB
SwapFree:      4145760 kB
Dirty:           16760 kB
Writeback:           0 kB
Mapped:          29720 kB
Slab:            71168 kB
Committed_AS:  9827512 kB
PageTables:       1832 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= 66524 MiB

End job on node1 on Tue May 15 13:58:38 UTC 2007