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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-13 06:46:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2995 boxname=wulflinc31 idbench=333 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  7850e0b228f4ef5ee038a9c3595683ab  /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-5.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-5.opb
IDLAUNCH: 2995
/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:        873340 kB
Buffers:         36160 kB
Cached:         103412 kB
SwapCached:       1936 kB
Active:         107220 kB
Inactive:        35580 kB
HighTotal:      131008 kB
HighFree:        26796 kB
LowTotal:       903652 kB
LowFree:        846544 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12868 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-13 07:06:13 (client local time) WITH STATUS 10 IN 1189.12 SECONDS
stats: 2995 0 1189.12 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-5.opb
c #variables read: 945 - #constraints read: 58580
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.91 0.95 0.93 1/55 15401
Raw data (stat): 15401 (runsolver) D 15400 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 18 0 1 0 733116462 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.95 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 2043 0 0 0 989 8 0 0 25 0 1 0 733116462 13963264 2020 4294967295 134512640 134581331 3221221792 3221220704 134519025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3409 2020 566 18 0 3391 0
vsize: 13636
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.96 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 2217 0 0 0 1988 8 0 0 25 0 1 0 733116462 14807040 2194 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3615 2194 566 18 0 3597 0
vsize: 14460
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.96 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 2661 0 0 0 2987 10 0 0 25 0 1 0 733116462 16621568 2638 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4058 2638 566 18 0 4040 0
vsize: 16232
[startup+40.0023 s]
Raw data (loadavg): 0.95 0.96 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 3139 0 0 0 3986 11 0 0 25 0 1 0 733116462 18542592 3116 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4527 3116 566 18 0 4509 0
vsize: 18108
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.96 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 3596 0 0 0 4985 12 0 0 25 0 1 0 733116462 20340736 3573 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4966 3573 566 18 0 4948 0
vsize: 19864
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 4252 0 0 0 5983 14 0 0 25 0 1 0 733116462 23068672 4229 4294967295 134512640 134581331 3221221792 3221220512 134523390 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5632 4229 566 18 0 5614 0
vsize: 22528
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 4808 0 0 0 6981 16 0 0 25 0 1 0 733116462 25288704 4785 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6174 4785 566 18 0 6156 0
vsize: 24696
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 5307 0 0 0 7981 17 0 0 25 0 1 0 733116462 27353088 5284 4294967295 134512640 134581331 3221221792 3221220704 134519025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6678 5284 566 18 0 6660 0
vsize: 26712
[startup+90.003 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 5787 0 0 0 8980 18 0 0 25 0 1 0 733116462 29413376 5764 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7181 5764 566 18 0 7163 0
vsize: 28724
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 6267 0 0 0 9979 19 0 0 25 0 1 0 733116462 31322112 6244 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7647 6244 566 18 0 7629 0
vsize: 30588
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 6644 0 0 0 10978 20 0 0 25 0 1 0 733116462 32833536 6621 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8016 6621 566 18 0 7998 0
vsize: 32064
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 7067 0 0 0 11977 21 0 0 25 0 1 0 733116462 34643968 7044 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8458 7044 566 18 0 8440 0
vsize: 33832
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 7637 0 0 0 12976 22 0 0 25 0 1 0 733116462 36974592 7614 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9027 7614 566 18 0 9009 0
vsize: 36108
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 7997 0 0 0 13976 23 0 0 25 0 1 0 733116462 38363136 7974 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9366 7974 566 18 0 9348 0
vsize: 37464
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 8484 0 0 0 14975 24 0 0 25 0 1 0 733116462 40443904 8461 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9874 8461 566 18 0 9856 0
vsize: 39496
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 8836 0 0 0 15975 24 0 0 25 0 1 0 733116462 41811968 8813 4294967295 134512640 134581331 3221221792 3221220512 134523352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10208 8813 566 18 0 10190 0
vsize: 40832
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 9301 0 0 0 16973 26 0 0 25 0 1 0 733116462 43761664 9278 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10684 9278 566 18 0 10666 0
vsize: 42736
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 9697 0 0 0 17973 26 0 0 25 0 1 0 733116462 45428736 9674 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11091 9674 566 18 0 11073 0
vsize: 44364
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 10041 0 0 0 18973 27 0 0 25 0 1 0 733116462 46788608 10018 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11423 10018 566 18 0 11405 0
vsize: 45692
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 10455 0 0 0 19972 28 0 0 25 0 1 0 733116462 48455680 10432 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11830 10432 566 18 0 11812 0
vsize: 47320
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 10814 0 0 0 20972 28 0 0 25 0 1 0 733116462 49938432 10791 4294967295 134512640 134581331 3221221792 3221220704 134519045 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12192 10791 566 18 0 12174 0
vsize: 48768
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 11125 0 0 0 21971 29 0 0 25 0 1 0 733116462 51314688 11102 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12528 11102 566 18 0 12510 0
vsize: 50112
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 11531 0 0 0 22971 29 0 0 25 0 1 0 733116462 52989952 11508 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12937 11508 566 18 0 12919 0
vsize: 51748
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 12038 0 0 0 23970 31 0 0 25 0 1 0 733116462 55037952 12015 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13437 12015 566 18 0 13419 0
vsize: 53748
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 12491 0 0 0 24969 32 0 0 25 0 1 0 733116462 56832000 12468 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13875 12468 566 18 0 13857 0
vsize: 55500
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 12898 0 0 0 25968 32 0 0 25 0 1 0 733116462 58494976 12875 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14281 12875 566 18 0 14263 0
vsize: 57124
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 13251 0 0 0 26968 33 0 0 25 0 1 0 733116462 59969536 13228 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14641 13228 566 18 0 14623 0
vsize: 58564
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 13655 0 0 0 27967 34 0 0 25 0 1 0 733116462 61648896 13632 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15051 13632 566 18 0 15033 0
vsize: 60204
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 14046 0 0 0 28966 35 0 0 25 0 1 0 733116462 63295488 14023 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15453 14023 566 18 0 15435 0
vsize: 61812
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 14453 0 0 0 29965 36 0 0 25 0 1 0 733116462 64937984 14430 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15854 14430 566 18 0 15836 0
vsize: 63416
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 14843 0 0 0 30964 37 0 0 25 0 1 0 733116462 66465792 14820 4294967295 134512640 134581331 3221221792 3221220676 134557928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16227 14820 566 18 0 16209 0
vsize: 64908
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 15254 0 0 0 31963 38 0 0 25 0 1 0 733116462 68198400 15231 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16650 15231 566 18 0 16632 0
vsize: 66600
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 15596 0 0 0 32963 39 0 0 25 0 1 0 733116462 69623808 15573 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16998 15573 566 18 0 16980 0
vsize: 67992
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 15948 0 0 0 33962 40 0 0 25 0 1 0 733116462 71036928 15925 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17343 15925 566 18 0 17325 0
vsize: 69372
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 16243 0 0 0 34961 41 0 0 25 0 1 0 733116462 72269824 16220 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17644 16220 566 18 0 17626 0
vsize: 70576
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 16500 0 0 0 35961 41 0 0 25 0 1 0 733116462 73347072 16477 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17907 16477 566 18 0 17889 0
vsize: 71628
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 16731 0 0 0 36961 42 0 0 25 0 1 0 733116462 74317824 16708 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18144 16708 566 18 0 18126 0
vsize: 72576
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 16976 0 0 0 37960 42 0 0 25 0 1 0 733116462 75284480 16953 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18380 16953 566 18 0 18362 0
vsize: 73520
[startup+390.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 17266 0 0 0 38960 42 0 0 25 0 1 0 733116462 76517376 17243 4294967295 134512640 134581331 3221221792 3221220676 134557913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18681 17245 566 18 0 18663 0
vsize: 74724
[startup+400.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 17584 0 0 0 39960 43 0 0 25 0 1 0 733116462 77864960 17561 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19010 17561 566 18 0 18992 0
vsize: 76040
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 17857 0 0 0 40959 44 0 0 25 0 1 0 733116462 78946304 17834 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19274 17834 566 18 0 19256 0
vsize: 77096
[startup+420.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 18077 0 0 0 41959 44 0 0 25 0 1 0 733116462 79900672 18054 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19507 18054 566 18 0 19489 0
vsize: 78028
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 18304 0 0 0 42958 45 0 0 25 0 1 0 733116462 80875520 18281 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19745 18281 566 18 0 19727 0
vsize: 78980
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 18602 0 0 0 43958 46 0 0 25 0 1 0 733116462 81985536 18579 4294967295 134512640 134581331 3221221792 3221220408 1075289077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20016 18579 566 18 0 19998 0
vsize: 80064
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 18901 0 0 0 44957 47 0 0 25 0 1 0 733116462 83226624 18878 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20319 18878 566 18 0 20301 0
vsize: 81276
[startup+460.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 19210 0 0 0 45956 48 0 0 25 0 1 0 733116462 84463616 19187 4294967295 134512640 134581331 3221221792 3221220512 134523390 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20621 19187 566 18 0 20603 0
vsize: 82484
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 19432 0 0 0 46956 48 0 0 25 0 1 0 733116462 85434368 19409 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20858 19409 566 18 0 20840 0
vsize: 83432
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 19669 0 0 0 47955 49 0 0 25 0 1 0 733116462 86388736 19646 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21091 19646 566 18 0 21073 0
vsize: 84364
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 19905 0 0 0 48955 49 0 0 25 0 1 0 733116462 87334912 19882 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21322 19882 566 18 0 21304 0
vsize: 85288
[startup+500.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 20226 0 0 0 49955 50 0 0 25 0 1 0 733116462 88723456 20203 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21661 20203 566 18 0 21643 0
vsize: 86644
[startup+510.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 20538 0 0 0 50954 51 0 0 25 0 1 0 733116462 89960448 20515 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21963 20515 566 18 0 21945 0
vsize: 87852
[startup+520.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 20980 0 0 0 51953 52 0 0 25 0 1 0 733116462 91918336 20957 4294967295 134512640 134581331 3221221792 3221220676 134557922 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22441 20957 566 18 0 22423 0
vsize: 89764
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 21263 0 0 0 52953 52 0 0 25 0 1 0 733116462 93159424 21240 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22744 21240 566 18 0 22726 0
vsize: 90976
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 21673 0 0 0 53952 53 0 0 25 0 1 0 733116462 94830592 21650 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23152 21650 566 18 0 23134 0
vsize: 92608
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 21983 0 0 0 54952 54 0 0 25 0 1 0 733116462 96051200 21960 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23450 21960 566 18 0 23432 0
vsize: 93800
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 22454 0 0 0 55951 55 0 0 25 0 1 0 733116462 97964032 22431 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23917 22431 566 18 0 23899 0
vsize: 95668
[startup+570.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 22751 0 0 0 56950 55 0 0 25 0 1 0 733116462 99205120 22728 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24220 22728 566 18 0 24202 0
vsize: 96880
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 23109 0 0 0 57950 56 0 0 25 0 1 0 733116462 100593664 23086 4294967295 134512640 134581331 3221221792 3221220512 134523365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24559 23086 566 18 0 24541 0
vsize: 98236
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 23543 0 0 0 58949 57 0 0 25 0 1 0 733116462 102375424 23520 4294967295 134512640 134581331 3221221792 3221220704 134519011 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24994 23520 566 18 0 24976 0
vsize: 99976
[startup+600.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 23845 0 0 0 59948 58 0 0 25 0 1 0 733116462 103620608 23822 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25298 23822 566 18 0 25280 0
vsize: 101192
[startup+610.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 24308 0 0 0 60947 59 0 0 25 0 1 0 733116462 105553920 24285 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25770 24285 566 18 0 25752 0
vsize: 103080
[startup+620.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 24618 0 0 0 61947 59 0 0 25 0 1 0 733116462 106774528 24595 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26068 24595 566 18 0 26050 0
vsize: 104272
[startup+630.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 25018 0 0 0 62946 61 0 0 25 0 1 0 733116462 108417024 24995 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26469 24995 566 18 0 26451 0
vsize: 105876
[startup+640.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 25403 0 0 0 63945 62 0 0 25 0 1 0 733116462 110043136 25380 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26866 25380 566 18 0 26848 0
vsize: 107464
[startup+650.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 25734 0 0 0 64944 62 0 0 25 0 1 0 733116462 111419392 25711 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27202 25711 566 18 0 27184 0
vsize: 108808
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 26154 0 0 0 65944 63 0 0 25 0 1 0 733116462 113115136 26131 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27616 26131 566 18 0 27598 0
vsize: 110464
[startup+670.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 26466 0 0 0 66943 64 0 0 25 0 1 0 733116462 114491392 26443 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27952 26443 566 18 0 27934 0
vsize: 111808
[startup+680.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 26858 0 0 0 67942 65 0 0 25 0 1 0 733116462 115998720 26835 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28320 26835 566 18 0 28302 0
vsize: 113280
[startup+690.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 27298 0 0 0 68941 67 0 0 25 0 1 0 733116462 117907456 27275 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28786 27275 566 18 0 28768 0
vsize: 115144
[startup+700.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 27578 0 0 0 69941 67 0 0 25 0 1 0 733116462 119005184 27555 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29054 27555 566 18 0 29036 0
vsize: 116216
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 27935 0 0 0 70940 68 0 0 25 0 1 0 733116462 120496128 27912 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29418 27912 566 18 0 29400 0
vsize: 117672
[startup+720.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 28415 0 0 0 71939 69 0 0 25 0 1 0 733116462 122400768 28392 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29883 28392 566 18 0 29865 0
vsize: 119532
[startup+730.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 28760 0 0 0 72939 69 0 0 25 0 1 0 733116462 123772928 28737 4294967295 134512640 134581331 3221221792 3221220428 1075289101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30218 28737 566 18 0 30200 0
vsize: 120872
[startup+740.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 29529 0 0 0 73937 72 0 0 25 0 1 0 733116462 126992384 29506 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31004 29506 566 18 0 30986 0
vsize: 124016
[startup+750.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 30867 0 0 0 74934 75 0 0 25 0 1 0 733116462 132517888 30844 4294967295 134512640 134581331 3221221792 3221220704 134519011 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32353 30844 566 18 0 32335 0
vsize: 129412
[startup+760.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 31642 0 0 0 75932 76 0 0 25 0 1 0 733116462 135864320 31619 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33170 31619 566 18 0 33152 0
vsize: 132680
[startup+770.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 32443 0 0 0 76930 79 0 0 25 0 1 0 733116462 139243520 32420 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33995 32420 566 18 0 33977 0
vsize: 135980
[startup+780.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 32943 0 0 0 77929 80 0 0 25 0 1 0 733116462 141328384 32920 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34504 32920 566 18 0 34486 0
vsize: 138016
[startup+790.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 33423 0 0 0 78927 82 0 0 25 0 1 0 733116462 143429632 33400 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35017 33400 566 18 0 34999 0
vsize: 140068
[startup+800.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 33809 0 0 0 79926 83 0 0 25 0 1 0 733116462 144945152 33786 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35387 33786 566 18 0 35369 0
vsize: 141548
[startup+810.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15401
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 34176 0 0 0 80926 84 0 0 25 0 1 0 733116462 146485248 34153 4294967295 134512640 134581331 3221221792 3221220676 134557809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35763 34153 566 18 0 35745 0
vsize: 143052
[startup+820.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 15402
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 34440 0 0 0 81926 84 0 0 25 0 1 0 733116462 147582976 34417 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36031 34417 566 18 0 36013 0
vsize: 144124
[startup+830.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15454
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 34748 0 0 0 82924 85 0 0 25 0 1 0 733116462 148946944 34725 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36364 34725 566 18 0 36346 0
vsize: 145456
[startup+840.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15454
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 35198 0 0 0 83924 86 0 0 25 0 1 0 733116462 150765568 35175 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36808 35175 566 18 0 36790 0
vsize: 147232
[startup+850.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15454
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 35508 0 0 0 84924 87 0 0 25 0 1 0 733116462 152010752 35485 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37112 35485 566 18 0 37094 0
vsize: 148448
[startup+860.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15454
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 35977 0 0 0 85923 88 0 0 25 0 1 0 733116462 153927680 35954 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37580 35954 566 18 0 37562 0
vsize: 150320
[startup+870.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15454
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 36216 0 0 0 86922 88 0 0 25 0 1 0 733116462 154877952 36193 4294967295 134512640 134581331 3221221792 3221220512 134523352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37812 36193 566 18 0 37794 0
vsize: 151248
[startup+880.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15454
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 36631 0 0 0 87922 89 0 0 25 0 1 0 733116462 156524544 36608 4294967295 134512640 134581331 3221221792 3221220672 134560363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38214 36608 566 18 0 38196 0
vsize: 152856
[startup+890.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15454
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 37036 0 0 0 88921 90 0 0 25 0 1 0 733116462 158167040 37013 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38615 37013 566 18 0 38597 0
vsize: 154460
[startup+900.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 37312 0 0 0 89920 91 0 0 25 0 1 0 733116462 159391744 37289 4294967295 134512640 134581331 3221221792 3221220576 134528924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38914 37289 566 18 0 38896 0
vsize: 155656
[startup+910.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 37869 0 0 0 90919 92 0 0 25 0 1 0 733116462 161673216 37846 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39471 37846 566 18 0 39453 0
vsize: 157884
[startup+920.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 38336 0 0 0 91918 94 0 0 25 0 1 0 733116462 163618816 38313 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39946 38313 566 18 0 39928 0
vsize: 159784
[startup+930.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 38795 0 0 0 92917 95 0 0 25 0 1 0 733116462 165466112 38772 4294967295 134512640 134581331 3221221792 3221220656 134528378 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40397 38772 566 18 0 40379 0
vsize: 161588
[startup+940.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 39530 0 0 0 93916 96 0 0 25 0 1 0 733116462 168419328 39507 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41118 39507 566 18 0 41100 0
vsize: 164472
[startup+950.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 39930 0 0 0 94915 97 0 0 25 0 1 0 733116462 170143744 39907 4294967295 134512640 134581331 3221221792 3221220784 134561125 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41539 39907 566 18 0 41521 0
vsize: 166156
[startup+960.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 40367 0 0 0 95914 99 0 0 25 0 1 0 733116462 171880448 40344 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41963 40344 566 18 0 41945 0
vsize: 167852
[startup+970.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 40833 0 0 0 96912 101 0 0 25 0 1 0 733116462 173715456 40810 4294967295 134512640 134581331 3221221792 3221220704 134527769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42411 40810 566 18 0 42393 0
vsize: 169644
[startup+980.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 41358 0 0 0 97911 102 0 0 25 0 1 0 733116462 176054272 41335 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42982 41335 566 18 0 42964 0
vsize: 171928
[startup+990.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 41962 0 0 0 98909 103 0 0 25 0 1 0 733116462 178495488 41939 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43578 41939 566 18 0 43560 0
vsize: 174312
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 42578 0 0 0 99907 106 0 0 25 0 1 0 733116462 181096448 42555 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44213 42555 566 18 0 44195 0
vsize: 176852
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 43099 0 0 0 100906 107 0 0 25 0 1 0 733116462 183189504 43076 4294967295 134512640 134581331 3221221792 3221220688 134517871 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44724 43076 566 18 0 44706 0
vsize: 178896
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 43199 0 0 0 101906 108 0 0 25 0 1 0 733116462 183607296 43176 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44826 43176 566 18 0 44808 0
vsize: 179304
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 43667 0 0 0 102905 108 0 0 25 0 1 0 733116462 185479168 43644 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45283 43644 566 18 0 45265 0
vsize: 181132
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 43885 0 0 0 103905 109 0 0 25 0 1 0 733116462 186425344 43862 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45514 43862 566 18 0 45496 0
vsize: 182056
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 44222 0 0 0 104904 110 0 0 25 0 1 0 733116462 187867136 44199 4294967295 134512640 134581331 3221221792 3221220688 134517868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45866 44199 566 18 0 45848 0
vsize: 183464
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 44605 0 0 0 105902 112 0 0 25 0 1 0 733116462 189480960 44582 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46260 44582 566 18 0 46242 0
vsize: 185040
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 45125 0 0 0 106901 114 0 0 25 0 1 0 733116462 191643648 45102 4294967295 134512640 134581331 3221221792 3221220576 134528822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46788 45102 566 18 0 46770 0
vsize: 187152
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 45639 0 0 0 107899 115 0 0 25 0 1 0 733116462 193753088 45616 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47303 45616 566 18 0 47285 0
vsize: 189212
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 46230 0 0 0 108898 117 0 0 25 0 1 0 733116462 196112384 46207 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47879 46207 566 18 0 47861 0
vsize: 191516
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 46711 0 0 0 109896 119 0 0 25 0 1 0 733116462 198094848 46688 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48363 46688 566 18 0 48345 0
vsize: 193452
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 47060 0 0 0 110895 120 0 0 25 0 1 0 733116462 199548928 47037 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48718 47037 566 18 0 48700 0
vsize: 194872
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 47200 0 0 0 111895 120 0 0 25 0 1 0 733116462 200327168 47177 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48908 47177 566 18 0 48890 0
vsize: 195632
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 47428 0 0 0 112894 121 0 0 25 0 1 0 733116462 201150464 47405 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49109 47405 566 18 0 49091 0
vsize: 196436
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 47923 0 0 0 113893 123 0 0 25 0 1 0 733116462 203239424 47900 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49619 47901 566 18 0 49601 0
vsize: 198476
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 48563 0 0 0 114891 124 0 0 25 0 1 0 733116462 205852672 48540 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50257 48540 566 18 0 50239 0
vsize: 201028
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 49028 0 0 0 115890 126 0 0 25 0 1 0 733116462 207761408 49005 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50723 49005 566 18 0 50705 0
vsize: 202892
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15456
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 49564 0 0 0 116888 128 0 0 25 0 1 0 733116462 210022400 49541 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51275 49541 566 18 0 51257 0
vsize: 205100
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 15458
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 50145 0 0 0 117887 129 0 0 25 0 1 0 733116462 212381696 50122 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51851 50122 566 18 0 51833 0
vsize: 207404
[startup+1188.97 s]
Raw data (loadavg): 0.99 0.97 0.93 1/54 15458
Raw data (stat): 15401 (Pueblo) R 15400 7876 7672 0 -1 0 50145 0 0 0 117887 129 0 0 25 0 1 0 733116462 212381696 50122 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51851 50122 566 18 0 51833 0
vsize: 0

Child status: 10
Real time (s): 1188.97
CPU time (s): 1189.12
CPU user time (s): 1187.71
CPU system time (s): 1.40779
CPU usage (%): 100.013
Max. virtual memory (Kb): 207404
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-7
#### END VERIFIER DATA ####