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-3.opb
MD5SUM	b3a3f977e810fc2043ea057a8d94a7d8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-34
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	58245
Number of constraints which are clauses	58245
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 38535

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-02 12:41:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26601 boxname=wulflinc5 idbench=331 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  b3a3f977e810fc2043ea057a8d94a7d8  /oldhome/oroussel/tmp/wulflinc5/normalized-frb45-21-3.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-frb45-21-3.opb
IDLAUNCH: 26601
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        657228 kB
Buffers:         35036 kB
Cached:         318880 kB
SwapCached:        568 kB
Active:          55212 kB
Inactive:       300784 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        656976 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            15812 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 13:01:01 (client local time) WITH STATUS 10 IN 1189.18 SECONDS
stats: 26601 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/wulflinc5/normalized-frb45-21-3.opb
c #variables read: 945 - #constraints read: 58246
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.84 0.94 0.90 2/54 5244
Raw data (stat): 5244 (runsolver) R 5243 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849864940 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+9.99987 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 4159 0 0 0 986 11 0 0 25 0 1 0 849864940 22716416 4133 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5546 4134 566 18 0 5528 0
vsize: 22184
[startup+20.0006 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 7165 0 0 0 1979 19 0 0 25 0 1 0 849864940 35053568 7139 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8558 7139 566 18 0 8540 0
vsize: 34232
[startup+30.0007 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 8791 0 0 0 2976 22 0 0 25 0 1 0 849864940 41750528 8765 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10193 8765 566 18 0 10175 0
vsize: 40772
[startup+40.0011 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 11898 0 0 0 3970 28 0 0 25 0 1 0 849864940 54456320 11872 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13295 11872 566 18 0 13277 0
vsize: 53180
[startup+50.0008 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 14710 0 0 0 4963 35 0 0 25 0 1 0 849864940 66052096 14684 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16126 14684 566 18 0 16108 0
vsize: 64504
[startup+60.0009 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 17255 0 0 0 5958 40 0 0 25 0 1 0 849864940 76591104 17229 4294967295 134512640 134581267 3221224592 3221223472 134520258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18699 17229 566 18 0 18681 0
vsize: 74796
[startup+70.0013 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 18628 0 0 0 6956 43 0 0 25 0 1 0 849864940 82251776 18602 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20081 18602 566 18 0 20063 0
vsize: 80324
[startup+80.0011 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 21334 0 0 0 7950 49 0 0 25 0 1 0 849864940 93282304 21308 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22774 21308 566 18 0 22756 0
vsize: 91096
[startup+90.0011 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 23723 0 0 0 8946 53 0 0 25 0 1 0 849864940 103120896 23697 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25176 23697 566 18 0 25158 0
vsize: 100704
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 26465 0 0 0 9940 59 0 0 25 0 1 0 849864940 114458624 26439 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27944 26439 566 18 0 27926 0
vsize: 111776
[startup+110 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 28666 0 0 0 10936 64 0 0 25 0 1 0 849864940 123535360 28640 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30160 28640 566 18 0 30142 0
vsize: 120640
[startup+120.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 30668 0 0 0 11932 67 0 0 25 0 1 0 849864940 131850240 30642 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32190 30642 566 18 0 32172 0
vsize: 128760
[startup+130.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 32761 0 0 0 12927 73 0 0 25 0 1 0 849864940 140488704 32735 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34299 32735 566 18 0 34281 0
vsize: 137196
[startup+140.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 34859 0 0 0 13922 78 0 0 25 0 1 0 849864940 149233664 34833 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36434 34833 566 18 0 36416 0
vsize: 145736
[startup+150.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 36709 0 0 0 14917 83 0 0 25 0 1 0 849864940 156942336 36683 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38316 36683 566 18 0 38298 0
vsize: 153264
[startup+160.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 39421 0 0 0 15909 91 0 0 25 0 1 0 849864940 168058880 39395 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41030 39395 566 18 0 41012 0
vsize: 164120
[startup+170.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 40931 0 0 0 16906 95 0 0 25 0 1 0 849864940 174362624 40905 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42569 40905 566 18 0 42551 0
vsize: 170276
[startup+180.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 42888 0 0 0 17901 99 0 0 25 0 1 0 849864940 182468608 42862 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44548 42862 566 18 0 44530 0
vsize: 178192
[startup+190.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 45084 0 0 0 18896 105 0 0 25 0 1 0 849864940 191508480 45058 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46755 45058 566 18 0 46737 0
vsize: 187020
[startup+200.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 46559 0 0 0 19892 109 0 0 25 0 1 0 849864940 197705728 46533 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48268 46533 566 18 0 48250 0
vsize: 193072
[startup+210.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 49273 0 0 0 20886 115 0 0 25 0 1 0 849864940 208822272 49247 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50982 49247 566 18 0 50964 0
vsize: 203928
[startup+220.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 50844 0 0 0 21883 119 0 0 25 0 1 0 849864940 215293952 50818 4294967295 134512640 134581267 3221224592 3221223520 134519999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52562 50818 566 18 0 52544 0
vsize: 210248
[startup+230.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 53692 0 0 0 22876 126 0 0 25 0 1 0 849864940 226926592 53666 4294967295 134512640 134581267 3221224592 3221223536 134558756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55402 53666 566 18 0 55384 0
vsize: 221608
[startup+240.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 54957 0 0 0 23872 130 0 0 25 0 1 0 849864940 232235008 54931 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56698 54931 566 18 0 56680 0
vsize: 226792
[startup+250.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 56703 0 0 0 24867 135 0 0 25 0 1 0 849864940 239439872 56677 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58457 56677 566 18 0 58439 0
vsize: 233828
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 57752 0 0 0 25864 138 0 0 25 0 1 0 849864940 243609600 57726 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59475 57726 566 18 0 59457 0
vsize: 237900
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 60212 0 0 0 26858 144 0 0 25 0 1 0 849864940 253669376 60186 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61931 60186 566 18 0 61913 0
vsize: 247724
[startup+280 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 60767 0 0 0 27857 146 0 0 25 0 1 0 849864940 255979520 60741 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62495 60741 566 18 0 62477 0
vsize: 249980
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 63090 0 0 0 28851 151 0 0 25 0 1 0 849864940 265801728 63064 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64893 63064 566 18 0 64875 0
vsize: 259572
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 64160 0 0 0 29849 153 0 0 25 0 1 0 849864940 270462976 64134 4294967295 134512640 134581267 3221224592 3221223584 134561067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66031 64134 566 18 0 66013 0
vsize: 264124
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 65816 0 0 0 30845 158 0 0 25 0 1 0 849864940 277377024 65790 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67719 65790 566 18 0 67701 0
vsize: 270876
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 67650 0 0 0 31840 163 0 0 25 0 1 0 849864940 285089792 67624 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69602 67624 566 18 0 69584 0
vsize: 278408
[startup+330.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 68509 0 0 0 32839 164 0 0 25 0 1 0 849864940 288804864 68483 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70509 68483 566 18 0 70491 0
vsize: 282036
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71285 0 0 0 33833 171 0 0 25 0 1 0 849864940 300187648 71259 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71259 566 18 0 73270 0
vsize: 293152
[startup+350.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71285 0 0 0 34833 171 0 0 25 0 1 0 849864940 300187648 71259 4294967295 134512640 134581267 3221224592 3221223552 134516747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71259 566 18 0 73270 0
vsize: 293152
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71285 0 0 0 35833 171 0 0 25 0 1 0 849864940 300187648 71259 4294967295 134512640 134581267 3221224592 3221223552 134516716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71259 566 18 0 73270 0
vsize: 293152
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71285 0 0 0 36833 171 0 0 25 0 1 0 849864940 300187648 71259 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71259 566 18 0 73270 0
vsize: 293152
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71285 0 0 0 37833 171 0 0 25 0 1 0 849864940 300187648 71259 4294967295 134512640 134581267 3221224592 3221223552 134516716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71259 566 18 0 73270 0
vsize: 293152
[startup+390.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71285 0 0 0 38834 171 0 0 25 0 1 0 849864940 300187648 71259 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71259 566 18 0 73270 0
vsize: 293152
[startup+400.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71285 0 0 0 39834 171 0 0 25 0 1 0 849864940 300187648 71259 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71259 566 18 0 73270 0
vsize: 293152
[startup+410.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71285 0 0 0 40833 172 0 0 25 0 1 0 849864940 300187648 71259 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71259 566 18 0 73270 0
vsize: 293152
[startup+420.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71285 0 0 0 41833 172 0 0 25 0 1 0 849864940 300187648 71259 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71259 566 18 0 73270 0
vsize: 293152
[startup+430.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71287 0 0 0 42833 173 0 0 25 0 1 0 849864940 300187648 71261 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71261 566 18 0 73270 0
vsize: 293152
[startup+440.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71287 0 0 0 43833 173 0 0 25 0 1 0 849864940 300187648 71261 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71261 566 18 0 73270 0
vsize: 293152
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71287 0 0 0 44832 173 0 0 25 0 1 0 849864940 300187648 71261 4294967295 134512640 134581267 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71261 566 18 0 73270 0
vsize: 293152
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 45832 174 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134519877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+470.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 46832 174 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+480.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 47831 174 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+490.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 48831 175 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+500.002 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 49831 175 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+510.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 50831 175 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+520.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 51831 175 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+530.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 52831 176 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+540.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 53831 176 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+550.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 54830 177 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223632 134565221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+560.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 55831 177 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+570.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 56830 178 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134519823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+580.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 57830 178 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+590.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 58830 178 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+600.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 59829 179 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+610.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 60829 179 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+620.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 61830 179 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223504 134527952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+630.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 62829 179 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223564 134519895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+640.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 63829 180 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+650.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 64829 180 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+660.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 65829 180 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+670.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 66829 181 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+680.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 67829 181 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+690.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 68829 181 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+700.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 69829 181 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+710.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 70829 181 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+720.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 71829 182 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+730.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 72829 182 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+740.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 73828 182 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+750.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 74828 183 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+760.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 75828 183 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+770.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 76829 183 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+780.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 77828 183 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+790.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71289 0 0 0 78828 183 0 0 25 0 1 0 849864940 300187648 71263 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71263 566 18 0 73270 0
vsize: 293152
[startup+800.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71306 0 0 0 79828 184 0 0 25 0 1 0 849864940 300187648 71280 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 71280 566 18 0 73270 0
vsize: 293152
[startup+810.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 71929 0 0 0 80826 186 0 0 25 0 1 0 849864940 302809088 71903 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73928 71903 566 18 0 73910 0
vsize: 295712
[startup+820.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 72439 0 0 0 81825 187 0 0 25 0 1 0 849864940 304898048 72413 4294967295 134512640 134581267 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74438 72413 566 18 0 74420 0
vsize: 297752
[startup+830.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 73164 0 0 0 82824 189 0 0 25 0 1 0 849864940 307908608 73138 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75173 73138 566 18 0 75155 0
vsize: 300692
[startup+840.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 73574 0 0 0 83823 189 0 0 25 0 1 0 849864940 309506048 73548 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75563 73548 566 18 0 75545 0
vsize: 302252
[startup+850.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 74245 0 0 0 84822 191 0 0 25 0 1 0 849864940 312258560 74219 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76235 74219 566 18 0 76217 0
vsize: 304940
[startup+860.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 74757 0 0 0 85819 193 0 0 25 0 1 0 849864940 314351616 74731 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76746 74731 566 18 0 76728 0
vsize: 306984
[startup+870.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 75280 0 0 0 86818 195 0 0 25 0 1 0 849864940 316579840 75254 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77290 75254 566 18 0 77272 0
vsize: 309160
[startup+880.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 75429 0 0 0 87817 196 0 0 25 0 1 0 849864940 317104128 75403 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77418 75403 566 18 0 77400 0
vsize: 309672
[startup+890.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 75741 0 0 0 88817 196 0 0 25 0 1 0 849864940 318410752 75715 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77737 75715 566 18 0 77719 0
vsize: 310948
[startup+900.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 76406 0 0 0 89816 197 0 0 25 0 1 0 849864940 321163264 76380 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78409 76380 566 18 0 78391 0
vsize: 313636
[startup+910.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 76892 0 0 0 90815 199 0 0 25 0 1 0 849864940 323121152 76866 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78887 76866 566 18 0 78869 0
vsize: 315548
[startup+920.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 77490 0 0 0 91814 200 0 0 25 0 1 0 849864940 325713920 77464 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79520 77464 566 18 0 79502 0
vsize: 318080
[startup+930.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 77835 0 0 0 92813 202 0 0 25 0 1 0 849864940 327053312 77809 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79847 77809 566 18 0 79829 0
vsize: 319388
[startup+940.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78343 0 0 0 93811 203 0 0 25 0 1 0 849864940 329150464 78317 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80359 78317 566 18 0 80341 0
vsize: 321436
[startup+950.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78620 0 0 0 94811 204 0 0 25 0 1 0 849864940 330326016 78594 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78594 566 18 0 80628 0
vsize: 322584
[startup+960.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78620 0 0 0 95811 204 0 0 25 0 1 0 849864940 330326016 78594 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78594 566 18 0 80628 0
vsize: 322584
[startup+970.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78620 0 0 0 96811 204 0 0 25 0 1 0 849864940 330326016 78594 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78594 566 18 0 80628 0
vsize: 322584
[startup+980.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78620 0 0 0 97811 204 0 0 25 0 1 0 849864940 330326016 78594 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78594 566 18 0 80628 0
vsize: 322584
[startup+990.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78620 0 0 0 98811 204 0 0 25 0 1 0 849864940 330326016 78594 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78594 566 18 0 80628 0
vsize: 322584
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78620 0 0 0 99811 204 0 0 25 0 1 0 849864940 330326016 78594 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78594 566 18 0 80628 0
vsize: 322584
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78620 0 0 0 100811 204 0 0 25 0 1 0 849864940 330326016 78594 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78594 566 18 0 80628 0
vsize: 322584
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78620 0 0 0 101811 205 0 0 25 0 1 0 849864940 330326016 78594 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78594 566 18 0 80628 0
vsize: 322584
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78620 0 0 0 102811 205 0 0 25 0 1 0 849864940 330326016 78594 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78594 566 18 0 80628 0
vsize: 322584
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78620 0 0 0 103811 205 0 0 25 0 1 0 849864940 330326016 78594 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78594 566 18 0 80628 0
vsize: 322584
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78620 0 0 0 104811 205 0 0 25 0 1 0 849864940 330326016 78594 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78594 566 18 0 80628 0
vsize: 322584
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78620 0 0 0 105811 205 0 0 25 0 1 0 849864940 330326016 78594 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78594 566 18 0 80628 0
vsize: 322584
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78620 0 0 0 106811 205 0 0 25 0 1 0 849864940 330326016 78594 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78594 566 18 0 80628 0
vsize: 322584
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78620 0 0 0 107811 206 0 0 25 0 1 0 849864940 330326016 78594 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78594 566 18 0 80628 0
vsize: 322584
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78620 0 0 0 108811 206 0 0 25 0 1 0 849864940 330326016 78594 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78594 566 18 0 80628 0
vsize: 322584
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78620 0 0 0 109812 206 0 0 25 0 1 0 849864940 330326016 78594 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78594 566 18 0 80628 0
vsize: 322584
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78620 0 0 0 110812 206 0 0 25 0 1 0 849864940 330326016 78594 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78594 566 18 0 80628 0
vsize: 322584
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78620 0 0 0 111812 206 0 0 25 0 1 0 849864940 330326016 78594 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78594 566 18 0 80628 0
vsize: 322584
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5244
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78620 0 0 0 112812 206 0 0 25 0 1 0 849864940 330326016 78594 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78594 566 18 0 80628 0
vsize: 322584
[startup+1140.03 s]
Raw data (loadavg): 1.07 0.99 0.91 3/58 5289
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78620 0 0 0 113813 207 0 0 25 0 1 0 849864940 330326016 78594 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78594 566 18 0 80628 0
vsize: 322584
[startup+1150.08 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 5297
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78620 0 0 0 114818 207 0 0 25 0 1 0 849864940 330326016 78594 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78594 566 18 0 80628 0
vsize: 322584
[startup+1160.08 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 5297
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78620 0 0 0 115818 207 0 0 25 0 1 0 849864940 330326016 78594 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78594 566 18 0 80628 0
vsize: 322584
[startup+1170.07 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 5297
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78624 0 0 0 116817 208 0 0 25 0 1 0 849864940 330326016 78598 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78598 566 18 0 80628 0
vsize: 322584
[startup+1180.07 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 5297
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78624 0 0 0 117817 208 0 0 25 0 1 0 849864940 330326016 78598 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78598 566 18 0 80628 0
vsize: 322584
[startup+1188.99 s]
Raw data (loadavg): 1.07 1.00 0.92 1/53 5297
Raw data (stat): 5244 (Pueblo-v2) R 5243 7266 7265 0 -1 0 78624 0 0 0 117817 208 0 0 25 0 1 0 849864940 330326016 78598 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80646 78598 566 18 0 80628 0
vsize: 0

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