Trace number 1543613

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.22 639.867

General information on the benchmark

NameRANDOM/MEDIUM/7SAT/UNKNOWN/60/
unif-k7-r89-v60-c5340-S1559668863-058.cnf
MD5SUMa3f3fd0be9c576316fd52f2f017266f9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark760.148
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of clauses5340
Sum of the clauses size37380
Maximum clause length7
Minimum clause length7
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 50
Number of clauses of size over 55340

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-1543613-1238493607/watcher-1543613-1238493607 -o /tmp/evaluation-result-1543613-1238493607/solver-1543613-1238493607 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543613-1238493607.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.83 1.82 1.51 3/64 29387
/proc/meminfo: memFree=1545432/2055920 swapFree=4177692/4192956
[pid=29387] ppid=29385 vsize=2400 CPUtime=0
/proc/29387/stat : 29387 (satake) S 29385 29387 28997 0 -1 4194304 210 0 0 0 0 0 0 0 18 0 4 0 1122026934 2457600 195 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29387/statm: 600 195 65 163 0 435 0
[pid=29387/tid=29388] ppid=29385 vsize=2400 CPUtime=0
/proc/29387/task/29388/stat : 29388 (satake) S 29385 29387 28997 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1122026934 2457600 195 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29387/tid=29389] ppid=29385 vsize=2400 CPUtime=0
/proc/29387/task/29389/stat : 29389 (satake) R 29385 29387 28997 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 4 0 1122026934 2457600 195 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29387/tid=29390] ppid=29385 vsize=2400 CPUtime=0
/proc/29387/task/29390/stat : 29390 (satake) R 29385 29387 28997 0 -1 4194368 63 0 0 0 0 0 0 0 19 0 4 0 1122026934 2457600 195 1992294400 134512640 135180984 4294956208 18446744073709551615 134519347 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0717309 s]
/proc/loadavg: 1.83 1.82 1.51 3/64 29387
/proc/meminfo: memFree=1545432/2055920 swapFree=4177692/4192956
[pid=29387] ppid=29385 vsize=2780 CPUtime=0.11
/proc/29387/stat : 29387 (satake) S 29385 29387 28997 0 -1 4194304 389 0 0 0 8 3 0 0 18 0 4 0 1122026934 2846720 306 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29387/statm: 695 306 70 163 0 530 0
[pid=29387/tid=29388] ppid=29385 vsize=2780 CPUtime=0.01
/proc/29387/task/29388/stat : 29388 (satake) R 29385 29387 28997 0 -1 4194368 14 0 0 0 0 1 0 0 17 0 4 0 1122026934 2846720 306 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29387/tid=29389] ppid=29385 vsize=2780 CPUtime=0.03
/proc/29387/task/29389/stat : 29389 (satake) S 29385 29387 28997 0 -1 4194368 143 0 0 0 3 0 0 0 16 0 4 0 1122026934 2846720 306 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=29387/tid=29390] ppid=29385 vsize=2780 CPUtime=0.04
/proc/29387/task/29390/stat : 29390 (satake) R 29385 29387 28997 0 -1 4194368 149 0 0 0 4 0 0 0 16 0 4 0 1122026934 2846720 306 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2780

[startup+0.101733 s]
/proc/loadavg: 1.83 1.82 1.51 3/64 29387
/proc/meminfo: memFree=1545432/2055920 swapFree=4177692/4192956
[pid=29387] ppid=29385 vsize=2780 CPUtime=0.16
/proc/29387/stat : 29387 (satake) S 29385 29387 28997 0 -1 4194304 408 0 0 0 11 5 0 0 18 0 4 0 1122026934 2846720 325 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29387/statm: 695 325 70 163 0 530 0
[pid=29387/tid=29388] ppid=29385 vsize=2780 CPUtime=0.03
/proc/29387/task/29388/stat : 29388 (satake) R 29385 29387 28997 0 -1 4194368 20 0 0 0 1 2 0 0 17 0 4 0 1122026934 2846720 325 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29387/tid=29389] ppid=29385 vsize=2780 CPUtime=0.04
/proc/29387/task/29389/stat : 29389 (satake) S 29385 29387 28997 0 -1 4194368 149 0 0 0 4 0 0 0 16 0 4 0 1122026934 2846720 325 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=29387/tid=29390] ppid=29385 vsize=2780 CPUtime=0.06
/proc/29387/task/29390/stat : 29390 (satake) R 29385 29387 28997 0 -1 4194368 156 0 0 0 5 1 0 0 16 0 4 0 1122026934 2846720 325 1992294400 134512640 135180984 4294956208 18446744073709551615 134522986 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 2780

[startup+0.301761 s]
/proc/loadavg: 1.83 1.82 1.51 3/64 29387
/proc/meminfo: memFree=1545432/2055920 swapFree=4177692/4192956
[pid=29387] ppid=29385 vsize=3308 CPUtime=0.48
/proc/29387/stat : 29387 (satake) S 29385 29387 28997 0 -1 4194304 518 0 0 0 31 17 0 0 18 0 4 0 1122026934 3387392 435 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29387/statm: 827 435 70 163 0 662 0
[pid=29387/tid=29388] ppid=29385 vsize=3308 CPUtime=0.12
/proc/29387/task/29388/stat : 29388 (satake) R 29385 29387 28997 0 -1 4194368 52 0 0 0 3 9 0 0 17 0 4 0 1122026934 3387392 435 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29387/tid=29389] ppid=29385 vsize=3308 CPUtime=0.16
/proc/29387/task/29389/stat : 29389 (satake) R 29385 29387 28997 0 -1 4194368 184 0 0 0 13 3 0 0 16 0 4 0 1122026934 3387392 435 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29387/tid=29390] ppid=29385 vsize=3308 CPUtime=0.18
/proc/29387/task/29390/stat : 29390 (satake) S 29385 29387 28997 0 -1 4194368 199 0 0 0 14 4 0 0 17 0 4 0 1122026934 3387392 435 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 3308

[startup+0.701815 s]
/proc/loadavg: 1.83 1.82 1.51 3/64 29387
/proc/meminfo: memFree=1545432/2055920 swapFree=4177692/4192956
[pid=29387] ppid=29385 vsize=3836 CPUtime=1.18
/proc/29387/stat : 29387 (satake) S 29385 29387 28997 0 -1 4194304 668 0 0 0 71 47 0 0 18 0 4 0 1122026934 3928064 585 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29387/statm: 959 585 70 163 0 794 0
[pid=29387/tid=29388] ppid=29385 vsize=3836 CPUtime=0.31
/proc/29387/task/29388/stat : 29388 (satake) R 29385 29387 28997 0 -1 4194368 114 0 0 0 7 24 0 0 16 0 4 0 1122026934 3928064 585 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29387/tid=29389] ppid=29385 vsize=3836 CPUtime=0.42
/proc/29387/task/29389/stat : 29389 (satake) S 29385 29387 28997 0 -1 4194368 218 0 0 0 31 11 0 0 17 0 4 0 1122026934 3928064 585 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29387/tid=29390] ppid=29385 vsize=3836 CPUtime=0.43
/proc/29387/task/29390/stat : 29390 (satake) R 29385 29387 28997 0 -1 4194368 253 0 0 0 32 11 0 0 16 0 4 0 1122026934 3928064 585 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 3836

[startup+1.50311 s]
/proc/loadavg: 1.83 1.82 1.51 4/68 29391
/proc/meminfo: memFree=1542904/2055920 swapFree=4177692/4192956
[pid=29387] ppid=29385 vsize=4368 CPUtime=2.61
/proc/29387/stat : 29387 (satake) S 29385 29387 28997 0 -1 4194304 836 0 0 0 160 101 0 0 18 0 4 0 1122026934 4472832 753 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29387/statm: 1092 753 70 163 0 927 0
[pid=29387/tid=29388] ppid=29385 vsize=4368 CPUtime=0.64
/proc/29387/task/29388/stat : 29388 (satake) R 29385 29387 28997 0 -1 4194368 206 0 0 0 14 50 0 0 16 0 4 0 1122026934 4472832 753 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29387/tid=29389] ppid=29385 vsize=4368 CPUtime=0.97
/proc/29387/task/29389/stat : 29389 (satake) R 29385 29387 28997 0 -1 4194368 249 0 0 0 72 25 0 0 15 0 4 0 1122026934 4472832 753 1992294400 134512640 135180984 4294956208 18446744073709551615 134520719 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29387/tid=29390] ppid=29385 vsize=4368 CPUtime=0.98
/proc/29387/task/29390/stat : 29390 (satake) S 29385 29387 28997 0 -1 4194368 298 0 0 0 73 25 0 0 15 0 4 0 1122026934 4472832 753 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 4368

[startup+3.10132 s]
/proc/loadavg: 1.83 1.82 1.51 4/68 29391
/proc/meminfo: memFree=1541944/2055920 swapFree=4177692/4192956
[pid=29387] ppid=29385 vsize=5568 CPUtime=5.42
/proc/29387/stat : 29387 (satake) S 29385 29387 28997 0 -1 4194304 1136 0 0 0 333 209 0 0 18 0 4 0 1122026934 5701632 1053 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29387/statm: 1392 1053 70 163 0 1227 0
[pid=29387/tid=29388] ppid=29385 vsize=5568 CPUtime=1.3
/proc/29387/task/29388/stat : 29388 (satake) S 29385 29387 28997 0 -1 4194368 420 0 0 0 29 101 0 0 16 0 4 0 1122026934 5701632 1053 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=29387/tid=29389] ppid=29385 vsize=5568 CPUtime=2.04
/proc/29387/task/29389/stat : 29389 (satake) R 29385 29387 28997 0 -1 4194368 287 0 0 0 151 53 0 0 16 0 4 0 1122026934 5701632 1053 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29387/tid=29390] ppid=29385 vsize=5568 CPUtime=2.06
/proc/29387/task/29390/stat : 29390 (satake) R 29385 29387 28997 0 -1 4194368 346 0 0 0 153 53 0 0 16 0 4 0 1122026934 5701632 1053 1992294400 134512640 135180984 4294956208 18446744073709551615 134528406 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.42
Current children cumulated vsize (KiB) 5568

[startup+6.30183 s]
/proc/loadavg: 1.85 1.82 1.51 4/68 29391
/proc/meminfo: memFree=1539512/2055920 swapFree=4177692/4192956
[pid=29387] ppid=29385 vsize=7832 CPUtime=11.12
/proc/29387/stat : 29387 (satake) S 29385 29387 28997 0 -1 4194304 1690 0 0 0 684 428 0 0 18 0 4 0 1122026934 8019968 1607 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29387/statm: 1958 1607 70 163 0 1793 0
[pid=29387/tid=29388] ppid=29385 vsize=7832 CPUtime=2.6
/proc/29387/task/29388/stat : 29388 (satake) R 29385 29387 28997 0 -1 4194368 816 0 0 0 57 203 0 0 15 0 4 0 1122026934 8019968 1607 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29387/tid=29389] ppid=29385 vsize=7832 CPUtime=4.25
/proc/29387/task/29389/stat : 29389 (satake) R 29385 29387 28997 0 -1 4194368 350 0 0 0 311 114 0 0 16 0 4 0 1122026934 8019968 1607 1992294400 134512640 135180984 4294956208 18446744073709551615 134519885 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29387/tid=29390] ppid=29385 vsize=7832 CPUtime=4.24
/proc/29387/task/29390/stat : 29390 (satake) R 29385 29387 28997 0 -1 4194368 441 0 0 0 314 110 0 0 15 0 4 0 1122026934 8019968 1607 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.12
Current children cumulated vsize (KiB) 7832

[startup+12.7014 s]
/proc/loadavg: 1.86 1.83 1.52 3/68 29391
/proc/meminfo: memFree=1535288/2055920 swapFree=4177692/4192956
[pid=29387] ppid=29385 vsize=12164 CPUtime=22.66
/proc/29387/stat : 29387 (satake) S 29385 29387 28997 0 -1 4194304 2677 0 0 0 1390 876 0 0 18 0 4 0 1122026934 12455936 2594 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29387/statm: 3041 2594 70 163 0 2876 0
[pid=29387/tid=29388] ppid=29385 vsize=12164 CPUtime=5.33
/proc/29387/task/29388/stat : 29388 (satake) R 29385 29387 28997 0 -1 4194368 1646 0 0 0 114 419 0 0 15 0 4 0 1122026934 12455936 2594 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29387/tid=29389] ppid=29385 vsize=12164 CPUtime=8.61
/proc/29387/task/29389/stat : 29389 (satake) R 29385 29387 28997 0 -1 4194368 445 0 0 0 629 232 0 0 16 0 4 0 1122026934 12455936 2594 1992294400 134512640 135180984 4294956208 18446744073709551615 134522992 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29387/tid=29390] ppid=29385 vsize=12164 CPUtime=8.72
/proc/29387/task/29390/stat : 29390 (satake) R 29385 29387 28997 0 -1 4194368 503 0 0 0 647 225 0 0 16 0 4 0 1122026934 12455936 2594 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 22.66
Current children cumulated vsize (KiB) 12164

[startup+25.5011 s]
/proc/loadavg: 1.89 1.83 1.52 4/68 29391
/proc/meminfo: memFree=1527672/2055920 swapFree=4177692/4192956
[pid=29387] ppid=29385 vsize=21372 CPUtime=45.93
/proc/29387/stat : 29387 (satake) S 29385 29387 28997 0 -1 4194304 4521 0 0 0 2838 1755 0 0 18 0 4 0 1122026934 21884928 4438 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29387/statm: 5343 4438 70 163 0 5178 0
[pid=29387/tid=29388] ppid=29385 vsize=21372 CPUtime=10.69
/proc/29387/task/29388/stat : 29388 (satake) R 29385 29387 28997 0 -1 4194368 3064 0 0 0 226 843 0 0 16 0 4 0 1122026934 21884928 4438 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29387/tid=29389] ppid=29385 vsize=21372 CPUtime=17.55
/proc/29387/task/29389/stat : 29389 (satake) S 29385 29387 28997 0 -1 4194368 727 0 0 0 1295 460 0 0 15 0 4 0 1122026934 21884928 4438 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 18446744071563913321 0 0 -1 0 0 0
[pid=29387/tid=29390] ppid=29385 vsize=21372 CPUtime=17.65
/proc/29387/task/29390/stat : 29390 (satake) R 29385 29387 28997 0 -1 4194368 647 0 0 0 1315 450 0 0 16 0 4 0 1122026934 21884928 4438 1992294400 134512640 135180984 4294956208 18446744073709551615 134528664 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 45.93
Current children cumulated vsize (KiB) 21372

[startup+51.1015 s]
/proc/loadavg: 1.92 1.85 1.53 3/68 29391
/proc/meminfo: memFree=1513848/2055920 swapFree=4177692/4192956
[pid=29387] ppid=29385 vsize=38684 CPUtime=92.79
/proc/29387/stat : 29387 (satake) S 29385 29387 28997 0 -1 4194304 8004 0 0 0 5733 3546 0 0 18 0 4 0 1122026934 39612416 7921 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29387/statm: 9671 7921 70 163 0 9506 0
[pid=29387/tid=29388] ppid=29385 vsize=38684 CPUtime=21.52
/proc/29387/task/29388/stat : 29388 (satake) R 29385 29387 28997 0 -1 4194368 5549 0 0 0 448 1704 0 0 16 0 4 0 1122026934 39612416 7921 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29387/tid=29389] ppid=29385 vsize=38684 CPUtime=35.5
/proc/29387/task/29389/stat : 29389 (satake) S 29385 29387 28997 0 -1 4194368 1211 0 0 0 2632 918 0 0 16 0 4 0 1122026934 39612416 7921 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=29387/tid=29390] ppid=29385 vsize=38684 CPUtime=35.74
/proc/29387/task/29390/stat : 29390 (satake) S 29385 29387 28997 0 -1 4194368 1161 0 0 0 2652 922 0 0 16 0 4 0 1122026934 39612416 7921 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 92.79
Current children cumulated vsize (KiB) 38684

[startup+102.316 s]
/proc/loadavg: 2.30 1.97 1.59 3/68 29397
/proc/meminfo: memFree=1486648/2055920 swapFree=4177692/4192956
[pid=29387] ppid=29385 vsize=70784 CPUtime=187.4
/proc/29387/stat : 29387 (satake) S 29385 29387 28997 0 -1 4194304 14720 0 0 0 11819 6921 0 0 18 0 4 0 1122026934 72482816 14637 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29387/statm: 17696 14637 70 163 0 17531 0
[pid=29387/tid=29388] ppid=29385 vsize=70784 CPUtime=42.07
/proc/29387/task/29388/stat : 29388 (satake) S 29385 29387 28997 0 -1 4194368 9961 0 0 0 875 3332 0 0 16 0 4 0 1122026934 72482816 14637 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29387/tid=29389] ppid=29385 vsize=70784 CPUtime=72.32
/proc/29387/task/29389/stat : 29389 (satake) R 29385 29387 28997 0 -1 4194368 2445 0 0 0 5446 1786 0 0 16 0 4 0 1122026934 72482816 14637 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29387/tid=29390] ppid=29385 vsize=70784 CPUtime=73
/proc/29387/task/29390/stat : 29390 (satake) R 29385 29387 28997 0 -1 4194368 2231 0 0 0 5497 1803 0 0 15 0 4 0 1122026934 72482816 14637 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 187.4
Current children cumulated vsize (KiB) 70784

[startup+162.303 s]
/proc/loadavg: 2.40 2.06 1.65 3/68 29397
/proc/meminfo: memFree=1456056/2055920 swapFree=4177692/4192956
[pid=29387] ppid=29385 vsize=106476 CPUtime=298.88
/proc/29387/stat : 29387 (satake) S 29385 29387 28997 0 -1 4194304 22374 0 0 0 19092 10796 0 0 18 0 4 0 1122026934 109031424 22291 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29387/statm: 26619 22291 70 163 0 26454 0
[pid=29387/tid=29388] ppid=29385 vsize=106476 CPUtime=65.84
/proc/29387/task/29388/stat : 29388 (satake) R 29385 29387 28997 0 -1 4194368 14891 0 0 0 1377 5207 0 0 16 0 4 0 1122026934 109031424 22291 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29387/tid=29389] ppid=29385 vsize=106476 CPUtime=115.84
/proc/29387/task/29389/stat : 29389 (satake) R 29385 29387 28997 0 -1 4194368 3952 0 0 0 8805 2779 0 0 15 0 4 0 1122026934 109031424 22291 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29387/tid=29390] ppid=29385 vsize=106476 CPUtime=117.17
/proc/29387/task/29390/stat : 29390 (satake) S 29385 29387 28997 0 -1 4194368 3448 0 0 0 8909 2808 0 0 16 0 4 0 1122026934 109031424 22291 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 298.88
Current children cumulated vsize (KiB) 106476

[startup+222.302 s]
/proc/loadavg: 2.48 2.14 1.70 4/68 29397
/proc/meminfo: memFree=1426296/2055920 swapFree=4177692/4192956
[pid=29387] ppid=29385 vsize=142856 CPUtime=411.05
/proc/29387/stat : 29387 (satake) S 29385 29387 28997 0 -1 4194304 29772 0 0 0 26468 14637 0 0 18 0 4 0 1122026934 146284544 29689 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29387/statm: 35714 29689 70 163 0 35549 0
[pid=29387/tid=29388] ppid=29385 vsize=142856 CPUtime=89.09
/proc/29387/task/29388/stat : 29388 (satake) R 29385 29387 28997 0 -1 4194368 19456 0 0 0 1857 7052 0 0 17 0 4 0 1122026934 146284544 29689 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29387/tid=29389] ppid=29385 vsize=142856 CPUtime=159.87
/proc/29387/task/29389/stat : 29389 (satake) R 29385 29387 28997 0 -1 4194368 5218 0 0 0 12222 3765 0 0 16 0 4 0 1122026934 146284544 29689 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29387/tid=29390] ppid=29385 vsize=142856 CPUtime=162.09
/proc/29387/task/29390/stat : 29390 (satake) R 29385 29387 28997 0 -1 4194368 5015 0 0 0 12389 3820 0 0 16 0 4 0 1122026934 146284544 29689 1992294400 134512640 135180984 4294956208 18446744073709551615 134518227 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 411.05
Current children cumulated vsize (KiB) 142856

[startup+282.302 s]
/proc/loadavg: 2.52 2.22 1.75 3/68 29397
/proc/meminfo: memFree=1397624/2055920 swapFree=4177692/4192956
[pid=29387] ppid=29385 vsize=178496 CPUtime=523.83
/proc/29387/stat : 29387 (satake) S 29385 29387 28997 0 -1 4194304 37000 0 0 0 33966 18417 0 0 18 0 4 0 1122026934 182779904 36917 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29387/statm: 44624 36917 70 163 0 44459 0
[pid=29387/tid=29388] ppid=29385 vsize=178496 CPUtime=112.24
/proc/29387/task/29388/stat : 29388 (satake) R 29385 29387 28997 0 -1 4194368 23794 0 0 0 2345 8879 0 0 16 0 4 0 1122026934 182779904 36917 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29387/tid=29389] ppid=29385 vsize=178496 CPUtime=204.25
/proc/29387/task/29389/stat : 29389 (satake) R 29385 29387 28997 0 -1 4194368 6834 0 0 0 15694 4731 0 0 16 0 4 0 1122026934 182779904 36917 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29387/tid=29390] ppid=29385 vsize=178496 CPUtime=207.31
/proc/29387/task/29390/stat : 29390 (satake) R 29385 29387 28997 0 -1 4194368 6289 0 0 0 15925 4806 0 0 15 0 4 0 1122026934 182779904 36917 1992294400 134512640 135180984 4294956208 18446744073709551615 134520662 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 523.83
Current children cumulated vsize (KiB) 178496

[startup+342.302 s]
/proc/loadavg: 2.43 2.25 1.79 3/68 29397
/proc/meminfo: memFree=1368824/2055920 swapFree=4177692/4192956
[pid=29387] ppid=29385 vsize=209556 CPUtime=637.03
/proc/29387/stat : 29387 (satake) S 29385 29387 28997 0 -1 4194304 44102 0 0 0 41658 22045 0 0 18 0 4 0 1122026934 214585344 44019 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29387/statm: 52389 44019 70 163 0 52224 0
[pid=29387/tid=29388] ppid=29385 vsize=209556 CPUtime=134.54
/proc/29387/task/29388/stat : 29388 (satake) S 29385 29387 28997 0 -1 4194368 28069 0 0 0 2818 10636 0 0 15 0 4 0 1122026934 214585344 44019 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29387/tid=29389] ppid=29385 vsize=209556 CPUtime=249.78
/proc/29387/task/29389/stat : 29389 (satake) R 29385 29387 28997 0 -1 4194368 8171 0 0 0 19321 5657 0 0 16 0 4 0 1122026934 214585344 44019 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29387/tid=29390] ppid=29385 vsize=209556 CPUtime=252.7
/proc/29387/task/29390/stat : 29390 (satake) R 29385 29387 28997 0 -1 4194368 7779 0 0 0 19518 5752 0 0 17 0 4 0 1122026934 214585344 44019 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 637.03
Current children cumulated vsize (KiB) 209556

[startup+402.312 s]
/proc/loadavg: 2.34 2.26 1.82 3/68 29397
/proc/meminfo: memFree=1340472/2055920 swapFree=4177692/4192956
[pid=29387] ppid=29385 vsize=246364 CPUtime=750.29
/proc/29387/stat : 29387 (satake) S 29385 29387 28997 0 -1 4194304 51195 0 0 0 49318 25711 0 0 18 0 4 0 1122026934 252276736 51112 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29387/statm: 61591 51112 70 163 0 61426 0
[pid=29387/tid=29388] ppid=29385 vsize=246364 CPUtime=156.88
/proc/29387/task/29388/stat : 29388 (satake) R 29385 29387 28997 0 -1 4194368 32279 0 0 0 3278 12410 0 0 16 0 4 0 1122026934 252276736 51112 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29387/tid=29389] ppid=29385 vsize=246364 CPUtime=295.63
/proc/29387/task/29389/stat : 29389 (satake) R 29385 29387 28997 0 -1 4194368 9796 0 0 0 22972 6591 0 0 16 0 4 0 1122026934 252276736 51112 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29387/tid=29390] ppid=29385 vsize=246364 CPUtime=297.76
/proc/29387/task/29390/stat : 29390 (satake) R 29385 29387 28997 0 -1 4194368 9037 0 0 0 23067 6709 0 0 15 0 4 0 1122026934 252276736 51112 1992294400 134512640 135180984 4294956208 18446744073709551615 134519884 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 750.29
Current children cumulated vsize (KiB) 246364

[startup+462.302 s]
/proc/loadavg: 2.37 2.29 1.85 3/68 29397
/proc/meminfo: memFree=1312120/2055920 swapFree=4177692/4192956
[pid=29387] ppid=29385 vsize=282488 CPUtime=863.67
/proc/29387/stat : 29387 (satake) S 29385 29387 28997 0 -1 4194304 58255 0 0 0 57046 29321 0 0 18 0 4 0 1122026934 289267712 58172 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29387/statm: 70622 58172 70 163 0 70457 0
[pid=29387/tid=29388] ppid=29385 vsize=282488 CPUtime=178.97
/proc/29387/task/29388/stat : 29388 (satake) S 29385 29387 28997 0 -1 4194368 36502 0 0 0 3741 14156 0 0 15 0 4 0 1122026934 289267712 58172 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=29387/tid=29389] ppid=29385 vsize=282488 CPUtime=341.4
/proc/29387/task/29389/stat : 29389 (satake) R 29385 29387 28997 0 -1 4194368 11329 0 0 0 26609 7531 0 0 16 0 4 0 1122026934 289267712 58172 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29387/tid=29390] ppid=29385 vsize=282488 CPUtime=343.28
/proc/29387/task/29390/stat : 29390 (satake) R 29385 29387 28997 0 -1 4194368 10341 0 0 0 26695 7633 0 0 16 0 4 0 1122026934 289267712 58172 1992294400 134512640 135180984 4294956208 18446744073709551615 134520662 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 863.67
Current children cumulated vsize (KiB) 282488

[startup+522.301 s]
/proc/loadavg: 2.50 2.34 1.90 3/68 29397
/proc/meminfo: memFree=1286136/2055920 swapFree=4177692/4192956
[pid=29387] ppid=29385 vsize=312460 CPUtime=977.5
/proc/29387/stat : 29387 (satake) S 29385 29387 28997 0 -1 4194304 64809 0 0 0 64818 32932 0 0 18 0 4 0 1122026934 319959040 64726 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29387/statm: 78115 64726 70 163 0 77950 0
[pid=29387/tid=29388] ppid=29385 vsize=312460 CPUtime=200.69
/proc/29387/task/29388/stat : 29388 (satake) R 29385 29387 28997 0 -1 4194368 40381 0 0 0 4173 15896 0 0 15 0 4 0 1122026934 319959040 64726 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29387/tid=29389] ppid=29385 vsize=312460 CPUtime=387.4
/proc/29387/task/29389/stat : 29389 (satake) R 29385 29387 28997 0 -1 4194368 12731 0 0 0 30284 8456 0 0 16 0 4 0 1122026934 319959040 64726 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29387/tid=29390] ppid=29385 vsize=312460 CPUtime=389.38
/proc/29387/task/29390/stat : 29390 (satake) R 29385 29387 28997 0 -1 4194368 11614 0 0 0 30359 8579 0 0 16 0 4 0 1122026934 319959040 64726 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 977.5
Current children cumulated vsize (KiB) 312460

[startup+582.302 s]
/proc/loadavg: 2.30 2.30 1.91 3/68 29397
/proc/meminfo: memFree=1258936/2055920 swapFree=4177692/4192956
[pid=29387] ppid=29385 vsize=342408 CPUtime=1091.4
/proc/29387/stat : 29387 (satake) S 29385 29387 28997 0 -1 4194304 71497 0 0 0 72660 36480 0 0 18 0 4 0 1122026934 350625792 71414 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29387/statm: 85602 71414 70 163 0 85437 0
[pid=29387/tid=29388] ppid=29385 vsize=342408 CPUtime=222.18
/proc/29387/task/29388/stat : 29388 (satake) R 29385 29387 28997 0 -1 4194368 44236 0 0 0 4629 17589 0 0 16 0 4 0 1122026934 350625792 71414 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29387/tid=29389] ppid=29385 vsize=342408 CPUtime=433.45
/proc/29387/task/29389/stat : 29389 (satake) R 29385 29387 28997 0 -1 4194368 14031 0 0 0 33973 9372 0 0 16 0 4 0 1122026934 350625792 71414 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29387/tid=29390] ppid=29385 vsize=342408 CPUtime=435.76
/proc/29387/task/29390/stat : 29390 (satake) R 29385 29387 28997 0 -1 4194368 13147 0 0 0 34058 9518 0 0 16 0 4 0 1122026934 350625792 71414 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1091.4
Current children cumulated vsize (KiB) 342408



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+639.803 s]
/proc/loadavg: 2.12 2.26 1.92 3/68 29397
/proc/meminfo: memFree=1233208/2055920 swapFree=4177692/4192956
[pid=29387] ppid=29385 vsize=376880 CPUtime=1200.15
/proc/29387/stat : 29387 (satake) S 29385 29387 28997 0 -1 4194304 77878 0 0 0 80098 39917 0 0 18 0 4 0 1122026934 385925120 77795 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29387/statm: 94220 77795 70 163 0 94055 0
[pid=29387/tid=29388] ppid=29385 vsize=376880 CPUtime=242.97
/proc/29387/task/29388/stat : 29388 (satake) S 29385 29387 28997 0 -1 4194368 48024 0 0 0 5060 19237 0 0 15 0 4 0 1122026934 385925120 77795 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 18446744071563913321 0 0 -1 0 0 0
[pid=29387/tid=29389] ppid=29385 vsize=376880 CPUtime=477.39
/proc/29387/task/29389/stat : 29389 (satake) R 29385 29387 28997 0 -1 4194368 15273 0 0 0 37480 10259 0 0 16 0 4 0 1122026934 385925120 77795 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29387/tid=29390] ppid=29385 vsize=376880 CPUtime=479.77
/proc/29387/task/29390/stat : 29390 (satake) R 29385 29387 28997 0 -1 4194368 14498 0 0 0 37557 10420 0 0 16 0 4 0 1122026934 385925120 77795 1992294400 134512640 135180984 4294956208 18446744073709551615 134520667 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.15
Current children cumulated vsize (KiB) 376880

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): 639.867
CPU time (s): 1200.22
CPU user time (s): 800.986
CPU system time (s): 399.238
CPU usage (%): 187.574
Max. virtual memory (cumulated for all children) (KiB): 376880

deleting IPC queue 589824
deleting IPC queue 622593
deleting IPC queue 655362
deleting IPC queue 688131
deleting IPC queue 720900
deleting IPC queue 753669
deleting IPC queue 786438
deleting IPC queue 819207
deleting IPC queue 851976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 800.986
system time used= 399.238
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77878
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= 16028380
involuntary context switches= 14546617

runsolver used 0.732888 second user time and 1.85672 second system time

The end

Launcher Data 

Begin job on node13 at 2009-03-31 12:00:07
IDJOB=1543613
IDBENCH=70454
IDSOLVER=553
FILE ID=node13/1543613-1238493607
PBS_JOBID= 9061877
Free space on /tmp= 66396 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/7SAT/UNKNOWN/60/unif-k7-r89-v60-c5340-S1559668863-058.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543613-1238493607/watcher-1543613-1238493607 -o /tmp/evaluation-result-1543613-1238493607/solver-1543613-1238493607 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543613-1238493607.cnf 3 1200

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

MD5SUM BENCH= a3f3fd0be9c576316fd52f2f017266f9
RANDOM SEED=498016799

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:       1545848 kB
Buffers:         82772 kB
Cached:         338408 kB
SwapCached:       9056 kB
Active:         273300 kB
Inactive:       158292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1545848 kB
SwapTotal:     4192956 kB
SwapFree:      4177692 kB
Dirty:             916 kB
Writeback:           0 kB
Mapped:          16140 kB
Slab:            64428 kB
Committed_AS:  3070564 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:10:49