Trace number 1719110

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.19 601.745

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
MD5SUMf0f4556999ccb446384994a4148fca28
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark238.907
Satisfiable
(Un)Satisfiability was proved
Number of variables44095
Number of clauses542253
Sum of the clauses size1554259
Maximum clause length93
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2500227
Number of clauses of size 310265
Number of clauses of size 43051
Number of clauses of size 55229
Number of clauses of size over 523480

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-1719110-1240643450/watcher-1719110-1240643450 -o /tmp/evaluation-result-1719110-1240643450/solver-1719110-1240643450 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1719110-1240643450.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 16345
/proc/meminfo: memFree=1817768/2055920 swapFree=4181132/4192956
[pid=16345] ppid=16343 vsize=5120 CPUtime=0
/proc/16345/stat : 16345 (satake) S 16343 16345 15984 0 -1 4194304 653 0 0 0 0 0 0 0 18 0 4 0 92378094 5242880 638 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16345/statm: 1280 645 65 163 0 1115 0
[pid=16345/tid=16346] ppid=16343 vsize=5120 CPUtime=0
/proc/16345/task/16346/stat : 16346 (satake) S 16343 16345 15984 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 92378094 5242880 661 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16345/tid=16347] ppid=16343 vsize=5120 CPUtime=0
/proc/16345/task/16347/stat : 16347 (satake) R 16343 16345 15984 0 -1 4194368 594 0 0 0 0 0 0 0 20 0 4 0 92378094 5242880 669 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16345/tid=16348] ppid=16343 vsize=5120 CPUtime=0
/proc/16345/task/16348/stat : 16348 (satake) R 16343 16345 15984 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 4 0 92378094 5242880 677 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0720049 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16345
/proc/meminfo: memFree=1817768/2055920 swapFree=4181132/4192956
[pid=16345] ppid=16343 vsize=26664 CPUtime=0.12
/proc/16345/stat : 16345 (satake) S 16343 16345 15984 0 -1 4194304 6304 0 0 0 7 5 0 0 18 0 4 0 92378094 27303936 6287 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16345/statm: 6666 6289 65 163 0 6501 0
[pid=16345/tid=16346] ppid=16343 vsize=26664 CPUtime=0
/proc/16345/task/16346/stat : 16346 (satake) S 16343 16345 15984 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 92378094 27303936 6289 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16345/tid=16347] ppid=16343 vsize=26664 CPUtime=0.06
/proc/16345/task/16347/stat : 16347 (satake) R 16343 16345 15984 0 -1 4194368 3121 0 0 0 4 2 0 0 17 0 4 0 92378094 27303936 6291 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16345/tid=16348] ppid=16343 vsize=26664 CPUtime=0.05
/proc/16345/task/16348/stat : 16348 (satake) R 16343 16345 15984 0 -1 4194368 3097 0 0 0 3 2 0 0 17 0 4 0 92378094 27303936 6291 1992294400 134512640 135180984 4294956208 18446744073709551615 134520025 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 26664

[startup+0.101893 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16345
/proc/meminfo: memFree=1817768/2055920 swapFree=4181132/4192956
[pid=16345] ppid=16343 vsize=30892 CPUtime=0.18
/proc/16345/stat : 16345 (satake) S 16343 16345 15984 0 -1 4194304 7052 0 0 0 12 6 0 0 18 0 4 0 92378094 31633408 7029 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16345/statm: 7723 7029 65 163 0 7558 0
[pid=16345/tid=16346] ppid=16343 vsize=30892 CPUtime=0
/proc/16345/task/16346/stat : 16346 (satake) S 16343 16345 15984 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 92378094 31633408 7029 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16345/tid=16347] ppid=16343 vsize=30892 CPUtime=0.09
/proc/16345/task/16347/stat : 16347 (satake) R 16343 16345 15984 0 -1 4194368 3457 0 0 0 6 3 0 0 16 0 4 0 92378094 31633408 7029 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16345/tid=16348] ppid=16343 vsize=30892 CPUtime=0.09
/proc/16345/task/16348/stat : 16348 (satake) D 16343 16345 15984 0 -1 4194368 3505 0 0 0 6 3 0 0 16 0 4 0 92378094 31633408 7029 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 30892

[startup+0.301667 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16345
/proc/meminfo: memFree=1817768/2055920 swapFree=4181132/4192956
[pid=16345] ppid=16343 vsize=48216 CPUtime=0.58
/proc/16345/stat : 16345 (satake) S 16343 16345 15984 0 -1 4194304 11358 0 0 0 48 10 0 0 18 0 4 0 92378094 49373184 11328 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16345/statm: 12054 11328 65 163 0 11889 0
[pid=16345/tid=16346] ppid=16343 vsize=48216 CPUtime=0
/proc/16345/task/16346/stat : 16346 (satake) S 16343 16345 15984 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 92378094 49373184 11329 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16345/tid=16347] ppid=16343 vsize=48216 CPUtime=0.28
/proc/16345/task/16347/stat : 16347 (satake) R 16343 16345 15984 0 -1 4194368 5527 0 0 0 23 5 0 0 16 0 4 0 92378094 49373184 11329 1992294400 134512640 135180984 4294956208 18446744073709551615 134513837 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16345/tid=16348] ppid=16343 vsize=48216 CPUtime=0.28
/proc/16345/task/16348/stat : 16348 (satake) R 16343 16345 15984 0 -1 4194368 5742 0 0 0 24 4 0 0 16 0 4 0 92378094 49373184 11329 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 48216

[startup+0.701737 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16345
/proc/meminfo: memFree=1817768/2055920 swapFree=4181132/4192956
[pid=16345] ppid=16343 vsize=56012 CPUtime=1.37
/proc/16345/stat : 16345 (satake) S 16343 16345 15984 0 -1 4194304 17714 0 0 0 121 16 0 0 18 0 4 0 92378094 57356288 12556 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16345/statm: 14003 12556 70 163 0 13838 0
[pid=16345/tid=16346] ppid=16343 vsize=56012 CPUtime=0
/proc/16345/task/16346/stat : 16346 (satake) S 16343 16345 15984 0 -1 4194368 776 0 0 0 0 0 0 0 16 0 4 0 92378094 57356288 12556 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16345/tid=16347] ppid=16343 vsize=56012 CPUtime=0.66
/proc/16345/task/16347/stat : 16347 (satake) R 16343 16345 15984 0 -1 4194368 8389 0 0 0 58 8 0 0 17 0 4 0 92378094 57356288 12556 1992294400 134512640 135180984 4294956208 18446744073709551615 134528470 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16345/tid=16348] ppid=16343 vsize=56012 CPUtime=0.68
/proc/16345/task/16348/stat : 16348 (satake) R 16343 16345 15984 0 -1 4194368 8466 0 0 0 62 6 0 0 17 0 4 0 92378094 57356288 12556 1992294400 134512640 135180984 4294956208 18446744073709551615 134523641 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 56012

[startup+1.50186 s]
/proc/loadavg: 1.00 1.00 1.00 3/68 16349
/proc/meminfo: memFree=1767048/2055920 swapFree=4181132/4192956
[pid=16345] ppid=16343 vsize=58732 CPUtime=2.96
/proc/16345/stat : 16345 (satake) S 16343 16345 15984 0 -1 4194304 18073 0 0 0 268 28 0 0 18 0 4 0 92378094 60141568 12915 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16345/statm: 14683 12915 70 163 0 14518 0
[pid=16345/tid=16346] ppid=16343 vsize=58732 CPUtime=0.08
/proc/16345/task/16346/stat : 16346 (satake) S 16343 16345 15984 0 -1 4194368 788 0 0 0 2 6 0 0 16 0 4 0 92378094 60141568 12915 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16345/tid=16347] ppid=16343 vsize=58732 CPUtime=1.42
/proc/16345/task/16347/stat : 16347 (satake) R 16343 16345 15984 0 -1 4194368 8572 0 0 0 131 11 0 0 17 0 4 0 92378094 60141568 12915 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16345/tid=16348] ppid=16343 vsize=58732 CPUtime=1.45
/proc/16345/task/16348/stat : 16348 (satake) R 16343 16345 15984 0 -1 4194368 8630 0 0 0 135 10 0 0 17 0 4 0 92378094 60141568 12915 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 58732

[startup+3.10212 s]
/proc/loadavg: 1.00 1.00 1.00 3/68 16349
/proc/meminfo: memFree=1764808/2055920 swapFree=4181132/4192956
[pid=16345] ppid=16343 vsize=61208 CPUtime=6.12
/proc/16345/stat : 16345 (satake) S 16343 16345 15984 0 -1 4194304 18889 0 0 0 563 49 0 0 18 0 4 0 92378094 62676992 13731 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16345/statm: 15302 13731 70 163 0 15137 0
[pid=16345/tid=16346] ppid=16343 vsize=61208 CPUtime=0.18
/proc/16345/task/16346/stat : 16346 (satake) S 16343 16345 15984 0 -1 4194368 819 0 0 0 4 14 0 0 16 0 4 0 92378094 62676992 13731 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16345/tid=16347] ppid=16343 vsize=61208 CPUtime=2.95
/proc/16345/task/16347/stat : 16347 (satake) R 16343 16345 15984 0 -1 4194368 8951 0 0 0 277 18 0 0 17 0 4 0 92378094 62676992 13731 1992294400 134512640 135180984 4294956208 18446744073709551615 134518263 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16345/tid=16348] ppid=16343 vsize=61208 CPUtime=2.98
/proc/16345/task/16348/stat : 16348 (satake) R 16343 16345 15984 0 -1 4194368 9036 0 0 0 282 16 0 0 17 0 4 0 92378094 62676992 13731 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 61208

[startup+6.30163 s]
/proc/loadavg: 1.08 1.02 1.01 3/68 16349
/proc/meminfo: memFree=1755920/2055920 swapFree=4181132/4192956
[pid=16345] ppid=16343 vsize=69640 CPUtime=12.48
/proc/16345/stat : 16345 (satake) S 16343 16345 15984 0 -1 4194304 20997 0 0 0 1174 74 0 0 18 0 4 0 92378094 71311360 15839 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16345/statm: 17410 15839 70 163 0 17245 0
[pid=16345/tid=16346] ppid=16343 vsize=69640 CPUtime=0.33
/proc/16345/task/16346/stat : 16346 (satake) S 16343 16345 15984 0 -1 4194368 857 0 0 0 7 26 0 0 16 0 4 0 92378094 71311360 15839 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16345/tid=16347] ppid=16343 vsize=69640 CPUtime=6.05
/proc/16345/task/16347/stat : 16347 (satake) R 16343 16345 15984 0 -1 4194368 10105 0 0 0 581 24 0 0 17 0 4 0 92378094 71311360 15839 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16345/tid=16348] ppid=16343 vsize=69640 CPUtime=6.08
/proc/16345/task/16348/stat : 16348 (satake) R 16343 16345 15984 0 -1 4194368 9952 0 0 0 585 23 0 0 17 0 4 0 92378094 71311360 15839 1992294400 134512640 135180984 4294956208 18446744073709551615 134528872 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 69640

[startup+12.7015 s]
/proc/loadavg: 1.15 1.03 1.01 3/68 16349
/proc/meminfo: memFree=1745424/2055920 swapFree=4181132/4192956
[pid=16345] ppid=16343 vsize=79912 CPUtime=25.09
/proc/16345/stat : 16345 (satake) S 16343 16345 15984 0 -1 4194304 23438 0 0 0 2268 241 0 0 18 0 4 0 92378094 81829888 18280 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16345/statm: 19978 18280 70 163 0 19813 0
[pid=16345/tid=16346] ppid=16343 vsize=79912 CPUtime=1.34
/proc/16345/task/16346/stat : 16346 (satake) S 16343 16345 15984 0 -1 4194368 1235 0 0 0 29 105 0 0 16 0 4 0 92378094 81829888 18280 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16345/tid=16347] ppid=16343 vsize=79912 CPUtime=11.83
/proc/16345/task/16347/stat : 16347 (satake) R 16343 16345 15984 0 -1 4194368 11157 0 0 0 1119 64 0 0 16 0 4 0 92378094 81829888 18280 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16345/tid=16348] ppid=16343 vsize=79912 CPUtime=11.89
/proc/16345/task/16348/stat : 16348 (satake) R 16343 16345 15984 0 -1 4194368 10963 0 0 0 1119 70 0 0 17 0 4 0 92378094 81829888 18280 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 79912

[startup+25.5015 s]
/proc/loadavg: 1.34 1.08 1.02 3/68 16349
/proc/meminfo: memFree=1723280/2055920 swapFree=4181132/4192956
[pid=16345] ppid=16343 vsize=101532 CPUtime=50.48
/proc/16345/stat : 16345 (satake) S 16343 16345 15984 0 -1 4194304 28967 0 0 0 4622 426 0 0 18 0 4 0 92378094 103968768 23809 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16345/statm: 25383 23809 70 163 0 25218 0
[pid=16345/tid=16346] ppid=16343 vsize=101532 CPUtime=2.4
/proc/16345/task/16346/stat : 16346 (satake) S 16343 16345 15984 0 -1 4194368 1603 0 0 0 51 189 0 0 16 0 4 0 92378094 103968768 23809 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16345/tid=16347] ppid=16343 vsize=101532 CPUtime=23.98
/proc/16345/task/16347/stat : 16347 (satake) R 16343 16345 15984 0 -1 4194368 14071 0 0 0 2284 114 0 0 17 0 4 0 92378094 103968768 23809 1992294400 134512640 135180984 4294956208 18446744073709551615 134523702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16345/tid=16348] ppid=16343 vsize=101532 CPUtime=24.1
/proc/16345/task/16348/stat : 16348 (satake) R 16343 16345 15984 0 -1 4194368 13210 0 0 0 2287 123 0 0 17 0 4 0 92378094 103968768 23809 1992294400 134512640 135180984 4294956208 18446744073709551615 134518258 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.48
Current children cumulated vsize (KiB) 101532

[startup+51.1016 s]
/proc/loadavg: 1.56 1.15 1.05 3/68 16349
/proc/meminfo: memFree=1658512/2055920 swapFree=4181132/4192956
[pid=16345] ppid=16343 vsize=167460 CPUtime=101.51
/proc/16345/stat : 16345 (satake) S 16343 16345 15984 0 -1 4194304 45159 0 0 0 9628 523 0 0 18 0 4 0 92378094 171479040 40001 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16345/statm: 41865 40001 70 163 0 41700 0
[pid=16345/tid=16346] ppid=16343 vsize=167460 CPUtime=2.88
/proc/16345/task/16346/stat : 16346 (satake) S 16343 16345 15984 0 -1 4194368 1765 0 0 0 61 227 0 0 16 0 4 0 92378094 171479040 40001 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16345/tid=16347] ppid=16343 vsize=167460 CPUtime=49.25
/proc/16345/task/16347/stat : 16347 (satake) R 16343 16345 15984 0 -1 4194368 21001 0 0 0 4782 143 0 0 19 0 4 0 92378094 171479040 40001 1992294400 134512640 135180984 4294956208 18446744073709551615 134528655 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16345/tid=16348] ppid=16343 vsize=167460 CPUtime=49.36
/proc/16345/task/16348/stat : 16348 (satake) R 16343 16345 15984 0 -1 4194368 22310 0 0 0 4784 152 0 0 23 0 4 0 92378094 171479040 40001 1992294400 134512640 135180984 4294956208 18446744073709551615 134527235 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 167460

[startup+102.306 s]
/proc/loadavg: 1.81 1.28 1.10 3/68 16349
/proc/meminfo: memFree=1523728/2055920 swapFree=4181132/4192956
[pid=16345] ppid=16343 vsize=301532 CPUtime=203.65
/proc/16345/stat : 16345 (satake) S 16343 16345 15984 0 -1 4194304 78591 0 0 0 19763 602 0 0 18 0 4 0 92378094 308768768 73433 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16345/statm: 75383 73433 70 163 0 75218 0
[pid=16345/tid=16346] ppid=16343 vsize=301532 CPUtime=3.12
/proc/16345/task/16346/stat : 16346 (satake) S 16343 16345 15984 0 -1 4194368 1828 0 0 0 67 245 0 0 16 0 4 0 92378094 308768768 73433 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16345/tid=16347] ppid=16343 vsize=301532 CPUtime=100.3
/proc/16345/task/16347/stat : 16347 (satake) R 16343 16345 15984 0 -1 4194368 38379 0 0 0 9858 172 0 0 17 0 4 0 92378094 308768768 73433 1992294400 134512640 135180984 4294956208 18446744073709551615 134523867 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16345/tid=16348] ppid=16343 vsize=301532 CPUtime=100.21
/proc/16345/task/16348/stat : 16348 (satake) R 16343 16345 15984 0 -1 4194368 38301 0 0 0 9837 184 0 0 18 0 4 0 92378094 308768768 73433 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.65
Current children cumulated vsize (KiB) 301532

[startup+162.301 s]
/proc/loadavg: 1.93 1.41 1.15 3/68 16349
/proc/meminfo: memFree=1415824/2055920 swapFree=4181132/4192956
[pid=16345] ppid=16343 vsize=409384 CPUtime=323.38
/proc/16345/stat : 16345 (satake) S 16343 16345 15984 0 -1 4194304 105551 0 0 0 31678 660 0 0 18 0 4 0 92378094 419209216 100393 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16345/statm: 102346 100393 70 163 0 102181 0
[pid=16345/tid=16346] ppid=16343 vsize=409384 CPUtime=3.24
/proc/16345/task/16346/stat : 16346 (satake) S 16343 16345 15984 0 -1 4194368 1844 0 0 0 70 254 0 0 16 0 4 0 92378094 419209216 100393 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16345/tid=16347] ppid=16343 vsize=409384 CPUtime=160.21
/proc/16345/task/16347/stat : 16347 (satake) R 16343 16345 15984 0 -1 4194368 50976 0 0 0 15827 194 0 0 18 0 4 0 92378094 419209216 100393 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16345/tid=16348] ppid=16343 vsize=409384 CPUtime=159.91
/proc/16345/task/16348/stat : 16348 (satake) R 16343 16345 15984 0 -1 4194368 52648 0 0 0 15780 211 0 0 20 0 4 0 92378094 419209216 100393 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.38
Current children cumulated vsize (KiB) 409384

[startup+222.303 s]
/proc/loadavg: 1.97 1.51 1.20 3/68 16349
/proc/meminfo: memFree=1328400/2055920 swapFree=4181132/4192956
[pid=16345] ppid=16343 vsize=497908 CPUtime=443.11
/proc/16345/stat : 16345 (satake) S 16343 16345 15984 0 -1 4194304 127316 0 0 0 43601 710 0 0 18 0 4 0 92378094 509857792 122158 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16345/statm: 124477 122158 70 163 0 124312 0
[pid=16345/tid=16346] ppid=16343 vsize=497908 CPUtime=3.35
/proc/16345/task/16346/stat : 16346 (satake) S 16343 16345 15984 0 -1 4194368 1874 0 0 0 73 262 0 0 16 0 4 0 92378094 509857792 122158 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16345/tid=16347] ppid=16343 vsize=497908 CPUtime=220.14
/proc/16345/task/16347/stat : 16347 (satake) R 16343 16345 15984 0 -1 4194368 63938 0 0 0 21799 215 0 0 25 0 4 0 92378094 509857792 122158 1992294400 134512640 135180984 4294956208 18446744073709551615 134527257 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16345/tid=16348] ppid=16343 vsize=497908 CPUtime=219.61
/proc/16345/task/16348/stat : 16348 (satake) R 16343 16345 15984 0 -1 4194368 61421 0 0 0 21728 233 0 0 18 0 4 0 92378094 509857792 122158 1992294400 134512640 135180984 4294956208 18446744073709551615 134519170 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.11
Current children cumulated vsize (KiB) 497908

[startup+282.301 s]
/proc/loadavg: 1.99 1.60 1.25 3/68 16349
/proc/meminfo: memFree=1259536/2055920 swapFree=4181132/4192956
[pid=16345] ppid=16343 vsize=568940 CPUtime=562.84
/proc/16345/stat : 16345 (satake) S 16343 16345 15984 0 -1 4194304 144666 0 0 0 55522 762 0 0 18 0 4 0 92378094 582594560 139508 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16345/statm: 142235 139508 70 163 0 142070 0
[pid=16345/tid=16346] ppid=16343 vsize=568940 CPUtime=3.49
/proc/16345/task/16346/stat : 16346 (satake) S 16343 16345 15984 0 -1 4194368 1919 0 0 0 76 273 0 0 15 0 4 0 92378094 582594560 139508 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16345/tid=16347] ppid=16343 vsize=568940 CPUtime=280.03
/proc/16345/task/16347/stat : 16347 (satake) R 16343 16345 15984 0 -1 4194368 73944 0 0 0 27770 233 0 0 19 0 4 0 92378094 582594560 139508 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16345/tid=16348] ppid=16343 vsize=568940 CPUtime=279.29
/proc/16345/task/16348/stat : 16348 (satake) R 16343 16345 15984 0 -1 4194368 68720 0 0 0 27674 255 0 0 16 0 4 0 92378094 582594560 139508 1992294400 134512640 135180984 4294956208 18446744073709551615 134524595 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.84
Current children cumulated vsize (KiB) 568940

[startup+342.301 s]
/proc/loadavg: 1.99 1.67 1.29 3/68 16349
/proc/meminfo: memFree=1188624/2055920 swapFree=4181132/4192956
[pid=16345] ppid=16343 vsize=640316 CPUtime=682.57
/proc/16345/stat : 16345 (satake) S 16343 16345 15984 0 -1 4194304 162247 0 0 0 67458 799 0 0 18 0 4 0 92378094 655683584 157089 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16345/statm: 160079 157089 70 163 0 159914 0
[pid=16345/tid=16346] ppid=16343 vsize=640316 CPUtime=3.56
/proc/16345/task/16346/stat : 16346 (satake) S 16343 16345 15984 0 -1 4194368 1927 0 0 0 78 278 0 0 16 0 4 0 92378094 655683584 157089 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16345/tid=16347] ppid=16343 vsize=640316 CPUtime=339.98
/proc/16345/task/16347/stat : 16347 (satake) R 16343 16345 15984 0 -1 4194368 82962 0 0 0 33748 250 0 0 25 0 4 0 92378094 655683584 157089 1992294400 134512640 135180984 4294956208 18446744073709551615 134522714 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16345/tid=16348] ppid=16343 vsize=640316 CPUtime=339
/proc/16345/task/16348/stat : 16348 (satake) R 16343 16345 15984 0 -1 4194368 77275 0 0 0 33630 270 0 0 16 0 4 0 92378094 655683584 157089 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.57
Current children cumulated vsize (KiB) 640316

[startup+402.302 s]
/proc/loadavg: 1.99 1.73 1.33 3/68 16349
/proc/meminfo: memFree=1122640/2055920 swapFree=4181132/4192956
[pid=16345] ppid=16343 vsize=705368 CPUtime=802.31
/proc/16345/stat : 16345 (satake) S 16343 16345 15984 0 -1 4194304 178854 0 0 0 79399 832 0 0 18 0 4 0 92378094 722296832 173696 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16345/statm: 176342 173696 70 163 0 176177 0
[pid=16345/tid=16346] ppid=16343 vsize=705368 CPUtime=3.59
/proc/16345/task/16346/stat : 16346 (satake) S 16343 16345 15984 0 -1 4194368 1932 0 0 0 79 280 0 0 16 0 4 0 92378094 722296832 173696 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16345/tid=16347] ppid=16343 vsize=705368 CPUtime=399.94
/proc/16345/task/16347/stat : 16347 (satake) R 16343 16345 15984 0 -1 4194368 94237 0 0 0 39726 268 0 0 25 0 4 0 92378094 722296832 173696 1992294400 134512640 135180984 4294956208 18446744073709551615 134522715 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16345/tid=16348] ppid=16343 vsize=705368 CPUtime=398.75
/proc/16345/task/16348/stat : 16348 (satake) R 16343 16345 15984 0 -1 4194368 82602 0 0 0 39593 282 0 0 25 0 4 0 92378094 722296832 173696 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.31
Current children cumulated vsize (KiB) 705368

[startup+462.301 s]
/proc/loadavg: 1.99 1.77 1.37 3/68 16349
/proc/meminfo: memFree=1071888/2055920 swapFree=4181132/4192956
[pid=16345] ppid=16343 vsize=756300 CPUtime=922.04
/proc/16345/stat : 16345 (satake) S 16343 16345 15984 0 -1 4194304 191356 0 0 0 91350 854 0 0 18 0 4 0 92378094 774451200 186198 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16345/statm: 189075 186198 70 163 0 188910 0
[pid=16345/tid=16346] ppid=16343 vsize=756300 CPUtime=3.62
/proc/16345/task/16346/stat : 16346 (satake) S 16343 16345 15984 0 -1 4194368 1932 0 0 0 80 282 0 0 15 0 4 0 92378094 774451200 186198 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16345/tid=16347] ppid=16343 vsize=756300 CPUtime=459.91
/proc/16345/task/16347/stat : 16347 (satake) R 16343 16345 15984 0 -1 4194368 101052 0 0 0 45712 279 0 0 25 0 4 0 92378094 774451200 186198 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16345/tid=16348] ppid=16343 vsize=756300 CPUtime=458.48
/proc/16345/task/16348/stat : 16348 (satake) R 16343 16345 15984 0 -1 4194368 88289 0 0 0 45557 291 0 0 20 0 4 0 92378094 774451200 186198 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.04
Current children cumulated vsize (KiB) 756300

[startup+522.303 s]
/proc/loadavg: 1.99 1.81 1.41 3/68 16349
/proc/meminfo: memFree=1023440/2055920 swapFree=4181132/4192956
[pid=16345] ppid=16343 vsize=805596 CPUtime=1041.79
/proc/16345/stat : 16345 (satake) S 16343 16345 15984 0 -1 4194304 203534 0 0 0 103301 878 0 0 18 0 4 0 92378094 824930304 198376 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16345/statm: 201399 198376 70 163 0 201234 0
[pid=16345/tid=16346] ppid=16343 vsize=805596 CPUtime=3.66
/proc/16345/task/16346/stat : 16346 (satake) S 16343 16345 15984 0 -1 4194368 1935 0 0 0 82 284 0 0 16 0 4 0 92378094 824930304 198376 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16345/tid=16347] ppid=16343 vsize=805596 CPUtime=519.88
/proc/16345/task/16347/stat : 16347 (satake) R 16343 16345 15984 0 -1 4194368 107595 0 0 0 51697 291 0 0 25 0 4 0 92378094 824930304 198376 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16345/tid=16348] ppid=16343 vsize=805596 CPUtime=518.23
/proc/16345/task/16348/stat : 16348 (satake) R 16343 16345 15984 0 -1 4194368 93921 0 0 0 51521 302 0 0 19 0 4 0 92378094 824930304 198376 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.79
Current children cumulated vsize (KiB) 805596

[startup+582.302 s]
/proc/loadavg: 1.99 1.84 1.44 3/68 16349
/proc/meminfo: memFree=982992/2055920 swapFree=4181132/4192956
[pid=16345] ppid=16343 vsize=845544 CPUtime=1161.52
/proc/16345/stat : 16345 (satake) S 16343 16345 15984 0 -1 4194304 213563 0 0 0 115251 901 0 0 18 0 4 0 92378094 865837056 208405 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16345/statm: 211386 208405 70 163 0 211221 0
[pid=16345/tid=16346] ppid=16343 vsize=845544 CPUtime=3.7
/proc/16345/task/16346/stat : 16346 (satake) S 16343 16345 15984 0 -1 4194368 1939 0 0 0 82 288 0 0 16 0 4 0 92378094 865837056 208405 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16345/tid=16347] ppid=16343 vsize=845544 CPUtime=579.83
/proc/16345/task/16347/stat : 16347 (satake) R 16343 16345 15984 0 -1 4194368 113943 0 0 0 57681 302 0 0 25 0 4 0 92378094 865837056 208405 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16345/tid=16348] ppid=16343 vsize=845544 CPUtime=577.96
/proc/16345/task/16348/stat : 16348 (satake) R 16343 16345 15984 0 -1 4194368 97598 0 0 0 57486 310 0 0 16 0 4 0 92378094 865837056 208405 1992294400 134512640 135180984 4294956208 18446744073709551615 134523641 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.52
Current children cumulated vsize (KiB) 845544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.601 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 16349
/proc/meminfo: memFree=968144/2055920 swapFree=4181132/4192956
[pid=16345] ppid=16343 vsize=859808 CPUtime=1200.04
/proc/16345/stat : 16345 (satake) S 16343 16345 15984 0 -1 4194304 217120 0 0 0 119095 909 0 0 18 0 4 0 92378094 880443392 211962 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16345/statm: 214952 211962 70 163 0 214787 0
[pid=16345/tid=16346] ppid=16343 vsize=859808 CPUtime=3.71
/proc/16345/task/16346/stat : 16346 (satake) S 16343 16345 15984 0 -1 4194368 1940 0 0 0 82 289 0 0 15 0 4 0 92378094 880443392 211962 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16345/tid=16347] ppid=16343 vsize=859808 CPUtime=599.12
/proc/16345/task/16347/stat : 16347 (satake) R 16343 16345 15984 0 -1 4194368 116284 0 0 0 59606 306 0 0 25 0 4 0 92378094 880443392 211962 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16345/tid=16348] ppid=16343 vsize=859808 CPUtime=597.18
/proc/16345/task/16348/stat : 16348 (satake) R 16343 16345 15984 0 -1 4194368 98813 0 0 0 59405 313 0 0 25 0 4 0 92378094 880443392 211962 1992294400 134512640 135180984 4294956208 18446744073709551615 134525506 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 859808

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

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

[startup+601.717 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 16349
/proc/meminfo: memFree=968144/2055920 swapFree=4181132/4192956
[pid=16345] ppid=16343 vsize=0 CPUtime=1200.15
/proc/16345/stat : 16345 (satake) Z 16343 16345 15984 0 -1 4195340 217122 0 0 0 119096 919 0 0 16 0 2 0 92378094 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16345/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1200.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.745
CPU time (s): 1200.19
CPU user time (s): 1190.96
CPU system time (s): 9.2266
CPU usage (%): 199.452
Max. virtual memory (cumulated for all children) (KiB): 859808

deleting IPC queue 0
deleting IPC queue 32769
deleting IPC queue 65538
deleting IPC queue 98307
deleting IPC queue 131076
deleting IPC queue 163845
deleting IPC queue 196614
deleting IPC queue 229383
deleting IPC queue 262152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1190.96
system time used= 9.2266
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217122
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= 422934
involuntary context switches= 415962

runsolver used 0.574912 second user time and 1.62775 second system time

The end

Launcher Data 

Begin job on node26 at 2009-04-25 09:10:51
IDJOB=1719110
IDBENCH=20577
IDSOLVER=553
FILE ID=node26/1719110-1240643450
PBS_JOBID= 9186393
Free space on /tmp= 66024 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq2.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1719110-1240643450/watcher-1719110-1240643450 -o /tmp/evaluation-result-1719110-1240643450/solver-1719110-1240643450 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1719110-1240643450.cnf 3 1200

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

MD5SUM BENCH= f0f4556999ccb446384994a4148fca28
RANDOM SEED=53855521

node26.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.261
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.261
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:       1818248 kB
Buffers:         29568 kB
Cached:         137120 kB
SwapCached:       5760 kB
Active:          30316 kB
Inactive:       144684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1818248 kB
SwapTotal:     4192956 kB
SwapFree:      4181132 kB
Dirty:           11008 kB
Writeback:           0 kB
Mapped:          13560 kB
Slab:            48732 kB
Committed_AS:   266804 kB
PageTables:       1368 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= 66020 MiB
End job on node26 at 2009-04-25 09:20:55