Trace number 1543527

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.1 601.448

General information on the benchmark

NameRANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S221596758-009.cnf
MD5SUM4e7f5c25a1af5225c3ae5cd2b08760df
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark25.2122
Satisfiable
(Un)Satisfiability was proved
Number of variables12000
Number of clauses50400
Sum of the clauses size151200
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 350400
Number of clauses of size 40
Number of clauses of size 50
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-1543527-1238493003/watcher-1543527-1238493003 -o /tmp/evaluation-result-1543527-1238493003/solver-1543527-1238493003 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543527-1238493003.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 1.00 1.12 3/64 29356
/proc/meminfo: memFree=1544728/2055920 swapFree=4177692/4192956
[pid=29356] ppid=29354 vsize=3316 CPUtime=0
/proc/29356/stat : 29356 (satake) S 29354 29356 28997 0 -1 4194304 493 0 0 0 0 0 0 0 18 0 4 0 1121966554 3395584 478 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29356/statm: 829 480 65 163 0 664 0
[pid=29356/tid=29357] ppid=29354 vsize=3464 CPUtime=0
/proc/29356/task/29357/stat : 29357 (satake) S 29354 29356 28997 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1121966554 3547136 490 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29356/tid=29358] ppid=29354 vsize=3464 CPUtime=0
/proc/29356/task/29358/stat : 29358 (satake) R 29354 29356 28997 0 -1 4194368 420 0 0 0 0 0 0 0 19 0 4 0 1121966554 3547136 495 1992294400 134512640 135180984 4294956208 18446744073709551615 134522598 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29356/tid=29359] ppid=29354 vsize=3464 CPUtime=0
/proc/29356/task/29359/stat : 29359 (satake) R 29354 29356 28997 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 1121966554 3547136 496 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0783471 s]
/proc/loadavg: 1.00 1.00 1.12 3/64 29356
/proc/meminfo: memFree=1544728/2055920 swapFree=4177692/4192956
[pid=29356] ppid=29354 vsize=9944 CPUtime=0.14
/proc/29356/stat : 29356 (satake) S 29354 29356 28997 0 -1 4194304 2341 0 0 0 12 2 0 0 18 0 4 0 1121966554 10182656 1864 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29356/statm: 2486 1864 68 163 0 2321 0
[pid=29356/tid=29357] ppid=29354 vsize=9944 CPUtime=0
/proc/29356/task/29357/stat : 29357 (satake) S 29354 29356 28997 0 -1 4194368 217 0 0 0 0 0 0 0 17 0 4 0 1121966554 10182656 1864 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=29356/tid=29358] ppid=29354 vsize=9944 CPUtime=0.06
/proc/29356/task/29358/stat : 29358 (satake) R 29354 29356 28997 0 -1 4194368 992 0 0 0 6 0 0 0 16 0 4 0 1121966554 10182656 1864 1992294400 134512640 135180984 4294956208 18446744073709551615 134579745 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29356/tid=29359] ppid=29354 vsize=9944 CPUtime=0.06
/proc/29356/task/29359/stat : 29359 (satake) R 29354 29356 28997 0 -1 4194368 1049 0 0 0 5 1 0 0 16 0 4 0 1121966554 10182656 1864 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 9944

[startup+0.102402 s]
/proc/loadavg: 1.00 1.00 1.12 3/64 29356
/proc/meminfo: memFree=1544728/2055920 swapFree=4177692/4192956
[pid=29356] ppid=29354 vsize=10076 CPUtime=0.18
/proc/29356/stat : 29356 (satake) S 29354 29356 28997 0 -1 4194304 2395 0 0 0 16 2 0 0 18 0 4 0 1121966554 10317824 1918 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29356/statm: 2519 1918 68 163 0 2354 0
[pid=29356/tid=29357] ppid=29354 vsize=10076 CPUtime=0
/proc/29356/task/29357/stat : 29357 (satake) S 29354 29356 28997 0 -1 4194368 217 0 0 0 0 0 0 0 17 0 4 0 1121966554 10317824 1918 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=29356/tid=29358] ppid=29354 vsize=10076 CPUtime=0.08
/proc/29356/task/29358/stat : 29358 (satake) R 29354 29356 28997 0 -1 4194368 1014 0 0 0 8 0 0 0 17 0 4 0 1121966554 10317824 1918 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29356/tid=29359] ppid=29354 vsize=10076 CPUtime=0.08
/proc/29356/task/29359/stat : 29359 (satake) R 29354 29356 28997 0 -1 4194368 1081 0 0 0 7 1 0 0 16 0 4 0 1121966554 10317824 1918 1992294400 134512640 135180984 4294956208 18446744073709551615 134691935 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10076

[startup+0.301336 s]
/proc/loadavg: 1.00 1.00 1.12 3/64 29356
/proc/meminfo: memFree=1544728/2055920 swapFree=4177692/4192956
[pid=29356] ppid=29354 vsize=11364 CPUtime=0.58
/proc/29356/stat : 29356 (satake) S 29354 29356 28997 0 -1 4194304 2559 0 0 0 55 3 0 0 18 0 4 0 1121966554 11636736 2082 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29356/statm: 2841 2082 70 163 0 2676 0
[pid=29356/tid=29357] ppid=29354 vsize=11364 CPUtime=0
/proc/29356/task/29357/stat : 29357 (satake) S 29354 29356 28997 0 -1 4194368 219 0 0 0 0 0 0 0 16 0 4 0 1121966554 11636736 2082 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29356/tid=29358] ppid=29354 vsize=11364 CPUtime=0.28
/proc/29356/task/29358/stat : 29358 (satake) R 29354 29356 28997 0 -1 4194368 1098 0 0 0 27 1 0 0 17 0 4 0 1121966554 11636736 2082 1992294400 134512640 135180984 4294956208 18446744073709551615 134518219 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29356/tid=29359] ppid=29354 vsize=11364 CPUtime=0.28
/proc/29356/task/29359/stat : 29359 (satake) R 29354 29356 28997 0 -1 4194368 1159 0 0 0 27 1 0 0 17 0 4 0 1121966554 11636736 2082 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 11364

[startup+0.70139 s]
/proc/loadavg: 1.00 1.00 1.12 3/64 29356
/proc/meminfo: memFree=1544728/2055920 swapFree=4177692/4192956
[pid=29356] ppid=29354 vsize=12024 CPUtime=1.38
/proc/29356/stat : 29356 (satake) S 29354 29356 28997 0 -1 4194304 2828 0 0 0 132 6 0 0 18 0 4 0 1121966554 12312576 2351 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29356/statm: 3006 2351 70 163 0 2841 0
[pid=29356/tid=29357] ppid=29354 vsize=12024 CPUtime=0.01
/proc/29356/task/29357/stat : 29357 (satake) S 29354 29356 28997 0 -1 4194368 222 0 0 0 0 1 0 0 16 0 4 0 1121966554 12312576 2351 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=29356/tid=29358] ppid=29354 vsize=12024 CPUtime=0.66
/proc/29356/task/29358/stat : 29358 (satake) R 29354 29356 28997 0 -1 4194368 1242 0 0 0 65 1 0 0 18 0 4 0 1121966554 12312576 2351 1992294400 134512640 135180984 4294956208 18446744073709551615 134525228 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29356/tid=29359] ppid=29354 vsize=12024 CPUtime=0.67
/proc/29356/task/29359/stat : 29359 (satake) R 29354 29356 28997 0 -1 4194368 1281 0 0 0 65 2 0 0 17 0 4 0 1121966554 12312576 2351 1992294400 134512640 135180984 4294956208 18446744073709551615 134528431 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 12024

[startup+1.5015 s]
/proc/loadavg: 1.00 1.00 1.12 3/68 29360
/proc/meminfo: memFree=1534712/2055920 swapFree=4177692/4192956
[pid=29356] ppid=29354 vsize=14236 CPUtime=2.98
/proc/29356/stat : 29356 (satake) S 29354 29356 28997 0 -1 4194304 3355 0 0 0 288 10 0 0 18 0 4 0 1121966554 14577664 2878 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29356/statm: 3559 2878 70 163 0 3394 0
[pid=29356/tid=29357] ppid=29354 vsize=14236 CPUtime=0.04
/proc/29356/task/29357/stat : 29357 (satake) S 29354 29356 28997 0 -1 4194368 226 0 0 0 1 3 0 0 16 0 4 0 1121966554 14577664 2878 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=29356/tid=29358] ppid=29354 vsize=14236 CPUtime=1.45
/proc/29356/task/29358/stat : 29358 (satake) R 29354 29356 28997 0 -1 4194368 1514 0 0 0 143 2 0 0 17 0 4 0 1121966554 14577664 2878 1992294400 134512640 135180984 4294956208 18446744073709551615 134523775 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29356/tid=29359] ppid=29354 vsize=14236 CPUtime=1.46
/proc/29356/task/29359/stat : 29359 (satake) R 29354 29356 28997 0 -1 4194368 1532 0 0 0 143 3 0 0 17 0 4 0 1121966554 14577664 2878 1992294400 134512640 135180984 4294956208 18446744073709551615 134528881 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 14236

[startup+3.1017 s]
/proc/loadavg: 1.08 1.02 1.13 3/68 29360
/proc/meminfo: memFree=1531512/2055920 swapFree=4177692/4192956
[pid=29356] ppid=29354 vsize=19188 CPUtime=6.16
/proc/29356/stat : 29356 (satake) S 29354 29356 28997 0 -1 4194304 4638 0 0 0 600 16 0 0 18 0 4 0 1121966554 19648512 4161 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29356/statm: 4797 4161 70 163 0 4632 0
[pid=29356/tid=29357] ppid=29354 vsize=19188 CPUtime=0.07
/proc/29356/task/29357/stat : 29357 (satake) S 29354 29356 28997 0 -1 4194368 229 0 0 0 2 5 0 0 16 0 4 0 1121966554 19648512 4161 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29356/tid=29358] ppid=29354 vsize=19188 CPUtime=3.04
/proc/29356/task/29358/stat : 29358 (satake) R 29354 29356 28997 0 -1 4194368 2171 0 0 0 299 5 0 0 17 0 4 0 1121966554 19648512 4161 1992294400 134512640 135180984 4294956208 18446744073709551615 134527284 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29356/tid=29359] ppid=29354 vsize=19188 CPUtime=3.05
/proc/29356/task/29359/stat : 29359 (satake) R 29354 29356 28997 0 -1 4194368 2155 0 0 0 299 6 0 0 18 0 4 0 1121966554 19648512 4161 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 19188

[startup+6.30213 s]
/proc/loadavg: 1.08 1.02 1.13 3/68 29360
/proc/meminfo: memFree=1521336/2055920 swapFree=4177692/4192956
[pid=29356] ppid=29354 vsize=29120 CPUtime=12.55
/proc/29356/stat : 29356 (satake) S 29354 29356 28997 0 -1 4194304 6991 0 0 0 1226 29 0 0 18 0 4 0 1121966554 29818880 6514 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29356/statm: 7280 6514 70 163 0 7115 0
[pid=29356/tid=29357] ppid=29354 vsize=29120 CPUtime=0.11
/proc/29356/task/29357/stat : 29357 (satake) S 29354 29356 28997 0 -1 4194368 240 0 0 0 2 9 0 0 15 0 4 0 1121966554 29818880 6514 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=29356/tid=29358] ppid=29354 vsize=29120 CPUtime=6.21
/proc/29356/task/29358/stat : 29358 (satake) R 29354 29356 28997 0 -1 4194368 3390 0 0 0 612 9 0 0 17 0 4 0 1121966554 29818880 6514 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29356/tid=29359] ppid=29354 vsize=29120 CPUtime=6.21
/proc/29356/task/29359/stat : 29359 (satake) R 29354 29356 28997 0 -1 4194368 3278 0 0 0 611 10 0 0 17 0 4 0 1121966554 29818880 6514 1992294400 134512640 135180984 4294956208 18446744073709551615 134525462 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 29120

[startup+12.702 s]
/proc/loadavg: 1.15 1.03 1.13 3/68 29360
/proc/meminfo: memFree=1504504/2055920 swapFree=4177692/4192956
[pid=29356] ppid=29354 vsize=44108 CPUtime=25.32
/proc/29356/stat : 29356 (satake) S 29354 29356 28997 0 -1 4194304 10886 0 0 0 2484 48 0 0 18 0 4 0 1121966554 45166592 10409 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29356/statm: 11027 10409 70 163 0 10862 0
[pid=29356/tid=29357] ppid=29354 vsize=44108 CPUtime=0.19
/proc/29356/task/29357/stat : 29357 (satake) S 29354 29356 28997 0 -1 4194368 258 0 0 0 4 15 0 0 16 0 4 0 1121966554 45166592 10409 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29356/tid=29358] ppid=29354 vsize=44108 CPUtime=12.56
/proc/29356/task/29358/stat : 29358 (satake) R 29354 29356 28997 0 -1 4194368 5290 0 0 0 1241 15 0 0 17 0 4 0 1121966554 45166592 10409 1992294400 134512640 135180984 4294956208 18446744073709551615 134525209 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29356/tid=29359] ppid=29354 vsize=44108 CPUtime=12.55
/proc/29356/task/29359/stat : 29359 (satake) R 29354 29356 28997 0 -1 4194368 5255 0 0 0 1238 17 0 0 17 0 4 0 1121966554 45166592 10409 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 44108

[startup+25.5027 s]
/proc/loadavg: 1.34 1.08 1.15 3/68 29360
/proc/meminfo: memFree=1475832/2055920 swapFree=4177692/4192956
[pid=29356] ppid=29354 vsize=71944 CPUtime=50.86
/proc/29356/stat : 29356 (satake) S 29354 29356 28997 0 -1 4194304 17825 0 0 0 5004 82 0 0 18 0 4 0 1121966554 73670656 17348 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29356/statm: 17986 17348 70 163 0 17821 0
[pid=29356/tid=29357] ppid=29354 vsize=71944 CPUtime=0.34
/proc/29356/task/29357/stat : 29357 (satake) S 29354 29356 28997 0 -1 4194368 297 0 0 0 7 27 0 0 16 0 4 0 1121966554 73670656 17348 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29356/tid=29358] ppid=29354 vsize=71944 CPUtime=25.27
/proc/29356/task/29358/stat : 29358 (satake) R 29354 29356 28997 0 -1 4194368 8751 0 0 0 2503 24 0 0 18 0 4 0 1121966554 73670656 17348 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29356/tid=29359] ppid=29354 vsize=71944 CPUtime=25.22
/proc/29356/task/29359/stat : 29359 (satake) R 29354 29356 28997 0 -1 4194368 8694 0 0 0 2493 29 0 0 18 0 4 0 1121966554 73670656 17348 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 71944

[startup+51.103 s]
/proc/loadavg: 1.56 1.15 1.17 3/68 29360
/proc/meminfo: memFree=1430200/2055920 swapFree=4177692/4192956
[pid=29356] ppid=29354 vsize=118548 CPUtime=101.95
/proc/29356/stat : 29356 (satake) S 29354 29356 28997 0 -1 4194304 29254 0 0 0 10074 121 0 0 18 0 4 0 1121966554 121393152 28777 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29356/statm: 29637 28777 70 163 0 29472 0
[pid=29356/tid=29357] ppid=29354 vsize=118548 CPUtime=0.48
/proc/29356/task/29357/stat : 29357 (satake) S 29354 29356 28997 0 -1 4194368 335 0 0 0 12 36 0 0 16 0 4 0 1121966554 121393152 28777 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29356/tid=29358] ppid=29354 vsize=118548 CPUtime=50.79
/proc/29356/task/29358/stat : 29358 (satake) R 29354 29356 28997 0 -1 4194368 14811 0 0 0 5040 39 0 0 25 0 4 0 1121966554 121393152 28777 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29356/tid=29359] ppid=29354 vsize=118548 CPUtime=50.65
/proc/29356/task/29359/stat : 29359 (satake) R 29354 29356 28997 0 -1 4194368 14025 0 0 0 5021 44 0 0 19 0 4 0 1121966554 121393152 28777 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 118548

[startup+102.307 s]
/proc/loadavg: 1.82 1.29 1.21 3/68 29360
/proc/meminfo: memFree=1419256/2055920 swapFree=4177692/4192956
[pid=29356] ppid=29354 vsize=128452 CPUtime=204.11
/proc/29356/stat : 29356 (satake) S 29354 29356 28997 0 -1 4194304 31765 0 0 0 20241 170 0 0 18 0 4 0 1121966554 131534848 31288 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29356/statm: 32113 31288 70 163 0 31948 0
[pid=29356/tid=29357] ppid=29354 vsize=128452 CPUtime=0.74
/proc/29356/task/29357/stat : 29357 (satake) S 29354 29356 28997 0 -1 4194368 361 0 0 0 18 56 0 0 16 0 4 0 1121966554 131534848 31288 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=29356/tid=29358] ppid=29354 vsize=128452 CPUtime=101.82
/proc/29356/task/29358/stat : 29358 (satake) R 29354 29356 28997 0 -1 4194368 16097 0 0 0 10129 53 0 0 18 0 4 0 1121966554 131534848 31288 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29356/tid=29359] ppid=29354 vsize=128452 CPUtime=101.53
/proc/29356/task/29359/stat : 29359 (satake) R 29354 29356 28997 0 -1 4194368 15224 0 0 0 10093 60 0 0 17 0 4 0 1121966554 131534848 31288 1992294400 134512640 135180984 4294956208 18446744073709551615 134528428 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 128452

[startup+162.303 s]
/proc/loadavg: 1.93 1.41 1.26 3/68 29360
/proc/meminfo: memFree=1374840/2055920 swapFree=4177692/4192956
[pid=29356] ppid=29354 vsize=171640 CPUtime=323.83
/proc/29356/stat : 29356 (satake) S 29354 29356 28997 0 -1 4194304 42826 0 0 0 32155 228 0 0 18 0 4 0 1121966554 175759360 42349 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29356/statm: 42910 42349 70 163 0 42745 0
[pid=29356/tid=29357] ppid=29354 vsize=171640 CPUtime=0.95
/proc/29356/task/29357/stat : 29357 (satake) S 29354 29356 28997 0 -1 4194368 398 0 0 0 23 72 0 0 16 0 4 0 1121966554 175759360 42349 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29356/tid=29358] ppid=29354 vsize=171640 CPUtime=161.69
/proc/29356/task/29358/stat : 29358 (satake) R 29354 29356 28997 0 -1 4194368 22105 0 0 0 16096 73 0 0 18 0 4 0 1121966554 175759360 42349 1992294400 134512640 135180984 4294956208 18446744073709551615 134518256 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29356/tid=29359] ppid=29354 vsize=171640 CPUtime=161.16
/proc/29356/task/29359/stat : 29359 (satake) R 29354 29356 28997 0 -1 4194368 20240 0 0 0 16035 81 0 0 17 0 4 0 1121966554 175759360 42349 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.83
Current children cumulated vsize (KiB) 171640

[startup+222.303 s]
/proc/loadavg: 1.97 1.52 1.30 3/68 29360
/proc/meminfo: memFree=1374776/2055920 swapFree=4177692/4192956
[pid=29356] ppid=29354 vsize=171640 CPUtime=443.55
/proc/29356/stat : 29356 (satake) S 29354 29356 28997 0 -1 4194304 42854 0 0 0 44090 265 0 0 18 0 4 0 1121966554 175759360 42377 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29356/statm: 42910 42377 70 163 0 42745 0
[pid=29356/tid=29357] ppid=29354 vsize=171640 CPUtime=1.19
/proc/29356/task/29357/stat : 29357 (satake) S 29354 29356 28997 0 -1 4194368 408 0 0 0 29 90 0 0 16 0 4 0 1121966554 175759360 42377 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=29356/tid=29358] ppid=29354 vsize=171640 CPUtime=221.54
/proc/29356/task/29358/stat : 29358 (satake) R 29354 29356 28997 0 -1 4194368 22109 0 0 0 22071 83 0 0 25 0 4 0 1121966554 175759360 42377 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29356/tid=29359] ppid=29354 vsize=171640 CPUtime=220.79
/proc/29356/task/29359/stat : 29359 (satake) R 29354 29356 28997 0 -1 4194368 20254 0 0 0 21989 90 0 0 25 0 4 0 1121966554 175759360 42377 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.55
Current children cumulated vsize (KiB) 171640

[startup+282.302 s]
/proc/loadavg: 1.99 1.60 1.34 3/68 29360
/proc/meminfo: memFree=1345592/2055920 swapFree=4177692/4192956
[pid=29356] ppid=29354 vsize=201300 CPUtime=563.28
/proc/29356/stat : 29356 (satake) S 29354 29356 28997 0 -1 4194304 50155 0 0 0 56028 300 0 0 18 0 4 0 1121966554 206131200 49678 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29356/statm: 50325 49678 70 163 0 50160 0
[pid=29356/tid=29357] ppid=29354 vsize=201300 CPUtime=1.33
/proc/29356/task/29357/stat : 29357 (satake) S 29354 29356 28997 0 -1 4194368 426 0 0 0 33 100 0 0 16 0 4 0 1121966554 206131200 49678 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29356/tid=29358] ppid=29354 vsize=201300 CPUtime=281.45
/proc/29356/task/29358/stat : 29358 (satake) R 29354 29356 28997 0 -1 4194368 25406 0 0 0 28049 96 0 0 25 0 4 0 1121966554 206131200 49678 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29356/tid=29359] ppid=29354 vsize=201300 CPUtime=280.49
/proc/29356/task/29359/stat : 29359 (satake) R 29354 29356 28997 0 -1 4194368 24240 0 0 0 27945 104 0 0 17 0 4 0 1121966554 206131200 49678 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.28
Current children cumulated vsize (KiB) 201300

[startup+342.301 s]
/proc/loadavg: 1.99 1.67 1.38 3/68 29360
/proc/meminfo: memFree=1344952/2055920 swapFree=4177692/4192956
[pid=29356] ppid=29354 vsize=201300 CPUtime=683.01
/proc/29356/stat : 29356 (satake) S 29354 29356 28997 0 -1 4194304 50301 0 0 0 67957 344 0 0 18 0 4 0 1121966554 206131200 49824 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29356/statm: 50325 49824 70 163 0 50160 0
[pid=29356/tid=29357] ppid=29354 vsize=201300 CPUtime=1.59
/proc/29356/task/29357/stat : 29357 (satake) S 29354 29356 28997 0 -1 4194368 479 0 0 0 40 119 0 0 16 0 4 0 1121966554 206131200 49824 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=29356/tid=29358] ppid=29354 vsize=201300 CPUtime=341.29
/proc/29356/task/29358/stat : 29358 (satake) R 29354 29356 28997 0 -1 4194368 25446 0 0 0 34021 108 0 0 25 0 4 0 1121966554 206131200 49824 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29356/tid=29359] ppid=29354 vsize=201300 CPUtime=340.11
/proc/29356/task/29359/stat : 29359 (satake) R 29354 29356 28997 0 -1 4194368 24293 0 0 0 33895 116 0 0 24 0 4 0 1121966554 206131200 49824 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 683.01
Current children cumulated vsize (KiB) 201300

[startup+402.301 s]
/proc/loadavg: 1.99 1.73 1.41 3/68 29360
/proc/meminfo: memFree=1339448/2055920 swapFree=4177692/4192956
[pid=29356] ppid=29354 vsize=208112 CPUtime=802.73
/proc/29356/stat : 29356 (satake) S 29354 29356 28997 0 -1 4194304 51672 0 0 0 79905 368 0 0 18 0 4 0 1121966554 213106688 51195 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29356/statm: 52028 51195 70 163 0 51863 0
[pid=29356/tid=29357] ppid=29354 vsize=208112 CPUtime=1.72
/proc/29356/task/29357/stat : 29357 (satake) S 29354 29356 28997 0 -1 4194368 499 0 0 0 43 129 0 0 15 0 4 0 1121966554 213106688 51195 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=29356/tid=29358] ppid=29354 vsize=208112 CPUtime=401.19
/proc/29356/task/29358/stat : 29358 (satake) R 29354 29356 28997 0 -1 4194368 26523 0 0 0 40003 116 0 0 17 0 4 0 1121966554 213106688 51195 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29356/tid=29359] ppid=29354 vsize=208112 CPUtime=399.8
/proc/29356/task/29359/stat : 29359 (satake) R 29354 29356 28997 0 -1 4194368 24567 0 0 0 39858 122 0 0 17 0 4 0 1121966554 213106688 51195 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.73
Current children cumulated vsize (KiB) 208112

[startup+462.301 s]
/proc/loadavg: 1.99 1.77 1.45 3/68 29360
/proc/meminfo: memFree=1339128/2055920 swapFree=4177692/4192956
[pid=29356] ppid=29354 vsize=208112 CPUtime=922.47
/proc/29356/stat : 29356 (satake) S 29354 29356 28997 0 -1 4194304 51769 0 0 0 91852 395 0 0 18 0 4 0 1121966554 213106688 51292 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29356/statm: 52028 51292 70 163 0 51863 0
[pid=29356/tid=29357] ppid=29354 vsize=208112 CPUtime=1.89
/proc/29356/task/29357/stat : 29357 (satake) S 29354 29356 28997 0 -1 4194368 528 0 0 0 48 141 0 0 16 0 4 0 1121966554 213106688 51292 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29356/tid=29358] ppid=29354 vsize=208112 CPUtime=461.09
/proc/29356/task/29358/stat : 29358 (satake) R 29354 29356 28997 0 -1 4194368 26558 0 0 0 45987 122 0 0 25 0 4 0 1121966554 213106688 51292 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29356/tid=29359] ppid=29354 vsize=208112 CPUtime=459.46
/proc/29356/task/29359/stat : 29359 (satake) R 29354 29356 28997 0 -1 4194368 24600 0 0 0 45816 130 0 0 25 0 4 0 1121966554 213106688 51292 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.47
Current children cumulated vsize (KiB) 208112

[startup+522.301 s]
/proc/loadavg: 1.99 1.81 1.48 3/68 29360
/proc/meminfo: memFree=1332216/2055920 swapFree=4177692/4192956
[pid=29356] ppid=29354 vsize=216532 CPUtime=1042.21
/proc/29356/stat : 29356 (satake) S 29354 29356 28997 0 -1 4194304 53762 0 0 0 103792 429 0 0 18 0 4 0 1121966554 221728768 53285 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29356/statm: 54133 53285 70 163 0 53968 0
[pid=29356/tid=29357] ppid=29354 vsize=216532 CPUtime=2.09
/proc/29356/task/29357/stat : 29357 (satake) S 29354 29356 28997 0 -1 4194368 572 0 0 0 53 156 0 0 16 0 4 0 1121966554 221728768 53285 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=29356/tid=29358] ppid=29354 vsize=216532 CPUtime=520.98
/proc/29356/task/29358/stat : 29358 (satake) R 29354 29356 28997 0 -1 4194368 27357 0 0 0 51966 132 0 0 25 0 4 0 1121966554 221728768 53285 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29356/tid=29359] ppid=29354 vsize=216532 CPUtime=519.11
/proc/29356/task/29359/stat : 29359 (satake) R 29354 29356 28997 0 -1 4194368 25750 0 0 0 51771 140 0 0 19 0 4 0 1121966554 221728768 53285 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.21
Current children cumulated vsize (KiB) 216532

[startup+582.302 s]
/proc/loadavg: 1.99 1.84 1.51 3/68 29360
/proc/meminfo: memFree=1308792/2055920 swapFree=4177692/4192956
[pid=29356] ppid=29354 vsize=238948 CPUtime=1161.92
/proc/29356/stat : 29356 (satake) S 29354 29356 28997 0 -1 4194304 59320 0 0 0 115729 463 0 0 18 0 4 0 1121966554 244682752 58843 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29356/statm: 59737 58843 70 163 0 59572 0
[pid=29356/tid=29357] ppid=29354 vsize=238948 CPUtime=2.26
/proc/29356/task/29357/stat : 29357 (satake) S 29354 29356 28997 0 -1 4194368 584 0 0 0 58 168 0 0 16 0 4 0 1121966554 244682752 58843 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29356/tid=29358] ppid=29354 vsize=238948 CPUtime=580.86
/proc/29356/task/29358/stat : 29358 (satake) R 29354 29356 28997 0 -1 4194368 30207 0 0 0 57944 142 0 0 25 0 4 0 1121966554 244682752 58843 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29356/tid=29359] ppid=29354 vsize=238948 CPUtime=578.78
/proc/29356/task/29359/stat : 29359 (satake) R 29354 29356 28997 0 -1 4194368 28446 0 0 0 57726 152 0 0 25 0 4 0 1121966554 244682752 58843 1992294400 134512640 135180984 4294956208 18446744073709551615 134528669 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.92
Current children cumulated vsize (KiB) 238948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.401 s]
/proc/loadavg: 1.99 1.85 1.52 3/68 29360
/proc/meminfo: memFree=1308728/2055920 swapFree=4177692/4192956
[pid=29356] ppid=29354 vsize=238948 CPUtime=1200.04
/proc/29356/stat : 29356 (satake) S 29354 29356 28997 0 -1 4194304 59321 0 0 0 119535 469 0 0 18 0 4 0 1121966554 244682752 58844 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29356/statm: 59737 58844 70 163 0 59572 0
[pid=29356/tid=29357] ppid=29354 vsize=238948 CPUtime=2.3
/proc/29356/task/29357/stat : 29357 (satake) S 29354 29356 28997 0 -1 4194368 584 0 0 0 59 171 0 0 16 0 4 0 1121966554 244682752 58844 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29356/tid=29358] ppid=29354 vsize=238948 CPUtime=599.94
/proc/29356/task/29358/stat : 29358 (satake) R 29354 29356 28997 0 -1 4194368 30207 0 0 0 59850 144 0 0 18 0 4 0 1121966554 244682752 58844 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29356/tid=29359] ppid=29354 vsize=238948 CPUtime=597.78
/proc/29356/task/29359/stat : 29359 (satake) R 29354 29356 28997 0 -1 4194368 28447 0 0 0 59624 154 0 0 25 0 4 0 1121966554 244682752 58844 1992294400 134512640 135180984 4294956208 18446744073709551615 134528677 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 238948

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.448
CPU time (s): 1200.1
CPU user time (s): 1195.37
CPU system time (s): 4.73028
CPU usage (%): 199.534
Max. virtual memory (cumulated for all children) (KiB): 238948

deleting IPC queue 294912
deleting IPC queue 327681
deleting IPC queue 360450
deleting IPC queue 393219
deleting IPC queue 131076
deleting IPC queue 163845
deleting IPC queue 425990
deleting IPC queue 229383
deleting IPC queue 262152
deleting IPC queue 458761
deleting IPC queue 491530
deleting IPC queue 524299
deleting IPC queue 557068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1195.37
system time used= 4.73028
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59321
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= 311711
involuntary context switches= 317086

runsolver used 0.536918 second user time and 1.66075 second system time

The end

Launcher Data 

Begin job on node13 at 2009-03-31 11:50:03
IDJOB=1543527
IDBENCH=70368
IDSOLVER=553
FILE ID=node13/1543527-1238493003
PBS_JOBID= 9061877
Free space on /tmp= 66396 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/12000/unif-k3-r4.2-v12000-c50400-S221596758-009.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543527-1238493003/watcher-1543527-1238493003 -o /tmp/evaluation-result-1543527-1238493003/solver-1543527-1238493003 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543527-1238493003.cnf 3 1200

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

MD5SUM BENCH= 4e7f5c25a1af5225c3ae5cd2b08760df
RANDOM SEED=995852245

node13.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.240
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.240
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:       1545208 kB
Buffers:         82716 kB
Cached:         339144 kB
SwapCached:       9056 kB
Active:         273980 kB
Inactive:       158284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1545208 kB
SwapTotal:     4192956 kB
SwapFree:      4177692 kB
Dirty:            1672 kB
Writeback:           0 kB
Mapped:          16140 kB
Slab:            64404 kB
Committed_AS:  3070548 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= 66396 MiB
End job on node13 at 2009-03-31 12:00:07