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/frb30-15-opb/normalized-frb30-15-4.opb
MD5SUM	615f734b8951521e89cf22f42d6d26cc
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-30
Optimality of the best value was proved	NO
Number of terms in the objective function	450
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	450
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	450
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05084
Number of variables	450
Total number of constraints	17831
Number of constraints which are clauses	17831
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 38521

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-02 11:48:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26587 boxname=wulflinc6 idbench=317 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  615f734b8951521e89cf22f42d6d26cc  /oldhome/oroussel/tmp/wulflinc6/normalized-frb30-15-4.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-frb30-15-4.opb
IDLAUNCH: 26587
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        751656 kB
Buffers:         33480 kB
Cached:         228720 kB
SwapCached:        552 kB
Active:          56744 kB
Inactive:       207528 kB
HighTotal:      131008 kB
HighFree:        21868 kB
LowTotal:       903652 kB
LowFree:        729788 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13108 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 12:08:11 (client local time) WITH STATUS 10 IN 1189.04 SECONDS
stats: 26587 0 1189.04 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/wulflinc6/normalized-frb30-15-4.opb
c #variables read: 450 - #constraints read: 17832
s SATISFIABLE
v -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.91 0.95 0.92 1/54 16193
Raw data (stat): 16193 (runsolver) R 16192 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849547113 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+10.0012 s]
Raw data (loadavg): 0.93 0.95 0.92 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 3233 0 0 0 991 7 0 0 25 0 1 0 849547113 18944000 3207 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3207 566 18 0 4607 0
vsize: 18500
[startup+20.002 s]
Raw data (loadavg): 0.94 0.96 0.92 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 5995 0 0 0 1985 14 0 0 25 0 1 0 849547113 30355456 5969 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7411 5969 566 18 0 7393 0
vsize: 29644
[startup+30.0032 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 7654 0 0 0 2981 18 0 0 25 0 1 0 849547113 37249024 7628 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9094 7628 566 18 0 9076 0
vsize: 36376
[startup+40.0036 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 7657 0 0 0 3981 19 0 0 25 0 1 0 849547113 37249024 7631 4294967295 134512640 134581267 3221224592 3221223520 134519812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9094 7631 566 18 0 9076 0
vsize: 36376
[startup+50.0044 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 8391 0 0 0 4979 21 0 0 25 0 1 0 849547113 40251392 8365 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9827 8365 566 18 0 9809 0
vsize: 39308
[startup+60.0046 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 8391 0 0 0 5979 22 0 0 25 0 1 0 849547113 40251392 8365 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9827 8365 566 18 0 9809 0
vsize: 39308
[startup+70.0051 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 8392 0 0 0 6979 22 0 0 25 0 1 0 849547113 40251392 8366 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9827 8366 566 18 0 9809 0
vsize: 39308
[startup+80.0059 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 9049 0 0 0 7977 24 0 0 25 0 1 0 849547113 42979328 9023 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10493 9023 566 18 0 10475 0
vsize: 41972
[startup+90.006 s]
Raw data (loadavg): 1.06 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 9216 0 0 0 8976 26 0 0 25 0 1 0 849547113 43765760 9190 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10685 9190 566 18 0 10667 0
vsize: 42740
[startup+100.007 s]
Raw data (loadavg): 1.05 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 9217 0 0 0 9976 26 0 0 25 0 1 0 849547113 43765760 9191 4294967295 134512640 134581267 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10685 9191 566 18 0 10667 0
vsize: 42740
[startup+110.007 s]
Raw data (loadavg): 1.04 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 10120 0 0 0 10974 29 0 0 25 0 1 0 849547113 47452160 10094 4294967295 134512640 134581267 3221224592 3221223552 134516754 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11585 10094 566 18 0 11567 0
vsize: 46340
[startup+120.008 s]
Raw data (loadavg): 1.03 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 10120 0 0 0 11972 31 0 0 25 0 1 0 849547113 47452160 10094 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11585 10094 566 18 0 11567 0
vsize: 46340
[startup+130.009 s]
Raw data (loadavg): 1.03 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 10125 0 0 0 12972 32 0 0 25 0 1 0 849547113 47452160 10099 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11585 10099 566 18 0 11567 0
vsize: 46340
[startup+140.009 s]
Raw data (loadavg): 1.02 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 11054 0 0 0 13968 35 0 0 25 0 1 0 849547113 51253248 11028 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12513 11028 566 18 0 12495 0
vsize: 50052
[startup+150.01 s]
Raw data (loadavg): 1.02 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 11080 0 0 0 14967 37 0 0 25 0 1 0 849547113 51384320 11054 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12545 11054 566 18 0 12527 0
vsize: 50180
[startup+160.01 s]
Raw data (loadavg): 1.02 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 11080 0 0 0 15967 37 0 0 25 0 1 0 849547113 51384320 11054 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12545 11054 566 18 0 12527 0
vsize: 50180
[startup+170.011 s]
Raw data (loadavg): 1.01 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 11080 0 0 0 16967 38 0 0 25 0 1 0 849547113 51384320 11054 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12545 11054 566 18 0 12527 0
vsize: 50180
[startup+180.011 s]
Raw data (loadavg): 1.01 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 11147 0 0 0 17967 38 0 0 25 0 1 0 849547113 51646464 11121 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12609 11121 566 18 0 12591 0
vsize: 50436
[startup+190.013 s]
Raw data (loadavg): 1.01 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 11147 0 0 0 18967 39 0 0 25 0 1 0 849547113 51646464 11121 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12609 11121 566 18 0 12591 0
vsize: 50436
[startup+200.014 s]
Raw data (loadavg): 1.01 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 11147 0 0 0 19966 41 0 0 25 0 1 0 849547113 51646464 11121 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12609 11121 566 18 0 12591 0
vsize: 50436
[startup+210.014 s]
Raw data (loadavg): 1.01 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 11253 0 0 0 20965 41 0 0 25 0 1 0 849547113 52039680 11227 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12705 11227 566 18 0 12687 0
vsize: 50820
[startup+220.015 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 11253 0 0 0 21965 42 0 0 25 0 1 0 849547113 52039680 11227 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12705 11227 566 18 0 12687 0
vsize: 50820
[startup+230.016 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 11254 0 0 0 22965 42 0 0 25 0 1 0 849547113 52039680 11228 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12705 11228 566 18 0 12687 0
vsize: 50820
[startup+240.016 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 11254 0 0 0 23964 44 0 0 25 0 1 0 849547113 52039680 11228 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12705 11228 566 18 0 12687 0
vsize: 50820
[startup+250.017 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 11254 0 0 0 24964 44 0 0 25 0 1 0 849547113 52039680 11228 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12705 11228 566 18 0 12687 0
vsize: 50820
[startup+260.018 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 11984 0 0 0 25963 46 0 0 25 0 1 0 849547113 55054336 11958 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13441 11958 566 18 0 13423 0
vsize: 53764
[startup+270.018 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 12326 0 0 0 26962 47 0 0 25 0 1 0 849547113 56496128 12300 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13793 12300 566 18 0 13775 0
vsize: 55172
[startup+280.018 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 12326 0 0 0 27961 48 0 0 25 0 1 0 849547113 56496128 12300 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13793 12300 566 18 0 13775 0
vsize: 55172
[startup+290.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 12326 0 0 0 28961 49 0 0 25 0 1 0 849547113 56496128 12300 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13793 12300 566 18 0 13775 0
vsize: 55172
[startup+300.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 12326 0 0 0 29960 50 0 0 25 0 1 0 849547113 56496128 12300 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13793 12300 566 18 0 13775 0
vsize: 55172
[startup+310.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 12418 0 0 0 30960 51 0 0 25 0 1 0 849547113 56889344 12392 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13889 12392 566 18 0 13871 0
vsize: 55556
[startup+320.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 12418 0 0 0 31958 52 0 0 25 0 1 0 849547113 56889344 12392 4294967295 134512640 134581267 3221224592 3221223488 134517624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13889 12392 566 18 0 13871 0
vsize: 55556
[startup+330.022 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 12480 0 0 0 32958 53 0 0 25 0 1 0 849547113 57020416 12454 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13921 12454 566 18 0 13903 0
vsize: 55684
[startup+340.022 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 12480 0 0 0 33957 54 0 0 25 0 1 0 849547113 57020416 12454 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13921 12454 566 18 0 13903 0
vsize: 55684
[startup+350.023 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 12480 0 0 0 34958 54 0 0 25 0 1 0 849547113 57020416 12454 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13921 12454 566 18 0 13903 0
vsize: 55684
[startup+360.023 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 12480 0 0 0 35958 55 0 0 25 0 1 0 849547113 57020416 12454 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13921 12454 566 18 0 13903 0
vsize: 55684
[startup+370.023 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 12480 0 0 0 36958 55 0 0 25 0 1 0 849547113 57020416 12454 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13921 12454 566 18 0 13903 0
vsize: 55684
[startup+380.022 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 12480 0 0 0 37958 56 0 0 25 0 1 0 849547113 57020416 12454 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13921 12454 566 18 0 13903 0
vsize: 55684
[startup+390.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 12901 0 0 0 38956 57 0 0 25 0 1 0 849547113 58855424 12875 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14369 12875 566 18 0 14351 0
vsize: 57476
[startup+400.022 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 13636 0 0 0 39954 60 0 0 25 0 1 0 849547113 61870080 13610 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15105 13610 566 18 0 15087 0
vsize: 60420
[startup+410.022 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 13636 0 0 0 40953 61 0 0 25 0 1 0 849547113 61870080 13610 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15105 13610 566 18 0 15087 0
vsize: 60420
[startup+420.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 13636 0 0 0 41952 62 0 0 25 0 1 0 849547113 61870080 13610 4294967295 134512640 134581267 3221224592 3221223488 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15105 13610 566 18 0 15087 0
vsize: 60420
[startup+430.022 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 13659 0 0 0 42952 63 0 0 25 0 1 0 849547113 61870080 13633 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15105 13633 566 18 0 15087 0
vsize: 60420
[startup+440.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 13659 0 0 0 43952 63 0 0 25 0 1 0 849547113 61870080 13633 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15105 13633 566 18 0 15087 0
vsize: 60420
[startup+450.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 13659 0 0 0 44951 64 0 0 25 0 1 0 849547113 61870080 13633 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15105 13633 566 18 0 15087 0
vsize: 60420
[startup+460.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 13659 0 0 0 45951 65 0 0 25 0 1 0 849547113 61870080 13633 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15105 13633 566 18 0 15087 0
vsize: 60420
[startup+470.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 13686 0 0 0 46950 66 0 0 25 0 1 0 849547113 62001152 13660 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15137 13660 566 18 0 15119 0
vsize: 60548
[startup+480.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 13686 0 0 0 47950 67 0 0 25 0 1 0 849547113 62001152 13660 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15137 13660 566 18 0 15119 0
vsize: 60548
[startup+490.021 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 13686 0 0 0 48949 68 0 0 25 0 1 0 849547113 62001152 13660 4294967295 134512640 134581267 3221224592 3221223564 134519895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15137 13660 566 18 0 15119 0
vsize: 60548
[startup+500.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 13686 0 0 0 49949 68 0 0 25 0 1 0 849547113 62001152 13660 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15137 13660 566 18 0 15119 0
vsize: 60548
[startup+510.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 13686 0 0 0 50948 69 0 0 25 0 1 0 849547113 62001152 13660 4294967295 134512640 134581267 3221224592 3221223552 134516754 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15137 13660 566 18 0 15119 0
vsize: 60548
[startup+520.02 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 13686 0 0 0 51947 70 0 0 25 0 1 0 849547113 60686336 13352 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14816 13352 566 18 0 14798 0
vsize: 59264
[startup+530.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 13686 0 0 0 52947 71 0 0 25 0 1 0 849547113 60686336 13352 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14816 13352 566 18 0 14798 0
vsize: 59264
[startup+540.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 13686 0 0 0 53946 72 0 0 25 0 1 0 849547113 60686336 13352 4294967295 134512640 134581267 3221224592 3221223488 134517521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14816 13352 566 18 0 14798 0
vsize: 59264
[startup+550.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 13993 0 0 0 54945 74 0 0 25 0 1 0 849547113 61997056 13659 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15136 13659 566 18 0 15118 0
vsize: 60544
[startup+560.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 13993 0 0 0 55945 74 0 0 25 0 1 0 849547113 61997056 13659 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15136 13659 566 18 0 15118 0
vsize: 60544
[startup+570.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 13993 0 0 0 56945 74 0 0 25 0 1 0 849547113 61997056 13659 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15136 13659 566 18 0 15118 0
vsize: 60544
[startup+580.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 13994 0 0 0 57945 74 0 0 25 0 1 0 849547113 61997056 13660 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15136 13660 566 18 0 15118 0
vsize: 60544
[startup+590.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 13994 0 0 0 58945 75 0 0 25 0 1 0 849547113 61997056 13660 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15136 13660 566 18 0 15118 0
vsize: 60544
[startup+600.019 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 13994 0 0 0 59945 75 0 0 25 0 1 0 849547113 61997056 13660 4294967295 134512640 134581267 3221224592 3221223520 134519797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15136 13660 566 18 0 15118 0
vsize: 60544
[startup+610.018 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 13994 0 0 0 60944 76 0 0 25 0 1 0 849547113 61997056 13660 4294967295 134512640 134581267 3221224592 3221223504 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15136 13660 566 18 0 15118 0
vsize: 60544
[startup+620.018 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15031 0 0 0 61940 80 0 0 25 0 1 0 849547113 66269184 14697 4294967295 134512640 134581267 3221224592 3221223520 134519883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16179 14697 566 18 0 16161 0
vsize: 64716
[startup+630.018 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15244 0 0 0 62940 81 0 0 25 0 1 0 849547113 67186688 14910 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16403 14910 566 18 0 16385 0
vsize: 65612
[startup+640.018 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15244 0 0 0 63939 82 0 0 25 0 1 0 849547113 67186688 14910 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16403 14910 566 18 0 16385 0
vsize: 65612
[startup+650.018 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15244 0 0 0 64939 83 0 0 25 0 1 0 849547113 67186688 14910 4294967295 134512640 134581267 3221224592 3221223536 134558875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16403 14910 566 18 0 16385 0
vsize: 65612
[startup+660.017 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15244 0 0 0 65938 84 0 0 25 0 1 0 849547113 67186688 14910 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16403 14910 566 18 0 16385 0
vsize: 65612
[startup+670.017 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15265 0 0 0 66938 85 0 0 25 0 1 0 849547113 67186688 14931 4294967295 134512640 134581267 3221224592 3221223456 134528304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16403 14931 566 18 0 16385 0
vsize: 65612
[startup+680.017 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15265 0 0 0 67938 85 0 0 25 0 1 0 849547113 67186688 14931 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16403 14931 566 18 0 16385 0
vsize: 65612
[startup+690.017 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15265 0 0 0 68937 86 0 0 25 0 1 0 849547113 67186688 14931 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16403 14931 566 18 0 16385 0
vsize: 65612
[startup+700.017 s]
Raw data (loadavg): 1.00 0.98 0.93 2/54 16193
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15265 0 0 0 69937 87 0 0 25 0 1 0 849547113 67186688 14931 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16403 14931 566 18 0 16385 0
vsize: 65612
[startup+710.107 s]
Raw data (loadavg): 1.08 1.00 0.93 3/57 16237
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15265 0 0 0 70942 90 0 0 25 0 1 0 849547113 67186688 14931 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16403 14931 566 18 0 16385 0
vsize: 65612
[startup+720.106 s]
Raw data (loadavg): 1.14 1.01 0.94 2/54 16246
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15265 0 0 0 71935 98 0 0 25 0 1 0 849547113 67186688 14931 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16403 14931 566 18 0 16385 0
vsize: 65612
[startup+730.168 s]
Raw data (loadavg): 1.12 1.01 0.94 2/54 16246
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15278 0 0 0 72941 98 0 0 25 0 1 0 849547113 67317760 14944 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16435 14944 566 18 0 16417 0
vsize: 65740
[startup+740.168 s]
Raw data (loadavg): 1.10 1.01 0.94 2/54 16246
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15278 0 0 0 73939 100 0 0 25 0 1 0 849547113 67317760 14944 4294967295 134512640 134581267 3221224592 3221223520 134519817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16435 14944 566 18 0 16417 0
vsize: 65740
[startup+750.167 s]
Raw data (loadavg): 1.08 1.01 0.94 2/54 16246
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15278 0 0 0 74939 101 0 0 25 0 1 0 849547113 67317760 14944 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16435 14944 566 18 0 16417 0
vsize: 65740
[startup+760.167 s]
Raw data (loadavg): 1.07 1.01 0.94 2/54 16246
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15278 0 0 0 75938 101 0 0 25 0 1 0 849547113 67317760 14944 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16435 14944 566 18 0 16417 0
vsize: 65740
[startup+770.166 s]
Raw data (loadavg): 1.06 1.01 0.94 2/54 16246
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15312 0 0 0 76938 102 0 0 25 0 1 0 849547113 67448832 14978 4294967295 134512640 134581267 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14978 566 18 0 16449 0
vsize: 65868
[startup+780.165 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15312 0 0 0 77938 102 0 0 25 0 1 0 849547113 67448832 14978 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14978 566 18 0 16449 0
vsize: 65868
[startup+790.165 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15312 0 0 0 78938 103 0 0 25 0 1 0 849547113 67448832 14978 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14978 566 18 0 16449 0
vsize: 65868
[startup+800.164 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15312 0 0 0 79938 103 0 0 25 0 1 0 849547113 67448832 14978 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14978 566 18 0 16449 0
vsize: 65868
[startup+810.164 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15312 0 0 0 80938 103 0 0 25 0 1 0 849547113 67448832 14978 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14978 566 18 0 16449 0
vsize: 65868
[startup+820.163 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15312 0 0 0 81938 103 0 0 25 0 1 0 849547113 67448832 14978 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14978 566 18 0 16449 0
vsize: 65868
[startup+830.163 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15312 0 0 0 82938 103 0 0 25 0 1 0 849547113 67448832 14978 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14978 566 18 0 16449 0
vsize: 65868
[startup+840.162 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15312 0 0 0 83938 103 0 0 25 0 1 0 849547113 67448832 14978 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14978 566 18 0 16449 0
vsize: 65868
[startup+850.162 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15312 0 0 0 84938 104 0 0 25 0 1 0 849547113 67448832 14978 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14978 566 18 0 16449 0
vsize: 65868
[startup+860.161 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15313 0 0 0 85939 104 0 0 25 0 1 0 849547113 67448832 14979 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14979 566 18 0 16449 0
vsize: 65868
[startup+870.161 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15314 0 0 0 86939 104 0 0 25 0 1 0 849547113 67448832 14980 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14980 566 18 0 16449 0
vsize: 65868
[startup+880.161 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15314 0 0 0 87939 104 0 0 25 0 1 0 849547113 67448832 14980 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14980 566 18 0 16449 0
vsize: 65868
[startup+890.16 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15314 0 0 0 88939 104 0 0 25 0 1 0 849547113 67448832 14980 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14980 566 18 0 16449 0
vsize: 65868
[startup+900.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15314 0 0 0 89939 104 0 0 25 0 1 0 849547113 67448832 14980 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14980 566 18 0 16449 0
vsize: 65868
[startup+910.159 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15314 0 0 0 90939 104 0 0 25 0 1 0 849547113 67448832 14980 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14980 566 18 0 16449 0
vsize: 65868
[startup+920.159 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15314 0 0 0 91939 105 0 0 25 0 1 0 849547113 67448832 14980 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14980 566 18 0 16449 0
vsize: 65868
[startup+930.158 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15314 0 0 0 92939 105 0 0 25 0 1 0 849547113 67448832 14980 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14980 566 18 0 16449 0
vsize: 65868
[startup+940.158 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15314 0 0 0 93940 105 0 0 25 0 1 0 849547113 67448832 14980 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14980 566 18 0 16449 0
vsize: 65868
[startup+950.158 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15315 0 0 0 94940 105 0 0 25 0 1 0 849547113 67448832 14981 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14981 566 18 0 16449 0
vsize: 65868
[startup+960.157 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15315 0 0 0 95940 105 0 0 25 0 1 0 849547113 67448832 14981 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14981 566 18 0 16449 0
vsize: 65868
[startup+970.157 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15315 0 0 0 96940 105 0 0 25 0 1 0 849547113 67448832 14981 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14981 566 18 0 16449 0
vsize: 65868
[startup+980.157 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15318 0 0 0 97940 106 0 0 25 0 1 0 849547113 67448832 14984 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14984 566 18 0 16449 0
vsize: 65868
[startup+990.156 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15318 0 0 0 98941 106 0 0 25 0 1 0 849547113 67448832 14984 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14984 566 18 0 16449 0
vsize: 65868
[startup+1000.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15318 0 0 0 99941 106 0 0 25 0 1 0 849547113 67448832 14984 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14984 566 18 0 16449 0
vsize: 65868
[startup+1010.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15322 0 0 0 100941 106 0 0 25 0 1 0 849547113 67448832 14988 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14988 566 18 0 16449 0
vsize: 65868
[startup+1020.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15322 0 0 0 101941 106 0 0 25 0 1 0 849547113 67448832 14988 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14988 566 18 0 16449 0
vsize: 65868
[startup+1030.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15322 0 0 0 102941 106 0 0 25 0 1 0 849547113 67448832 14988 4294967295 134512640 134581267 3221224592 3221223584 134561101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16467 14988 566 18 0 16449 0
vsize: 65868
[startup+1040.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15435 0 0 0 103941 107 0 0 25 0 1 0 849547113 67973120 15101 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16595 15101 566 18 0 16577 0
vsize: 66380
[startup+1050.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15435 0 0 0 104941 107 0 0 25 0 1 0 849547113 67973120 15101 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16595 15101 566 18 0 16577 0
vsize: 66380
[startup+1060.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15435 0 0 0 105941 108 0 0 25 0 1 0 849547113 67973120 15101 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16595 15101 566 18 0 16577 0
vsize: 66380
[startup+1070.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15435 0 0 0 106941 108 0 0 25 0 1 0 849547113 67973120 15101 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16595 15101 566 18 0 16577 0
vsize: 66380
[startup+1080.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16248
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15435 0 0 0 107941 108 0 0 25 0 1 0 849547113 67973120 15101 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16595 15101 566 18 0 16577 0
vsize: 66380
[startup+1090.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16250
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15435 0 0 0 108941 108 0 0 25 0 1 0 849547113 67973120 15101 4294967295 134512640 134581267 3221224592 3221223520 134520009 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16595 15101 566 18 0 16577 0
vsize: 66380
[startup+1100.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16250
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15435 0 0 0 109941 108 0 0 25 0 1 0 849547113 67973120 15101 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16595 15101 566 18 0 16577 0
vsize: 66380
[startup+1110.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16250
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15435 0 0 0 110941 109 0 0 25 0 1 0 849547113 67973120 15101 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16595 15101 566 18 0 16577 0
vsize: 66380
[startup+1120.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16250
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15435 0 0 0 111941 109 0 0 25 0 1 0 849547113 67973120 15101 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16595 15101 566 18 0 16577 0
vsize: 66380
[startup+1130.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16250
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15435 0 0 0 112940 110 0 0 25 0 1 0 849547113 67973120 15101 4294967295 134512640 134581267 3221224592 3221223552 134519781 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16595 15101 566 18 0 16577 0
vsize: 66380
[startup+1140.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16250
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 15435 0 0 0 113940 110 0 0 25 0 1 0 849547113 67973120 15101 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16595 15101 566 18 0 16577 0
vsize: 66380
[startup+1150.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16250
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 16772 0 0 0 114937 114 0 0 25 0 1 0 849547113 73478144 16438 4294967295 134512640 134581267 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17939 16438 566 18 0 17921 0
vsize: 71756
[startup+1160.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16250
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 16772 0 0 0 115937 114 0 0 25 0 1 0 849547113 73478144 16438 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17939 16438 566 18 0 17921 0
vsize: 71756
[startup+1170.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16250
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 16772 0 0 0 116937 115 0 0 25 0 1 0 849547113 73478144 16438 4294967295 134512640 134581267 3221224592 3221223556 134519893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17939 16438 566 18 0 17921 0
vsize: 71756
[startup+1180.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16250
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 16772 0 0 0 117936 116 0 0 25 0 1 0 849547113 73478144 16438 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17939 16438 566 18 0 17921 0
vsize: 71756
[startup+1188.66 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 16250
Raw data (stat): 16193 (Pueblo-v2) R 16192 25568 25567 0 -1 0 16772 0 0 0 117936 116 0 0 25 0 1 0 849547113 73478144 16438 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17939 16438 566 18 0 17921 0
vsize: 0

Child status: 10
Real time (s): 1188.66
CPU time (s): 1189.04
CPU user time (s): 1187.83
CPU system time (s): 1.20382
CPU usage (%): 100.032
Max. virtual memory (Kb): 71756
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-8
#### END VERIFIER DATA ####