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-4.opb
MD5SUM	7731f50c352d2fd7b2fe148b68bfdbab
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	41605
Number of constraints which are clauses	41605
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 24775

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 20:40:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2941 boxname=wulflinc31 idbench=327 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  7731f50c352d2fd7b2fe148b68bfdbab  /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-4.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-4.opb
IDLAUNCH: 2941
/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:        882696 kB
Buffers:         35300 kB
Cached:          94956 kB
SwapCached:       1936 kB
Active:          98476 kB
Inactive:        35016 kB
HighTotal:      131008 kB
HighFree:        35112 kB
LowTotal:       903652 kB
LowFree:        847584 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12772 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 21:00:08 (client local time) WITH STATUS 10 IN 1189.19 SECONDS
stats: 2941 0 1189.19 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-4.opb
c #variables read: 760 - #constraints read: 41606
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): 1.23 1.06 0.97 2/55 11963
Raw data (stat): 11963 (runsolver) R 11962 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 729479473 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0005 s]
Raw data (loadavg): 1.27 1.07 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 1515 0 0 0 991 6 0 0 25 0 1 0 729479473 11878400 1492 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2900 1492 566 18 0 2882 0
vsize: 11600
[startup+20.0006 s]
Raw data (loadavg): 1.23 1.07 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 2038 0 0 0 1989 7 0 0 25 0 1 0 729479473 14102528 2015 4294967295 134512640 134581331 3221221792 3221220512 134523346 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3443 2015 566 18 0 3425 0
vsize: 13772
[startup+30.0012 s]
Raw data (loadavg): 1.19 1.07 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 2673 0 0 0 2988 9 0 0 25 0 1 0 729479473 16691200 2650 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4075 2650 566 18 0 4057 0
vsize: 16300
[startup+40.0011 s]
Raw data (loadavg): 1.16 1.06 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 3394 0 0 0 3987 10 0 0 25 0 1 0 729479473 19582976 3371 4294967295 134512640 134581331 3221221792 3221220512 134523390 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4781 3371 566 18 0 4763 0
vsize: 19124
[startup+50.0023 s]
Raw data (loadavg): 1.14 1.06 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 4026 0 0 0 4985 13 0 0 25 0 1 0 729479473 22196224 4003 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5419 4003 566 18 0 5401 0
vsize: 21676
[startup+60.002 s]
Raw data (loadavg): 1.11 1.06 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 4564 0 0 0 5983 15 0 0 25 0 1 0 729479473 24481792 4541 4294967295 134512640 134581331 3221221792 3221220704 134519025 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5977 4541 566 18 0 5959 0
vsize: 23908
[startup+70.0019 s]
Raw data (loadavg): 1.10 1.06 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 5165 0 0 0 6981 17 0 0 25 0 1 0 729479473 26935296 5142 4294967295 134512640 134581331 3221221792 3221220512 134523328 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6576 5142 566 18 0 6558 0
vsize: 26304
[startup+80.0031 s]
Raw data (loadavg): 1.08 1.05 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 5729 0 0 0 7979 18 0 0 25 0 1 0 729479473 29278208 5706 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7148 5706 566 18 0 7130 0
vsize: 28592
[startup+90.0028 s]
Raw data (loadavg): 1.07 1.05 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 6284 0 0 0 8978 20 0 0 25 0 1 0 729479473 31469568 6261 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7683 6261 566 18 0 7665 0
vsize: 30732
[startup+100.004 s]
Raw data (loadavg): 1.06 1.05 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 6809 0 0 0 9976 22 0 0 25 0 1 0 729479473 33640448 6786 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8213 6786 566 18 0 8195 0
vsize: 32852
[startup+110.004 s]
Raw data (loadavg): 1.05 1.05 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 7314 0 0 0 10975 24 0 0 25 0 1 0 729479473 35647488 7291 4294967295 134512640 134581331 3221221792 3221220512 134523381 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8703 7291 566 18 0 8685 0
vsize: 34812
[startup+120.004 s]
Raw data (loadavg): 1.04 1.05 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 7823 0 0 0 11973 25 0 0 25 0 1 0 729479473 37851136 7800 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9241 7800 566 18 0 9223 0
vsize: 36964
[startup+130.004 s]
Raw data (loadavg): 1.03 1.04 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 8396 0 0 0 12971 27 0 0 25 0 1 0 729479473 40173568 8373 4294967295 134512640 134581331 3221221792 3221220676 134557855 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9808 8373 566 18 0 9790 0
vsize: 39232
[startup+140.004 s]
Raw data (loadavg): 1.03 1.04 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 8919 0 0 0 13970 29 0 0 25 0 1 0 729479473 42455040 8896 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10365 8896 566 18 0 10347 0
vsize: 41460
[startup+150.003 s]
Raw data (loadavg): 1.02 1.04 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 9452 0 0 0 14968 31 0 0 25 0 1 0 729479473 44630016 9429 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10896 9429 566 18 0 10878 0
vsize: 43584
[startup+160.003 s]
Raw data (loadavg): 1.02 1.04 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 10019 0 0 0 15967 32 0 0 25 0 1 0 729479473 46960640 9996 4294967295 134512640 134581331 3221221792 3221220688 134517625 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11465 9996 566 18 0 11447 0
vsize: 45860
[startup+170.004 s]
Raw data (loadavg): 1.02 1.04 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 10510 0 0 0 16966 33 0 0 25 0 1 0 729479473 48992256 10487 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11961 10487 566 18 0 11943 0
vsize: 47844
[startup+180.004 s]
Raw data (loadavg): 1.01 1.03 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 10975 0 0 0 17966 34 0 0 25 0 1 0 729479473 50864128 10952 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12418 10952 566 18 0 12400 0
vsize: 49672
[startup+190.004 s]
Raw data (loadavg): 1.01 1.03 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 11604 0 0 0 18964 36 0 0 25 0 1 0 729479473 53448704 11581 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13049 11581 566 18 0 13031 0
vsize: 52196
[startup+200.004 s]
Raw data (loadavg): 1.01 1.03 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 11985 0 0 0 19963 37 0 0 25 0 1 0 729479473 54951936 11962 4294967295 134512640 134581331 3221221792 3221220704 134519023 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13416 11962 566 18 0 13398 0
vsize: 53664
[startup+210.004 s]
Raw data (loadavg): 1.01 1.03 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 12300 0 0 0 20962 37 0 0 25 0 1 0 729479473 56299520 12277 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13745 12277 566 18 0 13727 0
vsize: 54980
[startup+220.004 s]
Raw data (loadavg): 1.00 1.03 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 12849 0 0 0 21961 39 0 0 25 0 1 0 729479473 58556416 12826 4294967295 134512640 134581331 3221221792 3221220676 134557928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14296 12826 566 18 0 14278 0
vsize: 57184
[startup+230.005 s]
Raw data (loadavg): 1.00 1.03 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 13506 0 0 0 22961 40 0 0 25 0 1 0 729479473 61304832 13483 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14967 13483 566 18 0 14949 0
vsize: 59868
[startup+240.005 s]
Raw data (loadavg): 1.00 1.03 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 14098 0 0 0 23959 41 0 0 25 0 1 0 729479473 63799296 14075 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15576 14075 566 18 0 15558 0
vsize: 62304
[startup+250.005 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 14673 0 0 0 24958 43 0 0 25 0 1 0 729479473 66203648 14650 4294967295 134512640 134581331 3221221792 3221220704 134519020 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16163 14650 566 18 0 16145 0
vsize: 64652
[startup+260.005 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 15158 0 0 0 25957 44 0 0 25 0 1 0 729479473 68100096 15135 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16626 15135 566 18 0 16608 0
vsize: 66504
[startup+270.005 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 15666 0 0 0 26955 46 0 0 25 0 1 0 729479473 70217728 15643 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17143 15643 566 18 0 17125 0
vsize: 68572
[startup+280.005 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 16177 0 0 0 27954 47 0 0 25 0 1 0 729479473 72261632 16154 4294967295 134512640 134581331 3221221792 3221220656 134528503 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17642 16154 566 18 0 17624 0
vsize: 70568
[startup+290.005 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 16605 0 0 0 28954 48 0 0 25 0 1 0 729479473 74047488 16582 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18078 16582 566 18 0 18060 0
vsize: 72312
[startup+300.004 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 16781 0 0 0 29953 48 0 0 25 0 1 0 729479473 74715136 16758 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18241 16758 566 18 0 18223 0
vsize: 72964
[startup+310.004 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 17158 0 0 0 30953 49 0 0 25 0 1 0 729479473 76402688 17135 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18653 17135 566 18 0 18635 0
vsize: 74612
[startup+320.005 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 17544 0 0 0 31952 49 0 0 25 0 1 0 729479473 77971456 17521 4294967295 134512640 134581331 3221221792 3221220512 134523390 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19036 17521 566 18 0 19018 0
vsize: 76144
[startup+330.005 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 17887 0 0 0 32951 51 0 0 25 0 1 0 729479473 79360000 17864 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19375 17864 566 18 0 19357 0
vsize: 77500
[startup+340.005 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 18155 0 0 0 33951 51 0 0 25 0 1 0 729479473 80441344 18132 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19639 18132 566 18 0 19621 0
vsize: 78556
[startup+350.006 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 18559 0 0 0 34950 53 0 0 25 0 1 0 729479473 82206720 18536 4294967295 134512640 134581331 3221221792 3221220704 134527980 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20070 18536 566 18 0 20052 0
vsize: 80280
[startup+360.007 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 18894 0 0 0 35949 53 0 0 25 0 1 0 729479473 83578880 18871 4294967295 134512640 134581331 3221221792 3221220704 134519006 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20405 18871 566 18 0 20387 0
vsize: 81620
[startup+370.007 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 19237 0 0 0 36948 54 0 0 25 0 1 0 729479473 84938752 19214 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20737 19214 566 18 0 20719 0
vsize: 82948
[startup+380.007 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 19603 0 0 0 37947 55 0 0 25 0 1 0 729479473 86470656 19580 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21111 19580 566 18 0 21093 0
vsize: 84444
[startup+390.008 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 20033 0 0 0 38947 56 0 0 25 0 1 0 729479473 88367104 20010 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21574 20010 566 18 0 21556 0
vsize: 86296
[startup+400.008 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 20544 0 0 0 39945 58 0 0 25 0 1 0 729479473 90423296 20521 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22076 20521 566 18 0 22058 0
vsize: 88304
[startup+410.009 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 20853 0 0 0 40944 59 0 0 25 0 1 0 729479473 91656192 20830 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22377 20830 566 18 0 22359 0
vsize: 89508
[startup+420.009 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 21420 0 0 0 41943 60 0 0 25 0 1 0 729479473 93982720 21397 4294967295 134512640 134581331 3221221792 3221220428 1075289350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22945 21397 566 18 0 22927 0
vsize: 91780
[startup+430.01 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 21970 0 0 0 42942 62 0 0 25 0 1 0 729479473 96251904 21947 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23499 21947 566 18 0 23481 0
vsize: 93996
[startup+440.01 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 22418 0 0 0 43941 63 0 0 25 0 1 0 729479473 98070528 22395 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23943 22395 566 18 0 23925 0
vsize: 95772
[startup+450.009 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 22992 0 0 0 44940 65 0 0 25 0 1 0 729479473 100515840 22969 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24540 22969 566 18 0 24522 0
vsize: 98160
[startup+460.01 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 23408 0 0 0 45938 66 0 0 25 0 1 0 729479473 102141952 23385 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24937 23385 566 18 0 24919 0
vsize: 99748
[startup+470.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 23777 0 0 0 46937 67 0 0 25 0 1 0 729479473 103665664 23754 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25309 23754 566 18 0 25291 0
vsize: 101236
[startup+480.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 24192 0 0 0 47936 69 0 0 25 0 1 0 729479473 105320448 24169 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25713 24169 566 18 0 25695 0
vsize: 102852
[startup+490.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 24531 0 0 0 48936 69 0 0 25 0 1 0 729479473 106749952 24508 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26062 24508 566 18 0 26044 0
vsize: 104248
[startup+500.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 24709 0 0 0 49935 70 0 0 25 0 1 0 729479473 107565056 24686 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26261 24686 566 18 0 26243 0
vsize: 105044
[startup+510.012 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 25033 0 0 0 50934 71 0 0 25 0 1 0 729479473 108773376 25010 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26556 25010 566 18 0 26538 0
vsize: 106224
[startup+520.012 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 25368 0 0 0 51933 72 0 0 25 0 1 0 729479473 110309376 25345 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26931 25345 566 18 0 26913 0
vsize: 107724
[startup+530.013 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 25589 0 0 0 52933 73 0 0 25 0 1 0 729479473 111210496 25566 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27151 25566 566 18 0 27133 0
vsize: 108604
[startup+540.014 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 25693 0 0 0 53933 73 0 0 25 0 1 0 729479473 111607808 25670 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27248 25670 566 18 0 27230 0
vsize: 108992
[startup+550.014 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 25895 0 0 0 54932 74 0 0 25 0 1 0 729479473 112496640 25872 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27465 25872 566 18 0 27447 0
vsize: 109860
[startup+560.014 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 26065 0 0 0 55931 75 0 0 25 0 1 0 729479473 113164288 26042 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27628 26042 566 18 0 27610 0
vsize: 110512
[startup+570.015 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 26081 0 0 0 56931 75 0 0 25 0 1 0 729479473 113324032 26058 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27667 26058 566 18 0 27649 0
vsize: 110668
[startup+580.015 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 26200 0 0 0 57931 75 0 0 25 0 1 0 729479473 113770496 26177 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27776 26177 566 18 0 27758 0
vsize: 111104
[startup+590.015 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 26539 0 0 0 58931 76 0 0 25 0 1 0 729479473 115310592 26516 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28152 26516 566 18 0 28134 0
vsize: 112608
[startup+600.015 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 26772 0 0 0 59931 76 0 0 25 0 1 0 729479473 116244480 26749 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28380 26749 566 18 0 28362 0
vsize: 113520
[startup+610.015 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 27028 0 0 0 60930 77 0 0 25 0 1 0 729479473 117342208 27005 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28648 27005 566 18 0 28630 0
vsize: 114592
[startup+620.016 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 27237 0 0 0 61930 78 0 0 25 0 1 0 729479473 118145024 27214 4294967295 134512640 134581331 3221221792 3221220512 134523407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28844 27214 566 18 0 28826 0
vsize: 115376
[startup+630.016 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 27691 0 0 0 62928 79 0 0 25 0 1 0 729479473 120049664 27668 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29309 27668 566 18 0 29291 0
vsize: 117236
[startup+640.016 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 28078 0 0 0 63927 81 0 0 25 0 1 0 729479473 121683968 28055 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29708 28055 566 18 0 29690 0
vsize: 118832
[startup+650.017 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 28437 0 0 0 64927 81 0 0 25 0 1 0 729479473 123273216 28414 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30096 28414 566 18 0 30078 0
vsize: 120384
[startup+660.017 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 28739 0 0 0 65926 82 0 0 25 0 1 0 729479473 124518400 28716 4294967295 134512640 134581331 3221221792 3221220704 134519045 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30400 28716 566 18 0 30382 0
vsize: 121600
[startup+670.017 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 29044 0 0 0 66926 83 0 0 25 0 1 0 729479473 125747200 29021 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30700 29021 566 18 0 30682 0
vsize: 122800
[startup+680.017 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 29254 0 0 0 67925 84 0 0 25 0 1 0 729479473 126582784 29231 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30904 29231 566 18 0 30886 0
vsize: 123616
[startup+690.017 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 29507 0 0 0 68925 84 0 0 25 0 1 0 729479473 127602688 29484 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31153 29484 566 18 0 31135 0
vsize: 124612
[startup+700.017 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 29744 0 0 0 69924 84 0 0 25 0 1 0 729479473 128651264 29721 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31409 29721 566 18 0 31391 0
vsize: 125636
[startup+710.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 29918 0 0 0 70924 85 0 0 25 0 1 0 729479473 129462272 29895 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31607 29895 566 18 0 31589 0
vsize: 126428
[startup+720.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 30107 0 0 0 71924 85 0 0 25 0 1 0 729479473 130281472 30084 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31807 30084 566 18 0 31789 0
vsize: 127228
[startup+730.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 30321 0 0 0 72924 86 0 0 25 0 1 0 729479473 131108864 30298 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32009 30298 566 18 0 31991 0
vsize: 128036
[startup+740.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 30632 0 0 0 73922 87 0 0 25 0 1 0 729479473 132304896 30609 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32301 30609 566 18 0 32283 0
vsize: 129204
[startup+750.017 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 31002 0 0 0 74922 88 0 0 25 0 1 0 729479473 134000640 30979 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32715 30979 566 18 0 32697 0
vsize: 130860
[startup+760.017 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 31411 0 0 0 75920 89 0 0 25 0 1 0 729479473 135634944 31388 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33114 31388 566 18 0 33096 0
vsize: 132456
[startup+770.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 31899 0 0 0 76919 91 0 0 25 0 1 0 729479473 137658368 31876 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33608 31876 566 18 0 33590 0
vsize: 134432
[startup+780.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 32265 0 0 0 77918 92 0 0 25 0 1 0 729479473 139022336 32242 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33941 32242 566 18 0 33923 0
vsize: 135764
[startup+790.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 32558 0 0 0 78917 93 0 0 25 0 1 0 729479473 140247040 32535 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34240 32535 566 18 0 34222 0
vsize: 136960
[startup+800.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 32898 0 0 0 79916 94 0 0 25 0 1 0 729479473 141697024 32875 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34594 32875 566 18 0 34576 0
vsize: 138376
[startup+810.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 33226 0 0 0 80916 95 0 0 25 0 1 0 729479473 143052800 33203 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34925 33203 566 18 0 34907 0
vsize: 139700
[startup+820.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 33550 0 0 0 81915 96 0 0 25 0 1 0 729479473 144273408 33527 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35223 33527 566 18 0 35205 0
vsize: 140892
[startup+830.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 33769 0 0 0 82914 96 0 0 25 0 1 0 729479473 145186816 33746 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35446 33746 566 18 0 35428 0
vsize: 141784
[startup+840.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 34218 0 0 0 83913 98 0 0 25 0 1 0 729479473 147046400 34195 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35900 34195 566 18 0 35882 0
vsize: 143600
[startup+850.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 34474 0 0 0 84912 99 0 0 25 0 1 0 729479473 148299776 34451 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36206 34451 566 18 0 36188 0
vsize: 144824
[startup+860.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 34686 0 0 0 85912 100 0 0 25 0 1 0 729479473 149102592 34663 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36402 34663 566 18 0 36384 0
vsize: 145608
[startup+870.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 34954 0 0 0 86911 100 0 0 25 0 1 0 729479473 150163456 34931 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36661 34931 566 18 0 36643 0
vsize: 146644
[startup+880.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 35153 0 0 0 87911 101 0 0 25 0 1 0 729479473 151089152 35130 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36887 35130 566 18 0 36869 0
vsize: 147548
[startup+890.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 35298 0 0 0 88911 101 0 0 25 0 1 0 729479473 151617536 35275 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37016 35275 566 18 0 36998 0
vsize: 148064
[startup+900.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 35298 0 0 0 89911 101 0 0 25 0 1 0 729479473 151617536 35275 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37016 35275 566 18 0 36998 0
vsize: 148064
[startup+910.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 35698 0 0 0 90910 102 0 0 25 0 1 0 729479473 153243648 35675 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37413 35675 566 18 0 37395 0
vsize: 149652
[startup+920.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 36089 0 0 0 91909 103 0 0 25 0 1 0 729479473 154898432 36066 4294967295 134512640 134581331 3221221792 3221220428 1075289350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37817 36066 566 18 0 37799 0
vsize: 151268
[startup+930.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 36354 0 0 0 92909 104 0 0 25 0 1 0 729479473 155987968 36331 4294967295 134512640 134581331 3221221792 3221220604 134528702 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38083 36331 566 18 0 38065 0
vsize: 152332
[startup+940.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 36706 0 0 0 93908 105 0 0 25 0 1 0 729479473 157339648 36683 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38413 36683 566 18 0 38395 0
vsize: 153652
[startup+950.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 36991 0 0 0 94907 105 0 0 25 0 1 0 729479473 158523392 36968 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38702 36968 566 18 0 38684 0
vsize: 154808
[startup+960.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 37288 0 0 0 95907 106 0 0 25 0 1 0 729479473 159719424 37265 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38994 37265 566 18 0 38976 0
vsize: 155976
[startup+970.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 37347 0 0 0 96907 106 0 0 25 0 1 0 729479473 159973376 37324 4294967295 134512640 134581331 3221221792 3221220784 134561111 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39056 37324 566 18 0 39038 0
vsize: 156224
[startup+980.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 37778 0 0 0 97907 107 0 0 25 0 1 0 729479473 161816576 37755 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39506 37755 566 18 0 39488 0
vsize: 158024
[startup+990.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 38045 0 0 0 98905 108 0 0 25 0 1 0 729479473 162750464 38022 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39734 38022 566 18 0 39716 0
vsize: 158936
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 38116 0 0 0 99905 109 0 0 25 0 1 0 729479473 163057664 38093 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39809 38093 566 18 0 39791 0
vsize: 159236
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 38493 0 0 0 100904 110 0 0 25 0 1 0 729479473 164655104 38470 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40199 38470 566 18 0 40181 0
vsize: 160796
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 38857 0 0 0 101903 111 0 0 25 0 1 0 729479473 166117376 38834 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40556 38834 566 18 0 40538 0
vsize: 162224
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 39418 0 0 0 102902 113 0 0 25 0 1 0 729479473 168460288 39395 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41128 39395 566 18 0 41110 0
vsize: 164512
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 39830 0 0 0 103901 114 0 0 25 0 1 0 729479473 170131456 39807 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41536 39807 566 18 0 41518 0
vsize: 166144
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 40163 0 0 0 104900 115 0 0 25 0 1 0 729479473 171491328 40140 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41868 40140 566 18 0 41850 0
vsize: 167472
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 40566 0 0 0 105899 116 0 0 25 0 1 0 729479473 173105152 40543 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42262 40543 566 18 0 42244 0
vsize: 169048
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 40997 0 0 0 106898 117 0 0 25 0 1 0 729479473 174870528 40974 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42693 40974 566 18 0 42675 0
vsize: 170772
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 41177 0 0 0 107898 117 0 0 25 0 1 0 729479473 175697920 41154 4294967295 134512640 134581331 3221221792 3221220752 134516726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42895 41154 566 18 0 42877 0
vsize: 171580
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 41177 0 0 0 108898 118 0 0 25 0 1 0 729479473 175661056 41154 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42886 41154 566 18 0 42868 0
vsize: 171544
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 41177 0 0 0 109898 118 0 0 25 0 1 0 729479473 175661056 41154 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42886 41154 566 18 0 42868 0
vsize: 171544
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 41177 0 0 0 110898 118 0 0 25 0 1 0 729479473 175661056 41154 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42886 41154 566 18 0 42868 0
vsize: 171544
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 41177 0 0 0 111898 118 0 0 25 0 1 0 729479473 175661056 41154 4294967295 134512640 134581331 3221221792 3221220576 134528763 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42886 41154 566 18 0 42868 0
vsize: 171544
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 41177 0 0 0 112898 118 0 0 25 0 1 0 729479473 175661056 41154 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42886 41154 566 18 0 42868 0
vsize: 171544
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 41177 0 0 0 113898 118 0 0 25 0 1 0 729479473 175661056 41154 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42886 41154 566 18 0 42868 0
vsize: 171544
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 41177 0 0 0 114898 119 0 0 25 0 1 0 729479473 175661056 41154 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42886 41154 566 18 0 42868 0
vsize: 171544
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 41177 0 0 0 115898 119 0 0 25 0 1 0 729479473 175661056 41154 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42886 41154 566 18 0 42868 0
vsize: 171544
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 41177 0 0 0 116898 119 0 0 25 0 1 0 729479473 175661056 41154 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42886 41154 566 18 0 42868 0
vsize: 171544
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 11963
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 41177 0 0 0 117898 119 0 0 25 0 1 0 729479473 175661056 41154 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42886 41154 566 18 0 42868 0
vsize: 171544
[startup+1189.04 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 12012
Raw data (stat): 11963 (Pueblo) R 11962 7876 7672 0 -1 0 41177 0 0 0 117898 119 0 0 25 0 1 0 729479473 175661056 41154 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42886 41154 566 18 0 42868 0
vsize: 0

Child status: 10
Real time (s): 1189.04
CPU time (s): 1189.19
CPU user time (s): 1187.9
CPU system time (s): 1.2888
CPU usage (%): 100.013
Max. virtual memory (Kb): 171580
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-9
#### END VERIFIER DATA ####