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-5.opb
MD5SUM7850e0b228f4ef5ee038a9c3595683ab
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.04
Number of variables945
Total number of constraints58579
Number of constraints which are clauses58579
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 7885

Launcher Data

LAUNCH ON wulflinc15 THE 2005-09-20 14:55:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5047 boxname=wulflinc15 idbench=359 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  7850e0b228f4ef5ee038a9c3595683ab  /oldhome/oroussel/tmp/wulflinc15/normalized-frb45-21-5.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5047
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 2
cpu MHz		: 450.999
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:        825296 kB
Buffers:         31244 kB
Cached:         148212 kB
SwapCached:        744 kB
Active:          68440 kB
Inactive:       113656 kB
HighTotal:      131008 kB
HighFree:         3836 kB
LowTotal:       903652 kB
LowFree:        821460 kB
SwapTotal:     2097136 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            21656 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 15:14:53 (client local time) WITH STATUS 10 IN 1189.13 SECONDS
stats: 5047 0 1189.13 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: 58580
c total time              : 1189.03 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/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1801180762 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13707/statm): 41 3 40 18 0 23 0
[pid=13707] 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.0035 s]
Raw data (loadavg): 0.93 0.96 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 2288 0 0 0 979 9 0 0 25 0 1 0 1801180762 10874880 2254 4294967295 134512640 134578447 3221224624 3221223296 134523382 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 2655 2254 566 18 0 2637 0
[pid=13707] vsize: 10620
Current children cumulated CPU time (s) 9.88
Current children cumulated vsize (Kb) 10620

[startup+20.0044 s]
Raw data (loadavg): 0.94 0.96 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 2288 0 0 0 1974 11 0 0 25 0 1 0 1801180762 10874880 2254 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13707/statm): 2655 2254 566 18 0 2637 0
[pid=13707] vsize: 10620
Current children cumulated CPU time (s) 19.85
Current children cumulated vsize (Kb) 10620

[startup+30.0052 s]
Raw data (loadavg): 0.95 0.96 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 2661 0 0 0 2969 14 0 0 25 0 1 0 1801180762 12423168 2627 4294967295 134512640 134578447 3221224624 3221223296 134523413 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 3033 2627 566 18 0 3015 0
[pid=13707] vsize: 12132
Current children cumulated CPU time (s) 29.83
Current children cumulated vsize (Kb) 12132

[startup+40.005 s]
Raw data (loadavg): 0.96 0.96 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 3056 0 0 0 3962 16 0 0 25 0 1 0 1801180762 14123008 3022 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 3448 3022 566 18 0 3430 0
[pid=13707] vsize: 13792
Current children cumulated CPU time (s) 39.78
Current children cumulated vsize (Kb) 13792

[startup+50.0048 s]
Raw data (loadavg): 0.96 0.96 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 3517 0 0 0 4958 19 0 0 25 0 1 0 1801180762 15978496 3483 4294967295 134512640 134578447 3221224624 3221223504 134518939 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 3901 3483 566 18 0 3883 0
[pid=13707] vsize: 15604
Current children cumulated CPU time (s) 49.77
Current children cumulated vsize (Kb) 15604

[startup+60.0056 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 3962 0 0 0 5955 21 0 0 25 0 1 0 1801180762 17788928 3928 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 4343 3928 566 18 0 4325 0
[pid=13707] vsize: 17372
Current children cumulated CPU time (s) 59.76
Current children cumulated vsize (Kb) 17372

[startup+70.0064 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 4666 0 0 0 6946 25 0 0 25 0 1 0 1801180762 20672512 4632 4294967295 134512640 134578447 3221224624 3221223296 134523387 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 5047 4632 566 18 0 5029 0
[pid=13707] vsize: 20188
Current children cumulated CPU time (s) 69.71
Current children cumulated vsize (Kb) 20188

[startup+80.0062 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 5094 0 0 0 7942 27 0 0 25 0 1 0 1801180762 22360064 5060 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 5459 5060 566 18 0 5441 0
[pid=13707] vsize: 21836
Current children cumulated CPU time (s) 79.69
Current children cumulated vsize (Kb) 21836

[startup+90.0071 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 5662 0 0 0 8935 31 0 0 25 0 1 0 1801180762 24801280 5628 4294967295 134512640 134578447 3221224624 3221223564 134527396 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 6055 5628 566 18 0 6037 0
[pid=13707] vsize: 24220
Current children cumulated CPU time (s) 89.66
Current children cumulated vsize (Kb) 24220

[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 6069 0 0 0 9931 32 0 0 25 0 1 0 1801180762 26468352 6035 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 6462 6035 566 18 0 6444 0
[pid=13707] vsize: 25848
Current children cumulated CPU time (s) 99.63
Current children cumulated vsize (Kb) 25848

[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 6484 0 0 0 10928 33 0 0 25 0 1 0 1801180762 28143616 6450 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 6871 6450 566 18 0 6853 0
[pid=13707] vsize: 27484
Current children cumulated CPU time (s) 109.61
Current children cumulated vsize (Kb) 27484

[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 6876 0 0 0 11924 35 0 0 25 0 1 0 1801180762 29798400 6842 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 7275 6842 566 18 0 7257 0
[pid=13707] vsize: 29100
Current children cumulated CPU time (s) 119.59
Current children cumulated vsize (Kb) 29100

[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 7318 0 0 0 12917 39 0 0 25 0 1 0 1801180762 31584256 7284 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 7711 7284 566 18 0 7693 0
[pid=13707] vsize: 30844
Current children cumulated CPU time (s) 129.56
Current children cumulated vsize (Kb) 30844

[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 7839 0 0 0 13913 41 0 0 25 0 1 0 1801180762 33693696 7805 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 8226 7805 566 18 0 8208 0
[pid=13707] vsize: 32904
Current children cumulated CPU time (s) 139.54
Current children cumulated vsize (Kb) 32904

[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 8212 0 0 0 14910 42 0 0 25 0 1 0 1801180762 35241984 8178 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 8604 8178 566 18 0 8586 0
[pid=13707] vsize: 34416
Current children cumulated CPU time (s) 149.52
Current children cumulated vsize (Kb) 34416

[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 8638 0 0 0 15906 45 0 0 25 0 1 0 1801180762 36962304 8604 4294967295 134512640 134578447 3221224624 3221221040 134533051 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 9024 8604 566 18 0 9006 0
[pid=13707] vsize: 36096
Current children cumulated CPU time (s) 159.51
Current children cumulated vsize (Kb) 36096

[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 9038 0 0 0 16903 47 0 0 25 0 1 0 1801180762 38629376 9004 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 9431 9004 566 18 0 9413 0
[pid=13707] vsize: 37724
Current children cumulated CPU time (s) 169.5
Current children cumulated vsize (Kb) 37724

[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 9401 0 0 0 17899 49 0 0 25 0 1 0 1801180762 40054784 9367 4294967295 134512640 134578447 3221224624 3221223536 134556889 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 9779 9367 566 18 0 9761 0
[pid=13707] vsize: 39116
Current children cumulated CPU time (s) 179.48
Current children cumulated vsize (Kb) 39116

[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 9866 0 0 0 18892 52 0 0 25 0 1 0 1801180762 42016768 9832 4294967295 134512640 134578447 3221224624 3221223296 134523427 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13707/statm): 10258 9832 566 18 0 10240 0
[pid=13707] vsize: 41032
Current children cumulated CPU time (s) 189.44
Current children cumulated vsize (Kb) 41032

[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 10256 0 0 0 19889 54 0 0 25 0 1 0 1801180762 43548672 10222 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 10632 10222 566 18 0 10614 0
[pid=13707] vsize: 42528
Current children cumulated CPU time (s) 199.43
Current children cumulated vsize (Kb) 42528

[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 10569 0 0 0 20886 56 0 0 25 0 1 0 1801180762 44843008 10535 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 10948 10535 566 18 0 10930 0
[pid=13707] vsize: 43792
Current children cumulated CPU time (s) 209.42
Current children cumulated vsize (Kb) 43792

[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 10905 0 0 0 21883 58 0 0 25 0 1 0 1801180762 46215168 10871 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 11283 10871 566 18 0 11265 0
[pid=13707] vsize: 45132
Current children cumulated CPU time (s) 219.41
Current children cumulated vsize (Kb) 45132

[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 11229 0 0 0 22881 59 0 0 25 0 1 0 1801180762 47591424 11195 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 11619 11195 566 18 0 11601 0
[pid=13707] vsize: 46476
Current children cumulated CPU time (s) 229.4
Current children cumulated vsize (Kb) 46476

[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 11604 0 0 0 23877 61 0 0 25 0 1 0 1801180762 49111040 11570 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13707/statm): 11990 11570 566 18 0 11972 0
[pid=13707] vsize: 47960
Current children cumulated CPU time (s) 239.38
Current children cumulated vsize (Kb) 47960

[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 12112 0 0 0 24872 63 0 0 25 0 1 0 1801180762 51191808 12078 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 12498 12078 566 18 0 12480 0
[pid=13707] vsize: 49992
Current children cumulated CPU time (s) 249.35
Current children cumulated vsize (Kb) 49992

[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 12474 0 0 0 25869 64 0 0 25 0 1 0 1801180762 52666368 12440 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 12858 12440 566 18 0 12840 0
[pid=13707] vsize: 51432
Current children cumulated CPU time (s) 259.33
Current children cumulated vsize (Kb) 51432

[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 12950 0 0 0 26866 66 0 0 25 0 1 0 1801180762 54624256 12916 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 13336 12916 566 18 0 13318 0
[pid=13707] vsize: 53344
Current children cumulated CPU time (s) 269.32
Current children cumulated vsize (Kb) 53344

[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 13324 0 0 0 27863 68 0 0 25 0 1 0 1801180762 56147968 13290 4294967295 134512640 134578447 3221224624 3221223296 134523378 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 13708 13290 566 18 0 13690 0
[pid=13707] vsize: 54832
Current children cumulated CPU time (s) 279.31
Current children cumulated vsize (Kb) 54832

[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 13633 0 0 0 28861 69 0 0 25 0 1 0 1801180762 57425920 13599 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 14020 13599 566 18 0 14002 0
[pid=13707] vsize: 56080
Current children cumulated CPU time (s) 289.3
Current children cumulated vsize (Kb) 56080

[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13707
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 13991 0 0 0 29857 71 0 0 25 0 1 0 1801180762 58920960 13957 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 14385 13957 566 18 0 14367 0
[pid=13707] vsize: 57540
Current children cumulated CPU time (s) 299.28
Current children cumulated vsize (Kb) 57540

[startup+310.016 s]
Raw data (loadavg): 1.07 0.99 0.91 2/61 13761
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 14361 0 0 0 30843 83 0 0 17 0 1 0 1801180762 60465152 14327 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 14762 14327 566 18 0 14744 0
[pid=13707] vsize: 59048
Current children cumulated CPU time (s) 309.26
Current children cumulated vsize (Kb) 59048

[startup+320.018 s]
Raw data (loadavg): 1.06 0.99 0.91 2/56 13762
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 14771 0 0 0 31839 85 0 0 25 0 1 0 1801180762 62103552 14737 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 15162 14737 566 18 0 15144 0
[pid=13707] vsize: 60648
Current children cumulated CPU time (s) 319.24
Current children cumulated vsize (Kb) 60648

[startup+330.018 s]
Raw data (loadavg): 1.05 0.99 0.91 2/56 13762
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 15185 0 0 0 32833 88 0 0 25 0 1 0 1801180762 63787008 15151 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 15573 15151 566 18 0 15555 0
[pid=13707] vsize: 62292
Current children cumulated CPU time (s) 329.21
Current children cumulated vsize (Kb) 62292

[startup+340.018 s]
Raw data (loadavg): 1.04 0.99 0.91 2/56 13762
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 15572 0 0 0 33829 91 0 0 25 0 1 0 1801180762 65445888 15538 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 15978 15538 566 18 0 15960 0
[pid=13707] vsize: 63912
Current children cumulated CPU time (s) 339.2
Current children cumulated vsize (Kb) 63912

[startup+350.017 s]
Raw data (loadavg): 1.04 0.99 0.91 2/56 13762
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 15894 0 0 0 34827 93 0 0 25 0 1 0 1801180762 66674688 15860 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 16278 15860 566 18 0 16260 0
[pid=13707] vsize: 65112
Current children cumulated CPU time (s) 349.2
Current children cumulated vsize (Kb) 65112

[startup+360.018 s]
Raw data (loadavg): 1.03 0.99 0.91 2/56 13762
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 16121 0 0 0 35823 94 0 0 25 0 1 0 1801180762 67624960 16087 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 16510 16087 566 18 0 16492 0
[pid=13707] vsize: 66040
Current children cumulated CPU time (s) 359.17
Current children cumulated vsize (Kb) 66040

[startup+370.018 s]
Raw data (loadavg): 1.03 0.99 0.91 2/56 13762
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 16432 0 0 0 36821 95 0 0 25 0 1 0 1801180762 68931584 16398 4294967295 134512640 134578447 3221224624 3221223296 134523438 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 16829 16398 566 18 0 16811 0
[pid=13707] vsize: 67316
Current children cumulated CPU time (s) 369.16
Current children cumulated vsize (Kb) 67316

[startup+380.018 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 16772 0 0 0 37818 97 0 0 25 0 1 0 1801180762 70287360 16738 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 17160 16738 566 18 0 17142 0
[pid=13707] vsize: 68640
Current children cumulated CPU time (s) 379.15
Current children cumulated vsize (Kb) 68640

[startup+390.019 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 17014 0 0 0 38815 98 0 0 25 0 1 0 1801180762 71315456 16980 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 17411 16980 566 18 0 17393 0
[pid=13707] vsize: 69644
Current children cumulated CPU time (s) 389.13
Current children cumulated vsize (Kb) 69644

[startup+400.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 17242 0 0 0 39812 99 0 0 25 0 1 0 1801180762 72265728 17208 4294967295 134512640 134578447 3221224624 3221223296 134523419 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 17643 17208 566 18 0 17625 0
[pid=13707] vsize: 70572
Current children cumulated CPU time (s) 399.11
Current children cumulated vsize (Kb) 70572

[startup+410.019 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 17475 0 0 0 40810 100 0 0 25 0 1 0 1801180762 73240576 17441 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 17881 17441 566 18 0 17863 0
[pid=13707] vsize: 71524
Current children cumulated CPU time (s) 409.1
Current children cumulated vsize (Kb) 71524

[startup+420.019 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 17766 0 0 0 41807 102 0 0 25 0 1 0 1801180762 74493952 17732 4294967295 134512640 134578447 3221224624 3221223520 134520028 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 18187 17732 566 18 0 18169 0
[pid=13707] vsize: 72748
Current children cumulated CPU time (s) 419.09
Current children cumulated vsize (Kb) 72748

[startup+430.019 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 18094 0 0 0 42804 103 0 0 25 0 1 0 1801180762 75907072 18060 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 18532 18060 566 18 0 18514 0
[pid=13707] vsize: 74128
Current children cumulated CPU time (s) 429.07
Current children cumulated vsize (Kb) 74128

[startup+440.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 18351 0 0 0 43802 104 0 0 25 0 1 0 1801180762 76877824 18317 4294967295 134512640 134578447 3221224624 3221223296 134523366 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 18769 18317 566 18 0 18751 0
[pid=13707] vsize: 75076
Current children cumulated CPU time (s) 439.06
Current children cumulated vsize (Kb) 75076

[startup+450.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 18587 0 0 0 44800 105 0 0 25 0 1 0 1801180762 77885440 18553 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 19015 18553 566 18 0 18997 0
[pid=13707] vsize: 76060
Current children cumulated CPU time (s) 449.05
Current children cumulated vsize (Kb) 76060

[startup+460.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 18811 0 0 0 45798 106 0 0 25 0 1 0 1801180762 78843904 18777 4294967295 134512640 134578447 3221224624 3221223296 134523419 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 19249 18777 566 18 0 19231 0
[pid=13707] vsize: 76996
Current children cumulated CPU time (s) 459.04
Current children cumulated vsize (Kb) 76996

[startup+470.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 19092 0 0 0 46796 107 0 0 25 0 1 0 1801180762 79962112 19058 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 19522 19058 566 18 0 19504 0
[pid=13707] vsize: 78088
Current children cumulated CPU time (s) 469.03
Current children cumulated vsize (Kb) 78088

[startup+480.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 19409 0 0 0 47794 108 0 0 25 0 1 0 1801180762 81231872 19375 4294967295 134512640 134578447 3221224624 3221223296 134523433 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 19832 19375 566 18 0 19814 0
[pid=13707] vsize: 79328
Current children cumulated CPU time (s) 479.02
Current children cumulated vsize (Kb) 79328

[startup+490.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 19713 0 0 0 48792 110 0 0 25 0 1 0 1801180762 82489344 19679 4294967295 134512640 134578447 3221224624 3221223376 134528926 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 20139 19679 566 18 0 20121 0
[pid=13707] vsize: 80556
Current children cumulated CPU time (s) 489.02
Current children cumulated vsize (Kb) 80556

[startup+500.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 19939 0 0 0 49789 111 0 0 25 0 1 0 1801180762 83456000 19905 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 20375 19905 566 18 0 20357 0
[pid=13707] vsize: 81500
Current children cumulated CPU time (s) 499
Current children cumulated vsize (Kb) 81500

[startup+510.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 20166 0 0 0 50787 112 0 0 25 0 1 0 1801180762 84422656 20132 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 20611 20132 566 18 0 20593 0
[pid=13707] vsize: 82444
Current children cumulated CPU time (s) 508.99
Current children cumulated vsize (Kb) 82444

[startup+520.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 20398 0 0 0 51785 114 0 0 25 0 1 0 1801180762 85274624 20364 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 20819 20364 566 18 0 20801 0
[pid=13707] vsize: 83276
Current children cumulated CPU time (s) 518.99
Current children cumulated vsize (Kb) 83276

[startup+530.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 20858 0 0 0 52778 116 0 0 25 0 1 0 1801180762 87347200 20824 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 21325 20824 566 18 0 21307 0
[pid=13707] vsize: 85300
Current children cumulated CPU time (s) 528.94
Current children cumulated vsize (Kb) 85300

[startup+540.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 21193 0 0 0 53776 118 0 0 25 0 1 0 1801180762 88768512 21159 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 21672 21159 566 18 0 21654 0
[pid=13707] vsize: 86688
Current children cumulated CPU time (s) 538.94
Current children cumulated vsize (Kb) 86688

[startup+550.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 21557 0 0 0 54773 120 0 0 25 0 1 0 1801180762 90157056 21523 4294967295 134512640 134578447 3221224624 3221223296 134523398 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 22011 21523 566 18 0 21993 0
[pid=13707] vsize: 88044
Current children cumulated CPU time (s) 548.93
Current children cumulated vsize (Kb) 88044

[startup+560.023 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) T 13706 13707 31778 0 -1 0 22021 0 0 0 55770 121 0 0 25 0 1 0 1801180762 92119040 21987 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13707/statm): 22490 21987 566 18 0 22472 0
[pid=13707] vsize: 89960
Current children cumulated CPU time (s) 558.91
Current children cumulated vsize (Kb) 89960

[startup+570.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 22290 0 0 0 56766 123 0 0 25 0 1 0 1801180762 93224960 22256 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 22760 22256 566 18 0 22742 0
[pid=13707] vsize: 91040
Current children cumulated CPU time (s) 568.89
Current children cumulated vsize (Kb) 91040

[startup+580.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 22681 0 0 0 57762 126 0 0 25 0 1 0 1801180762 94756864 22647 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13707/statm): 23134 22647 566 18 0 23116 0
[pid=13707] vsize: 92536
Current children cumulated CPU time (s) 578.88
Current children cumulated vsize (Kb) 92536

[startup+590.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 23084 0 0 0 58759 127 0 0 25 0 1 0 1801180762 96399360 23050 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 23535 23050 566 18 0 23517 0
[pid=13707] vsize: 94140
Current children cumulated CPU time (s) 588.86
Current children cumulated vsize (Kb) 94140

[startup+600.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 23352 0 0 0 59756 129 0 0 25 0 1 0 1801180762 97488896 23318 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 23801 23318 566 18 0 23783 0
[pid=13707] vsize: 95204
Current children cumulated CPU time (s) 598.85
Current children cumulated vsize (Kb) 95204

[startup+610.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 23844 0 0 0 60751 132 0 0 25 0 1 0 1801180762 99577856 23810 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 24311 23810 566 18 0 24293 0
[pid=13707] vsize: 97244
Current children cumulated CPU time (s) 608.83
Current children cumulated vsize (Kb) 97244

[startup+620.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 24154 0 0 0 61748 134 0 0 25 0 1 0 1801180762 100814848 24120 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 24613 24120 566 18 0 24595 0
[pid=13707] vsize: 98452
Current children cumulated CPU time (s) 618.82
Current children cumulated vsize (Kb) 98452

[startup+630.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13766
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 24467 0 0 0 62745 135 0 0 25 0 1 0 1801180762 102060032 24433 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 24917 24433 566 18 0 24899 0
[pid=13707] vsize: 99668
Current children cumulated CPU time (s) 628.8
Current children cumulated vsize (Kb) 99668

[startup+640.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 24952 0 0 0 63741 138 0 0 25 0 1 0 1801180762 104124416 24918 4294967295 134512640 134578447 3221224624 3221223488 134517717 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 25421 24918 566 18 0 25403 0
[pid=13707] vsize: 101684
Current children cumulated CPU time (s) 638.79
Current children cumulated vsize (Kb) 101684

[startup+650.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 25214 0 0 0 64736 140 0 0 25 0 1 0 1801180762 105218048 25180 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 25688 25180 566 18 0 25670 0
[pid=13707] vsize: 102752
Current children cumulated CPU time (s) 648.76
Current children cumulated vsize (Kb) 102752

[startup+660.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 25632 0 0 0 65733 142 0 0 25 0 1 0 1801180762 106844160 25598 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 26085 25598 566 18 0 26067 0
[pid=13707] vsize: 104340
Current children cumulated CPU time (s) 658.75
Current children cumulated vsize (Kb) 104340

[startup+670.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 25991 0 0 0 66730 143 0 0 25 0 1 0 1801180762 108367872 25957 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 26457 25957 566 18 0 26439 0
[pid=13707] vsize: 105828
Current children cumulated CPU time (s) 668.73
Current children cumulated vsize (Kb) 105828

[startup+680.028 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) T 13706 13707 31778 0 -1 0 26294 0 0 0 67727 145 0 0 25 0 1 0 1801180762 109699072 26260 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13707/statm): 26782 26260 566 18 0 26764 0
[pid=13707] vsize: 107128
Current children cumulated CPU time (s) 678.72
Current children cumulated vsize (Kb) 107128

[startup+690.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 26700 0 0 0 68724 145 0 0 25 0 1 0 1801180762 111357952 26666 4294967295 134512640 134578447 3221224624 3221223296 134523382 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 27187 26666 566 18 0 27169 0
[pid=13707] vsize: 108748
Current children cumulated CPU time (s) 688.69
Current children cumulated vsize (Kb) 108748

[startup+700.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 27093 0 0 0 69721 147 0 0 25 0 1 0 1801180762 112934912 27059 4294967295 134512640 134578447 3221224624 3221223488 134517671 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 27572 27059 566 18 0 27554 0
[pid=13707] vsize: 110288
Current children cumulated CPU time (s) 698.68
Current children cumulated vsize (Kb) 110288

[startup+710.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 27382 0 0 0 70718 148 0 0 25 0 1 0 1801180762 114065408 27348 4294967295 134512640 134578447 3221224624 3221223296 134523325 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 27848 27348 566 18 0 27830 0
[pid=13707] vsize: 111392
Current children cumulated CPU time (s) 708.66
Current children cumulated vsize (Kb) 111392

[startup+720.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 27794 0 0 0 71715 150 0 0 25 0 1 0 1801180762 115728384 27760 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 28254 27760 566 18 0 28236 0
[pid=13707] vsize: 113016
Current children cumulated CPU time (s) 718.65
Current children cumulated vsize (Kb) 113016

[startup+730.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 28209 0 0 0 72712 152 0 0 25 0 1 0 1801180762 117530624 28175 4294967295 134512640 134578447 3221224624 3221223296 134523387 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 28694 28175 566 18 0 28676 0
[pid=13707] vsize: 114776
Current children cumulated CPU time (s) 728.64
Current children cumulated vsize (Kb) 114776

[startup+740.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 28508 0 0 0 73708 153 0 0 25 0 1 0 1801180762 118669312 28474 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 28972 28474 566 18 0 28954 0
[pid=13707] vsize: 115888
Current children cumulated CPU time (s) 738.61
Current children cumulated vsize (Kb) 115888

[startup+750.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 29020 0 0 0 74704 155 0 0 25 0 1 0 1801180762 120782848 28986 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 29488 28986 566 18 0 29470 0
[pid=13707] vsize: 117952
Current children cumulated CPU time (s) 748.59
Current children cumulated vsize (Kb) 117952

[startup+760.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 29919 0 0 0 75691 162 0 0 25 0 1 0 1801180762 124506112 29885 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 30397 29885 566 18 0 30379 0
[pid=13707] vsize: 121588
Current children cumulated CPU time (s) 758.53
Current children cumulated vsize (Kb) 121588

[startup+770.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 31206 0 0 0 76679 169 0 0 25 0 1 0 1801180762 129781760 31172 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 31685 31172 566 18 0 31667 0
[pid=13707] vsize: 126740
Current children cumulated CPU time (s) 768.48
Current children cumulated vsize (Kb) 126740

[startup+780.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 31897 0 0 0 77670 174 0 0 25 0 1 0 1801180762 132808704 31863 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 32424 31863 566 18 0 32406 0
[pid=13707] vsize: 129696
Current children cumulated CPU time (s) 778.44
Current children cumulated vsize (Kb) 129696

[startup+790.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 32617 0 0 0 78663 177 0 0 25 0 1 0 1801180762 135786496 32583 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 33151 32583 566 18 0 33133 0
[pid=13707] vsize: 132604
Current children cumulated CPU time (s) 788.4
Current children cumulated vsize (Kb) 132604

[startup+800.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 33053 0 0 0 79659 179 0 0 25 0 1 0 1801180762 137678848 33019 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13707/statm): 33613 33019 566 18 0 33595 0
[pid=13707] vsize: 134452
Current children cumulated CPU time (s) 798.38
Current children cumulated vsize (Kb) 134452

[startup+810.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 33682 0 0 0 80655 182 0 0 25 0 1 0 1801180762 140304384 33648 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 34254 33648 566 18 0 34236 0
[pid=13707] vsize: 137016
Current children cumulated CPU time (s) 808.37
Current children cumulated vsize (Kb) 137016

[startup+820.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 34053 0 0 0 81652 183 0 0 25 0 1 0 1801180762 141856768 34019 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 34633 34019 566 18 0 34615 0
[pid=13707] vsize: 138532
Current children cumulated CPU time (s) 818.35
Current children cumulated vsize (Kb) 138532

[startup+830.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) T 13706 13707 31778 0 -1 0 34419 0 0 0 82648 185 0 0 25 0 1 0 1801180762 143466496 34385 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13707/statm): 35026 34385 566 18 0 35008 0
[pid=13707] vsize: 140104
Current children cumulated CPU time (s) 828.33
Current children cumulated vsize (Kb) 140104

[startup+840.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 34733 0 0 0 83645 187 0 0 25 0 1 0 1801180762 144703488 34699 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 35328 34699 566 18 0 35310 0
[pid=13707] vsize: 141312
Current children cumulated CPU time (s) 838.32
Current children cumulated vsize (Kb) 141312

[startup+850.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 35036 0 0 0 84642 189 0 0 25 0 1 0 1801180762 145940480 35002 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 35630 35002 566 18 0 35612 0
[pid=13707] vsize: 142520
Current children cumulated CPU time (s) 848.31
Current children cumulated vsize (Kb) 142520

[startup+860.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 35358 0 0 0 85639 190 0 0 25 0 1 0 1801180762 147210240 35324 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 35940 35324 566 18 0 35922 0
[pid=13707] vsize: 143760
Current children cumulated CPU time (s) 858.29
Current children cumulated vsize (Kb) 143760

[startup+870.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 35819 0 0 0 86634 194 0 0 25 0 1 0 1801180762 149168128 35785 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 36418 35785 566 18 0 36400 0
[pid=13707] vsize: 145672
Current children cumulated CPU time (s) 868.28
Current children cumulated vsize (Kb) 145672

[startup+880.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 36160 0 0 0 87630 196 0 0 25 0 1 0 1801180762 150560768 36126 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 36758 36126 566 18 0 36740 0
[pid=13707] vsize: 147032
Current children cumulated CPU time (s) 878.26
Current children cumulated vsize (Kb) 147032

[startup+890.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 36500 0 0 0 88626 197 0 0 25 0 1 0 1801180762 151949312 36466 4294967295 134512640 134578447 3221224624 3221223228 1075289350 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 37097 36466 566 18 0 37079 0
[pid=13707] vsize: 148388
Current children cumulated CPU time (s) 888.23
Current children cumulated vsize (Kb) 148388

[startup+900.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 36905 0 0 0 89623 199 0 0 25 0 1 0 1801180762 153636864 36871 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 37509 36871 566 18 0 37491 0
[pid=13707] vsize: 150036
Current children cumulated CPU time (s) 898.22
Current children cumulated vsize (Kb) 150036

[startup+910.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 37269 0 0 0 90620 201 0 0 25 0 1 0 1801180762 155009024 37235 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 37844 37235 566 18 0 37826 0
[pid=13707] vsize: 151376
Current children cumulated CPU time (s) 908.21
Current children cumulated vsize (Kb) 151376

[startup+920.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 37741 0 0 0 91614 204 0 0 25 0 1 0 1801180762 157028352 37707 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 38337 37707 566 18 0 38319 0
[pid=13707] vsize: 153348
Current children cumulated CPU time (s) 918.18
Current children cumulated vsize (Kb) 153348

[startup+930.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 38185 0 0 0 92609 207 0 0 25 0 1 0 1801180762 158777344 38151 4294967295 134512640 134578447 3221224624 3221223476 134555857 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 38764 38151 566 18 0 38746 0
[pid=13707] vsize: 155056
Current children cumulated CPU time (s) 928.16
Current children cumulated vsize (Kb) 155056

[startup+940.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 38836 0 0 0 93604 210 0 0 25 0 1 0 1801180762 161443840 38802 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13707/statm): 39415 38802 566 18 0 39397 0
[pid=13707] vsize: 157660
Current children cumulated CPU time (s) 938.14
Current children cumulated vsize (Kb) 157660

[startup+950.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 39337 0 0 0 94598 212 0 0 25 0 1 0 1801180762 163479552 39303 4294967295 134512640 134578447 3221224624 3221223520 134519831 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13707/statm): 39912 39303 566 18 0 39894 0
[pid=13707] vsize: 159648
Current children cumulated CPU time (s) 948.1
Current children cumulated vsize (Kb) 159648

[startup+960.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 39775 0 0 0 95593 215 0 0 25 0 1 0 1801180762 165363712 39741 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 40372 39741 566 18 0 40354 0
[pid=13707] vsize: 161488
Current children cumulated CPU time (s) 958.08
Current children cumulated vsize (Kb) 161488

[startup+970.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 40193 0 0 0 96590 216 0 0 25 0 1 0 1801180762 167026688 40159 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 40778 40159 566 18 0 40760 0
[pid=13707] vsize: 163112
Current children cumulated CPU time (s) 968.06
Current children cumulated vsize (Kb) 163112

[startup+980.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 40661 0 0 0 97584 219 0 0 25 0 1 0 1801180762 168914944 40627 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 41239 40627 566 18 0 41221 0
[pid=13707] vsize: 164956
Current children cumulated CPU time (s) 978.03
Current children cumulated vsize (Kb) 164956

[startup+990.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 41219 0 0 0 98578 222 0 0 25 0 1 0 1801180762 171397120 41185 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 41845 41185 566 18 0 41827 0
[pid=13707] vsize: 167380
Current children cumulated CPU time (s) 988
Current children cumulated vsize (Kb) 167380

[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) T 13706 13707 31778 0 -1 0 41896 0 0 0 99569 226 0 0 25 0 1 0 1801180762 174116864 41862 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13707/statm): 42509 41862 566 18 0 42491 0
[pid=13707] vsize: 170036
Current children cumulated CPU time (s) 997.95
Current children cumulated vsize (Kb) 170036

[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 42526 0 0 0 100563 230 0 0 25 0 1 0 1801180762 176738304 42492 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 43149 42492 566 18 0 43131 0
[pid=13707] vsize: 172596
Current children cumulated CPU time (s) 1007.93
Current children cumulated vsize (Kb) 172596

[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 43094 0 0 0 101558 233 0 0 25 0 1 0 1801180762 179130368 43060 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 43733 43060 566 18 0 43715 0
[pid=13707] vsize: 174932
Current children cumulated CPU time (s) 1017.91
Current children cumulated vsize (Kb) 174932

[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 43285 0 0 0 102555 234 0 0 25 0 1 0 1801180762 179793920 43251 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 43895 43251 566 18 0 43877 0
[pid=13707] vsize: 175580
Current children cumulated CPU time (s) 1027.89
Current children cumulated vsize (Kb) 175580

[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 43684 0 0 0 103552 236 0 0 25 0 1 0 1801180762 181497856 43650 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 44311 43650 566 18 0 44293 0
[pid=13707] vsize: 177244
Current children cumulated CPU time (s) 1037.88
Current children cumulated vsize (Kb) 177244

[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 43914 0 0 0 104550 236 0 0 25 0 1 0 1801180762 182439936 43880 4294967295 134512640 134578447 3221224624 3221223476 134555898 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 44541 43880 566 18 0 44523 0
[pid=13707] vsize: 178164
Current children cumulated CPU time (s) 1047.86
Current children cumulated vsize (Kb) 178164

[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) T 13706 13707 31778 0 -1 0 44262 0 0 0 105548 238 0 0 25 0 1 0 1801180762 183910400 44228 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13707/statm): 44900 44228 566 18 0 44882 0
[pid=13707] vsize: 179600
Current children cumulated CPU time (s) 1057.86
Current children cumulated vsize (Kb) 179600

[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 44653 0 0 0 106544 240 0 0 25 0 1 0 1801180762 185581568 44619 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 45308 44619 566 18 0 45290 0
[pid=13707] vsize: 181232
Current children cumulated CPU time (s) 1067.84
Current children cumulated vsize (Kb) 181232

[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 45194 0 0 0 107539 242 0 0 25 0 1 0 1801180762 187834368 45160 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 45858 45160 566 18 0 45840 0
[pid=13707] vsize: 183432
Current children cumulated CPU time (s) 1077.81
Current children cumulated vsize (Kb) 183432

[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 45732 0 0 0 108533 245 0 0 25 0 1 0 1801180762 190062592 45698 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 46402 45698 566 18 0 46384 0
[pid=13707] vsize: 185608
Current children cumulated CPU time (s) 1087.78
Current children cumulated vsize (Kb) 185608

[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 46345 0 0 0 109527 248 0 0 25 0 1 0 1801180762 192565248 46311 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 47013 46311 566 18 0 46995 0
[pid=13707] vsize: 188052
Current children cumulated CPU time (s) 1097.75
Current children cumulated vsize (Kb) 188052

[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 46844 0 0 0 110521 252 0 0 25 0 1 0 1801180762 194535424 46810 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 47494 46810 566 18 0 47476 0
[pid=13707] vsize: 189976
Current children cumulated CPU time (s) 1107.73
Current children cumulated vsize (Kb) 189976

[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 47159 0 0 0 111519 253 0 0 25 0 1 0 1801180762 195899392 47125 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 47827 47125 566 18 0 47809 0
[pid=13707] vsize: 191308
Current children cumulated CPU time (s) 1117.72
Current children cumulated vsize (Kb) 191308

[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 47283 0 0 0 112516 255 0 0 25 0 1 0 1801180762 196562944 47249 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 47989 47249 566 18 0 47971 0
[pid=13707] vsize: 191956
Current children cumulated CPU time (s) 1127.71
Current children cumulated vsize (Kb) 191956

[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 47544 0 0 0 113513 256 0 0 25 0 1 0 1801180762 197611520 47510 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 48245 47510 566 18 0 48227 0
[pid=13707] vsize: 192980
Current children cumulated CPU time (s) 1137.69
Current children cumulated vsize (Kb) 192980

[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 48125 0 0 0 114508 259 0 0 25 0 1 0 1801180762 199950336 48091 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 48816 48091 566 18 0 48798 0
[pid=13707] vsize: 195264
Current children cumulated CPU time (s) 1147.67
Current children cumulated vsize (Kb) 195264

[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 48775 0 0 0 115503 262 0 0 25 0 1 0 1801180762 202567680 48741 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 49455 48741 566 18 0 49437 0
[pid=13707] vsize: 197820
Current children cumulated CPU time (s) 1157.65
Current children cumulated vsize (Kb) 197820

[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 49243 0 0 0 116499 264 0 0 25 0 1 0 1801180762 204558336 49209 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 49941 49209 566 18 0 49923 0
[pid=13707] vsize: 199764
Current children cumulated CPU time (s) 1167.63
Current children cumulated vsize (Kb) 199764

[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 49812 0 0 0 117494 267 0 0 25 0 1 0 1801180762 206934016 49778 4294967295 134512640 134578447 3221224624 3221223520 134519798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 50521 49778 566 18 0 50503 0
[pid=13707] vsize: 202084
Current children cumulated CPU time (s) 1177.61
Current children cumulated vsize (Kb) 202084

[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 13768
Raw data (/proc/13707/stat): 13707 (Pueblo) R 13706 13707 31778 0 -1 0 50465 0 0 0 118488 270 0 0 25 0 1 0 1801180762 209555456 50431 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13707/statm): 51161 50431 566 18 0 51143 0
[pid=13707] vsize: 204644
Current children cumulated CPU time (s) 1187.58
Current children cumulated vsize (Kb) 204644
One traced child (pid=13707) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1191.6
CPU time (s): 1189.13
CPU user time (s): 1186.32
CPU system time (s): 2.80357
CPU usage (%): 99.7929
Max. virtual memory (cumulated for all children) (Kb): 204644

Verifier Data

Verifier:	OK	-7