Trace number 1581092

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.13 604.973

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UCG-20-10p1.cnf
MD5SUM4454a006891d750fc88d47a8b0848855
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables259258
Number of clauses1388006
Sum of the clauses size3352067
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2981733
Number of clauses of size 3327764
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

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-1581092-1238925286/watcher-1581092-1238925286 -o /tmp/evaluation-result-1581092-1238925286/solver-1581092-1238925286 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1581092-1238925286.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.69 1.91 1.78 3/64 10025
/proc/meminfo: memFree=1434840/2055920 swapFree=4175692/4192956
[pid=10025] ppid=10023 vsize=5120 CPUtime=0
/proc/10025/stat : 10025 (satake) S 10023 10025 9988 0 -1 4194304 661 0 0 0 0 0 0 0 18 0 4 0 1165194502 5242880 646 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10025/statm: 1280 653 65 163 0 1115 0
[pid=10025/tid=10026] ppid=10023 vsize=5120 CPUtime=0
/proc/10025/task/10026/stat : 10026 (satake) S 10023 10025 9988 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1165194502 5242880 670 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10025/tid=10027] ppid=10023 vsize=5120 CPUtime=0
/proc/10025/task/10027/stat : 10027 (satake) R 10023 10025 9988 0 -1 4194368 603 0 0 0 0 0 0 0 20 0 4 0 1165194502 5242880 678 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10025/tid=10028] ppid=10023 vsize=5120 CPUtime=0
/proc/10025/task/10028/stat : 10028 (satake) R 10023 10025 9988 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 4 0 1165194502 5242880 687 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.064337 s]
/proc/loadavg: 1.69 1.91 1.78 3/64 10025
/proc/meminfo: memFree=1434840/2055920 swapFree=4175692/4192956
[pid=10025] ppid=10023 vsize=66568 CPUtime=0.12
/proc/10025/stat : 10025 (satake) S 10023 10025 9988 0 -1 4194304 12129 0 0 0 0 12 0 0 18 0 4 0 1165194502 68165632 12114 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10025/statm: 16642 12121 65 163 0 16477 0
[pid=10025/tid=10026] ppid=10023 vsize=66568 CPUtime=0
/proc/10025/task/10026/stat : 10026 (satake) S 10023 10025 9988 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1165194502 68165632 12127 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10025/tid=10027] ppid=10023 vsize=66568 CPUtime=0.06
/proc/10025/task/10027/stat : 10027 (satake) R 10023 10025 9988 0 -1 4194368 6276 0 0 0 0 6 0 0 21 0 4 0 1165194502 68165632 12135 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10025/tid=10028] ppid=10023 vsize=66568 CPUtime=0.05
/proc/10025/task/10028/stat : 10028 (satake) R 10023 10025 9988 0 -1 4194368 5784 0 0 0 0 5 0 0 18 0 4 0 1165194502 68165632 12141 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 66568

[startup+0.102381 s]
/proc/loadavg: 1.69 1.91 1.78 3/64 10025
/proc/meminfo: memFree=1434840/2055920 swapFree=4175692/4192956
[pid=10025] ppid=10023 vsize=69552 CPUtime=0.19
/proc/10025/stat : 10025 (satake) S 10023 10025 9988 0 -1 4194304 16547 0 0 0 4 15 0 0 18 0 4 0 1165194502 71221248 16515 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10025/statm: 17388 16515 65 163 0 17223 0
[pid=10025/tid=10026] ppid=10023 vsize=69552 CPUtime=0
/proc/10025/task/10026/stat : 10026 (satake) S 10023 10025 9988 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1165194502 71221248 16515 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10025/tid=10027] ppid=10023 vsize=69552 CPUtime=0.08
/proc/10025/task/10027/stat : 10027 (satake) D 10023 10025 9988 0 -1 4194368 8324 0 0 0 1 7 0 0 17 0 4 0 1165194502 71221248 16515 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10025/tid=10028] ppid=10023 vsize=69552 CPUtime=0.09
/proc/10025/task/10028/stat : 10028 (satake) R 10023 10025 9988 0 -1 4194368 8133 0 0 0 2 7 0 0 17 0 4 0 1165194502 71221248 16515 1992294400 134512640 135180984 4294956208 18446744073709551615 134869198 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 69552

[startup+0.30235 s]
/proc/loadavg: 1.69 1.91 1.78 3/64 10025
/proc/meminfo: memFree=1434840/2055920 swapFree=4175692/4192956
[pid=10025] ppid=10023 vsize=121892 CPUtime=0.58
/proc/10025/stat : 10025 (satake) S 10023 10025 9988 0 -1 4194304 27904 0 0 0 35 23 0 0 18 0 4 0 1165194502 124817408 27872 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10025/statm: 30473 27872 65 163 0 30308 0
[pid=10025/tid=10026] ppid=10023 vsize=121892 CPUtime=0
/proc/10025/task/10026/stat : 10026 (satake) S 10023 10025 9988 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1165194502 124817408 27872 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10025/tid=10027] ppid=10023 vsize=121892 CPUtime=0.28
/proc/10025/task/10027/stat : 10027 (satake) R 10023 10025 9988 0 -1 4194368 13944 0 0 0 17 11 0 0 16 0 4 0 1165194502 124817408 27873 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10025/tid=10028] ppid=10023 vsize=121892 CPUtime=0.28
/proc/10025/task/10028/stat : 10028 (satake) R 10023 10025 9988 0 -1 4194368 13871 0 0 0 18 10 0 0 16 0 4 0 1165194502 124817408 27873 1992294400 134512640 135180984 4294956208 18446744073709551615 134579745 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 121892

[startup+0.70702 s]
/proc/loadavg: 1.69 1.91 1.78 3/64 10025
/proc/meminfo: memFree=1434840/2055920 swapFree=4175692/4192956
[pid=10025] ppid=10023 vsize=142176 CPUtime=1.38
/proc/10025/stat : 10025 (satake) S 10023 10025 9988 0 -1 4194304 32653 0 0 0 112 26 0 0 18 0 4 0 1165194502 145588224 32621 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10025/statm: 35544 32621 65 163 0 35379 0
[pid=10025/tid=10026] ppid=10023 vsize=142176 CPUtime=0
/proc/10025/task/10026/stat : 10026 (satake) S 10023 10025 9988 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1165194502 145588224 32621 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10025/tid=10027] ppid=10023 vsize=142176 CPUtime=0.69
/proc/10025/task/10027/stat : 10027 (satake) D 10023 10025 9988 0 -1 4194368 16243 0 0 0 55 14 0 0 16 0 4 0 1165194502 145588224 32621 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10025/tid=10028] ppid=10023 vsize=142176 CPUtime=0.68
/proc/10025/task/10028/stat : 10028 (satake) R 10023 10025 9988 0 -1 4194368 16320 0 0 0 56 12 0 0 15 0 4 0 1165194502 145588224 32621 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 142176

[startup+1.50369 s]
/proc/loadavg: 1.69 1.91 1.78 3/68 10029
/proc/meminfo: memFree=1291256/2055920 swapFree=4175692/4192956
[pid=10025] ppid=10023 vsize=185832 CPUtime=2.96
/proc/10025/stat : 10025 (satake) S 10023 10025 9988 0 -1 4194304 44664 0 0 0 259 37 0 0 18 0 4 0 1165194502 190291968 44632 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10025/statm: 46458 44632 65 163 0 46293 0
[pid=10025/tid=10026] ppid=10023 vsize=185832 CPUtime=0
/proc/10025/task/10026/stat : 10026 (satake) S 10023 10025 9988 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1165194502 190291968 44633 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10025/tid=10027] ppid=10023 vsize=185832 CPUtime=1.48
/proc/10025/task/10027/stat : 10027 (satake) R 10023 10025 9988 0 -1 4194368 22150 0 0 0 129 19 0 0 16 0 4 0 1165194502 190291968 44633 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10025/tid=10028] ppid=10023 vsize=185964 CPUtime=1.48
/proc/10025/task/10028/stat : 10028 (satake) R 10023 10025 9988 0 -1 4194368 22425 0 0 0 130 18 0 0 16 0 4 0 1165194502 190427136 44633 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 185832

[startup+3.10167 s]
/proc/loadavg: 1.72 1.91 1.78 3/68 10029
/proc/meminfo: memFree=1290744/2055920 swapFree=4175692/4192956
[pid=10025] ppid=10023 vsize=168664 CPUtime=6.05
/proc/10025/stat : 10025 (satake) S 10023 10025 9988 0 -1 4194304 52305 0 0 0 559 46 0 0 18 0 4 0 1165194502 172711936 39110 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10025/statm: 42166 39110 70 163 0 42001 0
[pid=10025/tid=10026] ppid=10023 vsize=168664 CPUtime=0.1
/proc/10025/task/10026/stat : 10026 (satake) S 10023 10025 9988 0 -1 4194368 2448 0 0 0 9 1 0 0 15 0 4 0 1165194502 172711936 39110 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10025/tid=10027] ppid=10023 vsize=168664 CPUtime=2.95
/proc/10025/task/10027/stat : 10027 (satake) R 10023 10025 9988 0 -1 4194368 24813 0 0 0 272 23 0 0 17 0 4 0 1165194502 172711936 39110 1992294400 134512640 135180984 4294956208 18446744073709551615 134520854 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10025/tid=10028] ppid=10023 vsize=168664 CPUtime=2.98
/proc/10025/task/10028/stat : 10028 (satake) R 10023 10025 9988 0 -1 4194368 24961 0 0 0 277 21 0 0 16 0 4 0 1165194502 172711936 39110 1992294400 134512640 135180984 4294956208 18446744073709551615 134518255 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 168664

[startup+6.30104 s]
/proc/loadavg: 1.72 1.91 1.78 3/68 10029
/proc/meminfo: memFree=1276920/2055920 swapFree=4175692/4192956
[pid=10025] ppid=10023 vsize=168664 CPUtime=9.93
/proc/10025/stat : 10025 (satake) S 10023 10025 9988 0 -1 4194304 52326 0 0 0 942 51 0 0 18 0 4 0 1165194502 172711936 39131 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10025/statm: 42166 39131 70 163 0 42001 0
[pid=10025/tid=10026] ppid=10023 vsize=168664 CPUtime=0.11
/proc/10025/task/10026/stat : 10026 (satake) S 10023 10025 9988 0 -1 4194368 2450 0 0 0 9 2 0 0 15 0 4 0 1165194502 172711936 39131 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=10025/tid=10027] ppid=10023 vsize=168664 CPUtime=3.63
/proc/10025/task/10027/stat : 10027 (satake) R 10023 10025 9988 0 -1 4194368 24813 0 0 0 339 24 0 0 19 0 4 0 1165194502 172711936 39131 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10025/tid=10028] ppid=10023 vsize=168664 CPUtime=6.16
/proc/10025/task/10028/stat : 10028 (satake) R 10023 10025 9988 0 -1 4194368 24980 0 0 0 593 23 0 0 20 0 4 0 1165194502 172711936 39131 1992294400 134512640 135180984 4294956208 18446744073709551615 134521049 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9.93
Current children cumulated vsize (KiB) 168664

[startup+12.7018 s]
/proc/loadavg: 2.07 1.97 1.81 3/68 10029
/proc/meminfo: memFree=1277752/2055920 swapFree=4175692/4192956
[pid=10025] ppid=10023 vsize=169820 CPUtime=18.51
/proc/10025/stat : 10025 (satake) S 10023 10025 9988 0 -1 4194304 52399 0 0 0 1785 66 0 0 18 0 4 0 1165194502 173895680 39204 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10025/statm: 42455 39204 70 163 0 42290 0
[pid=10025/tid=10026] ppid=10023 vsize=169820 CPUtime=0.16
/proc/10025/task/10026/stat : 10026 (satake) S 10023 10025 9988 0 -1 4194368 2450 0 0 0 10 6 0 0 15 0 4 0 1165194502 173895680 39204 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10025/tid=10027] ppid=10023 vsize=169820 CPUtime=6.2
/proc/10025/task/10027/stat : 10027 (satake) R 10023 10025 9988 0 -1 4194368 24838 0 0 0 591 29 0 0 25 0 4 0 1165194502 173895680 39204 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10025/tid=10028] ppid=10023 vsize=169820 CPUtime=12.13
/proc/10025/task/10028/stat : 10028 (satake) R 10023 10025 9988 0 -1 4194368 25028 0 0 0 1183 30 0 0 25 0 4 0 1165194502 173895680 39204 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 18.51
Current children cumulated vsize (KiB) 169820

[startup+25.5023 s]
/proc/loadavg: 2.06 1.97 1.81 3/68 10029
/proc/meminfo: memFree=1275320/2055920 swapFree=4175692/4192956
[pid=10025] ppid=10023 vsize=171904 CPUtime=44.06
/proc/10025/stat : 10025 (satake) S 10023 10025 9988 0 -1 4194304 53106 0 0 0 4308 98 0 0 18 0 4 0 1165194502 176029696 39911 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10025/statm: 42976 39911 70 163 0 42811 0
[pid=10025/tid=10026] ppid=10023 vsize=171904 CPUtime=0.35
/proc/10025/task/10026/stat : 10026 (satake) S 10023 10025 9988 0 -1 4194368 2457 0 0 0 14 21 0 0 15 0 4 0 1165194502 176029696 39911 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=10025/tid=10027] ppid=10023 vsize=171904 CPUtime=18.91
/proc/10025/task/10027/stat : 10027 (satake) R 10023 10025 9988 0 -1 4194368 25247 0 0 0 1853 38 0 0 25 0 4 0 1165194502 176029696 39911 1992294400 134512640 135180984 4294956208 18446744073709551615 134522972 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10025/tid=10028] ppid=10023 vsize=171904 CPUtime=24.77
/proc/10025/task/10028/stat : 10028 (satake) R 10023 10025 9988 0 -1 4194368 25319 0 0 0 2440 37 0 0 18 0 4 0 1165194502 176029696 39911 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 44.06
Current children cumulated vsize (KiB) 171904

[startup+51.1022 s]
/proc/loadavg: 2.04 1.97 1.81 3/68 10029
/proc/meminfo: memFree=1267512/2055920 swapFree=4175692/4192956
[pid=10025] ppid=10023 vsize=180156 CPUtime=95.09
/proc/10025/stat : 10025 (satake) S 10023 10025 9988 0 -1 4194304 55086 0 0 0 9355 154 0 0 18 0 4 0 1165194502 184479744 41891 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10025/statm: 45039 41891 70 163 0 44874 0
[pid=10025/tid=10026] ppid=10023 vsize=180156 CPUtime=0.67
/proc/10025/task/10026/stat : 10026 (satake) S 10023 10025 9988 0 -1 4194368 2477 0 0 0 21 46 0 0 16 0 4 0 1165194502 184479744 41891 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=10025/tid=10027] ppid=10023 vsize=180156 CPUtime=44.31
/proc/10025/task/10027/stat : 10027 (satake) R 10023 10025 9988 0 -1 4194368 26431 0 0 0 4377 54 0 0 19 0 4 0 1165194502 184479744 41891 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10025/tid=10028] ppid=10023 vsize=180156 CPUtime=50.09
/proc/10025/task/10028/stat : 10028 (satake) R 10023 10025 9988 0 -1 4194368 26095 0 0 0 4956 53 0 0 21 0 4 0 1165194502 184479744 41891 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 95.09
Current children cumulated vsize (KiB) 180156

[startup+102.302 s]
/proc/loadavg: 2.01 1.97 1.82 3/68 10029
/proc/meminfo: memFree=1249400/2055920 swapFree=4175692/4192956
[pid=10025] ppid=10023 vsize=198464 CPUtime=197.23
/proc/10025/stat : 10025 (satake) S 10023 10025 9988 0 -1 4194304 59670 0 0 0 19507 216 0 0 18 0 4 0 1165194502 203227136 46475 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10025/statm: 49616 46475 70 163 0 49451 0
[pid=10025/tid=10026] ppid=10023 vsize=198464 CPUtime=1
/proc/10025/task/10026/stat : 10026 (satake) S 10023 10025 9988 0 -1 4194368 2546 0 0 0 29 71 0 0 16 0 4 0 1165194502 203227136 46475 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10025/tid=10027] ppid=10023 vsize=198464 CPUtime=95.31
/proc/10025/task/10027/stat : 10027 (satake) R 10023 10025 9988 0 -1 4194368 29566 0 0 0 9455 76 0 0 25 0 4 0 1165194502 203227136 46475 1992294400 134512640 135180984 4294956208 18446744073709551615 134528664 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10025/tid=10028] ppid=10023 vsize=198464 CPUtime=100.9
/proc/10025/task/10028/stat : 10028 (satake) R 10023 10025 9988 0 -1 4194368 27475 0 0 0 10022 68 0 0 18 0 4 0 1165194502 203227136 46475 1992294400 134512640 135180984 4294956208 18446744073709551615 134523865 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 197.23
Current children cumulated vsize (KiB) 198464

[startup+162.303 s]
/proc/loadavg: 2.00 1.97 1.83 3/68 10029
/proc/meminfo: memFree=1225080/2055920 swapFree=4175692/4192956
[pid=10025] ppid=10023 vsize=223508 CPUtime=316.96
/proc/10025/stat : 10025 (satake) S 10023 10025 9988 0 -1 4194304 65652 0 0 0 31416 280 0 0 18 0 4 0 1165194502 228872192 52457 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10025/statm: 55877 52457 70 163 0 55712 0
[pid=10025/tid=10026] ppid=10023 vsize=223508 CPUtime=1.33
/proc/10025/task/10026/stat : 10026 (satake) R 10023 10025 9988 0 -1 4194368 2603 0 0 0 37 96 0 0 15 0 4 0 1165194502 228872192 52457 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10025/tid=10027] ppid=10023 vsize=223508 CPUtime=154.9
/proc/10025/task/10027/stat : 10027 (satake) R 10023 10025 9988 0 -1 4194368 33423 0 0 0 15394 96 0 0 19 0 4 0 1165194502 228872192 52457 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10025/tid=10028] ppid=10023 vsize=223508 CPUtime=160.71
/proc/10025/task/10028/stat : 10028 (satake) R 10023 10025 9988 0 -1 4194368 29543 0 0 0 15984 87 0 0 17 0 4 0 1165194502 228872192 52457 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 316.96
Current children cumulated vsize (KiB) 223508

[startup+222.303 s]
/proc/loadavg: 2.00 1.97 1.83 3/68 10029
/proc/meminfo: memFree=1199032/2055920 swapFree=4175692/4192956
[pid=10025] ppid=10023 vsize=250044 CPUtime=436.7
/proc/10025/stat : 10025 (satake) S 10023 10025 9988 0 -1 4194304 72284 0 0 0 43331 339 0 0 18 0 4 0 1165194502 256045056 59089 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10025/statm: 62511 59089 70 163 0 62346 0
[pid=10025/tid=10026] ppid=10023 vsize=250044 CPUtime=1.61
/proc/10025/task/10026/stat : 10026 (satake) S 10023 10025 9988 0 -1 4194368 2664 0 0 0 44 117 0 0 16 0 4 0 1165194502 256045056 59089 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10025/tid=10027] ppid=10023 vsize=250044 CPUtime=214.51
/proc/10025/task/10027/stat : 10027 (satake) R 10023 10025 9988 0 -1 4194368 37210 0 0 0 21338 113 0 0 25 0 4 0 1165194502 256045056 59089 1992294400 134512640 135180984 4294956208 18446744073709551615 134526482 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10025/tid=10028] ppid=10023 vsize=250044 CPUtime=220.55
/proc/10025/task/10028/stat : 10028 (satake) R 10023 10025 9988 0 -1 4194368 32327 0 0 0 21948 107 0 0 25 0 4 0 1165194502 256045056 59089 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 436.7
Current children cumulated vsize (KiB) 250044

[startup+282.303 s]
/proc/loadavg: 2.00 1.97 1.84 3/68 10029
/proc/meminfo: memFree=1174968/2055920 swapFree=4175692/4192956
[pid=10025] ppid=10023 vsize=273064 CPUtime=556.41
/proc/10025/stat : 10025 (satake) S 10023 10025 9988 0 -1 4194304 78223 0 0 0 55262 379 0 0 18 0 4 0 1165194502 279617536 65028 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10025/statm: 68266 65028 70 163 0 68101 0
[pid=10025/tid=10026] ppid=10023 vsize=273064 CPUtime=1.8
/proc/10025/task/10026/stat : 10026 (satake) S 10023 10025 9988 0 -1 4194368 2683 0 0 0 48 132 0 0 16 0 4 0 1165194502 279617536 65028 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=10025/tid=10027] ppid=10023 vsize=273064 CPUtime=274.16
/proc/10025/task/10027/stat : 10027 (satake) R 10023 10025 9988 0 -1 4194368 40998 0 0 0 27290 126 0 0 25 0 4 0 1165194502 279617536 65028 1992294400 134512640 135180984 4294956208 18446744073709551615 134532624 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10025/tid=10028] ppid=10023 vsize=273064 CPUtime=280.42
/proc/10025/task/10028/stat : 10028 (satake) R 10023 10025 9988 0 -1 4194368 34459 0 0 0 27923 119 0 0 18 0 4 0 1165194502 279617536 65028 1992294400 134512640 135180984 4294956208 18446744073709551615 134518217 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 556.41
Current children cumulated vsize (KiB) 273064

[startup+342.303 s]
/proc/loadavg: 2.06 2.00 1.86 3/68 10029
/proc/meminfo: memFree=1153720/2055920 swapFree=4175692/4192956
[pid=10025] ppid=10023 vsize=293956 CPUtime=676.14
/proc/10025/stat : 10025 (satake) S 10023 10025 9988 0 -1 4194304 83477 0 0 0 67190 424 0 0 18 0 4 0 1165194502 301010944 70282 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10025/statm: 73489 70282 70 163 0 73324 0
[pid=10025/tid=10026] ppid=10023 vsize=293956 CPUtime=2.01
/proc/10025/task/10026/stat : 10026 (satake) S 10023 10025 9988 0 -1 4194368 2703 0 0 0 53 148 0 0 16 0 4 0 1165194502 301010944 70282 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10025/tid=10027] ppid=10023 vsize=293956 CPUtime=333.81
/proc/10025/task/10027/stat : 10027 (satake) R 10023 10025 9988 0 -1 4194368 44399 0 0 0 33241 140 0 0 25 0 4 0 1165194502 301010944 70282 1992294400 134512640 135180984 4294956208 18446744073709551615 134522692 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10025/tid=10028] ppid=10023 vsize=293956 CPUtime=340.3
/proc/10025/task/10028/stat : 10028 (satake) R 10023 10025 9988 0 -1 4194368 36292 0 0 0 33895 135 0 0 18 0 4 0 1165194502 301010944 70282 1992294400 134512640 135180984 4294956208 18446744073709551615 134518217 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 676.14
Current children cumulated vsize (KiB) 293956

[startup+402.303 s]
/proc/loadavg: 2.02 2.00 1.86 3/68 10035
/proc/meminfo: memFree=1132464/2055920 swapFree=4175692/4192956
[pid=10025] ppid=10023 vsize=315216 CPUtime=795.78
/proc/10025/stat : 10025 (satake) S 10023 10025 9988 0 -1 4194304 88816 0 0 0 79123 455 0 0 18 0 4 0 1165194502 322781184 75621 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10025/statm: 78804 75621 70 163 0 78639 0
[pid=10025/tid=10026] ppid=10023 vsize=315216 CPUtime=2.14
/proc/10025/task/10026/stat : 10026 (satake) S 10023 10025 9988 0 -1 4194368 2721 0 0 0 56 158 0 0 15 0 4 0 1165194502 322781184 75621 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=10025/tid=10027] ppid=10023 vsize=315216 CPUtime=393.44
/proc/10025/task/10027/stat : 10027 (satake) R 10023 10025 9988 0 -1 4194368 48007 0 0 0 39192 152 0 0 25 0 4 0 1165194502 322781184 75621 1992294400 134512640 135180984 4294956208 18446744073709551615 134524811 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10025/tid=10028] ppid=10023 vsize=315216 CPUtime=400.18
/proc/10025/task/10028/stat : 10028 (satake) R 10023 10025 9988 0 -1 4194368 38005 0 0 0 39874 144 0 0 25 0 4 0 1165194502 322781184 75621 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 795.78
Current children cumulated vsize (KiB) 315216

[startup+462.306 s]
/proc/loadavg: 2.04 2.01 1.87 3/68 10035
/proc/meminfo: memFree=1108016/2055920 swapFree=4175692/4192956
[pid=10025] ppid=10023 vsize=339284 CPUtime=915.5
/proc/10025/stat : 10025 (satake) S 10023 10025 9988 0 -1 4194304 94859 0 0 0 91068 482 0 0 18 0 4 0 1165194502 347426816 81664 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10025/statm: 84821 81664 70 163 0 84656 0
[pid=10025/tid=10026] ppid=10023 vsize=339284 CPUtime=2.27
/proc/10025/task/10026/stat : 10026 (satake) S 10023 10025 9988 0 -1 4194368 2732 0 0 0 60 167 0 0 15 0 4 0 1165194502 347426816 81664 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=10025/tid=10027] ppid=10023 vsize=339284 CPUtime=453.12
/proc/10025/task/10027/stat : 10027 (satake) R 10023 10025 9988 0 -1 4194368 51566 0 0 0 45151 161 0 0 25 0 4 0 1165194502 347426816 81664 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10025/tid=10028] ppid=10023 vsize=339284 CPUtime=460.09
/proc/10025/task/10028/stat : 10028 (satake) R 10023 10025 9988 0 -1 4194368 40478 0 0 0 45856 153 0 0 25 0 4 0 1165194502 347426816 81664 1992294400 134512640 135180984 4294956208 18446744073709551615 134519096 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 915.5
Current children cumulated vsize (KiB) 339284

[startup+522.302 s]
/proc/loadavg: 2.09 2.02 1.88 3/68 10035
/proc/meminfo: memFree=1084016/2055920 swapFree=4175692/4192956
[pid=10025] ppid=10023 vsize=363776 CPUtime=1035.23
/proc/10025/stat : 10025 (satake) S 10023 10025 9988 0 -1 4194304 100928 0 0 0 103010 513 0 0 18 0 4 0 1165194502 372506624 87733 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10025/statm: 90944 87733 70 163 0 90779 0
[pid=10025/tid=10026] ppid=10023 vsize=363776 CPUtime=2.41
/proc/10025/task/10026/stat : 10026 (satake) S 10023 10025 9988 0 -1 4194368 2746 0 0 0 64 177 0 0 16 0 4 0 1165194502 372506624 87733 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10025/tid=10027] ppid=10023 vsize=363776 CPUtime=512.81
/proc/10025/task/10027/stat : 10027 (satake) R 10023 10025 9988 0 -1 4194368 54949 0 0 0 51110 171 0 0 25 0 4 0 1165194502 372506624 87733 1992294400 134512640 135180984 4294956208 18446744073709551615 134528568 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10025/tid=10028] ppid=10023 vsize=363776 CPUtime=519.99
/proc/10025/task/10028/stat : 10028 (satake) R 10023 10025 9988 0 -1 4194368 43150 0 0 0 51835 164 0 0 25 0 4 0 1165194502 372506624 87733 1992294400 134512640 135180984 4294956208 18446744073709551615 134524655 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1035.23
Current children cumulated vsize (KiB) 363776

[startup+582.302 s]
/proc/loadavg: 2.08 2.03 1.89 3/68 10035
/proc/meminfo: memFree=1060592/2055920 swapFree=4175692/4192956
[pid=10025] ppid=10023 vsize=387140 CPUtime=1154.95
/proc/10025/stat : 10025 (satake) S 10023 10025 9988 0 -1 4194304 106705 0 0 0 114950 545 0 0 18 0 4 0 1165194502 396431360 93510 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10025/statm: 96785 93510 70 163 0 96620 0
[pid=10025/tid=10026] ppid=10023 vsize=387140 CPUtime=2.55
/proc/10025/task/10026/stat : 10026 (satake) S 10023 10025 9988 0 -1 4194368 2767 0 0 0 68 187 0 0 16 0 4 0 1165194502 396431360 93510 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10025/tid=10027] ppid=10023 vsize=387140 CPUtime=572.49
/proc/10025/task/10027/stat : 10027 (satake) R 10023 10025 9988 0 -1 4194368 58345 0 0 0 57068 181 0 0 25 0 4 0 1165194502 396431360 93510 1992294400 134512640 135180984 4294956208 18446744073709551615 134522980 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10025/tid=10028] ppid=10023 vsize=387140 CPUtime=579.9
/proc/10025/task/10028/stat : 10028 (satake) R 10023 10025 9988 0 -1 4194368 45510 0 0 0 57814 176 0 0 25 0 4 0 1165194502 396431360 93510 1992294400 134512640 135180984 4294956208 18446744073709551615 134521128 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1154.95
Current children cumulated vsize (KiB) 387140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+604.902 s]
/proc/loadavg: 2.06 2.03 1.90 3/68 10035
/proc/meminfo: memFree=1052400/2055920 swapFree=4175692/4192956
[pid=10025] ppid=10023 vsize=394736 CPUtime=1200.05
/proc/10025/stat : 10025 (satake) S 10023 10025 9988 0 -1 4194304 108736 0 0 0 119447 558 0 0 18 0 4 0 1165194502 404209664 95541 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10025/statm: 98684 95541 70 163 0 98519 0
[pid=10025/tid=10026] ppid=10023 vsize=394736 CPUtime=2.61
/proc/10025/task/10026/stat : 10026 (satake) S 10023 10025 9988 0 -1 4194368 2777 0 0 0 69 192 0 0 16 0 4 0 1165194502 404209664 95541 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=10025/tid=10027] ppid=10023 vsize=394736 CPUtime=594.96
/proc/10025/task/10027/stat : 10027 (satake) R 10023 10025 9988 0 -1 4194368 59665 0 0 0 59311 185 0 0 25 0 4 0 1165194502 404209664 95541 1992294400 134512640 135180984 4294956208 18446744073709551615 134525269 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10025/tid=10028] ppid=10023 vsize=394736 CPUtime=602.45
/proc/10025/task/10028/stat : 10028 (satake) R 10023 10025 9988 0 -1 4194368 46211 0 0 0 60065 180 0 0 25 0 4 0 1165194502 404209664 95541 1992294400 134512640 135180984 4294956208 18446744073709551615 134524655 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 394736

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): 604.973
CPU time (s): 1200.13
CPU user time (s): 1194.49
CPU system time (s): 5.64514
CPU usage (%): 198.377
Max. virtual memory (cumulated for all children) (KiB): 394736

deleting IPC queue 5308416
deleting IPC queue 5341185
deleting IPC queue 5373954
deleting IPC queue 5406723
deleting IPC queue 5439492
deleting IPC queue 5472261
deleting IPC queue 5505030
deleting IPC queue 5537799
deleting IPC queue 5570568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1194.49
system time used= 5.64514
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108738
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= 375798
involuntary context switches= 380460

runsolver used 0.595909 second user time and 1.73873 second system time

The end

Launcher Data 

Begin job on node28 at 2009-04-05 11:54:48
IDJOB=1581092
IDBENCH=71029
IDSOLVER=553
FILE ID=node28/1581092-1238925286
PBS_JOBID= 9101439
Free space on /tmp= 66400 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UCG-20-10p1.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1581092-1238925286/watcher-1581092-1238925286 -o /tmp/evaluation-result-1581092-1238925286/solver-1581092-1238925286 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1581092-1238925286.cnf 3 1200

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

MD5SUM BENCH= 4454a006891d750fc88d47a8b0848855
RANDOM SEED=1642968814

node28.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.212
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.212
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:       1435320 kB
Buffers:         64188 kB
Cached:         459388 kB
SwapCached:      10496 kB
Active:         190336 kB
Inactive:       352728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1435320 kB
SwapTotal:     4192956 kB
SwapFree:      4175692 kB
Dirty:           27336 kB
Writeback:           0 kB
Mapped:          17796 kB
Slab:            63336 kB
Committed_AS:  3278916 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66400 MiB
End job on node28 at 2009-04-05 12:04:55