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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb
MD5SUM	84d0b0ba659c599a6c66454cd956a06b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-30
Optimality of the best value was proved	NO
Number of terms in the objective function	450
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	450
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	450
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04684
Number of variables	450
Total number of constraints	17827
Number of constraints which are clauses	17827
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 38518

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-02 11:42:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26584 boxname=wulflinc2 idbench=314 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  84d0b0ba659c599a6c66454cd956a06b  /oldhome/oroussel/tmp/wulflinc2/normalized-frb30-15-1.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-frb30-15-1.opb
IDLAUNCH: 26584
/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:        690436 kB
Buffers:         33936 kB
Cached:         288200 kB
SwapCached:       1136 kB
Active:          54428 kB
Inactive:       270172 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        690156 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            13944 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 12:02:21 (client local time) WITH STATUS 10 IN 1189.05 SECONDS
stats: 26584 0 1189.05 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-frb30-15-1.opb
c #variables read: 450 - #constraints read: 17828
s SATISFIABLE
v -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 C286 -C285 -C284 C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 -C30 -C29 -C28 -C27 -C26 -C25 -C24 -C23 -C22 C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 -C11 -C10 -C9 -C8 -C7 -C6 -C5 C4 -C3 -C2 -C1 
#### 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.87 0.94 0.90 1/54 22124
Raw data (stat): 22124 (runsolver) R 22123 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849516404 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.89 0.94 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 4694 0 0 0 987 11 0 0 25 0 1 0 849516404 25030656 4668 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6111 4668 566 18 0 6093 0
vsize: 24444
[startup+20.0011 s]
Raw data (loadavg): 0.91 0.94 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 7267 0 0 0 1981 17 0 0 25 0 1 0 849516404 35586048 7241 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8688 7241 566 18 0 8670 0
vsize: 34752
[startup+30.0011 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 7644 0 0 0 2980 18 0 0 25 0 1 0 849516404 37158912 7618 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9072 7618 566 18 0 9054 0
vsize: 36288
[startup+40.0011 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 8468 0 0 0 3977 22 0 0 25 0 1 0 849516404 40677376 8442 4294967295 134512640 134581267 3221224592 3221223456 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9931 8442 566 18 0 9913 0
vsize: 39724
[startup+50.0011 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 8475 0 0 0 4974 25 0 0 25 0 1 0 849516404 40677376 8449 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9931 8449 566 18 0 9913 0
vsize: 39724
[startup+60.0012 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 9239 0 0 0 5971 28 0 0 25 0 1 0 849516404 43933696 9213 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10726 9213 566 18 0 10708 0
vsize: 42904
[startup+70.0018 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 10077 0 0 0 6967 32 0 0 25 0 1 0 849516404 47341568 10051 4294967295 134512640 134581267 3221224592 3221223488 134517512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11558 10051 566 18 0 11540 0
vsize: 46232
[startup+80.0022 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 10210 0 0 0 7966 34 0 0 25 0 1 0 849516404 47865856 10184 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11686 10184 566 18 0 11668 0
vsize: 46744
[startup+90.0023 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 10210 0 0 0 8965 34 0 0 25 0 1 0 849516404 47865856 10184 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11686 10184 566 18 0 11668 0
vsize: 46744
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 10210 0 0 0 9965 35 0 0 25 0 1 0 849516404 47865856 10184 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11686 10184 566 18 0 11668 0
vsize: 46744
[startup+110.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 10896 0 0 0 10963 37 0 0 25 0 1 0 849516404 50782208 10870 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12398 10870 566 18 0 12380 0
vsize: 49592
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 11135 0 0 0 11962 38 0 0 25 0 1 0 849516404 51699712 11109 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12622 11109 566 18 0 12604 0
vsize: 50488
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 11184 0 0 0 12960 40 0 0 25 0 1 0 849516404 51830784 11158 4294967295 134512640 134581267 3221224592 3221223552 134516716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12654 11158 566 18 0 12636 0
vsize: 50616
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 11184 0 0 0 13959 41 0 0 25 0 1 0 849516404 51830784 11158 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12654 11158 566 18 0 12636 0
vsize: 50616
[startup+150.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 11184 0 0 0 14959 42 0 0 25 0 1 0 849516404 51830784 11158 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12654 11158 566 18 0 12636 0
vsize: 50616
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 12317 0 0 0 15956 45 0 0 25 0 1 0 849516404 56598528 12291 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13818 12291 566 18 0 13800 0
vsize: 55272
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 12317 0 0 0 16953 48 0 0 25 0 1 0 849516404 56598528 12291 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13818 12291 566 18 0 13800 0
vsize: 55272
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 12366 0 0 0 17953 48 0 0 25 0 1 0 849516404 56729600 12340 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13850 12340 566 18 0 13832 0
vsize: 55400
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 12366 0 0 0 18952 49 0 0 25 0 1 0 849516404 56729600 12340 4294967295 134512640 134581267 3221224592 3221223584 134561043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13850 12340 566 18 0 13832 0
vsize: 55400
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 12366 0 0 0 19952 50 0 0 25 0 1 0 849516404 56729600 12340 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13850 12340 566 18 0 13832 0
vsize: 55400
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 12447 0 0 0 20951 51 0 0 25 0 1 0 849516404 57122816 12421 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13946 12421 566 18 0 13928 0
vsize: 55784
[startup+220.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 12447 0 0 0 21950 52 0 0 25 0 1 0 849516404 57122816 12421 4294967295 134512640 134581267 3221224592 3221223536 134558889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13946 12421 566 18 0 13928 0
vsize: 55784
[startup+230.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 12447 0 0 0 22949 53 0 0 25 0 1 0 849516404 57122816 12421 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13946 12421 566 18 0 13928 0
vsize: 55784
[startup+240.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 12472 0 0 0 23949 54 0 0 25 0 1 0 849516404 57122816 12446 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13946 12446 566 18 0 13928 0
vsize: 55784
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 12472 0 0 0 24947 56 0 0 25 0 1 0 849516404 57122816 12446 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13946 12446 566 18 0 13928 0
vsize: 55784
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 12485 0 0 0 25946 57 0 0 25 0 1 0 849516404 57253888 12459 4294967295 134512640 134581267 3221224592 3221223536 134559432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13978 12459 566 18 0 13960 0
vsize: 55912
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 12485 0 0 0 26945 58 0 0 25 0 1 0 849516404 57253888 12459 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13978 12459 566 18 0 13960 0
vsize: 55912
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 12512 0 0 0 27944 59 0 0 25 0 1 0 849516404 57384960 12486 4294967295 134512640 134581267 3221224592 3221223552 134516747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14010 12486 566 18 0 13992 0
vsize: 56040
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 12512 0 0 0 28944 60 0 0 25 0 1 0 849516404 57384960 12486 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14010 12486 566 18 0 13992 0
vsize: 56040
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 12512 0 0 0 29943 60 0 0 25 0 1 0 849516404 57384960 12486 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14010 12486 566 18 0 13992 0
vsize: 56040
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 12513 0 0 0 30943 61 0 0 25 0 1 0 849516404 57384960 12487 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14010 12487 566 18 0 13992 0
vsize: 56040
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 12513 0 0 0 31943 61 0 0 25 0 1 0 849516404 57384960 12487 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14010 12487 566 18 0 13992 0
vsize: 56040
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 12516 0 0 0 32944 61 0 0 25 0 1 0 849516404 57384960 12490 4294967295 134512640 134581267 3221224592 3221223520 134519996 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14010 12490 566 18 0 13992 0
vsize: 56040
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 12518 0 0 0 33944 61 0 0 25 0 1 0 849516404 57384960 12492 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14010 12492 566 18 0 13992 0
vsize: 56040
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 12518 0 0 0 34944 61 0 0 25 0 1 0 849516404 57384960 12492 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14010 12492 566 18 0 13992 0
vsize: 56040
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 13098 0 0 0 35942 63 0 0 25 0 1 0 849516404 59777024 13072 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14594 13072 566 18 0 14576 0
vsize: 58376
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 13699 0 0 0 36940 65 0 0 25 0 1 0 849516404 62136320 13673 4294967295 134512640 134581267 3221224592 3221223552 134519781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15170 13673 566 18 0 15152 0
vsize: 60680
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 13699 0 0 0 37939 66 0 0 25 0 1 0 849516404 62136320 13673 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15170 13673 566 18 0 15152 0
vsize: 60680
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 13723 0 0 0 38938 67 0 0 25 0 1 0 849516404 62267392 13697 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15202 13697 566 18 0 15184 0
vsize: 60808
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 13723 0 0 0 39938 67 0 0 25 0 1 0 849516404 62267392 13697 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15202 13697 566 18 0 15184 0
vsize: 60808
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 13723 0 0 0 40938 67 0 0 25 0 1 0 849516404 62267392 13697 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15202 13697 566 18 0 15184 0
vsize: 60808
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 13723 0 0 0 41938 67 0 0 25 0 1 0 849516404 62267392 13697 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15202 13697 566 18 0 15184 0
vsize: 60808
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 13723 0 0 0 42938 68 0 0 25 0 1 0 849516404 62267392 13697 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15202 13697 566 18 0 15184 0
vsize: 60808
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 13723 0 0 0 43938 68 0 0 25 0 1 0 849516404 62267392 13697 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15202 13697 566 18 0 15184 0
vsize: 60808
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 13723 0 0 0 44936 70 0 0 25 0 1 0 849516404 62267392 13697 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15202 13697 566 18 0 15184 0
vsize: 60808
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 13741 0 0 0 45935 71 0 0 25 0 1 0 849516404 62398464 13715 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15234 13715 566 18 0 15216 0
vsize: 60936
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 13741 0 0 0 46934 73 0 0 25 0 1 0 849516404 62398464 13715 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15234 13715 566 18 0 15216 0
vsize: 60936
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 13742 0 0 0 47933 74 0 0 25 0 1 0 849516404 62398464 13716 4294967295 134512640 134581267 3221224592 3221223524 1075289840 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15234 13716 566 18 0 15216 0
vsize: 60936
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 13749 0 0 0 48933 74 0 0 25 0 1 0 849516404 62398464 13723 4294967295 134512640 134581267 3221224592 3221223488 134517846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15234 13723 566 18 0 15216 0
vsize: 60936
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 13885 0 0 0 49933 75 0 0 25 0 1 0 849516404 63037440 13859 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15390 13859 566 18 0 15372 0
vsize: 61560
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 14551 0 0 0 50931 76 0 0 25 0 1 0 849516404 65896448 14525 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16088 14525 566 18 0 16070 0
vsize: 64352
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 15000 0 0 0 51930 78 0 0 25 0 1 0 849516404 67661824 14974 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16519 14974 566 18 0 16501 0
vsize: 66076
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 15000 0 0 0 52929 79 0 0 25 0 1 0 849516404 67661824 14974 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16519 14974 566 18 0 16501 0
vsize: 66076
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 15000 0 0 0 53929 80 0 0 25 0 1 0 849516404 67661824 14974 4294967295 134512640 134581267 3221224592 3221223552 134519781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16519 14974 566 18 0 16501 0
vsize: 66076
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 15000 0 0 0 54928 80 0 0 25 0 1 0 849516404 67661824 14974 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16519 14974 566 18 0 16501 0
vsize: 66076
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 15000 0 0 0 55928 81 0 0 25 0 1 0 849516404 67661824 14974 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16519 14974 566 18 0 16501 0
vsize: 66076
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 15000 0 0 0 56928 81 0 0 25 0 1 0 849516404 67661824 14974 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16519 14974 566 18 0 16501 0
vsize: 66076
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 15014 0 0 0 57927 82 0 0 25 0 1 0 849516404 67792896 14988 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16551 14988 566 18 0 16533 0
vsize: 66204
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 15014 0 0 0 58927 83 0 0 25 0 1 0 849516404 67792896 14988 4294967295 134512640 134581267 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16551 14988 566 18 0 16533 0
vsize: 66204
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 15014 0 0 0 59925 85 0 0 25 0 1 0 849516404 67792896 14988 4294967295 134512640 134581267 3221224592 3221223584 134561093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16551 14988 566 18 0 16533 0
vsize: 66204
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 15014 0 0 0 60924 86 0 0 25 0 1 0 849516404 67792896 14988 4294967295 134512640 134581267 3221224592 3221223488 134517940 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16551 14988 566 18 0 16533 0
vsize: 66204
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 15089 0 0 0 61923 87 0 0 25 0 1 0 849516404 68055040 15063 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16615 15063 566 18 0 16597 0
vsize: 66460
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 15089 0 0 0 62922 87 0 0 25 0 1 0 849516404 68055040 15063 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16615 15063 566 18 0 16597 0
vsize: 66460
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 15089 0 0 0 63922 88 0 0 25 0 1 0 849516404 68055040 15063 4294967295 134512640 134581267 3221224592 3221223488 134517818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16615 15063 566 18 0 16597 0
vsize: 66460
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 15089 0 0 0 64921 89 0 0 25 0 1 0 849516404 68055040 15063 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16615 15063 566 18 0 16597 0
vsize: 66460
[startup+660.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 15089 0 0 0 65921 90 0 0 25 0 1 0 849516404 68055040 15063 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16615 15063 566 18 0 16597 0
vsize: 66460
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 15158 0 0 0 66920 90 0 0 25 0 1 0 849516404 68317184 15132 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16679 15132 566 18 0 16661 0
vsize: 66716
[startup+680.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 15158 0 0 0 67919 92 0 0 25 0 1 0 849516404 68317184 15132 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16679 15132 566 18 0 16661 0
vsize: 66716
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 15158 0 0 0 68918 93 0 0 25 0 1 0 849516404 68317184 15132 4294967295 134512640 134581267 3221224592 3221223504 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16679 15132 566 18 0 16661 0
vsize: 66716
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 15158 0 0 0 69918 94 0 0 25 0 1 0 849516404 68317184 15132 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16679 15132 566 18 0 16661 0
vsize: 66716
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 15158 0 0 0 70917 94 0 0 25 0 1 0 849516404 68317184 15132 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16679 15132 566 18 0 16661 0
vsize: 66716
[startup+720.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 15193 0 0 0 71917 95 0 0 25 0 1 0 849516404 68448256 15167 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16711 15167 566 18 0 16693 0
vsize: 66844
[startup+730.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 15193 0 0 0 72916 96 0 0 25 0 1 0 849516404 68448256 15167 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16711 15167 566 18 0 16693 0
vsize: 66844
[startup+740.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 15193 0 0 0 73915 97 0 0 25 0 1 0 849516404 68448256 15167 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16711 15167 566 18 0 16693 0
vsize: 66844
[startup+750.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 15193 0 0 0 74914 98 0 0 25 0 1 0 849516404 68448256 15167 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16711 15167 566 18 0 16693 0
vsize: 66844
[startup+760.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16107 0 0 0 75912 100 0 0 25 0 1 0 849516404 72249344 16081 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17639 16081 566 18 0 17621 0
vsize: 70556
[startup+770.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16553 0 0 0 76911 101 0 0 25 0 1 0 849516404 74215424 16527 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18119 16527 566 18 0 18101 0
vsize: 72476
[startup+780.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16553 0 0 0 77910 103 0 0 25 0 1 0 849516404 74215424 16527 4294967295 134512640 134581267 3221224592 3221223488 134517743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18119 16527 566 18 0 18101 0
vsize: 72476
[startup+790.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16553 0 0 0 78909 104 0 0 25 0 1 0 849516404 74215424 16527 4294967295 134512640 134581267 3221224592 3221223456 134528393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18119 16527 566 18 0 18101 0
vsize: 72476
[startup+800.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16553 0 0 0 79907 105 0 0 25 0 1 0 849516404 74215424 16527 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18119 16527 566 18 0 18101 0
vsize: 72476
[startup+810.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16590 0 0 0 80907 106 0 0 25 0 1 0 849516404 74346496 16564 4294967295 134512640 134581267 3221224592 3221223536 134558858 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18151 16564 566 18 0 18133 0
vsize: 72604
[startup+820.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16590 0 0 0 81905 108 0 0 25 0 1 0 849516404 74346496 16564 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18151 16564 566 18 0 18133 0
vsize: 72604
[startup+830.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16590 0 0 0 82905 108 0 0 25 0 1 0 849516404 74346496 16564 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18151 16564 566 18 0 18133 0
vsize: 72604
[startup+840.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16590 0 0 0 83905 109 0 0 25 0 1 0 849516404 74346496 16564 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18151 16564 566 18 0 18133 0
vsize: 72604
[startup+850.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16597 0 0 0 84905 109 0 0 25 0 1 0 849516404 74346496 16571 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18151 16571 566 18 0 18133 0
vsize: 72604
[startup+860.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16597 0 0 0 85904 110 0 0 25 0 1 0 849516404 74346496 16571 4294967295 134512640 134581267 3221224592 3221223584 134561106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18151 16571 566 18 0 18133 0
vsize: 72604
[startup+870.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16620 0 0 0 86903 111 0 0 25 0 1 0 849516404 74477568 16594 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18183 16594 566 18 0 18165 0
vsize: 72732
[startup+880.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16620 0 0 0 87902 112 0 0 25 0 1 0 849516404 74477568 16594 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18183 16594 566 18 0 18165 0
vsize: 72732
[startup+890.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16620 0 0 0 88900 115 0 0 25 0 1 0 849516404 74477568 16594 4294967295 134512640 134581267 3221224592 3221223488 134517533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18183 16594 566 18 0 18165 0
vsize: 72732
[startup+900.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16620 0 0 0 89899 116 0 0 25 0 1 0 849516404 74477568 16594 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18183 16594 566 18 0 18165 0
vsize: 72732
[startup+910.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16638 0 0 0 90898 117 0 0 25 0 1 0 849516404 74477568 16612 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18183 16612 566 18 0 18165 0
vsize: 72732
[startup+920.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16638 0 0 0 91898 117 0 0 25 0 1 0 849516404 74477568 16612 4294967295 134512640 134581267 3221224592 3221223456 134528326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18183 16612 566 18 0 18165 0
vsize: 72732
[startup+930.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16638 0 0 0 92897 118 0 0 25 0 1 0 849516404 74477568 16612 4294967295 134512640 134581267 3221224592 3221223488 134517838 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18183 16612 566 18 0 18165 0
vsize: 72732
[startup+940.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16638 0 0 0 93896 119 0 0 25 0 1 0 849516404 74477568 16612 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18183 16612 566 18 0 18165 0
vsize: 72732
[startup+950.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16638 0 0 0 94896 120 0 0 25 0 1 0 849516404 74477568 16612 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18183 16612 566 18 0 18165 0
vsize: 72732
[startup+960.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16671 0 0 0 95895 121 0 0 25 0 1 0 849516404 74608640 16645 4294967295 134512640 134581267 3221224592 3221223552 134516747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18215 16645 566 18 0 18197 0
vsize: 72860
[startup+970.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16671 0 0 0 96894 122 0 0 25 0 1 0 849516404 74608640 16645 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18215 16645 566 18 0 18197 0
vsize: 72860
[startup+980.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16671 0 0 0 97894 122 0 0 25 0 1 0 849516404 74608640 16645 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18215 16645 566 18 0 18197 0
vsize: 72860
[startup+990.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16671 0 0 0 98894 123 0 0 25 0 1 0 849516404 74608640 16645 4294967295 134512640 134581267 3221224592 3221223520 134519869 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18215 16645 566 18 0 18197 0
vsize: 72860
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16671 0 0 0 99893 124 0 0 25 0 1 0 849516404 74608640 16645 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18215 16645 566 18 0 18197 0
vsize: 72860
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16674 0 0 0 100892 124 0 0 25 0 1 0 849516404 74608640 16648 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18215 16648 566 18 0 18197 0
vsize: 72860
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16674 0 0 0 101892 126 0 0 25 0 1 0 849516404 74608640 16648 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18215 16648 566 18 0 18197 0
vsize: 72860
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16674 0 0 0 102891 126 0 0 25 0 1 0 849516404 74608640 16648 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18215 16648 566 18 0 18197 0
vsize: 72860
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16674 0 0 0 103891 127 0 0 25 0 1 0 849516404 74608640 16648 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18215 16648 566 18 0 18197 0
vsize: 72860
[startup+1050.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22124
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16674 0 0 0 104908 128 0 0 25 0 1 0 849516404 74608640 16648 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18215 16648 566 18 0 18197 0
vsize: 72860
[startup+1060.3 s]
Raw data (loadavg): 1.15 1.00 0.92 3/57 22173
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16674 0 0 0 105917 129 0 0 25 0 1 0 849516404 74608640 16648 4294967295 134512640 134581267 3221224592 3221223520 134519996 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18215 16648 566 18 0 18197 0
vsize: 72860
[startup+1070.3 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 22177
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16674 0 0 0 106917 129 0 0 25 0 1 0 849516404 74608640 16648 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18215 16648 566 18 0 18197 0
vsize: 72860
[startup+1080.3 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 22177
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16674 0 0 0 107916 130 0 0 25 0 1 0 849516404 74608640 16648 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18215 16648 566 18 0 18197 0
vsize: 72860
[startup+1090.3 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 22177
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16674 0 0 0 108916 131 0 0 25 0 1 0 849516404 74608640 16648 4294967295 134512640 134581267 3221224592 3221223488 134517512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18215 16648 566 18 0 18197 0
vsize: 72860
[startup+1100.3 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 22177
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16674 0 0 0 109915 132 0 0 25 0 1 0 849516404 74608640 16648 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18215 16648 566 18 0 18197 0
vsize: 72860
[startup+1110.3 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 22177
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 16674 0 0 0 110914 133 0 0 25 0 1 0 849516404 74608640 16648 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18215 16648 566 18 0 18197 0
vsize: 72860
[startup+1120.3 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 22177
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 17585 0 0 0 111911 136 0 0 25 0 1 0 849516404 78409728 17559 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19143 17559 566 18 0 19125 0
vsize: 76572
[startup+1130.3 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 22179
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 18139 0 0 0 112910 137 0 0 25 0 1 0 849516404 80637952 18113 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19687 18113 566 18 0 19669 0
vsize: 78748
[startup+1140.3 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 22179
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 18139 0 0 0 113909 138 0 0 25 0 1 0 849516404 80637952 18113 4294967295 134512640 134581267 3221224592 3221223520 134520043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19687 18113 566 18 0 19669 0
vsize: 78748
[startup+1150.3 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 22179
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 18139 0 0 0 114909 139 0 0 25 0 1 0 849516404 80637952 18113 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19687 18113 566 18 0 19669 0
vsize: 78748
[startup+1160.3 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 22179
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 18139 0 0 0 115908 140 0 0 25 0 1 0 849516404 80637952 18113 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19687 18113 566 18 0 19669 0
vsize: 78748
[startup+1170.3 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 22179
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 18139 0 0 0 116908 140 0 0 25 0 1 0 849516404 80637952 18113 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19687 18113 566 18 0 19669 0
vsize: 78748
[startup+1180.3 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 22179
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 18139 0 0 0 117907 141 0 0 25 0 1 0 849516404 80637952 18113 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19687 18113 566 18 0 19669 0
vsize: 78748
[startup+1188.86 s]
Raw data (loadavg): 1.02 1.00 0.92 1/53 22179
Raw data (stat): 22124 (Pueblo-v2) R 22123 31399 31398 0 -1 0 18139 0 0 0 117907 141 0 0 25 0 1 0 849516404 80637952 18113 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19687 18113 566 18 0 19669 0
vsize: 0

Child status: 10
Real time (s): 1188.86
CPU time (s): 1189.05
CPU user time (s): 1187.59
CPU system time (s): 1.46278
CPU usage (%): 100.016
Max. virtual memory (Kb): 78748
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-8
#### END VERIFIER DATA ####