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-2.opb
MD5SUM	270e069f649d19b0da4e4d23c0e1ebfc
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-30
Optimality of the best value was proved	NO
Number of terms in the objective function	760
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	760
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	760
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.06
Number of variables	760
Total number of constraints	41263
Number of constraints which are clauses	41263
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 24765

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 17:18:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2923 boxname=wulflinc31 idbench=325 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  270e069f649d19b0da4e4d23c0e1ebfc  /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-2.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-2.opb
IDLAUNCH: 2923
/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:        884876 kB
Buffers:         35024 kB
Cached:          93124 kB
SwapCached:       1936 kB
Active:          95876 kB
Inactive:        35420 kB
HighTotal:      131008 kB
HighFree:        37100 kB
LowTotal:       903652 kB
LowFree:        847776 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12804 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 17:38:11 (client local time) WITH STATUS 10 IN 1189.13 SECONDS
stats: 2923 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/wulflinc31/normalized-frb40-19-2.opb
c #variables read: 760 - #constraints read: 41264
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.95 0.94 2/55 10826
Raw data (stat): 10826 (runsolver) R 10825 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 728267722 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 s]
Raw data (loadavg): 0.93 0.95 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 1507 0 0 0 992 5 0 0 25 0 1 0 728267722 11878400 1484 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2900 1484 566 18 0 2882 0
vsize: 11600
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.96 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 2042 0 0 0 1990 7 0 0 25 0 1 0 728267722 14065664 2019 4294967295 134512640 134581331 3221221792 3221220512 134523390 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3434 2019 566 18 0 3416 0
vsize: 13736
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.96 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 2586 0 0 0 2989 8 0 0 25 0 1 0 728267722 16265216 2563 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3971 2563 566 18 0 3953 0
vsize: 15884
[startup+40.0007 s]
Raw data (loadavg): 0.96 0.96 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 3130 0 0 0 3988 9 0 0 25 0 1 0 728267722 18616320 3107 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4545 3107 566 18 0 4527 0
vsize: 18180
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.96 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 3661 0 0 0 4987 11 0 0 25 0 1 0 728267722 20676608 3638 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5048 3638 566 18 0 5030 0
vsize: 20192
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.96 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 4266 0 0 0 5985 13 0 0 25 0 1 0 728267722 23154688 4243 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5653 4243 566 18 0 5635 0
vsize: 22612
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.96 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 4814 0 0 0 6985 13 0 0 25 0 1 0 728267722 25460736 4791 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6216 4791 566 18 0 6198 0
vsize: 24864
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 5304 0 0 0 7985 14 0 0 25 0 1 0 728267722 27525120 5281 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6720 5281 566 18 0 6702 0
vsize: 26880
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 5870 0 0 0 8984 15 0 0 25 0 1 0 728267722 29736960 5847 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7260 5847 566 18 0 7242 0
vsize: 29040
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 6409 0 0 0 9982 17 0 0 25 0 1 0 728267722 31940608 6386 4294967295 134512640 134581331 3221221792 3221220428 1075289350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7798 6386 566 18 0 7780 0
vsize: 31192
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 6987 0 0 0 10981 18 0 0 25 0 1 0 728267722 34410496 6964 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8401 6964 566 18 0 8383 0
vsize: 33604
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 7503 0 0 0 11980 19 0 0 25 0 1 0 728267722 36462592 7480 4294967295 134512640 134581331 3221221792 3221220512 134523390 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8902 7480 566 18 0 8884 0
vsize: 35608
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 8118 0 0 0 12979 20 0 0 25 0 1 0 728267722 39059456 8095 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9536 8095 566 18 0 9518 0
vsize: 38144
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 8728 0 0 0 13977 23 0 0 25 0 1 0 728267722 41648128 8705 4294967295 134512640 134581331 3221221792 3221219196 134531962 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10168 8705 566 18 0 10150 0
vsize: 40672
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 9330 0 0 0 14975 24 0 0 25 0 1 0 728267722 44077056 9307 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10761 9307 566 18 0 10743 0
vsize: 43044
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 9861 0 0 0 15975 25 0 0 25 0 1 0 728267722 46313472 9838 4294967295 134512640 134581331 3221221792 3221220676 134557884 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11307 9838 566 18 0 11289 0
vsize: 45228
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 10304 0 0 0 16974 26 0 0 25 0 1 0 728267722 48082944 10281 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11739 10281 566 18 0 11721 0
vsize: 46956
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 10831 0 0 0 17972 28 0 0 25 0 1 0 728267722 50311168 10808 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12283 10808 566 18 0 12265 0
vsize: 49132
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 11432 0 0 0 18971 29 0 0 25 0 1 0 728267722 52764672 11409 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12882 11409 566 18 0 12864 0
vsize: 51528
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 12020 0 0 0 19969 31 0 0 25 0 1 0 728267722 55238656 11997 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13486 11997 566 18 0 13468 0
vsize: 53944
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 12588 0 0 0 20968 33 0 0 25 0 1 0 728267722 57581568 12565 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14058 12565 566 18 0 14040 0
vsize: 56232
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 13190 0 0 0 21967 34 0 0 25 0 1 0 728267722 60534784 13167 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14779 13167 566 18 0 14761 0
vsize: 59116
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 13589 0 0 0 22966 35 0 0 25 0 1 0 728267722 62234624 13566 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15194 13566 566 18 0 15176 0
vsize: 60776
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 13951 0 0 0 23966 36 0 0 25 0 1 0 728267722 63778816 13928 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15571 13928 566 18 0 15553 0
vsize: 62284
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 14463 0 0 0 24965 37 0 0 25 0 1 0 728267722 65851392 14440 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16077 14440 566 18 0 16059 0
vsize: 64308
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 14985 0 0 0 25963 38 0 0 25 0 1 0 728267722 68014080 14962 4294967295 134512640 134581331 3221221792 3221220656 134528270 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16605 14962 566 18 0 16587 0
vsize: 66420
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 15395 0 0 0 26962 39 0 0 25 0 1 0 728267722 69701632 15372 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17017 15372 566 18 0 16999 0
vsize: 68068
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 15876 0 0 0 27961 41 0 0 25 0 1 0 728267722 71610368 15853 4294967295 134512640 134581331 3221221792 3221220512 134523346 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17483 15853 566 18 0 17465 0
vsize: 69932
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 16257 0 0 0 28960 42 0 0 25 0 1 0 728267722 73355264 16234 4294967295 134512640 134581331 3221221792 3221220704 134518996 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17909 16234 566 18 0 17891 0
vsize: 71636
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 16610 0 0 0 29959 43 0 0 25 0 1 0 728267722 74850304 16587 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18274 16587 566 18 0 18256 0
vsize: 73096
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 16936 0 0 0 30959 44 0 0 25 0 1 0 728267722 76132352 16913 4294967295 134512640 134581331 3221221792 3221220656 134528353 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18587 16913 566 18 0 18569 0
vsize: 74348
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 17381 0 0 0 31958 45 0 0 25 0 1 0 728267722 78049280 17358 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19055 17358 566 18 0 19037 0
vsize: 76220
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 17804 0 0 0 32957 46 0 0 25 0 1 0 728267722 79839232 17781 4294967295 134512640 134581331 3221221792 3221220704 134519023 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19492 17781 566 18 0 19474 0
vsize: 77968
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 18233 0 0 0 33956 48 0 0 25 0 1 0 728267722 81600512 18210 4294967295 134512640 134581331 3221221792 3221220512 134523370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19922 18210 566 18 0 19904 0
vsize: 79688
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 18380 0 0 0 34955 48 0 0 25 0 1 0 728267722 82157568 18357 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20058 18357 566 18 0 20040 0
vsize: 80232
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 18671 0 0 0 35954 49 0 0 25 0 1 0 728267722 83533824 18648 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20394 18648 566 18 0 20376 0
vsize: 81576
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 19149 0 0 0 36953 51 0 0 25 0 1 0 728267722 85581824 19126 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20894 19126 566 18 0 20876 0
vsize: 83576
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 19570 0 0 0 37953 51 0 0 25 0 1 0 728267722 87367680 19547 4294967295 134512640 134581331 3221221792 3221220512 134523361 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21330 19547 566 18 0 21312 0
vsize: 85320
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 20041 0 0 0 38952 52 0 0 25 0 1 0 728267722 89272320 20018 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21795 20018 566 18 0 21777 0
vsize: 87180
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 20541 0 0 0 39951 54 0 0 25 0 1 0 728267722 91332608 20518 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22298 20518 566 18 0 22280 0
vsize: 89192
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 21008 0 0 0 40950 55 0 0 25 0 1 0 728267722 93229056 20985 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22761 20985 566 18 0 22743 0
vsize: 91044
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 21462 0 0 0 41949 56 0 0 25 0 1 0 728267722 95141888 21439 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23228 21439 566 18 0 23210 0
vsize: 92912
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 21932 0 0 0 42948 57 0 0 25 0 1 0 728267722 97026048 21909 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23688 21909 566 18 0 23670 0
vsize: 94752
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 22431 0 0 0 43947 58 0 0 25 0 1 0 728267722 99160064 22408 4294967295 134512640 134581331 3221221792 3221220704 134518919 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24209 22408 566 18 0 24191 0
vsize: 96836
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 22870 0 0 0 44946 59 0 0 25 0 1 0 728267722 100933632 22847 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24642 22847 566 18 0 24624 0
vsize: 98568
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 23262 0 0 0 45945 60 0 0 25 0 1 0 728267722 102445056 23239 4294967295 134512640 134581331 3221221792 3221220676 134557874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25011 23239 566 18 0 24993 0
vsize: 100044
[startup+470.016 s]
Raw data (loadavg): 1.07 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 23731 0 0 0 46945 61 0 0 25 0 1 0 728267722 104472576 23708 4294967295 134512640 134581331 3221221792 3221220704 134519045 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25506 23708 566 18 0 25488 0
vsize: 102024
[startup+480.017 s]
Raw data (loadavg): 1.06 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 24162 0 0 0 47944 62 0 0 25 0 1 0 728267722 106233856 24139 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25936 24139 566 18 0 25918 0
vsize: 103744
[startup+490.017 s]
Raw data (loadavg): 1.05 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 24633 0 0 0 48944 62 0 0 25 0 1 0 728267722 108113920 24610 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26395 24610 566 18 0 26377 0
vsize: 105580
[startup+500.018 s]
Raw data (loadavg): 1.04 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 25146 0 0 0 49943 63 0 0 25 0 1 0 728267722 110260224 25123 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26919 25123 566 18 0 26901 0
vsize: 107676
[startup+510.018 s]
Raw data (loadavg): 1.03 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 25428 0 0 0 50943 64 0 0 25 0 1 0 728267722 111357952 25405 4294967295 134512640 134581331 3221221792 3221220488 1075291632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27187 25405 566 18 0 27169 0
vsize: 108748
[startup+520.019 s]
Raw data (loadavg): 1.03 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 25733 0 0 0 51942 65 0 0 25 0 1 0 728267722 112623616 25710 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27496 25710 566 18 0 27478 0
vsize: 109984
[startup+530.02 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 25890 0 0 0 52942 65 0 0 25 0 1 0 728267722 113278976 25867 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27656 25867 566 18 0 27638 0
vsize: 110624
[startup+540.019 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 26047 0 0 0 53941 66 0 0 25 0 1 0 728267722 114053120 26024 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27845 26024 566 18 0 27827 0
vsize: 111380
[startup+550.019 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 26373 0 0 0 54940 67 0 0 25 0 1 0 728267722 115286016 26350 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28146 26350 566 18 0 28128 0
vsize: 112584
[startup+560.019 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 26679 0 0 0 55940 68 0 0 25 0 1 0 728267722 116523008 26656 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28448 26656 566 18 0 28430 0
vsize: 113792
[startup+570.02 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 26876 0 0 0 56939 68 0 0 25 0 1 0 728267722 117338112 26853 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28647 26853 566 18 0 28629 0
vsize: 114588
[startup+580.02 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 27400 0 0 0 57938 70 0 0 25 0 1 0 728267722 119549952 27377 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29187 27377 566 18 0 29169 0
vsize: 116748
[startup+590.02 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 27892 0 0 0 58937 71 0 0 25 0 1 0 728267722 121462784 27869 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29654 27869 566 18 0 29636 0
vsize: 118616
[startup+600.021 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 28057 0 0 0 59936 72 0 0 25 0 1 0 728267722 122138624 28034 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29819 28034 566 18 0 29801 0
vsize: 119276
[startup+610.021 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 28377 0 0 0 60936 73 0 0 25 0 1 0 728267722 123490304 28354 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30149 28354 566 18 0 30131 0
vsize: 120596
[startup+620.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 28430 0 0 0 61935 73 0 0 25 0 1 0 728267722 123785216 28408 4294967295 134512640 134581331 3221221792 3221220508 1075289077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30221 28408 566 18 0 30203 0
vsize: 120884
[startup+630.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 28578 0 0 0 62935 74 0 0 25 0 1 0 728267722 124334080 28555 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30355 28555 566 18 0 30337 0
vsize: 121420
[startup+640.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 28807 0 0 0 63934 75 0 0 25 0 1 0 728267722 125407232 28784 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30617 28784 566 18 0 30599 0
vsize: 122468
[startup+650.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 29014 0 0 0 64934 75 0 0 25 0 1 0 728267722 126218240 28991 4294967295 134512640 134581331 3221221792 3221220508 1075289350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30815 28991 566 18 0 30797 0
vsize: 123260
[startup+660.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 29201 0 0 0 65933 76 0 0 25 0 1 0 728267722 127016960 29178 4294967295 134512640 134581331 3221221792 3221220676 134557799 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31010 29178 566 18 0 30992 0
vsize: 124040
[startup+670.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 29453 0 0 0 66933 77 0 0 25 0 1 0 728267722 128094208 29430 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31273 29430 566 18 0 31255 0
vsize: 125092
[startup+680.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 29820 0 0 0 67932 78 0 0 25 0 1 0 728267722 129601536 29797 4294967295 134512640 134581331 3221221792 3221219408 134532292 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31641 29797 566 18 0 31623 0
vsize: 126564
[startup+690.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 30241 0 0 0 68931 79 0 0 25 0 1 0 728267722 131338240 30218 4294967295 134512640 134581331 3221221792 3221220736 134558859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32065 30218 566 18 0 32047 0
vsize: 128260
[startup+700.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 30663 0 0 0 69930 80 0 0 25 0 1 0 728267722 133083136 30640 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32491 30640 566 18 0 32473 0
vsize: 129964
[startup+710.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 31071 0 0 0 70929 81 0 0 25 0 1 0 728267722 134803456 31048 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32911 31048 566 18 0 32893 0
vsize: 131644
[startup+720.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 31470 0 0 0 71928 82 0 0 25 0 1 0 728267722 136294400 31447 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33275 31447 566 18 0 33257 0
vsize: 133100
[startup+730.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 31815 0 0 0 72927 83 0 0 25 0 1 0 728267722 137781248 31792 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33638 31792 566 18 0 33620 0
vsize: 134552
[startup+740.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 32224 0 0 0 73927 84 0 0 25 0 1 0 728267722 139419648 32201 4294967295 134512640 134581331 3221221792 3221220508 1075289077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34038 32201 566 18 0 34020 0
vsize: 136152
[startup+750.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 32670 0 0 0 74926 85 0 0 25 0 1 0 728267722 141324288 32647 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34503 32647 566 18 0 34485 0
vsize: 138012
[startup+760.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 33115 0 0 0 75924 87 0 0 25 0 1 0 728267722 143106048 33092 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34938 33092 566 18 0 34920 0
vsize: 139752
[startup+770.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 33584 0 0 0 76923 88 0 0 25 0 1 0 728267722 145051648 33561 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35413 33561 566 18 0 35395 0
vsize: 141652
[startup+780.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 33962 0 0 0 77922 89 0 0 25 0 1 0 728267722 146571264 33939 4294967295 134512640 134581331 3221221792 3221220676 134557790 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35784 33939 566 18 0 35766 0
vsize: 143136
[startup+790.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 34244 0 0 0 78921 90 0 0 25 0 1 0 728267722 147783680 34221 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36080 34221 566 18 0 36062 0
vsize: 144320
[startup+800.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 34593 0 0 0 79921 91 0 0 25 0 1 0 728267722 149172224 34570 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36419 34570 566 18 0 36401 0
vsize: 145676
[startup+810.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 34860 0 0 0 80920 92 0 0 25 0 1 0 728267722 150228992 34837 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36677 34837 566 18 0 36659 0
vsize: 146708
[startup+820.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 35241 0 0 0 81919 93 0 0 25 0 1 0 728267722 151871488 35218 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37078 35218 566 18 0 37060 0
vsize: 148312
[startup+830.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 35705 0 0 0 82918 94 0 0 25 0 1 0 728267722 153780224 35682 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37544 35682 566 18 0 37526 0
vsize: 150176
[startup+840.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 36213 0 0 0 83917 95 0 0 25 0 1 0 728267722 155860992 36190 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38052 36190 566 18 0 38034 0
vsize: 152208
[startup+850.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 36450 0 0 0 84917 95 0 0 25 0 1 0 728267722 156819456 36427 4294967295 134512640 134581331 3221221792 3221220512 134523390 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38286 36427 566 18 0 38268 0
vsize: 153144
[startup+860.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 36832 0 0 0 85916 96 0 0 25 0 1 0 728267722 158474240 36809 4294967295 134512640 134581331 3221221792 3221220512 134523361 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38690 36809 566 18 0 38672 0
vsize: 154760
[startup+870.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 36948 0 0 0 86916 97 0 0 25 0 1 0 728267722 158863360 36925 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38785 36925 566 18 0 38767 0
vsize: 155140
[startup+880.022 s]
Raw data (loadavg): 1.08 1.00 0.95 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 37234 0 0 0 87916 97 0 0 25 0 1 0 728267722 160210944 37211 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39114 37211 566 18 0 39096 0
vsize: 156456
[startup+890.022 s]
Raw data (loadavg): 1.14 1.02 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 37333 0 0 0 88915 97 0 0 25 0 1 0 728267722 160555008 37310 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39198 37310 566 18 0 39180 0
vsize: 156792
[startup+900.023 s]
Raw data (loadavg): 1.12 1.02 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 37787 0 0 0 89915 98 0 0 25 0 1 0 728267722 162615296 37764 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39701 37764 566 18 0 39683 0
vsize: 158804
[startup+910.023 s]
Raw data (loadavg): 1.10 1.02 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 37983 0 0 0 90914 99 0 0 25 0 1 0 728267722 163434496 37960 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39901 37960 566 18 0 39883 0
vsize: 159604
[startup+920.023 s]
Raw data (loadavg): 1.08 1.02 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 38229 0 0 0 91913 100 0 0 25 0 1 0 728267722 164499456 38206 4294967295 134512640 134581331 3221221792 3221220656 134528278 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40161 38206 566 18 0 40143 0
vsize: 160644
[startup+930.023 s]
Raw data (loadavg): 1.07 1.02 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 38552 0 0 0 92912 101 0 0 25 0 1 0 728267722 165863424 38529 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40494 38529 566 18 0 40476 0
vsize: 161976
[startup+940.023 s]
Raw data (loadavg): 1.06 1.01 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 38878 0 0 0 93912 102 0 0 25 0 1 0 728267722 167231488 38855 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40828 38855 566 18 0 40810 0
vsize: 163312
[startup+950.023 s]
Raw data (loadavg): 1.05 1.01 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 39167 0 0 0 94911 103 0 0 25 0 1 0 728267722 168312832 39144 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41092 39144 566 18 0 41074 0
vsize: 164368
[startup+960.023 s]
Raw data (loadavg): 1.04 1.01 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 39479 0 0 0 95910 104 0 0 25 0 1 0 728267722 169656320 39456 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41420 39456 566 18 0 41402 0
vsize: 165680
[startup+970.023 s]
Raw data (loadavg): 1.04 1.01 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 39818 0 0 0 96910 104 0 0 25 0 1 0 728267722 171057152 39795 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41762 39795 566 18 0 41744 0
vsize: 167048
[startup+980.024 s]
Raw data (loadavg): 1.03 1.01 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 40162 0 0 0 97909 105 0 0 25 0 1 0 728267722 172441600 40139 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42100 40139 566 18 0 42082 0
vsize: 168400
[startup+990.024 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 40476 0 0 0 98908 106 0 0 25 0 1 0 728267722 173686784 40453 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42404 40453 566 18 0 42386 0
vsize: 169616
[startup+1000.02 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 40961 0 0 0 99907 108 0 0 25 0 1 0 728267722 175624192 40938 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42877 40938 566 18 0 42859 0
vsize: 171508
[startup+1010.02 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 41173 0 0 0 100907 108 0 0 25 0 1 0 728267722 176574464 41150 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43109 41150 566 18 0 43091 0
vsize: 172436
[startup+1020.02 s]
Raw data (loadavg): 1.01 1.01 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 41425 0 0 0 101906 109 0 0 25 0 1 0 728267722 177500160 41402 4294967295 134512640 134581331 3221221792 3221220752 134516726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43335 41402 566 18 0 43317 0
vsize: 173340
[startup+1030.02 s]
Raw data (loadavg): 1.01 1.01 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 41425 0 0 0 102906 110 0 0 25 0 1 0 728267722 177500160 41402 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43335 41402 566 18 0 43317 0
vsize: 173340
[startup+1040.02 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 41425 0 0 0 103906 110 0 0 25 0 1 0 728267722 177500160 41402 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43335 41402 566 18 0 43317 0
vsize: 173340
[startup+1050.02 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 41425 0 0 0 104905 110 0 0 25 0 1 0 728267722 177500160 41402 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43335 41402 566 18 0 43317 0
vsize: 173340
[startup+1060.02 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 41425 0 0 0 105905 110 0 0 25 0 1 0 728267722 177500160 41402 4294967295 134512640 134581331 3221221792 3221220512 134523346 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43335 41402 566 18 0 43317 0
vsize: 173340
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 41425 0 0 0 106905 110 0 0 25 0 1 0 728267722 177500160 41402 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43335 41402 566 18 0 43317 0
vsize: 173340
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 41425 0 0 0 107905 111 0 0 25 0 1 0 728267722 177500160 41402 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43335 41402 566 18 0 43317 0
vsize: 173340
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 41425 0 0 0 108905 111 0 0 25 0 1 0 728267722 177500160 41402 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43335 41402 566 18 0 43317 0
vsize: 173340
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 41425 0 0 0 109905 111 0 0 25 0 1 0 728267722 177500160 41402 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43335 41402 566 18 0 43317 0
vsize: 173340
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 41425 0 0 0 110905 111 0 0 25 0 1 0 728267722 177500160 41402 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43335 41402 566 18 0 43317 0
vsize: 173340
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 41425 0 0 0 111905 112 0 0 25 0 1 0 728267722 177500160 41402 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43335 41402 566 18 0 43317 0
vsize: 173340
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 41425 0 0 0 112905 112 0 0 25 0 1 0 728267722 177500160 41402 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43335 41402 566 18 0 43317 0
vsize: 173340
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 41425 0 0 0 113905 112 0 0 25 0 1 0 728267722 177500160 41402 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43335 41402 566 18 0 43317 0
vsize: 173340
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 41425 0 0 0 114905 112 0 0 25 0 1 0 728267722 177500160 41402 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43335 41402 566 18 0 43317 0
vsize: 173340
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 41425 0 0 0 115905 112 0 0 25 0 1 0 728267722 177500160 41402 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43335 41402 566 18 0 43317 0
vsize: 173340
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 41425 0 0 0 116905 113 0 0 25 0 1 0 728267722 177500160 41402 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43335 41402 566 18 0 43317 0
vsize: 173340
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 41432 0 0 0 117905 113 0 0 25 0 1 0 728267722 177500160 41409 4294967295 134512640 134581331 3221221792 3221218848 134532779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43335 41409 566 18 0 43317 0
vsize: 173340
[startup+1188.98 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 10826
Raw data (stat): 10826 (Pueblo) R 10825 7876 7672 0 -1 0 41432 0 0 0 117905 113 0 0 25 0 1 0 728267722 177500160 41409 4294967295 134512640 134581331 3221221792 3221218848 134532779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43335 41409 566 18 0 43317 0
vsize: 0

Child status: 10
Real time (s): 1188.97
CPU time (s): 1189.13
CPU user time (s): 1187.92
CPU system time (s): 1.21081
CPU usage (%): 100.013
Max. virtual memory (Kb): 173340
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-8
#### END VERIFIER DATA ####