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-4.opb
MD5SUM	e3892e1941a878802a8ccbbd36201a02
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-27
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	27842
Number of constraints which are clauses	27842
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 24750

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 12:16:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2896 boxname=wulflinc31 idbench=322 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  e3892e1941a878802a8ccbbd36201a02  /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-4.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-4.opb
IDLAUNCH: 2896
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        888756 kB
Buffers:         34448 kB
Cached:          89892 kB
SwapCached:       1936 kB
Active:          88248 kB
Inactive:        39312 kB
HighTotal:      131008 kB
HighFree:        40180 kB
LowTotal:       903652 kB
LowFree:        848576 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            12732 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 12:36:09 (client local time) WITH STATUS 10 IN 1189.07 SECONDS
stats: 2896 0 1189.07 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/wulflinc31/normalized-frb35-17-4.opb
c #variables read: 595 - #constraints read: 27843
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
Raw data (loadavg): 0.92 0.98 0.99 2/55 9105
Raw data (stat): 9105 (runsolver) R 9104 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 726455319 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 1513 0 0 0 992 4 0 0 25 0 1 0 726455319 11808768 1490 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2883 1490 566 18 0 2865 0
vsize: 11532
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 2220 0 0 0 1991 6 0 0 25 0 1 0 726455319 14802944 2197 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3614 2197 566 18 0 3596 0
vsize: 14456
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 3033 0 0 0 2988 9 0 0 25 0 1 0 726455319 18067456 3010 4294967295 134512640 134581331 3221221792 3221220512 134523390 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4411 3010 566 18 0 4393 0
vsize: 17644
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 3755 0 0 0 3987 10 0 0 25 0 1 0 726455319 21094400 3732 4294967295 134512640 134581331 3221221792 3221220512 134523417 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5150 3732 566 18 0 5132 0
vsize: 20600
[startup+50.0015 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 4468 0 0 0 4984 13 0 0 25 0 1 0 726455319 23924736 4445 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5841 4445 566 18 0 5823 0
vsize: 23364
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 5195 0 0 0 5982 15 0 0 25 0 1 0 726455319 26923008 5172 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6573 5172 566 18 0 6555 0
vsize: 26292
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 5784 0 0 0 6982 16 0 0 25 0 1 0 726455319 29364224 5761 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7169 5761 566 18 0 7151 0
vsize: 28676
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 6348 0 0 0 7980 18 0 0 25 0 1 0 726455319 31641600 6325 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7725 6325 566 18 0 7707 0
vsize: 30900
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 7007 0 0 0 8978 20 0 0 25 0 1 0 726455319 34484224 6984 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8419 6984 566 18 0 8401 0
vsize: 33676
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 7485 0 0 0 9977 21 0 0 25 0 1 0 726455319 36376576 7462 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8881 7462 566 18 0 8863 0
vsize: 35524
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 8110 0 0 0 10976 22 0 0 25 0 1 0 726455319 38957056 8087 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9511 8088 566 18 0 9493 0
vsize: 38044
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 8803 0 0 0 11974 25 0 0 25 0 1 0 726455319 41783296 8780 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10201 8780 566 18 0 10183 0
vsize: 40804
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 9508 0 0 0 12972 26 0 0 25 0 1 0 726455319 44736512 9485 4294967295 134512640 134581331 3221221792 3221220512 134523402 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10922 9485 566 18 0 10904 0
vsize: 43688
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 10160 0 0 0 13971 28 0 0 25 0 1 0 726455319 47341568 10137 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11558 10137 566 18 0 11540 0
vsize: 46232
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 10814 0 0 0 14970 29 0 0 25 0 1 0 726455319 50036736 10791 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12216 10791 566 18 0 12198 0
vsize: 48864
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 11275 0 0 0 15969 30 0 0 25 0 1 0 726455319 51941376 11252 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12681 11252 566 18 0 12663 0
vsize: 50724
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 11727 0 0 0 16968 32 0 0 25 0 1 0 726455319 53907456 11704 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13161 11704 566 18 0 13143 0
vsize: 52644
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 12158 0 0 0 17967 33 0 0 25 0 1 0 726455319 55652352 12135 4294967295 134512640 134581331 3221221792 3221220512 134523407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13587 12135 566 18 0 13569 0
vsize: 54348
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 12575 0 0 0 18966 34 0 0 25 0 1 0 726455319 57401344 12552 4294967295 134512640 134581331 3221221792 3221220704 134518996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14014 12552 566 18 0 13996 0
vsize: 56056
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 13181 0 0 0 19964 36 0 0 25 0 1 0 726455319 59883520 13158 4294967295 134512640 134581331 3221221792 3221220672 134558407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14620 13158 566 18 0 14602 0
vsize: 58480
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 13758 0 0 0 20963 38 0 0 25 0 1 0 726455319 62197760 13735 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15185 13735 566 18 0 15167 0
vsize: 60740
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 14100 0 0 0 21962 38 0 0 25 0 1 0 726455319 63684608 14077 4294967295 134512640 134581331 3221221792 3221220704 134519052 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15548 14077 566 18 0 15530 0
vsize: 62192
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 14593 0 0 0 22962 39 0 0 25 0 1 0 726455319 65712128 14570 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16043 14570 566 18 0 16025 0
vsize: 64172
[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 15080 0 0 0 23960 41 0 0 25 0 1 0 726455319 67739648 15057 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16538 15057 566 18 0 16520 0
vsize: 66152
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 15554 0 0 0 24959 42 0 0 25 0 1 0 726455319 69763072 15531 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17032 15531 566 18 0 17014 0
vsize: 68128
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 15949 0 0 0 25958 43 0 0 25 0 1 0 726455319 71348224 15926 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17419 15926 566 18 0 17401 0
vsize: 69676
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 16342 0 0 0 26958 44 0 0 25 0 1 0 726455319 72974336 16319 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17816 16319 566 18 0 17798 0
vsize: 71264
[startup+280.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 16809 0 0 0 27956 46 0 0 25 0 1 0 726455319 74993664 16786 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18309 16786 566 18 0 18291 0
vsize: 73236
[startup+290.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 17422 0 0 0 28954 47 0 0 25 0 1 0 726455319 77524992 17399 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18927 17399 566 18 0 18909 0
vsize: 75708
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 17962 0 0 0 29953 49 0 0 25 0 1 0 726455319 79724544 17939 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19464 17939 566 18 0 19446 0
vsize: 77856
[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 18479 0 0 0 30952 50 0 0 25 0 1 0 726455319 81899520 18456 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19995 18456 566 18 0 19977 0
vsize: 79980
[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 18748 0 0 0 31951 51 0 0 25 0 1 0 726455319 82984960 18725 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20260 18725 566 18 0 20242 0
vsize: 81040
[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 18941 0 0 0 32950 52 0 0 25 0 1 0 726455319 83652608 18918 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20423 18918 566 18 0 20405 0
vsize: 81692
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19221 0 0 0 33950 53 0 0 25 0 1 0 726455319 84877312 19198 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20722 19198 566 18 0 20704 0
vsize: 82888
[startup+350.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19519 0 0 0 34949 54 0 0 25 0 1 0 726455319 86102016 19496 4294967295 134512640 134581331 3221221792 3221220752 134516747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19496 566 18 0 21003 0
vsize: 84084
[startup+360.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19519 0 0 0 35949 54 0 0 25 0 1 0 726455319 86102016 19496 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19496 566 18 0 21003 0
vsize: 84084
[startup+370.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19519 0 0 0 36949 54 0 0 25 0 1 0 726455319 86102016 19496 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19496 566 18 0 21003 0
vsize: 84084
[startup+380.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19519 0 0 0 37949 54 0 0 25 0 1 0 726455319 86102016 19496 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19496 566 18 0 21003 0
vsize: 84084
[startup+390.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19519 0 0 0 38949 54 0 0 25 0 1 0 726455319 86102016 19496 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19496 566 18 0 21003 0
vsize: 84084
[startup+400.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19519 0 0 0 39949 55 0 0 25 0 1 0 726455319 86102016 19496 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19496 566 18 0 21003 0
vsize: 84084
[startup+410.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19519 0 0 0 40949 55 0 0 25 0 1 0 726455319 86102016 19496 4294967295 134512640 134581331 3221221792 3221220688 134517871 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19496 566 18 0 21003 0
vsize: 84084
[startup+420.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19519 0 0 0 41949 55 0 0 25 0 1 0 726455319 86102016 19496 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19496 566 18 0 21003 0
vsize: 84084
[startup+430.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19519 0 0 0 42949 55 0 0 25 0 1 0 726455319 86102016 19496 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19496 566 18 0 21003 0
vsize: 84084
[startup+440.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19519 0 0 0 43949 55 0 0 25 0 1 0 726455319 86102016 19496 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19496 566 18 0 21003 0
vsize: 84084
[startup+450.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19519 0 0 0 44949 56 0 0 25 0 1 0 726455319 86102016 19496 4294967295 134512640 134581331 3221221792 3221220576 134528763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19496 566 18 0 21003 0
vsize: 84084
[startup+460.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19519 0 0 0 45948 56 0 0 25 0 1 0 726455319 86102016 19496 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19496 566 18 0 21003 0
vsize: 84084
[startup+470.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19519 0 0 0 46948 57 0 0 25 0 1 0 726455319 86102016 19496 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19496 566 18 0 21003 0
vsize: 84084
[startup+480.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19519 0 0 0 47948 57 0 0 25 0 1 0 726455319 86102016 19496 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19496 566 18 0 21003 0
vsize: 84084
[startup+490.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19519 0 0 0 48948 57 0 0 25 0 1 0 726455319 86102016 19496 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19496 566 18 0 21003 0
vsize: 84084
[startup+500.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19519 0 0 0 49948 57 0 0 25 0 1 0 726455319 86102016 19496 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19496 566 18 0 21003 0
vsize: 84084
[startup+510.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19519 0 0 0 50947 58 0 0 25 0 1 0 726455319 86102016 19496 4294967295 134512640 134581331 3221221792 3221220512 134523390 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19496 566 18 0 21003 0
vsize: 84084
[startup+520.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19519 0 0 0 51947 58 0 0 25 0 1 0 726455319 86102016 19496 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19496 566 18 0 21003 0
vsize: 84084
[startup+530.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19519 0 0 0 52947 58 0 0 25 0 1 0 726455319 86102016 19496 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19496 566 18 0 21003 0
vsize: 84084
[startup+540.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19519 0 0 0 53947 58 0 0 25 0 1 0 726455319 86102016 19496 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19496 566 18 0 21003 0
vsize: 84084
[startup+550.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19519 0 0 0 54948 58 0 0 25 0 1 0 726455319 86102016 19496 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19496 566 18 0 21003 0
vsize: 84084
[startup+560.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19519 0 0 0 55947 59 0 0 25 0 1 0 726455319 86102016 19496 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19496 566 18 0 21003 0
vsize: 84084
[startup+570.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19519 0 0 0 56948 59 0 0 25 0 1 0 726455319 86102016 19496 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19496 566 18 0 21003 0
vsize: 84084
[startup+580.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19519 0 0 0 57947 59 0 0 25 0 1 0 726455319 86102016 19496 4294967295 134512640 134581331 3221221792 3221220720 134519883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19496 566 18 0 21003 0
vsize: 84084
[startup+590.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19567 0 0 0 58947 59 0 0 25 0 1 0 726455319 86237184 19544 4294967295 134512640 134581331 3221221792 3221220512 134523365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21054 19544 566 18 0 21036 0
vsize: 84216
[startup+600.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 19908 0 0 0 59946 61 0 0 25 0 1 0 726455319 87744512 19885 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21422 19885 566 18 0 21404 0
vsize: 85688
[startup+610.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 20418 0 0 0 60945 62 0 0 25 0 1 0 726455319 89808896 20395 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21926 20395 566 18 0 21908 0
vsize: 87704
[startup+620.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 20874 0 0 0 61944 63 0 0 25 0 1 0 726455319 91688960 20851 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22385 20851 566 18 0 22367 0
vsize: 89540
[startup+630.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21138 0 0 0 62944 64 0 0 25 0 1 0 726455319 92741632 21115 4294967295 134512640 134581331 3221221792 3221220752 134516723 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21115 566 18 0 22624 0
vsize: 90568
[startup+640.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21138 0 0 0 63943 64 0 0 25 0 1 0 726455319 92741632 21115 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21115 566 18 0 22624 0
vsize: 90568
[startup+650.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21138 0 0 0 64943 65 0 0 25 0 1 0 726455319 92741632 21115 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21115 566 18 0 22624 0
vsize: 90568
[startup+660.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21138 0 0 0 65943 66 0 0 25 0 1 0 726455319 92741632 21115 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21115 566 18 0 22624 0
vsize: 90568
[startup+670.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21138 0 0 0 66942 66 0 0 25 0 1 0 726455319 92741632 21115 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21115 566 18 0 22624 0
vsize: 90568
[startup+680.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21138 0 0 0 67942 66 0 0 25 0 1 0 726455319 92741632 21115 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21115 566 18 0 22624 0
vsize: 90568
[startup+690.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21138 0 0 0 68942 66 0 0 25 0 1 0 726455319 92741632 21115 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21115 566 18 0 22624 0
vsize: 90568
[startup+700.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21138 0 0 0 69942 67 0 0 25 0 1 0 726455319 92741632 21115 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21115 566 18 0 22624 0
vsize: 90568
[startup+710.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21138 0 0 0 70942 67 0 0 25 0 1 0 726455319 92741632 21115 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21115 566 18 0 22624 0
vsize: 90568
[startup+720.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21138 0 0 0 71942 67 0 0 25 0 1 0 726455319 92741632 21115 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21115 566 18 0 22624 0
vsize: 90568
[startup+730.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21138 0 0 0 72942 68 0 0 25 0 1 0 726455319 92741632 21115 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21115 566 18 0 22624 0
vsize: 90568
[startup+740.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21138 0 0 0 73942 68 0 0 25 0 1 0 726455319 92741632 21115 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21115 566 18 0 22624 0
vsize: 90568
[startup+750.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21138 0 0 0 74942 68 0 0 25 0 1 0 726455319 92741632 21115 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21115 566 18 0 22624 0
vsize: 90568
[startup+760.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21138 0 0 0 75941 69 0 0 25 0 1 0 726455319 92741632 21115 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21115 566 18 0 22624 0
vsize: 90568
[startup+770.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21138 0 0 0 76941 69 0 0 25 0 1 0 726455319 92741632 21115 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21115 566 18 0 22624 0
vsize: 90568
[startup+780.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21138 0 0 0 77941 69 0 0 25 0 1 0 726455319 92741632 21115 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21115 566 18 0 22624 0
vsize: 90568
[startup+790.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21138 0 0 0 78941 69 0 0 25 0 1 0 726455319 92741632 21115 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21115 566 18 0 22624 0
vsize: 90568
[startup+800.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21138 0 0 0 79941 70 0 0 25 0 1 0 726455319 92741632 21115 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21115 566 18 0 22624 0
vsize: 90568
[startup+810.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21139 0 0 0 80941 70 0 0 25 0 1 0 726455319 92741632 21116 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21116 566 18 0 22624 0
vsize: 90568
[startup+820.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21139 0 0 0 81941 70 0 0 25 0 1 0 726455319 92741632 21116 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21116 566 18 0 22624 0
vsize: 90568
[startup+830.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21139 0 0 0 82941 70 0 0 25 0 1 0 726455319 92741632 21116 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21116 566 18 0 22624 0
vsize: 90568
[startup+840.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21139 0 0 0 83942 70 0 0 25 0 1 0 726455319 92741632 21116 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21116 566 18 0 22624 0
vsize: 90568
[startup+850.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21139 0 0 0 84941 71 0 0 25 0 1 0 726455319 92741632 21116 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21116 566 18 0 22624 0
vsize: 90568
[startup+860.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21139 0 0 0 85941 71 0 0 25 0 1 0 726455319 92741632 21116 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21116 566 18 0 22624 0
vsize: 90568
[startup+870.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21139 0 0 0 86941 71 0 0 25 0 1 0 726455319 92741632 21116 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21116 566 18 0 22624 0
vsize: 90568
[startup+880.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21269 0 0 0 87941 72 0 0 25 0 1 0 726455319 93265920 21246 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22770 21246 566 18 0 22752 0
vsize: 91080
[startup+890.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 21771 0 0 0 88940 73 0 0 25 0 1 0 726455319 95268864 21748 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23259 21748 566 18 0 23241 0
vsize: 93036
[startup+900.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 22262 0 0 0 89939 74 0 0 25 0 1 0 726455319 97300480 22239 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23755 22239 566 18 0 23737 0
vsize: 95020
[startup+910.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 22713 0 0 0 90938 75 0 0 25 0 1 0 726455319 99192832 22690 4294967295 134512640 134581331 3221221792 3221220428 1075289497 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24217 22690 566 18 0 24199 0
vsize: 96868
[startup+920.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 23181 0 0 0 91936 77 0 0 25 0 1 0 726455319 101232640 23158 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24715 23158 566 18 0 24697 0
vsize: 98860
[startup+930.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 23588 0 0 0 92935 78 0 0 25 0 1 0 726455319 102993920 23565 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25145 23565 566 18 0 25127 0
vsize: 100580
[startup+940.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 23956 0 0 0 93935 79 0 0 25 0 1 0 726455319 104546304 23933 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25524 23933 566 18 0 25506 0
vsize: 102096
[startup+950.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 24357 0 0 0 94933 80 0 0 25 0 1 0 726455319 106209280 24334 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25930 24334 566 18 0 25912 0
vsize: 103720
[startup+960.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 24687 0 0 0 95933 81 0 0 25 0 1 0 726455319 107528192 24664 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26252 24664 566 18 0 26234 0
vsize: 105008
[startup+970.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 25050 0 0 0 96932 82 0 0 25 0 1 0 726455319 108994560 25027 4294967295 134512640 134581331 3221221792 3221220752 134516754 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25027 566 18 0 26592 0
vsize: 106440
[startup+980.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 25050 0 0 0 97932 82 0 0 25 0 1 0 726455319 108994560 25027 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25027 566 18 0 26592 0
vsize: 106440
[startup+990.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 25050 0 0 0 98932 83 0 0 25 0 1 0 726455319 108994560 25027 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25027 566 18 0 26592 0
vsize: 106440
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 25050 0 0 0 99932 83 0 0 25 0 1 0 726455319 108994560 25027 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25027 566 18 0 26592 0
vsize: 106440
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 25050 0 0 0 100932 83 0 0 25 0 1 0 726455319 108994560 25027 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25027 566 18 0 26592 0
vsize: 106440
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 25050 0 0 0 101932 83 0 0 25 0 1 0 726455319 108994560 25027 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25027 566 18 0 26592 0
vsize: 106440
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 25050 0 0 0 102932 83 0 0 25 0 1 0 726455319 108994560 25027 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25027 566 18 0 26592 0
vsize: 106440
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 25050 0 0 0 103932 83 0 0 25 0 1 0 726455319 108994560 25027 4294967295 134512640 134581331 3221221792 3221220688 134517871 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25027 566 18 0 26592 0
vsize: 106440
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 25050 0 0 0 104932 83 0 0 25 0 1 0 726455319 108994560 25027 4294967295 134512640 134581331 3221221792 3221220736 134558806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25027 566 18 0 26592 0
vsize: 106440
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 25050 0 0 0 105932 83 0 0 25 0 1 0 726455319 108994560 25027 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25027 566 18 0 26592 0
vsize: 106440
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 25050 0 0 0 106932 84 0 0 25 0 1 0 726455319 108994560 25027 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25027 566 18 0 26592 0
vsize: 106440
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 25050 0 0 0 107932 84 0 0 25 0 1 0 726455319 108994560 25027 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25027 566 18 0 26592 0
vsize: 106440
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 25050 0 0 0 108932 84 0 0 25 0 1 0 726455319 108994560 25027 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25027 566 18 0 26592 0
vsize: 106440
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 25050 0 0 0 109932 84 0 0 25 0 1 0 726455319 108994560 25027 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25027 566 18 0 26592 0
vsize: 106440
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 25050 0 0 0 110932 84 0 0 25 0 1 0 726455319 108994560 25027 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25027 566 18 0 26592 0
vsize: 106440
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 25050 0 0 0 111933 84 0 0 25 0 1 0 726455319 108994560 25027 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25027 566 18 0 26592 0
vsize: 106440
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 25050 0 0 0 112933 84 0 0 25 0 1 0 726455319 108994560 25027 4294967295 134512640 134581331 3221221792 3221220616 134528697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25027 566 18 0 26592 0
vsize: 106440
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 25050 0 0 0 113933 84 0 0 25 0 1 0 726455319 108994560 25027 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25027 566 18 0 26592 0
vsize: 106440
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 25050 0 0 0 114933 84 0 0 25 0 1 0 726455319 108994560 25027 4294967295 134512640 134581331 3221221792 3221220672 134520246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25027 566 18 0 26592 0
vsize: 106440
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 25050 0 0 0 115933 85 0 0 25 0 1 0 726455319 108994560 25027 4294967295 134512640 134581331 3221221792 3221220656 134528278 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25027 566 18 0 26592 0
vsize: 106440
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 25050 0 0 0 116933 85 0 0 25 0 1 0 726455319 108994560 25027 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25027 566 18 0 26592 0
vsize: 106440
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 25050 0 0 0 117933 85 0 0 25 0 1 0 726455319 108994560 25027 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25027 566 18 0 26592 0
vsize: 106440
[startup+1188.91 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 9105
Raw data (stat): 9105 (Pueblo) R 9104 7876 7672 0 -1 0 25050 0 0 0 117933 85 0 0 25 0 1 0 726455319 108994560 25027 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25027 566 18 0 26592 0
vsize: 0

Child status: 10
Real time (s): 1188.91
CPU time (s): 1189.07
CPU user time (s): 1188.16
CPU system time (s): 0.901862
CPU usage (%): 100.013
Max. virtual memory (Kb): 106440
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-11
#### END VERIFIER DATA ####