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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
MD5SUM25457db86ce3cc3b7604dfa37c8096b4
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
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 numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.05
Number of variables595
Total number of constraints27931
Number of constraints which are clauses27931
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2

Trace number 38525

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        636444 kB
Buffers:         34444 kB
Cached:         339732 kB
SwapCached:        640 kB
Active:          68616 kB
Inactive:       307784 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        636192 kB
SwapTotal:     2097136 kB
SwapFree:      2095412 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5820 kB
Slab:            16132 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 12:22:34 (client local time) WITH STATUS 10 IN 1189.07 SECONDS
stats: 26591 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/wulflinc1/normalized-frb35-17-3.opb
c #variables read: 595 - #constraints read: 27932
s SATISFIABLE
v -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 C409 -C408 C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 -C30 -C29 -C28 -C27 -C26 -C25 -C24 -C23 -C22 -C21 C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 -C11 C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.90 2/55 3583
Raw data (stat): 3583 (runsolver) R 3582 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 792777585 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99948 s]
Raw data (loadavg): 0.87 0.94 0.90 2/55 3583
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 4183 0 0 0 989 9 0 0 25 0 1 0 792777585 22839296 4157 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5576 4157 566 18 0 5558 0
vsize: 22304
[startup+20.0002 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 3583
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 6811 0 0 0 1982 17 0 0 25 0 1 0 792777585 33734656 6785 4294967295 134512640 134581267 3221224592 3221223456 134528343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8236 6785 566 18 0 8218 0
vsize: 32944
[startup+30 s]
Raw data (loadavg): 0.90 0.94 0.90 2/55 3583
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 10157 0 0 0 2973 25 0 0 25 0 1 0 792777585 47484928 10131 4294967295 134512640 134581267 3221224592 3221223536 134559412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11593 10131 566 18 0 11575 0
vsize: 46372
[startup+39.9998 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 3583
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 13463 0 0 0 3966 33 0 0 25 0 1 0 792777585 61124608 13437 4294967295 134512640 134581267 3221224592 3221223368 1075291826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14923 13437 566 18 0 14905 0
vsize: 59692
[startup+49.9996 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 3583
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 14300 0 0 0 4964 35 0 0 25 0 1 0 792777585 64573440 14274 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15765 14274 566 18 0 15747 0
vsize: 63060
[startup+59.9993 s]
Raw data (loadavg): 0.94 0.95 0.90 2/55 3583
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 16140 0 0 0 5960 39 0 0 25 0 1 0 792777585 72216576 16114 4294967295 134512640 134581267 3221224592 3221223404 1075285664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17631 16114 566 18 0 17613 0
vsize: 70524
[startup+70.0002 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 3583
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 16642 0 0 0 6959 41 0 0 25 0 1 0 792777585 74252288 16616 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18128 16616 566 18 0 18110 0
vsize: 72512
[startup+80 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 3583
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 16642 0 0 0 7959 41 0 0 25 0 1 0 792777585 74252288 16616 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18128 16616 566 18 0 18110 0
vsize: 72512
[startup+89.9998 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 3583
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 16642 0 0 0 8958 42 0 0 25 0 1 0 792777585 74252288 16616 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18128 16616 566 18 0 18110 0
vsize: 72512
[startup+99.9995 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 3583
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 16642 0 0 0 9957 42 0 0 25 0 1 0 792777585 74252288 16616 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18128 16616 566 18 0 18110 0
vsize: 72512
[startup+109.999 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 3583
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 16643 0 0 0 10957 43 0 0 25 0 1 0 792777585 74252288 16617 4294967295 134512640 134581267 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18128 16617 566 18 0 18110 0
vsize: 72512
[startup+119.999 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 3583
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 17478 0 0 0 11955 45 0 0 25 0 1 0 792777585 77676544 17452 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18964 17452 566 18 0 18946 0
vsize: 75856
[startup+129.999 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 3583
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 19570 0 0 0 12948 52 0 0 25 0 1 0 792777585 86159360 19544 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21035 19544 566 18 0 21017 0
vsize: 84140
[startup+140 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 3583
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 20164 0 0 0 13947 54 0 0 25 0 1 0 792777585 88580096 20138 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21626 20138 566 18 0 21608 0
vsize: 86504
[startup+150 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 3583
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 20164 0 0 0 14946 55 0 0 25 0 1 0 792777585 88580096 20138 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21626 20138 566 18 0 21608 0
vsize: 86504
[startup+160 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 20164 0 0 0 15945 56 0 0 25 0 1 0 792777585 88580096 20138 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21626 20138 566 18 0 21608 0
vsize: 86504
[startup+170 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 20164 0 0 0 16945 57 0 0 25 0 1 0 792777585 88580096 20138 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21626 20138 566 18 0 21608 0
vsize: 86504
[startup+180 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 20165 0 0 0 17944 57 0 0 25 0 1 0 792777585 88580096 20139 4294967295 134512640 134581267 3221224592 3221223584 134561043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21626 20139 566 18 0 21608 0
vsize: 86504
[startup+190 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 20313 0 0 0 18943 59 0 0 25 0 1 0 792777585 89223168 20287 4294967295 134512640 134581267 3221224592 3221223552 134516751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21783 20287 566 18 0 21765 0
vsize: 87132
[startup+199.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 20314 0 0 0 19942 59 0 0 25 0 1 0 792777585 89223168 20288 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21783 20288 566 18 0 21765 0
vsize: 87132
[startup+209.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 20314 0 0 0 20941 61 0 0 25 0 1 0 792777585 89223168 20288 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21783 20288 566 18 0 21765 0
vsize: 87132
[startup+220 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 20316 0 0 0 21941 61 0 0 25 0 1 0 792777585 89223168 20290 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21783 20290 566 18 0 21765 0
vsize: 87132
[startup+230 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 20317 0 0 0 22940 62 0 0 25 0 1 0 792777585 89223168 20291 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21783 20291 566 18 0 21765 0
vsize: 87132
[startup+240.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 20317 0 0 0 23940 63 0 0 25 0 1 0 792777585 89223168 20291 4294967295 134512640 134581267 3221224592 3221223536 134558784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21783 20291 566 18 0 21765 0
vsize: 87132
[startup+250.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 20443 0 0 0 24939 63 0 0 25 0 1 0 792777585 89731072 20417 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21907 20417 566 18 0 21889 0
vsize: 87628
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 22228 0 0 0 25936 67 0 0 25 0 1 0 792777585 97157120 22202 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23720 22202 566 18 0 23702 0
vsize: 94880
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 22311 0 0 0 26935 68 0 0 25 0 1 0 792777585 97538048 22285 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23813 22285 566 18 0 23795 0
vsize: 95252
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 22311 0 0 0 27935 68 0 0 25 0 1 0 792777585 97538048 22285 4294967295 134512640 134581267 3221224592 3221223472 134520258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23813 22285 566 18 0 23795 0
vsize: 95252
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 22311 0 0 0 28934 69 0 0 25 0 1 0 792777585 97538048 22285 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23813 22285 566 18 0 23795 0
vsize: 95252
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 22311 0 0 0 29933 71 0 0 25 0 1 0 792777585 97538048 22285 4294967295 134512640 134581267 3221224592 3221223536 134558784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23813 22285 566 18 0 23795 0
vsize: 95252
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 22311 0 0 0 30932 72 0 0 25 0 1 0 792777585 97538048 22285 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23813 22285 566 18 0 23795 0
vsize: 95252
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 24591 0 0 0 31926 78 0 0 25 0 1 0 792777585 106913792 24565 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26102 24565 566 18 0 26084 0
vsize: 104408
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 24591 0 0 0 32926 78 0 0 25 0 1 0 792777585 106913792 24565 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26102 24565 566 18 0 26084 0
vsize: 104408
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 24591 0 0 0 33924 81 0 0 25 0 1 0 792777585 106913792 24565 4294967295 134512640 134581267 3221224592 3221223536 134560035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26102 24565 566 18 0 26084 0
vsize: 104408
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 24591 0 0 0 34922 82 0 0 25 0 1 0 792777585 106913792 24565 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26102 24565 566 18 0 26084 0
vsize: 104408
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 24591 0 0 0 35921 84 0 0 25 0 1 0 792777585 106913792 24565 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26102 24565 566 18 0 26084 0
vsize: 104408
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 24591 0 0 0 36920 85 0 0 25 0 1 0 792777585 106913792 24565 4294967295 134512640 134581267 3221224592 3221223504 134531368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26102 24565 566 18 0 26084 0
vsize: 104408
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 24591 0 0 0 37920 85 0 0 25 0 1 0 792777585 106913792 24565 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26102 24565 566 18 0 26084 0
vsize: 104408
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 24660 0 0 0 38920 86 0 0 25 0 1 0 792777585 107225088 24634 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26178 24634 566 18 0 26160 0
vsize: 104712
[startup+400.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 24884 0 0 0 39919 86 0 0 25 0 1 0 792777585 108249088 24858 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26428 24858 566 18 0 26410 0
vsize: 105712
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 25632 0 0 0 40917 88 0 0 25 0 1 0 792777585 111325184 25606 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27179 25606 566 18 0 27161 0
vsize: 108716
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 26006 0 0 0 41917 89 0 0 25 0 1 0 792777585 112865280 25980 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27555 25980 566 18 0 27537 0
vsize: 110220
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 26444 0 0 0 42915 91 0 0 25 0 1 0 792777585 114659328 26418 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27993 26418 566 18 0 27975 0
vsize: 111972
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 26846 0 0 0 43915 92 0 0 25 0 1 0 792777585 116375552 26820 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28412 26820 566 18 0 28394 0
vsize: 113648
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 27110 0 0 0 44914 93 0 0 25 0 1 0 792777585 117530624 27084 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28694 27084 566 18 0 28676 0
vsize: 114776
[startup+460.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 27110 0 0 0 45913 93 0 0 25 0 1 0 792777585 117530624 27084 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28694 27084 566 18 0 28676 0
vsize: 114776
[startup+470.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 27110 0 0 0 46913 94 0 0 25 0 1 0 792777585 117530624 27084 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28694 27084 566 18 0 28676 0
vsize: 114776
[startup+480.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 27110 0 0 0 47913 94 0 0 25 0 1 0 792777585 117530624 27084 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28694 27084 566 18 0 28676 0
vsize: 114776
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 27111 0 0 0 48913 94 0 0 25 0 1 0 792777585 117530624 27085 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28694 27085 566 18 0 28676 0
vsize: 114776
[startup+500.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 27111 0 0 0 49913 94 0 0 25 0 1 0 792777585 117530624 27085 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28694 27085 566 18 0 28676 0
vsize: 114776
[startup+510.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 27111 0 0 0 50912 95 0 0 25 0 1 0 792777585 117530624 27085 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28694 27085 566 18 0 28676 0
vsize: 114776
[startup+520.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 27111 0 0 0 51911 95 0 0 25 0 1 0 792777585 117530624 27085 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28694 27085 566 18 0 28676 0
vsize: 114776
[startup+530.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 27111 0 0 0 52910 95 0 0 25 0 1 0 792777585 117530624 27085 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28694 27085 566 18 0 28676 0
vsize: 114776
[startup+540.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 27111 0 0 0 53909 97 0 0 25 0 1 0 792777585 117530624 27085 4294967295 134512640 134581267 3221224592 3221223536 134558881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28694 27085 566 18 0 28676 0
vsize: 114776
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 27111 0 0 0 54909 98 0 0 25 0 1 0 792777585 117530624 27085 4294967295 134512640 134581267 3221224592 3221223488 134517779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28694 27085 566 18 0 28676 0
vsize: 114776
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 27111 0 0 0 55908 99 0 0 25 0 1 0 792777585 117530624 27085 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28694 27085 566 18 0 28676 0
vsize: 114776
[startup+570.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 27224 0 0 0 56907 100 0 0 25 0 1 0 792777585 117915648 27198 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28788 27198 566 18 0 28770 0
vsize: 115152
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 27241 0 0 0 57907 100 0 0 25 0 1 0 792777585 118046720 27215 4294967295 134512640 134581267 3221224592 3221223456 134528380 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28820 27215 566 18 0 28802 0
vsize: 115280
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 27241 0 0 0 58907 100 0 0 25 0 1 0 792777585 118046720 27215 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28820 27215 566 18 0 28802 0
vsize: 115280
[startup+600.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 27241 0 0 0 59906 101 0 0 25 0 1 0 792777585 118046720 27215 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28820 27215 566 18 0 28802 0
vsize: 115280
[startup+610.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 27241 0 0 0 60906 101 0 0 25 0 1 0 792777585 118046720 27215 4294967295 134512640 134581267 3221224592 3221223456 134528240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28820 27215 566 18 0 28802 0
vsize: 115280
[startup+620.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 27241 0 0 0 61906 102 0 0 25 0 1 0 792777585 118046720 27215 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28820 27215 566 18 0 28802 0
vsize: 115280
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 27241 0 0 0 62906 102 0 0 25 0 1 0 792777585 118046720 27215 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28820 27215 566 18 0 28802 0
vsize: 115280
[startup+640.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 27241 0 0 0 63905 103 0 0 25 0 1 0 792777585 118046720 27215 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28820 27215 566 18 0 28802 0
vsize: 115280
[startup+650.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 27241 0 0 0 64904 104 0 0 25 0 1 0 792777585 118046720 27215 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28820 27215 566 18 0 28802 0
vsize: 115280
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 27241 0 0 0 65904 104 0 0 25 0 1 0 792777585 118046720 27215 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28820 27215 566 18 0 28802 0
vsize: 115280
[startup+670.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29674 0 0 0 66898 111 0 0 25 0 1 0 792777585 127930368 29648 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31233 29648 566 18 0 31215 0
vsize: 124932
[startup+680.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29823 0 0 0 67898 111 0 0 25 0 1 0 792777585 128573440 29797 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31390 29797 566 18 0 31372 0
vsize: 125560
[startup+690.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29823 0 0 0 68898 111 0 0 25 0 1 0 792777585 128573440 29797 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31390 29797 566 18 0 31372 0
vsize: 125560
[startup+700.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29823 0 0 0 69898 111 0 0 25 0 1 0 792777585 128573440 29797 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31390 29797 566 18 0 31372 0
vsize: 125560
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29823 0 0 0 70898 111 0 0 25 0 1 0 792777585 128573440 29797 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31390 29797 566 18 0 31372 0
vsize: 125560
[startup+720.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29823 0 0 0 71897 112 0 0 25 0 1 0 792777585 128573440 29797 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31390 29797 566 18 0 31372 0
vsize: 125560
[startup+730.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29823 0 0 0 72897 113 0 0 25 0 1 0 792777585 128573440 29797 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31390 29797 566 18 0 31372 0
vsize: 125560
[startup+740.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29823 0 0 0 73896 113 0 0 25 0 1 0 792777585 128573440 29797 4294967295 134512640 134581267 3221224592 3221223472 134520219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31390 29797 566 18 0 31372 0
vsize: 125560
[startup+750.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29823 0 0 0 74896 114 0 0 25 0 1 0 792777585 128573440 29797 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31390 29797 566 18 0 31372 0
vsize: 125560
[startup+760.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29823 0 0 0 75896 114 0 0 25 0 1 0 792777585 128573440 29797 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31390 29797 566 18 0 31372 0
vsize: 125560
[startup+770.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29823 0 0 0 76895 115 0 0 25 0 1 0 792777585 128573440 29797 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31390 29797 566 18 0 31372 0
vsize: 125560
[startup+780.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29823 0 0 0 77895 116 0 0 25 0 1 0 792777585 128573440 29797 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31390 29797 566 18 0 31372 0
vsize: 125560
[startup+790.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29823 0 0 0 78894 117 0 0 25 0 1 0 792777585 128573440 29797 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31390 29797 566 18 0 31372 0
vsize: 125560
[startup+800.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29823 0 0 0 79893 117 0 0 25 0 1 0 792777585 128573440 29797 4294967295 134512640 134581267 3221224592 3221223456 134528343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31390 29797 566 18 0 31372 0
vsize: 125560
[startup+810.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29848 0 0 0 80893 118 0 0 25 0 1 0 792777585 128704512 29822 4294967295 134512640 134581267 3221224592 3221223504 134531368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31422 29822 566 18 0 31404 0
vsize: 125688
[startup+820.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29848 0 0 0 81893 119 0 0 25 0 1 0 792777585 128704512 29822 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31422 29822 566 18 0 31404 0
vsize: 125688
[startup+830.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29848 0 0 0 82892 119 0 0 25 0 1 0 792777585 128704512 29822 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31422 29822 566 18 0 31404 0
vsize: 125688
[startup+840.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29848 0 0 0 83892 120 0 0 25 0 1 0 792777585 128704512 29822 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31422 29822 566 18 0 31404 0
vsize: 125688
[startup+850.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29848 0 0 0 84891 120 0 0 25 0 1 0 792777585 128704512 29822 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31422 29822 566 18 0 31404 0
vsize: 125688
[startup+860.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29848 0 0 0 85890 121 0 0 25 0 1 0 792777585 128704512 29822 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31422 29822 566 18 0 31404 0
vsize: 125688
[startup+870.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29848 0 0 0 86890 122 0 0 25 0 1 0 792777585 128704512 29822 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31422 29822 566 18 0 31404 0
vsize: 125688
[startup+880.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29848 0 0 0 87889 123 0 0 25 0 1 0 792777585 128704512 29822 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31422 29822 566 18 0 31404 0
vsize: 125688
[startup+890.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29848 0 0 0 88889 123 0 0 25 0 1 0 792777585 128704512 29822 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31422 29822 566 18 0 31404 0
vsize: 125688
[startup+900.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29848 0 0 0 89889 124 0 0 25 0 1 0 792777585 128704512 29822 4294967295 134512640 134581267 3221224592 3221223472 134520219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31422 29822 566 18 0 31404 0
vsize: 125688
[startup+910.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29848 0 0 0 90889 124 0 0 25 0 1 0 792777585 128704512 29822 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31422 29822 566 18 0 31404 0
vsize: 125688
[startup+920.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29848 0 0 0 91889 125 0 0 25 0 1 0 792777585 128704512 29822 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31422 29822 566 18 0 31404 0
vsize: 125688
[startup+930.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29848 0 0 0 92888 126 0 0 25 0 1 0 792777585 128704512 29822 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31422 29822 566 18 0 31404 0
vsize: 125688
[startup+940.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29950 0 0 0 93887 126 0 0 25 0 1 0 792777585 129085440 29924 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31515 29924 566 18 0 31497 0
vsize: 126060
[startup+950.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29950 0 0 0 94887 126 0 0 25 0 1 0 792777585 129085440 29924 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31515 29924 566 18 0 31497 0
vsize: 126060
[startup+960.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29950 0 0 0 95887 127 0 0 25 0 1 0 792777585 129085440 29924 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31515 29924 566 18 0 31497 0
vsize: 126060
[startup+970.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29950 0 0 0 96887 127 0 0 25 0 1 0 792777585 129085440 29924 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31515 29924 566 18 0 31497 0
vsize: 126060
[startup+980.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29950 0 0 0 97886 128 0 0 25 0 1 0 792777585 129085440 29924 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31515 29924 566 18 0 31497 0
vsize: 126060
[startup+990.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29950 0 0 0 98886 129 0 0 25 0 1 0 792777585 129085440 29924 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31515 29924 566 18 0 31497 0
vsize: 126060
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29950 0 0 0 99885 130 0 0 25 0 1 0 792777585 129085440 29924 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31515 29924 566 18 0 31497 0
vsize: 126060
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29950 0 0 0 100884 130 0 0 25 0 1 0 792777585 129085440 29924 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31515 29924 566 18 0 31497 0
vsize: 126060
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29950 0 0 0 101884 131 0 0 25 0 1 0 792777585 129085440 29924 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31515 29924 566 18 0 31497 0
vsize: 126060
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29950 0 0 0 102883 132 0 0 25 0 1 0 792777585 129085440 29924 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31515 29924 566 18 0 31497 0
vsize: 126060
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29950 0 0 0 103882 133 0 0 25 0 1 0 792777585 129085440 29924 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31515 29924 566 18 0 31497 0
vsize: 126060
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 29950 0 0 0 104881 134 0 0 25 0 1 0 792777585 129085440 29924 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31515 29924 566 18 0 31497 0
vsize: 126060
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 32084 0 0 0 105876 139 0 0 25 0 1 0 792777585 137891840 32058 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33665 32058 566 18 0 33647 0
vsize: 134660
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 32689 0 0 0 106875 141 0 0 25 0 1 0 792777585 140353536 32663 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34266 32663 566 18 0 34248 0
vsize: 137064
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 32689 0 0 0 107875 141 0 0 25 0 1 0 792777585 140353536 32663 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34266 32663 566 18 0 34248 0
vsize: 137064
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 32689 0 0 0 108874 142 0 0 25 0 1 0 792777585 140353536 32663 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34266 32663 566 18 0 34248 0
vsize: 137064
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 32689 0 0 0 109874 143 0 0 25 0 1 0 792777585 140353536 32663 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34266 32663 566 18 0 34248 0
vsize: 137064
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 32689 0 0 0 110873 144 0 0 25 0 1 0 792777585 140353536 32663 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34266 32663 566 18 0 34248 0
vsize: 137064
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 32689 0 0 0 111872 145 0 0 25 0 1 0 792777585 140353536 32663 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34266 32663 566 18 0 34248 0
vsize: 137064
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 32689 0 0 0 112871 146 0 0 25 0 1 0 792777585 140353536 32663 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34266 32663 566 18 0 34248 0
vsize: 137064
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 32689 0 0 0 113871 146 0 0 25 0 1 0 792777585 140353536 32663 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34266 32663 566 18 0 34248 0
vsize: 137064
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 32689 0 0 0 114871 146 0 0 25 0 1 0 792777585 140353536 32663 4294967295 134512640 134581267 3221224592 3221223536 134558800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34266 32663 566 18 0 34248 0
vsize: 137064
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 32689 0 0 0 115871 147 0 0 25 0 1 0 792777585 140353536 32663 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34266 32663 566 18 0 34248 0
vsize: 137064
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 32689 0 0 0 116871 147 0 0 25 0 1 0 792777585 140353536 32663 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34266 32663 566 18 0 34248 0
vsize: 137064
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 32689 0 0 0 117871 148 0 0 25 0 1 0 792777585 140353536 32663 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34266 32663 566 18 0 34248 0
vsize: 137064
[startup+1188.89 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 3585
Raw data (stat): 3583 (Pueblo-v2) R 3582 8378 8377 0 -1 0 32689 0 0 0 117871 148 0 0 25 0 1 0 792777585 140353536 32663 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34266 32663 566 18 0 34248 0
vsize: 0

Child status: 10
Real time (s): 1188.89
CPU time (s): 1189.07
CPU user time (s): 1187.51
CPU system time (s): 1.55276
CPU usage (%): 100.014
Max. virtual memory (Kb): 137064
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-8
#### END VERIFIER DATA ####