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-4.opb
MD5SUM2b591d1b24a201f365bc505135aa0578
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 constraints58549
Number of constraints which are clauses58549
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 7884

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        865440 kB
Buffers:         32268 kB
Cached:         107452 kB
SwapCached:        904 kB
Active:          75036 kB
Inactive:        67412 kB
HighTotal:      131008 kB
HighFree:        20944 kB
LowTotal:       903652 kB
LowFree:        844496 kB
SwapTotal:     2097892 kB
SwapFree:      2096536 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5736 kB
Slab:            21080 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 15:14:34 (client local time) WITH STATUS 10 IN 1189.16 SECONDS
stats: 5046 0 1189.16 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: 58550
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/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859416088 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2107/statm): 41 3 40 18 0 23 0
[pid=2107] vsize: 164
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libstdc++.so.5
open syscall for file tls/i686/libstdc++.so.5
open syscall for file tls/mmx/libstdc++.so.5
open syscall for file tls/libstdc++.so.5
open syscall for file i686/mmx/libstdc++.so.5
open syscall for file i686/libstdc++.so.5
open syscall for file mmx/libstdc++.so.5
open syscall for file libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/libstdc++.so.5
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++.so.5
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6

[startup+10.0037 s]
Raw data (loadavg): 0.93 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 2275 0 0 0 981 9 0 0 25 0 1 0 1859416088 10874880 2241 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 2655 2241 566 18 0 2637 0
[pid=2107] vsize: 10620
Current children cumulated CPU time (s) 9.9
Current children cumulated vsize (Kb) 10620

[startup+20.0034 s]
Raw data (loadavg): 0.94 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 2310 0 0 0 1975 12 0 0 25 0 1 0 1859416088 11026432 2276 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2107/statm): 2692 2276 566 18 0 2674 0
[pid=2107] vsize: 10768
Current children cumulated CPU time (s) 19.87
Current children cumulated vsize (Kb) 10768

[startup+30.0041 s]
Raw data (loadavg): 0.95 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 2848 0 0 0 2968 15 0 0 25 0 1 0 1859416088 13291520 2814 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 3245 2814 566 18 0 3227 0
[pid=2107] vsize: 12980
Current children cumulated CPU time (s) 29.83
Current children cumulated vsize (Kb) 12980

[startup+40.0039 s]
Raw data (loadavg): 0.96 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 3328 0 0 0 3960 19 0 0 25 0 1 0 1859416088 15237120 3294 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 3720 3294 566 18 0 3702 0
[pid=2107] vsize: 14880
Current children cumulated CPU time (s) 39.79
Current children cumulated vsize (Kb) 14880

[startup+50.0046 s]
Raw data (loadavg): 0.96 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 3881 0 0 0 4953 23 0 0 25 0 1 0 1859416088 17436672 3847 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 4257 3847 566 18 0 4239 0
[pid=2107] vsize: 17028
Current children cumulated CPU time (s) 49.76
Current children cumulated vsize (Kb) 17028

[startup+60.0053 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 4366 0 0 0 5947 26 0 0 25 0 1 0 1859416088 19382272 4332 4294967295 134512640 134578447 3221224624 3221223308 1075289077 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 4732 4332 566 18 0 4714 0
[pid=2107] vsize: 18928
Current children cumulated CPU time (s) 59.73
Current children cumulated vsize (Kb) 18928

[startup+70.005 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 4828 0 0 0 6943 28 0 0 25 0 1 0 1859416088 21303296 4794 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 5201 4794 566 18 0 5183 0
[pid=2107] vsize: 20804
Current children cumulated CPU time (s) 69.71
Current children cumulated vsize (Kb) 20804

[startup+80.0058 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 5292 0 0 0 7936 31 0 0 25 0 1 0 1859416088 23244800 5258 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 5675 5258 566 18 0 5657 0
[pid=2107] vsize: 22700
Current children cumulated CPU time (s) 79.67
Current children cumulated vsize (Kb) 22700

[startup+90.0055 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 5748 0 0 0 8933 32 0 0 25 0 1 0 1859416088 25178112 5714 4294967295 134512640 134578447 3221224624 3221223504 134518939 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 6147 5714 566 18 0 6129 0
[pid=2107] vsize: 24588
Current children cumulated CPU time (s) 89.65
Current children cumulated vsize (Kb) 24588

[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 6202 0 0 0 9927 35 0 0 25 0 1 0 1859416088 26968064 6168 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 6584 6168 566 18 0 6566 0
[pid=2107] vsize: 26336
Current children cumulated CPU time (s) 99.62
Current children cumulated vsize (Kb) 26336

[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 6590 0 0 0 10922 37 0 0 25 0 1 0 1859416088 28639232 6556 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 6992 6556 566 18 0 6974 0
[pid=2107] vsize: 27968
Current children cumulated CPU time (s) 109.59
Current children cumulated vsize (Kb) 27968

[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 7205 0 0 0 11913 42 0 0 25 0 1 0 1859416088 31055872 7171 4294967295 134512640 134578447 3221224624 3221223296 134523346 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 7582 7171 566 18 0 7564 0
[pid=2107] vsize: 30328
Current children cumulated CPU time (s) 119.55
Current children cumulated vsize (Kb) 30328

[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 7771 0 0 0 12907 45 0 0 25 0 1 0 1859416088 33423360 7737 4294967295 134512640 134578447 3221224624 3221223572 134526354 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 8160 7737 566 18 0 8142 0
[pid=2107] vsize: 32640
Current children cumulated CPU time (s) 129.52
Current children cumulated vsize (Kb) 32640

[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.91 1/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) T 2106 2107 2660 0 -1 0 8212 0 0 0 13901 48 0 0 25 0 1 0 1859416088 35221504 8178 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/2107/statm): 8599 8178 566 18 0 8581 0
[pid=2107] vsize: 34396
Current children cumulated CPU time (s) 139.49
Current children cumulated vsize (Kb) 34396

[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 8747 0 0 0 14897 49 0 0 25 0 1 0 1859416088 37412864 8713 4294967295 134512640 134578447 3221224624 3221223248 134532015 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 9134 8713 566 18 0 9116 0
[pid=2107] vsize: 36536
Current children cumulated CPU time (s) 149.46
Current children cumulated vsize (Kb) 36536

[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 9134 0 0 0 15892 52 0 0 25 0 1 0 1859416088 39067648 9100 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 9538 9100 566 18 0 9520 0
[pid=2107] vsize: 38152
Current children cumulated CPU time (s) 159.44
Current children cumulated vsize (Kb) 38152

[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 9599 0 0 0 16886 56 0 0 25 0 1 0 1859416088 41000960 9565 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 10010 9565 566 18 0 9992 0
[pid=2107] vsize: 40040
Current children cumulated CPU time (s) 169.42
Current children cumulated vsize (Kb) 40040

[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 9993 0 0 0 17882 58 0 0 25 0 1 0 1859416088 42483712 9959 4294967295 134512640 134578447 3221224624 3221222672 134532391 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 10372 9959 566 18 0 10354 0
[pid=2107] vsize: 41488
Current children cumulated CPU time (s) 179.4
Current children cumulated vsize (Kb) 41488

[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 10420 0 0 0 18878 59 0 0 25 0 1 0 1859416088 44240896 10386 4294967295 134512640 134578447 3221224624 3221223288 1075291632 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 10801 10386 566 18 0 10783 0
[pid=2107] vsize: 43204
Current children cumulated CPU time (s) 189.37
Current children cumulated vsize (Kb) 43204

[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.91 1/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) T 2106 2107 2660 0 -1 0 10911 0 0 0 19874 61 0 0 25 0 1 0 1859416088 46329856 10877 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/2107/statm): 11311 10877 566 18 0 11293 0
[pid=2107] vsize: 45244
Current children cumulated CPU time (s) 199.35
Current children cumulated vsize (Kb) 45244

[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 11377 0 0 0 20870 63 0 0 25 0 1 0 1859416088 48279552 11343 4294967295 134512640 134578447 3221224624 3221223368 1075285701 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 11787 11343 566 18 0 11769 0
[pid=2107] vsize: 47148
Current children cumulated CPU time (s) 209.33
Current children cumulated vsize (Kb) 47148

[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 11837 0 0 0 21866 66 0 0 25 0 1 0 1859416088 50061312 11803 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 12222 11803 566 18 0 12204 0
[pid=2107] vsize: 48888
Current children cumulated CPU time (s) 219.32
Current children cumulated vsize (Kb) 48888

[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 12251 0 0 0 22862 67 0 0 25 0 1 0 1859416088 51851264 12217 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 12659 12217 566 18 0 12641 0
[pid=2107] vsize: 50636
Current children cumulated CPU time (s) 229.29
Current children cumulated vsize (Kb) 50636

[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 12667 0 0 0 23859 69 0 0 25 0 1 0 1859416088 53506048 12633 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 13063 12633 566 18 0 13045 0
[pid=2107] vsize: 52252
Current children cumulated CPU time (s) 239.28
Current children cumulated vsize (Kb) 52252

[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 13191 0 0 0 24852 72 0 0 25 0 1 0 1859416088 55730176 13157 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 13606 13157 566 18 0 13588 0
[pid=2107] vsize: 54424
Current children cumulated CPU time (s) 249.24
Current children cumulated vsize (Kb) 54424

[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 13603 0 0 0 25848 74 0 0 25 0 1 0 1859416088 57380864 13569 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 14009 13569 566 18 0 13991 0
[pid=2107] vsize: 56036
Current children cumulated CPU time (s) 259.22
Current children cumulated vsize (Kb) 56036

[startup+270.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 14127 0 0 0 26843 76 0 0 25 0 1 0 1859416088 59465728 14093 4294967295 134512640 134578447 3221224624 3221222688 134532501 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 14518 14093 566 18 0 14500 0
[pid=2107] vsize: 58072
Current children cumulated CPU time (s) 269.19
Current children cumulated vsize (Kb) 58072

[startup+280.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 14703 0 0 0 27838 79 0 0 25 0 1 0 1859416088 61804544 14669 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 15089 14669 566 18 0 15071 0
[pid=2107] vsize: 60356
Current children cumulated CPU time (s) 279.17
Current children cumulated vsize (Kb) 60356

[startup+290.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 15192 0 0 0 28833 82 0 0 25 0 1 0 1859416088 63885312 15158 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 15597 15158 566 18 0 15579 0
[pid=2107] vsize: 62388
Current children cumulated CPU time (s) 289.15
Current children cumulated vsize (Kb) 62388

[startup+300.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 15670 0 0 0 29828 84 0 0 25 0 1 0 1859416088 65806336 15636 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 16066 15636 566 18 0 16048 0
[pid=2107] vsize: 64264
Current children cumulated CPU time (s) 299.12
Current children cumulated vsize (Kb) 64264

[startup+310.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 16133 0 0 0 30824 86 0 0 25 0 1 0 1859416088 67698688 16099 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 16528 16099 566 18 0 16510 0
[pid=2107] vsize: 66112
Current children cumulated CPU time (s) 309.1
Current children cumulated vsize (Kb) 66112

[startup+320.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 2107
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 16684 0 0 0 31817 90 0 0 25 0 1 0 1859416088 69890048 16650 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 17063 16650 566 18 0 17045 0
[pid=2107] vsize: 68252
Current children cumulated CPU time (s) 319.07
Current children cumulated vsize (Kb) 68252

[startup+330.015 s]
Raw data (loadavg): 1.07 1.00 0.92 2/56 2162
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 17168 0 0 0 32798 106 0 0 25 0 1 0 1859416088 71954432 17134 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2107/statm): 17567 17134 566 18 0 17549 0
[pid=2107] vsize: 70268
Current children cumulated CPU time (s) 329.04
Current children cumulated vsize (Kb) 70268

[startup+340.016 s]
Raw data (loadavg): 1.06 1.00 0.92 2/56 2162
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 17608 0 0 0 33794 109 0 0 25 0 1 0 1859416088 73854976 17574 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 18031 17574 566 18 0 18013 0
[pid=2107] vsize: 72124
Current children cumulated CPU time (s) 339.03
Current children cumulated vsize (Kb) 72124

[startup+350.016 s]
Raw data (loadavg): 1.05 1.00 0.92 2/56 2162
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 18184 0 0 0 34789 112 0 0 25 0 1 0 1859416088 76201984 18150 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 18604 18150 566 18 0 18586 0
[pid=2107] vsize: 74416
Current children cumulated CPU time (s) 349.01
Current children cumulated vsize (Kb) 74416

[startup+360.017 s]
Raw data (loadavg): 1.04 1.00 0.92 2/56 2162
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 18754 0 0 0 35780 116 0 0 25 0 1 0 1859416088 78544896 18720 4294967295 134512640 134578447 3221224624 3221223472 134556327 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 19176 18720 566 18 0 19158 0
[pid=2107] vsize: 76704
Current children cumulated CPU time (s) 358.96
Current children cumulated vsize (Kb) 76704

[startup+370.017 s]
Raw data (loadavg): 1.03 1.00 0.92 2/56 2162
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 19219 0 0 0 36776 119 0 0 25 0 1 0 1859416088 80470016 19185 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 19646 19185 566 18 0 19628 0
[pid=2107] vsize: 78584
Current children cumulated CPU time (s) 368.95
Current children cumulated vsize (Kb) 78584

[startup+380.017 s]
Raw data (loadavg): 1.03 1.00 0.92 2/56 2162
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 19696 0 0 0 37771 121 0 0 25 0 1 0 1859416088 82415616 19662 4294967295 134512640 134578447 3221224624 3221223296 134523436 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 20121 19662 566 18 0 20103 0
[pid=2107] vsize: 80484
Current children cumulated CPU time (s) 378.92
Current children cumulated vsize (Kb) 80484

[startup+390.017 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 2162
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 20048 0 0 0 38768 122 0 0 25 0 1 0 1859416088 83783680 20014 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 20455 20014 566 18 0 20437 0
[pid=2107] vsize: 81820
Current children cumulated CPU time (s) 388.9
Current children cumulated vsize (Kb) 81820

[startup+400.018 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 2164
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 20554 0 0 0 39763 125 0 0 25 0 1 0 1859416088 85843968 20520 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 20958 20520 566 18 0 20940 0
[pid=2107] vsize: 83832
Current children cumulated CPU time (s) 398.88
Current children cumulated vsize (Kb) 83832

[startup+410.019 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 21062 0 0 0 40759 127 0 0 25 0 1 0 1859416088 87932928 21028 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2107/statm): 21468 21028 566 18 0 21450 0
[pid=2107] vsize: 85872
Current children cumulated CPU time (s) 408.86
Current children cumulated vsize (Kb) 85872

[startup+420.018 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 21559 0 0 0 41754 129 0 0 25 0 1 0 1859416088 90054656 21525 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2107/statm): 21986 21525 566 18 0 21968 0
[pid=2107] vsize: 87944
Current children cumulated CPU time (s) 418.83
Current children cumulated vsize (Kb) 87944

[startup+430.019 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 21999 0 0 0 42750 131 0 0 25 0 1 0 1859416088 91865088 21965 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2107/statm): 22428 21965 566 18 0 22410 0
[pid=2107] vsize: 89712
Current children cumulated CPU time (s) 428.81
Current children cumulated vsize (Kb) 89712

[startup+440.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 22467 0 0 0 43744 135 0 0 25 0 1 0 1859416088 93782016 22433 4294967295 134512640 134578447 3221224624 3221223488 134517700 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2107/statm): 22896 22433 566 18 0 22878 0
[pid=2107] vsize: 91584
Current children cumulated CPU time (s) 438.79
Current children cumulated vsize (Kb) 91584

[startup+450.021 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 22891 0 0 0 44738 137 0 0 25 0 1 0 1859416088 95539200 22857 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 23325 22857 566 18 0 23307 0
[pid=2107] vsize: 93300
Current children cumulated CPU time (s) 448.75
Current children cumulated vsize (Kb) 93300

[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 23371 0 0 0 45734 139 0 0 25 0 1 0 1859416088 97423360 23337 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 23785 23337 566 18 0 23767 0
[pid=2107] vsize: 95140
Current children cumulated CPU time (s) 458.73
Current children cumulated vsize (Kb) 95140

[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 23890 0 0 0 46729 141 0 0 25 0 1 0 1859416088 99651584 23856 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 24329 23856 566 18 0 24311 0
[pid=2107] vsize: 97316
Current children cumulated CPU time (s) 468.7
Current children cumulated vsize (Kb) 97316

[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 24357 0 0 0 47724 144 0 0 25 0 1 0 1859416088 101543936 24323 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 24791 24323 566 18 0 24773 0
[pid=2107] vsize: 99164
Current children cumulated CPU time (s) 478.68
Current children cumulated vsize (Kb) 99164

[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 24791 0 0 0 48719 146 0 0 25 0 1 0 1859416088 103337984 24757 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 25229 24757 566 18 0 25211 0
[pid=2107] vsize: 100916
Current children cumulated CPU time (s) 488.65
Current children cumulated vsize (Kb) 100916

[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 25225 0 0 0 49715 148 0 0 22 0 1 0 1859416088 105148416 25191 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2107/statm): 25671 25191 566 18 0 25653 0
[pid=2107] vsize: 102684
Current children cumulated CPU time (s) 498.63
Current children cumulated vsize (Kb) 102684

[startup+510.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 25670 0 0 0 50709 151 0 0 25 0 1 0 1859416088 106954752 25636 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2107/statm): 26112 25636 566 18 0 26094 0
[pid=2107] vsize: 104448
Current children cumulated CPU time (s) 508.6
Current children cumulated vsize (Kb) 104448

[startup+520.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 26143 0 0 0 51705 153 0 0 25 0 1 0 1859416088 108883968 26109 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 26583 26109 566 18 0 26565 0
[pid=2107] vsize: 106332
Current children cumulated CPU time (s) 518.58
Current children cumulated vsize (Kb) 106332

[startup+530.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 26654 0 0 0 52701 155 0 0 25 0 1 0 1859416088 110948352 26620 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 27087 26620 566 18 0 27069 0
[pid=2107] vsize: 108348
Current children cumulated CPU time (s) 528.56
Current children cumulated vsize (Kb) 108348

[startup+540.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 27066 0 0 0 53694 158 0 0 25 0 1 0 1859416088 112713728 27032 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 27518 27032 566 18 0 27500 0
[pid=2107] vsize: 110072
Current children cumulated CPU time (s) 538.52
Current children cumulated vsize (Kb) 110072

[startup+550.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 27621 0 0 0 54689 162 0 0 25 0 1 0 1859416088 115032064 27587 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 28084 27587 566 18 0 28066 0
[pid=2107] vsize: 112336
Current children cumulated CPU time (s) 548.51
Current children cumulated vsize (Kb) 112336

[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 28109 0 0 0 55684 164 0 0 25 0 1 0 1859416088 117092352 28075 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 28587 28075 566 18 0 28569 0
[pid=2107] vsize: 114348
Current children cumulated CPU time (s) 558.48
Current children cumulated vsize (Kb) 114348

[startup+570.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 28432 0 0 0 56680 166 0 0 25 0 1 0 1859416088 118312960 28398 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 28885 28398 566 18 0 28867 0
[pid=2107] vsize: 115540
Current children cumulated CPU time (s) 568.46
Current children cumulated vsize (Kb) 115540

[startup+580.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 28992 0 0 0 57676 168 0 0 25 0 1 0 1859416088 120610816 28958 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 29446 28958 566 18 0 29428 0
[pid=2107] vsize: 117784
Current children cumulated CPU time (s) 578.44
Current children cumulated vsize (Kb) 117784

[startup+590.026 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) T 2106 2107 2660 0 -1 0 29305 0 0 0 58672 170 0 0 25 0 1 0 1859416088 121982976 29271 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/2107/statm): 29781 29271 566 18 0 29763 0
[pid=2107] vsize: 119124
Current children cumulated CPU time (s) 588.42
Current children cumulated vsize (Kb) 119124

[startup+600.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 29798 0 0 0 59668 172 0 0 25 0 1 0 1859416088 123965440 29764 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 30265 29764 566 18 0 30247 0
[pid=2107] vsize: 121060
Current children cumulated CPU time (s) 598.4
Current children cumulated vsize (Kb) 121060

[startup+610.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 30190 0 0 0 60664 174 0 0 25 0 1 0 1859416088 125599744 30156 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 30664 30156 566 18 0 30646 0
[pid=2107] vsize: 122656
Current children cumulated CPU time (s) 608.38
Current children cumulated vsize (Kb) 122656

[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 30756 0 0 0 61659 177 0 0 25 0 1 0 1859416088 127840256 30722 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 31211 30722 566 18 0 31193 0
[pid=2107] vsize: 124844
Current children cumulated CPU time (s) 618.36
Current children cumulated vsize (Kb) 124844

[startup+630.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 31166 0 0 0 62654 180 0 0 25 0 1 0 1859416088 129601536 31132 4294967295 134512640 134578447 3221224624 3221223308 1075289077 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 31641 31132 566 18 0 31623 0
[pid=2107] vsize: 126564
Current children cumulated CPU time (s) 628.34
Current children cumulated vsize (Kb) 126564

[startup+640.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 31594 0 0 0 63649 183 0 0 25 0 1 0 1859416088 131264512 31560 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 32047 31560 566 18 0 32029 0
[pid=2107] vsize: 128188
Current children cumulated CPU time (s) 638.32
Current children cumulated vsize (Kb) 128188

[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 32091 0 0 0 64644 186 0 0 25 0 1 0 1859416088 133341184 32057 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 32554 32057 566 18 0 32536 0
[pid=2107] vsize: 130216
Current children cumulated CPU time (s) 648.3
Current children cumulated vsize (Kb) 130216

[startup+660.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2166
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 32430 0 0 0 65640 188 0 0 25 0 1 0 1859416088 134664192 32396 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 32877 32396 566 18 0 32859 0
[pid=2107] vsize: 131508
Current children cumulated CPU time (s) 658.28
Current children cumulated vsize (Kb) 131508

[startup+670.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 32990 0 0 0 66635 190 0 0 25 0 1 0 1859416088 137023488 32956 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 33453 32956 566 18 0 33435 0
[pid=2107] vsize: 133812
Current children cumulated CPU time (s) 668.25
Current children cumulated vsize (Kb) 133812

[startup+680.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 33346 0 0 0 67631 192 0 0 25 0 1 0 1859416088 138637312 33312 4294967295 134512640 134578447 3221224624 3221223296 134522255 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 33847 33312 566 18 0 33829 0
[pid=2107] vsize: 135388
Current children cumulated CPU time (s) 678.23
Current children cumulated vsize (Kb) 135388

[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 33848 0 0 0 68626 195 0 0 25 0 1 0 1859416088 140783616 33814 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 34371 33814 566 18 0 34353 0
[pid=2107] vsize: 137484
Current children cumulated CPU time (s) 688.21
Current children cumulated vsize (Kb) 137484

[startup+700.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 34126 0 0 0 69623 196 0 0 25 0 1 0 1859416088 141905920 34092 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 34645 34092 566 18 0 34627 0
[pid=2107] vsize: 138580
Current children cumulated CPU time (s) 698.19
Current children cumulated vsize (Kb) 138580

[startup+710.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 34585 0 0 0 70619 198 0 0 25 0 1 0 1859416088 143835136 34551 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 35116 34551 566 18 0 35098 0
[pid=2107] vsize: 140464
Current children cumulated CPU time (s) 708.17
Current children cumulated vsize (Kb) 140464

[startup+720.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 34948 0 0 0 71616 200 0 0 25 0 1 0 1859416088 145330176 34914 4294967295 134512640 134578447 3221224624 3221223296 134523433 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 35481 34914 566 18 0 35463 0
[pid=2107] vsize: 141924
Current children cumulated CPU time (s) 718.16
Current children cumulated vsize (Kb) 141924

[startup+730.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 35498 0 0 0 72611 202 0 0 25 0 1 0 1859416088 147546112 35464 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 36022 35464 566 18 0 36004 0
[pid=2107] vsize: 144088
Current children cumulated CPU time (s) 728.13
Current children cumulated vsize (Kb) 144088

[startup+740.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 35780 0 0 0 73608 204 0 0 25 0 1 0 1859416088 148684800 35746 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 36300 35746 566 18 0 36282 0
[pid=2107] vsize: 145200
Current children cumulated CPU time (s) 738.12
Current children cumulated vsize (Kb) 145200

[startup+750.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 36135 0 0 0 74606 206 0 0 25 0 1 0 1859416088 150323200 36101 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 36700 36101 566 18 0 36682 0
[pid=2107] vsize: 146800
Current children cumulated CPU time (s) 748.12
Current children cumulated vsize (Kb) 146800

[startup+760.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 36632 0 0 0 75603 207 0 0 25 0 1 0 1859416088 152383488 36598 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 37203 36598 566 18 0 37185 0
[pid=2107] vsize: 148812
Current children cumulated CPU time (s) 758.1
Current children cumulated vsize (Kb) 148812

[startup+770.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 36953 0 0 0 76599 208 0 0 25 0 1 0 1859416088 153731072 36919 4294967295 134512640 134578447 3221224624 3221223548 134519718 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 37532 36919 566 18 0 37514 0
[pid=2107] vsize: 150128
Current children cumulated CPU time (s) 768.07
Current children cumulated vsize (Kb) 150128

[startup+780.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 37295 0 0 0 77596 210 0 0 25 0 1 0 1859416088 155131904 37261 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 37874 37261 566 18 0 37856 0
[pid=2107] vsize: 151496
Current children cumulated CPU time (s) 778.06
Current children cumulated vsize (Kb) 151496

[startup+790.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 37795 0 0 0 78591 212 0 0 25 0 1 0 1859416088 157077504 37761 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 38349 37761 566 18 0 38331 0
[pid=2107] vsize: 153396
Current children cumulated CPU time (s) 788.03
Current children cumulated vsize (Kb) 153396

[startup+800.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 38083 0 0 0 79588 214 0 0 25 0 1 0 1859416088 158318592 38049 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 38652 38049 566 18 0 38634 0
[pid=2107] vsize: 154608
Current children cumulated CPU time (s) 798.02
Current children cumulated vsize (Kb) 154608

[startup+810.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 38499 0 0 0 80585 215 0 0 25 0 1 0 1859416088 160141312 38465 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 39097 38465 566 18 0 39079 0
[pid=2107] vsize: 156388
Current children cumulated CPU time (s) 808
Current children cumulated vsize (Kb) 156388

[startup+820.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 38801 0 0 0 81581 217 0 0 25 0 1 0 1859416088 161386496 38767 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 39401 38767 566 18 0 39383 0
[pid=2107] vsize: 157604
Current children cumulated CPU time (s) 817.98
Current children cumulated vsize (Kb) 157604

[startup+830.036 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) T 2106 2107 2660 0 -1 0 39237 0 0 0 82577 220 0 0 25 0 1 0 1859416088 163176448 39203 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/2107/statm): 39838 39203 566 18 0 39820 0
[pid=2107] vsize: 159352
Current children cumulated CPU time (s) 827.97
Current children cumulated vsize (Kb) 159352

[startup+840.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 39655 0 0 0 83570 223 0 0 25 0 1 0 1859416088 164929536 39621 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 40266 39621 566 18 0 40248 0
[pid=2107] vsize: 161064
Current children cumulated CPU time (s) 837.93
Current children cumulated vsize (Kb) 161064

[startup+850.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 39968 0 0 0 84566 224 0 0 25 0 1 0 1859416088 166166528 39934 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 40568 39934 566 18 0 40550 0
[pid=2107] vsize: 162272
Current children cumulated CPU time (s) 847.9
Current children cumulated vsize (Kb) 162272

[startup+860.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 40326 0 0 0 85562 227 0 0 25 0 1 0 1859416088 167665664 40292 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 40934 40292 566 18 0 40916 0
[pid=2107] vsize: 163736
Current children cumulated CPU time (s) 857.89
Current children cumulated vsize (Kb) 163736

[startup+870.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 40672 0 0 0 86560 228 0 0 25 0 1 0 1859416088 169164800 40638 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 41300 40638 566 18 0 41282 0
[pid=2107] vsize: 165200
Current children cumulated CPU time (s) 867.88
Current children cumulated vsize (Kb) 165200

[startup+880.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 41060 0 0 0 87556 230 0 0 25 0 1 0 1859416088 170795008 41026 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 41698 41026 566 18 0 41680 0
[pid=2107] vsize: 166792
Current children cumulated CPU time (s) 877.86
Current children cumulated vsize (Kb) 166792

[startup+890.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 41525 0 0 0 88553 232 0 0 25 0 1 0 1859416088 172728320 41491 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 42170 41491 566 18 0 42152 0
[pid=2107] vsize: 168680
Current children cumulated CPU time (s) 887.85
Current children cumulated vsize (Kb) 168680

[startup+900.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 41910 0 0 0 89549 233 0 0 25 0 1 0 1859416088 174268416 41876 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 42546 41876 566 18 0 42528 0
[pid=2107] vsize: 170184
Current children cumulated CPU time (s) 897.82
Current children cumulated vsize (Kb) 170184

[startup+910.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 42215 0 0 0 90546 235 0 0 25 0 1 0 1859416088 175480832 42181 4294967295 134512640 134578447 3221224624 3221223296 134523358 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 42842 42181 566 18 0 42824 0
[pid=2107] vsize: 171368
Current children cumulated CPU time (s) 907.81
Current children cumulated vsize (Kb) 171368

[startup+920.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 42527 0 0 0 91541 238 0 0 25 0 1 0 1859416088 176865280 42493 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 43180 42493 566 18 0 43162 0
[pid=2107] vsize: 172720
Current children cumulated CPU time (s) 917.79
Current children cumulated vsize (Kb) 172720

[startup+930.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 42897 0 0 0 92538 240 0 0 25 0 1 0 1859416088 178343936 42863 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 43541 42863 566 18 0 43523 0
[pid=2107] vsize: 174164
Current children cumulated CPU time (s) 927.78
Current children cumulated vsize (Kb) 174164

[startup+940.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 43240 0 0 0 93535 242 0 0 25 0 1 0 1859416088 179855360 43206 4294967295 134512640 134578447 3221224624 3221223488 134517833 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 43910 43206 566 18 0 43892 0
[pid=2107] vsize: 175640
Current children cumulated CPU time (s) 937.77
Current children cumulated vsize (Kb) 175640

[startup+950.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 43681 0 0 0 94530 245 0 0 25 0 1 0 1859416088 181600256 43647 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 44336 43647 566 18 0 44318 0
[pid=2107] vsize: 177344
Current children cumulated CPU time (s) 947.75
Current children cumulated vsize (Kb) 177344

[startup+960.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 44121 0 0 0 95527 247 0 0 25 0 1 0 1859416088 183377920 44087 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 44770 44087 566 18 0 44752 0
[pid=2107] vsize: 179080
Current children cumulated CPU time (s) 957.74
Current children cumulated vsize (Kb) 179080

[startup+970.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 44436 0 0 0 96523 250 0 0 25 0 1 0 1859416088 184725504 44402 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 45099 44402 566 18 0 45081 0
[pid=2107] vsize: 180396
Current children cumulated CPU time (s) 967.73
Current children cumulated vsize (Kb) 180396

[startup+980.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 44734 0 0 0 97519 252 0 0 25 0 1 0 1859416088 185970688 44700 4294967295 134512640 134578447 3221224624 3221223536 134556759 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 45403 44700 566 18 0 45385 0
[pid=2107] vsize: 181612
Current children cumulated CPU time (s) 977.71
Current children cumulated vsize (Kb) 181612

[startup+990.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 45104 0 0 0 98517 254 0 0 25 0 1 0 1859416088 187428864 45070 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 45759 45070 566 18 0 45741 0
[pid=2107] vsize: 183036
Current children cumulated CPU time (s) 987.71
Current children cumulated vsize (Kb) 183036

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 45410 0 0 0 99513 256 0 0 25 0 1 0 1859416088 188788736 45376 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 46091 45376 566 18 0 46073 0
[pid=2107] vsize: 184364
Current children cumulated CPU time (s) 997.69
Current children cumulated vsize (Kb) 184364

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 45775 0 0 0 100509 259 0 0 25 0 1 0 1859416088 190300160 45741 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 46460 45741 566 18 0 46442 0
[pid=2107] vsize: 185840
Current children cumulated CPU time (s) 1007.68
Current children cumulated vsize (Kb) 185840

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 46245 0 0 0 101505 261 0 0 25 0 1 0 1859416088 192262144 46211 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 46939 46211 566 18 0 46921 0
[pid=2107] vsize: 187756
Current children cumulated CPU time (s) 1017.66
Current children cumulated vsize (Kb) 187756

[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 46662 0 0 0 102501 263 0 0 25 0 1 0 1859416088 194035712 46628 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 47372 46628 566 18 0 47354 0
[pid=2107] vsize: 189488
Current children cumulated CPU time (s) 1027.64
Current children cumulated vsize (Kb) 189488

[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 46978 0 0 0 103499 264 0 0 25 0 1 0 1859416088 195268608 46944 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 47673 46944 566 18 0 47655 0
[pid=2107] vsize: 190692
Current children cumulated CPU time (s) 1037.63
Current children cumulated vsize (Kb) 190692

[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 47324 0 0 0 104496 266 0 0 25 0 1 0 1859416088 196665344 47290 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 48014 47290 566 18 0 47996 0
[pid=2107] vsize: 192056
Current children cumulated CPU time (s) 1047.62
Current children cumulated vsize (Kb) 192056

[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 47644 0 0 0 105493 266 0 0 25 0 1 0 1859416088 198197248 47610 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 48388 47610 566 18 0 48370 0
[pid=2107] vsize: 193552
Current children cumulated CPU time (s) 1057.59
Current children cumulated vsize (Kb) 193552

[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 47961 0 0 0 106490 269 0 0 25 0 1 0 1859416088 199434240 47927 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 48690 47927 566 18 0 48672 0
[pid=2107] vsize: 194760
Current children cumulated CPU time (s) 1067.59
Current children cumulated vsize (Kb) 194760

[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 48433 0 0 0 107487 270 0 0 25 0 1 0 1859416088 201342976 48399 4294967295 134512640 134578447 3221224624 3221223376 134528863 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2107/statm): 49156 48399 566 18 0 49138 0
[pid=2107] vsize: 196624
Current children cumulated CPU time (s) 1077.57
Current children cumulated vsize (Kb) 196624

[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 48890 0 0 0 108481 274 0 0 25 0 1 0 1859416088 203235328 48856 4294967295 134512640 134578447 3221224624 3221223296 134523366 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2107/statm): 49618 48856 566 18 0 49600 0
[pid=2107] vsize: 198472
Current children cumulated CPU time (s) 1087.55
Current children cumulated vsize (Kb) 198472

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 49201 0 0 0 109478 276 0 0 25 0 1 0 1859416088 204472320 49167 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2107/statm): 49920 49167 566 18 0 49902 0
[pid=2107] vsize: 199680
Current children cumulated CPU time (s) 1097.54
Current children cumulated vsize (Kb) 199680

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 49527 0 0 0 110473 279 0 0 25 0 1 0 1859416088 205832192 49493 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 50252 49493 566 18 0 50234 0
[pid=2107] vsize: 201008
Current children cumulated CPU time (s) 1107.52
Current children cumulated vsize (Kb) 201008

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 49847 0 0 0 111470 280 0 0 25 0 1 0 1859416088 207130624 49813 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 50569 49813 566 18 0 50551 0
[pid=2107] vsize: 202276
Current children cumulated CPU time (s) 1117.5
Current children cumulated vsize (Kb) 202276

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 50308 0 0 0 112466 282 0 0 25 0 1 0 1859416088 209039360 50274 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 51035 50274 566 18 0 51017 0
[pid=2107] vsize: 204140
Current children cumulated CPU time (s) 1127.48
Current children cumulated vsize (Kb) 204140

[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 50833 0 0 0 113460 285 0 0 25 0 1 0 1859416088 211189760 50799 4294967295 134512640 134578447 3221224624 3221223308 1075289077 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 51560 50799 566 18 0 51542 0
[pid=2107] vsize: 206240
Current children cumulated CPU time (s) 1137.45
Current children cumulated vsize (Kb) 206240

[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 51745 0 0 0 114452 289 0 0 25 0 1 0 1859416088 214908928 51711 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 52468 51711 566 18 0 52450 0
[pid=2107] vsize: 209872
Current children cumulated CPU time (s) 1147.41
Current children cumulated vsize (Kb) 209872

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 52269 0 0 0 115448 291 0 0 25 0 1 0 1859416088 217063424 52235 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 52994 52235 566 18 0 52976 0
[pid=2107] vsize: 211976
Current children cumulated CPU time (s) 1157.39
Current children cumulated vsize (Kb) 211976

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 52878 0 0 0 116443 293 0 0 25 0 1 0 1859416088 219701248 52844 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 53638 52844 566 18 0 53620 0
[pid=2107] vsize: 214552
Current children cumulated CPU time (s) 1167.36
Current children cumulated vsize (Kb) 214552

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 53922 0 0 0 117434 298 0 0 25 0 1 0 1859416088 223989760 53888 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 54685 53888 566 18 0 54667 0
[pid=2107] vsize: 218740
Current children cumulated CPU time (s) 1177.32
Current children cumulated vsize (Kb) 218740

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 2168
Raw data (/proc/2107/stat): 2107 (Pueblo) R 2106 2107 2660 0 -1 0 54571 0 0 0 118428 301 0 0 25 0 1 0 1859416088 226676736 54537 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2107/statm): 55341 54537 566 18 0 55323 0
[pid=2107] vsize: 221364
Current children cumulated CPU time (s) 1187.29
Current children cumulated vsize (Kb) 221364
One traced child (pid=2107) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1191.91
CPU time (s): 1189.16
CPU user time (s): 1186.04
CPU system time (s): 3.11753
CPU usage (%): 99.7693
Max. virtual memory (cumulated for all children) (Kb): 221364

Verifier Data

Verifier:	OK	-5