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-1.opb
MD5SUM	84d0b0ba659c599a6c66454cd956a06b
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.04684
Number of variables	450
Total number of constraints	17827
Number of constraints which are clauses	17827
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 24710

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-11 22:53:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2824 boxname=wulflinc31 idbench=314 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  84d0b0ba659c599a6c66454cd956a06b  /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-1.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-1.opb
IDLAUNCH: 2824
/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:        913812 kB
Buffers:         15052 kB
Cached:          84740 kB
SwapCached:       1936 kB
Active:          56440 kB
Inactive:        46520 kB
HighTotal:      131008 kB
HighFree:        45500 kB
LowTotal:       903652 kB
LowFree:        868312 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12308 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-11 23:13:48 (client local time) WITH STATUS 10 IN 1189.07 SECONDS
stats: 2824 0 1189.07 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-1.opb
c #variables read: 450 - #constraints read: 17828
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.92 0.98 0.95 2/55 4465
Raw data (stat): 4465 (runsolver) R 4464 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 721640611 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 1330 0 0 0 992 4 0 0 25 0 1 0 721640611 11182080 1307 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2730 1307 566 18 0 2712 0
vsize: 10920
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 2153 0 0 0 1989 8 0 0 25 0 1 0 721640611 14557184 2130 4294967295 134512640 134581331 3221221792 3221220620 134528851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2130 566 18 0 3536 0
vsize: 14216
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 2879 0 0 0 2986 11 0 0 25 0 1 0 721640611 17575936 2856 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4291 2856 566 18 0 4273 0
vsize: 17164
[startup+40.0032 s]
Raw data (loadavg): 0.96 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 3631 0 0 0 3984 13 0 0 25 0 1 0 721640611 20688896 3608 4294967295 134512640 134581331 3221221792 3221220512 134523160 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5051 3608 566 18 0 5033 0
vsize: 20204
[startup+50.0037 s]
Raw data (loadavg): 0.96 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 4151 0 0 0 4983 14 0 0 25 0 1 0 721640611 22728704 4128 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5549 4128 566 18 0 5531 0
vsize: 22196
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 4664 0 0 0 5981 16 0 0 25 0 1 0 721640611 24895488 4641 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6078 4641 566 18 0 6060 0
vsize: 24312
[startup+70.0049 s]
Raw data (loadavg): 0.97 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 5266 0 0 0 6979 18 0 0 25 0 1 0 721640611 27422720 5243 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6695 5243 566 18 0 6677 0
vsize: 26780
[startup+80.0055 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 5904 0 0 0 7977 20 0 0 25 0 1 0 721640611 30011392 5881 4294967295 134512640 134581331 3221221792 3221220704 134519023 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7327 5881 566 18 0 7309 0
vsize: 29308
[startup+90.0064 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 6405 0 0 0 8976 22 0 0 25 0 1 0 721640611 32161792 6382 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7852 6382 566 18 0 7834 0
vsize: 31408
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 6888 0 0 0 9974 24 0 0 25 0 1 0 721640611 34287616 6865 4294967295 134512640 134581331 3221221792 3221220676 134557932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8371 6865 566 18 0 8353 0
vsize: 33484
[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 7504 0 0 0 10972 27 0 0 25 0 1 0 721640611 36741120 7481 4294967295 134512640 134581331 3221221792 3221220752 134516726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8970 7481 566 18 0 8952 0
vsize: 35880
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 7504 0 0 0 11971 27 0 0 25 0 1 0 721640611 36741120 7481 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8970 7481 566 18 0 8952 0
vsize: 35880
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 7504 0 0 0 12971 28 0 0 25 0 1 0 721640611 36741120 7481 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8970 7481 566 18 0 8952 0
vsize: 35880
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 7504 0 0 0 13970 29 0 0 25 0 1 0 721640611 36741120 7481 4294967295 134512640 134581331 3221221792 3221220272 134532112 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8970 7481 566 18 0 8952 0
vsize: 35880
[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 7504 0 0 0 14970 29 0 0 25 0 1 0 721640611 36741120 7481 4294967295 134512640 134581331 3221221792 3221220676 134557874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8970 7481 566 18 0 8952 0
vsize: 35880
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 7504 0 0 0 15969 30 0 0 25 0 1 0 721640611 36741120 7481 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8970 7481 566 18 0 8952 0
vsize: 35880
[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 7591 0 0 0 16968 31 0 0 25 0 1 0 721640611 37150720 7568 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9070 7568 566 18 0 9052 0
vsize: 36280
[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 8167 0 0 0 17967 32 0 0 25 0 1 0 721640611 39567360 8144 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9660 8144 566 18 0 9642 0
vsize: 38640
[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 8255 0 0 0 18966 33 0 0 25 0 1 0 721640611 39837696 8232 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9726 8232 566 18 0 9708 0
vsize: 38904
[startup+200.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 8255 0 0 0 19966 34 0 0 25 0 1 0 721640611 39837696 8232 4294967295 134512640 134581331 3221221792 3221220608 134528701 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9726 8232 566 18 0 9708 0
vsize: 38904
[startup+210.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 8255 0 0 0 20965 35 0 0 25 0 1 0 721640611 39837696 8232 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9726 8232 566 18 0 9708 0
vsize: 38904
[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 8255 0 0 0 21965 35 0 0 25 0 1 0 721640611 39837696 8232 4294967295 134512640 134581331 3221221792 3221220512 134523381 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9726 8232 566 18 0 9708 0
vsize: 38904
[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 8256 0 0 0 22965 36 0 0 25 0 1 0 721640611 39837696 8233 4294967295 134512640 134581331 3221221792 3221220656 134528278 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9726 8233 566 18 0 9708 0
vsize: 38904
[startup+240.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 8256 0 0 0 23964 37 0 0 25 0 1 0 721640611 39837696 8233 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9726 8233 566 18 0 9708 0
vsize: 38904
[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 8725 0 0 0 24962 38 0 0 25 0 1 0 721640611 41881600 8702 4294967295 134512640 134581331 3221221792 3221220656 134528428 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10225 8702 566 18 0 10207 0
vsize: 40900
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9078 0 0 0 25961 40 0 0 25 0 1 0 721640611 43352064 9055 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10584 9055 566 18 0 10566 0
vsize: 42336
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9078 0 0 0 26961 40 0 0 25 0 1 0 721640611 43352064 9055 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10584 9055 566 18 0 10566 0
vsize: 42336
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9078 0 0 0 27960 41 0 0 25 0 1 0 721640611 43352064 9055 4294967295 134512640 134581331 3221221792 3221219040 134532779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10584 9055 566 18 0 10566 0
vsize: 42336
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9078 0 0 0 28960 41 0 0 25 0 1 0 721640611 43352064 9055 4294967295 134512640 134581331 3221221792 3221220704 134518898 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10584 9055 566 18 0 10566 0
vsize: 42336
[startup+300.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9078 0 0 0 29960 42 0 0 25 0 1 0 721640611 43352064 9055 4294967295 134512640 134581331 3221221792 3221220720 134520109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10584 9055 566 18 0 10566 0
vsize: 42336
[startup+310.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9078 0 0 0 30959 43 0 0 25 0 1 0 721640611 43352064 9055 4294967295 134512640 134581331 3221221792 3221220576 134528948 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10584 9055 566 18 0 10566 0
vsize: 42336
[startup+320.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9078 0 0 0 31959 43 0 0 25 0 1 0 721640611 43352064 9055 4294967295 134512640 134581331 3221221792 3221220704 134528042 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10584 9055 566 18 0 10566 0
vsize: 42336
[startup+330.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9094 0 0 0 32958 44 0 0 25 0 1 0 721640611 43352064 9071 4294967295 134512640 134581331 3221221792 3221220512 134523363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10584 9071 566 18 0 10566 0
vsize: 42336
[startup+340.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9094 0 0 0 33958 44 0 0 25 0 1 0 721640611 43352064 9071 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10584 9071 566 18 0 10566 0
vsize: 42336
[startup+350.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9094 0 0 0 34958 44 0 0 25 0 1 0 721640611 43352064 9071 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10584 9071 566 18 0 10566 0
vsize: 42336
[startup+360.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4465
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9094 0 0 0 35958 44 0 0 25 0 1 0 721640611 43352064 9071 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10584 9071 566 18 0 10566 0
vsize: 42336
[startup+370.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/59 4473
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9094 0 0 0 36958 45 0 0 25 0 1 0 721640611 43352064 9071 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10584 9071 566 18 0 10566 0
vsize: 42336
[startup+380.062 s]
Raw data (loadavg): 1.07 1.00 0.95 3/58 4509
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9094 0 0 0 37962 45 0 0 25 0 1 0 721640611 43352064 9071 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10584 9071 566 18 0 10566 0
vsize: 42336
[startup+390.063 s]
Raw data (loadavg): 1.13 1.02 0.96 2/55 4518
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9094 0 0 0 38962 45 0 0 25 0 1 0 721640611 43352064 9071 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10584 9071 566 18 0 10566 0
vsize: 42336
[startup+400.063 s]
Raw data (loadavg): 1.11 1.02 0.96 2/55 4518
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9094 0 0 0 39962 46 0 0 25 0 1 0 721640611 43352064 9071 4294967295 134512640 134581331 3221221792 3221220676 134557755 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10584 9071 566 18 0 10566 0
vsize: 42336
[startup+410.063 s]
Raw data (loadavg): 1.09 1.01 0.96 2/55 4518
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9161 0 0 0 40961 46 0 0 25 0 1 0 721640611 43626496 9138 4294967295 134512640 134581331 3221221792 3221220736 134559476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10651 9138 566 18 0 10633 0
vsize: 42604
[startup+420.064 s]
Raw data (loadavg): 1.08 1.01 0.96 2/55 4518
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9699 0 0 0 41960 48 0 0 25 0 1 0 721640611 45776896 9676 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11176 9676 566 18 0 11158 0
vsize: 44704
[startup+430.064 s]
Raw data (loadavg): 1.07 1.01 0.96 2/55 4518
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9847 0 0 0 42960 48 0 0 25 0 1 0 721640611 46444544 9824 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11339 9824 566 18 0 11321 0
vsize: 45356
[startup+440.065 s]
Raw data (loadavg): 1.06 1.01 0.96 2/55 4518
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9847 0 0 0 43960 48 0 0 25 0 1 0 721640611 46444544 9824 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11339 9824 566 18 0 11321 0
vsize: 45356
[startup+450.065 s]
Raw data (loadavg): 1.05 1.01 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9847 0 0 0 44960 48 0 0 25 0 1 0 721640611 46444544 9824 4294967295 134512640 134581331 3221221792 3221220736 134558842 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11339 9824 566 18 0 11321 0
vsize: 45356
[startup+460.065 s]
Raw data (loadavg): 1.04 1.01 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9847 0 0 0 45960 49 0 0 25 0 1 0 721640611 46444544 9824 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11339 9824 566 18 0 11321 0
vsize: 45356
[startup+470.065 s]
Raw data (loadavg): 1.03 1.01 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9847 0 0 0 46960 49 0 0 25 0 1 0 721640611 46444544 9824 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11339 9824 566 18 0 11321 0
vsize: 45356
[startup+480.065 s]
Raw data (loadavg): 1.03 1.01 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9847 0 0 0 47960 49 0 0 25 0 1 0 721640611 46444544 9824 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11339 9824 566 18 0 11321 0
vsize: 45356
[startup+490.065 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9847 0 0 0 48960 49 0 0 25 0 1 0 721640611 46444544 9824 4294967295 134512640 134581331 3221221792 3221220736 134559105 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11339 9824 566 18 0 11321 0
vsize: 45356
[startup+500.065 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9847 0 0 0 49960 49 0 0 25 0 1 0 721640611 46444544 9824 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11339 9824 566 18 0 11321 0
vsize: 45356
[startup+510.065 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9847 0 0 0 50960 49 0 0 25 0 1 0 721640611 46444544 9824 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11339 9824 566 18 0 11321 0
vsize: 45356
[startup+520.066 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9847 0 0 0 51960 49 0 0 25 0 1 0 721640611 46444544 9824 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11339 9824 566 18 0 11321 0
vsize: 45356
[startup+530.067 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 9864 0 0 0 52960 49 0 0 25 0 1 0 721640611 46444544 9841 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11339 9841 566 18 0 11321 0
vsize: 45356
[startup+540.067 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10226 0 0 0 53960 50 0 0 25 0 1 0 721640611 48033792 10203 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11727 10203 566 18 0 11709 0
vsize: 46908
[startup+550.067 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10547 0 0 0 54959 51 0 0 25 0 1 0 721640611 49393664 10524 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12059 10524 566 18 0 12041 0
vsize: 48236
[startup+560.067 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10870 0 0 0 55959 52 0 0 25 0 1 0 721640611 50667520 10847 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12370 10847 566 18 0 12352 0
vsize: 49480
[startup+570.067 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10918 0 0 0 56959 52 0 0 25 0 1 0 721640611 50941952 10895 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12437 10895 566 18 0 12419 0
vsize: 49748
[startup+580.067 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10918 0 0 0 57958 52 0 0 25 0 1 0 721640611 50941952 10895 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12437 10895 566 18 0 12419 0
vsize: 49748
[startup+590.068 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10918 0 0 0 58958 52 0 0 25 0 1 0 721640611 50941952 10895 4294967295 134512640 134581331 3221221792 3221220676 134557960 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12437 10895 566 18 0 12419 0
vsize: 49748
[startup+600.068 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10918 0 0 0 59958 53 0 0 25 0 1 0 721640611 50941952 10895 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12437 10895 566 18 0 12419 0
vsize: 49748
[startup+610.068 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10918 0 0 0 60958 53 0 0 25 0 1 0 721640611 50941952 10895 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12437 10895 566 18 0 12419 0
vsize: 49748
[startup+620.068 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10918 0 0 0 61957 54 0 0 25 0 1 0 721640611 50941952 10895 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12437 10895 566 18 0 12419 0
vsize: 49748
[startup+630.068 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10918 0 0 0 62957 54 0 0 25 0 1 0 721640611 50941952 10895 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12437 10895 566 18 0 12419 0
vsize: 49748
[startup+640.068 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10918 0 0 0 63957 54 0 0 25 0 1 0 721640611 50941952 10895 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12437 10895 566 18 0 12419 0
vsize: 49748
[startup+650.069 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10918 0 0 0 64957 54 0 0 25 0 1 0 721640611 50941952 10895 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12437 10895 566 18 0 12419 0
vsize: 49748
[startup+660.068 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10918 0 0 0 65957 55 0 0 25 0 1 0 721640611 50941952 10895 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12437 10895 566 18 0 12419 0
vsize: 49748
[startup+670.068 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10996 0 0 0 66957 55 0 0 25 0 1 0 721640611 51204096 10973 4294967295 134512640 134581331 3221221792 3221220512 134523148 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12501 10973 566 18 0 12483 0
vsize: 50004
[startup+680.068 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10996 0 0 0 67957 56 0 0 25 0 1 0 721640611 51204096 10973 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12501 10973 566 18 0 12483 0
vsize: 50004
[startup+690.069 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10996 0 0 0 68957 56 0 0 25 0 1 0 721640611 51204096 10973 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12501 10973 566 18 0 12483 0
vsize: 50004
[startup+700.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10996 0 0 0 69957 56 0 0 25 0 1 0 721640611 51204096 10973 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12501 10973 566 18 0 12483 0
vsize: 50004
[startup+710.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10996 0 0 0 70957 56 0 0 25 0 1 0 721640611 51204096 10973 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12501 10973 566 18 0 12483 0
vsize: 50004
[startup+720.071 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10996 0 0 0 71957 57 0 0 25 0 1 0 721640611 51204096 10973 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12501 10973 566 18 0 12483 0
vsize: 50004
[startup+730.071 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4520
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10997 0 0 0 72957 57 0 0 25 0 1 0 721640611 51204096 10974 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12501 10974 566 18 0 12483 0
vsize: 50004
[startup+740.072 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10997 0 0 0 73957 57 0 0 25 0 1 0 721640611 51204096 10974 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12501 10974 566 18 0 12483 0
vsize: 50004
[startup+750.072 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10997 0 0 0 74957 57 0 0 25 0 1 0 721640611 51204096 10974 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12501 10974 566 18 0 12483 0
vsize: 50004
[startup+760.072 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10997 0 0 0 75956 57 0 0 25 0 1 0 721640611 51204096 10974 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12501 10974 566 18 0 12483 0
vsize: 50004
[startup+770.073 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10998 0 0 0 76956 58 0 0 25 0 1 0 721640611 51204096 10975 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12501 10975 566 18 0 12483 0
vsize: 50004
[startup+780.072 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10998 0 0 0 77956 58 0 0 25 0 1 0 721640611 51204096 10975 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12501 10975 566 18 0 12483 0
vsize: 50004
[startup+790.073 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 10998 0 0 0 78956 58 0 0 25 0 1 0 721640611 51204096 10975 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12501 10975 566 18 0 12483 0
vsize: 50004
[startup+800.074 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11195 0 0 0 79956 58 0 0 25 0 1 0 721640611 52011008 11172 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12698 11172 566 18 0 12680 0
vsize: 50792
[startup+810.074 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11550 0 0 0 80955 60 0 0 25 0 1 0 721640611 53497856 11527 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13061 11527 566 18 0 13043 0
vsize: 52244
[startup+820.074 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11947 0 0 0 81954 61 0 0 25 0 1 0 721640611 55099392 11924 4294967295 134512640 134581331 3221221792 3221220752 134516745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13452 11924 566 18 0 13434 0
vsize: 53808
[startup+830.074 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11947 0 0 0 82954 61 0 0 25 0 1 0 721640611 55099392 11924 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13452 11924 566 18 0 13434 0
vsize: 53808
[startup+840.075 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11947 0 0 0 83954 61 0 0 25 0 1 0 721640611 55099392 11924 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13452 11924 566 18 0 13434 0
vsize: 53808
[startup+850.075 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11947 0 0 0 84954 62 0 0 25 0 1 0 721640611 55099392 11924 4294967295 134512640 134581331 3221221792 3221220704 134527355 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13452 11924 566 18 0 13434 0
vsize: 53808
[startup+860.075 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11947 0 0 0 85954 62 0 0 25 0 1 0 721640611 55099392 11924 4294967295 134512640 134581331 3221221792 3221220784 134561137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13452 11924 566 18 0 13434 0
vsize: 53808
[startup+870.076 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11947 0 0 0 86954 62 0 0 25 0 1 0 721640611 55099392 11924 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13452 11924 566 18 0 13434 0
vsize: 53808
[startup+880.076 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11947 0 0 0 87954 62 0 0 25 0 1 0 721640611 55099392 11924 4294967295 134512640 134581331 3221221792 3221220688 134517868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13452 11924 566 18 0 13434 0
vsize: 53808
[startup+890.077 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11947 0 0 0 88953 63 0 0 25 0 1 0 721640611 55099392 11924 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13452 11924 566 18 0 13434 0
vsize: 53808
[startup+900.078 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11947 0 0 0 89953 63 0 0 25 0 1 0 721640611 55099392 11924 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13452 11924 566 18 0 13434 0
vsize: 53808
[startup+910.078 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11947 0 0 0 90953 63 0 0 25 0 1 0 721640611 55099392 11924 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13452 11924 566 18 0 13434 0
vsize: 53808
[startup+920.078 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11947 0 0 0 91953 64 0 0 25 0 1 0 721640611 55099392 11924 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13452 11924 566 18 0 13434 0
vsize: 53808
[startup+930.077 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11947 0 0 0 92953 64 0 0 25 0 1 0 721640611 55099392 11924 4294967295 134512640 134581331 3221221792 3221220676 134557755 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13452 11924 566 18 0 13434 0
vsize: 53808
[startup+940.078 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11950 0 0 0 93953 64 0 0 25 0 1 0 721640611 55099392 11927 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13452 11927 566 18 0 13434 0
vsize: 53808
[startup+950.079 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11965 0 0 0 94953 64 0 0 25 0 1 0 721640611 55226368 11942 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13483 11942 566 18 0 13465 0
vsize: 53932
[startup+960.078 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11965 0 0 0 95953 65 0 0 25 0 1 0 721640611 55226368 11942 4294967295 134512640 134581331 3221221792 3221220064 134532131 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13483 11942 566 18 0 13465 0
vsize: 53932
[startup+970.079 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11965 0 0 0 96953 65 0 0 25 0 1 0 721640611 55226368 11942 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13483 11942 566 18 0 13465 0
vsize: 53932
[startup+980.079 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11965 0 0 0 97953 65 0 0 25 0 1 0 721640611 55226368 11942 4294967295 134512640 134581331 3221221792 3221220676 134557892 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13483 11942 566 18 0 13465 0
vsize: 53932
[startup+990.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11965 0 0 0 98953 66 0 0 25 0 1 0 721640611 55226368 11942 4294967295 134512640 134581331 3221221792 3221220656 134528316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13483 11942 566 18 0 13465 0
vsize: 53932
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11965 0 0 0 99953 66 0 0 25 0 1 0 721640611 55226368 11942 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13483 11942 566 18 0 13465 0
vsize: 53932
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11965 0 0 0 100953 66 0 0 25 0 1 0 721640611 55226368 11942 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13483 11942 566 18 0 13465 0
vsize: 53932
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11965 0 0 0 101953 66 0 0 25 0 1 0 721640611 55226368 11942 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13483 11942 566 18 0 13465 0
vsize: 53932
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11965 0 0 0 102953 66 0 0 25 0 1 0 721640611 55226368 11942 4294967295 134512640 134581331 3221221792 3221220656 134528412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13483 11942 566 18 0 13465 0
vsize: 53932
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11965 0 0 0 103953 66 0 0 25 0 1 0 721640611 55226368 11942 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13483 11942 566 18 0 13465 0
vsize: 53932
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11965 0 0 0 104953 67 0 0 25 0 1 0 721640611 55226368 11942 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13483 11942 566 18 0 13465 0
vsize: 53932
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11966 0 0 0 105953 67 0 0 25 0 1 0 721640611 55226368 11943 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13483 11943 566 18 0 13465 0
vsize: 53932
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11967 0 0 0 106953 67 0 0 25 0 1 0 721640611 55226368 11944 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13483 11944 566 18 0 13465 0
vsize: 53932
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 11967 0 0 0 107952 67 0 0 25 0 1 0 721640611 55226368 11944 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13483 11944 566 18 0 13465 0
vsize: 53932
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 12021 0 0 0 108952 68 0 0 25 0 1 0 721640611 55361536 11998 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13516 11998 566 18 0 13498 0
vsize: 54064
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 12021 0 0 0 109952 68 0 0 25 0 1 0 721640611 55361536 11998 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13516 11998 566 18 0 13498 0
vsize: 54064
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 12021 0 0 0 110952 68 0 0 25 0 1 0 721640611 55361536 11998 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13516 11998 566 18 0 13498 0
vsize: 54064
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 12021 0 0 0 111952 68 0 0 25 0 1 0 721640611 55361536 11998 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13516 11998 566 18 0 13498 0
vsize: 54064
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 12021 0 0 0 112952 68 0 0 25 0 1 0 721640611 55361536 11998 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13516 11998 566 18 0 13498 0
vsize: 54064
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 12021 0 0 0 113952 68 0 0 25 0 1 0 721640611 55361536 11998 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13516 11998 566 18 0 13498 0
vsize: 54064
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 12021 0 0 0 114952 69 0 0 25 0 1 0 721640611 55361536 11998 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13516 11998 566 18 0 13498 0
vsize: 54064
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 12021 0 0 0 115952 69 0 0 25 0 1 0 721640611 55361536 11998 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13516 11998 566 18 0 13498 0
vsize: 54064
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 12021 0 0 0 116952 69 0 0 25 0 1 0 721640611 55361536 11998 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13516 11998 566 18 0 13498 0
vsize: 54064
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 12021 0 0 0 117952 69 0 0 25 0 1 0 721640611 55361536 11998 4294967295 134512640 134581331 3221221792 3221220768 134561101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13516 11998 566 18 0 13498 0
vsize: 54064
[startup+1188.93 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 4522
Raw data (stat): 4465 (Pueblo) R 4464 7876 7672 0 -1 0 12021 0 0 0 117952 69 0 0 25 0 1 0 721640611 55361536 11998 4294967295 134512640 134581331 3221221792 3221220768 134561101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13516 11998 566 18 0 13498 0
vsize: 0

Child status: 10
Real time (s): 1188.93
CPU time (s): 1189.07
CPU user time (s): 1188.35
CPU system time (s): 0.71989
CPU usage (%): 100.012
Max. virtual memory (Kb): 54064
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-10
#### END VERIFIER DATA ####