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-1.opb
MD5SUM94f501465233508e2f652cf118ddaf2d
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.04
Number of variables760
Total number of constraints41314
Number of constraints which are clauses41314
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 7877

Launcher Data

LAUNCH ON wulflinc24 THE 2005-09-20 14:42:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5039 boxname=wulflinc24 idbench=351 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  94f501465233508e2f652cf118ddaf2d  /oldhome/oroussel/tmp/wulflinc24/normalized-frb40-19-1.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5039
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        849280 kB
Buffers:         29928 kB
Cached:         127216 kB
SwapCached:        820 kB
Active:          52508 kB
Inactive:       107364 kB
HighTotal:      131008 kB
HighFree:        14756 kB
LowTotal:       903652 kB
LowFree:        834524 kB
SwapTotal:     2097892 kB
SwapFree:      2096616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5752 kB
Slab:            19716 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:31 (client local time) WITH STATUS 10 IN 1189.11 SECONDS
stats: 5039 0 1189.11 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: 41315
c total time              : 1189.03 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/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859344453 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 41 3 40 18 0 23 0
[pid=17937] 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.0034 s]
Raw data (loadavg): 0.94 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 1684 0 0 0 981 7 0 0 25 0 1 0 1859344453 8486912 1650 4294967295 134512640 134578447 3221224624 3221221024 134533073 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 2072 1650 566 18 0 2054 0
[pid=17937] vsize: 8288
Current children cumulated CPU time (s) 9.88
Current children cumulated vsize (Kb) 8288

[startup+20.0041 s]
Raw data (loadavg): 0.95 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 2134 0 0 0 1973 11 0 0 25 0 1 0 1859344453 10420224 2100 4294967295 134512640 134578447 3221224624 3221221008 134533086 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 2544 2100 566 18 0 2526 0
[pid=17937] vsize: 10176
Current children cumulated CPU time (s) 19.84
Current children cumulated vsize (Kb) 10176

[startup+30.0037 s]
Raw data (loadavg): 0.95 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 2667 0 0 0 2965 14 0 0 25 0 1 0 1859344453 12619776 2633 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 3081 2633 566 18 0 3063 0
[pid=17937] vsize: 12324
Current children cumulated CPU time (s) 29.79
Current children cumulated vsize (Kb) 12324

[startup+40.0044 s]
Raw data (loadavg): 0.96 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 3277 0 0 0 3957 19 0 0 25 0 1 0 1859344453 15118336 3243 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 3691 3243 566 18 0 3673 0
[pid=17937] vsize: 14764
Current children cumulated CPU time (s) 39.76
Current children cumulated vsize (Kb) 14764

[startup+50.0051 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 3832 0 0 0 4953 21 0 0 25 0 1 0 1859344453 17326080 3798 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 4230 3798 566 18 0 4212 0
[pid=17937] vsize: 16920
Current children cumulated CPU time (s) 49.74
Current children cumulated vsize (Kb) 16920

[startup+60.0048 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 4377 0 0 0 5950 23 0 0 25 0 1 0 1859344453 19562496 4343 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 4776 4343 566 18 0 4758 0
[pid=17937] vsize: 19104
Current children cumulated CPU time (s) 59.73
Current children cumulated vsize (Kb) 19104

[startup+70.0055 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 4983 0 0 0 6945 26 0 0 25 0 1 0 1859344453 22065152 4949 4294967295 134512640 134578447 3221224624 3221223472 134558319 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 5387 4949 566 18 0 5369 0
[pid=17937] vsize: 21548
Current children cumulated CPU time (s) 69.71
Current children cumulated vsize (Kb) 21548

[startup+80.0062 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 5636 0 0 0 7936 29 0 0 25 0 1 0 1859344453 24764416 5602 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 6046 5602 566 18 0 6028 0
[pid=17937] vsize: 24184
Current children cumulated CPU time (s) 79.65
Current children cumulated vsize (Kb) 24184

[startup+90.0069 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 6274 0 0 0 8931 32 0 0 25 0 1 0 1859344453 27340800 6240 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 6675 6240 566 18 0 6657 0
[pid=17937] vsize: 26700
Current children cumulated CPU time (s) 89.63
Current children cumulated vsize (Kb) 26700

[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 6919 0 0 0 9921 38 0 0 25 0 1 0 1859344453 29941760 6885 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 7310 6885 566 18 0 7292 0
[pid=17937] vsize: 29240
Current children cumulated CPU time (s) 99.59
Current children cumulated vsize (Kb) 29240

[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 7498 0 0 0 10915 41 0 0 25 0 1 0 1859344453 32305152 7464 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 7887 7464 566 18 0 7869 0
[pid=17937] vsize: 31548
Current children cumulated CPU time (s) 109.56
Current children cumulated vsize (Kb) 31548

[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 8007 0 0 0 11909 44 0 0 25 0 1 0 1859344453 34545664 7973 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 8434 7973 566 18 0 8416 0
[pid=17937] vsize: 33736
Current children cumulated CPU time (s) 119.53
Current children cumulated vsize (Kb) 33736

[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 8641 0 0 0 12898 48 0 0 25 0 1 0 1859344453 37085184 8607 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 9054 8607 566 18 0 9036 0
[pid=17937] vsize: 36216
Current children cumulated CPU time (s) 129.46
Current children cumulated vsize (Kb) 36216

[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 9076 0 0 0 13894 50 0 0 25 0 1 0 1859344453 38871040 9042 4294967295 134512640 134578447 3221224624 3221223296 134523352 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 9490 9042 566 18 0 9472 0
[pid=17937] vsize: 37960
Current children cumulated CPU time (s) 139.44
Current children cumulated vsize (Kb) 37960

[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 9775 0 0 0 14886 54 0 0 25 0 1 0 1859344453 41730048 9741 4294967295 134512640 134578447 3221224624 3221220992 134533053 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 10188 9741 566 18 0 10170 0
[pid=17937] vsize: 40752
Current children cumulated CPU time (s) 149.4
Current children cumulated vsize (Kb) 40752

[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 10345 0 0 0 15881 57 0 0 25 0 1 0 1859344453 44060672 10311 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 10757 10311 566 18 0 10739 0
[pid=17937] vsize: 43028
Current children cumulated CPU time (s) 159.38
Current children cumulated vsize (Kb) 43028

[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 10989 0 0 0 16873 60 0 0 25 0 1 0 1859344453 46710784 10955 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 11404 10955 566 18 0 11386 0
[pid=17937] vsize: 45616
Current children cumulated CPU time (s) 169.33
Current children cumulated vsize (Kb) 45616

[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 11601 0 0 0 17867 64 0 0 25 0 1 0 1859344453 49168384 11567 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 12004 11567 566 18 0 11986 0
[pid=17937] vsize: 48016
Current children cumulated CPU time (s) 179.31
Current children cumulated vsize (Kb) 48016

[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 12323 0 0 0 18856 69 0 0 25 0 1 0 1859344453 52191232 12289 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 12742 12289 566 18 0 12724 0
[pid=17937] vsize: 50968
Current children cumulated CPU time (s) 189.25
Current children cumulated vsize (Kb) 50968

[startup+200.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 12922 0 0 0 19851 71 0 0 25 0 1 0 1859344453 54689792 12888 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 13352 12888 566 18 0 13334 0
[pid=17937] vsize: 53408
Current children cumulated CPU time (s) 199.22
Current children cumulated vsize (Kb) 53408

[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 13348 0 0 0 20846 74 0 0 25 0 1 0 1859344453 56369152 13314 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 13762 13314 566 18 0 13744 0
[pid=17937] vsize: 55048
Current children cumulated CPU time (s) 209.2
Current children cumulated vsize (Kb) 55048

[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 13785 0 0 0 21842 75 0 0 25 0 1 0 1859344453 58216448 13751 4294967295 134512640 134578447 3221224624 3221223504 134518932 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 14213 13751 566 18 0 14195 0
[pid=17937] vsize: 56852
Current children cumulated CPU time (s) 219.17
Current children cumulated vsize (Kb) 56852

[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 14199 0 0 0 22837 77 0 0 25 0 1 0 1859344453 59879424 14165 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 14619 14165 566 18 0 14601 0
[pid=17937] vsize: 58476
Current children cumulated CPU time (s) 229.14
Current children cumulated vsize (Kb) 58476

[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 14651 0 0 0 23833 79 0 0 25 0 1 0 1859344453 61808640 14617 4294967295 134512640 134578447 3221224624 3221223296 134522255 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 15090 14617 566 18 0 15072 0
[pid=17937] vsize: 60360
Current children cumulated CPU time (s) 239.12
Current children cumulated vsize (Kb) 60360

[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 15103 0 0 0 24829 81 0 0 25 0 1 0 1859344453 63668224 15069 4294967295 134512640 134578447 3221224624 3221222384 134532551 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 15544 15069 566 18 0 15526 0
[pid=17937] vsize: 62176
Current children cumulated CPU time (s) 249.1
Current children cumulated vsize (Kb) 62176

[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 15638 0 0 0 25824 83 0 0 25 0 1 0 1859344453 65896448 15604 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 16088 15604 566 18 0 16070 0
[pid=17937] vsize: 64352
Current children cumulated CPU time (s) 259.07
Current children cumulated vsize (Kb) 64352

[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 16035 0 0 0 26820 85 0 0 25 0 1 0 1859344453 67465216 16001 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 16471 16001 566 18 0 16453 0
[pid=17937] vsize: 65884
Current children cumulated CPU time (s) 269.05
Current children cumulated vsize (Kb) 65884

[startup+280.011 s]
Raw data (loadavg): 0.99 0.98 0.91 1/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) T 17936 17937 20728 0 -1 0 16583 0 0 0 27811 88 0 0 25 0 1 0 1859344453 69672960 16549 4294967295 134512640 134578447 3221224624 3221223116 1075693979 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 17010 16549 566 18 0 16992 0
[pid=17937] vsize: 68040
Current children cumulated CPU time (s) 278.99
Current children cumulated vsize (Kb) 68040

[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 17038 0 0 0 28806 91 0 0 25 0 1 0 1859344453 71630848 17004 4294967295 134512640 134578447 3221224624 3221222976 134532402 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 17488 17004 566 18 0 17470 0
[pid=17937] vsize: 69952
Current children cumulated CPU time (s) 288.97
Current children cumulated vsize (Kb) 69952

[startup+300.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 17537 0 0 0 29801 93 0 0 25 0 1 0 1859344453 73732096 17503 4294967295 134512640 134578447 3221224624 3221223228 1075289350 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 18001 17503 566 18 0 17983 0
[pid=17937] vsize: 72004
Current children cumulated CPU time (s) 298.94
Current children cumulated vsize (Kb) 72004

[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 17974 0 0 0 30797 96 0 0 25 0 1 0 1859344453 75554816 17940 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 18446 17940 566 18 0 18428 0
[pid=17937] vsize: 73784
Current children cumulated CPU time (s) 308.93
Current children cumulated vsize (Kb) 73784

[startup+320.012 s]
Raw data (loadavg): 0.99 0.98 0.91 1/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) T 17936 17937 20728 0 -1 0 18369 0 0 0 31794 97 0 0 25 0 1 0 1859344453 77230080 18335 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 18855 18335 566 18 0 18837 0
[pid=17937] vsize: 75420
Current children cumulated CPU time (s) 318.91
Current children cumulated vsize (Kb) 75420

[startup+330.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 18828 0 0 0 32791 98 0 0 25 0 1 0 1859344453 79028224 18794 4294967295 134512640 134578447 3221224624 3221223296 134523358 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 19294 18794 566 18 0 19276 0
[pid=17937] vsize: 77176
Current children cumulated CPU time (s) 328.89
Current children cumulated vsize (Kb) 77176

[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 19208 0 0 0 33788 100 0 0 25 0 1 0 1859344453 80551936 19174 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 19666 19174 566 18 0 19648 0
[pid=17937] vsize: 78664
Current children cumulated CPU time (s) 338.88
Current children cumulated vsize (Kb) 78664

[startup+350.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 19561 0 0 0 34785 101 0 0 25 0 1 0 1859344453 82075648 19527 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 20038 19527 566 18 0 20020 0
[pid=17937] vsize: 80152
Current children cumulated CPU time (s) 348.86
Current children cumulated vsize (Kb) 80152

[startup+360.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 20056 0 0 0 35780 104 0 0 25 0 1 0 1859344453 84140032 20022 4294967295 134512640 134578447 3221224624 3221223368 1075291632 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 20542 20022 566 18 0 20524 0
[pid=17937] vsize: 82168
Current children cumulated CPU time (s) 358.84
Current children cumulated vsize (Kb) 82168

[startup+370.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 20499 0 0 0 36776 106 0 0 25 0 1 0 1859344453 85827584 20465 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 20954 20465 566 18 0 20936 0
[pid=17937] vsize: 83816
Current children cumulated CPU time (s) 368.82
Current children cumulated vsize (Kb) 83816

[startup+380.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 20969 0 0 0 37772 108 0 0 25 0 1 0 1859344453 87871488 20935 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 21453 20935 566 18 0 21435 0
[pid=17937] vsize: 85812
Current children cumulated CPU time (s) 378.8
Current children cumulated vsize (Kb) 85812

[startup+390.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 21339 0 0 0 38768 111 0 0 25 0 1 0 1859344453 89378816 21305 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 21821 21305 566 18 0 21803 0
[pid=17937] vsize: 87284
Current children cumulated CPU time (s) 388.79
Current children cumulated vsize (Kb) 87284

[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 21712 0 0 0 39764 113 0 0 25 0 1 0 1859344453 90898432 21678 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 22192 21678 566 18 0 22174 0
[pid=17937] vsize: 88768
Current children cumulated CPU time (s) 398.77
Current children cumulated vsize (Kb) 88768

[startup+410.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 22160 0 0 0 40759 115 0 0 25 0 1 0 1859344453 92753920 22126 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 22645 22126 566 18 0 22627 0
[pid=17937] vsize: 90580
Current children cumulated CPU time (s) 408.74
Current children cumulated vsize (Kb) 90580

[startup+420.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 22634 0 0 0 41754 118 0 0 25 0 1 0 1859344453 94666752 22600 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 23112 22600 566 18 0 23094 0
[pid=17937] vsize: 92448
Current children cumulated CPU time (s) 418.72
Current children cumulated vsize (Kb) 92448

[startup+430.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 23058 0 0 0 42750 120 0 0 25 0 1 0 1859344453 96514048 23024 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 23563 23024 566 18 0 23545 0
[pid=17937] vsize: 94252
Current children cumulated CPU time (s) 428.7
Current children cumulated vsize (Kb) 94252

[startup+440.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 23577 0 0 0 43745 122 0 0 25 0 1 0 1859344453 98578432 23543 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 24067 23543 566 18 0 24049 0
[pid=17937] vsize: 96268
Current children cumulated CPU time (s) 438.67
Current children cumulated vsize (Kb) 96268

[startup+450.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 24150 0 0 0 44739 125 0 0 25 0 1 0 1859344453 100929536 24116 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 24641 24116 566 18 0 24623 0
[pid=17937] vsize: 98564
Current children cumulated CPU time (s) 448.64
Current children cumulated vsize (Kb) 98564

[startup+460.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 24628 0 0 0 45734 128 0 0 25 0 1 0 1859344453 102858752 24594 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 25112 24594 566 18 0 25094 0
[pid=17937] vsize: 100448
Current children cumulated CPU time (s) 458.62
Current children cumulated vsize (Kb) 100448

[startup+470.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 25032 0 0 0 46729 130 0 0 25 0 1 0 1859344453 104501248 24998 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 25513 24998 566 18 0 25495 0
[pid=17937] vsize: 102052
Current children cumulated CPU time (s) 468.59
Current children cumulated vsize (Kb) 102052

[startup+480.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 25625 0 0 0 47724 133 0 0 25 0 1 0 1859344453 106954752 25591 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 26112 25591 566 18 0 26094 0
[pid=17937] vsize: 104448
Current children cumulated CPU time (s) 478.57
Current children cumulated vsize (Kb) 104448

[startup+490.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 25947 0 0 0 48720 134 0 0 25 0 1 0 1859344453 108331008 25913 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 26448 25913 566 18 0 26430 0
[pid=17937] vsize: 105792
Current children cumulated CPU time (s) 488.54
Current children cumulated vsize (Kb) 105792

[startup+500.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 26102 0 0 0 49719 135 0 0 25 0 1 0 1859344453 109043712 26068 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 26622 26068 566 18 0 26604 0
[pid=17937] vsize: 106488
Current children cumulated CPU time (s) 498.54
Current children cumulated vsize (Kb) 106488

[startup+510.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 26360 0 0 0 50716 137 0 0 25 0 1 0 1859344453 110014464 26326 4294967295 134512640 134578447 3221224624 3221223456 134528608 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 26859 26326 566 18 0 26841 0
[pid=17937] vsize: 107436
Current children cumulated CPU time (s) 508.53
Current children cumulated vsize (Kb) 107436

[startup+520.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 26623 0 0 0 51713 138 0 0 25 0 1 0 1859344453 111144960 26589 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 27135 26589 566 18 0 27117 0
[pid=17937] vsize: 108540
Current children cumulated CPU time (s) 518.51
Current children cumulated vsize (Kb) 108540

[startup+530.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 26785 0 0 0 52711 139 0 0 25 0 1 0 1859344453 111837184 26751 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 27304 26751 566 18 0 27286 0
[pid=17937] vsize: 109216
Current children cumulated CPU time (s) 528.5
Current children cumulated vsize (Kb) 109216

[startup+540.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 27079 0 0 0 53709 140 0 0 25 0 1 0 1859344453 112926720 27045 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 27570 27045 566 18 0 27552 0
[pid=17937] vsize: 110280
Current children cumulated CPU time (s) 538.49
Current children cumulated vsize (Kb) 110280

[startup+550.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 27351 0 0 0 54705 142 0 0 25 0 1 0 1859344453 114032640 27317 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 27840 27317 566 18 0 27822 0
[pid=17937] vsize: 111360
Current children cumulated CPU time (s) 548.47
Current children cumulated vsize (Kb) 111360

[startup+560.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 27680 0 0 0 55702 144 0 0 25 0 1 0 1859344453 115564544 27646 4294967295 134512640 134578447 3221224624 3221223488 134517860 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 28214 27646 566 18 0 28196 0
[pid=17937] vsize: 112856
Current children cumulated CPU time (s) 558.46
Current children cumulated vsize (Kb) 112856

[startup+570.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 28029 0 0 0 56698 146 0 0 25 0 1 0 1859344453 116940800 27995 4294967295 134512640 134578447 3221224624 3221223536 134557270 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 28550 27995 566 18 0 28532 0
[pid=17937] vsize: 114200
Current children cumulated CPU time (s) 568.44
Current children cumulated vsize (Kb) 114200

[startup+580.02 s]
Raw data (loadavg): 1.07 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 28356 0 0 0 57695 148 0 0 25 0 1 0 1859344453 118394880 28322 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 28905 28322 566 18 0 28887 0
[pid=17937] vsize: 115620
Current children cumulated CPU time (s) 578.43
Current children cumulated vsize (Kb) 115620

[startup+590.021 s]
Raw data (loadavg): 1.06 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 28555 0 0 0 58692 149 0 0 25 0 1 0 1859344453 119279616 28521 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 29121 28521 566 18 0 29103 0
[pid=17937] vsize: 116484
Current children cumulated CPU time (s) 588.41
Current children cumulated vsize (Kb) 116484

[startup+600.02 s]
Raw data (loadavg): 1.05 1.00 0.92 1/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) T 17936 17937 20728 0 -1 0 28894 0 0 0 59689 151 0 0 25 0 1 0 1859344453 120852480 28860 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 29505 28860 566 18 0 29487 0
[pid=17937] vsize: 118020
Current children cumulated CPU time (s) 598.4
Current children cumulated vsize (Kb) 118020

[startup+610.021 s]
Raw data (loadavg): 1.04 1.00 0.92 1/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) T 17936 17937 20728 0 -1 0 29047 0 0 0 60687 152 0 0 25 0 1 0 1859344453 121389056 29013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 29636 29013 566 18 0 29618 0
[pid=17937] vsize: 118544
Current children cumulated CPU time (s) 608.39
Current children cumulated vsize (Kb) 118544

[startup+620.022 s]
Raw data (loadavg): 1.04 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 29418 0 0 0 61683 154 0 0 25 0 1 0 1859344453 122888192 29384 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 30002 29384 566 18 0 29984 0
[pid=17937] vsize: 120008
Current children cumulated CPU time (s) 618.37
Current children cumulated vsize (Kb) 120008

[startup+630.022 s]
Raw data (loadavg): 1.03 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 29672 0 0 0 62677 157 0 0 25 0 1 0 1859344453 124002304 29638 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 30274 29638 566 18 0 30256 0
[pid=17937] vsize: 121096
Current children cumulated CPU time (s) 628.34
Current children cumulated vsize (Kb) 121096

[startup+640.024 s]
Raw data (loadavg): 1.03 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 30120 0 0 0 63673 159 0 0 25 0 1 0 1859344453 125816832 30086 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 30717 30086 566 18 0 30699 0
[pid=17937] vsize: 122868
Current children cumulated CPU time (s) 638.32
Current children cumulated vsize (Kb) 122868

[startup+650.025 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 30617 0 0 0 64668 161 0 0 25 0 1 0 1859344453 127864832 30583 4294967295 134512640 134578447 3221224624 3221223584 134526694 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 31217 30583 566 18 0 31199 0
[pid=17937] vsize: 124868
Current children cumulated CPU time (s) 648.29
Current children cumulated vsize (Kb) 124868

[startup+660.024 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 30998 0 0 0 65663 164 0 0 25 0 1 0 1859344453 129343488 30964 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 31578 30964 566 18 0 31560 0
[pid=17937] vsize: 126312
Current children cumulated CPU time (s) 658.27
Current children cumulated vsize (Kb) 126312

[startup+670.025 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 31232 0 0 0 66661 165 0 0 25 0 1 0 1859344453 130453504 31198 4294967295 134512640 134578447 3221224624 3221221808 134532418 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 31849 31198 566 18 0 31831 0
[pid=17937] vsize: 127396
Current children cumulated CPU time (s) 668.26
Current children cumulated vsize (Kb) 127396

[startup+680.026 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 31581 0 0 0 67658 167 0 0 25 0 1 0 1859344453 131829760 31547 4294967295 134512640 134578447 3221224624 3221223376 134528814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 32185 31547 566 18 0 32167 0
[pid=17937] vsize: 128740
Current children cumulated CPU time (s) 678.25
Current children cumulated vsize (Kb) 128740

[startup+690.027 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 31757 0 0 0 68655 168 0 0 25 0 1 0 1859344453 132550656 31723 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 32361 31723 566 18 0 32343 0
[pid=17937] vsize: 129444
Current children cumulated CPU time (s) 688.23
Current children cumulated vsize (Kb) 129444

[startup+700.027 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 32055 0 0 0 69653 169 0 0 25 0 1 0 1859344453 133885952 32021 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 32687 32021 566 18 0 32669 0
[pid=17937] vsize: 130748
Current children cumulated CPU time (s) 698.22
Current children cumulated vsize (Kb) 130748

[startup+710.028 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 32284 0 0 0 70649 171 0 0 25 0 1 0 1859344453 134705152 32250 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 32887 32250 566 18 0 32869 0
[pid=17937] vsize: 131548
Current children cumulated CPU time (s) 708.2
Current children cumulated vsize (Kb) 131548

[startup+720.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 32587 0 0 0 71645 172 0 0 25 0 1 0 1859344453 135942144 32553 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 33189 32553 566 18 0 33171 0
[pid=17937] vsize: 132756
Current children cumulated CPU time (s) 718.17
Current children cumulated vsize (Kb) 132756

[startup+730.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 32940 0 0 0 72643 174 0 0 25 0 1 0 1859344453 137474048 32906 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 33563 32906 566 18 0 33545 0
[pid=17937] vsize: 134252
Current children cumulated CPU time (s) 728.17
Current children cumulated vsize (Kb) 134252

[startup+740.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 33294 0 0 0 73640 175 0 0 25 0 1 0 1859344453 138874880 33260 4294967295 134512640 134578447 3221224624 3221223476 134555786 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 33905 33260 566 18 0 33887 0
[pid=17937] vsize: 135620
Current children cumulated CPU time (s) 738.15
Current children cumulated vsize (Kb) 135620

[startup+750.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 33580 0 0 0 74636 176 0 0 25 0 1 0 1859344453 140120064 33546 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 34209 33546 566 18 0 34191 0
[pid=17937] vsize: 136836
Current children cumulated CPU time (s) 748.12
Current children cumulated vsize (Kb) 136836

[startup+760.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 33960 0 0 0 75632 177 0 0 25 0 1 0 1859344453 141639680 33926 4294967295 134512640 134578447 3221224624 3221223296 134522255 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 34580 33926 566 18 0 34562 0
[pid=17937] vsize: 138320
Current children cumulated CPU time (s) 758.09
Current children cumulated vsize (Kb) 138320

[startup+770.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 34231 0 0 0 76630 179 0 0 25 0 1 0 1859344453 142655488 34197 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 34828 34197 566 18 0 34810 0
[pid=17937] vsize: 139312
Current children cumulated CPU time (s) 768.09
Current children cumulated vsize (Kb) 139312

[startup+780.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 34413 0 0 0 77628 180 0 0 25 0 1 0 1859344453 143458304 34379 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 35024 34379 566 18 0 35006 0
[pid=17937] vsize: 140096
Current children cumulated CPU time (s) 778.08
Current children cumulated vsize (Kb) 140096

[startup+790.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 34708 0 0 0 78625 182 0 0 25 0 1 0 1859344453 144691200 34674 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 35325 34674 566 18 0 35307 0
[pid=17937] vsize: 141300
Current children cumulated CPU time (s) 788.07
Current children cumulated vsize (Kb) 141300

[startup+800.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 35044 0 0 0 79623 183 0 0 25 0 1 0 1859344453 146202624 35010 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 35694 35010 566 18 0 35676 0
[pid=17937] vsize: 142776
Current children cumulated CPU time (s) 798.06
Current children cumulated vsize (Kb) 142776

[startup+810.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 35233 0 0 0 80620 184 0 0 25 0 1 0 1859344453 146907136 35199 4294967295 134512640 134578447 3221224624 3221223520 134519825 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 35866 35199 566 18 0 35848 0
[pid=17937] vsize: 143464
Current children cumulated CPU time (s) 808.04
Current children cumulated vsize (Kb) 143464

[startup+820.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 35553 0 0 0 81617 186 0 0 25 0 1 0 1859344453 148258816 35519 4294967295 134512640 134578447 3221224624 3221221808 134532402 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 36196 35519 566 18 0 36178 0
[pid=17937] vsize: 144784
Current children cumulated CPU time (s) 818.03
Current children cumulated vsize (Kb) 144784

[startup+830.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 35902 0 0 0 82614 188 0 0 25 0 1 0 1859344453 149635072 35868 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 36532 35868 566 18 0 36514 0
[pid=17937] vsize: 146128
Current children cumulated CPU time (s) 828.02
Current children cumulated vsize (Kb) 146128

[startup+840.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 36247 0 0 0 83610 190 0 0 25 0 1 0 1859344453 151015424 36213 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 36869 36213 566 18 0 36851 0
[pid=17937] vsize: 147476
Current children cumulated CPU time (s) 838
Current children cumulated vsize (Kb) 147476

[startup+850.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 36578 0 0 0 84606 191 0 0 25 0 1 0 1859344453 152403968 36544 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37208 36544 566 18 0 37190 0
[pid=17937] vsize: 148832
Current children cumulated CPU time (s) 847.97
Current children cumulated vsize (Kb) 148832

[startup+860.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 36919 0 0 0 85602 193 0 0 25 0 1 0 1859344453 153776128 36885 4294967295 134512640 134578447 3221224624 3221223296 134523387 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37543 36885 566 18 0 37525 0
[pid=17937] vsize: 150172
Current children cumulated CPU time (s) 857.95
Current children cumulated vsize (Kb) 150172

[startup+870.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37117 0 0 0 86600 194 0 0 25 0 1 0 1859344453 154689536 37083 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37766 37083 566 18 0 37748 0
[pid=17937] vsize: 151064
Current children cumulated CPU time (s) 867.94
Current children cumulated vsize (Kb) 151064

[startup+880.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37294 0 0 0 87598 195 0 0 25 0 1 0 1859344453 155369472 37260 4294967295 134512640 134578447 3221224624 3221223552 134516681 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37260 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 877.93
Current children cumulated vsize (Kb) 151728

[startup+890.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37294 0 0 0 88597 195 0 0 25 0 1 0 1859344453 155369472 37260 4294967295 134512640 134578447 3221224624 3221220992 134533073 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37260 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 887.92
Current children cumulated vsize (Kb) 151728

[startup+900.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37294 0 0 0 89594 196 0 0 25 0 1 0 1859344453 155369472 37260 4294967295 134512640 134578447 3221224624 3221223296 134523098 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37260 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 897.9
Current children cumulated vsize (Kb) 151728

[startup+910.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37294 0 0 0 90589 199 0 0 25 0 1 0 1859344453 155369472 37260 4294967295 134512640 134578447 3221224624 3221223504 134518966 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37260 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 907.88
Current children cumulated vsize (Kb) 151728

[startup+920.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37294 0 0 0 91586 200 0 0 25 0 1 0 1859344453 155369472 37260 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37260 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 917.86
Current children cumulated vsize (Kb) 151728

[startup+930.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37294 0 0 0 92582 202 0 0 25 0 1 0 1859344453 155369472 37260 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37260 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 927.84
Current children cumulated vsize (Kb) 151728

[startup+940.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37294 0 0 0 93578 203 0 0 25 0 1 0 1859344453 155369472 37260 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 37932 37260 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 937.81
Current children cumulated vsize (Kb) 151728

[startup+950.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37294 0 0 0 94572 206 0 0 25 0 1 0 1859344453 155369472 37260 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37260 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 947.78
Current children cumulated vsize (Kb) 151728

[startup+960.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37294 0 0 0 95570 206 0 0 25 0 1 0 1859344453 155369472 37260 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37260 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 957.76
Current children cumulated vsize (Kb) 151728

[startup+970.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37294 0 0 0 96568 207 0 0 25 0 1 0 1859344453 155369472 37260 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37260 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 967.75
Current children cumulated vsize (Kb) 151728

[startup+980.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37294 0 0 0 97564 208 0 0 25 0 1 0 1859344453 155369472 37260 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37260 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 977.72
Current children cumulated vsize (Kb) 151728

[startup+990.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37294 0 0 0 98561 210 0 0 25 0 1 0 1859344453 155369472 37260 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/17937/statm): 37932 37260 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 987.71
Current children cumulated vsize (Kb) 151728

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37296 0 0 0 99558 211 0 0 25 0 1 0 1859344453 155369472 37262 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37262 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 997.69
Current children cumulated vsize (Kb) 151728

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37296 0 0 0 100555 213 0 0 25 0 1 0 1859344453 155369472 37262 4294967295 134512640 134578447 3221224624 3221222976 134532404 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37262 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 1007.68
Current children cumulated vsize (Kb) 151728

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37296 0 0 0 101553 214 0 0 25 0 1 0 1859344453 155369472 37262 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37262 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 1017.67
Current children cumulated vsize (Kb) 151728

[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37297 0 0 0 102551 215 0 0 25 0 1 0 1859344453 155369472 37263 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37263 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 1027.66
Current children cumulated vsize (Kb) 151728

[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 17937
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37297 0 0 0 103548 215 0 0 25 0 1 0 1859344453 155369472 37263 4294967295 134512640 134578447 3221224624 3221223504 134518981 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37263 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 1037.63
Current children cumulated vsize (Kb) 151728

[startup+1050.04 s]
Raw data (loadavg): 1.08 1.02 0.93 3/59 17978
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37297 0 0 0 104542 218 0 0 25 0 1 0 1859344453 155369472 37263 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37263 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 1047.6
Current children cumulated vsize (Kb) 151728

[startup+1060.04 s]
Raw data (loadavg): 1.07 1.02 0.93 2/56 17992
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37297 0 0 0 105535 222 0 0 25 0 1 0 1859344453 155369472 37263 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37263 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 1057.57
Current children cumulated vsize (Kb) 151728

[startup+1070.04 s]
Raw data (loadavg): 1.06 1.01 0.93 1/56 17992
Raw data (/proc/17937/stat): 17937 (Pueblo) T 17936 17937 20728 0 -1 0 37297 0 0 0 106531 224 0 0 25 0 1 0 1859344453 155369472 37263 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37263 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 1067.55
Current children cumulated vsize (Kb) 151728

[startup+1080.04 s]
Raw data (loadavg): 1.05 1.01 0.93 2/56 17992
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37297 0 0 0 107529 224 0 0 25 0 1 0 1859344453 155369472 37263 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37263 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 1077.53
Current children cumulated vsize (Kb) 151728

[startup+1090.04 s]
Raw data (loadavg): 1.04 1.01 0.93 2/56 17992
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37297 0 0 0 108526 225 0 0 25 0 1 0 1859344453 155369472 37263 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37263 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 1087.51
Current children cumulated vsize (Kb) 151728

[startup+1100.04 s]
Raw data (loadavg): 1.03 1.01 0.93 2/56 17992
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37298 0 0 0 109524 226 0 0 25 0 1 0 1859344453 155369472 37264 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37264 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 1097.5
Current children cumulated vsize (Kb) 151728

[startup+1110.04 s]
Raw data (loadavg): 1.03 1.01 0.93 2/56 17992
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37298 0 0 0 110522 226 0 0 25 0 1 0 1859344453 155369472 37264 4294967295 134512640 134578447 3221224624 3221221776 134532551 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37264 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 1107.48
Current children cumulated vsize (Kb) 151728

[startup+1120.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 17994
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37298 0 0 0 111520 227 0 0 25 0 1 0 1859344453 155369472 37264 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37264 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 1117.47
Current children cumulated vsize (Kb) 151728

[startup+1130.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 17996
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37298 0 0 0 112516 229 0 0 25 0 1 0 1859344453 155369472 37264 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37264 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 1127.45
Current children cumulated vsize (Kb) 151728

[startup+1140.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 17996
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37298 0 0 0 113514 231 0 0 25 0 1 0 1859344453 155369472 37264 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37264 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 1137.45
Current children cumulated vsize (Kb) 151728

[startup+1150.04 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 17996
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37298 0 0 0 114510 232 0 0 25 0 1 0 1859344453 155369472 37264 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37264 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 1147.42
Current children cumulated vsize (Kb) 151728

[startup+1160.04 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 17996
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37298 0 0 0 115508 234 0 0 25 0 1 0 1859344453 155369472 37264 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37264 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 1157.42
Current children cumulated vsize (Kb) 151728

[startup+1170.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 17996
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37298 0 0 0 116504 235 0 0 25 0 1 0 1859344453 155369472 37264 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37264 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 1167.39
Current children cumulated vsize (Kb) 151728

[startup+1180.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 17996
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37298 0 0 0 117501 236 0 0 25 0 1 0 1859344453 155369472 37264 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37264 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 1177.37
Current children cumulated vsize (Kb) 151728

[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 17996
Raw data (/proc/17937/stat): 17937 (Pueblo) R 17936 17937 20728 0 -1 0 37298 0 0 0 118497 237 0 0 25 0 1 0 1859344453 155369472 37264 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17937/statm): 37932 37264 566 18 0 37914 0
[pid=17937] vsize: 151728
Current children cumulated CPU time (s) 1187.34
Current children cumulated vsize (Kb) 151728
One traced child (pid=17937) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1191.81
CPU time (s): 1189.11
CPU user time (s): 1186.66
CPU system time (s): 2.45463
CPU usage (%): 99.7738
Max. virtual memory (cumulated for all children) (Kb): 151728

Verifier Data

Verifier:	OK	-9