Trace number 1779507

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) 3886.7 1000.06

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-23-s100.cnf
MD5SUMaa3fff3e05d3f50a3d088c22afa455ea
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 variables31711
Number of clauses95400
Sum of the clauses size224926
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261146
Number of clauses of size 334190
Number of clauses of size 40
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-1779507-1244798879/watcher-1779507-1244798879 -o /tmp/evaluation-result-1779507-1244798879/solver-1779507-1244798879 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779507-1244798879.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: 15.14 15.08 12.96 2/184 5671
/proc/meminfo: memFree=19138060/36427776 swapFree=4536/9160
[pid=5671] ppid=5669 vsize=6480 CPUtime=0
/proc/5671/stat : 5671 (satake) R 5669 5671 27791 0 -1 4202496 310 0 0 0 0 0 0 0 20 0 12 0 639194324 6635520 264 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/5671/statm: 1620 264 62 164 0 1455 0
[pid=5671/tid=5672] ppid=5669 vsize=8104 CPUtime=0
/proc/5671/task/5672/stat : 5672 (satake) S 5669 5671 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 15 0 639194324 8298496 358 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=5671/tid=5673] ppid=5669 vsize=8104 CPUtime=0
/proc/5671/task/5673/stat : 5673 (satake) R 5669 5671 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 15 0 639194324 8298496 358 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5671/tid=5674] ppid=5669 vsize=8104 CPUtime=0
/proc/5671/task/5674/stat : 5674 (satake) S 5669 5671 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 16 0 639194324 8298496 359 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=5671/tid=5675] ppid=5669 vsize=8104 CPUtime=0
/proc/5671/task/5675/stat : 5675 (satake) R 5669 5671 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 16 0 639194324 8298496 359 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5671/tid=5676] ppid=5669 vsize=8104 CPUtime=0
/proc/5671/task/5676/stat : 5676 (satake) R 5669 5671 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 16 0 639194324 8298496 359 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5671/tid=5677] ppid=5669 vsize=8104 CPUtime=0
/proc/5671/task/5677/stat : 5677 (satake) R 5669 5671 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 16 0 639194324 8298496 359 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5671/tid=5678] ppid=5669 vsize=8104 CPUtime=0
/proc/5671/task/5678/stat : 5678 (satake) D 5669 5671 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 16 0 639194324 8298496 360 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5671/tid=5679] ppid=5669 vsize=8104 CPUtime=0
/proc/5671/task/5679/stat : 5679 (satake) S 5669 5671 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 639194324 8298496 362 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=5671/tid=5680] ppid=5669 vsize=8168 CPUtime=0
/proc/5671/task/5680/stat : 5680 (satake) S 5669 5671 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 639194324 8364032 362 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=5671/tid=5681] ppid=5669 vsize=8168 CPUtime=0
/proc/5671/task/5681/stat : 5681 (satake) D 5669 5671 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 16 0 639194324 8364032 363 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5671/tid=5682] ppid=5669 vsize=8168 CPUtime=0
/proc/5671/task/5682/stat : 5682 (satake) R 5669 5671 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 16 0 639194324 8364032 368 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5671/tid=5683] ppid=5669 vsize=8168 CPUtime=0
/proc/5671/task/5683/stat : 5683 (satake) D 5669 5671 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 16 0 639194324 8364032 369 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5671/tid=5684] ppid=5669 vsize=8168 CPUtime=0
/proc/5671/task/5684/stat : 5684 (satake) R 5669 5671 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 16 0 639194325 8364032 370 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5671/tid=5685] ppid=5669 vsize=8168 CPUtime=0
/proc/5671/task/5685/stat : 5685 (satake) R 5669 5671 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 16 0 639194325 8364032 371 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5671/tid=5686] ppid=5669 vsize=8168 CPUtime=0
/proc/5671/task/5686/stat : 5686 (satake) R 5669 5671 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 16 0 639194325 8364032 371 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.038134 s]
/proc/loadavg: 15.14 15.08 12.96 2/184 5671
/proc/meminfo: memFree=19138060/36427776 swapFree=4536/9160
[pid=5671] ppid=5669 vsize=15128 CPUtime=0.17
/proc/5671/stat : 5671 (satake) S 5669 5671 27791 0 -1 4202496 1594 0 0 0 0 17 0 0 20 0 17 0 639194324 15491072 1549 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/5671/statm: 3782 1552 63 164 0 3617 0
[pid=5671/tid=5672] ppid=5669 vsize=15128 CPUtime=0
/proc/5671/task/5672/stat : 5672 (satake) S 5669 5671 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 639194324 15491072 1571 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=5671/tid=5673] ppid=5669 vsize=15128 CPUtime=0.02
/proc/5671/task/5673/stat : 5673 (satake) R 5669 5671 27791 0 -1 4202560 142 0 0 0 0 2 0 0 20 0 17 0 639194324 15491072 1589 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5671/tid=5674] ppid=5669 vsize=15128 CPUtime=0
/proc/5671/task/5674/stat : 5674 (satake) R 5669 5671 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 639194324 15491072 1617 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5671/tid=5675] ppid=5669 vsize=15128 CPUtime=0.02
/proc/5671/task/5675/stat : 5675 (satake) R 5669 5671 27791 0 -1 4202560 167 0 0 0 0 2 0 0 20 0 17 0 639194324 15491072 1642 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5671/tid=5676] ppid=5669 vsize=15128 CPUtime=0.02
/proc/5671/task/5676/stat : 5676 (satake) D 5669 5671 27791 0 -1 4202560 146 0 0 0 0 2 0 0 20 0 17 0 639194324 15491072 1655 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5671/tid=5677] ppid=5669 vsize=15128 CPUtime=0.02
/proc/5671/task/5677/stat : 5677 (satake) D 5669 5671 27791 0 -1 4202560 129 0 0 0 0 2 0 0 20 0 17 0 639194324 15491072 1660 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5671/tid=5678] ppid=5669 vsize=15128 CPUtime=0.02
/proc/5671/task/5678/stat : 5678 (satake) D 5669 5671 27791 0 -1 4202560 125 0 0 0 0 2 0 0 20 0 17 0 639194324 15491072 1660 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5671/tid=5679] ppid=5669 vsize=15128 CPUtime=0
/proc/5671/task/5679/stat : 5679 (satake) D 5669 5671 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 639194324 15491072 1660 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5671/tid=5680] ppid=5669 vsize=15128 CPUtime=0
/proc/5671/task/5680/stat : 5680 (satake) D 5669 5671 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 17 0 639194324 15491072 1660 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5671/tid=5681] ppid=5669 vsize=15640 CPUtime=0.02
/proc/5671/task/5681/stat : 5681 (satake) R 5669 5671 27791 0 -1 4202560 151 0 0 0 0 2 0 0 20 0 17 0 639194324 16015360 1660 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5671/tid=5682] ppid=5669 vsize=15640 CPUtime=0.02
/proc/5671/task/5682/stat : 5682 (satake) R 5669 5671 27791 0 -1 4202560 115 0 0 0 0 2 0 0 20 0 17 0 639194324 16015360 1666 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5671/tid=5683] ppid=5669 vsize=15640 CPUtime=0
/proc/5671/task/5683/stat : 5683 (satake) R 5669 5671 27791 0 -1 4202560 112 0 0 0 0 0 0 0 20 0 17 0 639194324 16015360 1667 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5671/tid=5684] ppid=5669 vsize=15640 CPUtime=0
/proc/5671/task/5684/stat : 5684 (satake) D 5669 5671 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 17 0 639194325 16015360 1669 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5671/tid=5685] ppid=5669 vsize=15640 CPUtime=0
/proc/5671/task/5685/stat : 5685 (satake) R 5669 5671 27791 0 -1 4202560 137 0 0 0 0 0 0 0 20 0 17 0 639194325 16015360 1670 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5671/tid=5686] ppid=5669 vsize=15640 CPUtime=0
/proc/5671/task/5686/stat : 5686 (satake) R 5669 5671 27791 0 -1 4202560 100 0 0 0 0 0 0 0 20 0 17 0 639194325 16015360 1670 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 15128

[startup+0.106193 s]
/proc/loadavg: 15.14 15.08 12.96 2/184 5671
/proc/meminfo: memFree=19138060/36427776 swapFree=4536/9160
[pid=5671] ppid=5669 vsize=34748 CPUtime=0.7
/proc/5671/stat : 5671 (satake) S 5669 5671 27791 0 -1 4202496 5325 0 0 0 2 68 0 0 20 0 17 0 639194324 35581952 5281 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/5671/statm: 8687 5284 63 164 0 8522 0
[pid=5671/tid=5672] ppid=5669 vsize=34748 CPUtime=0
/proc/5671/task/5672/stat : 5672 (satake) S 5669 5671 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 639194324 35581952 5285 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=5671/tid=5673] ppid=5669 vsize=34748 CPUtime=0.04
/proc/5671/task/5673/stat : 5673 (satake) R 5669 5671 27791 0 -1 4202560 423 0 0 0 0 4 0 0 20 0 17 0 639194324 35581952 5285 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5671/tid=5674] ppid=5669 vsize=34748 CPUtime=0.02
/proc/5671/task/5674/stat : 5674 (satake) D 5669 5671 27791 0 -1 4202560 160 0 0 0 2 0 0 0 20 0 17 0 639194324 35581952 5285 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5671/tid=5675] ppid=5669 vsize=34748 CPUtime=0.06
/proc/5671/task/5675/stat : 5675 (satake) D 5669 5671 27791 0 -1 4202560 442 0 0 0 0 6 0 0 20 0 17 0 639194324 35581952 5285 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5671/tid=5676] ppid=5669 vsize=34748 CPUtime=0.06
/proc/5671/task/5676/stat : 5676 (satake) R 5669 5671 27791 0 -1 4202560 440 0 0 0 0 6 0 0 20 0 17 0 639194324 35581952 5285 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5671/tid=5677] ppid=5669 vsize=34748 CPUtime=0.04
/proc/5671/task/5677/stat : 5677 (satake) R 5669 5671 27791 0 -1 4202560 349 0 0 0 0 4 0 0 20 0 17 0 639194324 35581952 5285 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5671/tid=5678] ppid=5669 vsize=34748 CPUtime=0.06
/proc/5671/task/5678/stat : 5678 (satake) R 5669 5671 27791 0 -1 4202560 418 0 0 0 0 6 0 0 20 0 17 0 639194324 35581952 5285 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5671/tid=5679] ppid=5669 vsize=34748 CPUtime=0.04
/proc/5671/task/5679/stat : 5679 (satake) R 5669 5671 27791 0 -1 4202560 334 0 0 0 0 4 0 0 20 0 17 0 639194324 35581952 5285 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5671/tid=5680] ppid=5669 vsize=34748 CPUtime=0.02
/proc/5671/task/5680/stat : 5680 (satake) R 5669 5671 27791 0 -1 4202560 220 0 0 0 0 2 0 0 20 0 17 0 639194324 35581952 5285 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5671/tid=5681] ppid=5669 vsize=34748 CPUtime=0.06
/proc/5671/task/5681/stat : 5681 (satake) R 5669 5671 27791 0 -1 4202560 460 0 0 0 0 6 0 0 20 0 17 0 639194324 35581952 5285 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5671/tid=5682] ppid=5669 vsize=34748 CPUtime=0.06
/proc/5671/task/5682/stat : 5682 (satake) D 5669 5671 27791 0 -1 4202560 432 0 0 0 0 6 0 0 20 0 17 0 639194324 35581952 5285 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5671/tid=5683] ppid=5669 vsize=34748 CPUtime=0.04
/proc/5671/task/5683/stat : 5683 (satake) D 5669 5671 27791 0 -1 4202560 313 0 0 0 0 4 0 0 20 0 17 0 639194324 35581952 5287 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5671/tid=5684] ppid=5669 vsize=34748 CPUtime=0.02
/proc/5671/task/5684/stat : 5684 (satake) D 5669 5671 27791 0 -1 4202560 152 0 0 0 0 2 0 0 20 0 17 0 639194325 35581952 5287 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5671/tid=5685] ppid=5669 vsize=34748 CPUtime=0.06
/proc/5671/task/5685/stat : 5685 (satake) D 5669 5671 27791 0 -1 4202560 472 0 0 0 0 6 0 0 20 0 17 0 639194325 35581952 5288 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5671/tid=5686] ppid=5669 vsize=34112 CPUtime=0.06
/proc/5671/task/5686/stat : 5686 (satake) D 5669 5671 27791 0 -1 4202560 399 0 0 0 0 6 0 0 20 0 17 0 639194325 34930688 5288 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 34748

[startup+0.306202 s]
/proc/loadavg: 15.14 15.08 12.96 2/184 5671
/proc/meminfo: memFree=19138060/36427776 swapFree=4536/9160
[pid=5671] ppid=5669 vsize=64120 CPUtime=1.81
/proc/5671/stat : 5671 (satake) S 5669 5671 27791 0 -1 4202496 10392 0 0 0 2 179 0 0 20 0 17 0 639194324 65658880 10346 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/5671/statm: 16030 10346 63 164 0 15865 0
[pid=5671/tid=5672] ppid=5669 vsize=64120 CPUtime=0
/proc/5671/task/5672/stat : 5672 (satake) S 5669 5671 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 639194324 65658880 10346 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=5671/tid=5673] ppid=5669 vsize=64120 CPUtime=0.12
/proc/5671/task/5673/stat : 5673 (satake) R 5669 5671 27791 0 -1 4202560 784 0 0 0 0 12 0 0 20 0 17 0 639194324 65658880 10349 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5671/tid=5674] ppid=5669 vsize=64120 CPUtime=0.06
/proc/5671/task/5674/stat : 5674 (satake) D 5669 5671 27791 0 -1 4202560 465 0 0 0 2 4 0 0 20 0 17 0 639194324 65658880 10353 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5671/tid=5675] ppid=5669 vsize=64120 CPUtime=0.16
/proc/5671/task/5675/stat : 5675 (satake) D 5669 5671 27791 0 -1 4202560 825 0 0 0 0 16 0 0 20 0 17 0 639194324 65658880 10354 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134664766 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5671/tid=5676] ppid=5669 vsize=64120 CPUtime=0.16
/proc/5671/task/5676/stat : 5676 (satake) R 5669 5671 27791 0 -1 4202560 831 0 0 0 0 16 0 0 20 0 17 0 639194324 65658880 10354 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5671/tid=5677] ppid=5669 vsize=64120 CPUtime=0.1
/proc/5671/task/5677/stat : 5677 (satake) R 5669 5671 27791 0 -1 4202560 609 0 0 0 0 10 0 0 20 0 17 0 639194324 65658880 10355 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5671/tid=5678] ppid=5669 vsize=64120 CPUtime=0.16
/proc/5671/task/5678/stat : 5678 (satake) R 5669 5671 27791 0 -1 4202560 780 0 0 0 0 16 0 0 20 0 17 0 639194324 65658880 10355 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5671/tid=5679] ppid=5669 vsize=64120 CPUtime=0.1
/proc/5671/task/5679/stat : 5679 (satake) R 5669 5671 27791 0 -1 4202560 616 0 0 0 0 10 0 0 20 0 17 0 639194324 65658880 10355 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5671/tid=5680] ppid=5669 vsize=64120 CPUtime=0.06
/proc/5671/task/5680/stat : 5680 (satake) R 5669 5671 27791 0 -1 4202560 465 0 0 0 0 6 0 0 20 0 17 0 639194324 65658880 10355 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5671/tid=5681] ppid=5669 vsize=64120 CPUtime=0.16
/proc/5671/task/5681/stat : 5681 (satake) R 5669 5671 27791 0 -1 4202560 842 0 0 0 0 16 0 0 20 0 17 0 639194324 65658880 10355 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5671/tid=5682] ppid=5669 vsize=64120 CPUtime=0.16
/proc/5671/task/5682/stat : 5682 (satake) D 5669 5671 27791 0 -1 4202560 838 0 0 0 0 16 0 0 20 0 17 0 639194324 65658880 10355 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5671/tid=5683] ppid=5669 vsize=64120 CPUtime=0.08
/proc/5671/task/5683/stat : 5683 (satake) D 5669 5671 27791 0 -1 4202560 588 0 0 0 0 8 0 0 20 0 17 0 639194324 65658880 10355 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134522704 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5671/tid=5684] ppid=5669 vsize=64120 CPUtime=0.08
/proc/5671/task/5684/stat : 5684 (satake) D 5669 5671 27791 0 -1 4202560 536 0 0 0 0 8 0 0 20 0 17 0 639194325 65658880 10356 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5671/tid=5685] ppid=5669 vsize=64120 CPUtime=0.14
/proc/5671/task/5685/stat : 5685 (satake) R 5669 5671 27791 0 -1 4202560 850 0 0 0 0 14 0 0 20 0 17 0 639194325 65658880 10356 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134522288 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5671/tid=5686] ppid=5669 vsize=64120 CPUtime=0.14
/proc/5671/task/5686/stat : 5686 (satake) D 5669 5671 27791 0 -1 4202560 703 0 0 0 0 14 0 0 20 0 17 0 639194325 65658880 10356 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 64120

[startup+0.706232 s]
/proc/loadavg: 15.14 15.08 12.96 2/184 5671
/proc/meminfo: memFree=19138060/36427776 swapFree=4536/9160
[pid=5671] ppid=5669 vsize=96640 CPUtime=3.47
/proc/5671/stat : 5671 (satake) S 5669 5671 27791 0 -1 4202496 20961 0 0 0 2 345 0 0 20 0 17 0 639194324 98959360 20915 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/5671/statm: 24160 20920 63 164 0 23995 0
[pid=5671/tid=5672] ppid=5669 vsize=96640 CPUtime=0
/proc/5671/task/5672/stat : 5672 (satake) S 5669 5671 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 639194324 98959360 20924 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=5671/tid=5673] ppid=5669 vsize=96640 CPUtime=0.2
/proc/5671/task/5673/stat : 5673 (satake) R 5669 5671 27791 0 -1 4202560 1489 0 0 0 0 20 0 0 20 0 17 0 639194324 98959360 20924 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5671/tid=5674] ppid=5669 vsize=96640 CPUtime=0.14
/proc/5671/task/5674/stat : 5674 (satake) R 5669 5671 27791 0 -1 4202560 1229 0 0 0 2 12 0 0 20 0 17 0 639194324 98959360 20925 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5671/tid=5675] ppid=5669 vsize=96640 CPUtime=0.3
/proc/5671/task/5675/stat : 5675 (satake) R 5669 5671 27791 0 -1 4202560 1495 0 0 0 0 30 0 0 20 0 17 0 639194324 98959360 20925 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5671/tid=5676] ppid=5669 vsize=96640 CPUtime=0.3
/proc/5671/task/5676/stat : 5676 (satake) S 5669 5671 27791 0 -1 4202560 1410 0 0 0 0 30 0 0 20 0 17 0 639194324 98959360 20929 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=5671/tid=5677] ppid=5669 vsize=96640 CPUtime=0.18
/proc/5671/task/5677/stat : 5677 (satake) D 5669 5671 27791 0 -1 4202560 1302 0 0 0 0 18 0 0 20 0 17 0 639194324 98959360 20929 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5671/tid=5678] ppid=5669 vsize=96640 CPUtime=0.3
/proc/5671/task/5678/stat : 5678 (satake) R 5669 5671 27791 0 -1 4202560 1476 0 0 0 0 30 0 0 20 0 17 0 639194324 98959360 20929 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5671/tid=5679] ppid=5669 vsize=96640 CPUtime=0.18
/proc/5671/task/5679/stat : 5679 (satake) R 5669 5671 27791 0 -1 4202560 1337 0 0 0 0 18 0 0 20 0 17 0 639194324 98959360 20932 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5671/tid=5680] ppid=5669 vsize=96640 CPUtime=0.16
/proc/5671/task/5680/stat : 5680 (satake) D 5669 5671 27791 0 -1 4202560 1254 0 0 0 0 16 0 0 20 0 17 0 639194324 98959360 20933 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5671/tid=5681] ppid=5669 vsize=96640 CPUtime=0.3
/proc/5671/task/5681/stat : 5681 (satake) R 5669 5671 27791 0 -1 4202560 1502 0 0 0 0 30 0 0 20 0 17 0 639194324 98959360 20933 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5671/tid=5682] ppid=5669 vsize=96640 CPUtime=0.28
/proc/5671/task/5682/stat : 5682 (satake) S 5669 5671 27791 0 -1 4202560 1479 0 0 0 0 28 0 0 20 0 17 0 639194324 98959360 20933 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=5671/tid=5683] ppid=5669 vsize=96640 CPUtime=0.18
/proc/5671/task/5683/stat : 5683 (satake) S 5669 5671 27791 0 -1 4202560 1332 0 0 0 0 18 0 0 20 0 17 0 639194324 98959360 20933 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=5671/tid=5684] ppid=5669 vsize=96640 CPUtime=0.18
/proc/5671/task/5684/stat : 5684 (satake) D 5669 5671 27791 0 -1 4202560 1280 0 0 0 0 18 0 0 20 0 17 0 639194325 98959360 20934 18446744073709551615 134512640 135180984 4288557264 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5671/tid=5685] ppid=5669 vsize=96640 CPUtime=0.28

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

deleting IPC queue 1286013006
deleting IPC queue 1286045775
deleting IPC queue 1286078544
deleting IPC queue 1286111313
deleting IPC queue 1286144082
deleting IPC queue 1286176851
deleting IPC queue 1286209620
deleting IPC queue 1286242389
deleting IPC queue 1286275158
deleting IPC queue 1286307927
deleting IPC queue 1286340696
deleting IPC queue 1286373465
deleting IPC queue 1286406234
deleting IPC queue 1286439003
deleting IPC queue 1286471772
deleting IPC queue 1286504541
deleting IPC queue 1286537310
deleting IPC queue 1286570079
deleting IPC queue 1286602848
deleting IPC queue 1286635617
deleting IPC queue 1286668386
deleting IPC queue 1286701155
deleting IPC queue 1286733924
deleting IPC queue 1286766693
deleting IPC queue 1286799462
deleting IPC queue 1286832231
deleting IPC queue 1286865000
deleting IPC queue 1286897769
deleting IPC queue 1286930538
deleting IPC queue 1286963307
deleting IPC queue 1286996076
deleting IPC queue 1287028845
deleting IPC queue 1287061614
deleting IPC queue 1287094383
deleting IPC queue 1287127152
deleting IPC queue 1287159921
deleting IPC queue 1287192690
deleting IPC queue 1287225459
deleting IPC queue 1287258228
deleting IPC queue 1287290997
deleting IPC queue 1287323766
deleting IPC queue 1287356535
deleting IPC queue 1287389304
deleting IPC queue 1287422073
deleting IPC queue 1287454842
deleting IPC queue 1287487611
deleting IPC queue 1287520380
deleting IPC queue 1287553149
deleting IPC queue 1287585918
deleting IPC queue 1287618687
deleting IPC queue 1287651456
deleting IPC queue 1287684225
deleting IPC queue 1287716994
deleting IPC queue 1287749763
deleting IPC queue 1287782532
deleting IPC queue 1287815301
deleting IPC queue 1287848070
deleting IPC queue 1287880839
deleting IPC queue 1287913608
deleting IPC queue 1287946377
deleting IPC queue 1287979146
deleting IPC queue 1288011915
deleting IPC queue 1288044684
deleting IPC queue 1288077453
deleting IPC queue 1288110222
deleting IPC queue 1288142991
deleting IPC queue 1288175760
deleting IPC queue 1288208529
deleting IPC queue 1288241298
deleting IPC queue 1288274067
deleting IPC queue 1288306836
deleting IPC queue 1288339605
deleting IPC queue 1288372374
deleting IPC queue 1288405143
deleting IPC queue 1288437912
deleting IPC queue 1288470681
deleting IPC queue 1288503450
deleting IPC queue 1288536219
deleting IPC queue 1288568988
deleting IPC queue 1288601757
deleting IPC queue 1288634526
deleting IPC queue 1288667295
deleting IPC queue 1288700064
deleting IPC queue 1288732833
deleting IPC queue 1288765602
deleting IPC queue 1288798371
deleting IPC queue 1288831140
deleting IPC queue 1288863909
deleting IPC queue 1288896678
deleting IPC queue 1288929447
deleting IPC queue 1288962216
deleting IPC queue 1288994985
deleting IPC queue 1289027754
deleting IPC queue 1289060523
deleting IPC queue 1289093292
deleting IPC queue 1289126061
deleting IPC queue 1289158830
deleting IPC queue 1289191599
deleting IPC queue 1289224368
deleting IPC queue 1289257137
deleting IPC queue 1289289906
deleting IPC queue 1289322675
deleting IPC queue 1289355444
deleting IPC queue 1289388213
deleting IPC queue 1289420982
deleting IPC queue 1289453751
deleting IPC queue 1289486520
deleting IPC queue 1289519289
deleting IPC queue 1289552058
deleting IPC queue 1289584827
deleting IPC queue 1289617596
deleting IPC queue 1289650365
deleting IPC queue 1289683134
deleting IPC queue 1289715903
deleting IPC queue 1289748672
deleting IPC queue 1289781441
deleting IPC queue 1289814210
deleting IPC queue 1289846979
deleting IPC queue 1289879748
deleting IPC queue 1289912517
deleting IPC queue 1289945286
deleting IPC queue 1289978055
deleting IPC queue 1290010824
deleting IPC queue 1290043593
deleting IPC queue 1290076362
deleting IPC queue 1290109131
deleting IPC queue 1290141900
deleting IPC queue 1290174669
deleting IPC queue 1290207438
deleting IPC queue 1290240207
deleting IPC queue 1290272976
deleting IPC queue 1290305745
deleting IPC queue 1290338514
deleting IPC queue 1290371283
deleting IPC queue 1290404052
deleting IPC queue 1290436821
deleting IPC queue 1290469590
deleting IPC queue 1290502359
deleting IPC queue 1290535128
deleting IPC queue 1290567897
deleting IPC queue 1290600666
deleting IPC queue 1290633435
deleting IPC queue 1290666204
deleting IPC queue 1290698973
deleting IPC queue 1290731742
deleting IPC queue 1290764511
deleting IPC queue 1290797280
deleting IPC queue 1290830049
deleting IPC queue 1290862818
deleting IPC queue 1290895587
deleting IPC queue 1290928356
deleting IPC queue 1290961125
deleting IPC queue 1290993894
deleting IPC queue 1291026663
deleting IPC queue 1291059432
deleting IPC queue 1291092201
deleting IPC queue 1291124970
deleting IPC queue 1291157739
deleting IPC queue 1291190508
deleting IPC queue 1291223277
deleting IPC queue 1291256046
deleting IPC queue 1291288815
deleting IPC queue 1291321584
deleting IPC queue 1291354353
deleting IPC queue 1291387122
deleting IPC queue 1291419891
deleting IPC queue 1291452660
deleting IPC queue 1291485429
deleting IPC queue 1291518198
deleting IPC queue 1291550967
deleting IPC queue 1291583736
deleting IPC queue 1291616505
deleting IPC queue 1291649274
deleting IPC queue 1291682043
deleting IPC queue 1291714812
deleting IPC queue 1291747581
deleting IPC queue 1291780350
deleting IPC queue 1291813119

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3227.37
system time used= 659.337
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78111
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= 61838319
involuntary context switches= 12078411

runsolver used 4.22426 second user time and 11.7567 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 11:27:59
IDJOB=1779507
IDBENCH=70868
IDSOLVER=631
FILE ID=xenhost3-49/1779507-1244798879
PBS_JOBID=
Free space on /tmp= 7035 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-23-s100.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779507-1244798879/watcher-1779507-1244798879 -o /tmp/evaluation-result-1779507-1244798879/solver-1779507-1244798879 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779507-1244798879.cnf 16 10000

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

MD5SUM BENCH= aa3fff3e05d3f50a3d088c22afa455ea
RANDOM SEED= 1760328848

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:      19138060 kB
Buffers:        433828 kB
Cached:       14106164 kB
SwapCached:          0 kB
Active:        4078980 kB
Inactive:     10468748 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2016 kB
Writeback:           0 kB
AnonPages:        9160 kB
Mapped:           3872 kB
Slab:           688324 kB
SReclaimable:   661508 kB
SUnreclaim:      26816 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7034 MiB
End job on xenhost3-49 at 2009-06-12 11:44:42