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/miplib/normalized-mps-v2-13-7-mod008.opb
MD5SUM	fbdb3cf321a85412feefcaac30780520
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.01684
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 27452

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-05-24 21:51:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17024 boxname=wulflinc3 idbench=1310 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  fbdb3cf321a85412feefcaac30780520  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-mod008.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-mod008.opb
IDLAUNCH: 17024
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        871000 kB
Buffers:          6456 kB
Cached:         135892 kB
SwapCached:        112 kB
Active:          23876 kB
Inactive:       121468 kB
HighTotal:      131008 kB
HighFree:        65212 kB
LowTotal:       903652 kB
LowFree:        805788 kB
SwapTotal:     2097136 kB
SwapFree:      2096992 kB
Dirty:             404 kB
Writeback:           0 kB
Mapped:           6904 kB
Slab:            12688 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 22:11:12 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 17024 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/wulflinc3/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.91 0.95 0.95 2/54 25736
Raw data (stat): 25736 (runsolver) R 25735 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775388765 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.0001 s]
Raw data (loadavg): 0.93 0.95 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 450 0 0 0 993 5 0 0 25 0 1 0 775388765 7475200 428 4294967295 134512640 134581331 3221224608 3221223436 134528851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1825 428 566 18 0 1807 0
vsize: 7300
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.96 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 492 0 0 0 1989 9 0 0 25 0 1 0 775388765 7606272 470 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1857 470 566 18 0 1839 0
vsize: 7428
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 500 0 0 0 2985 14 0 0 25 0 1 0 775388765 7733248 478 4294967295 134512640 134581331 3221224608 3221223568 134516740 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.0015 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 503 0 0 0 3982 17 0 0 25 0 1 0 775388765 7733248 481 4294967295 134512640 134581331 3221224608 3221223504 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.0024 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 516 0 0 0 4979 21 0 0 25 0 1 0 775388765 7733248 494 4294967295 134512640 134581331 3221224608 3221223472 134528358 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.0019 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 517 0 0 0 5975 25 0 0 25 0 1 0 775388765 7733248 495 4294967295 134512640 134581331 3221224608 3221223520 134527410 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.003 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 529 0 0 0 6971 29 0 0 25 0 1 0 775388765 7843840 507 4294967295 134512640 134581331 3221224608 3221223672 1075514893 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.0039 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 529 0 0 0 7968 32 0 0 25 0 1 0 775388765 7835648 507 4294967295 134512640 134581331 3221224608 3221223672 1075514893 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.0034 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 531 0 0 0 8965 36 0 0 25 0 1 0 775388765 7827456 509 4294967295 134512640 134581331 3221224608 3221223472 134528422 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): 0.98 0.96 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 548 0 0 0 9961 39 0 0 25 0 1 0 775388765 7827456 526 4294967295 134512640 134581331 3221224608 3221223672 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): 0.98 0.96 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 548 0 0 0 10957 43 0 0 25 0 1 0 775388765 7827456 526 4294967295 134512640 134581331 3221224608 3221223472 134528272 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): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 548 0 0 0 11954 46 0 0 25 0 1 0 775388765 7827456 526 4294967295 134512640 134581331 3221224608 3221223520 134527695 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): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 548 0 0 0 12951 49 0 0 25 0 1 0 775388765 7827456 526 4294967295 134512640 134581331 3221224608 3221223672 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): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 553 0 0 0 13948 52 0 0 25 0 1 0 775388765 7929856 531 4294967295 134512640 134581331 3221224608 3221223472 134528528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1936 531 566 18 0 1918 0
vsize: 7744
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 556 0 0 0 14945 55 0 0 25 0 1 0 775388765 7917568 534 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1933 534 566 18 0 1915 0
vsize: 7732
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 562 0 0 0 15942 59 0 0 25 0 1 0 775388765 7917568 540 4294967295 134512640 134581331 3221224608 3221223472 134528366 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1933 540 566 18 0 1915 0
vsize: 7732
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 569 0 0 0 16939 62 0 0 25 0 1 0 775388765 7917568 547 4294967295 134512640 134581331 3221224608 3221223504 134517894 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.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 569 0 0 0 17936 66 0 0 25 0 1 0 775388765 7917568 547 4294967295 134512640 134581331 3221224608 3221223472 134560477 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.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 569 0 0 0 18934 68 0 0 25 0 1 0 775388765 7917568 547 4294967295 134512640 134581331 3221224608 3221223672 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.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 569 0 0 0 19931 71 0 0 25 0 1 0 775388765 7917568 547 4294967295 134512640 134581331 3221224608 3221223472 134528316 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.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 569 0 0 0 20929 73 0 0 25 0 1 0 775388765 7917568 547 4294967295 134512640 134581331 3221224608 3221223472 134560451 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): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 569 0 0 0 21926 76 0 0 25 0 1 0 775388765 7917568 547 4294967295 134512640 134581331 3221224608 3221223552 134558950 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.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 571 0 0 0 22923 79 0 0 25 0 1 0 775388765 7917568 549 4294967295 134512640 134581331 3221224608 3221223520 134527519 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.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 589 0 0 0 23919 83 0 0 25 0 1 0 775388765 8044544 567 4294967295 134512640 134581331 3221224608 3221223672 1075514893 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.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 589 0 0 0 24917 85 0 0 25 0 1 0 775388765 8019968 567 4294967295 134512640 134581331 3221224608 3221223672 1075514893 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.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 589 0 0 0 25914 89 0 0 25 0 1 0 775388765 8019968 567 4294967295 134512640 134581331 3221224608 3221223536 134520076 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): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 589 0 0 0 26911 92 0 0 25 0 1 0 775388765 8019968 567 4294967295 134512640 134581331 3221224608 3221223536 134519829 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): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 592 0 0 0 27909 94 0 0 25 0 1 0 775388765 8019968 570 4294967295 134512640 134581331 3221224608 3221223324 1075288365 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.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 592 0 0 0 28906 97 0 0 25 0 1 0 775388765 8019968 570 4294967295 134512640 134581331 3221224608 3221223680 134531401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1958 570 566 18 0 1940 0
vsize: 7832
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 595 0 0 0 29902 101 0 0 25 0 1 0 775388765 8019968 573 4294967295 134512640 134581331 3221224608 3221223472 134528261 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): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 595 0 0 0 30899 104 0 0 25 0 1 0 775388765 8019968 573 4294967295 134512640 134581331 3221224608 3221223672 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.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 595 0 0 0 31895 108 0 0 25 0 1 0 775388765 8019968 573 4294967295 134512640 134581331 3221224608 3221223552 134558859 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.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 595 0 0 0 32893 110 0 0 25 0 1 0 775388765 8019968 573 4294967295 134512640 134581331 3221224608 3221223392 134528824 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.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 595 0 0 0 33889 114 0 0 25 0 1 0 775388765 8019968 573 4294967295 134512640 134581331 3221224608 3221223672 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+350.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 595 0 0 0 34886 117 0 0 25 0 1 0 775388765 8019968 573 4294967295 134512640 134581331 3221224608 3221223672 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+360.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 595 0 0 0 35884 120 0 0 25 0 1 0 775388765 8019968 573 4294967295 134512640 134581331 3221224608 3221223520 134527407 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.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 599 0 0 0 36881 123 0 0 25 0 1 0 775388765 8101888 577 4294967295 134512640 134581331 3221224608 3221223472 134528331 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.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 610 0 0 0 37878 126 0 0 25 0 1 0 775388765 8101888 588 4294967295 134512640 134581331 3221224608 3221223504 134517608 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.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 610 0 0 0 38875 129 0 0 25 0 1 0 775388765 8101888 588 4294967295 134512640 134581331 3221224608 3221223536 134519803 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.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 610 0 0 0 39873 132 0 0 25 0 1 0 775388765 8101888 588 4294967295 134512640 134581331 3221224608 3221223504 134517873 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.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 610 0 0 0 40870 135 0 0 25 0 1 0 775388765 8101888 588 4294967295 134512640 134581331 3221224608 3221223672 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+420.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 610 0 0 0 41868 137 0 0 25 0 1 0 775388765 8101888 588 4294967295 134512640 134581331 3221224608 3221223536 134519947 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.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 610 0 0 0 42865 140 0 0 25 0 1 0 775388765 8101888 588 4294967295 134512640 134581331 3221224608 3221223672 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+440.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 611 0 0 0 43863 143 0 0 25 0 1 0 775388765 8101888 589 4294967295 134512640 134581331 3221224608 3221223520 134527701 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.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 611 0 0 0 44860 146 0 0 25 0 1 0 775388765 8101888 589 4294967295 134512640 134581331 3221224608 3221223536 134519928 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.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 611 0 0 0 45857 149 0 0 25 0 1 0 775388765 8101888 589 4294967295 134512640 134581331 3221224608 3221223504 134517878 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.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 611 0 0 0 46854 152 0 0 25 0 1 0 775388765 8101888 589 4294967295 134512640 134581331 3221224608 3221223672 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+480.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 611 0 0 0 47850 156 0 0 25 0 1 0 775388765 8101888 589 4294967295 134512640 134581331 3221224608 3221223672 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+490.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 611 0 0 0 48847 159 0 0 25 0 1 0 775388765 8101888 589 4294967295 134512640 134581331 3221224608 3221223672 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+500.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 611 0 0 0 49845 162 0 0 25 0 1 0 775388765 8101888 589 4294967295 134512640 134581331 3221224608 3221223472 134528267 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.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25736
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 611 0 0 0 50842 165 0 0 25 0 1 0 775388765 8101888 589 4294967295 134512640 134581331 3221224608 3221223536 134519928 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.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 25737
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 611 0 0 0 51839 168 0 0 25 0 1 0 775388765 8101888 589 4294967295 134512640 134581331 3221224608 3221223672 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.016 s]
Raw data (loadavg): 1.07 0.99 0.95 2/54 25789
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 611 0 0 0 52837 171 0 0 25 0 1 0 775388765 8101888 589 4294967295 134512640 134581331 3221224608 3221223536 134520076 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.016 s]
Raw data (loadavg): 1.06 0.99 0.95 2/54 25789
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 611 0 0 0 53834 173 0 0 25 0 1 0 775388765 8101888 589 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+550.016 s]
Raw data (loadavg): 1.05 0.99 0.95 2/54 25789
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 611 0 0 0 54831 176 0 0 25 0 1 0 775388765 8101888 589 4294967295 134512640 134581331 3221224608 3221223536 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+560.016 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 25789
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 611 0 0 0 55829 179 0 0 25 0 1 0 775388765 8101888 589 4294967295 134512640 134581331 3221224608 3221223472 134528254 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+570.017 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 25789
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 626 0 0 0 56826 181 0 0 25 0 1 0 775388765 8232960 604 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 604 566 18 0 1992 0
vsize: 8040
[startup+580.017 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 25789
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 626 0 0 0 57823 185 0 0 25 0 1 0 775388765 8232960 604 4294967295 134512640 134581331 3221224608 3221223304 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 604 566 18 0 1992 0
vsize: 8040
[startup+590.017 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 626 0 0 0 58820 188 0 0 25 0 1 0 775388765 8232960 604 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 604 566 18 0 1992 0
vsize: 8040
[startup+600.018 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 626 0 0 0 59817 192 0 0 25 0 1 0 775388765 8232960 604 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 604 566 18 0 1992 0
vsize: 8040
[startup+610.018 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 626 0 0 0 60813 195 0 0 25 0 1 0 775388765 8232960 604 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 604 566 18 0 1992 0
vsize: 8040
[startup+620.019 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 629 0 0 0 61810 198 0 0 25 0 1 0 775388765 8232960 607 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 607 566 18 0 1992 0
vsize: 8040
[startup+630.019 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 629 0 0 0 62808 201 0 0 25 0 1 0 775388765 8232960 607 4294967295 134512640 134581331 3221224608 3221223492 134558014 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 607 566 18 0 1992 0
vsize: 8040
[startup+640.019 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 629 0 0 0 63805 204 0 0 25 0 1 0 775388765 8232960 607 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 607 566 18 0 1992 0
vsize: 8040
[startup+650.02 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 629 0 0 0 64803 207 0 0 25 0 1 0 775388765 8232960 607 4294967295 134512640 134581331 3221224608 3221223552 134558859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 607 566 18 0 1992 0
vsize: 8040
[startup+660.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 629 0 0 0 65800 210 0 0 25 0 1 0 775388765 8232960 607 4294967295 134512640 134581331 3221224608 3221223424 134528701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 607 566 18 0 1992 0
vsize: 8040
[startup+670.021 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 629 0 0 0 66798 212 0 0 25 0 1 0 775388765 8232960 607 4294967295 134512640 134581331 3221224608 3221223472 134528258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 607 566 18 0 1992 0
vsize: 8040
[startup+680.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 629 0 0 0 67796 214 0 0 25 0 1 0 775388765 8232960 607 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 607 566 18 0 1992 0
vsize: 8040
[startup+690.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 634 0 0 0 68793 218 0 0 25 0 1 0 775388765 8232960 612 4294967295 134512640 134581331 3221224608 3221223552 134558842 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+700.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 634 0 0 0 69791 220 0 0 25 0 1 0 775388765 8232960 612 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+710.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 634 0 0 0 70789 222 0 0 25 0 1 0 775388765 8232960 612 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+720.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 634 0 0 0 71785 226 0 0 25 0 1 0 775388765 8232960 612 4294967295 134512640 134581331 3221224608 3221223424 134528848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+730.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 634 0 0 0 72782 230 0 0 25 0 1 0 775388765 8232960 612 4294967295 134512640 134581331 3221224608 3221223492 134558014 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+740.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 634 0 0 0 73778 233 0 0 25 0 1 0 775388765 8232960 612 4294967295 134512640 134581331 3221224608 3221223520 134527763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+750.025 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 634 0 0 0 74776 236 0 0 25 0 1 0 775388765 8232960 612 4294967295 134512640 134581331 3221224608 3221223472 134528547 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+760.025 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 634 0 0 0 75773 238 0 0 25 0 1 0 775388765 8232960 612 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+770.026 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 634 0 0 0 76770 242 0 0 25 0 1 0 775388765 8232960 612 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+780.027 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 634 0 0 0 77767 245 0 0 25 0 1 0 775388765 8232960 612 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+790.026 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 634 0 0 0 78764 248 0 0 25 0 1 0 775388765 8232960 612 4294967295 134512640 134581331 3221224608 3221223504 134517838 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+800.027 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 634 0 0 0 79761 252 0 0 25 0 1 0 775388765 8232960 612 4294967295 134512640 134581331 3221224608 3221223504 134517809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+810.027 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 634 0 0 0 80759 254 0 0 25 0 1 0 775388765 8232960 612 4294967295 134512640 134581331 3221224608 3221223472 134528267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+820.028 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 634 0 0 0 81757 256 0 0 25 0 1 0 775388765 8232960 612 4294967295 134512640 134581331 3221224608 3221223504 134517830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+830.028 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 637 0 0 0 82754 259 0 0 25 0 1 0 775388765 8232960 615 4294967295 134512640 134581331 3221224608 3221223552 134559057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 615 566 18 0 1992 0
vsize: 8040
[startup+840.028 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 637 0 0 0 83749 264 0 0 25 0 1 0 775388765 8232960 615 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 615 566 18 0 1992 0
vsize: 8040
[startup+850.028 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25791
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 637 0 0 0 84746 267 0 0 25 0 1 0 775388765 8232960 615 4294967295 134512640 134581331 3221224608 3221223472 134528336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 615 566 18 0 1992 0
vsize: 8040
[startup+860.028 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 637 0 0 0 85744 270 0 0 25 0 1 0 775388765 8232960 615 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 615 566 18 0 1992 0
vsize: 8040
[startup+870.029 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 637 0 0 0 86741 272 0 0 25 0 1 0 775388765 8232960 615 4294967295 134512640 134581331 3221224608 3221223552 134558887 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 615 566 18 0 1992 0
vsize: 8040
[startup+880.029 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 649 0 0 0 87738 276 0 0 25 0 1 0 775388765 8232960 627 4294967295 134512640 134581331 3221224608 3221223492 134557799 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 627 566 18 0 1992 0
vsize: 8040
[startup+890.029 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 649 0 0 0 88735 279 0 0 25 0 1 0 775388765 8232960 627 4294967295 134512640 134581331 3221224608 3221223600 134561142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 627 566 18 0 1992 0
vsize: 8040
[startup+900.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 649 0 0 0 89732 282 0 0 25 0 1 0 775388765 8232960 627 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 627 566 18 0 1992 0
vsize: 8040
[startup+910.029 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 651 0 0 0 90728 286 0 0 25 0 1 0 775388765 8318976 629 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2031 629 566 18 0 2013 0
vsize: 8124
[startup+920.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 651 0 0 0 91725 290 0 0 25 0 1 0 775388765 8310784 629 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2029 629 566 18 0 2011 0
vsize: 8116
[startup+930.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 651 0 0 0 92721 294 0 0 25 0 1 0 775388765 8310784 629 4294967295 134512640 134581331 3221224608 3221223504 134517608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2029 629 566 18 0 2011 0
vsize: 8116
[startup+940.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 656 0 0 0 93719 296 0 0 25 0 1 0 775388765 8310784 634 4294967295 134512640 134581331 3221224608 3221223472 134528254 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2029 634 566 18 0 2011 0
vsize: 8116
[startup+950.031 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 656 0 0 0 94717 299 0 0 25 0 1 0 775388765 8310784 634 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2029 634 566 18 0 2011 0
vsize: 8116
[startup+960.032 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 656 0 0 0 95714 301 0 0 25 0 1 0 775388765 8310784 634 4294967295 134512640 134581331 3221224608 3221223472 134560296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2029 634 566 18 0 2011 0
vsize: 8116
[startup+970.032 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 656 0 0 0 96712 304 0 0 25 0 1 0 775388765 8310784 634 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2029 634 566 18 0 2011 0
vsize: 8116
[startup+980.032 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 660 0 0 0 97708 308 0 0 25 0 1 0 775388765 8302592 638 4294967295 134512640 134581331 3221224608 3221223536 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2027 638 566 18 0 2009 0
vsize: 8108
[startup+990.032 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 660 0 0 0 98704 312 0 0 25 0 1 0 775388765 8302592 638 4294967295 134512640 134581331 3221224608 3221223492 134557807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2027 638 566 18 0 2009 0
vsize: 8108
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 660 0 0 0 99701 315 0 0 25 0 1 0 775388765 8302592 638 4294967295 134512640 134581331 3221224608 3221223536 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2027 638 566 18 0 2009 0
vsize: 8108
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 660 0 0 0 100698 318 0 0 25 0 1 0 775388765 8302592 638 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2027 638 566 18 0 2009 0
vsize: 8108
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 660 0 0 0 101695 321 0 0 25 0 1 0 775388765 8302592 638 4294967295 134512640 134581331 3221224608 3221223472 134528272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2027 638 566 18 0 2009 0
vsize: 8108
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 660 0 0 0 102692 325 0 0 25 0 1 0 775388765 8302592 638 4294967295 134512640 134581331 3221224608 3221223472 134528331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2027 638 566 18 0 2009 0
vsize: 8108
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 664 0 0 0 103689 328 0 0 25 0 1 0 775388765 8302592 642 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 664 0 0 0 104687 331 0 0 25 0 1 0 775388765 8302592 642 4294967295 134512640 134581331 3221224608 3221223472 134528331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 664 0 0 0 105683 334 0 0 25 0 1 0 775388765 8302592 642 4294967295 134512640 134581331 3221224608 3221223504 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 664 0 0 0 106681 337 0 0 25 0 1 0 775388765 8302592 642 4294967295 134512640 134581331 3221224608 3221223504 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 664 0 0 0 107678 340 0 0 25 0 1 0 775388765 8302592 642 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 664 0 0 0 108676 342 0 0 25 0 1 0 775388765 8302592 642 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 664 0 0 0 109673 346 0 0 25 0 1 0 775388765 8302592 642 4294967295 134512640 134581331 3221224608 3221223520 134527772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 664 0 0 0 110670 349 0 0 25 0 1 0 775388765 8302592 642 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 664 0 0 0 111668 351 0 0 25 0 1 0 775388765 8302592 642 4294967295 134512640 134581331 3221224608 3221223520 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 664 0 0 0 112666 354 0 0 25 0 1 0 775388765 8302592 642 4294967295 134512640 134581331 3221224608 3221223536 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 664 0 0 0 113662 358 0 0 25 0 1 0 775388765 8302592 642 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 664 0 0 0 114660 360 0 0 25 0 1 0 775388765 8302592 642 4294967295 134512640 134581331 3221224608 3221223472 134528384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 664 0 0 0 115657 363 0 0 25 0 1 0 775388765 8302592 642 4294967295 134512640 134581331 3221224608 3221223520 134527980 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 664 0 0 0 116654 366 0 0 25 0 1 0 775388765 8302592 642 4294967295 134512640 134581331 3221224608 3221223472 134528316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 664 0 0 0 117652 369 0 0 25 0 1 0 775388765 8302592 642 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1188.84 s]
Raw data (loadavg): 1.00 0.99 0.95 1/53 25793
Raw data (stat): 25736 (Pueblo) R 25735 20224 20223 0 -1 0 664 0 0 0 117652 369 0 0 25 0 1 0 775388765 8302592 642 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 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.29
CPU system time (s): 3.71544
CPU usage (%): 100.014
Max. virtual memory (Kb): 8124
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	602
#### END VERIFIER DATA ####