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/MIPLIB/miplib3/normalized-mps-v2-13-7-pk1.opb
MD5SUMb6007187ad037f56a5e2b97a0b86cea8
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6656
Optimality of the best value was proved NO
Number of terms in the objective function 20
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 1048575
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 524288
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 2421502
Number of bits of the biggest sum of numbers22
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.01
Number of variables675
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)55
Number of constraints which are nor clauses,nor cardinality constraints45
Minimum length of a constraint1
Maximum length of a constraint95

Trace number 8600

Launcher Data

LAUNCH ON wulflinc8 THE 2005-09-20 17:18:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5728 boxname=wulflinc8 idbench=1040 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  b6007187ad037f56a5e2b97a0b86cea8  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-pk1.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5728
/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:        742656 kB
Buffers:         34004 kB
Cached:         231680 kB
SwapCached:        876 kB
Active:          87056 kB
Inactive:       181384 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        742404 kB
SwapTotal:     2097136 kB
SwapFree:      2095848 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5768 kB
Slab:            17880 kB
Committed_AS:    64136 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 17:39:32 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 5728 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: 675 - #constraints read: 116
c total time              : 1189 s
s SATISFIABLE
v -d_bit_7 -d_bit_6 -d_bit_5 -d_bit_4 -d_bit_3 -d_bit_2 -d_bit_1 -d_bit0 -d_bit1 d_bit2 -d_bit3 d_bit4 d_bit5 -d_bit6 -d_bit7 -d_bit8 -d_bit9 -d_bit10 -d_bit11 -d_bit12 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_bit0 -X46_bit0 X47_bit0 -X48_bit0 -X49_bit0 -X50_bit0 X51_bit0 -X52_bit0 -X53_bit0 -X54_bit0 -X55_bit0 -S1_bit_7 -S1_bit_6 -S1_bit_5 -S1_bit_4 -S1_bit_3 -S1_bit_2 -S1_bit_1 S1_bit0 S1_bit1 -S1_bit2 -S1_bit3 S1_bit4 S1_bit5 -S1_bit6 -S1_bit7 -S1_bit8 -S1_bit9 -S1_bit10 -S1_bit11 -S1_bit12 -T1_bit_7 -T1_bit_6 -T1_bit_5 -T1_bit_4 -T1_bit_3 -T1_bit_2 -T1_bit_1 -T1_bit0 -T1_bit1 -T1_bit2 -T1_bit3 -T1_bit4 -T1_bit5 -T1_bit6 -T1_bit7 -T1_bit8 -T1_bit9 -T1_bit10 -T1_bit11 -T1_bit12 -S10_bit_7 -S10_bit_6 -S10_bit_5 -S10_bit_4 -S10_bit_3 -S10_bit_2 -S10_bit_1 -S10_bit0 S10_bit1 S10_bit2 S10_bit3 -S10_bit4 -S10_bit5 -S10_bit6 -S10_bit7 -S10_bit8 -S10_bit9 -S10_bit10 -S10_bit11 -S10_bit12 -T10_bit_7 -T10_bit_6 -T10_bit_5 -T10_bit_4 -T10_bit_3 -T10_bit_2 -T10_bit_1 -T10_bit0 -T10_bit1 -T10_bit2 -T10_bit3 -T10_bit4 -T10_bit5 -T10_bit6 -T10_bit7 -T10_bit8 -T10_bit9 -T10_bit10 -T10_bit11 -T10_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 -T11_bit_7 -T11_bit_6 -T11_bit_5 -T11_bit_4 -T11_bit_3 -T11_bit_2 -T11_bit_1 -T11_bit0 T11_bit1 -T11_bit2 -T11_bit3 -T11_bit4 -T11_bit5 -T11_bit6 -T11_bit7 -T11_bit8 -T11_bit9 -T11_bit10 -T11_bit11 -T11_bit12 -S12_bit_7 -S12_bit_6 -S12_bit_5 -S12_bit_4 -S12_bit_3 -S12_bit_2 -S12_bit_1 -S12_bit0 -S12_bit1 -S12_bit2 -S12_bit3 -S12_bit4 -S12_bit5 -S12_bit6 -S12_bit7 -S12_bit8 -S12_bit9 -S12_bit10 -S12_bit11 -S12_bit12 -T12_bit_7 -T12_bit_6 -T12_bit_5 -T12_bit_4 -T12_bit_3 -T12_bit_2 -T12_bit_1 T12_bit0 T12_bit1 T12_bit2 T12_bit3 -T12_bit4 T12_bit5 -T12_bit6 -T12_bit7 -T12_bit8 -T12_bit9 -T12_bit10 -T12_bit11 -T12_bit12 -S13_bit_7 -S13_bit_6 -S13_bit_5 -S13_bit_4 -S13_bit_3 -S13_bit_2 -S13_bit_1 S13_bit0 -S13_bit1 -S13_bit2 -S13_bit3 -S13_bit4 -S13_bit5 -S13_bit6 -S13_bit7 -S13_bit8 -S13_bit9 -S13_bit10 -S13_bit11 -S13_bit12 -T13_bit_7 -T13_bit_6 -T13_bit_5 -T13_bit_4 -T13_bit_3 -T13_bit_2 -T13_bit_1 -T13_bit0 -T13_bit1 -T13_bit2 T13_bit3 -T13_bit4 T13_bit5 -T13_bit6 -T13_bit7 -T13_bit8 -T13_bit9 -T13_bit10 -T13_bit11 -T13_bit12 -S14_bit_7 -S14_bit_6 -S14_bit_5 -S14_bit_4 -S14_bit_3 -S14_bit_2 -S14_bit_1 -S14_bit0 -S14_bit1 -S14_bit2 -S14_bit3 -S14_bit4 -S14_bit5 -S14_bit6 -S14_bit7 -S14_bit8 -S14_bit9 -S14_bit10 -S14_bit11 -S14_bit12 -T14_bit_7 -T14_bit_6 -T14_bit_5 -T14_bit_4 -T14_bit_3 -T14_bit_2 -T14_bit_1 -T14_bit0 T14_bit1 -T14_bit2 T14_bit3 T14_bit4 -T14_bit5 -T14_bit6 -T14_bit7 -T14_bit8 -T14_bit9 -T14_bit10 -T14_bit11 -T14_bit12 -S15_bit_7 -S15_bit_6 -S15_bit_5 -S15_bit_4 -S15_bit_3 -S15_bit_2 -S15_bit_1 -S15_bit0 S15_bit1 -S15_bit2 S15_bit3 S15_bit4 -S15_bit5 -S15_bit6 -S15_bit7 -S15_bit8 -S15_bit9 -S15_bit10 -S15_bit11 -S15_bit12 -T15_bit_7 -T15_bit_6 -T15_bit_5 -T15_bit_4 -T15_bit_3 -T15_bit_2 -T15_bit_1 -T15_bit0 -T15_bit1 -T15_bit2 -T15_bit3 -T15_bit4 -T15_bit5 -T15_bit6 -T15_bit7 -T15_bit8 -T15_bit9 -T15_bit10 -T15_bit11 -T15_bit12 -S2_bit_7 -S2_bit_6 -S2_bit_5 -S2_bit_4 -S2_bit_3 -S2_bit_2 -S2_bit_1 -S2_bit0 -S2_bit1 -S2_bit2 -S2_bit3 -S2_bit4 -S2_bit5 -S2_bit6 -S2_bit7 -S2_bit8 -S2_bit9 -S2_bit10 -S2_bit11 -S2_bit12 -T2_bit_7 -T2_bit_6 -T2_bit_5 -T2_bit_4 -T2_bit_3 -T2_bit_2 -T2_bit_1 -T2_bit0 -T2_bit1 T2_bit2 -T2_bit3 T2_bit4 T2_bit5 -T2_bit6 -T2_bit7 -T2_bit8 -T2_bit9 -T2_bit10 -T2_bit11 -T2_bit12 -S3_bit_7 -S3_bit_6 -S3_bit_5 -S3_bit_4 -S3_bit_3 -S3_bit_2 -S3_bit_1 -S3_bit0 -S3_bit1 -S3_bit2 -S3_bit3 -S3_bit4 -S3_bit5 -S3_bit6 -S3_bit7 -S3_bit8 -S3_bit9 -S3_bit10 -S3_bit11 -S3_bit12 -T3_bit_7 -T3_bit_6 -T3_bit_5 -T3_bit_4 -T3_bit_3 -T3_bit_2 -T3_bit_1 -T3_bit0 T3_bit1 T3_bit2 -T3_bit3 T3_bit4 -T3_bit5 -T3_bit6 -T3_bit7 -T3_bit8 -T3_bit9 -T3_bit10 -T3_bit11 -T3_bit12 -S4_bit_7 -S4_bit_6 -S4_bit_5 -S4_bit_4 -S4_bit_3 -S4_bit_2 -S4_bit_1 S4_bit0 -S4_bit1 -S4_bit2 -S4_bit3 -S4_bit4 -S4_bit5 -S4_bit6 -S4_bit7 -S4_bit8 -S4_bit9 -S4_bit10 -S4_bit11 -S4_bit12 -T4_bit_7 -T4_bit_6 -T4_bit_5 -T4_bit_4 -T4_bit_3 -T4_bit_2 -T4_bit_1 -T4_bit0 -T4_bit1 -T4_bit2 T4_bit3 -T4_bit4 T4_bit5 -T4_bit6 -T4_bit7 -T4_bit8 -T4_bit9 -T4_bit10 -T4_bit11 -T4_bit12 -S5_bit_7 -S5_bit_6 -S5_bit_5 -S5_bit_4 -S5_bit_3 -S5_bit_2 -S5_bit_1 -S5_bit0 -S5_bit1 -S5_bit2 -S5_bit3 -S5_bit4 -S5_bit5 -S5_bit6 -S5_bit7 -S5_bit8 -S5_bit9 -S5_bit10 -S5_bit11 -S5_bit12 -T5_bit_7 -T5_bit_6 -T5_bit_5 -T5_bit_4 -T5_bit_3 -T5_bit_2 -T5_bit_1 -T5_bit0 -T5_bit1 T5_bit2 T5_bit3 -T5_bit4 T5_bit5 -T5_bit6 -T5_bit7 -T5_bit8 -T5_bit9 -T5_bit10 -T5_bit11 -T5_bit12 -S6_bit_7 -S6_bit_6 -S6_bit_5 -S6_bit_4 -S6_bit_3 -S6_bit_2 -S6_bit_1 S6_bit0 S6_bit1 -S6_bit2 S6_bit3 -S6_bit4 -S6_bit5 -S6_bit6 -S6_bit7 -S6_bit8 -S6_bit9 -S6_bit10 -S6_bit11 -S6_bit12 -T6_bit_7 -T6_bit_6 -T6_bit_5 -T6_bit_4 -T6_bit_3 -T6_bit_2 -T6_bit_1 -T6_bit0 -T6_bit1 -T6_bit2 -T6_bit3 -T6_bit4 -T6_bit5 -T6_bit6 -T6_bit7 -T6_bit8 -T6_bit9 -T6_bit10 -T6_bit11 -T6_bit12 -S7_bit_7 -S7_bit_6 -S7_bit_5 -S7_bit_4 -S7_bit_3 -S7_bit_2 -S7_bit_1 S7_bit0 -S7_bit1 S7_bit2 -S7_bit3 S7_bit4 -S7_bit5 -S7_bit6 -S7_bit7 -S7_bit8 -S7_bit9 -S7_bit10 -S7_bit11 -S7_bit12 -T7_bit_7 -T7_bit_6 -T7_bit_5 -T7_bit_4 -T7_bit_3 -T7_bit_2 -T7_bit_1 -T7_bit0 -T7_bit1 -T7_bit2 -T7_bit3 -T7_bit4 -T7_bit5 -T7_bit6 -T7_bit7 -T7_bit8 -T7_bit9 -T7_bit10 -T7_bit11 -T7_bit12 -S8_bit_7 -S8_bit_6 -S8_bit_5 -S8_bit_4 -S8_bit_3 -S8_bit_2 -S8_bit_1 -S8_bit0 -S8_bit1 -S8_bit2 -S8_bit3 S8_bit4 S8_bit5 -S8_bit6 -S8_bit7 -S8_bit8 -S8_bit9 -S8_bit10 -S8_bit11 -S8_bit12 -T8_bit_7 -T8_bit_6 -T8_bit_5 -T8_bit_4 -T8_bit_3 -T8_bit_2 -T8_bit_1 -T8_bit0 -T8_bit1 -T8_bit2 -T8_bit3 -T8_bit4 -T8_bit5 -T8_bit6 -T8_bit7 -T8_bit8 -T8_bit9 -T8_bit10 -T8_bit11 -T8_bit12 -S9_bit_7 -S9_bit_6 -S9_bit_5 -S9_bit_4 -S9_bit_3 -S9_bit_2 -S9_bit_1 -S9_bit0 -S9_bit1 -S9_bit2 -S9_bit3 -S9_bit4 -S9_bit5 -S9_bit6 -S9_bit7 -S9_bit8 -S9_bit9 -S9_bit10 -S9_bit11 -S9_bit12 -T9_bit_7 -T9_bit_6 -T9_bit_5 -T9_bit_4 -T9_bit_3 -T9_bit_2 -T9_bit_1 -T9_bit0 T9_bit1 T9_bit2 T9_bit3 -T9_bit4 T9_bit5 -T9_bit6 -T9_bit7 -T9_bit8 -T9_bit9 -T9_bit10 -T9_bit11 -T9_bit12

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/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1788488895 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8095/statm): 41 3 40 18 0 23 0
[pid=8095] 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.0036 s]
Raw data (loadavg): 0.93 0.95 0.90 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 379 0 0 0 932 23 0 0 25 0 1 0 1788488895 3047424 345 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 744 345 566 18 0 726 0
[pid=8095] vsize: 2976
Current children cumulated CPU time (s) 9.55
Current children cumulated vsize (Kb) 2976

[startup+20.0044 s]
Raw data (loadavg): 0.94 0.96 0.91 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 380 0 0 0 1897 36 0 0 25 0 1 0 1788488895 3047424 346 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 744 346 566 18 0 726 0
[pid=8095] vsize: 2976
Current children cumulated CPU time (s) 19.33
Current children cumulated vsize (Kb) 2976

[startup+30.0052 s]
Raw data (loadavg): 0.95 0.96 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 381 0 0 0 2857 51 0 0 19 0 1 0 1788488895 3047424 347 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8095/statm): 744 347 566 18 0 726 0
[pid=8095] vsize: 2976
Current children cumulated CPU time (s) 29.08
Current children cumulated vsize (Kb) 2976

[startup+40.0049 s]
Raw data (loadavg): 0.95 0.96 0.91 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 382 0 0 0 3823 65 0 0 25 0 1 0 1788488895 3178496 348 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 776 348 566 18 0 758 0
[pid=8095] vsize: 3104
Current children cumulated CPU time (s) 38.88
Current children cumulated vsize (Kb) 3104

[startup+50.0057 s]
Raw data (loadavg): 0.96 0.96 0.91 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 385 0 0 0 4787 77 0 0 25 0 1 0 1788488895 3178496 351 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 776 351 566 18 0 758 0
[pid=8095] vsize: 3104
Current children cumulated CPU time (s) 48.64
Current children cumulated vsize (Kb) 3104

[startup+60.0055 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 390 0 0 0 5742 92 0 0 25 0 1 0 1788488895 3178496 356 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 776 356 566 18 0 758 0
[pid=8095] vsize: 3104
Current children cumulated CPU time (s) 58.34
Current children cumulated vsize (Kb) 3104

[startup+70.0063 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 391 0 0 0 6703 105 0 0 25 0 1 0 1788488895 3178496 357 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 776 357 566 18 0 758 0
[pid=8095] vsize: 3104
Current children cumulated CPU time (s) 68.08
Current children cumulated vsize (Kb) 3104

[startup+80.0071 s]
Raw data (loadavg): 0.98 0.96 0.91 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 395 0 0 0 7660 118 0 0 25 0 1 0 1788488895 3178496 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 776 361 566 18 0 758 0
[pid=8095] vsize: 3104
Current children cumulated CPU time (s) 77.78
Current children cumulated vsize (Kb) 3104

[startup+90.0069 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 398 0 0 0 8612 136 0 0 25 0 1 0 1788488895 3178496 364 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 776 364 566 18 0 758 0
[pid=8095] vsize: 3104
Current children cumulated CPU time (s) 87.48
Current children cumulated vsize (Kb) 3104

[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 421 0 0 0 9560 154 0 0 25 0 1 0 1788488895 3309568 387 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8095/statm): 808 387 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 97.14
Current children cumulated vsize (Kb) 3232

[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 421 0 0 0 10508 174 0 0 25 0 1 0 1788488895 3309568 387 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 387 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 106.82
Current children cumulated vsize (Kb) 3232

[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 11446 195 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527568 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 116.41
Current children cumulated vsize (Kb) 3232

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 12392 214 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223692 134561235 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 126.06
Current children cumulated vsize (Kb) 3232

[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 13336 232 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 135.68
Current children cumulated vsize (Kb) 3232

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 14281 253 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 145.34
Current children cumulated vsize (Kb) 3232

[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 15224 273 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 154.97
Current children cumulated vsize (Kb) 3232

[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 16165 294 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 164.59
Current children cumulated vsize (Kb) 3232

[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 17106 316 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 174.22
Current children cumulated vsize (Kb) 3232

[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 18047 336 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 183.83
Current children cumulated vsize (Kb) 3232

[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 18987 360 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 193.47
Current children cumulated vsize (Kb) 3232

[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 19929 380 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 203.09
Current children cumulated vsize (Kb) 3232

[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 20866 403 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 212.69
Current children cumulated vsize (Kb) 3232

[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 21806 425 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (Kb) 3232

[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 22742 448 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 231.9
Current children cumulated vsize (Kb) 3232

[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 23676 472 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 241.48
Current children cumulated vsize (Kb) 3232

[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 24624 489 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 251.13
Current children cumulated vsize (Kb) 3232

[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 25575 506 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 260.81
Current children cumulated vsize (Kb) 3232

[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 26515 525 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 270.4
Current children cumulated vsize (Kb) 3232

[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 27450 547 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 279.97
Current children cumulated vsize (Kb) 3232

[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 28384 573 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 289.57
Current children cumulated vsize (Kb) 3232

[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 29327 595 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 299.22
Current children cumulated vsize (Kb) 3232

[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 30269 615 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 308.84
Current children cumulated vsize (Kb) 3232

[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 31208 635 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 318.43
Current children cumulated vsize (Kb) 3232

[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 32150 657 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 328.07
Current children cumulated vsize (Kb) 3232

[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 33094 678 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 337.72
Current children cumulated vsize (Kb) 3232

[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 34044 695 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 347.39
Current children cumulated vsize (Kb) 3232

[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 34987 717 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 357.04
Current children cumulated vsize (Kb) 3232

[startup+380.014 s]
Raw data (loadavg): 1.07 0.99 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 35933 736 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 366.69
Current children cumulated vsize (Kb) 3232

[startup+390.013 s]
Raw data (loadavg): 1.06 0.99 0.91 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 36873 756 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 376.29
Current children cumulated vsize (Kb) 3232

[startup+400.014 s]
Raw data (loadavg): 1.05 0.99 0.91 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 37816 778 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 385.94
Current children cumulated vsize (Kb) 3232

[startup+410.014 s]
Raw data (loadavg): 1.04 0.99 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 38759 800 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 395.59
Current children cumulated vsize (Kb) 3232

[startup+420.015 s]
Raw data (loadavg): 1.04 0.99 0.91 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 39699 820 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 405.19
Current children cumulated vsize (Kb) 3232

[startup+430.016 s]
Raw data (loadavg): 1.03 0.99 0.91 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 40646 838 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 414.84
Current children cumulated vsize (Kb) 3232

[startup+440.015 s]
Raw data (loadavg): 1.03 0.99 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 41594 857 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 424.51
Current children cumulated vsize (Kb) 3232

[startup+450.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 42544 874 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 434.18
Current children cumulated vsize (Kb) 3232

[startup+460.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 43487 893 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 443.8
Current children cumulated vsize (Kb) 3232

[startup+470.016 s]
Raw data (loadavg): 1.09 1.00 0.92 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 44433 912 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 453.45
Current children cumulated vsize (Kb) 3232

[startup+480.015 s]
Raw data (loadavg): 1.07 1.00 0.92 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 45375 930 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 463.05
Current children cumulated vsize (Kb) 3232

[startup+490.015 s]
Raw data (loadavg): 1.06 1.00 0.92 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 46314 954 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 472.68
Current children cumulated vsize (Kb) 3232

[startup+500.016 s]
Raw data (loadavg): 1.05 1.00 0.92 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 47260 973 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 482.33
Current children cumulated vsize (Kb) 3232

[startup+510.016 s]
Raw data (loadavg): 1.04 1.00 0.92 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 48205 993 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 491.98
Current children cumulated vsize (Kb) 3232

[startup+520.017 s]
Raw data (loadavg): 1.04 1.00 0.92 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 49148 1015 0 0 24 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223536 134556784 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 501.63
Current children cumulated vsize (Kb) 3232

[startup+530.016 s]
Raw data (loadavg): 1.03 1.00 0.92 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 50086 1036 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 511.22
Current children cumulated vsize (Kb) 3232

[startup+540.016 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 51031 1058 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 520.89
Current children cumulated vsize (Kb) 3232

[startup+550.017 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 51973 1078 0 0 21 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 530.51
Current children cumulated vsize (Kb) 3232

[startup+560.017 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 52909 1100 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 540.09
Current children cumulated vsize (Kb) 3232

[startup+570.018 s]
Raw data (loadavg): 1.01 1.00 0.92 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 53848 1122 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 549.7
Current children cumulated vsize (Kb) 3232

[startup+580.018 s]
Raw data (loadavg): 1.01 1.00 0.92 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 54789 1144 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 559.33
Current children cumulated vsize (Kb) 3232

[startup+590.018 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 55726 1165 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134528071 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 568.91
Current children cumulated vsize (Kb) 3232

[startup+600.018 s]
Raw data (loadavg): 1.01 1.00 0.92 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 56669 1186 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 578.55
Current children cumulated vsize (Kb) 3232

[startup+610.019 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 57615 1203 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 588.18
Current children cumulated vsize (Kb) 3232

[startup+620.019 s]
Raw data (loadavg): 1.08 1.02 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 58550 1229 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 597.79
Current children cumulated vsize (Kb) 3232

[startup+630.019 s]
Raw data (loadavg): 1.07 1.02 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 59481 1252 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 607.33
Current children cumulated vsize (Kb) 3232

[startup+640.019 s]
Raw data (loadavg): 1.06 1.01 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 60416 1274 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527600 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 616.9
Current children cumulated vsize (Kb) 3232

[startup+650.019 s]
Raw data (loadavg): 1.05 1.01 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 61359 1294 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 626.53
Current children cumulated vsize (Kb) 3232

[startup+660.019 s]
Raw data (loadavg): 1.04 1.01 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 62302 1313 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 636.15
Current children cumulated vsize (Kb) 3232

[startup+670.019 s]
Raw data (loadavg): 1.04 1.01 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 63244 1333 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 645.77
Current children cumulated vsize (Kb) 3232

[startup+680.02 s]
Raw data (loadavg): 1.03 1.01 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 64190 1351 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 655.41
Current children cumulated vsize (Kb) 3232

[startup+690.02 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 65133 1371 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 665.04
Current children cumulated vsize (Kb) 3232

[startup+700.021 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 66074 1394 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 674.68
Current children cumulated vsize (Kb) 3232

[startup+710.022 s]
Raw data (loadavg): 1.02 1.01 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 67014 1415 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 684.29
Current children cumulated vsize (Kb) 3232

[startup+720.022 s]
Raw data (loadavg): 1.01 1.01 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 67952 1437 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 693.89
Current children cumulated vsize (Kb) 3232

[startup+730.023 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 68900 1457 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 703.57
Current children cumulated vsize (Kb) 3232

[startup+740.023 s]
Raw data (loadavg): 1.01 1.00 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 69840 1482 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 713.22
Current children cumulated vsize (Kb) 3232

[startup+750.024 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 70777 1503 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 722.8
Current children cumulated vsize (Kb) 3232

[startup+760.024 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 71721 1523 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 732.44
Current children cumulated vsize (Kb) 3232

[startup+770.024 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 72661 1544 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 742.05
Current children cumulated vsize (Kb) 3232

[startup+780.025 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 73599 1566 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 751.65
Current children cumulated vsize (Kb) 3232

[startup+790.025 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 74538 1588 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 761.26
Current children cumulated vsize (Kb) 3232

[startup+800.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 75474 1611 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 770.85
Current children cumulated vsize (Kb) 3232

[startup+810.024 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 76407 1636 0 0 20 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 780.43
Current children cumulated vsize (Kb) 3232

[startup+820.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 77349 1657 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 790.06
Current children cumulated vsize (Kb) 3232

[startup+830.025 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 78284 1680 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 799.64
Current children cumulated vsize (Kb) 3232

[startup+840.025 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 424 0 0 0 79221 1701 0 0 18 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 809.22
Current children cumulated vsize (Kb) 3232

[startup+850.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 424 0 0 0 80158 1725 0 0 25 0 1 0 1788488895 3309568 390 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 390 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 818.83
Current children cumulated vsize (Kb) 3232

[startup+860.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 425 0 0 0 81101 1745 0 0 25 0 1 0 1788488895 3309568 391 4294967295 134512640 134578447 3221224624 3221223456 134528332 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 391 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 828.46
Current children cumulated vsize (Kb) 3232

[startup+870.026 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 426 0 0 0 82047 1762 0 0 25 0 1 0 1788488895 3309568 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 392 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 838.09
Current children cumulated vsize (Kb) 3232

[startup+880.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 427 0 0 0 82991 1783 0 0 25 0 1 0 1788488895 3309568 393 4294967295 134512640 134578447 3221224624 3221223504 134531719 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 393 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 847.74
Current children cumulated vsize (Kb) 3232

[startup+890.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 427 0 0 0 83937 1803 0 0 25 0 1 0 1788488895 3309568 393 4294967295 134512640 134578447 3221224624 3221223504 134527504 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 393 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 857.4
Current children cumulated vsize (Kb) 3232

[startup+900.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 427 0 0 0 84885 1820 0 0 25 0 1 0 1788488895 3309568 393 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 393 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 867.05
Current children cumulated vsize (Kb) 3232

[startup+910.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 427 0 0 0 85826 1841 0 0 25 0 1 0 1788488895 3309568 393 4294967295 134512640 134578447 3221224624 3221223456 134528460 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8095/statm): 808 393 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 876.67
Current children cumulated vsize (Kb) 3232

[startup+920.029 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 427 0 0 0 86773 1859 0 0 25 0 1 0 1788488895 3309568 393 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 393 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 886.32
Current children cumulated vsize (Kb) 3232

[startup+930.029 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 427 0 0 0 87709 1882 0 0 25 0 1 0 1788488895 3309568 393 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 393 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 895.91
Current children cumulated vsize (Kb) 3232

[startup+940.029 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 429 0 0 0 88649 1905 0 0 25 0 1 0 1788488895 3309568 395 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 395 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 905.54
Current children cumulated vsize (Kb) 3232

[startup+950.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 429 0 0 0 89591 1925 0 0 25 0 1 0 1788488895 3309568 395 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 395 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 915.16
Current children cumulated vsize (Kb) 3232

[startup+960.029 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 430 0 0 0 90531 1947 0 0 19 0 1 0 1788488895 3309568 396 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 396 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 924.78
Current children cumulated vsize (Kb) 3232

[startup+970.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 430 0 0 0 91476 1966 0 0 25 0 1 0 1788488895 3309568 396 4294967295 134512640 134578447 3221224624 3221223504 134527773 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8095/statm): 808 396 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 934.42
Current children cumulated vsize (Kb) 3232

[startup+980.031 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 430 0 0 0 92419 1985 0 0 25 0 1 0 1788488895 3309568 396 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 396 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 944.04
Current children cumulated vsize (Kb) 3232

[startup+990.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 430 0 0 0 93355 2004 0 0 25 0 1 0 1788488895 3309568 396 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 396 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 953.59
Current children cumulated vsize (Kb) 3232

[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 430 0 0 0 94295 2024 0 0 25 0 1 0 1788488895 3309568 396 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 396 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 963.19
Current children cumulated vsize (Kb) 3232

[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 430 0 0 0 95235 2045 0 0 25 0 1 0 1788488895 3309568 396 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 396 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 972.8
Current children cumulated vsize (Kb) 3232

[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 430 0 0 0 96178 2064 0 0 25 0 1 0 1788488895 3309568 396 4294967295 134512640 134578447 3221224624 3221223500 134528134 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 396 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 982.42
Current children cumulated vsize (Kb) 3232

[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 430 0 0 0 97121 2083 0 0 25 0 1 0 1788488895 3309568 396 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 396 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 992.04
Current children cumulated vsize (Kb) 3232

[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 430 0 0 0 98064 2105 0 0 25 0 1 0 1788488895 3309568 396 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/8095/statm): 808 396 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 1001.69
Current children cumulated vsize (Kb) 3232

[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 430 0 0 0 99012 2124 0 0 25 0 1 0 1788488895 3309568 396 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 396 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 1011.36
Current children cumulated vsize (Kb) 3232

[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 430 0 0 0 99952 2146 0 0 25 0 1 0 1788488895 3309568 396 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 396 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 1020.98
Current children cumulated vsize (Kb) 3232

[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 430 0 0 0 100896 2166 0 0 25 0 1 0 1788488895 3309568 396 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 396 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 1030.62
Current children cumulated vsize (Kb) 3232

[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 433 0 0 0 101840 2186 0 0 19 0 1 0 1788488895 3309568 399 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/8095/statm): 808 399 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 1040.26
Current children cumulated vsize (Kb) 3232

[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 433 0 0 0 102778 2205 0 0 25 0 1 0 1788488895 3309568 399 4294967295 134512640 134578447 3221224624 3221223504 134527759 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 399 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 1049.83
Current children cumulated vsize (Kb) 3232

[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 433 0 0 0 103723 2224 0 0 25 0 1 0 1788488895 3309568 399 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8095/statm): 808 399 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 1059.47
Current children cumulated vsize (Kb) 3232

[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 433 0 0 0 104663 2244 0 0 25 0 1 0 1788488895 3309568 399 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8095/statm): 808 399 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 1069.07
Current children cumulated vsize (Kb) 3232

[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 433 0 0 0 105602 2266 0 0 25 0 1 0 1788488895 3309568 399 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 399 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 1078.68
Current children cumulated vsize (Kb) 3232

[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 433 0 0 0 106546 2287 0 0 25 0 1 0 1788488895 3309568 399 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 399 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 1088.33
Current children cumulated vsize (Kb) 3232

[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 433 0 0 0 107490 2307 0 0 19 0 1 0 1788488895 3309568 399 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 399 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 1097.97
Current children cumulated vsize (Kb) 3232

[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 433 0 0 0 108431 2329 0 0 25 0 1 0 1788488895 3309568 399 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 399 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 1107.6
Current children cumulated vsize (Kb) 3232

[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 433 0 0 0 109371 2351 0 0 25 0 1 0 1788488895 3309568 399 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 399 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 1117.22
Current children cumulated vsize (Kb) 3232

[startup+1170.03 s]
Raw data (loadavg): 1.08 1.02 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 433 0 0 0 110312 2373 0 0 25 0 1 0 1788488895 3309568 399 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 399 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 1126.85
Current children cumulated vsize (Kb) 3232

[startup+1180.03 s]
Raw data (loadavg): 1.07 1.02 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 433 0 0 0 111248 2396 0 0 25 0 1 0 1788488895 3309568 399 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8095/statm): 808 399 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 1136.44
Current children cumulated vsize (Kb) 3232

[startup+1190.03 s]
Raw data (loadavg): 1.06 1.01 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 433 0 0 0 112191 2417 0 0 25 0 1 0 1788488895 3309568 399 4294967295 134512640 134578447 3221224624 3221223456 134528451 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8095/statm): 808 399 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 1146.08
Current children cumulated vsize (Kb) 3232

[startup+1200.04 s]
Raw data (loadavg): 1.05 1.01 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 433 0 0 0 113137 2437 0 0 25 0 1 0 1788488895 3309568 399 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8095/statm): 808 399 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 1155.74
Current children cumulated vsize (Kb) 3232

[startup+1210.04 s]
Raw data (loadavg): 1.04 1.01 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 434 0 0 0 114077 2458 0 0 25 0 1 0 1788488895 3309568 400 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 400 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 1165.35
Current children cumulated vsize (Kb) 3232

[startup+1220.04 s]
Raw data (loadavg): 1.03 1.01 0.93 1/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) T 8094 8095 27660 0 -1 0 434 0 0 0 115015 2479 0 0 25 0 1 0 1788488895 3309568 400 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 400 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 1174.94
Current children cumulated vsize (Kb) 3232

[startup+1230.04 s]
Raw data (loadavg): 1.03 1.01 0.93 2/56 8095
Raw data (/proc/8095/stat): 8095 (Pueblo) R 8094 8095 27660 0 -1 0 434 0 0 0 115957 2502 0 0 25 0 1 0 1788488895 3309568 400 4294967295 134512640 134578447 3221224624 3221223504 134527504 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8095/statm): 808 400 566 18 0 790 0
[pid=8095] vsize: 3232
Current children cumulated CPU time (s) 1184.59
Current children cumulated vsize (Kb) 3232
One traced child (pid=8095) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1234.59
CPU time (s): 1189.01
CPU user time (s): 1163.89
CPU system time (s): 25.1192
CPU usage (%): 96.308
Max. virtual memory (cumulated for all children) (Kb): 3232

Verifier Data

Verifier:	OK	6656