Trace number 1779432

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) 3966.6 1000.05

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-20-s100.cnf
MD5SUM5d7745a7593199a47cd1accba5810ed0
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 variables31503
Number of clauses94748
Sum of the clauses size223300
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 260816
Number of clauses of size 333868
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-1779432-1244796341/watcher-1779432-1244796341 -o /tmp/evaluation-result-1779432-1244796341/solver-1779432-1244796341 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779432-1244796341.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: 5.07 5.69 6.22 2/184 5313
/proc/meminfo: memFree=19139100/36427776 swapFree=3732/8396
[pid=5313] ppid=5311 vsize=6544 CPUtime=0
/proc/5313/stat : 5313 (satake) R 5311 5313 27791 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 13 0 638940504 6701056 273 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134705812 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5313/statm: 1637 278 62 164 0 1472 0
[pid=5313/tid=5314] ppid=5311 vsize=7012 CPUtime=0
/proc/5313/task/5314/stat : 5314 (satake) S 5311 5313 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 16 0 638940505 7180288 356 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=5313/tid=5315] ppid=5311 vsize=7076 CPUtime=0
/proc/5313/task/5315/stat : 5315 (satake) D 5311 5313 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 16 0 638940505 7245824 357 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5313/tid=5316] ppid=5311 vsize=7076 CPUtime=0
/proc/5313/task/5316/stat : 5316 (satake) R 5311 5313 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 16 0 638940505 7245824 358 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5313/tid=5317] ppid=5311 vsize=7076 CPUtime=0
/proc/5313/task/5317/stat : 5317 (satake) R 5311 5313 27791 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 16 0 638940505 7245824 362 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5313/tid=5318] ppid=5311 vsize=7076 CPUtime=0
/proc/5313/task/5318/stat : 5318 (satake) R 5311 5313 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 16 0 638940505 7245824 363 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=5313/tid=5319] ppid=5311 vsize=7076 CPUtime=0
/proc/5313/task/5319/stat : 5319 (satake) S 5311 5313 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 638940505 7245824 364 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=5313/tid=5320] ppid=5311 vsize=7076 CPUtime=0
/proc/5313/task/5320/stat : 5320 (satake) S 5311 5313 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 638940505 7245824 364 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=5313/tid=5321] ppid=5311 vsize=7076 CPUtime=0
/proc/5313/task/5321/stat : 5321 (satake) S 5311 5313 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 638940505 7245824 364 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=5313/tid=5322] ppid=5311 vsize=7076 CPUtime=0
/proc/5313/task/5322/stat : 5322 (satake) S 5311 5313 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 638940505 7245824 364 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=5313/tid=5323] ppid=5311 vsize=7076 CPUtime=0
/proc/5313/task/5323/stat : 5323 (satake) D 5311 5313 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 16 0 638940505 7245824 364 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5313/tid=5324] ppid=5311 vsize=7076 CPUtime=0
/proc/5313/task/5324/stat : 5324 (satake) R 5311 5313 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 16 0 638940505 7245824 364 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5313/tid=5325] ppid=5311 vsize=7076 CPUtime=0
/proc/5313/task/5325/stat : 5325 (satake) R 5311 5313 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 16 0 638940505 7245824 364 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5313/tid=5326] ppid=5311 vsize=7076 CPUtime=0
/proc/5313/task/5326/stat : 5326 (satake) R 5311 5313 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 16 0 638940505 7245824 368 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5313/tid=5327] ppid=5311 vsize=7076 CPUtime=0
/proc/5313/task/5327/stat : 5327 (satake) R 5311 5313 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 16 0 638940505 7245824 368 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5313/tid=5328] ppid=5311 vsize=7076 CPUtime=0
/proc/5313/task/5328/stat : 5328 (satake) R 5311 5313 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 16 0 638940505 7245824 371 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0

[startup+0.047226 s]
/proc/loadavg: 5.07 5.69 6.22 2/184 5313
/proc/meminfo: memFree=19139100/36427776 swapFree=3732/8396
[pid=5313] ppid=5311 vsize=16856 CPUtime=0.25
/proc/5313/stat : 5313 (satake) S 5311 5313 27791 0 -1 4202496 2086 0 0 0 7 18 0 0 20 0 17 0 638940504 17260544 2041 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5313/statm: 4214 2043 63 164 0 4049 0
[pid=5313/tid=5314] ppid=5311 vsize=16856 CPUtime=0
/proc/5313/task/5314/stat : 5314 (satake) S 5311 5313 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 638940505 17260544 2045 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=5313/tid=5315] ppid=5311 vsize=16856 CPUtime=0
/proc/5313/task/5315/stat : 5315 (satake) R 5311 5313 27791 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 17 0 638940505 17260544 2046 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5313/tid=5316] ppid=5311 vsize=16856 CPUtime=0.02
/proc/5313/task/5316/stat : 5316 (satake) R 5311 5313 27791 0 -1 4202560 163 0 0 0 0 2 0 0 20 0 17 0 638940505 17260544 2047 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5313/tid=5317] ppid=5311 vsize=16856 CPUtime=0.02
/proc/5313/task/5317/stat : 5317 (satake) R 5311 5313 27791 0 -1 4202560 169 0 0 0 0 2 0 0 20 0 17 0 638940505 17260544 2049 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5313/tid=5318] ppid=5311 vsize=16856 CPUtime=0.02
/proc/5313/task/5318/stat : 5318 (satake) R 5311 5313 27791 0 -1 4202560 177 0 0 0 0 2 0 0 20 0 17 0 638940505 17260544 2061 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=5313/tid=5319] ppid=5311 vsize=16856 CPUtime=0
/proc/5313/task/5319/stat : 5319 (satake) R 5311 5313 27791 0 -1 4202560 89 0 0 0 0 0 0 0 20 0 17 0 638940505 17260544 2078 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5313/tid=5320] ppid=5311 vsize=16856 CPUtime=0.02
/proc/5313/task/5320/stat : 5320 (satake) R 5311 5313 27791 0 -1 4202560 155 0 0 0 0 2 0 0 20 0 17 0 638940505 17260544 2088 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=5313/tid=5321] ppid=5311 vsize=16856 CPUtime=0.02
/proc/5313/task/5321/stat : 5321 (satake) D 5311 5313 27791 0 -1 4202560 137 0 0 0 2 0 0 0 20 0 17 0 638940505 17260544 2106 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=5313/tid=5322] ppid=5311 vsize=16856 CPUtime=0.02
/proc/5313/task/5322/stat : 5322 (satake) D 5311 5313 27791 0 -1 4202560 120 0 0 0 0 2 0 0 20 0 17 0 638940505 17260544 2106 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5313/tid=5323] ppid=5311 vsize=16856 CPUtime=0
/proc/5313/task/5323/stat : 5323 (satake) D 5311 5313 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 17 0 638940505 17260544 2106 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5313/tid=5324] ppid=5311 vsize=16856 CPUtime=0.02
/proc/5313/task/5324/stat : 5324 (satake) D 5311 5313 27791 0 -1 4202560 135 0 0 0 0 2 0 0 20 0 17 0 638940505 17260544 2106 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5313/tid=5325] ppid=5311 vsize=17368 CPUtime=0.02
/proc/5313/task/5325/stat : 5325 (satake) R 5311 5313 27791 0 -1 4202560 146 0 0 0 2 0 0 0 20 0 17 0 638940505 17784832 2106 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5313/tid=5326] ppid=5311 vsize=17368 CPUtime=0.02
/proc/5313/task/5326/stat : 5326 (satake) R 5311 5313 27791 0 -1 4202560 124 0 0 0 0 2 0 0 20 0 17 0 638940505 17784832 2111 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5313/tid=5327] ppid=5311 vsize=17368 CPUtime=0.02
/proc/5313/task/5327/stat : 5327 (satake) R 5311 5313 27791 0 -1 4202560 167 0 0 0 0 2 0 0 20 0 17 0 638940505 17784832 2112 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5313/tid=5328] ppid=5311 vsize=17368 CPUtime=0
/proc/5313/task/5328/stat : 5328 (satake) D 5311 5313 27791 0 -1 4202560 135 0 0 0 0 0 0 0 20 0 17 0 638940505 17784832 2113 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 16856

[startup+0.104417 s]
/proc/loadavg: 5.07 5.69 6.22 2/184 5313
/proc/meminfo: memFree=19139100/36427776 swapFree=3732/8396
[pid=5313] ppid=5311 vsize=32528 CPUtime=0.84
/proc/5313/stat : 5313 (satake) S 5311 5313 27791 0 -1 4202496 5359 0 0 0 7 77 0 0 20 0 17 0 638940504 33308672 5314 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5313/statm: 8132 5314 63 164 0 7967 0
[pid=5313/tid=5314] ppid=5311 vsize=32528 CPUtime=0
/proc/5313/task/5314/stat : 5314 (satake) S 5311 5313 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 638940505 33308672 5314 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=5313/tid=5315] ppid=5311 vsize=32528 CPUtime=0.04
/proc/5313/task/5315/stat : 5315 (satake) R 5311 5313 27791 0 -1 4202560 418 0 0 0 0 4 0 0 20 0 17 0 638940505 33308672 5314 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5313/tid=5316] ppid=5311 vsize=32528 CPUtime=0.04
/proc/5313/task/5316/stat : 5316 (satake) D 5311 5313 27791 0 -1 4202560 360 0 0 0 0 4 0 0 20 0 17 0 638940505 33308672 5314 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5313/tid=5317] ppid=5311 vsize=32528 CPUtime=0.06
/proc/5313/task/5317/stat : 5317 (satake) D 5311 5313 27791 0 -1 4202560 382 0 0 0 0 6 0 0 20 0 17 0 638940505 33308672 5314 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5313/tid=5318] ppid=5311 vsize=32528 CPUtime=0.06
/proc/5313/task/5318/stat : 5318 (satake) D 5311 5313 27791 0 -1 4202560 396 0 0 0 0 6 0 0 20 0 17 0 638940505 33308672 5314 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=5313/tid=5319] ppid=5311 vsize=32528 CPUtime=0.04
/proc/5313/task/5319/stat : 5319 (satake) D 5311 5313 27791 0 -1 4202560 261 0 0 0 0 4 0 0 20 0 17 0 638940505 33308672 5314 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5313/tid=5320] ppid=5311 vsize=32528 CPUtime=0.06
/proc/5313/task/5320/stat : 5320 (satake) D 5311 5313 27791 0 -1 4202560 401 0 0 0 0 6 0 0 20 0 17 0 638940505 33308672 5314 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=5313/tid=5321] ppid=5311 vsize=32528 CPUtime=0.06
/proc/5313/task/5321/stat : 5321 (satake) D 5311 5313 27791 0 -1 4202560 374 0 0 0 2 4 0 0 20 0 17 0 638940505 33308672 5314 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=5313/tid=5322] ppid=5311 vsize=32528 CPUtime=0.06
/proc/5313/task/5322/stat : 5322 (satake) D 5311 5313 27791 0 -1 4202560 402 0 0 0 0 6 0 0 20 0 17 0 638940505 33308672 5314 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5313/tid=5323] ppid=5311 vsize=32528 CPUtime=0.02
/proc/5313/task/5323/stat : 5323 (satake) D 5311 5313 27791 0 -1 4202560 161 0 0 0 0 2 0 0 20 0 17 0 638940505 33308672 5314 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5313/tid=5324] ppid=5311 vsize=32528 CPUtime=0.06
/proc/5313/task/5324/stat : 5324 (satake) D 5311 5313 27791 0 -1 4202560 373 0 0 0 0 6 0 0 20 0 17 0 638940505 33308672 5314 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5313/tid=5325] ppid=5311 vsize=32528 CPUtime=0.06
/proc/5313/task/5325/stat : 5325 (satake) D 5311 5313 27791 0 -1 4202560 403 0 0 0 2 4 0 0 20 0 17 0 638940505 33308672 5314 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134522361 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5313/tid=5326] ppid=5311 vsize=32528 CPUtime=0.06
/proc/5313/task/5326/stat : 5326 (satake) D 5311 5313 27791 0 -1 4202560 365 0 0 0 0 6 0 0 20 0 17 0 638940505 33308672 5314 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5313/tid=5327] ppid=5311 vsize=32528 CPUtime=0.06
/proc/5313/task/5327/stat : 5327 (satake) D 5311 5313 27791 0 -1 4202560 411 0 0 0 0 6 0 0 20 0 17 0 638940505 33308672 5314 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5313/tid=5328] ppid=5311 vsize=32528 CPUtime=0.02
/proc/5313/task/5328/stat : 5328 (satake) D 5311 5313 27791 0 -1 4202560 222 0 0 0 0 2 0 0 20 0 17 0 638940505 33308672 5314 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 32528

[startup+0.305115 s]
/proc/loadavg: 5.07 5.69 6.22 2/184 5313
/proc/meminfo: memFree=19139100/36427776 swapFree=3732/8396
[pid=5313] ppid=5311 vsize=61044 CPUtime=2.09
/proc/5313/stat : 5313 (satake) S 5311 5313 27791 0 -1 4202496 9853 0 0 0 7 202 0 0 20 0 17 0 638940504 62509056 9809 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5313/statm: 15261 9814 63 164 0 15096 0
[pid=5313/tid=5314] ppid=5311 vsize=61044 CPUtime=0
/proc/5313/task/5314/stat : 5314 (satake) S 5311 5313 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 638940505 62509056 9815 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=5313/tid=5315] ppid=5311 vsize=61044 CPUtime=0.16
/proc/5313/task/5315/stat : 5315 (satake) R 5311 5313 27791 0 -1 4202560 780 0 0 0 0 16 0 0 20 0 17 0 638940505 62509056 9816 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5313/tid=5316] ppid=5311 vsize=61044 CPUtime=0.1
/proc/5313/task/5316/stat : 5316 (satake) R 5311 5313 27791 0 -1 4202560 580 0 0 0 0 10 0 0 20 0 17 0 638940505 62509056 9818 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5313/tid=5317] ppid=5311 vsize=61044 CPUtime=0.14
/proc/5313/task/5317/stat : 5317 (satake) R 5311 5313 27791 0 -1 4202560 650 0 0 0 0 14 0 0 20 0 17 0 638940505 62509056 9819 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5313/tid=5318] ppid=5311 vsize=61044 CPUtime=0.16
/proc/5313/task/5318/stat : 5318 (satake) R 5311 5313 27791 0 -1 4202560 757 0 0 0 0 16 0 0 20 0 17 0 638940505 62509056 9819 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134522268 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=5313/tid=5319] ppid=5311 vsize=61044 CPUtime=0.08
/proc/5313/task/5319/stat : 5319 (satake) R 5311 5313 27791 0 -1 4202560 502 0 0 0 0 8 0 0 20 0 17 0 638940505 62509056 9819 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5313/tid=5320] ppid=5311 vsize=61044 CPUtime=0.16
/proc/5313/task/5320/stat : 5320 (satake) R 5311 5313 27791 0 -1 4202560 746 0 0 0 0 16 0 0 20 0 17 0 638940505 62509056 9819 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=5313/tid=5321] ppid=5311 vsize=61044 CPUtime=0.16
/proc/5313/task/5321/stat : 5321 (satake) R 5311 5313 27791 0 -1 4202560 632 0 0 0 2 14 0 0 20 0 17 0 638940505 62509056 9819 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=5313/tid=5322] ppid=5311 vsize=61044 CPUtime=0.14
/proc/5313/task/5322/stat : 5322 (satake) R 5311 5313 27791 0 -1 4202560 685 0 0 0 0 14 0 0 20 0 17 0 638940505 62509056 9819 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5313/tid=5323] ppid=5311 vsize=61044 CPUtime=0.08
/proc/5313/task/5323/stat : 5323 (satake) R 5311 5313 27791 0 -1 4202560 508 0 0 0 0 8 0 0 20 0 17 0 638940505 62509056 9822 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5313/tid=5324] ppid=5311 vsize=61044 CPUtime=0.16
/proc/5313/task/5324/stat : 5324 (satake) R 5311 5313 27791 0 -1 4202560 708 0 0 0 0 16 0 0 20 0 17 0 638940505 62509056 9822 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5313/tid=5325] ppid=5311 vsize=61044 CPUtime=0.16
/proc/5313/task/5325/stat : 5325 (satake) R 5311 5313 27791 0 -1 4202560 794 0 0 0 2 14 0 0 20 0 17 0 638940505 62509056 9823 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5313/tid=5326] ppid=5311 vsize=61044 CPUtime=0.14
/proc/5313/task/5326/stat : 5326 (satake) R 5311 5313 27791 0 -1 4202560 561 0 0 0 0 14 0 0 20 0 17 0 638940505 62509056 9827 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134522268 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5313/tid=5327] ppid=5311 vsize=61044 CPUtime=0.16
/proc/5313/task/5327/stat : 5327 (satake) S 5311 5313 27791 0 -1 4202560 761 0 0 0 0 16 0 0 20 0 17 0 638940505 62509056 9827 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=5313/tid=5328] ppid=5311 vsize=61044 CPUtime=0.08
/proc/5313/task/5328/stat : 5328 (satake) R 5311 5313 27791 0 -1 4202560 505 0 0 0 0 8 0 0 20 0 17 0 638940505 62509056 9829 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 61044

[startup+0.704601 s]
/proc/loadavg: 5.07 5.69 6.22 2/184 5313
/proc/meminfo: memFree=19139100/36427776 swapFree=3732/8396
[pid=5313] ppid=5311 vsize=86372 CPUtime=4.57
/proc/5313/stat : 5313 (satake) S 5311 5313 27791 0 -1 4202496 18018 0 0 0 7 450 0 0 20 0 17 0 638940504 88444928 17973 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5313/statm: 21593 17973 63 164 0 21428 0
[pid=5313/tid=5314] ppid=5311 vsize=86372 CPUtime=0
/proc/5313/task/5314/stat : 5314 (satake) S 5311 5313 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 638940505 88444928 17973 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=5313/tid=5315] ppid=5311 vsize=86372 CPUtime=0.32
/proc/5313/task/5315/stat : 5315 (satake) R 5311 5313 27791 0 -1 4202560 1330 0 0 0 0 32 0 0 20 0 17 0 638940505 88444928 17973 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5313/tid=5316] ppid=5311 vsize=86372 CPUtime=0.24
/proc/5313/task/5316/stat : 5316 (satake) D 5311 5313 27791 0 -1 4202560 1111 0 0 0 0 24 0 0 20 0 17 0 638940505 88444928 17973 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134522704 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5313/tid=5317] ppid=5311 vsize=86372 CPUtime=0.34
/proc/5313/task/5317/stat : 5317 (satake) D 5311 5313 27791 0 -1 4202560 1246 0 0 0 0 34 0 0 20 0 17 0 638940505 88444928 17973 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5313/tid=5318] ppid=5311 vsize=86372 CPUtime=0.36
/proc/5313/task/5318/stat : 5318 (satake) D 5311 5313 27791 0 -1 4202560 1357 0 0 0 0 36 0 0 20 0 17 0 638940505 88444928 17973 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=5313/tid=5319] ppid=5311 vsize=86372 CPUtime=0.2
/proc/5313/task/5319/stat : 5319 (satake) D 5311 5313 27791 0 -1 4202560 1023 0 0 0 0 20 0 0 20 0 17 0 638940505 88444928 17973 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5313/tid=5320] ppid=5311 vsize=86372 CPUtime=0.34
/proc/5313/task/5320/stat : 5320 (satake) D 5311 5313 27791 0 -1 4202560 1266 0 0 0 0 34 0 0 20 0 17 0 638940505 88444928 17973 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134522288 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=5313/tid=5321] ppid=5311 vsize=86372 CPUtime=0.32
/proc/5313/task/5321/stat : 5321 (satake) D 5311 5313 27791 0 -1 4202560 1169 0 0 0 2 30 0 0 20 0 17 0 638940505 88444928 17973 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=5313/tid=5322] ppid=5311 vsize=86372 CPUtime=0.3
/proc/5313/task/5322/stat : 5322 (satake) D 5311 5313 27791 0 -1 4202560 1245 0 0 0 0 30 0 0 20 0 17 0 638940505 88444928 17973 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5313/tid=5323] ppid=5311 vsize=86372 CPUtime=0.2
/proc/5313/task/5323/stat : 5323 (satake) D 5311 5313 27791 0 -1 4202560 1027 0 0 0 0 20 0 0 20 0 17 0 638940505 88444928 17973 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134522704 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5313/tid=5324] ppid=5311 vsize=86372 CPUtime=0.36
/proc/5313/task/5324/stat : 5324 (satake) D 5311 5313 27791 0 -1 4202560 1255 0 0 0 0 36 0 0 20 0 17 0 638940505 88444928 17973 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5313/tid=5325] ppid=5311 vsize=86372 CPUtime=0.34
/proc/5313/task/5325/stat : 5325 (satake) D 5311 5313 27791 0 -1 4202560 1338 0 0 0 2 32 0 0 20 0 17 0 638940505 88444928 17973 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5313/tid=5326] ppid=5311 vsize=86372 CPUtime=0.32
/proc/5313/task/5326/stat : 5326 (satake) D 5311 5313 27791 0 -1 4202560 1136 0 0 0 0 32 0 0 20 0 17 0 638940505 88444928 17973 18446744073709551615 134512640 135180984 4289345936 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5313/tid=5327] ppid=5311 vsize=86372 CPUtime=0.32

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

deleting IPC queue 1244069966
deleting IPC queue 1244102735
deleting IPC queue 1244135504
deleting IPC queue 1244168273
deleting IPC queue 1244201042
deleting IPC queue 1244233811
deleting IPC queue 1244266580
deleting IPC queue 1244299349
deleting IPC queue 1244332118
deleting IPC queue 1244364887
deleting IPC queue 1244397656
deleting IPC queue 1244430425
deleting IPC queue 1244463194
deleting IPC queue 1244495963
deleting IPC queue 1244528732
deleting IPC queue 1244561501
deleting IPC queue 1244594270
deleting IPC queue 1244627039
deleting IPC queue 1244659808
deleting IPC queue 1244692577
deleting IPC queue 1244725346
deleting IPC queue 1244758115
deleting IPC queue 1244790884
deleting IPC queue 1244823653
deleting IPC queue 1244856422
deleting IPC queue 1244889191
deleting IPC queue 1244921960
deleting IPC queue 1244954729
deleting IPC queue 1244987498
deleting IPC queue 1245020267
deleting IPC queue 1245053036
deleting IPC queue 1245085805
deleting IPC queue 1245118574
deleting IPC queue 1245151343
deleting IPC queue 1245184112
deleting IPC queue 1245216881
deleting IPC queue 1245249650
deleting IPC queue 1245282419
deleting IPC queue 1245315188
deleting IPC queue 1245347957
deleting IPC queue 1245380726
deleting IPC queue 1245413495
deleting IPC queue 1245446264
deleting IPC queue 1245479033
deleting IPC queue 1245511802
deleting IPC queue 1245544571
deleting IPC queue 1245577340
deleting IPC queue 1245610109
deleting IPC queue 1245642878
deleting IPC queue 1245675647
deleting IPC queue 1245708416
deleting IPC queue 1245741185
deleting IPC queue 1245773954
deleting IPC queue 1245806723
deleting IPC queue 1245839492
deleting IPC queue 1245872261
deleting IPC queue 1245905030
deleting IPC queue 1245937799
deleting IPC queue 1245970568
deleting IPC queue 1246003337
deleting IPC queue 1246036106
deleting IPC queue 1246068875
deleting IPC queue 1246101644
deleting IPC queue 1246134413
deleting IPC queue 1246167182
deleting IPC queue 1246199951
deleting IPC queue 1246232720
deleting IPC queue 1246265489
deleting IPC queue 1246298258
deleting IPC queue 1246331027
deleting IPC queue 1246363796
deleting IPC queue 1246396565
deleting IPC queue 1246429334
deleting IPC queue 1246462103
deleting IPC queue 1246494872
deleting IPC queue 1246527641
deleting IPC queue 1246560410
deleting IPC queue 1246593179
deleting IPC queue 1246625948
deleting IPC queue 1246658717
deleting IPC queue 1246691486
deleting IPC queue 1246724255
deleting IPC queue 1246757024
deleting IPC queue 1246789793
deleting IPC queue 1246822562
deleting IPC queue 1246855331
deleting IPC queue 1246888100
deleting IPC queue 1246920869
deleting IPC queue 1246953638
deleting IPC queue 1246986407
deleting IPC queue 1247019176
deleting IPC queue 1247051945
deleting IPC queue 1247084714
deleting IPC queue 1247117483
deleting IPC queue 1247150252
deleting IPC queue 1247183021
deleting IPC queue 1247215790
deleting IPC queue 1247248559
deleting IPC queue 1247281328
deleting IPC queue 1247314097
deleting IPC queue 1247346866
deleting IPC queue 1247379635
deleting IPC queue 1247412404
deleting IPC queue 1247445173
deleting IPC queue 1247477942
deleting IPC queue 1247510711
deleting IPC queue 1247543480
deleting IPC queue 1247576249
deleting IPC queue 1247609018
deleting IPC queue 1247641787
deleting IPC queue 1247674556
deleting IPC queue 1247707325
deleting IPC queue 1247740094
deleting IPC queue 1247772863
deleting IPC queue 1247805632
deleting IPC queue 1247838401
deleting IPC queue 1247871170
deleting IPC queue 1247903939
deleting IPC queue 1247936708
deleting IPC queue 1247969477
deleting IPC queue 1248002246
deleting IPC queue 1248035015
deleting IPC queue 1248067784
deleting IPC queue 1248100553
deleting IPC queue 1248133322
deleting IPC queue 1248166091
deleting IPC queue 1248198860
deleting IPC queue 1248231629
deleting IPC queue 1248264398
deleting IPC queue 1248297167
deleting IPC queue 1248329936
deleting IPC queue 1248362705
deleting IPC queue 1248395474
deleting IPC queue 1248428243
deleting IPC queue 1248461012
deleting IPC queue 1248493781
deleting IPC queue 1248526550
deleting IPC queue 1248559319
deleting IPC queue 1248592088
deleting IPC queue 1248624857
deleting IPC queue 1248657626
deleting IPC queue 1248690395
deleting IPC queue 1248723164
deleting IPC queue 1248755933
deleting IPC queue 1248788702
deleting IPC queue 1248821471
deleting IPC queue 1248854240
deleting IPC queue 1248887009
deleting IPC queue 1248919778
deleting IPC queue 1248952547
deleting IPC queue 1248985316
deleting IPC queue 1249018085
deleting IPC queue 1249050854
deleting IPC queue 1249083623
deleting IPC queue 1249116392
deleting IPC queue 1249149161
deleting IPC queue 1249181930
deleting IPC queue 1249214699
deleting IPC queue 1249247468
deleting IPC queue 1249280237
deleting IPC queue 1249313006
deleting IPC queue 1249345775
deleting IPC queue 1249378544
deleting IPC queue 1249411313
deleting IPC queue 1249444082
deleting IPC queue 1249476851
deleting IPC queue 1249509620
deleting IPC queue 1249542389
deleting IPC queue 1249575158
deleting IPC queue 1249607927
deleting IPC queue 1249640696
deleting IPC queue 1249673465
deleting IPC queue 1249706234
deleting IPC queue 1249739003
deleting IPC queue 1249771772
deleting IPC queue 1249804541
deleting IPC queue 1249837310
deleting IPC queue 1249870079

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3290.44
system time used= 676.162
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72799
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= 61210499
involuntary context switches= 14310912

runsolver used 4.38827 second user time and 11.5727 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 10:45:41
IDJOB=1779432
IDBENCH=70853
IDSOLVER=631
FILE ID=xenhost3-49/1779432-1244796341
PBS_JOBID=
Free space on /tmp= 7035 MiB

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

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

MD5SUM BENCH= 5d7745a7593199a47cd1accba5810ed0
RANDOM SEED= 2080831274

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:      19139100 kB
Buffers:        433820 kB
Cached:       14105924 kB
SwapCached:          0 kB
Active:        4079000 kB
Inactive:     10468552 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2004 kB
Writeback:           0 kB
AnonPages:        8396 kB
Mapped:           3068 kB
Slab:           688336 kB
SReclaimable:   661532 kB
SUnreclaim:      26804 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29732 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 11:02:23