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-3.opb
MD5SUMb3a3f977e810fc2043ea057a8d94a7d8
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -37
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.04
Number of variables945
Total number of constraints58245
Number of constraints which are clauses58245
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 7886

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        821288 kB
Buffers:         32332 kB
Cached:         153572 kB
SwapCached:        552 kB
Active:          58284 kB
Inactive:       130212 kB
HighTotal:      131008 kB
HighFree:         2520 kB
LowTotal:       903652 kB
LowFree:        818768 kB
SwapTotal:     2097892 kB
SwapFree:      2096768 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5836 kB
Slab:            19300 kB
Committed_AS:    64304 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 15:15:44 (client local time) WITH STATUS 10 IN 1189.11 SECONDS
stats: 5048 0 1189.11 10

Solver Data

c Pueblo version 1.3 (July 2005)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c starting to Solve
c #variables read: 945 - #constraints read: 58246
c total time              : 1189.02 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/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859423800 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23144/statm): 41 3 40 18 0 23 0
[pid=23144] 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.0036 s]
Raw data (loadavg): 0.93 0.98 0.99 2/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 2269 0 0 0 980 11 0 0 25 0 1 0 1859423800 10833920 2235 4294967295 134512640 134578447 3221224624 3221223296 134523352 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 2645 2235 566 18 0 2627 0
[pid=23144] vsize: 10580
Current children cumulated CPU time (s) 9.91
Current children cumulated vsize (Kb) 10580

[startup+20.0034 s]
Raw data (loadavg): 0.94 0.98 0.99 2/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 2269 0 0 0 1974 13 0 0 25 0 1 0 1859423800 10833920 2235 4294967295 134512640 134578447 3221224624 3221223476 134555731 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 2645 2235 566 18 0 2627 0
[pid=23144] vsize: 10580
Current children cumulated CPU time (s) 19.87
Current children cumulated vsize (Kb) 10580

[startup+30.0041 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 2627 0 0 0 2967 16 0 0 25 0 1 0 1859423800 12369920 2593 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 3020 2593 566 18 0 3002 0
[pid=23144] vsize: 12080
Current children cumulated CPU time (s) 29.83
Current children cumulated vsize (Kb) 12080

[startup+40.0037 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 3031 0 0 0 3960 19 0 0 25 0 1 0 1859423800 13914112 2997 4294967295 134512640 134578447 3221224624 3221223296 134523387 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 3397 2997 566 18 0 3379 0
[pid=23144] vsize: 13588
Current children cumulated CPU time (s) 39.79
Current children cumulated vsize (Kb) 13588

[startup+50.0045 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) T 23143 23144 21452 0 -1 0 3468 0 0 0 4955 21 0 0 25 0 1 0 1859423800 15720448 3434 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23144/statm): 3838 3434 566 18 0 3820 0
[pid=23144] vsize: 15352
Current children cumulated CPU time (s) 49.76
Current children cumulated vsize (Kb) 15352

[startup+60.0052 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 3999 0 0 0 5947 25 0 0 25 0 1 0 1859423800 17948672 3965 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 4382 3965 566 18 0 4364 0
[pid=23144] vsize: 17528
Current children cumulated CPU time (s) 59.72
Current children cumulated vsize (Kb) 17528

[startup+70.0049 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 4458 0 0 0 6943 28 0 0 25 0 1 0 1859423800 19898368 4424 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 4858 4424 566 18 0 4840 0
[pid=23144] vsize: 19432
Current children cumulated CPU time (s) 69.71
Current children cumulated vsize (Kb) 19432

[startup+80.0056 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 4887 0 0 0 7939 29 0 0 25 0 1 0 1859423800 21540864 4853 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 5259 4853 566 18 0 5241 0
[pid=23144] vsize: 21036
Current children cumulated CPU time (s) 79.68
Current children cumulated vsize (Kb) 21036

[startup+90.0053 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 5376 0 0 0 8932 32 0 0 25 0 1 0 1859423800 23601152 5342 4294967295 134512640 134578447 3221224624 3221223476 134555857 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 5762 5342 566 18 0 5744 0
[pid=23144] vsize: 23048
Current children cumulated CPU time (s) 89.64
Current children cumulated vsize (Kb) 23048

[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 5840 0 0 0 9928 34 0 0 25 0 1 0 1859423800 25571328 5806 4294967295 134512640 134578447 3221224624 3221223504 134518956 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 6243 5806 566 18 0 6225 0
[pid=23144] vsize: 24972
Current children cumulated CPU time (s) 99.62
Current children cumulated vsize (Kb) 24972

[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 6275 0 0 0 10925 35 0 0 25 0 1 0 1859423800 27230208 6241 4294967295 134512640 134578447 3221224624 3221223504 134518959 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 6648 6241 566 18 0 6630 0
[pid=23144] vsize: 26592
Current children cumulated CPU time (s) 109.6
Current children cumulated vsize (Kb) 26592

[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 6746 0 0 0 11921 37 0 0 25 0 1 0 1859423800 29163520 6712 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 7120 6712 566 18 0 7102 0
[pid=23144] vsize: 28480
Current children cumulated CPU time (s) 119.58
Current children cumulated vsize (Kb) 28480

[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 7170 0 0 0 12913 41 0 0 25 0 1 0 1859423800 30978048 7136 4294967295 134512640 134578447 3221224624 3221223296 134523360 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 7563 7136 566 18 0 7545 0
[pid=23144] vsize: 30252
Current children cumulated CPU time (s) 129.54
Current children cumulated vsize (Kb) 30252

[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 7644 0 0 0 13910 43 0 0 25 0 1 0 1859423800 32948224 7610 4294967295 134512640 134578447 3221224624 3221223476 134555832 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 8044 7610 566 18 0 8026 0
[pid=23144] vsize: 32176
Current children cumulated CPU time (s) 139.53
Current children cumulated vsize (Kb) 32176

[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 7973 0 0 0 14906 45 0 0 25 0 1 0 1859423800 34209792 7939 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 8352 7939 566 18 0 8334 0
[pid=23144] vsize: 33408
Current children cumulated CPU time (s) 149.51
Current children cumulated vsize (Kb) 33408

[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 8439 0 0 0 15903 47 0 0 25 0 1 0 1859423800 36204544 8405 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 8839 8405 566 18 0 8821 0
[pid=23144] vsize: 35356
Current children cumulated CPU time (s) 159.5
Current children cumulated vsize (Kb) 35356

[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 8773 0 0 0 16900 49 0 0 25 0 1 0 1859423800 37552128 8739 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 9168 8739 566 18 0 9150 0
[pid=23144] vsize: 36672
Current children cumulated CPU time (s) 169.49
Current children cumulated vsize (Kb) 36672

[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 9234 0 0 0 17896 50 0 0 25 0 1 0 1859423800 39366656 9200 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 9611 9200 566 18 0 9593 0
[pid=23144] vsize: 38444
Current children cumulated CPU time (s) 179.46
Current children cumulated vsize (Kb) 38444

[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 9702 0 0 0 18889 53 0 0 25 0 1 0 1859423800 41295872 9668 4294967295 134512640 134578447 3221224624 3221221024 134533043 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 10082 9668 566 18 0 10064 0
[pid=23144] vsize: 40328
Current children cumulated CPU time (s) 189.42
Current children cumulated vsize (Kb) 40328

[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 10234 0 0 0 19884 55 0 0 25 0 1 0 1859423800 43474944 10200 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 10614 10200 566 18 0 10596 0
[pid=23144] vsize: 42456
Current children cumulated CPU time (s) 199.39
Current children cumulated vsize (Kb) 42456

[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.99 3/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 10581 0 0 0 20882 56 0 0 25 0 1 0 1859423800 44896256 10547 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 10961 10547 566 18 0 10943 0
[pid=23144] vsize: 43844
Current children cumulated CPU time (s) 209.38
Current children cumulated vsize (Kb) 43844

[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 10973 0 0 0 21878 59 0 0 25 0 1 0 1859423800 46563328 10939 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 11368 10939 566 18 0 11350 0
[pid=23144] vsize: 45472
Current children cumulated CPU time (s) 219.37
Current children cumulated vsize (Kb) 45472

[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 11395 0 0 0 22875 60 0 0 25 0 1 0 1859423800 48332800 11361 4294967295 134512640 134578447 3221224624 3221223480 134527145 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 11800 11361 566 18 0 11782 0
[pid=23144] vsize: 47200
Current children cumulated CPU time (s) 229.35
Current children cumulated vsize (Kb) 47200

[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 11823 0 0 0 23872 62 0 0 25 0 1 0 1859423800 50216960 11789 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 12260 11789 566 18 0 12242 0
[pid=23144] vsize: 49040
Current children cumulated CPU time (s) 239.34
Current children cumulated vsize (Kb) 49040

[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 23144
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 12282 0 0 0 24867 66 0 0 25 0 1 0 1859423800 52150272 12248 4294967295 134512640 134578447 3221224624 3221223296 134523328 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23144/statm): 12732 12248 566 18 0 12714 0
[pid=23144] vsize: 50928
Current children cumulated CPU time (s) 249.33
Current children cumulated vsize (Kb) 50928

[startup+260.018 s]
Raw data (loadavg): 1.07 1.00 0.99 2/56 23199
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 12651 0 0 0 25848 81 0 0 25 0 1 0 1859423800 53563392 12617 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 13077 12617 566 18 0 13059 0
[pid=23144] vsize: 52308
Current children cumulated CPU time (s) 259.29
Current children cumulated vsize (Kb) 52308

[startup+270.018 s]
Raw data (loadavg): 1.06 1.00 0.99 2/56 23199
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 13073 0 0 0 26844 83 0 0 25 0 1 0 1859423800 55390208 13039 4294967295 134512640 134578447 3221224624 3221223504 134518959 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 13523 13039 566 18 0 13505 0
[pid=23144] vsize: 54092
Current children cumulated CPU time (s) 269.27
Current children cumulated vsize (Kb) 54092

[startup+280.019 s]
Raw data (loadavg): 1.05 1.00 0.99 2/56 23199
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 13451 0 0 0 27841 85 0 0 25 0 1 0 1859423800 56885248 13417 4294967295 134512640 134578447 3221224624 3221223296 134523427 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 13888 13417 566 18 0 13870 0
[pid=23144] vsize: 55552
Current children cumulated CPU time (s) 279.26
Current children cumulated vsize (Kb) 55552

[startup+290.019 s]
Raw data (loadavg): 1.04 1.00 0.99 2/56 23199
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 13998 0 0 0 28837 88 0 0 25 0 1 0 1859423800 59105280 13964 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 14430 13964 566 18 0 14412 0
[pid=23144] vsize: 57720
Current children cumulated CPU time (s) 289.25
Current children cumulated vsize (Kb) 57720

[startup+300.02 s]
Raw data (loadavg): 1.04 1.00 0.99 2/56 23199
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 14364 0 0 0 29833 90 0 0 25 0 1 0 1859423800 60657664 14330 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 14809 14330 566 18 0 14791 0
[pid=23144] vsize: 59236
Current children cumulated CPU time (s) 299.23
Current children cumulated vsize (Kb) 59236

[startup+310.02 s]
Raw data (loadavg): 1.03 1.00 0.99 2/56 23199
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 14871 0 0 0 30829 92 0 0 25 0 1 0 1859423800 62767104 14837 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 15324 14837 566 18 0 15306 0
[pid=23144] vsize: 61296
Current children cumulated CPU time (s) 309.21
Current children cumulated vsize (Kb) 61296

[startup+320.02 s]
Raw data (loadavg): 1.03 1.00 0.99 2/56 23199
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 15310 0 0 0 31824 95 0 0 25 0 1 0 1859423800 64540672 15276 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 15757 15276 566 18 0 15739 0
[pid=23144] vsize: 63028
Current children cumulated CPU time (s) 319.19
Current children cumulated vsize (Kb) 63028

[startup+330.02 s]
Raw data (loadavg): 1.02 1.00 0.99 2/56 23201
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 15733 0 0 0 32819 97 0 0 25 0 1 0 1859423800 66306048 15699 4294967295 134512640 134578447 3221224624 3221223296 134523436 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 16188 15699 566 18 0 16170 0
[pid=23144] vsize: 64752
Current children cumulated CPU time (s) 329.16
Current children cumulated vsize (Kb) 64752

[startup+340.02 s]
Raw data (loadavg): 1.02 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 16106 0 0 0 33815 99 0 0 25 0 1 0 1859423800 67846144 16072 4294967295 134512640 134578447 3221224624 3221221024 134533042 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 16564 16072 566 18 0 16546 0
[pid=23144] vsize: 66256
Current children cumulated CPU time (s) 339.14
Current children cumulated vsize (Kb) 66256

[startup+350.021 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 16497 0 0 0 34812 101 0 0 25 0 1 0 1859423800 69357568 16463 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 16933 16463 566 18 0 16915 0
[pid=23144] vsize: 67732
Current children cumulated CPU time (s) 349.13
Current children cumulated vsize (Kb) 67732

[startup+360.021 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 17003 0 0 0 35803 105 0 0 25 0 1 0 1859423800 71413760 16969 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 17435 16969 566 18 0 17417 0
[pid=23144] vsize: 69740
Current children cumulated CPU time (s) 359.08
Current children cumulated vsize (Kb) 69740

[startup+370.021 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 17385 0 0 0 36798 108 0 0 25 0 1 0 1859423800 73089024 17351 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 17844 17351 566 18 0 17826 0
[pid=23144] vsize: 71376
Current children cumulated CPU time (s) 369.06
Current children cumulated vsize (Kb) 71376

[startup+380.022 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 17633 0 0 0 37797 109 0 0 25 0 1 0 1859423800 74182656 17599 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 18111 17599 566 18 0 18093 0
[pid=23144] vsize: 72444
Current children cumulated CPU time (s) 379.06
Current children cumulated vsize (Kb) 72444

[startup+390.022 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 18024 0 0 0 38793 111 0 0 25 0 1 0 1859423800 75792384 17990 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 18504 17990 566 18 0 18486 0
[pid=23144] vsize: 74016
Current children cumulated CPU time (s) 389.04
Current children cumulated vsize (Kb) 74016

[startup+400.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 18447 0 0 0 39790 112 0 0 25 0 1 0 1859423800 77484032 18413 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 18917 18413 566 18 0 18899 0
[pid=23144] vsize: 75668
Current children cumulated CPU time (s) 399.02
Current children cumulated vsize (Kb) 75668

[startup+410.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 18968 0 0 0 40786 115 0 0 25 0 1 0 1859423800 79720448 18934 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 19463 18934 566 18 0 19445 0
[pid=23144] vsize: 77852
Current children cumulated CPU time (s) 409.01
Current children cumulated vsize (Kb) 77852

[startup+420.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 19365 0 0 0 41784 117 0 0 25 0 1 0 1859423800 81244160 19331 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 19835 19331 566 18 0 19817 0
[pid=23144] vsize: 79340
Current children cumulated CPU time (s) 419.01
Current children cumulated vsize (Kb) 79340

[startup+430.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 19741 0 0 0 42780 119 0 0 25 0 1 0 1859423800 82759680 19707 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 20205 19707 566 18 0 20187 0
[pid=23144] vsize: 80820
Current children cumulated CPU time (s) 428.99
Current children cumulated vsize (Kb) 80820

[startup+440.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 20183 0 0 0 43777 121 0 0 25 0 1 0 1859423800 84586496 20149 4294967295 134512640 134578447 3221224624 3221223296 134523328 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 20651 20149 566 18 0 20633 0
[pid=23144] vsize: 82604
Current children cumulated CPU time (s) 438.98
Current children cumulated vsize (Kb) 82604

[startup+450.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 20662 0 0 0 44775 122 0 0 25 0 1 0 1859423800 86581248 20628 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 21138 20628 566 18 0 21120 0
[pid=23144] vsize: 84552
Current children cumulated CPU time (s) 448.97
Current children cumulated vsize (Kb) 84552

[startup+460.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 20997 0 0 0 45772 123 0 0 25 0 1 0 1859423800 87945216 20963 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 21471 20963 566 18 0 21453 0
[pid=23144] vsize: 85884
Current children cumulated CPU time (s) 458.95
Current children cumulated vsize (Kb) 85884

[startup+470.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 21407 0 0 0 46768 125 0 0 25 0 1 0 1859423800 89595904 21373 4294967295 134512640 134578447 3221224624 3221223504 134518942 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 21874 21373 566 18 0 21856 0
[pid=23144] vsize: 87496
Current children cumulated CPU time (s) 468.93
Current children cumulated vsize (Kb) 87496

[startup+480.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 21835 0 0 0 47765 127 0 0 25 0 1 0 1859423800 91435008 21801 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 22323 21801 566 18 0 22305 0
[pid=23144] vsize: 89292
Current children cumulated CPU time (s) 478.92
Current children cumulated vsize (Kb) 89292

[startup+490.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 22227 0 0 0 48762 128 0 0 25 0 1 0 1859423800 92946432 22193 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 22692 22193 566 18 0 22674 0
[pid=23144] vsize: 90768
Current children cumulated CPU time (s) 488.9
Current children cumulated vsize (Kb) 90768

[startup+500.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 22674 0 0 0 49756 131 0 0 25 0 1 0 1859423800 94867456 22640 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 23161 22640 566 18 0 23143 0
[pid=23144] vsize: 92644
Current children cumulated CPU time (s) 498.87
Current children cumulated vsize (Kb) 92644

[startup+510.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 23023 0 0 0 50754 132 0 0 25 0 1 0 1859423800 96251904 22989 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 23499 22989 566 18 0 23481 0
[pid=23144] vsize: 93996
Current children cumulated CPU time (s) 508.86
Current children cumulated vsize (Kb) 93996

[startup+520.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 23296 0 0 0 51747 134 0 0 25 0 1 0 1859423800 97345536 23262 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 23766 23262 566 18 0 23748 0
[pid=23144] vsize: 95064
Current children cumulated CPU time (s) 518.81
Current children cumulated vsize (Kb) 95064

[startup+530.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 23711 0 0 0 52743 137 0 0 25 0 1 0 1859423800 99139584 23677 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 24204 23677 566 18 0 24186 0
[pid=23144] vsize: 96816
Current children cumulated CPU time (s) 528.8
Current children cumulated vsize (Kb) 96816

[startup+540.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 24106 0 0 0 53740 138 0 0 25 0 1 0 1859423800 100720640 24072 4294967295 134512640 134578447 3221224624 3221223296 134523410 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 24590 24072 566 18 0 24572 0
[pid=23144] vsize: 98360
Current children cumulated CPU time (s) 538.78
Current children cumulated vsize (Kb) 98360

[startup+550.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 24366 0 0 0 54737 140 0 0 25 0 1 0 1859423800 101834752 24332 4294967295 134512640 134578447 3221224624 3221223504 134518942 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 24862 24332 566 18 0 24844 0
[pid=23144] vsize: 99448
Current children cumulated CPU time (s) 548.77
Current children cumulated vsize (Kb) 99448

[startup+560.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 24702 0 0 0 55735 142 0 0 25 0 1 0 1859423800 103239680 24668 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 25205 24668 566 18 0 25187 0
[pid=23144] vsize: 100820
Current children cumulated CPU time (s) 558.77
Current children cumulated vsize (Kb) 100820

[startup+570.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 24963 0 0 0 56733 143 0 0 25 0 1 0 1859423800 104370176 24929 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 25481 24929 566 18 0 25463 0
[pid=23144] vsize: 101924
Current children cumulated CPU time (s) 568.76
Current children cumulated vsize (Kb) 101924

[startup+580.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 25278 0 0 0 57730 144 0 0 25 0 1 0 1859423800 105627648 25244 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 25788 25244 566 18 0 25770 0
[pid=23144] vsize: 103152
Current children cumulated CPU time (s) 578.74
Current children cumulated vsize (Kb) 103152

[startup+590.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23203
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 25636 0 0 0 58727 146 0 0 25 0 1 0 1859423800 107126784 25602 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 26154 25602 566 18 0 26136 0
[pid=23144] vsize: 104616
Current children cumulated CPU time (s) 588.73
Current children cumulated vsize (Kb) 104616

[startup+600.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 25944 0 0 0 59724 148 0 0 25 0 1 0 1859423800 108331008 25910 4294967295 134512640 134578447 3221224624 3221223476 134555763 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 26448 25910 566 18 0 26430 0
[pid=23144] vsize: 105792
Current children cumulated CPU time (s) 598.72
Current children cumulated vsize (Kb) 105792

[startup+610.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 26222 0 0 0 60722 149 0 0 25 0 1 0 1859423800 109428736 26188 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 26716 26188 566 18 0 26698 0
[pid=23144] vsize: 106864
Current children cumulated CPU time (s) 608.71
Current children cumulated vsize (Kb) 106864

[startup+620.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) T 23143 23144 21452 0 -1 0 26591 0 0 0 61718 152 0 0 25 0 1 0 1859423800 111005696 26557 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23144/statm): 27101 26557 566 18 0 27083 0
[pid=23144] vsize: 108404
Current children cumulated CPU time (s) 618.7
Current children cumulated vsize (Kb) 108404

[startup+630.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 26948 0 0 0 62714 153 0 0 25 0 1 0 1859423800 112435200 26914 4294967295 134512640 134578447 3221224624 3221223504 134518978 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 27450 26914 566 18 0 27432 0
[pid=23144] vsize: 109800
Current children cumulated CPU time (s) 628.67
Current children cumulated vsize (Kb) 109800

[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 27342 0 0 0 63711 155 0 0 25 0 1 0 1859423800 113991680 27308 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 27830 27308 566 18 0 27812 0
[pid=23144] vsize: 111320
Current children cumulated CPU time (s) 638.66
Current children cumulated vsize (Kb) 111320

[startup+650.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 27792 0 0 0 64705 158 0 0 25 0 1 0 1859423800 115863552 27758 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 28287 27758 566 18 0 28269 0
[pid=23144] vsize: 113148
Current children cumulated CPU time (s) 648.63
Current children cumulated vsize (Kb) 113148

[startup+660.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 28219 0 0 0 65700 161 0 0 25 0 1 0 1859423800 117702656 28185 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 28736 28185 566 18 0 28718 0
[pid=23144] vsize: 114944
Current children cumulated CPU time (s) 658.61
Current children cumulated vsize (Kb) 114944

[startup+670.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 28592 0 0 0 66697 162 0 0 25 0 1 0 1859423800 119263232 28558 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 29117 28558 566 18 0 29099 0
[pid=23144] vsize: 116468
Current children cumulated CPU time (s) 668.59
Current children cumulated vsize (Kb) 116468

[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 28951 0 0 0 67694 164 0 0 25 0 1 0 1859423800 120635392 28917 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 29452 28917 566 18 0 29434 0
[pid=23144] vsize: 117808
Current children cumulated CPU time (s) 678.58
Current children cumulated vsize (Kb) 117808

[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 29243 0 0 0 68691 165 0 0 25 0 1 0 1859423800 121901056 29209 4294967295 134512640 134578447 3221224624 3221223296 134523413 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 29761 29209 566 18 0 29743 0
[pid=23144] vsize: 119044
Current children cumulated CPU time (s) 688.56
Current children cumulated vsize (Kb) 119044

[startup+700.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 29590 0 0 0 69687 168 0 0 25 0 1 0 1859423800 123387904 29556 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 30124 29556 566 18 0 30106 0
[pid=23144] vsize: 120496
Current children cumulated CPU time (s) 698.55
Current children cumulated vsize (Kb) 120496

[startup+710.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 30054 0 0 0 70683 169 0 0 25 0 1 0 1859423800 125304832 30020 4294967295 134512640 134578447 3221224624 3221223476 134555775 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 30592 30021 566 18 0 30574 0
[pid=23144] vsize: 122368
Current children cumulated CPU time (s) 708.52
Current children cumulated vsize (Kb) 122368

[startup+720.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 30555 0 0 0 71681 171 0 0 25 0 1 0 1859423800 127270912 30521 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 31072 30521 566 18 0 31054 0
[pid=23144] vsize: 124288
Current children cumulated CPU time (s) 718.52
Current children cumulated vsize (Kb) 124288

[startup+730.033 s]
Raw data (loadavg): 1.15 1.03 1.01 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 30772 0 0 0 72678 172 0 0 25 0 1 0 1859423800 128229376 30738 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 31306 30738 566 18 0 31288 0
[pid=23144] vsize: 125224
Current children cumulated CPU time (s) 728.5
Current children cumulated vsize (Kb) 125224

[startup+740.032 s]
Raw data (loadavg): 1.13 1.03 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 31078 0 0 0 73674 174 0 0 25 0 1 0 1859423800 129540096 31044 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 31626 31044 566 18 0 31608 0
[pid=23144] vsize: 126504
Current children cumulated CPU time (s) 738.48
Current children cumulated vsize (Kb) 126504

[startup+750.033 s]
Raw data (loadavg): 1.11 1.03 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 31648 0 0 0 74670 177 0 0 25 0 1 0 1859423800 131874816 31614 4294967295 134512640 134578447 3221224624 3221223504 134518942 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 32196 31614 566 18 0 32178 0
[pid=23144] vsize: 128784
Current children cumulated CPU time (s) 748.47
Current children cumulated vsize (Kb) 128784

[startup+760.033 s]
Raw data (loadavg): 1.09 1.03 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 31950 0 0 0 75668 178 0 0 25 0 1 0 1859423800 133103616 31916 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 32496 31916 566 18 0 32478 0
[pid=23144] vsize: 129984
Current children cumulated CPU time (s) 758.46
Current children cumulated vsize (Kb) 129984

[startup+770.032 s]
Raw data (loadavg): 1.08 1.03 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 32198 0 0 0 76665 180 0 0 25 0 1 0 1859423800 134066176 32164 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 32731 32164 566 18 0 32713 0
[pid=23144] vsize: 130924
Current children cumulated CPU time (s) 768.45
Current children cumulated vsize (Kb) 130924

[startup+780.033 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 32612 0 0 0 77661 182 0 0 25 0 1 0 1859423800 135819264 32578 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 33159 32578 566 18 0 33141 0
[pid=23144] vsize: 132636
Current children cumulated CPU time (s) 778.43
Current children cumulated vsize (Kb) 132636

[startup+790.034 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 32835 0 0 0 78659 183 0 0 25 0 1 0 1859423800 136724480 32801 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 33380 32801 566 18 0 33362 0
[pid=23144] vsize: 133520
Current children cumulated CPU time (s) 788.42
Current children cumulated vsize (Kb) 133520

[startup+800.034 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 33350 0 0 0 79655 185 0 0 25 0 1 0 1859423800 139034624 33316 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 33944 33316 566 18 0 33926 0
[pid=23144] vsize: 135776
Current children cumulated CPU time (s) 798.4
Current children cumulated vsize (Kb) 135776

[startup+810.035 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 33672 0 0 0 80651 187 0 0 25 0 1 0 1859423800 140275712 33638 4294967295 134512640 134578447 3221224624 3221223456 134527020 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 34247 33638 566 18 0 34229 0
[pid=23144] vsize: 136988
Current children cumulated CPU time (s) 808.38
Current children cumulated vsize (Kb) 136988

[startup+820.035 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 34017 0 0 0 81648 189 0 0 25 0 1 0 1859423800 141799424 33983 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 34619 33983 566 18 0 34601 0
[pid=23144] vsize: 138476
Current children cumulated CPU time (s) 818.37
Current children cumulated vsize (Kb) 138476

[startup+830.036 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 34390 0 0 0 82645 190 0 0 25 0 1 0 1859423800 143200256 34356 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 34961 34356 566 18 0 34943 0
[pid=23144] vsize: 139844
Current children cumulated CPU time (s) 828.35
Current children cumulated vsize (Kb) 139844

[startup+840.036 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 34691 0 0 0 83639 192 0 0 25 0 1 0 1859423800 144449536 34657 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 35266 34657 566 18 0 35248 0
[pid=23144] vsize: 141064
Current children cumulated CPU time (s) 838.31
Current children cumulated vsize (Kb) 141064

[startup+850.037 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 35044 0 0 0 84634 195 0 0 25 0 1 0 1859423800 145887232 35010 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 35617 35010 566 18 0 35599 0
[pid=23144] vsize: 142468
Current children cumulated CPU time (s) 848.29
Current children cumulated vsize (Kb) 142468

[startup+860.038 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 35324 0 0 0 85631 198 0 0 25 0 1 0 1859423800 147116032 35290 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 35917 35290 566 18 0 35899 0
[pid=23144] vsize: 143668
Current children cumulated CPU time (s) 858.29
Current children cumulated vsize (Kb) 143668

[startup+870.037 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 35702 0 0 0 86628 199 0 0 25 0 1 0 1859423800 148684800 35668 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 36300 35668 566 18 0 36282 0
[pid=23144] vsize: 145200
Current children cumulated CPU time (s) 868.27
Current children cumulated vsize (Kb) 145200

[startup+880.038 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 36031 0 0 0 87625 201 0 0 25 0 1 0 1859423800 150036480 35997 4294967295 134512640 134578447 3221224624 3221223504 134518932 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 36630 35997 566 18 0 36612 0
[pid=23144] vsize: 146520
Current children cumulated CPU time (s) 878.26
Current children cumulated vsize (Kb) 146520

[startup+890.039 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 36457 0 0 0 88620 204 0 0 25 0 1 0 1859423800 151855104 36423 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 37074 36423 566 18 0 37056 0
[pid=23144] vsize: 148296
Current children cumulated CPU time (s) 888.24
Current children cumulated vsize (Kb) 148296

[startup+900.04 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 36907 0 0 0 89616 206 0 0 25 0 1 0 1859423800 153616384 36873 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 37504 36873 566 18 0 37486 0
[pid=23144] vsize: 150016
Current children cumulated CPU time (s) 898.22
Current children cumulated vsize (Kb) 150016

[startup+910.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 37361 0 0 0 90612 209 0 0 25 0 1 0 1859423800 155480064 37327 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 37959 37327 566 18 0 37941 0
[pid=23144] vsize: 151836
Current children cumulated CPU time (s) 908.21
Current children cumulated vsize (Kb) 151836

[startup+920.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 37775 0 0 0 91609 210 0 0 25 0 1 0 1859423800 157270016 37741 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 38396 37741 566 18 0 38378 0
[pid=23144] vsize: 153584
Current children cumulated CPU time (s) 918.19
Current children cumulated vsize (Kb) 153584

[startup+930.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 38083 0 0 0 92605 212 0 0 25 0 1 0 1859423800 158490624 38049 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 38694 38049 566 18 0 38676 0
[pid=23144] vsize: 154776
Current children cumulated CPU time (s) 928.17
Current children cumulated vsize (Kb) 154776

[startup+940.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 38532 0 0 0 93601 214 0 0 25 0 1 0 1859423800 160374784 38498 4294967295 134512640 134578447 3221224624 3221223476 134555904 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 39154 38498 566 18 0 39136 0
[pid=23144] vsize: 156616
Current children cumulated CPU time (s) 938.15
Current children cumulated vsize (Kb) 156616

[startup+950.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 39003 0 0 0 94598 216 0 0 25 0 1 0 1859423800 162287616 38969 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 39621 38969 566 18 0 39603 0
[pid=23144] vsize: 158484
Current children cumulated CPU time (s) 948.14
Current children cumulated vsize (Kb) 158484

[startup+960.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 39130 0 0 0 95596 217 0 0 25 0 1 0 1859423800 162885632 39096 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 39767 39096 566 18 0 39749 0
[pid=23144] vsize: 159068
Current children cumulated CPU time (s) 958.13
Current children cumulated vsize (Kb) 159068

[startup+970.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 39313 0 0 0 96593 219 0 0 25 0 1 0 1859423800 163692544 39279 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 39964 39279 566 18 0 39946 0
[pid=23144] vsize: 159856
Current children cumulated CPU time (s) 968.12
Current children cumulated vsize (Kb) 159856

[startup+980.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 39579 0 0 0 97592 220 0 0 25 0 1 0 1859423800 164790272 39545 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 40232 39545 566 18 0 40214 0
[pid=23144] vsize: 160928
Current children cumulated CPU time (s) 978.12
Current children cumulated vsize (Kb) 160928

[startup+990.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 39829 0 0 0 98589 221 0 0 25 0 1 0 1859423800 165752832 39795 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 40467 39795 566 18 0 40449 0
[pid=23144] vsize: 161868
Current children cumulated CPU time (s) 988.1
Current children cumulated vsize (Kb) 161868

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 40089 0 0 0 99587 223 0 0 25 0 1 0 1859423800 166866944 40055 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 40739 40055 566 18 0 40721 0
[pid=23144] vsize: 162956
Current children cumulated CPU time (s) 998.1
Current children cumulated vsize (Kb) 162956

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 40294 0 0 0 100586 224 0 0 25 0 1 0 1859423800 167747584 40260 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 40954 40260 566 18 0 40936 0
[pid=23144] vsize: 163816
Current children cumulated CPU time (s) 1008.1
Current children cumulated vsize (Kb) 163816

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 40531 0 0 0 101584 225 0 0 25 0 1 0 1859423800 168792064 40497 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 41209 40497 566 18 0 41191 0
[pid=23144] vsize: 164836
Current children cumulated CPU time (s) 1018.09
Current children cumulated vsize (Kb) 164836

[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 40605 0 0 0 102582 226 0 0 25 0 1 0 1859423800 169078784 40571 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 41279 40571 566 18 0 41261 0
[pid=23144] vsize: 165116
Current children cumulated CPU time (s) 1028.08
Current children cumulated vsize (Kb) 165116

[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 40827 0 0 0 103580 227 0 0 25 0 1 0 1859423800 169897984 40793 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 41479 40793 566 18 0 41461 0
[pid=23144] vsize: 165916
Current children cumulated CPU time (s) 1038.07
Current children cumulated vsize (Kb) 165916

[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 41163 0 0 0 104578 229 0 0 25 0 1 0 1859423800 171335680 41129 4294967295 134512640 134578447 3221224624 3221223584 134559060 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 41830 41129 566 18 0 41812 0
[pid=23144] vsize: 167320
Current children cumulated CPU time (s) 1048.07
Current children cumulated vsize (Kb) 167320

[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 41387 0 0 0 105576 230 0 0 25 0 1 0 1859423800 172199936 41353 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 42041 41353 566 18 0 42023 0
[pid=23144] vsize: 168164
Current children cumulated CPU time (s) 1058.06
Current children cumulated vsize (Kb) 168164

[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 41745 0 0 0 106574 231 0 0 25 0 1 0 1859423800 173686784 41711 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 42404 41711 566 18 0 42386 0
[pid=23144] vsize: 169616
Current children cumulated CPU time (s) 1068.05
Current children cumulated vsize (Kb) 169616

[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 41926 0 0 0 107573 232 0 0 25 0 1 0 1859423800 174379008 41892 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 42573 41892 566 18 0 42555 0
[pid=23144] vsize: 170292
Current children cumulated CPU time (s) 1078.05
Current children cumulated vsize (Kb) 170292

[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 42218 0 0 0 108570 233 0 0 25 0 1 0 1859423800 175644672 42184 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 42882 42184 566 18 0 42864 0
[pid=23144] vsize: 171528
Current children cumulated CPU time (s) 1088.03
Current children cumulated vsize (Kb) 171528

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 42337 0 0 0 109568 234 0 0 25 0 1 0 1859423800 176074752 42303 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 42987 42303 566 18 0 42969 0
[pid=23144] vsize: 171948
Current children cumulated CPU time (s) 1098.02
Current children cumulated vsize (Kb) 171948

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 42660 0 0 0 110564 236 0 0 25 0 1 0 1859423800 177483776 42626 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 43331 42626 566 18 0 43313 0
[pid=23144] vsize: 173324
Current children cumulated CPU time (s) 1108
Current children cumulated vsize (Kb) 173324

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 42970 0 0 0 111561 237 0 0 25 0 1 0 1859423800 178745344 42936 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 43639 42936 566 18 0 43621 0
[pid=23144] vsize: 174556
Current children cumulated CPU time (s) 1117.98
Current children cumulated vsize (Kb) 174556

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 43213 0 0 0 112559 239 0 0 25 0 1 0 1859423800 179736576 43179 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 43881 43179 566 18 0 43863 0
[pid=23144] vsize: 175524
Current children cumulated CPU time (s) 1127.98
Current children cumulated vsize (Kb) 175524

[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 43442 0 0 0 113556 239 0 0 25 0 1 0 1859423800 180711424 43408 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 44119 43408 566 18 0 44101 0
[pid=23144] vsize: 176476
Current children cumulated CPU time (s) 1137.95
Current children cumulated vsize (Kb) 176476

[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 43760 0 0 0 114552 241 0 0 25 0 1 0 1859423800 181956608 43726 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 44423 43726 566 18 0 44405 0
[pid=23144] vsize: 177692
Current children cumulated CPU time (s) 1147.93
Current children cumulated vsize (Kb) 177692

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 44068 0 0 0 115550 242 0 0 25 0 1 0 1859423800 183181312 44034 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 44722 44034 566 18 0 44704 0
[pid=23144] vsize: 178888
Current children cumulated CPU time (s) 1157.92
Current children cumulated vsize (Kb) 178888

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 44498 0 0 0 116546 244 0 0 25 0 1 0 1859423800 184954880 44464 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 45155 44464 566 18 0 45137 0
[pid=23144] vsize: 180620
Current children cumulated CPU time (s) 1167.9
Current children cumulated vsize (Kb) 180620

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 44706 0 0 0 117543 245 0 0 25 0 1 0 1859423800 185794560 44672 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 45360 44672 566 18 0 45342 0
[pid=23144] vsize: 181440
Current children cumulated CPU time (s) 1177.88
Current children cumulated vsize (Kb) 181440

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 23205
Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 44911 0 0 0 118540 247 0 0 25 0 1 0 1859423800 186626048 44877 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23144/statm): 45563 44877 566 18 0 45545 0
[pid=23144] vsize: 182252
Current children cumulated CPU time (s) 1187.87
Current children cumulated vsize (Kb) 182252
One traced child (pid=23144) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1191.28
CPU time (s): 1189.11
CPU user time (s): 1186.55
CPU system time (s): 2.55861
CPU usage (%): 99.8179
Max. virtual memory (cumulated for all children) (Kb): 182252

Verifier Data

Verifier:	OK	-9