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-2.opb
MD5SUM	25130921f4384cc034832ca1cd52ec48
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.05584
Number of variables	450
Total number of constraints	17874
Number of constraints which are clauses	17874
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 38519

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-02 11:42:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26585 boxname=wulflinc1 idbench=315 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  25130921f4384cc034832ca1cd52ec48  /oldhome/oroussel/tmp/wulflinc1/normalized-frb30-15-2.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-frb30-15-2.opb
IDLAUNCH: 26585
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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:        637348 kB
Buffers:         34428 kB
Cached:         338864 kB
SwapCached:        640 kB
Active:          68372 kB
Inactive:       307140 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        637096 kB
SwapTotal:     2097136 kB
SwapFree:      2095412 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5820 kB
Slab:            16088 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 12:02:37 (client local time) WITH STATUS 10 IN 1189.05 SECONDS
stats: 26585 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/wulflinc1/normalized-frb30-15-2.opb
c #variables read: 450 - #constraints read: 17875
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.86 0.96 0.91 2/55 3433
Raw data (stat): 3433 (runsolver) R 3432 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 792657830 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.0005 s]
Raw data (loadavg): 0.88 0.96 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 3754 0 0 0 990 8 0 0 25 0 1 0 792657830 21045248 3728 4294967295 134512640 134581267 3221224592 3221223456 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5138 3728 566 18 0 5120 0
vsize: 20552
[startup+20.0013 s]
Raw data (loadavg): 0.90 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 6674 0 0 0 1984 14 0 0 25 0 1 0 792657830 33193984 6648 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8104 6648 566 18 0 8086 0
vsize: 32416
[startup+30.0015 s]
Raw data (loadavg): 0.92 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 7719 0 0 0 2980 17 0 0 25 0 1 0 792657830 37539840 7693 4294967295 134512640 134581267 3221224592 3221223504 134531368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9165 7693 566 18 0 9147 0
vsize: 36660
[startup+40.0018 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 7867 0 0 0 3978 19 0 0 25 0 1 0 792657830 38064128 7841 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9293 7841 566 18 0 9275 0
vsize: 37172
[startup+50.0015 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 8659 0 0 0 4976 21 0 0 25 0 1 0 792657830 41484288 8633 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10128 8633 566 18 0 10110 0
vsize: 40512
[startup+60.0013 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 9393 0 0 0 5972 25 0 0 25 0 1 0 792657830 44527616 9367 4294967295 134512640 134581267 3221224592 3221223536 134559434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10871 9367 566 18 0 10853 0
vsize: 43484
[startup+70.0011 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 9512 0 0 0 6971 26 0 0 25 0 1 0 792657830 45064192 9486 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11002 9486 566 18 0 10984 0
vsize: 44008
[startup+80.0009 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 9513 0 0 0 7971 27 0 0 25 0 1 0 792657830 45064192 9487 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11002 9487 566 18 0 10984 0
vsize: 44008
[startup+90.001 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 9565 0 0 0 8971 27 0 0 25 0 1 0 792657830 45195264 9539 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11034 9539 566 18 0 11016 0
vsize: 44136
[startup+100 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 9567 0 0 0 9970 28 0 0 25 0 1 0 792657830 45195264 9541 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11034 9541 566 18 0 11016 0
vsize: 44136
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 10370 0 0 0 10968 30 0 0 25 0 1 0 792657830 48472064 10344 4294967295 134512640 134581267 3221224592 3221223264 1074910621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11834 10344 566 18 0 11816 0
vsize: 47336
[startup+120.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 10406 0 0 0 11968 31 0 0 25 0 1 0 792657830 48603136 10380 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11866 10380 566 18 0 11848 0
vsize: 47464
[startup+130.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 10409 0 0 0 12967 31 0 0 25 0 1 0 792657830 48603136 10383 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11866 10383 566 18 0 11848 0
vsize: 47464
[startup+140.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 10411 0 0 0 13966 33 0 0 25 0 1 0 792657830 48603136 10385 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11866 10385 566 18 0 11848 0
vsize: 47464
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 10422 0 0 0 14966 34 0 0 25 0 1 0 792657830 48734208 10396 4294967295 134512640 134581267 3221224592 3221223472 134520278 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11898 10396 566 18 0 11880 0
vsize: 47592
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 10580 0 0 0 15965 34 0 0 25 0 1 0 792657830 49389568 10554 4294967295 134512640 134581267 3221224592 3221223584 134561024 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12058 10554 566 18 0 12040 0
vsize: 48232
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 11349 0 0 0 16962 37 0 0 25 0 1 0 792657830 52506624 11323 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11323 566 18 0 12801 0
vsize: 51276
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 11349 0 0 0 17961 38 0 0 25 0 1 0 792657830 52506624 11323 4294967295 134512640 134581267 3221224592 3221223536 134558815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12819 11323 566 18 0 12801 0
vsize: 51276
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 11360 0 0 0 18960 39 0 0 25 0 1 0 792657830 52637696 11334 4294967295 134512640 134581267 3221224592 3221223472 134520439 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12851 11334 566 18 0 12833 0
vsize: 51404
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 11360 0 0 0 19959 41 0 0 25 0 1 0 792657830 52637696 11334 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12851 11334 566 18 0 12833 0
vsize: 51404
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 11361 0 0 0 20959 41 0 0 25 0 1 0 792657830 52637696 11335 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12851 11335 566 18 0 12833 0
vsize: 51404
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 11361 0 0 0 21959 41 0 0 25 0 1 0 792657830 52637696 11335 4294967295 134512640 134581267 3221224592 3221223456 134560345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12851 11335 566 18 0 12833 0
vsize: 51404
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 11361 0 0 0 22958 42 0 0 25 0 1 0 792657830 52637696 11335 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12851 11335 566 18 0 12833 0
vsize: 51404
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 12455 0 0 0 23956 45 0 0 25 0 1 0 792657830 57024512 12429 4294967295 134512640 134581267 3221224592 3221223552 134516751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13922 12429 566 18 0 13904 0
vsize: 55688
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 12455 0 0 0 24955 46 0 0 25 0 1 0 792657830 57024512 12429 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13922 12429 566 18 0 13904 0
vsize: 55688
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 12455 0 0 0 25954 47 0 0 25 0 1 0 792657830 57024512 12429 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13922 12429 566 18 0 13904 0
vsize: 55688
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 12455 0 0 0 26954 47 0 0 25 0 1 0 792657830 57024512 12429 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13922 12429 566 18 0 13904 0
vsize: 55688
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 12455 0 0 0 27954 48 0 0 25 0 1 0 792657830 57024512 12429 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13922 12429 566 18 0 13904 0
vsize: 55688
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 12455 0 0 0 28954 48 0 0 25 0 1 0 792657830 57024512 12429 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13922 12429 566 18 0 13904 0
vsize: 55688
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 12472 0 0 0 29953 49 0 0 25 0 1 0 792657830 57155584 12446 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13954 12446 566 18 0 13936 0
vsize: 55816
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 12472 0 0 0 30952 50 0 0 25 0 1 0 792657830 57155584 12446 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13954 12446 566 18 0 13936 0
vsize: 55816
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 12472 0 0 0 31952 50 0 0 25 0 1 0 792657830 57155584 12446 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13954 12446 566 18 0 13936 0
vsize: 55816
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 12497 0 0 0 32950 52 0 0 25 0 1 0 792657830 57286656 12471 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13986 12471 566 18 0 13968 0
vsize: 55944
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 12497 0 0 0 33949 53 0 0 25 0 1 0 792657830 57286656 12471 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13986 12471 566 18 0 13968 0
vsize: 55944
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 12497 0 0 0 34948 55 0 0 25 0 1 0 792657830 57286656 12471 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13986 12471 566 18 0 13968 0
vsize: 55944
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 13632 0 0 0 35946 57 0 0 25 0 1 0 792657830 61882368 13606 4294967295 134512640 134581267 3221224592 3221223552 134516754 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15108 13606 566 18 0 15090 0
vsize: 60432
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 13632 0 0 0 36945 59 0 0 25 0 1 0 792657830 61882368 13606 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15108 13606 566 18 0 15090 0
vsize: 60432
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 13632 0 0 0 37944 60 0 0 25 0 1 0 792657830 61882368 13606 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15108 13606 566 18 0 15090 0
vsize: 60432
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 13669 0 0 0 38942 61 0 0 25 0 1 0 792657830 62013440 13643 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15140 13643 566 18 0 15122 0
vsize: 60560
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 13669 0 0 0 39941 63 0 0 25 0 1 0 792657830 62013440 13643 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15140 13643 566 18 0 15122 0
vsize: 60560
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 13669 0 0 0 40939 65 0 0 25 0 1 0 792657830 62013440 13643 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15140 13643 566 18 0 15122 0
vsize: 60560
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 13753 0 0 0 41938 66 0 0 25 0 1 0 792657830 62406656 13727 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15236 13727 566 18 0 15218 0
vsize: 60944
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 13753 0 0 0 42937 68 0 0 25 0 1 0 792657830 62406656 13727 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15236 13727 566 18 0 15218 0
vsize: 60944
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 13816 0 0 0 43935 69 0 0 25 0 1 0 792657830 62668800 13790 4294967295 134512640 134581267 3221224592 3221223552 134516747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15300 13790 566 18 0 15282 0
vsize: 61200
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 13816 0 0 0 44934 71 0 0 25 0 1 0 792657830 62668800 13790 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15300 13790 566 18 0 15282 0
vsize: 61200
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 13816 0 0 0 45933 72 0 0 25 0 1 0 792657830 62668800 13790 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15300 13790 566 18 0 15282 0
vsize: 61200
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 13818 0 0 0 46931 74 0 0 25 0 1 0 792657830 62668800 13792 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15300 13792 566 18 0 15282 0
vsize: 61200
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 13818 0 0 0 47930 76 0 0 25 0 1 0 792657830 62668800 13792 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15300 13792 566 18 0 15282 0
vsize: 61200
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 13818 0 0 0 48928 77 0 0 25 0 1 0 792657830 60440576 13261 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14756 13261 566 18 0 14738 0
vsize: 59024
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 13818 0 0 0 49928 78 0 0 25 0 1 0 792657830 60440576 13261 4294967295 134512640 134581267 3221224592 3221223536 134559432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14756 13261 566 18 0 14738 0
vsize: 59024
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 14358 0 0 0 50924 82 0 0 25 0 1 0 792657830 62668800 13801 4294967295 134512640 134581267 3221224592 3221223456 134528238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15300 13801 566 18 0 15282 0
vsize: 61200
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 14363 0 0 0 51923 83 0 0 25 0 1 0 792657830 62668800 13806 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15300 13806 566 18 0 15282 0
vsize: 61200
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 15569 0 0 0 52921 85 0 0 25 0 1 0 792657830 67649536 15012 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15012 566 18 0 16498 0
vsize: 66064
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 15569 0 0 0 53920 86 0 0 25 0 1 0 792657830 67649536 15012 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15012 566 18 0 16498 0
vsize: 66064
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 15569 0 0 0 54918 88 0 0 25 0 1 0 792657830 67649536 15012 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16516 15012 566 18 0 16498 0
vsize: 66064
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 15629 0 0 0 55918 89 0 0 25 0 1 0 792657830 67911680 15072 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16580 15072 566 18 0 16562 0
vsize: 66320
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 15629 0 0 0 56917 90 0 0 25 0 1 0 792657830 67911680 15072 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16580 15072 566 18 0 16562 0
vsize: 66320
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 15629 0 0 0 57916 91 0 0 25 0 1 0 792657830 67911680 15072 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16580 15072 566 18 0 16562 0
vsize: 66320
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 15629 0 0 0 58915 92 0 0 25 0 1 0 792657830 67911680 15072 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16580 15072 566 18 0 16562 0
vsize: 66320
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 15663 0 0 0 59914 94 0 0 25 0 1 0 792657830 68042752 15106 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16612 15106 566 18 0 16594 0
vsize: 66448
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 15663 0 0 0 60912 96 0 0 25 0 1 0 792657830 68042752 15106 4294967295 134512640 134581267 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16612 15106 566 18 0 16594 0
vsize: 66448
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 15703 0 0 0 61910 98 0 0 25 0 1 0 792657830 68173824 15146 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16644 15146 566 18 0 16626 0
vsize: 66576
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 15703 0 0 0 62909 99 0 0 25 0 1 0 792657830 68173824 15146 4294967295 134512640 134581267 3221224592 3221223488 134517521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16644 15146 566 18 0 16626 0
vsize: 66576
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 15732 0 0 0 63907 101 0 0 25 0 1 0 792657830 68304896 15175 4294967295 134512640 134581267 3221224592 3221223552 134516716 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16676 15175 566 18 0 16658 0
vsize: 66704
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 15732 0 0 0 64906 102 0 0 25 0 1 0 792657830 68304896 15175 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16676 15175 566 18 0 16658 0
vsize: 66704
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 15739 0 0 0 65905 103 0 0 25 0 1 0 792657830 68304896 15182 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16676 15182 566 18 0 16658 0
vsize: 66704
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 15739 0 0 0 66905 104 0 0 25 0 1 0 792657830 68304896 15182 4294967295 134512640 134581267 3221224592 3221223472 134520297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16676 15182 566 18 0 16658 0
vsize: 66704
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17119 0 0 0 67901 108 0 0 25 0 1 0 792657830 74072064 16562 4294967295 134512640 134581267 3221224592 3221223552 134516754 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18084 16562 566 18 0 18066 0
vsize: 72336
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17119 0 0 0 68901 108 0 0 25 0 1 0 792657830 74072064 16562 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18084 16562 566 18 0 18066 0
vsize: 72336
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17119 0 0 0 69900 109 0 0 25 0 1 0 792657830 74072064 16562 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18084 16562 566 18 0 18066 0
vsize: 72336
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17119 0 0 0 70899 110 0 0 25 0 1 0 792657830 74072064 16562 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18084 16562 566 18 0 18066 0
vsize: 72336
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17119 0 0 0 71899 111 0 0 25 0 1 0 792657830 74072064 16562 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18084 16562 566 18 0 18066 0
vsize: 72336
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17119 0 0 0 72899 111 0 0 25 0 1 0 792657830 74072064 16562 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18084 16562 566 18 0 18066 0
vsize: 72336
[startup+740.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17119 0 0 0 73899 111 0 0 25 0 1 0 792657830 74072064 16562 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18084 16562 566 18 0 18066 0
vsize: 72336
[startup+750.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17119 0 0 0 74899 111 0 0 25 0 1 0 792657830 74072064 16562 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18084 16562 566 18 0 18066 0
vsize: 72336
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17120 0 0 0 75899 112 0 0 25 0 1 0 792657830 74072064 16563 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18084 16563 566 18 0 18066 0
vsize: 72336
[startup+770.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17120 0 0 0 76899 112 0 0 25 0 1 0 792657830 74072064 16563 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18084 16563 566 18 0 18066 0
vsize: 72336
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17184 0 0 0 77899 112 0 0 25 0 1 0 792657830 74334208 16627 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18148 16627 566 18 0 18130 0
vsize: 72592
[startup+790.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17184 0 0 0 78899 112 0 0 25 0 1 0 792657830 74334208 16627 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18148 16627 566 18 0 18130 0
vsize: 72592
[startup+800.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17184 0 0 0 79898 113 0 0 25 0 1 0 792657830 74334208 16627 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18148 16627 566 18 0 18130 0
vsize: 72592
[startup+810.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17184 0 0 0 80898 114 0 0 25 0 1 0 792657830 74334208 16627 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18148 16627 566 18 0 18130 0
vsize: 72592
[startup+820.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17184 0 0 0 81897 114 0 0 25 0 1 0 792657830 74334208 16627 4294967295 134512640 134581267 3221224592 3221223548 134519782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18148 16627 566 18 0 18130 0
vsize: 72592
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17184 0 0 0 82897 114 0 0 25 0 1 0 792657830 74334208 16627 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18148 16627 566 18 0 18130 0
vsize: 72592
[startup+840.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17184 0 0 0 83897 115 0 0 25 0 1 0 792657830 74334208 16627 4294967295 134512640 134581267 3221224592 3221223552 134519892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18148 16627 566 18 0 18130 0
vsize: 72592
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17184 0 0 0 84897 115 0 0 25 0 1 0 792657830 74334208 16627 4294967295 134512640 134581267 3221224592 3221223456 134528257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18148 16627 566 18 0 18130 0
vsize: 72592
[startup+860.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17184 0 0 0 85896 116 0 0 25 0 1 0 792657830 74334208 16627 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18148 16627 566 18 0 18130 0
vsize: 72592
[startup+870.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17244 0 0 0 86896 117 0 0 25 0 1 0 792657830 74596352 16687 4294967295 134512640 134581267 3221224592 3221223552 134516716 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18212 16687 566 18 0 18194 0
vsize: 72848
[startup+880.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17244 0 0 0 87896 117 0 0 25 0 1 0 792657830 74596352 16687 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18212 16687 566 18 0 18194 0
vsize: 72848
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17244 0 0 0 88895 117 0 0 25 0 1 0 792657830 74596352 16687 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18212 16687 566 18 0 18194 0
vsize: 72848
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17244 0 0 0 89895 118 0 0 25 0 1 0 792657830 74596352 16687 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18212 16687 566 18 0 18194 0
vsize: 72848
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17244 0 0 0 90895 119 0 0 25 0 1 0 792657830 74596352 16687 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18212 16687 566 18 0 18194 0
vsize: 72848
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17244 0 0 0 91894 119 0 0 25 0 1 0 792657830 74596352 16687 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18212 16687 566 18 0 18194 0
vsize: 72848
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17244 0 0 0 92893 121 0 0 25 0 1 0 792657830 74596352 16687 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18212 16687 566 18 0 18194 0
vsize: 72848
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17285 0 0 0 93892 122 0 0 25 0 1 0 792657830 74727424 16728 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18244 16728 566 18 0 18226 0
vsize: 72976
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17285 0 0 0 94891 123 0 0 25 0 1 0 792657830 74727424 16728 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18244 16728 566 18 0 18226 0
vsize: 72976
[startup+960.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17285 0 0 0 95891 124 0 0 25 0 1 0 792657830 74727424 16728 4294967295 134512640 134581267 3221224592 3221223488 134517987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18244 16728 566 18 0 18226 0
vsize: 72976
[startup+970.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17285 0 0 0 96890 124 0 0 25 0 1 0 792657830 74727424 16728 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18244 16728 566 18 0 18226 0
vsize: 72976
[startup+980.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17285 0 0 0 97890 125 0 0 25 0 1 0 792657830 74727424 16728 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18244 16728 566 18 0 18226 0
vsize: 72976
[startup+990.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17285 0 0 0 98890 125 0 0 25 0 1 0 792657830 74727424 16728 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18244 16728 566 18 0 18226 0
vsize: 72976
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17285 0 0 0 99890 125 0 0 25 0 1 0 792657830 74727424 16728 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18244 16728 566 18 0 18226 0
vsize: 72976
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17285 0 0 0 100890 126 0 0 25 0 1 0 792657830 74727424 16728 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18244 16728 566 18 0 18226 0
vsize: 72976
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17318 0 0 0 101890 126 0 0 25 0 1 0 792657830 74858496 16761 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18276 16761 566 18 0 18258 0
vsize: 73104
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3433
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17318 0 0 0 102890 126 0 0 25 0 1 0 792657830 74858496 16761 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18276 16761 566 18 0 18258 0
vsize: 73104
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 4/60 3485
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17319 0 0 0 103889 126 0 0 25 0 1 0 792657830 74858496 16762 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18276 16762 566 18 0 18258 0
vsize: 73104
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3486
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17319 0 0 0 104889 127 0 0 25 0 1 0 792657830 74858496 16762 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18276 16762 566 18 0 18258 0
vsize: 73104
[startup+1060.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3486
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17320 0 0 0 105908 128 0 0 25 0 1 0 792657830 74858496 16763 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18276 16763 566 18 0 18258 0
vsize: 73104
[startup+1070.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3486
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17320 0 0 0 106907 128 0 0 25 0 1 0 792657830 74858496 16763 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18276 16763 566 18 0 18258 0
vsize: 73104
[startup+1080.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3486
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17320 0 0 0 107907 129 0 0 25 0 1 0 792657830 74858496 16763 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18276 16763 566 18 0 18258 0
vsize: 73104
[startup+1090.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3486
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17320 0 0 0 108907 129 0 0 25 0 1 0 792657830 74858496 16763 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18276 16763 566 18 0 18258 0
vsize: 73104
[startup+1100.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3488
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17324 0 0 0 109907 130 0 0 25 0 1 0 792657830 74858496 16767 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18276 16767 566 18 0 18258 0
vsize: 73104
[startup+1110.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3490
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17325 0 0 0 110906 130 0 0 25 0 1 0 792657830 74858496 16768 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18276 16768 566 18 0 18258 0
vsize: 73104
[startup+1120.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3490
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17359 0 0 0 111906 131 0 0 25 0 1 0 792657830 74989568 16802 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18308 16802 566 18 0 18290 0
vsize: 73232
[startup+1130.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3490
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17359 0 0 0 112905 132 0 0 25 0 1 0 792657830 74989568 16802 4294967295 134512640 134581267 3221224592 3221223584 134561073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18308 16802 566 18 0 18290 0
vsize: 73232
[startup+1140.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3490
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17359 0 0 0 113904 133 0 0 25 0 1 0 792657830 74989568 16802 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18308 16802 566 18 0 18290 0
vsize: 73232
[startup+1150.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3490
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17359 0 0 0 114904 133 0 0 25 0 1 0 792657830 74989568 16802 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18308 16802 566 18 0 18290 0
vsize: 73232
[startup+1160.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3490
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17359 0 0 0 115904 133 0 0 25 0 1 0 792657830 74989568 16802 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18308 16802 566 18 0 18290 0
vsize: 73232
[startup+1170.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3490
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17359 0 0 0 116904 134 0 0 25 0 1 0 792657830 74989568 16802 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18308 16802 566 18 0 18290 0
vsize: 73232
[startup+1180.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3490
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17359 0 0 0 117904 134 0 0 25 0 1 0 792657830 74989568 16802 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18308 16802 566 18 0 18290 0
vsize: 73232
[startup+1188.88 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 3490
Raw data (stat): 3433 (Pueblo-v2) R 3432 8378 8377 0 -1 0 17359 0 0 0 117904 134 0 0 25 0 1 0 792657830 74989568 16802 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18308 16802 566 18 0 18290 0
vsize: 0

Child status: 10
Real time (s): 1188.88
CPU time (s): 1189.05
CPU user time (s): 1187.67
CPU system time (s): 1.37879
CPU usage (%): 100.014
Max. virtual memory (Kb): 73232
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-9
#### END VERIFIER DATA ####