Trace number 1779567

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

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-28-s100.cnf
MD5SUM06e51f5d7b210924fc518c0569affee4
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 variables32151
Number of clauses96786
Sum of the clauses size228372
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261858
Number of clauses of size 334864
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-1779567-1244801916/watcher-1779567-1244801916 -o /tmp/evaluation-result-1779567-1244801916/solver-1779567-1244801916 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779567-1244801916.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: 4.51 5.17 5.53 2/184 5944
/proc/meminfo: memFree=19137616/36427776 swapFree=4988/8424
[pid=5944] ppid=5942 vsize=7664 CPUtime=0
/proc/5944/stat : 5944 (satake) D 5942 5944 27791 0 -1 4202496 499 0 0 0 0 0 0 0 20 0 15 0 639498014 7847936 452 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/5944/statm: 1916 452 63 164 0 1751 0
[pid=5944/tid=5945] ppid=5942 vsize=8720 CPUtime=0
/proc/5944/task/5945/stat : 5945 (satake) S 5942 5944 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 639498015 8929280 619 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=5944/tid=5946] ppid=5942 vsize=8720 CPUtime=0
/proc/5944/task/5946/stat : 5946 (satake) R 5942 5944 27791 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 17 0 639498015 8929280 620 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5944/tid=5947] ppid=5942 vsize=8720 CPUtime=0
/proc/5944/task/5947/stat : 5947 (satake) R 5942 5944 27791 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 17 0 639498015 8929280 620 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5944/tid=5948] ppid=5942 vsize=8720 CPUtime=0
/proc/5944/task/5948/stat : 5948 (satake) R 5942 5944 27791 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 17 0 639498015 8929280 620 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5944/tid=5949] ppid=5942 vsize=8720 CPUtime=0
/proc/5944/task/5949/stat : 5949 (satake) R 5942 5944 27791 0 -1 4202560 67 0 0 0 0 0 0 0 20 0 17 0 639498015 8929280 620 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5944/tid=5950] ppid=5942 vsize=8720 CPUtime=0
/proc/5944/task/5950/stat : 5950 (satake) R 5942 5944 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 639498015 8929280 621 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5944/tid=5951] ppid=5942 vsize=8720 CPUtime=0
/proc/5944/task/5951/stat : 5951 (satake) R 5942 5944 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 17 0 639498015 8929280 623 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5944/tid=5952] ppid=5942 vsize=8720 CPUtime=0
/proc/5944/task/5952/stat : 5952 (satake) R 5942 5944 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 17 0 639498015 8929280 625 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5944/tid=5953] ppid=5942 vsize=8720 CPUtime=0
/proc/5944/task/5953/stat : 5953 (satake) R 5942 5944 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 639498015 8929280 628 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5944/tid=5954] ppid=5942 vsize=8720 CPUtime=0
/proc/5944/task/5954/stat : 5954 (satake) R 5942 5944 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 639498015 8929280 629 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5944/tid=5955] ppid=5942 vsize=8720 CPUtime=0
/proc/5944/task/5955/stat : 5955 (satake) R 5942 5944 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 17 0 639498015 8929280 631 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5944/tid=5956] ppid=5942 vsize=8720 CPUtime=0
/proc/5944/task/5956/stat : 5956 (satake) R 5942 5944 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 639498015 8929280 632 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5944/tid=5957] ppid=5942 vsize=8720 CPUtime=0
/proc/5944/task/5957/stat : 5957 (satake) R 5942 5944 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 639498015 8929280 634 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5944/tid=5958] ppid=5942 vsize=8720 CPUtime=0
/proc/5944/task/5958/stat : 5958 (satake) R 5942 5944 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 639498015 8929280 635 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5944/tid=5959] ppid=5942 vsize=8720 CPUtime=0
/proc/5944/task/5959/stat : 5959 (satake) S 5942 5944 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 17 0 639498015 8929280 636 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=5944/tid=5960] ppid=5942 vsize=8720 CPUtime=0
/proc/5944/task/5960/stat : 5960 (satake) R 5942 5944 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 639498016 8929280 637 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.046709 s]
/proc/loadavg: 4.51 5.17 5.53 2/184 5944
/proc/meminfo: memFree=19137616/36427776 swapFree=4988/8424
[pid=5944] ppid=5942 vsize=28248 CPUtime=0.19
/proc/5944/stat : 5944 (satake) S 5942 5944 27791 0 -1 4202496 4172 0 0 0 7 12 0 0 20 0 17 0 639498014 28925952 4125 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/5944/statm: 7062 4127 63 164 0 6897 0
[pid=5944/tid=5945] ppid=5942 vsize=28248 CPUtime=0
/proc/5944/task/5945/stat : 5945 (satake) S 5942 5944 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 639498015 28925952 4130 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=5944/tid=5946] ppid=5942 vsize=28248 CPUtime=0.02
/proc/5944/task/5946/stat : 5946 (satake) R 5942 5944 27791 0 -1 4202560 425 0 0 0 0 2 0 0 20 0 17 0 639498015 28925952 4134 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134522361 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5944/tid=5947] ppid=5942 vsize=28248 CPUtime=0.02
/proc/5944/task/5947/stat : 5947 (satake) D 5942 5944 27791 0 -1 4202560 405 0 0 0 0 2 0 0 20 0 17 0 639498015 28925952 4134 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5944/tid=5948] ppid=5942 vsize=28248 CPUtime=0
/proc/5944/task/5948/stat : 5948 (satake) R 5942 5944 27791 0 -1 4202560 311 0 0 0 0 0 0 0 20 0 17 0 639498015 28925952 4135 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5944/tid=5949] ppid=5942 vsize=28248 CPUtime=0.02
/proc/5944/task/5949/stat : 5949 (satake) R 5942 5944 27791 0 -1 4202560 394 0 0 0 0 2 0 0 20 0 17 0 639498015 28925952 4135 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5944/tid=5950] ppid=5942 vsize=28248 CPUtime=0
/proc/5944/task/5950/stat : 5950 (satake) R 5942 5944 27791 0 -1 4202560 335 0 0 0 0 0 0 0 20 0 17 0 639498015 28925952 4135 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5944/tid=5951] ppid=5942 vsize=28248 CPUtime=0
/proc/5944/task/5951/stat : 5951 (satake) R 5942 5944 27791 0 -1 4202560 96 0 0 0 0 0 0 0 20 0 17 0 639498015 28925952 4135 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5944/tid=5952] ppid=5942 vsize=28248 CPUtime=0.02
/proc/5944/task/5952/stat : 5952 (satake) R 5942 5944 27791 0 -1 4202560 405 0 0 0 0 2 0 0 20 0 17 0 639498015 28925952 4137 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5944/tid=5953] ppid=5942 vsize=28248 CPUtime=0
/proc/5944/task/5953/stat : 5953 (satake) R 5942 5944 27791 0 -1 4202560 194 0 0 0 0 0 0 0 20 0 17 0 639498015 28925952 4139 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5944/tid=5954] ppid=5942 vsize=28248 CPUtime=0
/proc/5944/task/5954/stat : 5954 (satake) R 5942 5944 27791 0 -1 4202560 170 0 0 0 0 0 0 0 20 0 17 0 639498015 28925952 4141 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5944/tid=5955] ppid=5942 vsize=28248 CPUtime=0.02
/proc/5944/task/5955/stat : 5955 (satake) R 5942 5944 27791 0 -1 4202560 372 0 0 0 2 0 0 0 20 0 17 0 639498015 28925952 4142 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5944/tid=5956] ppid=5942 vsize=28248 CPUtime=0
/proc/5944/task/5956/stat : 5956 (satake) R 5942 5944 27791 0 -1 4202560 168 0 0 0 0 0 0 0 20 0 17 0 639498015 28925952 4146 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5944/tid=5957] ppid=5942 vsize=28248 CPUtime=0.02
/proc/5944/task/5957/stat : 5957 (satake) D 5942 5944 27791 0 -1 4202560 374 0 0 0 2 0 0 0 20 0 17 0 639498015 28925952 4148 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5944/tid=5958] ppid=5942 vsize=28248 CPUtime=0
/proc/5944/task/5958/stat : 5958 (satake) D 5942 5944 27791 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 17 0 639498015 28925952 4148 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5944/tid=5959] ppid=5942 vsize=28248 CPUtime=0
/proc/5944/task/5959/stat : 5959 (satake) R 5942 5944 27791 0 -1 4202560 285 0 0 0 0 0 0 0 20 0 17 0 639498015 28925952 4149 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5944/tid=5960] ppid=5942 vsize=28248 CPUtime=0
/proc/5944/task/5960/stat : 5960 (satake) R 5942 5944 27791 0 -1 4202560 74 0 0 0 0 0 0 0 20 0 17 0 639498016 28925952 4154 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28248

[startup+0.106699 s]
/proc/loadavg: 4.51 5.17 5.53 2/184 5944
/proc/meminfo: memFree=19137616/36427776 swapFree=4988/8424
[pid=5944] ppid=5942 vsize=38332 CPUtime=0.47
/proc/5944/stat : 5944 (satake) S 5942 5944 27791 0 -1 4202496 6239 0 0 0 9 38 0 0 20 0 17 0 639498014 39251968 6192 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/5944/statm: 9583 6197 63 164 0 9418 0
[pid=5944/tid=5945] ppid=5942 vsize=38332 CPUtime=0
/proc/5944/task/5945/stat : 5945 (satake) S 5942 5944 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 639498015 39251968 6198 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=5944/tid=5946] ppid=5942 vsize=38332 CPUtime=0.04
/proc/5944/task/5946/stat : 5946 (satake) D 5942 5944 27791 0 -1 4202560 555 0 0 0 0 4 0 0 20 0 17 0 639498015 39251968 6199 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5944/tid=5947] ppid=5942 vsize=38332 CPUtime=0.04
/proc/5944/task/5947/stat : 5947 (satake) D 5942 5944 27791 0 -1 4202560 538 0 0 0 0 4 0 0 20 0 17 0 639498015 39251968 6202 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5944/tid=5948] ppid=5942 vsize=38332 CPUtime=0.04
/proc/5944/task/5948/stat : 5948 (satake) D 5942 5944 27791 0 -1 4202560 452 0 0 0 0 4 0 0 20 0 17 0 639498015 39251968 6202 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134522312 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5944/tid=5949] ppid=5942 vsize=38332 CPUtime=0.02
/proc/5944/task/5949/stat : 5949 (satake) R 5942 5944 27791 0 -1 4202560 513 0 0 0 0 2 0 0 20 0 17 0 639498015 39251968 6206 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5944/tid=5950] ppid=5942 vsize=38332 CPUtime=0.02
/proc/5944/task/5950/stat : 5950 (satake) R 5942 5944 27791 0 -1 4202560 456 0 0 0 0 2 0 0 20 0 17 0 639498015 39251968 6209 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5944/tid=5951] ppid=5942 vsize=38332 CPUtime=0
/proc/5944/task/5951/stat : 5951 (satake) D 5942 5944 27791 0 -1 4202560 235 0 0 0 0 0 0 0 20 0 17 0 639498015 39251968 6210 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5944/tid=5952] ppid=5942 vsize=38332 CPUtime=0.04
/proc/5944/task/5952/stat : 5952 (satake) D 5942 5944 27791 0 -1 4202560 525 0 0 0 0 4 0 0 20 0 17 0 639498015 39251968 6210 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5944/tid=5953] ppid=5942 vsize=38332 CPUtime=0.02
/proc/5944/task/5953/stat : 5953 (satake) R 5942 5944 27791 0 -1 4202560 350 0 0 0 0 2 0 0 20 0 17 0 639498015 39251968 6210 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5944/tid=5954] ppid=5942 vsize=38332 CPUtime=0.02
/proc/5944/task/5954/stat : 5954 (satake) D 5942 5944 27791 0 -1 4202560 329 0 0 0 0 2 0 0 20 0 17 0 639498015 39251968 6210 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5944/tid=5955] ppid=5942 vsize=38332 CPUtime=0.04
/proc/5944/task/5955/stat : 5955 (satake) R 5942 5944 27791 0 -1 4202560 513 0 0 0 2 2 0 0 20 0 17 0 639498015 39251968 6210 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5944/tid=5956] ppid=5942 vsize=38332 CPUtime=0.02
/proc/5944/task/5956/stat : 5956 (satake) R 5942 5944 27791 0 -1 4202560 324 0 0 0 2 0 0 0 20 0 17 0 639498015 39251968 6210 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5944/tid=5957] ppid=5942 vsize=38332 CPUtime=0.04
/proc/5944/task/5957/stat : 5957 (satake) R 5942 5944 27791 0 -1 4202560 516 0 0 0 2 2 0 0 20 0 17 0 639498015 39251968 6210 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134522361 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5944/tid=5958] ppid=5942 vsize=38332 CPUtime=0
/proc/5944/task/5958/stat : 5958 (satake) R 5942 5944 27791 0 -1 4202560 174 0 0 0 0 0 0 0 20 0 17 0 639498015 39251968 6210 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5944/tid=5959] ppid=5942 vsize=38332 CPUtime=0.02
/proc/5944/task/5959/stat : 5959 (satake) R 5942 5944 27791 0 -1 4202560 454 0 0 0 0 2 0 0 20 0 17 0 639498015 39251968 6211 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5944/tid=5960] ppid=5942 vsize=38332 CPUtime=0
/proc/5944/task/5960/stat : 5960 (satake) R 5942 5944 27791 0 -1 4202560 190 0 0 0 0 0 0 0 20 0 17 0 639498016 39251968 6211 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 38332

[startup+0.30279 s]
/proc/loadavg: 4.51 5.17 5.53 2/184 5944
/proc/meminfo: memFree=19137616/36427776 swapFree=4988/8424
[pid=5944] ppid=5942 vsize=72068 CPUtime=1.29
/proc/5944/stat : 5944 (satake) S 5942 5944 27791 0 -1 4202496 12096 0 0 0 9 120 0 0 20 0 17 0 639498014 73797632 12049 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/5944/statm: 18017 12054 63 164 0 17852 0
[pid=5944/tid=5945] ppid=5942 vsize=72068 CPUtime=0
/proc/5944/task/5945/stat : 5945 (satake) S 5942 5944 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 639498015 73797632 12056 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=5944/tid=5946] ppid=5942 vsize=72068 CPUtime=0.1
/proc/5944/task/5946/stat : 5946 (satake) R 5942 5944 27791 0 -1 4202560 968 0 0 0 0 10 0 0 20 0 17 0 639498015 73797632 12057 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5944/tid=5947] ppid=5942 vsize=72068 CPUtime=0.12
/proc/5944/task/5947/stat : 5947 (satake) R 5942 5944 27791 0 -1 4202560 978 0 0 0 0 12 0 0 20 0 17 0 639498015 73797632 12057 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5944/tid=5948] ppid=5942 vsize=72068 CPUtime=0.1
/proc/5944/task/5948/stat : 5948 (satake) D 5942 5944 27791 0 -1 4202560 916 0 0 0 0 10 0 0 20 0 17 0 639498015 73797632 12057 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5944/tid=5949] ppid=5942 vsize=72068 CPUtime=0.08
/proc/5944/task/5949/stat : 5949 (satake) R 5942 5944 27791 0 -1 4202560 917 0 0 0 0 8 0 0 20 0 17 0 639498015 73797632 12057 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5944/tid=5950] ppid=5942 vsize=72068 CPUtime=0.08
/proc/5944/task/5950/stat : 5950 (satake) D 5942 5944 27791 0 -1 4202560 839 0 0 0 0 8 0 0 20 0 17 0 639498015 73797632 12057 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5944/tid=5951] ppid=5942 vsize=72068 CPUtime=0.04
/proc/5944/task/5951/stat : 5951 (satake) R 5942 5944 27791 0 -1 4202560 503 0 0 0 0 4 0 0 20 0 17 0 639498015 73797632 12057 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5944/tid=5952] ppid=5942 vsize=72068 CPUtime=0.08
/proc/5944/task/5952/stat : 5952 (satake) R 5942 5944 27791 0 -1 4202560 902 0 0 0 0 8 0 0 20 0 17 0 639498015 73797632 12058 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5944/tid=5953] ppid=5942 vsize=72068 CPUtime=0.06
/proc/5944/task/5953/stat : 5953 (satake) D 5942 5944 27791 0 -1 4202560 653 0 0 0 0 6 0 0 20 0 17 0 639498015 73797632 12059 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5944/tid=5954] ppid=5942 vsize=71044 CPUtime=0.08
/proc/5944/task/5954/stat : 5954 (satake) R 5942 5944 27791 0 -1 4202560 759 0 0 0 0 8 0 0 20 0 17 0 639498015 72749056 12059 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5944/tid=5955] ppid=5942 vsize=71044 CPUtime=0.12
/proc/5944/task/5955/stat : 5955 (satake) D 5942 5944 27791 0 -1 4202560 966 0 0 0 2 10 0 0 20 0 17 0 639498015 72749056 12062 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5944/tid=5956] ppid=5942 vsize=71044 CPUtime=0.08
/proc/5944/task/5956/stat : 5956 (satake) D 5942 5944 27791 0 -1 4202560 769 0 0 0 2 6 0 0 20 0 17 0 639498015 72749056 12062 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5944/tid=5957] ppid=5942 vsize=71044 CPUtime=0.12
/proc/5944/task/5957/stat : 5957 (satake) D 5942 5944 27791 0 -1 4202560 1008 0 0 0 2 10 0 0 20 0 17 0 639498015 72749056 12062 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134522268 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5944/tid=5958] ppid=5942 vsize=71044 CPUtime=0.04
/proc/5944/task/5958/stat : 5958 (satake) R 5942 5944 27791 0 -1 4202560 492 0 0 0 0 4 0 0 20 0 17 0 639498015 72749056 12063 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5944/tid=5959] ppid=5942 vsize=71044 CPUtime=0.08
/proc/5944/task/5959/stat : 5959 (satake) D 5942 5944 27791 0 -1 4202560 802 0 0 0 0 8 0 0 20 0 17 0 639498015 72749056 12063 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5944/tid=5960] ppid=5942 vsize=71044 CPUtime=0.04
/proc/5944/task/5960/stat : 5960 (satake) D 5942 5944 27791 0 -1 4202560 502 0 0 0 0 4 0 0 20 0 17 0 639498016 72749056 12066 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 72068

[startup+0.70682 s]
/proc/loadavg: 4.51 5.17 5.53 2/184 5944
/proc/meminfo: memFree=19137616/36427776 swapFree=4988/8424
[pid=5944] ppid=5942 vsize=104512 CPUtime=2.6
/proc/5944/stat : 5944 (satake) S 5942 5944 27791 0 -1 4202496 23118 0 0 0 22 238 0 0 20 0 17 0 639498014 107020288 23071 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/5944/statm: 26128 23073 63 164 0 25963 0
[pid=5944/tid=5945] ppid=5942 vsize=104512 CPUtime=0
/proc/5944/task/5945/stat : 5945 (satake) S 5942 5944 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 639498015 107020288 23073 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=5944/tid=5946] ppid=5942 vsize=104512 CPUtime=0.18
/proc/5944/task/5946/stat : 5946 (satake) R 5942 5944 27791 0 -1 4202560 1630 0 0 0 2 16 0 0 20 0 17 0 639498015 107020288 23075 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5944/tid=5947] ppid=5942 vsize=104512 CPUtime=0.24
/proc/5944/task/5947/stat : 5947 (satake) S 5942 5944 27791 0 -1 4202560 1577 0 0 0 2 22 0 0 20 0 17 0 639498015 107020288 23075 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=5944/tid=5948] ppid=5942 vsize=104512 CPUtime=0.18
/proc/5944/task/5948/stat : 5948 (satake) D 5942 5944 27791 0 -1 4202560 1547 0 0 0 2 16 0 0 20 0 17 0 639498015 107020288 23075 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5944/tid=5949] ppid=5942 vsize=104512 CPUtime=0.16
/proc/5944/task/5949/stat : 5949 (satake) R 5942 5944 27791 0 -1 4202560 1613 0 0 0 2 14 0 0 20 0 17 0 639498015 107020288 23075 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5944/tid=5950] ppid=5942 vsize=104512 CPUtime=0.16
/proc/5944/task/5950/stat : 5950 (satake) D 5942 5944 27791 0 -1 4202560 1588 0 0 0 0 16 0 0 20 0 17 0 639498015 107020288 23075 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5944/tid=5951] ppid=5942 vsize=104512 CPUtime=0.1
/proc/5944/task/5951/stat : 5951 (satake) D 5942 5944 27791 0 -1 4202560 1410 0 0 0 0 10 0 0 20 0 17 0 639498015 107020288 23075 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5944/tid=5952] ppid=5942 vsize=104512 CPUtime=0.16
/proc/5944/task/5952/stat : 5952 (satake) D 5942 5944 27791 0 -1 4202560 1591 0 0 0 0 16 0 0 20 0 17 0 639498015 107020288 23076 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5944/tid=5953] ppid=5942 vsize=104512 CPUtime=0.14
/proc/5944/task/5953/stat : 5953 (satake) R 5942 5944 27791 0 -1 4202560 1418 0 0 0 2 12 0 0 20 0 17 0 639498015 107020288 23080 18446744073709551615 134512640 135180984 4294770352 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5944/tid=5954] ppid=5942 vsize=104512 CPUtime=0.16

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

deleting IPC queue 1319567438
deleting IPC queue 1319600207
deleting IPC queue 1319632976
deleting IPC queue 1319665745
deleting IPC queue 1319698514
deleting IPC queue 1319731283
deleting IPC queue 1319764052
deleting IPC queue 1319796821
deleting IPC queue 1319829590
deleting IPC queue 1319862359
deleting IPC queue 1319895128
deleting IPC queue 1319927897
deleting IPC queue 1319960666
deleting IPC queue 1319993435
deleting IPC queue 1320026204
deleting IPC queue 1320058973
deleting IPC queue 1320091742
deleting IPC queue 1320124511
deleting IPC queue 1320157280
deleting IPC queue 1320190049
deleting IPC queue 1320222818
deleting IPC queue 1320255587
deleting IPC queue 1320288356
deleting IPC queue 1320321125
deleting IPC queue 1320353894
deleting IPC queue 1320386663
deleting IPC queue 1320419432
deleting IPC queue 1320452201
deleting IPC queue 1320484970
deleting IPC queue 1320517739
deleting IPC queue 1320550508
deleting IPC queue 1320583277
deleting IPC queue 1320616046
deleting IPC queue 1320648815
deleting IPC queue 1320681584
deleting IPC queue 1320714353
deleting IPC queue 1320747122
deleting IPC queue 1320779891
deleting IPC queue 1320812660
deleting IPC queue 1320845429
deleting IPC queue 1320878198
deleting IPC queue 1320910967
deleting IPC queue 1320943736
deleting IPC queue 1320976505
deleting IPC queue 1321009274
deleting IPC queue 1321042043
deleting IPC queue 1321074812
deleting IPC queue 1321107581
deleting IPC queue 1321140350
deleting IPC queue 1321173119
deleting IPC queue 1321205888
deleting IPC queue 1321238657
deleting IPC queue 1321271426
deleting IPC queue 1321304195
deleting IPC queue 1321336964
deleting IPC queue 1321369733
deleting IPC queue 1321402502
deleting IPC queue 1321435271
deleting IPC queue 1321468040
deleting IPC queue 1321500809
deleting IPC queue 1321533578
deleting IPC queue 1321566347
deleting IPC queue 1321599116
deleting IPC queue 1321631885
deleting IPC queue 1321664654
deleting IPC queue 1321697423
deleting IPC queue 1321730192
deleting IPC queue 1321762961
deleting IPC queue 1321795730
deleting IPC queue 1321828499
deleting IPC queue 1321861268
deleting IPC queue 1321894037
deleting IPC queue 1321926806
deleting IPC queue 1321959575
deleting IPC queue 1321992344
deleting IPC queue 1322025113
deleting IPC queue 1322057882
deleting IPC queue 1322090651
deleting IPC queue 1322123420
deleting IPC queue 1322156189
deleting IPC queue 1322188958
deleting IPC queue 1322221727
deleting IPC queue 1322254496
deleting IPC queue 1322287265
deleting IPC queue 1322320034
deleting IPC queue 1322352803
deleting IPC queue 1322385572
deleting IPC queue 1322418341
deleting IPC queue 1322451110
deleting IPC queue 1322483879
deleting IPC queue 1322516648
deleting IPC queue 1322549417
deleting IPC queue 1322582186
deleting IPC queue 1322614955
deleting IPC queue 1322647724
deleting IPC queue 1322680493
deleting IPC queue 1322713262
deleting IPC queue 1322746031
deleting IPC queue 1322778800
deleting IPC queue 1322811569
deleting IPC queue 1322844338
deleting IPC queue 1322877107
deleting IPC queue 1322909876
deleting IPC queue 1322942645
deleting IPC queue 1322975414
deleting IPC queue 1323008183
deleting IPC queue 1323040952
deleting IPC queue 1323073721
deleting IPC queue 1323106490
deleting IPC queue 1323139259
deleting IPC queue 1323172028
deleting IPC queue 1323204797
deleting IPC queue 1323237566
deleting IPC queue 1323270335
deleting IPC queue 1323303104
deleting IPC queue 1323335873
deleting IPC queue 1323368642
deleting IPC queue 1323401411
deleting IPC queue 1323434180
deleting IPC queue 1323466949
deleting IPC queue 1323499718
deleting IPC queue 1323532487
deleting IPC queue 1323565256
deleting IPC queue 1323598025
deleting IPC queue 1323630794
deleting IPC queue 1323663563
deleting IPC queue 1323696332
deleting IPC queue 1323729101
deleting IPC queue 1323761870
deleting IPC queue 1323794639
deleting IPC queue 1323827408
deleting IPC queue 1323860177
deleting IPC queue 1323892946
deleting IPC queue 1323925715
deleting IPC queue 1323958484
deleting IPC queue 1323991253
deleting IPC queue 1324024022
deleting IPC queue 1324056791
deleting IPC queue 1324089560
deleting IPC queue 1324122329
deleting IPC queue 1324155098
deleting IPC queue 1324187867
deleting IPC queue 1324220636
deleting IPC queue 1324253405
deleting IPC queue 1324286174
deleting IPC queue 1324318943
deleting IPC queue 1324351712
deleting IPC queue 1324384481
deleting IPC queue 1324417250
deleting IPC queue 1324450019
deleting IPC queue 1324482788
deleting IPC queue 1324515557
deleting IPC queue 1324548326
deleting IPC queue 1324581095
deleting IPC queue 1324613864
deleting IPC queue 1324646633
deleting IPC queue 1324679402
deleting IPC queue 1324712171
deleting IPC queue 1324744940
deleting IPC queue 1324777709
deleting IPC queue 1324810478
deleting IPC queue 1324843247
deleting IPC queue 1324876016
deleting IPC queue 1324908785
deleting IPC queue 1324941554
deleting IPC queue 1324974323
deleting IPC queue 1325007092
deleting IPC queue 1325039861
deleting IPC queue 1325072630
deleting IPC queue 1325105399
deleting IPC queue 1325138168
deleting IPC queue 1325170937
deleting IPC queue 1325203706
deleting IPC queue 1325236475
deleting IPC queue 1325269244
deleting IPC queue 1325302013
deleting IPC queue 1325334782
deleting IPC queue 1325367551

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7252.23
system time used= 507.336
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92271
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= 49330481
involuntary context switches= 19577548

runsolver used 4.54428 second user time and 12.5768 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 12:18:36
IDJOB=1779567
IDBENCH=70875
IDSOLVER=631
FILE ID=xenhost3-49/1779567-1244801916
PBS_JOBID=
Free space on /tmp= 7034 MiB

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

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

MD5SUM BENCH= 06e51f5d7b210924fc518c0569affee4
RANDOM SEED= 1980510995

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:      19137616 kB
Buffers:        433844 kB
Cached:       14106336 kB
SwapCached:          0 kB
Active:        4080244 kB
Inactive:     10468956 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2000 kB
Writeback:           0 kB
AnonPages:        8424 kB
Mapped:           4988 kB
Slab:           688252 kB
SReclaimable:   661516 kB
SUnreclaim:      26736 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= 7034 MiB
End job on xenhost3-49 at 2009-06-12 12:35:19