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/frb40-19-opb/normalized-frb40-19-3.opb
MD5SUM3acd642471b3f4559739eef7eb2e9b58
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -33
Optimality of the best value was proved NO
Number of terms in the objective function 760
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 760
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 760
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 variables760
Total number of constraints41095
Number of constraints which are clauses41095
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 7881

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        846324 kB
Buffers:         34512 kB
Cached:         123756 kB
SwapCached:        784 kB
Active:          82612 kB
Inactive:        78388 kB
HighTotal:      131008 kB
HighFree:        17528 kB
LowTotal:       903652 kB
LowFree:        828796 kB
SwapTotal:     2097892 kB
SwapFree:      2096640 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5792 kB
Slab:            21700 kB
Committed_AS:    64308 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 15:08:26 (client local time) WITH STATUS 10 IN 1189.09 SECONDS
stats: 5043 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: 760 - #constraints read: 41096
c total time              : 1189.01 s
s SATISFIABLE
v -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -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/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1859366682 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 41 3 40 18 0 23 0
[pid=8567] 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.004 s]
Raw data (loadavg): 0.93 0.96 0.90 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 1678 0 0 0 980 9 0 0 25 0 1 0 1859366682 8507392 1644 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 2077 1644 566 18 0 2059 0
[pid=8567] vsize: 8308
Current children cumulated CPU time (s) 9.89
Current children cumulated vsize (Kb) 8308

[startup+20.0048 s]
Raw data (loadavg): 0.94 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 2136 0 0 0 1971 12 0 0 25 0 1 0 1859366682 10416128 2102 4294967295 134512640 134578447 3221224624 3221223296 134523413 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 2543 2102 566 18 0 2525 0
[pid=8567] vsize: 10172
Current children cumulated CPU time (s) 19.83
Current children cumulated vsize (Kb) 10172

[startup+30.0056 s]
Raw data (loadavg): 0.95 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 2665 0 0 0 2962 16 0 0 25 0 1 0 1859366682 12488704 2631 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 3049 2631 566 18 0 3031 0
[pid=8567] vsize: 12196
Current children cumulated CPU time (s) 29.78
Current children cumulated vsize (Kb) 12196

[startup+40.0064 s]
Raw data (loadavg): 0.95 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 3180 0 0 0 3953 21 0 0 25 0 1 0 1859366682 14729216 3146 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 3596 3146 566 18 0 3578 0
[pid=8567] vsize: 14384
Current children cumulated CPU time (s) 39.74
Current children cumulated vsize (Kb) 14384

[startup+50.0062 s]
Raw data (loadavg): 0.96 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 3871 0 0 0 4947 24 0 0 25 0 1 0 1859366682 17457152 3837 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 4262 3837 566 18 0 4244 0
[pid=8567] vsize: 17048
Current children cumulated CPU time (s) 49.71
Current children cumulated vsize (Kb) 17048

[startup+60.007 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) T 8566 8567 5245 0 -1 0 4874 0 0 0 5936 29 0 0 25 0 1 0 1859366682 21585920 4840 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/8567/statm): 5270 4840 566 18 0 5252 0
[pid=8567] vsize: 21080
Current children cumulated CPU time (s) 59.65
Current children cumulated vsize (Kb) 21080

[startup+70.0078 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 5410 0 0 0 6931 32 0 0 25 0 1 0 1859366682 23838720 5376 4294967295 134512640 134578447 3221224624 3221223296 134523346 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 5820 5376 566 18 0 5802 0
[pid=8567] vsize: 23280
Current children cumulated CPU time (s) 69.63
Current children cumulated vsize (Kb) 23280

[startup+80.0086 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 5985 0 0 0 7925 34 0 0 25 0 1 0 1859366682 26214400 5951 4294967295 134512640 134578447 3221224624 3221223476 134555740 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 6400 5951 566 18 0 6382 0
[pid=8567] vsize: 25600
Current children cumulated CPU time (s) 79.59
Current children cumulated vsize (Kb) 25600

[startup+90.0094 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 6464 0 0 0 8921 37 0 0 25 0 1 0 1859366682 28168192 6430 4294967295 134512640 134578447 3221224624 3221223296 134523346 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 6877 6430 566 18 0 6859 0
[pid=8567] vsize: 27508
Current children cumulated CPU time (s) 89.58
Current children cumulated vsize (Kb) 27508

[startup+100.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 7020 0 0 0 9913 40 0 0 25 0 1 0 1859366682 30384128 6986 4294967295 134512640 134578447 3221224624 3221223228 1075289350 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 7418 6986 566 18 0 7400 0
[pid=8567] vsize: 29672
Current children cumulated CPU time (s) 99.53
Current children cumulated vsize (Kb) 29672

[startup+110.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 7403 0 0 0 10909 41 0 0 25 0 1 0 1859366682 31940608 7369 4294967295 134512640 134578447 3221224624 3221223296 134523433 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 7798 7369 566 18 0 7780 0
[pid=8567] vsize: 31192
Current children cumulated CPU time (s) 109.5
Current children cumulated vsize (Kb) 31192

[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 7881 0 0 0 11905 43 0 0 25 0 1 0 1859366682 33898496 7847 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 8276 7847 566 18 0 8258 0
[pid=8567] vsize: 33104
Current children cumulated CPU time (s) 119.48
Current children cumulated vsize (Kb) 33104

[startup+130.012 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) T 8566 8567 5245 0 -1 0 8432 0 0 0 12901 45 0 0 25 0 1 0 1859366682 36257792 8398 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8567/statm): 8852 8398 566 18 0 8834 0
[pid=8567] vsize: 35408
Current children cumulated CPU time (s) 129.46
Current children cumulated vsize (Kb) 35408

[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 8923 0 0 0 13896 48 0 0 25 0 1 0 1859366682 38215680 8889 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 9330 8889 566 18 0 9312 0
[pid=8567] vsize: 37320
Current children cumulated CPU time (s) 139.44
Current children cumulated vsize (Kb) 37320

[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 9424 0 0 0 14891 50 0 0 25 0 1 0 1859366682 40312832 9390 4294967295 134512640 134578447 3221224624 3221221040 134533053 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 9842 9390 566 18 0 9824 0
[pid=8567] vsize: 39368
Current children cumulated CPU time (s) 149.41
Current children cumulated vsize (Kb) 39368

[startup+160.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 9941 0 0 0 15887 52 0 0 25 0 1 0 1859366682 42446848 9907 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 10363 9907 566 18 0 10345 0
[pid=8567] vsize: 41452
Current children cumulated CPU time (s) 159.39
Current children cumulated vsize (Kb) 41452

[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 10503 0 0 0 16879 56 0 0 25 0 1 0 1859366682 44675072 10469 4294967295 134512640 134578447 3221224624 3221223296 134523315 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 10907 10469 566 18 0 10889 0
[pid=8567] vsize: 43628
Current children cumulated CPU time (s) 169.35
Current children cumulated vsize (Kb) 43628

[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 10973 0 0 0 17874 58 0 0 25 0 1 0 1859366682 46628864 10939 4294967295 134512640 134578447 3221224624 3221221024 134533075 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 11384 10939 566 18 0 11366 0
[pid=8567] vsize: 45536
Current children cumulated CPU time (s) 179.32
Current children cumulated vsize (Kb) 45536

[startup+190.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 11463 0 0 0 18868 61 0 0 25 0 1 0 1859366682 48586752 11429 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 11862 11429 566 18 0 11844 0
[pid=8567] vsize: 47448
Current children cumulated CPU time (s) 189.29
Current children cumulated vsize (Kb) 47448

[startup+200.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 11859 0 0 0 19861 65 0 0 25 0 1 0 1859366682 50266112 11825 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 12272 11825 566 18 0 12254 0
[pid=8567] vsize: 49088
Current children cumulated CPU time (s) 199.26
Current children cumulated vsize (Kb) 49088

[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 12315 0 0 0 20857 67 0 0 25 0 1 0 1859366682 52125696 12281 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 12726 12281 566 18 0 12708 0
[pid=8567] vsize: 50904
Current children cumulated CPU time (s) 209.24
Current children cumulated vsize (Kb) 50904

[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 12784 0 0 0 21851 71 0 0 25 0 1 0 1859366682 54059008 12750 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 13198 12750 566 18 0 13180 0
[pid=8567] vsize: 52792
Current children cumulated CPU time (s) 219.22
Current children cumulated vsize (Kb) 52792

[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 13245 0 0 0 22847 73 0 0 25 0 1 0 1859366682 55984128 13211 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 13668 13211 566 18 0 13650 0
[pid=8567] vsize: 54672
Current children cumulated CPU time (s) 229.2
Current children cumulated vsize (Kb) 54672

[startup+240.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 13657 0 0 0 23838 77 0 0 25 0 1 0 1859366682 57643008 13623 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 14073 13623 566 18 0 14055 0
[pid=8567] vsize: 56292
Current children cumulated CPU time (s) 239.15
Current children cumulated vsize (Kb) 56292

[startup+250.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 14067 0 0 0 24835 78 0 0 25 0 1 0 1859366682 59285504 14033 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 14474 14033 566 18 0 14456 0
[pid=8567] vsize: 57896
Current children cumulated CPU time (s) 249.13
Current children cumulated vsize (Kb) 57896

[startup+260.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 14415 0 0 0 25831 80 0 0 25 0 1 0 1859366682 60805120 14381 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 14845 14381 566 18 0 14827 0
[pid=8567] vsize: 59380
Current children cumulated CPU time (s) 259.11
Current children cumulated vsize (Kb) 59380

[startup+270.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 14975 0 0 0 26827 82 0 0 25 0 1 0 1859366682 63094784 14941 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 15404 14941 566 18 0 15386 0
[pid=8567] vsize: 61616
Current children cumulated CPU time (s) 269.09
Current children cumulated vsize (Kb) 61616

[startup+280.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 15456 0 0 0 27823 84 0 0 25 0 1 0 1859366682 65036288 15422 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 15878 15422 566 18 0 15860 0
[pid=8567] vsize: 63512
Current children cumulated CPU time (s) 279.07
Current children cumulated vsize (Kb) 63512

[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 15927 0 0 0 28819 86 0 0 25 0 1 0 1859366682 66965504 15893 4294967295 134512640 134578447 3221224624 3221223504 134518932 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 16349 15893 566 18 0 16331 0
[pid=8567] vsize: 65396
Current children cumulated CPU time (s) 289.05
Current children cumulated vsize (Kb) 65396

[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 16388 0 0 0 29814 89 0 0 25 0 1 0 1859366682 68943872 16354 4294967295 134512640 134578447 3221224624 3221223536 134557415 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 16832 16354 566 18 0 16814 0
[pid=8567] vsize: 67328
Current children cumulated CPU time (s) 299.03
Current children cumulated vsize (Kb) 67328

[startup+310.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 16896 0 0 0 30810 91 0 0 25 0 1 0 1859366682 71016448 16862 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 17338 16862 566 18 0 17320 0
[pid=8567] vsize: 69352
Current children cumulated CPU time (s) 309.01
Current children cumulated vsize (Kb) 69352

[startup+320.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 17430 0 0 0 31804 93 0 0 25 0 1 0 1859366682 73113600 17396 4294967295 134512640 134578447 3221224624 3221223504 134518942 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 17850 17396 566 18 0 17832 0
[pid=8567] vsize: 71400
Current children cumulated CPU time (s) 318.97
Current children cumulated vsize (Kb) 71400

[startup+330.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 17880 0 0 0 32799 97 0 0 25 0 1 0 1859366682 75026432 17846 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 18317 17846 566 18 0 18299 0
[pid=8567] vsize: 73268
Current children cumulated CPU time (s) 328.96
Current children cumulated vsize (Kb) 73268

[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 18459 0 0 0 33793 99 0 0 25 0 1 0 1859366682 77369344 18425 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 18889 18425 566 18 0 18871 0
[pid=8567] vsize: 75556
Current children cumulated CPU time (s) 338.92
Current children cumulated vsize (Kb) 75556

[startup+350.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 18965 0 0 0 34790 101 0 0 25 0 1 0 1859366682 79413248 18931 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 19388 18931 566 18 0 19370 0
[pid=8567] vsize: 77552
Current children cumulated CPU time (s) 348.91
Current children cumulated vsize (Kb) 77552

[startup+360.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 19437 0 0 0 35785 103 0 0 25 0 1 0 1859366682 81387520 19403 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 19870 19403 566 18 0 19852 0
[pid=8567] vsize: 79480
Current children cumulated CPU time (s) 358.88
Current children cumulated vsize (Kb) 79480

[startup+370.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 19918 0 0 0 36780 105 0 0 25 0 1 0 1859366682 83341312 19884 4294967295 134512640 134578447 3221224624 3221223296 134523385 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 20347 19884 566 18 0 20329 0
[pid=8567] vsize: 81388
Current children cumulated CPU time (s) 368.85
Current children cumulated vsize (Kb) 81388

[startup+380.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 20343 0 0 0 37774 108 0 0 25 0 1 0 1859366682 85102592 20309 4294967295 134512640 134578447 3221224624 3221223296 134523378 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 20777 20309 566 18 0 20759 0
[pid=8567] vsize: 83108
Current children cumulated CPU time (s) 378.82
Current children cumulated vsize (Kb) 83108

[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 20708 0 0 0 38769 110 0 0 25 0 1 0 1859366682 86634496 20674 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 21151 20674 566 18 0 21133 0
[pid=8567] vsize: 84604
Current children cumulated CPU time (s) 388.79
Current children cumulated vsize (Kb) 84604

[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 21003 0 0 0 39767 112 0 0 25 0 1 0 1859366682 87851008 20969 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 21448 20969 566 18 0 21430 0
[pid=8567] vsize: 85792
Current children cumulated CPU time (s) 398.79
Current children cumulated vsize (Kb) 85792

[startup+410.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 21284 0 0 0 40765 113 0 0 25 0 1 0 1859366682 88956928 21250 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 21718 21250 566 18 0 21700 0
[pid=8567] vsize: 86872
Current children cumulated CPU time (s) 408.78
Current children cumulated vsize (Kb) 86872

[startup+420.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 21558 0 0 0 41760 115 0 0 25 0 1 0 1859366682 90140672 21524 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 22007 21524 566 18 0 21989 0
[pid=8567] vsize: 88028
Current children cumulated CPU time (s) 418.75
Current children cumulated vsize (Kb) 88028

[startup+430.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 21867 0 0 0 42755 118 0 0 25 0 1 0 1859366682 91361280 21833 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 22305 21833 566 18 0 22287 0
[pid=8567] vsize: 89220
Current children cumulated CPU time (s) 428.73
Current children cumulated vsize (Kb) 89220

[startup+440.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 22138 0 0 0 43751 120 0 0 25 0 1 0 1859366682 92532736 22104 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 22591 22104 566 18 0 22573 0
[pid=8567] vsize: 90364
Current children cumulated CPU time (s) 438.71
Current children cumulated vsize (Kb) 90364

[startup+450.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 22641 0 0 0 44746 123 0 0 25 0 1 0 1859366682 94564352 22607 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 23087 22607 566 18 0 23069 0
[pid=8567] vsize: 92348
Current children cumulated CPU time (s) 448.69
Current children cumulated vsize (Kb) 92348

[startup+460.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 22961 0 0 0 45741 124 0 0 25 0 1 0 1859366682 95932416 22927 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 23421 22927 566 18 0 23403 0
[pid=8567] vsize: 93684
Current children cumulated CPU time (s) 458.65
Current children cumulated vsize (Kb) 93684

[startup+470.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 23435 0 0 0 46736 127 0 0 25 0 1 0 1859366682 97841152 23401 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 23887 23401 566 18 0 23869 0
[pid=8567] vsize: 95548
Current children cumulated CPU time (s) 468.63
Current children cumulated vsize (Kb) 95548

[startup+480.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 23792 0 0 0 47731 129 0 0 25 0 1 0 1859366682 99332096 23758 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 24251 23758 566 18 0 24233 0
[pid=8567] vsize: 97004
Current children cumulated CPU time (s) 478.6
Current children cumulated vsize (Kb) 97004

[startup+490.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 24170 0 0 0 48726 131 0 0 25 0 1 0 1859366682 100954112 24136 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 24647 24136 566 18 0 24629 0
[pid=8567] vsize: 98588
Current children cumulated CPU time (s) 488.57
Current children cumulated vsize (Kb) 98588

[startup+500.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 24521 0 0 0 49722 133 0 0 25 0 1 0 1859366682 102387712 24487 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 24997 24487 566 18 0 24979 0
[pid=8567] vsize: 99988
Current children cumulated CPU time (s) 498.55
Current children cumulated vsize (Kb) 99988

[startup+510.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 24877 0 0 0 50719 135 0 0 25 0 1 0 1859366682 103837696 24843 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 25351 24843 566 18 0 25333 0
[pid=8567] vsize: 101404
Current children cumulated CPU time (s) 508.54
Current children cumulated vsize (Kb) 101404

[startup+520.036 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) T 8566 8567 5245 0 -1 0 25529 0 0 0 51711 139 0 0 25 0 1 0 1859366682 106446848 25495 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/8567/statm): 25988 25495 566 18 0 25970 0
[pid=8567] vsize: 103952
Current children cumulated CPU time (s) 518.5
Current children cumulated vsize (Kb) 103952

[startup+530.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 26055 0 0 0 52705 142 0 0 25 0 1 0 1859366682 108601344 26021 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 26514 26021 566 18 0 26496 0
[pid=8567] vsize: 106056
Current children cumulated CPU time (s) 528.47
Current children cumulated vsize (Kb) 106056

[startup+540.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 26510 0 0 0 53700 144 0 0 25 0 1 0 1859366682 110505984 26476 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 26979 26476 566 18 0 26961 0
[pid=8567] vsize: 107916
Current children cumulated CPU time (s) 538.44
Current children cumulated vsize (Kb) 107916

[startup+550.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 27026 0 0 0 54695 147 0 0 25 0 1 0 1859366682 112607232 26992 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 27492 26992 566 18 0 27474 0
[pid=8567] vsize: 109968
Current children cumulated CPU time (s) 548.42
Current children cumulated vsize (Kb) 109968

[startup+560.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 27462 0 0 0 55691 149 0 0 25 0 1 0 1859366682 114503680 27428 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 27955 27428 566 18 0 27937 0
[pid=8567] vsize: 111820
Current children cumulated CPU time (s) 558.4
Current children cumulated vsize (Kb) 111820

[startup+570.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 27983 0 0 0 56686 151 0 0 25 0 1 0 1859366682 116658176 27949 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 28481 27949 566 18 0 28463 0
[pid=8567] vsize: 113924
Current children cumulated CPU time (s) 568.37
Current children cumulated vsize (Kb) 113924

[startup+580.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 28447 0 0 0 57682 153 0 0 25 0 1 0 1859366682 118587392 28413 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 28952 28413 566 18 0 28934 0
[pid=8567] vsize: 115808
Current children cumulated CPU time (s) 578.35
Current children cumulated vsize (Kb) 115808

[startup+590.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 28884 0 0 0 58678 155 0 0 25 0 1 0 1859366682 120410112 28850 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 29397 28850 566 18 0 29379 0
[pid=8567] vsize: 117588
Current children cumulated CPU time (s) 588.33
Current children cumulated vsize (Kb) 117588

[startup+600.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 29355 0 0 0 59673 158 0 0 25 0 1 0 1859366682 122355712 29321 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 29872 29321 566 18 0 29854 0
[pid=8567] vsize: 119488
Current children cumulated CPU time (s) 598.31
Current children cumulated vsize (Kb) 119488

[startup+610.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 29860 0 0 0 60667 161 0 0 25 0 1 0 1859366682 124436480 29826 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 30380 29826 566 18 0 30362 0
[pid=8567] vsize: 121520
Current children cumulated CPU time (s) 608.28
Current children cumulated vsize (Kb) 121520

[startup+620.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 30327 0 0 0 61661 164 0 0 25 0 1 0 1859366682 126357504 30293 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 30849 30293 566 18 0 30831 0
[pid=8567] vsize: 123396
Current children cumulated CPU time (s) 618.25
Current children cumulated vsize (Kb) 123396

[startup+630.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 30850 0 0 0 62656 166 0 0 25 0 1 0 1859366682 128471040 30816 4294967295 134512640 134578447 3221224624 3221223472 134556386 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 31365 30816 566 18 0 31347 0
[pid=8567] vsize: 125460
Current children cumulated CPU time (s) 628.22
Current children cumulated vsize (Kb) 125460

[startup+640.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 31272 0 0 0 63652 168 0 0 25 0 1 0 1859366682 130150400 31238 4294967295 134512640 134578447 3221224624 3221223584 134558768 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 31775 31238 566 18 0 31757 0
[pid=8567] vsize: 127100
Current children cumulated CPU time (s) 638.2
Current children cumulated vsize (Kb) 127100

[startup+650.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 31722 0 0 0 64647 170 0 0 25 0 1 0 1859366682 131956736 31688 4294967295 134512640 134578447 3221224624 3221223476 134555907 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 32216 31688 566 18 0 32198 0
[pid=8567] vsize: 128864
Current children cumulated CPU time (s) 648.17
Current children cumulated vsize (Kb) 128864

[startup+660.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 32320 0 0 0 65640 173 0 0 25 0 1 0 1859366682 134463488 32286 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 32828 32286 566 18 0 32810 0
[pid=8567] vsize: 131312
Current children cumulated CPU time (s) 658.13
Current children cumulated vsize (Kb) 131312

[startup+670.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 32668 0 0 0 66637 175 0 0 25 0 1 0 1859366682 135864320 32634 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 33170 32634 566 18 0 33152 0
[pid=8567] vsize: 132680
Current children cumulated CPU time (s) 668.12
Current children cumulated vsize (Kb) 132680

[startup+680.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 33143 0 0 0 67633 177 0 0 25 0 1 0 1859366682 137809920 33109 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 33645 33109 566 18 0 33627 0
[pid=8567] vsize: 134580
Current children cumulated CPU time (s) 678.1
Current children cumulated vsize (Kb) 134580

[startup+690.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8567
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 33647 0 0 0 68628 179 0 0 25 0 1 0 1859366682 139841536 33613 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 34141 33613 566 18 0 34123 0
[pid=8567] vsize: 136564
Current children cumulated CPU time (s) 688.07
Current children cumulated vsize (Kb) 136564

[startup+700.048 s]
Raw data (loadavg): 1.07 0.99 0.91 2/56 8622
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 34030 0 0 0 69613 192 0 0 25 0 1 0 1859366682 141488128 33996 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 34543 33996 566 18 0 34525 0
[pid=8567] vsize: 138172
Current children cumulated CPU time (s) 698.05
Current children cumulated vsize (Kb) 138172

[startup+710.049 s]
Raw data (loadavg): 1.06 0.99 0.91 2/56 8622
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 34281 0 0 0 70608 194 0 0 25 0 1 0 1859366682 142438400 34247 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 34775 34247 566 18 0 34757 0
[pid=8567] vsize: 139100
Current children cumulated CPU time (s) 708.02
Current children cumulated vsize (Kb) 139100

[startup+720.049 s]
Raw data (loadavg): 1.05 0.99 0.91 2/56 8622
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 34868 0 0 0 71603 196 0 0 25 0 1 0 1859366682 144850944 34834 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 35364 34834 566 18 0 35346 0
[pid=8567] vsize: 141456
Current children cumulated CPU time (s) 717.99
Current children cumulated vsize (Kb) 141456

[startup+730.05 s]
Raw data (loadavg): 1.04 0.99 0.91 2/56 8622
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 35316 0 0 0 72599 199 0 0 25 0 1 0 1859366682 146759680 35282 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 35830 35282 566 18 0 35812 0
[pid=8567] vsize: 143320
Current children cumulated CPU time (s) 727.98
Current children cumulated vsize (Kb) 143320

[startup+740.049 s]
Raw data (loadavg): 1.04 0.99 0.91 2/56 8622
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 35657 0 0 0 73595 201 0 0 25 0 1 0 1859366682 148127744 35623 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 36164 35623 566 18 0 36146 0
[pid=8567] vsize: 144656
Current children cumulated CPU time (s) 737.96
Current children cumulated vsize (Kb) 144656

[startup+750.049 s]
Raw data (loadavg): 1.03 0.99 0.91 2/56 8622
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36061 0 0 0 74591 203 0 0 25 0 1 0 1859366682 149766144 36027 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 36564 36027 566 18 0 36546 0
[pid=8567] vsize: 146256
Current children cumulated CPU time (s) 747.94
Current children cumulated vsize (Kb) 146256

[startup+760.05 s]
Raw data (loadavg): 1.03 0.99 0.91 2/56 8622
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36515 0 0 0 75585 205 0 0 25 0 1 0 1859366682 151572480 36481 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37005 36481 566 18 0 36987 0
[pid=8567] vsize: 148020
Current children cumulated CPU time (s) 757.9
Current children cumulated vsize (Kb) 148020

[startup+770.051 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 76582 207 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223552 134516687 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 767.89
Current children cumulated vsize (Kb) 149772

[startup+780.052 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 77580 207 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 777.87
Current children cumulated vsize (Kb) 149772

[startup+790.052 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 78575 209 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 787.84
Current children cumulated vsize (Kb) 149772

[startup+800.053 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 79572 210 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 797.82
Current children cumulated vsize (Kb) 149772

[startup+810.054 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 80568 212 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 807.8
Current children cumulated vsize (Kb) 149772

[startup+820.054 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 81565 213 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223476 134555881 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 817.78
Current children cumulated vsize (Kb) 149772

[startup+830.055 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 82562 214 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 827.76
Current children cumulated vsize (Kb) 149772

[startup+840.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 83558 216 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 837.74
Current children cumulated vsize (Kb) 149772

[startup+850.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 84556 217 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 847.73
Current children cumulated vsize (Kb) 149772

[startup+860.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 85553 218 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 857.71
Current children cumulated vsize (Kb) 149772

[startup+870.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 86548 220 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 867.68
Current children cumulated vsize (Kb) 149772

[startup+880.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 87544 222 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 877.66
Current children cumulated vsize (Kb) 149772

[startup+890.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 88542 223 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 887.65
Current children cumulated vsize (Kb) 149772

[startup+900.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 89539 224 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 897.63
Current children cumulated vsize (Kb) 149772

[startup+910.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 90535 226 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 907.61
Current children cumulated vsize (Kb) 149772

[startup+920.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 91529 228 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 917.57
Current children cumulated vsize (Kb) 149772

[startup+930.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 92525 230 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223296 134523328 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 927.55
Current children cumulated vsize (Kb) 149772

[startup+940.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 93521 232 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223520 134519731 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 937.53
Current children cumulated vsize (Kb) 149772

[startup+950.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 94518 233 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 947.51
Current children cumulated vsize (Kb) 149772

[startup+960.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 95514 235 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221221792 134532439 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 957.49
Current children cumulated vsize (Kb) 149772

[startup+970.061 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 96510 236 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223504 134518978 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 967.46
Current children cumulated vsize (Kb) 149772

[startup+980.063 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 97503 239 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223476 134555913 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 977.42
Current children cumulated vsize (Kb) 149772

[startup+990.063 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 98500 240 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 987.4
Current children cumulated vsize (Kb) 149772

[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 99496 243 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 997.39
Current children cumulated vsize (Kb) 149772

[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 100492 244 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 1007.36
Current children cumulated vsize (Kb) 149772

[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 101488 246 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 1017.34
Current children cumulated vsize (Kb) 149772

[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8626
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 102484 247 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 1027.31
Current children cumulated vsize (Kb) 149772

[startup+1040.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8628
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 103482 248 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 1037.3
Current children cumulated vsize (Kb) 149772

[startup+1050.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8628
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36948 0 0 0 104477 250 0 0 25 0 1 0 1859366682 153366528 36914 4294967295 134512640 134578447 3221224624 3221223296 134523346 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36914 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 1047.27
Current children cumulated vsize (Kb) 149772

[startup+1060.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8628
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36949 0 0 0 105473 253 0 0 25 0 1 0 1859366682 153366528 36915 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36915 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 1057.26
Current children cumulated vsize (Kb) 149772

[startup+1070.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8628
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36949 0 0 0 106468 255 0 0 25 0 1 0 1859366682 153366528 36915 4294967295 134512640 134578447 3221224624 3221223296 134523387 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36915 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 1067.23
Current children cumulated vsize (Kb) 149772

[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8628
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36949 0 0 0 107463 256 0 0 25 0 1 0 1859366682 153366528 36915 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 37443 36915 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 1077.19
Current children cumulated vsize (Kb) 149772

[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8628
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36949 0 0 0 108459 258 0 0 25 0 1 0 1859366682 153366528 36915 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36915 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 1087.17
Current children cumulated vsize (Kb) 149772

[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8628
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36949 0 0 0 109457 259 0 0 25 0 1 0 1859366682 153366528 36915 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36915 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 1097.16
Current children cumulated vsize (Kb) 149772

[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8628
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36949 0 0 0 110454 260 0 0 25 0 1 0 1859366682 153366528 36915 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 37443 36915 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 1107.14
Current children cumulated vsize (Kb) 149772

[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8628
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36949 0 0 0 111450 261 0 0 25 0 1 0 1859366682 153366528 36915 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 37443 36915 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 1117.11
Current children cumulated vsize (Kb) 149772

[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8628
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36949 0 0 0 112446 263 0 0 25 0 1 0 1859366682 153366528 36915 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36915 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 1127.09
Current children cumulated vsize (Kb) 149772

[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8628
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36949 0 0 0 113442 264 0 0 25 0 1 0 1859366682 153366528 36915 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8567/statm): 37443 36915 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 1137.06
Current children cumulated vsize (Kb) 149772

[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8628
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36949 0 0 0 114437 266 0 0 25 0 1 0 1859366682 153366528 36915 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36915 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 1147.03
Current children cumulated vsize (Kb) 149772

[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8628
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36949 0 0 0 115434 268 0 0 25 0 1 0 1859366682 153366528 36915 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36915 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 1157.02
Current children cumulated vsize (Kb) 149772

[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8628
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36949 0 0 0 116430 270 0 0 25 0 1 0 1859366682 153366528 36915 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36915 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 1167
Current children cumulated vsize (Kb) 149772

[startup+1180.07 s]
Raw data (loadavg): 1.08 1.00 0.92 2/56 8628
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36949 0 0 0 117426 272 0 0 25 0 1 0 1859366682 153366528 36915 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36915 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 1176.98
Current children cumulated vsize (Kb) 149772

[startup+1190.07 s]
Raw data (loadavg): 1.07 1.00 0.92 2/56 8628
Raw data (/proc/8567/stat): 8567 (Pueblo) R 8566 8567 5245 0 -1 0 36949 0 0 0 118421 273 0 0 25 0 1 0 1859366682 153366528 36915 4294967295 134512640 134578447 3221224624 3221223456 134528614 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8567/statm): 37443 36915 566 18 0 37425 0
[pid=8567] vsize: 149772
Current children cumulated CPU time (s) 1186.94
Current children cumulated vsize (Kb) 149772
One traced child (pid=8567) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1192.21
CPU time (s): 1189.09
CPU user time (s): 1186.27
CPU system time (s): 2.81057
CPU usage (%): 99.7375
Max. virtual memory (cumulated for all children) (Kb): 149772

Verifier Data

Verifier:	OK	-10