Trace number 1776357

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.1 838.505

General information on the benchmark

Nameindustrial/grieu/
vmpc_29.cnf
MD5SUM1e81246225c81a67548d334d1dfcc24b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark113.29
Satisfiable
(Un)Satisfiability was proved
Number of variables841
Number of clauses120147
Sum of the clauses size314766
Maximum clause length29
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 247183
Number of clauses of size 372906
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 558

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-1776357-1244746488/watcher-1776357-1244746488 -o /tmp/evaluation-result-1776357-1244746488/solver-1776357-1244746488 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776357-1244746488.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.00 8.73 10.21 2/184 31761
/proc/meminfo: memFree=19140124/36427776 swapFree=4804/9012
[pid=31761] ppid=31759 vsize=8428 CPUtime=0
/proc/31761/stat : 31761 (satake) D 31759 31761 27791 0 -1 4202496 490 0 0 0 0 0 0 0 20 0 16 0 633955123 8630272 445 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31761/statm: 2107 445 63 164 0 1942 0
[pid=31761/tid=31762] ppid=31759 vsize=8564 CPUtime=0
/proc/31761/task/31762/stat : 31762 (satake) S 31759 31761 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 16 0 633955123 8769536 453 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=31761/tid=31763] ppid=31759 vsize=8564 CPUtime=0
/proc/31761/task/31763/stat : 31763 (satake) S 31759 31761 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 16 0 633955123 8769536 454 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=31761/tid=31764] ppid=31759 vsize=8564 CPUtime=0
/proc/31761/task/31764/stat : 31764 (satake) R 31759 31761 27791 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 16 0 633955123 8769536 455 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31761/tid=31765] ppid=31759 vsize=8564 CPUtime=0
/proc/31761/task/31765/stat : 31765 (satake) R 31759 31761 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 16 0 633955123 8769536 455 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31761/tid=31766] ppid=31759 vsize=8564 CPUtime=0
/proc/31761/task/31766/stat : 31766 (satake) R 31759 31761 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 16 0 633955123 8769536 458 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31761/tid=31767] ppid=31759 vsize=8564 CPUtime=0
/proc/31761/task/31767/stat : 31767 (satake) R 31759 31761 27791 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 16 0 633955123 8769536 459 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31761/tid=31768] ppid=31759 vsize=8564 CPUtime=0
/proc/31761/task/31768/stat : 31768 (satake) R 31759 31761 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 16 0 633955124 8769536 459 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31761/tid=31769] ppid=31759 vsize=8564 CPUtime=0
/proc/31761/task/31769/stat : 31769 (satake) D 31759 31761 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 16 0 633955124 8769536 463 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31761/tid=31770] ppid=31759 vsize=8564 CPUtime=0
/proc/31761/task/31770/stat : 31770 (satake) D 31759 31761 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 16 0 633955124 8769536 463 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31761/tid=31771] ppid=31759 vsize=8564 CPUtime=0
/proc/31761/task/31771/stat : 31771 (satake) S 31759 31761 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 633955124 8769536 463 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=31761/tid=31772] ppid=31759 vsize=8564 CPUtime=0
/proc/31761/task/31772/stat : 31772 (satake) D 31759 31761 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 16 0 633955124 8769536 465 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31761/tid=31773] ppid=31759 vsize=8564 CPUtime=0
/proc/31761/task/31773/stat : 31773 (satake) R 31759 31761 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 16 0 633955124 8769536 467 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31761/tid=31774] ppid=31759 vsize=8564 CPUtime=0
/proc/31761/task/31774/stat : 31774 (satake) R 31759 31761 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 16 0 633955124 8769536 468 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31761/tid=31775] ppid=31759 vsize=8564 CPUtime=0
/proc/31761/task/31775/stat : 31775 (satake) R 31759 31761 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 633955124 8769536 470 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31761/tid=31776] ppid=31759 vsize=8564 CPUtime=0
/proc/31761/task/31776/stat : 31776 (satake) D 31759 31761 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 633955124 8769536 471 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31761/tid=31777] ppid=31759 vsize=8564 CPUtime=0
/proc/31761/task/31777/stat : 31777 (satake) R 31759 31761 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 17 0 633955124 8769536 471 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0

[startup+0.062892 s]
/proc/loadavg: 5.00 8.73 10.21 2/184 31761
/proc/meminfo: memFree=19140124/36427776 swapFree=4804/9012
[pid=31761] ppid=31759 vsize=28320 CPUtime=0.18
/proc/31761/stat : 31761 (satake) S 31759 31761 27791 0 -1 4202496 4826 0 0 0 2 16 0 0 20 0 17 0 633955123 28999680 4765 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31761/statm: 7080 4766 63 164 0 6915 0
[pid=31761/tid=31762] ppid=31759 vsize=28320 CPUtime=0
/proc/31761/task/31762/stat : 31762 (satake) S 31759 31761 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 633955123 28999680 4768 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=31761/tid=31763] ppid=31759 vsize=28320 CPUtime=0
/proc/31761/task/31763/stat : 31763 (satake) D 31759 31761 27791 0 -1 4202560 134 0 0 0 0 0 0 0 20 0 17 0 633955123 28999680 4769 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31761/tid=31764] ppid=31759 vsize=28320 CPUtime=0.02
/proc/31761/task/31764/stat : 31764 (satake) S 31759 31761 27791 0 -1 4202560 466 0 0 0 0 2 0 0 20 0 17 0 633955123 28999680 4769 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=31761/tid=31765] ppid=31759 vsize=28320 CPUtime=0
/proc/31761/task/31765/stat : 31765 (satake) D 31759 31761 27791 0 -1 4202560 115 0 0 0 0 0 0 0 20 0 17 0 633955123 28999680 4769 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31761/tid=31766] ppid=31759 vsize=28576 CPUtime=0.02
/proc/31761/task/31766/stat : 31766 (satake) R 31759 31761 27791 0 -1 4202560 449 0 0 0 0 2 0 0 20 0 17 0 633955123 29261824 4769 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31761/tid=31767] ppid=31759 vsize=28576 CPUtime=0
/proc/31761/task/31767/stat : 31767 (satake) R 31759 31761 27791 0 -1 4202560 247 0 0 0 0 0 0 0 20 0 17 0 633955123 29261824 4772 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31761/tid=31768] ppid=31759 vsize=28576 CPUtime=0.02
/proc/31761/task/31768/stat : 31768 (satake) D 31759 31761 27791 0 -1 4202560 441 0 0 0 0 2 0 0 20 0 17 0 633955124 29261824 4773 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31761/tid=31769] ppid=31759 vsize=28576 CPUtime=0.02
/proc/31761/task/31769/stat : 31769 (satake) R 31759 31761 27791 0 -1 4202560 458 0 0 0 0 2 0 0 20 0 17 0 633955124 29261824 4773 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31761/tid=31770] ppid=31759 vsize=28576 CPUtime=0.02
/proc/31761/task/31770/stat : 31770 (satake) D 31759 31761 27791 0 -1 4202560 462 0 0 0 0 2 0 0 20 0 17 0 633955124 29261824 4773 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31761/tid=31771] ppid=31759 vsize=28576 CPUtime=0
/proc/31761/task/31771/stat : 31771 (satake) D 31759 31761 27791 0 -1 4202560 95 0 0 0 0 0 0 0 20 0 17 0 633955124 29261824 4775 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31761/tid=31772] ppid=31759 vsize=28576 CPUtime=0.02
/proc/31761/task/31772/stat : 31772 (satake) R 31759 31761 27791 0 -1 4202560 439 0 0 0 0 2 0 0 20 0 17 0 633955124 29261824 4775 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31761/tid=31773] ppid=31759 vsize=28576 CPUtime=0
/proc/31761/task/31773/stat : 31773 (satake) R 31759 31761 27791 0 -1 4202560 340 0 0 0 0 0 0 0 20 0 17 0 633955124 29261824 4775 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31761/tid=31774] ppid=31759 vsize=28576 CPUtime=0.02
/proc/31761/task/31774/stat : 31774 (satake) S 31759 31761 27791 0 -1 4202560 442 0 0 0 0 2 0 0 20 0 17 0 633955124 29261824 4775 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=31761/tid=31775] ppid=31759 vsize=28576 CPUtime=0
/proc/31761/task/31775/stat : 31775 (satake) R 31759 31761 27791 0 -1 4202560 90 0 0 0 0 0 0 0 20 0 17 0 633955124 29261824 4777 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31761/tid=31776] ppid=31759 vsize=28576 CPUtime=0
/proc/31761/task/31776/stat : 31776 (satake) R 31759 31761 27791 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 17 0 633955124 29261824 4778 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31761/tid=31777] ppid=31759 vsize=28576 CPUtime=0.02
/proc/31761/task/31777/stat : 31777 (satake) R 31759 31761 27791 0 -1 4202560 443 0 0 0 2 0 0 0 20 0 17 0 633955124 29261824 4780 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 28320

[startup+0.102898 s]
/proc/loadavg: 5.00 8.73 10.21 2/184 31761
/proc/meminfo: memFree=19140124/36427776 swapFree=4804/9012
[pid=31761] ppid=31759 vsize=31792 CPUtime=0.36
/proc/31761/stat : 31761 (satake) S 31759 31761 27791 0 -1 4202496 6307 0 0 0 6 30 0 0 20 0 17 0 633955123 32555008 6246 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31761/statm: 7948 6247 63 164 0 7783 0
[pid=31761/tid=31762] ppid=31759 vsize=31792 CPUtime=0
/proc/31761/task/31762/stat : 31762 (satake) S 31759 31761 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 633955123 32555008 6247 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=31761/tid=31763] ppid=31759 vsize=31792 CPUtime=0
/proc/31761/task/31763/stat : 31763 (satake) R 31759 31761 27791 0 -1 4202560 302 0 0 0 0 0 0 0 20 0 17 0 633955123 32555008 6248 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31761/tid=31764] ppid=31759 vsize=31792 CPUtime=0.02
/proc/31761/task/31764/stat : 31764 (satake) S 31759 31761 27791 0 -1 4202560 503 0 0 0 0 2 0 0 20 0 17 0 633955123 32555008 6249 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=31761/tid=31765] ppid=31759 vsize=31792 CPUtime=0
/proc/31761/task/31765/stat : 31765 (satake) D 31759 31761 27791 0 -1 4202560 274 0 0 0 0 0 0 0 20 0 17 0 633955123 32555008 6249 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31761/tid=31766] ppid=31759 vsize=31792 CPUtime=0.02
/proc/31761/task/31766/stat : 31766 (satake) D 31759 31761 27791 0 -1 4202560 502 0 0 0 0 2 0 0 20 0 17 0 633955123 32555008 6251 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31761/tid=31767] ppid=31759 vsize=31792 CPUtime=0.02
/proc/31761/task/31767/stat : 31767 (satake) R 31759 31761 27791 0 -1 4202560 467 0 0 0 0 2 0 0 20 0 17 0 633955123 32555008 6252 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31761/tid=31768] ppid=31759 vsize=31792 CPUtime=0.02
/proc/31761/task/31768/stat : 31768 (satake) S 31759 31761 27791 0 -1 4202560 498 0 0 0 0 2 0 0 20 0 17 0 633955124 32555008 6256 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=31761/tid=31769] ppid=31759 vsize=31792 CPUtime=0.04
/proc/31761/task/31769/stat : 31769 (satake) R 31759 31761 27791 0 -1 4202560 513 0 0 0 0 4 0 0 20 0 17 0 633955124 32555008 6262 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31761/tid=31770] ppid=31759 vsize=31792 CPUtime=0.04
/proc/31761/task/31770/stat : 31770 (satake) R 31759 31761 27791 0 -1 4202560 535 0 0 0 0 4 0 0 20 0 17 0 633955124 32555008 6269 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31761/tid=31771] ppid=31759 vsize=31792 CPUtime=0
/proc/31761/task/31771/stat : 31771 (satake) R 31759 31761 27791 0 -1 4202560 218 0 0 0 0 0 0 0 20 0 17 0 633955124 32555008 6270 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31761/tid=31772] ppid=31759 vsize=31792 CPUtime=0.02
/proc/31761/task/31772/stat : 31772 (satake) S 31759 31761 27791 0 -1 4202560 482 0 0 0 0 2 0 0 20 0 17 0 633955124 32555008 6271 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=31761/tid=31773] ppid=31759 vsize=31792 CPUtime=0.02
/proc/31761/task/31773/stat : 31773 (satake) R 31759 31761 27791 0 -1 4202560 467 0 0 0 0 2 0 0 20 0 17 0 633955124 32555008 6272 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31761/tid=31774] ppid=31759 vsize=31792 CPUtime=0.02
/proc/31761/task/31774/stat : 31774 (satake) R 31759 31761 27791 0 -1 4202560 482 0 0 0 0 2 0 0 20 0 17 0 633955124 32555008 6273 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31761/tid=31775] ppid=31759 vsize=31792 CPUtime=0
/proc/31761/task/31775/stat : 31775 (satake) D 31759 31761 27791 0 -1 4202560 240 0 0 0 0 0 0 0 20 0 17 0 633955124 32555008 6273 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31761/tid=31776] ppid=31759 vsize=31792 CPUtime=0
/proc/31761/task/31776/stat : 31776 (satake) D 31759 31761 27791 0 -1 4202560 240 0 0 0 0 0 0 0 20 0 17 0 633955124 32555008 6273 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31761/tid=31777] ppid=31759 vsize=31792 CPUtime=0.02
/proc/31761/task/31777/stat : 31777 (satake) D 31759 31761 27791 0 -1 4202560 471 0 0 0 2 0 0 0 20 0 17 0 633955124 32555008 6273 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 31792

[startup+0.303663 s]
/proc/loadavg: 5.00 8.73 10.21 2/184 31761
/proc/meminfo: memFree=19140124/36427776 swapFree=4804/9012
[pid=31761] ppid=31759 vsize=53296 CPUtime=1.22
/proc/31761/stat : 31761 (satake) S 31759 31761 27791 0 -1 4202496 11398 0 0 0 44 78 0 0 20 0 17 0 633955123 54575104 11337 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31761/statm: 13324 11337 63 164 0 13159 0
[pid=31761/tid=31762] ppid=31759 vsize=53296 CPUtime=0
/proc/31761/task/31762/stat : 31762 (satake) S 31759 31761 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 633955123 54575104 11337 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=31761/tid=31763] ppid=31759 vsize=53296 CPUtime=0.06
/proc/31761/task/31763/stat : 31763 (satake) S 31759 31761 27791 0 -1 4202560 687 0 0 0 6 0 0 0 20 0 17 0 633955123 54575104 11337 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=31761/tid=31764] ppid=31759 vsize=53296 CPUtime=0.08
/proc/31761/task/31764/stat : 31764 (satake) S 31759 31761 27791 0 -1 4202560 848 0 0 0 4 4 0 0 20 0 17 0 633955123 54575104 11337 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=31761/tid=31765] ppid=31759 vsize=53296 CPUtime=0.06
/proc/31761/task/31765/stat : 31765 (satake) D 31759 31761 27791 0 -1 4202560 738 0 0 0 2 4 0 0 20 0 17 0 633955123 54575104 11337 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31761/tid=31766] ppid=31759 vsize=53296 CPUtime=0.08
/proc/31761/task/31766/stat : 31766 (satake) D 31759 31761 27791 0 -1 4202560 803 0 0 0 2 6 0 0 20 0 17 0 633955123 54575104 11337 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31761/tid=31767] ppid=31759 vsize=53296 CPUtime=0.08
/proc/31761/task/31767/stat : 31767 (satake) D 31759 31761 27791 0 -1 4202560 799 0 0 0 0 8 0 0 20 0 17 0 633955123 54575104 11337 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31761/tid=31768] ppid=31759 vsize=53296 CPUtime=0.08
/proc/31761/task/31768/stat : 31768 (satake) S 31759 31761 27791 0 -1 4202560 761 0 0 0 2 6 0 0 20 0 17 0 633955124 54575104 11337 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=31761/tid=31769] ppid=31759 vsize=53296 CPUtime=0.14
/proc/31761/task/31769/stat : 31769 (satake) D 31759 31761 27791 0 -1 4202560 994 0 0 0 6 8 0 0 20 0 17 0 633955124 54575104 11337 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31761/tid=31770] ppid=31759 vsize=53296 CPUtime=0.12
/proc/31761/task/31770/stat : 31770 (satake) D 31759 31761 27791 0 -1 4202560 987 0 0 0 6 6 0 0 20 0 17 0 633955124 54575104 11337 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31761/tid=31771] ppid=31759 vsize=53296 CPUtime=0.02
/proc/31761/task/31771/stat : 31771 (satake) S 31759 31761 27791 0 -1 4202560 547 0 0 0 0 2 0 0 20 0 17 0 633955124 54575104 11337 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=31761/tid=31772] ppid=31759 vsize=53296 CPUtime=0.06
/proc/31761/task/31772/stat : 31772 (satake) S 31759 31761 27791 0 -1 4202560 674 0 0 0 2 4 0 0 20 0 17 0 633955124 54575104 11337 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=31761/tid=31773] ppid=31759 vsize=53296 CPUtime=0.06
/proc/31761/task/31773/stat : 31773 (satake) R 31759 31761 27791 0 -1 4202560 696 0 0 0 0 6 0 0 20 0 17 0 633955124 54575104 11337 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31761/tid=31774] ppid=31759 vsize=53296 CPUtime=0.1
/proc/31761/task/31774/stat : 31774 (satake) D 31759 31761 27791 0 -1 4202560 826 0 0 0 0 10 0 0 20 0 17 0 633955124 54575104 11337 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31761/tid=31775] ppid=31759 vsize=53296 CPUtime=0.06
/proc/31761/task/31775/stat : 31775 (satake) S 31759 31761 27791 0 -1 4202560 613 0 0 0 2 4 0 0 20 0 17 0 633955124 54575104 11337 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=31761/tid=31776] ppid=31759 vsize=53296 CPUtime=0.04
/proc/31761/task/31776/stat : 31776 (satake) D 31759 31761 27791 0 -1 4202560 584 0 0 0 4 0 0 0 20 0 17 0 633955124 54575104 11337 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31761/tid=31777] ppid=31759 vsize=53296 CPUtime=0.08
/proc/31761/task/31777/stat : 31777 (satake) S 31759 31761 27791 0 -1 4202560 709 0 0 0 4 4 0 0 20 0 17 0 633955124 54575104 11337 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 53296

[startup+0.704765 s]
/proc/loadavg: 5.00 8.73 10.21 2/184 31761
/proc/meminfo: memFree=19140124/36427776 swapFree=4804/9012
[pid=31761] ppid=31759 vsize=79604 CPUtime=2.96
/proc/31761/stat : 31761 (satake) S 31759 31761 27791 0 -1 4202496 19338 0 0 0 146 150 0 0 20 0 17 0 633955123 81514496 17617 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31761/statm: 19901 17620 66 164 0 19736 0
[pid=31761/tid=31762] ppid=31759 vsize=79604 CPUtime=0
/proc/31761/task/31762/stat : 31762 (satake) S 31759 31761 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 633955123 81514496 17621 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=31761/tid=31763] ppid=31759 vsize=79604 CPUtime=0.18
/proc/31761/task/31763/stat : 31763 (satake) R 31759 31761 27791 0 -1 4202560 1277 0 0 0 8 10 0 0 20 0 17 0 633955123 81514496 17622 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31761/tid=31764] ppid=31759 vsize=79604 CPUtime=0.24
/proc/31761/task/31764/stat : 31764 (satake) R 31759 31761 27791 0 -1 4202560 1436 0 0 0 16 8 0 0 20 0 17 0 633955123 81514496 17622 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134522959 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31761/tid=31765] ppid=31759 vsize=79604 CPUtime=0.16
/proc/31761/task/31765/stat : 31765 (satake) D 31759 31761 27791 0 -1 4202560 1326 0 0 0 4 12 0 0 20 0 17 0 633955123 81514496 17622 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31761/tid=31766] ppid=31759 vsize=79604 CPUtime=0.22
/proc/31761/task/31766/stat : 31766 (satake) S 31759 31761 27791 0 -1 4202560 1477 0 0 0 12 10 0 0 20 0 17 0 633955123 81514496 17625 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=31761/tid=31767] ppid=31759 vsize=79604 CPUtime=0.22
/proc/31761/task/31767/stat : 31767 (satake) D 31759 31761 27791 0 -1 4202560 1416 0 0 0 10 12 0 0 20 0 17 0 633955123 81514496 17626 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31761/tid=31768] ppid=31759 vsize=79604 CPUtime=0.16
/proc/31761/task/31768/stat : 31768 (satake) R 31759 31761 27791 0 -1 4202560 1177 0 0 0 4 12 0 0 20 0 17 0 633955124 81514496 17627 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31761/tid=31769] ppid=31759 vsize=79604 CPUtime=0.26
/proc/31761/task/31769/stat : 31769 (satake) S 31759 31761 27791 0 -1 4202560 1569 0 0 0 18 8 0 0 20 0 17 0 633955124 81514496 17628 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=31761/tid=31770] ppid=31759 vsize=79604 CPUtime=0.24
/proc/31761/task/31770/stat : 31770 (satake) R 31759 31761 27791 0 -1 4202560 1553 0 0 0 14 10 0 0 20 0 17 0 633955124 81514496 17628 18446744073709551615 134512640 135180984 4294014464 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31761/tid=31771] ppid=31759 vsize=79604 CPUtime=0.12

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

deleting IPC queue 480706638
deleting IPC queue 480739407
deleting IPC queue 480772176
deleting IPC queue 480804945
deleting IPC queue 480837714
deleting IPC queue 480870483
deleting IPC queue 480903252
deleting IPC queue 480936021
deleting IPC queue 480968790
deleting IPC queue 481001559
deleting IPC queue 481034328
deleting IPC queue 481067097
deleting IPC queue 481099866
deleting IPC queue 481132635
deleting IPC queue 481165404
deleting IPC queue 481198173
deleting IPC queue 481230942
deleting IPC queue 481263711
deleting IPC queue 481296480
deleting IPC queue 481329249
deleting IPC queue 481362018
deleting IPC queue 481394787
deleting IPC queue 481427556
deleting IPC queue 481460325
deleting IPC queue 481493094
deleting IPC queue 481525863
deleting IPC queue 481558632
deleting IPC queue 481591401
deleting IPC queue 481624170
deleting IPC queue 481656939
deleting IPC queue 481689708
deleting IPC queue 481722477
deleting IPC queue 481755246
deleting IPC queue 481788015
deleting IPC queue 481820784
deleting IPC queue 481853553
deleting IPC queue 481886322
deleting IPC queue 481919091
deleting IPC queue 481951860
deleting IPC queue 481984629
deleting IPC queue 482017398
deleting IPC queue 482050167
deleting IPC queue 482082936
deleting IPC queue 482115705
deleting IPC queue 482148474
deleting IPC queue 482181243
deleting IPC queue 482214012
deleting IPC queue 482246781
deleting IPC queue 482279550
deleting IPC queue 482312319
deleting IPC queue 482345088
deleting IPC queue 482377857
deleting IPC queue 482410626
deleting IPC queue 482443395
deleting IPC queue 482476164
deleting IPC queue 482508933
deleting IPC queue 482541702
deleting IPC queue 482574471
deleting IPC queue 482607240
deleting IPC queue 482640009
deleting IPC queue 482672778
deleting IPC queue 482705547
deleting IPC queue 482738316
deleting IPC queue 482771085
deleting IPC queue 482803854
deleting IPC queue 482836623
deleting IPC queue 482869392
deleting IPC queue 482902161
deleting IPC queue 482934930
deleting IPC queue 482967699
deleting IPC queue 483000468
deleting IPC queue 483033237
deleting IPC queue 483066006
deleting IPC queue 483098775
deleting IPC queue 483131544
deleting IPC queue 483164313
deleting IPC queue 483197082
deleting IPC queue 483229851
deleting IPC queue 483262620
deleting IPC queue 483295389
deleting IPC queue 483328158
deleting IPC queue 483360927
deleting IPC queue 483393696
deleting IPC queue 483426465
deleting IPC queue 483459234
deleting IPC queue 483492003
deleting IPC queue 483524772
deleting IPC queue 483557541
deleting IPC queue 483590310
deleting IPC queue 483623079
deleting IPC queue 483655848
deleting IPC queue 483688617
deleting IPC queue 483721386
deleting IPC queue 483754155
deleting IPC queue 483786924
deleting IPC queue 483819693
deleting IPC queue 483852462
deleting IPC queue 483885231
deleting IPC queue 483918000
deleting IPC queue 483950769
deleting IPC queue 483983538
deleting IPC queue 484016307
deleting IPC queue 484049076
deleting IPC queue 484081845
deleting IPC queue 484114614
deleting IPC queue 484147383
deleting IPC queue 484180152
deleting IPC queue 484212921
deleting IPC queue 484245690
deleting IPC queue 484278459
deleting IPC queue 484311228
deleting IPC queue 484343997
deleting IPC queue 484376766
deleting IPC queue 484409535
deleting IPC queue 484442304
deleting IPC queue 484475073
deleting IPC queue 484507842
deleting IPC queue 484540611
deleting IPC queue 484573380
deleting IPC queue 484606149
deleting IPC queue 484638918
deleting IPC queue 484671687
deleting IPC queue 484704456
deleting IPC queue 484737225
deleting IPC queue 484769994
deleting IPC queue 484802763
deleting IPC queue 484835532
deleting IPC queue 484868301
deleting IPC queue 484901070
deleting IPC queue 484933839
deleting IPC queue 484966608
deleting IPC queue 484999377
deleting IPC queue 485032146
deleting IPC queue 485064915
deleting IPC queue 485097684
deleting IPC queue 485130453
deleting IPC queue 485163222
deleting IPC queue 485195991
deleting IPC queue 485228760
deleting IPC queue 485261529
deleting IPC queue 485294298
deleting IPC queue 485327067
deleting IPC queue 485359836
deleting IPC queue 485392605
deleting IPC queue 485425374
deleting IPC queue 485458143
deleting IPC queue 485490912
deleting IPC queue 485523681
deleting IPC queue 485556450
deleting IPC queue 485589219
deleting IPC queue 485621988
deleting IPC queue 485654757
deleting IPC queue 485687526
deleting IPC queue 485720295
deleting IPC queue 485753064
deleting IPC queue 485785833
deleting IPC queue 485818602
deleting IPC queue 485851371
deleting IPC queue 485884140
deleting IPC queue 485916909
deleting IPC queue 485949678
deleting IPC queue 485982447
deleting IPC queue 486015216
deleting IPC queue 486047985
deleting IPC queue 486080754
deleting IPC queue 486113523
deleting IPC queue 486146292
deleting IPC queue 486179061
deleting IPC queue 486211830
deleting IPC queue 486244599
deleting IPC queue 486277368
deleting IPC queue 486310137
deleting IPC queue 486342906
deleting IPC queue 486375675
deleting IPC queue 486408444
deleting IPC queue 486441213
deleting IPC queue 486473982
deleting IPC queue 486506751

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9674.91
system time used= 326.232
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249815
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= 28291422
involuntary context switches= 11936837

runsolver used 3.93224 second user time and 11.6567 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 20:54:48
IDJOB=1776357
IDBENCH=20491
IDSOLVER=631
FILE ID=xenhost3-49/1776357-1244746488
PBS_JOBID=
Free space on /tmp= 7038 MiB

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

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

MD5SUM BENCH= 1e81246225c81a67548d334d1dfcc24b
RANDOM SEED= 1065121724

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:      19140124 kB
Buffers:        432368 kB
Cached:       14102724 kB
SwapCached:          0 kB
Active:        4077696 kB
Inactive:     10466052 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2000 kB
Writeback:           0 kB
AnonPages:        9012 kB
Mapped:           4140 kB
Slab:           687500 kB
SReclaimable:   660840 kB
SUnreclaim:      26660 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7038 MiB
End job on xenhost3-49 at 2009-06-11 21:08:48