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/frb45-21-opb/normalized-frb45-21-1.opb
MD5SUM	aa1ea44fce5b7bfbe62733720f941ebb
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-33
Optimality of the best value was proved	NO
Number of terms in the objective function	945
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	945
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	945
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	945
Total number of constraints	59186
Number of constraints which are clauses	59186
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 24785

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-13 00:02:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2959 boxname=wulflinc31 idbench=329 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  aa1ea44fce5b7bfbe62733720f941ebb  /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-1.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-1.opb
IDLAUNCH: 2959
/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:        879536 kB
Buffers:         35592 kB
Cached:          97792 kB
SwapCached:       1936 kB
Active:         101664 kB
Inactive:        34880 kB
HighTotal:      131008 kB
HighFree:        32424 kB
LowTotal:       903652 kB
LowFree:        847112 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12876 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-13 00:22:04 (client local time) WITH STATUS 10 IN 1189.11 SECONDS
stats: 2959 0 1189.11 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-1.opb
c #variables read: 945 - #constraints read: 59187
s SATISFIABLE
v -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -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.93 0.97 0.97 2/55 13145
Raw data (stat): 13145 (runsolver) R 13144 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 730691296 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 0.94 0.97 0.97 2/55 13145
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 2050 0 0 0 991 6 0 0 25 0 1 0 730691296 14012416 2027 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3421 2027 566 18 0 3403 0
vsize: 13684
[startup+20.0016 s]
Raw data (loadavg): 0.95 0.97 0.97 2/55 13145
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 2143 0 0 0 1991 6 0 0 25 0 1 0 730691296 14426112 2120 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3522 2120 566 18 0 3504 0
vsize: 14088
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.97 0.97 2/55 13145
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 2602 0 0 0 2990 7 0 0 25 0 1 0 730691296 16384000 2579 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4000 2579 566 18 0 3982 0
vsize: 16000
[startup+40.0027 s]
Raw data (loadavg): 0.96 0.97 0.97 2/55 13145
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 3110 0 0 0 3988 9 0 0 25 0 1 0 730691296 18333696 3087 4294967295 134512640 134581331 3221221792 3221220704 134519006 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4476 3087 566 18 0 4458 0
vsize: 17904
[startup+50.0024 s]
Raw data (loadavg): 0.97 0.97 0.97 2/55 13145
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 3595 0 0 0 4987 10 0 0 25 0 1 0 730691296 20365312 3572 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4972 3572 566 18 0 4954 0
vsize: 19888
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.97 0.97 2/55 13145
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 4107 0 0 0 5986 11 0 0 25 0 1 0 730691296 22429696 4084 4294967295 134512640 134581331 3221221792 3221218864 134532756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5476 4084 566 18 0 5458 0
vsize: 21904
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.97 0.97 2/55 13145
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 4511 0 0 0 6985 12 0 0 25 0 1 0 730691296 24195072 4488 4294967295 134512640 134581331 3221221792 3221220704 134518996 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5907 4488 566 18 0 5889 0
vsize: 23628
[startup+80.0022 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 13145
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 4955 0 0 0 7983 14 0 0 25 0 1 0 730691296 25948160 4932 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6335 4932 566 18 0 6317 0
vsize: 25340
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 13145
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 5443 0 0 0 8982 16 0 0 25 0 1 0 730691296 27983872 5420 4294967295 134512640 134581331 3221221792 3221220512 134523390 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6832 5420 566 18 0 6814 0
vsize: 27328
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 13145
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 5899 0 0 0 9981 17 0 0 25 0 1 0 730691296 29790208 5876 4294967295 134512640 134581331 3221221792 3221220512 134524438 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7273 5876 566 18 0 7255 0
vsize: 29092
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13145
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 6263 0 0 0 10980 18 0 0 25 0 1 0 730691296 31277056 6240 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7636 6240 566 18 0 7618 0
vsize: 30544
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13145
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 6667 0 0 0 11979 19 0 0 25 0 1 0 730691296 32923648 6644 4294967295 134512640 134581331 3221221792 3221220512 134523365 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8038 6644 566 18 0 8020 0
vsize: 32152
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13145
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 6945 0 0 0 12978 20 0 0 25 0 1 0 730691296 34168832 6922 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8342 6922 566 18 0 8324 0
vsize: 33368
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13145
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 7322 0 0 0 13977 21 0 0 25 0 1 0 730691296 35676160 7299 4294967295 134512640 134581331 3221221792 3221220704 134519032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8710 7299 566 18 0 8692 0
vsize: 34840
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13145
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 7761 0 0 0 14976 22 0 0 25 0 1 0 730691296 37486592 7738 4294967295 134512640 134581331 3221221792 3221220512 134523365 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9152 7738 566 18 0 9134 0
vsize: 36608
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13145
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 8221 0 0 0 15975 23 0 0 25 0 1 0 730691296 39399424 8198 4294967295 134512640 134581331 3221221792 3221220512 134523363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9619 8198 566 18 0 9601 0
vsize: 38476
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13145
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 8649 0 0 0 16974 25 0 0 25 0 1 0 730691296 41144320 8626 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10045 8626 566 18 0 10027 0
vsize: 40180
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13145
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 9175 0 0 0 17973 26 0 0 25 0 1 0 730691296 43200512 9152 4294967295 134512640 134581331 3221221792 3221220704 134527649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10547 9152 566 18 0 10529 0
vsize: 42188
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13145
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 9579 0 0 0 18972 27 0 0 25 0 1 0 730691296 44990464 9556 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10984 9556 566 18 0 10966 0
vsize: 43936
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13145
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 10014 0 0 0 19971 28 0 0 25 0 1 0 730691296 46682112 9991 4294967295 134512640 134581331 3221221792 3221220512 134523390 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11397 9991 566 18 0 11379 0
vsize: 45588
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13145
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 10330 0 0 0 20971 29 0 0 25 0 1 0 730691296 48082944 10307 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11739 10307 566 18 0 11721 0
vsize: 46956
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13145
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 10754 0 0 0 21970 30 0 0 25 0 1 0 730691296 49831936 10731 4294967295 134512640 134581331 3221221792 3221220512 134523368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12166 10731 566 18 0 12148 0
vsize: 48664
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 11120 0 0 0 22968 32 0 0 25 0 1 0 730691296 51339264 11097 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12534 11097 566 18 0 12516 0
vsize: 50136
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 11524 0 0 0 23968 32 0 0 25 0 1 0 730691296 52981760 11501 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12935 11501 566 18 0 12917 0
vsize: 51740
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 11927 0 0 0 24967 34 0 0 25 0 1 0 730691296 54644736 11904 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13341 11904 566 18 0 13323 0
vsize: 53364
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 12324 0 0 0 25966 35 0 0 25 0 1 0 730691296 56283136 12301 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13741 12301 566 18 0 13723 0
vsize: 54964
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 12646 0 0 0 26965 36 0 0 25 0 1 0 730691296 57511936 12623 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14041 12623 566 18 0 14023 0
vsize: 56164
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 13094 0 0 0 27964 37 0 0 25 0 1 0 730691296 59437056 13071 4294967295 134512640 134581331 3221221792 3221220784 134526645 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14511 13071 566 18 0 14493 0
vsize: 58044
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 13382 0 0 0 28964 37 0 0 25 0 1 0 730691296 60542976 13359 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14781 13359 566 18 0 14763 0
vsize: 59124
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 13812 0 0 0 29962 39 0 0 25 0 1 0 730691296 62345216 13789 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15221 13789 566 18 0 15203 0
vsize: 60884
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 14218 0 0 0 30961 40 0 0 25 0 1 0 730691296 63983616 14195 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15621 14195 566 18 0 15603 0
vsize: 62484
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 14549 0 0 0 31960 41 0 0 25 0 1 0 730691296 65355776 14526 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15956 14526 566 18 0 15938 0
vsize: 63824
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 14942 0 0 0 32960 42 0 0 25 0 1 0 730691296 66924544 14919 4294967295 134512640 134581331 3221221792 3221220512 134523365 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16339 14919 566 18 0 16321 0
vsize: 65356
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 15293 0 0 0 33959 43 0 0 25 0 1 0 730691296 68411392 15270 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16702 15270 566 18 0 16684 0
vsize: 66808
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 15686 0 0 0 34958 44 0 0 25 0 1 0 730691296 70066176 15663 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17106 15663 566 18 0 17088 0
vsize: 68424
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 16153 0 0 0 35956 46 0 0 25 0 1 0 730691296 71987200 16130 4294967295 134512640 134581331 3221221792 3221220772 134526342 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17575 16130 566 18 0 17557 0
vsize: 70300
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 16425 0 0 0 36956 47 0 0 25 0 1 0 730691296 73072640 16402 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17840 16402 566 18 0 17822 0
vsize: 71360
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 16732 0 0 0 37956 47 0 0 25 0 1 0 730691296 74350592 16709 4294967295 134512640 134581331 3221221792 3221220704 134519025 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18152 16709 566 18 0 18134 0
vsize: 72608
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 17041 0 0 0 38955 48 0 0 25 0 1 0 730691296 75579392 17018 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18452 17018 566 18 0 18434 0
vsize: 73808
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 17356 0 0 0 39954 49 0 0 25 0 1 0 730691296 76967936 17333 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18791 17333 566 18 0 18773 0
vsize: 75164
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 17664 0 0 0 40953 50 0 0 25 0 1 0 730691296 78278656 17641 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19111 17641 566 18 0 19093 0
vsize: 76444
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 18069 0 0 0 41953 51 0 0 25 0 1 0 730691296 79953920 18046 4294967295 134512640 134581331 3221221792 3221220512 134523766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19520 18046 566 18 0 19502 0
vsize: 78080
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 18466 0 0 0 42952 51 0 0 25 0 1 0 730691296 81580032 18443 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19917 18443 566 18 0 19899 0
vsize: 79668
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 18854 0 0 0 43952 51 0 0 25 0 1 0 730691296 83103744 18831 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20289 18831 566 18 0 20271 0
vsize: 81156
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 19223 0 0 0 44952 52 0 0 25 0 1 0 730691296 84627456 19200 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20661 19200 566 18 0 20643 0
vsize: 82644
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 19619 0 0 0 45951 53 0 0 25 0 1 0 730691296 86294528 19596 4294967295 134512640 134581331 3221221792 3221220720 134519950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21068 19596 566 18 0 21050 0
vsize: 84272
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 20013 0 0 0 46950 54 0 0 25 0 1 0 730691296 87830528 19990 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21443 19990 566 18 0 21425 0
vsize: 85772
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 20356 0 0 0 47950 54 0 0 25 0 1 0 730691296 89354240 20333 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21815 20333 566 18 0 21797 0
vsize: 87260
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 20757 0 0 0 48949 55 0 0 25 0 1 0 730691296 90865664 20734 4294967295 134512640 134581331 3221221792 3221220736 134558953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22184 20734 566 18 0 22166 0
vsize: 88736
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 21203 0 0 0 49948 56 0 0 25 0 1 0 730691296 92790784 21180 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22654 21180 566 18 0 22636 0
vsize: 90616
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 21614 0 0 0 50947 57 0 0 25 0 1 0 730691296 94412800 21591 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23050 21591 566 18 0 23032 0
vsize: 92200
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 21991 0 0 0 51947 58 0 0 25 0 1 0 730691296 95907840 21968 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23415 21968 566 18 0 23397 0
vsize: 93660
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 22405 0 0 0 52946 59 0 0 25 0 1 0 730691296 97656832 22382 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23842 22382 566 18 0 23824 0
vsize: 95368
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 22834 0 0 0 53945 60 0 0 25 0 1 0 730691296 99450880 22811 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24280 22811 566 18 0 24262 0
vsize: 97120
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 23172 0 0 0 54944 61 0 0 25 0 1 0 730691296 100921344 23149 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24639 23149 566 18 0 24621 0
vsize: 98556
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 23527 0 0 0 55944 62 0 0 25 0 1 0 730691296 102301696 23504 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24976 23504 566 18 0 24958 0
vsize: 99904
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 23837 0 0 0 56944 62 0 0 25 0 1 0 730691296 103694336 23814 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25316 23814 566 18 0 25298 0
vsize: 101264
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 24127 0 0 0 57943 63 0 0 25 0 1 0 730691296 104906752 24104 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25612 24104 566 18 0 25594 0
vsize: 102448
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 24400 0 0 0 58943 63 0 0 25 0 1 0 730691296 105996288 24377 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25878 24377 566 18 0 25860 0
vsize: 103512
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 24700 0 0 0 59943 64 0 0 25 0 1 0 730691296 107245568 24677 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26183 24677 566 18 0 26165 0
vsize: 104732
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 24959 0 0 0 60942 65 0 0 25 0 1 0 730691296 108216320 24936 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26420 24936 566 18 0 26402 0
vsize: 105680
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 25213 0 0 0 61942 65 0 0 25 0 1 0 730691296 109305856 25190 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26686 25190 566 18 0 26668 0
vsize: 106744
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 25651 0 0 0 62941 66 0 0 25 0 1 0 730691296 111149056 25628 4294967295 134512640 134581331 3221221792 3221220704 134518996 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27136 25628 566 18 0 27118 0
vsize: 108544
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 25912 0 0 0 63941 67 0 0 25 0 1 0 730691296 112107520 25889 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27370 25889 566 18 0 27352 0
vsize: 109480
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 26174 0 0 0 64940 67 0 0 25 0 1 0 730691296 113205248 26151 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27638 26151 566 18 0 27620 0
vsize: 110552
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 26447 0 0 0 65940 68 0 0 25 0 1 0 730691296 114360320 26424 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27920 26424 566 18 0 27902 0
vsize: 111680
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 26814 0 0 0 66939 69 0 0 25 0 1 0 730691296 115912704 26791 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28299 26791 566 18 0 28281 0
vsize: 113196
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 26990 0 0 0 67939 69 0 0 25 0 1 0 730691296 116609024 26967 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28469 26967 566 18 0 28451 0
vsize: 113876
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 27183 0 0 0 68938 70 0 0 25 0 1 0 730691296 117440512 27160 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28672 27160 566 18 0 28654 0
vsize: 114688
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 27407 0 0 0 69938 70 0 0 25 0 1 0 730691296 118423552 27384 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28912 27384 566 18 0 28894 0
vsize: 115648
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 27635 0 0 0 70938 71 0 0 25 0 1 0 730691296 119377920 27612 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29145 27612 566 18 0 29127 0
vsize: 116580
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 27903 0 0 0 71937 71 0 0 25 0 1 0 730691296 120520704 27880 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29424 27880 566 18 0 29406 0
vsize: 117696
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 28092 0 0 0 72937 72 0 0 25 0 1 0 730691296 121356288 28069 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29628 28069 566 18 0 29610 0
vsize: 118512
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 28400 0 0 0 73936 73 0 0 25 0 1 0 730691296 122589184 28377 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29929 28377 566 18 0 29911 0
vsize: 119716
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 28724 0 0 0 74936 73 0 0 25 0 1 0 730691296 123822080 28701 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30230 28701 566 18 0 30212 0
vsize: 120920
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 29009 0 0 0 75936 74 0 0 25 0 1 0 730691296 125083648 28986 4294967295 134512640 134581331 3221221792 3221220676 134557954 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30538 28986 566 18 0 30520 0
vsize: 122152
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 29340 0 0 0 76935 74 0 0 25 0 1 0 730691296 126443520 29317 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30870 29317 566 18 0 30852 0
vsize: 123480
[startup+780.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 29570 0 0 0 77935 75 0 0 25 0 1 0 730691296 127401984 29547 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31104 29547 566 18 0 31086 0
vsize: 124416
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 29860 0 0 0 78934 76 0 0 25 0 1 0 730691296 128520192 29837 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31377 29837 566 18 0 31359 0
vsize: 125508
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 30198 0 0 0 79933 77 0 0 25 0 1 0 730691296 129884160 30175 4294967295 134512640 134581331 3221221792 3221220576 134528763 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31710 30175 566 18 0 31692 0
vsize: 126840
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 30406 0 0 0 80933 78 0 0 25 0 1 0 730691296 130719744 30383 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31914 30383 566 18 0 31896 0
vsize: 127656
[startup+820.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 30574 0 0 0 81933 78 0 0 25 0 1 0 730691296 131416064 30551 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32084 30551 566 18 0 32066 0
vsize: 128336
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 30817 0 0 0 82932 79 0 0 25 0 1 0 730691296 132390912 30794 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32322 30794 566 18 0 32304 0
vsize: 129288
[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 31084 0 0 0 83931 79 0 0 25 0 1 0 730691296 133492736 31061 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32591 31061 566 18 0 32573 0
vsize: 130364
[startup+850.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 31250 0 0 0 84931 80 0 0 25 0 1 0 730691296 134172672 31227 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32757 31227 566 18 0 32739 0
vsize: 131028
[startup+860.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 31480 0 0 0 85931 80 0 0 25 0 1 0 730691296 135139328 31457 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32993 31457 566 18 0 32975 0
vsize: 131972
[startup+870.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 31646 0 0 0 86931 81 0 0 25 0 1 0 730691296 135827456 31623 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33161 31623 566 18 0 33143 0
vsize: 132644
[startup+880.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 31862 0 0 0 87930 82 0 0 25 0 1 0 730691296 136658944 31839 4294967295 134512640 134581331 3221221792 3221220676 134557761 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33364 31839 566 18 0 33346 0
vsize: 133456
[startup+890.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 32047 0 0 0 88930 82 0 0 25 0 1 0 730691296 137486336 32024 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33566 32024 566 18 0 33548 0
vsize: 134264
[startup+900.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 32305 0 0 0 89929 83 0 0 25 0 1 0 730691296 138575872 32282 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33832 32282 566 18 0 33814 0
vsize: 135328
[startup+910.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 32505 0 0 0 90929 83 0 0 25 0 1 0 730691296 139403264 32482 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34034 32482 566 18 0 34016 0
vsize: 136136
[startup+920.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 32728 0 0 0 91929 84 0 0 25 0 1 0 730691296 140206080 32705 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34230 32705 566 18 0 34212 0
vsize: 136920
[startup+930.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 32991 0 0 0 92927 85 0 0 25 0 1 0 730691296 141377536 32968 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34516 32968 566 18 0 34498 0
vsize: 138064
[startup+940.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 33165 0 0 0 93927 86 0 0 25 0 1 0 730691296 142045184 33142 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34679 33142 566 18 0 34661 0
vsize: 138716
[startup+950.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 33416 0 0 0 94926 87 0 0 25 0 1 0 730691296 143237120 33393 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34970 33393 566 18 0 34952 0
vsize: 139880
[startup+960.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 33610 0 0 0 95926 87 0 0 25 0 1 0 730691296 144134144 33587 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35189 33587 566 18 0 35171 0
vsize: 140756
[startup+970.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 33874 0 0 0 96924 88 0 0 25 0 1 0 730691296 145117184 33851 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35429 33851 566 18 0 35411 0
vsize: 141716
[startup+980.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 34182 0 0 0 97924 89 0 0 25 0 1 0 730691296 146345984 34159 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35729 34159 566 18 0 35711 0
vsize: 142916
[startup+990.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 34401 0 0 0 98924 89 0 0 25 0 1 0 730691296 147341312 34378 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35972 34378 566 18 0 35954 0
vsize: 143888
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 34656 0 0 0 99924 90 0 0 25 0 1 0 730691296 148320256 34633 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36211 34633 566 18 0 36193 0
vsize: 144844
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 34862 0 0 0 100923 90 0 0 25 0 1 0 730691296 149151744 34839 4294967295 134512640 134581331 3221221792 3221220704 134519045 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36414 34839 566 18 0 36396 0
vsize: 145656
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 34877 0 0 0 101924 90 0 0 25 0 1 0 730691296 149299200 34854 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36450 34854 566 18 0 36432 0
vsize: 145800
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 35069 0 0 0 102923 91 0 0 25 0 1 0 730691296 150114304 35046 4294967295 134512640 134581331 3221221792 3221220736 134559469 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36649 35046 566 18 0 36631 0
vsize: 146596
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 35176 0 0 0 103923 91 0 0 25 0 1 0 730691296 150519808 35153 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36748 35153 566 18 0 36730 0
vsize: 146992
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 35455 0 0 0 104922 92 0 0 25 0 1 0 730691296 151633920 35432 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37020 35432 566 18 0 37002 0
vsize: 148080
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 35798 0 0 0 105922 93 0 0 25 0 1 0 730691296 153153536 35775 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37391 35775 566 18 0 37373 0
vsize: 149564
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 36097 0 0 0 106921 94 0 0 25 0 1 0 730691296 154271744 36074 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37664 36074 566 18 0 37646 0
vsize: 150656
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 36309 0 0 0 107920 95 0 0 25 0 1 0 730691296 155193344 36286 4294967295 134512640 134581331 3221221792 3221220720 134519950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37889 36286 566 18 0 37871 0
vsize: 151556
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 36474 0 0 0 108919 96 0 0 25 0 1 0 730691296 155889664 36451 4294967295 134512640 134581331 3221221792 3221220512 134523361 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38059 36451 566 18 0 38041 0
vsize: 152236
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 36804 0 0 0 109918 97 0 0 25 0 1 0 730691296 157220864 36781 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38384 36781 566 18 0 38366 0
vsize: 153536
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 37055 0 0 0 110918 98 0 0 25 0 1 0 730691296 158306304 37032 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38649 37032 566 18 0 38631 0
vsize: 154596
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 37366 0 0 0 111917 99 0 0 25 0 1 0 730691296 159563776 37343 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38956 37343 566 18 0 38938 0
vsize: 155824
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 37617 0 0 0 112916 100 0 0 25 0 1 0 730691296 160542720 37594 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39195 37594 566 18 0 39177 0
vsize: 156780
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 37896 0 0 0 113916 100 0 0 25 0 1 0 730691296 161779712 37873 4294967295 134512640 134581331 3221221792 3221220676 134557922 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39497 37873 566 18 0 39479 0
vsize: 157988
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 38182 0 0 0 114915 101 0 0 25 0 1 0 730691296 162885632 38159 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39767 38159 566 18 0 39749 0
vsize: 159068
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 38346 0 0 0 115915 102 0 0 25 0 1 0 730691296 163586048 38323 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39938 38323 566 18 0 39920 0
vsize: 159752
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 38559 0 0 0 116914 102 0 0 25 0 1 0 730691296 164519936 38536 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40166 38536 566 18 0 40148 0
vsize: 160664
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 38814 0 0 0 117914 103 0 0 25 0 1 0 730691296 165486592 38791 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40402 38791 566 18 0 40384 0
vsize: 161608
[startup+1188.96 s]
Raw data (loadavg): 0.99 0.97 0.97 1/54 13147
Raw data (stat): 13145 (Pueblo) R 13144 7876 7672 0 -1 0 38814 0 0 0 117914 103 0 0 25 0 1 0 730691296 165486592 38791 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40402 38791 566 18 0 40384 0
vsize: 0

Child status: 10
Real time (s): 1188.96
CPU time (s): 1189.11
CPU user time (s): 1187.99
CPU system time (s): 1.12183
CPU usage (%): 100.013
Max. virtual memory (Kb): 161608
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-9
#### END VERIFIER DATA ####