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-5.opb
MD5SUM	00a81d808a7a59d6e11f17e19e68d826
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.04884
Number of variables	450
Total number of constraints	17794
Number of constraints which are clauses	17794
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 38522

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-02 11:52:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26588 boxname=wulflinc4 idbench=318 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  00a81d808a7a59d6e11f17e19e68d826  /oldhome/oroussel/tmp/wulflinc4/normalized-frb30-15-5.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-frb30-15-5.opb
IDLAUNCH: 26588
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        651032 kB
Buffers:         34112 kB
Cached:         327556 kB
SwapCached:        568 kB
Active:          53812 kB
Inactive:       309964 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        650780 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5312 kB
Slab:            14064 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 12:12:32 (client local time) WITH STATUS 10 IN 1189.04 SECONDS
stats: 26588 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/wulflinc4/normalized-frb30-15-5.opb
c #variables read: 450 - #constraints read: 17795
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.95 2/54 8271
Raw data (stat): 8271 (runsolver) R 8270 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849565043 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.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 3994 0 0 0 989 10 0 0 25 0 1 0 849565043 22065152 3968 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5387 3968 566 18 0 5369 0
vsize: 21548
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 7440 0 0 0 1980 19 0 0 25 0 1 0 849565043 36360192 7414 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8877 7414 566 18 0 8859 0
vsize: 35508
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 7708 0 0 0 2978 20 0 0 25 0 1 0 849565043 37416960 7682 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9135 7682 566 18 0 9117 0
vsize: 36540
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 8437 0 0 0 3976 23 0 0 25 0 1 0 849565043 40488960 8411 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9885 8411 566 18 0 9867 0
vsize: 39540
[startup+50.003 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 8437 0 0 0 4976 23 0 0 25 0 1 0 849565043 40488960 8411 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9885 8411 566 18 0 9867 0
vsize: 39540
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 9241 0 0 0 5973 26 0 0 25 0 1 0 849565043 43778048 9215 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10688 9215 566 18 0 10670 0
vsize: 42752
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 9241 0 0 0 6971 28 0 0 25 0 1 0 849565043 43778048 9215 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10688 9215 566 18 0 10670 0
vsize: 42752
[startup+80.0046 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 9313 0 0 0 7971 29 0 0 25 0 1 0 849565043 44040192 9287 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10752 9287 566 18 0 10734 0
vsize: 43008
[startup+90.0051 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 10252 0 0 0 8968 32 0 0 25 0 1 0 849565043 48021504 10226 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11724 10226 566 18 0 11706 0
vsize: 46896
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 10252 0 0 0 9966 34 0 0 25 0 1 0 849565043 48021504 10226 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11724 10226 566 18 0 11706 0
vsize: 46896
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 11274 0 0 0 10963 37 0 0 25 0 1 0 849565043 52264960 11248 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12760 11248 566 18 0 12742 0
vsize: 51040
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 11274 0 0 0 11962 39 0 0 25 0 1 0 849565043 52264960 11248 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12760 11248 566 18 0 12742 0
vsize: 51040
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 11410 0 0 0 12961 40 0 0 25 0 1 0 849565043 52805632 11384 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12892 11384 566 18 0 12874 0
vsize: 51568
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 11410 0 0 0 13960 41 0 0 25 0 1 0 849565043 52805632 11384 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12892 11384 566 18 0 12874 0
vsize: 51568
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 11469 0 0 0 14959 42 0 0 25 0 1 0 849565043 53067776 11443 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12956 11443 566 18 0 12938 0
vsize: 51824
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 11496 0 0 0 15958 43 0 0 25 0 1 0 849565043 53198848 11470 4294967295 134512640 134581267 3221224592 3221223552 134516754 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12988 11470 566 18 0 12970 0
vsize: 51952
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 11496 0 0 0 16957 44 0 0 25 0 1 0 849565043 53198848 11470 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12988 11470 566 18 0 12970 0
vsize: 51952
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 12705 0 0 0 17954 48 0 0 25 0 1 0 849565043 58204160 12679 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14210 12679 566 18 0 14192 0
vsize: 56840
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 12806 0 0 0 18953 49 0 0 25 0 1 0 849565043 58597376 12780 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14306 12780 566 18 0 14288 0
vsize: 57224
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 12806 0 0 0 19951 51 0 0 25 0 1 0 849565043 58597376 12780 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14306 12780 566 18 0 14288 0
vsize: 57224
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 12888 0 0 0 20950 52 0 0 25 0 1 0 849565043 58859520 12862 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14370 12862 566 18 0 14352 0
vsize: 57480
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 12888 0 0 0 21949 53 0 0 25 0 1 0 849565043 58859520 12862 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14370 12862 566 18 0 14352 0
vsize: 57480
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 12906 0 0 0 22949 54 0 0 25 0 1 0 849565043 58990592 12880 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14402 12880 566 18 0 14384 0
vsize: 57608
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 12906 0 0 0 23948 55 0 0 25 0 1 0 849565043 58990592 12880 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14402 12880 566 18 0 14384 0
vsize: 57608
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 12921 0 0 0 24947 56 0 0 25 0 1 0 849565043 58990592 12895 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14402 12895 566 18 0 14384 0
vsize: 57608
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 12923 0 0 0 25945 58 0 0 25 0 1 0 849565043 58990592 12897 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14402 12897 566 18 0 14384 0
vsize: 57608
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 12927 0 0 0 26945 58 0 0 25 0 1 0 849565043 58990592 12901 4294967295 134512640 134581267 3221224592 3221223472 134520222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14402 12901 566 18 0 14384 0
vsize: 57608
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 12927 0 0 0 27945 59 0 0 25 0 1 0 849565043 58990592 12901 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14402 12901 566 18 0 14384 0
vsize: 57608
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 14037 0 0 0 28941 63 0 0 25 0 1 0 849565043 63578112 14011 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15522 14011 566 18 0 15504 0
vsize: 62088
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 14037 0 0 0 29940 64 0 0 25 0 1 0 849565043 63578112 14011 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15522 14011 566 18 0 15504 0
vsize: 62088
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 14037 0 0 0 30940 65 0 0 25 0 1 0 849565043 63578112 14011 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15522 14011 566 18 0 15504 0
vsize: 62088
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 14068 0 0 0 31939 65 0 0 25 0 1 0 849565043 63709184 14042 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15554 14042 566 18 0 15536 0
vsize: 62216
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 14068 0 0 0 32938 66 0 0 25 0 1 0 849565043 63709184 14042 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15554 14042 566 18 0 15536 0
vsize: 62216
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 14068 0 0 0 33938 67 0 0 25 0 1 0 849565043 63709184 14042 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15554 14042 566 18 0 15536 0
vsize: 62216
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 14068 0 0 0 34937 68 0 0 25 0 1 0 849565043 63709184 14042 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15554 14042 566 18 0 15536 0
vsize: 62216
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 14080 0 0 0 35937 68 0 0 25 0 1 0 849565043 63709184 14054 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15554 14054 566 18 0 15536 0
vsize: 62216
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 14080 0 0 0 36936 70 0 0 25 0 1 0 849565043 63709184 14054 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15554 14054 566 18 0 15536 0
vsize: 62216
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 14080 0 0 0 37935 70 0 0 25 0 1 0 849565043 63709184 14054 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15554 14054 566 18 0 15536 0
vsize: 62216
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 14108 0 0 0 38934 72 0 0 25 0 1 0 849565043 63840256 14082 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15586 14082 566 18 0 15568 0
vsize: 62344
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 14108 0 0 0 39933 73 0 0 25 0 1 0 849565043 63840256 14082 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15586 14082 566 18 0 15568 0
vsize: 62344
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 14108 0 0 0 40934 73 0 0 25 0 1 0 849565043 63840256 14082 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15586 14082 566 18 0 15568 0
vsize: 62344
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 14108 0 0 0 41934 73 0 0 25 0 1 0 849565043 63840256 14082 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15586 14082 566 18 0 15568 0
vsize: 62344
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 14108 0 0 0 42934 73 0 0 25 0 1 0 849565043 63840256 14082 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15586 14082 566 18 0 15568 0
vsize: 62344
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 8271
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 14108 0 0 0 43933 74 0 0 25 0 1 0 849565043 63840256 14082 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15586 14082 566 18 0 15568 0
vsize: 62344
[startup+450.105 s]
Raw data (loadavg): 1.07 0.99 0.96 3/57 8312
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 15334 0 0 0 44936 78 0 0 25 0 1 0 849565043 68820992 15308 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16802 15308 566 18 0 16784 0
vsize: 67208
[startup+460.485 s]
Raw data (loadavg): 1.14 1.00 0.96 3/59 8323
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 15334 0 0 0 45973 80 0 0 25 0 1 0 849565043 68820992 15308 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16802 15308 566 18 0 16784 0
vsize: 67208
[startup+470.485 s]
Raw data (loadavg): 1.12 1.00 0.96 2/54 8324
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 15334 0 0 0 46971 81 0 0 25 0 1 0 849565043 68820992 15308 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16802 15308 566 18 0 16784 0
vsize: 67208
[startup+480.486 s]
Raw data (loadavg): 1.10 1.00 0.96 2/54 8324
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 15334 0 0 0 47971 81 0 0 25 0 1 0 849565043 68820992 15308 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16802 15308 566 18 0 16784 0
vsize: 67208
[startup+490.486 s]
Raw data (loadavg): 1.08 1.00 0.96 2/54 8324
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 15335 0 0 0 48971 82 0 0 25 0 1 0 849565043 68820992 15309 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16802 15309 566 18 0 16784 0
vsize: 67208
[startup+500.487 s]
Raw data (loadavg): 1.07 1.00 0.96 2/54 8324
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 15335 0 0 0 49971 82 0 0 25 0 1 0 849565043 68820992 15309 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16802 15309 566 18 0 16784 0
vsize: 67208
[startup+510.487 s]
Raw data (loadavg): 1.06 1.00 0.96 2/54 8324
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 15385 0 0 0 50971 82 0 0 25 0 1 0 849565043 69083136 15359 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16866 15359 566 18 0 16848 0
vsize: 67464
[startup+520.487 s]
Raw data (loadavg): 1.05 1.00 0.96 2/54 8324
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 15385 0 0 0 51971 83 0 0 25 0 1 0 849565043 69083136 15359 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16866 15359 566 18 0 16848 0
vsize: 67464
[startup+530.489 s]
Raw data (loadavg): 1.04 1.00 0.96 2/54 8326
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 15385 0 0 0 52970 84 0 0 25 0 1 0 849565043 69083136 15359 4294967295 134512640 134581267 3221224592 3221223488 134517809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16866 15359 566 18 0 16848 0
vsize: 67464
[startup+540.489 s]
Raw data (loadavg): 1.04 1.00 0.96 2/54 8326
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 15385 0 0 0 53968 86 0 0 25 0 1 0 849565043 69083136 15359 4294967295 134512640 134581267 3221224592 3221223504 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16866 15359 566 18 0 16848 0
vsize: 67464
[startup+550.489 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 8326
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 15435 0 0 0 54967 87 0 0 25 0 1 0 849565043 69214208 15409 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16898 15409 566 18 0 16880 0
vsize: 67592
[startup+560.489 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 8326
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 15435 0 0 0 55966 88 0 0 25 0 1 0 849565043 69214208 15409 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16898 15409 566 18 0 16880 0
vsize: 67592
[startup+570.489 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 8326
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 15435 0 0 0 56966 89 0 0 25 0 1 0 849565043 69214208 15409 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16898 15409 566 18 0 16880 0
vsize: 67592
[startup+580.49 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 8326
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 15435 0 0 0 57965 90 0 0 25 0 1 0 849565043 69214208 15409 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16898 15409 566 18 0 16880 0
vsize: 67592
[startup+590.49 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 8326
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 15435 0 0 0 58964 91 0 0 25 0 1 0 849565043 69214208 15409 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16898 15409 566 18 0 16880 0
vsize: 67592
[startup+600.49 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 8326
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 15435 0 0 0 59963 92 0 0 25 0 1 0 849565043 69214208 15409 4294967295 134512640 134581267 3221224592 3221223536 134558865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16898 15409 566 18 0 16880 0
vsize: 67592
[startup+610.49 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 8326
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 15476 0 0 0 60963 93 0 0 25 0 1 0 849565043 69476352 15450 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16962 15450 566 18 0 16944 0
vsize: 67848
[startup+620.489 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 8326
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 15476 0 0 0 61962 93 0 0 25 0 1 0 849565043 69476352 15450 4294967295 134512640 134581267 3221224592 3221223584 134561036 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16962 15450 566 18 0 16944 0
vsize: 67848
[startup+630.489 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 8326
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 15476 0 0 0 62961 95 0 0 25 0 1 0 849565043 69476352 15450 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16962 15450 566 18 0 16944 0
vsize: 67848
[startup+640.491 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8326
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 15476 0 0 0 63960 96 0 0 25 0 1 0 849565043 69476352 15450 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16962 15450 566 18 0 16944 0
vsize: 67848
[startup+650.49 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8326
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 16801 0 0 0 64956 100 0 0 25 0 1 0 849565043 75042816 16775 4294967295 134512640 134581267 3221224592 3221223552 134516754 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18321 16775 566 18 0 18303 0
vsize: 73284
[startup+660.49 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8326
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 16801 0 0 0 65955 101 0 0 25 0 1 0 849565043 75042816 16775 4294967295 134512640 134581267 3221224592 3221223520 134519996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18321 16775 566 18 0 18303 0
vsize: 73284
[startup+670.49 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8326
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 16801 0 0 0 66954 102 0 0 25 0 1 0 849565043 75042816 16775 4294967295 134512640 134581267 3221224592 3221223536 134558884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18321 16775 566 18 0 18303 0
vsize: 73284
[startup+680.49 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8326
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 16801 0 0 0 67953 103 0 0 25 0 1 0 849565043 75042816 16775 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18321 16775 566 18 0 18303 0
vsize: 73284
[startup+690.49 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8326
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 16814 0 0 0 68952 104 0 0 25 0 1 0 849565043 75042816 16788 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18321 16788 566 18 0 18303 0
vsize: 73284
[startup+700.49 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8326
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 16814 0 0 0 69951 105 0 0 25 0 1 0 849565043 75042816 16788 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18321 16788 566 18 0 18303 0
vsize: 73284
[startup+710.49 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8326
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 16814 0 0 0 70951 106 0 0 25 0 1 0 849565043 75042816 16788 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18321 16788 566 18 0 18303 0
vsize: 73284
[startup+720.49 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8326
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 16814 0 0 0 71949 108 0 0 25 0 1 0 849565043 75042816 16788 4294967295 134512640 134581267 3221224592 3221223488 134517806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18321 16788 566 18 0 18303 0
vsize: 73284
[startup+730.49 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8326
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 16819 0 0 0 72948 109 0 0 25 0 1 0 849565043 75042816 16793 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18321 16793 566 18 0 18303 0
vsize: 73284
[startup+740.491 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8326
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 16819 0 0 0 73946 111 0 0 25 0 1 0 849565043 75042816 16793 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18321 16793 566 18 0 18303 0
vsize: 73284
[startup+750.491 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8326
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 16819 0 0 0 74945 112 0 0 25 0 1 0 849565043 75042816 16793 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18321 16793 566 18 0 18303 0
vsize: 73284
[startup+760.491 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8326
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 16825 0 0 0 75944 113 0 0 25 0 1 0 849565043 75042816 16799 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18321 16799 566 18 0 18303 0
vsize: 73284
[startup+770.492 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 16825 0 0 0 76944 114 0 0 25 0 1 0 849565043 75042816 16799 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18321 16799 566 18 0 18303 0
vsize: 73284
[startup+780.491 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 16825 0 0 0 77943 115 0 0 25 0 1 0 849565043 75042816 16799 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18321 16799 566 18 0 18303 0
vsize: 73284
[startup+790.492 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 16825 0 0 0 78941 117 0 0 25 0 1 0 849565043 75042816 16799 4294967295 134512640 134581267 3221224592 3221223520 134519883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18321 16799 566 18 0 18303 0
vsize: 73284
[startup+800.491 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 16840 0 0 0 79940 119 0 0 25 0 1 0 849565043 75173888 16814 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18353 16814 566 18 0 18335 0
vsize: 73412
[startup+810.492 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 16840 0 0 0 80939 120 0 0 25 0 1 0 849565043 75173888 16814 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18353 16814 566 18 0 18335 0
vsize: 73412
[startup+820.493 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 16840 0 0 0 81938 121 0 0 25 0 1 0 849565043 75173888 16814 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18353 16814 566 18 0 18335 0
vsize: 73412
[startup+830.492 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 16840 0 0 0 82938 121 0 0 25 0 1 0 849565043 75173888 16814 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18353 16814 566 18 0 18335 0
vsize: 73412
[startup+840.493 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 16869 0 0 0 83937 122 0 0 25 0 1 0 849565043 75304960 16843 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18385 16843 566 18 0 18367 0
vsize: 73540
[startup+850.493 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 16869 0 0 0 84936 124 0 0 25 0 1 0 849565043 75304960 16843 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18385 16843 566 18 0 18367 0
vsize: 73540
[startup+860.494 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 16869 0 0 0 85934 125 0 0 25 0 1 0 849565043 75304960 16843 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18385 16843 566 18 0 18367 0
vsize: 73540
[startup+870.493 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 17504 0 0 0 86932 128 0 0 25 0 1 0 849565043 77926400 17478 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19025 17478 566 18 0 19007 0
vsize: 76100
[startup+880.494 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18330 0 0 0 87931 129 0 0 25 0 1 0 849565043 81334272 18304 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19857 18304 566 18 0 19839 0
vsize: 79428
[startup+890.494 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18330 0 0 0 88931 129 0 0 25 0 1 0 849565043 81334272 18304 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19857 18304 566 18 0 19839 0
vsize: 79428
[startup+900.494 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18330 0 0 0 89929 131 0 0 25 0 1 0 849565043 81334272 18304 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19857 18304 566 18 0 19839 0
vsize: 79428
[startup+910.495 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18330 0 0 0 90929 132 0 0 25 0 1 0 849565043 81334272 18304 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19857 18304 566 18 0 19839 0
vsize: 79428
[startup+920.495 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18330 0 0 0 91928 133 0 0 25 0 1 0 849565043 81334272 18304 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19857 18304 566 18 0 19839 0
vsize: 79428
[startup+930.495 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18330 0 0 0 92927 134 0 0 25 0 1 0 849565043 80023552 17992 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19537 17992 566 18 0 19519 0
vsize: 78148
[startup+940.495 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18330 0 0 0 93926 135 0 0 25 0 1 0 849565043 80023552 17992 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19537 17992 566 18 0 19519 0
vsize: 78148
[startup+950.496 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18330 0 0 0 94924 137 0 0 25 0 1 0 849565043 80023552 17992 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19537 17992 566 18 0 19519 0
vsize: 78148
[startup+960.496 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18693 0 0 0 95923 139 0 0 25 0 1 0 849565043 81743872 18355 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19957 18355 566 18 0 19939 0
vsize: 79828
[startup+970.496 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18693 0 0 0 96922 139 0 0 25 0 1 0 849565043 81743872 18355 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19957 18355 566 18 0 19939 0
vsize: 79828
[startup+980.496 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18693 0 0 0 97921 141 0 0 25 0 1 0 849565043 81743872 18355 4294967295 134512640 134581267 3221224592 3221223536 134558768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19957 18355 566 18 0 19939 0
vsize: 79828
[startup+990.497 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18696 0 0 0 98919 143 0 0 25 0 1 0 849565043 81743872 18358 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19957 18358 566 18 0 19939 0
vsize: 79828
[startup+1000.5 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18696 0 0 0 99918 144 0 0 25 0 1 0 849565043 81743872 18358 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19957 18358 566 18 0 19939 0
vsize: 79828
[startup+1010.5 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18774 0 0 0 100918 145 0 0 25 0 1 0 849565043 82006016 18436 4294967295 134512640 134581267 3221224592 3221223552 134516754 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18436 566 18 0 20003 0
vsize: 80084
[startup+1020.5 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18774 0 0 0 101917 145 0 0 25 0 1 0 849565043 82006016 18436 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18436 566 18 0 20003 0
vsize: 80084
[startup+1030.5 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18774 0 0 0 102916 147 0 0 25 0 1 0 849565043 82006016 18436 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18436 566 18 0 20003 0
vsize: 80084
[startup+1040.5 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18774 0 0 0 103914 149 0 0 25 0 1 0 849565043 82006016 18436 4294967295 134512640 134581267 3221224592 3221223472 134520258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18436 566 18 0 20003 0
vsize: 80084
[startup+1050.5 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18774 0 0 0 104913 150 0 0 25 0 1 0 849565043 82006016 18436 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18436 566 18 0 20003 0
vsize: 80084
[startup+1060.5 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18774 0 0 0 105913 150 0 0 25 0 1 0 849565043 81756160 18390 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19960 18390 566 18 0 19942 0
vsize: 79840
[startup+1070.5 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18774 0 0 0 106912 152 0 0 25 0 1 0 849565043 81756160 18390 4294967295 134512640 134581267 3221224592 3221223456 134528390 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19960 18390 566 18 0 19942 0
vsize: 79840
[startup+1080.5 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18774 0 0 0 107910 153 0 0 25 0 1 0 849565043 81756160 18390 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19960 18390 566 18 0 19942 0
vsize: 79840
[startup+1090.5 s]
Raw data (loadavg): 1.07 1.02 0.97 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18850 0 0 0 108909 154 0 0 25 0 1 0 849565043 82149376 18466 4294967295 134512640 134581267 3221224592 3221223552 134516747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20056 18466 566 18 0 20038 0
vsize: 80224
[startup+1100.5 s]
Raw data (loadavg): 1.06 1.02 0.97 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18850 0 0 0 109908 156 0 0 25 0 1 0 849565043 82149376 18466 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20056 18466 566 18 0 20038 0
vsize: 80224
[startup+1110.5 s]
Raw data (loadavg): 1.05 1.01 0.97 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18850 0 0 0 110907 157 0 0 25 0 1 0 849565043 82149376 18466 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20056 18466 566 18 0 20038 0
vsize: 80224
[startup+1120.5 s]
Raw data (loadavg): 1.04 1.01 0.97 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18850 0 0 0 111906 158 0 0 25 0 1 0 849565043 82149376 18466 4294967295 134512640 134581267 3221224592 3221223504 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20056 18466 566 18 0 20038 0
vsize: 80224
[startup+1130.5 s]
Raw data (loadavg): 1.04 1.01 0.97 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18850 0 0 0 112906 158 0 0 25 0 1 0 849565043 82149376 18466 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20056 18466 566 18 0 20038 0
vsize: 80224
[startup+1140.5 s]
Raw data (loadavg): 1.03 1.01 0.97 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18850 0 0 0 113905 159 0 0 25 0 1 0 849565043 82149376 18466 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20056 18466 566 18 0 20038 0
vsize: 80224
[startup+1150.5 s]
Raw data (loadavg): 1.02 1.01 0.97 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18850 0 0 0 114905 160 0 0 25 0 1 0 849565043 81756160 18390 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19960 18390 566 18 0 19942 0
vsize: 79840
[startup+1160.5 s]
Raw data (loadavg): 1.02 1.01 0.97 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18850 0 0 0 115904 161 0 0 25 0 1 0 849565043 81756160 18390 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19960 18390 566 18 0 19942 0
vsize: 79840
[startup+1170.5 s]
Raw data (loadavg): 1.02 1.01 0.97 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18850 0 0 0 116904 161 0 0 25 0 1 0 849565043 81756160 18390 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19960 18390 566 18 0 19942 0
vsize: 79840
[startup+1180.5 s]
Raw data (loadavg): 1.01 1.01 0.97 2/54 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18851 0 0 0 117903 162 0 0 25 0 1 0 849565043 81756160 18391 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19960 18391 566 18 0 19942 0
vsize: 79840
[startup+1188.88 s]
Raw data (loadavg): 1.01 1.01 0.97 1/53 8328
Raw data (stat): 8271 (Pueblo-v2) R 8270 21152 21151 0 -1 0 18851 0 0 0 117903 162 0 0 25 0 1 0 849565043 81756160 18391 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19960 18391 566 18 0 19942 0
vsize: 0

Child status: 10
Real time (s): 1188.88
CPU time (s): 1189.04
CPU user time (s): 1187.37
CPU system time (s): 1.66775
CPU usage (%): 100.013
Max. virtual memory (Kb): 80224
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-9
#### END VERIFIER DATA ####