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/frb40-19-opb/normalized-frb40-19-1.opb
MD5SUM	94f501465233508e2f652cf118ddaf2d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-31
Optimality of the best value was proved	NO
Number of terms in the objective function	760
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	760
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	760
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.06
Number of variables	760
Total number of constraints	41314
Number of constraints which are clauses	41314
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 38528

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-02 12:12:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26594 boxname=wulflinc4 idbench=324 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  94f501465233508e2f652cf118ddaf2d  /oldhome/oroussel/tmp/wulflinc4/normalized-frb40-19-1.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-frb40-19-1.opb
IDLAUNCH: 26594
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        649312 kB
Buffers:         34128 kB
Cached:         329036 kB
SwapCached:        568 kB
Active:          54344 kB
Inactive:       310920 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        649060 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5312 kB
Slab:            14156 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 12:32:30 (client local time) WITH STATUS 10 IN 1189.11 SECONDS
stats: 26594 0 1189.11 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/wulflinc4/normalized-frb40-19-1.opb
c #variables read: 760 - #constraints read: 41315
s SATISFIABLE
v -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -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.99 0.96 1/54 8421
Raw data (stat): 8421 (runsolver) R 8420 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849684811 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.001 s]
Raw data (loadavg): 0.94 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 4470 0 0 0 989 10 0 0 25 0 1 0 849684811 24002560 4444 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5860 4444 566 18 0 5842 0
vsize: 23440
[startup+20.0018 s]
Raw data (loadavg): 0.95 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 7603 0 0 0 1982 17 0 0 25 0 1 0 849684811 36978688 7577 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9028 7577 566 18 0 9010 0
vsize: 36112
[startup+30.0014 s]
Raw data (loadavg): 0.96 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 10599 0 0 0 2974 25 0 0 25 0 1 0 849684811 49262592 10573 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12027 10573 566 18 0 12009 0
vsize: 48108
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 14333 0 0 0 3966 33 0 0 25 0 1 0 849684811 64700416 14307 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15796 14307 566 18 0 15778 0
vsize: 63184
[startup+50.0025 s]
Raw data (loadavg): 0.97 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 17750 0 0 0 4958 41 0 0 25 0 1 0 849684811 78622720 17724 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19195 17724 566 18 0 19177 0
vsize: 76780
[startup+60.003 s]
Raw data (loadavg): 0.97 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 21315 0 0 0 5951 49 0 0 25 0 1 0 849684811 93290496 21289 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22776 21289 566 18 0 22758 0
vsize: 91104
[startup+70.0042 s]
Raw data (loadavg): 0.98 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 23793 0 0 0 6945 55 0 0 25 0 1 0 849684811 103526400 23767 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25275 23767 566 18 0 25257 0
vsize: 101100
[startup+80.0051 s]
Raw data (loadavg): 0.98 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 27412 0 0 0 7936 64 0 0 25 0 1 0 849684811 118456320 27386 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28920 27386 566 18 0 28902 0
vsize: 115680
[startup+90.0056 s]
Raw data (loadavg): 0.98 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 29979 0 0 0 8929 71 0 0 25 0 1 0 849684811 129048576 29953 4294967295 134512640 134581267 3221224592 3221223584 134561087 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31506 29953 566 18 0 31488 0
vsize: 126024
[startup+100.006 s]
Raw data (loadavg): 0.98 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 32837 0 0 0 9923 77 0 0 25 0 1 0 849684811 140705792 32811 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34352 32812 566 18 0 34334 0
vsize: 137408
[startup+110.007 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 34053 0 0 0 10920 80 0 0 25 0 1 0 849684811 145883136 34027 4294967295 134512640 134581267 3221224592 3221223520 134520041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35616 34027 566 18 0 35598 0
vsize: 142464
[startup+120.007 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 37549 0 0 0 11913 88 0 0 25 0 1 0 849684811 160194560 37523 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39110 37523 566 18 0 39092 0
vsize: 156440
[startup+130.007 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 37575 0 0 0 12913 88 0 0 25 0 1 0 849684811 160321536 37549 4294967295 134512640 134581267 3221224592 3221223552 134516716 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39141 37549 566 18 0 39123 0
vsize: 156564
[startup+140.008 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 37575 0 0 0 13913 88 0 0 25 0 1 0 849684811 160321536 37549 4294967295 134512640 134581267 3221224592 3221223520 134519797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39141 37549 566 18 0 39123 0
vsize: 156564
[startup+150.009 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 37575 0 0 0 14910 91 0 0 25 0 1 0 849684811 160321536 37549 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39141 37549 566 18 0 39123 0
vsize: 156564
[startup+160.01 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 37575 0 0 0 15909 92 0 0 25 0 1 0 849684811 160321536 37549 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39141 37549 566 18 0 39123 0
vsize: 156564
[startup+170.011 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 37577 0 0 0 16909 92 0 0 25 0 1 0 849684811 160321536 37551 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39141 37551 566 18 0 39123 0
vsize: 156564
[startup+180.01 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 37580 0 0 0 17910 92 0 0 25 0 1 0 849684811 160321536 37554 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39141 37554 566 18 0 39123 0
vsize: 156564
[startup+190.012 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 37580 0 0 0 18910 92 0 0 25 0 1 0 849684811 160321536 37554 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39141 37554 566 18 0 39123 0
vsize: 156564
[startup+200.012 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 37580 0 0 0 19910 92 0 0 25 0 1 0 849684811 160321536 37554 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39141 37554 566 18 0 39123 0
vsize: 156564
[startup+210.012 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 37580 0 0 0 20910 93 0 0 25 0 1 0 849684811 160321536 37554 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39141 37554 566 18 0 39123 0
vsize: 156564
[startup+220.013 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 37581 0 0 0 21910 93 0 0 25 0 1 0 849684811 160321536 37555 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39141 37555 566 18 0 39123 0
vsize: 156564
[startup+230.013 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 37582 0 0 0 22909 93 0 0 25 0 1 0 849684811 160321536 37556 4294967295 134512640 134581267 3221224592 3221223584 134561093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39141 37556 566 18 0 39123 0
vsize: 156564
[startup+240.014 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 37583 0 0 0 23909 93 0 0 25 0 1 0 849684811 160321536 37557 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39141 37557 566 18 0 39123 0
vsize: 156564
[startup+250.014 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 37583 0 0 0 24909 94 0 0 25 0 1 0 849684811 160321536 37557 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39141 37557 566 18 0 39123 0
vsize: 156564
[startup+260.015 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 37583 0 0 0 25909 95 0 0 25 0 1 0 849684811 160321536 37557 4294967295 134512640 134581267 3221224592 3221223584 134561087 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39141 37557 566 18 0 39123 0
vsize: 156564
[startup+270.015 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 37583 0 0 0 26909 95 0 0 25 0 1 0 849684811 160321536 37557 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39141 37557 566 18 0 39123 0
vsize: 156564
[startup+280.016 s]
Raw data (loadavg): 0.99 0.99 0.96 3/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 37584 0 0 0 27909 95 0 0 25 0 1 0 849684811 160321536 37558 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39141 37558 566 18 0 39123 0
vsize: 156564
[startup+290.018 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 37584 0 0 0 28909 95 0 0 25 0 1 0 849684811 160321536 37558 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39141 37558 566 18 0 39123 0
vsize: 156564
[startup+300.018 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 37584 0 0 0 29909 95 0 0 25 0 1 0 849684811 160321536 37558 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39141 37558 566 18 0 39123 0
vsize: 156564
[startup+310.019 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 38026 0 0 0 30907 97 0 0 25 0 1 0 849684811 162107392 38000 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39577 38001 566 18 0 39559 0
vsize: 158308
[startup+320.019 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 39218 0 0 0 31903 101 0 0 25 0 1 0 849684811 166932480 39192 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40755 39192 566 18 0 40737 0
vsize: 163020
[startup+330.02 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 40243 0 0 0 32900 104 0 0 25 0 1 0 849684811 171261952 40217 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41812 40217 566 18 0 41794 0
vsize: 167248
[startup+340.02 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 41607 0 0 0 33897 108 0 0 25 0 1 0 849684811 176861184 41581 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43179 41581 566 18 0 43161 0
vsize: 172716
[startup+350.02 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 43270 0 0 0 34894 111 0 0 25 0 1 0 849684811 183742464 43244 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44859 43244 566 18 0 44841 0
vsize: 179436
[startup+360.021 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 44816 0 0 0 35889 116 0 0 25 0 1 0 849684811 190009344 44790 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46389 44790 566 18 0 46371 0
vsize: 185556
[startup+370.021 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 45613 0 0 0 36888 118 0 0 25 0 1 0 849684811 193314816 45587 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47196 45587 566 18 0 47178 0
vsize: 188784
[startup+380.021 s]
Raw data (loadavg): 1.15 1.02 0.97 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 45613 0 0 0 37888 118 0 0 25 0 1 0 849684811 193314816 45587 4294967295 134512640 134581267 3221224592 3221223552 134516754 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47196 45587 566 18 0 47178 0
vsize: 188784
[startup+390.022 s]
Raw data (loadavg): 1.12 1.02 0.97 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 45613 0 0 0 38888 118 0 0 25 0 1 0 849684811 193314816 45587 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47196 45587 566 18 0 47178 0
vsize: 188784
[startup+400.022 s]
Raw data (loadavg): 1.10 1.02 0.97 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 45613 0 0 0 39887 119 0 0 25 0 1 0 849684811 193314816 45587 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47196 45587 566 18 0 47178 0
vsize: 188784
[startup+410.023 s]
Raw data (loadavg): 1.24 1.05 0.98 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 45613 0 0 0 40887 119 0 0 25 0 1 0 849684811 193314816 45587 4294967295 134512640 134581267 3221224592 3221223488 134517803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47196 45587 566 18 0 47178 0
vsize: 188784
[startup+420.023 s]
Raw data (loadavg): 1.20 1.05 0.98 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 45613 0 0 0 41887 119 0 0 25 0 1 0 849684811 193314816 45587 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47196 45587 566 18 0 47178 0
vsize: 188784
[startup+430.023 s]
Raw data (loadavg): 1.17 1.05 0.98 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 45614 0 0 0 42887 119 0 0 25 0 1 0 849684811 193314816 45588 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47196 45588 566 18 0 47178 0
vsize: 188784
[startup+440.023 s]
Raw data (loadavg): 1.15 1.05 0.98 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 45614 0 0 0 43887 120 0 0 25 0 1 0 849684811 193314816 45588 4294967295 134512640 134581267 3221224592 3221223384 1075288538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47196 45588 566 18 0 47178 0
vsize: 188784
[startup+450.023 s]
Raw data (loadavg): 1.12 1.04 0.98 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 45614 0 0 0 44886 121 0 0 25 0 1 0 849684811 193314816 45588 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47196 45588 566 18 0 47178 0
vsize: 188784
[startup+460.024 s]
Raw data (loadavg): 1.10 1.04 0.98 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 45614 0 0 0 45886 121 0 0 25 0 1 0 849684811 193314816 45588 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47196 45588 566 18 0 47178 0
vsize: 188784
[startup+470.025 s]
Raw data (loadavg): 1.09 1.04 0.98 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 45616 0 0 0 46886 121 0 0 25 0 1 0 849684811 193314816 45590 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47196 45590 566 18 0 47178 0
vsize: 188784
[startup+480.025 s]
Raw data (loadavg): 1.07 1.04 0.98 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 45616 0 0 0 47886 122 0 0 25 0 1 0 849684811 193314816 45590 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47196 45590 566 18 0 47178 0
vsize: 188784
[startup+490.025 s]
Raw data (loadavg): 1.06 1.04 0.98 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 45622 0 0 0 48884 123 0 0 25 0 1 0 849684811 193314816 45596 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47196 45596 566 18 0 47178 0
vsize: 188784
[startup+500.026 s]
Raw data (loadavg): 1.20 1.07 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 45622 0 0 0 49884 124 0 0 25 0 1 0 849684811 193314816 45596 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47196 45596 566 18 0 47178 0
vsize: 188784
[startup+510.026 s]
Raw data (loadavg): 1.17 1.06 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 45625 0 0 0 50884 125 0 0 25 0 1 0 849684811 193314816 45599 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47196 45599 566 18 0 47178 0
vsize: 188784
[startup+520.026 s]
Raw data (loadavg): 1.15 1.06 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 45627 0 0 0 51883 126 0 0 25 0 1 0 849684811 193314816 45601 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47196 45601 566 18 0 47178 0
vsize: 188784
[startup+530.027 s]
Raw data (loadavg): 1.28 1.09 1.01 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 45627 0 0 0 52882 126 0 0 25 0 1 0 849684811 193314816 45601 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47196 45601 566 18 0 47178 0
vsize: 188784
[startup+540.027 s]
Raw data (loadavg): 1.21 1.09 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 45908 0 0 0 53882 127 0 0 25 0 1 0 849684811 194473984 45882 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47479 45882 566 18 0 47461 0
vsize: 189916
[startup+550.027 s]
Raw data (loadavg): 1.18 1.08 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 48370 0 0 0 54876 133 0 0 25 0 1 0 849684811 204595200 48344 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49950 48344 566 18 0 49932 0
vsize: 199800
[startup+560.027 s]
Raw data (loadavg): 1.15 1.08 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50454 0 0 0 55872 137 0 0 25 0 1 0 849684811 213143552 50428 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52037 50428 566 18 0 52019 0
vsize: 208148
[startup+570.028 s]
Raw data (loadavg): 1.13 1.08 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50454 0 0 0 56872 137 0 0 25 0 1 0 849684811 213143552 50428 4294967295 134512640 134581267 3221224592 3221223552 134516751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52037 50428 566 18 0 52019 0
vsize: 208148
[startup+580.028 s]
Raw data (loadavg): 1.11 1.07 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50454 0 0 0 57872 137 0 0 25 0 1 0 849684811 213143552 50428 4294967295 134512640 134581267 3221224592 3221223552 134516716 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52037 50428 566 18 0 52019 0
vsize: 208148
[startup+590.029 s]
Raw data (loadavg): 1.09 1.07 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50454 0 0 0 58872 137 0 0 25 0 1 0 849684811 213143552 50428 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52037 50428 566 18 0 52019 0
vsize: 208148
[startup+600.029 s]
Raw data (loadavg): 1.08 1.07 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50454 0 0 0 59872 138 0 0 25 0 1 0 849684811 213143552 50428 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52037 50428 566 18 0 52019 0
vsize: 208148
[startup+610.029 s]
Raw data (loadavg): 1.06 1.07 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50454 0 0 0 60871 139 0 0 25 0 1 0 849684811 213143552 50428 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52037 50428 566 18 0 52019 0
vsize: 208148
[startup+620.03 s]
Raw data (loadavg): 1.05 1.06 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50454 0 0 0 61870 140 0 0 25 0 1 0 849684811 213143552 50428 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52037 50428 566 18 0 52019 0
vsize: 208148
[startup+630.03 s]
Raw data (loadavg): 1.05 1.06 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50454 0 0 0 62870 141 0 0 25 0 1 0 849684811 213143552 50428 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52037 50428 566 18 0 52019 0
vsize: 208148
[startup+640.031 s]
Raw data (loadavg): 1.04 1.06 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50454 0 0 0 63870 141 0 0 25 0 1 0 849684811 213143552 50428 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52037 50428 566 18 0 52019 0
vsize: 208148
[startup+650.031 s]
Raw data (loadavg): 1.03 1.06 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50454 0 0 0 64869 142 0 0 25 0 1 0 849684811 213143552 50428 4294967295 134512640 134581267 3221224592 3221223308 1075289104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52037 50428 566 18 0 52019 0
vsize: 208148
[startup+660.03 s]
Raw data (loadavg): 1.03 1.05 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50454 0 0 0 65868 143 0 0 25 0 1 0 849684811 213143552 50428 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52037 50428 566 18 0 52019 0
vsize: 208148
[startup+670.031 s]
Raw data (loadavg): 1.02 1.05 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50454 0 0 0 66867 144 0 0 25 0 1 0 849684811 213143552 50428 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52037 50428 566 18 0 52019 0
vsize: 208148
[startup+680.031 s]
Raw data (loadavg): 1.02 1.05 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50454 0 0 0 67867 144 0 0 25 0 1 0 849684811 213143552 50428 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52037 50428 566 18 0 52019 0
vsize: 208148
[startup+690.032 s]
Raw data (loadavg): 1.02 1.05 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50454 0 0 0 68867 145 0 0 25 0 1 0 849684811 213143552 50428 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52037 50428 566 18 0 52019 0
vsize: 208148
[startup+700.032 s]
Raw data (loadavg): 1.01 1.05 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50454 0 0 0 69866 146 0 0 25 0 1 0 849684811 213143552 50428 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52037 50428 566 18 0 52019 0
vsize: 208148
[startup+710.032 s]
Raw data (loadavg): 1.01 1.04 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50454 0 0 0 70866 146 0 0 25 0 1 0 849684811 213143552 50428 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52037 50428 566 18 0 52019 0
vsize: 208148
[startup+720.033 s]
Raw data (loadavg): 1.01 1.04 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50455 0 0 0 71866 146 0 0 25 0 1 0 849684811 213143552 50429 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52037 50429 566 18 0 52019 0
vsize: 208148
[startup+730.033 s]
Raw data (loadavg): 1.01 1.04 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50455 0 0 0 72866 147 0 0 25 0 1 0 849684811 213143552 50429 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52037 50429 566 18 0 52019 0
vsize: 208148
[startup+740.034 s]
Raw data (loadavg): 1.00 1.04 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50579 0 0 0 73866 147 0 0 25 0 1 0 849684811 213651456 50553 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52161 50553 566 18 0 52143 0
vsize: 208644
[startup+750.034 s]
Raw data (loadavg): 1.00 1.04 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50646 0 0 0 74866 147 0 0 25 0 1 0 849684811 213905408 50620 4294967295 134512640 134581267 3221224592 3221223608 134519531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50620 566 18 0 52205 0
vsize: 208892
[startup+760.034 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50646 0 0 0 75866 147 0 0 25 0 1 0 849684811 213905408 50620 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50620 566 18 0 52205 0
vsize: 208892
[startup+770.035 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50646 0 0 0 76865 148 0 0 25 0 1 0 849684811 213905408 50620 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50620 566 18 0 52205 0
vsize: 208892
[startup+780.035 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50646 0 0 0 77865 148 0 0 25 0 1 0 849684811 213905408 50620 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50620 566 18 0 52205 0
vsize: 208892
[startup+790.035 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50646 0 0 0 78864 149 0 0 25 0 1 0 849684811 213905408 50620 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50620 566 18 0 52205 0
vsize: 208892
[startup+800.035 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50646 0 0 0 79864 150 0 0 25 0 1 0 849684811 213905408 50620 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50620 566 18 0 52205 0
vsize: 208892
[startup+810.034 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50646 0 0 0 80864 150 0 0 25 0 1 0 849684811 213905408 50620 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50620 566 18 0 52205 0
vsize: 208892
[startup+820.036 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50646 0 0 0 81864 150 0 0 25 0 1 0 849684811 213905408 50620 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50620 566 18 0 52205 0
vsize: 208892
[startup+830.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50648 0 0 0 82864 151 0 0 25 0 1 0 849684811 213905408 50622 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50622 566 18 0 52205 0
vsize: 208892
[startup+840.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50651 0 0 0 83864 151 0 0 25 0 1 0 849684811 213905408 50625 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50625 566 18 0 52205 0
vsize: 208892
[startup+850.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50651 0 0 0 84864 151 0 0 25 0 1 0 849684811 213905408 50625 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50625 566 18 0 52205 0
vsize: 208892
[startup+860.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50655 0 0 0 85864 151 0 0 25 0 1 0 849684811 213905408 50629 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50629 566 18 0 52205 0
vsize: 208892
[startup+870.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50655 0 0 0 86864 151 0 0 25 0 1 0 849684811 213905408 50629 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50629 566 18 0 52205 0
vsize: 208892
[startup+880.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50662 0 0 0 87863 152 0 0 25 0 1 0 849684811 213905408 50636 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50636 566 18 0 52205 0
vsize: 208892
[startup+890.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50662 0 0 0 88863 152 0 0 25 0 1 0 849684811 213905408 50636 4294967295 134512640 134581267 3221224592 3221223536 134558887 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50636 566 18 0 52205 0
vsize: 208892
[startup+900.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50662 0 0 0 89863 152 0 0 25 0 1 0 849684811 213905408 50636 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50636 566 18 0 52205 0
vsize: 208892
[startup+910.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50674 0 0 0 90863 153 0 0 25 0 1 0 849684811 213905408 50648 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50648 566 18 0 52205 0
vsize: 208892
[startup+920.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50676 0 0 0 91864 153 0 0 25 0 1 0 849684811 213905408 50650 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50650 566 18 0 52205 0
vsize: 208892
[startup+930.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50676 0 0 0 92863 153 0 0 25 0 1 0 849684811 213905408 50650 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50650 566 18 0 52205 0
vsize: 208892
[startup+940.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50676 0 0 0 93863 153 0 0 25 0 1 0 849684811 213905408 50650 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50650 566 18 0 52205 0
vsize: 208892
[startup+950.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50685 0 0 0 94863 154 0 0 25 0 1 0 849684811 213905408 50659 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50659 566 18 0 52205 0
vsize: 208892
[startup+960.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50687 0 0 0 95862 155 0 0 25 0 1 0 849684811 213905408 50661 4294967295 134512640 134581267 3221224592 3221223504 134527948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50661 566 18 0 52205 0
vsize: 208892
[startup+970.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50687 0 0 0 96862 155 0 0 25 0 1 0 849684811 213905408 50661 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50661 566 18 0 52205 0
vsize: 208892
[startup+980.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50687 0 0 0 97862 155 0 0 25 0 1 0 849684811 213905408 50661 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50661 566 18 0 52205 0
vsize: 208892
[startup+990.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50687 0 0 0 98862 156 0 0 25 0 1 0 849684811 213905408 50661 4294967295 134512640 134581267 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50661 566 18 0 52205 0
vsize: 208892
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50700 0 0 0 99862 156 0 0 25 0 1 0 849684811 213905408 50674 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50674 566 18 0 52205 0
vsize: 208892
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50710 0 0 0 100862 156 0 0 25 0 1 0 849684811 213905408 50684 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50684 566 18 0 52205 0
vsize: 208892
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50710 0 0 0 101862 156 0 0 25 0 1 0 849684811 213905408 50684 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50684 566 18 0 52205 0
vsize: 208892
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50710 0 0 0 102861 157 0 0 25 0 1 0 849684811 213905408 50684 4294967295 134512640 134581267 3221224592 3221223488 134517779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50684 566 18 0 52205 0
vsize: 208892
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50710 0 0 0 103861 157 0 0 25 0 1 0 849684811 213905408 50684 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50684 566 18 0 52205 0
vsize: 208892
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50710 0 0 0 104861 157 0 0 25 0 1 0 849684811 213905408 50684 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50684 566 18 0 52205 0
vsize: 208892
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50711 0 0 0 105861 157 0 0 25 0 1 0 849684811 213905408 50685 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50685 566 18 0 52205 0
vsize: 208892
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 50711 0 0 0 106861 158 0 0 25 0 1 0 849684811 213905408 50685 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52223 50685 566 18 0 52205 0
vsize: 208892
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 53577 0 0 0 107855 164 0 0 25 0 1 0 849684811 225927168 53551 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55158 53551 566 18 0 55140 0
vsize: 220632
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 55720 0 0 0 108850 169 0 0 25 0 1 0 849684811 234885120 55694 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57345 55694 566 18 0 57327 0
vsize: 229380
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 55825 0 0 0 109850 170 0 0 25 0 1 0 849684811 235528192 55799 4294967295 134512640 134581267 3221224592 3221223552 134516754 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57502 55799 566 18 0 57484 0
vsize: 230008
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 55825 0 0 0 110850 170 0 0 25 0 1 0 849684811 235528192 55799 4294967295 134512640 134581267 3221224592 3221223552 134516747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57502 55799 566 18 0 57484 0
vsize: 230008
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 55825 0 0 0 111850 170 0 0 25 0 1 0 849684811 235528192 55799 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57502 55799 566 18 0 57484 0
vsize: 230008
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 55825 0 0 0 112850 170 0 0 25 0 1 0 849684811 235528192 55799 4294967295 134512640 134581267 3221224592 3221223536 134558897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57502 55799 566 18 0 57484 0
vsize: 230008
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 55825 0 0 0 113849 171 0 0 25 0 1 0 849684811 235528192 55799 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57502 55799 566 18 0 57484 0
vsize: 230008
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 55825 0 0 0 114849 172 0 0 25 0 1 0 849684811 235528192 55799 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57502 55799 566 18 0 57484 0
vsize: 230008
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 55825 0 0 0 115848 172 0 0 25 0 1 0 849684811 235528192 55799 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57502 55799 566 18 0 57484 0
vsize: 230008
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 55825 0 0 0 116848 173 0 0 25 0 1 0 849684811 235528192 55799 4294967295 134512640 134581267 3221224592 3221223472 134520282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57502 55799 566 18 0 57484 0
vsize: 230008
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 55825 0 0 0 117847 173 0 0 25 0 1 0 849684811 235528192 55799 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57502 55799 566 18 0 57484 0
vsize: 230008
[startup+1188.94 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 8421
Raw data (stat): 8421 (Pueblo-v2) R 8420 21152 21151 0 -1 0 55825 0 0 0 117847 173 0 0 25 0 1 0 849684811 235528192 55799 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57502 55799 566 18 0 57484 0
vsize: 0

Child status: 10
Real time (s): 1188.94
CPU time (s): 1189.11
CPU user time (s): 1187.27
CPU system time (s): 1.84472
CPU usage (%): 100.015
Max. virtual memory (Kb): 230008
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-6
#### END VERIFIER DATA ####