Trace number 1543503

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.26 601.465

General information on the benchmark

NameRANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S162003179-087.cnf
MD5SUMb6948329f00787361710da473154a8ea
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark67.1698
Satisfiable
(Un)Satisfiability was proved
Number of variables16000
Number of clauses67200
Sum of the clauses size201600
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 367200
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-1543503-1238492902/watcher-1543503-1238492902 -o /tmp/evaluation-result-1543503-1238492902/solver-1543503-1238492902 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543503-1238492902.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.96 1.90 3/64 21296
/proc/meminfo: memFree=1122056/2055920 swapFree=4176920/4192956
[pid=21296] ppid=21294 vsize=3668 CPUtime=0
/proc/21296/stat : 21296 (satake) S 21294 21296 21164 0 -1 4194304 541 0 0 0 0 0 0 0 18 0 4 0 1121955092 3756032 526 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21296/statm: 917 530 65 163 0 752 0
[pid=21296/tid=21297] ppid=21294 vsize=3668 CPUtime=0
/proc/21296/task/21297/stat : 21297 (satake) S 21294 21296 21164 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1121955092 3756032 536 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21296/tid=21298] ppid=21294 vsize=3668 CPUtime=0
/proc/21296/task/21298/stat : 21298 (satake) R 21294 21296 21164 0 -1 4194368 464 0 0 0 0 0 0 0 19 0 4 0 1121955092 3756032 539 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21296/tid=21299] ppid=21294 vsize=3668 CPUtime=0
/proc/21296/task/21299/stat : 21299 (satake) R 21294 21296 21164 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 1121955092 3756032 541 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.095425 s]
/proc/loadavg: 1.83 1.96 1.90 3/64 21296
/proc/meminfo: memFree=1122056/2055920 swapFree=4176920/4192956
[pid=21296] ppid=21294 vsize=11564 CPUtime=0.17
/proc/21296/stat : 21296 (satake) S 21294 21296 21164 0 -1 4194304 3108 0 0 0 15 2 0 0 18 0 4 0 1121955092 11841536 2455 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21296/statm: 2891 2455 68 163 0 2726 0
[pid=21296/tid=21297] ppid=21294 vsize=11564 CPUtime=0
/proc/21296/task/21297/stat : 21297 (satake) S 21294 21296 21164 0 -1 4194368 289 0 0 0 0 0 0 0 16 0 4 0 1121955092 11841536 2455 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21296/tid=21298] ppid=21294 vsize=11564 CPUtime=0.08
/proc/21296/task/21298/stat : 21298 (satake) R 21294 21296 21164 0 -1 4194368 1371 0 0 0 8 0 0 0 18 0 4 0 1121955092 11841536 2455 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21296/tid=21299] ppid=21294 vsize=11564 CPUtime=0.08
/proc/21296/task/21299/stat : 21299 (satake) R 21294 21296 21164 0 -1 4194368 1365 0 0 0 7 1 0 0 16 0 4 0 1121955092 11841536 2455 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 11564

[startup+0.101423 s]
/proc/loadavg: 1.83 1.96 1.90 3/64 21296
/proc/meminfo: memFree=1122056/2055920 swapFree=4176920/4192956
[pid=21296] ppid=21294 vsize=11564 CPUtime=0.19
/proc/21296/stat : 21296 (satake) S 21294 21296 21164 0 -1 4194304 3123 0 0 0 17 2 0 0 18 0 4 0 1121955092 11841536 2470 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21296/statm: 2891 2470 68 163 0 2726 0
[pid=21296/tid=21297] ppid=21294 vsize=11564 CPUtime=0
/proc/21296/task/21297/stat : 21297 (satake) S 21294 21296 21164 0 -1 4194368 289 0 0 0 0 0 0 0 16 0 4 0 1121955092 11841536 2470 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21296/tid=21298] ppid=21294 vsize=11564 CPUtime=0.08
/proc/21296/task/21298/stat : 21298 (satake) R 21294 21296 21164 0 -1 4194368 1379 0 0 0 8 0 0 0 18 0 4 0 1121955092 11841536 2470 1992294400 134512640 135180984 4294956208 18446744073709551615 134528209 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21296/tid=21299] ppid=21294 vsize=11564 CPUtime=0.08
/proc/21296/task/21299/stat : 21299 (satake) R 21294 21296 21164 0 -1 4194368 1372 0 0 0 7 1 0 0 16 0 4 0 1121955092 11841536 2470 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11564

[startup+0.301447 s]
/proc/loadavg: 1.83 1.96 1.90 3/64 21296
/proc/meminfo: memFree=1122056/2055920 swapFree=4176920/4192956
[pid=21296] ppid=21294 vsize=11960 CPUtime=0.58
/proc/21296/stat : 21296 (satake) S 21294 21296 21164 0 -1 4194304 3303 0 0 0 56 2 0 0 18 0 4 0 1121955092 12247040 2650 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21296/statm: 2990 2650 70 163 0 2825 0
[pid=21296/tid=21297] ppid=21294 vsize=11960 CPUtime=0
/proc/21296/task/21297/stat : 21297 (satake) S 21294 21296 21164 0 -1 4194368 290 0 0 0 0 0 0 0 16 0 4 0 1121955092 12247040 2650 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21296/tid=21298] ppid=21294 vsize=11960 CPUtime=0.28
/proc/21296/task/21298/stat : 21298 (satake) R 21294 21296 21164 0 -1 4194368 1471 0 0 0 28 0 0 0 18 0 4 0 1121955092 12247040 2650 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21296/tid=21299] ppid=21294 vsize=11960 CPUtime=0.28
/proc/21296/task/21299/stat : 21299 (satake) R 21294 21296 21164 0 -1 4194368 1459 0 0 0 27 1 0 0 18 0 4 0 1121955092 12247040 2650 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 11960

[startup+0.701493 s]
/proc/loadavg: 1.83 1.96 1.90 3/64 21296
/proc/meminfo: memFree=1122056/2055920 swapFree=4176920/4192956
[pid=21296] ppid=21294 vsize=13512 CPUtime=1.39
/proc/21296/stat : 21296 (satake) S 21294 21296 21164 0 -1 4194304 3539 0 0 0 134 5 0 0 18 0 4 0 1121955092 13836288 2886 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21296/statm: 3378 2886 70 163 0 3213 0
[pid=21296/tid=21297] ppid=21294 vsize=13512 CPUtime=0
/proc/21296/task/21297/stat : 21297 (satake) S 21294 21296 21164 0 -1 4194368 290 0 0 0 0 0 0 0 16 0 4 0 1121955092 13836288 2886 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21296/tid=21298] ppid=21294 vsize=13512 CPUtime=0.68
/proc/21296/task/21298/stat : 21298 (satake) R 21294 21296 21164 0 -1 4194368 1587 0 0 0 67 1 0 0 22 0 4 0 1121955092 13836288 2886 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21296/tid=21299] ppid=21294 vsize=13512 CPUtime=0.68
/proc/21296/task/21299/stat : 21299 (satake) R 21294 21296 21164 0 -1 4194368 1579 0 0 0 66 2 0 0 22 0 4 0 1121955092 13836288 2886 1992294400 134512640 135180984 4294956208 18446744073709551615 134522970 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 13512

[startup+1.50158 s]
/proc/loadavg: 1.83 1.96 1.90 3/68 21300
/proc/meminfo: memFree=1109800/2055920 swapFree=4176920/4192956
[pid=21296] ppid=21294 vsize=15592 CPUtime=2.98
/proc/21296/stat : 21296 (satake) S 21294 21296 21164 0 -1 4194304 4081 0 0 0 290 8 0 0 18 0 4 0 1121955092 15966208 3428 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21296/statm: 3898 3428 70 163 0 3733 0
[pid=21296/tid=21297] ppid=21294 vsize=15592 CPUtime=0.03
/proc/21296/task/21297/stat : 21297 (satake) S 21294 21296 21164 0 -1 4194368 290 0 0 0 1 2 0 0 15 0 4 0 1121955092 15966208 3428 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21296/tid=21298] ppid=21294 vsize=15592 CPUtime=1.47
/proc/21296/task/21298/stat : 21298 (satake) R 21294 21296 21164 0 -1 4194368 1862 0 0 0 145 2 0 0 16 0 4 0 1121955092 15966208 3428 1992294400 134512640 135180984 4294956208 18446744073709551615 134528680 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21296/tid=21299] ppid=21294 vsize=15592 CPUtime=1.46
/proc/21296/task/21299/stat : 21299 (satake) R 21294 21296 21164 0 -1 4194368 1846 0 0 0 143 3 0 0 25 0 4 0 1121955092 15966208 3428 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 15592

[startup+3.10176 s]
/proc/loadavg: 1.83 1.96 1.90 3/68 21300
/proc/meminfo: memFree=1106792/2055920 swapFree=4176920/4192956
[pid=21296] ppid=21294 vsize=19884 CPUtime=6.17
/proc/21296/stat : 21296 (satake) S 21294 21296 21164 0 -1 4194304 5164 0 0 0 603 14 0 0 18 0 4 0 1121955092 20361216 4511 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21296/statm: 4971 4511 70 163 0 4806 0
[pid=21296/tid=21297] ppid=21294 vsize=19884 CPUtime=0.05
/proc/21296/task/21297/stat : 21297 (satake) S 21294 21296 21164 0 -1 4194368 292 0 0 0 1 4 0 0 16 0 4 0 1121955092 20361216 4511 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21296/tid=21298] ppid=21294 vsize=19884 CPUtime=3.06
/proc/21296/task/21298/stat : 21298 (satake) R 21294 21296 21164 0 -1 4194368 2413 0 0 0 302 4 0 0 21 0 4 0 1121955092 20361216 4511 1992294400 134512640 135180984 4294956208 18446744073709551615 134528878 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21296/tid=21299] ppid=21294 vsize=19884 CPUtime=3.03
/proc/21296/task/21299/stat : 21299 (satake) R 21294 21296 21164 0 -1 4194368 2376 0 0 0 299 4 0 0 25 0 4 0 1121955092 20361216 4511 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 19884

[startup+6.30211 s]
/proc/loadavg: 1.85 1.96 1.90 3/68 21300
/proc/meminfo: memFree=1098024/2055920 swapFree=4176920/4192956
[pid=21296] ppid=21294 vsize=27828 CPUtime=12.56
/proc/21296/stat : 21296 (satake) S 21294 21296 21164 0 -1 4194304 7173 0 0 0 1233 23 0 0 18 0 4 0 1121955092 28495872 6520 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21296/statm: 6957 6520 70 163 0 6792 0
[pid=21296/tid=21297] ppid=21294 vsize=27828 CPUtime=0.1
/proc/21296/task/21297/stat : 21297 (satake) S 21294 21296 21164 0 -1 4194368 296 0 0 0 3 7 0 0 16 0 4 0 1121955092 28495872 6520 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21296/tid=21298] ppid=21294 vsize=27828 CPUtime=6.24
/proc/21296/task/21298/stat : 21298 (satake) R 21294 21296 21164 0 -1 4194368 3386 0 0 0 617 7 0 0 20 0 4 0 1121955092 28495872 6520 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21296/tid=21299] ppid=21294 vsize=27828 CPUtime=6.21
/proc/21296/task/21299/stat : 21299 (satake) R 21294 21296 21164 0 -1 4194368 3408 0 0 0 613 8 0 0 25 0 4 0 1121955092 28495872 6520 1992294400 134512640 135180984 4294956208 18446744073709551615 134528470 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 27828

[startup+12.7018 s]
/proc/loadavg: 1.86 1.96 1.90 4/68 21300
/proc/meminfo: memFree=1080616/2055920 swapFree=4176920/4192956
[pid=21296] ppid=21294 vsize=44588 CPUtime=25.33
/proc/21296/stat : 21296 (satake) S 21294 21296 21164 0 -1 4194304 11374 0 0 0 2493 40 0 0 18 0 4 0 1121955092 45658112 10721 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21296/statm: 11147 10721 70 163 0 10982 0
[pid=21296/tid=21297] ppid=21294 vsize=44588 CPUtime=0.16
/proc/21296/task/21297/stat : 21297 (satake) S 21294 21296 21164 0 -1 4194368 305 0 0 0 4 12 0 0 16 0 4 0 1121955092 45658112 10721 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21296/tid=21298] ppid=21294 vsize=44588 CPUtime=12.6
/proc/21296/task/21298/stat : 21298 (satake) R 21294 21296 21164 0 -1 4194368 5268 0 0 0 1248 12 0 0 25 0 4 0 1121955092 45658112 10721 1992294400 134512640 135180984 4294956208 18446744073709551615 134528420 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21296/tid=21299] ppid=21294 vsize=44588 CPUtime=12.55
/proc/21296/task/21299/stat : 21299 (satake) R 21294 21296 21164 0 -1 4194368 5718 0 0 0 1240 15 0 0 21 0 4 0 1121955092 45658112 10721 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 44588

[startup+25.5012 s]
/proc/loadavg: 1.89 1.96 1.90 3/68 21300
/proc/meminfo: memFree=1048936/2055920 swapFree=4176920/4192956
[pid=21296] ppid=21294 vsize=75328 CPUtime=50.87
/proc/21296/stat : 21296 (satake) S 21294 21296 21164 0 -1 4194304 19040 0 0 0 5022 65 0 0 18 0 4 0 1121955092 77135872 18387 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21296/statm: 18832 18387 70 163 0 18667 0
[pid=21296/tid=21297] ppid=21294 vsize=75328 CPUtime=0.26
/proc/21296/task/21297/stat : 21297 (satake) S 21294 21296 21164 0 -1 4194368 315 0 0 0 7 19 0 0 16 0 4 0 1121955092 77135872 18387 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21296/tid=21298] ppid=21294 vsize=75328 CPUtime=25.34
/proc/21296/task/21298/stat : 21298 (satake) R 21294 21296 21164 0 -1 4194368 9034 0 0 0 2513 21 0 0 17 0 4 0 1121955092 77135872 18387 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21296/tid=21299] ppid=21294 vsize=75328 CPUtime=25.25
/proc/21296/task/21299/stat : 21299 (satake) R 21294 21296 21164 0 -1 4194368 9608 0 0 0 2501 24 0 0 19 0 4 0 1121955092 77135872 18387 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 75328

[startup+51.1011 s]
/proc/loadavg: 1.93 1.97 1.90 3/68 21300
/proc/meminfo: memFree=1000424/2055920 swapFree=4176920/4192956
[pid=21296] ppid=21294 vsize=124388 CPUtime=101.96
/proc/21296/stat : 21296 (satake) S 21294 21296 21164 0 -1 4194304 31380 0 0 0 10091 105 0 0 18 0 4 0 1121955092 127373312 30727 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21296/statm: 31097 30727 70 163 0 30932 0
[pid=21296/tid=21297] ppid=21294 vsize=124388 CPUtime=0.41
/proc/21296/task/21297/stat : 21297 (satake) S 21294 21296 21164 0 -1 4194368 340 0 0 0 10 31 0 0 16 0 4 0 1121955092 127373312 30727 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21296/tid=21298] ppid=21294 vsize=124388 CPUtime=50.85
/proc/21296/task/21298/stat : 21298 (satake) R 21294 21296 21164 0 -1 4194368 15087 0 0 0 5051 34 0 0 25 0 4 0 1121955092 127373312 30727 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21296/tid=21299] ppid=21294 vsize=124388 CPUtime=50.68
/proc/21296/task/21299/stat : 21299 (satake) R 21294 21296 21164 0 -1 4194368 15870 0 0 0 5029 39 0 0 25 0 4 0 1121955092 127373312 30727 1992294400 134512640 135180984 4294956208 18446744073709551615 134520855 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 124388

[startup+102.306 s]
/proc/loadavg: 1.97 1.97 1.91 3/68 21300
/proc/meminfo: memFree=911720/2055920 swapFree=4176920/4192956
[pid=21296] ppid=21294 vsize=211300 CPUtime=204.15
/proc/21296/stat : 21296 (satake) S 21294 21296 21164 0 -1 4194304 53135 0 0 0 20244 171 0 0 18 0 4 0 1121955092 216371200 52482 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21296/statm: 52825 52482 70 163 0 52660 0
[pid=21296/tid=21297] ppid=21294 vsize=211300 CPUtime=0.6
/proc/21296/task/21297/stat : 21297 (satake) S 21294 21296 21164 0 -1 4194368 363 0 0 0 16 44 0 0 16 0 4 0 1121955092 216371200 52482 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21296/tid=21298] ppid=21294 vsize=211300 CPUtime=101.94
/proc/21296/task/21298/stat : 21298 (satake) R 21294 21296 21164 0 -1 4194368 25553 0 0 0 10137 57 0 0 25 0 4 0 1121955092 216371200 52482 1992294400 134512640 135180984 4294956208 18446744073709551615 134518219 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21296/tid=21299] ppid=21294 vsize=211300 CPUtime=101.58
/proc/21296/task/21299/stat : 21299 (satake) R 21294 21296 21164 0 -1 4194368 27136 0 0 0 10090 68 0 0 25 0 4 0 1121955092 216371200 52482 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.15
Current children cumulated vsize (KiB) 211300

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/68 21300
/proc/meminfo: memFree=892904/2055920 swapFree=4176920/4192956
[pid=21296] ppid=21294 vsize=230960 CPUtime=323.87
/proc/21296/stat : 21296 (satake) S 21294 21296 21164 0 -1 4194304 57778 0 0 0 32180 207 0 0 18 0 4 0 1121955092 236503040 57125 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21296/statm: 57740 57125 70 163 0 57575 0
[pid=21296/tid=21297] ppid=21294 vsize=230960 CPUtime=0.77
/proc/21296/task/21297/stat : 21297 (satake) S 21294 21296 21164 0 -1 4194368 376 0 0 0 20 57 0 0 16 0 4 0 1121955092 236503040 57125 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21296/tid=21298] ppid=21294 vsize=230960 CPUtime=161.84
/proc/21296/task/21298/stat : 21298 (satake) R 21294 21296 21164 0 -1 4194368 28263 0 0 0 16114 70 0 0 25 0 4 0 1121955092 236503040 57125 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21296/tid=21299] ppid=21294 vsize=230960 CPUtime=161.24
/proc/21296/task/21299/stat : 21299 (satake) R 21294 21296 21164 0 -1 4194368 29056 0 0 0 16045 79 0 0 25 0 4 0 1121955092 236503040 57125 1992294400 134512640 135180984 4294956208 18446744073709551615 134519093 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.87
Current children cumulated vsize (KiB) 230960

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/68 21300
/proc/meminfo: memFree=892904/2055920 swapFree=4176920/4192956
[pid=21296] ppid=21294 vsize=230960 CPUtime=443.62
/proc/21296/stat : 21296 (satake) S 21294 21296 21164 0 -1 4194304 57779 0 0 0 44136 226 0 0 18 0 4 0 1121955092 236503040 57126 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21296/statm: 57740 57126 70 163 0 57575 0
[pid=21296/tid=21297] ppid=21294 vsize=230960 CPUtime=0.87
/proc/21296/task/21297/stat : 21297 (satake) S 21294 21296 21164 0 -1 4194368 377 0 0 0 23 64 0 0 16 0 4 0 1121955092 236503040 57126 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21296/tid=21298] ppid=21294 vsize=230960 CPUtime=221.77
/proc/21296/task/21298/stat : 21298 (satake) R 21294 21296 21164 0 -1 4194368 28263 0 0 0 22101 76 0 0 25 0 4 0 1121955092 236503040 57126 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21296/tid=21299] ppid=21294 vsize=230960 CPUtime=220.96
/proc/21296/task/21299/stat : 21299 (satake) R 21294 21296 21164 0 -1 4194368 29056 0 0 0 22011 85 0 0 25 0 4 0 1121955092 236503040 57126 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.62
Current children cumulated vsize (KiB) 230960

[startup+282.302 s]
/proc/loadavg: 2.04 1.99 1.91 3/68 21300
/proc/meminfo: memFree=837544/2055920 swapFree=4176920/4192956
[pid=21296] ppid=21294 vsize=287124 CPUtime=563.36
/proc/21296/stat : 21296 (satake) S 21294 21296 21164 0 -1 4194304 71958 0 0 0 56069 267 0 0 18 0 4 0 1121955092 294014976 71305 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21296/statm: 71781 71305 70 163 0 71616 0
[pid=21296/tid=21297] ppid=21294 vsize=287124 CPUtime=1
/proc/21296/task/21297/stat : 21297 (satake) S 21294 21296 21164 0 -1 4194368 389 0 0 0 26 74 0 0 16 0 4 0 1121955092 294014976 71305 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21296/tid=21298] ppid=21294 vsize=287124 CPUtime=281.68
/proc/21296/task/21298/stat : 21298 (satake) R 21294 21296 21164 0 -1 4194368 35369 0 0 0 28080 88 0 0 23 0 4 0 1121955092 294014976 71305 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21296/tid=21299] ppid=21294 vsize=287124 CPUtime=280.66
/proc/21296/task/21299/stat : 21299 (satake) R 21294 21296 21164 0 -1 4194368 36117 0 0 0 27962 104 0 0 25 0 4 0 1121955092 294014976 71305 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.36
Current children cumulated vsize (KiB) 287124

[startup+342.301 s]
/proc/loadavg: 2.01 1.99 1.91 3/68 21300
/proc/meminfo: memFree=795432/2055920 swapFree=4176920/4192956
[pid=21296] ppid=21294 vsize=327480 CPUtime=683.09
/proc/21296/stat : 21296 (satake) S 21294 21296 21164 0 -1 4194304 82117 0 0 0 68010 299 0 0 18 0 4 0 1121955092 335339520 81464 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21296/statm: 81870 81464 70 163 0 81705 0
[pid=21296/tid=21297] ppid=21294 vsize=327480 CPUtime=1.1
/proc/21296/task/21297/stat : 21297 (satake) S 21294 21296 21164 0 -1 4194368 395 0 0 0 29 81 0 0 16 0 4 0 1121955092 335339520 81464 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21296/tid=21298] ppid=21294 vsize=327480 CPUtime=341.6
/proc/21296/task/21298/stat : 21298 (satake) R 21294 21296 21164 0 -1 4194368 40594 0 0 0 34062 98 0 0 25 0 4 0 1121955092 335339520 81464 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21296/tid=21299] ppid=21294 vsize=327480 CPUtime=340.37
/proc/21296/task/21299/stat : 21299 (satake) R 21294 21296 21164 0 -1 4194368 41045 0 0 0 33918 119 0 0 17 0 4 0 1121955092 335339520 81464 1992294400 134512640 135180984 4294956208 18446744073709551615 134528034 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 683.09
Current children cumulated vsize (KiB) 327480

[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/68 21300
/proc/meminfo: memFree=795368/2055920 swapFree=4176920/4192956
[pid=21296] ppid=21294 vsize=327480 CPUtime=802.84
/proc/21296/stat : 21296 (satake) S 21294 21296 21164 0 -1 4194304 82117 0 0 0 79951 333 0 0 18 0 4 0 1121955092 335339520 81464 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21296/statm: 81870 81464 70 163 0 81705 0
[pid=21296/tid=21297] ppid=21294 vsize=327480 CPUtime=1.32
/proc/21296/task/21297/stat : 21297 (satake) S 21294 21296 21164 0 -1 4194368 395 0 0 0 35 97 0 0 16 0 4 0 1121955092 335339520 81464 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21296/tid=21298] ppid=21294 vsize=327480 CPUtime=401.48
/proc/21296/task/21298/stat : 21298 (satake) R 21294 21296 21164 0 -1 4194368 40594 0 0 0 40040 108 0 0 25 0 4 0 1121955092 335339520 81464 1992294400 134512640 135180984 4294956208 18446744073709551615 134528568 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21296/tid=21299] ppid=21294 vsize=327480 CPUtime=400.02
/proc/21296/task/21299/stat : 21299 (satake) R 21294 21296 21164 0 -1 4194368 41045 0 0 0 39875 127 0 0 25 0 4 0 1121955092 335339520 81464 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.84
Current children cumulated vsize (KiB) 327480

[startup+462.302 s]
/proc/loadavg: 2.00 1.99 1.91 3/68 21300
/proc/meminfo: memFree=795368/2055920 swapFree=4176920/4192956
[pid=21296] ppid=21294 vsize=327480 CPUtime=922.58
/proc/21296/stat : 21296 (satake) S 21294 21296 21164 0 -1 4194304 82117 0 0 0 91905 353 0 0 18 0 4 0 1121955092 335339520 81464 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21296/statm: 81870 81464 70 163 0 81705 0
[pid=21296/tid=21297] ppid=21294 vsize=327480 CPUtime=1.44
/proc/21296/task/21297/stat : 21297 (satake) S 21294 21296 21164 0 -1 4194368 395 0 0 0 38 106 0 0 16 0 4 0 1121955092 335339520 81464 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21296/tid=21298] ppid=21294 vsize=327480 CPUtime=461.4
/proc/21296/task/21298/stat : 21298 (satake) R 21294 21296 21164 0 -1 4194368 40594 0 0 0 46026 114 0 0 25 0 4 0 1121955092 335339520 81464 1992294400 134512640 135180984 4294956208 18446744073709551615 134528674 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21296/tid=21299] ppid=21294 vsize=327480 CPUtime=459.72
/proc/21296/task/21299/stat : 21299 (satake) R 21294 21296 21164 0 -1 4194368 41045 0 0 0 45840 132 0 0 25 0 4 0 1121955092 335339520 81464 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.58
Current children cumulated vsize (KiB) 327480

[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/68 21300
/proc/meminfo: memFree=793128/2055920 swapFree=4176920/4192956
[pid=21296] ppid=21294 vsize=330552 CPUtime=1042.32
/proc/21296/stat : 21296 (satake) S 21294 21296 21164 0 -1 4194304 82781 0 0 0 103865 367 0 0 18 0 4 0 1121955092 338485248 82128 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21296/statm: 82638 82128 70 163 0 82473 0
[pid=21296/tid=21297] ppid=21294 vsize=330552 CPUtime=1.51
/proc/21296/task/21297/stat : 21297 (satake) S 21294 21296 21164 0 -1 4194368 395 0 0 0 40 111 0 0 16 0 4 0 1121955092 338485248 82128 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21296/tid=21298] ppid=21294 vsize=330552 CPUtime=521.34
/proc/21296/task/21298/stat : 21298 (satake) R 21294 21296 21164 0 -1 4194368 40595 0 0 0 52016 118 0 0 25 0 4 0 1121955092 338485248 82128 1992294400 134512640 135180984 4294956208 18446744073709551615 134528095 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21296/tid=21299] ppid=21294 vsize=330552 CPUtime=519.45
/proc/21296/task/21299/stat : 21299 (satake) R 21294 21296 21164 0 -1 4194368 41708 0 0 0 51808 137 0 0 25 0 4 0 1121955092 338485248 82128 1992294400 134512640 135180984 4294956208 18446744073709551615 134528680 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.32
Current children cumulated vsize (KiB) 330552

[startup+582.302 s]
/proc/loadavg: 2.00 1.99 1.91 3/68 21300
/proc/meminfo: memFree=775784/2055920 swapFree=4176920/4192956
[pid=21296] ppid=21294 vsize=347560 CPUtime=1162.07
/proc/21296/stat : 21296 (satake) S 21294 21296 21164 0 -1 4194304 87028 0 0 0 115818 389 0 0 18 0 4 0 1121955092 355901440 86375 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21296/statm: 86890 86375 70 163 0 86725 0
[pid=21296/tid=21297] ppid=21294 vsize=347560 CPUtime=1.58
/proc/21296/task/21297/stat : 21297 (satake) S 21294 21296 21164 0 -1 4194368 403 0 0 0 41 117 0 0 16 0 4 0 1121955092 355901440 86375 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=21296/tid=21298] ppid=21294 vsize=347560 CPUtime=581.29
/proc/21296/task/21298/stat : 21298 (satake) R 21294 21296 21164 0 -1 4194368 42553 0 0 0 58004 125 0 0 25 0 4 0 1121955092 355901440 86375 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21296/tid=21299] ppid=21294 vsize=347560 CPUtime=579.17
/proc/21296/task/21299/stat : 21299 (satake) R 21294 21296 21164 0 -1 4194368 43989 0 0 0 57771 146 0 0 25 0 4 0 1121955092 355901440 86375 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1162.07
Current children cumulated vsize (KiB) 347560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.401 s]
/proc/loadavg: 2.00 1.99 1.91 3/68 21300
/proc/meminfo: memFree=775784/2055920 swapFree=4176920/4192956
[pid=21296] ppid=21294 vsize=347560 CPUtime=1200.19
/proc/21296/stat : 21296 (satake) S 21294 21296 21164 0 -1 4194304 87028 0 0 0 119624 395 0 0 18 0 4 0 1121955092 355901440 86375 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21296/statm: 86890 86375 70 163 0 86725 0
[pid=21296/tid=21297] ppid=21294 vsize=347560 CPUtime=1.62
/proc/21296/task/21297/stat : 21297 (satake) S 21294 21296 21164 0 -1 4194368 403 0 0 0 42 120 0 0 15 0 4 0 1121955092 355901440 86375 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=21296/tid=21298] ppid=21294 vsize=347560 CPUtime=600.38
/proc/21296/task/21298/stat : 21298 (satake) R 21294 21296 21164 0 -1 4194368 42553 0 0 0 59911 127 0 0 25 0 4 0 1121955092 355901440 86375 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21296/tid=21299] ppid=21294 vsize=347560 CPUtime=598.17
/proc/21296/task/21299/stat : 21299 (satake) R 21294 21296 21164 0 -1 4194368 43989 0 0 0 59670 147 0 0 25 0 4 0 1121955092 355901440 86375 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.19
Current children cumulated vsize (KiB) 347560

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.465
CPU time (s): 1200.26
CPU user time (s): 1196.26
CPU system time (s): 4.00539
CPU usage (%): 199.557
Max. virtual memory (cumulated for all children) (KiB): 347560

deleting IPC queue 753664
deleting IPC queue 786433
deleting IPC queue 819202
deleting IPC queue 851971
deleting IPC queue 884740
deleting IPC queue 917509
deleting IPC queue 950278
deleting IPC queue 983047
deleting IPC queue 1015816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1196.26
system time used= 4.00539
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87028
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= 226254
involuntary context switches= 233629

runsolver used 0.498924 second user time and 1.69874 second system time

The end

Launcher Data 

Begin job on node35 at 2009-03-31 11:48:22
IDJOB=1543503
IDBENCH=70344
IDSOLVER=553
FILE ID=node35/1543503-1238492902
PBS_JOBID= 9061897
Free space on /tmp= 66500 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/16000/unif-k3-r4.2-v16000-c67200-S162003179-087.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543503-1238492902/watcher-1543503-1238492902 -o /tmp/evaluation-result-1543503-1238492902/solver-1543503-1238492902 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543503-1238492902.cnf 3 1200

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

MD5SUM BENCH= b6948329f00787361710da473154a8ea
RANDOM SEED=1281785125

node35.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.229
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.229
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:       1122536 kB
Buffers:        107816 kB
Cached:         721296 kB
SwapCached:      10144 kB
Active:         300080 kB
Inactive:       540812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1122536 kB
SwapTotal:     4192956 kB
SwapFree:      4176920 kB
Dirty:            2032 kB
Writeback:           0 kB
Mapped:          17556 kB
Slab:            78548 kB
Committed_AS:  2781768 kB
PageTables:       1404 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= 66500 MiB
End job on node35 at 2009-03-31 11:58:25