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-mod008.opb
MD5SUM581d778a36086562107993896110e0a2
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 361
Optimality of the best value was proved NO
Number of terms in the objective function 319
Biggest coefficient in the objective function 87
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 23554
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 22000
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 1027256
Number of bits of the biggest sum of numbers20
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.05
Number of variables319
Total number of constraints325
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)319
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint231

Trace number 8615

Launcher Data

LAUNCH ON wulflinc13 THE 2005-09-20 17:24:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5746 boxname=wulflinc13 idbench=1058 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  581d778a36086562107993896110e0a2  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-mod008.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5746
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        865084 kB
Buffers:         34244 kB
Cached:         106632 kB
SwapCached:        700 kB
Active:          73968 kB
Inactive:        69600 kB
HighTotal:      131008 kB
HighFree:        21504 kB
LowTotal:       903652 kB
LowFree:        843580 kB
SwapTotal:     2097136 kB
SwapFree:      2095936 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5752 kB
Slab:            20376 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 17:45:53 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 5746 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: 319 - #constraints read: 326
c total time              : 1189 s
s SATISFIABLE
v -C2_0x2e__bit0 -C3_0x2e__bit0 -C4_0x2e__bit0 -C5_0x2e__bit0 -C6_0x2e__bit0 -C7_0x2e__bit0 -C8_0x2e__bit0 -C9_0x2e__bit0 -C10_0x2e__bit0 -C11_0x2e__bit0 -C12_0x2e__bit0 -C13_0x2e__bit0 -C14_0x2e__bit0 -C15_0x2e__bit0 -C16_0x2e__bit0 -C17_0x2e__bit0 -C18_0x2e__bit0 -C19_0x2e__bit0 -C20_0x2e__bit0 -C21_0x2e__bit0 -C22_0x2e__bit0 -C23_0x2e__bit0 -C24_0x2e__bit0 -C25_0x2e__bit0 -C26_0x2e__bit0 -C27_0x2e__bit0 -C28_0x2e__bit0 -C29_0x2e__bit0 -C30_0x2e__bit0 -C31_0x2e__bit0 -C32_0x2e__bit0 -C33_0x2e__bit0 -C34_0x2e__bit0 -C35_0x2e__bit0 -C36_0x2e__bit0 -C37_0x2e__bit0 -C38_0x2e__bit0 -C39_0x2e__bit0 -C40_0x2e__bit0 -C41_0x2e__bit0 -C42_0x2e__bit0 -C43_0x2e__bit0 -C44_0x2e__bit0 -C45_0x2e__bit0 -C46_0x2e__bit0 -C47_0x2e__bit0 -C48_0x2e__bit0 -C49_0x2e__bit0 -C50_0x2e__bit0 -C51_0x2e__bit0 -C52_0x2e__bit0 -C53_0x2e__bit0 -C54_0x2e__bit0 -C55_0x2e__bit0 -C56_0x2e__bit0 -C57_0x2e__bit0 -C58_0x2e__bit0 -C59_0x2e__bit0 -C60_0x2e__bit0 -C61_0x2e__bit0 -C62_0x2e__bit0 -C63_0x2e__bit0 -C64_0x2e__bit0 -C65_0x2e__bit0 -C66_0x2e__bit0 -C67_0x2e__bit0 -C68_0x2e__bit0 -C69_0x2e__bit0 -C70_0x2e__bit0 -C71_0x2e__bit0 -C72_0x2e__bit0 -C73_0x2e__bit0 -C74_0x2e__bit0 -C75_0x2e__bit0 -C76_0x2e__bit0 -C77_0x2e__bit0 -C78_0x2e__bit0 -C79_0x2e__bit0 -C80_0x2e__bit0 -C81_0x2e__bit0 -C82_0x2e__bit0 -C83_0x2e__bit0 -C84_0x2e__bit0 -C85_0x2e__bit0 -C86_0x2e__bit0 -C87_0x2e__bit0 -C88_0x2e__bit0 -C89_0x2e__bit0 -C90_0x2e__bit0 -C91_0x2e__bit0 -C92_0x2e__bit0 -C93_0x2e__bit0 -C94_0x2e__bit0 -C95_0x2e__bit0 -C96_0x2e__bit0 -C97_0x2e__bit0 -C98_0x2e__bit0 -C99_0x2e__bit0 -C100_0x2e__bit0 -C101_0x2e__bit0 -C102_0x2e__bit0 -C103_0x2e__bit0 -C104_0x2e__bit0 -C105_0x2e__bit0 -C106_0x2e__bit0 -C107_0x2e__bit0 -C108_0x2e__bit0 -C109_0x2e__bit0 -C110_0x2e__bit0 -C111_0x2e__bit0 -C112_0x2e__bit0 -C113_0x2e__bit0 -C114_0x2e__bit0 -C115_0x2e__bit0 -C116_0x2e__bit0 -C117_0x2e__bit0 -C118_0x2e__bit0 -C119_0x2e__bit0 -C120_0x2e__bit0 -C121_0x2e__bit0 -C122_0x2e__bit0 -C123_0x2e__bit0 -C124_0x2e__bit0 -C125_0x2e__bit0 -C126_0x2e__bit0 -C127_0x2e__bit0 -C128_0x2e__bit0 -C129_0x2e__bit0 -C130_0x2e__bit0 -C131_0x2e__bit0 -C132_0x2e__bit0 -C133_0x2e__bit0 -C134_0x2e__bit0 -C135_0x2e__bit0 -C136_0x2e__bit0 -C137_0x2e__bit0 -C138_0x2e__bit0 -C139_0x2e__bit0 -C140_0x2e__bit0 -C141_0x2e__bit0 -C142_0x2e__bit0 -C143_0x2e__bit0 -C144_0x2e__bit0 -C145_0x2e__bit0 -C146_0x2e__bit0 -C147_0x2e__bit0 -C148_0x2e__bit0 -C149_0x2e__bit0 -C150_0x2e__bit0 -C151_0x2e__bit0 -C152_0x2e__bit0 -C153_0x2e__bit0 -C154_0x2e__bit0 -C155_0x2e__bit0 -C156_0x2e__bit0 -C157_0x2e__bit0 -C158_0x2e__bit0 -C159_0x2e__bit0 -C160_0x2e__bit0 -C161_0x2e__bit0 -C162_0x2e__bit0 -C163_0x2e__bit0 -C164_0x2e__bit0 -C165_0x2e__bit0 -C166_0x2e__bit0 -C167_0x2e__bit0 -C168_0x2e__bit0 -C169_0x2e__bit0 -C170_0x2e__bit0 -C171_0x2e__bit0 -C172_0x2e__bit0 -C173_0x2e__bit0 -C174_0x2e__bit0 -C175_0x2e__bit0 -C176_0x2e__bit0 -C177_0x2e__bit0 -C178_0x2e__bit0 -C179_0x2e__bit0 -C180_0x2e__bit0 -C181_0x2e__bit0 -C182_0x2e__bit0 -C183_0x2e__bit0 -C184_0x2e__bit0 -C185_0x2e__bit0 -C186_0x2e__bit0 -C187_0x2e__bit0 -C188_0x2e__bit0 -C189_0x2e__bit0 -C190_0x2e__bit0 -C191_0x2e__bit0 -C192_0x2e__bit0 -C193_0x2e__bit0 -C194_0x2e__bit0 -C195_0x2e__bit0 -C196_0x2e__bit0 -C197_0x2e__bit0 -C198_0x2e__bit0 -C199_0x2e__bit0 -C200_0x2e__bit0 -C201_0x2e__bit0 -C202_0x2e__bit0 -C203_0x2e__bit0 -C204_0x2e__bit0 -C205_0x2e__bit0 -C206_0x2e__bit0 -C207_0x2e__bit0 -C208_0x2e__bit0 -C209_0x2e__bit0 -C210_0x2e__bit0 -C211_0x2e__bit0 -C212_0x2e__bit0 -C213_0x2e__bit0 C214_0x2e__bit0 -C215_0x2e__bit0 -C216_0x2e__bit0 -C217_0x2e__bit0 -C218_0x2e__bit0 -C219_0x2e__bit0 -C220_0x2e__bit0 -C221_0x2e__bit0 -C222_0x2e__bit0 -C223_0x2e__bit0 -C224_0x2e__bit0 -C225_0x2e__bit0 -C226_0x2e__bit0 -C227_0x2e__bit0 -C228_0x2e__bit0 -C229_0x2e__bit0 -C230_0x2e__bit0 -C231_0x2e__bit0 -C232_0x2e__bit0 -C233_0x2e__bit0 -C234_0x2e__bit0 -C235_0x2e__bit0 -C236_0x2e__bit0 -C237_0x2e__bit0 -C238_0x2e__bit0 -C239_0x2e__bit0 -C240_0x2e__bit0 -C241_0x2e__bit0 -C242_0x2e__bit0 -C243_0x2e__bit0 -C244_0x2e__bit0 -C245_0x2e__bit0 -C246_0x2e__bit0 -C247_0x2e__bit0 -C248_0x2e__bit0 -C249_0x2e__bit0 -C250_0x2e__bit0 -C251_0x2e__bit0 -C252_0x2e__bit0 -C253_0x2e__bit0 -C254_0x2e__bit0 -C255_0x2e__bit0 -C256_0x2e__bit0 -C257_0x2e__bit0 -C258_0x2e__bit0 -C259_0x2e__bit0 -C260_0x2e__bit0 -C261_0x2e__bit0 -C262_0x2e__bit0 -C263_0x2e__bit0 -C264_0x2e__bit0 -C265_0x2e__bit0 -C266_0x2e__bit0 -C267_0x2e__bit0 -C268_0x2e__bit0 -C269_0x2e__bit0 -C270_0x2e__bit0 -C271_0x2e__bit0 -C272_0x2e__bit0 -C273_0x2e__bit0 -C274_0x2e__bit0 -C275_0x2e__bit0 -C276_0x2e__bit0 -C277_0x2e__bit0 -C278_0x2e__bit0 -C279_0x2e__bit0 -C280_0x2e__bit0 -C281_0x2e__bit0 -C282_0x2e__bit0 -C283_0x2e__bit0 -C284_0x2e__bit0 -C285_0x2e__bit0 -C286_0x2e__bit0 -C287_0x2e__bit0 -C288_0x2e__bit0 -C289_0x2e__bit0 -C290_0x2e__bit0 -C291_0x2e__bit0 -C292_0x2e__bit0 -C293_0x2e__bit0 -C294_0x2e__bit0 -C295_0x2e__bit0 -C296_0x2e__bit0 -C297_0x2e__bit0 -C298_0x2e__bit0 -C299_0x2e__bit0 -C300_0x2e__bit0 -C301_0x2e__bit0 -C302_0x2e__bit0 -C303_0x2e__bit0 -C304_0x2e__bit0 -C305_0x2e__bit0 -C306_0x2e__bit0 -C307_0x2e__bit0 -C308_0x2e__bit0 C309_0x2e__bit0 -C310_0x2e__bit0 -C311_0x2e__bit0 C312_0x2e__bit0 -C313_0x2e__bit0 C314_0x2e__bit0 -C315_0x2e__bit0 -C316_0x2e__bit0 -C317_0x2e__bit0 C318_0x2e__bit0 C319_0x2e__bit0 C320_0x2e__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/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1802110078 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 41 3 40 18 0 23 0
[pid=4457] 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.94 0.96 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 459 0 0 0 884 41 0 0 25 0 1 0 1802110078 3399680 425 4294967295 134512640 134578447 3221224624 3221223456 134528756 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 830 425 566 18 0 812 0
[pid=4457] vsize: 3320
Current children cumulated CPU time (s) 9.25
Current children cumulated vsize (Kb) 3320

[startup+20.0043 s]
Raw data (loadavg): 0.95 0.96 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 500 0 0 0 1780 78 0 0 25 0 1 0 1802110078 3530752 466 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 862 466 566 18 0 844 0
[pid=4457] vsize: 3448
Current children cumulated CPU time (s) 18.58
Current children cumulated vsize (Kb) 3448

[startup+30.005 s]
Raw data (loadavg): 0.95 0.96 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 511 0 0 0 2681 109 0 0 25 0 1 0 1802110078 3661824 477 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 894 477 566 18 0 876 0
[pid=4457] vsize: 3576
Current children cumulated CPU time (s) 27.9
Current children cumulated vsize (Kb) 3576

[startup+40.0056 s]
Raw data (loadavg): 0.96 0.96 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 513 0 0 0 3591 140 0 0 25 0 1 0 1802110078 3661824 479 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 894 479 566 18 0 876 0
[pid=4457] vsize: 3576
Current children cumulated CPU time (s) 37.31
Current children cumulated vsize (Kb) 3576

[startup+50.0062 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 523 0 0 0 4496 175 0 0 25 0 1 0 1802110078 3661824 489 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 894 489 566 18 0 876 0
[pid=4457] vsize: 3576
Current children cumulated CPU time (s) 46.71
Current children cumulated vsize (Kb) 3576

[startup+60.0069 s]
Raw data (loadavg): 0.97 0.96 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 526 0 0 0 5401 211 0 0 25 0 1 0 1802110078 3661824 492 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 894 492 566 18 0 876 0
[pid=4457] vsize: 3576
Current children cumulated CPU time (s) 56.12
Current children cumulated vsize (Kb) 3576

[startup+70.0075 s]
Raw data (loadavg): 0.97 0.96 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 535 0 0 0 6302 249 0 0 25 0 1 0 1802110078 3661824 501 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 894 501 566 18 0 876 0
[pid=4457] vsize: 3576
Current children cumulated CPU time (s) 65.51
Current children cumulated vsize (Kb) 3576

[startup+80.0082 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 537 0 0 0 7210 279 0 0 25 0 1 0 1802110078 3780608 503 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 923 503 566 18 0 905 0
[pid=4457] vsize: 3692
Current children cumulated CPU time (s) 74.89
Current children cumulated vsize (Kb) 3692

[startup+90.0079 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 541 0 0 0 8122 309 0 0 25 0 1 0 1802110078 3772416 507 4294967295 134512640 134578447 3221224624 3221223472 134520167 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 921 507 566 18 0 903 0
[pid=4457] vsize: 3684
Current children cumulated CPU time (s) 84.31
Current children cumulated vsize (Kb) 3684

[startup+100.008 s]
Raw data (loadavg): 0.98 0.96 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 558 0 0 0 9032 339 0 0 25 0 1 0 1802110078 3772416 524 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 921 524 566 18 0 903 0
[pid=4457] vsize: 3684
Current children cumulated CPU time (s) 93.71
Current children cumulated vsize (Kb) 3684

[startup+110.009 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 558 0 0 0 9943 369 0 0 25 0 1 0 1802110078 3772416 524 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 921 524 566 18 0 903 0
[pid=4457] vsize: 3684
Current children cumulated CPU time (s) 103.12
Current children cumulated vsize (Kb) 3684

[startup+120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 558 0 0 0 10857 399 0 0 25 0 1 0 1802110078 3772416 524 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 921 524 566 18 0 903 0
[pid=4457] vsize: 3684
Current children cumulated CPU time (s) 112.56
Current children cumulated vsize (Kb) 3684

[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 558 0 0 0 11776 426 0 0 25 0 1 0 1802110078 3772416 524 4294967295 134512640 134578447 3221224624 3221223480 134526921 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 921 524 566 18 0 903 0
[pid=4457] vsize: 3684
Current children cumulated CPU time (s) 122.02
Current children cumulated vsize (Kb) 3684

[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 561 0 0 0 12694 456 0 0 25 0 1 0 1802110078 3772416 527 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 921 527 566 18 0 903 0
[pid=4457] vsize: 3684
Current children cumulated CPU time (s) 131.5
Current children cumulated vsize (Kb) 3684

[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 566 0 0 0 13616 482 0 0 25 0 1 0 1802110078 3878912 532 4294967295 134512640 134578447 3221224624 3221223472 134520250 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 947 532 566 18 0 929 0
[pid=4457] vsize: 3788
Current children cumulated CPU time (s) 140.98
Current children cumulated vsize (Kb) 3788

[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 574 0 0 0 14539 510 0 0 25 0 1 0 1802110078 3878912 540 4294967295 134512640 134578447 3221224624 3221223504 134527782 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 947 540 566 18 0 929 0
[pid=4457] vsize: 3788
Current children cumulated CPU time (s) 150.49
Current children cumulated vsize (Kb) 3788

[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 574 0 0 0 15453 538 0 0 25 0 1 0 1802110078 3878912 540 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 947 540 566 18 0 929 0
[pid=4457] vsize: 3788
Current children cumulated CPU time (s) 159.91
Current children cumulated vsize (Kb) 3788

[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 575 0 0 0 16372 566 0 0 25 0 1 0 1802110078 3878912 541 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 947 541 566 18 0 929 0
[pid=4457] vsize: 3788
Current children cumulated CPU time (s) 169.38
Current children cumulated vsize (Kb) 3788

[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 578 0 0 0 17295 594 0 0 17 0 1 0 1802110078 3878912 544 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 947 544 566 18 0 929 0
[pid=4457] vsize: 3788
Current children cumulated CPU time (s) 178.89
Current children cumulated vsize (Kb) 3788

[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 578 0 0 0 18209 625 0 0 25 0 1 0 1802110078 3878912 544 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 947 544 566 18 0 929 0
[pid=4457] vsize: 3788
Current children cumulated CPU time (s) 188.34
Current children cumulated vsize (Kb) 3788

[startup+210.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 578 0 0 0 19127 654 0 0 25 0 1 0 1802110078 3878912 544 4294967295 134512640 134578447 3221224624 3221223536 134556912 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 947 544 566 18 0 929 0
[pid=4457] vsize: 3788
Current children cumulated CPU time (s) 197.81
Current children cumulated vsize (Kb) 3788

[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 579 0 0 0 20047 681 0 0 22 0 1 0 1802110078 3878912 545 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 947 545 566 18 0 929 0
[pid=4457] vsize: 3788
Current children cumulated CPU time (s) 207.28
Current children cumulated vsize (Kb) 3788

[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 579 0 0 0 20966 708 0 0 25 0 1 0 1802110078 3878912 545 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 947 545 566 18 0 929 0
[pid=4457] vsize: 3788
Current children cumulated CPU time (s) 216.74
Current children cumulated vsize (Kb) 3788

[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 597 0 0 0 21875 739 0 0 24 0 1 0 1802110078 3952640 563 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 965 563 566 18 0 947 0
[pid=4457] vsize: 3860
Current children cumulated CPU time (s) 226.14
Current children cumulated vsize (Kb) 3860

[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 597 0 0 0 22793 769 0 0 25 0 1 0 1802110078 3952640 563 4294967295 134512640 134578447 3221224624 3221223456 134528344 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 965 563 566 18 0 947 0
[pid=4457] vsize: 3860
Current children cumulated CPU time (s) 235.62
Current children cumulated vsize (Kb) 3860

[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 597 0 0 0 23712 798 0 0 21 0 1 0 1802110078 3952640 563 4294967295 134512640 134578447 3221224624 3221223692 134561235 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 965 563 566 18 0 947 0
[pid=4457] vsize: 3860
Current children cumulated CPU time (s) 245.1
Current children cumulated vsize (Kb) 3860

[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 597 0 0 0 24636 825 0 0 25 0 1 0 1802110078 3952640 563 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 965 563 566 18 0 947 0
[pid=4457] vsize: 3860
Current children cumulated CPU time (s) 254.61
Current children cumulated vsize (Kb) 3860

[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 599 0 0 0 25565 851 0 0 25 0 1 0 1802110078 3952640 565 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 965 565 566 18 0 947 0
[pid=4457] vsize: 3860
Current children cumulated CPU time (s) 264.16
Current children cumulated vsize (Kb) 3860

[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 599 0 0 0 26494 876 0 0 25 0 1 0 1802110078 3952640 565 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 965 565 566 18 0 947 0
[pid=4457] vsize: 3860
Current children cumulated CPU time (s) 273.7
Current children cumulated vsize (Kb) 3860

[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 600 0 0 0 27406 907 0 0 25 0 1 0 1802110078 3952640 566 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 965 566 566 18 0 947 0
[pid=4457] vsize: 3860
Current children cumulated CPU time (s) 283.13
Current children cumulated vsize (Kb) 3860

[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 600 0 0 0 28328 935 0 0 25 0 1 0 1802110078 3952640 566 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 965 566 566 18 0 947 0
[pid=4457] vsize: 3860
Current children cumulated CPU time (s) 292.63
Current children cumulated vsize (Kb) 3860

[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 600 0 0 0 29252 960 0 0 25 0 1 0 1802110078 3952640 566 4294967295 134512640 134578447 3221224624 3221223472 134520214 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 965 566 566 18 0 947 0
[pid=4457] vsize: 3860
Current children cumulated CPU time (s) 302.12
Current children cumulated vsize (Kb) 3860

[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 600 0 0 0 30171 989 0 0 25 0 1 0 1802110078 3952640 566 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 965 566 566 18 0 947 0
[pid=4457] vsize: 3860
Current children cumulated CPU time (s) 311.6
Current children cumulated vsize (Kb) 3860

[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 600 0 0 0 31091 1017 0 0 25 0 1 0 1802110078 3952640 566 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 965 566 566 18 0 947 0
[pid=4457] vsize: 3860
Current children cumulated CPU time (s) 321.08
Current children cumulated vsize (Kb) 3860

[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 601 0 0 0 32016 1044 0 0 25 0 1 0 1802110078 3952640 567 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 965 567 566 18 0 947 0
[pid=4457] vsize: 3860
Current children cumulated CPU time (s) 330.6
Current children cumulated vsize (Kb) 3860

[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 610 0 0 0 32932 1074 0 0 25 0 1 0 1802110078 4083712 576 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 997 576 566 18 0 979 0
[pid=4457] vsize: 3988
Current children cumulated CPU time (s) 340.06
Current children cumulated vsize (Kb) 3988

[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 619 0 0 0 33854 1099 0 0 25 0 1 0 1802110078 4059136 585 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434789 0 0 17 1 0 0
Raw data (/proc/4457/statm): 991 585 566 18 0 973 0
[pid=4457] vsize: 3964
Current children cumulated CPU time (s) 349.53
Current children cumulated vsize (Kb) 3964

[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 619 0 0 0 34768 1130 0 0 25 0 1 0 1802110078 4059136 585 4294967295 134512640 134578447 3221224624 3221223456 134528344 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 991 585 566 18 0 973 0
[pid=4457] vsize: 3964
Current children cumulated CPU time (s) 358.98
Current children cumulated vsize (Kb) 3964

[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 619 0 0 0 35694 1154 0 0 25 0 1 0 1802110078 4055040 585 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 990 585 566 18 0 972 0
[pid=4457] vsize: 3960
Current children cumulated CPU time (s) 368.48
Current children cumulated vsize (Kb) 3960

[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 619 0 0 0 36617 1179 0 0 25 0 1 0 1802110078 4055040 585 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 990 585 566 18 0 972 0
[pid=4457] vsize: 3960
Current children cumulated CPU time (s) 377.96
Current children cumulated vsize (Kb) 3960

[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 619 0 0 0 37543 1206 0 0 25 0 1 0 1802110078 4055040 585 4294967295 134512640 134578447 3221224624 3221223456 134528360 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 990 585 566 18 0 972 0
[pid=4457] vsize: 3960
Current children cumulated CPU time (s) 387.49
Current children cumulated vsize (Kb) 3960

[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 619 0 0 0 38466 1235 0 0 25 0 1 0 1802110078 4055040 585 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 990 585 566 18 0 972 0
[pid=4457] vsize: 3960
Current children cumulated CPU time (s) 397.01
Current children cumulated vsize (Kb) 3960

[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 619 0 0 0 39396 1260 0 0 25 0 1 0 1802110078 4055040 585 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 990 585 566 18 0 972 0
[pid=4457] vsize: 3960
Current children cumulated CPU time (s) 406.56
Current children cumulated vsize (Kb) 3960

[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 619 0 0 0 40323 1285 0 0 25 0 1 0 1802110078 4055040 585 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 990 585 566 18 0 972 0
[pid=4457] vsize: 3960
Current children cumulated CPU time (s) 416.08
Current children cumulated vsize (Kb) 3960

[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 619 0 0 0 41249 1309 0 0 25 0 1 0 1802110078 4055040 585 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 990 585 566 18 0 972 0
[pid=4457] vsize: 3960
Current children cumulated CPU time (s) 425.58
Current children cumulated vsize (Kb) 3960

[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 619 0 0 0 42166 1338 0 0 25 0 1 0 1802110078 4055040 585 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 990 585 566 18 0 972 0
[pid=4457] vsize: 3960
Current children cumulated CPU time (s) 435.04
Current children cumulated vsize (Kb) 3960

[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 619 0 0 0 43090 1363 0 0 20 0 1 0 1802110078 4055040 585 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 990 585 566 18 0 972 0
[pid=4457] vsize: 3960
Current children cumulated CPU time (s) 444.53
Current children cumulated vsize (Kb) 3960

[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 619 0 0 0 44008 1393 0 0 25 0 1 0 1802110078 4055040 585 4294967295 134512640 134578447 3221224624 3221223456 134528423 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 990 585 566 18 0 972 0
[pid=4457] vsize: 3960
Current children cumulated CPU time (s) 454.01
Current children cumulated vsize (Kb) 3960

[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 619 0 0 0 44930 1420 0 0 25 0 1 0 1802110078 4055040 585 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 990 585 566 18 0 972 0
[pid=4457] vsize: 3960
Current children cumulated CPU time (s) 463.5
Current children cumulated vsize (Kb) 3960

[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 619 0 0 0 45856 1449 0 0 25 0 1 0 1802110078 4055040 585 4294967295 134512640 134578447 3221224624 3221223488 134517867 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 990 585 566 18 0 972 0
[pid=4457] vsize: 3960
Current children cumulated CPU time (s) 473.05
Current children cumulated vsize (Kb) 3960

[startup+510.025 s]
Raw data (loadavg): 1.07 0.99 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 619 0 0 0 46784 1474 0 0 25 0 1 0 1802110078 4055040 585 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 990 585 566 18 0 972 0
[pid=4457] vsize: 3960
Current children cumulated CPU time (s) 482.58
Current children cumulated vsize (Kb) 3960

[startup+520.026 s]
Raw data (loadavg): 1.06 0.99 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 619 0 0 0 47716 1499 0 0 22 0 1 0 1802110078 4055040 585 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 990 585 566 18 0 972 0
[pid=4457] vsize: 3960
Current children cumulated CPU time (s) 492.15
Current children cumulated vsize (Kb) 3960

[startup+530.026 s]
Raw data (loadavg): 1.05 0.99 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 619 0 0 0 48647 1523 0 0 25 0 1 0 1802110078 4055040 585 4294967295 134512640 134578447 3221224624 3221223456 134528357 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 990 585 566 18 0 972 0
[pid=4457] vsize: 3960
Current children cumulated CPU time (s) 501.7
Current children cumulated vsize (Kb) 3960

[startup+540.026 s]
Raw data (loadavg): 1.04 0.99 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 621 0 0 0 49571 1550 0 0 25 0 1 0 1802110078 4055040 587 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 990 587 566 18 0 972 0
[pid=4457] vsize: 3960
Current children cumulated CPU time (s) 511.21
Current children cumulated vsize (Kb) 3960

[startup+550.027 s]
Raw data (loadavg): 1.03 0.99 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 621 0 0 0 50501 1576 0 0 25 0 1 0 1802110078 4055040 587 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 990 587 566 18 0 972 0
[pid=4457] vsize: 3960
Current children cumulated CPU time (s) 520.77
Current children cumulated vsize (Kb) 3960

[startup+560.028 s]
Raw data (loadavg): 1.03 0.99 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 635 0 0 0 51433 1599 0 0 25 0 1 0 1802110078 4190208 601 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 601 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 530.32
Current children cumulated vsize (Kb) 4092

[startup+570.028 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 635 0 0 0 52353 1629 0 0 25 0 1 0 1802110078 4190208 601 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 601 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 539.82
Current children cumulated vsize (Kb) 4092

[startup+580.028 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 635 0 0 0 53279 1657 0 0 25 0 1 0 1802110078 4190208 601 4294967295 134512640 134578447 3221224624 3221223456 134558412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1023 601 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 549.36
Current children cumulated vsize (Kb) 4092

[startup+590.028 s]
Raw data (loadavg): 1.02 0.99 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 635 0 0 0 54199 1684 0 0 25 0 1 0 1802110078 4190208 601 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 601 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 558.83
Current children cumulated vsize (Kb) 4092

[startup+600.028 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 635 0 0 0 55124 1709 0 0 25 0 1 0 1802110078 4190208 601 4294967295 134512640 134578447 3221224624 3221223280 1075288614 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 601 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 568.33
Current children cumulated vsize (Kb) 4092

[startup+610.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 638 0 0 0 56053 1734 0 0 25 0 1 0 1802110078 4190208 604 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1023 604 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 577.87
Current children cumulated vsize (Kb) 4092

[startup+620.029 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 638 0 0 0 56980 1758 0 0 25 0 1 0 1802110078 4190208 604 4294967295 134512640 134578447 3221224624 3221223472 134520245 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 604 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 587.38
Current children cumulated vsize (Kb) 4092

[startup+630.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 638 0 0 0 57908 1783 0 0 25 0 1 0 1802110078 4190208 604 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 604 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 596.91
Current children cumulated vsize (Kb) 4092

[startup+640.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 638 0 0 0 58838 1806 0 0 20 0 1 0 1802110078 4190208 604 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1023 604 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 606.44
Current children cumulated vsize (Kb) 4092

[startup+650.03 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 638 0 0 0 59765 1833 0 0 23 0 1 0 1802110078 4190208 604 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1023 604 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 615.98
Current children cumulated vsize (Kb) 4092

[startup+660.031 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 638 0 0 0 60694 1857 0 0 25 0 1 0 1802110078 4190208 604 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 604 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 625.51
Current children cumulated vsize (Kb) 4092

[startup+670.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 641 0 0 0 61621 1885 0 0 25 0 1 0 1802110078 4190208 607 4294967295 134512640 134578447 3221224624 3221223488 134517854 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 607 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 635.06
Current children cumulated vsize (Kb) 4092

[startup+680.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 641 0 0 0 62525 1921 0 0 25 0 1 0 1802110078 4190208 607 4294967295 134512640 134578447 3221224624 3221223536 134556897 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 607 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 644.46
Current children cumulated vsize (Kb) 4092

[startup+690.032 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 641 0 0 0 63437 1952 0 0 25 0 1 0 1802110078 4190208 607 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 607 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 653.89
Current children cumulated vsize (Kb) 4092

[startup+700.033 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 641 0 0 0 64359 1979 0 0 25 0 1 0 1802110078 4190208 607 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1023 607 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 663.38
Current children cumulated vsize (Kb) 4092

[startup+710.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 641 0 0 0 65281 2007 0 0 25 0 1 0 1802110078 4190208 607 4294967295 134512640 134578447 3221224624 3221223536 134556806 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 607 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 672.88
Current children cumulated vsize (Kb) 4092

[startup+720.033 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 641 0 0 0 66197 2036 0 0 25 0 1 0 1802110078 4190208 607 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 607 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 682.33
Current children cumulated vsize (Kb) 4092

[startup+730.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 641 0 0 0 67127 2059 0 0 21 0 1 0 1802110078 4190208 607 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 607 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 691.86
Current children cumulated vsize (Kb) 4092

[startup+740.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 641 0 0 0 68051 2087 0 0 25 0 1 0 1802110078 4190208 607 4294967295 134512640 134578447 3221224624 3221223456 134528410 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 607 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 701.38
Current children cumulated vsize (Kb) 4092

[startup+750.035 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 641 0 0 0 68979 2111 0 0 25 0 1 0 1802110078 4190208 607 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 607 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 710.9
Current children cumulated vsize (Kb) 4092

[startup+760.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 641 0 0 0 69902 2139 0 0 19 0 1 0 1802110078 4190208 607 4294967295 134512640 134578447 3221224624 3221223504 134527720 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1023 607 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 720.41
Current children cumulated vsize (Kb) 4092

[startup+770.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 641 0 0 0 70835 2162 0 0 25 0 1 0 1802110078 4190208 607 4294967295 134512640 134578447 3221224624 3221223536 134556756 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 607 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 729.97
Current children cumulated vsize (Kb) 4092

[startup+780.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 641 0 0 0 71763 2187 0 0 25 0 1 0 1802110078 4190208 607 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 607 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 739.5
Current children cumulated vsize (Kb) 4092

[startup+790.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 641 0 0 0 72691 2212 0 0 25 0 1 0 1802110078 4190208 607 4294967295 134512640 134578447 3221224624 3221223488 134517845 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 607 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 749.03
Current children cumulated vsize (Kb) 4092

[startup+800.036 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 641 0 0 0 73618 2237 0 0 25 0 1 0 1802110078 4190208 607 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 607 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 758.55
Current children cumulated vsize (Kb) 4092

[startup+810.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 647 0 0 0 74544 2264 0 0 25 0 1 0 1802110078 4190208 613 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 613 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 768.08
Current children cumulated vsize (Kb) 4092

[startup+820.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 647 0 0 0 75449 2298 0 0 25 0 1 0 1802110078 4190208 613 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1023 613 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 777.47
Current children cumulated vsize (Kb) 4092

[startup+830.038 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 647 0 0 0 76368 2328 0 0 25 0 1 0 1802110078 4190208 613 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 613 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 786.96
Current children cumulated vsize (Kb) 4092

[startup+840.039 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 647 0 0 0 77292 2354 0 0 25 0 1 0 1802110078 4190208 613 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 613 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 796.46
Current children cumulated vsize (Kb) 4092

[startup+850.039 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 647 0 0 0 78210 2383 0 0 25 0 1 0 1802110078 4190208 613 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1023 613 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 805.93
Current children cumulated vsize (Kb) 4092

[startup+860.04 s]
Raw data (loadavg): 1.07 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 653 0 0 0 79127 2412 0 0 25 0 1 0 1802110078 4190208 619 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 619 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 815.39
Current children cumulated vsize (Kb) 4092

[startup+870.041 s]
Raw data (loadavg): 1.06 1.00 0.92 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 653 0 0 0 80045 2443 0 0 25 0 1 0 1802110078 4190208 619 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1023 619 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 824.88
Current children cumulated vsize (Kb) 4092

[startup+880.04 s]
Raw data (loadavg): 1.05 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 654 0 0 0 80968 2471 0 0 25 0 1 0 1802110078 4190208 620 4294967295 134512640 134578447 3221224624 3221223472 134520247 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 620 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 834.39
Current children cumulated vsize (Kb) 4092

[startup+890.041 s]
Raw data (loadavg): 1.04 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 657 0 0 0 81880 2503 0 0 22 0 1 0 1802110078 4190208 623 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 623 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 843.83
Current children cumulated vsize (Kb) 4092

[startup+900.042 s]
Raw data (loadavg): 1.04 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 657 0 0 0 82797 2530 0 0 25 0 1 0 1802110078 4190208 623 4294967295 134512640 134578447 3221224624 3221223488 134517700 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1023 623 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 853.27
Current children cumulated vsize (Kb) 4092

[startup+910.043 s]
Raw data (loadavg): 1.03 1.00 0.92 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 661 0 0 0 83721 2559 0 0 25 0 1 0 1802110078 4190208 627 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1023 627 566 18 0 1005 0
[pid=4457] vsize: 4092
Current children cumulated CPU time (s) 862.8
Current children cumulated vsize (Kb) 4092

[startup+920.043 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 667 0 0 0 84632 2590 0 0 25 0 1 0 1802110078 4272128 633 4294967295 134512640 134578447 3221224624 3221223456 134528360 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1043 633 566 18 0 1025 0
[pid=4457] vsize: 4172
Current children cumulated CPU time (s) 872.22
Current children cumulated vsize (Kb) 4172

[startup+930.043 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 667 0 0 0 85550 2619 0 0 25 0 1 0 1802110078 4272128 633 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1043 633 566 18 0 1025 0
[pid=4457] vsize: 4172
Current children cumulated CPU time (s) 881.69
Current children cumulated vsize (Kb) 4172

[startup+940.043 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 667 0 0 0 86470 2647 0 0 25 0 1 0 1802110078 4268032 633 4294967295 134512640 134578447 3221224624 3221223568 134558739 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1042 633 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 891.17
Current children cumulated vsize (Kb) 4168

[startup+950.044 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 667 0 0 0 87394 2676 0 0 25 0 1 0 1802110078 4268032 633 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222298933 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1042 633 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 900.7
Current children cumulated vsize (Kb) 4168

[startup+960.045 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 667 0 0 0 88309 2706 0 0 18 0 1 0 1802110078 4268032 633 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1042 633 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 910.15
Current children cumulated vsize (Kb) 4168

[startup+970.045 s]
Raw data (loadavg): 1.01 1.00 0.92 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 667 0 0 0 89230 2732 0 0 25 0 1 0 1802110078 4268032 633 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1042 633 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 919.62
Current children cumulated vsize (Kb) 4168

[startup+980.046 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 667 0 0 0 90150 2759 0 0 25 0 1 0 1802110078 4268032 633 4294967295 134512640 134578447 3221224624 3221223504 134527864 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1042 633 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 929.09
Current children cumulated vsize (Kb) 4168

[startup+990.047 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 667 0 0 0 91071 2787 0 0 25 0 1 0 1802110078 4268032 633 4294967295 134512640 134578447 3221224624 3221223456 134528344 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1042 633 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 938.58
Current children cumulated vsize (Kb) 4168

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 667 0 0 0 91990 2813 0 0 21 0 1 0 1802110078 4268032 633 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1042 633 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 948.03
Current children cumulated vsize (Kb) 4168

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 672 0 0 0 92910 2841 0 0 25 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 957.51
Current children cumulated vsize (Kb) 4168

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 672 0 0 0 93821 2874 0 0 25 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223456 134528412 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 966.95
Current children cumulated vsize (Kb) 4168

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 672 0 0 0 94739 2904 0 0 25 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 976.43
Current children cumulated vsize (Kb) 4168

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 672 0 0 0 95660 2931 0 0 25 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223468 134515968 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 985.91
Current children cumulated vsize (Kb) 4168

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 672 0 0 0 96582 2959 0 0 25 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223456 134528501 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 995.41
Current children cumulated vsize (Kb) 4168

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 672 0 0 0 97508 2985 0 0 25 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 1004.93
Current children cumulated vsize (Kb) 4168

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 672 0 0 0 98427 3016 0 0 25 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 1014.43
Current children cumulated vsize (Kb) 4168

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 672 0 0 0 99351 3043 0 0 25 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 1023.94
Current children cumulated vsize (Kb) 4168

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 672 0 0 0 100264 3074 0 0 25 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 1033.38
Current children cumulated vsize (Kb) 4168

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 672 0 0 0 101175 3106 0 0 25 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 1042.81
Current children cumulated vsize (Kb) 4168

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 672 0 0 0 102096 3134 0 0 25 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 1052.3
Current children cumulated vsize (Kb) 4168

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 672 0 0 0 103010 3165 0 0 25 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223488 134517774 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 1061.75
Current children cumulated vsize (Kb) 4168

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 672 0 0 0 103931 3191 0 0 25 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 1071.22
Current children cumulated vsize (Kb) 4168

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 672 0 0 0 104852 3216 0 0 25 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223456 134528418 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 1080.68
Current children cumulated vsize (Kb) 4168

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 672 0 0 0 105776 3241 0 0 25 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223456 134528407 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 1090.17
Current children cumulated vsize (Kb) 4168

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 672 0 0 0 106700 3268 0 0 25 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 1099.68
Current children cumulated vsize (Kb) 4168

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 672 0 0 0 107624 3295 0 0 25 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223456 134528362 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 1109.19
Current children cumulated vsize (Kb) 4168

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 672 0 0 0 108555 3319 0 0 25 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223536 134556849 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 1118.74
Current children cumulated vsize (Kb) 4168

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 672 0 0 0 109476 3346 0 0 25 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223536 134557425 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 1128.22
Current children cumulated vsize (Kb) 4168

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 672 0 0 0 110393 3378 0 0 25 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 1137.71
Current children cumulated vsize (Kb) 4168

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 672 0 0 0 111313 3406 0 0 25 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223456 134527194 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 1147.19
Current children cumulated vsize (Kb) 4168

[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 672 0 0 0 112233 3434 0 0 25 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 1156.67
Current children cumulated vsize (Kb) 4168

[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 672 0 0 0 113157 3460 0 0 25 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 1166.17
Current children cumulated vsize (Kb) 4168

[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) T 4456 4457 1333 0 -1 0 672 0 0 0 114084 3487 0 0 25 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 1175.71
Current children cumulated vsize (Kb) 4168

[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4457
Raw data (/proc/4457/stat): 4457 (Pueblo) R 4456 4457 1333 0 -1 0 672 0 0 0 115001 3515 0 0 24 0 1 0 1802110078 4268032 638 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1042 638 566 18 0 1024 0
[pid=4457] vsize: 4168
Current children cumulated CPU time (s) 1185.16
Current children cumulated vsize (Kb) 4168
One traced child (pid=4457) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1254.09
CPU time (s): 1189.01
CPU user time (s): 1153.75
CPU system time (s): 35.2516
CPU usage (%): 94.8105
Max. virtual memory (cumulated for all children) (Kb): 4172

Verifier Data

Verifier:	OK	602