PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
MD5SUM	409f1cf0658f035df65cb61f3e4f598e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-28
Optimality of the best value was proved	NO
Number of terms in the objective function	595
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	595
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	595
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	595
Total number of constraints	27847
Number of constraints which are clauses	27847
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 38524

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-02 12:02:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26590 boxname=wulflinc2 idbench=320 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  409f1cf0658f035df65cb61f3e4f598e  /oldhome/oroussel/tmp/wulflinc2/normalized-frb35-17-2.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-frb35-17-2.opb
IDLAUNCH: 26590
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        689536 kB
Buffers:         33952 kB
Cached:         289068 kB
SwapCached:       1136 kB
Active:          54660 kB
Inactive:       270816 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        689284 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            13896 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 12:22:18 (client local time) WITH STATUS 10 IN 1189.16 SECONDS
stats: 26590 0 1189.16 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/wulflinc2/normalized-frb35-17-2.opb
c #variables read: 595 - #constraints read: 27848
s SATISFIABLE
v -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 C443 C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 -C30 -C29 -C28 -C27 -C26 -C25 C24 -C23 -C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 -C11 -C10 -C9 -C8 -C7 -C6 C5 -C4 -C3 -C2 -C1 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.98 0.91 2/54 22272
Raw data (stat): 22272 (runsolver) R 22271 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849636170 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 22272
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 3951 0 0 0 989 9 0 0 25 0 1 0 849636170 21815296 3925 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5326 3925 566 18 0 5308 0
vsize: 21304
[startup+20.0005 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 22272
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 6913 0 0 0 1983 15 0 0 25 0 1 0 849636170 34156544 6887 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8339 6887 566 18 0 8321 0
vsize: 33356
[startup+30.0015 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 22272
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 9621 0 0 0 2977 22 0 0 25 0 1 0 849636170 45768704 9595 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11174 9595 566 18 0 11156 0
vsize: 44696
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 22272
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 12705 0 0 0 3970 29 0 0 25 0 1 0 849636170 58507264 12679 4294967295 134512640 134581267 3221224592 3221223584 134560606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14284 12679 566 18 0 14266 0
vsize: 57136
[startup+50.0016 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 22272
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 15523 0 0 0 4963 36 0 0 25 0 1 0 849636170 70217728 15497 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17143 15497 566 18 0 17125 0
vsize: 68572
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 22272
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 17101 0 0 0 5959 40 0 0 25 0 1 0 849636170 76623872 17075 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18707 17075 566 18 0 18689 0
vsize: 74828
[startup+70.0023 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 22272
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 17101 0 0 0 6958 41 0 0 25 0 1 0 849636170 76623872 17075 4294967295 134512640 134581267 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18707 17075 566 18 0 18689 0
vsize: 74828
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 22272
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 17101 0 0 0 7957 43 0 0 25 0 1 0 849636170 76623872 17075 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18707 17075 566 18 0 18689 0
vsize: 74828
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 22272
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 17102 0 0 0 8956 44 0 0 25 0 1 0 849636170 76623872 17076 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18707 17076 566 18 0 18689 0
vsize: 74828
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 22272
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 17103 0 0 0 9956 44 0 0 25 0 1 0 849636170 76623872 17077 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18707 17077 566 18 0 18689 0
vsize: 74828
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22272
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 18733 0 0 0 10952 49 0 0 25 0 1 0 849636170 83193856 18707 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20311 18707 566 18 0 20293 0
vsize: 81244
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22272
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 20692 0 0 0 11948 53 0 0 25 0 1 0 849636170 91201536 20666 4294967295 134512640 134581267 3221224592 3221223552 134516751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22266 20666 566 18 0 22248 0
vsize: 89064
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22272
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 20692 0 0 0 12947 54 0 0 25 0 1 0 849636170 91201536 20666 4294967295 134512640 134581267 3221224592 3221223368 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22266 20666 566 18 0 22248 0
vsize: 89064
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22272
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 20692 0 0 0 13946 55 0 0 25 0 1 0 849636170 91201536 20666 4294967295 134512640 134581267 3221224592 3221223348 1075289611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22266 20666 566 18 0 22248 0
vsize: 89064
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22272
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 20694 0 0 0 14946 56 0 0 25 0 1 0 849636170 91201536 20668 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22266 20668 566 18 0 22248 0
vsize: 89064
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22272
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 20694 0 0 0 15945 56 0 0 25 0 1 0 849636170 91201536 20668 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22266 20668 566 18 0 22248 0
vsize: 89064
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22272
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 20694 0 0 0 16945 57 0 0 25 0 1 0 849636170 91201536 20668 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22266 20668 566 18 0 22248 0
vsize: 89064
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22272
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 20694 0 0 0 17945 57 0 0 25 0 1 0 849636170 91201536 20668 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22266 20668 566 18 0 22248 0
vsize: 89064
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22272
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 22623 0 0 0 18941 61 0 0 25 0 1 0 849636170 99160064 22597 4294967295 134512640 134581267 3221224592 3221223552 134516716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24209 22597 566 18 0 24191 0
vsize: 96836
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22272
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 22623 0 0 0 19941 61 0 0 25 0 1 0 849636170 99160064 22597 4294967295 134512640 134581267 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24209 22597 566 18 0 24191 0
vsize: 96836
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22272
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 22623 0 0 0 20940 62 0 0 25 0 1 0 849636170 99160064 22597 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24209 22597 566 18 0 24191 0
vsize: 96836
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22272
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 22623 0 0 0 21940 63 0 0 25 0 1 0 849636170 99160064 22597 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24209 22597 566 18 0 24191 0
vsize: 96836
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 22623 0 0 0 22939 64 0 0 25 0 1 0 849636170 99160064 22597 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24209 22597 566 18 0 24191 0
vsize: 96836
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 22623 0 0 0 23938 65 0 0 25 0 1 0 849636170 99160064 22597 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24209 22597 566 18 0 24191 0
vsize: 96836
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 22623 0 0 0 24938 65 0 0 25 0 1 0 849636170 99160064 22597 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24209 22597 566 18 0 24191 0
vsize: 96836
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 22623 0 0 0 25937 66 0 0 25 0 1 0 849636170 99160064 22597 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24209 22597 566 18 0 24191 0
vsize: 96836
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 24743 0 0 0 26933 71 0 0 25 0 1 0 849636170 107819008 24717 4294967295 134512640 134581267 3221224592 3221223552 134516751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26323 24717 566 18 0 26305 0
vsize: 105292
[startup+280.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 24743 0 0 0 27932 72 0 0 25 0 1 0 849636170 107819008 24717 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26323 24717 566 18 0 26305 0
vsize: 105292
[startup+290.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 24743 0 0 0 28931 73 0 0 25 0 1 0 849636170 107819008 24717 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26323 24717 566 18 0 26305 0
vsize: 105292
[startup+300.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 24743 0 0 0 29931 74 0 0 25 0 1 0 849636170 107819008 24717 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26323 24717 566 18 0 26305 0
vsize: 105292
[startup+310.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 24743 0 0 0 30930 75 0 0 25 0 1 0 849636170 107819008 24717 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26323 24717 566 18 0 26305 0
vsize: 105292
[startup+320.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 24743 0 0 0 31929 76 0 0 25 0 1 0 849636170 107819008 24717 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26323 24717 566 18 0 26305 0
vsize: 105292
[startup+330.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 24743 0 0 0 32929 76 0 0 25 0 1 0 849636170 107819008 24717 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26323 24717 566 18 0 26305 0
vsize: 105292
[startup+340.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 24847 0 0 0 33929 77 0 0 25 0 1 0 849636170 108212224 24821 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26419 24821 566 18 0 26401 0
vsize: 105676
[startup+350.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 24847 0 0 0 34928 77 0 0 25 0 1 0 849636170 108212224 24821 4294967295 134512640 134581267 3221224592 3221223536 134558784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26419 24821 566 18 0 26401 0
vsize: 105676
[startup+360.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 24847 0 0 0 35928 78 0 0 25 0 1 0 849636170 108212224 24821 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26419 24821 566 18 0 26401 0
vsize: 105676
[startup+370.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 24847 0 0 0 36928 78 0 0 25 0 1 0 849636170 108212224 24821 4294967295 134512640 134581267 3221224592 3221223472 134520222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26419 24821 566 18 0 26401 0
vsize: 105676
[startup+380.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 24847 0 0 0 37928 79 0 0 25 0 1 0 849636170 108212224 24821 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26419 24821 566 18 0 26401 0
vsize: 105676
[startup+390.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 24847 0 0 0 38927 79 0 0 25 0 1 0 849636170 108212224 24821 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26419 24821 566 18 0 26401 0
vsize: 105676
[startup+400.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 24847 0 0 0 39926 81 0 0 25 0 1 0 849636170 108212224 24821 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26419 24821 566 18 0 26401 0
vsize: 105676
[startup+410.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 24847 0 0 0 40925 81 0 0 25 0 1 0 849636170 108212224 24821 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26419 24821 566 18 0 26401 0
vsize: 105676
[startup+420.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 27123 0 0 0 41920 86 0 0 25 0 1 0 849636170 117575680 27097 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28705 27097 566 18 0 28687 0
vsize: 114820
[startup+430.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 27193 0 0 0 42920 87 0 0 25 0 1 0 849636170 117833728 27167 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28768 27167 566 18 0 28750 0
vsize: 115072
[startup+440.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 27193 0 0 0 43919 88 0 0 25 0 1 0 849636170 117833728 27167 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28768 27167 566 18 0 28750 0
vsize: 115072
[startup+450.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 27193 0 0 0 44918 90 0 0 25 0 1 0 849636170 117833728 27167 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28768 27167 566 18 0 28750 0
vsize: 115072
[startup+460.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 27193 0 0 0 45917 91 0 0 25 0 1 0 849636170 117833728 27167 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28768 27167 566 18 0 28750 0
vsize: 115072
[startup+470.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 27193 0 0 0 46916 92 0 0 25 0 1 0 849636170 117833728 27167 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28768 27167 566 18 0 28750 0
vsize: 115072
[startup+480.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 27193 0 0 0 47915 92 0 0 25 0 1 0 849636170 117833728 27167 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28768 27167 566 18 0 28750 0
vsize: 115072
[startup+490.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 27193 0 0 0 48915 93 0 0 25 0 1 0 849636170 117833728 27167 4294967295 134512640 134581267 3221224592 3221223520 134520009 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28768 27167 566 18 0 28750 0
vsize: 115072
[startup+500.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 27193 0 0 0 49915 93 0 0 25 0 1 0 849636170 117833728 27167 4294967295 134512640 134581267 3221224592 3221223536 134558762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28768 27167 566 18 0 28750 0
vsize: 115072
[startup+510.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 27321 0 0 0 50914 94 0 0 25 0 1 0 849636170 118358016 27295 4294967295 134512640 134581267 3221224592 3221223460 1075290409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28896 27295 566 18 0 28878 0
vsize: 115584
[startup+520.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 27321 0 0 0 51914 95 0 0 25 0 1 0 849636170 118358016 27295 4294967295 134512640 134581267 3221224592 3221223228 1075288351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28896 27295 566 18 0 28878 0
vsize: 115584
[startup+530.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 27321 0 0 0 52913 96 0 0 25 0 1 0 849636170 118358016 27295 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28896 27295 566 18 0 28878 0
vsize: 115584
[startup+540.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 27321 0 0 0 53911 98 0 0 25 0 1 0 849636170 118358016 27295 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28896 27295 566 18 0 28878 0
vsize: 115584
[startup+550.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 27321 0 0 0 54910 99 0 0 25 0 1 0 849636170 118358016 27295 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28896 27295 566 18 0 28878 0
vsize: 115584
[startup+560.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 27321 0 0 0 55909 100 0 0 25 0 1 0 849636170 118358016 27295 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28896 27295 566 18 0 28878 0
vsize: 115584
[startup+570.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 27321 0 0 0 56908 102 0 0 25 0 1 0 849636170 118358016 27295 4294967295 134512640 134581267 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28896 27295 566 18 0 28878 0
vsize: 115584
[startup+580.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 28794 0 0 0 57904 106 0 0 25 0 1 0 849636170 124563456 28768 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30411 28768 566 18 0 30393 0
vsize: 121644
[startup+590.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30077 0 0 0 58901 109 0 0 25 0 1 0 849636170 129748992 30051 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31677 30051 566 18 0 31659 0
vsize: 126708
[startup+600.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30077 0 0 0 59901 109 0 0 25 0 1 0 849636170 129748992 30051 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31677 30051 566 18 0 31659 0
vsize: 126708
[startup+610.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30077 0 0 0 60901 110 0 0 25 0 1 0 849636170 129748992 30051 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31677 30051 566 18 0 31659 0
vsize: 126708
[startup+620.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30077 0 0 0 61900 111 0 0 25 0 1 0 849636170 129748992 30051 4294967295 134512640 134581267 3221224592 3221223536 134558872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31677 30051 566 18 0 31659 0
vsize: 126708
[startup+630.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30077 0 0 0 62899 112 0 0 25 0 1 0 849636170 129748992 30051 4294967295 134512640 134581267 3221224592 3221223520 134519812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31677 30051 566 18 0 31659 0
vsize: 126708
[startup+640.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30077 0 0 0 63897 114 0 0 25 0 1 0 849636170 129748992 30051 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31677 30051 566 18 0 31659 0
vsize: 126708
[startup+650.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30077 0 0 0 64897 114 0 0 25 0 1 0 849636170 129748992 30051 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31677 30051 566 18 0 31659 0
vsize: 126708
[startup+660.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30077 0 0 0 65896 116 0 0 25 0 1 0 849636170 129748992 30051 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31677 30051 566 18 0 31659 0
vsize: 126708
[startup+670.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30214 0 0 0 66895 116 0 0 25 0 1 0 849636170 130260992 30188 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31802 30188 566 18 0 31784 0
vsize: 127208
[startup+680.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30214 0 0 0 67895 117 0 0 25 0 1 0 849636170 130260992 30188 4294967295 134512640 134581267 3221224592 3221223504 134531369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31802 30188 566 18 0 31784 0
vsize: 127208
[startup+690.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30214 0 0 0 68893 118 0 0 25 0 1 0 849636170 130260992 30188 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31802 30188 566 18 0 31784 0
vsize: 127208
[startup+700.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30214 0 0 0 69892 120 0 0 25 0 1 0 849636170 130260992 30188 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31802 30188 566 18 0 31784 0
vsize: 127208
[startup+710.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30214 0 0 0 70891 121 0 0 25 0 1 0 849636170 130260992 30188 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31802 30188 566 18 0 31784 0
vsize: 127208
[startup+720.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30214 0 0 0 71890 122 0 0 25 0 1 0 849636170 130260992 30188 4294967295 134512640 134581267 3221224592 3221223488 134517525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31802 30188 566 18 0 31784 0
vsize: 127208
[startup+730.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30214 0 0 0 72889 123 0 0 25 0 1 0 849636170 130260992 30188 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31802 30188 566 18 0 31784 0
vsize: 127208
[startup+740.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30304 0 0 0 73888 124 0 0 25 0 1 0 849636170 130646016 30278 4294967295 134512640 134581267 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31896 30278 566 18 0 31878 0
vsize: 127584
[startup+750.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30304 0 0 0 74888 124 0 0 25 0 1 0 849636170 130646016 30278 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31896 30278 566 18 0 31878 0
vsize: 127584
[startup+760.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30305 0 0 0 75888 125 0 0 25 0 1 0 849636170 130646016 30279 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31896 30279 566 18 0 31878 0
vsize: 127584
[startup+770.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30305 0 0 0 76887 126 0 0 25 0 1 0 849636170 130646016 30279 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31896 30279 566 18 0 31878 0
vsize: 127584
[startup+780.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30305 0 0 0 77887 127 0 0 25 0 1 0 849636170 130646016 30279 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31896 30279 566 18 0 31878 0
vsize: 127584
[startup+790.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30305 0 0 0 78886 128 0 0 25 0 1 0 849636170 130646016 30279 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31896 30279 566 18 0 31878 0
vsize: 127584
[startup+800.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30305 0 0 0 79885 128 0 0 25 0 1 0 849636170 130646016 30279 4294967295 134512640 134581267 3221224592 3221223472 134520246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31896 30279 566 18 0 31878 0
vsize: 127584
[startup+810.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30305 0 0 0 80884 130 0 0 25 0 1 0 849636170 130646016 30279 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31896 30279 566 18 0 31878 0
vsize: 127584
[startup+820.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30305 0 0 0 81884 130 0 0 25 0 1 0 849636170 130646016 30279 4294967295 134512640 134581267 3221224592 3221223488 134517729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31896 30279 566 18 0 31878 0
vsize: 127584
[startup+830.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30308 0 0 0 82884 130 0 0 25 0 1 0 849636170 130646016 30282 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31896 30282 566 18 0 31878 0
vsize: 127584
[startup+840.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30582 0 0 0 83884 131 0 0 25 0 1 0 849636170 131923968 30556 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32208 30556 566 18 0 32190 0
vsize: 128832
[startup+850.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30699 0 0 0 84884 131 0 0 25 0 1 0 849636170 132304896 30673 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32301 30673 566 18 0 32283 0
vsize: 129204
[startup+860.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30798 0 0 0 85884 131 0 0 25 0 1 0 849636170 132812800 30772 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32425 30772 566 18 0 32407 0
vsize: 129700
[startup+870.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30871 0 0 0 86883 132 0 0 25 0 1 0 849636170 133066752 30845 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32487 30845 566 18 0 32469 0
vsize: 129948
[startup+880.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 30965 0 0 0 87883 132 0 0 25 0 1 0 849636170 133451776 30939 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32581 30939 566 18 0 32563 0
vsize: 130324
[startup+890.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 31069 0 0 0 88883 132 0 0 25 0 1 0 849636170 133836800 31043 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32675 31043 566 18 0 32657 0
vsize: 130700
[startup+900.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 31150 0 0 0 89883 133 0 0 25 0 1 0 849636170 134217728 31124 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32768 31124 566 18 0 32750 0
vsize: 131072
[startup+910.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 31364 0 0 0 90883 133 0 0 25 0 1 0 849636170 135110656 31338 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32986 31338 566 18 0 32968 0
vsize: 131944
[startup+920.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 31529 0 0 0 91883 133 0 0 25 0 1 0 849636170 135745536 31503 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33141 31503 566 18 0 33123 0
vsize: 132564
[startup+930.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 31632 0 0 0 92883 133 0 0 25 0 1 0 849636170 136253440 31606 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33265 31606 566 18 0 33247 0
vsize: 133060
[startup+940.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 31748 0 0 0 93883 134 0 0 25 0 1 0 849636170 136634368 31722 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33358 31722 566 18 0 33340 0
vsize: 133432
[startup+950.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 31841 0 0 0 94883 134 0 0 25 0 1 0 849636170 137015296 31815 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33451 31815 566 18 0 33433 0
vsize: 133804
[startup+960.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 31920 0 0 0 95883 134 0 0 25 0 1 0 849636170 137396224 31894 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33544 31894 566 18 0 33526 0
vsize: 134176
[startup+970.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 31978 0 0 0 96883 134 0 0 25 0 1 0 849636170 137650176 31952 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33606 31952 566 18 0 33588 0
vsize: 134424
[startup+980.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 32056 0 0 0 97883 134 0 0 25 0 1 0 849636170 137912320 32030 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33670 32030 566 18 0 33652 0
vsize: 134680
[startup+990.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 32970 0 0 0 98881 136 0 0 25 0 1 0 849636170 141701120 32944 4294967295 134512640 134581267 3221224592 3221223536 134558768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34595 32945 566 18 0 34577 0
vsize: 138380
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 33132 0 0 0 99882 136 0 0 25 0 1 0 849636170 142487552 33106 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34787 33106 566 18 0 34769 0
vsize: 139148
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 33132 0 0 0 100882 136 0 0 25 0 1 0 849636170 142487552 33106 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34787 33106 566 18 0 34769 0
vsize: 139148
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 33132 0 0 0 101881 137 0 0 25 0 1 0 849636170 142487552 33106 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34787 33106 566 18 0 34769 0
vsize: 139148
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 33132 0 0 0 102880 138 0 0 25 0 1 0 849636170 142487552 33106 4294967295 134512640 134581267 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34787 33106 566 18 0 34769 0
vsize: 139148
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 33132 0 0 0 103879 139 0 0 25 0 1 0 849636170 142487552 33106 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34787 33106 566 18 0 34769 0
vsize: 139148
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 33132 0 0 0 104878 141 0 0 25 0 1 0 849636170 142487552 33106 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34787 33106 566 18 0 34769 0
vsize: 139148
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 33132 0 0 0 105877 141 0 0 25 0 1 0 849636170 142487552 33106 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34787 33106 566 18 0 34769 0
vsize: 139148
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 33132 0 0 0 106877 142 0 0 25 0 1 0 849636170 142487552 33106 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34787 33106 566 18 0 34769 0
vsize: 139148
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 33132 0 0 0 107876 143 0 0 25 0 1 0 849636170 142487552 33106 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34787 33106 566 18 0 34769 0
vsize: 139148
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 33132 0 0 0 108875 144 0 0 25 0 1 0 849636170 142487552 33106 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34787 33106 566 18 0 34769 0
vsize: 139148
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 33132 0 0 0 109875 145 0 0 25 0 1 0 849636170 142487552 33106 4294967295 134512640 134581267 3221224592 3221223536 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34787 33106 566 18 0 34769 0
vsize: 139148
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 33132 0 0 0 110874 145 0 0 25 0 1 0 849636170 142487552 33106 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34787 33106 566 18 0 34769 0
vsize: 139148
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 33132 0 0 0 111873 147 0 0 25 0 1 0 849636170 142487552 33106 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34787 33106 566 18 0 34769 0
vsize: 139148
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 33157 0 0 0 112873 147 0 0 25 0 1 0 849636170 142618624 33131 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34819 33131 566 18 0 34801 0
vsize: 139276
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 33157 0 0 0 113872 148 0 0 25 0 1 0 849636170 142618624 33131 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34819 33131 566 18 0 34801 0
vsize: 139276
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 33157 0 0 0 114872 148 0 0 25 0 1 0 849636170 142618624 33131 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34819 33131 566 18 0 34801 0
vsize: 139276
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 33157 0 0 0 115870 150 0 0 25 0 1 0 849636170 142618624 33131 4294967295 134512640 134581267 3221224592 3221223472 134520297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34819 33131 566 18 0 34801 0
vsize: 139276
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 33157 0 0 0 116870 151 0 0 25 0 1 0 849636170 142618624 33131 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34819 33131 566 18 0 34801 0
vsize: 139276
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 33157 0 0 0 117869 152 0 0 25 0 1 0 849636170 142618624 33131 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34819 33131 566 18 0 34801 0
vsize: 139276
[startup+1188.96 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 22274
Raw data (stat): 22272 (Pueblo-v2) R 22271 31399 31398 0 -1 0 33157 0 0 0 117869 152 0 0 25 0 1 0 849636170 142618624 33131 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34819 33131 566 18 0 34801 0
vsize: 0

Child status: 10
Real time (s): 1188.96
CPU time (s): 1189.16
CPU user time (s): 1187.57
CPU system time (s): 1.59276
CPU usage (%): 100.017
Max. virtual memory (Kb): 139276
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-8
#### END VERIFIER DATA ####