Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Nameweb/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
MD5SUMe3892e1941a878802a8ccbbd36201a02
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
Optimality of the best value was proved NO
Number of terms in the objective function 595
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 595
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 595
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.03
Number of variables595
Total number of constraints27842
Number of constraints which are clauses27842
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 7874

Launcher Data

LAUNCH ON wulflinc11 THE 2005-09-20 14:41:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5036 boxname=wulflinc11 idbench=348 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  e3892e1941a878802a8ccbbd36201a02  /oldhome/oroussel/tmp/wulflinc11/normalized-frb35-17-4.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5036
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        846428 kB
Buffers:         33704 kB
Cached:         127900 kB
SwapCached:        916 kB
Active:          73476 kB
Inactive:        90704 kB
HighTotal:      131008 kB
HighFree:         7952 kB
LowTotal:       903652 kB
LowFree:        838476 kB
SwapTotal:     2097136 kB
SwapFree:      2095640 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5684 kB
Slab:            18520 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 15:00:59 (client local time) WITH STATUS 10 IN 1189.07 SECONDS
stats: 5036 0 1189.07 10

Solver Data

c Pueblo version 1.3 (July 2005)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c starting to Solve
c #variables read: 595 - #constraints read: 27843
c total time              : 1189 s
s SATISFIABLE
v -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 C394 -C393 -C392 -C391 -C390 C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 C32 -C31 -C30 -C29 -C28 -C27 -C26 -C25 -C24 -C23 -C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 -C11 -C10 -C9 C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1801103249 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5727/statm): 41 3 40 18 0 23 0
[pid=5727] 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.0041 s]
Raw data (loadavg): 0.93 0.96 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 1481 0 0 0 978 10 0 0 24 0 1 0 1801103249 7700480 1447 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 1880 1447 566 18 0 1862 0
[pid=5727] vsize: 7520
Current children cumulated CPU time (s) 9.88
Current children cumulated vsize (Kb) 7520

[startup+20.0048 s]
Raw data (loadavg): 0.94 0.96 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 2196 0 0 0 1970 13 0 0 25 0 1 0 1801103249 10579968 2162 4294967295 134512640 134578447 3221224624 3221223296 134523315 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 2583 2162 566 18 0 2565 0
[pid=5727] vsize: 10332
Current children cumulated CPU time (s) 19.83
Current children cumulated vsize (Kb) 10332

[startup+30.0056 s]
Raw data (loadavg): 0.95 0.96 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 2946 0 0 0 2959 17 0 0 25 0 1 0 1801103249 13611008 2912 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 3323 2912 566 18 0 3305 0
[pid=5727] vsize: 13292
Current children cumulated CPU time (s) 29.76
Current children cumulated vsize (Kb) 13292

[startup+40.0054 s]
Raw data (loadavg): 0.96 0.96 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 3621 0 0 0 3952 21 0 0 25 0 1 0 1801103249 16359424 3587 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 3994 3587 566 18 0 3976 0
[pid=5727] vsize: 15976
Current children cumulated CPU time (s) 39.73
Current children cumulated vsize (Kb) 15976

[startup+50.0052 s]
Raw data (loadavg): 0.96 0.96 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 4288 0 0 0 4942 25 0 0 25 0 1 0 1801103249 19091456 4254 4294967295 134512640 134578447 3221224624 3221223296 134523360 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 4661 4254 566 18 0 4643 0
[pid=5727] vsize: 18644
Current children cumulated CPU time (s) 49.67
Current children cumulated vsize (Kb) 18644

[startup+60.006 s]
Raw data (loadavg): 0.97 0.96 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 5029 0 0 0 5934 28 0 0 25 0 1 0 1801103249 22138880 4995 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 5405 4995 566 18 0 5387 0
[pid=5727] vsize: 21620
Current children cumulated CPU time (s) 59.62
Current children cumulated vsize (Kb) 21620

[startup+70.0058 s]
Raw data (loadavg): 0.97 0.96 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 5598 0 0 0 6928 31 0 0 25 0 1 0 1801103249 24489984 5564 4294967295 134512640 134578447 3221224624 3221223296 134523382 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 5979 5564 566 18 0 5961 0
[pid=5727] vsize: 23916
Current children cumulated CPU time (s) 69.59
Current children cumulated vsize (Kb) 23916

[startup+80.0056 s]
Raw data (loadavg): 0.98 0.96 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 6092 0 0 0 7923 33 0 0 25 0 1 0 1801103249 26521600 6058 4294967295 134512640 134578447 3221224624 3221223472 134556004 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 6475 6058 566 18 0 6457 0
[pid=5727] vsize: 25900
Current children cumulated CPU time (s) 79.56
Current children cumulated vsize (Kb) 25900

[startup+90.0064 s]
Raw data (loadavg): 0.98 0.96 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 6692 0 0 0 8916 36 0 0 25 0 1 0 1801103249 28995584 6658 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 7079 6658 566 18 0 7061 0
[pid=5727] vsize: 28316
Current children cumulated CPU time (s) 89.52
Current children cumulated vsize (Kb) 28316

[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 7259 0 0 0 9911 39 0 0 25 0 1 0 1801103249 31436800 7225 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 7675 7225 566 18 0 7657 0
[pid=5727] vsize: 30700
Current children cumulated CPU time (s) 99.5
Current children cumulated vsize (Kb) 30700

[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 7730 0 0 0 10905 41 0 0 25 0 1 0 1801103249 33300480 7696 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 8130 7696 566 18 0 8112 0
[pid=5727] vsize: 32520
Current children cumulated CPU time (s) 109.46
Current children cumulated vsize (Kb) 32520

[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 8422 0 0 0 11897 45 0 0 25 0 1 0 1801103249 36147200 8388 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 8825 8388 566 18 0 8807 0
[pid=5727] vsize: 35300
Current children cumulated CPU time (s) 119.42
Current children cumulated vsize (Kb) 35300

[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 9075 0 0 0 12891 48 0 0 25 0 1 0 1801103249 38846464 9041 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 9484 9041 566 18 0 9466 0
[pid=5727] vsize: 37936
Current children cumulated CPU time (s) 129.39
Current children cumulated vsize (Kb) 37936

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 9692 0 0 0 13884 51 0 0 25 0 1 0 1801103249 41312256 9658 4294967295 134512640 134578447 3221224624 3221223296 134522203 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 10086 9658 566 18 0 10068 0
[pid=5727] vsize: 40344
Current children cumulated CPU time (s) 139.35
Current children cumulated vsize (Kb) 40344

[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 10350 0 0 0 14878 54 0 0 25 0 1 0 1801103249 44048384 10316 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 10754 10316 566 18 0 10736 0
[pid=5727] vsize: 43016
Current children cumulated CPU time (s) 149.32
Current children cumulated vsize (Kb) 43016

[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 10857 0 0 0 15873 57 0 0 25 0 1 0 1801103249 46080000 10823 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 11250 10823 566 18 0 11232 0
[pid=5727] vsize: 45000
Current children cumulated CPU time (s) 159.3
Current children cumulated vsize (Kb) 45000

[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 11273 0 0 0 16867 60 0 0 25 0 1 0 1801103249 47861760 11239 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 11685 11239 566 18 0 11667 0
[pid=5727] vsize: 46740
Current children cumulated CPU time (s) 169.27
Current children cumulated vsize (Kb) 46740

[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 11730 0 0 0 17861 63 0 0 25 0 1 0 1801103249 49803264 11696 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 12159 11696 566 18 0 12141 0
[pid=5727] vsize: 48636
Current children cumulated CPU time (s) 179.24
Current children cumulated vsize (Kb) 48636

[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 12062 0 0 0 18856 66 0 0 25 0 1 0 1801103249 51253248 12028 4294967295 134512640 134578447 3221224624 3221222368 134532402 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 12513 12028 566 18 0 12495 0
[pid=5727] vsize: 50052
Current children cumulated CPU time (s) 189.22
Current children cumulated vsize (Kb) 50052

[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 12682 0 0 0 19849 68 0 0 25 0 1 0 1801103249 53706752 12648 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 13112 12648 566 18 0 13094 0
[pid=5727] vsize: 52448
Current children cumulated CPU time (s) 199.17
Current children cumulated vsize (Kb) 52448

[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 13316 0 0 0 20841 72 0 0 25 0 1 0 1801103249 56303616 13282 4294967295 134512640 134578447 3221224624 3221223376 134528860 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 13746 13282 566 18 0 13728 0
[pid=5727] vsize: 54984
Current children cumulated CPU time (s) 209.13
Current children cumulated vsize (Kb) 54984

[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 13618 0 0 0 21838 74 0 0 25 0 1 0 1801103249 57544704 13584 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 14049 13584 566 18 0 14031 0
[pid=5727] vsize: 56196
Current children cumulated CPU time (s) 219.12
Current children cumulated vsize (Kb) 56196

[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 14044 0 0 0 22831 76 0 0 25 0 1 0 1801103249 59289600 14010 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 14475 14010 566 18 0 14457 0
[pid=5727] vsize: 57900
Current children cumulated CPU time (s) 229.07
Current children cumulated vsize (Kb) 57900

[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 14496 0 0 0 23827 78 0 0 25 0 1 0 1801103249 61300736 14462 4294967295 134512640 134578447 3221224624 3221223504 134518981 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 14966 14462 566 18 0 14948 0
[pid=5727] vsize: 59864
Current children cumulated CPU time (s) 239.05
Current children cumulated vsize (Kb) 59864

[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 14973 0 0 0 24822 80 0 0 25 0 1 0 1801103249 63176704 14939 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 15424 14939 566 18 0 15406 0
[pid=5727] vsize: 61696
Current children cumulated CPU time (s) 249.02
Current children cumulated vsize (Kb) 61696

[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 15460 0 0 0 25816 83 0 0 25 0 1 0 1801103249 65183744 15426 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 15914 15426 566 18 0 15896 0
[pid=5727] vsize: 63656
Current children cumulated CPU time (s) 258.99
Current children cumulated vsize (Kb) 63656

[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 15851 0 0 0 26811 85 0 0 25 0 1 0 1801103249 66842624 15817 4294967295 134512640 134578447 3221224624 3221223504 134518959 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 16319 15817 566 18 0 16301 0
[pid=5727] vsize: 65276
Current children cumulated CPU time (s) 268.96
Current children cumulated vsize (Kb) 65276

[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 16372 0 0 0 27803 89 0 0 25 0 1 0 1801103249 69111808 16338 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 16873 16338 566 18 0 16855 0
[pid=5727] vsize: 67492
Current children cumulated CPU time (s) 278.92
Current children cumulated vsize (Kb) 67492

[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 16880 0 0 0 28798 92 0 0 25 0 1 0 1801103249 71135232 16846 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 17367 16846 566 18 0 17349 0
[pid=5727] vsize: 69468
Current children cumulated CPU time (s) 288.9
Current children cumulated vsize (Kb) 69468

[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 17370 0 0 0 29792 94 0 0 25 0 1 0 1801103249 73170944 17336 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 17864 17336 566 18 0 17846 0
[pid=5727] vsize: 71456
Current children cumulated CPU time (s) 298.86
Current children cumulated vsize (Kb) 71456

[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 17924 0 0 0 30784 98 0 0 25 0 1 0 1801103249 75472896 17890 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 18426 17890 566 18 0 18408 0
[pid=5727] vsize: 73704
Current children cumulated CPU time (s) 308.82
Current children cumulated vsize (Kb) 73704

[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 18168 0 0 0 31781 100 0 0 25 0 1 0 1801103249 76419072 18134 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 18657 18134 566 18 0 18639 0
[pid=5727] vsize: 74628
Current children cumulated CPU time (s) 318.81
Current children cumulated vsize (Kb) 74628

[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 18427 0 0 0 32777 101 0 0 25 0 1 0 1801103249 77516800 18393 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 18925 18393 566 18 0 18907 0
[pid=5727] vsize: 75700
Current children cumulated CPU time (s) 328.78
Current children cumulated vsize (Kb) 75700

[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 18728 0 0 0 33774 103 0 0 25 0 1 0 1801103249 78753792 18694 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19227 18694 566 18 0 19209 0
[pid=5727] vsize: 76908
Current children cumulated CPU time (s) 338.77
Current children cumulated vsize (Kb) 76908

[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19011 0 0 0 34771 104 0 0 25 0 1 0 1801103249 79966208 18977 4294967295 134512640 134578447 3221224624 3221221792 134532420 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19523 18977 566 18 0 19505 0
[pid=5727] vsize: 78092
Current children cumulated CPU time (s) 348.75
Current children cumulated vsize (Kb) 78092

[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19011 0 0 0 35769 105 0 0 25 0 1 0 1801103249 79937536 18977 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19516 18977 566 18 0 19498 0
[pid=5727] vsize: 78064
Current children cumulated CPU time (s) 358.74
Current children cumulated vsize (Kb) 78064

[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19011 0 0 0 36765 107 0 0 25 0 1 0 1801103249 79937536 18977 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19516 18977 566 18 0 19498 0
[pid=5727] vsize: 78064
Current children cumulated CPU time (s) 368.72
Current children cumulated vsize (Kb) 78064

[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19011 0 0 0 37763 108 0 0 25 0 1 0 1801103249 79937536 18977 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19516 18977 566 18 0 19498 0
[pid=5727] vsize: 78064
Current children cumulated CPU time (s) 378.71
Current children cumulated vsize (Kb) 78064

[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19011 0 0 0 38759 109 0 0 25 0 1 0 1801103249 79937536 18977 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19516 18977 566 18 0 19498 0
[pid=5727] vsize: 78064
Current children cumulated CPU time (s) 388.68
Current children cumulated vsize (Kb) 78064

[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19011 0 0 0 39756 111 0 0 25 0 1 0 1801103249 79937536 18977 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19516 18977 566 18 0 19498 0
[pid=5727] vsize: 78064
Current children cumulated CPU time (s) 398.67
Current children cumulated vsize (Kb) 78064

[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19011 0 0 0 40753 112 0 0 25 0 1 0 1801103249 79937536 18977 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5727/statm): 19516 18977 566 18 0 19498 0
[pid=5727] vsize: 78064
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (Kb) 78064

[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19011 0 0 0 41747 114 0 0 25 0 1 0 1801103249 79937536 18977 4294967295 134512640 134578447 3221224624 3221223476 134555913 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19516 18977 566 18 0 19498 0
[pid=5727] vsize: 78064
Current children cumulated CPU time (s) 418.61
Current children cumulated vsize (Kb) 78064

[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19011 0 0 0 42743 116 0 0 25 0 1 0 1801103249 79937536 18977 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19516 18977 566 18 0 19498 0
[pid=5727] vsize: 78064
Current children cumulated CPU time (s) 428.59
Current children cumulated vsize (Kb) 78064

[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19011 0 0 0 43739 117 0 0 25 0 1 0 1801103249 79937536 18977 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19516 18977 566 18 0 19498 0
[pid=5727] vsize: 78064
Current children cumulated CPU time (s) 438.56
Current children cumulated vsize (Kb) 78064

[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19011 0 0 0 44734 120 0 0 25 0 1 0 1801103249 79937536 18977 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19516 18977 566 18 0 19498 0
[pid=5727] vsize: 78064
Current children cumulated CPU time (s) 448.54
Current children cumulated vsize (Kb) 78064

[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19011 0 0 0 45728 121 0 0 25 0 1 0 1801103249 79937536 18977 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19516 18977 566 18 0 19498 0
[pid=5727] vsize: 78064
Current children cumulated CPU time (s) 458.49
Current children cumulated vsize (Kb) 78064

[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19011 0 0 0 46724 123 0 0 25 0 1 0 1801103249 79937536 18977 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19516 18977 566 18 0 19498 0
[pid=5727] vsize: 78064
Current children cumulated CPU time (s) 468.47
Current children cumulated vsize (Kb) 78064

[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19011 0 0 0 47719 125 0 0 25 0 1 0 1801103249 79937536 18977 4294967295 134512640 134578447 3221224624 3221223504 134518956 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19516 18977 566 18 0 19498 0
[pid=5727] vsize: 78064
Current children cumulated CPU time (s) 478.44
Current children cumulated vsize (Kb) 78064

[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19011 0 0 0 48715 126 0 0 25 0 1 0 1801103249 79937536 18977 4294967295 134512640 134578447 3221224624 3221223488 134517739 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19516 18977 566 18 0 19498 0
[pid=5727] vsize: 78064
Current children cumulated CPU time (s) 488.41
Current children cumulated vsize (Kb) 78064

[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19011 0 0 0 49708 129 0 0 25 0 1 0 1801103249 79937536 18977 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19516 18977 566 18 0 19498 0
[pid=5727] vsize: 78064
Current children cumulated CPU time (s) 498.37
Current children cumulated vsize (Kb) 78064

[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19011 0 0 0 50704 131 0 0 25 0 1 0 1801103249 79937536 18977 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19516 18977 566 18 0 19498 0
[pid=5727] vsize: 78064
Current children cumulated CPU time (s) 508.35
Current children cumulated vsize (Kb) 78064

[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19011 0 0 0 51699 133 0 0 25 0 1 0 1801103249 79937536 18977 4294967295 134512640 134578447 3221224624 3221223296 134523436 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19516 18977 566 18 0 19498 0
[pid=5727] vsize: 78064
Current children cumulated CPU time (s) 518.32
Current children cumulated vsize (Kb) 78064

[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19011 0 0 0 52696 134 0 0 25 0 1 0 1801103249 79937536 18977 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19516 18977 566 18 0 19498 0
[pid=5727] vsize: 78064
Current children cumulated CPU time (s) 528.3
Current children cumulated vsize (Kb) 78064

[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19011 0 0 0 53694 135 0 0 25 0 1 0 1801103249 79937536 18977 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19516 18977 566 18 0 19498 0
[pid=5727] vsize: 78064
Current children cumulated CPU time (s) 538.29
Current children cumulated vsize (Kb) 78064

[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19011 0 0 0 54691 136 0 0 25 0 1 0 1801103249 79937536 18977 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19516 18977 566 18 0 19498 0
[pid=5727] vsize: 78064
Current children cumulated CPU time (s) 548.27
Current children cumulated vsize (Kb) 78064

[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19011 0 0 0 55688 137 0 0 25 0 1 0 1801103249 79937536 18977 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19516 18977 566 18 0 19498 0
[pid=5727] vsize: 78064
Current children cumulated CPU time (s) 558.25
Current children cumulated vsize (Kb) 78064

[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19011 0 0 0 56685 138 0 0 25 0 1 0 1801103249 79937536 18977 4294967295 134512640 134578447 3221224624 3221223296 134523378 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19516 18977 566 18 0 19498 0
[pid=5727] vsize: 78064
Current children cumulated CPU time (s) 568.23
Current children cumulated vsize (Kb) 78064

[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19011 0 0 0 57683 139 0 0 25 0 1 0 1801103249 79937536 18977 4294967295 134512640 134578447 3221224624 3221223504 134518939 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19516 18977 566 18 0 19498 0
[pid=5727] vsize: 78064
Current children cumulated CPU time (s) 578.22
Current children cumulated vsize (Kb) 78064

[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19245 0 0 0 58677 141 0 0 25 0 1 0 1801103249 80896000 19211 4294967295 134512640 134578447 3221224624 3221223504 134531689 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 19750 19211 566 18 0 19732 0
[pid=5727] vsize: 79000
Current children cumulated CPU time (s) 588.18
Current children cumulated vsize (Kb) 79000

[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 19704 0 0 0 59672 144 0 0 25 0 1 0 1801103249 82796544 19670 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 20214 19670 566 18 0 20196 0
[pid=5727] vsize: 80856
Current children cumulated CPU time (s) 598.16
Current children cumulated vsize (Kb) 80856

[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20125 0 0 0 60666 146 0 0 25 0 1 0 1801103249 84553728 20091 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 20643 20091 566 18 0 20625 0
[pid=5727] vsize: 82572
Current children cumulated CPU time (s) 608.12
Current children cumulated vsize (Kb) 82572

[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20555 0 0 0 61662 149 0 0 25 0 1 0 1801103249 86216704 20521 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21049 20521 566 18 0 21031 0
[pid=5727] vsize: 84196
Current children cumulated CPU time (s) 618.11
Current children cumulated vsize (Kb) 84196

[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20741 0 0 0 62659 149 0 0 25 0 1 0 1801103249 87011328 20707 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21243 20707 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 628.08
Current children cumulated vsize (Kb) 84972

[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20741 0 0 0 63654 152 0 0 25 0 1 0 1801103249 87011328 20707 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21243 20707 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 638.06
Current children cumulated vsize (Kb) 84972

[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20741 0 0 0 64647 155 0 0 25 0 1 0 1801103249 87011328 20707 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5727/statm): 21243 20707 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 648.02
Current children cumulated vsize (Kb) 84972

[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20741 0 0 0 65642 157 0 0 25 0 1 0 1801103249 87011328 20707 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21243 20707 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 657.99
Current children cumulated vsize (Kb) 84972

[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20741 0 0 0 66636 158 0 0 25 0 1 0 1801103249 87011328 20707 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21243 20707 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 667.94
Current children cumulated vsize (Kb) 84972

[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20741 0 0 0 67632 160 0 0 25 0 1 0 1801103249 87011328 20707 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21243 20707 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 677.92
Current children cumulated vsize (Kb) 84972

[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20741 0 0 0 68628 162 0 0 25 0 1 0 1801103249 87011328 20707 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21243 20707 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 687.9
Current children cumulated vsize (Kb) 84972

[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20741 0 0 0 69622 164 0 0 25 0 1 0 1801103249 87011328 20707 4294967295 134512640 134578447 3221224624 3221223504 134518939 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21243 20707 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 697.86
Current children cumulated vsize (Kb) 84972

[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20741 0 0 0 70618 165 0 0 25 0 1 0 1801103249 87011328 20707 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21243 20707 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 707.83
Current children cumulated vsize (Kb) 84972

[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20741 0 0 0 71613 167 0 0 25 0 1 0 1801103249 87011328 20707 4294967295 134512640 134578447 3221224624 3221223476 134555910 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21243 20707 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 717.8
Current children cumulated vsize (Kb) 84972

[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) T 5726 5727 9854 0 -1 0 20741 0 0 0 72609 168 0 0 25 0 1 0 1801103249 87011328 20707 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21243 20707 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 727.77
Current children cumulated vsize (Kb) 84972

[startup+740.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20741 0 0 0 73604 171 0 0 25 0 1 0 1801103249 87011328 20707 4294967295 134512640 134578447 3221224624 3221223504 134518959 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21243 20707 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 737.75
Current children cumulated vsize (Kb) 84972

[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20741 0 0 0 74598 173 0 0 25 0 1 0 1801103249 87011328 20707 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21243 20707 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 747.71
Current children cumulated vsize (Kb) 84972

[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20741 0 0 0 75593 175 0 0 25 0 1 0 1801103249 87011328 20707 4294967295 134512640 134578447 3221224624 3221223476 134555737 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21243 20707 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 757.68
Current children cumulated vsize (Kb) 84972

[startup+770.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20741 0 0 0 76589 176 0 0 25 0 1 0 1801103249 87011328 20707 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21243 20707 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 767.65
Current children cumulated vsize (Kb) 84972

[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20741 0 0 0 77585 178 0 0 25 0 1 0 1801103249 87011328 20707 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21243 20707 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 777.63
Current children cumulated vsize (Kb) 84972

[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20741 0 0 0 78581 179 0 0 25 0 1 0 1801103249 87011328 20707 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21243 20707 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 787.6
Current children cumulated vsize (Kb) 84972

[startup+800.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20741 0 0 0 79577 180 0 0 25 0 1 0 1801103249 87011328 20707 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21243 20707 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 797.57
Current children cumulated vsize (Kb) 84972

[startup+810.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20741 0 0 0 80573 182 0 0 25 0 1 0 1801103249 87011328 20707 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21243 20707 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 807.55
Current children cumulated vsize (Kb) 84972

[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20742 0 0 0 81569 184 0 0 25 0 1 0 1801103249 87011328 20708 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21243 20708 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 817.53
Current children cumulated vsize (Kb) 84972

[startup+830.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20742 0 0 0 82566 185 0 0 25 0 1 0 1801103249 87011328 20708 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21243 20708 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 827.51
Current children cumulated vsize (Kb) 84972

[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20742 0 0 0 83561 187 0 0 25 0 1 0 1801103249 87011328 20708 4294967295 134512640 134578447 3221224624 3221223228 1075289107 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21243 20708 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 837.48
Current children cumulated vsize (Kb) 84972

[startup+850.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20742 0 0 0 84557 189 0 0 25 0 1 0 1801103249 87011328 20708 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21243 20708 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 847.46
Current children cumulated vsize (Kb) 84972

[startup+860.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20742 0 0 0 85553 191 0 0 25 0 1 0 1801103249 87011328 20708 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21243 20708 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 857.44
Current children cumulated vsize (Kb) 84972

[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 20742 0 0 0 86548 192 0 0 25 0 1 0 1801103249 87011328 20708 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21243 20708 566 18 0 21225 0
[pid=5727] vsize: 84972
Current children cumulated CPU time (s) 867.4
Current children cumulated vsize (Kb) 84972

[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 21030 0 0 0 87543 194 0 0 25 0 1 0 1801103249 88186880 20996 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 21530 20996 566 18 0 21512 0
[pid=5727] vsize: 86120
Current children cumulated CPU time (s) 877.37
Current children cumulated vsize (Kb) 86120

[startup+890.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 21684 0 0 0 88536 197 0 0 25 0 1 0 1801103249 90890240 21650 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 22190 21650 566 18 0 22172 0
[pid=5727] vsize: 88760
Current children cumulated CPU time (s) 887.33
Current children cumulated vsize (Kb) 88760

[startup+900.037 s]
Raw data (loadavg): 0.99 0.97 0.95 1/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) T 5726 5727 9854 0 -1 0 22163 0 0 0 89528 200 0 0 25 0 1 0 1801103249 92786688 22129 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5727/statm): 22653 22129 566 18 0 22635 0
[pid=5727] vsize: 90612
Current children cumulated CPU time (s) 897.28
Current children cumulated vsize (Kb) 90612

[startup+910.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 22625 0 0 0 90522 203 0 0 25 0 1 0 1801103249 94830592 22591 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 23152 22591 566 18 0 23134 0
[pid=5727] vsize: 92608
Current children cumulated CPU time (s) 907.25
Current children cumulated vsize (Kb) 92608

[startup+920.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 23008 0 0 0 91517 205 0 0 25 0 1 0 1801103249 96559104 22974 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 23574 22974 566 18 0 23556 0
[pid=5727] vsize: 94296
Current children cumulated CPU time (s) 917.22
Current children cumulated vsize (Kb) 94296

[startup+930.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 23359 0 0 0 92513 207 0 0 25 0 1 0 1801103249 97943552 23325 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 23912 23325 566 18 0 23894 0
[pid=5727] vsize: 95648
Current children cumulated CPU time (s) 927.2
Current children cumulated vsize (Kb) 95648

[startup+940.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 23739 0 0 0 93508 209 0 0 25 0 1 0 1801103249 99540992 23705 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 24302 23705 566 18 0 24284 0
[pid=5727] vsize: 97208
Current children cumulated CPU time (s) 937.17
Current children cumulated vsize (Kb) 97208

[startup+950.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24054 0 0 0 94504 212 0 0 25 0 1 0 1801103249 100773888 24020 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 24603 24020 566 18 0 24585 0
[pid=5727] vsize: 98412
Current children cumulated CPU time (s) 947.16
Current children cumulated vsize (Kb) 98412

[startup+960.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24463 0 0 0 95499 214 0 0 25 0 1 0 1801103249 102494208 24429 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 25023 24429 566 18 0 25005 0
[pid=5727] vsize: 100092
Current children cumulated CPU time (s) 957.13
Current children cumulated vsize (Kb) 100092

[startup+970.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24570 0 0 0 96496 215 0 0 25 0 1 0 1801103249 102920192 24536 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 25127 24536 566 18 0 25109 0
[pid=5727] vsize: 100508
Current children cumulated CPU time (s) 967.11
Current children cumulated vsize (Kb) 100508

[startup+980.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24570 0 0 0 97491 217 0 0 25 0 1 0 1801103249 102920192 24536 4294967295 134512640 134578447 3221224624 3221223504 134518981 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 25127 24536 566 18 0 25109 0
[pid=5727] vsize: 100508
Current children cumulated CPU time (s) 977.08
Current children cumulated vsize (Kb) 100508

[startup+990.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24570 0 0 0 98486 219 0 0 25 0 1 0 1801103249 102920192 24536 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 25127 24536 566 18 0 25109 0
[pid=5727] vsize: 100508
Current children cumulated CPU time (s) 987.05
Current children cumulated vsize (Kb) 100508

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24570 0 0 0 99480 222 0 0 25 0 1 0 1801103249 102920192 24536 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 25127 24536 566 18 0 25109 0
[pid=5727] vsize: 100508
Current children cumulated CPU time (s) 997.02
Current children cumulated vsize (Kb) 100508

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24570 0 0 0 100476 223 0 0 25 0 1 0 1801103249 102920192 24536 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 25127 24536 566 18 0 25109 0
[pid=5727] vsize: 100508
Current children cumulated CPU time (s) 1006.99
Current children cumulated vsize (Kb) 100508

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24570 0 0 0 101474 224 0 0 25 0 1 0 1801103249 102920192 24536 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 25127 24536 566 18 0 25109 0
[pid=5727] vsize: 100508
Current children cumulated CPU time (s) 1016.98
Current children cumulated vsize (Kb) 100508

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24570 0 0 0 102471 226 0 0 25 0 1 0 1801103249 102920192 24536 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 25127 24536 566 18 0 25109 0
[pid=5727] vsize: 100508
Current children cumulated CPU time (s) 1026.97
Current children cumulated vsize (Kb) 100508

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24570 0 0 0 103468 226 0 0 25 0 1 0 1801103249 102920192 24536 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 25127 24536 566 18 0 25109 0
[pid=5727] vsize: 100508
Current children cumulated CPU time (s) 1036.94
Current children cumulated vsize (Kb) 100508

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24570 0 0 0 104465 228 0 0 25 0 1 0 1801103249 102920192 24536 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 25127 24536 566 18 0 25109 0
[pid=5727] vsize: 100508
Current children cumulated CPU time (s) 1046.93
Current children cumulated vsize (Kb) 100508

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24570 0 0 0 105464 229 0 0 25 0 1 0 1801103249 102920192 24536 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 25127 24536 566 18 0 25109 0
[pid=5727] vsize: 100508
Current children cumulated CPU time (s) 1056.93
Current children cumulated vsize (Kb) 100508

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24570 0 0 0 106460 230 0 0 25 0 1 0 1801103249 102920192 24536 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 25127 24536 566 18 0 25109 0
[pid=5727] vsize: 100508
Current children cumulated CPU time (s) 1066.9
Current children cumulated vsize (Kb) 100508

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24570 0 0 0 107457 231 0 0 25 0 1 0 1801103249 102920192 24536 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 25127 24536 566 18 0 25109 0
[pid=5727] vsize: 100508
Current children cumulated CPU time (s) 1076.88
Current children cumulated vsize (Kb) 100508

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24570 0 0 0 108454 232 0 0 25 0 1 0 1801103249 102920192 24536 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 25127 24536 566 18 0 25109 0
[pid=5727] vsize: 100508
Current children cumulated CPU time (s) 1086.86
Current children cumulated vsize (Kb) 100508

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24570 0 0 0 109449 234 0 0 25 0 1 0 1801103249 102920192 24536 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 25127 24536 566 18 0 25109 0
[pid=5727] vsize: 100508
Current children cumulated CPU time (s) 1096.83
Current children cumulated vsize (Kb) 100508

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24570 0 0 0 110447 235 0 0 25 0 1 0 1801103249 102920192 24536 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 25127 24536 566 18 0 25109 0
[pid=5727] vsize: 100508
Current children cumulated CPU time (s) 1106.82
Current children cumulated vsize (Kb) 100508

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24570 0 0 0 111443 236 0 0 25 0 1 0 1801103249 102920192 24536 4294967295 134512640 134578447 3221224624 3221223524 134556724 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 25127 24536 566 18 0 25109 0
[pid=5727] vsize: 100508
Current children cumulated CPU time (s) 1116.79
Current children cumulated vsize (Kb) 100508

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 5727
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24570 0 0 0 112439 238 0 0 25 0 1 0 1801103249 102920192 24536 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 25127 24536 566 18 0 25109 0
[pid=5727] vsize: 100508
Current children cumulated CPU time (s) 1126.77
Current children cumulated vsize (Kb) 100508

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.95 3/58 5749
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24570 0 0 0 113436 240 0 0 25 0 1 0 1801103249 102920192 24536 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 25127 24536 566 18 0 25109 0
[pid=5727] vsize: 100508
Current children cumulated CPU time (s) 1136.76
Current children cumulated vsize (Kb) 100508

[startup+1150.05 s]
Raw data (loadavg): 1.07 0.99 0.96 2/56 5782
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24570 0 0 0 114423 248 0 0 25 0 1 0 1801103249 102920192 24536 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 25127 24536 566 18 0 25109 0
[pid=5727] vsize: 100508
Current children cumulated CPU time (s) 1146.71
Current children cumulated vsize (Kb) 100508

[startup+1160.05 s]
Raw data (loadavg): 1.06 0.99 0.96 2/56 5782
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24570 0 0 0 115419 250 0 0 25 0 1 0 1801103249 102920192 24536 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 25127 24536 566 18 0 25109 0
[pid=5727] vsize: 100508
Current children cumulated CPU time (s) 1156.69
Current children cumulated vsize (Kb) 100508

[startup+1170.05 s]
Raw data (loadavg): 1.05 0.99 0.96 2/56 5782
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24570 0 0 0 116415 252 0 0 25 0 1 0 1801103249 102920192 24536 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 25127 24536 566 18 0 25109 0
[pid=5727] vsize: 100508
Current children cumulated CPU time (s) 1166.67
Current children cumulated vsize (Kb) 100508

[startup+1180.05 s]
Raw data (loadavg): 1.04 0.99 0.96 2/56 5782
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24570 0 0 0 117411 253 0 0 25 0 1 0 1801103249 102920192 24536 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 25127 24536 566 18 0 25109 0
[pid=5727] vsize: 100508
Current children cumulated CPU time (s) 1176.64
Current children cumulated vsize (Kb) 100508

[startup+1190.05 s]
Raw data (loadavg): 1.03 0.99 0.96 2/56 5782
Raw data (/proc/5727/stat): 5727 (Pueblo) R 5726 5727 9854 0 -1 0 24570 0 0 0 118405 255 0 0 25 0 1 0 1801103249 102920192 24536 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5727/statm): 25127 24536 566 18 0 25109 0
[pid=5727] vsize: 100508
Current children cumulated CPU time (s) 1186.6
Current children cumulated vsize (Kb) 100508
One traced child (pid=5727) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1192.51
CPU time (s): 1189.07
CPU user time (s): 1186.46
CPU system time (s): 2.6046
CPU usage (%): 99.7107
Max. virtual memory (cumulated for all children) (Kb): 100508

Verifier Data

Verifier:	OK	-11