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/frb45-21-opb/normalized-frb45-21-1.opb
MD5SUMaa1ea44fce5b7bfbe62733720f941ebb
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -36
Optimality of the best value was proved NO
Number of terms in the objective function 945
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 945
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 945
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.05
Number of variables945
Total number of constraints59186
Number of constraints which are clauses59186
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 7882

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        847572 kB
Buffers:         32364 kB
Cached:         126276 kB
SwapCached:       1160 kB
Active:          51692 kB
Inactive:       109772 kB
HighTotal:      131008 kB
HighFree:         6328 kB
LowTotal:       903652 kB
LowFree:        841244 kB
SwapTotal:     2097892 kB
SwapFree:      2096252 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5700 kB
Slab:            19920 kB
Committed_AS:    64380 kB
PageTables:        340 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 15:12:05 (client local time) WITH STATUS 10 IN 1189.19 SECONDS
stats: 5044 0 1189.19 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: 945 - #constraints read: 59187
c total time              : 1189.11 s
s SATISFIABLE
v -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -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/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859361044 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11432/statm): 41 3 40 18 0 23 0
[pid=11432] 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.0037 s]
Raw data (loadavg): 1.18 1.05 0.95 2/57 11434
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 2299 0 0 0 979 10 0 0 25 0 1 0 1859361044 10948608 2265 4294967295 134512640 134578447 3221224624 3221223504 134518966 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 2673 2265 566 18 0 2655 0
[pid=11432] vsize: 10692
Current children cumulated CPU time (s) 9.89
Current children cumulated vsize (Kb) 10692

[startup+20.0037 s]
Raw data (loadavg): 1.15 1.04 0.95 2/57 11434
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 2299 0 0 0 1973 12 0 0 25 0 1 0 1859361044 10948608 2265 4294967295 134512640 134578447 3221224624 3221223296 134523315 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11432/statm): 2673 2265 566 18 0 2655 0
[pid=11432] vsize: 10692
Current children cumulated CPU time (s) 19.85
Current children cumulated vsize (Kb) 10692

[startup+30.0046 s]
Raw data (loadavg): 1.13 1.04 0.95 2/57 11434
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 2629 0 0 0 2966 14 0 0 25 0 1 0 1859361044 12337152 2595 4294967295 134512640 134578447 3221224624 3221223296 134523343 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11432/statm): 3012 2595 566 18 0 2994 0
[pid=11432] vsize: 12048
Current children cumulated CPU time (s) 29.8
Current children cumulated vsize (Kb) 12048

[startup+40.0055 s]
Raw data (loadavg): 1.11 1.04 0.95 2/57 11434
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 3094 0 0 0 3958 17 0 0 25 0 1 0 1859361044 14209024 3060 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11432/statm): 3469 3060 566 18 0 3451 0
[pid=11432] vsize: 13876
Current children cumulated CPU time (s) 39.75
Current children cumulated vsize (Kb) 13876

[startup+50.0064 s]
Raw data (loadavg): 1.09 1.04 0.95 2/57 11434
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 3595 0 0 0 4954 20 0 0 25 0 1 0 1859361044 16351232 3561 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11432/statm): 3992 3561 566 18 0 3974 0
[pid=11432] vsize: 15968
Current children cumulated CPU time (s) 49.74
Current children cumulated vsize (Kb) 15968

[startup+60.0074 s]
Raw data (loadavg): 1.08 1.04 0.95 2/57 11434
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 4052 0 0 0 5947 23 0 0 25 0 1 0 1859361044 18173952 4018 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11432/statm): 4437 4018 566 18 0 4419 0
[pid=11432] vsize: 17748
Current children cumulated CPU time (s) 59.7
Current children cumulated vsize (Kb) 17748

[startup+70.0083 s]
Raw data (loadavg): 1.06 1.03 0.95 2/57 11436
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 4501 0 0 0 6943 25 0 0 25 0 1 0 1859361044 19955712 4467 4294967295 134512640 134578447 3221224624 3221223296 134523334 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 4872 4467 566 18 0 4854 0
[pid=11432] vsize: 19488
Current children cumulated CPU time (s) 69.68
Current children cumulated vsize (Kb) 19488

[startup+80.0092 s]
Raw data (loadavg): 1.05 1.03 0.95 1/57 11436
Raw data (/proc/11432/stat): 11432 (Pueblo) T 11431 11432 9102 0 -1 0 4988 0 0 0 7935 29 0 0 25 0 1 0 1859361044 22048768 4954 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/11432/statm): 5383 4954 566 18 0 5365 0
[pid=11432] vsize: 21532
Current children cumulated CPU time (s) 79.64
Current children cumulated vsize (Kb) 21532

[startup+90.0092 s]
Raw data (loadavg): 1.05 1.03 0.95 2/57 11436
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 5403 0 0 0 8931 31 0 0 25 0 1 0 1859361044 23748608 5369 4294967295 134512640 134578447 3221224624 3221223476 134555731 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11432/statm): 5798 5369 566 18 0 5780 0
[pid=11432] vsize: 23192
Current children cumulated CPU time (s) 89.62
Current children cumulated vsize (Kb) 23192

[startup+100.01 s]
Raw data (loadavg): 1.04 1.03 0.95 2/57 11436
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 5813 0 0 0 9925 34 0 0 25 0 1 0 1859361044 25456640 5779 4294967295 134512640 134578447 3221224624 3221222976 134532404 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 6215 5779 566 18 0 6197 0
[pid=11432] vsize: 24860
Current children cumulated CPU time (s) 99.59
Current children cumulated vsize (Kb) 24860

[startup+110.011 s]
Raw data (loadavg): 1.03 1.03 0.95 2/57 11436
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 6261 0 0 0 10921 36 0 0 25 0 1 0 1859361044 27246592 6227 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 6652 6227 566 18 0 6634 0
[pid=11432] vsize: 26608
Current children cumulated CPU time (s) 109.57
Current children cumulated vsize (Kb) 26608

[startup+120.011 s]
Raw data (loadavg): 1.03 1.03 0.95 2/57 11436
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 6603 0 0 0 11914 39 0 0 25 0 1 0 1859361044 28602368 6569 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11432/statm): 6983 6569 566 18 0 6965 0
[pid=11432] vsize: 27932
Current children cumulated CPU time (s) 119.53
Current children cumulated vsize (Kb) 27932

[startup+130.012 s]
Raw data (loadavg): 1.02 1.03 0.95 2/57 11438
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 6987 0 0 0 12910 41 0 0 25 0 1 0 1859361044 30187520 6953 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 7370 6953 566 18 0 7352 0
[pid=11432] vsize: 29480
Current children cumulated CPU time (s) 129.51
Current children cumulated vsize (Kb) 29480

[startup+140.012 s]
Raw data (loadavg): 1.02 1.02 0.95 2/57 11438
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 7310 0 0 0 13907 43 0 0 25 0 1 0 1859361044 31580160 7276 4294967295 134512640 134578447 3221224624 3221223296 134523413 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 7710 7276 566 18 0 7692 0
[pid=11432] vsize: 30840
Current children cumulated CPU time (s) 139.5
Current children cumulated vsize (Kb) 30840

[startup+150.013 s]
Raw data (loadavg): 1.02 1.02 0.95 2/57 11438
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 7747 0 0 0 14904 45 0 0 25 0 1 0 1859361044 33402880 7713 4294967295 134512640 134578447 3221224624 3221223504 134527733 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 8155 7713 566 18 0 8137 0
[pid=11432] vsize: 32620
Current children cumulated CPU time (s) 149.49
Current children cumulated vsize (Kb) 32620

[startup+160.014 s]
Raw data (loadavg): 1.01 1.02 0.95 2/57 11438
Raw data (/proc/11432/stat): 11432 (Pueblo) T 11431 11432 9102 0 -1 0 8189 0 0 0 15900 47 0 0 25 0 1 0 1859361044 35184640 8155 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/11432/statm): 8590 8155 566 18 0 8572 0
[pid=11432] vsize: 34360
Current children cumulated CPU time (s) 159.47
Current children cumulated vsize (Kb) 34360

[startup+170.014 s]
Raw data (loadavg): 1.01 1.02 0.95 2/57 11438
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 8621 0 0 0 16897 49 0 0 25 0 1 0 1859361044 36921344 8587 4294967295 134512640 134578447 3221224624 3221223296 134523413 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 9014 8587 566 18 0 8996 0
[pid=11432] vsize: 36056
Current children cumulated CPU time (s) 169.46
Current children cumulated vsize (Kb) 36056

[startup+180.014 s]
Raw data (loadavg): 1.01 1.02 0.95 2/57 11438
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 9110 0 0 0 17893 51 0 0 25 0 1 0 1859361044 38871040 9076 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 9490 9076 566 18 0 9472 0
[pid=11432] vsize: 37960
Current children cumulated CPU time (s) 179.44
Current children cumulated vsize (Kb) 37960

[startup+190.015 s]
Raw data (loadavg): 1.01 1.02 0.95 2/57 11440
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 9574 0 0 0 18887 53 0 0 25 0 1 0 1859361044 40833024 9540 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 9969 9540 566 18 0 9951 0
[pid=11432] vsize: 39876
Current children cumulated CPU time (s) 189.4
Current children cumulated vsize (Kb) 39876

[startup+200.016 s]
Raw data (loadavg): 1.00 1.02 0.95 2/57 11440
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 9898 0 0 0 19884 55 0 0 25 0 1 0 1859361044 42229760 9864 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 10310 9864 566 18 0 10292 0
[pid=11432] vsize: 41240
Current children cumulated CPU time (s) 199.39
Current children cumulated vsize (Kb) 41240

[startup+210.017 s]
Raw data (loadavg): 1.00 1.02 0.95 2/57 11440
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 10304 0 0 0 20880 57 0 0 25 0 1 0 1859361044 43929600 10270 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 10725 10270 566 18 0 10707 0
[pid=11432] vsize: 42900
Current children cumulated CPU time (s) 209.37
Current children cumulated vsize (Kb) 42900

[startup+220.017 s]
Raw data (loadavg): 1.00 1.02 0.95 2/57 11440
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 10693 0 0 0 21876 59 0 0 25 0 1 0 1859361044 45465600 10659 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 11100 10659 566 18 0 11082 0
[pid=11432] vsize: 44400
Current children cumulated CPU time (s) 219.35
Current children cumulated vsize (Kb) 44400

[startup+230.018 s]
Raw data (loadavg): 1.00 1.02 0.95 2/57 11440
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 11020 0 0 0 22873 61 0 0 25 0 1 0 1859361044 46858240 10986 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 11440 10986 566 18 0 11422 0
[pid=11432] vsize: 45760
Current children cumulated CPU time (s) 229.34
Current children cumulated vsize (Kb) 45760

[startup+240.018 s]
Raw data (loadavg): 1.00 1.02 0.95 2/57 11440
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 11498 0 0 0 23869 63 0 0 25 0 1 0 1859361044 48705536 11464 4294967295 134512640 134578447 3221224624 3221223476 134555904 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 11891 11464 566 18 0 11873 0
[pid=11432] vsize: 47564
Current children cumulated CPU time (s) 239.32
Current children cumulated vsize (Kb) 47564

[startup+250.02 s]
Raw data (loadavg): 1.00 1.01 0.95 2/57 11442
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 11882 0 0 0 24866 65 0 0 25 0 1 0 1859361044 50372608 11848 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 12298 11848 566 18 0 12280 0
[pid=11432] vsize: 49192
Current children cumulated CPU time (s) 249.31
Current children cumulated vsize (Kb) 49192

[startup+260.02 s]
Raw data (loadavg): 1.00 1.01 0.95 2/57 11442
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 12278 0 0 0 25861 67 0 0 25 0 1 0 1859361044 52023296 12244 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 12701 12244 566 18 0 12683 0
[pid=11432] vsize: 50804
Current children cumulated CPU time (s) 259.28
Current children cumulated vsize (Kb) 50804

[startup+270.02 s]
Raw data (loadavg): 1.00 1.01 0.95 2/57 11442
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 12630 0 0 0 26857 69 0 0 25 0 1 0 1859361044 53440512 12596 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 13047 12596 566 18 0 13029 0
[pid=11432] vsize: 52188
Current children cumulated CPU time (s) 269.26
Current children cumulated vsize (Kb) 52188

[startup+280.023 s]
Raw data (loadavg): 1.00 1.01 0.95 2/57 11442
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 13057 0 0 0 27854 71 0 0 25 0 1 0 1859361044 55099392 13023 4294967295 134512640 134578447 3221224624 3221223296 134523346 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 13452 13023 566 18 0 13434 0
[pid=11432] vsize: 53808
Current children cumulated CPU time (s) 279.25
Current children cumulated vsize (Kb) 53808

[startup+290.023 s]
Raw data (loadavg): 1.00 1.01 0.95 2/57 11442
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 13367 0 0 0 28851 73 0 0 25 0 1 0 1859361044 56463360 13333 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 13785 13333 566 18 0 13767 0
[pid=11432] vsize: 55140
Current children cumulated CPU time (s) 289.24
Current children cumulated vsize (Kb) 55140

[startup+300.024 s]
Raw data (loadavg): 1.00 1.01 0.95 2/57 11442
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 13747 0 0 0 29848 75 0 0 25 0 1 0 1859361044 58011648 13713 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 14163 13713 566 18 0 14145 0
[pid=11432] vsize: 56652
Current children cumulated CPU time (s) 299.23
Current children cumulated vsize (Kb) 56652

[startup+310.025 s]
Raw data (loadavg): 1.00 1.01 0.95 2/57 11444
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 14178 0 0 0 30845 76 0 0 25 0 1 0 1859361044 59695104 14144 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 14574 14144 566 18 0 14556 0
[pid=11432] vsize: 58296
Current children cumulated CPU time (s) 309.21
Current children cumulated vsize (Kb) 58296

[startup+320.024 s]
Raw data (loadavg): 1.00 1.01 0.95 2/57 11444
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 14473 0 0 0 31840 80 0 0 25 0 1 0 1859361044 60956672 14439 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 14882 14439 566 18 0 14864 0
[pid=11432] vsize: 59528
Current children cumulated CPU time (s) 319.2
Current children cumulated vsize (Kb) 59528

[startup+330.025 s]
Raw data (loadavg): 1.00 1.01 0.95 1/57 11444
Raw data (/proc/11432/stat): 11432 (Pueblo) T 11431 11432 9102 0 -1 0 14791 0 0 0 32837 81 0 0 25 0 1 0 1859361044 62263296 14757 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/11432/statm): 15201 14757 566 18 0 15183 0
[pid=11432] vsize: 60804
Current children cumulated CPU time (s) 329.18
Current children cumulated vsize (Kb) 60804

[startup+340.025 s]
Raw data (loadavg): 1.00 1.01 0.95 2/57 11444
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 15242 0 0 0 33829 84 0 0 25 0 1 0 1859361044 64143360 15208 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 15660 15208 566 18 0 15642 0
[pid=11432] vsize: 62640
Current children cumulated CPU time (s) 339.13
Current children cumulated vsize (Kb) 62640

[startup+350.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11444
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 15614 0 0 0 34824 86 0 0 25 0 1 0 1859361044 65658880 15580 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11432/statm): 16030 15580 566 18 0 16012 0
[pid=11432] vsize: 64120
Current children cumulated CPU time (s) 349.1
Current children cumulated vsize (Kb) 64120

[startup+360.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11444
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 16080 0 0 0 35820 88 0 0 25 0 1 0 1859361044 67571712 16046 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 16497 16046 566 18 0 16479 0
[pid=11432] vsize: 65988
Current children cumulated CPU time (s) 359.08
Current children cumulated vsize (Kb) 65988

[startup+370.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11446
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 16385 0 0 0 36817 90 0 0 25 0 1 0 1859361044 68804608 16351 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 16798 16351 566 18 0 16780 0
[pid=11432] vsize: 67192
Current children cumulated CPU time (s) 369.07
Current children cumulated vsize (Kb) 67192

[startup+380.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11446
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 16734 0 0 0 37815 92 0 0 25 0 1 0 1859361044 70230016 16700 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 17146 16700 566 18 0 17128 0
[pid=11432] vsize: 68584
Current children cumulated CPU time (s) 379.07
Current children cumulated vsize (Kb) 68584

[startup+390.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11446
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 16996 0 0 0 38812 93 0 0 25 0 1 0 1859361044 71249920 16962 4294967295 134512640 134578447 3221224624 3221223296 134523358 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 17395 16962 566 18 0 17377 0
[pid=11432] vsize: 69580
Current children cumulated CPU time (s) 389.05
Current children cumulated vsize (Kb) 69580

[startup+400.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11446
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 17370 0 0 0 39809 95 0 0 25 0 1 0 1859361044 72888320 17336 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 17795 17336 566 18 0 17777 0
[pid=11432] vsize: 71180
Current children cumulated CPU time (s) 399.04
Current children cumulated vsize (Kb) 71180

[startup+410.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11446
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 17711 0 0 0 40806 96 0 0 25 0 1 0 1859361044 74383360 17677 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 18160 17677 566 18 0 18142 0
[pid=11432] vsize: 72640
Current children cumulated CPU time (s) 409.02
Current children cumulated vsize (Kb) 72640

[startup+420.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11446
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 18024 0 0 0 41804 98 0 0 25 0 1 0 1859361044 75661312 17990 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 18472 17990 566 18 0 18454 0
[pid=11432] vsize: 73888
Current children cumulated CPU time (s) 419.02
Current children cumulated vsize (Kb) 73888

[startup+430.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11448
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 18422 0 0 0 42800 100 0 0 25 0 1 0 1859361044 77185024 18388 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 18844 18388 566 18 0 18826 0
[pid=11432] vsize: 75376
Current children cumulated CPU time (s) 429
Current children cumulated vsize (Kb) 75376

[startup+440.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11448
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 18821 0 0 0 43797 101 0 0 25 0 1 0 1859361044 78897152 18787 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11432/statm): 19262 18787 566 18 0 19244 0
[pid=11432] vsize: 77048
Current children cumulated CPU time (s) 438.98
Current children cumulated vsize (Kb) 77048

[startup+450.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11448
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 19185 0 0 0 44792 103 0 0 25 0 1 0 1859361044 80392192 19151 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 19627 19151 566 18 0 19609 0
[pid=11432] vsize: 78508
Current children cumulated CPU time (s) 448.95
Current children cumulated vsize (Kb) 78508

[startup+460.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11448
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 19498 0 0 0 45788 105 0 0 25 0 1 0 1859361044 81657856 19464 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 19936 19464 566 18 0 19918 0
[pid=11432] vsize: 79744
Current children cumulated CPU time (s) 458.93
Current children cumulated vsize (Kb) 79744

[startup+470.033 s]
Raw data (loadavg): 1.07 1.02 0.96 2/57 11448
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 19870 0 0 0 46784 107 0 0 25 0 1 0 1859361044 83140608 19836 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11432/statm): 20298 19836 566 18 0 20280 0
[pid=11432] vsize: 81192
Current children cumulated CPU time (s) 468.91
Current children cumulated vsize (Kb) 81192

[startup+480.034 s]
Raw data (loadavg): 1.14 1.03 0.96 2/57 11503
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 20243 0 0 0 47771 116 0 0 25 0 1 0 1859361044 84684800 20209 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 20675 20209 566 18 0 20657 0
[pid=11432] vsize: 82700
Current children cumulated CPU time (s) 478.87
Current children cumulated vsize (Kb) 82700

[startup+490.035 s]
Raw data (loadavg): 1.12 1.03 0.96 2/57 11505
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 20642 0 0 0 48767 118 0 0 25 0 1 0 1859361044 86347776 20608 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 21081 20608 566 18 0 21063 0
[pid=11432] vsize: 84324
Current children cumulated CPU time (s) 488.85
Current children cumulated vsize (Kb) 84324

[startup+500.036 s]
Raw data (loadavg): 1.10 1.03 0.96 2/57 11505
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 21067 0 0 0 49762 121 0 0 25 0 1 0 1859361044 88002560 21033 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 21485 21033 566 18 0 21467 0
[pid=11432] vsize: 85940
Current children cumulated CPU time (s) 498.83
Current children cumulated vsize (Kb) 85940

[startup+510.037 s]
Raw data (loadavg): 1.08 1.03 0.96 2/57 11505
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 21508 0 0 0 50759 122 0 0 25 0 1 0 1859361044 89825280 21474 4294967295 134512640 134578447 3221224624 3221221024 134533093 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 21930 21474 566 18 0 21912 0
[pid=11432] vsize: 87720
Current children cumulated CPU time (s) 508.81
Current children cumulated vsize (Kb) 87720

[startup+520.037 s]
Raw data (loadavg): 1.07 1.03 0.96 2/57 11505
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 21886 0 0 0 51755 124 0 0 25 0 1 0 1859361044 91365376 21852 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 22306 21852 566 18 0 22288 0
[pid=11432] vsize: 89224
Current children cumulated CPU time (s) 518.79
Current children cumulated vsize (Kb) 89224

[startup+530.038 s]
Raw data (loadavg): 1.06 1.03 0.96 2/57 11505
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 22234 0 0 0 52752 126 0 0 25 0 1 0 1859361044 92913664 22200 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 22684 22200 566 18 0 22666 0
[pid=11432] vsize: 90736
Current children cumulated CPU time (s) 528.78
Current children cumulated vsize (Kb) 90736

[startup+540.038 s]
Raw data (loadavg): 1.05 1.02 0.96 2/57 11507
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 22754 0 0 0 53748 128 0 0 25 0 1 0 1859361044 95051776 22720 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 23206 22720 566 18 0 23188 0
[pid=11432] vsize: 92824
Current children cumulated CPU time (s) 538.76
Current children cumulated vsize (Kb) 92824

[startup+550.039 s]
Raw data (loadavg): 1.04 1.02 0.96 2/57 11511
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 23132 0 0 0 54744 130 0 0 25 0 1 0 1859361044 96649216 23098 4294967295 134512640 134578447 3221224624 3221223296 134523419 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 23596 23098 566 18 0 23578 0
[pid=11432] vsize: 94384
Current children cumulated CPU time (s) 548.74
Current children cumulated vsize (Kb) 94384

[startup+560.04 s]
Raw data (loadavg): 1.04 1.02 0.96 2/57 11511
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 23444 0 0 0 55741 131 0 0 25 0 1 0 1859361044 97902592 23410 4294967295 134512640 134578447 3221224624 3221223296 134523566 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 23902 23410 566 18 0 23884 0
[pid=11432] vsize: 95608
Current children cumulated CPU time (s) 558.72
Current children cumulated vsize (Kb) 95608

[startup+570.04 s]
Raw data (loadavg): 1.03 1.02 0.96 2/57 11511
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 23759 0 0 0 56738 133 0 0 25 0 1 0 1859361044 99131392 23725 4294967295 134512640 134578447 3221224624 3221223368 1075291632 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 24202 23725 566 18 0 24184 0
[pid=11432] vsize: 96808
Current children cumulated CPU time (s) 568.71
Current children cumulated vsize (Kb) 96808

[startup+580.041 s]
Raw data (loadavg): 1.02 1.02 0.96 2/57 11511
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 24054 0 0 0 57735 134 0 0 25 0 1 0 1859361044 100368384 24020 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 24504 24020 566 18 0 24486 0
[pid=11432] vsize: 98016
Current children cumulated CPU time (s) 578.69
Current children cumulated vsize (Kb) 98016

[startup+590.042 s]
Raw data (loadavg): 1.02 1.02 0.96 2/57 11511
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 24387 0 0 0 58731 135 0 0 25 0 1 0 1859361044 101777408 24353 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11432/statm): 24848 24353 566 18 0 24830 0
[pid=11432] vsize: 99392
Current children cumulated CPU time (s) 588.66
Current children cumulated vsize (Kb) 99392

[startup+600.043 s]
Raw data (loadavg): 1.02 1.02 0.96 2/57 11511
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 24628 0 0 0 59729 137 0 0 25 0 1 0 1859361044 102756352 24594 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 25087 24594 566 18 0 25069 0
[pid=11432] vsize: 100348
Current children cumulated CPU time (s) 598.66
Current children cumulated vsize (Kb) 100348

[startup+610.043 s]
Raw data (loadavg): 1.01 1.02 0.96 2/57 11513
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 24901 0 0 0 60726 138 0 0 25 0 1 0 1859361044 103862272 24867 4294967295 134512640 134578447 3221224624 3221221024 134533053 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 25357 24867 566 18 0 25339 0
[pid=11432] vsize: 101428
Current children cumulated CPU time (s) 608.64
Current children cumulated vsize (Kb) 101428

[startup+620.043 s]
Raw data (loadavg): 1.01 1.02 0.96 2/57 11513
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 25176 0 0 0 61724 139 0 0 25 0 1 0 1859361044 104992768 25142 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 25633 25142 566 18 0 25615 0
[pid=11432] vsize: 102532
Current children cumulated CPU time (s) 618.63
Current children cumulated vsize (Kb) 102532

[startup+630.044 s]
Raw data (loadavg): 1.01 1.02 0.96 2/57 11513
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 25461 0 0 0 62718 141 0 0 25 0 1 0 1859361044 106123264 25427 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 25909 25427 566 18 0 25891 0
[pid=11432] vsize: 103636
Current children cumulated CPU time (s) 628.59
Current children cumulated vsize (Kb) 103636

[startup+640.044 s]
Raw data (loadavg): 1.01 1.01 0.96 2/57 11513
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 25885 0 0 0 63716 142 0 0 25 0 1 0 1859361044 107933696 25851 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 26351 25851 566 18 0 26333 0
[pid=11432] vsize: 105404
Current children cumulated CPU time (s) 638.58
Current children cumulated vsize (Kb) 105404

[startup+650.045 s]
Raw data (loadavg): 1.01 1.01 0.96 2/57 11513
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 26210 0 0 0 64712 144 0 0 25 0 1 0 1859361044 109182976 26176 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 26656 26176 566 18 0 26638 0
[pid=11432] vsize: 106624
Current children cumulated CPU time (s) 648.56
Current children cumulated vsize (Kb) 106624

[startup+660.046 s]
Raw data (loadavg): 1.00 1.01 0.96 2/57 11513
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 26452 0 0 0 65710 145 0 0 25 0 1 0 1859361044 110297088 26418 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 26928 26418 566 18 0 26910 0
[pid=11432] vsize: 107712
Current children cumulated CPU time (s) 658.55
Current children cumulated vsize (Kb) 107712

[startup+670.046 s]
Raw data (loadavg): 1.00 1.01 0.96 1/57 11515
Raw data (/proc/11432/stat): 11432 (Pueblo) T 11431 11432 9102 0 -1 0 26738 0 0 0 66707 146 0 0 25 0 1 0 1859361044 111415296 26704 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/11432/statm): 27201 26704 566 18 0 27183 0
[pid=11432] vsize: 108804
Current children cumulated CPU time (s) 668.53
Current children cumulated vsize (Kb) 108804

[startup+680.047 s]
Raw data (loadavg): 1.00 1.01 0.96 2/57 11515
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 27053 0 0 0 67705 148 0 0 25 0 1 0 1859361044 112828416 27019 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 27546 27019 566 18 0 27528 0
[pid=11432] vsize: 110184
Current children cumulated CPU time (s) 678.53
Current children cumulated vsize (Kb) 110184

[startup+690.048 s]
Raw data (loadavg): 1.00 1.01 0.96 2/57 11515
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 27258 0 0 0 68703 149 0 0 25 0 1 0 1859361044 113659904 27224 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 27749 27224 566 18 0 27731 0
[pid=11432] vsize: 110996
Current children cumulated CPU time (s) 688.52
Current children cumulated vsize (Kb) 110996

[startup+700.049 s]
Raw data (loadavg): 1.00 1.01 0.96 2/57 11515
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 27418 0 0 0 69700 150 0 0 25 0 1 0 1859361044 114372608 27384 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11432/statm): 27923 27384 566 18 0 27905 0
[pid=11432] vsize: 111692
Current children cumulated CPU time (s) 698.5
Current children cumulated vsize (Kb) 111692

[startup+710.05 s]
Raw data (loadavg): 1.00 1.01 0.96 2/57 11515
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 27607 0 0 0 70698 151 0 0 25 0 1 0 1859361044 115060736 27573 4294967295 134512640 134578447 3221224624 3221223456 134526932 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11432/statm): 28091 27573 566 18 0 28073 0
[pid=11432] vsize: 112364
Current children cumulated CPU time (s) 708.49
Current children cumulated vsize (Kb) 112364

[startup+720.051 s]
Raw data (loadavg): 1.00 1.01 0.96 2/57 11515
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 27848 0 0 0 71696 152 0 0 25 0 1 0 1859361044 116125696 27814 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11432/statm): 28351 27814 566 18 0 28333 0
[pid=11432] vsize: 113404
Current children cumulated CPU time (s) 718.48
Current children cumulated vsize (Kb) 113404

[startup+730.052 s]
Raw data (loadavg): 1.00 1.01 0.96 2/57 11517
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 28181 0 0 0 72693 154 0 0 25 0 1 0 1859361044 117518336 28147 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11432/statm): 28691 28147 566 18 0 28673 0
[pid=11432] vsize: 114764
Current children cumulated CPU time (s) 728.47
Current children cumulated vsize (Kb) 114764

[startup+740.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11517
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 28467 0 0 0 73690 155 0 0 25 0 1 0 1859361044 118640640 28433 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11432/statm): 28965 28433 566 18 0 28947 0
[pid=11432] vsize: 115860
Current children cumulated CPU time (s) 738.45
Current children cumulated vsize (Kb) 115860

[startup+750.054 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11517
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 28775 0 0 0 74688 156 0 0 25 0 1 0 1859361044 119869440 28741 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11432/statm): 29265 28741 566 18 0 29247 0
[pid=11432] vsize: 117060
Current children cumulated CPU time (s) 748.44
Current children cumulated vsize (Kb) 117060

[startup+760.054 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11517
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 29102 0 0 0 75684 158 0 0 25 0 1 0 1859361044 121290752 29068 4294967295 134512640 134578447 3221224624 3221223296 134523346 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11432/statm): 29612 29068 566 18 0 29594 0
[pid=11432] vsize: 118448
Current children cumulated CPU time (s) 758.42
Current children cumulated vsize (Kb) 118448

[startup+770.054 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11517
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 29386 0 0 0 76681 160 0 0 25 0 1 0 1859361044 122417152 29352 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11432/statm): 29887 29352 566 18 0 29869 0
[pid=11432] vsize: 119548
Current children cumulated CPU time (s) 768.41
Current children cumulated vsize (Kb) 119548

[startup+780.055 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11517
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 29597 0 0 0 77678 161 0 0 25 0 1 0 1859361044 123269120 29563 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11432/statm): 30095 29563 566 18 0 30077 0
[pid=11432] vsize: 120380
Current children cumulated CPU time (s) 778.39
Current children cumulated vsize (Kb) 120380

[startup+790.056 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11521
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 29916 0 0 0 78674 163 0 0 25 0 1 0 1859361044 124661760 29882 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 30435 29882 566 18 0 30417 0
[pid=11432] vsize: 121740
Current children cumulated CPU time (s) 788.37
Current children cumulated vsize (Kb) 121740

[startup+800.057 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11521
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 30282 0 0 0 79670 165 0 0 25 0 1 0 1859361044 126050304 30248 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 30774 30248 566 18 0 30756 0
[pid=11432] vsize: 123096
Current children cumulated CPU time (s) 798.35
Current children cumulated vsize (Kb) 123096

[startup+810.058 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11521
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 30466 0 0 0 80670 165 0 0 25 0 1 0 1859361044 126799872 30432 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 30957 30432 566 18 0 30939 0
[pid=11432] vsize: 123828
Current children cumulated CPU time (s) 808.35
Current children cumulated vsize (Kb) 123828

[startup+820.059 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11521
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 30667 0 0 0 81668 166 0 0 25 0 1 0 1859361044 127664128 30633 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 31168 30633 566 18 0 31150 0
[pid=11432] vsize: 124672
Current children cumulated CPU time (s) 818.34
Current children cumulated vsize (Kb) 124672

[startup+830.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11521
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 30836 0 0 0 82667 167 0 0 25 0 1 0 1859361044 128352256 30802 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 31336 30802 566 18 0 31318 0
[pid=11432] vsize: 125344
Current children cumulated CPU time (s) 828.34
Current children cumulated vsize (Kb) 125344

[startup+840.061 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11521
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 31177 0 0 0 83663 169 0 0 25 0 1 0 1859361044 129757184 31143 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 31679 31143 566 18 0 31661 0
[pid=11432] vsize: 126716
Current children cumulated CPU time (s) 838.32
Current children cumulated vsize (Kb) 126716

[startup+850.062 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11523
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 31346 0 0 0 84661 170 0 0 25 0 1 0 1859361044 130457600 31312 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 31850 31312 566 18 0 31832 0
[pid=11432] vsize: 127400
Current children cumulated CPU time (s) 848.31
Current children cumulated vsize (Kb) 127400

[startup+860.063 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11523
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 31572 0 0 0 85660 170 0 0 25 0 1 0 1859361044 131420160 31538 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 32085 31538 566 18 0 32067 0
[pid=11432] vsize: 128340
Current children cumulated CPU time (s) 858.3
Current children cumulated vsize (Kb) 128340

[startup+870.063 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11523
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 31729 0 0 0 86657 172 0 0 25 0 1 0 1859361044 131989504 31695 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 32224 31695 566 18 0 32206 0
[pid=11432] vsize: 128896
Current children cumulated CPU time (s) 868.29
Current children cumulated vsize (Kb) 128896

[startup+880.064 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11523
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 31946 0 0 0 87654 174 0 0 25 0 1 0 1859361044 132919296 31912 4294967295 134512640 134578447 3221224624 3221223456 134528578 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 32451 31912 566 18 0 32433 0
[pid=11432] vsize: 129804
Current children cumulated CPU time (s) 878.28
Current children cumulated vsize (Kb) 129804

[startup+890.063 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11523
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 32130 0 0 0 88653 175 0 0 25 0 1 0 1859361044 133636096 32096 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 32626 32096 566 18 0 32608 0
[pid=11432] vsize: 130504
Current children cumulated CPU time (s) 888.28
Current children cumulated vsize (Kb) 130504

[startup+900.064 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11523
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 32394 0 0 0 89648 177 0 0 25 0 1 0 1859361044 134750208 32360 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 32898 32361 566 18 0 32880 0
[pid=11432] vsize: 131592
Current children cumulated CPU time (s) 898.25
Current children cumulated vsize (Kb) 131592

[startup+910.065 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11525
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 32589 0 0 0 90647 178 0 0 25 0 1 0 1859361044 135585792 32555 4294967295 134512640 134578447 3221224624 3221223584 134559090 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 33102 32555 566 18 0 33084 0
[pid=11432] vsize: 132408
Current children cumulated CPU time (s) 908.25
Current children cumulated vsize (Kb) 132408

[startup+920.065 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11525
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 32810 0 0 0 91644 180 0 0 25 0 1 0 1859361044 136388608 32776 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 33298 32776 566 18 0 33280 0
[pid=11432] vsize: 133192
Current children cumulated CPU time (s) 918.24
Current children cumulated vsize (Kb) 133192

[startup+930.066 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11525
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 33080 0 0 0 92642 181 0 0 25 0 1 0 1859361044 137506816 33046 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 33571 33046 566 18 0 33553 0
[pid=11432] vsize: 134284
Current children cumulated CPU time (s) 928.23
Current children cumulated vsize (Kb) 134284

[startup+940.067 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11525
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 33275 0 0 0 93640 183 0 0 25 0 1 0 1859361044 138440704 33241 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 33799 33241 566 18 0 33781 0
[pid=11432] vsize: 135196
Current children cumulated CPU time (s) 938.23
Current children cumulated vsize (Kb) 135196

[startup+950.068 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11525
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 33510 0 0 0 94637 184 0 0 25 0 1 0 1859361044 139399168 33476 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 34033 33476 566 18 0 34015 0
[pid=11432] vsize: 136132
Current children cumulated CPU time (s) 948.21
Current children cumulated vsize (Kb) 136132

[startup+960.069 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11525
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 33689 0 0 0 95635 185 0 0 25 0 1 0 1859361044 140292096 33655 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 34251 33655 566 18 0 34233 0
[pid=11432] vsize: 137004
Current children cumulated CPU time (s) 958.2
Current children cumulated vsize (Kb) 137004

[startup+970.069 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11527
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 33983 0 0 0 96630 187 0 0 25 0 1 0 1859361044 141410304 33949 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 34524 33949 566 18 0 34506 0
[pid=11432] vsize: 138096
Current children cumulated CPU time (s) 968.17
Current children cumulated vsize (Kb) 138096

[startup+980.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11527
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 34318 0 0 0 97627 189 0 0 25 0 1 0 1859361044 142819328 34284 4294967295 134512640 134578447 3221224624 3221223296 134523385 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11432/statm): 34868 34284 566 18 0 34850 0
[pid=11432] vsize: 139472
Current children cumulated CPU time (s) 978.16
Current children cumulated vsize (Kb) 139472

[startup+990.071 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11527
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 34522 0 0 0 98623 190 0 0 25 0 1 0 1859361044 143638528 34488 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 35068 34488 566 18 0 35050 0
[pid=11432] vsize: 140272
Current children cumulated CPU time (s) 988.13
Current children cumulated vsize (Kb) 140272

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11527
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 34770 0 0 0 99621 192 0 0 25 0 1 0 1859361044 144625664 34736 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 35309 34736 566 18 0 35291 0
[pid=11432] vsize: 141236
Current children cumulated CPU time (s) 998.13
Current children cumulated vsize (Kb) 141236

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11527
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 34960 0 0 0 100619 193 0 0 25 0 1 0 1859361044 145440768 34926 4294967295 134512640 134578447 3221224624 3221223584 134559085 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 35508 34926 566 18 0 35490 0
[pid=11432] vsize: 142032
Current children cumulated CPU time (s) 1008.12
Current children cumulated vsize (Kb) 142032

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11527
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 35020 0 0 0 101618 194 0 0 25 0 1 0 1859361044 145711104 34986 4294967295 134512640 134578447 3221224624 3221223476 134555817 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 35574 34986 566 18 0 35556 0
[pid=11432] vsize: 142296
Current children cumulated CPU time (s) 1018.12
Current children cumulated vsize (Kb) 142296

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11529
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 35156 0 0 0 102616 195 0 0 25 0 1 0 1859361044 146268160 35122 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 35710 35122 566 18 0 35692 0
[pid=11432] vsize: 142840
Current children cumulated CPU time (s) 1028.11
Current children cumulated vsize (Kb) 142840

[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11529
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 35438 0 0 0 103613 196 0 0 25 0 1 0 1859361044 147496960 35404 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 36010 35404 566 18 0 35992 0
[pid=11432] vsize: 144040
Current children cumulated CPU time (s) 1038.09
Current children cumulated vsize (Kb) 144040

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 11529
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 35667 0 0 0 104610 198 0 0 25 0 1 0 1859361044 148463616 35633 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 36246 35633 566 18 0 36228 0
[pid=11432] vsize: 144984
Current children cumulated CPU time (s) 1048.08
Current children cumulated vsize (Kb) 144984

[startup+1060.07 s]
Raw data (loadavg): 1.07 1.02 0.97 2/57 11529
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 36073 0 0 0 105606 200 0 0 25 0 1 0 1859361044 149995520 36039 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 36620 36039 566 18 0 36602 0
[pid=11432] vsize: 146480
Current children cumulated CPU time (s) 1058.06
Current children cumulated vsize (Kb) 146480

[startup+1070.07 s]
Raw data (loadavg): 1.06 1.02 0.97 2/57 11529
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 36332 0 0 0 106604 201 0 0 25 0 1 0 1859361044 151113728 36298 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 36893 36298 566 18 0 36875 0
[pid=11432] vsize: 147572
Current children cumulated CPU time (s) 1068.05
Current children cumulated vsize (Kb) 147572

[startup+1080.08 s]
Raw data (loadavg): 1.05 1.01 0.97 2/57 11529
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 36561 0 0 0 107601 203 0 0 25 0 1 0 1859361044 151982080 36527 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 37105 36527 566 18 0 37087 0
[pid=11432] vsize: 148420
Current children cumulated CPU time (s) 1078.04
Current children cumulated vsize (Kb) 148420

[startup+1090.08 s]
Raw data (loadavg): 1.04 1.01 0.97 2/57 11531
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 36851 0 0 0 108599 204 0 0 25 0 1 0 1859361044 153247744 36817 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 37414 36817 566 18 0 37396 0
[pid=11432] vsize: 149656
Current children cumulated CPU time (s) 1088.03
Current children cumulated vsize (Kb) 149656

[startup+1100.08 s]
Raw data (loadavg): 1.04 1.01 0.97 2/57 11531
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 37005 0 0 0 109597 204 0 0 25 0 1 0 1859361044 153849856 36971 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 37561 36971 566 18 0 37543 0
[pid=11432] vsize: 150244
Current children cumulated CPU time (s) 1098.01
Current children cumulated vsize (Kb) 150244

[startup+1110.08 s]
Raw data (loadavg): 1.03 1.01 0.97 2/57 11531
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 37291 0 0 0 110595 206 0 0 25 0 1 0 1859361044 155119616 37257 4294967295 134512640 134578447 3221224624 3221223296 134523360 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 37871 37257 566 18 0 37853 0
[pid=11432] vsize: 151484
Current children cumulated CPU time (s) 1108.01
Current children cumulated vsize (Kb) 151484

[startup+1120.08 s]
Raw data (loadavg): 1.02 1.01 0.97 2/57 11531
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 37539 0 0 0 111593 207 0 0 25 0 1 0 1859361044 156102656 37505 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 38111 37505 566 18 0 38093 0
[pid=11432] vsize: 152444
Current children cumulated CPU time (s) 1118
Current children cumulated vsize (Kb) 152444

[startup+1130.08 s]
Raw data (loadavg): 1.02 1.01 0.97 2/57 11531
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 37894 0 0 0 112589 209 0 0 25 0 1 0 1859361044 157589504 37860 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11432/statm): 38474 37860 566 18 0 38456 0
[pid=11432] vsize: 153896
Current children cumulated CPU time (s) 1127.98
Current children cumulated vsize (Kb) 153896

[startup+1140.08 s]
Raw data (loadavg): 1.02 1.01 0.97 2/57 11531
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 38079 0 0 0 113586 210 0 0 25 0 1 0 1859361044 158281728 38045 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 38643 38045 566 18 0 38625 0
[pid=11432] vsize: 154572
Current children cumulated CPU time (s) 1137.96
Current children cumulated vsize (Kb) 154572

[startup+1150.08 s]
Raw data (loadavg): 1.01 1.01 0.97 2/57 11533
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 38355 0 0 0 114583 211 0 0 25 0 1 0 1859361044 159412224 38321 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 38919 38321 566 18 0 38901 0
[pid=11432] vsize: 155676
Current children cumulated CPU time (s) 1147.94
Current children cumulated vsize (Kb) 155676

[startup+1160.08 s]
Raw data (loadavg): 1.01 1.01 0.97 2/57 11533
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 38632 0 0 0 115580 213 0 0 25 0 1 0 1859361044 160657408 38598 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 39223 38598 566 18 0 39205 0
[pid=11432] vsize: 156892
Current children cumulated CPU time (s) 1157.93
Current children cumulated vsize (Kb) 156892

[startup+1170.08 s]
Raw data (loadavg): 1.01 1.01 0.97 2/57 11533
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 38836 0 0 0 116579 214 0 0 25 0 1 0 1859361044 161505280 38802 4294967295 134512640 134578447 3221224624 3221223476 134555723 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 39430 38802 566 18 0 39412 0
[pid=11432] vsize: 157720
Current children cumulated CPU time (s) 1167.93
Current children cumulated vsize (Kb) 157720

[startup+1180.08 s]
Raw data (loadavg): 1.01 1.00 0.97 2/57 11533
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 39043 0 0 0 117576 215 0 0 25 0 1 0 1859361044 162361344 39009 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 39639 39009 566 18 0 39621 0
[pid=11432] vsize: 158556
Current children cumulated CPU time (s) 1177.91
Current children cumulated vsize (Kb) 158556

[startup+1190.08 s]
Raw data (loadavg): 1.01 1.00 0.97 2/57 11533
Raw data (/proc/11432/stat): 11432 (Pueblo) R 11431 11432 9102 0 -1 0 39356 0 0 0 118574 216 0 0 25 0 1 0 1859361044 163651584 39322 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11432/statm): 39954 39322 566 18 0 39936 0
[pid=11432] vsize: 159816
Current children cumulated CPU time (s) 1187.9
Current children cumulated vsize (Kb) 159816
One traced child (pid=11432) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1191.37
CPU time (s): 1189.19
CPU user time (s): 1186.95
CPU system time (s): 2.24466
CPU usage (%): 99.8175
Max. virtual memory (cumulated for all children) (Kb): 159816

Verifier Data

Verifier:	OK	-9