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/miplib/normalized-mps-v2-13-7-mod008.opb
MD5SUMfbdb3cf321a85412feefcaac30780520
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.07
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 8466

Launcher Data

LAUNCH ON wulflinc5 THE 2005-09-20 16:25:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5596 boxname=wulflinc5 idbench=908 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  fbdb3cf321a85412feefcaac30780520  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-mod008.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5596
/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:        864656 kB
Buffers:         33096 kB
Cached:         110620 kB
SwapCached:        784 kB
Active:          61964 kB
Inactive:        84516 kB
HighTotal:      131008 kB
HighFree:        21532 kB
LowTotal:       903652 kB
LowFree:        843124 kB
SwapTotal:     2097136 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5820 kB
Slab:            17884 kB
Committed_AS:    64304 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 16:46:10 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 5596 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/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1801737157 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 41 3 40 18 0 23 0
[pid=5710] 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.0037 s]
Raw data (loadavg): 0.83 0.99 0.78 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 459 0 0 0 882 41 0 0 25 0 1 0 1801737157 3399680 425 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 830 425 566 18 0 812 0
[pid=5710] vsize: 3320
Current children cumulated CPU time (s) 9.23
Current children cumulated vsize (Kb) 3320

[startup+20.0045 s]
Raw data (loadavg): 0.86 0.99 0.78 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 500 0 0 0 1781 75 0 0 25 0 1 0 1801737157 3530752 466 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 862 466 566 18 0 844 0
[pid=5710] vsize: 3448
Current children cumulated CPU time (s) 18.56
Current children cumulated vsize (Kb) 3448

[startup+30.0052 s]
Raw data (loadavg): 0.88 0.99 0.78 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 511 0 0 0 2686 111 0 0 25 0 1 0 1801737157 3661824 477 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5710/statm): 894 477 566 18 0 876 0
[pid=5710] vsize: 3576
Current children cumulated CPU time (s) 27.97
Current children cumulated vsize (Kb) 3576

[startup+40.0059 s]
Raw data (loadavg): 0.90 0.99 0.78 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 513 0 0 0 3588 144 0 0 25 0 1 0 1801737157 3661824 479 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5710/statm): 894 479 566 18 0 876 0
[pid=5710] vsize: 3576
Current children cumulated CPU time (s) 37.32
Current children cumulated vsize (Kb) 3576

[startup+50.0066 s]
Raw data (loadavg): 0.91 0.99 0.79 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 523 0 0 0 4498 175 0 0 25 0 1 0 1801737157 3661824 489 4294967295 134512640 134578447 3221224624 3221223536 134557023 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 894 489 566 18 0 876 0
[pid=5710] vsize: 3576
Current children cumulated CPU time (s) 46.73
Current children cumulated vsize (Kb) 3576

[startup+60.0074 s]
Raw data (loadavg): 0.93 0.99 0.79 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 526 0 0 0 5403 212 0 0 25 0 1 0 1801737157 3661824 492 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 894 492 566 18 0 876 0
[pid=5710] vsize: 3576
Current children cumulated CPU time (s) 56.15
Current children cumulated vsize (Kb) 3576

[startup+70.0081 s]
Raw data (loadavg): 0.94 0.99 0.79 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 535 0 0 0 6311 241 0 0 25 0 1 0 1801737157 3661824 501 4294967295 134512640 134578447 3221224624 3221223456 134528392 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 894 501 566 18 0 876 0
[pid=5710] vsize: 3576
Current children cumulated CPU time (s) 65.52
Current children cumulated vsize (Kb) 3576

[startup+80.0098 s]
Raw data (loadavg): 0.95 0.99 0.79 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 537 0 0 0 7217 273 0 0 25 0 1 0 1801737157 3788800 503 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 925 503 566 18 0 907 0
[pid=5710] vsize: 3700
Current children cumulated CPU time (s) 74.9
Current children cumulated vsize (Kb) 3700

[startup+90.0096 s]
Raw data (loadavg): 0.95 0.99 0.79 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 541 0 0 0 8124 305 0 0 25 0 1 0 1801737157 3772416 507 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 921 507 566 18 0 903 0
[pid=5710] vsize: 3684
Current children cumulated CPU time (s) 84.29
Current children cumulated vsize (Kb) 3684

[startup+100.01 s]
Raw data (loadavg): 0.96 0.99 0.80 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 558 0 0 0 9032 337 0 0 25 0 1 0 1801737157 3772416 524 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 921 524 566 18 0 903 0
[pid=5710] vsize: 3684
Current children cumulated CPU time (s) 93.69
Current children cumulated vsize (Kb) 3684

[startup+110.011 s]
Raw data (loadavg): 0.97 0.99 0.80 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 558 0 0 0 9939 371 0 0 25 0 1 0 1801737157 3772416 524 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 921 524 566 18 0 903 0
[pid=5710] vsize: 3684
Current children cumulated CPU time (s) 103.1
Current children cumulated vsize (Kb) 3684

[startup+120.011 s]
Raw data (loadavg): 0.97 0.99 0.80 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 558 0 0 0 10853 401 0 0 25 0 1 0 1801737157 3772416 524 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5710/statm): 921 524 566 18 0 903 0
[pid=5710] vsize: 3684
Current children cumulated CPU time (s) 112.54
Current children cumulated vsize (Kb) 3684

[startup+130.011 s]
Raw data (loadavg): 0.98 0.99 0.80 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 558 0 0 0 11769 429 0 0 25 0 1 0 1801737157 3772416 524 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 921 524 566 18 0 903 0
[pid=5710] vsize: 3684
Current children cumulated CPU time (s) 121.98
Current children cumulated vsize (Kb) 3684

[startup+140.012 s]
Raw data (loadavg): 0.98 0.99 0.80 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 561 0 0 0 12685 460 0 0 25 0 1 0 1801737157 3772416 527 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 921 527 566 18 0 903 0
[pid=5710] vsize: 3684
Current children cumulated CPU time (s) 131.45
Current children cumulated vsize (Kb) 3684

[startup+150.013 s]
Raw data (loadavg): 0.98 0.99 0.81 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 566 0 0 0 13602 487 0 0 25 0 1 0 1801737157 3878912 532 4294967295 134512640 134578447 3221224624 3221223456 134558200 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 947 532 566 18 0 929 0
[pid=5710] vsize: 3788
Current children cumulated CPU time (s) 140.89
Current children cumulated vsize (Kb) 3788

[startup+160.014 s]
Raw data (loadavg): 0.98 0.99 0.81 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 574 0 0 0 14520 517 0 0 25 0 1 0 1801737157 3878912 540 4294967295 134512640 134578447 3221224624 3221223536 134556875 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 947 540 566 18 0 929 0
[pid=5710] vsize: 3788
Current children cumulated CPU time (s) 150.37
Current children cumulated vsize (Kb) 3788

[startup+170.014 s]
Raw data (loadavg): 0.99 0.99 0.81 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 574 0 0 0 15436 544 0 0 25 0 1 0 1801737157 3878912 540 4294967295 134512640 134578447 3221224624 3221223536 134556912 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 947 540 566 18 0 929 0
[pid=5710] vsize: 3788
Current children cumulated CPU time (s) 159.8
Current children cumulated vsize (Kb) 3788

[startup+180.015 s]
Raw data (loadavg): 0.99 0.99 0.81 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 574 0 0 0 16363 568 0 0 25 0 1 0 1801737157 3878912 540 4294967295 134512640 134578447 3221224624 3221223536 134556756 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 947 540 566 18 0 929 0
[pid=5710] vsize: 3788
Current children cumulated CPU time (s) 169.31
Current children cumulated vsize (Kb) 3788

[startup+190.016 s]
Raw data (loadavg): 0.99 0.99 0.81 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 578 0 0 0 17285 592 0 0 25 0 1 0 1801737157 3878912 544 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 947 544 566 18 0 929 0
[pid=5710] vsize: 3788
Current children cumulated CPU time (s) 178.77
Current children cumulated vsize (Kb) 3788

[startup+200.017 s]
Raw data (loadavg): 0.99 0.99 0.81 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 578 0 0 0 18199 621 0 0 25 0 1 0 1801737157 3878912 544 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 947 544 566 18 0 929 0
[pid=5710] vsize: 3788
Current children cumulated CPU time (s) 188.2
Current children cumulated vsize (Kb) 3788

[startup+210.017 s]
Raw data (loadavg): 0.99 0.99 0.82 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 578 0 0 0 19122 648 0 0 25 0 1 0 1801737157 3878912 544 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 947 544 566 18 0 929 0
[pid=5710] vsize: 3788
Current children cumulated CPU time (s) 197.7
Current children cumulated vsize (Kb) 3788

[startup+220.018 s]
Raw data (loadavg): 0.99 0.99 0.82 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 578 0 0 0 20045 673 0 0 25 0 1 0 1801737157 3878912 544 4294967295 134512640 134578447 3221224624 3221223456 134528338 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 947 544 566 18 0 929 0
[pid=5710] vsize: 3788
Current children cumulated CPU time (s) 207.18
Current children cumulated vsize (Kb) 3788

[startup+230.019 s]
Raw data (loadavg): 0.99 0.99 0.82 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 579 0 0 0 20965 701 0 0 25 0 1 0 1801737157 3878912 545 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 947 545 566 18 0 929 0
[pid=5710] vsize: 3788
Current children cumulated CPU time (s) 216.66
Current children cumulated vsize (Kb) 3788

[startup+240.018 s]
Raw data (loadavg): 0.99 0.99 0.82 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 597 0 0 0 21881 729 0 0 25 0 1 0 1801737157 3952640 563 4294967295 134512640 134578447 3221224624 3221223504 134527861 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 965 563 566 18 0 947 0
[pid=5710] vsize: 3860
Current children cumulated CPU time (s) 226.1
Current children cumulated vsize (Kb) 3860

[startup+250.019 s]
Raw data (loadavg): 0.99 0.99 0.82 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 597 0 0 0 22798 758 0 0 25 0 1 0 1801737157 3952640 563 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 965 563 566 18 0 947 0
[pid=5710] vsize: 3860
Current children cumulated CPU time (s) 235.56
Current children cumulated vsize (Kb) 3860

[startup+260.02 s]
Raw data (loadavg): 0.99 0.99 0.82 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 597 0 0 0 23718 782 0 0 25 0 1 0 1801737157 3952640 563 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 965 563 566 18 0 947 0
[pid=5710] vsize: 3860
Current children cumulated CPU time (s) 245
Current children cumulated vsize (Kb) 3860

[startup+270.02 s]
Raw data (loadavg): 0.99 0.99 0.82 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 597 0 0 0 24639 812 0 0 25 0 1 0 1801737157 3952640 563 4294967295 134512640 134578447 3221224624 3221223288 1075291176 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 965 563 566 18 0 947 0
[pid=5710] vsize: 3860
Current children cumulated CPU time (s) 254.51
Current children cumulated vsize (Kb) 3860

[startup+280.02 s]
Raw data (loadavg): 0.99 0.99 0.82 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 599 0 0 0 25566 838 0 0 25 0 1 0 1801737157 3952640 565 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 965 565 566 18 0 947 0
[pid=5710] vsize: 3860
Current children cumulated CPU time (s) 264.04
Current children cumulated vsize (Kb) 3860

[startup+290.021 s]
Raw data (loadavg): 0.99 0.99 0.83 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 599 0 0 0 26495 863 0 0 25 0 1 0 1801737157 3952640 565 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 965 565 566 18 0 947 0
[pid=5710] vsize: 3860
Current children cumulated CPU time (s) 273.58
Current children cumulated vsize (Kb) 3860

[startup+300.021 s]
Raw data (loadavg): 0.99 0.99 0.83 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 600 0 0 0 27408 896 0 0 25 0 1 0 1801737157 3952640 566 4294967295 134512640 134578447 3221224624 3221223536 134557425 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 965 566 566 18 0 947 0
[pid=5710] vsize: 3860
Current children cumulated CPU time (s) 283.04
Current children cumulated vsize (Kb) 3860

[startup+310.022 s]
Raw data (loadavg): 0.99 0.99 0.83 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 600 0 0 0 28330 921 0 0 25 0 1 0 1801737157 3952640 566 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 965 566 566 18 0 947 0
[pid=5710] vsize: 3860
Current children cumulated CPU time (s) 292.51
Current children cumulated vsize (Kb) 3860

[startup+320.022 s]
Raw data (loadavg): 0.99 0.99 0.83 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 600 0 0 0 29250 947 0 0 25 0 1 0 1801737157 3952640 566 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 965 566 566 18 0 947 0
[pid=5710] vsize: 3860
Current children cumulated CPU time (s) 301.97
Current children cumulated vsize (Kb) 3860

[startup+330.023 s]
Raw data (loadavg): 0.99 0.99 0.83 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 600 0 0 0 30175 973 0 0 25 0 1 0 1801737157 3952640 566 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 965 566 566 18 0 947 0
[pid=5710] vsize: 3860
Current children cumulated CPU time (s) 311.48
Current children cumulated vsize (Kb) 3860

[startup+340.024 s]
Raw data (loadavg): 0.99 0.99 0.83 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 600 0 0 0 31102 998 0 0 25 0 1 0 1801737157 3952640 566 4294967295 134512640 134578447 3221224624 3221223472 134520252 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 965 566 566 18 0 947 0
[pid=5710] vsize: 3860
Current children cumulated CPU time (s) 321
Current children cumulated vsize (Kb) 3860

[startup+350.024 s]
Raw data (loadavg): 0.99 0.99 0.83 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 601 0 0 0 32032 1021 0 0 25 0 1 0 1801737157 3952640 567 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 965 567 566 18 0 947 0
[pid=5710] vsize: 3860
Current children cumulated CPU time (s) 330.53
Current children cumulated vsize (Kb) 3860

[startup+360.025 s]
Raw data (loadavg): 0.99 0.99 0.83 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 605 0 0 0 32957 1045 0 0 25 0 1 0 1801737157 3952640 571 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 965 571 566 18 0 947 0
[pid=5710] vsize: 3860
Current children cumulated CPU time (s) 340.02
Current children cumulated vsize (Kb) 3860

[startup+370.026 s]
Raw data (loadavg): 0.99 0.99 0.83 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 619 0 0 0 33883 1072 0 0 25 0 1 0 1801737157 4059136 585 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 991 585 566 18 0 973 0
[pid=5710] vsize: 3964
Current children cumulated CPU time (s) 349.55
Current children cumulated vsize (Kb) 3964

[startup+380.027 s]
Raw data (loadavg): 0.99 0.99 0.83 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 619 0 0 0 34801 1099 0 0 25 0 1 0 1801737157 4059136 585 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 991 585 566 18 0 973 0
[pid=5710] vsize: 3964
Current children cumulated CPU time (s) 359
Current children cumulated vsize (Kb) 3964

[startup+390.027 s]
Raw data (loadavg): 0.99 0.99 0.84 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 619 0 0 0 35718 1125 0 0 25 0 1 0 1801737157 4059136 585 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 991 585 566 18 0 973 0
[pid=5710] vsize: 3964
Current children cumulated CPU time (s) 368.43
Current children cumulated vsize (Kb) 3964

[startup+400.028 s]
Raw data (loadavg): 0.99 0.99 0.84 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 619 0 0 0 36643 1150 0 0 25 0 1 0 1801737157 4055040 585 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5710/statm): 990 585 566 18 0 972 0
[pid=5710] vsize: 3960
Current children cumulated CPU time (s) 377.93
Current children cumulated vsize (Kb) 3960

[startup+410.029 s]
Raw data (loadavg): 0.99 0.99 0.84 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 619 0 0 0 37563 1178 0 0 25 0 1 0 1801737157 4055040 585 4294967295 134512640 134578447 3221224624 3221223488 134517715 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 990 585 566 18 0 972 0
[pid=5710] vsize: 3960
Current children cumulated CPU time (s) 387.41
Current children cumulated vsize (Kb) 3960

[startup+420.029 s]
Raw data (loadavg): 0.99 0.99 0.84 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 619 0 0 0 38490 1204 0 0 25 0 1 0 1801737157 4055040 585 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 990 585 566 18 0 972 0
[pid=5710] vsize: 3960
Current children cumulated CPU time (s) 396.94
Current children cumulated vsize (Kb) 3960

[startup+430.03 s]
Raw data (loadavg): 0.99 0.99 0.84 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 619 0 0 0 39420 1227 0 0 25 0 1 0 1801737157 4055040 585 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 990 585 566 18 0 972 0
[pid=5710] vsize: 3960
Current children cumulated CPU time (s) 406.47
Current children cumulated vsize (Kb) 3960

[startup+440.031 s]
Raw data (loadavg): 0.99 0.99 0.84 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 619 0 0 0 40345 1253 0 0 25 0 1 0 1801737157 4055040 585 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 990 585 566 18 0 972 0
[pid=5710] vsize: 3960
Current children cumulated CPU time (s) 415.98
Current children cumulated vsize (Kb) 3960

[startup+450.031 s]
Raw data (loadavg): 0.99 0.99 0.84 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 619 0 0 0 41277 1278 0 0 25 0 1 0 1801737157 4055040 585 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5710/statm): 990 585 566 18 0 972 0
[pid=5710] vsize: 3960
Current children cumulated CPU time (s) 425.55
Current children cumulated vsize (Kb) 3960

[startup+460.031 s]
Raw data (loadavg): 0.99 0.99 0.84 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 619 0 0 0 42199 1302 0 0 25 0 1 0 1801737157 4055040 585 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 990 585 566 18 0 972 0
[pid=5710] vsize: 3960
Current children cumulated CPU time (s) 435.01
Current children cumulated vsize (Kb) 3960

[startup+470.032 s]
Raw data (loadavg): 0.99 0.99 0.84 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 619 0 0 0 43117 1329 0 0 25 0 1 0 1801737157 4055040 585 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 990 585 566 18 0 972 0
[pid=5710] vsize: 3960
Current children cumulated CPU time (s) 444.46
Current children cumulated vsize (Kb) 3960

[startup+480.033 s]
Raw data (loadavg): 0.99 0.99 0.84 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 619 0 0 0 44043 1354 0 0 25 0 1 0 1801737157 4055040 585 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 990 585 566 18 0 972 0
[pid=5710] vsize: 3960
Current children cumulated CPU time (s) 453.97
Current children cumulated vsize (Kb) 3960

[startup+490.034 s]
Raw data (loadavg): 0.99 0.99 0.85 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 619 0 0 0 44970 1383 0 0 25 0 1 0 1801737157 4055040 585 4294967295 134512640 134578447 3221224624 3221223536 134557425 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 990 585 566 18 0 972 0
[pid=5710] vsize: 3960
Current children cumulated CPU time (s) 463.53
Current children cumulated vsize (Kb) 3960

[startup+500.034 s]
Raw data (loadavg): 0.99 0.99 0.85 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 619 0 0 0 45897 1407 0 0 25 0 1 0 1801737157 4055040 585 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 990 585 566 18 0 972 0
[pid=5710] vsize: 3960
Current children cumulated CPU time (s) 473.04
Current children cumulated vsize (Kb) 3960

[startup+510.035 s]
Raw data (loadavg): 0.99 0.99 0.85 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 619 0 0 0 46824 1432 0 0 25 0 1 0 1801737157 4055040 585 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 990 585 566 18 0 972 0
[pid=5710] vsize: 3960
Current children cumulated CPU time (s) 482.56
Current children cumulated vsize (Kb) 3960

[startup+520.036 s]
Raw data (loadavg): 0.99 0.99 0.85 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 619 0 0 0 47750 1458 0 0 25 0 1 0 1801737157 4055040 585 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5710/statm): 990 585 566 18 0 972 0
[pid=5710] vsize: 3960
Current children cumulated CPU time (s) 492.08
Current children cumulated vsize (Kb) 3960

[startup+530.037 s]
Raw data (loadavg): 0.99 0.99 0.85 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 619 0 0 0 48682 1480 0 0 25 0 1 0 1801737157 4055040 585 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 990 585 566 18 0 972 0
[pid=5710] vsize: 3960
Current children cumulated CPU time (s) 501.62
Current children cumulated vsize (Kb) 3960

[startup+540.037 s]
Raw data (loadavg): 0.99 0.99 0.85 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 621 0 0 0 49607 1506 0 0 25 0 1 0 1801737157 4055040 587 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 990 587 566 18 0 972 0
[pid=5710] vsize: 3960
Current children cumulated CPU time (s) 511.13
Current children cumulated vsize (Kb) 3960

[startup+550.037 s]
Raw data (loadavg): 0.99 0.99 0.85 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 621 0 0 0 50535 1531 0 0 25 0 1 0 1801737157 4055040 587 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 990 587 566 18 0 972 0
[pid=5710] vsize: 3960
Current children cumulated CPU time (s) 520.66
Current children cumulated vsize (Kb) 3960

[startup+560.038 s]
Raw data (loadavg): 0.99 0.99 0.85 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 635 0 0 0 51464 1556 0 0 25 0 1 0 1801737157 4190208 601 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1023 601 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 530.2
Current children cumulated vsize (Kb) 4092

[startup+570.038 s]
Raw data (loadavg): 0.99 0.99 0.85 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 635 0 0 0 52382 1583 0 0 25 0 1 0 1801737157 4190208 601 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 601 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 539.65
Current children cumulated vsize (Kb) 4092

[startup+580.039 s]
Raw data (loadavg): 0.99 0.99 0.85 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 635 0 0 0 53308 1610 0 0 25 0 1 0 1801737157 4190208 601 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1023 601 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 549.18
Current children cumulated vsize (Kb) 4092

[startup+590.04 s]
Raw data (loadavg): 0.99 0.99 0.85 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 635 0 0 0 54230 1637 0 0 25 0 1 0 1801737157 4190208 601 4294967295 134512640 134578447 3221224624 3221223584 134559077 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1023 601 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 558.67
Current children cumulated vsize (Kb) 4092

[startup+600.041 s]
Raw data (loadavg): 0.99 0.99 0.86 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 635 0 0 0 55155 1661 0 0 25 0 1 0 1801737157 4190208 601 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1023 601 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 568.16
Current children cumulated vsize (Kb) 4092

[startup+610.041 s]
Raw data (loadavg): 0.99 0.99 0.86 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 638 0 0 0 56079 1687 0 0 25 0 1 0 1801737157 4190208 604 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1023 604 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 577.66
Current children cumulated vsize (Kb) 4092

[startup+620.042 s]
Raw data (loadavg): 0.99 0.99 0.86 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 638 0 0 0 57011 1709 0 0 25 0 1 0 1801737157 4190208 604 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 604 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 587.2
Current children cumulated vsize (Kb) 4092

[startup+630.044 s]
Raw data (loadavg): 0.99 0.99 0.86 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 638 0 0 0 57931 1734 0 0 25 0 1 0 1801737157 4190208 604 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 604 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 596.65
Current children cumulated vsize (Kb) 4092

[startup+640.044 s]
Raw data (loadavg): 0.99 0.99 0.86 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 638 0 0 0 58869 1754 0 0 25 0 1 0 1801737157 4190208 604 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 604 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 606.23
Current children cumulated vsize (Kb) 4092

[startup+650.044 s]
Raw data (loadavg): 0.99 0.99 0.86 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 638 0 0 0 59798 1780 0 0 25 0 1 0 1801737157 4190208 604 4294967295 134512640 134578447 3221224624 3221223456 134528488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 604 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 615.78
Current children cumulated vsize (Kb) 4092

[startup+660.045 s]
Raw data (loadavg): 0.99 0.99 0.86 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 638 0 0 0 60724 1803 0 0 25 0 1 0 1801737157 4190208 604 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 604 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 625.27
Current children cumulated vsize (Kb) 4092

[startup+670.045 s]
Raw data (loadavg): 0.99 0.99 0.86 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 641 0 0 0 61654 1826 0 0 25 0 1 0 1801737157 4190208 607 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 607 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 634.8
Current children cumulated vsize (Kb) 4092

[startup+680.045 s]
Raw data (loadavg): 0.99 0.99 0.86 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 641 0 0 0 62559 1861 0 0 25 0 1 0 1801737157 4190208 607 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 607 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 644.2
Current children cumulated vsize (Kb) 4092

[startup+690.046 s]
Raw data (loadavg): 0.99 0.99 0.86 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 641 0 0 0 63472 1893 0 0 25 0 1 0 1801737157 4190208 607 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 607 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 653.65
Current children cumulated vsize (Kb) 4092

[startup+700.047 s]
Raw data (loadavg): 0.99 0.99 0.87 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 641 0 0 0 64393 1921 0 0 25 0 1 0 1801737157 4190208 607 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1023 607 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 663.14
Current children cumulated vsize (Kb) 4092

[startup+710.048 s]
Raw data (loadavg): 1.07 1.01 0.87 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 641 0 0 0 65309 1948 0 0 25 0 1 0 1801737157 4190208 607 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 607 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 672.57
Current children cumulated vsize (Kb) 4092

[startup+720.047 s]
Raw data (loadavg): 1.06 1.01 0.87 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 641 0 0 0 66226 1976 0 0 25 0 1 0 1801737157 4190208 607 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 607 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 682.02
Current children cumulated vsize (Kb) 4092

[startup+730.048 s]
Raw data (loadavg): 1.05 1.01 0.87 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 641 0 0 0 67156 2003 0 0 25 0 1 0 1801737157 4190208 607 4294967295 134512640 134578447 3221224624 3221223536 134556815 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1023 607 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 691.59
Current children cumulated vsize (Kb) 4092

[startup+740.049 s]
Raw data (loadavg): 1.04 1.01 0.87 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 641 0 0 0 68081 2027 0 0 25 0 1 0 1801737157 4190208 607 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 607 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 701.08
Current children cumulated vsize (Kb) 4092

[startup+750.048 s]
Raw data (loadavg): 1.03 1.00 0.88 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 641 0 0 0 69013 2051 0 0 25 0 1 0 1801737157 4190208 607 4294967295 134512640 134578447 3221224624 3221223456 134528362 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 607 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 710.64
Current children cumulated vsize (Kb) 4092

[startup+760.049 s]
Raw data (loadavg): 1.03 1.00 0.88 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 641 0 0 0 69936 2078 0 0 25 0 1 0 1801737157 4190208 607 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 607 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 720.14
Current children cumulated vsize (Kb) 4092

[startup+770.05 s]
Raw data (loadavg): 1.02 1.00 0.88 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 641 0 0 0 70871 2100 0 0 25 0 1 0 1801737157 4190208 607 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 607 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 729.71
Current children cumulated vsize (Kb) 4092

[startup+780.051 s]
Raw data (loadavg): 1.02 1.00 0.88 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 641 0 0 0 71798 2125 0 0 25 0 1 0 1801737157 4190208 607 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 607 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 739.23
Current children cumulated vsize (Kb) 4092

[startup+790.051 s]
Raw data (loadavg): 1.02 1.00 0.88 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 641 0 0 0 72727 2149 0 0 25 0 1 0 1801737157 4190208 607 4294967295 134512640 134578447 3221224624 3221223536 134556849 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1023 607 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 748.76
Current children cumulated vsize (Kb) 4092

[startup+800.052 s]
Raw data (loadavg): 1.01 1.00 0.88 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 641 0 0 0 73656 2173 0 0 25 0 1 0 1801737157 4190208 607 4294967295 134512640 134578447 3221224624 3221223472 134558153 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1023 607 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 758.29
Current children cumulated vsize (Kb) 4092

[startup+810.053 s]
Raw data (loadavg): 1.01 1.00 0.88 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 641 0 0 0 74589 2196 0 0 25 0 1 0 1801737157 4190208 607 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 607 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 767.85
Current children cumulated vsize (Kb) 4092

[startup+820.054 s]
Raw data (loadavg): 1.01 1.00 0.88 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 647 0 0 0 75501 2227 0 0 25 0 1 0 1801737157 4190208 613 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 613 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 777.28
Current children cumulated vsize (Kb) 4092

[startup+830.054 s]
Raw data (loadavg): 1.01 1.00 0.88 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 647 0 0 0 76413 2258 0 0 25 0 1 0 1801737157 4190208 613 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 613 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 786.71
Current children cumulated vsize (Kb) 4092

[startup+840.055 s]
Raw data (loadavg): 1.00 1.00 0.88 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 647 0 0 0 77338 2282 0 0 25 0 1 0 1801737157 4190208 613 4294967295 134512640 134578447 3221224624 3221223584 134559082 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 613 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 796.2
Current children cumulated vsize (Kb) 4092

[startup+850.055 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 647 0 0 0 78261 2308 0 0 25 0 1 0 1801737157 4190208 613 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 613 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 805.69
Current children cumulated vsize (Kb) 4092

[startup+860.055 s]
Raw data (loadavg): 1.00 1.00 0.89 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 653 0 0 0 79182 2335 0 0 25 0 1 0 1801737157 4190208 619 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 619 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 815.17
Current children cumulated vsize (Kb) 4092

[startup+870.056 s]
Raw data (loadavg): 1.00 1.00 0.89 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 653 0 0 0 80101 2363 0 0 25 0 1 0 1801737157 4190208 619 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 619 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 824.64
Current children cumulated vsize (Kb) 4092

[startup+880.057 s]
Raw data (loadavg): 1.00 1.00 0.89 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 654 0 0 0 81021 2389 0 0 25 0 1 0 1801737157 4190208 620 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1023 620 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 834.1
Current children cumulated vsize (Kb) 4092

[startup+890.058 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 657 0 0 0 81938 2415 0 0 25 0 1 0 1801737157 4190208 623 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 623 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 843.53
Current children cumulated vsize (Kb) 4092

[startup+900.057 s]
Raw data (loadavg): 1.00 1.00 0.89 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 657 0 0 0 82862 2441 0 0 25 0 1 0 1801737157 4190208 623 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1023 623 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 853.03
Current children cumulated vsize (Kb) 4092

[startup+910.058 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 661 0 0 0 83784 2467 0 0 25 0 1 0 1801737157 4190208 627 4294967295 134512640 134578447 3221224624 3221223504 134527726 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1023 627 566 18 0 1005 0
[pid=5710] vsize: 4092
Current children cumulated CPU time (s) 862.51
Current children cumulated vsize (Kb) 4092

[startup+920.059 s]
Raw data (loadavg): 1.00 1.00 0.89 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 667 0 0 0 84703 2495 0 0 25 0 1 0 1801737157 4276224 633 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1044 633 566 18 0 1026 0
[pid=5710] vsize: 4176
Current children cumulated CPU time (s) 871.98
Current children cumulated vsize (Kb) 4176

[startup+930.06 s]
Raw data (loadavg): 1.00 1.00 0.89 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 667 0 0 0 85617 2524 0 0 25 0 1 0 1801737157 4272128 633 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1043 633 566 18 0 1025 0
[pid=5710] vsize: 4172
Current children cumulated CPU time (s) 881.41
Current children cumulated vsize (Kb) 4172

[startup+940.06 s]
Raw data (loadavg): 1.00 1.00 0.89 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 667 0 0 0 86536 2550 0 0 25 0 1 0 1801737157 4268032 633 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1042 633 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 890.86
Current children cumulated vsize (Kb) 4168

[startup+950.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 667 0 0 0 87457 2576 0 0 25 0 1 0 1801737157 4268032 633 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1042 633 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 900.33
Current children cumulated vsize (Kb) 4168

[startup+960.061 s]
Raw data (loadavg): 1.00 1.00 0.90 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 667 0 0 0 88366 2607 0 0 25 0 1 0 1801737157 4268032 633 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1042 633 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 909.73
Current children cumulated vsize (Kb) 4168

[startup+970.061 s]
Raw data (loadavg): 1.00 1.00 0.90 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 667 0 0 0 89281 2636 0 0 25 0 1 0 1801737157 4268032 633 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1042 633 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 919.17
Current children cumulated vsize (Kb) 4168

[startup+980.063 s]
Raw data (loadavg): 1.00 1.00 0.90 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 667 0 0 0 90205 2665 0 0 25 0 1 0 1801737157 4268032 633 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1042 633 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 928.7
Current children cumulated vsize (Kb) 4168

[startup+990.064 s]
Raw data (loadavg): 1.00 1.00 0.90 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 667 0 0 0 91128 2691 0 0 25 0 1 0 1801737157 4268032 633 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1042 633 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 938.19
Current children cumulated vsize (Kb) 4168

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 667 0 0 0 92049 2716 0 0 25 0 1 0 1801737157 4268032 633 4294967295 134512640 134578447 3221224624 3221223552 134516681 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1042 633 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 947.65
Current children cumulated vsize (Kb) 4168

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 672 0 0 0 92971 2743 0 0 25 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223456 134528410 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 957.14
Current children cumulated vsize (Kb) 4168

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 672 0 0 0 93879 2775 0 0 19 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223456 134528412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 966.54
Current children cumulated vsize (Kb) 4168

[startup+1030.06 s]
Raw data (loadavg): 1.07 1.02 0.91 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 672 0 0 0 94791 2808 0 0 25 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 975.99
Current children cumulated vsize (Kb) 4168

[startup+1040.07 s]
Raw data (loadavg): 1.06 1.02 0.91 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 672 0 0 0 95708 2837 0 0 25 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 985.45
Current children cumulated vsize (Kb) 4168

[startup+1050.07 s]
Raw data (loadavg): 1.05 1.01 0.91 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 672 0 0 0 96627 2865 0 0 25 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223476 134526924 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 994.92
Current children cumulated vsize (Kb) 4168

[startup+1060.07 s]
Raw data (loadavg): 1.04 1.01 0.91 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 672 0 0 0 97555 2892 0 0 25 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 1004.47
Current children cumulated vsize (Kb) 4168

[startup+1070.07 s]
Raw data (loadavg): 1.04 1.01 0.91 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 672 0 0 0 98476 2920 0 0 25 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223536 134557415 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 1013.96
Current children cumulated vsize (Kb) 4168

[startup+1080.07 s]
Raw data (loadavg): 1.03 1.01 0.91 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 672 0 0 0 99401 2946 0 0 25 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 1023.47
Current children cumulated vsize (Kb) 4168

[startup+1090.07 s]
Raw data (loadavg): 1.02 1.01 0.91 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 672 0 0 0 100316 2977 0 0 25 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 1032.93
Current children cumulated vsize (Kb) 4168

[startup+1100.07 s]
Raw data (loadavg): 1.02 1.01 0.91 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 672 0 0 0 101234 3007 0 0 25 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 1042.41
Current children cumulated vsize (Kb) 4168

[startup+1110.07 s]
Raw data (loadavg): 1.02 1.01 0.91 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 672 0 0 0 102153 3034 0 0 25 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 1051.87
Current children cumulated vsize (Kb) 4168

[startup+1120.07 s]
Raw data (loadavg): 1.01 1.01 0.91 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 672 0 0 0 103075 3061 0 0 25 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 1061.36
Current children cumulated vsize (Kb) 4168

[startup+1130.07 s]
Raw data (loadavg): 1.01 1.01 0.91 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 672 0 0 0 103992 3086 0 0 25 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 1070.78
Current children cumulated vsize (Kb) 4168

[startup+1140.07 s]
Raw data (loadavg): 1.01 1.01 0.91 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 672 0 0 0 104914 3111 0 0 25 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 1080.25
Current children cumulated vsize (Kb) 4168

[startup+1150.07 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 672 0 0 0 105835 3138 0 0 25 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223472 134520270 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 1089.73
Current children cumulated vsize (Kb) 4168

[startup+1160.07 s]
Raw data (loadavg): 1.01 1.00 0.91 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 672 0 0 0 106765 3159 0 0 25 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 1099.24
Current children cumulated vsize (Kb) 4168

[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 672 0 0 0 107689 3186 0 0 25 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 1108.75
Current children cumulated vsize (Kb) 4168

[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 672 0 0 0 108620 3211 0 0 25 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 1118.31
Current children cumulated vsize (Kb) 4168

[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 672 0 0 0 109542 3237 0 0 25 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 1127.79
Current children cumulated vsize (Kb) 4168

[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 672 0 0 0 110460 3266 0 0 25 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 1137.26
Current children cumulated vsize (Kb) 4168

[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) T 5709 5710 824 0 -1 0 672 0 0 0 111377 3293 0 0 25 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 1146.7
Current children cumulated vsize (Kb) 4168

[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 672 0 0 0 112297 3321 0 0 25 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223492 134527825 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 1156.18
Current children cumulated vsize (Kb) 4168

[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 672 0 0 0 113218 3349 0 0 25 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223488 134517833 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 1165.67
Current children cumulated vsize (Kb) 4168

[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 672 0 0 0 114141 3376 0 0 19 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223456 134558430 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 1175.17
Current children cumulated vsize (Kb) 4168

[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 5710
Raw data (/proc/5710/stat): 5710 (Pueblo) R 5709 5710 824 0 -1 0 672 0 0 0 115066 3399 0 0 22 0 1 0 1801737157 4268032 638 4294967295 134512640 134578447 3221224624 3221223368 1075291647 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5710/statm): 1042 638 566 18 0 1024 0
[pid=5710] vsize: 4168
Current children cumulated CPU time (s) 1184.65
Current children cumulated vsize (Kb) 4168
One traced child (pid=5710) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1254.65
CPU time (s): 1189.01
CPU user time (s): 1154.9
CPU system time (s): 34.1078
CPU usage (%): 94.768
Max. virtual memory (cumulated for all children) (Kb): 4176

Verifier Data

Verifier:	OK	602