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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 18:59:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2932 boxname=wulflinc31 idbench=326 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  3acd642471b3f4559739eef7eb2e9b58  /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-3.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-3.opb
IDLAUNCH: 2932
/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:        883800 kB
Buffers:         35152 kB
Cached:          93948 kB
SwapCached:       1936 kB
Active:          96936 kB
Inactive:        35428 kB
HighTotal:      131008 kB
HighFree:        36176 kB
LowTotal:       903652 kB
LowFree:        847624 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12840 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 19:19:09 (client local time) WITH STATUS 10 IN 1189.12 SECONDS
stats: 2932 0 1189.12 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-3.opb
c #variables read: 760 - #constraints read: 41096
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.91 0.95 0.95 2/55 11361
Raw data (stat): 11361 (runsolver) R 11360 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 728873561 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.95 0.95 2/55 11361
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 1521 0 0 0 991 5 0 0 25 0 1 0 728873561 11894784 1498 4294967295 134512640 134581331 3221221792 3221219184 134532249 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2904 1498 566 18 0 2886 0
vsize: 11616
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.95 2/55 11361
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 2138 0 0 0 1990 7 0 0 25 0 1 0 728873561 14495744 2115 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2115 566 18 0 3521 0
vsize: 14156
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.96 0.95 2/55 11361
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 2687 0 0 0 2989 8 0 0 25 0 1 0 728873561 16711680 2664 4294967295 134512640 134581331 3221221792 3221220512 134523338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4080 2664 566 18 0 4062 0
vsize: 16320
[startup+40.0015 s]
Raw data (loadavg): 0.95 0.96 0.95 2/55 11361
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 3285 0 0 0 3987 10 0 0 25 0 1 0 728873561 19165184 3262 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4679 3262 566 18 0 4661 0
vsize: 18716
[startup+50.0025 s]
Raw data (loadavg): 1.04 0.98 0.96 2/55 11414
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 4534 0 0 0 4984 13 0 0 25 0 1 0 728873561 24317952 4511 4294967295 134512640 134581331 3221221792 3221219216 134531930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5937 4511 566 18 0 5919 0
vsize: 23748
[startup+60.0024 s]
Raw data (loadavg): 1.03 0.98 0.96 2/55 11414
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 4982 0 0 0 5983 14 0 0 25 0 1 0 728873561 26107904 4959 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6374 4959 566 18 0 6356 0
vsize: 25496
[startup+70.0026 s]
Raw data (loadavg): 1.03 0.98 0.96 2/55 11414
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 5568 0 0 0 6982 15 0 0 25 0 1 0 728873561 28581888 5545 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6978 5545 566 18 0 6960 0
vsize: 27912
[startup+80.0033 s]
Raw data (loadavg): 1.02 0.98 0.96 2/55 11414
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 6196 0 0 0 7980 17 0 0 25 0 1 0 728873561 31178752 6173 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7612 6173 566 18 0 7594 0
vsize: 30448
[startup+90.0032 s]
Raw data (loadavg): 1.02 0.98 0.96 2/55 11414
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 6748 0 0 0 8979 19 0 0 25 0 1 0 728873561 33378304 6725 4294967295 134512640 134581331 3221221792 3221220512 134523370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8149 6725 566 18 0 8131 0
vsize: 32596
[startup+100.003 s]
Raw data (loadavg): 1.02 0.98 0.96 2/55 11414
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 7249 0 0 0 9978 20 0 0 25 0 1 0 728873561 35442688 7226 4294967295 134512640 134581331 3221221792 3221220512 134523381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8653 7226 566 18 0 8635 0
vsize: 34612
[startup+110.004 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 11414
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 7731 0 0 0 10977 21 0 0 25 0 1 0 728873561 37359616 7708 4294967295 134512640 134581331 3221221792 3221220512 134523407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9121 7708 566 18 0 9103 0
vsize: 36484
[startup+120.004 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 8288 0 0 0 11976 22 0 0 25 0 1 0 728873561 39710720 8265 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9695 8265 566 18 0 9677 0
vsize: 38780
[startup+130.004 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 8873 0 0 0 12974 24 0 0 25 0 1 0 728873561 42172416 8850 4294967295 134512640 134581331 3221221792 3221220488 1075291632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10296 8850 566 18 0 10278 0
vsize: 41184
[startup+140.005 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 9379 0 0 0 13974 25 0 0 25 0 1 0 728873561 44240896 9356 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10801 9356 566 18 0 10783 0
vsize: 43204
[startup+150.005 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 10003 0 0 0 14971 27 0 0 25 0 1 0 728873561 46710784 9980 4294967295 134512640 134581331 3221221792 3221220512 134523338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11404 9980 566 18 0 11386 0
vsize: 45616
[startup+160.005 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 10555 0 0 0 15970 28 0 0 25 0 1 0 728873561 49070080 10532 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11980 10532 566 18 0 11962 0
vsize: 47920
[startup+170.005 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 11070 0 0 0 16970 29 0 0 25 0 1 0 728873561 51142656 11047 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12486 11047 566 18 0 12468 0
vsize: 49944
[startup+180.006 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 11561 0 0 0 17969 30 0 0 25 0 1 0 728873561 53075968 11538 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12958 11538 566 18 0 12940 0
vsize: 51832
[startup+190.006 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 12093 0 0 0 18969 31 0 0 25 0 1 0 728873561 55275520 12070 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13495 12070 566 18 0 13477 0
vsize: 53980
[startup+200.006 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 12569 0 0 0 19968 32 0 0 25 0 1 0 728873561 57339904 12546 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13999 12546 566 18 0 13981 0
vsize: 55996
[startup+210.006 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 13049 0 0 0 20967 33 0 0 25 0 1 0 728873561 59236352 13026 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14462 13026 566 18 0 14444 0
vsize: 57848
[startup+220.007 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 13493 0 0 0 21966 34 0 0 25 0 1 0 728873561 61128704 13470 4294967295 134512640 134581331 3221221792 3221220676 134557928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14924 13470 566 18 0 14906 0
vsize: 59696
[startup+230.008 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 13927 0 0 0 22964 36 0 0 25 0 1 0 728873561 62910464 13904 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15359 13904 566 18 0 15341 0
vsize: 61436
[startup+240.008 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 14284 0 0 0 23964 37 0 0 25 0 1 0 728873561 64282624 14261 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15694 14261 566 18 0 15676 0
vsize: 62776
[startup+250.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 14758 0 0 0 24962 38 0 0 25 0 1 0 728873561 66338816 14735 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16196 14735 566 18 0 16178 0
vsize: 64784
[startup+260.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 15254 0 0 0 25962 39 0 0 25 0 1 0 728873561 68354048 15231 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16688 15231 566 18 0 16670 0
vsize: 66752
[startup+270.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 15720 0 0 0 26961 40 0 0 25 0 1 0 728873561 70279168 15697 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17158 15697 566 18 0 17140 0
vsize: 68632
[startup+280.011 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 16218 0 0 0 27960 41 0 0 25 0 1 0 728873561 72343552 16195 4294967295 134512640 134581331 3221221792 3221220512 134523363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17662 16195 566 18 0 17644 0
vsize: 70648
[startup+290.011 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 16801 0 0 0 28959 42 0 0 25 0 1 0 728873561 74678272 16778 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18232 16778 566 18 0 18214 0
vsize: 72928
[startup+300.012 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 17344 0 0 0 29958 44 0 0 25 0 1 0 728873561 76881920 17321 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18770 17321 566 18 0 18752 0
vsize: 75080
[startup+310.012 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 17852 0 0 0 30957 45 0 0 25 0 1 0 728873561 78934016 17829 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19271 17829 566 18 0 19253 0
vsize: 77084
[startup+320.012 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 18329 0 0 0 31956 46 0 0 25 0 1 0 728873561 80994304 18306 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19774 18306 566 18 0 19756 0
vsize: 79096
[startup+330.012 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 18939 0 0 0 32955 47 0 0 25 0 1 0 728873561 83472384 18916 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20379 18916 566 18 0 20361 0
vsize: 81516
[startup+340.012 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 19440 0 0 0 33954 48 0 0 25 0 1 0 728873561 85569536 19417 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20891 19418 566 18 0 20873 0
vsize: 83564
[startup+350.013 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 19867 0 0 0 34953 49 0 0 25 0 1 0 728873561 87224320 19844 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21295 19844 566 18 0 21277 0
vsize: 85180
[startup+360.012 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 20372 0 0 0 35953 50 0 0 25 0 1 0 728873561 89296896 20349 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21801 20349 566 18 0 21783 0
vsize: 87204
[startup+370.013 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 20818 0 0 0 36952 51 0 0 25 0 1 0 728873561 91181056 20795 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22261 20795 566 18 0 22243 0
vsize: 89044
[startup+380.013 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 21013 0 0 0 37952 51 0 0 25 0 1 0 728873561 91979776 20990 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22456 20991 566 18 0 22438 0
vsize: 89824
[startup+390.013 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 21306 0 0 0 38951 52 0 0 25 0 1 0 728873561 93196288 21283 4294967295 134512640 134581331 3221221792 3221220512 134523381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22753 21283 566 18 0 22735 0
vsize: 91012
[startup+400.014 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11416
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 21613 0 0 0 39950 53 0 0 25 0 1 0 728873561 94408704 21590 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23049 21590 566 18 0 23031 0
vsize: 92196
[startup+410.014 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 21895 0 0 0 40950 54 0 0 25 0 1 0 728873561 95621120 21872 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23345 21872 566 18 0 23327 0
vsize: 93380
[startup+420.014 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 22245 0 0 0 41949 55 0 0 25 0 1 0 728873561 97144832 22222 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23717 22222 566 18 0 23699 0
vsize: 94868
[startup+430.014 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 22504 0 0 0 42949 55 0 0 25 0 1 0 728873561 98123776 22481 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23956 22481 566 18 0 23938 0
vsize: 95824
[startup+440.014 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 22985 0 0 0 43948 56 0 0 25 0 1 0 728873561 100134912 22962 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24447 22962 566 18 0 24429 0
vsize: 97788
[startup+450.015 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 23294 0 0 0 44948 56 0 0 25 0 1 0 728873561 101363712 23271 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24747 23271 566 18 0 24729 0
vsize: 98988
[startup+460.015 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 23756 0 0 0 45947 57 0 0 25 0 1 0 728873561 103251968 23733 4294967295 134512640 134581331 3221221792 3221220676 134557928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25208 23733 566 18 0 25190 0
vsize: 100832
[startup+470.015 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 24142 0 0 0 46946 59 0 0 25 0 1 0 728873561 104878080 24119 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25605 24119 566 18 0 25587 0
vsize: 102420
[startup+480.016 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 24493 0 0 0 47945 60 0 0 25 0 1 0 728873561 106295296 24470 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25951 24470 566 18 0 25933 0
vsize: 103804
[startup+490.016 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 24815 0 0 0 48944 61 0 0 25 0 1 0 728873561 107618304 24792 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26274 24792 566 18 0 26256 0
vsize: 105096
[startup+500.017 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 25325 0 0 0 49943 62 0 0 25 0 1 0 728873561 109756416 25302 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26796 25302 566 18 0 26778 0
vsize: 107184
[startup+510.017 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 25838 0 0 0 50943 63 0 0 25 0 1 0 728873561 111927296 25815 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27326 25815 566 18 0 27308 0
vsize: 109304
[startup+520.016 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 26294 0 0 0 51942 63 0 0 25 0 1 0 728873561 113684480 26271 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27755 26271 566 18 0 27737 0
vsize: 111020
[startup+530.017 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 26795 0 0 0 52941 65 0 0 25 0 1 0 728873561 115744768 26772 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28258 26772 566 18 0 28240 0
vsize: 113032
[startup+540.016 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 27212 0 0 0 53940 65 0 0 25 0 1 0 728873561 117608448 27189 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28713 27189 566 18 0 28695 0
vsize: 114852
[startup+550.017 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 27742 0 0 0 54939 67 0 0 25 0 1 0 728873561 119656448 27719 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29213 27719 566 18 0 29195 0
vsize: 116852
[startup+560.017 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 28230 0 0 0 55938 68 0 0 25 0 1 0 728873561 121843712 28207 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29747 28207 566 18 0 29729 0
vsize: 118988
[startup+570.017 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 28757 0 0 0 56937 69 0 0 25 0 1 0 728873561 124039168 28734 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30283 28734 566 18 0 30265 0
vsize: 121132
[startup+580.017 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 29288 0 0 0 57936 71 0 0 25 0 1 0 728873561 126115840 29265 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30790 29265 566 18 0 30772 0
vsize: 123160
[startup+590.017 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 29799 0 0 0 58935 72 0 0 25 0 1 0 728873561 128323584 29776 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31329 29776 566 18 0 31311 0
vsize: 125316
[startup+600.018 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 30295 0 0 0 59934 73 0 0 25 0 1 0 728873561 130260992 30272 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31802 30272 566 18 0 31784 0
vsize: 127208
[startup+610.018 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 30786 0 0 0 60933 74 0 0 25 0 1 0 728873561 132313088 30763 4294967295 134512640 134581331 3221221792 3221220512 134523368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32303 30763 566 18 0 32285 0
vsize: 129212
[startup+620.018 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 31289 0 0 0 61932 75 0 0 25 0 1 0 728873561 134385664 31266 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32809 31266 566 18 0 32791 0
vsize: 131236
[startup+630.018 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 31800 0 0 0 62932 76 0 0 25 0 1 0 728873561 136417280 31777 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33305 31777 566 18 0 33287 0
vsize: 133220
[startup+640.018 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 32329 0 0 0 63930 77 0 0 25 0 1 0 728873561 138608640 32306 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33840 32306 566 18 0 33822 0
vsize: 135360
[startup+650.019 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 32819 0 0 0 64929 78 0 0 25 0 1 0 728873561 140541952 32796 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34312 32796 566 18 0 34294 0
vsize: 137248
[startup+660.019 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 33233 0 0 0 65928 79 0 0 25 0 1 0 728873561 142245888 33210 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34728 33210 566 18 0 34710 0
vsize: 138912
[startup+670.018 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 33628 0 0 0 66928 80 0 0 25 0 1 0 728873561 143880192 33605 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35127 33605 566 18 0 35109 0
vsize: 140508
[startup+680.018 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 34087 0 0 0 67927 81 0 0 25 0 1 0 728873561 145809408 34064 4294967295 134512640 134581331 3221221792 3221220704 134518883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35598 34064 566 18 0 35580 0
vsize: 142392
[startup+690.018 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 34523 0 0 0 68926 83 0 0 25 0 1 0 728873561 147591168 34500 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36033 34500 566 18 0 36015 0
vsize: 144132
[startup+700.019 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 34913 0 0 0 69925 83 0 0 25 0 1 0 728873561 149196800 34890 4294967295 134512640 134581331 3221221792 3221220512 134523407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36425 34890 566 18 0 36407 0
vsize: 145700
[startup+710.019 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 35338 0 0 0 70925 84 0 0 25 0 1 0 728873561 150974464 35315 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36859 35315 566 18 0 36841 0
vsize: 147436
[startup+720.019 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 35819 0 0 0 71924 85 0 0 25 0 1 0 728873561 152895488 35796 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37328 35796 566 18 0 37310 0
vsize: 149312
[startup+730.019 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 36185 0 0 0 72923 86 0 0 25 0 1 0 728873561 154398720 36162 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37695 36162 566 18 0 37677 0
vsize: 150780
[startup+740.019 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 36686 0 0 0 73922 87 0 0 25 0 1 0 728873561 156454912 36663 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38197 36663 566 18 0 38179 0
vsize: 152788
[startup+750.02 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37196 0 0 0 74921 88 0 0 25 0 1 0 728873561 158502912 37173 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38697 37173 566 18 0 38679 0
vsize: 154788
[startup+760.02 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37231 0 0 0 75921 88 0 0 25 0 1 0 728873561 158633984 37208 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37208 566 18 0 38711 0
vsize: 154916
[startup+770.02 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37231 0 0 0 76921 88 0 0 25 0 1 0 728873561 158633984 37208 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37208 566 18 0 38711 0
vsize: 154916
[startup+780.021 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37231 0 0 0 77921 88 0 0 25 0 1 0 728873561 158633984 37208 4294967295 134512640 134581331 3221221792 3221220512 134523390 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37208 566 18 0 38711 0
vsize: 154916
[startup+790.021 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37231 0 0 0 78921 89 0 0 25 0 1 0 728873561 158633984 37208 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37208 566 18 0 38711 0
vsize: 154916
[startup+800.022 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37232 0 0 0 79922 89 0 0 25 0 1 0 728873561 158633984 37209 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37209 566 18 0 38711 0
vsize: 154916
[startup+810.021 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37232 0 0 0 80921 89 0 0 25 0 1 0 728873561 158633984 37209 4294967295 134512640 134581331 3221221792 3221220428 1075288765 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37209 566 18 0 38711 0
vsize: 154916
[startup+820.021 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37232 0 0 0 81921 89 0 0 25 0 1 0 728873561 158633984 37209 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37209 566 18 0 38711 0
vsize: 154916
[startup+830.022 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37232 0 0 0 82921 89 0 0 25 0 1 0 728873561 158633984 37209 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37209 566 18 0 38711 0
vsize: 154916
[startup+840.021 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37232 0 0 0 83922 89 0 0 25 0 1 0 728873561 158633984 37209 4294967295 134512640 134581331 3221221792 3221220736 134558822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37209 566 18 0 38711 0
vsize: 154916
[startup+850.022 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37232 0 0 0 84922 90 0 0 25 0 1 0 728873561 158633984 37209 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37209 566 18 0 38711 0
vsize: 154916
[startup+860.023 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37232 0 0 0 85922 90 0 0 25 0 1 0 728873561 158633984 37209 4294967295 134512640 134581331 3221221792 3221220768 134561104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37209 566 18 0 38711 0
vsize: 154916
[startup+870.023 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37232 0 0 0 86922 90 0 0 25 0 1 0 728873561 158633984 37209 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37209 566 18 0 38711 0
vsize: 154916
[startup+880.023 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37232 0 0 0 87922 90 0 0 25 0 1 0 728873561 158633984 37209 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37209 566 18 0 38711 0
vsize: 154916
[startup+890.023 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37232 0 0 0 88922 90 0 0 25 0 1 0 728873561 158633984 37209 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37209 566 18 0 38711 0
vsize: 154916
[startup+900.024 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37232 0 0 0 89922 90 0 0 25 0 1 0 728873561 158633984 37209 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37209 566 18 0 38711 0
vsize: 154916
[startup+910.024 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37232 0 0 0 90922 91 0 0 25 0 1 0 728873561 158633984 37209 4294967295 134512640 134581331 3221221792 3221220656 134528254 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37209 566 18 0 38711 0
vsize: 154916
[startup+920.024 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37232 0 0 0 91922 91 0 0 25 0 1 0 728873561 158633984 37209 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37209 566 18 0 38711 0
vsize: 154916
[startup+930.025 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37232 0 0 0 92922 91 0 0 25 0 1 0 728873561 158633984 37209 4294967295 134512640 134581331 3221221792 3221220512 134523338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37209 566 18 0 38711 0
vsize: 154916
[startup+940.025 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37232 0 0 0 93922 91 0 0 25 0 1 0 728873561 158633984 37209 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37209 566 18 0 38711 0
vsize: 154916
[startup+950.026 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37232 0 0 0 94922 91 0 0 25 0 1 0 728873561 158633984 37209 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37209 566 18 0 38711 0
vsize: 154916
[startup+960.027 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37232 0 0 0 95922 92 0 0 25 0 1 0 728873561 158633984 37209 4294967295 134512640 134581331 3221221792 3221220720 134519883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37209 566 18 0 38711 0
vsize: 154916
[startup+970.026 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37232 0 0 0 96922 92 0 0 25 0 1 0 728873561 158633984 37209 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37209 566 18 0 38711 0
vsize: 154916
[startup+980.026 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37232 0 0 0 97922 92 0 0 25 0 1 0 728873561 158633984 37209 4294967295 134512640 134581331 3221221792 3221220048 134532115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37209 566 18 0 38711 0
vsize: 154916
[startup+990.026 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37232 0 0 0 98922 92 0 0 25 0 1 0 728873561 158633984 37209 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37209 566 18 0 38711 0
vsize: 154916
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37232 0 0 0 99922 92 0 0 25 0 1 0 728873561 158633984 37209 4294967295 134512640 134581331 3221221792 3221220676 134557901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37209 566 18 0 38711 0
vsize: 154916
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37232 0 0 0 100922 92 0 0 25 0 1 0 728873561 158633984 37209 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37209 566 18 0 38711 0
vsize: 154916
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37232 0 0 0 101922 93 0 0 25 0 1 0 728873561 158633984 37209 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37209 566 18 0 38711 0
vsize: 154916
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37232 0 0 0 102922 93 0 0 25 0 1 0 728873561 158633984 37209 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37209 566 18 0 38711 0
vsize: 154916
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37233 0 0 0 103922 93 0 0 25 0 1 0 728873561 158633984 37210 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37210 566 18 0 38711 0
vsize: 154916
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37233 0 0 0 104922 93 0 0 25 0 1 0 728873561 158633984 37210 4294967295 134512640 134581331 3221221792 3221220576 134528758 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37210 566 18 0 38711 0
vsize: 154916
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37233 0 0 0 105922 93 0 0 25 0 1 0 728873561 158633984 37210 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37210 566 18 0 38711 0
vsize: 154916
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37233 0 0 0 106921 94 0 0 25 0 1 0 728873561 158633984 37210 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37210 566 18 0 38711 0
vsize: 154916
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37233 0 0 0 107921 94 0 0 25 0 1 0 728873561 158633984 37210 4294967295 134512640 134581331 3221221792 3221220464 134531731 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37210 566 18 0 38711 0
vsize: 154916
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37233 0 0 0 108921 94 0 0 25 0 1 0 728873561 158633984 37210 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37210 566 18 0 38711 0
vsize: 154916
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37233 0 0 0 109921 95 0 0 25 0 1 0 728873561 158633984 37210 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37210 566 18 0 38711 0
vsize: 154916
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37233 0 0 0 110921 95 0 0 25 0 1 0 728873561 158633984 37210 4294967295 134512640 134581331 3221221792 3221220428 1075289347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37210 566 18 0 38711 0
vsize: 154916
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37233 0 0 0 111921 95 0 0 25 0 1 0 728873561 158633984 37210 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37210 566 18 0 38711 0
vsize: 154916
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37233 0 0 0 112921 95 0 0 25 0 1 0 728873561 158633984 37210 4294967295 134512640 134581331 3221221792 3221220576 134528708 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37210 566 18 0 38711 0
vsize: 154916
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37233 0 0 0 113922 95 0 0 25 0 1 0 728873561 158633984 37210 4294967295 134512640 134581331 3221221792 3221220704 134519011 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37210 566 18 0 38711 0
vsize: 154916
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37233 0 0 0 114922 95 0 0 25 0 1 0 728873561 158633984 37210 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37210 566 18 0 38711 0
vsize: 154916
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37233 0 0 0 115922 95 0 0 25 0 1 0 728873561 158633984 37210 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37210 566 18 0 38711 0
vsize: 154916
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37233 0 0 0 116922 95 0 0 25 0 1 0 728873561 158633984 37210 4294967295 134512640 134581331 3221221792 3221220488 1075291317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37210 566 18 0 38711 0
vsize: 154916
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37233 0 0 0 117922 96 0 0 25 0 1 0 728873561 158633984 37210 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37210 566 18 0 38711 0
vsize: 154916
[startup+1188.97 s]
Raw data (loadavg): 1.00 0.98 0.96 1/54 11418
Raw data (stat): 11361 (Pueblo) R 11360 7876 7672 0 -1 0 37233 0 0 0 117922 96 0 0 25 0 1 0 728873561 158633984 37210 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38729 37210 566 18 0 38711 0
vsize: 0

Child status: 10
Real time (s): 1188.97
CPU time (s): 1189.12
CPU user time (s): 1188.09
CPU system time (s): 1.03184
CPU usage (%): 100.013
Max. virtual memory (Kb): 154916
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-10
#### END VERIFIER DATA ####