Trace number 1723346

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.4 601.89

General information on the benchmark

Namevelev-pipe-sat-1.0-b10.cnf
MD5SUMa9abd96191efca8626c02160761beedd
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark14.1628
Satisfiable
(Un)Satisfiability was proved
Number of variables118040
Number of clauses8804672
Sum of the clauses size26208080
Maximum clause length340
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 28252265
Number of clauses of size 3456959
Number of clauses of size 4620
Number of clauses of size 5552
Number of clauses of size over 594275

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1723346-1240685408/watcher-1723346-1240685408 -o /tmp/evaluation-result-1723346-1240685408/solver-1723346-1240685408 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1723346-1240685408.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/64 15894
/proc/meminfo: memFree=1741992/2055920 swapFree=4191692/4192956
[pid=15894] ppid=15892 vsize=5240 CPUtime=0
/proc/15894/stat : 15894 (satake) S 15892 15894 15468 0 -1 4194304 661 0 0 0 0 0 0 0 18 0 4 0 96569228 5365760 646 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15894/statm: 1310 653 65 163 0 1145 0
[pid=15894/tid=15895] ppid=15892 vsize=5240 CPUtime=0
/proc/15894/task/15895/stat : 15895 (satake) S 15892 15894 15468 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 96569228 5365760 671 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=5240 CPUtime=0
/proc/15894/task/15896/stat : 15896 (satake) R 15892 15894 15468 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 4 0 96569228 5365760 681 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=5240 CPUtime=0
/proc/15894/task/15897/stat : 15897 (satake) R 15892 15894 15468 0 -1 4194368 597 0 0 0 0 0 0 0 20 0 4 0 96569228 5365760 689 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0

[startup+0.083438 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15894
/proc/meminfo: memFree=1741992/2055920 swapFree=4191692/4192956
[pid=15894] ppid=15892 vsize=66684 CPUtime=0.15
/proc/15894/stat : 15894 (satake) S 15892 15894 15468 0 -1 4194304 15287 0 0 0 0 15 0 0 18 0 4 0 96569228 68284416 15272 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15894/statm: 16671 15281 65 163 0 16506 0
[pid=15894/tid=15895] ppid=15892 vsize=66684 CPUtime=0
/proc/15894/task/15895/stat : 15895 (satake) S 15892 15894 15468 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 96569228 68284416 15286 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=66684 CPUtime=0.07
/proc/15894/task/15896/stat : 15896 (satake) R 15892 15894 15468 0 -1 4194368 7230 0 0 0 0 7 0 0 18 0 4 0 96569228 68284416 15294 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15894/tid=15897] ppid=15892 vsize=66684 CPUtime=0.07
/proc/15894/task/15897/stat : 15897 (satake) R 15892 15894 15468 0 -1 4194368 7996 0 0 0 0 7 0 0 18 0 4 0 96569228 68284416 15301 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 66684

[startup+0.102444 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15894
/proc/meminfo: memFree=1741992/2055920 swapFree=4191692/4192956
[pid=15894] ppid=15892 vsize=132220 CPUtime=0.18
/proc/15894/stat : 15894 (satake) S 15892 15894 15468 0 -1 4194304 18492 0 0 0 0 18 0 0 18 0 4 0 96569228 135393280 18478 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15894/statm: 33055 18487 65 163 0 32890 0
[pid=15894/tid=15895] ppid=15892 vsize=132220 CPUtime=0
/proc/15894/task/15895/stat : 15895 (satake) S 15892 15894 15468 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 96569228 135393280 18494 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=132220 CPUtime=0.09
/proc/15894/task/15896/stat : 15896 (satake) R 15892 15894 15468 0 -1 4194368 8787 0 0 0 0 9 0 0 18 0 4 0 96569228 135393280 18500 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15894/tid=15897] ppid=15892 vsize=132220 CPUtime=0.09
/proc/15894/task/15897/stat : 15897 (satake) R 15892 15894 15468 0 -1 4194368 9645 0 0 0 0 9 0 0 18 0 4 0 96569228 135393280 18507 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 132220

[startup+0.302452 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15894
/proc/meminfo: memFree=1741992/2055920 swapFree=4191692/4192956
[pid=15894] ppid=15892 vsize=263292 CPUtime=0.58
/proc/15894/stat : 15894 (satake) S 15892 15894 15468 0 -1 4194304 56708 0 0 0 0 58 0 0 18 0 4 0 96569228 269611008 56693 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15894/statm: 65823 56702 65 163 0 65658 0
[pid=15894/tid=15895] ppid=15892 vsize=263292 CPUtime=0
/proc/15894/task/15895/stat : 15895 (satake) S 15892 15894 15468 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 96569228 269611008 56707 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=263292 CPUtime=0.28
/proc/15894/task/15896/stat : 15896 (satake) R 15892 15894 15468 0 -1 4194368 27612 0 0 0 0 28 0 0 19 0 4 0 96569228 269611008 56714 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15894/tid=15897] ppid=15892 vsize=263292 CPUtime=0.29
/proc/15894/task/15897/stat : 15897 (satake) R 15892 15894 15468 0 -1 4194368 29033 0 0 0 0 29 0 0 19 0 4 0 96569228 269611008 56720 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 263292

[startup+0.702466 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15894
/proc/meminfo: memFree=1741992/2055920 swapFree=4191692/4192956
[pid=15894] ppid=15892 vsize=356180 CPUtime=1.35
/proc/15894/stat : 15894 (satake) S 15892 15894 15468 0 -1 4194304 88722 0 0 0 45 90 0 0 18 0 4 0 96569228 364728320 88705 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15894/statm: 89045 88705 65 163 0 88880 0
[pid=15894/tid=15895] ppid=15892 vsize=356180 CPUtime=0
/proc/15894/task/15895/stat : 15895 (satake) S 15892 15894 15468 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 96569228 364728320 88705 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=356180 CPUtime=0.66
/proc/15894/task/15896/stat : 15896 (satake) R 15892 15894 15468 0 -1 4194368 44247 0 0 0 21 45 0 0 16 0 4 0 96569228 364728320 88705 1992294400 134512640 135180984 4294956208 18446744073709551615 134513837 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15894/tid=15897] ppid=15892 vsize=356180 CPUtime=0.67
/proc/15894/task/15897/stat : 15897 (satake) R 15892 15894 15468 0 -1 4194368 44385 0 0 0 23 44 0 0 16 0 4 0 96569228 364728320 88705 1992294400 134512640 135180984 4294956208 18446744073709551615 134513869 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 356180

[startup+1.50252 s]
/proc/loadavg: 1.00 1.00 1.00 3/68 15898
/proc/meminfo: memFree=1360776/2055920 swapFree=4191692/4192956
[pid=15894] ppid=15892 vsize=431628 CPUtime=2.92
/proc/15894/stat : 15894 (satake) S 15892 15894 15468 0 -1 4194304 105978 0 0 0 191 101 0 0 18 0 4 0 96569228 441987072 105955 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15894/statm: 107907 105956 65 163 0 107742 0
[pid=15894/tid=15895] ppid=15892 vsize=431628 CPUtime=0
/proc/15894/task/15895/stat : 15895 (satake) S 15892 15894 15468 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 96569228 441987072 105956 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=431628 CPUtime=1.46
/proc/15894/task/15896/stat : 15896 (satake) R 15892 15894 15468 0 -1 4194368 52733 0 0 0 94 52 0 0 16 0 4 0 96569228 441987072 105956 1992294400 134512640 135180984 4294956208 18446744073709551615 134513741 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15894/tid=15897] ppid=15892 vsize=431628 CPUtime=1.46
/proc/15894/task/15897/stat : 15897 (satake) R 15892 15894 15468 0 -1 4194368 53158 0 0 0 97 49 0 0 16 0 4 0 96569228 441987072 105958 1992294400 134512640 135180984 4294956208 18446744073709551615 134520025 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 431628

[startup+3.10387 s]
/proc/loadavg: 1.00 1.00 1.00 3/68 15898
/proc/meminfo: memFree=1268552/2055920 swapFree=4191692/4192956
[pid=15894] ppid=15892 vsize=588448 CPUtime=6.1
/proc/15894/stat : 15894 (satake) S 15892 15894 15468 0 -1 4194304 140511 0 0 0 485 125 0 0 18 0 4 0 96569228 602570752 140488 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15894/statm: 147112 140488 65 163 0 146947 0
[pid=15894/tid=15895] ppid=15892 vsize=588448 CPUtime=0
/proc/15894/task/15895/stat : 15895 (satake) S 15892 15894 15468 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 96569228 602570752 140488 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=588448 CPUtime=3.04
/proc/15894/task/15896/stat : 15896 (satake) S 15892 15894 15468 0 -1 4194368 69734 0 0 0 239 65 0 0 15 0 4 0 96569228 602570752 140488 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
[pid=15894/tid=15897] ppid=15892 vsize=588448 CPUtime=3.04
/proc/15894/task/15897/stat : 15897 (satake) R 15892 15894 15468 0 -1 4194368 70687 0 0 0 245 59 0 0 15 0 4 0 96569228 602570752 140488 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 588448

[startup+6.3021 s]
/proc/loadavg: 1.08 1.02 1.01 3/68 15898
/proc/meminfo: memFree=995912/2055920 swapFree=4191692/4192956
[pid=15894] ppid=15892 vsize=864232 CPUtime=12.44
/proc/15894/stat : 15894 (satake) S 15892 15894 15468 0 -1 4194304 204453 0 0 0 1076 168 0 0 18 0 4 0 96569228 884973568 204430 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15894/statm: 216058 204430 65 163 0 215893 0
[pid=15894/tid=15895] ppid=15892 vsize=864232 CPUtime=0
/proc/15894/task/15895/stat : 15895 (satake) S 15892 15894 15468 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 96569228 884973568 204430 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=864232 CPUtime=6.21
/proc/15894/task/15896/stat : 15896 (satake) D 15892 15894 15468 0 -1 4194368 102769 0 0 0 533 88 0 0 15 0 4 0 96569228 884973568 204430 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=864232 CPUtime=6.22
/proc/15894/task/15897/stat : 15897 (satake) R 15892 15894 15468 0 -1 4194368 101594 0 0 0 542 80 0 0 16 0 4 0 96569228 884973568 204430 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 864232

[startup+12.7021 s]
/proc/loadavg: 1.15 1.03 1.01 3/68 15898
/proc/meminfo: memFree=1098824/2055920 swapFree=4191692/4192956
[pid=15894] ppid=15892 vsize=676216 CPUtime=25.17
/proc/15894/stat : 15894 (satake) S 15892 15894 15468 0 -1 4194304 244809 0 0 0 2313 204 0 0 18 0 4 0 96569228 692445184 161683 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15894/statm: 169054 161683 70 163 0 168889 0
[pid=15894/tid=15895] ppid=15892 vsize=676216 CPUtime=0.04
/proc/15894/task/15895/stat : 15895 (satake) S 15892 15894 15468 0 -1 4194368 2017 0 0 0 2 2 0 0 16 0 4 0 96569228 692445184 161683 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=676216 CPUtime=12.52
/proc/15894/task/15896/stat : 15896 (satake) R 15892 15894 15468 0 -1 4194368 122686 0 0 0 1147 105 0 0 18 0 4 0 96569228 692445184 161683 1992294400 134512640 135180984 4294956208 18446744073709551615 134528655 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=676216 CPUtime=12.58
/proc/15894/task/15897/stat : 15897 (satake) R 15892 15894 15468 0 -1 4194368 120023 0 0 0 1162 96 0 0 17 0 4 0 96569228 692445184 161683 1992294400 134512640 135180984 4294956208 18446744073709551615 134528655 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 676216

[startup+25.5019 s]
/proc/loadavg: 1.34 1.08 1.02 3/68 15898
/proc/meminfo: memFree=1081800/2055920 swapFree=4191692/4192956
[pid=15894] ppid=15892 vsize=691972 CPUtime=50.7
/proc/15894/stat : 15894 (satake) S 15892 15894 15468 0 -1 4194304 248817 0 0 0 4850 220 0 0 18 0 4 0 96569228 708579328 165691 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15894/statm: 172993 165691 70 163 0 172828 0
[pid=15894/tid=15895] ppid=15892 vsize=691972 CPUtime=0.11
/proc/15894/task/15895/stat : 15895 (satake) S 15892 15894 15468 0 -1 4194368 2020 0 0 0 4 7 0 0 16 0 4 0 96569228 708579328 165691 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15894/tid=15896] ppid=15892 vsize=691972 CPUtime=25.23
/proc/15894/task/15896/stat : 15896 (satake) R 15892 15894 15468 0 -1 4194368 123525 0 0 0 2415 108 0 0 23 0 4 0 96569228 708579328 165691 1992294400 134512640 135180984 4294956208 18446744073709551615 134528677 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=691972 CPUtime=25.33
/proc/15894/task/15897/stat : 15897 (satake) R 15892 15894 15468 0 -1 4194368 123189 0 0 0 2429 104 0 0 25 0 4 0 96569228 708579328 165691 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 691972

[startup+51.1016 s]
/proc/loadavg: 1.56 1.15 1.05 3/68 15898
/proc/meminfo: memFree=1033672/2055920 swapFree=4191692/4192956
[pid=15894] ppid=15892 vsize=743032 CPUtime=101.66
/proc/15894/stat : 15894 (satake) S 15892 15894 15468 0 -1 4194304 261071 0 0 0 9914 252 0 0 18 0 4 0 96569228 760864768 177932 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15894/statm: 185758 177932 70 163 0 185593 0
[pid=15894/tid=15895] ppid=15892 vsize=743032 CPUtime=0.22
/proc/15894/task/15895/stat : 15895 (satake) S 15892 15894 15468 0 -1 4194368 2032 0 0 0 7 15 0 0 16 0 4 0 96569228 760864768 177932 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=743032 CPUtime=50.68
/proc/15894/task/15896/stat : 15896 (satake) R 15892 15894 15468 0 -1 4194368 129596 0 0 0 4948 120 0 0 17 0 4 0 96569228 760864768 177932 1992294400 134512640 135180984 4294956208 18446744073709551615 134518218 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=743032 CPUtime=50.76
/proc/15894/task/15897/stat : 15897 (satake) R 15892 15894 15468 0 -1 4194368 129360 0 0 0 4959 117 0 0 25 0 4 0 96569228 760864768 177932 1992294400 134512640 135180984 4294956208 18446744073709551615 134532595 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 743032

[startup+102.305 s]
/proc/loadavg: 1.87 1.30 1.10 3/68 15898
/proc/meminfo: memFree=902856/2055920 swapFree=4191692/4192956
[pid=15894] ppid=15892 vsize=872248 CPUtime=203.85
/proc/15894/stat : 15894 (satake) S 15892 15894 15468 0 -1 4194304 293554 0 0 0 20088 297 0 0 18 0 4 0 96569228 893181952 210415 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15894/statm: 218062 210415 70 163 0 217897 0
[pid=15894/tid=15895] ppid=15892 vsize=872248 CPUtime=0.28
/proc/15894/task/15895/stat : 15895 (satake) S 15892 15894 15468 0 -1 4194368 2033 0 0 0 9 19 0 0 16 0 4 0 96569228 893181952 210415 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15894/tid=15896] ppid=15892 vsize=872248 CPUtime=101.64
/proc/15894/task/15896/stat : 15896 (satake) R 15892 15894 15468 0 -1 4194368 150567 0 0 0 10021 143 0 0 16 0 4 0 96569228 893181952 210415 1992294400 134512640 135180984 4294956208 18446744073709551615 134528680 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=872248 CPUtime=101.92
/proc/15894/task/15897/stat : 15897 (satake) R 15892 15894 15468 0 -1 4194368 140871 0 0 0 10058 134 0 0 18 0 4 0 96569228 893181952 210415 1992294400 134512640 135180984 4294956208 18446744073709551615 134525223 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 872248

[startup+162.301 s]
/proc/loadavg: 1.95 1.42 1.16 3/68 15898
/proc/meminfo: memFree=782600/2055920 swapFree=4191692/4192956
[pid=15894] ppid=15892 vsize=994132 CPUtime=323.6
/proc/15894/stat : 15894 (satake) S 15892 15894 15468 0 -1 4194304 323764 0 0 0 32011 349 0 0 18 0 4 0 96569228 1017991168 240625 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15894/statm: 248533 240625 70 163 0 248368 0
[pid=15894/tid=15895] ppid=15892 vsize=994132 CPUtime=0.33
/proc/15894/task/15895/stat : 15895 (satake) S 15892 15894 15468 0 -1 4194368 2036 0 0 0 10 23 0 0 16 0 4 0 96569228 1017991168 240625 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=994132 CPUtime=161.37
/proc/15894/task/15896/stat : 15896 (satake) R 15892 15894 15468 0 -1 4194368 167779 0 0 0 15968 169 0 0 17 0 4 0 96569228 1017991168 240625 1992294400 134512640 135180984 4294956208 18446744073709551615 134523638 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=994132 CPUtime=161.87
/proc/15894/task/15897/stat : 15897 (satake) R 15892 15894 15468 0 -1 4194368 153866 0 0 0 16032 155 0 0 17 0 4 0 96569228 1017991168 240625 1992294400 134512640 135180984 4294956208 18446744073709551615 134523632 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.6
Current children cumulated vsize (KiB) 994132

[startup+222.301 s]
/proc/loadavg: 1.98 1.52 1.21 3/68 15898
/proc/meminfo: memFree=661704/2055920 swapFree=4191692/4192956
[pid=15894] ppid=15892 vsize=1114544 CPUtime=443.34
/proc/15894/stat : 15894 (satake) S 15892 15894 15468 0 -1 4194304 353844 0 0 0 43936 398 0 0 18 0 4 0 96569228 1141293056 270705 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15894/statm: 278636 270705 70 163 0 278471 0
[pid=15894/tid=15895] ppid=15892 vsize=1114544 CPUtime=0.38
/proc/15894/task/15895/stat : 15895 (satake) S 15892 15894 15468 0 -1 4194368 2036 0 0 0 12 26 0 0 16 0 4 0 96569228 1141293056 270705 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=1114544 CPUtime=221.11
/proc/15894/task/15896/stat : 15896 (satake) R 15892 15894 15468 0 -1 4194368 183331 0 0 0 21918 193 0 0 18 0 4 0 96569228 1141293056 270705 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=1114544 CPUtime=221.83
/proc/15894/task/15897/stat : 15897 (satake) R 15892 15894 15468 0 -1 4194368 168395 0 0 0 22006 177 0 0 18 0 4 0 96569228 1141293056 270706 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.34
Current children cumulated vsize (KiB) 1114544

[startup+282.301 s]
/proc/loadavg: 1.99 1.61 1.25 3/68 15898
/proc/meminfo: memFree=544200/2055920 swapFree=4191692/4192956
[pid=15894] ppid=15892 vsize=1233908 CPUtime=563.08
/proc/15894/stat : 15894 (satake) S 15892 15894 15468 0 -1 4194304 383470 0 0 0 55858 450 0 0 18 0 4 0 96569228 1263521792 300331 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15894/statm: 308477 300331 70 163 0 308312 0
[pid=15894/tid=15895] ppid=15892 vsize=1233908 CPUtime=0.47
/proc/15894/task/15895/stat : 15895 (satake) S 15892 15894 15468 0 -1 4194368 2040 0 0 0 14 33 0 0 16 0 4 0 96569228 1263521792 300331 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15894/tid=15896] ppid=15892 vsize=1233908 CPUtime=280.85
/proc/15894/task/15896/stat : 15896 (satake) R 15892 15894 15468 0 -1 4194368 199192 0 0 0 27867 218 0 0 17 0 4 0 96569228 1263521792 300331 1992294400 134512640 135180984 4294956208 18446744073709551615 134518218 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=1233908 CPUtime=281.74
/proc/15894/task/15897/stat : 15897 (satake) R 15892 15894 15468 0 -1 4194368 182155 0 0 0 27976 198 0 0 25 0 4 0 96569228 1263521792 300331 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.08
Current children cumulated vsize (KiB) 1233908

[startup+342.301 s]
/proc/loadavg: 1.99 1.68 1.30 3/68 15898
/proc/meminfo: memFree=419720/2055920 swapFree=4191692/4192956
[pid=15894] ppid=15892 vsize=1357900 CPUtime=682.83
/proc/15894/stat : 15894 (satake) S 15892 15894 15468 0 -1 4194304 414348 0 0 0 67788 495 0 0 18 0 4 0 96569228 1390489600 331209 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15894/statm: 339475 331209 70 163 0 339310 0
[pid=15894/tid=15895] ppid=15892 vsize=1357900 CPUtime=0.49
/proc/15894/task/15895/stat : 15895 (satake) S 15892 15894 15468 0 -1 4194368 2040 0 0 0 14 35 0 0 16 0 4 0 96569228 1390489600 331209 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=1357900 CPUtime=340.61
/proc/15894/task/15896/stat : 15896 (satake) R 15892 15894 15468 0 -1 4194368 217934 0 0 0 33818 243 0 0 17 0 4 0 96569228 1390489600 331209 1992294400 134512640 135180984 4294956208 18446744073709551615 134524646 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=1357900 CPUtime=341.71
/proc/15894/task/15897/stat : 15897 (satake) R 15892 15894 15468 0 -1 4194368 194291 0 0 0 33955 216 0 0 19 0 4 0 96569228 1390489600 331209 1992294400 134512640 135180984 4294956208 18446744073709551615 134518252 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.83
Current children cumulated vsize (KiB) 1357900

[startup+402.301 s]
/proc/loadavg: 2.03 1.75 1.34 3/68 15898
/proc/meminfo: memFree=286216/2055920 swapFree=4191692/4192956
[pid=15894] ppid=15892 vsize=1491992 CPUtime=802.58
/proc/15894/stat : 15894 (satake) S 15892 15894 15468 0 -1 4194304 447818 0 0 0 79718 540 0 0 18 0 4 0 96569228 1527799808 364679 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15894/statm: 372998 364679 70 163 0 372833 0
[pid=15894/tid=15895] ppid=15892 vsize=1491992 CPUtime=0.51
/proc/15894/task/15895/stat : 15895 (satake) S 15892 15894 15468 0 -1 4194368 2040 0 0 0 15 36 0 0 16 0 4 0 96569228 1527799808 364679 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15894/tid=15896] ppid=15892 vsize=1491992 CPUtime=400.36
/proc/15894/task/15896/stat : 15896 (satake) R 15892 15894 15468 0 -1 4194368 235843 0 0 0 39771 265 0 0 21 0 4 0 96569228 1527799808 364679 1992294400 134512640 135180984 4294956208 18446744073709551615 134527415 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=1491992 CPUtime=401.69
/proc/15894/task/15897/stat : 15897 (satake) R 15892 15894 15468 0 -1 4194368 209852 0 0 0 39932 237 0 0 19 0 4 0 96569228 1527799808 364679 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.58
Current children cumulated vsize (KiB) 1491992

[startup+462.301 s]
/proc/loadavg: 2.01 1.79 1.38 3/68 15898
/proc/meminfo: memFree=169672/2055920 swapFree=4191692/4192956
[pid=15894] ppid=15892 vsize=1607416 CPUtime=922.32
/proc/15894/stat : 15894 (satake) S 15892 15894 15468 0 -1 4194304 476692 0 0 0 91654 578 0 0 18 0 4 0 96569228 1645993984 393553 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15894/statm: 401854 393553 70 163 0 401689 0
[pid=15894/tid=15895] ppid=15892 vsize=1607416 CPUtime=0.53
/proc/15894/task/15895/stat : 15895 (satake) S 15892 15894 15468 0 -1 4194368 2040 0 0 0 15 38 0 0 16 0 4 0 96569228 1645993984 393554 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=1607416 CPUtime=460.12
/proc/15894/task/15896/stat : 15896 (satake) R 15892 15894 15468 0 -1 4194368 251294 0 0 0 45727 285 0 0 25 0 4 0 96569228 1645993984 393554 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=1607416 CPUtime=461.66
/proc/15894/task/15897/stat : 15897 (satake) R 15892 15894 15468 0 -1 4194368 223276 0 0 0 45911 255 0 0 18 0 4 0 96569228 1645993984 393554 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.32
Current children cumulated vsize (KiB) 1607416

[startup+522.301 s]
/proc/loadavg: 2.00 1.83 1.42 3/68 15898
/proc/meminfo: memFree=65160/2055920 swapFree=4191692/4192956
[pid=15894] ppid=15892 vsize=1713288 CPUtime=1042.06
/proc/15894/stat : 15894 (satake) S 15892 15894 15468 0 -1 4194304 502981 0 0 0 103592 614 0 0 18 0 4 0 96569228 1754406912 419842 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15894/statm: 428322 419842 70 163 0 428157 0
[pid=15894/tid=15895] ppid=15892 vsize=1713288 CPUtime=0.55
/proc/15894/task/15895/stat : 15895 (satake) S 15892 15894 15468 0 -1 4194368 2040 0 0 0 16 39 0 0 16 0 4 0 96569228 1754406912 419842 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15894/tid=15896] ppid=15892 vsize=1713288 CPUtime=519.87
/proc/15894/task/15896/stat : 15896 (satake) R 15892 15894 15468 0 -1 4194368 265088 0 0 0 51682 305 0 0 25 0 4 0 96569228 1754406912 419842 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=1713288 CPUtime=521.62
/proc/15894/task/15897/stat : 15897 (satake) R 15892 15894 15468 0 -1 4194368 235770 0 0 0 51893 269 0 0 20 0 4 0 96569228 1754406912 419842 1992294400 134512640 135180984 4294956208 18446744073709551615 134528655 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1042.06
Current children cumulated vsize (KiB) 1713288

[startup+582.301 s]
/proc/loadavg: 2.00 1.85 1.45 3/68 15898
/proc/meminfo: memFree=16200/2055920 swapFree=4191900/4192956
[pid=15894] ppid=15892 vsize=1810932 CPUtime=1161.73
/proc/15894/stat : 15894 (satake) S 15892 15894 15468 0 -1 4194304 527481 0 0 0 115519 654 0 0 18 0 4 0 96569228 1854394368 444342 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15894/statm: 452733 444342 70 163 0 452568 0
[pid=15894/tid=15895] ppid=15892 vsize=1810932 CPUtime=0.57
/proc/15894/task/15895/stat : 15895 (satake) S 15892 15894 15468 0 -1 4194368 2040 0 0 0 16 41 0 0 15 0 4 0 96569228 1854394368 444342 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=15894/tid=15896] ppid=15892 vsize=1810932 CPUtime=579.57
/proc/15894/task/15896/stat : 15896 (satake) R 15892 15894 15468 0 -1 4194368 278311 0 0 0 57632 325 0 0 16 0 4 0 96569228 1854394368 444342 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=1810932 CPUtime=581.57
/proc/15894/task/15897/stat : 15897 (satake) R 15892 15894 15468 0 -1 4194368 247047 0 0 0 57870 287 0 0 25 0 4 0 96569228 1854394368 444342 1992294400 134512640 135180984 4294956208 18446744073709551615 134523621 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.73
Current children cumulated vsize (KiB) 1810932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 2.00 1.86 1.46 3/68 15898
/proc/meminfo: memFree=16200/2055920 swapFree=4180912/4192956
[pid=15894] ppid=15892 vsize=1837308 CPUtime=1200.11
/proc/15894/stat : 15894 (satake) S 15892 15894 15468 0 -1 4194304 534196 0 0 0 119345 666 0 0 18 0 4 0 96569228 1881403392 451057 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15894/statm: 459327 451057 70 163 0 459162 0
[pid=15894/tid=15895] ppid=15892 vsize=1837308 CPUtime=0.58
/proc/15894/task/15895/stat : 15895 (satake) S 15892 15894 15468 0 -1 4194368 2040 0 0 0 16 42 0 0 16 0 4 0 96569228 1881403392 451057 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=1837308 CPUtime=598.72
/proc/15894/task/15896/stat : 15896 (satake) R 15892 15894 15468 0 -1 4194368 282024 0 0 0 59542 330 0 0 25 0 4 0 96569228 1881403392 451057 1992294400 134512640 135180984 4294956208 18446744073709551615 134528861 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=1837308 CPUtime=600.78
/proc/15894/task/15897/stat : 15897 (satake) R 15892 15894 15468 0 -1 4194368 250049 0 0 0 59786 292 0 0 25 0 4 0 96569228 1881403392 451057 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (KiB) 1837308

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+601.802 s]
/proc/loadavg: 2.00 1.86 1.46 3/68 15898
/proc/meminfo: memFree=16200/2055920 swapFree=4180912/4192956
[pid=15894] ppid=15892 vsize=0 CPUtime=1200.3
/proc/15894/stat : 15894 (satake) Z 15892 15894 15468 0 -1 4195340 534198 0 0 0 119346 684 0 0 16 0 2 0 96569228 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15894/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1200.3
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.89
CPU time (s): 1200.4
CPU user time (s): 1193.47
CPU system time (s): 6.93394
CPU usage (%): 199.439
Max. virtual memory (cumulated for all children) (KiB): 1837308

deleting IPC queue 1769472
deleting IPC queue 1802241
deleting IPC queue 1835010
deleting IPC queue 1867779
deleting IPC queue 1900548
deleting IPC queue 1933317
deleting IPC queue 1966086
deleting IPC queue 1998855
deleting IPC queue 2031624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1193.47
system time used= 6.93394
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 534198
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= 76986
involuntary context switches= 73644

runsolver used 0.541917 second user time and 1.66875 second system time

The end

Launcher Data 

Begin job on node52 at 2009-04-25 20:50:17
IDJOB=1723346
IDBENCH=71695
IDSOLVER=553
FILE ID=node52/1723346-1240685408
PBS_JOBID= 9186665
Free space on /tmp= 66072 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT_RACE06/velev-pipe-sat-1.0-b10.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1723346-1240685408/watcher-1723346-1240685408 -o /tmp/evaluation-result-1723346-1240685408/solver-1723346-1240685408 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1723346-1240685408.cnf 3 1200

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

MD5SUM BENCH= a9abd96191efca8626c02160761beedd
RANDOM SEED=332204226

node52.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.214
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.214
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:       1742792 kB
Buffers:          2328 kB
Cached:         241912 kB
SwapCached:        560 kB
Active:         199420 kB
Inactive:        58392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1742792 kB
SwapTotal:     4192956 kB
SwapFree:      4191692 kB
Dirty:          167108 kB
Writeback:           0 kB
Mapped:          21764 kB
Slab:            41472 kB
Committed_AS:   363420 kB
PageTables:       1476 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= 66068 MiB
End job on node52 at 2009-04-25 21:00:21