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-2.opb
MD5SUM	25130921f4384cc034832ca1cd52ec48
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.05584
Number of variables	450
Total number of constraints	17874
Number of constraints which are clauses	17874
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 24715

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 00:34:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2833 boxname=wulflinc31 idbench=315 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  25130921f4384cc034832ca1cd52ec48  /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-2.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-2.opb
IDLAUNCH: 2833
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        905624 kB
Buffers:         22080 kB
Cached:          85600 kB
SwapCached:       1936 kB
Active:          58452 kB
Inactive:        52404 kB
HighTotal:      131008 kB
HighFree:        44520 kB
LowTotal:       903652 kB
LowFree:        861104 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12460 kB
Committed_AS:    63852 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 00:53:53 (client local time) WITH STATUS 10 IN 1189.06 SECONDS
stats: 2833 0 1189.06 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-2.opb
c #variables read: 450 - #constraints read: 17875
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
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (runsolver) R 5058 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 722241212 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0005 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 1358 0 0 0 991 6 0 0 25 0 1 0 722241212 11206656 1335 4294967295 134512640 134581331 3221221792 3221220512 134523349 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2736 1335 566 18 0 2718 0
vsize: 10944
[startup+20.001 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 2083 0 0 0 1989 8 0 0 25 0 1 0 722241212 14188544 2060 4294967295 134512640 134581331 3221221792 3221220656 134528316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3464 2060 566 18 0 3446 0
vsize: 13856
[startup+30.0009 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 2854 0 0 0 2987 10 0 0 25 0 1 0 722241212 17444864 2831 4294967295 134512640 134581331 3221221792 3221220512 134523328 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4259 2831 566 18 0 4241 0
vsize: 17036
[startup+40.0011 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 3577 0 0 0 3985 12 0 0 25 0 1 0 722241212 20439040 3554 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4990 3554 566 18 0 4972 0
vsize: 19960
[startup+50.0018 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 4304 0 0 0 4983 14 0 0 25 0 1 0 722241212 23437312 4281 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5722 4281 566 18 0 5704 0
vsize: 22888
[startup+60.0017 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 5011 0 0 0 5981 17 0 0 25 0 1 0 722241212 26451968 4988 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6458 4988 566 18 0 6440 0
vsize: 25832
[startup+70.003 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 5886 0 0 0 6978 19 0 0 25 0 1 0 722241212 29929472 5863 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7307 5863 566 18 0 7289 0
vsize: 29228
[startup+80.0036 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 6421 0 0 0 7977 21 0 0 25 0 1 0 722241212 32264192 6398 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7877 6398 566 18 0 7859 0
vsize: 31508
[startup+90.0035 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 6850 0 0 0 8976 22 0 0 25 0 1 0 722241212 33882112 6827 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8272 6827 566 18 0 8254 0
vsize: 33088
[startup+100.004 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 7211 0 0 0 9975 23 0 0 25 0 1 0 722241212 35389440 7188 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8640 7188 566 18 0 8622 0
vsize: 34560
[startup+110.004 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 7963 0 0 0 10973 25 0 0 25 0 1 0 722241212 38506496 7940 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9401 7940 566 18 0 9383 0
vsize: 37604
[startup+120.005 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 8209 0 0 0 11972 26 0 0 25 0 1 0 722241212 39591936 8186 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9666 8186 566 18 0 9648 0
vsize: 38664
[startup+130.006 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 8209 0 0 0 12972 26 0 0 25 0 1 0 722241212 39591936 8186 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9666 8186 566 18 0 9648 0
vsize: 38664
[startup+140.005 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 8209 0 0 0 13972 27 0 0 25 0 1 0 722241212 39591936 8186 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9666 8186 566 18 0 9648 0
vsize: 38664
[startup+150.006 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 8209 0 0 0 14972 27 0 0 25 0 1 0 722241212 39591936 8186 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9666 8186 566 18 0 9648 0
vsize: 38664
[startup+160.007 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 8209 0 0 0 15971 28 0 0 25 0 1 0 722241212 39591936 8186 4294967295 134512640 134581331 3221221792 3221220704 134527975 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9666 8186 566 18 0 9648 0
vsize: 38664
[startup+170.007 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 8209 0 0 0 16970 28 0 0 25 0 1 0 722241212 39591936 8186 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9666 8186 566 18 0 9648 0
vsize: 38664
[startup+180.007 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 8336 0 0 0 17969 29 0 0 25 0 1 0 722241212 39997440 8313 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9765 8313 566 18 0 9747 0
vsize: 39060
[startup+190.007 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 8336 0 0 0 18969 29 0 0 25 0 1 0 722241212 39997440 8313 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9765 8313 566 18 0 9747 0
vsize: 39060
[startup+200.008 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 8336 0 0 0 19969 29 0 0 25 0 1 0 722241212 39997440 8313 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9765 8313 566 18 0 9747 0
vsize: 39060
[startup+210.008 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 8336 0 0 0 20969 29 0 0 25 0 1 0 722241212 39997440 8313 4294967295 134512640 134581331 3221221792 3221220704 134519032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9765 8313 566 18 0 9747 0
vsize: 39060
[startup+220.009 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 8336 0 0 0 21969 30 0 0 25 0 1 0 722241212 39997440 8313 4294967295 134512640 134581331 3221221792 3221220512 134523346 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9765 8313 566 18 0 9747 0
vsize: 39060
[startup+230.009 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 8337 0 0 0 22969 30 0 0 25 0 1 0 722241212 39997440 8314 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9765 8314 566 18 0 9747 0
vsize: 39060
[startup+240.008 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 8337 0 0 0 23969 30 0 0 25 0 1 0 722241212 39997440 8314 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9765 8314 566 18 0 9747 0
vsize: 39060
[startup+250.009 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 8337 0 0 0 24969 30 0 0 25 0 1 0 722241212 39997440 8314 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9765 8314 566 18 0 9747 0
vsize: 39060
[startup+260.009 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 8696 0 0 0 25968 31 0 0 25 0 1 0 722241212 41492480 8673 4294967295 134512640 134581331 3221221792 3221220512 134523183 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10130 8673 566 18 0 10112 0
vsize: 40520
[startup+270.01 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 9050 0 0 0 26968 32 0 0 25 0 1 0 722241212 43073536 9027 4294967295 134512640 134581331 3221221792 3221220676 134557767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10516 9027 566 18 0 10498 0
vsize: 42064
[startup+280.011 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 9361 0 0 0 27967 33 0 0 25 0 1 0 722241212 44290048 9338 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10813 9338 566 18 0 10795 0
vsize: 43252
[startup+290.01 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 9729 0 0 0 28966 34 0 0 25 0 1 0 722241212 45768704 9706 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11174 9706 566 18 0 11156 0
vsize: 44696
[startup+300.011 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 9941 0 0 0 29965 35 0 0 25 0 1 0 722241212 46727168 9918 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11408 9918 566 18 0 11390 0
vsize: 45632
[startup+310.011 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 9941 0 0 0 30965 35 0 0 25 0 1 0 722241212 46727168 9918 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11408 9918 566 18 0 11390 0
vsize: 45632
[startup+320.012 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 9942 0 0 0 31966 35 0 0 25 0 1 0 722241212 46727168 9919 4294967295 134512640 134581331 3221221792 3221220428 1075288356 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11408 9919 566 18 0 11390 0
vsize: 45632
[startup+330.013 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 9942 0 0 0 32965 35 0 0 25 0 1 0 722241212 46727168 9919 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11408 9919 566 18 0 11390 0
vsize: 45632
[startup+340.013 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 9942 0 0 0 33965 36 0 0 25 0 1 0 722241212 46727168 9919 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11408 9919 566 18 0 11390 0
vsize: 45632
[startup+350.014 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 9942 0 0 0 34965 36 0 0 25 0 1 0 722241212 46727168 9919 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11408 9919 566 18 0 11390 0
vsize: 45632
[startup+360.015 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 9942 0 0 0 35965 36 0 0 25 0 1 0 722241212 46727168 9919 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11408 9919 566 18 0 11390 0
vsize: 45632
[startup+370.016 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 9942 0 0 0 36965 36 0 0 25 0 1 0 722241212 46727168 9919 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11408 9919 566 18 0 11390 0
vsize: 45632
[startup+380.016 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 9942 0 0 0 37965 37 0 0 25 0 1 0 722241212 46727168 9919 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11408 9919 566 18 0 11390 0
vsize: 45632
[startup+390.016 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 9942 0 0 0 38965 37 0 0 25 0 1 0 722241212 46727168 9919 4294967295 134512640 134581331 3221221792 3221220464 134531728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11408 9919 566 18 0 11390 0
vsize: 45632
[startup+400.017 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 9942 0 0 0 39965 37 0 0 25 0 1 0 722241212 46727168 9919 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11408 9919 566 18 0 11390 0
vsize: 45632
[startup+410.017 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 9942 0 0 0 40965 37 0 0 25 0 1 0 722241212 46727168 9919 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11408 9919 566 18 0 11390 0
vsize: 45632
[startup+420.017 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 9945 0 0 0 41965 37 0 0 25 0 1 0 722241212 46727168 9922 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11408 9922 566 18 0 11390 0
vsize: 45632
[startup+430.019 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 9945 0 0 0 42965 38 0 0 25 0 1 0 722241212 46727168 9922 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11408 9922 566 18 0 11390 0
vsize: 45632
[startup+440.018 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 9945 0 0 0 43965 38 0 0 25 0 1 0 722241212 46727168 9922 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11408 9922 566 18 0 11390 0
vsize: 45632
[startup+450.018 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 9945 0 0 0 44965 38 0 0 25 0 1 0 722241212 46727168 9922 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11408 9922 566 18 0 11390 0
vsize: 45632
[startup+460.018 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 9945 0 0 0 45965 38 0 0 25 0 1 0 722241212 46727168 9922 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11408 9922 566 18 0 11390 0
vsize: 45632
[startup+470.019 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 9945 0 0 0 46965 38 0 0 25 0 1 0 722241212 46727168 9922 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11408 9922 566 18 0 11390 0
vsize: 45632
[startup+480.019 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 9945 0 0 0 47965 38 0 0 25 0 1 0 722241212 46727168 9922 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11408 9922 566 18 0 11390 0
vsize: 45632
[startup+490.029 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 10046 0 0 0 48966 39 0 0 25 0 1 0 722241212 47124480 10023 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11505 10023 566 18 0 11487 0
vsize: 46020
[startup+500.037 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 10596 0 0 0 49964 41 0 0 25 0 1 0 722241212 49455104 10573 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12074 10573 566 18 0 12056 0
vsize: 48296
[startup+510.037 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 11013 0 0 0 50964 42 0 0 25 0 1 0 722241212 51154944 10990 4294967295 134512640 134581331 3221221792 3221220752 134516747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12489 10990 566 18 0 12471 0
vsize: 49956
[startup+520.038 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 11013 0 0 0 51964 42 0 0 25 0 1 0 722241212 51154944 10990 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12489 10990 566 18 0 12471 0
vsize: 49956
[startup+530.039 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 11013 0 0 0 52964 43 0 0 25 0 1 0 722241212 51154944 10990 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12489 10990 566 18 0 12471 0
vsize: 49956
[startup+540.039 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 11013 0 0 0 53964 43 0 0 25 0 1 0 722241212 51154944 10990 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12489 10990 566 18 0 12471 0
vsize: 49956
[startup+550.039 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 11013 0 0 0 54964 43 0 0 25 0 1 0 722241212 51154944 10990 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12489 10990 566 18 0 12471 0
vsize: 49956
[startup+560.039 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 11013 0 0 0 55964 43 0 0 25 0 1 0 722241212 51154944 10990 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12489 10990 566 18 0 12471 0
vsize: 49956
[startup+570.04 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 11013 0 0 0 56964 44 0 0 25 0 1 0 722241212 51154944 10990 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12489 10990 566 18 0 12471 0
vsize: 49956
[startup+580.041 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 11013 0 0 0 57964 44 0 0 25 0 1 0 722241212 51154944 10990 4294967295 134512640 134581331 3221221792 3221219040 134532818 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12489 10990 566 18 0 12471 0
vsize: 49956
[startup+590.041 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 11013 0 0 0 58963 44 0 0 25 0 1 0 722241212 51154944 10990 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12489 10990 566 18 0 12471 0
vsize: 49956
[startup+600.041 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 11013 0 0 0 59963 45 0 0 25 0 1 0 722241212 51154944 10990 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12489 10990 566 18 0 12471 0
vsize: 49956
[startup+610.042 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 11194 0 0 0 60963 45 0 0 25 0 1 0 722241212 51965952 11171 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12687 11171 566 18 0 12669 0
vsize: 50748
[startup+620.042 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 11563 0 0 0 61961 47 0 0 25 0 1 0 722241212 53460992 11540 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13052 11540 566 18 0 13034 0
vsize: 52208
[startup+630.043 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 11880 0 0 0 62961 48 0 0 25 0 1 0 722241212 54689792 11857 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13352 11857 566 18 0 13334 0
vsize: 53408
[startup+640.043 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12144 0 0 0 63961 48 0 0 25 0 1 0 722241212 55767040 12121 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13615 12121 566 18 0 13597 0
vsize: 54460
[startup+650.044 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12144 0 0 0 64960 48 0 0 25 0 1 0 722241212 55767040 12121 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13615 12121 566 18 0 13597 0
vsize: 54460
[startup+660.044 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12144 0 0 0 65960 49 0 0 25 0 1 0 722241212 55767040 12121 4294967295 134512640 134581331 3221221792 3221220676 134557876 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13615 12121 566 18 0 13597 0
vsize: 54460
[startup+670.064 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12144 0 0 0 66962 49 0 0 25 0 1 0 722241212 55767040 12121 4294967295 134512640 134581331 3221221792 3221220732 134559715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13615 12121 566 18 0 13597 0
vsize: 54460
[startup+680.064 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12144 0 0 0 67962 49 0 0 25 0 1 0 722241212 55767040 12121 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13615 12121 566 18 0 13597 0
vsize: 54460
[startup+690.064 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12144 0 0 0 68961 50 0 0 25 0 1 0 722241212 55767040 12121 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13615 12121 566 18 0 13597 0
vsize: 54460
[startup+700.065 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12144 0 0 0 69961 50 0 0 25 0 1 0 722241212 55767040 12121 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13615 12121 566 18 0 13597 0
vsize: 54460
[startup+710.065 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12144 0 0 0 70961 51 0 0 25 0 1 0 722241212 55767040 12121 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13615 12121 566 18 0 13597 0
vsize: 54460
[startup+720.065 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12144 0 0 0 71961 51 0 0 25 0 1 0 722241212 55767040 12121 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13615 12121 566 18 0 13597 0
vsize: 54460
[startup+730.066 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12144 0 0 0 72960 52 0 0 25 0 1 0 722241212 55767040 12121 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13615 12121 566 18 0 13597 0
vsize: 54460
[startup+740.065 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12144 0 0 0 73960 52 0 0 25 0 1 0 722241212 55767040 12121 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13615 12121 566 18 0 13597 0
vsize: 54460
[startup+750.065 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12144 0 0 0 74960 53 0 0 25 0 1 0 722241212 55767040 12121 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13615 12121 566 18 0 13597 0
vsize: 54460
[startup+760.066 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12144 0 0 0 75959 53 0 0 25 0 1 0 722241212 55767040 12121 4294967295 134512640 134581331 3221221792 3221220512 134522794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13615 12121 566 18 0 13597 0
vsize: 54460
[startup+770.067 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12233 0 0 0 76959 53 0 0 25 0 1 0 722241212 56176640 12210 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13715 12210 566 18 0 13697 0
vsize: 54860
[startup+780.067 s]
Raw data (loadavg): 0.99 0.99 0.96 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12233 0 0 0 77959 54 0 0 25 0 1 0 722241212 56176640 12210 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13715 12210 566 18 0 13697 0
vsize: 54860
[startup+790.067 s]
Raw data (loadavg): 1.07 1.00 0.97 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12233 0 0 0 78959 54 0 0 25 0 1 0 722241212 56176640 12210 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13715 12210 566 18 0 13697 0
vsize: 54860
[startup+800.068 s]
Raw data (loadavg): 1.06 1.00 0.97 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12233 0 0 0 79959 54 0 0 25 0 1 0 722241212 56176640 12210 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13715 12210 566 18 0 13697 0
vsize: 54860
[startup+810.068 s]
Raw data (loadavg): 1.05 1.00 0.97 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12233 0 0 0 80959 55 0 0 25 0 1 0 722241212 56176640 12210 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13715 12210 566 18 0 13697 0
vsize: 54860
[startup+820.069 s]
Raw data (loadavg): 1.04 1.00 0.97 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12233 0 0 0 81959 55 0 0 25 0 1 0 722241212 56176640 12210 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13715 12210 566 18 0 13697 0
vsize: 54860
[startup+830.07 s]
Raw data (loadavg): 1.04 1.00 0.97 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12233 0 0 0 82959 55 0 0 25 0 1 0 722241212 56176640 12210 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13715 12210 566 18 0 13697 0
vsize: 54860
[startup+840.07 s]
Raw data (loadavg): 1.03 1.00 0.97 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12233 0 0 0 83959 55 0 0 25 0 1 0 722241212 56176640 12210 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13715 12210 566 18 0 13697 0
vsize: 54860
[startup+850.07 s]
Raw data (loadavg): 1.03 1.00 0.97 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12233 0 0 0 84959 55 0 0 25 0 1 0 722241212 56176640 12210 4294967295 134512640 134581331 3221221792 3221220800 134560491 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13715 12210 566 18 0 13697 0
vsize: 54860
[startup+860.07 s]
Raw data (loadavg): 1.02 1.00 0.97 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12233 0 0 0 85958 56 0 0 25 0 1 0 722241212 56176640 12210 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13715 12210 566 18 0 13697 0
vsize: 54860
[startup+870.071 s]
Raw data (loadavg): 1.02 1.00 0.97 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12233 0 0 0 86958 56 0 0 25 0 1 0 722241212 56176640 12210 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13715 12210 566 18 0 13697 0
vsize: 54860
[startup+880.072 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12233 0 0 0 87958 56 0 0 25 0 1 0 722241212 56176640 12210 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13715 12210 566 18 0 13697 0
vsize: 54860
[startup+890.072 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12233 0 0 0 88958 56 0 0 25 0 1 0 722241212 56176640 12210 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13715 12210 566 18 0 13697 0
vsize: 54860
[startup+900.072 s]
Raw data (loadavg): 1.09 1.02 0.97 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12233 0 0 0 89958 56 0 0 25 0 1 0 722241212 56176640 12210 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13715 12210 566 18 0 13697 0
vsize: 54860
[startup+910.073 s]
Raw data (loadavg): 1.08 1.02 0.97 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12367 0 0 0 90958 57 0 0 25 0 1 0 722241212 56713216 12344 4294967295 134512640 134581331 3221221792 3221220752 134516726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13846 12344 566 18 0 13828 0
vsize: 55384
[startup+920.073 s]
Raw data (loadavg): 1.06 1.01 0.97 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12367 0 0 0 91958 57 0 0 25 0 1 0 722241212 56713216 12344 4294967295 134512640 134581331 3221221792 3221220688 134517871 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13846 12344 566 18 0 13828 0
vsize: 55384
[startup+930.073 s]
Raw data (loadavg): 1.13 1.03 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12367 0 0 0 92957 57 0 0 25 0 1 0 722241212 56713216 12344 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13846 12344 566 18 0 13828 0
vsize: 55384
[startup+940.073 s]
Raw data (loadavg): 1.11 1.03 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12367 0 0 0 93957 58 0 0 25 0 1 0 722241212 56713216 12344 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13846 12344 566 18 0 13828 0
vsize: 55384
[startup+950.073 s]
Raw data (loadavg): 1.09 1.03 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12367 0 0 0 94957 58 0 0 25 0 1 0 722241212 56713216 12344 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13846 12344 566 18 0 13828 0
vsize: 55384
[startup+960.073 s]
Raw data (loadavg): 1.08 1.03 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12368 0 0 0 95958 58 0 0 25 0 1 0 722241212 56713216 12345 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13846 12345 566 18 0 13828 0
vsize: 55384
[startup+970.074 s]
Raw data (loadavg): 1.07 1.03 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12368 0 0 0 96958 58 0 0 25 0 1 0 722241212 56713216 12345 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13846 12345 566 18 0 13828 0
vsize: 55384
[startup+980.074 s]
Raw data (loadavg): 1.06 1.02 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12368 0 0 0 97958 58 0 0 25 0 1 0 722241212 56713216 12345 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13846 12345 566 18 0 13828 0
vsize: 55384
[startup+990.074 s]
Raw data (loadavg): 1.05 1.02 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12368 0 0 0 98958 58 0 0 25 0 1 0 722241212 56713216 12345 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13846 12345 566 18 0 13828 0
vsize: 55384
[startup+1000.07 s]
Raw data (loadavg): 1.04 1.02 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12368 0 0 0 99958 58 0 0 25 0 1 0 722241212 56713216 12345 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13846 12345 566 18 0 13828 0
vsize: 55384
[startup+1010.07 s]
Raw data (loadavg): 1.03 1.02 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12368 0 0 0 100958 59 0 0 25 0 1 0 722241212 56713216 12345 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13846 12345 566 18 0 13828 0
vsize: 55384
[startup+1020.08 s]
Raw data (loadavg): 1.03 1.02 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12368 0 0 0 101958 59 0 0 25 0 1 0 722241212 56713216 12345 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13846 12345 566 18 0 13828 0
vsize: 55384
[startup+1030.08 s]
Raw data (loadavg): 1.02 1.02 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12368 0 0 0 102958 59 0 0 25 0 1 0 722241212 56713216 12345 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13846 12345 566 18 0 13828 0
vsize: 55384
[startup+1040.08 s]
Raw data (loadavg): 1.02 1.02 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12368 0 0 0 103958 59 0 0 25 0 1 0 722241212 56713216 12345 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13846 12345 566 18 0 13828 0
vsize: 55384
[startup+1050.08 s]
Raw data (loadavg): 1.02 1.02 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12368 0 0 0 104958 59 0 0 25 0 1 0 722241212 56713216 12345 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13846 12345 566 18 0 13828 0
vsize: 55384
[startup+1060.08 s]
Raw data (loadavg): 1.01 1.02 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12369 0 0 0 105958 60 0 0 25 0 1 0 722241212 56713216 12346 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13846 12346 566 18 0 13828 0
vsize: 55384
[startup+1070.08 s]
Raw data (loadavg): 1.01 1.02 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12371 0 0 0 106957 60 0 0 25 0 1 0 722241212 56713216 12348 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13846 12348 566 18 0 13828 0
vsize: 55384
[startup+1080.08 s]
Raw data (loadavg): 1.01 1.02 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12371 0 0 0 107957 60 0 0 25 0 1 0 722241212 56713216 12348 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13846 12348 566 18 0 13828 0
vsize: 55384
[startup+1090.08 s]
Raw data (loadavg): 1.01 1.01 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 12705 0 0 0 108956 61 0 0 25 0 1 0 722241212 58060800 12682 4294967295 134512640 134581331 3221221792 3221220704 134519011 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14175 12682 566 18 0 14157 0
vsize: 56700
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 13046 0 0 0 109956 62 0 0 25 0 1 0 722241212 59551744 13023 4294967295 134512640 134581331 3221221792 3221220704 134519020 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14539 13023 566 18 0 14521 0
vsize: 58156
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 13419 0 0 0 110955 63 0 0 25 0 1 0 722241212 61050880 13396 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14905 13396 566 18 0 14887 0
vsize: 59620
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 13507 0 0 0 111954 64 0 0 25 0 1 0 722241212 61321216 13484 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14971 13484 566 18 0 14953 0
vsize: 59884
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 13507 0 0 0 112955 64 0 0 25 0 1 0 722241212 61321216 13484 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14971 13484 566 18 0 14953 0
vsize: 59884
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 13507 0 0 0 113954 64 0 0 25 0 1 0 722241212 61321216 13484 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14971 13484 566 18 0 14953 0
vsize: 59884
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 13507 0 0 0 114954 65 0 0 25 0 1 0 722241212 61321216 13484 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14971 13484 566 18 0 14953 0
vsize: 59884
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 13507 0 0 0 115954 65 0 0 25 0 1 0 722241212 61321216 13484 4294967295 134512640 134581331 3221221792 3221220512 134523293 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14971 13484 566 18 0 14953 0
vsize: 59884
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 13507 0 0 0 116954 65 0 0 25 0 1 0 722241212 61321216 13484 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14971 13484 566 18 0 14953 0
vsize: 59884
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 13507 0 0 0 117954 65 0 0 25 0 1 0 722241212 61321216 13484 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14971 13484 566 18 0 14953 0
vsize: 59884
[startup+1188.94 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 5059
Raw data (stat): 5059 (Pueblo) R 5058 7876 7672 0 -1 0 13507 0 0 0 117954 65 0 0 25 0 1 0 722241212 61321216 13484 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14971 13484 566 18 0 14953 0
vsize: 0

Child status: 10
Real time (s): 1188.94
CPU time (s): 1189.06
CPU user time (s): 1188.38
CPU system time (s): 0.686895
CPU usage (%): 100.01
Max. virtual memory (Kb): 59884
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-9
#### END VERIFIER DATA ####