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 38533

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-02 12:28:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26599 boxname=wulflinc6 idbench=329 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  aa1ea44fce5b7bfbe62733720f941ebb  /oldhome/oroussel/tmp/wulflinc6/normalized-frb45-21-1.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-frb45-21-1.opb
IDLAUNCH: 26599
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        748460 kB
Buffers:         33512 kB
Cached:         231612 kB
SwapCached:        552 kB
Active:          57684 kB
Inactive:       209528 kB
HighTotal:      131008 kB
HighFree:        18984 kB
LowTotal:       903652 kB
LowFree:        729476 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13328 kB
Committed_AS:    63724 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 12:48:06 (client local time) WITH STATUS 10 IN 1189.18 SECONDS
stats: 26599 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/wulflinc6/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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.97 0.93 2/54 16436
Raw data (stat): 16436 (runsolver) R 16435 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849786674 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 3514 0 0 0 989 10 0 0 25 0 1 0 849786674 20094976 3488 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4906 3488 566 18 0 4888 0
vsize: 19624
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 6468 0 0 0 1983 16 0 0 25 0 1 0 849786674 32190464 6442 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7859 6442 566 18 0 7841 0
vsize: 31436
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 9631 0 0 0 2976 24 0 0 25 0 1 0 849786674 45228032 9605 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11042 9605 566 18 0 11024 0
vsize: 44168
[startup+40.0019 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 12733 0 0 0 3972 28 0 0 25 0 1 0 849786674 58023936 12707 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14166 12707 566 18 0 14148 0
vsize: 56664
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 14921 0 0 0 4967 33 0 0 25 0 1 0 849786674 66985984 14895 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16354 14895 566 18 0 16336 0
vsize: 65416
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 17830 0 0 0 5960 40 0 0 25 0 1 0 849786674 79138816 17804 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19321 17804 566 18 0 19303 0
vsize: 77284
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 19577 0 0 0 6958 43 0 0 25 0 1 0 849786674 86552576 19551 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21131 19551 566 18 0 21113 0
vsize: 84524
[startup+80.0042 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 19895 0 0 0 7957 44 0 0 25 0 1 0 849786674 87924736 19869 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21466 19869 566 18 0 21448 0
vsize: 85864
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 19959 0 0 0 8957 44 0 0 25 0 1 0 849786674 88182784 19933 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21529 19933 566 18 0 21511 0
vsize: 86116
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 20095 0 0 0 9957 45 0 0 25 0 1 0 849786674 88829952 20069 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21687 20069 566 18 0 21669 0
vsize: 86748
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 21693 0 0 0 10953 49 0 0 25 0 1 0 849786674 95453184 21667 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23304 21667 566 18 0 23286 0
vsize: 93216
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 23668 0 0 0 11948 54 0 0 25 0 1 0 849786674 103686144 23642 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25314 23642 566 18 0 25296 0
vsize: 101256
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 24706 0 0 0 12946 56 0 0 25 0 1 0 849786674 107880448 24680 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26338 24680 566 18 0 26320 0
vsize: 105352
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 26342 0 0 0 13942 61 0 0 25 0 1 0 849786674 114569216 26316 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27971 26316 566 18 0 27953 0
vsize: 111884
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 28177 0 0 0 14938 65 0 0 25 0 1 0 849786674 122081280 28151 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29805 28151 566 18 0 29787 0
vsize: 119220
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 29981 0 0 0 15934 69 0 0 25 0 1 0 849786674 129568768 29955 4294967295 134512640 134581267 3221224592 3221223520 134520078 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31633 29955 566 18 0 31615 0
vsize: 126532
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 31284 0 0 0 16931 73 0 0 25 0 1 0 849786674 134864896 31258 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32926 31258 566 18 0 32908 0
vsize: 131704
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 32650 0 0 0 17928 76 0 0 25 0 1 0 849786674 140525568 32624 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34308 32624 566 18 0 34290 0
vsize: 137232
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 34182 0 0 0 18924 81 0 0 25 0 1 0 849786674 146976768 34156 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35883 34156 566 18 0 35865 0
vsize: 143532
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 36020 0 0 0 19920 85 0 0 25 0 1 0 849786674 154624000 35994 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37750 35994 566 18 0 37732 0
vsize: 151000
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 37708 0 0 0 20917 89 0 0 25 0 1 0 849786674 161558528 37682 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39443 37682 566 18 0 39425 0
vsize: 157772
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 39271 0 0 0 21912 93 0 0 25 0 1 0 849786674 167968768 39245 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41008 39245 566 18 0 40990 0
vsize: 164032
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 40480 0 0 0 22910 96 0 0 25 0 1 0 849786674 172806144 40454 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42189 40454 566 18 0 42171 0
vsize: 168756
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 41813 0 0 0 23907 99 0 0 25 0 1 0 849786674 178298880 41787 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43530 41787 566 18 0 43512 0
vsize: 174120
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 42818 0 0 0 24906 101 0 0 25 0 1 0 849786674 182349824 42792 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44519 42792 566 18 0 44501 0
vsize: 178076
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 45616 0 0 0 25900 107 0 0 25 0 1 0 849786674 193863680 45590 4294967295 134512640 134581267 3221224592 3221223504 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47330 45591 566 18 0 47312 0
vsize: 189320
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 47811 0 0 0 26896 112 0 0 25 0 1 0 849786674 202895360 47785 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49535 47785 566 18 0 49517 0
vsize: 198140
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 49968 0 0 0 27891 117 0 0 25 0 1 0 849786674 211664896 49942 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51676 49942 566 18 0 51658 0
vsize: 206704
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 52282 0 0 0 28886 122 0 0 25 0 1 0 849786674 221093888 52256 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53978 52256 566 18 0 53960 0
vsize: 215912
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 54328 0 0 0 29882 126 0 0 25 0 1 0 849786674 229646336 54302 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56066 54303 566 18 0 56048 0
vsize: 224264
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 57247 0 0 0 30876 133 0 0 25 0 1 0 849786674 241561600 57221 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58975 57221 566 18 0 58957 0
vsize: 235900
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 59190 0 0 0 31871 138 0 0 25 0 1 0 849786674 249548800 59164 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60925 59164 566 18 0 60907 0
vsize: 243700
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 62692 0 0 0 32864 146 0 0 25 0 1 0 849786674 264089600 62666 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64475 62666 566 18 0 64457 0
vsize: 257900
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 64533 0 0 0 33860 150 0 0 25 0 1 0 849786674 271757312 64507 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66347 64507 566 18 0 66329 0
vsize: 265388
[startup+350.012 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 65407 0 0 0 34858 152 0 0 25 0 1 0 849786674 275292160 65381 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67210 65381 566 18 0 67192 0
vsize: 268840
[startup+360.012 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 66615 0 0 0 35856 155 0 0 25 0 1 0 849786674 280158208 66589 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68398 66589 566 18 0 68380 0
vsize: 273592
[startup+370.013 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 67798 0 0 0 36853 158 0 0 25 0 1 0 849786674 285065216 67772 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69596 67772 566 18 0 69578 0
vsize: 278384
[startup+380.013 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 69816 0 0 0 37850 162 0 0 25 0 1 0 849786674 293359616 69790 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71621 69790 566 18 0 71603 0
vsize: 286484
[startup+390.013 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71890 0 0 0 38844 168 0 0 25 0 1 0 849786674 301871104 71864 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71864 566 18 0 73681 0
vsize: 294796
[startup+400.014 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71890 0 0 0 39845 168 0 0 25 0 1 0 849786674 301871104 71864 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71864 566 18 0 73681 0
vsize: 294796
[startup+410.014 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71890 0 0 0 40845 168 0 0 25 0 1 0 849786674 301871104 71864 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71864 566 18 0 73681 0
vsize: 294796
[startup+420.014 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71890 0 0 0 41845 168 0 0 25 0 1 0 849786674 301871104 71864 4294967295 134512640 134581267 3221224592 3221223456 134528304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71864 566 18 0 73681 0
vsize: 294796
[startup+430.015 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71890 0 0 0 42845 169 0 0 25 0 1 0 849786674 301871104 71864 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71864 566 18 0 73681 0
vsize: 294796
[startup+440.014 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71890 0 0 0 43845 169 0 0 25 0 1 0 849786674 301871104 71864 4294967295 134512640 134581267 3221224592 3221223504 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71864 566 18 0 73681 0
vsize: 294796
[startup+450.015 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71890 0 0 0 44844 170 0 0 25 0 1 0 849786674 301871104 71864 4294967295 134512640 134581267 3221224592 3221223472 134520266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71864 566 18 0 73681 0
vsize: 294796
[startup+460.015 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71895 0 0 0 45844 170 0 0 25 0 1 0 849786674 301871104 71869 4294967295 134512640 134581267 3221224592 3221223664 134531369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71869 566 18 0 73681 0
vsize: 294796
[startup+470.016 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71897 0 0 0 46845 170 0 0 25 0 1 0 849786674 301871104 71871 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71871 566 18 0 73681 0
vsize: 294796
[startup+480.016 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71897 0 0 0 47845 171 0 0 25 0 1 0 849786674 301871104 71871 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71871 566 18 0 73681 0
vsize: 294796
[startup+490.016 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71897 0 0 0 48845 171 0 0 25 0 1 0 849786674 301871104 71871 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71871 566 18 0 73681 0
vsize: 294796
[startup+500.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71897 0 0 0 49844 172 0 0 25 0 1 0 849786674 301871104 71871 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71871 566 18 0 73681 0
vsize: 294796
[startup+510.018 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71897 0 0 0 50844 172 0 0 25 0 1 0 849786674 301871104 71871 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71871 566 18 0 73681 0
vsize: 294796
[startup+520.018 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71897 0 0 0 51844 173 0 0 25 0 1 0 849786674 301871104 71871 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71871 566 18 0 73681 0
vsize: 294796
[startup+530.018 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71900 0 0 0 52844 173 0 0 25 0 1 0 849786674 301871104 71874 4294967295 134512640 134581267 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71874 566 18 0 73681 0
vsize: 294796
[startup+540.018 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71900 0 0 0 53845 173 0 0 25 0 1 0 849786674 301871104 71874 4294967295 134512640 134581267 3221224592 3221223488 134517525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71874 566 18 0 73681 0
vsize: 294796
[startup+550.018 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71900 0 0 0 54844 174 0 0 25 0 1 0 849786674 301871104 71874 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71874 566 18 0 73681 0
vsize: 294796
[startup+560.018 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71901 0 0 0 55844 174 0 0 25 0 1 0 849786674 301871104 71875 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71875 566 18 0 73681 0
vsize: 294796
[startup+570.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71901 0 0 0 56844 175 0 0 25 0 1 0 849786674 301871104 71875 4294967295 134512640 134581267 3221224592 3221223520 134519883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71875 566 18 0 73681 0
vsize: 294796
[startup+580.018 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71911 0 0 0 57844 175 0 0 25 0 1 0 849786674 301871104 71885 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71885 566 18 0 73681 0
vsize: 294796
[startup+590.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71911 0 0 0 58844 175 0 0 25 0 1 0 849786674 301871104 71885 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71885 566 18 0 73681 0
vsize: 294796
[startup+600.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71911 0 0 0 59844 175 0 0 25 0 1 0 849786674 301871104 71885 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71885 566 18 0 73681 0
vsize: 294796
[startup+610.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71911 0 0 0 60845 175 0 0 25 0 1 0 849786674 301871104 71885 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71885 566 18 0 73681 0
vsize: 294796
[startup+620.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71911 0 0 0 61845 175 0 0 25 0 1 0 849786674 301871104 71885 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71885 566 18 0 73681 0
vsize: 294796
[startup+630.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71911 0 0 0 62845 175 0 0 25 0 1 0 849786674 301871104 71885 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71885 566 18 0 73681 0
vsize: 294796
[startup+640.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71911 0 0 0 63846 175 0 0 25 0 1 0 849786674 301871104 71885 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71885 566 18 0 73681 0
vsize: 294796
[startup+650.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71911 0 0 0 64846 176 0 0 25 0 1 0 849786674 301871104 71885 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71885 566 18 0 73681 0
vsize: 294796
[startup+660.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71911 0 0 0 65846 176 0 0 25 0 1 0 849786674 301871104 71885 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71885 566 18 0 73681 0
vsize: 294796
[startup+670.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71911 0 0 0 66846 176 0 0 25 0 1 0 849786674 301871104 71885 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71885 566 18 0 73681 0
vsize: 294796
[startup+680.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71911 0 0 0 67846 177 0 0 25 0 1 0 849786674 301871104 71885 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71885 566 18 0 73681 0
vsize: 294796
[startup+690.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71911 0 0 0 68846 177 0 0 25 0 1 0 849786674 301871104 71885 4294967295 134512640 134581267 3221224592 3221223504 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71885 566 18 0 73681 0
vsize: 294796
[startup+700.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71913 0 0 0 69845 178 0 0 25 0 1 0 849786674 301871104 71887 4294967295 134512640 134581267 3221224592 3221223488 134517764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71887 566 18 0 73681 0
vsize: 294796
[startup+710.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71917 0 0 0 70846 178 0 0 25 0 1 0 849786674 301871104 71891 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71891 566 18 0 73681 0
vsize: 294796
[startup+720.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71920 0 0 0 71845 179 0 0 25 0 1 0 849786674 301871104 71894 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71894 566 18 0 73681 0
vsize: 294796
[startup+730.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71920 0 0 0 72846 179 0 0 25 0 1 0 849786674 301871104 71894 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71894 566 18 0 73681 0
vsize: 294796
[startup+740.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71921 0 0 0 73846 179 0 0 25 0 1 0 849786674 301871104 71895 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71895 566 18 0 73681 0
vsize: 294796
[startup+750.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71921 0 0 0 74846 179 0 0 25 0 1 0 849786674 301871104 71895 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71895 566 18 0 73681 0
vsize: 294796
[startup+760.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71921 0 0 0 75846 179 0 0 25 0 1 0 849786674 301871104 71895 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71895 566 18 0 73681 0
vsize: 294796
[startup+770.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71921 0 0 0 76846 180 0 0 25 0 1 0 849786674 301871104 71895 4294967295 134512640 134581267 3221224592 3221223280 1075288510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71895 566 18 0 73681 0
vsize: 294796
[startup+780.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 71927 0 0 0 77847 180 0 0 25 0 1 0 849786674 301871104 71901 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73699 71901 566 18 0 73681 0
vsize: 294796
[startup+790.029 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 72944 0 0 0 78845 182 0 0 25 0 1 0 849786674 306061312 72918 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74722 72918 566 18 0 74704 0
vsize: 298888
[startup+800.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 75115 0 0 0 79840 188 0 0 25 0 1 0 849786674 314830848 75089 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76863 75089 566 18 0 76845 0
vsize: 307452
[startup+810.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 76937 0 0 0 80835 193 0 0 25 0 1 0 849786674 322306048 76911 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78688 76911 566 18 0 78670 0
vsize: 314752
[startup+820.031 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 78085 0 0 0 81833 195 0 0 25 0 1 0 849786674 327016448 78059 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79838 78059 566 18 0 79820 0
vsize: 319352
[startup+830.031 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 79280 0 0 0 82831 198 0 0 25 0 1 0 849786674 331993088 79254 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81053 79254 566 18 0 81035 0
vsize: 324212
[startup+840.032 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 81808 0 0 0 83827 202 0 0 25 0 1 0 849786674 342331392 81782 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83577 81782 566 18 0 83559 0
vsize: 334308
[startup+850.032 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 84647 0 0 0 84821 208 0 0 25 0 1 0 849786674 353853440 84621 4294967295 134512640 134581267 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86390 84622 566 18 0 86372 0
vsize: 345560
[startup+860.033 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86571 0 0 0 85817 213 0 0 25 0 1 0 849786674 361840640 86545 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88340 86545 566 18 0 88322 0
vsize: 353360
[startup+870.034 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86868 0 0 0 86817 213 0 0 25 0 1 0 849786674 363241472 86842 4294967295 134512640 134581267 3221224592 3221223552 134516747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86842 566 18 0 88664 0
vsize: 354728
[startup+880.035 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86868 0 0 0 87817 214 0 0 25 0 1 0 849786674 363241472 86842 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86842 566 18 0 88664 0
vsize: 354728
[startup+890.035 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86868 0 0 0 88817 214 0 0 25 0 1 0 849786674 363241472 86842 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86842 566 18 0 88664 0
vsize: 354728
[startup+900.035 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86868 0 0 0 89817 214 0 0 25 0 1 0 849786674 363241472 86842 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86842 566 18 0 88664 0
vsize: 354728
[startup+910.036 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86868 0 0 0 90817 215 0 0 25 0 1 0 849786674 363241472 86842 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86842 566 18 0 88664 0
vsize: 354728
[startup+920.036 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86868 0 0 0 91816 216 0 0 25 0 1 0 849786674 363241472 86842 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86842 566 18 0 88664 0
vsize: 354728
[startup+930.037 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86868 0 0 0 92816 216 0 0 25 0 1 0 849786674 363241472 86842 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86842 566 18 0 88664 0
vsize: 354728
[startup+940.038 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 93816 216 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+950.038 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 94817 216 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+960.038 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 95817 217 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+970.038 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 96816 218 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+980.039 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 97815 219 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+990.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 98815 220 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 99815 220 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 100815 220 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 101815 221 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 102815 221 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 103815 221 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 104815 222 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 105815 223 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 106815 223 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 107814 224 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 108814 224 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 109814 225 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 110813 226 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 111813 226 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 112813 227 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 113813 227 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223288 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 114813 227 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 115813 228 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 116813 229 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 117813 229 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 354728
[startup+1188.8 s]
Raw data (loadavg): 1.00 0.99 0.93 1/53 16436
Raw data (stat): 16436 (Pueblo-v2) R 16435 25568 25567 0 -1 0 86872 0 0 0 117813 229 0 0 25 0 1 0 849786674 363241472 86846 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88682 86846 566 18 0 88664 0
vsize: 0

Child status: 10
Real time (s): 1188.8
CPU time (s): 1189.18
CPU user time (s): 1186.72
CPU system time (s): 2.45563
CPU usage (%): 100.032
Max. virtual memory (Kb): 354728
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-6
#### END VERIFIER DATA ####