PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod008.opb
MD5SUM	581d778a36086562107993896110e0a2
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	307
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 numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02084
Number of variables	319
Total number of constraints	325
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	319
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	1
Maximum length of a constraint	231
Trace number 27083

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 19:03:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18623 boxname=wulflinc31 idbench=1433 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  581d778a36086562107993896110e0a2  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-mod008.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-mod008.opb
IDLAUNCH: 18623
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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:        396392 kB
Buffers:         35452 kB
Cached:         581760 kB
SwapCached:       1248 kB
Active:         194792 kB
Inactive:       424936 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        396140 kB
SwapTotal:     2097892 kB
SwapFree:      2096040 kB
Dirty:             348 kB
Writeback:           0 kB
Mapped:           5432 kB
Slab:            12800 kB
Committed_AS:    63796 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 19:22:57 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 18623 0 1189.01 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-mod008.opb
c #variables read: 319 - #constraints read: 326
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 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/55 1358
Raw data (stat): 1358 (runsolver) R 1357 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832588263 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 1358
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 450 0 0 0 993 5 0 0 25 0 1 0 832588263 7475200 428 4294967295 134512640 134581331 3221224592 3221223488 134517779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1825 428 566 18 0 1807 0
vsize: 7300
[startup+20.0003 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 1358
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 492 0 0 0 1989 10 0 0 25 0 1 0 832588263 7606272 470 4294967295 134512640 134581331 3221224592 3221223476 134557948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1857 470 566 18 0 1839 0
vsize: 7428
[startup+30.0014 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 1358
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 500 0 0 0 2986 13 0 0 25 0 1 0 832588263 7733248 478 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1888 478 566 18 0 1870 0
vsize: 7552
[startup+40.0009 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 1358
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 503 0 0 0 3982 17 0 0 25 0 1 0 832588263 7733248 481 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1888 481 566 18 0 1870 0
vsize: 7552
[startup+50.0019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 1360
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 516 0 0 0 4978 21 0 0 25 0 1 0 832588263 7733248 494 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1888 494 566 18 0 1870 0
vsize: 7552
[startup+60.0021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 1360
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 517 0 0 0 5974 25 0 0 25 0 1 0 832588263 7733248 495 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1888 495 566 18 0 1870 0
vsize: 7552
[startup+70.0018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 1360
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 529 0 0 0 6970 29 0 0 25 0 1 0 832588263 7843840 507 4294967295 134512640 134581331 3221224592 3221223456 134528425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1915 507 566 18 0 1897 0
vsize: 7660
[startup+80.0027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 1360
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 529 0 0 0 7966 34 0 0 25 0 1 0 832588263 7835648 507 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1913 507 566 18 0 1895 0
vsize: 7652
[startup+90.0029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 1360
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 531 0 0 0 8962 38 0 0 25 0 1 0 832588263 7827456 509 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1911 509 566 18 0 1893 0
vsize: 7644
[startup+100.004 s]
Raw data (loadavg): 1.07 1.00 0.93 2/55 1360
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 548 0 0 0 9957 43 0 0 25 0 1 0 832588263 7827456 526 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1911 526 566 18 0 1893 0
vsize: 7644
[startup+110.003 s]
Raw data (loadavg): 1.06 1.00 0.93 2/55 1362
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 548 0 0 0 10954 46 0 0 25 0 1 0 832588263 7827456 526 4294967295 134512640 134581331 3221224592 3221223456 134528278 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1911 526 566 18 0 1893 0
vsize: 7644
[startup+120.004 s]
Raw data (loadavg): 1.05 1.00 0.93 2/55 1362
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 548 0 0 0 11951 49 0 0 25 0 1 0 832588263 7827456 526 4294967295 134512640 134581331 3221224592 3221223376 134528765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1911 526 566 18 0 1893 0
vsize: 7644
[startup+130.004 s]
Raw data (loadavg): 1.04 1.00 0.93 2/55 1362
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 548 0 0 0 12948 53 0 0 25 0 1 0 832588263 7827456 526 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1911 526 566 18 0 1893 0
vsize: 7644
[startup+140.004 s]
Raw data (loadavg): 1.04 1.00 0.93 2/55 1362
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 553 0 0 0 13945 56 0 0 25 0 1 0 832588263 7921664 531 4294967295 134512640 134581331 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1934 531 566 18 0 1916 0
vsize: 7736
[startup+150.006 s]
Raw data (loadavg): 1.03 1.00 0.93 2/55 1364
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 558 0 0 0 14941 60 0 0 25 0 1 0 832588263 7917568 536 4294967295 134512640 134581331 3221224592 3221223536 134558956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1933 536 566 18 0 1915 0
vsize: 7732
[startup+160.005 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 1364
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 569 0 0 0 15938 63 0 0 25 0 1 0 832588263 7917568 547 4294967295 134512640 134581331 3221224592 3221223472 134520299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1933 547 566 18 0 1915 0
vsize: 7732
[startup+170.005 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 1366
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 569 0 0 0 16934 67 0 0 25 0 1 0 832588263 7917568 547 4294967295 134512640 134581331 3221224592 3221223456 134528248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1933 547 566 18 0 1915 0
vsize: 7732
[startup+180.007 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 1366
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 569 0 0 0 17930 71 0 0 25 0 1 0 832588263 7917568 547 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1933 547 566 18 0 1915 0
vsize: 7732
[startup+190.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 1366
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 569 0 0 0 18928 73 0 0 25 0 1 0 832588263 7917568 547 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1933 547 566 18 0 1915 0
vsize: 7732
[startup+200.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 1366
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 569 0 0 0 19924 78 0 0 25 0 1 0 832588263 7917568 547 4294967295 134512640 134581331 3221224592 3221223568 134561104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1933 547 566 18 0 1915 0
vsize: 7732
[startup+210.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 1366
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 569 0 0 0 20921 81 0 0 25 0 1 0 832588263 7917568 547 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1933 547 566 18 0 1915 0
vsize: 7732
[startup+220.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 1366
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 569 0 0 0 21918 84 0 0 25 0 1 0 832588263 7917568 547 4294967295 134512640 134581331 3221224592 3221223456 134528258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1933 547 566 18 0 1915 0
vsize: 7732
[startup+230.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 1368
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 571 0 0 0 22915 87 0 0 25 0 1 0 832588263 7917568 549 4294967295 134512640 134581331 3221224592 3221223488 134517779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1933 549 566 18 0 1915 0
vsize: 7732
[startup+240.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1368
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 589 0 0 0 23912 91 0 0 25 0 1 0 832588263 8044544 567 4294967295 134512640 134581331 3221224592 3221223456 134528287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1964 567 566 18 0 1946 0
vsize: 7856
[startup+250.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1368
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 589 0 0 0 24909 94 0 0 25 0 1 0 832588263 8019968 567 4294967295 134512640 134581331 3221224592 3221223424 134528569 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 567 566 18 0 1940 0
vsize: 7832
[startup+260.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1368
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 589 0 0 0 25906 97 0 0 25 0 1 0 832588263 8019968 567 4294967295 134512640 134581331 3221224592 3221223476 134557928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 567 566 18 0 1940 0
vsize: 7832
[startup+270.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1368
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 589 0 0 0 26903 100 0 0 25 0 1 0 832588263 8019968 567 4294967295 134512640 134581331 3221224592 3221223456 134528342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 567 566 18 0 1940 0
vsize: 7832
[startup+280.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1368
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 592 0 0 0 27901 102 0 0 25 0 1 0 832588263 8019968 570 4294967295 134512640 134581331 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 570 566 18 0 1940 0
vsize: 7832
[startup+290.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1370
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 592 0 0 0 28898 105 0 0 25 0 1 0 832588263 8019968 570 4294967295 134512640 134581331 3221224592 3221223456 134528325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 570 566 18 0 1940 0
vsize: 7832
[startup+300.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1370
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 595 0 0 0 29895 109 0 0 25 0 1 0 832588263 8019968 573 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 573 566 18 0 1940 0
vsize: 7832
[startup+310.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1370
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 595 0 0 0 30892 111 0 0 25 0 1 0 832588263 8019968 573 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 573 566 18 0 1940 0
vsize: 7832
[startup+320.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1370
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 595 0 0 0 31889 114 0 0 25 0 1 0 832588263 8019968 573 4294967295 134512640 134581331 3221224592 3221223552 134554681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 573 566 18 0 1940 0
vsize: 7832
[startup+330.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1370
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 595 0 0 0 32887 117 0 0 25 0 1 0 832588263 8019968 573 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 573 566 18 0 1940 0
vsize: 7832
[startup+340.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1370
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 595 0 0 0 33884 120 0 0 25 0 1 0 832588263 8019968 573 4294967295 134512640 134581331 3221224592 3221223456 134560250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 573 566 18 0 1940 0
vsize: 7832
[startup+350.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1372
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 595 0 0 0 34881 123 0 0 25 0 1 0 832588263 8019968 573 4294967295 134512640 134581331 3221224592 3221223504 134527987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 573 566 18 0 1940 0
vsize: 7832
[startup+360.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1372
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 595 0 0 0 35879 126 0 0 25 0 1 0 832588263 8019968 573 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 573 566 18 0 1940 0
vsize: 7832
[startup+370.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1372
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 599 0 0 0 36876 128 0 0 25 0 1 0 832588263 8101888 577 4294967295 134512640 134581331 3221224592 3221223456 134560430 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 577 566 18 0 1960 0
vsize: 7912
[startup+380.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1372
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 610 0 0 0 37874 131 0 0 25 0 1 0 832588263 8101888 588 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 588 566 18 0 1960 0
vsize: 7912
[startup+390.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1372
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 610 0 0 0 38871 134 0 0 25 0 1 0 832588263 8101888 588 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 588 566 18 0 1960 0
vsize: 7912
[startup+400.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1372
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 610 0 0 0 39868 137 0 0 25 0 1 0 832588263 8101888 588 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 588 566 18 0 1960 0
vsize: 7912
[startup+410.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1374
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 610 0 0 0 40865 141 0 0 25 0 1 0 832588263 8101888 588 4294967295 134512640 134581331 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 588 566 18 0 1960 0
vsize: 7912
[startup+420.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1374
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 610 0 0 0 41862 144 0 0 25 0 1 0 832588263 8101888 588 4294967295 134512640 134581331 3221224592 3221223456 134528372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 588 566 18 0 1960 0
vsize: 7912
[startup+430.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1374
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 610 0 0 0 42858 147 0 0 25 0 1 0 832588263 8101888 588 4294967295 134512640 134581331 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 588 566 18 0 1960 0
vsize: 7912
[startup+440.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1374
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 611 0 0 0 43855 151 0 0 25 0 1 0 832588263 8101888 589 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+450.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1374
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 611 0 0 0 44853 153 0 0 25 0 1 0 832588263 8101888 589 4294967295 134512640 134581331 3221224592 3221223488 134517528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+460.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1374
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 611 0 0 0 45850 157 0 0 25 0 1 0 832588263 8101888 589 4294967295 134512640 134581331 3221224592 3221223456 134528342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+470.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1376
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 611 0 0 0 46847 159 0 0 25 0 1 0 832588263 8101888 589 4294967295 134512640 134581331 3221224592 3221223456 134528422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+480.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1376
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 611 0 0 0 47844 163 0 0 25 0 1 0 832588263 8101888 589 4294967295 134512640 134581331 3221224592 3221223456 134528358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+490.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1376
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 611 0 0 0 48841 166 0 0 25 0 1 0 832588263 8101888 589 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+500.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1376
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 611 0 0 0 49839 168 0 0 25 0 1 0 832588263 8101888 589 4294967295 134512640 134581331 3221224592 3221223376 134528749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+510.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1376
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 611 0 0 0 50836 171 0 0 25 0 1 0 832588263 8101888 589 4294967295 134512640 134581331 3221224592 3221223504 134527361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+520.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1376
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 611 0 0 0 51833 174 0 0 25 0 1 0 832588263 8101888 589 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+530.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1378
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 611 0 0 0 52830 177 0 0 25 0 1 0 832588263 8101888 589 4294967295 134512640 134581331 3221224592 3221223456 134528516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+540.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1378
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 611 0 0 0 53829 179 0 0 25 0 1 0 832588263 8101888 589 4294967295 134512640 134581331 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+550.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1378
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 611 0 0 0 54827 181 0 0 25 0 1 0 832588263 8101888 589 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+560.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1378
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 611 0 0 0 55825 183 0 0 25 0 1 0 832588263 8101888 589 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+570.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1378
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 626 0 0 0 56823 186 0 0 25 0 1 0 832588263 8232960 604 4294967295 134512640 134581331 3221224592 3221223456 134528544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 604 566 18 0 1992 0
vsize: 8040
[startup+580.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1378
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 626 0 0 0 57820 189 0 0 25 0 1 0 832588263 8232960 604 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 604 566 18 0 1992 0
vsize: 8040
[startup+590.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1380
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 626 0 0 0 58817 192 0 0 25 0 1 0 832588263 8232960 604 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 604 566 18 0 1992 0
vsize: 8040
[startup+600.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1380
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 626 0 0 0 59815 194 0 0 25 0 1 0 832588263 8232960 604 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 604 566 18 0 1992 0
vsize: 8040
[startup+610.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1380
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 629 0 0 0 60812 197 0 0 25 0 1 0 832588263 8232960 607 4294967295 134512640 134581331 3221224592 3221223456 134528334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 607 566 18 0 1992 0
vsize: 8040
[startup+620.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1380
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 629 0 0 0 61810 199 0 0 25 0 1 0 832588263 8232960 607 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 607 566 18 0 1992 0
vsize: 8040
[startup+630.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1380
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 629 0 0 0 62807 202 0 0 25 0 1 0 832588263 8232960 607 4294967295 134512640 134581331 3221224592 3221223584 134561150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 607 566 18 0 1992 0
vsize: 8040
[startup+640.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1380
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 629 0 0 0 63806 204 0 0 25 0 1 0 832588263 8232960 607 4294967295 134512640 134581331 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 607 566 18 0 1992 0
vsize: 8040
[startup+650.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1382
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 629 0 0 0 64803 207 0 0 25 0 1 0 832588263 8232960 607 4294967295 134512640 134581331 3221224592 3221223456 134528334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 607 566 18 0 1992 0
vsize: 8040
[startup+660.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1382
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 629 0 0 0 65800 210 0 0 25 0 1 0 832588263 8232960 607 4294967295 134512640 134581331 3221224592 3221223488 134528304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 607 566 18 0 1992 0
vsize: 8040
[startup+670.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1382
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 629 0 0 0 66799 212 0 0 25 0 1 0 832588263 8232960 607 4294967295 134512640 134581331 3221224592 3221223456 134528334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 607 566 18 0 1992 0
vsize: 8040
[startup+680.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1382
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 634 0 0 0 67795 215 0 0 25 0 1 0 832588263 8232960 612 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+690.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1382
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 634 0 0 0 68792 219 0 0 25 0 1 0 832588263 8232960 612 4294967295 134512640 134581331 3221224592 3221223440 134528554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+700.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1382
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 634 0 0 0 69789 222 0 0 25 0 1 0 832588263 8232960 612 4294967295 134512640 134581331 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+710.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1384
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 634 0 0 0 70786 225 0 0 25 0 1 0 832588263 8232960 612 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+720.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1384
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 634 0 0 0 71783 229 0 0 25 0 1 0 832588263 8232960 612 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+730.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1384
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 634 0 0 0 72779 232 0 0 25 0 1 0 832588263 8232960 612 4294967295 134512640 134581331 3221224592 3221223456 134560435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+740.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1384
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 634 0 0 0 73777 234 0 0 25 0 1 0 832588263 8232960 612 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+750.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1384
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 634 0 0 0 74774 238 0 0 25 0 1 0 832588263 8232960 612 4294967295 134512640 134581331 3221224592 3221223456 134528428 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+760.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1384
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 634 0 0 0 75772 240 0 0 25 0 1 0 832588263 8232960 612 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+770.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1386
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 634 0 0 0 76769 244 0 0 25 0 1 0 832588263 8232960 612 4294967295 134512640 134581331 3221224592 3221223456 134528281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+780.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1386
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 634 0 0 0 77767 246 0 0 25 0 1 0 832588263 8232960 612 4294967295 134512640 134581331 3221224592 3221223504 134528072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+790.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1386
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 634 0 0 0 78764 249 0 0 25 0 1 0 832588263 8232960 612 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+800.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1386
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 634 0 0 0 79761 252 0 0 25 0 1 0 832588263 8232960 612 4294967295 134512640 134581331 3221224592 3221223536 134558859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+810.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1386
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 634 0 0 0 80758 255 0 0 25 0 1 0 832588263 8232960 612 4294967295 134512640 134581331 3221224592 3221223504 134558513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+820.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1386
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 637 0 0 0 81756 257 0 0 25 0 1 0 832588263 8232960 615 4294967295 134512640 134581331 3221224592 3221223456 134528316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 615 566 18 0 1992 0
vsize: 8040
[startup+830.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1388
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 637 0 0 0 82752 262 0 0 25 0 1 0 832588263 8232960 615 4294967295 134512640 134581331 3221224592 3221223456 134528323 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 615 566 18 0 1992 0
vsize: 8040
[startup+840.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1388
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 637 0 0 0 83750 264 0 0 25 0 1 0 832588263 8232960 615 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 615 566 18 0 1992 0
vsize: 8040
[startup+850.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1388
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 637 0 0 0 84748 266 0 0 25 0 1 0 832588263 8232960 615 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 615 566 18 0 1992 0
vsize: 8040
[startup+860.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1388
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 637 0 0 0 85744 270 0 0 25 0 1 0 832588263 8232960 615 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 615 566 18 0 1992 0
vsize: 8040
[startup+870.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1388
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 649 0 0 0 86740 274 0 0 25 0 1 0 832588263 8232960 627 4294967295 134512640 134581331 3221224592 3221223272 1075289678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 627 566 18 0 1992 0
vsize: 8040
[startup+880.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1388
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 649 0 0 0 87737 278 0 0 25 0 1 0 832588263 8232960 627 4294967295 134512640 134581331 3221224592 3221223584 134561080 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 627 566 18 0 1992 0
vsize: 8040
[startup+890.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1390
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 651 0 0 0 88734 280 0 0 25 0 1 0 832588263 8364032 629 4294967295 134512640 134581331 3221224592 3221223476 134557901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2042 629 566 18 0 2024 0
vsize: 8168
[startup+900.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1390
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 651 0 0 0 89730 285 0 0 25 0 1 0 832588263 8318976 629 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2031 629 566 18 0 2013 0
vsize: 8124
[startup+910.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1390
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 651 0 0 0 90727 288 0 0 25 0 1 0 832588263 8310784 629 4294967295 134512640 134581331 3221224592 3221223340 1075285124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2029 629 566 18 0 2011 0
vsize: 8116
[startup+920.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1390
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 654 0 0 0 91724 291 0 0 25 0 1 0 832588263 8310784 632 4294967295 134512640 134581331 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2029 632 566 18 0 2011 0
vsize: 8116
[startup+930.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1390
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 656 0 0 0 92722 294 0 0 25 0 1 0 832588263 8310784 634 4294967295 134512640 134581331 3221224592 3221223456 134560366 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2029 634 566 18 0 2011 0
vsize: 8116
[startup+940.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1390
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 656 0 0 0 93718 298 0 0 25 0 1 0 832588263 8310784 634 4294967295 134512640 134581331 3221224592 3221223456 134528258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2029 634 566 18 0 2011 0
vsize: 8116
[startup+950.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1392
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 656 0 0 0 94715 301 0 0 25 0 1 0 832588263 8310784 634 4294967295 134512640 134581331 3221224592 3221223456 134528287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2029 634 566 18 0 2011 0
vsize: 8116
[startup+960.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1392
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 656 0 0 0 95713 303 0 0 25 0 1 0 832588263 8302592 634 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 634 566 18 0 2009 0
vsize: 8108
[startup+970.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1392
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 660 0 0 0 96710 306 0 0 25 0 1 0 832588263 8302592 638 4294967295 134512640 134581331 3221224592 3221223456 134528384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 638 566 18 0 2009 0
vsize: 8108
[startup+980.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1392
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 660 0 0 0 97707 310 0 0 25 0 1 0 832588263 8302592 638 4294967295 134512640 134581331 3221224592 3221223484 134560192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 638 566 18 0 2009 0
vsize: 8108
[startup+990.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1392
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 660 0 0 0 98703 314 0 0 25 0 1 0 832588263 8302592 638 4294967295 134512640 134581331 3221224592 3221223504 134527772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 638 566 18 0 2009 0
vsize: 8108
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1392
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 660 0 0 0 99700 317 0 0 25 0 1 0 832588263 8302592 638 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 638 566 18 0 2009 0
vsize: 8108
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1394
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 660 0 0 0 100697 319 0 0 25 0 1 0 832588263 8302592 638 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 638 566 18 0 2009 0
vsize: 8108
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1394
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 664 0 0 0 101694 323 0 0 25 0 1 0 832588263 8302592 642 4294967295 134512640 134581331 3221224592 3221223456 134528372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1394
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 664 0 0 0 102691 326 0 0 25 0 1 0 832588263 8302592 642 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1394
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 664 0 0 0 103688 330 0 0 25 0 1 0 832588263 8302592 642 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1394
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 664 0 0 0 104684 334 0 0 25 0 1 0 832588263 8302592 642 4294967295 134512640 134581331 3221224592 3221223416 134528850 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1394
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 664 0 0 0 105681 337 0 0 25 0 1 0 832588263 8302592 642 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1396
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 664 0 0 0 106678 340 0 0 25 0 1 0 832588263 8302592 642 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1396
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 664 0 0 0 107675 344 0 0 25 0 1 0 832588263 8302592 642 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1396
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 664 0 0 0 108671 347 0 0 25 0 1 0 832588263 8302592 642 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1396
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 664 0 0 0 109668 351 0 0 25 0 1 0 832588263 8302592 642 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1396
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 664 0 0 0 110664 354 0 0 25 0 1 0 832588263 8302592 642 4294967295 134512640 134581331 3221224592 3221223456 134560404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1396
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 664 0 0 0 111661 358 0 0 25 0 1 0 832588263 8302592 642 4294967295 134512640 134581331 3221224592 3221223520 134519869 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1398
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 664 0 0 0 112659 360 0 0 25 0 1 0 832588263 8302592 642 4294967295 134512640 134581331 3221224592 3221223456 134528384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1398
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 664 0 0 0 113656 363 0 0 25 0 1 0 832588263 8302592 642 4294967295 134512640 134581331 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1398
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 664 0 0 0 114652 368 0 0 25 0 1 0 832588263 8302592 642 4294967295 134512640 134581331 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1398
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 664 0 0 0 115649 370 0 0 25 0 1 0 832588263 8302592 642 4294967295 134512640 134581331 3221224592 3221223456 134528530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1398
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 664 0 0 0 116647 373 0 0 25 0 1 0 832588263 8302592 642 4294967295 134512640 134581331 3221224592 3221223456 134528375 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1398
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 664 0 0 0 117644 376 0 0 25 0 1 0 832588263 8302592 642 4294967295 134512640 134581331 3221224592 3221223504 134527692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1188.84 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 1400
Raw data (stat): 1358 (Pueblo) R 1357 29618 29617 0 -1 0 664 0 0 0 117644 376 0 0 25 0 1 0 832588263 8302592 642 4294967295 134512640 134581331 3221224592 3221223504 134527692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 0

Child status: 10
Real time (s): 1188.84
CPU time (s): 1189.01
CPU user time (s): 1185.21
CPU system time (s): 3.79242
CPU usage (%): 100.014
Max. virtual memory (Kb): 8168
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	602
#### END VERIFIER DATA ####