Trace number 1780932

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) 10001.5 728.702

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_10_UNSAT.cnf
MD5SUM54c22a62e5d0a640d4ea8d185b9b1fc7
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 variables2112
Number of clauses191788
Sum of the clauses size572017
Maximum clause length11
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23595
Number of clauses of size 3188162
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

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-1780932-1244847364/watcher-1780932-1244847364 -o /tmp/evaluation-result-1780932-1244847364/solver-1780932-1244847364 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780932-1244847364.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.72 5.83 8.48 2/184 11824
/proc/meminfo: memFree=19127360/36427776 swapFree=4316/7048
[pid=11824] ppid=11822 vsize=6940 CPUtime=0
/proc/11824/stat : 11824 (satake) D 11822 11824 27791 0 -1 4202496 387 0 0 0 0 0 0 0 20 0 15 0 644042747 7106560 340 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/11824/statm: 1735 340 63 164 0 1570 0
[pid=11824/tid=11825] ppid=11822 vsize=8168 CPUtime=0
/proc/11824/task/11825/stat : 11825 (satake) S 11822 11824 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 644042748 8364032 376 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=11824/tid=11826] ppid=11822 vsize=8168 CPUtime=0
/proc/11824/task/11826/stat : 11826 (satake) R 11822 11824 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 17 0 644042748 8364032 381 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11824/tid=11827] ppid=11822 vsize=8168 CPUtime=0
/proc/11824/task/11827/stat : 11827 (satake) R 11822 11824 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 644042748 8364032 382 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11824/tid=11828] ppid=11822 vsize=8168 CPUtime=0
/proc/11824/task/11828/stat : 11828 (satake) R 11822 11824 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 17 0 644042748 8364032 384 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11824/tid=11829] ppid=11822 vsize=8168 CPUtime=0
/proc/11824/task/11829/stat : 11829 (satake) R 11822 11824 27791 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 17 0 644042748 8364032 384 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11824/tid=11830] ppid=11822 vsize=8168 CPUtime=0
/proc/11824/task/11830/stat : 11830 (satake) R 11822 11824 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 644042748 8364032 384 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11824/tid=11831] ppid=11822 vsize=8168 CPUtime=0
/proc/11824/task/11831/stat : 11831 (satake) S 11822 11824 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 644042748 8364032 384 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=11824/tid=11832] ppid=11822 vsize=8168 CPUtime=0
/proc/11824/task/11832/stat : 11832 (satake) R 11822 11824 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 644042748 8364032 385 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11824/tid=11833] ppid=11822 vsize=8168 CPUtime=0
/proc/11824/task/11833/stat : 11833 (satake) S 11822 11824 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 644042748 8364032 386 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=11824/tid=11834] ppid=11822 vsize=8168 CPUtime=0
/proc/11824/task/11834/stat : 11834 (satake) S 11822 11824 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 644042748 8364032 389 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=11824/tid=11835] ppid=11822 vsize=8168 CPUtime=0
/proc/11824/task/11835/stat : 11835 (satake) R 11822 11824 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 17 0 644042748 8364032 392 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11824/tid=11836] ppid=11822 vsize=8168 CPUtime=0
/proc/11824/task/11836/stat : 11836 (satake) R 11822 11824 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 644042748 8364032 393 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=11824/tid=11837] ppid=11822 vsize=8168 CPUtime=0
/proc/11824/task/11837/stat : 11837 (satake) R 11822 11824 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 644042748 8364032 393 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11824/tid=11838] ppid=11822 vsize=8168 CPUtime=0
/proc/11824/task/11838/stat : 11838 (satake) R 11822 11824 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 644042748 8364032 394 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11824/tid=11839] ppid=11822 vsize=8168 CPUtime=0
/proc/11824/task/11839/stat : 11839 (satake) D 11822 11824 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 644042748 8364032 396 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11824/tid=11840] ppid=11822 vsize=8168 CPUtime=0
/proc/11824/task/11840/stat : 11840 (satake) D 11822 11824 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 644042749 8364032 398 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0

[startup+0.07917 s]
/proc/loadavg: 5.72 5.83 8.48 2/184 11824
/proc/meminfo: memFree=19127360/36427776 swapFree=4316/7048
[pid=11824] ppid=11822 vsize=43224 CPUtime=0.48
/proc/11824/stat : 11824 (satake) S 11822 11824 27791 0 -1 4202496 6338 0 0 0 0 48 0 0 20 0 17 0 644042747 44261376 6275 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/11824/statm: 10806 6281 63 164 0 10641 0
[pid=11824/tid=11825] ppid=11822 vsize=43224 CPUtime=0
/proc/11824/task/11825/stat : 11825 (satake) S 11822 11824 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 644042748 44261376 6281 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=11824/tid=11826] ppid=11822 vsize=43224 CPUtime=0.04
/proc/11824/task/11826/stat : 11826 (satake) R 11822 11824 27791 0 -1 4202560 609 0 0 0 0 4 0 0 20 0 17 0 644042748 44261376 6282 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11824/tid=11827] ppid=11822 vsize=43224 CPUtime=0.04
/proc/11824/task/11827/stat : 11827 (satake) R 11822 11824 27791 0 -1 4202560 595 0 0 0 0 4 0 0 20 0 17 0 644042748 44261376 6284 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11824/tid=11828] ppid=11822 vsize=43224 CPUtime=0
/proc/11824/task/11828/stat : 11828 (satake) R 11822 11824 27791 0 -1 4202560 85 0 0 0 0 0 0 0 20 0 17 0 644042748 44261376 6284 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11824/tid=11829] ppid=11822 vsize=43224 CPUtime=0.02
/proc/11824/task/11829/stat : 11829 (satake) R 11822 11824 27791 0 -1 4202560 404 0 0 0 0 2 0 0 20 0 17 0 644042748 44261376 6284 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11824/tid=11830] ppid=11822 vsize=43224 CPUtime=0.04
/proc/11824/task/11830/stat : 11830 (satake) R 11822 11824 27791 0 -1 4202560 554 0 0 0 0 4 0 0 20 0 17 0 644042748 44261376 6285 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11824/tid=11831] ppid=11822 vsize=43224 CPUtime=0.04
/proc/11824/task/11831/stat : 11831 (satake) R 11822 11824 27791 0 -1 4202560 484 0 0 0 0 4 0 0 20 0 17 0 644042748 44261376 6286 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11824/tid=11832] ppid=11822 vsize=43224 CPUtime=0.02
/proc/11824/task/11832/stat : 11832 (satake) R 11822 11824 27791 0 -1 4202560 199 0 0 0 0 2 0 0 20 0 17 0 644042748 44261376 6286 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11824/tid=11833] ppid=11822 vsize=43224 CPUtime=0.04
/proc/11824/task/11833/stat : 11833 (satake) R 11822 11824 27791 0 -1 4202560 604 0 0 0 0 4 0 0 20 0 17 0 644042748 44261376 6288 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11824/tid=11834] ppid=11822 vsize=43224 CPUtime=0.04
/proc/11824/task/11834/stat : 11834 (satake) R 11822 11824 27791 0 -1 4202560 534 0 0 0 0 4 0 0 20 0 17 0 644042748 44261376 6289 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11824/tid=11835] ppid=11822 vsize=43224 CPUtime=0.02
/proc/11824/task/11835/stat : 11835 (satake) R 11822 11824 27791 0 -1 4202560 221 0 0 0 0 2 0 0 20 0 17 0 644042748 44261376 6290 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11824/tid=11836] ppid=11822 vsize=43224 CPUtime=0.04
/proc/11824/task/11836/stat : 11836 (satake) R 11822 11824 27791 0 -1 4202560 494 0 0 0 0 4 0 0 20 0 17 0 644042748 44261376 6292 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=11824/tid=11837] ppid=11822 vsize=43224 CPUtime=0.02
/proc/11824/task/11837/stat : 11837 (satake) R 11822 11824 27791 0 -1 4202560 348 0 0 0 0 2 0 0 20 0 17 0 644042748 44261376 6293 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11824/tid=11838] ppid=11822 vsize=43224 CPUtime=0.04
/proc/11824/task/11838/stat : 11838 (satake) R 11822 11824 27791 0 -1 4202560 471 0 0 0 0 4 0 0 20 0 17 0 644042748 44261376 6315 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11824/tid=11839] ppid=11822 vsize=43224 CPUtime=0.04
/proc/11824/task/11839/stat : 11839 (satake) R 11822 11824 27791 0 -1 4202560 514 0 0 0 0 4 0 0 20 0 17 0 644042748 44261376 6339 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11824/tid=11840] ppid=11822 vsize=43224 CPUtime=0
/proc/11824/task/11840/stat : 11840 (satake) R 11822 11824 27791 0 -1 4202560 114 0 0 0 0 0 0 0 20 0 17 0 644042749 44261376 6374 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 43224

[startup+0.107129 s]
/proc/loadavg: 5.72 5.83 8.48 2/184 11824
/proc/meminfo: memFree=19127360/36427776 swapFree=4316/7048
[pid=11824] ppid=11822 vsize=50872 CPUtime=0.75
/proc/11824/stat : 11824 (satake) S 11822 11824 27791 0 -1 4202496 8646 0 0 0 1 74 0 0 20 0 17 0 644042747 52092928 8583 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/11824/statm: 12718 8583 63 164 0 12553 0
[pid=11824/tid=11825] ppid=11822 vsize=50872 CPUtime=0
/proc/11824/task/11825/stat : 11825 (satake) S 11822 11824 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 644042748 52092928 8583 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=11824/tid=11826] ppid=11822 vsize=50872 CPUtime=0.06
/proc/11824/task/11826/stat : 11826 (satake) D 11822 11824 27791 0 -1 4202560 780 0 0 0 0 6 0 0 20 0 17 0 644042748 52092928 8583 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11824/tid=11827] ppid=11822 vsize=51384 CPUtime=0.06
/proc/11824/task/11827/stat : 11827 (satake) D 11822 11824 27791 0 -1 4202560 811 0 0 0 0 6 0 0 20 0 17 0 644042748 52617216 8583 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11824/tid=11828] ppid=11822 vsize=51384 CPUtime=0
/proc/11824/task/11828/stat : 11828 (satake) R 11822 11824 27791 0 -1 4202560 147 0 0 0 0 0 0 0 20 0 17 0 644042748 52617216 8585 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11824/tid=11829] ppid=11822 vsize=51384 CPUtime=0.04
/proc/11824/task/11829/stat : 11829 (satake) R 11822 11824 27791 0 -1 4202560 461 0 0 0 0 4 0 0 20 0 17 0 644042748 52617216 8587 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11824/tid=11830] ppid=11822 vsize=51384 CPUtime=0.06
/proc/11824/task/11830/stat : 11830 (satake) D 11822 11824 27791 0 -1 4202560 759 0 0 0 0 6 0 0 20 0 17 0 644042748 52617216 8588 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11824/tid=11831] ppid=11822 vsize=51384 CPUtime=0.06
/proc/11824/task/11831/stat : 11831 (satake) R 11822 11824 27791 0 -1 4202560 624 0 0 0 0 6 0 0 20 0 17 0 644042748 52617216 8590 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11824/tid=11832] ppid=11822 vsize=51384 CPUtime=0.02
/proc/11824/task/11832/stat : 11832 (satake) R 11822 11824 27791 0 -1 4202560 337 0 0 0 0 2 0 0 20 0 17 0 644042748 52617216 8590 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11824/tid=11833] ppid=11822 vsize=51384 CPUtime=0.06
/proc/11824/task/11833/stat : 11833 (satake) D 11822 11824 27791 0 -1 4202560 801 0 0 0 0 6 0 0 20 0 17 0 644042748 52617216 8590 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11824/tid=11834] ppid=11822 vsize=51384 CPUtime=0.06
/proc/11824/task/11834/stat : 11834 (satake) R 11822 11824 27791 0 -1 4202560 765 0 0 0 0 6 0 0 20 0 17 0 644042748 52617216 8590 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11824/tid=11835] ppid=11822 vsize=51384 CPUtime=0.02
/proc/11824/task/11835/stat : 11835 (satake) D 11822 11824 27791 0 -1 4202560 250 0 0 0 0 2 0 0 20 0 17 0 644042748 52617216 8590 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11824/tid=11836] ppid=11822 vsize=51384 CPUtime=0.06
/proc/11824/task/11836/stat : 11836 (satake) R 11822 11824 27791 0 -1 4202560 715 0 0 0 0 6 0 0 20 0 17 0 644042748 52617216 8590 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=11824/tid=11837] ppid=11822 vsize=51384 CPUtime=0.04
/proc/11824/task/11837/stat : 11837 (satake) R 11822 11824 27791 0 -1 4202560 523 0 0 0 0 4 0 0 20 0 17 0 644042748 52617216 8590 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11824/tid=11838] ppid=11822 vsize=51384 CPUtime=0.06
/proc/11824/task/11838/stat : 11838 (satake) R 11822 11824 27791 0 -1 4202560 650 0 0 0 0 6 0 0 20 0 17 0 644042748 52617216 8590 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11824/tid=11839] ppid=11822 vsize=51384 CPUtime=0.06
/proc/11824/task/11839/stat : 11839 (satake) R 11822 11824 27791 0 -1 4202560 732 0 0 0 0 6 0 0 20 0 17 0 644042748 52617216 8590 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11824/tid=11840] ppid=11822 vsize=51384 CPUtime=0.02
/proc/11824/task/11840/stat : 11840 (satake) D 11822 11824 27791 0 -1 4202560 166 0 0 0 0 2 0 0 20 0 17 0 644042749 52617216 8590 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 50872

[startup+0.303088 s]
/proc/loadavg: 5.72 5.83 8.48 2/184 11824
/proc/meminfo: memFree=19127360/36427776 swapFree=4316/7048
[pid=11824] ppid=11822 vsize=66184 CPUtime=1.67
/proc/11824/stat : 11824 (satake) S 11822 11824 27791 0 -1 4202496 14637 0 0 0 3 164 0 0 20 0 17 0 644042747 67772416 14574 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/11824/statm: 16546 14575 63 164 0 16381 0
[pid=11824/tid=11825] ppid=11822 vsize=66184 CPUtime=0
/proc/11824/task/11825/stat : 11825 (satake) S 11822 11824 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 644042748 67772416 14575 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=11824/tid=11826] ppid=11822 vsize=66184 CPUtime=0.1
/proc/11824/task/11826/stat : 11826 (satake) S 11822 11824 27791 0 -1 4202560 955 0 0 0 0 10 0 0 20 0 17 0 644042748 67772416 14575 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=11824/tid=11827] ppid=11822 vsize=66184 CPUtime=0.16
/proc/11824/task/11827/stat : 11827 (satake) R 11822 11824 27791 0 -1 4202560 1112 0 0 0 0 16 0 0 20 0 17 0 644042748 67772416 14576 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11824/tid=11828] ppid=11822 vsize=66184 CPUtime=0.06
/proc/11824/task/11828/stat : 11828 (satake) R 11822 11824 27791 0 -1 4202560 863 0 0 0 0 6 0 0 20 0 17 0 644042748 67772416 14580 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11824/tid=11829] ppid=11822 vsize=66184 CPUtime=0.08
/proc/11824/task/11829/stat : 11829 (satake) S 11822 11824 27791 0 -1 4202560 918 0 0 0 0 8 0 0 20 0 17 0 644042748 67772416 14580 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=11824/tid=11830] ppid=11822 vsize=66184 CPUtime=0.16
/proc/11824/task/11830/stat : 11830 (satake) R 11822 11824 27791 0 -1 4202560 1137 0 0 0 2 14 0 0 20 0 17 0 644042748 67772416 14582 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11824/tid=11831] ppid=11822 vsize=66184 CPUtime=0.12
/proc/11824/task/11831/stat : 11831 (satake) D 11822 11824 27791 0 -1 4202560 1051 0 0 0 0 12 0 0 20 0 17 0 644042748 67772416 14583 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11824/tid=11832] ppid=11822 vsize=66184 CPUtime=0.08
/proc/11824/task/11832/stat : 11832 (satake) S 11822 11824 27791 0 -1 4202560 864 0 0 0 0 8 0 0 20 0 17 0 644042748 67772416 14583 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=11824/tid=11833] ppid=11822 vsize=66184 CPUtime=0.14
/proc/11824/task/11833/stat : 11833 (satake) R 11822 11824 27791 0 -1 4202560 1111 0 0 0 0 14 0 0 20 0 17 0 644042748 67772416 14585 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11824/tid=11834] ppid=11822 vsize=66184 CPUtime=0.14
/proc/11824/task/11834/stat : 11834 (satake) D 11822 11824 27791 0 -1 4202560 1055 0 0 0 0 14 0 0 20 0 17 0 644042748 67772416 14585 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11824/tid=11835] ppid=11822 vsize=66184 CPUtime=0.08
/proc/11824/task/11835/stat : 11835 (satake) S 11822 11824 27791 0 -1 4202560 877 0 0 0 0 8 0 0 20 0 17 0 644042748 67772416 14586 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=11824/tid=11836] ppid=11822 vsize=66184 CPUtime=0.12
/proc/11824/task/11836/stat : 11836 (satake) S 11822 11824 27791 0 -1 4202560 933 0 0 0 0 12 0 0 20 0 17 0 644042748 67772416 14587 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=11824/tid=11837] ppid=11822 vsize=66184 CPUtime=0.08
/proc/11824/task/11837/stat : 11837 (satake) S 11822 11824 27791 0 -1 4202560 879 0 0 0 0 8 0 0 20 0 17 0 644042748 67772416 14587 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=11824/tid=11838] ppid=11822 vsize=66184 CPUtime=0.12
/proc/11824/task/11838/stat : 11838 (satake) S 11822 11824 27791 0 -1 4202560 939 0 0 0 0 12 0 0 20 0 17 0 644042748 67772416 14588 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=11824/tid=11839] ppid=11822 vsize=66184 CPUtime=0.12
/proc/11824/task/11839/stat : 11839 (satake) S 11822 11824 27791 0 -1 4202560 984 0 0 0 0 12 0 0 20 0 17 0 644042748 67772416 14591 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=11824/tid=11840] ppid=11822 vsize=66184 CPUtime=0.06
/proc/11824/task/11840/stat : 11840 (satake) D 11822 11824 27791 0 -1 4202560 838 0 0 0 0 6 0 0 20 0 17 0 644042749 67772416 14591 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 66184

[startup+0.703161 s]
/proc/loadavg: 5.72 5.83 8.48 2/184 11824
/proc/meminfo: memFree=19127360/36427776 swapFree=4316/7048
[pid=11824] ppid=11822 vsize=105320 CPUtime=3.2
/proc/11824/stat : 11824 (satake) S 11822 11824 27791 0 -1 4202496 23335 0 0 0 52 268 0 0 20 0 17 0 644042747 107847680 23272 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/11824/statm: 26330 23272 63 164 0 26165 0
[pid=11824/tid=11825] ppid=11822 vsize=105320 CPUtime=0
/proc/11824/task/11825/stat : 11825 (satake) S 11822 11824 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 644042748 107847680 23272 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=11824/tid=11826] ppid=11822 vsize=105320 CPUtime=0.18
/proc/11824/task/11826/stat : 11826 (satake) D 11822 11824 27791 0 -1 4202560 1473 0 0 0 4 14 0 0 20 0 17 0 644042748 107847680 23272 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11824/tid=11827] ppid=11822 vsize=105320 CPUtime=0.3
/proc/11824/task/11827/stat : 11827 (satake) D 11822 11824 27791 0 -1 4202560 1918 0 0 0 4 26 0 0 20 0 17 0 644042748 107847680 23272 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11824/tid=11828] ppid=11822 vsize=105320 CPUtime=0.16
/proc/11824/task/11828/stat : 11828 (satake) D 11822 11824 27791 0 -1 4202560 1348 0 0 0 4 12 0 0 20 0 17 0 644042748 107847680 23272 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11824/tid=11829] ppid=11822 vsize=105320 CPUtime=0.16
/proc/11824/task/11829/stat : 11829 (satake) D 11822 11824 27791 0 -1 4202560 1384 0 0 0 0 16 0 0 20 0 17 0 644042748 107847680 23273 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11824/tid=11830] ppid=11822 vsize=105320 CPUtime=0.3
/proc/11824/task/11830/stat : 11830 (satake) R 11822 11824 27791 0 -1 4202560 2119 0 0 0 10 20 0 0 20 0 17 0 644042748 107847680 23277 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11824/tid=11831] ppid=11822 vsize=105320 CPUtime=0.24
/proc/11824/task/11831/stat : 11831 (satake) S 11822 11824 27791 0 -1 4202560 1872 0 0 0 8 16 0 0 20 0 17 0 644042748 107847680 23277 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=11824/tid=11832] ppid=11822 vsize=105320 CPUtime=0.14
/proc/11824/task/11832/stat : 11832 (satake) S 11822 11824 27791 0 -1 4202560 1202 0 0 0 2 12 0 0 20 0 17 0 644042748 107847680 23278 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=11824/tid=11833] ppid=11822 vsize=105320 CPUtime=0.28
/proc/11824/task/11833/stat : 11833 (satake) R 11822 11824 27791 0 -1 4202560 1934 0 0 0 4 24 0 0 20 0 17 0 644042748 107847680 23279 18446744073709551615 134512640 135180984 4293973488 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11824/tid=11834] ppid=11822 vsize=105320 CPUtime=0.28

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

deleting IPC queue 2082930766
deleting IPC queue 2082963535
deleting IPC queue 2082996304
deleting IPC queue 2083029073
deleting IPC queue 2083061842
deleting IPC queue 2083094611
deleting IPC queue 2083127380
deleting IPC queue 2083160149
deleting IPC queue 2083192918
deleting IPC queue 2083225687
deleting IPC queue 2083258456
deleting IPC queue 2083291225
deleting IPC queue 2083323994
deleting IPC queue 2083356763
deleting IPC queue 2083389532
deleting IPC queue 2083422301
deleting IPC queue 2083455070
deleting IPC queue 2083487839
deleting IPC queue 2083520608
deleting IPC queue 2083553377
deleting IPC queue 2083586146
deleting IPC queue 2083618915
deleting IPC queue 2083651684
deleting IPC queue 2083684453
deleting IPC queue 2083717222
deleting IPC queue 2083749991
deleting IPC queue 2083782760
deleting IPC queue 2083815529
deleting IPC queue 2083848298
deleting IPC queue 2083881067
deleting IPC queue 2083913836
deleting IPC queue 2083946605
deleting IPC queue 2083979374
deleting IPC queue 2084012143
deleting IPC queue 2084044912
deleting IPC queue 2084077681
deleting IPC queue 2084110450
deleting IPC queue 2084143219
deleting IPC queue 2084175988
deleting IPC queue 2084208757
deleting IPC queue 2084241526
deleting IPC queue 2084274295
deleting IPC queue 2084307064
deleting IPC queue 2084339833
deleting IPC queue 2084372602
deleting IPC queue 2084405371
deleting IPC queue 2084438140
deleting IPC queue 2084470909
deleting IPC queue 2084503678
deleting IPC queue 2084536447
deleting IPC queue 2084569216
deleting IPC queue 2084601985
deleting IPC queue 2084634754
deleting IPC queue 2084667523
deleting IPC queue 2084700292
deleting IPC queue 2084733061
deleting IPC queue 2084765830
deleting IPC queue 2084798599
deleting IPC queue 2084831368
deleting IPC queue 2084864137
deleting IPC queue 2084896906
deleting IPC queue 2084929675
deleting IPC queue 2084962444
deleting IPC queue 2084995213
deleting IPC queue 2085027982
deleting IPC queue 2085060751
deleting IPC queue 2085093520
deleting IPC queue 2085126289
deleting IPC queue 2085159058
deleting IPC queue 2085191827
deleting IPC queue 2085224596
deleting IPC queue 2085257365
deleting IPC queue 2085290134
deleting IPC queue 2085322903
deleting IPC queue 2085355672
deleting IPC queue 2085388441
deleting IPC queue 2085421210
deleting IPC queue 2085453979
deleting IPC queue 2085486748
deleting IPC queue 2085519517
deleting IPC queue 2085552286
deleting IPC queue 2085585055
deleting IPC queue 2085617824
deleting IPC queue 2085650593
deleting IPC queue 2085683362
deleting IPC queue 2085716131
deleting IPC queue 2085748900
deleting IPC queue 2085781669
deleting IPC queue 2085814438
deleting IPC queue 2085847207
deleting IPC queue 2085879976
deleting IPC queue 2085912745
deleting IPC queue 2085945514
deleting IPC queue 2085978283
deleting IPC queue 2086011052
deleting IPC queue 2086043821
deleting IPC queue 2086076590
deleting IPC queue 2086109359
deleting IPC queue 2086142128
deleting IPC queue 2086174897
deleting IPC queue 2086207666
deleting IPC queue 2086240435
deleting IPC queue 2086273204
deleting IPC queue 2086305973
deleting IPC queue 2086338742
deleting IPC queue 2086371511
deleting IPC queue 2086404280
deleting IPC queue 2086437049
deleting IPC queue 2086469818
deleting IPC queue 2086502587
deleting IPC queue 2086535356
deleting IPC queue 2086568125
deleting IPC queue 2086600894
deleting IPC queue 2086633663
deleting IPC queue 2086666432
deleting IPC queue 2086699201
deleting IPC queue 2086731970
deleting IPC queue 2086764739
deleting IPC queue 2086797508
deleting IPC queue 2086830277
deleting IPC queue 2086863046
deleting IPC queue 2086895815
deleting IPC queue 2086928584
deleting IPC queue 2086961353
deleting IPC queue 2086994122
deleting IPC queue 2087026891
deleting IPC queue 2087059660
deleting IPC queue 2087092429
deleting IPC queue 2087125198
deleting IPC queue 2087157967
deleting IPC queue 2087190736
deleting IPC queue 2087223505
deleting IPC queue 2087256274
deleting IPC queue 2087289043
deleting IPC queue 2087321812
deleting IPC queue 2087354581
deleting IPC queue 2087387350
deleting IPC queue 2087420119
deleting IPC queue 2087452888
deleting IPC queue 2087485657
deleting IPC queue 2087518426
deleting IPC queue 2087551195
deleting IPC queue 2087583964
deleting IPC queue 2087616733
deleting IPC queue 2087649502
deleting IPC queue 2087682271
deleting IPC queue 2087715040
deleting IPC queue 2087747809
deleting IPC queue 2087780578
deleting IPC queue 2087813347
deleting IPC queue 2087846116
deleting IPC queue 2087878885
deleting IPC queue 2087911654
deleting IPC queue 2087944423
deleting IPC queue 2087977192
deleting IPC queue 2088009961
deleting IPC queue 2088042730
deleting IPC queue 2088075499
deleting IPC queue 2088108268
deleting IPC queue 2088141037
deleting IPC queue 2088173806
deleting IPC queue 2088206575
deleting IPC queue 2088239344
deleting IPC queue 2088272113
deleting IPC queue 2088304882
deleting IPC queue 2088337651
deleting IPC queue 2088370420
deleting IPC queue 2088403189
deleting IPC queue 2088435958
deleting IPC queue 2088468727
deleting IPC queue 2088501496
deleting IPC queue 2088534265
deleting IPC queue 2088567034
deleting IPC queue 2088599803
deleting IPC queue 2088632572
deleting IPC queue 2088665341
deleting IPC queue 2088698110
deleting IPC queue 2088730879

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9888.69
system time used= 112.851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234414
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= 8612038
involuntary context switches= 3473922

runsolver used 3.2362 second user time and 10.7247 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 00:56:04
IDJOB=1780932
IDBENCH=71080
IDSOLVER=631
FILE ID=xenhost3-49/1780932-1244847364
PBS_JOBID=
Free space on /tmp= 7025 MiB

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

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

MD5SUM BENCH= 54c22a62e5d0a640d4ea8d185b9b1fc7
RANDOM SEED= 1232935119

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:      19127360 kB
Buffers:        435604 kB
Cached:       14115300 kB
SwapCached:          0 kB
Active:        4080332 kB
Inactive:     10478300 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            3328 kB
Writeback:           0 kB
AnonPages:        7048 kB
Mapped:           3652 kB
Slab:           689452 kB
SReclaimable:   662628 kB
SUnreclaim:      26824 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29372 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7025 MiB
End job on xenhost3-49 at 2009-06-13 01:08:15