Trace number 1779177

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) 6851.65 1000.11

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-15.cnf
MD5SUMc8a05d1e76535706c430a6b42d191d4b
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 variables69695
Number of clauses227171
Sum of the clauses size588683
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 292572
Number of clauses of size 3134470
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-1779177-1244785699/watcher-1779177-1244785699 -o /tmp/evaluation-result-1779177-1244785699/solver-1779177-1244785699 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779177-1244785699.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: 14.65 13.34 9.53 2/184 4196
/proc/meminfo: memFree=19137864/36427776 swapFree=4316/8216
[pid=4196] ppid=4194 vsize=6148 CPUtime=0
/proc/4196/stat : 4196 (satake) D 4194 4196 27791 0 -1 4202496 368 0 0 0 0 0 0 0 20 0 16 0 637876261 6295552 323 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4196/statm: 2049 324 63 164 0 1884 0
[pid=4196/tid=4197] ppid=4194 vsize=7696 CPUtime=0
/proc/4196/task/4197/stat : 4197 (satake) S 4194 4196 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637876261 7880704 452 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=4196/tid=4198] ppid=4194 vsize=7696 CPUtime=0
/proc/4196/task/4198/stat : 4198 (satake) D 4194 4196 27791 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 17 0 637876261 7880704 454 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4196/tid=4199] ppid=4194 vsize=7700 CPUtime=0
/proc/4196/task/4199/stat : 4199 (satake) D 4194 4196 27791 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 17 0 637876261 7884800 454 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4196/tid=4200] ppid=4194 vsize=7700 CPUtime=0
/proc/4196/task/4200/stat : 4200 (satake) S 4194 4196 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 637876261 7884800 456 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=4196/tid=4201] ppid=4194 vsize=7700 CPUtime=0
/proc/4196/task/4201/stat : 4201 (satake) R 4194 4196 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 17 0 637876261 7884800 460 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4196/tid=4202] ppid=4194 vsize=7700 CPUtime=0
/proc/4196/task/4202/stat : 4202 (satake) R 4194 4196 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 17 0 637876261 7884800 461 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4196/tid=4203] ppid=4194 vsize=7700 CPUtime=0
/proc/4196/task/4203/stat : 4203 (satake) R 4194 4196 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 17 0 637876261 7884800 471 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4196/tid=4204] ppid=4194 vsize=7700 CPUtime=0
/proc/4196/task/4204/stat : 4204 (satake) D 4194 4196 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 637876261 7884800 474 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4196/tid=4205] ppid=4194 vsize=7700 CPUtime=0
/proc/4196/task/4205/stat : 4205 (satake) S 4194 4196 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 637876261 7884800 476 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=4196/tid=4206] ppid=4194 vsize=7704 CPUtime=0
/proc/4196/task/4206/stat : 4206 (satake) S 4194 4196 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 637876261 7888896 477 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=4196/tid=4207] ppid=4194 vsize=7704 CPUtime=0
/proc/4196/task/4207/stat : 4207 (satake) S 4194 4196 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 637876261 7888896 480 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=4196/tid=4208] ppid=4194 vsize=7704 CPUtime=0
/proc/4196/task/4208/stat : 4208 (satake) R 4194 4196 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 17 0 637876262 7888896 482 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4196/tid=4209] ppid=4194 vsize=7704 CPUtime=0
/proc/4196/task/4209/stat : 4209 (satake) S 4194 4196 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 637876262 7888896 482 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=4196/tid=4210] ppid=4194 vsize=7704 CPUtime=0
/proc/4196/task/4210/stat : 4210 (satake) R 4194 4196 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 637876262 7888896 493 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4196/tid=4211] ppid=4194 vsize=7704 CPUtime=0
/proc/4196/task/4211/stat : 4211 (satake) R 4194 4196 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 17 0 637876262 7888896 501 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4196/tid=4212] ppid=4194 vsize=7704 CPUtime=0
/proc/4196/task/4212/stat : 4212 (satake) D 4194 4196 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 17 0 637876262 7888896 506 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.040964 s]
/proc/loadavg: 14.65 13.34 9.53 2/184 4196
/proc/meminfo: memFree=19137864/36427776 swapFree=4316/8216
[pid=4196] ppid=4194 vsize=20280 CPUtime=0.17
/proc/4196/stat : 4196 (satake) S 4194 4196 27791 0 -1 4202496 2731 0 0 0 6 11 0 0 20 0 17 0 637876261 20766720 2686 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4196/statm: 5070 2725 63 164 0 4905 0
[pid=4196/tid=4197] ppid=4194 vsize=20280 CPUtime=0
/proc/4196/task/4197/stat : 4197 (satake) S 4194 4196 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637876261 20766720 2742 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=4196/tid=4198] ppid=4194 vsize=20280 CPUtime=0
/proc/4196/task/4198/stat : 4198 (satake) D 4194 4196 27791 0 -1 4202560 275 0 0 0 0 0 0 0 20 0 17 0 637876261 20766720 2747 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4196/tid=4199] ppid=4194 vsize=20280 CPUtime=0.02
/proc/4196/task/4199/stat : 4199 (satake) D 4194 4196 27791 0 -1 4202560 277 0 0 0 0 2 0 0 20 0 17 0 637876261 20766720 2747 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4196/tid=4200] ppid=4194 vsize=20280 CPUtime=0
/proc/4196/task/4200/stat : 4200 (satake) D 4194 4196 27791 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 17 0 637876261 20766720 2747 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4196/tid=4201] ppid=4194 vsize=20280 CPUtime=0.02
/proc/4196/task/4201/stat : 4201 (satake) D 4194 4196 27791 0 -1 4202560 296 0 0 0 0 2 0 0 20 0 17 0 637876261 20766720 2747 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4196/tid=4202] ppid=4194 vsize=20280 CPUtime=0.02
/proc/4196/task/4202/stat : 4202 (satake) D 4194 4196 27791 0 -1 4202560 287 0 0 0 2 0 0 0 20 0 17 0 637876261 20766720 2747 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4196/tid=4203] ppid=4194 vsize=20280 CPUtime=0
/proc/4196/task/4203/stat : 4203 (satake) D 4194 4196 27791 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 17 0 637876261 20766720 2747 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4196/tid=4204] ppid=4194 vsize=20280 CPUtime=0
/proc/4196/task/4204/stat : 4204 (satake) D 4194 4196 27791 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 17 0 637876261 20766720 2747 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4196/tid=4205] ppid=4194 vsize=20280 CPUtime=0
/proc/4196/task/4205/stat : 4205 (satake) D 4194 4196 27791 0 -1 4202560 162 0 0 0 0 0 0 0 20 0 17 0 637876261 20766720 2747 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4196/tid=4206] ppid=4194 vsize=20280 CPUtime=0
/proc/4196/task/4206/stat : 4206 (satake) D 4194 4196 27791 0 -1 4202560 77 0 0 0 0 0 0 0 20 0 17 0 637876261 20766720 2747 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4196/tid=4207] ppid=4194 vsize=20280 CPUtime=0
/proc/4196/task/4207/stat : 4207 (satake) D 4194 4196 27791 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 17 0 637876261 20766720 2747 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4196/tid=4208] ppid=4194 vsize=21304 CPUtime=0.02
/proc/4196/task/4208/stat : 4208 (satake) D 4194 4196 27791 0 -1 4202560 240 0 0 0 0 2 0 0 20 0 17 0 637876262 21815296 2747 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4196/tid=4209] ppid=4194 vsize=21304 CPUtime=0
/proc/4196/task/4209/stat : 4209 (satake) R 4194 4196 27791 0 -1 4202560 162 0 0 0 0 0 0 0 20 0 17 0 637876262 21815296 2749 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4196/tid=4210] ppid=4194 vsize=21304 CPUtime=0
/proc/4196/task/4210/stat : 4210 (satake) D 4194 4196 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 17 0 637876262 21815296 2754 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4196/tid=4211] ppid=4194 vsize=21304 CPUtime=0
/proc/4196/task/4211/stat : 4211 (satake) D 4194 4196 27791 0 -1 4202560 145 0 0 0 0 0 0 0 20 0 17 0 637876262 21815296 2755 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4196/tid=4212] ppid=4194 vsize=21304 CPUtime=0
/proc/4196/task/4212/stat : 4212 (satake) R 4194 4196 27791 0 -1 4202560 228 0 0 0 0 0 0 0 20 0 17 0 637876262 21815296 2756 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 20280

[startup+0.105061 s]
/proc/loadavg: 14.65 13.34 9.53 2/184 4196
/proc/meminfo: memFree=19137864/36427776 swapFree=4316/8216
[pid=4196] ppid=4194 vsize=61660 CPUtime=0.67
/proc/4196/stat : 4196 (satake) S 4194 4196 27791 0 -1 4202496 11667 0 0 0 10 57 0 0 20 0 17 0 637876261 63139840 11622 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4196/statm: 15415 11623 63 164 0 15250 0
[pid=4196/tid=4197] ppid=4194 vsize=61660 CPUtime=0
/proc/4196/task/4197/stat : 4197 (satake) S 4194 4196 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637876261 63139840 11624 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=4196/tid=4198] ppid=4194 vsize=61660 CPUtime=0.04
/proc/4196/task/4198/stat : 4198 (satake) R 4194 4196 27791 0 -1 4202560 809 0 0 0 0 4 0 0 20 0 17 0 637876261 63139840 11624 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4196/tid=4199] ppid=4194 vsize=61660 CPUtime=0.06
/proc/4196/task/4199/stat : 4199 (satake) R 4194 4196 27791 0 -1 4202560 1072 0 0 0 0 6 0 0 20 0 17 0 637876261 63139840 11624 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4196/tid=4200] ppid=4194 vsize=61660 CPUtime=0.04
/proc/4196/task/4200/stat : 4200 (satake) R 4194 4196 27791 0 -1 4202560 1046 0 0 0 0 4 0 0 20 0 17 0 637876261 63139840 11624 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4196/tid=4201] ppid=4194 vsize=61660 CPUtime=0.04
/proc/4196/task/4201/stat : 4201 (satake) S 4194 4196 27791 0 -1 4202560 1051 0 0 0 0 4 0 0 20 0 17 0 637876261 63139840 11624 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=4196/tid=4202] ppid=4194 vsize=61660 CPUtime=0.06
/proc/4196/task/4202/stat : 4202 (satake) R 4194 4196 27791 0 -1 4202560 1124 0 0 0 2 4 0 0 20 0 17 0 637876261 63139840 11624 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4196/tid=4203] ppid=4194 vsize=61660 CPUtime=0.02
/proc/4196/task/4203/stat : 4203 (satake) R 4194 4196 27791 0 -1 4202560 557 0 0 0 0 2 0 0 20 0 17 0 637876261 63139840 11625 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4196/tid=4204] ppid=4194 vsize=61660 CPUtime=0.02
/proc/4196/task/4204/stat : 4204 (satake) R 4194 4196 27791 0 -1 4202560 267 0 0 0 2 0 0 0 20 0 17 0 637876261 63139840 11626 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4196/tid=4205] ppid=4194 vsize=61660 CPUtime=0.04
/proc/4196/task/4205/stat : 4205 (satake) R 4194 4196 27791 0 -1 4202560 1050 0 0 0 0 4 0 0 20 0 17 0 637876261 63139840 11627 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4196/tid=4206] ppid=4194 vsize=61660 CPUtime=0
/proc/4196/task/4206/stat : 4206 (satake) D 4194 4196 27791 0 -1 4202560 272 0 0 0 0 0 0 0 20 0 17 0 637876261 63139840 11630 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4196/tid=4207] ppid=4194 vsize=61660 CPUtime=0.06
/proc/4196/task/4207/stat : 4207 (satake) D 4194 4196 27791 0 -1 4202560 998 0 0 0 0 6 0 0 20 0 17 0 637876261 63139840 11633 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4196/tid=4208] ppid=4194 vsize=61660 CPUtime=0.04
/proc/4196/task/4208/stat : 4208 (satake) D 4194 4196 27791 0 -1 4202560 836 0 0 0 0 4 0 0 20 0 17 0 637876262 63139840 11633 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4196/tid=4209] ppid=4194 vsize=61660 CPUtime=0.06
/proc/4196/task/4209/stat : 4209 (satake) D 4194 4196 27791 0 -1 4202560 904 0 0 0 0 6 0 0 20 0 17 0 637876262 63139840 11633 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4196/tid=4210] ppid=4194 vsize=61660 CPUtime=0.02
/proc/4196/task/4210/stat : 4210 (satake) D 4194 4196 27791 0 -1 4202560 235 0 0 0 0 2 0 0 20 0 17 0 637876262 63139840 11633 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4196/tid=4211] ppid=4194 vsize=61660 CPUtime=0.02
/proc/4196/task/4211/stat : 4211 (satake) D 4194 4196 27791 0 -1 4202560 280 0 0 0 2 0 0 0 20 0 17 0 637876262 63139840 11633 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4196/tid=4212] ppid=4194 vsize=61660 CPUtime=0.06
/proc/4196/task/4212/stat : 4212 (satake) R 4194 4196 27791 0 -1 4202560 1042 0 0 0 0 6 0 0 20 0 17 0 637876262 63139840 11633 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 61660

[startup+0.304933 s]
/proc/loadavg: 14.65 13.34 9.53 2/184 4196
/proc/meminfo: memFree=19137864/36427776 swapFree=4316/8216
[pid=4196] ppid=4194 vsize=169420 CPUtime=1.76
/proc/4196/stat : 4196 (satake) S 4194 4196 27791 0 -1 4202496 18173 0 0 0 10 166 0 0 20 0 17 0 637876261 173486080 18128 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4196/statm: 42355 18128 63 164 0 42190 0
[pid=4196/tid=4197] ppid=4194 vsize=169420 CPUtime=0
/proc/4196/task/4197/stat : 4197 (satake) S 4194 4196 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637876261 173486080 18128 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=4196/tid=4198] ppid=4194 vsize=169420 CPUtime=0.1
/proc/4196/task/4198/stat : 4198 (satake) R 4194 4196 27791 0 -1 4202560 1207 0 0 0 0 10 0 0 20 0 17 0 637876261 173486080 18129 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4196/tid=4199] ppid=4194 vsize=169420 CPUtime=0.16
/proc/4196/task/4199/stat : 4199 (satake) R 4194 4196 27791 0 -1 4202560 1492 0 0 0 0 16 0 0 20 0 17 0 637876261 173486080 18130 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4196/tid=4200] ppid=4194 vsize=169420 CPUtime=0.1
/proc/4196/task/4200/stat : 4200 (satake) R 4194 4196 27791 0 -1 4202560 1395 0 0 0 0 10 0 0 20 0 17 0 637876261 173486080 18130 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134522268 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4196/tid=4201] ppid=4194 vsize=169420 CPUtime=0.12
/proc/4196/task/4201/stat : 4201 (satake) R 4194 4196 27791 0 -1 4202560 1486 0 0 0 0 12 0 0 20 0 17 0 637876261 173486080 18131 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4196/tid=4202] ppid=4194 vsize=169420 CPUtime=0.16
/proc/4196/task/4202/stat : 4202 (satake) R 4194 4196 27791 0 -1 4202560 1616 0 0 0 2 14 0 0 20 0 17 0 637876261 173486080 18131 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134522288 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4196/tid=4203] ppid=4194 vsize=169420 CPUtime=0.08
/proc/4196/task/4203/stat : 4203 (satake) R 4194 4196 27791 0 -1 4202560 1048 0 0 0 0 8 0 0 20 0 17 0 637876261 173486080 18131 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4196/tid=4204] ppid=4194 vsize=169420 CPUtime=0.06
/proc/4196/task/4204/stat : 4204 (satake) R 4194 4196 27791 0 -1 4202560 703 0 0 0 2 4 0 0 20 0 17 0 637876261 173486080 18131 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4196/tid=4205] ppid=4194 vsize=169420 CPUtime=0.1
/proc/4196/task/4205/stat : 4205 (satake) D 4194 4196 27791 0 -1 4202560 1354 0 0 0 0 10 0 0 20 0 17 0 637876261 173486080 18131 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4196/tid=4206] ppid=4194 vsize=169420 CPUtime=0.08
/proc/4196/task/4206/stat : 4206 (satake) R 4194 4196 27791 0 -1 4202560 799 0 0 0 0 8 0 0 20 0 17 0 637876261 173486080 18131 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4196/tid=4207] ppid=4194 vsize=169420 CPUtime=0.14
/proc/4196/task/4207/stat : 4207 (satake) D 4194 4196 27791 0 -1 4202560 1459 0 0 0 0 14 0 0 20 0 17 0 637876261 173486080 18136 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4196/tid=4208] ppid=4194 vsize=169420 CPUtime=0.1
/proc/4196/task/4208/stat : 4208 (satake) D 4194 4196 27791 0 -1 4202560 1238 0 0 0 0 10 0 0 20 0 17 0 637876262 173486080 18137 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4196/tid=4209] ppid=4194 vsize=169420 CPUtime=0.14
/proc/4196/task/4209/stat : 4209 (satake) D 4194 4196 27791 0 -1 4202560 1310 0 0 0 0 14 0 0 20 0 17 0 637876262 173486080 18140 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4196/tid=4210] ppid=4194 vsize=169420 CPUtime=0.08
/proc/4196/task/4210/stat : 4210 (satake) D 4194 4196 27791 0 -1 4202560 746 0 0 0 0 8 0 0 20 0 17 0 637876262 173486080 18140 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4196/tid=4211] ppid=4194 vsize=169420 CPUtime=0.08
/proc/4196/task/4211/stat : 4211 (satake) D 4194 4196 27791 0 -1 4202560 794 0 0 0 2 6 0 0 20 0 17 0 637876262 173486080 18143 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4196/tid=4212] ppid=4194 vsize=169420 CPUtime=0.14
/proc/4196/task/4212/stat : 4212 (satake) D 4194 4196 27791 0 -1 4202560 1400 0 0 0 0 14 0 0 20 0 17 0 637876262 173486080 18143 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 169420

[startup+0.703278 s]
/proc/loadavg: 14.65 13.34 9.53 2/184 4196
/proc/meminfo: memFree=19137864/36427776 swapFree=4316/8216
[pid=4196] ppid=4194 vsize=234840 CPUtime=3.76
/proc/4196/stat : 4196 (satake) S 4194 4196 27791 0 -1 4202496 28178 0 0 0 10 366 0 0 20 0 17 0 637876261 240476160 28133 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4196/statm: 58710 28133 63 164 0 58545 0
[pid=4196/tid=4197] ppid=4194 vsize=234840 CPUtime=0
/proc/4196/task/4197/stat : 4197 (satake) S 4194 4196 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637876261 240476160 28133 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=4196/tid=4198] ppid=4194 vsize=234840 CPUtime=0.26
/proc/4196/task/4198/stat : 4198 (satake) D 4194 4196 27791 0 -1 4202560 1894 0 0 0 0 26 0 0 20 0 17 0 637876261 240476160 28133 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134522288 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4196/tid=4199] ppid=4194 vsize=234840 CPUtime=0.32
/proc/4196/task/4199/stat : 4199 (satake) D 4194 4196 27791 0 -1 4202560 2167 0 0 0 0 32 0 0 20 0 17 0 637876261 240476160 28133 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4196/tid=4200] ppid=4194 vsize=234840 CPUtime=0.22
/proc/4196/task/4200/stat : 4200 (satake) D 4194 4196 27791 0 -1 4202560 2048 0 0 0 0 22 0 0 20 0 17 0 637876261 240476160 28133 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4196/tid=4201] ppid=4194 vsize=234840 CPUtime=0.22
/proc/4196/task/4201/stat : 4201 (satake) D 4194 4196 27791 0 -1 4202560 2105 0 0 0 0 22 0 0 20 0 17 0 637876261 240476160 28133 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4196/tid=4202] ppid=4194 vsize=234840 CPUtime=0.32
/proc/4196/task/4202/stat : 4202 (satake) D 4194 4196 27791 0 -1 4202560 2276 0 0 0 2 30 0 0 20 0 17 0 637876261 240476160 28133 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4196/tid=4203] ppid=4194 vsize=234840 CPUtime=0.22
/proc/4196/task/4203/stat : 4203 (satake) R 4194 4196 27791 0 -1 4202560 1656 0 0 0 0 22 0 0 20 0 17 0 637876261 240476160 28133 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4196/tid=4204] ppid=4194 vsize=234840 CPUtime=0.18
/proc/4196/task/4204/stat : 4204 (satake) D 4194 4196 27791 0 -1 4202560 1396 0 0 0 2 16 0 0 20 0 17 0 637876261 240476160 28133 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4196/tid=4205] ppid=4194 vsize=234840 CPUtime=0.2
/proc/4196/task/4205/stat : 4205 (satake) D 4194 4196 27791 0 -1 4202560 2027 0 0 0 0 20 0 0 20 0 17 0 637876261 240476160 28133 18446744073709551615 134512640 135180984 4292414576 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4196/tid=4206] ppid=4194 vsize=234840 CPUtime=0.18

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

deleting IPC queue 1101463630
deleting IPC queue 1101496399
deleting IPC queue 1101529168
deleting IPC queue 1101561937
deleting IPC queue 1101594706
deleting IPC queue 1101627475
deleting IPC queue 1101660244
deleting IPC queue 1101693013
deleting IPC queue 1101725782
deleting IPC queue 1101758551
deleting IPC queue 1101791320
deleting IPC queue 1101824089
deleting IPC queue 1101856858
deleting IPC queue 1101889627
deleting IPC queue 1101922396
deleting IPC queue 1101955165
deleting IPC queue 1101987934
deleting IPC queue 1102020703
deleting IPC queue 1102053472
deleting IPC queue 1102086241
deleting IPC queue 1102119010
deleting IPC queue 1102151779
deleting IPC queue 1102184548
deleting IPC queue 1102217317
deleting IPC queue 1102250086
deleting IPC queue 1102282855
deleting IPC queue 1102315624
deleting IPC queue 1102348393
deleting IPC queue 1102381162
deleting IPC queue 1102413931
deleting IPC queue 1102446700
deleting IPC queue 1102479469
deleting IPC queue 1102512238
deleting IPC queue 1102545007
deleting IPC queue 1102577776
deleting IPC queue 1102610545
deleting IPC queue 1102643314
deleting IPC queue 1102676083
deleting IPC queue 1102708852
deleting IPC queue 1102741621
deleting IPC queue 1102774390
deleting IPC queue 1102807159
deleting IPC queue 1102839928
deleting IPC queue 1102872697
deleting IPC queue 1102905466
deleting IPC queue 1102938235
deleting IPC queue 1102971004
deleting IPC queue 1103003773
deleting IPC queue 1103036542
deleting IPC queue 1103069311
deleting IPC queue 1103102080
deleting IPC queue 1103134849
deleting IPC queue 1103167618
deleting IPC queue 1103200387
deleting IPC queue 1103233156
deleting IPC queue 1103265925
deleting IPC queue 1103298694
deleting IPC queue 1103331463
deleting IPC queue 1103364232
deleting IPC queue 1103397001
deleting IPC queue 1103429770
deleting IPC queue 1103462539
deleting IPC queue 1103495308
deleting IPC queue 1103528077
deleting IPC queue 1103560846
deleting IPC queue 1103593615
deleting IPC queue 1103626384
deleting IPC queue 1103659153
deleting IPC queue 1103691922
deleting IPC queue 1103724691
deleting IPC queue 1103757460
deleting IPC queue 1103790229
deleting IPC queue 1103822998
deleting IPC queue 1103855767
deleting IPC queue 1103888536
deleting IPC queue 1103921305
deleting IPC queue 1103954074
deleting IPC queue 1103986843
deleting IPC queue 1104019612
deleting IPC queue 1104052381
deleting IPC queue 1104085150
deleting IPC queue 1104117919
deleting IPC queue 1104150688
deleting IPC queue 1104183457
deleting IPC queue 1104216226
deleting IPC queue 1104248995
deleting IPC queue 1104281764
deleting IPC queue 1104314533
deleting IPC queue 1104347302
deleting IPC queue 1104380071
deleting IPC queue 1104412840
deleting IPC queue 1104445609
deleting IPC queue 1104478378
deleting IPC queue 1104511147
deleting IPC queue 1104543916
deleting IPC queue 1104576685
deleting IPC queue 1104609454
deleting IPC queue 1104642223
deleting IPC queue 1104674992
deleting IPC queue 1104707761
deleting IPC queue 1104740530
deleting IPC queue 1104773299
deleting IPC queue 1104806068
deleting IPC queue 1104838837
deleting IPC queue 1104871606
deleting IPC queue 1104904375
deleting IPC queue 1104937144
deleting IPC queue 1104969913
deleting IPC queue 1105002682
deleting IPC queue 1105035451
deleting IPC queue 1105068220
deleting IPC queue 1105100989
deleting IPC queue 1105133758
deleting IPC queue 1105166527
deleting IPC queue 1105199296
deleting IPC queue 1105232065
deleting IPC queue 1105264834
deleting IPC queue 1105297603
deleting IPC queue 1105330372
deleting IPC queue 1105363141
deleting IPC queue 1105395910
deleting IPC queue 1105428679
deleting IPC queue 1105461448
deleting IPC queue 1105494217
deleting IPC queue 1105526986
deleting IPC queue 1105559755
deleting IPC queue 1105592524
deleting IPC queue 1105625293
deleting IPC queue 1105658062
deleting IPC queue 1105690831
deleting IPC queue 1105723600
deleting IPC queue 1105756369
deleting IPC queue 1105789138
deleting IPC queue 1105821907
deleting IPC queue 1105854676
deleting IPC queue 1105887445
deleting IPC queue 1105920214
deleting IPC queue 1105952983
deleting IPC queue 1105985752
deleting IPC queue 1106018521
deleting IPC queue 1106051290
deleting IPC queue 1106084059
deleting IPC queue 1106116828
deleting IPC queue 1106149597
deleting IPC queue 1106182366
deleting IPC queue 1106215135
deleting IPC queue 1106247904
deleting IPC queue 1106280673
deleting IPC queue 1106313442
deleting IPC queue 1106346211
deleting IPC queue 1106378980
deleting IPC queue 1106411749
deleting IPC queue 1106444518
deleting IPC queue 1106477287
deleting IPC queue 1106510056
deleting IPC queue 1106542825
deleting IPC queue 1106575594
deleting IPC queue 1106608363
deleting IPC queue 1106641132
deleting IPC queue 1106673901
deleting IPC queue 1106706670
deleting IPC queue 1106739439
deleting IPC queue 1106772208
deleting IPC queue 1106804977
deleting IPC queue 1106837746
deleting IPC queue 1106870515
deleting IPC queue 1106903284
deleting IPC queue 1106936053
deleting IPC queue 1106968822
deleting IPC queue 1107001591
deleting IPC queue 1107034360
deleting IPC queue 1107067129
deleting IPC queue 1107099898
deleting IPC queue 1107132667
deleting IPC queue 1107165436
deleting IPC queue 1107198205
deleting IPC queue 1107230974
deleting IPC queue 1107263743

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6309.69
system time used= 541.958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222210
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= 52741223
involuntary context switches= 8880505

runsolver used 4.37227 second user time and 12.6288 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 07:48:19
IDJOB=1779177
IDBENCH=70819
IDSOLVER=631
FILE ID=xenhost3-49/1779177-1244785699
PBS_JOBID=
Free space on /tmp= 7033 MiB

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

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

MD5SUM BENCH= c8a05d1e76535706c430a6b42d191d4b
RANDOM SEED= 1736238955

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:      19138308 kB
Buffers:        433768 kB
Cached:       14107496 kB
SwapCached:          0 kB
Active:        4078976 kB
Inactive:     10470544 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            4676 kB
Writeback:           0 kB
AnonPages:        7552 kB
Mapped:           3652 kB
Slab:           688252 kB
SReclaimable:   661452 kB
SUnreclaim:      26800 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29372 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 08:05:01