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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-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.01784
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 38859

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-02 18:23:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26921 boxname=wulflinc1 idbench=1049 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  581d778a36086562107993896110e0a2  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-mod008.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-mod008.opb
IDLAUNCH: 26921
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        565196 kB
Buffers:         26940 kB
Cached:         418268 kB
SwapCached:        668 kB
Active:          28340 kB
Inactive:       419128 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        564944 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5824 kB
Slab:            16172 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 18:43:24 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26921 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/wulflinc1/normalized-mps-v2-20-10-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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/55 10265
Raw data (stat): 10265 (runsolver) R 10264 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 795062907 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.92 0.95 0.90 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 454 0 0 0 992 6 0 0 25 0 1 0 795062907 7491584 428 4294967295 134512640 134581267 3221224576 3221223440 134528302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1829 428 566 18 0 1811 0
vsize: 7316
[startup+20.001 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 491 0 0 0 1987 11 0 0 25 0 1 0 795062907 7622656 465 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 465 566 18 0 1843 0
vsize: 7444
[startup+30.0018 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 503 0 0 0 2983 15 0 0 25 0 1 0 795062907 7622656 477 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 477 566 18 0 1843 0
vsize: 7444
[startup+40.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 517 0 0 0 3978 21 0 0 25 0 1 0 795062907 7745536 491 4294967295 134512640 134581267 3221224576 3221223568 134561093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1891 491 566 18 0 1873 0
vsize: 7564
[startup+50.0013 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 517 0 0 0 4974 25 0 0 25 0 1 0 795062907 7745536 491 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1891 491 566 18 0 1873 0
vsize: 7564
[startup+60.0012 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 527 0 0 0 5970 29 0 0 25 0 1 0 795062907 7745536 501 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1891 501 566 18 0 1873 0
vsize: 7564
[startup+70.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 530 0 0 0 6967 33 0 0 25 0 1 0 795062907 7745536 504 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1891 504 566 18 0 1873 0
vsize: 7564
[startup+80.0027 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 536 0 0 0 7963 36 0 0 25 0 1 0 795062907 7847936 510 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1916 510 566 18 0 1898 0
vsize: 7664
[startup+90.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 549 0 0 0 8959 41 0 0 25 0 1 0 795062907 7847936 523 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1916 523 566 18 0 1898 0
vsize: 7664
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 549 0 0 0 9955 45 0 0 25 0 1 0 795062907 7847936 523 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1916 523 566 18 0 1898 0
vsize: 7664
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 549 0 0 0 10950 50 0 0 25 0 1 0 795062907 7847936 523 4294967295 134512640 134581267 3221224576 3221223176 1075289641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1916 523 566 18 0 1898 0
vsize: 7664
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 551 0 0 0 11947 53 0 0 25 0 1 0 795062907 7847936 525 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1916 525 566 18 0 1898 0
vsize: 7664
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 552 0 0 0 12944 56 0 0 25 0 1 0 795062907 7847936 526 4294967295 134512640 134581267 3221224576 3221223440 134528334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1916 526 566 18 0 1898 0
vsize: 7664
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 564 0 0 0 13941 59 0 0 25 0 1 0 795062907 7950336 538 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1941 538 566 18 0 1923 0
vsize: 7764
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 567 0 0 0 14938 63 0 0 25 0 1 0 795062907 7946240 541 4294967295 134512640 134581267 3221224576 3221223464 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1940 541 566 18 0 1922 0
vsize: 7760
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 567 0 0 0 15935 66 0 0 25 0 1 0 795062907 7946240 541 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1940 541 566 18 0 1922 0
vsize: 7760
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 568 0 0 0 16932 69 0 0 25 0 1 0 795062907 7946240 542 4294967295 134512640 134581267 3221224576 3221223456 134520302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1940 542 566 18 0 1922 0
vsize: 7760
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 568 0 0 0 17928 73 0 0 25 0 1 0 795062907 7946240 542 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1940 542 566 18 0 1922 0
vsize: 7760
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 568 0 0 0 18925 77 0 0 25 0 1 0 795062907 7946240 542 4294967295 134512640 134581267 3221224576 3221223472 134517525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1940 542 566 18 0 1922 0
vsize: 7760
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 571 0 0 0 19922 80 0 0 25 0 1 0 795062907 7946240 545 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1940 545 566 18 0 1922 0
vsize: 7760
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 588 0 0 0 20919 83 0 0 25 0 1 0 795062907 8060928 562 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1968 562 566 18 0 1950 0
vsize: 7872
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 588 0 0 0 21914 88 0 0 25 0 1 0 795062907 8015872 562 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1957 562 566 18 0 1939 0
vsize: 7828
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 588 0 0 0 22911 91 0 0 25 0 1 0 795062907 8015872 562 4294967295 134512640 134581267 3221224576 3221223520 134558884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1957 562 566 18 0 1939 0
vsize: 7828
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 588 0 0 0 23908 94 0 0 25 0 1 0 795062907 8015872 562 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1957 562 566 18 0 1939 0
vsize: 7828
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 590 0 0 0 24905 97 0 0 25 0 1 0 795062907 8015872 564 4294967295 134512640 134581267 3221224576 3221223680 134562541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1957 564 566 18 0 1939 0
vsize: 7828
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 590 0 0 0 25902 100 0 0 25 0 1 0 795062907 8015872 564 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1957 564 566 18 0 1939 0
vsize: 7828
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 592 0 0 0 26898 105 0 0 25 0 1 0 795062907 8015872 566 4294967295 134512640 134581267 3221224576 3221223264 1075288474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1957 566 566 18 0 1939 0
vsize: 7828
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 592 0 0 0 27895 108 0 0 25 0 1 0 795062907 8015872 566 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1957 566 566 18 0 1939 0
vsize: 7828
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 592 0 0 0 28891 112 0 0 25 0 1 0 795062907 8015872 566 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1957 566 566 18 0 1939 0
vsize: 7828
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 592 0 0 0 29888 114 0 0 25 0 1 0 795062907 8015872 566 4294967295 134512640 134581267 3221224576 3221223472 134517784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1957 566 566 18 0 1939 0
vsize: 7828
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 593 0 0 0 30884 119 0 0 25 0 1 0 795062907 8015872 567 4294967295 134512640 134581267 3221224576 3221223440 134528310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1957 567 566 18 0 1939 0
vsize: 7828
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 593 0 0 0 31880 123 0 0 25 0 1 0 795062907 8015872 567 4294967295 134512640 134581267 3221224576 3221223272 1075291622 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1957 567 566 18 0 1939 0
vsize: 7828
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 599 0 0 0 32877 126 0 0 25 0 1 0 795062907 8015872 573 4294967295 134512640 134581267 3221224576 3221223256 1075289717 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1957 573 566 18 0 1939 0
vsize: 7828
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 607 0 0 0 33874 130 0 0 25 0 1 0 795062907 8130560 581 4294967295 134512640 134581267 3221224576 3221223520 134559429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1985 581 566 18 0 1967 0
vsize: 7940
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 607 0 0 0 34870 134 0 0 25 0 1 0 795062907 8118272 581 4294967295 134512640 134581267 3221224576 3221223520 134558912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1982 581 566 18 0 1964 0
vsize: 7928
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 607 0 0 0 35866 138 0 0 25 0 1 0 795062907 8118272 581 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1982 581 566 18 0 1964 0
vsize: 7928
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 607 0 0 0 36863 141 0 0 25 0 1 0 795062907 8118272 581 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1982 581 566 18 0 1964 0
vsize: 7928
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 607 0 0 0 37859 145 0 0 25 0 1 0 795062907 8114176 581 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1981 581 566 18 0 1963 0
vsize: 7924
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 611 0 0 0 38856 149 0 0 25 0 1 0 795062907 8105984 585 4294967295 134512640 134581267 3221224576 3221223440 134528338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1979 585 566 18 0 1961 0
vsize: 7916
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 611 0 0 0 39853 152 0 0 25 0 1 0 795062907 8105984 585 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1979 585 566 18 0 1961 0
vsize: 7916
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 611 0 0 0 40850 155 0 0 25 0 1 0 795062907 8105984 585 4294967295 134512640 134581267 3221224576 3221223520 134559020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1979 585 566 18 0 1961 0
vsize: 7916
[startup+420.017 s]
Raw data (loadavg): 1.15 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 611 0 0 0 41846 159 0 0 25 0 1 0 795062907 8105984 585 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1979 585 566 18 0 1961 0
vsize: 7916
[startup+430.017 s]
Raw data (loadavg): 1.12 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 611 0 0 0 42843 162 0 0 25 0 1 0 795062907 8105984 585 4294967295 134512640 134581267 3221224576 3221223440 134528291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1979 585 566 18 0 1961 0
vsize: 7916
[startup+440.017 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 611 0 0 0 43840 165 0 0 25 0 1 0 795062907 8105984 585 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1979 585 566 18 0 1961 0
vsize: 7916
[startup+450.018 s]
Raw data (loadavg): 1.09 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 611 0 0 0 44837 168 0 0 25 0 1 0 795062907 8105984 585 4294967295 134512640 134581267 3221224576 3221223440 134528346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1979 585 566 18 0 1961 0
vsize: 7916
[startup+460.019 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 611 0 0 0 45835 171 0 0 25 0 1 0 795062907 8105984 585 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1979 585 566 18 0 1961 0
vsize: 7916
[startup+470.019 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 612 0 0 0 46832 174 0 0 25 0 1 0 795062907 8105984 586 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1979 586 566 18 0 1961 0
vsize: 7916
[startup+480.02 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 612 0 0 0 47829 177 0 0 25 0 1 0 795062907 8105984 586 4294967295 134512640 134581267 3221224576 3221223504 134519937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1979 586 566 18 0 1961 0
vsize: 7916
[startup+490.02 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 614 0 0 0 48825 181 0 0 25 0 1 0 795062907 8105984 588 4294967295 134512640 134581267 3221224576 3221223488 134527948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1979 588 566 18 0 1961 0
vsize: 7916
[startup+500.02 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 614 0 0 0 49822 184 0 0 25 0 1 0 795062907 8105984 588 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1979 588 566 18 0 1961 0
vsize: 7916
[startup+510.021 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 624 0 0 0 50818 188 0 0 25 0 1 0 795062907 8237056 598 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 598 566 18 0 1993 0
vsize: 8044
[startup+520.022 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 624 0 0 0 51815 191 0 0 25 0 1 0 795062907 8237056 598 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 598 566 18 0 1993 0
vsize: 8044
[startup+530.022 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 626 0 0 0 52811 195 0 0 25 0 1 0 795062907 8237056 600 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 600 566 18 0 1993 0
vsize: 8044
[startup+540.023 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 627 0 0 0 53807 199 0 0 25 0 1 0 795062907 8237056 601 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 601 566 18 0 1993 0
vsize: 8044
[startup+550.023 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 629 0 0 0 54804 203 0 0 25 0 1 0 795062907 8237056 603 4294967295 134512640 134581267 3221224576 3221223472 134517777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 603 566 18 0 1993 0
vsize: 8044
[startup+560.023 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 629 0 0 0 55802 205 0 0 25 0 1 0 795062907 8237056 603 4294967295 134512640 134581267 3221224576 3221223488 134527683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 603 566 18 0 1993 0
vsize: 8044
[startup+570.024 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 629 0 0 0 56798 209 0 0 25 0 1 0 795062907 8237056 603 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 603 566 18 0 1993 0
vsize: 8044
[startup+580.025 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 629 0 0 0 57796 211 0 0 25 0 1 0 795062907 8237056 603 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 603 566 18 0 1993 0
vsize: 8044
[startup+590.025 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 629 0 0 0 58793 214 0 0 25 0 1 0 795062907 8237056 603 4294967295 134512640 134581267 3221224576 3221223440 134560328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 603 566 18 0 1993 0
vsize: 8044
[startup+600.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 629 0 0 0 59791 217 0 0 25 0 1 0 795062907 8237056 603 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 603 566 18 0 1993 0
vsize: 8044
[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 633 0 0 0 60788 219 0 0 25 0 1 0 795062907 8237056 607 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+620.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 633 0 0 0 61786 222 0 0 25 0 1 0 795062907 8237056 607 4294967295 134512640 134581267 3221224576 3221223440 134560386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+630.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 633 0 0 0 62783 225 0 0 25 0 1 0 795062907 8237056 607 4294967295 134512640 134581267 3221224576 3221223488 134527678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+640.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 633 0 0 0 63780 228 0 0 25 0 1 0 795062907 8237056 607 4294967295 134512640 134581267 3221224576 3221223520 134559225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+650.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 633 0 0 0 64777 232 0 0 25 0 1 0 795062907 8237056 607 4294967295 134512640 134581267 3221224576 3221223440 134528249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+660.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 633 0 0 0 65774 235 0 0 25 0 1 0 795062907 8237056 607 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+670.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 633 0 0 0 66771 238 0 0 25 0 1 0 795062907 8237056 607 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+680.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 633 0 0 0 67767 242 0 0 25 0 1 0 795062907 8237056 607 4294967295 134512640 134581267 3221224576 3221223440 134560306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+690.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 633 0 0 0 68764 245 0 0 25 0 1 0 795062907 8237056 607 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+700.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 633 0 0 0 69761 248 0 0 25 0 1 0 795062907 8237056 607 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+710.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 633 0 0 0 70758 251 0 0 25 0 1 0 795062907 8237056 607 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+720.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 633 0 0 0 71754 255 0 0 25 0 1 0 795062907 8237056 607 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+730.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 633 0 0 0 72752 258 0 0 25 0 1 0 795062907 8237056 607 4294967295 134512640 134581267 3221224576 3221223388 1075285664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+740.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 635 0 0 0 73749 261 0 0 25 0 1 0 795062907 8237056 609 4294967295 134512640 134581267 3221224576 3221223556 134561056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 609 566 18 0 1993 0
vsize: 8044
[startup+750.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 635 0 0 0 74745 265 0 0 25 0 1 0 795062907 8237056 609 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 609 566 18 0 1993 0
vsize: 8044
[startup+760.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 635 0 0 0 75742 268 0 0 25 0 1 0 795062907 8237056 609 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 609 566 18 0 1993 0
vsize: 8044
[startup+770.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 635 0 0 0 76738 272 0 0 25 0 1 0 795062907 8237056 609 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 609 566 18 0 1993 0
vsize: 8044
[startup+780.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 635 0 0 0 77735 275 0 0 25 0 1 0 795062907 8237056 609 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 609 566 18 0 1993 0
vsize: 8044
[startup+790.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 645 0 0 0 78731 279 0 0 25 0 1 0 795062907 8237056 619 4294967295 134512640 134581267 3221224576 3221223252 1075289611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 619 566 18 0 1993 0
vsize: 8044
[startup+800.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 646 0 0 0 79728 282 0 0 25 0 1 0 795062907 8237056 620 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 620 566 18 0 1993 0
vsize: 8044
[startup+810.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 653 0 0 0 80725 286 0 0 25 0 1 0 795062907 8237056 627 4294967295 134512640 134581267 3221224576 3221223536 134516740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 627 566 18 0 1993 0
vsize: 8044
[startup+820.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 653 0 0 0 81721 290 0 0 25 0 1 0 795062907 8237056 627 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 627 566 18 0 1993 0
vsize: 8044
[startup+830.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 653 0 0 0 82718 293 0 0 25 0 1 0 795062907 8237056 627 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 627 566 18 0 1993 0
vsize: 8044
[startup+840.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 656 0 0 0 83715 297 0 0 25 0 1 0 795062907 8331264 630 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2034 630 566 18 0 2016 0
vsize: 8136
[startup+850.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 656 0 0 0 84711 300 0 0 25 0 1 0 795062907 8323072 630 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2032 630 566 18 0 2014 0
vsize: 8128
[startup+860.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 656 0 0 0 85707 305 0 0 25 0 1 0 795062907 8323072 630 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2032 630 566 18 0 2014 0
vsize: 8128
[startup+870.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 658 0 0 0 86705 307 0 0 25 0 1 0 795062907 8323072 632 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2032 632 566 18 0 2014 0
vsize: 8128
[startup+880.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 658 0 0 0 87701 311 0 0 25 0 1 0 795062907 8323072 632 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2032 632 566 18 0 2014 0
vsize: 8128
[startup+890.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 658 0 0 0 88697 315 0 0 25 0 1 0 795062907 8323072 632 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2032 632 566 18 0 2014 0
vsize: 8128
[startup+900.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 658 0 0 0 89694 318 0 0 25 0 1 0 795062907 8323072 632 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2032 632 566 18 0 2014 0
vsize: 8128
[startup+910.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 658 0 0 0 90690 322 0 0 25 0 1 0 795062907 8323072 632 4294967295 134512640 134581267 3221224576 3221223488 134531369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2032 632 566 18 0 2014 0
vsize: 8128
[startup+920.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 661 0 0 0 91687 326 0 0 25 0 1 0 795062907 8323072 635 4294967295 134512640 134581267 3221224576 3221223488 134527948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2032 635 566 18 0 2014 0
vsize: 8128
[startup+930.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 661 0 0 0 92684 329 0 0 25 0 1 0 795062907 8323072 635 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2032 635 566 18 0 2014 0
vsize: 8128
[startup+940.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 661 0 0 0 93681 332 0 0 25 0 1 0 795062907 8323072 635 4294967295 134512640 134581267 3221224576 3221223352 1075285834 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2032 635 566 18 0 2014 0
vsize: 8128
[startup+950.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 661 0 0 0 94678 335 0 0 25 0 1 0 795062907 8323072 635 4294967295 134512640 134581267 3221224576 3221223324 1075285102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2032 635 566 18 0 2014 0
vsize: 8128
[startup+960.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 661 0 0 0 95676 337 0 0 25 0 1 0 795062907 8323072 635 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2032 635 566 18 0 2014 0
vsize: 8128
[startup+970.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 661 0 0 0 96673 341 0 0 25 0 1 0 795062907 8323072 635 4294967295 134512640 134581267 3221224576 3221223536 134516751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2032 635 566 18 0 2014 0
vsize: 8128
[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 661 0 0 0 97671 343 0 0 25 0 1 0 795062907 8323072 635 4294967295 134512640 134581267 3221224576 3221223440 134560430 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2032 635 566 18 0 2014 0
vsize: 8128
[startup+990.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 661 0 0 0 98668 346 0 0 25 0 1 0 795062907 8323072 635 4294967295 134512640 134581267 3221224576 3221223212 1075288520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2032 635 566 18 0 2014 0
vsize: 8128
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 661 0 0 0 99663 351 0 0 25 0 1 0 795062907 8323072 635 4294967295 134512640 134581267 3221224576 3221223584 134560297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2032 635 566 18 0 2014 0
vsize: 8128
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 661 0 0 0 100661 353 0 0 25 0 1 0 795062907 8323072 635 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2032 635 566 18 0 2014 0
vsize: 8128
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 661 0 0 0 101658 357 0 0 25 0 1 0 795062907 8323072 635 4294967295 134512640 134581267 3221224576 3221223456 134560256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2032 635 566 18 0 2014 0
vsize: 8128
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 661 0 0 0 102654 360 0 0 25 0 1 0 795062907 8323072 635 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2032 635 566 18 0 2014 0
vsize: 8128
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 661 0 0 0 103650 364 0 0 25 0 1 0 795062907 8323072 635 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2032 635 566 18 0 2014 0
vsize: 8128
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 661 0 0 0 104647 367 0 0 25 0 1 0 795062907 8323072 635 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 635 566 18 0 2014 0
vsize: 8128
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 663 0 0 0 105644 371 0 0 25 0 1 0 795062907 8323072 637 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 637 566 18 0 2014 0
vsize: 8128
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 663 0 0 0 106641 374 0 0 25 0 1 0 795062907 8323072 637 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 637 566 18 0 2014 0
vsize: 8128
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 663 0 0 0 107638 377 0 0 25 0 1 0 795062907 8323072 637 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 637 566 18 0 2014 0
vsize: 8128
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 663 0 0 0 108635 380 0 0 25 0 1 0 795062907 8323072 637 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 637 566 18 0 2014 0
vsize: 8128
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 663 0 0 0 109632 384 0 0 25 0 1 0 795062907 8323072 637 4294967295 134512640 134581267 3221224576 3221223472 134517812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 637 566 18 0 2014 0
vsize: 8128
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 663 0 0 0 110628 387 0 0 25 0 1 0 795062907 8323072 637 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 637 566 18 0 2014 0
vsize: 8128
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 663 0 0 0 111625 391 0 0 25 0 1 0 795062907 8323072 637 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 637 566 18 0 2014 0
vsize: 8128
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 667 0 0 0 112621 395 0 0 25 0 1 0 795062907 8323072 641 4294967295 134512640 134581267 3221224576 3221223440 134560181 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 641 566 18 0 2014 0
vsize: 8128
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 667 0 0 0 113619 398 0 0 25 0 1 0 795062907 8323072 641 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 641 566 18 0 2014 0
vsize: 8128
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 667 0 0 0 114616 400 0 0 25 0 1 0 795062907 8323072 641 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 641 566 18 0 2014 0
vsize: 8128
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 667 0 0 0 115613 404 0 0 25 0 1 0 795062907 8323072 641 4294967295 134512640 134581267 3221224576 3221223368 1075289104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 641 566 18 0 2014 0
vsize: 8128
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 687 0 0 0 116609 407 0 0 25 0 1 0 795062907 8437760 661 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2060 661 566 18 0 2042 0
vsize: 8240
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 687 0 0 0 117605 412 0 0 25 0 1 0 795062907 8433664 661 4294967295 134512640 134581267 3221224576 3221223440 134528238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2059 661 566 18 0 2041 0
vsize: 8236
[startup+1188.88 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 10265
Raw data (stat): 10265 (Pueblo-v2) R 10264 8378 8377 0 -1 0 687 0 0 0 117605 412 0 0 25 0 1 0 795062907 8433664 661 4294967295 134512640 134581267 3221224576 3221223440 134528238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2059 661 566 18 0 2041 0
vsize: 0

Child status: 10
Real time (s): 1188.88
CPU time (s): 1189.01
CPU user time (s): 1184.85
CPU system time (s): 4.16237
CPU usage (%): 100.012
Max. virtual memory (Kb): 8240
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	602
#### END VERIFIER DATA ####