Trace number 1776447

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)UNSAT 2296.91 922.156

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
MD5SUM9158de01004aff62af67cbb9db5bcbbb
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark395.12
Satisfiable
(Un)Satisfiability was proved
Number of variables24604
Number of clauses261473
Sum of the clauses size744579
Maximum clause length73
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2238933
Number of clauses of size 36442
Number of clauses of size 41972
Number of clauses of size 52972
Number of clauses of size over 511153

Solver Data 

2296.83/922.11	c Benchmark name    : HOME/instance-1776447-1244749015.cnf
2296.83/922.11	c Thread Num        :           16
2296.83/922.11	c restarts          :           17
2296.83/922.11	c conflicts         :       172281
2296.83/922.11	c decisions         :       763822           (      830 / sec      )
2296.83/922.11	c propagations      :     49306849           (    53605 / sec      )
2296.83/922.11	c inspects          :    661891703           (   719592 / sec      )
2296.83/922.11	c conflict literals :      9602080           (    44.16 % deleted  )
2296.83/922.11	c cpu time          :       919.82           
2296.83/922.11	s UNSATISFIABLE

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-1776447-1244749015/watcher-1776447-1244749015 -o /tmp/evaluation-result-1776447-1244749015/solver-1776447-1244749015 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776447-1244749015.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: 9.33 9.90 11.30 2/184 32136
/proc/meminfo: memFree=19137008/36427776 swapFree=3360/7720
[pid=32136] ppid=32134 vsize=7608 CPUtime=0
/proc/32136/stat : 32136 (satake) D 32134 32136 27791 0 -1 4202496 565 0 0 0 0 0 0 0 20 0 16 0 634207886 7790592 514 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/32136/statm: 1934 514 63 164 0 1769 0
[pid=32136/tid=32137] ppid=32134 vsize=8000 CPUtime=0
/proc/32136/task/32137/stat : 32137 (satake) S 32134 32136 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634207886 8192000 522 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=32136/tid=32138] ppid=32134 vsize=8000 CPUtime=0
/proc/32136/task/32138/stat : 32138 (satake) R 32134 32136 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 17 0 634207886 8192000 525 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32136/tid=32139] ppid=32134 vsize=8000 CPUtime=0
/proc/32136/task/32139/stat : 32139 (satake) R 32134 32136 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 17 0 634207886 8192000 526 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32136/tid=32140] ppid=32134 vsize=8000 CPUtime=0
/proc/32136/task/32140/stat : 32140 (satake) R 32134 32136 27791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 17 0 634207886 8192000 526 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32136/tid=32141] ppid=32134 vsize=8000 CPUtime=0
/proc/32136/task/32141/stat : 32141 (satake) R 32134 32136 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 17 0 634207886 8192000 526 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32136/tid=32142] ppid=32134 vsize=8000 CPUtime=0
/proc/32136/task/32142/stat : 32142 (satake) S 32134 32136 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 634207886 8192000 538 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=32136/tid=32143] ppid=32134 vsize=8000 CPUtime=0
/proc/32136/task/32143/stat : 32143 (satake) R 32134 32136 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 634207886 8192000 549 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32136/tid=32144] ppid=32134 vsize=8000 CPUtime=0
/proc/32136/task/32144/stat : 32144 (satake) R 32134 32136 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 17 0 634207886 8192000 558 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32136/tid=32145] ppid=32134 vsize=8000 CPUtime=0
/proc/32136/task/32145/stat : 32145 (satake) R 32134 32136 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 17 0 634207886 8192000 567 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32136/tid=32146] ppid=32134 vsize=8000 CPUtime=0
/proc/32136/task/32146/stat : 32146 (satake) S 32134 32136 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 634207886 8192000 572 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=32136/tid=32147] ppid=32134 vsize=8000 CPUtime=0
/proc/32136/task/32147/stat : 32147 (satake) R 32134 32136 27791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 17 0 634207886 8192000 579 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32136/tid=32148] ppid=32134 vsize=8000 CPUtime=0
/proc/32136/task/32148/stat : 32148 (satake) S 32134 32136 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 634207886 8192000 588 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=32136/tid=32149] ppid=32134 vsize=8000 CPUtime=0
/proc/32136/task/32149/stat : 32149 (satake) S 32134 32136 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 634207886 8192000 599 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=32136/tid=32150] ppid=32134 vsize=8000 CPUtime=0
/proc/32136/task/32150/stat : 32150 (satake) D 32134 32136 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 17 0 634207886 8192000 599 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32136/tid=32151] ppid=32134 vsize=8260 CPUtime=0
/proc/32136/task/32151/stat : 32151 (satake) S 32134 32136 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 634207887 8458240 599 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=32136/tid=32152] ppid=32134 vsize=8128 CPUtime=0
/proc/32136/task/32152/stat : 32152 (satake) D 32134 32136 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 634207887 8323072 601 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.090192 s]
/proc/loadavg: 9.33 9.90 11.30 2/184 32136
/proc/meminfo: memFree=19137008/36427776 swapFree=3360/7720
[pid=32136] ppid=32134 vsize=44956 CPUtime=0.58
/proc/32136/stat : 32136 (satake) S 32134 32136 27791 0 -1 4202496 6963 0 0 0 0 58 0 0 20 0 17 0 634207886 46034944 6897 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/32136/statm: 11751 6906 63 164 0 11586 0
[pid=32136/tid=32137] ppid=32134 vsize=47004 CPUtime=0
/proc/32136/task/32137/stat : 32137 (satake) S 32134 32136 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634207886 48132096 6908 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=32136/tid=32138] ppid=32134 vsize=47004 CPUtime=0.04
/proc/32136/task/32138/stat : 32138 (satake) R 32134 32136 27791 0 -1 4202560 712 0 0 0 0 4 0 0 20 0 17 0 634207886 48132096 6910 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32136/tid=32139] ppid=32134 vsize=47004 CPUtime=0.04
/proc/32136/task/32139/stat : 32139 (satake) R 32134 32136 27791 0 -1 4202560 471 0 0 0 0 4 0 0 20 0 17 0 634207886 48132096 6910 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32136/tid=32140] ppid=32134 vsize=47004 CPUtime=0
/proc/32136/task/32140/stat : 32140 (satake) R 32134 32136 27791 0 -1 4202560 167 0 0 0 0 0 0 0 20 0 17 0 634207886 48132096 6911 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32136/tid=32141] ppid=32134 vsize=47004 CPUtime=0.06
/proc/32136/task/32141/stat : 32141 (satake) R 32134 32136 27791 0 -1 4202560 576 0 0 0 0 6 0 0 20 0 17 0 634207886 48132096 6911 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32136/tid=32142] ppid=32134 vsize=47004 CPUtime=0.04
/proc/32136/task/32142/stat : 32142 (satake) R 32134 32136 27791 0 -1 4202560 513 0 0 0 0 4 0 0 20 0 17 0 634207886 48132096 6911 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32136/tid=32143] ppid=32134 vsize=47004 CPUtime=0.04
/proc/32136/task/32143/stat : 32143 (satake) R 32134 32136 27791 0 -1 4202560 564 0 0 0 0 4 0 0 20 0 17 0 634207886 48132096 6911 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32136/tid=32144] ppid=32134 vsize=47004 CPUtime=0.06
/proc/32136/task/32144/stat : 32144 (satake) R 32134 32136 27791 0 -1 4202560 631 0 0 0 0 6 0 0 20 0 17 0 634207886 48132096 6911 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32136/tid=32145] ppid=32134 vsize=47004 CPUtime=0.06
/proc/32136/task/32145/stat : 32145 (satake) R 32134 32136 27791 0 -1 4202560 641 0 0 0 0 6 0 0 20 0 17 0 634207886 48132096 6911 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32136/tid=32146] ppid=32134 vsize=47004 CPUtime=0.02
/proc/32136/task/32146/stat : 32146 (satake) R 32134 32136 27791 0 -1 4202560 273 0 0 0 0 2 0 0 20 0 17 0 634207886 48132096 6911 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32136/tid=32147] ppid=32134 vsize=47004 CPUtime=0.02
/proc/32136/task/32147/stat : 32147 (satake) R 32134 32136 27791 0 -1 4202560 255 0 0 0 0 2 0 0 20 0 17 0 634207886 48132096 6911 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32136/tid=32148] ppid=32134 vsize=47004 CPUtime=0.06
/proc/32136/task/32148/stat : 32148 (satake) R 32134 32136 27791 0 -1 4202560 500 0 0 0 0 6 0 0 20 0 17 0 634207886 48132096 6911 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32136/tid=32149] ppid=32134 vsize=47004 CPUtime=0.04
/proc/32136/task/32149/stat : 32149 (satake) R 32134 32136 27791 0 -1 4202560 530 0 0 0 0 4 0 0 20 0 17 0 634207886 48132096 6911 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=32136/tid=32150] ppid=32134 vsize=47004 CPUtime=0.04
/proc/32136/task/32150/stat : 32150 (satake) R 32134 32136 27791 0 -1 4202560 554 0 0 0 0 4 0 0 20 0 17 0 634207886 48132096 6914 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32136/tid=32151] ppid=32134 vsize=47004 CPUtime=0.04
/proc/32136/task/32151/stat : 32151 (satake) R 32134 32136 27791 0 -1 4202560 365 0 0 0 0 4 0 0 20 0 17 0 634207887 48132096 6916 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32136/tid=32152] ppid=32134 vsize=47004 CPUtime=0
/proc/32136/task/32152/stat : 32152 (satake) R 32134 32136 27791 0 -1 4202560 92 0 0 0 0 0 0 0 20 0 17 0 634207887 48132096 6917 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 44956

[startup+0.109365 s]
/proc/loadavg: 9.33 9.90 11.30 2/184 32136
/proc/meminfo: memFree=19137008/36427776 swapFree=3360/7720
[pid=32136] ppid=32134 vsize=55708 CPUtime=0.76
/proc/32136/stat : 32136 (satake) S 32134 32136 27791 0 -1 4202496 9912 0 0 0 0 76 0 0 20 0 17 0 634207886 57044992 9845 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/32136/statm: 13927 9845 63 164 0 13762 0
[pid=32136/tid=32137] ppid=32134 vsize=55708 CPUtime=0
/proc/32136/task/32137/stat : 32137 (satake) S 32134 32136 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634207886 57044992 9845 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=32136/tid=32138] ppid=32134 vsize=55708 CPUtime=0.06
/proc/32136/task/32138/stat : 32138 (satake) R 32134 32136 27791 0 -1 4202560 1046 0 0 0 0 6 0 0 20 0 17 0 634207886 57044992 9845 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32136/tid=32139] ppid=32134 vsize=55708 CPUtime=0.04
/proc/32136/task/32139/stat : 32139 (satake) D 32134 32136 27791 0 -1 4202560 501 0 0 0 0 4 0 0 20 0 17 0 634207886 57044992 9845 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32136/tid=32140] ppid=32134 vsize=55708 CPUtime=0.02
/proc/32136/task/32140/stat : 32140 (satake) D 32134 32136 27791 0 -1 4202560 360 0 0 0 0 2 0 0 20 0 17 0 634207886 57044992 9845 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32136/tid=32141] ppid=32134 vsize=55708 CPUtime=0.08
/proc/32136/task/32141/stat : 32141 (satake) D 32134 32136 27791 0 -1 4202560 785 0 0 0 0 8 0 0 20 0 17 0 634207886 57044992 9845 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32136/tid=32142] ppid=32134 vsize=55708 CPUtime=0.04
/proc/32136/task/32142/stat : 32142 (satake) D 32134 32136 27791 0 -1 4202560 672 0 0 0 0 4 0 0 20 0 17 0 634207886 57044992 9845 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32136/tid=32143] ppid=32134 vsize=55708 CPUtime=0.06
/proc/32136/task/32143/stat : 32143 (satake) D 32134 32136 27791 0 -1 4202560 829 0 0 0 0 6 0 0 20 0 17 0 634207886 57044992 9845 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32136/tid=32144] ppid=32134 vsize=55708 CPUtime=0.06
/proc/32136/task/32144/stat : 32144 (satake) D 32134 32136 27791 0 -1 4202560 891 0 0 0 0 6 0 0 20 0 17 0 634207886 57044992 9845 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32136/tid=32145] ppid=32134 vsize=55708 CPUtime=0.06
/proc/32136/task/32145/stat : 32145 (satake) D 32134 32136 27791 0 -1 4202560 911 0 0 0 0 6 0 0 20 0 17 0 634207886 57044992 9845 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32136/tid=32146] ppid=32134 vsize=55708 CPUtime=0.02
/proc/32136/task/32146/stat : 32146 (satake) D 32134 32136 27791 0 -1 4202560 504 0 0 0 0 2 0 0 20 0 17 0 634207886 57044992 9845 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32136/tid=32147] ppid=32134 vsize=55708 CPUtime=0.02
/proc/32136/task/32147/stat : 32147 (satake) D 32134 32136 27791 0 -1 4202560 458 0 0 0 0 2 0 0 20 0 17 0 634207886 57044992 9845 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32136/tid=32148] ppid=32134 vsize=55708 CPUtime=0.06
/proc/32136/task/32148/stat : 32148 (satake) D 32134 32136 27791 0 -1 4202560 709 0 0 0 0 6 0 0 20 0 17 0 634207886 57044992 9845 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32136/tid=32149] ppid=32134 vsize=55708 CPUtime=0.06
/proc/32136/task/32149/stat : 32149 (satake) D 32134 32136 27791 0 -1 4202560 791 0 0 0 0 6 0 0 20 0 17 0 634207886 57044992 9845 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=32136/tid=32150] ppid=32134 vsize=55708 CPUtime=0.04
/proc/32136/task/32150/stat : 32150 (satake) D 32134 32136 27791 0 -1 4202560 562 0 0 0 0 4 0 0 20 0 17 0 634207886 57044992 9845 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32136/tid=32151] ppid=32134 vsize=55708 CPUtime=0.04
/proc/32136/task/32151/stat : 32151 (satake) D 32134 32136 27791 0 -1 4202560 373 0 0 0 0 4 0 0 20 0 17 0 634207887 57044992 9845 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32136/tid=32152] ppid=32134 vsize=59804 CPUtime=0.02
/proc/32136/task/32152/stat : 32152 (satake) D 32134 32136 27791 0 -1 4202560 386 0 0 0 0 2 0 0 20 0 17 0 634207887 61239296 9845 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 55708

[startup+0.304709 s]
/proc/loadavg: 9.33 9.90 11.30 2/184 32136
/proc/meminfo: memFree=19137008/36427776 swapFree=3360/7720
[pid=32136] ppid=32134 vsize=88052 CPUtime=2.1
/proc/32136/stat : 32136 (satake) S 32134 32136 27791 0 -1 4202496 19950 0 0 0 5 205 0 0 20 0 17 0 634207886 90165248 19884 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/32136/statm: 22013 19886 63 164 0 21848 0
[pid=32136/tid=32137] ppid=32134 vsize=88052 CPUtime=0
/proc/32136/task/32137/stat : 32137 (satake) S 32134 32136 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634207886 90165248 19888 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=32136/tid=32138] ppid=32134 vsize=88052 CPUtime=0.18
/proc/32136/task/32138/stat : 32138 (satake) R 32134 32136 27791 0 -1 4202560 1497 0 0 0 2 16 0 0 20 0 17 0 634207886 90165248 19889 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32136/tid=32139] ppid=32134 vsize=88052 CPUtime=0.12
/proc/32136/task/32139/stat : 32139 (satake) R 32134 32136 27791 0 -1 4202560 1289 0 0 0 0 12 0 0 20 0 17 0 634207886 90165248 19890 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32136/tid=32140] ppid=32134 vsize=88052 CPUtime=0.08
/proc/32136/task/32140/stat : 32140 (satake) R 32134 32136 27791 0 -1 4202560 1240 0 0 0 0 8 0 0 20 0 17 0 634207886 90165248 19890 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32136/tid=32141] ppid=32134 vsize=88052 CPUtime=0.18
/proc/32136/task/32141/stat : 32141 (satake) S 32134 32136 27791 0 -1 4202560 1311 0 0 0 0 18 0 0 20 0 17 0 634207886 90165248 19890 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=32136/tid=32142] ppid=32134 vsize=88052 CPUtime=0.16
/proc/32136/task/32142/stat : 32142 (satake) R 32134 32136 27791 0 -1 4202560 1370 0 0 0 0 16 0 0 20 0 17 0 634207886 90165248 19890 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32136/tid=32143] ppid=32134 vsize=88052 CPUtime=0.16
/proc/32136/task/32143/stat : 32143 (satake) R 32134 32136 27791 0 -1 4202560 1336 0 0 0 0 16 0 0 20 0 17 0 634207886 90165248 19890 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32136/tid=32144] ppid=32134 vsize=88052 CPUtime=0.18
/proc/32136/task/32144/stat : 32144 (satake) S 32134 32136 27791 0 -1 4202560 1456 0 0 0 0 18 0 0 20 0 17 0 634207886 90165248 19891 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=32136/tid=32145] ppid=32134 vsize=88052 CPUtime=0.18
/proc/32136/task/32145/stat : 32145 (satake) S 32134 32136 27791 0 -1 4202560 1420 0 0 0 2 16 0 0 20 0 17 0 634207886 90165248 19891 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=32136/tid=32146] ppid=32134 vsize=88052 CPUtime=0.1
/proc/32136/task/32146/stat : 32146 (satake) R 32134 32136 27791 0 -1 4202560 1293 0 0 0 0 10 0 0 20 0 17 0 634207886 90165248 19894 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32136/tid=32147] ppid=32134 vsize=88052 CPUtime=0.1
/proc/32136/task/32147/stat : 32147 (satake) R 32134 32136 27791 0 -1 4202560 1236 0 0 0 0 10 0 0 20 0 17 0 634207886 90165248 19894 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32136/tid=32148] ppid=32134 vsize=88052 CPUtime=0.16
/proc/32136/task/32148/stat : 32148 (satake) S 32134 32136 27791 0 -1 4202560 1312 0 0 0 0 16 0 0 20 0 17 0 634207886 90165248 19894 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=32136/tid=32149] ppid=32134 vsize=88052 CPUtime=0.16
/proc/32136/task/32149/stat : 32149 (satake) R 32134 32136 27791 0 -1 4202560 1317 0 0 0 0 16 0 0 20 0 17 0 634207886 90165248 19897 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=32136/tid=32150] ppid=32134 vsize=88052 CPUtime=0.12
/proc/32136/task/32150/stat : 32150 (satake) R 32134 32136 27791 0 -1 4202560 1263 0 0 0 0 12 0 0 20 0 17 0 634207886 90165248 19898 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32136/tid=32151] ppid=32134 vsize=88052 CPUtime=0.08
/proc/32136/task/32151/stat : 32151 (satake) R 32134 32136 27791 0 -1 4202560 1263 0 0 0 0 8 0 0 20 0 17 0 634207887 90165248 19898 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32136/tid=32152] ppid=32134 vsize=88052 CPUtime=0.08
/proc/32136/task/32152/stat : 32152 (satake) R 32134 32136 27791 0 -1 4202560 1225 0 0 0 0 8 0 0 20 0 17 0 634207887 90165248 19900 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 88052

[startup+0.707909 s]
/proc/loadavg: 9.33 9.90 11.30 2/184 32136
/proc/meminfo: memFree=19137008/36427776 swapFree=3360/7720
[pid=32136] ppid=32134 vsize=130484 CPUtime=4.13
/proc/32136/stat : 32136 (satake) S 32134 32136 27791 0 -1 4202496 29864 0 0 0 83 330 0 0 20 0 17 0 634207886 133615616 29797 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/32136/statm: 32621 29802 63 164 0 32456 0
[pid=32136/tid=32137] ppid=32134 vsize=130484 CPUtime=0
/proc/32136/task/32137/stat : 32137 (satake) S 32134 32136 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 634207886 133615616 29804 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=32136/tid=32138] ppid=32134 vsize=130484 CPUtime=0.32
/proc/32136/task/32138/stat : 32138 (satake) R 32134 32136 27791 0 -1 4202560 2240 0 0 0 8 24 0 0 20 0 17 0 634207886 133615616 29805 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32136/tid=32139] ppid=32134 vsize=130484 CPUtime=0.26
/proc/32136/task/32139/stat : 32139 (satake) R 32134 32136 27791 0 -1 4202560 1946 0 0 0 4 22 0 0 20 0 17 0 634207886 133615616 29806 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32136/tid=32140] ppid=32134 vsize=130484 CPUtime=0.2
/proc/32136/task/32140/stat : 32140 (satake) D 32134 32136 27791 0 -1 4202560 1871 0 0 0 4 16 0 0 20 0 17 0 634207886 133615616 29806 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134702260 0 0 1 0 18446744071564503468 0 0 -1 14 0 0 0 0 0
[pid=32136/tid=32141] ppid=32134 vsize=130484 CPUtime=0.32
/proc/32136/task/32141/stat : 32141 (satake) S 32134 32136 27791 0 -1 4202560 1970 0 0 0 4 28 0 0 20 0 17 0 634207886 133615616 29806 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=32136/tid=32142] ppid=32134 vsize=130484 CPUtime=0.3
/proc/32136/task/32142/stat : 32142 (satake) R 32134 32136 27791 0 -1 4202560 2034 0 0 0 8 22 0 0 20 0 17 0 634207886 133615616 29806 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32136/tid=32143] ppid=32134 vsize=130484 CPUtime=0.3
/proc/32136/task/32143/stat : 32143 (satake) S 32134 32136 27791 0 -1 4202560 1980 0 0 0 4 26 0 0 20 0 17 0 634207886 133615616 29806 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=32136/tid=32144] ppid=32134 vsize=130484 CPUtime=0.34
/proc/32136/task/32144/stat : 32144 (satake) S 32134 32136 27791 0 -1 4202560 2310 0 0 0 10 24 0 0 20 0 17 0 634207886 133615616 29806 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=32136/tid=32145] ppid=32134 vsize=130484 CPUtime=0.3
/proc/32136/task/32145/stat : 32145 (satake) S 32134 32136 27791 0 -1 4202560 2119 0 0 0 6 24 0 0 20 0 17 0 634207886 133615616 29806 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=32136/tid=32146] ppid=32134 vsize=130484 CPUtime=0.24

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

[pid=32136/tid=32139] ppid=32134 vsize=1285624 CPUtime=117.43
/proc/32136/task/32139/stat : 32139 (satake) S 32134 32136 27791 0 -1 4202560 18587 0 0 0 10307 1436 0 0 20 0 17 0 634207886 1316478976 305178 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=32136/tid=32140] ppid=32134 vsize=1285624 CPUtime=112.68
/proc/32136/task/32140/stat : 32140 (satake) S 32134 32136 27791 0 -1 4202560 23138 0 0 0 9820 1448 0 0 20 0 17 0 634207886 1316478976 305178 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=32136/tid=32141] ppid=32134 vsize=1285624 CPUtime=116.22
/proc/32136/task/32141/stat : 32141 (satake) S 32134 32136 27791 0 -1 4202560 22826 0 0 0 10222 1400 0 0 20 0 17 0 634207886 1316478976 305178 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=32136/tid=32142] ppid=32134 vsize=1285624 CPUtime=136.06
/proc/32136/task/32142/stat : 32142 (satake) S 32134 32136 27791 0 -1 4202560 17486 0 0 0 12264 1342 0 0 20 0 17 0 634207886 1316478976 305178 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=32136/tid=32143] ppid=32134 vsize=1285624 CPUtime=125.35
/proc/32136/task/32143/stat : 32143 (satake) S 32134 32136 27791 0 -1 4202560 20239 0 0 0 11065 1470 0 0 20 0 17 0 634207886 1316478976 305178 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=32136/tid=32144] ppid=32134 vsize=1285624 CPUtime=117.97
/proc/32136/task/32144/stat : 32144 (satake) S 32134 32136 27791 0 -1 4202560 27720 0 0 0 10001 1796 0 0 20 0 17 0 634207886 1316478976 305178 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=32136/tid=32145] ppid=32134 vsize=1285624 CPUtime=123.63
/proc/32136/task/32145/stat : 32145 (satake) S 32134 32136 27791 0 -1 4202560 22071 0 0 0 10783 1580 0 0 20 0 17 0 634207886 1316478976 305178 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=32136/tid=32146] ppid=32134 vsize=1285624 CPUtime=133.64
/proc/32136/task/32146/stat : 32146 (satake) S 32134 32136 27791 0 -1 4202560 20208 0 0 0 11676 1688 0 0 20 0 17 0 634207886 1316478976 305178 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=32136/tid=32147] ppid=32134 vsize=1285624 CPUtime=120.3
/proc/32136/task/32147/stat : 32147 (satake) S 32134 32136 27791 0 -1 4202560 19260 0 0 0 10554 1476 0 0 20 0 17 0 634207886 1316478976 305178 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=32136/tid=32148] ppid=32134 vsize=1285624 CPUtime=114.61
/proc/32136/task/32148/stat : 32148 (satake) S 32134 32136 27791 0 -1 4202560 23563 0 0 0 9857 1604 0 0 20 0 17 0 634207886 1316478976 305178 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=32136/tid=32149] ppid=32134 vsize=1285624 CPUtime=154.69
/proc/32136/task/32149/stat : 32149 (satake) S 32134 32136 27791 0 -1 4202560 18364 0 0 0 14003 1466 0 0 20 0 17 0 634207886 1316478976 305178 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=32136/tid=32150] ppid=32134 vsize=1285624 CPUtime=115.36
/proc/32136/task/32150/stat : 32150 (satake) S 32134 32136 27791 0 -1 4202560 24411 0 0 0 9910 1626 0 0 20 0 17 0 634207886 1316478976 305178 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=32136/tid=32151] ppid=32134 vsize=1285624 CPUtime=126
/proc/32136/task/32151/stat : 32151 (satake) R 32134 32136 27791 0 -1 4202560 19390 0 0 0 11104 1496 0 0 20 0 17 0 634207887 1316478976 305178 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32136/tid=32152] ppid=32134 vsize=1285624 CPUtime=129.77
/proc/32136/task/32152/stat : 32152 (satake) S 32134 32136 27791 0 -1 4202560 18395 0 0 0 11327 1650 0 0 20 0 17 0 634207887 1316478976 305178 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2271.15
Current children cumulated vsize (KiB) 1285624

[startup+918.303 s]
/proc/loadavg: 3.40 4.21 6.55 3/201 32168
/proc/meminfo: memFree=17918580/36427776 swapFree=4588/1230788
[pid=32136] ppid=32134 vsize=1285624 CPUtime=2275.94
/proc/32136/stat : 32136 (satake) S 32134 32136 27791 0 -1 4202496 323194 0 0 0 169184 58410 0 0 20 0 17 0 634207886 1316478976 305209 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/32136/statm: 321406 305209 68 164 0 321241 0
[pid=32136/tid=32137] ppid=32134 vsize=1285624 CPUtime=404.31
/proc/32136/task/32137/stat : 32137 (satake) R 32134 32136 27791 0 -1 4202560 9042 0 0 0 5037 35394 0 0 20 0 17 0 634207886 1316478976 305209 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32136/tid=32138] ppid=32134 vsize=1285624 CPUtime=124.61
/proc/32136/task/32138/stat : 32138 (satake) S 32134 32136 27791 0 -1 4202560 18343 0 0 0 11029 1432 0 0 20 0 17 0 634207886 1316478976 305209 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=32136/tid=32139] ppid=32134 vsize=1285624 CPUtime=117.68
/proc/32136/task/32139/stat : 32139 (satake) S 32134 32136 27791 0 -1 4202560 18589 0 0 0 10328 1440 0 0 20 0 17 0 634207886 1316478976 305209 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=32136/tid=32140] ppid=32134 vsize=1285624 CPUtime=112.94
/proc/32136/task/32140/stat : 32140 (satake) R 32134 32136 27791 0 -1 4202560 23138 0 0 0 9834 1460 0 0 20 0 17 0 634207886 1316478976 305209 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134519935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32136/tid=32141] ppid=32134 vsize=1285624 CPUtime=116.45
/proc/32136/task/32141/stat : 32141 (satake) R 32134 32136 27791 0 -1 4202560 22827 0 0 0 10239 1406 0 0 20 0 17 0 634207886 1316478976 305209 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32136/tid=32142] ppid=32134 vsize=1285624 CPUtime=136.18
/proc/32136/task/32142/stat : 32142 (satake) S 32134 32136 27791 0 -1 4202560 17486 0 0 0 12270 1348 0 0 20 0 17 0 634207886 1316478976 305209 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=32136/tid=32143] ppid=32134 vsize=1285624 CPUtime=125.6
/proc/32136/task/32143/stat : 32143 (satake) S 32134 32136 27791 0 -1 4202560 20243 0 0 0 11084 1476 0 0 20 0 17 0 634207886 1316478976 305209 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=32136/tid=32144] ppid=32134 vsize=1285624 CPUtime=118.19
/proc/32136/task/32144/stat : 32144 (satake) S 32134 32136 27791 0 -1 4202560 27721 0 0 0 10019 1800 0 0 20 0 17 0 634207886 1316478976 305209 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=32136/tid=32145] ppid=32134 vsize=1285624 CPUtime=123.81
/proc/32136/task/32145/stat : 32145 (satake) S 32134 32136 27791 0 -1 4202560 22071 0 0 0 10797 1584 0 0 20 0 17 0 634207886 1316478976 305209 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=32136/tid=32146] ppid=32134 vsize=1285624 CPUtime=133.82
/proc/32136/task/32146/stat : 32146 (satake) S 32134 32136 27791 0 -1 4202560 20209 0 0 0 11688 1694 0 0 20 0 17 0 634207886 1316478976 305209 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=32136/tid=32147] ppid=32134 vsize=1285624 CPUtime=120.69
/proc/32136/task/32147/stat : 32147 (satake) S 32134 32136 27791 0 -1 4202560 19267 0 0 0 10579 1490 0 0 20 0 17 0 634207886 1316478976 305209 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=32136/tid=32148] ppid=32134 vsize=1285624 CPUtime=114.84
/proc/32136/task/32148/stat : 32148 (satake) S 32134 32136 27791 0 -1 4202560 23564 0 0 0 9872 1612 0 0 20 0 17 0 634207886 1316478976 305209 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=32136/tid=32149] ppid=32134 vsize=1285624 CPUtime=154.83
/proc/32136/task/32149/stat : 32149 (satake) S 32134 32136 27791 0 -1 4202560 18370 0 0 0 14009 1474 0 0 20 0 17 0 634207886 1316478976 305209 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=32136/tid=32150] ppid=32134 vsize=1285624 CPUtime=115.54
/proc/32136/task/32150/stat : 32150 (satake) S 32134 32136 27791 0 -1 4202560 24411 0 0 0 9920 1634 0 0 20 0 17 0 634207886 1316478976 305209 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=32136/tid=32151] ppid=32134 vsize=1285624 CPUtime=126.26
/proc/32136/task/32151/stat : 32151 (satake) S 32134 32136 27791 0 -1 4202560 19391 0 0 0 11126 1500 0 0 20 0 17 0 634207887 1316478976 305209 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=32136/tid=32152] ppid=32134 vsize=1285624 CPUtime=130.02
/proc/32136/task/32152/stat : 32152 (satake) S 32134 32136 27791 0 -1 4202560 18395 0 0 0 11344 1658 0 0 20 0 17 0 634207887 1316478976 305209 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2275.94
Current children cumulated vsize (KiB) 1285624

[startup+919.903 s]
/proc/loadavg: 3.37 4.19 6.53 3/201 32168
/proc/meminfo: memFree=17918580/36427776 swapFree=4588/1230852
[pid=32136] ppid=32134 vsize=1285624 CPUtime=2279.26
/proc/32136/stat : 32136 (satake) S 32134 32136 27791 0 -1 4202496 323253 0 0 0 169322 58604 0 0 20 0 17 0 634207886 1316478976 305268 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/32136/statm: 321406 305268 77 164 0 321241 0
[pid=32136/tid=32137] ppid=32134 vsize=1285624 CPUtime=405.11
/proc/32136/task/32137/stat : 32137 (satake) R 32134 32136 27791 0 -1 4202560 9046 0 0 0 5045 35466 0 0 20 0 17 0 634207886 1316478976 305268 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32136/tid=32138] ppid=32134 vsize=1285624 CPUtime=124.8
/proc/32136/task/32138/stat : 32138 (satake) R 32134 32136 27791 0 -1 4202560 18343 0 0 0 11038 1442 0 0 20 0 17 0 634207886 1316478976 305268 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32136/tid=32139] ppid=32134 vsize=1285624 CPUtime=117.81
/proc/32136/task/32139/stat : 32139 (satake) R 32134 32136 27791 0 -1 4202560 18590 0 0 0 10333 1448 0 0 20 0 17 0 634207886 1316478976 305268 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32136/tid=32140] ppid=32134 vsize=1285624 CPUtime=113.17
/proc/32136/task/32140/stat : 32140 (satake) R 32134 32136 27791 0 -1 4202560 23166 0 0 0 9853 1464 0 0 20 0 17 0 634207886 1316478976 305268 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32136/tid=32141] ppid=32134 vsize=1285624 CPUtime=116.76
/proc/32136/task/32141/stat : 32141 (satake) R 32134 32136 27791 0 -1 4202560 22828 0 0 0 10262 1414 0 0 20 0 17 0 634207886 1316478976 305268 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32136/tid=32142] ppid=32134 vsize=1285624 CPUtime=136.34
/proc/32136/task/32142/stat : 32142 (satake) R 32134 32136 27791 0 -1 4202560 17486 0 0 0 12276 1358 0 0 20 0 17 0 634207886 1316478976 305268 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32136/tid=32143] ppid=32134 vsize=1285624 CPUtime=125.76
/proc/32136/task/32143/stat : 32143 (satake) R 32134 32136 27791 0 -1 4202560 20243 0 0 0 11092 1484 0 0 20 0 17 0 634207886 1316478976 305268 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32136/tid=32144] ppid=32134 vsize=1285624 CPUtime=118.4
/proc/32136/task/32144/stat : 32144 (satake) R 32134 32136 27791 0 -1 4202560 27723 0 0 0 10028 1812 0 0 20 0 17 0 634207886 1316478976 305268 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32136/tid=32145] ppid=32134 vsize=1285624 CPUtime=124.05
/proc/32136/task/32145/stat : 32145 (satake) R 32134 32136 27791 0 -1 4202560 22072 0 0 0 10809 1596 0 0 20 0 17 0 634207886 1316478976 305268 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32136/tid=32146] ppid=32134 vsize=1285624 CPUtime=134.06
/proc/32136/task/32146/stat : 32146 (satake) R 32134 32136 27791 0 -1 4202560 20220 0 0 0 11702 1704 0 0 20 0 17 0 634207886 1316478976 305268 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32136/tid=32147] ppid=32134 vsize=1285624 CPUtime=120.76
/proc/32136/task/32147/stat : 32147 (satake) R 32134 32136 27791 0 -1 4202560 19267 0 0 0 10582 1494 0 0 20 0 17 0 634207886 1316478976 305268 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32136/tid=32148] ppid=32134 vsize=1285624 CPUtime=114.99
/proc/32136/task/32148/stat : 32148 (satake) R 32134 32136 27791 0 -1 4202560 23565 0 0 0 9877 1622 0 0 20 0 17 0 634207886 1316478976 305268 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32136/tid=32149] ppid=32134 vsize=1285624 CPUtime=154.91
/proc/32136/task/32149/stat : 32149 (satake) R 32134 32136 27791 0 -1 4202560 18379 0 0 0 14011 1480 0 0 20 0 17 0 634207886 1316478976 305268 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=32136/tid=32150] ppid=32134 vsize=1285624 CPUtime=115.7
/proc/32136/task/32150/stat : 32150 (satake) R 32134 32136 27791 0 -1 4202560 24411 0 0 0 9926 1644 0 0 20 0 17 0 634207886 1316478976 305268 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32136/tid=32151] ppid=32134 vsize=1285624 CPUtime=126.31
/proc/32136/task/32151/stat : 32151 (satake) R 32134 32136 27791 0 -1 4202560 19391 0 0 0 11129 1502 0 0 20 0 17 0 634207887 1316478976 305268 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32136/tid=32152] ppid=32134 vsize=1285624 CPUtime=130.19
/proc/32136/task/32152/stat : 32152 (satake) R 32134 32136 27791 0 -1 4202560 18396 0 0 0 11353 1666 0 0 20 0 17 0 634207887 1316478976 305268 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2279.26
Current children cumulated vsize (KiB) 1285624

[startup+921.503 s]
/proc/loadavg: 3.37 4.19 6.53 17/201 32168
/proc/meminfo: memFree=17923660/36427776 swapFree=4588/1224488
[pid=32136] ppid=32134 vsize=1209280 CPUtime=2294.29
/proc/32136/stat : 32136 (satake) S 32134 32136 27791 0 -1 4202496 323253 0 0 0 169881 59548 0 0 20 0 14 0 634207886 1238302720 292985 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/32136/statm: 302320 292985 77 164 0 302155 0
[pid=32136/tid=32138] ppid=32134 vsize=1209280 CPUtime=125.82
/proc/32136/task/32138/stat : 32138 (satake) R 32134 32136 27791 0 -1 4202560 18343 0 0 0 11076 1506 0 0 20 0 14 0 634207886 1238302720 292985 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32136/tid=32139] ppid=32134 vsize=1209280 CPUtime=118.83
/proc/32136/task/32139/stat : 32139 (satake) R 32134 32136 27791 0 -1 4202560 18590 0 0 0 10369 1514 0 0 20 0 14 0 634207886 1238302720 292985 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32136/tid=32140] ppid=32134 vsize=1209280 CPUtime=114.17
/proc/32136/task/32140/stat : 32140 (satake) S 32134 32136 27791 0 -1 4202560 23166 0 0 0 9889 1528 0 0 20 0 14 0 634207886 1238302720 292985 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=32136/tid=32141] ppid=32134 vsize=1209280 CPUtime=117.78
/proc/32136/task/32141/stat : 32141 (satake) R 32134 32136 27791 0 -1 4202560 22828 0 0 0 10302 1476 0 0 20 0 14 0 634207886 1238302720 292985 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32136/tid=32143] ppid=32134 vsize=1209280 CPUtime=126.78
/proc/32136/task/32143/stat : 32143 (satake) R 32134 32136 27791 0 -1 4202560 20243 0 0 0 11130 1548 0 0 20 0 14 0 634207886 1238302720 292985 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32136/tid=32144] ppid=32134 vsize=1209280 CPUtime=119.47
/proc/32136/task/32144/stat : 32144 (satake) R 32134 32136 27791 0 -1 4202560 27723 0 0 0 10075 1872 0 0 20 0 14 0 634207886 1238302720 292985 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32136/tid=32145] ppid=32134 vsize=1209280 CPUtime=125.05
/proc/32136/task/32145/stat : 32145 (satake) R 32134 32136 27791 0 -1 4202560 22072 0 0 0 10843 1662 0 0 20 0 14 0 634207886 1238302720 292985 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32136/tid=32146] ppid=32134 vsize=1209280 CPUtime=135.08
/proc/32136/task/32146/stat : 32146 (satake) R 32134 32136 27791 0 -1 4202560 20220 0 0 0 11736 1772 0 0 20 0 14 0 634207886 1238302720 292985 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32136/tid=32147] ppid=32134 vsize=1209280 CPUtime=121.39
/proc/32136/task/32147/stat : 32147 (satake) S 32134 32136 27791 0 -1 4202560 19267 0 0 0 10603 1536 0 0 20 0 14 0 634207886 1238302720 292985 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=32136/tid=32148] ppid=32134 vsize=1209280 CPUtime=116.04
/proc/32136/task/32148/stat : 32148 (satake) R 32134 32136 27791 0 -1 4202560 23565 0 0 0 9912 1692 0 0 20 0 14 0 634207886 1238302720 292985 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32136/tid=32150] ppid=32134 vsize=1209280 CPUtime=116.75
/proc/32136/task/32150/stat : 32150 (satake) R 32134 32136 27791 0 -1 4202560 24411 0 0 0 9967 1708 0 0 20 0 14 0 634207886 1238302720 292985 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32136/tid=32151] ppid=32134 vsize=1209280 CPUtime=127.3
/proc/32136/task/32151/stat : 32151 (satake) R 32134 32136 27791 0 -1 4202560 19391 0 0 0 11164 1566 0 0 20 0 14 0 634207887 1238302720 292985 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32136/tid=32152] ppid=32134 vsize=1209280 CPUtime=131.18
/proc/32136/task/32152/stat : 32152 (satake) R 32134 32136 27791 0 -1 4202560 18396 0 0 0 11394 1724 0 0 20 0 14 0 634207887 1238302720 292985 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2294.29
Current children cumulated vsize (KiB) 1209280

[startup+921.903 s]
/proc/loadavg: 3.37 4.19 6.53 11/196 32168
/proc/meminfo: memFree=17976816/36427776 swapFree=4624/1165100
[pid=32136] ppid=32134 vsize=986436 CPUtime=2296.63
/proc/32136/stat : 32136 (satake) S 32134 32136 27791 0 -1 4202496 323253 0 0 0 169973 59690 0 0 20 0 2 0 634207886 1010110464 243052 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/32136/statm: 246609 243052 77 164 0 246444 0
[pid=32136/tid=32147] ppid=32134 vsize=986436 CPUtime=121.69
/proc/32136/task/32147/stat : 32147 (satake) R 32134 32136 27791 0 -1 4202560 19267 0 0 0 10613 1556 0 0 20 0 2 0 634207886 1010110464 243052 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 2296.63
Current children cumulated vsize (KiB) 986436

[startup+922.103 s]
/proc/loadavg: 3.37 4.19 6.53 11/196 32168
/proc/meminfo: memFree=17976816/36427776 swapFree=4624/1165100
[pid=32136] ppid=32134 vsize=347460 CPUtime=2296.83
/proc/32136/stat : 32136 (satake) S 32134 32136 27791 0 -1 4202496 323253 0 0 0 169973 59710 0 0 20 0 2 0 634207886 355799040 84324 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/32136/statm: 86609 84324 77 164 0 86444 0
[pid=32136/tid=32147] ppid=32134 vsize=346436 CPUtime=121.89
/proc/32136/task/32147/stat : 32147 (satake) R 32134 32136 27791 0 -1 4202560 19267 0 0 0 10613 1576 0 0 20 0 2 0 634207886 354750464 84324 18446744073709551615 134512640 135180984 4289026368 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 2296.83
Current children cumulated vsize (KiB) 347460

Child status: 16
Real time (s): 922.156
CPU time (s): 2296.91
CPU user time (s): 1699.74
CPU system time (s): 597.169
CPU usage (%): 249.08
Max. virtual memory (cumulated for all children) (KiB): 1285624


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1699.74
system time used= 597.169
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 323254
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= 51979922
involuntary context switches= 3841977

runsolver used 3.98825 second user time and 10.7767 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 21:36:55
IDJOB=1776447
IDBENCH=20573
IDSOLVER=631
FILE ID=xenhost3-49/1776447-1244749015
PBS_JOBID=
Free space on /tmp= 7035 MiB

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

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

MD5SUM BENCH= 9158de01004aff62af67cbb9db5bcbbb
RANDOM SEED= 1794390278

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:      19137008 kB
Buffers:        432412 kB
Cached:       14106384 kB
SwapCached:          0 kB
Active:        4078100 kB
Inactive:     10468936 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            6284 kB
Writeback:           0 kB
AnonPages:        7720 kB
Mapped:           3360 kB
Slab:           688376 kB
SReclaimable:   661160 kB
SUnreclaim:      27216 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

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