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-1.opb
MD5SUM	94f501465233508e2f652cf118ddaf2d
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	41314
Number of constraints which are clauses	41314
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 24760

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 15:37:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2914 boxname=wulflinc31 idbench=324 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  94f501465233508e2f652cf118ddaf2d  /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-1.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-1.opb
IDLAUNCH: 2914
/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:        886488 kB
Buffers:         34868 kB
Cached:          91784 kB
SwapCached:       1936 kB
Active:          93836 kB
Inactive:        36072 kB
HighTotal:      131008 kB
HighFree:        38304 kB
LowTotal:       903652 kB
LowFree:        848184 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12740 kB
Committed_AS:    63852 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 15:57:14 (client local time) WITH STATUS 10 IN 1189.14 SECONDS
stats: 2914 0 1189.14 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-1.opb
c #variables read: 760 - #constraints read: 41315
s SATISFIABLE
v -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 C45 -C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 -C30 -C29 -C28 C27 -C26 -C25 -C24 -C23 -C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 -C11 C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.98 2/55 10234
Raw data (stat): 10234 (runsolver) R 10233 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 727661872 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+9.99976 s]
Raw data (loadavg): 0.93 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 1517 0 0 0 991 6 0 0 25 0 1 0 727661872 12009472 1494 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2932 1494 566 18 0 2914 0
vsize: 11728
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 2126 0 0 0 1990 7 0 0 25 0 1 0 727661872 14462976 2103 4294967295 134512640 134581331 3221221792 3221220512 134523407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3531 2103 566 18 0 3513 0
vsize: 14124
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 2715 0 0 0 2989 8 0 0 25 0 1 0 727661872 16920576 2692 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4131 2692 566 18 0 4113 0
vsize: 16524
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 3327 0 0 0 3987 10 0 0 25 0 1 0 727661872 19394560 3304 4294967295 134512640 134581331 3221221792 3221218880 134532818 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4735 3304 566 18 0 4717 0
vsize: 18940
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 3960 0 0 0 4986 11 0 0 25 0 1 0 727661872 22003712 3937 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5372 3937 566 18 0 5354 0
vsize: 21488
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 4546 0 0 0 5985 12 0 0 25 0 1 0 727661872 24322048 4523 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5938 4523 566 18 0 5920 0
vsize: 23752
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 5203 0 0 0 6984 14 0 0 25 0 1 0 727661872 27078656 5180 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6611 5180 566 18 0 6593 0
vsize: 26444
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 5810 0 0 0 7983 15 0 0 25 0 1 0 727661872 29552640 5787 4294967295 134512640 134581331 3221221792 3221220676 134557954 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7215 5787 566 18 0 7197 0
vsize: 28860
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 6592 0 0 0 8980 18 0 0 25 0 1 0 727661872 32780288 6569 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8003 6569 566 18 0 7985 0
vsize: 32012
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 7196 0 0 0 9978 20 0 0 25 0 1 0 727661872 35225600 7173 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8600 7173 566 18 0 8582 0
vsize: 34400
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 7696 0 0 0 10977 21 0 0 25 0 1 0 727661872 37281792 7673 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9102 7673 566 18 0 9084 0
vsize: 36408
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 8167 0 0 0 11976 23 0 0 25 0 1 0 727661872 39309312 8144 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9597 8144 566 18 0 9579 0
vsize: 38388
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 8847 0 0 0 12974 25 0 0 25 0 1 0 727661872 42020864 8824 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10259 8824 566 18 0 10241 0
vsize: 41036
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 9367 0 0 0 13973 26 0 0 25 0 1 0 727661872 44195840 9344 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10790 9344 566 18 0 10772 0
vsize: 43160
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 9962 0 0 0 14971 28 0 0 25 0 1 0 727661872 46649344 9939 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11389 9939 566 18 0 11371 0
vsize: 45556
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 10619 0 0 0 15970 29 0 0 25 0 1 0 727661872 49324032 10596 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12042 10596 566 18 0 12024 0
vsize: 48168
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 11230 0 0 0 16968 31 0 0 25 0 1 0 727661872 51761152 11207 4294967295 134512640 134581331 3221221792 3221220704 134519058 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12637 11207 566 18 0 12619 0
vsize: 50548
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 11884 0 0 0 17966 33 0 0 25 0 1 0 727661872 54444032 11861 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13292 11861 566 18 0 13274 0
vsize: 53168
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 12652 0 0 0 18965 35 0 0 25 0 1 0 727661872 57573376 12629 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14056 12629 566 18 0 14038 0
vsize: 56224
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 13126 0 0 0 19964 36 0 0 25 0 1 0 727661872 59625472 13103 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14557 13103 566 18 0 14539 0
vsize: 58228
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 13608 0 0 0 20963 38 0 0 25 0 1 0 727661872 61546496 13585 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15026 13585 566 18 0 15008 0
vsize: 60104
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 13998 0 0 0 21962 38 0 0 25 0 1 0 727661872 63188992 13975 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15427 13975 566 18 0 15409 0
vsize: 61708
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 14465 0 0 0 22961 39 0 0 25 0 1 0 727661872 65130496 14442 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15901 14442 566 18 0 15883 0
vsize: 63604
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 14983 0 0 0 23961 40 0 0 25 0 1 0 727661872 67297280 14960 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16430 14960 566 18 0 16412 0
vsize: 65720
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 15492 0 0 0 24959 42 0 0 25 0 1 0 727661872 69337088 15469 4294967295 134512640 134581331 3221221792 3221220704 134519023 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16928 15469 566 18 0 16910 0
vsize: 67712
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 15977 0 0 0 25958 43 0 0 25 0 1 0 727661872 71421952 15954 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17437 15954 566 18 0 17419 0
vsize: 69748
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 16427 0 0 0 26958 44 0 0 25 0 1 0 727661872 73199616 16404 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17871 16404 566 18 0 17853 0
vsize: 71484
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 17027 0 0 0 27956 45 0 0 25 0 1 0 727661872 75653120 17004 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18470 17004 566 18 0 18452 0
vsize: 73880
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 17513 0 0 0 28956 46 0 0 25 0 1 0 727661872 77692928 17490 4294967295 134512640 134581331 3221221792 3221220512 134523346 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18968 17490 566 18 0 18950 0
vsize: 75872
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 17973 0 0 0 29955 47 0 0 25 0 1 0 727661872 79691776 17950 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19456 17950 566 18 0 19438 0
vsize: 77824
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 18393 0 0 0 30954 48 0 0 25 0 1 0 727661872 81395712 18370 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19872 18370 566 18 0 19854 0
vsize: 79488
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 18860 0 0 0 31954 48 0 0 25 0 1 0 727661872 83312640 18837 4294967295 134512640 134581331 3221221792 3221220512 134523365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20340 18837 566 18 0 20322 0
vsize: 81360
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 19259 0 0 0 32953 49 0 0 25 0 1 0 727661872 84918272 19236 4294967295 134512640 134581331 3221221792 3221220512 134523365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20732 19236 566 18 0 20714 0
vsize: 82928
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 19638 0 0 0 33953 50 0 0 25 0 1 0 727661872 86437888 19615 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21103 19615 566 18 0 21085 0
vsize: 84412
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 20095 0 0 0 34952 51 0 0 25 0 1 0 727661872 88330240 20072 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21565 20072 566 18 0 21547 0
vsize: 86260
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 20556 0 0 0 35951 52 0 0 25 0 1 0 727661872 90263552 20533 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22037 20533 566 18 0 22019 0
vsize: 88148
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 21030 0 0 0 36950 53 0 0 25 0 1 0 727661872 92176384 21007 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22504 21007 566 18 0 22486 0
vsize: 90016
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 21393 0 0 0 37949 54 0 0 25 0 1 0 727661872 93655040 21370 4294967295 134512640 134581331 3221221792 3221220612 134528700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22865 21370 566 18 0 22847 0
vsize: 91460
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 21839 0 0 0 38948 55 0 0 25 0 1 0 727661872 95563776 21816 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23331 21816 566 18 0 23313 0
vsize: 93324
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 22284 0 0 0 39947 56 0 0 25 0 1 0 727661872 97390592 22261 4294967295 134512640 134581331 3221221792 3221220656 134528278 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23777 22261 566 18 0 23759 0
vsize: 95108
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 22762 0 0 0 40947 57 0 0 25 0 1 0 727661872 99311616 22739 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24246 22739 566 18 0 24228 0
vsize: 96984
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 23232 0 0 0 41946 58 0 0 25 0 1 0 727661872 101355520 23209 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24745 23209 566 18 0 24727 0
vsize: 98980
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 23730 0 0 0 42946 58 0 0 25 0 1 0 727661872 103272448 23707 4294967295 134512640 134581331 3221221792 3221220512 134523183 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25213 23707 566 18 0 25195 0
vsize: 100852
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 24241 0 0 0 43945 59 0 0 25 0 1 0 727661872 105345024 24218 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25719 24218 566 18 0 25701 0
vsize: 102876
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 24726 0 0 0 44944 60 0 0 25 0 1 0 727661872 107384832 24703 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26217 24703 566 18 0 26199 0
vsize: 104868
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 25221 0 0 0 45944 61 0 0 25 0 1 0 727661872 109383680 25198 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26705 25198 566 18 0 26687 0
vsize: 106820
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 25744 0 0 0 46942 63 0 0 25 0 1 0 727661872 111554560 25721 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27235 25721 566 18 0 27217 0
vsize: 108940
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 26051 0 0 0 47942 63 0 0 25 0 1 0 727661872 112807936 26028 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27541 26028 566 18 0 27523 0
vsize: 110164
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 26245 0 0 0 48941 64 0 0 25 0 1 0 727661872 113729536 26222 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27766 26222 566 18 0 27748 0
vsize: 111064
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 26466 0 0 0 49940 65 0 0 25 0 1 0 727661872 114552832 26443 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27967 26443 566 18 0 27949 0
vsize: 111868
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 26732 0 0 0 50940 66 0 0 25 0 1 0 727661872 115662848 26709 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28238 26709 566 18 0 28220 0
vsize: 112952
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 26893 0 0 0 51940 66 0 0 25 0 1 0 727661872 116350976 26870 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28406 26870 566 18 0 28388 0
vsize: 113624
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 27189 0 0 0 52939 66 0 0 25 0 1 0 727661872 117583872 27166 4294967295 134512640 134581331 3221221792 3221220512 134522313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28707 27166 566 18 0 28689 0
vsize: 114828
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 27468 0 0 0 53939 67 0 0 25 0 1 0 727661872 118681600 27445 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28975 27445 566 18 0 28957 0
vsize: 115900
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 27797 0 0 0 54938 68 0 0 25 0 1 0 727661872 120152064 27774 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29334 27774 566 18 0 29316 0
vsize: 117336
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 28152 0 0 0 55938 69 0 0 25 0 1 0 727661872 121528320 28129 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29670 28129 566 18 0 29652 0
vsize: 118680
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 28481 0 0 0 56937 69 0 0 25 0 1 0 727661872 123133952 28458 4294967295 134512640 134581331 3221221792 3221220784 134560768 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30062 28458 566 18 0 30044 0
vsize: 120248
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 28678 0 0 0 57937 70 0 0 25 0 1 0 727661872 123981824 28655 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30269 28655 566 18 0 30251 0
vsize: 121076
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 28995 0 0 0 58936 71 0 0 25 0 1 0 727661872 125263872 28972 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30582 28972 566 18 0 30564 0
vsize: 122328
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 29143 0 0 0 59936 71 0 0 25 0 1 0 727661872 125894656 29120 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30736 29120 566 18 0 30718 0
vsize: 122944
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 29486 0 0 0 60935 72 0 0 25 0 1 0 727661872 127356928 29463 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31093 29463 566 18 0 31075 0
vsize: 124372
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 29751 0 0 0 61934 73 0 0 25 0 1 0 727661872 128442368 29728 4294967295 134512640 134581331 3221221792 3221220512 134524438 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31358 29728 566 18 0 31340 0
vsize: 125432
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 30164 0 0 0 62933 75 0 0 25 0 1 0 727661872 130093056 30141 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31761 30141 566 18 0 31743 0
vsize: 127044
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 30588 0 0 0 63932 75 0 0 25 0 1 0 727661872 131858432 30565 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32192 30565 566 18 0 32174 0
vsize: 128768
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 31122 0 0 0 64932 76 0 0 25 0 1 0 727661872 134021120 31099 4294967295 134512640 134581331 3221221792 3221220676 134557928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32720 31099 566 18 0 32702 0
vsize: 130880
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 31364 0 0 0 65931 77 0 0 25 0 1 0 727661872 134979584 31341 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32954 31341 566 18 0 32936 0
vsize: 131816
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 31621 0 0 0 66931 78 0 0 25 0 1 0 727661872 136073216 31598 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33221 31598 566 18 0 33203 0
vsize: 132884
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 31893 0 0 0 67930 78 0 0 25 0 1 0 727661872 137187328 31870 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33493 31870 566 18 0 33475 0
vsize: 133972
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 32099 0 0 0 68930 79 0 0 25 0 1 0 727661872 138002432 32076 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33692 32076 566 18 0 33674 0
vsize: 134768
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 32428 0 0 0 69929 80 0 0 25 0 1 0 727661872 139440128 32405 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34043 32405 566 18 0 34025 0
vsize: 136172
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 32669 0 0 0 70928 81 0 0 25 0 1 0 727661872 140398592 32646 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34277 32646 566 18 0 34259 0
vsize: 137108
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 32991 0 0 0 71928 81 0 0 25 0 1 0 727661872 141762560 32968 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34610 32968 566 18 0 34592 0
vsize: 138440
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 33354 0 0 0 72927 82 0 0 25 0 1 0 727661872 143261696 33331 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34976 33331 566 18 0 34958 0
vsize: 139904
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 33736 0 0 0 73927 82 0 0 25 0 1 0 727661872 144760832 33713 4294967295 134512640 134581331 3221221792 3221220676 134557948 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35342 33713 566 18 0 35324 0
vsize: 141368
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 34047 0 0 0 74927 83 0 0 25 0 1 0 727661872 146132992 34024 4294967295 134512640 134581331 3221221792 3221220676 134557863 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35677 34024 566 18 0 35659 0
vsize: 142708
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 34362 0 0 0 75926 84 0 0 25 0 1 0 727661872 147365888 34339 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35978 34339 566 18 0 35960 0
vsize: 143912
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 34574 0 0 0 76926 84 0 0 25 0 1 0 727661872 148336640 34551 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36215 34551 566 18 0 36197 0
vsize: 144860
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 34880 0 0 0 77925 85 0 0 25 0 1 0 727661872 149585920 34857 4294967295 134512640 134581331 3221221792 3221220720 134519812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36520 34857 566 18 0 36502 0
vsize: 146080
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 35100 0 0 0 78925 86 0 0 25 0 1 0 727661872 150392832 35077 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36717 35077 566 18 0 36699 0
vsize: 146868
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 35424 0 0 0 79924 87 0 0 25 0 1 0 727661872 151797760 35401 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37060 35401 566 18 0 37042 0
vsize: 148240
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 35634 0 0 0 80923 88 0 0 25 0 1 0 727661872 152616960 35611 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37260 35611 566 18 0 37242 0
vsize: 149040
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 35936 0 0 0 81923 88 0 0 25 0 1 0 727661872 153862144 35913 4294967295 134512640 134581331 3221221792 3221220428 1075289088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37564 35913 566 18 0 37546 0
vsize: 150256
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 36306 0 0 0 82922 89 0 0 25 0 1 0 727661872 155385856 36283 4294967295 134512640 134581331 3221221792 3221220584 1075289350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37936 36283 566 18 0 37918 0
vsize: 151744
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 36641 0 0 0 83921 90 0 0 25 0 1 0 727661872 156745728 36618 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38268 36618 566 18 0 38250 0
vsize: 153072
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37007 0 0 0 84920 91 0 0 25 0 1 0 727661872 158261248 36984 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38638 36984 566 18 0 38620 0
vsize: 154552
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37236 0 0 0 85920 92 0 0 25 0 1 0 727661872 159248384 37213 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38879 37213 566 18 0 38861 0
vsize: 155516
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37504 0 0 0 86920 92 0 0 25 0 1 0 727661872 160391168 37481 4294967295 134512640 134581331 3221221792 3221220752 134516726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37481 566 18 0 39140 0
vsize: 156632
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37504 0 0 0 87920 92 0 0 25 0 1 0 727661872 160391168 37481 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37481 566 18 0 39140 0
vsize: 156632
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37504 0 0 0 88920 92 0 0 25 0 1 0 727661872 160391168 37481 4294967295 134512640 134581331 3221221792 3221220512 134523338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37481 566 18 0 39140 0
vsize: 156632
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37504 0 0 0 89920 92 0 0 25 0 1 0 727661872 160391168 37481 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37481 566 18 0 39140 0
vsize: 156632
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37504 0 0 0 90920 92 0 0 25 0 1 0 727661872 160391168 37481 4294967295 134512640 134581331 3221221792 3221220512 134523363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37481 566 18 0 39140 0
vsize: 156632
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37504 0 0 0 91920 92 0 0 25 0 1 0 727661872 160391168 37481 4294967295 134512640 134581331 3221221792 3221220688 134517897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37481 566 18 0 39140 0
vsize: 156632
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37504 0 0 0 92920 93 0 0 25 0 1 0 727661872 160391168 37481 4294967295 134512640 134581331 3221221792 3221220656 134528289 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37481 566 18 0 39140 0
vsize: 156632
[startup+940.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37504 0 0 0 93920 93 0 0 25 0 1 0 727661872 160391168 37481 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37481 566 18 0 39140 0
vsize: 156632
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37504 0 0 0 94920 93 0 0 25 0 1 0 727661872 160391168 37481 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37481 566 18 0 39140 0
vsize: 156632
[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37504 0 0 0 95920 93 0 0 25 0 1 0 727661872 160391168 37481 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37481 566 18 0 39140 0
vsize: 156632
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37504 0 0 0 96920 93 0 0 25 0 1 0 727661872 160391168 37481 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37481 566 18 0 39140 0
vsize: 156632
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37504 0 0 0 97920 94 0 0 25 0 1 0 727661872 160391168 37481 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37481 566 18 0 39140 0
vsize: 156632
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37505 0 0 0 98920 94 0 0 25 0 1 0 727661872 160391168 37482 4294967295 134512640 134581331 3221221792 3221220428 134566580 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37482 566 18 0 39140 0
vsize: 156632
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37505 0 0 0 99920 94 0 0 25 0 1 0 727661872 160391168 37482 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37482 566 18 0 39140 0
vsize: 156632
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37505 0 0 0 100920 94 0 0 25 0 1 0 727661872 160391168 37482 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37482 566 18 0 39140 0
vsize: 156632
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37506 0 0 0 101920 95 0 0 25 0 1 0 727661872 160391168 37483 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37483 566 18 0 39140 0
vsize: 156632
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37507 0 0 0 102920 95 0 0 25 0 1 0 727661872 160391168 37484 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37484 566 18 0 39140 0
vsize: 156632
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37507 0 0 0 103920 95 0 0 25 0 1 0 727661872 160391168 37484 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37484 566 18 0 39140 0
vsize: 156632
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37507 0 0 0 104920 95 0 0 25 0 1 0 727661872 160391168 37484 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37484 566 18 0 39140 0
vsize: 156632
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37507 0 0 0 105920 96 0 0 25 0 1 0 727661872 160391168 37484 4294967295 134512640 134581331 3221221792 3221220688 134517792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37484 566 18 0 39140 0
vsize: 156632
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37507 0 0 0 106920 96 0 0 25 0 1 0 727661872 160391168 37484 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37484 566 18 0 39140 0
vsize: 156632
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37507 0 0 0 107920 96 0 0 25 0 1 0 727661872 160391168 37484 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37484 566 18 0 39140 0
vsize: 156632
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37507 0 0 0 108920 96 0 0 25 0 1 0 727661872 160391168 37484 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37484 566 18 0 39140 0
vsize: 156632
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37508 0 0 0 109920 96 0 0 25 0 1 0 727661872 160391168 37485 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37485 566 18 0 39140 0
vsize: 156632
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37508 0 0 0 110920 96 0 0 25 0 1 0 727661872 160391168 37485 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37485 566 18 0 39140 0
vsize: 156632
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37508 0 0 0 111920 96 0 0 25 0 1 0 727661872 160391168 37485 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37485 566 18 0 39140 0
vsize: 156632
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37508 0 0 0 112920 97 0 0 25 0 1 0 727661872 160391168 37485 4294967295 134512640 134581331 3221221792 3221220512 134523352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37485 566 18 0 39140 0
vsize: 156632
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37508 0 0 0 113920 97 0 0 25 0 1 0 727661872 160391168 37485 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37485 566 18 0 39140 0
vsize: 156632
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37508 0 0 0 114920 97 0 0 25 0 1 0 727661872 160391168 37485 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37485 566 18 0 39140 0
vsize: 156632
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37508 0 0 0 115920 97 0 0 25 0 1 0 727661872 160391168 37485 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37485 566 18 0 39140 0
vsize: 156632
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37508 0 0 0 116920 97 0 0 25 0 1 0 727661872 160391168 37485 4294967295 134512640 134581331 3221221792 3221220736 134558939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37485 566 18 0 39140 0
vsize: 156632
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37508 0 0 0 117920 97 0 0 25 0 1 0 727661872 160391168 37485 4294967295 134512640 134581331 3221221792 3221220704 134518996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37485 566 18 0 39140 0
vsize: 156632
[startup+1188.98 s]
Raw data (loadavg): 0.99 0.97 0.98 1/54 10234
Raw data (stat): 10234 (Pueblo) R 10233 7876 7672 0 -1 0 37508 0 0 0 117920 97 0 0 25 0 1 0 727661872 160391168 37485 4294967295 134512640 134581331 3221221792 3221220704 134518996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37485 566 18 0 39140 0
vsize: 0

Child status: 10
Real time (s): 1188.98
CPU time (s): 1189.14
CPU user time (s): 1188.08
CPU system time (s): 1.05584
CPU usage (%): 100.013
Max. virtual memory (Kb): 156632
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-9
#### END VERIFIER DATA ####