Trace number 1543392

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
satake 2009-03-22? (TO) 1200.08 601.522

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/700/
unif-k5-r20-v700-c14000-S1313163883-027.cnf
MD5SUM4d7c374b44e6dc0e3274f37b66abba8f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark10.6114
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of clauses14000
Sum of the clauses size70000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 514000
Number of clauses of size over 50

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1543392-1238490943/watcher-1543392-1238490943 -o /tmp/evaluation-result-1543392-1238490943/solver-1543392-1238490943 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-own-ipc-queues HOME/satake HOME/instance-1543392-1238490943.cnf 3 1200 

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 0.99 1.00 3/64 3664
/proc/meminfo: memFree=1315928/2055924 swapFree=4176792/4192956
[pid=3664] ppid=3662 vsize=1480 CPUtime=0
/proc/3664/stat : 3664 (satake) S 3662 3664 3235 0 -1 4194304 231 0 0 0 0 0 0 0 18 0 4 0 1121760995 1515520 216 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3664/statm: 370 217 65 163 0 205 0
[pid=3664/tid=3665] ppid=3662 vsize=1480 CPUtime=0
/proc/3664/task/3665/stat : 3665 (satake) S 3662 3664 3235 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1121760995 1515520 218 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3664/tid=3666] ppid=3662 vsize=1624 CPUtime=0
/proc/3664/task/3666/stat : 3666 (satake) R 3662 3664 3235 0 -1 4194368 143 0 0 0 0 0 0 0 20 0 4 0 1121760995 1662976 218 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3664/tid=3667] ppid=3662 vsize=1624 CPUtime=0
/proc/3664/task/3667/stat : 3667 (satake) R 3662 3664 3235 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 4 0 1121760995 1662976 222 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.103272 s]
/proc/loadavg: 1.00 0.99 1.00 3/64 3664
/proc/meminfo: memFree=1315928/2055924 swapFree=4176792/4192956
[pid=3664] ppid=3662 vsize=4400 CPUtime=0.18
/proc/3664/stat : 3664 (satake) S 3662 3664 3235 0 -1 4194304 837 0 0 0 18 0 0 0 18 0 4 0 1121760995 4505600 658 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3664/statm: 1100 658 70 163 0 935 0
[pid=3664/tid=3665] ppid=3662 vsize=4400 CPUtime=0
/proc/3664/task/3665/stat : 3665 (satake) R 3662 3664 3235 0 -1 4194368 18 0 0 0 0 0 0 0 19 0 4 0 1121760995 4505600 658 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3664/tid=3666] ppid=3662 vsize=4400 CPUtime=0.09
/proc/3664/task/3666/stat : 3666 (satake) R 3662 3664 3235 0 -1 4194368 355 0 0 0 9 0 0 0 17 0 4 0 1121760995 4505600 658 1992294400 134512640 135180984 4294956208 18446744073709551615 134520036 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3664/tid=3667] ppid=3662 vsize=4400 CPUtime=0.08
/proc/3664/task/3667/stat : 3667 (satake) R 3662 3664 3235 0 -1 4194368 381 0 0 0 8 0 0 0 17 0 4 0 1121760995 4505600 658 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 4400

[startup+0.202281 s]
/proc/loadavg: 1.00 0.99 1.00 3/64 3664
/proc/meminfo: memFree=1315928/2055924 swapFree=4176792/4192956
[pid=3664] ppid=3662 vsize=5688 CPUtime=0.37
/proc/3664/stat : 3664 (satake) S 3662 3664 3235 0 -1 4194304 974 0 0 0 35 2 0 0 18 0 4 0 1121760995 5824512 795 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3664/statm: 1422 795 70 163 0 1257 0
[pid=3664/tid=3665] ppid=3662 vsize=5688 CPUtime=0
/proc/3664/task/3665/stat : 3665 (satake) R 3662 3664 3235 0 -1 4194368 19 0 0 0 0 0 0 0 19 0 4 0 1121760995 5824512 795 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3664/tid=3666] ppid=3662 vsize=5688 CPUtime=0.18
/proc/3664/task/3666/stat : 3666 (satake) R 3662 3664 3235 0 -1 4194368 424 0 0 0 18 0 0 0 18 0 4 0 1121760995 5824512 795 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3664/tid=3667] ppid=3662 vsize=5688 CPUtime=0.16
/proc/3664/task/3667/stat : 3667 (satake) R 3662 3664 3235 0 -1 4194368 448 0 0 0 16 0 0 0 18 0 4 0 1121760995 5824512 795 1992294400 134512640 135180984 4294956208 18446744073709551615 134526764 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 5688

[startup+0.302294 s]
/proc/loadavg: 1.00 0.99 1.00 3/64 3664
/proc/meminfo: memFree=1315928/2055924 swapFree=4176792/4192956
[pid=3664] ppid=3662 vsize=5952 CPUtime=0.57
/proc/3664/stat : 3664 (satake) S 3662 3664 3235 0 -1 4194304 1110 0 0 0 54 3 0 0 18 0 4 0 1121760995 6094848 931 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3664/statm: 1488 931 70 163 0 1323 0
[pid=3664/tid=3665] ppid=3662 vsize=5952 CPUtime=0.01
/proc/3664/task/3665/stat : 3665 (satake) S 3662 3664 3235 0 -1 4194368 21 0 0 0 0 1 0 0 16 0 4 0 1121760995 6094848 931 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=3664/tid=3666] ppid=3662 vsize=5952 CPUtime=0.28
/proc/3664/task/3666/stat : 3666 (satake) R 3662 3664 3235 0 -1 4194368 491 0 0 0 28 0 0 0 19 0 4 0 1121760995 6094848 931 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3664/tid=3667] ppid=3662 vsize=5952 CPUtime=0.25
/proc/3664/task/3667/stat : 3667 (satake) R 3662 3664 3235 0 -1 4194368 515 0 0 0 25 0 0 0 18 0 4 0 1121760995 6094848 931 1992294400 134512640 135180984 4294956208 18446744073709551615 134524643 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 5952

[startup+0.702341 s]
/proc/loadavg: 1.00 0.99 1.00 3/64 3664
/proc/meminfo: memFree=1315928/2055924 swapFree=4176792/4192956
[pid=3664] ppid=3662 vsize=7900 CPUtime=1.34
/proc/3664/stat : 3664 (satake) S 3662 3664 3235 0 -1 4194304 1591 0 0 0 126 8 0 0 18 0 4 0 1121760995 8089600 1412 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3664/statm: 1975 1412 70 163 0 1810 0
[pid=3664/tid=3665] ppid=3662 vsize=7900 CPUtime=0.03
/proc/3664/task/3665/stat : 3665 (satake) R 3662 3664 3235 0 -1 4194368 28 0 0 0 0 3 0 0 17 0 4 0 1121760995 8089600 1412 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3664/tid=3666] ppid=3662 vsize=7900 CPUtime=0.65
/proc/3664/task/3666/stat : 3666 (satake) R 3662 3664 3235 0 -1 4194368 716 0 0 0 63 2 0 0 16 0 4 0 1121760995 8089600 1412 1992294400 134512640 135180984 4294956208 18446744073709551615 134528209 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3664/tid=3667] ppid=3662 vsize=7900 CPUtime=0.63
/proc/3664/task/3667/stat : 3667 (satake) R 3662 3664 3235 0 -1 4194368 764 0 0 0 61 2 0 0 17 0 4 0 1121760995 8089600 1412 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 7900

[startup+1.50144 s]
/proc/loadavg: 1.16 1.02 1.01 3/68 3668
/proc/meminfo: memFree=1308792/2055924 swapFree=4176792/4192956
[pid=3664] ppid=3662 vsize=10548 CPUtime=2.91
/proc/3664/stat : 3664 (satake) S 3662 3664 3235 0 -1 4194304 2409 0 0 0 276 15 0 0 18 0 4 0 1121760995 10801152 2230 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3664/statm: 2637 2230 70 163 0 2472 0
[pid=3664/tid=3665] ppid=3662 vsize=10548 CPUtime=0.08
/proc/3664/task/3665/stat : 3665 (satake) S 3662 3664 3235 0 -1 4194368 34 0 0 0 1 7 0 0 16 0 4 0 1121760995 10801152 2230 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=3664/tid=3666] ppid=3662 vsize=10548 CPUtime=1.41
/proc/3664/task/3666/stat : 3666 (satake) R 3662 3664 3235 0 -1 4194368 1107 0 0 0 138 3 0 0 17 0 4 0 1121760995 10801152 2230 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3664/tid=3667] ppid=3662 vsize=10548 CPUtime=1.39
/proc/3664/task/3667/stat : 3667 (satake) R 3662 3664 3235 0 -1 4194368 1185 0 0 0 135 4 0 0 17 0 4 0 1121760995 10801152 2230 1992294400 134512640 135180984 4294956208 18446744073709551615 134528628 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 10548

[startup+3.10162 s]
/proc/loadavg: 1.16 1.02 1.01 3/68 3668
/proc/meminfo: memFree=1304568/2055924 swapFree=4176792/4192956
[pid=3664] ppid=3662 vsize=13124 CPUtime=6.09
/proc/3664/stat : 3664 (satake) S 3662 3664 3235 0 -1 4194304 3067 0 0 0 582 27 0 0 18 0 4 0 1121760995 13438976 2888 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3664/statm: 3281 2888 70 163 0 3116 0
[pid=3664/tid=3665] ppid=3662 vsize=13124 CPUtime=0.15
/proc/3664/task/3665/stat : 3665 (satake) S 3662 3664 3235 0 -1 4194368 43 0 0 0 3 12 0 0 16 0 4 0 1121760995 13438976 2888 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3664/tid=3666] ppid=3662 vsize=13124 CPUtime=2.97
/proc/3664/task/3666/stat : 3666 (satake) R 3662 3664 3235 0 -1 4194368 1448 0 0 0 291 6 0 0 17 0 4 0 1121760995 13438976 2888 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3664/tid=3667] ppid=3662 vsize=13124 CPUtime=2.95
/proc/3664/task/3667/stat : 3667 (satake) R 3662 3664 3235 0 -1 4194368 1493 0 0 0 287 8 0 0 17 0 4 0 1121760995 13438976 2888 1992294400 134512640 135180984 4294956208 18446744073709551615 134518224 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 13124

[startup+6.30199 s]
/proc/loadavg: 1.23 1.04 1.02 3/68 3668
/proc/meminfo: memFree=1301752/2055924 swapFree=4176792/4192956
[pid=3664] ppid=3662 vsize=16888 CPUtime=12.47
/proc/3664/stat : 3664 (satake) S 3662 3664 3235 0 -1 4194304 3880 0 0 0 1203 44 0 0 18 0 4 0 1121760995 17293312 3701 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3664/statm: 4222 3701 70 163 0 4057 0
[pid=3664/tid=3665] ppid=3662 vsize=16888 CPUtime=0.26
/proc/3664/task/3665/stat : 3665 (satake) S 3662 3664 3235 0 -1 4194368 61 0 0 0 6 20 0 0 16 0 4 0 1121760995 17293312 3701 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=3664/tid=3666] ppid=3662 vsize=16888 CPUtime=6.11
/proc/3664/task/3666/stat : 3666 (satake) R 3662 3664 3235 0 -1 4194368 1889 0 0 0 601 10 0 0 17 0 4 0 1121760995 17293312 3701 1992294400 134512640 135180984 4294956208 18446744073709551615 134528685 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3664/tid=3667] ppid=3662 vsize=16888 CPUtime=6.09
/proc/3664/task/3667/stat : 3667 (satake) R 3662 3664 3235 0 -1 4194368 1847 0 0 0 596 13 0 0 16 0 4 0 1121760995 17293312 3701 1992294400 134512640 135180984 4294956208 18446744073709551615 134528862 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 16888

[startup+12.7017 s]
/proc/loadavg: 1.29 1.05 1.02 3/68 3668
/proc/meminfo: memFree=1297976/2055924 swapFree=4176792/4192956
[pid=3664] ppid=3662 vsize=19904 CPUtime=25.22
/proc/3664/stat : 3664 (satake) S 3662 3664 3235 0 -1 4194304 4653 0 0 0 2447 75 0 0 18 0 4 0 1121760995 20381696 4474 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3664/statm: 4976 4474 70 163 0 4811 0
[pid=3664/tid=3665] ppid=3662 vsize=19904 CPUtime=0.41
/proc/3664/task/3665/stat : 3665 (satake) S 3662 3664 3235 0 -1 4194368 87 0 0 0 9 32 0 0 16 0 4 0 1121760995 20381696 4474 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=3664/tid=3666] ppid=3662 vsize=19904 CPUtime=12.4
/proc/3664/task/3666/stat : 3666 (satake) R 3662 3664 3235 0 -1 4194368 2360 0 0 0 1221 19 0 0 17 0 4 0 1121760995 20381696 4474 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3664/tid=3667] ppid=3662 vsize=19904 CPUtime=12.39
/proc/3664/task/3667/stat : 3667 (satake) R 3662 3664 3235 0 -1 4194368 2123 0 0 0 1216 23 0 0 17 0 4 0 1121760995 20381696 4474 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 19904

[startup+25.5022 s]
/proc/loadavg: 1.40 1.08 1.03 3/68 3668
/proc/meminfo: memFree=1294968/2055924 swapFree=4176792/4192956
[pid=3664] ppid=3662 vsize=22612 CPUtime=50.75
/proc/3664/stat : 3664 (satake) S 3662 3664 3235 0 -1 4194304 5439 0 0 0 4955 120 0 0 18 0 4 0 1121760995 23154688 5260 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3664/statm: 5653 5260 70 163 0 5488 0
[pid=3664/tid=3665] ppid=3662 vsize=22612 CPUtime=0.68
/proc/3664/task/3665/stat : 3665 (satake) S 3662 3664 3235 0 -1 4194368 106 0 0 0 16 52 0 0 16 0 4 0 1121760995 23154688 5260 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3664/tid=3666] ppid=3662 vsize=22612 CPUtime=25.04
/proc/3664/task/3666/stat : 3666 (satake) R 3662 3664 3235 0 -1 4194368 2583 0 0 0 2473 31 0 0 17 0 4 0 1121760995 23154688 5260 1992294400 134512640 135180984 4294956208 18446744073709551615 134519890 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3664/tid=3667] ppid=3662 vsize=22612 CPUtime=25.01
/proc/3664/task/3667/stat : 3667 (satake) R 3662 3664 3235 0 -1 4194368 2667 0 0 0 2465 36 0 0 17 0 4 0 1121760995 23154688 5260 1992294400 134512640 135180984 4294956208 18446744073709551615 134532508 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 22612

[startup+51.1022 s]
/proc/loadavg: 1.63 1.17 1.06 3/68 3668
/proc/meminfo: memFree=1290424/2055924 swapFree=4176792/4192956
[pid=3664] ppid=3662 vsize=26932 CPUtime=101.83
/proc/3664/stat : 3664 (satake) S 3662 3664 3235 0 -1 4194304 6555 0 0 0 9988 195 0 0 18 0 4 0 1121760995 27578368 6376 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3664/statm: 6733 6376 70 163 0 6568 0
[pid=3664/tid=3665] ppid=3662 vsize=26932 CPUtime=1.1
/proc/3664/task/3665/stat : 3665 (satake) S 3662 3664 3235 0 -1 4194368 118 0 0 0 25 85 0 0 16 0 4 0 1121760995 27578368 6376 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3664/tid=3666] ppid=3662 vsize=26932 CPUtime=50.41
/proc/3664/task/3666/stat : 3666 (satake) R 3662 3664 3235 0 -1 4194368 3281 0 0 0 4989 52 0 0 17 0 4 0 1121760995 27578368 6376 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=3664/tid=3667] ppid=3662 vsize=26932 CPUtime=50.3
/proc/3664/task/3667/stat : 3667 (satake) R 3662 3664 3235 0 -1 4194368 3073 0 0 0 4974 56 0 0 17 0 4 0 1121760995 27578368 6376 1992294400 134512640 135180984 4294956208 18446744073709551615 134528549 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 26932

[startup+102.301 s]
/proc/loadavg: 1.84 1.29 1.11 3/68 3668
/proc/meminfo: memFree=1284600/2055924 swapFree=4176792/4192956
[pid=3664] ppid=3662 vsize=33684 CPUtime=203.98
/proc/3664/stat : 3664 (satake) S 3662 3664 3235 0 -1 4194304 8038 0 0 0 20091 307 0 0 18 0 4 0 1121760995 34492416 7859 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3664/statm: 8421 7859 70 163 0 8256 0
[pid=3664/tid=3665] ppid=3662 vsize=33684 CPUtime=1.74
/proc/3664/task/3665/stat : 3665 (satake) S 3662 3664 3235 0 -1 4194368 157 0 0 0 39 135 0 0 16 0 4 0 1121760995 34492416 7859 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=3664/tid=3666] ppid=3662 vsize=33684 CPUtime=101.21
/proc/3664/task/3666/stat : 3666 (satake) R 3662 3664 3235 0 -1 4194368 3966 0 0 0 10039 82 0 0 17 0 4 0 1121760995 34492416 7859 1992294400 134512640 135180984 4294956208 18446744073709551615 134519925 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3664/tid=3667] ppid=3662 vsize=33684 CPUtime=101.01
/proc/3664/task/3667/stat : 3667 (satake) R 3662 3664 3235 0 -1 4194368 3832 0 0 0 10012 89 0 0 18 0 4 0 1121760995 34492416 7859 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.98
Current children cumulated vsize (KiB) 33684

[startup+162.301 s]
/proc/loadavg: 1.94 1.42 1.16 3/68 3668
/proc/meminfo: memFree=1279864/2055924 swapFree=4176792/4192956
[pid=3664] ppid=3662 vsize=37712 CPUtime=323.68
/proc/3664/stat : 3664 (satake) S 3662 3664 3235 0 -1 4194304 9166 0 0 0 31947 421 0 0 18 0 4 0 1121760995 38617088 8987 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3664/statm: 9428 8987 70 163 0 9263 0
[pid=3664/tid=3665] ppid=3662 vsize=37712 CPUtime=2.41
/proc/3664/task/3665/stat : 3665 (satake) S 3662 3664 3235 0 -1 4194368 174 0 0 0 53 188 0 0 16 0 4 0 1121760995 38617088 8987 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=3664/tid=3666] ppid=3662 vsize=37712 CPUtime=160.75
/proc/3664/task/3666/stat : 3666 (satake) R 3662 3664 3235 0 -1 4194368 4543 0 0 0 15961 114 0 0 17 0 4 0 1121760995 38617088 8987 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3664/tid=3667] ppid=3662 vsize=37712 CPUtime=160.51
/proc/3664/task/3667/stat : 3667 (satake) R 3662 3664 3235 0 -1 4194368 4366 0 0 0 15932 119 0 0 20 0 4 0 1121760995 38617088 8987 1992294400 134512640 135180984 4294956208 18446744073709551615 134528677 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.68
Current children cumulated vsize (KiB) 37712

[startup+222.306 s]
/proc/loadavg: 1.98 1.52 1.21 3/68 3668
/proc/meminfo: memFree=1276856/2055924 swapFree=4176792/4192956
[pid=3664] ppid=3662 vsize=41396 CPUtime=443.4
/proc/3664/stat : 3664 (satake) S 3662 3664 3235 0 -1 4194304 9949 0 0 0 43815 525 0 0 18 0 4 0 1121760995 42389504 9770 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3664/statm: 10349 9770 70 163 0 10184 0
[pid=3664/tid=3665] ppid=3662 vsize=41396 CPUtime=3.01
/proc/3664/task/3665/stat : 3665 (satake) S 3662 3664 3235 0 -1 4194368 205 0 0 0 68 233 0 0 16 0 4 0 1121760995 42389504 9770 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=3664/tid=3666] ppid=3662 vsize=41396 CPUtime=220.31
/proc/3664/task/3666/stat : 3666 (satake) R 3662 3664 3235 0 -1 4194368 4881 0 0 0 21887 144 0 0 17 0 4 0 1121760995 42389504 9770 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3664/tid=3667] ppid=3662 vsize=41396 CPUtime=220.06
/proc/3664/task/3667/stat : 3667 (satake) R 3662 3664 3235 0 -1 4194368 4780 0 0 0 21859 147 0 0 18 0 4 0 1121760995 42389504 9770 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.4
Current children cumulated vsize (KiB) 41396

[startup+282.302 s]
/proc/loadavg: 1.99 1.61 1.26 3/68 3668
/proc/meminfo: memFree=1273720/2055924 swapFree=4176792/4192956
[pid=3664] ppid=3662 vsize=43344 CPUtime=563.11
/proc/3664/stat : 3664 (satake) S 3662 3664 3235 0 -1 4194304 10746 0 0 0 55690 621 0 0 18 0 4 0 1121760995 44384256 10567 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3664/statm: 10836 10567 70 163 0 10671 0
[pid=3664/tid=3665] ppid=3662 vsize=43344 CPUtime=3.57
/proc/3664/task/3665/stat : 3665 (satake) S 3662 3664 3235 0 -1 4194368 226 0 0 0 79 278 0 0 16 0 4 0 1121760995 44384256 10567 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=3664/tid=3666] ppid=3662 vsize=43344 CPUtime=279.78
/proc/3664/task/3666/stat : 3666 (satake) R 3662 3664 3235 0 -1 4194368 5227 0 0 0 27810 168 0 0 18 0 4 0 1121760995 44384256 10567 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3664/tid=3667] ppid=3662 vsize=43344 CPUtime=279.73
/proc/3664/task/3667/stat : 3667 (satake) R 3662 3664 3235 0 -1 4194368 5210 0 0 0 27800 173 0 0 20 0 4 0 1121760995 44384256 10567 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.11
Current children cumulated vsize (KiB) 43344

[startup+342.302 s]
/proc/loadavg: 2.04 1.69 1.31 3/68 3668
/proc/meminfo: memFree=1270456/2055924 swapFree=4176792/4192956
[pid=3664] ppid=3662 vsize=48148 CPUtime=682.83
/proc/3664/stat : 3664 (satake) S 3662 3664 3235 0 -1 4194304 11532 0 0 0 67586 697 0 0 18 0 4 0 1121760995 49303552 11353 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3664/statm: 12037 11353 70 163 0 11872 0
[pid=3664/tid=3665] ppid=3662 vsize=48148 CPUtime=4
/proc/3664/task/3665/stat : 3665 (satake) S 3662 3664 3235 0 -1 4194368 242 0 0 0 89 311 0 0 16 0 4 0 1121760995 49303552 11353 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=3664/tid=3666] ppid=3662 vsize=48148 CPUtime=339.33
/proc/3664/task/3666/stat : 3666 (satake) R 3662 3664 3235 0 -1 4194368 5636 0 0 0 33742 191 0 0 19 0 4 0 1121760995 49303552 11353 1992294400 134512640 135180984 4294956208 18446744073709551615 134528669 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3664/tid=3667] ppid=3662 vsize=48148 CPUtime=339.48
/proc/3664/task/3667/stat : 3667 (satake) R 3662 3664 3235 0 -1 4194368 5571 0 0 0 33754 194 0 0 17 0 4 0 1121760995 49303552 11353 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.83
Current children cumulated vsize (KiB) 48148

[startup+402.302 s]
/proc/loadavg: 2.01 1.74 1.35 3/68 3668
/proc/meminfo: memFree=1268216/2055924 swapFree=4176792/4192956
[pid=3664] ppid=3662 vsize=50260 CPUtime=802.55
/proc/3664/stat : 3664 (satake) S 3662 3664 3235 0 -1 4194304 12115 0 0 0 79457 798 0 0 18 0 4 0 1121760995 51466240 11936 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3664/statm: 12565 11936 70 163 0 12400 0
[pid=3664/tid=3665] ppid=3662 vsize=50260 CPUtime=4.61
/proc/3664/task/3665/stat : 3665 (satake) S 3662 3664 3235 0 -1 4194368 251 0 0 0 103 358 0 0 16 0 4 0 1121760995 51466240 11936 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3664/tid=3666] ppid=3662 vsize=50260 CPUtime=398.78
/proc/3664/task/3666/stat : 3666 (satake) R 3662 3664 3235 0 -1 4194368 5893 0 0 0 39661 217 0 0 17 0 4 0 1121760995 51466240 11936 1992294400 134512640 135180984 4294956208 18446744073709551615 134518224 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3664/tid=3667] ppid=3662 vsize=50260 CPUtime=399.15
/proc/3664/task/3667/stat : 3667 (satake) R 3662 3664 3235 0 -1 4194368 5888 0 0 0 39693 222 0 0 19 0 4 0 1121760995 51466240 11936 1992294400 134512640 135180984 4294956208 18446744073709551615 134528425 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.55
Current children cumulated vsize (KiB) 50260

[startup+462.303 s]
/proc/loadavg: 2.00 1.79 1.38 3/68 3668
/proc/meminfo: memFree=1265464/2055924 swapFree=4176792/4192956
[pid=3664] ppid=3662 vsize=52736 CPUtime=922.29
/proc/3664/stat : 3664 (satake) S 3662 3664 3235 0 -1 4194304 12781 0 0 0 91354 875 0 0 18 0 4 0 1121760995 54001664 12602 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3664/statm: 13184 12602 70 163 0 13019 0
[pid=3664/tid=3665] ppid=3662 vsize=52736 CPUtime=5.06
/proc/3664/task/3665/stat : 3665 (satake) S 3662 3664 3235 0 -1 4194368 261 0 0 0 114 392 0 0 16 0 4 0 1121760995 54001664 12602 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=3664/tid=3666] ppid=3662 vsize=52736 CPUtime=458.31
/proc/3664/task/3666/stat : 3666 (satake) R 3662 3664 3235 0 -1 4194368 6185 0 0 0 45594 237 0 0 20 0 4 0 1121760995 54001664 12602 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3664/tid=3667] ppid=3662 vsize=52736 CPUtime=458.88
/proc/3664/task/3667/stat : 3667 (satake) R 3662 3664 3235 0 -1 4194368 6252 0 0 0 45644 244 0 0 17 0 4 0 1121760995 54001664 12602 1992294400 134512640 135180984 4294956208 18446744073709551615 134524570 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.29
Current children cumulated vsize (KiB) 52736

[startup+522.303 s]
/proc/loadavg: 2.00 1.82 1.42 3/68 3668
/proc/meminfo: memFree=1263800/2055924 swapFree=4176792/4192956
[pid=3664] ppid=3662 vsize=53892 CPUtime=1042.01
/proc/3664/stat : 3664 (satake) S 3662 3664 3235 0 -1 4194304 13216 0 0 0 103250 951 0 0 18 0 4 0 1121760995 55185408 13037 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3664/statm: 13473 13037 70 163 0 13308 0
[pid=3664/tid=3665] ppid=3662 vsize=53892 CPUtime=5.53
/proc/3664/task/3665/stat : 3665 (satake) S 3662 3664 3235 0 -1 4194368 278 0 0 0 125 428 0 0 16 0 4 0 1121760995 55185408 13037 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3664/tid=3666] ppid=3662 vsize=53892 CPUtime=517.86
/proc/3664/task/3666/stat : 3666 (satake) R 3662 3664 3235 0 -1 4194368 6241 0 0 0 51528 258 0 0 18 0 4 0 1121760995 55185408 13037 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3664/tid=3667] ppid=3662 vsize=53892 CPUtime=518.6
/proc/3664/task/3667/stat : 3667 (satake) R 3662 3664 3235 0 -1 4194368 6614 0 0 0 51596 264 0 0 19 0 4 0 1121760995 55185408 13037 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1042.01
Current children cumulated vsize (KiB) 53892

[startup+582.303 s]
/proc/loadavg: 2.10 1.88 1.46 3/68 3668
/proc/meminfo: memFree=1262840/2055924 swapFree=4176792/4192956
[pid=3664] ppid=3662 vsize=55584 CPUtime=1161.72
/proc/3664/stat : 3664 (satake) S 3662 3664 3235 0 -1 4194304 13459 0 0 0 115137 1035 0 0 18 0 4 0 1121760995 56918016 13280 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3664/statm: 13896 13280 70 163 0 13731 0
[pid=3664/tid=3665] ppid=3662 vsize=55584 CPUtime=6.02
/proc/3664/task/3665/stat : 3665 (satake) S 3662 3664 3235 0 -1 4194368 329 0 0 0 136 466 0 0 16 0 4 0 1121760995 56918016 13280 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3664/tid=3666] ppid=3662 vsize=55584 CPUtime=577.37
/proc/3664/task/3666/stat : 3666 (satake) R 3662 3664 3235 0 -1 4194368 6430 0 0 0 57458 279 0 0 17 0 4 0 1121760995 56918016 13280 1992294400 134512640 135180984 4294956208 18446744073709551615 134528644 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3664/tid=3667] ppid=3662 vsize=55584 CPUtime=578.32
/proc/3664/task/3667/stat : 3667 (satake) R 3662 3664 3235 0 -1 4194368 6617 0 0 0 57542 290 0 0 21 0 4 0 1121760995 56918016 13280 1992294400 134512640 135180984 4294956208 18446744073709551615 134528680 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.72
Current children cumulated vsize (KiB) 55584



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.501 s]
/proc/loadavg: 2.15 1.91 1.48 3/68 3668
/proc/meminfo: memFree=1261112/2055924 swapFree=4176792/4192956
[pid=3664] ppid=3662 vsize=57036 CPUtime=1200.04
/proc/3664/stat : 3664 (satake) S 3662 3664 3235 0 -1 4194304 13877 0 0 0 118943 1061 0 0 18 0 4 0 1121760995 58404864 13698 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3664/statm: 14259 13698 70 163 0 14094 0
[pid=3664/tid=3665] ppid=3662 vsize=57036 CPUtime=6.17
/proc/3664/task/3665/stat : 3665 (satake) S 3662 3664 3235 0 -1 4194368 334 0 0 0 140 477 0 0 16 0 4 0 1121760995 58404864 13698 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=3664/tid=3666] ppid=3662 vsize=57036 CPUtime=596.42
/proc/3664/task/3666/stat : 3666 (satake) R 3662 3664 3235 0 -1 4194368 6789 0 0 0 59356 286 0 0 16 0 4 0 1121760995 58404864 13698 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=3664/tid=3667] ppid=3662 vsize=57036 CPUtime=597.43
/proc/3664/task/3667/stat : 3667 (satake) R 3662 3664 3235 0 -1 4194368 6671 0 0 0 59446 297 0 0 17 0 4 0 1121760995 58404864 13698 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 57036

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): 601.522
CPU time (s): 1200.08
CPU user time (s): 1189.45
CPU system time (s): 10.6284
CPU usage (%): 199.507
Max. virtual memory (cumulated for all children) (KiB): 57036

deleting IPC queue 0
deleting IPC queue 32769
deleting IPC queue 65538
deleting IPC queue 98307
deleting IPC queue 196614

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1189.45
system time used= 10.6284
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13877
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= 816341
involuntary context switches= 809077

runsolver used 0.478927 second user time and 1.71874 second system time

The end

Launcher Data 

Begin job on node6 at 2009-03-31 11:15:43
IDJOB=1543392
IDBENCH=70233
IDSOLVER=553
FILE ID=node6/1543392-1238490943
PBS_JOBID= 9061839
Free space on /tmp= 66340 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/700/unif-k5-r20-v700-c14000-S1313163883-027.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543392-1238490943/watcher-1543392-1238490943 -o /tmp/evaluation-result-1543392-1238490943/solver-1543392-1238490943 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-own-ipc-queues HOME/satake HOME/instance-1543392-1238490943.cnf 3 1200

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

MD5SUM BENCH= 4d7c374b44e6dc0e3274f37b66abba8f
RANDOM SEED=658826351

node6.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.236
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.236
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:      2055924 kB
MemFree:       1316408 kB
Buffers:        111884 kB
Cached:         518744 kB
SwapCached:       9932 kB
Active:         182356 kB
Inactive:       461748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1316408 kB
SwapTotal:     4192956 kB
SwapFree:      4176792 kB
Dirty:            1076 kB
Writeback:           0 kB
Mapped:          19168 kB
Slab:            81424 kB
Committed_AS:  2912232 kB
PageTables:       1464 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= 66340 MiB
End job on node6 at 2009-03-31 11:25:46