Trace number 1779327

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) 10001.4 689.359

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-31-s100.cnf
MD5SUM5dbb80f29538e26a3285bf497c57f592
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 variables32310
Number of clauses97279
Sum of the clauses size229607
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 262102
Number of clauses of size 335113
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-1779327-1244791271/watcher-1779327-1244791271 -o /tmp/evaluation-result-1779327-1244791271/solver-1779327-1244791271 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779327-1244791271.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: 8.05 7.70 7.91 2/184 4842
/proc/meminfo: memFree=19135488/36427776 swapFree=3964/8084
[pid=4842] ppid=4840 vsize=7228 CPUtime=0
/proc/4842/stat : 4842 (satake) R 4840 4842 27791 0 -1 4202496 443 0 0 0 0 0 0 0 20 0 17 0 638433518 7401472 397 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/4842/statm: 1807 397 63 164 0 1642 0
[pid=4842/tid=4843] ppid=4840 vsize=8148 CPUtime=0
/proc/4842/task/4843/stat : 4843 (satake) S 4840 4842 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 638433518 8343552 587 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=4842/tid=4844] ppid=4840 vsize=8148 CPUtime=0
/proc/4842/task/4844/stat : 4844 (satake) R 4840 4842 27791 0 -1 4202560 80 0 0 0 0 0 0 0 20 0 17 0 638433518 8343552 588 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4842/tid=4845] ppid=4840 vsize=8148 CPUtime=0
/proc/4842/task/4845/stat : 4845 (satake) R 4840 4842 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 17 0 638433518 8343552 590 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4842/tid=4846] ppid=4840 vsize=8148 CPUtime=0
/proc/4842/task/4846/stat : 4846 (satake) R 4840 4842 27791 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 17 0 638433518 8343552 594 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4842/tid=4847] ppid=4840 vsize=8148 CPUtime=0
/proc/4842/task/4847/stat : 4847 (satake) R 4840 4842 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 638433518 8343552 595 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4842/tid=4848] ppid=4840 vsize=8148 CPUtime=0
/proc/4842/task/4848/stat : 4848 (satake) R 4840 4842 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 17 0 638433519 8343552 595 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4842/tid=4849] ppid=4840 vsize=8148 CPUtime=0
/proc/4842/task/4849/stat : 4849 (satake) S 4840 4842 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 638433519 8343552 596 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=4842/tid=4850] ppid=4840 vsize=8148 CPUtime=0
/proc/4842/task/4850/stat : 4850 (satake) R 4840 4842 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 17 0 638433519 8343552 597 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4842/tid=4851] ppid=4840 vsize=8148 CPUtime=0
/proc/4842/task/4851/stat : 4851 (satake) S 4840 4842 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 638433519 8343552 607 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=4842/tid=4852] ppid=4840 vsize=8148 CPUtime=0
/proc/4842/task/4852/stat : 4852 (satake) S 4840 4842 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 638433519 8343552 611 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=4842/tid=4853] ppid=4840 vsize=8276 CPUtime=0
/proc/4842/task/4853/stat : 4853 (satake) R 4840 4842 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 638433519 8474624 612 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4842/tid=4854] ppid=4840 vsize=8276 CPUtime=0
/proc/4842/task/4854/stat : 4854 (satake) R 4840 4842 27791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 17 0 638433519 8474624 615 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4842/tid=4855] ppid=4840 vsize=8276 CPUtime=0
/proc/4842/task/4855/stat : 4855 (satake) R 4840 4842 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 638433519 8474624 618 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4842/tid=4856] ppid=4840 vsize=8276 CPUtime=0
/proc/4842/task/4856/stat : 4856 (satake) R 4840 4842 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 638433519 8474624 619 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4842/tid=4857] ppid=4840 vsize=8276 CPUtime=0
/proc/4842/task/4857/stat : 4857 (satake) R 4840 4842 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 17 0 638433519 8474624 619 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4842/tid=4858] ppid=4840 vsize=8276 CPUtime=0
/proc/4842/task/4858/stat : 4858 (satake) R 4840 4842 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 638433519 8474624 619 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0

[startup+0.086245 s]
/proc/loadavg: 8.05 7.70 7.91 2/184 4842
/proc/meminfo: memFree=19135488/36427776 swapFree=3964/8084
[pid=4842] ppid=4840 vsize=29376 CPUtime=0.44
/proc/4842/stat : 4842 (satake) S 4840 4842 27791 0 -1 4202496 5017 0 0 0 6 38 0 0 20 0 17 0 638433518 30081024 4971 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/4842/statm: 7344 4974 63 164 0 7179 0
[pid=4842/tid=4843] ppid=4840 vsize=29376 CPUtime=0
/proc/4842/task/4843/stat : 4843 (satake) S 4840 4842 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 638433518 30081024 4976 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=4842/tid=4844] ppid=4840 vsize=29376 CPUtime=0.04
/proc/4842/task/4844/stat : 4844 (satake) R 4840 4842 27791 0 -1 4202560 479 0 0 0 0 4 0 0 20 0 17 0 638433518 30081024 4976 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4842/tid=4845] ppid=4840 vsize=29376 CPUtime=0
/proc/4842/task/4845/stat : 4845 (satake) D 4840 4842 27791 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 17 0 638433518 30081024 4977 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4842/tid=4846] ppid=4840 vsize=29376 CPUtime=0.04
/proc/4842/task/4846/stat : 4846 (satake) R 4840 4842 27791 0 -1 4202560 467 0 0 0 0 4 0 0 20 0 17 0 638433518 30081024 4978 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134522361 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4842/tid=4847] ppid=4840 vsize=29376 CPUtime=0
/proc/4842/task/4847/stat : 4847 (satake) D 4840 4842 27791 0 -1 4202560 136 0 0 0 0 0 0 0 20 0 17 0 638433518 30081024 4979 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4842/tid=4848] ppid=4840 vsize=29376 CPUtime=0.02
/proc/4842/task/4848/stat : 4848 (satake) R 4840 4842 27791 0 -1 4202560 395 0 0 0 0 2 0 0 20 0 17 0 638433519 30081024 4981 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4842/tid=4849] ppid=4840 vsize=29376 CPUtime=0.02
/proc/4842/task/4849/stat : 4849 (satake) D 4840 4842 27791 0 -1 4202560 185 0 0 0 2 0 0 0 20 0 17 0 638433519 30081024 4985 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4842/tid=4850] ppid=4840 vsize=29376 CPUtime=0.02
/proc/4842/task/4850/stat : 4850 (satake) D 4840 4842 27791 0 -1 4202560 303 0 0 0 0 2 0 0 20 0 17 0 638433519 30081024 4987 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4842/tid=4851] ppid=4840 vsize=29376 CPUtime=0.02
/proc/4842/task/4851/stat : 4851 (satake) R 4840 4842 27791 0 -1 4202560 224 0 0 0 0 2 0 0 20 0 17 0 638433519 30081024 4988 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4842/tid=4852] ppid=4840 vsize=29376 CPUtime=0
/proc/4842/task/4852/stat : 4852 (satake) R 4840 4842 27791 0 -1 4202560 90 0 0 0 0 0 0 0 20 0 17 0 638433519 30081024 4988 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4842/tid=4853] ppid=4840 vsize=29376 CPUtime=0.04
/proc/4842/task/4853/stat : 4853 (satake) R 4840 4842 27791 0 -1 4202560 464 0 0 0 0 4 0 0 20 0 17 0 638433519 30081024 4988 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134522361 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4842/tid=4854] ppid=4840 vsize=29376 CPUtime=0.04
/proc/4842/task/4854/stat : 4854 (satake) R 4840 4842 27791 0 -1 4202560 470 0 0 0 0 4 0 0 20 0 17 0 638433519 30081024 4988 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4842/tid=4855] ppid=4840 vsize=29376 CPUtime=0.04
/proc/4842/task/4855/stat : 4855 (satake) R 4840 4842 27791 0 -1 4202560 445 0 0 0 0 4 0 0 20 0 17 0 638433519 30081024 4988 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4842/tid=4856] ppid=4840 vsize=29376 CPUtime=0.04
/proc/4842/task/4856/stat : 4856 (satake) R 4840 4842 27791 0 -1 4202560 378 0 0 0 0 4 0 0 20 0 17 0 638433519 30081024 4988 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4842/tid=4857] ppid=4840 vsize=29376 CPUtime=0.04
/proc/4842/task/4857/stat : 4857 (satake) R 4840 4842 27791 0 -1 4202560 436 0 0 0 0 4 0 0 20 0 17 0 638433519 30081024 4990 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4842/tid=4858] ppid=4840 vsize=29376 CPUtime=0.02
/proc/4842/task/4858/stat : 4858 (satake) R 4840 4842 27791 0 -1 4202560 271 0 0 0 2 0 0 0 20 0 17 0 638433519 30081024 4992 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 29376

[startup+0.10611 s]
/proc/loadavg: 8.05 7.70 7.91 2/184 4842
/proc/meminfo: memFree=19135488/36427776 swapFree=3964/8084
[pid=4842] ppid=4840 vsize=31800 CPUtime=0.51
/proc/4842/stat : 4842 (satake) S 4840 4842 27791 0 -1 4202496 5589 0 0 0 7 44 0 0 20 0 17 0 638433518 32563200 5543 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/4842/statm: 7950 5544 63 164 0 7785 0
[pid=4842/tid=4843] ppid=4840 vsize=31800 CPUtime=0
/proc/4842/task/4843/stat : 4843 (satake) S 4840 4842 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 638433518 32563200 5545 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=4842/tid=4844] ppid=4840 vsize=31800 CPUtime=0.04
/proc/4842/task/4844/stat : 4844 (satake) R 4840 4842 27791 0 -1 4202560 519 0 0 0 0 4 0 0 20 0 17 0 638433518 32563200 5545 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4842/tid=4845] ppid=4840 vsize=31800 CPUtime=0.02
/proc/4842/task/4845/stat : 4845 (satake) R 4840 4842 27791 0 -1 4202560 194 0 0 0 2 0 0 0 20 0 17 0 638433518 32563200 5545 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4842/tid=4846] ppid=4840 vsize=31800 CPUtime=0.04
/proc/4842/task/4846/stat : 4846 (satake) R 4840 4842 27791 0 -1 4202560 501 0 0 0 0 4 0 0 20 0 17 0 638433518 32563200 5545 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4842/tid=4847] ppid=4840 vsize=31800 CPUtime=0.02
/proc/4842/task/4847/stat : 4847 (satake) R 4840 4842 27791 0 -1 4202560 172 0 0 0 0 2 0 0 20 0 17 0 638433518 32563200 5546 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4842/tid=4848] ppid=4840 vsize=31800 CPUtime=0.02
/proc/4842/task/4848/stat : 4848 (satake) S 4840 4842 27791 0 -1 4202560 416 0 0 0 0 2 0 0 20 0 17 0 638433519 32563200 5548 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=4842/tid=4849] ppid=4840 vsize=31800 CPUtime=0.02
/proc/4842/task/4849/stat : 4849 (satake) D 4840 4842 27791 0 -1 4202560 231 0 0 0 2 0 0 0 20 0 17 0 638433519 32563200 5549 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4842/tid=4850] ppid=4840 vsize=31800 CPUtime=0.02
/proc/4842/task/4850/stat : 4850 (satake) R 4840 4842 27791 0 -1 4202560 347 0 0 0 0 2 0 0 20 0 17 0 638433519 32563200 5549 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4842/tid=4851] ppid=4840 vsize=31800 CPUtime=0.04
/proc/4842/task/4851/stat : 4851 (satake) D 4840 4842 27791 0 -1 4202560 272 0 0 0 0 4 0 0 20 0 17 0 638433519 32563200 5549 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4842/tid=4852] ppid=4840 vsize=31800 CPUtime=0
/proc/4842/task/4852/stat : 4852 (satake) D 4840 4842 27791 0 -1 4202560 127 0 0 0 0 0 0 0 20 0 17 0 638433519 32563200 5549 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4842/tid=4853] ppid=4840 vsize=31800 CPUtime=0.04
/proc/4842/task/4853/stat : 4853 (satake) R 4840 4842 27791 0 -1 4202560 504 0 0 0 0 4 0 0 20 0 17 0 638433519 32563200 5551 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4842/tid=4854] ppid=4840 vsize=31800 CPUtime=0.04
/proc/4842/task/4854/stat : 4854 (satake) D 4840 4842 27791 0 -1 4202560 502 0 0 0 0 4 0 0 20 0 17 0 638433519 32563200 5554 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4842/tid=4855] ppid=4840 vsize=31800 CPUtime=0.04
/proc/4842/task/4855/stat : 4855 (satake) D 4840 4842 27791 0 -1 4202560 483 0 0 0 0 4 0 0 20 0 17 0 638433519 32563200 5555 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4842/tid=4856] ppid=4840 vsize=31800 CPUtime=0.04
/proc/4842/task/4856/stat : 4856 (satake) D 4840 4842 27791 0 -1 4202560 414 0 0 0 0 4 0 0 20 0 17 0 638433519 32563200 5555 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4842/tid=4857] ppid=4840 vsize=31800 CPUtime=0.04
/proc/4842/task/4857/stat : 4857 (satake) D 4840 4842 27791 0 -1 4202560 469 0 0 0 0 4 0 0 20 0 17 0 638433519 32563200 5555 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4842/tid=4858] ppid=4840 vsize=31800 CPUtime=0.02
/proc/4842/task/4858/stat : 4858 (satake) R 4840 4842 27791 0 -1 4202560 311 0 0 0 2 0 0 0 20 0 17 0 638433519 32563200 5555 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 31800

[startup+0.306181 s]
/proc/loadavg: 8.05 7.70 7.91 2/184 4842
/proc/meminfo: memFree=19135488/36427776 swapFree=3964/8084
[pid=4842] ppid=4840 vsize=66504 CPUtime=1.48
/proc/4842/stat : 4842 (satake) S 4840 4842 27791 0 -1 4202496 11387 0 0 0 7 141 0 0 20 0 17 0 638433518 68100096 11342 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/4842/statm: 16626 11343 63 164 0 16461 0
[pid=4842/tid=4843] ppid=4840 vsize=66504 CPUtime=0
/proc/4842/task/4843/stat : 4843 (satake) S 4840 4842 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 638433518 68100096 11344 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=4842/tid=4844] ppid=4840 vsize=66504 CPUtime=0.1
/proc/4842/task/4844/stat : 4844 (satake) D 4840 4842 27791 0 -1 4202560 943 0 0 0 0 10 0 0 20 0 17 0 638433518 68100096 11344 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4842/tid=4845] ppid=4840 vsize=66504 CPUtime=0.06
/proc/4842/task/4845/stat : 4845 (satake) D 4840 4842 27791 0 -1 4202560 545 0 0 0 2 4 0 0 20 0 17 0 638433518 68100096 11344 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4842/tid=4846] ppid=4840 vsize=66504 CPUtime=0.1
/proc/4842/task/4846/stat : 4846 (satake) D 4840 4842 27791 0 -1 4202560 924 0 0 0 0 10 0 0 20 0 17 0 638433518 68100096 11344 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134522268 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4842/tid=4847] ppid=4840 vsize=66504 CPUtime=0.06
/proc/4842/task/4847/stat : 4847 (satake) R 4840 4842 27791 0 -1 4202560 509 0 0 0 0 6 0 0 20 0 17 0 638433518 68100096 11347 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4842/tid=4848] ppid=4840 vsize=66504 CPUtime=0.08
/proc/4842/task/4848/stat : 4848 (satake) S 4840 4842 27791 0 -1 4202560 790 0 0 0 0 8 0 0 20 0 17 0 638433519 68100096 11350 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=4842/tid=4849] ppid=4840 vsize=66504 CPUtime=0.08
/proc/4842/task/4849/stat : 4849 (satake) D 4840 4842 27791 0 -1 4202560 618 0 0 0 2 6 0 0 20 0 17 0 638433519 68100096 11350 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4842/tid=4850] ppid=4840 vsize=66504 CPUtime=0.06
/proc/4842/task/4850/stat : 4850 (satake) R 4840 4842 27791 0 -1 4202560 668 0 0 0 0 6 0 0 20 0 17 0 638433519 68100096 11356 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4842/tid=4851] ppid=4840 vsize=66504 CPUtime=0.12
/proc/4842/task/4851/stat : 4851 (satake) D 4840 4842 27791 0 -1 4202560 721 0 0 0 0 12 0 0 20 0 17 0 638433519 68100096 11356 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4842/tid=4852] ppid=4840 vsize=66504 CPUtime=0.06
/proc/4842/task/4852/stat : 4852 (satake) R 4840 4842 27791 0 -1 4202560 488 0 0 0 0 6 0 0 20 0 17 0 638433519 68100096 11356 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134522288 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4842/tid=4853] ppid=4840 vsize=66504 CPUtime=0.14
/proc/4842/task/4853/stat : 4853 (satake) D 4840 4842 27791 0 -1 4202560 969 0 0 0 0 14 0 0 20 0 17 0 638433519 68100096 11356 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4842/tid=4854] ppid=4840 vsize=66504 CPUtime=0.14
/proc/4842/task/4854/stat : 4854 (satake) R 4840 4842 27791 0 -1 4202560 949 0 0 0 0 14 0 0 20 0 17 0 638433519 68100096 11356 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4842/tid=4855] ppid=4840 vsize=66504 CPUtime=0.1
/proc/4842/task/4855/stat : 4855 (satake) D 4840 4842 27791 0 -1 4202560 902 0 0 0 0 10 0 0 20 0 17 0 638433519 68100096 11358 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4842/tid=4856] ppid=4840 vsize=66504 CPUtime=0.1
/proc/4842/task/4856/stat : 4856 (satake) D 4840 4842 27791 0 -1 4202560 742 0 0 0 0 10 0 0 20 0 17 0 638433519 68100096 11358 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4842/tid=4857] ppid=4840 vsize=66504 CPUtime=0.14
/proc/4842/task/4857/stat : 4857 (satake) D 4840 4842 27791 0 -1 4202560 906 0 0 0 0 14 0 0 20 0 17 0 638433519 68100096 11358 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4842/tid=4858] ppid=4840 vsize=66504 CPUtime=0.06
/proc/4842/task/4858/stat : 4858 (satake) D 4840 4842 27791 0 -1 4202560 593 0 0 0 2 4 0 0 20 0 17 0 638433519 68100096 11359 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 66504

[startup+0.70213 s]
/proc/loadavg: 8.05 7.70 7.91 2/184 4842
/proc/meminfo: memFree=19135488/36427776 swapFree=3964/8084
[pid=4842] ppid=4840 vsize=97336 CPUtime=2.95
/proc/4842/stat : 4842 (satake) S 4840 4842 27791 0 -1 4202496 21880 0 0 0 9 286 0 0 20 0 17 0 638433518 99672064 21834 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/4842/statm: 24334 21834 63 164 0 24169 0
[pid=4842/tid=4843] ppid=4840 vsize=97336 CPUtime=0
/proc/4842/task/4843/stat : 4843 (satake) S 4840 4842 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 638433518 99672064 21834 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=4842/tid=4844] ppid=4840 vsize=97336 CPUtime=0.18
/proc/4842/task/4844/stat : 4844 (satake) S 4840 4842 27791 0 -1 4202560 1578 0 0 0 0 18 0 0 20 0 17 0 638433518 99672064 21834 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=4842/tid=4845] ppid=4840 vsize=97336 CPUtime=0.12
/proc/4842/task/4845/stat : 4845 (satake) D 4840 4842 27791 0 -1 4202560 1363 0 0 0 2 10 0 0 20 0 17 0 638433518 99672064 21834 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4842/tid=4846] ppid=4840 vsize=97336 CPUtime=0.2
/proc/4842/task/4846/stat : 4846 (satake) D 4840 4842 27791 0 -1 4202560 1547 0 0 0 0 20 0 0 20 0 17 0 638433518 99672064 21834 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4842/tid=4847] ppid=4840 vsize=97336 CPUtime=0.14
/proc/4842/task/4847/stat : 4847 (satake) D 4840 4842 27791 0 -1 4202560 1308 0 0 0 0 14 0 0 20 0 17 0 638433518 99672064 21834 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4842/tid=4848] ppid=4840 vsize=97336 CPUtime=0.16
/proc/4842/task/4848/stat : 4848 (satake) S 4840 4842 27791 0 -1 4202560 1428 0 0 0 0 16 0 0 20 0 17 0 638433519 99672064 21834 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=4842/tid=4849] ppid=4840 vsize=97336 CPUtime=0.16
/proc/4842/task/4849/stat : 4849 (satake) D 4840 4842 27791 0 -1 4202560 1361 0 0 0 2 14 0 0 20 0 17 0 638433519 99672064 21834 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4842/tid=4850] ppid=4840 vsize=97336 CPUtime=0.16
/proc/4842/task/4850/stat : 4850 (satake) D 4840 4842 27791 0 -1 4202560 1448 0 0 0 0 16 0 0 20 0 17 0 638433519 99672064 21834 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4842/tid=4851] ppid=4840 vsize=97336 CPUtime=0.26
/proc/4842/task/4851/stat : 4851 (satake) S 4840 4842 27791 0 -1 4202560 1436 0 0 0 0 26 0 0 20 0 17 0 638433519 99672064 21834 18446744073709551615 134512640 135180984 4289753584 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=4842/tid=4852] ppid=4840 vsize=97336 CPUtime=0.14

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

deleting IPC queue 1185349710
deleting IPC queue 1185382479
deleting IPC queue 1185415248
deleting IPC queue 1185448017
deleting IPC queue 1185480786
deleting IPC queue 1185513555
deleting IPC queue 1185546324
deleting IPC queue 1185579093
deleting IPC queue 1185611862
deleting IPC queue 1185644631
deleting IPC queue 1185677400
deleting IPC queue 1185710169
deleting IPC queue 1185742938
deleting IPC queue 1185775707
deleting IPC queue 1185808476
deleting IPC queue 1185841245
deleting IPC queue 1185874014
deleting IPC queue 1185906783
deleting IPC queue 1185939552
deleting IPC queue 1185972321
deleting IPC queue 1186005090
deleting IPC queue 1186037859
deleting IPC queue 1186070628
deleting IPC queue 1186103397
deleting IPC queue 1186136166
deleting IPC queue 1186168935
deleting IPC queue 1186201704
deleting IPC queue 1186234473
deleting IPC queue 1186267242
deleting IPC queue 1186300011
deleting IPC queue 1186332780
deleting IPC queue 1186365549
deleting IPC queue 1186398318
deleting IPC queue 1186431087
deleting IPC queue 1186463856
deleting IPC queue 1186496625
deleting IPC queue 1186529394
deleting IPC queue 1186562163
deleting IPC queue 1186594932
deleting IPC queue 1186627701
deleting IPC queue 1186660470
deleting IPC queue 1186693239
deleting IPC queue 1186726008
deleting IPC queue 1186758777
deleting IPC queue 1186791546
deleting IPC queue 1186824315
deleting IPC queue 1186857084
deleting IPC queue 1186889853
deleting IPC queue 1186922622
deleting IPC queue 1186955391
deleting IPC queue 1186988160
deleting IPC queue 1187020929
deleting IPC queue 1187053698
deleting IPC queue 1187086467
deleting IPC queue 1187119236
deleting IPC queue 1187152005
deleting IPC queue 1187184774
deleting IPC queue 1187217543
deleting IPC queue 1187250312
deleting IPC queue 1187283081
deleting IPC queue 1187315850
deleting IPC queue 1187348619
deleting IPC queue 1187381388
deleting IPC queue 1187414157
deleting IPC queue 1187446926
deleting IPC queue 1187479695
deleting IPC queue 1187512464
deleting IPC queue 1187545233
deleting IPC queue 1187578002
deleting IPC queue 1187610771
deleting IPC queue 1187643540
deleting IPC queue 1187676309
deleting IPC queue 1187709078
deleting IPC queue 1187741847
deleting IPC queue 1187774616
deleting IPC queue 1187807385
deleting IPC queue 1187840154
deleting IPC queue 1187872923
deleting IPC queue 1187905692
deleting IPC queue 1187938461
deleting IPC queue 1187971230
deleting IPC queue 1188003999
deleting IPC queue 1188036768
deleting IPC queue 1188069537
deleting IPC queue 1188102306
deleting IPC queue 1188135075
deleting IPC queue 1188167844
deleting IPC queue 1188200613
deleting IPC queue 1188233382
deleting IPC queue 1188266151
deleting IPC queue 1188298920
deleting IPC queue 1188331689
deleting IPC queue 1188364458
deleting IPC queue 1188397227
deleting IPC queue 1188429996
deleting IPC queue 1188462765
deleting IPC queue 1188495534
deleting IPC queue 1188528303
deleting IPC queue 1188561072
deleting IPC queue 1188593841
deleting IPC queue 1188626610
deleting IPC queue 1188659379
deleting IPC queue 1188692148
deleting IPC queue 1188724917
deleting IPC queue 1188757686
deleting IPC queue 1188790455
deleting IPC queue 1188823224
deleting IPC queue 1188855993
deleting IPC queue 1188888762
deleting IPC queue 1188921531
deleting IPC queue 1188954300
deleting IPC queue 1188987069
deleting IPC queue 1189019838
deleting IPC queue 1189052607
deleting IPC queue 1189085376
deleting IPC queue 1189118145
deleting IPC queue 1189150914
deleting IPC queue 1189183683
deleting IPC queue 1189216452
deleting IPC queue 1189249221
deleting IPC queue 1189281990
deleting IPC queue 1189314759
deleting IPC queue 1189347528
deleting IPC queue 1189380297
deleting IPC queue 1189413066
deleting IPC queue 1189445835
deleting IPC queue 1189478604
deleting IPC queue 1189511373
deleting IPC queue 1189544142
deleting IPC queue 1189576911
deleting IPC queue 1189609680
deleting IPC queue 1189642449
deleting IPC queue 1189675218
deleting IPC queue 1189707987
deleting IPC queue 1189740756
deleting IPC queue 1189773525
deleting IPC queue 1189806294
deleting IPC queue 1189839063
deleting IPC queue 1189871832
deleting IPC queue 1189904601
deleting IPC queue 1189937370
deleting IPC queue 1189970139
deleting IPC queue 1190002908
deleting IPC queue 1190035677
deleting IPC queue 1190068446
deleting IPC queue 1190101215
deleting IPC queue 1190133984
deleting IPC queue 1190166753
deleting IPC queue 1190199522
deleting IPC queue 1190232291
deleting IPC queue 1190265060
deleting IPC queue 1190297829
deleting IPC queue 1190330598
deleting IPC queue 1190363367
deleting IPC queue 1190396136
deleting IPC queue 1190428905
deleting IPC queue 1190461674
deleting IPC queue 1190494443
deleting IPC queue 1190527212
deleting IPC queue 1190559981
deleting IPC queue 1190592750
deleting IPC queue 1190625519
deleting IPC queue 1190658288
deleting IPC queue 1190691057
deleting IPC queue 1190723826
deleting IPC queue 1190756595
deleting IPC queue 1190789364
deleting IPC queue 1190822133
deleting IPC queue 1190854902
deleting IPC queue 1190887671
deleting IPC queue 1190920440
deleting IPC queue 1190953209
deleting IPC queue 1190985978
deleting IPC queue 1191018747
deleting IPC queue 1191051516
deleting IPC queue 1191084285
deleting IPC queue 1191117054
deleting IPC queue 1191149823

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9867.91
system time used= 133.488
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85402
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= 11605618
involuntary context switches= 5768370

runsolver used 3.32021 second user time and 9.73261 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 09:21:11
IDJOB=1779327
IDBENCH=70839
IDSOLVER=631
FILE ID=xenhost3-49/1779327-1244791271
PBS_JOBID=
Free space on /tmp= 7035 MiB

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

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

MD5SUM BENCH= 5dbb80f29538e26a3285bf497c57f592
RANDOM SEED= 1965914715

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:      19135044 kB
Buffers:        433792 kB
Cached:       14105440 kB
SwapCached:          0 kB
Active:        4078244 kB
Inactive:     10468800 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2016 kB
Writeback:           0 kB
AnonPages:        8084 kB
Mapped:           3964 kB
Slab:           688320 kB
SReclaimable:   661508 kB
SUnreclaim:      26812 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= 7035 MiB
End job on xenhost3-49 at 2009-06-12 09:32:43