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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
MD5SUM38d41fdbe49543e8928c5210e4323f00
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
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 numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.08
Number of variables760
Total number of constraints41619
Number of constraints which are clauses41619
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2

Trace number 38532

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-02 12:27:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26598 boxname=wulflinc3 idbench=328 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  38d41fdbe49543e8928c5210e4323f00  /oldhome/oroussel/tmp/wulflinc3/normalized-frb40-19-5.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-frb40-19-5.opb
IDLAUNCH: 26598
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        701632 kB
Buffers:         34212 kB
Cached:         276524 kB
SwapCached:        228 kB
Active:          61616 kB
Inactive:       251740 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        701380 kB
SwapTotal:     2097136 kB
SwapFree:      2096480 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6336 kB
Slab:            14040 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 12:46:55 (client local time) WITH STATUS 10 IN 1189.13 SECONDS
stats: 26598 0 1189.13 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/wulflinc3/normalized-frb40-19-5.opb
c #variables read: 760 - #constraints read: 41620
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): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (runsolver) R 10037 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849772315 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.0003 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 4048 0 0 0 990 9 0 0 25 0 1 0 849772315 22331392 4022 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5452 4022 566 18 0 5434 0
vsize: 21808
[startup+20.0016 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 7839 0 0 0 1982 17 0 0 25 0 1 0 849772315 37888000 7813 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9250 7813 566 18 0 9232 0
vsize: 37000
[startup+30.0019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 9877 0 0 0 2976 23 0 0 25 0 1 0 849772315 46424064 9851 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11334 9851 566 18 0 11316 0
vsize: 45336
[startup+40.0028 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 11666 0 0 0 3971 29 0 0 25 0 1 0 849772315 53714944 11640 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13114 11640 566 18 0 13096 0
vsize: 52456
[startup+50.0041 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 12732 0 0 0 4968 31 0 0 25 0 1 0 849772315 58101760 12706 4294967295 134512640 134581267 3221224592 3221223520 134519791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14185 12706 566 18 0 14167 0
vsize: 56740
[startup+60.0035 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 15675 0 0 0 5962 38 0 0 25 0 1 0 849772315 70455296 15649 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17201 15649 566 18 0 17183 0
vsize: 68804
[startup+70.0043 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 18540 0 0 0 6956 44 0 0 25 0 1 0 849772315 82542592 18514 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20152 18514 566 18 0 20134 0
vsize: 80608
[startup+80.0046 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 20433 0 0 0 7952 48 0 0 25 0 1 0 849772315 90238976 20407 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22031 20407 566 18 0 22013 0
vsize: 88124
[startup+90.005 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 22323 0 0 0 8947 53 0 0 25 0 1 0 849772315 98004992 22297 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23927 22297 566 18 0 23909 0
vsize: 95708
[startup+100.005 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 23124 0 0 0 9944 57 0 0 25 0 1 0 849772315 101367808 23098 4294967295 134512640 134581267 3221224592 3221223520 134519797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24748 23098 566 18 0 24730 0
vsize: 98992
[startup+110.005 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 23904 0 0 0 10941 59 0 0 25 0 1 0 849772315 104501248 23878 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25513 23878 566 18 0 25495 0
vsize: 102052
[startup+120.006 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 25059 0 0 0 11938 62 0 0 25 0 1 0 849772315 109285376 25033 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26681 25033 566 18 0 26663 0
vsize: 106724
[startup+130.005 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 26116 0 0 0 12934 66 0 0 25 0 1 0 849772315 113700864 26090 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27759 26090 566 18 0 27741 0
vsize: 111036
[startup+140.007 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 27113 0 0 0 13932 69 0 0 25 0 1 0 849772315 117714944 27087 4294967295 134512640 134581267 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28739 27087 566 18 0 28721 0
vsize: 114956
[startup+150.007 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 28384 0 0 0 14929 72 0 0 25 0 1 0 849772315 123203584 28358 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30079 28358 566 18 0 30061 0
vsize: 120316
[startup+160.007 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 30768 0 0 0 15924 78 0 0 25 0 1 0 849772315 133210112 30742 4294967295 134512640 134581267 3221224592 3221223536 134559415 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32522 30742 566 18 0 32504 0
vsize: 130088
[startup+170.007 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 34483 0 0 0 16916 86 0 0 25 0 1 0 849772315 148463616 34457 4294967295 134512640 134581267 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36246 34457 566 18 0 36228 0
vsize: 144984
[startup+180.007 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 34483 0 0 0 17915 86 0 0 25 0 1 0 849772315 148463616 34457 4294967295 134512640 134581267 3221224592 3221223552 134516751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36246 34457 566 18 0 36228 0
vsize: 144984
[startup+190.007 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 34483 0 0 0 18915 87 0 0 25 0 1 0 849772315 148463616 34457 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36246 34457 566 18 0 36228 0
vsize: 144984
[startup+200.008 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 34483 0 0 0 19914 88 0 0 25 0 1 0 849772315 148463616 34457 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36246 34457 566 18 0 36228 0
vsize: 144984
[startup+210.007 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 34485 0 0 0 20913 89 0 0 25 0 1 0 849772315 148463616 34459 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36246 34459 566 18 0 36228 0
vsize: 144984
[startup+220.008 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 34486 0 0 0 21913 89 0 0 25 0 1 0 849772315 148463616 34460 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36246 34460 566 18 0 36228 0
vsize: 144984
[startup+230.008 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 34486 0 0 0 22912 89 0 0 25 0 1 0 849772315 148463616 34460 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36246 34460 566 18 0 36228 0
vsize: 144984
[startup+240.009 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 34486 0 0 0 23911 90 0 0 25 0 1 0 849772315 148463616 34460 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36246 34460 566 18 0 36228 0
vsize: 144984
[startup+250.008 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 34486 0 0 0 24910 91 0 0 25 0 1 0 849772315 148463616 34460 4294967295 134512640 134581267 3221224592 3221223564 134519895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36246 34460 566 18 0 36228 0
vsize: 144984
[startup+260.011 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 34486 0 0 0 25910 92 0 0 25 0 1 0 849772315 148463616 34460 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36246 34460 566 18 0 36228 0
vsize: 144984
[startup+270.012 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 34486 0 0 0 26908 94 0 0 25 0 1 0 849772315 148463616 34460 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36246 34460 566 18 0 36228 0
vsize: 144984
[startup+280.011 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 35216 0 0 0 27905 97 0 0 25 0 1 0 849772315 151580672 35190 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37007 35190 566 18 0 36989 0
vsize: 148028
[startup+290.017 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 37558 0 0 0 28900 102 0 0 25 0 1 0 849772315 161181696 37532 4294967295 134512640 134581267 3221224592 3221223536 134558875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39351 37532 566 18 0 39333 0
vsize: 157404
[startup+300.017 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 40827 0 0 0 29891 111 0 0 25 0 1 0 849772315 174522368 40801 4294967295 134512640 134581267 3221224592 3221223456 134528336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42608 40801 566 18 0 42590 0
vsize: 170432
[startup+310.016 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 41765 0 0 0 30890 112 0 0 25 0 1 0 849772315 178511872 41739 4294967295 134512640 134581267 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43582 41739 566 18 0 43564 0
vsize: 174328
[startup+320.017 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 41765 0 0 0 31890 113 0 0 25 0 1 0 849772315 178511872 41739 4294967295 134512640 134581267 3221224592 3221223524 134558724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43582 41739 566 18 0 43564 0
vsize: 174328
[startup+330.018 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 41765 0 0 0 32888 114 0 0 25 0 1 0 849772315 178511872 41739 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43582 41739 566 18 0 43564 0
vsize: 174328
[startup+340.018 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 41765 0 0 0 33886 116 0 0 25 0 1 0 849772315 178511872 41739 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43582 41739 566 18 0 43564 0
vsize: 174328
[startup+350.018 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 41765 0 0 0 34886 117 0 0 25 0 1 0 849772315 178511872 41739 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43582 41739 566 18 0 43564 0
vsize: 174328
[startup+360.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 41765 0 0 0 35885 117 0 0 25 0 1 0 849772315 178511872 41739 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43582 41739 566 18 0 43564 0
vsize: 174328
[startup+370.018 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 41765 0 0 0 36884 118 0 0 25 0 1 0 849772315 178511872 41739 4294967295 134512640 134581267 3221224592 3221223520 134519869 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43582 41739 566 18 0 43564 0
vsize: 174328
[startup+380.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 41765 0 0 0 37884 119 0 0 25 0 1 0 849772315 178511872 41739 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43582 41739 566 18 0 43564 0
vsize: 174328
[startup+390.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 41765 0 0 0 38883 119 0 0 25 0 1 0 849772315 178511872 41739 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43582 41739 566 18 0 43564 0
vsize: 174328
[startup+400.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 41765 0 0 0 39883 119 0 0 25 0 1 0 849772315 178511872 41739 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43582 41739 566 18 0 43564 0
vsize: 174328
[startup+410.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 41765 0 0 0 40882 120 0 0 25 0 1 0 849772315 178511872 41739 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43582 41739 566 18 0 43564 0
vsize: 174328
[startup+420.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 41765 0 0 0 41882 121 0 0 25 0 1 0 849772315 178511872 41739 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43582 41739 566 18 0 43564 0
vsize: 174328
[startup+430.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 41765 0 0 0 42881 122 0 0 25 0 1 0 849772315 178511872 41739 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43582 41739 566 18 0 43564 0
vsize: 174328
[startup+440.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 41766 0 0 0 43881 122 0 0 25 0 1 0 849772315 178511872 41740 4294967295 134512640 134581267 3221224592 3221223488 134517827 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43582 41740 566 18 0 43564 0
vsize: 174328
[startup+450.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 41766 0 0 0 44880 122 0 0 25 0 1 0 849772315 178511872 41740 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43582 41740 566 18 0 43564 0
vsize: 174328
[startup+460.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 41837 0 0 0 45880 123 0 0 25 0 1 0 849772315 178769920 41811 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43645 41811 566 18 0 43627 0
vsize: 174580
[startup+470.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 42724 0 0 0 46879 125 0 0 25 0 1 0 849772315 182386688 42698 4294967295 134512640 134581267 3221224592 3221223584 134561071 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44528 42698 566 18 0 44510 0
vsize: 178112
[startup+480.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 45240 0 0 0 47872 131 0 0 25 0 1 0 849772315 192753664 45214 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47059 45214 566 18 0 47041 0
vsize: 188236
[startup+490.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 46213 0 0 0 48871 133 0 0 25 0 1 0 849772315 196726784 46187 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48029 46187 566 18 0 48011 0
vsize: 192116
[startup+500.022 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 46213 0 0 0 49871 133 0 0 25 0 1 0 849772315 196726784 46187 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48029 46187 566 18 0 48011 0
vsize: 192116
[startup+510.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 46213 0 0 0 50871 133 0 0 25 0 1 0 849772315 196726784 46187 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48029 46187 566 18 0 48011 0
vsize: 192116
[startup+520.022 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 46213 0 0 0 51870 134 0 0 25 0 1 0 849772315 196726784 46187 4294967295 134512640 134581267 3221224592 3221223584 134561094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48029 46187 566 18 0 48011 0
vsize: 192116
[startup+530.022 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 46213 0 0 0 52870 134 0 0 25 0 1 0 849772315 196726784 46187 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48029 46187 566 18 0 48011 0
vsize: 192116
[startup+540.023 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 46213 0 0 0 53870 135 0 0 25 0 1 0 849772315 196726784 46187 4294967295 134512640 134581267 3221224592 3221223568 134561057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48029 46187 566 18 0 48011 0
vsize: 192116
[startup+550.022 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 46213 0 0 0 54869 136 0 0 25 0 1 0 849772315 196726784 46187 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48029 46187 566 18 0 48011 0
vsize: 192116
[startup+560.023 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 46213 0 0 0 55869 136 0 0 25 0 1 0 849772315 196726784 46187 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48029 46187 566 18 0 48011 0
vsize: 192116
[startup+570.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 46213 0 0 0 56868 137 0 0 25 0 1 0 849772315 196726784 46187 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48029 46187 566 18 0 48011 0
vsize: 192116
[startup+580.023 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 46213 0 0 0 57867 138 0 0 25 0 1 0 849772315 196726784 46187 4294967295 134512640 134581267 3221224592 3221223536 134558901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48029 46187 566 18 0 48011 0
vsize: 192116
[startup+590.023 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 46213 0 0 0 58866 139 0 0 25 0 1 0 849772315 196726784 46187 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48029 46187 566 18 0 48011 0
vsize: 192116
[startup+600.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 46213 0 0 0 59866 139 0 0 25 0 1 0 849772315 196726784 46187 4294967295 134512640 134581267 3221224592 3221223520 134519869 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48029 46187 566 18 0 48011 0
vsize: 192116
[startup+610.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 46213 0 0 0 60866 140 0 0 25 0 1 0 849772315 196726784 46187 4294967295 134512640 134581267 3221224592 3221223520 134519797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48029 46187 566 18 0 48011 0
vsize: 192116
[startup+620.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 46213 0 0 0 61865 141 0 0 25 0 1 0 849772315 196726784 46187 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48029 46187 566 18 0 48011 0
vsize: 192116
[startup+630.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 47955 0 0 0 62860 146 0 0 25 0 1 0 849772315 203829248 47929 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49763 47929 566 18 0 49745 0
vsize: 199052
[startup+640.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 50600 0 0 0 63853 153 0 0 25 0 1 0 849772315 214663168 50574 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52408 50574 566 18 0 52390 0
vsize: 209632
[startup+650.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 50910 0 0 0 64853 154 0 0 25 0 1 0 849772315 215953408 50884 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52723 50884 566 18 0 52705 0
vsize: 210892
[startup+660.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 50910 0 0 0 65853 154 0 0 25 0 1 0 849772315 215953408 50884 4294967295 134512640 134581267 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52723 50884 566 18 0 52705 0
vsize: 210892
[startup+670.024 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 50910 0 0 0 66852 155 0 0 25 0 1 0 849772315 215953408 50884 4294967295 134512640 134581267 3221224592 3221223468 1075285088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52723 50884 566 18 0 52705 0
vsize: 210892
[startup+680.025 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 50910 0 0 0 67852 155 0 0 25 0 1 0 849772315 215953408 50884 4294967295 134512640 134581267 3221224592 3221223472 134520282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52723 50884 566 18 0 52705 0
vsize: 210892
[startup+690.026 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 50910 0 0 0 68851 156 0 0 25 0 1 0 849772315 215953408 50884 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52723 50884 566 18 0 52705 0
vsize: 210892
[startup+700.025 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 50910 0 0 0 69850 157 0 0 25 0 1 0 849772315 215953408 50884 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52723 50884 566 18 0 52705 0
vsize: 210892
[startup+710.025 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 50910 0 0 0 70850 158 0 0 25 0 1 0 849772315 215953408 50884 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52723 50884 566 18 0 52705 0
vsize: 210892
[startup+720.026 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 50913 0 0 0 71850 158 0 0 25 0 1 0 849772315 215953408 50887 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52723 50887 566 18 0 52705 0
vsize: 210892
[startup+730.026 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 50913 0 0 0 72850 158 0 0 25 0 1 0 849772315 215953408 50887 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52723 50887 566 18 0 52705 0
vsize: 210892
[startup+740.027 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 50913 0 0 0 73850 159 0 0 25 0 1 0 849772315 215953408 50887 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52723 50887 566 18 0 52705 0
vsize: 210892
[startup+750.027 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 50913 0 0 0 74849 159 0 0 25 0 1 0 849772315 215953408 50887 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52723 50887 566 18 0 52705 0
vsize: 210892
[startup+760.026 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 50913 0 0 0 75849 160 0 0 25 0 1 0 849772315 215953408 50887 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52723 50887 566 18 0 52705 0
vsize: 210892
[startup+770.026 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 50913 0 0 0 76848 160 0 0 25 0 1 0 849772315 215953408 50887 4294967295 134512640 134581267 3221224592 3221223584 134561093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52723 50887 566 18 0 52705 0
vsize: 210892
[startup+780.027 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 50913 0 0 0 77849 160 0 0 25 0 1 0 849772315 215953408 50887 4294967295 134512640 134581267 3221224592 3221223368 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52723 50887 566 18 0 52705 0
vsize: 210892
[startup+790.027 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 50913 0 0 0 78848 161 0 0 25 0 1 0 849772315 215953408 50887 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52723 50887 566 18 0 52705 0
vsize: 210892
[startup+800.027 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 52025 0 0 0 79846 163 0 0 25 0 1 0 849772315 220725248 51999 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53888 51999 566 18 0 53870 0
vsize: 215552
[startup+810.027 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 55237 0 0 0 80840 169 0 0 25 0 1 0 849772315 233897984 55211 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57104 55211 566 18 0 57086 0
vsize: 228416
[startup+820.027 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 55869 0 0 0 81838 171 0 0 25 0 1 0 849772315 236482560 55843 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57735 55843 566 18 0 57717 0
vsize: 230940
[startup+830.027 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 55869 0 0 0 82839 171 0 0 25 0 1 0 849772315 236482560 55843 4294967295 134512640 134581267 3221224592 3221223552 134516747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57735 55843 566 18 0 57717 0
vsize: 230940
[startup+840.028 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 55869 0 0 0 83838 172 0 0 25 0 1 0 849772315 236482560 55843 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57735 55843 566 18 0 57717 0
vsize: 230940
[startup+850.029 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 55869 0 0 0 84838 173 0 0 25 0 1 0 849772315 236482560 55843 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57735 55843 566 18 0 57717 0
vsize: 230940
[startup+860.029 s]
Raw data (loadavg): 1.15 1.02 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 55869 0 0 0 85837 173 0 0 25 0 1 0 849772315 236482560 55843 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57735 55843 566 18 0 57717 0
vsize: 230940
[startup+870.03 s]
Raw data (loadavg): 1.13 1.02 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 55869 0 0 0 86836 175 0 0 25 0 1 0 849772315 236482560 55843 4294967295 134512640 134581267 3221224592 3221223508 1075285632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57735 55843 566 18 0 57717 0
vsize: 230940
[startup+880.03 s]
Raw data (loadavg): 1.11 1.01 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 55869 0 0 0 87836 175 0 0 25 0 1 0 849772315 236482560 55843 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57735 55843 566 18 0 57717 0
vsize: 230940
[startup+890.032 s]
Raw data (loadavg): 1.09 1.01 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 55869 0 0 0 88835 176 0 0 25 0 1 0 849772315 236482560 55843 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57735 55843 566 18 0 57717 0
vsize: 230940
[startup+900.032 s]
Raw data (loadavg): 1.08 1.01 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 55869 0 0 0 89835 177 0 0 25 0 1 0 849772315 236482560 55843 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57735 55843 566 18 0 57717 0
vsize: 230940
[startup+910.032 s]
Raw data (loadavg): 1.06 1.01 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 55869 0 0 0 90834 178 0 0 25 0 1 0 849772315 236482560 55843 4294967295 134512640 134581267 3221224592 3221223384 1075289347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57735 55843 566 18 0 57717 0
vsize: 230940
[startup+920.033 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 55869 0 0 0 91833 179 0 0 25 0 1 0 849772315 236482560 55843 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57735 55843 566 18 0 57717 0
vsize: 230940
[startup+930.033 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 55869 0 0 0 92833 179 0 0 25 0 1 0 849772315 236482560 55843 4294967295 134512640 134581267 3221224592 3221223536 134559429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57735 55843 566 18 0 57717 0
vsize: 230940
[startup+940.033 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 55869 0 0 0 93833 180 0 0 25 0 1 0 849772315 236482560 55843 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57735 55843 566 18 0 57717 0
vsize: 230940
[startup+950.034 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 55869 0 0 0 94833 180 0 0 25 0 1 0 849772315 236482560 55843 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57735 55843 566 18 0 57717 0
vsize: 230940
[startup+960.034 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 56125 0 0 0 95832 181 0 0 25 0 1 0 849772315 237510656 56099 4294967295 134512640 134581267 3221224592 3221223552 134516716 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57986 56099 566 18 0 57968 0
vsize: 231944
[startup+970.034 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 56125 0 0 0 96832 181 0 0 25 0 1 0 849772315 237510656 56099 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57986 56099 566 18 0 57968 0
vsize: 231944
[startup+980.034 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 56125 0 0 0 97832 181 0 0 25 0 1 0 849772315 237510656 56099 4294967295 134512640 134581267 3221224592 3221223384 1075289344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57986 56099 566 18 0 57968 0
vsize: 231944
[startup+990.035 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 56125 0 0 0 98830 183 0 0 25 0 1 0 849772315 237510656 56099 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57986 56099 566 18 0 57968 0
vsize: 231944
[startup+1000.03 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 56125 0 0 0 99829 184 0 0 25 0 1 0 849772315 237510656 56099 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57986 56099 566 18 0 57968 0
vsize: 231944
[startup+1010.03 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 56125 0 0 0 100828 185 0 0 25 0 1 0 849772315 237510656 56099 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57986 56099 566 18 0 57968 0
vsize: 231944
[startup+1020.03 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 56125 0 0 0 101827 187 0 0 25 0 1 0 849772315 237510656 56099 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57986 56099 566 18 0 57968 0
vsize: 231944
[startup+1030.03 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 56125 0 0 0 102827 187 0 0 25 0 1 0 849772315 237510656 56099 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57986 56099 566 18 0 57968 0
vsize: 231944
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 56125 0 0 0 103826 189 0 0 25 0 1 0 849772315 237510656 56099 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57986 56099 566 18 0 57968 0
vsize: 231944
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 56125 0 0 0 104825 189 0 0 25 0 1 0 849772315 237510656 56099 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57986 56099 566 18 0 57968 0
vsize: 231944
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 56125 0 0 0 105825 190 0 0 25 0 1 0 849772315 237510656 56099 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57986 56099 566 18 0 57968 0
vsize: 231944
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 56125 0 0 0 106824 191 0 0 25 0 1 0 849772315 237510656 56099 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57986 56099 566 18 0 57968 0
vsize: 231944
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 56125 0 0 0 107824 191 0 0 25 0 1 0 849772315 237510656 56099 4294967295 134512640 134581267 3221224592 3221223504 134531368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57986 56099 566 18 0 57968 0
vsize: 231944
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 56125 0 0 0 108823 192 0 0 25 0 1 0 849772315 237510656 56099 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57986 56099 566 18 0 57968 0
vsize: 231944
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 56125 0 0 0 109823 192 0 0 25 0 1 0 849772315 237510656 56099 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57986 56099 566 18 0 57968 0
vsize: 231944
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 56125 0 0 0 110822 194 0 0 25 0 1 0 849772315 237510656 56099 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57986 56099 566 18 0 57968 0
vsize: 231944
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 58242 0 0 0 111817 198 0 0 25 0 1 0 849772315 246169600 58216 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60100 58216 566 18 0 60082 0
vsize: 240400
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 60878 0 0 0 112813 203 0 0 25 0 1 0 849772315 256901120 60852 4294967295 134512640 134581267 3221224592 3221223520 134520092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62720 60852 566 18 0 62702 0
vsize: 250880
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 61561 0 0 0 113811 205 0 0 25 0 1 0 849772315 259739648 61535 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63413 61535 566 18 0 63395 0
vsize: 253652
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 61561 0 0 0 114811 205 0 0 25 0 1 0 849772315 259739648 61535 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63413 61535 566 18 0 63395 0
vsize: 253652
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 61561 0 0 0 115811 205 0 0 25 0 1 0 849772315 259739648 61535 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63413 61535 566 18 0 63395 0
vsize: 253652
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 61561 0 0 0 116811 206 0 0 25 0 1 0 849772315 259739648 61535 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63413 61535 566 18 0 63395 0
vsize: 253652
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 61561 0 0 0 117809 207 0 0 25 0 1 0 849772315 259739648 61535 4294967295 134512640 134581267 3221224592 3221223536 134558806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63413 61535 566 18 0 63395 0
vsize: 253652
[startup+1188.99 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 10038
Raw data (stat): 10038 (Pueblo-v2) R 10037 20224 20223 0 -1 0 61561 0 0 0 117809 207 0 0 25 0 1 0 849772315 259739648 61535 4294967295 134512640 134581267 3221224592 3221223536 134558806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63413 61535 566 18 0 63395 0
vsize: 0

Child status: 10
Real time (s): 1188.99
CPU time (s): 1189.13
CPU user time (s): 1186.93
CPU system time (s): 2.19967
CPU usage (%): 100.012
Max. virtual memory (Kb): 253652
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-7
#### END VERIFIER DATA ####