Trace number 1779402

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

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-27-s100.cnf
MD5SUMf47c33d2a9a327da4633207adfef7b77
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 variables31951
Number of clauses96161
Sum of the clauses size226837
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261518
Number of clauses of size 334579
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-1779402-1244794337/watcher-1779402-1244794337 -o /tmp/evaluation-result-1779402-1244794337/solver-1779402-1244794337 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779402-1244794337.cnf 16 10000 

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


[startup+0 s]
/proc/loadavg: 5.58 5.55 7.16 2/184 5165
/proc/meminfo: memFree=19139208/36427776 swapFree=3100/7764
[pid=5165] ppid=5163 vsize=6776 CPUtime=0
/proc/5165/stat : 5165 (satake) D 5163 5165 27791 0 -1 4202496 351 0 0 0 0 0 0 0 20 0 14 0 638740059 6938624 308 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/5165/statm: 1695 308 63 164 0 1530 0
[pid=5165/tid=5166] ppid=5163 vsize=8456 CPUtime=0
/proc/5165/task/5166/stat : 5166 (satake) S 5163 5165 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 638740059 8658944 395 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=5165/tid=5167] ppid=5163 vsize=8456 CPUtime=0
/proc/5165/task/5167/stat : 5167 (satake) R 5163 5165 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 17 0 638740059 8658944 397 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5165/tid=5168] ppid=5163 vsize=8456 CPUtime=0
/proc/5165/task/5168/stat : 5168 (satake) R 5163 5165 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 17 0 638740059 8658944 398 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5165/tid=5169] ppid=5163 vsize=8456 CPUtime=0
/proc/5165/task/5169/stat : 5169 (satake) D 5163 5165 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 17 0 638740059 8658944 398 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5165/tid=5170] ppid=5163 vsize=8456 CPUtime=0
/proc/5165/task/5170/stat : 5170 (satake) R 5163 5165 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 17 0 638740059 8658944 399 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5165/tid=5171] ppid=5163 vsize=8456 CPUtime=0
/proc/5165/task/5171/stat : 5171 (satake) R 5163 5165 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 17 0 638740059 8658944 399 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5165/tid=5172] ppid=5163 vsize=8456 CPUtime=0
/proc/5165/task/5172/stat : 5172 (satake) S 5163 5165 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 638740059 8658944 399 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=5165/tid=5173] ppid=5163 vsize=8456 CPUtime=0
/proc/5165/task/5173/stat : 5173 (satake) R 5163 5165 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 638740059 8658944 399 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5165/tid=5174] ppid=5163 vsize=8456 CPUtime=0
/proc/5165/task/5174/stat : 5174 (satake) R 5163 5165 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 638740059 8658944 400 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5165/tid=5175] ppid=5163 vsize=8456 CPUtime=0
/proc/5165/task/5175/stat : 5175 (satake) R 5163 5165 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 17 0 638740059 8658944 401 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5165/tid=5176] ppid=5163 vsize=8456 CPUtime=0
/proc/5165/task/5176/stat : 5176 (satake) D 5163 5165 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 638740060 8658944 401 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5165/tid=5177] ppid=5163 vsize=8456 CPUtime=0
/proc/5165/task/5177/stat : 5177 (satake) D 5163 5165 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 638740060 8658944 401 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5165/tid=5178] ppid=5163 vsize=10504 CPUtime=0
/proc/5165/task/5178/stat : 5178 (satake) D 5163 5165 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 638740060 10756096 402 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5165/tid=5179] ppid=5163 vsize=10504 CPUtime=0
/proc/5165/task/5179/stat : 5179 (satake) D 5163 5165 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 638740060 10756096 406 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5165/tid=5180] ppid=5163 vsize=10504 CPUtime=0
/proc/5165/task/5180/stat : 5180 (satake) R 5163 5165 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 638740060 10756096 408 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5165/tid=5181] ppid=5163 vsize=10504 CPUtime=0
/proc/5165/task/5181/stat : 5181 (satake) R 5163 5165 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 17 0 638740060 10756096 410 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 5 0 0 0 0 0

[startup+0.088972 s]
/proc/loadavg: 5.58 5.55 7.16 2/184 5165
/proc/meminfo: memFree=19139208/36427776 swapFree=3100/7764
[pid=5165] ppid=5163 vsize=30132 CPUtime=0.45
/proc/5165/stat : 5165 (satake) S 5163 5165 27791 0 -1 4202496 5010 0 0 0 7 38 0 0 20 0 17 0 638740059 30855168 4967 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/5165/statm: 7533 4967 63 164 0 7368 0
[pid=5165/tid=5166] ppid=5163 vsize=30132 CPUtime=0
/proc/5165/task/5166/stat : 5166 (satake) S 5163 5165 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 638740059 30855168 4967 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=5165/tid=5167] ppid=5163 vsize=30132 CPUtime=0.04
/proc/5165/task/5167/stat : 5167 (satake) D 5163 5165 27791 0 -1 4202560 428 0 0 0 0 4 0 0 20 0 17 0 638740059 30855168 4967 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5165/tid=5168] ppid=5163 vsize=30132 CPUtime=0.04
/proc/5165/task/5168/stat : 5168 (satake) R 5163 5165 27791 0 -1 4202560 448 0 0 0 0 4 0 0 20 0 17 0 638740059 30855168 4968 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5165/tid=5169] ppid=5163 vsize=30132 CPUtime=0
/proc/5165/task/5169/stat : 5169 (satake) R 5163 5165 27791 0 -1 4202560 168 0 0 0 0 0 0 0 20 0 17 0 638740059 30855168 4968 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5165/tid=5170] ppid=5163 vsize=30132 CPUtime=0.04
/proc/5165/task/5170/stat : 5170 (satake) D 5163 5165 27791 0 -1 4202560 457 0 0 0 0 4 0 0 20 0 17 0 638740059 30855168 4968 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5165/tid=5171] ppid=5163 vsize=30132 CPUtime=0.04
/proc/5165/task/5171/stat : 5171 (satake) R 5163 5165 27791 0 -1 4202560 490 0 0 0 0 4 0 0 20 0 17 0 638740059 30855168 4968 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5165/tid=5172] ppid=5163 vsize=30132 CPUtime=0
/proc/5165/task/5172/stat : 5172 (satake) R 5163 5165 27791 0 -1 4202560 135 0 0 0 0 0 0 0 20 0 17 0 638740059 30855168 4971 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5165/tid=5173] ppid=5163 vsize=30132 CPUtime=0.04
/proc/5165/task/5173/stat : 5173 (satake) D 5163 5165 27791 0 -1 4202560 443 0 0 0 0 4 0 0 20 0 17 0 638740059 30855168 4973 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5165/tid=5174] ppid=5163 vsize=30132 CPUtime=0.04
/proc/5165/task/5174/stat : 5174 (satake) R 5163 5165 27791 0 -1 4202560 427 0 0 0 0 4 0 0 20 0 17 0 638740059 30855168 4976 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5165/tid=5175] ppid=5163 vsize=30132 CPUtime=0
/proc/5165/task/5175/stat : 5175 (satake) D 5163 5165 27791 0 -1 4202560 118 0 0 0 0 0 0 0 20 0 17 0 638740059 30855168 4979 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5165/tid=5176] ppid=5163 vsize=30132 CPUtime=0.04
/proc/5165/task/5176/stat : 5176 (satake) R 5163 5165 27791 0 -1 4202560 301 0 0 0 4 0 0 0 20 0 17 0 638740060 30855168 4980 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5165/tid=5177] ppid=5163 vsize=30132 CPUtime=0.04
/proc/5165/task/5177/stat : 5177 (satake) R 5163 5165 27791 0 -1 4202560 461 0 0 0 0 4 0 0 20 0 17 0 638740060 30855168 4981 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5165/tid=5178] ppid=5163 vsize=30132 CPUtime=0.02
/proc/5165/task/5178/stat : 5178 (satake) R 5163 5165 27791 0 -1 4202560 193 0 0 0 2 0 0 0 20 0 17 0 638740060 30855168 4981 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5165/tid=5179] ppid=5163 vsize=30132 CPUtime=0.02
/proc/5165/task/5179/stat : 5179 (satake) R 5163 5165 27791 0 -1 4202560 292 0 0 0 0 2 0 0 20 0 17 0 638740060 30855168 4981 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5165/tid=5180] ppid=5163 vsize=30132 CPUtime=0.02
/proc/5165/task/5180/stat : 5180 (satake) D 5163 5165 27791 0 -1 4202560 289 0 0 0 0 2 0 0 20 0 17 0 638740060 30855168 4981 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5165/tid=5181] ppid=5163 vsize=30132 CPUtime=0.02
/proc/5165/task/5181/stat : 5181 (satake) D 5163 5165 27791 0 -1 4202560 235 0 0 0 0 2 0 0 20 0 17 0 638740060 30855168 4981 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 30132

[startup+0.105063 s]
/proc/loadavg: 5.58 5.55 7.16 2/184 5165
/proc/meminfo: memFree=19139208/36427776 swapFree=3100/7764
[pid=5165] ppid=5163 vsize=32180 CPUtime=0.53
/proc/5165/stat : 5165 (satake) S 5163 5165 27791 0 -1 4202496 5434 0 0 0 8 45 0 0 20 0 17 0 638740059 32952320 5391 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/5165/statm: 8045 5393 63 164 0 7880 0
[pid=5165/tid=5166] ppid=5163 vsize=32180 CPUtime=0
/proc/5165/task/5166/stat : 5166 (satake) S 5163 5165 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 638740059 32952320 5395 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=5165/tid=5167] ppid=5163 vsize=32180 CPUtime=0.04
/proc/5165/task/5167/stat : 5167 (satake) D 5163 5165 27791 0 -1 4202560 453 0 0 0 0 4 0 0 20 0 17 0 638740059 32952320 5395 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5165/tid=5168] ppid=5163 vsize=32180 CPUtime=0.04
/proc/5165/task/5168/stat : 5168 (satake) R 5163 5165 27791 0 -1 4202560 471 0 0 0 0 4 0 0 20 0 17 0 638740059 32952320 5398 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134522312 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5165/tid=5169] ppid=5163 vsize=32180 CPUtime=0.02
/proc/5165/task/5169/stat : 5169 (satake) R 5163 5165 27791 0 -1 4202560 198 0 0 0 0 2 0 0 20 0 17 0 638740059 32952320 5401 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5165/tid=5170] ppid=5163 vsize=32180 CPUtime=0.04
/proc/5165/task/5170/stat : 5170 (satake) R 5163 5165 27791 0 -1 4202560 488 0 0 0 0 4 0 0 20 0 17 0 638740059 32952320 5403 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5165/tid=5171] ppid=5163 vsize=32180 CPUtime=0.06
/proc/5165/task/5171/stat : 5171 (satake) R 5163 5165 27791 0 -1 4202560 519 0 0 0 0 6 0 0 20 0 17 0 638740059 32952320 5404 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5165/tid=5172] ppid=5163 vsize=32180 CPUtime=0
/proc/5165/task/5172/stat : 5172 (satake) R 5163 5165 27791 0 -1 4202560 164 0 0 0 0 0 0 0 20 0 17 0 638740059 32952320 5404 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5165/tid=5173] ppid=5163 vsize=32180 CPUtime=0.04
/proc/5165/task/5173/stat : 5173 (satake) R 5163 5165 27791 0 -1 4202560 470 0 0 0 0 4 0 0 20 0 17 0 638740059 32952320 5404 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5165/tid=5174] ppid=5163 vsize=32180 CPUtime=0.04
/proc/5165/task/5174/stat : 5174 (satake) R 5163 5165 27791 0 -1 4202560 447 0 0 0 0 4 0 0 20 0 17 0 638740059 32952320 5404 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5165/tid=5175] ppid=5163 vsize=32180 CPUtime=0
/proc/5165/task/5175/stat : 5175 (satake) R 5163 5165 27791 0 -1 4202560 148 0 0 0 0 0 0 0 20 0 17 0 638740059 32952320 5404 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5165/tid=5176] ppid=5163 vsize=32180 CPUtime=0.04
/proc/5165/task/5176/stat : 5176 (satake) R 5163 5165 27791 0 -1 4202560 338 0 0 0 4 0 0 0 20 0 17 0 638740060 32952320 5404 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5165/tid=5177] ppid=5163 vsize=32180 CPUtime=0.04
/proc/5165/task/5177/stat : 5177 (satake) D 5163 5165 27791 0 -1 4202560 486 0 0 0 0 4 0 0 20 0 17 0 638740060 32952320 5404 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5165/tid=5178] ppid=5163 vsize=32180 CPUtime=0.02
/proc/5165/task/5178/stat : 5178 (satake) R 5163 5165 27791 0 -1 4202560 228 0 0 0 2 0 0 0 20 0 17 0 638740060 32952320 5404 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5165/tid=5179] ppid=5163 vsize=32180 CPUtime=0.02
/proc/5165/task/5179/stat : 5179 (satake) R 5163 5165 27791 0 -1 4202560 317 0 0 0 0 2 0 0 20 0 17 0 638740060 32952320 5404 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5165/tid=5180] ppid=5163 vsize=32180 CPUtime=0.02
/proc/5165/task/5180/stat : 5180 (satake) R 5163 5165 27791 0 -1 4202560 322 0 0 0 0 2 0 0 20 0 17 0 638740060 32952320 5406 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5165/tid=5181] ppid=5163 vsize=32180 CPUtime=0.02
/proc/5165/task/5181/stat : 5181 (satake) D 5163 5165 27791 0 -1 4202560 264 0 0 0 0 2 0 0 20 0 17 0 638740060 32952320 5407 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 32180

[startup+0.30497 s]
/proc/loadavg: 5.58 5.55 7.16 2/184 5165
/proc/meminfo: memFree=19139208/36427776 swapFree=3100/7764
[pid=5165] ppid=5163 vsize=68664 CPUtime=1.53
/proc/5165/stat : 5165 (satake) S 5163 5165 27791 0 -1 4202496 11166 0 0 0 8 145 0 0 20 0 17 0 638740059 70311936 11123 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/5165/statm: 17166 11126 63 164 0 17001 0
[pid=5165/tid=5166] ppid=5163 vsize=68664 CPUtime=0
/proc/5165/task/5166/stat : 5166 (satake) S 5163 5165 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 638740059 70311936 11127 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=5165/tid=5167] ppid=5163 vsize=68664 CPUtime=0.1
/proc/5165/task/5167/stat : 5167 (satake) R 5163 5165 27791 0 -1 4202560 856 0 0 0 0 10 0 0 20 0 17 0 638740059 70311936 11127 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5165/tid=5168] ppid=5163 vsize=68664 CPUtime=0.1
/proc/5165/task/5168/stat : 5168 (satake) R 5163 5165 27791 0 -1 4202560 890 0 0 0 0 10 0 0 20 0 17 0 638740059 70311936 11129 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134522312 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5165/tid=5169] ppid=5163 vsize=68664 CPUtime=0.06
/proc/5165/task/5169/stat : 5169 (satake) R 5163 5165 27791 0 -1 4202560 562 0 0 0 0 6 0 0 20 0 17 0 638740059 70311936 11130 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5165/tid=5170] ppid=5163 vsize=68664 CPUtime=0.14
/proc/5165/task/5170/stat : 5170 (satake) R 5163 5165 27791 0 -1 4202560 942 0 0 0 0 14 0 0 20 0 17 0 638740059 70311936 11132 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134522312 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5165/tid=5171] ppid=5163 vsize=68664 CPUtime=0.14
/proc/5165/task/5171/stat : 5171 (satake) R 5163 5165 27791 0 -1 4202560 874 0 0 0 0 14 0 0 20 0 17 0 638740059 70311936 11132 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=5165/tid=5172] ppid=5163 vsize=68664 CPUtime=0.06
/proc/5165/task/5172/stat : 5172 (satake) D 5163 5165 27791 0 -1 4202560 505 0 0 0 0 6 0 0 20 0 17 0 638740059 70311936 11132 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=5165/tid=5173] ppid=5163 vsize=68664 CPUtime=0.12
/proc/5165/task/5173/stat : 5173 (satake) R 5163 5165 27791 0 -1 4202560 867 0 0 0 0 12 0 0 20 0 17 0 638740059 70311936 11132 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5165/tid=5174] ppid=5163 vsize=68664 CPUtime=0.1
/proc/5165/task/5174/stat : 5174 (satake) R 5163 5165 27791 0 -1 4202560 842 0 0 0 0 10 0 0 20 0 17 0 638740059 70311936 11132 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5165/tid=5175] ppid=5163 vsize=68664 CPUtime=0.06
/proc/5165/task/5175/stat : 5175 (satake) S 5163 5165 27791 0 -1 4202560 504 0 0 0 0 6 0 0 20 0 17 0 638740059 70311936 11132 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=5165/tid=5176] ppid=5163 vsize=68664 CPUtime=0.12
/proc/5165/task/5176/stat : 5176 (satake) D 5163 5165 27791 0 -1 4202560 721 0 0 0 4 8 0 0 20 0 17 0 638740060 70311936 11132 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=5165/tid=5177] ppid=5163 vsize=68664 CPUtime=0.14
/proc/5165/task/5177/stat : 5177 (satake) R 5163 5165 27791 0 -1 4202560 929 0 0 0 0 14 0 0 20 0 17 0 638740060 70311936 11132 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=5165/tid=5178] ppid=5163 vsize=68664 CPUtime=0.06
/proc/5165/task/5178/stat : 5178 (satake) D 5163 5165 27791 0 -1 4202560 519 0 0 0 2 4 0 0 20 0 17 0 638740060 70311936 11132 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5165/tid=5179] ppid=5163 vsize=68664 CPUtime=0.08
/proc/5165/task/5179/stat : 5179 (satake) D 5163 5165 27791 0 -1 4202560 721 0 0 0 0 8 0 0 20 0 17 0 638740060 70311936 11132 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5165/tid=5180] ppid=5163 vsize=68664 CPUtime=0.08
/proc/5165/task/5180/stat : 5180 (satake) D 5163 5165 27791 0 -1 4202560 702 0 0 0 0 8 0 0 20 0 17 0 638740060 70311936 11132 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5165/tid=5181] ppid=5163 vsize=68664 CPUtime=0.08
/proc/5165/task/5181/stat : 5181 (satake) D 5163 5165 27791 0 -1 4202560 609 0 0 0 0 8 0 0 20 0 17 0 638740060 70311936 11134 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 68664

[startup+0.705002 s]
/proc/loadavg: 5.58 5.55 7.16 2/184 5165
/proc/meminfo: memFree=19139208/36427776 swapFree=3100/7764
[pid=5165] ppid=5163 vsize=99104 CPUtime=3.05
/proc/5165/stat : 5165 (satake) S 5163 5165 27791 0 -1 4202496 22175 0 0 0 17 288 0 0 20 0 17 0 638740059 101482496 22132 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/5165/statm: 24776 22134 63 164 0 24611 0
[pid=5165/tid=5166] ppid=5163 vsize=99104 CPUtime=0
/proc/5165/task/5166/stat : 5166 (satake) S 5163 5165 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 638740059 101482496 22134 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=5165/tid=5167] ppid=5163 vsize=99268 CPUtime=0.2
/proc/5165/task/5167/stat : 5167 (satake) R 5163 5165 27791 0 -1 4202560 1496 0 0 0 0 20 0 0 20 0 17 0 638740059 101650432 22134 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=5165/tid=5168] ppid=5163 vsize=99268 CPUtime=0.2
/proc/5165/task/5168/stat : 5168 (satake) S 5163 5165 27791 0 -1 4202560 1611 0 0 0 0 20 0 0 20 0 17 0 638740059 101650432 22135 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=5165/tid=5169] ppid=5163 vsize=99268 CPUtime=0.16
/proc/5165/task/5169/stat : 5169 (satake) S 5163 5165 27791 0 -1 4202560 1397 0 0 0 0 16 0 0 20 0 17 0 638740059 101650432 22135 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=5165/tid=5170] ppid=5163 vsize=99268 CPUtime=0.26
/proc/5165/task/5170/stat : 5170 (satake) R 5163 5165 27791 0 -1 4202560 1564 0 0 0 0 26 0 0 20 0 17 0 638740059 101650432 22136 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=5165/tid=5171] ppid=5163 vsize=99268 CPUtime=0.28
/proc/5165/task/5171/stat : 5171 (satake) S 5163 5165 27791 0 -1 4202560 1563 0 0 0 4 24 0 0 20 0 17 0 638740059 101650432 22136 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=5165/tid=5172] ppid=5163 vsize=99268 CPUtime=0.14
/proc/5165/task/5172/stat : 5172 (satake) S 5163 5165 27791 0 -1 4202560 1399 0 0 0 0 14 0 0 20 0 17 0 638740059 101650432 22139 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=5165/tid=5173] ppid=5163 vsize=99268 CPUtime=0.26
/proc/5165/task/5173/stat : 5173 (satake) R 5163 5165 27791 0 -1 4202560 1531 0 0 0 0 26 0 0 20 0 17 0 638740059 101650432 22139 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=5165/tid=5174] ppid=5163 vsize=99268 CPUtime=0.18
/proc/5165/task/5174/stat : 5174 (satake) D 5163 5165 27791 0 -1 4202560 1466 0 0 0 0 18 0 0 20 0 17 0 638740059 101650432 22139 18446744073709551615 134512640 135180984 4289942048 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=5165/tid=5175] ppid=5163 vsize=99268 CPUtime=0.14

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

deleting IPC queue 1227292750
deleting IPC queue 1227325519
deleting IPC queue 1227358288
deleting IPC queue 1227391057
deleting IPC queue 1227423826
deleting IPC queue 1227456595
deleting IPC queue 1227489364
deleting IPC queue 1227522133
deleting IPC queue 1227554902
deleting IPC queue 1227587671
deleting IPC queue 1227620440
deleting IPC queue 1227653209
deleting IPC queue 1227685978
deleting IPC queue 1227718747
deleting IPC queue 1227751516
deleting IPC queue 1227784285
deleting IPC queue 1227817054
deleting IPC queue 1227849823
deleting IPC queue 1227882592
deleting IPC queue 1227915361
deleting IPC queue 1227948130
deleting IPC queue 1227980899
deleting IPC queue 1228013668
deleting IPC queue 1228046437
deleting IPC queue 1228079206
deleting IPC queue 1228111975
deleting IPC queue 1228144744
deleting IPC queue 1228177513
deleting IPC queue 1228210282
deleting IPC queue 1228243051
deleting IPC queue 1228275820
deleting IPC queue 1228308589
deleting IPC queue 1228341358
deleting IPC queue 1228374127
deleting IPC queue 1228406896
deleting IPC queue 1228439665
deleting IPC queue 1228472434
deleting IPC queue 1228505203
deleting IPC queue 1228537972
deleting IPC queue 1228570741
deleting IPC queue 1228603510
deleting IPC queue 1228636279
deleting IPC queue 1228669048
deleting IPC queue 1228701817
deleting IPC queue 1228734586
deleting IPC queue 1228767355
deleting IPC queue 1228800124
deleting IPC queue 1228832893
deleting IPC queue 1228865662
deleting IPC queue 1228898431
deleting IPC queue 1228931200
deleting IPC queue 1228963969
deleting IPC queue 1228996738
deleting IPC queue 1229029507
deleting IPC queue 1229062276
deleting IPC queue 1229095045
deleting IPC queue 1229127814
deleting IPC queue 1229160583
deleting IPC queue 1229193352
deleting IPC queue 1229226121
deleting IPC queue 1229258890
deleting IPC queue 1229291659
deleting IPC queue 1229324428
deleting IPC queue 1229357197
deleting IPC queue 1229389966
deleting IPC queue 1229422735
deleting IPC queue 1229455504
deleting IPC queue 1229488273
deleting IPC queue 1229521042
deleting IPC queue 1229553811
deleting IPC queue 1229586580
deleting IPC queue 1229619349
deleting IPC queue 1229652118
deleting IPC queue 1229684887
deleting IPC queue 1229717656
deleting IPC queue 1229750425
deleting IPC queue 1229783194
deleting IPC queue 1229815963
deleting IPC queue 1229848732
deleting IPC queue 1229881501
deleting IPC queue 1229914270
deleting IPC queue 1229947039
deleting IPC queue 1229979808
deleting IPC queue 1230012577
deleting IPC queue 1230045346
deleting IPC queue 1230078115
deleting IPC queue 1230110884
deleting IPC queue 1230143653
deleting IPC queue 1230176422
deleting IPC queue 1230209191
deleting IPC queue 1230241960
deleting IPC queue 1230274729
deleting IPC queue 1230307498
deleting IPC queue 1230340267
deleting IPC queue 1230373036
deleting IPC queue 1230405805
deleting IPC queue 1230438574
deleting IPC queue 1230471343
deleting IPC queue 1230504112
deleting IPC queue 1230536881
deleting IPC queue 1230569650
deleting IPC queue 1230602419
deleting IPC queue 1230635188
deleting IPC queue 1230667957
deleting IPC queue 1230700726
deleting IPC queue 1230733495
deleting IPC queue 1230766264
deleting IPC queue 1230799033
deleting IPC queue 1230831802
deleting IPC queue 1230864571
deleting IPC queue 1230897340
deleting IPC queue 1230930109
deleting IPC queue 1230962878
deleting IPC queue 1230995647
deleting IPC queue 1231028416
deleting IPC queue 1231061185
deleting IPC queue 1231093954
deleting IPC queue 1231126723
deleting IPC queue 1231159492
deleting IPC queue 1231192261
deleting IPC queue 1231225030
deleting IPC queue 1231257799
deleting IPC queue 1231290568
deleting IPC queue 1231323337
deleting IPC queue 1231356106
deleting IPC queue 1231388875
deleting IPC queue 1231421644
deleting IPC queue 1231454413
deleting IPC queue 1231487182
deleting IPC queue 1231519951
deleting IPC queue 1231552720
deleting IPC queue 1231585489
deleting IPC queue 1231618258
deleting IPC queue 1231651027
deleting IPC queue 1231683796
deleting IPC queue 1231716565
deleting IPC queue 1231749334
deleting IPC queue 1231782103
deleting IPC queue 1231814872
deleting IPC queue 1231847641
deleting IPC queue 1231880410
deleting IPC queue 1231913179
deleting IPC queue 1231945948
deleting IPC queue 1231978717
deleting IPC queue 1232011486
deleting IPC queue 1232044255
deleting IPC queue 1232077024
deleting IPC queue 1232109793
deleting IPC queue 1232142562
deleting IPC queue 1232175331
deleting IPC queue 1232208100
deleting IPC queue 1232240869
deleting IPC queue 1232273638
deleting IPC queue 1232306407
deleting IPC queue 1232339176
deleting IPC queue 1232371945
deleting IPC queue 1232404714
deleting IPC queue 1232437483
deleting IPC queue 1232470252
deleting IPC queue 1232503021
deleting IPC queue 1232535790
deleting IPC queue 1232568559
deleting IPC queue 1232601328
deleting IPC queue 1232634097
deleting IPC queue 1232666866
deleting IPC queue 1232699635
deleting IPC queue 1232732404
deleting IPC queue 1232765173
deleting IPC queue 1232797942
deleting IPC queue 1232830711
deleting IPC queue 1232863480
deleting IPC queue 1232896249
deleting IPC queue 1232929018
deleting IPC queue 1232961787
deleting IPC queue 1232994556
deleting IPC queue 1233027325
deleting IPC queue 1233060094
deleting IPC queue 1233092863

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5617.64
system time used= 541.066
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88766
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= 53948242
involuntary context switches= 2035954

runsolver used 4.41228 second user time and 12.7088 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 10:12:17
IDJOB=1779402
IDBENCH=70849
IDSOLVER=631
FILE ID=xenhost3-49/1779402-1244794337
PBS_JOBID=
Free space on /tmp= 7035 MiB

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

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

MD5SUM BENCH= f47c33d2a9a327da4633207adfef7b77
RANDOM SEED= 56784531

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:      19139208 kB
Buffers:        433808 kB
Cached:       14105864 kB
SwapCached:          0 kB
Active:        4078288 kB
Inactive:     10468500 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2008 kB
Writeback:           0 kB
AnonPages:        7764 kB
Mapped:           3100 kB
Slab:           688244 kB
SReclaimable:   661484 kB
SUnreclaim:      26760 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= 7035 MiB
End job on xenhost3-49 at 2009-06-12 10:28:59