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/miplib/normalized-mps-v2-20-10-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.01584
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 38739

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-02 16:08:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26798 boxname=wulflinc2 idbench=926 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  fbdb3cf321a85412feefcaac30780520  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-mod008.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-mod008.opb
IDLAUNCH: 26798
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        832964 kB
Buffers:         23044 kB
Cached:         156200 kB
SwapCached:       1160 kB
Active:          23976 kB
Inactive:       157728 kB
HighTotal:      131008 kB
HighFree:          728 kB
LowTotal:       903652 kB
LowFree:        832236 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14168 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 16:28:46 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26798 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/wulflinc2/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.72 0.91 0.90 2/54 25479
Raw data (stat): 25479 (runsolver) R 25478 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851115121 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.0005 s]
Raw data (loadavg): 0.76 0.91 0.90 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 455 0 0 0 993 5 0 0 25 0 1 0 851115121 7491584 429 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1829 429 566 18 0 1811 0
vsize: 7316
[startup+20.0009 s]
Raw data (loadavg): 0.80 0.91 0.90 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 491 0 0 0 1987 11 0 0 25 0 1 0 851115121 7622656 465 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 465 566 18 0 1843 0
vsize: 7444
[startup+30.0006 s]
Raw data (loadavg): 0.83 0.92 0.90 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 503 0 0 0 2983 16 0 0 25 0 1 0 851115121 7622656 477 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 477 566 18 0 1843 0
vsize: 7444
[startup+40.0006 s]
Raw data (loadavg): 0.85 0.92 0.90 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 517 0 0 0 3979 20 0 0 25 0 1 0 851115121 7745536 491 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1891 491 566 18 0 1873 0
vsize: 7564
[startup+50.001 s]
Raw data (loadavg): 0.88 0.92 0.90 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 517 0 0 0 4976 23 0 0 25 0 1 0 851115121 7745536 491 4294967295 134512640 134581267 3221224576 3221223488 134531369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1891 491 566 18 0 1873 0
vsize: 7564
[startup+60.0007 s]
Raw data (loadavg): 0.89 0.92 0.90 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 527 0 0 0 5971 28 0 0 25 0 1 0 851115121 7745536 501 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1891 501 566 18 0 1873 0
vsize: 7564
[startup+70.0018 s]
Raw data (loadavg): 0.91 0.92 0.90 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 530 0 0 0 6968 31 0 0 25 0 1 0 851115121 7745536 504 4294967295 134512640 134581267 3221224576 3221223440 134528380 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1891 504 566 18 0 1873 0
vsize: 7564
[startup+80.0021 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 536 0 0 0 7964 35 0 0 25 0 1 0 851115121 7847936 510 4294967295 134512640 134581267 3221224576 3221223440 134560456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1916 510 566 18 0 1898 0
vsize: 7664
[startup+90.0018 s]
Raw data (loadavg): 0.93 0.93 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 549 0 0 0 8961 38 0 0 25 0 1 0 851115121 7847936 523 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1916 523 566 18 0 1898 0
vsize: 7664
[startup+100.002 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 549 0 0 0 9957 42 0 0 25 0 1 0 851115121 7847936 523 4294967295 134512640 134581267 3221224576 3221223504 134520043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1916 523 566 18 0 1898 0
vsize: 7664
[startup+110.002 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 549 0 0 0 10954 46 0 0 25 0 1 0 851115121 7847936 523 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1916 523 566 18 0 1898 0
vsize: 7664
[startup+120.003 s]
Raw data (loadavg): 0.96 0.93 0.91 3/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 551 0 0 0 11951 50 0 0 25 0 1 0 851115121 7847936 525 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1916 525 566 18 0 1898 0
vsize: 7664
[startup+130.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 552 0 0 0 12948 52 0 0 25 0 1 0 851115121 7847936 526 4294967295 134512640 134581267 3221224576 3221223488 134566351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1916 526 566 18 0 1898 0
vsize: 7664
[startup+140.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 564 0 0 0 13944 56 0 0 25 0 1 0 851115121 7950336 538 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1941 538 566 18 0 1923 0
vsize: 7764
[startup+150.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 567 0 0 0 14941 60 0 0 25 0 1 0 851115121 7946240 541 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1940 541 566 18 0 1922 0
vsize: 7760
[startup+160.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 567 0 0 0 15938 63 0 0 25 0 1 0 851115121 7946240 541 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1940 541 566 18 0 1922 0
vsize: 7760
[startup+170.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 568 0 0 0 16935 66 0 0 25 0 1 0 851115121 7946240 542 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1940 542 566 18 0 1922 0
vsize: 7760
[startup+180.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 568 0 0 0 17932 69 0 0 25 0 1 0 851115121 7946240 542 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1940 542 566 18 0 1922 0
vsize: 7760
[startup+190.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 568 0 0 0 18928 73 0 0 25 0 1 0 851115121 7946240 542 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1940 542 566 18 0 1922 0
vsize: 7760
[startup+200.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 571 0 0 0 19925 77 0 0 25 0 1 0 851115121 7946240 545 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1940 545 566 18 0 1922 0
vsize: 7760
[startup+210.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 588 0 0 0 20922 80 0 0 25 0 1 0 851115121 8060928 562 4294967295 134512640 134581267 3221224576 3221223472 134517737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1968 562 566 18 0 1950 0
vsize: 7872
[startup+220.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 588 0 0 0 21920 82 0 0 25 0 1 0 851115121 8015872 562 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1957 562 566 18 0 1939 0
vsize: 7828
[startup+230.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 588 0 0 0 22917 86 0 0 25 0 1 0 851115121 8015872 562 4294967295 134512640 134581267 3221224576 3221223324 1075285122 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1957 562 566 18 0 1939 0
vsize: 7828
[startup+240.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 588 0 0 0 23914 89 0 0 25 0 1 0 851115121 8015872 562 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1957 562 566 18 0 1939 0
vsize: 7828
[startup+250.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 590 0 0 0 24911 92 0 0 25 0 1 0 851115121 8015872 564 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1957 564 566 18 0 1939 0
vsize: 7828
[startup+260.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 590 0 0 0 25907 96 0 0 25 0 1 0 851115121 8015872 564 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1957 564 566 18 0 1939 0
vsize: 7828
[startup+270.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 592 0 0 0 26904 99 0 0 25 0 1 0 851115121 8015872 566 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1957 566 566 18 0 1939 0
vsize: 7828
[startup+280.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 592 0 0 0 27901 102 0 0 25 0 1 0 851115121 8015872 566 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1957 566 566 18 0 1939 0
vsize: 7828
[startup+290.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 592 0 0 0 28897 106 0 0 25 0 1 0 851115121 8015872 566 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1957 566 566 18 0 1939 0
vsize: 7828
[startup+300.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 592 0 0 0 29894 110 0 0 25 0 1 0 851115121 8015872 566 4294967295 134512640 134581267 3221224576 3221223472 134517909 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1957 566 566 18 0 1939 0
vsize: 7828
[startup+310.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 593 0 0 0 30892 112 0 0 25 0 1 0 851115121 8015872 567 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1957 567 566 18 0 1939 0
vsize: 7828
[startup+320.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 593 0 0 0 31889 115 0 0 25 0 1 0 851115121 8015872 567 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1957 567 566 18 0 1939 0
vsize: 7828
[startup+330.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 599 0 0 0 32885 119 0 0 25 0 1 0 851115121 8015872 573 4294967295 134512640 134581267 3221224576 3221223440 134528312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1957 573 566 18 0 1939 0
vsize: 7828
[startup+340.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 607 0 0 0 33880 124 0 0 25 0 1 0 851115121 8130560 581 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1985 581 566 18 0 1967 0
vsize: 7940
[startup+350.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 607 0 0 0 34876 128 0 0 25 0 1 0 851115121 8118272 581 4294967295 134512640 134581267 3221224576 3221223440 134528321 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1982 581 566 18 0 1964 0
vsize: 7928
[startup+360.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 607 0 0 0 35874 131 0 0 25 0 1 0 851115121 8118272 581 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1982 581 566 18 0 1964 0
vsize: 7928
[startup+370.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 607 0 0 0 36871 133 0 0 25 0 1 0 851115121 8118272 581 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1982 581 566 18 0 1964 0
vsize: 7928
[startup+380.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 607 0 0 0 37868 137 0 0 25 0 1 0 851115121 8114176 581 4294967295 134512640 134581267 3221224576 3221223456 134520222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1981 581 566 18 0 1963 0
vsize: 7924
[startup+390.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 611 0 0 0 38864 141 0 0 25 0 1 0 851115121 8105984 585 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1979 585 566 18 0 1961 0
vsize: 7916
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 611 0 0 0 39862 143 0 0 25 0 1 0 851115121 8105984 585 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1979 585 566 18 0 1961 0
vsize: 7916
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 611 0 0 0 40859 147 0 0 25 0 1 0 851115121 8105984 585 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1979 585 566 18 0 1961 0
vsize: 7916
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 611 0 0 0 41856 150 0 0 25 0 1 0 851115121 8105984 585 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1979 585 566 18 0 1961 0
vsize: 7916
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 611 0 0 0 42853 152 0 0 25 0 1 0 851115121 8105984 585 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1979 585 566 18 0 1961 0
vsize: 7916
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 611 0 0 0 43852 154 0 0 25 0 1 0 851115121 8105984 585 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1979 585 566 18 0 1961 0
vsize: 7916
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 611 0 0 0 44849 157 0 0 25 0 1 0 851115121 8105984 585 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1979 585 566 18 0 1961 0
vsize: 7916
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 611 0 0 0 45846 160 0 0 25 0 1 0 851115121 8105984 585 4294967295 134512640 134581267 3221224576 3221223440 134528173 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1979 585 566 18 0 1961 0
vsize: 7916
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 612 0 0 0 46843 164 0 0 25 0 1 0 851115121 8105984 586 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1979 586 566 18 0 1961 0
vsize: 7916
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 612 0 0 0 47841 166 0 0 25 0 1 0 851115121 8105984 586 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1979 586 566 18 0 1961 0
vsize: 7916
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 614 0 0 0 48838 169 0 0 25 0 1 0 851115121 8105984 588 4294967295 134512640 134581267 3221224576 3221223440 134560172 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1979 588 566 18 0 1961 0
vsize: 7916
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 614 0 0 0 49836 172 0 0 25 0 1 0 851115121 8105984 588 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1979 588 566 18 0 1961 0
vsize: 7916
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 624 0 0 0 50832 175 0 0 25 0 1 0 851115121 8237056 598 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 598 566 18 0 1993 0
vsize: 8044
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 624 0 0 0 51829 178 0 0 25 0 1 0 851115121 8237056 598 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 598 566 18 0 1993 0
vsize: 8044
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 626 0 0 0 52826 182 0 0 25 0 1 0 851115121 8237056 600 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 600 566 18 0 1993 0
vsize: 8044
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 627 0 0 0 53822 186 0 0 25 0 1 0 851115121 8237056 601 4294967295 134512640 134581267 3221224576 3221223552 134561057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 601 566 18 0 1993 0
vsize: 8044
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 629 0 0 0 54820 188 0 0 25 0 1 0 851115121 8237056 603 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 603 566 18 0 1993 0
vsize: 8044
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 629 0 0 0 55816 192 0 0 25 0 1 0 851115121 8237056 603 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 603 566 18 0 1993 0
vsize: 8044
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 629 0 0 0 56813 195 0 0 25 0 1 0 851115121 8237056 603 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 603 566 18 0 1993 0
vsize: 8044
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 629 0 0 0 57811 198 0 0 25 0 1 0 851115121 8237056 603 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 603 566 18 0 1993 0
vsize: 8044
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 629 0 0 0 58809 200 0 0 25 0 1 0 851115121 8237056 603 4294967295 134512640 134581267 3221224576 3221223520 134559417 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 603 566 18 0 1993 0
vsize: 8044
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 629 0 0 0 59806 203 0 0 25 0 1 0 851115121 8237056 603 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 603 566 18 0 1993 0
vsize: 8044
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 633 0 0 0 60804 206 0 0 25 0 1 0 851115121 8237056 607 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 633 0 0 0 61800 210 0 0 25 0 1 0 851115121 8237056 607 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 633 0 0 0 62797 213 0 0 25 0 1 0 851115121 8237056 607 4294967295 134512640 134581267 3221224576 3221223484 134527740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 633 0 0 0 63793 217 0 0 25 0 1 0 851115121 8237056 607 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 633 0 0 0 64790 220 0 0 25 0 1 0 851115121 8237056 607 4294967295 134512640 134581267 3221224576 3221223472 134517931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 633 0 0 0 65788 223 0 0 25 0 1 0 851115121 8237056 607 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 633 0 0 0 66785 226 0 0 25 0 1 0 851115121 8237056 607 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 633 0 0 0 67782 229 0 0 25 0 1 0 851115121 8237056 607 4294967295 134512640 134581267 3221224576 3221223520 134558806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 633 0 0 0 68779 232 0 0 25 0 1 0 851115121 8237056 607 4294967295 134512640 134581267 3221224576 3221223520 134559203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 633 0 0 0 69775 236 0 0 25 0 1 0 851115121 8237056 607 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 633 0 0 0 70772 239 0 0 25 0 1 0 851115121 8237056 607 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 633 0 0 0 71769 243 0 0 25 0 1 0 851115121 8237056 607 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 633 0 0 0 72766 246 0 0 25 0 1 0 851115121 8237056 607 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 607 566 18 0 1993 0
vsize: 8044
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 635 0 0 0 73762 250 0 0 25 0 1 0 851115121 8237056 609 4294967295 134512640 134581267 3221224576 3221223520 134559333 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 609 566 18 0 1993 0
vsize: 8044
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 635 0 0 0 74758 254 0 0 25 0 1 0 851115121 8237056 609 4294967295 134512640 134581267 3221224576 3221223568 134561078 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 609 566 18 0 1993 0
vsize: 8044
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 635 0 0 0 75754 258 0 0 25 0 1 0 851115121 8237056 609 4294967295 134512640 134581267 3221224576 3221223456 134520448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 609 566 18 0 1993 0
vsize: 8044
[startup+770.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 635 0 0 0 76751 262 0 0 25 0 1 0 851115121 8237056 609 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 609 566 18 0 1993 0
vsize: 8044
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 635 0 0 0 77747 266 0 0 25 0 1 0 851115121 8237056 609 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 609 566 18 0 1993 0
vsize: 8044
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 645 0 0 0 78743 270 0 0 25 0 1 0 851115121 8237056 619 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 619 566 18 0 1993 0
vsize: 8044
[startup+800.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 646 0 0 0 79739 275 0 0 25 0 1 0 851115121 8237056 620 4294967295 134512640 134581267 3221224576 3221223520 134558784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 620 566 18 0 1993 0
vsize: 8044
[startup+810.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 653 0 0 0 80735 278 0 0 25 0 1 0 851115121 8237056 627 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 627 566 18 0 1993 0
vsize: 8044
[startup+820.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 653 0 0 0 81732 281 0 0 25 0 1 0 851115121 8237056 627 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 627 566 18 0 1993 0
vsize: 8044
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 653 0 0 0 82729 285 0 0 25 0 1 0 851115121 8237056 627 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2011 627 566 18 0 1993 0
vsize: 8044
[startup+840.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 656 0 0 0 83725 289 0 0 25 0 1 0 851115121 8331264 630 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2034 630 566 18 0 2016 0
vsize: 8136
[startup+850.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 656 0 0 0 84723 291 0 0 25 0 1 0 851115121 8323072 630 4294967295 134512640 134581267 3221224576 3221223520 134558912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 630 566 18 0 2014 0
vsize: 8128
[startup+860.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 656 0 0 0 85719 295 0 0 25 0 1 0 851115121 8323072 630 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 630 566 18 0 2014 0
vsize: 8128
[startup+870.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 658 0 0 0 86716 299 0 0 25 0 1 0 851115121 8323072 632 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 632 566 18 0 2014 0
vsize: 8128
[startup+880.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 658 0 0 0 87711 303 0 0 25 0 1 0 851115121 8323072 632 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 632 566 18 0 2014 0
vsize: 8128
[startup+890.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 658 0 0 0 88708 307 0 0 25 0 1 0 851115121 8323072 632 4294967295 134512640 134581267 3221224576 3221223440 134528238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 632 566 18 0 2014 0
vsize: 8128
[startup+900.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 658 0 0 0 89705 310 0 0 25 0 1 0 851115121 8323072 632 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 632 566 18 0 2014 0
vsize: 8128
[startup+910.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 658 0 0 0 90702 313 0 0 25 0 1 0 851115121 8323072 632 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 632 566 18 0 2014 0
vsize: 8128
[startup+920.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 661 0 0 0 91698 317 0 0 25 0 1 0 851115121 8323072 635 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 635 566 18 0 2014 0
vsize: 8128
[startup+930.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 661 0 0 0 92695 321 0 0 25 0 1 0 851115121 8323072 635 4294967295 134512640 134581267 3221224576 3221223440 134528321 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 635 566 18 0 2014 0
vsize: 8128
[startup+940.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 661 0 0 0 93691 324 0 0 25 0 1 0 851115121 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+950.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 661 0 0 0 94688 328 0 0 25 0 1 0 851115121 8323072 635 4294967295 134512640 134581267 3221224576 3221223440 134528299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 635 566 18 0 2014 0
vsize: 8128
[startup+960.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 661 0 0 0 95684 332 0 0 25 0 1 0 851115121 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+970.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 661 0 0 0 96681 335 0 0 25 0 1 0 851115121 8323072 635 4294967295 134512640 134581267 3221224576 3221223488 134527955 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 635 566 18 0 2014 0
vsize: 8128
[startup+980.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 661 0 0 0 97679 338 0 0 25 0 1 0 851115121 8323072 635 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 635 566 18 0 2014 0
vsize: 8128
[startup+990.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 661 0 0 0 98677 340 0 0 25 0 1 0 851115121 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+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 661 0 0 0 99673 344 0 0 25 0 1 0 851115121 8323072 635 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 635 566 18 0 2014 0
vsize: 8128
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 661 0 0 0 100670 347 0 0 25 0 1 0 851115121 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+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 661 0 0 0 101668 349 0 0 25 0 1 0 851115121 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+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 661 0 0 0 102664 353 0 0 25 0 1 0 851115121 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+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 661 0 0 0 103660 357 0 0 25 0 1 0 851115121 8323072 635 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2032 635 566 18 0 2014 0
vsize: 8128
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 661 0 0 0 104657 361 0 0 25 0 1 0 851115121 8323072 635 4294967295 134512640 134581267 3221224576 3221223504 134519928 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 663 0 0 0 105654 364 0 0 25 0 1 0 851115121 8323072 637 4294967295 134512640 134581267 3221224576 3221223504 134519928 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 663 0 0 0 106651 366 0 0 25 0 1 0 851115121 8323072 637 4294967295 134512640 134581267 3221224576 3221223440 134528304 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 663 0 0 0 107649 369 0 0 25 0 1 0 851115121 8323072 637 4294967295 134512640 134581267 3221224576 3221223440 134528299 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 663 0 0 0 108645 373 0 0 25 0 1 0 851115121 8323072 637 4294967295 134512640 134581267 3221224576 3221223520 134559434 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 663 0 0 0 109643 376 0 0 25 0 1 0 851115121 8323072 637 4294967295 134512640 134581267 3221224576 3221223352 1075291632 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 663 0 0 0 110639 380 0 0 25 0 1 0 851115121 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 663 0 0 0 111636 383 0 0 25 0 1 0 851115121 8323072 637 4294967295 134512640 134581267 3221224576 3221223472 134517512 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 663 0 0 0 112633 386 0 0 25 0 1 0 851115121 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+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 667 0 0 0 113630 389 0 0 25 0 1 0 851115121 8323072 641 4294967295 134512640 134581267 3221224576 3221223476 1075289605 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 667 0 0 0 114628 391 0 0 25 0 1 0 851115121 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 667 0 0 0 115625 394 0 0 25 0 1 0 851115121 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+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 687 0 0 0 116623 397 0 0 25 0 1 0 851115121 8437760 661 4294967295 134512640 134581267 3221224576 3221223440 134528343 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 687 0 0 0 117620 400 0 0 25 0 1 0 851115121 8433664 661 4294967295 134512640 134581267 3221224576 3221223440 134528291 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.82 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 25479
Raw data (stat): 25479 (Pueblo-v2) R 25478 31399 31398 0 -1 0 687 0 0 0 117620 400 0 0 25 0 1 0 851115121 8433664 661 4294967295 134512640 134581267 3221224576 3221223440 134528291 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.82
CPU time (s): 1189.01
CPU user time (s): 1184.96
CPU system time (s): 4.05138
CPU usage (%): 100.017
Max. virtual memory (Kb): 8240
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	602
#### END VERIFIER DATA ####