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-2.opb
MD5SUM	409f1cf0658f035df65cb61f3e4f598e
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	27847
Number of constraints which are clauses	27847
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 24740

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 08:54:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2878 boxname=wulflinc31 idbench=320 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  409f1cf0658f035df65cb61f3e4f598e  /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-2.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-2.opb
IDLAUNCH: 2878
/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:        892544 kB
Buffers:         31948 kB
Cached:          88584 kB
SwapCached:       1936 kB
Active:          82484 kB
Inactive:        41240 kB
HighTotal:      131008 kB
HighFree:        41552 kB
LowTotal:       903652 kB
LowFree:        850992 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12664 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 09:14:30 (client local time) WITH STATUS 10 IN 1189.07 SECONDS
stats: 2878 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-2.opb
c #variables read: 595 - #constraints read: 27848
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.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (runsolver) R 7916 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 725245193 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 1480 0 0 0 990 6 0 0 25 0 1 0 725245193 11771904 1457 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2874 1457 566 18 0 2856 0
vsize: 11496
[startup+20.0006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 2187 0 0 0 1989 8 0 0 25 0 1 0 725245193 14639104 2164 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3574 2164 566 18 0 3556 0
vsize: 14296
[startup+30.0005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 2878 0 0 0 2987 10 0 0 25 0 1 0 725245193 17485824 2855 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4269 2855 566 18 0 4251 0
vsize: 17076
[startup+40.0018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 3518 0 0 0 3985 11 0 0 25 0 1 0 725245193 20090880 3495 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4905 3495 566 18 0 4887 0
vsize: 19620
[startup+50.0024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 4102 0 0 0 4983 14 0 0 25 0 1 0 725245193 22519808 4079 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5498 4079 566 18 0 5480 0
vsize: 21992
[startup+60.0023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 4682 0 0 0 5982 15 0 0 25 0 1 0 725245193 24850432 4659 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6067 4659 566 18 0 6049 0
vsize: 24268
[startup+70.0036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 5141 0 0 0 6980 17 0 0 25 0 1 0 725245193 26759168 5118 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6533 5118 566 18 0 6515 0
vsize: 26132
[startup+80.0041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 5690 0 0 0 7978 19 0 0 25 0 1 0 725245193 28930048 5667 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7063 5667 566 18 0 7045 0
vsize: 28252
[startup+90.0051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 6244 0 0 0 8976 21 0 0 25 0 1 0 725245193 31244288 6221 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7628 6221 566 18 0 7610 0
vsize: 30512
[startup+100.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 6712 0 0 0 9975 22 0 0 25 0 1 0 725245193 33165312 6689 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8097 6689 566 18 0 8079 0
vsize: 32388
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 7259 0 0 0 10974 24 0 0 25 0 1 0 725245193 35487744 7236 4294967295 134512640 134581331 3221221792 3221220656 134528353 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8664 7236 566 18 0 8646 0
vsize: 34656
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 7728 0 0 0 11973 25 0 0 25 0 1 0 725245193 37412864 7705 4294967295 134512640 134581331 3221221792 3221220512 134524438 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9134 7705 566 18 0 9116 0
vsize: 36536
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 8117 0 0 0 12972 26 0 0 25 0 1 0 725245193 39055360 8094 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9535 8094 566 18 0 9517 0
vsize: 38140
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 8521 0 0 0 13971 27 0 0 25 0 1 0 725245193 40681472 8498 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9932 8498 566 18 0 9914 0
vsize: 39728
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 8929 0 0 0 14970 29 0 0 25 0 1 0 725245193 42328064 8906 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10334 8906 566 18 0 10316 0
vsize: 41336
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 9300 0 0 0 15969 30 0 0 25 0 1 0 725245193 43823104 9277 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10699 9277 566 18 0 10681 0
vsize: 42796
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 9647 0 0 0 16968 31 0 0 25 0 1 0 725245193 45305856 9624 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11061 9624 566 18 0 11043 0
vsize: 44244
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 10073 0 0 0 17967 32 0 0 25 0 1 0 725245193 47124480 10050 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11505 10050 566 18 0 11487 0
vsize: 46020
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 10606 0 0 0 18965 34 0 0 25 0 1 0 725245193 49291264 10583 4294967295 134512640 134581331 3221221792 3221220688 134517615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12034 10583 566 18 0 12016 0
vsize: 48136
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 11023 0 0 0 19964 35 0 0 25 0 1 0 725245193 50892800 11000 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 11000 566 18 0 12407 0
vsize: 49700
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 11481 0 0 0 20963 36 0 0 25 0 1 0 725245193 52817920 11458 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12895 11458 566 18 0 12877 0
vsize: 51580
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 11785 0 0 0 21963 37 0 0 25 0 1 0 725245193 54038528 11762 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13193 11762 566 18 0 13175 0
vsize: 52772
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 12076 0 0 0 22963 37 0 0 25 0 1 0 725245193 55283712 12053 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13497 12053 566 18 0 13479 0
vsize: 53988
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 12460 0 0 0 23962 39 0 0 25 0 1 0 725245193 56881152 12437 4294967295 134512640 134581331 3221221792 3221220704 134519023 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13887 12437 566 18 0 13869 0
vsize: 55548
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 12927 0 0 0 24960 40 0 0 25 0 1 0 725245193 58789888 12904 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14353 12904 566 18 0 14335 0
vsize: 57412
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 13332 0 0 0 25959 41 0 0 25 0 1 0 725245193 60547072 13309 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14782 13309 566 18 0 14764 0
vsize: 59128
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 13711 0 0 0 26959 42 0 0 25 0 1 0 725245193 62070784 13688 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15154 13688 566 18 0 15136 0
vsize: 60616
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 14127 0 0 0 27958 43 0 0 25 0 1 0 725245193 63856640 14104 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15590 14104 566 18 0 15572 0
vsize: 62360
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 14631 0 0 0 28957 44 0 0 25 0 1 0 725245193 65916928 14608 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16093 14608 566 18 0 16075 0
vsize: 64372
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 15129 0 0 0 29956 45 0 0 25 0 1 0 725245193 67993600 15106 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16600 15106 566 18 0 16582 0
vsize: 66400
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 15539 0 0 0 30955 47 0 0 25 0 1 0 725245193 69632000 15516 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17000 15516 566 18 0 16982 0
vsize: 68000
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7917
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 15977 0 0 0 31954 48 0 0 25 0 1 0 725245193 71462912 15954 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17447 15954 566 18 0 17429 0
vsize: 69788
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.99 3/58 7939
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16405 0 0 0 32953 48 0 0 25 0 1 0 725245193 73351168 16382 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17908 16382 566 18 0 17890 0
vsize: 71632
[startup+340.014 s]
Raw data (loadavg): 1.23 1.02 1.01 2/59 7960
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16628 0 0 0 33953 49 0 0 25 0 1 0 725245193 74137600 16605 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18100 16605 566 18 0 18082 0
vsize: 72400
[startup+350.104 s]
Raw data (loadavg): 1.27 1.04 1.01 2/58 7965
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16628 0 0 0 34962 49 0 0 25 0 1 0 725245193 74137600 16605 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18100 16605 566 18 0 18082 0
vsize: 72400
[startup+360.213 s]
Raw data (loadavg): 1.38 1.07 1.02 2/55 7970
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16628 0 0 0 35973 49 0 0 25 0 1 0 725245193 74137600 16605 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18100 16605 566 18 0 18082 0
vsize: 72400
[startup+370.214 s]
Raw data (loadavg): 1.32 1.06 1.02 2/55 7970
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16628 0 0 0 36973 49 0 0 25 0 1 0 725245193 74137600 16605 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18100 16605 566 18 0 18082 0
vsize: 72400
[startup+380.245 s]
Raw data (loadavg): 1.27 1.06 1.02 2/55 7970
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16628 0 0 0 37976 50 0 0 25 0 1 0 725245193 74137600 16605 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18100 16605 566 18 0 18082 0
vsize: 72400
[startup+390.246 s]
Raw data (loadavg): 1.23 1.06 1.02 2/55 7970
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16628 0 0 0 38976 50 0 0 25 0 1 0 725245193 74137600 16605 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18100 16605 566 18 0 18082 0
vsize: 72400
[startup+400.247 s]
Raw data (loadavg): 1.20 1.06 1.02 2/55 7970
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16628 0 0 0 39976 50 0 0 25 0 1 0 725245193 74137600 16605 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18100 16605 566 18 0 18082 0
vsize: 72400
[startup+410.247 s]
Raw data (loadavg): 1.16 1.05 1.01 2/55 7970
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16628 0 0 0 40976 50 0 0 25 0 1 0 725245193 74137600 16605 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18100 16605 566 18 0 18082 0
vsize: 72400
[startup+420.248 s]
Raw data (loadavg): 1.14 1.05 1.01 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16628 0 0 0 41976 50 0 0 25 0 1 0 725245193 74137600 16605 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18100 16605 566 18 0 18082 0
vsize: 72400
[startup+430.248 s]
Raw data (loadavg): 1.12 1.05 1.01 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16628 0 0 0 42976 51 0 0 25 0 1 0 725245193 74137600 16605 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18100 16605 566 18 0 18082 0
vsize: 72400
[startup+440.249 s]
Raw data (loadavg): 1.10 1.05 1.01 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16628 0 0 0 43976 51 0 0 25 0 1 0 725245193 74137600 16605 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18100 16605 566 18 0 18082 0
vsize: 72400
[startup+450.249 s]
Raw data (loadavg): 1.08 1.05 1.01 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16629 0 0 0 44976 51 0 0 25 0 1 0 725245193 74137600 16606 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18100 16606 566 18 0 18082 0
vsize: 72400
[startup+460.248 s]
Raw data (loadavg): 1.07 1.04 1.01 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16629 0 0 0 45976 51 0 0 25 0 1 0 725245193 74137600 16606 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18100 16606 566 18 0 18082 0
vsize: 72400
[startup+470.25 s]
Raw data (loadavg): 1.06 1.04 1.01 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16629 0 0 0 46976 51 0 0 25 0 1 0 725245193 74137600 16606 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18100 16606 566 18 0 18082 0
vsize: 72400
[startup+480.25 s]
Raw data (loadavg): 1.05 1.04 1.01 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16629 0 0 0 47976 52 0 0 25 0 1 0 725245193 74137600 16606 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18100 16606 566 18 0 18082 0
vsize: 72400
[startup+490.25 s]
Raw data (loadavg): 1.04 1.04 1.01 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16629 0 0 0 48976 52 0 0 25 0 1 0 725245193 74137600 16606 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18100 16606 566 18 0 18082 0
vsize: 72400
[startup+500.25 s]
Raw data (loadavg): 1.03 1.04 1.01 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16630 0 0 0 49976 52 0 0 25 0 1 0 725245193 74137600 16607 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18100 16607 566 18 0 18082 0
vsize: 72400
[startup+510.25 s]
Raw data (loadavg): 1.03 1.04 1.00 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16631 0 0 0 50976 52 0 0 25 0 1 0 725245193 74137600 16608 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18100 16608 566 18 0 18082 0
vsize: 72400
[startup+520.251 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16631 0 0 0 51976 52 0 0 25 0 1 0 725245193 74137600 16608 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18100 16608 566 18 0 18082 0
vsize: 72400
[startup+530.251 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16631 0 0 0 52976 52 0 0 25 0 1 0 725245193 74137600 16608 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18100 16608 566 18 0 18082 0
vsize: 72400
[startup+540.252 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16631 0 0 0 53976 52 0 0 25 0 1 0 725245193 74137600 16608 4294967295 134512640 134581331 3221221792 3221220704 134519025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18100 16608 566 18 0 18082 0
vsize: 72400
[startup+550.252 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16631 0 0 0 54976 53 0 0 25 0 1 0 725245193 74137600 16608 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18100 16608 566 18 0 18082 0
vsize: 72400
[startup+560.252 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16631 0 0 0 55976 53 0 0 25 0 1 0 725245193 74137600 16608 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18100 16608 566 18 0 18082 0
vsize: 72400
[startup+570.253 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 16874 0 0 0 56976 53 0 0 25 0 1 0 725245193 75227136 16851 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18366 16851 566 18 0 18348 0
vsize: 73464
[startup+580.253 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 17257 0 0 0 57975 54 0 0 25 0 1 0 725245193 76812288 17234 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18753 17234 566 18 0 18735 0
vsize: 75012
[startup+590.253 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 17496 0 0 0 58976 54 0 0 25 0 1 0 725245193 77754368 17473 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18983 17473 566 18 0 18965 0
vsize: 75932
[startup+600.254 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 17739 0 0 0 59975 55 0 0 25 0 1 0 725245193 78757888 17716 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19228 17716 566 18 0 19210 0
vsize: 76912
[startup+610.253 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 18085 0 0 0 60975 55 0 0 25 0 1 0 725245193 80146432 18062 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19567 18062 566 18 0 19549 0
vsize: 78268
[startup+620.254 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 18342 0 0 0 61974 56 0 0 25 0 1 0 725245193 81235968 18319 4294967295 134512640 134581331 3221221792 3221220512 134522337 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19833 18319 566 18 0 19815 0
vsize: 79332
[startup+630.254 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 18589 0 0 0 62975 56 0 0 25 0 1 0 725245193 82329600 18566 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20100 18566 566 18 0 20082 0
vsize: 80400
[startup+640.254 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 18850 0 0 0 63974 56 0 0 25 0 1 0 725245193 83415040 18827 4294967295 134512640 134581331 3221221792 3221220428 1075289350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20365 18827 566 18 0 20347 0
vsize: 81460
[startup+650.254 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 19050 0 0 0 64973 57 0 0 25 0 1 0 725245193 84226048 19027 4294967295 134512640 134581331 3221221792 3221220784 134561138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20563 19027 566 18 0 20545 0
vsize: 82252
[startup+660.254 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 19336 0 0 0 65973 58 0 0 25 0 1 0 725245193 85463040 19313 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20865 19313 566 18 0 20847 0
vsize: 83460
[startup+670.255 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 19505 0 0 0 66973 59 0 0 25 0 1 0 725245193 86142976 19482 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21031 19482 566 18 0 21013 0
vsize: 84124
[startup+680.255 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 7972
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 19724 0 0 0 67972 59 0 0 25 0 1 0 725245193 86949888 19701 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21228 19701 566 18 0 21210 0
vsize: 84912
[startup+690.256 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 20052 0 0 0 68972 60 0 0 25 0 1 0 725245193 88297472 20029 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21557 20029 566 18 0 21539 0
vsize: 86228
[startup+700.256 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 20265 0 0 0 69971 61 0 0 25 0 1 0 725245193 89239552 20242 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21787 20242 566 18 0 21769 0
vsize: 87148
[startup+710.256 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 20521 0 0 0 70970 61 0 0 25 0 1 0 725245193 90320896 20498 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22051 20498 566 18 0 22033 0
vsize: 88204
[startup+720.257 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 20827 0 0 0 71970 62 0 0 25 0 1 0 725245193 91537408 20804 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22348 20804 566 18 0 22330 0
vsize: 89392
[startup+730.256 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21084 0 0 0 72969 64 0 0 25 0 1 0 725245193 92626944 21061 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22614 21061 566 18 0 22596 0
vsize: 90456
[startup+740.258 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21347 0 0 0 73968 64 0 0 25 0 1 0 725245193 93716480 21324 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22880 21324 566 18 0 22862 0
vsize: 91520
[startup+750.258 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21540 0 0 0 74968 65 0 0 25 0 1 0 725245193 94547968 21517 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21517 566 18 0 23065 0
vsize: 92332
[startup+760.258 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21541 0 0 0 75967 65 0 0 25 0 1 0 725245193 94547968 21518 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21518 566 18 0 23065 0
vsize: 92332
[startup+770.259 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21543 0 0 0 76967 66 0 0 25 0 1 0 725245193 94547968 21520 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21520 566 18 0 23065 0
vsize: 92332
[startup+780.259 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21543 0 0 0 77967 66 0 0 25 0 1 0 725245193 94547968 21520 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21520 566 18 0 23065 0
vsize: 92332
[startup+790.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21543 0 0 0 78967 66 0 0 25 0 1 0 725245193 94547968 21520 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21520 566 18 0 23065 0
vsize: 92332
[startup+800.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21543 0 0 0 79967 67 0 0 25 0 1 0 725245193 94547968 21520 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21520 566 18 0 23065 0
vsize: 92332
[startup+810.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21543 0 0 0 80967 67 0 0 25 0 1 0 725245193 94547968 21520 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21520 566 18 0 23065 0
vsize: 92332
[startup+820.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21543 0 0 0 81967 67 0 0 25 0 1 0 725245193 94547968 21520 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21520 566 18 0 23065 0
vsize: 92332
[startup+830.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21543 0 0 0 82967 67 0 0 25 0 1 0 725245193 94547968 21520 4294967295 134512640 134581331 3221221792 3221220720 134519950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21520 566 18 0 23065 0
vsize: 92332
[startup+840.261 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21543 0 0 0 83967 67 0 0 25 0 1 0 725245193 94547968 21520 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21520 566 18 0 23065 0
vsize: 92332
[startup+850.262 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21543 0 0 0 84967 67 0 0 25 0 1 0 725245193 94547968 21520 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21520 566 18 0 23065 0
vsize: 92332
[startup+860.262 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21543 0 0 0 85967 67 0 0 25 0 1 0 725245193 94547968 21520 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21520 566 18 0 23065 0
vsize: 92332
[startup+870.263 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21543 0 0 0 86967 68 0 0 25 0 1 0 725245193 94547968 21520 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21520 566 18 0 23065 0
vsize: 92332
[startup+880.263 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21543 0 0 0 87967 68 0 0 25 0 1 0 725245193 94547968 21520 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21520 566 18 0 23065 0
vsize: 92332
[startup+890.264 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21543 0 0 0 88968 68 0 0 25 0 1 0 725245193 94547968 21520 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21520 566 18 0 23065 0
vsize: 92332
[startup+900.263 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21543 0 0 0 89967 68 0 0 25 0 1 0 725245193 94547968 21520 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21520 566 18 0 23065 0
vsize: 92332
[startup+910.264 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21543 0 0 0 90967 68 0 0 25 0 1 0 725245193 94547968 21520 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21520 566 18 0 23065 0
vsize: 92332
[startup+920.264 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21543 0 0 0 91967 69 0 0 25 0 1 0 725245193 94547968 21520 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21520 566 18 0 23065 0
vsize: 92332
[startup+930.264 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21543 0 0 0 92967 69 0 0 25 0 1 0 725245193 94547968 21520 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21520 566 18 0 23065 0
vsize: 92332
[startup+940.264 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21543 0 0 0 93967 69 0 0 25 0 1 0 725245193 94547968 21520 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21520 566 18 0 23065 0
vsize: 92332
[startup+950.266 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21543 0 0 0 94967 69 0 0 25 0 1 0 725245193 94547968 21520 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21520 566 18 0 23065 0
vsize: 92332
[startup+960.265 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21546 0 0 0 95967 69 0 0 25 0 1 0 725245193 94547968 21523 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21523 566 18 0 23065 0
vsize: 92332
[startup+970.265 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21546 0 0 0 96968 69 0 0 25 0 1 0 725245193 94547968 21523 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21523 566 18 0 23065 0
vsize: 92332
[startup+980.265 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21546 0 0 0 97968 69 0 0 25 0 1 0 725245193 94547968 21523 4294967295 134512640 134581331 3221221792 3221220720 134520092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21523 566 18 0 23065 0
vsize: 92332
[startup+990.266 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21546 0 0 0 98968 69 0 0 25 0 1 0 725245193 94547968 21523 4294967295 134512640 134581331 3221221792 3221220784 134561140 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21523 566 18 0 23065 0
vsize: 92332
[startup+1000.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21546 0 0 0 99968 69 0 0 25 0 1 0 725245193 94547968 21523 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21523 566 18 0 23065 0
vsize: 92332
[startup+1010.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21546 0 0 0 100968 70 0 0 25 0 1 0 725245193 94547968 21523 4294967295 134512640 134581331 3221221792 3221220512 134523365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21523 566 18 0 23065 0
vsize: 92332
[startup+1020.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21546 0 0 0 101968 70 0 0 25 0 1 0 725245193 94547968 21523 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21523 566 18 0 23065 0
vsize: 92332
[startup+1030.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21546 0 0 0 102968 70 0 0 25 0 1 0 725245193 94547968 21523 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21523 566 18 0 23065 0
vsize: 92332
[startup+1040.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21546 0 0 0 103968 70 0 0 25 0 1 0 725245193 94547968 21523 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21523 566 18 0 23065 0
vsize: 92332
[startup+1050.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21546 0 0 0 104968 70 0 0 25 0 1 0 725245193 94547968 21523 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21523 566 18 0 23065 0
vsize: 92332
[startup+1060.27 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21546 0 0 0 105968 71 0 0 25 0 1 0 725245193 94547968 21523 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21523 566 18 0 23065 0
vsize: 92332
[startup+1070.27 s]
Raw data (loadavg): 1.06 1.02 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21546 0 0 0 106968 71 0 0 25 0 1 0 725245193 94547968 21523 4294967295 134512640 134581331 3221221792 3221220772 134560793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21523 566 18 0 23065 0
vsize: 92332
[startup+1080.27 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21546 0 0 0 107968 71 0 0 25 0 1 0 725245193 94547968 21523 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21523 566 18 0 23065 0
vsize: 92332
[startup+1090.27 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21546 0 0 0 108968 71 0 0 25 0 1 0 725245193 94547968 21523 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21523 566 18 0 23065 0
vsize: 92332
[startup+1100.27 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21547 0 0 0 109968 71 0 0 25 0 1 0 725245193 94547968 21524 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21524 566 18 0 23065 0
vsize: 92332
[startup+1110.27 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21548 0 0 0 110968 71 0 0 25 0 1 0 725245193 94547968 21525 4294967295 134512640 134581331 3221221792 3221220720 134519950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21525 566 18 0 23065 0
vsize: 92332
[startup+1120.27 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21550 0 0 0 111968 71 0 0 25 0 1 0 725245193 94547968 21527 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21527 566 18 0 23065 0
vsize: 92332
[startup+1130.27 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21550 0 0 0 112968 71 0 0 25 0 1 0 725245193 94547968 21527 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21527 566 18 0 23065 0
vsize: 92332
[startup+1140.27 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21550 0 0 0 113969 71 0 0 25 0 1 0 725245193 94547968 21527 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21527 566 18 0 23065 0
vsize: 92332
[startup+1150.27 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21550 0 0 0 114969 71 0 0 25 0 1 0 725245193 94547968 21527 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21527 566 18 0 23065 0
vsize: 92332
[startup+1160.27 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21550 0 0 0 115969 72 0 0 25 0 1 0 725245193 94547968 21527 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21527 566 18 0 23065 0
vsize: 92332
[startup+1170.27 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21550 0 0 0 116969 72 0 0 25 0 1 0 725245193 94547968 21527 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23083 21527 566 18 0 23065 0
vsize: 92332
[startup+1180.27 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21705 0 0 0 117968 72 0 0 25 0 1 0 725245193 95072256 21682 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23211 21682 566 18 0 23193 0
vsize: 92844
[startup+1188.93 s]
Raw data (loadavg): 1.01 1.00 1.00 1/54 7974
Raw data (stat): 7917 (Pueblo) R 7916 7876 7672 0 -1 0 21705 0 0 0 117968 72 0 0 25 0 1 0 725245193 95072256 21682 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23211 21682 566 18 0 23193 0
vsize: 0

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