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-4.opb
MD5SUM	2b591d1b24a201f365bc505135aa0578
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.07
Number of variables	945
Total number of constraints	58549
Number of constraints which are clauses	58549
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 38536

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-02 12:42:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26602 boxname=wulflinc2 idbench=332 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  2b591d1b24a201f365bc505135aa0578  /oldhome/oroussel/tmp/wulflinc2/normalized-frb45-21-4.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-frb45-21-4.opb
IDLAUNCH: 26602
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 2
cpu MHz		: 451.191
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        686312 kB
Buffers:         33984 kB
Cached:         292028 kB
SwapCached:       1136 kB
Active:          55344 kB
Inactive:       273080 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        686060 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14168 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 13:02:15 (client local time) WITH STATUS 10 IN 1189.18 SECONDS
stats: 26602 0 1189.18 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/wulflinc2/normalized-frb45-21-4.opb
c #variables read: 945 - #constraints read: 58550
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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.90 1/54 22460
Raw data (stat): 22460 (runsolver) R 22459 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849875906 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 4500 0 0 0 985 13 0 0 25 0 1 0 849875906 24088576 4474 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5881 4474 566 18 0 5863 0
vsize: 23524
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 7450 0 0 0 1979 19 0 0 25 0 1 0 849875906 36274176 7424 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8856 7424 566 18 0 8838 0
vsize: 35424
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 10871 0 0 0 2971 28 0 0 25 0 1 0 849875906 50360320 10845 4294967295 134512640 134581267 3221224592 3221223456 134528352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12295 10845 566 18 0 12277 0
vsize: 49180
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 14381 0 0 0 3963 35 0 0 25 0 1 0 849875906 64749568 14355 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15808 14355 566 18 0 15790 0
vsize: 63232
[startup+50.002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 17583 0 0 0 4955 43 0 0 25 0 1 0 849875906 77987840 17557 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19040 17557 566 18 0 19022 0
vsize: 76160
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 20692 0 0 0 5948 50 0 0 25 0 1 0 849875906 90730496 20666 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22151 20666 566 18 0 22133 0
vsize: 88604
[startup+70.0018 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 22936 0 0 0 6943 56 0 0 25 0 1 0 849875906 99893248 22910 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24388 22910 566 18 0 24370 0
vsize: 97552
[startup+80.0021 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 24309 0 0 0 7939 60 0 0 25 0 1 0 849875906 105611264 24283 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25784 24283 566 18 0 25766 0
vsize: 103136
[startup+90.0019 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 27258 0 0 0 8932 67 0 0 25 0 1 0 849875906 117653504 27232 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28724 27232 566 18 0 28706 0
vsize: 114896
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 29436 0 0 0 9927 72 0 0 25 0 1 0 849875906 126726144 29410 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30939 29410 566 18 0 30921 0
vsize: 123756
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 31907 0 0 0 10923 77 0 0 25 0 1 0 849875906 136941568 31881 4294967295 134512640 134581267 3221224592 3221223520 134520030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33433 31881 566 18 0 33415 0
vsize: 133732
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 33855 0 0 0 11918 81 0 0 25 0 1 0 849875906 145125376 33829 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35431 33829 566 18 0 35413 0
vsize: 141724
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 35949 0 0 0 12914 86 0 0 25 0 1 0 849875906 153616384 35923 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37504 35923 566 18 0 37486 0
vsize: 150016
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 37791 0 0 0 13909 91 0 0 25 0 1 0 849875906 161304576 37765 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39381 37765 566 18 0 39363 0
vsize: 157524
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 40359 0 0 0 14904 97 0 0 25 0 1 0 849875906 171880448 40333 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41963 40333 566 18 0 41945 0
vsize: 167852
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 42005 0 0 0 15900 101 0 0 25 0 1 0 849875906 178745344 41979 4294967295 134512640 134581267 3221224592 3221223584 134561087 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43639 41979 566 18 0 43621 0
vsize: 174556
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 43284 0 0 0 16896 104 0 0 25 0 1 0 849875906 183992320 43258 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44920 43258 566 18 0 44902 0
vsize: 179680
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 45884 0 0 0 17891 110 0 0 25 0 1 0 849875906 194580480 45858 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47505 45858 566 18 0 47487 0
vsize: 190020
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 47363 0 0 0 18888 113 0 0 25 0 1 0 849875906 200773632 47337 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49017 47337 566 18 0 48999 0
vsize: 196068
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 50119 0 0 0 19881 120 0 0 25 0 1 0 849875906 212144128 50093 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51793 50093 566 18 0 51775 0
vsize: 207172
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 51652 0 0 0 20878 124 0 0 25 0 1 0 849875906 218501120 51626 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53345 51626 566 18 0 53327 0
vsize: 213380
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 53540 0 0 0 21874 128 0 0 25 0 1 0 849875906 226340864 53514 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55259 53514 566 18 0 55241 0
vsize: 221036
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 54750 0 0 0 22872 130 0 0 25 0 1 0 849875906 231198720 54724 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56445 54724 566 18 0 56427 0
vsize: 225780
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 57179 0 0 0 23866 136 0 0 25 0 1 0 849875906 241135616 57153 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58871 57153 566 18 0 58853 0
vsize: 235484
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 58563 0 0 0 24862 140 0 0 25 0 1 0 849875906 246923264 58537 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60284 58537 566 18 0 60266 0
vsize: 241136
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 59071 0 0 0 25861 141 0 0 25 0 1 0 849875906 249036800 59045 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60800 59045 566 18 0 60782 0
vsize: 243200
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 61433 0 0 0 26857 145 0 0 25 0 1 0 849875906 258711552 61407 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63162 61407 566 18 0 63144 0
vsize: 252648
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 62659 0 0 0 27854 148 0 0 25 0 1 0 849875906 263770112 62633 4294967295 134512640 134581267 3221224592 3221223520 134520041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64397 62633 566 18 0 64379 0
vsize: 257588
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 64598 0 0 0 28849 154 0 0 25 0 1 0 849875906 271876096 64572 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66376 64572 566 18 0 66358 0
vsize: 265504
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 66162 0 0 0 29845 158 0 0 25 0 1 0 849875906 278278144 66136 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67939 66136 566 18 0 67921 0
vsize: 271756
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 67834 0 0 0 30842 161 0 0 25 0 1 0 849875906 285462528 67808 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69693 67808 566 18 0 69675 0
vsize: 278772
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 69558 0 0 0 31838 166 0 0 25 0 1 0 849875906 292556800 69532 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71425 69532 566 18 0 71407 0
vsize: 285700
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71203 0 0 0 32835 169 0 0 25 0 1 0 849875906 299364352 71177 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73087 71177 566 18 0 73069 0
vsize: 292348
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71614 0 0 0 33833 170 0 0 25 0 1 0 849875906 301060096 71588 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71588 566 18 0 73483 0
vsize: 294004
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71614 0 0 0 34834 170 0 0 25 0 1 0 849875906 301060096 71588 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71588 566 18 0 73483 0
vsize: 294004
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71614 0 0 0 35834 170 0 0 25 0 1 0 849875906 301060096 71588 4294967295 134512640 134581267 3221224592 3221223552 134516716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71588 566 18 0 73483 0
vsize: 294004
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71614 0 0 0 36833 171 0 0 25 0 1 0 849875906 301060096 71588 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71588 566 18 0 73483 0
vsize: 294004
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71614 0 0 0 37833 171 0 0 25 0 1 0 849875906 301060096 71588 4294967295 134512640 134581267 3221224592 3221223536 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71588 566 18 0 73483 0
vsize: 294004
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71614 0 0 0 38833 172 0 0 25 0 1 0 849875906 301060096 71588 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71588 566 18 0 73483 0
vsize: 294004
[startup+400.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71614 0 0 0 39832 173 0 0 25 0 1 0 849875906 301060096 71588 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71588 566 18 0 73483 0
vsize: 294004
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71614 0 0 0 40831 174 0 0 25 0 1 0 849875906 301060096 71588 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71588 566 18 0 73483 0
vsize: 294004
[startup+420.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71615 0 0 0 41831 174 0 0 25 0 1 0 849875906 301060096 71589 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71589 566 18 0 73483 0
vsize: 294004
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71617 0 0 0 42832 174 0 0 25 0 1 0 849875906 301060096 71591 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71591 566 18 0 73483 0
vsize: 294004
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71618 0 0 0 43832 174 0 0 25 0 1 0 849875906 301060096 71592 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71592 566 18 0 73483 0
vsize: 294004
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71618 0 0 0 44831 175 0 0 25 0 1 0 849875906 301060096 71592 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71592 566 18 0 73483 0
vsize: 294004
[startup+460.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71618 0 0 0 45831 175 0 0 25 0 1 0 849875906 301060096 71592 4294967295 134512640 134581267 3221224592 3221223536 134558872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71592 566 18 0 73483 0
vsize: 294004
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71618 0 0 0 46830 176 0 0 25 0 1 0 849875906 301060096 71592 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71592 566 18 0 73483 0
vsize: 294004
[startup+480.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71618 0 0 0 47830 176 0 0 25 0 1 0 849875906 301060096 71592 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71592 566 18 0 73483 0
vsize: 294004
[startup+490.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71618 0 0 0 48830 176 0 0 25 0 1 0 849875906 301060096 71592 4294967295 134512640 134581267 3221224592 3221223504 134531369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71592 566 18 0 73483 0
vsize: 294004
[startup+500.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71618 0 0 0 49830 177 0 0 25 0 1 0 849875906 301060096 71592 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71592 566 18 0 73483 0
vsize: 294004
[startup+510.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71618 0 0 0 50830 177 0 0 25 0 1 0 849875906 301060096 71592 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71592 566 18 0 73483 0
vsize: 294004
[startup+520.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71618 0 0 0 51830 177 0 0 25 0 1 0 849875906 301060096 71592 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71592 566 18 0 73483 0
vsize: 294004
[startup+530.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71618 0 0 0 52830 177 0 0 25 0 1 0 849875906 301060096 71592 4294967295 134512640 134581267 3221224592 3221223536 134558867 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71592 566 18 0 73483 0
vsize: 294004
[startup+540.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71618 0 0 0 53830 178 0 0 25 0 1 0 849875906 301060096 71592 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71592 566 18 0 73483 0
vsize: 294004
[startup+550.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71620 0 0 0 54830 178 0 0 25 0 1 0 849875906 301060096 71594 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71594 566 18 0 73483 0
vsize: 294004
[startup+560.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71620 0 0 0 55829 179 0 0 25 0 1 0 849875906 301060096 71594 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71594 566 18 0 73483 0
vsize: 294004
[startup+570.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71620 0 0 0 56829 179 0 0 25 0 1 0 849875906 301060096 71594 4294967295 134512640 134581267 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71594 566 18 0 73483 0
vsize: 294004
[startup+580.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71620 0 0 0 57829 180 0 0 25 0 1 0 849875906 301060096 71594 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71594 566 18 0 73483 0
vsize: 294004
[startup+590.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71620 0 0 0 58828 180 0 0 25 0 1 0 849875906 301060096 71594 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71594 566 18 0 73483 0
vsize: 294004
[startup+600.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71620 0 0 0 59828 180 0 0 25 0 1 0 849875906 301060096 71594 4294967295 134512640 134581267 3221224592 3221223584 134561073 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71594 566 18 0 73483 0
vsize: 294004
[startup+610.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71620 0 0 0 60828 181 0 0 25 0 1 0 849875906 301060096 71594 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71594 566 18 0 73483 0
vsize: 294004
[startup+620.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71620 0 0 0 61827 182 0 0 25 0 1 0 849875906 301060096 71594 4294967295 134512640 134581267 3221224592 3221223472 134520299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71594 566 18 0 73483 0
vsize: 294004
[startup+630.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71620 0 0 0 62827 182 0 0 25 0 1 0 849875906 301060096 71594 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71594 566 18 0 73483 0
vsize: 294004
[startup+640.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71620 0 0 0 63827 182 0 0 25 0 1 0 849875906 301060096 71594 4294967295 134512640 134581267 3221224592 3221223504 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71594 566 18 0 73483 0
vsize: 294004
[startup+650.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71620 0 0 0 64827 183 0 0 25 0 1 0 849875906 301060096 71594 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71594 566 18 0 73483 0
vsize: 294004
[startup+660.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71620 0 0 0 65827 183 0 0 25 0 1 0 849875906 301060096 71594 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71594 566 18 0 73483 0
vsize: 294004
[startup+670.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71621 0 0 0 66827 183 0 0 25 0 1 0 849875906 301060096 71595 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71595 566 18 0 73483 0
vsize: 294004
[startup+680.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71621 0 0 0 67827 183 0 0 25 0 1 0 849875906 301060096 71595 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71595 566 18 0 73483 0
vsize: 294004
[startup+690.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71621 0 0 0 68827 184 0 0 25 0 1 0 849875906 301060096 71595 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71595 566 18 0 73483 0
vsize: 294004
[startup+700.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71626 0 0 0 69826 184 0 0 25 0 1 0 849875906 301060096 71600 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71600 566 18 0 73483 0
vsize: 294004
[startup+710.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71637 0 0 0 70826 184 0 0 25 0 1 0 849875906 301060096 71611 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71611 566 18 0 73483 0
vsize: 294004
[startup+720.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71646 0 0 0 71827 184 0 0 25 0 1 0 849875906 301060096 71620 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71620 566 18 0 73483 0
vsize: 294004
[startup+730.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71653 0 0 0 72827 184 0 0 25 0 1 0 849875906 301060096 71627 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71627 566 18 0 73483 0
vsize: 294004
[startup+740.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71653 0 0 0 73827 184 0 0 25 0 1 0 849875906 301060096 71627 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71627 566 18 0 73483 0
vsize: 294004
[startup+750.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71653 0 0 0 74827 184 0 0 25 0 1 0 849875906 301060096 71627 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71627 566 18 0 73483 0
vsize: 294004
[startup+760.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71653 0 0 0 75827 184 0 0 25 0 1 0 849875906 301060096 71627 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71627 566 18 0 73483 0
vsize: 294004
[startup+770.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71653 0 0 0 76827 184 0 0 25 0 1 0 849875906 301060096 71627 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71627 566 18 0 73483 0
vsize: 294004
[startup+780.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71653 0 0 0 77828 184 0 0 25 0 1 0 849875906 301060096 71627 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71627 566 18 0 73483 0
vsize: 294004
[startup+790.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71662 0 0 0 78828 184 0 0 25 0 1 0 849875906 301060096 71636 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71636 566 18 0 73483 0
vsize: 294004
[startup+800.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71662 0 0 0 79828 184 0 0 25 0 1 0 849875906 301060096 71636 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71636 566 18 0 73483 0
vsize: 294004
[startup+810.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71662 0 0 0 80828 185 0 0 25 0 1 0 849875906 301060096 71636 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71636 566 18 0 73483 0
vsize: 294004
[startup+820.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71662 0 0 0 81828 185 0 0 25 0 1 0 849875906 301060096 71636 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71636 566 18 0 73483 0
vsize: 294004
[startup+830.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 71662 0 0 0 82828 185 0 0 25 0 1 0 849875906 301060096 71636 4294967295 134512640 134581267 3221224592 3221223520 134519877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73501 71636 566 18 0 73483 0
vsize: 294004
[startup+840.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 72202 0 0 0 83828 185 0 0 25 0 1 0 849875906 303280128 72176 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74043 72176 566 18 0 74025 0
vsize: 296172
[startup+850.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 73999 0 0 0 84823 190 0 0 25 0 1 0 849875906 310591488 73973 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75828 73973 566 18 0 75810 0
vsize: 303312
[startup+860.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 75421 0 0 0 85820 193 0 0 25 0 1 0 849875906 316530688 75363 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77278 75363 566 18 0 77260 0
vsize: 309112
[startup+870.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 76057 0 0 0 86819 194 0 0 25 0 1 0 849875906 319381504 75999 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77974 75999 566 18 0 77956 0
vsize: 311896
[startup+880.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 77301 0 0 0 87816 198 0 0 25 0 1 0 849875906 324481024 77243 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79219 77243 566 18 0 79201 0
vsize: 316876
[startup+890.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 78501 0 0 0 88814 200 0 0 25 0 1 0 849875906 329318400 78443 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80400 78443 566 18 0 80382 0
vsize: 321600
[startup+900.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 79408 0 0 0 89812 203 0 0 25 0 1 0 849875906 333094912 79350 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81322 79350 566 18 0 81304 0
vsize: 325288
[startup+910.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 80373 0 0 0 90810 205 0 0 25 0 1 0 849875906 337154048 80315 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82313 80315 566 18 0 82295 0
vsize: 329252
[startup+920.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 81561 0 0 0 91808 207 0 0 25 0 1 0 849875906 341991424 81503 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83494 81503 566 18 0 83476 0
vsize: 333976
[startup+930.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 82208 0 0 0 92806 209 0 0 25 0 1 0 849875906 344870912 82150 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84197 82150 566 18 0 84179 0
vsize: 336788
[startup+940.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 83654 0 0 0 93802 213 0 0 25 0 1 0 849875906 350752768 83596 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85633 83596 566 18 0 85615 0
vsize: 342532
[startup+950.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 84429 0 0 0 94799 216 0 0 25 0 1 0 849875906 354033664 84339 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86434 84339 566 18 0 86416 0
vsize: 345736
[startup+960.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 85759 0 0 0 95797 218 0 0 25 0 1 0 849875906 359399424 85669 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87744 85670 566 18 0 87726 0
vsize: 350976
[startup+970.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 86946 0 0 0 96796 220 0 0 25 0 1 0 849875906 364400640 86856 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88965 86856 566 18 0 88947 0
vsize: 355860
[startup+980.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 87469 0 0 0 97795 221 0 0 25 0 1 0 849875906 366497792 87379 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89477 87379 566 18 0 89459 0
vsize: 357908
[startup+990.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 87469 0 0 0 98795 221 0 0 25 0 1 0 849875906 366497792 87379 4294967295 134512640 134581267 3221224592 3221223552 134516747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89477 87379 566 18 0 89459 0
vsize: 357908
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 87469 0 0 0 99795 221 0 0 25 0 1 0 849875906 366497792 87379 4294967295 134512640 134581267 3221224592 3221223552 134516716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89477 87379 566 18 0 89459 0
vsize: 357908
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 87469 0 0 0 100795 221 0 0 25 0 1 0 849875906 366497792 87379 4294967295 134512640 134581267 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89477 87379 566 18 0 89459 0
vsize: 357908
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 87469 0 0 0 101796 221 0 0 25 0 1 0 849875906 366497792 87379 4294967295 134512640 134581267 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89477 87379 566 18 0 89459 0
vsize: 357908
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 87469 0 0 0 102796 221 0 0 25 0 1 0 849875906 366497792 87379 4294967295 134512640 134581267 3221224592 3221223552 134516747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89477 87379 566 18 0 89459 0
vsize: 357908
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 87469 0 0 0 103796 221 0 0 25 0 1 0 849875906 366497792 87379 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89477 87379 566 18 0 89459 0
vsize: 357908
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22460
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 87469 0 0 0 104795 222 0 0 25 0 1 0 849875906 366497792 87379 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89477 87379 566 18 0 89459 0
vsize: 357908
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 22461
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 87469 0 0 0 105795 223 0 0 25 0 1 0 849875906 366497792 87379 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89477 87379 566 18 0 89459 0
vsize: 357908
[startup+1070.14 s]
Raw data (loadavg): 1.15 1.00 0.92 3/58 22506
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 87469 0 0 0 106807 223 0 0 25 0 1 0 849875906 366497792 87379 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89477 87379 566 18 0 89459 0
vsize: 357908
[startup+1080.14 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 22513
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 87469 0 0 0 107807 224 0 0 25 0 1 0 849875906 366497792 87379 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89477 87379 566 18 0 89459 0
vsize: 357908
[startup+1090.15 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 22513
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 87469 0 0 0 108807 224 0 0 25 0 1 0 849875906 366497792 87379 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89477 87379 566 18 0 89459 0
vsize: 357908
[startup+1100.14 s]
Raw data (loadavg): 1.16 1.02 0.93 2/54 22513
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 87469 0 0 0 109807 224 0 0 25 0 1 0 849875906 366497792 87379 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89477 87379 566 18 0 89459 0
vsize: 357908
[startup+1110.15 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 22513
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 87469 0 0 0 110807 224 0 0 25 0 1 0 849875906 366497792 87379 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89477 87379 566 18 0 89459 0
vsize: 357908
[startup+1120.14 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 22513
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 87469 0 0 0 111807 225 0 0 25 0 1 0 849875906 366497792 87379 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89477 87379 566 18 0 89459 0
vsize: 357908
[startup+1130.15 s]
Raw data (loadavg): 1.10 1.01 0.93 2/54 22513
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 87470 0 0 0 112807 225 0 0 25 0 1 0 849875906 366497792 87380 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89477 87380 566 18 0 89459 0
vsize: 357908
[startup+1140.15 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 22513
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 87470 0 0 0 113807 225 0 0 25 0 1 0 849875906 366497792 87380 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89477 87380 566 18 0 89459 0
vsize: 357908
[startup+1150.15 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 22515
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 87470 0 0 0 114807 226 0 0 25 0 1 0 849875906 366497792 87380 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89477 87380 566 18 0 89459 0
vsize: 357908
[startup+1160.15 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 22515
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 87470 0 0 0 115807 226 0 0 25 0 1 0 849875906 366497792 87380 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89477 87380 566 18 0 89459 0
vsize: 357908
[startup+1170.15 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 22515
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 87471 0 0 0 116806 226 0 0 25 0 1 0 849875906 366497792 87381 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89477 87381 566 18 0 89459 0
vsize: 357908
[startup+1180.15 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 22515
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 87471 0 0 0 117807 226 0 0 25 0 1 0 849875906 366497792 87381 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89477 87381 566 18 0 89459 0
vsize: 357908
[startup+1188.99 s]
Raw data (loadavg): 1.03 1.01 0.93 1/53 22515
Raw data (stat): 22460 (Pueblo-v2) R 22459 31399 31398 0 -1 0 87471 0 0 0 117807 226 0 0 25 0 1 0 849875906 366497792 87381 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89477 87381 566 18 0 89459 0
vsize: 0

Child status: 10
Real time (s): 1188.99
CPU time (s): 1189.18
CPU user time (s): 1186.75
CPU system time (s): 2.43163
CPU usage (%): 100.016
Max. virtual memory (Kb): 357908
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-6
#### END VERIFIER DATA ####