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-1.opb
MD5SUM	16a8eb66aae2bcfd534a482dd0a3948e
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	27856
Number of constraints which are clauses	27856
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 24735

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 07:14:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2869 boxname=wulflinc31 idbench=319 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  16a8eb66aae2bcfd534a482dd0a3948e  /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-1.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-1.opb
IDLAUNCH: 2869
/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:        895292 kB
Buffers:         30268 kB
Cached:          87748 kB
SwapCached:       1936 kB
Active:          79112 kB
Inactive:        42076 kB
HighTotal:      131008 kB
HighFree:        42420 kB
LowTotal:       903652 kB
LowFree:        852872 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12568 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 07:34:22 (client local time) WITH STATUS 10 IN 1189.09 SECONDS
stats: 2869 0 1189.09 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-1.opb
c #variables read: 595 - #constraints read: 27857
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.99 2/55 7378
Raw data (stat): 7378 (runsolver) R 7377 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 724644352 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.0012 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 1574 0 0 0 991 5 0 0 25 0 1 0 724644352 12054528 1551 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2943 1551 566 18 0 2925 0
vsize: 11772
[startup+20.0021 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 2648 0 0 0 1988 8 0 0 25 0 1 0 724644352 16502784 2625 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4029 2625 566 18 0 4011 0
vsize: 16116
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 3479 0 0 0 2986 10 0 0 25 0 1 0 724644352 20000768 3456 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4883 3456 566 18 0 4865 0
vsize: 19532
[startup+40.0029 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 4381 0 0 0 3983 14 0 0 25 0 1 0 724644352 23658496 4358 4294967295 134512640 134581331 3221221792 3221220512 134523407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5776 4358 566 18 0 5758 0
vsize: 23104
[startup+50.0029 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 5251 0 0 0 4980 16 0 0 25 0 1 0 724644352 27209728 5228 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6643 5228 566 18 0 6625 0
vsize: 26572
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 6390 0 0 0 5977 20 0 0 25 0 1 0 724644352 31879168 6367 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7783 6367 566 18 0 7765 0
vsize: 31132
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 7121 0 0 0 6975 22 0 0 25 0 1 0 724644352 34926592 7098 4294967295 134512640 134581331 3221221792 3221220512 134522603 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8527 7098 566 18 0 8509 0
vsize: 34108
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 7665 0 0 0 7973 24 0 0 25 0 1 0 724644352 37085184 7642 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9054 7642 566 18 0 9036 0
vsize: 36216
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 8235 0 0 0 8971 26 0 0 25 0 1 0 724644352 39645184 8212 4294967295 134512640 134581331 3221221792 3221220656 134528457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9679 8212 566 18 0 9661 0
vsize: 38716
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 9058 0 0 0 9970 27 0 0 25 0 1 0 724644352 43024384 9035 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10504 9035 566 18 0 10486 0
vsize: 42016
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 9707 0 0 0 10969 29 0 0 25 0 1 0 724644352 45740032 9684 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11167 9684 566 18 0 11149 0
vsize: 44668
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 10299 0 0 0 11967 30 0 0 25 0 1 0 724644352 48164864 10276 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11759 10276 566 18 0 11741 0
vsize: 47036
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 11025 0 0 0 12967 31 0 0 25 0 1 0 724644352 51113984 11002 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12479 11002 566 18 0 12461 0
vsize: 49916
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 11694 0 0 0 13965 33 0 0 25 0 1 0 724644352 53788672 11671 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13132 11671 566 18 0 13114 0
vsize: 52528
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 12056 0 0 0 14964 35 0 0 25 0 1 0 724644352 55373824 12033 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13519 12033 566 18 0 13501 0
vsize: 54076
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 12587 0 0 0 15962 36 0 0 25 0 1 0 724644352 57507840 12564 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14040 12564 566 18 0 14022 0
vsize: 56160
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 13064 0 0 0 16961 38 0 0 25 0 1 0 724644352 59555840 13041 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14540 13041 566 18 0 14522 0
vsize: 58160
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 13483 0 0 0 17959 39 0 0 25 0 1 0 724644352 61190144 13460 4294967295 134512640 134581331 3221221792 3221220672 134520246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14939 13460 566 18 0 14921 0
vsize: 59756
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 13961 0 0 0 18959 41 0 0 25 0 1 0 724644352 63188992 13938 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15427 13938 566 18 0 15409 0
vsize: 61708
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 14505 0 0 0 19957 43 0 0 25 0 1 0 724644352 65437696 14482 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15976 14482 566 18 0 15958 0
vsize: 63904
[startup+210.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 15050 0 0 0 20956 44 0 0 25 0 1 0 724644352 67588096 15027 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16501 15027 566 18 0 16483 0
vsize: 66004
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 15658 0 0 0 21954 46 0 0 25 0 1 0 724644352 70180864 15635 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17134 15635 566 18 0 17116 0
vsize: 68536
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 16204 0 0 0 22952 48 0 0 25 0 1 0 724644352 72568832 16181 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16181 566 18 0 17699 0
vsize: 70868
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 16931 0 0 0 23951 50 0 0 25 0 1 0 724644352 75616256 16908 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18461 16908 566 18 0 18443 0
vsize: 73844
[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 17641 0 0 0 24949 52 0 0 25 0 1 0 724644352 78540800 17618 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19175 17618 566 18 0 19157 0
vsize: 76700
[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 18364 0 0 0 25947 54 0 0 25 0 1 0 724644352 81641472 18341 4294967295 134512640 134581331 3221221792 3221220704 134519025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19932 18341 566 18 0 19914 0
vsize: 79728
[startup+270.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 18821 0 0 0 26946 55 0 0 25 0 1 0 724644352 83476480 18798 4294967295 134512640 134581331 3221221792 3221220752 134516751 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20380 18798 566 18 0 20362 0
vsize: 81520
[startup+280.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 18821 0 0 0 27945 56 0 0 25 0 1 0 724644352 83476480 18798 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20380 18798 566 18 0 20362 0
vsize: 81520
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 18821 0 0 0 28945 56 0 0 25 0 1 0 724644352 83476480 18798 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20380 18798 566 18 0 20362 0
vsize: 81520
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 18821 0 0 0 29945 56 0 0 25 0 1 0 724644352 83476480 18798 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20380 18798 566 18 0 20362 0
vsize: 81520
[startup+310.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 18821 0 0 0 30945 57 0 0 25 0 1 0 724644352 83476480 18798 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20380 18798 566 18 0 20362 0
vsize: 81520
[startup+320.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 18821 0 0 0 31945 57 0 0 25 0 1 0 724644352 83476480 18798 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20380 18798 566 18 0 20362 0
vsize: 81520
[startup+330.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 18821 0 0 0 32945 57 0 0 25 0 1 0 724644352 83476480 18798 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20380 18798 566 18 0 20362 0
vsize: 81520
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 18821 0 0 0 33945 57 0 0 25 0 1 0 724644352 83476480 18798 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20380 18798 566 18 0 20362 0
vsize: 81520
[startup+350.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 18821 0 0 0 34945 58 0 0 25 0 1 0 724644352 83476480 18798 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20380 18798 566 18 0 20362 0
vsize: 81520
[startup+360.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 18821 0 0 0 35944 58 0 0 25 0 1 0 724644352 83476480 18798 4294967295 134512640 134581331 3221221792 3221220704 134527692 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20380 18798 566 18 0 20362 0
vsize: 81520
[startup+370.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 18821 0 0 0 36944 58 0 0 25 0 1 0 724644352 83476480 18798 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20380 18798 566 18 0 20362 0
vsize: 81520
[startup+380.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 18821 0 0 0 37944 59 0 0 25 0 1 0 724644352 83476480 18798 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20380 18798 566 18 0 20362 0
vsize: 81520
[startup+390.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 18821 0 0 0 38944 59 0 0 25 0 1 0 724644352 83476480 18798 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20380 18798 566 18 0 20362 0
vsize: 81520
[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 18821 0 0 0 39944 59 0 0 25 0 1 0 724644352 83476480 18798 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20380 18798 566 18 0 20362 0
vsize: 81520
[startup+410.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 18821 0 0 0 40944 60 0 0 25 0 1 0 724644352 83476480 18798 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20380 18798 566 18 0 20362 0
vsize: 81520
[startup+420.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 18821 0 0 0 41943 60 0 0 25 0 1 0 724644352 83476480 18798 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20380 18798 566 18 0 20362 0
vsize: 81520
[startup+430.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 18895 0 0 0 42943 60 0 0 25 0 1 0 724644352 83738624 18872 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20444 18872 566 18 0 20426 0
vsize: 81776
[startup+440.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 19346 0 0 0 43942 62 0 0 25 0 1 0 724644352 85610496 19323 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20901 19323 566 18 0 20883 0
vsize: 83604
[startup+450.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 19751 0 0 0 44941 63 0 0 25 0 1 0 724644352 87326720 19728 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21320 19728 566 18 0 21302 0
vsize: 85280
[startup+460.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 20509 0 0 0 45939 65 0 0 25 0 1 0 724644352 90411008 20486 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22073 20486 566 18 0 22055 0
vsize: 88292
[startup+470.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 21069 0 0 0 46937 68 0 0 25 0 1 0 724644352 92651520 21046 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22620 21046 566 18 0 22602 0
vsize: 90480
[startup+480.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 21588 0 0 0 47936 69 0 0 25 0 1 0 724644352 94879744 21565 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23164 21565 566 18 0 23146 0
vsize: 92656
[startup+490.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22030 0 0 0 48935 70 0 0 25 0 1 0 724644352 96821248 22007 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23638 22007 566 18 0 23620 0
vsize: 94552
[startup+500.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22173 0 0 0 49934 71 0 0 25 0 1 0 724644352 97345536 22150 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22150 566 18 0 23748 0
vsize: 95064
[startup+510.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22173 0 0 0 50934 71 0 0 25 0 1 0 724644352 97345536 22150 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22150 566 18 0 23748 0
vsize: 95064
[startup+520.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22173 0 0 0 51934 71 0 0 25 0 1 0 724644352 97345536 22150 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22150 566 18 0 23748 0
vsize: 95064
[startup+530.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22173 0 0 0 52934 72 0 0 25 0 1 0 724644352 97345536 22150 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22150 566 18 0 23748 0
vsize: 95064
[startup+540.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22173 0 0 0 53934 72 0 0 25 0 1 0 724644352 97345536 22150 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22150 566 18 0 23748 0
vsize: 95064
[startup+550.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22173 0 0 0 54934 72 0 0 25 0 1 0 724644352 97345536 22150 4294967295 134512640 134581331 3221221792 3221220576 134528936 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22150 566 18 0 23748 0
vsize: 95064
[startup+560.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22173 0 0 0 55934 72 0 0 25 0 1 0 724644352 97345536 22150 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22150 566 18 0 23748 0
vsize: 95064
[startup+570.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22173 0 0 0 56934 72 0 0 25 0 1 0 724644352 97345536 22150 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22150 566 18 0 23748 0
vsize: 95064
[startup+580.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22173 0 0 0 57934 73 0 0 25 0 1 0 724644352 97345536 22150 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22150 566 18 0 23748 0
vsize: 95064
[startup+590.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22173 0 0 0 58934 73 0 0 25 0 1 0 724644352 97345536 22150 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22150 566 18 0 23748 0
vsize: 95064
[startup+600.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22173 0 0 0 59934 73 0 0 25 0 1 0 724644352 97345536 22150 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22150 566 18 0 23748 0
vsize: 95064
[startup+610.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22174 0 0 0 60934 73 0 0 25 0 1 0 724644352 97345536 22151 4294967295 134512640 134581331 3221221792 3221220508 1075288800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22151 566 18 0 23748 0
vsize: 95064
[startup+620.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22174 0 0 0 61934 73 0 0 25 0 1 0 724644352 97345536 22151 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22151 566 18 0 23748 0
vsize: 95064
[startup+630.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22174 0 0 0 62934 73 0 0 25 0 1 0 724644352 97345536 22151 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22151 566 18 0 23748 0
vsize: 95064
[startup+640.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22174 0 0 0 63934 73 0 0 25 0 1 0 724644352 97345536 22151 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22151 566 18 0 23748 0
vsize: 95064
[startup+650.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22174 0 0 0 64934 73 0 0 25 0 1 0 724644352 97345536 22151 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22151 566 18 0 23748 0
vsize: 95064
[startup+660.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22174 0 0 0 65934 74 0 0 25 0 1 0 724644352 97345536 22151 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22151 566 18 0 23748 0
vsize: 95064
[startup+670.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22174 0 0 0 66934 74 0 0 25 0 1 0 724644352 97345536 22151 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22151 566 18 0 23748 0
vsize: 95064
[startup+680.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22174 0 0 0 67934 75 0 0 25 0 1 0 724644352 97345536 22151 4294967295 134512640 134581331 3221221792 3221220508 1075289350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22151 566 18 0 23748 0
vsize: 95064
[startup+690.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22174 0 0 0 68934 75 0 0 25 0 1 0 724644352 97345536 22151 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22151 566 18 0 23748 0
vsize: 95064
[startup+700.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22175 0 0 0 69934 75 0 0 25 0 1 0 724644352 97345536 22152 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22152 566 18 0 23748 0
vsize: 95064
[startup+710.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22176 0 0 0 70934 75 0 0 25 0 1 0 724644352 97345536 22153 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22153 566 18 0 23748 0
vsize: 95064
[startup+720.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22176 0 0 0 71934 75 0 0 25 0 1 0 724644352 97345536 22153 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22153 566 18 0 23748 0
vsize: 95064
[startup+730.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22176 0 0 0 72934 75 0 0 25 0 1 0 724644352 97345536 22153 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22153 566 18 0 23748 0
vsize: 95064
[startup+740.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22176 0 0 0 73933 76 0 0 25 0 1 0 724644352 97345536 22153 4294967295 134512640 134581331 3221221792 3221220584 1075289306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22153 566 18 0 23748 0
vsize: 95064
[startup+750.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22179 0 0 0 74933 76 0 0 25 0 1 0 724644352 97345536 22156 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22156 566 18 0 23748 0
vsize: 95064
[startup+760.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22182 0 0 0 75933 77 0 0 25 0 1 0 724644352 97345536 22159 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22159 566 18 0 23748 0
vsize: 95064
[startup+770.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22183 0 0 0 76933 77 0 0 25 0 1 0 724644352 97345536 22160 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22160 566 18 0 23748 0
vsize: 95064
[startup+780.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22185 0 0 0 77933 77 0 0 25 0 1 0 724644352 97345536 22162 4294967295 134512640 134581331 3221221792 3221220704 134527647 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23766 22162 566 18 0 23748 0
vsize: 95064
[startup+790.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22268 0 0 0 78933 78 0 0 25 0 1 0 724644352 97611776 22245 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23831 22245 566 18 0 23813 0
vsize: 95324
[startup+800.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22745 0 0 0 79932 78 0 0 25 0 1 0 724644352 99635200 22722 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24325 22722 566 18 0 24307 0
vsize: 97300
[startup+810.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22928 0 0 0 80932 79 0 0 25 0 1 0 724644352 100298752 22905 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22905 566 18 0 24469 0
vsize: 97948
[startup+820.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22928 0 0 0 81932 79 0 0 25 0 1 0 724644352 100298752 22905 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22905 566 18 0 24469 0
vsize: 97948
[startup+830.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22928 0 0 0 82931 80 0 0 25 0 1 0 724644352 100298752 22905 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22905 566 18 0 24469 0
vsize: 97948
[startup+840.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22928 0 0 0 83931 80 0 0 25 0 1 0 724644352 100298752 22905 4294967295 134512640 134581331 3221221792 3221220704 134527355 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22905 566 18 0 24469 0
vsize: 97948
[startup+850.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22928 0 0 0 84931 80 0 0 25 0 1 0 724644352 100298752 22905 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22905 566 18 0 24469 0
vsize: 97948
[startup+860.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22928 0 0 0 85931 81 0 0 25 0 1 0 724644352 100298752 22905 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22905 566 18 0 24469 0
vsize: 97948
[startup+870.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22928 0 0 0 86931 81 0 0 25 0 1 0 724644352 100298752 22905 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22905 566 18 0 24469 0
vsize: 97948
[startup+880.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22929 0 0 0 87931 81 0 0 25 0 1 0 724644352 100298752 22906 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22906 566 18 0 24469 0
vsize: 97948
[startup+890.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22929 0 0 0 88931 81 0 0 25 0 1 0 724644352 100298752 22906 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22906 566 18 0 24469 0
vsize: 97948
[startup+900.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22929 0 0 0 89931 82 0 0 25 0 1 0 724644352 100298752 22906 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22906 566 18 0 24469 0
vsize: 97948
[startup+910.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22932 0 0 0 90931 82 0 0 25 0 1 0 724644352 100298752 22909 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22909 566 18 0 24469 0
vsize: 97948
[startup+920.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22932 0 0 0 91931 82 0 0 25 0 1 0 724644352 100298752 22909 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22909 566 18 0 24469 0
vsize: 97948
[startup+930.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22933 0 0 0 92931 82 0 0 25 0 1 0 724644352 100298752 22910 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22910 566 18 0 24469 0
vsize: 97948
[startup+940.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22934 0 0 0 93931 82 0 0 25 0 1 0 724644352 100298752 22911 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22911 566 18 0 24469 0
vsize: 97948
[startup+950.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22934 0 0 0 94931 82 0 0 25 0 1 0 724644352 100298752 22911 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22911 566 18 0 24469 0
vsize: 97948
[startup+960.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22934 0 0 0 95931 83 0 0 25 0 1 0 724644352 100298752 22911 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22911 566 18 0 24469 0
vsize: 97948
[startup+970.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22934 0 0 0 96931 83 0 0 25 0 1 0 724644352 100298752 22911 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22911 566 18 0 24469 0
vsize: 97948
[startup+980.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22934 0 0 0 97931 83 0 0 25 0 1 0 724644352 100298752 22911 4294967295 134512640 134581331 3221221792 3221220676 134557901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22911 566 18 0 24469 0
vsize: 97948
[startup+990.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22934 0 0 0 98930 84 0 0 25 0 1 0 724644352 100298752 22911 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22911 566 18 0 24469 0
vsize: 97948
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22934 0 0 0 99931 84 0 0 25 0 1 0 724644352 100298752 22911 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22911 566 18 0 24469 0
vsize: 97948
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22934 0 0 0 100931 84 0 0 25 0 1 0 724644352 100298752 22911 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22911 566 18 0 24469 0
vsize: 97948
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22939 0 0 0 101930 84 0 0 25 0 1 0 724644352 100298752 22916 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22916 566 18 0 24469 0
vsize: 97948
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22940 0 0 0 102930 84 0 0 25 0 1 0 724644352 100298752 22917 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22917 566 18 0 24469 0
vsize: 97948
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22940 0 0 0 103931 85 0 0 25 0 1 0 724644352 100298752 22917 4294967295 134512640 134581331 3221221792 3221220736 134559660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22917 566 18 0 24469 0
vsize: 97948
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22942 0 0 0 104930 85 0 0 25 0 1 0 724644352 100298752 22919 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22919 566 18 0 24469 0
vsize: 97948
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22942 0 0 0 105930 85 0 0 25 0 1 0 724644352 100298752 22919 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22919 566 18 0 24469 0
vsize: 97948
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22942 0 0 0 106930 85 0 0 25 0 1 0 724644352 100298752 22919 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22919 566 18 0 24469 0
vsize: 97948
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22943 0 0 0 107930 85 0 0 25 0 1 0 724644352 100298752 22920 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22920 566 18 0 24469 0
vsize: 97948
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22943 0 0 0 108930 86 0 0 25 0 1 0 724644352 100298752 22920 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22920 566 18 0 24469 0
vsize: 97948
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 22943 0 0 0 109930 86 0 0 25 0 1 0 724644352 100298752 22920 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24487 22920 566 18 0 24469 0
vsize: 97948
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 23082 0 0 0 110930 86 0 0 25 0 1 0 724644352 100978688 23059 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24653 23059 566 18 0 24635 0
vsize: 98612
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 23622 0 0 0 111929 87 0 0 25 0 1 0 724644352 103133184 23599 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25179 23599 566 18 0 25161 0
vsize: 100716
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 24007 0 0 0 112929 88 0 0 25 0 1 0 724644352 104857600 23984 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25600 23984 566 18 0 25582 0
vsize: 102400
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 24322 0 0 0 113928 89 0 0 25 0 1 0 724644352 106172416 24299 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25921 24299 566 18 0 25903 0
vsize: 103684
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 24870 0 0 0 114928 89 0 0 25 0 1 0 724644352 108318720 24847 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26445 24847 566 18 0 26427 0
vsize: 105780
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 25165 0 0 0 115927 90 0 0 25 0 1 0 724644352 109510656 25142 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26736 25142 566 18 0 26718 0
vsize: 106944
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 25586 0 0 0 116926 92 0 0 25 0 1 0 724644352 111349760 25563 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27185 25563 566 18 0 27167 0
vsize: 108740
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 25806 0 0 0 117925 92 0 0 25 0 1 0 724644352 112148480 25783 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27380 25783 566 18 0 27362 0
vsize: 109520
[startup+1188.94 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 7378
Raw data (stat): 7378 (Pueblo) R 7377 7876 7672 0 -1 0 25806 0 0 0 117925 92 0 0 25 0 1 0 724644352 112148480 25783 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27380 25783 566 18 0 27362 0
vsize: 0

Child status: 10
Real time (s): 1188.94
CPU time (s): 1189.09
CPU user time (s): 1188.11
CPU system time (s): 0.978851
CPU usage (%): 100.012
Max. virtual memory (Kb): 109520
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-11
#### END VERIFIER DATA ####