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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. 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.
  4. 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

Nameweb/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
MD5SUM16a8eb66aae2bcfd534a482dd0a3948e
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved NO
Number of terms in the objective function 595
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 595
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 595
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.03
Number of variables595
Total number of constraints27856
Number of constraints which are clauses27856
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2

Trace number 7873

Launcher Data

LAUNCH ON wulflinc27 THE 2005-09-20 14:40:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5034 boxname=wulflinc27 idbench=346 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  16a8eb66aae2bcfd534a482dd0a3948e  /oldhome/oroussel/tmp/wulflinc27/normalized-frb35-17-1.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5034
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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:        810796 kB
Buffers:         33704 kB
Cached:         160288 kB
SwapCached:        692 kB
Active:          69648 kB
Inactive:       126948 kB
HighTotal:      131008 kB
HighFree:        10976 kB
LowTotal:       903652 kB
LowFree:        799820 kB
SwapTotal:     2097892 kB
SwapFree:      2096628 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5748 kB
Slab:            21584 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 15:00:46 (client local time) WITH STATUS 10 IN 1189.06 SECONDS
stats: 5034 0 1189.06 10

Solver Data

c Pueblo version 1.3 (July 2005)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c starting to Solve
c #variables read: 595 - #constraints read: 27857
c total time              : 1189 s
s SATISFIABLE
v -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -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

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1859317485 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 41 3 40 18 0 23 0
[pid=8357] vsize: 164
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libstdc++.so.5
open syscall for file tls/i686/libstdc++.so.5
open syscall for file tls/mmx/libstdc++.so.5
open syscall for file tls/libstdc++.so.5
open syscall for file i686/mmx/libstdc++.so.5
open syscall for file i686/libstdc++.so.5
open syscall for file mmx/libstdc++.so.5
open syscall for file libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/libstdc++.so.5
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++.so.5
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6

[startup+10.0037 s]
Raw data (loadavg): 1.21 1.07 0.96 1/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) T 8356 8357 28974 0 -1 0 1590 0 0 0 978 9 0 0 25 0 1 0 1859317485 8085504 1556 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8357/statm): 1974 1556 566 18 0 1956 0
[pid=8357] vsize: 7896
Current children cumulated CPU time (s) 9.87
Current children cumulated vsize (Kb) 7896

[startup+20.0056 s]
Raw data (loadavg): 1.17 1.07 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 2612 0 0 0 1963 16 0 0 25 0 1 0 1859317485 12296192 2578 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 3002 2578 566 18 0 2984 0
[pid=8357] vsize: 12008
Current children cumulated CPU time (s) 19.79
Current children cumulated vsize (Kb) 12008

[startup+30.0064 s]
Raw data (loadavg): 1.15 1.06 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 3423 0 0 0 2952 22 0 0 25 0 1 0 1859317485 15654912 3389 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 3822 3389 566 18 0 3804 0
[pid=8357] vsize: 15288
Current children cumulated CPU time (s) 29.74
Current children cumulated vsize (Kb) 15288

[startup+40.0062 s]
Raw data (loadavg): 1.12 1.06 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 4203 0 0 0 3942 27 0 0 25 0 1 0 1859317485 18784256 4169 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 4586 4169 566 18 0 4568 0
[pid=8357] vsize: 18344
Current children cumulated CPU time (s) 39.69
Current children cumulated vsize (Kb) 18344

[startup+50.007 s]
Raw data (loadavg): 1.10 1.06 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 4986 0 0 0 4934 30 0 0 25 0 1 0 1859317485 22073344 4952 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 5389 4952 566 18 0 5371 0
[pid=8357] vsize: 21556
Current children cumulated CPU time (s) 49.64
Current children cumulated vsize (Kb) 21556

[startup+60.0078 s]
Raw data (loadavg): 1.09 1.06 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 6101 0 0 0 5918 37 0 0 25 0 1 0 1859317485 26615808 6067 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 6498 6067 566 18 0 6480 0
[pid=8357] vsize: 25992
Current children cumulated CPU time (s) 59.55
Current children cumulated vsize (Kb) 25992

[startup+70.0087 s]
Raw data (loadavg): 1.07 1.05 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 6959 0 0 0 6906 43 0 0 25 0 1 0 1859317485 30171136 6925 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 7366 6925 566 18 0 7348 0
[pid=8357] vsize: 29464
Current children cumulated CPU time (s) 69.49
Current children cumulated vsize (Kb) 29464

[startup+80.0095 s]
Raw data (loadavg): 1.06 1.05 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 7451 0 0 0 7900 46 0 0 25 0 1 0 1859317485 32210944 7417 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 7864 7417 566 18 0 7846 0
[pid=8357] vsize: 31456
Current children cumulated CPU time (s) 79.46
Current children cumulated vsize (Kb) 31456

[startup+90.0093 s]
Raw data (loadavg): 1.05 1.05 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 8102 0 0 0 8892 51 0 0 25 0 1 0 1859317485 34971648 8068 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 8538 8068 566 18 0 8520 0
[pid=8357] vsize: 34152
Current children cumulated CPU time (s) 89.43
Current children cumulated vsize (Kb) 34152

[startup+100.01 s]
Raw data (loadavg): 1.04 1.05 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 8769 0 0 0 9883 56 0 0 25 0 1 0 1859317485 37720064 8735 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 9209 8735 566 18 0 9191 0
[pid=8357] vsize: 36836
Current children cumulated CPU time (s) 99.39
Current children cumulated vsize (Kb) 36836

[startup+110.011 s]
Raw data (loadavg): 1.04 1.05 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 9517 0 0 0 10874 60 0 0 25 0 1 0 1859317485 40849408 9483 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 9973 9483 566 18 0 9955 0
[pid=8357] vsize: 39892
Current children cumulated CPU time (s) 109.34
Current children cumulated vsize (Kb) 39892

[startup+120.012 s]
Raw data (loadavg): 1.03 1.04 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 10012 0 0 0 11868 63 0 0 25 0 1 0 1859317485 42889216 9978 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 10471 9978 566 18 0 10453 0
[pid=8357] vsize: 41884
Current children cumulated CPU time (s) 119.31
Current children cumulated vsize (Kb) 41884

[startup+130.013 s]
Raw data (loadavg): 1.02 1.04 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 10757 0 0 0 12858 69 0 0 25 0 1 0 1859317485 45916160 10723 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 11210 10723 566 18 0 11192 0
[pid=8357] vsize: 44840
Current children cumulated CPU time (s) 129.27
Current children cumulated vsize (Kb) 44840

[startup+140.013 s]
Raw data (loadavg): 1.02 1.04 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 11452 0 0 0 13847 74 0 0 25 0 1 0 1859317485 48832512 11418 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 11922 11418 566 18 0 11904 0
[pid=8357] vsize: 47688
Current children cumulated CPU time (s) 139.21
Current children cumulated vsize (Kb) 47688

[startup+150.014 s]
Raw data (loadavg): 1.09 1.05 0.96 1/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) T 8356 8357 28974 0 -1 0 11774 0 0 0 14842 77 0 0 25 0 1 0 1859317485 50098176 11740 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8357/statm): 12231 11740 566 18 0 12213 0
[pid=8357] vsize: 48924
Current children cumulated CPU time (s) 149.19
Current children cumulated vsize (Kb) 48924

[startup+160.014 s]
Raw data (loadavg): 1.08 1.05 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 12319 0 0 0 15835 80 0 0 25 0 1 0 1859317485 52379648 12285 4294967295 134512640 134578447 3221224624 3221223196 1075285664 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 12788 12285 566 18 0 12770 0
[pid=8357] vsize: 51152
Current children cumulated CPU time (s) 159.15
Current children cumulated vsize (Kb) 51152

[startup+170.015 s]
Raw data (loadavg): 1.06 1.05 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 12762 0 0 0 16830 83 0 0 25 0 1 0 1859317485 54140928 12728 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 13218 12728 566 18 0 13200 0
[pid=8357] vsize: 52872
Current children cumulated CPU time (s) 169.13
Current children cumulated vsize (Kb) 52872

[startup+180.016 s]
Raw data (loadavg): 1.05 1.05 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 13188 0 0 0 17823 86 0 0 25 0 1 0 1859317485 55898112 13154 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 13647 13154 566 18 0 13629 0
[pid=8357] vsize: 54588
Current children cumulated CPU time (s) 179.09
Current children cumulated vsize (Kb) 54588

[startup+190.015 s]
Raw data (loadavg): 1.04 1.05 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 13634 0 0 0 18817 89 0 0 25 0 1 0 1859317485 57794560 13600 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 14110 13600 566 18 0 14092 0
[pid=8357] vsize: 56440
Current children cumulated CPU time (s) 189.06
Current children cumulated vsize (Kb) 56440

[startup+200.016 s]
Raw data (loadavg): 1.04 1.04 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 14166 0 0 0 19811 91 0 0 25 0 1 0 1859317485 59940864 14132 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 14634 14132 566 18 0 14616 0
[pid=8357] vsize: 58536
Current children cumulated CPU time (s) 199.02
Current children cumulated vsize (Kb) 58536

[startup+210.016 s]
Raw data (loadavg): 1.03 1.04 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 14686 0 0 0 20805 95 0 0 25 0 1 0 1859317485 62074880 14652 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 15155 14652 566 18 0 15137 0
[pid=8357] vsize: 60620
Current children cumulated CPU time (s) 209
Current children cumulated vsize (Kb) 60620

[startup+220.017 s]
Raw data (loadavg): 1.03 1.04 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 15278 0 0 0 21796 98 0 0 25 0 1 0 1859317485 64512000 15244 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 15750 15244 566 18 0 15732 0
[pid=8357] vsize: 63000
Current children cumulated CPU time (s) 218.94
Current children cumulated vsize (Kb) 63000

[startup+230.018 s]
Raw data (loadavg): 1.02 1.04 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 15797 0 0 0 22789 102 0 0 25 0 1 0 1859317485 66813952 15763 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 16312 15763 566 18 0 16294 0
[pid=8357] vsize: 65248
Current children cumulated CPU time (s) 228.91
Current children cumulated vsize (Kb) 65248

[startup+240.018 s]
Raw data (loadavg): 1.02 1.04 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 16526 0 0 0 23781 106 0 0 25 0 1 0 1859317485 69939200 16492 4294967295 134512640 134578447 3221224624 3221223536 134556791 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 17075 16492 566 18 0 17057 0
[pid=8357] vsize: 68300
Current children cumulated CPU time (s) 238.87
Current children cumulated vsize (Kb) 68300

[startup+250.018 s]
Raw data (loadavg): 1.01 1.03 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 17178 0 0 0 24772 110 0 0 25 0 1 0 1859317485 72585216 17144 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 17721 17144 566 18 0 17703 0
[pid=8357] vsize: 70884
Current children cumulated CPU time (s) 248.82
Current children cumulated vsize (Kb) 70884

[startup+260.018 s]
Raw data (loadavg): 1.01 1.03 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 17838 0 0 0 25763 115 0 0 25 0 1 0 1859317485 75386880 17804 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 18405 17804 566 18 0 18387 0
[pid=8357] vsize: 73620
Current children cumulated CPU time (s) 258.78
Current children cumulated vsize (Kb) 73620

[startup+270.019 s]
Raw data (loadavg): 1.01 1.03 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 18315 0 0 0 26757 117 0 0 25 0 1 0 1859317485 77266944 18281 4294967295 134512640 134578447 3221224624 3221223552 134516662 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 18864 18281 566 18 0 18846 0
[pid=8357] vsize: 75456
Current children cumulated CPU time (s) 268.74
Current children cumulated vsize (Kb) 75456

[startup+280.019 s]
Raw data (loadavg): 1.01 1.03 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 18315 0 0 0 27750 120 0 0 25 0 1 0 1859317485 77266944 18281 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 18864 18281 566 18 0 18846 0
[pid=8357] vsize: 75456
Current children cumulated CPU time (s) 278.7
Current children cumulated vsize (Kb) 75456

[startup+290.02 s]
Raw data (loadavg): 1.01 1.03 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 18315 0 0 0 28744 122 0 0 25 0 1 0 1859317485 77266944 18281 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 18864 18281 566 18 0 18846 0
[pid=8357] vsize: 75456
Current children cumulated CPU time (s) 288.66
Current children cumulated vsize (Kb) 75456

[startup+300.02 s]
Raw data (loadavg): 1.00 1.03 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 18315 0 0 0 29736 125 0 0 25 0 1 0 1859317485 77266944 18281 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 18864 18281 566 18 0 18846 0
[pid=8357] vsize: 75456
Current children cumulated CPU time (s) 298.61
Current children cumulated vsize (Kb) 75456

[startup+310.02 s]
Raw data (loadavg): 1.00 1.03 0.96 1/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) T 8356 8357 28974 0 -1 0 18315 0 0 0 30731 127 0 0 25 0 1 0 1859317485 77266944 18281 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/8357/statm): 18864 18281 566 18 0 18846 0
[pid=8357] vsize: 75456
Current children cumulated CPU time (s) 308.58
Current children cumulated vsize (Kb) 75456

[startup+320.021 s]
Raw data (loadavg): 1.00 1.02 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 18315 0 0 0 31729 128 0 0 25 0 1 0 1859317485 77266944 18281 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 18864 18281 566 18 0 18846 0
[pid=8357] vsize: 75456
Current children cumulated CPU time (s) 318.57
Current children cumulated vsize (Kb) 75456

[startup+330.022 s]
Raw data (loadavg): 1.00 1.02 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 18315 0 0 0 32724 129 0 0 25 0 1 0 1859317485 77266944 18281 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 18864 18281 566 18 0 18846 0
[pid=8357] vsize: 75456
Current children cumulated CPU time (s) 328.53
Current children cumulated vsize (Kb) 75456

[startup+340.022 s]
Raw data (loadavg): 1.00 1.02 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 18315 0 0 0 33720 131 0 0 25 0 1 0 1859317485 77266944 18281 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 18864 18281 566 18 0 18846 0
[pid=8357] vsize: 75456
Current children cumulated CPU time (s) 338.51
Current children cumulated vsize (Kb) 75456

[startup+350.023 s]
Raw data (loadavg): 1.00 1.02 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 18315 0 0 0 34714 133 0 0 25 0 1 0 1859317485 77266944 18281 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 18864 18281 566 18 0 18846 0
[pid=8357] vsize: 75456
Current children cumulated CPU time (s) 348.47
Current children cumulated vsize (Kb) 75456

[startup+360.023 s]
Raw data (loadavg): 1.00 1.02 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 18315 0 0 0 35707 136 0 0 25 0 1 0 1859317485 77266944 18281 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 18864 18281 566 18 0 18846 0
[pid=8357] vsize: 75456
Current children cumulated CPU time (s) 358.43
Current children cumulated vsize (Kb) 75456

[startup+370.024 s]
Raw data (loadavg): 1.00 1.02 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 18315 0 0 0 36699 139 0 0 25 0 1 0 1859317485 77266944 18281 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 18864 18281 566 18 0 18846 0
[pid=8357] vsize: 75456
Current children cumulated CPU time (s) 368.38
Current children cumulated vsize (Kb) 75456

[startup+380.025 s]
Raw data (loadavg): 1.00 1.02 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 18315 0 0 0 37692 142 0 0 25 0 1 0 1859317485 77266944 18281 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 18864 18281 566 18 0 18846 0
[pid=8357] vsize: 75456
Current children cumulated CPU time (s) 378.34
Current children cumulated vsize (Kb) 75456

[startup+390.026 s]
Raw data (loadavg): 1.00 1.02 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 18315 0 0 0 38685 144 0 0 25 0 1 0 1859317485 77266944 18281 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 18864 18281 566 18 0 18846 0
[pid=8357] vsize: 75456
Current children cumulated CPU time (s) 388.29
Current children cumulated vsize (Kb) 75456

[startup+400.027 s]
Raw data (loadavg): 1.00 1.02 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 18315 0 0 0 39677 148 0 0 25 0 1 0 1859317485 77266944 18281 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 18864 18281 566 18 0 18846 0
[pid=8357] vsize: 75456
Current children cumulated CPU time (s) 398.25
Current children cumulated vsize (Kb) 75456

[startup+410.027 s]
Raw data (loadavg): 1.00 1.02 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 18315 0 0 0 40669 152 0 0 25 0 1 0 1859317485 77266944 18281 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 18864 18281 566 18 0 18846 0
[pid=8357] vsize: 75456
Current children cumulated CPU time (s) 408.21
Current children cumulated vsize (Kb) 75456

[startup+420.028 s]
Raw data (loadavg): 1.00 1.02 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 18315 0 0 0 41660 156 0 0 25 0 1 0 1859317485 77266944 18281 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 18864 18281 566 18 0 18846 0
[pid=8357] vsize: 75456
Current children cumulated CPU time (s) 418.16
Current children cumulated vsize (Kb) 75456

[startup+430.029 s]
Raw data (loadavg): 1.00 1.01 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 18465 0 0 0 42656 158 0 0 25 0 1 0 1859317485 77918208 18431 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 19023 18431 566 18 0 19005 0
[pid=8357] vsize: 76092
Current children cumulated CPU time (s) 428.14
Current children cumulated vsize (Kb) 76092

[startup+440.029 s]
Raw data (loadavg): 1.00 1.01 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 18890 0 0 0 43650 161 0 0 25 0 1 0 1859317485 79626240 18856 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 19440 18856 566 18 0 19422 0
[pid=8357] vsize: 77760
Current children cumulated CPU time (s) 438.11
Current children cumulated vsize (Kb) 77760

[startup+450.03 s]
Raw data (loadavg): 1.00 1.01 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 19411 0 0 0 44644 164 0 0 25 0 1 0 1859317485 81801216 19377 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 19971 19377 566 18 0 19953 0
[pid=8357] vsize: 79884
Current children cumulated CPU time (s) 448.08
Current children cumulated vsize (Kb) 79884

[startup+460.031 s]
Raw data (loadavg): 1.00 1.01 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 20055 0 0 0 45635 167 0 0 25 0 1 0 1859317485 84480000 20021 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 20625 20021 566 18 0 20607 0
[pid=8357] vsize: 82500
Current children cumulated CPU time (s) 458.02
Current children cumulated vsize (Kb) 82500

[startup+470.031 s]
Raw data (loadavg): 1.00 1.01 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 20647 0 0 0 46627 171 0 0 25 0 1 0 1859317485 86933504 20613 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 21224 20613 566 18 0 21206 0
[pid=8357] vsize: 84896
Current children cumulated CPU time (s) 467.98
Current children cumulated vsize (Kb) 84896

[startup+480.032 s]
Raw data (loadavg): 1.00 1.01 0.96 1/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) T 8356 8357 28974 0 -1 0 21206 0 0 0 47620 174 0 0 25 0 1 0 1859317485 89198592 21172 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8357/statm): 21777 21172 566 18 0 21759 0
[pid=8357] vsize: 87108
Current children cumulated CPU time (s) 477.94
Current children cumulated vsize (Kb) 87108

[startup+490.032 s]
Raw data (loadavg): 1.00 1.01 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21518 0 0 0 48615 176 0 0 25 0 1 0 1859317485 90546176 21484 4294967295 134512640 134578447 3221224624 3221223520 134519941 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 22106 21484 566 18 0 22088 0
[pid=8357] vsize: 88424
Current children cumulated CPU time (s) 487.91
Current children cumulated vsize (Kb) 88424

[startup+500.033 s]
Raw data (loadavg): 1.00 1.01 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21583 0 0 0 49610 179 0 0 25 0 1 0 1859317485 90804224 21549 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 22169 21549 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 497.89
Current children cumulated vsize (Kb) 88676

[startup+510.034 s]
Raw data (loadavg): 1.00 1.01 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21583 0 0 0 50605 181 0 0 25 0 1 0 1859317485 90804224 21549 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 22169 21549 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 507.86
Current children cumulated vsize (Kb) 88676

[startup+520.034 s]
Raw data (loadavg): 1.00 1.01 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21583 0 0 0 51600 184 0 0 25 0 1 0 1859317485 90804224 21549 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 22169 21549 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 517.84
Current children cumulated vsize (Kb) 88676

[startup+530.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21583 0 0 0 52595 186 0 0 25 0 1 0 1859317485 90804224 21549 4294967295 134512640 134578447 3221224624 3221223504 134528079 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21549 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 527.81
Current children cumulated vsize (Kb) 88676

[startup+540.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21583 0 0 0 53589 188 0 0 25 0 1 0 1859317485 90804224 21549 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21549 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 537.77
Current children cumulated vsize (Kb) 88676

[startup+550.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21583 0 0 0 54585 190 0 0 25 0 1 0 1859317485 90804224 21549 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21549 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 547.75
Current children cumulated vsize (Kb) 88676

[startup+560.036 s]
Raw data (loadavg): 1.00 1.00 0.96 1/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) T 8356 8357 28974 0 -1 0 21583 0 0 0 55580 192 0 0 25 0 1 0 1859317485 90804224 21549 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21549 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 557.72
Current children cumulated vsize (Kb) 88676

[startup+570.138 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21583 0 0 0 56575 194 0 0 25 0 1 0 1859317485 90804224 21549 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21549 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 567.69
Current children cumulated vsize (Kb) 88676

[startup+580.138 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21584 0 0 0 57569 196 0 0 25 0 1 0 1859317485 90804224 21550 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21550 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 577.65
Current children cumulated vsize (Kb) 88676

[startup+590.138 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21584 0 0 0 58564 198 0 0 25 0 1 0 1859317485 90804224 21550 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21550 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 587.62
Current children cumulated vsize (Kb) 88676

[startup+600.139 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21584 0 0 0 59558 200 0 0 25 0 1 0 1859317485 90804224 21550 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21550 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 597.58
Current children cumulated vsize (Kb) 88676

[startup+610.139 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21584 0 0 0 60553 203 0 0 25 0 1 0 1859317485 90804224 21550 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21550 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 607.56
Current children cumulated vsize (Kb) 88676

[startup+620.14 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21584 0 0 0 61549 204 0 0 25 0 1 0 1859317485 90804224 21550 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21550 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 617.53
Current children cumulated vsize (Kb) 88676

[startup+630.14 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21584 0 0 0 62546 205 0 0 25 0 1 0 1859317485 90804224 21550 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21550 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 627.51
Current children cumulated vsize (Kb) 88676

[startup+640.14 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21584 0 0 0 63542 206 0 0 25 0 1 0 1859317485 90804224 21550 4294967295 134512640 134578447 3221224624 3221223476 134555898 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21550 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 637.48
Current children cumulated vsize (Kb) 88676

[startup+650.141 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21584 0 0 0 64538 207 0 0 25 0 1 0 1859317485 90804224 21550 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21550 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 647.45
Current children cumulated vsize (Kb) 88676

[startup+660.141 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21584 0 0 0 65533 210 0 0 25 0 1 0 1859317485 90804224 21550 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21550 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 657.43
Current children cumulated vsize (Kb) 88676

[startup+670.142 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21584 0 0 0 66530 211 0 0 25 0 1 0 1859317485 90804224 21550 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21550 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 667.41
Current children cumulated vsize (Kb) 88676

[startup+680.142 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21584 0 0 0 67525 213 0 0 25 0 1 0 1859317485 90804224 21550 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 22169 21550 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 677.38
Current children cumulated vsize (Kb) 88676

[startup+690.142 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21585 0 0 0 68520 215 0 0 25 0 1 0 1859317485 90804224 21551 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21551 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 687.35
Current children cumulated vsize (Kb) 88676

[startup+700.143 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21586 0 0 0 69516 216 0 0 25 0 1 0 1859317485 90804224 21552 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21552 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 697.32
Current children cumulated vsize (Kb) 88676

[startup+710.145 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21586 0 0 0 70511 218 0 0 25 0 1 0 1859317485 90804224 21552 4294967295 134512640 134578447 3221224624 3221223504 134518981 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21552 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 707.29
Current children cumulated vsize (Kb) 88676

[startup+720.146 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21586 0 0 0 71508 220 0 0 25 0 1 0 1859317485 90804224 21552 4294967295 134512640 134578447 3221224624 3221223504 134518932 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21552 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 717.28
Current children cumulated vsize (Kb) 88676

[startup+730.146 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21586 0 0 0 72503 222 0 0 25 0 1 0 1859317485 90804224 21552 4294967295 134512640 134578447 3221224624 3221223504 134518934 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21552 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 727.25
Current children cumulated vsize (Kb) 88676

[startup+740.147 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21590 0 0 0 73500 223 0 0 25 0 1 0 1859317485 90804224 21556 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21556 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 737.23
Current children cumulated vsize (Kb) 88676

[startup+750.148 s]
Raw data (loadavg): 1.00 1.00 0.96 1/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) T 8356 8357 28974 0 -1 0 21591 0 0 0 74495 224 0 0 25 0 1 0 1859317485 90804224 21557 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21557 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 747.19
Current children cumulated vsize (Kb) 88676

[startup+760.148 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21594 0 0 0 75491 225 0 0 25 0 1 0 1859317485 90804224 21560 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21560 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 757.16
Current children cumulated vsize (Kb) 88676

[startup+770.149 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21596 0 0 0 76488 227 0 0 25 0 1 0 1859317485 90804224 21562 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21562 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 767.15
Current children cumulated vsize (Kb) 88676

[startup+780.15 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 21597 0 0 0 77484 228 0 0 25 0 1 0 1859317485 90804224 21563 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22169 21563 566 18 0 22151 0
[pid=8357] vsize: 88676
Current children cumulated CPU time (s) 777.12
Current children cumulated vsize (Kb) 88676

[startup+790.149 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22004 0 0 0 78478 231 0 0 25 0 1 0 1859317485 92426240 21970 4294967295 134512640 134578447 3221224624 3221222688 134532645 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22565 21970 566 18 0 22547 0
[pid=8357] vsize: 90260
Current children cumulated CPU time (s) 787.09
Current children cumulated vsize (Kb) 90260

[startup+800.15 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22337 0 0 0 79474 233 0 0 25 0 1 0 1859317485 93786112 22303 4294967295 134512640 134578447 3221224624 3221223552 134516662 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22303 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 797.07
Current children cumulated vsize (Kb) 91588

[startup+810.151 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22337 0 0 0 80470 235 0 0 25 0 1 0 1859317485 93786112 22303 4294967295 134512640 134578447 3221224624 3221223556 134527382 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22303 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 807.05
Current children cumulated vsize (Kb) 91588

[startup+820.152 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22337 0 0 0 81465 236 0 0 25 0 1 0 1859317485 93786112 22303 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22303 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 817.01
Current children cumulated vsize (Kb) 91588

[startup+830.153 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22337 0 0 0 82459 239 0 0 25 0 1 0 1859317485 93786112 22303 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 22897 22303 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 826.98
Current children cumulated vsize (Kb) 91588

[startup+840.153 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22337 0 0 0 83451 241 0 0 25 0 1 0 1859317485 93786112 22303 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 22897 22303 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 836.92
Current children cumulated vsize (Kb) 91588

[startup+850.153 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22337 0 0 0 84446 243 0 0 25 0 1 0 1859317485 93786112 22303 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 22897 22303 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 846.89
Current children cumulated vsize (Kb) 91588

[startup+860.154 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22337 0 0 0 85439 245 0 0 25 0 1 0 1859317485 93786112 22303 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 22897 22303 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 856.84
Current children cumulated vsize (Kb) 91588

[startup+870.155 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22337 0 0 0 86434 247 0 0 25 0 1 0 1859317485 93786112 22303 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22303 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 866.81
Current children cumulated vsize (Kb) 91588

[startup+880.156 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22337 0 0 0 87430 248 0 0 25 0 1 0 1859317485 93786112 22303 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22303 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 876.78
Current children cumulated vsize (Kb) 91588

[startup+890.156 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22337 0 0 0 88425 249 0 0 25 0 1 0 1859317485 93786112 22303 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22303 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 886.74
Current children cumulated vsize (Kb) 91588

[startup+900.156 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22340 0 0 0 89419 251 0 0 25 0 1 0 1859317485 93786112 22306 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22306 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 896.7
Current children cumulated vsize (Kb) 91588

[startup+910.156 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22340 0 0 0 90416 252 0 0 25 0 1 0 1859317485 93786112 22306 4294967295 134512640 134578447 3221224624 3221223456 134528614 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22306 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 906.68
Current children cumulated vsize (Kb) 91588

[startup+920.157 s]
Raw data (loadavg): 1.00 1.00 0.96 1/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) T 8356 8357 28974 0 -1 0 22341 0 0 0 91414 253 0 0 25 0 1 0 1859317485 93786112 22307 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22307 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 916.67
Current children cumulated vsize (Kb) 91588

[startup+930.158 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22341 0 0 0 92412 254 0 0 25 0 1 0 1859317485 93786112 22307 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22307 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 926.66
Current children cumulated vsize (Kb) 91588

[startup+940.158 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22341 0 0 0 93409 255 0 0 25 0 1 0 1859317485 93786112 22307 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22307 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 936.64
Current children cumulated vsize (Kb) 91588

[startup+950.159 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22341 0 0 0 94403 257 0 0 25 0 1 0 1859317485 93786112 22307 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22307 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 946.6
Current children cumulated vsize (Kb) 91588

[startup+960.158 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22341 0 0 0 95400 258 0 0 25 0 1 0 1859317485 93786112 22307 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22307 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 956.58
Current children cumulated vsize (Kb) 91588

[startup+970.159 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22341 0 0 0 96395 260 0 0 25 0 1 0 1859317485 93786112 22307 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22307 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 966.55
Current children cumulated vsize (Kb) 91588

[startup+980.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22341 0 0 0 97391 262 0 0 25 0 1 0 1859317485 93786112 22307 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22307 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 976.53
Current children cumulated vsize (Kb) 91588

[startup+990.161 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22341 0 0 0 98389 263 0 0 25 0 1 0 1859317485 93786112 22307 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22307 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 986.52
Current children cumulated vsize (Kb) 91588

[startup+1000.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22341 0 0 0 99384 265 0 0 25 0 1 0 1859317485 93786112 22307 4294967295 134512640 134578447 3221224624 3221223296 134523438 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22307 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 996.49
Current children cumulated vsize (Kb) 91588

[startup+1010.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22346 0 0 0 100380 266 0 0 25 0 1 0 1859317485 93786112 22312 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22312 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 1006.46
Current children cumulated vsize (Kb) 91588

[startup+1020.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22348 0 0 0 101376 268 0 0 25 0 1 0 1859317485 93786112 22314 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22314 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 1016.44
Current children cumulated vsize (Kb) 91588

[startup+1030.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22348 0 0 0 102372 270 0 0 25 0 1 0 1859317485 93786112 22314 4294967295 134512640 134578447 3221224624 3221223504 134518978 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22314 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 1026.42
Current children cumulated vsize (Kb) 91588

[startup+1040.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22349 0 0 0 103368 272 0 0 25 0 1 0 1859317485 93786112 22315 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22315 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 1036.4
Current children cumulated vsize (Kb) 91588

[startup+1050.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22349 0 0 0 104364 273 0 0 25 0 1 0 1859317485 93786112 22315 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22315 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 1046.37
Current children cumulated vsize (Kb) 91588

[startup+1060.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22349 0 0 0 105360 275 0 0 25 0 1 0 1859317485 93786112 22315 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22315 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 1056.35
Current children cumulated vsize (Kb) 91588

[startup+1070.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22350 0 0 0 106356 276 0 0 25 0 1 0 1859317485 93786112 22316 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22316 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 1066.32
Current children cumulated vsize (Kb) 91588

[startup+1080.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22350 0 0 0 107352 278 0 0 25 0 1 0 1859317485 93786112 22316 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22316 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 1076.3
Current children cumulated vsize (Kb) 91588

[startup+1090.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22350 0 0 0 108347 280 0 0 25 0 1 0 1859317485 93786112 22316 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 22897 22316 566 18 0 22879 0
[pid=8357] vsize: 91588
Current children cumulated CPU time (s) 1086.27
Current children cumulated vsize (Kb) 91588

[startup+1100.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 22659 0 0 0 109342 282 0 0 25 0 1 0 1859317485 95137792 22625 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 23227 22625 566 18 0 23209 0
[pid=8357] vsize: 92908
Current children cumulated CPU time (s) 1096.24
Current children cumulated vsize (Kb) 92908

[startup+1110.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 23178 0 0 0 110334 286 0 0 25 0 1 0 1859317485 97165312 23144 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 23722 23144 566 18 0 23704 0
[pid=8357] vsize: 94888
Current children cumulated CPU time (s) 1106.2
Current children cumulated vsize (Kb) 94888

[startup+1120.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 23544 0 0 0 111329 288 0 0 25 0 1 0 1859317485 98766848 23510 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 24113 23510 566 18 0 24095 0
[pid=8357] vsize: 96452
Current children cumulated CPU time (s) 1116.17
Current children cumulated vsize (Kb) 96452

[startup+1130.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 23912 0 0 0 112324 291 0 0 25 0 1 0 1859317485 100384768 23878 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 24508 23878 566 18 0 24490 0
[pid=8357] vsize: 98032
Current children cumulated CPU time (s) 1126.15
Current children cumulated vsize (Kb) 98032

[startup+1140.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 24354 0 0 0 113319 294 0 0 25 0 1 0 1859317485 102154240 24320 4294967295 134512640 134578447 3221224624 3221223504 134518939 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 24940 24320 566 18 0 24922 0
[pid=8357] vsize: 99760
Current children cumulated CPU time (s) 1136.13
Current children cumulated vsize (Kb) 99760

[startup+1150.17 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 8357
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 24625 0 0 0 114317 296 0 0 25 0 1 0 1859317485 103223296 24591 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 25201 24591 566 18 0 25183 0
[pid=8357] vsize: 100804
Current children cumulated CPU time (s) 1146.13
Current children cumulated vsize (Kb) 100804

[startup+1160.18 s]
Raw data (loadavg): 1.08 1.02 0.97 2/56 8412
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 25035 0 0 0 115301 307 0 0 25 0 1 0 1859317485 104976384 25001 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 25629 25001 566 18 0 25611 0
[pid=8357] vsize: 102516
Current children cumulated CPU time (s) 1156.08
Current children cumulated vsize (Kb) 102516

[startup+1170.18 s]
Raw data (loadavg): 1.07 1.02 0.97 2/56 8412
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 25235 0 0 0 116299 308 0 0 25 0 1 0 1859317485 105779200 25201 4294967295 134512640 134578447 3221224624 3221223296 134523352 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 25825 25201 566 18 0 25807 0
[pid=8357] vsize: 103300
Current children cumulated CPU time (s) 1166.07
Current children cumulated vsize (Kb) 103300

[startup+1180.18 s]
Raw data (loadavg): 1.06 1.01 0.97 2/56 8412
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 25235 0 0 0 117293 310 0 0 25 0 1 0 1859317485 105779200 25201 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8357/statm): 25825 25201 566 18 0 25807 0
[pid=8357] vsize: 103300
Current children cumulated CPU time (s) 1176.03
Current children cumulated vsize (Kb) 103300

[startup+1190.19 s]
Raw data (loadavg): 1.05 1.01 0.97 2/56 8412
Raw data (/proc/8357/stat): 8357 (Pueblo) R 8356 8357 28974 0 -1 0 25235 0 0 0 118288 312 0 0 25 0 1 0 1859317485 105779200 25201 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8357/statm): 25825 25201 566 18 0 25807 0
[pid=8357] vsize: 103300
Current children cumulated CPU time (s) 1186
Current children cumulated vsize (Kb) 103300
One traced child (pid=8357) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1193.25
CPU time (s): 1189.06
CPU user time (s): 1185.88
CPU system time (s): 3.17652
CPU usage (%): 99.6492
Max. virtual memory (cumulated for all children) (Kb): 103300

Verifier Data

Verifier:	OK	-11