Trace number 1779237

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) 6689.05 1000.1

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-14.cnf
MD5SUM5822cc7fe01f06c27406011d612b5e7d
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 variables69641
Number of clauses227010
Sum of the clauses size588274
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 292498
Number of clauses of size 3134383
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-1779237-1244789138/watcher-1779237-1244789138 -o /tmp/evaluation-result-1779237-1244789138/solver-1779237-1244789138 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779237-1244789138.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.07 7.40 7.61 2/184 4478
/proc/meminfo: memFree=19133344/36427776 swapFree=2592/8360
[pid=4478] ppid=4476 vsize=6548 CPUtime=0
/proc/4478/stat : 4478 (satake) R 4476 4478 27791 0 -1 4202496 322 0 0 0 0 0 0 0 20 0 13 0 638220185 6705152 280 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/4478/statm: 1637 283 63 164 0 1472 0
[pid=4478/tid=4479] ppid=4476 vsize=8104 CPUtime=0
/proc/4478/task/4479/stat : 4479 (satake) S 4476 4478 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 15 0 638220185 8298496 367 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=4478/tid=4480] ppid=4476 vsize=8104 CPUtime=0
/proc/4478/task/4480/stat : 4480 (satake) R 4476 4478 27791 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 15 0 638220185 8298496 367 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4478/tid=4481] ppid=4476 vsize=8104 CPUtime=0
/proc/4478/task/4481/stat : 4481 (satake) R 4476 4478 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 15 0 638220185 8298496 367 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4478/tid=4482] ppid=4476 vsize=8104 CPUtime=0
/proc/4478/task/4482/stat : 4482 (satake) R 4476 4478 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 15 0 638220185 8298496 367 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4478/tid=4483] ppid=4476 vsize=8104 CPUtime=0
/proc/4478/task/4483/stat : 4483 (satake) R 4476 4478 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 15 0 638220185 8298496 367 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4478/tid=4484] ppid=4476 vsize=8104 CPUtime=0
/proc/4478/task/4484/stat : 4484 (satake) R 4476 4478 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 15 0 638220185 8298496 367 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4478/tid=4485] ppid=4476 vsize=8104 CPUtime=0
/proc/4478/task/4485/stat : 4485 (satake) S 4476 4478 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 15 0 638220185 8298496 375 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=4478/tid=4486] ppid=4476 vsize=8104 CPUtime=0
/proc/4478/task/4486/stat : 4486 (satake) R 4476 4478 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 15 0 638220185 8298496 376 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4478/tid=4487] ppid=4476 vsize=8104 CPUtime=0
/proc/4478/task/4487/stat : 4487 (satake) S 4476 4478 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 15 0 638220185 8298496 376 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=4478/tid=4488] ppid=4476 vsize=8104 CPUtime=0
/proc/4478/task/4488/stat : 4488 (satake) D 4476 4478 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 15 0 638220185 8298496 379 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4478/tid=4489] ppid=4476 vsize=8104 CPUtime=0
/proc/4478/task/4489/stat : 4489 (satake) D 4476 4478 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 15 0 638220186 8298496 379 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4478/tid=4490] ppid=4476 vsize=8108 CPUtime=0
/proc/4478/task/4490/stat : 4490 (satake) R 4476 4478 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 15 0 638220186 8302592 379 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4478/tid=4491] ppid=4476 vsize=8108 CPUtime=0
/proc/4478/task/4491/stat : 4491 (satake) D 4476 4478 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 15 0 638220186 8302592 379 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4478/tid=4492] ppid=4476 vsize=8108 CPUtime=0
/proc/4478/task/4492/stat : 4492 (satake) R 4476 4478 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 15 0 638220186 8302592 381 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.049254 s]
/proc/loadavg: 8.07 7.40 7.61 2/184 4478
/proc/meminfo: memFree=19133344/36427776 swapFree=2592/8360
[pid=4478] ppid=4476 vsize=18264 CPUtime=0.28
/proc/4478/stat : 4478 (satake) S 4476 4478 27791 0 -1 4202496 2001 0 0 0 2 26 0 0 20 0 17 0 638220185 18702336 1942 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/4478/statm: 4566 1944 63 164 0 4401 0
[pid=4478/tid=4479] ppid=4476 vsize=18264 CPUtime=0
/proc/4478/task/4479/stat : 4479 (satake) S 4476 4478 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 638220185 18702336 1944 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=4478/tid=4480] ppid=4476 vsize=18264 CPUtime=0.02
/proc/4478/task/4480/stat : 4480 (satake) R 4476 4478 27791 0 -1 4202560 167 0 0 0 0 2 0 0 20 0 17 0 638220185 18702336 1945 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4478/tid=4481] ppid=4476 vsize=18264 CPUtime=0.02
/proc/4478/task/4481/stat : 4481 (satake) R 4476 4478 27791 0 -1 4202560 151 0 0 0 0 2 0 0 20 0 17 0 638220185 18702336 1945 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4478/tid=4482] ppid=4476 vsize=18264 CPUtime=0
/proc/4478/task/4482/stat : 4482 (satake) R 4476 4478 27791 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 17 0 638220185 18702336 1945 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4478/tid=4483] ppid=4476 vsize=18264 CPUtime=0.02
/proc/4478/task/4483/stat : 4483 (satake) R 4476 4478 27791 0 -1 4202560 161 0 0 0 0 2 0 0 20 0 17 0 638220185 18702336 1945 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4478/tid=4484] ppid=4476 vsize=18264 CPUtime=0.02
/proc/4478/task/4484/stat : 4484 (satake) R 4476 4478 27791 0 -1 4202560 150 0 0 0 0 2 0 0 20 0 17 0 638220185 18702336 1945 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=4478/tid=4485] ppid=4476 vsize=18264 CPUtime=0.02
/proc/4478/task/4485/stat : 4485 (satake) R 4476 4478 27791 0 -1 4202560 140 0 0 0 0 2 0 0 20 0 17 0 638220185 18702336 1945 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4478/tid=4486] ppid=4476 vsize=18264 CPUtime=0.02
/proc/4478/task/4486/stat : 4486 (satake) R 4476 4478 27791 0 -1 4202560 155 0 0 0 0 2 0 0 20 0 17 0 638220185 18702336 1945 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4478/tid=4487] ppid=4476 vsize=18264 CPUtime=0.02
/proc/4478/task/4487/stat : 4487 (satake) R 4476 4478 27791 0 -1 4202560 139 0 0 0 0 2 0 0 20 0 17 0 638220185 18702336 1947 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4478/tid=4488] ppid=4476 vsize=18264 CPUtime=0.02
/proc/4478/task/4488/stat : 4488 (satake) R 4476 4478 27791 0 -1 4202560 140 0 0 0 0 2 0 0 20 0 17 0 638220185 18702336 1948 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4478/tid=4489] ppid=4476 vsize=18264 CPUtime=0.02
/proc/4478/task/4489/stat : 4489 (satake) R 4476 4478 27791 0 -1 4202560 147 0 0 0 0 2 0 0 20 0 17 0 638220186 18702336 1952 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4478/tid=4490] ppid=4476 vsize=18264 CPUtime=0
/proc/4478/task/4490/stat : 4490 (satake) R 4476 4478 27791 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 17 0 638220186 18702336 1953 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4478/tid=4491] ppid=4476 vsize=18264 CPUtime=0.02
/proc/4478/task/4491/stat : 4491 (satake) R 4476 4478 27791 0 -1 4202560 149 0 0 0 0 2 0 0 20 0 17 0 638220186 18702336 1954 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4478/tid=4492] ppid=4476 vsize=18264 CPUtime=0
/proc/4478/task/4492/stat : 4492 (satake) R 4476 4478 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 17 0 638220186 18702336 1954 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 18264

[startup+0.105344 s]
/proc/loadavg: 8.07 7.40 7.61 2/184 4478
/proc/meminfo: memFree=19133344/36427776 swapFree=2592/8360
[pid=4478] ppid=4476 vsize=56024 CPUtime=0.79
/proc/4478/stat : 4478 (satake) S 4476 4478 27791 0 -1 4202496 8047 0 0 0 3 76 0 0 20 0 17 0 638220185 57368576 7992 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/4478/statm: 14006 8026 63 164 0 13841 0
[pid=4478/tid=4479] ppid=4476 vsize=56024 CPUtime=0
/proc/4478/task/4479/stat : 4479 (satake) S 4476 4478 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 638220185 57368576 8044 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=4478/tid=4480] ppid=4476 vsize=56024 CPUtime=0.04
/proc/4478/task/4480/stat : 4480 (satake) R 4476 4478 27791 0 -1 4202560 516 0 0 0 0 4 0 0 20 0 17 0 638220185 57368576 8053 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4478/tid=4481] ppid=4476 vsize=56024 CPUtime=0.06
/proc/4478/task/4481/stat : 4481 (satake) R 4476 4478 27791 0 -1 4202560 652 0 0 0 0 6 0 0 20 0 17 0 638220185 57368576 8090 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4478/tid=4482] ppid=4476 vsize=56024 CPUtime=0.02
/proc/4478/task/4482/stat : 4482 (satake) R 4476 4478 27791 0 -1 4202560 257 0 0 0 0 2 0 0 20 0 17 0 638220185 57368576 8113 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4478/tid=4483] ppid=4476 vsize=56024 CPUtime=0.06
/proc/4478/task/4483/stat : 4483 (satake) R 4476 4478 27791 0 -1 4202560 695 0 0 0 0 6 0 0 20 0 17 0 638220185 57368576 8128 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4478/tid=4484] ppid=4476 vsize=56024 CPUtime=0.06
/proc/4478/task/4484/stat : 4484 (satake) D 4476 4478 27791 0 -1 4202560 568 0 0 0 0 6 0 0 20 0 17 0 638220185 57368576 8150 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=4478/tid=4485] ppid=4476 vsize=56024 CPUtime=0.06
/proc/4478/task/4485/stat : 4485 (satake) D 4476 4478 27791 0 -1 4202560 859 0 0 0 0 6 0 0 20 0 17 0 638220185 57368576 8150 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4478/tid=4486] ppid=4476 vsize=56024 CPUtime=0.06
/proc/4478/task/4486/stat : 4486 (satake) D 4476 4478 27791 0 -1 4202560 695 0 0 0 0 6 0 0 20 0 17 0 638220185 57368576 8150 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4478/tid=4487] ppid=4476 vsize=56024 CPUtime=0.06
/proc/4478/task/4487/stat : 4487 (satake) D 4476 4478 27791 0 -1 4202560 578 0 0 0 0 6 0 0 20 0 17 0 638220185 57368576 8150 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4478/tid=4488] ppid=4476 vsize=56536 CPUtime=0.06
/proc/4478/task/4488/stat : 4488 (satake) D 4476 4478 27791 0 -1 4202560 593 0 0 0 0 6 0 0 20 0 17 0 638220185 57892864 8150 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4478/tid=4489] ppid=4476 vsize=56536 CPUtime=0.06
/proc/4478/task/4489/stat : 4489 (satake) R 4476 4478 27791 0 -1 4202560 656 0 0 0 0 6 0 0 20 0 17 0 638220186 57892864 8155 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4478/tid=4490] ppid=4476 vsize=56536 CPUtime=0.06
/proc/4478/task/4490/stat : 4490 (satake) D 4476 4478 27791 0 -1 4202560 512 0 0 0 0 6 0 0 20 0 17 0 638220186 57892864 8157 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4478/tid=4491] ppid=4476 vsize=56536 CPUtime=0.06
/proc/4478/task/4491/stat : 4491 (satake) D 4476 4478 27791 0 -1 4202560 578 0 0 0 0 6 0 0 20 0 17 0 638220186 57892864 8158 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4478/tid=4492] ppid=4476 vsize=56536 CPUtime=0.02
/proc/4478/task/4492/stat : 4492 (satake) R 4476 4478 27791 0 -1 4202560 202 0 0 0 0 2 0 0 20 0 17 0 638220186 57892864 8159 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 56024

[startup+0.30542 s]
/proc/loadavg: 8.07 7.40 7.61 2/184 4478
/proc/meminfo: memFree=19133344/36427776 swapFree=2592/8360
[pid=4478] ppid=4476 vsize=141312 CPUtime=2.36
/proc/4478/stat : 4478 (satake) S 4476 4478 27791 0 -1 4202496 16689 0 0 0 3 233 0 0 20 0 17 0 638220185 144703488 16630 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/4478/statm: 35328 16631 63 164 0 35163 0
[pid=4478/tid=4479] ppid=4476 vsize=141312 CPUtime=0
/proc/4478/task/4479/stat : 4479 (satake) S 4476 4478 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 638220185 144703488 16631 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=4478/tid=4480] ppid=4476 vsize=141312 CPUtime=0.12
/proc/4478/task/4480/stat : 4480 (satake) R 4476 4478 27791 0 -1 4202560 1048 0 0 0 0 12 0 0 20 0 17 0 638220185 144703488 16632 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4478/tid=4481] ppid=4476 vsize=141312 CPUtime=0.2
/proc/4478/task/4481/stat : 4481 (satake) R 4476 4478 27791 0 -1 4202560 1350 0 0 0 0 20 0 0 20 0 17 0 638220185 144703488 16632 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4478/tid=4482] ppid=4476 vsize=141312 CPUtime=0.08
/proc/4478/task/4482/stat : 4482 (satake) R 4476 4478 27791 0 -1 4202560 712 0 0 0 0 8 0 0 20 0 17 0 638220185 144703488 16632 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4478/tid=4483] ppid=4476 vsize=141312 CPUtime=0.18
/proc/4478/task/4483/stat : 4483 (satake) R 4476 4478 27791 0 -1 4202560 1315 0 0 0 0 18 0 0 20 0 17 0 638220185 144703488 16632 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4478/tid=4484] ppid=4476 vsize=141312 CPUtime=0.18
/proc/4478/task/4484/stat : 4484 (satake) R 4476 4478 27791 0 -1 4202560 1162 0 0 0 0 18 0 0 20 0 17 0 638220185 144703488 16632 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=4478/tid=4485] ppid=4476 vsize=141312 CPUtime=0.18
/proc/4478/task/4485/stat : 4485 (satake) S 4476 4478 27791 0 -1 4202560 1558 0 0 0 0 18 0 0 20 0 17 0 638220185 144703488 16632 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=4478/tid=4486] ppid=4476 vsize=141312 CPUtime=0.18
/proc/4478/task/4486/stat : 4486 (satake) R 4476 4478 27791 0 -1 4202560 1312 0 0 0 0 18 0 0 20 0 17 0 638220185 144703488 16633 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134522268 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4478/tid=4487] ppid=4476 vsize=141312 CPUtime=0.12
/proc/4478/task/4487/stat : 4487 (satake) R 4476 4478 27791 0 -1 4202560 1017 0 0 0 0 12 0 0 20 0 17 0 638220185 144703488 16634 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4478/tid=4488] ppid=4476 vsize=141312 CPUtime=0.2
/proc/4478/task/4488/stat : 4488 (satake) R 4476 4478 27791 0 -1 4202560 1220 0 0 0 0 20 0 0 20 0 17 0 638220185 144703488 16635 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4478/tid=4489] ppid=4476 vsize=141312 CPUtime=0.18
/proc/4478/task/4489/stat : 4489 (satake) R 4476 4478 27791 0 -1 4202560 1249 0 0 0 0 18 0 0 20 0 17 0 638220186 144703488 16636 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134522288 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4478/tid=4490] ppid=4476 vsize=141312 CPUtime=0.16
/proc/4478/task/4490/stat : 4490 (satake) R 4476 4478 27791 0 -1 4202560 1069 0 0 0 0 16 0 0 20 0 17 0 638220186 144703488 16639 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4478/tid=4491] ppid=4476 vsize=141312 CPUtime=0.18
/proc/4478/task/4491/stat : 4491 (satake) R 4476 4478 27791 0 -1 4202560 1225 0 0 0 0 18 0 0 20 0 17 0 638220186 144703488 16640 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4478/tid=4492] ppid=4476 vsize=141312 CPUtime=0.08
/proc/4478/task/4492/stat : 4492 (satake) R 4476 4478 27791 0 -1 4202560 687 0 0 0 0 8 0 0 20 0 17 0 638220186 144703488 16641 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 141312

[startup+0.705468 s]
/proc/loadavg: 8.07 7.40 7.61 2/184 4478
/proc/meminfo: memFree=19133344/36427776 swapFree=2592/8360
[pid=4478] ppid=4476 vsize=229360 CPUtime=4.74
/proc/4478/stat : 4478 (satake) S 4476 4478 27791 0 -1 4202496 25715 0 0 0 3 471 0 0 20 0 17 0 638220185 234864640 25656 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/4478/statm: 57340 25657 63 164 0 57175 0
[pid=4478/tid=4479] ppid=4476 vsize=229360 CPUtime=0
/proc/4478/task/4479/stat : 4479 (satake) S 4476 4478 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 638220185 234864640 25657 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=4478/tid=4480] ppid=4476 vsize=229360 CPUtime=0.24
/proc/4478/task/4480/stat : 4480 (satake) D 4476 4478 27791 0 -1 4202560 1603 0 0 0 0 24 0 0 20 0 17 0 638220185 234864640 25657 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4478/tid=4481] ppid=4476 vsize=229360 CPUtime=0.38
/proc/4478/task/4481/stat : 4481 (satake) R 4476 4478 27791 0 -1 4202560 1959 0 0 0 0 38 0 0 20 0 17 0 638220185 234864640 25657 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4478/tid=4482] ppid=4476 vsize=229360 CPUtime=0.22
/proc/4478/task/4482/stat : 4482 (satake) R 4476 4478 27791 0 -1 4202560 1367 0 0 0 0 22 0 0 20 0 17 0 638220185 234864640 25657 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4478/tid=4483] ppid=4476 vsize=229360 CPUtime=0.34
/proc/4478/task/4483/stat : 4483 (satake) D 4476 4478 27791 0 -1 4202560 1884 0 0 0 0 34 0 0 20 0 17 0 638220185 234864640 25657 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4478/tid=4484] ppid=4476 vsize=229360 CPUtime=0.36
/proc/4478/task/4484/stat : 4484 (satake) R 4476 4478 27791 0 -1 4202560 1779 0 0 0 0 36 0 0 20 0 17 0 638220185 234864640 25657 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=4478/tid=4485] ppid=4476 vsize=229360 CPUtime=0.36
/proc/4478/task/4485/stat : 4485 (satake) R 4476 4478 27791 0 -1 4202560 2146 0 0 0 0 36 0 0 20 0 17 0 638220185 234864640 25657 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4478/tid=4486] ppid=4476 vsize=229360 CPUtime=0.38
/proc/4478/task/4486/stat : 4486 (satake) R 4476 4478 27791 0 -1 4202560 1894 0 0 0 0 38 0 0 20 0 17 0 638220185 234864640 25657 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4478/tid=4487] ppid=4476 vsize=229360 CPUtime=0.24
/proc/4478/task/4487/stat : 4487 (satake) R 4476 4478 27791 0 -1 4202560 1586 0 0 0 0 24 0 0 20 0 17 0 638220185 234864640 25657 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4478/tid=4488] ppid=4476 vsize=229360 CPUtime=0.38
/proc/4478/task/4488/stat : 4488 (satake) D 4476 4478 27791 0 -1 4202560 1830 0 0 0 0 38 0 0 20 0 17 0 638220185 234864640 25657 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4478/tid=4489] ppid=4476 vsize=229360 CPUtime=0.38
/proc/4478/task/4489/stat : 4489 (satake) R 4476 4478 27791 0 -1 4202560 1862 0 0 0 0 38 0 0 20 0 17 0 638220186 234864640 25657 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4478/tid=4490] ppid=4476 vsize=229360 CPUtime=0.34
/proc/4478/task/4490/stat : 4490 (satake) D 4476 4478 27791 0 -1 4202560 1691 0 0 0 0 34 0 0 20 0 17 0 638220186 234864640 25658 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4478/tid=4491] ppid=4476 vsize=229360 CPUtime=0.38
/proc/4478/task/4491/stat : 4491 (satake) D 4476 4478 27791 0 -1 4202560 1839 0 0 0 0 38 0 0 20 0 17 0 638220186 234864640 25658 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4478/tid=4492] ppid=4476 vsize=229360 CPUtime=0.2
/proc/4478/task/4492/stat : 4492 (satake) D 4476 4478 27791 0 -1 4202560 1324 0 0 0 0 20 0 0 20 0 17 0 638220186 234864640 25659 18446744073709551615 134512640 135180984 4287098720 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.74
Current children cumulated vsize (KiB) 229360

[startup+1.50538 s]
/proc/loadavg: 8.07 7.40 7.61 12/201 4495
/proc/meminfo: memFree=19009584/36427776 swapFree=4320/136392
[pid=4478] ppid=4476 vsize=264176 CPUtime=8.73

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

deleting IPC queue 1135018062
deleting IPC queue 1135050831
deleting IPC queue 1135083600
deleting IPC queue 1135116369
deleting IPC queue 1135149138
deleting IPC queue 1135181907
deleting IPC queue 1135214676
deleting IPC queue 1135247445
deleting IPC queue 1135280214
deleting IPC queue 1135312983
deleting IPC queue 1135345752
deleting IPC queue 1135378521
deleting IPC queue 1135411290
deleting IPC queue 1135444059
deleting IPC queue 1135476828
deleting IPC queue 1135509597
deleting IPC queue 1135542366
deleting IPC queue 1135575135
deleting IPC queue 1135607904
deleting IPC queue 1135640673
deleting IPC queue 1135673442
deleting IPC queue 1135706211
deleting IPC queue 1135738980
deleting IPC queue 1135771749
deleting IPC queue 1135804518
deleting IPC queue 1135837287
deleting IPC queue 1135870056
deleting IPC queue 1135902825
deleting IPC queue 1135935594
deleting IPC queue 1135968363
deleting IPC queue 1136001132
deleting IPC queue 1136033901
deleting IPC queue 1136066670
deleting IPC queue 1136099439
deleting IPC queue 1136132208
deleting IPC queue 1136164977
deleting IPC queue 1136197746
deleting IPC queue 1136230515
deleting IPC queue 1136263284
deleting IPC queue 1136296053
deleting IPC queue 1136328822
deleting IPC queue 1136361591
deleting IPC queue 1136394360
deleting IPC queue 1136427129
deleting IPC queue 1136459898
deleting IPC queue 1136492667
deleting IPC queue 1136525436
deleting IPC queue 1136558205
deleting IPC queue 1136590974
deleting IPC queue 1136623743
deleting IPC queue 1136656512
deleting IPC queue 1136689281
deleting IPC queue 1136722050
deleting IPC queue 1136754819
deleting IPC queue 1136787588
deleting IPC queue 1136820357
deleting IPC queue 1136853126
deleting IPC queue 1136885895
deleting IPC queue 1136918664
deleting IPC queue 1136951433
deleting IPC queue 1136984202
deleting IPC queue 1137016971
deleting IPC queue 1137049740
deleting IPC queue 1137082509
deleting IPC queue 1137115278
deleting IPC queue 1137148047
deleting IPC queue 1137180816
deleting IPC queue 1137213585
deleting IPC queue 1137246354
deleting IPC queue 1137279123
deleting IPC queue 1137311892
deleting IPC queue 1137344661
deleting IPC queue 1137377430
deleting IPC queue 1137410199
deleting IPC queue 1137442968
deleting IPC queue 1137475737
deleting IPC queue 1137508506
deleting IPC queue 1137541275
deleting IPC queue 1137574044
deleting IPC queue 1137606813
deleting IPC queue 1137639582
deleting IPC queue 1137672351
deleting IPC queue 1137705120
deleting IPC queue 1137737889
deleting IPC queue 1137770658
deleting IPC queue 1137803427
deleting IPC queue 1137836196
deleting IPC queue 1137868965
deleting IPC queue 1137901734
deleting IPC queue 1137934503
deleting IPC queue 1137967272
deleting IPC queue 1138000041
deleting IPC queue 1138032810
deleting IPC queue 1138065579
deleting IPC queue 1138098348
deleting IPC queue 1138131117
deleting IPC queue 1138163886
deleting IPC queue 1138196655
deleting IPC queue 1138229424
deleting IPC queue 1138262193
deleting IPC queue 1138294962
deleting IPC queue 1138327731
deleting IPC queue 1138360500
deleting IPC queue 1138393269
deleting IPC queue 1138426038
deleting IPC queue 1138458807
deleting IPC queue 1138491576
deleting IPC queue 1138524345
deleting IPC queue 1138557114
deleting IPC queue 1138589883
deleting IPC queue 1138622652
deleting IPC queue 1138655421
deleting IPC queue 1138688190
deleting IPC queue 1138720959
deleting IPC queue 1138753728
deleting IPC queue 1138786497
deleting IPC queue 1138819266
deleting IPC queue 1138852035
deleting IPC queue 1138884804
deleting IPC queue 1138917573
deleting IPC queue 1138950342
deleting IPC queue 1138983111
deleting IPC queue 1139015880
deleting IPC queue 1139048649
deleting IPC queue 1139081418
deleting IPC queue 1139114187
deleting IPC queue 1139146956
deleting IPC queue 1139179725
deleting IPC queue 1139212494
deleting IPC queue 1139245263
deleting IPC queue 1139278032
deleting IPC queue 1139310801
deleting IPC queue 1139343570
deleting IPC queue 1139376339
deleting IPC queue 1139409108
deleting IPC queue 1139441877
deleting IPC queue 1139474646
deleting IPC queue 1139507415
deleting IPC queue 1139540184
deleting IPC queue 1139572953
deleting IPC queue 1139605722
deleting IPC queue 1139638491
deleting IPC queue 1139671260
deleting IPC queue 1139704029
deleting IPC queue 1139736798
deleting IPC queue 1139769567
deleting IPC queue 1139802336
deleting IPC queue 1139835105
deleting IPC queue 1139867874
deleting IPC queue 1139900643
deleting IPC queue 1139933412
deleting IPC queue 1139966181
deleting IPC queue 1139998950
deleting IPC queue 1140031719
deleting IPC queue 1140064488
deleting IPC queue 1140097257
deleting IPC queue 1140130026
deleting IPC queue 1140162795
deleting IPC queue 1140195564
deleting IPC queue 1140228333
deleting IPC queue 1140261102
deleting IPC queue 1140293871
deleting IPC queue 1140326640
deleting IPC queue 1140359409
deleting IPC queue 1140392178
deleting IPC queue 1140424947
deleting IPC queue 1140457716
deleting IPC queue 1140490485
deleting IPC queue 1140523254
deleting IPC queue 1140556023
deleting IPC queue 1140588792
deleting IPC queue 1140621561
deleting IPC queue 1140654330
deleting IPC queue 1140687099
deleting IPC queue 1140719868
deleting IPC queue 1140752637
deleting IPC queue 1140785406
deleting IPC queue 1140818175

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6132.52
system time used= 556.523
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224423
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= 53598835
involuntary context switches= 4627448

runsolver used 4.39627 second user time and 12.8528 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 08:45:38
IDJOB=1779237
IDBENCH=70824
IDSOLVER=631
FILE ID=xenhost3-49/1779237-1244789138
PBS_JOBID=
Free space on /tmp= 7033 MiB

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

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

MD5SUM BENCH= 5822cc7fe01f06c27406011d612b5e7d
RANDOM SEED= 51999354

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:      19133344 kB
Buffers:        433772 kB
Cached:       14107824 kB
SwapCached:          0 kB
Active:        4079532 kB
Inactive:     10470928 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            4640 kB
Writeback:           0 kB
AnonPages:        9024 kB
Mapped:           2592 kB
Slab:           688252 kB
SReclaimable:   661444 kB
SUnreclaim:      26808 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= 7033 MiB
End job on xenhost3-49 at 2009-06-12 09:02:20