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-5.opb
MD5SUM00a81d808a7a59d6e11f17e19e68d826
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 benchmark172.11
Number of variables450
Total number of constraints17794
Number of constraints which are clauses17794
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 7870

Launcher Data

LAUNCH ON wulflinc2 THE 2005-09-20 14:40:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5032 boxname=wulflinc2 idbench=344 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  00a81d808a7a59d6e11f17e19e68d826  /oldhome/oroussel/tmp/wulflinc2/normalized-frb30-15-5.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5032
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        882108 kB
Buffers:         31736 kB
Cached:          95508 kB
SwapCached:       1004 kB
Active:          54452 kB
Inactive:        75488 kB
HighTotal:      131008 kB
HighFree:        33964 kB
LowTotal:       903652 kB
LowFree:        848144 kB
SwapTotal:     2097136 kB
SwapFree:      2095552 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            16880 kB
Committed_AS:    72496 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 14:59:54 (client local time) WITH STATUS 10 IN 1189.08 SECONDS
stats: 5032 0 1189.08 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: 17795
c total time              : 1189.04 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/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1801112658 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13158/statm): 41 3 40 18 0 23 0
[pid=13158] 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.003 s]
Raw data (loadavg): 0.93 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 1379 0 0 0 981 9 0 0 25 0 1 0 1801112658 7299072 1345 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 1782 1345 566 18 0 1764 0
[pid=13158] vsize: 7128
Current children cumulated CPU time (s) 9.9
Current children cumulated vsize (Kb) 7128

[startup+20.0036 s]
Raw data (loadavg): 0.94 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 2100 0 0 0 1966 16 0 0 25 0 1 0 1801112658 10149888 2066 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 2478 2066 566 18 0 2460 0
[pid=13158] vsize: 9912
Current children cumulated CPU time (s) 19.82
Current children cumulated vsize (Kb) 9912

[startup+30.0034 s]
Raw data (loadavg): 0.95 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 2839 0 0 0 2955 21 0 0 25 0 1 0 1801112658 13283328 2805 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 3243 2805 566 18 0 3225 0
[pid=13158] vsize: 12972
Current children cumulated CPU time (s) 29.76
Current children cumulated vsize (Kb) 12972

[startup+40.0041 s]
Raw data (loadavg): 0.96 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 3469 0 0 0 3947 24 0 0 25 0 1 0 1801112658 15843328 3435 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 3868 3435 566 18 0 3850 0
[pid=13158] vsize: 15472
Current children cumulated CPU time (s) 39.71
Current children cumulated vsize (Kb) 15472

[startup+50.0048 s]
Raw data (loadavg): 0.96 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 4091 0 0 0 4935 29 0 0 25 0 1 0 1801112658 18427904 4057 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 4499 4057 566 18 0 4481 0
[pid=13158] vsize: 17996
Current children cumulated CPU time (s) 49.64
Current children cumulated vsize (Kb) 17996

[startup+60.0045 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 4600 0 0 0 5929 31 0 0 25 0 1 0 1801112658 20529152 4566 4294967295 134512640 134578447 3221224624 3221223584 134559008 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 5012 4566 566 18 0 4994 0
[pid=13158] vsize: 20048
Current children cumulated CPU time (s) 59.6
Current children cumulated vsize (Kb) 20048

[startup+70.0052 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 5123 0 0 0 6921 35 0 0 25 0 1 0 1801112658 22720512 5089 4294967295 134512640 134578447 3221224624 3221223308 1075289077 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 5547 5089 566 18 0 5529 0
[pid=13158] vsize: 22188
Current children cumulated CPU time (s) 69.56
Current children cumulated vsize (Kb) 22188

[startup+80.0049 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 5619 0 0 0 7912 39 0 0 25 0 1 0 1801112658 24633344 5585 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 6014 5585 566 18 0 5996 0
[pid=13158] vsize: 24056
Current children cumulated CPU time (s) 79.51
Current children cumulated vsize (Kb) 24056

[startup+90.0056 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 6165 0 0 0 8904 43 0 0 25 0 1 0 1801112658 26968064 6131 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 6584 6131 566 18 0 6566 0
[pid=13158] vsize: 26336
Current children cumulated CPU time (s) 89.47
Current children cumulated vsize (Kb) 26336

[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 6590 0 0 0 9897 46 0 0 25 0 1 0 1801112658 28622848 6556 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 6988 6556 566 18 0 6970 0
[pid=13158] vsize: 27952
Current children cumulated CPU time (s) 99.43
Current children cumulated vsize (Kb) 27952

[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 7033 0 0 0 10889 50 0 0 25 0 1 0 1801112658 30539776 6999 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 7456 6999 566 18 0 7438 0
[pid=13158] vsize: 29824
Current children cumulated CPU time (s) 109.39
Current children cumulated vsize (Kb) 29824

[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 7446 0 0 0 11881 54 0 0 25 0 1 0 1801112658 32186368 7412 4294967295 134512640 134578447 3221224624 3221223476 134555878 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 7858 7412 566 18 0 7840 0
[pid=13158] vsize: 31432
Current children cumulated CPU time (s) 119.35
Current children cumulated vsize (Kb) 31432

[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 7446 0 0 0 12876 56 0 0 25 0 1 0 1801112658 32186368 7412 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 7858 7412 566 18 0 7840 0
[pid=13158] vsize: 31432
Current children cumulated CPU time (s) 129.32
Current children cumulated vsize (Kb) 31432

[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 7446 0 0 0 13871 57 0 0 25 0 1 0 1801112658 32186368 7412 4294967295 134512640 134578447 3221224624 3221223476 134555857 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 7858 7412 566 18 0 7840 0
[pid=13158] vsize: 31432
Current children cumulated CPU time (s) 139.28
Current children cumulated vsize (Kb) 31432

[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 7446 0 0 0 14865 60 0 0 25 0 1 0 1801112658 32186368 7412 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 7858 7412 566 18 0 7840 0
[pid=13158] vsize: 31432
Current children cumulated CPU time (s) 149.25
Current children cumulated vsize (Kb) 31432

[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 7446 0 0 0 15861 61 0 0 25 0 1 0 1801112658 32186368 7412 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 7858 7412 566 18 0 7840 0
[pid=13158] vsize: 31432
Current children cumulated CPU time (s) 159.22
Current children cumulated vsize (Kb) 31432

[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 7446 0 0 0 16857 63 0 0 25 0 1 0 1801112658 32186368 7412 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 7858 7412 566 18 0 7840 0
[pid=13158] vsize: 31432
Current children cumulated CPU time (s) 169.2
Current children cumulated vsize (Kb) 31432

[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 7446 0 0 0 17851 65 0 0 25 0 1 0 1801112658 32186368 7412 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 7858 7412 566 18 0 7840 0
[pid=13158] vsize: 31432
Current children cumulated CPU time (s) 179.16
Current children cumulated vsize (Kb) 31432

[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 7446 0 0 0 18846 67 0 0 25 0 1 0 1801112658 32186368 7412 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 7858 7412 566 18 0 7840 0
[pid=13158] vsize: 31432
Current children cumulated CPU time (s) 189.13
Current children cumulated vsize (Kb) 31432

[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 7825 0 0 0 19840 70 0 0 25 0 1 0 1801112658 33820672 7791 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 8257 7791 566 18 0 8239 0
[pid=13158] vsize: 33028
Current children cumulated CPU time (s) 199.1
Current children cumulated vsize (Kb) 33028

[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 8282 0 0 0 20833 73 0 0 25 0 1 0 1801112658 35729408 8248 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 8723 8248 566 18 0 8705 0
[pid=13158] vsize: 34892
Current children cumulated CPU time (s) 209.06
Current children cumulated vsize (Kb) 34892

[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 8611 0 0 0 21829 75 0 0 25 0 1 0 1801112658 37031936 8577 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9041 8577 566 18 0 9023 0
[pid=13158] vsize: 36164
Current children cumulated CPU time (s) 219.04
Current children cumulated vsize (Kb) 36164

[startup+230.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 8888 0 0 0 22823 78 0 0 25 0 1 0 1801112658 38264832 8854 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9342 8854 566 18 0 9324 0
[pid=13158] vsize: 37368
Current children cumulated CPU time (s) 229.01
Current children cumulated vsize (Kb) 37368

[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 8888 0 0 0 23821 80 0 0 25 0 1 0 1801112658 38264832 8854 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9342 8854 566 18 0 9324 0
[pid=13158] vsize: 37368
Current children cumulated CPU time (s) 239.01
Current children cumulated vsize (Kb) 37368

[startup+250.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 8888 0 0 0 24814 84 0 0 25 0 1 0 1801112658 38264832 8854 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9342 8854 566 18 0 9324 0
[pid=13158] vsize: 37368
Current children cumulated CPU time (s) 248.98
Current children cumulated vsize (Kb) 37368

[startup+260.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 8888 0 0 0 25809 85 0 0 25 0 1 0 1801112658 38264832 8854 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9342 8854 566 18 0 9324 0
[pid=13158] vsize: 37368
Current children cumulated CPU time (s) 258.94
Current children cumulated vsize (Kb) 37368

[startup+270.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 8888 0 0 0 26801 89 0 0 25 0 1 0 1801112658 38264832 8854 4294967295 134512640 134578447 3221224624 3221223536 134556768 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13158/statm): 9342 8854 566 18 0 9324 0
[pid=13158] vsize: 37368
Current children cumulated CPU time (s) 268.9
Current children cumulated vsize (Kb) 37368

[startup+280.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 8888 0 0 0 27793 92 0 0 25 0 1 0 1801112658 38264832 8854 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9342 8854 566 18 0 9324 0
[pid=13158] vsize: 37368
Current children cumulated CPU time (s) 278.85
Current children cumulated vsize (Kb) 37368

[startup+290.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 8888 0 0 0 28788 95 0 0 25 0 1 0 1801112658 38264832 8854 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9342 8854 566 18 0 9324 0
[pid=13158] vsize: 37368
Current children cumulated CPU time (s) 288.83
Current children cumulated vsize (Kb) 37368

[startup+300.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 8888 0 0 0 29781 98 0 0 25 0 1 0 1801112658 38264832 8854 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9342 8854 566 18 0 9324 0
[pid=13158] vsize: 37368
Current children cumulated CPU time (s) 298.79
Current children cumulated vsize (Kb) 37368

[startup+310.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 8930 0 0 0 30777 99 0 0 25 0 1 0 1801112658 38404096 8896 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9376 8896 566 18 0 9358 0
[pid=13158] vsize: 37504
Current children cumulated CPU time (s) 308.76
Current children cumulated vsize (Kb) 37504

[startup+320.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 8944 0 0 0 31771 101 0 0 25 0 1 0 1801112658 38535168 8910 4294967295 134512640 134578447 3221224624 3221223504 134518966 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9408 8910 566 18 0 9390 0
[pid=13158] vsize: 37632
Current children cumulated CPU time (s) 318.72
Current children cumulated vsize (Kb) 37632

[startup+330.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 8944 0 0 0 32762 104 0 0 25 0 1 0 1801112658 38535168 8910 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9408 8910 566 18 0 9390 0
[pid=13158] vsize: 37632
Current children cumulated CPU time (s) 328.66
Current children cumulated vsize (Kb) 37632

[startup+340.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 8944 0 0 0 33756 106 0 0 25 0 1 0 1801112658 38535168 8910 4294967295 134512640 134578447 3221224624 3221223376 134528858 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9408 8910 566 18 0 9390 0
[pid=13158] vsize: 37632
Current children cumulated CPU time (s) 338.62
Current children cumulated vsize (Kb) 37632

[startup+350.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 8944 0 0 0 34748 109 0 0 25 0 1 0 1801112658 38535168 8910 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13158/statm): 9408 8910 566 18 0 9390 0
[pid=13158] vsize: 37632
Current children cumulated CPU time (s) 348.57
Current children cumulated vsize (Kb) 37632

[startup+360.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 8944 0 0 0 35744 110 0 0 25 0 1 0 1801112658 38535168 8910 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9408 8910 566 18 0 9390 0
[pid=13158] vsize: 37632
Current children cumulated CPU time (s) 358.54
Current children cumulated vsize (Kb) 37632

[startup+370.034 s]
Raw data (loadavg): 0.99 0.98 0.91 1/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) T 13157 13158 6872 0 -1 0 8944 0 0 0 36739 113 0 0 25 0 1 0 1801112658 38535168 8910 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9408 8910 566 18 0 9390 0
[pid=13158] vsize: 37632
Current children cumulated CPU time (s) 368.52
Current children cumulated vsize (Kb) 37632

[startup+380.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 8945 0 0 0 37732 115 0 0 25 0 1 0 1801112658 38535168 8911 4294967295 134512640 134578447 3221224624 3221223504 134518981 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9408 8911 566 18 0 9390 0
[pid=13158] vsize: 37632
Current children cumulated CPU time (s) 378.47
Current children cumulated vsize (Kb) 37632

[startup+390.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 8946 0 0 0 38727 116 0 0 25 0 1 0 1801112658 38535168 8912 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9408 8912 566 18 0 9390 0
[pid=13158] vsize: 37632
Current children cumulated CPU time (s) 388.43
Current children cumulated vsize (Kb) 37632

[startup+400.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) T 13157 13158 6872 0 -1 0 9024 0 0 0 39723 118 0 0 25 0 1 0 1801112658 38809600 8990 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9475 8990 566 18 0 9457 0
[pid=13158] vsize: 37900
Current children cumulated CPU time (s) 398.41
Current children cumulated vsize (Kb) 37900

[startup+410.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9024 0 0 0 40716 120 0 0 25 0 1 0 1801112658 38809600 8990 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13158/statm): 9475 8990 566 18 0 9457 0
[pid=13158] vsize: 37900
Current children cumulated CPU time (s) 408.36
Current children cumulated vsize (Kb) 37900

[startup+420.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9024 0 0 0 41709 122 0 0 25 0 1 0 1801112658 38809600 8990 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9475 8990 566 18 0 9457 0
[pid=13158] vsize: 37900
Current children cumulated CPU time (s) 418.31
Current children cumulated vsize (Kb) 37900

[startup+430.036 s]
Raw data (loadavg): 0.99 0.98 0.91 1/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) T 13157 13158 6872 0 -1 0 9024 0 0 0 42704 125 0 0 25 0 1 0 1801112658 38809600 8990 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9475 8990 566 18 0 9457 0
[pid=13158] vsize: 37900
Current children cumulated CPU time (s) 428.29
Current children cumulated vsize (Kb) 37900

[startup+440.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9024 0 0 0 43699 126 0 0 25 0 1 0 1801112658 38809600 8990 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9475 8990 566 18 0 9457 0
[pid=13158] vsize: 37900
Current children cumulated CPU time (s) 438.25
Current children cumulated vsize (Kb) 37900

[startup+450.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9024 0 0 0 44695 128 0 0 25 0 1 0 1801112658 38809600 8990 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9475 8990 566 18 0 9457 0
[pid=13158] vsize: 37900
Current children cumulated CPU time (s) 448.23
Current children cumulated vsize (Kb) 37900

[startup+460.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9024 0 0 0 45690 129 0 0 25 0 1 0 1801112658 38809600 8990 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9475 8990 566 18 0 9457 0
[pid=13158] vsize: 37900
Current children cumulated CPU time (s) 458.19
Current children cumulated vsize (Kb) 37900

[startup+470.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9024 0 0 0 46686 131 0 0 25 0 1 0 1801112658 38809600 8990 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9475 8990 566 18 0 9457 0
[pid=13158] vsize: 37900
Current children cumulated CPU time (s) 468.17
Current children cumulated vsize (Kb) 37900

[startup+480.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9024 0 0 0 47679 134 0 0 25 0 1 0 1801112658 38809600 8990 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9475 8990 566 18 0 9457 0
[pid=13158] vsize: 37900
Current children cumulated CPU time (s) 478.13
Current children cumulated vsize (Kb) 37900

[startup+490.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9169 0 0 0 48673 136 0 0 25 0 1 0 1801112658 39354368 9135 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 9608 9135 566 18 0 9590 0
[pid=13158] vsize: 38432
Current children cumulated CPU time (s) 488.09
Current children cumulated vsize (Kb) 38432

[startup+500.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9609 0 0 0 49666 140 0 0 25 0 1 0 1801112658 41230336 9575 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 10066 9575 566 18 0 10048 0
[pid=13158] vsize: 40264
Current children cumulated CPU time (s) 498.06
Current children cumulated vsize (Kb) 40264

[startup+510.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9855 0 0 0 50661 142 0 0 25 0 1 0 1801112658 42196992 9821 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 10302 9821 566 18 0 10284 0
[pid=13158] vsize: 41208
Current children cumulated CPU time (s) 508.03
Current children cumulated vsize (Kb) 41208

[startup+520.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9855 0 0 0 51653 144 0 0 25 0 1 0 1801112658 42196992 9821 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 10302 9821 566 18 0 10284 0
[pid=13158] vsize: 41208
Current children cumulated CPU time (s) 517.97
Current children cumulated vsize (Kb) 41208

[startup+530.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9855 0 0 0 52645 148 0 0 25 0 1 0 1801112658 42196992 9821 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 10302 9821 566 18 0 10284 0
[pid=13158] vsize: 41208
Current children cumulated CPU time (s) 527.93
Current children cumulated vsize (Kb) 41208

[startup+540.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9855 0 0 0 53638 151 0 0 25 0 1 0 1801112658 42196992 9821 4294967295 134512640 134578447 3221224624 3221223296 134523358 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 10302 9821 566 18 0 10284 0
[pid=13158] vsize: 41208
Current children cumulated CPU time (s) 537.89
Current children cumulated vsize (Kb) 41208

[startup+550.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9855 0 0 0 54631 154 0 0 25 0 1 0 1801112658 42196992 9821 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 10302 9821 566 18 0 10284 0
[pid=13158] vsize: 41208
Current children cumulated CPU time (s) 547.85
Current children cumulated vsize (Kb) 41208

[startup+560.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9855 0 0 0 55626 156 0 0 25 0 1 0 1801112658 42196992 9821 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 10302 9821 566 18 0 10284 0
[pid=13158] vsize: 41208
Current children cumulated CPU time (s) 557.82
Current children cumulated vsize (Kb) 41208

[startup+570.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9855 0 0 0 56621 158 0 0 25 0 1 0 1801112658 42196992 9821 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 10302 9821 566 18 0 10284 0
[pid=13158] vsize: 41208
Current children cumulated CPU time (s) 567.79
Current children cumulated vsize (Kb) 41208

[startup+580.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9855 0 0 0 57616 160 0 0 25 0 1 0 1801112658 42196992 9821 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 10302 9821 566 18 0 10284 0
[pid=13158] vsize: 41208
Current children cumulated CPU time (s) 577.76
Current children cumulated vsize (Kb) 41208

[startup+590.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9855 0 0 0 58611 161 0 0 25 0 1 0 1801112658 42196992 9821 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 10302 9821 566 18 0 10284 0
[pid=13158] vsize: 41208
Current children cumulated CPU time (s) 587.72
Current children cumulated vsize (Kb) 41208

[startup+600.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9862 0 0 0 59604 164 0 0 25 0 1 0 1801112658 42196992 9828 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 10302 9828 566 18 0 10284 0
[pid=13158] vsize: 41208
Current children cumulated CPU time (s) 597.68
Current children cumulated vsize (Kb) 41208

[startup+610.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9863 0 0 0 60599 166 0 0 25 0 1 0 1801112658 42196992 9829 4294967295 134512640 134578447 3221224624 3221223584 134559008 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 10302 9829 566 18 0 10284 0
[pid=13158] vsize: 41208
Current children cumulated CPU time (s) 607.65
Current children cumulated vsize (Kb) 41208

[startup+620.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9863 0 0 0 61591 168 0 0 25 0 1 0 1801112658 42196992 9829 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13158/statm): 10302 9829 566 18 0 10284 0
[pid=13158] vsize: 41208
Current children cumulated CPU time (s) 617.59
Current children cumulated vsize (Kb) 41208

[startup+630.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9863 0 0 0 62584 170 0 0 25 0 1 0 1801112658 42196992 9829 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 10302 9829 566 18 0 10284 0
[pid=13158] vsize: 41208
Current children cumulated CPU time (s) 627.54
Current children cumulated vsize (Kb) 41208

[startup+640.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9863 0 0 0 63579 172 0 0 25 0 1 0 1801112658 42196992 9829 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 10302 9829 566 18 0 10284 0
[pid=13158] vsize: 41208
Current children cumulated CPU time (s) 637.51
Current children cumulated vsize (Kb) 41208

[startup+650.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9863 0 0 0 64574 174 0 0 25 0 1 0 1801112658 42196992 9829 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 10302 9829 566 18 0 10284 0
[pid=13158] vsize: 41208
Current children cumulated CPU time (s) 647.48
Current children cumulated vsize (Kb) 41208

[startup+660.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9863 0 0 0 65570 176 0 0 25 0 1 0 1801112658 42196992 9829 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 10302 9829 566 18 0 10284 0
[pid=13158] vsize: 41208
Current children cumulated CPU time (s) 657.46
Current children cumulated vsize (Kb) 41208

[startup+670.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9863 0 0 0 66564 178 0 0 25 0 1 0 1801112658 42196992 9829 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 10302 9829 566 18 0 10284 0
[pid=13158] vsize: 41208
Current children cumulated CPU time (s) 667.42
Current children cumulated vsize (Kb) 41208

[startup+680.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9864 0 0 0 67561 179 0 0 25 0 1 0 1801112658 42196992 9830 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 10302 9830 566 18 0 10284 0
[pid=13158] vsize: 41208
Current children cumulated CPU time (s) 677.4
Current children cumulated vsize (Kb) 41208

[startup+690.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9864 0 0 0 68557 181 0 0 25 0 1 0 1801112658 42196992 9830 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 10302 9830 566 18 0 10284 0
[pid=13158] vsize: 41208
Current children cumulated CPU time (s) 687.38
Current children cumulated vsize (Kb) 41208

[startup+700.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9865 0 0 0 69553 183 0 0 25 0 1 0 1801112658 42196992 9831 4294967295 134512640 134578447 3221224624 3221222688 134532475 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 10302 9831 566 18 0 10284 0
[pid=13158] vsize: 41208
Current children cumulated CPU time (s) 697.36
Current children cumulated vsize (Kb) 41208

[startup+710.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 9908 0 0 0 70550 184 0 0 25 0 1 0 1801112658 42471424 9874 4294967295 134512640 134578447 3221224624 3221223288 1075291224 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 10369 9874 566 18 0 10351 0
[pid=13158] vsize: 41476
Current children cumulated CPU time (s) 707.34
Current children cumulated vsize (Kb) 41476

[startup+720.043 s]
Raw data (loadavg): 0.99 0.98 0.91 1/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) T 13157 13158 6872 0 -1 0 10145 0 0 0 71546 186 0 0 25 0 1 0 1801112658 43491328 10111 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13158/statm): 10618 10111 566 18 0 10600 0
[pid=13158] vsize: 42472
Current children cumulated CPU time (s) 717.32
Current children cumulated vsize (Kb) 42472

[startup+730.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10477 0 0 0 72539 189 0 0 25 0 1 0 1801112658 44711936 10443 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 10916 10443 566 18 0 10898 0
[pid=13158] vsize: 43664
Current children cumulated CPU time (s) 727.28
Current children cumulated vsize (Kb) 43664

[startup+740.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10824 0 0 0 73534 191 0 0 25 0 1 0 1801112658 46202880 10790 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13158/statm): 11280 10790 566 18 0 11262 0
[pid=13158] vsize: 45120
Current children cumulated CPU time (s) 737.25
Current children cumulated vsize (Kb) 45120

[startup+750.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10825 0 0 0 74530 193 0 0 25 0 1 0 1801112658 46202880 10791 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13158/statm): 11280 10791 566 18 0 11262 0
[pid=13158] vsize: 45120
Current children cumulated CPU time (s) 747.23
Current children cumulated vsize (Kb) 45120

[startup+760.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10825 0 0 0 75524 195 0 0 25 0 1 0 1801112658 46202880 10791 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13158/statm): 11280 10791 566 18 0 11262 0
[pid=13158] vsize: 45120
Current children cumulated CPU time (s) 757.19
Current children cumulated vsize (Kb) 45120

[startup+770.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10825 0 0 0 76518 196 0 0 25 0 1 0 1801112658 46202880 10791 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13158/statm): 11280 10791 566 18 0 11262 0
[pid=13158] vsize: 45120
Current children cumulated CPU time (s) 767.14
Current children cumulated vsize (Kb) 45120

[startup+780.046 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10825 0 0 0 77511 200 0 0 25 0 1 0 1801112658 46202880 10791 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13158/statm): 11280 10791 566 18 0 11262 0
[pid=13158] vsize: 45120
Current children cumulated CPU time (s) 777.11
Current children cumulated vsize (Kb) 45120

[startup+790.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10825 0 0 0 78504 203 0 0 25 0 1 0 1801112658 46202880 10791 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13158/statm): 11280 10791 566 18 0 11262 0
[pid=13158] vsize: 45120
Current children cumulated CPU time (s) 787.07
Current children cumulated vsize (Kb) 45120

[startup+800.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10825 0 0 0 79498 206 0 0 25 0 1 0 1801112658 46202880 10791 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13158/statm): 11280 10791 566 18 0 11262 0
[pid=13158] vsize: 45120
Current children cumulated CPU time (s) 797.04
Current children cumulated vsize (Kb) 45120

[startup+810.046 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10827 0 0 0 80491 209 0 0 25 0 1 0 1801112658 46202880 10793 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13158/statm): 11280 10793 566 18 0 11262 0
[pid=13158] vsize: 45120
Current children cumulated CPU time (s) 807
Current children cumulated vsize (Kb) 45120

[startup+820.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10827 0 0 0 81485 211 0 0 25 0 1 0 1801112658 46202880 10793 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13158/statm): 11280 10793 566 18 0 11262 0
[pid=13158] vsize: 45120
Current children cumulated CPU time (s) 816.96
Current children cumulated vsize (Kb) 45120

[startup+830.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10827 0 0 0 82479 214 0 0 25 0 1 0 1801112658 46202880 10793 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13158/statm): 11280 10793 566 18 0 11262 0
[pid=13158] vsize: 45120
Current children cumulated CPU time (s) 826.93
Current children cumulated vsize (Kb) 45120

[startup+840.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10827 0 0 0 83474 216 0 0 25 0 1 0 1801112658 46202880 10793 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13158/statm): 11280 10793 566 18 0 11262 0
[pid=13158] vsize: 45120
Current children cumulated CPU time (s) 836.9
Current children cumulated vsize (Kb) 45120

[startup+850.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10827 0 0 0 84468 219 0 0 25 0 1 0 1801112658 46202880 10793 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13158/statm): 11280 10793 566 18 0 11262 0
[pid=13158] vsize: 45120
Current children cumulated CPU time (s) 846.87
Current children cumulated vsize (Kb) 45120

[startup+860.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10827 0 0 0 85462 221 0 0 25 0 1 0 1801112658 46202880 10793 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13158/statm): 11280 10793 566 18 0 11262 0
[pid=13158] vsize: 45120
Current children cumulated CPU time (s) 856.83
Current children cumulated vsize (Kb) 45120

[startup+870.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10970 0 0 0 86455 224 0 0 25 0 1 0 1801112658 46739456 10936 4294967295 134512640 134578447 3221224624 3221223552 134516662 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 11411 10936 566 18 0 11393 0
[pid=13158] vsize: 45644
Current children cumulated CPU time (s) 866.79
Current children cumulated vsize (Kb) 45644

[startup+880.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10971 0 0 0 87450 226 0 0 23 0 1 0 1801112658 46739456 10937 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 11411 10937 566 18 0 11393 0
[pid=13158] vsize: 45644
Current children cumulated CPU time (s) 876.76
Current children cumulated vsize (Kb) 45644

[startup+890.052 s]
Raw data (loadavg): 1.06 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10971 0 0 0 88446 228 0 0 25 0 1 0 1801112658 46739456 10937 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 11411 10937 566 18 0 11393 0
[pid=13158] vsize: 45644
Current children cumulated CPU time (s) 886.74
Current children cumulated vsize (Kb) 45644

[startup+900.052 s]
Raw data (loadavg): 1.05 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10971 0 0 0 89441 230 0 0 25 0 1 0 1801112658 46739456 10937 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 11411 10937 566 18 0 11393 0
[pid=13158] vsize: 45644
Current children cumulated CPU time (s) 896.71
Current children cumulated vsize (Kb) 45644

[startup+910.052 s]
Raw data (loadavg): 1.04 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10971 0 0 0 90436 232 0 0 25 0 1 0 1801112658 46739456 10937 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 11411 10937 566 18 0 11393 0
[pid=13158] vsize: 45644
Current children cumulated CPU time (s) 906.68
Current children cumulated vsize (Kb) 45644

[startup+920.053 s]
Raw data (loadavg): 1.04 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10971 0 0 0 91429 235 0 0 25 0 1 0 1801112658 46739456 10937 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 11411 10937 566 18 0 11393 0
[pid=13158] vsize: 45644
Current children cumulated CPU time (s) 916.64
Current children cumulated vsize (Kb) 45644

[startup+930.053 s]
Raw data (loadavg): 1.03 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10971 0 0 0 92426 236 0 0 25 0 1 0 1801112658 46739456 10937 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 11411 10937 566 18 0 11393 0
[pid=13158] vsize: 45644
Current children cumulated CPU time (s) 926.62
Current children cumulated vsize (Kb) 45644

[startup+940.053 s]
Raw data (loadavg): 1.03 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10971 0 0 0 93423 237 0 0 25 0 1 0 1801112658 46739456 10937 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 11411 10937 566 18 0 11393 0
[pid=13158] vsize: 45644
Current children cumulated CPU time (s) 936.6
Current children cumulated vsize (Kb) 45644

[startup+950.053 s]
Raw data (loadavg): 1.02 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10971 0 0 0 94420 238 0 0 25 0 1 0 1801112658 46739456 10937 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 11411 10937 566 18 0 11393 0
[pid=13158] vsize: 45644
Current children cumulated CPU time (s) 946.58
Current children cumulated vsize (Kb) 45644

[startup+960.053 s]
Raw data (loadavg): 1.02 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10971 0 0 0 95415 239 0 0 25 0 1 0 1801112658 46739456 10937 4294967295 134512640 134578447 3221224624 3221223584 134559090 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 11411 10937 566 18 0 11393 0
[pid=13158] vsize: 45644
Current children cumulated CPU time (s) 956.54
Current children cumulated vsize (Kb) 45644

[startup+970.053 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10971 0 0 0 96411 241 0 0 25 0 1 0 1801112658 46739456 10937 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 11411 10937 566 18 0 11393 0
[pid=13158] vsize: 45644
Current children cumulated CPU time (s) 966.52
Current children cumulated vsize (Kb) 45644

[startup+980.053 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10971 0 0 0 97407 242 0 0 25 0 1 0 1801112658 46739456 10937 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 11411 10937 566 18 0 11393 0
[pid=13158] vsize: 45644
Current children cumulated CPU time (s) 976.49
Current children cumulated vsize (Kb) 45644

[startup+990.054 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10971 0 0 0 98403 243 0 0 25 0 1 0 1801112658 46739456 10937 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 11411 10937 566 18 0 11393 0
[pid=13158] vsize: 45644
Current children cumulated CPU time (s) 986.46
Current children cumulated vsize (Kb) 45644

[startup+1000.05 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 10971 0 0 0 99398 246 0 0 25 0 1 0 1801112658 46739456 10937 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 11411 10937 566 18 0 11393 0
[pid=13158] vsize: 45644
Current children cumulated CPU time (s) 996.44
Current children cumulated vsize (Kb) 45644

[startup+1010.05 s]
Raw data (loadavg): 1.01 1.00 0.91 1/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) T 13157 13158 6872 0 -1 0 11171 0 0 0 100393 248 0 0 25 0 1 0 1801112658 47558656 11137 4294967295 134512640 134578447 3221224624 3221222996 1075693979 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13158/statm): 11611 11137 566 18 0 11593 0
[pid=13158] vsize: 46444
Current children cumulated CPU time (s) 1006.41
Current children cumulated vsize (Kb) 46444

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 11511 0 0 0 101389 250 0 0 25 0 1 0 1801112658 49082368 11477 4294967295 134512640 134578447 3221224624 3221223376 134528938 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 11983 11477 566 18 0 11965 0
[pid=13158] vsize: 47932
Current children cumulated CPU time (s) 1016.39
Current children cumulated vsize (Kb) 47932

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 11858 0 0 0 102384 252 0 0 25 0 1 0 1801112658 50466816 11824 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 12321 11824 566 18 0 12303 0
[pid=13158] vsize: 49284
Current children cumulated CPU time (s) 1026.36
Current children cumulated vsize (Kb) 49284

[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 12147 0 0 0 103380 254 0 0 25 0 1 0 1801112658 51789824 12113 4294967295 134512640 134578447 3221224624 3221223552 134516681 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 12644 12113 566 18 0 12626 0
[pid=13158] vsize: 50576
Current children cumulated CPU time (s) 1036.34
Current children cumulated vsize (Kb) 50576

[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 12147 0 0 0 104374 256 0 0 25 0 1 0 1801112658 51789824 12113 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 12644 12113 566 18 0 12626 0
[pid=13158] vsize: 50576
Current children cumulated CPU time (s) 1046.3
Current children cumulated vsize (Kb) 50576

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 12147 0 0 0 105368 258 0 0 25 0 1 0 1801112658 51789824 12113 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 12644 12113 566 18 0 12626 0
[pid=13158] vsize: 50576
Current children cumulated CPU time (s) 1056.26
Current children cumulated vsize (Kb) 50576

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 12147 0 0 0 106363 259 0 0 25 0 1 0 1801112658 51789824 12113 4294967295 134512640 134578447 3221224624 3221223280 1075288240 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 12644 12113 566 18 0 12626 0
[pid=13158] vsize: 50576
Current children cumulated CPU time (s) 1066.22
Current children cumulated vsize (Kb) 50576

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) T 13157 13158 6872 0 -1 0 12147 0 0 0 107358 262 0 0 25 0 1 0 1801112658 51789824 12113 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13158/statm): 12644 12113 566 18 0 12626 0
[pid=13158] vsize: 50576
Current children cumulated CPU time (s) 1076.2
Current children cumulated vsize (Kb) 50576

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 12148 0 0 0 108353 263 0 0 25 0 1 0 1801112658 51789824 12114 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 12644 12114 566 18 0 12626 0
[pid=13158] vsize: 50576
Current children cumulated CPU time (s) 1086.16
Current children cumulated vsize (Kb) 50576

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 12148 0 0 0 109349 265 0 0 25 0 1 0 1801112658 51789824 12114 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 12644 12114 566 18 0 12626 0
[pid=13158] vsize: 50576
Current children cumulated CPU time (s) 1096.14
Current children cumulated vsize (Kb) 50576

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 12149 0 0 0 110344 267 0 0 25 0 1 0 1801112658 51789824 12115 4294967295 134512640 134578447 3221224624 3221223504 134528126 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 12644 12115 566 18 0 12626 0
[pid=13158] vsize: 50576
Current children cumulated CPU time (s) 1106.11
Current children cumulated vsize (Kb) 50576

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 12149 0 0 0 111340 268 0 0 25 0 1 0 1801112658 51789824 12115 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 12644 12115 566 18 0 12626 0
[pid=13158] vsize: 50576
Current children cumulated CPU time (s) 1116.08
Current children cumulated vsize (Kb) 50576

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 12149 0 0 0 112336 269 0 0 25 0 1 0 1801112658 51789824 12115 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 12644 12115 566 18 0 12626 0
[pid=13158] vsize: 50576
Current children cumulated CPU time (s) 1126.05
Current children cumulated vsize (Kb) 50576

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 12149 0 0 0 113331 271 0 0 25 0 1 0 1801112658 51789824 12115 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 12644 12115 566 18 0 12626 0
[pid=13158] vsize: 50576
Current children cumulated CPU time (s) 1136.02
Current children cumulated vsize (Kb) 50576

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 12149 0 0 0 114327 273 0 0 25 0 1 0 1801112658 51789824 12115 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 12644 12115 566 18 0 12626 0
[pid=13158] vsize: 50576
Current children cumulated CPU time (s) 1146
Current children cumulated vsize (Kb) 50576

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 12149 0 0 0 115322 274 0 0 25 0 1 0 1801112658 51789824 12115 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 12644 12115 566 18 0 12626 0
[pid=13158] vsize: 50576
Current children cumulated CPU time (s) 1155.96
Current children cumulated vsize (Kb) 50576

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 12149 0 0 0 116317 276 0 0 25 0 1 0 1801112658 51789824 12115 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 12644 12115 566 18 0 12626 0
[pid=13158] vsize: 50576
Current children cumulated CPU time (s) 1165.93
Current children cumulated vsize (Kb) 50576

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) T 13157 13158 6872 0 -1 0 12149 0 0 0 117313 277 0 0 25 0 1 0 1801112658 51789824 12115 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13158/statm): 12644 12115 566 18 0 12626 0
[pid=13158] vsize: 50576
Current children cumulated CPU time (s) 1175.9
Current children cumulated vsize (Kb) 50576

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 13158
Raw data (/proc/13158/stat): 13158 (Pueblo) R 13157 13158 6872 0 -1 0 12149 0 0 0 118309 279 0 0 25 0 1 0 1801112658 51789824 12115 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13158/statm): 12644 12115 566 18 0 12626 0
[pid=13158] vsize: 50576
Current children cumulated CPU time (s) 1185.88
Current children cumulated vsize (Kb) 50576
One traced child (pid=13158) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1193.25
CPU time (s): 1189.08
CPU user time (s): 1186.24
CPU system time (s): 2.83257
CPU usage (%): 99.6499
Max. virtual memory (cumulated for all children) (Kb): 50576

Verifier Data

Verifier:	OK	-12