Trace number 1780542

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 1078.85 200.903

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UCG-15-5p0.cnf
MD5SUM4385f03fe3bdaf0f127ae989ddd7908d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark158.67
Satisfiable
(Un)Satisfiability was proved
Number of variables162696
Number of clauses821000
Sum of the clauses size1953203
Maximum clause length10
Minimum clause length1
Number of clauses of size 18386
Number of clauses of size 2617825
Number of clauses of size 3153189
Number of clauses of size 44620
Number of clauses of size 518480
Number of clauses of size over 518500

Solver Data 

1078.73/200.85	c Benchmark name    : HOME/instance-1780542-1244831733.cnf
1078.73/200.85	c Thread Num        :           16
1078.73/200.85	c restarts          :           12
1078.73/200.85	c conflicts         :        19358
1078.73/200.85	c decisions         :       179219           (      901 / sec      )
1078.73/200.85	c propagations      :     66590117           (   334922 / sec      )
1078.73/200.85	c inspects          :    201292365           (  1012422 / sec      )
1078.73/200.85	c conflict literals :      3119465           (    22.75 % deleted  )
1078.73/200.85	c cpu time          :       198.82           
1078.73/200.85	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-1780542-1244831733/watcher-1780542-1244831733 -o /tmp/evaluation-result-1780542-1244831733/solver-1780542-1244831733 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780542-1244831733.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: 12.70 12.64 11.52 2/184 10131
/proc/meminfo: memFree=19114016/36427776 swapFree=4564/8040
[pid=10131] ppid=10129 vsize=7952 CPUtime=0
/proc/10131/stat : 10131 (satake) R 10129 10131 27791 0 -1 4202496 382 0 0 0 0 0 0 0 20 0 15 0 642479682 8142848 340 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/10131/statm: 1988 345 63 164 0 1823 0
[pid=10131/tid=10132] ppid=10129 vsize=8152 CPUtime=0
/proc/10131/task/10132/stat : 10132 (satake) S 10129 10131 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642479682 8347648 379 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=10131/tid=10133] ppid=10129 vsize=8152 CPUtime=0
/proc/10131/task/10133/stat : 10133 (satake) R 10129 10131 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 642479682 8347648 380 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10131/tid=10134] ppid=10129 vsize=8152 CPUtime=0
/proc/10131/task/10134/stat : 10134 (satake) R 10129 10131 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 17 0 642479682 8347648 381 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10131/tid=10135] ppid=10129 vsize=8152 CPUtime=0
/proc/10131/task/10135/stat : 10135 (satake) R 10129 10131 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 17 0 642479682 8347648 381 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10131/tid=10136] ppid=10129 vsize=8152 CPUtime=0
/proc/10131/task/10136/stat : 10136 (satake) R 10129 10131 27791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 17 0 642479682 8347648 383 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10131/tid=10137] ppid=10129 vsize=8152 CPUtime=0
/proc/10131/task/10137/stat : 10137 (satake) S 10129 10131 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642479682 8347648 385 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=10131/tid=10138] ppid=10129 vsize=8152 CPUtime=0
/proc/10131/task/10138/stat : 10138 (satake) D 10129 10131 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 642479682 8347648 392 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10131/tid=10139] ppid=10129 vsize=8156 CPUtime=0
/proc/10131/task/10139/stat : 10139 (satake) S 10129 10131 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642479682 8351744 393 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=10131/tid=10140] ppid=10129 vsize=8156 CPUtime=0
/proc/10131/task/10140/stat : 10140 (satake) S 10129 10131 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 642479682 8351744 397 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=10131/tid=10141] ppid=10129 vsize=8156 CPUtime=0
/proc/10131/task/10141/stat : 10141 (satake) D 10129 10131 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 642479682 8351744 399 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10131/tid=10142] ppid=10129 vsize=8156 CPUtime=0
/proc/10131/task/10142/stat : 10142 (satake) S 10129 10131 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642479682 8351744 399 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=10131/tid=10143] ppid=10129 vsize=8156 CPUtime=0
/proc/10131/task/10143/stat : 10143 (satake) R 10129 10131 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 642479682 8351744 399 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10131/tid=10144] ppid=10129 vsize=8156 CPUtime=0
/proc/10131/task/10144/stat : 10144 (satake) R 10129 10131 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 17 0 642479682 8351744 399 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10131/tid=10145] ppid=10129 vsize=8160 CPUtime=0
/proc/10131/task/10145/stat : 10145 (satake) R 10129 10131 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 642479683 8355840 399 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10131/tid=10146] ppid=10129 vsize=8160 CPUtime=0
/proc/10131/task/10146/stat : 10146 (satake) R 10129 10131 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 642479683 8355840 399 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10131/tid=10147] ppid=10129 vsize=8160 CPUtime=0
/proc/10131/task/10147/stat : 10147 (satake) R 10129 10131 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 642479683 8355840 399 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 8 0 0 0 0 0

[startup+0.019281 s]
/proc/loadavg: 12.70 12.64 11.52 2/184 10131
/proc/meminfo: memFree=19114016/36427776 swapFree=4564/8040
[pid=10131] ppid=10129 vsize=10488 CPUtime=0
/proc/10131/stat : 10131 (satake) S 10129 10131 27791 0 -1 4202496 820 0 0 0 0 0 0 0 20 0 17 0 642479682 10739712 774 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/10131/statm: 2622 801 63 164 0 2457 0
[pid=10131/tid=10132] ppid=10129 vsize=10488 CPUtime=0
/proc/10131/task/10132/stat : 10132 (satake) S 10129 10131 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642479682 10739712 819 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=10131/tid=10133] ppid=10129 vsize=10488 CPUtime=0
/proc/10131/task/10133/stat : 10133 (satake) R 10129 10131 27791 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 17 0 642479682 10739712 839 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10131/tid=10134] ppid=10129 vsize=10488 CPUtime=0
/proc/10131/task/10134/stat : 10134 (satake) R 10129 10131 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 642479682 10739712 847 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10131/tid=10135] ppid=10129 vsize=10488 CPUtime=0
/proc/10131/task/10135/stat : 10135 (satake) D 10129 10131 27791 0 -1 4202560 94 0 0 0 0 0 0 0 20 0 17 0 642479682 10739712 847 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10131/tid=10136] ppid=10129 vsize=10616 CPUtime=0
/proc/10131/task/10136/stat : 10136 (satake) D 10129 10131 27791 0 -1 4202560 102 0 0 0 0 0 0 0 20 0 17 0 642479682 10870784 847 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10131/tid=10137] ppid=10129 vsize=10616 CPUtime=0
/proc/10131/task/10137/stat : 10137 (satake) R 10129 10131 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 17 0 642479682 10870784 849 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10131/tid=10138] ppid=10129 vsize=10616 CPUtime=0
/proc/10131/task/10138/stat : 10138 (satake) R 10129 10131 27791 0 -1 4202560 76 0 0 0 0 0 0 0 20 0 17 0 642479682 10870784 853 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10131/tid=10139] ppid=10129 vsize=10616 CPUtime=0
/proc/10131/task/10139/stat : 10139 (satake) S 10129 10131 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642479682 10870784 854 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=10131/tid=10140] ppid=10129 vsize=10616 CPUtime=0
/proc/10131/task/10140/stat : 10140 (satake) S 10129 10131 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 642479682 10870784 854 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=10131/tid=10141] ppid=10129 vsize=10616 CPUtime=0
/proc/10131/task/10141/stat : 10141 (satake) R 10129 10131 27791 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 17 0 642479682 10870784 854 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10131/tid=10142] ppid=10129 vsize=10616 CPUtime=0
/proc/10131/task/10142/stat : 10142 (satake) S 10129 10131 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642479682 10870784 854 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=10131/tid=10143] ppid=10129 vsize=10616 CPUtime=0
/proc/10131/task/10143/stat : 10143 (satake) R 10129 10131 27791 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 17 0 642479682 10870784 858 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10131/tid=10144] ppid=10129 vsize=10616 CPUtime=0
/proc/10131/task/10144/stat : 10144 (satake) S 10129 10131 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642479682 10870784 859 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=10131/tid=10145] ppid=10129 vsize=10616 CPUtime=0
/proc/10131/task/10145/stat : 10145 (satake) R 10129 10131 27791 0 -1 4202560 66 0 0 0 0 0 0 0 20 0 17 0 642479683 10870784 870 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10131/tid=10146] ppid=10129 vsize=10616 CPUtime=0
/proc/10131/task/10146/stat : 10146 (satake) R 10129 10131 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 17 0 642479683 10870784 893 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10131/tid=10147] ppid=10129 vsize=10616 CPUtime=0
/proc/10131/task/10147/stat : 10147 (satake) D 10129 10131 27791 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 17 0 642479683 10870784 898 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10488

[startup+0.103244 s]
/proc/loadavg: 12.70 12.64 11.52 2/184 10131
/proc/meminfo: memFree=19114016/36427776 swapFree=4564/8040
[pid=10131] ppid=10129 vsize=61388 CPUtime=0.68
/proc/10131/stat : 10131 (satake) S 10129 10131 27791 0 -1 4202496 11194 0 0 0 0 68 0 0 20 0 17 0 642479682 62861312 11132 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/10131/statm: 15347 11132 63 164 0 15182 0
[pid=10131/tid=10132] ppid=10129 vsize=61388 CPUtime=0
/proc/10131/task/10132/stat : 10132 (satake) S 10129 10131 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642479682 62861312 11132 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=10131/tid=10133] ppid=10129 vsize=61388 CPUtime=0.04
/proc/10131/task/10133/stat : 10133 (satake) D 10129 10131 27791 0 -1 4202560 841 0 0 0 0 4 0 0 20 0 17 0 642479682 62861312 11132 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10131/tid=10134] ppid=10129 vsize=61388 CPUtime=0.02
/proc/10131/task/10134/stat : 10134 (satake) D 10129 10131 27791 0 -1 4202560 310 0 0 0 0 2 0 0 20 0 17 0 642479682 62861312 11132 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10131/tid=10135] ppid=10129 vsize=61388 CPUtime=0.06
/proc/10131/task/10135/stat : 10135 (satake) D 10129 10131 27791 0 -1 4202560 1048 0 0 0 0 6 0 0 20 0 17 0 642479682 62861312 11132 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10131/tid=10136] ppid=10129 vsize=61388 CPUtime=0.06
/proc/10131/task/10136/stat : 10136 (satake) D 10129 10131 27791 0 -1 4202560 814 0 0 0 0 6 0 0 20 0 17 0 642479682 62861312 11132 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10131/tid=10137] ppid=10129 vsize=61388 CPUtime=0.04
/proc/10131/task/10137/stat : 10137 (satake) D 10129 10131 27791 0 -1 4202560 1012 0 0 0 0 4 0 0 20 0 17 0 642479682 62861312 11132 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10131/tid=10138] ppid=10129 vsize=61388 CPUtime=0.06
/proc/10131/task/10138/stat : 10138 (satake) D 10129 10131 27791 0 -1 4202560 1010 0 0 0 0 6 0 0 20 0 17 0 642479682 62861312 11132 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10131/tid=10139] ppid=10129 vsize=61388 CPUtime=0
/proc/10131/task/10139/stat : 10139 (satake) D 10129 10131 27791 0 -1 4202560 144 0 0 0 0 0 0 0 20 0 17 0 642479682 62861312 11132 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10131/tid=10140] ppid=10129 vsize=61388 CPUtime=0.06
/proc/10131/task/10140/stat : 10140 (satake) D 10129 10131 27791 0 -1 4202560 960 0 0 0 0 6 0 0 20 0 17 0 642479682 62861312 11132 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10131/tid=10141] ppid=10129 vsize=61388 CPUtime=0.02
/proc/10131/task/10141/stat : 10141 (satake) D 10129 10131 27791 0 -1 4202560 217 0 0 0 0 2 0 0 20 0 17 0 642479682 62861312 11132 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10131/tid=10142] ppid=10129 vsize=61388 CPUtime=0.04
/proc/10131/task/10142/stat : 10142 (satake) D 10129 10131 27791 0 -1 4202560 834 0 0 0 0 4 0 0 20 0 17 0 642479682 62861312 11132 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10131/tid=10143] ppid=10129 vsize=61388 CPUtime=0.06
/proc/10131/task/10143/stat : 10143 (satake) D 10129 10131 27791 0 -1 4202560 996 0 0 0 0 6 0 0 20 0 17 0 642479682 62861312 11132 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10131/tid=10144] ppid=10129 vsize=61388 CPUtime=0.04
/proc/10131/task/10144/stat : 10144 (satake) D 10129 10131 27791 0 -1 4202560 665 0 0 0 0 4 0 0 20 0 17 0 642479682 62861312 11132 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10131/tid=10145] ppid=10129 vsize=61388 CPUtime=0.06
/proc/10131/task/10145/stat : 10145 (satake) R 10129 10131 27791 0 -1 4202560 1042 0 0 0 0 6 0 0 20 0 17 0 642479683 62861312 11132 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10131/tid=10146] ppid=10129 vsize=61388 CPUtime=0
/proc/10131/task/10146/stat : 10146 (satake) D 10129 10131 27791 0 -1 4202560 212 0 0 0 0 0 0 0 20 0 17 0 642479683 62861312 11132 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10131/tid=10147] ppid=10129 vsize=61388 CPUtime=0.06
/proc/10131/task/10147/stat : 10147 (satake) D 10129 10131 27791 0 -1 4202560 960 0 0 0 0 6 0 0 20 0 17 0 642479683 62861312 11132 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 61388

[startup+0.307216 s]
/proc/loadavg: 12.70 12.64 11.52 2/184 10131
/proc/meminfo: memFree=19114016/36427776 swapFree=4564/8040
[pid=10131] ppid=10129 vsize=223788 CPUtime=2.5
/proc/10131/stat : 10131 (satake) S 10129 10131 27791 0 -1 4202496 42641 0 0 0 0 250 0 0 20 0 17 0 642479682 229158912 42579 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/10131/statm: 55947 42581 63 164 0 55782 0
[pid=10131/tid=10132] ppid=10129 vsize=223788 CPUtime=0
/proc/10131/task/10132/stat : 10132 (satake) S 10129 10131 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642479682 229158912 42591 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=10131/tid=10133] ppid=10129 vsize=223788 CPUtime=0.14
/proc/10131/task/10133/stat : 10133 (satake) D 10129 10131 27791 0 -1 4202560 2546 0 0 0 0 14 0 0 20 0 17 0 642479682 229158912 42591 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10131/tid=10134] ppid=10129 vsize=224020 CPUtime=0.08
/proc/10131/task/10134/stat : 10134 (satake) R 10129 10131 27791 0 -1 4202560 1432 0 0 0 0 8 0 0 20 0 17 0 642479682 229396480 42591 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10131/tid=10135] ppid=10129 vsize=224020 CPUtime=0.22
/proc/10131/task/10135/stat : 10135 (satake) R 10129 10131 27791 0 -1 4202560 3887 0 0 0 0 22 0 0 20 0 17 0 642479682 229396480 42591 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10131/tid=10136] ppid=10129 vsize=224020 CPUtime=0.16
/proc/10131/task/10136/stat : 10136 (satake) R 10129 10131 27791 0 -1 4202560 2575 0 0 0 0 16 0 0 20 0 17 0 642479682 229396480 42593 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10131/tid=10137] ppid=10129 vsize=224020 CPUtime=0.12
/proc/10131/task/10137/stat : 10137 (satake) R 10129 10131 27791 0 -1 4202560 2579 0 0 0 0 12 0 0 20 0 17 0 642479682 229396480 42594 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10131/tid=10138] ppid=10129 vsize=224020 CPUtime=0.14
/proc/10131/task/10138/stat : 10138 (satake) R 10129 10131 27791 0 -1 4202560 2556 0 0 0 0 14 0 0 20 0 17 0 642479682 229396480 42596 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10131/tid=10139] ppid=10129 vsize=224020 CPUtime=0.08
/proc/10131/task/10139/stat : 10139 (satake) R 10129 10131 27791 0 -1 4202560 1472 0 0 0 0 8 0 0 20 0 17 0 642479682 229396480 42596 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10131/tid=10140] ppid=10129 vsize=224020 CPUtime=0.22
/proc/10131/task/10140/stat : 10140 (satake) R 10129 10131 27791 0 -1 4202560 3792 0 0 0 0 22 0 0 20 0 17 0 642479682 229396480 42596 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134869198 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10131/tid=10141] ppid=10129 vsize=224020 CPUtime=0.08
/proc/10131/task/10141/stat : 10141 (satake) R 10129 10131 27791 0 -1 4202560 1449 0 0 0 0 8 0 0 20 0 17 0 642479682 229396480 42598 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10131/tid=10142] ppid=10129 vsize=224020 CPUtime=0.22
/proc/10131/task/10142/stat : 10142 (satake) R 10129 10131 27791 0 -1 4202560 3634 0 0 0 0 22 0 0 20 0 17 0 642479682 229396480 42600 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10131/tid=10143] ppid=10129 vsize=224020 CPUtime=0.22
/proc/10131/task/10143/stat : 10143 (satake) R 10129 10131 27791 0 -1 4202560 3521 0 0 0 0 22 0 0 20 0 17 0 642479682 229396480 42601 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10131/tid=10144] ppid=10129 vsize=224020 CPUtime=0.2
/proc/10131/task/10144/stat : 10144 (satake) R 10129 10131 27791 0 -1 4202560 3207 0 0 0 0 20 0 0 20 0 17 0 642479682 229396480 42601 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10131/tid=10145] ppid=10129 vsize=224020 CPUtime=0.22
/proc/10131/task/10145/stat : 10145 (satake) R 10129 10131 27791 0 -1 4202560 3889 0 0 0 0 22 0 0 20 0 17 0 642479683 229396480 42601 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10131/tid=10146] ppid=10129 vsize=224020 CPUtime=0.1
/proc/10131/task/10146/stat : 10146 (satake) R 10129 10131 27791 0 -1 4202560 2137 0 0 0 0 10 0 0 20 0 17 0 642479683 229396480 42601 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10131/tid=10147] ppid=10129 vsize=224020 CPUtime=0.22
/proc/10131/task/10147/stat : 10147 (satake) R 10129 10131 27791 0 -1 4202560 3854 0 0 0 0 22 0 0 20 0 17 0 642479683 229396480 42601 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 223788

[startup+0.703311 s]
/proc/loadavg: 12.70 12.64 11.52 2/184 10131
/proc/meminfo: memFree=19114016/36427776 swapFree=4564/8040
[pid=10131] ppid=10129 vsize=270852 CPUtime=5.34
/proc/10131/stat : 10131 (satake) S 10129 10131 27791 0 -1 4202496 55345 0 0 0 1 533 0 0 20 0 17 0 642479682 277352448 55284 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/10131/statm: 67713 55288 63 164 0 67548 0
[pid=10131/tid=10132] ppid=10129 vsize=270852 CPUtime=0
/proc/10131/task/10132/stat : 10132 (satake) S 10129 10131 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 642479682 277352448 55288 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=10131/tid=10133] ppid=10129 vsize=270852 CPUtime=0.3
/proc/10131/task/10133/stat : 10133 (satake) D 10129 10131 27791 0 -1 4202560 3361 0 0 0 0 30 0 0 20 0 17 0 642479682 277352448 55288 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10131/tid=10134] ppid=10129 vsize=270852 CPUtime=0.24
/proc/10131/task/10134/stat : 10134 (satake) D 10129 10131 27791 0 -1 4202560 2236 0 0 0 0 24 0 0 20 0 17 0 642479682 277352448 55288 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10131/tid=10135] ppid=10129 vsize=271620 CPUtime=0.46
/proc/10131/task/10135/stat : 10135 (satake) D 10129 10131 27791 0 -1 4202560 4662 0 0 0 0 46 0 0 20 0 17 0 642479682 278138880 55288 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134522312 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10131/tid=10136] ppid=10129 vsize=271236 CPUtime=0.3
/proc/10131/task/10136/stat : 10136 (satake) D 10129 10131 27791 0 -1 4202560 3335 0 0 0 0 30 0 0 20 0 17 0 642479682 277745664 55288 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10131/tid=10137] ppid=10129 vsize=271236 CPUtime=0.28
/proc/10131/task/10137/stat : 10137 (satake) R 10129 10131 27791 0 -1 4202560 3455 0 0 0 0 28 0 0 20 0 17 0 642479682 277745664 55291 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10131/tid=10138] ppid=10129 vsize=271236 CPUtime=0.28
/proc/10131/task/10138/stat : 10138 (satake) R 10129 10131 27791 0 -1 4202560 3349 0 0 0 0 28 0 0 20 0 17 0 642479682 277745664 55294 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10131/tid=10139] ppid=10129 vsize=271236 CPUtime=0.22
/proc/10131/task/10139/stat : 10139 (satake) R 10129 10131 27791 0 -1 4202560 2262 0 0 0 0 22 0 0 20 0 17 0 642479682 277745664 55296 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10131/tid=10140] ppid=10129 vsize=271236 CPUtime=0.46
/proc/10131/task/10140/stat : 10140 (satake) R 10129 10131 27791 0 -1 4202560 4677 0 0 0 0 46 0 0 20 0 17 0 642479682 277745664 55297 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10131/tid=10141] ppid=10129 vsize=271236 CPUtime=0.24

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

[pid=10131/tid=10134] ppid=10129 vsize=944264 CPUtime=64.08
/proc/10131/task/10134/stat : 10134 (satake) R 10129 10131 27791 0 -1 4202560 16591 0 0 0 6124 284 0 0 20 0 17 0 642479682 966926336 198996 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134523641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10131/tid=10135] ppid=10129 vsize=944264 CPUtime=61.86
/proc/10131/task/10135/stat : 10135 (satake) S 10129 10131 27791 0 -1 4202560 17445 0 0 0 5864 322 0 0 20 0 17 0 642479682 966926336 198996 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=10131/tid=10136] ppid=10129 vsize=944264 CPUtime=61.07
/proc/10131/task/10136/stat : 10136 (satake) S 10129 10131 27791 0 -1 4202560 16711 0 0 0 5785 322 0 0 20 0 17 0 642479682 966926336 198996 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=10131/tid=10137] ppid=10129 vsize=944264 CPUtime=63.23
/proc/10131/task/10137/stat : 10137 (satake) S 10129 10131 27791 0 -1 4202560 17131 0 0 0 6011 312 0 0 20 0 17 0 642479682 966926336 198996 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=10131/tid=10138] ppid=10129 vsize=944264 CPUtime=64.09
/proc/10131/task/10138/stat : 10138 (satake) S 10129 10131 27791 0 -1 4202560 15910 0 0 0 6009 400 0 0 20 0 17 0 642479682 966926336 198996 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=10131/tid=10139] ppid=10129 vsize=944264 CPUtime=66.09
/proc/10131/task/10139/stat : 10139 (satake) R 10129 10131 27791 0 -1 4202560 16639 0 0 0 6271 338 0 0 20 0 17 0 642479682 966926336 198996 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134523638 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10131/tid=10140] ppid=10129 vsize=944264 CPUtime=63.77
/proc/10131/task/10140/stat : 10140 (satake) S 10129 10131 27791 0 -1 4202560 17308 0 0 0 6059 318 0 0 20 0 17 0 642479682 966926336 198996 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=10131/tid=10141] ppid=10129 vsize=944264 CPUtime=62.69
/proc/10131/task/10141/stat : 10141 (satake) R 10129 10131 27791 0 -1 4202560 16691 0 0 0 5911 358 0 0 20 0 17 0 642479682 966926336 198996 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134528267 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10131/tid=10142] ppid=10129 vsize=944264 CPUtime=58.5
/proc/10131/task/10142/stat : 10142 (satake) R 10129 10131 27791 0 -1 4202560 16945 0 0 0 5516 334 0 0 20 0 17 0 642479682 966926336 198996 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134580407 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10131/tid=10143] ppid=10129 vsize=944264 CPUtime=68.92
/proc/10131/task/10143/stat : 10143 (satake) R 10129 10131 27791 0 -1 4202560 17032 0 0 0 6566 326 0 0 20 0 17 0 642479682 966926336 198996 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134518218 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10131/tid=10144] ppid=10129 vsize=944264 CPUtime=67.8
/proc/10131/task/10144/stat : 10144 (satake) S 10129 10131 27791 0 -1 4202560 16618 0 0 0 6452 328 0 0 20 0 17 0 642479682 966926336 198996 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=10131/tid=10145] ppid=10129 vsize=944264 CPUtime=62.54
/proc/10131/task/10145/stat : 10145 (satake) R 10129 10131 27791 0 -1 4202560 17221 0 0 0 5914 340 0 0 20 0 17 0 642479683 966926336 198996 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10131/tid=10146] ppid=10129 vsize=944264 CPUtime=64.76
/proc/10131/task/10146/stat : 10146 (satake) S 10129 10131 27791 0 -1 4202560 17015 0 0 0 6120 356 0 0 20 0 17 0 642479683 966926336 198996 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=10131/tid=10147] ppid=10129 vsize=944264 CPUtime=65.81
/proc/10131/task/10147/stat : 10147 (satake) R 10129 10131 27791 0 -1 4202560 17559 0 0 0 6247 334 0 0 20 0 17 0 642479683 966926336 198996 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1039.73
Current children cumulated vsize (KiB) 944264

[startup+198.304 s]
/proc/loadavg: 7.97 9.88 10.61 8/201 10148
/proc/meminfo: memFree=18318372/36427776 swapFree=4588/806628
[pid=10131] ppid=10129 vsize=945484 CPUtime=1063.53
/proc/10131/stat : 10131 (satake) S 10129 10131 27791 0 -1 4202496 255165 0 0 0 93706 12647 0 0 20 0 17 0 642479682 968175616 199228 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/10131/statm: 236371 199228 68 164 0 236206 0
[pid=10131/tid=10132] ppid=10129 vsize=945484 CPUtime=84.23
/proc/10131/task/10132/stat : 10132 (satake) D 10129 10131 27791 0 -1 4202560 1579 0 0 0 802 7621 0 0 20 0 17 0 642479682 968175616 199228 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10131/tid=10133] ppid=10129 vsize=945484 CPUtime=63.19
/proc/10131/task/10133/stat : 10133 (satake) S 10129 10131 27791 0 -1 4202560 16427 0 0 0 5987 332 0 0 20 0 17 0 642479682 968175616 199228 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=10131/tid=10134] ppid=10129 vsize=945484 CPUtime=65.75
/proc/10131/task/10134/stat : 10134 (satake) S 10129 10131 27791 0 -1 4202560 16599 0 0 0 6291 284 0 0 20 0 17 0 642479682 968175616 199228 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=10131/tid=10135] ppid=10129 vsize=945484 CPUtime=63.4
/proc/10131/task/10135/stat : 10135 (satake) S 10129 10131 27791 0 -1 4202560 17449 0 0 0 6018 322 0 0 20 0 17 0 642479682 968175616 199228 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=10131/tid=10136] ppid=10129 vsize=945484 CPUtime=62.45
/proc/10131/task/10136/stat : 10136 (satake) S 10129 10131 27791 0 -1 4202560 16730 0 0 0 5923 322 0 0 20 0 17 0 642479682 968175616 199228 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=10131/tid=10137] ppid=10129 vsize=945484 CPUtime=64.76
/proc/10131/task/10137/stat : 10137 (satake) R 10129 10131 27791 0 -1 4202560 17181 0 0 0 6164 312 0 0 20 0 17 0 642479682 968175616 199228 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10131/tid=10138] ppid=10129 vsize=945484 CPUtime=65.69
/proc/10131/task/10138/stat : 10138 (satake) S 10129 10131 27791 0 -1 4202560 15912 0 0 0 6167 402 0 0 20 0 17 0 642479682 968175616 199228 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=10131/tid=10139] ppid=10129 vsize=945484 CPUtime=68.06
/proc/10131/task/10139/stat : 10139 (satake) R 10129 10131 27791 0 -1 4202560 16654 0 0 0 6468 338 0 0 20 0 17 0 642479682 968175616 199228 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134524655 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10131/tid=10140] ppid=10129 vsize=945484 CPUtime=65.09
/proc/10131/task/10140/stat : 10140 (satake) S 10129 10131 27791 0 -1 4202560 17331 0 0 0 6181 328 0 0 20 0 17 0 642479682 968175616 199228 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=10131/tid=10141] ppid=10129 vsize=945484 CPUtime=64.13
/proc/10131/task/10141/stat : 10141 (satake) S 10129 10131 27791 0 -1 4202560 16699 0 0 0 6055 358 0 0 20 0 17 0 642479682 968175616 199228 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=10131/tid=10142] ppid=10129 vsize=945484 CPUtime=60.47
/proc/10131/task/10142/stat : 10142 (satake) R 10129 10131 27791 0 -1 4202560 16951 0 0 0 5711 336 0 0 20 0 17 0 642479682 968175616 199228 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134525177 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10131/tid=10143] ppid=10129 vsize=945484 CPUtime=70.28
/proc/10131/task/10143/stat : 10143 (satake) R 10129 10131 27791 0 -1 4202560 17047 0 0 0 6702 326 0 0 20 0 17 0 642479682 968175616 199228 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134528680 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10131/tid=10144] ppid=10129 vsize=945484 CPUtime=69.13
/proc/10131/task/10144/stat : 10144 (satake) S 10129 10131 27791 0 -1 4202560 16631 0 0 0 6585 328 0 0 20 0 17 0 642479682 968175616 199228 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=10131/tid=10145] ppid=10129 vsize=945484 CPUtime=64.15
/proc/10131/task/10145/stat : 10145 (satake) D 10129 10131 27791 0 -1 4202560 17232 0 0 0 6075 340 0 0 20 0 17 0 642479683 968175616 199228 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10131/tid=10146] ppid=10129 vsize=945484 CPUtime=65.69
/proc/10131/task/10146/stat : 10146 (satake) S 10129 10131 27791 0 -1 4202560 17054 0 0 0 6213 356 0 0 20 0 17 0 642479683 968175616 199228 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=10131/tid=10147] ppid=10129 vsize=945484 CPUtime=66.97
/proc/10131/task/10147/stat : 10147 (satake) S 10129 10131 27791 0 -1 4202560 17566 0 0 0 6361 336 0 0 20 0 17 0 642479683 968175616 199228 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1063.53
Current children cumulated vsize (KiB) 945484

[startup+199.905 s]
/proc/loadavg: 7.97 9.88 10.61 16/201 10148
/proc/meminfo: memFree=18317752/36427776 swapFree=4624/807052
[pid=10131] ppid=10129 vsize=897448 CPUtime=1074.9
/proc/10131/stat : 10131 (satake) S 10129 10131 27791 0 -1 4202496 255224 0 0 0 94229 13261 0 0 20 0 17 0 642479682 918986752 191138 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/10131/statm: 224362 191138 77 164 0 224197 0
[pid=10131/tid=10132] ppid=10129 vsize=897448 CPUtime=84.85
/proc/10131/task/10132/stat : 10132 (satake) R 10129 10131 27791 0 -1 4202560 1579 0 0 0 810 7675 0 0 20 0 17 0 642479682 918986752 191138 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10131/tid=10133] ppid=10129 vsize=897448 CPUtime=63.88
/proc/10131/task/10133/stat : 10133 (satake) S 10129 10131 27791 0 -1 4202560 16427 0 0 0 6016 372 0 0 20 0 17 0 642479682 918986752 191138 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=10131/tid=10134] ppid=10129 vsize=897448 CPUtime=66.47
/proc/10131/task/10134/stat : 10134 (satake) S 10129 10131 27791 0 -1 4202560 16600 0 0 0 6325 322 0 0 20 0 17 0 642479682 918986752 191138 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=10131/tid=10135] ppid=10129 vsize=897448 CPUtime=64.04
/proc/10131/task/10135/stat : 10135 (satake) S 10129 10131 27791 0 -1 4202560 17458 0 0 0 6042 362 0 0 20 0 17 0 642479682 918986752 191138 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=10131/tid=10136] ppid=10129 vsize=897448 CPUtime=63.06
/proc/10131/task/10136/stat : 10136 (satake) S 10129 10131 27791 0 -1 4202560 16730 0 0 0 5946 360 0 0 20 0 17 0 642479682 918986752 191138 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=10131/tid=10137] ppid=10129 vsize=897448 CPUtime=65.42
/proc/10131/task/10137/stat : 10137 (satake) S 10129 10131 27791 0 -1 4202560 17181 0 0 0 6192 350 0 0 20 0 17 0 642479682 918986752 191138 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=10131/tid=10138] ppid=10129 vsize=897448 CPUtime=66.36
/proc/10131/task/10138/stat : 10138 (satake) S 10129 10131 27791 0 -1 4202560 15912 0 0 0 6198 438 0 0 20 0 17 0 642479682 918986752 191138 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=10131/tid=10139] ppid=10129 vsize=897448 CPUtime=68.5
/proc/10131/task/10139/stat : 10139 (satake) S 10129 10131 27791 0 -1 4202560 16654 0 0 0 6492 358 0 0 20 0 17 0 642479682 918986752 191138 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=10131/tid=10140] ppid=10129 vsize=897448 CPUtime=65.77
/proc/10131/task/10140/stat : 10140 (satake) S 10129 10131 27791 0 -1 4202560 17331 0 0 0 6211 366 0 0 20 0 17 0 642479682 918986752 191138 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=10131/tid=10141] ppid=10129 vsize=897448 CPUtime=64.97
/proc/10131/task/10141/stat : 10141 (satake) S 10129 10131 27791 0 -1 4202560 16700 0 0 0 6101 396 0 0 20 0 17 0 642479682 918986752 191138 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=10131/tid=10142] ppid=10129 vsize=897448 CPUtime=61.18
/proc/10131/task/10142/stat : 10142 (satake) R 10129 10131 27791 0 -1 4202560 16952 0 0 0 5742 376 0 0 20 0 17 0 642479682 918986752 191138 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10131/tid=10143] ppid=10129 vsize=897448 CPUtime=71.15
/proc/10131/task/10143/stat : 10143 (satake) R 10129 10131 27791 0 -1 4202560 17059 0 0 0 6749 366 0 0 20 0 17 0 642479682 918986752 191138 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10131/tid=10144] ppid=10129 vsize=897448 CPUtime=69.86
/proc/10131/task/10144/stat : 10144 (satake) R 10129 10131 27791 0 -1 4202560 16631 0 0 0 6622 364 0 0 20 0 17 0 642479682 918986752 191138 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134670131 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10131/tid=10145] ppid=10129 vsize=897448 CPUtime=65.04
/proc/10131/task/10145/stat : 10145 (satake) S 10129 10131 27791 0 -1 4202560 17264 0 0 0 6122 382 0 0 20 0 17 0 642479683 918986752 191138 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=10131/tid=10146] ppid=10129 vsize=897448 CPUtime=66.44
/proc/10131/task/10146/stat : 10146 (satake) R 10129 10131 27791 0 -1 4202560 17056 0 0 0 6252 392 0 0 20 0 17 0 642479683 918986752 191138 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10131/tid=10147] ppid=10129 vsize=897448 CPUtime=67.79
/proc/10131/task/10147/stat : 10147 (satake) R 10129 10131 27791 0 -1 4202560 17567 0 0 0 6405 374 0 0 20 0 17 0 642479683 918986752 191138 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134666313 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1074.9
Current children cumulated vsize (KiB) 897448

[startup+200.304 s]
/proc/loadavg: 7.97 9.88 10.61 3/200 10148
/proc/meminfo: memFree=18359024/36427776 swapFree=4624/759116
[pid=10131] ppid=10129 vsize=829324 CPUtime=1077.37
/proc/10131/stat : 10131 (satake) S 10129 10131 27791 0 -1 4202496 255224 0 0 0 94371 13366 0 0 20 0 14 0 642479682 849227776 179894 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/10131/statm: 207331 179894 77 164 0 207166 0
[pid=10131/tid=10133] ppid=10129 vsize=829324 CPUtime=64
/proc/10131/task/10133/stat : 10133 (satake) S 10129 10131 27791 0 -1 4202560 16427 0 0 0 6022 378 0 0 20 0 14 0 642479682 849227776 179894 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=10131/tid=10134] ppid=10129 vsize=829324 CPUtime=66.55
/proc/10131/task/10134/stat : 10134 (satake) S 10129 10131 27791 0 -1 4202560 16600 0 0 0 6329 326 0 0 20 0 14 0 642479682 849227776 179894 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=10131/tid=10135] ppid=10129 vsize=829324 CPUtime=64.26
/proc/10131/task/10135/stat : 10135 (satake) S 10129 10131 27791 0 -1 4202560 17458 0 0 0 6056 370 0 0 20 0 14 0 642479682 849227776 179894 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=10131/tid=10136] ppid=10129 vsize=829324 CPUtime=63.32
/proc/10131/task/10136/stat : 10136 (satake) R 10129 10131 27791 0 -1 4202560 16730 0 0 0 5962 370 0 0 20 0 14 0 642479682 849227776 179894 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10131/tid=10137] ppid=10129 vsize=829324 CPUtime=65.62
/proc/10131/task/10137/stat : 10137 (satake) R 10129 10131 27791 0 -1 4202560 17181 0 0 0 6200 362 0 0 20 0 14 0 642479682 849227776 179894 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10131/tid=10138] ppid=10129 vsize=829324 CPUtime=66.56
/proc/10131/task/10138/stat : 10138 (satake) R 10129 10131 27791 0 -1 4202560 15912 0 0 0 6210 446 0 0 20 0 14 0 642479682 849227776 179894 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10131/tid=10139] ppid=10129 vsize=829324 CPUtime=68.58
/proc/10131/task/10139/stat : 10139 (satake) S 10129 10131 27791 0 -1 4202560 16654 0 0 0 6496 362 0 0 20 0 14 0 642479682 849227776 179894 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=10131/tid=10140] ppid=10129 vsize=829324 CPUtime=66
/proc/10131/task/10140/stat : 10140 (satake) R 10129 10131 27791 0 -1 4202560 17331 0 0 0 6224 376 0 0 20 0 14 0 642479682 849227776 179894 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10131/tid=10141] ppid=10129 vsize=829324 CPUtime=65.16
/proc/10131/task/10141/stat : 10141 (satake) R 10129 10131 27791 0 -1 4202560 16700 0 0 0 6110 406 0 0 20 0 14 0 642479682 849227776 179894 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10131/tid=10142] ppid=10129 vsize=829324 CPUtime=61.36
/proc/10131/task/10142/stat : 10142 (satake) S 10129 10131 27791 0 -1 4202560 16952 0 0 0 5752 384 0 0 20 0 14 0 642479682 849227776 179894 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=10131/tid=10143] ppid=10129 vsize=829324 CPUtime=71.35
/proc/10131/task/10143/stat : 10143 (satake) S 10129 10131 27791 0 -1 4202560 17059 0 0 0 6761 374 0 0 20 0 14 0 642479682 849227776 179894 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=10131/tid=10144] ppid=10129 vsize=829324 CPUtime=70.03
/proc/10131/task/10144/stat : 10144 (satake) S 10129 10131 27791 0 -1 4202560 16631 0 0 0 6633 370 0 0 20 0 14 0 642479682 849227776 179894 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=10131/tid=10146] ppid=10129 vsize=829324 CPUtime=66.61
/proc/10131/task/10146/stat : 10146 (satake) R 10129 10131 27791 0 -1 4202560 17056 0 0 0 6259 402 0 0 20 0 14 0 642479683 849227776 179894 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1077.37
Current children cumulated vsize (KiB) 829324

[startup+200.701 s]
/proc/loadavg: 7.97 9.88 10.61 3/200 10148
/proc/meminfo: memFree=18359024/36427776 swapFree=4624/759116
[pid=10131] ppid=10129 vsize=614052 CPUtime=1078.63
/proc/10131/stat : 10131 (satake) S 10129 10131 27791 0 -1 4202496 255224 0 0 0 94452 13411 0 0 20 0 2 0 642479682 628789248 146355 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/10131/statm: 153513 146355 77 164 0 153348 0
[pid=10131/tid=10139] ppid=10129 vsize=614052 CPUtime=68.78
/proc/10131/task/10139/stat : 10139 (satake) R 10129 10131 27791 0 -1 4202560 16654 0 0 0 6512 366 0 0 20 0 2 0 642479682 628789248 146355 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134670075 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1078.63
Current children cumulated vsize (KiB) 614052

[startup+200.801 s]
/proc/loadavg: 7.97 9.88 10.61 3/200 10148
/proc/meminfo: memFree=18359024/36427776 swapFree=4624/759116
[pid=10131] ppid=10129 vsize=508836 CPUtime=1078.73
/proc/10131/stat : 10131 (satake) S 10129 10131 27791 0 -1 4202496 255224 0 0 0 94459 13414 0 0 20 0 2 0 642479682 521048064 120796 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/10131/statm: 127209 120796 77 164 0 127044 0
[pid=10131/tid=10139] ppid=10129 vsize=508836 CPUtime=68.89
/proc/10131/task/10139/stat : 10139 (satake) R 10129 10131 27791 0 -1 4202560 16654 0 0 0 6519 370 0 0 20 0 2 0 642479682 521048064 120591 18446744073709551615 134512640 135180984 4286643952 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1078.73
Current children cumulated vsize (KiB) 508836

Child status: 16
Real time (s): 200.903
CPU time (s): 1078.85
CPU user time (s): 944.595
CPU system time (s): 134.256
CPU usage (%): 537.002
Max. virtual memory (cumulated for all children) (KiB): 958968


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 944.595
system time used= 134.256
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255225
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= 9603885
involuntary context switches= 2071772

runsolver used 0.928058 second user time and 2.50016 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 20:35:33
IDJOB=1780542
IDBENCH=71019
IDSOLVER=631
FILE ID=xenhost3-49/1780542-1244831733
PBS_JOBID=
Free space on /tmp= 7014 MiB

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

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

MD5SUM BENCH= 4385f03fe3bdaf0f127ae989ddd7908d
RANDOM SEED= 806412574

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:      19114016 kB
Buffers:        435360 kB
Cached:       14125996 kB
SwapCached:          0 kB
Active:        4081056 kB
Inactive:     10488916 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           15288 kB
Writeback:           0 kB
AnonPages:        8040 kB
Mapped:           3900 kB
Slab:           689424 kB
SReclaimable:   662532 kB
SUnreclaim:      26892 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29852 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7014 MiB
End job on xenhost3-49 at 2009-06-12 20:38:54