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/frb30-15-opb/normalized-frb30-15-2.opb
MD5SUM25130921f4384cc034832ca1cd52ec48
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 YES
Number of terms in the objective function 450
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 450
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 450
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark777.415
Number of variables450
Total number of constraints17874
Number of constraints which are clauses17874
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 7868

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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:        889824 kB
Buffers:         34068 kB
Cached:          79816 kB
SwapCached:        492 kB
Active:          69304 kB
Inactive:        47120 kB
HighTotal:      131008 kB
HighFree:        48972 kB
LowTotal:       903652 kB
LowFree:        840852 kB
SwapTotal:     2097136 kB
SwapFree:      2096072 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5904 kB
Slab:            22700 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 14:58:32 (client local time) WITH STATUS 10 IN 1189.05 SECONDS
stats: 5030 0 1189.05 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: 450 - #constraints read: 17875
c total time              : 1189.01 s
s SATISFIABLE
v -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 -C30 -C29 -C28 -C27 -C26 -C25 -C24 -C23 C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 C13 -C12 -C11 -C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1

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/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1801080090 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20192/statm): 41 3 40 18 0 23 0
[pid=20192] 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): 0.93 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 1329 0 0 0 978 9 0 0 25 0 1 0 1801080090 7020544 1295 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20192/statm): 1714 1295 566 18 0 1696 0
[pid=20192] vsize: 6856
Current children cumulated CPU time (s) 9.87
Current children cumulated vsize (Kb) 6856

[startup+20.0045 s]
Raw data (loadavg): 0.94 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 2026 0 0 0 1966 14 0 0 25 0 1 0 1801080090 9875456 1992 4294967295 134512640 134578447 3221224624 3221223504 134518959 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 2411 1992 566 18 0 2393 0
[pid=20192] vsize: 9644
Current children cumulated CPU time (s) 19.8
Current children cumulated vsize (Kb) 9644

[startup+30.0043 s]
Raw data (loadavg): 0.95 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 2727 0 0 0 2956 20 0 0 25 0 1 0 1801080090 12738560 2693 4294967295 134512640 134578447 3221224624 3221221328 134533200 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 3110 2693 566 18 0 3092 0
[pid=20192] vsize: 12440
Current children cumulated CPU time (s) 29.76
Current children cumulated vsize (Kb) 12440

[startup+40.0051 s]
Raw data (loadavg): 0.96 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 3420 0 0 0 3947 23 0 0 25 0 1 0 1801080090 15626240 3386 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 3815 3386 566 18 0 3797 0
[pid=20192] vsize: 15260
Current children cumulated CPU time (s) 39.7
Current children cumulated vsize (Kb) 15260

[startup+50.006 s]
Raw data (loadavg): 0.96 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 4091 0 0 0 4936 29 0 0 25 0 1 0 1801080090 18370560 4057 4294967295 134512640 134578447 3221224624 3221220992 134533053 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 4485 4057 566 18 0 4467 0
[pid=20192] vsize: 17940
Current children cumulated CPU time (s) 49.65
Current children cumulated vsize (Kb) 17940

[startup+60.0058 s]
Raw data (loadavg): 0.97 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 4760 0 0 0 5926 34 0 0 25 0 1 0 1801080090 21159936 4726 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 5166 4726 566 18 0 5148 0
[pid=20192] vsize: 20664
Current children cumulated CPU time (s) 59.6
Current children cumulated vsize (Kb) 20664

[startup+70.0066 s]
Raw data (loadavg): 0.97 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 5595 0 0 0 6917 38 0 0 25 0 1 0 1801080090 24711168 5561 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 6033 5561 566 18 0 6015 0
[pid=20192] vsize: 24132
Current children cumulated CPU time (s) 69.55
Current children cumulated vsize (Kb) 24132

[startup+80.0064 s]
Raw data (loadavg): 0.98 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 6260 0 0 0 7907 42 0 0 25 0 1 0 1801080090 27488256 6226 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 6711 6226 566 18 0 6693 0
[pid=20192] vsize: 26844
Current children cumulated CPU time (s) 79.49
Current children cumulated vsize (Kb) 26844

[startup+90.0073 s]
Raw data (loadavg): 0.98 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 6700 0 0 0 8901 45 0 0 25 0 1 0 1801080090 29261824 6666 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 7144 6666 566 18 0 7126 0
[pid=20192] vsize: 28576
Current children cumulated CPU time (s) 89.46
Current children cumulated vsize (Kb) 28576

[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 7060 0 0 0 9894 48 0 0 25 0 1 0 1801080090 30769152 7026 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 7512 7026 566 18 0 7494 0
[pid=20192] vsize: 30048
Current children cumulated CPU time (s) 99.42
Current children cumulated vsize (Kb) 30048

[startup+110.008 s]
Raw data (loadavg): 0.98 0.98 0.92 1/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) T 20191 20192 8263 0 -1 0 7611 0 0 0 10884 53 0 0 25 0 1 0 1801080090 32989184 7577 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20192/statm): 8054 7577 566 18 0 8036 0
[pid=20192] vsize: 32216
Current children cumulated CPU time (s) 109.37
Current children cumulated vsize (Kb) 32216

[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 8244 0 0 0 11875 57 0 0 25 0 1 0 1801080090 35540992 8210 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 8677 8210 566 18 0 8659 0
[pid=20192] vsize: 34708
Current children cumulated CPU time (s) 119.32
Current children cumulated vsize (Kb) 34708

[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 8244 0 0 0 12866 59 0 0 25 0 1 0 1801080090 35540992 8210 4294967295 134512640 134578447 3221224624 3221223472 134556253 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 8677 8210 566 18 0 8659 0
[pid=20192] vsize: 34708
Current children cumulated CPU time (s) 129.25
Current children cumulated vsize (Kb) 34708

[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 8244 0 0 0 13858 62 0 0 25 0 1 0 1801080090 35540992 8210 4294967295 134512640 134578447 3221224624 3221223456 134527045 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 8677 8210 566 18 0 8659 0
[pid=20192] vsize: 34708
Current children cumulated CPU time (s) 139.2
Current children cumulated vsize (Kb) 34708

[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 8244 0 0 0 14850 66 0 0 25 0 1 0 1801080090 35540992 8210 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 8677 8210 566 18 0 8659 0
[pid=20192] vsize: 34708
Current children cumulated CPU time (s) 149.16
Current children cumulated vsize (Kb) 34708

[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 8244 0 0 0 15842 69 0 0 25 0 1 0 1801080090 35540992 8210 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 8677 8210 566 18 0 8659 0
[pid=20192] vsize: 34708
Current children cumulated CPU time (s) 159.11
Current children cumulated vsize (Kb) 34708

[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 8244 0 0 0 16836 72 0 0 25 0 1 0 1801080090 35540992 8210 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 8677 8210 566 18 0 8659 0
[pid=20192] vsize: 34708
Current children cumulated CPU time (s) 169.08
Current children cumulated vsize (Kb) 34708

[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) T 20191 20192 8263 0 -1 0 8368 0 0 0 17828 75 0 0 25 0 1 0 1801080090 36085760 8334 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20192/statm): 8810 8334 566 18 0 8792 0
[pid=20192] vsize: 35240
Current children cumulated CPU time (s) 179.03
Current children cumulated vsize (Kb) 35240

[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 8368 0 0 0 18821 78 0 0 25 0 1 0 1801080090 36085760 8334 4294967295 134512640 134578447 3221224624 3221223584 134559065 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 8810 8334 566 18 0 8792 0
[pid=20192] vsize: 35240
Current children cumulated CPU time (s) 188.99
Current children cumulated vsize (Kb) 35240

[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 8368 0 0 0 19814 80 0 0 25 0 1 0 1801080090 36085760 8334 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 8810 8334 566 18 0 8792 0
[pid=20192] vsize: 35240
Current children cumulated CPU time (s) 198.94
Current children cumulated vsize (Kb) 35240

[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 8368 0 0 0 20810 82 0 0 25 0 1 0 1801080090 36085760 8334 4294967295 134512640 134578447 3221224624 3221223504 134528006 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 8810 8334 566 18 0 8792 0
[pid=20192] vsize: 35240
Current children cumulated CPU time (s) 208.92
Current children cumulated vsize (Kb) 35240

[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 8368 0 0 0 21804 84 0 0 25 0 1 0 1801080090 36085760 8334 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 8810 8334 566 18 0 8792 0
[pid=20192] vsize: 35240
Current children cumulated CPU time (s) 218.88
Current children cumulated vsize (Kb) 35240

[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 8368 0 0 0 22797 86 0 0 25 0 1 0 1801080090 36085760 8334 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 8810 8334 566 18 0 8792 0
[pid=20192] vsize: 35240
Current children cumulated CPU time (s) 228.83
Current children cumulated vsize (Kb) 35240

[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 8368 0 0 0 23793 87 0 0 25 0 1 0 1801080090 36085760 8334 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 8810 8334 566 18 0 8792 0
[pid=20192] vsize: 35240
Current children cumulated CPU time (s) 238.8
Current children cumulated vsize (Kb) 35240

[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 8368 0 0 0 24787 90 0 0 25 0 1 0 1801080090 36085760 8334 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 8810 8334 566 18 0 8792 0
[pid=20192] vsize: 35240
Current children cumulated CPU time (s) 248.77
Current children cumulated vsize (Kb) 35240

[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 8647 0 0 0 25781 92 0 0 25 0 1 0 1801080090 37171200 8613 4294967295 134512640 134578447 3221224624 3221223456 134528332 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 9075 8613 566 18 0 9057 0
[pid=20192] vsize: 36300
Current children cumulated CPU time (s) 258.73
Current children cumulated vsize (Kb) 36300

[startup+270.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 9044 0 0 0 26775 95 0 0 25 0 1 0 1801080090 38895616 9010 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 9496 9010 566 18 0 9478 0
[pid=20192] vsize: 37984
Current children cumulated CPU time (s) 268.7
Current children cumulated vsize (Kb) 37984

[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 9364 0 0 0 27769 98 0 0 25 0 1 0 1801080090 40255488 9330 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 9828 9330 566 18 0 9810 0
[pid=20192] vsize: 39312
Current children cumulated CPU time (s) 278.67
Current children cumulated vsize (Kb) 39312

[startup+290.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 9780 0 0 0 28764 100 0 0 25 0 1 0 1801080090 41873408 9746 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 10223 9746 566 18 0 10205 0
[pid=20192] vsize: 40892
Current children cumulated CPU time (s) 288.64
Current children cumulated vsize (Kb) 40892

[startup+300.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 9987 0 0 0 29757 102 0 0 25 0 1 0 1801080090 42819584 9953 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 10454 9953 566 18 0 10436 0
[pid=20192] vsize: 41816
Current children cumulated CPU time (s) 298.59
Current children cumulated vsize (Kb) 41816

[startup+310.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 9987 0 0 0 30751 104 0 0 25 0 1 0 1801080090 42819584 9953 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 10454 9953 566 18 0 10436 0
[pid=20192] vsize: 41816
Current children cumulated CPU time (s) 308.55
Current children cumulated vsize (Kb) 41816

[startup+320.012 s]
Raw data (loadavg): 1.07 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 9987 0 0 0 31743 107 0 0 25 0 1 0 1801080090 42819584 9953 4294967295 134512640 134578447 3221224624 3221223476 134555878 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20192/statm): 10454 9953 566 18 0 10436 0
[pid=20192] vsize: 41816
Current children cumulated CPU time (s) 318.5
Current children cumulated vsize (Kb) 41816

[startup+330.013 s]
Raw data (loadavg): 1.06 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 9987 0 0 0 32740 109 0 0 25 0 1 0 1801080090 42819584 9953 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 10454 9953 566 18 0 10436 0
[pid=20192] vsize: 41816
Current children cumulated CPU time (s) 328.49
Current children cumulated vsize (Kb) 41816

[startup+340.014 s]
Raw data (loadavg): 1.05 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 9987 0 0 0 33735 110 0 0 25 0 1 0 1801080090 42819584 9953 4294967295 134512640 134578447 3221224624 3221223476 134555857 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 10454 9953 566 18 0 10436 0
[pid=20192] vsize: 41816
Current children cumulated CPU time (s) 338.45
Current children cumulated vsize (Kb) 41816

[startup+350.014 s]
Raw data (loadavg): 1.04 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 9987 0 0 0 34729 112 0 0 25 0 1 0 1801080090 42819584 9953 4294967295 134512640 134578447 3221224624 3221223456 134528429 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 10454 9953 566 18 0 10436 0
[pid=20192] vsize: 41816
Current children cumulated CPU time (s) 348.41
Current children cumulated vsize (Kb) 41816

[startup+360.014 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 9987 0 0 0 35723 114 0 0 25 0 1 0 1801080090 42819584 9953 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 10454 9953 566 18 0 10436 0
[pid=20192] vsize: 41816
Current children cumulated CPU time (s) 358.37
Current children cumulated vsize (Kb) 41816

[startup+370.014 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 9987 0 0 0 36717 116 0 0 25 0 1 0 1801080090 42819584 9953 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 10454 9953 566 18 0 10436 0
[pid=20192] vsize: 41816
Current children cumulated CPU time (s) 368.33
Current children cumulated vsize (Kb) 41816

[startup+380.013 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 9987 0 0 0 37711 118 0 0 25 0 1 0 1801080090 42819584 9953 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 10454 9953 566 18 0 10436 0
[pid=20192] vsize: 41816
Current children cumulated CPU time (s) 378.29
Current children cumulated vsize (Kb) 41816

[startup+390.014 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 9987 0 0 0 38705 120 0 0 25 0 1 0 1801080090 42819584 9953 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 10454 9953 566 18 0 10436 0
[pid=20192] vsize: 41816
Current children cumulated CPU time (s) 388.25
Current children cumulated vsize (Kb) 41816

[startup+400.015 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 9987 0 0 0 39699 122 0 0 25 0 1 0 1801080090 42819584 9953 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 10454 9953 566 18 0 10436 0
[pid=20192] vsize: 41816
Current children cumulated CPU time (s) 398.21
Current children cumulated vsize (Kb) 41816

[startup+410.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 9987 0 0 0 40691 125 0 0 25 0 1 0 1801080090 42819584 9953 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 10454 9953 566 18 0 10436 0
[pid=20192] vsize: 41816
Current children cumulated CPU time (s) 408.16
Current children cumulated vsize (Kb) 41816

[startup+420.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 9987 0 0 0 41687 127 0 0 25 0 1 0 1801080090 42819584 9953 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 10454 9953 566 18 0 10436 0
[pid=20192] vsize: 41816
Current children cumulated CPU time (s) 418.14
Current children cumulated vsize (Kb) 41816

[startup+430.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 9987 0 0 0 42681 128 0 0 25 0 1 0 1801080090 42819584 9953 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 10454 9953 566 18 0 10436 0
[pid=20192] vsize: 41816
Current children cumulated CPU time (s) 428.09
Current children cumulated vsize (Kb) 41816

[startup+440.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 9987 0 0 0 43675 130 0 0 25 0 1 0 1801080090 42819584 9953 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 10454 9953 566 18 0 10436 0
[pid=20192] vsize: 41816
Current children cumulated CPU time (s) 438.05
Current children cumulated vsize (Kb) 41816

[startup+450.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 9987 0 0 0 44671 132 0 0 25 0 1 0 1801080090 42819584 9953 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 10454 9953 566 18 0 10436 0
[pid=20192] vsize: 41816
Current children cumulated CPU time (s) 448.03
Current children cumulated vsize (Kb) 41816

[startup+460.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 9987 0 0 0 45665 135 0 0 25 0 1 0 1801080090 42819584 9953 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 10454 9953 566 18 0 10436 0
[pid=20192] vsize: 41816
Current children cumulated CPU time (s) 458
Current children cumulated vsize (Kb) 41816

[startup+470.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 9987 0 0 0 46659 137 0 0 25 0 1 0 1801080090 42819584 9953 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 10454 9953 566 18 0 10436 0
[pid=20192] vsize: 41816
Current children cumulated CPU time (s) 467.96
Current children cumulated vsize (Kb) 41816

[startup+480.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 9987 0 0 0 47652 140 0 0 25 0 1 0 1801080090 42819584 9953 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 10454 9953 566 18 0 10436 0
[pid=20192] vsize: 41816
Current children cumulated CPU time (s) 477.92
Current children cumulated vsize (Kb) 41816

[startup+490.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 10355 0 0 0 48645 143 0 0 25 0 1 0 1801080090 44347392 10321 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 10827 10321 566 18 0 10809 0
[pid=20192] vsize: 43308
Current children cumulated CPU time (s) 487.88
Current children cumulated vsize (Kb) 43308

[startup+500.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 10928 0 0 0 49637 147 0 0 25 0 1 0 1801080090 46665728 10894 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 11393 10894 566 18 0 11375 0
[pid=20192] vsize: 45572
Current children cumulated CPU time (s) 497.84
Current children cumulated vsize (Kb) 45572

[startup+510.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 11065 0 0 0 50632 149 0 0 25 0 1 0 1801080090 47308800 11031 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 11550 11031 566 18 0 11532 0
[pid=20192] vsize: 46200
Current children cumulated CPU time (s) 507.81
Current children cumulated vsize (Kb) 46200

[startup+520.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) T 20191 20192 8263 0 -1 0 11065 0 0 0 51625 151 0 0 25 0 1 0 1801080090 47308800 11031 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20192/statm): 11550 11031 566 18 0 11532 0
[pid=20192] vsize: 46200
Current children cumulated CPU time (s) 517.76
Current children cumulated vsize (Kb) 46200

[startup+530.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 11065 0 0 0 52620 153 0 0 25 0 1 0 1801080090 47308800 11031 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 11550 11031 566 18 0 11532 0
[pid=20192] vsize: 46200
Current children cumulated CPU time (s) 527.73
Current children cumulated vsize (Kb) 46200

[startup+540.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 11065 0 0 0 53611 156 0 0 25 0 1 0 1801080090 47308800 11031 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 11550 11031 566 18 0 11532 0
[pid=20192] vsize: 46200
Current children cumulated CPU time (s) 537.67
Current children cumulated vsize (Kb) 46200

[startup+550.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 11065 0 0 0 54603 160 0 0 25 0 1 0 1801080090 47308800 11031 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 11550 11031 566 18 0 11532 0
[pid=20192] vsize: 46200
Current children cumulated CPU time (s) 547.63
Current children cumulated vsize (Kb) 46200

[startup+560.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 11065 0 0 0 55595 163 0 0 25 0 1 0 1801080090 47308800 11031 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 11550 11031 566 18 0 11532 0
[pid=20192] vsize: 46200
Current children cumulated CPU time (s) 557.58
Current children cumulated vsize (Kb) 46200

[startup+570.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 11065 0 0 0 56587 166 0 0 25 0 1 0 1801080090 47308800 11031 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 11550 11031 566 18 0 11532 0
[pid=20192] vsize: 46200
Current children cumulated CPU time (s) 567.53
Current children cumulated vsize (Kb) 46200

[startup+580.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 11065 0 0 0 57580 169 0 0 25 0 1 0 1801080090 47308800 11031 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 11550 11031 566 18 0 11532 0
[pid=20192] vsize: 46200
Current children cumulated CPU time (s) 577.49
Current children cumulated vsize (Kb) 46200

[startup+590.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 11065 0 0 0 58575 171 0 0 25 0 1 0 1801080090 47308800 11031 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 11550 11031 566 18 0 11532 0
[pid=20192] vsize: 46200
Current children cumulated CPU time (s) 587.46
Current children cumulated vsize (Kb) 46200

[startup+600.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 11163 0 0 0 59570 173 0 0 25 0 1 0 1801080090 47714304 11129 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 11649 11129 566 18 0 11631 0
[pid=20192] vsize: 46596
Current children cumulated CPU time (s) 597.43
Current children cumulated vsize (Kb) 46596

[startup+610.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 11545 0 0 0 60564 176 0 0 25 0 1 0 1801080090 49221632 11511 4294967295 134512640 134578447 3221224624 3221223296 134523385 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12017 11511 566 18 0 11999 0
[pid=20192] vsize: 48068
Current children cumulated CPU time (s) 607.4
Current children cumulated vsize (Kb) 48068

[startup+620.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 11834 0 0 0 61558 178 0 0 25 0 1 0 1801080090 50446336 11800 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12316 11800 566 18 0 12298 0
[pid=20192] vsize: 49264
Current children cumulated CPU time (s) 617.36
Current children cumulated vsize (Kb) 49264

[startup+630.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12213 0 0 0 62554 180 0 0 25 0 1 0 1801080090 51929088 12179 4294967295 134512640 134578447 3221224624 3221223552 134516662 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12678 12179 566 18 0 12660 0
[pid=20192] vsize: 50712
Current children cumulated CPU time (s) 627.34
Current children cumulated vsize (Kb) 50712

[startup+640.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12213 0 0 0 63550 182 0 0 25 0 1 0 1801080090 51929088 12179 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12678 12179 566 18 0 12660 0
[pid=20192] vsize: 50712
Current children cumulated CPU time (s) 637.32
Current children cumulated vsize (Kb) 50712

[startup+650.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12213 0 0 0 64544 184 0 0 25 0 1 0 1801080090 51929088 12179 4294967295 134512640 134578447 3221224624 3221223572 134526354 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12678 12179 566 18 0 12660 0
[pid=20192] vsize: 50712
Current children cumulated CPU time (s) 647.28
Current children cumulated vsize (Kb) 50712

[startup+660.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12213 0 0 0 65535 188 0 0 25 0 1 0 1801080090 51929088 12179 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12678 12179 566 18 0 12660 0
[pid=20192] vsize: 50712
Current children cumulated CPU time (s) 657.23
Current children cumulated vsize (Kb) 50712

[startup+670.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12213 0 0 0 66528 191 0 0 25 0 1 0 1801080090 51929088 12179 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12678 12179 566 18 0 12660 0
[pid=20192] vsize: 50712
Current children cumulated CPU time (s) 667.19
Current children cumulated vsize (Kb) 50712

[startup+680.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12213 0 0 0 67522 193 0 0 25 0 1 0 1801080090 51929088 12179 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12678 12179 566 18 0 12660 0
[pid=20192] vsize: 50712
Current children cumulated CPU time (s) 677.15
Current children cumulated vsize (Kb) 50712

[startup+690.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12213 0 0 0 68516 196 0 0 25 0 1 0 1801080090 51929088 12179 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20192/statm): 12678 12179 566 18 0 12660 0
[pid=20192] vsize: 50712
Current children cumulated CPU time (s) 687.12
Current children cumulated vsize (Kb) 50712

[startup+700.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12213 0 0 0 69509 199 0 0 25 0 1 0 1801080090 51929088 12179 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12678 12179 566 18 0 12660 0
[pid=20192] vsize: 50712
Current children cumulated CPU time (s) 697.08
Current children cumulated vsize (Kb) 50712

[startup+710.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12213 0 0 0 70502 202 0 0 25 0 1 0 1801080090 51929088 12179 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12678 12179 566 18 0 12660 0
[pid=20192] vsize: 50712
Current children cumulated CPU time (s) 707.04
Current children cumulated vsize (Kb) 50712

[startup+720.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12213 0 0 0 71495 205 0 0 25 0 1 0 1801080090 51929088 12179 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12678 12179 566 18 0 12660 0
[pid=20192] vsize: 50712
Current children cumulated CPU time (s) 717
Current children cumulated vsize (Kb) 50712

[startup+730.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12213 0 0 0 72489 207 0 0 25 0 1 0 1801080090 51929088 12179 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12678 12179 566 18 0 12660 0
[pid=20192] vsize: 50712
Current children cumulated CPU time (s) 726.96
Current children cumulated vsize (Kb) 50712

[startup+740.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12213 0 0 0 73483 209 0 0 25 0 1 0 1801080090 51929088 12179 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12678 12179 566 18 0 12660 0
[pid=20192] vsize: 50712
Current children cumulated CPU time (s) 736.92
Current children cumulated vsize (Kb) 50712

[startup+750.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12213 0 0 0 74477 211 0 0 25 0 1 0 1801080090 51929088 12179 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12678 12179 566 18 0 12660 0
[pid=20192] vsize: 50712
Current children cumulated CPU time (s) 746.88
Current children cumulated vsize (Kb) 50712

[startup+760.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12297 0 0 0 75472 213 0 0 25 0 1 0 1801080090 52330496 12263 4294967295 134512640 134578447 3221224624 3221222976 134532636 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12776 12263 566 18 0 12758 0
[pid=20192] vsize: 51104
Current children cumulated CPU time (s) 756.85
Current children cumulated vsize (Kb) 51104

[startup+770.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12297 0 0 0 76465 216 0 0 25 0 1 0 1801080090 52330496 12263 4294967295 134512640 134578447 3221224624 3221223476 134555857 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12776 12263 566 18 0 12758 0
[pid=20192] vsize: 51104
Current children cumulated CPU time (s) 766.81
Current children cumulated vsize (Kb) 51104

[startup+780.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12297 0 0 0 77458 219 0 0 25 0 1 0 1801080090 52330496 12263 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12776 12263 566 18 0 12758 0
[pid=20192] vsize: 51104
Current children cumulated CPU time (s) 776.77
Current children cumulated vsize (Kb) 51104

[startup+790.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12297 0 0 0 78451 221 0 0 25 0 1 0 1801080090 52330496 12263 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12776 12263 566 18 0 12758 0
[pid=20192] vsize: 51104
Current children cumulated CPU time (s) 786.72
Current children cumulated vsize (Kb) 51104

[startup+800.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12297 0 0 0 79444 224 0 0 25 0 1 0 1801080090 52330496 12263 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12776 12263 566 18 0 12758 0
[pid=20192] vsize: 51104
Current children cumulated CPU time (s) 796.68
Current children cumulated vsize (Kb) 51104

[startup+810.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12297 0 0 0 80439 226 0 0 25 0 1 0 1801080090 52330496 12263 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12776 12263 566 18 0 12758 0
[pid=20192] vsize: 51104
Current children cumulated CPU time (s) 806.65
Current children cumulated vsize (Kb) 51104

[startup+820.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12297 0 0 0 81433 228 0 0 25 0 1 0 1801080090 52330496 12263 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20192/statm): 12776 12263 566 18 0 12758 0
[pid=20192] vsize: 51104
Current children cumulated CPU time (s) 816.61
Current children cumulated vsize (Kb) 51104

[startup+830.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12297 0 0 0 82427 231 0 0 25 0 1 0 1801080090 52330496 12263 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20192/statm): 12776 12263 566 18 0 12758 0
[pid=20192] vsize: 51104
Current children cumulated CPU time (s) 826.58
Current children cumulated vsize (Kb) 51104

[startup+840.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12297 0 0 0 83421 233 0 0 25 0 1 0 1801080090 52330496 12263 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12776 12263 566 18 0 12758 0
[pid=20192] vsize: 51104
Current children cumulated CPU time (s) 836.54
Current children cumulated vsize (Kb) 51104

[startup+850.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12297 0 0 0 84416 235 0 0 25 0 1 0 1801080090 52330496 12263 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12776 12263 566 18 0 12758 0
[pid=20192] vsize: 51104
Current children cumulated CPU time (s) 846.51
Current children cumulated vsize (Kb) 51104

[startup+860.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12297 0 0 0 85415 236 0 0 25 0 1 0 1801080090 52330496 12263 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12776 12263 566 18 0 12758 0
[pid=20192] vsize: 51104
Current children cumulated CPU time (s) 856.51
Current children cumulated vsize (Kb) 51104

[startup+870.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12297 0 0 0 86411 237 0 0 25 0 1 0 1801080090 52330496 12263 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12776 12263 566 18 0 12758 0
[pid=20192] vsize: 51104
Current children cumulated CPU time (s) 866.48
Current children cumulated vsize (Kb) 51104

[startup+880.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12297 0 0 0 87404 239 0 0 25 0 1 0 1801080090 52330496 12263 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12776 12263 566 18 0 12758 0
[pid=20192] vsize: 51104
Current children cumulated CPU time (s) 876.43
Current children cumulated vsize (Kb) 51104

[startup+890.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12297 0 0 0 88402 241 0 0 25 0 1 0 1801080090 52330496 12263 4294967295 134512640 134578447 3221224624 3221223296 134523410 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12776 12263 566 18 0 12758 0
[pid=20192] vsize: 51104
Current children cumulated CPU time (s) 886.43
Current children cumulated vsize (Kb) 51104

[startup+900.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12424 0 0 0 89397 243 0 0 25 0 1 0 1801080090 52883456 12390 4294967295 134512640 134578447 3221224624 3221223456 134528338 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12911 12390 566 18 0 12893 0
[pid=20192] vsize: 51644
Current children cumulated CPU time (s) 896.4
Current children cumulated vsize (Kb) 51644

[startup+910.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12424 0 0 0 90389 246 0 0 25 0 1 0 1801080090 52883456 12390 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12911 12390 566 18 0 12893 0
[pid=20192] vsize: 51644
Current children cumulated CPU time (s) 906.35
Current children cumulated vsize (Kb) 51644

[startup+920.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12424 0 0 0 91384 249 0 0 25 0 1 0 1801080090 52883456 12390 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12911 12390 566 18 0 12893 0
[pid=20192] vsize: 51644
Current children cumulated CPU time (s) 916.33
Current children cumulated vsize (Kb) 51644

[startup+930.026 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) T 20191 20192 8263 0 -1 0 12424 0 0 0 92379 250 0 0 25 0 1 0 1801080090 52883456 12390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12911 12390 566 18 0 12893 0
[pid=20192] vsize: 51644
Current children cumulated CPU time (s) 926.29
Current children cumulated vsize (Kb) 51644

[startup+940.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12424 0 0 0 93375 252 0 0 25 0 1 0 1801080090 52883456 12390 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12911 12390 566 18 0 12893 0
[pid=20192] vsize: 51644
Current children cumulated CPU time (s) 936.27
Current children cumulated vsize (Kb) 51644

[startup+950.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12425 0 0 0 94371 253 0 0 25 0 1 0 1801080090 52883456 12391 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12911 12391 566 18 0 12893 0
[pid=20192] vsize: 51644
Current children cumulated CPU time (s) 946.24
Current children cumulated vsize (Kb) 51644

[startup+960.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12425 0 0 0 95366 255 0 0 25 0 1 0 1801080090 52883456 12391 4294967295 134512640 134578447 3221224624 3221223424 134528638 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12911 12391 566 18 0 12893 0
[pid=20192] vsize: 51644
Current children cumulated CPU time (s) 956.21
Current children cumulated vsize (Kb) 51644

[startup+970.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12425 0 0 0 96361 257 0 0 25 0 1 0 1801080090 52883456 12391 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12911 12391 566 18 0 12893 0
[pid=20192] vsize: 51644
Current children cumulated CPU time (s) 966.18
Current children cumulated vsize (Kb) 51644

[startup+980.026 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) T 20191 20192 8263 0 -1 0 12425 0 0 0 97357 259 0 0 25 0 1 0 1801080090 52883456 12391 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12911 12391 566 18 0 12893 0
[pid=20192] vsize: 51644
Current children cumulated CPU time (s) 976.16
Current children cumulated vsize (Kb) 51644

[startup+990.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12425 0 0 0 98353 260 0 0 25 0 1 0 1801080090 52883456 12391 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12911 12391 566 18 0 12893 0
[pid=20192] vsize: 51644
Current children cumulated CPU time (s) 986.13
Current children cumulated vsize (Kb) 51644

[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12425 0 0 0 99349 261 0 0 25 0 1 0 1801080090 52883456 12391 4294967295 134512640 134578447 3221224624 3221223584 134559051 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12911 12391 566 18 0 12893 0
[pid=20192] vsize: 51644
Current children cumulated CPU time (s) 996.1
Current children cumulated vsize (Kb) 51644

[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12425 0 0 0 100345 262 0 0 25 0 1 0 1801080090 52883456 12391 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12911 12391 566 18 0 12893 0
[pid=20192] vsize: 51644
Current children cumulated CPU time (s) 1006.07
Current children cumulated vsize (Kb) 51644

[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12425 0 0 0 101340 265 0 0 25 0 1 0 1801080090 52883456 12391 4294967295 134512640 134578447 3221224624 3221223424 134532095 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12911 12391 566 18 0 12893 0
[pid=20192] vsize: 51644
Current children cumulated CPU time (s) 1016.05
Current children cumulated vsize (Kb) 51644

[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12425 0 0 0 102336 266 0 0 25 0 1 0 1801080090 52883456 12391 4294967295 134512640 134578447 3221224624 3221223296 134523382 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12911 12391 566 18 0 12893 0
[pid=20192] vsize: 51644
Current children cumulated CPU time (s) 1026.02
Current children cumulated vsize (Kb) 51644

[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12426 0 0 0 103333 267 0 0 25 0 1 0 1801080090 52883456 12392 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12911 12392 566 18 0 12893 0
[pid=20192] vsize: 51644
Current children cumulated CPU time (s) 1036
Current children cumulated vsize (Kb) 51644

[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12427 0 0 0 104330 268 0 0 25 0 1 0 1801080090 52883456 12393 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12911 12393 566 18 0 12893 0
[pid=20192] vsize: 51644
Current children cumulated CPU time (s) 1045.98
Current children cumulated vsize (Kb) 51644

[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12428 0 0 0 105326 269 0 0 25 0 1 0 1801080090 52883456 12394 4294967295 134512640 134578447 3221224624 3221223376 134528891 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 12911 12394 566 18 0 12893 0
[pid=20192] vsize: 51644
Current children cumulated CPU time (s) 1055.95
Current children cumulated vsize (Kb) 51644

[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 12778 0 0 0 106321 271 0 0 25 0 1 0 1801080090 54235136 12744 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 13241 12744 566 18 0 13223 0
[pid=20192] vsize: 52964
Current children cumulated CPU time (s) 1065.92
Current children cumulated vsize (Kb) 52964

[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 13126 0 0 0 107316 273 0 0 25 0 1 0 1801080090 55726080 13092 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 13605 13092 566 18 0 13587 0
[pid=20192] vsize: 54420
Current children cumulated CPU time (s) 1075.89
Current children cumulated vsize (Kb) 54420

[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 13485 0 0 0 108310 276 0 0 25 0 1 0 1801080090 57233408 13451 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 13973 13451 566 18 0 13955 0
[pid=20192] vsize: 55892
Current children cumulated CPU time (s) 1085.86
Current children cumulated vsize (Kb) 55892

[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 13573 0 0 0 109306 278 0 0 25 0 1 0 1801080090 57516032 13539 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 14042 13539 566 18 0 14024 0
[pid=20192] vsize: 56168
Current children cumulated CPU time (s) 1095.84
Current children cumulated vsize (Kb) 56168

[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) T 20191 20192 8263 0 -1 0 13573 0 0 0 110302 279 0 0 25 0 1 0 1801080090 57516032 13539 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20192/statm): 14042 13539 566 18 0 14024 0
[pid=20192] vsize: 56168
Current children cumulated CPU time (s) 1105.81
Current children cumulated vsize (Kb) 56168

[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) T 20191 20192 8263 0 -1 0 13573 0 0 0 111296 282 0 0 25 0 1 0 1801080090 57516032 13539 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20192/statm): 14042 13539 566 18 0 14024 0
[pid=20192] vsize: 56168
Current children cumulated CPU time (s) 1115.78
Current children cumulated vsize (Kb) 56168

[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 13573 0 0 0 112291 283 0 0 25 0 1 0 1801080090 57516032 13539 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 14042 13539 566 18 0 14024 0
[pid=20192] vsize: 56168
Current children cumulated CPU time (s) 1125.74
Current children cumulated vsize (Kb) 56168

[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 13573 0 0 0 113287 285 0 0 25 0 1 0 1801080090 57516032 13539 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 14042 13539 566 18 0 14024 0
[pid=20192] vsize: 56168
Current children cumulated CPU time (s) 1135.72
Current children cumulated vsize (Kb) 56168

[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 13573 0 0 0 114284 286 0 0 25 0 1 0 1801080090 57516032 13539 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 14042 13539 566 18 0 14024 0
[pid=20192] vsize: 56168
Current children cumulated CPU time (s) 1145.7
Current children cumulated vsize (Kb) 56168

[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) T 20191 20192 8263 0 -1 0 13573 0 0 0 115279 287 0 0 25 0 1 0 1801080090 57516032 13539 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20192/statm): 14042 13539 566 18 0 14024 0
[pid=20192] vsize: 56168
Current children cumulated CPU time (s) 1155.66
Current children cumulated vsize (Kb) 56168

[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 13573 0 0 0 116273 291 0 0 25 0 1 0 1801080090 57516032 13539 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 14042 13539 566 18 0 14024 0
[pid=20192] vsize: 56168
Current children cumulated CPU time (s) 1165.64
Current children cumulated vsize (Kb) 56168

[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 13573 0 0 0 117269 292 0 0 25 0 1 0 1801080090 57516032 13539 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 14042 13539 566 18 0 14024 0
[pid=20192] vsize: 56168
Current children cumulated CPU time (s) 1175.61
Current children cumulated vsize (Kb) 56168

[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20192
Raw data (/proc/20192/stat): 20192 (Pueblo) R 20191 20192 8263 0 -1 0 13573 0 0 0 118262 294 0 0 25 0 1 0 1801080090 57516032 13539 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20192/statm): 14042 13539 566 18 0 14024 0
[pid=20192] vsize: 56168
Current children cumulated CPU time (s) 1185.56
Current children cumulated vsize (Kb) 56168
One traced child (pid=20192) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1193.52
CPU time (s): 1189.05
CPU user time (s): 1186.07
CPU system time (s): 2.98455
CPU usage (%): 99.6258
Max. virtual memory (cumulated for all children) (Kb): 56168

Verifier Data

Verifier:	OK	-9