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-4.opb
MD5SUM615f734b8951521e89cf22f42d6d26cc
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 benchmark502.615
Number of variables450
Total number of constraints17831
Number of constraints which are clauses17831
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 7869

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        882800 kB
Buffers:         32496 kB
Cached:          90448 kB
SwapCached:        612 kB
Active:          42308 kB
Inactive:        83208 kB
HighTotal:      131008 kB
HighFree:        36428 kB
LowTotal:       903652 kB
LowFree:        846372 kB
SwapTotal:     2097892 kB
SwapFree:      2096676 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            20772 kB
Committed_AS:    64284 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 14:58:50 (client local time) WITH STATUS 10 IN 1189.05 SECONDS
stats: 5031 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: 17832
c total time              : 1189.02 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/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859346612 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 41 3 40 18 0 23 0
[pid=22554] vsize: 164
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libstdc++.so.5
open syscall for file tls/i686/libstdc++.so.5
open syscall for file tls/mmx/libstdc++.so.5
open syscall for file tls/libstdc++.so.5
open syscall for file i686/mmx/libstdc++.so.5
open syscall for file i686/libstdc++.so.5
open syscall for file mmx/libstdc++.so.5
open syscall for file libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/libstdc++.so.5
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++.so.5
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6

[startup+10.0039 s]
Raw data (loadavg): 0.93 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 1364 0 0 0 981 9 0 0 25 0 1 0 1859346612 7163904 1330 4294967295 134512640 134578447 3221224624 3221223504 134518932 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 1749 1330 566 18 0 1731 0
[pid=22554] vsize: 6996
Current children cumulated CPU time (s) 9.9
Current children cumulated vsize (Kb) 6996

[startup+20.0045 s]
Raw data (loadavg): 0.94 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 2065 0 0 0 1969 15 0 0 25 0 1 0 1859346612 9986048 2031 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 2438 2031 566 18 0 2420 0
[pid=22554] vsize: 9752
Current children cumulated CPU time (s) 19.84
Current children cumulated vsize (Kb) 9752

[startup+30.0051 s]
Raw data (loadavg): 0.95 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 2744 0 0 0 2957 20 0 0 25 0 1 0 1859346612 12832768 2710 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 3133 2710 566 18 0 3115 0
[pid=22554] vsize: 12532
Current children cumulated CPU time (s) 29.77
Current children cumulated vsize (Kb) 12532

[startup+40.0057 s]
Raw data (loadavg): 0.96 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 3320 0 0 0 3949 24 0 0 25 0 1 0 1859346612 15257600 3286 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 3725 3286 566 18 0 3707 0
[pid=22554] vsize: 14900
Current children cumulated CPU time (s) 39.73
Current children cumulated vsize (Kb) 14900

[startup+50.0053 s]
Raw data (loadavg): 0.96 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 3878 0 0 0 4940 29 0 0 25 0 1 0 1859346612 17436672 3844 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 4257 3844 566 18 0 4239 0
[pid=22554] vsize: 17028
Current children cumulated CPU time (s) 49.69
Current children cumulated vsize (Kb) 17028

[startup+60.0059 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 4333 0 0 0 5932 32 0 0 25 0 1 0 1859346612 19333120 4299 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 4720 4299 566 18 0 4702 0
[pid=22554] vsize: 18880
Current children cumulated CPU time (s) 59.64
Current children cumulated vsize (Kb) 18880

[startup+70.0065 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 4887 0 0 0 6924 36 0 0 25 0 1 0 1859346612 21630976 4853 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 5281 4853 566 18 0 5263 0
[pid=22554] vsize: 21124
Current children cumulated CPU time (s) 69.6
Current children cumulated vsize (Kb) 21124

[startup+80.0071 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 5423 0 0 0 7918 39 0 0 25 0 1 0 1859346612 23953408 5389 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 5848 5389 566 18 0 5830 0
[pid=22554] vsize: 23392
Current children cumulated CPU time (s) 79.57
Current children cumulated vsize (Kb) 23392

[startup+90.0067 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 5899 0 0 0 8910 43 0 0 25 0 1 0 1859346612 25878528 5865 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 6318 5865 566 18 0 6300 0
[pid=22554] vsize: 25272
Current children cumulated CPU time (s) 89.53
Current children cumulated vsize (Kb) 25272

[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 6460 0 0 0 9900 47 0 0 25 0 1 0 1859346612 28176384 6426 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 6879 6426 566 18 0 6861 0
[pid=22554] vsize: 27516
Current children cumulated CPU time (s) 99.47
Current children cumulated vsize (Kb) 27516

[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 6939 0 0 0 10894 51 0 0 25 0 1 0 1859346612 30212096 6905 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 7376 6905 566 18 0 7358 0
[pid=22554] vsize: 29504
Current children cumulated CPU time (s) 109.45
Current children cumulated vsize (Kb) 29504

[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 7525 0 0 0 11884 55 0 0 25 0 1 0 1859346612 32542720 7491 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 7945 7491 566 18 0 7927 0
[pid=22554] vsize: 31780
Current children cumulated CPU time (s) 119.39
Current children cumulated vsize (Kb) 31780

[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 7538 0 0 0 12878 57 0 0 25 0 1 0 1859346612 32673792 7504 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 7977 7504 566 18 0 7959 0
[pid=22554] vsize: 31908
Current children cumulated CPU time (s) 129.35
Current children cumulated vsize (Kb) 31908

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 7539 0 0 0 13870 60 0 0 25 0 1 0 1859346612 32673792 7505 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 7977 7505 566 18 0 7959 0
[pid=22554] vsize: 31908
Current children cumulated CPU time (s) 139.3
Current children cumulated vsize (Kb) 31908

[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 7539 0 0 0 14866 62 0 0 25 0 1 0 1859346612 32673792 7505 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 7977 7505 566 18 0 7959 0
[pid=22554] vsize: 31908
Current children cumulated CPU time (s) 149.28
Current children cumulated vsize (Kb) 31908

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 7539 0 0 0 15861 63 0 0 25 0 1 0 1859346612 32673792 7505 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 7977 7505 566 18 0 7959 0
[pid=22554] vsize: 31908
Current children cumulated CPU time (s) 159.24
Current children cumulated vsize (Kb) 31908

[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 7539 0 0 0 16855 66 0 0 25 0 1 0 1859346612 32673792 7505 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 7977 7505 566 18 0 7959 0
[pid=22554] vsize: 31908
Current children cumulated CPU time (s) 169.21
Current children cumulated vsize (Kb) 31908

[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 7539 0 0 0 17852 67 0 0 25 0 1 0 1859346612 32673792 7505 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 7977 7505 566 18 0 7959 0
[pid=22554] vsize: 31908
Current children cumulated CPU time (s) 179.19
Current children cumulated vsize (Kb) 31908

[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 7539 0 0 0 18846 70 0 0 25 0 1 0 1859346612 32673792 7505 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 7977 7505 566 18 0 7959 0
[pid=22554] vsize: 31908
Current children cumulated CPU time (s) 189.16
Current children cumulated vsize (Kb) 31908

[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 7605 0 0 0 19838 74 0 0 25 0 1 0 1859346612 32956416 7571 4294967295 134512640 134578447 3221224624 3221221776 134532475 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 8046 7571 566 18 0 8028 0
[pid=22554] vsize: 32184
Current children cumulated CPU time (s) 199.12
Current children cumulated vsize (Kb) 32184

[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 8046 0 0 0 20829 78 0 0 25 0 1 0 1859346612 34713600 8012 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 8475 8012 566 18 0 8457 0
[pid=22554] vsize: 33900
Current children cumulated CPU time (s) 209.07
Current children cumulated vsize (Kb) 33900

[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 8513 0 0 0 21822 81 0 0 25 0 1 0 1859346612 36605952 8479 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 8937 8479 566 18 0 8919 0
[pid=22554] vsize: 35748
Current children cumulated CPU time (s) 219.03
Current children cumulated vsize (Kb) 35748

[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 8972 0 0 0 22814 84 0 0 25 0 1 0 1859346612 38535168 8938 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 9408 8938 566 18 0 9390 0
[pid=22554] vsize: 37632
Current children cumulated CPU time (s) 228.98
Current children cumulated vsize (Kb) 37632

[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9007 0 0 0 23810 86 0 0 25 0 1 0 1859346612 38670336 8973 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 9441 8973 566 18 0 9423 0
[pid=22554] vsize: 37764
Current children cumulated CPU time (s) 238.96
Current children cumulated vsize (Kb) 37764

[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9007 0 0 0 24805 88 0 0 25 0 1 0 1859346612 38670336 8973 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 9441 8973 566 18 0 9423 0
[pid=22554] vsize: 37764
Current children cumulated CPU time (s) 248.93
Current children cumulated vsize (Kb) 37764

[startup+260.011 s]
Raw data (loadavg): 1.07 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9007 0 0 0 25797 91 0 0 25 0 1 0 1859346612 38670336 8973 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 9441 8973 566 18 0 9423 0
[pid=22554] vsize: 37764
Current children cumulated CPU time (s) 258.88
Current children cumulated vsize (Kb) 37764

[startup+270.01 s]
Raw data (loadavg): 1.06 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9007 0 0 0 26792 93 0 0 25 0 1 0 1859346612 38670336 8973 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 9441 8973 566 18 0 9423 0
[pid=22554] vsize: 37764
Current children cumulated CPU time (s) 268.85
Current children cumulated vsize (Kb) 37764

[startup+280.011 s]
Raw data (loadavg): 1.05 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9007 0 0 0 27788 94 0 0 25 0 1 0 1859346612 38670336 8973 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 9441 8973 566 18 0 9423 0
[pid=22554] vsize: 37764
Current children cumulated CPU time (s) 278.82
Current children cumulated vsize (Kb) 37764

[startup+290.011 s]
Raw data (loadavg): 1.04 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9007 0 0 0 28783 96 0 0 25 0 1 0 1859346612 38670336 8973 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 9441 8973 566 18 0 9423 0
[pid=22554] vsize: 37764
Current children cumulated CPU time (s) 288.79
Current children cumulated vsize (Kb) 37764

[startup+300.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9007 0 0 0 29777 98 0 0 25 0 1 0 1859346612 38670336 8973 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 9441 8973 566 18 0 9423 0
[pid=22554] vsize: 37764
Current children cumulated CPU time (s) 298.75
Current children cumulated vsize (Kb) 37764

[startup+310.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9007 0 0 0 30772 100 0 0 25 0 1 0 1859346612 38670336 8973 4294967295 134512640 134578447 3221224624 3221223376 134528938 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 9441 8973 566 18 0 9423 0
[pid=22554] vsize: 37764
Current children cumulated CPU time (s) 308.72
Current children cumulated vsize (Kb) 37764

[startup+320.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9007 0 0 0 31769 102 0 0 25 0 1 0 1859346612 38670336 8973 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 9441 8973 566 18 0 9423 0
[pid=22554] vsize: 37764
Current children cumulated CPU time (s) 318.71
Current children cumulated vsize (Kb) 37764

[startup+330.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9007 0 0 0 32765 102 0 0 25 0 1 0 1859346612 38670336 8973 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 9441 8973 566 18 0 9423 0
[pid=22554] vsize: 37764
Current children cumulated CPU time (s) 328.67
Current children cumulated vsize (Kb) 37764

[startup+340.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9118 0 0 0 33761 103 0 0 25 0 1 0 1859346612 39219200 9084 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 9575 9084 566 18 0 9557 0
[pid=22554] vsize: 38300
Current children cumulated CPU time (s) 338.64
Current children cumulated vsize (Kb) 38300

[startup+350.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9118 0 0 0 34755 106 0 0 25 0 1 0 1859346612 39219200 9084 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 9575 9084 566 18 0 9557 0
[pid=22554] vsize: 38300
Current children cumulated CPU time (s) 348.61
Current children cumulated vsize (Kb) 38300

[startup+360.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9118 0 0 0 35750 108 0 0 25 0 1 0 1859346612 39219200 9084 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 9575 9084 566 18 0 9557 0
[pid=22554] vsize: 38300
Current children cumulated CPU time (s) 358.58
Current children cumulated vsize (Kb) 38300

[startup+370.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9118 0 0 0 36746 110 0 0 25 0 1 0 1859346612 39219200 9084 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 9575 9084 566 18 0 9557 0
[pid=22554] vsize: 38300
Current children cumulated CPU time (s) 368.56
Current children cumulated vsize (Kb) 38300

[startup+380.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9118 0 0 0 37741 112 0 0 25 0 1 0 1859346612 39219200 9084 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 9575 9084 566 18 0 9557 0
[pid=22554] vsize: 38300
Current children cumulated CPU time (s) 378.53
Current children cumulated vsize (Kb) 38300

[startup+390.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9118 0 0 0 38735 114 0 0 25 0 1 0 1859346612 39219200 9084 4294967295 134512640 134578447 3221224624 3221223476 134555875 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 9575 9084 566 18 0 9557 0
[pid=22554] vsize: 38300
Current children cumulated CPU time (s) 388.49
Current children cumulated vsize (Kb) 38300

[startup+400.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9118 0 0 0 39728 117 0 0 25 0 1 0 1859346612 39219200 9084 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 9575 9084 566 18 0 9557 0
[pid=22554] vsize: 38300
Current children cumulated CPU time (s) 398.45
Current children cumulated vsize (Kb) 38300

[startup+410.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9118 0 0 0 40725 118 0 0 25 0 1 0 1859346612 39219200 9084 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 9575 9084 566 18 0 9557 0
[pid=22554] vsize: 38300
Current children cumulated CPU time (s) 408.43
Current children cumulated vsize (Kb) 38300

[startup+420.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9118 0 0 0 41722 118 0 0 25 0 1 0 1859346612 39219200 9084 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 9575 9084 566 18 0 9557 0
[pid=22554] vsize: 38300
Current children cumulated CPU time (s) 418.4
Current children cumulated vsize (Kb) 38300

[startup+430.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9118 0 0 0 42718 121 0 0 25 0 1 0 1859346612 39219200 9084 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 9575 9084 566 18 0 9557 0
[pid=22554] vsize: 38300
Current children cumulated CPU time (s) 428.39
Current children cumulated vsize (Kb) 38300

[startup+440.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9118 0 0 0 43714 122 0 0 25 0 1 0 1859346612 39219200 9084 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 9575 9084 566 18 0 9557 0
[pid=22554] vsize: 38300
Current children cumulated CPU time (s) 438.36
Current children cumulated vsize (Kb) 38300

[startup+450.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9138 0 0 0 44711 123 0 0 25 0 1 0 1859346612 39219200 9104 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 9575 9104 566 18 0 9557 0
[pid=22554] vsize: 38300
Current children cumulated CPU time (s) 448.34
Current children cumulated vsize (Kb) 38300

[startup+460.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9382 0 0 0 45706 125 0 0 25 0 1 0 1859346612 40292352 9348 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 9837 9348 566 18 0 9819 0
[pid=22554] vsize: 39348
Current children cumulated CPU time (s) 458.31
Current children cumulated vsize (Kb) 39348

[startup+470.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9623 0 0 0 46702 126 0 0 25 0 1 0 1859346612 41242624 9589 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 10069 9589 566 18 0 10051 0
[pid=22554] vsize: 40276
Current children cumulated CPU time (s) 468.28
Current children cumulated vsize (Kb) 40276

[startup+480.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 9950 0 0 0 47695 130 0 0 25 0 1 0 1859346612 42598400 9916 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 10400 9916 566 18 0 10382 0
[pid=22554] vsize: 41600
Current children cumulated CPU time (s) 478.25
Current children cumulated vsize (Kb) 41600

[startup+490.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 10112 0 0 0 48692 131 0 0 25 0 1 0 1859346612 43282432 10078 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 10567 10078 566 18 0 10549 0
[pid=22554] vsize: 42268
Current children cumulated CPU time (s) 488.23
Current children cumulated vsize (Kb) 42268

[startup+500.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 10112 0 0 0 49687 132 0 0 25 0 1 0 1859346612 43282432 10078 4294967295 134512640 134578447 3221224624 3221223296 134523328 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 10567 10078 566 18 0 10549 0
[pid=22554] vsize: 42268
Current children cumulated CPU time (s) 498.19
Current children cumulated vsize (Kb) 42268

[startup+510.013 s]
Raw data (loadavg): 1.00 0.99 0.91 3/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 10112 0 0 0 50680 135 0 0 25 0 1 0 1859346612 43282432 10078 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 10567 10078 566 18 0 10549 0
[pid=22554] vsize: 42268
Current children cumulated CPU time (s) 508.15
Current children cumulated vsize (Kb) 42268

[startup+520.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 10113 0 0 0 51674 138 0 0 25 0 1 0 1859346612 43282432 10079 4294967295 134512640 134578447 3221224624 3221221776 134532461 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 10567 10079 566 18 0 10549 0
[pid=22554] vsize: 42268
Current children cumulated CPU time (s) 518.12
Current children cumulated vsize (Kb) 42268

[startup+530.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 10113 0 0 0 52669 139 0 0 25 0 1 0 1859346612 43282432 10079 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 10567 10079 566 18 0 10549 0
[pid=22554] vsize: 42268
Current children cumulated CPU time (s) 528.08
Current children cumulated vsize (Kb) 42268

[startup+540.015 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) T 22553 22554 19316 0 -1 0 10113 0 0 0 53664 141 0 0 25 0 1 0 1859346612 43282432 10079 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/22554/statm): 10567 10079 566 18 0 10549 0
[pid=22554] vsize: 42268
Current children cumulated CPU time (s) 538.05
Current children cumulated vsize (Kb) 42268

[startup+550.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 10113 0 0 0 54659 142 0 0 25 0 1 0 1859346612 43282432 10079 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 10567 10079 566 18 0 10549 0
[pid=22554] vsize: 42268
Current children cumulated CPU time (s) 548.01
Current children cumulated vsize (Kb) 42268

[startup+560.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 10113 0 0 0 55653 144 0 0 25 0 1 0 1859346612 43282432 10079 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 10567 10079 566 18 0 10549 0
[pid=22554] vsize: 42268
Current children cumulated CPU time (s) 557.97
Current children cumulated vsize (Kb) 42268

[startup+570.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 10114 0 0 0 56650 146 0 0 25 0 1 0 1859346612 43282432 10080 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 10567 10080 566 18 0 10549 0
[pid=22554] vsize: 42268
Current children cumulated CPU time (s) 567.96
Current children cumulated vsize (Kb) 42268

[startup+580.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 10114 0 0 0 57644 148 0 0 25 0 1 0 1859346612 43282432 10080 4294967295 134512640 134578447 3221224624 3221223536 134556778 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 10567 10080 566 18 0 10549 0
[pid=22554] vsize: 42268
Current children cumulated CPU time (s) 577.92
Current children cumulated vsize (Kb) 42268

[startup+590.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 10114 0 0 0 58638 150 0 0 25 0 1 0 1859346612 43282432 10080 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 10567 10080 566 18 0 10549 0
[pid=22554] vsize: 42268
Current children cumulated CPU time (s) 587.88
Current children cumulated vsize (Kb) 42268

[startup+600.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 10285 0 0 0 59632 153 0 0 25 0 1 0 1859346612 43958272 10251 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 10732 10251 566 18 0 10714 0
[pid=22554] vsize: 42928
Current children cumulated CPU time (s) 597.85
Current children cumulated vsize (Kb) 42928

[startup+610.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 10628 0 0 0 60627 155 0 0 25 0 1 0 1859346612 45330432 10594 4294967295 134512640 134578447 3221224624 3221223520 134520028 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 11067 10594 566 18 0 11049 0
[pid=22554] vsize: 44268
Current children cumulated CPU time (s) 607.82
Current children cumulated vsize (Kb) 44268

[startup+620.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 10896 0 0 0 61620 158 0 0 25 0 1 0 1859346612 46657536 10862 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 11391 10862 566 18 0 11373 0
[pid=22554] vsize: 45564
Current children cumulated CPU time (s) 617.78
Current children cumulated vsize (Kb) 45564

[startup+630.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11058 0 0 0 62616 160 0 0 25 0 1 0 1859346612 47333376 11024 4294967295 134512640 134578447 3221224624 3221223228 1075288477 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 11556 11024 566 18 0 11538 0
[pid=22554] vsize: 46224
Current children cumulated CPU time (s) 627.76
Current children cumulated vsize (Kb) 46224

[startup+640.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11058 0 0 0 63611 161 0 0 25 0 1 0 1859346612 47333376 11024 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 11556 11024 566 18 0 11538 0
[pid=22554] vsize: 46224
Current children cumulated CPU time (s) 637.72
Current children cumulated vsize (Kb) 46224

[startup+650.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11058 0 0 0 64606 163 0 0 25 0 1 0 1859346612 47333376 11024 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 11556 11024 566 18 0 11538 0
[pid=22554] vsize: 46224
Current children cumulated CPU time (s) 647.69
Current children cumulated vsize (Kb) 46224

[startup+660.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11058 0 0 0 65599 165 0 0 25 0 1 0 1859346612 47333376 11024 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 11556 11024 566 18 0 11538 0
[pid=22554] vsize: 46224
Current children cumulated CPU time (s) 657.64
Current children cumulated vsize (Kb) 46224

[startup+670.016 s]
Raw data (loadavg): 1.00 0.99 0.91 3/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11058 0 0 0 66593 168 0 0 25 0 1 0 1859346612 47333376 11024 4294967295 134512640 134578447 3221224624 3221223456 134528488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 11556 11024 566 18 0 11538 0
[pid=22554] vsize: 46224
Current children cumulated CPU time (s) 667.61
Current children cumulated vsize (Kb) 46224

[startup+680.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11058 0 0 0 67590 169 0 0 25 0 1 0 1859346612 47333376 11024 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 11556 11024 566 18 0 11538 0
[pid=22554] vsize: 46224
Current children cumulated CPU time (s) 677.59
Current children cumulated vsize (Kb) 46224

[startup+690.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11059 0 0 0 68585 170 0 0 25 0 1 0 1859346612 47333376 11025 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 11556 11025 566 18 0 11538 0
[pid=22554] vsize: 46224
Current children cumulated CPU time (s) 687.55
Current children cumulated vsize (Kb) 46224

[startup+700.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11059 0 0 0 69581 172 0 0 25 0 1 0 1859346612 47333376 11025 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 11556 11025 566 18 0 11538 0
[pid=22554] vsize: 46224
Current children cumulated CPU time (s) 697.53
Current children cumulated vsize (Kb) 46224

[startup+710.017 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) T 22553 22554 19316 0 -1 0 11059 0 0 0 70576 173 0 0 25 0 1 0 1859346612 47333376 11025 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/22554/statm): 11556 11025 566 18 0 11538 0
[pid=22554] vsize: 46224
Current children cumulated CPU time (s) 707.49
Current children cumulated vsize (Kb) 46224

[startup+720.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11059 0 0 0 71572 175 0 0 25 0 1 0 1859346612 47333376 11025 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 11556 11025 566 18 0 11538 0
[pid=22554] vsize: 46224
Current children cumulated CPU time (s) 717.47
Current children cumulated vsize (Kb) 46224

[startup+730.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11059 0 0 0 72566 177 0 0 25 0 1 0 1859346612 47333376 11025 4294967295 134512640 134578447 3221224624 3221222384 134532461 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 11556 11025 566 18 0 11538 0
[pid=22554] vsize: 46224
Current children cumulated CPU time (s) 727.43
Current children cumulated vsize (Kb) 46224

[startup+740.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11059 0 0 0 73562 179 0 0 25 0 1 0 1859346612 47333376 11025 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 11556 11025 566 18 0 11538 0
[pid=22554] vsize: 46224
Current children cumulated CPU time (s) 737.41
Current children cumulated vsize (Kb) 46224

[startup+750.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11059 0 0 0 74559 180 0 0 25 0 1 0 1859346612 47333376 11025 4294967295 134512640 134578447 3221224624 3221223472 134556386 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 11556 11025 566 18 0 11538 0
[pid=22554] vsize: 46224
Current children cumulated CPU time (s) 747.39
Current children cumulated vsize (Kb) 46224

[startup+760.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11059 0 0 0 75555 182 0 0 25 0 1 0 1859346612 47333376 11025 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 11556 11025 566 18 0 11538 0
[pid=22554] vsize: 46224
Current children cumulated CPU time (s) 757.37
Current children cumulated vsize (Kb) 46224

[startup+770.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11088 0 0 0 76551 183 0 0 25 0 1 0 1859346612 47333376 11054 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 11556 11054 566 18 0 11538 0
[pid=22554] vsize: 46224
Current children cumulated CPU time (s) 767.34
Current children cumulated vsize (Kb) 46224

[startup+780.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11153 0 0 0 77546 186 0 0 25 0 1 0 1859346612 47607808 11119 4294967295 134512640 134578447 3221224624 3221223504 134518855 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 11623 11119 566 18 0 11605 0
[pid=22554] vsize: 46492
Current children cumulated CPU time (s) 777.32
Current children cumulated vsize (Kb) 46492

[startup+790.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11153 0 0 0 78540 187 0 0 25 0 1 0 1859346612 47607808 11119 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 11623 11119 566 18 0 11605 0
[pid=22554] vsize: 46492
Current children cumulated CPU time (s) 787.27
Current children cumulated vsize (Kb) 46492

[startup+800.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11153 0 0 0 79537 189 0 0 25 0 1 0 1859346612 47607808 11119 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 11623 11119 566 18 0 11605 0
[pid=22554] vsize: 46492
Current children cumulated CPU time (s) 797.26
Current children cumulated vsize (Kb) 46492

[startup+810.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11153 0 0 0 80530 192 0 0 25 0 1 0 1859346612 47607808 11119 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 11623 11119 566 18 0 11605 0
[pid=22554] vsize: 46492
Current children cumulated CPU time (s) 807.22
Current children cumulated vsize (Kb) 46492

[startup+820.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11153 0 0 0 81525 194 0 0 25 0 1 0 1859346612 47607808 11119 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 11623 11119 566 18 0 11605 0
[pid=22554] vsize: 46492
Current children cumulated CPU time (s) 817.19
Current children cumulated vsize (Kb) 46492

[startup+830.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11153 0 0 0 82519 196 0 0 25 0 1 0 1859346612 47607808 11119 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 11623 11119 566 18 0 11605 0
[pid=22554] vsize: 46492
Current children cumulated CPU time (s) 827.15
Current children cumulated vsize (Kb) 46492

[startup+840.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11153 0 0 0 83516 197 0 0 25 0 1 0 1859346612 47607808 11119 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 11623 11119 566 18 0 11605 0
[pid=22554] vsize: 46492
Current children cumulated CPU time (s) 837.13
Current children cumulated vsize (Kb) 46492

[startup+850.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11153 0 0 0 84510 200 0 0 25 0 1 0 1859346612 47607808 11119 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 11623 11119 566 18 0 11605 0
[pid=22554] vsize: 46492
Current children cumulated CPU time (s) 847.1
Current children cumulated vsize (Kb) 46492

[startup+860.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11153 0 0 0 85507 201 0 0 25 0 1 0 1859346612 47607808 11119 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 11623 11119 566 18 0 11605 0
[pid=22554] vsize: 46492
Current children cumulated CPU time (s) 857.08
Current children cumulated vsize (Kb) 46492

[startup+870.018 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) T 22553 22554 19316 0 -1 0 11155 0 0 0 86503 202 0 0 25 0 1 0 1859346612 47607808 11121 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/22554/statm): 11623 11121 566 18 0 11605 0
[pid=22554] vsize: 46492
Current children cumulated CPU time (s) 867.05
Current children cumulated vsize (Kb) 46492

[startup+880.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11155 0 0 0 87497 204 0 0 25 0 1 0 1859346612 47607808 11121 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 11623 11121 566 18 0 11605 0
[pid=22554] vsize: 46492
Current children cumulated CPU time (s) 877.01
Current children cumulated vsize (Kb) 46492

[startup+890.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11155 0 0 0 88491 206 0 0 25 0 1 0 1859346612 47607808 11121 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 11623 11121 566 18 0 11605 0
[pid=22554] vsize: 46492
Current children cumulated CPU time (s) 886.97
Current children cumulated vsize (Kb) 46492

[startup+900.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11155 0 0 0 89486 208 0 0 25 0 1 0 1859346612 47607808 11121 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 11623 11121 566 18 0 11605 0
[pid=22554] vsize: 46492
Current children cumulated CPU time (s) 896.94
Current children cumulated vsize (Kb) 46492

[startup+910.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11178 0 0 0 90482 210 0 0 25 0 1 0 1859346612 47742976 11144 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 11656 11144 566 18 0 11638 0
[pid=22554] vsize: 46624
Current children cumulated CPU time (s) 906.92
Current children cumulated vsize (Kb) 46624

[startup+920.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11523 0 0 0 91476 213 0 0 25 0 1 0 1859346612 49278976 11489 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 12031 11489 566 18 0 12013 0
[pid=22554] vsize: 48124
Current children cumulated CPU time (s) 916.89
Current children cumulated vsize (Kb) 48124

[startup+930.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 11851 0 0 0 92472 215 0 0 25 0 1 0 1859346612 50495488 11817 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12328 11817 566 18 0 12310 0
[pid=22554] vsize: 49312
Current children cumulated CPU time (s) 926.87
Current children cumulated vsize (Kb) 49312

[startup+940.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12079 0 0 0 93468 217 0 0 25 0 1 0 1859346612 51441664 12045 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12559 12045 566 18 0 12541 0
[pid=22554] vsize: 50236
Current children cumulated CPU time (s) 936.85
Current children cumulated vsize (Kb) 50236

[startup+950.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 94465 218 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 946.83
Current children cumulated vsize (Kb) 50664

[startup+960.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 95461 220 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 956.81
Current children cumulated vsize (Kb) 50664

[startup+970.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 96456 223 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 966.79
Current children cumulated vsize (Kb) 50664

[startup+980.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 97451 225 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 976.76
Current children cumulated vsize (Kb) 50664

[startup+990.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 98447 226 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 986.73
Current children cumulated vsize (Kb) 50664

[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 99440 230 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 996.7
Current children cumulated vsize (Kb) 50664

[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 100436 232 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 1006.68
Current children cumulated vsize (Kb) 50664

[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 101431 234 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 1016.65
Current children cumulated vsize (Kb) 50664

[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 102427 236 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 1026.63
Current children cumulated vsize (Kb) 50664

[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 103422 238 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 1036.6
Current children cumulated vsize (Kb) 50664

[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 104419 240 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 1046.59
Current children cumulated vsize (Kb) 50664

[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 105414 242 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 1056.56
Current children cumulated vsize (Kb) 50664

[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 106407 244 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 1066.51
Current children cumulated vsize (Kb) 50664

[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 107403 246 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 1076.49
Current children cumulated vsize (Kb) 50664

[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 108397 248 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 1086.45
Current children cumulated vsize (Kb) 50664

[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 109393 250 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 1096.43
Current children cumulated vsize (Kb) 50664

[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 110388 252 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 1106.4
Current children cumulated vsize (Kb) 50664

[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 111383 254 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221223476 134555904 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 1116.37
Current children cumulated vsize (Kb) 50664

[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 112379 255 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 1126.34
Current children cumulated vsize (Kb) 50664

[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 113373 258 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 1136.31
Current children cumulated vsize (Kb) 50664

[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 114368 260 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 1146.28
Current children cumulated vsize (Kb) 50664

[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 115364 262 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221223536 134556775 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 1156.26
Current children cumulated vsize (Kb) 50664

[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 116360 264 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221221344 134533098 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 1166.24
Current children cumulated vsize (Kb) 50664

[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 117355 266 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 1176.21
Current children cumulated vsize (Kb) 50664

[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22554
Raw data (/proc/22554/stat): 22554 (Pueblo) R 22553 22554 19316 0 -1 0 12144 0 0 0 118350 268 0 0 25 0 1 0 1859346612 51879936 12110 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22554/statm): 12666 12110 566 18 0 12648 0
[pid=22554] vsize: 50664
Current children cumulated CPU time (s) 1186.18
Current children cumulated vsize (Kb) 50664
One traced child (pid=22554) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1192.9
CPU time (s): 1189.05
CPU user time (s): 1186.33
CPU system time (s): 2.71559
CPU usage (%): 99.6767
Max. virtual memory (cumulated for all children) (Kb): 50664

Verifier Data

Verifier:	OK	-11