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/frb35-17-opb/normalized-frb35-17-3.opb
MD5SUM	25457db86ce3cc3b7604dfa37c8096b4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-28
Optimality of the best value was proved	NO
Number of terms in the objective function	595
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	595
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	595
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.05
Number of variables	595
Total number of constraints	27931
Number of constraints which are clauses	27931
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 24745

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 10:36:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2887 boxname=wulflinc31 idbench=321 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  25457db86ce3cc3b7604dfa37c8096b4  /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-3.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-3.opb
IDLAUNCH: 2887
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        891292 kB
Buffers:         32820 kB
Cached:          89276 kB
SwapCached:       1936 kB
Active:          85304 kB
Inactive:        39952 kB
HighTotal:      131008 kB
HighFree:        40852 kB
LowTotal:       903652 kB
LowFree:        850440 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12584 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 10:56:03 (client local time) WITH STATUS 10 IN 1189.07 SECONDS
stats: 2887 0 1189.07 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-3.opb
c #variables read: 595 - #constraints read: 27932
s SATISFIABLE
v -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 C392 -C391 -C390 -C389 C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 -C41 -C40 C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 -C30 -C29 -C28 -C27 -C26 C25 -C24 -C23 -C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 -C11 -C10 -C9 -C8 -C7 -C6 C5 -C4 -C3 -C2 -C1 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.46 1.27 1.11 2/55 8511
Raw data (stat): 8511 (runsolver) R 8510 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 725854567 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 1.39 1.26 1.11 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 1509 0 0 0 990 6 0 0 25 0 1 0 725854567 11788288 1486 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2878 1486 566 18 0 2860 0
vsize: 11512
[startup+20.0022 s]
Raw data (loadavg): 1.33 1.25 1.11 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 2284 0 0 0 1988 8 0 0 25 0 1 0 725854567 15024128 2261 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3668 2261 566 18 0 3650 0
vsize: 14672
[startup+30.0031 s]
Raw data (loadavg): 1.27 1.24 1.11 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 3053 0 0 0 2985 11 0 0 25 0 1 0 725854567 18153472 3030 4294967295 134512640 134581331 3221221792 3221220512 134524438 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4432 3030 566 18 0 4414 0
vsize: 17728
[startup+40.0037 s]
Raw data (loadavg): 1.23 1.23 1.11 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 3793 0 0 0 3983 14 0 0 25 0 1 0 725854567 21135360 3770 4294967295 134512640 134581331 3221221792 3221220428 1075289350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5160 3770 566 18 0 5142 0
vsize: 20640
[startup+50.0042 s]
Raw data (loadavg): 1.20 1.23 1.10 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 4444 0 0 0 4982 15 0 0 25 0 1 0 725854567 23859200 4421 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5825 4421 566 18 0 5807 0
vsize: 23300
[startup+60.0049 s]
Raw data (loadavg): 1.16 1.22 1.10 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 5115 0 0 0 5980 17 0 0 25 0 1 0 725854567 26697728 5092 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6518 5092 566 18 0 6500 0
vsize: 26072
[startup+70.0058 s]
Raw data (loadavg): 1.14 1.21 1.10 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 5737 0 0 0 6977 20 0 0 25 0 1 0 725854567 29163520 5714 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7120 5714 566 18 0 7102 0
vsize: 28480
[startup+80.0064 s]
Raw data (loadavg): 1.12 1.20 1.10 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 6276 0 0 0 7975 22 0 0 25 0 1 0 725854567 31354880 6253 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7655 6253 566 18 0 7637 0
vsize: 30620
[startup+90.0067 s]
Raw data (loadavg): 1.10 1.20 1.10 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 6827 0 0 0 8974 24 0 0 25 0 1 0 725854567 33660928 6804 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8218 6804 566 18 0 8200 0
vsize: 32872
[startup+100.007 s]
Raw data (loadavg): 1.08 1.19 1.09 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 7240 0 0 0 9972 25 0 0 25 0 1 0 725854567 35434496 7217 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8651 7217 566 18 0 8633 0
vsize: 34604
[startup+110.008 s]
Raw data (loadavg): 1.07 1.18 1.09 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 7691 0 0 0 10971 27 0 0 25 0 1 0 725854567 37322752 7668 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9112 7668 566 18 0 9094 0
vsize: 36448
[startup+120.008 s]
Raw data (loadavg): 1.06 1.18 1.09 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 8073 0 0 0 11970 28 0 0 25 0 1 0 725854567 38813696 8050 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9476 8050 566 18 0 9458 0
vsize: 37904
[startup+130.009 s]
Raw data (loadavg): 1.05 1.17 1.09 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 8450 0 0 0 12970 28 0 0 25 0 1 0 725854567 40472576 8427 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9881 8427 566 18 0 9863 0
vsize: 39524
[startup+140.009 s]
Raw data (loadavg): 1.04 1.16 1.09 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 8768 0 0 0 13969 30 0 0 25 0 1 0 725854567 41836544 8745 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10214 8745 566 18 0 10196 0
vsize: 40856
[startup+150.009 s]
Raw data (loadavg): 1.03 1.16 1.09 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 9155 0 0 0 14968 31 0 0 25 0 1 0 725854567 43298816 9132 4294967295 134512640 134581331 3221221792 3221220512 134523352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10571 9132 566 18 0 10553 0
vsize: 42284
[startup+160.01 s]
Raw data (loadavg): 1.03 1.15 1.09 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 9460 0 0 0 15967 32 0 0 25 0 1 0 725854567 44650496 9437 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10901 9437 566 18 0 10883 0
vsize: 43604
[startup+170.01 s]
Raw data (loadavg): 1.02 1.15 1.09 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 9766 0 0 0 16966 33 0 0 25 0 1 0 725854567 45862912 9743 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11197 9743 566 18 0 11179 0
vsize: 44788
[startup+180.011 s]
Raw data (loadavg): 1.02 1.14 1.08 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 10098 0 0 0 17965 34 0 0 25 0 1 0 725854567 47218688 10075 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11528 10075 566 18 0 11510 0
vsize: 46112
[startup+190.012 s]
Raw data (loadavg): 1.02 1.14 1.08 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 10399 0 0 0 18965 35 0 0 25 0 1 0 725854567 48443392 10376 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11827 10376 566 18 0 11809 0
vsize: 47308
[startup+200.011 s]
Raw data (loadavg): 1.01 1.13 1.08 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 10685 0 0 0 19963 36 0 0 25 0 1 0 725854567 49651712 10662 4294967295 134512640 134581331 3221221792 3221220512 134523328 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12122 10662 566 18 0 12104 0
vsize: 48488
[startup+210.012 s]
Raw data (loadavg): 1.01 1.13 1.08 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 11056 0 0 0 20962 38 0 0 25 0 1 0 725854567 51179520 11033 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12495 11033 566 18 0 12477 0
vsize: 49980
[startup+220.013 s]
Raw data (loadavg): 1.01 1.12 1.08 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 11389 0 0 0 21962 38 0 0 25 0 1 0 725854567 52568064 11366 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12834 11366 566 18 0 12816 0
vsize: 51336
[startup+230.013 s]
Raw data (loadavg): 1.01 1.12 1.08 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 11746 0 0 0 22961 39 0 0 25 0 1 0 725854567 54059008 11723 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13198 11723 566 18 0 13180 0
vsize: 52792
[startup+240.014 s]
Raw data (loadavg): 1.01 1.11 1.08 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 12113 0 0 0 23960 40 0 0 25 0 1 0 725854567 55554048 12090 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13563 12090 566 18 0 13545 0
vsize: 54252
[startup+250.013 s]
Raw data (loadavg): 1.00 1.11 1.08 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 12583 0 0 0 24959 41 0 0 25 0 1 0 725854567 57548800 12560 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14050 12560 566 18 0 14032 0
vsize: 56200
[startup+260.014 s]
Raw data (loadavg): 1.00 1.11 1.08 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 12958 0 0 0 25958 43 0 0 25 0 1 0 725854567 59027456 12935 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14411 12935 566 18 0 14393 0
vsize: 57644
[startup+270.014 s]
Raw data (loadavg): 1.00 1.10 1.08 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 13285 0 0 0 26957 44 0 0 25 0 1 0 725854567 60448768 13262 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14758 13262 566 18 0 14740 0
vsize: 59032
[startup+280.015 s]
Raw data (loadavg): 1.00 1.10 1.07 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 13580 0 0 0 27956 45 0 0 25 0 1 0 725854567 61521920 13557 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15020 13557 566 18 0 15002 0
vsize: 60080
[startup+290.016 s]
Raw data (loadavg): 1.00 1.09 1.07 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 13838 0 0 0 28956 46 0 0 25 0 1 0 725854567 62615552 13815 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15287 13815 566 18 0 15269 0
vsize: 61148
[startup+300.016 s]
Raw data (loadavg): 1.00 1.09 1.07 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 14195 0 0 0 29954 47 0 0 25 0 1 0 725854567 64081920 14172 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15645 14172 566 18 0 15627 0
vsize: 62580
[startup+310.017 s]
Raw data (loadavg): 1.00 1.09 1.07 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 14620 0 0 0 30953 48 0 0 25 0 1 0 725854567 65822720 14597 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16070 14597 566 18 0 16052 0
vsize: 64280
[startup+320.017 s]
Raw data (loadavg): 1.00 1.08 1.07 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 14924 0 0 0 31952 50 0 0 25 0 1 0 725854567 67047424 14901 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16369 14901 566 18 0 16351 0
vsize: 65476
[startup+330.018 s]
Raw data (loadavg): 1.00 1.08 1.07 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 15148 0 0 0 32951 51 0 0 25 0 1 0 725854567 68022272 15125 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16607 15125 566 18 0 16589 0
vsize: 66428
[startup+340.018 s]
Raw data (loadavg): 1.00 1.08 1.07 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 15392 0 0 0 33951 52 0 0 25 0 1 0 725854567 68947968 15369 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16833 15369 566 18 0 16815 0
vsize: 67332
[startup+350.018 s]
Raw data (loadavg): 1.00 1.07 1.07 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 15689 0 0 0 34950 52 0 0 25 0 1 0 725854567 70258688 15666 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17153 15666 566 18 0 17135 0
vsize: 68612
[startup+360.019 s]
Raw data (loadavg): 1.00 1.07 1.07 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 16046 0 0 0 35950 53 0 0 25 0 1 0 725854567 71614464 16023 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17484 16023 566 18 0 17466 0
vsize: 69936
[startup+370.019 s]
Raw data (loadavg): 1.00 1.07 1.07 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 16185 0 0 0 36949 54 0 0 25 0 1 0 725854567 72298496 16162 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17651 16162 566 18 0 17633 0
vsize: 70604
[startup+380.019 s]
Raw data (loadavg): 1.00 1.07 1.06 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 16500 0 0 0 37949 55 0 0 25 0 1 0 725854567 73527296 16477 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17951 16477 566 18 0 17933 0
vsize: 71804
[startup+390.019 s]
Raw data (loadavg): 1.00 1.06 1.06 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 16778 0 0 0 38948 55 0 0 25 0 1 0 725854567 74801152 16755 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18262 16755 566 18 0 18244 0
vsize: 73048
[startup+400.019 s]
Raw data (loadavg): 1.00 1.06 1.06 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 16994 0 0 0 39947 56 0 0 25 0 1 0 725854567 75628544 16971 4294967295 134512640 134581331 3221221792 3221219408 134532215 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18464 16971 566 18 0 18446 0
vsize: 73856
[startup+410.02 s]
Raw data (loadavg): 1.00 1.06 1.06 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 17255 0 0 0 40947 57 0 0 25 0 1 0 725854567 76697600 17232 4294967295 134512640 134581331 3221221792 3221220508 1075289350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18725 17232 566 18 0 18707 0
vsize: 74900
[startup+420.02 s]
Raw data (loadavg): 1.00 1.06 1.06 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 17557 0 0 0 41946 58 0 0 25 0 1 0 725854567 77905920 17534 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19020 17534 566 18 0 19002 0
vsize: 76080
[startup+430.021 s]
Raw data (loadavg): 1.00 1.05 1.06 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 17841 0 0 0 42945 59 0 0 25 0 1 0 725854567 79126528 17818 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19318 17818 566 18 0 19300 0
vsize: 77272
[startup+440.021 s]
Raw data (loadavg): 1.00 1.05 1.06 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 18171 0 0 0 43945 59 0 0 25 0 1 0 725854567 80494592 18148 4294967295 134512640 134581331 3221221792 3221220704 134527645 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19652 18148 566 18 0 19634 0
vsize: 78608
[startup+450.021 s]
Raw data (loadavg): 1.00 1.05 1.06 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 18340 0 0 0 44945 60 0 0 25 0 1 0 725854567 81170432 18317 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19817 18317 566 18 0 19799 0
vsize: 79268
[startup+460.022 s]
Raw data (loadavg): 1.00 1.05 1.06 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 18652 0 0 0 45945 60 0 0 25 0 1 0 725854567 82407424 18629 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20119 18629 566 18 0 20101 0
vsize: 80476
[startup+470.023 s]
Raw data (loadavg): 1.00 1.05 1.06 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 18822 0 0 0 46944 61 0 0 25 0 1 0 725854567 83243008 18799 4294967295 134512640 134581331 3221221792 3221220720 134519950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20323 18799 566 18 0 20305 0
vsize: 81292
[startup+480.024 s]
Raw data (loadavg): 1.00 1.04 1.06 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19069 0 0 0 47944 62 0 0 25 0 1 0 725854567 84242432 19046 4294967295 134512640 134581331 3221221792 3221220508 1075289077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20567 19047 566 18 0 20549 0
vsize: 82268
[startup+490.024 s]
Raw data (loadavg): 1.00 1.04 1.05 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19287 0 0 0 48943 62 0 0 25 0 1 0 725854567 85192704 19264 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20799 19264 566 18 0 20781 0
vsize: 83196
[startup+500.023 s]
Raw data (loadavg): 1.00 1.04 1.05 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19455 0 0 0 49943 62 0 0 25 0 1 0 725854567 85856256 19432 4294967295 134512640 134581331 3221221792 3221220752 134516726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19432 566 18 0 20943 0
vsize: 83844
[startup+510.024 s]
Raw data (loadavg): 1.00 1.04 1.05 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19455 0 0 0 50943 62 0 0 25 0 1 0 725854567 85856256 19432 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19432 566 18 0 20943 0
vsize: 83844
[startup+520.024 s]
Raw data (loadavg): 1.00 1.04 1.05 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19455 0 0 0 51943 63 0 0 25 0 1 0 725854567 85856256 19432 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19432 566 18 0 20943 0
vsize: 83844
[startup+530.024 s]
Raw data (loadavg): 1.00 1.03 1.05 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19455 0 0 0 52943 63 0 0 25 0 1 0 725854567 85856256 19432 4294967295 134512640 134581331 3221221792 3221220676 134557948 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19432 566 18 0 20943 0
vsize: 83844
[startup+540.025 s]
Raw data (loadavg): 1.00 1.03 1.05 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19455 0 0 0 53943 63 0 0 25 0 1 0 725854567 85856256 19432 4294967295 134512640 134581331 3221221792 3221220784 134561111 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19432 566 18 0 20943 0
vsize: 83844
[startup+550.025 s]
Raw data (loadavg): 1.00 1.03 1.05 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19455 0 0 0 54943 64 0 0 25 0 1 0 725854567 85856256 19432 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19432 566 18 0 20943 0
vsize: 83844
[startup+560.026 s]
Raw data (loadavg): 1.00 1.03 1.05 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19455 0 0 0 55943 64 0 0 25 0 1 0 725854567 85856256 19432 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19432 566 18 0 20943 0
vsize: 83844
[startup+570.026 s]
Raw data (loadavg): 1.00 1.03 1.05 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19457 0 0 0 56942 64 0 0 25 0 1 0 725854567 85856256 19434 4294967295 134512640 134581331 3221221792 3221220704 134519032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19434 566 18 0 20943 0
vsize: 83844
[startup+580.026 s]
Raw data (loadavg): 1.00 1.03 1.05 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19457 0 0 0 57942 64 0 0 25 0 1 0 725854567 85856256 19434 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19434 566 18 0 20943 0
vsize: 83844
[startup+590.026 s]
Raw data (loadavg): 1.00 1.03 1.04 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19457 0 0 0 58943 64 0 0 25 0 1 0 725854567 85856256 19434 4294967295 134512640 134581331 3221221792 3221220752 134519892 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19434 566 18 0 20943 0
vsize: 83844
[startup+600.026 s]
Raw data (loadavg): 1.00 1.02 1.04 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19457 0 0 0 59942 65 0 0 25 0 1 0 725854567 85856256 19434 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19434 566 18 0 20943 0
vsize: 83844
[startup+610.027 s]
Raw data (loadavg): 1.00 1.02 1.04 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19457 0 0 0 60942 65 0 0 25 0 1 0 725854567 85856256 19434 4294967295 134512640 134581331 3221221792 3221220672 134558035 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19434 566 18 0 20943 0
vsize: 83844
[startup+620.027 s]
Raw data (loadavg): 1.00 1.02 1.04 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19457 0 0 0 61943 65 0 0 25 0 1 0 725854567 85856256 19434 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19434 566 18 0 20943 0
vsize: 83844
[startup+630.027 s]
Raw data (loadavg): 1.00 1.02 1.04 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19457 0 0 0 62942 65 0 0 25 0 1 0 725854567 85856256 19434 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19434 566 18 0 20943 0
vsize: 83844
[startup+640.028 s]
Raw data (loadavg): 1.00 1.02 1.04 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19458 0 0 0 63942 66 0 0 25 0 1 0 725854567 85856256 19435 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19435 566 18 0 20943 0
vsize: 83844
[startup+650.028 s]
Raw data (loadavg): 1.00 1.02 1.04 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19459 0 0 0 64942 66 0 0 25 0 1 0 725854567 85856256 19436 4294967295 134512640 134581331 3221221792 3221220676 134557928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19436 566 18 0 20943 0
vsize: 83844
[startup+660.029 s]
Raw data (loadavg): 1.00 1.02 1.04 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19459 0 0 0 65942 66 0 0 25 0 1 0 725854567 85856256 19436 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19436 566 18 0 20943 0
vsize: 83844
[startup+670.029 s]
Raw data (loadavg): 1.00 1.02 1.04 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19459 0 0 0 66942 66 0 0 25 0 1 0 725854567 85856256 19436 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19436 566 18 0 20943 0
vsize: 83844
[startup+680.029 s]
Raw data (loadavg): 1.00 1.02 1.04 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19459 0 0 0 67942 66 0 0 25 0 1 0 725854567 85856256 19436 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19436 566 18 0 20943 0
vsize: 83844
[startup+690.029 s]
Raw data (loadavg): 1.00 1.02 1.03 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19459 0 0 0 68943 66 0 0 25 0 1 0 725854567 85856256 19436 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19436 566 18 0 20943 0
vsize: 83844
[startup+700.029 s]
Raw data (loadavg): 1.00 1.02 1.03 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19459 0 0 0 69942 67 0 0 25 0 1 0 725854567 85856256 19436 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19436 566 18 0 20943 0
vsize: 83844
[startup+710.03 s]
Raw data (loadavg): 1.00 1.01 1.03 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19459 0 0 0 70943 67 0 0 25 0 1 0 725854567 85856256 19436 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19436 566 18 0 20943 0
vsize: 83844
[startup+720.031 s]
Raw data (loadavg): 1.00 1.01 1.03 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19459 0 0 0 71942 67 0 0 25 0 1 0 725854567 85856256 19436 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19436 566 18 0 20943 0
vsize: 83844
[startup+730.031 s]
Raw data (loadavg): 1.00 1.01 1.03 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19459 0 0 0 72943 67 0 0 25 0 1 0 725854567 85856256 19436 4294967295 134512640 134581331 3221221792 3221220704 134527984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19436 566 18 0 20943 0
vsize: 83844
[startup+740.032 s]
Raw data (loadavg): 1.00 1.01 1.03 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19459 0 0 0 73943 67 0 0 25 0 1 0 725854567 85856256 19436 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19436 566 18 0 20943 0
vsize: 83844
[startup+750.032 s]
Raw data (loadavg): 1.00 1.01 1.03 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19459 0 0 0 74943 67 0 0 25 0 1 0 725854567 85856256 19436 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19436 566 18 0 20943 0
vsize: 83844
[startup+760.033 s]
Raw data (loadavg): 1.00 1.01 1.03 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19460 0 0 0 75943 68 0 0 25 0 1 0 725854567 85856256 19437 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19437 566 18 0 20943 0
vsize: 83844
[startup+770.033 s]
Raw data (loadavg): 1.00 1.01 1.03 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19460 0 0 0 76943 68 0 0 25 0 1 0 725854567 85856256 19437 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19437 566 18 0 20943 0
vsize: 83844
[startup+780.034 s]
Raw data (loadavg): 1.00 1.01 1.03 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19460 0 0 0 77943 68 0 0 25 0 1 0 725854567 85856256 19437 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 19437 566 18 0 20943 0
vsize: 83844
[startup+790.033 s]
Raw data (loadavg): 1.00 1.01 1.02 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 19818 0 0 0 78941 69 0 0 25 0 1 0 725854567 87334912 19795 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21322 19795 566 18 0 21304 0
vsize: 85288
[startup+800.034 s]
Raw data (loadavg): 1.00 1.01 1.02 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 20107 0 0 0 79941 70 0 0 25 0 1 0 725854567 88543232 20084 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21617 20084 566 18 0 21599 0
vsize: 86468
[startup+810.034 s]
Raw data (loadavg): 1.00 1.00 1.02 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 20491 0 0 0 80940 71 0 0 25 0 1 0 725854567 89997312 20468 4294967295 134512640 134581331 3221221792 3221220704 134519045 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21972 20468 566 18 0 21954 0
vsize: 87888
[startup+820.034 s]
Raw data (loadavg): 1.00 1.00 1.02 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 20857 0 0 0 81939 72 0 0 25 0 1 0 725854567 91611136 20834 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22366 20834 566 18 0 22348 0
vsize: 89464
[startup+830.035 s]
Raw data (loadavg): 1.00 1.00 1.02 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 21280 0 0 0 82938 74 0 0 25 0 1 0 725854567 93364224 21257 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22794 21257 566 18 0 22776 0
vsize: 91176
[startup+840.035 s]
Raw data (loadavg): 1.00 1.00 1.02 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 21699 0 0 0 83937 75 0 0 25 0 1 0 725854567 95006720 21676 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23195 21676 566 18 0 23177 0
vsize: 92780
[startup+850.036 s]
Raw data (loadavg): 1.00 1.00 1.02 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 22067 0 0 0 84937 76 0 0 25 0 1 0 725854567 96505856 22044 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23561 22044 566 18 0 23543 0
vsize: 94244
[startup+860.036 s]
Raw data (loadavg): 1.00 1.00 1.02 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 22491 0 0 0 85935 77 0 0 25 0 1 0 725854567 98246656 22468 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23986 22468 566 18 0 23968 0
vsize: 95944
[startup+870.036 s]
Raw data (loadavg): 1.00 1.00 1.02 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23007 0 0 0 86934 79 0 0 25 0 1 0 725854567 100298752 22984 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24487 22984 566 18 0 24469 0
vsize: 97948
[startup+880.036 s]
Raw data (loadavg): 1.00 1.00 1.02 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23160 0 0 0 87933 79 0 0 25 0 1 0 725854567 100982784 23137 4294967295 134512640 134581331 3221221792 3221220676 134557901 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23137 566 18 0 24636 0
vsize: 98616
[startup+890.036 s]
Raw data (loadavg): 1.00 1.00 1.02 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23160 0 0 0 88933 79 0 0 25 0 1 0 725854567 100982784 23137 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23137 566 18 0 24636 0
vsize: 98616
[startup+900.036 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23162 0 0 0 89933 80 0 0 25 0 1 0 725854567 100982784 23139 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23139 566 18 0 24636 0
vsize: 98616
[startup+910.037 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23162 0 0 0 90933 80 0 0 25 0 1 0 725854567 100982784 23139 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23139 566 18 0 24636 0
vsize: 98616
[startup+920.037 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23162 0 0 0 91933 80 0 0 25 0 1 0 725854567 100982784 23139 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23139 566 18 0 24636 0
vsize: 98616
[startup+930.037 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23162 0 0 0 92933 80 0 0 25 0 1 0 725854567 100982784 23139 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23139 566 18 0 24636 0
vsize: 98616
[startup+940.036 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23162 0 0 0 93933 80 0 0 25 0 1 0 725854567 100982784 23139 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23139 566 18 0 24636 0
vsize: 98616
[startup+950.037 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23162 0 0 0 94933 81 0 0 25 0 1 0 725854567 100982784 23139 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23139 566 18 0 24636 0
vsize: 98616
[startup+960.038 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23162 0 0 0 95933 81 0 0 25 0 1 0 725854567 100982784 23139 4294967295 134512640 134581331 3221221792 3221220512 134523293 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23139 566 18 0 24636 0
vsize: 98616
[startup+970.037 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23162 0 0 0 96933 81 0 0 25 0 1 0 725854567 100982784 23139 4294967295 134512640 134581331 3221221792 3221220704 134519032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23139 566 18 0 24636 0
vsize: 98616
[startup+980.037 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23162 0 0 0 97933 82 0 0 25 0 1 0 725854567 100982784 23139 4294967295 134512640 134581331 3221221792 3221220784 134561148 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23139 566 18 0 24636 0
vsize: 98616
[startup+990.038 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23162 0 0 0 98933 82 0 0 25 0 1 0 725854567 100982784 23139 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23139 566 18 0 24636 0
vsize: 98616
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23162 0 0 0 99932 82 0 0 25 0 1 0 725854567 100982784 23139 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23139 566 18 0 24636 0
vsize: 98616
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23162 0 0 0 100933 82 0 0 25 0 1 0 725854567 100982784 23139 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23139 566 18 0 24636 0
vsize: 98616
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23162 0 0 0 101933 82 0 0 25 0 1 0 725854567 100982784 23139 4294967295 134512640 134581331 3221221792 3221220676 134557913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23139 566 18 0 24636 0
vsize: 98616
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23162 0 0 0 102933 82 0 0 25 0 1 0 725854567 100982784 23139 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23139 566 18 0 24636 0
vsize: 98616
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23162 0 0 0 103933 83 0 0 25 0 1 0 725854567 100982784 23139 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23139 566 18 0 24636 0
vsize: 98616
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23162 0 0 0 104933 83 0 0 25 0 1 0 725854567 100982784 23139 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23139 566 18 0 24636 0
vsize: 98616
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23162 0 0 0 105933 83 0 0 25 0 1 0 725854567 100982784 23139 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23139 566 18 0 24636 0
vsize: 98616
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23162 0 0 0 106933 83 0 0 25 0 1 0 725854567 100982784 23139 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23139 566 18 0 24636 0
vsize: 98616
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23162 0 0 0 107933 83 0 0 25 0 1 0 725854567 100982784 23139 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23139 566 18 0 24636 0
vsize: 98616
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23163 0 0 0 108933 83 0 0 25 0 1 0 725854567 100982784 23140 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23140 566 18 0 24636 0
vsize: 98616
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23163 0 0 0 109933 83 0 0 25 0 1 0 725854567 100982784 23140 4294967295 134512640 134581331 3221221792 3221220720 134519812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23140 566 18 0 24636 0
vsize: 98616
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23163 0 0 0 110934 83 0 0 25 0 1 0 725854567 100982784 23140 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23140 566 18 0 24636 0
vsize: 98616
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23163 0 0 0 111934 83 0 0 25 0 1 0 725854567 100982784 23140 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23140 566 18 0 24636 0
vsize: 98616
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23163 0 0 0 112934 83 0 0 25 0 1 0 725854567 100982784 23140 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23140 566 18 0 24636 0
vsize: 98616
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23163 0 0 0 113934 84 0 0 25 0 1 0 725854567 100982784 23140 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23140 566 18 0 24636 0
vsize: 98616
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23163 0 0 0 114934 84 0 0 25 0 1 0 725854567 100982784 23140 4294967295 134512640 134581331 3221221792 3221220672 134558193 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23140 566 18 0 24636 0
vsize: 98616
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23165 0 0 0 115934 84 0 0 25 0 1 0 725854567 100982784 23142 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23142 566 18 0 24636 0
vsize: 98616
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23165 0 0 0 116934 84 0 0 25 0 1 0 725854567 100982784 23142 4294967295 134512640 134581331 3221221792 3221220720 134519996 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23142 566 18 0 24636 0
vsize: 98616
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23165 0 0 0 117934 84 0 0 25 0 1 0 725854567 100982784 23142 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23142 566 18 0 24636 0
vsize: 98616
[startup+1188.92 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 8511
Raw data (stat): 8511 (Pueblo) R 8510 7876 7672 0 -1 0 23165 0 0 0 117934 84 0 0 25 0 1 0 725854567 100982784 23142 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24654 23142 566 18 0 24636 0
vsize: 0

Child status: 10
Real time (s): 1188.92
CPU time (s): 1189.07
CPU user time (s): 1188.17
CPU system time (s): 0.893864
CPU usage (%): 100.012
Max. virtual memory (Kb): 98616
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-12
#### END VERIFIER DATA ####