Trace number 1543839

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.14 638.055

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/560/
unif-k3-r4.25-v560-c2380-S1876865608-086.cnf
MD5SUMa08fcca560a80877927507a2ea133f40
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.016996
Satisfiable
(Un)Satisfiability was proved
Number of variables560
Number of clauses2380
Sum of the clauses size7140
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32380
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-1543839-1238578660/watcher-1543839-1238578660 -o /tmp/evaluation-result-1543839-1238578660/solver-1543839-1238578660 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543839-1238578660.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.00 3/73 32126
/proc/meminfo: memFree=1458672/2055920 swapFree=4170060/4192956
[pid=32126] ppid=32124 vsize=2416 CPUtime=0
/proc/32126/stat : 32126 (satake) S 32124 32126 31240 0 -1 4194304 192 0 0 0 0 0 0 0 20 0 4 0 1130529945 2473984 177 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32126/statm: 604 177 68 163 0 439 0
[pid=32126/tid=32127] ppid=32124 vsize=2416 CPUtime=0
/proc/32126/task/32127/stat : 32127 (satake) S 32124 32126 31240 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 1130529945 2473984 177 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=32126/tid=32128] ppid=32124 vsize=2416 CPUtime=0
/proc/32126/task/32128/stat : 32128 (satake) R 32124 32126 31240 0 -1 4194368 43 0 0 0 0 0 0 0 22 0 4 0 1130529945 2473984 177 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32126/tid=32129] ppid=32124 vsize=2416 CPUtime=0
/proc/32126/task/32129/stat : 32129 (satake) R 32124 32126 31240 0 -1 4194368 59 0 0 0 0 0 0 0 21 0 4 0 1130529945 2473984 177 1992294400 134512640 135180984 4294956208 18446744073709551615 134520900 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0866139 s]
/proc/loadavg: 1.00 1.00 1.00 3/73 32126
/proc/meminfo: memFree=1458672/2055920 swapFree=4170060/4192956
[pid=32126] ppid=32124 vsize=2676 CPUtime=0.13
/proc/32126/stat : 32126 (satake) S 32124 32126 31240 0 -1 4194304 272 0 0 0 8 5 0 0 20 0 4 0 1130529945 2740224 257 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32126/statm: 669 257 70 163 0 504 0
[pid=32126/tid=32127] ppid=32124 vsize=2676 CPUtime=0.02
/proc/32126/task/32127/stat : 32127 (satake) R 32124 32126 31240 0 -1 4194368 25 0 0 0 0 2 0 0 18 0 4 0 1130529945 2740224 257 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32126/tid=32128] ppid=32124 vsize=2676 CPUtime=0.04
/proc/32126/task/32128/stat : 32128 (satake) R 32124 32126 31240 0 -1 4194368 77 0 0 0 3 1 0 0 16 0 4 0 1130529945 2740224 257 1992294400 134512640 135180984 4294956208 18446744073709551615 134528881 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32126/tid=32129] ppid=32124 vsize=2676 CPUtime=0.04
/proc/32126/task/32129/stat : 32129 (satake) S 32124 32126 31240 0 -1 4194368 87 0 0 0 3 1 0 0 16 0 4 0 1130529945 2740224 257 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2676

[startup+0.102722 s]
/proc/loadavg: 1.00 1.00 1.00 3/73 32126
/proc/meminfo: memFree=1458672/2055920 swapFree=4170060/4192956
[pid=32126] ppid=32124 vsize=2676 CPUtime=0.16
/proc/32126/stat : 32126 (satake) S 32124 32126 31240 0 -1 4194304 283 0 0 0 10 6 0 0 20 0 4 0 1130529945 2740224 268 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32126/statm: 669 268 70 163 0 504 0
[pid=32126/tid=32127] ppid=32124 vsize=2676 CPUtime=0.03
/proc/32126/task/32127/stat : 32127 (satake) R 32124 32126 31240 0 -1 4194368 26 0 0 0 0 3 0 0 18 0 4 0 1130529945 2740224 268 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32126/tid=32128] ppid=32124 vsize=2676 CPUtime=0.05
/proc/32126/task/32128/stat : 32128 (satake) S 32124 32126 31240 0 -1 4194368 82 0 0 0 4 1 0 0 16 0 4 0 1130529945 2740224 269 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32126/tid=32129] ppid=32124 vsize=2676 CPUtime=0.05
/proc/32126/task/32129/stat : 32129 (satake) S 32124 32126 31240 0 -1 4194368 92 0 0 0 4 1 0 0 16 0 4 0 1130529945 2740224 269 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 2676

[startup+0.301658 s]
/proc/loadavg: 1.00 1.00 1.00 3/73 32126
/proc/meminfo: memFree=1458672/2055920 swapFree=4170060/4192956
[pid=32126] ppid=32124 vsize=2808 CPUtime=0.48
/proc/32126/stat : 32126 (satake) S 32124 32126 31240 0 -1 4194304 348 0 0 0 32 16 0 0 20 0 4 0 1130529945 2875392 333 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32126/statm: 702 333 70 163 0 537 0
[pid=32126/tid=32127] ppid=32124 vsize=2808 CPUtime=0.11
/proc/32126/task/32127/stat : 32127 (satake) R 32124 32126 31240 0 -1 4194368 48 0 0 0 2 9 0 0 18 0 4 0 1130529945 2875392 333 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32126/tid=32128] ppid=32124 vsize=2808 CPUtime=0.18
/proc/32126/task/32128/stat : 32128 (satake) S 32124 32126 31240 0 -1 4194368 101 0 0 0 15 3 0 0 17 0 4 0 1130529945 2875392 333 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32126/tid=32129] ppid=32124 vsize=2808 CPUtime=0.17
/proc/32126/task/32129/stat : 32129 (satake) S 32124 32126 31240 0 -1 4194368 116 0 0 0 14 3 0 0 17 0 4 0 1130529945 2875392 333 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) 2808

[startup+0.70174 s]
/proc/loadavg: 1.00 1.00 1.00 3/73 32126
/proc/meminfo: memFree=1458672/2055920 swapFree=4170060/4192956
[pid=32126] ppid=32124 vsize=2940 CPUtime=1.15
/proc/32126/stat : 32126 (satake) S 32124 32126 31240 0 -1 4194304 421 0 0 0 78 37 0 0 20 0 4 0 1130529945 3010560 406 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32126/statm: 735 406 70 163 0 570 0
[pid=32126/tid=32127] ppid=32124 vsize=2940 CPUtime=0.25
/proc/32126/task/32127/stat : 32127 (satake) R 32124 32126 31240 0 -1 4194368 95 0 0 0 5 20 0 0 18 0 4 0 1130529945 3010560 406 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32126/tid=32128] ppid=32124 vsize=2940 CPUtime=0.44
/proc/32126/task/32128/stat : 32128 (satake) S 32124 32126 31240 0 -1 4194368 111 0 0 0 37 7 0 0 17 0 4 0 1130529945 3010560 406 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32126/tid=32129] ppid=32124 vsize=2940 CPUtime=0.44
/proc/32126/task/32129/stat : 32129 (satake) R 32124 32126 31240 0 -1 4194368 132 0 0 0 35 9 0 0 17 0 4 0 1130529945 3010560 406 1992294400 134512640 135180984 4294956208 18446744073709551615 134528701 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 2940

[startup+1.5019 s]
/proc/loadavg: 1.08 1.02 1.01 4/77 32130
/proc/meminfo: memFree=1456976/2055920 swapFree=4170060/4192956
[pid=32126] ppid=32124 vsize=3204 CPUtime=2.52
/proc/32126/stat : 32126 (satake) S 32124 32126 31240 0 -1 4194304 565 0 0 0 175 77 0 0 20 0 4 0 1130529945 3280896 550 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32126/statm: 801 550 70 163 0 636 0
[pid=32126/tid=32127] ppid=32124 vsize=3204 CPUtime=0.51
/proc/32126/task/32127/stat : 32127 (satake) R 32124 32126 31240 0 -1 4194368 184 0 0 0 11 40 0 0 17 0 4 0 1130529945 3280896 550 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32126/tid=32128] ppid=32124 vsize=3204 CPUtime=1
/proc/32126/task/32128/stat : 32128 (satake) R 32124 32126 31240 0 -1 4194368 131 0 0 0 83 17 0 0 17 0 4 0 1130529945 3280896 550 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32126/tid=32129] ppid=32124 vsize=3204 CPUtime=0.99
/proc/32126/task/32129/stat : 32129 (satake) S 32124 32126 31240 0 -1 4194368 167 0 0 0 81 18 0 0 15 0 4 0 1130529945 3280896 550 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 3204

[startup+3.10237 s]
/proc/loadavg: 1.08 1.02 1.01 3/77 32130
/proc/meminfo: memFree=1456080/2055920 swapFree=4170060/4192956
[pid=32126] ppid=32124 vsize=4660 CPUtime=5.31
/proc/32126/stat : 32126 (satake) S 32124 32126 31240 0 -1 4194304 822 0 0 0 379 152 0 0 20 0 4 0 1130529945 4771840 807 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32126/statm: 1165 807 70 163 0 1000 0
[pid=32126/tid=32127] ppid=32124 vsize=4660 CPUtime=1.01
/proc/32126/task/32127/stat : 32127 (satake) R 32124 32126 31240 0 -1 4194368 351 0 0 0 22 79 0 0 18 0 4 0 1130529945 4771840 807 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32126/tid=32128] ppid=32124 vsize=4660 CPUtime=2.14
/proc/32126/task/32128/stat : 32128 (satake) R 32124 32126 31240 0 -1 4194368 175 0 0 0 179 35 0 0 16 0 4 0 1130529945 4771840 807 1992294400 134512640 135180984 4294956208 18446744073709551615 134532433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32126/tid=32129] ppid=32124 vsize=4660 CPUtime=2.13
/proc/32126/task/32129/stat : 32129 (satake) S 32124 32126 31240 0 -1 4194368 213 0 0 0 177 36 0 0 16 0 4 0 1130529945 4771840 807 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.31
Current children cumulated vsize (KiB) 4660

[startup+6.30202 s]
/proc/loadavg: 1.23 1.05 1.02 3/77 32130
/proc/meminfo: memFree=1454112/2055920 swapFree=4170060/4192956
[pid=32126] ppid=32124 vsize=6376 CPUtime=10.94
/proc/32126/stat : 32126 (satake) S 32124 32126 31240 0 -1 4194304 1300 0 0 0 792 302 0 0 20 0 4 0 1130529945 6529024 1285 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32126/statm: 1594 1285 70 163 0 1429 0
[pid=32126/tid=32127] ppid=32124 vsize=6376 CPUtime=2.03
/proc/32126/task/32127/stat : 32127 (satake) R 32124 32126 31240 0 -1 4194368 666 0 0 0 44 159 0 0 17 0 4 0 1130529945 6529024 1285 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32126/tid=32128] ppid=32124 vsize=6376 CPUtime=4.47
/proc/32126/task/32128/stat : 32128 (satake) R 32124 32126 31240 0 -1 4194368 259 0 0 0 378 69 0 0 16 0 4 0 1130529945 6529024 1285 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32126/tid=32129] ppid=32124 vsize=6376 CPUtime=4.42
/proc/32126/task/32129/stat : 32129 (satake) S 32124 32126 31240 0 -1 4194368 292 0 0 0 369 73 0 0 16 0 4 0 1130529945 6529024 1285 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.94
Current children cumulated vsize (KiB) 6376

[startup+12.7023 s]
/proc/loadavg: 1.29 1.06 1.02 3/77 32130
/proc/meminfo: memFree=1450848/2055920 swapFree=4170060/4192956
[pid=32126] ppid=32124 vsize=9844 CPUtime=22.41
/proc/32126/stat : 32126 (satake) S 32124 32126 31240 0 -1 4194304 2033 0 0 0 1653 588 0 0 20 0 4 0 1130529945 10080256 2018 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32126/statm: 2461 2018 70 163 0 2296 0
[pid=32126/tid=32127] ppid=32124 vsize=9844 CPUtime=3.96
/proc/32126/task/32127/stat : 32127 (satake) R 32124 32126 31240 0 -1 4194368 1188 0 0 0 79 317 0 0 18 0 4 0 1130529945 10080256 2018 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32126/tid=32128] ppid=32124 vsize=9844 CPUtime=9.24
/proc/32126/task/32128/stat : 32128 (satake) R 32124 32126 31240 0 -1 4194368 355 0 0 0 791 133 0 0 16 0 4 0 1130529945 10080256 2018 1992294400 134512640 135180984 4294956208 18446744073709551615 134520671 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32126/tid=32129] ppid=32124 vsize=9844 CPUtime=9.18
/proc/32126/task/32129/stat : 32129 (satake) R 32124 32126 31240 0 -1 4194368 407 0 0 0 782 136 0 0 15 0 4 0 1130529945 10080256 2018 1992294400 134512640 135180984 4294956208 18446744073709551615 134528683 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 22.41
Current children cumulated vsize (KiB) 9844

[startup+25.5018 s]
/proc/loadavg: 1.59 1.14 1.05 4/77 32130
/proc/meminfo: memFree=1444640/2055920 swapFree=4170060/4192956
[pid=32126] ppid=32124 vsize=15624 CPUtime=45.49
/proc/32126/stat : 32126 (satake) S 32124 32126 31240 0 -1 4194304 3532 0 0 0 3387 1162 0 0 20 0 4 0 1130529945 15998976 3517 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32126/statm: 3906 3517 70 163 0 3741 0
[pid=32126/tid=32127] ppid=32124 vsize=15624 CPUtime=7.92
/proc/32126/task/32127/stat : 32127 (satake) R 32124 32126 31240 0 -1 4194368 2227 0 0 0 160 632 0 0 18 0 4 0 1130529945 15998976 3517 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32126/tid=32128] ppid=32124 vsize=15624 CPUtime=18.82
/proc/32126/task/32128/stat : 32128 (satake) S 32124 32126 31240 0 -1 4194368 581 0 0 0 1619 263 0 0 15 0 4 0 1130529945 15998976 3517 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=32126/tid=32129] ppid=32124 vsize=15624 CPUtime=18.73
/proc/32126/task/32129/stat : 32129 (satake) S 32124 32126 31240 0 -1 4194368 641 0 0 0 1607 266 0 0 16 0 4 0 1130529945 15998976 3517 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 45.49
Current children cumulated vsize (KiB) 15624

[startup+51.1011 s]
/proc/loadavg: 1.79 1.23 1.08 3/77 32130
/proc/meminfo: memFree=1433952/2055920 swapFree=4170060/4192956
[pid=32126] ppid=32124 vsize=27928 CPUtime=92.34
/proc/32126/stat : 32126 (satake) S 32124 32126 31240 0 -1 4194304 6219 0 0 0 6942 2292 0 0 20 0 4 0 1130529945 28598272 6204 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32126/statm: 6982 6204 70 163 0 6817 0
[pid=32126/tid=32127] ppid=32124 vsize=27928 CPUtime=15.37
/proc/32126/task/32127/stat : 32127 (satake) S 32124 32126 31240 0 -1 4194368 4245 0 0 0 318 1219 0 0 15 0 4 0 1130529945 28598272 6204 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32126/tid=32128] ppid=32124 vsize=27928 CPUtime=38.49
/proc/32126/task/32128/stat : 32128 (satake) R 32124 32126 31240 0 -1 4194368 970 0 0 0 3318 531 0 0 16 0 4 0 1130529945 28598272 6204 1992294400 134512640 135180984 4294956208 18446744073709551615 134528836 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32126/tid=32129] ppid=32124 vsize=27928 CPUtime=38.46
/proc/32126/task/32129/stat : 32129 (satake) R 32124 32126 31240 0 -1 4194368 921 0 0 0 3305 541 0 0 16 0 4 0 1130529945 28598272 6204 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 92.34
Current children cumulated vsize (KiB) 27928

[startup+102.306 s]
/proc/loadavg: 2.11 1.39 1.14 3/77 32130
/proc/meminfo: memFree=1413984/2055920 swapFree=4170060/4192956
[pid=32126] ppid=32124 vsize=49940 CPUtime=187.83
/proc/32126/stat : 32126 (satake) S 32124 32126 31240 0 -1 4194304 11134 0 0 0 14349 4434 0 0 20 0 4 0 1130529945 51138560 11119 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32126/statm: 12485 11119 70 163 0 12320 0
[pid=32126/tid=32127] ppid=32124 vsize=49940 CPUtime=28.51
/proc/32126/task/32127/stat : 32127 (satake) S 32124 32126 31240 0 -1 4194368 7996 0 0 0 599 2252 0 0 16 0 4 0 1130529945 51138560 11119 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32126/tid=32128] ppid=32124 vsize=49940 CPUtime=79.56
/proc/32126/task/32128/stat : 32128 (satake) R 32124 32126 31240 0 -1 4194368 1557 0 0 0 6863 1093 0 0 16 0 4 0 1130529945 51138560 11119 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32126/tid=32129] ppid=32124 vsize=49940 CPUtime=79.74
/proc/32126/task/32129/stat : 32129 (satake) R 32124 32126 31240 0 -1 4194368 1498 0 0 0 6886 1088 0 0 16 0 4 0 1130529945 51138560 11119 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 187.83
Current children cumulated vsize (KiB) 49940

[startup+162.302 s]
/proc/loadavg: 2.24 1.56 1.21 4/77 32130
/proc/meminfo: memFree=1390944/2055920 swapFree=4170060/4192956
[pid=32126] ppid=32124 vsize=78144 CPUtime=300.22
/proc/32126/stat : 32126 (satake) S 32124 32126 31240 0 -1 4194304 16902 0 0 0 23027 6995 0 0 20 0 4 0 1130529945 80019456 16887 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32126/statm: 19536 16887 70 163 0 19371 0
[pid=32126/tid=32127] ppid=32124 vsize=78144 CPUtime=44.41
/proc/32126/task/32127/stat : 32127 (satake) S 32124 32126 31240 0 -1 4194368 12511 0 0 0 951 3490 0 0 15 0 4 0 1130529945 80019456 16887 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32126/tid=32128] ppid=32124 vsize=78144 CPUtime=127.96
/proc/32126/task/32128/stat : 32128 (satake) R 32124 32126 31240 0 -1 4194368 2079 0 0 0 11037 1759 0 0 16 0 4 0 1130529945 80019456 16887 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32126/tid=32129] ppid=32124 vsize=78144 CPUtime=127.82
/proc/32126/task/32129/stat : 32129 (satake) R 32124 32126 31240 0 -1 4194368 2229 0 0 0 11038 1744 0 0 16 0 4 0 1130529945 80019456 16887 1992294400 134512640 135180984 4294956208 18446744073709551615 134528526 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 300.22
Current children cumulated vsize (KiB) 78144

[startup+222.303 s]
/proc/loadavg: 2.26 1.69 1.28 3/77 32130
/proc/meminfo: memFree=1370464/2055920 swapFree=4170060/4192956
[pid=32126] ppid=32124 vsize=101376 CPUtime=413.68
/proc/32126/stat : 32126 (satake) S 32124 32126 31240 0 -1 4194304 22008 0 0 0 31947 9421 0 0 20 0 4 0 1130529945 103809024 21993 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32126/statm: 25344 21993 70 163 0 25179 0
[pid=32126/tid=32127] ppid=32124 vsize=101376 CPUtime=59.22
/proc/32126/task/32127/stat : 32127 (satake) R 32124 32126 31240 0 -1 4194368 16363 0 0 0 1276 4646 0 0 16 0 4 0 1130529945 103809024 21993 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32126/tid=32128] ppid=32124 vsize=101376 CPUtime=177.52
/proc/32126/task/32128/stat : 32128 (satake) S 32124 32126 31240 0 -1 4194368 2658 0 0 0 15358 2394 0 0 15 0 4 0 1130529945 103809024 21993 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32126/tid=32129] ppid=32124 vsize=101376 CPUtime=176.92
/proc/32126/task/32129/stat : 32129 (satake) R 32124 32126 31240 0 -1 4194368 2904 0 0 0 15312 2380 0 0 16 0 4 0 1130529945 103809024 21993 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 413.68
Current children cumulated vsize (KiB) 101376

[startup+282.303 s]
/proc/loadavg: 2.42 1.84 1.35 3/77 32130
/proc/meminfo: memFree=1350432/2055920 swapFree=4170060/4192956
[pid=32126] ppid=32124 vsize=125960 CPUtime=527.09
/proc/32126/stat : 32126 (satake) S 32124 32126 31240 0 -1 4194304 27040 0 0 0 40883 11826 0 0 20 0 4 0 1130529945 128983040 27025 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32126/statm: 31490 27025 70 163 0 31325 0
[pid=32126/tid=32127] ppid=32124 vsize=125960 CPUtime=73.86
/proc/32126/task/32127/stat : 32127 (satake) S 32124 32126 31240 0 -1 4194368 20125 0 0 0 1595 5791 0 0 15 0 4 0 1130529945 128983040 27025 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32126/tid=32128] ppid=32124 vsize=125960 CPUtime=226.99
/proc/32126/task/32128/stat : 32128 (satake) R 32124 32126 31240 0 -1 4194368 3130 0 0 0 19672 3027 0 0 16 0 4 0 1130529945 128983040 27025 1992294400 134512640 135180984 4294956208 18446744073709551615 134520896 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32126/tid=32129] ppid=32124 vsize=125960 CPUtime=226.22
/proc/32126/task/32129/stat : 32129 (satake) R 32124 32126 31240 0 -1 4194368 3702 0 0 0 19616 3006 0 0 16 0 4 0 1130529945 128983040 27025 1992294400 134512640 135180984 4294956208 18446744073709551615 134520013 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 527.09
Current children cumulated vsize (KiB) 125960

[startup+342.301 s]
/proc/loadavg: 2.38 1.93 1.41 3/77 32130
/proc/meminfo: memFree=1330784/2055920 swapFree=4170060/4192956
[pid=32126] ppid=32124 vsize=150164 CPUtime=640.89
/proc/32126/stat : 32126 (satake) S 32124 32126 31240 0 -1 4194304 31900 0 0 0 49932 14157 0 0 20 0 4 0 1130529945 153767936 31885 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32126/statm: 37541 31885 70 163 0 37376 0
[pid=32126/tid=32127] ppid=32124 vsize=150164 CPUtime=88.16
/proc/32126/task/32127/stat : 32127 (satake) R 32124 32126 31240 0 -1 4194368 23705 0 0 0 1911 6905 0 0 16 0 4 0 1130529945 153767936 31885 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32126/tid=32128] ppid=32124 vsize=150164 CPUtime=276.75
/proc/32126/task/32128/stat : 32128 (satake) R 32124 32126 31240 0 -1 4194368 3777 0 0 0 24037 3638 0 0 16 0 4 0 1130529945 153767936 31885 1992294400 134512640 135180984 4294956208 18446744073709551615 134528862 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32126/tid=32129] ppid=32124 vsize=150164 CPUtime=275.96
/proc/32126/task/32129/stat : 32129 (satake) R 32124 32126 31240 0 -1 4194368 4335 0 0 0 23983 3613 0 0 16 0 4 0 1130529945 153767936 31885 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 640.89
Current children cumulated vsize (KiB) 150164

[startup+402.301 s]
/proc/loadavg: 2.35 2.00 1.46 3/77 32130
/proc/meminfo: memFree=1311648/2055920 swapFree=4170060/4192956
[pid=32126] ppid=32124 vsize=170676 CPUtime=754.69
/proc/32126/stat : 32126 (satake) S 32124 32126 31240 0 -1 4194304 36733 0 0 0 58946 16523 0 0 20 0 4 0 1130529945 174772224 36718 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32126/statm: 42669 36718 70 163 0 42504 0
[pid=32126/tid=32127] ppid=32124 vsize=170676 CPUtime=102.43
/proc/32126/task/32127/stat : 32127 (satake) R 32124 32126 31240 0 -1 4194368 27123 0 0 0 2213 8030 0 0 16 0 4 0 1130529945 174772224 36718 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32126/tid=32128] ppid=32124 vsize=170676 CPUtime=326.78
/proc/32126/task/32128/stat : 32128 (satake) R 32124 32126 31240 0 -1 4194368 4398 0 0 0 28418 4260 0 0 16 0 4 0 1130529945 174772224 36718 1992294400 134512640 135180984 4294956208 18446744073709551615 134525183 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32126/tid=32129] ppid=32124 vsize=170676 CPUtime=325.46
/proc/32126/task/32129/stat : 32129 (satake) R 32124 32126 31240 0 -1 4194368 5129 0 0 0 28315 4231 0 0 15 0 4 0 1130529945 174772224 36718 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 754.69
Current children cumulated vsize (KiB) 170676

[startup+462.301 s]
/proc/loadavg: 2.35 2.06 1.52 3/77 32130
/proc/meminfo: memFree=1291296/2055920 swapFree=4170060/4192956
[pid=32126] ppid=32124 vsize=195320 CPUtime=868.42
/proc/32126/stat : 32126 (satake) S 32124 32126 31240 0 -1 4194304 41755 0 0 0 67942 18900 0 0 20 0 4 0 1130529945 200007680 41740 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32126/statm: 48830 41740 70 163 0 48665 0
[pid=32126/tid=32127] ppid=32124 vsize=195320 CPUtime=117
/proc/32126/task/32127/stat : 32127 (satake) R 32124 32126 31240 0 -1 4194368 30628 0 0 0 2534 9166 0 0 16 0 4 0 1130529945 200007680 41740 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32126/tid=32128] ppid=32124 vsize=195320 CPUtime=376.45
/proc/32126/task/32128/stat : 32128 (satake) R 32124 32126 31240 0 -1 4194368 4985 0 0 0 32762 4883 0 0 16 0 4 0 1130529945 200007680 41740 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32126/tid=32129] ppid=32124 vsize=195320 CPUtime=374.95
/proc/32126/task/32129/stat : 32129 (satake) R 32124 32126 31240 0 -1 4194368 6059 0 0 0 32645 4850 0 0 16 0 4 0 1130529945 200007680 41740 1992294400 134512640 135180984 4294956208 18446744073709551615 134528766 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 868.42
Current children cumulated vsize (KiB) 195320

[startup+522.302 s]
/proc/loadavg: 2.39 2.12 1.57 3/77 32130
/proc/meminfo: memFree=1271456/2055920 swapFree=4170060/4192956
[pid=32126] ppid=32124 vsize=223332 CPUtime=982.03
/proc/32126/stat : 32126 (satake) S 32124 32126 31240 0 -1 4194304 46752 0 0 0 76905 21298 0 0 20 0 4 0 1130529945 228691968 46737 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32126/statm: 55833 46737 70 163 0 55668 0
[pid=32126/tid=32127] ppid=32124 vsize=223332 CPUtime=131.71
/proc/32126/task/32127/stat : 32127 (satake) S 32124 32126 31240 0 -1 4194368 33969 0 0 0 2859 10312 0 0 15 0 4 0 1130529945 228691968 46737 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=32126/tid=32128] ppid=32124 vsize=223332 CPUtime=426.21
/proc/32126/task/32128/stat : 32128 (satake) R 32124 32126 31240 0 -1 4194368 5745 0 0 0 37110 5511 0 0 17 0 4 0 1130529945 228691968 46737 1992294400 134512640 135180984 4294956208 18446744073709551615 134527255 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32126/tid=32129] ppid=32124 vsize=223332 CPUtime=424.09
/proc/32126/task/32129/stat : 32129 (satake) R 32124 32126 31240 0 -1 4194368 6955 0 0 0 36935 5474 0 0 15 0 4 0 1130529945 228691968 46737 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 982.03
Current children cumulated vsize (KiB) 223332

[startup+582.303 s]
/proc/loadavg: 2.29 2.13 1.60 3/77 32131
/proc/meminfo: memFree=1250144/2055920 swapFree=4170060/4192956
[pid=32126] ppid=32124 vsize=247644 CPUtime=1094.8
/proc/32126/stat : 32126 (satake) S 32124 32126 31240 0 -1 4194304 52033 0 0 0 85661 23819 0 0 20 0 4 0 1130529945 253587456 52018 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32126/statm: 61911 52018 70 163 0 61746 0
[pid=32126/tid=32127] ppid=32124 vsize=247644 CPUtime=147.26
/proc/32126/task/32127/stat : 32127 (satake) S 32124 32126 31240 0 -1 4194368 37542 0 0 0 3206 11520 0 0 16 0 4 0 1130529945 253587456 52018 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=32126/tid=32128] ppid=32124 vsize=247644 CPUtime=475.3
/proc/32126/task/32128/stat : 32128 (satake) R 32124 32126 31240 0 -1 4194368 6489 0 0 0 41351 6179 0 0 16 0 4 0 1130529945 253587456 52018 1992294400 134512640 135180984 4294956208 18446744073709551615 134528465 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32126/tid=32129] ppid=32124 vsize=247644 CPUtime=472.21
/proc/32126/task/32129/stat : 32129 (satake) R 32124 32126 31240 0 -1 4194368 7919 0 0 0 41103 6118 0 0 16 0 4 0 1130529945 253587456 52018 1992294400 134512640 135180984 4294956208 18446744073709551615 134519919 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1094.8
Current children cumulated vsize (KiB) 247644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+638.006 s]
/proc/loadavg: 2.42 2.20 1.65 3/77 32132
/proc/meminfo: memFree=1230496/2055920 swapFree=4170060/4192956
[pid=32126] ppid=32124 vsize=272180 CPUtime=1200.08
/proc/32126/stat : 32126 (satake) S 32124 32126 31240 0 -1 4194304 56878 0 0 0 93921 26087 0 0 20 0 4 0 1130529945 278712320 56863 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32126/statm: 68045 56863 70 163 0 67880 0
[pid=32126/tid=32127] ppid=32124 vsize=272180 CPUtime=161.24
/proc/32126/task/32127/stat : 32127 (satake) R 32124 32126 31240 0 -1 4194368 40842 0 0 0 3505 12619 0 0 16 0 4 0 1130529945 278712320 56863 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32126/tid=32128] ppid=32124 vsize=272180 CPUtime=520.98
/proc/32126/task/32128/stat : 32128 (satake) S 32124 32126 31240 0 -1 4194368 7226 0 0 0 45338 6760 0 0 16 0 4 0 1130529945 278712320 56863 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32126/tid=32129] ppid=32124 vsize=272180 CPUtime=517.84
/proc/32126/task/32129/stat : 32129 (satake) R 32124 32126 31240 0 -1 4194368 8727 0 0 0 45077 6707 0 0 15 0 4 0 1130529945 278712320 56863 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 272180

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): 638.055
CPU time (s): 1200.14
CPU user time (s): 939.225
CPU system time (s): 260.913
CPU usage (%): 188.093
Max. virtual memory (cumulated for all children) (KiB): 272180

deleting IPC queue 2326528
deleting IPC queue 2359297
deleting IPC queue 2392066
deleting IPC queue 2424835
deleting IPC queue 2457604
deleting IPC queue 2490373
deleting IPC queue 2523142
deleting IPC queue 2555911
deleting IPC queue 2588680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 939.225
system time used= 260.913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56879
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= 11201620
involuntary context switches= 10471696

runsolver used 0.864868 second user time and 2.19867 second system time

The end

Launcher Data 

Begin job on node80 at 2009-04-01 11:37:40
IDJOB=1543839
IDBENCH=70680
IDSOLVER=553
FILE ID=node80/1543839-1238578660
PBS_JOBID= 9062182
Free space on /tmp= 64800 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/SATISFIABLE/560/unif-k3-r4.25-v560-c2380-S1876865608-086.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543839-1238578660/watcher-1543839-1238578660 -o /tmp/evaluation-result-1543839-1238578660/solver-1543839-1238578660 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543839-1238578660.cnf 3 1200

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

MD5SUM BENCH= a08fcca560a80877927507a2ea133f40
RANDOM SEED=1736710654

node80.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.263
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.263
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1459088 kB
Buffers:         92084 kB
Cached:         408040 kB
SwapCached:      14568 kB
Active:         236152 kB
Inactive:       280376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1459088 kB
SwapTotal:     4192956 kB
SwapFree:      4170060 kB
Dirty:             784 kB
Writeback:           0 kB
Mapped:          22020 kB
Slab:            65348 kB
Committed_AS:  3009236 kB
PageTables:       2008 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= 64796 MiB
End job on node80 at 2009-04-01 11:48:20