Trace number 1776612

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

General information on the benchmark

Namegoldb-heqc-x1mul.cnf
MD5SUMb44e541aede789d4830fa0a3a047fcda
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 variables8756
Number of clauses55571
Sum of the clauses size187746
Maximum clause length70
Minimum clause length1
Number of clauses of size 128
Number of clauses of size 212786
Number of clauses of size 325852
Number of clauses of size 40
Number of clauses of size 516904
Number of clauses of size over 51

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-1776612-1244750874/watcher-1776612-1244750874 -o /tmp/evaluation-result-1776612-1244750874/solver-1776612-1244750874 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776612-1244750874.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.06 6.04 6.52 2/184 302
/proc/meminfo: memFree=19142016/36427776 swapFree=2848/7812
[pid=302] ppid=300 vsize=5772 CPUtime=0
/proc/302/stat : 302 (satake) S 300 302 27791 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 11 0 634393795 5910528 312 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134579486 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/302/statm: 1443 312 63 164 0 1278 0
[pid=302/tid=304] ppid=300 vsize=7924 CPUtime=0
/proc/302/task/304/stat : 304 (satake) S 300 302 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634393795 8114176 505 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=302/tid=305] ppid=300 vsize=7924 CPUtime=0
/proc/302/task/305/stat : 305 (satake) R 300 302 27791 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 17 0 634393795 8114176 505 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=302/tid=306] ppid=300 vsize=7924 CPUtime=0
/proc/302/task/306/stat : 306 (satake) D 300 302 27791 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 17 0 634393795 8114176 506 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=302/tid=307] ppid=300 vsize=7924 CPUtime=0
/proc/302/task/307/stat : 307 (satake) D 300 302 27791 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 17 0 634393795 8114176 508 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=302/tid=308] ppid=300 vsize=7924 CPUtime=0
/proc/302/task/308/stat : 308 (satake) D 300 302 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 17 0 634393795 8114176 509 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=302/tid=309] ppid=300 vsize=7924 CPUtime=0
/proc/302/task/309/stat : 309 (satake) D 300 302 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 634393795 8114176 509 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=302/tid=310] ppid=300 vsize=7924 CPUtime=0
/proc/302/task/310/stat : 310 (satake) D 300 302 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 634393795 8114176 509 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=302/tid=311] ppid=300 vsize=8184 CPUtime=0
/proc/302/task/311/stat : 311 (satake) D 300 302 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 634393795 8380416 509 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=302/tid=312] ppid=300 vsize=8052 CPUtime=0
/proc/302/task/312/stat : 312 (satake) D 300 302 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 634393795 8245248 511 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=302/tid=313] ppid=300 vsize=8052 CPUtime=0
/proc/302/task/313/stat : 313 (satake) D 300 302 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 634393795 8245248 516 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=302/tid=314] ppid=300 vsize=8052 CPUtime=0
/proc/302/task/314/stat : 314 (satake) D 300 302 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 634393795 8245248 517 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=302/tid=315] ppid=300 vsize=8052 CPUtime=0
/proc/302/task/315/stat : 315 (satake) R 300 302 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 634393795 8245248 517 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=302/tid=316] ppid=300 vsize=8052 CPUtime=0
/proc/302/task/316/stat : 316 (satake) R 300 302 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 17 0 634393795 8245248 517 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=302/tid=317] ppid=300 vsize=8052 CPUtime=0
/proc/302/task/317/stat : 317 (satake) R 300 302 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 634393795 8245248 517 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=302/tid=318] ppid=300 vsize=8052 CPUtime=0
/proc/302/task/318/stat : 318 (satake) D 300 302 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 634393795 8245248 517 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=302/tid=319] ppid=300 vsize=8052 CPUtime=0
/proc/302/task/319/stat : 319 (satake) R 300 302 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 634393796 8245248 517 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.078704 s]
/proc/loadavg: 5.06 6.04 6.52 2/184 302
/proc/meminfo: memFree=19142016/36427776 swapFree=2848/7812
[pid=302] ppid=300 vsize=21664 CPUtime=0.62
/proc/302/stat : 302 (satake) S 300 302 27791 0 -1 4202496 3548 0 0 0 0 62 0 0 20 0 17 0 634393795 22183936 3505 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/302/statm: 5416 3505 63 164 0 5251 0
[pid=302/tid=304] ppid=300 vsize=21664 CPUtime=0
/proc/302/task/304/stat : 304 (satake) S 300 302 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634393795 22183936 3505 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=302/tid=305] ppid=300 vsize=21664 CPUtime=0.04
/proc/302/task/305/stat : 305 (satake) D 300 302 27791 0 -1 4202560 264 0 0 0 0 4 0 0 20 0 17 0 634393795 22183936 3505 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=302/tid=306] ppid=300 vsize=21664 CPUtime=0.04
/proc/302/task/306/stat : 306 (satake) D 300 302 27791 0 -1 4202560 265 0 0 0 0 4 0 0 20 0 17 0 634393795 22183936 3505 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134673640 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=302/tid=307] ppid=300 vsize=21664 CPUtime=0.04
/proc/302/task/307/stat : 307 (satake) D 300 302 27791 0 -1 4202560 306 0 0 0 0 4 0 0 20 0 17 0 634393795 22183936 3505 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=302/tid=308] ppid=300 vsize=21664 CPUtime=0.04
/proc/302/task/308/stat : 308 (satake) R 300 302 27791 0 -1 4202560 253 0 0 0 0 4 0 0 20 0 17 0 634393795 22183936 3505 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=302/tid=309] ppid=300 vsize=21664 CPUtime=0.04
/proc/302/task/309/stat : 309 (satake) D 300 302 27791 0 -1 4202560 257 0 0 0 0 4 0 0 20 0 17 0 634393795 22183936 3505 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=302/tid=310] ppid=300 vsize=21664 CPUtime=0.04
/proc/302/task/310/stat : 310 (satake) S 300 302 27791 0 -1 4202560 267 0 0 0 0 4 0 0 20 0 17 0 634393795 22183936 3505 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=302/tid=311] ppid=300 vsize=21664 CPUtime=0.04
/proc/302/task/311/stat : 311 (satake) D 300 302 27791 0 -1 4202560 253 0 0 0 0 4 0 0 20 0 17 0 634393795 22183936 3505 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=302/tid=312] ppid=300 vsize=21664 CPUtime=0.04
/proc/302/task/312/stat : 312 (satake) D 300 302 27791 0 -1 4202560 225 0 0 0 0 4 0 0 20 0 17 0 634393795 22183936 3505 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=302/tid=313] ppid=300 vsize=21664 CPUtime=0.04
/proc/302/task/313/stat : 313 (satake) D 300 302 27791 0 -1 4202560 244 0 0 0 0 4 0 0 20 0 17 0 634393795 22183936 3505 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=302/tid=314] ppid=300 vsize=21664 CPUtime=0.04
/proc/302/task/314/stat : 314 (satake) D 300 302 27791 0 -1 4202560 263 0 0 0 0 4 0 0 20 0 17 0 634393795 22183936 3505 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=302/tid=315] ppid=300 vsize=21664 CPUtime=0.04
/proc/302/task/315/stat : 315 (satake) D 300 302 27791 0 -1 4202560 175 0 0 0 0 4 0 0 20 0 17 0 634393795 22183936 3505 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=302/tid=316] ppid=300 vsize=21664 CPUtime=0.04
/proc/302/task/316/stat : 316 (satake) D 300 302 27791 0 -1 4202560 224 0 0 0 0 4 0 0 20 0 17 0 634393795 22183936 3505 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=302/tid=317] ppid=300 vsize=21664 CPUtime=0.02
/proc/302/task/317/stat : 317 (satake) D 300 302 27791 0 -1 4202560 85 0 0 0 0 2 0 0 20 0 17 0 634393795 22183936 3505 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=302/tid=318] ppid=300 vsize=21664 CPUtime=0
/proc/302/task/318/stat : 318 (satake) D 300 302 27791 0 -1 4202560 103 0 0 0 0 0 0 0 20 0 17 0 634393795 22183936 3505 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=302/tid=319] ppid=300 vsize=21664 CPUtime=0.04
/proc/302/task/319/stat : 319 (satake) D 300 302 27791 0 -1 4202560 237 0 0 0 0 4 0 0 20 0 17 0 634393796 22183936 3505 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 21664

[startup+0.107545 s]
/proc/loadavg: 5.06 6.04 6.52 2/184 302
/proc/meminfo: memFree=19142016/36427776 swapFree=2848/7812
[pid=302] ppid=300 vsize=31660 CPUtime=0.82
/proc/302/stat : 302 (satake) S 300 302 27791 0 -1 4202496 4104 0 0 0 0 82 0 0 20 0 17 0 634393795 32419840 4060 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/302/statm: 7950 4064 63 164 0 7785 0
[pid=302/tid=304] ppid=300 vsize=31800 CPUtime=0
/proc/302/task/304/stat : 304 (satake) S 300 302 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634393795 32563200 4066 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=302/tid=305] ppid=300 vsize=31800 CPUtime=0.06
/proc/302/task/305/stat : 305 (satake) R 300 302 27791 0 -1 4202560 293 0 0 0 0 6 0 0 20 0 17 0 634393795 32563200 4066 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=302/tid=306] ppid=300 vsize=31800 CPUtime=0.06
/proc/302/task/306/stat : 306 (satake) D 300 302 27791 0 -1 4202560 302 0 0 0 0 6 0 0 20 0 17 0 634393795 32563200 4066 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=302/tid=307] ppid=300 vsize=31800 CPUtime=0.06
/proc/302/task/307/stat : 307 (satake) D 300 302 27791 0 -1 4202560 344 0 0 0 0 6 0 0 20 0 17 0 634393795 32563200 4066 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=302/tid=308] ppid=300 vsize=31800 CPUtime=0.06
/proc/302/task/308/stat : 308 (satake) R 300 302 27791 0 -1 4202560 290 0 0 0 0 6 0 0 20 0 17 0 634393795 32563200 4066 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=302/tid=309] ppid=300 vsize=31800 CPUtime=0.06
/proc/302/task/309/stat : 309 (satake) D 300 302 27791 0 -1 4202560 283 0 0 0 0 6 0 0 20 0 17 0 634393795 32563200 4066 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=302/tid=310] ppid=300 vsize=31800 CPUtime=0.06
/proc/302/task/310/stat : 310 (satake) D 300 302 27791 0 -1 4202560 297 0 0 0 0 6 0 0 20 0 17 0 634393795 32563200 4066 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=302/tid=311] ppid=300 vsize=31800 CPUtime=0.06
/proc/302/task/311/stat : 311 (satake) D 300 302 27791 0 -1 4202560 284 0 0 0 0 6 0 0 20 0 17 0 634393795 32563200 4066 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=302/tid=312] ppid=300 vsize=31800 CPUtime=0.06
/proc/302/task/312/stat : 312 (satake) S 300 302 27791 0 -1 4202560 268 0 0 0 0 6 0 0 20 0 17 0 634393795 32563200 4066 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=302/tid=313] ppid=300 vsize=31800 CPUtime=0.04
/proc/302/task/313/stat : 313 (satake) D 300 302 27791 0 -1 4202560 281 0 0 0 0 4 0 0 20 0 17 0 634393795 32563200 4066 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=302/tid=314] ppid=300 vsize=31800 CPUtime=0.06
/proc/302/task/314/stat : 314 (satake) D 300 302 27791 0 -1 4202560 289 0 0 0 0 6 0 0 20 0 17 0 634393795 32563200 4066 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=302/tid=315] ppid=300 vsize=31800 CPUtime=0.06
/proc/302/task/315/stat : 315 (satake) D 300 302 27791 0 -1 4202560 225 0 0 0 0 6 0 0 20 0 17 0 634393795 32563200 4066 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=302/tid=316] ppid=300 vsize=31800 CPUtime=0.04
/proc/302/task/316/stat : 316 (satake) D 300 302 27791 0 -1 4202560 262 0 0 0 0 4 0 0 20 0 17 0 634393795 32563200 4066 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=302/tid=317] ppid=300 vsize=31800 CPUtime=0.04
/proc/302/task/317/stat : 317 (satake) D 300 302 27791 0 -1 4202560 138 0 0 0 0 4 0 0 20 0 17 0 634393795 32563200 4066 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=302/tid=318] ppid=300 vsize=31800 CPUtime=0.02
/proc/302/task/318/stat : 318 (satake) D 300 302 27791 0 -1 4202560 148 0 0 0 0 2 0 0 20 0 17 0 634393795 32563200 4066 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=302/tid=319] ppid=300 vsize=31800 CPUtime=0.06
/proc/302/task/319/stat : 319 (satake) D 300 302 27791 0 -1 4202560 278 0 0 0 0 6 0 0 20 0 17 0 634393796 32563200 4066 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 31660

[startup+0.306903 s]
/proc/loadavg: 5.06 6.04 6.52 2/184 302
/proc/meminfo: memFree=19142016/36427776 swapFree=2848/7812
[pid=302] ppid=300 vsize=42196 CPUtime=2.02
/proc/302/stat : 302 (satake) S 300 302 27791 0 -1 4202496 7988 0 0 0 6 196 0 0 20 0 17 0 634393795 43208704 7945 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/302/statm: 10549 7947 63 164 0 10384 0
[pid=302/tid=304] ppid=300 vsize=42196 CPUtime=0
/proc/302/task/304/stat : 304 (satake) S 300 302 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634393795 43208704 7947 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=302/tid=305] ppid=300 vsize=42196 CPUtime=0.14
/proc/302/task/305/stat : 305 (satake) R 300 302 27791 0 -1 4202560 527 0 0 0 0 14 0 0 20 0 17 0 634393795 43208704 7947 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=302/tid=306] ppid=300 vsize=42196 CPUtime=0.14
/proc/302/task/306/stat : 306 (satake) D 300 302 27791 0 -1 4202560 551 0 0 0 2 12 0 0 20 0 17 0 634393795 43208704 7947 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=302/tid=307] ppid=300 vsize=42196 CPUtime=0.14
/proc/302/task/307/stat : 307 (satake) R 300 302 27791 0 -1 4202560 565 0 0 0 0 14 0 0 20 0 17 0 634393795 43208704 7947 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=302/tid=308] ppid=300 vsize=42196 CPUtime=0.14
/proc/302/task/308/stat : 308 (satake) R 300 302 27791 0 -1 4202560 514 0 0 0 0 14 0 0 20 0 17 0 634393795 43208704 7947 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=302/tid=309] ppid=300 vsize=42196 CPUtime=0.14
/proc/302/task/309/stat : 309 (satake) R 300 302 27791 0 -1 4202560 540 0 0 0 0 14 0 0 20 0 17 0 634393795 43208704 7947 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=302/tid=310] ppid=300 vsize=42196 CPUtime=0.14
/proc/302/task/310/stat : 310 (satake) R 300 302 27791 0 -1 4202560 544 0 0 0 2 12 0 0 20 0 17 0 634393795 43208704 7948 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=302/tid=311] ppid=300 vsize=42196 CPUtime=0.14
/proc/302/task/311/stat : 311 (satake) D 300 302 27791 0 -1 4202560 545 0 0 0 0 14 0 0 20 0 17 0 634393795 43208704 7948 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=302/tid=312] ppid=300 vsize=42196 CPUtime=0.14
/proc/302/task/312/stat : 312 (satake) R 300 302 27791 0 -1 4202560 529 0 0 0 0 14 0 0 20 0 17 0 634393795 43208704 7951 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=302/tid=313] ppid=300 vsize=42196 CPUtime=0.14
/proc/302/task/313/stat : 313 (satake) R 300 302 27791 0 -1 4202560 539 0 0 0 0 14 0 0 20 0 17 0 634393795 43208704 7952 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=302/tid=314] ppid=300 vsize=42196 CPUtime=0.14
/proc/302/task/314/stat : 314 (satake) R 300 302 27791 0 -1 4202560 534 0 0 0 2 12 0 0 20 0 17 0 634393795 43208704 7953 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=302/tid=315] ppid=300 vsize=42196 CPUtime=0.14
/proc/302/task/315/stat : 315 (satake) R 300 302 27791 0 -1 4202560 491 0 0 0 0 14 0 0 20 0 17 0 634393795 43208704 7953 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=302/tid=316] ppid=300 vsize=42196 CPUtime=0.12
/proc/302/task/316/stat : 316 (satake) R 300 302 27791 0 -1 4202560 547 0 0 0 0 12 0 0 20 0 17 0 634393795 43208704 7953 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=302/tid=317] ppid=300 vsize=42196 CPUtime=0.12
/proc/302/task/317/stat : 317 (satake) R 300 302 27791 0 -1 4202560 493 0 0 0 0 12 0 0 20 0 17 0 634393795 43208704 7955 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=302/tid=318] ppid=300 vsize=42196 CPUtime=0.06
/proc/302/task/318/stat : 318 (satake) S 300 302 27791 0 -1 4202560 428 0 0 0 0 6 0 0 20 0 17 0 634393795 43208704 7956 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=302/tid=319] ppid=300 vsize=42196 CPUtime=0.14
/proc/302/task/319/stat : 319 (satake) R 300 302 27791 0 -1 4202560 519 0 0 0 0 14 0 0 20 0 17 0 634393796 43208704 7957 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 42196

[startup+0.706166 s]
/proc/loadavg: 5.06 6.04 6.52 2/184 302
/proc/meminfo: memFree=19142016/36427776 swapFree=2848/7812
[pid=302] ppid=300 vsize=67180 CPUtime=4.45
/proc/302/stat : 302 (satake) S 300 302 27791 0 -1 4202496 16481 0 0 0 126 319 0 0 20 0 17 0 634393795 68792320 12837 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/302/statm: 16795 12837 67 164 0 16630 0
[pid=302/tid=304] ppid=300 vsize=67180 CPUtime=0
/proc/302/task/304/stat : 304 (satake) D 300 302 27791 0 -1 4202560 152 0 0 0 0 0 0 0 20 0 17 0 634393795 68792320 12837 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=302/tid=305] ppid=300 vsize=67180 CPUtime=0.32
/proc/302/task/305/stat : 305 (satake) R 300 302 27791 0 -1 4202560 1103 0 0 0 10 22 0 0 20 0 17 0 634393795 68792320 12837 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=302/tid=306] ppid=300 vsize=67180 CPUtime=0.3
/proc/302/task/306/stat : 306 (satake) R 300 302 27791 0 -1 4202560 1084 0 0 0 6 24 0 0 20 0 17 0 634393795 68792320 12837 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134520887 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=302/tid=307] ppid=300 vsize=67180 CPUtime=0.3
/proc/302/task/307/stat : 307 (satake) D 300 302 27791 0 -1 4202560 1020 0 0 0 8 22 0 0 20 0 17 0 634393795 68792320 12840 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=302/tid=308] ppid=300 vsize=67180 CPUtime=0.3
/proc/302/task/308/stat : 308 (satake) R 300 302 27791 0 -1 4202560 1116 0 0 0 6 24 0 0 20 0 17 0 634393795 68792320 12840 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=302/tid=309] ppid=300 vsize=67180 CPUtime=0.3
/proc/302/task/309/stat : 309 (satake) R 300 302 27791 0 -1 4202560 1124 0 0 0 10 20 0 0 20 0 17 0 634393795 68792320 12840 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=302/tid=310] ppid=300 vsize=67180 CPUtime=0.32
/proc/302/task/310/stat : 310 (satake) R 300 302 27791 0 -1 4202560 1106 0 0 0 12 20 0 0 20 0 17 0 634393795 68792320 12841 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=302/tid=311] ppid=300 vsize=67180 CPUtime=0.3
/proc/302/task/311/stat : 311 (satake) S 300 302 27791 0 -1 4202560 1068 0 0 0 10 20 0 0 20 0 17 0 634393795 68792320 12841 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=302/tid=312] ppid=300 vsize=67180 CPUtime=0.32
/proc/302/task/312/stat : 312 (satake) R 300 302 27791 0 -1 4202560 1124 0 0 0 10 22 0 0 20 0 17 0 634393795 68792320 12842 18446744073709551615 134512640 135180984 4289231216 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=302/tid=313] ppid=300 vsize=67180 CPUtime=0.3

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

deleting IPC queue 623312974
deleting IPC queue 623345743
deleting IPC queue 623378512
deleting IPC queue 623411281
deleting IPC queue 623444050
deleting IPC queue 623476819
deleting IPC queue 623509588
deleting IPC queue 623542357
deleting IPC queue 623575126
deleting IPC queue 623607895
deleting IPC queue 623640664
deleting IPC queue 623673433
deleting IPC queue 623706202
deleting IPC queue 623738971
deleting IPC queue 623771740
deleting IPC queue 623804509
deleting IPC queue 623837278
deleting IPC queue 623870047
deleting IPC queue 623902816
deleting IPC queue 623935585
deleting IPC queue 623968354
deleting IPC queue 624001123
deleting IPC queue 624033892
deleting IPC queue 624066661
deleting IPC queue 624099430
deleting IPC queue 624132199
deleting IPC queue 624164968
deleting IPC queue 624197737
deleting IPC queue 624230506
deleting IPC queue 624263275
deleting IPC queue 624296044
deleting IPC queue 624328813
deleting IPC queue 624361582
deleting IPC queue 624394351
deleting IPC queue 624427120
deleting IPC queue 624459889
deleting IPC queue 624492658
deleting IPC queue 624525427
deleting IPC queue 624558196
deleting IPC queue 624590965
deleting IPC queue 624623734
deleting IPC queue 624656503
deleting IPC queue 624689272
deleting IPC queue 624722041
deleting IPC queue 624754810
deleting IPC queue 624787579
deleting IPC queue 624820348
deleting IPC queue 624853117
deleting IPC queue 624885886
deleting IPC queue 624918655
deleting IPC queue 624951424
deleting IPC queue 624984193
deleting IPC queue 625016962
deleting IPC queue 625049731
deleting IPC queue 625082500
deleting IPC queue 625115269
deleting IPC queue 625148038
deleting IPC queue 625180807
deleting IPC queue 625213576
deleting IPC queue 625246345
deleting IPC queue 625279114
deleting IPC queue 625311883
deleting IPC queue 625344652
deleting IPC queue 625377421
deleting IPC queue 625410190
deleting IPC queue 625442959
deleting IPC queue 625475728
deleting IPC queue 625508497
deleting IPC queue 625541266
deleting IPC queue 625574035
deleting IPC queue 625606804
deleting IPC queue 625639573
deleting IPC queue 625672342
deleting IPC queue 625705111
deleting IPC queue 625737880
deleting IPC queue 625770649
deleting IPC queue 625803418
deleting IPC queue 625836187
deleting IPC queue 625868956
deleting IPC queue 625901725
deleting IPC queue 625934494
deleting IPC queue 625967263
deleting IPC queue 626000032
deleting IPC queue 626032801
deleting IPC queue 626065570
deleting IPC queue 626098339
deleting IPC queue 626131108
deleting IPC queue 626163877
deleting IPC queue 626196646
deleting IPC queue 626229415
deleting IPC queue 626262184
deleting IPC queue 626294953
deleting IPC queue 626327722
deleting IPC queue 626360491
deleting IPC queue 626393260
deleting IPC queue 626426029
deleting IPC queue 626458798
deleting IPC queue 626491567
deleting IPC queue 626524336
deleting IPC queue 626557105
deleting IPC queue 626589874
deleting IPC queue 626622643
deleting IPC queue 626655412
deleting IPC queue 626688181
deleting IPC queue 626720950
deleting IPC queue 626753719
deleting IPC queue 626786488
deleting IPC queue 626819257
deleting IPC queue 626852026
deleting IPC queue 626884795
deleting IPC queue 626917564
deleting IPC queue 626950333
deleting IPC queue 626983102
deleting IPC queue 627015871
deleting IPC queue 627048640
deleting IPC queue 627081409
deleting IPC queue 627114178
deleting IPC queue 627146947
deleting IPC queue 627179716
deleting IPC queue 627212485
deleting IPC queue 627245254
deleting IPC queue 627278023
deleting IPC queue 627310792
deleting IPC queue 627343561
deleting IPC queue 627376330
deleting IPC queue 627409099
deleting IPC queue 627441868
deleting IPC queue 627474637
deleting IPC queue 627507406
deleting IPC queue 627540175
deleting IPC queue 627572944
deleting IPC queue 627605713
deleting IPC queue 627638482
deleting IPC queue 627671251
deleting IPC queue 627704020
deleting IPC queue 627736789
deleting IPC queue 627769558
deleting IPC queue 627802327
deleting IPC queue 627835096
deleting IPC queue 627867865
deleting IPC queue 627900634
deleting IPC queue 627933403
deleting IPC queue 627966172
deleting IPC queue 627998941
deleting IPC queue 628031710
deleting IPC queue 628064479
deleting IPC queue 628097248
deleting IPC queue 628130017
deleting IPC queue 628162786
deleting IPC queue 628195555
deleting IPC queue 628228324
deleting IPC queue 628261093
deleting IPC queue 628293862
deleting IPC queue 628326631
deleting IPC queue 628359400
deleting IPC queue 628392169
deleting IPC queue 628424938
deleting IPC queue 628457707
deleting IPC queue 628490476
deleting IPC queue 628523245
deleting IPC queue 628556014
deleting IPC queue 628588783
deleting IPC queue 628621552
deleting IPC queue 628654321
deleting IPC queue 628687090
deleting IPC queue 628719859
deleting IPC queue 628752628
deleting IPC queue 628785397
deleting IPC queue 628818166
deleting IPC queue 628850935
deleting IPC queue 628883704
deleting IPC queue 628916473
deleting IPC queue 628949242
deleting IPC queue 628982011
deleting IPC queue 629014780
deleting IPC queue 629047549
deleting IPC queue 629080318
deleting IPC queue 629113087

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1740.6
system time used= 680.043
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75169
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= 57813944
involuntary context switches= 2327658

runsolver used 4.30827 second user time and 11.9927 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 22:07:54
IDJOB=1776612
IDBENCH=69560
IDSOLVER=631
FILE ID=xenhost3-49/1776612-1244750874
PBS_JOBID=
Free space on /tmp= 7038 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT_RACE08/cnf/goldb-heqc-x1mul.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776612-1244750874/watcher-1776612-1244750874 -o /tmp/evaluation-result-1776612-1244750874/solver-1776612-1244750874 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776612-1244750874.cnf 16 10000

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

MD5SUM BENCH= b44e541aede789d4830fa0a3a047fcda
RANDOM SEED= 1388084896

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:      19142280 kB
Buffers:        433384 kB
Cached:       14102448 kB
SwapCached:          0 kB
Active:        4078400 kB
Inactive:     10465260 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1872 kB
Writeback:           0 kB
AnonPages:        7716 kB
Mapped:           2776 kB
Slab:           689200 kB
SReclaimable:   661848 kB
SUnreclaim:      27352 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29732 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7038 MiB
End job on xenhost3-49 at 2009-06-11 22:24:37