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-3.opb
MD5SUM25457db86ce3cc3b7604dfa37c8096b4
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 constraints27931
Number of constraints which are clauses27931
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 7876

Launcher Data

LAUNCH ON wulflinc25 THE 2005-09-20 14:42:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5038 boxname=wulflinc25 idbench=350 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  25457db86ce3cc3b7604dfa37c8096b4  /oldhome/oroussel/tmp/wulflinc25/normalized-frb35-17-3.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5038
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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	: 901.12

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

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859368083 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3473/statm): 41 3 40 18 0 23 0
[pid=3473] vsize: 164
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libstdc++.so.5
open syscall for file tls/i686/libstdc++.so.5
open syscall for file tls/mmx/libstdc++.so.5
open syscall for file tls/libstdc++.so.5
open syscall for file i686/mmx/libstdc++.so.5
open syscall for file i686/libstdc++.so.5
open syscall for file mmx/libstdc++.so.5
open syscall for file libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/libstdc++.so.5
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++.so.5
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6

[startup+10.003 s]
Raw data (loadavg): 0.93 0.95 0.90 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 1521 0 0 0 981 7 0 0 25 0 1 0 1859368083 7815168 1487 4294967295 134512640 134578447 3221224624 3221223296 134523325 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 1908 1487 566 18 0 1890 0
[pid=3473] vsize: 7632
Current children cumulated CPU time (s) 9.88
Current children cumulated vsize (Kb) 7632

[startup+20.0036 s]
Raw data (loadavg): 0.94 0.96 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 2280 0 0 0 1970 13 0 0 25 0 1 0 1859368083 10919936 2246 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3473/statm): 2666 2246 566 18 0 2648 0
[pid=3473] vsize: 10664
Current children cumulated CPU time (s) 19.83
Current children cumulated vsize (Kb) 10664

[startup+30.0042 s]
Raw data (loadavg): 0.95 0.96 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 2982 0 0 0 2961 17 0 0 25 0 1 0 1859368083 13783040 2948 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3473/statm): 3365 2948 566 18 0 3347 0
[pid=3473] vsize: 13460
Current children cumulated CPU time (s) 29.78
Current children cumulated vsize (Kb) 13460

[startup+40.0048 s]
Raw data (loadavg): 0.95 0.96 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 3689 0 0 0 3950 23 0 0 25 0 1 0 1859368083 16625664 3655 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 4059 3655 566 18 0 4041 0
[pid=3473] vsize: 16236
Current children cumulated CPU time (s) 39.73
Current children cumulated vsize (Kb) 16236

[startup+50.0054 s]
Raw data (loadavg): 0.96 0.96 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 4310 0 0 0 4943 25 0 0 25 0 1 0 1859368083 19218432 4276 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 4692 4276 566 18 0 4674 0
[pid=3473] vsize: 18768
Current children cumulated CPU time (s) 49.68
Current children cumulated vsize (Kb) 18768

[startup+60.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 4945 0 0 0 5935 30 0 0 25 0 1 0 1859368083 21815296 4911 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 5326 4911 566 18 0 5308 0
[pid=3473] vsize: 21304
Current children cumulated CPU time (s) 59.65
Current children cumulated vsize (Kb) 21304

[startup+70.0056 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 5554 0 0 0 6926 34 0 0 25 0 1 0 1859368083 24272896 5520 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 5926 5520 566 18 0 5908 0
[pid=3473] vsize: 23704
Current children cumulated CPU time (s) 69.6
Current children cumulated vsize (Kb) 23704

[startup+80.0062 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 6090 0 0 0 7920 37 0 0 25 0 1 0 1859368083 26578944 6056 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 6489 6056 566 18 0 6471 0
[pid=3473] vsize: 25956
Current children cumulated CPU time (s) 79.57
Current children cumulated vsize (Kb) 25956

[startup+90.0068 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 6653 0 0 0 8913 40 0 0 25 0 1 0 1859368083 28901376 6619 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 7056 6619 566 18 0 7038 0
[pid=3473] vsize: 28224
Current children cumulated CPU time (s) 89.53
Current children cumulated vsize (Kb) 28224

[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 7077 0 0 0 9908 42 0 0 25 0 1 0 1859368083 30691328 7043 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 7493 7043 566 18 0 7475 0
[pid=3473] vsize: 29972
Current children cumulated CPU time (s) 99.5
Current children cumulated vsize (Kb) 29972

[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 7508 0 0 0 10904 45 0 0 25 0 1 0 1859368083 32329728 7474 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 7893 7474 566 18 0 7875 0
[pid=3473] vsize: 31572
Current children cumulated CPU time (s) 109.49
Current children cumulated vsize (Kb) 31572

[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 7905 0 0 0 11899 47 0 0 25 0 1 0 1859368083 34115584 7871 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 8329 7871 566 18 0 8311 0
[pid=3473] vsize: 33316
Current children cumulated CPU time (s) 119.46
Current children cumulated vsize (Kb) 33316

[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 8252 0 0 0 12894 50 0 0 25 0 1 0 1859368083 35504128 8218 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 8668 8218 566 18 0 8650 0
[pid=3473] vsize: 34672
Current children cumulated CPU time (s) 129.44
Current children cumulated vsize (Kb) 34672

[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 8635 0 0 0 13889 52 0 0 25 0 1 0 1859368083 37130240 8601 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 9065 8601 566 18 0 9047 0
[pid=3473] vsize: 36260
Current children cumulated CPU time (s) 139.41
Current children cumulated vsize (Kb) 36260

[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 8955 0 0 0 14885 54 0 0 25 0 1 0 1859368083 38359040 8921 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3473/statm): 9365 8921 566 18 0 9347 0
[pid=3473] vsize: 37460
Current children cumulated CPU time (s) 149.39
Current children cumulated vsize (Kb) 37460

[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 9307 0 0 0 15880 56 0 0 25 0 1 0 1859368083 39841792 9273 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3473/statm): 9727 9273 566 18 0 9709 0
[pid=3473] vsize: 38908
Current children cumulated CPU time (s) 159.36
Current children cumulated vsize (Kb) 38908

[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 9612 0 0 0 16875 58 0 0 25 0 1 0 1859368083 41062400 9578 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 10025 9578 566 18 0 10007 0
[pid=3473] vsize: 40100
Current children cumulated CPU time (s) 169.33
Current children cumulated vsize (Kb) 40100

[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 9967 0 0 0 17870 60 0 0 25 0 1 0 1859368083 42545152 9933 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 10387 9933 566 18 0 10369 0
[pid=3473] vsize: 41548
Current children cumulated CPU time (s) 179.3
Current children cumulated vsize (Kb) 41548

[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 10254 0 0 0 18865 63 0 0 25 0 1 0 1859368083 43761664 10220 4294967295 134512640 134578447 3221224624 3221223308 1075289077 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 10684 10220 566 18 0 10666 0
[pid=3473] vsize: 42736
Current children cumulated CPU time (s) 189.28
Current children cumulated vsize (Kb) 42736

[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 10519 0 0 0 19861 66 0 0 25 0 1 0 1859368083 44855296 10485 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 10951 10485 566 18 0 10933 0
[pid=3473] vsize: 43804
Current children cumulated CPU time (s) 199.27
Current children cumulated vsize (Kb) 43804

[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 10874 0 0 0 20855 69 0 0 25 0 1 0 1859368083 46383104 10840 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 11324 10840 566 18 0 11306 0
[pid=3473] vsize: 45296
Current children cumulated CPU time (s) 209.24
Current children cumulated vsize (Kb) 45296

[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 11201 0 0 0 21850 71 0 0 25 0 1 0 1859368083 47603712 11167 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 11622 11167 566 18 0 11604 0
[pid=3473] vsize: 46488
Current children cumulated CPU time (s) 219.21
Current children cumulated vsize (Kb) 46488

[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 11643 0 0 0 22845 74 0 0 25 0 1 0 1859368083 49520640 11609 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 12090 11609 566 18 0 12072 0
[pid=3473] vsize: 48360
Current children cumulated CPU time (s) 229.19
Current children cumulated vsize (Kb) 48360

[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 12040 0 0 0 23840 76 0 0 25 0 1 0 1859368083 51167232 12006 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 12492 12006 566 18 0 12474 0
[pid=3473] vsize: 49968
Current children cumulated CPU time (s) 239.16
Current children cumulated vsize (Kb) 49968

[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 12500 0 0 0 24834 79 0 0 25 0 1 0 1859368083 53059584 12466 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 12954 12466 566 18 0 12936 0
[pid=3473] vsize: 51816
Current children cumulated CPU time (s) 249.13
Current children cumulated vsize (Kb) 51816

[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 12795 0 0 0 25830 81 0 0 25 0 1 0 1859368083 54280192 12761 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 13252 12761 566 18 0 13234 0
[pid=3473] vsize: 53008
Current children cumulated CPU time (s) 259.11
Current children cumulated vsize (Kb) 53008

[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 13157 0 0 0 26826 83 0 0 25 0 1 0 1859368083 55779328 13123 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 13618 13123 566 18 0 13600 0
[pid=3473] vsize: 54472
Current children cumulated CPU time (s) 269.09
Current children cumulated vsize (Kb) 54472

[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 13460 0 0 0 27822 85 0 0 25 0 1 0 1859368083 56999936 13426 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 13916 13426 566 18 0 13898 0
[pid=3473] vsize: 55664
Current children cumulated CPU time (s) 279.07
Current children cumulated vsize (Kb) 55664

[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 13795 0 0 0 28818 87 0 0 25 0 1 0 1859368083 58355712 13761 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 14247 13761 566 18 0 14229 0
[pid=3473] vsize: 56988
Current children cumulated CPU time (s) 289.05
Current children cumulated vsize (Kb) 56988

[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 14129 0 0 0 29814 89 0 0 25 0 1 0 1859368083 59703296 14095 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 14576 14095 566 18 0 14558 0
[pid=3473] vsize: 58304
Current children cumulated CPU time (s) 299.03
Current children cumulated vsize (Kb) 58304

[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 14518 0 0 0 30809 91 0 0 25 0 1 0 1859368083 61308928 14484 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 14968 14484 566 18 0 14950 0
[pid=3473] vsize: 59872
Current children cumulated CPU time (s) 309
Current children cumulated vsize (Kb) 59872

[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 14776 0 0 0 31804 93 0 0 25 0 1 0 1859368083 62423040 14742 4294967295 134512640 134578447 3221224624 3221223192 1075289077 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 15240 14743 566 18 0 15222 0
[pid=3473] vsize: 60960
Current children cumulated CPU time (s) 318.97
Current children cumulated vsize (Kb) 60960

[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 15033 0 0 0 32799 96 0 0 25 0 1 0 1859368083 63488000 14999 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 15500 14999 566 18 0 15482 0
[pid=3473] vsize: 62000
Current children cumulated CPU time (s) 328.95
Current children cumulated vsize (Kb) 62000

[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 15248 0 0 0 33796 97 0 0 25 0 1 0 1859368083 64323584 15214 4294967295 134512640 134578447 3221224624 3221223572 134558732 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 15704 15214 566 18 0 15686 0
[pid=3473] vsize: 62816
Current children cumulated CPU time (s) 338.93
Current children cumulated vsize (Kb) 62816

[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) T 3472 3473 4419 0 -1 0 15553 0 0 0 34791 99 0 0 25 0 1 0 1859368083 65515520 15519 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/3473/statm): 15995 15519 566 18 0 15977 0
[pid=3473] vsize: 63980
Current children cumulated CPU time (s) 348.9
Current children cumulated vsize (Kb) 63980

[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 15880 0 0 0 35789 100 0 0 25 0 1 0 1859368083 66871296 15846 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 16326 15846 566 18 0 16308 0
[pid=3473] vsize: 65304
Current children cumulated CPU time (s) 358.89
Current children cumulated vsize (Kb) 65304

[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 16057 0 0 0 36786 102 0 0 25 0 1 0 1859368083 67559424 16023 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 16494 16023 566 18 0 16476 0
[pid=3473] vsize: 65976
Current children cumulated CPU time (s) 368.88
Current children cumulated vsize (Kb) 65976

[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 16388 0 0 0 37782 103 0 0 25 0 1 0 1859368083 69033984 16354 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 16854 16354 566 18 0 16836 0
[pid=3473] vsize: 67416
Current children cumulated CPU time (s) 378.85
Current children cumulated vsize (Kb) 67416

[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 16659 0 0 0 38780 104 0 0 25 0 1 0 1859368083 70172672 16625 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 17132 16625 566 18 0 17114 0
[pid=3473] vsize: 68528
Current children cumulated CPU time (s) 388.84
Current children cumulated vsize (Kb) 68528

[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 16900 0 0 0 39777 106 0 0 25 0 1 0 1859368083 71159808 16866 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 17373 16866 566 18 0 17355 0
[pid=3473] vsize: 69492
Current children cumulated CPU time (s) 398.83
Current children cumulated vsize (Kb) 69492

[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 17147 0 0 0 40773 107 0 0 25 0 1 0 1859368083 72118272 17113 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 17607 17113 566 18 0 17589 0
[pid=3473] vsize: 70428
Current children cumulated CPU time (s) 408.8
Current children cumulated vsize (Kb) 70428

[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 17388 0 0 0 41768 109 0 0 25 0 1 0 1859368083 73076736 17354 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 17841 17354 566 18 0 17823 0
[pid=3473] vsize: 71364
Current children cumulated CPU time (s) 418.77
Current children cumulated vsize (Kb) 71364

[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 17743 0 0 0 42764 111 0 0 25 0 1 0 1859368083 74600448 17709 4294967295 134512640 134578447 3221224624 3221223376 134528944 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 18213 17709 566 18 0 18195 0
[pid=3473] vsize: 72852
Current children cumulated CPU time (s) 428.75
Current children cumulated vsize (Kb) 72852

[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 17947 0 0 0 43761 113 0 0 25 0 1 0 1859368083 75415552 17913 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 18412 17913 566 18 0 18394 0
[pid=3473] vsize: 73648
Current children cumulated CPU time (s) 438.74
Current children cumulated vsize (Kb) 73648

[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 18233 0 0 0 44758 114 0 0 25 0 1 0 1859368083 76652544 18199 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 18714 18199 566 18 0 18696 0
[pid=3473] vsize: 74856
Current children cumulated CPU time (s) 448.72
Current children cumulated vsize (Kb) 74856

[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 18447 0 0 0 45754 116 0 0 25 0 1 0 1859368083 77606912 18413 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 18947 18413 566 18 0 18929 0
[pid=3473] vsize: 75788
Current children cumulated CPU time (s) 458.7
Current children cumulated vsize (Kb) 75788

[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 18696 0 0 0 46750 118 0 0 25 0 1 0 1859368083 78598144 18662 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19189 18662 566 18 0 19171 0
[pid=3473] vsize: 76756
Current children cumulated CPU time (s) 468.68
Current children cumulated vsize (Kb) 76756

[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 18914 0 0 0 47748 119 0 0 25 0 1 0 1859368083 79540224 18880 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19419 18880 566 18 0 19401 0
[pid=3473] vsize: 77676
Current children cumulated CPU time (s) 478.67
Current children cumulated vsize (Kb) 77676

[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19076 0 0 0 48745 121 0 0 25 0 1 0 1859368083 80224256 19042 4294967295 134512640 134578447 3221224624 3221223460 1075289750 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19586 19042 566 18 0 19568 0
[pid=3473] vsize: 78344
Current children cumulated CPU time (s) 488.66
Current children cumulated vsize (Kb) 78344

[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19076 0 0 0 49743 122 0 0 25 0 1 0 1859368083 80179200 19042 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19042 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 498.65
Current children cumulated vsize (Kb) 78300

[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19078 0 0 0 50740 123 0 0 25 0 1 0 1859368083 80179200 19044 4294967295 134512640 134578447 3221224624 3221223584 134559090 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19044 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 508.63
Current children cumulated vsize (Kb) 78300

[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19078 0 0 0 51735 126 0 0 25 0 1 0 1859368083 80179200 19044 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19044 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 518.61
Current children cumulated vsize (Kb) 78300

[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19078 0 0 0 52729 128 0 0 25 0 1 0 1859368083 80179200 19044 4294967295 134512640 134578447 3221224624 3221221024 134533051 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19044 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 528.57
Current children cumulated vsize (Kb) 78300

[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19078 0 0 0 53726 129 0 0 25 0 1 0 1859368083 80179200 19044 4294967295 134512640 134578447 3221224624 3221222976 134532610 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19044 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 538.55
Current children cumulated vsize (Kb) 78300

[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19078 0 0 0 54722 130 0 0 25 0 1 0 1859368083 80179200 19044 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19044 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 548.52
Current children cumulated vsize (Kb) 78300

[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19080 0 0 0 55719 131 0 0 25 0 1 0 1859368083 80179200 19046 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19046 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 558.5
Current children cumulated vsize (Kb) 78300

[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19080 0 0 0 56715 133 0 0 25 0 1 0 1859368083 80179200 19046 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19046 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 568.48
Current children cumulated vsize (Kb) 78300

[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19080 0 0 0 57712 133 0 0 25 0 1 0 1859368083 80179200 19046 4294967295 134512640 134578447 3221224624 3221223476 134555786 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19046 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 578.45
Current children cumulated vsize (Kb) 78300

[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19080 0 0 0 58710 135 0 0 25 0 1 0 1859368083 80179200 19046 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19046 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 588.45
Current children cumulated vsize (Kb) 78300

[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19080 0 0 0 59705 137 0 0 25 0 1 0 1859368083 80179200 19046 4294967295 134512640 134578447 3221224624 3221222096 134532501 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19046 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 598.42
Current children cumulated vsize (Kb) 78300

[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19080 0 0 0 60700 139 0 0 25 0 1 0 1859368083 80179200 19046 4294967295 134512640 134578447 3221224624 3221223288 1075291317 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19046 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 608.39
Current children cumulated vsize (Kb) 78300

[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19080 0 0 0 61697 140 0 0 25 0 1 0 1859368083 80179200 19046 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19046 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 618.37
Current children cumulated vsize (Kb) 78300

[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19080 0 0 0 62692 142 0 0 25 0 1 0 1859368083 80179200 19046 4294967295 134512640 134578447 3221224624 3221223504 134518988 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19046 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 628.34
Current children cumulated vsize (Kb) 78300

[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19081 0 0 0 63689 143 0 0 25 0 1 0 1859368083 80179200 19047 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19047 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 638.32
Current children cumulated vsize (Kb) 78300

[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19081 0 0 0 64686 145 0 0 25 0 1 0 1859368083 80179200 19047 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19047 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 648.31
Current children cumulated vsize (Kb) 78300

[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19081 0 0 0 65680 147 0 0 25 0 1 0 1859368083 80179200 19047 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19047 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 658.27
Current children cumulated vsize (Kb) 78300

[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19081 0 0 0 66676 149 0 0 25 0 1 0 1859368083 80179200 19047 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19047 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 668.25
Current children cumulated vsize (Kb) 78300

[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19081 0 0 0 67673 150 0 0 25 0 1 0 1859368083 80179200 19047 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19047 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 678.23
Current children cumulated vsize (Kb) 78300

[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19081 0 0 0 68670 151 0 0 25 0 1 0 1859368083 80179200 19047 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19047 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 688.21
Current children cumulated vsize (Kb) 78300

[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19081 0 0 0 69666 153 0 0 25 0 1 0 1859368083 80179200 19047 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19047 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 698.19
Current children cumulated vsize (Kb) 78300

[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19081 0 0 0 70663 154 0 0 25 0 1 0 1859368083 80179200 19047 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19047 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 708.17
Current children cumulated vsize (Kb) 78300

[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19081 0 0 0 71657 156 0 0 25 0 1 0 1859368083 80179200 19047 4294967295 134512640 134578447 3221224624 3221223572 134526354 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19047 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 718.13
Current children cumulated vsize (Kb) 78300

[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19081 0 0 0 72653 157 0 0 25 0 1 0 1859368083 80179200 19047 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19047 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 728.1
Current children cumulated vsize (Kb) 78300

[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19081 0 0 0 73651 158 0 0 25 0 1 0 1859368083 80179200 19047 4294967295 134512640 134578447 3221224624 3221223456 134528368 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19047 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 738.09
Current children cumulated vsize (Kb) 78300

[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19081 0 0 0 74646 159 0 0 25 0 1 0 1859368083 80179200 19047 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19047 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 748.05
Current children cumulated vsize (Kb) 78300

[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19081 0 0 0 75641 161 0 0 25 0 1 0 1859368083 80179200 19047 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 19575 19047 566 18 0 19557 0
[pid=3473] vsize: 78300
Current children cumulated CPU time (s) 758.02
Current children cumulated vsize (Kb) 78300

[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19346 0 0 0 76635 164 0 0 25 0 1 0 1859368083 81248256 19312 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3473/statm): 19836 19312 566 18 0 19818 0
[pid=3473] vsize: 79344
Current children cumulated CPU time (s) 767.99
Current children cumulated vsize (Kb) 79344

[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 19693 0 0 0 77630 166 0 0 25 0 1 0 1859368083 82710528 19659 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3473/statm): 20193 19659 566 18 0 20175 0
[pid=3473] vsize: 80772
Current children cumulated CPU time (s) 777.96
Current children cumulated vsize (Kb) 80772

[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 20128 0 0 0 78623 169 0 0 25 0 1 0 1859368083 84459520 20094 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 20620 20094 566 18 0 20602 0
[pid=3473] vsize: 82480
Current children cumulated CPU time (s) 787.92
Current children cumulated vsize (Kb) 82480

[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 20473 0 0 0 79619 171 0 0 25 0 1 0 1859368083 85909504 20439 4294967295 134512640 134578447 3221224624 3221223228 1075288805 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 20974 20439 566 18 0 20956 0
[pid=3473] vsize: 83896
Current children cumulated CPU time (s) 797.9
Current children cumulated vsize (Kb) 83896

[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 20847 0 0 0 80614 174 0 0 25 0 1 0 1859368083 87412736 20813 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 21341 20813 566 18 0 21323 0
[pid=3473] vsize: 85364
Current children cumulated CPU time (s) 807.88
Current children cumulated vsize (Kb) 85364

[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 21230 0 0 0 81608 177 0 0 25 0 1 0 1859368083 89067520 21196 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 21745 21196 566 18 0 21727 0
[pid=3473] vsize: 86980
Current children cumulated CPU time (s) 817.85
Current children cumulated vsize (Kb) 86980

[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 21601 0 0 0 82602 180 0 0 25 0 1 0 1859368083 90546176 21567 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 22106 21567 566 18 0 22088 0
[pid=3473] vsize: 88424
Current children cumulated CPU time (s) 827.82
Current children cumulated vsize (Kb) 88424

[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22035 0 0 0 83598 182 0 0 25 0 1 0 1859368083 92303360 22001 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 22535 22001 566 18 0 22517 0
[pid=3473] vsize: 90140
Current children cumulated CPU time (s) 837.8
Current children cumulated vsize (Kb) 90140

[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22580 0 0 0 84593 186 0 0 25 0 1 0 1859368083 94457856 22546 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23061 22546 566 18 0 23043 0
[pid=3473] vsize: 92244
Current children cumulated CPU time (s) 847.79
Current children cumulated vsize (Kb) 92244

[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22728 0 0 0 85591 187 0 0 25 0 1 0 1859368083 95137792 22694 4294967295 134512640 134578447 3221224624 3221221808 134532217 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22694 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 857.78
Current children cumulated vsize (Kb) 92908

[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22728 0 0 0 86586 189 0 0 25 0 1 0 1859368083 95137792 22694 4294967295 134512640 134578447 3221224624 3221223228 1075289350 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22694 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 867.75
Current children cumulated vsize (Kb) 92908

[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22730 0 0 0 87581 191 0 0 25 0 1 0 1859368083 95137792 22696 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22696 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 877.72
Current children cumulated vsize (Kb) 92908

[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22730 0 0 0 88578 193 0 0 25 0 1 0 1859368083 95137792 22696 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22696 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 887.71
Current children cumulated vsize (Kb) 92908

[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22730 0 0 0 89573 194 0 0 25 0 1 0 1859368083 95137792 22696 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22696 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 897.67
Current children cumulated vsize (Kb) 92908

[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22730 0 0 0 90570 195 0 0 25 0 1 0 1859368083 95137792 22696 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22696 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 907.65
Current children cumulated vsize (Kb) 92908

[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22730 0 0 0 91566 197 0 0 25 0 1 0 1859368083 95137792 22696 4294967295 134512640 134578447 3221224624 3221221776 134532559 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22696 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 917.63
Current children cumulated vsize (Kb) 92908

[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22730 0 0 0 92562 199 0 0 25 0 1 0 1859368083 95137792 22696 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22696 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 927.61
Current children cumulated vsize (Kb) 92908

[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22730 0 0 0 93558 200 0 0 25 0 1 0 1859368083 95137792 22696 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22696 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 937.58
Current children cumulated vsize (Kb) 92908

[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22730 0 0 0 94554 201 0 0 25 0 1 0 1859368083 95137792 22696 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22696 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 947.55
Current children cumulated vsize (Kb) 92908

[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22730 0 0 0 95550 203 0 0 25 0 1 0 1859368083 95137792 22696 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22696 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 957.53
Current children cumulated vsize (Kb) 92908

[startup+970.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22730 0 0 0 96546 205 0 0 25 0 1 0 1859368083 95137792 22696 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22696 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 967.51
Current children cumulated vsize (Kb) 92908

[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22730 0 0 0 97543 206 0 0 25 0 1 0 1859368083 95137792 22696 4294967295 134512640 134578447 3221224624 3221223536 134556899 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22696 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 977.49
Current children cumulated vsize (Kb) 92908

[startup+990.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22730 0 0 0 98539 207 0 0 25 0 1 0 1859368083 95137792 22696 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22696 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 987.46
Current children cumulated vsize (Kb) 92908

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22730 0 0 0 99537 209 0 0 25 0 1 0 1859368083 95137792 22696 4294967295 134512640 134578447 3221224624 3221223504 134518959 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22696 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 997.46
Current children cumulated vsize (Kb) 92908

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22730 0 0 0 100533 210 0 0 25 0 1 0 1859368083 95137792 22696 4294967295 134512640 134578447 3221224624 3221223476 134555737 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22696 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 1007.43
Current children cumulated vsize (Kb) 92908

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22730 0 0 0 101530 211 0 0 25 0 1 0 1859368083 95137792 22696 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22696 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 1017.41
Current children cumulated vsize (Kb) 92908

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22730 0 0 0 102527 212 0 0 25 0 1 0 1859368083 95137792 22696 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22696 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 1027.39
Current children cumulated vsize (Kb) 92908

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22730 0 0 0 103523 214 0 0 25 0 1 0 1859368083 95137792 22696 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3473/statm): 23227 22696 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 1037.37
Current children cumulated vsize (Kb) 92908

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22730 0 0 0 104519 216 0 0 25 0 1 0 1859368083 95137792 22696 4294967295 134512640 134578447 3221224624 3221223520 134519823 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3473/statm): 23227 22696 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 1047.35
Current children cumulated vsize (Kb) 92908

[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22731 0 0 0 105515 217 0 0 25 0 1 0 1859368083 95137792 22697 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3473/statm): 23227 22697 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 1057.32
Current children cumulated vsize (Kb) 92908

[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3473
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22731 0 0 0 106512 219 0 0 25 0 1 0 1859368083 95137792 22697 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3473/statm): 23227 22697 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 1067.31
Current children cumulated vsize (Kb) 92908

[startup+1080.03 s]
Raw data (loadavg): 1.07 0.99 0.91 2/60 3516
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22731 0 0 0 107501 228 0 0 22 0 1 0 1859368083 95137792 22697 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/3473/statm): 23227 22697 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 1077.29
Current children cumulated vsize (Kb) 92908

[startup+1090.03 s]
Raw data (loadavg): 1.14 1.00 0.92 2/56 3528
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22731 0 0 0 108494 234 0 0 25 0 1 0 1859368083 95137792 22697 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22697 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 1087.28
Current children cumulated vsize (Kb) 92908

[startup+1100.03 s]
Raw data (loadavg): 1.11 1.00 0.92 2/56 3528
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22731 0 0 0 109491 234 0 0 25 0 1 0 1859368083 95137792 22697 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22697 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 1097.25
Current children cumulated vsize (Kb) 92908

[startup+1110.03 s]
Raw data (loadavg): 1.10 1.00 0.92 2/56 3528
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22731 0 0 0 110488 235 0 0 25 0 1 0 1859368083 95137792 22697 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22697 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 1107.23
Current children cumulated vsize (Kb) 92908

[startup+1120.03 s]
Raw data (loadavg): 1.08 1.00 0.92 2/56 3528
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22731 0 0 0 111486 237 0 0 25 0 1 0 1859368083 95137792 22697 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22697 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 1117.23
Current children cumulated vsize (Kb) 92908

[startup+1130.03 s]
Raw data (loadavg): 1.07 1.00 0.92 2/56 3528
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22733 0 0 0 112483 238 0 0 25 0 1 0 1859368083 95137792 22699 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22699 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 1127.21
Current children cumulated vsize (Kb) 92908

[startup+1140.03 s]
Raw data (loadavg): 1.06 1.00 0.92 2/56 3528
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22733 0 0 0 113481 239 0 0 25 0 1 0 1859368083 95137792 22699 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22699 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 1137.2
Current children cumulated vsize (Kb) 92908

[startup+1150.03 s]
Raw data (loadavg): 1.05 1.00 0.92 2/56 3532
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22733 0 0 0 114478 240 0 0 25 0 1 0 1859368083 95137792 22699 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22699 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 1147.18
Current children cumulated vsize (Kb) 92908

[startup+1160.03 s]
Raw data (loadavg): 1.04 1.00 0.92 2/56 3532
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22733 0 0 0 115475 241 0 0 25 0 1 0 1859368083 95137792 22699 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22699 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 1157.16
Current children cumulated vsize (Kb) 92908

[startup+1170.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/56 3532
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22733 0 0 0 116472 242 0 0 25 0 1 0 1859368083 95137792 22699 4294967295 134512640 134578447 3221224624 3221223376 134528849 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22699 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 1167.14
Current children cumulated vsize (Kb) 92908

[startup+1180.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/56 3532
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22733 0 0 0 117470 242 0 0 25 0 1 0 1859368083 95137792 22699 4294967295 134512640 134578447 3221224624 3221223296 134523217 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22699 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 1177.12
Current children cumulated vsize (Kb) 92908

[startup+1190.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 3532
Raw data (/proc/3473/stat): 3473 (Pueblo) R 3472 3473 4419 0 -1 0 22733 0 0 0 118467 244 0 0 25 0 1 0 1859368083 95137792 22699 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3473/statm): 23227 22699 566 18 0 23209 0
[pid=3473] vsize: 92908
Current children cumulated CPU time (s) 1187.11
Current children cumulated vsize (Kb) 92908
One traced child (pid=3473) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1192.01
CPU time (s): 1189.09
CPU user time (s): 1186.6
CPU system time (s): 2.48362
CPU usage (%): 99.755
Max. virtual memory (cumulated for all children) (Kb): 92908

Verifier Data

Verifier:	OK	-12