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 in four parts:
  1. 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 provide some useful information on the computer.
  2. 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 !
  3. 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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    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.
  4. 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.

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare1_1.opb
MD5SUMf88781e3d6e9a5487d13eaa213c27b55
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5237
Optimality of the best value was proved NO
Number of terms in the objective function 120
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 6291450
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 524288
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 6291450
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.45
Number of variables205
Total number of constraints56
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)45
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint1
Maximum length of a constraint105

Trace number 8685

Launcher Data

LAUNCH ON wulflinc8 THE 2005-09-20 17:39:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5787 boxname=wulflinc8 idbench=1099 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  f88781e3d6e9a5487d13eaa213c27b55  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-markshare1_1.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5787
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        742592 kB
Buffers:         34096 kB
Cached:         231724 kB
SwapCached:        876 kB
Active:          87244 kB
Inactive:       181276 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        742340 kB
SwapTotal:     2097136 kB
SwapFree:      2095848 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5768 kB
Slab:            17932 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 18:00:47 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 5787 0 1189.01 10

Solver Data

c Pueblo version 1.3 (July 2005)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c starting to Solve
c #variables read: 205 - #constraints read: 63
c total time              : 1189 s
s SATISFIABLE
v s01_bit_7 s01_bit_6 s01_bit_5 -s01_bit_4 s01_bit_3 s01_bit_2 -s01_bit_1 s01_bit0 -s01_bit1 -s01_bit2 s01_bit3 s01_bit4 s01_bit5 s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit10 -s01_bit11 -s01_bit12 s11_bit_7 s11_bit_6 s11_bit_5 s11_bit_4 -s11_bit_3 -s11_bit_2 -s11_bit_1 -s11_bit0 s11_bit1 s11_bit2 -s11_bit3 s11_bit4 -s11_bit5 s11_bit6 s11_bit7 -s11_bit8 -s11_bit9 -s11_bit10 -s11_bit11 -s11_bit12 s21_bit_7 -s21_bit_6 -s21_bit_5 s21_bit_4 s21_bit_3 s21_bit_2 s21_bit_1 -s21_bit0 -s21_bit1 s21_bit2 s21_bit3 -s21_bit4 s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 -s21_bit10 -s21_bit11 -s21_bit12 s31_bit_7 s31_bit_6 -s31_bit_5 -s31_bit_4 -s31_bit_3 -s31_bit_2 -s31_bit_1 -s31_bit0 -s31_bit1 -s31_bit2 -s31_bit3 -s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit10 -s31_bit11 -s31_bit12 s41_bit_7 -s41_bit_6 s41_bit_5 -s41_bit_4 -s41_bit_3 -s41_bit_2 -s41_bit_1 -s41_bit0 -s41_bit1 -s41_bit2 -s41_bit3 -s41_bit4 -s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit10 -s41_bit11 -s41_bit12 -s51_bit_7 -s51_bit_6 -s51_bit_5 s51_bit_4 -s51_bit_3 -s51_bit_2 s51_bit_1 s51_bit0 s51_bit1 s51_bit2 -s51_bit3 -s51_bit4 -s51_bit5 -s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit10 -s51_bit11 -s51_bit12 -x0_bit_7 -x0_bit_6 -x0_bit_5 -x0_bit_4 -x0_bit_3 -x0_bit_2 -x0_bit_1 x0_bit0 -x1_bit0 x2_bit0 -x3_bit0 -x4_bit0 -x5_bit0 x6_bit0 -x7_bit0 x8_bit0 -x9_bit0 x10_bit0 -x11_bit0 -x12_bit0 x13_bit0 -x14_bit0 x15_bit0 x16_bit0 x17_bit0 x18_bit0 -x19_bit0 -x20_bit0 -x21_bit0 -x22_bit0 x23_bit0 -x24_bit0 x25_bit0 x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 x30_bit0 x31_bit0 -x32_bit0 -x33_bit0 x34_bit0 -x35_bit0 -x36_bit0 x37_bit0 x38_bit0 x39_bit0 -x40_bit0 x41_bit0 -x42_bit0 x43_bit0 x44_bit0 -x45_bit_7 x45_bit_6 x45_bit_5 x45_bit_4 x45_bit_3 x45_bit_2 x45_bit_1 -x45_bit0 x46_bit_7 x46_bit_6 x46_bit_5 x46_bit_4 x46_bit_3 x46_bit_2 -x46_bit_1 -x46_bit0 x47_bit_7 x47_bit_6 x47_bit_5 x47_bit_4 x47_bit_3 x47_bit_2 x47_bit_1 -x47_bit0 -x48_bit0 x49_bit_7 -x49_bit_6 x49_bit_5 x49_bit_4 -x49_bit_3 -x49_bit_2 -x49_bit_1 -x49_bit0

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1788613058 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8206/statm): 41 3 40 18 0 23 0
[pid=8206] vsize: 164
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libstdc++.so.5
open syscall for file tls/i686/libstdc++.so.5
open syscall for file tls/mmx/libstdc++.so.5
open syscall for file tls/libstdc++.so.5
open syscall for file i686/mmx/libstdc++.so.5
open syscall for file i686/libstdc++.so.5
open syscall for file mmx/libstdc++.so.5
open syscall for file libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/libstdc++.so.5
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++.so.5
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6

[startup+10.0034 s]
Raw data (loadavg): 0.95 0.99 0.93 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 322 0 0 0 894 36 0 0 25 0 1 0 1788613058 2891776 288 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 706 288 566 18 0 688 0
[pid=8206] vsize: 2824
Current children cumulated CPU time (s) 9.3
Current children cumulated vsize (Kb) 2824

[startup+20.0042 s]
Raw data (loadavg): 0.96 0.99 0.93 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 332 0 0 0 1784 74 0 0 25 0 1 0 1788613058 2891776 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 706 298 566 18 0 688 0
[pid=8206] vsize: 2824
Current children cumulated CPU time (s) 18.58
Current children cumulated vsize (Kb) 2824

[startup+30.006 s]
Raw data (loadavg): 0.96 0.99 0.93 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 334 0 0 0 2676 114 0 0 25 0 1 0 1788613058 2891776 300 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 706 300 566 18 0 688 0
[pid=8206] vsize: 2824
Current children cumulated CPU time (s) 27.9
Current children cumulated vsize (Kb) 2824

[startup+40.0068 s]
Raw data (loadavg): 0.97 0.99 0.93 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 336 0 0 0 3570 152 0 0 25 0 1 0 1788613058 2891776 302 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 706 302 566 18 0 688 0
[pid=8206] vsize: 2824
Current children cumulated CPU time (s) 37.22
Current children cumulated vsize (Kb) 2824

[startup+50.0066 s]
Raw data (loadavg): 0.97 0.99 0.93 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 341 0 0 0 4464 186 0 0 25 0 1 0 1788613058 2891776 307 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 706 307 566 18 0 688 0
[pid=8206] vsize: 2824
Current children cumulated CPU time (s) 46.5
Current children cumulated vsize (Kb) 2824

[startup+60.0074 s]
Raw data (loadavg): 0.98 0.99 0.93 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 343 0 0 0 5366 222 0 0 25 0 1 0 1788613058 2891776 309 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8206/statm): 706 309 566 18 0 688 0
[pid=8206] vsize: 2824
Current children cumulated CPU time (s) 55.88
Current children cumulated vsize (Kb) 2824

[startup+70.0081 s]
Raw data (loadavg): 0.98 0.99 0.93 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 343 0 0 0 6249 263 0 0 25 0 1 0 1788613058 2891776 309 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 706 309 566 18 0 688 0
[pid=8206] vsize: 2824
Current children cumulated CPU time (s) 65.12
Current children cumulated vsize (Kb) 2824

[startup+80.0089 s]
Raw data (loadavg): 0.98 0.99 0.93 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 343 0 0 0 7124 308 0 0 25 0 1 0 1788613058 2891776 309 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 706 309 566 18 0 688 0
[pid=8206] vsize: 2824
Current children cumulated CPU time (s) 74.32
Current children cumulated vsize (Kb) 2824

[startup+90.0097 s]
Raw data (loadavg): 0.98 0.99 0.93 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 343 0 0 0 8003 347 0 0 25 0 1 0 1788613058 2891776 309 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 706 309 566 18 0 688 0
[pid=8206] vsize: 2824
Current children cumulated CPU time (s) 83.5
Current children cumulated vsize (Kb) 2824

[startup+100.01 s]
Raw data (loadavg): 0.99 0.99 0.93 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 343 0 0 0 8884 389 0 0 25 0 1 0 1788613058 2891776 309 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/8206/statm): 706 309 566 18 0 688 0
[pid=8206] vsize: 2824
Current children cumulated CPU time (s) 92.73
Current children cumulated vsize (Kb) 2824

[startup+110.01 s]
Raw data (loadavg): 0.99 0.99 0.93 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 352 0 0 0 9781 423 0 0 25 0 1 0 1788613058 3022848 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 738 318 566 18 0 720 0
[pid=8206] vsize: 2952
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (Kb) 2952

[startup+120.01 s]
Raw data (loadavg): 1.07 1.01 0.93 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 352 0 0 0 10663 466 0 0 25 0 1 0 1788613058 3022848 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 738 318 566 18 0 720 0
[pid=8206] vsize: 2952
Current children cumulated CPU time (s) 111.29
Current children cumulated vsize (Kb) 2952

[startup+130.011 s]
Raw data (loadavg): 1.06 1.01 0.93 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 352 0 0 0 11536 509 0 0 25 0 1 0 1788613058 3022848 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/8206/statm): 738 318 566 18 0 720 0
[pid=8206] vsize: 2952
Current children cumulated CPU time (s) 120.45
Current children cumulated vsize (Kb) 2952

[startup+140.012 s]
Raw data (loadavg): 1.05 1.01 0.93 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 352 0 0 0 12437 543 0 0 25 0 1 0 1788613058 3022848 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 738 318 566 18 0 720 0
[pid=8206] vsize: 2952
Current children cumulated CPU time (s) 129.8
Current children cumulated vsize (Kb) 2952

[startup+150.011 s]
Raw data (loadavg): 1.12 1.02 0.94 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 352 0 0 0 13343 578 0 0 23 0 1 0 1788613058 3022848 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 738 318 566 18 0 720 0
[pid=8206] vsize: 2952
Current children cumulated CPU time (s) 139.21
Current children cumulated vsize (Kb) 2952

[startup+160.012 s]
Raw data (loadavg): 1.10 1.02 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 357 0 0 0 14236 617 0 0 25 0 1 0 1788613058 3022848 323 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 738 323 566 18 0 720 0
[pid=8206] vsize: 2952
Current children cumulated CPU time (s) 148.53
Current children cumulated vsize (Kb) 2952

[startup+170.013 s]
Raw data (loadavg): 1.09 1.02 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 357 0 0 0 15120 659 0 0 25 0 1 0 1788613058 3022848 323 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 738 323 566 18 0 720 0
[pid=8206] vsize: 2952
Current children cumulated CPU time (s) 157.79
Current children cumulated vsize (Kb) 2952

[startup+180.014 s]
Raw data (loadavg): 1.07 1.02 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 363 0 0 0 16001 703 0 0 25 0 1 0 1788613058 3022848 329 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 738 329 566 18 0 720 0
[pid=8206] vsize: 2952
Current children cumulated CPU time (s) 167.04
Current children cumulated vsize (Kb) 2952

[startup+190.015 s]
Raw data (loadavg): 1.06 1.02 0.94 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 368 0 0 0 16909 736 0 0 25 0 1 0 1788613058 3022848 334 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8206/statm): 738 334 566 18 0 720 0
[pid=8206] vsize: 2952
Current children cumulated CPU time (s) 176.45
Current children cumulated vsize (Kb) 2952

[startup+200.014 s]
Raw data (loadavg): 1.05 1.02 0.94 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 377 0 0 0 17815 770 0 0 25 0 1 0 1788613058 3022848 343 4294967295 134512640 134578447 3221224624 3221223504 134528059 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8206/statm): 738 343 566 18 0 720 0
[pid=8206] vsize: 2952
Current children cumulated CPU time (s) 185.85
Current children cumulated vsize (Kb) 2952

[startup+210.015 s]
Raw data (loadavg): 1.04 1.02 0.94 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 379 0 0 0 18724 802 0 0 25 0 1 0 1788613058 3022848 345 4294967295 134512640 134578447 3221224624 3221223504 134527875 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8206/statm): 738 345 566 18 0 720 0
[pid=8206] vsize: 2952
Current children cumulated CPU time (s) 195.26
Current children cumulated vsize (Kb) 2952

[startup+220.015 s]
Raw data (loadavg): 1.04 1.02 0.94 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 379 0 0 0 19651 824 0 0 25 0 1 0 1788613058 3022848 345 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8206/statm): 738 345 566 18 0 720 0
[pid=8206] vsize: 2952
Current children cumulated CPU time (s) 204.75
Current children cumulated vsize (Kb) 2952

[startup+230.016 s]
Raw data (loadavg): 1.03 1.02 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 379 0 0 0 20564 855 0 0 25 0 1 0 1788613058 3022848 345 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 738 345 566 18 0 720 0
[pid=8206] vsize: 2952
Current children cumulated CPU time (s) 214.19
Current children cumulated vsize (Kb) 2952

[startup+240.017 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 379 0 0 0 21472 887 0 0 25 0 1 0 1788613058 3022848 345 4294967295 134512640 134578447 3221224624 3221223504 134527818 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8206/statm): 738 345 566 18 0 720 0
[pid=8206] vsize: 2952
Current children cumulated CPU time (s) 223.59
Current children cumulated vsize (Kb) 2952

[startup+250.016 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 379 0 0 0 22388 918 0 0 25 0 1 0 1788613058 3022848 345 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8206/statm): 738 345 566 18 0 720 0
[pid=8206] vsize: 2952
Current children cumulated CPU time (s) 233.06
Current children cumulated vsize (Kb) 2952

[startup+260.017 s]
Raw data (loadavg): 1.02 1.01 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 379 0 0 0 23294 950 0 0 25 0 1 0 1788613058 3022848 345 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 738 345 566 18 0 720 0
[pid=8206] vsize: 2952
Current children cumulated CPU time (s) 242.44
Current children cumulated vsize (Kb) 2952

[startup+270.017 s]
Raw data (loadavg): 1.01 1.01 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 379 0 0 0 24199 984 0 0 25 0 1 0 1788613058 3022848 345 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 738 345 566 18 0 720 0
[pid=8206] vsize: 2952
Current children cumulated CPU time (s) 251.83
Current children cumulated vsize (Kb) 2952

[startup+280.018 s]
Raw data (loadavg): 1.01 1.01 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 25112 1015 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 261.27
Current children cumulated vsize (Kb) 3072

[startup+290.018 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 392 0 0 0 26017 1049 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223536 134556897 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 270.66
Current children cumulated vsize (Kb) 3072

[startup+300.018 s]
Raw data (loadavg): 1.01 1.01 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 26918 1085 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 280.03
Current children cumulated vsize (Kb) 3072

[startup+310.019 s]
Raw data (loadavg): 1.01 1.01 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 27820 1122 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 289.42
Current children cumulated vsize (Kb) 3072

[startup+320.019 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 28731 1152 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 298.83
Current children cumulated vsize (Kb) 3072

[startup+330.02 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 29648 1183 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 308.31
Current children cumulated vsize (Kb) 3072

[startup+340.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 392 0 0 0 30562 1215 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 317.77
Current children cumulated vsize (Kb) 3072

[startup+350.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 392 0 0 0 31479 1244 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 327.23
Current children cumulated vsize (Kb) 3072

[startup+360.02 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 32389 1278 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 336.67
Current children cumulated vsize (Kb) 3072

[startup+370.02 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 33293 1312 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 346.05
Current children cumulated vsize (Kb) 3072

[startup+380.021 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 34198 1344 0 0 22 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 355.42
Current children cumulated vsize (Kb) 3072

[startup+390.021 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 35100 1379 0 0 24 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 364.79
Current children cumulated vsize (Kb) 3072

[startup+400.021 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 36002 1415 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 374.17
Current children cumulated vsize (Kb) 3072

[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 36911 1445 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 383.56
Current children cumulated vsize (Kb) 3072

[startup+420.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 392 0 0 0 37828 1474 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223456 134527260 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 393.02
Current children cumulated vsize (Kb) 3072

[startup+430.022 s]
Raw data (loadavg): 1.07 1.02 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 38734 1509 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 402.43
Current children cumulated vsize (Kb) 3072

[startup+440.023 s]
Raw data (loadavg): 1.06 1.02 0.94 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 392 0 0 0 39638 1545 0 0 20 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 411.83
Current children cumulated vsize (Kb) 3072

[startup+450.023 s]
Raw data (loadavg): 1.05 1.01 0.94 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 392 0 0 0 40554 1577 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223552 134552660 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 421.31
Current children cumulated vsize (Kb) 3072

[startup+460.024 s]
Raw data (loadavg): 1.04 1.01 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 41478 1603 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 430.81
Current children cumulated vsize (Kb) 3072

[startup+470.025 s]
Raw data (loadavg): 1.04 1.01 0.94 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 42380 1643 0 0 24 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 440.23
Current children cumulated vsize (Kb) 3072

[startup+480.025 s]
Raw data (loadavg): 1.03 1.01 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 43292 1672 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 449.64
Current children cumulated vsize (Kb) 3072

[startup+490.026 s]
Raw data (loadavg): 1.02 1.01 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 44191 1707 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 458.98
Current children cumulated vsize (Kb) 3072

[startup+500.026 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 392 0 0 0 45138 1726 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 468.64
Current children cumulated vsize (Kb) 3072

[startup+510.027 s]
Raw data (loadavg): 1.02 1.01 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 46090 1745 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 478.35
Current children cumulated vsize (Kb) 3072

[startup+520.027 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 392 0 0 0 47007 1776 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 487.83
Current children cumulated vsize (Kb) 3072

[startup+530.027 s]
Raw data (loadavg): 1.01 1.01 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 47924 1806 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 497.3
Current children cumulated vsize (Kb) 3072

[startup+540.028 s]
Raw data (loadavg): 1.01 1.01 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 48832 1837 0 0 20 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 506.69
Current children cumulated vsize (Kb) 3072

[startup+550.028 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 392 0 0 0 49734 1868 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 516.02
Current children cumulated vsize (Kb) 3072

[startup+560.029 s]
Raw data (loadavg): 1.01 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 50628 1906 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 525.34
Current children cumulated vsize (Kb) 3072

[startup+570.029 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 392 0 0 0 51526 1945 0 0 25 0 1 0 1788613058 3145728 358 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 358 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 534.71
Current children cumulated vsize (Kb) 3072

[startup+580.03 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 393 0 0 0 52429 1978 0 0 25 0 1 0 1788613058 3145728 359 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 359 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 544.07
Current children cumulated vsize (Kb) 3072

[startup+590.031 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 393 0 0 0 53330 2016 0 0 24 0 1 0 1788613058 3145728 359 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 359 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 553.46
Current children cumulated vsize (Kb) 3072

[startup+600.031 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 54247 2048 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 363 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 562.95
Current children cumulated vsize (Kb) 3072

[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 55150 2082 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 363 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 572.32
Current children cumulated vsize (Kb) 3072

[startup+620.032 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 56056 2115 0 0 18 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 363 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 581.71
Current children cumulated vsize (Kb) 3072

[startup+630.033 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 56956 2150 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 363 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 591.06
Current children cumulated vsize (Kb) 3072

[startup+640.034 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 57862 2181 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 363 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 600.43
Current children cumulated vsize (Kb) 3072

[startup+650.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 397 0 0 0 58756 2218 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 363 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 609.74
Current children cumulated vsize (Kb) 3072

[startup+660.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 397 0 0 0 59664 2249 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 363 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 619.13
Current children cumulated vsize (Kb) 3072

[startup+670.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 60570 2281 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 363 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 628.51
Current children cumulated vsize (Kb) 3072

[startup+680.035 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 61477 2315 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 363 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 637.92
Current children cumulated vsize (Kb) 3072

[startup+690.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 397 0 0 0 62373 2355 0 0 23 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8206/statm): 768 363 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 647.28
Current children cumulated vsize (Kb) 3072

[startup+700.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 397 0 0 0 63289 2386 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8206/statm): 768 363 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 656.75
Current children cumulated vsize (Kb) 3072

[startup+710.036 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 64203 2416 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 363 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 666.19
Current children cumulated vsize (Kb) 3072

[startup+720.037 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 65118 2444 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 363 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 675.62
Current children cumulated vsize (Kb) 3072

[startup+730.038 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 66027 2477 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 363 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 685.04
Current children cumulated vsize (Kb) 3072

[startup+740.039 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 66938 2507 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 363 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 694.45
Current children cumulated vsize (Kb) 3072

[startup+750.039 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 67859 2533 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 363 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 703.92
Current children cumulated vsize (Kb) 3072

[startup+760.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 68766 2568 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 363 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 713.34
Current children cumulated vsize (Kb) 3072

[startup+770.039 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 397 0 0 0 69674 2601 0 0 25 0 1 0 1788613058 3145728 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 363 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 722.75
Current children cumulated vsize (Kb) 3072

[startup+780.04 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 398 0 0 0 70578 2633 0 0 25 0 1 0 1788613058 3145728 364 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 364 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 732.11
Current children cumulated vsize (Kb) 3072

[startup+790.041 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 403 0 0 0 71474 2669 0 0 25 0 1 0 1788613058 3145728 369 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/8206/statm): 768 369 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 741.43
Current children cumulated vsize (Kb) 3072

[startup+800.04 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 403 0 0 0 72371 2705 0 0 25 0 1 0 1788613058 3145728 369 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 369 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 750.76
Current children cumulated vsize (Kb) 3072

[startup+810.041 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 403 0 0 0 73277 2738 0 0 25 0 1 0 1788613058 3145728 369 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 369 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 760.15
Current children cumulated vsize (Kb) 3072

[startup+820.041 s]
Raw data (loadavg): 1.07 1.02 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 403 0 0 0 74177 2773 0 0 25 0 1 0 1788613058 3145728 369 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 369 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 769.5
Current children cumulated vsize (Kb) 3072

[startup+830.043 s]
Raw data (loadavg): 1.06 1.02 0.95 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 403 0 0 0 75078 2812 0 0 25 0 1 0 1788613058 3145728 369 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 369 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 778.9
Current children cumulated vsize (Kb) 3072

[startup+840.043 s]
Raw data (loadavg): 1.05 1.01 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 403 0 0 0 75980 2848 0 0 25 0 1 0 1788613058 3145728 369 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 369 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 788.28
Current children cumulated vsize (Kb) 3072

[startup+850.042 s]
Raw data (loadavg): 1.04 1.01 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 403 0 0 0 76868 2889 0 0 25 0 1 0 1788613058 3145728 369 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 369 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 797.57
Current children cumulated vsize (Kb) 3072

[startup+860.043 s]
Raw data (loadavg): 1.04 1.01 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 403 0 0 0 77771 2923 0 0 25 0 1 0 1788613058 3145728 369 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 369 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 806.94
Current children cumulated vsize (Kb) 3072

[startup+870.043 s]
Raw data (loadavg): 1.03 1.01 0.95 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 403 0 0 0 78663 2962 0 0 25 0 1 0 1788613058 3145728 369 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8206/statm): 768 369 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 816.25
Current children cumulated vsize (Kb) 3072

[startup+880.044 s]
Raw data (loadavg): 1.02 1.01 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 404 0 0 0 79556 3002 0 0 22 0 1 0 1788613058 3145728 370 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 370 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 825.58
Current children cumulated vsize (Kb) 3072

[startup+890.045 s]
Raw data (loadavg): 1.02 1.01 0.95 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 404 0 0 0 80450 3042 0 0 25 0 1 0 1788613058 3145728 370 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 370 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 834.92
Current children cumulated vsize (Kb) 3072

[startup+900.044 s]
Raw data (loadavg): 1.02 1.01 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 404 0 0 0 81357 3077 0 0 25 0 1 0 1788613058 3145728 370 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/8206/statm): 768 370 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 844.34
Current children cumulated vsize (Kb) 3072

[startup+910.045 s]
Raw data (loadavg): 1.01 1.01 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 404 0 0 0 82260 3109 0 0 25 0 1 0 1788613058 3145728 370 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 370 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 853.69
Current children cumulated vsize (Kb) 3072

[startup+920.045 s]
Raw data (loadavg): 1.01 1.01 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 404 0 0 0 83172 3141 0 0 25 0 1 0 1788613058 3145728 370 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 370 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 863.13
Current children cumulated vsize (Kb) 3072

[startup+930.046 s]
Raw data (loadavg): 1.01 1.00 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 405 0 0 0 84075 3174 0 0 25 0 1 0 1788613058 3145728 371 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 768 371 566 18 0 750 0
[pid=8206] vsize: 3072
Current children cumulated CPU time (s) 872.49
Current children cumulated vsize (Kb) 3072

[startup+940.047 s]
Raw data (loadavg): 1.01 1.00 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 84995 3202 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (Kb) 3196

[startup+950.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 426 0 0 0 85903 3234 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 891.37
Current children cumulated vsize (Kb) 3196

[startup+960.047 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 86806 3269 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 900.75
Current children cumulated vsize (Kb) 3196

[startup+970.047 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 87720 3299 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 910.19
Current children cumulated vsize (Kb) 3196

[startup+980.048 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 88627 3331 0 0 17 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 919.58
Current children cumulated vsize (Kb) 3196

[startup+990.048 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 89536 3363 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 928.99
Current children cumulated vsize (Kb) 3196

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 90436 3397 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 938.33
Current children cumulated vsize (Kb) 3196

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 91317 3437 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 947.54
Current children cumulated vsize (Kb) 3196

[startup+1020.05 s]
Raw data (loadavg): 1.07 1.02 0.95 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 426 0 0 0 92203 3479 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 956.82
Current children cumulated vsize (Kb) 3196

[startup+1030.05 s]
Raw data (loadavg): 1.06 1.02 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 93097 3515 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 966.12
Current children cumulated vsize (Kb) 3196

[startup+1040.05 s]
Raw data (loadavg): 1.05 1.01 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 94001 3547 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 975.48
Current children cumulated vsize (Kb) 3196

[startup+1050.05 s]
Raw data (loadavg): 1.04 1.01 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 94898 3583 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 984.81
Current children cumulated vsize (Kb) 3196

[startup+1060.05 s]
Raw data (loadavg): 1.04 1.01 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 95795 3619 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 994.14
Current children cumulated vsize (Kb) 3196

[startup+1070.05 s]
Raw data (loadavg): 1.03 1.01 0.95 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 96685 3656 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 1003.41
Current children cumulated vsize (Kb) 3196

[startup+1080.05 s]
Raw data (loadavg): 1.02 1.01 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 97582 3694 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 1012.76
Current children cumulated vsize (Kb) 3196

[startup+1090.05 s]
Raw data (loadavg): 1.02 1.01 0.95 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 426 0 0 0 98488 3727 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223584 134558754 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 1022.15
Current children cumulated vsize (Kb) 3196

[startup+1100.05 s]
Raw data (loadavg): 1.02 1.01 0.95 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 99378 3766 0 0 21 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 1031.44
Current children cumulated vsize (Kb) 3196

[startup+1110.05 s]
Raw data (loadavg): 1.01 1.01 0.95 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 426 0 0 0 100299 3795 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 1040.94
Current children cumulated vsize (Kb) 3196

[startup+1120.05 s]
Raw data (loadavg): 1.01 1.01 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 101216 3826 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 1050.42
Current children cumulated vsize (Kb) 3196

[startup+1130.05 s]
Raw data (loadavg): 1.01 1.01 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 102112 3863 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 1059.75
Current children cumulated vsize (Kb) 3196

[startup+1140.05 s]
Raw data (loadavg): 1.01 1.00 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 103006 3902 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 1069.08
Current children cumulated vsize (Kb) 3196

[startup+1150.05 s]
Raw data (loadavg): 1.01 1.00 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 103909 3937 0 0 19 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 1078.46
Current children cumulated vsize (Kb) 3196

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 104826 3966 0 0 22 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 1087.92
Current children cumulated vsize (Kb) 3196

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 105742 3999 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 1097.41
Current children cumulated vsize (Kb) 3196

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 106631 4041 0 0 20 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 1106.72
Current children cumulated vsize (Kb) 3196

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 426 0 0 0 107521 4079 0 0 21 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 1116
Current children cumulated vsize (Kb) 3196

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 108415 4114 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 1125.29
Current children cumulated vsize (Kb) 3196

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 109304 4153 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 1134.57
Current children cumulated vsize (Kb) 3196

[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8206
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 110191 4194 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 1143.85
Current children cumulated vsize (Kb) 3196

[startup+1230.06 s]
Raw data (loadavg): 1.24 1.05 0.97 2/59 8257
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 111046 4247 0 0 17 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 1152.93
Current children cumulated vsize (Kb) 3196

[startup+1240.06 s]
Raw data (loadavg): 1.20 1.05 0.97 2/56 8261
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 111941 4284 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 1162.25
Current children cumulated vsize (Kb) 3196

[startup+1250.06 s]
Raw data (loadavg): 1.17 1.05 0.97 1/56 8261
Raw data (/proc/8206/stat): 8206 (Pueblo) T 8205 8206 27660 0 -1 0 426 0 0 0 112848 4318 0 0 19 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 1171.66
Current children cumulated vsize (Kb) 3196

[startup+1260.06 s]
Raw data (loadavg): 1.14 1.04 0.97 2/56 8261
Raw data (/proc/8206/stat): 8206 (Pueblo) R 8205 8206 27660 0 -1 0 426 0 0 0 113754 4352 0 0 25 0 1 0 1788613058 3272704 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8206/statm): 799 392 566 18 0 781 0
[pid=8206] vsize: 3196
Current children cumulated CPU time (s) 1181.06
Current children cumulated vsize (Kb) 3196
One traced child (pid=8206) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1268.68
CPU time (s): 1189.01
CPU user time (s): 1145.13
CPU system time (s): 43.8773
CPU usage (%): 93.7201
Max. virtual memory (cumulated for all children) (Kb): 3196

Verifier Data

Verifier:	OK	49679