PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-02 11:47:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26586 boxname=wulflinc3 idbench=316 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  063fe125a766c5e46d0ecbf211fd8049  /oldhome/oroussel/tmp/wulflinc3/normalized-frb30-15-3.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-frb30-15-3.opb
IDLAUNCH: 26586
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        703952 kB
Buffers:         34180 kB
Cached:         274448 kB
SwapCached:        228 kB
Active:          61052 kB
Inactive:       250164 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        703700 kB
SwapTotal:     2097136 kB
SwapFree:      2096480 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6332 kB
Slab:            13820 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 12:06:59 (client local time) WITH STATUS 10 IN 1189.05 SECONDS
stats: 26586 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/wulflinc3/normalized-frb30-15-3.opb
c #variables read: 450 - #constraints read: 17810
s SATISFIABLE
v -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 C331 C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 C289 -C288 -C287 -C286 C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 -C30 -C29 -C28 -C27 -C26 -C25 -C24 -C23 -C22 -C21 -C20 -C19 -C18 C17 -C16 -C15 -C14 -C13 -C12 -C11 C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.94 0.99 0.93 1/54 9795
Raw data (stat): 9795 (runsolver) R 9794 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849532717 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0014 s]
Raw data (loadavg): 0.95 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 3711 0 0 0 988 10 0 0 25 0 1 0 849532717 20963328 3685 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5118 3685 566 18 0 5100 0
vsize: 20472
[startup+20.0017 s]
Raw data (loadavg): 0.95 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 6227 0 0 0 1982 16 0 0 25 0 1 0 849532717 31367168 6201 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7658 6201 566 18 0 7640 0
vsize: 30632
[startup+30.0025 s]
Raw data (loadavg): 0.96 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 7767 0 0 0 2977 21 0 0 25 0 1 0 849532717 37732352 7741 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9212 7741 566 18 0 9194 0
vsize: 36848
[startup+40.0027 s]
Raw data (loadavg): 0.97 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 7771 0 0 0 3976 22 0 0 25 0 1 0 849532717 37732352 7745 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9212 7745 566 18 0 9194 0
vsize: 36848
[startup+50.0022 s]
Raw data (loadavg): 0.97 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 8506 0 0 0 4973 25 0 0 25 0 1 0 849532717 40787968 8480 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9958 8480 566 18 0 9940 0
vsize: 39832
[startup+60.0021 s]
Raw data (loadavg): 0.98 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 9012 0 0 0 5971 28 0 0 25 0 1 0 849532717 42885120 8986 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10470 8986 566 18 0 10452 0
vsize: 41880
[startup+70.0022 s]
Raw data (loadavg): 0.98 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 9286 0 0 0 6971 28 0 0 25 0 1 0 849532717 44023808 9260 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10748 9260 566 18 0 10730 0
vsize: 42992
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 9287 0 0 0 7971 29 0 0 25 0 1 0 849532717 44023808 9261 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10748 9261 566 18 0 10730 0
vsize: 42992
[startup+90.0026 s]
Raw data (loadavg): 0.98 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 9288 0 0 0 8971 29 0 0 25 0 1 0 849532717 44023808 9262 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10748 9262 566 18 0 10730 0
vsize: 42992
[startup+100.003 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 9288 0 0 0 9971 29 0 0 25 0 1 0 849532717 44023808 9262 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10748 9262 566 18 0 10730 0
vsize: 42992
[startup+110.004 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 9288 0 0 0 10970 30 0 0 25 0 1 0 849532717 44023808 9262 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10748 9262 566 18 0 10730 0
vsize: 42992
[startup+120.004 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 9474 0 0 0 11969 31 0 0 25 0 1 0 849532717 44744704 9448 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10924 9448 566 18 0 10906 0
vsize: 43696
[startup+130.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 10169 0 0 0 12968 32 0 0 25 0 1 0 849532717 47730688 10143 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11653 10143 566 18 0 11635 0
vsize: 46612
[startup+140.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 10170 0 0 0 13967 33 0 0 25 0 1 0 849532717 47730688 10144 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11653 10144 566 18 0 11635 0
vsize: 46612
[startup+150.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 10249 0 0 0 14967 34 0 0 25 0 1 0 849532717 48062464 10223 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11734 10223 566 18 0 11716 0
vsize: 46936
[startup+160.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 10250 0 0 0 15966 34 0 0 25 0 1 0 849532717 48062464 10224 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11734 10224 566 18 0 11716 0
vsize: 46936
[startup+170.004 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 10325 0 0 0 16965 36 0 0 25 0 1 0 849532717 48324608 10299 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11798 10299 566 18 0 11780 0
vsize: 47192
[startup+180.004 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 11242 0 0 0 17962 39 0 0 25 0 1 0 849532717 52097024 11216 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12719 11216 566 18 0 12701 0
vsize: 50876
[startup+190.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 11243 0 0 0 18962 39 0 0 25 0 1 0 849532717 52097024 11217 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12719 11217 566 18 0 12701 0
vsize: 50876
[startup+200.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 11262 0 0 0 19961 40 0 0 25 0 1 0 849532717 52228096 11236 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12751 11236 566 18 0 12733 0
vsize: 51004
[startup+210.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 11262 0 0 0 20960 42 0 0 25 0 1 0 849532717 52228096 11236 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12751 11236 566 18 0 12733 0
vsize: 51004
[startup+220.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 11289 0 0 0 21959 43 0 0 25 0 1 0 849532717 52228096 11263 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12751 11263 566 18 0 12733 0
vsize: 51004
[startup+230.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 11291 0 0 0 22957 45 0 0 25 0 1 0 849532717 52228096 11265 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12751 11265 566 18 0 12733 0
vsize: 51004
[startup+240.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 11584 0 0 0 23955 47 0 0 25 0 1 0 849532717 53608448 11558 4294967295 134512640 134581267 3221224592 3221223456 134528321 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13088 11558 566 18 0 13070 0
vsize: 52352
[startup+250.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 12358 0 0 0 24953 49 0 0 25 0 1 0 849532717 56754176 12332 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13856 12332 566 18 0 13838 0
vsize: 55424
[startup+260.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 12358 0 0 0 25952 51 0 0 25 0 1 0 849532717 56754176 12332 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13856 12332 566 18 0 13838 0
vsize: 55424
[startup+270.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 12358 0 0 0 26950 52 0 0 25 0 1 0 849532717 56754176 12332 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13856 12332 566 18 0 13838 0
vsize: 55424
[startup+280.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 12384 0 0 0 27950 53 0 0 25 0 1 0 849532717 56885248 12358 4294967295 134512640 134581267 3221224592 3221223472 134520448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13888 12358 566 18 0 13870 0
vsize: 55552
[startup+290.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 12384 0 0 0 28949 55 0 0 25 0 1 0 849532717 56885248 12358 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13888 12358 566 18 0 13870 0
vsize: 55552
[startup+300.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 12411 0 0 0 29948 55 0 0 25 0 1 0 849532717 56885248 12385 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13888 12385 566 18 0 13870 0
vsize: 55552
[startup+310.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 12411 0 0 0 30947 56 0 0 25 0 1 0 849532717 56885248 12385 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13888 12385 566 18 0 13870 0
vsize: 55552
[startup+320.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 12413 0 0 0 31946 57 0 0 25 0 1 0 849532717 56885248 12387 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13888 12387 566 18 0 13870 0
vsize: 55552
[startup+330.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 13188 0 0 0 32944 60 0 0 25 0 1 0 849532717 60030976 13162 4294967295 134512640 134581267 3221224592 3221223520 134519791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14656 13162 566 18 0 14638 0
vsize: 58624
[startup+340.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 13570 0 0 0 33943 61 0 0 25 0 1 0 849532717 61603840 13544 4294967295 134512640 134581267 3221224592 3221223584 134561094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15040 13544 566 18 0 15022 0
vsize: 60160
[startup+350.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 13570 0 0 0 34942 62 0 0 25 0 1 0 849532717 61603840 13544 4294967295 134512640 134581267 3221224592 3221223472 134520297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15040 13544 566 18 0 15022 0
vsize: 60160
[startup+360.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 13570 0 0 0 35942 63 0 0 25 0 1 0 849532717 61603840 13544 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15040 13544 566 18 0 15022 0
vsize: 60160
[startup+370.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 13570 0 0 0 36941 63 0 0 25 0 1 0 849532717 61603840 13544 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15040 13544 566 18 0 15022 0
vsize: 60160
[startup+380.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 13652 0 0 0 37941 64 0 0 25 0 1 0 849532717 61997056 13626 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15136 13626 566 18 0 15118 0
vsize: 60544
[startup+390.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 13652 0 0 0 38941 64 0 0 25 0 1 0 849532717 61997056 13626 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15136 13626 566 18 0 15118 0
vsize: 60544
[startup+400.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 13652 0 0 0 39940 65 0 0 25 0 1 0 849532717 61997056 13626 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15136 13626 566 18 0 15118 0
vsize: 60544
[startup+410.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 13652 0 0 0 40940 66 0 0 25 0 1 0 849532717 61997056 13626 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15136 13626 566 18 0 15118 0
vsize: 60544
[startup+420.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 13652 0 0 0 41939 66 0 0 25 0 1 0 849532717 61997056 13626 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15136 13626 566 18 0 15118 0
vsize: 60544
[startup+430.011 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 13701 0 0 0 42939 67 0 0 25 0 1 0 849532717 62128128 13675 4294967295 134512640 134581267 3221224592 3221223552 134516747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15168 13675 566 18 0 15150 0
vsize: 60672
[startup+440.011 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 13701 0 0 0 43939 67 0 0 25 0 1 0 849532717 62128128 13675 4294967295 134512640 134581267 3221224592 3221223488 134517512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15168 13675 566 18 0 15150 0
vsize: 60672
[startup+450.011 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 13701 0 0 0 44939 67 0 0 25 0 1 0 849532717 62128128 13675 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15168 13675 566 18 0 15150 0
vsize: 60672
[startup+460.011 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 13701 0 0 0 45938 68 0 0 25 0 1 0 849532717 62128128 13675 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15168 13675 566 18 0 15150 0
vsize: 60672
[startup+470.012 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 13701 0 0 0 46938 69 0 0 25 0 1 0 849532717 62128128 13675 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15168 13675 566 18 0 15150 0
vsize: 60672
[startup+480.013 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 13775 0 0 0 47937 70 0 0 25 0 1 0 849532717 62541824 13749 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15269 13749 566 18 0 15251 0
vsize: 61076
[startup+490.013 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 13775 0 0 0 48936 71 0 0 25 0 1 0 849532717 62541824 13749 4294967295 134512640 134581267 3221224592 3221223456 134528312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15269 13749 566 18 0 15251 0
vsize: 61076
[startup+500.012 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 13775 0 0 0 49935 72 0 0 25 0 1 0 849532717 62541824 13749 4294967295 134512640 134581267 3221224592 3221223228 1075288544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15269 13749 566 18 0 15251 0
vsize: 61076
[startup+510.012 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 13775 0 0 0 50934 73 0 0 25 0 1 0 849532717 62541824 13749 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15269 13749 566 18 0 15251 0
vsize: 61076
[startup+520.012 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 14214 0 0 0 51933 75 0 0 25 0 1 0 849532717 64385024 14188 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15719 14188 566 18 0 15701 0
vsize: 62876
[startup+530.013 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15027 0 0 0 52930 77 0 0 25 0 1 0 849532717 67661824 15001 4294967295 134512640 134581267 3221224592 3221223552 134516747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16519 15001 566 18 0 16501 0
vsize: 66076
[startup+540.014 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15027 0 0 0 53929 79 0 0 25 0 1 0 849532717 67661824 15001 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16519 15001 566 18 0 16501 0
vsize: 66076
[startup+550.014 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15027 0 0 0 54929 79 0 0 25 0 1 0 849532717 67661824 15001 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16519 15001 566 18 0 16501 0
vsize: 66076
[startup+560.014 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15027 0 0 0 55928 80 0 0 25 0 1 0 849532717 67661824 15001 4294967295 134512640 134581267 3221224592 3221223520 134519791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16519 15001 566 18 0 16501 0
vsize: 66076
[startup+570.014 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15027 0 0 0 56928 80 0 0 25 0 1 0 849532717 67661824 15001 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16519 15001 566 18 0 16501 0
vsize: 66076
[startup+580.015 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15092 0 0 0 57927 81 0 0 25 0 1 0 849532717 67923968 15066 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16583 15066 566 18 0 16565 0
vsize: 66332
[startup+590.015 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15092 0 0 0 58926 82 0 0 25 0 1 0 849532717 67923968 15066 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16583 15066 566 18 0 16565 0
vsize: 66332
[startup+600.015 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15092 0 0 0 59926 83 0 0 25 0 1 0 849532717 67923968 15066 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16583 15066 566 18 0 16565 0
vsize: 66332
[startup+610.016 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15092 0 0 0 60925 85 0 0 25 0 1 0 849532717 67923968 15066 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16583 15066 566 18 0 16565 0
vsize: 66332
[startup+620.016 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15092 0 0 0 61924 86 0 0 25 0 1 0 849532717 67923968 15066 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16583 15066 566 18 0 16565 0
vsize: 66332
[startup+630.016 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15143 0 0 0 62923 86 0 0 25 0 1 0 849532717 68186112 15117 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16647 15117 566 18 0 16629 0
vsize: 66588
[startup+640.017 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15143 0 0 0 63922 88 0 0 25 0 1 0 849532717 68186112 15117 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16647 15117 566 18 0 16629 0
vsize: 66588
[startup+650.017 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15144 0 0 0 64922 88 0 0 25 0 1 0 849532717 68186112 15118 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16647 15118 566 18 0 16629 0
vsize: 66588
[startup+660.018 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15144 0 0 0 65921 89 0 0 25 0 1 0 849532717 68186112 15118 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16647 15118 566 18 0 16629 0
vsize: 66588
[startup+670.018 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15144 0 0 0 66921 89 0 0 25 0 1 0 849532717 68186112 15118 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16647 15118 566 18 0 16629 0
vsize: 66588
[startup+680.019 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15144 0 0 0 67920 90 0 0 25 0 1 0 849532717 68186112 15118 4294967295 134512640 134581267 3221224592 3221223520 134519812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16647 15118 566 18 0 16629 0
vsize: 66588
[startup+690.018 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15144 0 0 0 68920 91 0 0 25 0 1 0 849532717 68186112 15118 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16647 15118 566 18 0 16629 0
vsize: 66588
[startup+700.018 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15201 0 0 0 69919 91 0 0 25 0 1 0 849532717 68317184 15175 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16679 15175 566 18 0 16661 0
vsize: 66716
[startup+710.019 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15201 0 0 0 70919 92 0 0 25 0 1 0 849532717 68317184 15175 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16679 15175 566 18 0 16661 0
vsize: 66716
[startup+720.019 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15201 0 0 0 71919 93 0 0 25 0 1 0 849532717 68317184 15175 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16679 15175 566 18 0 16661 0
vsize: 66716
[startup+730.02 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15201 0 0 0 72918 93 0 0 25 0 1 0 849532717 68317184 15175 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16679 15175 566 18 0 16661 0
vsize: 66716
[startup+740.021 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15201 0 0 0 73918 94 0 0 25 0 1 0 849532717 68317184 15175 4294967295 134512640 134581267 3221224592 3221223456 134528238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16679 15175 566 18 0 16661 0
vsize: 66716
[startup+750.02 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15202 0 0 0 74918 94 0 0 25 0 1 0 849532717 68317184 15176 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16679 15176 566 18 0 16661 0
vsize: 66716
[startup+760.02 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15277 0 0 0 75917 95 0 0 25 0 1 0 849532717 68710400 15251 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16775 15251 566 18 0 16757 0
vsize: 67100
[startup+770.02 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 9795
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15277 0 0 0 76917 95 0 0 25 0 1 0 849532717 68710400 15251 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16775 15251 566 18 0 16757 0
vsize: 67100
[startup+780.199 s]
Raw data (loadavg): 1.07 1.01 0.93 3/57 9836
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15277 0 0 0 77930 100 0 0 25 0 1 0 849532717 68710400 15251 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16775 15251 566 18 0 16757 0
vsize: 67100
[startup+790.285 s]
Raw data (loadavg): 1.14 1.02 0.94 2/54 9848
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15277 0 0 0 78938 100 0 0 25 0 1 0 849532717 68710400 15251 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16775 15251 566 18 0 16757 0
vsize: 67100
[startup+800.285 s]
Raw data (loadavg): 1.11 1.02 0.94 2/54 9848
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15277 0 0 0 79938 100 0 0 25 0 1 0 849532717 68710400 15251 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16775 15251 566 18 0 16757 0
vsize: 67100
[startup+810.286 s]
Raw data (loadavg): 1.10 1.02 0.94 2/54 9848
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15277 0 0 0 80938 100 0 0 25 0 1 0 849532717 68710400 15251 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16775 15251 566 18 0 16757 0
vsize: 67100
[startup+820.285 s]
Raw data (loadavg): 1.08 1.02 0.94 2/54 9848
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15277 0 0 0 81938 100 0 0 25 0 1 0 849532717 68710400 15251 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16775 15251 566 18 0 16757 0
vsize: 67100
[startup+830.286 s]
Raw data (loadavg): 1.07 1.02 0.94 2/54 9848
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15277 0 0 0 82937 101 0 0 25 0 1 0 849532717 68710400 15251 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16775 15251 566 18 0 16757 0
vsize: 67100
[startup+840.286 s]
Raw data (loadavg): 1.06 1.02 0.94 2/54 9848
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15277 0 0 0 83937 102 0 0 25 0 1 0 849532717 68710400 15251 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16775 15251 566 18 0 16757 0
vsize: 67100
[startup+850.287 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15277 0 0 0 84937 102 0 0 25 0 1 0 849532717 68710400 15251 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16775 15251 566 18 0 16757 0
vsize: 67100
[startup+860.288 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15277 0 0 0 85937 102 0 0 25 0 1 0 849532717 68710400 15251 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16775 15251 566 18 0 16757 0
vsize: 67100
[startup+870.288 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15277 0 0 0 86937 102 0 0 25 0 1 0 849532717 68710400 15251 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16775 15251 566 18 0 16757 0
vsize: 67100
[startup+880.288 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15277 0 0 0 87937 102 0 0 25 0 1 0 849532717 68710400 15251 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16775 15251 566 18 0 16757 0
vsize: 67100
[startup+890.288 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15277 0 0 0 88937 103 0 0 25 0 1 0 849532717 68710400 15251 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16775 15251 566 18 0 16757 0
vsize: 67100
[startup+900.288 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15277 0 0 0 89937 103 0 0 25 0 1 0 849532717 68710400 15251 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16775 15251 566 18 0 16757 0
vsize: 67100
[startup+910.289 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15277 0 0 0 90937 103 0 0 25 0 1 0 849532717 68710400 15251 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16775 15251 566 18 0 16757 0
vsize: 67100
[startup+920.29 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15277 0 0 0 91937 103 0 0 25 0 1 0 849532717 68710400 15251 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16775 15251 566 18 0 16757 0
vsize: 67100
[startup+930.291 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15277 0 0 0 92938 103 0 0 25 0 1 0 849532717 68710400 15251 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16775 15251 566 18 0 16757 0
vsize: 67100
[startup+940.291 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15277 0 0 0 93938 103 0 0 25 0 1 0 849532717 68710400 15251 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16775 15251 566 18 0 16757 0
vsize: 67100
[startup+950.291 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15277 0 0 0 94938 103 0 0 25 0 1 0 849532717 68710400 15251 4294967295 134512640 134581267 3221224592 3221223520 134519906 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16775 15251 566 18 0 16757 0
vsize: 67100
[startup+960.291 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 15278 0 0 0 95938 103 0 0 25 0 1 0 849532717 68710400 15252 4294967295 134512640 134581267 3221224592 3221223456 134528222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16775 15252 566 18 0 16757 0
vsize: 67100
[startup+970.291 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 16217 0 0 0 96936 105 0 0 25 0 1 0 849532717 72466432 16191 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17692 16191 566 18 0 17674 0
vsize: 70768
[startup+980.292 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 16680 0 0 0 97935 107 0 0 25 0 1 0 849532717 74563584 16654 4294967295 134512640 134581267 3221224592 3221223488 134517764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18204 16654 566 18 0 18186 0
vsize: 72816
[startup+990.292 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 16680 0 0 0 98934 108 0 0 25 0 1 0 849532717 74563584 16654 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18204 16654 566 18 0 18186 0
vsize: 72816
[startup+1000.29 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 16680 0 0 0 99933 109 0 0 25 0 1 0 849532717 74563584 16654 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18204 16654 566 18 0 18186 0
vsize: 72816
[startup+1010.29 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 16680 0 0 0 100932 110 0 0 25 0 1 0 849532717 74563584 16654 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18204 16654 566 18 0 18186 0
vsize: 72816
[startup+1020.29 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 16697 0 0 0 101932 111 0 0 25 0 1 0 849532717 74563584 16671 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18204 16671 566 18 0 18186 0
vsize: 72816
[startup+1030.29 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 16697 0 0 0 102929 113 0 0 25 0 1 0 849532717 74563584 16671 4294967295 134512640 134581267 3221224592 3221223504 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18204 16671 566 18 0 18186 0
vsize: 72816
[startup+1040.29 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 16697 0 0 0 103928 115 0 0 25 0 1 0 849532717 74563584 16671 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18204 16671 566 18 0 18186 0
vsize: 72816
[startup+1050.29 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 16697 0 0 0 104927 115 0 0 25 0 1 0 849532717 74563584 16671 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18204 16671 566 18 0 18186 0
vsize: 72816
[startup+1060.29 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 16697 0 0 0 105926 117 0 0 25 0 1 0 849532717 74563584 16671 4294967295 134512640 134581267 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18204 16671 566 18 0 18186 0
vsize: 72816
[startup+1070.29 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 16697 0 0 0 106924 119 0 0 25 0 1 0 849532717 74563584 16671 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18204 16671 566 18 0 18186 0
vsize: 72816
[startup+1080.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 16697 0 0 0 107923 120 0 0 25 0 1 0 849532717 74563584 16671 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18204 16671 566 18 0 18186 0
vsize: 72816
[startup+1090.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9850
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 16699 0 0 0 108922 122 0 0 25 0 1 0 849532717 74563584 16673 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18204 16673 566 18 0 18186 0
vsize: 72816
[startup+1100.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9852
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 16699 0 0 0 109921 123 0 0 25 0 1 0 849532717 74563584 16673 4294967295 134512640 134581267 3221224592 3221223536 134558878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18204 16673 566 18 0 18186 0
vsize: 72816
[startup+1110.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9852
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 16699 0 0 0 110920 124 0 0 25 0 1 0 849532717 74563584 16673 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18204 16673 566 18 0 18186 0
vsize: 72816
[startup+1120.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9852
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 16726 0 0 0 111919 125 0 0 25 0 1 0 849532717 74694656 16700 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18236 16700 566 18 0 18218 0
vsize: 72944
[startup+1130.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9852
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 16726 0 0 0 112918 126 0 0 25 0 1 0 849532717 74694656 16700 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18236 16700 566 18 0 18218 0
vsize: 72944
[startup+1140.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9852
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 16726 0 0 0 113917 128 0 0 25 0 1 0 849532717 74694656 16700 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18236 16700 566 18 0 18218 0
vsize: 72944
[startup+1150.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9852
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 16727 0 0 0 114916 129 0 0 25 0 1 0 849532717 74694656 16701 4294967295 134512640 134581267 3221224592 3221223520 134519788 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18236 16701 566 18 0 18218 0
vsize: 72944
[startup+1160.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9852
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 16727 0 0 0 115915 130 0 0 25 0 1 0 849532717 71680000 15977 4294967295 134512640 134581267 3221224592 3221223472 134520297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17500 15977 566 18 0 17482 0
vsize: 70000
[startup+1170.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9852
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 16727 0 0 0 116913 132 0 0 25 0 1 0 849532717 71680000 15977 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17500 15977 566 18 0 17482 0
vsize: 70000
[startup+1180.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9852
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 16727 0 0 0 117912 133 0 0 25 0 1 0 849532717 71680000 15977 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17500 15977 566 18 0 17482 0
vsize: 70000
[startup+1188.89 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 9852
Raw data (stat): 9795 (Pueblo-v2) R 9794 20224 20223 0 -1 0 16727 0 0 0 117912 133 0 0 25 0 1 0 849532717 71680000 15977 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17500 15977 566 18 0 17482 0
vsize: 0

Child status: 10
Real time (s): 1188.88
CPU time (s): 1189.05
CPU user time (s): 1187.66
CPU system time (s): 1.38279
CPU usage (%): 100.013
Max. virtual memory (Kb): 72944
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-7
#### END VERIFIER DATA ####