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-3.opb
MD5SUM	063fe125a766c5e46d0ecbf211fd8049
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.04584
Number of variables	450
Total number of constraints	17809
Number of constraints which are clauses	17809
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 24720

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 02:14:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2842 boxname=wulflinc31 idbench=316 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  063fe125a766c5e46d0ecbf211fd8049  /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-3.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-3.opb
IDLAUNCH: 2842
/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:        901564 kB
Buffers:         25772 kB
Cached:          85988 kB
SwapCached:       1936 kB
Active:          62152 kB
Inactive:        52816 kB
HighTotal:      131008 kB
HighFree:        44156 kB
LowTotal:       903652 kB
LowFree:        857408 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12568 kB
Committed_AS:    63848 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 02:33:59 (client local time) WITH STATUS 10 IN 1189.07 SECONDS
stats: 2842 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-3.opb
c #variables read: 450 - #constraints read: 17810
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.93 0.98 0.99 2/55 5653
Raw data (stat): 5653 (runsolver) R 5652 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 722841841 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 1351 0 0 0 991 6 0 0 25 0 1 0 722841841 11198464 1328 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2734 1328 566 18 0 2716 0
vsize: 10936
[startup+20 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 2076 0 0 0 1989 7 0 0 25 0 1 0 722841841 14176256 2053 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3461 2053 566 18 0 3443 0
vsize: 13844
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 2773 0 0 0 2987 10 0 0 25 0 1 0 722841841 17018880 2750 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4155 2750 566 18 0 4137 0
vsize: 16620
[startup+40.0008 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 3512 0 0 0 3985 12 0 0 25 0 1 0 722841841 20152320 3489 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4920 3489 566 18 0 4902 0
vsize: 19680
[startup+50.0018 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 4240 0 0 0 4984 14 0 0 25 0 1 0 722841841 23117824 4217 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5644 4217 566 18 0 5626 0
vsize: 22576
[startup+60.002 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 4833 0 0 0 5982 15 0 0 25 0 1 0 722841841 25575424 4810 4294967295 134512640 134581331 3221221792 3221220704 134519030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6244 4810 566 18 0 6226 0
vsize: 24976
[startup+70.0016 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 5450 0 0 0 6981 17 0 0 25 0 1 0 722841841 28135424 5427 4294967295 134512640 134581331 3221221792 3221220512 134523363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6869 5427 566 18 0 6851 0
vsize: 27476
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 6076 0 0 0 7979 19 0 0 25 0 1 0 722841841 30715904 6053 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7499 6053 566 18 0 7481 0
vsize: 29996
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 6619 0 0 0 8978 21 0 0 25 0 1 0 722841841 32911360 6596 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8035 6596 566 18 0 8017 0
vsize: 32140
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 7130 0 0 0 9977 22 0 0 25 0 1 0 722841841 35074048 7107 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8563 7107 566 18 0 8545 0
vsize: 34252
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 7399 0 0 0 10976 23 0 0 25 0 1 0 722841841 36147200 7376 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8825 7376 566 18 0 8807 0
vsize: 35300
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 7399 0 0 0 11976 23 0 0 25 0 1 0 722841841 36147200 7376 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8825 7376 566 18 0 8807 0
vsize: 35300
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 7399 0 0 0 12976 23 0 0 25 0 1 0 722841841 36147200 7376 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8825 7376 566 18 0 8807 0
vsize: 35300
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 7399 0 0 0 13976 24 0 0 25 0 1 0 722841841 36147200 7376 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8825 7376 566 18 0 8807 0
vsize: 35300
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 7399 0 0 0 14975 24 0 0 25 0 1 0 722841841 36147200 7376 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8825 7376 566 18 0 8807 0
vsize: 35300
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 7525 0 0 0 15975 25 0 0 25 0 1 0 722841841 36560896 7502 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8926 7502 566 18 0 8908 0
vsize: 35704
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 8105 0 0 0 16973 27 0 0 25 0 1 0 722841841 38993920 8082 4294967295 134512640 134581331 3221221792 3221220752 134516740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9520 8082 566 18 0 9502 0
vsize: 38080
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.99 3/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 8105 0 0 0 17973 27 0 0 25 0 1 0 722841841 38993920 8082 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9520 8082 566 18 0 9502 0
vsize: 38080
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 8105 0 0 0 18973 27 0 0 25 0 1 0 722841841 38993920 8082 4294967295 134512640 134581331 3221221792 3221220656 134528287 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9520 8082 566 18 0 9502 0
vsize: 38080
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 8105 0 0 0 19973 28 0 0 25 0 1 0 722841841 38993920 8082 4294967295 134512640 134581331 3221221792 3221220672 134558318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9520 8082 566 18 0 9502 0
vsize: 38080
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 8105 0 0 0 20972 29 0 0 25 0 1 0 722841841 38993920 8082 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9520 8082 566 18 0 9502 0
vsize: 38080
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 8105 0 0 0 21972 29 0 0 25 0 1 0 722841841 38993920 8082 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9520 8082 566 18 0 9502 0
vsize: 38080
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 8105 0 0 0 22972 29 0 0 25 0 1 0 722841841 38993920 8082 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9520 8082 566 18 0 9502 0
vsize: 38080
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 8446 0 0 0 23970 31 0 0 25 0 1 0 722841841 40398848 8423 4294967295 134512640 134581331 3221221792 3221220704 134519011 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9863 8423 566 18 0 9845 0
vsize: 39452
[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 8938 0 0 0 24968 33 0 0 25 0 1 0 722841841 42541056 8915 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10386 8915 566 18 0 10368 0
vsize: 41544
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 8938 0 0 0 25968 33 0 0 25 0 1 0 722841841 42541056 8915 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10386 8915 566 18 0 10368 0
vsize: 41544
[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 8938 0 0 0 26968 34 0 0 25 0 1 0 722841841 42541056 8915 4294967295 134512640 134581331 3221221792 3221220704 134519045 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10386 8915 566 18 0 10368 0
vsize: 41544
[startup+280.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 8938 0 0 0 27968 34 0 0 25 0 1 0 722841841 42541056 8915 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10386 8915 566 18 0 10368 0
vsize: 41544
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 8938 0 0 0 28967 35 0 0 25 0 1 0 722841841 42541056 8915 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10386 8915 566 18 0 10368 0
vsize: 41544
[startup+300.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 8938 0 0 0 29967 35 0 0 25 0 1 0 722841841 42541056 8915 4294967295 134512640 134581331 3221221792 3221220704 134519011 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10386 8915 566 18 0 10368 0
vsize: 41544
[startup+310.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 8938 0 0 0 30967 35 0 0 25 0 1 0 722841841 42541056 8915 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10386 8915 566 18 0 10368 0
vsize: 41544
[startup+320.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 8938 0 0 0 31967 36 0 0 25 0 1 0 722841841 42541056 8915 4294967295 134512640 134581331 3221221792 3221220720 134520099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10386 8915 566 18 0 10368 0
vsize: 41544
[startup+330.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 9334 0 0 0 32966 37 0 0 25 0 1 0 722841841 44154880 9311 4294967295 134512640 134581331 3221221792 3221220720 134519812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10780 9311 566 18 0 10762 0
vsize: 43120
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 9817 0 0 0 33964 39 0 0 25 0 1 0 722841841 46120960 9794 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11260 9794 566 18 0 11242 0
vsize: 45040
[startup+350.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 9859 0 0 0 34964 39 0 0 25 0 1 0 722841841 46256128 9836 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11293 9836 566 18 0 11275 0
vsize: 45172
[startup+360.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 9861 0 0 0 35964 40 0 0 25 0 1 0 722841841 46256128 9838 4294967295 134512640 134581331 3221221792 3221220704 134519011 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11293 9838 566 18 0 11275 0
vsize: 45172
[startup+370.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 9861 0 0 0 36964 40 0 0 25 0 1 0 722841841 46256128 9838 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11293 9838 566 18 0 11275 0
vsize: 45172
[startup+380.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 9861 0 0 0 37963 41 0 0 25 0 1 0 722841841 46256128 9838 4294967295 134512640 134581331 3221221792 3221219824 134532122 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11293 9838 566 18 0 11275 0
vsize: 45172
[startup+390.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 9861 0 0 0 38963 41 0 0 25 0 1 0 722841841 46256128 9838 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11293 9838 566 18 0 11275 0
vsize: 45172
[startup+400.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 9861 0 0 0 39963 41 0 0 25 0 1 0 722841841 46256128 9838 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11293 9838 566 18 0 11275 0
vsize: 45172
[startup+410.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 9861 0 0 0 40963 41 0 0 25 0 1 0 722841841 46256128 9838 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11293 9838 566 18 0 11275 0
vsize: 45172
[startup+420.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 9913 0 0 0 41963 42 0 0 25 0 1 0 722841841 46522368 9890 4294967295 134512640 134581331 3221221792 3221220752 134516726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11358 9890 566 18 0 11340 0
vsize: 45432
[startup+430.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 9913 0 0 0 42963 42 0 0 25 0 1 0 722841841 46522368 9890 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11358 9890 566 18 0 11340 0
vsize: 45432
[startup+440.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 9913 0 0 0 43962 43 0 0 25 0 1 0 722841841 46522368 9890 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11358 9890 566 18 0 11340 0
vsize: 45432
[startup+450.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 9913 0 0 0 44962 43 0 0 25 0 1 0 722841841 46522368 9890 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11358 9890 566 18 0 11340 0
vsize: 45432
[startup+460.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 9913 0 0 0 45962 43 0 0 25 0 1 0 722841841 46522368 9890 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11358 9890 566 18 0 11340 0
vsize: 45432
[startup+470.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 9913 0 0 0 46962 43 0 0 25 0 1 0 722841841 46522368 9890 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11358 9890 566 18 0 11340 0
vsize: 45432
[startup+480.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 9913 0 0 0 47962 44 0 0 25 0 1 0 722841841 46522368 9890 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11358 9890 566 18 0 11340 0
vsize: 45432
[startup+490.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 10033 0 0 0 48962 44 0 0 25 0 1 0 722841841 46927872 10010 4294967295 134512640 134581331 3221221792 3221219056 134532750 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11457 10010 566 18 0 11439 0
vsize: 45828
[startup+500.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 10542 0 0 0 49960 46 0 0 25 0 1 0 722841841 49111040 10519 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11990 10519 566 18 0 11972 0
vsize: 47960
[startup+510.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 10858 0 0 0 50959 47 0 0 25 0 1 0 722841841 50331648 10835 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12288 10835 566 18 0 12270 0
vsize: 49152
[startup+520.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 10858 0 0 0 51959 48 0 0 25 0 1 0 722841841 50331648 10835 4294967295 134512640 134581331 3221221792 3221220704 134527995 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12288 10835 566 18 0 12270 0
vsize: 49152
[startup+530.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 10858 0 0 0 52959 48 0 0 25 0 1 0 722841841 50331648 10835 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12288 10835 566 18 0 12270 0
vsize: 49152
[startup+540.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 10858 0 0 0 53959 49 0 0 25 0 1 0 722841841 50331648 10835 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12288 10835 566 18 0 12270 0
vsize: 49152
[startup+550.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 10858 0 0 0 54958 50 0 0 25 0 1 0 722841841 50331648 10835 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12288 10835 566 18 0 12270 0
vsize: 49152
[startup+560.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 10858 0 0 0 55958 50 0 0 25 0 1 0 722841841 50331648 10835 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12288 10835 566 18 0 12270 0
vsize: 49152
[startup+570.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 10859 0 0 0 56958 50 0 0 25 0 1 0 722841841 50331648 10836 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12288 10836 566 18 0 12270 0
vsize: 49152
[startup+580.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 10859 0 0 0 57958 50 0 0 25 0 1 0 722841841 50331648 10836 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12288 10836 566 18 0 12270 0
vsize: 49152
[startup+590.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 10859 0 0 0 58958 50 0 0 25 0 1 0 722841841 50331648 10836 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12288 10836 566 18 0 12270 0
vsize: 49152
[startup+600.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 10859 0 0 0 59958 51 0 0 25 0 1 0 722841841 50331648 10836 4294967295 134512640 134581331 3221221792 3221220752 134516726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12288 10836 566 18 0 12270 0
vsize: 49152
[startup+610.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 10859 0 0 0 60958 51 0 0 25 0 1 0 722841841 50331648 10836 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12288 10836 566 18 0 12270 0
vsize: 49152
[startup+620.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 10859 0 0 0 61958 51 0 0 25 0 1 0 722841841 50331648 10836 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12288 10836 566 18 0 12270 0
vsize: 49152
[startup+630.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 10859 0 0 0 62958 51 0 0 25 0 1 0 722841841 50331648 10836 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12288 10836 566 18 0 12270 0
vsize: 49152
[startup+640.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 10859 0 0 0 63958 52 0 0 25 0 1 0 722841841 50331648 10836 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12288 10836 566 18 0 12270 0
vsize: 49152
[startup+650.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 10859 0 0 0 64958 52 0 0 25 0 1 0 722841841 50331648 10836 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12288 10836 566 18 0 12270 0
vsize: 49152
[startup+660.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 10859 0 0 0 65958 52 0 0 25 0 1 0 722841841 50331648 10836 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12288 10836 566 18 0 12270 0
vsize: 49152
[startup+670.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 10859 0 0 0 66958 52 0 0 25 0 1 0 722841841 50331648 10836 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12288 10836 566 18 0 12270 0
vsize: 49152
[startup+680.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 10859 0 0 0 67958 52 0 0 25 0 1 0 722841841 50331648 10836 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12288 10836 566 18 0 12270 0
vsize: 49152
[startup+690.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 10859 0 0 0 68958 52 0 0 25 0 1 0 722841841 50331648 10836 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12288 10836 566 18 0 12270 0
vsize: 49152
[startup+700.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11007 0 0 0 69958 53 0 0 25 0 1 0 722841841 51040256 10984 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12461 10984 566 18 0 12443 0
vsize: 49844
[startup+710.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11628 0 0 0 70956 54 0 0 25 0 1 0 722841841 53506048 11605 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13063 11605 566 18 0 13045 0
vsize: 52252
[startup+720.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 71955 55 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220736 134558819 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+730.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 72955 56 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220704 134527701 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+740.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 73955 56 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220576 134528763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+750.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 74955 56 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+760.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 75955 56 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+770.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 76955 57 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+780.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 77955 57 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+790.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 78954 58 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+800.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 79954 58 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+810.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 80954 59 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+820.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 81954 59 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+830.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 82953 59 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220704 134519032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+840.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 83953 60 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+850.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 84953 60 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+860.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 85953 60 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+870.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 86953 60 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+880.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 87953 60 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220656 134528366 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+890.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 88953 60 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+900.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 89953 61 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220688 134517871 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+910.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 90953 61 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+920.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 91953 62 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+930.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 92952 62 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+940.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 93952 63 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+950.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 94952 63 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+960.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 95952 63 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220676 134557767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+970.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 96952 63 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220704 134528085 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+980.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 97952 63 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220656 134528437 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+990.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 98952 63 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 99952 64 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 11921 0 0 0 100952 64 0 0 25 0 1 0 722841841 54833152 11898 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 11898 566 18 0 13369 0
vsize: 53548
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 12055 0 0 0 101952 64 0 0 25 0 1 0 722841841 55365632 12032 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13517 12032 566 18 0 13499 0
vsize: 54068
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 12488 0 0 0 102950 66 0 0 25 0 1 0 722841841 57114624 12465 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13944 12465 566 18 0 13926 0
vsize: 55776
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 12941 0 0 0 103949 68 0 0 25 0 1 0 722841841 59011072 12918 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14407 12918 566 18 0 14389 0
vsize: 57628
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 13059 0 0 0 104949 68 0 0 25 0 1 0 722841841 59535360 13036 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14535 13036 566 18 0 14517 0
vsize: 58140
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 13059 0 0 0 105948 68 0 0 25 0 1 0 722841841 59535360 13036 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14535 13036 566 18 0 14517 0
vsize: 58140
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 13059 0 0 0 106948 69 0 0 25 0 1 0 722841841 59535360 13036 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14535 13036 566 18 0 14517 0
vsize: 58140
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 13059 0 0 0 107948 69 0 0 25 0 1 0 722841841 59535360 13036 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14535 13036 566 18 0 14517 0
vsize: 58140
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 13059 0 0 0 108948 70 0 0 25 0 1 0 722841841 59535360 13036 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14535 13036 566 18 0 14517 0
vsize: 58140
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 13059 0 0 0 109948 70 0 0 25 0 1 0 722841841 59535360 13036 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14535 13036 566 18 0 14517 0
vsize: 58140
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 13059 0 0 0 110948 70 0 0 25 0 1 0 722841841 59535360 13036 4294967295 134512640 134581331 3221221792 3221220760 134527282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14535 13036 566 18 0 14517 0
vsize: 58140
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 13059 0 0 0 111947 70 0 0 25 0 1 0 722841841 59535360 13036 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14535 13036 566 18 0 14517 0
vsize: 58140
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 13059 0 0 0 112947 71 0 0 25 0 1 0 722841841 59535360 13036 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14535 13036 566 18 0 14517 0
vsize: 58140
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 13059 0 0 0 113947 71 0 0 25 0 1 0 722841841 59535360 13036 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14535 13036 566 18 0 14517 0
vsize: 58140
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 13059 0 0 0 114947 71 0 0 25 0 1 0 722841841 59535360 13036 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14535 13036 566 18 0 14517 0
vsize: 58140
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 13059 0 0 0 115947 72 0 0 25 0 1 0 722841841 59535360 13036 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14535 13036 566 18 0 14517 0
vsize: 58140
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 13059 0 0 0 116947 72 0 0 25 0 1 0 722841841 59535360 13036 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14535 13036 566 18 0 14517 0
vsize: 58140
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 13059 0 0 0 117947 72 0 0 25 0 1 0 722841841 59535360 13036 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14535 13036 566 18 0 14517 0
vsize: 58140
[startup+1188.91 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 5653
Raw data (stat): 5653 (Pueblo) R 5652 7876 7672 0 -1 0 13059 0 0 0 117947 72 0 0 25 0 1 0 722841841 59535360 13036 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14535 13036 566 18 0 14517 0
vsize: 0

Child status: 10
Real time (s): 1188.91
CPU time (s): 1189.07
CPU user time (s): 1188.31
CPU system time (s): 0.758884
CPU usage (%): 100.013
Max. virtual memory (Kb): 58140
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-10
#### END VERIFIER DATA ####