Trace number 1779582

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) 4463.06 1000.06

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-25-s100.cnf
MD5SUMc4b5df05f50ec97b624a18161f6d43b5
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 variables31931
Number of clauses96111
Sum of the clauses size226723
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261482
Number of clauses of size 334565
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-1779582-1244802919/watcher-1779582-1244802919 -o /tmp/evaluation-result-1779582-1244802919/solver-1779582-1244802919 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779582-1244802919.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: 7.93 7.97 7.64 2/184 6019
/proc/meminfo: memFree=19139880/36427776 swapFree=2692/7324
[pid=6019] ppid=6017 vsize=6048 CPUtime=0
/proc/6019/stat : 6019 (satake) R 6017 6019 27791 0 -1 4202496 411 0 0 0 0 0 0 0 20 0 16 0 639598237 6193152 366 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6019/statm: 1512 366 63 164 0 1347 0
[pid=6019/tid=6020] ppid=6017 vsize=7360 CPUtime=0
/proc/6019/task/6020/stat : 6020 (satake) S 6017 6019 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 639598237 7536640 634 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=6019/tid=6021] ppid=6017 vsize=7360 CPUtime=0
/proc/6019/task/6021/stat : 6021 (satake) R 6017 6019 27791 0 -1 4202560 89 0 0 0 0 0 0 0 20 0 17 0 639598237 7536640 644 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=6019/tid=6022] ppid=6017 vsize=7360 CPUtime=0
/proc/6019/task/6022/stat : 6022 (satake) D 6017 6019 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 639598237 7536640 647 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=6019/tid=6023] ppid=6017 vsize=7488 CPUtime=0
/proc/6019/task/6023/stat : 6023 (satake) D 6017 6019 27791 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 17 0 639598238 7667712 647 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=6019/tid=6024] ppid=6017 vsize=7488 CPUtime=0
/proc/6019/task/6024/stat : 6024 (satake) R 6017 6019 27791 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 17 0 639598238 7667712 658 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=6019/tid=6025] ppid=6017 vsize=7488 CPUtime=0
/proc/6019/task/6025/stat : 6025 (satake) S 6017 6019 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 639598238 7667712 670 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=6019/tid=6026] ppid=6017 vsize=7488 CPUtime=0
/proc/6019/task/6026/stat : 6026 (satake) S 6017 6019 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 639598238 7667712 670 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=6019/tid=6027] ppid=6017 vsize=7616 CPUtime=0
/proc/6019/task/6027/stat : 6027 (satake) R 6017 6019 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 639598238 7798784 670 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=6019/tid=6028] ppid=6017 vsize=7616 CPUtime=0
/proc/6019/task/6028/stat : 6028 (satake) S 6017 6019 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 639598238 7798784 675 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=6019/tid=6029] ppid=6017 vsize=7616 CPUtime=0
/proc/6019/task/6029/stat : 6029 (satake) S 6017 6019 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 639598238 7798784 675 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=6019/tid=6030] ppid=6017 vsize=7616 CPUtime=0
/proc/6019/task/6030/stat : 6030 (satake) S 6017 6019 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 639598238 7798784 675 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=6019/tid=6031] ppid=6017 vsize=7616 CPUtime=0
/proc/6019/task/6031/stat : 6031 (satake) S 6017 6019 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 639598238 7798784 679 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=6019/tid=6032] ppid=6017 vsize=7616 CPUtime=0
/proc/6019/task/6032/stat : 6032 (satake) R 6017 6019 27791 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 17 0 639598238 7798784 681 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=6019/tid=6033] ppid=6017 vsize=7616 CPUtime=0
/proc/6019/task/6033/stat : 6033 (satake) R 6017 6019 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 17 0 639598238 7798784 684 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=6019/tid=6034] ppid=6017 vsize=7616 CPUtime=0
/proc/6019/task/6034/stat : 6034 (satake) R 6017 6019 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 639598238 7798784 687 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=6019/tid=6035] ppid=6017 vsize=7616 CPUtime=0
/proc/6019/task/6035/stat : 6035 (satake) R 6017 6019 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 639598238 7798784 687 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0

[startup+0.072573 s]
/proc/loadavg: 7.93 7.97 7.64 2/184 6019
/proc/meminfo: memFree=19139880/36427776 swapFree=2692/7324
[pid=6019] ppid=6017 vsize=30264 CPUtime=0.3
/proc/6019/stat : 6019 (satake) S 6017 6019 27791 0 -1 4202496 4871 0 0 0 2 28 0 0 20 0 17 0 639598237 30990336 4810 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6019/statm: 7566 4811 63 164 0 7401 0
[pid=6019/tid=6020] ppid=6017 vsize=30264 CPUtime=0
/proc/6019/task/6020/stat : 6020 (satake) S 6017 6019 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 639598237 30990336 4813 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=6019/tid=6021] ppid=6017 vsize=30264 CPUtime=0.02
/proc/6019/task/6021/stat : 6021 (satake) R 6017 6019 27791 0 -1 4202560 467 0 0 0 0 2 0 0 20 0 17 0 639598237 30990336 4814 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=6019/tid=6022] ppid=6017 vsize=30264 CPUtime=0
/proc/6019/task/6022/stat : 6022 (satake) R 6017 6019 27791 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 17 0 639598237 30990336 4817 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=6019/tid=6023] ppid=6017 vsize=30264 CPUtime=0.02
/proc/6019/task/6023/stat : 6023 (satake) R 6017 6019 27791 0 -1 4202560 428 0 0 0 0 2 0 0 20 0 17 0 639598238 30990336 4820 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=6019/tid=6024] ppid=6017 vsize=30264 CPUtime=0
/proc/6019/task/6024/stat : 6024 (satake) R 6017 6019 27791 0 -1 4202560 276 0 0 0 0 0 0 0 20 0 17 0 639598238 30990336 4820 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=6019/tid=6025] ppid=6017 vsize=30264 CPUtime=0.02
/proc/6019/task/6025/stat : 6025 (satake) R 6017 6019 27791 0 -1 4202560 348 0 0 0 0 2 0 0 20 0 17 0 639598238 30990336 4820 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=6019/tid=6026] ppid=6017 vsize=30264 CPUtime=0.02
/proc/6019/task/6026/stat : 6026 (satake) R 6017 6019 27791 0 -1 4202560 356 0 0 0 0 2 0 0 20 0 17 0 639598238 30990336 4820 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=6019/tid=6027] ppid=6017 vsize=30264 CPUtime=0
/proc/6019/task/6027/stat : 6027 (satake) R 6017 6019 27791 0 -1 4202560 289 0 0 0 0 0 0 0 20 0 17 0 639598238 30990336 4820 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=6019/tid=6028] ppid=6017 vsize=30264 CPUtime=0.02
/proc/6019/task/6028/stat : 6028 (satake) R 6017 6019 27791 0 -1 4202560 394 0 0 0 0 2 0 0 20 0 17 0 639598238 30990336 4820 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=6019/tid=6029] ppid=6017 vsize=30264 CPUtime=0.02
/proc/6019/task/6029/stat : 6029 (satake) D 6017 6019 27791 0 -1 4202560 387 0 0 0 0 2 0 0 20 0 17 0 639598238 30990336 4826 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=6019/tid=6030] ppid=6017 vsize=30264 CPUtime=0.02
/proc/6019/task/6030/stat : 6030 (satake) D 6017 6019 27791 0 -1 4202560 386 0 0 0 0 2 0 0 20 0 17 0 639598238 30990336 4826 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=6019/tid=6031] ppid=6017 vsize=30264 CPUtime=0.02
/proc/6019/task/6031/stat : 6031 (satake) D 6017 6019 27791 0 -1 4202560 329 0 0 0 0 2 0 0 20 0 17 0 639598238 30990336 4828 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=6019/tid=6032] ppid=6017 vsize=30264 CPUtime=0
/proc/6019/task/6032/stat : 6032 (satake) D 6017 6019 27791 0 -1 4202560 203 0 0 0 0 0 0 0 20 0 17 0 639598238 30990336 4828 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=6019/tid=6033] ppid=6017 vsize=30264 CPUtime=0.04
/proc/6019/task/6033/stat : 6033 (satake) D 6017 6019 27791 0 -1 4202560 447 0 0 0 0 4 0 0 20 0 17 0 639598238 30990336 4831 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=6019/tid=6034] ppid=6017 vsize=30264 CPUtime=0
/proc/6019/task/6034/stat : 6034 (satake) R 6017 6019 27791 0 -1 4202560 209 0 0 0 0 0 0 0 20 0 17 0 639598238 30990336 4834 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=6019/tid=6035] ppid=6017 vsize=30264 CPUtime=0
/proc/6019/task/6035/stat : 6035 (satake) R 6017 6019 27791 0 -1 4202560 109 0 0 0 0 0 0 0 20 0 17 0 639598238 30990336 4836 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 30264

[startup+0.104552 s]
/proc/loadavg: 7.93 7.97 7.64 2/184 6019
/proc/meminfo: memFree=19139880/36427776 swapFree=2692/7324
[pid=6019] ppid=6017 vsize=36388 CPUtime=0.51
/proc/6019/stat : 6019 (satake) S 6017 6019 27791 0 -1 4202496 5899 0 0 0 7 44 0 0 20 0 17 0 639598237 37261312 5838 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6019/statm: 9097 5840 63 164 0 8932 0
[pid=6019/tid=6020] ppid=6017 vsize=36388 CPUtime=0
/proc/6019/task/6020/stat : 6020 (satake) S 6017 6019 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 639598237 37261312 5840 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=6019/tid=6021] ppid=6017 vsize=36388 CPUtime=0.04
/proc/6019/task/6021/stat : 6021 (satake) D 6017 6019 27791 0 -1 4202560 523 0 0 0 0 4 0 0 20 0 17 0 639598237 37261312 5841 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=6019/tid=6022] ppid=6017 vsize=36388 CPUtime=0.02
/proc/6019/task/6022/stat : 6022 (satake) R 6017 6019 27791 0 -1 4202560 201 0 0 0 2 0 0 0 20 0 17 0 639598237 37261312 5844 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=6019/tid=6023] ppid=6017 vsize=36388 CPUtime=0.02
/proc/6019/task/6023/stat : 6023 (satake) R 6017 6019 27791 0 -1 4202560 480 0 0 0 0 2 0 0 20 0 17 0 639598238 37261312 5847 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=6019/tid=6024] ppid=6017 vsize=36388 CPUtime=0.02
/proc/6019/task/6024/stat : 6024 (satake) R 6017 6019 27791 0 -1 4202560 356 0 0 0 0 2 0 0 20 0 17 0 639598238 37261312 5847 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=6019/tid=6025] ppid=6017 vsize=36388 CPUtime=0.04
/proc/6019/task/6025/stat : 6025 (satake) R 6017 6019 27791 0 -1 4202560 429 0 0 0 0 4 0 0 20 0 17 0 639598238 37261312 5848 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=6019/tid=6026] ppid=6017 vsize=36388 CPUtime=0.04
/proc/6019/task/6026/stat : 6026 (satake) R 6017 6019 27791 0 -1 4202560 432 0 0 0 0 4 0 0 20 0 17 0 639598238 37261312 5848 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=6019/tid=6027] ppid=6017 vsize=36388 CPUtime=0.02
/proc/6019/task/6027/stat : 6027 (satake) R 6017 6019 27791 0 -1 4202560 370 0 0 0 2 0 0 0 20 0 17 0 639598238 37261312 5849 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=6019/tid=6028] ppid=6017 vsize=36388 CPUtime=0.04
/proc/6019/task/6028/stat : 6028 (satake) S 6017 6019 27791 0 -1 4202560 449 0 0 0 0 4 0 0 20 0 17 0 639598238 37261312 5850 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=6019/tid=6029] ppid=6017 vsize=36388 CPUtime=0.04
/proc/6019/task/6029/stat : 6029 (satake) D 6017 6019 27791 0 -1 4202560 435 0 0 0 0 4 0 0 20 0 17 0 639598238 37261312 5855 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=6019/tid=6030] ppid=6017 vsize=36388 CPUtime=0.04
/proc/6019/task/6030/stat : 6030 (satake) D 6017 6019 27791 0 -1 4202560 442 0 0 0 0 4 0 0 20 0 17 0 639598238 37261312 5856 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=6019/tid=6031] ppid=6017 vsize=36388 CPUtime=0.04
/proc/6019/task/6031/stat : 6031 (satake) D 6017 6019 27791 0 -1 4202560 416 0 0 0 0 4 0 0 20 0 17 0 639598238 37261312 5856 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=6019/tid=6032] ppid=6017 vsize=35864 CPUtime=0.02
/proc/6019/task/6032/stat : 6032 (satake) D 6017 6019 27791 0 -1 4202560 279 0 0 0 0 2 0 0 20 0 17 0 639598238 36724736 5856 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=6019/tid=6033] ppid=6017 vsize=35864 CPUtime=0.06
/proc/6019/task/6033/stat : 6033 (satake) D 6017 6019 27791 0 -1 4202560 509 0 0 0 0 6 0 0 20 0 17 0 639598238 36724736 5860 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=6019/tid=6034] ppid=6017 vsize=35864 CPUtime=0.02
/proc/6019/task/6034/stat : 6034 (satake) D 6017 6019 27791 0 -1 4202560 279 0 0 0 2 0 0 0 20 0 17 0 639598238 36724736 5862 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=6019/tid=6035] ppid=6017 vsize=35864 CPUtime=0
/proc/6019/task/6035/stat : 6035 (satake) D 6017 6019 27791 0 -1 4202560 183 0 0 0 0 0 0 0 20 0 17 0 639598238 36724736 5863 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 36388

[startup+0.304538 s]
/proc/loadavg: 7.93 7.97 7.64 2/184 6019
/proc/meminfo: memFree=19139880/36427776 swapFree=2692/7324
[pid=6019] ppid=6017 vsize=76288 CPUtime=1.25
/proc/6019/stat : 6019 (satake) S 6017 6019 27791 0 -1 4202496 12713 0 0 0 7 118 0 0 20 0 17 0 639598237 78118912 12652 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6019/statm: 19072 12657 63 164 0 18907 0
[pid=6019/tid=6020] ppid=6017 vsize=76288 CPUtime=0
/proc/6019/task/6020/stat : 6020 (satake) S 6017 6019 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 639598237 78118912 12659 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=6019/tid=6021] ppid=6017 vsize=76288 CPUtime=0.08
/proc/6019/task/6021/stat : 6021 (satake) R 6017 6019 27791 0 -1 4202560 1020 0 0 0 0 8 0 0 20 0 17 0 639598237 78118912 12660 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=6019/tid=6022] ppid=6017 vsize=76288 CPUtime=0.04
/proc/6019/task/6022/stat : 6022 (satake) R 6017 6019 27791 0 -1 4202560 624 0 0 0 2 2 0 0 20 0 17 0 639598237 78118912 12660 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=6019/tid=6023] ppid=6017 vsize=76288 CPUtime=0.08
/proc/6019/task/6023/stat : 6023 (satake) R 6017 6019 27791 0 -1 4202560 980 0 0 0 0 8 0 0 20 0 17 0 639598238 78118912 12660 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134522704 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=6019/tid=6024] ppid=6017 vsize=76288 CPUtime=0.06
/proc/6019/task/6024/stat : 6024 (satake) R 6017 6019 27791 0 -1 4202560 776 0 0 0 0 6 0 0 20 0 17 0 639598238 78118912 12661 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=6019/tid=6025] ppid=6017 vsize=76288 CPUtime=0.1
/proc/6019/task/6025/stat : 6025 (satake) R 6017 6019 27791 0 -1 4202560 865 0 0 0 0 10 0 0 20 0 17 0 639598238 78118912 12661 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=6019/tid=6026] ppid=6017 vsize=76288 CPUtime=0.1
/proc/6019/task/6026/stat : 6026 (satake) R 6017 6019 27791 0 -1 4202560 890 0 0 0 0 10 0 0 20 0 17 0 639598238 78118912 12661 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=6019/tid=6027] ppid=6017 vsize=76288 CPUtime=0.06
/proc/6019/task/6027/stat : 6027 (satake) R 6017 6019 27791 0 -1 4202560 800 0 0 0 2 4 0 0 20 0 17 0 639598238 78118912 12661 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=6019/tid=6028] ppid=6017 vsize=76288 CPUtime=0.1
/proc/6019/task/6028/stat : 6028 (satake) R 6017 6019 27791 0 -1 4202560 943 0 0 0 0 10 0 0 20 0 17 0 639598238 78118912 12661 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134522288 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=6019/tid=6029] ppid=6017 vsize=76288 CPUtime=0.06
/proc/6019/task/6029/stat : 6029 (satake) R 6017 6019 27791 0 -1 4202560 712 0 0 0 0 6 0 0 20 0 17 0 639598238 78118912 12662 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=6019/tid=6030] ppid=6017 vsize=76288 CPUtime=0.08
/proc/6019/task/6030/stat : 6030 (satake) D 6017 6019 27791 0 -1 4202560 879 0 0 0 0 8 0 0 20 0 17 0 639598238 78118912 12663 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=6019/tid=6031] ppid=6017 vsize=76288 CPUtime=0.1
/proc/6019/task/6031/stat : 6031 (satake) D 6017 6019 27791 0 -1 4202560 868 0 0 0 0 10 0 0 20 0 17 0 639598238 78118912 12665 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=6019/tid=6032] ppid=6017 vsize=76288 CPUtime=0.06
/proc/6019/task/6032/stat : 6032 (satake) D 6017 6019 27791 0 -1 4202560 743 0 0 0 0 6 0 0 20 0 17 0 639598238 78118912 12665 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=6019/tid=6033] ppid=6017 vsize=76288 CPUtime=0.12
/proc/6019/task/6033/stat : 6033 (satake) D 6017 6019 27791 0 -1 4202560 1070 0 0 0 0 12 0 0 20 0 17 0 639598238 78118912 12666 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=6019/tid=6034] ppid=6017 vsize=76288 CPUtime=0.06
/proc/6019/task/6034/stat : 6034 (satake) R 6017 6019 27791 0 -1 4202560 731 0 0 0 2 4 0 0 20 0 17 0 639598238 78118912 12667 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=6019/tid=6035] ppid=6017 vsize=76288 CPUtime=0.06
/proc/6019/task/6035/stat : 6035 (satake) D 6017 6019 27791 0 -1 4202560 692 0 0 0 0 6 0 0 20 0 17 0 639598238 78118912 12672 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 76288

[startup+0.70467 s]
/proc/loadavg: 7.93 7.97 7.64 2/184 6019
/proc/meminfo: memFree=19139880/36427776 swapFree=2692/7324
[pid=6019] ppid=6017 vsize=107512 CPUtime=2.56
/proc/6019/stat : 6019 (satake) S 6017 6019 27791 0 -1 4202496 23307 0 0 0 14 242 0 0 20 0 17 0 639598237 110092288 23246 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6019/statm: 26878 23247 63 164 0 26713 0
[pid=6019/tid=6020] ppid=6017 vsize=107512 CPUtime=0
/proc/6019/task/6020/stat : 6020 (satake) S 6017 6019 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 639598237 110092288 23247 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=6019/tid=6021] ppid=6017 vsize=107512 CPUtime=0.18
/proc/6019/task/6021/stat : 6021 (satake) S 6017 6019 27791 0 -1 4202560 1633 0 0 0 6 12 0 0 20 0 17 0 639598237 110092288 23248 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=6019/tid=6022] ppid=6017 vsize=107512 CPUtime=0.12
/proc/6019/task/6022/stat : 6022 (satake) D 6017 6019 27791 0 -1 4202560 1422 0 0 0 2 10 0 0 20 0 17 0 639598237 110092288 23248 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=6019/tid=6023] ppid=6017 vsize=107512 CPUtime=0.16
/proc/6019/task/6023/stat : 6023 (satake) S 6017 6019 27791 0 -1 4202560 1609 0 0 0 0 16 0 0 20 0 17 0 639598238 110092288 23250 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=6019/tid=6024] ppid=6017 vsize=107512 CPUtime=0.16
/proc/6019/task/6024/stat : 6024 (satake) R 6017 6019 27791 0 -1 4202560 1534 0 0 0 0 16 0 0 20 0 17 0 639598238 110092288 23250 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=6019/tid=6025] ppid=6017 vsize=107512 CPUtime=0.18
/proc/6019/task/6025/stat : 6025 (satake) D 6017 6019 27791 0 -1 4202560 1558 0 0 0 0 18 0 0 20 0 17 0 639598238 110092288 23250 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=6019/tid=6026] ppid=6017 vsize=107512 CPUtime=0.18
/proc/6019/task/6026/stat : 6026 (satake) S 6017 6019 27791 0 -1 4202560 1553 0 0 0 0 18 0 0 20 0 17 0 639598238 110092288 23250 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=6019/tid=6027] ppid=6017 vsize=107512 CPUtime=0.14
/proc/6019/task/6027/stat : 6027 (satake) D 6017 6019 27791 0 -1 4202560 1522 0 0 0 2 12 0 0 20 0 17 0 639598238 110092288 23250 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=6019/tid=6028] ppid=6017 vsize=107512 CPUtime=0.18
/proc/6019/task/6028/stat : 6028 (satake) D 6017 6019 27791 0 -1 4202560 1594 0 0 0 0 18 0 0 20 0 17 0 639598238 110092288 23250 18446744073709551615 134512640 135180984 4288917792 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=6019/tid=6029] ppid=6017 vsize=107512 CPUtime=0.14

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

deleting IPC queue 1327956046
deleting IPC queue 1327988815
deleting IPC queue 1328021584
deleting IPC queue 1328054353
deleting IPC queue 1328087122
deleting IPC queue 1328119891
deleting IPC queue 1328152660
deleting IPC queue 1328185429
deleting IPC queue 1328218198
deleting IPC queue 1328250967
deleting IPC queue 1328283736
deleting IPC queue 1328316505
deleting IPC queue 1328349274
deleting IPC queue 1328382043
deleting IPC queue 1328414812
deleting IPC queue 1328447581
deleting IPC queue 1328480350
deleting IPC queue 1328513119
deleting IPC queue 1328545888
deleting IPC queue 1328578657
deleting IPC queue 1328611426
deleting IPC queue 1328644195
deleting IPC queue 1328676964
deleting IPC queue 1328709733
deleting IPC queue 1328742502
deleting IPC queue 1328775271
deleting IPC queue 1328808040
deleting IPC queue 1328840809
deleting IPC queue 1328873578
deleting IPC queue 1328906347
deleting IPC queue 1328939116
deleting IPC queue 1328971885
deleting IPC queue 1329004654
deleting IPC queue 1329037423
deleting IPC queue 1329070192
deleting IPC queue 1329102961
deleting IPC queue 1329135730
deleting IPC queue 1329168499
deleting IPC queue 1329201268
deleting IPC queue 1329234037
deleting IPC queue 1329266806
deleting IPC queue 1329299575
deleting IPC queue 1329332344
deleting IPC queue 1329365113
deleting IPC queue 1329397882
deleting IPC queue 1329430651
deleting IPC queue 1329463420
deleting IPC queue 1329496189
deleting IPC queue 1329528958
deleting IPC queue 1329561727
deleting IPC queue 1329594496
deleting IPC queue 1329627265
deleting IPC queue 1329660034
deleting IPC queue 1329692803
deleting IPC queue 1329725572
deleting IPC queue 1329758341
deleting IPC queue 1329791110
deleting IPC queue 1329823879
deleting IPC queue 1329856648
deleting IPC queue 1329889417
deleting IPC queue 1329922186
deleting IPC queue 1329954955
deleting IPC queue 1329987724
deleting IPC queue 1330020493
deleting IPC queue 1330053262
deleting IPC queue 1330086031
deleting IPC queue 1330118800
deleting IPC queue 1330151569
deleting IPC queue 1330184338
deleting IPC queue 1330217107
deleting IPC queue 1330249876
deleting IPC queue 1330282645
deleting IPC queue 1330315414
deleting IPC queue 1330348183
deleting IPC queue 1330380952
deleting IPC queue 1330413721
deleting IPC queue 1330446490
deleting IPC queue 1330479259
deleting IPC queue 1330512028
deleting IPC queue 1330544797
deleting IPC queue 1330577566
deleting IPC queue 1330610335
deleting IPC queue 1330643104
deleting IPC queue 1330675873
deleting IPC queue 1330708642
deleting IPC queue 1330741411
deleting IPC queue 1330774180
deleting IPC queue 1330806949
deleting IPC queue 1330839718
deleting IPC queue 1330872487
deleting IPC queue 1330905256
deleting IPC queue 1330938025
deleting IPC queue 1330970794
deleting IPC queue 1331003563
deleting IPC queue 1331036332
deleting IPC queue 1331069101
deleting IPC queue 1331101870
deleting IPC queue 1331134639
deleting IPC queue 1331167408
deleting IPC queue 1331200177
deleting IPC queue 1331232946
deleting IPC queue 1331265715
deleting IPC queue 1331298484
deleting IPC queue 1331331253
deleting IPC queue 1331364022
deleting IPC queue 1331396791
deleting IPC queue 1331429560
deleting IPC queue 1331462329
deleting IPC queue 1331495098
deleting IPC queue 1331527867
deleting IPC queue 1331560636
deleting IPC queue 1331593405
deleting IPC queue 1331626174
deleting IPC queue 1331658943
deleting IPC queue 1331691712
deleting IPC queue 1331724481
deleting IPC queue 1331757250
deleting IPC queue 1331790019
deleting IPC queue 1331822788
deleting IPC queue 1331855557
deleting IPC queue 1331888326
deleting IPC queue 1331921095
deleting IPC queue 1331953864
deleting IPC queue 1331986633
deleting IPC queue 1332019402
deleting IPC queue 1332052171
deleting IPC queue 1332084940
deleting IPC queue 1332117709
deleting IPC queue 1332150478
deleting IPC queue 1332183247
deleting IPC queue 1332216016
deleting IPC queue 1332248785
deleting IPC queue 1332281554
deleting IPC queue 1332314323
deleting IPC queue 1332347092
deleting IPC queue 1332379861
deleting IPC queue 1332412630
deleting IPC queue 1332445399
deleting IPC queue 1332478168
deleting IPC queue 1332510937
deleting IPC queue 1332543706
deleting IPC queue 1332576475
deleting IPC queue 1332609244
deleting IPC queue 1332642013
deleting IPC queue 1332674782
deleting IPC queue 1332707551
deleting IPC queue 1332740320
deleting IPC queue 1332773089
deleting IPC queue 1332805858
deleting IPC queue 1332838627
deleting IPC queue 1332871396
deleting IPC queue 1332904165
deleting IPC queue 1332936934
deleting IPC queue 1332969703
deleting IPC queue 1333002472
deleting IPC queue 1333035241
deleting IPC queue 1333068010
deleting IPC queue 1333100779
deleting IPC queue 1333133548
deleting IPC queue 1333166317
deleting IPC queue 1333199086
deleting IPC queue 1333231855
deleting IPC queue 1333264624
deleting IPC queue 1333297393
deleting IPC queue 1333330162
deleting IPC queue 1333362931
deleting IPC queue 1333395700
deleting IPC queue 1333428469
deleting IPC queue 1333461238
deleting IPC queue 1333494007
deleting IPC queue 1333526776
deleting IPC queue 1333559545
deleting IPC queue 1333592314
deleting IPC queue 1333625083
deleting IPC queue 1333657852
deleting IPC queue 1333690621
deleting IPC queue 1333723390
deleting IPC queue 1333756159

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3862.7
system time used= 600.366
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82947
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= 58621464
involuntary context switches= 413112

runsolver used 4.36027 second user time and 12.0328 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 12:35:19
IDJOB=1779582
IDBENCH=70878
IDSOLVER=631
FILE ID=xenhost3-49/1779582-1244802919
PBS_JOBID=
Free space on /tmp= 7034 MiB

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

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

MD5SUM BENCH= c4b5df05f50ec97b624a18161f6d43b5
RANDOM SEED= 1586981758

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:      19139624 kB
Buffers:        433844 kB
Cached:       14106376 kB
SwapCached:          0 kB
Active:        4078932 kB
Inactive:     10468972 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2032 kB
Writeback:           0 kB
AnonPages:        7680 kB
Mapped:           2988 kB
Slab:           688336 kB
SReclaimable:   661536 kB
SUnreclaim:      26800 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7034 MiB
End job on xenhost3-49 at 2009-06-12 12:52:01