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/frb40-19-opb/normalized-frb40-19-4.opb
MD5SUM	7731f50c352d2fd7b2fe148b68bfdbab
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-30
Optimality of the best value was proved	NO
Number of terms in the objective function	760
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	760
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	760
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.06
Number of variables	760
Total number of constraints	41605
Number of constraints which are clauses	41605
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 38531

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-02 12:22:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26597 boxname=wulflinc1 idbench=327 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  7731f50c352d2fd7b2fe148b68bfdbab  /oldhome/oroussel/tmp/wulflinc1/normalized-frb40-19-4.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-frb40-19-4.opb
IDLAUNCH: 26597
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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:        634844 kB
Buffers:         34460 kB
Cached:         340940 kB
SwapCached:        640 kB
Active:          68936 kB
Inactive:       308720 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        634592 kB
SwapTotal:     2097136 kB
SwapFree:      2095412 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5820 kB
Slab:            16356 kB
Committed_AS:    92704 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 12:42:39 (client local time) WITH STATUS 10 IN 1195.7 SECONDS
stats: 26597 0 1195.7 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/wulflinc1/normalized-frb40-19-4.opb
c #variables read: 760 - #constraints read: 41606
s SATISFIABLE
v -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.91 0.95 0.90 2/55 3678
Raw data (stat): 3678 (runsolver) R 3677 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 792897397 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+9.99973 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 4340 0 0 0 987 12 0 0 25 0 1 0 792897397 23498752 4314 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5737 4314 566 18 0 5719 0
vsize: 22948
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 8157 0 0 0 1977 22 0 0 25 0 1 0 792897397 39247872 8131 4294967295 134512640 134581267 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9582 8131 566 18 0 9564 0
vsize: 38328
[startup+30.0003 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 9929 0 0 0 2973 26 0 0 25 0 1 0 792897397 46559232 9903 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11367 9903 566 18 0 11349 0
vsize: 45468
[startup+40.0001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 13506 0 0 0 3964 35 0 0 25 0 1 0 792897397 61255680 13480 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14955 13480 566 18 0 14937 0
vsize: 59820
[startup+50.0008 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 16776 0 0 0 4957 43 0 0 25 0 1 0 792897397 74829824 16750 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18269 16750 566 18 0 18251 0
vsize: 73076
[startup+60.0006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 18017 0 0 0 5954 45 0 0 25 0 1 0 792897397 79929344 17991 4294967295 134512640 134581267 3221224592 3221223472 134520212 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19514 17991 566 18 0 19496 0
vsize: 78056
[startup+70.0015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 18489 0 0 0 6954 46 0 0 25 0 1 0 792897397 81854464 18463 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19984 18463 566 18 0 19966 0
vsize: 79936
[startup+80.0022 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 19070 0 0 0 7952 48 0 0 25 0 1 0 792897397 84275200 19044 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20575 19044 566 18 0 20557 0
vsize: 82300
[startup+90.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 20750 0 0 0 8950 50 0 0 25 0 1 0 792897397 91238400 20724 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22275 20725 566 18 0 22257 0
vsize: 89100
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 22921 0 0 0 9945 55 0 0 25 0 1 0 792897397 100339712 22895 4294967295 134512640 134581267 3221224592 3221223280 1075297380 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24497 22895 566 18 0 24479 0
vsize: 97988
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 25307 0 0 0 10941 60 0 0 25 0 1 0 792897397 110096384 25281 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26879 25281 566 18 0 26861 0
vsize: 107516
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 27858 0 0 0 11936 65 0 0 25 0 1 0 792897397 120877056 27832 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29511 27832 566 18 0 29493 0
vsize: 118044
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 29768 0 0 0 12932 69 0 0 25 0 1 0 792897397 128827392 29742 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31452 29742 566 18 0 31434 0
vsize: 125808
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 30966 0 0 0 13929 72 0 0 25 0 1 0 792897397 133828608 30940 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32673 30940 566 18 0 32655 0
vsize: 130692
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 31797 0 0 0 14927 74 0 0 25 0 1 0 792897397 137285632 31771 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33517 31771 566 18 0 33499 0
vsize: 134068
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 32433 0 0 0 15926 76 0 0 25 0 1 0 792897397 139894784 32407 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34154 32407 566 18 0 34136 0
vsize: 136616
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 32632 0 0 0 16926 76 0 0 25 0 1 0 792897397 140664832 32606 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34342 32606 566 18 0 34324 0
vsize: 137368
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 33007 0 0 0 17924 77 0 0 25 0 1 0 792897397 142475264 32981 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34784 32981 566 18 0 34766 0
vsize: 139136
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 33319 0 0 0 18923 78 0 0 25 0 1 0 792897397 143773696 33293 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35101 33293 566 18 0 35083 0
vsize: 140404
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 34405 0 0 0 19921 81 0 0 25 0 1 0 792897397 148357120 34379 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36220 34379 566 18 0 36202 0
vsize: 144880
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 36297 0 0 0 20917 85 0 0 25 0 1 0 792897397 156262400 36271 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38150 36271 566 18 0 38132 0
vsize: 152600
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37929 0 0 0 21915 88 0 0 25 0 1 0 792897397 162996224 37903 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39794 37903 566 18 0 39776 0
vsize: 159176
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37929 0 0 0 22915 88 0 0 25 0 1 0 792897397 162996224 37903 4294967295 134512640 134581267 3221224592 3221223552 134516747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39794 37903 566 18 0 39776 0
vsize: 159176
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37929 0 0 0 23915 88 0 0 25 0 1 0 792897397 162996224 37903 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39794 37903 566 18 0 39776 0
vsize: 159176
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37929 0 0 0 24914 88 0 0 25 0 1 0 792897397 162996224 37903 4294967295 134512640 134581267 3221224592 3221223504 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39794 37903 566 18 0 39776 0
vsize: 159176
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37929 0 0 0 25912 90 0 0 25 0 1 0 792897397 162996224 37903 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39794 37903 566 18 0 39776 0
vsize: 159176
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37929 0 0 0 26911 91 0 0 25 0 1 0 792897397 162996224 37903 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39794 37903 566 18 0 39776 0
vsize: 159176
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37929 0 0 0 27911 91 0 0 25 0 1 0 792897397 162996224 37903 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39794 37903 566 18 0 39776 0
vsize: 159176
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37930 0 0 0 28910 92 0 0 25 0 1 0 792897397 162996224 37904 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39794 37904 566 18 0 39776 0
vsize: 159176
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37930 0 0 0 29910 92 0 0 25 0 1 0 792897397 162996224 37904 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39794 37904 566 18 0 39776 0
vsize: 159176
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37930 0 0 0 30910 93 0 0 25 0 1 0 792897397 162996224 37904 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39794 37904 566 18 0 39776 0
vsize: 159176
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37930 0 0 0 31909 93 0 0 25 0 1 0 792897397 162996224 37904 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39794 37904 566 18 0 39776 0
vsize: 159176
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37934 0 0 0 32909 93 0 0 25 0 1 0 792897397 162996224 37908 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39794 37908 566 18 0 39776 0
vsize: 159176
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37937 0 0 0 33908 94 0 0 25 0 1 0 792897397 162996224 37911 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39794 37911 566 18 0 39776 0
vsize: 159176
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37938 0 0 0 34908 94 0 0 25 0 1 0 792897397 162996224 37912 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39794 37912 566 18 0 39776 0
vsize: 159176
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37938 0 0 0 35908 95 0 0 25 0 1 0 792897397 162996224 37912 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39794 37912 566 18 0 39776 0
vsize: 159176
[startup+370.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37945 0 0 0 36908 95 0 0 25 0 1 0 792897397 162996224 37919 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39794 37919 566 18 0 39776 0
vsize: 159176
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37945 0 0 0 37908 95 0 0 25 0 1 0 792897397 162996224 37919 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39794 37919 566 18 0 39776 0
vsize: 159176
[startup+390.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37945 0 0 0 38908 96 0 0 25 0 1 0 792897397 162996224 37919 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39794 37919 566 18 0 39776 0
vsize: 159176
[startup+400.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37945 0 0 0 39908 96 0 0 25 0 1 0 792897397 162996224 37919 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39794 37919 566 18 0 39776 0
vsize: 159176
[startup+410.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37945 0 0 0 40908 96 0 0 25 0 1 0 792897397 162996224 37919 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39794 37919 566 18 0 39776 0
vsize: 159176
[startup+420.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37945 0 0 0 41908 96 0 0 25 0 1 0 792897397 162996224 37919 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39794 37919 566 18 0 39776 0
vsize: 159176
[startup+430.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37950 0 0 0 42907 97 0 0 25 0 1 0 792897397 162996224 37924 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39794 37924 566 18 0 39776 0
vsize: 159176
[startup+440.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37950 0 0 0 43907 97 0 0 25 0 1 0 792897397 162996224 37924 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39794 37924 566 18 0 39776 0
vsize: 159176
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37950 0 0 0 44907 98 0 0 25 0 1 0 792897397 162996224 37924 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39794 37924 566 18 0 39776 0
vsize: 159176
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 37950 0 0 0 45907 98 0 0 25 0 1 0 792897397 162996224 37924 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39794 37924 566 18 0 39776 0
vsize: 159176
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 38513 0 0 0 46905 100 0 0 25 0 1 0 792897397 165363712 38487 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40372 38487 566 18 0 40354 0
vsize: 161488
[startup+480.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 39962 0 0 0 47901 104 0 0 25 0 1 0 792897397 171397120 39936 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41845 39936 566 18 0 41827 0
vsize: 167380
[startup+490.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 41813 0 0 0 48896 109 0 0 25 0 1 0 792897397 179027968 41787 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43708 41787 566 18 0 43690 0
vsize: 174832
[startup+500.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 42043 0 0 0 49896 110 0 0 25 0 1 0 792897397 179933184 42017 4294967295 134512640 134581267 3221224592 3221223552 134516754 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43929 42017 566 18 0 43911 0
vsize: 175716
[startup+510.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 42043 0 0 0 50896 110 0 0 25 0 1 0 792897397 179933184 42017 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43929 42017 566 18 0 43911 0
vsize: 175716
[startup+520.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 42043 0 0 0 51896 110 0 0 25 0 1 0 792897397 179933184 42017 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43929 42017 566 18 0 43911 0
vsize: 175716
[startup+530.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 42043 0 0 0 52896 110 0 0 25 0 1 0 792897397 179933184 42017 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43929 42017 566 18 0 43911 0
vsize: 175716
[startup+540.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 42043 0 0 0 53895 111 0 0 25 0 1 0 792897397 179933184 42017 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43929 42017 566 18 0 43911 0
vsize: 175716
[startup+550.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 42043 0 0 0 54895 111 0 0 25 0 1 0 792897397 179933184 42017 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43929 42017 566 18 0 43911 0
vsize: 175716
[startup+560.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 42043 0 0 0 55895 111 0 0 25 0 1 0 792897397 179933184 42017 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43929 42017 566 18 0 43911 0
vsize: 175716
[startup+570.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 42043 0 0 0 56895 112 0 0 25 0 1 0 792897397 179933184 42017 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43929 42017 566 18 0 43911 0
vsize: 175716
[startup+580.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 42043 0 0 0 57895 112 0 0 25 0 1 0 792897397 179933184 42017 4294967295 134512640 134581267 3221224592 3221223536 134558778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43929 42017 566 18 0 43911 0
vsize: 175716
[startup+590.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 42043 0 0 0 58894 113 0 0 25 0 1 0 792897397 179933184 42017 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43929 42017 566 18 0 43911 0
vsize: 175716
[startup+600.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 42043 0 0 0 59894 113 0 0 25 0 1 0 792897397 179933184 42017 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43929 42017 566 18 0 43911 0
vsize: 175716
[startup+610.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 42043 0 0 0 60893 114 0 0 25 0 1 0 792897397 179933184 42017 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43929 42017 566 18 0 43911 0
vsize: 175716
[startup+620.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 42043 0 0 0 61893 114 0 0 25 0 1 0 792897397 179933184 42017 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43929 42017 566 18 0 43911 0
vsize: 175716
[startup+630.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 42043 0 0 0 62894 114 0 0 25 0 1 0 792897397 179933184 42017 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43929 42017 566 18 0 43911 0
vsize: 175716
[startup+640.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 42043 0 0 0 63893 114 0 0 25 0 1 0 792897397 179933184 42017 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43929 42017 566 18 0 43911 0
vsize: 175716
[startup+650.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 42043 0 0 0 64893 115 0 0 25 0 1 0 792897397 179933184 42017 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43929 42017 566 18 0 43911 0
vsize: 175716
[startup+660.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 42043 0 0 0 65892 116 0 0 25 0 1 0 792897397 179933184 42017 4294967295 134512640 134581267 3221224592 3221223536 134558878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43929 42017 566 18 0 43911 0
vsize: 175716
[startup+670.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 42043 0 0 0 66892 116 0 0 25 0 1 0 792897397 179933184 42017 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43929 42017 566 18 0 43911 0
vsize: 175716
[startup+680.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 42043 0 0 0 67892 116 0 0 25 0 1 0 792897397 179933184 42017 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43929 42017 566 18 0 43911 0
vsize: 175716
[startup+690.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 42043 0 0 0 68892 117 0 0 25 0 1 0 792897397 179933184 42017 4294967295 134512640 134581267 3221224592 3221223228 1075289104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43929 42017 566 18 0 43911 0
vsize: 175716
[startup+700.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 42043 0 0 0 69891 117 0 0 25 0 1 0 792897397 179933184 42017 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43929 42017 566 18 0 43911 0
vsize: 175716
[startup+710.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 42049 0 0 0 70891 117 0 0 25 0 1 0 792897397 179933184 42023 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43929 42023 566 18 0 43911 0
vsize: 175716
[startup+720.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 42049 0 0 0 71891 117 0 0 25 0 1 0 792897397 179933184 42023 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43929 42023 566 18 0 43911 0
vsize: 175716
[startup+730 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 43084 0 0 0 72888 121 0 0 25 0 1 0 792897397 184201216 43058 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44971 43058 566 18 0 44953 0
vsize: 179884
[startup+740.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 44306 0 0 0 73886 124 0 0 25 0 1 0 792897397 189116416 44280 4294967295 134512640 134581267 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46171 44280 566 18 0 46153 0
vsize: 184684
[startup+750.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 46030 0 0 0 74881 128 0 0 25 0 1 0 792897397 196222976 46004 4294967295 134512640 134581267 3221224592 3221223504 134566325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47906 46004 566 18 0 47888 0
vsize: 191624
[startup+760.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 46030 0 0 0 75881 128 0 0 25 0 1 0 792897397 196222976 46004 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47906 46004 566 18 0 47888 0
vsize: 191624
[startup+770.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 46030 0 0 0 76882 128 0 0 25 0 1 0 792897397 196222976 46004 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47906 46004 566 18 0 47888 0
vsize: 191624
[startup+780.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 46030 0 0 0 77882 128 0 0 25 0 1 0 792897397 196222976 46004 4294967295 134512640 134581267 3221224592 3221223584 134561094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47906 46004 566 18 0 47888 0
vsize: 191624
[startup+790.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 46030 0 0 0 78881 129 0 0 25 0 1 0 792897397 196222976 46004 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47906 46004 566 18 0 47888 0
vsize: 191624
[startup+800.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 46030 0 0 0 79881 129 0 0 25 0 1 0 792897397 196222976 46004 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47906 46004 566 18 0 47888 0
vsize: 191624
[startup+810.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 46030 0 0 0 80881 129 0 0 25 0 1 0 792897397 196222976 46004 4294967295 134512640 134581267 3221224592 3221223560 134519777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47906 46004 566 18 0 47888 0
vsize: 191624
[startup+820.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 46030 0 0 0 81881 130 0 0 25 0 1 0 792897397 196222976 46004 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47906 46004 566 18 0 47888 0
vsize: 191624
[startup+830.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 46030 0 0 0 82880 131 0 0 25 0 1 0 792897397 196222976 46004 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47906 46004 566 18 0 47888 0
vsize: 191624
[startup+840.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 46030 0 0 0 83879 132 0 0 25 0 1 0 792897397 196222976 46004 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47906 46004 566 18 0 47888 0
vsize: 191624
[startup+850.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 46030 0 0 0 84878 133 0 0 25 0 1 0 792897397 196222976 46004 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47906 46004 566 18 0 47888 0
vsize: 191624
[startup+860.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 46030 0 0 0 85878 134 0 0 25 0 1 0 792897397 196222976 46004 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47906 46004 566 18 0 47888 0
vsize: 191624
[startup+870.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 46030 0 0 0 86876 135 0 0 25 0 1 0 792897397 196222976 46004 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47906 46004 566 18 0 47888 0
vsize: 191624
[startup+880.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 46030 0 0 0 87876 136 0 0 25 0 1 0 792897397 196222976 46004 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47906 46004 566 18 0 47888 0
vsize: 191624
[startup+890.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 47527 0 0 0 88872 140 0 0 25 0 1 0 792897397 202362880 47501 4294967295 134512640 134581267 3221224592 3221223268 1075288187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49405 47501 566 18 0 49387 0
vsize: 197620
[startup+900.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 50481 0 0 0 89866 146 0 0 25 0 1 0 792897397 214417408 50455 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52348 50455 566 18 0 52330 0
vsize: 209392
[startup+910.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 50481 0 0 0 90866 146 0 0 25 0 1 0 792897397 214417408 50455 4294967295 134512640 134581267 3221224592 3221223552 134516754 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52348 50455 566 18 0 52330 0
vsize: 209392
[startup+920.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 50481 0 0 0 91867 146 0 0 25 0 1 0 792897397 214417408 50455 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52348 50455 566 18 0 52330 0
vsize: 209392
[startup+930.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 50481 0 0 0 92866 147 0 0 25 0 1 0 792897397 214417408 50455 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52348 50455 566 18 0 52330 0
vsize: 209392
[startup+940.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 50481 0 0 0 93865 148 0 0 25 0 1 0 792897397 214417408 50455 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52348 50455 566 18 0 52330 0
vsize: 209392
[startup+950.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 50481 0 0 0 94864 149 0 0 25 0 1 0 792897397 214417408 50455 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52348 50455 566 18 0 52330 0
vsize: 209392
[startup+960.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 50481 0 0 0 95863 150 0 0 25 0 1 0 792897397 214417408 50455 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52348 50455 566 18 0 52330 0
vsize: 209392
[startup+970.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 50484 0 0 0 96862 151 0 0 25 0 1 0 792897397 214417408 50458 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52348 50458 566 18 0 52330 0
vsize: 209392
[startup+980.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 50484 0 0 0 97861 152 0 0 25 0 1 0 792897397 214417408 50458 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52348 50458 566 18 0 52330 0
vsize: 209392
[startup+990.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 50484 0 0 0 98860 154 0 0 25 0 1 0 792897397 214417408 50458 4294967295 134512640 134581267 3221224592 3221223568 134561057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52348 50458 566 18 0 52330 0
vsize: 209392
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 50484 0 0 0 99859 155 0 0 25 0 1 0 792897397 214417408 50458 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52348 50458 566 18 0 52330 0
vsize: 209392
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 50484 0 0 0 100858 156 0 0 25 0 1 0 792897397 214417408 50458 4294967295 134512640 134581267 3221224592 3221223288 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52348 50458 566 18 0 52330 0
vsize: 209392
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 50484 0 0 0 101857 158 0 0 25 0 1 0 792897397 214417408 50458 4294967295 134512640 134581267 3221224592 3221223536 134558889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52348 50458 566 18 0 52330 0
vsize: 209392
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 53443 0 0 0 102849 165 0 0 25 0 1 0 792897397 226844672 53417 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55382 53417 566 18 0 55364 0
vsize: 221528
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 55569 0 0 0 103844 171 0 0 25 0 1 0 792897397 235528192 55543 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57502 55543 566 18 0 57484 0
vsize: 230008
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 55569 0 0 0 104844 171 0 0 25 0 1 0 792897397 235528192 55543 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57502 55543 566 18 0 57484 0
vsize: 230008
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 55569 0 0 0 105844 171 0 0 25 0 1 0 792897397 235528192 55543 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57502 55543 566 18 0 57484 0
vsize: 230008
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 55569 0 0 0 106843 172 0 0 25 0 1 0 792897397 235528192 55543 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57502 55543 566 18 0 57484 0
vsize: 230008
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 55569 0 0 0 107842 173 0 0 25 0 1 0 792897397 235528192 55543 4294967295 134512640 134581267 3221224592 3221223472 134520222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57502 55543 566 18 0 57484 0
vsize: 230008
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 55569 0 0 0 108840 175 0 0 25 0 1 0 792897397 235528192 55543 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57502 55543 566 18 0 57484 0
vsize: 230008
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 55569 0 0 0 109838 177 0 0 25 0 1 0 792897397 235528192 55543 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57502 55543 566 18 0 57484 0
vsize: 230008
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 55569 0 0 0 110837 179 0 0 25 0 1 0 792897397 235528192 55543 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57502 55543 566 18 0 57484 0
vsize: 230008
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 55569 0 0 0 111836 180 0 0 25 0 1 0 792897397 235528192 55543 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57502 55543 566 18 0 57484 0
vsize: 230008
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 55569 0 0 0 112835 181 0 0 25 0 1 0 792897397 235528192 55543 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57502 55543 566 18 0 57484 0
vsize: 230008
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 55569 0 0 0 113835 182 0 0 25 0 1 0 792897397 235528192 55543 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57502 55543 566 18 0 57484 0
vsize: 230008
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 55569 0 0 0 114833 183 0 0 25 0 1 0 792897397 235528192 55543 4294967295 134512640 134581267 3221224592 3221223504 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57502 55543 566 18 0 57484 0
vsize: 230008
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 55569 0 0 0 115833 184 0 0 25 0 1 0 792897397 235528192 55543 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57502 55543 566 18 0 57484 0
vsize: 230008
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 55927 0 0 0 116831 186 0 0 25 0 1 0 792897397 236969984 55901 4294967295 134512640 134581267 3221224592 3221223552 134516754 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57854 55901 566 18 0 57836 0
vsize: 231416
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 55927 0 0 0 117831 186 0 0 25 0 1 0 792897397 236969984 55901 4294967295 134512640 134581267 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57854 55901 566 18 0 57836 0
vsize: 231416
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 55927 0 0 0 118831 186 0 0 25 0 1 0 792897397 236969984 55901 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57854 55901 566 18 0 57836 0
vsize: 231416
[startup+1195.52 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 3678
Raw data (stat): 3678 (Pueblo-v2) R 3677 8378 8377 0 -1 0 55927 0 0 0 118831 186 0 0 25 0 1 0 792897397 236969984 55901 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57854 55901 566 18 0 57836 0
vsize: 0

Child status: 10
Real time (s): 1195.52
CPU time (s): 1195.7
CPU user time (s): 1193.73
CPU system time (s): 1.9697
CPU usage (%): 100.015
Max. virtual memory (Kb): 231416
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-6
#### END VERIFIER DATA ####