Trace number 1781442

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 (16 threads)? (TO) 2105.48 1000.11

General information on the benchmark

Namemizh-sha0-36-2.cnf
MD5SUM82bf685774b76ba263c886940c3aa94d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark978.73
Satisfiable
(Un)Satisfiability was proved
Number of variables50073
Number of clauses210239
Sum of the clauses size628391
Maximum clause length4
Minimum clause length1
Number of clauses of size 1177
Number of clauses of size 286996
Number of clauses of size 338042
Number of clauses of size 485024
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

sh: BIN/SAT-verifier: No such file or directory

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1781442-1244866577/watcher-1781442-1244866577 -o /tmp/evaluation-result-1781442-1244866577/solver-1781442-1244866577 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781442-1244866577.cnf 16 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 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: 8192 KiB


[startup+0 s]
/proc/loadavg: 6.68 6.05 4.84 2/184 14017
/proc/meminfo: memFree=19123156/36427776 swapFree=5016/8488
[pid=14017] ppid=14015 vsize=8688 CPUtime=0
/proc/14017/stat : 14017 (satake) D 14015 14017 27791 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 14 0 645964110 8896512 501 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/14017/statm: 2237 501 63 164 0 2072 0
[pid=14017/tid=14018] ppid=14015 vsize=9080 CPUtime=0
/proc/14017/task/14018/stat : 14018 (satake) S 14015 14017 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 14 0 645964110 9297920 543 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=14017/tid=14019] ppid=14015 vsize=9080 CPUtime=0
/proc/14017/task/14019/stat : 14019 (satake) R 14015 14017 27791 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 15 0 645964110 9297920 543 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14017/tid=14020] ppid=14015 vsize=9080 CPUtime=0
/proc/14017/task/14020/stat : 14020 (satake) D 14015 14017 27791 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 15 0 645964110 9297920 545 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14017/tid=14021] ppid=14015 vsize=9212 CPUtime=0
/proc/14017/task/14021/stat : 14021 (satake) D 14015 14017 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 15 0 645964110 9433088 545 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=14017/tid=14022] ppid=14015 vsize=9212 CPUtime=0
/proc/14017/task/14022/stat : 14022 (satake) D 14015 14017 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 15 0 645964110 9433088 551 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14017/tid=14023] ppid=14015 vsize=9212 CPUtime=0
/proc/14017/task/14023/stat : 14023 (satake) R 14015 14017 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 15 0 645964110 9433088 552 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14017/tid=14024] ppid=14015 vsize=9212 CPUtime=0
/proc/14017/task/14024/stat : 14024 (satake) R 14015 14017 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 15 0 645964110 9433088 553 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14017/tid=14025] ppid=14015 vsize=9212 CPUtime=0
/proc/14017/task/14025/stat : 14025 (satake) R 14015 14017 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 645964110 9433088 553 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14017/tid=14026] ppid=14015 vsize=9212 CPUtime=0
/proc/14017/task/14026/stat : 14026 (satake) R 14015 14017 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 15 0 645964111 9433088 554 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14017/tid=14027] ppid=14015 vsize=9212 CPUtime=0
/proc/14017/task/14027/stat : 14027 (satake) R 14015 14017 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 15 0 645964111 9433088 554 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14028] ppid=14015 vsize=9212 CPUtime=0
/proc/14017/task/14028/stat : 14028 (satake) R 14015 14017 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 15 0 645964111 9433088 554 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14017/tid=14029] ppid=14015 vsize=9212 CPUtime=0
/proc/14017/task/14029/stat : 14029 (satake) D 14015 14017 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 15 0 645964111 9433088 554 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14017/tid=14030] ppid=14015 vsize=9276 CPUtime=0
/proc/14017/task/14030/stat : 14030 (satake) D 14015 14017 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 645964111 9498624 554 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14017/tid=14031] ppid=14015 vsize=9276 CPUtime=0
/proc/14017/task/14031/stat : 14031 (satake) R 14015 14017 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 15 0 645964111 9498624 554 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 14 0 0 0 0 0

[startup+0.105265 s]
/proc/loadavg: 6.68 6.05 4.84 2/184 14017
/proc/meminfo: memFree=19123156/36427776 swapFree=5016/8488
[pid=14017] ppid=14015 vsize=65984 CPUtime=0.74
/proc/14017/stat : 14017 (satake) S 14015 14017 27791 0 -1 4202496 11019 0 0 0 0 74 0 0 20 0 17 0 645964110 67567616 10975 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/14017/statm: 15479 10980 63 164 0 15314 0
[pid=14017/tid=14018] ppid=14015 vsize=61916 CPUtime=0
/proc/14017/task/14018/stat : 14018 (satake) S 14015 14017 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645964110 63401984 10982 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=14017/tid=14019] ppid=14015 vsize=61916 CPUtime=0.06
/proc/14017/task/14019/stat : 14019 (satake) D 14015 14017 27791 0 -1 4202560 1049 0 0 0 0 6 0 0 20 0 17 0 645964110 63401984 10984 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14017/tid=14020] ppid=14015 vsize=61916 CPUtime=0.06
/proc/14017/task/14020/stat : 14020 (satake) R 14015 14017 27791 0 -1 4202560 974 0 0 0 0 6 0 0 20 0 17 0 645964110 63401984 10985 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14017/tid=14021] ppid=14015 vsize=61916 CPUtime=0.06
/proc/14017/task/14021/stat : 14021 (satake) R 14015 14017 27791 0 -1 4202560 1049 0 0 0 0 6 0 0 20 0 17 0 645964110 63401984 10985 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134666192 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=14017/tid=14022] ppid=14015 vsize=61916 CPUtime=0
/proc/14017/task/14022/stat : 14022 (satake) R 14015 14017 27791 0 -1 4202560 86 0 0 0 0 0 0 0 20 0 17 0 645964110 63401984 10985 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14017/tid=14023] ppid=14015 vsize=61916 CPUtime=0.04
/proc/14017/task/14023/stat : 14023 (satake) R 14015 14017 27791 0 -1 4202560 610 0 0 0 0 4 0 0 20 0 17 0 645964110 63401984 10985 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14017/tid=14024] ppid=14015 vsize=61916 CPUtime=0.02
/proc/14017/task/14024/stat : 14024 (satake) R 14015 14017 27791 0 -1 4202560 348 0 0 0 0 2 0 0 20 0 17 0 645964110 63401984 10985 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14017/tid=14025] ppid=14015 vsize=61916 CPUtime=0.06
/proc/14017/task/14025/stat : 14025 (satake) R 14015 14017 27791 0 -1 4202560 938 0 0 0 0 6 0 0 20 0 17 0 645964110 63401984 10985 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14017/tid=14026] ppid=14015 vsize=61916 CPUtime=0.06
/proc/14017/task/14026/stat : 14026 (satake) R 14015 14017 27791 0 -1 4202560 972 0 0 0 0 6 0 0 20 0 17 0 645964111 63401984 10985 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14017/tid=14027] ppid=14015 vsize=61916 CPUtime=0.06
/proc/14017/task/14027/stat : 14027 (satake) R 14015 14017 27791 0 -1 4202560 917 0 0 0 0 6 0 0 20 0 17 0 645964111 63401984 10985 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14028] ppid=14015 vsize=61916 CPUtime=0.04
/proc/14017/task/14028/stat : 14028 (satake) R 14015 14017 27791 0 -1 4202560 547 0 0 0 0 4 0 0 20 0 17 0 645964111 63401984 10986 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14017/tid=14029] ppid=14015 vsize=61916 CPUtime=0.06
/proc/14017/task/14029/stat : 14029 (satake) R 14015 14017 27791 0 -1 4202560 978 0 0 0 0 6 0 0 20 0 17 0 645964111 63401984 10991 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14017/tid=14030] ppid=14015 vsize=61916 CPUtime=0.02
/proc/14017/task/14030/stat : 14030 (satake) R 14015 14017 27791 0 -1 4202560 321 0 0 0 0 2 0 0 20 0 17 0 645964111 63401984 10992 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14017/tid=14031] ppid=14015 vsize=61916 CPUtime=0
/proc/14017/task/14031/stat : 14031 (satake) R 14015 14017 27791 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 17 0 645964111 63401984 10995 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 65984

[startup+0.205157 s]
/proc/loadavg: 6.68 6.05 4.84 2/184 14017
/proc/meminfo: memFree=19123156/36427776 swapFree=5016/8488
[pid=14017] ppid=14015 vsize=69648 CPUtime=1.28
/proc/14017/stat : 14017 (satake) S 14015 14017 27791 0 -1 4202496 14755 0 0 0 0 128 0 0 20 0 17 0 645964110 71319552 14712 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/14017/statm: 17412 14721 63 164 0 17247 0
[pid=14017/tid=14018] ppid=14015 vsize=69648 CPUtime=0
/proc/14017/task/14018/stat : 14018 (satake) S 14015 14017 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645964110 71319552 14722 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=14017/tid=14019] ppid=14015 vsize=69648 CPUtime=0.08
/proc/14017/task/14019/stat : 14019 (satake) D 14015 14017 27791 0 -1 4202560 1156 0 0 0 0 8 0 0 20 0 17 0 645964110 71319552 14722 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14017/tid=14020] ppid=14015 vsize=69648 CPUtime=0.1
/proc/14017/task/14020/stat : 14020 (satake) R 14015 14017 27791 0 -1 4202560 1169 0 0 0 0 10 0 0 20 0 17 0 645964110 71319552 14727 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14017/tid=14021] ppid=14015 vsize=69648 CPUtime=0.1
/proc/14017/task/14021/stat : 14021 (satake) S 14015 14017 27791 0 -1 4202560 1205 0 0 0 0 10 0 0 20 0 17 0 645964110 71319552 14727 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=14017/tid=14022] ppid=14015 vsize=69648 CPUtime=0.04
/proc/14017/task/14022/stat : 14022 (satake) D 14015 14017 27791 0 -1 4202560 473 0 0 0 0 4 0 0 20 0 17 0 645964110 71319552 14727 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14017/tid=14023] ppid=14015 vsize=69648 CPUtime=0.08
/proc/14017/task/14023/stat : 14023 (satake) D 14015 14017 27791 0 -1 4202560 938 0 0 0 0 8 0 0 20 0 17 0 645964110 71319552 14727 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14017/tid=14024] ppid=14015 vsize=69648 CPUtime=0.04
/proc/14017/task/14024/stat : 14024 (satake) R 14015 14017 27791 0 -1 4202560 648 0 0 0 0 4 0 0 20 0 17 0 645964110 71319552 14729 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14017/tid=14025] ppid=14015 vsize=69648 CPUtime=0.08
/proc/14017/task/14025/stat : 14025 (satake) R 14015 14017 27791 0 -1 4202560 1122 0 0 0 0 8 0 0 20 0 17 0 645964110 71319552 14729 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14017/tid=14026] ppid=14015 vsize=69648 CPUtime=0.12
/proc/14017/task/14026/stat : 14026 (satake) D 14015 14017 27791 0 -1 4202560 1184 0 0 0 0 12 0 0 20 0 17 0 645964111 71319552 14729 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14017/tid=14027] ppid=14015 vsize=69648 CPUtime=0.1
/proc/14017/task/14027/stat : 14027 (satake) R 14015 14017 27791 0 -1 4202560 1148 0 0 0 0 10 0 0 20 0 17 0 645964111 71319552 14730 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14028] ppid=14015 vsize=69648 CPUtime=0.08
/proc/14017/task/14028/stat : 14028 (satake) D 14015 14017 27791 0 -1 4202560 885 0 0 0 0 8 0 0 20 0 17 0 645964111 71319552 14731 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14017/tid=14029] ppid=14015 vsize=69648 CPUtime=0.12
/proc/14017/task/14029/stat : 14029 (satake) S 14015 14017 27791 0 -1 4202560 1205 0 0 0 0 12 0 0 20 0 17 0 645964111 71319552 14735 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=14017/tid=14030] ppid=14015 vsize=69648 CPUtime=0.04
/proc/14017/task/14030/stat : 14030 (satake) R 14015 14017 27791 0 -1 4202560 614 0 0 0 0 4 0 0 20 0 17 0 645964111 71319552 14736 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14017/tid=14031] ppid=14015 vsize=69648 CPUtime=0.04
/proc/14017/task/14031/stat : 14031 (satake) R 14015 14017 27791 0 -1 4202560 464 0 0 0 0 4 0 0 20 0 17 0 645964111 71319552 14736 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 69648

[startup+0.305186 s]
/proc/loadavg: 6.68 6.05 4.84 2/184 14017
/proc/meminfo: memFree=19123156/36427776 swapFree=5016/8488
[pid=14017] ppid=14015 vsize=83900 CPUtime=1.66
/proc/14017/stat : 14017 (satake) S 14015 14017 27791 0 -1 4202496 18952 0 0 0 2 164 0 0 20 0 17 0 645964110 85913600 18908 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/14017/statm: 20975 18908 63 164 0 20810 0
[pid=14017/tid=14018] ppid=14015 vsize=83900 CPUtime=0
/proc/14017/task/14018/stat : 14018 (satake) S 14015 14017 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645964110 85913600 18908 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=14017/tid=14019] ppid=14015 vsize=83900 CPUtime=0.12
/proc/14017/task/14019/stat : 14019 (satake) D 14015 14017 27791 0 -1 4202560 1297 0 0 0 0 12 0 0 20 0 17 0 645964110 85913600 18908 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14017/tid=14020] ppid=14015 vsize=83900 CPUtime=0.12
/proc/14017/task/14020/stat : 14020 (satake) D 14015 14017 27791 0 -1 4202560 1325 0 0 0 0 12 0 0 20 0 17 0 645964110 85913600 18908 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14017/tid=14021] ppid=14015 vsize=83900 CPUtime=0.14
/proc/14017/task/14021/stat : 14021 (satake) S 14015 14017 27791 0 -1 4202560 1354 0 0 0 0 14 0 0 20 0 17 0 645964110 85913600 18908 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=14017/tid=14022] ppid=14015 vsize=83900 CPUtime=0.06
/proc/14017/task/14022/stat : 14022 (satake) S 14015 14017 27791 0 -1 4202560 1094 0 0 0 0 6 0 0 20 0 17 0 645964110 85913600 18908 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=14017/tid=14023] ppid=14015 vsize=83900 CPUtime=0.1
/proc/14017/task/14023/stat : 14023 (satake) D 14015 14017 27791 0 -1 4202560 1208 0 0 0 0 10 0 0 20 0 17 0 645964110 85913600 18909 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14017/tid=14024] ppid=14015 vsize=83900 CPUtime=0.06
/proc/14017/task/14024/stat : 14024 (satake) D 14015 14017 27791 0 -1 4202560 1101 0 0 0 0 6 0 0 20 0 17 0 645964110 85913600 18909 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14017/tid=14025] ppid=14015 vsize=83900 CPUtime=0.1
/proc/14017/task/14025/stat : 14025 (satake) D 14015 14017 27791 0 -1 4202560 1318 0 0 0 0 10 0 0 20 0 17 0 645964110 85913600 18909 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14017/tid=14026] ppid=14015 vsize=83900 CPUtime=0.14
/proc/14017/task/14026/stat : 14026 (satake) S 14015 14017 27791 0 -1 4202560 1336 0 0 0 0 14 0 0 20 0 17 0 645964111 85913600 18909 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=14017/tid=14027] ppid=14015 vsize=83900 CPUtime=0.12
/proc/14017/task/14027/stat : 14027 (satake) S 14015 14017 27791 0 -1 4202560 1336 0 0 0 0 12 0 0 20 0 17 0 645964111 85913600 18910 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14028] ppid=14015 vsize=83900 CPUtime=0.1
/proc/14017/task/14028/stat : 14028 (satake) S 14015 14017 27791 0 -1 4202560 1214 0 0 0 0 10 0 0 20 0 17 0 645964111 85913600 18912 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=14017/tid=14029] ppid=14015 vsize=83900 CPUtime=0.14
/proc/14017/task/14029/stat : 14029 (satake) D 14015 14017 27791 0 -1 4202560 1338 0 0 0 0 14 0 0 20 0 17 0 645964111 85913600 18912 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14017/tid=14030] ppid=14015 vsize=83900 CPUtime=0.06
/proc/14017/task/14030/stat : 14030 (satake) R 14015 14017 27791 0 -1 4202560 1085 0 0 0 0 6 0 0 20 0 17 0 645964111 85913600 18912 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134522207 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14017/tid=14031] ppid=14015 vsize=83900 CPUtime=0.06
/proc/14017/task/14031/stat : 14031 (satake) D 14015 14017 27791 0 -1 4202560 1086 0 0 0 0 6 0 0 20 0 17 0 645964111 85913600 18912 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 83900

[startup+0.705361 s]
/proc/loadavg: 6.68 6.05 4.84 2/184 14017
/proc/meminfo: memFree=19123156/36427776 swapFree=5016/8488
[pid=14017] ppid=14015 vsize=148904 CPUtime=3.59
/proc/14017/stat : 14017 (satake) S 14015 14017 27791 0 -1 4202496 31589 0 0 0 98 261 0 0 20 0 17 0 645964110 152477696 31545 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/14017/statm: 37226 31546 63 164 0 37061 0
[pid=14017/tid=14018] ppid=14015 vsize=148904 CPUtime=0
/proc/14017/task/14018/stat : 14018 (satake) S 14015 14017 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645964110 152477696 31546 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=14017/tid=14019] ppid=14015 vsize=148904 CPUtime=0.22
/proc/14017/task/14019/stat : 14019 (satake) S 14015 14017 27791 0 -1 4202560 2011 0 0 0 6 16 0 0 20 0 17 0 645964110 152477696 31547 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=14017/tid=14020] ppid=14015 vsize=148904 CPUtime=0.26
/proc/14017/task/14020/stat : 14020 (satake) S 14015 14017 27791 0 -1 4202560 2205 0 0 0 6 20 0 0 20 0 17 0 645964110 152477696 31549 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=14017/tid=14021] ppid=14015 vsize=148904 CPUtime=0.28
/proc/14017/task/14021/stat : 14021 (satake) R 14015 14017 27791 0 -1 4202560 2268 0 0 0 6 22 0 0 20 0 17 0 645964110 152477696 31551 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=14017/tid=14022] ppid=14015 vsize=148904 CPUtime=0.18
/proc/14017/task/14022/stat : 14022 (satake) R 14015 14017 27791 0 -1 4202560 1956 0 0 0 6 12 0 0 20 0 17 0 645964110 152477696 31551 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134522207 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14017/tid=14023] ppid=14015 vsize=148904 CPUtime=0.22
/proc/14017/task/14023/stat : 14023 (satake) R 14015 14017 27791 0 -1 4202560 2062 0 0 0 8 14 0 0 20 0 17 0 645964110 152477696 31552 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=14017/tid=14024] ppid=14015 vsize=148904 CPUtime=0.18
/proc/14017/task/14024/stat : 14024 (satake) R 14015 14017 27791 0 -1 4202560 1990 0 0 0 6 12 0 0 20 0 17 0 645964110 152477696 31552 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=14017/tid=14025] ppid=14015 vsize=148904 CPUtime=0.2
/proc/14017/task/14025/stat : 14025 (satake) R 14015 14017 27791 0 -1 4202560 1992 0 0 0 4 16 0 0 20 0 17 0 645964110 152477696 31553 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14026] ppid=14015 vsize=148904 CPUtime=0.28
/proc/14017/task/14026/stat : 14026 (satake) R 14015 14017 27791 0 -1 4202560 2218 0 0 0 8 20 0 0 20 0 17 0 645964111 152477696 31554 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14017/tid=14027] ppid=14015 vsize=148904 CPUtime=0.26
/proc/14017/task/14027/stat : 14027 (satake) R 14015 14017 27791 0 -1 4202560 2121 0 0 0 8 18 0 0 20 0 17 0 645964111 152477696 31555 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=14017/tid=14028] ppid=14015 vsize=148904 CPUtime=0.22
/proc/14017/task/14028/stat : 14028 (satake) R 14015 14017 27791 0 -1 4202560 1983 0 0 0 4 18 0 0 20 0 17 0 645964111 152477696 31555 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14017/tid=14029] ppid=14015 vsize=148904 CPUtime=0.28
/proc/14017/task/14029/stat : 14029 (satake) D 14015 14017 27791 0 -1 4202560 2204 0 0 0 6 22 0 0 20 0 17 0 645964111 152477696 31555 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134675846 0 0 1 0 13 0 0 -1 9 0 0 0 0 0
[pid=14017/tid=14030] ppid=14015 vsize=148904 CPUtime=0.18
/proc/14017/task/14030/stat : 14030 (satake) R 14015 14017 27791 0 -1 4202560 2038 0 0 0 8 10 0 0 20 0 17 0 645964111 152477696 31558 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=14017/tid=14031] ppid=14015 vsize=148904 CPUtime=0.18
/proc/14017/task/14031/stat : 14031 (satake) R 14015 14017 27791 0 -1 4202560 1980 0 0 0 6 12 0 0 20 0 17 0 645964111 152477696 31558 18446744073709551615 134512640 135180984 4292144176 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 148904

[startup+1.5053 s]
/proc/loadavg: 6.68 6.05 4.84 11/201 14034
/proc/meminfo: memFree=18959220/36427776 swapFree=4936/176204
[pid=14017] ppid=14015 vsize=245428 CPUtime=7.17

################
# More data... #
################

deleting IPC queue 220659790
deleting IPC queue 220692559
deleting IPC queue 220725328
deleting IPC queue 220758097
deleting IPC queue 220790866
deleting IPC queue 220823635
deleting IPC queue 220856404
deleting IPC queue 220889173
deleting IPC queue 220921942
deleting IPC queue 220954711
deleting IPC queue 220987480
deleting IPC queue 221020249
deleting IPC queue 221053018
deleting IPC queue 221085787
deleting IPC queue 221118556
deleting IPC queue 221151325
deleting IPC queue 221184094
deleting IPC queue 221216863
deleting IPC queue 221249632
deleting IPC queue 221282401
deleting IPC queue 221315170
deleting IPC queue 221347939
deleting IPC queue 221380708
deleting IPC queue 221413477
deleting IPC queue 221446246
deleting IPC queue 221479015
deleting IPC queue 221511784
deleting IPC queue 221544553
deleting IPC queue 221577322
deleting IPC queue 221610091
deleting IPC queue 221642860
deleting IPC queue 221675629
deleting IPC queue 221708398
deleting IPC queue 221741167
deleting IPC queue 221773936
deleting IPC queue 221806705
deleting IPC queue 221839474
deleting IPC queue 221872243
deleting IPC queue 221905012
deleting IPC queue 221937781
deleting IPC queue 221970550
deleting IPC queue 222003319
deleting IPC queue 222036088
deleting IPC queue 222068857
deleting IPC queue 222101626
deleting IPC queue 222134395
deleting IPC queue 222167164
deleting IPC queue 222199933
deleting IPC queue 222232702
deleting IPC queue 222265471
deleting IPC queue 222298240
deleting IPC queue 222331009
deleting IPC queue 222363778
deleting IPC queue 222396547
deleting IPC queue 222429316
deleting IPC queue 222462085
deleting IPC queue 222494854
deleting IPC queue 222527623
deleting IPC queue 222560392
deleting IPC queue 222593161
deleting IPC queue 222625930
deleting IPC queue 222658699
deleting IPC queue 222691468
deleting IPC queue 222724237
deleting IPC queue 222757006
deleting IPC queue 222789775
deleting IPC queue 222822544
deleting IPC queue 222855313
deleting IPC queue 222888082
deleting IPC queue 222920851
deleting IPC queue 222953620
deleting IPC queue 222986389
deleting IPC queue 223019158
deleting IPC queue 223051927
deleting IPC queue 223084696
deleting IPC queue 223117465
deleting IPC queue 223150234
deleting IPC queue 223183003
deleting IPC queue 223215772
deleting IPC queue 223248541
deleting IPC queue 223281310
deleting IPC queue 223314079
deleting IPC queue 223346848
deleting IPC queue 223379617
deleting IPC queue 223412386
deleting IPC queue 223445155
deleting IPC queue 223477924
deleting IPC queue 223510693
deleting IPC queue 223543462
deleting IPC queue 223576231
deleting IPC queue 223609000
deleting IPC queue 223641769
deleting IPC queue 223674538
deleting IPC queue 223707307
deleting IPC queue 223740076
deleting IPC queue 223772845
deleting IPC queue 223805614
deleting IPC queue 223838383
deleting IPC queue 223871152
deleting IPC queue 223903921
deleting IPC queue 223936690
deleting IPC queue 223969459
deleting IPC queue 224002228
deleting IPC queue 224034997
deleting IPC queue 224067766
deleting IPC queue 224100535
deleting IPC queue 224133304
deleting IPC queue 224166073
deleting IPC queue 224198842
deleting IPC queue 224231611
deleting IPC queue 224264380
deleting IPC queue 224297149
deleting IPC queue 224329918
deleting IPC queue 224362687
deleting IPC queue 224395456
deleting IPC queue 224428225
deleting IPC queue 224460994
deleting IPC queue 224493763
deleting IPC queue 224526532
deleting IPC queue 224559301
deleting IPC queue 224592070
deleting IPC queue 224624839
deleting IPC queue 224657608
deleting IPC queue 224690377
deleting IPC queue 224723146
deleting IPC queue 224755915
deleting IPC queue 224788684
deleting IPC queue 224821453
deleting IPC queue 224854222
deleting IPC queue 224886991
deleting IPC queue 224919760
deleting IPC queue 224952529
deleting IPC queue 224985298
deleting IPC queue 225018067
deleting IPC queue 225050836
deleting IPC queue 225083605
deleting IPC queue 225116374
deleting IPC queue 225149143
deleting IPC queue 225181912
deleting IPC queue 225214681
deleting IPC queue 225247450
deleting IPC queue 225280219
deleting IPC queue 225312988
deleting IPC queue 225345757
deleting IPC queue 225378526
deleting IPC queue 225411295
deleting IPC queue 225444064
deleting IPC queue 225476833
deleting IPC queue 225509602
deleting IPC queue 225542371
deleting IPC queue 225575140
deleting IPC queue 225607909
deleting IPC queue 225640678
deleting IPC queue 225673447
deleting IPC queue 225706216
deleting IPC queue 225738985
deleting IPC queue 225771754
deleting IPC queue 225804523
deleting IPC queue 225837292
deleting IPC queue 225870061
deleting IPC queue 225902830
deleting IPC queue 225935599
deleting IPC queue 225968368
deleting IPC queue 226001137
deleting IPC queue 226033906
deleting IPC queue 226066675
deleting IPC queue 226099444
deleting IPC queue 226132213
deleting IPC queue 226164982
deleting IPC queue 226197751
deleting IPC queue 226230520
deleting IPC queue 226263289
deleting IPC queue 226296058
deleting IPC queue 226328827
deleting IPC queue 226361596
deleting IPC queue 226394365
deleting IPC queue 226427134
deleting IPC queue 226459903

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1421.18
system time used= 684.299
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203621
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= 60084147
involuntary context switches= 5088319

runsolver used 4.37227 second user time and 11.4047 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 06:16:17
IDJOB=1781442
IDBENCH=71748
IDSOLVER=631
FILE ID=xenhost3-49/1781442-1244866577
PBS_JOBID=
Free space on /tmp= 7023 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT_RACE06/mizh-sha0-36-2.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1781442-1244866577/watcher-1781442-1244866577 -o /tmp/evaluation-result-1781442-1244866577/solver-1781442-1244866577 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781442-1244866577.cnf 16 10000

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16

MD5SUM BENCH= 82bf685774b76ba263c886940c3aa94d
RANDOM SEED= 1919380614

Linux xenhost3-49 2.6.27.5 #1 SMP Mon Mar 30 10:34:22 CEST 2009 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 8
initial apicid	: 8
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 24
initial apicid	: 24
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 10
initial apicid	: 10
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 26
initial apicid	: 26
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 9
initial apicid	: 9
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 25
initial apicid	: 25
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 11
initial apicid	: 11
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 27
initial apicid	: 27
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:     36427776 kB
MemFree:      19123600 kB
Buffers:        435936 kB
Cached:       14118080 kB
SwapCached:          0 kB
Active:        4082004 kB
Inactive:     10480420 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            4668 kB
Writeback:           0 kB
AnonPages:        8488 kB
Mapped:           5016 kB
Slab:           689688 kB
SReclaimable:   662816 kB
SUnreclaim:      26872 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7023 MiB
End job on xenhost3-49 at 2009-06-13 06:33:00