PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb
MD5SUM	2b591d1b24a201f365bc505135aa0578
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-33
Optimality of the best value was proved	NO
Number of terms in the objective function	945
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	945
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	945
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.07
Number of variables	945
Total number of constraints	58549
Number of constraints which are clauses	58549
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 24800

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-13 05:05:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2986 boxname=wulflinc31 idbench=332 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  2b591d1b24a201f365bc505135aa0578  /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-4.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-4.opb
IDLAUNCH: 2986
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        874968 kB
Buffers:         36024 kB
Cached:         102120 kB
SwapCached:       1936 kB
Active:         105824 kB
Inactive:        35520 kB
HighTotal:      131008 kB
HighFree:        28112 kB
LowTotal:       903652 kB
LowFree:        846856 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12792 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-13 05:25:11 (client local time) WITH STATUS 10 IN 1189.24 SECONDS
stats: 2986 0 1189.24 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-4.opb
c #variables read: 945 - #constraints read: 58550
s SATISFIABLE
v -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 -C30 -C29 -C28 -C27 -C26 -C25 -C24 -C23 C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 -C11 C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 1.00 0.96 2/55 14864
Raw data (stat): 14864 (runsolver) R 14863 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 732510166 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.94 1.00 0.96 2/55 14864
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 2030 0 0 0 989 6 0 0 25 0 1 0 732510166 13963264 2007 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3409 2007 566 18 0 3391 0
vsize: 13636
[startup+20.0002 s]
Raw data (loadavg): 0.95 1.00 0.96 2/55 14864
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 2293 0 0 0 1989 7 0 0 25 0 1 0 732510166 15093760 2270 4294967295 134512640 134581331 3221221792 3221220512 134523363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3685 2270 566 18 0 3667 0
vsize: 14740
[startup+30.0002 s]
Raw data (loadavg): 0.95 1.00 0.96 2/55 14864
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 2795 0 0 0 2988 8 0 0 25 0 1 0 732510166 17174528 2772 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4193 2772 566 18 0 4175 0
vsize: 16772
[startup+40.0004 s]
Raw data (loadavg): 0.96 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 3365 0 0 0 3987 9 0 0 25 0 1 0 732510166 19382272 3342 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4732 3342 566 18 0 4714 0
vsize: 18928
[startup+50 s]
Raw data (loadavg): 0.97 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 3919 0 0 0 4986 10 0 0 25 0 1 0 732510166 21729280 3896 4294967295 134512640 134581331 3221221792 3221220512 134523368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5305 3896 566 18 0 5287 0
vsize: 21220
[startup+60 s]
Raw data (loadavg): 0.97 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 4441 0 0 0 5985 11 0 0 25 0 1 0 732510166 23785472 4418 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5807 4418 566 18 0 5789 0
vsize: 23228
[startup+70.0002 s]
Raw data (loadavg): 0.97 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 4977 0 0 0 6984 13 0 0 25 0 1 0 732510166 26112000 4954 4294967295 134512640 134581331 3221221792 3221220704 134527772 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6375 4954 566 18 0 6357 0
vsize: 25500
[startup+80.0008 s]
Raw data (loadavg): 0.98 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 5395 0 0 0 7983 14 0 0 25 0 1 0 732510166 27791360 5372 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6785 5372 566 18 0 6767 0
vsize: 27140
[startup+90.0008 s]
Raw data (loadavg): 0.98 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 5834 0 0 0 8982 15 0 0 25 0 1 0 732510166 29593600 5811 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7225 5811 566 18 0 7207 0
vsize: 28900
[startup+100.001 s]
Raw data (loadavg): 0.98 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 6272 0 0 0 9981 16 0 0 25 0 1 0 732510166 31375360 6249 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7660 6249 566 18 0 7642 0
vsize: 30640
[startup+110.002 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 6867 0 0 0 10980 18 0 0 25 0 1 0 732510166 33800192 6844 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8252 6844 566 18 0 8234 0
vsize: 33008
[startup+120.002 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 7447 0 0 0 11978 19 0 0 25 0 1 0 732510166 36265984 7424 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8854 7424 566 18 0 8836 0
vsize: 35416
[startup+130.002 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 8027 0 0 0 12976 21 0 0 25 0 1 0 732510166 38612992 8004 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9427 8004 566 18 0 9409 0
vsize: 37708
[startup+140.001 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 8404 0 0 0 13976 22 0 0 25 0 1 0 732510166 40120320 8381 4294967295 134512640 134581331 3221221792 3221220704 134519006 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9795 8381 566 18 0 9777 0
vsize: 39180
[startup+150.001 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 8936 0 0 0 14975 23 0 0 25 0 1 0 732510166 42307584 8913 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10329 8913 566 18 0 10311 0
vsize: 41316
[startup+160.002 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 9421 0 0 0 15974 24 0 0 25 0 1 0 732510166 44367872 9398 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10832 9398 566 18 0 10814 0
vsize: 43328
[startup+170.001 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 9850 0 0 0 16973 25 0 0 25 0 1 0 732510166 46161920 9827 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11270 9827 566 18 0 11252 0
vsize: 45080
[startup+180.002 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 10263 0 0 0 17973 26 0 0 25 0 1 0 732510166 47816704 10240 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11674 10240 566 18 0 11656 0
vsize: 46696
[startup+190.002 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 10677 0 0 0 18971 28 0 0 25 0 1 0 732510166 49471488 10654 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12078 10654 566 18 0 12060 0
vsize: 48312
[startup+200.002 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 11116 0 0 0 19970 29 0 0 25 0 1 0 732510166 51240960 11093 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12510 11093 566 18 0 12492 0
vsize: 50040
[startup+210.002 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 11578 0 0 0 20969 30 0 0 25 0 1 0 732510166 53157888 11555 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12978 11555 566 18 0 12960 0
vsize: 51912
[startup+220.002 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 11989 0 0 0 21968 32 0 0 25 0 1 0 732510166 54800384 11966 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13379 11966 566 18 0 13361 0
vsize: 53516
[startup+230.003 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 12460 0 0 0 22967 33 0 0 25 0 1 0 732510166 56852480 12437 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13880 12437 566 18 0 13862 0
vsize: 55520
[startup+240.003 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 12906 0 0 0 23966 34 0 0 25 0 1 0 732510166 58650624 12883 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14319 12883 566 18 0 14301 0
vsize: 57276
[startup+250.003 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 13463 0 0 0 24964 36 0 0 25 0 1 0 732510166 60887040 13440 4294967295 134512640 134581331 3221221792 3221220676 134557901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14865 13440 566 18 0 14847 0
vsize: 59460
[startup+260.004 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 13920 0 0 0 25964 36 0 0 25 0 1 0 732510166 62803968 13897 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15333 13897 566 18 0 15315 0
vsize: 61332
[startup+270.004 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 14531 0 0 0 26963 37 0 0 25 0 1 0 732510166 65286144 14508 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15939 14508 566 18 0 15921 0
vsize: 63756
[startup+280.005 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 15039 0 0 0 27962 38 0 0 25 0 1 0 732510166 67330048 15016 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16438 15016 566 18 0 16420 0
vsize: 65752
[startup+290.005 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 15529 0 0 0 28961 39 0 0 25 0 1 0 732510166 69369856 15506 4294967295 134512640 134581331 3221221792 3221220688 134517729 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16936 15506 566 18 0 16918 0
vsize: 67744
[startup+300.005 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 16059 0 0 0 29960 41 0 0 25 0 1 0 732510166 71475200 16036 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17450 16036 566 18 0 17432 0
vsize: 69800
[startup+310.006 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 16676 0 0 0 30959 42 0 0 25 0 1 0 732510166 74088448 16653 4294967295 134512640 134581331 3221221792 3221220512 134523338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18088 16653 566 18 0 18070 0
vsize: 72352
[startup+320.005 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 17144 0 0 0 31958 44 0 0 25 0 1 0 732510166 75907072 17121 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18532 17121 566 18 0 18514 0
vsize: 74128
[startup+330.005 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 17598 0 0 0 32957 44 0 0 25 0 1 0 732510166 77959168 17575 4294967295 134512640 134581331 3221221792 3221220656 134528278 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19033 17575 566 18 0 19015 0
vsize: 76132
[startup+340.006 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 18098 0 0 0 33956 45 0 0 25 0 1 0 732510166 80007168 18075 4294967295 134512640 134581331 3221221792 3221220512 134522313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19533 18075 566 18 0 19515 0
vsize: 78132
[startup+350.006 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 18648 0 0 0 34954 47 0 0 25 0 1 0 732510166 82202624 18625 4294967295 134512640 134581331 3221221792 3221220736 134558819 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20069 18625 566 18 0 20051 0
vsize: 80276
[startup+360.006 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 19147 0 0 0 35952 49 0 0 25 0 1 0 732510166 84246528 19124 4294967295 134512640 134581331 3221221792 3221220576 134528948 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20568 19124 566 18 0 20550 0
vsize: 82272
[startup+370.006 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 19639 0 0 0 36952 50 0 0 25 0 1 0 732510166 86298624 19616 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21069 19616 566 18 0 21051 0
vsize: 84276
[startup+380.007 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 20163 0 0 0 37951 52 0 0 25 0 1 0 732510166 88375296 20140 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21576 20140 566 18 0 21558 0
vsize: 86304
[startup+390.007 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 20605 0 0 0 38950 53 0 0 25 0 1 0 732510166 90193920 20582 4294967295 134512640 134581331 3221221792 3221220704 134519011 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22020 20582 566 18 0 22002 0
vsize: 88080
[startup+400.007 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 21105 0 0 0 39948 55 0 0 25 0 1 0 732510166 92295168 21082 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22533 21082 566 18 0 22515 0
vsize: 90132
[startup+410.008 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 21617 0 0 0 40947 56 0 0 25 0 1 0 732510166 94355456 21594 4294967295 134512640 134581331 3221221792 3221220672 134520219 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23071 21597 566 18 0 23053 0
vsize: 92144
[startup+420.008 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 22094 0 0 0 41946 57 0 0 25 0 1 0 732510166 96423936 22071 4294967295 134512640 134581331 3221221792 3221220512 134523402 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23541 22071 566 18 0 23523 0
vsize: 94164
[startup+430.008 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 22569 0 0 0 42944 59 0 0 25 0 1 0 732510166 98230272 22546 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23982 22546 566 18 0 23964 0
vsize: 95928
[startup+440.008 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 23036 0 0 0 43943 60 0 0 25 0 1 0 732510166 100159488 23013 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24453 23013 566 18 0 24435 0
vsize: 97812
[startup+450.007 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 23514 0 0 0 44942 61 0 0 25 0 1 0 732510166 102305792 23491 4294967295 134512640 134581331 3221221792 3221220736 134558933 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24977 23491 566 18 0 24959 0
vsize: 99908
[startup+460.008 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 24005 0 0 0 45942 62 0 0 25 0 1 0 732510166 104239104 23982 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25449 23982 566 18 0 25431 0
vsize: 101796
[startup+470.007 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 24498 0 0 0 46941 63 0 0 25 0 1 0 732510166 106278912 24475 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25947 24475 566 18 0 25929 0
vsize: 103788
[startup+480.007 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 25007 0 0 0 47939 65 0 0 25 0 1 0 732510166 108331008 24984 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26448 24984 566 18 0 26430 0
vsize: 105792
[startup+490.007 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 25501 0 0 0 48938 65 0 0 25 0 1 0 732510166 110399488 25478 4294967295 134512640 134581331 3221221792 3221220676 134557928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26953 25478 566 18 0 26935 0
vsize: 107812
[startup+500.007 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 26001 0 0 0 49937 67 0 0 25 0 1 0 732510166 112463872 25978 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27457 25978 566 18 0 27439 0
vsize: 109828
[startup+510.007 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 26406 0 0 0 50936 68 0 0 25 0 1 0 732510166 114114560 26383 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27860 26383 566 18 0 27842 0
vsize: 111440
[startup+520.008 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 26917 0 0 0 51934 70 0 0 25 0 1 0 732510166 116240384 26894 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28379 26894 566 18 0 28361 0
vsize: 113516
[startup+530.008 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 27424 0 0 0 52934 71 0 0 25 0 1 0 732510166 118288384 27401 4294967295 134512640 134581331 3221221792 3221218980 134532668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28879 27401 566 18 0 28861 0
vsize: 115516
[startup+540.008 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 27849 0 0 0 53933 72 0 0 25 0 1 0 732510166 120078336 27826 4294967295 134512640 134581331 3221221792 3221220704 134527987 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29316 27826 566 18 0 29298 0
vsize: 117264
[startup+550.008 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 28291 0 0 0 54931 74 0 0 25 0 1 0 732510166 121856000 28268 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29750 28268 566 18 0 29732 0
vsize: 119000
[startup+560.009 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 28804 0 0 0 55930 75 0 0 25 0 1 0 732510166 124006400 28781 4294967295 134512640 134581331 3221221792 3221220656 134528446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30275 28781 566 18 0 30257 0
vsize: 121100
[startup+570.009 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 29170 0 0 0 56930 75 0 0 25 0 1 0 732510166 125489152 29147 4294967295 134512640 134581331 3221221792 3221220704 134518996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30637 29147 566 18 0 30619 0
vsize: 122548
[startup+580.009 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 29655 0 0 0 57928 77 0 0 25 0 1 0 732510166 127463424 29632 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31119 29632 566 18 0 31101 0
vsize: 124476
[startup+590.01 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 30054 0 0 0 58927 79 0 0 25 0 1 0 732510166 129110016 30031 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31521 30031 566 18 0 31503 0
vsize: 126084
[startup+600.009 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 30613 0 0 0 59926 80 0 0 25 0 1 0 732510166 131440640 30590 4294967295 134512640 134581331 3221221792 3221220512 134523352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32090 30590 566 18 0 32072 0
vsize: 128360
[startup+610.01 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 31148 0 0 0 60925 81 0 0 25 0 1 0 732510166 133632000 31125 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32625 31125 566 18 0 32607 0
vsize: 130500
[startup+620.01 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 31560 0 0 0 61924 82 0 0 25 0 1 0 732510166 135262208 31537 4294967295 134512640 134581331 3221221792 3221220704 134519011 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33023 31537 566 18 0 33005 0
vsize: 132092
[startup+630.01 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 32050 0 0 0 62923 83 0 0 25 0 1 0 732510166 137314304 32027 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33524 32027 566 18 0 33506 0
vsize: 134096
[startup+640.011 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 32432 0 0 0 63923 83 0 0 25 0 1 0 732510166 138797056 32409 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33886 32409 566 18 0 33868 0
vsize: 135544
[startup+650.01 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 32859 0 0 0 64922 85 0 0 25 0 1 0 732510166 140554240 32836 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34315 32836 566 18 0 34297 0
vsize: 137260
[startup+660.011 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 33411 0 0 0 65921 86 0 0 25 0 1 0 732510166 143032320 33388 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34920 33388 566 18 0 34902 0
vsize: 139680
[startup+670.011 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 33812 0 0 0 66920 87 0 0 25 0 1 0 732510166 144814080 33789 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35355 33789 566 18 0 35337 0
vsize: 141420
[startup+680.012 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 34172 0 0 0 67920 87 0 0 25 0 1 0 732510166 146296832 34149 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35717 34149 566 18 0 35699 0
vsize: 142868
[startup+690.013 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 34537 0 0 0 68918 89 0 0 25 0 1 0 732510166 147804160 34514 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36085 34514 566 18 0 36067 0
vsize: 144340
[startup+700.013 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 35102 0 0 0 69917 91 0 0 25 0 1 0 732510166 150118400 35079 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36650 35079 566 18 0 36632 0
vsize: 146600
[startup+710.014 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 35484 0 0 0 70916 92 0 0 25 0 1 0 732510166 151642112 35461 4294967295 134512640 134581331 3221221792 3221220704 134519011 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37022 35461 566 18 0 37004 0
vsize: 148088
[startup+720.014 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 35952 0 0 0 71915 93 0 0 25 0 1 0 732510166 153559040 35929 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37490 35929 566 18 0 37472 0
vsize: 149960
[startup+730.014 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 36261 0 0 0 72915 93 0 0 25 0 1 0 732510166 155049984 36238 4294967295 134512640 134581331 3221221792 3221220704 134527984 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37854 36238 566 18 0 37836 0
vsize: 151416
[startup+740.014 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 36551 0 0 0 73914 94 0 0 25 0 1 0 732510166 156151808 36528 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38123 36528 566 18 0 38105 0
vsize: 152492
[startup+750.013 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 36989 0 0 0 74913 96 0 0 25 0 1 0 732510166 157941760 36966 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38560 36966 566 18 0 38542 0
vsize: 154240
[startup+760.015 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 37392 0 0 0 75912 97 0 0 25 0 1 0 732510166 159580160 37369 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38960 37369 566 18 0 38942 0
vsize: 155840
[startup+770.016 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 37677 0 0 0 76912 97 0 0 25 0 1 0 732510166 160837632 37654 4294967295 134512640 134581331 3221221792 3221220676 134557928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39267 37654 566 18 0 39249 0
vsize: 157068
[startup+780.016 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 38137 0 0 0 77911 98 0 0 25 0 1 0 732510166 162619392 38114 4294967295 134512640 134581331 3221221792 3221220704 134519032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39702 38114 566 18 0 39684 0
vsize: 158808
[startup+790.016 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 38482 0 0 0 78911 99 0 0 25 0 1 0 732510166 164196352 38459 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40087 38459 566 18 0 40069 0
vsize: 160348
[startup+800.016 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 38855 0 0 0 79910 100 0 0 25 0 1 0 732510166 165810176 38832 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40481 38832 566 18 0 40463 0
vsize: 161924
[startup+810.017 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 39156 0 0 0 80909 100 0 0 25 0 1 0 732510166 167038976 39133 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40781 39133 566 18 0 40763 0
vsize: 163124
[startup+820.018 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 39588 0 0 0 81909 101 0 0 25 0 1 0 732510166 168792064 39565 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41209 39565 566 18 0 41191 0
vsize: 164836
[startup+830.018 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 40022 0 0 0 82907 103 0 0 25 0 1 0 732510166 170569728 39999 4294967295 134512640 134581331 3221221792 3221220688 134517868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41643 39999 566 18 0 41625 0
vsize: 166572
[startup+840.018 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 40456 0 0 0 83906 104 0 0 25 0 1 0 732510166 172335104 40433 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42074 40433 566 18 0 42056 0
vsize: 168296
[startup+850.018 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 40736 0 0 0 84906 105 0 0 25 0 1 0 732510166 173596672 40713 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42382 40713 566 18 0 42364 0
vsize: 169528
[startup+860.019 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 41156 0 0 0 85905 106 0 0 25 0 1 0 732510166 175370240 41133 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42815 41133 566 18 0 42797 0
vsize: 171260
[startup+870.019 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 41465 0 0 0 86904 106 0 0 25 0 1 0 732510166 176603136 41442 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43116 41442 566 18 0 43098 0
vsize: 172464
[startup+880.02 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 41789 0 0 0 87904 107 0 0 25 0 1 0 732510166 177868800 41766 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43425 41766 566 18 0 43407 0
vsize: 173700
[startup+890.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 42165 0 0 0 88903 108 0 0 25 0 1 0 732510166 179494912 42142 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43822 42142 566 18 0 43804 0
vsize: 175288
[startup+900.02 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 42586 0 0 0 89903 109 0 0 25 0 1 0 732510166 181141504 42563 4294967295 134512640 134581331 3221221792 3221220512 134522313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44224 42563 566 18 0 44206 0
vsize: 176896
[startup+910.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 42897 0 0 0 90902 110 0 0 25 0 1 0 732510166 182538240 42874 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44565 42874 566 18 0 44547 0
vsize: 178260
[startup+920.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 43322 0 0 0 91902 110 0 0 25 0 1 0 732510166 184295424 43299 4294967295 134512640 134581331 3221221792 3221220704 134519030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44994 43299 566 18 0 44976 0
vsize: 179976
[startup+930.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 43697 0 0 0 92901 111 0 0 25 0 1 0 732510166 185798656 43674 4294967295 134512640 134581331 3221221792 3221220736 134558909 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45361 43674 566 18 0 45343 0
vsize: 181444
[startup+940.022 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 44004 0 0 0 93900 112 0 0 25 0 1 0 732510166 187019264 43981 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45659 43981 566 18 0 45641 0
vsize: 182636
[startup+950.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 44318 0 0 0 94899 114 0 0 25 0 1 0 732510166 188395520 44295 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45995 44295 566 18 0 45977 0
vsize: 183980
[startup+960.022 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 44733 0 0 0 95898 115 0 0 25 0 1 0 732510166 190013440 44710 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46390 44710 566 18 0 46372 0
vsize: 185560
[startup+970.022 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 45015 0 0 0 96898 115 0 0 25 0 1 0 732510166 191221760 44992 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46685 44992 566 18 0 46667 0
vsize: 186740
[startup+980.023 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 45421 0 0 0 97897 116 0 0 25 0 1 0 732510166 192978944 45398 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47114 45398 566 18 0 47096 0
vsize: 188456
[startup+990.023 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 45837 0 0 0 98896 117 0 0 25 0 1 0 732510166 194625536 45814 4294967295 134512640 134581331 3221221792 3221220512 134524438 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47516 45814 566 18 0 47498 0
vsize: 190064
[startup+1000.02 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 46227 0 0 0 99896 118 0 0 25 0 1 0 732510166 196313088 46204 4294967295 134512640 134581331 3221221792 3221220720 134520109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47928 46204 566 18 0 47910 0
vsize: 191712
[startup+1010.02 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 46546 0 0 0 100895 118 0 0 25 0 1 0 732510166 197672960 46523 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48260 46523 566 18 0 48242 0
vsize: 193040
[startup+1020.02 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 46862 0 0 0 101895 119 0 0 25 0 1 0 732510166 198897664 46839 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48559 46839 566 18 0 48541 0
vsize: 194236
[startup+1030.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 47242 0 0 0 102894 120 0 0 25 0 1 0 732510166 200568832 47219 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48967 47219 566 18 0 48949 0
vsize: 195868
[startup+1040.02 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 47533 0 0 0 103893 121 0 0 25 0 1 0 732510166 201801728 47510 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49268 47510 566 18 0 49250 0
vsize: 197072
[startup+1050.02 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 47962 0 0 0 104892 122 0 0 25 0 1 0 732510166 203571200 47939 4294967295 134512640 134581331 3221221792 3221220784 134561145 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49700 47939 566 18 0 49682 0
vsize: 198800
[startup+1060.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 48444 0 0 0 105891 123 0 0 25 0 1 0 732510166 205484032 48421 4294967295 134512640 134581331 3221221792 3221220272 134532215 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50167 48421 566 18 0 50149 0
vsize: 200668
[startup+1070.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 48779 0 0 0 106891 124 0 0 25 0 1 0 732510166 206876672 48756 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50507 48756 566 18 0 50489 0
vsize: 202028
[startup+1080.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 49091 0 0 0 107890 125 0 0 25 0 1 0 732510166 208113664 49068 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50809 49068 566 18 0 50791 0
vsize: 203236
[startup+1090.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 49532 0 0 0 108889 126 0 0 25 0 1 0 732510166 209891328 49509 4294967295 134512640 134581331 3221221792 3221220704 134519032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51243 49509 566 18 0 51225 0
vsize: 204972
[startup+1100.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 49821 0 0 0 109888 127 0 0 25 0 1 0 732510166 211197952 49798 4294967295 134512640 134581331 3221221792 3221220688 134517767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51562 49798 566 18 0 51544 0
vsize: 206248
[startup+1110.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 50278 0 0 0 110887 128 0 0 25 0 1 0 732510166 213098496 50255 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52026 50255 566 18 0 52008 0
vsize: 208104
[startup+1120.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 50835 0 0 0 111886 130 0 0 25 0 1 0 732510166 215375872 50812 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52582 50812 566 18 0 52564 0
vsize: 210328
[startup+1130.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 51700 0 0 0 112884 132 0 0 25 0 1 0 732510166 218816512 51677 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53422 51677 566 18 0 53404 0
vsize: 213688
[startup+1140.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 52164 0 0 0 113883 133 0 0 25 0 1 0 732510166 220790784 52141 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53904 52141 566 18 0 53886 0
vsize: 215616
[startup+1150.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 52908 0 0 0 114881 135 0 0 25 0 1 0 732510166 223895552 52885 4294967295 134512640 134581331 3221221792 3221220660 1075285570 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54662 52885 566 18 0 54644 0
vsize: 218648
[startup+1160.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 53961 0 0 0 115879 138 0 0 25 0 1 0 732510166 228253696 53938 4294967295 134512640 134581331 3221221792 3221220720 134520099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55726 53938 566 18 0 55708 0
vsize: 222904
[startup+1170.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 54513 0 0 0 116878 139 0 0 25 0 1 0 732510166 230596608 54490 4294967295 134512640 134581331 3221221792 3221220720 134520109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56298 54490 566 18 0 56280 0
vsize: 225192
[startup+1180.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/55 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 54949 0 0 0 117876 141 0 0 25 0 1 0 732510166 232300544 54926 4294967295 134512640 134581331 3221221792 3221220720 134520099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56714 54926 566 18 0 56696 0
vsize: 226856
[startup+1189.09 s]
Raw data (loadavg): 0.99 1.00 0.96 1/54 14866
Raw data (stat): 14864 (Pueblo) R 14863 7876 7672 0 -1 0 54949 0 0 0 117876 141 0 0 25 0 1 0 732510166 232300544 54926 4294967295 134512640 134581331 3221221792 3221220720 134520099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56714 54926 566 18 0 56696 0
vsize: 0

Child status: 10
Real time (s): 1189.09
CPU time (s): 1189.24
CPU user time (s): 1187.71
CPU system time (s): 1.52877
CPU usage (%): 100.013
Max. virtual memory (Kb): 226856
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-5
#### END VERIFIER DATA ####