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-2.opb
MD5SUM270e069f649d19b0da4e4d23c0e1ebfc
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 constraints41263
Number of constraints which are clauses41263
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 7878

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        823588 kB
Buffers:         33284 kB
Cached:         151276 kB
SwapCached:        876 kB
Active:          80912 kB
Inactive:       106376 kB
HighTotal:      131008 kB
HighFree:         1848 kB
LowTotal:       903652 kB
LowFree:        821740 kB
SwapTotal:     2097136 kB
SwapFree:      2095848 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5768 kB
Slab:            18100 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 15:03:08 (client local time) WITH STATUS 10 IN 1189.2 SECONDS
stats: 5040 0 1189.2 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: 41264
c total time              : 1189.11 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/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1787554692 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1575/statm): 41 3 40 18 0 23 0
[pid=1575] 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.97 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 1683 0 0 0 979 9 0 0 25 0 1 0 1787554692 8495104 1649 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 2074 1649 566 18 0 2056 0
[pid=1575] vsize: 8296
Current children cumulated CPU time (s) 9.88
Current children cumulated vsize (Kb) 8296

[startup+20.0042 s]
Raw data (loadavg): 0.97 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 2096 0 0 0 1972 13 0 0 25 0 1 0 1787554692 10285056 2062 4294967295 134512640 134578447 3221224624 3221223504 134518981 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 2511 2062 566 18 0 2493 0
[pid=1575] vsize: 10044
Current children cumulated CPU time (s) 19.85
Current children cumulated vsize (Kb) 10044

[startup+30.005 s]
Raw data (loadavg): 0.97 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 2623 0 0 0 2965 16 0 0 25 0 1 0 1787554692 12357632 2589 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 3017 2589 566 18 0 2999 0
[pid=1575] vsize: 12068
Current children cumulated CPU time (s) 29.81
Current children cumulated vsize (Kb) 12068

[startup+40.0058 s]
Raw data (loadavg): 0.98 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 3111 0 0 0 3959 18 0 0 25 0 1 0 1787554692 14336000 3077 4294967295 134512640 134578447 3221224624 3221223456 134558345 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 3500 3077 566 18 0 3482 0
[pid=1575] vsize: 14000
Current children cumulated CPU time (s) 39.77
Current children cumulated vsize (Kb) 14000

[startup+50.0066 s]
Raw data (loadavg): 0.98 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 3654 0 0 0 4951 22 0 0 25 0 1 0 1787554692 16572416 3620 4294967295 134512640 134578447 3221224624 3221223296 134523358 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1575/statm): 4046 3620 566 18 0 4028 0
[pid=1575] vsize: 16184
Current children cumulated CPU time (s) 49.73
Current children cumulated vsize (Kb) 16184

[startup+60.0064 s]
Raw data (loadavg): 0.98 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 4142 0 0 0 5947 24 0 0 25 0 1 0 1787554692 18538496 4108 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 4526 4108 566 18 0 4508 0
[pid=1575] vsize: 18104
Current children cumulated CPU time (s) 59.71
Current children cumulated vsize (Kb) 18104

[startup+70.0072 s]
Raw data (loadavg): 0.98 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 4811 0 0 0 6936 29 0 0 25 0 1 0 1787554692 21331968 4777 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 5208 4777 566 18 0 5190 0
[pid=1575] vsize: 20832
Current children cumulated CPU time (s) 69.65
Current children cumulated vsize (Kb) 20832

[startup+80.0079 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 5277 0 0 0 7933 32 0 0 25 0 1 0 1787554692 23273472 5243 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 5682 5243 566 18 0 5664 0
[pid=1575] vsize: 22728
Current children cumulated CPU time (s) 79.65
Current children cumulated vsize (Kb) 22728

[startup+90.0087 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 5785 0 0 0 8928 35 0 0 25 0 1 0 1787554692 25325568 5751 4294967295 134512640 134578447 3221224624 3221223504 134518932 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 6183 5751 566 18 0 6165 0
[pid=1575] vsize: 24732
Current children cumulated CPU time (s) 89.63
Current children cumulated vsize (Kb) 24732

[startup+100.009 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 6404 0 0 0 9922 38 0 0 25 0 1 0 1787554692 27840512 6370 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 6797 6370 566 18 0 6779 0
[pid=1575] vsize: 27188
Current children cumulated CPU time (s) 99.6
Current children cumulated vsize (Kb) 27188

[startup+110.008 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 6885 0 0 0 10917 40 0 0 25 0 1 0 1787554692 29790208 6851 4294967295 134512640 134578447 3221224624 3221223296 134523398 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 7273 6851 566 18 0 7255 0
[pid=1575] vsize: 29092
Current children cumulated CPU time (s) 109.57
Current children cumulated vsize (Kb) 29092

[startup+120.009 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 7463 0 0 0 11912 42 0 0 25 0 1 0 1787554692 32251904 7429 4294967295 134512640 134578447 3221224624 3221223504 134518966 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 7874 7429 566 18 0 7856 0
[pid=1575] vsize: 31496
Current children cumulated CPU time (s) 119.54
Current children cumulated vsize (Kb) 31496

[startup+130.009 s]
Raw data (loadavg): 0.99 1.00 0.96 1/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) T 1574 1575 27660 0 -1 0 8005 0 0 0 12907 46 0 0 25 0 1 0 1787554692 34410496 7971 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/1575/statm): 8401 7971 566 18 0 8383 0
[pid=1575] vsize: 33604
Current children cumulated CPU time (s) 129.53
Current children cumulated vsize (Kb) 33604

[startup+140.01 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 8667 0 0 0 13899 50 0 0 25 0 1 0 1787554692 37224448 8633 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 9088 8633 566 18 0 9070 0
[pid=1575] vsize: 36352
Current children cumulated CPU time (s) 139.49
Current children cumulated vsize (Kb) 36352

[startup+150.01 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 9176 0 0 0 14894 52 0 0 25 0 1 0 1787554692 39280640 9142 4294967295 134512640 134578447 3221224624 3221223476 134555888 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 9590 9142 566 18 0 9572 0
[pid=1575] vsize: 38360
Current children cumulated CPU time (s) 149.46
Current children cumulated vsize (Kb) 38360

[startup+160.01 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 9749 0 0 0 15888 55 0 0 25 0 1 0 1787554692 41619456 9715 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 10161 9715 566 18 0 10143 0
[pid=1575] vsize: 40644
Current children cumulated CPU time (s) 159.43
Current children cumulated vsize (Kb) 40644

[startup+170.011 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 10194 0 0 0 16882 57 0 0 25 0 1 0 1787554692 43511808 10160 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 10623 10160 566 18 0 10605 0
[pid=1575] vsize: 42492
Current children cumulated CPU time (s) 169.39
Current children cumulated vsize (Kb) 42492

[startup+180.012 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 10696 0 0 0 17878 59 0 0 25 0 1 0 1787554692 45707264 10662 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 11159 10662 566 18 0 11141 0
[pid=1575] vsize: 44636
Current children cumulated CPU time (s) 179.37
Current children cumulated vsize (Kb) 44636

[startup+190.013 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 11247 0 0 0 18874 61 0 0 25 0 1 0 1787554692 47910912 11213 4294967295 134512640 134578447 3221224624 3221223476 134555746 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 11697 11213 566 18 0 11679 0
[pid=1575] vsize: 46788
Current children cumulated CPU time (s) 189.35
Current children cumulated vsize (Kb) 46788

[startup+200.012 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 11860 0 0 0 19869 63 0 0 25 0 1 0 1787554692 50524160 11826 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 12335 11826 566 18 0 12317 0
[pid=1575] vsize: 49340
Current children cumulated CPU time (s) 199.32
Current children cumulated vsize (Kb) 49340

[startup+210.013 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 12447 0 0 0 20864 66 0 0 25 0 1 0 1787554692 52830208 12413 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 12898 12413 566 18 0 12880 0
[pid=1575] vsize: 51592
Current children cumulated CPU time (s) 209.3
Current children cumulated vsize (Kb) 51592

[startup+220.014 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 13084 0 0 0 21856 70 0 0 25 0 1 0 1787554692 55980032 13050 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 13667 13050 566 18 0 13649 0
[pid=1575] vsize: 54668
Current children cumulated CPU time (s) 219.26
Current children cumulated vsize (Kb) 54668

[startup+230.014 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 13533 0 0 0 22852 73 0 0 25 0 1 0 1787554692 57819136 13499 4294967295 134512640 134578447 3221224624 3221222976 134532418 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 14116 13499 566 18 0 14098 0
[pid=1575] vsize: 56464
Current children cumulated CPU time (s) 229.25
Current children cumulated vsize (Kb) 56464

[startup+240.015 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 13906 0 0 0 23848 75 0 0 25 0 1 0 1787554692 59359232 13872 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 14492 13872 566 18 0 14474 0
[pid=1575] vsize: 57968
Current children cumulated CPU time (s) 239.23
Current children cumulated vsize (Kb) 57968

[startup+250.015 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 14422 0 0 0 24843 77 0 0 25 0 1 0 1787554692 61566976 14388 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 15031 14388 566 18 0 15013 0
[pid=1575] vsize: 60124
Current children cumulated CPU time (s) 249.2
Current children cumulated vsize (Kb) 60124

[startup+260.015 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 14869 0 0 0 25838 79 0 0 25 0 1 0 1787554692 63332352 14835 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 15462 14835 566 18 0 15444 0
[pid=1575] vsize: 61848
Current children cumulated CPU time (s) 259.17
Current children cumulated vsize (Kb) 61848

[startup+270.016 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 15284 0 0 0 26832 82 0 0 25 0 1 0 1787554692 65048576 15250 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 15881 15250 566 18 0 15863 0
[pid=1575] vsize: 63524
Current children cumulated CPU time (s) 269.14
Current children cumulated vsize (Kb) 63524

[startup+280.016 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 15783 0 0 0 27826 84 0 0 25 0 1 0 1787554692 67239936 15749 4294967295 134512640 134578447 3221224624 3221223296 134523156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 16416 15749 566 18 0 16398 0
[pid=1575] vsize: 65664
Current children cumulated CPU time (s) 279.1
Current children cumulated vsize (Kb) 65664

[startup+290.017 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 16225 0 0 0 28822 86 0 0 25 0 1 0 1787554692 69046272 16191 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 16857 16191 566 18 0 16839 0
[pid=1575] vsize: 67428
Current children cumulated CPU time (s) 289.08
Current children cumulated vsize (Kb) 67428

[startup+300.017 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 16595 0 0 0 29818 88 0 0 25 0 1 0 1787554692 70656000 16561 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 17250 16561 566 18 0 17232 0
[pid=1575] vsize: 69000
Current children cumulated CPU time (s) 299.06
Current children cumulated vsize (Kb) 69000

[startup+310.017 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 16882 0 0 0 30815 90 0 0 25 0 1 0 1787554692 71798784 16848 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 17529 16848 566 18 0 17511 0
[pid=1575] vsize: 70116
Current children cumulated CPU time (s) 309.05
Current children cumulated vsize (Kb) 70116

[startup+320.018 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 17329 0 0 0 31812 92 0 0 25 0 1 0 1787554692 73793536 17295 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 18016 17295 566 18 0 17998 0
[pid=1575] vsize: 72064
Current children cumulated CPU time (s) 319.04
Current children cumulated vsize (Kb) 72064

[startup+330.019 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 17716 0 0 0 32808 94 0 0 25 0 1 0 1787554692 75427840 17682 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 18415 17682 566 18 0 18397 0
[pid=1575] vsize: 73660
Current children cumulated CPU time (s) 329.02
Current children cumulated vsize (Kb) 73660

[startup+340.019 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 18223 0 0 0 33801 97 0 0 25 0 1 0 1787554692 77467648 18189 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 18913 18189 566 18 0 18895 0
[pid=1575] vsize: 75652
Current children cumulated CPU time (s) 338.98
Current children cumulated vsize (Kb) 75652

[startup+350.02 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 18361 0 0 0 34799 98 0 0 25 0 1 0 1787554692 78004224 18327 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 19044 18327 566 18 0 19026 0
[pid=1575] vsize: 76176
Current children cumulated CPU time (s) 348.97
Current children cumulated vsize (Kb) 76176

[startup+360.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 18661 0 0 0 35797 99 0 0 25 0 1 0 1787554692 79372288 18627 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 19378 18627 566 18 0 19360 0
[pid=1575] vsize: 77512
Current children cumulated CPU time (s) 358.96
Current children cumulated vsize (Kb) 77512

[startup+370.022 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 19123 0 0 0 36791 102 0 0 25 0 1 0 1787554692 81420288 19089 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 19878 19089 566 18 0 19860 0
[pid=1575] vsize: 79512
Current children cumulated CPU time (s) 368.93
Current children cumulated vsize (Kb) 79512

[startup+380.022 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 19600 0 0 0 37788 104 0 0 25 0 1 0 1787554692 83345408 19566 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 20348 19566 566 18 0 20330 0
[pid=1575] vsize: 81392
Current children cumulated CPU time (s) 378.92
Current children cumulated vsize (Kb) 81392

[startup+390.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 20094 0 0 0 38783 106 0 0 25 0 1 0 1787554692 85385216 20060 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 20846 20060 566 18 0 20828 0
[pid=1575] vsize: 83384
Current children cumulated CPU time (s) 388.89
Current children cumulated vsize (Kb) 83384

[startup+400.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 20511 0 0 0 39777 108 0 0 25 0 1 0 1787554692 87126016 20477 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 21271 20477 566 18 0 21253 0
[pid=1575] vsize: 85084
Current children cumulated CPU time (s) 398.85
Current children cumulated vsize (Kb) 85084

[startup+410.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 21052 0 0 0 40773 110 0 0 25 0 1 0 1787554692 89403392 21018 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 21827 21018 566 18 0 21809 0
[pid=1575] vsize: 87308
Current children cumulated CPU time (s) 408.83
Current children cumulated vsize (Kb) 87308

[startup+420.022 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 21539 0 0 0 41767 114 0 0 25 0 1 0 1787554692 91398144 21505 4294967295 134512640 134578447 3221224624 3221221024 134533053 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 22314 21505 566 18 0 22296 0
[pid=1575] vsize: 89256
Current children cumulated CPU time (s) 418.81
Current children cumulated vsize (Kb) 89256

[startup+430.022 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 21957 0 0 0 42762 116 0 0 25 0 1 0 1787554692 93057024 21923 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 22719 21923 566 18 0 22701 0
[pid=1575] vsize: 90876
Current children cumulated CPU time (s) 428.78
Current children cumulated vsize (Kb) 90876

[startup+440.021 s]
Raw data (loadavg): 0.99 1.00 0.96 1/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) T 1574 1575 27660 0 -1 0 22396 0 0 0 43756 118 0 0 25 0 1 0 1787554692 94830592 22362 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/1575/statm): 23152 22362 566 18 0 23134 0
[pid=1575] vsize: 92608
Current children cumulated CPU time (s) 438.74
Current children cumulated vsize (Kb) 92608

[startup+450.022 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 22831 0 0 0 44752 120 0 0 25 0 1 0 1787554692 96628736 22797 4294967295 134512640 134578447 3221224624 3221223504 134518903 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 23591 22797 566 18 0 23573 0
[pid=1575] vsize: 94364
Current children cumulated CPU time (s) 448.72
Current children cumulated vsize (Kb) 94364

[startup+460.022 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 23326 0 0 0 45748 122 0 0 25 0 1 0 1787554692 98660352 23292 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 24087 23292 566 18 0 24069 0
[pid=1575] vsize: 96348
Current children cumulated CPU time (s) 458.7
Current children cumulated vsize (Kb) 96348

[startup+470.023 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 23805 0 0 0 46744 124 0 0 25 0 1 0 1787554692 100618240 23771 4294967295 134512640 134578447 3221224624 3221223476 134555857 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 24565 23771 566 18 0 24547 0
[pid=1575] vsize: 98260
Current children cumulated CPU time (s) 468.68
Current children cumulated vsize (Kb) 98260

[startup+480.023 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 24217 0 0 0 47741 126 0 0 25 0 1 0 1787554692 102309888 24183 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 24978 24183 566 18 0 24960 0
[pid=1575] vsize: 99912
Current children cumulated CPU time (s) 478.67
Current children cumulated vsize (Kb) 99912

[startup+490.023 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 24685 0 0 0 48737 128 0 0 25 0 1 0 1787554692 104235008 24651 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 25448 24651 566 18 0 25430 0
[pid=1575] vsize: 101792
Current children cumulated CPU time (s) 488.65
Current children cumulated vsize (Kb) 101792

[startup+500.023 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 25211 0 0 0 49729 131 0 0 25 0 1 0 1787554692 106459136 25177 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 25991 25177 566 18 0 25973 0
[pid=1575] vsize: 103964
Current children cumulated CPU time (s) 498.6
Current children cumulated vsize (Kb) 103964

[startup+510.023 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 25544 0 0 0 50726 133 0 0 25 0 1 0 1787554692 107696128 25510 4294967295 134512640 134578447 3221224624 3221223504 134527728 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 26293 25510 566 18 0 26275 0
[pid=1575] vsize: 105172
Current children cumulated CPU time (s) 508.59
Current children cumulated vsize (Kb) 105172

[startup+520.024 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 25679 0 0 0 51724 134 0 0 25 0 1 0 1787554692 108244992 25645 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 26427 25645 566 18 0 26409 0
[pid=1575] vsize: 105708
Current children cumulated CPU time (s) 518.58
Current children cumulated vsize (Kb) 105708

[startup+530.024 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 25912 0 0 0 52723 135 0 0 25 0 1 0 1787554692 109195264 25878 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 26659 25878 566 18 0 26641 0
[pid=1575] vsize: 106636
Current children cumulated CPU time (s) 528.58
Current children cumulated vsize (Kb) 106636

[startup+540.024 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 26138 0 0 0 53721 136 0 0 25 0 1 0 1787554692 110231552 26104 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 26912 26104 566 18 0 26894 0
[pid=1575] vsize: 107648
Current children cumulated CPU time (s) 538.57
Current children cumulated vsize (Kb) 107648

[startup+550.024 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 26463 0 0 0 54718 137 0 0 25 0 1 0 1787554692 111595520 26429 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 27245 26429 566 18 0 27227 0
[pid=1575] vsize: 108980
Current children cumulated CPU time (s) 548.55
Current children cumulated vsize (Kb) 108980

[startup+560.024 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 26741 0 0 0 55716 139 0 0 25 0 1 0 1787554692 112668672 26707 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 27507 26707 566 18 0 27489 0
[pid=1575] vsize: 110028
Current children cumulated CPU time (s) 558.55
Current children cumulated vsize (Kb) 110028

[startup+570.025 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 27189 0 0 0 56712 141 0 0 25 0 1 0 1787554692 114581504 27155 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 27974 27155 566 18 0 27956 0
[pid=1575] vsize: 111896
Current children cumulated CPU time (s) 568.53
Current children cumulated vsize (Kb) 111896

[startup+580.024 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 27688 0 0 0 57708 142 0 0 25 0 1 0 1787554692 116506624 27654 4294967295 134512640 134578447 3221224624 3221223472 134556388 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 28444 27654 566 18 0 28426 0
[pid=1575] vsize: 113776
Current children cumulated CPU time (s) 578.5
Current children cumulated vsize (Kb) 113776

[startup+590.024 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 27857 0 0 0 58705 144 0 0 25 0 1 0 1787554692 117248000 27823 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 28625 27823 566 18 0 28607 0
[pid=1575] vsize: 114500
Current children cumulated CPU time (s) 588.49
Current children cumulated vsize (Kb) 114500

[startup+600.025 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 28145 0 0 0 59702 145 0 0 25 0 1 0 1787554692 118534144 28111 4294967295 134512640 134578447 3221224624 3221223476 134555786 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 28939 28111 566 18 0 28921 0
[pid=1575] vsize: 115756
Current children cumulated CPU time (s) 598.47
Current children cumulated vsize (Kb) 115756

[startup+610.025 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 28314 0 0 0 60701 146 0 0 25 0 1 0 1787554692 119095296 28280 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 29076 28280 566 18 0 29058 0
[pid=1575] vsize: 116304
Current children cumulated CPU time (s) 608.47
Current children cumulated vsize (Kb) 116304

[startup+620.025 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 28506 0 0 0 61698 147 0 0 25 0 1 0 1787554692 119930880 28472 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 29280 28472 566 18 0 29262 0
[pid=1575] vsize: 117120
Current children cumulated CPU time (s) 618.45
Current children cumulated vsize (Kb) 117120

[startup+630.026 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 28747 0 0 0 62696 148 0 0 25 0 1 0 1787554692 121032704 28713 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 29549 28713 566 18 0 29531 0
[pid=1575] vsize: 118196
Current children cumulated CPU time (s) 628.44
Current children cumulated vsize (Kb) 118196

[startup+640.026 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 28950 0 0 0 63693 150 0 0 25 0 1 0 1787554692 121856000 28916 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 29750 28916 566 18 0 29732 0
[pid=1575] vsize: 119000
Current children cumulated CPU time (s) 638.43
Current children cumulated vsize (Kb) 119000

[startup+650.026 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 29108 0 0 0 64691 150 0 0 25 0 1 0 1787554692 122544128 29074 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 29918 29074 566 18 0 29900 0
[pid=1575] vsize: 119672
Current children cumulated CPU time (s) 648.41
Current children cumulated vsize (Kb) 119672

[startup+660.027 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 29340 0 0 0 65689 152 0 0 25 0 1 0 1787554692 123494400 29306 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 30150 29306 566 18 0 30132 0
[pid=1575] vsize: 120600
Current children cumulated CPU time (s) 658.41
Current children cumulated vsize (Kb) 120600

[startup+670.027 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 29753 0 0 0 66686 153 0 0 25 0 1 0 1787554692 125136896 29719 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 30551 29719 566 18 0 30533 0
[pid=1575] vsize: 122204
Current children cumulated CPU time (s) 668.39
Current children cumulated vsize (Kb) 122204

[startup+680.027 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 30166 0 0 0 67683 154 0 0 25 0 1 0 1787554692 126939136 30132 4294967295 134512640 134578447 3221224624 3221223296 134523315 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 30991 30132 566 18 0 30973 0
[pid=1575] vsize: 123964
Current children cumulated CPU time (s) 678.37
Current children cumulated vsize (Kb) 123964

[startup+690.027 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 30622 0 0 0 68678 156 0 0 25 0 1 0 1787554692 128794624 30588 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 31444 30588 566 18 0 31426 0
[pid=1575] vsize: 125776
Current children cumulated CPU time (s) 688.34
Current children cumulated vsize (Kb) 125776

[startup+700.028 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 31059 0 0 0 69675 158 0 0 25 0 1 0 1787554692 130527232 31025 4294967295 134512640 134578447 3221224624 3221223520 134519817 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 31867 31025 566 18 0 31849 0
[pid=1575] vsize: 127468
Current children cumulated CPU time (s) 698.33
Current children cumulated vsize (Kb) 127468

[startup+710.028 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 31393 0 0 0 70671 160 0 0 25 0 1 0 1787554692 131866624 31359 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 32194 31359 566 18 0 32176 0
[pid=1575] vsize: 128776
Current children cumulated CPU time (s) 708.31
Current children cumulated vsize (Kb) 128776

[startup+720.028 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 31735 0 0 0 71668 162 0 0 25 0 1 0 1787554692 133353472 31701 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 32557 31701 566 18 0 32539 0
[pid=1575] vsize: 130228
Current children cumulated CPU time (s) 718.3
Current children cumulated vsize (Kb) 130228

[startup+730.028 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 32231 0 0 0 72664 163 0 0 25 0 1 0 1787554692 135426048 32197 4294967295 134512640 134578447 3221224624 3221223296 134523315 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 33063 32197 566 18 0 33045 0
[pid=1575] vsize: 132252
Current children cumulated CPU time (s) 728.27
Current children cumulated vsize (Kb) 132252

[startup+740.028 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 32709 0 0 0 73659 166 0 0 25 0 1 0 1787554692 137379840 32675 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 33540 32675 566 18 0 33522 0
[pid=1575] vsize: 134160
Current children cumulated CPU time (s) 738.25
Current children cumulated vsize (Kb) 134160

[startup+750.029 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 33155 0 0 0 74654 168 0 0 25 0 1 0 1787554692 139190272 33121 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 33982 33122 566 18 0 33964 0
[pid=1575] vsize: 135928
Current children cumulated CPU time (s) 748.22
Current children cumulated vsize (Kb) 135928

[startup+760.029 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 33485 0 0 0 75651 169 0 0 25 0 1 0 1787554692 140529664 33451 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 34309 33451 566 18 0 34291 0
[pid=1575] vsize: 137236
Current children cumulated CPU time (s) 758.2
Current children cumulated vsize (Kb) 137236

[startup+770.029 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 33894 0 0 0 76648 171 0 0 25 0 1 0 1787554692 142209024 33860 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 34719 33860 566 18 0 34701 0
[pid=1575] vsize: 138876
Current children cumulated CPU time (s) 768.19
Current children cumulated vsize (Kb) 138876

[startup+780.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 34281 0 0 0 77644 173 0 0 25 0 1 0 1787554692 143794176 34247 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 35106 34247 566 18 0 35088 0
[pid=1575] vsize: 140424
Current children cumulated CPU time (s) 778.17
Current children cumulated vsize (Kb) 140424

[startup+790.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 34532 0 0 0 78640 175 0 0 25 0 1 0 1787554692 144756736 34498 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 35341 34498 566 18 0 35323 0
[pid=1575] vsize: 141364
Current children cumulated CPU time (s) 788.15
Current children cumulated vsize (Kb) 141364

[startup+800.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 34888 0 0 0 79637 176 0 0 25 0 1 0 1787554692 146259968 34854 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 35708 34854 566 18 0 35690 0
[pid=1575] vsize: 142832
Current children cumulated CPU time (s) 798.13
Current children cumulated vsize (Kb) 142832

[startup+810.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 35243 0 0 0 80633 178 0 0 25 0 1 0 1787554692 147767296 35209 4294967295 134512640 134578447 3221224624 3221223192 1075289077 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 36076 35209 566 18 0 36058 0
[pid=1575] vsize: 144304
Current children cumulated CPU time (s) 808.11
Current children cumulated vsize (Kb) 144304

[startup+820.031 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 35854 0 0 0 81626 182 0 0 25 0 1 0 1787554692 150261760 35820 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 36685 35820 566 18 0 36667 0
[pid=1575] vsize: 146740
Current children cumulated CPU time (s) 818.08
Current children cumulated vsize (Kb) 146740

[startup+830.031 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 36196 0 0 0 82621 185 0 0 25 0 1 0 1787554692 151678976 36162 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1575/statm): 37031 36162 566 18 0 37013 0
[pid=1575] vsize: 148124
Current children cumulated CPU time (s) 828.06
Current children cumulated vsize (Kb) 148124

[startup+840.032 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 36441 0 0 0 83618 187 0 0 25 0 1 0 1787554692 152641536 36407 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 37266 36407 566 18 0 37248 0
[pid=1575] vsize: 149064
Current children cumulated CPU time (s) 838.05
Current children cumulated vsize (Kb) 149064

[startup+850.032 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 36783 0 0 0 84614 188 0 0 25 0 1 0 1787554692 154165248 36749 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 37638 36749 566 18 0 37620 0
[pid=1575] vsize: 150552
Current children cumulated CPU time (s) 848.02
Current children cumulated vsize (Kb) 150552

[startup+860.031 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 37012 0 0 0 85612 190 0 0 25 0 1 0 1787554692 154988544 36978 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 37839 36978 566 18 0 37821 0
[pid=1575] vsize: 151356
Current children cumulated CPU time (s) 858.02
Current children cumulated vsize (Kb) 151356

[startup+870.032 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 37175 0 0 0 86610 191 0 0 25 0 1 0 1787554692 155901952 37141 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 38062 37141 566 18 0 38044 0
[pid=1575] vsize: 152248
Current children cumulated CPU time (s) 868.01
Current children cumulated vsize (Kb) 152248

[startup+880.033 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 37417 0 0 0 87609 192 0 0 25 0 1 0 1787554692 156979200 37383 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 38325 37383 566 18 0 38307 0
[pid=1575] vsize: 153300
Current children cumulated CPU time (s) 878.01
Current children cumulated vsize (Kb) 153300

[startup+890.033 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 37776 0 0 0 88606 194 0 0 25 0 1 0 1787554692 158478336 37742 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 38691 37742 566 18 0 38673 0
[pid=1575] vsize: 154764
Current children cumulated CPU time (s) 888
Current children cumulated vsize (Kb) 154764

[startup+900.034 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 37988 0 0 0 89603 195 0 0 25 0 1 0 1787554692 159440896 37954 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 38926 37954 566 18 0 38908 0
[pid=1575] vsize: 155704
Current children cumulated CPU time (s) 897.98
Current children cumulated vsize (Kb) 155704

[startup+910.033 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 38253 0 0 0 90600 197 0 0 25 0 1 0 1787554692 160546816 38219 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 39196 38219 566 18 0 39178 0
[pid=1575] vsize: 156784
Current children cumulated CPU time (s) 907.97
Current children cumulated vsize (Kb) 156784

[startup+920.034 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 38466 0 0 0 91597 198 0 0 25 0 1 0 1787554692 161374208 38432 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 39398 38432 566 18 0 39380 0
[pid=1575] vsize: 157592
Current children cumulated CPU time (s) 917.95
Current children cumulated vsize (Kb) 157592

[startup+930.035 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 38957 0 0 0 92593 200 0 0 25 0 1 0 1787554692 163319808 38923 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 39873 38923 566 18 0 39855 0
[pid=1575] vsize: 159492
Current children cumulated CPU time (s) 927.93
Current children cumulated vsize (Kb) 159492

[startup+940.035 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 39295 0 0 0 93589 202 0 0 25 0 1 0 1787554692 164708352 39261 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 40212 39261 566 18 0 40194 0
[pid=1575] vsize: 160848
Current children cumulated CPU time (s) 937.91
Current children cumulated vsize (Kb) 160848

[startup+950.035 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 39588 0 0 0 94587 203 0 0 25 0 1 0 1787554692 165949440 39554 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 40515 39554 566 18 0 40497 0
[pid=1575] vsize: 162060
Current children cumulated CPU time (s) 947.9
Current children cumulated vsize (Kb) 162060

[startup+960.036 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 39996 0 0 0 95583 204 0 0 25 0 1 0 1787554692 167632896 39962 4294967295 134512640 134578447 3221224624 3221223296 134523098 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 40926 39962 566 18 0 40908 0
[pid=1575] vsize: 163704
Current children cumulated CPU time (s) 957.87
Current children cumulated vsize (Kb) 163704

[startup+970.037 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 40341 0 0 0 96579 206 0 0 25 0 1 0 1787554692 169021440 40307 4294967295 134512640 134578447 3221224624 3221222400 134532475 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 41265 40307 566 18 0 41247 0
[pid=1575] vsize: 165060
Current children cumulated CPU time (s) 967.85
Current children cumulated vsize (Kb) 165060

[startup+980.038 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 40657 0 0 0 97576 208 0 0 25 0 1 0 1787554692 170258432 40623 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 41567 40623 566 18 0 41549 0
[pid=1575] vsize: 166268
Current children cumulated CPU time (s) 977.84
Current children cumulated vsize (Kb) 166268

[startup+990.038 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 41029 0 0 0 98572 210 0 0 25 0 1 0 1787554692 171757568 40995 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 41933 40995 566 18 0 41915 0
[pid=1575] vsize: 167732
Current children cumulated CPU time (s) 987.82
Current children cumulated vsize (Kb) 167732

[startup+1000.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 1575
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 41247 0 0 0 99570 211 0 0 25 0 1 0 1787554692 172724224 41213 4294967295 134512640 134578447 3221224624 3221223552 134516683 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 42169 41213 566 18 0 42151 0
[pid=1575] vsize: 168676
Current children cumulated CPU time (s) 997.81
Current children cumulated vsize (Kb) 168676

[startup+1010.04 s]
Raw data (loadavg): 0.99 1.00 0.96 4/59 1598
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 41247 0 0 0 100569 211 0 0 25 0 1 0 1787554692 172724224 41213 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 42169 41213 566 18 0 42151 0
[pid=1575] vsize: 168676
Current children cumulated CPU time (s) 1007.8
Current children cumulated vsize (Kb) 168676

[startup+1020.04 s]
Raw data (loadavg): 1.07 1.01 0.96 2/56 1630
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 41247 0 0 0 101565 212 0 0 25 0 1 0 1787554692 172724224 41213 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 42169 41213 566 18 0 42151 0
[pid=1575] vsize: 168676
Current children cumulated CPU time (s) 1017.77
Current children cumulated vsize (Kb) 168676

[startup+1030.04 s]
Raw data (loadavg): 1.06 1.01 0.96 2/56 1630
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 41247 0 0 0 102562 214 0 0 25 0 1 0 1787554692 172724224 41213 4294967295 134512640 134578447 3221224624 3221223536 134557800 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 42169 41213 566 18 0 42151 0
[pid=1575] vsize: 168676
Current children cumulated CPU time (s) 1027.76
Current children cumulated vsize (Kb) 168676

[startup+1040.04 s]
Raw data (loadavg): 1.05 1.01 0.96 2/56 1630
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 41247 0 0 0 103558 215 0 0 25 0 1 0 1787554692 172724224 41213 4294967295 134512640 134578447 3221224624 3221223504 134518959 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 42169 41213 566 18 0 42151 0
[pid=1575] vsize: 168676
Current children cumulated CPU time (s) 1037.73
Current children cumulated vsize (Kb) 168676

[startup+1050.04 s]
Raw data (loadavg): 1.04 1.01 0.96 2/56 1630
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 41247 0 0 0 104555 216 0 0 25 0 1 0 1787554692 172724224 41213 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 42169 41213 566 18 0 42151 0
[pid=1575] vsize: 168676
Current children cumulated CPU time (s) 1047.71
Current children cumulated vsize (Kb) 168676

[startup+1060.04 s]
Raw data (loadavg): 1.03 1.01 0.96 2/56 1630
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 41247 0 0 0 105552 218 0 0 25 0 1 0 1787554692 172724224 41213 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 42169 41213 566 18 0 42151 0
[pid=1575] vsize: 168676
Current children cumulated CPU time (s) 1057.7
Current children cumulated vsize (Kb) 168676

[startup+1070.04 s]
Raw data (loadavg): 1.03 1.01 0.96 2/56 1630
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 41247 0 0 0 106548 219 0 0 25 0 1 0 1787554692 172724224 41213 4294967295 134512640 134578447 3221224624 3221223476 134555869 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 42169 41213 566 18 0 42151 0
[pid=1575] vsize: 168676
Current children cumulated CPU time (s) 1067.67
Current children cumulated vsize (Kb) 168676

[startup+1080.04 s]
Raw data (loadavg): 1.02 1.01 0.96 2/56 1630
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 41247 0 0 0 107544 220 0 0 25 0 1 0 1787554692 172724224 41213 4294967295 134512640 134578447 3221224624 3221223536 134557432 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 42169 41213 566 18 0 42151 0
[pid=1575] vsize: 168676
Current children cumulated CPU time (s) 1077.64
Current children cumulated vsize (Kb) 168676

[startup+1090.04 s]
Raw data (loadavg): 1.02 1.00 0.96 2/56 1634
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 41247 0 0 0 108541 221 0 0 25 0 1 0 1787554692 172724224 41213 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 42169 41213 566 18 0 42151 0
[pid=1575] vsize: 168676
Current children cumulated CPU time (s) 1087.62
Current children cumulated vsize (Kb) 168676

[startup+1100.04 s]
Raw data (loadavg): 1.02 1.00 0.96 2/56 1634
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 41247 0 0 0 109538 223 0 0 25 0 1 0 1787554692 172724224 41213 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 42169 41213 566 18 0 42151 0
[pid=1575] vsize: 168676
Current children cumulated CPU time (s) 1097.61
Current children cumulated vsize (Kb) 168676

[startup+1110.04 s]
Raw data (loadavg): 1.01 1.00 0.96 2/56 1634
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 41247 0 0 0 110535 225 0 0 25 0 1 0 1787554692 172724224 41213 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 42169 41213 566 18 0 42151 0
[pid=1575] vsize: 168676
Current children cumulated CPU time (s) 1107.6
Current children cumulated vsize (Kb) 168676

[startup+1120.04 s]
Raw data (loadavg): 1.01 1.00 0.96 2/56 1634
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 41247 0 0 0 111531 226 0 0 25 0 1 0 1787554692 172724224 41213 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 42169 41213 566 18 0 42151 0
[pid=1575] vsize: 168676
Current children cumulated CPU time (s) 1117.57
Current children cumulated vsize (Kb) 168676

[startup+1130.04 s]
Raw data (loadavg): 1.01 1.00 0.96 2/56 1634
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 41247 0 0 0 112528 227 0 0 25 0 1 0 1787554692 172724224 41213 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 42169 41213 566 18 0 42151 0
[pid=1575] vsize: 168676
Current children cumulated CPU time (s) 1127.55
Current children cumulated vsize (Kb) 168676

[startup+1140.04 s]
Raw data (loadavg): 1.01 1.00 0.96 2/56 1634
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 41247 0 0 0 113525 228 0 0 25 0 1 0 1787554692 172724224 41213 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 42169 41213 566 18 0 42151 0
[pid=1575] vsize: 168676
Current children cumulated CPU time (s) 1137.53
Current children cumulated vsize (Kb) 168676

[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 1634
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 41247 0 0 0 114521 229 0 0 25 0 1 0 1787554692 172724224 41213 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 42169 41213 566 18 0 42151 0
[pid=1575] vsize: 168676
Current children cumulated CPU time (s) 1147.5
Current children cumulated vsize (Kb) 168676

[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 1634
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 41253 0 0 0 115518 231 0 0 25 0 1 0 1787554692 172724224 41219 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 42169 41219 566 18 0 42151 0
[pid=1575] vsize: 168676
Current children cumulated CPU time (s) 1157.49
Current children cumulated vsize (Kb) 168676

[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 1634
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 41255 0 0 0 116515 232 0 0 25 0 1 0 1787554692 172724224 41221 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 42169 41221 566 18 0 42151 0
[pid=1575] vsize: 168676
Current children cumulated CPU time (s) 1167.47
Current children cumulated vsize (Kb) 168676

[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 1634
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 41255 0 0 0 117512 233 0 0 25 0 1 0 1787554692 172724224 41221 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 42169 41221 566 18 0 42151 0
[pid=1575] vsize: 168676
Current children cumulated CPU time (s) 1177.45
Current children cumulated vsize (Kb) 168676

[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 1634
Raw data (/proc/1575/stat): 1575 (Pueblo) R 1574 1575 27660 0 -1 0 41255 0 0 0 118510 234 0 0 25 0 1 0 1787554692 172724224 41221 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1575/statm): 42169 41221 566 18 0 42151 0
[pid=1575] vsize: 168676
Current children cumulated CPU time (s) 1187.44
Current children cumulated vsize (Kb) 168676
One traced child (pid=1575) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1191.8
CPU time (s): 1189.2
CPU user time (s): 1186.77
CPU system time (s): 2.42063
CPU usage (%): 99.7814
Max. virtual memory (cumulated for all children) (Kb): 168676

Verifier Data

Verifier:	OK	-8