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/frb35-17-opb/normalized-frb35-17-5.opb
MD5SUM	70070c820bc7d178cc8f33b42e0deead
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-28
Optimality of the best value was proved	NO
Number of terms in the objective function	595
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	595
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	595
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	595
Total number of constraints	28143
Number of constraints which are clauses	28143
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 38527

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-02 12:08:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26593 boxname=wulflinc6 idbench=323 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  70070c820bc7d178cc8f33b42e0deead  /oldhome/oroussel/tmp/wulflinc6/normalized-frb35-17-5.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-frb35-17-5.opb
IDLAUNCH: 26593
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        750724 kB
Buffers:         33496 kB
Cached:         229520 kB
SwapCached:        552 kB
Active:          56984 kB
Inactive:       208168 kB
HighTotal:      131008 kB
HighFree:        21000 kB
LowTotal:       903652 kB
LowFree:        729724 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13180 kB
Committed_AS:    63724 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 12:28:08 (client local time) WITH STATUS 10 IN 1189.06 SECONDS
stats: 26593 0 1189.06 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/wulflinc6/normalized-frb35-17-5.opb
c #variables read: 595 - #constraints read: 28144
s SATISFIABLE
v -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -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.93 0.98 0.93 2/54 16343
Raw data (stat): 16343 (runsolver) R 16342 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849666848 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.0011 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 3635 0 0 0 988 10 0 0 25 0 1 0 849666848 20533248 3609 4294967295 134512640 134581267 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5013 3610 566 18 0 4995 0
vsize: 20052
[startup+20.0012 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 6991 0 0 0 1980 19 0 0 25 0 1 0 849666848 34533376 6965 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8431 6965 566 18 0 8413 0
vsize: 33724
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 10287 0 0 0 2972 27 0 0 25 0 1 0 849666848 48041984 10261 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11729 10261 566 18 0 11711 0
vsize: 46916
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 12655 0 0 0 3966 33 0 0 25 0 1 0 849666848 57892864 12629 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14134 12629 566 18 0 14116 0
vsize: 56536
[startup+50.0029 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 13659 0 0 0 4963 37 0 0 25 0 1 0 849666848 61960192 13633 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15127 13633 566 18 0 15109 0
vsize: 60508
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 14550 0 0 0 5960 40 0 0 25 0 1 0 849666848 65654784 14524 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16029 14524 566 18 0 16011 0
vsize: 64116
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 16152 0 0 0 6957 44 0 0 25 0 1 0 849666848 72216576 16126 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17631 16126 566 18 0 17613 0
vsize: 70524
[startup+80.0051 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 16845 0 0 0 7955 46 0 0 25 0 1 0 849666848 75042816 16819 4294967295 134512640 134581267 3221224592 3221223456 134528246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18321 16819 566 18 0 18303 0
vsize: 73284
[startup+90.0049 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 16845 0 0 0 8954 47 0 0 25 0 1 0 849666848 75042816 16819 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18321 16819 566 18 0 18303 0
vsize: 73284
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 16845 0 0 0 9954 47 0 0 25 0 1 0 849666848 75042816 16819 4294967295 134512640 134581267 3221224592 3221223572 134561056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18321 16819 566 18 0 18303 0
vsize: 73284
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 16848 0 0 0 10954 48 0 0 25 0 1 0 849666848 75042816 16822 4294967295 134512640 134581267 3221224592 3221223228 1075288351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18321 16822 566 18 0 18303 0
vsize: 73284
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 16851 0 0 0 11954 48 0 0 25 0 1 0 849666848 75042816 16825 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18321 16825 566 18 0 18303 0
vsize: 73284
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 18213 0 0 0 12951 51 0 0 25 0 1 0 849666848 80687104 18187 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19699 18187 566 18 0 19681 0
vsize: 78796
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 20296 0 0 0 13946 57 0 0 25 0 1 0 849666848 89300992 20270 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21802 20270 566 18 0 21784 0
vsize: 87208
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 20296 0 0 0 14946 57 0 0 25 0 1 0 849666848 89300992 20270 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21802 20270 566 18 0 21784 0
vsize: 87208
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 20298 0 0 0 15946 58 0 0 25 0 1 0 849666848 89300992 20272 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21802 20272 566 18 0 21784 0
vsize: 87208
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 20298 0 0 0 16945 59 0 0 25 0 1 0 849666848 89300992 20272 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21802 20272 566 18 0 21784 0
vsize: 87208
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 20298 0 0 0 17945 59 0 0 25 0 1 0 849666848 89300992 20272 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21802 20272 566 18 0 21784 0
vsize: 87208
[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 20298 0 0 0 18946 59 0 0 25 0 1 0 849666848 89300992 20272 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21802 20272 566 18 0 21784 0
vsize: 87208
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 20298 0 0 0 19944 61 0 0 25 0 1 0 849666848 89300992 20272 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21802 20272 566 18 0 21784 0
vsize: 87208
[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 22368 0 0 0 20940 65 0 0 25 0 1 0 849666848 97832960 22342 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23885 22342 566 18 0 23867 0
vsize: 95540
[startup+220.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 22368 0 0 0 21940 66 0 0 25 0 1 0 849666848 97832960 22342 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23885 22342 566 18 0 23867 0
vsize: 95540
[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 22368 0 0 0 22939 67 0 0 25 0 1 0 849666848 97832960 22342 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23885 22342 566 18 0 23867 0
vsize: 95540
[startup+240.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 22368 0 0 0 23939 68 0 0 25 0 1 0 849666848 97832960 22342 4294967295 134512640 134581267 3221224592 3221223520 134519960 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23885 22342 566 18 0 23867 0
vsize: 95540
[startup+250.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 22368 0 0 0 24939 69 0 0 25 0 1 0 849666848 97832960 22342 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23885 22342 566 18 0 23867 0
vsize: 95540
[startup+260.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 22372 0 0 0 25939 69 0 0 25 0 1 0 849666848 97832960 22346 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23885 22346 566 18 0 23867 0
vsize: 95540
[startup+270.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 22373 0 0 0 26939 70 0 0 25 0 1 0 849666848 97832960 22347 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23885 22347 566 18 0 23867 0
vsize: 95540
[startup+280.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 22373 0 0 0 27938 71 0 0 25 0 1 0 849666848 97832960 22347 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23885 22347 566 18 0 23867 0
vsize: 95540
[startup+290.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 23494 0 0 0 28935 74 0 0 25 0 1 0 849666848 102416384 23468 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25004 23468 566 18 0 24986 0
vsize: 100016
[startup+300.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24588 0 0 0 29933 77 0 0 25 0 1 0 849666848 106897408 24562 4294967295 134512640 134581267 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26098 24562 566 18 0 26080 0
vsize: 104392
[startup+310.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24588 0 0 0 30933 77 0 0 25 0 1 0 849666848 106897408 24562 4294967295 134512640 134581267 3221224592 3221223288 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26098 24562 566 18 0 26080 0
vsize: 104392
[startup+320.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24588 0 0 0 31933 78 0 0 25 0 1 0 849666848 106897408 24562 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26098 24562 566 18 0 26080 0
vsize: 104392
[startup+330.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24590 0 0 0 32932 78 0 0 25 0 1 0 849666848 106897408 24564 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26098 24564 566 18 0 26080 0
vsize: 104392
[startup+340.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24593 0 0 0 33932 79 0 0 25 0 1 0 849666848 106897408 24567 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26098 24567 566 18 0 26080 0
vsize: 104392
[startup+350.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24595 0 0 0 34933 79 0 0 25 0 1 0 849666848 106897408 24569 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26098 24569 566 18 0 26080 0
vsize: 104392
[startup+360.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24598 0 0 0 35932 80 0 0 25 0 1 0 849666848 106897408 24572 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26098 24572 566 18 0 26080 0
vsize: 104392
[startup+370.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24598 0 0 0 36932 80 0 0 25 0 1 0 849666848 106897408 24572 4294967295 134512640 134581267 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26098 24572 566 18 0 26080 0
vsize: 104392
[startup+380.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24598 0 0 0 37932 80 0 0 25 0 1 0 849666848 106897408 24572 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26098 24572 566 18 0 26080 0
vsize: 104392
[startup+390.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24598 0 0 0 38932 81 0 0 25 0 1 0 849666848 106897408 24572 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26098 24572 566 18 0 26080 0
vsize: 104392
[startup+400.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24598 0 0 0 39933 81 0 0 25 0 1 0 849666848 106897408 24572 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26098 24572 566 18 0 26080 0
vsize: 104392
[startup+410.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24657 0 0 0 40932 82 0 0 25 0 1 0 849666848 107220992 24631 4294967295 134512640 134581267 3221224592 3221223504 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26177 24631 566 18 0 26159 0
vsize: 104708
[startup+420.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24658 0 0 0 41932 82 0 0 25 0 1 0 849666848 107220992 24632 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26177 24632 566 18 0 26159 0
vsize: 104708
[startup+430.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24659 0 0 0 42932 82 0 0 25 0 1 0 849666848 107220992 24633 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26177 24633 566 18 0 26159 0
vsize: 104708
[startup+440.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24659 0 0 0 43933 82 0 0 25 0 1 0 849666848 107220992 24633 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26177 24633 566 18 0 26159 0
vsize: 104708
[startup+450.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24659 0 0 0 44933 83 0 0 25 0 1 0 849666848 107220992 24633 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26177 24633 566 18 0 26159 0
vsize: 104708
[startup+460.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24660 0 0 0 45933 83 0 0 25 0 1 0 849666848 107220992 24634 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26177 24634 566 18 0 26159 0
vsize: 104708
[startup+470.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24663 0 0 0 46934 83 0 0 25 0 1 0 849666848 107220992 24637 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26177 24637 566 18 0 26159 0
vsize: 104708
[startup+480.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24664 0 0 0 47934 83 0 0 25 0 1 0 849666848 107220992 24638 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26177 24638 566 18 0 26159 0
vsize: 104708
[startup+490.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24668 0 0 0 48934 83 0 0 25 0 1 0 849666848 107220992 24642 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26177 24642 566 18 0 26159 0
vsize: 104708
[startup+500.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24674 0 0 0 49934 83 0 0 25 0 1 0 849666848 107220992 24648 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26177 24648 566 18 0 26159 0
vsize: 104708
[startup+510.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24678 0 0 0 50934 84 0 0 25 0 1 0 849666848 107220992 24652 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26177 24652 566 18 0 26159 0
vsize: 104708
[startup+520.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24678 0 0 0 51934 84 0 0 25 0 1 0 849666848 107220992 24652 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26177 24652 566 18 0 26159 0
vsize: 104708
[startup+530.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24678 0 0 0 52933 86 0 0 25 0 1 0 849666848 107220992 24652 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26177 24652 566 18 0 26159 0
vsize: 104708
[startup+540.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24678 0 0 0 53933 86 0 0 25 0 1 0 849666848 107220992 24652 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26177 24652 566 18 0 26159 0
vsize: 104708
[startup+550.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 24678 0 0 0 54933 87 0 0 25 0 1 0 849666848 107220992 24652 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26177 24652 566 18 0 26159 0
vsize: 104708
[startup+560.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 25904 0 0 0 55929 91 0 0 25 0 1 0 849666848 112185344 25878 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27389 25878 566 18 0 27371 0
vsize: 109556
[startup+570.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27141 0 0 0 56926 93 0 0 25 0 1 0 849666848 117346304 27115 4294967295 134512640 134581267 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28649 27115 566 18 0 28631 0
vsize: 114596
[startup+580.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27141 0 0 0 57927 93 0 0 25 0 1 0 849666848 117346304 27115 4294967295 134512640 134581267 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28649 27115 566 18 0 28631 0
vsize: 114596
[startup+590.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27141 0 0 0 58926 95 0 0 25 0 1 0 849666848 117346304 27115 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28649 27115 566 18 0 28631 0
vsize: 114596
[startup+600.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27142 0 0 0 59926 95 0 0 25 0 1 0 849666848 117346304 27116 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28649 27116 566 18 0 28631 0
vsize: 114596
[startup+610.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27142 0 0 0 60926 95 0 0 25 0 1 0 849666848 117346304 27116 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28649 27116 566 18 0 28631 0
vsize: 114596
[startup+620.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27142 0 0 0 61926 96 0 0 25 0 1 0 849666848 117346304 27116 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28649 27116 566 18 0 28631 0
vsize: 114596
[startup+630.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27142 0 0 0 62926 96 0 0 25 0 1 0 849666848 117346304 27116 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28649 27116 566 18 0 28631 0
vsize: 114596
[startup+640.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27142 0 0 0 63926 96 0 0 25 0 1 0 849666848 117346304 27116 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28649 27116 566 18 0 28631 0
vsize: 114596
[startup+650.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27142 0 0 0 64927 96 0 0 25 0 1 0 849666848 117346304 27116 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28649 27116 566 18 0 28631 0
vsize: 114596
[startup+660.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27142 0 0 0 65927 96 0 0 25 0 1 0 849666848 117346304 27116 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28649 27116 566 18 0 28631 0
vsize: 114596
[startup+670.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27142 0 0 0 66927 96 0 0 25 0 1 0 849666848 117346304 27116 4294967295 134512640 134581267 3221224592 3221223228 1075288760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28649 27116 566 18 0 28631 0
vsize: 114596
[startup+680.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27142 0 0 0 67926 97 0 0 25 0 1 0 849666848 117346304 27116 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28649 27116 566 18 0 28631 0
vsize: 114596
[startup+690.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27142 0 0 0 68926 97 0 0 25 0 1 0 849666848 117346304 27116 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28649 27116 566 18 0 28631 0
vsize: 114596
[startup+700.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27142 0 0 0 69925 99 0 0 25 0 1 0 849666848 117346304 27116 4294967295 134512640 134581267 3221224592 3221223308 1075288864 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28649 27116 566 18 0 28631 0
vsize: 114596
[startup+710.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27142 0 0 0 70925 99 0 0 25 0 1 0 849666848 117346304 27116 4294967295 134512640 134581267 3221224592 3221223360 1075288279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28649 27116 566 18 0 28631 0
vsize: 114596
[startup+720.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27190 0 0 0 71925 100 0 0 25 0 1 0 849666848 117600256 27164 4294967295 134512640 134581267 3221224592 3221223552 134516716 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28711 27164 566 18 0 28693 0
vsize: 114844
[startup+730.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27190 0 0 0 72925 100 0 0 25 0 1 0 849666848 117600256 27164 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28711 27164 566 18 0 28693 0
vsize: 114844
[startup+740.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27190 0 0 0 73924 101 0 0 25 0 1 0 849666848 117600256 27164 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28711 27164 566 18 0 28693 0
vsize: 114844
[startup+750.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27190 0 0 0 74924 102 0 0 25 0 1 0 849666848 117600256 27164 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28711 27164 566 18 0 28693 0
vsize: 114844
[startup+760.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27190 0 0 0 75924 102 0 0 25 0 1 0 849666848 117600256 27164 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28711 27164 566 18 0 28693 0
vsize: 114844
[startup+770.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27190 0 0 0 76924 102 0 0 25 0 1 0 849666848 117600256 27164 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28711 27164 566 18 0 28693 0
vsize: 114844
[startup+780.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27190 0 0 0 77923 103 0 0 25 0 1 0 849666848 117600256 27164 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28711 27164 566 18 0 28693 0
vsize: 114844
[startup+790.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27190 0 0 0 78923 104 0 0 25 0 1 0 849666848 117600256 27164 4294967295 134512640 134581267 3221224592 3221223584 134561036 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28711 27164 566 18 0 28693 0
vsize: 114844
[startup+800.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27190 0 0 0 79923 104 0 0 25 0 1 0 849666848 117600256 27164 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28711 27164 566 18 0 28693 0
vsize: 114844
[startup+810.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27190 0 0 0 80923 105 0 0 25 0 1 0 849666848 117600256 27164 4294967295 134512640 134581267 3221224592 3221223584 134561101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28711 27164 566 18 0 28693 0
vsize: 114844
[startup+820.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27190 0 0 0 81923 105 0 0 25 0 1 0 849666848 117600256 27164 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28711 27164 566 18 0 28693 0
vsize: 114844
[startup+830.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27190 0 0 0 82922 106 0 0 25 0 1 0 849666848 117600256 27164 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28711 27164 566 18 0 28693 0
vsize: 114844
[startup+840.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 27625 0 0 0 83920 108 0 0 25 0 1 0 849666848 119390208 27599 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29148 27599 566 18 0 29130 0
vsize: 116592
[startup+850.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29758 0 0 0 84915 113 0 0 25 0 1 0 849666848 128233472 29732 4294967295 134512640 134581267 3221224592 3221223552 134516747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31307 29732 566 18 0 31289 0
vsize: 125228
[startup+860.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29758 0 0 0 85916 113 0 0 25 0 1 0 849666848 128233472 29732 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31307 29732 566 18 0 31289 0
vsize: 125228
[startup+870.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29758 0 0 0 86916 114 0 0 25 0 1 0 849666848 128233472 29732 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31307 29732 566 18 0 31289 0
vsize: 125228
[startup+880.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29758 0 0 0 87916 114 0 0 25 0 1 0 849666848 128233472 29732 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31307 29732 566 18 0 31289 0
vsize: 125228
[startup+890.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29758 0 0 0 88916 114 0 0 25 0 1 0 849666848 128233472 29732 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31307 29732 566 18 0 31289 0
vsize: 125228
[startup+900.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29758 0 0 0 89915 115 0 0 25 0 1 0 849666848 128233472 29732 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31307 29732 566 18 0 31289 0
vsize: 125228
[startup+910.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29758 0 0 0 90915 116 0 0 25 0 1 0 849666848 128233472 29732 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31307 29732 566 18 0 31289 0
vsize: 125228
[startup+920.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29758 0 0 0 91915 116 0 0 25 0 1 0 849666848 128233472 29732 4294967295 134512640 134581267 3221224592 3221223536 134558784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31307 29732 566 18 0 31289 0
vsize: 125228
[startup+930.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29758 0 0 0 92914 117 0 0 25 0 1 0 849666848 128233472 29732 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31307 29732 566 18 0 31289 0
vsize: 125228
[startup+940.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29758 0 0 0 93915 117 0 0 25 0 1 0 849666848 128233472 29732 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31307 29732 566 18 0 31289 0
vsize: 125228
[startup+950.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29758 0 0 0 94914 118 0 0 25 0 1 0 849666848 128233472 29732 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31307 29732 566 18 0 31289 0
vsize: 125228
[startup+960.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29758 0 0 0 95915 118 0 0 25 0 1 0 849666848 128233472 29732 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31307 29732 566 18 0 31289 0
vsize: 125228
[startup+970.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29758 0 0 0 96914 118 0 0 25 0 1 0 849666848 128233472 29732 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31307 29732 566 18 0 31289 0
vsize: 125228
[startup+980.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29758 0 0 0 97914 119 0 0 25 0 1 0 849666848 128233472 29732 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31307 29732 566 18 0 31289 0
vsize: 125228
[startup+990.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29758 0 0 0 98914 119 0 0 25 0 1 0 849666848 128233472 29732 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31307 29732 566 18 0 31289 0
vsize: 125228
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29758 0 0 0 99914 119 0 0 25 0 1 0 849666848 128233472 29732 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31307 29732 566 18 0 31289 0
vsize: 125228
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29758 0 0 0 100914 120 0 0 25 0 1 0 849666848 128233472 29732 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31307 29732 566 18 0 31289 0
vsize: 125228
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29792 0 0 0 101914 120 0 0 25 0 1 0 849666848 128360448 29766 4294967295 134512640 134581267 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31338 29766 566 18 0 31320 0
vsize: 125352
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29792 0 0 0 102913 121 0 0 25 0 1 0 849666848 128360448 29766 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31338 29766 566 18 0 31320 0
vsize: 125352
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29792 0 0 0 103913 122 0 0 25 0 1 0 849666848 128360448 29766 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31338 29766 566 18 0 31320 0
vsize: 125352
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29792 0 0 0 104913 122 0 0 25 0 1 0 849666848 128360448 29766 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31338 29766 566 18 0 31320 0
vsize: 125352
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29792 0 0 0 105913 123 0 0 25 0 1 0 849666848 128360448 29766 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31338 29766 566 18 0 31320 0
vsize: 125352
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29792 0 0 0 106913 123 0 0 25 0 1 0 849666848 128360448 29766 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31338 29766 566 18 0 31320 0
vsize: 125352
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29792 0 0 0 107912 123 0 0 25 0 1 0 849666848 128360448 29766 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31338 29766 566 18 0 31320 0
vsize: 125352
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29792 0 0 0 108913 123 0 0 25 0 1 0 849666848 128360448 29766 4294967295 134512640 134581267 3221224592 3221223536 134558912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31338 29766 566 18 0 31320 0
vsize: 125352
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29792 0 0 0 109913 123 0 0 25 0 1 0 849666848 128360448 29766 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31338 29766 566 18 0 31320 0
vsize: 125352
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29792 0 0 0 110913 123 0 0 25 0 1 0 849666848 128360448 29766 4294967295 134512640 134581267 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31338 29766 566 18 0 31320 0
vsize: 125352
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29792 0 0 0 111914 124 0 0 25 0 1 0 849666848 128360448 29766 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31338 29766 566 18 0 31320 0
vsize: 125352
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29792 0 0 0 112914 124 0 0 25 0 1 0 849666848 128360448 29766 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31338 29766 566 18 0 31320 0
vsize: 125352
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29792 0 0 0 113914 124 0 0 25 0 1 0 849666848 128360448 29766 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31338 29766 566 18 0 31320 0
vsize: 125352
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29792 0 0 0 114915 124 0 0 25 0 1 0 849666848 128360448 29766 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31338 29766 566 18 0 31320 0
vsize: 125352
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29792 0 0 0 115914 124 0 0 25 0 1 0 849666848 128360448 29766 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31338 29766 566 18 0 31320 0
vsize: 125352
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29792 0 0 0 116915 124 0 0 25 0 1 0 849666848 128360448 29766 4294967295 134512640 134581267 3221224592 3221223228 1075288837 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31338 29766 566 18 0 31320 0
vsize: 125352
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29792 0 0 0 117915 124 0 0 25 0 1 0 849666848 128360448 29766 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31338 29766 566 18 0 31320 0
vsize: 125352
[startup+1188.68 s]
Raw data (loadavg): 0.99 0.98 0.93 1/53 16343
Raw data (stat): 16343 (Pueblo-v2) R 16342 25568 25567 0 -1 0 29792 0 0 0 117915 124 0 0 25 0 1 0 849666848 128360448 29766 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31338 29766 566 18 0 31320 0
vsize: 0

Child status: 10
Real time (s): 1188.68
CPU time (s): 1189.06
CPU user time (s): 1187.73
CPU system time (s): 1.3268
CPU usage (%): 100.032
Max. virtual memory (Kb): 125352
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-8
#### END VERIFIER DATA ####