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-2.opb
MD5SUM	a931f7e9a55cb6836807387327525e8b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-35
Optimality of the best value was proved	NO
Number of terms in the objective function	945
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	945
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	945
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	945
Total number of constraints	58624
Number of constraints which are clauses	58624
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 24790

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-13 01:43:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2968 boxname=wulflinc31 idbench=330 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  a931f7e9a55cb6836807387327525e8b  /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-2.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-2.opb
IDLAUNCH: 2968
/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:        877656 kB
Buffers:         35740 kB
Cached:          99412 kB
SwapCached:       1936 kB
Active:         103060 kB
Inactive:        35312 kB
HighTotal:      131008 kB
HighFree:        30744 kB
LowTotal:       903652 kB
LowFree:        846912 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12888 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-13 02:03:05 (client local time) WITH STATUS 10 IN 1189.23 SECONDS
stats: 2968 0 1189.23 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-2.opb
c #variables read: 945 - #constraints read: 58625
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.84 0.94 0.95 2/55 13682
Raw data (stat): 13682 (runsolver) R 13681 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 731297445 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.0012 s]
Raw data (loadavg): 0.87 0.94 0.95 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 2036 0 0 0 989 8 0 0 25 0 1 0 731297445 13963264 2013 4294967295 134512640 134581331 3221221792 3221220676 134557807 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3409 2013 566 18 0 3391 0
vsize: 13636
[startup+20.0019 s]
Raw data (loadavg): 0.89 0.94 0.95 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 2091 0 0 0 1989 8 0 0 25 0 1 0 731297445 14237696 2068 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3476 2068 566 18 0 3458 0
vsize: 13904
[startup+30.0019 s]
Raw data (loadavg): 0.90 0.94 0.95 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 2616 0 0 0 2988 9 0 0 25 0 1 0 731297445 16392192 2593 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4002 2593 566 18 0 3984 0
vsize: 16008
[startup+40.0018 s]
Raw data (loadavg): 0.92 0.94 0.95 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 3107 0 0 0 3987 11 0 0 25 0 1 0 731297445 18452480 3084 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4505 3084 566 18 0 4487 0
vsize: 18020
[startup+50.0017 s]
Raw data (loadavg): 0.93 0.94 0.95 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 3616 0 0 0 4985 12 0 0 25 0 1 0 731297445 20500480 3593 4294967295 134512640 134581331 3221221792 3221220656 134528370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5005 3593 566 18 0 4987 0
vsize: 20020
[startup+60.0016 s]
Raw data (loadavg): 0.94 0.95 0.95 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 4037 0 0 0 5984 13 0 0 25 0 1 0 731297445 22261760 4014 4294967295 134512640 134581331 3221221792 3221220704 134519030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5435 4014 566 18 0 5417 0
vsize: 21740
[startup+70.0016 s]
Raw data (loadavg): 0.95 0.95 0.95 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 4528 0 0 0 6983 15 0 0 25 0 1 0 731297445 24150016 4505 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5896 4505 566 18 0 5878 0
vsize: 23584
[startup+80.0016 s]
Raw data (loadavg): 0.96 0.95 0.95 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 4991 0 0 0 7981 17 0 0 25 0 1 0 731297445 26079232 4968 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6367 4968 566 18 0 6349 0
vsize: 25468
[startup+90.0015 s]
Raw data (loadavg): 0.96 0.95 0.95 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 5421 0 0 0 8980 18 0 0 25 0 1 0 731297445 27836416 5398 4294967295 134512640 134581331 3221221792 3221220436 1075285548 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6796 5398 566 18 0 6778 0
vsize: 27184
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.95 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 5803 0 0 0 9979 19 0 0 25 0 1 0 731297445 29478912 5780 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7197 5780 566 18 0 7179 0
vsize: 28788
[startup+110.002 s]
Raw data (loadavg): 0.97 0.95 0.95 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 6338 0 0 0 10978 20 0 0 25 0 1 0 731297445 31666176 6315 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7731 6315 566 18 0 7713 0
vsize: 30924
[startup+120.002 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 6854 0 0 0 11977 22 0 0 25 0 1 0 731297445 33865728 6831 4294967295 134512640 134581331 3221221792 3221218816 134532743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8268 6831 566 18 0 8250 0
vsize: 33072
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 7326 0 0 0 12976 23 0 0 25 0 1 0 731297445 35741696 7303 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8726 7303 566 18 0 8708 0
vsize: 34904
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 7824 0 0 0 13975 24 0 0 25 0 1 0 731297445 37789696 7801 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9226 7801 566 18 0 9208 0
vsize: 36904
[startup+150.002 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 8397 0 0 0 14974 25 0 0 25 0 1 0 731297445 40079360 8374 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9785 8374 566 18 0 9767 0
vsize: 39140
[startup+160.002 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 8968 0 0 0 15973 26 0 0 25 0 1 0 731297445 42401792 8945 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10352 8945 566 18 0 10334 0
vsize: 41408
[startup+170.002 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 9517 0 0 0 16971 28 0 0 25 0 1 0 731297445 44728320 9494 4294967295 134512640 134581331 3221221792 3221220512 134523358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10920 9494 566 18 0 10902 0
vsize: 43680
[startup+180.002 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 9992 0 0 0 17970 29 0 0 25 0 1 0 731297445 46637056 9969 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11386 9970 566 18 0 11368 0
vsize: 45544
[startup+190.003 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 10624 0 0 0 18968 31 0 0 25 0 1 0 731297445 49340416 10601 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12046 10601 566 18 0 12028 0
vsize: 48184
[startup+200.003 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 11094 0 0 0 19967 33 0 0 25 0 1 0 731297445 51228672 11071 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12507 11071 566 18 0 12489 0
vsize: 50028
[startup+210.003 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 11586 0 0 0 20966 34 0 0 25 0 1 0 731297445 53178368 11563 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12983 11563 566 18 0 12965 0
vsize: 51932
[startup+220.003 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 12235 0 0 0 21964 36 0 0 25 0 1 0 731297445 55934976 12212 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13656 12212 566 18 0 13638 0
vsize: 54624
[startup+230.003 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 12824 0 0 0 22962 38 0 0 25 0 1 0 731297445 58232832 12801 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14217 12801 566 18 0 14199 0
vsize: 56868
[startup+240.003 s]
Raw data (loadavg): 1.07 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 13731 0 0 0 23959 42 0 0 25 0 1 0 731297445 62054400 13708 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15150 13708 566 18 0 15132 0
vsize: 60600
[startup+250.002 s]
Raw data (loadavg): 1.06 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 14324 0 0 0 24957 43 0 0 25 0 1 0 731297445 64487424 14301 4294967295 134512640 134581331 3221221792 3221220512 134523363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15744 14301 566 18 0 15726 0
vsize: 62976
[startup+260.003 s]
Raw data (loadavg): 1.05 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 14907 0 0 0 25956 44 0 0 25 0 1 0 731297445 66945024 14884 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16344 14884 566 18 0 16326 0
vsize: 65376
[startup+270.003 s]
Raw data (loadavg): 1.04 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 15543 0 0 0 26955 46 0 0 25 0 1 0 731297445 69500928 15520 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16968 15520 566 18 0 16950 0
vsize: 67872
[startup+280.003 s]
Raw data (loadavg): 1.04 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 15860 0 0 0 27954 47 0 0 25 0 1 0 731297445 70873088 15837 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17303 15837 566 18 0 17285 0
vsize: 69212
[startup+290.005 s]
Raw data (loadavg): 1.03 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 15913 0 0 0 28954 47 0 0 25 0 1 0 731297445 71163904 15890 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17374 15890 566 18 0 17356 0
vsize: 69496
[startup+300.004 s]
Raw data (loadavg): 1.03 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 16083 0 0 0 29954 48 0 0 25 0 1 0 731297445 71852032 16060 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17542 16060 566 18 0 17524 0
vsize: 70168
[startup+310.004 s]
Raw data (loadavg): 1.02 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 16284 0 0 0 30954 48 0 0 25 0 1 0 731297445 72572928 16261 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17718 16261 566 18 0 17700 0
vsize: 70872
[startup+320.004 s]
Raw data (loadavg): 1.02 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 16384 0 0 0 31954 48 0 0 25 0 1 0 731297445 73007104 16361 4294967295 134512640 134581331 3221221792 3221220512 134523381 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17824 16361 566 18 0 17806 0
vsize: 71296
[startup+330.004 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 16535 0 0 0 32953 49 0 0 25 0 1 0 731297445 73695232 16512 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17992 16512 566 18 0 17974 0
vsize: 71968
[startup+340.004 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 16761 0 0 0 33953 50 0 0 25 0 1 0 731297445 74526720 16738 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18195 16738 566 18 0 18177 0
vsize: 72780
[startup+350.004 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 16848 0 0 0 34952 50 0 0 25 0 1 0 731297445 74936320 16825 4294967295 134512640 134581331 3221221792 3221218816 134532750 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18295 16825 566 18 0 18277 0
vsize: 73180
[startup+360.005 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 17051 0 0 0 35952 50 0 0 25 0 1 0 731297445 75735040 17028 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18490 17028 566 18 0 18472 0
vsize: 73960
[startup+370.005 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 17188 0 0 0 36952 51 0 0 25 0 1 0 731297445 76296192 17165 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18627 17165 566 18 0 18609 0
vsize: 74508
[startup+380.005 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 17421 0 0 0 37951 52 0 0 25 0 1 0 731297445 77336576 17398 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18881 17398 566 18 0 18863 0
vsize: 75524
[startup+390.006 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 17518 0 0 0 38951 52 0 0 25 0 1 0 731297445 77737984 17495 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18979 17495 566 18 0 18961 0
vsize: 75916
[startup+400.005 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 17843 0 0 0 39951 52 0 0 25 0 1 0 731297445 79106048 17820 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19313 17820 566 18 0 19295 0
vsize: 77252
[startup+410.006 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 17919 0 0 0 40951 52 0 0 25 0 1 0 731297445 79376384 17896 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19379 17896 566 18 0 19361 0
vsize: 77516
[startup+420.006 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 18152 0 0 0 41950 53 0 0 25 0 1 0 731297445 80330752 18129 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19612 18129 566 18 0 19594 0
vsize: 78448
[startup+430.006 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 18290 0 0 0 42950 54 0 0 25 0 1 0 731297445 80867328 18267 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19743 18267 566 18 0 19725 0
vsize: 78972
[startup+440.006 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 18531 0 0 0 43950 54 0 0 25 0 1 0 731297445 81821696 18508 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19976 18508 566 18 0 19958 0
vsize: 79904
[startup+450.006 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 18757 0 0 0 44949 55 0 0 25 0 1 0 731297445 82763776 18734 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20206 18734 566 18 0 20188 0
vsize: 80824
[startup+460.006 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 18822 0 0 0 45949 55 0 0 25 0 1 0 731297445 83034112 18799 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20272 18799 566 18 0 20254 0
vsize: 81088
[startup+470.006 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 19123 0 0 0 46948 56 0 0 25 0 1 0 731297445 84287488 19100 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20578 19100 566 18 0 20560 0
vsize: 82312
[startup+480.006 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 19339 0 0 0 47948 57 0 0 25 0 1 0 731297445 85221376 19316 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20806 19316 566 18 0 20788 0
vsize: 83224
[startup+490.007 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 19425 0 0 0 48948 57 0 0 25 0 1 0 731297445 85598208 19402 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20898 19402 566 18 0 20880 0
vsize: 83592
[startup+500.007 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 20012 0 0 0 49946 59 0 0 25 0 1 0 731297445 88014848 19989 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21488 19989 566 18 0 21470 0
vsize: 85952
[startup+510.007 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 20352 0 0 0 50946 59 0 0 25 0 1 0 731297445 89399296 20329 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21826 20329 566 18 0 21808 0
vsize: 87304
[startup+520.007 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 20746 0 0 0 51945 60 0 0 25 0 1 0 731297445 90914816 20723 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22196 20723 566 18 0 22178 0
vsize: 88784
[startup+530.007 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 21191 0 0 0 52944 61 0 0 25 0 1 0 731297445 92823552 21168 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22662 21168 566 18 0 22644 0
vsize: 90648
[startup+540.007 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 21644 0 0 0 53943 62 0 0 25 0 1 0 731297445 94613504 21621 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23099 21621 566 18 0 23081 0
vsize: 92396
[startup+550.006 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 22050 0 0 0 54943 63 0 0 25 0 1 0 731297445 96366592 22027 4294967295 134512640 134581331 3221221792 3221220704 134519025 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23527 22027 566 18 0 23509 0
vsize: 94108
[startup+560.007 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 22601 0 0 0 55941 64 0 0 25 0 1 0 731297445 98553856 22578 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24061 22578 566 18 0 24043 0
vsize: 96244
[startup+570.007 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 23064 0 0 0 56940 66 0 0 25 0 1 0 731297445 100421632 23041 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24517 23041 566 18 0 24499 0
vsize: 98068
[startup+580.007 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 23434 0 0 0 57939 67 0 0 25 0 1 0 731297445 101957632 23411 4294967295 134512640 134581331 3221221792 3221220704 134531400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24892 23411 566 18 0 24874 0
vsize: 99568
[startup+590.009 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 23783 0 0 0 58939 67 0 0 25 0 1 0 731297445 103448576 23760 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25256 23760 566 18 0 25238 0
vsize: 101024
[startup+600.008 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 24209 0 0 0 59938 69 0 0 25 0 1 0 731297445 105218048 24186 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25688 24186 566 18 0 25670 0
vsize: 102752
[startup+610.008 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 24655 0 0 0 60937 69 0 0 25 0 1 0 731297445 107020288 24632 4294967295 134512640 134581331 3221221792 3221220512 134523352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26128 24632 566 18 0 26110 0
vsize: 104512
[startup+620.008 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 25181 0 0 0 61936 71 0 0 25 0 1 0 731297445 109072384 25158 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26629 25158 566 18 0 26611 0
vsize: 106516
[startup+630.008 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 25561 0 0 0 62935 72 0 0 25 0 1 0 731297445 110714880 25538 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27030 25538 566 18 0 27012 0
vsize: 108120
[startup+640.008 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 25990 0 0 0 63934 74 0 0 25 0 1 0 731297445 112496640 25967 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27465 25967 566 18 0 27447 0
vsize: 109860
[startup+650.008 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 26411 0 0 0 64933 75 0 0 25 0 1 0 731297445 114126848 26388 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27863 26388 566 18 0 27845 0
vsize: 111452
[startup+660.009 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 26841 0 0 0 65932 76 0 0 25 0 1 0 731297445 115867648 26818 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28288 26818 566 18 0 28270 0
vsize: 113152
[startup+670.009 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 27185 0 0 0 66931 77 0 0 25 0 1 0 731297445 117407744 27162 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28664 27162 566 18 0 28646 0
vsize: 114656
[startup+680.009 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 27735 0 0 0 67930 78 0 0 25 0 1 0 731297445 119730176 27712 4294967295 134512640 134581331 3221221792 3221220584 1075289350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29231 27712 566 18 0 29213 0
vsize: 116924
[startup+690.009 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 28165 0 0 0 68928 80 0 0 25 0 1 0 731297445 121499648 28142 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29663 28142 566 18 0 29645 0
vsize: 118652
[startup+700.009 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 28561 0 0 0 69928 80 0 0 25 0 1 0 731297445 123121664 28538 4294967295 134512640 134581331 3221221792 3221219800 134531857 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30059 28538 566 18 0 30041 0
vsize: 120236
[startup+710.009 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 28978 0 0 0 70927 81 0 0 25 0 1 0 731297445 124760064 28955 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30459 28955 566 18 0 30441 0
vsize: 121836
[startup+720.008 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 29280 0 0 0 71927 82 0 0 25 0 1 0 731297445 126005248 29257 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30763 29257 566 18 0 30745 0
vsize: 123052
[startup+730.008 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 29619 0 0 0 72926 83 0 0 25 0 1 0 731297445 127356928 29596 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31093 29596 566 18 0 31075 0
vsize: 124372
[startup+740.008 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 29904 0 0 0 73925 84 0 0 25 0 1 0 731297445 128585728 29881 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31393 29881 566 18 0 31375 0
vsize: 125572
[startup+750.008 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 30226 0 0 0 74924 85 0 0 25 0 1 0 731297445 129929216 30203 4294967295 134512640 134581331 3221221792 3221220688 134517897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31721 30203 566 18 0 31703 0
vsize: 126884
[startup+760.009 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 30307 0 0 0 75924 85 0 0 25 0 1 0 731297445 130195456 30284 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31786 30284 566 18 0 31768 0
vsize: 127144
[startup+770.009 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 30498 0 0 0 76924 85 0 0 25 0 1 0 731297445 131022848 30475 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31988 30475 566 18 0 31970 0
vsize: 127952
[startup+780.009 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 30498 0 0 0 77924 85 0 0 25 0 1 0 731297445 131022848 30475 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31988 30475 566 18 0 31970 0
vsize: 127952
[startup+790.009 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 30782 0 0 0 78924 86 0 0 25 0 1 0 731297445 132124672 30759 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32257 30759 566 18 0 32239 0
vsize: 129028
[startup+800.009 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 31013 0 0 0 79924 86 0 0 25 0 1 0 731297445 133087232 30990 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32492 30990 566 18 0 32474 0
vsize: 129968
[startup+810.009 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 31129 0 0 0 80923 86 0 0 25 0 1 0 731297445 133632000 31106 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32625 31106 566 18 0 32607 0
vsize: 130500
[startup+820.009 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 31129 0 0 0 81924 86 0 0 25 0 1 0 731297445 133632000 31106 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32625 31106 566 18 0 32607 0
vsize: 130500
[startup+830.009 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 31371 0 0 0 82923 87 0 0 25 0 1 0 731297445 134582272 31348 4294967295 134512640 134581331 3221221792 3221220704 134519023 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32857 31348 566 18 0 32839 0
vsize: 131428
[startup+840.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 31547 0 0 0 83923 87 0 0 25 0 1 0 731297445 135282688 31524 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33028 31524 566 18 0 33010 0
vsize: 132112
[startup+850.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 31819 0 0 0 84923 88 0 0 25 0 1 0 731297445 136392704 31796 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33299 31796 566 18 0 33281 0
vsize: 133196
[startup+860.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 31820 0 0 0 85923 88 0 0 25 0 1 0 731297445 136392704 31797 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33299 31797 566 18 0 33281 0
vsize: 133196
[startup+870.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 31925 0 0 0 86923 88 0 0 25 0 1 0 731297445 136818688 31902 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33403 31902 566 18 0 33385 0
vsize: 133612
[startup+880.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 32164 0 0 0 87923 89 0 0 25 0 1 0 731297445 137764864 32141 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33634 32141 566 18 0 33616 0
vsize: 134536
[startup+890.011 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 32396 0 0 0 88922 89 0 0 25 0 1 0 731297445 138706944 32373 4294967295 134512640 134581331 3221221792 3221220676 134557928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33864 32373 566 18 0 33846 0
vsize: 135456
[startup+900.011 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 32633 0 0 0 89921 90 0 0 25 0 1 0 731297445 139808768 32610 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34133 32610 566 18 0 34115 0
vsize: 136532
[startup+910.011 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 33068 0 0 0 90920 91 0 0 25 0 1 0 731297445 141697024 33045 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34594 33045 566 18 0 34576 0
vsize: 138376
[startup+920.011 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 33456 0 0 0 91920 92 0 0 25 0 1 0 731297445 143196160 33433 4294967295 134512640 134581331 3221221792 3221220408 1075289077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34960 33433 566 18 0 34942 0
vsize: 139840
[startup+930.011 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 33749 0 0 0 92920 92 0 0 25 0 1 0 731297445 144429056 33726 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35261 33726 566 18 0 35243 0
vsize: 141044
[startup+940.011 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 33751 0 0 0 93920 92 0 0 25 0 1 0 731297445 144429056 33728 4294967295 134512640 134581331 3221221792 3221220616 134528697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35261 33728 566 18 0 35243 0
vsize: 141044
[startup+950.011 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 34113 0 0 0 94919 93 0 0 25 0 1 0 731297445 145932288 34090 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35628 34090 566 18 0 35610 0
vsize: 142512
[startup+960.012 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 34244 0 0 0 95919 93 0 0 25 0 1 0 731297445 146456576 34221 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35756 34221 566 18 0 35738 0
vsize: 143024
[startup+970.012 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 34401 0 0 0 96919 94 0 0 25 0 1 0 731297445 147132416 34378 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35921 34378 566 18 0 35903 0
vsize: 143684
[startup+980.012 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 34544 0 0 0 97918 95 0 0 25 0 1 0 731297445 147693568 34521 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36058 34521 566 18 0 36040 0
vsize: 144232
[startup+990.012 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 34719 0 0 0 98918 95 0 0 25 0 1 0 731297445 148467712 34696 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36247 34696 566 18 0 36229 0
vsize: 144988
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13682
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 35233 0 0 0 99917 96 0 0 25 0 1 0 731297445 150478848 35210 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36738 35210 566 18 0 36720 0
vsize: 146952
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/58 13720
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 35458 0 0 0 100916 97 0 0 25 0 1 0 731297445 151429120 35435 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36970 35435 566 18 0 36952 0
vsize: 147880
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13735
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 35524 0 0 0 101914 99 0 0 25 0 1 0 731297445 151695360 35501 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37035 35501 566 18 0 37017 0
vsize: 148140
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13735
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 35786 0 0 0 102913 100 0 0 25 0 1 0 731297445 152788992 35763 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37302 35763 566 18 0 37284 0
vsize: 149208
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13735
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 35786 0 0 0 103913 101 0 0 25 0 1 0 731297445 152788992 35763 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37302 35763 566 18 0 37284 0
vsize: 149208
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13735
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 35881 0 0 0 104912 102 0 0 25 0 1 0 731297445 153194496 35858 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37401 35858 566 18 0 37383 0
vsize: 149604
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13735
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 36079 0 0 0 105911 103 0 0 25 0 1 0 731297445 154021888 36056 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37603 36056 566 18 0 37585 0
vsize: 150412
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13735
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 36142 0 0 0 106911 103 0 0 25 0 1 0 731297445 154210304 36119 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37649 36119 566 18 0 37631 0
vsize: 150596
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13735
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 36456 0 0 0 107910 104 0 0 25 0 1 0 731297445 155582464 36433 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37984 36433 566 18 0 37966 0
vsize: 151936
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13737
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 36692 0 0 0 108908 106 0 0 25 0 1 0 731297445 156540928 36669 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38218 36669 566 18 0 38200 0
vsize: 152872
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13737
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 36827 0 0 0 109908 107 0 0 25 0 1 0 731297445 157097984 36804 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38354 36804 566 18 0 38336 0
vsize: 153416
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 13737
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 37141 0 0 0 110907 108 0 0 25 0 1 0 731297445 158326784 37118 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38654 37118 566 18 0 38636 0
vsize: 154616
[startup+1120.01 s]
Raw data (loadavg): 1.15 1.01 0.97 2/55 13737
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 37382 0 0 0 111906 109 0 0 25 0 1 0 731297445 159285248 37359 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38888 37359 566 18 0 38870 0
vsize: 155552
[startup+1130.01 s]
Raw data (loadavg): 1.12 1.01 0.97 2/55 13737
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 37711 0 0 0 112905 110 0 0 25 0 1 0 731297445 160657408 37688 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39223 37688 566 18 0 39205 0
vsize: 156892
[startup+1140.01 s]
Raw data (loadavg): 1.10 1.01 0.97 2/55 13737
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 37995 0 0 0 113904 111 0 0 25 0 1 0 731297445 161886208 37972 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39523 37972 566 18 0 39505 0
vsize: 158092
[startup+1150.01 s]
Raw data (loadavg): 1.09 1.01 0.97 2/55 13737
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 38174 0 0 0 114903 113 0 0 25 0 1 0 731297445 162566144 38151 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39689 38151 566 18 0 39671 0
vsize: 158756
[startup+1160.01 s]
Raw data (loadavg): 1.07 1.01 0.97 2/55 13737
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 38398 0 0 0 115902 114 0 0 25 0 1 0 731297445 163573760 38375 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39935 38375 566 18 0 39917 0
vsize: 159740
[startup+1170.01 s]
Raw data (loadavg): 1.06 1.01 0.97 2/55 13737
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 38593 0 0 0 116901 115 0 0 25 0 1 0 731297445 164261888 38570 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40103 38570 566 18 0 40085 0
vsize: 160412
[startup+1180.01 s]
Raw data (loadavg): 1.05 1.01 0.97 2/55 13737
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 38792 0 0 0 117900 116 0 0 25 0 1 0 731297445 165089280 38769 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40305 38769 566 18 0 40287 0
vsize: 161220
[startup+1189.09 s]
Raw data (loadavg): 1.04 1.01 0.97 1/54 13737
Raw data (stat): 13682 (Pueblo) R 13681 7876 7672 0 -1 0 38792 0 0 0 117900 116 0 0 25 0 1 0 731297445 165089280 38769 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40305 38769 566 18 0 40287 0
vsize: 0

Child status: 10
Real time (s): 1189.09
CPU time (s): 1189.23
CPU user time (s): 1187.98
CPU system time (s): 1.24681
CPU usage (%): 100.011
Max. virtual memory (Kb): 161220
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-7
#### END VERIFIER DATA ####