PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-02 12:32:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26600 boxname=wulflinc4 idbench=330 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  a931f7e9a55cb6836807387327525e8b  /oldhome/oroussel/tmp/wulflinc4/normalized-frb45-21-2.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-frb45-21-2.opb
IDLAUNCH: 26600
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        647680 kB
Buffers:         34144 kB
Cached:         330720 kB
SwapCached:        568 kB
Active:          54740 kB
Inactive:       312248 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        647428 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5312 kB
Slab:            14228 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 12:52:28 (client local time) WITH STATUS 10 IN 1189.16 SECONDS
stats: 26600 0 1189.16 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/wulflinc4/normalized-frb45-21-2.opb
c #variables read: 945 - #constraints read: 58625
s SATISFIABLE
v -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 C694 C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 -C30 -C29 -C28 -C27 -C26 -C25 -C24 C23 -C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 -C11 -C10 -C9 -C8 C7 -C6 -C5 -C4 -C3 -C2 -C1 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/54 8514
Raw data (stat): 8514 (runsolver) R 8513 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849804717 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10 s]
Raw data (loadavg): 0.93 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 4468 0 0 0 985 14 0 0 25 0 1 0 849804717 23973888 4442 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5853 4443 566 18 0 5835 0
vsize: 23412
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 7379 0 0 0 1979 20 0 0 25 0 1 0 849804717 35909632 7353 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8767 7354 566 18 0 8749 0
vsize: 35068
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 9887 0 0 0 2973 25 0 0 25 0 1 0 849804717 46239744 9861 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11289 9861 566 18 0 11271 0
vsize: 45156
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 13526 0 0 0 3965 34 0 0 25 0 1 0 849804717 61157376 13500 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14931 13500 566 18 0 14913 0
vsize: 59724
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 17013 0 0 0 4958 41 0 0 25 0 1 0 849804717 75505664 16987 4294967295 134512640 134581267 3221224592 3221223472 134520219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18434 16987 566 18 0 18416 0
vsize: 73736
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 20077 0 0 0 5952 47 0 0 25 0 1 0 849804717 88072192 20051 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21502 20051 566 18 0 21484 0
vsize: 86008
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 21857 0 0 0 6947 53 0 0 25 0 1 0 849804717 95436800 21831 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23300 21831 566 18 0 23282 0
vsize: 93200
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 24730 0 0 0 7939 60 0 0 25 0 1 0 849804717 107241472 24704 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26182 24704 566 18 0 26164 0
vsize: 104728
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 26849 0 0 0 8933 67 0 0 25 0 1 0 849804717 116060160 26823 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28335 26823 566 18 0 28317 0
vsize: 113340
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 29133 0 0 0 9928 72 0 0 25 0 1 0 849804717 125407232 29107 4294967295 134512640 134581267 3221224592 3221223488 134517779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30617 29107 566 18 0 30599 0
vsize: 122468
[startup+110.003 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 30776 0 0 0 10924 77 0 0 25 0 1 0 849804717 132083712 30750 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32247 30751 566 18 0 32229 0
vsize: 128988
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 32840 0 0 0 11919 82 0 0 25 0 1 0 849804717 140726272 32814 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34357 32814 566 18 0 34339 0
vsize: 137428
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 34714 0 0 0 12915 86 0 0 25 0 1 0 849804717 148639744 34688 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36289 34688 566 18 0 36271 0
vsize: 145156
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 36630 0 0 0 13911 90 0 0 25 0 1 0 849804717 156696576 36604 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38256 36604 566 18 0 38238 0
vsize: 153024
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 39046 0 0 0 14906 95 0 0 25 0 1 0 849804717 166658048 39020 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40688 39020 566 18 0 40670 0
vsize: 162752
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 40217 0 0 0 15903 98 0 0 25 0 1 0 849804717 171692032 40191 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41917 40191 566 18 0 41899 0
vsize: 167668
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 41981 0 0 0 16899 103 0 0 25 0 1 0 849804717 179027968 41955 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43708 41955 566 18 0 43690 0
vsize: 174832
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 44064 0 0 0 17892 109 0 0 25 0 1 0 849804717 187781120 44038 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45845 44038 566 18 0 45827 0
vsize: 183380
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 45633 0 0 0 18888 114 0 0 25 0 1 0 849804717 194244608 45607 4294967295 134512640 134581267 3221224592 3221223536 134558840 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47423 45607 566 18 0 47405 0
vsize: 189692
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 46742 0 0 0 19886 117 0 0 25 0 1 0 849804717 198840320 46716 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48545 46716 566 18 0 48527 0
vsize: 194180
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 47745 0 0 0 20883 120 0 0 25 0 1 0 849804717 203055104 47719 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49574 47719 566 18 0 49556 0
vsize: 198296
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 48859 0 0 0 21881 122 0 0 25 0 1 0 849804717 207499264 48833 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50659 48834 566 18 0 50641 0
vsize: 202636
[startup+230.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 49751 0 0 0 22879 124 0 0 25 0 1 0 849804717 211247104 49725 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51574 49725 566 18 0 51556 0
vsize: 206296
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 50676 0 0 0 23876 127 0 0 25 0 1 0 849804717 215056384 50650 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52504 50650 566 18 0 52486 0
vsize: 210016
[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 51724 0 0 0 24874 129 0 0 25 0 1 0 849804717 219316224 51698 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51698 566 18 0 53526 0
vsize: 214176
[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 52627 0 0 0 25872 132 0 0 25 0 1 0 849804717 223170560 52601 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54485 52601 566 18 0 54467 0
vsize: 217940
[startup+270.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 53480 0 0 0 26869 135 0 0 25 0 1 0 849804717 226574336 53454 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55316 53454 566 18 0 55298 0
vsize: 221264
[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 54390 0 0 0 27867 137 0 0 25 0 1 0 849804717 230363136 54364 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56241 54364 566 18 0 56223 0
vsize: 224964
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 55201 0 0 0 28865 139 0 0 25 0 1 0 849804717 233656320 55175 4294967295 134512640 134581267 3221224592 3221223520 134519844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57045 55175 566 18 0 57027 0
vsize: 228180
[startup+300.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 56294 0 0 0 29862 142 0 0 25 0 1 0 849804717 238239744 56268 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58164 56268 566 18 0 58146 0
vsize: 232656
[startup+310.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 58085 0 0 0 30859 146 0 0 25 0 1 0 849804717 245555200 58059 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59950 58059 566 18 0 59932 0
vsize: 239800
[startup+320.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 59655 0 0 0 31854 149 0 0 25 0 1 0 849804717 251973632 59629 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61517 59629 566 18 0 61499 0
vsize: 246068
[startup+330.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 60747 0 0 0 32850 153 0 0 25 0 1 0 849804717 256413696 60721 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62601 60721 566 18 0 62583 0
vsize: 250404
[startup+340.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 61917 0 0 0 33848 155 0 0 25 0 1 0 849804717 261263360 61891 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63785 61891 566 18 0 63767 0
vsize: 255140
[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 63270 0 0 0 34844 159 0 0 25 0 1 0 849804717 267022336 63244 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65191 63244 566 18 0 65173 0
vsize: 260764
[startup+360.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 64577 0 0 0 35841 162 0 0 25 0 1 0 849804717 272371712 64551 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66497 64551 566 18 0 66479 0
vsize: 265988
[startup+370.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65695 0 0 0 36838 165 0 0 25 0 1 0 849804717 276946944 65669 4294967295 134512640 134581267 3221224592 3221223552 134516747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65669 566 18 0 67596 0
vsize: 270456
[startup+380.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65695 0 0 0 37838 165 0 0 25 0 1 0 849804717 276946944 65669 4294967295 134512640 134581267 3221224592 3221223552 134516747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65669 566 18 0 67596 0
vsize: 270456
[startup+390.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65695 0 0 0 38838 165 0 0 25 0 1 0 849804717 276946944 65669 4294967295 134512640 134581267 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65669 566 18 0 67596 0
vsize: 270456
[startup+400.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65695 0 0 0 39839 165 0 0 25 0 1 0 849804717 276946944 65669 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65669 566 18 0 67596 0
vsize: 270456
[startup+410.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65695 0 0 0 40839 165 0 0 25 0 1 0 849804717 276946944 65669 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65669 566 18 0 67596 0
vsize: 270456
[startup+420.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65695 0 0 0 41839 166 0 0 25 0 1 0 849804717 276946944 65669 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65669 566 18 0 67596 0
vsize: 270456
[startup+430.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65695 0 0 0 42838 166 0 0 25 0 1 0 849804717 276946944 65669 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65669 566 18 0 67596 0
vsize: 270456
[startup+440.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65695 0 0 0 43838 167 0 0 25 0 1 0 849804717 276946944 65669 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65669 566 18 0 67596 0
vsize: 270456
[startup+450.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65695 0 0 0 44838 167 0 0 25 0 1 0 849804717 276946944 65669 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65669 566 18 0 67596 0
vsize: 270456
[startup+460.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65695 0 0 0 45838 167 0 0 25 0 1 0 849804717 276946944 65669 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65669 566 18 0 67596 0
vsize: 270456
[startup+470.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65699 0 0 0 46838 167 0 0 25 0 1 0 849804717 276946944 65673 4294967295 134512640 134581267 3221224592 3221223456 134528380 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65673 566 18 0 67596 0
vsize: 270456
[startup+480.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65701 0 0 0 47837 168 0 0 25 0 1 0 849804717 276946944 65675 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65675 566 18 0 67596 0
vsize: 270456
[startup+490.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65701 0 0 0 48837 169 0 0 25 0 1 0 849804717 276946944 65675 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65675 566 18 0 67596 0
vsize: 270456
[startup+500.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65701 0 0 0 49837 169 0 0 25 0 1 0 849804717 276946944 65675 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65675 566 18 0 67596 0
vsize: 270456
[startup+510.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65701 0 0 0 50837 169 0 0 25 0 1 0 849804717 276946944 65675 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65675 566 18 0 67596 0
vsize: 270456
[startup+520.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65701 0 0 0 51837 170 0 0 25 0 1 0 849804717 276946944 65675 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65675 566 18 0 67596 0
vsize: 270456
[startup+530.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65701 0 0 0 52836 170 0 0 25 0 1 0 849804717 276946944 65675 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65675 566 18 0 67596 0
vsize: 270456
[startup+540.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65701 0 0 0 53836 171 0 0 25 0 1 0 849804717 276946944 65675 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65675 566 18 0 67596 0
vsize: 270456
[startup+550.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65701 0 0 0 54836 171 0 0 25 0 1 0 849804717 276946944 65675 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65675 566 18 0 67596 0
vsize: 270456
[startup+560.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65701 0 0 0 55836 171 0 0 25 0 1 0 849804717 276946944 65675 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65675 566 18 0 67596 0
vsize: 270456
[startup+570.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65701 0 0 0 56836 171 0 0 25 0 1 0 849804717 276946944 65675 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65675 566 18 0 67596 0
vsize: 270456
[startup+580.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65701 0 0 0 57836 171 0 0 25 0 1 0 849804717 276946944 65675 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65675 566 18 0 67596 0
vsize: 270456
[startup+590.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65701 0 0 0 58836 171 0 0 25 0 1 0 849804717 276946944 65675 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65675 566 18 0 67596 0
vsize: 270456
[startup+600.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65701 0 0 0 59836 172 0 0 25 0 1 0 849804717 276946944 65675 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65675 566 18 0 67596 0
vsize: 270456
[startup+610.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65701 0 0 0 60836 172 0 0 25 0 1 0 849804717 276946944 65675 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65675 566 18 0 67596 0
vsize: 270456
[startup+620.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65704 0 0 0 61836 172 0 0 25 0 1 0 849804717 276946944 65678 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65678 566 18 0 67596 0
vsize: 270456
[startup+630.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65704 0 0 0 62836 173 0 0 25 0 1 0 849804717 276946944 65678 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65678 566 18 0 67596 0
vsize: 270456
[startup+640.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65704 0 0 0 63836 173 0 0 25 0 1 0 849804717 276946944 65678 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65678 566 18 0 67596 0
vsize: 270456
[startup+650.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65704 0 0 0 64836 173 0 0 25 0 1 0 849804717 276946944 65678 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65678 566 18 0 67596 0
vsize: 270456
[startup+660.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65711 0 0 0 65836 173 0 0 25 0 1 0 849804717 276946944 65685 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65685 566 18 0 67596 0
vsize: 270456
[startup+670.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65711 0 0 0 66836 174 0 0 25 0 1 0 849804717 276946944 65685 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65685 566 18 0 67596 0
vsize: 270456
[startup+680.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65711 0 0 0 67836 174 0 0 25 0 1 0 849804717 276946944 65685 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65685 566 18 0 67596 0
vsize: 270456
[startup+690.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65711 0 0 0 68836 174 0 0 25 0 1 0 849804717 276946944 65685 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65685 566 18 0 67596 0
vsize: 270456
[startup+700.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65711 0 0 0 69835 175 0 0 25 0 1 0 849804717 276946944 65685 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65685 566 18 0 67596 0
vsize: 270456
[startup+710.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65711 0 0 0 70835 175 0 0 25 0 1 0 849804717 276946944 65685 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65685 566 18 0 67596 0
vsize: 270456
[startup+720.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65711 0 0 0 71835 175 0 0 25 0 1 0 849804717 276946944 65685 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65685 566 18 0 67596 0
vsize: 270456
[startup+730.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65711 0 0 0 72835 175 0 0 25 0 1 0 849804717 276946944 65685 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65685 566 18 0 67596 0
vsize: 270456
[startup+740.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65711 0 0 0 73835 175 0 0 25 0 1 0 849804717 276946944 65685 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65685 566 18 0 67596 0
vsize: 270456
[startup+750.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65711 0 0 0 74835 175 0 0 25 0 1 0 849804717 276946944 65685 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65685 566 18 0 67596 0
vsize: 270456
[startup+760.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65711 0 0 0 75835 175 0 0 25 0 1 0 849804717 276946944 65685 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65685 566 18 0 67596 0
vsize: 270456
[startup+770.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65711 0 0 0 76835 176 0 0 25 0 1 0 849804717 276946944 65685 4294967295 134512640 134581267 3221224592 3221223552 134519781 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65685 566 18 0 67596 0
vsize: 270456
[startup+780.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65711 0 0 0 77834 177 0 0 25 0 1 0 849804717 276946944 65685 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65685 566 18 0 67596 0
vsize: 270456
[startup+790.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65711 0 0 0 78834 177 0 0 25 0 1 0 849804717 276946944 65685 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65685 566 18 0 67596 0
vsize: 270456
[startup+800.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65711 0 0 0 79834 177 0 0 25 0 1 0 849804717 276946944 65685 4294967295 134512640 134581267 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65685 566 18 0 67596 0
vsize: 270456
[startup+810.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 65711 0 0 0 80834 178 0 0 25 0 1 0 849804717 276946944 65685 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67614 65685 566 18 0 67596 0
vsize: 270456
[startup+820.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 66730 0 0 0 81832 180 0 0 25 0 1 0 849804717 281124864 66704 4294967295 134512640 134581267 3221224592 3221223472 134520302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68634 66704 566 18 0 68616 0
vsize: 274536
[startup+830.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 68762 0 0 0 82826 186 0 0 25 0 1 0 849804717 289370112 68736 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70647 68736 566 18 0 70629 0
vsize: 282588
[startup+840.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 70138 0 0 0 83822 190 0 0 25 0 1 0 849804717 295002112 70112 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72022 70112 566 18 0 72004 0
vsize: 288088
[startup+850.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 71581 0 0 0 84818 194 0 0 25 0 1 0 849804717 301154304 71555 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73524 71555 566 18 0 73506 0
vsize: 294096
[startup+860.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 73107 0 0 0 85813 199 0 0 25 0 1 0 849804717 307441664 73081 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75059 73081 566 18 0 75041 0
vsize: 300236
[startup+870.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 74431 0 0 0 86811 202 0 0 25 0 1 0 849804717 312807424 74405 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76369 74405 566 18 0 76351 0
vsize: 305476
[startup+880.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 76051 0 0 0 87806 207 0 0 25 0 1 0 849804717 319488000 76025 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78000 76025 566 18 0 77982 0
vsize: 312000
[startup+890.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 77524 0 0 0 88802 211 0 0 25 0 1 0 849804717 325451776 77498 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79456 77498 566 18 0 79438 0
vsize: 317824
[startup+900.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 78923 0 0 0 89799 214 0 0 25 0 1 0 849804717 331280384 78865 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80879 78865 566 18 0 80861 0
vsize: 323516
[startup+910.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 90799 215 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223552 134516747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+920.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 91799 215 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+930.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 92799 215 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223552 134516747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+940.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 93799 215 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+950.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 94799 215 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223488 134517824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+960.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 95798 216 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+970.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 96798 217 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+980.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 97798 217 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+990.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 98797 218 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 99797 219 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 100797 219 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 101797 219 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 102797 220 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 103796 220 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 104796 221 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 105796 221 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223524 1075290409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 106796 221 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 107796 222 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 108795 222 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 109795 222 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223584 134561073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 110795 223 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 111794 224 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 112794 225 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 113793 225 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 114793 226 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 115792 227 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 116791 228 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 117790 229 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 324916
[startup+1189 s]
Raw data (loadavg): 0.99 0.98 0.99 1/53 8514
Raw data (stat): 8514 (Pueblo-v2) R 8513 21152 21151 0 -1 0 79277 0 0 0 117790 229 0 0 25 0 1 0 849804717 332713984 79219 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81229 79219 566 18 0 81211 0
vsize: 0

Child status: 10
Real time (s): 1189
CPU time (s): 1189.16
CPU user time (s): 1186.72
CPU system time (s): 2.44163
CPU usage (%): 100.013
Max. virtual memory (Kb): 324916
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-7
#### END VERIFIER DATA ####