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-5.opb
MD5SUM	38d41fdbe49543e8928c5210e4323f00
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.08
Number of variables	760
Total number of constraints	41619
Number of constraints which are clauses	41619
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 24780

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 22:21:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2950 boxname=wulflinc31 idbench=328 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  38d41fdbe49543e8928c5210e4323f00  /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-5.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-5.opb
IDLAUNCH: 2950
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        881608 kB
Buffers:         35444 kB
Cached:          95900 kB
SwapCached:       1936 kB
Active:          99860 kB
Inactive:        34748 kB
HighTotal:      131008 kB
HighFree:        34216 kB
LowTotal:       903652 kB
LowFree:        847392 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12808 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 22:41:05 (client local time) WITH STATUS 10 IN 1189.11 SECONDS
stats: 2950 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/wulflinc31/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
Raw data (loadavg): 0.92 0.98 0.98 2/55 12555
Raw data (stat): 12555 (runsolver) R 12554 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 730085320 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0016 s]
Raw data (loadavg): 0.93 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 1515 0 0 0 991 6 0 0 25 0 1 0 730085320 11890688 1492 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2903 1492 566 18 0 2885 0
vsize: 11612
[startup+20.0022 s]
Raw data (loadavg): 0.94 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 1981 0 0 0 1989 7 0 0 25 0 1 0 730085320 13832192 1958 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3377 1958 566 18 0 3359 0
vsize: 13508
[startup+30.0031 s]
Raw data (loadavg): 0.95 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 2566 0 0 0 2989 8 0 0 25 0 1 0 730085320 16293888 2543 4294967295 134512640 134581331 3221221792 3221220704 134518996 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3978 2543 566 18 0 3960 0
vsize: 15912
[startup+40.0035 s]
Raw data (loadavg): 0.96 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 3095 0 0 0 3987 10 0 0 25 0 1 0 730085320 18432000 3072 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4500 3072 566 18 0 4482 0
vsize: 18000
[startup+50.004 s]
Raw data (loadavg): 0.96 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 3687 0 0 0 4985 12 0 0 25 0 1 0 730085320 20873216 3664 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5096 3664 566 18 0 5078 0
vsize: 20384
[startup+60.0039 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 4214 0 0 0 5984 14 0 0 25 0 1 0 730085320 23027712 4191 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5622 4191 566 18 0 5604 0
vsize: 22488
[startup+70.0053 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 4818 0 0 0 6982 16 0 0 25 0 1 0 730085320 25501696 4795 4294967295 134512640 134581331 3221221792 3221220512 134523390 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6226 4795 566 18 0 6208 0
vsize: 24904
[startup+80.0058 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 5441 0 0 0 7980 17 0 0 25 0 1 0 730085320 28094464 5418 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6859 5418 566 18 0 6841 0
vsize: 27436
[startup+90.0057 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 5945 0 0 0 8980 18 0 0 25 0 1 0 730085320 30093312 5922 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7347 5922 566 18 0 7329 0
vsize: 29388
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 6500 0 0 0 9979 19 0 0 25 0 1 0 730085320 32313344 6477 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7889 6477 566 18 0 7871 0
vsize: 31556
[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 7051 0 0 0 10978 20 0 0 25 0 1 0 730085320 34607104 7028 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8449 7028 566 18 0 8431 0
vsize: 33796
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 7573 0 0 0 11976 22 0 0 25 0 1 0 730085320 36773888 7550 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8978 7550 566 18 0 8960 0
vsize: 35912
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 8165 0 0 0 12975 24 0 0 25 0 1 0 730085320 39247872 8142 4294967295 134512640 134581331 3221221792 3221220704 134527645 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9582 8142 566 18 0 9564 0
vsize: 38328
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 8712 0 0 0 13974 25 0 0 25 0 1 0 730085320 41451520 8689 4294967295 134512640 134581331 3221221792 3221220720 134519950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10120 8689 566 18 0 10102 0
vsize: 40480
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 9235 0 0 0 14973 26 0 0 25 0 1 0 730085320 43687936 9212 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10666 9212 566 18 0 10648 0
vsize: 42664
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 9794 0 0 0 15972 27 0 0 25 0 1 0 730085320 46002176 9771 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11231 9771 566 18 0 11213 0
vsize: 44924
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 10280 0 0 0 16971 28 0 0 25 0 1 0 730085320 47894528 10257 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11693 10257 566 18 0 11675 0
vsize: 46772
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 10637 0 0 0 17971 29 0 0 25 0 1 0 730085320 49516544 10614 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12089 10614 566 18 0 12071 0
vsize: 48356
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 11030 0 0 0 18970 30 0 0 25 0 1 0 730085320 51023872 11007 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12457 11007 566 18 0 12439 0
vsize: 49828
[startup+200.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 11437 0 0 0 19969 31 0 0 25 0 1 0 730085320 52809728 11414 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12893 11414 566 18 0 12875 0
vsize: 51572
[startup+210.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 11810 0 0 0 20968 32 0 0 25 0 1 0 730085320 54312960 11787 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13260 11787 566 18 0 13242 0
vsize: 53040
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 12322 0 0 0 21967 33 0 0 25 0 1 0 730085320 56348672 12299 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13757 12299 566 18 0 13739 0
vsize: 55028
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 12770 0 0 0 22966 34 0 0 25 0 1 0 730085320 58257408 12747 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14223 12747 566 18 0 14205 0
vsize: 56892
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 13226 0 0 0 23966 35 0 0 25 0 1 0 730085320 60153856 13203 4294967295 134512640 134581331 3221221792 3221220772 134526342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14686 13203 566 18 0 14668 0
vsize: 58744
[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 13686 0 0 0 24965 36 0 0 25 0 1 0 730085320 61968384 13663 4294967295 134512640 134581331 3221221792 3221220512 134523363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15129 13663 566 18 0 15111 0
vsize: 60516
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 14097 0 0 0 25965 36 0 0 25 0 1 0 730085320 63639552 14074 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15537 14074 566 18 0 15519 0
vsize: 62148
[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 14404 0 0 0 26964 37 0 0 25 0 1 0 730085320 65011712 14381 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15872 14381 566 18 0 15854 0
vsize: 63488
[startup+280.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 14661 0 0 0 27964 38 0 0 25 0 1 0 730085320 66019328 14638 4294967295 134512640 134581331 3221221792 3221220288 1075289350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16118 14638 566 18 0 16100 0
vsize: 64472
[startup+290.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 15005 0 0 0 28963 38 0 0 25 0 1 0 730085320 67645440 14982 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16515 14982 566 18 0 16497 0
vsize: 66060
[startup+300.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 15319 0 0 0 29961 40 0 0 25 0 1 0 730085320 68890624 15296 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16819 15296 566 18 0 16801 0
vsize: 67276
[startup+310.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 15626 0 0 0 30960 41 0 0 25 0 1 0 730085320 70123520 15603 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17120 15603 566 18 0 17102 0
vsize: 68480
[startup+320.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 16011 0 0 0 31959 42 0 0 25 0 1 0 730085320 71790592 15988 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17527 15988 566 18 0 17509 0
vsize: 70108
[startup+330.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 16353 0 0 0 32958 43 0 0 25 0 1 0 730085320 73166848 16330 4294967295 134512640 134581331 3221221792 3221220508 1075289350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17863 16330 566 18 0 17845 0
vsize: 71452
[startup+340.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 16722 0 0 0 33957 44 0 0 25 0 1 0 730085320 74661888 16699 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18228 16699 566 18 0 18210 0
vsize: 72912
[startup+350.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 17041 0 0 0 34956 45 0 0 25 0 1 0 730085320 76038144 17018 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18564 17018 566 18 0 18546 0
vsize: 74256
[startup+360.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 17456 0 0 0 35955 47 0 0 25 0 1 0 730085320 77680640 17433 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18965 17433 566 18 0 18947 0
vsize: 75860
[startup+370.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 17820 0 0 0 36955 47 0 0 25 0 1 0 730085320 79171584 17797 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19329 17797 566 18 0 19311 0
vsize: 77316
[startup+380.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 18178 0 0 0 37954 49 0 0 25 0 1 0 730085320 80678912 18155 4294967295 134512640 134581331 3221221792 3221220512 134523352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19697 18155 566 18 0 19679 0
vsize: 78788
[startup+390.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 18550 0 0 0 38953 49 0 0 25 0 1 0 730085320 82153472 18527 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20057 18527 566 18 0 20039 0
vsize: 80228
[startup+400.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 18825 0 0 0 39953 50 0 0 25 0 1 0 730085320 83271680 18802 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20330 18802 566 18 0 20312 0
vsize: 81320
[startup+410.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 19204 0 0 0 40951 52 0 0 25 0 1 0 730085320 84897792 19181 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20727 19181 566 18 0 20709 0
vsize: 82908
[startup+420.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 19509 0 0 0 41951 52 0 0 25 0 1 0 730085320 86147072 19486 4294967295 134512640 134581331 3221221792 3221220720 134519996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21032 19486 566 18 0 21014 0
vsize: 84128
[startup+430.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 19770 0 0 0 42951 53 0 0 25 0 1 0 730085320 87105536 19747 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21266 19747 566 18 0 21248 0
vsize: 85064
[startup+440.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 20002 0 0 0 43950 53 0 0 25 0 1 0 730085320 88199168 19979 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21533 19979 566 18 0 21515 0
vsize: 86132
[startup+450.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 20099 0 0 0 44950 54 0 0 25 0 1 0 730085320 88465408 20076 4294967295 134512640 134581331 3221221792 3221220512 134523390 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21598 20076 566 18 0 21580 0
vsize: 86392
[startup+460.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 20332 0 0 0 45950 54 0 0 25 0 1 0 730085320 89411584 20309 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21829 20309 566 18 0 21811 0
vsize: 87316
[startup+470.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 20603 0 0 0 46950 55 0 0 25 0 1 0 730085320 90566656 20580 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22111 20580 566 18 0 22093 0
vsize: 88444
[startup+480.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 20936 0 0 0 47949 55 0 0 25 0 1 0 730085320 92114944 20913 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22489 20913 566 18 0 22471 0
vsize: 89956
[startup+490.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 21384 0 0 0 48948 56 0 0 25 0 1 0 730085320 93859840 21361 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22915 21361 566 18 0 22897 0
vsize: 91660
[startup+500.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 21858 0 0 0 49947 58 0 0 25 0 1 0 730085320 95846400 21835 4294967295 134512640 134581331 3221221792 3221220612 134528700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23400 21835 566 18 0 23382 0
vsize: 93600
[startup+510.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 22272 0 0 0 50946 59 0 0 25 0 1 0 730085320 97562624 22249 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23819 22249 566 18 0 23801 0
vsize: 95276
[startup+520.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 22636 0 0 0 51946 59 0 0 25 0 1 0 730085320 99033088 22613 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24178 22613 566 18 0 24160 0
vsize: 96712
[startup+530.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 22973 0 0 0 52945 61 0 0 25 0 1 0 730085320 100368384 22950 4294967295 134512640 134581331 3221221792 3221220512 134522305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24504 22950 566 18 0 24486 0
vsize: 98016
[startup+540.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 23526 0 0 0 53944 62 0 0 25 0 1 0 730085320 102629376 23503 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25056 23503 566 18 0 25038 0
vsize: 100224
[startup+550.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 23965 0 0 0 54943 63 0 0 25 0 1 0 730085320 104501248 23942 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25513 23942 566 18 0 25495 0
vsize: 102052
[startup+560.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 24525 0 0 0 55941 64 0 0 25 0 1 0 730085320 106782720 24502 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26070 24502 566 18 0 26052 0
vsize: 104280
[startup+570.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 24947 0 0 0 56941 65 0 0 25 0 1 0 730085320 108544000 24924 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26500 24924 566 18 0 26482 0
vsize: 106000
[startup+580.023 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 25310 0 0 0 57940 66 0 0 25 0 1 0 730085320 110022656 25287 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26861 25287 566 18 0 26843 0
vsize: 107444
[startup+590.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 25627 0 0 0 58939 67 0 0 25 0 1 0 730085320 111259648 25604 4294967295 134512640 134581331 3221221792 3221220408 1075289077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27163 25605 566 18 0 27145 0
vsize: 108652
[startup+600.023 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 25925 0 0 0 59939 68 0 0 25 0 1 0 730085320 112488448 25902 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27463 25902 566 18 0 27445 0
vsize: 109852
[startup+610.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 26055 0 0 0 60938 68 0 0 25 0 1 0 730085320 113025024 26032 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27594 26032 566 18 0 27576 0
vsize: 110376
[startup+620.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 26283 0 0 0 61938 69 0 0 25 0 1 0 730085320 114053120 26260 4294967295 134512640 134581331 3221221792 3221220428 1075289350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27845 26260 566 18 0 27827 0
vsize: 111380
[startup+630.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 26550 0 0 0 62938 70 0 0 25 0 1 0 730085320 115122176 26527 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28106 26527 566 18 0 28088 0
vsize: 112424
[startup+640.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 26813 0 0 0 63937 70 0 0 25 0 1 0 730085320 116219904 26790 4294967295 134512640 134581331 3221221792 3221220704 134519030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28374 26790 566 18 0 28356 0
vsize: 113496
[startup+650.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 27092 0 0 0 64936 71 0 0 25 0 1 0 730085320 117272576 27069 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28631 27069 566 18 0 28613 0
vsize: 114524
[startup+660.026 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 27435 0 0 0 65936 72 0 0 25 0 1 0 730085320 118636544 27412 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28964 27412 566 18 0 28946 0
vsize: 115856
[startup+670.026 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 27693 0 0 0 66935 73 0 0 25 0 1 0 730085320 119734272 27670 4294967295 134512640 134581331 3221221792 3221220512 134523766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29232 27670 566 18 0 29214 0
vsize: 116928
[startup+680.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 28122 0 0 0 67933 75 0 0 25 0 1 0 730085320 121499648 28099 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29663 28099 566 18 0 29645 0
vsize: 118652
[startup+690.028 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 28689 0 0 0 68933 76 0 0 25 0 1 0 730085320 123899904 28666 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30249 28666 566 18 0 30231 0
vsize: 120996
[startup+700.028 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 29050 0 0 0 69932 76 0 0 25 0 1 0 730085320 125407232 29027 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30617 29027 566 18 0 30599 0
vsize: 122468
[startup+710.029 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 29490 0 0 0 70932 77 0 0 25 0 1 0 730085320 127172608 29467 4294967295 134512640 134581331 3221221792 3221220736 134559478 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31048 29467 566 18 0 31030 0
vsize: 124192
[startup+720.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 29788 0 0 0 71931 78 0 0 25 0 1 0 730085320 128409600 29765 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31350 29765 566 18 0 31332 0
vsize: 125400
[startup+730.031 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 30176 0 0 0 72931 79 0 0 25 0 1 0 730085320 130068480 30153 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31755 30153 566 18 0 31737 0
vsize: 127020
[startup+740.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 30286 0 0 0 73931 79 0 0 25 0 1 0 730085320 130473984 30263 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31854 30263 566 18 0 31836 0
vsize: 127416
[startup+750.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 30568 0 0 0 74930 79 0 0 25 0 1 0 730085320 131706880 30545 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32155 30545 566 18 0 32137 0
vsize: 128620
[startup+760.032 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 30790 0 0 0 75930 80 0 0 25 0 1 0 730085320 132673536 30767 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32391 30767 566 18 0 32373 0
vsize: 129564
[startup+770.032 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 31063 0 0 0 76930 80 0 0 25 0 1 0 730085320 133763072 31040 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32657 31040 566 18 0 32639 0
vsize: 130628
[startup+780.032 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 31287 0 0 0 77929 81 0 0 25 0 1 0 730085320 134590464 31264 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32859 31264 566 18 0 32841 0
vsize: 131436
[startup+790.033 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 31567 0 0 0 78928 82 0 0 25 0 1 0 730085320 135815168 31544 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33158 31544 566 18 0 33140 0
vsize: 132632
[startup+800.033 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 31915 0 0 0 79928 83 0 0 25 0 1 0 730085320 137191424 31892 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33494 31892 566 18 0 33476 0
vsize: 133976
[startup+810.033 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 32196 0 0 0 80927 84 0 0 25 0 1 0 730085320 138395648 32173 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33788 32173 566 18 0 33770 0
vsize: 135152
[startup+820.033 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 32505 0 0 0 81926 85 0 0 25 0 1 0 730085320 139583488 32482 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34078 32482 566 18 0 34060 0
vsize: 136312
[startup+830.034 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 32946 0 0 0 82925 86 0 0 25 0 1 0 730085320 141463552 32923 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34537 32923 566 18 0 34519 0
vsize: 138148
[startup+840.034 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 33100 0 0 0 83925 86 0 0 25 0 1 0 730085320 142147584 33077 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34704 33077 566 18 0 34686 0
vsize: 138816
[startup+850.034 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 33376 0 0 0 84925 87 0 0 25 0 1 0 730085320 143253504 33353 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34974 33353 566 18 0 34956 0
vsize: 139896
[startup+860.035 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 33709 0 0 0 85925 87 0 0 25 0 1 0 730085320 144719872 33686 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35332 33686 566 18 0 35314 0
vsize: 141328
[startup+870.035 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 34005 0 0 0 86924 88 0 0 25 0 1 0 730085320 145936384 33982 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35629 33982 566 18 0 35611 0
vsize: 142516
[startup+880.036 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 34342 0 0 0 87924 88 0 0 25 0 1 0 730085320 147279872 34319 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35957 34319 566 18 0 35939 0
vsize: 143828
[startup+890.037 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 34642 0 0 0 88923 90 0 0 25 0 1 0 730085320 148504576 34619 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36256 34619 566 18 0 36238 0
vsize: 145024
[startup+900.036 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 34854 0 0 0 89922 90 0 0 25 0 1 0 730085320 149463040 34831 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36490 34831 566 18 0 36472 0
vsize: 145960
[startup+910.037 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 35139 0 0 0 90922 91 0 0 25 0 1 0 730085320 150659072 35116 4294967295 134512640 134581331 3221221792 3221220756 134519780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36782 35116 566 18 0 36764 0
vsize: 147128
[startup+920.036 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 35384 0 0 0 91921 92 0 0 25 0 1 0 730085320 151715840 35361 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37040 35361 566 18 0 37022 0
vsize: 148160
[startup+930.037 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 35767 0 0 0 92920 93 0 0 25 0 1 0 730085320 153292800 35744 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37425 35744 566 18 0 37407 0
vsize: 149700
[startup+940.037 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 36210 0 0 0 93919 94 0 0 25 0 1 0 730085320 155058176 36187 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37856 36187 566 18 0 37838 0
vsize: 151424
[startup+950.037 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 36514 0 0 0 94918 95 0 0 25 0 1 0 730085320 156299264 36491 4294967295 134512640 134581331 3221221792 3221220768 134561101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38159 36491 566 18 0 38141 0
vsize: 152636
[startup+960.038 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 36897 0 0 0 95917 97 0 0 25 0 1 0 730085320 157921280 36874 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38555 36874 566 18 0 38537 0
vsize: 154220
[startup+970.038 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 37246 0 0 0 96916 98 0 0 25 0 1 0 730085320 159289344 37223 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38889 37223 566 18 0 38871 0
vsize: 155556
[startup+980.039 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 37360 0 0 0 97916 99 0 0 25 0 1 0 730085320 159834112 37337 4294967295 134512640 134581331 3221221792 3221220752 134516726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39022 37337 566 18 0 39004 0
vsize: 156088
[startup+990.039 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 37360 0 0 0 98915 99 0 0 25 0 1 0 730085320 159834112 37337 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39022 37337 566 18 0 39004 0
vsize: 156088
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 37360 0 0 0 99916 99 0 0 25 0 1 0 730085320 159834112 37337 4294967295 134512640 134581331 3221221792 3221220704 134518996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39022 37337 566 18 0 39004 0
vsize: 156088
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 37360 0 0 0 100915 99 0 0 25 0 1 0 730085320 159834112 37337 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39022 37337 566 18 0 39004 0
vsize: 156088
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 37363 0 0 0 101915 99 0 0 25 0 1 0 730085320 159834112 37340 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39022 37340 566 18 0 39004 0
vsize: 156088
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 37363 0 0 0 102915 100 0 0 25 0 1 0 730085320 159834112 37340 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39022 37340 566 18 0 39004 0
vsize: 156088
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 37363 0 0 0 103916 100 0 0 25 0 1 0 730085320 159834112 37340 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39022 37340 566 18 0 39004 0
vsize: 156088
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 37363 0 0 0 104916 100 0 0 25 0 1 0 730085320 159834112 37340 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39022 37340 566 18 0 39004 0
vsize: 156088
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 37363 0 0 0 105916 100 0 0 25 0 1 0 730085320 159834112 37340 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39022 37340 566 18 0 39004 0
vsize: 156088
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 37364 0 0 0 106916 100 0 0 25 0 1 0 730085320 159834112 37341 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39022 37341 566 18 0 39004 0
vsize: 156088
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 37364 0 0 0 107916 100 0 0 25 0 1 0 730085320 159834112 37341 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39022 37341 566 18 0 39004 0
vsize: 156088
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 37364 0 0 0 108916 100 0 0 25 0 1 0 730085320 159834112 37341 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39022 37341 566 18 0 39004 0
vsize: 156088
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 37364 0 0 0 109916 100 0 0 25 0 1 0 730085320 159834112 37341 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39022 37341 566 18 0 39004 0
vsize: 156088
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 37364 0 0 0 110916 101 0 0 25 0 1 0 730085320 159834112 37341 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39022 37341 566 18 0 39004 0
vsize: 156088
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 37364 0 0 0 111916 101 0 0 25 0 1 0 730085320 159834112 37341 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39022 37341 566 18 0 39004 0
vsize: 156088
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 37364 0 0 0 112915 101 0 0 25 0 1 0 730085320 159834112 37341 4294967295 134512640 134581331 3221221792 3221220784 134561145 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39022 37341 566 18 0 39004 0
vsize: 156088
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 37364 0 0 0 113916 101 0 0 25 0 1 0 730085320 159834112 37341 4294967295 134512640 134581331 3221221792 3221219180 134531991 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39022 37341 566 18 0 39004 0
vsize: 156088
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 37364 0 0 0 114916 101 0 0 25 0 1 0 730085320 159834112 37341 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39022 37341 566 18 0 39004 0
vsize: 156088
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 37364 0 0 0 115916 101 0 0 25 0 1 0 730085320 159834112 37341 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39022 37341 566 18 0 39004 0
vsize: 156088
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 37366 0 0 0 116916 101 0 0 25 0 1 0 730085320 159834112 37343 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39022 37343 566 18 0 39004 0
vsize: 156088
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 37366 0 0 0 117916 102 0 0 25 0 1 0 730085320 159834112 37343 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39022 37343 566 18 0 39004 0
vsize: 156088
[startup+1188.97 s]
Raw data (loadavg): 0.99 0.98 0.98 1/54 12555
Raw data (stat): 12555 (Pueblo) R 12554 7876 7672 0 -1 0 37366 0 0 0 117916 102 0 0 25 0 1 0 730085320 159834112 37343 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39022 37343 566 18 0 39004 0
vsize: 0

Child status: 10
Real time (s): 1188.97
CPU time (s): 1189.11
CPU user time (s): 1188.02
CPU system time (s): 1.09083
CPU usage (%): 100.012
Max. virtual memory (Kb): 156088
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-9
#### END VERIFIER DATA ####