Trace number 1723190

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.46 601.869

General information on the benchmark

Namevelev-pipe-sat-1.0-b7.cnf
MD5SUM612845a855119304b698a4b55aed3089
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark14.2438
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-1723190-1240684010/watcher-1723190-1240684010 -o /tmp/evaluation-result-1723190-1240684010/solver-1723190-1240684010 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1723190-1240684010.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.97 1.36 1.13 3/65 17745
/proc/meminfo: memFree=1523256/2055920 swapFree=4180992/4192956
[pid=17745] ppid=17743 vsize=4104 CPUtime=0
/proc/17745/stat : 17745 (satake) S 17743 17745 17439 0 -1 4194304 688 0 0 0 0 0 0 0 20 0 4 0 96431177 4202496 673 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17745/statm: 1026 679 65 163 0 861 0
[pid=17745/tid=17746] ppid=17743 vsize=4104 CPUtime=0
/proc/17745/task/17746/stat : 17746 (satake) S 17743 17745 17439 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 96431177 4202496 698 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17745/tid=17747] ppid=17743 vsize=4104 CPUtime=0
/proc/17745/task/17747/stat : 17747 (satake) R 17743 17745 17439 0 -1 4194368 452 0 0 0 0 0 0 0 22 0 4 0 96431177 4202496 707 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17745/tid=17748] ppid=17743 vsize=4104 CPUtime=0
/proc/17745/task/17748/stat : 17748 (satake) R 17743 17745 17439 0 -1 4194368 188 0 0 0 0 0 0 0 21 0 4 0 96431177 4202496 715 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0727071 s]
/proc/loadavg: 1.97 1.36 1.13 3/65 17745
/proc/meminfo: memFree=1523256/2055920 swapFree=4180992/4192956
[pid=17745] ppid=17743 vsize=66568 CPUtime=0.13
/proc/17745/stat : 17745 (satake) S 17743 17745 17439 0 -1 4194304 13832 0 0 0 0 13 0 0 20 0 4 0 96431177 68165632 13817 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17745/statm: 16642 13826 65 163 0 16477 0
[pid=17745/tid=17746] ppid=17743 vsize=66568 CPUtime=0
/proc/17745/task/17746/stat : 17746 (satake) S 17743 17745 17439 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 96431177 68165632 13832 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17745/tid=17747] ppid=17743 vsize=66568 CPUtime=0.06
/proc/17745/task/17747/stat : 17747 (satake) R 17743 17745 17439 0 -1 4194368 6919 0 0 0 0 6 0 0 18 0 4 0 96431177 68165632 13839 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17745/tid=17748] ppid=17743 vsize=66568 CPUtime=0.06
/proc/17745/task/17748/stat : 17748 (satake) R 17743 17745 17439 0 -1 4194368 6852 0 0 0 0 6 0 0 18 0 4 0 96431177 68165632 13846 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 66568

[startup+0.101712 s]
/proc/loadavg: 1.97 1.36 1.13 3/65 17745
/proc/meminfo: memFree=1523256/2055920 swapFree=4180992/4192956
[pid=17745] ppid=17743 vsize=132104 CPUtime=0.18
/proc/17745/stat : 17745 (satake) S 17743 17745 17439 0 -1 4194304 18440 0 0 0 0 18 0 0 20 0 4 0 96431177 135274496 18425 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17745/statm: 33026 18436 65 163 0 32861 0
[pid=17745/tid=17746] ppid=17743 vsize=132104 CPUtime=0
/proc/17745/task/17746/stat : 17746 (satake) S 17743 17745 17439 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 96431177 135274496 18441 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17745/tid=17747] ppid=17743 vsize=132104 CPUtime=0.09
/proc/17745/task/17747/stat : 17747 (satake) R 17743 17745 17439 0 -1 4194368 9200 0 0 0 0 9 0 0 18 0 4 0 96431177 135274496 18449 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17745/tid=17748] ppid=17743 vsize=132104 CPUtime=0.09
/proc/17745/task/17748/stat : 17748 (satake) R 17743 17745 17439 0 -1 4194368 9180 0 0 0 0 9 0 0 18 0 4 0 96431177 135274496 18455 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 132104

[startup+0.301736 s]
/proc/loadavg: 1.97 1.36 1.13 3/65 17745
/proc/meminfo: memFree=1523256/2055920 swapFree=4180992/4192956
[pid=17745] ppid=17743 vsize=263176 CPUtime=0.57
/proc/17745/stat : 17745 (satake) S 17743 17745 17439 0 -1 4194304 58247 0 0 0 0 57 0 0 20 0 4 0 96431177 269492224 58232 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17745/statm: 65794 58242 65 163 0 65629 0
[pid=17745/tid=17746] ppid=17743 vsize=263176 CPUtime=0
/proc/17745/task/17746/stat : 17746 (satake) S 17743 17745 17439 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 96431177 269492224 58248 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17745/tid=17747] ppid=17743 vsize=263176 CPUtime=0.28
/proc/17745/task/17747/stat : 17747 (satake) R 17743 17745 17439 0 -1 4194368 29150 0 0 0 0 28 0 0 18 0 4 0 96431177 269492224 58255 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17745/tid=17748] ppid=17743 vsize=263176 CPUtime=0.29
/proc/17745/task/17748/stat : 17748 (satake) R 17743 17745 17439 0 -1 4194368 29037 0 0 0 0 29 0 0 19 0 4 0 96431177 269492224 58262 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 263176

[startup+0.701761 s]
/proc/loadavg: 1.97 1.36 1.13 3/65 17745
/proc/meminfo: memFree=1523256/2055920 swapFree=4180992/4192956
[pid=17745] ppid=17743 vsize=360772 CPUtime=1.35
/proc/17745/stat : 17745 (satake) S 17743 17745 17439 0 -1 4194304 89332 0 0 0 48 87 0 0 20 0 4 0 96431177 369430528 89315 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17745/statm: 90193 89316 65 163 0 90028 0
[pid=17745/tid=17746] ppid=17743 vsize=360772 CPUtime=0
/proc/17745/task/17746/stat : 17746 (satake) S 17743 17745 17439 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 96431177 369430528 89316 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17745/tid=17747] ppid=17743 vsize=360772 CPUtime=0.68
/proc/17745/task/17747/stat : 17747 (satake) R 17743 17745 17439 0 -1 4194368 44630 0 0 0 25 43 0 0 17 0 4 0 96431177 369430528 89316 1992294400 134512640 135180984 4294956208 18446744073709551615 134681019 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17745/tid=17748] ppid=17743 vsize=360772 CPUtime=0.67
/proc/17745/task/17748/stat : 17748 (satake) R 17743 17745 17439 0 -1 4194368 44614 0 0 0 23 44 0 0 17 0 4 0 96431177 369430528 89317 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 360772

[startup+1.502 s]
/proc/loadavg: 1.97 1.36 1.13 3/69 17749
/proc/meminfo: memFree=1137880/2055920 swapFree=4180992/4192956
[pid=17745] ppid=17743 vsize=441816 CPUtime=2.95
/proc/17745/stat : 17745 (satake) S 17743 17745 17439 0 -1 4194304 107256 0 0 0 196 99 0 0 20 0 4 0 96431177 452419584 107233 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17745/statm: 110454 107233 65 163 0 110289 0
[pid=17745/tid=17746] ppid=17743 vsize=441816 CPUtime=0
/proc/17745/task/17746/stat : 17746 (satake) S 17743 17745 17439 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 96431177 452419584 107235 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17745/tid=17747] ppid=17743 vsize=441816 CPUtime=1.47
/proc/17745/task/17747/stat : 17747 (satake) R 17743 17745 17439 0 -1 4194368 53696 0 0 0 99 48 0 0 15 0 4 0 96431177 452419584 107235 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17745/tid=17748] ppid=17743 vsize=441816 CPUtime=1.46
/proc/17745/task/17748/stat : 17748 (satake) R 17743 17745 17439 0 -1 4194368 53472 0 0 0 96 50 0 0 16 0 4 0 96431177 452419584 107235 1992294400 134512640 135180984 4294956208 18446744073709551615 134513882 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 441816

[startup+3.10217 s]
/proc/loadavg: 1.97 1.36 1.13 3/69 17749
/proc/meminfo: memFree=1039768/2055920 swapFree=4180992/4192956
[pid=17745] ppid=17743 vsize=596532 CPUtime=6.12
/proc/17745/stat : 17745 (satake) S 17743 17745 17439 0 -1 4194304 142909 0 0 0 492 120 0 0 20 0 4 0 96431177 610848768 142886 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17745/statm: 149133 142886 65 163 0 148968 0
[pid=17745/tid=17746] ppid=17743 vsize=596532 CPUtime=0
/proc/17745/task/17746/stat : 17746 (satake) S 17743 17745 17439 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 96431177 610848768 142887 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17745/tid=17747] ppid=17743 vsize=596532 CPUtime=3.06
/proc/17745/task/17747/stat : 17747 (satake) R 17743 17745 17439 0 -1 4194368 71644 0 0 0 247 59 0 0 15 0 4 0 96431177 610848768 142887 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17745/tid=17748] ppid=17743 vsize=596532 CPUtime=3.05
/proc/17745/task/17748/stat : 17748 (satake) R 17743 17745 17439 0 -1 4194368 71176 0 0 0 244 61 0 0 16 0 4 0 96431177 610848768 142887 1992294400 134512640 135180984 4294956208 18446744073709551615 134680984 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 596532

[startup+6.30323 s]
/proc/loadavg: 2.13 1.40 1.14 2/69 17749
/proc/meminfo: memFree=759064/2055920 swapFree=4180992/4192956
[pid=17745] ppid=17743 vsize=878720 CPUtime=12.48
/proc/17745/stat : 17745 (satake) S 17743 17745 17439 0 -1 4194304 208655 0 0 0 1084 164 0 0 20 0 4 0 96431177 899809280 208632 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17745/statm: 219680 208632 65 163 0 219515 0
[pid=17745/tid=17746] ppid=17743 vsize=878720 CPUtime=0
/proc/17745/task/17746/stat : 17746 (satake) S 17743 17745 17439 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 96431177 899809280 208632 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17745/tid=17747] ppid=17743 vsize=878720 CPUtime=6.24
/proc/17745/task/17747/stat : 17747 (satake) S 17743 17745 17439 0 -1 4194368 104596 0 0 0 544 80 0 0 15 0 4 0 96431177 899809280 208632 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17745/tid=17748] ppid=17743 vsize=878720 CPUtime=6.22
/proc/17745/task/17748/stat : 17748 (satake) R 17743 17745 17439 0 -1 4194368 103969 0 0 0 539 83 0 0 16 0 4 0 96431177 899809280 208632 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 878720

[startup+12.7021 s]
/proc/loadavg: 2.20 1.43 1.15 3/69 17749
/proc/meminfo: memFree=876312/2055920 swapFree=4180992/4192956
[pid=17745] ppid=17743 vsize=676892 CPUtime=25.21
/proc/17745/stat : 17745 (satake) S 17743 17745 17439 0 -1 4194304 245029 0 0 0 2326 195 0 0 20 0 4 0 96431177 693137408 161927 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17745/statm: 169223 161927 70 163 0 169058 0
[pid=17745/tid=17746] ppid=17743 vsize=676892 CPUtime=0.04
/proc/17745/task/17746/stat : 17746 (satake) S 17743 17745 17439 0 -1 4194368 2078 0 0 0 2 2 0 0 15 0 4 0 96431177 693137408 161927 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17745/tid=17747] ppid=17743 vsize=676892 CPUtime=12.58
/proc/17745/task/17747/stat : 17747 (satake) R 17743 17745 17439 0 -1 4194368 121374 0 0 0 1165 93 0 0 17 0 4 0 96431177 693137408 161927 1992294400 134512640 135180984 4294956208 18446744073709551615 134564984 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17745/tid=17748] ppid=17743 vsize=676892 CPUtime=12.57
/proc/17745/task/17748/stat : 17748 (satake) R 17743 17745 17439 0 -1 4194368 121494 0 0 0 1158 99 0 0 17 0 4 0 96431177 693137408 161927 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 676892

[startup+25.5015 s]
/proc/loadavg: 2.46 1.52 1.19 3/69 17749
/proc/meminfo: memFree=848984/2055920 swapFree=4180992/4192956
[pid=17745] ppid=17743 vsize=703692 CPUtime=50.71
/proc/17745/stat : 17745 (satake) S 17743 17745 17439 0 -1 4194304 251803 0 0 0 4849 222 0 0 20 0 4 0 96431177 720580608 168701 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17745/statm: 175923 168701 70 163 0 175758 0
[pid=17745/tid=17746] ppid=17743 vsize=703692 CPUtime=0.15
/proc/17745/task/17746/stat : 17746 (satake) S 17743 17745 17439 0 -1 4194368 2095 0 0 0 5 10 0 0 15 0 4 0 96431177 720580608 168701 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17745/tid=17747] ppid=17743 vsize=703692 CPUtime=25.31
/proc/17745/task/17747/stat : 17747 (satake) R 17743 17745 17439 0 -1 4194368 125046 0 0 0 2430 101 0 0 25 0 4 0 96431177 720580608 168701 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17745/tid=17748] ppid=17743 vsize=703692 CPUtime=25.23
/proc/17745/task/17748/stat : 17748 (satake) R 17743 17745 17439 0 -1 4194368 124579 0 0 0 2413 110 0 0 18 0 4 0 96431177 720580608 168701 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 703692

[startup+51.1014 s]
/proc/loadavg: 2.55 1.62 1.23 3/69 17749
/proc/meminfo: memFree=796312/2055920 swapFree=4180992/4192956
[pid=17745] ppid=17743 vsize=761300 CPUtime=101.63
/proc/17745/stat : 17745 (satake) S 17743 17745 17439 0 -1 4194304 266125 0 0 0 9915 248 0 0 20 0 4 0 96431177 779571200 183023 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17745/statm: 190325 183023 70 163 0 190160 0
[pid=17745/tid=17746] ppid=17743 vsize=761300 CPUtime=0.2
/proc/17745/task/17746/stat : 17746 (satake) S 17743 17745 17439 0 -1 4194368 2100 0 0 0 6 14 0 0 15 0 4 0 96431177 779571200 183023 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17745/tid=17747] ppid=17743 vsize=761300 CPUtime=50.73
/proc/17745/task/17747/stat : 17747 (satake) R 17743 17745 17439 0 -1 4194368 132752 0 0 0 4962 111 0 0 17 0 4 0 96431177 779571200 183023 1992294400 134512640 135180984 4294956208 18446744073709551615 134528756 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17745/tid=17748] ppid=17743 vsize=761300 CPUtime=50.68
/proc/17745/task/17748/stat : 17748 (satake) R 17743 17745 17439 0 -1 4194368 131190 0 0 0 4946 122 0 0 17 0 4 0 96431177 779571200 183023 1992294400 134512640 135180984 4294956208 18446744073709551615 134522622 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.63
Current children cumulated vsize (KiB) 761300

[startup+102.306 s]
/proc/loadavg: 2.24 1.68 1.27 3/69 17749
/proc/meminfo: memFree=702360/2055920 swapFree=4180992/4192956
[pid=17745] ppid=17743 vsize=855716 CPUtime=203.82
/proc/17745/stat : 17745 (satake) S 17743 17745 17439 0 -1 4194304 289422 0 0 0 20094 288 0 0 20 0 4 0 96431177 876253184 206320 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17745/statm: 213929 206320 70 163 0 213764 0
[pid=17745/tid=17746] ppid=17743 vsize=855716 CPUtime=0.24
/proc/17745/task/17746/stat : 17746 (satake) S 17743 17745 17439 0 -1 4194368 2102 0 0 0 7 17 0 0 15 0 4 0 96431177 876253184 206320 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17745/tid=17747] ppid=17743 vsize=855716 CPUtime=101.9
/proc/17745/task/17747/stat : 17747 (satake) R 17743 17745 17439 0 -1 4194368 145184 0 0 0 10062 128 0 0 25 0 4 0 96431177 876253184 206320 1992294400 134512640 135180984 4294956208 18446744073709551615 134518219 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17745/tid=17748] ppid=17743 vsize=855716 CPUtime=101.67
/proc/17745/task/17748/stat : 17748 (satake) R 17743 17745 17439 0 -1 4194368 142053 0 0 0 10024 143 0 0 17 0 4 0 96431177 876253184 206320 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 855716

[startup+162.302 s]
/proc/loadavg: 2.08 1.73 1.31 3/69 17749
/proc/meminfo: memFree=610968/2055920 swapFree=4180992/4192956
[pid=17745] ppid=17743 vsize=947220 CPUtime=323.56
/proc/17745/stat : 17745 (satake) S 17743 17745 17439 0 -1 4194304 312343 0 0 0 32024 332 0 0 20 0 4 0 96431177 969953280 229241 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17745/statm: 236805 229242 70 163 0 236640 0
[pid=17745/tid=17746] ppid=17743 vsize=947220 CPUtime=0.29
/proc/17745/task/17746/stat : 17746 (satake) S 17743 17745 17439 0 -1 4194368 2102 0 0 0 9 20 0 0 15 0 4 0 96431177 969953280 229242 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17745/tid=17747] ppid=17743 vsize=947220 CPUtime=161.85
/proc/17745/task/17747/stat : 17747 (satake) R 17743 17745 17439 0 -1 4194368 157062 0 0 0 16040 145 0 0 25 0 4 0 96431177 969953280 229242 1992294400 134512640 135180984 4294956208 18446744073709551615 134523632 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17745/tid=17748] ppid=17743 vsize=947220 CPUtime=161.39
/proc/17745/task/17748/stat : 17748 (satake) R 17743 17745 17439 0 -1 4194368 153097 0 0 0 15974 165 0 0 17 0 4 0 96431177 969953280 229242 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.56
Current children cumulated vsize (KiB) 947220

[startup+222.301 s]
/proc/loadavg: 2.03 1.78 1.35 3/69 17749
/proc/meminfo: memFree=532952/2055920 swapFree=4180992/4192956
[pid=17745] ppid=17743 vsize=1023972 CPUtime=443.3
/proc/17745/stat : 17745 (satake) S 17743 17745 17439 0 -1 4194304 331687 0 0 0 43965 365 0 0 20 0 4 0 96431177 1048547328 248585 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17745/statm: 255993 248585 70 163 0 255828 0
[pid=17745/tid=17746] ppid=17743 vsize=1023972 CPUtime=0.31
/proc/17745/task/17746/stat : 17746 (satake) S 17743 17745 17439 0 -1 4194368 2102 0 0 0 9 22 0 0 15 0 4 0 96431177 1048547328 248585 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17745/tid=17747] ppid=17743 vsize=1023972 CPUtime=221.82
/proc/17745/task/17747/stat : 17747 (satake) R 17743 17745 17439 0 -1 4194368 167480 0 0 0 22022 160 0 0 25 0 4 0 96431177 1048547328 248585 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17745/tid=17748] ppid=17743 vsize=1023972 CPUtime=221.15
/proc/17745/task/17748/stat : 17748 (satake) R 17743 17745 17439 0 -1 4194368 162022 0 0 0 21933 182 0 0 17 0 4 0 96431177 1048547328 248585 1992294400 134512640 135180984 4294956208 18446744073709551615 134518208 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.3
Current children cumulated vsize (KiB) 1023972

[startup+282.302 s]
/proc/loadavg: 2.01 1.82 1.39 3/69 17749
/proc/meminfo: memFree=456920/2055920 swapFree=4180992/4192956
[pid=17745] ppid=17743 vsize=1100880 CPUtime=563.04
/proc/17745/stat : 17745 (satake) S 17743 17745 17439 0 -1 4194304 350825 0 0 0 55902 402 0 0 20 0 4 0 96431177 1127301120 267723 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17745/statm: 275220 267723 70 163 0 275055 0
[pid=17745/tid=17746] ppid=17743 vsize=1100880 CPUtime=0.34
/proc/17745/task/17746/stat : 17746 (satake) S 17743 17745 17439 0 -1 4194368 2102 0 0 0 10 24 0 0 15 0 4 0 96431177 1127301120 267723 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17745/tid=17747] ppid=17743 vsize=1100880 CPUtime=281.79
/proc/17745/task/17747/stat : 17747 (satake) R 17743 17745 17439 0 -1 4194368 178457 0 0 0 28002 177 0 0 25 0 4 0 96431177 1127301120 267723 1992294400 134512640 135180984 4294956208 18446744073709551615 134525296 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17745/tid=17748] ppid=17743 vsize=1100880 CPUtime=280.88
/proc/17745/task/17748/stat : 17748 (satake) R 17743 17745 17439 0 -1 4194368 170183 0 0 0 27889 199 0 0 19 0 4 0 96431177 1127301120 267723 1992294400 134512640 135180984 4294956208 18446744073709551615 134522790 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.04
Current children cumulated vsize (KiB) 1100880

[startup+342.301 s]
/proc/loadavg: 2.00 1.85 1.42 3/69 17749
/proc/meminfo: memFree=395480/2055920 swapFree=4180992/4192956
[pid=17745] ppid=17743 vsize=1163512 CPUtime=682.78
/proc/17745/stat : 17745 (satake) S 17743 17745 17439 0 -1 4194304 366036 0 0 0 67845 433 0 0 20 0 4 0 96431177 1191436288 282934 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17745/statm: 290878 282934 70 163 0 290713 0
[pid=17745/tid=17746] ppid=17743 vsize=1163512 CPUtime=0.35
/proc/17745/task/17746/stat : 17746 (satake) S 17743 17745 17439 0 -1 4194368 2102 0 0 0 10 25 0 0 15 0 4 0 96431177 1191436288 282934 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=17745/tid=17747] ppid=17743 vsize=1163512 CPUtime=341.77
/proc/17745/task/17747/stat : 17747 (satake) R 17743 17745 17439 0 -1 4194368 187786 0 0 0 33985 192 0 0 25 0 4 0 96431177 1191436288 282934 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17745/tid=17748] ppid=17743 vsize=1163512 CPUtime=340.64
/proc/17745/task/17748/stat : 17748 (satake) R 17743 17745 17439 0 -1 4194368 176065 0 0 0 33849 215 0 0 25 0 4 0 96431177 1191436288 282934 1992294400 134512640 135180984 4294956208 18446744073709551615 134519104 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.78
Current children cumulated vsize (KiB) 1163512

[startup+402.301 s]
/proc/loadavg: 2.00 1.87 1.46 3/69 17749
/proc/meminfo: memFree=315160/2055920 swapFree=4180992/4192956
[pid=17745] ppid=17743 vsize=1245752 CPUtime=802.52
/proc/17745/stat : 17745 (satake) S 17743 17745 17439 0 -1 4194304 386723 0 0 0 79779 473 0 0 20 0 4 0 96431177 1275650048 303621 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17745/statm: 311438 303621 70 163 0 311273 0
[pid=17745/tid=17746] ppid=17743 vsize=1245752 CPUtime=0.4
/proc/17745/task/17746/stat : 17746 (satake) S 17743 17745 17439 0 -1 4194368 2103 0 0 0 11 29 0 0 15 0 4 0 96431177 1275650048 303621 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17745/tid=17747] ppid=17743 vsize=1245752 CPUtime=401.73
/proc/17745/task/17747/stat : 17747 (satake) R 17743 17745 17439 0 -1 4194368 200741 0 0 0 39962 211 0 0 25 0 4 0 96431177 1275650048 303621 1992294400 134512640 135180984 4294956208 18446744073709551615 134528786 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17745/tid=17748] ppid=17743 vsize=1245752 CPUtime=400.37
/proc/17745/task/17748/stat : 17748 (satake) R 17743 17745 17439 0 -1 4194368 183796 0 0 0 39805 232 0 0 22 0 4 0 96431177 1275650048 303621 1992294400 134512640 135180984 4294956208 18446744073709551615 134532624 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.52
Current children cumulated vsize (KiB) 1245752

[startup+462.302 s]
/proc/loadavg: 2.00 1.89 1.49 3/69 17749
/proc/meminfo: memFree=168600/2055920 swapFree=4180992/4192956
[pid=17745] ppid=17743 vsize=1390624 CPUtime=922.26
/proc/17745/stat : 17745 (satake) S 17743 17745 17439 0 -1 4194304 422746 0 0 0 91703 523 0 0 20 0 4 0 96431177 1423998976 339644 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17745/statm: 347656 339644 70 163 0 347491 0
[pid=17745/tid=17746] ppid=17743 vsize=1390624 CPUtime=0.44
/proc/17745/task/17746/stat : 17746 (satake) S 17743 17745 17439 0 -1 4194368 2103 0 0 0 12 32 0 0 15 0 4 0 96431177 1423998976 339644 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17745/tid=17747] ppid=17743 vsize=1390624 CPUtime=461.69
/proc/17745/task/17747/stat : 17747 (satake) R 17743 17745 17439 0 -1 4194368 223430 0 0 0 45935 234 0 0 25 0 4 0 96431177 1423998976 339644 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17745/tid=17748] ppid=17743 vsize=1390624 CPUtime=460.11
/proc/17745/task/17748/stat : 17748 (satake) R 17743 17745 17439 0 -1 4194368 197130 0 0 0 45755 256 0 0 18 0 4 0 96431177 1423998976 339644 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.26
Current children cumulated vsize (KiB) 1390624

[startup+522.301 s]
/proc/loadavg: 2.00 1.91 1.52 3/69 17749
/proc/meminfo: memFree=51160/2055920 swapFree=4180992/4192956
[pid=17745] ppid=17743 vsize=1509152 CPUtime=1042
/proc/17745/stat : 17745 (satake) S 17743 17745 17439 0 -1 4194304 452396 0 0 0 103634 566 0 0 20 0 4 0 96431177 1545371648 369294 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17745/statm: 377288 369294 70 163 0 377123 0
[pid=17745/tid=17746] ppid=17743 vsize=1509152 CPUtime=0.45
/proc/17745/task/17746/stat : 17746 (satake) S 17743 17745 17439 0 -1 4194368 2106 0 0 0 12 33 0 0 15 0 4 0 96431177 1545371648 369294 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17745/tid=17747] ppid=17743 vsize=1509152 CPUtime=521.66
/proc/17745/task/17747/stat : 17747 (satake) R 17743 17745 17439 0 -1 4194368 241766 0 0 0 51909 257 0 0 25 0 4 0 96431177 1545371648 369294 1992294400 134512640 135180984 4294956208 18446744073709551615 134528636 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17745/tid=17748] ppid=17743 vsize=1509152 CPUtime=519.87
/proc/17745/task/17748/stat : 17748 (satake) R 17743 17745 17439 0 -1 4194368 208441 0 0 0 51712 275 0 0 20 0 4 0 96431177 1545371648 369294 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042
Current children cumulated vsize (KiB) 1509152

[startup+582.302 s]
/proc/loadavg: 2.14 1.96 1.56 3/69 17749
/proc/meminfo: memFree=15448/2055920 swapFree=4181400/4192956
[pid=17745] ppid=17743 vsize=1629412 CPUtime=1161.68
/proc/17745/stat : 17745 (satake) S 17743 17745 17439 0 -1 4194304 482585 0 0 0 115556 612 0 0 20 0 4 0 96431177 1668517888 399483 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17745/statm: 407353 399483 70 163 0 407188 0
[pid=17745/tid=17746] ppid=17743 vsize=1629412 CPUtime=0.47
/proc/17745/task/17746/stat : 17746 (satake) S 17743 17745 17439 0 -1 4194368 2106 0 0 0 13 34 0 0 15 0 4 0 96431177 1668517888 399483 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17745/tid=17747] ppid=17743 vsize=1629412 CPUtime=581.61
/proc/17745/task/17747/stat : 17747 (satake) R 17743 17745 17439 0 -1 4194368 261972 0 0 0 57878 283 0 0 25 0 4 0 96431177 1668517888 399483 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17745/tid=17748] ppid=17743 vsize=1629412 CPUtime=579.58
/proc/17745/task/17748/stat : 17748 (satake) R 17743 17745 17439 0 -1 4194368 218424 0 0 0 57664 294 0 0 17 0 4 0 96431177 1668517888 399483 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.68
Current children cumulated vsize (KiB) 1629412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.601 s]
/proc/loadavg: 2.18 1.97 1.57 3/69 17749
/proc/meminfo: memFree=15768/2055920 swapFree=4181400/4192956
[pid=17745] ppid=17743 vsize=1667468 CPUtime=1200.18
/proc/17745/stat : 17745 (satake) S 17743 17745 17439 0 -1 4194304 491866 0 0 0 119393 625 0 0 20 0 4 0 96431177 1707487232 408764 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17745/statm: 416867 408764 70 163 0 416702 0
[pid=17745/tid=17746] ppid=17743 vsize=1667468 CPUtime=0.47
/proc/17745/task/17746/stat : 17746 (satake) S 17743 17745 17439 0 -1 4194368 2106 0 0 0 13 34 0 0 15 0 4 0 96431177 1707487232 408764 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=17745/tid=17747] ppid=17743 vsize=1667468 CPUtime=600.9
/proc/17745/task/17747/stat : 17747 (satake) R 17743 17745 17439 0 -1 4194368 268306 0 0 0 59800 290 0 0 25 0 4 0 96431177 1707487232 408764 1992294400 134512640 135180984 4294956208 18446744073709551615 134524590 0 0 4096 0 0 0 0 -1 1 0 0
[pid=17745/tid=17748] ppid=17743 vsize=1667468 CPUtime=598.8
/proc/17745/task/17748/stat : 17748 (satake) R 17743 17745 17439 0 -1 4194368 221371 0 0 0 59580 300 0 0 18 0 4 0 96431177 1707487232 408764 1992294400 134512640 135180984 4294956208 18446744073709551615 134518228 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.18
Current children cumulated vsize (KiB) 1667468

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.18 1.97 1.57 3/69 17749
/proc/meminfo: memFree=15768/2055920 swapFree=4181400/4192956
[pid=17745] ppid=17743 vsize=0 CPUtime=1200.38
/proc/17745/stat : 17745 (satake) Z 17743 17745 17439 0 -1 4195340 491871 0 0 0 119394 644 0 0 16 0 2 0 96431177 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/17745/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1200.38
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.869
CPU time (s): 1200.46
CPU user time (s): 1193.95
CPU system time (s): 6.50801
CPU usage (%): 199.455
Max. virtual memory (cumulated for all children) (KiB): 1667468

deleting IPC queue 294912
deleting IPC queue 327681
deleting IPC queue 360450
deleting IPC queue 393219
deleting IPC queue 425988
deleting IPC queue 458757
deleting IPC queue 491526
deleting IPC queue 524295
deleting IPC queue 557064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1193.95
system time used= 6.50801
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 491871
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= 65820
involuntary context switches= 66501

runsolver used 0.559914 second user time and 1.64075 second system time

The end

Launcher Data 

Begin job on node87 at 2009-04-25 20:27:00
IDJOB=1723190
IDBENCH=71685
IDSOLVER=553
FILE ID=node87/1723190-1240684010
PBS_JOBID= 9186685
Free space on /tmp= 66260 MiB

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

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

MD5SUM BENCH= 612845a855119304b698a4b55aed3089
RANDOM SEED=94373049

node87.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.213
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.213
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:       1523736 kB
Buffers:         50144 kB
Cached:         401180 kB
SwapCached:       5772 kB
Active:         294508 kB
Inactive:       165564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1523736 kB
SwapTotal:     4192956 kB
SwapFree:      4180992 kB
Dirty:          167216 kB
Writeback:           0 kB
Mapped:          13452 kB
Slab:            58000 kB
Committed_AS:   319108 kB
PageTables:       1464 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66260 MiB
End job on node87 at 2009-04-25 20:37:04