PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb
MD5SUM	615f734b8951521e89cf22f42d6d26cc
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-30
Optimality of the best value was proved	NO
Number of terms in the objective function	450
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	450
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	450
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05084
Number of variables	450
Total number of constraints	17831
Number of constraints which are clauses	17831
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 24725

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 03:54:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2851 boxname=wulflinc31 idbench=317 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  615f734b8951521e89cf22f42d6d26cc  /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-4.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-4.opb
IDLAUNCH: 2851
/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:        899796 kB
Buffers:         27072 kB
Cached:          86456 kB
SwapCached:       1936 kB
Active:          69644 kB
Inactive:        47056 kB
HighTotal:      131008 kB
HighFree:        43708 kB
LowTotal:       903652 kB
LowFree:        856088 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12528 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 04:14:10 (client local time) WITH STATUS 10 IN 1189.06 SECONDS
stats: 2851 0 1189.06 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-4.opb
c #variables read: 450 - #constraints read: 17832
s SATISFIABLE
v -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 C197 -C196 C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 C33 -C32 -C31 -C30 -C29 -C28 -C27 -C26 -C25 C24 -C23 -C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 C13 -C12 -C11 -C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (runsolver) R 6189 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 723442989 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.0002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 1362 0 0 0 991 6 0 0 25 0 1 0 723442989 11321344 1339 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2764 1339 566 18 0 2746 0
vsize: 11056
[startup+20.0001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 2053 0 0 0 1989 8 0 0 25 0 1 0 723442989 14163968 2030 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3458 2030 566 18 0 3440 0
vsize: 13832
[startup+30.0013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 2723 0 0 0 2988 10 0 0 25 0 1 0 723442989 16904192 2700 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4127 2700 566 18 0 4109 0
vsize: 16508
[startup+40.0009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 3300 0 0 0 3986 11 0 0 25 0 1 0 723442989 19193856 3277 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4686 3277 566 18 0 4668 0
vsize: 18744
[startup+50.0018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 3844 0 0 0 4984 13 0 0 25 0 1 0 723442989 21504000 3821 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5250 3821 566 18 0 5232 0
vsize: 21000
[startup+60.0021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 4280 0 0 0 5983 15 0 0 25 0 1 0 723442989 23261184 4257 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5679 4257 566 18 0 5661 0
vsize: 22716
[startup+70.0017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 4841 0 0 0 6982 16 0 0 25 0 1 0 723442989 25559040 4818 4294967295 134512640 134581331 3221221792 3221220704 134518996 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6240 4818 566 18 0 6222 0
vsize: 24960
[startup+80.0026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 5376 0 0 0 7980 18 0 0 25 0 1 0 723442989 27881472 5353 4294967295 134512640 134581331 3221221792 3221220688 134517854 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6807 5353 566 18 0 6789 0
vsize: 27228
[startup+90.0028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 5843 0 0 0 8979 20 0 0 25 0 1 0 723442989 29757440 5820 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7265 5820 566 18 0 7247 0
vsize: 29060
[startup+100.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 6405 0 0 0 9976 22 0 0 25 0 1 0 723442989 32088064 6382 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7834 6382 566 18 0 7816 0
vsize: 31336
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 6880 0 0 0 10974 24 0 0 25 0 1 0 723442989 34115584 6857 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8329 6857 566 18 0 8311 0
vsize: 33316
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 7428 0 0 0 11973 26 0 0 25 0 1 0 723442989 36270080 7405 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8855 7405 566 18 0 8837 0
vsize: 35420
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 7489 0 0 0 12973 27 0 0 25 0 1 0 723442989 36548608 7466 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8923 7466 566 18 0 8905 0
vsize: 35692
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 7490 0 0 0 13973 27 0 0 25 0 1 0 723442989 36548608 7467 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8923 7467 566 18 0 8905 0
vsize: 35692
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 7490 0 0 0 14973 27 0 0 25 0 1 0 723442989 36548608 7467 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8923 7467 566 18 0 8905 0
vsize: 35692
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 7491 0 0 0 15973 27 0 0 25 0 1 0 723442989 36548608 7468 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8923 7468 566 18 0 8905 0
vsize: 35692
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 7491 0 0 0 16972 27 0 0 25 0 1 0 723442989 36548608 7468 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8923 7468 566 18 0 8905 0
vsize: 35692
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 7491 0 0 0 17972 28 0 0 25 0 1 0 723442989 36548608 7468 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8923 7468 566 18 0 8905 0
vsize: 35692
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 7491 0 0 0 18972 28 0 0 25 0 1 0 723442989 36548608 7468 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8923 7468 566 18 0 8905 0
vsize: 35692
[startup+200.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 7491 0 0 0 19972 28 0 0 25 0 1 0 723442989 36548608 7468 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8923 7468 566 18 0 8905 0
vsize: 35692
[startup+210.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 7867 0 0 0 20971 29 0 0 25 0 1 0 723442989 38199296 7844 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9326 7844 566 18 0 9308 0
vsize: 37304
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 8369 0 0 0 21971 30 0 0 25 0 1 0 723442989 40226816 8346 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9821 8346 566 18 0 9803 0
vsize: 39284
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 8842 0 0 0 22970 31 0 0 25 0 1 0 723442989 42168320 8819 4294967295 134512640 134581331 3221221792 3221220656 134528375 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10295 8819 566 18 0 10277 0
vsize: 41180
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 8967 0 0 0 23969 32 0 0 25 0 1 0 723442989 42704896 8944 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10426 8944 566 18 0 10408 0
vsize: 41704
[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 8967 0 0 0 24969 32 0 0 25 0 1 0 723442989 42704896 8944 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10426 8944 566 18 0 10408 0
vsize: 41704
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 8967 0 0 0 25969 33 0 0 25 0 1 0 723442989 42704896 8944 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10426 8944 566 18 0 10408 0
vsize: 41704
[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 8967 0 0 0 26969 33 0 0 25 0 1 0 723442989 42704896 8944 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10426 8944 566 18 0 10408 0
vsize: 41704
[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 8967 0 0 0 27969 33 0 0 25 0 1 0 723442989 42704896 8944 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10426 8944 566 18 0 10408 0
vsize: 41704
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 8967 0 0 0 28969 34 0 0 25 0 1 0 723442989 42704896 8944 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10426 8944 566 18 0 10408 0
vsize: 41704
[startup+300.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 8967 0 0 0 29969 34 0 0 25 0 1 0 723442989 42704896 8944 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10426 8944 566 18 0 10408 0
vsize: 41704
[startup+310.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 8967 0 0 0 30969 34 0 0 25 0 1 0 723442989 42704896 8944 4294967295 134512640 134581331 3221221792 3221220512 134523747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10426 8944 566 18 0 10408 0
vsize: 41704
[startup+320.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 8967 0 0 0 31969 34 0 0 25 0 1 0 723442989 42704896 8944 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10426 8944 566 18 0 10408 0
vsize: 41704
[startup+330.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 8967 0 0 0 32968 34 0 0 25 0 1 0 723442989 42704896 8944 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10426 8944 566 18 0 10408 0
vsize: 41704
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6190
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 9076 0 0 0 33968 35 0 0 25 0 1 0 723442989 43110400 9053 4294967295 134512640 134581331 3221221792 3221220512 134523370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10525 9053 566 18 0 10507 0
vsize: 42100
[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.99 3/58 6225
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 9076 0 0 0 34967 36 0 0 25 0 1 0 723442989 43110400 9053 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10525 9053 566 18 0 10507 0
vsize: 42100
[startup+360.019 s]
Raw data (loadavg): 1.07 1.00 1.00 3/59 6237
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 9076 0 0 0 35968 36 0 0 25 0 1 0 723442989 43110400 9053 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10525 9053 566 18 0 10507 0
vsize: 42100
[startup+370.019 s]
Raw data (loadavg): 1.13 1.02 1.00 2/55 6243
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 9076 0 0 0 36968 36 0 0 25 0 1 0 723442989 43110400 9053 4294967295 134512640 134581331 3221221792 3221220704 134518996 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10525 9053 566 18 0 10507 0
vsize: 42100
[startup+380.019 s]
Raw data (loadavg): 1.11 1.01 1.00 2/55 6243
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 9076 0 0 0 37968 36 0 0 25 0 1 0 723442989 43110400 9053 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10525 9053 566 18 0 10507 0
vsize: 42100
[startup+390.019 s]
Raw data (loadavg): 1.09 1.01 1.00 2/55 6243
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 9076 0 0 0 38968 37 0 0 25 0 1 0 723442989 43110400 9053 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10525 9053 566 18 0 10507 0
vsize: 42100
[startup+400.02 s]
Raw data (loadavg): 1.08 1.01 1.00 2/55 6243
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 9076 0 0 0 39968 37 0 0 25 0 1 0 723442989 43110400 9053 4294967295 134512640 134581331 3221221792 3221220656 134528275 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10525 9053 566 18 0 10507 0
vsize: 42100
[startup+410.02 s]
Raw data (loadavg): 1.07 1.01 1.00 2/55 6243
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 9076 0 0 0 40968 37 0 0 25 0 1 0 723442989 43110400 9053 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10525 9053 566 18 0 10507 0
vsize: 42100
[startup+420.02 s]
Raw data (loadavg): 1.06 1.01 1.00 2/55 6243
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 9076 0 0 0 41968 37 0 0 25 0 1 0 723442989 43110400 9053 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10525 9053 566 18 0 10507 0
vsize: 42100
[startup+430.022 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 9076 0 0 0 42968 37 0 0 25 0 1 0 723442989 43110400 9053 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10525 9053 566 18 0 10507 0
vsize: 42100
[startup+440.021 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 9076 0 0 0 43968 37 0 0 25 0 1 0 723442989 43110400 9053 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10525 9053 566 18 0 10507 0
vsize: 42100
[startup+450.022 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 9076 0 0 0 44968 37 0 0 25 0 1 0 723442989 43110400 9053 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10525 9053 566 18 0 10507 0
vsize: 42100
[startup+460.024 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 9165 0 0 0 45968 38 0 0 25 0 1 0 723442989 43520000 9142 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10625 9142 566 18 0 10607 0
vsize: 42500
[startup+470.024 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 9365 0 0 0 46968 38 0 0 25 0 1 0 723442989 44339200 9342 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10825 9342 566 18 0 10807 0
vsize: 43300
[startup+480.024 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 9600 0 0 0 47967 39 0 0 25 0 1 0 723442989 45281280 9577 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11055 9577 566 18 0 11037 0
vsize: 44220
[startup+490.024 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 9944 0 0 0 48967 39 0 0 25 0 1 0 723442989 46755840 9921 4294967295 134512640 134581331 3221221792 3221220704 134518996 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11415 9921 566 18 0 11397 0
vsize: 45660
[startup+500.025 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10063 0 0 0 49967 40 0 0 25 0 1 0 723442989 47185920 10040 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11520 10040 566 18 0 11502 0
vsize: 46080
[startup+510.025 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10063 0 0 0 50966 40 0 0 25 0 1 0 723442989 47185920 10040 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11520 10040 566 18 0 11502 0
vsize: 46080
[startup+520.025 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10063 0 0 0 51966 40 0 0 25 0 1 0 723442989 47185920 10040 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11520 10040 566 18 0 11502 0
vsize: 46080
[startup+530.026 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10063 0 0 0 52966 41 0 0 25 0 1 0 723442989 47185920 10040 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11520 10040 566 18 0 11502 0
vsize: 46080
[startup+540.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10063 0 0 0 53966 41 0 0 25 0 1 0 723442989 47185920 10040 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11520 10040 566 18 0 11502 0
vsize: 46080
[startup+550.027 s]
Raw data (loadavg): 1.08 1.02 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10063 0 0 0 54966 41 0 0 25 0 1 0 723442989 47185920 10040 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11520 10040 566 18 0 11502 0
vsize: 46080
[startup+560.026 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10063 0 0 0 55966 41 0 0 25 0 1 0 723442989 47185920 10040 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11520 10040 566 18 0 11502 0
vsize: 46080
[startup+570.026 s]
Raw data (loadavg): 1.06 1.01 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10063 0 0 0 56966 42 0 0 25 0 1 0 723442989 47185920 10040 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11520 10040 566 18 0 11502 0
vsize: 46080
[startup+580.027 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10063 0 0 0 57966 42 0 0 25 0 1 0 723442989 47185920 10040 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11520 10040 566 18 0 11502 0
vsize: 46080
[startup+590.027 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10064 0 0 0 58966 42 0 0 25 0 1 0 723442989 47185920 10041 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11520 10041 566 18 0 11502 0
vsize: 46080
[startup+600.028 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10064 0 0 0 59966 42 0 0 25 0 1 0 723442989 47185920 10041 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11520 10041 566 18 0 11502 0
vsize: 46080
[startup+610.029 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10166 0 0 0 60966 43 0 0 25 0 1 0 723442989 47591424 10143 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11619 10143 566 18 0 11601 0
vsize: 46476
[startup+620.028 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10485 0 0 0 61964 44 0 0 25 0 1 0 723442989 48959488 10462 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11953 10462 566 18 0 11935 0
vsize: 47812
[startup+630.028 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10797 0 0 0 62964 45 0 0 25 0 1 0 723442989 50290688 10774 4294967295 134512640 134581331 3221221792 3221220676 134557928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12278 10774 566 18 0 12260 0
vsize: 49112
[startup+640.028 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10995 0 0 0 63963 46 0 0 25 0 1 0 723442989 51077120 10972 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12470 10972 566 18 0 12452 0
vsize: 49880
[startup+650.029 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10995 0 0 0 64963 46 0 0 25 0 1 0 723442989 51077120 10972 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12470 10972 566 18 0 12452 0
vsize: 49880
[startup+660.029 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10995 0 0 0 65963 46 0 0 25 0 1 0 723442989 51077120 10972 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12470 10972 566 18 0 12452 0
vsize: 49880
[startup+670.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10995 0 0 0 66963 47 0 0 25 0 1 0 723442989 51077120 10972 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12470 10972 566 18 0 12452 0
vsize: 49880
[startup+680.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10995 0 0 0 67963 47 0 0 25 0 1 0 723442989 51077120 10972 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12470 10972 566 18 0 12452 0
vsize: 49880
[startup+690.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10995 0 0 0 68963 47 0 0 25 0 1 0 723442989 51077120 10972 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12470 10972 566 18 0 12452 0
vsize: 49880
[startup+700.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6245
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10995 0 0 0 69963 47 0 0 25 0 1 0 723442989 51077120 10972 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12470 10972 566 18 0 12452 0
vsize: 49880
[startup+710.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10995 0 0 0 70963 47 0 0 25 0 1 0 723442989 51077120 10972 4294967295 134512640 134581331 3221221792 3221220676 134557874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12470 10972 566 18 0 12452 0
vsize: 49880
[startup+720.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10995 0 0 0 71963 47 0 0 25 0 1 0 723442989 51077120 10972 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12470 10972 566 18 0 12452 0
vsize: 49880
[startup+730.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10995 0 0 0 72963 47 0 0 25 0 1 0 723442989 51077120 10972 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12470 10972 566 18 0 12452 0
vsize: 49880
[startup+740.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10995 0 0 0 73963 48 0 0 25 0 1 0 723442989 51077120 10972 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12470 10972 566 18 0 12452 0
vsize: 49880
[startup+750.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10995 0 0 0 74963 48 0 0 25 0 1 0 723442989 51077120 10972 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12470 10972 566 18 0 12452 0
vsize: 49880
[startup+760.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10995 0 0 0 75963 48 0 0 25 0 1 0 723442989 51077120 10972 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12470 10972 566 18 0 12452 0
vsize: 49880
[startup+770.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10995 0 0 0 76963 48 0 0 25 0 1 0 723442989 51077120 10972 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12470 10972 566 18 0 12452 0
vsize: 49880
[startup+780.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 10996 0 0 0 77963 48 0 0 25 0 1 0 723442989 51077120 10973 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12470 10973 566 18 0 12452 0
vsize: 49880
[startup+790.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 11093 0 0 0 78963 49 0 0 25 0 1 0 723442989 51478528 11070 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12568 11070 566 18 0 12550 0
vsize: 50272
[startup+800.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 11093 0 0 0 79963 49 0 0 25 0 1 0 723442989 51478528 11070 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12568 11070 566 18 0 12550 0
vsize: 50272
[startup+810.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 11093 0 0 0 80962 49 0 0 25 0 1 0 723442989 51478528 11070 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12568 11070 566 18 0 12550 0
vsize: 50272
[startup+820.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 11093 0 0 0 81962 50 0 0 25 0 1 0 723442989 51478528 11070 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12568 11070 566 18 0 12550 0
vsize: 50272
[startup+830.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 11093 0 0 0 82962 50 0 0 25 0 1 0 723442989 51478528 11070 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12568 11070 566 18 0 12550 0
vsize: 50272
[startup+840.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 11093 0 0 0 83962 50 0 0 25 0 1 0 723442989 51478528 11070 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12568 11070 566 18 0 12550 0
vsize: 50272
[startup+850.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 11093 0 0 0 84962 50 0 0 25 0 1 0 723442989 51478528 11070 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12568 11070 566 18 0 12550 0
vsize: 50272
[startup+860.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 11093 0 0 0 85962 50 0 0 25 0 1 0 723442989 51478528 11070 4294967295 134512640 134581331 3221221792 3221220704 134519045 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12568 11070 566 18 0 12550 0
vsize: 50272
[startup+870.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 11093 0 0 0 86962 51 0 0 25 0 1 0 723442989 51478528 11070 4294967295 134512640 134581331 3221221792 3221220676 134557790 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12568 11070 566 18 0 12550 0
vsize: 50272
[startup+880.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 11093 0 0 0 87962 51 0 0 25 0 1 0 723442989 51478528 11070 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12568 11070 566 18 0 12550 0
vsize: 50272
[startup+890.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 11094 0 0 0 88962 51 0 0 25 0 1 0 723442989 51478528 11071 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12568 11071 566 18 0 12550 0
vsize: 50272
[startup+900.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 11094 0 0 0 89962 51 0 0 25 0 1 0 723442989 51478528 11071 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12568 11071 566 18 0 12550 0
vsize: 50272
[startup+910.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 11094 0 0 0 90962 52 0 0 25 0 1 0 723442989 51478528 11071 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12568 11071 566 18 0 12550 0
vsize: 50272
[startup+920.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 11094 0 0 0 91962 52 0 0 25 0 1 0 723442989 51478528 11071 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12568 11071 566 18 0 12550 0
vsize: 50272
[startup+930.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 11094 0 0 0 92962 52 0 0 25 0 1 0 723442989 51478528 11071 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12568 11071 566 18 0 12550 0
vsize: 50272
[startup+940.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 11427 0 0 0 93962 52 0 0 25 0 1 0 723442989 52953088 11404 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12928 11404 566 18 0 12910 0
vsize: 51712
[startup+950.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 11693 0 0 0 94961 53 0 0 25 0 1 0 723442989 54042624 11670 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13194 11670 566 18 0 13176 0
vsize: 52776
[startup+960.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 11960 0 0 0 95960 54 0 0 25 0 1 0 723442989 55132160 11937 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13460 11937 566 18 0 13442 0
vsize: 53840
[startup+970.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 12064 0 0 0 96960 54 0 0 25 0 1 0 723442989 55685120 12041 4294967295 134512640 134581331 3221221792 3221219088 134532805 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13595 12041 566 18 0 13577 0
vsize: 54380
[startup+980.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 12064 0 0 0 97960 55 0 0 25 0 1 0 723442989 55685120 12041 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13595 12041 566 18 0 13577 0
vsize: 54380
[startup+990.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 12064 0 0 0 98960 55 0 0 25 0 1 0 723442989 55685120 12041 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13595 12041 566 18 0 13577 0
vsize: 54380
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 12064 0 0 0 99960 56 0 0 25 0 1 0 723442989 55685120 12041 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13595 12041 566 18 0 13577 0
vsize: 54380
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 12064 0 0 0 100960 56 0 0 25 0 1 0 723442989 55685120 12041 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13595 12041 566 18 0 13577 0
vsize: 54380
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 12064 0 0 0 101959 56 0 0 25 0 1 0 723442989 55685120 12041 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13595 12041 566 18 0 13577 0
vsize: 54380
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 12064 0 0 0 102959 56 0 0 25 0 1 0 723442989 55685120 12041 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13595 12041 566 18 0 13577 0
vsize: 54380
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 12064 0 0 0 103959 57 0 0 25 0 1 0 723442989 55685120 12041 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13595 12041 566 18 0 13577 0
vsize: 54380
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 12064 0 0 0 104959 57 0 0 25 0 1 0 723442989 55685120 12041 4294967295 134512640 134581331 3221221792 3221220784 134561122 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13595 12041 566 18 0 13577 0
vsize: 54380
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 12065 0 0 0 105959 57 0 0 25 0 1 0 723442989 55685120 12042 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13595 12042 566 18 0 13577 0
vsize: 54380
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 12065 0 0 0 106959 57 0 0 25 0 1 0 723442989 55685120 12042 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13595 12042 566 18 0 13577 0
vsize: 54380
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 12065 0 0 0 107959 57 0 0 25 0 1 0 723442989 55685120 12042 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13595 12042 566 18 0 13577 0
vsize: 54380
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 12065 0 0 0 108959 57 0 0 25 0 1 0 723442989 55685120 12042 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13595 12042 566 18 0 13577 0
vsize: 54380
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 12065 0 0 0 109959 58 0 0 25 0 1 0 723442989 55685120 12042 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13595 12042 566 18 0 13577 0
vsize: 54380
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 12065 0 0 0 110959 58 0 0 25 0 1 0 723442989 55685120 12042 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13595 12042 566 18 0 13577 0
vsize: 54380
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 12065 0 0 0 111959 58 0 0 25 0 1 0 723442989 55685120 12042 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13595 12042 566 18 0 13577 0
vsize: 54380
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 12065 0 0 0 112959 59 0 0 25 0 1 0 723442989 55685120 12042 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13595 12042 566 18 0 13577 0
vsize: 54380
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 12065 0 0 0 113958 59 0 0 25 0 1 0 723442989 55685120 12042 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13595 12042 566 18 0 13577 0
vsize: 54380
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 12065 0 0 0 114959 59 0 0 25 0 1 0 723442989 55685120 12042 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13595 12042 566 18 0 13577 0
vsize: 54380
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 12065 0 0 0 115959 59 0 0 25 0 1 0 723442989 55685120 12042 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13595 12042 566 18 0 13577 0
vsize: 54380
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 12065 0 0 0 116958 60 0 0 25 0 1 0 723442989 55685120 12042 4294967295 134512640 134581331 3221221792 3221220720 134519950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13595 12042 566 18 0 13577 0
vsize: 54380
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 12065 0 0 0 117958 60 0 0 25 0 1 0 723442989 55685120 12042 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13595 12042 566 18 0 13577 0
vsize: 54380
[startup+1188.93 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 6247
Raw data (stat): 6190 (Pueblo) R 6189 7876 7672 0 -1 0 12065 0 0 0 117958 60 0 0 25 0 1 0 723442989 55685120 12042 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13595 12042 566 18 0 13577 0
vsize: 0

Child status: 10
Real time (s): 1188.93
CPU time (s): 1189.06
CPU user time (s): 1188.42
CPU system time (s): 0.634903
CPU usage (%): 100.011
Max. virtual memory (Kb): 54380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-11
#### END VERIFIER DATA ####