Trace number 1779192

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

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-16.cnf
MD5SUM3cb14750de2495357cf28b8ab826b9e3
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 variables70139
Number of clauses228634
Sum of the clauses size592458
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 293186
Number of clauses of size 3135319
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-1779192-1244786701/watcher-1779192-1244786701 -o /tmp/evaluation-result-1779192-1244786701/solver-1779192-1244786701 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779192-1244786701.cnf 16 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 8.81 9.13 8.82 2/184 4271
/proc/meminfo: memFree=19136856/36427776 swapFree=3652/9004
[pid=4271] ppid=4269 vsize=6112 CPUtime=0
/proc/4271/stat : 4271 (satake) D 4269 4271 27791 0 -1 4202496 414 0 0 0 0 0 0 0 20 0 15 0 637976495 6258688 368 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/4271/statm: 1561 368 63 164 0 1396 0
[pid=4271/tid=4272] ppid=4269 vsize=7472 CPUtime=0
/proc/4271/task/4272/stat : 4272 (satake) S 4269 4271 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 16 0 637976495 7651328 458 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=4271/tid=4273] ppid=4269 vsize=7472 CPUtime=0
/proc/4271/task/4273/stat : 4273 (satake) R 4269 4271 27791 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 16 0 637976495 7651328 459 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4271/tid=4274] ppid=4269 vsize=7472 CPUtime=0
/proc/4271/task/4274/stat : 4274 (satake) S 4269 4271 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 16 0 637976495 7651328 460 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=4271/tid=4275] ppid=4269 vsize=7472 CPUtime=0
/proc/4271/task/4275/stat : 4275 (satake) R 4269 4271 27791 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 16 0 637976495 7651328 460 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4271/tid=4276] ppid=4269 vsize=7472 CPUtime=0
/proc/4271/task/4276/stat : 4276 (satake) S 4269 4271 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 16 0 637976495 7651328 460 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=4271/tid=4277] ppid=4269 vsize=7472 CPUtime=0
/proc/4271/task/4277/stat : 4277 (satake) D 4269 4271 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 16 0 637976495 7651328 463 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4271/tid=4278] ppid=4269 vsize=7472 CPUtime=0
/proc/4271/task/4278/stat : 4278 (satake) D 4269 4271 27791 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 16 0 637976495 7651328 463 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4271/tid=4279] ppid=4269 vsize=7472 CPUtime=0
/proc/4271/task/4279/stat : 4279 (satake) D 4269 4271 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 16 0 637976495 7651328 467 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4271/tid=4280] ppid=4269 vsize=7472 CPUtime=0
/proc/4271/task/4280/stat : 4280 (satake) R 4269 4271 27791 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 16 0 637976495 7651328 469 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4271/tid=4281] ppid=4269 vsize=7472 CPUtime=0
/proc/4271/task/4281/stat : 4281 (satake) S 4269 4271 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 637976495 7651328 469 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=4271/tid=4282] ppid=4269 vsize=7472 CPUtime=0
/proc/4271/task/4282/stat : 4282 (satake) R 4269 4271 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 17 0 637976495 7651328 469 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4271/tid=4283] ppid=4269 vsize=7472 CPUtime=0
/proc/4271/task/4283/stat : 4283 (satake) R 4269 4271 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 17 0 637976495 7651328 469 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4271/tid=4284] ppid=4269 vsize=7472 CPUtime=0
/proc/4271/task/4284/stat : 4284 (satake) S 4269 4271 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 17 0 637976495 7651328 477 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=4271/tid=4285] ppid=4269 vsize=7472 CPUtime=0
/proc/4271/task/4285/stat : 4285 (satake) D 4269 4271 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 17 0 637976495 7651328 489 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4271/tid=4286] ppid=4269 vsize=7472 CPUtime=0
/proc/4271/task/4286/stat : 4286 (satake) D 4269 4271 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 637976495 7651328 489 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4271/tid=4287] ppid=4269 vsize=7600 CPUtime=0
/proc/4271/task/4287/stat : 4287 (satake) D 4269 4271 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 637976496 7782400 491 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.077467 s]
/proc/loadavg: 8.81 9.13 8.82 2/184 4271
/proc/meminfo: memFree=19136856/36427776 swapFree=3652/9004
[pid=4271] ppid=4269 vsize=48664 CPUtime=0.41
/proc/4271/stat : 4271 (satake) S 4269 4271 27791 0 -1 4202496 9480 0 0 0 1 40 0 0 20 0 17 0 637976495 49831936 9418 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/4271/statm: 12166 9418 63 164 0 12001 0
[pid=4271/tid=4272] ppid=4269 vsize=48664 CPUtime=0
/proc/4271/task/4272/stat : 4272 (satake) S 4269 4271 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637976495 49831936 9418 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=4271/tid=4273] ppid=4269 vsize=48664 CPUtime=0.04
/proc/4271/task/4273/stat : 4273 (satake) D 4269 4271 27791 0 -1 4202560 1036 0 0 0 0 4 0 0 20 0 17 0 637976495 49831936 9418 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4271/tid=4274] ppid=4269 vsize=48664 CPUtime=0
/proc/4271/task/4274/stat : 4274 (satake) D 4269 4271 27791 0 -1 4202560 90 0 0 0 0 0 0 0 20 0 17 0 637976495 49831936 9418 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4271/tid=4275] ppid=4269 vsize=48664 CPUtime=0.04
/proc/4271/task/4275/stat : 4275 (satake) D 4269 4271 27791 0 -1 4202560 933 0 0 0 0 4 0 0 20 0 17 0 637976495 49831936 9418 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4271/tid=4276] ppid=4269 vsize=48664 CPUtime=0.02
/proc/4271/task/4276/stat : 4276 (satake) D 4269 4271 27791 0 -1 4202560 741 0 0 0 0 2 0 0 20 0 17 0 637976495 49831936 9418 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4271/tid=4277] ppid=4269 vsize=48664 CPUtime=0.04
/proc/4271/task/4277/stat : 4277 (satake) R 4269 4271 27791 0 -1 4202560 1043 0 0 0 0 4 0 0 20 0 17 0 637976495 49831936 9418 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4271/tid=4278] ppid=4269 vsize=48664 CPUtime=0.02
/proc/4271/task/4278/stat : 4278 (satake) D 4269 4271 27791 0 -1 4202560 212 0 0 0 0 2 0 0 20 0 17 0 637976495 49831936 9418 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4271/tid=4279] ppid=4269 vsize=48664 CPUtime=0
/proc/4271/task/4279/stat : 4279 (satake) D 4269 4271 27791 0 -1 4202560 305 0 0 0 0 0 0 0 20 0 17 0 637976495 49831936 9418 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4271/tid=4280] ppid=4269 vsize=48664 CPUtime=0.04
/proc/4271/task/4280/stat : 4280 (satake) D 4269 4271 27791 0 -1 4202560 938 0 0 0 0 4 0 0 20 0 17 0 637976495 49831936 9418 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4271/tid=4281] ppid=4269 vsize=48664 CPUtime=0.04
/proc/4271/task/4281/stat : 4281 (satake) D 4269 4271 27791 0 -1 4202560 802 0 0 0 0 4 0 0 20 0 17 0 637976495 49831936 9418 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4271/tid=4282] ppid=4269 vsize=52760 CPUtime=0.04
/proc/4271/task/4282/stat : 4282 (satake) D 4269 4271 27791 0 -1 4202560 1020 0 0 0 0 4 0 0 20 0 17 0 637976495 54026240 9418 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4271/tid=4283] ppid=4269 vsize=52760 CPUtime=0
/proc/4271/task/4283/stat : 4283 (satake) D 4269 4271 27791 0 -1 4202560 96 0 0 0 0 0 0 0 20 0 17 0 637976495 54026240 9420 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4271/tid=4284] ppid=4269 vsize=52760 CPUtime=0.02
/proc/4271/task/4284/stat : 4284 (satake) R 4269 4271 27791 0 -1 4202560 831 0 0 0 0 2 0 0 20 0 17 0 637976495 54026240 9424 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4271/tid=4285] ppid=4269 vsize=52760 CPUtime=0.04
/proc/4271/task/4285/stat : 4285 (satake) R 4269 4271 27791 0 -1 4202560 1032 0 0 0 0 4 0 0 20 0 17 0 637976495 54026240 9425 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4271/tid=4286] ppid=4269 vsize=52760 CPUtime=0
/proc/4271/task/4286/stat : 4286 (satake) R 4269 4271 27791 0 -1 4202560 78 0 0 0 0 0 0 0 20 0 17 0 637976495 54026240 9425 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4271/tid=4287] ppid=4269 vsize=52760 CPUtime=0
/proc/4271/task/4287/stat : 4287 (satake) R 4269 4271 27791 0 -1 4202560 193 0 0 0 0 0 0 0 20 0 17 0 637976496 54026240 9425 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 48664

[startup+0.103598 s]
/proc/loadavg: 8.81 9.13 8.82 2/184 4271
/proc/meminfo: memFree=19136856/36427776 swapFree=3652/9004
[pid=4271] ppid=4269 vsize=49544 CPUtime=0.57
/proc/4271/stat : 4271 (satake) S 4269 4271 27791 0 -1 4202496 10349 0 0 0 5 52 0 0 20 0 17 0 637976495 50733056 10287 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/4271/statm: 12514 10291 63 164 0 12349 0
[pid=4271/tid=4272] ppid=4269 vsize=50056 CPUtime=0
/proc/4271/task/4272/stat : 4272 (satake) S 4269 4271 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637976495 51257344 10292 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=4271/tid=4273] ppid=4269 vsize=50056 CPUtime=0.04
/proc/4271/task/4273/stat : 4273 (satake) R 4269 4271 27791 0 -1 4202560 1078 0 0 0 0 4 0 0 20 0 17 0 637976495 51257344 10295 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4271/tid=4274] ppid=4269 vsize=50056 CPUtime=0
/proc/4271/task/4274/stat : 4274 (satake) R 4269 4271 27791 0 -1 4202560 149 0 0 0 0 0 0 0 20 0 17 0 637976495 51257344 10298 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4271/tid=4275] ppid=4269 vsize=50056 CPUtime=0.06
/proc/4271/task/4275/stat : 4275 (satake) R 4269 4271 27791 0 -1 4202560 1014 0 0 0 0 6 0 0 20 0 17 0 637976495 51257344 10298 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4271/tid=4276] ppid=4269 vsize=50056 CPUtime=0.04
/proc/4271/task/4276/stat : 4276 (satake) R 4269 4271 27791 0 -1 4202560 791 0 0 0 0 4 0 0 20 0 17 0 637976495 51257344 10298 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4271/tid=4277] ppid=4269 vsize=50056 CPUtime=0.04
/proc/4271/task/4277/stat : 4277 (satake) R 4269 4271 27791 0 -1 4202560 1073 0 0 0 0 4 0 0 20 0 17 0 637976495 51257344 10299 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4271/tid=4278] ppid=4269 vsize=50056 CPUtime=0.02
/proc/4271/task/4278/stat : 4278 (satake) R 4269 4271 27791 0 -1 4202560 266 0 0 0 0 2 0 0 20 0 17 0 637976495 51257344 10300 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4271/tid=4279] ppid=4269 vsize=50056 CPUtime=0.02
/proc/4271/task/4279/stat : 4279 (satake) R 4269 4271 27791 0 -1 4202560 368 0 0 0 2 0 0 0 20 0 17 0 637976495 51257344 10301 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4271/tid=4280] ppid=4269 vsize=50056 CPUtime=0.06
/proc/4271/task/4280/stat : 4280 (satake) R 4269 4271 27791 0 -1 4202560 1021 0 0 0 0 6 0 0 20 0 17 0 637976495 51257344 10301 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4271/tid=4281] ppid=4269 vsize=50056 CPUtime=0.04
/proc/4271/task/4281/stat : 4281 (satake) R 4269 4271 27791 0 -1 4202560 862 0 0 0 0 4 0 0 20 0 17 0 637976495 51257344 10301 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4271/tid=4282] ppid=4269 vsize=50056 CPUtime=0.06
/proc/4271/task/4282/stat : 4282 (satake) D 4269 4271 27791 0 -1 4202560 1082 0 0 0 0 6 0 0 20 0 17 0 637976495 51257344 10302 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4271/tid=4283] ppid=4269 vsize=50056 CPUtime=0
/proc/4271/task/4283/stat : 4283 (satake) R 4269 4271 27791 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 17 0 637976495 51257344 10303 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4271/tid=4284] ppid=4269 vsize=50056 CPUtime=0.04
/proc/4271/task/4284/stat : 4284 (satake) D 4269 4271 27791 0 -1 4202560 903 0 0 0 0 4 0 0 20 0 17 0 637976495 51257344 10305 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4271/tid=4285] ppid=4269 vsize=50056 CPUtime=0.04
/proc/4271/task/4285/stat : 4285 (satake) R 4269 4271 27791 0 -1 4202560 1076 0 0 0 0 4 0 0 20 0 17 0 637976495 51257344 10305 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134522207 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4271/tid=4286] ppid=4269 vsize=50056 CPUtime=0
/proc/4271/task/4286/stat : 4286 (satake) D 4269 4271 27791 0 -1 4202560 134 0 0 0 0 0 0 0 20 0 17 0 637976495 51257344 10305 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4271/tid=4287] ppid=4269 vsize=50056 CPUtime=0.02
/proc/4271/task/4287/stat : 4287 (satake) D 4269 4271 27791 0 -1 4202560 259 0 0 0 0 2 0 0 20 0 17 0 637976496 51257344 10305 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 49544

[startup+0.30168 s]
/proc/loadavg: 8.81 9.13 8.82 2/184 4271
/proc/meminfo: memFree=19136856/36427776 swapFree=3652/9004
[pid=4271] ppid=4269 vsize=151564 CPUtime=1.57
/proc/4271/stat : 4271 (satake) S 4269 4271 27791 0 -1 4202496 17974 0 0 0 5 152 0 0 20 0 17 0 637976495 155201536 17912 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/4271/statm: 37891 17913 63 164 0 37726 0
[pid=4271/tid=4272] ppid=4269 vsize=151564 CPUtime=0
/proc/4271/task/4272/stat : 4272 (satake) S 4269 4271 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637976495 155201536 17913 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=4271/tid=4273] ppid=4269 vsize=151564 CPUtime=0.12
/proc/4271/task/4273/stat : 4273 (satake) D 4269 4271 27791 0 -1 4202560 1600 0 0 0 0 12 0 0 20 0 17 0 637976495 155201536 17916 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4271/tid=4274] ppid=4269 vsize=151564 CPUtime=0.06
/proc/4271/task/4274/stat : 4274 (satake) D 4269 4271 27791 0 -1 4202560 682 0 0 0 0 6 0 0 20 0 17 0 637976495 155201536 17916 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4271/tid=4275] ppid=4269 vsize=151564 CPUtime=0.12
/proc/4271/task/4275/stat : 4275 (satake) D 4269 4271 27791 0 -1 4202560 1379 0 0 0 0 12 0 0 20 0 17 0 637976495 155201536 17916 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4271/tid=4276] ppid=4269 vsize=151564 CPUtime=0.08
/proc/4271/task/4276/stat : 4276 (satake) R 4269 4271 27791 0 -1 4202560 1176 0 0 0 0 8 0 0 20 0 17 0 637976495 155201536 17916 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4271/tid=4277] ppid=4269 vsize=151564 CPUtime=0.12
/proc/4271/task/4277/stat : 4277 (satake) D 4269 4271 27791 0 -1 4202560 1526 0 0 0 0 12 0 0 20 0 17 0 637976495 155201536 17916 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4271/tid=4278] ppid=4269 vsize=151564 CPUtime=0.08
/proc/4271/task/4278/stat : 4278 (satake) D 4269 4271 27791 0 -1 4202560 837 0 0 0 0 8 0 0 20 0 17 0 637976495 155201536 17916 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4271/tid=4279] ppid=4269 vsize=151564 CPUtime=0.1
/proc/4271/task/4279/stat : 4279 (satake) R 4269 4271 27791 0 -1 4202560 1038 0 0 0 2 8 0 0 20 0 17 0 637976495 155201536 17916 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4271/tid=4280] ppid=4269 vsize=151564 CPUtime=0.12
/proc/4271/task/4280/stat : 4280 (satake) D 4269 4271 27791 0 -1 4202560 1453 0 0 0 0 12 0 0 20 0 17 0 637976495 155201536 17916 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4271/tid=4281] ppid=4269 vsize=151564 CPUtime=0.1
/proc/4271/task/4281/stat : 4281 (satake) D 4269 4271 27791 0 -1 4202560 1368 0 0 0 0 10 0 0 20 0 17 0 637976495 155201536 17916 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4271/tid=4282] ppid=4269 vsize=151564 CPUtime=0.14
/proc/4271/task/4282/stat : 4282 (satake) D 4269 4271 27791 0 -1 4202560 1553 0 0 0 0 14 0 0 20 0 17 0 637976495 155201536 17916 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=4271/tid=4283] ppid=4269 vsize=151564 CPUtime=0.08
/proc/4271/task/4283/stat : 4283 (satake) D 4269 4271 27791 0 -1 4202560 752 0 0 0 0 8 0 0 20 0 17 0 637976495 155201536 17916 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4271/tid=4284] ppid=4269 vsize=151564 CPUtime=0.1
/proc/4271/task/4284/stat : 4284 (satake) D 4269 4271 27791 0 -1 4202560 1335 0 0 0 0 10 0 0 20 0 17 0 637976495 155201536 17916 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4271/tid=4285] ppid=4269 vsize=151564 CPUtime=0.12
/proc/4271/task/4285/stat : 4285 (satake) D 4269 4271 27791 0 -1 4202560 1522 0 0 0 0 12 0 0 20 0 17 0 637976495 155201536 17916 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4271/tid=4286] ppid=4269 vsize=151564 CPUtime=0.08
/proc/4271/task/4286/stat : 4286 (satake) D 4269 4271 27791 0 -1 4202560 794 0 0 0 0 8 0 0 20 0 17 0 637976495 155201536 17916 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4271/tid=4287] ppid=4269 vsize=151564 CPUtime=0.06
/proc/4271/task/4287/stat : 4287 (satake) D 4269 4271 27791 0 -1 4202560 831 0 0 0 0 6 0 0 20 0 17 0 637976496 155201536 17916 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 151564

[startup+0.70401 s]
/proc/loadavg: 8.81 9.13 8.82 2/184 4271
/proc/meminfo: memFree=19136856/36427776 swapFree=3652/9004
[pid=4271] ppid=4269 vsize=237868 CPUtime=3.09
/proc/4271/stat : 4271 (satake) S 4269 4271 27791 0 -1 4202496 30009 0 0 0 5 304 0 0 20 0 17 0 637976495 243576832 29947 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/4271/statm: 59467 29947 63 164 0 59302 0
[pid=4271/tid=4272] ppid=4269 vsize=237868 CPUtime=0
/proc/4271/task/4272/stat : 4272 (satake) S 4269 4271 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637976495 243576832 29947 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=4271/tid=4273] ppid=4269 vsize=237868 CPUtime=0.22
/proc/4271/task/4273/stat : 4273 (satake) D 4269 4271 27791 0 -1 4202560 2349 0 0 0 0 22 0 0 20 0 17 0 637976495 243576832 29947 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4271/tid=4274] ppid=4269 vsize=237868 CPUtime=0.16
/proc/4271/task/4274/stat : 4274 (satake) D 4269 4271 27791 0 -1 4202560 1521 0 0 0 0 16 0 0 20 0 17 0 637976495 243576832 29947 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4271/tid=4275] ppid=4269 vsize=237868 CPUtime=0.28
/proc/4271/task/4275/stat : 4275 (satake) D 4269 4271 27791 0 -1 4202560 2226 0 0 0 0 28 0 0 20 0 17 0 637976495 243576832 29947 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4271/tid=4276] ppid=4269 vsize=237868 CPUtime=0.16
/proc/4271/task/4276/stat : 4276 (satake) D 4269 4271 27791 0 -1 4202560 1975 0 0 0 0 16 0 0 20 0 17 0 637976495 243576832 29947 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4271/tid=4277] ppid=4269 vsize=237868 CPUtime=0.2
/proc/4271/task/4277/stat : 4277 (satake) D 4269 4271 27791 0 -1 4202560 2297 0 0 0 0 20 0 0 20 0 17 0 637976495 243576832 29947 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4271/tid=4278] ppid=4269 vsize=237868 CPUtime=0.18
/proc/4271/task/4278/stat : 4278 (satake) D 4269 4271 27791 0 -1 4202560 1645 0 0 0 0 18 0 0 20 0 17 0 637976495 243576832 29947 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4271/tid=4279] ppid=4269 vsize=237868 CPUtime=0.18
/proc/4271/task/4279/stat : 4279 (satake) R 4269 4271 27791 0 -1 4202560 1782 0 0 0 2 16 0 0 20 0 17 0 637976495 243576832 29947 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4271/tid=4280] ppid=4269 vsize=237868 CPUtime=0.26
/proc/4271/task/4280/stat : 4280 (satake) D 4269 4271 27791 0 -1 4202560 2308 0 0 0 0 26 0 0 20 0 17 0 637976495 243576832 29947 18446744073709551615 134512640 135180984 4290925328 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4271/tid=4281] ppid=4269 vsize=237868 CPUtime=0.2

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

deleting IPC queue 1109852238
deleting IPC queue 1109885007
deleting IPC queue 1109917776
deleting IPC queue 1109950545
deleting IPC queue 1109983314
deleting IPC queue 1110016083
deleting IPC queue 1110048852
deleting IPC queue 1110081621
deleting IPC queue 1110114390
deleting IPC queue 1110147159
deleting IPC queue 1110179928
deleting IPC queue 1110212697
deleting IPC queue 1110245466
deleting IPC queue 1110278235
deleting IPC queue 1110311004
deleting IPC queue 1110343773
deleting IPC queue 1110376542
deleting IPC queue 1110409311
deleting IPC queue 1110442080
deleting IPC queue 1110474849
deleting IPC queue 1110507618
deleting IPC queue 1110540387
deleting IPC queue 1110573156
deleting IPC queue 1110605925
deleting IPC queue 1110638694
deleting IPC queue 1110671463
deleting IPC queue 1110704232
deleting IPC queue 1110737001
deleting IPC queue 1110769770
deleting IPC queue 1110802539
deleting IPC queue 1110835308
deleting IPC queue 1110868077
deleting IPC queue 1110900846
deleting IPC queue 1110933615
deleting IPC queue 1110966384
deleting IPC queue 1110999153
deleting IPC queue 1111031922
deleting IPC queue 1111064691
deleting IPC queue 1111097460
deleting IPC queue 1111130229
deleting IPC queue 1111162998
deleting IPC queue 1111195767
deleting IPC queue 1111228536
deleting IPC queue 1111261305
deleting IPC queue 1111294074
deleting IPC queue 1111326843
deleting IPC queue 1111359612
deleting IPC queue 1111392381
deleting IPC queue 1111425150
deleting IPC queue 1111457919
deleting IPC queue 1111490688
deleting IPC queue 1111523457
deleting IPC queue 1111556226
deleting IPC queue 1111588995
deleting IPC queue 1111621764
deleting IPC queue 1111654533
deleting IPC queue 1111687302
deleting IPC queue 1111720071
deleting IPC queue 1111752840
deleting IPC queue 1111785609
deleting IPC queue 1111818378
deleting IPC queue 1111851147
deleting IPC queue 1111883916
deleting IPC queue 1111916685
deleting IPC queue 1111949454
deleting IPC queue 1111982223
deleting IPC queue 1112014992
deleting IPC queue 1112047761
deleting IPC queue 1112080530
deleting IPC queue 1112113299
deleting IPC queue 1112146068
deleting IPC queue 1112178837
deleting IPC queue 1112211606
deleting IPC queue 1112244375
deleting IPC queue 1112277144
deleting IPC queue 1112309913
deleting IPC queue 1112342682
deleting IPC queue 1112375451
deleting IPC queue 1112408220
deleting IPC queue 1112440989
deleting IPC queue 1112473758
deleting IPC queue 1112506527
deleting IPC queue 1112539296
deleting IPC queue 1112572065
deleting IPC queue 1112604834
deleting IPC queue 1112637603
deleting IPC queue 1112670372
deleting IPC queue 1112703141
deleting IPC queue 1112735910
deleting IPC queue 1112768679
deleting IPC queue 1112801448
deleting IPC queue 1112834217
deleting IPC queue 1112866986
deleting IPC queue 1112899755
deleting IPC queue 1112932524
deleting IPC queue 1112965293
deleting IPC queue 1112998062
deleting IPC queue 1113030831
deleting IPC queue 1113063600
deleting IPC queue 1113096369
deleting IPC queue 1113129138
deleting IPC queue 1113161907
deleting IPC queue 1113194676
deleting IPC queue 1113227445
deleting IPC queue 1113260214
deleting IPC queue 1113292983
deleting IPC queue 1113325752
deleting IPC queue 1113358521
deleting IPC queue 1113391290
deleting IPC queue 1113424059
deleting IPC queue 1113456828
deleting IPC queue 1113489597
deleting IPC queue 1113522366
deleting IPC queue 1113555135
deleting IPC queue 1113587904
deleting IPC queue 1113620673
deleting IPC queue 1113653442
deleting IPC queue 1113686211
deleting IPC queue 1113718980
deleting IPC queue 1113751749
deleting IPC queue 1113784518
deleting IPC queue 1113817287
deleting IPC queue 1113850056
deleting IPC queue 1113882825
deleting IPC queue 1113915594
deleting IPC queue 1113948363
deleting IPC queue 1113981132
deleting IPC queue 1114013901
deleting IPC queue 1114046670
deleting IPC queue 1114079439
deleting IPC queue 1114112208
deleting IPC queue 1114144977
deleting IPC queue 1114177746
deleting IPC queue 1114210515
deleting IPC queue 1114243284
deleting IPC queue 1114276053
deleting IPC queue 1114308822
deleting IPC queue 1114341591
deleting IPC queue 1114374360
deleting IPC queue 1114407129
deleting IPC queue 1114439898
deleting IPC queue 1114472667
deleting IPC queue 1114505436
deleting IPC queue 1114538205
deleting IPC queue 1114570974
deleting IPC queue 1114603743
deleting IPC queue 1114636512
deleting IPC queue 1114669281
deleting IPC queue 1114702050
deleting IPC queue 1114734819
deleting IPC queue 1114767588
deleting IPC queue 1114800357
deleting IPC queue 1114833126
deleting IPC queue 1114865895
deleting IPC queue 1114898664
deleting IPC queue 1114931433
deleting IPC queue 1114964202
deleting IPC queue 1114996971
deleting IPC queue 1115029740
deleting IPC queue 1115062509
deleting IPC queue 1115095278
deleting IPC queue 1115128047
deleting IPC queue 1115160816
deleting IPC queue 1115193585
deleting IPC queue 1115226354
deleting IPC queue 1115259123
deleting IPC queue 1115291892
deleting IPC queue 1115324661
deleting IPC queue 1115357430
deleting IPC queue 1115390199
deleting IPC queue 1115422968
deleting IPC queue 1115455737
deleting IPC queue 1115488506
deleting IPC queue 1115521275
deleting IPC queue 1115554044
deleting IPC queue 1115586813
deleting IPC queue 1115619582
deleting IPC queue 1115652351

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5794.3
system time used= 545.926
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222116
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= 52835840
involuntary context switches= 18764404

runsolver used 4.28027 second user time and 12.3808 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 08:05:01
IDJOB=1779192
IDBENCH=70820
IDSOLVER=631
FILE ID=xenhost3-49/1779192-1244786701
PBS_JOBID=
Free space on /tmp= 7033 MiB

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

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

MD5SUM BENCH= 3cb14750de2495357cf28b8ab826b9e3
RANDOM SEED= 159206484

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:      19136856 kB
Buffers:        433772 kB
Cached:       14108000 kB
SwapCached:          0 kB
Active:        4078740 kB
Inactive:     10470716 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            4660 kB
Writeback:           0 kB
AnonPages:        9004 kB
Mapped:           3652 kB
Slab:           688224 kB
SReclaimable:   661444 kB
SUnreclaim:      26780 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= 7033 MiB
End job on xenhost3-49 at 2009-06-12 08:21:44