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-5.opb
MD5SUM70070c820bc7d178cc8f33b42e0deead
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 constraints28143
Number of constraints which are clauses28143
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 7875

Launcher Data

LAUNCH ON wulflinc29 THE 2005-09-20 14:41:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5037 boxname=wulflinc29 idbench=349 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  70070c820bc7d178cc8f33b42e0deead  /oldhome/oroussel/tmp/wulflinc29/normalized-frb35-17-5.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5037
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        640688 kB
Buffers:         40836 kB
Cached:         321244 kB
SwapCached:        768 kB
Active:         232476 kB
Inactive:       132124 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        640436 kB
SwapTotal:     2097892 kB
SwapFree:      2096528 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5688 kB
Slab:            23640 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 15:01:16 (client local time) WITH STATUS 10 IN 1189.1 SECONDS
stats: 5037 0 1189.1 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: 28144
c total time              : 1189.04 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/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859325727 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11586/statm): 41 3 40 18 0 23 0
[pid=11586] 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.0039 s]
Raw data (loadavg): 0.93 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 1482 0 0 0 981 8 0 0 25 0 1 0 1859325727 7581696 1448 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11586/statm): 1851 1448 566 18 0 1833 0
[pid=11586] vsize: 7404
Current children cumulated CPU time (s) 9.89
Current children cumulated vsize (Kb) 7404

[startup+20.0047 s]
Raw data (loadavg): 0.94 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 2219 0 0 0 1970 13 0 0 25 0 1 0 1859325727 10723328 2185 4294967295 134512640 134578447 3221224624 3221223576 134559033 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 2618 2185 566 18 0 2600 0
[pid=11586] vsize: 10472
Current children cumulated CPU time (s) 19.83
Current children cumulated vsize (Kb) 10472

[startup+30.0055 s]
Raw data (loadavg): 0.95 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 2820 0 0 0 2963 16 0 0 25 0 1 0 1859325727 13185024 2786 4294967295 134512640 134578447 3221224624 3221223296 134523398 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 3219 2786 566 18 0 3201 0
[pid=11586] vsize: 12876
Current children cumulated CPU time (s) 29.79
Current children cumulated vsize (Kb) 12876

[startup+40.0053 s]
Raw data (loadavg): 0.96 0.98 0.91 1/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) T 11585 11586 19818 0 -1 0 3437 0 0 0 3954 20 0 0 25 0 1 0 1859325727 15642624 3403 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/11586/statm): 3819 3403 566 18 0 3801 0
[pid=11586] vsize: 15276
Current children cumulated CPU time (s) 39.74
Current children cumulated vsize (Kb) 15276

[startup+50.0051 s]
Raw data (loadavg): 0.96 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 4053 0 0 0 4947 24 0 0 25 0 1 0 1859325727 18116608 4019 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 4423 4019 566 18 0 4405 0
[pid=11586] vsize: 17692
Current children cumulated CPU time (s) 49.71
Current children cumulated vsize (Kb) 17692

[startup+60.0048 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 4634 0 0 0 5939 26 0 0 25 0 1 0 1859325727 20586496 4600 4294967295 134512640 134578447 3221224624 3221223536 134556865 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 5026 4600 566 18 0 5008 0
[pid=11586] vsize: 20104
Current children cumulated CPU time (s) 59.65
Current children cumulated vsize (Kb) 20104

[startup+70.0056 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 5123 0 0 0 6933 30 0 0 25 0 1 0 1859325727 22495232 5089 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 5492 5089 566 18 0 5474 0
[pid=11586] vsize: 21968
Current children cumulated CPU time (s) 69.63
Current children cumulated vsize (Kb) 21968

[startup+80.0064 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 5659 0 0 0 7927 32 0 0 25 0 1 0 1859325727 24793088 5625 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 6053 5625 566 18 0 6035 0
[pid=11586] vsize: 24212
Current children cumulated CPU time (s) 79.59
Current children cumulated vsize (Kb) 24212

[startup+90.0062 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 6191 0 0 0 8920 37 0 0 25 0 1 0 1859325727 26968064 6157 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11586/statm): 6584 6157 566 18 0 6566 0
[pid=11586] vsize: 26336
Current children cumulated CPU time (s) 89.57
Current children cumulated vsize (Kb) 26336

[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 6891 0 0 0 9910 40 0 0 25 0 1 0 1859325727 29884416 6857 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 7296 6857 566 18 0 7278 0
[pid=11586] vsize: 29184
Current children cumulated CPU time (s) 99.5
Current children cumulated vsize (Kb) 29184

[startup+110.008 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 7350 0 0 0 10904 43 0 0 25 0 1 0 1859325727 31666176 7316 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 7731 7316 566 18 0 7713 0
[pid=11586] vsize: 30924
Current children cumulated CPU time (s) 109.47
Current children cumulated vsize (Kb) 30924

[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 7836 0 0 0 11897 45 0 0 25 0 1 0 1859325727 33714176 7802 4294967295 134512640 134578447 3221224624 3221223504 134518939 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 8231 7802 566 18 0 8213 0
[pid=11586] vsize: 32924
Current children cumulated CPU time (s) 119.42
Current children cumulated vsize (Kb) 32924

[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 8277 0 0 0 12892 48 0 0 25 0 1 0 1859325727 35500032 8243 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 8667 8243 566 18 0 8649 0
[pid=11586] vsize: 34668
Current children cumulated CPU time (s) 129.4
Current children cumulated vsize (Kb) 34668

[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 8711 0 0 0 13889 49 0 0 25 0 1 0 1859325727 37261312 8677 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 9097 8677 566 18 0 9079 0
[pid=11586] vsize: 36388
Current children cumulated CPU time (s) 139.38
Current children cumulated vsize (Kb) 36388

[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 9123 0 0 0 14883 52 0 0 25 0 1 0 1859325727 38907904 9089 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11586/statm): 9499 9089 566 18 0 9481 0
[pid=11586] vsize: 37996
Current children cumulated CPU time (s) 149.35
Current children cumulated vsize (Kb) 37996

[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 9569 0 0 0 15876 55 0 0 25 0 1 0 1859325727 40845312 9535 4294967295 134512640 134578447 3221224624 3221223296 134523156 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11586/statm): 9972 9535 566 18 0 9954 0
[pid=11586] vsize: 39888
Current children cumulated CPU time (s) 159.31
Current children cumulated vsize (Kb) 39888

[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 10086 0 0 0 16868 58 0 0 25 0 1 0 1859325727 42872832 10052 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 10467 10052 566 18 0 10449 0
[pid=11586] vsize: 41868
Current children cumulated CPU time (s) 169.26
Current children cumulated vsize (Kb) 41868

[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 10463 0 0 0 17863 61 0 0 25 0 1 0 1859325727 44539904 10429 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 10874 10429 566 18 0 10856 0
[pid=11586] vsize: 43496
Current children cumulated CPU time (s) 179.24
Current children cumulated vsize (Kb) 43496

[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 10842 0 0 0 18859 63 0 0 25 0 1 0 1859325727 46059520 10808 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11586/statm): 11245 10808 566 18 0 11227 0
[pid=11586] vsize: 44980
Current children cumulated CPU time (s) 189.22
Current children cumulated vsize (Kb) 44980

[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 11217 0 0 0 19853 65 0 0 25 0 1 0 1859325727 47554560 11183 4294967295 134512640 134578447 3221224624 3221223424 134528638 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11586/statm): 11610 11183 566 18 0 11592 0
[pid=11586] vsize: 46440
Current children cumulated CPU time (s) 199.18
Current children cumulated vsize (Kb) 46440

[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 11700 0 0 0 20847 69 0 0 25 0 1 0 1859325727 49614848 11666 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 12113 11666 566 18 0 12095 0
[pid=11586] vsize: 48452
Current children cumulated CPU time (s) 209.16
Current children cumulated vsize (Kb) 48452

[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 12086 0 0 0 21841 71 0 0 25 0 1 0 1859325727 51240960 12052 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 12510 12052 566 18 0 12492 0
[pid=11586] vsize: 50040
Current children cumulated CPU time (s) 219.12
Current children cumulated vsize (Kb) 50040

[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 12498 0 0 0 22836 74 0 0 25 0 1 0 1859325727 52858880 12464 4294967295 134512640 134578447 3221224624 3221223308 1075289077 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 12905 12464 566 18 0 12887 0
[pid=11586] vsize: 51620
Current children cumulated CPU time (s) 229.1
Current children cumulated vsize (Kb) 51620

[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 12828 0 0 0 23832 76 0 0 25 0 1 0 1859325727 54259712 12794 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11586/statm): 13247 12794 566 18 0 13229 0
[pid=11586] vsize: 52988
Current children cumulated CPU time (s) 239.08
Current children cumulated vsize (Kb) 52988

[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 13188 0 0 0 24828 78 0 0 25 0 1 0 1859325727 55730176 13154 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11586/statm): 13606 13154 566 18 0 13588 0
[pid=11586] vsize: 54424
Current children cumulated CPU time (s) 249.06
Current children cumulated vsize (Kb) 54424

[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 13516 0 0 0 25822 81 0 0 25 0 1 0 1859325727 57106432 13482 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11586/statm): 13942 13482 566 18 0 13924 0
[pid=11586] vsize: 55768
Current children cumulated CPU time (s) 259.03
Current children cumulated vsize (Kb) 55768

[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 13939 0 0 0 26817 84 0 0 25 0 1 0 1859325727 58875904 13905 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 14374 13905 566 18 0 14356 0
[pid=11586] vsize: 57496
Current children cumulated CPU time (s) 269.01
Current children cumulated vsize (Kb) 57496

[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 14473 0 0 0 27809 88 0 0 25 0 1 0 1859325727 61018112 14439 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 14897 14439 566 18 0 14879 0
[pid=11586] vsize: 59588
Current children cumulated CPU time (s) 278.97
Current children cumulated vsize (Kb) 59588

[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 14730 0 0 0 28806 89 0 0 25 0 1 0 1859325727 62124032 14696 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 15167 14696 566 18 0 15149 0
[pid=11586] vsize: 60668
Current children cumulated CPU time (s) 288.95
Current children cumulated vsize (Kb) 60668

[startup+300.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 15057 0 0 0 29803 91 0 0 25 0 1 0 1859325727 63352832 15023 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 15467 15023 566 18 0 15449 0
[pid=11586] vsize: 61868
Current children cumulated CPU time (s) 298.94
Current children cumulated vsize (Kb) 61868

[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 15368 0 0 0 30799 94 0 0 25 0 1 0 1859325727 64720896 15334 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 15801 15334 566 18 0 15783 0
[pid=11586] vsize: 63204
Current children cumulated CPU time (s) 308.93
Current children cumulated vsize (Kb) 63204

[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 15826 0 0 0 31793 96 0 0 25 0 1 0 1859325727 66580480 15792 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 16255 15792 566 18 0 16237 0
[pid=11586] vsize: 65020
Current children cumulated CPU time (s) 318.89
Current children cumulated vsize (Kb) 65020

[startup+330.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 16137 0 0 0 32790 98 0 0 25 0 1 0 1859325727 67928064 16103 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 16584 16103 566 18 0 16566 0
[pid=11586] vsize: 66336
Current children cumulated CPU time (s) 328.88
Current children cumulated vsize (Kb) 66336

[startup+340.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 16462 0 0 0 33786 99 0 0 25 0 1 0 1859325727 69300224 16428 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 16919 16428 566 18 0 16901 0
[pid=11586] vsize: 67676
Current children cumulated CPU time (s) 338.85
Current children cumulated vsize (Kb) 67676

[startup+350.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 16759 0 0 0 34782 101 0 0 25 0 1 0 1859325727 70561792 16725 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 17227 16725 566 18 0 17209 0
[pid=11586] vsize: 68908
Current children cumulated CPU time (s) 348.83
Current children cumulated vsize (Kb) 68908

[startup+360.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 17176 0 0 0 35778 103 0 0 25 0 1 0 1859325727 72204288 17142 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 17628 17142 566 18 0 17610 0
[pid=11586] vsize: 70512
Current children cumulated CPU time (s) 358.81
Current children cumulated vsize (Kb) 70512

[startup+370.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 17454 0 0 0 36773 106 0 0 23 0 1 0 1859325727 73302016 17420 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 17896 17420 566 18 0 17878 0
[pid=11586] vsize: 71584
Current children cumulated CPU time (s) 368.79
Current children cumulated vsize (Kb) 71584

[startup+380.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 17930 0 0 0 37768 108 0 0 25 0 1 0 1859325727 75366400 17896 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 18400 17896 566 18 0 18382 0
[pid=11586] vsize: 73600
Current children cumulated CPU time (s) 378.76
Current children cumulated vsize (Kb) 73600

[startup+390.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 18408 0 0 0 38765 110 0 0 25 0 1 0 1859325727 77291520 18374 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 18870 18374 566 18 0 18852 0
[pid=11586] vsize: 75480
Current children cumulated CPU time (s) 388.75
Current children cumulated vsize (Kb) 75480

[startup+400.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 18865 0 0 0 39760 112 0 0 25 0 1 0 1859325727 79208448 18831 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19338 18831 566 18 0 19320 0
[pid=11586] vsize: 77352
Current children cumulated CPU time (s) 398.72
Current children cumulated vsize (Kb) 77352

[startup+410.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19210 0 0 0 40756 114 0 0 25 0 1 0 1859325727 80580608 19176 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19176 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 408.7
Current children cumulated vsize (Kb) 78692

[startup+420.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19212 0 0 0 41754 115 0 0 25 0 1 0 1859325727 80580608 19178 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19178 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 418.69
Current children cumulated vsize (Kb) 78692

[startup+430.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19213 0 0 0 42750 117 0 0 25 0 1 0 1859325727 80580608 19179 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19179 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 428.67
Current children cumulated vsize (Kb) 78692

[startup+440.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19213 0 0 0 43744 119 0 0 25 0 1 0 1859325727 80580608 19179 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19179 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 438.63
Current children cumulated vsize (Kb) 78692

[startup+450.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19214 0 0 0 44739 121 0 0 25 0 1 0 1859325727 80580608 19180 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19180 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 448.6
Current children cumulated vsize (Kb) 78692

[startup+460.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19214 0 0 0 45737 121 0 0 25 0 1 0 1859325727 80580608 19180 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19180 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 458.58
Current children cumulated vsize (Kb) 78692

[startup+470.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19214 0 0 0 46732 124 0 0 25 0 1 0 1859325727 80580608 19180 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19180 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 468.56
Current children cumulated vsize (Kb) 78692

[startup+480.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19214 0 0 0 47728 125 0 0 25 0 1 0 1859325727 80580608 19180 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19180 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 478.53
Current children cumulated vsize (Kb) 78692

[startup+490.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19214 0 0 0 48721 127 0 0 25 0 1 0 1859325727 80580608 19180 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11586/statm): 19673 19180 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 488.48
Current children cumulated vsize (Kb) 78692

[startup+500.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19214 0 0 0 49717 129 0 0 25 0 1 0 1859325727 80580608 19180 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11586/statm): 19673 19180 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 498.46
Current children cumulated vsize (Kb) 78692

[startup+510.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19214 0 0 0 50714 129 0 0 25 0 1 0 1859325727 80580608 19180 4294967295 134512640 134578447 3221224624 3221223504 134518932 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19180 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 508.43
Current children cumulated vsize (Kb) 78692

[startup+520.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19214 0 0 0 51712 130 0 0 25 0 1 0 1859325727 80580608 19180 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19180 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 518.42
Current children cumulated vsize (Kb) 78692

[startup+530.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19214 0 0 0 52709 131 0 0 25 0 1 0 1859325727 80580608 19180 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19180 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 528.4
Current children cumulated vsize (Kb) 78692

[startup+540.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19214 0 0 0 53707 132 0 0 25 0 1 0 1859325727 80580608 19180 4294967295 134512640 134578447 3221224624 3221221024 134533053 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19180 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 538.39
Current children cumulated vsize (Kb) 78692

[startup+550.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19214 0 0 0 54703 133 0 0 25 0 1 0 1859325727 80580608 19180 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19180 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 548.36
Current children cumulated vsize (Kb) 78692

[startup+560.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19214 0 0 0 55699 134 0 0 25 0 1 0 1859325727 80580608 19180 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19180 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 558.33
Current children cumulated vsize (Kb) 78692

[startup+570.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19214 0 0 0 56696 135 0 0 25 0 1 0 1859325727 80580608 19180 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19180 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 568.31
Current children cumulated vsize (Kb) 78692

[startup+580.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19214 0 0 0 57693 136 0 0 25 0 1 0 1859325727 80580608 19180 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19180 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 578.29
Current children cumulated vsize (Kb) 78692

[startup+590.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19214 0 0 0 58692 137 0 0 25 0 1 0 1859325727 80580608 19180 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19180 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 588.29
Current children cumulated vsize (Kb) 78692

[startup+600.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19214 0 0 0 59689 138 0 0 25 0 1 0 1859325727 80580608 19180 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19180 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 598.27
Current children cumulated vsize (Kb) 78692

[startup+610.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19214 0 0 0 60686 140 0 0 25 0 1 0 1859325727 80580608 19180 4294967295 134512640 134578447 3221224624 3221223296 134523419 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19180 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 608.26
Current children cumulated vsize (Kb) 78692

[startup+620.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19214 0 0 0 61682 141 0 0 25 0 1 0 1859325727 80580608 19180 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19180 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 618.23
Current children cumulated vsize (Kb) 78692

[startup+630.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19214 0 0 0 62678 143 0 0 25 0 1 0 1859325727 80580608 19180 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11586/statm): 19673 19180 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 628.21
Current children cumulated vsize (Kb) 78692

[startup+640.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19214 0 0 0 63674 145 0 0 25 0 1 0 1859325727 80580608 19180 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19180 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 638.19
Current children cumulated vsize (Kb) 78692

[startup+650.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19216 0 0 0 64671 146 0 0 25 0 1 0 1859325727 80580608 19182 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19182 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 648.17
Current children cumulated vsize (Kb) 78692

[startup+660.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19216 0 0 0 65669 146 0 0 25 0 1 0 1859325727 80580608 19182 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19182 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 658.15
Current children cumulated vsize (Kb) 78692

[startup+670.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19216 0 0 0 66665 148 0 0 25 0 1 0 1859325727 80580608 19182 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19182 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 668.13
Current children cumulated vsize (Kb) 78692

[startup+680.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19216 0 0 0 67662 149 0 0 25 0 1 0 1859325727 80580608 19182 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19182 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 678.11
Current children cumulated vsize (Kb) 78692

[startup+690.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19216 0 0 0 68659 150 0 0 25 0 1 0 1859325727 80580608 19182 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 19673 19182 566 18 0 19655 0
[pid=11586] vsize: 78692
Current children cumulated CPU time (s) 688.09
Current children cumulated vsize (Kb) 78692

[startup+700.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19535 0 0 0 69655 152 0 0 25 0 1 0 1859325727 81924096 19501 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 20001 19501 566 18 0 19983 0
[pid=11586] vsize: 80004
Current children cumulated CPU time (s) 698.07
Current children cumulated vsize (Kb) 80004

[startup+710.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 19971 0 0 0 70649 154 0 0 25 0 1 0 1859325727 83668992 19937 4294967295 134512640 134578447 3221224624 3221223504 134518932 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 20427 19937 566 18 0 20409 0
[pid=11586] vsize: 81708
Current children cumulated CPU time (s) 708.03
Current children cumulated vsize (Kb) 81708

[startup+720.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 20397 0 0 0 71646 157 0 0 25 0 1 0 1859325727 85463040 20363 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 20865 20363 566 18 0 20847 0
[pid=11586] vsize: 83460
Current children cumulated CPU time (s) 718.03
Current children cumulated vsize (Kb) 83460

[startup+730.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 20855 0 0 0 72640 159 0 0 25 0 1 0 1859325727 87375872 20821 4294967295 134512640 134578447 3221224624 3221223308 1075289350 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21332 20821 566 18 0 21314 0
[pid=11586] vsize: 85328
Current children cumulated CPU time (s) 727.99
Current children cumulated vsize (Kb) 85328

[startup+740.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 73636 161 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223552 134516662 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 737.97
Current children cumulated vsize (Kb) 86516

[startup+750.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 74631 163 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 747.94
Current children cumulated vsize (Kb) 86516

[startup+760.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 75627 164 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 757.91
Current children cumulated vsize (Kb) 86516

[startup+770.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 76622 166 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 767.88
Current children cumulated vsize (Kb) 86516

[startup+780.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 77617 168 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223376 134528858 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 777.85
Current children cumulated vsize (Kb) 86516

[startup+790.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 78613 170 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 787.83
Current children cumulated vsize (Kb) 86516

[startup+800.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 79606 173 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 797.79
Current children cumulated vsize (Kb) 86516

[startup+810.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 80600 175 0 0 17 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 807.75
Current children cumulated vsize (Kb) 86516

[startup+820.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 81596 177 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 817.73
Current children cumulated vsize (Kb) 86516

[startup+830.035 s]
Raw data (loadavg): 0.99 0.98 0.91 1/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) T 11585 11586 19818 0 -1 0 21178 0 0 0 82593 178 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 827.71
Current children cumulated vsize (Kb) 86516

[startup+840.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 83590 179 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221222400 134532497 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 837.69
Current children cumulated vsize (Kb) 86516

[startup+850.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 84587 180 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 847.67
Current children cumulated vsize (Kb) 86516

[startup+860.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 85584 181 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 857.65
Current children cumulated vsize (Kb) 86516

[startup+870.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 86581 182 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 867.63
Current children cumulated vsize (Kb) 86516

[startup+880.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 87576 183 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 877.59
Current children cumulated vsize (Kb) 86516

[startup+890.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 88573 185 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 887.58
Current children cumulated vsize (Kb) 86516

[startup+900.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 89569 186 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 897.55
Current children cumulated vsize (Kb) 86516

[startup+910.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 90566 188 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 907.54
Current children cumulated vsize (Kb) 86516

[startup+920.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 91561 190 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 917.51
Current children cumulated vsize (Kb) 86516

[startup+930.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 92557 191 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 927.48
Current children cumulated vsize (Kb) 86516

[startup+940.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 93554 192 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 937.46
Current children cumulated vsize (Kb) 86516

[startup+950.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 94550 194 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 947.44
Current children cumulated vsize (Kb) 86516

[startup+960.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 95544 196 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 957.4
Current children cumulated vsize (Kb) 86516

[startup+970.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 96541 198 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 967.39
Current children cumulated vsize (Kb) 86516

[startup+980.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 97536 199 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 977.35
Current children cumulated vsize (Kb) 86516

[startup+990.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 98530 202 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 987.32
Current children cumulated vsize (Kb) 86516

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 99527 202 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 997.29
Current children cumulated vsize (Kb) 86516

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21178 0 0 0 100526 203 0 0 25 0 1 0 1859325727 88592384 21144 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21629 21144 566 18 0 21611 0
[pid=11586] vsize: 86516
Current children cumulated CPU time (s) 1007.29
Current children cumulated vsize (Kb) 86516

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21295 0 0 0 101524 204 0 0 25 0 1 0 1859325727 89251840 21261 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 21790 21261 566 18 0 21772 0
[pid=11586] vsize: 87160
Current children cumulated CPU time (s) 1017.28
Current children cumulated vsize (Kb) 87160

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21611 0 0 0 102521 206 0 0 25 0 1 0 1859325727 90488832 21577 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 22092 21577 566 18 0 22074 0
[pid=11586] vsize: 88368
Current children cumulated CPU time (s) 1027.27
Current children cumulated vsize (Kb) 88368

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 21938 0 0 0 103517 207 0 0 25 0 1 0 1859325727 91844608 21904 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 22423 21904 566 18 0 22405 0
[pid=11586] vsize: 89692
Current children cumulated CPU time (s) 1037.24
Current children cumulated vsize (Kb) 89692

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 22231 0 0 0 104513 209 0 0 25 0 1 0 1859325727 93143040 22197 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 22740 22197 566 18 0 22722 0
[pid=11586] vsize: 90960
Current children cumulated CPU time (s) 1047.22
Current children cumulated vsize (Kb) 90960

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 22419 0 0 0 105511 210 0 0 25 0 1 0 1859325727 93822976 22385 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 22906 22385 566 18 0 22888 0
[pid=11586] vsize: 91624
Current children cumulated CPU time (s) 1057.21
Current children cumulated vsize (Kb) 91624

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 22788 0 0 0 106507 213 0 0 25 0 1 0 1859325727 95297536 22754 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 23266 22754 566 18 0 23248 0
[pid=11586] vsize: 93064
Current children cumulated CPU time (s) 1067.2
Current children cumulated vsize (Kb) 93064

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 23058 0 0 0 107505 214 0 0 25 0 1 0 1859325727 96464896 23024 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 23551 23024 566 18 0 23533 0
[pid=11586] vsize: 94204
Current children cumulated CPU time (s) 1077.19
Current children cumulated vsize (Kb) 94204

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 23282 0 0 0 108501 215 0 0 25 0 1 0 1859325727 97415168 23248 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 23783 23248 566 18 0 23765 0
[pid=11586] vsize: 95132
Current children cumulated CPU time (s) 1087.16
Current children cumulated vsize (Kb) 95132

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 23533 0 0 0 109499 216 0 0 25 0 1 0 1859325727 98545664 23499 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 24059 23499 566 18 0 24041 0
[pid=11586] vsize: 96236
Current children cumulated CPU time (s) 1097.15
Current children cumulated vsize (Kb) 96236

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 23533 0 0 0 110493 218 0 0 25 0 1 0 1859325727 98545664 23499 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 24059 23499 566 18 0 24041 0
[pid=11586] vsize: 96236
Current children cumulated CPU time (s) 1107.11
Current children cumulated vsize (Kb) 96236

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 11586
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 23533 0 0 0 111488 220 0 0 25 0 1 0 1859325727 98545664 23499 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11586/statm): 24059 23499 566 18 0 24041 0
[pid=11586] vsize: 96236
Current children cumulated CPU time (s) 1117.08
Current children cumulated vsize (Kb) 96236

[startup+1130.05 s]
Raw data (loadavg): 1.30 1.05 0.94 2/56 11641
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 23533 0 0 0 112474 228 0 0 25 0 1 0 1859325727 98545664 23499 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11586/statm): 24059 23499 566 18 0 24041 0
[pid=11586] vsize: 96236
Current children cumulated CPU time (s) 1127.02
Current children cumulated vsize (Kb) 96236

[startup+1140.05 s]
Raw data (loadavg): 1.25 1.05 0.94 2/56 11641
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 23533 0 0 0 113470 229 0 0 25 0 1 0 1859325727 98545664 23499 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11586/statm): 24059 23499 566 18 0 24041 0
[pid=11586] vsize: 96236
Current children cumulated CPU time (s) 1136.99
Current children cumulated vsize (Kb) 96236

[startup+1150.05 s]
Raw data (loadavg): 1.21 1.04 0.94 2/56 11641
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 23533 0 0 0 114465 231 0 0 25 0 1 0 1859325727 98545664 23499 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11586/statm): 24059 23499 566 18 0 24041 0
[pid=11586] vsize: 96236
Current children cumulated CPU time (s) 1146.96
Current children cumulated vsize (Kb) 96236

[startup+1160.05 s]
Raw data (loadavg): 1.18 1.04 0.94 2/56 11641
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 23533 0 0 0 115461 233 0 0 25 0 1 0 1859325727 98545664 23499 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11586/statm): 24059 23499 566 18 0 24041 0
[pid=11586] vsize: 96236
Current children cumulated CPU time (s) 1156.94
Current children cumulated vsize (Kb) 96236

[startup+1170.05 s]
Raw data (loadavg): 1.15 1.04 0.94 2/56 11641
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 23533 0 0 0 116457 235 0 0 25 0 1 0 1859325727 98545664 23499 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11586/statm): 24059 23499 566 18 0 24041 0
[pid=11586] vsize: 96236
Current children cumulated CPU time (s) 1166.92
Current children cumulated vsize (Kb) 96236

[startup+1180.05 s]
Raw data (loadavg): 1.13 1.04 0.94 2/56 11641
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 23534 0 0 0 117454 236 0 0 25 0 1 0 1859325727 98545664 23500 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11586/statm): 24059 23500 566 18 0 24041 0
[pid=11586] vsize: 96236
Current children cumulated CPU time (s) 1176.9
Current children cumulated vsize (Kb) 96236

[startup+1190.05 s]
Raw data (loadavg): 1.11 1.04 0.94 2/56 11643
Raw data (/proc/11586/stat): 11586 (Pueblo) R 11585 11586 19818 0 -1 0 23534 0 0 0 118450 238 0 0 25 0 1 0 1859325727 98545664 23500 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11586/statm): 24059 23500 566 18 0 24041 0
[pid=11586] vsize: 96236
Current children cumulated CPU time (s) 1186.88
Current children cumulated vsize (Kb) 96236
One traced child (pid=11586) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1192.26
CPU time (s): 1189.1
CPU user time (s): 1186.67
CPU system time (s): 2.43063
CPU usage (%): 99.7347
Max. virtual memory (cumulated for all children) (Kb): 96236

Verifier Data

Verifier:	OK	-11