PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-13 03:24:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2977 boxname=wulflinc31 idbench=331 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  b3a3f977e810fc2043ea057a8d94a7d8  /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-3.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-3.opb
IDLAUNCH: 2977
/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:        876256 kB
Buffers:         35884 kB
Cached:         100764 kB
SwapCached:       1936 kB
Active:         104436 kB
Inactive:        35392 kB
HighTotal:      131008 kB
HighFree:        29400 kB
LowTotal:       903652 kB
LowFree:        846856 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12824 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-13 03:44:06 (client local time) WITH STATUS 10 IN 1189.12 SECONDS
stats: 2977 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-3.opb
c #variables read: 945 - #constraints read: 58246
s SATISFIABLE
v -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 C43 C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 -C30 -C29 -C28 -C27 -C26 -C25 -C24 -C23 -C22 -C21 -C20 -C19 C18 -C17 -C16 -C15 -C14 -C13 -C12 -C11 -C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.97 0.96 2/55 14274
Raw data (stat): 14274 (runsolver) R 14273 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 731903585 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.0009 s]
Raw data (loadavg): 0.93 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 2026 0 0 0 990 6 0 0 25 0 1 0 731903585 13918208 2003 4294967295 134512640 134581331 3221221792 3221220512 134523370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3398 2003 566 18 0 3380 0
vsize: 13592
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 2109 0 0 0 1989 7 0 0 25 0 1 0 731903585 14348288 2086 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3503 2086 566 18 0 3485 0
vsize: 14012
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 2585 0 0 0 2988 8 0 0 25 0 1 0 731903585 16297984 2562 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3979 2562 566 18 0 3961 0
vsize: 15916
[startup+40.0018 s]
Raw data (loadavg): 0.95 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 3036 0 0 0 3987 9 0 0 25 0 1 0 731903585 18083840 3013 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4415 3013 566 18 0 4397 0
vsize: 17660
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 3472 0 0 0 4986 11 0 0 25 0 1 0 731903585 19849216 3449 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4846 3449 566 18 0 4828 0
vsize: 19384
[startup+60.0033 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 3990 0 0 0 5984 13 0 0 25 0 1 0 731903585 22044672 3967 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5382 3967 566 18 0 5364 0
vsize: 21528
[startup+70.0046 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 4489 0 0 0 6983 14 0 0 25 0 1 0 731903585 24080384 4466 4294967295 134512640 134581331 3221221792 3221220704 134519025 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5879 4466 566 18 0 5861 0
vsize: 23516
[startup+80.0051 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 4887 0 0 0 7982 15 0 0 25 0 1 0 731903585 25726976 4864 4294967295 134512640 134581331 3221221792 3221220512 134523365 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6281 4864 566 18 0 6263 0
vsize: 25124
[startup+90.0051 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 5364 0 0 0 8980 17 0 0 25 0 1 0 731903585 27656192 5341 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6752 5341 566 18 0 6734 0
vsize: 27008
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 5820 0 0 0 9979 18 0 0 25 0 1 0 731903585 29556736 5797 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7216 5797 566 18 0 7198 0
vsize: 28864
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 6286 0 0 0 10978 20 0 0 25 0 1 0 731903585 31477760 6263 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7685 6263 566 18 0 7667 0
vsize: 30740
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 6796 0 0 0 11976 21 0 0 25 0 1 0 731903585 33542144 6773 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8189 6773 566 18 0 8171 0
vsize: 32756
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 7304 0 0 0 12975 22 0 0 25 0 1 0 731903585 35590144 7281 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8689 7281 566 18 0 8671 0
vsize: 34756
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 7701 0 0 0 13974 24 0 0 25 0 1 0 731903585 37277696 7678 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9101 7678 566 18 0 9083 0
vsize: 36404
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 8144 0 0 0 14973 25 0 0 25 0 1 0 731903585 39051264 8121 4294967295 134512640 134581331 3221221792 3221220736 134558916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9534 8121 566 18 0 9516 0
vsize: 38136
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 8495 0 0 0 15972 27 0 0 25 0 1 0 731903585 40525824 8472 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9894 8472 566 18 0 9876 0
vsize: 39576
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 8940 0 0 0 16970 28 0 0 25 0 1 0 731903585 42311680 8917 4294967295 134512640 134581331 3221221792 3221220512 134523363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10330 8917 566 18 0 10312 0
vsize: 41320
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 9402 0 0 0 17969 30 0 0 25 0 1 0 731903585 44261376 9379 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10806 9379 566 18 0 10788 0
vsize: 43224
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 9848 0 0 0 18968 31 0 0 25 0 1 0 731903585 46026752 9825 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11237 9825 566 18 0 11219 0
vsize: 44948
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 10329 0 0 0 19967 32 0 0 25 0 1 0 731903585 47951872 10306 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11707 10306 566 18 0 11689 0
vsize: 46828
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 10681 0 0 0 20966 34 0 0 25 0 1 0 731903585 49471488 10658 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12078 10658 566 18 0 12060 0
vsize: 48312
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 11112 0 0 0 21964 35 0 0 25 0 1 0 731903585 51240960 11089 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12510 11089 566 18 0 12492 0
vsize: 50040
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 11489 0 0 0 22964 36 0 0 25 0 1 0 731903585 52912128 11466 4294967295 134512640 134581331 3221221792 3221220576 134528767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12918 11466 566 18 0 12900 0
vsize: 51672
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 11975 0 0 0 23963 37 0 0 25 0 1 0 731903585 54853632 11952 4294967295 134512640 134581331 3221221792 3221220512 134523390 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13392 11952 566 18 0 13374 0
vsize: 53568
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 12408 0 0 0 24961 39 0 0 25 0 1 0 731903585 56643584 12385 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13829 12385 566 18 0 13811 0
vsize: 55316
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 12770 0 0 0 25960 40 0 0 25 0 1 0 731903585 58163200 12747 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14200 12747 566 18 0 14182 0
vsize: 56800
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 13180 0 0 0 26959 41 0 0 25 0 1 0 731903585 59961344 13157 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14639 13157 566 18 0 14621 0
vsize: 58556
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 13568 0 0 0 27957 43 0 0 25 0 1 0 731903585 61476864 13545 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15009 13545 566 18 0 14991 0
vsize: 60036
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 14079 0 0 0 28956 45 0 0 25 0 1 0 731903585 63537152 14056 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15512 14056 566 18 0 15494 0
vsize: 62048
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 14445 0 0 0 29955 46 0 0 25 0 1 0 731903585 65052672 14422 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15882 14422 566 18 0 15864 0
vsize: 63528
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 14965 0 0 0 30954 47 0 0 25 0 1 0 731903585 67203072 14942 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16407 14942 566 18 0 16389 0
vsize: 65628
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 15416 0 0 0 31952 49 0 0 25 0 1 0 731903585 69115904 15393 4294967295 134512640 134581331 3221221792 3221220512 134523390 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16874 15393 566 18 0 16856 0
vsize: 67496
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 15780 0 0 0 32951 51 0 0 25 0 1 0 731903585 70529024 15757 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17219 15757 566 18 0 17201 0
vsize: 68876
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 16179 0 0 0 33949 52 0 0 25 0 1 0 731903585 72192000 16156 4294967295 134512640 134581331 3221221792 3221220704 134519006 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17625 16156 566 18 0 17607 0
vsize: 70500
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 16656 0 0 0 34948 54 0 0 25 0 1 0 731903585 74121216 16633 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18096 16633 566 18 0 18078 0
vsize: 72384
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 17090 0 0 0 35948 54 0 0 25 0 1 0 731903585 75866112 17067 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18522 17067 566 18 0 18504 0
vsize: 74088
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 17356 0 0 0 36947 55 0 0 25 0 1 0 731903585 77185024 17333 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18844 17333 566 18 0 18826 0
vsize: 75376
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 17670 0 0 0 37946 56 0 0 25 0 1 0 731903585 78413824 17647 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19144 17647 566 18 0 19126 0
vsize: 76576
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 18091 0 0 0 38946 57 0 0 25 0 1 0 731903585 80183296 18068 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19576 18068 566 18 0 19558 0
vsize: 78304
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 18546 0 0 0 39945 58 0 0 25 0 1 0 731903585 81989632 18523 4294967295 134512640 134581331 3221221792 3221220512 134523370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20017 18523 566 18 0 19999 0
vsize: 80068
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 19076 0 0 0 40943 59 0 0 25 0 1 0 731903585 84164608 19053 4294967295 134512640 134581331 3221221792 3221220704 134518996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20548 19053 566 18 0 20530 0
vsize: 82192
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 19544 0 0 0 41942 60 0 0 25 0 1 0 731903585 86110208 19521 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21023 19521 566 18 0 21005 0
vsize: 84092
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 19939 0 0 0 42942 61 0 0 25 0 1 0 731903585 87728128 19916 4294967295 134512640 134581331 3221221792 3221220704 134531400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21418 19916 566 18 0 21400 0
vsize: 85672
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 20432 0 0 0 43941 62 0 0 25 0 1 0 731903585 89788416 20409 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21921 20409 566 18 0 21903 0
vsize: 87684
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 20835 0 0 0 44940 63 0 0 25 0 1 0 731903585 91451392 20812 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22327 20812 566 18 0 22309 0
vsize: 89308
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 21228 0 0 0 45940 64 0 0 25 0 1 0 731903585 92966912 21205 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22697 21205 566 18 0 22679 0
vsize: 90788
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 21699 0 0 0 46938 65 0 0 25 0 1 0 731903585 94875648 21676 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23163 21676 566 18 0 23145 0
vsize: 92652
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 22178 0 0 0 47938 66 0 0 25 0 1 0 731903585 96952320 22155 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23670 22155 566 18 0 23652 0
vsize: 94680
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 22590 0 0 0 48937 67 0 0 25 0 1 0 731903585 98566144 22567 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24064 22567 566 18 0 24046 0
vsize: 96256
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 22986 0 0 0 49936 68 0 0 25 0 1 0 731903585 100208640 22963 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24465 22963 566 18 0 24447 0
vsize: 97860
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 23265 0 0 0 50936 68 0 0 25 0 1 0 731903585 101330944 23242 4294967295 134512640 134581331 3221221792 3221220512 134523370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24739 23242 566 18 0 24721 0
vsize: 98956
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 23667 0 0 0 51935 69 0 0 25 0 1 0 731903585 102965248 23644 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25138 23644 566 18 0 25120 0
vsize: 100552
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 24056 0 0 0 52934 70 0 0 25 0 1 0 731903585 104628224 24033 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25544 24033 566 18 0 25526 0
vsize: 102176
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 24256 0 0 0 53934 71 0 0 25 0 1 0 731903585 105451520 24233 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25745 24233 566 18 0 25727 0
vsize: 102980
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 24658 0 0 0 54934 71 0 0 25 0 1 0 731903585 107114496 24635 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26151 24635 566 18 0 26133 0
vsize: 104604
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 24849 0 0 0 55933 72 0 0 25 0 1 0 731903585 107950080 24826 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26355 24826 566 18 0 26337 0
vsize: 105420
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 25236 0 0 0 56933 73 0 0 25 0 1 0 731903585 109477888 25213 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26728 25213 566 18 0 26710 0
vsize: 106912
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 25570 0 0 0 57932 74 0 0 25 0 1 0 731903585 110862336 25547 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27066 25547 566 18 0 27048 0
vsize: 108264
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 25826 0 0 0 58931 75 0 0 25 0 1 0 731903585 111955968 25803 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27333 25803 566 18 0 27315 0
vsize: 109332
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 26176 0 0 0 59930 75 0 0 25 0 1 0 731903585 113463296 26153 4294967295 134512640 134581331 3221221792 3221220672 134558412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27701 26153 566 18 0 27683 0
vsize: 110804
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 26521 0 0 0 60930 76 0 0 25 0 1 0 731903585 114831360 26498 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28035 26498 566 18 0 28017 0
vsize: 112140
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 26908 0 0 0 61929 76 0 0 25 0 1 0 731903585 116322304 26885 4294967295 134512640 134581331 3221221792 3221220656 134528336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28399 26885 566 18 0 28381 0
vsize: 113596
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 27296 0 0 0 62929 77 0 0 25 0 1 0 731903585 117977088 27273 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28803 27273 566 18 0 28785 0
vsize: 115212
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 27750 0 0 0 63928 78 0 0 25 0 1 0 731903585 119881728 27727 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29268 27727 566 18 0 29250 0
vsize: 117072
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 28087 0 0 0 64927 80 0 0 25 0 1 0 731903585 121237504 28064 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29599 28064 566 18 0 29581 0
vsize: 118396
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 28555 0 0 0 65925 82 0 0 25 0 1 0 731903585 123215872 28532 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30082 28532 566 18 0 30064 0
vsize: 120328
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 28875 0 0 0 66924 82 0 0 25 0 1 0 731903585 124444672 28852 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30382 28852 566 18 0 30364 0
vsize: 121528
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 29108 0 0 0 67924 83 0 0 25 0 1 0 731903585 125546496 29085 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30651 29085 566 18 0 30633 0
vsize: 122604
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 29567 0 0 0 68924 83 0 0 25 0 1 0 731903585 127393792 29544 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31102 29544 566 18 0 31084 0
vsize: 124408
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 29991 0 0 0 69923 84 0 0 25 0 1 0 731903585 129069056 29968 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31511 29968 566 18 0 31493 0
vsize: 126044
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 30398 0 0 0 70923 85 0 0 25 0 1 0 731903585 130813952 30375 4294967295 134512640 134581331 3221221792 3221220512 134522313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31937 30375 566 18 0 31919 0
vsize: 127748
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 30754 0 0 0 71922 85 0 0 25 0 1 0 731903585 132255744 30731 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32289 30731 566 18 0 32271 0
vsize: 129156
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 31031 0 0 0 72922 86 0 0 25 0 1 0 731903585 133443584 31008 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32579 31008 566 18 0 32561 0
vsize: 130316
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 31515 0 0 0 73921 87 0 0 25 0 1 0 731903585 135450624 31492 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33069 31492 566 18 0 33051 0
vsize: 132276
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 31802 0 0 0 74920 88 0 0 25 0 1 0 731903585 136572928 31779 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33343 31779 566 18 0 33325 0
vsize: 133372
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 32177 0 0 0 75919 89 0 0 25 0 1 0 731903585 138186752 32154 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33737 32154 566 18 0 33719 0
vsize: 134948
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 32484 0 0 0 76918 90 0 0 25 0 1 0 731903585 139411456 32461 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34036 32461 566 18 0 34018 0
vsize: 136144
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 32812 0 0 0 77918 91 0 0 25 0 1 0 731903585 140832768 32789 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34383 32789 566 18 0 34365 0
vsize: 137532
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 33146 0 0 0 78917 91 0 0 25 0 1 0 731903585 142086144 33123 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34689 33123 566 18 0 34671 0
vsize: 138756
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 33647 0 0 0 79916 93 0 0 25 0 1 0 731903585 144289792 33624 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35227 33624 566 18 0 35209 0
vsize: 140908
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 33988 0 0 0 80915 94 0 0 25 0 1 0 731903585 145719296 33965 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35576 33965 566 18 0 35558 0
vsize: 142304
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 34288 0 0 0 81914 95 0 0 25 0 1 0 731903585 146952192 34265 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35877 34265 566 18 0 35859 0
vsize: 143508
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 34674 0 0 0 82914 95 0 0 25 0 1 0 731903585 148459520 34651 4294967295 134512640 134581331 3221221792 3221220736 134558939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36245 34651 566 18 0 36227 0
vsize: 144980
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 34975 0 0 0 83914 96 0 0 25 0 1 0 731903585 149798912 34952 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36572 34952 566 18 0 36554 0
vsize: 146288
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 35239 0 0 0 84913 96 0 0 25 0 1 0 731903585 150773760 35216 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36810 35216 566 18 0 36792 0
vsize: 147240
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 35521 0 0 0 85913 97 0 0 25 0 1 0 731903585 152018944 35498 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37114 35498 566 18 0 37096 0
vsize: 148456
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 35852 0 0 0 86912 98 0 0 25 0 1 0 731903585 153284608 35829 4294967295 134512640 134581331 3221221792 3221220676 134557901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37458 35832 566 18 0 37440 0
vsize: 149692
[startup+880.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 36291 0 0 0 87911 99 0 0 25 0 1 0 731903585 155299840 36268 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37915 36268 566 18 0 37897 0
vsize: 151660
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 36734 0 0 0 88911 100 0 0 25 0 1 0 731903585 157081600 36711 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38350 36711 566 18 0 38332 0
vsize: 153400
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 37177 0 0 0 89910 101 0 0 25 0 1 0 731903585 158826496 37154 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38776 37154 566 18 0 38758 0
vsize: 155104
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 37758 0 0 0 90909 102 0 0 25 0 1 0 731903585 161251328 37735 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39368 37735 566 18 0 39350 0
vsize: 157472
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 38058 0 0 0 91908 103 0 0 25 0 1 0 731903585 162471936 38035 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39666 38035 566 18 0 39648 0
vsize: 158664
[startup+930.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 38359 0 0 0 92907 104 0 0 25 0 1 0 731903585 163696640 38336 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39965 38336 566 18 0 39947 0
vsize: 159860
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 38851 0 0 0 93906 106 0 0 25 0 1 0 731903585 165875712 38828 4294967295 134512640 134581331 3221221792 3221220704 134519025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40497 38828 566 18 0 40479 0
vsize: 161988
[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 39072 0 0 0 94906 106 0 0 25 0 1 0 731903585 166723584 39049 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40704 39049 566 18 0 40686 0
vsize: 162816
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 39291 0 0 0 95905 107 0 0 25 0 1 0 731903585 167682048 39268 4294967295 134512640 134581331 3221221792 3221220720 134519950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40938 39268 566 18 0 40920 0
vsize: 163752
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 39445 0 0 0 96905 107 0 0 25 0 1 0 731903585 168247296 39422 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41076 39422 566 18 0 41058 0
vsize: 164304
[startup+980.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 39766 0 0 0 97904 108 0 0 25 0 1 0 731903585 169644032 39743 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41417 39743 566 18 0 41399 0
vsize: 165668
[startup+990.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 40002 0 0 0 98903 109 0 0 25 0 1 0 731903585 170622976 39979 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41656 39979 566 18 0 41638 0
vsize: 166624
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 40200 0 0 0 99903 110 0 0 25 0 1 0 731903585 171499520 40177 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41870 40177 566 18 0 41852 0
vsize: 167480
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 40396 0 0 0 100903 110 0 0 25 0 1 0 731903585 172269568 40373 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42058 40373 566 18 0 42040 0
vsize: 168232
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 40574 0 0 0 101903 110 0 0 25 0 1 0 731903585 172961792 40551 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42227 40551 566 18 0 42209 0
vsize: 168908
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 40798 0 0 0 102903 110 0 0 25 0 1 0 731903585 173920256 40775 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42461 40775 566 18 0 42443 0
vsize: 169844
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 41006 0 0 0 103902 111 0 0 25 0 1 0 731903585 174747648 40983 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42663 40983 566 18 0 42645 0
vsize: 170652
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 41344 0 0 0 104901 112 0 0 25 0 1 0 731903585 176136192 41321 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43002 41321 566 18 0 42984 0
vsize: 172008
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 41565 0 0 0 105901 113 0 0 25 0 1 0 731903585 177098752 41542 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43237 41542 566 18 0 43219 0
vsize: 172948
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 41884 0 0 0 106900 114 0 0 25 0 1 0 731903585 178425856 41861 4294967295 134512640 134581331 3221221792 3221220688 134517897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43561 41861 566 18 0 43543 0
vsize: 174244
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 42066 0 0 0 107900 114 0 0 25 0 1 0 731903585 179126272 42043 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43732 42043 566 18 0 43714 0
vsize: 174928
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 42264 0 0 0 108899 115 0 0 25 0 1 0 731903585 179929088 42241 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43928 42241 566 18 0 43910 0
vsize: 175712
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 42501 0 0 0 109899 115 0 0 25 0 1 0 731903585 180908032 42478 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44167 42478 566 18 0 44149 0
vsize: 176668
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 42725 0 0 0 110899 116 0 0 25 0 1 0 731903585 181862400 42702 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44400 42702 566 18 0 44382 0
vsize: 177600
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 42959 0 0 0 111898 116 0 0 25 0 1 0 731903585 182890496 42936 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44651 42936 566 18 0 44633 0
vsize: 178604
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 43243 0 0 0 112898 117 0 0 25 0 1 0 731903585 184004608 43220 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44923 43220 566 18 0 44905 0
vsize: 179692
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 43642 0 0 0 113898 118 0 0 25 0 1 0 731903585 185651200 43619 4294967295 134512640 134581331 3221221792 3221220736 134558865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45325 43619 566 18 0 45307 0
vsize: 181300
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 43899 0 0 0 114897 118 0 0 25 0 1 0 731903585 186720256 43876 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45586 43876 566 18 0 45568 0
vsize: 182344
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 44130 0 0 0 115897 119 0 0 25 0 1 0 731903585 187670528 44107 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45818 44107 566 18 0 45800 0
vsize: 183272
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 44498 0 0 0 116896 120 0 0 25 0 1 0 731903585 189145088 44475 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46178 44475 566 18 0 46160 0
vsize: 184712
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 44705 0 0 0 117895 121 0 0 25 0 1 0 731903585 189943808 44682 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46373 44682 566 18 0 46355 0
vsize: 185492
[startup+1188.98 s]
Raw data (loadavg): 0.99 0.97 0.96 1/54 14274
Raw data (stat): 14274 (Pueblo) R 14273 7876 7672 0 -1 0 44705 0 0 0 117895 121 0 0 25 0 1 0 731903585 189943808 44682 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46373 44682 566 18 0 46355 0
vsize: 0

Child status: 10
Real time (s): 1188.98
CPU time (s): 1189.12
CPU user time (s): 1187.81
CPU system time (s): 1.3058
CPU usage (%): 100.011
Max. virtual memory (Kb): 185492
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-9
#### END VERIFIER DATA ####