PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 05:34:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2860 boxname=wulflinc31 idbench=318 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  00a81d808a7a59d6e11f17e19e68d826  /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-5.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-5.opb
IDLAUNCH: 2860
/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:        897020 kB
Buffers:         29432 kB
Cached:          86884 kB
SwapCached:       1936 kB
Active:          74580 kB
Inactive:        44884 kB
HighTotal:      131008 kB
HighFree:        43316 kB
LowTotal:       903652 kB
LowFree:        853704 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12568 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 05:54:18 (client local time) WITH STATUS 10 IN 1189.05 SECONDS
stats: 2860 0 1189.05 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-5.opb
c #variables read: 450 - #constraints read: 17795
s SATISFIABLE
v -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 C91 -C90 -C89 -C88 -C87 C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 C34 -C33 -C32 -C31 -C30 -C29 -C28 -C27 -C26 -C25 -C24 -C23 -C22 C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 C12 -C11 -C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (runsolver) R 6783 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 724043875 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.0011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 1396 0 0 0 992 5 0 0 25 0 1 0 724043875 11464704 1373 4294967295 134512640 134581331 3221221792 3221220512 134523390 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2799 1373 566 18 0 2781 0
vsize: 11196
[startup+20.0009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 2140 0 0 0 1989 8 0 0 25 0 1 0 724043875 14450688 2117 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3528 2117 566 18 0 3510 0
vsize: 14112
[startup+30.0017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 2849 0 0 0 2988 10 0 0 25 0 1 0 724043875 17432576 2826 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4256 2826 566 18 0 4238 0
vsize: 17024
[startup+40.0017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 3522 0 0 0 3986 12 0 0 25 0 1 0 724043875 20131840 3499 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4915 3499 566 18 0 4897 0
vsize: 19660
[startup+50.0016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 4145 0 0 0 4985 13 0 0 25 0 1 0 724043875 22740992 4122 4294967295 134512640 134581331 3221221792 3221220704 134518996 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5552 4122 566 18 0 5534 0
vsize: 22208
[startup+60.0016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 4625 0 0 0 5983 15 0 0 25 0 1 0 724043875 24764416 4602 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6046 4602 566 18 0 6028 0
vsize: 24184
[startup+70.0015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 5146 0 0 0 6982 16 0 0 25 0 1 0 724043875 26923008 5123 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6573 5123 566 18 0 6555 0
vsize: 26292
[startup+80.0025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 5671 0 0 0 7981 17 0 0 25 0 1 0 724043875 29097984 5648 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7104 5648 566 18 0 7086 0
vsize: 28416
[startup+90.0024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 6207 0 0 0 8980 18 0 0 25 0 1 0 724043875 31256576 6184 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7631 6184 566 18 0 7613 0
vsize: 30524
[startup+100.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 6553 0 0 0 9979 20 0 0 25 0 1 0 724043875 32608256 6530 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7961 6530 566 18 0 7943 0
vsize: 31844
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 7042 0 0 0 10978 21 0 0 25 0 1 0 724043875 34631680 7019 4294967295 134512640 134581331 3221221792 3221220508 1075289077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8455 7019 566 18 0 8437 0
vsize: 33820
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 7406 0 0 0 11976 23 0 0 25 0 1 0 724043875 36130816 7383 4294967295 134512640 134581331 3221221792 3221220704 134518996 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8821 7383 566 18 0 8803 0
vsize: 35284
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 7407 0 0 0 12976 23 0 0 25 0 1 0 724043875 36130816 7384 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8821 7384 566 18 0 8803 0
vsize: 35284
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 7407 0 0 0 13976 23 0 0 25 0 1 0 724043875 36130816 7384 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8821 7384 566 18 0 8803 0
vsize: 35284
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 7407 0 0 0 14976 24 0 0 25 0 1 0 724043875 36130816 7384 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8821 7384 566 18 0 8803 0
vsize: 35284
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 7407 0 0 0 15976 24 0 0 25 0 1 0 724043875 36130816 7384 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8821 7384 566 18 0 8803 0
vsize: 35284
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 7407 0 0 0 16976 24 0 0 25 0 1 0 724043875 36130816 7384 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8821 7384 566 18 0 8803 0
vsize: 35284
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 7407 0 0 0 17976 24 0 0 25 0 1 0 724043875 36130816 7384 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8821 7384 566 18 0 8803 0
vsize: 35284
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 7407 0 0 0 18975 25 0 0 25 0 1 0 724043875 36130816 7384 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8821 7384 566 18 0 8803 0
vsize: 35284
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 7697 0 0 0 19975 26 0 0 25 0 1 0 724043875 37376000 7674 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9125 7674 566 18 0 9107 0
vsize: 36500
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8174 0 0 0 20973 28 0 0 25 0 1 0 724043875 39395328 8151 4294967295 134512640 134581331 3221221792 3221220688 134517868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9618 8151 566 18 0 9600 0
vsize: 38472
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8465 0 0 0 21972 29 0 0 25 0 1 0 724043875 40681472 8442 4294967295 134512640 134581331 3221221792 3221220576 134528708 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9932 8442 566 18 0 9914 0
vsize: 39728
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8824 0 0 0 22971 30 0 0 25 0 1 0 724043875 42070016 8801 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10271 8801 566 18 0 10253 0
vsize: 41084
[startup+240.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8855 0 0 0 23971 30 0 0 25 0 1 0 724043875 42209280 8832 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10305 8832 566 18 0 10287 0
vsize: 41220
[startup+250.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8855 0 0 0 24971 30 0 0 25 0 1 0 724043875 42209280 8832 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10305 8832 566 18 0 10287 0
vsize: 41220
[startup+260.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8855 0 0 0 25971 30 0 0 25 0 1 0 724043875 42209280 8832 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10305 8832 566 18 0 10287 0
vsize: 41220
[startup+270.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8855 0 0 0 26971 31 0 0 25 0 1 0 724043875 42209280 8832 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10305 8832 566 18 0 10287 0
vsize: 41220
[startup+280.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8855 0 0 0 27971 31 0 0 25 0 1 0 724043875 42209280 8832 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10305 8832 566 18 0 10287 0
vsize: 41220
[startup+290.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8855 0 0 0 28970 31 0 0 25 0 1 0 724043875 42209280 8832 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10305 8832 566 18 0 10287 0
vsize: 41220
[startup+300.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8855 0 0 0 29970 31 0 0 25 0 1 0 724043875 42209280 8832 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10305 8832 566 18 0 10287 0
vsize: 41220
[startup+310.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8855 0 0 0 30969 33 0 0 25 0 1 0 724043875 42209280 8832 4294967295 134512640 134581331 3221221792 3221220704 134519032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10305 8832 566 18 0 10287 0
vsize: 41220
[startup+320.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8900 0 0 0 31969 33 0 0 25 0 1 0 724043875 42475520 8877 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10370 8877 566 18 0 10352 0
vsize: 41480
[startup+330.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8900 0 0 0 32968 34 0 0 25 0 1 0 724043875 42475520 8877 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10370 8877 566 18 0 10352 0
vsize: 41480
[startup+340.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8900 0 0 0 33968 34 0 0 25 0 1 0 724043875 42475520 8877 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10370 8877 566 18 0 10352 0
vsize: 41480
[startup+350.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8900 0 0 0 34968 34 0 0 25 0 1 0 724043875 42475520 8877 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10370 8877 566 18 0 10352 0
vsize: 41480
[startup+360.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8900 0 0 0 35968 35 0 0 25 0 1 0 724043875 42475520 8877 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10370 8877 566 18 0 10352 0
vsize: 41480
[startup+370.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8900 0 0 0 36968 35 0 0 25 0 1 0 724043875 42475520 8877 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10370 8877 566 18 0 10352 0
vsize: 41480
[startup+380.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8900 0 0 0 37968 35 0 0 25 0 1 0 724043875 42475520 8877 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10370 8877 566 18 0 10352 0
vsize: 41480
[startup+390.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8901 0 0 0 38968 36 0 0 25 0 1 0 724043875 42475520 8878 4294967295 134512640 134581331 3221221792 3221220772 134526342 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10370 8878 566 18 0 10352 0
vsize: 41480
[startup+400.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8975 0 0 0 39968 36 0 0 25 0 1 0 724043875 42745856 8952 4294967295 134512640 134581331 3221221792 3221220752 134516726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10436 8952 566 18 0 10418 0
vsize: 41744
[startup+410.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8975 0 0 0 40967 36 0 0 25 0 1 0 724043875 42745856 8952 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10436 8952 566 18 0 10418 0
vsize: 41744
[startup+420.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8975 0 0 0 41967 37 0 0 25 0 1 0 724043875 42745856 8952 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10436 8952 566 18 0 10418 0
vsize: 41744
[startup+430.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8976 0 0 0 42967 37 0 0 25 0 1 0 724043875 42745856 8953 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10436 8953 566 18 0 10418 0
vsize: 41744
[startup+440.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8976 0 0 0 43967 37 0 0 25 0 1 0 724043875 42745856 8953 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10436 8953 566 18 0 10418 0
vsize: 41744
[startup+450.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8976 0 0 0 44967 38 0 0 25 0 1 0 724043875 42745856 8953 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10436 8953 566 18 0 10418 0
vsize: 41744
[startup+460.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8976 0 0 0 45966 38 0 0 25 0 1 0 724043875 42745856 8953 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10436 8953 566 18 0 10418 0
vsize: 41744
[startup+470.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8976 0 0 0 46966 39 0 0 25 0 1 0 724043875 42745856 8953 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10436 8953 566 18 0 10418 0
vsize: 41744
[startup+480.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8976 0 0 0 47966 39 0 0 25 0 1 0 724043875 42745856 8953 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10436 8953 566 18 0 10418 0
vsize: 41744
[startup+490.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 8976 0 0 0 48966 39 0 0 25 0 1 0 724043875 42745856 8953 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10436 8953 566 18 0 10418 0
vsize: 41744
[startup+500.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 9159 0 0 0 49965 40 0 0 25 0 1 0 724043875 43421696 9136 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10601 9136 566 18 0 10583 0
vsize: 42404
[startup+510.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 9548 0 0 0 50963 42 0 0 25 0 1 0 724043875 45051904 9525 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10999 9525 566 18 0 10981 0
vsize: 43996
[startup+520.007 s]
Raw data (loadavg): 1.07 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 9800 0 0 0 51962 43 0 0 25 0 1 0 724043875 46129152 9777 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11262 9777 566 18 0 11244 0
vsize: 45048
[startup+530.007 s]
Raw data (loadavg): 1.06 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 9800 0 0 0 52962 44 0 0 25 0 1 0 724043875 46129152 9777 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11262 9777 566 18 0 11244 0
vsize: 45048
[startup+540.006 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 9800 0 0 0 53962 44 0 0 25 0 1 0 724043875 46129152 9777 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11262 9777 566 18 0 11244 0
vsize: 45048
[startup+550.006 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 9800 0 0 0 54962 44 0 0 25 0 1 0 724043875 46129152 9777 4294967295 134512640 134581331 3221221792 3221220736 134558928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11262 9777 566 18 0 11244 0
vsize: 45048
[startup+560.007 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 9800 0 0 0 55961 45 0 0 25 0 1 0 724043875 46129152 9777 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11262 9777 566 18 0 11244 0
vsize: 45048
[startup+570.007 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 9800 0 0 0 56961 45 0 0 25 0 1 0 724043875 46129152 9777 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11262 9777 566 18 0 11244 0
vsize: 45048
[startup+580.007 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 9800 0 0 0 57961 45 0 0 25 0 1 0 724043875 46129152 9777 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11262 9777 566 18 0 11244 0
vsize: 45048
[startup+590.008 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 9800 0 0 0 58961 46 0 0 25 0 1 0 724043875 46129152 9777 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11262 9777 566 18 0 11244 0
vsize: 45048
[startup+600.008 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 9800 0 0 0 59961 46 0 0 25 0 1 0 724043875 46129152 9777 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11262 9777 566 18 0 11244 0
vsize: 45048
[startup+610.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 9811 0 0 0 60961 46 0 0 25 0 1 0 724043875 46129152 9788 4294967295 134512640 134581331 3221221792 3221220752 134516726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11262 9788 566 18 0 11244 0
vsize: 45048
[startup+620.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 9811 0 0 0 61960 47 0 0 25 0 1 0 724043875 46129152 9788 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11262 9788 566 18 0 11244 0
vsize: 45048
[startup+630.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 9811 0 0 0 62960 47 0 0 25 0 1 0 724043875 46129152 9788 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11262 9788 566 18 0 11244 0
vsize: 45048
[startup+640.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 9811 0 0 0 63960 48 0 0 25 0 1 0 724043875 46129152 9788 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11262 9788 566 18 0 11244 0
vsize: 45048
[startup+650.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 9811 0 0 0 64960 48 0 0 25 0 1 0 724043875 46129152 9788 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11262 9788 566 18 0 11244 0
vsize: 45048
[startup+660.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 9811 0 0 0 65960 48 0 0 25 0 1 0 724043875 46129152 9788 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11262 9788 566 18 0 11244 0
vsize: 45048
[startup+670.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 9811 0 0 0 66959 49 0 0 25 0 1 0 724043875 46129152 9788 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11262 9788 566 18 0 11244 0
vsize: 45048
[startup+680.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 9811 0 0 0 67959 49 0 0 25 0 1 0 724043875 46129152 9788 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11262 9788 566 18 0 11244 0
vsize: 45048
[startup+690.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 9812 0 0 0 68959 49 0 0 25 0 1 0 724043875 46129152 9789 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11262 9789 566 18 0 11244 0
vsize: 45048
[startup+700.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 9812 0 0 0 69959 50 0 0 25 0 1 0 724043875 46129152 9789 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11262 9789 566 18 0 11244 0
vsize: 45048
[startup+710.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 9813 0 0 0 70959 50 0 0 25 0 1 0 724043875 46129152 9790 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11262 9790 566 18 0 11244 0
vsize: 45048
[startup+720.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 9813 0 0 0 71959 50 0 0 25 0 1 0 724043875 46129152 9790 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11262 9790 566 18 0 11244 0
vsize: 45048
[startup+730.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 9863 0 0 0 72959 50 0 0 25 0 1 0 724043875 46399488 9840 4294967295 134512640 134581331 3221221792 3221220720 134520027 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11328 9840 566 18 0 11310 0
vsize: 45312
[startup+740.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10112 0 0 0 73958 51 0 0 25 0 1 0 724043875 47337472 10089 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11557 10089 566 18 0 11539 0
vsize: 46228
[startup+750.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10448 0 0 0 74958 52 0 0 25 0 1 0 724043875 48820224 10425 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11919 10425 566 18 0 11901 0
vsize: 47676
[startup+760.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10776 0 0 0 75957 53 0 0 25 0 1 0 724043875 50028544 10753 4294967295 134512640 134581331 3221221792 3221220752 134516726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12214 10753 566 18 0 12196 0
vsize: 48856
[startup+770.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10776 0 0 0 76957 53 0 0 25 0 1 0 724043875 50028544 10753 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12214 10753 566 18 0 12196 0
vsize: 48856
[startup+780.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10776 0 0 0 77957 54 0 0 25 0 1 0 724043875 50028544 10753 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12214 10753 566 18 0 12196 0
vsize: 48856
[startup+790.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10776 0 0 0 78956 54 0 0 25 0 1 0 724043875 50028544 10753 4294967295 134512640 134581331 3221221792 3221220760 134527282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12214 10753 566 18 0 12196 0
vsize: 48856
[startup+800.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10776 0 0 0 79956 54 0 0 25 0 1 0 724043875 50028544 10753 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12214 10753 566 18 0 12196 0
vsize: 48856
[startup+810.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10776 0 0 0 80956 54 0 0 25 0 1 0 724043875 50028544 10753 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12214 10753 566 18 0 12196 0
vsize: 48856
[startup+820.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10776 0 0 0 81956 54 0 0 25 0 1 0 724043875 50028544 10753 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12214 10753 566 18 0 12196 0
vsize: 48856
[startup+830.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10779 0 0 0 82956 55 0 0 25 0 1 0 724043875 50028544 10756 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12214 10756 566 18 0 12196 0
vsize: 48856
[startup+840.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10779 0 0 0 83956 55 0 0 25 0 1 0 724043875 50028544 10756 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12214 10756 566 18 0 12196 0
vsize: 48856
[startup+850.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10779 0 0 0 84956 55 0 0 25 0 1 0 724043875 50028544 10756 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12214 10756 566 18 0 12196 0
vsize: 48856
[startup+860.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10779 0 0 0 85956 55 0 0 25 0 1 0 724043875 50028544 10756 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12214 10756 566 18 0 12196 0
vsize: 48856
[startup+870.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10779 0 0 0 86956 55 0 0 25 0 1 0 724043875 50028544 10756 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12214 10756 566 18 0 12196 0
vsize: 48856
[startup+880.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10779 0 0 0 87956 56 0 0 25 0 1 0 724043875 50028544 10756 4294967295 134512640 134581331 3221221792 3221220784 134561111 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12214 10756 566 18 0 12196 0
vsize: 48856
[startup+890.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10906 0 0 0 88956 56 0 0 25 0 1 0 724043875 50561024 10883 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12344 10883 566 18 0 12326 0
vsize: 49376
[startup+900.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10910 0 0 0 89955 57 0 0 25 0 1 0 724043875 50683904 10887 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12374 10887 566 18 0 12356 0
vsize: 49496
[startup+910.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10911 0 0 0 90955 57 0 0 25 0 1 0 724043875 50683904 10888 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12374 10888 566 18 0 12356 0
vsize: 49496
[startup+920.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10911 0 0 0 91955 57 0 0 25 0 1 0 724043875 50683904 10888 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12374 10888 566 18 0 12356 0
vsize: 49496
[startup+930.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10911 0 0 0 92955 57 0 0 25 0 1 0 724043875 50683904 10888 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12374 10888 566 18 0 12356 0
vsize: 49496
[startup+940.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10911 0 0 0 93955 57 0 0 25 0 1 0 724043875 50683904 10888 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12374 10888 566 18 0 12356 0
vsize: 49496
[startup+950.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10911 0 0 0 94955 58 0 0 25 0 1 0 724043875 50683904 10888 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12374 10888 566 18 0 12356 0
vsize: 49496
[startup+960.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10911 0 0 0 95955 58 0 0 25 0 1 0 724043875 50683904 10888 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12374 10888 566 18 0 12356 0
vsize: 49496
[startup+970.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10911 0 0 0 96955 58 0 0 25 0 1 0 724043875 50683904 10888 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12374 10888 566 18 0 12356 0
vsize: 49496
[startup+980.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10911 0 0 0 97955 58 0 0 25 0 1 0 724043875 50683904 10888 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12374 10888 566 18 0 12356 0
vsize: 49496
[startup+990.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10911 0 0 0 98955 58 0 0 25 0 1 0 724043875 50683904 10888 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12374 10888 566 18 0 12356 0
vsize: 49496
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10911 0 0 0 99955 58 0 0 25 0 1 0 724043875 50683904 10888 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12374 10888 566 18 0 12356 0
vsize: 49496
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10911 0 0 0 100955 58 0 0 25 0 1 0 724043875 50683904 10888 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12374 10888 566 18 0 12356 0
vsize: 49496
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10911 0 0 0 101955 58 0 0 25 0 1 0 724043875 50683904 10888 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12374 10888 566 18 0 12356 0
vsize: 49496
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 10911 0 0 0 102955 59 0 0 25 0 1 0 724043875 50683904 10888 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12374 10888 566 18 0 12356 0
vsize: 49496
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 11152 0 0 0 103954 60 0 0 25 0 1 0 724043875 51630080 11129 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12605 11129 566 18 0 12587 0
vsize: 50420
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 11508 0 0 0 104953 61 0 0 25 0 1 0 724043875 53190656 11485 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12986 11485 566 18 0 12968 0
vsize: 51944
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 11840 0 0 0 105952 62 0 0 25 0 1 0 724043875 54571008 11817 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13323 11817 566 18 0 13305 0
vsize: 53292
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 12077 0 0 0 106950 64 0 0 25 0 1 0 724043875 55513088 12054 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13553 12054 566 18 0 13535 0
vsize: 54212
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 12077 0 0 0 107950 64 0 0 25 0 1 0 724043875 55513088 12054 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13553 12054 566 18 0 13535 0
vsize: 54212
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 12077 0 0 0 108950 65 0 0 25 0 1 0 724043875 55513088 12054 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13553 12054 566 18 0 13535 0
vsize: 54212
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 12077 0 0 0 109950 65 0 0 25 0 1 0 724043875 55513088 12054 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13553 12054 566 18 0 13535 0
vsize: 54212
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 12077 0 0 0 110950 65 0 0 25 0 1 0 724043875 55513088 12054 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13553 12054 566 18 0 13535 0
vsize: 54212
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 12078 0 0 0 111949 66 0 0 25 0 1 0 724043875 55513088 12055 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13553 12055 566 18 0 13535 0
vsize: 54212
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 12078 0 0 0 112949 66 0 0 25 0 1 0 724043875 55513088 12055 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13553 12055 566 18 0 13535 0
vsize: 54212
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 12079 0 0 0 113949 66 0 0 25 0 1 0 724043875 55513088 12056 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13553 12056 566 18 0 13535 0
vsize: 54212
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 12079 0 0 0 114949 67 0 0 25 0 1 0 724043875 55513088 12056 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13553 12056 566 18 0 13535 0
vsize: 54212
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 12079 0 0 0 115949 67 0 0 25 0 1 0 724043875 55513088 12056 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13553 12056 566 18 0 13535 0
vsize: 54212
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 12079 0 0 0 116949 67 0 0 25 0 1 0 724043875 55513088 12056 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13553 12056 566 18 0 13535 0
vsize: 54212
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 12079 0 0 0 117949 67 0 0 25 0 1 0 724043875 55513088 12056 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13553 12056 566 18 0 13535 0
vsize: 54212
[startup+1188.9 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 6784
Raw data (stat): 6784 (Pueblo) R 6783 7876 7672 0 -1 0 12079 0 0 0 117949 67 0 0 25 0 1 0 724043875 55513088 12056 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13553 12056 566 18 0 13535 0
vsize: 0

Child status: 10
Real time (s): 1188.9
CPU time (s): 1189.05
CPU user time (s): 1188.35
CPU system time (s): 0.704892
CPU usage (%): 100.013
Max. virtual memory (Kb): 54212
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-12
#### END VERIFIER DATA ####