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-5.opb
MD5SUM	70070c820bc7d178cc8f33b42e0deead
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	28143
Number of constraints which are clauses	28143
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 24755

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 13:56:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2905 boxname=wulflinc31 idbench=323 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  70070c820bc7d178cc8f33b42e0deead  /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-5.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-5.opb
IDLAUNCH: 2905
/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:        887916 kB
Buffers:         34696 kB
Cached:          90528 kB
SwapCached:       1936 kB
Active:          91408 kB
Inactive:        37056 kB
HighTotal:      131008 kB
HighFree:        39564 kB
LowTotal:       903652 kB
LowFree:        848352 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12676 kB
Committed_AS:    63848 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 14:16:17 (client local time) WITH STATUS 10 IN 1189.14 SECONDS
stats: 2905 0 1189.14 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-5.opb
c #variables read: 595 - #constraints read: 28144
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): 0.93 0.98 0.98 1/55 9642
Raw data (stat): 9642 (runsolver) D 9641 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 18 0 1 0 727056163 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.94 0.98 0.98 2/55 9642
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 1434 0 0 0 989 5 0 0 25 0 1 0 727056163 11476992 1411 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2802 1411 566 18 0 2784 0
vsize: 11208
[startup+20.001 s]
Raw data (loadavg): 0.95 0.98 0.98 2/55 9642
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 2161 0 0 0 1986 8 0 0 25 0 1 0 727056163 14458880 2138 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3530 2138 566 18 0 3512 0
vsize: 14120
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.98 0.98 2/55 9642
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 2838 0 0 0 2985 10 0 0 25 0 1 0 727056163 17350656 2815 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4236 2815 566 18 0 4218 0
vsize: 16944
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.98 0.98 2/55 9642
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 3412 0 0 0 3983 12 0 0 25 0 1 0 727056163 19615744 3389 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4789 3389 566 18 0 4771 0
vsize: 19156
[startup+50.0018 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 9642
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 4041 0 0 0 4981 13 0 0 25 0 1 0 727056163 22192128 4018 4294967295 134512640 134581331 3221221792 3221220676 134557928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5418 4020 566 18 0 5400 0
vsize: 21672
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 9642
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 4631 0 0 0 5980 14 0 0 25 0 1 0 727056163 24612864 4608 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6009 4608 566 18 0 5991 0
vsize: 24036
[startup+70.0027 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 9642
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 5128 0 0 0 6979 16 0 0 25 0 1 0 727056163 26656768 5105 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6508 5105 566 18 0 6490 0
vsize: 26032
[startup+80.0025 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 9642
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 5647 0 0 0 7977 18 0 0 25 0 1 0 727056163 28811264 5624 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7034 5624 566 18 0 7016 0
vsize: 28136
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 9642
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 6219 0 0 0 8976 19 0 0 25 0 1 0 727056163 31088640 6196 4294967295 134512640 134581331 3221221792 3221220688 134517762 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7590 6196 566 18 0 7572 0
vsize: 30360
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 9642
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 6903 0 0 0 9974 22 0 0 25 0 1 0 727056163 33943552 6880 4294967295 134512640 134581331 3221221792 3221220512 134523328 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8287 6880 566 18 0 8269 0
vsize: 33148
[startup+110.002 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9642
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 7382 0 0 0 10973 23 0 0 25 0 1 0 727056163 35987456 7359 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8786 7359 566 18 0 8768 0
vsize: 35144
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9642
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 7846 0 0 0 11972 24 0 0 25 0 1 0 727056163 37769216 7823 4294967295 134512640 134581331 3221221792 3221220064 134532306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9221 7823 566 18 0 9203 0
vsize: 36884
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9642
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 8330 0 0 0 12971 25 0 0 25 0 1 0 727056163 39817216 8307 4294967295 134512640 134581331 3221221792 3221220512 134522353 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9721 8307 566 18 0 9703 0
vsize: 38884
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9642
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 8688 0 0 0 13970 26 0 0 25 0 1 0 727056163 41304064 8665 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10084 8665 566 18 0 10066 0
vsize: 40336
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9642
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 9156 0 0 0 14969 27 0 0 25 0 1 0 727056163 43216896 9133 4294967295 134512640 134581331 3221221792 3221220428 1075289350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10551 9133 566 18 0 10533 0
vsize: 42204
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9642
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 9543 0 0 0 15968 28 0 0 25 0 1 0 727056163 44888064 9520 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10959 9520 566 18 0 10941 0
vsize: 43836
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9642
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 10064 0 0 0 16967 30 0 0 25 0 1 0 727056163 46919680 10041 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11455 10041 566 18 0 11437 0
vsize: 45820
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9642
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 10478 0 0 0 17965 32 0 0 25 0 1 0 727056163 48730112 10455 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11897 10455 566 18 0 11879 0
vsize: 47588
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9642
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 10856 0 0 0 18964 33 0 0 25 0 1 0 727056163 50237440 10833 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12265 10833 566 18 0 12247 0
vsize: 49060
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9642
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 11196 0 0 0 19963 34 0 0 25 0 1 0 727056163 51597312 11173 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12597 11173 566 18 0 12579 0
vsize: 50388
[startup+210.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 9642
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 11654 0 0 0 20962 35 0 0 25 0 1 0 727056163 53493760 11631 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13060 11631 566 18 0 13042 0
vsize: 52240
[startup+220.005 s]
Raw data (loadavg): 1.07 1.00 0.99 2/55 9695
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 12098 0 0 0 21961 37 0 0 25 0 1 0 727056163 55287808 12075 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13498 12075 566 18 0 13480 0
vsize: 53992
[startup+230.005 s]
Raw data (loadavg): 1.06 1.00 0.99 2/55 9695
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 12470 0 0 0 22959 39 0 0 25 0 1 0 727056163 56930304 12447 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13899 12447 566 18 0 13881 0
vsize: 55596
[startup+240.005 s]
Raw data (loadavg): 1.05 1.00 0.99 2/55 9695
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 12847 0 0 0 23958 40 0 0 25 0 1 0 727056163 58454016 12824 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14271 12824 566 18 0 14253 0
vsize: 57084
[startup+250.006 s]
Raw data (loadavg): 1.04 1.00 0.99 2/55 9695
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 13151 0 0 0 24958 41 0 0 25 0 1 0 727056163 59670528 13128 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14568 13128 566 18 0 14550 0
vsize: 58272
[startup+260.006 s]
Raw data (loadavg): 1.04 1.00 0.99 2/55 9695
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 13529 0 0 0 25956 42 0 0 25 0 1 0 727056163 61169664 13506 4294967295 134512640 134581331 3221221792 3221220720 134519950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14934 13506 566 18 0 14916 0
vsize: 59736
[startup+270.006 s]
Raw data (loadavg): 1.03 1.00 0.99 2/55 9695
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 13980 0 0 0 26954 45 0 0 25 0 1 0 727056163 63082496 13957 4294967295 134512640 134581331 3221221792 3221220704 134519030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15401 13957 566 18 0 15383 0
vsize: 61604
[startup+280.007 s]
Raw data (loadavg): 1.03 1.00 0.99 2/55 9695
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 14304 0 0 0 27952 46 0 0 25 0 1 0 727056163 64421888 14281 4294967295 134512640 134581331 3221221792 3221220704 134527645 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15728 14281 566 18 0 15710 0
vsize: 62912
[startup+290.007 s]
Raw data (loadavg): 1.02 1.00 0.99 2/55 9695
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 14846 0 0 0 28950 48 0 0 25 0 1 0 727056163 66605056 14823 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16261 14823 566 18 0 16243 0
vsize: 65044
[startup+300.007 s]
Raw data (loadavg): 1.02 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 15067 0 0 0 29950 49 0 0 25 0 1 0 727056163 67608576 15044 4294967295 134512640 134581331 3221221792 3221220464 134531728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16506 15044 566 18 0 16488 0
vsize: 66024
[startup+310.007 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 15400 0 0 0 30949 50 0 0 25 0 1 0 727056163 68964352 15377 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16837 15377 566 18 0 16819 0
vsize: 67348
[startup+320.008 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 15727 0 0 0 31948 52 0 0 25 0 1 0 727056163 70316032 15704 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17167 15704 566 18 0 17149 0
vsize: 68668
[startup+330.009 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 16107 0 0 0 32947 53 0 0 25 0 1 0 727056163 71839744 16084 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17539 16084 566 18 0 17521 0
vsize: 70156
[startup+340.009 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 16496 0 0 0 33945 54 0 0 25 0 1 0 727056163 73453568 16473 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17933 16473 566 18 0 17915 0
vsize: 71732
[startup+350.009 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 16801 0 0 0 34944 56 0 0 25 0 1 0 727056163 74797056 16778 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18261 16778 566 18 0 18243 0
vsize: 73044
[startup+360.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 17130 0 0 0 35942 58 0 0 25 0 1 0 727056163 76161024 17107 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18594 17107 566 18 0 18576 0
vsize: 74376
[startup+370.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 17523 0 0 0 36942 59 0 0 25 0 1 0 727056163 77791232 17500 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18992 17500 566 18 0 18974 0
vsize: 75968
[startup+380.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 17903 0 0 0 37940 61 0 0 25 0 1 0 727056163 79298560 17880 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19360 17880 566 18 0 19342 0
vsize: 77440
[startup+390.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 18312 0 0 0 38939 62 0 0 25 0 1 0 727056163 80969728 18289 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19768 18289 566 18 0 19750 0
vsize: 79072
[startup+400.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 18817 0 0 0 39937 64 0 0 25 0 1 0 727056163 83013632 18794 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20267 18794 566 18 0 20249 0
vsize: 81068
[startup+410.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19254 0 0 0 40936 65 0 0 25 0 1 0 727056163 84807680 19231 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20705 19231 566 18 0 20687 0
vsize: 82820
[startup+420.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19561 0 0 0 41935 66 0 0 25 0 1 0 727056163 86089728 19538 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21018 19538 566 18 0 21000 0
vsize: 84072
[startup+430.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19561 0 0 0 42935 66 0 0 25 0 1 0 727056163 86089728 19538 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21018 19538 566 18 0 21000 0
vsize: 84072
[startup+440.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19561 0 0 0 43935 67 0 0 25 0 1 0 727056163 86089728 19538 4294967295 134512640 134581331 3221221792 3221220676 134557744 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21018 19538 566 18 0 21000 0
vsize: 84072
[startup+450.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19561 0 0 0 44935 67 0 0 25 0 1 0 727056163 86089728 19538 4294967295 134512640 134581331 3221221792 3221220512 134523352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21018 19538 566 18 0 21000 0
vsize: 84072
[startup+460.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19562 0 0 0 45935 67 0 0 25 0 1 0 727056163 86089728 19539 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21018 19539 566 18 0 21000 0
vsize: 84072
[startup+470.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19563 0 0 0 46935 68 0 0 25 0 1 0 727056163 86089728 19540 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21018 19540 566 18 0 21000 0
vsize: 84072
[startup+480.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19563 0 0 0 47934 68 0 0 25 0 1 0 727056163 86089728 19540 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21018 19540 566 18 0 21000 0
vsize: 84072
[startup+490.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19563 0 0 0 48934 69 0 0 25 0 1 0 727056163 86089728 19540 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21018 19540 566 18 0 21000 0
vsize: 84072
[startup+500.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19563 0 0 0 49933 70 0 0 25 0 1 0 727056163 86089728 19540 4294967295 134512640 134581331 3221221792 3221220532 1075288177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21018 19540 566 18 0 21000 0
vsize: 84072
[startup+510.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19563 0 0 0 50933 70 0 0 25 0 1 0 727056163 86089728 19540 4294967295 134512640 134581331 3221221792 3221220576 134528751 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21018 19540 566 18 0 21000 0
vsize: 84072
[startup+520.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19563 0 0 0 51933 71 0 0 25 0 1 0 727056163 86089728 19540 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21018 19540 566 18 0 21000 0
vsize: 84072
[startup+530.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19563 0 0 0 52932 71 0 0 25 0 1 0 727056163 86089728 19540 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21018 19540 566 18 0 21000 0
vsize: 84072
[startup+540.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19563 0 0 0 53932 72 0 0 25 0 1 0 727056163 86089728 19540 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21018 19540 566 18 0 21000 0
vsize: 84072
[startup+550.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19563 0 0 0 54932 72 0 0 25 0 1 0 727056163 86089728 19540 4294967295 134512640 134581331 3221221792 3221220612 1075288176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21018 19540 566 18 0 21000 0
vsize: 84072
[startup+560.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19563 0 0 0 55932 72 0 0 25 0 1 0 727056163 86089728 19540 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21018 19540 566 18 0 21000 0
vsize: 84072
[startup+570.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9697
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19563 0 0 0 56932 73 0 0 25 0 1 0 727056163 86089728 19540 4294967295 134512640 134581331 3221221792 3221220512 134523228 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21018 19540 566 18 0 21000 0
vsize: 84072
[startup+580.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19563 0 0 0 57931 74 0 0 25 0 1 0 727056163 86089728 19540 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21018 19540 566 18 0 21000 0
vsize: 84072
[startup+590.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19563 0 0 0 58931 74 0 0 25 0 1 0 727056163 86089728 19540 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21018 19540 566 18 0 21000 0
vsize: 84072
[startup+600.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19563 0 0 0 59930 75 0 0 25 0 1 0 727056163 86089728 19540 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21018 19540 566 18 0 21000 0
vsize: 84072
[startup+610.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19563 0 0 0 60930 76 0 0 25 0 1 0 727056163 86089728 19540 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21018 19540 566 18 0 21000 0
vsize: 84072
[startup+620.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19563 0 0 0 61930 76 0 0 25 0 1 0 727056163 86089728 19540 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21018 19540 566 18 0 21000 0
vsize: 84072
[startup+630.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19563 0 0 0 62930 76 0 0 25 0 1 0 727056163 86089728 19540 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21018 19540 566 18 0 21000 0
vsize: 84072
[startup+640.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19563 0 0 0 63929 76 0 0 25 0 1 0 727056163 86089728 19540 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21018 19540 566 18 0 21000 0
vsize: 84072
[startup+650.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19563 0 0 0 64929 77 0 0 25 0 1 0 727056163 86089728 19540 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21018 19540 566 18 0 21000 0
vsize: 84072
[startup+660.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19565 0 0 0 65929 77 0 0 25 0 1 0 727056163 86089728 19542 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21018 19542 566 18 0 21000 0
vsize: 84072
[startup+670.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19566 0 0 0 66929 77 0 0 25 0 1 0 727056163 86089728 19543 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21018 19543 566 18 0 21000 0
vsize: 84072
[startup+680.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19566 0 0 0 67929 77 0 0 25 0 1 0 727056163 86089728 19543 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21018 19543 566 18 0 21000 0
vsize: 84072
[startup+690.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19566 0 0 0 68929 77 0 0 25 0 1 0 727056163 86089728 19543 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21018 19543 566 18 0 21000 0
vsize: 84072
[startup+700.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19566 0 0 0 69929 78 0 0 25 0 1 0 727056163 86089728 19543 4294967295 134512640 134581331 3221221792 3221220704 134527783 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21018 19543 566 18 0 21000 0
vsize: 84072
[startup+710.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 19630 0 0 0 70929 78 0 0 25 0 1 0 727056163 86368256 19607 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21086 19607 566 18 0 21068 0
vsize: 84344
[startup+720.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 20058 0 0 0 71928 79 0 0 25 0 1 0 727056163 88137728 20035 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21518 20035 566 18 0 21500 0
vsize: 86072
[startup+730.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 20549 0 0 0 72927 80 0 0 25 0 1 0 727056163 90181632 20526 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22017 20526 566 18 0 21999 0
vsize: 88068
[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21031 0 0 0 73925 82 0 0 25 0 1 0 727056163 92090368 21008 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22483 21008 566 18 0 22465 0
vsize: 89932
[startup+750.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21465 0 0 0 74924 84 0 0 25 0 1 0 727056163 93868032 21442 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22917 21442 566 18 0 22899 0
vsize: 91668
[startup+760.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 75923 85 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+770.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 76924 85 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+780.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 77923 85 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+790.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 78923 86 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+800.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 79923 86 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 80923 86 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+820.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 81923 87 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+830.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 82923 87 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220688 134517909 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+840.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 83923 87 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+850.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 84923 87 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220704 134519032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+860.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 85923 88 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+870.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 86923 88 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220704 134527987 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+880.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 87922 88 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220736 134558956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+890.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 88922 88 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+900.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 89923 89 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+910.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 90922 89 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+920.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 91922 90 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+930.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 92922 90 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+940.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 93922 90 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+950.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 94922 90 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220772 134526342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+960.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 95922 90 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+970.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 96922 90 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220720 134558771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+980.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 97922 91 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 98922 91 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 99922 91 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 100922 92 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 101922 92 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21667 0 0 0 102922 92 0 0 25 0 1 0 727056163 94687232 21644 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23117 21644 566 18 0 23099 0
vsize: 92468
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21679 0 0 0 103922 92 0 0 25 0 1 0 727056163 94826496 21656 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23151 21656 566 18 0 23133 0
vsize: 92604
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 21908 0 0 0 104922 92 0 0 25 0 1 0 727056163 95756288 21885 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23378 21885 566 18 0 23360 0
vsize: 93512
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 22261 0 0 0 105920 94 0 0 25 0 1 0 727056163 97243136 22238 4294967295 134512640 134581331 3221221792 3221220512 134522313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23741 22238 566 18 0 23723 0
vsize: 94964
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 22584 0 0 0 106920 95 0 0 25 0 1 0 727056163 98607104 22561 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24074 22561 566 18 0 24056 0
vsize: 96296
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 22775 0 0 0 107919 95 0 0 25 0 1 0 727056163 99414016 22752 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24271 22752 566 18 0 24253 0
vsize: 97084
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 23058 0 0 0 108919 96 0 0 25 0 1 0 727056163 100483072 23035 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24532 23035 566 18 0 24514 0
vsize: 98128
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 23319 0 0 0 109919 97 0 0 25 0 1 0 727056163 101691392 23296 4294967295 134512640 134581331 3221221792 3221220704 134519045 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24827 23296 566 18 0 24809 0
vsize: 99308
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 23587 0 0 0 110918 97 0 0 25 0 1 0 727056163 102776832 23564 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25092 23564 566 18 0 25074 0
vsize: 100368
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 23971 0 0 0 111918 98 0 0 25 0 1 0 727056163 104542208 23948 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25523 23948 566 18 0 25505 0
vsize: 102092
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 23992 0 0 0 112918 98 0 0 25 0 1 0 727056163 104542208 23969 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25523 23969 566 18 0 25505 0
vsize: 102092
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 23992 0 0 0 113918 98 0 0 25 0 1 0 727056163 104542208 23969 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25523 23969 566 18 0 25505 0
vsize: 102092
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 23992 0 0 0 114918 99 0 0 25 0 1 0 727056163 104542208 23969 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25523 23969 566 18 0 25505 0
vsize: 102092
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 23992 0 0 0 115918 99 0 0 25 0 1 0 727056163 104542208 23969 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25523 23969 566 18 0 25505 0
vsize: 102092
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 23992 0 0 0 116918 99 0 0 25 0 1 0 727056163 104542208 23969 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25523 23969 566 18 0 25505 0
vsize: 102092
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 23992 0 0 0 117918 99 0 0 25 0 1 0 727056163 104542208 23969 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25523 23969 566 18 0 25505 0
vsize: 102092
[startup+1189.01 s]
Raw data (loadavg): 1.00 1.00 0.99 1/54 9699
Raw data (stat): 9642 (Pueblo) R 9641 7876 7672 0 -1 0 23992 0 0 0 117918 99 0 0 25 0 1 0 727056163 104542208 23969 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25523 23969 566 18 0 25505 0
vsize: 0

Child status: 10
Real time (s): 1189.01
CPU time (s): 1189.14
CPU user time (s): 1188.09
CPU system time (s): 1.04484
CPU usage (%): 100.011
Max. virtual memory (Kb): 102092
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-11
#### END VERIFIER DATA ####